Pith. sign in

REVIEW 2 major objections 5 minor 2 cited by

The supercritical phase of the $\varphi^4$ model is well behaved

T0 review · 2 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash

Pith's one-line read For every β above criticality and every d≥2, the φ⁴ random cluster model has a unique macroscopic cluster with high probability, uniformly in boundary conditions; surface-order large deviations and exponential spectral-gap decay follow.

desk verdict Real progress on supercritical φ^4, but the half-space uniqueness step has a load-bearing omitted proof that needs to be supplied before the main theorem is fully established. read the letter →

arxiv 2501.05353 v2 pith:NOQOZQJR submitted 2025-01-09 math.PR math-phmath.MP

classification math.PRmath-phmath.MP MSC 60K3582B2082B26
keywords φ⁴modelsupercriticalphaserandomclusterlocaluniquenesssurfaceorderlargedeviationsspectralgaptangledcurrentstension
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper proves that the supercritical phase of the $\varphi^4$ model is well behaved in a precise percolation sense: for every inverse temperature $\beta$ above the critical value $\beta_c$ and in every dimension $d\ge 2$, a unique macroscopic cluster crosses large boxes with probability tending to one, uniformly in the boundary conditions. This local-uniqueness statement is the $\varphi^4$ analogue of classical supercritical sharpness results for Bernoulli percolation and the Ising random cluster model, and it is the missing input needed to run non-perturbative renormalisation arguments throughout the supercritical regime. From it the authors derive two concrete consequences: the empirical magnetisation obeys surface-order large deviations (the probability of falling far below the spontaneous magnetisation decays like $e^{-cn^{d-1}}$), and both the Langevin and heat-bath dynamics of the model have spectral gaps decaying like $e^{-cn^{d-1}}$. The proof gives the first mathematical treatment of a random cluster (Fortuin–Kasteleyn) representation of $\varphi^4$ — an Ising random cluster model in the random environment created by the absolute value field — and uses random tangled currents to compare boundary conditions, a step that is new even for the Ising model.

What carries the argument

The load-bearing object is the $\varphi^4$ random cluster measure $\Psi_{\Lambda,\beta}$ (Definition 4.1): sample $a=|\varphi|$ from the absolute value field, then conditionally draw an Ising random cluster configuration with edge weights $p_{xy}=1-e^{-2\beta a_x a_y}$; under the Edwards–Sokal coupling, spin correlations become connectivity events, so 'the supercritical spin phase is well behaved' becomes a percolation statement. Three mechanisms carry the proof. (1) The random tangled current representation of [GPPS22] and its switching principle (Theorem 2.13): this is the tool that compares measures with different boundary conditions, yielding the thick-boundary approximation of the plus state (Proposition 3.1) and the uniqueness of half-space measures with positive boundary field (Proposition 3.6, resting on the construction in Corollary 3.5). (2) A surface tension $\tau_\beta$ for $\varphi^4$, defined through Dobrushin-type boundary fields on a logarithmically thick boundary; its strict positivity for every $\beta>\beta_c$ (Proposition 5.5) adapts the [LP81] argument via the Ginibre inequality, and transfers — through the coupling — into an exponential disconnection bound for the free-boundary random cluster measure (Theorem 5.1). (3) Two routes from disconnection to local uniqueness: in $d=2$, the general Russo–Seymour–Welsh theory of [KST23] for FKG measures; in $d\ge 3$, the [Sev24] route of Bernoulli sprinkling, stochastic domination of the sprinkled measure by the model at slightly higher $\beta$ (Proposition 6.5), slab percolation, and an onion-peeling argument. Finally the [Pis96] coarse-graining scheme converts local uniqueness into the surface-order large-deviation bound, with [LSS97] supplying the product-measure domination at each renormalisation step.

What would settle it

Direct simulation can test Theorem 1.4 itself: for $d=2$ (and $d=3$) at $\beta$ modestly above $\beta_c$, estimate $\inf_\# \Psi^\#_{\Lambda_{10L},\beta}[U(L)]$ from the free-boundary $\varphi^4$ random cluster measure; if the local-uniqueness probability does not tend to one as $L$ grows, the main claim is false. The structurally weakest point to attack is the omitted proof of Corollary 3.5: attempting to construct the half-space limiting tangled-current measures directly, and checking whether the two half-space magnetisations of Proposition 3.6 are equal, would either complete or break the boundary-condition comparison on which the argument rests.

Watch

Extended reading notes

Core claim

The central claim of the paper is Theorem 1.4: for every $d\ge 2$ and every $\beta>\beta_c$, the probability of the local-uniqueness event $U(L)$ — there is a cluster crossing the annulus $\Lambda_{8L}\setminus\Lambda_L$, and any two crossing paths in $\Lambda_{4L}\setminus\Lambda_{2L}$ are connected inside $\Lambda_{8L}\setminus\Lambda_L$ — tends to one under the $\varphi^4$ random cluster measure $\Psi^\#_{\Lambda_{10L},\beta}$, uniformly over all boundary conditions $\#$. In words, exactly one macroscopic cluster governs every large region of the supercritical phase. The theorem is the engine for two applications. Theorem 1.1 establishes surface-order exponential bounds for the lower large deviations of the empirical magnetisation: for every $\beta>\beta_c$ and $0<\delta<m^*(\beta)$, the probability that $|m_{\Lambda_n}|\le m^*(\beta)-\delta$ lies between $e^{-Cn^{d-1}}$ and $e^{-cn^{d-1}}$, while upward deviations remain of volume order. Theorem 1.3 states that the spectral gaps of Langevin and heat-bath dynamics on $\Lambda_n$ decay as $e^{-cn^{d-1}}$ in the entire supercritical regime. A further consequence (Proposition B.2) identifies the boundary fields $h_L\le p_{\Lambda_L}$ with $L^{d-1}h_L\to\infty$ whose finite-volume measures converge to the infinite-volume plus state. The result is new even in dimension two, where the random cluster representation has no tractable dual.

Load-bearing premise

The argument leans on an assertion that is stated without proof: Corollary 3.5 in Section 3.2, which postulates the existence and convergence of infinite-volume (double) tangled current measures on the half-space with positive boundary field, is followed by the sentence 'the proof is omitted,' and this construction underpins the half-space uniqueness of the spin measure (Proposition 3.6) used to compare plus and free boundary conditions on the way to Theorem 5.1 and hence Theorem 1.4.

Editorial extensions

If this is right

  • For every $\beta>\beta_c$ and every $\delta\in(0,m^*(\beta))$, the lower large deviations of the empirical magnetisation on $\Lambda_n$ have surface order: $e^{-Cn^{d-1}} \le \nu_{\Lambda_n,\beta}[|m_{\Lambda_n}|\le m^*(\beta)-\delta] \le e^{-cn^{d-1}}$, whereas upward deviations are of volume order $e^{-cn^d}$.
  • Both the Langevin and the heat-bath dynamics for $\varphi^4$ on $\Lambda_n$ have spectral gaps bounded by $e^{-cn^{d-1}}$ for all $\beta>\beta_c$, extending the very-low-temperature result of [CGW22] to the whole supercritical regime and providing the slow side of a sharp dynamical phase transition at $\beta_c$.
  • Under renormalisation the $\varphi^4$ random cluster model is comparable to highly supercritical Bernoulli percolation: the unique giant component is ubiquitous and every other component is logarithmically small, which is precisely the structure the coarse-graining argument uses.
  • The infinite-volume plus state $\nu^+_\beta$ arises as the limit of finite-volume measures with boundary fields that may decay to zero — $L^{d-1}h_L\to\infty$ with $h_L\le p_{\Lambda_L}$ — so the plus phase does not require maximal boundary conditions (Proposition B.2).
  • The infinite-volume free and wired random cluster measures coincide for every $\beta\ge 0$ (Proposition 4.13), so the random cluster representation has a unique thermodynamic limit.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The random cluster definition of Section 4 works for any even single-site measure with super-Gaussian tails, so the same proof strategy should transfer to other unbounded-spin models and to dilute random cluster models — the Blume–Capel case flagged in Remark 4.3 is the most immediate test case the paper leaves open.
  • The surface-order lower bound in Theorem 1.1 has the right order but no identified rate constant; a full Wulff theorem for $\varphi^4$ that pins the constant to the surface tension $\tau_\beta$ is the natural next step, and Theorem 1.4 supplies the coarse-graining backbone such a theorem would need.
  • Because Theorem 1.4 is uniform in boundary conditions and Theorem 1.3 gives spectral gaps of order $e^{-cn^{d-1}}$, the supercritical regime is hard for any sampler uniformly in boundary data: an exponential relaxation barrier is intrinsic to the model, not an artifact of boundary conditions.
  • Combining Theorem 1.3 with the known positivity of the Langevin spectral gap below $\beta_c$ yields a sharp dynamical phase transition at $\beta_c$; a further question the paper does not touch is whether the dynamics also exhibit a cutoff phenomenon in the supercritical phase, as the Ising model does.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies the supercritical phase of the φ^4 model on Z^d through its random cluster representation, defined as an Ising Fortuin–Kasteleyn model on a random environment given by the absolute value field. The central result, Theorem 1.4, states that for every d≥2 and every β>β_c the model satisfies local uniqueness of macroscopic clusters with probability tending to one, uniformly in boundary conditions; this is the φ^4 analogue of Bodineau's supercritical sharpness result for the Ising random cluster model and is new even in two dimensions. The proof combines (i) a positivity result for a surface tension defined via thick boundary fields, adapting Lebowitz–Pfister using the Ginibre inequality and the tangled-current switching principle of [GPPS22]; (ii) a comparison argument from thick-plus to free boundary conditions that rests on a half-space uniqueness statement with positive boundary field; and (iii) renormalisation and sprinkling arguments following [Sev24], with the two-dimensional case handled via the RSW theory of Köhler-Schindler and Tassion. From Theorem 1.4 the authors derive surface-order exponential bounds for lower large deviations of the empirical magnetisation (Theorem 1.1) and surface-order decay of spectral gaps for Langevin and heat-bath dynamics (Theorem 1.3). The paper is detailed and its overall architecture is coherent; the main caveats are the proof being omitted for Corollary 3.5 and a constant error in Proposition 6.3.

Significance. If the results hold, they constitute a substantial advance: supercritical sharpness for a percolation model with unbounded continuous randomness, at every β>β_c and uniformly in boundary conditions, in all dimensions d≥2, with two nontrivial consequences (surface-order large deviations and spectral gap decay) that were previously available only at very low temperature or only for Ising-type models. The paper's strengths include the first rigorous treatment of the φ^4 random cluster representation, a new probabilistic proof of half-space uniqueness that bypasses the Ising-specific wetting-transition argument of Fröhlich and Pfister (and, as the authors note, yields a new proof for the Ising model as well), and a careful adaptation of Pisztora's coarse graining to unbounded spins. The reliance on [GPPS22] for the switching principle and the classification of translation-invariant Gibbs measures is legitimate: those are established theorems with independent proofs, and the central claim does not reduce to a fit of parameters. The completeness issues described in the major comments are local and appear fillable rather than fundamental.

major comments (2)
  1. [Section 3.2 (Corollary 3.5)] Corollary 3.5 asserts the existence of the infinite-volume double tangled current measures P∅_{H(+,h),β}, P∅_{H(0,h),β} and P^{∅,∅}_{H(+,h),H(0,h),β}, but its proof is omitted. This statement is load-bearing: in the proof of Proposition 3.6, the measure P^{∅,∅}_{H(+,h),H(0,h),β} is the object under which equation (3.14) and Lemma 3.7 are verified, and Proposition 3.6 is exactly the half-space uniqueness used (through Proposition 4.15) in the comparison of Lemma 5.9 that yields Theorem 5.1 and hence Theorem 1.4, in every dimension d≥2. The authors should either provide the construction of these limiting measures (for instance following [GPPS22, Section 5.1] and Lemma 3.4) or state the convergence as a lemma with a complete proof.
  2. [Section 6.2.1 (Proposition 6.3)] Section 6.2.1, Proposition 6.3: with the stated choice C0 = (d c1)^{-1/(d-1)}, Theorem 5.1 gives Ψ^0_{Λ_{L'}}[Λ_ℓ ↔ ∂Λ_{c1 L'}] ≥ 1 − e^{−c1 ℓ^{d−1}} = 1 − L^{−1/d}, not the claimed 1 − L^{−d}, since c1 ℓ^{d−1} = (1/d) log L. The subsequent union bound over the O(L^d) boxes Λ_ℓ(x), x ∈ ℓZ^d ∩ Λ_{δL}, therefore does not control the complement of A_L, so the asserted limit inf_{(ξ,b)} Γ^{(ξ,b)}_{Λ_L,β,ε}[A_L] → 1 is not proved as written. This is repaired by setting C0 = (d/c1)^{1/(d−1)} (i.e., ℓ^{d−1} = (d/c1) log L), which preserves the requirement ℓ = o(log L) used in Proposition 6.2; I ask that the constant be corrected.
minor comments (5)
  1. [References] The reference [HSV14] appears in the bibliography but is not cited anywhere in the text; please either cite it where relevant or remove it.
  2. [Introduction, Section 1.4] In the introductory outline, 'Pizstora [Pis96]' should read 'Pisztora [Pis96]'.
  3. [Remark 3.2] The word 'straightforwad' in Remark 3.2 should read 'straightforward'.
  4. [Section 3.1 (Eq. (3.3))] The phrase 'by Markov's inequality for 2^{∑_{e:e∩γ≠∅} n1(e)+n2(e)}' is unclear; it should say that Markov's inequality is applied to the random variable 2^{∑_{e:e∩γ≠∅} (n1(e)+n2(e))}.
  5. [Section 6.2.1 (Proposition 6.2)] The proof of Proposition 6.2 is delegated to [Sev24, Proposition 2.2]. Since this statement is load-bearing for the d≥3 part of Theorem 1.4, I recommend adding a short explanation of why the geometry of the event A_L matches the hypotheses of [Sev24, Proposition 2.2] (in particular the requirement ℓ = o(log L)), rather than only asserting that the proof applies mutatis mutandis.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central local-uniqueness theorem is derived from new surface-tension and comparison arguments, with heavy but legitimate reliance on prior independent work. The explicitly omitted proof of Corollary 3.5 is a load-bearing gap, not a circular reduction.

full rationale

The main derivation chain is not circular. Theorem 1.4 is obtained from a positive surface tension (Proposition 5.5), an exponential disconnection bound for the thick-plus random cluster measure (Lemma 5.7), a two-step comparison to free boundary conditions (Lemmas 5.8 and 5.9), and a dimension-dependent renormalisation (Section 6). None of these steps fits a parameter to the quantity it is later said to predict, and no event or measure is defined in terms of the target theorem. The frequent citations to [GPPS22] (switching principle, quartic regularity tail bounds, classification of translation-invariant Gibbs measures) and to [Sev24] (sprinkled local uniqueness) are citations of prior, independently proved results; per Rule 4 these are real evidence even when the cited authors overlap with the present paper. The half-space uniqueness Proposition 3.6 is proved here rather than imported as a uniqueness theorem. The one passage that must be flagged is Corollary 3.5: 'Combined with the methods of [GPPS22, Section 5.1], Lemma 3.4 allows to construct the associated infinite volume (double) tangled current measures. Therefore, we obtain the following (the proof is omitted).' Proposition 3.6 and Lemma 3.7 then work under the limiting measure P^{∅,∅}_{H(+,h),H(0,h)}, and Proposition 3.6 is later used through Proposition 4.15 in Lemma 5.9 to pass from thick-plus to free boundary conditions; hence the omitted construction is load-bearing for Theorem 5.1 and Theorem 1.4 as written. This is a real incompleteness, but it is not a self-definitional or fitted-input circularity: the missing argument is an extension of prior methods to a new limiting object, not a renaming of the conclusion, and the paper does not define that object in terms of the equality it is used to prove.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted to data; all constants in the proof are existential. The proof rests on cited theorems from [GPPS22] (same authors) for tangled currents and Gibbs measure classification, plus standard correlation inequalities for φ^4 and standard lattice model assumptions.

assumptions (4)
  • standard math Random tangled current representation and switching principle (Theorem 2.13), taken from [GPPS22].
    Used throughout Section 3 to compare measures with different boundary conditions; the proof is not reproduced in this paper.
  • standard math Translation invariant Gibbs measures of the φ^4 model are convex combinations of ν_β^+ and ν_β^- [GPPS22].
    Used in Proposition 4.13 and Remark 4.14 to identify infinite-volume random cluster measures.
  • standard math Ginibre inequality, FKG inequalities and quartic regularity estimates for φ^4 (Propositions 2.1-2.6).
    Foundational correlation inequalities used throughout the proof of surface tension positivity and comparison arguments.
  • domain assumption The single-site measure ρ_{g,a} has super-Gaussian tails and β_c ∈ (0,∞) for d≥2.
    Guarantees the model is well defined and that the supercritical regime is nonempty, as assumed by the main theorems.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The supercritical phase of the $\varphi^4$ model is well behaved." pith.science (2026). https://pith.science/paper/NOQOZQJR

@misc{pith2026250105353,
  author       = {Pith},
  title        = {Pith review of: The supercritical phase of the $\varphi^4$ model is well behaved},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NOQOZQJR}},
  note         = {Machine review of arXiv:2501.05353}
}
abstract

In this article, we analyse the $\varphi^4$ model on $\mathbb Z^d$ in the supercritical regime $\beta > \beta_c$. We consider a random cluster representation of the $\varphi^4$ model, which corresponds to an Ising random cluster model on a random environment. We prove that the supercritical phase of this percolation model on $\mathbb Z^d$ ($d\geq 2$) is well behaved in the sense that, for every $\beta>\beta_c$, local uniqueness of macroscopic clusters occurs with high probability, uniformly in the boundary conditions. This result provides the basis for renormalisation techniques used to study several fine properties of the supercritical phase. As applications, we prove surface order exponential bounds for the (lower) large deviations of the empirical magnetisation as well as for the spectral gaps of dynamical $\varphi^4$ models in the entire supercritical regime.

Figures

Figures reproduced from arXiv: 2501.05353 by the authors.

Figure 1
Figure 1. An illustration of two applications of Proposition [PITH_FULL_IMAGE:figures/full_fig_p012_1.png] view at source ↗
Figure 2
Figure 2. An illustration of the proof of Proposition [PITH_FULL_IMAGE:figures/full_fig_p019_2.png] view at source ↗
Figure 3
Figure 3. An illustration of the event appearing on the right-hand side of ( [PITH_FULL_IMAGE:figures/full_fig_p024_3.png] view at source ↗
Figures from the paper (4 more)
Figure 4
Figure 4. Figure 4: An illustration of the strategy used in the proof of ( [PITH_FULL_IMAGE:figures/full_fig_p025_4.png]
Figure 5
Figure 5. Figure 5: An illustration of the rectangle R(L, M). The support of the magnetic field h +,− L,M is the coloured region. Definition 5.2. The surface tension of the φ 4 model on R(L, M) is defined as τ L,M β := 1 Ld−1 log Z +,+ R(L,M),β Z +,− R(L,M),β . We also define τ L β := lim…
Figure 6
Figure 6. Figure 6: An illustration of (5.8). The magnetic field h +,+ L,δL+H is supported on the coloured regions: in the red region it is equal to 1, in the green region it is equal to H, and in the overlap of the two regions— in orange— it is equal to H + 1. This provides three differe…
Figure 7
Figure 7. Figure 7: An illustration of the proof of Lemma 5.9. The blue region is the box B(L, ε, x) = Λ + εL(x). We put an external magnetic field on the bold blue boundary of B(L, δ, x) which is either 0 or p. The top and bottom boundaries of R(L, δL) (in red) carry a magnetic field s. …

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. From local giants to locality in long-range percolation

    math.PR 2026-07 conditional novelty 7.0 of 10

    Long-range percolation on polynomial-growth transitive graphs is local for α∈(0,2), and a new Voronoi-tile renormalization yields giant-cluster, cluster-decay, isoperimetric and transience results.

  2. Regularity of Gibbs measures for unbounded spin systems on general graphs

    math.PR 2026-03 unverdicted novelty 7.0 of 10

    Unbounded spin systems with super-Gaussian tails on general graphs admit a regular extremal plus measure, obtained as a limit of finite-volume Gibbs measures with weakly growing boundary conditions.

Reference graph

Works this paper leans on

87 extracted references · 77 canonical work pages · cited by 2 Pith papers

  1. [1]

    Aizenman , D.J

    M. Aizenman , D.J. Barsky and R. Fern \'a ndez : The phase transition in a general class of I sing-type models is sharp. Journal of Statistical Physics , 47 : 500 343--374, 1987

  2. [2]

    Aizenman and H

    M. Aizenman and H. Duminil-Copin : Marginal triviality of the scaling limits of critical 4 D I sing and ^4_4 models. Annals of Mathematics , 194(1) : 500 163--235, 2021

  3. [3]

    Aizenman : Geometric analysis of ^4 fields and I sing models

    M. Aizenman : Geometric analysis of ^4 fields and I sing models. P arts I and II . Communications in Mathematical Physics , 86(1) : 500 1--48, 1982

  4. [4]

    A geometric perspective on the scaling limits of critical Ising and $\varphi^4_d$ models

    M. Aizenman : A geometric perspective on the scaling limits of critical I sing and ^4_d models . Preprint , available at arXiv:2112.04248, 2021

  5. [5]

    Ahlberg , V

    D. Ahlberg , V. Tassion and A. Teixeira : Sharpness of the phase transition for continuum percolation in R ^2 . Probability Theory and Related Fields , 172 : 500 525--581, 2018

  6. [6]

    Bauerschmidt , D.C

    R. Bauerschmidt , D.C. Brydges and G. Slade : Scaling limits and critical behaviour of the 4 -dimensional n -component | |^4 spin model. Journal of Statistical Physics , 157 : 500 692--742, 2014

  7. [7]

    Bauerschmidt , D.C

    R. Bauerschmidt , D.C. Brydges and G. Slade : Introduction to a R enormalisation G roup M ethod , volume 2242. Springer Nature, 2019

  8. [8]

    Bauerschmidt , B

    R. Bauerschmidt , B. Dagallier : Communications on Pure and Applied Mathematics , 77(3-4) : 500 2579--2612, 2024

Show all 87 references
  1. [9]

    Beffara and H

    V. Beffara and H. Duminil-Copin : The self-dual point of the two-dimensional random-cluster model is critical for q 1 . Probability Theory and Related Fields , 153(3-4) : 500 511--542, 2012

  2. [10]

    Bodineau , D

    T. Bodineau , D. Ioffe and Y. Velenik : Rigorous probabilistic analysis of equilibrium crystal shapes. Journal of Mathematical Physics , 41(3) : 500 1033--1098, 2000

  3. [11]

    Burton and M

    R.M. Burton and M. Keane : Density and uniqueness in percolation. Communications in Mathematical Physics , 121 : 500 501--505, 1989

  4. [12]

    Bodineau : Slab percolation for the Ising model

    T. Bodineau : Slab percolation for the Ising model . Probability Theory and Related Fields , 132 : 500 83--118, 2005

  5. [13]

    Bollob \'a s and O

    B. Bollob \'a s and O. Riordan : The critical probability for random Voronoi percolation in the plane is 1/2 . Probability Theory and Related Fields , 136(3) : 500 417--468, 2006

  6. [14]

    Benjamini and V

    I. Benjamini and V. Tassion : Homogenization via sprinkling. Annales de l'Institut Henri Poincar \'e -Probabilit \'e s and Statistiques , 53(2) : 500 997--1005, 2017

  7. [15]

    Brower and P

    R.C. Brower and P. Tamayo : Embedded dynamics for ^4 theory. Physical Review Letters , 62(10) : 500 1087, 1989

  8. [16]

    Cerf and \'A

    R. Cerf and \'A . Pisztora : On the wulff crystal in the I sing model. The Annals of Probability , 23(3) : 500 947--1017, 2000

  9. [17]

    Cesi , G

    F. Cesi , G. Guadagni , F. Martinelli and R.H. Schonmann : On the two-dimensional stochastic I sing model in the phase coexistence region near the critical point. Journal of Statistical Physics , 85 : 500 55--102, 1996

  10. [18]

    Chandra and T.S

    A. Chandra and T.S. Gunaratnam and H. Weber : Phase Transitions for ^4_3 . Communications in Mathematical Physics , 392(3) : 500 691--782, 2022

  11. [19]

    Chayes , L

    J.T. Chayes , L. Chayes and R.H. Schonmann : Exponential decay of connectivities in the two-dimensional I sing model. Journal of Statistical Physics , 49 : 500 433--445, 1987

  12. [20]

    Comets and R

    F. Comets and R. Fortet . Grandes d\'eviations pour des champs de Gibbs sur Z ^d . Comptes Rendus de l'Académie des Sciences. Série 1, Mathématique, 303: 500 511--513, 1986

  13. [21]

    Contreras , S

    D. Contreras , S. Martineau and V. Tassion : Supercritical percolation on graphs of polynomial growth. Duke Mathematical Journal , 173(4) : 500 745--806, 2024

  14. [22]

    Dembin and F

    B. Dembin and F. Severo : Supercitical sharpness for V oronoi percolation. To appear in Probability Theory and Related Fields , available at arXiv:2311.00555, 2023

  15. [23]

    Dembin and V

    B. Dembin and V. Tassion : Almost sharp sharpness for P oisson B oolean percolation. Preprint , available at arXiv:2209.00999, 2022

  16. [24]

    Deuschel and A

    J.-D. Deuschel and A. Pisztora : Surface order large deviations for high-density percolation. Probability Theory and Related Fields , 104 : 500 467--482, 1996

  17. [25]

    Dobrushin , R

    R.L. Dobrushin , R. Koteck \`y and S. Shlosman : Wulff construction: a global shape from local interaction , volume 104. American Mathematical Society Providence, 1992

  18. [26]

    Duminil-Copin : Lectures on the I sing and P otts models on the hypercubic lattice

    H. Duminil-Copin : Lectures on the I sing and P otts models on the hypercubic lattice. In Random Graphs, Phase Transitions, and the Gaussian Free Field: PIMS-CRM Summer School in Probability, Vancouver, Canada, June 5--30, 2017 , pages 35--161. Springer, 2019

  19. [27]

    Duminil-Copin , S

    H. Duminil-Copin , S. Goswami and A. Raoufi : Exponential decay of truncated correlations for the I sing model in any dimension for all but the critical temperature. Communications in Mathematical Physics , 374(2) : 500 891--921, 2020

  20. [28]

    Duminil-Copin , S

    H. Duminil-Copin , S. Goswami , P.-F. Rodriguez , F. Severo and A. Teixeira : Finite-range interlacements and couplings. To appear in The Annals of Probability , available at arXiv:2308.07303, 2023

  21. [29]

    Duminil-Copin , S

    H. Duminil-Copin , S. Goswami , P.-F. Rodriguez , F. Severo and A. Teixeira : Phase transition for the vacant set of random walks and random interlacements. Preprint , available at arXiv:2308.07919, 2023

  22. [30]

    Duminil-Copin , S

    H. Duminil-Copin , S. Goswami , P.-F. Rodriguez , F. Severo and A. Teixeira : A characterization of strong percolation via disconnection. Proceedings of the London Mathematical Society , 129(2) : 500 e12622, 2024

  23. [31]

    Duminil-Copin , S

    H. Duminil-Copin , S. Goswami , P.-F. Rodriguez and F. Severo : Equality of critical parameters for percolation of Gaussian free field level sets . Duke Mathematical Journal , 172(5) : 500 839 -- 913, 2023

  24. [32]

    Duminil-Copin , C

    H. Duminil-Copin , C. Garban and V. Tassion : Long-range order for critical B ook- I sing and B ook-percolation. Communications in Mathematical Physics , 404(3) : 500 1309--1339, 2023

  25. [33]

    Duminil-Copin and R

    H. Duminil-Copin and R. Panis : New lower bounds for the (near) critical I sing and ^4 models' two-point functions. Communications in Mathematical Physics , 406(3) : 500 , 2025

  26. [34]

    Durrett : Probability: theory and examples , Volume 49

    R. Durrett : Probability: theory and examples , Volume 49. Cambridge university press, 2019

  27. [35]

    Feldman , J

    J. Feldman , J. Magnen , V. Rivasseau and R. Sénéor : Construction and B orel summability of infrared ^4_4 by a phase space expansion. Communications in Mathematical Physics , 109 : 500 437--480, 1987

  28. [36]

    Fr \"o hlich and C.-E

    J. Fr \"o hlich and C.-E. Pfister : Semi-infinite Ising model: II . The wetting and layering transitions . Communications in Mathematical Physics , 112 : 500 51--74, 1987

  29. [37]

    Fr \"o hlich : On the triviality of _d^4 theories and the approach to the critical point in d>4 dimensions

    J. Fr \"o hlich : On the triviality of _d^4 theories and the approach to the critical point in d>4 dimensions. Nuclear Physics B , 200(2) : 500 281--296, 1982

  30. [38]

    Fr \"o hlich , R

    J. Fr \"o hlich , R. Israel , E.H. Lieb and B. Simon : Phase transitions and reflection positivity. I . G eneral theory and long-range lattice models. Communications in Mathematical Physics , 62(1) : 500 1--34, 1978

  31. [39]

    Fr \"o hlich , B

    J. Fr \"o hlich , B. Simon and T. Spencer : Infrared bounds, phase transitions and continuous symmetry breaking. Communications in Mathematical Physics , 50 (1) : 500 79--95, 1976

  32. [40]

    Gawedzki and A

    K. Gawedzki and A. Kupiainen : Massless lattice _4^4 theory: rigorous control of a renormalizable asymptotically free model. Communications in Mathematical Physics , 99 : 500 197--252, 1985

  33. [41]

    Glimm and A

    J. Glimm and A. Jaffe : Positivity of the ^4_3 hamiltonian. Fortschritte der Physik , 21(7) : 500 327--376, 1973

  34. [42]

    Glimm , A

    J. Glimm , A. Jaffe and T. Spencer : Phase transitions for ^4_2 quantum fields. Communications in Mathematical Physics , 45 : 500 203--216, 1975

  35. [43]

    Glimm and A

    J. Glimm and A. Jaffe : Quantum Physics: A Functional Integral Point of View . Springer New York, NY, 2012

  36. [44]

    Graham and G

    B. Graham and G. Grimmett : Random-cluster representation of the Blume--Capel model. Journal of Statistical Physics , 125 : 500 283--316, 2006

  37. [45]

    Grimmett and J.M

    G. Grimmett and J.M. Marstrand : The supercritical phase of percolation is well behaved. Proceedings of the Royal Society of London. Series A: Mathematical and Physical Sciences , 430(1879) : 500 439--457, 1990

  38. [46]

    Griffiths : Correlations in I sing ferromagnets

    R.B. Griffiths : Correlations in I sing ferromagnets. I . Journal of Mathematical Physics , 8(3) : 500 478--483, 1967

  39. [47]

    Grimmett : Percolation , Volume 321

    G. Grimmett : Percolation , Volume 321. Springer, 1999

  40. [48]

    Grimmett : The Random-Cluster Model , Volume 333

    G. Grimmett : The Random-Cluster Model , Volume 333. Springer, 2006

  41. [49]

    Gunaratnam , C

    T.S. Gunaratnam , C. Panagiotis , R. Panis and F. Severo : Random tangled currents for ^4 : translation invariant G ibbs measures and continuity of the phase transition. To appear in Journal of the European Mathematical Society , available at arXiv:2211.00319, 2022

  42. [50]

    Gunaratnam , D

    T.S. Gunaratnam , D. Krachun and C. Panagiotis : Existence of a tricritical point for the B lume-- C apel model on Z ^d . Probability and Mathematical Physics , 5(3) : 500 785--845, 2024

  43. [51]

    Hairer, A

    M. Hairer, A. M. Stuart, and S. J. Vollmer . Spectral gaps for a Metropolis--Hastings algorithm in infinite dimensions. 2014

  44. [52]

    Hara : A rigorous control of logarithmic corrections in four-dimensional ^4 spin systems: I

    T. Hara : A rigorous control of logarithmic corrections in four-dimensional ^4 spin systems: I . T rajectory of effective H amiltonians. Journal of Statistical Physics , 47 : 500 57--98, 1987

  45. [53]

    Hu : Polynomial rate of relaxation for the Glauber dynamics of infinite-volume critical Ising model

    H. Hu : Polynomial rate of relaxation for the Glauber dynamics of infinite-volume critical Ising model. Electronic Communications in Probability , 30 : 500 1--12, 2025

  46. [54]

    Ioffe : Exact large deviation bounds up to T_c for the I sing model in two dimensions

    D. Ioffe : Exact large deviation bounds up to T_c for the I sing model in two dimensions. Probability Theory and Related Fields , 102 : 500 313--330, 1995

  47. [55]

    Kesten : The critical probability of bond percolation on the square lattice equals 1/2

    H. Kesten : The critical probability of bond percolation on the square lattice equals 1/2 . Communications in Mathematical Physics , 74(1) : 500 41--59, 1980

  48. [56]

    K \"o hler-Schindler and V

    L. K \"o hler-Schindler and V. Tassion : Crossing probabilities for planar percolation. Duke Mathematical Journal , 172(4) : 500 809--838, 2023

  49. [57]

    Krachun , C

    D. Krachun , C. Panagiotis and R. Panis : Scaling limit of the cluster size distribution for the random current measure on the complete graph. Electronic Journal of Probability , 29 : 500 1--24, 2024

  50. [58]

    Lammers and S

    P. Lammers and S. Ott : Delocalisation and absolute-value-FKG in the solid-on-solid model . Probability Theory and Related Fields , 188 : 500 63--87, 2024

  51. [59]

    Lebowitz and E

    J.L. Lebowitz and E. Presutti : Statistical mechanics of systems of unbounded spins. Communications in Mathematical Physics , 50(3) : 500 195--218, 1976

  52. [60]

    Lebowitz : Coexistence of phases in I sing ferromagnets

    J.L. Lebowitz : Coexistence of phases in I sing ferromagnets. Journal of Statistical Physics , 16(6) : 500 463--476, 1977

  53. [61]

    Lebowitz and C.-E

    J.L. Lebowitz and C.-E. Pfister : Surface tension and phase coexistence. Physical Review Letters , 46(15) : 500 1031, 1981

  54. [62]

    M. Ledoux . Logarithmic Sobolev inequalities for unbounded spin systems revisited. S \'e minaire de Probabilit \'e s XXXV , : 500 167--194, 2001

  55. [63]

    Liggett , R.H

    T.M. Liggett , R.H. Schonmann and A.M. Stacey : Domination by product measures. The Annals of Probability , 25(1) : 500 71--95, 1997

  56. [64]

    Lubetzky and A

    E. Lubetzky and A. Sly : Cutoff for the Ising model on the lattice. Inventiones Mathematicae , 191 : 500 719--755, 2013

  57. [65]

    Lubetzky and A

    E. Lubetzky and A. Sly : Information percolation and cutoff for the stochastic Ising model. Journal of the American Mathematical Society , 29 : 500 729--774, 2016

  58. [66]

    Lubetzky and A

    E. Lubetzky and A. Sly : Critical Ising on the square lattice mixes in polynomial time. Communications in Mathematical Physics , vol. 313, no. 3, pp. 815--836, 2012

  59. [67]

    Martinelli : Lectures on Glauber dynamics for discrete spin models

    F. Martinelli : Lectures on Glauber dynamics for discrete spin models. Lectures on probability theory and statistics (Saint-Flour, 1997) , 1717 : 500 93--191, 1999

  60. [68]

    Messager , S

    A. Messager , S. Miracle-Sol \'e and C.-E. Pfister : On classical ferromagnets with a complex external field. Journal of Statistical Physics , 34 : 500 279--286, 1984

  61. [69]

    S. P. Meyn and R. L. Tweedie . Markov chains and stochastic stability. Springer Science & Business Media, 2012

  62. [70]

    Nelson : A quartic interaction in two dimensions

    E. Nelson : A quartic interaction in two dimensions. In Mathematical Theory of Elementary Particles, (Dedham, Mass., 1965) , pages 69--73, 1966

  63. [71]

    S. Olla . Large deviations for Gibbs random fields. Probability Theory and Related Fields, 77: 500 343--357, 1988

  64. [72]

    Panis : Triviality of the scaling limits of critical I sing and ^4 models with effective dimension at least four

    R. Panis : Triviality of the scaling limits of critical I sing and ^4 models with effective dimension at least four. Preprint , available at arXiv:2309.05797, 2023

  65. [73]

    Panis : Applications of P aths E xpansions to S tatistical M echanics

    R. Panis : Applications of P aths E xpansions to S tatistical M echanics . PhD thesis, Université de Genève, 2024

  66. [74]

    Pisztora : Surface order large deviations for I sing, P otts and percolation models

    A. Pisztora : Surface order large deviations for I sing, P otts and percolation models. Probability Theory and Related Fields , 104 : 500 427--466, 1996

  67. [75]

    Roberts and R.L

    G.O. Roberts and R.L. Tweedie : Exponential Convergence of Langevin Distributions and Their Discrete Approximations. Bernoulli , 2 : 500 341--363, 1996

  68. [76]

    G. O. Roberts and R. L. Tweedie . Geometric L^2 and L^1 convergence are equivalent for reversible Markov chains. Journal of Applied Probability, 38A: 500 37--41, 2001

  69. [77]

    G. O. Roberts and R. L. Tweedie . Geometric convergence and central limit theorems for multidimensional Hastings and Metropolis algorithms. Biometrika, 83: 500 95--110, 1996

  70. [78]

    G. O. Roberts and J. S. Rosenthal . General state space Markov chains and MCMC algorithms. 2004

  71. [79]

    Ruelle : Superstable interactions in classical statistical mechanics

    D. Ruelle : Superstable interactions in classical statistical mechanics. Communications in Mathematical Physics , 18(2) : 500 127--159, 1970

  72. [80]

    Sakai : Application of the lace expansion to the ^4 model

    A. Sakai : Application of the lace expansion to the ^4 model. Communications in Mathematical Physics , 336 : 500 619--648, 2015

  73. [81]

    R. H. Schonmann . Second order large deviation estimates for ferromagnetic systems in the phase coexistence region. Communications in Mathematical Physics, 112: 500 409--422, 1987

  74. [82]

    Severo : Sharp phase transition for Gaussian percolation in all dimensions

    F. Severo : Sharp phase transition for Gaussian percolation in all dimensions. Annales Henri Lebesgue , 5 : 500 987--1008, 2022

  75. [83]

    Severo : Slab percolation for the I sing model revisited

    F. Severo : Slab percolation for the I sing model revisited. Electronic Communications in Probability , 29 : 500 1--11, 2024

  76. [84]

    Sokal : An alternate constructive approach to the ^4_3 quantum field theory, and a possible destructive approach to ^4_4

    A.D. Sokal : An alternate constructive approach to the ^4_3 quantum field theory, and a possible destructive approach to ^4_4 . Annales de l'IHP Physique Théorique , 37 (4) : 500 317--398, 1982

  77. [85]

    Slade and A

    G. Slade and A. Tomberg : Critical correlation functions for the 4 -dimensional weakly self-avoiding walk and n -component | |^4 model. Communications in Mathematical Physics , 342 : 500 675--737, 2016

  78. [86]

    Strassen : The existence of probability measures with given marginals

    V. Strassen : The existence of probability measures with given marginals. The Annals of Mathematical Statistics , 36(2) : 500 423--439, 1965

  79. [87]

    Wells : Some moment inequalities and a result on multivariate unimodality

    D.R. Wells : Some moment inequalities and a result on multivariate unimodality. Indiana University, 1977

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.