-
The loop equations for noncommutative geometries on quivers
Authors:
Carlos Perez-Sanchez
Abstract:
We define a path integral over Dirac operators that averages over noncommutative geometries on a fixed graph, as the title reveals, using quiver representations. We prove algebraic relations that are satisfied by the expectation value of the respective observables, computed in terms of integrals over unitary groups, with weights defined by the spectral action. These equations generalise the Makeen…
▽ More
We define a path integral over Dirac operators that averages over noncommutative geometries on a fixed graph, as the title reveals, using quiver representations. We prove algebraic relations that are satisfied by the expectation value of the respective observables, computed in terms of integrals over unitary groups, with weights defined by the spectral action. These equations generalise the Makeenko-Migdal equations -- the constraints of lattice gauge theory -- from lattices to arbitrary graphs. As a perspective, our loop equations are combined with positivity conditions (on a matrix parametrised by composition of Wilson loops). On a simple quiver this combination known as `bootstrap' is fully worked out. The respective partition function boils down to an integral known as Gross-Witten-Wadia model; their solution confirms the solution bootstrapped by our loop equations.
△ Less
Submitted 16 June, 2025; v1 submitted 5 September, 2024;
originally announced September 2024.
-
Bratteli networks and the Spectral Action on quivers
Authors:
Carlos I. Perez-Sanchez
Abstract:
In the context of noncommutative geometry, we consider quiver representations -- not on vector spaces, as traditional, but on finite-dimensional prespectral triples (`discrete topological noncommutative spaces'). A similar idea appeared in the original work of Marcolli-van Suijlekom on quiver representations in spectral triples (`discrete noncommutative geometries'), which paved the way for some o…
▽ More
In the context of noncommutative geometry, we consider quiver representations -- not on vector spaces, as traditional, but on finite-dimensional prespectral triples (`discrete topological noncommutative spaces'). A similar idea appeared in the original work of Marcolli-van Suijlekom on quiver representations in spectral triples (`discrete noncommutative geometries'), which paved the way for some of our results in independent directions. We introduce Bratteli networks, a structure that yields a neat combinatorial characterisation of the space $\mathrm{Rep}~Q$ of prespectral-triple-representations of a quiver $\mathrm{Rep}~Q$, as well as of the gauge group and of their quotient. Not only these claims that make it possible to `integrate over $\mathrm{Rep}~Q$' are, as we now argue, in line with the spirit of random noncommutative geometry -- formulating path integrals over Dirac operators -- but they also contain a physically relevant case. Namely, the equivalence between quiver representations and path algebra modules, established here for the new category, inspired the following construction: Only from representation theory data, we build a spectral triple for the quiver and evaluate the spectral action functional from a general formula over closed paths. When we apply this construction to lattice-quivers, we obtain not only Wilsonian Yang-Mills lattice gauge theory, but also the Weisz-Wohlert-cells in the context of Symanzik's improved gauge theory. We show that a hermitian (`Higgs') matrix field emerges from the self-loops of the quiver and derive the Yang-Mills--Higgs theory on flat space as a smooth limit.
△ Less
Submitted 19 February, 2025; v1 submitted 8 January, 2024;
originally announced January 2024.
-
Borel summability of the 1/N expansion in quartic O(N)-vector models
Authors:
Léonard Ferdinand,
Razvan Gurau,
Carlos I. Perez-Sanchez,
Fabien Vignes-Tourneret
Abstract:
We consider a quartic O(N)-vector model. Using the Loop Vertex Expansion, we prove the Borel summability in 1/N along the real axis of the partition function and of the connected correlations of the model. The Borel summability holds uniformly in the coupling constant, as long as the latter belongs to a cardioid like domain of the complex plane, avoiding the negative real axis.
We consider a quartic O(N)-vector model. Using the Loop Vertex Expansion, we prove the Borel summability in 1/N along the real axis of the partition function and of the connected correlations of the model. The Borel summability holds uniformly in the coupling constant, as long as the latter belongs to a cardioid like domain of the complex plane, avoiding the negative real axis.
△ Less
Submitted 19 September, 2022;
originally announced September 2022.
-
A ribbon graph derivation of the algebra of functional renormalization for random multi-matrices with multi-trace interactions
Authors:
Carlos I. Perez-Sanchez
Abstract:
We focus on functional renormalization for ensembles of several (say $n\geq 1$) random matrices, whose potentials include multi-traces, to wit, the probability measure contains factors of the form $ \exp[-\mathrm{Tr}(V_1)\times\ldots\times \mathrm{Tr}(V_k)]$ for certain noncommutative polynomials $V_1,\ldots,V_k\in \mathbb{C}_{\langle n \rangle}$ in the $n$ matrices. This article shows how the "al…
▽ More
We focus on functional renormalization for ensembles of several (say $n\geq 1$) random matrices, whose potentials include multi-traces, to wit, the probability measure contains factors of the form $ \exp[-\mathrm{Tr}(V_1)\times\ldots\times \mathrm{Tr}(V_k)]$ for certain noncommutative polynomials $V_1,\ldots,V_k\in \mathbb{C}_{\langle n \rangle}$ in the $n$ matrices. This article shows how the "algebra of functional renormalization" -- that is, the structure that makes the renormalization flow equation computable -- is derived from ribbon graphs, only by requiring the one-loop structure that such equation (due to Wetterich) is expected to have. Whenever it is possible to compute the renormalization flow in terms of $\mathrm U(N)$-invariants, the structure gained is the matrix algebra $M_n( \mathcal{A}_{n,N}, \star ) $ with entries in $\mathcal{A}_{n,N}=(\mathbb{C}_{\langle n \rangle} \otimes \mathbb{C}_{\langle n \rangle} )\oplus( \mathbb{C}_{\langle n \rangle} \boxtimes \mathbb{C}_{\langle n \rangle})$, being $\mathbb{C}_{\langle n \rangle} $ the free algebra generated by the $n$ Hermitian matrices of size $N$ (the flowing random variables) with multiplication of homogeneous elements in $\mathcal{A}_{n,N}$ given, for each $P,Q,U,W\in\mathbb{C}_{\langle n \rangle}$, by \begin{align*}(U \otimes W) \star ( P\otimes Q) &= PU \otimes WQ \,, & (U\boxtimes W) \star ( P\otimes Q) &=U \boxtimes PWQ \,, \\(U \otimes W) \star ( P\boxtimes Q) &= WPU \boxtimes Q \,,\ & (U\boxtimes W) \star ( P\boxtimes Q) &= \mathrm{Tr} (WP) U\boxtimes Q \,,\end{align*} which, together with the condition $(λU) \boxtimes W = U\boxtimes (λW) $ for each complex $λ$, fully define the symbol $\boxtimes$.
△ Less
Submitted 15 June, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
On multimatrix models motivated by random noncommutative geometry II: A Yang-Mills-Higgs matrix model
Authors:
Carlos I. Perez-Sanchez
Abstract:
We continue the study of fuzzy geometries inside Connes' spectral formalism and their relation to multimatrix models. In this companion paper to [arXiv 2007:10914, Ann. Henri Poincaré] we propose a gauge theory setting based on noncommutative geometry, which -- just as the traditional formulation in terms of almost-commutative manifolds -- has the ability to also accommodate a Higgs field. However…
▽ More
We continue the study of fuzzy geometries inside Connes' spectral formalism and their relation to multimatrix models. In this companion paper to [arXiv 2007:10914, Ann. Henri Poincaré] we propose a gauge theory setting based on noncommutative geometry, which -- just as the traditional formulation in terms of almost-commutative manifolds -- has the ability to also accommodate a Higgs field. However, in contrast to "almost-commutative manifolds", the present framework employs only finite dimensional algebras which we call gauge matrix spectral triples. In a path-integral quantization approach to the Spectral Action, this allows to state Yang-Mills--Higgs theory (on four-dimensional Euclidean fuzzy space) as an explicit random multimatrix model obtained here, whose matrix fields mirror those of the Yang-Mills--Higgs theory on a smooth manifold.
△ Less
Submitted 21 November, 2021; v1 submitted 3 May, 2021;
originally announced May 2021.
-
On multimatrix models motivated by random Noncommutative Geometry I: the Functional Renormalization Group as a flow in the free algebra
Authors:
Carlos I. Perez-Sanchez
Abstract:
Random noncommutative geometry can be seen as a Euclidean path-integral approach to the quantization of the theory defined by the Spectral Action in noncommutative geometry (NCG). With the aim of investigating phase transitions in random NCG of arbitrary dimension, we study the non-perturbative Functional Renormalization Group for multimatrix models whose action consists of noncommutative polynomi…
▽ More
Random noncommutative geometry can be seen as a Euclidean path-integral approach to the quantization of the theory defined by the Spectral Action in noncommutative geometry (NCG). With the aim of investigating phase transitions in random NCG of arbitrary dimension, we study the non-perturbative Functional Renormalization Group for multimatrix models whose action consists of noncommutative polynomials in Hermitian and anti-Hermitian matrices. Such structure is dictated by the Spectral Action for the Dirac operator in Barrett's spectral triple formulation of fuzzy spaces.The present mathematically rigorous treatment puts forward "coordinate-free" language that might be useful also elsewhere, all the more so because our approach holds for general multimatrix models. The toolkit is a noncommutative calculus on the free algebra that allows to describe the generator of the renormalization group flow -- a noncommutative Laplacian introduced here -- in terms of Voiculescu's cyclic gradient and Rota-Sagan-Stein noncommutative derivative. We explore the algebraic structure of the Functional Renormalization Group Equation and, as an application of this formalism, we find the $β$-functions, identify the fixed points in the large-$N$ limit and obtain the critical exponents of $2$-dimensional geometries in two different signatures.
△ Less
Submitted 4 May, 2021; v1 submitted 21 July, 2020;
originally announced July 2020.
-
Computing the spectral action for fuzzy geometries: from random noncommutative geometry to bi-tracial multimatrix models
Authors:
Carlos I. Perez-Sanchez
Abstract:
A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to system…
▽ More
A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to systematically compute the spectral action $S(D)= \mathrm{Tr} f(D)$ for $2n$-dimensional fuzzy geometries. In contrast to the original Chamseddine-Connes spectral action, we take a polynomial $f$ with $f(x)\to \infty$ as $ |x|\to\infty$ in order to obtain a well-defined path integral that can be stated as a random matrix model with action of the type $S(D)=N \cdot \mathrm{tr}\, F+\textstyle\sum_i \mathrm{tr}\,A_i \cdot \mathrm{tr} \,B_i $, being $F,A_i $ and $B_i $ noncommutative polynomials in $2^{2n-1}$ complex $N\times N$ matrices that parametrize the Dirac operator $D$. For arbitrary signature---thus for any admissible KO-dimension---formulas for 2-dimensional fuzzy geometries are given up to a sextic polynomial, and up to a quartic polynomial for 4-dimensional ones, with focus on the octo-matrix models for Lorentzian and Riemannian signatures. The noncommutative polynomials $F,A_i $ and $B_i$ are obtained via chord diagrams and satisfy: independence of $N$; self-adjointness of the main polynomial $F$ (modulo cyclic reordering of each monomial); also up to cyclicity, either self-adjointness or anti-self-adjointness of $A_i $ and $B_i $ simultaneously, for fixed $i$. Collectively, this favors a free probabilistic perspective for the large-$N$ limit we elaborate on.
△ Less
Submitted 13 July, 2020; v1 submitted 31 December, 2019;
originally announced December 2019.
-
Graph calculus and the disconnected-boundary Schwinger-Dyson equations of quartic tensor field theories
Authors:
Carlos I. Perez-Sanchez
Abstract:
Tensor field theory (TFT) focuses on quantum field theory aspects of random tensor models, a quantum-gravity-motivated generalisation of random matrix models. The TFT correlation functions have been shown to be classified by graphs that describe the geometry of the boundary states, the so-called boundary graphs. These graphs can be disconnected, although the correlation functions are themselves co…
▽ More
Tensor field theory (TFT) focuses on quantum field theory aspects of random tensor models, a quantum-gravity-motivated generalisation of random matrix models. The TFT correlation functions have been shown to be classified by graphs that describe the geometry of the boundary states, the so-called boundary graphs. These graphs can be disconnected, although the correlation functions are themselves connected. In a recent work, the Schwinger-Dyson equations for an arbitrary albeit connected boundary were obtained. Here, we introduce the multivariable graph calculus in order to derive the missing equations for all correlation functions with disconnected boundary, thus completing the Schwinger-Dyson pyramid for quartic melonic (`pillow'-vertices) models in arbitrary rank. We first study finite group actions that are parametrised by graphs and build the graph calculus on a suitable quotient of the monoid algebra $A[G]$ corresponding to a certain function space $A$ and to the free monoid $G$ in finitely many graph variables; a derivative of an element of $A[G]$ with respect to a graph yields its corresponding group action on $A$. The present result and the graph calculus have three potential applications: the non-perturbative large-$N$ limit of tensor field theories, the solvability of the theory by using methods that generalise the topological recursion to the TFT setting and the study of `higher dimensional maps' via Tutte-like equations. In fact, we also offer a term-by-term comparison between Tutte equations and the present Schwinger-Dyson equations.
△ Less
Submitted 19 June, 2019; v1 submitted 3 December, 2018;
originally announced December 2018.
-
On the large N limit of the Schwinger-Dyson equation of tensor field theory
Authors:
R. Pascalie,
C. I. Pérez-Sánchez,
A. Tanasa,
R. Wulkenhaar
Abstract:
We analyse in this paper the large N limit of the Schwinger-Dyson equations in a rank-3 tensor quantum field theory, which are derived with the help of Ward-Takahashi identities. In order to have a well-defined large N limit, appropriate scalings in powers of N for the various terms present in the action are explicitly found. A perturbative check of our results is done, up to second order in the c…
▽ More
We analyse in this paper the large N limit of the Schwinger-Dyson equations in a rank-3 tensor quantum field theory, which are derived with the help of Ward-Takahashi identities. In order to have a well-defined large N limit, appropriate scalings in powers of N for the various terms present in the action are explicitly found. A perturbative check of our results is done, up to second order in the coupling constant.
△ Less
Submitted 23 July, 2020; v1 submitted 23 October, 2018;
originally announced October 2018.
-
The full Schwinger-Dyson tower for random tensor models
Authors:
Carlos I. Perez-Sanchez
Abstract:
We treat random rank-$D$ tensor models as $D$-dimensional quantum field theories---tensor field theories (TFT)---and review some of their non-perturbative methods. We classify the correlation functions of complex tensor field theories by boundary graphs, sketch the derivation of the Ward-Takahashi identity and stress its relevance in the derivation of the tower of exact, analytic Schwinger-Dyson e…
▽ More
We treat random rank-$D$ tensor models as $D$-dimensional quantum field theories---tensor field theories (TFT)---and review some of their non-perturbative methods. We classify the correlation functions of complex tensor field theories by boundary graphs, sketch the derivation of the Ward-Takahashi identity and stress its relevance in the derivation of the tower of exact, analytic Schwinger-Dyson equations for all the correlation functions (with connected boundary) of TFTs with quartic pillow-like interactions.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
Correlation functions of $\mathrm{U}(N)$-tensor models and their Schwinger-Dyson equations
Authors:
Romain Pascalie,
Carlos I. Pérez-Sánchez,
Raimar Wulkenhaar
Abstract:
We analyse the correlation functions of $\mathrm{U}(N)$-tensor models (or complex tensor models), which turn out to be classified by boundary graphs, and use the Ward-Takahashi identity and the graph calculus developed in [Commun. Math. Phys. (2018) 358: 589] in order to derive the complete tower of exact, analytic Schwinger-Dyson equations for correlation functions with connected boundary graphs.…
▽ More
We analyse the correlation functions of $\mathrm{U}(N)$-tensor models (or complex tensor models), which turn out to be classified by boundary graphs, and use the Ward-Takahashi identity and the graph calculus developed in [Commun. Math. Phys. (2018) 358: 589] in order to derive the complete tower of exact, analytic Schwinger-Dyson equations for correlation functions with connected boundary graphs. We write them explicitly for ranks $D=3$ and $D=4$. Throughout, we follow a non-perturbative approach to Tensor (Group) Field Theories. We propose the extension of this program to the Gurau-Witten model, a holographic tensor model based on the Sachdev-Ye-Kitaev model (SYK model).
△ Less
Submitted 20 July, 2018; v1 submitted 22 June, 2017;
originally announced June 2017.
-
The full Ward-Takahashi Identity for colored tensor models
Authors:
Carlos I. Pérez-Sánchez
Abstract:
Colored tensor models (CTM) is a random geometrical approach to quantum gravity. We scrutinize the structure of the connected correlation functions of general CTM-interactions and organize them by boundaries of Feynman graphs. For rank-$D$ interactions including, but not restricted to, all melonic $\varphi^4$-vertices---to wit, solely those quartic vertices that can lead to dominant spherical cont…
▽ More
Colored tensor models (CTM) is a random geometrical approach to quantum gravity. We scrutinize the structure of the connected correlation functions of general CTM-interactions and organize them by boundaries of Feynman graphs. For rank-$D$ interactions including, but not restricted to, all melonic $\varphi^4$-vertices---to wit, solely those quartic vertices that can lead to dominant spherical contributions in the large-$N$ expansion---the aforementioned boundary graphs are shown to be precisely all (possibly disconnected) vertex-bipartite regularly edge-$D$-colored graphs. The concept of CTM-compatible boundary-graph automorphism is introduced and an auxiliary graph calculus is developed. With the aid of these constructs, certain $\mathrm U(\infty)$-invariance of the path integral measure is fully exploited in order to derive a strong Ward-Takahashi Identity for CTMs with a symmetry-breaking kinetic term. For the rank-$3$ $\varphi^4$-theory, we get the exact integral-like equation for the 2-point function. Similarly, exact equations for higher multipoint functions can be readily obtained departing from this full Ward-Takahashi identity. Our results hold for some Group Field Theories as well. Altogether, our non-perturbative approach trades some graph theoretical methods for analytical ones. We believe that these tools can be extended to tensorial SYK-models.
△ Less
Submitted 2 December, 2018; v1 submitted 29 August, 2016;
originally announced August 2016.
-
Surgery in colored tensor models
Authors:
Carlos I. Pérez-Sánchez
Abstract:
Rooted in group field theory and matrix models, random tensor models are a recent background-invariant approach to quantum gravity in arbitrary dimensions. Colored tensor models (CTM) generate random triangulated orientable (pseudo)-manifolds. We analyze, in low dimensions, which known spaces are triangulated by specific CTM interactions. As a tool, we develop the graph-encoded surgery that is com…
▽ More
Rooted in group field theory and matrix models, random tensor models are a recent background-invariant approach to quantum gravity in arbitrary dimensions. Colored tensor models (CTM) generate random triangulated orientable (pseudo)-manifolds. We analyze, in low dimensions, which known spaces are triangulated by specific CTM interactions. As a tool, we develop the graph-encoded surgery that is compatible with the structure of quantum field theory and use it to prove that a single model, the complex $\varphi^4$-interaction in rank-$2$, generates all orientable $2$-bordisms, thus, in particular, also all orientable, closed surfaces. We show that certain quartic rank-$3$ CTM, the $\varphi_3^4$-theory, has as boundary sector all closed, possibly disconnected, orientable surfaces. Hence all closed orientable surfaces are cobordant via manifolds generated by the $\varphi_3^4$-theory.
△ Less
Submitted 19 June, 2017; v1 submitted 31 July, 2016;
originally announced August 2016.
