图式代数几何新框架问世:从代数结构统一到量子 ZH 演算
ctjlewis · x · 2026-11-01
arXiv 论文《Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi》(Gao、Shaikh、Kissinger,已获 LICS 2026 录用)提出图式代数几何(GAG),一族扩展自图式线性代数的图形化语言。
- 证明了这些语言对交换代数与仿射簇的 (co)span 语义具备普适性与完备性,让多项式、理想、代数簇等代数结构获得直观而严格的图形化推理
- 将 #CSP(计数约束满足问题)实例转化为 GAG 闭合图的重写问题,意味着 GAG 中的可重写性判定是 #P-难
- 把量子计算的 qudit ZH 演算刻画为 GAG 的扩展,建立对应关系:GAG 之于 ZH 演算,正如图式线性代数之于 ZX 演算
- 由此证明 qudit ZH 中计算振幅只需常数次 GAG oracle 查询
「研究」频道最新
- Octant联合Schrödinger剖析700+分子:pKa与logP实验和计算为何打架 — _onionesque · 2026-11-01
- 期刊编辑坦言：AI 辅助投稿泛滥，论文的信用货币正在崩塌 — asusarla · 2026-11-01
- RoboAuto 论文：多层物理理解驱动机器人自主程序搜索 — DJiafei · 2026-11-01
- 用真实数据算 UBI:30 年后人均仅约 2000 美元,远不够维生 — edmrunmachine · 2026-11-01
- GRASP 作者对比 SuperMimic：从仿真经验中榨取更多优化信息的新路子 — hankyang94 · 2026-11-01
- 哈佛发布 GRASP：物理仿真中精修人类演示，助 RL 学会笔旋与 humanoid 交互 — hankyang94 · 2026-11-01