Antiferromagnetic Long-Range Order in a Lattice Fermion Model

Tohru Koma; Yukimi Goto

REVIEW 2 major objections 2 minor 5 references

Antiferromagnetic Long-Range Order in a Lattice Fermion Model

T0 review · 2 major / 2 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read A Weyl-type lattice fermion model provably develops antiferromagnetic order at low temperature.

desk verdict The attached full text is an unrelated algebraic geometry paper, so the claimed proofs are unassessable; the abstract's approach is plausible and merits review once the correct manuscript is supplied. read the letter →

arxiv 2508.12421 v2 pith:NXCHRQVZ submitted 2025-08-17 math-ph cond-mat.stat-mechmath.MP

Yukimi Goto , Tohru Koma This is my paper · ORCID

classification math-phcond-mat.stat-mechmath.MP MSC 82B2082B26

keywords latticefermionmodelWeyldispersionreflectionpositivityantiferromagneticlong-rangeorderstrongcouplingcubicstatisticalmechanics

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 studies a three-dimensional cubic-lattice fermion model whose hopping term has a Weyl-type dispersion and whose interactions are antiferromagnetic. It proves that this model satisfies reflection positivity, and uses that property to establish the existence of antiferromagnetic long-range order at low temperatures in the strong-coupling regime. If correct, this gives a rigorous example of an ordered magnetic phase in a fermion system with nontrivial band structure, where such proofs are rare.

What carries the argument

Reflection positivity is the central mechanism. For a lattice model, this property holds when, with respect to some reflection plane and boundary condition, the partition function and correlation functions satisfy an inequality such as $\langle A \theta(A) \rangle \ge 0$, where $\theta$ is the reflection. This allows the use of correlation inequalities to prove the existence of ordering. The Weyl-type hopping is designed so that this property can be established.

What would settle it

An explicit check of the reflection-positivity condition for the proposed Weyl hopping on a small finite cubic lattice: if the required inequality fails for every reflection plane and boundary condition, the proof's premise is false. Alternatively, a low-temperature Monte Carlo simulation of the model in the strong-coupling regime that shows zero staggered magnetization would contradict the claim.

Watch

Extended reading notes

Core claim

The central claim is that, in the strong-coupling regime and at sufficiently low temperature, the model exhibits antiferromagnetic long-range order. The proof proceeds in two steps: first, the model is shown to be reflection positive, meaning its correlations respect a certain reflection symmetry; then reflection-positivity inequalities are used to bound the staggered magnetization away from zero, establishing long-range order.

Load-bearing premise

The proof rests on the existence of a reflection plane and boundary condition for which the Weyl-type hopping term is reflection positive; if this property fails, the argument for long-range order collapses.

Editorial extensions

If this is right

The model becomes a rigorous example of an antiferromagnetic phase in a fermion system with Weyl-type band structure, a regime where rigorous results on ordering are scarce.
Reflection positivity can be leveraged to prove additional properties, such as exponential decay of correlations in the disordered phase or bounds on critical exponents.
The method may extend to other lattice fermion models with complex hopping phases, provided a reflection-positive representation exists.
The proof supports the physical expectation that strong interactions can overcome the kinetic energy of Weyl fermions and drive magnetic ordering.

Reading between the lines

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

If the mechanism is robust, interacting Weyl semimetals with short-range repulsion might exhibit antiferromagnetic order at low temperature in the strong-coupling regime, though the paper's lattice model is not a direct continuum Weyl semimetal.
The reflection-positivity approach might be adapted to prove charge-density-wave or superconducting order in similar models by choosing different reflection-invariant observables.
A numerical study of the critical temperature and order parameter would complement the proof and test whether the strong-coupling regime is necessary.

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.

Desk Editor's Note

read the letter

The attached file is not the paper. The abstract describes a rigorous proof of reflection positivity and antiferromagnetic long-range order in a 3D Weyl-type lattice fermion model, but the full text is de Fernex and Mere's 'Relative Mather discrepancy on arc spaces,' an unrelated algebraic geometry paper. So there is no proof in front of us. I cannot assess the mathematics at all.

What the abstract promises is plausible. Reflection positivity plus an infrared bound is the standard route to long-range order in fermionic lattice models, and applying it to a Weyl-type dispersion in 3D would be a legitimate extension of known results. If the proof goes through, it is a rigorous confirmation of expected order in a strong-coupling regime. That is useful, especially for the mathematically inclined condensed matter community. The abstract cites no prior work, so I cannot tell whether the reflection-positivity construction is genuinely new or a routine adaptation of Lieb or Kubo–Kishi. The novel part would presumably be handling the complex hopping phases of the Weyl dispersion, which is exactly where reflection positivity can fail.

The soft spots are not subtle. The proof text is absent, and the abstract gives no detail on the hopping structure, the reflection planes, or the boundary conditions. Those are load-bearing for reflection positivity. A referee needs to see how the Weyl phases are accommodated. Without that, the claim is unverifiable. There is also a minor issue: the paper appears to have no referenced literature, which would make novelty evaluation hard even if the correct text were present.

If this is a submission mix-up, the fix is simple: get the correct manuscript from the authors and resubmit. I would not desk reject the underlying claim on the merits, but I also would not send this version to a referee; there is nothing to referee. Once a correct full text is available, the paper should absolutely go to a competent mathematical-physics referee, with special attention to the reflection-positivity condition. As it stands, the document should be returned to the authors.

In short: the idea is worth pursuing, but this submission is not a paper yet.

Referee Report

2 major / 2 minor

Summary. The submitted manuscript arXiv:2508.12421 is titled "Antiferromagnetic Long-Range Order in a Lattice Fermion Model" and its abstract claims a rigorous proof of reflection positivity and, from it, antiferromagnetic long-range order at low temperatures in the strong-coupling regime for a three-dimensional cubic-lattice fermion model with Weyl-type dispersion. However, the full text supplied is not this paper: it is "Relative Mather discrepancy on arc spaces" by Tommaso de Fernex and Zach Mere (arXiv:2508.12420v4), an unrelated algebraic geometry manuscript. None of the claimed fermion model, Hamiltonian, reflection-positive representation, infrared-bound argument, or theorem statements appears anywhere in the body.

Significance. If the theorem stated in the abstract were correct, the result would be significant: it would provide a rigorous example of antiferromagnetic long-range order in a lattice fermion model with Weyl-type hopping, extending the reflection-positivity method to complex hopping phases. The abstract's outline (prove reflection positivity, then derive long-range order via an infrared bound) is a standard and plausible strategy. However, because the submitted manuscript contains none of the actual mathematics for this claim, the significance cannot be assessed beyond the abstract's promise. The paper also offers no machine-checked proofs, reproducible code, or independent verifiable derivations.

major comments (2)

[Full text (entire document)] The body of the submission is an unrelated algebraic geometry paper on relative Mather discrepancy and arc spaces. The claimed fermion model, its Hamiltonian, the reflection planes and boundary conditions, the proof of reflection positivity, and the derivation of long-range order are entirely absent. This is a load-bearing evidentiary gap: there is no mathematical argument available for scrutiny. The submission therefore does not support the abstract's claims in any way.
[Abstract] The central assertion, "We prove that the model has reflection positivity," is unsupported. For a Weyl-type dispersion with complex hopping phases, reflection positivity is not automatic; the proof must identify a lattice reflection plane and compatible boundary conditions with respect to which the hopping matrix is reflection-positive. The abstract gives no indication of how this is achieved, and the manuscript body provides no derivation. This missing support is fatal to the paper's central claim as submitted.

minor comments (2)

[Title and abstract] The title and abstract describe a lattice fermion model, but the full text is an algebraic geometry paper; the metadata is internally inconsistent.
[References] The reference list consists of algebraic geometry citations and contains no references to reflection positivity, Dyson–Lieb–Simon infrared bounds, fermionic lattice models, or antiferromagnetism, further confirming that the body is not the claimed paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detectable; the supplied full text is an unrelated algebraic geometry paper, so the derivation chain of the claimed fermion model cannot be audited.

full rationale

The abstract alone describes a forward derivation: first prove reflection positivity from the lattice fermion model with Weyl-type hopping, then use reflection positivity to prove antiferromagnetic long-range order in a strong-coupling regime. There are no fitted parameters renamed as predictions, no parameter defined in terms of the target quantity, no self-citation invoked as a load-bearing premise, and no known result repackaged under new names. The claim that reflection positivity holds is nontrivial for complex hopping phases, but that is a correctness risk, not a circularity. The full text attached to this submission is 'Relative Mather discrepancy on arc spaces' by de Fernex and Mere (arXiv:2508.12420v4), which contains none of the Hamiltonian, hopping amplitudes, reflection planes, boundary conditions, or infrared-bound argument needed to assess the proof. This evidentiary gap prevents any circularity audit: there is no derivational chain to inspect and no equation to compare against its inputs. A missing or mismatched manuscript is a completeness problem, not evidence of circular reasoning. Therefore the honest finding is no significant circularity, score 0.

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

The central claims rest on the standard reflection-positivity-to-long-range-order machinery; the model-specific assumptions (3D cubic lattice, Weyl-type hopping, antiferromagnetic interaction, strong coupling) come from the abstract. No free parameters are visible, and no invented entities are introduced. A full audit is impossible because the attached full text belongs to a different paper.

assumptions (3)

domain assumption The model's thermal (Gibbs or KMS) states exist in the thermodynamic limit on the 3D cubic lattice.
Invoked implicitly in the abstract's claim of long-range order at low temperatures; the abstract does not discuss the infinite-volume limit.
standard math Known theorem: reflection positivity of the finite-volume state plus a positive infrared bound (Gaussian domination) implies long-range order.
The abstract says 'by relying on the property, we prove... long-range order', which is the standard Dyson-Lieb-Simon / Froehlich-Simon-Spencer route; the details are not shown.
domain assumption The Weyl-type hopping term admits a reflection-positive representation with respect to at least one lattice plane and boundary condition.
Reflection positivity is a strong condition on hopping amplitudes; the abstract asserts it is proved, but the text does not show which reflection planes and boundary conditions make it work.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Antiferromagnetic Long-Range Order in a Lattice Fermion Model." pith.science (2026). https://pith.science/paper/NXCHRQVZ

@misc{pith2026250812421,
  author       = {Pith},
  title        = {Pith review of: Antiferromagnetic Long-Range Order in a Lattice Fermion Model},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NXCHRQVZ}},
  note         = {Machine review of arXiv:2508.12421}
}

read the original abstract

We study a lattice fermion model with antiferromagnetic interactions on the three-dimensional cubic lattice. The hopping term of the Hamiltonian has a Weyl-type dispersion. We prove that the model has reflection positivity. Moreover, by relying on the property, we prove the existence of the antiferromagnetic long-range order at low temperatures in a strong coupling regime.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages

[1]

Relative Mather discrepancy on arc spaces

�� TOMMASO DE FERNEX AND ZACH MERE ��Given any generically ´ etale morphism of varietiesf:X→Y, we define the relative Mather discrepancy function on the arc spaceX ∞ of the domain and show that this function computes the dimension of the kernel of the differential map of the induced morphism on arc spacesf ∞ :...

work page Pith review arXiv 2020
[1989]

Reid.↑9 [Orl05] D

Translated from the Japanese by M. Reid.↑9 [Orl05] D. O. Orlov,�� , Uspekhi Mat. Nauk��(2005), no. 6(366), 231–232 (Russian); English transl., Russian Math. Surveys��(2005), no. 6, 1242– 1244.↑3 [SU21] Matthew Satriano and Jeremy Usatine,� �� (2021). Preprint...

work page 2005
[1995]

Lecture at Orsay.↑3 [Mac74] R. D. MacPherson,�� , Ann. of Math. (2)��(1974), 423–432.↑1 [Mat70] John Mather,�� (1970). Mimeographed notes, Harvard University. ↑1 [Mat89] Hideyuki Matsumura,�� , 2nd ed., Cambridge Studies in Advanced Math- ematics, vol. 8, Cambridge ...

work page 1974
[1998]

With the collaboration of C. H. Clemens and A. Corti; Translated from the 1998 Japanese original.↑9, 12 [Kon95] Maxim Kontsevich,�� ,

work page 1998
[2005]

Part 2, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 505–546.↑4 [Kaw02] Yujiro Kawamata,D�� K��, J. Differential Geom.��(2002), no. 1, 147–171.↑3 [KM98] J´ anos Koll´ ar and Shigefumi Mori,�� , Cambridge Tracts in Mathematics, vol. 134, Cambridge University Pre...

work page 2009

Pith tools

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

[1] [1]

Relative Mather discrepancy on arc spaces

�� TOMMASO DE FERNEX AND ZACH MERE ��Given any generically ´ etale morphism of varietiesf:X→Y, we define the relative Mather discrepancy function on the arc spaceX ∞ of the domain and show that this function computes the dimension of the kernel of the differential map of the induced morphism on arc spacesf ∞ :...

work page Pith review arXiv 2020

[2] [1989]

Reid.↑9 [Orl05] D

Translated from the Japanese by M. Reid.↑9 [Orl05] D. O. Orlov,�� , Uspekhi Mat. Nauk��(2005), no. 6(366), 231–232 (Russian); English transl., Russian Math. Surveys��(2005), no. 6, 1242– 1244.↑3 [SU21] Matthew Satriano and Jeremy Usatine,� �� (2021). Preprint...

work page 2005

[3] [1995]

Lecture at Orsay.↑3 [Mac74] R. D. MacPherson,�� , Ann. of Math. (2)��(1974), 423–432.↑1 [Mat70] John Mather,�� (1970). Mimeographed notes, Harvard University. ↑1 [Mat89] Hideyuki Matsumura,�� , 2nd ed., Cambridge Studies in Advanced Math- ematics, vol. 8, Cambridge ...

work page 1974

[4] [1998]

With the collaboration of C. H. Clemens and A. Corti; Translated from the 1998 Japanese original.↑9, 12 [Kon95] Maxim Kontsevich,�� ,

work page 1998

[5] [2005]

Part 2, Proc. Sympos. Pure Math., vol. 80, Amer. Math. Soc., Providence, RI, 2009, pp. 505–546.↑4 [Kaw02] Yujiro Kawamata,D�� K��, J. Differential Geom.��(2002), no. 1, 147–171.↑3 [KM98] J´ anos Koll´ ar and Shigefumi Mori,�� , Cambridge Tracts in Mathematics, vol. 134, Cambridge University Pre...

work page 2009