Pith. sign in

REVIEW 5 minor 64 references

The Lee-Yang property of the Blume-Capel model

T0 review · 0 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Ferromagnetic coupling can force the Blume-Capel partition function's zeros onto the imaginary axis.

desk verdict A sound, modest extension of Lee-Yang theory to the Blume-Capel model with strong anisotropy, based on a dimer-decomposition trick; worth publishing after small fixes. read the letter →

arxiv 2607.16958 v1 pith:FVC7RG4T submitted 2026-07-18 math-ph cond-mat.stat-mechmath.MP

Yuri Kozitsky , Yurij Holovatch This is my paper · ORCID
classification math-phcond-mat.stat-mechmath.MP MSC 82B2082B2630C15
keywords Blume-CapelmodelLee-YangtheorempartitionfunctionzerosstableentirefunctionsLieb-Sokalferromagneticinteractionsingle-ionanisotropydimerdecomposition
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 aims to extend the Lee-Yang theorem to the Blume-Capel model in a regime where the standard single-spin criterion fails. In the Blume-Capel model, the single-ion anisotropy term makes the single-spin partition function lose the Lee-Yang property once βΔ exceeds ln 2, so the classical Lieb-Sokal theorem can no longer guarantee the property for the full partition function. The authors prove that a sufficiently strong ferromagnetic interaction can overcome this failure: for any even set of spins that can be paired into dimers with coupling at least κ, all zeros of the full partition function are purely imaginary whenever e^{2βΔ}/4 ≤ cosh κ. This is the first rigorous demonstration that ferromagnetic interaction can induce the Lee-Yang property. If correct, it makes the full machinery of Lee-Yang theory available for the Blume-Capel model in that parameter range.

What carries the argument

The proof pivots on a dimer decomposition of the interaction matrix. The matrix K is split into a dimer part K' that carries exactly the uniform coupling κ along a chosen perfect matching, and a residual nonnegative part K''. One first proves stability for the factorized dimer function G = ∏ Ψ(x_{i_k}, x_{j_k}), where Ψ is the two-spin partition function of a dimer, and then applies the Lieb-Sokal theorem to the residual interaction to lift that stability to F. The key identity reduces Ψ to a factorized trigonometric form: Ψ = 4 e^{-2βΔ + κ} (c_+ + ω_+ c_-)(c_+ + ω_- c_-), with c_± = cosh((x_i ± x_j)/2) and ω_± = e^{-κ}(θ ± √(θ²−1)). The condition θ² ≤ cosh κ ensures 0 < ω_- < ω_+ < 1, which

What would settle it

Take a four-site periodic chain with nearest-neighbor coupling J and anisotropy Δ satisfying e^{2βΔ}/4 ≤ cosh(βJ); the theorem asserts all zeros of Z_4 are purely imaginary. A single computed zero off the imaginary axis in that parameter range would refute the statement.

Watch

Extended reading notes

Core claim

The paper's central result is a stability theorem for the differential-operator action on single-spin partition functions. Let N = 2M, let Φ be the product of N single-spin partition functions Z_1(x) = 1 + 2 e^{-βΔ} cosh x, and let K be a symmetric nonnegative matrix whose entries satisfy K_{i_k,j_k} ≥ κ > 0 for a partition of the indices into M disjoint pairs. Then the function F(x) = exp(½ Σ K_{ij} D_i D_j) Φ is stable — meaning it does not vanish when all arguments have positive real part — provided e^{2βΔ}/4 = θ² ≤ cosh κ. Stability of this symmetric function implies that the Blume-Capel partition function Z_N(h) = F(h,...,h) has only purely imaginary zeros. For the nearest-neighbor mode

Load-bearing premise

The argument depends on the existence of a perfect matching of the spin set into pairs whose ferromagnetic coupling is uniformly bounded below by a positive κ; if no such dimer decomposition exists, the proof gives nothing.

Editorial extensions

If this is right

  • For the nearest-neighbor Blume-Capel model on Z^d, the partition function on any parallelepiped with an even number of sites in one direction has purely imaginary zeros whenever e^{2βΔ}/4 ≤ cosh(βJ).
  • The limiting free energy is analytic in the complex magnetic field for Re h ≠ 0, provided the thermodynamic limit is taken along such even parallelepipeds with a uniform lower bound on the coupling.
  • The same construction applies to long-range interactions by taking κ = β times the largest coupling in the direction of a matched chain.
  • The result gives a sufficient condition; violating it does not imply loss of the Lee-Yang property, and numerical examples in one dimension suggest the true boundary may lie above the proven curve.

Reading between the lines

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

  • One might expect the dimer condition to be replaceable by a more global condition: the proof uses only the two-spin stability of a single strongly coupled pair, so any decomposition into small stable clusters of fixed size should work with an appropriate cluster stability lemma.
  • The same mechanism could apply to other spin models where the single-spin partition function loses the Lee-Yang property but the interaction can compensate, such as higher-spin Ising models with single-ion anisotropy.
  • The theorem suggests a possible boundary effect: for fixed βΔ > ln 2, there may be a sharp critical J_c(Δ) above which the Lee-Yang property holds; the current bound gives a sufficient J, and numerical evidence indicates the true threshold is close.
  • A practical test would be to compute the zero set of the finite-volume partition function for small systems at parameters just above the proven curve, which could either support the conjecture that the bound is near-sharp or reveal structure the dimer argument misses.
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

0 major / 5 minor

Summary. The paper addresses the Lee-Yang property for the spin-1 Blume-Capel model when the single-spin partition function fails to have it (βΔ > ln 2). The main result (Section 2, Statement) is: for N = 2M, if Φ = ∏ Z_1(x_i) and the symmetric ferromagnetic interaction matrix K satisfies K_{ij} ≥ 0 and admits a perfect matching with uniform lower bound K_{i_k j_k} ≥ κ > 0, then F = exp(½∑ K_{ij} D_i D_j) Φ is stable whenever e^{2βΔ}/4 = θ² ≤ cosh κ. Consequently, for the nearest-neighbor Blume-Capel model on Z^d, finite-volume partition functions on even-length parallelepipeds have purely imaginary zeros in h whenever e^{2βΔ}/4 ≤ cosh(βJ). The proof splits K into a dimer part K′ and a remainder K″, computes the two-spin trace exactly, proves the stability of the dimer factor by an explicit hyperbolic-function argument, and then uses the Lieb-Sokal theorem to add K″.

Significance. If correct, the result is a first rigorous example in which ferromagnetic interactions restore the Lee-Yang property under conditions where the single-spin condition fails. The proof is transparent and mostly elementary; its key ingredients are the dimer decomposition and the two-spin stability calculation. The theorem is a sufficient condition, and the limitations (perfect matchability, uniform lower bound, even number of sites) are stated explicitly and honestly. The condition (8) is falsifiable and the authors compare it with known one-dimensional numerical data. The paper is likely to be of interest to mathematical physicists working on Lee-Yang theory and the Blume-Capel model.

minor comments (5)
  1. [Eq. (6) and definition of θ] The displayed chain 1+e^{-βΔ}(z+z^{-1}) = z^{-1}(z^2+2θz+1) is not an identity. With θ=e^{βΔ}/2, the correct relation is Ξ_1(z)=e^{-βΔ}z^{-1}(z^2+2θz+1). The zeros in (7) are correct, and the error does not affect the proof, but it should be corrected.
  2. [Eqs. (6), (12), (20)] The parameter θ is defined inconsistently: Eq. (6) and the text after Eq. (19) define θ=e^{βΔ/2}, whereas Eq. (12) and the trace calculation (20) require θ=e^{βΔ}/2. Please make the definition uniform.
  3. [after Eq. (7)] For θ>1 it is stated that both zeros z_± are real and lie outside the unit circle. In fact, one zero lies inside and one outside. The needed conclusion is only that they are not on the unit circle, so the statement should be rephrased.
  4. [Section 2, proof, Eq. (13)] The sentence 'pick positive κ ≤ κ that verifies' uses the same symbol κ for the lower bound from (11) and for the chosen value arccosh θ². Use distinct notation and state explicitly that the chosen value must not exceed the given uniform bound.
  5. [Statement and Applications] The Statement itself does not explicitly mention symmetry of K or of F, although symmetry is needed to pass from stability to purely imaginary zeros of Z_N(h)=F(h,...,h). This should be stated or remarked upon for clarity.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the dimer-split stability proof is a direct trace calculation plus the external Lieb-Sokal theorem; condition (12) is derived, not assumed.

full rationale

The paper's main derivation is not circular. The central Statement is proved by splitting K = K' + K''. The dimer part G is handled by an explicit trace computation (Eqs. (18)-(20)) in which Psi is shown stable by elementary inequalities on omega_+/- and the contradictory inequalities (25)-(26); the condition e^{2βΔ}/4 ≤ cosh κ arises from this calculation (with cosh κ̄ = θ^2 in Eq. (13)) rather than being imposed as the desired conclusion. The remaining K'' is nonnegative by condition (c), so the Lieb-Sokal theorem [25], an external theorem with explicit hypotheses, transfers stability. No parameter is fitted to any data; the lattice-model criterion (8) is derived as a corollary of the theorem, not fitted to its output. The self-citations [20], [21], and [41] are used for background or for the standard technical fact that infinite-order differential operators preserve exponential-type entire functions; they do not supply the Lee-Yang conclusion or the stability criterion. The limitations of condition (c) — perfect matchability, even parallelepipeds, and exclusion of the Curie-Weiss J/N interaction — are explicitly acknowledged and are genuine restrictions rather than circular assumptions. I could not find a step in which the claimed result reduces, by construction or by self-citation, to its own input; therefore the appropriate finding is no circularity.

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

No free parameters are fitted and no new entities are introduced. The central claim rests on the external Lieb-Sokal theorem, standard entire-function theory, the three-state BC Hamiltonian, and the stated perfect-matching hypothesis.

assumptions (4)
  • standard math Lieb-Sokal theorem: if Φ is stable and K_ij≥0 for all i,j, then exp(½ΣK_ijD_iD_j)Φ is stable
    Imported from [25]; used to propagate stability after the dimer decomposition (Eqs. (10), (17)). It is a published theorem, not an assumption of the paper.
  • standard math Stability/entire-function framework: exponential-type entire functions, Hadamard representation, zeros of symmetric stable functions on imaginary axis
    Standard complex analysis used throughout; cited to [40] and [32].
  • domain assumption Single-spin state space S_i∈{-1,0,+1} and Hamiltonian (1) with J_ij≥0, Δ real
    The entire calculation is for the three-state Blume-Capel model; trace formulas (5), (19) depend on this.
  • domain assumption Perfect-matching condition (c), Eq. (11): sites can be partitioned into dimers with K_{i_k,j_k}≥κ>0
    This is a hypothesis the model/geometry must satisfy; the theorem does not hold (or is not proved) without it, as the Curie-Weiss exclusion shows.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Lee-Yang property of the Blume-Capel model." pith.science (2026). https://pith.science/paper/FVC7RG4T

@misc{pith2026260716958,
  author       = {Pith},
  title        = {Pith review of: The Lee-Yang property of the Blume-Capel model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FVC7RG4T}},
  note         = {Machine review of arXiv:2607.16958}
}
abstract

The Lee-Yang theory is based on the theorem concerning a property of the ferromagnetic Ising model partition function proved by T. D. Lee and C. N. Yang in 1952. It provides powerful tools for understanding the very nature of phase transitions and critical phenomena in various spin and similar models. Sometimes, this theory is applied to models for which the theorem's validity has not been proved. By the main result of E. H. Lieb and A. D. Sokal, Commun. Math. Phys. 80, 153 (1981), for a given ferromagnetic model, this validity is guaranteed by the same property of the single-spin partition function. Due to the anisotropy term $\sum_i \Delta S_i^2$, the single-spin partition function of the Blume-Capel model fails to have the Lee-Yang property for $\beta \Delta> \ln 2$. In this article, we show that the ferromagnetic interaction in such a model can induce the Lee-Yang property, even for these values of $\beta \Delta$. To the best of our knowledge, it is the first result of this kind.

Figures

Figures reproduced from arXiv: 2607.16958 by the authors.

Figure 1
Figure 1. FIG. 1. Phase diagram of the Blume-Capel model in the [PITH_FULL_IMAGE:figures/full_fig_p001_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

64 extracted references · 2 linked inside Pith

  1. [13]

    Then each Vn can be taken as a collection of parallel paths of nearest neigh- bors that contain an even number of sites

    defined on Zd with a nearest-neighbor interaction: Jij = J for |i −j| = 1, and Jij = 0 otherwise. Then each Vn can be taken as a collection of parallel paths of nearest neigh- bors that contain an even number of sites. In particular, Vn can be a parallelepiped of length 2 L along the OX axis. Since an even-length path is perfectly matchable, we can match p...

  2. [1]

    However, other discrete infinite structures are used as the underlying sets of such models

    are taken over the pairs of sites and over the sites of a d-dimensional hyper-cubic lattice Zd, respectively. However, other discrete infinite structures are used as the underlying sets of such models. Both BC and BEG models, including their quantum extensions[7], have rich phase diagrams, studied in [2– 4, 8–15], and in many other works, see also Fig

  3. [2]

    Here HN is the corresponding Hamiltonian and Tr denotes the sum- mation over all relevant spin variables

    The version of ( 1) with ∆ = 0 and Jij ≥ 0 has the Lee-Yang property for all values of spin S: for an arbitrary portion of N spins, all zeros of the function ΞN (z) = Tr [ z ∑ i≤N Si exp (−βHN ) ] , (2) lie on the unit circle in the complex plane. Here HN is the corresponding Hamiltonian and Tr denotes the sum- mation over all relevant spin variables. For...

    arXiv 2026

  4. [3]

    ( 2), ZN (h) = Ξ N (eh) (3) lie on the imaginary axis of the complex plane

    can also be formulated as the statement that all zeros of the partition function, cf. ( 2), ZN (h) = Ξ N (eh) (3) lie on the imaginary axis of the complex plane. By ( 1) – (3), one can write ZN (h) = exp   ∑ ⟨i,j⟩:1≤i,j≤N βJijDiDj   ∏ 1≤i≤N Z1(xi) ⏐ ⏐ ⏐ ⏐ xi=h , (4) where Di =∂/∂x i and Z1(x) = Tre−β∆S2+xS = 1 + 2e−β∆ coshx. (5) By the Lieb-Sokal theo...

  5. [4]

    In this article, we demonstrate that such a possibility does exist

    re- sults in the corresponding property of ZN even ifZ1 does not have it. In this article, we demonstrate that such a possibility does exist. In particular, by our result, the following is true. Consider the model (

  6. [5]

    At the same time, cf

    does. At the same time, cf. ( 3), by ( 5) we have Ξ1(z) = Tr [ zSe−β∆S2] = 1 +e−β∆(z +z−1) (6) = z−1Pθ(z) = z−1(z2 + 2θz + 1), where θ =eβ∆/2. Then the zeros of Ξ 1 are z± = −θ ± √ θ2 − 1. (7) Forθ ≤ 1, they satisfy |z±| = 1, and thus the zeros of Z1 are purely imaginary. For Jij ≥ 0, according to the Lieb-Sokal theorem, this implies that also ZN has pure...

  7. [6]

    Zierenberg, N

    J. Zierenberg, N. G. Fytas, and W. Janke, Parallel mul- ticanonical study of the three-dimensional Blume-Capel model, Phys. Rev. E 91, 032126 (2015)

    2015

  8. [7]

    This means that the desired property of ZN is no longer guaranteed by the Lieb-Sokal theorem or any other statement of this kind

    are real and lie outside the unit circle. This means that the desired property of ZN is no longer guaranteed by the Lieb-Sokal theorem or any other statement of this kind. In the Lieb-Sokal theorem, the demand that Z1 has only imaginary zeros is not a necessary condition. Hence, there may be the possibility that the application of the differential operator in (

Show all 64 references
  1. [8]

    on Zd with a nearest-neighbor interaction J >0. For an arbitrary in- tegerL, letVL be a parallelepiped subset of the lattice Zd consisting of 2L-long strings of neighboring sites parallel to one of the axes, and let ZVL be the partition function of this model as in ( 4), ( 5),...

  2. [9]

    Using in ( 10) Φ = ˆΦ given in ( 9) and ( 5), we conclude that the corresponding F is stable and symmetric; hence, ZN (h) = F (h,h,...,h ) has only imaginary zeros[42] for θ ≤ 1

    is stable, then F is also stable whenever Ki,j ≥ 0 for all i,j . Using in ( 10) Φ = ˆΦ given in ( 9) and ( 5), we conclude that the corresponding F is stable and symmetric; hence, ZN (h) = F (h,h,...,h ) has only imaginary zeros[42] for θ ≤ 1. By means of the Lieb-Sokal theore...

  3. [10]

    The key issue is their stability

    is an exponential-type entire function if Φ is such a function. The key issue is their stability. According to the Lieb-Sokal theorem, the following is true: if Φ in (

  4. [11]

    Then the stability of F will follow by the Lieb-Sokal the- orem and the positivity in ( 15), provided that G given in (16) is stable

    and ( 14) we get F (x1,...,x 2M ) (17) = exp   1 2 ∑ 1≤i,j≤2M K ′′ i,jDiDj  G(x1,...,x 2M ). Then the stability of F will follow by the Lieb-Sokal the- orem and the positivity in ( 15), provided that G given in (16) is stable. By ( 16),(5), and ( 6), we get G(x1,...,x 2M )...

  5. [12]

    The proof Naturally, we can limit ourselves to considering the case of θ >1

    is again a sufficient condition – its violation does not yet imply the lack of the Lee-Yang property. The proof Naturally, we can limit ourselves to considering the case of θ >1. Fix such a θ and pick positive κ ≤κ that verifies, cf. ( 12), cosh κ =θ2. (13) Then we split Ki,j =K ...

  6. [14]

    the number of neighboring sites outside Vn

    and (12). Clearly, any sequence of suchVn satisfies the van Howe condition: the ratio (“the number of neighboring sites outside Vn”)/(“the number of sites in Vn”) tends to zero as n → ∞ ; see [23, Chap- ter 2]. The same approach can also be applied if the parallelepipeds Vn and...

  7. [15]

    based on trees, hi- erarchical lattices, or other graphs; see [44–46]. DISCUSSION AND REMARKS For the Ising model with S = 1/2, the Lee-Yang the- orem implies that zero is the only point on the real line where the limiting free energy can be nonanalytic as a function of h. At ...

  8. [16]

    Criticality of complex systems: fundamental aspects and applications

    and choose the units of β such that β = 1/JT . Then we define D = ∆/J and set its dependence on T assuming equality in ( 8). This yields the function D(T ) = T 2 [ ln ( e1/T +e−1/T ) + ln 2 ] , (31) which is plotted as a solid black line in Fig. 1. The dashed line there represe...

    2023

  9. [17]

    Blume, Theory of the first-order magnetic phase change in UO 2, Phys

    M. Blume, Theory of the first-order magnetic phase change in UO 2, Phys. Rev. 141, 517 (1966)

    1966

  10. [18]

    Capel, On the possibility of first-order phase transi- tions in Ising systems of triplet ions with zero-field split- ting, Physica 32, 966 (1966)

    H. Capel, On the possibility of first-order phase transi- tions in Ising systems of triplet ions with zero-field split- ting, Physica 32, 966 (1966)

    1966

  11. [19]

    Blume, V

    M. Blume, V. J. Emery, and R. B. Griffiths, Ising model for the λ transition and phase separation in He3-He4 mix- tures, Phys. Rev. A 4, 1071 (1971)

    1971

  12. [20]

    Honchar, M

    Y. Honchar, M. Krasnytska, B. Berche, Y. Holo- vatch, and R. Kenna, Partition function zeros for the Blume–Capel model on a complete graph, Low Temperature Physics 51, 567 (2025)

    2025

  13. [21]

    Zierenberg, N

    J. Zierenberg, N. G. Fytas, M. Weigel, W. Janke, and A. Malakis, Scaling and universality in the phase diagram of the 2D Blume-Capel model, Eur. Phys. J.: ST 226, 789 (2017)

    2017

  14. [22]

    Albeverio, Y

    S. Albeverio, Y. Kondratiev, Y. Kozitsky, and M. R¨ ockner,The statistical mechanics of quantum lat- tice systems: A path integral approach , Vol. 8 (European Mathematical Society, 2009)

    2009

  15. [23]

    Torrico, D

    J. Torrico, D. C. Carvalho, and J. A. Plas- cak, Quantum spin-2 ferromagnetic Blume-Capel model in the presence of a transverse crystal field, Phys. Rev. E 113, 064110 (2026)

    2026

  16. [24]

    C. J. Silva, A. A. Caparica, and J. A. Plascak, Wang- Landau Monte Carlo simulation of the Blume-Capel model, Phys. Rev. E 73, 036702 (2006)

    2006

  17. [25]

    Malakis, A

    A. Malakis, A. N. Berker, I. A. Hadjiagapiou, N. G. Fy- tas, and T. Papakonstantinou, Multicritical points and crossover mediating the strong violation of universality: Wang-Landau determinations in the random-bond d = 2 Blume-Capel model, Phys. Rev. E 81, 041113 (2010)

    2010

  18. [26]

    Moueddene, N

    L. Moueddene, N. G. Fytas, and B. Berche, Critical and tricritical behavior of the d = 3 Blume-Capel model: Results from small-scale Monte Carlo simula- tions, Phys. Rev. E 110, 064144 (2024)

    2024

  19. [27]

    Moueddene, N

    L. Moueddene, N. G Fytas, Y. Holovatch, R. Kenna, and B. Berche, Critical and tricritical singu- larities from small-scale Monte Carlo simula- tions: the Blume–Capel model in two dimensions, J. Stat. Mech. 2024, 023206 (2024)

    2024

  20. [28]

    L. A. F. Almeida and D. Dalmazi, The Yang–Lee zeros of the 1D Blume–Capel model on connected and non- connected rings, J. Phys. A 38, 6863 (2005)

    2005

  21. [29]

    R. G. Ghulghazaryan, K. G. Sargsyan, and N. S. Ananikian, Partition function zeros of the one- dimensional Blume-Capel model in transfer matrix for- malism, Phys. Rev. E 76, 021104 (2007)

    2007

  22. [30]

    By ( 5), the latter means that βc is the unique so- lution of the equation β = 1 +θ = 1 +eβ∆/2

    is M = 0. By ( 5), the latter means that βc is the unique so- lution of the equation β = 1 +θ = 1 +eβ∆/2. For β >βc, (30) has a positive solution, y∗(β) = βM (β), that maxi- mizesE in (29), which is a continuous function of β such that M (β) → 0 as β → βc. The latter follows b...

  23. [31]

    M. Jeon, A. Vasilopoulos, D.-H. Kim, V. Mart´ ın-Mayor, and N. G. Fytas, Cluster dynamics stay fast-until tricriticality (2026), arXiv:2605.07867 [cond-mat.stat-mech]

    2026 arXiv

  24. [32]

    Mataragkas, A

    D. Mataragkas, A. Vasilopoulos, N. G. Fytas, and D.-H. Kim, Tricriticality and finite-size scal- ing in the triangular Blume-Capel ferromagnet, Phys. Rev. Res. 7, 013214 (2025)

    2025

  25. [33]

    Wei and R.-B

    B.-B. Wei and R.-B. Liu, Lee-Yang zeros and critical times in decoherence of a probe spin coupled to a bath, Phys. Rev. Lett. 109, 185701 (2012)

    2012

  26. [34]

    X. Peng, H. Zhou, B.-B. Wei, J. Cui, J. Du, and R.- B. Liu, Experimental observation of Lee-Yang zeros, Phys. Rev. Lett. 114, 010601 (2015)

    2015

  27. [35]

    H. Gao, K. Wang, L. Xiao, M. Nakagawa, N. Matsumoto, D. Qu, H. Lin, M. Ueda, and P. Xue, Experimental ob- servation of the Yang-Lee quantum criticality in open quantum systems, Phys. Rev. Lett. 132, 176601 (2024)

    2024

  28. [36]

    Dunlop and C

    F. Dunlop and C. M. Newman, Multicom- 7 ponent field theories and classical rotators, Commun. Math. Phys. 44, 223 (1975)

    1975

  29. [37]

    Y. V. Kozitsky, Hierarchical ferromagnetic vector spin model possessing the Lee-Yang property. Ther- modynamic limit at the critical point and above, J. Stat. Phys. 87, 799 (1997)

    1997

  30. [38]

    Kozitsky, The Lee-Yang property of isotropic vector ferromagnets and lattice fields (2026), arXiv:2603.18675 [math-ph]

    Y. Kozitsky, The Lee-Yang property of isotropic vector ferromagnets and lattice fields (2026), arXiv:2603.18675 [math-ph]

    2026

  31. [39]

    Ruelle, Statistical Mechanics

    D. Ruelle, Statistical Mechanics. Rigorous Results (W. A. Benjamin, Inc., Reading, Massachusetts, 1969) p. 233

    1969

  32. [40]

    Glimm and A

    J. Glimm and A. Jaffe, Correlation in- equalities and the Lee-Yang theorem, in Quantum Physics: A Functional Integral Point of View (Springer New York, New York, NY, 1987) pp. 56–72

    1987

  33. [41]

    E. H. Lieb and A. D. Sokal, A general Lee-Yang theo- rem for one-component and multicomponent ferromag- nets, Commun. Math. Phys. 80, 153 (1981)

    1981

  34. [42]

    Biskup, C

    M. Biskup, C. Borgs, J. T. Chayes, L. J. Klein- waks, and R. Koteck´ y, General theory of Lee-Yang zeros in models with first-order phase transitions, Phys. Rev. Lett. 84, 4794 (2000)

    2000

  35. [43]

    I. Bena, M. Droz, and A. Lipowski, Statisti- cal mechanics of equilibrium and nonequilib- rium phase transitions: the Yang–Lee formalism, Int. J. Mod. Phys. B 19, 4269 (2005)

    2005

  36. [44]

    Fr¨ ohlich and P.-F

    J. Fr¨ ohlich and P.-F. Rodriguez, Some applications of the Lee-Yang theorem, J. Math. Phys. 53, 095218 (2012)

    2012

  37. [45]

    Ba¸ sar, Universality, Lee-Yang singularities, and series expansions, Phys

    G. Ba¸ sar, Universality, Lee-Yang singularities, and series expansions, Phys. Rev. Lett. 127, 171603 (2021)

    2021

  38. [46]

    D. H. Marchetti, M. Requardt, and W. F. Wreszinski, A mathematical theory of the critical point of ferromagnetic Ising systems, Physics Reports 1079, 1 (2024)

    2024

  39. [47]

    Simon, Phase Transitions in the Theory of Lattice Gases , New Mathematical Monographs, Vol

    B. Simon, Phase Transitions in the Theory of Lattice Gases , New Mathematical Monographs, Vol. 52 (Cambridge University Press, Cambridge, 2026) p. 644

    2026

  40. [48]

    Borcea and P

    J. Borcea and P. Br¨ and´ en, The Lee-Yang and P´ olya- Schur programs. I. Linear operators preserving stability, Inventiones mathematicae 177, 541 (2009)

    2009

  41. [49]

    Borcea and P

    J. Borcea and P. Br¨ and´ en, P´ olya-Schur master the- orems for circular domains and their boundaries, Annals of Mathematics 170, 465 (2009)

    2009

  42. [50]

    Br¨ and´ en and J

    P. Br¨ and´ en and J. Huh, Lorentzian polynomials, Annals of Mathematics 192, 821 (2020)

    2020

  43. [51]

    C. M. Newman, Fourier transforms with only real zeros, Proc. Am. Math. Soc. 61, 245 (1976)

    1976

  44. [52]

    Wolf, Will a physicist prove the Riemann hypothesis?, Rep

    M. Wolf, Will a physicist prove the Riemann hypothesis?, Rep. Prog. Phys. 83, 036001 (2020)

    2020

  45. [53]

    Zhang, Equivalence between the zero dis- tributions of the Riemann zeta function and a competing two-dimensional Ising model, Phys

    Z. Zhang, Equivalence between the zero dis- tributions of the Riemann zeta function and a competing two-dimensional Ising model, Phys. Lett. A 591, 131910 (2026)

    2026

  46. [54]

    Deger, F

    A. Deger, F. Brange, and C. Flindt, Lee-Yang the- ory, high cumulants, and large-deviation statis- tics of the magnetization in the Ising model, Phys. Rev. B 102, 174418 (2020)

    2020

  47. [55]

    R. B. Griffiths, Rigorous results for Ising ferromagnets of arbitrary spin, J. Math. Phys. 10, 1559 (1969)

    1969

  48. [56]

    B. Y. Levin, Lectures on entire functions , Vol. 150 (American Mathematical Soc., 1996)

    1996

  49. [57]

    Kozitsky, P

    Y. Kozitsky, P. Oleszczuk, and L. Wo/suppress lowski, Infinite or- der differential operators in spaces of entire functions, J. Math. Anal. Appl. 277, 423 (2003)

    2003

  50. [58]

    An example can be φ(x) = ex

    A stable exponential-type entire function of x ∈ C, φ can avoid zero, i.e., φ(x) ̸= 0 for all x ∈ C. An example can be φ(x) = ex. The fact that ZN has zeros follows from its evenness ZN(h) = ZN(−h) and Hadamard’s representa- tion theorem; see [40]

  51. [59]

    Bondy and U

    J. Bondy and U. Murty, Graph Theory with Applications , Vol. 290 (Macmil- lan London, 1976)

    1976

  52. [60]

    M. J. Rocha-Neto, G. Camelo-Neto, E. Nogueira Jr., and S. Coutinho, The Blume–Capel model on hierarchical lat- tices: Exact local properties, Physica A 494, 559 (2018)

    2018

  53. [61]

    Ekiz, Thermodynamic properties and magne- tocaloric effect in dendrimer-like recursive lattice, Physica A 626, 129088 (2023)

    C. Ekiz, Thermodynamic properties and magne- tocaloric effect in dendrimer-like recursive lattice, Physica A 626, 129088 (2023)

    2023

  54. [62]

    M. J. Rocha-Neto, G. Camelo-Neto, E. Nogueira, and S. Coutinho, Thermodynamical behavior of the Blume–Capel model in the vicinity of its tricritical point, Physica A 629, 129145 (2023)

    2023

  55. [63]

    Yamada, H

    K. Yamada, H. Nakano, and M. Yamashita, Distribution of zeros of the partition function in the first and second order phase transitions: Extension of the Lee-Yang the- orem, Prog. Theor. Phys. 65, 1603 (1981)

    1981

  56. [64]

    Lee, Generalized circle theorem on zeros of par- tition function at asymmetric first-order transitions, Phys

    K.-C. Lee, Generalized circle theorem on zeros of par- tition function at asymmetric first-order transitions, Phys. Rev. Lett. 73, 2801 (1994)

    1994

Pith tools

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