{"id":"arxiv/2605.13993","url":"https://arxiv.org/abs/2605.13993","tags":["quant-ph","cs.LO","math.CT"],"score":0,"title":"Graphical Algebraic Geometry: From Ideals and Varieties to Quantum Calculi","domain":"quant-ph","source":"arxiv","authors":["Dichuan Gao","Razin A. Shaikh","Aleks Kissinger"],"reviews":0,"subject":"quant-ph","summary":"We introduce Graphical Algebraic Geometry (GAG), a family of diagrammatic languages extending the Graphical Linear Algebra programme. We construct several languages within this family and prove that they are universal and complete for the corresponding (co)span semantics of commutative algebras and affine varieties. This framework provides clear graphical representations of algebraic structures -- such as polynomials, ideals, and varieties -- enabling intuitive yet rigorous diagrammatic reasoning. We showcase two practical viewpoints on GAG. First, we show that instances of counting…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-13","reactions":{}}