Ground states for the SOS model with an external field on the Cayley tree

M.A.Rasulova; M.M.Rahmatullaev; M.R.Abdusalomova

REVIEW 4 major objections 5 minor 15 references

Ground states for the SOS model with an external field on the Cayley tree

T0 review · 4 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read For a uniform external field, SOS ground states on the binary Cayley tree are exactly the two flat configurations.

desk verdict Fatal flaw: the paper's ground-state definition is nonstandard and unsatisfiable in generic parameter regions, and Theorem 3.1 is false under that very definition, so the classification is not about actual ground states. read the letter →

arxiv 1908.02457 v1 pith:EX46PH55 submitted 2019-08-07 math-ph math.MP

M.M.Rahmatullaev , M.R.Abdusalomova , M.A.Rasulova This is my paper · ORCID

classification math-phmath.MP MSC 82B2082B26

keywords CayleytreeSOSmodelexternalfieldtranslation-invariantgroundstatesperiodicsolid-on-solidunitballenergy

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

This paper aims to settle the zero-temperature phase diagram of the nearest-neighbor solid-on-solid model with three spin values $0,1,2$ on the binary Cayley tree, in a non-zero external field. It proves that a translation-invariant configuration can be a ground state only when the field is translation-invariant, and that a non-zero translation-invariant field forces every ground state to be translation-invariant. The main theorem identifies the two uniform configurations $\sigma(x)=2$ and $\sigma(x)=0$ as the unique ground states on the parameter regions $A_{17}$ ($J\le 0,\alpha\le 0$) and $A_{18}$ ($J\le 0,\alpha\ge 0$). For a field alternating between two values on the even and odd sublattices, it also constructs four period-two ground states. A sympathetic reader would care because these are the states that low-temperature Gibbs measures must converge to.

What carries the argument

The load-bearing device is the unit ball $\{x\}\cup S_1(x)$ and its energy formula $U(\sigma_b)=-\tfrac12 J\sum_{y\in S_1(x)}|\sigma(y)-\sigma(x)|+\alpha\,\sigma(x)$. On the binary tree every ball has one center and three neighbors, so with three spin values the ball energy takes only 18 values $U_1,\ldots,U_{18}$, listed in Lemma 3.1; the paper partitions the $(J,\alpha)$ plane into regions $A_i$ where $U_i$ is minimal, then checks which global configurations realise that per-ball minimum everywhere. The same enumeration, with 29 values, is repeated for the two-periodic field on the even and odd sublattices.

What would settle it

Take $J>0$, $\alpha>0$ and the alternating configuration $\sigma(x)=0$ on one sublattice, $\sigma(x)=2$ on the other. Every ball centered at a 0 has energy $-3J$, matching the listed minimum $U_6$, but every ball centered at a 2 has energy $-3J+2\alpha$, which is larger; since both types of centers occur, no configuration reaches $U_6$ on all balls. Exhibiting this one configuration and checking the definition shows that the per-ball minimum is not globally realisable in this region, so the paper's ground-state notion must be replaced or restricted before the classification can cover the whole $(J,\alpha)$ plane.

Watch

Extended reading notes

Core claim

On the Cayley tree of order two with spin values $0,1,2$ and Hamiltonian $H(\sigma)=-J\sum_{\langle x,y\rangle}|\sigma(x)-\sigma(y)|+\alpha\sum_x\sigma(x)$, a translation-invariant external field is shown to be necessary for any translation-invariant ground state and sufficient to rule out non-translation-invariant ground states. Theorem 3.4 then states that for $(J,\alpha)\in A_{17}=\{(J,\alpha): J\le 0,\alpha\le 0\}$ the set of ground states is exactly the single configuration $\sigma(x)=2$ for all $x$, while for $(J,\alpha)\in A_{18}=\{(J,\alpha): J\le 0,\alpha\ge 0\}$ it is exactly $\sigma(x)=0$ for all $x$. The paper also notes that the all-1 configuration is a ground state only when $\alpha=0$, and, in Section 4, gives four $G_2^{(2)}$-periodic configurations that are ground states for the model with a two-periodic external field on specified parameter intersections.

Load-bearing premise

The paper relies on Definition 3.1, which calls a configuration a ground state only if every unit ball around every vertex independently attains the minimum possible energy of that ball; this local-ball criterion is not the usual global ground-state definition, and in parts of the parameter plane no configuration can satisfy it everywhere, yet the classification depends on it without comment.

Editorial extensions

If this is right

If correct, the zero-temperature phase diagram for $k=2$, $m=2$ with a nonzero uniform field contains exactly two phases: all spins 2 when $\alpha<0$ and all spins 0 when $\alpha>0$, with the all-1 phase appearing only at zero field.
The necessity and sufficiency pair (Theorems 3.1 and 3.3) means a uniform external field cannot coexist with periodic ordering at zero temperature, so periodic ground states require a spatially varying field.
The period-two configurations constructed in Section 4 provide candidate low-temperature phases for the alternating-field model, including 0/1, 1/0, 0/2 and 2/0 patterns on the even and odd sublattices.
Because the classification is stated for order two and three spin values, the same ball-energy method can be rerun for larger $k$ and $m$, with the number of possible ball energies growing accordingly.

Reading between the lines

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

A natural next step is to compare this ball-local ground-state notion with the standard definition of a ground state as a configuration minimizing energy under compact perturbations; where the per-ball minimum cannot be realized everywhere, the two notions diverge and the classification may change.
The method suggests that flat configurations are the only translation-invariant candidates for any number of spin values, but the level boundaries would shift with $\alpha$; testing this would require enumerating the $(m+1)^4$ possible center-plus-neighbors ball types.
For positive $J$ (antiferromagnetic coupling), the ball-local minimizer tends to alternate between 0 and 2, but the field term breaks sublattice symmetry, so a periodic rather than translation-invariant ground state may survive in that regime; Theorems 3.1 to 3.4 do not cover it.
The periodic-field results suggest that the middle spin 1 appears only when one of the two sublattice fields vanishes, which could be tested numerically in low-temperature Monte Carlo simulations.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The paper is not usable as written. The central definition of ground state, Definition 3.1, requires every unit ball to attain the minimum of its local energy independently. For J>0 and alpha>0, the unique per-ball minimizer has center 0 with all neighbors 2, but those neighbors would then have to be 0 as centers of their own balls—so no global configuration satisfies the definition. The paper never acknowledges that its definition can make the ground-state set empty. Worse, Theorem 3.1 is false under that same definition: for J<=0 and any field with all alpha_x<=0, the all-2 configuration is a per-ball minimizer, so a translation-invariant ground state can exist with a non-translation-invariant field. The proof of Theorem 3.1 is not a proof; it minimizes over field values rather than checking the per-ball condition for a fixed field.

To give credit: the paper does some careful bookkeeping. Lemma 3.1 and Lemma 4.1 enumerate the possible per-ball energies for the translation-invariant and periodic cases, and the parameter sets A_i follow by straightforward comparison. The periodic configurations in Theorem 4.1 are genuine per-ball minimizers on the stated parameter regions—for example, the 0/2 checkerboard on even/odd sublattices when one sublattice has zero field. As existence statements under a nonstandard local notion, they are correct. But the definition is never justified, and the paper claims more than those examples support. The uniqueness parts of Theorem 3.4 are not proved; the argument only checks that the constant configurations satisfy the per-ball condition, not that no other configuration does. (For A17 with alpha<0, uniqueness does hold because all-2 is the unique per-ball minimizer, but the paper doesn't show it.) The periodic results also mostly reduce to J=0 cases or to one sublattice having zero field, which limits their interest.

Who is this for? Specialists in Gibbs measures on Cayley trees who might care about the per-ball formalism would find the examples worth a glance, but anyone expecting a description of actual ground states of the SOS Hamiltonian will be misled. The novelty is a routine extension of the Ising classification, and the load-bearing error makes the paper unsound on its own terms. I recommend rejecting it. A referee could document the definition's failure and the false theorem, but that would be a formality; the paper should be revised or withdrawn.

Referee Report

4 major / 5 minor

Summary. This paper studies a nearest-neighbor solid-on-solid (SOS) model with spins 0,1,2 on the Cayley tree, focusing on the case k=2, under an external field. The authors introduce a ground-state notion in Definition 3.1 that requires every unit ball to independently minimize the local energy U(σ_b), and they enumerate the possible local energy values and parameter regions A_i. For a translation-invariant external field, they claim in Theorem 3.1 and Theorem 3.3 that ground states must be translation-invariant, and in Theorem 3.4 that on A17 the only ground state is all-2 while on A18 the only ground state is all-0. In Section 4, for a two-periodic external field, four periodic configurations are asserted to be ground states on certain parameter regions. The central claims concern the complete zero-temperature phase diagram of the model.

Significance. If the results were correct, the paper would provide a complete zero-temperature classification of translation-invariant and periodic ground states for a three-state SOS model on a Cayley tree with an external field. The enumeration of local energies in Lemmas 3.1 and 4.1 is explicit and in principle verifiable, and the paper makes concrete falsifiable predictions about parameter regions. However, the chosen ground-state definition is nonstandard: it ignores all edges leaving a ball and the fields at neighboring vertices. More seriously, this definition is internally inconsistent in an open parameter region, so the claimed classification does not describe the usual infinite-volume ground states. The proof of uniqueness in Theorem 3.4 is also missing. Because the central theorems are built on an unsatisfiable per-ball condition, the significance of the paper as a phase-diagram result is not established.

major comments (4)

[Section 3, Definition 3.1 and Eq. (3.3)] The paper's ground-state notion is nonstandard and internally inconsistent. Definition 3.1 requires every unit ball to attain the minimum of U(σ_b) independently, but U(σ_b) in Eq. (3.3) depends only on the center field and the edges inside the ball. For J>0 and α>0 the unique minimizer of U(σ_b) has center 0 and all three neighbors 2, with U=-3J. A vertex that is a neighbor in one ball must therefore be 2 there, while as the center of its own ball it must be 0; on an infinite tree these requirements cannot be met simultaneously. Thus no configuration satisfies Definition 3.1 in this parameter region, contradicting the existence claims made throughout the paper. Since all the classification results use this definition, they are not about the usual infinite-volume ground states of the Hamiltonian.
[Theorem 3.1] Theorem 3.1 is false under Definition 3.1. If J≤0 and the external field is arbitrary with all α_x≤0, then the translation-invariant configuration σ≡2 satisfies U(σ_b)=2α_{c_b} for every ball. For any other restricted configuration, the interaction term in Eq. (3.1) is nonnegative because J≤0, and α_{c_b}σ(c_b)≥2α_{c_b} because α_{c_b}≤0 and σ(c_b)≤2. Hence σ≡2 is a per-ball minimizer for every b, so a translation-invariant ground state can exist even when the external field is not translation-invariant. The proof of Theorem 3.1 also considers only the all-2 configuration and does not address arbitrary translation-invariant configurations as the theorem states.
[Theorem 3.3 and Theorem 3.4] The uniqueness claims in Theorem 3.4 are not proved. Parts (a) and (b) only verify that σ≡2 and σ≡0 are ground states on A17 and A18, respectively; they do not show that no other configuration satisfies Definition 3.1. The intended exclusion depends on Theorem 3.3, but its proof is not valid: the case analysis refers to sets Ωb,2 and Ωb,3 even though only Ωb,0, Ωb,1, and Ωb,2 were defined, and the conclusion that non-translation-invariant ground states force α=0 is asserted without a derivation from the per-ball condition. Therefore the equalities GS(H)={...} in Theorem 3.4 are unsupported.
[Section 4, Definition 4.1] The periodic part inherits the same conceptual problem. Definition 4.1 again defines ground states by per-ball minimization, so the consistency issue described for Definition 3.1 applies equally here. In addition, Definition 4.1 states U(ϕ_b)=min{U1,...,U29}, but U_i are real numbers, not configurations; the minimum should be taken over restricted configurations ψ_b. The theorem statements in this section only assert that the listed configurations are ground states, not that they are the only ones, which is compatible with the abstract but makes the section a set of examples rather than a classification.

minor comments (5)

[Proof of Theorem 3.3] The indexing in the proof should be corrected: the sets Ωb,i are defined for i=0,1,2, but case (1a) refers to Ωb,2 and Ωb,3.
[Section 4 notation] The parameter regions A_m are written as subsets of R^3 with coordinates (J,α0,α1), while the external field values are called α1 and α2; the notation should be made consistent throughout the section.
[Remark 3.1] Remark 3.1 states that σ≡1 is a ground state when the external field is zero, although the section is restricted to nonzero external fields; this remark needs to be reconciled with that restriction.
[Lemmas 3.1 and 4.1] The proofs of Lemmas 3.1 and 4.1 and of the lists for A_i are relegated to 'cumbersome calculations'; in a journal publication at least the enumeration method for the A_i sets should be indicated, since these sets are load-bearing for Theorem 3.4.
[References] The reference list contains typographical errors (e.g., 'constructite' in reference [5]) and incomplete bibliographic detail for some entries; a careful copyedit is needed.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the ground-state classification is derived from the Hamiltonian by direct enumeration of unit-ball energies, with no fitted parameter renamed as a prediction.

full rationale

The derivation chain is self-contained. The unit-ball energy U(σ_b) is computed from the Hamiltonian in (3.1) and (3.3); Lemma 3.1 enumerates all finitely many values; the regions A_i are obtained by pairwise inequalities among these values; Theorem 3.4 then verifies that the constant configurations attain the relevant per-ball minimum on A17 and A18. No parameter is fitted to a subset of data and then called a prediction, and no load-bearing assertion is justified solely by a self-citation: reference [9] is used for context about the Ising model, not as the basis for the SOS classification. The paper's real weaknesses are mathematical-correctness issues, not circularity: Definition 3.1 uses a nonstandard per-ball ground-state criterion, Theorem 3.1's proof checks only the all-2 configuration rather than an arbitrary translation-invariant configuration, and Theorem 3.4's proof establishes existence but not the asserted uniqueness. These are incompleteness or definitional concerns, not reductions of the conclusions to their own inputs, so the circularity score is 0.

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

The paper relies on a nonstandard ground-state definition, an asserted but unshown enumeration of ball energies, and unproved parameter-region calculations. No free parameters are fitted, and no new entities are introduced.

assumptions (3)

ad hoc to paper A configuration is a ground state iff every unit ball has minimal energy (Definition 3.1).
This is not the standard finite-volume ground-state definition. It can imply that no ground state exists for J greater than 0 and alpha greater than 0, which the paper does not address.
domain assumption The listed 18 (and 29) unit-ball energies exhaust all possible ball energies for k=2, m=2.
This follows from the three spin values and the degree-3 tree, but the paper does not show the derivation.
domain assumption The parameter sets A_i reported in Lemma 3.1 and Section 4 are correct.
The paper says 'quite cumbersome but not difficult calculations show' and gives no intermediate steps, so correctness is asserted rather than demonstrated.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Ground states for the SOS model with an external field on the Cayley tree." pith.science (2026). https://pith.science/paper/EX46PH55

@misc{pith2026190802457,
  author       = {Pith},
  title        = {Pith review of: Ground states for the SOS model with an external field on the Cayley tree},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/EX46PH55}},
  note         = {Machine review of arXiv:1908.02457}
}

abstract

We consider a nearest-neighbor solid-on-solid (SOS) model, with several spin values $0,1,2,...,m, m\geq2$ and non zero external field, on a Cayley tree of order $k$. In the case $k=2, m=2$, we describe translation-invariant ground states for the SOS model with a translation-invariant external field. Some periodic ground states for the SOS model with periodic external field are described.

Figures

Figures reproduced from arXiv: 1908.02457 by the authors.

**Figure 1.** The Cayley tree τ 2 and elements of the group representation of vertices For every neighbor of ai , we introduce words of the form aiaj . Since one of the neighbors of ai is e, we put aiai = e. The remaining neighbors of ai are labeled according to the above order. For every neighbor of aiaj , we introduce words of length 3 in a similar way. Since one of the neighbors of aiaj is ai , we put aiajaj = ai . The remaini… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 14 canonical work pages

[1]

Gibbs measures on Cayley trees.World scientiﬁc.2013

Rozikov U.A. Gibbs measures on Cayley trees.World scientiﬁc.2013

work page 2013
[2]

N. N. Ganikhodzhaev, Group representation and automorphisms of the Cayley tree, Dokl. Akad. nauk Resp. Uzbekistan, no. 4, 3 (1994) [in Russian]

work page 1994
[3]

Periodic and Weakly Periodic Ground States for the λ− Model on Cayley Tree

F.Mukhamedov, Ch.Hee Pah, M.Rahmatullaev, H.Jamil. Periodic and Weakly Periodic Ground States for the λ− Model on Cayley Tree. 2017.Journal of Physics: Conf. Series 949, 012021, doi:10.1088/1742− 6596/949/1/012021

doi:10.1088/1742 2017
[4]

M. I. Kargapolov and Yu. I. Merzlyakov,Fundamentals of the Theory of Groups(Springer-Verlag, New York-Heidelberg-Berlin, 1979). [Fundamentals of Group Theory(Nauka, Moscow, 1982)]

work page 1979
[5]

A contructite Description of Grond States and Gibbs Measures for Ising Model with two step interations on Cayley tree

U.A.Rozikov. A contructite Description of Grond States and Gibbs Measures for Ising Model with two step interations on Cayley tree. 2006. Journal of statistical Physics. Vol. 122. N2, 217 − 235

work page 2006
[6]

M. M. Rahmatullaev. Description of Weakly Periodic Ground States of Ising Model with Compet- ing Interactions on Cayley Tree.2010.Applied Mathematics & Information Sciences 4(2), 237− 251

work page 2010
[7]

Periodic and Weakly Periodic Ground States for the Potts Model with Competing Interactions on the Cayley Tree.2016

M.M.Rakhmatullaev, M.A.Rasulova. Periodic and Weakly Periodic Ground States for the Potts Model with Competing Interactions on the Cayley Tree.2016. ISSN 1055−1344, Siberian Advances in Mathematics, Vol. 26, No.3, pp.215 − 229

work page 2016
[8]

A., Rahmatullaev M

Rozikov U. A., Rahmatullaev M. M. Weakly Periodic Ground States and Gibbs Measures for the Ising Model with Competing Interactions on the Cayley Tree, Theor. Math. Phys. 160, No. 3, 1292–1300 (2009)

work page 2009

Show all 15 references

[9]

M., Rasulova M

Rahmatullaev M. M., Rasulova M. A. Ground States for the Ising model with an external ﬁeld on the Cayley tree, Uz. Math. Journal, No. 3, 147-155 (2018)

2018
[10]

A., Description of limiting Gibbs measures forλ−models on the Bethe lattice

Rozikov U. A., Description of limiting Gibbs measures forλ−models on the Bethe lattice. Sib.Math.J. 39(1998) 427-435

1998
[11]

A., Describing uncountable number of Gibbs measures for inhomogeneous Ising model, Theor

Rozikov U. A., Describing uncountable number of Gibbs measures for inhomogeneous Ising model, Theor. Math. Phys. 118 (1999) 95-104

1999
[12]

Ganikhodjaev N. N. and Rozikov U. A., Description of periodic extreme Gibbs measures of some lattice models on the Cayley tree, Theor. Math. Phys. 111 (1997) 480-486. 8 Ground states for the SOS model with an external ﬁeld on the Cayley tree 9

1997
[13]

Ganikhodjaev N. N. and Rozikov U. A., On disordered phase in the ferromagnetic Potts model on the Bethe lattice, Osaka J. Math. 37 (2000) 373-383

2000
[14]

A., Suhov Y

Rozikov U. A., Suhov Y. M., Gibbs measures for SOS models on a Cayley tree, Inﬁnite Dimensional Analysis, Quantum Probability and Related Topics, Vol. 9, No. 3 (2006) 471-488

2006
[15]

Mazel A. E. and Suhov Yu. M., Random surfaces with two-sided constraints: An application of the theory of dominant ground states, J. Statist. Phys. 64 (1991) 111-134. Rahmatullaev M.M. Institute of mathematics, Tashkent, Uzbekistan; Naman- gan State Universite, Namangan, Uzbek...

1991

Pith tools

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

[1] [1]

Gibbs measures on Cayley trees.World scientiﬁc.2013

Rozikov U.A. Gibbs measures on Cayley trees.World scientiﬁc.2013

work page 2013

[2] [2]

N. N. Ganikhodzhaev, Group representation and automorphisms of the Cayley tree, Dokl. Akad. nauk Resp. Uzbekistan, no. 4, 3 (1994) [in Russian]

work page 1994

[3] [3]

Periodic and Weakly Periodic Ground States for the λ− Model on Cayley Tree

F.Mukhamedov, Ch.Hee Pah, M.Rahmatullaev, H.Jamil. Periodic and Weakly Periodic Ground States for the λ− Model on Cayley Tree. 2017.Journal of Physics: Conf. Series 949, 012021, doi:10.1088/1742− 6596/949/1/012021

doi:10.1088/1742 2017

[4] [4]

M. I. Kargapolov and Yu. I. Merzlyakov,Fundamentals of the Theory of Groups(Springer-Verlag, New York-Heidelberg-Berlin, 1979). [Fundamentals of Group Theory(Nauka, Moscow, 1982)]

work page 1979

[5] [5]

A contructite Description of Grond States and Gibbs Measures for Ising Model with two step interations on Cayley tree

U.A.Rozikov. A contructite Description of Grond States and Gibbs Measures for Ising Model with two step interations on Cayley tree. 2006. Journal of statistical Physics. Vol. 122. N2, 217 − 235

work page 2006

[6] [6]

M. M. Rahmatullaev. Description of Weakly Periodic Ground States of Ising Model with Compet- ing Interactions on Cayley Tree.2010.Applied Mathematics & Information Sciences 4(2), 237− 251

work page 2010

[7] [7]

Periodic and Weakly Periodic Ground States for the Potts Model with Competing Interactions on the Cayley Tree.2016

M.M.Rakhmatullaev, M.A.Rasulova. Periodic and Weakly Periodic Ground States for the Potts Model with Competing Interactions on the Cayley Tree.2016. ISSN 1055−1344, Siberian Advances in Mathematics, Vol. 26, No.3, pp.215 − 229

work page 2016

[8] [8]

A., Rahmatullaev M

Rozikov U. A., Rahmatullaev M. M. Weakly Periodic Ground States and Gibbs Measures for the Ising Model with Competing Interactions on the Cayley Tree, Theor. Math. Phys. 160, No. 3, 1292–1300 (2009)

work page 2009