Norrell

The qutrit Norrell orbit. Published γ≤log343≈0.4206.

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

The state

|N⟩=|0⟩+|1⟩−2|2⟩6

The Norrell state. Real amplitudes, one of them twice the others in magnitude, so unlike T3 its amplitudes are not all of equal modulus.

Shares the published exponent log₃4/3 with H₃. Its m=4 cell sits at 7; rank 6 bottoms out at √(211/4043) across five of six independent anneals, with a deeper basin at √(419/8559).

Bounds on this orbit

boundmrankγtierattribution
χR(|N⟩⊗1)≥212—verified@vprusso · stabrank verify_challenge
χR(|N⟩⊗1)≤2120.6309verified@vprusso · stabrank research/constructions/data
χR(|N⟩⊗2)≥323—lean@vprusso · stabrank PR #18
χR(|N⟩⊗2)≤3230.5000lean@FarLab @vprusso · arXiv:2605.28586
χR(|N⟩⊗3)≥434—reproduced@FarLab @vprusso · arXiv:2605.28586
χR(|N⟩⊗3)≤4340.4206lean@FarLab @vprusso · arXiv:2605.28586
χR(|N⟩⊗4)≥343—reproduced@vprusso · stabrank rank_exclusion_codes.py
χR(|N⟩⊗4)≥545—reproduced · 3600 s@vprusso · stabrank slice_lift.py
χR(|N⟩⊗4)≥646—attested · 2/171 re-run@vprusso · stabrank research/qutrit_m4_rank5
χR(|N⟩⊗4)≥747—attested · 2/1057 re-run@vprusso · stabrank research/n4_rank6
χR(|N⟩⊗4)≤7470.4428lean@FarLab @vprusso · arXiv:2605.28586
χR(|N⟩⊗5)≥757—attested · 2/1057 re-run@vprusso · stabrank research/n4_rank6
χR(|N⟩⊗5)≤105100.4192verified@vprusso · this repository (stabrank-research, round 28 letter lifts)
χR(|N⟩⊗5)≤125120.4524verified@vprusso · stabrank research/constructions/product_witness.py
χR(|N⟩⊗6)≥767—attested · 2/1057 re-run@vprusso · stabrank research/n4_rank6
χR(|N⟩⊗6)≤166160.4206verified@vprusso · stabrank research/constructions/product_witness.py

What would move it

The published exponent is already beaten: χ ≤ 10 at m=5 gives γ = 0.4192. Lowering it further needs χ ≤ 9 at m=5→ 0.4000.