{"id":"efcf6dee-d42e-487d-97d9-3d8b44112e26","arxiv_id":"1908.04285","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"A gauge-invariant, scale-dependent measure of frustration is defined for lattice spin models, and it shows that the triangular Ising and favoured-local-structure models considered have finite-range frustration.","lead":"This paper proposes a mathematical way to measure geometrical frustration in lattice spin models, the mismatch between what a system locally prefers and what it can achieve globally. It shows that for several famous frustrated models, including the antiferromagnetic Ising model on a triangular lattice, the frustration disappears after a single coarse-graining step, so it has finite range.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of the gauge group Eq. 11 is the load-bearing step: the paper asserts that a quadratic entropy expansion captures all composition constraints, but does not prove it, and every f_z value inherits this assumption.","rationale":"The reader's weakest-assumption analysis identifies the same load-bearing point: Eq. 11 is asserted on the basis of an entropy expansion whose sufficiency is not established. Everything downstream, including the definition of f_z, its gauge invariance, and the finite-range classification, inherits this assumption. I do not see a more fundamental flaw in the paper's argument. The antiferromagnetic Ising triangle example is supported by an explicit rewriting, and the FLS ground-state proofs via Eq. 13 are logically sound if Eq. 11 holds. However, the paper gives no formal proof that the covariance null space exhausts the affine span of realizable compositions, and no machine-checked or reproducible numerical verification is provided. The CONDITIONAL verdict is therefore appropriate: the framework is plausible and the examples are suggestive, but the central gauge-group step needs an independent, exact check before the claims can be accepted as rigorous. If the proposed span test matches Eq. 11, the main theoretical concern is resolved and the remaining issue is purely presentational; if it fails, the numerical conclusions and the gauge-invariance claim both need revision.","tokens_in":12165,"tokens_out":34671,"duration_ms":422466,"concrete_test":"For the triangular-lattice clusters used in Table I (z = 7, 10, 13), enumerate all spin configurations on a triangular torus of side L = 4, 5, 6 (2^(L^2) configurations) and compute for each configuration the composition vector c of local structures. Let V be the real span of all such c. Check whether V equals c_inf + (Ker C)^perp, equivalently whether dim V = n - dim Ker C. If the span is strictly smaller, Eq. 11 undercounts the gauge group and all f_z values must be recomputed with the larger true Delta. If the spans match for all three cluster sizes, the reader's nonlinear-constraint concern is settled. As a complementary check, recompute Eq. 12 for FLS models 6, 9, and 11 by solving the equivalent linear program (maximize t subject to t <= eps_s + delta_s and delta in Delta) with an exact rational LP solver, and compare t with E0 in Table II.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim that f_z is a gauge-invariant measure of frustration, and that all studied models have finite-range frustration, depends on Eq. 11, Delta = Ker(C) ∩ Perp(c_inf). The derivation in Section II C asserts that \"a linear analysis of the entropy functional S(c) around the infinite-temperature limit is sufficient to fully characterize this vector space.\" This is not proved: Eq. 9 is an expansion around c_inf with an O[(c-c_inf)^3] remainder, and the text does not rule out additional hard (S = -infinity) constraints that cut down the affine span of realizable compositions. If the true affine span is smaller than c_inf + (Ker C)^perp, then the true space of energy displacements is larger than Eq. 11. In that case the maximization in Eq. 12 is over too small a set, so f_z is not invariant under the full gauge group and the reported values, especially the nonzero f_7 for FLS models 6, 9, and 11, could be overestimates. The reported zeros at z* = 10 or 13 would remain true zeros because a smaller gauge set can only make f_z larger, but the framework's central invariance claim would fail. The paper also provides no code or convergence details for the Nelder-Mead optimization behind Table II, so those entries cannot currently be independently checked.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces 'Local Energy Landscapes' (LEL) for translation-invariant binary spin lattice models, associating an energy to each local spin environment (structure). It defines a gauge group of 'energy displacements'—local redefinitions of the LEL that leave the total Hamiltonian unchanged—and proposes a scale-dependent frustration measure f_z(ϵ) = E0(ϵ) − max_{δ∈Δ} min_s (ϵ_s+δ_s), where Δ is the space of energy displacements at cluster scale z. The main claims are: (i) f_z is gauge invariant and therefore depends only on the Hamiltonian and the chosen scale; (ii) for the antiferromagnetic Ising model on the triangular lattice and for all Favoured Local Structure (FLS) models considered, frustration is finite-range, meaning f_z=0 at some finite cluster size z* (z*=3 for AF Ising, z*≤13 for all FLS models); (iii) when f_z*=0, the framework yields rigorous lower bounds that prove the ground-state energies found by enumerative search. The paper also discusses a 'Frustrated Non-Model' whose apparent frustration is purely a gauge artifact, motivating the gauge-invariant construction.","tokens_in":12501,"tokens_out":9228,"duration_ms":97984,"significance":"If the central construction is sound, this is a valuable conceptual contribution: it offers a quantitative, gauge-invariant notion of geometrical frustration and distinguishes finite-range from long-range frustration, with concrete consequences for ground-state proofs. The AF Ising example is explicit and convincing, and the use of the method to certify ground states in Section II F is an elegant practical application. The paper is also commendably candid about the current limitations (no proven example of long-range frustration, exponential growth of the number of structures, and the impossibility of scaling analysis at present). However, the validity of the framework rests on the characterization of the gauge group in Eq. (11), which is asserted rather than proved, and the numerical results in Table II are not documented to a reproducible standard. These issues are localizable and fixable, so the paper merits revision rather than rejection.","major_comments":[{"comment":"The characterization of the gauge group as Δ = Ker(C) ∩ Perp(c∞) is load-bearing for all values of f_z, but it rests on the unproved assertion that 'a linear analysis of the entropy functional S(c) around the infinite-temperature limit is sufficient to fully characterize this vector space.' Equation (9) is only a local quadratic expansion with an O[(c−c∞)^3] remainder, and the text does not rule out the existence of hard (S=−∞) constraints that make the affine span of realizable compositions smaller than c∞ + (Ker C)^⊥. If such constraints exist, the true energy-displacement space is larger than Eq. (11), the maximization in Eq. (12) is over too small a set, and the reported values of f_7 for FLS models 6, 9 and 11 are overestimates (zeros would remain zero, but the gauge-invariance claim would fail). Please provide a proof, or a precise reference, that the affine hull of {c : S(c) ≥ 0} is exactly c∞ + (Ker C)^⊥, including a discussion of the pseudo-inverse in Eq. (9).","section":"Section II C, Eq. (11)"},{"comment":"The numerical values of f_7, f_10, f_13 are obtained with the SciPy Nelder-Mead implementation, but the manuscript gives no convergence criteria, number of restarts, or error estimates. Because the central classification (e.g., the exact rational values 1/12, 2/117, 1/22 and the zeros) depends on these optimizations, the protocol should be documented in enough detail for independent reproduction. The authors could also exploit the piecewise-linear structure of the objective to solve the problem exactly via linear programming and report the resulting exact values.","section":"Table II and Section II D"},{"comment":"The definition of the range z* is tied to a specific hierarchical cluster sequence (sizes 2, 3, 4, 7, 10, 13, 19 and chosen shapes). While f_z is non-increasing for this hierarchical family, the paper does not show that a different cluster shape with the same number of sites would give the same f_z. Consequently, the statement that 'all 2D binary spin systems studied by the authors have z* ≤ 13' is a statement about this particular sequence, not a property of the Hamiltonian alone. If the range is intended as an intrinsic quantity, the definition must be made independent of the cluster-shape choice (e.g., by minimizing over all clusters of a given size), or the paper should explicitly frame z* as convention-dependent.","section":"Section II E and Table I"}],"minor_comments":[{"comment":"Equation (9) uses C^{-1} although C is stated to have a non-trivial null space; please specify that a pseudo-inverse is intended and define the quadratic form on the orthogonal complement of Ker C.","section":"Section II C, Eq. (9)"},{"comment":"The paper states that the maximization is 'non-ambiguous' because the objective is concave, but it does not explicitly prove that the maximum is finite and attained; since Δ is unbounded, a short argument (e.g., using c∞·δ=0 and ϵ_s+δ_s ≥ t) would reassure the reader.","section":"Section II D, Eq. (12)"},{"comment":"The text contains a typo: 'aFrustrated Non-Model' should read 'a Frustrated Non-Model'. Additionally, the sentence describing the model's 'peculiar properties' could be clarified to emphasize that these properties are trivial because the total Hamiltonian is identically zero.","section":"Section I B, last paragraph"}],"recommendation":"major_revision","confidential_remarks":"The paper is largely built on the authors' previous work (Refs. [13-15,17,19,20]) for the structural-covariance expansion and ground-state enumeration. The referee should verify that Eq. (11) is not tautologically derived from the covariance matrix in those papers; based on the present text, the key step is an assertion and needs a rigorous justification. The numerical results for Table II should be made reproducible. If those two points are addressed, the paper could be a solid contribution, though the lack of an explicit long-range frustrated example limits its reach to a proof-of-principle. The manuscript is within the scope of the journal, but the referee may wish to consider whether the level of rigor meets the journal's standards after revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe short version: this is a genuinely new take on a fuzzy concept. The authors construct a gauge-invariant, scale-dependent measure of geometrical frustration for binary spin lattices and apply it to concrete models. The punchline—that the triangular-lattice AF Ising model is unfrustrated once you write the energy on triangles, and that this is a general coarse-graining phenomenon rather than a trick—is a real insight. A useful byproduct: when f_z vanishes, the framework gives a rigorous proof of the ground state energy for the model, which they demonstrate on the FLS family.\n\nWhat’s actually new: the identification of energy displacements as a gauge group, the functional f_z in Eq. 12, and the finite-vs-long-range classification. The LEL substrate comes from the authors’ earlier papers, and the self-citations are appropriate; the frustration measure itself is not in that earlier work.\n\nSoft spots, in order of softness. The derivation of the gauge group, Eq. 11, is the one place I’d want more rigor. The stress-test worry about nonlinear constraints does not survive contact with the math: the set of realizable compositions is a convex polytope, and its affine hull is fixed by the linear conserved quantities, i.e., the null space of the infinite-temperature covariance. So the linear analysis is sufficient—but the paper only asserts this, in one sentence. A referee should ask for the argument to be written out. Second, the numerical table (Table II) has no convergence tolerances, no code, and no explanation of how the exact fractions (1/12, 2/117, 1/22) were obtained. Those look like they could come from an exact linear program over the gauge polytope; the paper should say so or ship the code. That’s a moderate reproducibility gap, not a correctness gap. Third, the classification depends on the chosen cluster hierarchy (sizes 2,3,4,7,10,13,19); the authors acknowledge this, but it means 'finite-range' isn’t fully coordinate-free. Fourth, there is still no example of long-range frustration, so the second half of the taxonomy is speculative.\n\nBottom line: the central argument holds up. The paper is honest, clearly written, and the proof technique for ground states is genuinely useful. It deserves a serious referee. I’d recommend accepting with minor-to-moderate revisions: fill in the proof for Eq. 11 and make the numerics reproducible.","headline":"A genuinely new gauge-invariant measure of frustration; the central result holds, but Eq. 11 needs a fuller proof and the numerics need reproducibility.","tokens_in":12965,"tokens_out":11030,"would_cite":true,"duration_ms":121234,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The central claim is that geometrical frustration, quantified by the gauge-invariant functional $f_z$, is finite-range for every two-dimensional binary spin system studied, including the triangular-lattice antiferromagnetic Ising model.","keywords":["geometrical frustration","local energy landscapes","energy displacements","gauge invariance","lattice spin models","triangular lattice","ground state energy","coarse-graining"],"falsifier":"Search for a structural composition vector that satisfies every covariance null-space constraint yet cannot be realized by any spin configuration; finding such a vector would show the gauge group $\\Delta$ is overestimated and would invalidate the computed $f_z$ values. Alternatively, exhibit a binary spin model on a lattice for which the paper's method gives strictly positive $f_z$ for every finite cluster size, which would disprove the conjecture that all such systems have finite-range frustration.","tokens_in":11953,"feed_emoji":"🧲","tokens_out":5068,"duration_ms":52597,"temperature":0.7,"pith_summary":"The paper turns the vague notion of geometrical frustration—when no single local arrangement of spins can tile the whole lattice at the ground-state energy—into a quantitative, scale-dependent measure. It defines the frustration functional $f_z$ by minimizing over all equivalent ways of writing a Hamiltonian as a sum of local energies, so the result depends only on the physical Hamiltonian, not on its local representation. The central finding is that in every two-dimensional binary spin system examined, including the antiferromagnetic Ising model on the triangular lattice, $f_z$ reaches zero at some finite cluster size $z^*$. At that scale, the Hamiltonian can be rewritten so that locally preferred structures tile space exactly, and the apparent frustration disappears under coarse-graining. This provides a rigorous way to certify ground-state energies and separates finite-range frustration from a conjectured long-range class that no model has yet exhibited.","feed_headline":"Spin frustration is finite-range under the right local rewrite","feed_subtitle":"A new measure makes geometrical frustration quantitative: in every 2D binary spin model studied, a finite coarse-graining removes it.","key_machinery":"The central object is the local energy landscape (LEL), which assigns an energy $\\epsilon_s$ to each possible local structure $s$ on a cluster of $z$ sites. The gauge group of energy displacements—vectors $\\delta$ such that $\\delta \\cdot c = 0$ for every realizable structural composition $c$—is identified with $\\Delta = \\operatorname{Ker}(C) \\cap \\operatorname{Perp}(c_\\infty)$, where $C$ is the infinite-temperature covariance matrix of structure counts and $c_\\infty$ is the random-spin composition. Frustration at scale $z$ is then defined by $f_z(\\epsilon) = E_0(\\epsilon) - \\max_{\\delta \\in \\Delta} \\min_s (\\epsilon_s + \\delta_s)$. The optimization is concave and piecewise-linear, so it has a unique maximum and can be performed numerically; when $f_z=0$, the chosen landscape admits locally preferred structures that tile the lattice exactly, giving a constructive proof of the ground-state energy.","core_discovery":"The paper's central claim is that geometrical frustration, defined as the gap between the energy of the locally preferred structure and the true ground-state energy, is not an intrinsic property of a Hamiltonian: it depends on how the Hamiltonian is decomposed into local energies. The authors characterize the gauge group of energy displacements—local rewritings that change the local-energy landscape but not the total Hamiltonian—as the intersection $\\Delta = \\operatorname{Ker}(C) \\cap \\operatorname{Perp}(c_\\infty)$ of the covariance null space with the hyperplane orthogonal to the infinite-temperature composition. They define $f_z$ as the ground-state energy minus the maximum, over this gauge group, of the minimal local energy at scale $z$. Using this measure, they show that the antiferromagnetic Ising model on the triangular lattice has $f_3=0$, and that all thirteen Favoured Local Structures models on the triangular-lattice coordination shell have finite-range frustration, with $z^*$ at most 13. The conclusion is that apparent frustration is often an artifact of an unlucky local-energy representation, and that no binary spin system studied so far exhibits genuinely long-range frustration.","pith_inferences":["The absence of long-range frustration among all studied two-dimensional binary spin models hints that long-range frustration may require more than two spin values, longer-ranged interactions, or three-dimensional lattices; a natural next test is to apply the same gauge-invariant calculation to such systems.","The energy-displacement ambiguity implies that any experimental inference of local-structure energies from observed structure statistics is inherently gauge-ambiguous; this framework offers a way to define an observable, representation-independent frustration.","The method connects geometrical frustration to proof complexity: finite-range frustration gives a constructive certification of ground states, so finding a long-range frustrated model would simultaneously identify a class of short-range spin Hamiltonians whose ground-state energies resist this type of proof.","A testable extension would be to search for a spin model where $f_z$ is strictly positive for every $z$ by enumerating cluster sizes hierarchically and applying the paper's optimization to candidate Hamiltonians that favor mutually incompatible local structures."],"forward_implications":["For the antiferromagnetic Ising model on the triangular lattice, $f_3=0$, meaning the Hamiltonian can be rewritten on triangular plaquettes so that the locally preferred order tiles the lattice without defects.","Nine of the twelve nontrivial Favoured Local Structures models have $f_7=0$, and the remaining three have $z^*=10$ or $z^*=13$, so every studied binary spin system on this lattice has finite-range frustration.","When $f_z=0$, the system can be exactly coarse-grained into a frustration-free local-energy landscape, so geometrical incompatibilities are localized below the scale $z^*$.","The maximal locally preferred energy $E^*_z$ provides a rigorous lower bound on the ground-state energy; when it matches a constructed crystalline state, that state is proven to be a ground state.","A system with genuinely long-range frustration, if one exists, would have non-local geometrical constraints and would fall outside this provability method, suggesting a distinct complexity class for ground-state certification."],"supporting_citations":[{"why":"Supplies the entropy functional $S(c)$ and the free-energy representation that underpin the structural-composition thermodynamics used throughout.","marker":"[13]"},{"why":"Provides the high-temperature covariance matrix $C$ and the treatment of forbidden compositions used to characterize the gauge space of energy displacements.","marker":"[14]"},{"why":"Extends the structural-covariance approach to freezing thermodynamics, supporting the linear analysis around the infinite-temperature limit.","marker":"[15]"},{"why":"Defines the Favoured Local Structures model on lattices and supplies the systematic ground-state search whose candidates are later certified by the frustration criterion.","marker":"[17]"},{"why":"Gives the boundary-energy argument used to bound how fast frustration must decay with scale in any long-range frustrated system.","marker":"[22]"},{"why":"Provides the derivative-structure enumeration algorithm used to construct the crystalline ground-state candidates whose optimality is proven when $f_z=0$.","marker":"[23]"}],"fun_headline_variants":["Frustration is a choice: new measure shows it's finite-range","Geometrical frustration is finite-range for all studied binary spin models","Rewriting local energies eliminates spin frustration in triangular Ising","Frustration is finite-range under a gauge choice of local energies","New measure shows spin frustration is a local artifact"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a linear, infinite-temperature analysis of the structure-counting entropy captures every possible local-energy rewrite that leaves the Hamiltonian unchanged; if nonlinear constraints on which local structures can coexist are missed, the gauge group is too large and the frustration values are wrong.","fun_headline_variants_meta":{"raw":{"variants":["Frustration is a choice: new measure shows it's finite-range","Geometrical frustration is finite-range for all studied binary spin models","Rewriting local energies eliminates spin frustration in triangular Ising","Frustration is finite-range under a gauge choice of local energies","New measure shows spin frustration is a local artifact"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000721,"raw_usage":{"total_tokens":3239,"prompt_tokens":951,"completion_tokens":2288,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":567,"completion_tokens_details":{"reasoning_tokens":2202}},"tokens_in":567,"tokens_out":2288,"duration_ms":16856,"temperature":1.0,"reasoning_tokens":2202,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:46:34.575506+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search for a structural composition vector that satisfies every covariance null-space constraint yet cannot be realized by any spin configuration; finding such a vector would show the gauge group $\\Delta$ is overestimated and would invalidate the computed $f_z$ values. Alternatively, exhibit a binary spin model on a lattice for which the paper's method gives strictly positive $f_z$ for every finite cluster size, which would disprove the conjecture that all such systems have finite-range frustration.","supporting_citations":[{"cited_title":"Taffs and C","cited_arxiv_id":null,"evidence_quote":"Supplies the entropy functional $S(c)$ and the free-energy representation that underpin the structural-composition thermodynamics used throughout."},{"cited_title":"Ronceray and P","cited_arxiv_id":null,"evidence_quote":"Provides the high-temperature covariance matrix $C$ and the treatment of forbidden compositions used to characterize the gauge space of energy displacements."},{"cited_title":"Ronceray and P","cited_arxiv_id":null,"evidence_quote":"Extends the structural-covariance approach to freezing thermodynamics, supporting the linear analysis around the infinite-temperature limit."},{"cited_title":"This makes the problem numerically tractable","cited_arxiv_id":null,"evidence_quote":"Defines the Favoured Local Structures model on lattices and supplies the systematic ground-state search whose candidates are later certified by the frustration criterion."},{"cited_title":"[17, 19], the local cluster considered are empty coordination shells, where the spin value at the central site is indifferent","cited_arxiv_id":null,"evidence_quote":"Gives the boundary-energy argument used to bound how fast frustration must decay with scale in any long-range frustrated system."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the derivative-structure enumeration algorithm used to construct the crystalline ground-state candidates whose optimality is proven when $f_z=0$."}],"review_version":1}