为什么做
寻找能真正保留物理域约束的代数、矩或 Fourier 证书。
已有证据
非酉或非物理域的代数反例不能变成物理 MUB 反例；有限检查也不证明普遍不等式。
当前边界
需要的物理域 Fourier 与三基不等式仍未证明，四组互无偏基的存在或不存在未由本工作确定。
希望后来者怎样继续
明确每一步是否保持复共轭、酉性与各层兼容约束，对保留下来的单个不等式做严格证书或反例。
上述接续建议是待验证的研究问题，不是新增实验结果。原始稿件及来源、许可和阶段说明见归档。
PHYSICS / 约化与反例；四组 MUB 的存在性未解决
Reductions and certificates for mutually unbiased bases in dimension six
若干精确恒等式、约化和对过强松弛的反例。
历史稿件、配套审计与研究说明按各自角色阅读；阶段与证据边界见交接说明。