representation ↗ reference
4143 papers tagged with this keyword
Representations of bicircular lift matroids
Published
• View Publication
• BIB
Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. The main result of this paper is a characterization of when two graphs give rise to the same bicircular lift matoid, which answers a question proposed by Irene Pivotto. In particular, aside from some appropriately defined "small" graphs, two graphs have the same bicircular lift matroid if and only if they are $2$-isomorphic in the sense of Whitney.
Enumeration of diagonally colored Young diagrams
Published
• View Publication
• BIB
In this note we give a new proof of a closed formula for the multivariable generating series of diagonally colored Young diagrams. This series also describes the Euler characteristics of certain Nakajima quiver varieties. Our proof is a direct combinatorial argument, based on Andrews' work on generalized Frobenius partitions. We also obtain representations of these series in some particular cases as infinite products.
Equivariant maps related to the topological Tverberg conjecture
Published
• View Publication
• BIB
Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta constructs equivariant maps between spaces which are related to the topological Tverberg conjecture. This answers negatively a question of Özaydin posed in relation to weaker versions of the same conjecture. Further, it also has consequences for Borsuk-Ulam properties of representations of cyclic and dihedral groups.
The parametric Frobenius problem and parametric exclusion
The Frobenius number of relatively prime positive integers $a_1, \ldots, a_n$ is the largest integer that is not a nononegative integer combination of the $a_i.$ Given positive integers $a_1, \ldots, a_n$ with $n \ge 2,$ the set of multiples of $\gcd(a_1, \ldots, a_n)$ which have less than $m$ distinct representations as a nonnegative integer combination of the $a_i$ is bounded above, so we define $f_{m, \ell}(a_1, \ldots, a_n)$ to be the $\ell^{\text{th}}$ largest multiple of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations (which generalizes the Frobenius number) and $g_m(a_1, \ldots, a_n)$ to be the number of positive multiples of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations. In the parametric Frobenius problem, the arguments are polynomials. Let $P_1, \ldots, P_n$ be integer valued polynomials of one variable which are eventually positive. We prove that $f_{m, \ell}(P_1(t), \ldots, P_n(t))$ and $g_m(P_1(t), \ldots, P_n(t)),$ as functions of $t,$ are eventually quasi-polynomial. A function $h$ is eventually quasi-polynomial if there exist $d$ and polynomials $R_0, \ldots, R_{d-1}$ such that for such that for sufficiently large integers $t,$ $h(t)=R_{t \pmod{d}}(t).$ We do so by formulating a type of parametric problem that generalizes the parametric Frobenius Problem, which we call a parametric exclusion problem. We prove that the $\ell^{\text{th}}$ largest value of some polynomial objective function, with multiplicity, for a parametric exclusion problem and the size of its feasible set are eventually quasi-polynomial functions of $t.$
Symmetric group characters as symmetric functions (extended abstract)
The irreducible characters of the symmetric group are a symmetric polynomial in the eigenvalues of a permutation matrix. They can therefore be realized as a symmetric function that can be evaluated at a set of variables and form a basis of the symmetric functions. This basis of the symmetric functions is of non-homogeneous degree and the (outer) product structure coefficients are the stable Kronecker coefficients.
We introduce the irreducible character basis by defining it in terms of the induced trivial characters of the symmetric group which also form a basis of the symmetric functions. The irreducible character basis is closely related to character polynomials and we obtain some of the change of basis coefficients by making this connection explicit. Other change of basis coefficients come from a representation theoretic connection with the partition algebra, and still others are derived by developing combinatorial expressions.
This document is an extended abstract which can be used as a review reference so that this basis can be implemented in Sage. A more complete version of the results in this abstract can be found in {\tt arXiv:1605.06672}.
Global Fibonacci Nim
Published
• View Publication
• BIB
Fibonacci nim is a popular impartial combinatorial game, usually played with a single pile of stones. The game is appealing due to its surprising connections with the Fibonacci numbers and the Zeckendorf representation. In this article, we investigate some properties of a variant played with multiple piles of stones, and solve the 2-pile case. A player chooses one of the piles and plays as in Fibonacci nim, but here the move-size restriction is a global parameter, valid for any pile.
On Orbits of Order Ideals of Minuscule Posets II: Homomesy
The Fon-Der-Flaass action partitions the order ideals of a poset into disjoint orbits. For a product of two chains, Propp and Roby observed --- across orbits --- the mean cardinality of the order ideals within an orbit to be invariant. That this phenomenon, which they christened homomesy, extends to all minuscule posets is shown herein.
Given a minuscule poset $P$, there exists a complex simple Lie algebra $\mathfrak{g}$ and a representation $V$ of $\mathfrak{g}$ such that the lattice of order ideals of $P$ coincides with the weight lattice of $V$. For a weight $μ$ with corresponding order ideal $I$, it is demonstrated that the behavior of the Weyl group simple reflections on $μ$ not only uniquely determines $μ$, but also encodes the cardinality of $I$. After recourse to work of Rush and Shi mapping the anatomy of the lattice isomorphism, the upshot is a uniform proof that the cardinality statistic exhibits homomesy.
A further application of these ideas shows that the statistic tracking the number of maximal elements in an order ideal is also homomesic, extending another result of Propp and Roby.
On the number of lambda terms with prescribed size of their De Bruijn representation
John Tromp introduced the so-called 'binary lambda calculus' as a way to encode lambda terms in terms of binary words. Later, Grygiel and Lescanne conjectured that the number of binary lambda terms with $m$ free indices and of size $n$ (encoded as binary words of length $n$) is $o(n^{-3/2} τ^{-n})$ for $τ\approx 1.963448\ldots$. We generalize the proposed notion of size and show that for several classes of lambda terms, including binary lambda terms with $m$ free indices, the number of terms of size $n$ is $Θ(n^{-3/2} ρ^{-n})$ with some class dependent constant $ρ$, which in particular disproves the above mentioned conjecture. A way to obtain lower and upper bounds for the constant near the leading term is presented and numerical results for a few previously introduced classes of lambda terms are given.
There is no strongly regular graph with parameters (460,153,32,60)
Published
• View Publication
• BIB
We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs.
Combinatorial Auslander-Reiten quivers and reduced expressions
In this paper, we introduce the notion of combinatorial Auslander-Reiten(AR) quiver for commutation classes $[\widetilde{w}]$ of $w$ in finite Weyl group. This combinatorial object visualizes the convex partial order $\prec_{[\widetilde{w}]}$ on the subset $Φ(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection maps, we can apply their properties to the representation theory of KLR algebras and multiplication structure of dual PBW generators associated to any commutation class $[\widetilde{w}_0]$ of the longest element $w_0$.
Auslander-Reiten quiver and representation theories related to KLR-type Schur-Weyl duality
Published
• View Publication
• BIB
We introduce new partial orders on the sequence positive roots and study the statistics of the poset by using Auslander-Reiten quivers for finite type ADE. Then we can prove that the statistics provide interesting information on the representation theories of KLR-algebras, quantum groups and quantum affine algebras including Dorey's rule, bases theory for quantum groups, and denominator formulas between fundamental representations. As applications, we prove Dorey's rule for quantum affine algebras $U_q(E_{6,7,8}^{(1)})$ and partial information of denominator formulas for $U_q(E_{6,7,8}^{(1)})$. We also suggest conjecture on complete denominator formulas for $U_q(E_{6,7,8}^{(1)})$.
Noetherianity and rooted trees
Let T be the category whose objects are rooted trees and morphisms are order embeddings preserving the root. We prove that finitely generated representations of T are Noetherian using techniques developed by Sam and Snowden which generalize classical Grobner theory. The proof uses a relative version of Kruskals tree Theorem.
On the one dimensional representations of Ariki-Koike algebras at roots of unity
Published
• View Publication
• BIB
We study the natural labeling of the one dimensional representations for Ariki-Koike algebras at roots of unity. For Hecke algebras of types A and B, some of these representations can be identified with the socle of the Steinberg representation of a finite reductive group. We here give closed formulas for them. This uses, in particular, several results concerning crystal isomorphisms and the Mullineux involution.
Complex spherical codes with three inner products
Published
• View Publication
• BIB
Let $X$ be a finite set in a complex sphere of $d$ dimension. Let $D(X)$ be the set of usual inner products of two distinct vectors in $X$. A set $X$ is called a complex spherical $s$-code if the cardinality of $D(X)$ is $s$ and $D(X)$ contains an imaginary number. We would like to classify the largest possible $s$-codes for given dimension $d$. In this paper, we consider the problem for the case $s=3$. Roy and Suda (2014) gave a certain upper bound for the cardinalities of $3$-codes. A $3$-code $X$ is said to be tight if $X$ attains the bound. We show that there exists no tight $3$-code except for dimensions $1$, $2$. Moreover we make an algorithm to classify the largest $3$-codes by considering representations of oriented graphs. By this algorithm, the largest $3$-codes are classified for dimensions $1$, $2$, $3$ with a current computer.
Filtrations on Springer fiber cohomology and Kostka polynomials
Published
• View Publication
• BIB
We prove a conjecture which expresses the bigraded Poisson-de Rham homology of the nilpotent cone of a semisimple Lie algebra in terms of the generalized (one-variable) Kostka polynomials, via a formula suggested by Lusztig. This allows us to construct a canonical family of filtrations on the flag variety cohomology, and hence on irreducible representations of the Weyl group, whose Hilbert series are given by the generalized Kostka polynomials. We deduce consequences for the cohomology of all Springer fibers. In particular, this computes the grading on the zeroth Poisson homology of all classical finite W-algebras, as well as the filtration on the zeroth Hochschild homology of all quantum finite W-algebras, and we generalize to all homology degrees. As a consequence, we deduce a conjecture of Proudfoot on symplectic duality, relating in type A the Poisson homology of Slodowy slices to the intersection cohomology of nilpotent orbit closures. In the last section, we give an analogue of our main theorem in the setting of mirabolic D-modules.
On the enumeration of restricted words over a finite alphabet
Published in J. Integer Seq. 19 (2016), Article 16.1.3
• Search Publication
We present a method for the enumeration of restricted words over a finite alphabet. Restrictions are described through the inclusion or exclusion of suitable building blocks used to construct the words by concatenation. Our approach, which relies on the invert transform and its representation in terms of partial Bell polynomials, allows us to generalize and address in a systematic manner previous results in the subject.
On the largest subsets avoiding the diameter of $(0,\pm 1)$-vectors
Published
• View Publication
• BIB
Let $L_{mkl}\subset \mathbb{R}^{m+k+l}$ be the set of vectors which have $m$ of entries $-1$, $k$ of entries $0$, and $l$ of entries $1$. In this paper, we investigate the largest subset of $L_{mkl}$ whose diameter is smaller than that of $L_{mkl}$. The largest subsets for $m=1$, $l=2$, and any $k$ will be classified. From this result, we can classify the largest $4$-distance sets containing the Euclidean representation of the Johnson scheme $J(9,4)$. This was an open problem in Bannai, Sato, and Shigezumi (2012).
Pattern avoidance seen in multiplicities of maximal weights of affine Lie algebra representations
Published
• View Publication
• BIB
We prove that the multiplicities of certain maximal weights of $\mathfrak{g}(A^{(1)}_{n})$-modules are counted by pattern avoidance on words. This proves and generalizes a conjecture of Misra-Rebecca. We also prove similar phenomena in types $A^{(2)}_{2n}$ and $D^{(2)}_{n+1}$. Both proofs are applications of Kashiwara's crystal theory.
Critical surface of the hexagonal polygon model
Published
• View Publication
• BIB
The hexagonal polygon model arises in a natural way via a transformation of the 1-2 model on the hexagonal lattice, and it is related to the high temperature expansion of the Ising model. There are three types of edge, and three corresponding parameters $α,β,γ>0$. By studying the long-range order of a certain two-edge correlation function, it is shown that the parameter space $(0,\infty)^3$ may be divided into subcritical and supercritical regions, separated by critical surfaces satisfying an explicitly known formula. This result complements earlier work on the Ising model and the 1-2 model. The proof uses the Pfaffian representation of Fisher, Kasteleyn, and Temperley for the counts of dimers on planar graphs.
On the Existence of Generalized Parking Spaces for Complex Reflection Groups
Let $W$ be an irreducible finite complex reflection group acting on a complex vector space $V$. For a positive integer $k$, we consider a class function $\varphi_k$ given by $\varphi_k(w) = k^{\dim V^w}$ for $w \in W$, where $V^w$ is the fixed-point subspace of $w$. If $W$ is the symmetric group of $n$ letters and $k=n+1$, then $\varphi_{n+1}$ is the permutation character on (classical) parking functions. In this paper, we give a complete answer to the question when $\varphi_k$ (resp. its $q$-analogue) is the character of a representation (resp. the graded character of a graded representation) of $W$. As a key to the proof in the symmetric group case, we find the greatest common divisors of specialized Schur functions. And we propose a unimodality conjecture of the coefficients of certain quotients of principally specialized Schur functions.