HOW DOES A CHARGED POLYMER COLLAPSE?

Σχετικά έγγραφα
ANNEALED SCALING FOR A CHARGED POLYMER

2 Composition. Invertible Mappings

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Other Test Constructions: Likelihood Ratio & Bayes Tests

Statistical Inference I Locally most powerful tests

ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω

4.6 Autoregressive Moving Average Model ARMA(1,1)

ST5224: Advanced Statistical Theory II

12. Radon-Nikodym Theorem

Every set of first-order formulas is equivalent to an independent set

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

Comportement critique du modèle d accrochage de. Toulouse, 29 Mars 2016

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Inverse trigonometric functions & General Solution of Trigonometric Equations

Section 8.3 Trigonometric Equations

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Approximation of distance between locations on earth given by latitude and longitude

Solution Series 9. i=1 x i and i=1 x i.

Areas and Lengths in Polar Coordinates

Local Approximation with Kernels

Example Sheet 3 Solutions

C.S. 430 Assignment 6, Sample Solutions

Homework 8 Model Solution Section

Homework 3 Solutions

The Probabilistic Method - Probabilistic Techniques. Lecture 7: The Janson Inequality

5. Choice under Uncertainty

Matrices and Determinants

General 2 2 PT -Symmetric Matrices and Jordan Blocks 1

Solutions to Exercise Sheet 5

Depth versus Rigidity in the Design of International Trade Agreements. Leslie Johns

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Areas and Lengths in Polar Coordinates

Congruence Classes of Invertible Matrices of Order 3 over F 2

5.4 The Poisson Distribution.

Chapter 3: Ordinal Numbers

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

EE512: Error Control Coding

The Simply Typed Lambda Calculus

SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

6.3 Forecasting ARMA processes

Lecture 21: Properties and robustness of LSE

Uniform Convergence of Fourier Series Michael Taylor

HW 3 Solutions 1. a) I use the auto.arima R function to search over models using AIC and decide on an ARMA(3,1)

Overview. Transition Semantics. Configurations and the transition relation. Executions and computation

Part III - Pricing A Down-And-Out Call Option

Fractional Colorings and Zykov Products of graphs

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

the total number of electrons passing through the lamp.

Divergence for log concave functions

derivation of the Laplacian from rectangular to spherical coordinates

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Bayesian statistics. DS GA 1002 Probability and Statistics for Data Science.

Homework for 1/27 Due 2/5

Distances in Sierpiński Triangle Graphs

Tridiagonal matrices. Gérard MEURANT. October, 2008

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Continuous Distribution Arising from the Three Gap Theorem

Reminders: linear functions

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

The challenges of non-stable predicates

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

Iterated trilinear fourier integrals with arbitrary symbols

Problem Set 3: Solutions

Second Order Partial Differential Equations

Probability and Random Processes (Part II)

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

A Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics

Concrete Mathematics Exercises from 30 September 2016

Aquinas College. Edexcel Mathematical formulae and statistics tables DO NOT WRITE ON THIS BOOKLET

Partial Differential Equations in Biology The boundary element method. March 26, 2013

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

On a four-dimensional hyperbolic manifold with finite volume


Universalité pour des polymères aléatoires. Paris, 17 Novembre 2015

Limit theorems under sublinear expectations and probabilities

( y) Partial Differential Equations

Estimation for ARMA Processes with Stable Noise. Matt Calder & Richard A. Davis Colorado State University

Space-Time Symmetries

Math 6 SL Probability Distributions Practice Test Mark Scheme

Mock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =

b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!

10.7 Performance of Second-Order System (Unit Step Response)

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

Solution to Review Problems for Midterm III

Potential Dividers. 46 minutes. 46 marks. Page 1 of 11

w o = R 1 p. (1) R = p =. = 1

Notes on the Open Economy

Higher Derivative Gravity Theories

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 7η: Consumer Behavior Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

If we restrict the domain of y = sin x to [ π, π ], the restrict function. y = sin x, π 2 x π 2

Finite Field Problems: Solutions

Transcript:

HOW DOES A CHARGED POLYMER COLLAPSE? Frank den Hollander Leiden University, The Netherlands P.C. Mahalanobis Lectures 2015 2016, Indian Statistical Institute, Delhi & Bangalore & Kolkata.

Joint work with: Francesco Caravenna Nicolas Pétrélis Julien Poisat

MOTIVATION DNA and proteins are polyelectrolytes whose monomers are in a charged state that depends on the ph of the solution in which they are immersed. The charges may fluctuate in space and in time. In this talk we consider a model of a charged polymer chain introduced by Kantor & Kardar in 1991. We focus on the annealed version of the model, which turns out to exhibit a very rich scaling behavior.

+ =+1 = -1 +

MODEL 1. Let S = (S i ) i N0 be simple random walk on Z d starting at 0. The path S models the configuration of the polymer chain, i.e., S i is the location of monomer i. We use the letter P for probability with respect to S. 2. Let ω = (ω i ) i N be i.i.d. random variables taking values in R. The sequence ω models the electric charges along the polymer chain, i.e., ω i is the charge of monomer i. We use the letter P for probability with respect to ω, and assume that E(ω 1 ) = 0, Var(ω 1 ) = 1.

To allow for biased charges, we use a tilting parameter δ R and write P δ for the i.i.d. law of ω with marginal P δ (dω 1 ) = eδω 1 P(dω 1 ), M(δ) = E(e δω 1). M(δ) W.l.o.g. we may take δ [0, ). Throughout the sequel we assume that M(δ) < for all δ [0, ). 3. Let Π denote the set of nearest-neighbor paths on Z d starting at 0. Given n N, we associate with each (ω, S) R N Π an energy given by the Hamiltonian H ω n (S) = 1 i,j n ω i ω j 1 {Si =S j }.

4. Let β denote the inverse temperature. Throughout the sequel the relevant space for the pair of parameters (δ, β) is the quadrant Q = [0, ) (0, ). 5. Given (δ, β) Q, the annealed polymer measure of length n is the Gibbs measure P δ,β n defined as dp δ,β n d(p δ P) where (ω, S) = 1 Z δ,β n Z δ,β n e βhω n (S), (ω, S) R N Π, = (E δ E) [ e βhω n (S)] is the annealed partition function of length n.

Literature: The charged polymer with binary disorder interpolates between simple random walk β = 0 self-avoiding walk β = δ = weakly self-avoiding walk β (0, ), δ = Only very little mathematical literature is available on the charged polymer. In what follows we focus on d = 1 and later comment on d 2.

PART I: general properties

KEY FORMULA: For every n N and (δ, β) Q, Z δ,β n M(δ) n = E exp x Z d G δ,β (l n(x)) with l n (x) = n i=1 1{S i = x} the local time of simple random walk at site x up to time n, and G δ,β (l) the free energy at a site that is visited l times (defined below).

FREE ENERGY 1. Let Q(i, j) be the probability matrix defined by Q(i, j) = 1 {j=0}, if i = 0, j N 0, ( i+j 1 i 1 ) ( 12 ) i+j, if i N, j N0, which is the transition kernel of a critical Galton-Watson branching process with a geometric offspring distribution. 2. For (δ, β) Q, let G δ,β be the function defined by G δ,β (l) = log E [e δω l βω 2 l ], Ω l = l k=1 ω k, l N 0.

3. For (µ, δ, β) [0, ) Q, define the N 0 N 0 matrix A µ,δ,β (i, j) = e µ(i+j+1)+g δ,β (i+j+1) Q(i + 1, j), i, j N 0. 4. Let λ δ,β (µ) be the spectral radius of A µ,δ,β. For every (δ, β) Q, µ λ δ,β (µ) is continuous, strictly decreasing and log-convex on [0, ), and is analytic on (0, ), with a finite strictly negative right-slope at 0. 5. For (δ, β) Q, let µ(δ, β) be the unique solution of the equation λ δ,β (µ) = 1 when it exists and µ(δ, β) = 0 otherwise.

log λ δ,β (µ) µ(δ, β) 0 µ

THEOREM 1 (1) For every (δ, β) Q, the annealed free energy per monomer 1 F (δ, β) = lim n n log Zδ,β n exists, takes values in (, 0], and satisfies the inequality F (δ, β) f(δ) = log M(δ) (, 0]. (2) The excess free energy F (δ, β) = F (δ, β) f(δ) is convex in (δ, β) and has the spectral representation F (δ, β) = µ(δ, β).

PHASE TRANSITION The inequality F (δ, β) 0 leads us to define two phases: P > = { (δ, β) Q: F (δ, β) > 0 }, P = = {(δ, β) Q: F (δ, β) = 0 }. β β c (δ) P = P > 0 δ

THEOREM 2 (1) There exists a critical curve δ β c (δ) such that P > = { (δ, β) Q: 0 < β < β c (δ) }, P = = { (δ, β) Q: β β c (δ) }. (2) For every δ [0, ), β c (δ) is the unique solution of the equation λ δ,β (0) = 1. (3) δ β c (δ) is continuous, strictly increasing and convex on [0, ), is analytic on (0, ), and satisfies β c (0) = 0. (4) (δ, β) F (δ, β) is analytic on P >.

LAWS OF LARGE NUMBERS We proceed by stating a LLN for the empirical speed n 1 S n and the empirical charge n 1 Ω n, where S n = n i=1 X i, Ω n = n i=1 ω i. Let B = { (δ, β) Q: 0 < β β c (δ) }, S = Q\B. The set B will be referred to as the ballistic phase, the set S as the subballistic phase, for reasons that become apparent in the next theorem.

log λ δ,β (µ) µ(δ, β) 0 µ

THEOREM 3 (1) For every (δ, β) Q there exists a v(δ, β) [0, 1] such that ( n ) 1 S n v(δ, β) > ε = 0 ε > 0, lim n Pδ,β n S n > 0 where v(δ, β) { > 0, (δ, β) B, = 0, (δ, β) S. (2) For every (δ, β) B, 1 v(δ, β) = [ ] µ log λ δ,β(µ). µ=µ(δ,β)

THEOREM 4 (1) For every (δ, β) Q, there exists a ρ(δ, β) [0, ) such that ( n 1 Ω n ρ(δ, β) > ɛ ) = 0 ɛ > 0, lim n Pδ,β n where ρ(δ, β) { > 0, (δ, β) B, = 0, (δ, β) S. (2) For every (δ, β) B, ρ(δ, β) = µ(δ, β). δ

PHASE DIAGRAM Picture of the ballistic phase B and the subballistic phase S. The critical curve is part of B, which implies that the phase transition is first order. β β c (δ) S 0 δ B

Numerical plots of β v(δ, β) and β ρ(δ, β) for δ = 1: 0.30 0.25 1.0 0.8 0.20 0.15 0.10 0.05 0.6 0.4 0.2 0.05 0.10 0.15 0.20 0.25 0.30 0.35 0.05 0.10 0.15 0.20 0.25 0.30 0.35

LARGE DEVIATION PRINCIPLES THEOREM 5 For every (δ, β) Q: Varadhan (1) The sequence (n 1 S n ) n N conditionally on {S n > 0} n N satisfies the LDP on [0, ) with rate function I v δ,β. (2) The sequence (n 1 Ω n ) n N satisfies the LDP on [0, ) with rate function I ρ δ,β. Pictures for (δ, β) int(b) and (δ, β) S are:

I v δ,β (θ) I v δ,β (θ) 0 θ ṽ(δ, β) v(δ, β) 0 θ ṽ(δ, β) I ρ δ,β (θ ) I ρ δ,β (θ ) 0 θ ρ(β) ρ(δ, β) 0 θ ρ(β)

CENTRAL LIMIT THEOREMS THEOREM 6 For every (δ, β) int(b) the scaled quantities S n nv(δ, β) σ v (δ, β) n, Ω n nρ(δ, β) σ ρ (δ, β) n, converge in distribution to the standard normal law with 1 σ 2 v (δ, β) = 1 σ 2 ρ (δ, β) = [ 2 θ 2Iv δ,β (θ) [ 2 ] θ 2Iρ δ,β (θ ) θ=v(δ,β) ], θ =ρ(δ,β).

Numerical plots of β σ 2 v (δ, β) and β σ 2 ρ (δ, β) for δ = 1: 0.8 0.6 1.0 0.8 0.6 0.4 0.4 0.2 0.2

PART II: asymptotic properties

SCALING OF THE CRITICAL CURVE THEOREM 7 (1) As δ 0, β c (δ) 1 2 δ2 a ( 1 2 δ2 ) 4/3, where a comes from a certain Sturm-Liouville operator. (2) As δ, β c (δ) δ T with T = sup { t > 0: P(ω 1 tz) = 1 }

Either T > 0 (lattice case) or T = 0 (non-lattice case). If T = 0 and ω 1 has a bounded density with respect to the Lebesgue measure, then δ 2 β c (δ) 1 4log δ. Note that the scaling behavior of the critical curve is anomalous for small charge bias. This implies that the critical curve is not analytic at the origin. Note that the scaling is also delicate for large charge bias.

β β c (δ) S 0 δ B

CRITICAL SCALING OF THE EXCESS FREE ENERGY The scaling behaviour of the excess free energy near the critical curve fits with the phase transition being first order. THEOREM 8 For every δ (0, ), F (δ, β) K δ [β c (δ) β], β β c (δ), for a certain explicit K δ (0, ).

WEAK INTERACTION SCALING THEOREM 9 (1) For every δ (0, ), F (δ, β) A δ β 2/3, v(δ, β) B δ β 1/3, ρ(δ, β) ρ δ C δ β 2/3, β 0, for certain explicit A δ, B δ, C δ (0, ), where ρ δ = E δ (ω 1 ). (2) For every ɛ > 0, provided 1 2 δ2 β δ 4/3. F (δ, β) β c (δ) β, δ, β 0,

CONCLUSIONS The annealed charged polymer in d = 1 exhibits a very rich scaling behaviour. The phase transition between the ballistic phase and the subballistic phase is first order. The large deviation rate functions for the speed and the charge exhibit linear pieces in both phases. The limit of weak interaction is anomalous.

For d 2 we expect a similar richness: Quentin Berger, dh, Julien Poisat, work in progress