representation ↗ reference
4143 papers tagged with this keyword
A Multigraph Approach for Performing the Quantum Schur Transform
We take inspiration from the Okounkov-Vershik approach to the representation theory of the symmetric groups to develop a new way of understanding how the Schur-Weyl duality can be used to perform the Quantum Schur Transform. The Quantum Schur Transform is a unitary change of basis transformation between the computational basis of $(\mathbb{C}^d)^{\otimes n}$ and the Schur-Weyl basis of $(\mathbb{C}^d)^{\otimes n}$. We describe a new multigraph, which we call the Schur-Weyl-Young graph, that represents both standard Weyl tableaux and standard Young tableaux in the same diagram. We suggest a major improvement on Louck's formula for calculating the transition amplitudes between two standard Weyl tableaux appearing in adjacent levels of the Schur-Weyl-Young graph for the case $d=2$, merely by looking at the entries in the two tableaux. The key theoretical component that underpins our results is the discovery of a branching rule for the Schur-Weyl states, which we call the Schur-Weyl branching rule. This branching rule allows us to perform the change of basis transformation described above in a straightforward manner for any $n$ and $d$.
Non-Geometric Cospectral Mates of Line Graphs with a Linear Representation
Published
• View Publication
• BIB
For an incidence geometry $\mathcal{G} = (\mathcal{P}, \mathcal{L}, \text{I})$ with a linear representation $\mathcal{T}_n^*(\mathcal{K})$, we apply WQH switching to construct a non-geometric graph $Γ'$ cospectral with the line graph $Γ$ of $\mathcal{G}$.
As an application, we show that for $h \geq 2$ and $0 < m < h$, there are strongly regular graphs with parameters $(v, k, λ, μ) = (2^{2h} (2^{m+h}+2^m-2^h), 2^h (2^h+1)(2^m-1), 2^h (2^{m+1}-3), 2^h (2^m-1))$ which are not point graphs of partial geometries of order $(s,t,α) = ((2^h+1)(2^m-1), 2^h-1, 2^m-1)$.
Representation of short distances in structurally sparse graphs
A partial orientation $\vec{H}$ of a graph $G$ is a weak $r$-guidance system if for any two vertices at distance at most $r$ in $G$, there exists a shortest path $P$ between them such that $\vec{H}$ directs all but one edge in $P$ towards this edge. In case $\vec{H}$ has bounded maximum outdegree, this gives an efficient representation of shortest paths of length at most $r$ in $G$. We show that graphs from many natural graph classes admit such weak guidance systems, and study the algorithmic aspects of this notion.
Representation theoretic interpretation and interpolation properties of inhomogeneous spin $q$-Whittaker polynomials
Published
• View Publication
• BIB
We establish new properties of inhomogeneous spin $q$-Whittaker polynomials, which are symmetric polynomials generalizing $t=0$ Macdonald polynomials. We show that these polynomials are defined in terms of a vertex model, whose weights come not from an $R$-matrix, as is often the case, but from other intertwining operators of $U'_q(\hat{\mathfrak{sl}}_2)$-modules. Using this construction, we are able to prove a Cauchy-type identity for inhomogeneous spin $q$-Whittaker polynomials in full generality. Moreover, we are able to characterize spin $q$-Whittaker polynomials in terms of vanishing at certain points, and we find interpolation analogues of $q$-Whittaker and elementary symmetric polynomials.
Orbit harmonics for the union of two orbits
Garsia and Procesi, in their study of Springer's representation, proved that the cohomology ring of a Springer fiber is isomorphic to the associated graded ring of the coordinate ring of the $S_n$ orbit of a single point in $\mathbb{C}^n$. This construction was an essential tool in their analysis of the Springer representation, and variations of it have reappeared recently in several other combinatorial and geometric contexts under the name orbit harmonics. In this article, we analyze the orbit harmonics of a union of two $S_n$ orbits. We prove that when the coordinate sums of the two orbits are different, the corresponding graded $S_n$ representation is a direct sum of two Springer representations, one of which is shifted in degree by 1.
Matrix multiplication via matrix groups
In 2003, Cohn and Umans proposed a group-theoretic approach to bounding the exponent of matrix multiplication. Previous work within this approach ruled out certain families of groups as a route to obtaining $ω= 2$, while other families of groups remain potentially viable. In this paper we turn our attention to matrix groups, whose usefulness within this framework was relatively unexplored.
We first show that groups of Lie type cannot prove $ω=2$ within the group-theoretic approach. This is based on a representation-theoretic argument that identifies the second-smallest dimension of an irreducible representation of a group as a key parameter that determines its viability in this framework. Our proof builds on Gowers' result concerning product-free sets in quasirandom groups. We then give another barrier that rules out certain natural matrix group constructions that make use of subgroups that are far from being self-normalizing.
Our barrier results leave open several natural paths to obtain $ω= 2$ via matrix groups. To explore these routes we propose working in the continuous setting of Lie groups, in which we develop an analogous theory. Obtaining the analogue of $ω=2$ in this potentially easier setting is a key challenge that represents an intermediate goal short of actually proving $ω= 2$. We give two constructions in the continuous setting, each of which evades one of our two barriers.
Combinatoric topological string theories and group theory algorithms
Published in JHEP 10 (2022) 147
• View Publication
• BIB
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.
A basis for the Diagonal Harmonic Alternants
It will be shown here that there are differential operators $E,F$ and $H=[E,F]$ for each $n\ge 1$, acting on Diagonal Harmonics, yielding that $DH_n$ is a representation of $sl[2]$ (see [3] Chapter 3). Our main effort here is to use $sl[2]$ theory to predict a basis for the Diagonal Harmonic Alternants, $DHA_n$. It can be shown that the irreducible representations $sl[2]$ are all of the form $P,EP,E^2P,\cdots,E^kP$, with $FP=0$ and $E^{k+1}P=0$. The polynomial $P$ is known to be called a "String Starter". From $sl[2]$ theory it follows that $DHA_n$ is a direct sum of strings. Our main result so far is a formula for the number of string starters. A recent paper by Carlsson and Oblomkov (see [2]) constructs a basis for the space of Diagonal Coinvariants by Algebraic Geometrical tools. It would be interesting to see if any our results can be derived from theirs.
Combinatorics of Exceptional Sequences of Type $\tilde{\mathbb{A}}_n$
It is known that there are infinitely many exceptional sequences of quiver representations for Euclidean quivers. In this paper we study those of type $\tilde{\mathbb{A}}_n$ and classify them into finitely many parametrized families. We first give a bijection between exceptional collections and a combinatorial object known as strand diagrams. We will then realize these strand diagrams as chord diagrams and then arc diagrams on an annulus. Using arc diagrams, we will define parametrized families of exceptional collections and use arc diagrams to show that there are finitely many such families. We moreover show that these families of exceptional collections are in bijection with equivalence classes of small arc diagrams. Finally, we provide an algebraic explanation of parametrized families using the transjective component of the bounded derived category.
Extended Tetrad Analysis in Factor Modelling: Separability and Uncertainty from Multidimensional Dependence Structures
Geometric representations provide a principled framework for structuring the description of latent constructs and clarifying sources of uncertainty in their dimensional characterisation. We introduce a novel geometric representation of factor models via two subspaces spanned by paired matrices, where determinantal expressions explicitly quantify the contributions of different dimension subsets to the factor structure. This formulation refines rank-based conditions relevant to understanding factor score indeterminacy and the implications of non-uniqueness in instrumental variable estimation for over-identified models.
By weighting these multidimensional contributions to encode sensitivity to their variation, we extend the definition of tetrads into an algebraic procedure that establishes conditions for identifying variability components attributable to individual dimensions. Focusing on cases where one factor encodes structural information, we derive minimal conditions-expressed through graph planarity-that ensure such dimension-specific identifiability. The proofs yield both formal verification tools and constructive methods for generating counterexamples where these conditions fail. These counterexamples reveal a type of ambiguity, termed contextuality, in which the comparison of dimensional contributions depends on the choice of remaining reference dimensions, violating well-established axioms of order-theoretic consistency. We relate these findings to specific forms of uncertainty examined in the psychometric literature.
$q$-Rational Reduction and $q$-Analogues of Series for $π$
Published
• View Publication
• BIB
In this paper, we present a $q$-analogue of the polynomial reduction which was originally developed for hypergeometric terms. Using the $q$-Gosper representation, we describe the structure of rational functions that are summable when multiplied with a given $q$-hypergeometric term. The structure theorem enables us to generalize the $q$-polynomial reduction to the rational case, which can be used in the automatic proof and discovery of $q$-identities. As applications, several $q$-analogues of series for $π$ are presented.
The infinite information gap between mathematical and physical representations
Partial orders have been used to model several experimental setups, going from classical thermodynamics and general relativity to the quantum realm with its resource theories. In order to study such experimental setups, one typically characterizes them via a (numerical) representation, that is, a set of real-valued functions. In the context of resource theory, it is customary to use \textbf{mathematical} representations, i.e. a set of \textbf{measurement outcomes} which characterize the achievable transitions within the experimental setup. However, in line with the minimum energy and maximum entropy principles in classical mechanics and thermodynamics, respectively, one would expect an optimization interpretation for a representation to be called \textbf{physical}. More specifically, a physical representation could consist of a set of competing \textbf{optimization principles} such that a transition happens provided they are all optimized by it. Somewhat surprisingly, we show that this distinction can result in an \textbf{infinite information gap}, with some partial orders having mathematical representations that involve a finite amount of information and requiring infinite information to build a physical representation. We connect this phenomenon with well-known resource-theoretic scenarios like majorization, and develop notions of partial order dimension that run in parallel to the representations that we consider. Our results improve on the classification of preordered spaces in terms of real-valued functions.
Configurations of higher orders
Published
• View Publication
• BIB
This paper begins by extending the notion of a combinatorial configuration of points and lines to a combinatorial configuration of points and planes that we refer to as configurations of order $2$. We then proceed to investigate a further extension to the notion of points and $k$-planes ($k$-dimensional hyperplanes) which we refer to as configurations of order $k$. We present a number of general examples such as stacked configurations of order $k$ - intuitively layering lower order configurations - and product configurations of order $k$. We discuss many analogues of standard configurations such as dual configurations, isomorphisms, graphical representations, and when a configuration is geometric. We focus mostly on configurations of order $2$ and specifically compute the number of possible symmetric configurations of order $2$ when each plane contains $3$ points for small values on $n$ - the total number of points in the configuration.
Graph coloring-related properties of (generating functions of) Hodge-Deligne polynomials
Motivated by a connection between the topology of (generalized) configuration spaces and chromatic polynomials, we show that generating functions of Hodge-Deligne polynomials of quasiprojective varieties and colorings of acyclic directed graphs with the complete graph $K_n$ as the underlying undirected graph. In order to do this, we combine an interpretation of Crew-Spirkl for plethysms involving chromatic symmetric polynomials using colorings of directed acyclic graphs to plethystic exponentials often appearing Hodge-Deligne polynomials of varieties. Applying this to a recent result of Florentino-Nozad-Zamora, we find a connection between $GL_n$-character varieties of finitely presented groups and colorings of these "complete" directed graphs by (signed) variables used in the Hodge-Deligne polynomials of the irreducible representations.
As a consequence of the constructions used, generators of Hodge-Deligne polynomials carry over to generators of the plethystic exponentials as a power series in a way that is compatible with this graph coloring interpretation and gives interesting combinatorial information that simplifies when we consider Hodge-Deligne polynomials of birationally equivalent varieties to be equivalent. Finally, we give an application of methods used to symmetries of Hodge-Deligne polynomials of varieties and their configuration spaces and their relation to chromatic symmetric polynomials.
Note on a Fibonacci Parity Sequence
Published
• View Publication
• BIB
Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of its complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.
Sums of linear transformations
Published
• View Publication
• BIB
We show that if $\mathcal{L}_1$ and $\mathcal{L}_2$ are linear transformations from $\mathbb{Z}^d$ to $\mathbb{Z}^d$ satisfying certain mild conditions, then, for any finite subset $A$ of $\mathbb{Z}^d$, $$|\mathcal{L}_1 A+\mathcal{L}_2 A|\geq \left(|\det(\mathcal{L}_1)|^{1/d}+|\det(\mathcal{L}_2)|^{1/d}\right)^d|A|- o(|A|).$$ This result corrects and confirms the two-summand case of a conjecture of Bukh and is best possible up to the lower-order term for certain choices of $\mathcal{L}_1$ and $\mathcal{L}_2$. As an application, we prove a lower bound for $|A + λ\cdot A|$ when $A$ is a finite set of real numbers and $λ$ is an algebraic number. In particular, when $λ$ is of the form $(p/q)^{1/d}$ for some $p, q, d \in \mathbb{N}$, each taken as small as possible for such a representation, we show that $$|A + λ\cdot A| \geq (p^{1/d} + q^{1/d})^d |A| - o(|A|).$$ This is again best possible up to the lower-order term and extends a recent result of Krachun and Petrov which treated the case $λ= \sqrt{2}$.
A Type B analog of the Whitehouse representation
Published
• View Publication
• BIB
We give a Type $B$ analog of Whitehouse's lifts of the Eulerian representations from $S_n$ to $S_{n+1}$ by introducing a family of $B_{n}$-representations that lift to $B_{n+1}$. As in Type $A$, we interpret these representations combinatorially via a family of orthogonal idempotents in the Mantaci-Reutenauer algebra, and topologically as the graded pieces of the cohomology of a certain $\mathbb{Z}_{2}$-orbit configuration space of $\mathbb{R}^{3}$. We show that the lifted $B_{n+1}$-representations also have a configuration space interpretation, and further parallel the Type $A$ story by giving analogs of many of its notable properties, such as connections to equivariant cohomology and the Varchenko-Gelfand ring.
Heaps reduction, decorated diagrams, and the affine Temperley-Lieb algebra of type $C$
In this paper we propose a combinatorial framework to study a diagrammatic representation of the affine Temperley-Lieb algebra of type C introduced by Ernst. In doing this, we define two procedures, a decoration algorithm on diagrams and a reduction algorithm on heaps of independent interest. Using this approach, an explicit algorithmic description of Ernst representation map is provided from which its faithfulness can be deduced. We also give a construction of the inverse map.
Regularity and stable ranges of FI-modules
Published
• View Publication
• BIB
We give refined bounds for the regularity of FI-modules and the stable ranges of FI-modules for various forms of their stabilization studied in the representation stability literature. We show that our bounds are sharp in several cases. We apply these to get explicit stable ranges for diagonal coinvariant algebras, and improve those for ordered configuration spaces of manifolds and congruence subgroups of general linear groups.
Aldous' spectral gap property for normal Cayley graphs on symmetric groups
Published in European Journal of Combinatorics 110 (2023) 103657
• View Publication
• BIB
Aldous' spectral gap conjecture states that the second largest eigenvalue of any connected Cayley graph on the symmetric group Sn with respect to a set of transpositions is achieved by the standard representation of Sn. This celebrated conjecture, which was proved in its general form in 2010, has inspired much interest in searching for other families of Cayley graphs on Sn with the property that the largest eigenvalue strictly smaller than the degree is attained by the standard representation of Sn. In this paper, we prove three results on normal Cayley graphs on Sn possessing this property for sufficiently large n, one of which can be viewed as a generalization of the "normal" case of Aldous' spectral gap conjecture.