{
  "domain": "physics-astronomy",
  "topics": [
    "quantum-information",
    "algorithms-complexity"
  ],
  "type": "proof",
  "also": [
    "construction"
  ],
  "source": {
    "key": "qiqcop",
    "name": "QIQCOP Zoo",
    "url": "https://qiqc-op.com/problem/op_37f7b003ec78a028/",
    "id": "op_37f7b003ec78a028",
    "curator": "Bikun Li, Qicheng Tang, Changhao Li, Chengkai Zhu, Minbo Gao, Zhong-Xia Shang, Bin Cheng and Naixu Guo",
    "poser": "Sergey Bravyi, Graeme Smith and John A. Smolin",
    "status": "unsolved",
    "as_of": "2026-10-20",
    "catalog": "0521c19bbd38"
  },
  "review": true,
  "approval": "first-time"
}