An absolutely maximally entangled state of twelve five-level systems: AME(12, 5) exists
A machine-checked proof that an absolutely maximally entangled state of twelve five-level systems exists. The statement and definitions are Formal Conjectures' (Open Quantum Problem 35, `ame_12_5_open`), copied verbatim into Challenge.lean, so this entry proves Formal Conjectures' own statement; one proof step inside the definition combineFirst is changed so that Comparator can match it, and the definition is unchanged. The witness is the graph state of the AME(12, 5) graph of S. Bevins and Y. Bidav. The proof is a general graph-state criterion over ZMod 5 plus 924 kernel-checked cut…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-11-02-000014
curl -X POST /api/v1/records/palomar/PALOMAR-2026-11-02-000014/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-000014/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'