Graphical Algebraic Geometry Paper Links Polynomial Reasoning to Quantum ZH Calculus, Accepted at LICS 2026
ctjlewis · x · 2026-11-01
An LICS 2026 paper introduces Graphical Algebraic Geometry (GAG), a family of diagrammatic languages extending Graphical Linear Algebra. It proves universality/completeness for (co)span semantics of commutative algebras and affine varieties, shows GAG rewriting is #P-hard via #CSP, and characterizes the qudit ZH calculus as an extension of GAG — mirroring how GLA relates to ZX calculus — implying constant-query amplitude computation via a GAG oracle.
More from Research
- Octant and Schrödinger profile 700+ molecules to explain why pKa and logP predictions clash with experiments — _onionesque · 2026-11-01
- Open models lag closed ones by ~8 months, analysis of Epoch ECI data finds — teortaxesTex · 2026-11-01
- Editors Flooded With AI-Assisted Submissions as the Journal Article's Currency Collapses — asusarla · 2026-11-01
- RoboAuto: Robot Program Search With Multi-Level Physical Understanding — DJiafei · 2026-11-01
- DIY UBI math with real data: about $2,000 per person after 30 years, not a living wage — edmrunmachine · 2026-11-01
- GRASP authors compare with SuperMimic: extracting more optimization signal from sim experience — hankyang94 · 2026-11-01