representation ↗ reference
4053 papers tagged with this keyword
Computing the $D$-base and $D$-relation in finite closure systems
Implicational bases (IBs) are a common representation of finite closure systems and lattices, along with meet-irreducible elements. They appear in a wide variety of fields ranging from logic and databases to Knowledge Space Theory. Different IBs can represent the same closure system. Therefore, several IBs have been studied, such as the canonical and canonical direct bases. In this paper, we investigate the $D$-base, a refinement of the canonical direct base. It is connected with the $D$-relation, an essential tool in the study of free lattices. The $D$-base demonstrates desirable algorithmic properties, and together with the $D$-relation, it conveys essential properties of the underlying closure system. Hence, computing the $D$-base and the $D$-relation of a closure system from another representation is crucial to enjoy its benefits. However, complexity results for this task are lacking. In this paper, we give algorithms and hardness results for the computation of the $D$-base and $D$-relation. Specifically, we establish the $NP$-completeness of finding the $D$-relation from an arbitrary IB; we give an output-quasi-polynomial time algorithm to compute the $D$-base from meet-irreducible elements; and we obtain a polynomial-delay algorithm computing the $D$-base from an arbitrary IB. These results complete the picture regarding the complexity of identifying the $D$-base and $D$-relation of a closure system.
The immersion poset on partitions
Published in J. Alg. Combinatorics 61, 21 (2025) 61, 21
• View Publication
• BIB
We introduce the immersion poset $(\mathcal{P}(n), \leqslant_I)$ on partitions, defined by $λ\leqslant_I μ$ if and only if $s_μ(x_1, \ldots, x_N) - s_λ(x_1, \ldots, x_N)$ is monomial-positive. Relations in the immersion poset determine when irreducible polynomial representations of $GL_N(\mathbb{C})$ form an immersion pair, as defined by Prasad and Raghunathan (2022). We develop injections $\mathsf{SSYT}(λ, ν) \hookrightarrow \mathsf{SSYT}(μ, ν)$ on semistandard Young tableaux given constraints on the shape of $λ$, and present results on immersion relations among hook and two column partitions. The standard immersion poset $(\mathcal{P}(n), \leqslant_{std})$ is a refinement of the immersion poset, defined by $λ\leqslant_{std} μ$ if and only if $λ\leqslant_D μ$ in dominance order and $f^λ\leqslant f^μ$, where $f^ν$ is the number of standard Young tableaux of shape $ν$. We classify maximal elements of certain shapes in the standard immersion poset using the hook length formula. Finally, we prove Schur-positivity of power sum symmetric functions $p_{A_μ}$ on conjectured lower intervals in the immersion poset, addressing questions posed by Sundaram (2018).
Affine Demazure Weight Polytopes and Twisted Bruhat Orders
For an untwisted affine Kac-Moody Lie algebra $\mathfrak{g}$ with Cartan and Borel subalgebras $\mathfrak{h} \subset \mathfrak{b} \subset \mathfrak{g}$, affine Demazure modules are certain $U(\mathfrak{b})$-submodules of the irreducible highest-weight representations of $\mathfrak{g}$. We introduce here the associated affine Demazure weight polytopes, given by the convex hull of the $\mathfrak{h}$-weights of such a module. Using methods of geometric invariant theory, we determine inequalities which define these polytopes; these inequalities come in three distinct flavors, specified by the standard, opposite, or semi-infinite Bruhat orders. We also give a combinatorial characterization of the vertices of these polytopes lying on an arbitrary face, utilizing the more general class of twisted Bruhat orders.
A geometric study of BZ operator on representations of $\mathrm{GL}_n$ over non-archimedean field
In this article, we geometrically study the partial Bernstein-Zelevinsky operator introduced in the author's thesis, which generalizes the original Bernstein-Zelevinsky operator. We relate the partial Bernstein-Zelevinsky operator to the geometric induction of Lusztig and then perform explicit computations in special cases. Finally, we develop a symmetric reduction to the previously mentioned special cases
Hook-Lengths, Symplectic/Orthogonal Contents and Amdeberhan's Conjectures
Published
• View Publication
• BIB
The symplectic/orthogonal contents of partitions are related to the dimensions of irreducible representations of symplectic/orthogonal groups. In 2012, motivated by Nekrasov--Okounkov's hook-length formula and Stanley's hook-content formula, Amdeberhan proposed several conjectures about infinite product formulas for certain generating functions of hook-lengths and symplectic/orthogonal contents. Some special cases of his conjectures were recently proved by Amdeberhan, Andrews and Ballantine. In this paper, we prove the general cases of Amdeberhan's conjectures.
Invariant theory for the face algebra of the braid arrangement
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
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
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
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
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.