representation ↗ reference
4053 papers tagged with this keyword
Graph Universal Cycles of Combinatorial Objects
Published
• View Publication
• BIB
A connected digraph in which the in-degree of any vertex equals its out-degree is Eulerian; this baseline result is used as the basis of existence proofs for universal cycles (also known as ucycles or generalized deBruijn cycles or U-cycles) of several combinatorial objects. The existence of ucycles is often dependent on the specific representation that we use for the combinatorial objects. For example, should we represent the subset $\{2,5\}$ of $\{1,2,3,4,5\}$ as "25" in a linear string? Is the representation "52" acceptable? Or it it tactically advantageous (and acceptable) to go with $\{0,1,0,0,1\}$? In this paper, we represent combinatorial objects as graphs, as in \cite{bks}, and exhibit the flexibility and power of this representation to produce {\it graph universal cycles}, or {\it Gucycles}, for $k$-subsets of an $n$-set; permutations (and classes of permutations) of $[n]=\{1,2,\ldots,n\}$, and partitions of an $n$-set, thus revisiting the classes first studied in \cite{cdg}. Under this graphical scheme, we will represent $\{2,5\}$ as the subgraph $A$ of $C_5$ with edge set consisting of $\{2,3\}$ and $\{5,1\}$, namely the "second" and "fifth" edges in $C_5$. Permutations are represented via their permutation graphs, and set partitions through disjoint unions of complete graphs.
On self-Mullineux and self-conjugate partitions
Published
• View Publication
• BIB
The Mullineux involution is a relevant map that appears in the study of the modular representations of the symmetric group and the alternating group. The fixed points of this map are certain partitions of particular interest. It is known that the cardinality of the set of these self-Mullineux partitions is equal to the cardinality of a distinguished subset of self-conjugate partitions. In this work, we give an explicit bijection between the two families of partitions in terms of the Mullineux symbol.
Factorization length distribution for affine semigroups II: asymptotic behavior for numerical semigroups with arbitrarily many generators
Published in J. Combin. Theory Ser. A, 178 (2021), 105358
• View Publication
• BIB
For numerical semigroups with a specified list of (not necessarily minimal) generators, we obtain explicit asymptotic expressions, and in some cases quasipolynomial/quasirational representations, for all major factorization length statistics. This involves a variety of tools that are not standard in the subject, such as algebraic combinatorics (Schur polynomials), probability theory (weak convergence of measures, characteristic functions), and harmonic analysis (Fourier transforms of distributions). We provide instructive examples which demonstrate the power and generality of our techniques. We also highlight unexpected consequences in the theory of homogeneous symmetric functions.
The size of $t$-cores and hook lengths of random cells in random partitions
Published in Annals of Applied Probability (2023), Vol. 33, No. 1, 85-106
• View Publication
• BIB
Fix $t \geq 2$. We first give an asymptotic formula for certain sums of the number of $t$-cores. We then use this result to compute the distribution of the size of the $t$-core of a uniformly random partition of an integer $n$. We show that this converges weakly to a gamma distribution after dividing by $\sqrt{n}$. As a consequence, we find that the size of the $t$-core is of the order of $\sqrt{n}$ in expectation. We then apply this result to show that the probability that $t$ divides the hook length of a uniformly random cell in a uniformly random partition equals $1/t$ in the limit. Finally, we extend this result to all modulo classes of $t$ using abacus representations for cores and quotients.
A generating function approach to new representation stability phenomena in orbit configuration spaces
Published
• View Publication
• BIB
As countless examples show, it can be fruitful to study a sequence of complicated objects all at once via the formalism of generating functions. We apply this point of view to the homology and combinatorics of orbit configuration spaces: using the notion of twisted commutative algebras, which essentially categorify exponential generating functions. This idea allows for a factorization of the orbit configuration space "generating function" into an infinite product, whose terms are surprisingly easy to understand. Beyond the intrinsic aesthetic of this decomposition and its quantitative consequences, it reveals a sequence of primary, secondary, and higher representation stability phenomena. Based on this, we give a simple geometric technique for identifying new stabilization actions with finiteness properties, which we use to unify and generalize known stability results. As a first new application of our methods, we establish secondary and higher stability for configuration spaces on $i$-acyclic spaces. For another application, we describe a natural filtration by which one observes a filtered representation stability phenomenon in configuration spaces on graphs.
Improved bounds on the size of the smallest representation of relation algebra $32_{65}$
Published
• View Publication
• BIB
In this paper, we shed new light on the spectrum of the relation algebra we call $A_{n}$, which is obtained by splitting the non-flexible diversity atom of $6_{7}$ into $n$ symmetric atoms. Precisely, we show that the minimum value in $\text{Spec}(A_{n})$ is at most $2n^{6 + o(1)}$, which is the first polynomial bound and improves upon the previous bound due to Dodd \& Hirsch (\textit{J. Relational Methods in Computer Science} 2013). We also improve the lower bound to $2n^{2} + 4n + 1$, which is asymptotically double the trivial bound of $n^{2} + 2n + 3$.
In the process, we obtain stronger results regarding $\text{Spec}(A_{2}) =\text{Spec}(32_{65})$. Namely, we show that $1024$ is in the spectrum, and no number smaller than 26 is in the spectrum. Our improved lower bounds were obtained by employing a SAT solver, which suggests that such tools may be more generally useful in obtaining representation results.
Connectivity for quantum graphs
In quantum information theory there is a construction for quantum channels, appropriately called a quantum graph, that generalizes the confusability graph construction for classical channels in classical information theory. In this paper, we provide a definition of connectedness for quantum graphs that generalizes the classical definition. This is used to prove a quantum version of a particular case of the classical tree-packing theorem from graph theory. Generalizations for the related notions of $k$-connectedness and of orthogonal representation are also proposed for quantum graphs, and it is shown that orthogonal representations have the same implications for connectedness as they do in the classical case.
Whittaker functions from motivic Chern classes
Published
• View Publication
• BIB
We prove a `motivic' analogue of the Weyl character formula, computing the Euler characteristic of a line bundle on a generalized flag manifold $G/B$ multiplied either by a motivic Chern class of a Schubert cell, or a Segre analogue of it. The result, given in terms of Demazure-Lusztig (D-L) operators, recovers formulas found by Brubaker, Bump and Licata for the Iwahori-Whittaker functions of the principal series representation of a $p$-adic group. In particular, we obtain a new proof of the classical Casselman-Shalika formula for the spherical Whittaker function. The proofs are based on localization in equivariant K theory, and require a geometric interpretation of how the Hecke dual (or inverse) of a D-L operator acts on the class of a point. We prove that the Hecke dual operators give Grothendieck-Serre dual classes of the motivic classes, a result which might be of independent interest. In an Appendix joint with Dave Anderson we show that if the line bundle is trivial, we recover a generalization of a classical formula by Kostant, Macdonald, Shapiro and Steinberg for the Poincar{é} polynomial of $G/B$; the generalization we consider is due to Akyıldız and Carrell and replaces $G/B$ by any smooth Schubert variety.
Geometric realizations of regular abstract polyhedra with automorphism group $H_3$
Published
• View Publication
• BIB
A \textit{geometric realization} of an abstract polyhedron $\mathcal{P}$ is a mapping $ρ: \mathcal{P} \to \mathbb{E}^3$ that sends an $i$-face to an open set of dimension $i$. This work adapts a method based on Wythoff construction to generate a full rank realization of a regular abstract polyhedron from its automorphism group $Γ$. The method entails finding a real orthogonal representation of $Γ$ of degree 3 and applying its image to suitably chosen open sets in space. To demonstrate the use of the method, we apply it to the abstract polyhedra whose automorphism groups are isomorphic to the non-crystallographic Coxeter group $H_3$.
The $0$-Rook Monoid and its Representation Theory
We show that a proper degeneracy at $q=0$ of the $q$-deformed rook monoid of Solomon is the algebra of a monoid $R_n^0$ namely the $0$-rook monoid, in the same vein as Norton's $0$-Hecke algebra being the algebra of a monoid $H_n^0 = H^0(A_{n-1})$ (in Cartan type~$A_{n-1}$). As expected, $R_n^0$ is closely related to the latter: it contains the $H^0(A_{n-1})$ monoid and is a quotient of $H^0(B_{n})$. We give a presentation for this monoid as well as a combinatorial realization as functions acting on the classical rook monoid itself. On the way we get a Matsumoto theorem for the rook monoid a result which was conjectured by Solomon.
The $0$-rook monoid shares many combinatorial properties with the Hecke monoid: its Green right preorder is an actual order, and moreover a lattice (analogous to the right weak order) which has some nice combinatorial, and geometrical features. In particular the $0$-rook monoid is J-trivial.
Following Denton-Hivert-Schilling-Thiéry, it allows us to describe its representation theory including the description of the simple and projective modules. We further show that $R_n^0$ is projective on $H_n^0$ and make explicit the restriction and induction functors along the inclusion map. We finally give a (partial) associative tower structures on the family of $(R_n^0)$ and we discuss its representation theory.
Abelian permutation groups with graphical representations
Published
• View Publication
• BIB
In this paper we characterize permutation groups that are automorphism groups of coloured graphs and digraphs and are abelian as abstract groups. This is done in terms of basic permutation group properties. Using Schur's classical terminology, what we provide is characterizations of the classes of 2-closed and $2*$-closed abelian permutation groups. This is the first characterization concerning these classes since they were defined.
On the Exponent of Several Classes of Oscillatory Matrices
Published
• View Publication
• BIB
Oscillatory matrices were introduced in the seminal work of Gantmacher and Krein. An $n\times n$ matrix $A$ is called oscillatory if all its minors are nonnegative and there exists a positive integer $k$ such that all minors of $A^k$ are positive. The smallest $k$ for which this holds is called the exponent of the oscillatory matrix $A$. Gantmacher and Krein showed that the exponent is always smaller than or equal to $n-1$. An important and nontrivial problem is to determine the exact value of the exponent. Here we use the successive elementary bidiagonal factorization of oscillatory matrices, and its graph-theoretic representation, to derive an explicit expression for the exponent of several classes of oscillatory matrices, and a nontrivial upper-bound on the exponent for several other classes.
Combinatorial study of stable categories of graded Cohen--Macaulay modules over skew quadric hypersurfaces
Published
• View Publication
• BIB
In this paper, we present a new connection between representation theory of noncommutative hypersurfaces and combinatorics. Let $S$ be a graded ($\pm 1$)-skew polynomial algebra in $n$ variables of degree $1$ and $f =x_1^2 + \cdots +x_n^2 \in S$. We prove that the stable category $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ of graded maximal Cohen--Macaulay module over $S/(f)$ can be completely computed using the four graphical operations. As a consequence, $\mathsf{\underline{CM}}^{\mathbb Z}(S/(f))$ is equivalent to the derived category $\mathsf{D^b}(\operatorname{\mathsf{mod}} k^{2^r})$, and this $r$ is obtained as the nullity of a certain matrix over ${\mathbb F}_2$. Using the properties of Stanley--Reisner ideals, we also show that the number of irreducible components of the point scheme of $S$ that are isomorphic to ${\mathbb P}^1$ is less than or equal to $\binom{r+1}{2}$.
String C-group representations of almost simple groups: a survey
Published
• View Publication
• BIB
This survey paper aims at giving the state of the art in the study of string C-group representations of almost simple groups. It also suggest a series of problems and conjectures to the interested reader.
The intrinsic hyperplane arrangement in an arbitrary irreducible representation of the symmetric group
Published
• View Publication
• BIB
For every irreducible complex representation~$π_λ$ of the symmetric group~$§_n$, we construct, in a canonical way, a so-called intrinsic hyperplane arrangement~$\A_λ$ in the space of~$π_λ$. This arrangement is a direct generalization of the classical braid arrangement (which is the special case of our construction corresponding to the natural representation of~$§_n$), has a natural description in terms of invariant subspaces of Young subgroups, and enjoys a number of remarkable properties.
Representation of Polytopes as Polynomial Zonotopes
We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex representation (V-representation) and the halfspace representation (H-representation). Depending on the polytope, the Z-representation can be more compact than the V-representation and the H-representation. In addition, the Z-representation enables the computation of linear maps, Minkowski addition, and convex hull with a computational complexity that is polynomial in the representation size. The usefulness of the new representation is demonstrated by range bounding within polytopes.
Nakajima quiver varieties, affine crystals and combinatorics of Auslander-Reiten quivers
Published in Algebra Discrete Math. 34 (2022), no. 2, 244-272
• View Publication
• BIB
We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.
Representation stability for sequences of 0-Hecke modules
Published
• View Publication
• BIB
We define a new category analogous to ${\bf FI}$ for the $0$-Hecke algebra $H_n(0)$ called the $0$-Hecke category, $\mathcal{H}$, indexing sequences of representations of $H_n(0)$ as $n$ varies under suitable compatibility conditions. We establish a new type of representation stability in this setting and prove it is implied by being a finitely generated $\mathcal{H}$-module. We then provide examples of $\mathcal{H}$-modules and discuss further desirable properties these modules possess.
The space of tree-based phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are generalizations of phylogenetic trees that allow the representation of reticulation events such as horizontal gene transfer or hybridization, and can also represent uncertainty in inference. A subclass of these, tree-based phylogenetic networks, have been introduced to capture the extent to which reticulate evolution nevertheless broadly follows tree-like patterns. Several important operations that change a general phylogenetic network have been developed in recent years, and are important for allowing algorithms to move around spaces of networks; a vital ingredient in finding an optimal network given some biological data. A key such operation is the Nearest Neighbor Interchange, or NNI. While it is already known that the space of unrooted phylogenetic networks is connected under NNI, it has been unclear whether this also holds for the subspace of tree-based networks. In this paper we show that the space of unrooted tree-based phylogenetic networks is indeed connected under the NNI operation. We do so by explicitly showing how to get from one such network to another one without losing tree-basedness along the way. Moreover, we introduce some new concepts, for instance ``shoat networks'', and derive some interesting aspects concerning tree-basedness. Last, we use our results to derive an upper bound on the size of the space of tree-based networks.
Crystal structure on King tableaux and semistandard oscillating tableaux
Published
• View Publication
• BIB
In 1976, King defined certain tableaux model, called King tableaux in this paper, counting weight multiplicities of irreducible representation of the symplectic group $Sp(2m)$ for a given dominant weight. Since Kashiwara defined crystals, it is an open problem to provide a crystal structure on King tableaux. In this paper, we present crystal structures on King tableaux and semistandard oscillating tableaux. The semistandard oscillating tableaux naturally appear as $Q$-tableaux in the symplectic version of RSK algorithms. As an application, we discuss Littlewood-Richardson coefficients for $Sp(2m)$ in terms of semistandard oscillating tableaux.