representation ↗ reference
4053 papers tagged with this keyword
The plethystic inverse of the odd Lie representations
Published in Proc. Amer. Math. Soc. 150 (2022), no. 9, 3787--3798
• View Publication
• BIB
The Frobenius characteristic of $Lie_n,$ the representation of the symmetric group $S_n$ afforded by the multilinear component of the free Lie algebra, is known to satisfy many interesting plethystic identities. In this paper we prove a conjecture of Richard Stanley establishing the plethystic inverse of the sum $\sum_{n\geq 0} Lie_{2n+1}$ of the odd Lie characteristics. We obtain an apparently new plethystic decomposition of the regular representation of $S_n$ in terms of irreducibles indexed by hooks, and the Lie representations. We determine the plethystic inverse of the alternating sum of the odd Lie characteristics.
Lefschetz theory for exterior algebras and fermionic diagonal coinvariants
Published
• View Publication
• BIB
Let $W$ be an irreducible complex reflection group acting on its reflection representation $V$. We consider the doubly graded action of $W$ on the exterior algebra $\wedge (V \oplus V^*)$ as well as its quotient $DR_W := \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle$ by the ideal generated by its homogeneous $W$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $DR_W$; when $W = \mathfrak{S}_n$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $\mathfrak{S}_n$-modules. We relate the Hilbert series of $DR_W$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $DR_W$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory which applies to the exterior algebra $\wedge (V \oplus V^*)$.
Singularities of Schubert Varieties within a Right Cell
Published in SIGMA 17 (2021), 070, 9 pages
• View Publication
• BIB
We describe an algorithm which pattern embeds, in the sense of Woo-Yong, any Bruhat interval of a symmetric group into an interval whose extremes lie in the same right Kazhdan-Lusztig cell. This apparently harmless fact has applications in finding examples of reducible associated varieties of $\mathfrak{sl}_n$-highest weight modules, as well as in the study of $W$-graphs for symmetric groups, and in comparing various bases of irreducible representations of the symmetric group or its Hecke algebra. For example, we are able to systematically produce many negative answers to a question from the 1980s of Borho-Brylinski and Joseph, which had been settled by Williamson via computer calculations only in 2014.
Irreducible projective representations of the alternating group which remain irreducible in characteristic 2
Published in Adv. Math. 347 (2020) 107340
• View Publication
• BIB
For any finite group G it is an interesting question to ask which ordinary irreducible representations of G remain irreducible in a given characteristic p. We answer this question for p=2 when G is the proper double cover of the alternating group. As a key ingredient in the proof, we prove a formula for the decomposition numbers in Rouquier blocks of double covers of symmetric groups, in terms of Schur P-functions.
Weight $q$-multiplicities for representations of the exceptional Lie algebra $\mathfrak{g}_2$
Published
• View Publication
• BIB
Given a simple Lie algebra $\mathfrak{g}$, Kostant's weight $q$-multiplicity formula is an alternating sum over the Weyl group whose terms involve the $q$-analog of Kostant's partition function. For $ξ$ (a weight of $\mathfrak{g}$), the $q$-analog of Kostant's partition function is a polynomial-valued function defined by $\wp_q(ξ)=\sum c_i q^i$ where $c_i$ is the number of ways $ξ$ can be written as a sum of $i$ positive roots of $\mathfrak{g}$. In this way, the evaluation of Kostant's weight $q$-multiplicity formula at $q = 1$ recovers the multiplicity of a weight in a highest weight representation of $\mathfrak{g}$. In this paper, we give closed formulas for computing weight $q$-multiplicities in a highest weight representation of the exceptional Lie algebra $\mathfrak{g}_2$.
A criterion for sharpness in tree enumeration and the asymptotic number of triangulations in Kuperberg's G2 spider
Published
• View Publication
• BIB
We prove a conjectured asymptotic formula of Kuperberg from the representation theory of the Lie algebra $G_2$. Given a non-negative sequence $(a_n)_{n\geq 1}$, the identity $B(x)=A(xB(x))$ for generating functions $A(x)=1+\sum_{n\geq 1} a_n x^n$ and $B(x)=1+\sum_{n\geq 1} b_n x^n$ determines the number $b_n$ of rooted planar trees with $n$ vertices such that each vertex having $i$ children can have one of $a_i$ distinct colors. Kuperberg proved in \cite{Kuperberg} that this identity holds in the case that $b_n=\dim \text{Inv}_{G_2} (V(λ_1)^{\otimes n})$, where $V(λ_1)$ is the 7-dimensional fundamental representation of $G_2$, and $a_n$ is the number of triangulations of a regular $n$-gon such that each internal vertex has degree at least $6$. He also observed that $\limsup_{n\to\infty}\sqrt[n]{a_n}\leq 7/B(1/7)$ and conjectured that this estimate is sharp, or in terms of power series, that the radius of convergence of $A(x)$ is exactly $B(1/7)/7$. We prove this conjecture by introducing a new criterion for sharpness in the analogous estimate for general power series $A(x)$ and $B(x)$ satisfying $B(x)=A(xB(x))$. Moreover, by way of singularity analysis performed on a recently-discovered generating function for $B(x)$, we significantly refine the conjecture by deriving an asymptotic formula for the sequence $(a_n)$.
On a Conjecture of Kelly on $(1,3)$-representation of Sylvester Gallai Designs
Published in Proceedings Mathematical Sciences: The Indian Academy of Sciences, Vol. 132, Art. ID. 24, April 2022, 14 Pages, https://www.ias.ac.in/article/fulltext/pmsc/132/0024
• View Publication
• BIB
We give an exact criterion of a conjecture of L.M.Kelly to hold true which is stated as follows. If there is a finite family $Σ$ of mutually skew lines in $\mathbb{R}^l,l\geq 4$ such that the three dimensional affine span (hull) of every two lines in $Σ$, contains at least one more line of $Σ$, then we have that $Σ$ is entirely contained in a three dimensional space if and only if the arrangement of affine hulls is central. Finally, this article leads to an analogous question for higher dimensional skew affine spaces, that is, for $(2,5)$-representations of sylvester-gallai designs in $\mathbb{R}^6$, which is answered in the last section.
$(GL_k\times S_n)$-Modules of Multivariate Diagonal Harmonics
Published
• View Publication
• BIB
This is the first in a series of papers in which we describe explicit structural properties of spaces of diagonal rectangular harmonic polynomials in $k$ sets of $n$ variables, both as $GL_k$-modules and $S_n$-modules, as well as some of there relations to areas such as Algebraic Combinatorics, Representation Theory, Algebraic Geometry, Knot Theory, and Theoretical Physics. Our global aim is to develop a unifying point of view for several areas of research of the last two decades having to do with Macdonald Polynomials Operator Theory, Diagonal Coinvariant Spaces, Rectangular-Catalan Combinatorics, the Delta-Conjecture, Hilbert Scheme of Points in the Plane, Khovanov-Rozansky Homology of $(m,n)$-Torus links, etc.
On Reeder's Conjecture for type B and C Lie algebras
Published
• View Publication
• BIB
In the paper we propose a proof of Reeder's Conjecture on the graded multiplicities of small representations in the exterior algebra $Λ$g for the simple Lie algebras of type B and C.
Complementary symmetric Rote sequences: the critical exponent and the recurrence function
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 1, Combinatorics (June 6, 2020) dmtcs:6204
• View Publication
• BIB
We determine the critical exponent and the recurrence function of complementary symmetric Rote sequences. The formulae are expressed in terms of the continued fraction expansions associated with the S-adic representations of the corresponding standard Sturmian sequences. The results are based on a thorough study of return words to bispecial factors of Sturmian sequences. Using the formula for the critical exponent, we describe all complementary symmetric Rote sequences with the critical exponent less than or equal to 3, and we show that there are uncountably many complementary symmetric Rote sequences with the critical exponent less than the critical exponent of the Fibonacci sequence. Our study is motivated by a~conjecture on sequences rich in palindromes formulated by Baranwal and Shallit. Its recent solution by Curie, Mol, and Rampersad uses two particular complementary symmetric Rote sequences.
Intersection distribution, non-hitting index and Kakeya sets in affine planes
Published
• View Publication
• BIB
We propose the concepts of intersection distribution and non-hitting index, which can be viewed from two related perspectives. The first one concerns a point set $S$ of size $q+1$ in the classical projective plane $PG(2,q)$, where the intersection distribution of $S$ indicates the intersection pattern between $S$ and the lines in $PG(2,q)$. The second one relates to a polynomial $f$ over a finite field $\mathbb{F}_q$, where the intersection distribution of $f$ records an overall distribution property of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. These two perspectives are closely related, in the sense that each polynomial produces a $(q+1)$-set in a canonical way and conversely, each $(q+1)$-set with certain property has a polynomial representation. Indeed, the intersection distribution provides a new angle to distinguish polynomials over finite fields, based on the geometric property of the corresponding $(q+1)$-sets. Among the intersection distribution, we identify a particularly interesting quantity named non-hitting index. For a point set $S$, its non-hitting index counts the number of lines in $PG(2,q)$ which do not hit $S$. For a polynomial $f$ over a finite field $\mathbb{F}_q$, its non-hitting index gives the summation of the sizes of $q$ value sets $\{f(x)+cx \mid x \in \mathbb{F}_q\}$, where $c \in \mathbb{F}_q$. We derive bounds on the non-hitting index and show that the non-hitting index contains much information about the corresponding set and the polynomial. More precisely, using a geometric approach, we show that the non-hitting index is sufficient to characterize the corresponding point set and the polynomial when it is close to the lower and upper bounds. Moreover, we employ an algebraic approach to derive the intersection distribution of several families of point sets and polynomials, and compute the sizes of related Kakeya sets in affine planes.
Gröbner bases for fusion products
Published
• View Publication
• BIB
We provide a new approach towards the analysis of the fusion products defined by B.~Feigin and S.~Loktev in the representation theory of (truncated) current Lie algebras. We understand the fusion product as a degeneration using Gröbner theory of non-commutative algebras and outline a strategy on how to prove a conjecture about the defining relations for the fusion product of two evaluation modules. We conclude with following this strategy for $\mathfrak{sl}_2(\mathbb{C}[t]) $ and hence provide yet another proof for the conjecture in this case.
A new representation of mutually orthogonal frequency squares
Mutually orthogonal frequency squares (MOFS) of type $F(mλ;λ)$ generalize the structure of mutually orthogonal Latin squares: rather than each of $m$ symbols appearing exactly once in each row and in each column of each square, the repetition number is $λ\ge 1$. A classical upper bound for the number of such MOFS is $\frac{(mλ-1)^2}{m-1}$. We introduce a new representation of MOFS of type $F(mλ;λ)$, as a linear combination of $\{0,1\}$ arrays. We use this representation to give an elementary proof of the classical upper bound, together with a structural constraint on a set of MOFS achieving the upper bound. We then use this representation to establish a maximality criterion for a set of MOFS of type $F(mλ;λ)$ when $m$ is even and $λ$ is odd, which simplifies and extends a previous analysis [T. Britz, N.J. Cavenagh, A. Mammoliti, I.M. Wanless, Mutually orthogonal binary frequency squares, Electron. J. Combin., 27(#P3.7), 2020, 26 pages] of the case when $m=2$ and $λ$ is odd.
Edge metric dimensions via hierarchical product and integer linear programming
If $S=\{v_1,\ldots, v_k\}$ is an ordered subset of vertices of a connected graph $G$ and $e$ is an edge of $G$, then the vector $r_G(e|S) = (d_G(v_1,e), \ldots, d_G(v_k,e))$ is the edge metric $S$-representation of $e$. If the vertices of $G$ have pairwise different edge metric $S$-representations, then $S$ is an edge metric generator for $G$. The cardinality of a smallest edge metric generator is the edge metric dimension ${\rm edim}(G)$ of $G$. A general sharp upper bound on the edge metric dimension of hierarchical products $G(U)\sqcap H$ is proved. Exact formula is derived for the case when $|U| = 1$. An integer linear programming model for computing the edge metric dimension is proposed. Several examples are provided which demonstrate how these two methods can be applied to obtain the edge metric dimensions of some applicable graphs.
Some natural extensions of the parking space
Published
• View Publication
• BIB
We construct a family of $S_n$ modules indexed by $c\in\{1,\dots,n\}$ with the property that upon restriction to $S_{n-1}$ they recover the classical parking function representation of Haiman. The construction of these modules relies on an $S_n$-action on a set that is closely related to the set of parking functions. We compute the characters of these modules and use the resulting description to classify them up to isomorphism. In particular, we show that the number of isomorphism classes is equal to the number of divisors $d$ of $n$ satisfying $ d\neq 2 \: (\!\!\!\!\mod 4)$. In the cases $c=n$ and $c=1$, we compute the number of orbits. Based on empirical evidence, we conjecture that when $c=1$, our representation is $h$-positive and is in fact the (ungraded) extension of the parking function representation constructed by Berget and Rhoades.
The localization spectral sequence in the motivic setting
Published in Algebr. Geom. Topol. 24 (2024) 1431-1466
• View Publication
• BIB
We construct and study a motivic lift of a spectral sequence associated to a stratified scheme, recently discovered by Petersen in the context of mixed Hodge theory and $\ell$-adic Galois representations. The original spectral sequence expresses the compactly supported cohomology of an open stratum in terms of the compactly supported cohomology of the closures of strata and the combinatorics of the poset underlying the stratification. Some of its special cases are classical tools in the study of arrangements of subvarieties and configuration spaces. Our motivic lift lives in the triangulated category of étale motives and takes the shape of a Postnikov system. We describe its connecting morphisms and study some of its functoriality properties.
The Fine-Grained Complexity of Computing the Tutte Polynomial of a Linear Matroid
We show that computing the Tutte polynomial of a linear matroid of dimension $k$ on $k^{O(1)}$ points over a field of $k^{O(1)}$ elements requires $k^{Ω(k)}$ time unless the \#ETH---a counting extension of the Exponential Time Hypothesis of Impagliazzo and Paturi [CCC 1999] due to Dell {\em et al.} [ACM TALG 2014]---is false. This holds also for linear matroids that admit a representation where every point is associated to a vector with at most two nonzero coordinates. We also show that the same is true for computing the Tutte polynomial of a binary matroid of dimension $k$ on $k^{O(1)}$ points with at most three nonzero coordinates in each point's vector. This is in sharp contrast to computing the Tutte polynomial of a $k$-vertex graph (that is, the Tutte polynomial of a {\em graphic} matroid of dimension $k$---which is representable in dimension $k$ over the binary field so that every vector has two nonzero coordinates), which is known to be computable in $2^k k^{O(1)}$ time [Björklund {\em et al.}, FOCS 2008]. Our lower-bound proofs proceed via (i) a connection due to Crapo and Rota [1970] between the number of tuples of codewords of full support and the Tutte polynomial of the matroid associated with the code; (ii) an earlier-established \#ETH-hardness of counting the solutions to a bipartite $(d,2)$-CSP on $n$ vertices in $d^{o(n)}$ time; and (iii) new embeddings of such CSP instances as questions about codewords of full support in a linear code. We complement these lower bounds with two algorithm designs. The first design computes the Tutte polynomial of a linear matroid of dimension~$k$ on $k^{O(1)}$ points in $k^{O(k)}$ operations. The second design generalizes the Björklund~{\em et al.} algorithm and runs in $q^{k+1}k^{O(1)}$ time for linear matroids of dimension $k$ defined over the $q$-element field by $k^{O(1)}$ points with at most two nonzero coordinates each.
On the equivalence of the Hermitian eigenvalue problem and hypergraph edge elimination
It is customary to identify sparse matrices with the corresponding adjacency or incidence graph. For the solution of linear systems of equations using Gaussian elimination, the representation by its adjacency graph allows a symbolic computation that can be used to predict memory footprints and enables the determination of near-optimal elimination orderings based on heuristics. The Hermitian eigenvalue problem on the other hand seems to evade such treatment at first glance due to its inherent iterative nature. In this paper we prove this assertion wrong by showing the equivalence of the Hermitian eigenvalue problem with a symbolic edge elimination procedure. A symbolic calculation based on the incidence graph of the matrix can be used in analogy to the symbolic phase of Gaussian elimination to develop heuristics which reduce memory footprint and computations. Yet, we also show that the question of an optimal elimination strategy remains NP-hard, in analogy to the linear systems case.
Matrix Invariants of Finite Metric Spaces
Finite metric spaces are characterized by a polyhedral cone defined in terms of the positivity of the distance functions and the triangle inequalities. Their classification is based on the decomposition of an associated polyhedral cone, called the "metric fan". The complete classification of $n$-point metric spaces is available only for $n\le 6$. As the number of classes increases rapidly with the number of elements, it is desirable to have coarser equivalence class decompositions based on certain invariants of finite metric spaces. If $(X,d)$ is a finite metric space with elements $P_i$ and with distance functions $d_{ij}$, the Gromov product at $P_i$ is defined as $Δ_{ijk}=1/2(d_{ij}+d_{ik}-d_{jk})$. Assuming that the set of Gromov product at $P_i$ has a unique smallest element $Δ_{ijk}$, the association of the edge $P_jP_k$ to $P_i$ defines the "Gromov product structure". The "pendant-free" reduction of the finite metric space is the graph obtained by removing the edges $P_jP_k$ corresponding to the minimal Gromov products $Δ_{ijk}$ at $P_i$. In the present work, we define a matrix representation for a Gromov product structure $S$ on an $n$-point metric space, by $n\times n$ matrix $G_S$. We prove that if two metric spaces have Gromov product structures that can be mapped to each other by a permutation of the indices, then their matrices are similar via the corresponding permutation matrix. Matrix invariants of $G_S$ are used to define subclasses of Gromov product structures and their application to $n=5$ and $n=6$-point spaces are given.
Singular nonsymmetric Jack polynomials for some rectangular tableaux
Published in Symmetry 2020 12(4), 630
• View Publication
• BIB
In the intersection of the theories of nonsymmetric Jack polynomials in $N$ variables and representations of the symmetric groups $\mathcal{S}_{N}$ one finds the singular polynomials. For certain values of the parameter $κ$ there are Jack polynomials which span an irreducible $\mathcal{S}_{N}$-module and are annihilated by the Dunkl operators. The $\mathcal{S}_{N}$-module is labeled by a partition of $N$, called the isotype of the polynomials. In this paper the Jack polynomials are of the vector-valued type, that is, elements of the tensor product of the scalar polynomials with the span of reverse standard Young tableaux of the shape of a fixed partition of $N$. In particular this partition is of shape $\left( m,m,\ldots,m\right) $ with $2k$ components and the constructed singular polynomials are of isotype $\left( mk,mk\right) $ for the parameter $κ=$ $1/\left( m+2\right) $. The paper contains the necessary background on nonsymmetric Jack polynomials and representation theory and explains the role of Jucys-Murphy elements in the construction. The main ingredient is the proof of uniqueness of certain spectral vectors, namely, the list of eigenvalues of the Jack polynomials for the Cherednik-Dunkl operators, when specialized to $κ=1/\left( m+2\right) $. The paper finishes with a discussion of associated maps of modules of the rational Cherednik algebra and an example illustrating the difficulty of finding singular polynomials for arbitrary partitions.