Qassim, Pashayan, and Gosset

10 bounds submitted · 8 records held.

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

Records held · 8

boundorbitγtier
χR(|H⟩⊗6)≤6H-type0.4308lean
χR(|cat2⟩)≤1magic cat—verified
χR(|cat3⟩)≤2magic cat1.0000verified
χR(|cat4⟩)≤2magic cat0.5000verified
χR(|cat5⟩)≤3magic cat0.5283verified
χR(|cat6⟩)≤3magic cat0.3962verified
χR(|cat7⟩)≤6magic cat0.5170verified
χR(|cat8⟩)≤6magic cat0.4308verified

All bounds · 10

boundorbitγtier
χR(|H⟩⊗6)≤6H-type0.4308lean
χR(|cat2⟩)≤1magic cat—verified
χR(|cat3⟩)≤2magic cat1.0000verified
χR(|cat4⟩)≤2magic cat0.5000verified
χR(|cat5⟩)≤3magic cat0.5283verified
χR(|cat6⟩)≤3magic cat0.3962verified
χR(|cat7⟩)≥3magic cat—cited
χR(|cat7⟩)≤6magic cat0.5170verified
χR(|cat8⟩)≥3magic cat—cited
χR(|cat8⟩)≤6magic cat0.4308verified