-
Errico Presutti 1942-2024
Authors:
Lorenzo Bertini,
Joel L. Lebowitz,
Mario Pulvirenti
Abstract:
Errico Presutti was a leading figure in mathematical physics and an important contributor to rigorous results in statistical mechanics. Due to his strong scientific personality and human qualities, there are many who remember Errico Presutti as colleague, mentor, and friend.
Errico Presutti was a leading figure in mathematical physics and an important contributor to rigorous results in statistical mechanics. Due to his strong scientific personality and human qualities, there are many who remember Errico Presutti as colleague, mentor, and friend.
△ Less
Submitted 21 March, 2025;
originally announced March 2025.
-
Approach to Hyperuniformity in the One-Dimensional Facilitated Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
For the one-dimensional Facilitated Exclusion Process with initial state a product measure of density $ρ=1/2-δ$, $δ\ge0$, there exists an infinite-time limiting state $ν_ρ$ in which all particles are isolated and hence cannot move. We study the variance $V(L)$, under $ν_ρ$, of the number of particles in an interval of $L$ sites. Under $ν_{1/2}$ either all odd or all even sites are occupied, so tha…
▽ More
For the one-dimensional Facilitated Exclusion Process with initial state a product measure of density $ρ=1/2-δ$, $δ\ge0$, there exists an infinite-time limiting state $ν_ρ$ in which all particles are isolated and hence cannot move. We study the variance $V(L)$, under $ν_ρ$, of the number of particles in an interval of $L$ sites. Under $ν_{1/2}$ either all odd or all even sites are occupied, so that $V(L)=0$ for $L$ even and $V(L)=1/4$ for $L$ odd: the state is hyperuniform, since $V(L)$ grows more slowly than $L$. We prove that for densities approaching 1/2 from below there exist three regimes in $L$, in which the variance grows at different rates: for $L\ggδ^{-2}$, $V(L)\simeqρ(1-ρ)L$, just as in the initial state; for $A(δ)\ll L\llδ^{-2}$, with $A(δ)=δ^{-2/3}$ for $L$ odd and $A(δ)=1$ for $L$ even, $V(L)\simeq CL^{3/2}$ with $C=2\sqrt{2/π}/3$; and for $L\llδ^{-2/3}$ with $L$ odd, $V(L)\simeq1/4$. The analysis is based on a careful study of a renewal process with a long tail. Our study is motivated by simulation results showing similar behavior in higher dimensions; we discuss this background briefly.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Non-perturbative Solution of the 1d Schrodinger Equation Describing Photoemission from a Sommerfeld model Metal by an Oscillating Field
Authors:
Ovidiu Costin,
Rodica Costin,
Ian Jauslin,
Joel L. Lebowitz
Abstract:
We analyze non-perturbatively the one-dimensional Schrödinger equation describing the emission of electrons from a model metal surface by a classical oscillating electric field. Placing the metal in the half-space $x\leqslant 0$, the Schrödinger equation of the system is $i\partial_tψ=-\frac12\partial_x^2ψ+Θ(x) (U-E x \cosωt)ψ$, $t>0$, $x\in\mathbb R$, where $Θ(x)$ is the Heaviside function and…
▽ More
We analyze non-perturbatively the one-dimensional Schrödinger equation describing the emission of electrons from a model metal surface by a classical oscillating electric field. Placing the metal in the half-space $x\leqslant 0$, the Schrödinger equation of the system is $i\partial_tψ=-\frac12\partial_x^2ψ+Θ(x) (U-E x \cosωt)ψ$, $t>0$, $x\in\mathbb R$, where $Θ(x)$ is the Heaviside function and $U>0$ is the effective confining potential (we choose units so that $m=e=\hbar=1$). The amplitude $E$ of the external electric field and the frequency $ω$ are arbitrary. We prove existence and uniqueness of classical solutions of this equation for general initial conditions $ψ(x,0)=f(x)$, $x\in\mathbb R$. When the initial condition is in $L^2$ the evolution is unitary and the wave function goes to zero at any fixed $x$ as $t\to\infty$. To show this we prove a RAGE type theorem and show that the discrete spectrum of the quasienergy operator is empty. To obtain positive electron current we consider non-$L^2$ initial conditions containing an incoming beam from the left. The beam is partially reflected and partially transmitted for all $t>0$. For these we show that the solution approaches in the large $t$ limit a periodic state that satisfies an infinite set of equations formally derived by Faisal, et. al. Due to a number of pathological features of the Hamiltonian (among which unboundedness in the physical as well as the spatial Fourier domain) the existing methods to prove such results do not apply, and we introduce new, more general ones. The actual solution exhibits a very complex behavior. It shows a steep increase in the current as the frequency passes a threshold value $ω=ω_c$, with $ω_c$ depending on the strength of the electric field. For small $E$, $ω_c$ represents the threshold in the classical photoelectric effect.
△ Less
Submitted 26 October, 2022; v1 submitted 15 September, 2022;
originally announced September 2022.
-
Scaling limit of a generalized contact process
Authors:
Logan Chariker,
Anna De Masi,
Joel L. Lebowitz,
Errico Presutti
Abstract:
We derive macroscopic equations for a generalized contact process that is inspired by a neuronal integrate and fire model on the lattice $\mathbb{Z}^d$. The states at each lattice site can take values in $0,\ldots,k$. These can be interpreted as neuronal membrane potential, with the state $k$ corresponding to a firing threshold. In the terminology of the contact processes, which we shall use in th…
▽ More
We derive macroscopic equations for a generalized contact process that is inspired by a neuronal integrate and fire model on the lattice $\mathbb{Z}^d$. The states at each lattice site can take values in $0,\ldots,k$. These can be interpreted as neuronal membrane potential, with the state $k$ corresponding to a firing threshold. In the terminology of the contact processes, which we shall use in this paper, the state $k$ corresponds to the individual being infectious (all other states are noninfectious). In order to reach the firing threshold, or to become infectious, the site must progress sequentially from $0$ to $k$. The rate at which it climbs is determined by other neurons at state $k$, coupled to it through a Kac-type potential, of range $γ^{-1}$. The hydrodynamic equations are obtained in the limit $γ\rightarrow 0$. Extensions of the microscopic model to include excitatory and inhibitory neuron types, as well as other biophysical mechanisms, are also considered.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
Heat flow in a periodically forced, thermostatted chain
Authors:
Tomasz Komorowski,
Joel L. Lebowitz,
Stefano Olla
Abstract:
We investigate the properties of a harmonic chain in contact with a thermal bath at one end and subjected, at its other end, to a periodic force. The particles also undergo a random velocity reversal action, which results in a finite heat conductivity of the system. We prove the approach of the system to a time periodic state and compute the heat current, equal to the time averaged work done on th…
▽ More
We investigate the properties of a harmonic chain in contact with a thermal bath at one end and subjected, at its other end, to a periodic force. The particles also undergo a random velocity reversal action, which results in a finite heat conductivity of the system. We prove the approach of the system to a time periodic state and compute the heat current, equal to the time averaged work done on the system, in that state. This work approaches a finite positive value as the length of the chain increases. Rescaling space, the strength and/or the period of the force leads to a macroscopic temperature profile corresponding to the stationary solution of a continuum heat equation with Dirichlet-Neumann boundary conditions.
△ Less
Submitted 17 January, 2023; v1 submitted 8 May, 2022;
originally announced May 2022.
-
Stationary States of the One-Dimensional Discrete-Time Facilitated Symmetric Exclusion Process
Authors:
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different f…
▽ More
We describe the extremal translation invariant stationary (ETIS) states of the facilitated exclusion process on $\mathbb{Z}$. In this model all particles on sites with one occupied and one empty neighbor jump at each integer time to the empty neighbor site, and if two particles attempt to jump into the same empty site we choose one randomly to succeed. The ETIS states are qualitatively different for densities $ρ<1/2$, $ρ=1/2$, and $1/2<ρ<1$, but in each density region we find states which may be grouped into families, each of which is in natural correspondence with the set of all ergodic measures on $\{0,1\}^{\mathbb{Z}}$. For $ρ<1/2$ there is one such family, containing all the ergodic states in which the probability of two adjacent occupied sites is zero. For $ρ=1/2$ there are two families, in which configurations translate to the left and right, respectively, with constant speed 2. For the high density case there is a continuum of families. We show that all ETIS states at densities $ρ\le1/2$ belong to these families, and conjecture that also at high density there are no other ETIS states. We also study the possible ETIS states which might occur if the conjecture fails.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Microscopic Origins of Macroscopic Behavior
Authors:
Joel L. Lebowitz
Abstract:
This article is mostly based on a talk I gave at the March 2021 meeting (virtual) of the American Physical Society on the occasion of receiving the Dannie Heineman prize for Mathematical Physics from the American Institute of Physics and the American Physical Society. I am greatly indebted to many colleagues for the results leading to this award. To name them all would take up all the space allott…
▽ More
This article is mostly based on a talk I gave at the March 2021 meeting (virtual) of the American Physical Society on the occasion of receiving the Dannie Heineman prize for Mathematical Physics from the American Institute of Physics and the American Physical Society. I am greatly indebted to many colleagues for the results leading to this award. To name them all would take up all the space allotted to this article. (I have had more than 200 collaborators so far), I will therefore mention just a few: Michael Aizenman, Bernard Derrida, Shelly Goldstein, Elliott Lieb, Oliver Penrose, Errico Presutti, Gene Speer and Herbert Spohn. I am grateful to all of my collaborators, listed and unlisted. I would also like to acknowledge here long time support form the AFOSR and the NSF.
△ Less
Submitted 7 May, 2021;
originally announced May 2021.
-
Stationary States of the One-dimensional Facilitated Asymmetric Exclusion Process
Authors:
A. Ayyer,
S. Goldstein,
J. L. Lebowitz,
E. R. Speer
Abstract:
We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are support…
▽ More
We describe the translation invariant stationary states (TIS) of the one-dimensional facilitated asymmetric exclusion process in continuous time, in which a particle at site $i\in\mathbb{Z}$ jumps to site $i+1$ (respectively $i-1$) with rate $p$ (resp. $1-p$), provided that site $i-1$ (resp. $i+1$) is occupied and site $i+1$ (resp. $i-1$) is empty. All TIS states with density $ρ\le1/2$ are supported on trapped configurations in which no two adjacent sites are occupied; we prove that if in this case the initial state is i.i.d.~Bernoulli then the final state is independent of $p$. This independence also holds for the system on a finite ring. For $ρ>1/2$ there is only one TIS. It is the infinite volume limit of the probability distribution that gives uniform weight to all configurations in which no two holes are adjacent, and is isomorphic to the Gibbs measure for hard core particles with nearest neighbor exclusion.
△ Less
Submitted 30 December, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Fluctuation and Entropy in Spectrally Constrained random fields
Authors:
Kartick Adhikari,
Subhroshekhar Ghosh,
Joel L. Lebowitz
Abstract:
We investigate the statistical properties of translation invariant random fields (including point processes) on Euclidean spaces (or lattices) under constraints on their spectrum or structure function. An important class of models that motivate our study are hyperuniform and stealthy hyperuniform systems, which are characterised by the vanishing of the structure function at the origin (resp., vani…
▽ More
We investigate the statistical properties of translation invariant random fields (including point processes) on Euclidean spaces (or lattices) under constraints on their spectrum or structure function. An important class of models that motivate our study are hyperuniform and stealthy hyperuniform systems, which are characterised by the vanishing of the structure function at the origin (resp., vanishing in a neighbourhood of the origin). We show that many key features of two classical statistical mechanical measures of randomness - namely, fluctuations and entropy, are governed only by some particular local aspects of their structure function. We obtain exponents for the fluctuations of the local mass in domains of growing size, and show that spatial geometric considerations play an important role - both the shape of the domain and the mode of spectral decay. In doing so, we unveil intriguing oscillatory behaviour of spatial correlations of local masses in adjacent box domains. We describe very general conditions under which we show that the field of local masses exhibit Gaussian asymptotics, with an explicitly described limit. We further demonstrate that stealthy hyperuniform systems with joint densities exhibit degeneracy in their asymptotic entropy per site. In fact, our analysis shows that entropic degeneracy sets in under much milder conditions than stealthiness, as soon as the structure function fails to be logarithmically integrable.
△ Less
Submitted 4 February, 2022; v1 submitted 24 February, 2020;
originally announced February 2020.
-
Ionization by an Oscillating Field: Resonances and Photons
Authors:
Ovidiu Costin,
Rodica D. Costin,
Joel L. Lebowitz
Abstract:
We describe new exact results for a model of ionization of a bound state, induced by an oscillating potential. In particular we have obtained exact expressions, in the form of readily computable rapidly convergent sums, for the energy distribution of the emitted particles as a function of time, frequency and strength of the oscillating potential. Going beyond perturbation theory, these show resona…
▽ More
We describe new exact results for a model of ionization of a bound state, induced by an oscillating potential. In particular we have obtained exact expressions, in the form of readily computable rapidly convergent sums, for the energy distribution of the emitted particles as a function of time, frequency and strength of the oscillating potential. Going beyond perturbation theory, these show resonances in the energy distribution which look like single or multi-photon absorption, similar to those observed in laser induced electron emission from solids or atoms. This is particularly so when the strength of the oscillating potential is small compared to the binding energy but is still visible for large fields, and even for time-periods of a few oscillations. We have also obtained the space-time structure of the wave function. Our model exhibits a form of stabilization; the ionization probability is not monotone in the strength of the oscillating potential.
△ Less
Submitted 15 October, 2017;
originally announced October 2017.
-
Generalized stealthy hyperuniform processes : maximal rigidity and the bounded holes conjecture
Authors:
Subhro Ghosh,
Joel L. Lebowitz
Abstract:
We study translation invariant stochastic processes on $\mathbb{R}^d$ or $\mathbb{Z}^d$ whose diffraction spectrum or structure function $S(k)$, i.e. the Fourier transform of the truncated total pair correlation function, vanishes on an open set $U$ in the wave space. A key family of such processes are stealthy hyperuniform point processes, for which the origin $k=0$ is in $U$; these are of much c…
▽ More
We study translation invariant stochastic processes on $\mathbb{R}^d$ or $\mathbb{Z}^d$ whose diffraction spectrum or structure function $S(k)$, i.e. the Fourier transform of the truncated total pair correlation function, vanishes on an open set $U$ in the wave space. A key family of such processes are stealthy hyperuniform point processes, for which the origin $k=0$ is in $U$; these are of much current physical interest. We show that all such processes exhibit the following remarkable maximal rigidity : namely, the configuration outside a bounded region determines, with probability 1, the exact value (or the exact locations of the points) of the process inside the region. In particular, such processes are completely determined by their tail. In the 1D discrete setting (i.e. $\mathbb{Z}$-valued processes on $\mathbb{Z}$), this can also be seen as a consequence of a recent theorem of Borichev, Sodin and Weiss; in higher dimensions or in the continuum, such a phenomenon seems novel. For stealthy hyperuniform point processes, we prove the Zhang-Stillinger-Torquato conjecture that such processes have bounded holes (empty regions), with a universal bound that depends inversely on the size of $U$.
△ Less
Submitted 13 July, 2017;
originally announced July 2017.
-
Fluctuations, large deviations and rigidity in hyperuniform systems: a brief survey
Authors:
Subhro Ghosh,
Joel L. Lebowitz
Abstract:
We present a brief survey of fluctuations and large deviations of particle systems with subextensive growth of the variance. These are called hyperuniform (or superhomogeneous) systems. We then discuss the relation between hyperuniformity and rigidity. In particular we give sufficient conditions for rigidity of such systems in d=1,2.
We present a brief survey of fluctuations and large deviations of particle systems with subextensive growth of the variance. These are called hyperuniform (or superhomogeneous) systems. We then discuss the relation between hyperuniformity and rigidity. In particular we give sufficient conditions for rigidity of such systems in d=1,2.
△ Less
Submitted 5 December, 2016; v1 submitted 26 August, 2016;
originally announced August 2016.
-
Translation invariant extensions of finite volume measures
Authors:
S. Goldstein,
T. Kuna,
J. L. Lebowitz,
E. R. Speer
Abstract:
We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answe…
▽ More
We investigate the following questions: Given a measure $μ_Λ$ on configurations on a subset $Λ$ of a lattice $\mathbb{L}$, where a configuration is an element of $Ω^Λ$ for some fixed set $Ω$, does there exist a measure $μ$ on configurations on all of $\mathbb{L}$, invariant under some specified symmetry group of $\mathbb{L}$, such that $μ_Λ$ is its marginal on configurations on $Λ$? When the answer is yes, what are the properties, e.g., the entropies, of such measures? Our primary focus is the case in which $\mathbb{L}=\mathbb{Z}^d$ and the symmetries are the translations. For the case in which $Λ$ is an interval in $\mathbb{Z}$ we give a simple necessary and sufficient condition, local translation invariance (LTI), for extendibility. For LTI measures we construct extensions having maximal entropy, which we show are Gibbs measures; this construction extends to the case in which $\mathbb{L}$ is the Bethe lattice. On $\mathbb{Z}$ we also consider extensions supported on periodic configurations, which are analyzed using de~Bruijn graphs and which include the extensions with minimal entropy. When $Λ\subset\mathbb{Z}$ is not an interval, or when $Λ\subset\mathbb{Z}^d$ with $d>1$, the LTI condition is necessary but not sufficient for extendibility. For $\mathbb{Z}^d$ with $d>1$, extendibility is in some sense undecidable.
△ Less
Submitted 15 June, 2016; v1 submitted 18 August, 2015;
originally announced August 2015.
-
The Truncated Moment Problem on $\mathbb{N}_0$
Authors:
M. Infusino,
T. Kuna,
J. L. Lebowitz,
E. R. Speer
Abstract:
We find necessary and sufficient conditions for the existence of a probability measure on $\mathbb{N}_0$, the nonnegative integers, whose first $n$ moments are a given $n$-tuple of nonnegative real numbers. The results, based on finding an optimal polynomial of degree $n$ which is nonnegative on $\mathbb{N}_0$ (and which depends on the moments), and requiring that its expectation be nonnegative, g…
▽ More
We find necessary and sufficient conditions for the existence of a probability measure on $\mathbb{N}_0$, the nonnegative integers, whose first $n$ moments are a given $n$-tuple of nonnegative real numbers. The results, based on finding an optimal polynomial of degree $n$ which is nonnegative on $\mathbb{N}_0$ (and which depends on the moments), and requiring that its expectation be nonnegative, generalize previous results known for $n=1$, $n=2$ (the Percus-Yamada condition), and partially for $n=3$. The conditions for realizability are given explicitly for $n\leq5$ and in a finitely computable form for $n\geq6$. We also find, for all $n$, explicit bounds, in terms of the moments, whose satisfaction is enough to guarantee realizability. Analogous results are given for the truncated moment problem on an infinite discrete semi-bounded subset of $\mathbb{R}$.
△ Less
Submitted 15 September, 2015; v1 submitted 12 April, 2015;
originally announced April 2015.
-
Central limit theorems, Lee-Yang zeros, and graph-counting polynomials
Authors:
J. L. Lebowitz,
B. Pittel,
D. Ruelle,
E. R. Speer
Abstract:
We consider the asymptotic normalcy of families of random variables $X$ which count the number of occupied sites in some large set. We write $Prob(X=m)=p_mz_0^m/P(z_0)$, where $P(z)$ is the generating function $P(z)=\sum_{j=0}^{N}p_jz^j$ and $z_0>0$. We give sufficient criteria, involving the location of the zeros of $P(z)$, for these families to satisfy a central limit theorem (CLT) and even a lo…
▽ More
We consider the asymptotic normalcy of families of random variables $X$ which count the number of occupied sites in some large set. We write $Prob(X=m)=p_mz_0^m/P(z_0)$, where $P(z)$ is the generating function $P(z)=\sum_{j=0}^{N}p_jz^j$ and $z_0>0$. We give sufficient criteria, involving the location of the zeros of $P(z)$, for these families to satisfy a central limit theorem (CLT) and even a local CLT (LCLT); the theorems hold in the sense of estimates valid for large $N$ (we assume that $Var(X)$ is large when $N$ is). For example, if all the zeros lie in the closed left half plane then $X$ is asymptotically normal, and when the zeros satisfy some additional conditions then $X$ satisfies an LCLT. We apply these results to cases in which $X$ counts the number of edges in the (random) set of "occupied" edges in a graph, with constraints on the number of occupied edges attached to a given vertex. Our results also apply to systems of interacting particles, with $X$ counting the number of particles in a box $Λ$ whose size approaches infinity; $P(z)$ is then the grand canonical partition function and its zeros are the Lee-Yang zeros.
△ Less
Submitted 18 August, 2015; v1 submitted 18 August, 2014;
originally announced August 2014.
-
Any Orthonormal Basis in High Dimension is Uniformly Distributed over the Sphere
Authors:
Sheldon Goldstein,
Joel L. Lebowitz,
Roderich Tumulka,
Nino Zanghi
Abstract:
Let X be a real or complex Hilbert space of finite but large dimension d, let S(X) denote the unit sphere of X, and let u denote the normalized uniform measure on S(X). For a finite subset B of S(X), we may test whether it is approximately uniformly distributed over the sphere by choosing a partition A_1,...,A_m of S(X) and checking whether the fraction of points in B that lie in A_k is close to u…
▽ More
Let X be a real or complex Hilbert space of finite but large dimension d, let S(X) denote the unit sphere of X, and let u denote the normalized uniform measure on S(X). For a finite subset B of S(X), we may test whether it is approximately uniformly distributed over the sphere by choosing a partition A_1,...,A_m of S(X) and checking whether the fraction of points in B that lie in A_k is close to u(A_k) for each k=1,...,m. We show that if B is any orthonormal basis of X and m is not too large, then, if we randomize the test by applying a random rotation to the sets A_1,...,A_m, B will pass the random test with probability close to 1. This statement is related to, but not entailed by, the law of large numbers. An application of this fact in quantum statistical mechanics is briefly described.
△ Less
Submitted 10 February, 2015; v1 submitted 10 June, 2014;
originally announced June 2014.
-
KPZ universality class and the anchored Toom interface
Authors:
G. T. Barkema,
P. L. Ferrari,
J. L. Lebowitz,
H. Spohn
Abstract:
We revisit the anchored Toom interface and use KPZ scaling theory to argue that the interface fluctuations are governed by the Airy_1 process with the role of space and time interchanged. There is no free parameter. The predictions are numerically well confirmed for space-time statistics in the stationary state. In particular the spatial fluctuations of the interface are given by the GOE edge dist…
▽ More
We revisit the anchored Toom interface and use KPZ scaling theory to argue that the interface fluctuations are governed by the Airy_1 process with the role of space and time interchanged. There is no free parameter. The predictions are numerically well confirmed for space-time statistics in the stationary state. In particular the spatial fluctuations of the interface are given by the GOE edge distribution of Tracy and Widom.
△ Less
Submitted 23 September, 2014; v1 submitted 30 May, 2014;
originally announced May 2014.
-
Green-Kubo formula for weakly coupled system with dynamical noise
Authors:
Cedric Bernardin,
Francois Huveneers,
Joel L. Lebowitz,
Carlangelo Liverani,
Stefano Olla
Abstract:
We study the Green-Kubo (GK) formula $κ(\varepsilon, ξ)$ for the heat conductivity of an infinite chain of $d$-dimensional finite systems (cells) coupled by a smooth nearest neighbour potential $\varepsilon V$. The uncoupled systems evolve according to Hamiltonian dynamics perturbed stochastically by an energy conserving noise of strength $ξ$. Noting that $κ(\varepsilon, ξ)$ exists and is finite w…
▽ More
We study the Green-Kubo (GK) formula $κ(\varepsilon, ξ)$ for the heat conductivity of an infinite chain of $d$-dimensional finite systems (cells) coupled by a smooth nearest neighbour potential $\varepsilon V$. The uncoupled systems evolve according to Hamiltonian dynamics perturbed stochastically by an energy conserving noise of strength $ξ$. Noting that $κ(\varepsilon, ξ)$ exists and is finite whenever $ξ> 0$, we are interested in what happens when the strength of the noise $ξ\to 0$. For this, we start in this work by formally expanding $κ(\varepsilon, ξ)$ in a power series in $\varepsilon$, $κ(\varepsilon, ξ) = \varepsilon^2 \sum_{n\ge 2} \varepsilon^{n-2} κ_n (ξ)$ and investigating the (formal) equations satisfied by $κ_n (ξ$. We show in particular that $κ_2 (ξ)$ is well defined when no pinning potential is present, and coincides formally with the heat conductivity obtained in the weak coupling (van Hove) limit, where time is rescaled as $\varepsilon^{-2}t$, for the cases where the latter has been established \cite{LO, DL}. For one-dimensional systems, we investigate $κ_2 (ξ)$ as $ξ\to 0$ in three cases: the disordered harmonic chain, the rotor chain and a chain of strongly anharmonic oscillators. Moreover, we formally identify $κ_2 (ξ)$ with the conductivity obtained by having the chain between two reservoirs at temperature $T$ and $T+δT$, in the limit $δT\to 0$, $N \to \infty$, $\varepsilon \to 0$.
△ Less
Submitted 15 July, 2014; v1 submitted 28 November, 2013;
originally announced November 2013.
-
Local Central Limit Theorem for Determinantal Point Processes
Authors:
Peter J. Forrester,
Joel L. Lebowitz
Abstract:
We prove a local central limit theorem (LCLT) for the number of points $N(J)$ in a region $J$ in $\mathbb R^d$ specified by a determinantal point process with an Hermitian kernel. The only assumption is that the variance of $N(J)$ tends to infinity as $|J| \to \infty$. This extends a previous result giving a weaker central limit theorem (CLT) for these systems. Our result relies on the fact that t…
▽ More
We prove a local central limit theorem (LCLT) for the number of points $N(J)$ in a region $J$ in $\mathbb R^d$ specified by a determinantal point process with an Hermitian kernel. The only assumption is that the variance of $N(J)$ tends to infinity as $|J| \to \infty$. This extends a previous result giving a weaker central limit theorem (CLT) for these systems. Our result relies on the fact that the Lee-Yang zeros of the generating function for $\{E(k;J)\}$ --- the probabilities of there being exactly $k$ points in $J$ --- all lie on the negative real $z$-axis. In particular, the result applies to the scaled bulk eigenvalue distribution for the Gaussian Unitary Ensemble (GUE) and that of the Ginibre ensemble. For the GUE we can also treat the properly scaled edge eigenvalue distribution. Using identities between gap probabilities, the LCLT can be extended to bulk eigenvalues of the Gaussian Symplectic Ensemble (GSE). A LCLT is also established for the probability density function of the $k$-th largest eigenvalue at the soft edge, and of the spacing between $k$-th neigbors in the bulk.
△ Less
Submitted 13 February, 2014; v1 submitted 27 November, 2013;
originally announced November 2013.
-
Lyapunov functionals for boundary-driven nonlinear drift-diffusions
Authors:
T. Bodineau,
J. L. Lebowitz,
C. Mouhot,
C. Villani
Abstract:
We exhibit a large class of Lyapunov functionals for nonlinear drift-diffusion equations with non-homogeneous Dirichlet boundary conditions. These are generalizations of large deviation functionals for underlying stochastic many-particle systems, the zero range process and the Ginzburg-Landau dynamics, which we describe briefly. As an application, we prove linear inequalities between such an entro…
▽ More
We exhibit a large class of Lyapunov functionals for nonlinear drift-diffusion equations with non-homogeneous Dirichlet boundary conditions. These are generalizations of large deviation functionals for underlying stochastic many-particle systems, the zero range process and the Ginzburg-Landau dynamics, which we describe briefly. As an application, we prove linear inequalities between such an entropy-like functional and its entropy production functional for the boundary-driven porous medium equation in a bounded domain with positive Dirichlet conditions: this implies exponential rates of relaxation related to the first Dirichlet eigenvalue of the domain. We also derive Lyapunov functions for systems of nonlinear diffusion equations, and for nonlinear Markov processes with non-reversible stationary measures.
△ Less
Submitted 31 May, 2013;
originally announced May 2013.
-
Approach to equilibrium for the stochastic NLS
Authors:
J. L. Lebowitz,
Ph. Mounaix,
W. -M. Wang
Abstract:
We study the approach to equilibrium, described by a Gibbs measure, for a system on a $d$-dimensional torus evolving according to a stochastic nonlinear Schrödinger equation (SNLS) with a high frequency truncation. We prove exponential approach to the truncated Gibbs measure both for the focusing and defocusing cases when the dynamics is constrained via suitable boundary conditions to regions of t…
▽ More
We study the approach to equilibrium, described by a Gibbs measure, for a system on a $d$-dimensional torus evolving according to a stochastic nonlinear Schrödinger equation (SNLS) with a high frequency truncation. We prove exponential approach to the truncated Gibbs measure both for the focusing and defocusing cases when the dynamics is constrained via suitable boundary conditions to regions of the Fourier space where the Hamiltonian is convex. Our method is based on establishing a spectral gap for the non self-adjoint Fokker-Planck operator governing the time evolution of the measure, which is {\it uniform} in the frequency truncation $N$. The limit $N\to\infty$ is discussed.
△ Less
Submitted 8 February, 2012;
originally announced February 2012.
-
Harmonic Systems With Bulk Noises
Authors:
Cedric Bernardin,
Venkateshan Kannan,
Joel L. Lebowitz,
Jani Lukkarinen
Abstract:
We consider a harmonic chain in contact with thermal reservoirs at different temperatures and subject to bulk noises of different types: velocity flips or self-consistent reservoirs. While both systems have the same covariances in the nonequilibrium stationary state (NESS) the measures are very different. We study hydrodynamical scaling, large deviations, fluctuations, and long range correlations…
▽ More
We consider a harmonic chain in contact with thermal reservoirs at different temperatures and subject to bulk noises of different types: velocity flips or self-consistent reservoirs. While both systems have the same covariances in the nonequilibrium stationary state (NESS) the measures are very different. We study hydrodynamical scaling, large deviations, fluctuations, and long range correlations in both systems. Some of our results extend to higher dimensions.
△ Less
Submitted 26 November, 2013; v1 submitted 25 October, 2011;
originally announced October 2011.
-
Nonequilibrium Stationary States of Harmonic Chains with Bulk Noises
Authors:
Cedric Bernardin,
Venkateshan Kannan,
Joel L. Lebowitz,
Jani Lukkarinen
Abstract:
We consider a chain composed of $N$ coupled harmonic oscillators in contact with heat baths at temperature $T_\ell$ and $T_r$ at sites 1 and $N$ respectively. The oscillators are also subjected to non-momentum conserving bulk stochastic noises. These make the heat conductivity satisfy Fourier's law. Here we describe some new results about the hydrodynamical equations for typical macroscopic energy…
▽ More
We consider a chain composed of $N$ coupled harmonic oscillators in contact with heat baths at temperature $T_\ell$ and $T_r$ at sites 1 and $N$ respectively. The oscillators are also subjected to non-momentum conserving bulk stochastic noises. These make the heat conductivity satisfy Fourier's law. Here we describe some new results about the hydrodynamical equations for typical macroscopic energy and displacement profiles, as well as their fluctuations and large deviations, in two simple models of this type.
△ Less
Submitted 26 October, 2011; v1 submitted 9 September, 2011;
originally announced September 2011.
-
Necessary and sufficient conditions for realizability of point processes
Authors:
Tobias Kuna,
Joel L. Lebowitz,
Eugene R. Speer
Abstract:
We give necessary and sufficient conditions for a pair of (generalized) functions $ρ_1(\mathbf{r}_1)$ and $ρ_2(\mathbf{r}_1,\mathbf{r}_2)$, $\mathbf{r}_i\in X$, to be the density and pair correlations of some point process in a topological space $X$, for example, $\mathbb {R}^d$, $\mathbb {Z}^d$ or a subset of these. This is an infinite-dimensional version of the classical "truncated moment" probl…
▽ More
We give necessary and sufficient conditions for a pair of (generalized) functions $ρ_1(\mathbf{r}_1)$ and $ρ_2(\mathbf{r}_1,\mathbf{r}_2)$, $\mathbf{r}_i\in X$, to be the density and pair correlations of some point process in a topological space $X$, for example, $\mathbb {R}^d$, $\mathbb {Z}^d$ or a subset of these. This is an infinite-dimensional version of the classical "truncated moment" problem. Standard techniques apply in the case in which there can be only a bounded number of points in any compact subset of $X$. Without this restriction we obtain, for compact $X$, strengthened conditions which are necessary and sufficient for the existence of a process satisfying a further requirement---the existence of a finite third order moment. We generalize the latter conditions in two distinct ways when $X$ is not compact.
△ Less
Submitted 22 August, 2011; v1 submitted 9 October, 2009;
originally announced October 2009.
-
Heat Conduction and Entropy Production in Anharmonic Crystals with Self-Consistent Stochastic Reservoirs
Authors:
Federico Bonetto,
Joel L. Lebowitz,
Jani Lukkarinen,
Stefano Olla
Abstract:
We investigate a class of anharmonic crystals in $d$ dimensions, $d\ge 1$, coupled to both external and internal heat baths of the Ornstein-Uhlenbeck type. The external heat baths, applied at the boundaries in the 1-direction, are at specified, unequal, temperatures $\tlb$ and $\trb$. The temperatures of the internal baths are determined in a self-consistent way by the requirement that there be…
▽ More
We investigate a class of anharmonic crystals in $d$ dimensions, $d\ge 1$, coupled to both external and internal heat baths of the Ornstein-Uhlenbeck type. The external heat baths, applied at the boundaries in the 1-direction, are at specified, unequal, temperatures $\tlb$ and $\trb$. The temperatures of the internal baths are determined in a self-consistent way by the requirement that there be no net energy exchange with the system in the non-equilibrium stationary state (NESS). We prove the existence of such a stationary self-consistent profile of temperatures for a finite system and show it minimizes the entropy production to leading order in $(\tlb -\trb)$. In the NESS the heat conductivity $κ$ is defined as the heat flux per unit area divided by the length of the system and $(\tlb -\trb)$. In the limit when the temperatures of the external reservoirs goes to the same temperature $T$, $κ(T)$ is given by the Green-Kubo formula, evaluated in an equilibrium system coupled to reservoirs all having the temperature $T$. This $κ(T)$ remains bounded as the size of the system goes to infinity. We also show that the corresponding infinite system Green-Kubo formula yields a finite result. Stronger results are obtained under the assumption that the self-consistent profile remains bounded.
△ Less
Submitted 21 November, 2008; v1 submitted 5 September, 2008;
originally announced September 2008.
-
Displacement convexity and minimal fronts at phase boundaries
Authors:
Eric A. Carlen,
Maria C. Carvalho,
Raffaele Esposito,
Joel L. Lebowitz,
Rossana Marra
Abstract:
We show that certain free energy functionals that are not convex with respect to the usual convex structure on their domain of definition, are strictly convex in the sense of displacement convexity under a natural change of variables. We use this to show that in certain cases, the only critical points of these functionals are minimizers. This approach based on displacement convexity permits us t…
▽ More
We show that certain free energy functionals that are not convex with respect to the usual convex structure on their domain of definition, are strictly convex in the sense of displacement convexity under a natural change of variables. We use this to show that in certain cases, the only critical points of these functionals are minimizers. This approach based on displacement convexity permits us to treat multicomponent systems as well as single component systems. The developments produce new examples of displacement convex functionals, and, in the multi-component setting, jointly displacement convex functionals.
△ Less
Submitted 17 July, 2008; v1 submitted 1 June, 2007;
originally announced June 2007.
-
Realizability of point processes
Authors:
T. Kuna,
J. L. Lebowitz,
E. R. Speer
Abstract:
There are various situations in which it is natural to ask whether a given collection of $k$ functions, $ρ_j(\r_1,...,\r_j)$, $j=1,...,k$, defined on a set $X$, are the first $k$ correlation functions of a point process on $X$. Here we describe some necessary and sufficient conditions on the $ρ_j$'s for this to be true. Our primary examples are $X=\mathbb{R}^d$, $X=\matbb{Z}^d$, and $X$ an arbit…
▽ More
There are various situations in which it is natural to ask whether a given collection of $k$ functions, $ρ_j(\r_1,...,\r_j)$, $j=1,...,k$, defined on a set $X$, are the first $k$ correlation functions of a point process on $X$. Here we describe some necessary and sufficient conditions on the $ρ_j$'s for this to be true. Our primary examples are $X=\mathbb{R}^d$, $X=\matbb{Z}^d$, and $X$ an arbitrary finite set. In particular, we extend a result by Ambartzumian and Sukiasian showing realizability at sufficiently small densities $ρ_1(\mathbf{r})$. Typically if any realizing process exists there will be many (even an uncountable number); in this case we prove, when $X$ is a finite set, the existence of a realizing Gibbs measure with $k$ body potentials which maximizes the entropy among all realizing measures. We also investigate in detail a simple example in which a uniform density $ρ$ and translation invariant $ρ_2$ are specified on $\mathbb{Z}$; there is a gap between our best upper bound on possible values of $ρ$ and the largest $ρ$ for which realizability can be established.
△ Less
Submitted 19 March, 2007; v1 submitted 23 December, 2006;
originally announced December 2006.
-
Ionization of Coulomb systems in $\RR^3$ by time periodic forcings of arbitrary size
Authors:
O. Costin,
J. L. Lebowitz,
S. Tanveer
Abstract:
We analyze the long time behavior of solutions of the Schrödinger equation $iψ_t=(-Δ-b/r+V(t,x))ψ$, $x\in\RR^3$, $r=|x|$, describing a Coulomb system subjected to a spatially compactly supported time periodic potential $V(t,x)=V(t+2π/ω,x)$ with zero time average. We show that, for any $V(t,x)$ of the form $2Ω(r)\sin (ωt-θ)$, with $Ω(r)$ nonzero on its support, Floquet bound states do not exist.…
▽ More
We analyze the long time behavior of solutions of the Schrödinger equation $iψ_t=(-Δ-b/r+V(t,x))ψ$, $x\in\RR^3$, $r=|x|$, describing a Coulomb system subjected to a spatially compactly supported time periodic potential $V(t,x)=V(t+2π/ω,x)$ with zero time average. We show that, for any $V(t,x)$ of the form $2Ω(r)\sin (ωt-θ)$, with $Ω(r)$ nonzero on its support, Floquet bound states do not exist. This implies that the system ionizes, {\em i.e.} $P(t,K)=\int_K|ψ(t,x)|^2dx\to 0$ as $t\to\infty$ for any compact set $K\subset\RR^3$. Furthermore, if the initial state is compactly supported and has only finitely many spherical harmonic modes, then $P(t,K)$ decays like $t^{-5/3}$ as $t \to \infty $. To prove these statements, we develop a rigorous WKB theory for infinite systems of ordinary differential equations.
△ Less
Submitted 3 January, 2010; v1 submitted 27 November, 2006;
originally announced November 2006.
-
Evolution of a model quantum system under time periodic forcing: conditions for complete ionization
Authors:
O. Costin,
R. D. Costin,
J. L. Lebowitz,
A. Rokhlenko
Abstract:
We analyze the time evolution of a one-dimensional quantum system with an attractive delta function potential whose strength is subjected to a time periodic (zero mean) parametric variation $η(t)$. We show that for generic $η(t)$, which includes the sum of any finite number of harmonics, the system, started in a bound state will get fully ionized as $t\to\infty$. This is irrespective of the magn…
▽ More
We analyze the time evolution of a one-dimensional quantum system with an attractive delta function potential whose strength is subjected to a time periodic (zero mean) parametric variation $η(t)$. We show that for generic $η(t)$, which includes the sum of any finite number of harmonics, the system, started in a bound state will get fully ionized as $t\to\infty$. This is irrespective of the magnitude or frequency (resonant or not) of $η(t)$. There are however exceptional, very non-generic $η(t)$, that do not lead to full ionization, which include rather simple explicit periodic functions. For these $η(t)$ the system evolves to a nontrivial localized stationary state which is related to eigenfunctions of the Floquet operator.
△ Less
Submitted 31 October, 2000;
originally announced November 2000.
-
Bounded Fluctuations and Translation Symmetry Breaking in One-Dimensional Particle Systems
Authors:
M. Aizenman,
S. Goldstein,
J. L. Lebowitz
Abstract:
We present general results for one-dimensional systems of point charges (signed point measures) on the line with a translation invariant distribution $μ$ for which the variance of the total charge in an interval is uniformly bounded (instead of increasing with the interval length). When the charges are restricted to multiples of a common unit, and their average charge density does not vanish, th…
▽ More
We present general results for one-dimensional systems of point charges (signed point measures) on the line with a translation invariant distribution $μ$ for which the variance of the total charge in an interval is uniformly bounded (instead of increasing with the interval length). When the charges are restricted to multiples of a common unit, and their average charge density does not vanish, then the boundedness of the variance implies translation-symmetry breaking --- in the sense that there exists a function of the charge configuration that is nontrivially periodic under translations --- and hence that $μ$ is not ``mixing.'' Analogous results are formulated also for one dimensional lattice systems under some constraints on the values of the charges at the lattice sites and their averages. The general results apply to one-dimensional Coulomb systems, and to certain spin chains, putting on common grounds different instances of symmetry breaking encountered there.
△ Less
Submitted 3 November, 2000; v1 submitted 14 July, 2000;
originally announced July 2000.
-
Blocking measures for asymmetric exclusion processes via coupling
Authors:
P. A. Ferrari,
J. L. Lebowitz,
E. Speer
Abstract:
We give sufficient conditions on the rates of two asymmetric exclusion processes such that the existence of a blocking invariant measure for the first implies the existence of such a measure for the second. The main tool is a coupling between the two processes under which the first dominates the second in an appropriate sense. In an appendix we construct a class of processes for which the existe…
▽ More
We give sufficient conditions on the rates of two asymmetric exclusion processes such that the existence of a blocking invariant measure for the first implies the existence of such a measure for the second. The main tool is a coupling between the two processes under which the first dominates the second in an appropriate sense. In an appendix we construct a class of processes for which the existence of a blocking measure can be proven directly; these are candidates for comparison processes in applications of the main result.
△ Less
Submitted 23 February, 2000;
originally announced February 2000.
