Abstract
In Gurau and Keppler 2022 (arxiv:2207.01993), a relation between orthogonal and symplectic tensor models with quartic interactions was proven. In this paper, we provide an alternative proof that extends to polynomial interactions of arbitrary order. We consider tensor models of order D with no symmetry under permutation of the indices that transform in the tensor product of D fundamental representations of O(N) and Sp(N). We explicitly show that the models obey the N to \(-N\) duality graph by graph in perturbation theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Random tensor models [1,2,3,4,5,6], introduced as a generalization of random matrix models, are probability measures of the type:
where the action \(S[T]\) is build out of invariants under some symmetry transformation. These models are analog to zero-dimensional quantum field theory and their perturbative expansion can be reorganized as a series in 1/N [7,8,9,10,11,12,13,14]. As their Feynman graphs are dual to higher-dimensional triangulations, random tensors provide a framework for the study of random topological spaces; in one dimension tensor models provide an alternative to the Sachdev–Ye–Kitaev model without quenched disorder [15, 16]; in higher dimensions they lead to tensor field theories and a new class of large N melonic conformal field theories [17,18,19,20,21].
In this paper, we study tensor models with symplectic and/or orthogonal symmetry. Several incarnations of the relation between the orthogonal and symplectic group for negative dimensions have been studied in the literature: On the one hand, in the context of representation theory, one can make sense of the relation \(SO(-N)\simeq Sp(N)\) [22,23,24,25]. On the other hand, for even N, SO(N) and Sp(N) gauge theories are known to be related by changing N to \(-N\) [26]. A vector model with symplectic fermions in three space-time dimensions has been studied in [27] and an example of SO(N) and Sp(N) gauge theories with matter fields and Yukawa interactions can be found in [28]. This duality has furthermore been shown to hold between orthogonal and symplectic matrix ensembles (the \(\beta =1,4\) ensembles) [29].
The orthogonal/symplectic duality has already been studied for tensor models by one of the authors in [30]. There, a graded colored tensor model (reviewed in Def. 1) was introduced. It was then shown that the partition function and connected two point correlation function of this model was invariant when replacing \(N_c\leftrightarrow -N_c\) and at the same time changing the symmetry \(O(N_c)\leftrightarrow Sp(N_c)\). However, the analysis in [30] made use of an intermediate field/Hubbard–Stratonovich transformation. This method allows to work with bosonic fields only, but is only applicable to the case of quartic interactions. Working directly in the usual colored graph representation of tensor models, we generalize results of [30] to interactions of arbitrary order and proceed in a more direct way.
Main result. We consider tensors of order D with no symmetry under permutation of their indices and call the position of an index its color c, with \(c=1,2,\dots D\). The tensors transform in the tensor product of D fundamental representations of O(N) and/or Sp(N), i.e., each tensor index is transformed by a different O(N) or Sp(N) matrix. The tensor components are real fermionic (anticommuting, odd) if the number of Sp(N) factors is odd and real bosonic (commuting, even) if this number is even. It is convenient to assign a parity to the tensor indices: \(\vert {c}\vert = 0\) or \(\vert {c}\vert = 1\) if the index transforms under \(O(N_c)\) or \(Sp(N_c)\), respectively. In this paper, we generalize the results of [30] by allowing arbitrary polynomial interactions.
Definition 1
The real graded tensor model obeys the symmetry:
(therefore the name “graded”) is defined by the measure:
where \(g^c_{a_cb_c}\) is the Kronecker \(\delta _{a_cb_c} \) for \(\vert {c}\vert =0\) or the canonical symplectic form \(\omega _{a_cb_c}\) for \(\vert {c}\vert =1\) and the sum runs over independent connected trace invariants \(I_{\mathcal {B}}(T)\) of order higher than two, indexed by undirected colored graphs \(\mathcal {B}\) (see Sect. 2 for more details).
The partition function Z and the expectation value of an invariant \(\langle {I_{\mathcal {B}}(T)}\rangle \) are defined by:
and can be evaluated in a perturbative expansion. Our main theorem is the following:
Theorem 2
The perturbative series of the partition function Z and expectation values of invariants \(\langle {I_{\mathcal {B}}(T)}\rangle \) can be expressed as a formal sum over \((D+1)\)-colored undirected graphs \(\mathcal {G}\). Each summand, corresponding to a specific graph \(\mathcal {G}\), writes as a product:
of a term K, encoding the dependence on the coupling constants \(\lambda _\mathcal {B}\) and some combinatorial numbers associated to \(\mathcal {G}\), and a term depending on \(N_1,N_2\dots ,N_D\) (see Sect. 2 for the relevant definitions and Sect. 3 for the precise form of the series).
Proof
The theorem follows from Proposition 8 and Cor. 9. \(\square \)
The essential remark is that all the factors \(N_c\) come in the form \((-1)^{\vert {c}\vert } N_c\); hence, each term is mapped into itself by exchanging \(O(N_c) \leftrightarrow Sp(N_c) \) and \(N_c \leftrightarrow -N_c\). Because graphically each \(N_c\) is associated to a face of colors c/0 (cycle of edges of alternating colors c and 0), this result can be seen as a generalization of the usual minus sign in quantum field theory for each fermionic loop. But one should keep in mind, that the full tensor is not necessary fermionic (its components are not necessarily anticommuting Graßmann numbers).
2 Setup of the models
In this section, we define the model. First, we specify the space of tensors we are interested in. Second, we give a description of the possible tensor invariants in terms of directed edge colored graphs, and third, we specify the model and its invariance properties.
The tensors A generic tensor \(T^{a_1\dots a_D}\) has no symmetry properties under permutation of its indices; hence, the indices have a well-defined position c, called their color. The set of colors is denoted \(\mathcal {D}=\{1,\dots , D\}\). We assign a parity to each color and sometimes call the colors with \(\vert {c}\vert =0\) even and the ones with \(\vert {c}\vert =1\) odd. The tensor components shall be bosonic (even) if the number of colors with \(\vert {c}\vert =1\) (i. e. odd colors) is even and fermionic (odd) otherwise: the Graßmann number \(T^{a_1\dots a_D}\) has the same parity as \(\sum _{c\in \mathcal {D}} \vert {c}\vert \).
Let \({H}_c = \mathbb {R}^{N_c|0}\) for \(\vert {c}\vert =0 \), respectively \( {H}_c =\mathbb {R}^{0|N_c}\) for \(\vert {c}\vert =1 \) be a real supervector space of dimension \(N_c\) that is either purely even or purely odd. Each \(H_c\) is endowed with a non-degenerate graded symmetric inner product \(g^c\):
In a standard basis, \(g^c\) agrees with the standard symmetric or symplectic form, that is \(g^c_{a_cb_c} = \delta _{a_cb_c}\) for \(\vert {c}\vert =0 \), respectively \( g^c_{a_cb_c} = \omega _{a_cb_c}\) for \(\vert {c}\vert =1 \). As usual, we write \(g^{c,\, a_c b_c}\) for the components of \((g^c)^{-1}\). The isometry group preserving \(g^c\) is either \(O(N_c)\) in the \(\vert {c}\vert =0\) case or \(Sp(N_c)\) in the \(\vert {c}\vert =1\) case, denoted collectively by \(\pmb {O}_{c}(N_c):= \{ O_c\ |\ g^c_{a_cb_c} = O_{a_c}^{\ a'_c} O_{b_c}^{\ b'_c} g^c_{a'_c b'_c} = ( O g^c O^T )_{a_cb_c}\}\).
The tensors are elements of
and transform in the tensor product representation of several orthogonal and symplectic groups according to the type of the individual \({H}_c\)’s:
![](http://media.springernature.com/lw518/springer-static/image/art%3A10.1007%2Fs11005-023-01706-7/MediaObjects/11005_2023_1706_Equ8_HTML.png)
Directed edge colored graphs and invariants Invariant polynomials in the tensor components are constructed by contracting the indices of color \(c\) with the inner product \(g^c\). The unique quadratic invariant is:
General trace invariants are polynomials in the \(T^{a_{\mathcal {D}}}\)’s build by contracting pairs of indices of the same color. These invariants admit a graphical representation as directed edge colored graphs. The graphical representatives of tensor invariants are often called bubbles [2, 5].
Definition 3
(Directed edge colored graphs) A closed directed edge \(D\)-colored graph (directed colored graph for short) is a directed graph \(\vec {\mathcal {B}}=(V(\vec {\mathcal {B}}),\vec {E}(\vec {\mathcal {B}}))\) with vertex set \(V(\vec {\mathcal {B}})\) and edge set \(\vec {E}(\vec {\mathcal {B}})\) such that:
-
The edge set is partitioned into \(D\) disjoint subsets \(\vec {E}(\vec {\mathcal {B}})=\bigsqcup _{c=1}^{D} \vec {E}^c(\vec {\mathcal {B}})\), where we denote the subset of edges of color \(c\) by \(\vec {E}^c(\vec {\mathcal {B}})\ni e^c=(v,w)\), with \(v,w\in V(\vec {\mathcal {B}})\).
-
Each set \(\vec {E}^c(\vec {\mathcal {B}})\) is a directed pairing of the vertices.
As a consequence all vertices are \(D\)-valent with all the edges incident to a vertex having distinct colors, and \(V(\vec {\mathcal {B}})\) is of even cardinality. We denote by \(F_{c/c'}(\vec {\mathcal {B}})\) the number of faces of colors \(c\ne c'\), that is cycles made of alternating edges of these two distinct colors. Per default, we will consider directed graphs \(\vec {\mathcal {B}}\) and view undirected graphs as equivalence classes \(\mathcal {B}=[\vec {\mathcal {B}}]\) of their directed versions. All graphs have labeled vertices. Some examples are depicted in Figs. 1, 2.
Due to the signs introduced by the reversing the edges of odd colors (remember that this corresponds to transposing the antisymmetric matrix \(\omega \)), several invariants differ only by a minus sign. This ambiguity can be fixed by using a sign fixing prescription generalizing the one given in [30].
The invariant of order 2k defined by the directed colored graph \(\vec {\mathcal {B}}\) with vertices \(V(\vec {\mathcal {B}})=\{1,2,\dots ,2k \}\), will be denoted by \(I_{\vec {\mathcal {B}}}(T)\), and is given by the following expression:
here \(\vec {P}_{ref,2k}\) is an arbitrary but fixed reference pairing on the set of vertices, chosen to be \(\vec {P}_{ref,2k} = \{(1,2),\dots ,(2k-1,2k)\}\), and the sign of the pairings \(\epsilon (\vec {P}_{ref,2k_p}, \vec {E}^c(\vec {\mathcal {B}}))^{|c|}\) was introduced to fix the sign ambiguity. As an example, consider the pillow interaction (Fig. 2) defined by the graph \(\vec {\mathcal {P}}\). The corresponding tensor invariant is:
Before reviewing the definition and properties of \(\epsilon \), which will play a central role, let us comment about how the sign ambiguity shall be understood:
-
Because the tensors may anticommute, for writing down the expression for the invariant, it is necessary to fix an order. This is done by the reference pairing \(\vec {P}_{ref,2k}\).
-
If two directed colored graphs \(\vec {\mathcal {A}}\) and \(\vec {\mathcal {B}}\) differ only by redirecting some of their edges, the corresponding trace invariants are the same, up to transposing some \((g^c)^T=(-1)^{|c|}g^c\) which could lead to a sign difference between \(I_{\vec {\mathcal {A}}}(T)\) and \(I_{\vec {\mathcal {B}}}(T)\). In order to restrict to independent invariants, we consider such directed graphs to be in the same equivalence class \([\vec {\mathcal {A}}]=[\vec {\mathcal {B}}]\), i.e., they describe the same undirected colored graph.
-
The sign prescription ensures that \(I_{\vec {\mathcal {B}}}(T)\) is a class function:
$$\begin{aligned} I_{\vec {\mathcal {A}}}(T)= I_{\vec {\mathcal {B}}}(T)\; \quad \text {if}\ \mathcal {A}=\mathcal {B}\;, \end{aligned}$$(2.7)and thus any representative of \([\vec {\mathcal {B}}]\) can be used to write down the invariant.
Because of the last point, from now on, we will label the invariants by undirected graphs \(\mathcal {B}\), and it is understood that for (2.5) an arbitrary directed representative \(\vec {\mathcal {B}}\in [\vec {\mathcal {B}}]\equiv \mathcal {B}\) has been chosen.
A trace invariant is called connected, if the corresponding colored graph is so. Note that any product of two invariants can be written as a single disconnected invariant such that:
and a new reference pairing is given by the disjoint union of the original reference pairings (2.12).
A colored directed graph (the pillow \(\vec {\mathcal {P}}\)) defined by three pairings. The edges of colors one, two and three are represented by dashed, dotted and solid lines, respectively. The associated invariant is given in (2.6)
Sign of oriented pairings
Consider two oriented pairings \(\vec {P}_1\) and \(\vec {P}_2\) on the same set of 2k elements:
The sign \(\epsilon (\vec {P}_1,\vec {P}_2)\) of the two pairings with respect to each another is defined as the sign of the permutation that takes \(i_1\dots i_{2k}\) into \(j_1 \dots j_{2k}\). The properties of this sign are:
-
1.
The sign is symmetric under permutation of its arguments:
$$\begin{aligned} \epsilon (\vec {P}_1,\vec {P}_2) = \epsilon (\vec {P}_2,\vec {P}_1) \;. \end{aligned}$$(2.10) -
2.
For three pairings \(\vec {P}_1\), \(\vec {P}_2\), \(\vec {P}_3\) on the same set, one has:
$$\begin{aligned} \epsilon (\vec {P}_1,\vec {P}_2) = \epsilon (\vec {P}_1,\vec {P}_3) \epsilon (\vec {P}_2,\vec {P}_3) \;. \end{aligned}$$(2.11) -
3.
For two pairings \(\vec {P}_1\), \(\vec {P}_2\) on a first set \(\mathcal {S}_1\) of 2k elements and two pairings \(\vec {P}_3\), \(\vec {P}_4\) on a second set \(\mathcal {S}_2\) of 2p elements, the product \( \epsilon (\vec {P}_1,\vec {P}_2) \epsilon (\vec {P}_3,\vec {P}_4)\) can be written as the sign of the disjoint union of pairings \(\vec {P}_1 \sqcup \vec {P}_3\) and \(\vec {P}_2 \sqcup \vec {P}_4\) (on the set \(\mathcal {S}_1 \sqcup \mathcal {S}_2\)):
$$\begin{aligned} \epsilon (\vec {P}_1,\vec {P}_2) \epsilon (\vec {P}_3,\vec {P}_4) = \epsilon (\vec {P}_1 \sqcup \vec {P}_3,\vec {P}_2 \sqcup \vec {P}_4) \;. \end{aligned}$$(2.12)
The sign of two pairings has a nice graphical interpretation that will be of great use.
Lemma 4
Depicting the 2k elements of a set \(\mathcal {S}\) as vertices, the two pairings \(\vec {P}_{c}\) and \(\vec {P}_{c'}\) on this set can be represented by colored (one color—c or \(c'\) —for each pairing), oriented edges connecting the vertices. Define a face of colors \(c/c'\) as an alternating cycle of edges of color c and \(c'\). A face is called even (resp. odd), if an even (odd) number of its edges point in the same directions around its cycles.Footnote 1 Denoting \(F_{c/c',even}\) resp. \(F_{c/c',odd}\) the number of even and odd faces of colors \(c/c'\), the sign \(\epsilon (\vec {P}_c,\vec {P}_{c'})\) can be expressed as:
See Fig. 3 for an illustration.
Proof
Denoting \(\vec {P}_c = \{ (i_1, i_2), \dots , (i_{2k-1}, i_{2k}) \}\) and \(\vec {P}_{c'} = \{ (j_1, j_2), \dots , (j_{2k-1}, j_{2k}) \}\), by definition, \(\epsilon (\vec {P}_c,\vec {P}_{c'})\) is the sign of the permutation \(\sigma =\big ({\begin{matrix}i_1&{}i_2&{}\dots &{}i_{2k-1}&{}i_{2k}\\ j_1&{}j_2&{}\dots &{}j_{2k-1}&{}j_{2k}\end{matrix}}\big )\). One can define a second permutation \(\rho \), whose cycles coincide with the faces of \(\vec {P}_c \sqcup \vec {P}_{c'}\) (neglecting for a moment the orientation of the edges). The permutation \(\rho \) is defined by:
-
\(\rho (i)\) is the successor of the vertex i that is reached by going clockwise around the face of colors \(c/c'\) to which i belongs.
-
Writing \(\rho =\big ({\begin{matrix}l_1&{}l_2&{}\dots &{}l_{2k-1}&{}l_{2k}\\ m_1&{}m_2&{}\dots &{}m_{2k-1}&{}m_{2k}\end{matrix}}\big )\), one can think of \(\rho \) as consisting of two directed pairings \(\vec {P}_r = \{ (l_1, l_2), \dots , (l_{2k-1}, l_{2k}) \}\) and \(\vec {P}_{r'} = \{ (m_1, m_2), \dots , (m_{2k-1}, m_{2k}) \}\) that differ from \(\vec {P}_c\) and \(\vec {P}_{c'}\) only by the direction of their edges.
Since all the faces are of even length, the sign of the permutation \(\rho \) is given by \({{\,\textrm{sgn}\,}}(\rho ) = (-1)^{F_{c/c'}}\). The crucial point is that \(\rho \) is chosen such that it differs from \(\sigma \) by an odd number of transpositions for each odd face, i.e., \({{\,\textrm{sgn}\,}}(\sigma ) = (-1)^{F_{c/c',odd}} {{\,\textrm{sgn}\,}}(\rho ) = (-1)^{F_{c/c',even}}\). See Fig. 4 for an illustration. \(\square \)
Illustration of Lemma 4. \(\vec {P_1}\) is represented with solid and \(\vec {P_2}\) with dashed edges. The face on the left is odd and the face on the right is even
Illustration of the Proof of Lemma 4. The faces of colors \(r/r'\) coincide with the cycles of \(\rho \), and with the faces of colors \(c/c'\), up to the orientation of their edges. \(\vec {P}_c\) solid line, \(\vec {P}_{c'}\) dashed, \(\vec {P}_r\) dash-dotted, \(\vec {P}_{r'}\) dotted
For a review on the connection of directed pairings and their sign with pfaffians and fermionic Gaußian integrals, we refer the interested reader to the Appendix of [31].
Graded colored tensor model As discussed above, the set of independent trace invariants is indexed by equivalence classes of directed colored graphs \(\mathcal {B}= [\vec {\mathcal {B}}]\). Being class functions, any representative \(\vec {\mathcal {B}}\in \mathcal {B}\) can be used to define \(I_{\vec {\mathcal {B}}}(T)\).
Definition 5
(Real Graded Tensor Model) The real graded tensor model is the measureFootnote 2:
where the normalization is such that \(\int d\mu [T] =1\) for \(\lambda _{\mathcal {B}}=0\ \forall \mathcal {B}\).
3 Perturbative expansions in terms of colored graphs
In this section, we compute the expectation value of invariants and show that these obey the \(N\rightarrow -N\) duality graph by graph in the perturbative expansion. On a technical level, most statements are generalizations of the known results for colored random tensor models, as summarized, e.g., in [2, 5]. Let us recall the commutation relation of the tensor component:
and introduce the following short hand notations:
We first compute the expectation values with respect to the Gaußian measure that is obtained by setting all coupling constants \(\lambda _{\mathcal {B}}\) to zero. This is Wick’s theorem for the Gaußian expectation value \(\langle \, \dots \rangle _0\) of 2k anticommuting variables.
Lemma 6
The Gaußian expectation value of an even number of tensors:
can be computed as a sum over the set \(\mathcal {P}_{2k}\) of (undirected) pairings of 2k elements:
where \(\vec {P}\) is an (arbitrarily chosen) directed version of P. Each summand is independent of that choice, because the sign \(\epsilon ( \vec {P}_{ref,2k},\vec {P})\) is odd under reordering of pairs, while \(g^{a^i_\mathcal {D}a^j_\mathcal {D}}\) is antisymmetric in the relevant cases. The odd moments vanish and the sign is trivial for commuting (bosonic) tensor components.
Proof
This classical statement is proved using the derivative representation of normalized Gaußian measures:
Iterating this procedure, the derivatives will create (directed) pairings \(\vec {P}\) of the 2k tensors, and pick up minus signs if they have to anticommute with an odd number of tensors. The total sign, generated in this way, is just the sign of \(\vec {P}\) relative to the reference pairing \(\vec {P}_{ref,2k}=\{(1,2),(2,3),\dots ,(2k-1,2k)\}\).
where \(\vec {\mathcal {P}}_{2k}\) is the set of directed pairings of 2k elements. Because the sign \(\epsilon ( \vec {P}_{ref,2k},\vec {P})\) is odd under reordering of pairs, while \(g^{a^i_\mathcal {D}a^j_\mathcal {D}}=(-1)^{\sum _{c\in \mathcal {D}}|c|}g^{a^j_\mathcal {D}a^i_\mathcal {D}}\), each summand does not depend on the order of the pairs in \(\vec {P}\). If P is an (undirected) pairing of 2k elements, there are \(2^k\) directed pairings \(\vec {P}\) associated to it. Taking this multiplicity into account, the statement follows. \(\square \)
Proposition 7
The Gaußian expectation of an invariant of order 2k, specified by a D-colored directed graph \(\vec {\mathcal {B}}\):
can be computed as a sum over \((D+1)\)-colored undirected graphs \(\mathcal {G}= [\vec {\mathcal {G}}]\) (Feynman graphs) having edges of an additional color 0, such that \(\mathcal {B}\subset \mathcal {G}\) is the maximal D-colored subgraph of colors \(c\in \mathcal {D}\):
The power of \(N_c\) is given by the number of faces of \(\mathcal {G}\), of alternating colors c and 0.
Since the invariants are class functions, the result does only depend on undirected graphs.
Proof
Using Lemma 6, one has:
Now, using Property (2.11) of the sign of two pairings to eliminate the dependence on reference \(\vec {P}_{ref,2k}\) and reorganizing the products according to color leads to:
By adding edges of a new color 0 to \(\vec {\mathcal {B}}\), according to the pairing \(\vec {P}\), a \((D+1)\) directed colored graph \(\vec {\mathcal {G}}\) is obtained. Along the faces of colors c/0, \(g^c\) and \((g^c)^{-1}\) alternate and since all indices are summed, each such face contributes a factor \(N_c\). Note, however, that since \(g^c_{a_cb_c} g^{c,\; d_cb_c} = (-1)^{|c|}\delta _{a_c}^{d_c}\), a face picks up an additional sign if an odd number of edges are pointing in the same direction around the face (such a face was called odd). With this and the expression of \(\epsilon (\vec {P},\vec {E}^c(\vec {\mathcal {B}}))\) in terms of the number of even faces of colors c/0 (Lemma 4) we obtain:
and since the sum of the number of even and odd face of colors c/0 is equal to the total number of such faces in \(\vec {\mathcal {G}}\) (equivalent to the ones in \(\mathcal {G}\)), this concludes the proof. Note, however, that the result does not depend on the particular choices of directed graph. This is true at each intermediate step because the symmetry properties of \(\epsilon (\cdot ,\cdot )^{|c|}\) always agree with the graded symmetry of \(g^c\). \(\square \)
At this point, we have all the ingredients for the perturbative evaluation of the partition function.
Proposition 8
The partition function \(Z(\{\lambda \}\) of the graded colored tensor model (Def. 5) can be evaluated by a formal power series in the coupling constants that is indexed by \((D+1)\)-colored undirected graphs \(\mathcal {G}\). Let us denote the D-colored maximally connected subgraphs of colors \(c\in \mathcal {D}\), called bubbles, by \(\mathcal {B}\subset \mathcal {G}\). The sum runs only over graphs \(\mathcal {G}\) without bubbles having exactly two vertices:
and \(n_b(\mathcal {G})\) denotes the total number of bubbles in \(\mathcal {G}\).
Proof
We expand the interaction part to find:
where we associate to each undirected D-colored graph \(\mathcal {B}\) a multiplicity \(p_\mathcal {B}\ge 0\), and sum over these. Commuting the sum and the Gaußian integral, we obtain the perturbative series:
As any product of invariants can be seen as a single disconnected invariant (2.8), Proposition 7 can be directly applied, and one obtains a sum over \((D+1)\)-colored undirected graphs \(\mathcal {G}\) with the only condition, that they do not have bubbles \(\mathcal {B}\subset \mathcal {G}\) with exactly two vertices. Whenever the graph \(\mathcal {G}\) contains a bubble \(\mathcal {B}\) this contributes a factor \(\lambda _\mathcal {B}\):
here \(n_b(\mathcal {G})\) is the total number of bubbles in \(\mathcal {G}\). \(\square \)
Corollary 9
The expectation value of trace invariants is computed as derivatives of the logarithm of the partition function:
The expectation value can be computed explicitly as a formal sum, analogous to \(Z(\{\lambda \})\). The derivative acts on one \(\lambda _\mathcal {B}\) in the product and marks the corresponding bubble \([\mathcal {B}]\subset [\mathcal {G}]\):
Proof
The statements for \(|V(\mathcal {B})|> 2\) follow from Definition 5, (1.4), Proposition 8 and the usual fact, that the logarithm restricts to a sum over connected graphs. For \(|V(\mathcal {B})|=2\) consider the following Schwinger–Dyson equation:
and use the result for \(\langle I_{\vec {\mathcal {B}}}(T)\rangle \). The first term in the second line can be interpreted as a ring-graph without any vertex but D colored edges. \(\square \)
4 Conclusion and outlook
In this paper, we showed the N to \(-N\) duality between colored tensor models with orthogonal and symplectic symmetry. We showed that the amplitude of any graph \(\mathcal {G}\) comes with a factor \(\prod _{c \in \mathcal {C}} \left( (-1)^{|c|} N_c \right) ^{F_{c/0}(\mathcal {G})}\), where |c| is a grading assigned to the color c controlling its symmetry properties (\(|c|=0\) for \(O(N_c)\) and \(|c|=1\) for \(Sp(N_c)\)), and \(F_{c/0}(\mathcal {G})\) is the number of faces of color c in \(\mathcal {G}\). As a consequence, the amplitude of any graph is invariant under simultaneously changing \(O(N_c) \leftrightarrow Sp(N_c)\) and \(N_c \leftrightarrow - N_c\) for any color c. Our analysis relies heavily on the properties of the sign of oriented pairings. This sign ensures that the invariants are specified by undirected graphs and do not depend on the arbitrarily chosen orientation of edges. Then, by carefully keeping track of the signs coming from the bosonic or fermionic nature, as well as reorientations of edges in directed graphs, we obtain the desired expressions for the graph amplitudes.
A natural follow-up of this project is to consider tensors with symmetry properties under permutation of their indices. The work of [22,23,24,25] suggests that similar models could be constructed for arbitrary (also mixed) tensor representations of the orthogonal and symmetric group. For example, we suspect a relation between a tensor model with tensors of order D transforming in the totally symmetric representation of O(N) (similar to [11, 12, 32]) and a model build on the totally antisymmetric representation of Sp(N). For odd D, the symplectic model should again be fermionic. Moreover, one should also explore the implications of the \(N\rightarrow -N\) duality for tensor field theories. The sign change may generate new renormalization group fixed points. Finally, more general models with OSp(m, n) symmetry could be considered. In this case, one would interchange n and m.
Data availability
No datasets were generated or analyzed during the current study.
Notes
Note that a face of colors \(c/c'\) always has an even number of edges, and hence this notion is well defined.
We treat the measures \(d\mu [T]\) as a perturbed Gaußian measures. As such we do not concern ourselves with the convergence of the various tensor and matrix integrals. As we treat the Gaußian integrals as generating functions of graphs, we will not adress such issues.
References
Ambjørn, J., Durhuus, B., Jonsson, T.: Three-dimensional simplicial quantum gravity and generalized matrix models. Mod. Phys. Lett. A 6, 1133 (1991). https://doi.org/10.1142/S0217732391001184
Gurau, R.: Random Tensors, 1st edn. Oxford University Press, Oxford (2017)
Gurau, R.: Invitation to random tensors. SIGMA 12, 94 (2016). https://doi.org/10.3842/SIGMA.2016.094. [arxiv:1609.06439]
Gurau, R., Ryan, J.P.: Colored tensor models - a review. SIGMA 8, 20 (2012). https://doi.org/10.3842/SIGMA.2012.020. [arxiv:1109.4812]
Tanasa, A.: Combinatorial Physics. Oxford University Press, Oxford (2021)
Gurau, R.: Notes on Tensor Models and Tensor Field Theories (2019)
Gurau, R.: The complete 1/N expansion of colored tensor models in arbitrary dimension. Ann. Henri Poincaré 13, 399 (2012). https://doi.org/10.1007/s00023-011-0118-z. [arxiv:1102.5759]
Bonzom, V., Gurau, R., Rivasseau, V.: Random tensor models in the large N limit: uncoloring the colored tensor models. Phys. Rev. D 85, 084037 (2012). https://doi.org/10.1103/PhysRevD.85.084037. arxiv:1202.3637
Carrozza, S., Tanasa, A.: \(O(N)\) random tensor models. Lett. Math. Phys. 106, 1531 (2016). https://doi.org/10.1007/s11005-016-0879-x. arxiv:1512.06718
Benedetti, D., Carrozza, S., Gurau, R., Kolanowski, M.: The \(1/N\) expansion of the symmetric traceless and the antisymmetric tensor models in rank three. Commun. Math. Phys. 371, 55 (2019). https://doi.org/10.1007/s00220-019-03551-z. arxiv:1712.00249
Carrozza, S.: Large \(N\) limit of irreducible tensor models: \(O(N)\) rank-\(3\) tensors with mixed permutation symmetry. JHEP 06, 39 (2018). https://doi.org/10.1007/JHEP06(2018)039. arxiv:1803.02496
Carrozza, S., Harribey, S.: Melonic large \(N\) limit of \(5\)-index irreducible random tensors. Commun. Math. Phys. 390, 1219 (2022). https://doi.org/10.1007/s00220-021-04299-1. arxiv:2104.03665
Dartois, S., Rivasseau, V., Tanasa, A.: The 1/N expansion of multi-orientable random tensor models. Annales Henri Poincaré 15, 965 (2013). https://doi.org/10.1007/s00023-013-0262-8
Krajewski, T., Muller, T., Tanasa, A.: Double scaling limit of the prismatic tensor model. J. Phys. A Math. Theor. 56, 235401 (2023)
Witten, E.: An SYK-like model without disorder. J. Phys. A 52, 474002 (2019). https://doi.org/10.1088/1751-8121/ab3752. [arxiv:1610.09758]
Klebanov, I.R., Tarnopolsky, G.: Uncolored random tensors, melon diagrams, and the Sachdev-Ye-Kitaev models. Phys. Rev. D 95, 046004 (2017). https://doi.org/10.1103/PhysRevD.95.046004. arxiv:1611.08915
Giombi, S., Klebanov, I.R., Tarnopolsky, G.: Bosonic tensor models at large \(N\) and small \(\epsilon \). Phys. Rev. D 96, 106014 (2017). https://doi.org/10.1103/PhysRevD.96.106014. arxiv:1707.03866
Bulycheva, K., Klebanov, I.R., Milekhin, A., Tarnopolsky, G.: Spectra of operators in large \(N\) tensor models. Phys. Rev. D 97, 026016 (2018). https://doi.org/10.1103/PhysRevD.97.026016. arxiv:1707.09347
Giombi, S., Klebanov, I.R., Popov, F., Prakash, S., Tarnopolsky, G.: Prismatic large \(N\) models for bosonic tensors. Phys. Rev. D 98, 105005 (2018). https://doi.org/10.1103/PhysRevD.98.105005. arxiv:1808.04344
Klebanov, I.R., Popov, F., Tarnopolsky, G.: TASI lectures on large \(N\) tensor models, PoS TASI2017 (2018) 004 https://doi.org/10.22323/1.305.0004arxiv:1808.09434
Gurau, R.: Notes on tensor models and tensor field theories, 1907.03531
King, R.C.: Modification rules and products of irreducible representations of the unitary, orthogonal, and symplectic groups. J. Math. Phys. 12, 1588 (1971). https://doi.org/10.1063/1.1665778
Cvitanović, P., Kennedy, A.D.: Spinors in negative dimensions. Phys. Scr. 26, 5 (1982). https://doi.org/10.1088/0031-8949/26/1/001
Mkrtchyan, R.L., Veselov, A.P.: On duality and negative dimensions in the theory of Lie groups and symmetric spaces. J. Math. Phys. 52, 083514 (2011). https://doi.org/10.1063/1.3625954
Cvitanović, P.: Group Theory. Princeton University Press, Princeton (2008)
Mkrtchian, R.L.: The equivalence of Sp(2N) and SO(-2N) gauge theories. Phys. Lett. B 105, 174 (1981). https://doi.org/10.1016/0370-2693(81)91015-7
LeClair, A., Neubert, M.: Semi-lorentz invariance, unitarity, and critical exponents of symplectic fermion models. JHEP (2007). https://doi.org/10.1088/1126-6708/2007/10/027. arxiv:0705.4657
Bond, A.D., Litim, D.F., Steudtner, T.: Asymptotic safety with majorana fermions and new large \(N\) equivalences. Phys. Rev. D (2020). https://doi.org/10.1103/PhysRevD.101.045006. arxiv:1911.11168
Mulase, M., Waldron, A.: Duality of orthogonal and symplectic matrix integrals and quaternionic feynman graphs. Commun. Math. Phys. 240, 553 (2003). https://doi.org/10.1007/s00220-003-0918-1. arxiv:math-ph/0206011
Gurau, R., Keppler, H.: Duality of orthogonal and symplectic random tensor models. AIHPD (2022). https://doi.org/10.48550/ARXIV.2207.01993
Caracciolo, S., Sokal, A.D., Sportiello, A.: Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians. Adv. Appl. Math. 50, 474 (2013). https://doi.org/10.1016/j.aam.2012.12.001. [arxiv:1105.6270]
Carrozza, S., Pozsgay, V.: SYK-like tensor quantum mechanics with sp(n) symmetry. Nucl. Phys. (2019). https://doi.org/10.1016/j.nuclphysb.2019.02.012. arxiv:1809.07753
Acknowledgements
We thank Razvan Gurau, Thomas Krajewski and Adrian Tanasa for comments and discussions. The authors gratefully acknowledge support of the Institut Henri Poincaré (UAR 839 CNRS-Sorbonne Université), and LabEx CARMIN (ANR-10-LABX-59-01), where some of this work has been carried out. H. K. has been supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC–2181/1 –390900948 (the Heidelberg STRUCTURES Cluster of Excellence). T. M. has been partially supported by the ANR-20-CE48-0018 “3DMaps” grant.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Keppler, H., Muller, T. Duality of orthogonal and symplectic random tensor models: general invariants. Lett Math Phys 113, 83 (2023). https://doi.org/10.1007/s11005-023-01706-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01706-7