REVIEW 1 major objections 5 minor 42 references
Symmetry-guided constructions of absolutely maximally entangled states in five open cases
T0 review · 1 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Explicit Hermitian self-dual MDS codes prove five previously open AME states exist.
desk verdict Resolving five open AME cases with explicit codes; credible result with one reproducibility gap in the unprinted minor enumeration. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing mechanism is the systematic generator matrix $G=[I_k|A]$ over $\mathbb{F}_{q^2}$, together with Criterion 1: the row space of $G$ is a Hermitian self-dual $[2k,k,k+1]_{q^2}$ MDS code exactly when $A A^{\top} = -I_k$ and every nonempty square minor of $A$ is nonzero. The first equation is the self-duality check, and the square-minor condition is systematic superregularity, which forces the MDS distance. For the length-eighteen cases, a regular $\mathbb{Z}_3^2$ coordinate orbit forces $A_{x,y}=a(y-x)$ for $x,y\in \mathbb{Z}_3\times\mathbb{Z}_3$, so the $9\times9$ block is determined by the nine-entry kernel $a$; self-duality becomes the convolution equation $\sum_{h} a(h+g)\overline{a(h)}=-\delta_{g,0}$, which the finite-Fourier transform separates into independent character blocks. The final certificate is purely arithmetic: exact products and complete enumeration of square minors, 923 for the $6\times6$ matrix and 48,619 for each $9\times9$ matrix.
What would settle it
Recompute, in exact arithmetic, the Hermitian products $A_5 A_5^{\top}$, $A_{11} A_{11}^{\top}$, and $A_{13} A_{13}^{\top}$ from the printed matrices, reconstructing $A_{11}$ and $A_{13}$ from the kernels in Eqs. (11) and (13) via Eq. (5), and enumerate every nonempty square minor of each $A$ block. A single zero square minor in any of the three matrices would invalidate the MDS claim and hence the corresponding AME existence statement; a single failed Hermitian product would invalidate the self-duality claim.
Extended reading notes
Core claim
The paper's central claim is Theorem 2: the matrices in Eqs. (8), (11), and (13) define Hermitian self-dual MDS codes with parameters $[12,6,7]_{25}$, $[18,9,10]_{121}$, and $[18,9,10]_{169}$, and consequently the AME states in Eq. (1) exist. The bridge is exact: an $\mathbb{F}_{q^2}$-linear Hermitian self-dual MDS code of length $2k$ and dimension $k$ maps through the stabilizer construction to a pure quantum MDS code $[[2k,0,k+1]]_q$, which is an $\mathrm{AME}(2k,q)$ stabilizer state; the reduction $\mathrm{AME}(2k,q) \Rightarrow \mathrm{AME}(2k-1,q)$ by projecting any one party yields the two odd-party states. The length-eighteen matrices were not found by brute force over all $9\times 9$ blocks: imposing a regular $\mathbb{Z}_3^2$ coordinate orbit forces a group-circulant form determined by a nine-entry kernel, and a finite-Fourier transform separates the self-duality equations before the MDS minor checks are run.
Load-bearing premise
The load-bearing premise is that the complete enumeration of all 48,619 square minors of each length-eighteen matrix was performed correctly; the paper asserts the computation but provides no code, log, or independent certificate.
Editorial extensions
If this is right
- The five AME parameters in Eq. (1) are removed from the open cases, so protocols needing an AME(12,5), AME(17,11), AME(18,11), AME(17,13), or AME(18,13) state have an explicit stabilizer construction to use.
- For $q=11$ and $q=13$ there now exist quantum MDS codes $[[18,0,10]]_q$ and, by projection, $[[17,0,9]]_q$, reaching the maximum distance allowed by the quantum Singleton bound.
- The $q=5$ length-twelve code is not monomially equivalent to a generalized Reed–Solomon code, so the existence proof genuinely goes outside that classical family.
- The certificate does not classify the states, so local-unitary and stochastic local operations with classical communication (SLOCC) equivalence classes among these constructions remain open questions.
Reading between the lines
- If the length-eighteen certificates hold, the same $\mathbb{Z}_3^2$ group-circulant reduction could be tried for other groups and finite fields, making Hermitian self-dual MDS searches feasible at parameters where full $9\times9$ brute force is not.
- The paper separates the search from the certificate, so a skeptical reader can verify the theorem directly from the printed matrices without reproducing the automorphism computation.
- A natural follow-up is to test the two length-eighteen codes for monomial equivalence against each other and against other distance-ten constructions, parallel to the paper's non-GRS check for the $q=5$ code.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs explicit generator matrices for Hermitian self-dual MDS codes with parameters [12,6,7]_25, [18,9,10]_121, and [18,9,10]_169. Using the standard stabilizer-to-AME correspondence, it proves the existence of AME(12,5), AME(18,11), and AME(18,13), and via one-party projection also AME(17,11) and AME(17,13). The construction is based on group-circulant kernels with Z_3^2 symmetry, discovered from a direct search at length 12. The proof relies on two exact conditions: A A^T = -I (Hermitian self-duality) and superregularity (all square minors nonzero). The self-duality identities are stated explicitly; the superregularity is asserted from a computer enumeration without a published certificate.
Significance. If the square-minor enumerations are correct, the paper resolves five previously open questions in the AME existence table, including two cases at q=11 and two at q=13. The group-circulant symmetry reduction is a valuable technique for future AME constructions. The paper is careful to distinguish the search from the certificate, and the printed matrices provide a concrete starting point for independent verification. The main weakness is the lack of a reproducible verification artifact for the 97,238 square-minor checks, which is essential for confidence in the theorem.
major comments (1)
- [Section IV, proof of Theorem 2] The proof's two computational claims are not independently verifiable from the manuscript. The identities in Eq. (15) are asserted as 'exact arithmetic' without showing the products, and the superregularity check is described only by the sentence 'Gaussian elimination over the same fields shows that every nonempty square minor is nonzero.' No code, log, certificate, or checksum is provided for the 923 (A_5) and 48,619 (each A_q) minor computations, nor for the finite-field arithmetic in Eq. (15). Since Theorem 2's five AME existence statements depend on these exact matrices being Hermitian self-dual and superregular, this is a load-bearing gap. In particular, a single zero minor among the 97,238 checked would invalidate AME(18,11), AME(18,13), AME(17,11), and AME(17,13). The abstract's phrase 'certified by ... complete square-minor enumeration' overstates what the paper actually supplies. Please provide a reproducible verification artifact (e.g., a short script in Sage or Python that reconstructs the matrices from Eqs. (8), (11), (13) and verifies both conditions, or a machine-checked certificate of all minor determinants). Such an artifact would allow referees and readers to confirm the theorem rather than take the assertion on faith.
minor comments (5)
- [Section II, Eq. (2)] The displayed identity 'AA T = −I k' should be 'A A^T = -I_k' with proper superscripts, and 'detA[R,C]̸= 0' should include the missing parentheses around the submatrix.
- [Section III, Eq. (6)] The convolution sum in Eq. (6) is over the group H, but the field in which the arithmetic takes place is not explicitly stated; please specify that all operations in the sum are in F_{q^2}.
- [Section V] The sentence 'related Euclidean permutation-group analysis appears in Ref. [24]' is vague; a brief indication of the specific result or connection would help the reader.
- [References] Several references are arXiv preprints dated 2026 (e.g., Refs. [10], [29], [39]); please confirm their accessibility and ensure the citations point to the correct versions.
- [General] Providing the three matrices in a machine-readable supplementary file would greatly facilitate independent verification, even in addition to the requested verification script.
Circularity Check
No circularity: the proof is an explicit construction certified by direct arithmetic checks, independent of the search that found the matrices.
full rationale
The paper's central claim is an existence proof: the three printed matrices define Hermitian self-dual MDS codes, verified by the two checks in Eq. (2) and the displayed identities in Eq. (15). Criterion 1 is a standard equivalence theorem, and the matrices themselves are given explicitly, so the self-duality and superregularity conditions are finite, checkable statements rather than fitted parameters or predictions. The symmetry-reduced search is explicitly declared secondary to the certificate; Section V states 'the three printed matrices and the two checks in Eq. (2) suffice to prove the theorem.' No parameter is fitted to a subset of data and then renamed as a prediction. There are no self-citations by the authors carrying any load-bearing premise: the cited theorems on stabilizer codes, AME projection, and GRS bounds are external results with independent mathematical content. The only notable weakness is a reproducibility gap: the proof asserts that Gaussian elimination verifies all 48,619 square minors for each length-18 matrix without printing code, logs, or certificates. That is a verification artifact issue, not circularity, because the asserted checks are not logically equivalent to the theorem's conclusion by construction and an independent reader could in principle perform them. The open status of the parameters in the Huber-Wyderka table is contextual background, not an input to the derivation. Thus no circular step is present; the construction is self-contained modulo the unprinted exhaustive minor check, whose absence affects verifiability rather than circularity.
Assumptions & free parameters
assumptions (4)
- standard math Criterion 1: G=[I_k|A] over F_{q^2} is Hermitian self-dual MDS iff A\bar{A}^T=-I_k and all square minors of A are nonzero.
- domain assumption Stabilizer correspondence: a Hermitian self-dual MDS [2k,k,k+1]_{q^2} code yields a pure quantum MDS [[2k,0,k+1]]_q state and hence an AME(2k,q) state.
- domain assumption Projection: AME(2k,q) implies AME(2k-1,q) by projecting one party to a basis state.
- domain assumption The printed field embeddings and conjugation rules in Eqs. (7), (10), and (12) are correct.
Cite this review
Pith. "Pith review of Symmetry-guided constructions of absolutely maximally entangled states in five open cases." pith.science (2026). https://pith.science/paper/PP4NBG4R
@misc{pith2026260805781,
author = {Pith},
title = {Pith review of: Symmetry-guided constructions of absolutely maximally entangled states in five open cases},
year = {2026},
howpublished = {\url{https://pith.science/paper/PP4NBG4R}},
note = {Machine review of arXiv:2608.05781}
}
abstract
We give explicit Hermitian self-dual maximum distance separable codes with parameters $[12,6,7]_{25}$, $[18,9,10]_{121}$, and $[18,9,10]_{169}$. The stabilizer construction proves the existence of ${\rm AME}(12,5)$, ${\rm AME}(18,11)$, and ${\rm AME}(18,13)$ states; one-party projection also gives ${\rm AME}(17,11)$ and ${\rm AME}(17,13)$. The first code was found by a direct search. A regular $\mathbb{Z}_3^2$ coordinate orbit of its automorphism group suggested a group-circulant form that reduces each length-eighteen construction to a nine-entry kernel. The printed matrices are certified by exact Hermitian products and complete square-minor enumeration.
Figures
Figures from the paper (6 more)
Reference graph
Works this paper leans on
-
[1]
A. J. Scott, Multipartite entanglement, quantum-error- correcting codes, and entangling power of quantum evolu- tions, Physical Review A69, 052330 (2004)
2004
-
[2]
Helwig, W
W. Helwig, W. Cui, J. I. Latorre, A. Riera, and H.-K. Lo, Absolute maximal entanglement and quantum secret sharing, Physical Review A86, 052335 (2012)
2012
-
[3]
D. Goyeneche, D. Alsina, J. I. Latorre, A. Riera, and K. Życzkowski, Absolutely maximally entangled states, combinatorial designs, and multiunitary matrices, Physi- cal Review A92, 032316 (2015), arXiv:1506.08857
arXiv 2015
-
[4]
G. Rajchel-Mieldzioć, R. Bistroń, A. Rico, A. Laksh- minarayan, and K. Życzkowski, Absolutely maximally entangled pure states of multipartite quantum systems, Reports on Progress in Physics89, 057601 (2026), arXiv:2508.04777
arXiv 2026
-
[5]
E. M. Rains, Nonbinary quantum codes, IEEE Transac- tions on Information Theory45, 1827 (1999), arXiv:quant- ph/9703048
arXiv 1999
-
[6]
F. Huber and M. Grassl, Quantum codes of maximal distance and highly entangled subspaces, Quantum4, 284 (2020), arXiv:1907.07733. 4
arXiv 2020
-
[7]
A. Higuchi and A. Sudbery, How entangled can two cou- ples get?, Physics Letters A273, 213 (2000), arXiv:quant- ph/0005013
arXiv 2000
-
[8]
F.Huber, O.Gühne,andJ.Siewert,Absolutelymaximally entangled states of seven qubits do not exist, Physical Review Letters118, 200502 (2017), arXiv:1608.06228
arXiv 2017
Show all 42 references
-
[9]
Huber, C
F. Huber, C. Eltschka, J. Siewert, and O. Gühne, Bounds on absolutely maximally entangled states from shadow inequalities, and the quantum MacWilliams identity, Jour- nal of Physics A: Mathematical and Theoretical51, 175301 (2018), arXiv:1708.06298
2018 arXiv
-
[10]
F. Shi, X. Zhang, Q. Zhao, and L. Li, Complete exis- tence classification of seven-partite absolutely maximally entangled states (2026), arXiv:2608.01011
2026 arXiv
-
[11]
Huber and N
F. Huber and N. Wyderka, Table of AME states, Online available athttps://huberfe.github.io/ame(n.d.)
-
[12]
Grassl, Bounds on the minimum distance of linear codes and quantum codes, Online available at https: //www.codetables.de(2007)
M. Grassl, Bounds on the minimum distance of linear codes and quantum codes, Online available at https: //www.codetables.de(2007)
2007
-
[13]
F. J. MacWilliams and N. J. A. Sloane,The Theory of Error-Correcting Codes, North-Holland Mathematical Library, Vol. 16 (North-Holland, Amsterdam, 1977)
1977
-
[14]
R. M. Roth and G. Seroussi, On generator matrices of MDS codes (Corresp.), IEEE Transactions on Information Theory31, 826 (1985)
1985
-
[15]
Ashikhmin and E
A. Ashikhmin and E. Knill, Nonbinary quantum stabilizer codes, IEEE Transactions on Information Theory47, 3065 (2001), arXiv:quant-ph/0005008
2001 arXiv
-
[16]
Ketkar, A
A. Ketkar, A. Klappenecker, S. Kumar, and P. K. Sarvepalli, Nonbinary stabilizer codes over finite fields, IEEE Transactions on Information Theory52, 4892 (2006), arXiv:quant-ph/0508070
2006 arXiv
-
[17]
Camion, Linear codes with given automorphism groups, Discrete Mathematics3, 33 (1972)
P. Camion, Linear codes with given automorphism groups, Discrete Mathematics3, 33 (1972)
1972
-
[18]
Braun, A
M. Braun, A. Kohnert, and A. Wassermann, Optimal linear codes from matrix groups, IEEE Transactions on Information Theory51, 4247 (2005)
2005
-
[19]
Wassermann, Algorithmic methods, inConcise En- cyclopedia of Coding Theory, edited by W
A. Wassermann, Algorithmic methods, inConcise En- cyclopedia of Coding Theory, edited by W. C. Huffman, J.-L. Kim, and P. Solé (Chapman and Hall/CRC, Boca Raton, 2021) Chap. 23, pp. 575–598
2021
-
[20]
P. R. J. Östergård, Construction and classification of codes, inConcise Encyclopedia of Coding Theory, edited by W. C. Huffman, J.-L. Kim, and P. Solé (Chapman and Hall/CRC, Boca Raton, 2021) Chap. 3, pp. 61–77
2021
-
[21]
Ling and P
S. Ling and P. Solé, On the algebraic structure of quasi- cyclic codes I: Finite fields, IEEE Transactions on Infor- mation Theory47, 2751 (2001)
2001
-
[22]
S.Jitman, S.Ling,andP.Solé,Hermitianself-dualabelian codes, IEEE Transactions on Information Theory60, 1496 (2014)
2014
-
[23]
H. S. Palines, S. Jitman, and R. B. Dela Cruz, Hermitian self-dual quasi-abelian codes, Journal of Algebra Combi- natorics Discrete Structures and Applications5, 5 (2018)
2018
-
[24]
B. K. Dey and B. S. Rajan, Codes closed under arbitrary abelian group of permutations, SIAM Journal on Discrete Mathematics18, 1 (2004)
2004
-
[25]
E. M. Rains and N. J. A. Sloane, Self-dual codes, in Handbook of Coding Theory, Vol. II, edited by V. S. Pless and W. C. Huffman (Elsevier, Amsterdam, 1998) pp. 177– 294, arXiv:math/0208001
1998 arXiv
-
[26]
Cascudo, R
I. Cascudo, R. Cramer, D. Mirandola, and G. Zémor, Squares of random linear codes, IEEE Transactions on Information Theory61, 1159 (2015), arXiv:1407.0848
2015 arXiv
-
[27]
Kim and Y
J.-L. Kim and Y. Lee, Euclidean and Hermitian self-dual MDS codes over large finite fields, Journal of Combinato- rial Theory, Series A105, 79 (2004)
2004
-
[28]
Tong and X
H. Tong and X. Wang, New MDS euclidean and hermi- tian self-dual codes over finite fields, Advances in Pure Mathematics7, 325 (2017), arXiv:1606.07161
2017 arXiv
-
[29]
Zhao and W
C. Zhao and W. Ma, Hermitian self-dual generalized Reed– Solomon codes (2026), arXiv:2602.06377
2026
-
[30]
Sok and C
L. Sok and C. Yang, Constructions of optimal Hermitian self-dual codes from unitary matrices, Finite Fields and Their Applications79, 102000 (2022), arXiv:1911.10456
2022 arXiv
-
[31]
Guenda, New MDS self-dual codes over finite fields, Designs, Codes and Cryptography62, 31 (2012), arXiv:1004.1158
K. Guenda, New MDS self-dual codes over finite fields, Designs, Codes and Cryptography62, 31 (2012), arXiv:1004.1158
2012 arXiv
-
[32]
Grassl and M
M. Grassl and M. Rötteler, Quantum MDS codes over small fields, in2015 IEEE International Symposium on Information Theory (ISIT)(IEEE, 2015) pp. 1104–1108, arXiv:1502.05267
2015 arXiv
-
[33]
Suprijanto, Y
D. Suprijanto, Y. Renata, and M. L. Putri, New Hermi- tian self-dual MDS or near-MDS codes over finite fields, Journal of Mathematical and Fundamental Sciences46, 62 (2014)
2014
-
[34]
Ball, Some constructions of quantum MDS codes, Designs, Codes and Cryptography89, 811 (2021), arXiv:1907.04391
S. Ball, Some constructions of quantum MDS codes, Designs, Codes and Cryptography89, 811 (2021), arXiv:1907.04391
2021 arXiv
-
[35]
S. A. Rather, A. Burchardt, W. Bruzda, G. Rajchel- Mieldzioć, A. Lakshminarayan, and K. Życzkowski, Thirty-six entangled officers of Euler: Quantum solu- tion to a classically impossible problem, Physical Review Letters128, 080507 (2022), arXiv:2104.05122
2022 arXiv
-
[36]
S. A. Rather, N. Ramadas, V. Kodiyalam, and A. Laksh- minarayan, Absolutely maximally entangled state equiva- lence and the construction of infinite quantum solutions to the problem of 36 officers of Euler, Physical Review A 108, 032412 (2023), arXiv:2212.06737
2023 arXiv
-
[37]
Burchardt and Z
A. Burchardt and Z. Raissi, Stochastic local operations with classical communication of absolutely maximally entangled states, Physical Review A102, 022413 (2020), arXiv:2003.13639
2020 arXiv
-
[38]
Ramadas and A
N. Ramadas and A. Lakshminarayan, Local unitary equivalence of absolutely maximally entangled states constructed from orthogonal arrays, Journal of Physics A: Mathematical and Theoretical58, 125301 (2025), arXiv:2411.04096
2025 arXiv
-
[39]
Tan, Classification of five-qubit absolutely maximally entangled states (2025), arXiv:2507.02185
I. Tan, Classification of five-qubit absolutely maximally entangled states (2025), arXiv:2507.02185
2025 arXiv
-
[40]
Schlingemann, Stabilizer codes can be realized as graph codes, Quantum Information and Computation2, 307 (2002), arXiv:quant-ph/0111080
D. Schlingemann, Stabilizer codes can be realized as graph codes, Quantum Information and Computation2, 307 (2002), arXiv:quant-ph/0111080
2002 arXiv
-
[41]
Bahramgiri and S
M. Bahramgiri and S. Beigi, Graph states under the action of local Clifford group in non-binary case (2006), arXiv:quant-ph/0610267
2006 arXiv
-
[42]
Helwig, Absolutely maximally entangled qudit graph states (2013), arXiv:1306.2879
W. Helwig, Absolutely maximally entangled qudit graph states (2013), arXiv:1306.2879
2013 arXiv
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.