pith. sign in

arxiv: 2511.21453 · v2 · pith:IJLQIEW2new · submitted 2025-11-26 · 🧮 math-ph · math.MP

Long-Range Antiferromagnetic Order in the AKLT Model on Trees and Treelike Graphs

Thomas Jackson This is my paper

Pith reviewed 2026-05-21 19:15 UTC · model grok-4.3

classification 🧮 math-ph math.MP
keywords AKLT modellong-range orderantiferromagnetic orderCayley treestree-like graphsquantum spin systemsbilayer structuresvolume growth
0
0 comments X

The pith

The AKLT model has long-range antiferromagnetic order on trees and treelike graphs that meet specified conditions.

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

The paper extends an earlier result showing long-range order in the AKLT model on Cayley trees to a wider collection of trees and tree-like graphs. The extension covers three families: graphs generated in a Cayley-like manner from a finite subgraph, trees whose volume grows at a prescribed rate, and bilayer Cayley trees. A sympathetic reader would care because the result indicates that antiferromagnetic order survives changes in graph structure provided the graphs obey the stated growth or generation rules. This broadens the class of lattices where the model is known to display order without requiring full regularity.

Core claim

We extend the result of Fannes, Nachtergaele, and Werner on long-range order in the AKLT model on Cayley trees to include various trees and tree-like graphs that obey certain conditions. Our examples split into three cases: Cayley-like tree-like graphs generated by a finite subgraph, for which we have a simple condition; arbitrary trees with a prescribed growth rate of their volume; and bilayer Cayley trees.

What carries the argument

Adaptation of the Fannes-Nachtergaele-Werner argument to graphs satisfying one of three structural conditions: generation by a finite subgraph, prescribed volume growth rate, or bilayer Cayley structure.

If this is right

  • Long-range antiferromagnetic order holds for Cayley-like tree-like graphs generated by a finite subgraph under the simple condition given.
  • Long-range antiferromagnetic order holds for arbitrary trees whose volume grows at the prescribed rate.
  • Long-range antiferromagnetic order holds for bilayer Cayley trees.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same adaptation technique may apply to other irregular lattices that share comparable local growth rules.
  • Testing the necessity of the volume-growth or bilayer conditions could clarify how much graph irregularity the order can tolerate.
  • Similar extensions might be attempted for related spin models whose ground states are known on regular trees.

Load-bearing premise

The graphs must satisfy the specific conditions stated for each of the three cases that allow the original argument to apply.

What would settle it

A concrete counter-example would be any tree or treelike graph obeying one of the three listed conditions yet showing no long-range antiferromagnetic order when the AKLT Hamiltonian is placed on it.

Figures

Figures reproduced from arXiv: 2511.21453 by Thomas Jackson.

Figure 1
Figure 1. Figure 1: Vertex of degree d = 7 with one outgoing index and six ingoing indices is unique if the limit is independent of the sequence of boundary conditions Bn. One way to compute whether the infinite volume state is independent of the boundary variables taken in the limit is to compute the spectra of the transfer operators, as in the 1-dimensional case. In order to understand the AKLT model further, we fully descr… view at source ↗
Figure 2
Figure 2. Figure 2: First two layers of Cayley tree of degree d = 5 Proof 1. Note F˜ n,d = F˜⊗(d−1)n d and F˜ d(B(x)) = 1 + Fd(||x||) · x ||x|| if ||x|| ̸= 0 and F˜ d(B((0))) = 1. Thus if there exists a value t0 ∈ [0, 1] with Fd(t0) = ±t0 then F˜ d(B(x)) − 1 = ±x for all x with ||x|| = t0. Defining the limiting boundary conditions Bn(x) = (1 + x · σ) ⊗∂Tn we have for some A ∈ A with supp(A) = {0} we have ⟨ψn(Bn(x)), Aψn(Bn(x)… view at source ↗
Figure 3
Figure 3. Figure 3: First and second layers of the quasi-Cayley tree generated by the cell on the left with root 0 and boundary {1, 2, 3}. the formulae to obtain information on the ground state. We will give a general formula for some of the quantities we have used so far. Let Λ = (VΛ, EΛ) be a finite bipartite connected graph and let us define the root 0 ∈ VΛ with deg(0) = 1 and the boundary ∂Λ ⊂ VΛ of Λ. We construct the tr… view at source ↗
Figure 4
Figure 4. Figure 4: First two layers of the quasi-Cayley tree generated from the tree on the left; note this is also the degree d = 2 Cayley tree with decoration number g = 1 0 0 [PITH_FULL_IMAGE:figures/full_fig_p013_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: First two layers of the tree from [PITH_FULL_IMAGE:figures/full_fig_p013_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: First layer of bilayer Cayley tree of degree d = 6 which has splitting number g = d − 2 = 4 Proof. For each n let αk be the index of the leaf corresponding to the minimal sequence (5.9) min {ik} Yn k=1 dik − 1 3 ! use the bound that fd(x1, ..., xn) ≥ fd(xα) and thus the composition (5.10) fdi0 (fdi1 (fdi2 (...))) ≥ ⃝n k=1fdαk (x) and from the above condition we know that from the bounds previously used tha… view at source ↗
read the original abstract

We extend the result of Fannes, Nachtergaele, and Werner on long-range order in the AKLT model on Cayley trees to include various trees and tree-like graphs that obey certain conditions. Our examples split into three cases: Cayley-like tree-like graphs generated by a finite subgraph, for which we have a simple condition; arbitrary trees with a prescribed growth rate of their volume; and bilayer Cayley trees.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The manuscript extends the Fannes-Nachtergaele-Werner result establishing long-range antiferromagnetic order in the AKLT model on Cayley trees to three classes of graphs: (i) Cayley-like tree-like graphs generated by a finite subgraph under a simple condition, (ii) arbitrary trees with a prescribed volume growth rate, and (iii) bilayer Cayley trees. The proofs adapt the recursive boundary-field propagation argument of the original FNW work to these settings.

Significance. If the claims hold rigorously, the work meaningfully enlarges the class of graphs on which the AKLT model is proven to exhibit long-range antiferromagnetic order, moving beyond regular branching to irregular trees and bilayers under explicit growth or structural hypotheses. This strengthens the applicability of the FNW recursion method and supplies concrete, checkable conditions for future examples on non-homogeneous lattices.

major comments (1)
  1. [§4] §4 (arbitrary trees with prescribed volume growth rate): The volume-growth hypothesis is used to control the inward propagation of the effective spin-1/2 boundary field. However, this global condition does not preclude the existence of arbitrarily long paths along which the local branching number drops to 1 for extended segments. Along such paths the boundary field decays exponentially (as in the one-dimensional AKLT chain), which can drive the local staggered magnetization to zero before reaching the root and thereby destroy the uniform positive lower bound required for long-range order. An explicit estimate showing that the growth rate forces a uniform lower bound despite such fluctuations is needed; without it the central claim for this class rests on an unverified uniformity assumption.
minor comments (2)
  1. [Introduction] The statement of the three cases in the introduction would benefit from explicit cross-references to the corresponding theorems and definitions.
  2. [§2] In the definition of the staggered magnetization, the choice of bipartition for general trees should be stated explicitly rather than left implicit.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the constructive major comment on our extension of the Fannes-Nachtergaele-Werner result. We address the concern regarding uniformity in the volume-growth case for arbitrary trees.

read point-by-point responses

  1. Referee: §4 (arbitrary trees with prescribed volume growth rate): The volume-growth hypothesis is used to control the inward propagation of the effective spin-1/2 boundary field. However, this global condition does not preclude the existence of arbitrarily long paths along which the local branching number drops to 1 for extended segments. Along such paths the boundary field decays exponentially (as in the one-dimensional AKLT chain), which can drive the local staggered magnetization to zero before reaching the root and thereby destroy the uniform positive lower bound required for long-range order. An explicit estimate showing that the growth rate forces a uniform lower bound despite such fluctuations is needed; without it the central claim for this class rests on an unverified uniformity assumption.

    Authors: We agree that the current text does not supply an explicit estimate controlling the effect of possible long low-branching segments. While the global volume-growth hypothesis |V_n| ≥ c r^n (r > 1) is used to bound the recursion, a direct argument ruling out destructive decay along individual paths is missing. In the revised version we will insert a new lemma that derives a uniform positive lower bound on the effective field reaching the root. The argument proceeds by showing that any path segment of length L with branching number 1 contributes only O(L) to the volume up to distance n; the exponential growth requirement then forces a compensating increase in branching elsewhere in the tree. Because the boundary-field recursion is monotone in the branching number, the stronger fields arriving from the high-branching subtrees dominate the decay along the weak path, yielding a root-field strength bounded below by a positive constant that depends only on r and the AKLT coupling. This estimate will be added to §4 together with a short discussion of the worst-case path length compatible with the growth rate. revision: yes

Circularity Check

0 steps flagged

Extension of independent FNW result under graph conditions shows no circularity

full rationale

The paper applies the external Fannes-Nachtergaele-Werner recursion argument (controlling boundary spin-1/2 fields on uniform-branching Cayley trees) to three classes of graphs satisfying explicit, independently verifiable conditions: Cayley-like generation by a finite subgraph, prescribed volume growth rate, or bilayer structure. These conditions are stated as graph-theoretic hypotheses that preserve the uniform lower bound on staggered magnetization in the thermodynamic limit; the derivation does not redefine the order parameter in terms of itself, rename a fit as a prediction, or rely on any self-citation chain. The foundational uniqueness or recursion control is imported from non-overlapping prior authors and remains externally falsifiable. No load-bearing step reduces by construction to the paper's own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no free parameters, axioms, or invented entities are explicitly introduced; the work appears to rely on the background assumptions of the original Fannes-Nachtergaele-Werner theorem and standard properties of trees and graphs.

pith-pipeline@v0.9.0 · 5585 in / 1161 out tokens · 32334 ms · 2026-05-21T19:15:55.080632+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Forward citations

Cited by 2 Pith papers

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

  1. Local Topological Quantum Order and Spectral Gap Stability for the AKLT Models on the Hexagonal and Lieb Lattices

    math-ph 2026-05 unverdicted novelty 6.0

    AKLT models on hexagonal and Lieb lattices satisfy LTQO via polymer expansions, implying spectral gap stability under perturbations.

  2. Local Topological Quantum Order and Spectral Gap Stability for the AKLT Models on the Hexagonal and Lieb Lattices

    math-ph 2026-05 unverdicted novelty 6.0

    Proves LTQO for AKLT models on hexagonal and Lieb lattices by modifying the 1988 polymer representation to obtain uniform exponential decay of boundary effects.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · cited by 1 Pith paper

  1. [1]

    Lieb, and Hal Tasaki

    Ian Affleck, Tom Kennedy, Elliott H. Lieb, and Hal Tasaki. Rigorous results on valence-bond ground states in antiferromagnets.Phys. Rev. Lett., 59:799–802, Aug 1987

    work page 1987

  2. [2]

    Arovas, Assa Auerbach, and F

    Daniel P. Arovas, Assa Auerbach, and F. D. M. Haldane. Extended Heisenberg models of antiferromagnetism: Analogies to the fractional quantum Hall effect.Phys. Rev. Lett., 60:531–534, Feb 1988

    work page 1988

  3. [3]

    Fannes, B

    M. Fannes, B. Nachtergaele, and R. F. Werner. Ground states of VBS models on Cayley trees.Journal of Statistical Physics, 66(3-4):939–973, February 1992

    work page 1992

  4. [4]

    F. D. M. Haldane. Nonlinear field theory of large-spin Heisenberg antiferromagnets: Semiclassically quantized solitons of the one-dimensional easy-axis N´ eel state.Phys. Rev. Lett., 50:1153–1156, Apr 1983

    work page 1983

  5. [5]

    Two-dimensional isotropic quantum antiferromagnet with unique disordered ground state.J

    T Kennedy, E H Lieb, and H Tasaki. Two-dimensional isotropic quantum antiferromagnet with unique disordered ground state.J. Stat. Phys.; (United States), 53, 10 1988

    work page 1988

  6. [6]

    A practical introduction to tensor networks: Matrix product states and projected entangled pair states.Annals of Physics, 349:117–158, October 2014

    Rom´ an Or´ us. A practical introduction to tensor networks: Matrix product states and projected entangled pair states.Annals of Physics, 349:117–158, October 2014

    work page 2014

  7. [7]

    Perez-Garcia, F

    D. Perez-Garcia, F. Verstraete, M. M. Wolf, and J. I. Cirac. Matrix product state representations, 2007

    work page 2007

  8. [8]

    Order, disorder, and transitions in decorated AKLT states on Bethe lattices, 2021

    Nicholas Pomata. Order, disorder, and transitions in decorated AKLT states on Bethe lattices, 2021

    work page 2021

  9. [9]

    Courier Dover Publications, 2018

    Hubert Stanley Wall.Analytic theory of continued fractions. Courier Dover Publications, 2018. (Thomas Jackson)Department of Mathematics and Center for Quantum Mathematics and Physics, University of California, Davis, CA 95616-8633, USA (Thomas Jackson)Department of Mathematics, United Arab Emirates University, Al Ain, Abu Dhabi, UAE

    work page 2018