representation ↗ reference
4143 papers tagged with this keyword
Poset models for Weyl group analogs of symmetric functions and Schur functions
The `Weyl symmetric functions' studied here naturally generalize classical symmetric (polynomial) functions, and `Weyl bialternants,' sometimes also called Weyl characters, analogize the Schur functions. For this generalization, the underlying symmetry group is a finite Weyl group. A `splitting poset' for a Weyl bialternant is an edge-colored ranked poset possessing a certain structural property and a natural weighting of its elements so that the weighted sum of poset elements is the given Weyl bialternant. Connected such posets are of combinatorial interest in part because they are rank symmetric and rank unimodal and have nice quotient-of-product expressions for their rank generating functions. Supporting graphs of weight bases for irreducible semisimple Lie algebra representations provide one large family of examples. However, many splitting posets can be obtained outside of this Lie theoretic context. This monograph provides a tutorial on Weyl bialternants / Weyl symmetric functions and splitting posets that is largely self-contained and independent of Lie algebra representation theory. New results are also obtained.
Composition Tableaux basis for Schur functors and the Plücker algebra
We show that combinatorial objects called row-strict composition tableaux, introduced by Mason and Remmel in 2014 and closely related to the quasi-symmetric Schur functions of Haglund-Luoto-Mason-van Willigenburg, form a basis for Schur functors of finite free modules over arbitrary commutative rings. When the ring is the complex numbers, this produces a new basis for the irreducible polynomial representations of $\operatorname{GL}_n(\mathbb{C})$. Moreover, in this case it also produces new basis for the Plücker algebra, a subalgebra of the polynomial ring over $\mathbb{C}$ in $n^2$ variables, which is of independent combinatorial and geometric interests. As an aside we also show that these results hold for other combinatorial objects called reverse row strict tableau.
Vector partition functions and Kronecker coefficients
Published in J. Phys. A: Mathematical and Theoretical, Volume 54, Number 20 (2021)
• View Publication
• BIB
The Kronecker coefficients are the structure constants for the restriction of irreducible representations of the general linear group $GL(n m)$ into irreducibles for the subgroup $GL(n)\times GL(m)$. In this work we study the quasipolynomial nature of the Kronecker function using elementary tools from polyhedral geometry. We write the Kronecker function in terms of coefficients of a vector partition function. This allows us to define a new family of coefficients, the atomic Kronecker coefficients. Our derivation is explicit and self-contained, and gives a new exact formula and an upper bound for the Kronecker coefficients in the first nontrivial case.
Linear versus spin: representation theory of the symmetric groups
Published in Algebraic Combinatorics, Volume 3 (2020) no. 1, pp. 249-280
• View Publication
• BIB
We relate the linear asymptotic representation theory of the symmetric groups to its spin counterpart. In particular, we give explicit formulas which express the normalized irreducible spin characters evaluated on a strict partition $ξ$ with analogous normalized linear characters evaluated on the double partition $D(ξ)$. We also relate some natural filtration on the usual (linear) Kerov-Olshanski algebra of polynomial functions on the set of Young diagrams with its spin counterpart. Finally, we give a spin counterpart to Stanley formula for the characters of the symmetric groups.
A formula for the partition function that "counts"
Published in Annals of Combinatorics 20 (2016) 301--316
• View Publication
• BIB
We derive a combinatorial multisum expression for the number $D(n,k)$ of partitions of $n$ with Durfee square of order $k$. An immediate corollary is therefore a combinatorial formula for $p(n)$, the number of partitions of $n$. We then study $D(n,k)$ as a quasipolynomial. We consider the natural polynomial approximation $\tilde{D}(n,k)$ to the quasipolynomial representation of $D(n,k)$. Numerically, the sum $\sum_{1\leq k \leq \sqrt{n}} \tilde{D}(n,k)$ appears to be extremely close to the initial term of the Hardy--Ramanujan--Rademacher convergent series for $p(n)$.
On double sum generating functions in connection with some classical partition theorems
Published
• View Publication
• BIB
We focus on writing closed forms of generating functions for the number of partitions with gap conditions as double sums starting from a combinatorial construction. Some examples of the sets of partitions with gap conditions to be discussed here are the set of Rogers--Ramanujan, Göllnitz--Gordon, and little Göllnitz partitions. This work also includes finding the finite analogs of the related generating functions and the discussion of some related series and polynomial identities. Additionally, we present a different construction and a double sum representation for the products similar to the ones that appear in the Rogers--Ramanujan identities.
On compact representations of Voronoi cells of lattices
Published in Math. Program. (2020)
• View Publication
• BIB
In a seminal work, Micciancio & Voulgaris (2013) described a deterministic single-exponential time algorithm for the Closest Vector Problem (CVP) on lattices. It is based on the computation of the Voronoi cell of the given lattice and thus may need exponential space as well. We address the major open question whether there exists such an algorithm that requires only polynomial space.
To this end, we define a lattice basis to be $c$-compact if every facet normal of the Voronoi cell is a linear combination of the basis vectors using coefficients that are bounded by $c$ in absolute value. Given such a basis, we get a polynomial space algorithm for CVP whose running time naturally depends on $c$. Thus, our main focus is the behavior of the smallest possible value of $c$, with the following results: There always exist $c$-compact bases, where $c$ is bounded by $n^2$ for an $n$-dimension lattice; there are lattices not admitting a $c$-compact basis with $c$ growing sublinearly with the dimension; and every lattice with a zonotopal Voronoi cell has a $1$-compact basis.
Representations of mock theta functions
Published
• View Publication
• BIB
Motivated by the works of Liu, we provide a unified approach to find Appell-Lerch series and Hecke-type series representations for mock theta functions. We establish a number of parameterized identities with two parameters $a$ and $b$. Specializing the choices of $(a,b)$, we not only give various known and new representations for the mock theta functions of orders 2, 3, 5, 6 and 8, but also present many other interesting identities. We find that some mock theta functions of different orders are related to each other, in the sense that their representations can be deduced from the same $(a,b)$-parameterized identity. Furthermore, we introduce the concept of false Appell-Lerch series. We then express the Appell-Lerch series, false Appell-Lerch series and Hecke-type series in this paper using the building blocks $m(x,q,z)$ and $f_{a,b,c}(x,y,q)$ introduced by Hickerson and Mortenson, as well as $\overline{m}(x,q,z)$ and $\overline{f}_{a,b,c}(x,y,q)$ introduced in this paper. We also show the equivalences of our new representations for several mock theta functions and the known representations.
Asymptotic enumeration of Cayley digraphs
Published
• View Publication
• BIB
In this paper we show that almost all Cayley digraphs have automorphism group as small as possible; that is, they are digraphical regular representations (DRRs). More precisely, we show that as $r$ tends to infinity, for every finite group $R$ of order $r$, out of all possible Cayley digraphs on $R$ the proportion whose automorphism group is as small as possible tends to $1$. This proves a natural conjecture first proposed in $1982$ by Babai and Godsil.
Patterns in Random Permutations
Published in Combinatorica 40, pages 775-804 (2020)
• View Publication
• BIB
Every k entries in a permutation can have one of k! different relative orders, called patterns. How many times does each pattern occur in a large random permutation of size n? The distribution of this k!-dimensional vector of pattern densities was studied by Janson, Nakamura, and Zeilberger (2015). Their analysis showed that some component of this vector is asymptotically multinormal of order 1/sqrt(n), while the orthogonal component is smaller. Using representations of the symmetric group, and the theory of U-statistics, we refine the analysis of this distribution. We show that it decomposes into k asymptotically uncorrelated components of different orders in n, that correspond to representations of Sk. Some combinations of pattern densities that arise in this decomposition have interpretations as practical nonparametric statistical tests.
To stay discovered: On tournament mean score sequences and the Bradley--Terry model
Published in Stochastic Processes Appl. 150, 844-852 (2022)
• View Publication
• BIB
On being told that a piece of work he thought was his discovery had duplicated an earlier mathematician's work, Larry Shepp once replied "Yes, but when {\em I} discovered it, it {\em stayed} discovered". In this spirit we give discussion and probabilistic proofs of two related known results (Moon 1963, Joe 1988) on random tournaments which seem surprisingly unknown to modern probabilists. In particular our proof of Moon's theorem on mean score sequences seems more constructive than previous proofs. This provides a comparatively concrete introduction to a longstanding mystery, the lack of a canonical construction for a joint distribution in the representation theorem for convex order.
On central Fubini-like numbers and polynomials
Published
• View Publication
• BIB
We introduce the central Fubini-like numbers and polynomials using Rota approach. Several identities and properties are established as generating functions, recurrences, explicit formulas, parity, asymptotics and determinantal representation.
A q-analogue and a symmetric function analogue of a result by Carlitz, Scoville and Vaughan
We derive an equation that is analogous to a well-known symmetric function identity: $\sum_{i=0}^n(-1)^ie_ih_{n-i}=0$. Here the elementary symmetric function $e_i$ is the Frobenius characteristic of the representation of $\mathcal{S}_i$ on the top homology of the subset lattice $B_i$, whereas our identity involves the representation of $\mathcal{S}_n\times \mathcal{S}_n$ on the Segre product of $B_n$ with itself. We then obtain a q-analogue of a polynomial identity given by Carlitz, Scoville and Vaughan through examining the Segre product of the subspace lattice $B_n(q)$ with itself. We recognize the connection between the Euler characteristic of the Segre product of $B_n(q)$ with itself and the representation on the Segre product of $B_n$ with itself by recovering our polynomial identity from specializing the identity on the representation of $\mathcal{S}_i\times \mathcal{S}_i$.
A combinatorial $\mathfrak{sl}_2$-action and the Sperner property for the weak order
Published in Proc. Amer. Math. Soc. 148 (2020), 1-7
• View Publication
• BIB
We construct a simple combinatorially-defined representation of $\mathfrak{sl}_2$ which respects the order structure of the weak order on the symmetric group. This is used to resolve a conjecture of Stanley that the weak order has the strong Sperner property, and is therefore a Peck poset.
Convolution Algebras for Finite Reductive Monoids
For an arbitrary finite monoid $M$ and subgroup $K$ of the unit group of $M$, we prove that there is a bijection between irreducible representations of $M$ with nontrivial $K$-fixed space and irreducible representations of $\mathcal{H}_K$, the convolution algebra of $K\times K$-invariant functions from $M$ to $F$, where $F$ is a field of characteristic not dividing $|K|$. When $M$ is reductive and $K = B$ is a Borel subgroup of the group of units, this indirectly provides a connection between irreducible representations of $M$ and those of $F[R]$, where $R$ is the Renner monoid of $M$. We conclude with a quick proof of Frobenius Reciprocity for monoids for reference in future papers.
A note on simultaneous representation problem for interval and circular-arc graphs
In this short note, we show two NP-completeness results regarding the \emph{simultaneous representation problem}, introduced by Lubiw and Jampani. The simultaneous representation problem for a given class of intersection graphs asks if some $k$ graphs can be represented so that every vertex is represented by the same interval in each representation. We prove that it is NP-complete to decide this for the class of interval and circular-arc graphs in the case when $k$ is a part of the input and graphs are not in a sunflower position.
Construction of an algebra corresponding to a statistical model of the square ladder (square lattice with two lines)
Published in Nuclear Physics B, 2022
• View Publication
• BIB
In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular ladder model. All of these propose a way for generalization, which leads to representations of N = 2, ... algebras.
Keywords: 2D lattice, square ladder, triangular ladder, conformal algebra, semi-infinite forms, fermions, quadratic algebra, superfrustration, graded Euler characteristic, cohomology, deformation, Jacobi triple product, superalgebras, operator algebras, N = 2, ... algebras.
Limits of Order Types
We apply ideas from the theory of limits of dense combinatorial structures to study order types, which are combinatorial encodings of finite point sets. Using flag algebras we obtain new numerical results on the Erdős problem of finding the minimal density of 5-or 6-tuples in convex position in an arbitrary point set, and also an inequality expressing the difficulty of sampling order types uniformly. Next we establish results on the analytic representation of limits of order types by planar measures. Our main result is a rigidity theorem: we show that if sampling two measures induce the same probability distribution on order types, then these measures are projectively equivalent provided the support of at least one of them has non-empty interior. We also show that some condition on the Hausdorff dimension of the support is necessary to obtain projective rigidity and we construct limits of order types that cannot be represented by a planar measure. Returning to combinatorial geometry we relate the regularity of this analytic representation to the aforementioned problem of Erdős on the density of k-tuples in convex position, for large k.
Strange Expectations and the Winnie-the-Pooh Problem
Published
• View Publication
• BIB
Motivated by the study of simultaneous cores, we give three proofs (in varying levels of generality) for the expected norm of a weight in a highest weight representation of a complex simple Lie algebra. First, we argue directly using the polynomial method and the Weyl character formula. Second, we use the combinatorics of semistandard tableaux to obtain the result in type A. Third, and most interestingly, we relate this problem to the "Winnie-the-Pooh problem" regarding orthogonal decompositions of Lie algebras; although this approach offers the most explanatory power, it applies only to Cartan types other than A and C. We conclude with computations of many combinatorial cumulants.
Wonderful models for generalized Dowling arrangements
Published
• View Publication
• BIB
For any triple given by a positive integer n, a finite group G, and a faithful representation V of G, one can describe a subspace arrangement whose intersection lattice is a generalized Dowling lattice in the sense of Hanlon. In this paper we construct the minimal De Concini-Procesi wonderful model associated to this subspace arrangement and give a description of its boundary. Our aim is to point out the nice poset provided by the intersections of the irreducible components in the boundary, which provides a geometric realization of the nested set poset of this generalized Dowling lattice. It can be represented by a family of forests with leaves and labelings that depend on the triple (n,G,V). We will study it from the enumerative point of view in the case when G is abelian.