{"id":"514f6576-f540-4bc1-81f4-2a2fdc9e4cc7","arxiv_id":"1908.02457","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper describes flat and two-colour periodic ground states for the SOS model on a Cayley tree, but a central theorem on translation-invariant configurations is incorrect.","lead":"This paper studies the solid-on-solid (SOS) model with spins 0, 1, 2 and an external field on a Cayley tree of order 2, and classifies some translation-invariant and periodic ground states. The classification rests on a nonstandard ground-state definition and includes a theorem that is false, so the results cannot be taken at face value.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Definition 3.1's per-ball ground-state condition is nonstandard and internally inconsistent: for J>0 and nonzero field no configuration satisfies it, and Theorem 3.1 is false under the paper's own definition, so the claimed classification is not about actual ground states.","rationale":"The reader's weakest assumption is Definition 3.1, and my analysis confirms that this is the load-bearing defect. The per-ball absolute-minimum condition is not equivalent to finite-volume or compact-support ground-state criteria; it neither accounts for edges leaving the ball nor allows the center and neighbor requirements to be satisfied consistently. The explicit J>0, α>0 computation shows that Definition 3.1 predicts no ground states in a regime the paper's narrative treats as covered, so the classification is not a classification of physical ground states. Independently of the definition question, Theorem 3.1 is internally false: with J≤0 and an arbitrary field bounded above by 0, the all-2 configuration is a per-ball minimizer, giving a translation-invariant ground state despite non-translation-invariant field. This is a second, definition-independent failure of a stated central assertion. The paper does not acknowledge either issue or repair the definition, so the claims cannot be accepted as they stand. The reader's REJECT verdict is supported; I would not change it, hence UNCHANGED.","tokens_in":8695,"tokens_out":14370,"duration_ms":153637,"concrete_test":"For k=2, m=2, set J=1 and α=1 in (3.1) and enumerate all 4^4=256 configurations on one unit ball. The enumeration will show the unique per-ball minimizer is (σ(cb), σ(y1), σ(y2), σ(y3))=(0,2,2,2). Since every vertex of the Cayley tree of order 2 lies in the neighbor set of some other vertex, the ball centered at that neighbor requires σ(v)=2 while the ball centered at v requires σ(v)=0; no global configuration can satisfy Definition 3.1 for every ball. If this computation reveals another per-ball minimizer family, the inconsistency claim fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Definition 3.1 requires every unit ball b to attain the global minimum of U(σ_b) independently. This ignores edges leaving b and fields at neighbor vertices, so it is not the standard infinite-volume ground-state criterion, and the consistency constraint is often impossible to satisfy. For J>0 and α>0, the unique per-ball minimizer of (3.1) is σ(cb)=0 with all three neighbors equal to 2; a vertex that is a neighbor in one ball must be 0 as the center of its own ball, so no global configuration exists and GS(H)=∅. The paper never states this, although Theorem 3.3 and the abstract imply ground states exist and are translation-invariant. Worse, Theorem 3.1 is false under Definition 3.1: for J≤0 and any external field with all α_x≤0, the all-2 configuration is a per-ball minimizer because U(σ_b)≥α_x σ(cb)≥2α_x, with equality for all-2. Thus a translation-invariant ground state can exist with a non-translation-invariant field. The proof of Theorem 3.1 also only checks the all-2 configuration, not an arbitrary TI configuration. These defects are load-bearing because the classification claims completeness for a nonstandard and unsatisfiable ground-state notion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":9005,"tokens_out":9353,"duration_ms":91604,"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":[{"comment":"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.","section":"Section 3, Definition 3.1 and Eq. (3.3)"},{"comment":"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.","section":"Theorem 3.1"},{"comment":"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":"Theorem 3.3 and Theorem 3.4"},{"comment":"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.","section":"Section 4, Definition 4.1"}],"minor_comments":[{"comment":"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":"Proof of Theorem 3.3"},{"comment":"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.","section":"Section 4 notation"},{"comment":"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.","section":"Remark 3.1"},{"comment":"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.","section":"Lemmas 3.1 and 4.1"},{"comment":"The reference list contains typographical errors (e.g., 'constructite' in reference [5]) and incomplete bibliographic detail for some entries; a careful copyedit is needed.","section":"References"}],"recommendation":"reject","confidential_remarks":"The central definition of a ground state is nonstandard and leads to an empty ground-state set in an open parameter region, and Theorem 3.1 is false under the paper's own definition. These are not local presentation issues; the classification would need to be redone under a standard ground-state definition. I recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","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.\n\nTo 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.\n\nWho 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.","headline":"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.","tokens_in":9445,"tokens_out":12142,"would_cite":false,"duration_ms":130592,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["82B20","82B26"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a uniform external field, SOS ground states on the binary Cayley tree are exactly the two flat configurations.","keywords":["Cayley tree","SOS model","external field","translation-invariant ground states","periodic ground states","solid-on-solid model","unit ball energy"],"falsifier":"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.","tokens_in":8554,"feed_emoji":"🌲","tokens_out":10326,"duration_ms":97755,"temperature":0.7,"pith_summary":"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.","feed_headline":"Uniform field pins SOS ground states to all-2 or all-0","feed_subtitle":"On the binary Cayley tree with spins 0,1,2, a nonzero uniform field leaves exactly two possible zero-temperature phases.","key_machinery":"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.","core_discovery":"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.","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the correspondence between Cayley-tree vertices and the group $G_k$, used to define translations and periodic configurations.","marker":"[1]"},{"why":"Provides the right and left group representations of the Cayley tree that underlie the definition of periodic configurations.","marker":"[2]"},{"why":"Gives the periodic and weakly periodic ground-state classification for the $\\lambda$-model on the Cayley tree, the methodological template for studying periodic ground states.","marker":"[3]"},{"why":"Describes ground states and Gibbs measures for the Ising model with competing interactions, establishing the ground-state analysis approach extended here.","marker":"[5]"},{"why":"Studies periodic and weakly periodic ground states for the Potts model with competing interactions, supplying the periodic ground-state framework.","marker":"[7]"},{"why":"Treats ground states for the Ising model with an external field on the Cayley tree, the closest predecessor whose necessary and sufficient field conditions this paper extends to the SOS model.","marker":"[9]"},{"why":"Provides the Gibbs-measure theory for SOS models on a Cayley tree, giving the model context and the low-temperature link that motivates ground-state classification.","marker":"[14]"}],"fun_headline_variants":["SOS on Cayley tree: field forces all-0 or all-2","Uniform field pins zero-temperature SOS phase","Only two uniform ground states for SOS with field","All-2 or all-0: field selects SOS ground state","Periodic field yields four SOS ground states"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["SOS on Cayley tree: field forces all-0 or all-2","Uniform field pins zero-temperature SOS phase","Only two uniform ground states for SOS with field","All-2 or all-0: field selects SOS ground state","Periodic field yields four SOS ground states"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000704,"raw_usage":{"total_tokens":3131,"prompt_tokens":854,"completion_tokens":2277,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":470,"completion_tokens_details":{"reasoning_tokens":2198}},"tokens_in":470,"tokens_out":2277,"duration_ms":17012,"temperature":1.0,"reasoning_tokens":2198,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:44:40.046605+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[{"cited_title":"Gibbs measures on Cayley trees.World scientific.2013","cited_arxiv_id":null,"evidence_quote":"Supplies the correspondence between Cayley-tree vertices and the group $G_k$, used to define translations and periodic configurations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the right and left group representations of the Cayley tree that underlie the definition of periodic configurations."},{"cited_title":"A contructite Description of Grond States and Gibbs Measures for Ising Model with two step interations on Cayley tree","cited_arxiv_id":null,"evidence_quote":"Describes ground states and Gibbs measures for the Ising model with competing interactions, establishing the ground-state analysis approach extended here."},{"cited_title":"Periodic and Weakly Periodic Ground States for the Potts Model with Competing Interactions on the Cayley Tree.2016","cited_arxiv_id":null,"evidence_quote":"Studies periodic and weakly periodic ground states for the Potts model with competing interactions, supplying the periodic ground-state framework."},{"cited_title":"M., Rasulova M","cited_arxiv_id":null,"evidence_quote":"Treats ground states for the Ising model with an external field on the Cayley tree, the closest predecessor whose necessary and sufficient field conditions this paper extends to the SOS model."},{"cited_title":"A., Suhov Y","cited_arxiv_id":null,"evidence_quote":"Provides the Gibbs-measure theory for SOS models on a Cayley tree, giving the model context and the low-temperature link that motivates ground-state classification."}],"review_version":1}