Absolutely maximally entangled states of seven parties: for d >= 2, AME(7, d) exists exactly when d >= 3
Machine-checked proofs that no absolutely maximally entangled state of seven qubits exists, and that for local dimension d >= 2 an absolutely maximally entangled state of seven parties exists exactly when d >= 3. The statements and definitions are Formal Conjectures' (Open Quantum Problem 35), copied verbatim into Challenge.lean, so this entry proves Formal Conjectures' own statements; one proof step inside the definition combineFirst is changed so that Comparator can match it, and the definition is unchanged. The proofs follow Huber, Gühne and Siewert (2017) and Shi, Zhang, Zhao and Li…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-11-02-000010
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-02-000010/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-02-000010/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'