Showing 1–20 of 20 results for author: Contreras, I

Symplectic Geometry, Poisson Geometry, and Beyond

Authors: Ivan Contreras, Diego Martinez, Nicolas Martinez, Diego Rodriguez

Abstract: Symplectic and Poisson geometry emerged as a tool to understand the mathematical structure behind classical mechanics. However, due to its huge development over the past century, it has become an independent field of research in differential geometry. In this lecture notes, we will introduce the essential objects and techniques in symplectic geometry (e.g Darboux coordinates, Lagrangian submanifol… ▽ More Symplectic and Poisson geometry emerged as a tool to understand the mathematical structure behind classical mechanics. However, due to its huge development over the past century, it has become an independent field of research in differential geometry. In this lecture notes, we will introduce the essential objects and techniques in symplectic geometry (e.g Darboux coordinates, Lagrangian submanifolds, cotangent bundles) and Poisson geometry (e.g symplectic foliations, some examples of Poisson structures). This geometric approach will be motivated by examples from classical physics, and at the end we will explore applications of symplectic and Poisson geometry to Lie theory and other fields of mathematical physics. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 30 pages, 3 figures

Combinatorial QFT on graphs: first quantization formalism

Authors: Ivan Contreras, Santosh Kandel, Pavel Mnev, Konstantin Wernli

Abstract: We study a combinatorial model of the quantum scalar field with polynomial potential on a graph. In the first quantization formalism, the value of a Feynman graph is given by a sum over maps from the Feynman graph to the spacetime graph (mapping edges to paths). This picture interacts naturally with Atiyah-Segal-like cutting-gluing of spacetime graphs. In particular, one has combinatorial counterp… ▽ More We study a combinatorial model of the quantum scalar field with polynomial potential on a graph. In the first quantization formalism, the value of a Feynman graph is given by a sum over maps from the Feynman graph to the spacetime graph (mapping edges to paths). This picture interacts naturally with Atiyah-Segal-like cutting-gluing of spacetime graphs. In particular, one has combinatorial counterparts of the known gluing formulae for Green's functions and (zeta-regularized) determinants of Laplacians. △ Less

Submitted 15 August, 2023; originally announced August 2023.

Comments: 72 pages, 26 figures

On Examples and Classification of Frobenius Objects in Rel

Authors: Ivan Contreras, Adele Long, Sophia Marx, Rajan Amit Mehta

Abstract: We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs. We give some new examples of Frobenius objects in the category of sets and relations $\textbf{Rel}$. One example is a groupoid with a twisted counit. Another example is the set of conjugacy classes of a group. We also classify Frobenius objects in $\textbf{Rel}$ with two or three elements, and we compute the associated surface invariants using the partition functions of the corresponding TQFTs. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Comments: 18 pages, 3 figures, 4 tables

MSC Class: 18B10; 18B40; 18C40; 18N50; 20L05; 57R56 18B40; 18C40; 18N5

Defects via Factorization Algebras

Authors: Ivan Contreras, Chris Elliott, Owen Gwilliam

Abstract: We provide a mathematical formulation of the idea of a defect for a field theory, in terms of the factorization algebra of observables and using the BV formalism. Our approach follows a well-known ansatz identifying a defect as a boundary condition along the boundary of a blow-up, but it uses recent work of Butson-Yoo and Rabinovich on boundary conditions and their associated factorization algebra… ▽ More We provide a mathematical formulation of the idea of a defect for a field theory, in terms of the factorization algebra of observables and using the BV formalism. Our approach follows a well-known ansatz identifying a defect as a boundary condition along the boundary of a blow-up, but it uses recent work of Butson-Yoo and Rabinovich on boundary conditions and their associated factorization algebras to implement the ansatz. We describe how a range of natural examples of defects fits into our framework. △ Less

Submitted 2 August, 2022; originally announced August 2022.

Comments: 19 pages. Comments welcome!

Laplace and Dirac Operators on Graphs

Authors: Beata Casiday, Ivan Contreras, Thomas Meyer, Sabrina Mi, Ethan Spingarn

Abstract: Discrete versions of the Laplace and Dirac operators haven been studied in the context of combinatorial models of statistical mechanics and quantum field theory. In this paper we introduce several variations of the Laplace and Dirac operators on graphs, and we investigate graph-theoretic versions of the Schrödinger and Dirac equation. We provide a combinatorial interpretation for solutions of the… ▽ More Discrete versions of the Laplace and Dirac operators haven been studied in the context of combinatorial models of statistical mechanics and quantum field theory. In this paper we introduce several variations of the Laplace and Dirac operators on graphs, and we investigate graph-theoretic versions of the Schrödinger and Dirac equation. We provide a combinatorial interpretation for solutions of the equations and we prove gluing identities for the Dirac operator on lattice graphs, as well as for graph Clifford algebras. △ Less

Submitted 5 March, 2022; originally announced March 2022.

Comments: 36 pages, 25 figures

Frobenius objects in the category of spans

Authors: Ivan Contreras, Molly Keller, Rajan Amit Mehta

Abstract: We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the sympl… ▽ More We consider Frobenius objects in the category Span, where the objects are sets and the morphisms are isomorphism classes of spans of sets. We show that such structures are in correspondence with data that can be characterized in terms of simplicial sets. An interesting class of examples comes from groupoids. Our primary motivation is that Span can be viewed as a set-theoretic model for the symplectic category, and thus Frobenius objects in Span provide set-theoretic models for classical topological field theories. The paper includes an explanation of this relationship. △ Less

Submitted 5 November, 2021; v1 submitted 28 June, 2021; originally announced June 2021.

Comments: v2: added sections 3.5 and 4.5, explaining the relationship to 2-Segal sets

MSC Class: 18B10; 18B40; 18C40; 18N50; 20L05; 57R56

Journal ref: Reviews in Mathematical Physics (2022)

Convolution algebras for Relational Groupoids and Reduction

Authors: Ivan Contreras, Nima Moshayedi, Konstantin Wernli

Abstract: We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a Haar system of measures on a relational groupoid compatible with the convolution, and we prove a reduction theorem that recovers the usual convolution of a Lie… ▽ More We introduce the notions of relational groupoids and relational convolution algebras. We provide various examples arising from the group algebra of a group $G$ and a given normal subgroup $H$. We also give conditions for the existence of a Haar system of measures on a relational groupoid compatible with the convolution, and we prove a reduction theorem that recovers the usual convolution of a Lie groupoid. △ Less

Submitted 7 May, 2021; v1 submitted 12 August, 2020; originally announced August 2020.

Comments: 27 pages, 1 figure. To appear in Pacific Journal of Mathematics

Journal ref: Pacific J. Math. 313 (2021) 75-102

Graph de Rham Cohomology and the Automorphsim Group

Authors: Ivan Contreras, Andrew Rosevear

Abstract: We introduce a graph-theoretical interpretation of an induced action of Aut$(Γ)$ in the discrete de Rham cohomology of a finite graph $Γ$. This action produces a splitting of Aut$(Γ)$ that depends on the cycles of $Γ$. We also prove some graph-theoretical analogues of standard results in differential geometry, in particular, a graph version of Stokes' Theorem and the Mayer-Vietoris sequence in coh… ▽ More We introduce a graph-theoretical interpretation of an induced action of Aut$(Γ)$ in the discrete de Rham cohomology of a finite graph $Γ$. This action produces a splitting of Aut$(Γ)$ that depends on the cycles of $Γ$. We also prove some graph-theoretical analogues of standard results in differential geometry, in particular, a graph version of Stokes' Theorem and the Mayer-Vietoris sequence in cohomology. △ Less

Submitted 21 March, 2020; originally announced March 2020.

Comments: 15 pages, 4 figures

Poly-symplectic Geometry and the AKSZ Formalism

Authors: Ivan Contreras, Nicolas Martinez Alba

Abstract: We extend the AKSZ formulation of the Poisson sigma model to more general target spaces, and we develop the general theory of graded geometry for poly-symplectic and poly-Poisson structures. In particular we prove a Schwarz-type theorem and transgression for graded poly-symplectic structures, recovering the action functional and the poly-symplectic structure of the reduced phase space of the poly-… ▽ More We extend the AKSZ formulation of the Poisson sigma model to more general target spaces, and we develop the general theory of graded geometry for poly-symplectic and poly-Poisson structures. In particular we prove a Schwarz-type theorem and transgression for graded poly-symplectic structures, recovering the action functional and the poly-symplectic structure of the reduced phase space of the poly-Poisson sigma model, from the AKSZ construction. △ Less

Submitted 1 June, 2021; v1 submitted 16 December, 2019; originally announced December 2019.

Comments: 14 pages

Journal ref: Reviews in Mathematical Physics Vol. 33 (2021)

Split Canonical Relations

Authors: Alberto S. Cattaneo, Ivan Contreras

Abstract: A Lagrangian subspace $L$ of a weak symplectic vector space is called \emph{split Lagrangian} if it has an isotropic (hence Lagrangian) complement. When the symplectic structure is strong, it is sufficient for $L$ to have a closed complement, which can then be moved to become isotropic. The purpose of this note is to develop the theory of compositions and reductions of split canonical relations fo… ▽ More A Lagrangian subspace $L$ of a weak symplectic vector space is called \emph{split Lagrangian} if it has an isotropic (hence Lagrangian) complement. When the symplectic structure is strong, it is sufficient for $L$ to have a closed complement, which can then be moved to become isotropic. The purpose of this note is to develop the theory of compositions and reductions of split canonical relations for symplectic vector spaces. We give conditions on a coisotropic subspace $C$ of a weak symplectic space $V$ which imply that the induced canonical relation $L_C$ from $V$ to $C/C^ω$ is split, and, from these, we find sufficient conditions for split canonical relations to compose well. We prove that the canonical relations arising in the Poisson sigma model from the Lagrangian field theoretical approach are split, giving a description of symplectic groupoids integrating Poisson manifolds in terms of split canonical relations. △ Less

Submitted 25 November, 2018; originally announced November 2018.

Comments: 33 pages, 2 figures

Journal ref: Annales Henri Lebesgue, Vol. 4, pp. 155-185 (2021)

Gluing of Graph Laplacians and Their Spectra

Authors: Ivan Contreras, Michael Toriyama, Chengzheng Yu

Abstract: We study two different types of gluing for graphs: interface (obtained by choosing a common subgraph as the gluing component) and bridge gluing (obtained by adding a set of edges to the given subgraphs). We introduce formulae for computing even and odd Laplacians of graphs obtained by gluing, as well as their spectra. We subsequently discuss applications to quantum mechanics and bounds for the Fie… ▽ More We study two different types of gluing for graphs: interface (obtained by choosing a common subgraph as the gluing component) and bridge gluing (obtained by adding a set of edges to the given subgraphs). We introduce formulae for computing even and odd Laplacians of graphs obtained by gluing, as well as their spectra. We subsequently discuss applications to quantum mechanics and bounds for the Fiedler value of the gluing of graphs. △ Less

Submitted 4 May, 2018; originally announced May 2018.

Comments: 30 pages

Kähler fibrations in quantum information theory

Authors: Ivan Contreras, Michele Schiavina

Abstract: We discuss the fibre bundle of co-adjoint orbits of compact Lie groups, and show how it admits a compatible Kähler structure. The case of the unitary group allows us to reformulate the geometric framework of quantum information theory. In particular, we show that the Fisher information tensor gives rise to a structure that is sufficiently close to a Kähler structure to generalise some classical re… ▽ More We discuss the fibre bundle of co-adjoint orbits of compact Lie groups, and show how it admits a compatible Kähler structure. The case of the unitary group allows us to reformulate the geometric framework of quantum information theory. In particular, we show that the Fisher information tensor gives rise to a structure that is sufficiently close to a Kähler structure to generalise some classical result on co-adjoint orbits. △ Less

Submitted 21 May, 2021; v1 submitted 29 January, 2018; originally announced January 2018.

Comments: Revised and accepted version, 24 pages

MSC Class: 81S10; 53D05; 51P05; 81P45; 81P15; 32M10

Hyperwalk Formulae for Even and Odd Laplacians in Finite CW-Hypergraphs

Authors: Ivan Contreras, Sarah Loeb, Chengzheng Yu

Abstract: In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arisin… ▽ More In this note we provide a combinatorial interpretation for the powers of the hypergraph Laplacians. Our motivation comes from the discrete formulation of quantum mechanics and thermodynamics in the case of finite graphs, which suggest a natural extension to simplicial and CW-complexes. With this motivation, we also define generalizations of the odd Laplacian which is specific to hypergraphs arising from CW-complexes. We then provide a combinatorial interpretation for the powers of these Laplacians. △ Less

Submitted 26 August, 2017; originally announced August 2017.

Comments: 8 pages, 1 figure

Poly-Poisson Sigma models and their relational poly-symplectic groupoids

Authors: Ivan Contreras, Nicolás Martínez Alba

Abstract: The main idea of this note is to describe the integration procedure for poly-Poisson structures, that is, to find a poly-symplectic groupoid integrating a poly-Poisson structure, in terms of topological field theories, namely via the path-space construction. This will be given in terms of the poly-Poisson sigma model $(PPSM)$ and we prove that every poly-Poisson structure has a natural integration… ▽ More The main idea of this note is to describe the integration procedure for poly-Poisson structures, that is, to find a poly-symplectic groupoid integrating a poly-Poisson structure, in terms of topological field theories, namely via the path-space construction. This will be given in terms of the poly-Poisson sigma model $(PPSM)$ and we prove that every poly-Poisson structure has a natural integration via relational poly-symplectic groupoids, extending the results in [8] and [26]. We provide familiar examples (trivial, linear, constant and symplectic) within this formulation and we give some applications of this construction regarding the classification of poly-symplectic integrations, as well as Morita equivalence of poly-Poisson manifolds. △ Less

Submitted 13 November, 2017; v1 submitted 19 June, 2017; originally announced June 2017.

Comments: 22 pages, 1 figure. Several typos and minor error fixed. A new section about applications was added

A Functorial Construction of Quantum Subtheories

Authors: Ivan Contreras, Ali Nabi Duman

Abstract: We apply the geometric quantization procedure via symplectic groupoids proposed by E. Hawkins to the setting of epistemically restricted toy theories formalized by Spekkens. In the continuous degrees of freedom, this produces the algebraic structure of quadrature quantum subtheories. In the odd-prime finite degrees of freedom, we obtain a functor from the Frobenius algebra in \textbf{Rel} of the t… ▽ More We apply the geometric quantization procedure via symplectic groupoids proposed by E. Hawkins to the setting of epistemically restricted toy theories formalized by Spekkens. In the continuous degrees of freedom, this produces the algebraic structure of quadrature quantum subtheories. In the odd-prime finite degrees of freedom, we obtain a functor from the Frobenius algebra in \textbf{Rel} of the toy theories to the Frobenius algebra of stabilizer quantum mechanics. △ Less

Submitted 8 May, 2017; originally announced May 2017.

Comments: 19 pages

The Graph Laplacian and Morse Inequalities

Authors: Ivan Contreras, Boyan Xu

Abstract: The objective of this note is to provide an interpretation of the discrete version of Morse inequalities, following Witten's approach via supersymmetric quantum mechanics, adapted to finite graphs, as a particular instance of Morse-Witten theory for cell complexes. We describe the general framework of graph quantum mechanics and we produce discrete versions of the Hodge theorems and energy cut-off… ▽ More The objective of this note is to provide an interpretation of the discrete version of Morse inequalities, following Witten's approach via supersymmetric quantum mechanics, adapted to finite graphs, as a particular instance of Morse-Witten theory for cell complexes. We describe the general framework of graph quantum mechanics and we produce discrete versions of the Hodge theorems and energy cut-offs within this formulation. △ Less

Submitted 26 April, 2017; originally announced April 2017.

Comments: 14 pages, 10 figures

Journal ref: Pacific J. Math. 300 (2019) 331-345

Geometric Quantization and Epistemically Restricted Theories: The Continuous Case

Authors: Ivan Contreras, Ali Nabi Duman

Abstract: It is possible to reproduce the quantum features of quantum states, starting from a classical statistical theory and then limiting the amount of knowledge that an agent can have about an individual system [5, 18].These are so called epistemic restrictions. Such restrictions have been recently formulated in terms of the symplectic geometry of the corresponding classical theory [19]. The purpose of… ▽ More It is possible to reproduce the quantum features of quantum states, starting from a classical statistical theory and then limiting the amount of knowledge that an agent can have about an individual system [5, 18].These are so called epistemic restrictions. Such restrictions have been recently formulated in terms of the symplectic geometry of the corresponding classical theory [19]. The purpose of this note is to describe, using this symplectic framework, how to obtain a C*-algebraic formulation for the epistemically restricted theories. In the case of continuous variables, following the groupoid quantization recipe of E. Hawkins, we obtain a twisted group C*-algebra which is the usual Moyal quantization of a Poisson vector space [12]. △ Less

Submitted 3 January, 2017; v1 submitted 7 March, 2016; originally announced March 2016.

Comments: In Proceedings QPL 2016, arXiv:1701.00242. 10 pages

Journal ref: EPTCS 236, 2017, pp. 40-50

On the geometry of mixed states and the Fisher information tensor

Authors: Ivan Contreras, Elisa Ercolessi, Michele Schiavina

Abstract: In this paper, we will review the co-adjoint orbit formulation of finite dimensional quantum mechanics, and in this framework, we will interpret the notion of quantum Fisher information index (and metric). Following previous work of part of the authors, who introduced the definition of Fisher information tensor, we will show how its antisymmetric part is the pullback of the natural Kostant-Kirillo… ▽ More In this paper, we will review the co-adjoint orbit formulation of finite dimensional quantum mechanics, and in this framework, we will interpret the notion of quantum Fisher information index (and metric). Following previous work of part of the authors, who introduced the definition of Fisher information tensor, we will show how its antisymmetric part is the pullback of the natural Kostant-Kirillov-Souriau symplectic form along some natural diffeomorphism. In order to do this, we will need to understand the symmetric logarithmic derivative as a proper 1-form, settling the issues about its very definition and explicit computation. Moreover, the fibration of co-adjoint orbits, seen as spaces of mixed states, is also discussed. △ Less

Submitted 27 June, 2016; v1 submitted 30 December, 2014; originally announced January 2015.

Comments: 27 pages; Accepted Manuscript

MSC Class: 81S99

Journal ref: J. Math. Phys. 57, 062209 (2016)

Groupoids, Frobenius algebras and Poisson sigma models

Authors: Ivan Contreras

Abstract: In this paper we discuss some connections between groupoids and Frobenius algebras specialized in the case of Poisson sigma models with boundary. We prove a correspondence between groupoids in the category Set and relative Frobenius algebras in the category Rel, as well as an adjunction between a special type of semigroupoids and relative H*-algebras. The connection between groupoids and Frobenius… ▽ More In this paper we discuss some connections between groupoids and Frobenius algebras specialized in the case of Poisson sigma models with boundary. We prove a correspondence between groupoids in the category Set and relative Frobenius algebras in the category Rel, as well as an adjunction between a special type of semigroupoids and relative H*-algebras. The connection between groupoids and Frobenius algebras is made explicit by introducing what we called weak monoids and relational symplectic groupoids, in the context of Poisson sigma models with boundary and in particular, describing such structures in the ex- tended symplectic category and the category of Hilbert spaces. This is part of a joint work with Alberto Cattaneo and Chris Heunen. △ Less

Submitted 18 June, 2013; originally announced June 2013.

Comments: 12 pages, 1 figure. To appear in "Mathematical Aspects of Quantum Field Theories". Mathematical Physical Studies, Springer. Proceedings of the Winter School in Mathematical Physics, Les Houges, 2012

Relational symplectic groupoids and Poisson sigma models with boundary

Authors: Ivan Contreras

Abstract: We introduce the notion of relational symplectic groupoid as a way to integrate Poisson manifolds in general, following the construction through the Poisson sigma model (PSM) given by Cattaneo and Felder. We extend such construction to the infinite dimensional setting, where we are able to describe the relational symplectic groupoid in terms of immersed Lagrangian Bannach submanifolds. This corres… ▽ More We introduce the notion of relational symplectic groupoid as a way to integrate Poisson manifolds in general, following the construction through the Poisson sigma model (PSM) given by Cattaneo and Felder. We extend such construction to the infinite dimensional setting, where we are able to describe the relational symplectic groupoid in terms of immersed Lagrangian Bannach submanifolds. This corresponds to a groupoid object in the "extended symplectic category" and it can be related to the ususal version of symplectic groupoids via reduction. We prove the existence of such an object for any Poisson manifold and the uniqueness of a compatible Poisson structure on the base, for a special type of relational symplectic groupoids. We develop the notion of equivalence, that allows us to compare finite and infinite dimensional examples. We discuss some other extensions to different categories, where the relational construction still make sense, in an effort to understand better geometric quantization of symplectic manifolds in this new perspective. △ Less

Submitted 17 June, 2013; originally announced June 2013.

Comments: PhD Thesis, Zurich University