{"id":"arxiv/2609.02714","url":"https://arxiv.org/abs/2609.02714","tags":["math.FA","math.CV","math.OA"],"score":0,"title":"Mathematical Koans and Cartan Convexity: $Γ$-Convex Hulls and Butterfly Realizations","domain":"math.FA","source":"arxiv","authors":["J. E. Pascoe"],"reviews":0,"subject":"math.FA","summary":"In homage to Hofstadter, we call a compact, citable specification of definitions, theorem, proof mechanism, and examples a mathematical koan when a full paper can be reconstructed and verified from it, including in reader-specific forms generated by AI. Every AI-solvable problem is itself a koan, although reconstruction need not be cheap; the present article is an expansion of one. We introduce Cartan convexity for self-adjoint free functions: locally, such a function agrees with a locally bounded matrix-convex free function. If the variable set has cardinality $τ$ and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-02","reactions":{}}