representation ↗ reference
4143 papers tagged with this keyword
Invariant theory for the face algebra of the braid arrangement
Published
• View Publication
• BIB
The faces of the braid arrangement form a monoid. The associated monoid algebra -- the face algebra -- is well-studied, especially in relation to card shuffling and other Markov chains. In this paper, we explore the action of the symmetric group on the face algebra from the perspective of invariant theory. Bidigare proved the invariant subalgebra of the face algebra is (anti)isomorphic to Solomon's descent algebra. We answer the more general question: what is the structure of the face algebra as a simultaneous representation of the symmetric group and Solomon's descent algebra? Special cases of our main theorem recover the Cartan invariants of Solomon's descent algebra discovered by Garsia-Reutenauer and work of Uyemura-Reyes on certain shuffling representations. Our proof techniques involve the homology of intervals in the lattice of set partitions.
Three Examples of Quasisymmetric Compatible $\mathfrak{S}_n$-modules
The Schur functions, a basis for the symmetric polynomials (Sym), encode the irreducible representations of the symmetric group, $\mathfrak{S}_n$, via the Frobenius characteristic map. In 1996, Krob and Thibon defined a quasisymmetric Frobenius map on the representations of $\mathcal{H}_n(0)$, mapping them to the quasisymmetric functions (QSym). Despite the obvious inclusion of Sym in QSym and the close relationship between $\mathfrak{S}_n$ and $\mathcal{H}_n(0)$, there is no known direct link between these two Frobenius characteristic maps and the related representations. We explore three specific situations in which a deformation of an $\mathfrak{S}_n$ action results in a valid $\mathcal{H}_n(0)$ action and gives a quasisymmetric Frobenius characteristic that is equal to the symmetric Frobenius characteristic. We introduce the concept of quasisymmetric compatibility, which formalizes a link between the two maps, and we show it applies to all $\mathfrak{S}_n$-modules.
Cyclic Group Spectra for Some Small Relation Algebras
Published
• View Publication
• BIB
The question of characterizing the (finite) representable relation algebras in a ``nice" way is open. The class $\mathbf{RRA}$ is known to be not finitely axiomatizable in first-order logic. Nevertheless, it is conjectured that ``almost all'' finite relation algebras are representable.
All finite relation algebras with three or fewer atoms are representable. So one may ask, Over what cardinalities of sets are they representable? This question was answered completely by Andréka and Maddux (``Representations for small relation algebras,'' \emph{Notre Dame J. Form. Log.}, \textbf{35} (1994)); they determine the spectrum of every finite relation algebra with three or fewer atoms.
In the present paper, we restrict attention to cyclic group representations, and completely determine the cyclic group spectrum for all seven symmetric integral relation algebras on three atoms. We find that in some instances, the spectrum and cyclic spectrum agree; in other instances, the spectra disagree for finitely many $n$; finally, for other instances, the spectra disagree for infinitely many $n$. The proofs employ constructions, SAT solvers, and the probabilistic method.
On the matching complexes of categorical product of path graphs
Published
• View Publication
• BIB
The matching complex $\mathsf{M}(G)$ of a graph $G$ is a simplicial complex whose simplices are matchings in $G$. These complexes appears in various places and found applications in many areas of mathematics including; discrete geometry, representation theory, combinatorics, etc. In this article, we consider the matching complexes of categorical product $P_n \times P_m$ of path graphs $P_n$ and $P_m$. For $m = 1$, $P_n \times P_m$ is a discrete graph and therefore its matching complex is the void complex. For $m = 2$, $\mathsf{M}(P_n \times P_m)$ has been proved to be homotopy equivalent to a wedge of spheres by Kozlov. We show that for $n \geq 2$ and $3 \leq m \leq 5$, the matching complex of $P_n \times P_m$ is homotopy equivalent to a wedge of spheres. For $m =3$, we give a closed form formula for the number and dimension of spheres appearing in the wedge. Further, for $m \in \{4, 5\}$, we give minimum and maximum dimension of spheres appearing in the wedge in the homotopy type of $\mathsf{M}(P_n \times P_m)$.
A categorification of cluster algebras of type B and C through symmetric quivers
Published in Journal of Algebra 664 (2025) 1-41
• View Publication
• BIB
We express cluster variables of type $B_n$ and $C_n$ in terms of cluster variables of type $A_n$. Then we associate a cluster tilted bound symmetric quiver $Q$ of type $A_{2n-1}$ to any seed of a cluster algebra of type $B_n$ and $C_n$. Under this correspondence, cluster variables of type $B_n$ (resp. $C_n$) correspond to orthogonal (resp. symplectic) indecomposable representations of $Q$. We find a Caldero-Chapoton map in this setting. We also give a categorical interpretation of the cluster expansion formula in the case of acyclic quivers.
Representations from matrix varieties, and filtered RSK
Matrix Schubert varieties (Fulton '92) carry natural actions of Levi groups. Their coordinate rings are thereby Levi-representations; what is a combinatorial counting rule for the multiplicities of their irreducibles? When the Levi group is a torus, (Knutson-Miller '04) answers the question. We present a general solution, a common refinement of the multigraded Hilbert series, the Cauchy identity, and the Littlewood-Richardson rule. Our result applies to any ``bicrystalline'' algebraic variety; we define these using the operators of (Kashiwara '95) and of (Danilov-Koshevoi '05, van Leeuwen '06). The proof introduces a ``filtered'' generalization of the Robinson-Schensted-Knuth correspondence.
Birational maps to Grassmannians, representations and poset polytopes
Published
• View Publication
• BIB
We study the closure of the graph of the birational map from a projective space to a Grassmannian. We provide explicit description of the graph closure and compute the fibers of the natural projection to the Grassmannian. We construct embeddings of the graph closure to the projectivizations of certain cyclic representations of a degenerate special linear Lie algebra and study algebraic and combinatorial properties of these representations. In particular, we describe monomial bases, generalizing the FFLV bases. The proof relies on combinatorial properties of a new family of poset polytopes, which are of independent interest. As a consequence we obtain flat toric degenerations of the graph closure studied by Borovik, Sturmfels and Sverrisdóttir.
Stembridge codes, permutahedral varieties, and their extensions
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutahedral variety. Stanley obtained a formula showing that the cohomology carries a permutation representation of $\mathfrak{S}_n$. We answer a question of Stembridge on finding an explicit permutation basis of this cohomology. We observe that the Feichtner-Yuzvinsky basis for the Chow ring of the Boolean matroid is such a permutation basis, and then we construct an $\mathfrak{S}_n$-equivariant bijection between this basis and codes introduced by Stembridge, thereby giving a combinatorial proof of Stanley's formula. We obtain an analogous result for the stellahedral variety. We find a permutation basis of the permutation representation its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we obtain a general result on augmented Chow rings (which was also independently obtained by Eur) asserting that augmented Chow rings of matroids are actually Chow rings in the sense of Feichtner and Yuzvinsky. In the last part of the paper, we study enumerative aspects of the permutahedra and the stellohedra related to these permutation bases.
Arithmetic on $q$-deformed rational numbers
Published
• View Publication
• BIB
Recently, Morier-Genoud and Ovsienko introduced a $q$-deformation of rational numbers. More precisely, for an irreducible fraction $\frac{r}s>0$, they constructed coprime polynomials $\mathcal{R}_{\frac{r}s}(q),~ \mathcal{S}_{\frac{r}s}(q) \in {\mathbb Z}[q]$ with $\mathcal{R}_{\frac{r}s}(1)=r,~\mathcal{S}_{\frac{r}s}(1)=s$. Their theory has a rich background and many applications. By definition, if $r \equiv r' \pmod{s}$, then $\mathcal{S}_{\frac{r}s}(q)=\mathcal{S}_{\frac{r'}s}(q)$. We show that $rr'{\equiv} -1 \pmod{s}$ implies $\mathcal{S}_{\frac{r}s}(q)=\mathcal{S}_{\frac{r'}s}(q)$, and it is conjectured that the converse holds if $s$ is prime (and $r \not \equiv r' \pmod{s}$). We also show that $s$ is a multiple of 3 (resp. 4) if and only if $\mathcal{S}_{\frac{r}s}(ζ)=0$ for $ζ=(-1+\sqrt{-3})/2$ (resp. $ζ=i$). We give applications to the representation theory of quivers of type $A$ and the Jones polynomials of rational links.
$M$-ary partition polynomials
Let $M=(m_{i})_{i=0}^{\infty}$ be a sequence of integers such that $m_{0}=1$ and $m_{i}\geq 2$ for $i\geq 1$. In this paper we study $M$-ary partition polynomials $(p_{M}(n,t))_{n=0}^{\infty}$ defined as the coefficient in the following power series expansion: \begin{align*} \prod_{i=0}^{\infty}\frac{1}{1-tq^{M_{i}}} = \sum_{n=0}^{\infty} p_{M}(n,t)q^{n}, \end{align*} where $M_{i}=\prod_{j=0}^{i}m_{j}$. In particular, we provide a detailed description of their rational roots and show, that all their complex roots have absolute values not greater than $2$. We also study arithmetic properties of $M$-ary partition polynomials. One of our main results says that if $n=a_{0}+a_{1}M_{1}+\cdots +a_{k}M_{k}$ is a (unique) representation such that $a_{j}\in\{0,\ldots ,m_{j+1}-1\}$ for every $j$, then \begin{align*} p_{M}(n,t)\equiv t^{a_{0}}\prod t^{a_{j}}f(a_{j}+1,t^{m_{j}-1}) \pmod{g_{k}(t)}, \end{align*} where $f(a,t):=\frac{t^{a}-1}{t-1}$ and $g_{k}(t):=\gcd \big(t^{m_{1}+m_{2}-1}f(m_{2},t^{m_{1}-1}),\ldots ,t^{m_{k}+m_{k+1}-1}f(m_{k+1},t^{m_{k}-1})\big)$. This is a polynomial generalisation of the well-known characterisation modulo $m$ of the sequence of $m$-ary partition.
A Gaussian integral that counts regular graphs
Published in J. Math. Phys. 65 (2024) 093301
• View Publication
• BIB
In a recent article J. Phys. Compl. 4 (2023) 035005, Kawamoto evoked statistical physics methods for the problem of counting graphs with a prescribed degree sequence. This treatment involved truncating a particular Taylor expansion at the first two terms, which resulted in the Bender-Canfield estimate for the graph counts. This is surprisingly successful since the Bender-Canfield formula is asymptotically accurate for large graphs, while the series truncation does not a priori suggest a similar level of accuracy.
We upgrade the above treatment in three directions. First, we derive an exact formula for counting d-regular graphs in terms of a d-dimensional Gaussian integral. Second, we show how to convert this formula into an integral representation for the generating function of d-regular graph counts. Third, we perform explicit saddle point analysis for large graph sizes and identify the saddle point configurations responsible for graph count estimates. In these saddle point configurations, only two of the integration variables condense to significant values, while the remaining ones approach zero for large graphs. This provides an underlying picture that justifies Kawamoto's earlier findings.
Scalar extensions of quiver representations over $\mathbb{F}_1$
Published
• View Publication
• BIB
Let $V$ and $W$ be quiver representations over $\mathbb{F}_1$ and let $K$ be a field. The scalar extensions $V^K$ and $W^K$ are quiver representations over $K$ with a distinguished, very well-behaved basis. We construct a basis of $\mathrm{Hom}_{KQ}(V^K,W^K)$ generalising the well-known basis of the morphism spaces between string and tree modules. We use this basis to give a combinatorial characterisation of absolutely indecomposable representations. Furthermore, we show that indecomposable representations with finite nice length are absolutely indecomposable. This answers a question of Jun and Sistko.
Line defect half-indices of $SU(N)$ Chern-Simons theories
Published in JHEP06(2024)006
• View Publication
• BIB
We study the Wilson line defect half-indices of 3d $\mathcal{N}=2$ supersymmetric $SU(N)$ Chern-Simons theories of level $k\le -N$ with Neumann boundary conditions for the gauge fields, together with 2d Fermi multiplets and fundamental 3d chiral multiplets to cancel the gauge anomaly. We derive some exact results and also make some conjectures based on expansions of the $q$-series. We find several interesting connections with special functions known in the literature, including Rogers-Ramanujan functions for which we conjecture integral representations, and the appearance of Appell-Lerch sums for certain Wilson line half-index grand canonical ensembles which reveal an unexpected appearance of mock modular functions. We also find intriguing $q$-difference equations relating half-indices to Wilson line half-indices. Some of these results also have a description in terms of a dual theory with Dirichlet boundary conditions for the vector multiplet in the dual theory.
Hook restriction coefficients
The permutation matrices form a subgroup of $\text{GL}_n(\mathbb{C})$ that is isomorphic to the symmetric group $S_n$. Let $r_{μλ}$ denote the multiplicity of the irreducible representation $V_μ$ of $S_n$, corresponding to a partition $μ$ of $n$, in the restriction of an irreducible polynomial representation $W_λ(\mathbb{C})$ of $\text{GL}_n(\mathbb{C})$, corresponding to a partition $λ$ with at most $n$ parts. Finding a combinatorial interpretation for $r_{μλ}$ remains an open problem in algebraic combinatorics, called the \emph{restriction problem}.
We derive a new nonrecursive expression for a character polynomial called the \emph{Specht polynomial} and use it to find a combinatorial interpretation of $r_{μλ}$ when $λ$ is a hook-shaped partition.
Decomposing Dedekind Numbers: A Polynomial Representation with Powers of 2
In this paper, we reveal an internal structure within Dedekind numbers, demonstrating that they can be expressed as polynomials of powers of 2. This discovery is based on innovative concepts and methods, offering a new perspective on the nature of these numbers.
Realizability of Rectangular Euler Diagrams
Euler diagrams are a tool for the graphical representation of set relations. Due to their simple way of visualizing elements in the sets by geometric containment, they are easily readable by an inexperienced reader. Euler diagrams where the sets are visualized as aligned rectangles are of special interest. In this work, we link the existence of such rectangular Euler diagrams to the order dimension of an associated order relation. For this, we consider Euler diagrams in one and two dimensions. In the one-dimensional case, this correspondence provides us with a polynomial-time algorithm to compute the Euler diagrams, while the two-dimensional case is linked to an NP-complete problem which we approach with an exponential-time algorithm.
Characterization of Chordal Circular-arc Graphs: I. Split Graphs
The most elusive problem around the class of circular-arc graphs is identifying all minimal graphs that are not in this class. The main obstacle is the lack of a systematic way of enumerating these minimal graphs. McConnell [FOCS 2001] presented a transformation from circular-arc graphs to interval graphs with certain patterns of representations. We fully characterize these interval patterns for circular-arc graphs that are split graphs, thereby building a connection between minimal split graphs that are not circular-arc graphs and minimal non-interval graphs. This connection enables us to identify all minimal split graphs that are not circular-arc graphs. As a byproduct, we develop a linear-time certifying recognition algorithm for circular-arc graphs when the input is a split graph.
The $k$-representation number of the random graph
The $k$-representation number of a graph $G$ is the minimum cardinality of the system of vertex subsets with the property that every edge of $G$ is covered at least $k$ times while every non-edge is covered at most $(k-1)$ times. In particular, for $k=1$ this notion is equivalent to the clique number of a graph $G$. Extending results of Frieze and Reed, and Eaton and Grable, we study the $k$-representation number of $G(n,1/2)$. As a tool, we will prove a sharp concentration result counting the number of induced subgraphs of $G(n,1/2)$ with density $(\frac{1}{2}+α)$. In Lemma 3.7, we will show that the number of such subgraphs is close to its expected value with probability $1-\exp(-n^C)$.
Polyhedral realizations for crystal bases and Young walls of classical affine types
Published
• View Publication
• BIB
For affine Lie algebra $\mathfrak{g}$ of type $A^{(1)}_{n-1}$, $B^{(1)}_{n-1}$, $C^{(1)}_{n-1}$, $D^{(1)}_{n-1}$, $A^{(2)}_{2n-2}$, $A^{(2)}_{2n-3}$ or $D^{(2)}_{n}$, let $B(λ)$ and $B(\infty)$ be the crystal bases of integrable highest weight representation $V(λ)$ and negative part $U_q^-(\mathfrak{g})$ of quantum group $U_q(\mathfrak{g})$. We consider the polyhedral realizations of crystal bases, which realize $B(λ)$ and $B(\infty)$ as sets of integer points of some polytopes and cones in $\mathbb{R}^{\infty}$. It is a natural problem to find explicit forms of the polytopes and cones. In this paper, we introduce pairs of truncated walls, which are defined as modifications of level $2$-Young walls and describe inequalities defining the polytopes and cones in terms of level $1$-proper Young walls and pairs of truncated walls. As an application, we also give combinatorial descriptions of $\varepsilon_k^*$-functions on $B(\infty)$ in terms of Young walls and truncated walls.
Rational Cherednik Algebras and Torus Knot Invariants
Published
• View Publication
• BIB
The HOMFLY polynomial of the $(m,n)$ torus knot $T_{m,n}$ can be extracted from the doubly graded character of the finite-dimensional representation $\mathrm{L}_{\frac{m}{n}}$ of the type $A_{n-1}$ rational Cherednik algebra as observed by Gorsky, Oblomkov, Rasmussen and Shende. It is furthermore conjectured that one can obtain the triply-graded Khovanov-Rozansky homology of $T_{m,n}$ by considering a certain filtration on $\mathrm{L}_{\frac{m}{n}}$. In this paper, we show that two of the proposed candidates, the algebraic filtration and the inductive filtration, are equal.