representation ↗ reference
4053 papers tagged with this keyword
Cyclic sieving on noncrossing (1,2)-configurations
Published
• View Publication
• BIB
Verifying a suspicion of Propp and Reiner concerning the cyclic sieving phenomenon (CSP), M. Thiel introduced a Catalan object called noncrossing $(1,2)$-configurations (denoted by $X_n$), which is a class of set partitions of $[n-1]$. More precisely, Thiel proved that, with a natural action of the cyclic group $C_{n-1}$ on $X_n$, the triple $\left(X_n,C_{n-1},\text{Cat}_n(q)\right)$ exhibits the CSP, where $\text{Cat}_n(q):=\frac{1}{[n+1]_q}\begin{bmatrix}
2n\\ n
\end{bmatrix}_q$ is MacMahon's $q$-Catalan number. Recently, in a study of the fermionic diagonal coinvariant ring $FDR_n$, J. Kim found a combinatorial basis for $FDR_n$ indexed by $X_n$. In this paper, we continue to study $X_n$ and obtain the following results:
(1) We define a statistic $cwt$ on $X_n$ whose generating function is $\text{Cat}_n(q)$, which answers a problem of Thiel.
(2) We show that $\text{Cat}_n(q)$ is equivalent to $$\sum_{\substack{k,x,y\\2k+x+y=n-1}}\begin{bmatrix}
n-1
2k,x,y
\end{bmatrix}_q\text{Cat}_k
(q)q^{k+\binom{x}{2}+\binom{y}{2}+\binom{n}{2}}$$
modulo $q^{n-1}-1$, which answers a problem of Kim. As mentioned by Kim, this result leads to a representation theoretic proof of the above cyclic sieving result of Thiel.
(3) We consider the dihedral sieving, a generalization of the CSP, which was recently introduced by Rao and Suk. Under a natural action of the dihedral group $I_2(n-1)$ (for even $n$), we prove a dihedral sieving result on $X_n$.
Homaloidal Polynomials and Gaussian Models of Maximum Likelihood Degree One
Published in Alg. Stat. 15 (2024) 167-198
• View Publication
• BIB
We study the Gaussian statistical models whose log-likelihood function has a unique complex critical point, i.e., has maximum likelihood degree one. We exploit the connection developed by Améndola et. al. between the models having maximum likelihood degree one and homaloidal polynomials. We study the spanning tree generating function of a graph and show this polynomial is homaloidal when the graph is chordal. When the graph is a cycle on $n$ vertices, $n \geq 4$, we prove the polynomial is not homaloidal, and show that the maximum likelihood degree of the resulting model is the $n$th Eulerian number. These results support our conjecture that the spanning tree generating function is a homaloidal polynomial if and only if the graph is chordal. We also provide an algebraic formulation for the defining equations of these models. Using existing results, we provide a computational study on constructing new families of homaloidal polynomials. In the end, we analyze the symmetric determinantal representation of such polynomials and provide an upper bound on the size of the matrices involved.
On a Combinatorial Problem Arising in Machine Teaching
We study a model of machine teaching where the teacher mapping is constructed from a size function on both concepts and examples. The main question in machine teaching is the minimum number of examples needed for any concept, the so-called teaching dimension. A recent paper [7] conjectured that the worst case for this model, as a function of the size of the concept class, occurs when the consistency matrix contains the binary representations of numbers from zero and up. In this paper we prove their conjecture. The result can be seen as a generalization of a theorem resolving the edge isoperimetry problem for hypercubes [12], and our proof is based on a lemma of [10].
Generating functions for fixed points of the Mullineux map
Mullineux defined an involution on the set of $e$-regular partitions of $n$. When $e=p$ is prime, these partitions label irreducible symmetric group modules in characteristic $p$. Mullineux's conjecture, since proven, was that this ``Mullineux map" described the effect on the labels of taking the tensor product with the one-dimensional signature representation. Counting irreducible modules fixed by this tensor product is related to counting irreducible modules for the alternating group $A_n$ in prime characteristic. In 1991, Andrews and Olsson worked out the generating function counting fixed points of Mullineux's map when $e=p$ is an odd prime (providing evidence in support of Mullineux's conjecture). In 1998, Bessenrodt and Olsson counted the fixed points in a $p$-block of weight $w$. We extend both results to arbitrary $e$, and determine the corresponding generating functions. When $e$ is odd but not prime the extension is immediate, while $e$ even requires additional work and the results, which are different, have not appeared in the literature.
Double Dyck Path Algebra Representations From DAHA
The double Dyck path algebra $\mathbb{A}_{q,t}$ was introduced by Carlsson-Mellit in their proof of the Shuffle Theorem. A variant of this algebra, $\mathbb{B}_{q,t}$, was introduced by Carlsson-Gorsky-Mellit in their study of the parabolic flag Hilbert schemes of points in $\mathbb{C}^2$ showing that $\mathbb{B}_{q,t}$ acts naturally on the equivariant $K$-theory of these spaces. The algebraic relations defining $\mathbb{B}_{q,t}$ appear superficially similar to those of the positive double affine Hecke algebras (DAHA) in type $GL$, $\mathscr{D}_n^{+}$, introduced by Cherednik. In this paper we provide a general method for constructing $\mathbb{B}_{q,t}$ representations from DAHA representations. In particular, every $\mathscr{D}_n^{+}$ module yields a representation of a subalgebra $\mathbb{B}_{q,t}^{(n)}$ of $\mathbb{B}_{q,t}$ and special families of compatible DAHA representations give representations of $\mathbb{B}_{q,t}$. These constructions are functorial. Lastly, we will construct a large family of $\mathbb{B}_{q,t}$ representations indexed by partitions using this method related to the Murnaghan-type representations of the positive elliptic Hall algebra introduced previously by the author.
Cluster parking functions
Published in Bull. Belg. Math. Soc. Simon Stevin 32(1): 1-44 (April 2025)
• Search Publication
The cluster complex on one hand, parking functions on the other hand, are two combinatorial (po)sets that can be associated to a finite real reflection group. Cluster parking functions are obtained by taking an appropriate fiber product (over noncrossing partitions). There is a natural structure of simplicial complex on these objects, and our main goal is to show that it has the homotopy type of a (pure) wedge of spheres. The unique nonzero homology group (as a representation of the underlying reflection group) is a sign-twisted parking representation, which is the same as Gordon's quotient of diagonal coinvariants. Along the way, we prove some properties of the poset of parking functions. We also provide a long list of remaining open problems.
The second largest eigenvalue of some nonnormal Cayley graphs on symmetric groups
Published in Journal of Combinatorial Theory, Series A, 2026, 218:106097
• View Publication
• BIB
A Cayley graph on the symmetric group $S_n$ is said to have the Aldous property if its strictly second largest eigenvalue (that is, the largest eigenvalue strictly smaller than the degree) is attained by the standard representation of $S_n$. For $1\leq r < k < n$, let $C(n,k;r)$ be the set of $k$-cycles of $S_n$ moving every point in $\{1, \ldots, r\}$. Recently, Siemons and Zalesski [J. Algebraic Combin. 55 (2022) 989--1005] posed a conjecture which is equivalent to saying that for any $n \ge 5$ and $1\leq r<k<n$ the nonnormal Cayley graph $\mathrm{Cay}(S_n, C(n,k;r))$ on $S_n$ with connection set $C(n,k;r)$ has the Aldous property. Solving this conjecture, we prove that all these graphs have the Aldous property except when (i) $(n, k, r) = (6, 5, 1)$ or (ii) $n$ is odd, $k = n-1$, and $1 \le r < \frac{n}{2}$. Along the way we determine all irreducible representations of $S_n$ that can achieve the strictly second largest eigenvalue of $\mathrm{Cay}(S_n, C(n,n-1;r))$ as well as the smallest eigenvalue of this graph.
Rogers-Ramanujan exact sequences and free representations over free generalized vertex algebras
The Rogers-Ramanujan recursions are studied from the viewpoint of free representations over free (generalized) vertex algebras. Specifically, we construct short exact sequences among the free representations over free generalized vertex algebras which lift the recursions. They naturally generalize exact sequences introduced by S. Capparelli et al. We also show that an analogue of the Rogers-Ramanujan recursions is realized as an exact sequence among finite-dimensional free representations over a certain finite-dimensional vertex algebra. As an application of exact sequences, we reveal a relation between free generalized vertex algebras and $\hat{\mathfrak{sl}}_2$ spaces of coinvariants $L_{1,0}^{N,\infty}(\mathfrak n)$ introduced by B. Feigin et al. Moreover, it is shown that generalized $q$-Fibonacci recursions may be realized as exact sequences obtained by applying several functors to exact sequences among free representations over free generalized vertex algebras. Finally, we consider a character decomposition formula of the basic $\hat{\mathrm{sl}}_2$-module $L_{1,0}$ by M. Bershtein et al. related to the Urod vertex operator algebras, from the viewpoint of free representations and exact sequences.
Zero fibers of quaternionic quotient singularities
We propose a generalization of Haiman's conjecture on the diagonal coinvariant rings of real reflection groups to the context of irreducible quaternionic reflection groups (also known as symplectic reflection groups). For a reflection group $W$ acting on a quaternionic vector space $V$, by regarding $V$ as a complex vector space we consider the scheme-theoretic fiber over zero of the quotient map $π:V \to V/W$. For $W$ an irreducible reflection group of (quaternionic) rank at least $6$, we show that the ring of functions on this fiber admits a $(g+1)^n$-dimensional quotient arising from an irreducible representation of a symplectic reflection algebra, where $g=2N/n$ with $N$ the number of reflections in $W$ and $n=\mathrm{dim}_\mathbf{H}(V)$, and we conjecture that this holds in general. We observe that in fact the degree of the zero fiber is precisely $g+1$ for the rank one groups (corresponding to the Kleinian singularities). In an appendix, we give a proof that three variants of the Coxeter number, including $g$, are integers.
Independence numbers in certain families of highly symmetric graphs
FI-graphs were introduced by the second author and White to capture the idea of a family of nested graphs, each member of which is acted on by a progressively larger symmetric group. That work was built on the newly minted foundations of representation stability theory and FI-modules. Examples of such families include the complete graphs and the Kneser and Johnson graphs, among many others. While it was shown in the originating work how various counting invariants in these families behave very regularly, not much has thus far been proven about the behaviors of the typical extremal graph theoretic invariants such as their independence and clique numbers. In this paper we provide a conjecture on the growth of the independence and clique numbers in these families, and prove this conjecture in one case. We also provide computer code that generates experimental evidence in many other cases. All of this work falls into a growing trend in representation stability theory that displays the regular behaviors of a number of extremal invariants that arise when one looks at FI-algebras and modules.
Almost all orbits of an analogue of the Collatz map on the reals attain bounded values
Motivated by a balanced ternary representation of the Collatz map we define the map $C_\mathbb{R}$ on the positive real numbers by setting $C_\mathbb{R}(x)=\frac{1}{2}x$ if $[x]$ is even and $C_\mathbb{R}(x)=\frac{3}{2}x$ if $[x]$ is odd, where $[x]$ is defined by $[x]\in\mathbb{Z}$ and $x-[x]\in(-\frac{1}{2},\frac{1}{2}]$. We show that there exists a constant $K>0$ such that the set of $x$ fulfilling $\liminf_{n\in\mathbb{N}}C_\mathbb{R}^n(x)\leq K$ is Lebesgue-co-null. We also show that for any $ε>0$ the set of $x$ for which $ (\frac{3^{\frac{1}{2}}}{2})^kx^{1-ε}\leq C_\mathbb{R}^k(x)\leq (\frac{3^{\frac{1}{2}}}{2})^kx^{1+ε}$ for all $0\leq k\leq \frac{1}{1-\frac{\log_23}{2}}\log_2x$ is large for a suitable notion of largeness.
New results on sparse representations in unions of orthonormal bases
The problem of sparse representation has significant applications in signal processing. The spark of a dictionary plays a crucial role in the study of sparse representation. Donoho and Elad initially explored the spark, and they provided a general lower bound. When the dictionary is a union of several orthonormal bases, Gribonval and Nielsen presented an improved lower bound for spark. In this paper, we introduce a new construction of dictionary, achieving the spark bound given by Gribonval and Nielsen. Our result extends Shen et al.' s findings [IEEE Trans. Inform. Theory, vol. 68, pp. 4230--4243, 2022].
Product Mixing in Compact Lie Groups
If $G$ is a group, we say a subset $S$ of $G$ is product-free if the equation $xy=z$ has no solutions with $x,y,z \in S$. For $D \in \mathbb{N}$, a group $G$ is said to be $D$-quasirandom if the minimal dimension of a nontrivial complex irreducible representation of $G$ is at least $D$. Gowers showed that in a $D$-quasirandom finite group $G$, the maximal size of a product-free set is at most $|G|/D^{1/3}$. This disproved a longstanding conjecture of Babai and Sós from 1985.
For the special unitary group, $G=SU(n)$, Gowers observed that his argument yields an upper bound of $n^{-1/3}$ on the measure of a measurable product-free subset. In this paper, we improve Gowers' upper bound to $\exp(-cn^{1/3})$, where $c>0$ is an absolute constant. In fact, we establish something stronger, namely, product-mixing for measurable subsets of $SU(n)$ with measure at least $\exp(-cn^{1/3})$; for this product-mixing result, the $n^{1/3}$ in the exponent is sharp.
Our approach involves introducing novel hypercontractive inequalities, which imply that the non-Abelian Fourier spectrum of the indicator function of a small set concentrates on high-dimensional irreducible representations.
Our hypercontractive inequalities are obtained via methods from representation theory, harmonic analysis, random matrix theory and differential geometry. We generalize our hypercontractive inequalities from $SU(n)$ to an arbitrary $D$-quasirandom compact connected Lie group for $D$ at least an absolute constant, thereby extending our results on product-free sets to such groups.
We also demonstrate various other applications of our inequalities to geometry (viz., non-Abelian Brunn-Minkowski type inequalities), mixing times, and the theory of growth in compact Lie groups.
Splines on Cayley Graphs of the Symmetric Group
Published in Forum of Mathematics, Sigma 13 (2025) e96
• View Publication
• BIB
A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg, and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$, then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.
Polynomial representation of TU-games
We propose in this paper a polynomial representation of TU-games, fuzzy measures, capacities, and more generally set functions. Our representation needs a countably infinite set of players and the natural ordering of finite sets of $\mathbb{N}$, defined recursively. For a given basis of the vector space of games, we associate to each game $v$ a formal polynomial of degree at most $2^n-1$ whose coefficients are the coordinates of $v$ in the given basis. By the fundamental theorem of algebra, $v$ can be represented by the roots of the polynomial. We present some new families of games stemming from this polynomial context, like the irreducible games, the multiplicative games and the cyclotomic games.
On stable assignments generated by choice functions of mixed type
We consider one variant of stable assignment problems in a bipartite graph endowed with nonnegative capacities on the edges and quotas on the vertices. It can be viewed as a generalization of the stable allocation problem introduced by BaHiou and Balinsky, which arises when strong linear orders of preferences on the vertices in the latter are replaced by weak ones. At the same time, our stability problem can be stated in the framework of a theory by Alkan and Gale on stable schedule matchings generated by choice functions of a wide scope. In our case, the choice functions are of a special, so-called mixed, type.
The main content of this paper is devoted to a study of rotations in our mixed model, functions on the edges determining ``elementary'' transformations between close stable assignments. These look more sophisticated compared with rotations in the stable allocation problem (which are generated by simple cycles). We efficiently construct a poset of rotations and show that the stable assignments are in bijection with the so-called closed functions for this poset; this gives rise to a ``compact'' affine representation for the lattice of stable assignments and leads to an efficient method to find a stable assignment of minimum cost.
On the action of the symmetric group on the free LAnKe
A LAnKe (also known as a Filippov algebra or a Lie algebra of the $n$-th kind) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. Friedmann, Hanlon, Stanley and Wachs have shown that the symmetric group acts on the multilinear part of the free LAnKe on $2n-1$ generators as an irreducible representation. They announced that the multilinear component on $3n-2$ generators decomposes as a direct sum of two irreducible symmetric group representations and a proof was given recently in a subsequent paper by Friedmann, Hanlon and Wachs. In the present paper we provide a proof of the later statement. The two proofs are substantially different.
On exterior powers of reflection representations, II
Published
• View Publication
• BIB
Let $W$ be a group endowed with a finite set $S$ of generators. A representation $(V,ρ)$ of $W$ is called a reflection representation of $(W,S)$ if $ρ(s)$ is a (generalized) reflection on $V$ for each generator $s \in S$. In this paper, we prove that for any irreducible reflection representation $V$, all the exterior powers $\bigwedge ^d V$, $d = 0, 1, \dots, \dim V$, are irreducible $W$-modules, and they are non-isomorphic to each other. This extends a theorem of R. Steinberg which is stated for Euclidean reflection groups. Moreover, we prove that the exterior powers (except for the 0th and the highest power) of two non-isomorphic reflection representations always give non-isomorphic $W$-modules. This allows us to construct numerous pairwise non-isomorphic irreducible representations for such groups, especially for Coxeter groups.
On the on-line coloring of unit interval graphs with proper interval representation
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:2, Combinatorics (February 21, 2025) dmtcs:14088
• View Publication
• BIB
We define the problem as a two-player game between Algorithm and Builder. The game is played in rounds. Each round, Builder presents an interval that is neither contained in nor contains any previously presented interval. Algorithm immediately and irrevocably assigns the interval a color that has not been assigned to any interval intersecting it. The set of intervals form an interval representation for a unit interval graph and the colors form a proper coloring of that graph. For every positive integer $ω$, we define the value $R(ω)$ as the maximum number of colors for which Builder has a strategy that forces Algorithm to use $R(ω)$ colors with the restriction that the unit interval graph constructed cannot contain a clique of size $ω+1$. In 1981, Chrobak and Ślusarek showed that $R(ω)\leq2ω-1$. In 2005, Epstein and Levy showed that $R(ω)\geq\lfloor{3ω/2\rfloor}$. This problem remained unsolved for $ω\geq 3$. In 2023, Biró and Curbelo showed that $R(3)=5$. In this paper, we show that $R(4)=7$
Permutation representations and automorphisms of evolution algebras
We prove that the natural permutation representation of highly transitive finite groups cannot be realized as the full automorphism group of an idempotent, finite-dimensional evolution algebra acting on the set of lines spanned by its natural elements. Specifically, for any sufficiently large integer $n$ and $k \geq 4$, there does not exist an idempotent evolution algebra $X$ of dimension $n$ such that $\operatorname{Aut}(X)$ is isomorphic to a proper $k$-transitive subgroup of $S_n$.
Nevertheless, we show that for any finite group $G$, any permutation representation $ξ\colon G \to S_n$, and any field $\Bbbk$, there exists an idempotent, finite-dimensional evolution $\Bbbk$-algebra $X$ such that $\operatorname{Aut}(X) \cong G$, and the induced representation of $\operatorname{Aut}(X)$ on the natural idempotents of $X$ is equivalent to $ξ$.