χ_R(∣cat⟩^⊗7) ≥ 3

magic cat orbit, m qubits.

Participate

Run it yourself, or point a coding agent at it.

git clone https://github.com/unitaryfoundation/stabrank
cd stabrank
# describe your decomposition in bounds/mybound.json
make fit BOUND=bounds/mybound.json ARGS=--write
make verify BOUND=bounds/mybound.json

fit solves for the exact coefficients, or tells you no exact combination of your terms reproduces the target. verify rebuilds the identity in exact arithmetic. If it passes, open a pull request adding the file and the leaderboard picks it up on the next build.

A bound the pipeline cannot check is recorded as cited and never takes a record.

← back to the board

Verification

cited no runnable certificate; recorded as cited and cannot set a record

Notes

χ(cat_7) ≥ 3 by monotonicity from χ(cat_5) > 2 (Qassim, Pashayan, and Gosset, arXiv:2106.07740, appendix: ⟨0|_m |cat_m⟩ is proportional to |cat_{m-1}>, so χ(cat_m) ≥ χ(cat_{m-1}) for all m). Their Table 1 lists χ(cat_7) ≤ 6 and no lower bound beyond this. Cited.

Attribution

Qassim, Pashayan, and Gosset · arXiv:2106.07740 · literature

Submission

JSON

{
  "schema_version": "0.1",
  "orbit": "cat",
  "m": 7,
  "direction": "lower",
  "rank": 3,
  "provenance": {
    "author": "Qassim, Pashayan, and Gosset",
    "reference": "arXiv:2106.07740",
    "date": "2021-06-14",
    "github": [],
    "method": "literature"
  },
  "notes": "chi(cat_7) >= 3 by monotonicity from chi(cat_5) > 2 (Qassim, Pashayan, and Gosset, arXiv:2106.07740, appendix: <0|_m |cat_m> is proportional to |cat_{m-1}>, so chi(cat_m) >= chi(cat_{m-1}) for all m). Their Table 1 lists chi(cat_7) <= 6 and no lower bound beyond this. Cited."
}