Hidden symmetry at the diabolical points of a biaxial spin

Shadan Ghassemi Tabrizi

Hidden symmetry at the diabolical points of a biaxial spin

T0 review · 0 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read At every diabolical point of the biaxial spin Hamiltonian, the chain is severed twice in two rotated frames, and the two non-commuting projectors that result are the hidden symmetry, fixing exact multiplicities and a uniform Chern charge of

desk verdict A checkable, genuinely new mechanism for the exact diabolical-point lattice of the quadratic biaxial spin, with an explicit pairing operator and sign-definite determinant; solid math, but the exact hidden symmetry does not survive the quartic Fe8 term. read the letter →

arxiv 2607.26308 v1 pith:55KVFDRQ submitted 2026-07-28 cond-mat.str-el

Shadan Ghassemi Tabrizi This is my paper · ORCID

classification cond-mat.str-el

keywords biaxialspindiabolicalpointshiddensymmetrytight-bindingchainprojectorsmultiplicityChernchargemolecularmagnets

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 claims that the exact diabolical-point lattice of the quadratic biaxial spin Hamiltonian is fully explained by a hidden symmetry: at each degeneracy the spin system is, in two distinct rotated frames, a tight-binding chain severed at a bond. The two severings are realized by projectors that commute with the Hamiltonian but not with each other. An operator built from them pairs the degenerate levels, and its rank gives the exact multiplicity at every lattice point. Because the two partners of each doublet occupy disjoint stretches of the chain, an exact, sign-definite determinant fixes the orientation of every cone, so the lower level always carries Chern charge -1. If true, this converts a previously topological or continuity-based accounting of the degeneracies into a direct algebraic computation at the physical anisotropy.

What carries the argument

The two spectral-cut projectors Pm = 1_{[-J,m]}(Z+) and Qn = 1_{[-J,n]}(Z-), where Z+ and Z- are the spin components in the two rotated frames; they commute with the Hamiltonian at a lattice point but not with each other. The operator Bmn = Pm Qn (1 - Pm) is nilpotent and pairs the degenerate levels, its rank counting them. The exact determinant formula det M = - (ℓ_m^2 α^2 β^2 / 8)(⟨Z+⟩_R - ⟨Z+⟩_L) fixes the cone orientation.

What would settle it

At a specific lattice point, e.g., J=1, (m,n)=(0,-1) at h_x = k1 s, compute the splitting matrix M in the original field frame (h_x, h_y, h_z) using the paper's equations; if det M is positive or zero for any doublet, or if the number of doublets differs from f(m,n), the central claim fails. The paper reports all checks pass for J up to 4 and k2/k1 in {0.05, 0.3, 0.9}.

Watch

Extended reading notes

Core claim

At a diabolical point of H = k1 Sx^2 + k2 Sy^2 - h·S with 0 < k2 < k1, the Hamiltonian is exactly a tridiagonal tight-binding chain in each of two frames rotated about the y-axis. A degeneracy forces a hopping amplitude to vanish, severing the chain. At every point of the exact DP lattice, the chain is severed in both frames at independently labeled bonds. The corresponding projection operators Pm and Qn commute with H but not with each other; this non-commutativity is the hidden symmetry. The operator Bmn = Pm Qn (1 - Pm) is a nilpotent pairing operator whose rank equals the multiplicity f(m,n) = min{p, q, N-p, N-q}. Because the two partners of any doublet occupy disjoint, ordered segments

Load-bearing premise

The entire construction rests on the Hamiltonian being exactly the pure quadratic biaxial form k1 Sx^2 + k2 Sy^2 with 0 < k2 < k1; the rotated frames are selected by requiring the X_ε^2 coefficient to vanish, and any fourth-order anisotropy breaks the commuting projectors.

Editorial extensions

If this is right

The sum rule Σ f(m,n) = (2/3)J(J+1)(2J+1) and the level-resolved count N_k = k(N-k) follow from the chain structure without topological input.
Every diabolical point is a linear cone of unit index, and the lower level of every doublet carries Chern charge -1, so the orientation is uniform over the whole lattice.
The multiplicities are computed at the physical anisotropy, replacing the previous continuity-plus-topology argument.
Under a fourth-order perturbation -C(S_+^4 + S_-^4), the projectors cease to commute, and degeneracies move or split; at zero field with half-integer J the Kramers degeneracy remains pinned.
The two lowest levels meet at exactly 2J diabolical points, all on the hard axis, giving quenching fields h_x = k1 s (2m+1).

Reading between the lines

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

If the same two-cut mechanism extends to other bispectral pairs, families of diabolical points with exact multiplicities could be engineered in synthetic spin systems by tuning hopping parameters.
The sign-definite determinant suggests that any quadratic spin model with this anisotropy structure will have all its lower doublets with the same monopole sign, a prediction testable in half-integer lanthanide magnets.
The exact nilpotent pairing operator Bmn might be used to construct a closed-form expression for the tunnel splitting near a diabolical point, going beyond the leading-order determinant.
For J=4 and k2/k1=0.05 the minimal |det M| is about 4.8×10^-11; a numerical search that mistakes a narrow cone for a non-conical degeneracy would be a direct test, with formula (26) giving an exact reference.

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

Read this one. It answers the question Garg and Kececioglu–Garg left open: at every lattice point the Hamiltonian has two commuting projectors that don't commute with each other, built from spectral cuts of the two rotated frames, and that non-commutativity forces the degeneracies. The rank formula f(m,n)=min{p,q,N-p,N-q} and the determinant formula (26) are new, and they replace the earlier continuity-plus-topology derivation with an explicit computation at physical anisotropy. The Majorana-star counting in Appendix B is clear, and the derivation of the tridiagonal chain in Section II is fully checkable. The numerical verification is unusually thorough: ranks, multiplicities, determinant signs, and the Fe8 census all reproduced by a provided script. I did not run the script, but the in-paper data is consistent and the thresholds are stated.

The main caveat is scope, and the paper states it honestly in Section VII. The exact results are for the pure quadratic Hamiltonian H=k1 Sx^2 + k2 Sy^2 - h·S. The quartic term -C(S+^4 + S-^4) that matters for Fe8 breaks [H,P_m], so the hidden symmetry is not a symmetry of the real material. The quadratic model is still the standard starting point, and the paper's treatment of the quartic term as a perturbation with numerical statements is appropriately labeled. That limitation is real but it is a scope boundary, not a hidden flaw.

Two smaller things. The transversal certification (smallest singular values, the determinant identity for corner minors) lives in the Supplemental Material; the paper's Appendix B gives the dimensions but the certified version is deferred. Given the code is available, that's fine, but a referee should actually run it. Also the determinant sign depends on a convention for the Berry charge; the paper defines its convention carefully and compares with Bruno's opposite sign, so no issue, but the reader should keep that in mind.

If the central argument holds up—and I believe it does—this is a genuine advance for the coupling between spin chains, bispectral pairs, and magnetic diabolical points. It is not a broad physics breakthrough, but it is a clean, rigorous result that deserves a careful referee.

Recommendation: send it to peer review. The math is checkable, the novelty is real, and the paper is honest about its limits.

Referee Report

0 major / 4 minor

Summary. The paper studies the quadratic biaxial spin Hamiltonian H = k1 Sx^2 + k2 Sy^2 − h·S. By rotating the spin frame through an angle θ with cos θ = sqrt(k2/k1), the Hamiltonian becomes a tridiagonal tight-binding chain in the eigenbasis of either rotated axis Z±. At the Keçecioğlu–Garg diabolical-point lattice (8), exactly one hopping vanishes in each of the two chains, at bonds labeled m and n. The corresponding spectral projectors Pm and Qn commute with H_mn but not with each other, realizing the hidden symmetry anticipated by Garg. Results 1–4 establish: (i) the two cut projectors commute with H_mn; (ii) rank B_mn = f(m,n) = min{p,q,N−p,N−q} for B_mn = Pm Qn (1−Pm), via a Majorana-star count; (iii) H_mn has exactly f(m,n) distinct twofold-degenerate eigenvalues, with no higher multiplicities; and (iv) the splitting Jacobian has det M = −(ℓ_m^2 α^2 β^2/8)(⟨Z+⟩_R − ⟨Z+⟩_L) < 0, so every cone has lower-level Chern charge −1. Bruno's sum rules are recovered as corollaries. The paper includes numerical verification for J ≤ 4 and explicitly limits the exact results to the quadratic model; Sec. VII shows that the Fe8 quartic term breaks [H,Pm].

Significance. If correct, this resolves a long-standing question by identifying the hidden dynamical symmetry behind the exact DP lattice of the biaxial spin. It replaces the earlier continuity/topological multiplicity argument with a direct rank computation at the physical anisotropy, and it gives a closed, sign-definite expression for the orientation of every cone. The connection to finite time–band limiting and the Heun–Krawtchouk algebra is a new and interesting link. Strengths include explicit algebraic proofs, a public verification script, reproducible numerical checks, and clear disclosure that the exact results apply to the quadratic Hamiltonian (1).

minor comments (4)

[Sec. III, Eq. (12)] The symmetric form of H_mn in Eq. (12) is stated without derivation in the main text. A one-sentence indication that it follows from the Casimir identity and the lattice conditions (as shown in the Supplemental Material) would improve readability.
[Sec. V, Eq. (27)] The basis ordering in Eq. (27) is implicit. Please state explicitly that |+⟩ = |L⟩ and |−⟩ = |R⟩, since the signs of M_{3u} and M_{3w} depend on this convention.
[Sec. IV, App. B] The phrase 'common eigenspaces' for the noncommuting projectors P_m and Q_n is slightly misleading; 'simultaneous eigenspaces' or 'joint eigenspaces' would be clearer.
[Sec. VII] The paper explicitly notes that the Fe8 fourth-order term breaks [H,P_m], limiting all exact Results 1–4 to the quadratic model. This is a disclosed scope limitation rather than a flaw, but the abstract or introduction could state this restriction more prominently to avoid overgeneralization for molecular magnets.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central two-cut construction, rank formula, and sign-definite determinant are derived independently of the cited DP-lattice and sum-rule results, which function as benchmarks rather than inputs.

full rationale

The paper's derivation chain is self-contained. The lattice condition (8) is rederived from the necessary condition that any degeneracy in a tridiagonal chain requires a vanishing hopping, with the field conditions obtained independently in the two rotated frames; the paper explicitly notes that Eq. (8) alone does not assert degeneracy. The exact multiplicity f(m,n) in Result 3 is not imported from Kececioglu and Garg but computed from the rank of the explicit pairing operator B_mn via the Majorana-star counting argument in Appendix B, with the KG multiplicity cited afterward only as a consistency check. The absence of extra doublets is argued directly from the simplicity of the two severed chain segments and the common eigenspace dimensions, not from the prior topological counting. The determinant formula (26) is an exact evaluation of the splitting Jacobian using the disjoint, ordered supports of the doublet partners, giving a manifestly negative determinant and hence uniform Chern charge without fitting or prior orientation input. Bruno's sum rules are likewise recovered as corollaries, not used as premises. The cited prior results on the exact diabolical lattice and the conjectured hidden symmetry are external benchmarks and motivation, not load-bearing elements of the proof. The only significant restriction, that the exact hidden symmetry holds for the pure quadratic biaxial Hamiltonian and is broken by the Fe8 quartic term, is explicitly and repeatedly disclosed in Sec. VII; this is a scope limitation, not circularity. No free parameters are fitted, and the numerical verification is an independent check. No self-citation chain is load-bearing.

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

No free parameters are fitted; k1, k2, and J are fixed model inputs. The axioms are standard su(2), Jacobi-matrix, and Majorana-polynomial facts plus the quadratic-biaxial domain assumption. No new particles, mediators, forces, or dimensions are introduced. The hidden symmetry is not an invented entity but a pair of projectors constructed from the spin components themselves.

assumptions (4)

standard math Finite-dimensional su(2) representation with N=2J+1, standard spin commutation relations and Casimir identity.
Used throughout, e.g., Eq. (6) and Appendix A, to rewrite H in rotated frames.
standard math A Hermitian tridiagonal matrix with all off-diagonal entries nonzero (irreducible Jacobi matrix) has simple spectrum and nonzero end-site amplitudes.
Core of the chain argument in Sec. I.A and Appendix A: degeneracy requires a severed bond.
standard math Majorana stellar representation: spin-J states correspond to polynomials of degree at most 2J; demanding at least a stars at one distinct point and b at another gives a subspace of dimension 2J-a-b+1.
Used in Appendix B to compute the dimensions of the four common eigenspaces of Pm and Qn.
domain assumption The physical model is exactly quadratic in spin with no fourth-order anisotropy: H = k1 Sx^2 + k2 Sy^2 - h·S, with 0<k2<k1.
The two-cut theorem is about this Hamiltonian; Sec. VII explicitly separates the quartic Fe8 term and shows the projectors then fail to commute.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Hidden symmetry at the diabolical points of a biaxial spin." pith.science (2026). https://pith.science/paper/55KVFDRQ

@misc{pith2026260726308,
  author       = {Pith},
  title        = {Pith review of: Hidden symmetry at the diabolical points of a biaxial spin},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/55KVFDRQ}},
  note         = {Machine review of arXiv:2607.26308}
}

abstract

In a rotated frame the biaxial spin Hamiltonian $k_1S_x^2+k_2S_y^2-\mathbf{h}\cdot\mathbf{S}$ is a finite tight-binding chain whose hopping amplitudes are tuned by the applied field. A chain with no vanishing hopping has a nondegenerate spectrum, so a degeneracy can occur only where the field severs the chain. We show that at every point of the exact diabolical-point lattice found by Kececioglu and Garg the chain is severed twice over, in two different rotated frames and at two bonds that are fixed independently. The two severings are carried by projectors that commute with the Hamiltonian but not with each other. In that form they realize the hidden symmetry anticipated by Garg. A single operator built from them pairs the degenerate levels; its rank gives the multiplicity of every lattice point, replacing an earlier continuity and topological argument. Because the two partners of a doublet occupy disjoint stretches of the chain, an exact and manifestly negative determinant fixes the orientation of every cone. At every degeneracy of the model the lower level therefore carries Chern charge -1 in the convention used here.

Figures

Figures reproduced from arXiv: 2607.26308 by the authors.

**Figure 2.** FIG. 2. The DP lattice for [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗

**Figure 3.** FIG. 3. Counting stars. A spin- [PITH_FULL_IMAGE:figures/full_fig_p005_3.png] view at source ↗

Figures from the paper (2 more)

**Figure 4.** Figure 4: FIG. 4. Smallest [PITH_FULL_IMAGE:figures/full_fig_p007_4.png]

**Figure 5.** Figure 5: FIG. 5. Spectrum along the cut line [PITH_FULL_IMAGE:figures/full_fig_p008_5.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 3 linked inside Pith

[1]

Garg, Europhys

A. Garg, Europhys. Lett.22, 205 (1993)

1993
[2]

Wernsdorfer and R

W. Wernsdorfer and R. Sessoli, Science284, 133 (1999)

1999
[3]

S. Paul, E. Moreno-Pineda, C. Molina-Jir´ on, A. Sunil, M. Ruben, A. Garg, and W. Wernsdorfer, Nat. Commun. 17, 5579 (2026)

2026
[4]

von Neumann and E

J. von Neumann and E. P. Wigner, Phys. Z.30, 467 (1929)

1929
[5]

M. V. Berry and M. Wilkinson, Proc. R. Soc. Lond. A 392, 15 (1984)

1984
[6]

M. V. Berry, Proc. R. Soc. Lond. A392, 45 (1984)

1984
[7]

Garg, Am

A. Garg, Am. J. Phys.78, 661 (2010)

2010
[8]

Garg, Phys

A. Garg, Phys. Rev. B64, 094413 (2001)

2001

Show all 28 references

[9]

Garg, Phys

A. Garg, Phys. Rev. B64, 094414 (2001)

2001
[10]

Villain and A

J. Villain and A. Fort, Eur. Phys. J. B17, 69 (2000)

2000
[11]

Ke¸ cecio˘ glu and A

E. Ke¸ cecio˘ glu and A. Garg, Phys. Rev. B63, 064422 (2001)

2001
[12]

Garg, Europhys

A. Garg, Europhys. Lett.50, 382 (2000)

2000
[13]

Bruno, Phys

P. Bruno, Phys. Rev. Lett.96, 117208 (2006)

2006
[14]

Preda and S

M. Preda and S. E. Barnes, arXiv:cond-mat/0112398 (2001), unpublished

2001 arXiv
[15]

R. K. Perline, SIAM J. Algebraic Discrete Methods8, 192 (1987)

1987
[16]

F. A. Gr¨ unbaum, L. Vinet, and A. Zhedanov, Commun. Math. Phys.364, 1041 (2018)

2018
[17]

Bernard, N

P.-A. Bernard, N. Cramp´ e, R. I. Nepomechie, G. Parez, and L. Vinet, arXiv:2401.07150 (2024)

2024 arXiv
[18]

Cramp´ e, L

N. Cramp´ e, L. Vinet, and A. Zhedanov, Proc. Am. Math. Soc.148, 1079 (2020)

2020
[19]

[11], the determinant proof of transver- sality, the explicit pseudospin construction, the numerical method with all thresholds and the complete lattice data forJ= 2

See the Supplemental Material accompanying this arti- cle for the algebra of the two rotated frames, the index dictionary of Ref. [11], the determinant proof of transver- sality, the explicit pseudospin construction, the numerical method with all thresholds and the complete la...
[20]

Nomura and P

K. Nomura and P. Terwilliger, Linear Algebra Appl.437, 345 (2012)

2012
[21]

Bernard, N

P.-A. Bernard, N. Cramp´ e, D. Shaaban Kabakibo, and L. Vinet, J. Math. Phys.62, 083501 (2021)

2021
[22]

H. J. Lipkin, N. Meshkov, and A. J. Glick, Nucl. Phys. 62, 188 (1965)

1965
[23]

V. V. Mangazeev, M. T. Batchelor, and V. V. Bazhanov, J. Phys. A54, 12LT01 (2021)

2021
[24]

Majorana, Nuovo Cimento9, 43 (1932)

E. Majorana, Nuovo Cimento9, 43 (1932)

1932
[25]

Li and A

F. Li and A. Garg, Phys. Rev. B83, 132401 (2011), 12 arXiv:1011.4326

2011 arXiv
[26]

Ke¸ cecio˘ glu and A

E. Ke¸ cecio˘ glu and A. Garg, Phys. Rev. Lett.88, 237205 (2002)

2002
[27]

Ke¸ cecio˘ glu and A

E. Ke¸ cecio˘ glu and A. Garg, Phys. Rev. B67, 054406 (2003)

2003
[28]

P. R. Halmos, Trans. Am. Math. Soc.144, 381 (1969)

1969

Pith tools

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

[1] [1]

Garg, Europhys

A. Garg, Europhys. Lett.22, 205 (1993)

1993

[2] [2]

Wernsdorfer and R

W. Wernsdorfer and R. Sessoli, Science284, 133 (1999)

1999

[3] [3]

S. Paul, E. Moreno-Pineda, C. Molina-Jir´ on, A. Sunil, M. Ruben, A. Garg, and W. Wernsdorfer, Nat. Commun. 17, 5579 (2026)

2026

[4] [4]

von Neumann and E

J. von Neumann and E. P. Wigner, Phys. Z.30, 467 (1929)

1929

[5] [5]

M. V. Berry and M. Wilkinson, Proc. R. Soc. Lond. A 392, 15 (1984)

1984

[6] [6]

M. V. Berry, Proc. R. Soc. Lond. A392, 45 (1984)

1984

[7] [7]

Garg, Am

A. Garg, Am. J. Phys.78, 661 (2010)

2010

[8] [8]

Garg, Phys

A. Garg, Phys. Rev. B64, 094413 (2001)

2001