Approximate Tensorization of the Relative Entropy for Noncommuting Conditional Expectations

In this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. This generalisation, referred to as approximate tensorization of the relative entropy, consists in a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.

Evolution of Concentration Under Lattice Spin-Flip Dynamics

We consider spin-flip dynamics of Ising lattice spin systems and study the time evolution of concentration inequalities. For “weakly interacting” dynamics we show that the Gaussian concentration bound is conserved in the course of time and it is satisfied by the unique stationary Gibbs measure. Next we show that, for a general class of translation-invariant spin-flip dynamics, it is impossible to evolve in finite time from a low-temperature Gibbs state towards a measure satisfying the Gaussian concentration bound. Finally, we consider the time evolution of the weaker uniform variance bound, and show that this bound is conserved under a general class of spin-flip dynamics.

Non-analyticity of the Correlation Length in Systems with Exponentially Decaying Interactions

We consider a variety of lattice spin systems (including Ising, Potts and XY models) on $$\mathbb {Z}^d$$ Z d with long-range interactions of the form $$J_x = \psi (x) e^{-|x|}$$ J x = ψ ( x ) e - | x | , where $$\psi (x) = e^{{\mathsf o}(|x|)}$$ ψ ( x ) = e o ( | x | ) and $$|\cdot |$$ | · | is an arbitrary norm. We characterize explicitly the prefactors $$\psi $$ ψ that give rise to a correlation length that is not analytic in the relevant external parameter(s) (inverse temperature $$\beta $$ β , magnetic field $$h$$ h , etc). Our results apply in any dimension. As an interesting particular case, we prove that, in one-dimensional systems, the correlation length is non-analytic whenever $$\psi $$ ψ is summable, in sharp contrast to the well-known analytic behavior of all standard thermodynamic quantities. We also point out that this non-analyticity, when present, also manifests itself in a qualitative change of behavior of the 2-point function. In particular, we relate the lack of analyticity of the correlation length to the failure of the mass gap condition in the Ornstein–Zernike theory of correlations.

Self-avoiding walk, spin systems and renormalization

The self-avoiding walk, and lattice spin systems such as the φ 4 model, are models of interest both in mathematics and in physics. Many of their important mathematical problems remain unsolved, particularly those involving critical exponents. We survey some of these problems, and report on recent advances in their mathematical understanding via a rigorous non-perturbative renormalization group method.

LYAPUNOV EXPONENTS AND MODULATED PHASES OF AN ISING MODEL ON CAYLEY TREE OF ARBITRARY ORDER

Different types of the lattice spin systems with the competing interactions have rich and interesting phase diagrams. In this study a system with competing nearest-neighbor interaction J1, prolonged next-nearest-neighbor interaction Jp and ternary prolonged interaction Jtp is considered on a Cayley tree of arbitrary order k. To perform this study, an iterative scheme is developed for the corresponding Hamiltonian model. At finite temperatures several interesting properties are presented for typical values of α = T/J1, β = −Jp/J1 and γ = -Jtp/J1. This study recovers as particular cases, previous work by Vannimenus1 with γ = 0 for k = 2 and Ganikhodjaev et al.2 in the presence J1, Jp, Jtp with k = 2. The variation of the wavevector q with temperature in the modulated phase and the Lyapunov exponent associated with the trajectory of our iterative system are studied in detail.