The Free Functional Calculus in General
Julian Bushelli

TL;DR
This paper extends the classical free analysis framework to include broader functions like the Schur complement, using a categorial approach to define and analyze free functions and their algebraic structures.
Contribution
It introduces a categorial generalization of free functions, including polynomials and rational expressions, and proves an inverse function theorem within this broader context.
Findings
Develops a categorial structure for free functions
Constructs algebraic frameworks for free polynomials
Proves an inverse function theorem in the generalized setting
Abstract
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important functions, such as the Schur complement. This paper presents a generalization of free functions, viewing them as a natural categorial structure: functors between functor categories that commute with natural transformation. We study this construction on general additive categories; we define, characterize and categorize certain sorts of free maps, such as polynomials and rational expressions, and then prove an analogue of the inverse function theorem, demonstrating a natural lifting of a proof into this broader context. We then provide some algebraic basis for this theory, constructing vector spaces, an additive category of free polynomials, and…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical and Theoretical Analysis
