arxiv: 2605.05167 · v1 · submitted 2026-05-06 · 🪐 quant-ph

Recognition: 3 theorem links

· Lean Theorem

Entanglement-Rank Duality in Quadratic Phase Quantum States

Zakaria Dahbi , Amelle Zair

Authors on Pith no claims yet

Pith reviewed 2026-05-08 17:45 UTC · model grok-4.3

classification 🪐 quant-ph

keywords quadratic phase statesrank-purity dualityabsolutely maximally entangled statesfinite fieldsRényi-2 puritymultipartite entanglementphase matrixChinese Remainder Theorem

0 comments

The pith

For quadratic-phase states over finite fields, the Rényi-2 purity of any subsystem equals the rank of the corresponding phase-matrix subblock.

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

This paper shows that in a restricted but useful class of quantum states whose phases are quadratic functions over finite fields, the entanglement between any group of particles is completely fixed by the linear-algebra rank of a matrix that encodes those phases. A reader should care because this turns the difficult problem of constructing highly entangled states into a more manageable task of ensuring that certain matrix subblocks have maximum possible rank. The work proves that the purity of a subsystem, a standard measure of how entangled it is, equals the rank of the corresponding submatrix. It further shows that absolutely maximally entangled states exist precisely when a single phase matrix has full rank across every possible cut. For dimensions that are products of distinct primes, the total entanglement splits neatly into independent contributions from each prime.

Core claim

In the quadratic-phase formalism, quantum states are defined by a symmetric matrix P over the finite field F_p. The Rényi-2 purity of any subsystem is then exactly equal to the rank of the submatrix of P obtained by restricting to the bipartition. Therefore, the existence of an absolutely maximally entangled state is equivalent to the existence of a generating matrix P for which every bipartition submatrix is full rank. When the local dimension is square-free, the Chinese Remainder Theorem allows the entanglement to factor into additive contributions from each prime field component.

What carries the argument

The symmetric phase matrix P over F_p whose bipartition submatrices have ranks that directly set the Rényi-2 purity of each subsystem.

If this is right

Purity calculations for these states reduce to ordinary matrix rank computations over the finite field.
The search for absolutely maximally entangled states reduces to constructing a single matrix P whose every bipartition submatrix has full rank.
For square-free local dimensions the Rényi-2 entropies additively decompose across the prime-field factors of the dimension.
The entanglement structure admits an exact algebraic characterisation in terms of cut-rank geometry of finite-field matrices.

Where Pith is reading between the lines

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

Explicit matrix constructions over finite fields could supply concrete examples of AME states for given numbers of parties and dimensions.
The same rank-to-purity link might be tested in nearby families of states whose phases are higher-degree polynomials.
Geometric properties of matrices over finite fields appear to control multipartite entanglement inside this ansatz.

Load-bearing premise

The results hold only for states whose wavefunction phases come from quadratic forms given by symmetric matrices over a finite field.

What would settle it

A symmetric matrix P over F_p together with a bipartition for which the Rényi-2 purity of the corresponding quantum state differs from the rank of the submatrix would disprove the claimed duality.

Figures

Figures reproduced from arXiv: 2605.05167 by Amelle Zair, Zakaria Dahbi.

**Figure 1.** Figure 1: FIG. 1 view at source ↗

read the original abstract

Absolutely Maximally Entangled (AME) states are important resources in quantum information processing; however, a general systematic approach for constructing these states remains a formidable challenge. We identify a finite-field rank structure underlying multipartite entanglement in a class of quadratic-phase quantum states defined by symmetric matrices over $\mathbb{F}_p$. We prove an exact Rank-Purity Duality: the R\'enyi-2 purity of any subsystem is determined solely by the rank of the phase matrix. Within this ansatz, the existence of an AME state is equivalent to the existence of a generating phase matrix $P$ whose bipartition submatrices are of full rank, reducing the condition for maximal entanglement to a rank constraint on $P$. This establishes a direct correspondence between entanglement and cut-rank geometry in finite-field matrices. Furthermore, for square-free local dimensions, we show that the entanglement structure factorises via the Chinese Remainder Theorem into independent prime-field contributions, yielding an exact additive decomposition of R\'enyi-2 entropies. These results provide an algebraic characterisation of entanglement in the quadratic phase formalism and enable the systematic construction of highly entangled states.

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.

Desk Editor's Note private letter to a colleague

The paper ties Rényi-2 purity exactly to matrix rank inside quadratic-phase states over finite fields and reduces AME existence to full-rank bipartition conditions on the phase matrix.

read the letter

The central result is a clean rank-purity duality: for states built from symmetric matrices over F_p, the Rényi-2 purity of any subsystem is fixed by the rank of the corresponding submatrix of the phase matrix P. This turns the search for AME states into a straightforward linear-algebra check that all bipartition submatrices of P have full rank. They also show that when the local dimension is square-free the whole structure factors via the Chinese Remainder Theorem, so the entropies add up from the prime-power pieces. That is the actual new piece; it is not just a restatement of earlier quadratic-phase work or generic AME constructions. The reduction is direct and avoids the usual exponential search over unitaries. The finite-field geometry gives an explicit algebraic handle that could help generate examples in this family. The scope is stated plainly: everything holds only inside the quadratic-phase ansatz. Outside it the duality need not apply, and the paper does not claim otherwise. The internal logic looks consistent with no obvious circularity or hidden fitting. The proofs are not reproduced in the abstract, but the stated claims line up with the definitions they give. This is useful reading for people already working on AME states or on algebraic constructions of multipartite entanglement. A general quantum-information reader who wants results that apply beyond this ansatz will not get them. I would send it to peer review; the reduction is scoped correctly and the rank correspondence is a fresh enough angle to justify checking the derivations in detail.

Referee Report

2 major / 2 minor

Summary. The paper claims to establish an exact Rank-Purity Duality for quadratic-phase quantum states defined via symmetric matrices over finite fields F_p: the Rényi-2 purity of any subsystem is determined solely by the rank of the phase matrix. It further asserts that, within this ansatz, the existence of an AME state is equivalent to the existence of a generating phase matrix P whose bipartition submatrices have full rank, and that for square-free local dimensions the entanglement structure factorizes via the Chinese Remainder Theorem into independent prime-field contributions with an exact additive decomposition of Rényi-2 entropies.

Significance. If the central theorems are rigorously established, the work supplies an algebraic characterization of entanglement that reduces AME-state construction to a concrete rank condition on finite-field matrices. This is potentially valuable for systematic generation of highly entangled resources in quantum information, and the exact duality plus CRT factorization would constitute a clean structural result within the restricted quadratic-phase class.

major comments (2)

[Proof of Rank-Purity Duality (likely §3 or equivalent)] The manuscript states clean theorems in the abstract but does not exhibit the full derivation of the Rank-Purity Duality; the finite-field arguments that purportedly show purity is determined solely by matrix rank therefore cannot be verified from the provided text. Please supply the complete proof, including all intermediate steps and any implicit assumptions on the characteristic or symmetry of P.
[AME equivalence statement and proof] The claimed equivalence between AME states and the existence of a phase matrix P with full-rank bipartition submatrices is load-bearing for the construction claim. The argument must explicitly demonstrate why full rank on every bipartition submatrix implies maximal entanglement (i.e., Rényi-2 entropy equal to the subsystem size) inside the quadratic-phase ansatz; the current statement reduces the condition to a rank constraint without showing the converse direction or handling degenerate cases.

minor comments (2)

[Introduction / Definitions] Notation for the phase matrix (denoted P) and the precise definition of the quadratic-phase state should be introduced earlier and used consistently; the abstract refers to 'generating phase matrix P' without prior definition.
[Introduction] The manuscript would benefit from a brief comparison table or explicit statement of how the present rank condition differs from existing constructions of AME states (e.g., those based on Latin squares or graph states).

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for your thorough review and positive assessment of the potential impact of our work on entanglement in quadratic-phase states. We address the major comments below and will incorporate revisions to enhance the clarity and completeness of the proofs.

read point-by-point responses

Referee: The manuscript states clean theorems in the abstract but does not exhibit the full derivation of the Rank-Purity Duality; the finite-field arguments that purportedly show purity is determined solely by matrix rank therefore cannot be verified from the provided text. Please supply the complete proof, including all intermediate steps and any implicit assumptions on the characteristic or symmetry of P.

Authors: We acknowledge that the derivation of the Rank-Purity Duality, while stated in the theorems, was not presented with sufficient intermediate steps for independent verification. In the revised manuscript, we will supply the complete proof. This will start from the quadratic-phase state definition |ψ_P⟩ = ∑_x ω^{x^T P x} |x⟩, derive the reduced density matrix ρ_A via partial trace, compute Tr(ρ_A²) using Gauss sums over the quadratic form induced by the submatrix P_{A,A^c}, and show that the result equals p^{-rank(P_{A,A^c})} (up to normalization). All assumptions will be stated explicitly, including symmetry of P and separate handling for characteristic 2. revision: yes
Referee: The claimed equivalence between AME states and the existence of a phase matrix P with full-rank bipartition submatrices is load-bearing for the construction claim. The argument must explicitly demonstrate why full rank on every bipartition submatrix implies maximal entanglement (i.e., Rényi-2 entropy equal to the subsystem size) inside the quadratic-phase ansatz; the current statement reduces the condition to a rank constraint without showing the converse direction or handling degenerate cases.

Authors: We agree that the equivalence requires explicit proof of both directions and handling of edge cases. In the revision, we will demonstrate: (i) full rank on all bipartition submatrices implies rank(P_{A,A^c}) = |A| for |A| ≤ n/2, yielding Tr(ρ_A²) = p^{-|A|} and thus maximal Rényi-2 entropy |A| log p; (ii) the converse, that AME (minimal purity) forces full rank on every submatrix. Degenerate cases (global singularity of P, p=2) will be treated with explicit examples showing that rank deficiency produces non-maximal entanglement. This will establish the if-and-only-if statement rigorously within the ansatz. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines quadratic-phase states explicitly via symmetric phase matrices P over F_p and derives the Rank-Purity Duality as an algebraic identity: Rényi-2 purity of a subsystem equals a function of the rank of the corresponding submatrix of P. The AME equivalence is likewise a direct restatement of the full-rank condition on bipartition submatrices inside the same ansatz. No fitted parameters are renamed as predictions, no self-citations are invoked as load-bearing uniqueness theorems, and the CRT factorization is presented as a consequence of the prime-field decomposition within the defined class. All steps are self-contained matrix identities rather than reductions to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the quadratic-phase ansatz and standard finite-field linear algebra; no free parameters are fitted and no new entities are postulated.

axioms (2)

domain assumption Quantum states of the considered class are exactly those whose phase is quadratic and defined by a symmetric matrix over the finite field F_p
This restricts the entire analysis to the stated ansatz.
standard math Rényi-2 purity is a faithful entanglement monotone for these states
Standard definition in quantum information used without further justification.

pith-pipeline@v0.9.0 · 5495 in / 1302 out tokens · 63141 ms · 2026-05-08T17:45:49.574353+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

Cost.FunctionalEquation / Foundation.LogicAsFunctionalEquation washburn_uniqueness_aczel (J = ½(x+x⁻¹)−1) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Tr(ρ²_S) = p^{-rk_{F_p}(P_{S,S̄})} ... The proof uses only the orthogonality of additive characters over F_p
Foundation.ArithmeticFromLogic / Constants ladder n/a — RS has no AME/CRT entropy theorem unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

for square-free local dimensions ... factorises via the Chinese Remainder Theorem into independent prime-field contributions, yielding an exact additive decomposition of Rényi-2 entropies
Foundation.AlexanderDuality / DimensionForcing no parallel — RS forces D=3 via topology, not rank-on-bipartitions unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

AME state is equivalent to the existence of a generating phase matrix P whose bipartition submatrices are of full rank

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.

Reference graph

Works this paper leans on

42 extracted references · 5 canonical work pages

[1]

Letpbe a prime andω= e2πi/p

Detailed Proof of Rank-Purity Duality Here, we provide a complete expansion of the proof presented in the main text. Letpbe a prime andω= e2πi/p. For a symmetric matrixP∈F N×N p with zero diagonal, define the quadratic form as 1 ϕ(q) = X 1≤i<j≤N Pijqiqj,q= (q 1, . . . , qN)∈F N p . (12) The correspondingquadratic phase stateis |ΦP ⟩=p −N/2 X q∈FNp ωϕ(q) |...
[2]

The Chinese Remainder Theorem provides a ring isomorphism Φ :Z d − → rY α=1 Zpα ,Φ(x) = (xmodp 1,

Chinese Remainder Theorem - Explicit Isomorphism Letd= Qr α=1 pα be distinct primesp α. The Chinese Remainder Theorem provides a ring isomorphism Φ :Z d − → rY α=1 Zpα ,Φ(x) = (xmodp 1, . . . , xmodp r). Its inverse is given by the usual CRT combination: For each partyi, we identify the computational basis state |xi⟩(x i = 0, . . . , d−1) with the tensor ...
[3]

Our approach combines a fast heuristic search (parallel tempering) (written in C++ and distributed using MPI) with exact algebraic verification (rank condition)

Numerical Search Strategy We search for thePmatrices via a parallel tempering (replica exchange) algorithm. Our approach combines a fast heuristic search (parallel tempering) (written in C++ and distributed using MPI) with exact algebraic verification (rank condition). The total time to discover and certify an AME state is consistently under one sec- ond ...
[4]

Each cost evaluation requires computing ranks for a subset of bipartitions (only those affected by the move)

Complexity and Performance Search cost (parallel tempering) Parallel tempering explores the space of phase matrices Pby making local moves and evaluating the cost function C(P). Each cost evaluation requires computing ranks for a subset of bipartitions (only those affected by the move). ForN≤17 and anyp, the algorithm typically finds a C= 0 matrix in a fe...

2052
[5]

A. J. Scott, Physical Review A—Atomic, Molecular, and Optical Physics69, 052330 (2004)

2004
[6]

Helwig, W

W. Helwig, W. Cui, J. I. Latorre, A. Riera, and H.-K. Lo, Physical Review A—Atomic, Molecular, and Optical Physics86, 052335 (2012)

2012
[7]

Raissi, C

Z. Raissi, C. Gogolin, A. Riera, and A. Ac´ ın, Journal of Physics A: Mathematical and Theoretical51, 075301 (2018)

2018
[8]

Pastawski, B

F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, Journal of High Energy Physics2015, 1 (2015)

2015
[9]

Cleve, D

R. Cleve, D. Gottesman, and H.-K. Lo, Physical review letters83, 648 (1999)

1999
[10]

Mansour and Z

M. Mansour and Z. Dahbi, International Journal of The- oretical Physics59, 3876 (2020)

2020
[11]

Absolutely Maximally Entangled Qudit Graph States

W. Helwig, arXiv preprint arXiv:1306.2879 (2013)

work page Pith review arXiv 2013
[12]

Huber, C

F. Huber, C. Eltschka, J. Siewert, and O. G¨ uhne, Journal of Physics A: Mathematical and Theoretical51, 175301 (2018)

2018
[13]

Horodecki, P

R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Reviews of modern physics81, 865 (2009)

2009
[14]

Bruzda, S

W. Bruzda, S. Friedland, and K. ˙Zyczkowski, arXiv preprint arXiv:1912.06854 (2019)

work page arXiv 1912
[15]

Amico, R

L. Amico, R. Fazio, A. Osterloh, and V. Vedral, Reviews of modern physics80, 517 (2008)

2008
[16]

Goyeneche, D

D. Goyeneche, D. Alsina, J. I. Latorre, A. Riera, and K. ˙Zyczkowski, Physical Review A92, 032316 (2015)

2015
[17]

Gulati, Physical Review A113, 022415 (2026)

A. Gulati, Physical Review A113, 022415 (2026)

2026
[18]

Bruzda, S

W. Bruzda, S. Friedland, and K. ˙Zyczkowski, Linear and Multilinear Algebra72, 1796 (2024)

2024
[19]

S. A. Rather, A. Burchardt, W. Bruzda, G. Rajchel- Mieldzio´ c, A. Lakshminarayan, and K.˙Zyczkowski, Phys- ical Review Letters128, 080507 (2022)

2022
[20]

Goedicke and D

D. Gross and P. Goedicke, arXiv preprint arXiv:2504.15401 (2025)

work page arXiv 2025
[21]

Goyeneche, Z

D. Goyeneche, Z. Raissi, S. Di Martino, and K. ˙Zyczkowski, Physical Review A97, 062326 (2018)

2018
[22]

M. Hein, J. Eisert, and H. J. Briegel, Physical Review A—Atomic, Molecular, and Optical Physics69, 062311 (2004)

2004
[23]

Gottesman,Stabilizer codes and quantum error cor- rection(California Institute of Technology, 1997)

D. Gottesman,Stabilizer codes and quantum error cor- rection(California Institute of Technology, 1997)

1997
[24]

Entanglement in the stabilizer formalism

D. Fattal, T. S. Cubitt, Y. Yamamoto, S. Bravyi, and I. L. Chuang, arXiv preprint quant-ph/0406168 (2004)

work page Pith review arXiv 2004
[25]

Oum, Discrete Applied Mathematics231, 15 (2017)

S.-i. Oum, Discrete Applied Mathematics231, 15 (2017)

2017
[26]

Lidl and H

R. Lidl and H. Niederreiter,Finite fields, 20 (Cambridge university press, 1997)

1997
[27]

Ireland and M

K. Ireland and M. I. Rosen,A classical introduction to modern number theory, Vol. 84 (Springer Science & Busi- ness Media, 1990)

1990
[28]

Knill and R

E. Knill and R. Laflamme, Physical Review A55, 900 (1997)

1997
[29]

E. M. Rains, IEEE Transactions on Information Theory 45, 1827 (2002)

2002
[30]

Alsina and M

D. Alsina and M. Razavi, Physical Review A103, 022402 (2021)

2021
[31]

Gour and N

G. Gour and N. R. Wallach, Journal of Mathematical Physics51(2010)

2010
[32]

Oum, Journal of Combinatorial Theory, Series B95, 79 (2005)

S.-i. Oum, Journal of Combinatorial Theory, Series B95, 79 (2005)

2005
[33]

Higuchi and A

A. Higuchi and A. Sudbery, Physics Letters A273, 213 (2000)

2000
[34]

Huber, O

F. Huber, O. G¨ uhne, and J. Siewert, Physical review let- ters118, 200502 (2017)

2017
[35]

Huberet al., Table of AME states,https://huberfe

F. Huberet al., Table of AME states,https://huberfe. github.io/ame(2026), accessed: 2026-05-06

2026
[36]

Grassl and M

M. Grassl and M. R¨ otteler, in2015 IEEE international symposium on information theory (ISIT)(IEEE, 2015) pp. 1104–1108

2015
[37]

Casas, G

B. Casas, G. Rajchel-Mieldzio´ c, S. Ahmad Rather, M. P lodzie´ n, W. Bruzda, A. Cervera-Lierta, and K. ˙Zyczkowski, Quantum Science and Technology11, 025011 (2026)

2026
[38]

Knips, J

L. Knips, J. Dziewior, W. K lobus, W. Laskowski, T. Pa- terek, P. J. Shadbolt, H. Weinfurter, and J. D. Meinecke, npj Quantum Information6, 51 (2020)

2020
[39]

R. T. Mills, M. F. Adams, S. Balay, J. Brown, A. Dener, M. Knepley, S. E. Kruger, H. Morgan, T. Munson, K. Rupp,et al., Parallel Computing108, 102831 (2021)

2021
[40]

Hernandez, J

V. Hernandez, J. E. Roman, and V. Vidal, ACM Transac- tions on Mathematical Software (TOMS)31, 351 (2005)

2005
[41]

Singleton, IEEE Transactions on Information Theory 10, 116 (2003)

R. Singleton, IEEE Transactions on Information Theory 10, 116 (2003)

2003
[42]

Dehmel and S

F. Dehmel and S. Li, arXiv preprint arXiv:2602.20186 (2026)

work page arXiv 2026