热点事件持续更新
对称函数 Hilbert 第17 问题：不可判定性证明
1 篇报道1 个报道来源19 小时前更新
先了解这件事
AI 综述
2026-11-12，arXiv quant-ph 发布 Universitat Konstanz 的 Sebastian Debus 与 Robin Schabert 的研究，证明判断有理系数对称函数是否在所有维数下非负是不可判定的，从而回答了 Acevedo、Blekherman、Debus 和 Riener 提出的问题。该结果进一步推出：量子信息中纠缠的无维数矩判据的有效性也是不可判定的。这是目前关于该问题的最新进展，此前无相互矛盾的报道。
AI 根据报道生成 · 1 小时前更新
最新进展11月12日 20:07
Debus 与 Schabert 证明对称函数全维数非负判定不可判定，并推出纠缠矩判据有效性不可判定。报道时间线
沿着报道，了解事件的不同侧面。
11月12日
- arXiv quant-ph（量子信息与量子物理）对称函数的 Hilbert 第 17 问题：不可判定性与反例
Universität Konstanz 的 Sebastian Debus 与 Robin Schabert 证明，判断有理系数对称函数是否在所有维数下非负是不可判定的，回答了 Acevedo、Blekherman、Debus 和 Riener 提出的问题，并由此推出量子信息中纠缠的无维数矩判据有效性不可判定。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。