OpenFrontiers
← Back to the index
OP-3034Partially solvedQuantum information

Absolutely maximally entangled states

Extend the certified existence/nonexistence table for AME(n,d)\mathrm{AME}(n,d) with explicit constructions or impossibility proofs for unresolved parameter pairs, keeping minimal-support and unrestricted AME questions distinct.

Source-reported statusAs of 2026-09-04Source & evidence ↓

Problem statement

Extend the certified existence/nonexistence table for AME(n,d)\mathrm{AME}(n,d) with explicit constructions or impossibility proofs for unresolved parameter pairs, keeping minimal-support and unrestricted AME questions distinct.

Lean 4

Not yet attached

No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.

Background

An AME(n,d)\mathrm{AME}(n,d) pure state has maximally mixed reductions on every set of at most half of its nn parties. Such perfect tensors connect secret sharing, quantum error correction and quantum maximum-distance-separable codes.

Classical MDS codes and index-one orthogonal arrays construct minimal-support AME states; they are not equivalent to unrestricted AME existence. The established AME(4,6)\mathrm{AME}(4,6) construction illustrates the distinction from classical orthogonal-Latin-square obstructions. “Planar maximally entangled” imposes a different collection of cuts and is not a synonym for AME.

For qubits, AME states exist for n=2,3,5,6n=2,3,5,6, not for n=4n=4 or n≥7n\geq7. Many higher-dimensional constructions come from classical MDS codes and multiunitary matrices. The four-party row is known for all d≥3d\geq3.

Preprint progress (August 2026): Shi–Zhang–Zhao–Li claim completion of the seven-party row, with existence exactly for d≥3d\geq3. Bevins–Bidav report explicit constructions for (12,5)(12,5), (18,11)(18,11), (18,13)(18,13), (17,11)(17,11) and (17,13)(17,13). These manuscript results close particular cells, not the full diagram. A parameter table should track proof status and the support restriction for each cell rather than label the entire classification one sharp conjecture.

Source disclosures

Shi et al. disclose GPT-5.6 assistance with the odd-q AME(7,2q) construction and state that they verified it independently. Source

Bevins and Bidav disclose extensive author-directed Claude Fable 5 and ChatGPT 5.6 Sol use for search, code, exact checks and manuscript preparation, and state that they reviewed the constructions and text. Source

Progress & source assessment

Source catalogue review: 4 September 2026. Improved indicates partial progress, including qualified preprint claims.

preprint: Claimed completion of the seven-party existence row: AME(7,d) exactly for d at least 3. Evidence

preprint: Explicit code constructions for five previously unresolved parameter pairs. Evidence

References
  1. [1]Rather et al., 'Thirty-six entangled officers of Euler', PRL 128, 080507 (2022) link
  2. [2]Huber, Gühne, Siewert, 'Absolutely maximally entangled states of seven qubits do not exist', PRL 118, 200502 (2017) link
  3. [3]Goyeneche, Alsina, Latorre, Riera, Życzkowski, 'Absolutely maximally entangled states, combinatorial designs, and multiunitary matrices', PRA 92 (2015) link
  4. [4]Shi et al., 'Complete Existence Classification of Seven-Partite Absolutely Maximally Entangled States' (2026 preprint) link
  5. [5]Bevins & Bidav, 'Symmetry-guided constructions of absolutely maximally entangled states in five open cases' (2026 preprint) link

Recorded progress

Add yours →

Nothing recorded yet. A pointer to a paper the entry is missing counts.

Machine attempts

0 recorded

Attempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.

No machine attempts recorded.

Sign in to run an attempt. New accounts start with enough credits for ten.

Discussion

0 notes

Notes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.

No notes yet.

Sign in to add a note.