Show HN: An exact verifier for one brick in a decades-old quantum math problem

nerlwein1 pts0 comments

The exact fourth-vector feasibility wall of the canonical MUB triple in dimension six

Skip to main

You are using an outdated browser. Please upgrade your browser to improve your experience.

Published June 13, 2026

| Version v1.1

Publication

Open

The exact fourth-vector feasibility wall of the canonical MUB triple in dimension six

Authors/Creators

Erlwein, Noah

Description

This record contains a paper and runnable verification bundle proving an exact fourth-vector feasibility wall for the canonical product MUB triple in dimension six.

***The result does not solve MUB(6)****

It quantifies the pinned canonical triple exactly:

The exact value is max_v f(v) = (88 + 3*sqrt(6)) / 100, approximately 0.953484692283495.

where f(v)=1f(v)=1f(v)=1 exactly characterizes a vector unbiased to all three bases of the triple. The matching global upper bound is certified by an exact PSD/Veronese certificate and deterministic symmetry closure over the triple’s 432-element symmetry group, with no randomized or floating-point step in the proof path.

Start with 00_README.pdf, which is set as the preview/front door. It states the scope, theorem, non-claims, quick verification commands, and useful community checks. The deposit also includes the full manuscript, the complete verification bundle, README.md, VERIFYING.md, SHA256SUMS, and citation/license metadata.

Core verification path:

sha256sum -c SHA256SUMS<br>make verify-global<br>python3 python/mub6_d6_wall_attainment_exact.py<br>python3 python/mub6_d6_wall_local_certificate.py<br>cd lean && lake build Mub6Lemmas

The invitation is not &ldquo;believe this.&rdquo; The invitation is: run it, break it, route it, and help map the rest of the MUB6 wall.

Files

00_README.pdf

Files<br>(88.2 MB)

Name<br>Size

Download all

00_README.pdf

md5:518b290303ababac5a9ac35339fe3265

65.4 kB

Preview

Download

CITATION.pdf

md5:ce2ebaa24ab7691384ab8ab36f3a7d5d

41.9 kB

Preview

Download

mub6-wall-artifacts-v1.zip

md5:a550c11ed43845f381de50c8a986a598

87.6 MB

Preview

Download

mub6-wall-paper-v1.pdf

md5:c1dba9214ee72aea75f32ba6f05b33de

439.9 kB

Preview

Download

VERIFYING.pdf

md5:cc5a3cc0719ff869180fec86157700b5

64.8 kB

Preview

Download

14

Views

10

Downloads

Show more details

All versions<br>This version

Views

Total views

14

Downloads

Total downloads

10

Data volume

Total data volume

5.7 MB<br>0 Bytes

More info on how stats are collected....

Versions

External resources

Indexed in

OpenAIRE

Communities

Details

DOI

DOI Badge

DOI

10.5281/zenodo.20682233

Markdown

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.20682233.svg)](https://doi.org/10.5281/zenodo.20682233)

reStructuredText

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.20682233.svg<br>:target: https://doi.org/10.5281/zenodo.20682233

HTML

Image URL

https://zenodo.org/badge/DOI/10.5281/zenodo.20682233.svg

Target URL

https://doi.org/10.5281/zenodo.20682233

Resource type<br>Publication

Publisher<br>Zenodo

Rights

License

Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited.

Read more

Copyright

Copyright © 2026 Noah Erlwein Licensed under CC BY 4.0

Citation

Export

Technical metadata

Created

June 13, 2026

Modified

June 13, 2026

Jump up

This site uses cookies. Find out more on how we use cookies

Accept all cookies<br>Accept only essential cookies

zenodo exact wall triple preview download

Related Articles