representation ↗ reference
4143 papers tagged with this keyword
Decoding twisted permutation codes
We consider twisted permutation codes, a class of frequency permutation arrays obtained from finite groups with multiple permutation representations of the same degree, introduced by Gillespie, Praeger and Spiga (and later studied by Akbari, Gillespie and Praeger), and develop a decoding algorithm for such codes based on earlier work of the first author for permutation group codes. In particular, we show how to implement this algorithm for an infinite family of groups considered by Akbari, Gillespie and Praeger.
Generalized Color Orderings: CEGM Integrands and Decoupling Identities
Published
• View Publication
• BIB
In a recent paper, we defined generalized color orderings (GCO) and Feynman diagrams (GFD) to compute color-dressed generalized biadjoint amplitudes. In this work, we study the Cachazo-Early-Guevara-Mizera (CEGM) representation of generalized partial amplitudes and ``decoupling" identities. This representation is a generalization of the Cachazo-He-Yuan (CHY) formulation as an integral over the configuration space $X(k,n)$ of $n$ points on $\mathbb{CP}^{k-1}$ in generic position.
Unlike the $k=2$ case, Parke-Taylor-like integrands are not enough to compute all partial amplitudes for $k>2$. Here we give a set of constraints that integrands associated with GCOs must satisfy and use them to construct all $(3,n<9)$ integrands, all $(3,9)$ integrands up to four undetermined constants, and $95 \%$ of $(4,8)$ integrands up to 24 undetermined constants.
$k=2$ partial amplitudes are known to satisfy identities. Among them, the so-called $U(1)$ decoupling identities are the simplest ones. These are characterized by a label $i$ and a color ordering in $X(2,|[n]\setminus \{i\}|)$. Here we introduce decoupling identities for $k>2$ determined combinatorially using GCOs. Moreover, we identify the natural analog of $U(1)$ identities as those characterized by a pair of labels $i\neq j$, and a pair of GCOs, one in $X(k,|[n]\setminus \{i\}|)$ and the other in $X(k-1,|[n]\setminus \{j\}|)$. We call them {\it double extension} identities.
We also provide explicit connections among different ways of representing GCOs, such as configurations of lines, configurations of points, and reorientation classes of uniform oriented matroids (chirotopes).
Hook-Shape Immanant Characters from Stanley-Stembridge Characters
Published
• View Publication
• BIB
We consider the Schur-positivity of monomial immanants of Jacobi-Trudi matrices, in particular whether a non-negative coefficient of the trivial Schur function implies non-negative coefficients for other Schur functions in said immanants. We prove that this true for hook-shape Schur functions using combinatorial methods in a representation theory setting. Our main theorem proves that hook-shape immanant characters can be written as finite non-negative integer sums of Stanley-Stembridge characters, and provides an explicit combinatorial formula for these sums. This resolves a special case of a longstanding conjecture of Stanley and Stembridge that posits such a sum exists for all immanant characters. We also provide several simplifications for computing immanant characters, and several corollaries applying the main result to cases where the coefficient of the trivial Schur function in monomial immanants of Jacobi-Trudi matrices is known to be non-negative.
Graphical regular representations of $(2,p)$-generated groups
Published
• View Publication
• BIB
For groups $G$ that can be generated by an involution and an element of odd prime order, this paper gives a sufficient condition for a certain Cayley graph of $G$ to be a graphical regular representation (GRR), that is, for the Cayley graph to have full automorphism group isomorphic to $G$. This condition enables one to show the existence of GRRs of prescribed valency for a large class of groups, and in this paper, $k$-valent GRRs of finite nonabelian simple groups with $k\geq5$ are considered.
Hook length biases and general linear partition inequalities
Published
• View Publication
• BIB
Motivated in part by hook-content formulas for certain restricted partitions in representation theory, we consider the total number of hooks of fixed length in odd versus distinct partitions. We show that there are more hooks of length $2$, respectively $3$, in all odd partitions of $n$ than in all distinct partitions of $n$, and make the analogous conjecture for arbitrary hook length $t \geq 2$. We also establish additional bias results on the number of gaps of size $1,$ respectively $2$, in all odd versus distinct partitions of $n$. We conjecture similar biases and asymptotics, as well as congruences for the number of hooks of fixed length in odd distinct partitions versus self-conjugate partitions.
An integral component of the proof of our bias result for hooks of length $3$ is a linear inequality involving $q(n)$, the number of distinct partitions of $n$. In this article we also establish effective linear inequalities for $q(n)$ in great generality, a result which is of independent interest.
Our methods are both analytic and combinatorial, and our results and conjectures intersect the areas of representation theory, analytic number theory, partition theory, and $q$-series. In particular, we use a Rademacher-type exact formula for $q(n),$ Wright's circle method, modularity, $q$-series transformations, asymptotic methods, and combinatorial arguments.
Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. VI
We briefly discuss linear algebraic, combinatorial, and applied aspects of an exact model representation of binary arrays. As an illustration, we present two linear algebraic portraits of a string of characters.
Transduction of Automatic Sequences and Applications
Published
• View Publication
• BIB
We consider the implementation of the transduction of automatic sequences, and their generalizations, in the Walnut software for solving decision problems in combinatorics on words. We provide a number of applications, including (a) representations of n! as a sum of three squares (b) overlap-free Dyck words and (c) sums of Fibonacci representations. We also prove results about iterated running sums of the Thue-Morse sequence.
Moment cone membership for quivers in strongly polynomial time
In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite quivers. Their approach was to construct "multiplicity polytopes" with a geometric realization similar to the Knutson-Tao polytopes for tensor product multiplicities. Here we show that a less geometric but straightforward variant of their construction leads to such a multiplicity polytope for any acyclic quiver. Tardos' strongly polynomial time algorithm for combinatorial linear programming along with the saturation property then implies that moment cone membership can be decided in strongly polynomial time. The analogous question for semi-invariants remains open.
Applications of infinite lower triangular matrices and their group structure in combinatorics and the theory of orthogonal polynomials
Our focus is on the set of lower-triangular, infinite matrices that have natural operations like addition, multiplication by a number, and matrix multiplication. With respect to addition this set forms and abelian group while with respect to matrix multiplication, the invertivle elements of the set form a group. The set becomes an algebra (non-commutative in fact) with unity when all three operations are considered together. We indicate important properties of the algebraic structures obtained in this way. In particular, we indicate several sub-groups or sub-rings. Among sub-groups, we consider the group of Riordan matrices and indicate its several sub-groups. We show a variety of examples (approximately 20) of matrices that are composed of the sequences of important polynomial or number families as entries of certain lower-triangular infinite matrices. New, significant relationships between these families can be discovered by applying well-known matrix operations like multiplication and inverse calculation to this representation.
The paper intends to compile numerous simple facts about the lower-triangular matrices, specifically the family of Rionian matrices, and briefly review their properties.
Generalized regular representations of big wreath products
Published
• View Publication
• BIB
Let $G$ be a finite group with $k$ conjugacy classes, and $S(\infty)$ be the infinite symmetric group, i.e. the group of finite permutations of $\left\{1,2,3,\ldots\right\}$. Then the wreath product $G_{\infty}=G\sim S(\infty)$ of $G$ with $S(\infty)$ (called the big wreath product) can be defined. The group $G_{\infty}$ is a generalization of the infinite symmetric group, and it is an example of a ``big'' group, in Vershik's terminology. For such groups the two-sided regular representations are irreducible, the conventional scheme of harmonic analysis is not applicable, and the problem of harmonic analysis is a nontrivial problem with connections to different areas of mathematics and mathematical physics.
Harmonic analysis on the infinite symmetric group was developed in the works by Kerov, Olshanski, and Vershik, and Borodin and Olshanski. The goal of this paper is to extend this theory to the case of $G_{\infty}$. In particular, we construct an analogue $\mathfrak{S}_{G}$ of the space of virtual permutations. We then formulate and prove a theorem characterizing all central probability measures on $\mathfrak{S}_{G}$, and introduce generalized regular representations $T_{z_1,\ldots,z_k}$ of the big wreath product $G_{\infty}$. The paper solves a natural problem of harmonic analysis for the big wreath products: our results describe the decomposition of $T_{z_1,\ldots,z_k}$ into irreducible components.
The quantum detection of projectors in finite-dimensional algebras and holography
Published in J. High Energ. Phys. 2023, 191 (2023)
• View Publication
• BIB
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$.
The Gini index in the representation theory of the general linear group
Published
• View Publication
• BIB
The Gini index is a function that attempts to measure the amount of inequality in the distribution of a finite resource throughout a population. It is commonly used in economics as a measure of inequality of income or wealth. We define a discrete Gini index on the set of integer partitions with at most $n$ parts and show how this function emerges in the representation theory of the complex general linear group.
Hereditary extriangulated categories: Silting objects, mutation, negative extensions
In this article, we initiate the study of hereditary extriangulated categories. Many important categories arising in representation theory in connection with various theories of mutation are hereditary extriangulated. Special cases include homotopy categories of 2-term complexes with projective components, which are related to silting mutation, and cluster categories (with relevant relative extriangulated structures) where cluster tilting mutation take place.
We prove that there is a theory of irreducible mutation for maximal rigid objects and subcategories in hereditary extriangulated categories of dominant dimension 1. Applied to the examples above, this recovers 2-term silting mutation in triangulated categories and cluster tilting mutation. By constructing suitable extriangulated categories, we also recover tau-tilting mutation for gentle algebras and flips for their non-kissing facets. Combined with results by Adachi-Tsukamoto and Pauksztello-Zvonareva, our mutation also provides mutation for intermediate co-t-structures.
In spirit of our earlier work, we study negative extensions in hereditary extriangulated categories. We give sufficient conditions for the existence of universal balanced negative extensions. We explicitly compute certain, a priori non-universal, versions of negative extensions in hereditary categories constructed from triangulated categories with rigid subcategories. We discuss examples where these two constructions give the same delta-functors and where they disagree.
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)
Published
• View Publication
• BIB
Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.
Fast computation of permutation equivariant layers with the partition algebra
Linear neural network layers that are either equivariant or invariant to permutations of their inputs form core building blocks of modern deep learning architectures. Examples include the layers of DeepSets, as well as linear layers occurring in attention blocks of transformers and some graph neural networks. The space of permutation equivariant linear layers can be identified as the invariant subspace of a certain symmetric group representation, and recent work parameterized this space by exhibiting a basis whose vectors are sums over orbits of standard basis elements with respect to the symmetric group action. A parameterization opens up the possibility of learning the weights of permutation equivariant linear layers via gradient descent. The space of permutation equivariant linear layers is a generalization of the partition algebra, an object first discovered in statistical physics with deep connections to the representation theory of the symmetric group, and the basis described above generalizes the so-called orbit basis of the partition algebra. We exhibit an alternative basis, generalizing the diagram basis of the partition algebra, with computational benefits stemming from the fact that the tensors making up the basis are low rank in the sense that they naturally factorize into Kronecker products. Just as multiplication by a rank one matrix is far less expensive than multiplication by an arbitrary matrix, multiplication with these low rank tensors is far less expensive than multiplication with elements of the orbit basis. Finally, we describe an algorithm implementing multiplication with these basis elements.
M-Representation of Polytopes
We introduce the M-representation of polytopes, which makes it possible to compute linear transformations, convex hulls, and Minkowski sums with linear complexity in the dimension of the polytopes. When the polytope is a convex hull of a zonotope and a polytope, the representation size can be smaller than any of the known representations (V-representation, H-representation, and Z-representation). We also provide a variant of the M-representation: The chain representation is more compact and we can directly use it to compute linear transformations and convex hulls -- for all other operations on the chain representation, one requires a conversion to the M-representation.
Orthogonal matroids over tracts
Published in Forum of Mathematics, Sigma 13 (2025) e130
• View Publication
• BIB
We generalize Baker-Bowler's theory of matroids over tracts to orthogonal matroids, define orthogonal matroids with coefficients in tracts in terms of Wick functions, orthogonal signatures, circuit sets, and orthogonal vector sets, and establish basic properties on functoriality, duality, and minors. Our cryptomorphic definitions of orthogonal matroids over tracts provide proofs of several representation theorems for orthogonal matroids. In particular, we give a new proof that an orthogonal matroid is regular if and only if it is representable over $\mathbb{F}_2$ and $\mathbb{F}_3$, which was originally shown by Geelen, and we prove that an orthogonal matroid is representable over the sixth-root-of-unity partial field if and only if it is representable over $\mathbb{F}_3$ and $\mathbb{F}_4$.
Tropical Geometry, Quantum Affine Algebras, and Scattering Amplitudes
Published
• View Publication
• BIB
The goal of this paper is to make a connection between tropical geometry, representations of quantum affine algebras, and scattering amplitudes in physics. The connection allows us to study important and difficult questions in these areas:
(1) We give a systematic construction of prime modules (including prime non-real modules) of quantum affine algebras using tropical geometry. We also introduce new objects which generalize positive tropical Grassmannians.
(2) We propose a generalization of Grassmannian string integrals in physics, in which the integrand is no longer a finite, but rather an infinite product indexed by prime modules of a quantum affine algebra. We give a general formula of $u$-variables using prime tableaux (corresponding to prime modules of quantum affine algebras of type $A$) and Auslander-Reiten quivers of Grassmannian cluster categories.
(3) We study limit $g$-vectors of cluster algebras. This is another way to obtain prime non-real modules of quantum affine algebras systematically. Using limit $g$-vectors, we construct new examples of non-real modules of quantum affine algebras.
Graph parameters, implicit representations and factorial properties
Published
• View Publication
• BIB
How to efficiently represent a graph in computer memory is a fundamental data structuring question. In the present paper, we address this question from a combinatorial point of view. A representation of an $n$-vertex graph $G$ is called implicit if it assigns to each vertex of $G$ a binary code of length $O(\log n)$ so that the adjacency of two vertices is a function of their codes. A necessary condition for a hereditary class $X$ of graphs to admit an implicit representation is that $X$ has at most factorial speed of growth. This condition, however, is not sufficient, as was recently shown in [Hatami & Hatami, FOCS 2022]. Several sufficient conditions for the existence of implicit representations deal with boundedness of some parameters, such as degeneracy or clique-width. In the present paper, we analyze more graph parameters and prove a number of new results related to implicit representation and factorial properties.
The structure of totally disconnected Host--Kra--Ziegler factors, and the inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion
Let $Γ$ be a countable abelian group, let $k\geq 1$, and let $\mathrm{X}=(X,\mathcal{X},μ,T)$ be an ergodic $Γ$-system of order $k$ in the sense of Host--Kra--Ziegler. The $Γ$-system $\mathrm{X}$ is said to be totally disconnected if all its structure groups are totally disconnected. We show that any totally disconnected $Γ$-system of order $k$ is a generalized factor of a $\mathbb{Z}^ω$-system with the structure of a Weyl system. As a consequence of this structure theorem, we show that totally disconnected $Γ$-systems of order $k$ are represented by translations on double cosets of nilpotent Polish groups. By a correspondence principle of two of us, we can use this representation to establish a (weak) inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion.