A Generic Full-Spectrum Converse for Free Parafermions at Every Order N >= 3
Authors/Creators
Description
This candidate proves an all-order converse for independently coupled universal Weyl graph algebras whose commutation phases are 1, q and q inverse. Canonical full-spectrum freeness is equivalent to the oriented graph being an oriented indifference graph. Outside this class the free-coupling locus is a proper complex algebraic set. The package also provides a cubic-time switching recogniser, an injective-label physical-realisation criterion and an exact census through six Hamiltonian terms. Arbitrary phases, dependent labels and sector-specific mode lists are outside the theorem.
Unrefereed candidate. All local finite replay and supplied reviewer checks passed. The universal proof is not formally verified; supplied AI-assisted review and separate implementations are not unaffiliated reproduction or external human peer review. No exhaustive priority clearance or applied validation is claimed.
Original prose/data CC0-1.0; original code MIT. Preserved third-party records retain their own rights. See LICENSES.md. Version 1.0.1 clarifies the real-to-complex sufficiency extension, even-order central phase, explicit N=4 fork invariant, physical applicability and Ruh–Elman comparison. Main classification unchanged.
Files
AI_INDEX.md
Files
(2.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:c38353a918c6b401b618d84f7b588c4a
|
4.2 kB | Preview Download |
|
md5:a764e1f3d852404b91dc45b0eed94227
|
2.0 MB | Preview Download |
|
md5:f575eff777e0c0bf530cb0d59c75754d
|
440.4 kB | Preview Download |
|
md5:054dce5ac2fe863808b7ef297d94df1c
|
58.7 kB | Download |
|
md5:4aab3fb6d64373a9e5dac81925c4899d
|
429 Bytes | Download |
|
md5:7ee85c3db04e0ae46c3394cbe1596005
|
11.2 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/ipitchford/free-parafermion-converse (URL)
References
- Mann, Elman, Wood and Chapman (2025), A graph-theoretic framework for free-parafermion solvability: oriented-indifference sufficiency is the imported baseline. The candidate supplies necessity for its stricter canonical full-spectrum formulation. https://doi.org/10.1098/rspa.2024.0671
- Fendley (2014), Free parafermions: foundational free-parafermion models and spectral structure. https://doi.org/10.1088/1751-8113/47/7/075001
- Baricz and Singh (2018), Zeros of some special entire functions: positive-parameter hypergeometric zero-location input to the cumulant argument. https://arxiv.org/abs/1702.00626v2
- Rutter, Strash, Stumpf and Vollmer (2025), Simultaneous representation of proper and unit interval graphs: straight-enumeration uniqueness, Proposition 2. https://doi.org/10.1007/s00453-025-01296-x
- Ruh and Elman (2026), Expanding the class of free fermions via twin-collapse methods: sector reductions and representation equivalence, not the same global-grid converse; qudit false-twin orientations differ from the same-direction fork here. https://doi.org/10.1103/svfv-vdh5