-
Row and column detection complexities of character tables
Authors:
Adrian Padellaro,
Sanjaye Ramgoolam,
Rak-Kyeong Seong
Abstract:
Character tables of finite groups and closely related commutative algebras have been investigated recently using new perspectives arising from the AdS/CFT correspondence and low-dimensional topological quantum field theories. Two important elements in these new perspectives are physically motivated definitions of quantum complexity for the algebras and a notion of row-column duality. These element…
▽ More
Character tables of finite groups and closely related commutative algebras have been investigated recently using new perspectives arising from the AdS/CFT correspondence and low-dimensional topological quantum field theories. Two important elements in these new perspectives are physically motivated definitions of quantum complexity for the algebras and a notion of row-column duality. These elements are encoded in properties of the character table of a group G and the associated algebras, notably the centre of the group algebra and the fusion algebra of irreducible representations of the group. Motivated by these developments, we define row and column versions of detection complexities for character tables, and investigate the relation between these complexities under the exchange of rows and columns. We observe regularities that arise in the statistical averages over small character tables and propose corresponding conjectures for arbitrarily large character tables.
△ Less
Submitted 4 March, 2025;
originally announced March 2025.
-
Eigenvalue systems for integer orthogonal bases of multi-matrix invariants at finite N
Authors:
Adrian Padellaro,
Sanjaye Ramgoolam,
Ryo Suzuki
Abstract:
Multi-matrix invariants, and in particular the scalar multi-trace operators of $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of $N$. Free-field two-point functions define an $N$-dependent inner product on the PCA, and bases of operators have been constructed wh…
▽ More
Multi-matrix invariants, and in particular the scalar multi-trace operators of $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, can be described using permutation centraliser algebras (PCA), which are generalisations of the symmetric group algebras and independent of $N$. Free-field two-point functions define an $N$-dependent inner product on the PCA, and bases of operators have been constructed which are orthogonal at finite $N$. Two such bases are well-known, the restricted Schur and covariant bases, and both definitions involve representation-theoretic quantities such as Young diagram labels, multiplicity labels, branching and Clebsch-Gordan coefficients for symmetric groups. The explicit computation of these coefficients grows rapidly in complexity as the operator length increases. We develop a new method for explicitly constructing all the operators with specified Young diagram labels, based on an $N$-independent integer eigensystem formulated in the PCA. The eigensystem construction naturally leads to orthogonal basis elements which are integer linear combinations of the multi-trace operators, and the $N$-dependence of their norms are simple known dimension factors. We provide examples and give computer codes in SageMath which efficiently implement the construction for operators of classical dimension up to 14. While the restricted Schur basis relies on the Artin-Wedderburn decomposition of symmetric group algebras, the covariant basis relies on a variant which we refer to as the Kronecker decomposition. Analogous decompositions exist for any finite group algebra and the eigenvalue construction of integer orthogonal bases extends to the group algebra of any finite group with rational characters.
△ Less
Submitted 17 February, 2025; v1 submitted 17 October, 2024;
originally announced October 2024.
-
Counting of surfaces and computational complexity in column sums of symmetric group character tables
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
The character table of the symmetric group $S_n$, of permutations of $n$ objects, is of fundamental interest in theoretical physics, combinatorics as well as computational complexity theory. We investigate the implications of an identity, which has a geometrical interpretation in combinatorial topological field theories, relating the column sum of normalised central characters of $S_n$ to a sum of…
▽ More
The character table of the symmetric group $S_n$, of permutations of $n$ objects, is of fundamental interest in theoretical physics, combinatorics as well as computational complexity theory. We investigate the implications of an identity, which has a geometrical interpretation in combinatorial topological field theories, relating the column sum of normalised central characters of $S_n$ to a sum of structure constants of multiplication in the centre of the group algebra of $S_n$. The identity leads to the proof that a combinatorial computation of the column sum belongs to complexity class \shP. The sum of structure constants has an interpretation in terms of the counting of branched covers of the sphere. This allows the identification of a tractable subset of the structure constants related to genus zero covers. We use this subset to prove that the column sum for a conjugacy class labelled by partition $λ$ is non-vanishing if and only if the permutations in the conjugacy class are even. This leads to the result that the determination of the vanishing or otherwise of the column sum is in complexity class \pP. The subset gives a positive lower bound on the column sum for any even $ λ$. For any disjoint decomposition of $ λ$ as $λ_1 \sqcup λ_2 $ we obtain a lower bound for the column sum at $ λ$ in terms of the product of the column sums for $ λ_1$ and$λ_2$. This can be expressed as a super-additivity property for the logarithms of column sums of normalized characters.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Permutation invariant matrix quantum thermodynamics and negative specific heat capacities in large N systems
Authors:
Denjoe O'Connor,
Sanjaye Ramgoolam
Abstract:
We study the thermodynamic properties of the simplest gauged permutation invariant matrix quantum mechanical system of oscillators, for general matrix size $N$. In the canonical ensemble, the model has a transition at a temperature $T$ given by $x = e^{ -1/ T } \sim x_c=e^{-1/T_c}=\frac{\log N}{N}$, characterised by a sharp peak in the specific heat capacity (SHC), which separates a high temperatu…
▽ More
We study the thermodynamic properties of the simplest gauged permutation invariant matrix quantum mechanical system of oscillators, for general matrix size $N$. In the canonical ensemble, the model has a transition at a temperature $T$ given by $x = e^{ -1/ T } \sim x_c=e^{-1/T_c}=\frac{\log N}{N}$, characterised by a sharp peak in the specific heat capacity (SHC), which separates a high temperature from a low temperature region. The peak grows and the low-temperature region shrinks to zero with increasing $N$. In the micro-canonical ensemble, for finite $N$, there is a low energy phase with negative SHC and a high energy phase with positive SHC. The low-energy phase is dominated by a super-exponential growth of degeneracies as a function of energy which is directly related to the rapid growth in the number of directed graphs, with any number of vertices, as a function of the number of edges. The two ensembles have matching behaviour above the transition temperature. We further provide evidence that these thermodynamic properties hold in systems with $U(N)$ symmetry such as the zero charge sector of the 2-matrix model and in certain tensor models. We discuss the implications of these observations for the negative specific heat capacities in gravity using the AdS/CFT correspondence.
△ Less
Submitted 17 February, 2025; v1 submitted 21 May, 2024;
originally announced May 2024.
-
Gauged permutation invariant matrix quantum mechanics: Partition functions
Authors:
Denjoe O'Connor,
Sanjaye Ramgoolam
Abstract:
The Hilbert spaces of matrix quantum mechanical systems with $N \times N$ matrix degrees of freedom $ X $ have been analysed recently in terms of $S_N$ symmetric group elements $U$ acting as $X \rightarrow U X U^T $. Solvable models have been constructed uncovering partition algebras as hidden symmetries of these systems. The solvable models include an 11-dimensional space of matrix harmonic oscil…
▽ More
The Hilbert spaces of matrix quantum mechanical systems with $N \times N$ matrix degrees of freedom $ X $ have been analysed recently in terms of $S_N$ symmetric group elements $U$ acting as $X \rightarrow U X U^T $. Solvable models have been constructed uncovering partition algebras as hidden symmetries of these systems. The solvable models include an 11-dimensional space of matrix harmonic oscillators, the simplest of which is the standard matrix harmonic oscillator with $U(N)$ symmetry. The permutation symmetry is realised as gauge symmetry in a path integral formulation in a companion paper. With the simplest matrix oscillator Hamiltonian subject to gauge permutation symmetry, we use the known result for the micro-canonical partition function to derive the canonical partition function. It is expressed as a sum over partitions of $N$ of products of factors which depend on elementary number-theoretic properties of the partitions, notably the least common multiples and greatest common divisors of pairs of parts appearing in the partition. This formula is recovered using the Molien-Weyl formula, which we review for convenience. The Molien-Weyl formula is then used to generalise the formula for the canonical partition function to the 11-parameter permutation invariant matrix harmonic oscillator.
△ Less
Submitted 2 July, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Gauged permutation invariant matrix quantum mechanics: Path Integrals
Authors:
Denjoe O'Connor,
Sanjaye Ramgoolam
Abstract:
We give a path integral construction of the quantum mechanical partition function for gauged finite groups. Our construction gives the quantization of a system of $d$, $N\times N$ matrices invariant under the adjoint action of the symmetric group $S_N$. The approach is general to any discrete group. For a system of harmonic oscillators, i.e. for the non-interacting case, the partition function is…
▽ More
We give a path integral construction of the quantum mechanical partition function for gauged finite groups. Our construction gives the quantization of a system of $d$, $N\times N$ matrices invariant under the adjoint action of the symmetric group $S_N$. The approach is general to any discrete group. For a system of harmonic oscillators, i.e. for the non-interacting case, the partition function is given by the Molien-Weyl formula times the zero-point energy contribution. We further generalise the result to a system of non-square and complex matrices transforming under arbitrary representations of the gauge group.
△ Less
Submitted 5 February, 2024; v1 submitted 19 December, 2023;
originally announced December 2023.
-
Permutation invariant tensor models and partition algebras
Authors:
George Barnes,
Adrian Padellaro,
Sanjaye Ramgoolam
Abstract:
Matrix models with continuous symmetry are powerful tools for studying quantum gravity and holography. Tensor models have also found applications in holographic quantum gravity. Matrix models with discrete permutation symmetry have been shown to satisfy large $N$ factorisation properties relevant to holography, while also having applications to the statistical analysis of ensembles of real-world m…
▽ More
Matrix models with continuous symmetry are powerful tools for studying quantum gravity and holography. Tensor models have also found applications in holographic quantum gravity. Matrix models with discrete permutation symmetry have been shown to satisfy large $N$ factorisation properties relevant to holography, while also having applications to the statistical analysis of ensembles of real-world matrices. Here we develop 3-index tensor models in dimension $D$ with a discrete symmetry of permutations in the symmetric group $S_D$. We construct the most general permutation invariant Gaussian tensor model using the representation theory of symmetric groups and associated partition algebras. We define a representation basis for the 3-index tensors, where the two-point function is diagonalised. Inverting the change of basis gives an explicit formula for the two-point function in the tensor basis for general $D$.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Permutation invariant Gaussian matrix models for financial correlation matrices
Authors:
George Barnes,
Sanjaye Ramgoolam,
Michael Stephanou
Abstract:
We construct an ensemble of correlation matrices from high-frequency foreign exchange market data, with one matrix for every day for 446 days. The matrices are symmetric and have vanishing diagonal elements after subtracting the identity matrix. For this case, we construct the general permutation invariant Gaussian matrix model, which has 4 parameters characterised using the representation theory…
▽ More
We construct an ensemble of correlation matrices from high-frequency foreign exchange market data, with one matrix for every day for 446 days. The matrices are symmetric and have vanishing diagonal elements after subtracting the identity matrix. For this case, we construct the general permutation invariant Gaussian matrix model, which has 4 parameters characterised using the representation theory of symmetric groups. The permutation invariant polynomial functions of the symmetric, diagonally vanishing matrices have a basis labelled by undirected loop-less graphs. Using the expectation values of the general linear and quadratic permutation invariant functions of the matrices in the dataset, the 4 parameters of the matrix model are determined. The model then predicts the expectation values of the cubic and quartic polynomials. These predictions are compared to the data to give strong evidence for a good overall fit of the permutation invariant Gaussian matrix model. The linear, quadratic, cubic and quartic polynomial functions are then used to define low-dimensional feature vectors for the days associated to the matrices. These vectors, with choices informed by the refined structure of small non-Gaussianities, are found to be effective as a tool for anomaly detection in market states: statistically significant correlations are established between atypical days as defined using these feature vectors, and days with significant economic events as recognized in standard foreign exchange economic calendars. They are also shown to be useful as a tool for ranking pairs of days in terms of their similarity, yielding a strongly statistically significant correlation with a ranking based on a higher dimensional proxy for visual similarity.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Row-Column duality and combinatorial topological strings
Authors:
Adrian Padellaro,
Rajath Radhakrishnan,
Sanjaye Ramgoolam
Abstract:
Integrality properties of partial sums over irreducible representations, along columns of character tables of finite groups, were recently derived using combinatorial topological string theories (CTST). These CTST were based on Dijkgraaf-Witten theories of flat $G$-bundles for finite groups $G$ in two dimensions, denoted $G$-TQFTs. We define analogous combinatorial topological strings related to t…
▽ More
Integrality properties of partial sums over irreducible representations, along columns of character tables of finite groups, were recently derived using combinatorial topological string theories (CTST). These CTST were based on Dijkgraaf-Witten theories of flat $G$-bundles for finite groups $G$ in two dimensions, denoted $G$-TQFTs. We define analogous combinatorial topological strings related to two dimensional TQFTs based on fusion coefficients of finite groups. These TQFTs are denoted as $R(G)$-TQFTs and allow analogous integrality results to be derived for partial row sums of characters over conjugacy classes along fixed rows. This relation between the $G$-TQFTs and $R(G)$-TQFTs defines a row-column duality for character tables, which provides a physical framework for exploring the mathematical analogies between rows and columns of character tables. These constructive proofs of integrality are complemented with the proof of similar and complementary results using the more traditional Galois theoretic framework for integrality properties of character tables. The partial row and column sums are used to define generalised partitions of the integer row and column sums, which are of interest in combinatorial representation theory.
△ Less
Submitted 20 April, 2023;
originally announced April 2023.
-
The quantum detection of projectors in finite-dimensional algebras and holography
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
We define the computational task of detecting projectors in finite dimensional associative algebras with a combinatorial basis, labelled by representation theory data, using combinatorial central elements in the algebra. In the first example, the projectors belong to the centre of a symmetric group algebra and are labelled by Young diagrams with a fixed number of boxes $n$. We describe a quantum a…
▽ More
We define the computational task of detecting projectors in finite dimensional associative algebras with a combinatorial basis, labelled by representation theory data, using combinatorial central elements in the algebra. In the first example, the projectors belong to the centre of a symmetric group algebra and are labelled by Young diagrams with a fixed number of boxes $n$. We describe a quantum algorithm for the task based on quantum phase estimation (QPE) and obtain estimates of the complexity as a function of $n$. We compare to a classical algorithm related to the projector identification problem by the AdS/CFT correspondence. This gives a concrete proof of concept for classical/quantum comparisons of the complexity of a detection task, based in holographic correspondences. A second example involves projectors labelled by triples of Young diagrams, all having $n$ boxes, with non-vanishing Kronecker coefficient. The task takes as input the projector, and consists of identifying the triple of Young diagrams. In both of the above cases the standard QPE complexities are polynomial in $n$. A third example of quantum projector detection involves projectors labelled by a triple of Young diagrams, with $m,n$ and $m+n$ boxes respectively, such that the associated Littlewood-Richardson coefficient is non-zero. The projector detection task is to identify the triple of Young diagrams associated with the projector which is given as input. This is motivated by a two-matrix model, related via the AdS/CFT correspondence, to systems of strings attached to giant gravitons. The QPE complexity in this case is polynomial in $m$ and $n$.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Matrix and tensor witnesses of hidden symmetry algebras
Authors:
Sanjaye Ramgoolam,
Lewis Sword
Abstract:
Permutation group algebras, and their generalizations called permutation centralizer algebras (PCAs), play a central role as hidden symmetries in the combinatorics of large $N$ gauge theories and matrix models with manifest continuous gauge symmetries. Polynomial functions invariant under the manifest symmetries are the observables of interest and have applications in AdS/CFT. We compute such corr…
▽ More
Permutation group algebras, and their generalizations called permutation centralizer algebras (PCAs), play a central role as hidden symmetries in the combinatorics of large $N$ gauge theories and matrix models with manifest continuous gauge symmetries. Polynomial functions invariant under the manifest symmetries are the observables of interest and have applications in AdS/CFT. We compute such correlators in the presence of matrix or tensor witnesses, which by definition, can include a matrix or tensor field appearing as a coupling in the action (i.e a spurion) or as a classical (un-integrated) field in the observables, appearing alongside quantum (integrated) fields. In both matrix and tensor cases we find that two-point correlators of general gauge-invariant observables can be written in terms of gauge invariant functions of the witness fields, with coefficients given by structure constants of the associated PCAs. Fourier transformation on the relevant PCAs, relates combinatorial bases to representation theoretic bases. The representation theory basis elements obey orthogonality results for the two-point correlators which generalise known orthogonality relations to the case with witness fields. The new orthogonality equations involve two representation basis elements for observables as input and a representation basis observable constructed purely from witness fields as the output. These equations extend known equations in the super-integrability programme initiated by Mironov and Morozov, and are a direct physical realization of the Wedderburn-Artin decompositions of the hidden permutation centralizer algebras of matrix/tensor models.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
$\mathcal{N}=4$ SYM, (super)-polynomial rings and emergent quantum mechanical symmetries
Authors:
Robert de Mello Koch,
Sanjaye Ramgoolam
Abstract:
The structure of half-BPS representations of psu$(2,2|4)$ leads to the definition of a super-polynomial ring $\mathcal{R}(8|8)$ which admits a realisation of psu$(2,2|4)$ in terms of differential operators on the super-ring. The character of the half-BPS fundamental field representation encodes the resolution of the representation in terms of an exact sequence of modules of $\mathcal{R}(8|8)$. The…
▽ More
The structure of half-BPS representations of psu$(2,2|4)$ leads to the definition of a super-polynomial ring $\mathcal{R}(8|8)$ which admits a realisation of psu$(2,2|4)$ in terms of differential operators on the super-ring. The character of the half-BPS fundamental field representation encodes the resolution of the representation in terms of an exact sequence of modules of $\mathcal{R}(8|8)$. The half-BPS representation is realized by quotienting the super-ring by a quadratic ideal, equivalently by setting to zero certain quadratic polynomials in the generators of the super-ring. This description of the half-BPS fundamental field irreducible representation of psu$(2,2|4)$ in terms of a super-polynomial ring is an example of a more general construction of lowest-weight representations of Lie (super-) algebras using polynomial rings generated by a commuting subspace of the standard raising operators, corresponding to positive roots of the Lie (super-) algebra. We illustrate the construction using simple examples of representations of su(3) and su(4). These results lead to the definition of a notion of quantum mechanical emergence for oscillator realisations of symmetries, which is based on ideals in the ring of polynomials in the creation operators.
△ Less
Submitted 15 December, 2022; v1 submitted 8 November, 2022;
originally announced November 2022.
-
Kronecker coefficients from algebras of bi-partite ribbon graphs
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
Bi-partite ribbon graphs arise in organising the large $N$ expansion of correlators in random matrix models and in the enumeration of observables in random tensor models. There is an algebra $\mathcal{K}(n)$, with basis given by bi-partite ribbon graphs with $n$ edges, which is useful in the applications to matrix and tensor models. The algebra $\mathcal{K}(n)$ is closely related to symmetric grou…
▽ More
Bi-partite ribbon graphs arise in organising the large $N$ expansion of correlators in random matrix models and in the enumeration of observables in random tensor models. There is an algebra $\mathcal{K}(n)$, with basis given by bi-partite ribbon graphs with $n$ edges, which is useful in the applications to matrix and tensor models. The algebra $\mathcal{K}(n)$ is closely related to symmetric group algebras and has a matrix-block decomposition related to Clebsch-Gordan multiplicities, also known as Kronecker coefficients, for symmetric group representations. Quantum mechanical models which use $\mathcal{K}(n)$ as Hilbert spaces can be used to give combinatorial algorithms for computing the Kronecker coefficients.
△ Less
Submitted 13 November, 2022; v1 submitted 4 November, 2022;
originally announced November 2022.
-
Permutation symmetry in large N Matrix Quantum Mechanics and Partition Algebras
Authors:
George Barnes,
Adrian Padellaro,
Sanjaye Ramgoolam
Abstract:
We describe the implications of permutation symmetry for the state space and dynamics of quantum mechanical systems of matrices of general size $N$. We solve the general 11- parameter permutation invariant quantum matrix harmonic oscillator Hamiltonian and calculate the canonical partition function. The permutation invariant sector of the Hilbert space, for general Hamiltonians, can be described u…
▽ More
We describe the implications of permutation symmetry for the state space and dynamics of quantum mechanical systems of matrices of general size $N$. We solve the general 11- parameter permutation invariant quantum matrix harmonic oscillator Hamiltonian and calculate the canonical partition function. The permutation invariant sector of the Hilbert space, for general Hamiltonians, can be described using partition algebra diagrams forming the bases of a tower of partition algebras $P_k(N)$. The integer $k$ is interpreted as the degree of matrix oscillator polynomials in the quantum mechanics. Families of interacting Hamiltonians are described which are diagonalised by a representation theoretic basis for the permutation invariant subspace which we construct for $ N \ge 2k $. These include Hamiltonians for which the low-energy states are permutation invariant and can give rise to large ground state degeneracies related to the dimensions of partition algebras. A symmetry-based mechanism for quantum many body scars discussed in the literature can be realised in these matrix systems with permutation symmetry. A mapping of the matrix index values to lattice sites allows a realisation of the mechanism in the context of modified Bose-Hubbard models. Extremal correlators analogous to those studied in AdS/CFT are shown to obey selection rules based on Clebsch-Gordan multiplicities (Kronecker coefficients) of symmetric groups.
△ Less
Submitted 5 July, 2022;
originally announced July 2022.
-
Combinatoric topological string theories and group theory algorithms
Authors:
Sanjaye Ramgoolam,
Eric Sharpe
Abstract:
A number of finite algorithms for constructing representation theoretic data from group multiplications in a finite group G have recently been shown to be related to amplitudes for combinatoric topological strings (G-CTST) based on Dijkgraaf-Witten theory of flat G-bundles on surfaces. We extend this result to projective representations of G using twisted Dijkgraaf-Witten theory. New algorithms fo…
▽ More
A number of finite algorithms for constructing representation theoretic data from group multiplications in a finite group G have recently been shown to be related to amplitudes for combinatoric topological strings (G-CTST) based on Dijkgraaf-Witten theory of flat G-bundles on surfaces. We extend this result to projective representations of G using twisted Dijkgraaf-Witten theory. New algorithms for characters are described, based on handle creation operators and minimal multiplicative generating subspaces for the centers of group algebras and twisted group algebras. Such minimal generating subspaces are of interest in connection with information theoretic aspects of the AdS/CFT correspondence. For the untwisted case, we describe the integrality properties of certain character sums and character power sums which follow from these constructive G-CTST algorithms. These integer sums appear as residues of singularities in G-CTST generating functions. S-duality of the combinatoric topological strings motivates the definition of an inverse handle creation operator in the centers of group algebras and twisted group algebras.
△ Less
Submitted 25 April, 2022; v1 submitted 5 April, 2022;
originally announced April 2022.
-
Higher dimensional CFTs as 2D conformally-equivariant topological field theories
Authors:
Robert de Mello Koch,
Sanjaye Ramgoolam
Abstract:
Two and three-point functions of primary fields in four dimensional CFT have a simple space-time dependences factored out from the combinatoric structure which enumerates the fields and gives their couplings. This has led to the formulation of two dimensional topological field theories with $so(4,2)$ equivariance which are conjectured to be equivalent to higher dimensional conformal field theories…
▽ More
Two and three-point functions of primary fields in four dimensional CFT have a simple space-time dependences factored out from the combinatoric structure which enumerates the fields and gives their couplings. This has led to the formulation of two dimensional topological field theories with $so(4,2)$ equivariance which are conjectured to be equivalent to higher dimensional conformal field theories. We review this CFT4/TFT2 construction in the simplest possible setting of a free scalar field, which gives an algebraic construction of the correlators in terms of an infinite dimensional $so(4,2)$ equivariant algebra with finite dimensional subspaces at fixed scaling dimension. Crossing symmetry of the CFT4 is related to associativity of the algebra. This construction is then extended to describe perturbative CFT4, by making use of deformed co-products. Motivated by the Wilson-Fisher CFT we outline the construction of U(so($d$,2)) equivariant TFT2 for non-integer $d$, in terms of diagram algebras and their representations.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Permutation invariant matrix statistics and computational language tasks
Authors:
Manuel Accettulli Huber,
Adriana Correia,
Sanjaye Ramgoolam,
Mehrnoosh Sadrzadeh
Abstract:
The Linguistic Matrix Theory programme introduced by Kartsaklis, Ramgoolam and Sadrzadeh is an approach to the statistics of matrices that are generated in type-driven distributional semantics, based on permutation invariant polynomial functions which are regarded as the key observables encoding the significant statistics. In this paper we generalize the previous results on the approximate Gaussia…
▽ More
The Linguistic Matrix Theory programme introduced by Kartsaklis, Ramgoolam and Sadrzadeh is an approach to the statistics of matrices that are generated in type-driven distributional semantics, based on permutation invariant polynomial functions which are regarded as the key observables encoding the significant statistics. In this paper we generalize the previous results on the approximate Gaussianity of matrix distributions arising from compositional distributional semantics. We also introduce a geometry of observable vectors for words, defined by exploiting the graph-theoretic basis for the permutation invariants and the statistical characteristics of the ensemble of matrices associated with the words. We describe successful applications of this unified framework to a number of tasks in computational linguistics, associated with the distinctions between synonyms, antonyms, hypernyms and hyponyms.
△ Less
Submitted 26 September, 2023; v1 submitted 14 February, 2022;
originally announced February 2022.
-
Hidden symmetries and Large N factorisation for permutation invariant matrix observables
Authors:
George Barnes,
Adrian Padellaro,
Sanjaye Ramgoolam
Abstract:
Permutation invariant polynomial functions of matrices have previously been studied as the observables in matrix models invariant under $S_N$, the symmetric group of all permutations of $N$ objects. In this paper, the permutation invariant matrix observables (PIMOs) of degree $k$ are shown to be in one-to-one correspondence with equivalence classes of elements in the diagrammatic partition algebra…
▽ More
Permutation invariant polynomial functions of matrices have previously been studied as the observables in matrix models invariant under $S_N$, the symmetric group of all permutations of $N$ objects. In this paper, the permutation invariant matrix observables (PIMOs) of degree $k$ are shown to be in one-to-one correspondence with equivalence classes of elements in the diagrammatic partition algebra $P_k(N)$. On a 4-dimensional subspace of the 13-parameter space of $S_N$ invariant Gaussian models, there is an enhanced $O(N)$ symmetry. At a special point in this subspace, is the simplest $O(N)$ invariant action. This is used to define an inner product on the PIMOs which is expressible as a trace of a product of elements in the partition algebra. The diagram algebra $P_k(N)$ is used to prove the large $N$ factorisation property of this inner product, which generalizes a familiar large $N$ factorisation for inner products of matrix traces invariant under continuous symmetries.
△ Less
Submitted 9 April, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Integrality, Duality and Finiteness in Combinatoric Topological Strings
Authors:
Robert de Mello Koch,
Yang-Hui He,
Garreth Kemp,
Sanjaye Ramgoolam
Abstract:
A remarkable result at the intersection of number theory and group theory states that the order of a finite group $G$ (denoted $|G|$) is divisible by the dimension $d_R$ of any irreducible complex representation of $G$. We show that the integer ratios ${ |G|^2 / d_R^2 } $ are combinatorially constructible using finite algorithms which take as input the amplitudes of combinatoric topological string…
▽ More
A remarkable result at the intersection of number theory and group theory states that the order of a finite group $G$ (denoted $|G|$) is divisible by the dimension $d_R$ of any irreducible complex representation of $G$. We show that the integer ratios ${ |G|^2 / d_R^2 } $ are combinatorially constructible using finite algorithms which take as input the amplitudes of combinatoric topological strings ($G$-CTST) of finite groups based on 2D Dijkgraaf-Witten topological field theories ($G$-TQFT2). The ratios are also shown to be eigenvalues of handle creation operators in $G$-TQFT2/$G$-CTST. These strings have recently been discussed as toy models of wormholes and baby universes by Marolf and Maxfield, and Gardiner and Megas. Boundary amplitudes of the $G$-TQFT2/$G$-CTST provide algorithms for combinatoric constructions of normalized characters. Stringy S-duality for closed $G$-CTST gives a dual expansion generated by disconnected entangled surfaces. There are universal relations between $G$-TQFT2 amplitudes due to the finiteness of the number $K $ of conjugacy classes. These relations can be labelled by Young diagrams and are captured by null states in an inner product constructed by coupling the $G$-TQFT2 to a universal TQFT2 based on symmetric group algebras. We discuss the scenario of a 3D holographic dual for this coupled theory and the implications of the scenario for the factorization puzzle of 2D/3D holography raised by wormholes in 3D.
△ Less
Submitted 19 August, 2021; v1 submitted 10 June, 2021;
originally announced June 2021.
-
All-orders asymptotics of tensor model observables from symmetries of restricted partitions
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
The counting of the dimension of the space of $U(N) \times U(N) \times U(N)$ polynomial invariants of a complex $3$-index tensor as a function of degree $n$ is known in terms of a sum of squares of Kronecker coefficients. For $n \le N$, the formula can be expressed in terms of a sum of symmetry factors of partitions of $n$ denoted $Z_3(n)$. We derive the large $n$ all-orders asymptotic formula for…
▽ More
The counting of the dimension of the space of $U(N) \times U(N) \times U(N)$ polynomial invariants of a complex $3$-index tensor as a function of degree $n$ is known in terms of a sum of squares of Kronecker coefficients. For $n \le N$, the formula can be expressed in terms of a sum of symmetry factors of partitions of $n$ denoted $Z_3(n)$. We derive the large $n$ all-orders asymptotic formula for $ Z_3(n)$ making contact with high order results previously obtained numerically. The derivation relies on the dominance in the sum, of partitions with many parts of length $1$. The dominance of other small parts in restricted partition sums leads to related asymptotic results. The result for the $3$-index tensor observables gives the large $n$ asymptotic expansion for the counting of bipartite ribbon graphs with $n$ edges, and for the dimension of the associated Kronecker permutation centralizer algebra. We explain how the different terms in the asymptotics are associated with probability distributions over ribbon graphs. The large $n$ dominance of small parts also leads to conjectured formulae for the asymptotics of invariants for general $d$-index tensors. The coefficients of $ 1/n$ in these expansions involve Stirling numbers of the second kind along with restricted partition sums.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Permutation invariant Gaussian 2-matrix models
Authors:
George Barnes,
Adrian Padellaro,
Sanjaye Ramgoolam
Abstract:
We construct the general permutation invariant Gaussian 2-matrix model for matrices of arbitrary size $D$. The parameters of the model are given in terms of variables defined using the representation theory of the symmetric group $S_D$. A correspondence is established between the permutation invariant polynomial functions of the matrix variables (the observables of the model) and directed colored…
▽ More
We construct the general permutation invariant Gaussian 2-matrix model for matrices of arbitrary size $D$. The parameters of the model are given in terms of variables defined using the representation theory of the symmetric group $S_D$. A correspondence is established between the permutation invariant polynomial functions of the matrix variables (the observables of the model) and directed colored graphs, which sheds light on stability properties in the large $D$ counting of these invariants. The refined counting of the graphs is given in terms of double cosets involving permutation groups defined by the local structure of the graphs. Linear and quadratic observables are transformed to an $S_D$ representation theoretic basis and are used to define the convergent Gaussian measure. The perturbative rules for the computation of expectation values of graph-basis observables of any degree are given in terms of the representation theoretic parameters. Explicit results for a number of observables of degree up to four are given along with a Sage programme that computes general expectation values.
△ Less
Submitted 8 April, 2021;
originally announced April 2021.
-
Quantum mechanics of bipartite ribbon graphs: Integrality, Lattices and Kronecker coefficients
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
We define solvable quantum mechanical systems on a Hilbert space spanned by bipartite ribbon graphs with a fixed number of edges. The Hilbert space is also an associative algebra, where the product is derived from permutation group products. The existence and structure of this Hilbert space algebra has a number of consequences. The algebra product, which can be expressed in terms of integer ribbon…
▽ More
We define solvable quantum mechanical systems on a Hilbert space spanned by bipartite ribbon graphs with a fixed number of edges. The Hilbert space is also an associative algebra, where the product is derived from permutation group products. The existence and structure of this Hilbert space algebra has a number of consequences. The algebra product, which can be expressed in terms of integer ribbon graph reconnection coefficients, is used to define solvable Hamiltonians with eigenvalues expressed in terms of normalized characters of symmetric group elements and degeneracies given in terms of Kronecker coefficients, which are tensor product multiplicities of symmetric group representations. The square of the Kronecker coefficient for a triple of Young diagrams is shown to be equal to the dimension of a sub-lattice in the lattice of ribbon graphs. This leads to an answer to the long-standing question of a combinatoric interpretation of the Kronecker coefficients. As an avenue to explore quantum supremacy and its implications for computational complexity theory, we outline experiments to detect non-vanishing Kronecker coefficients for hypothetical quantum realizations/simulations of these quantum systems. The correspondence between ribbon graphs and Belyi maps leads to an interpretation of these quantum mechanical systems in terms of quantum membrane world-volumes interpolating between string geometries.
△ Less
Submitted 14 July, 2023; v1 submitted 8 October, 2020;
originally announced October 2020.
-
Quarter-BPS states, multi-symmetric functions and set partitions
Authors:
Christopher Lewis-Brown,
Sanjaye Ramgoolam
Abstract:
We give a construction of general holomorphic quarter BPS operators in $ \mathcal{N}=4$ SYM at weak coupling with $U(N)$ gauge group at finite $N$. The construction employs the Möbius inversion formula for set partitions, applied to multi-symmetric functions, alongside computations in the group algebras of symmetric groups. We present a computational algorithm which produces an orthogonal basis fo…
▽ More
We give a construction of general holomorphic quarter BPS operators in $ \mathcal{N}=4$ SYM at weak coupling with $U(N)$ gauge group at finite $N$. The construction employs the Möbius inversion formula for set partitions, applied to multi-symmetric functions, alongside computations in the group algebras of symmetric groups. We present a computational algorithm which produces an orthogonal basis for the physical inner product on the space of holomorphic operators. The basis is labelled by a $U(2)$ Young diagram, a $U(N)$ Young diagram and an additional plethystic multiplicity label. We describe precision counting results of quarter BPS states which are expected to be reproducible from dual computations with giant gravitons in the bulk, including a symmetry relating sphere and AdS giants within the quarter BPS sector. In the case $n \leq N$ ($n$ being the dimension of the composite operator) the construction is analytic, using multi-symmetric functions and $U(2)$ Clebsch-Gordan coefficients. Counting and correlators of the BPS operators can be encoded in a two-dimensional topological field theory based on permutation algebras and equipped with appropriate defects.
△ Less
Submitted 3 July, 2020;
originally announced July 2020.
-
Perturbative 4D conformal field theories and representation theory of diagram algebras
Authors:
Robert de Mello Koch,
Sanjaye Ramgoolam
Abstract:
The correlators of free four dimensional conformal field theories (CFT4) have been shown to be given by amplitudes in two-dimensional $so(4,2)$ equivariant topological field theories (TFT2), by using a vertex operator formalism for the correlators. We show that this can be extended to perturbative interacting conformal field theories, using two representation theoretic constructions. A co-product…
▽ More
The correlators of free four dimensional conformal field theories (CFT4) have been shown to be given by amplitudes in two-dimensional $so(4,2)$ equivariant topological field theories (TFT2), by using a vertex operator formalism for the correlators. We show that this can be extended to perturbative interacting conformal field theories, using two representation theoretic constructions. A co-product deformation for the conformal algebra accommodates the equivariant construction of composite operators in the presence of non-additive anomalous dimensions. Explicit expressions for the co-product deformation are given within a sector of $ \mathcal{N} =4 $ SYM and for the Wilson-Fischer fixed point near four dimensions. The extension of conformal equivariance beyond integer dimensions (relevant for the Wilson-Fischer fixed point) leads to the definition of an associative diagram algebra $ {\bf U}_{*} $, abstracted from $ Uso(d)$ in the limit of large integer $d$, which admits extension of $ Uso(d)$ representation theory to general real (or complex) $d$. The algebra is related, via oscillator realisations, to $so(d)$ equivariant maps and Brauer category diagrams. Tensor representations are constructed where the diagram algebra acts on tensor products of a fundamental diagram representation. A similar diagrammatic algebra ${\bf U}_{\star ,2}$, related to a general $d$ extension for $ Uso(d,2)$ is defined, and some of its lowest weight representations relevant to the Wilson-Fischer fixed point are described.
△ Less
Submitted 12 August, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Gaussianity and typicality in matrix distributional semantics
Authors:
Sanjaye Ramgoolam,
Mehrnoosh Sadrzadeh,
Lewis Sword
Abstract:
Constructions in type-driven compositional distributional semantics associate large collections of matrices of size $D$ to linguistic corpora. We develop the proposal of analysing the statistical characteristics of this data in the framework of permutation invariant matrix models. The observables in this framework are permutation invariant polynomial functions of the matrix entries, which correspo…
▽ More
Constructions in type-driven compositional distributional semantics associate large collections of matrices of size $D$ to linguistic corpora. We develop the proposal of analysing the statistical characteristics of this data in the framework of permutation invariant matrix models. The observables in this framework are permutation invariant polynomial functions of the matrix entries, which correspond to directed graphs. Using the general 13-parameter permutation invariant Gaussian matrix models recently solved, we find, using a dataset of matrices constructed via standard techniques in distributional semantics, that the expectation values of a large class of cubic and quartic observables show high gaussianity at levels between 90 to 99 percent. Beyond expectation values, which are averages over words, the dataset allows the computation of standard deviations for each observable, which can be viewed as a measure of typicality for each observable. There is a wide range of magnitudes in the measures of typicality. The permutation invariant matrix models, considered as functions of random couplings, give a very good prediction of the magnitude of the typicality for different observables. We find evidence that observables with similar matrix model characteristics of Gaussianity and typicality also have high degrees of correlation between the ranked lists of words associated to these observables.
△ Less
Submitted 19 December, 2019;
originally announced December 2019.
-
BPS states, conserved charges and centres of symmetric group algebras
Authors:
Garreth Kemp,
Sanjaye Ramgoolam
Abstract:
In $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, the multiplicity of half-BPS states with fixed dimension can be labelled by Young diagrams and can be distinguished using conserved charges corresponding to Casimirs of $U(N)$. The information theoretic study of LLM geometries and superstars in the dual $AdS_5 \times S^5$ background has raised a number of questions about the distinguishability of…
▽ More
In $\mathcal{N}=4$ SYM with $U(N)$ gauge symmetry, the multiplicity of half-BPS states with fixed dimension can be labelled by Young diagrams and can be distinguished using conserved charges corresponding to Casimirs of $U(N)$. The information theoretic study of LLM geometries and superstars in the dual $AdS_5 \times S^5$ background has raised a number of questions about the distinguishability of Young diagrams when a finite set of Casimirs are known. Using Schur-Weyl duality relations between unitary groups and symmetric groups, these questions translate into structural questions about the centres of symmetric group algebras. We obtain analytic and computational results about these structural properties and related Shannon entropies, and generate associated number sequences. A characterization of Young diagrams in terms of content distribution functions relates these number sequences to diophantine equations. These content distribution functions can be visualized as connected, segmented, open strings in content space.
△ Less
Submitted 5 December, 2019; v1 submitted 26 November, 2019;
originally announced November 2019.
-
Quiver Asymptotics: $\mathcal{N}=1$ Free Chiral Ring
Authors:
Sanjaye Ramgoolam,
Mark C. Wilson,
Ali Zahabi
Abstract:
The large N generating functions for the counting of chiral operators in $\mathcal{N}=1$, four-dimensional quiver gauge theories have previously been obtained in terms of the weighted adjacency matrix of the quiver diagram. We introduce the methods of multi-variate asymptotic analysis to study this counting in the limit of large charges. We describe a Hagedorn phase transition associated with this…
▽ More
The large N generating functions for the counting of chiral operators in $\mathcal{N}=1$, four-dimensional quiver gauge theories have previously been obtained in terms of the weighted adjacency matrix of the quiver diagram. We introduce the methods of multi-variate asymptotic analysis to study this counting in the limit of large charges. We describe a Hagedorn phase transition associated with this asymptotics, which refines and generalizes known results on the 2-matrix harmonic oscillator. Explicit results are obtained for two infinite classes of quiver theories, namely the generalized clover quivers and affine $\mathbb{C}^3/\hat{A}_n$ orbifold quivers.
△ Less
Submitted 3 June, 2019; v1 submitted 27 November, 2018;
originally announced November 2018.
-
Permutation Invariant Gaussian Matrix Models
Authors:
Sanjaye Ramgoolam
Abstract:
Permutation invariant Gaussian matrix models were recently developed for applications in computational linguistics. A 5-parameter family of models was solved. In this paper, we use a representation theoretic approach to solve the general 13-parameter Gaussian model, which can be viewed as a zero-dimensional quantum field theory. We express the two linear and eleven quadratic terms in the action in…
▽ More
Permutation invariant Gaussian matrix models were recently developed for applications in computational linguistics. A 5-parameter family of models was solved. In this paper, we use a representation theoretic approach to solve the general 13-parameter Gaussian model, which can be viewed as a zero-dimensional quantum field theory. We express the two linear and eleven quadratic terms in the action in terms of representation theoretic parameters. These parameters are coefficients of simple quadratic expressions in terms of appropriate linear combinations of the matrix variables transforming in specific irreducible representations of the symmetric group $S_D$ where $D$ is the size of the matrices. They allow the identification of constraints which ensure a convergent Gaussian measure and well-defined expectation values for polynomial functions of the random matrix at all orders. A graph-theoretic interpretation is known to allow the enumeration of permutation invariants of matrices at linear, quadratic and higher orders. We express the expectation values of all the quadratic graph-basis invariants and a selection of cubic and quartic invariants in terms of the representation theoretic parameters of the model.
△ Less
Submitted 29 January, 2020; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Quantum Information Processing and Composite Quantum Fields
Authors:
Sanjaye Ramgoolam,
Michal Sedlák
Abstract:
Some beautiful identities involving hook contents of Young diagrams have been found in the field of quantum information processing, along with a combinatorial proof. We here give a representation theoretic proof of these identities and a number of generalizations. Our proof is based on trace identities for elements belonging to a class of permutation centralizer algebras. These algebras have been…
▽ More
Some beautiful identities involving hook contents of Young diagrams have been found in the field of quantum information processing, along with a combinatorial proof. We here give a representation theoretic proof of these identities and a number of generalizations. Our proof is based on trace identities for elements belonging to a class of permutation centralizer algebras. These algebras have been found to underlie the combinatorics of composite gauge invariant operators in quantum field theory, with applications in the AdS/CFT correspondence. Based on these algebras, we discuss some analogies between quantum information processing tasks and the combinatorics of composite quantum fields and argue that this can be fruitful interface between quantum information and quantum field theory, with implications for AdS/CFT.
△ Less
Submitted 30 April, 2019; v1 submitted 13 September, 2018;
originally announced September 2018.
-
Free field primaries in general dimensions: Counting and construction with rings and modules
Authors:
Robert de Mello Koch,
Sanjaye Ramgoolam
Abstract:
We define lowest weight polynomials (LWPs), motivated by $so(d,2)$ representation theory, as elements of the polynomial ring over $ d \times n $ variables obeying a system of first and second order partial differential equations. LWPs invariant under $S_n$ correspond to primary fields in free scalar field theory in $d$ dimensions, constructed from $n$ fields. The LWPs are in one-to-one corresponde…
▽ More
We define lowest weight polynomials (LWPs), motivated by $so(d,2)$ representation theory, as elements of the polynomial ring over $ d \times n $ variables obeying a system of first and second order partial differential equations. LWPs invariant under $S_n$ correspond to primary fields in free scalar field theory in $d$ dimensions, constructed from $n$ fields. The LWPs are in one-to-one correspondence with a quotient of the polynomial ring in $ d \times (n-1) $ variables by an ideal generated by $n$ quadratic polynomials. The implications of this description for the counting and construction of primary fields are described: an interesting binomial identity underlies one of the construction algorithms.The product on the ring of LWPs can be described as a commutative star product. The quadratic algebra of lowest weight polynomials has a dual quadratic algebra which is non-commutative. We discuss the possible physical implications of this dual algebra.
△ Less
Submitted 6 July, 2021; v1 submitted 4 June, 2018;
originally announced June 2018.
-
BPS operators in $\mathcal{N}=4$ $SO(N)$ super Yang-Mills theory: plethysms, dominoes and words
Authors:
Christopher Lewis-Brown,
Sanjaye Ramgoolam
Abstract:
Permutations and associated algebras allow the construction of half and quarter BPS operators in maximally supersymmetric Yang Mills theory with $U(N)$, $SO(N)$ and $Sp(N) $ gauge groups. The construction leads to bases for the operators, labelled by Young diagrams and associated group theory data, which have been shown to be orthogonal under the inner product defined by the free field two-point f…
▽ More
Permutations and associated algebras allow the construction of half and quarter BPS operators in maximally supersymmetric Yang Mills theory with $U(N)$, $SO(N)$ and $Sp(N) $ gauge groups. The construction leads to bases for the operators, labelled by Young diagrams and associated group theory data, which have been shown to be orthogonal under the inner product defined by the free field two-point functions. In this paper, we study in detail the orientifold projection map between the Young diagram basis for $U(N)$ theories and the Young diagram basis for $ SO(N)$ (and $ Sp(N)$) half-BPS operators. We find a simple connection between this map and the plethystic refinement of the Littlewood Richardson coefficients which couple triples of Young diagrams where two of them are identical. This plethystic refinement is known to be computable using an algorithm based on domino tilings of Young diagrams. We discuss the domino combinatorics of the orientifold projection map in terms of giant graviton branes. The permutation construction of $SO(N)$ operators is used to find large N generating functions. The structure of these generating functions is elucidated using the combinatorics of words, organised according to their periodicity. Aperiodic words in the $U(N)$ theory are Lyndon words and an $SO(N)$ analogue of Lyndon words is defined using a minimal periodicity condition. We calculate the normalization factor for the orthogonal basis of Young diagram operators in the baryonic sector of $SO(N)$.
△ Less
Submitted 19 September, 2020; v1 submitted 30 April, 2018;
originally announced April 2018.
-
Tensor Models, Kronecker coefficients and Permutation Centralizer Algebras
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
We show that the counting of observables and correlators for a 3-index tensor model are organized by the structure of a family of permutation centralizer algebras. These algebras are shown to be semi-simple and their Wedderburn-Artin decompositions into matrix blocks are given in terms of Clebsch-Gordan coefficients of symmetric groups. The matrix basis for the algebras also gives an orthogonal ba…
▽ More
We show that the counting of observables and correlators for a 3-index tensor model are organized by the structure of a family of permutation centralizer algebras. These algebras are shown to be semi-simple and their Wedderburn-Artin decompositions into matrix blocks are given in terms of Clebsch-Gordan coefficients of symmetric groups. The matrix basis for the algebras also gives an orthogonal basis for the tensor observables which diagonalizes the Gaussian two-point functions. The centres of the algebras are associated with correlators which are expressible in terms of Kronecker coefficients (Clebsch-Gordan multiplicities of symmetric groups). The color-exchange symmetry present in the Gaussian model, as well as a large class of interacting models, is used to refine the description of the permutation centralizer algebras. This discussion is extended to a general number of colors $d$: it is used to prove the integrality of an infinite family of number sequences related to color-symmetrizations of colored graphs, and expressible in terms of symmetric group representation theory data. Generalizing a connection between matrix models and Belyi maps, correlators in Gaussian tensor models are interpreted in terms of covers of singular 2-complexes. There is an intriguing difference, between matrix and higher rank tensor models, in the computational complexity of superficially comparable correlators of observables parametrized by Young diagrams.
△ Less
Submitted 11 September, 2017; v1 submitted 11 August, 2017;
originally announced August 2017.
-
Holomorphic primary fields in free CFT4 and Calabi-Yau orbifolds
Authors:
Robert de Mello Koch,
Phumudzo Rabambi,
Randle Rabe,
Sanjaye Ramgoolam
Abstract:
Counting formulae for general primary fields in free four dimensional conformal field theories of scalars, vectors and matrices are derived. These are specialised to count primaries which obey extremality conditions defined in terms of the dimensions and left or right spins (i.e. in terms of relations between the charges under the Cartan subgroup of $SO(4,2)$). The construction of primary fields f…
▽ More
Counting formulae for general primary fields in free four dimensional conformal field theories of scalars, vectors and matrices are derived. These are specialised to count primaries which obey extremality conditions defined in terms of the dimensions and left or right spins (i.e. in terms of relations between the charges under the Cartan subgroup of $SO(4,2)$). The construction of primary fields for scalar field theory is mapped to a problem of determining multi-variable polynomials subject to a system of symmetry and differential constraints. For the extremal primaries, we give a construction in terms of holomorphic polynomial functions on permutation orbifolds, which are shown to be Calabi-Yau spaces.
△ Less
Submitted 18 May, 2017;
originally announced May 2017.
-
Free quantum fields in 4D and Calabi-Yau spaces
Authors:
Robert de Mello Koch,
Phumudzo Rabambi,
Randle Rabe,
Sanjaye Ramgoolam
Abstract:
We develop general counting formulae for primary fields in free four dimensional (4D) scalar conformal field theory (CFT). Using a duality map between primary operators in scalar field theory and multi-variable polynomial functions subject to differential constraints, we identify a sector of holomorphic primary fields corresponding to polynomial functions on a class of permutation orbifolds. These…
▽ More
We develop general counting formulae for primary fields in free four dimensional (4D) scalar conformal field theory (CFT). Using a duality map between primary operators in scalar field theory and multi-variable polynomial functions subject to differential constraints, we identify a sector of holomorphic primary fields corresponding to polynomial functions on a class of permutation orbifolds. These orbifolds have palindromic Hilbert series, which indicates they are Calabi-Yau. We construct the top-dimensional holomorphic form expected from the Calabi-Yau property. This sector includes and extends previous constructions of infinite families of primary fields. We sketch the generalization of these results to free 4D vector and matrix CFTs.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Linguistic Matrix Theory
Authors:
Dimitrios Kartsaklis,
Sanjaye Ramgoolam,
Mehrnoosh Sadrzadeh
Abstract:
Recent research in computational linguistics has developed algorithms which associate matrices with adjectives and verbs, based on the distribution of words in a corpus of text. These matrices are linear operators on a vector space of context words. They are used to construct the meaning of composite expressions from that of the elementary constituents, forming part of a compositional distribution…
▽ More
Recent research in computational linguistics has developed algorithms which associate matrices with adjectives and verbs, based on the distribution of words in a corpus of text. These matrices are linear operators on a vector space of context words. They are used to construct the meaning of composite expressions from that of the elementary constituents, forming part of a compositional distributional approach to semantics. We propose a Matrix Theory approach to this data, based on permutation symmetry along with Gaussian weights and their perturbations. A simple Gaussian model is tested against word matrices created from a large corpus of text. We characterize the cubic and quartic departures from the model, which we propose, alongside the Gaussian parameters, as signatures for comparison of linguistic corpora. We propose that perturbed Gaussian models with permutation symmetry provide a promising framework for characterizing the nature of universality in the statistical properties of word matrices. The matrix theory framework developed here exploits the view of statistics as zero dimensional perturbative quantum field theory. It perceives language as a physical system realizing a universality class of matrix statistics characterized by permutation symmetry.
△ Less
Submitted 28 March, 2017;
originally announced March 2017.
-
Flavour singlets in gauge theory as Permutations
Authors:
Yusuke Kimura,
Sanjaye Ramgoolam,
Ryo Suzuki
Abstract:
Gauge-invariant operators can be specified by equivalence classes of permutations. We develop this idea concretely for the singlets of the flavour group $SO(N_f)$ in $U(N_c)$ gauge theory by using Gelfand pairs and Schur-Weyl duality. The singlet operators, when specialised at $N_f =6$, belong to the scalar sector of ${\cal N}=4$ SYM. A simple formula is given for the two-point functions in the fr…
▽ More
Gauge-invariant operators can be specified by equivalence classes of permutations. We develop this idea concretely for the singlets of the flavour group $SO(N_f)$ in $U(N_c)$ gauge theory by using Gelfand pairs and Schur-Weyl duality. The singlet operators, when specialised at $N_f =6$, belong to the scalar sector of ${\cal N}=4$ SYM. A simple formula is given for the two-point functions in the free field limit of $g_{YM}^2 =0$. The free two-point functions are shown to be equal to the partition function on a 2-complex with boundaries and a defect, in a topological field theory of permutations. The permutation equivalence classes are Fourier transformed to a representation basis which is orthogonal for the two-point functions at finite $N_c , N_f$. Counting formulae for the gauge-invariant operators are described. The one-loop mixing matrix is derived as a linear operator on the permutation equivalence classes.
△ Less
Submitted 23 December, 2016; v1 submitted 10 August, 2016;
originally announced August 2016.
-
Permutations and the combinatorics of gauge invariants for general N
Authors:
Sanjaye Ramgoolam
Abstract:
Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their correlators. These methods are also applicable to tensor models and have revealed a link between tensor models and the counting of branched covers. The key idea…
▽ More
Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their correlators. These methods are also applicable to tensor models and have revealed a link between tensor models and the counting of branched covers. The key idea is to parametrize $U(N)$ gauge invariants using permutations, subject to equivalences. Correlators are related to group theoretic properties of these equivalence classes. Fourier transformation on symmetric groups by means of representation theory offers nice bases of functions on these equivalence classes. This has applications in AdS/CFT in identifying CFT duals of giant gravitons and their perturbations. It has also lead to general results on quiver gauge theory correlators, uncovering links to two dimensional topological field theory and the combinatorics of trace monoids.
△ Less
Submitted 3 May, 2016;
originally announced May 2016.
-
Gauge Invariants and Correlators in Flavoured Quiver Gauge Theories
Authors:
Paolo Mattioli,
Sanjaye Ramgoolam
Abstract:
In this paper we study the construction of holomorphic gauge invariant operators for general quiver gauge theories with flavour symmetries. Using a characterisation of the gauge invariants in terms of equivalence classes generated by permutation actions, along with representation theory results in symmetric groups and unitary groups, we give a diagonal basis for the 2-point functions of holomorphi…
▽ More
In this paper we study the construction of holomorphic gauge invariant operators for general quiver gauge theories with flavour symmetries. Using a characterisation of the gauge invariants in terms of equivalence classes generated by permutation actions, along with representation theory results in symmetric groups and unitary groups, we give a diagonal basis for the 2-point functions of holomorphic and anti-holomorphic operators. This involves a generalisation of the previously constructed Quiver Restricted Schur operators to the flavoured case. The 3-point functions are derived and shown to be given in terms of networks of symmetric group branching coefficients. The networks are constructed through cutting and gluing operations on the quivers.
△ Less
Submitted 14 March, 2016;
originally announced March 2016.
-
Permutation Centralizer Algebras and Multi-Matrix Invariants
Authors:
Paolo Mattioli,
Sanjaye Ramgoolam
Abstract:
We introduce a class of permutation centralizer algebras which underly the combinatorics of multi-matrix gauge invariant observables. One family of such non-commutative algebras is parametrised by two integers. Its Wedderburn-Artin decomposition explains the counting of restricted Schur operators, which were introduced in the physics literature to describe open strings attached to giant gravitons…
▽ More
We introduce a class of permutation centralizer algebras which underly the combinatorics of multi-matrix gauge invariant observables. One family of such non-commutative algebras is parametrised by two integers. Its Wedderburn-Artin decomposition explains the counting of restricted Schur operators, which were introduced in the physics literature to describe open strings attached to giant gravitons and were subsequently used to diagonalize the Gaussian inner product for gauge invariants of 2-matrix models. The structure of the algebra, notably its dimension, its centre and its maximally commuting sub-algebra, is related to Littlewood-Richardson numbers for composing Young diagrams. It gives a precise characterization of the minimal set of charges needed to distinguish arbitrary matrix gauge invariants, which are related to enhanced symmetries in gauge theory. The algebra also gives a star product for matrix invariants. The centre of the algebra allows efficient computation of a sector of multi-matrix correlators. These generate the counting of a certain class of bi-coloured ribbon graphs with arbitrary genus.
△ Less
Submitted 22 January, 2016;
originally announced January 2016.
-
Highest Weight Generating functions for hyperKahler T*(G/H) spaces
Authors:
Amihay Hanany,
Sanjaye Ramgoolam,
Diego Rodriguez-Gomez
Abstract:
We develop an efficient procedure for counting holomorphic functions on a hyperKahler cone that has a resolution as a cotangent bundle of a homogeneous space by providing a formula for computing the corresponding Highest Weight Generating function.
We develop an efficient procedure for counting holomorphic functions on a hyperKahler cone that has a resolution as a cotangent bundle of a homogeneous space by providing a formula for computing the corresponding Highest Weight Generating function.
△ Less
Submitted 11 January, 2016;
originally announced January 2016.
-
Consistency and Derangements in Brane Tilings
Authors:
Amihay Hanany,
Vishnu Jejjala,
Sanjaye Ramgoolam,
Rak-Kyeong Seong
Abstract:
Brane tilings describe Lagrangians (vector multiplets, chiral multiplets, and the superpotential) of four dimensional $\mathcal{N}=1$ supersymmetric gauge theories. These theories, written in terms of a bipartite graph on a torus, correspond to worldvolume theories on $N$ D$3$-branes probing a toric Calabi-Yau threefold singularity. A pair of permutations compactly encapsulates the data necessary…
▽ More
Brane tilings describe Lagrangians (vector multiplets, chiral multiplets, and the superpotential) of four dimensional $\mathcal{N}=1$ supersymmetric gauge theories. These theories, written in terms of a bipartite graph on a torus, correspond to worldvolume theories on $N$ D$3$-branes probing a toric Calabi-Yau threefold singularity. A pair of permutations compactly encapsulates the data necessary to specify a brane tiling. We show that geometric consistency for brane tilings, which ensures that the corresponding quantum field theories are well behaved, imposes constraints on the pair of permutations, restricting certain products constructed from the pair to have no one-cycles. Permutations without one-cycles are known as derangements. We illustrate this formulation of consistency with known brane tilings. Counting formulas for consistent brane tilings with an arbitrary number of chiral bifundamental fields are written down in terms of delta functions over symmetric groups.
△ Less
Submitted 30 December, 2015;
originally announced December 2015.
-
Interactions as conformal intertwiners in 4D QFT
Authors:
Robert de Mello Koch,
Sanjaye Ramgoolam
Abstract:
In a recent paper we showed that the correlators of free scalar field theory in four dimensions can be constructed from a two dimensional topological field theory based on so(4,2) equivariant maps (intertwiners). The free field result, along with results of Frenkel and Libine on equivariance properties of Feynman integrals, are developed further in this paper. We show that the coefficient of the l…
▽ More
In a recent paper we showed that the correlators of free scalar field theory in four dimensions can be constructed from a two dimensional topological field theory based on so(4,2) equivariant maps (intertwiners). The free field result, along with results of Frenkel and Libine on equivariance properties of Feynman integrals, are developed further in this paper. We show that the coefficient of the log term in the 1-loop 4-point conformal integral is a projector in the tensor product of so(4,2) representations. We also show that the 1-loop 4-point integral can be written as a sum of four terms, each associated with the quantum equation of motion for one of the four external legs. The quantum equation of motion is shown to be related to equivariant maps involving indecomposable representations of so(4,2), a phenomenon which illuminates multiplet recombination. The harmonic expansion method for Feynman integrals is a powerful tool for arriving at these results. The generalization to other interactions and higher loops is discussed.
△ Less
Submitted 2 December, 2015;
originally announced December 2015.
-
Chiral Ring Generating Functions & Branches of Moduli Space
Authors:
James McGrane,
Sanjaye Ramgoolam,
Brian Wecht
Abstract:
We consider the worldvolume theory of N D3-branes transverse to various non-compact Calabi-Yau spaces, and describe subtleties in the counting of chiral primary operators in such theories due to the presence of multiple branches of moduli space. Extra branches, beyond those directly related to the transverse geometry, result in additional terms in the generating functions for single- and multi-tra…
▽ More
We consider the worldvolume theory of N D3-branes transverse to various non-compact Calabi-Yau spaces, and describe subtleties in the counting of chiral primary operators in such theories due to the presence of multiple branches of moduli space. Extra branches, beyond those directly related to the transverse geometry, result in additional terms in the generating functions for single- and multi-trace operators. Ideals in the N=1 chiral ring correspond to various branches and, in the large N limit, the operator counting reveals a product of Fock spaces, including the Fock space of bosons on the space transverse to the branes.
△ Less
Submitted 30 July, 2015;
originally announced July 2015.
-
The geometry of the light-cone cell decomposition of moduli space
Authors:
David Garner,
Sanjaye Ramgoolam
Abstract:
The moduli space of Riemann surfaces with at least two punctures can be decomposed into a cell complex by using a particular family of ribbon graphs called Nakamura graphs. We distinguish the moduli space with all punctures labelled from that with a single labelled puncture. In both cases, we describe a cell decomposition where the cells are parametrised by graphs or equivalence classes of finite…
▽ More
The moduli space of Riemann surfaces with at least two punctures can be decomposed into a cell complex by using a particular family of ribbon graphs called Nakamura graphs. We distinguish the moduli space with all punctures labelled from that with a single labelled puncture. In both cases, we describe a cell decomposition where the cells are parametrised by graphs or equivalence classes of finite sequences (tuples) of permutations. Each cell is a convex polytope defined by a system of linear equations and inequalities relating light-cone string parameters, quotiented by the automorphism group of the graph. We give explicit examples of the cell decomposition at low genus with few punctures.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
Quivers, Words and Fundamentals
Authors:
Paolo Mattioli,
Sanjaye Ramgoolam
Abstract:
A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting formula in terms of an infinite product was given. We extend this study to quiver gauge theories with fundamental matter fields, deriving an infinite product form for…
▽ More
A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting formula in terms of an infinite product was given. We extend this study to quiver gauge theories with fundamental matter fields, deriving an infinite product form for the refined counting in these cases. The infinite products are found to be obtained from substitutions in a simple building block expressed in terms of the weighted adjacency matrix of the quiver. In the case without fundamentals, it is a determinant which itself is found to have a counting interpretation in terms of words formed from partially commuting letters associated with simple closed loops in the quiver. This is a new relation between counting problems in gauge theory and the Cartier-Foata monoid. For finite ranks of the unitary gauge groups, the refined counting is given in terms of expressions involving Littlewood-Richardson coefficients.
△ Less
Submitted 18 December, 2014;
originally announced December 2014.
-
Permutation combinatorics of worldsheet moduli space
Authors:
Laurent Freidel,
David Garner,
Sanjaye Ramgoolam
Abstract:
Light-cone string diagrams have been used to reproduce the orbifold Euler characteristic of moduli spaces of punctured Riemann surfaces at low genus and with few punctures. Nakamura studied the meromorphic differential introduced by Giddings and Wolpert to characterise light-cone diagrams and introduced a class of graphs related to this differential. These Nakamura graphs were used to parametrise…
▽ More
Light-cone string diagrams have been used to reproduce the orbifold Euler characteristic of moduli spaces of punctured Riemann surfaces at low genus and with few punctures. Nakamura studied the meromorphic differential introduced by Giddings and Wolpert to characterise light-cone diagrams and introduced a class of graphs related to this differential. These Nakamura graphs were used to parametrise the cells in a light-cone cell decomposition of moduli space. We develop links between Nakamura graphs and realisations of the worldsheet as branched covers. This leads to a development of the combinatorics of Nakamura graphs in terms of permutation tuples. For certain classes of cells, including those of top dimension, there is a simple relation to Belyi maps, which allows us to use results from Hermitian and complex matrix models to give analytic formulae for the counting of cells at arbitrarily high genus. For the most general cells, we develop a new equivalence relation on Hurwitz classes which organises the cells and allows efficient enumeration of Nakamura graphs using the group theory software GAP.
△ Less
Submitted 24 July, 2015; v1 submitted 12 December, 2014;
originally announced December 2014.
-
CFT4 as SO(4,2)-invariant TFT2
Authors:
Robert de Mello Koch,
Sanjaye Ramgoolam
Abstract:
We show that correlators of local operators in four dimensional free scalar field theory can be expressed in terms of amplitudes in a two dimensional topological field theory (TFT2). We describe the state space of the TFT2, which has $SO(4,2)$ as a global symmetry, and includes both positive and negative energy representations. Invariant amplitudes in the TFT2 correspond to surfaces interpolating…
▽ More
We show that correlators of local operators in four dimensional free scalar field theory can be expressed in terms of amplitudes in a two dimensional topological field theory (TFT2). We describe the state space of the TFT2, which has $SO(4,2)$ as a global symmetry, and includes both positive and negative energy representations. Invariant amplitudes in the TFT2 correspond to surfaces interpolating from multiple circles to the vacuum. They are constructed from SO(4,2) invariant linear maps from the tensor product of the state spaces to complex numbers. When appropriate states labeled by 4D-spacetime coordinates are inserted at the circles, the TFT2 amplitudes become correlators of the four-dimensional CFT4. The TFT2 structure includes an associative algebra, related to crossing in the 4D-CFT, with a non-degenerate pairing related to the CFT inner product in the CFT4. In the free-field case, the TFT2/CFT4 correspondence can largely be understood as realization of free quantum field theory as a categorified form of classical invariant theory for appropriate SO(4,2) representations. We discuss the prospects of going beyond free fields in this framework.
△ Less
Submitted 14 May, 2015; v1 submitted 26 March, 2014;
originally announced March 2014.
-
Thresholds of Large N Factorization in CFT4 : Exploring bulk spacetime in AdS5
Authors:
David Garner,
Sanjaye Ramgoolam,
Congkao Wen
Abstract:
Large $N$ factorization ensures that, for low-dimension gauge-invariant operators in the half-BPS sector of ${\cal N}=4$ SYM, products of holomorphic traces have vanishing correlators with single anti-holomorphic traces. This vanishing is necessary to consistently map trace operators in the CFT$_4$ to a Fock space of graviton oscillations in the dual AdS$_5$. We investigate the regimes at which th…
▽ More
Large $N$ factorization ensures that, for low-dimension gauge-invariant operators in the half-BPS sector of ${\cal N}=4$ SYM, products of holomorphic traces have vanishing correlators with single anti-holomorphic traces. This vanishing is necessary to consistently map trace operators in the CFT$_4$ to a Fock space of graviton oscillations in the dual AdS$_5$. We investigate the regimes at which the CFT correlators do not vanish but become of order one in the large $N$ limit, which we call a factorization threshold. Quite generally, we find the threshold to be when the product of the two holomorphic operator dimensions is of order $N\log N$. Our analysis considers extremal and non-extremal correlators and correlators in states dual to LLM backgrounds, and we observe intriguing similarities between the the energy-dependent running coupling of non-abelian gauge theories and our threshold equations. Finally, we discuss some interpretations of the threshold within the bulk AdS spacetime.
△ Less
Submitted 3 December, 2014; v1 submitted 20 March, 2014;
originally announced March 2014.
-
Counting Tensor Model Observables and Branched Covers of the 2-Sphere
Authors:
Joseph Ben Geloun,
Sanjaye Ramgoolam
Abstract:
Lattice gauge theories of permutation groups with a simple topological action (henceforth permutation-TFTs) have recently found several applications in the combinatorics of quantum field theories (QFTs). They have been used to solve counting problems of Feynman graphs in QFTs and ribbon graphs of large $N$, often revealing inter-relations between different counting problems. In another recent deve…
▽ More
Lattice gauge theories of permutation groups with a simple topological action (henceforth permutation-TFTs) have recently found several applications in the combinatorics of quantum field theories (QFTs). They have been used to solve counting problems of Feynman graphs in QFTs and ribbon graphs of large $N$, often revealing inter-relations between different counting problems. In another recent development, tensor theories generalizing matrix theories have been actively developed as models of random geometry in three or more dimensions. Here, we apply permutation-TFT methods to count gauge invariants for tensor models (colored as well as non-colored), exhibiting a relationship with counting problems of branched covers of the 2-sphere, where the rank $d$ of the tensor gets related to a number of branch points. We give explicit generating functions for the relevant counting and describe algorithms for the enumeration of the invariants. As well as the classic count of Hurwitz equivalence classes of branched covers with fixed branch points, collecting these under an equivalence of permuting the branch points is relevant to the color-symmetrized tensor invariant counting. We also apply the permutation-TFT methods to obtain some formulae for correlators of the tensor model invariants.
△ Less
Submitted 24 July, 2013;
originally announced July 2013.
-
Holographic Hierarchy in the Gaussian Matrix Model via the Fuzzy Sphere
Authors:
David Garner,
Sanjaye Ramgoolam
Abstract:
The Gaussian Hermitian matrix model was recently proposed to have a dual string description with worldsheets mapping to a sphere target space. The correlators were written as sums over holomorphic (Belyi) maps from worldsheets to the two-dimensional sphere, branched over three points. We express the matrix model correlators by using the fuzzy sphere construction of matrix algebras, which can be in…
▽ More
The Gaussian Hermitian matrix model was recently proposed to have a dual string description with worldsheets mapping to a sphere target space. The correlators were written as sums over holomorphic (Belyi) maps from worldsheets to the two-dimensional sphere, branched over three points. We express the matrix model correlators by using the fuzzy sphere construction of matrix algebras, which can be interpreted as a string field theory description of the Belyi strings. This gives the correlators in terms of trivalent ribbon graphs that represent the couplings of irreducible representations of su(2), which can be evaluated in terms of 3j and 6j symbols. The Gaussian model perturbed by a cubic potential is then recognised as a generating function for Ponzano-Regge partition functions for 3-manifolds having the worldsheet as boundary, and equipped with boundary data determined by the ribbon graphs. This can be viewed as a holographic extension of the Belyi string worldsheets to membrane worldvolumes, forming part of a holographic hierarchy linking, via the large N expansion, the zero-dimensional QFT of the Matrix model to 2D strings and 3D membranes.
△ Less
Submitted 13 March, 2013;
originally announced March 2013.