Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science
Gianfranco Basti, Antonio Capolupo, Giuseppe Vitiello

TL;DR
This paper explores the duality between q-deformed Hopf algebras and coalgebras in quantum field theory within category theory, proposing a coalgebraic framework for modeling dissipative quantum systems and potential quantum computing architectures.
Contribution
It establishes a mathematical duality between algebraic and coalgebraic structures in QFT using category theory, linking thermal parameters to quantum vacua and proposing a new coalgebraic approach to quantum computing.
Findings
Dual equivalence between q-deformed Hopf algebras and coalgebras in QFT.
Quantum vacua labeled by q-parameter relate to thermal states.
Potential for designing universal quantum computers based on coalgebraic QFT.
Abstract
In this paper we suggest that in the framework of the Category Theory it is possible to demonstrate the mathematical and logical \textit{dual equivalence} between the category of the -deformed Hopf Coalgebras and the category of the -deformed Hopf Algebras in QFT, interpreted as a thermal field theory. Each pair algebra-coalgebra characterizes, indeed, a QFT system and its mirroring thermal bath, respectively, so to model dissipative quantum systems persistently in far-from-equilibrium conditions, with an evident significance also for biological sciences. The -deformed Hopf Coalgebras and the -deformed Hopf Algebras constitute two dual categories because characterized by the same functor , related with the Bogoliubov transform, and by its contravariant application , respectively. The \textit{q}-deformation parameter, indeed, is related to the Bogoliubov angle, 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
TopicsLogic, programming, and type systems · Parallel Computing and Optimization Techniques · Quantum Mechanics and Applications
