representation ↗ reference
4143 papers tagged with this keyword
An orthodontia formula for Grothendieck polynomials
We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools used by Magyar. We apply our formula to prove a necessary divisibility condition for a monomial to appear in a given Grothendieck polynomial.
Free quantum analogue of Coxeter group $D_4$
Published in Journal of Algebra 604 (2022) 577-613
• View Publication
• BIB
We define the quantum group $D_4^+$ -- a free quantum version of the demihyperoctahedral group $D_4$ (the smallest representative of the Coxeter series $D$). In order to do so, we construct a free analogue of the property that a $4\times4$ matrix has determinant one. Such analogues of determinants are usually very hard to define for free quantum groups in general and our result only holds for the matrix size $N=4$. The free $D_4^+$ is then defined by imposing this generalized determinant condition on the free hyperoctahedral group $H_4^+$. Moreover, we give a detailed combinatorial description of the representation category of $D_4^+$.
A diagrammatic approach to string polytopes
Published
• View Publication
• BIB
We prove that for every complex classical group $G$ the string polytope associated to a special reduced decomposition and any dominant integral weight $λ$ will be a lattice polytope if and only if the highest weight representation of the Lie algebra of $G$ with highest weight $λ$ integrates to a representation of $G$ itself. This affirms an earlier conjecture and shows that every partial flag variety of a complex classical group admits a flat projective degeneration to a Gorenstein Fano toric variety.
The Stable Limit DAHA and the Double Dyck Path Algebra
Published
• View Publication
• BIB
We study the compatibility of the action of the DAHA of type GL with two inverse systems of polynomial rings obtained from the standard Laurent polynomial representations. In both cases, the crucial analysis is that of the compatibility of the action of the Cherednik operators. Each case leads to a representation of a limit structure (the +/- stable limit DAHA) on a space of almost symmetric polynomials in infinitely many variables (the standard representation). As an application, we show that the defining representation of the double Dyck path algebra arises from the standard representation of the +stable limit DAHA.
Five Equivalent Representations of a Phylogenetic Tree
Published
• View Publication
• BIB
A phylogenetic tree is a tree with a fixed set of leaves that has no vertices of degree two.
In this paper, we axiomatically define four other discrete structures on the set of leaves.
We prove that each of these structures is an equivalent representation of a phylogenetic tree.
A Quantized Analogue of the Markov-Krein Correspondence
Published
• View Publication
• BIB
We study a family of measures originating from the signatures of the irreducible components of representations of the unitary group, as the size of the group goes to infinity. Given a random signature $λ$ of length $N$ with counting measure $\mathbf{m}$, we obtain a random signature $μ$ of length $N-1$ through projection onto a unitary group of lower dimension. The signature $μ$ interlaces with the signature $λ$, and we record the data of $μ,λ$ in a random rectangular Young diagram $w$. We show that under a certain set of conditions on $λ$, both $\mathbf{m}$ and $w$ converge as $N\to\infty$. We provide an explicit moment generating function relationship between the limiting objects. We further show that the moment generating function relationship induces a bijection between bounded measures and certain continual Young diagrams, which can be viewed as a quantized analogue of the Markov-Krein correspondence.
Lie elements and the matrix-tree theorem
Published
• View Publication
• BIB
For a finite-dimensional representation V of a group G we introduce and study the notion of a Lie element in the group algebra k[G]. The set L(V) \subset k[G] of Lie elements is a Lie algebra and a G-module acting on the original representation V.
Lie elements often exhibit nice combinatorial properties. Thus, for G = S_n and V, a permutation representation, we prove a formula for the characteristic polynomial of a Lie element similar to the classical matrix-tree theorem.
Combinatorial results on $t$-cores and sums of squares
We classify the connection between $t$-cores and self-conjugate $t$-cores to sums of squares. To do so, we provide explicit maps between $t$-core partitions and self-conjugate $t$-core partitions of a positive integer $n$ to representations of certain numbers as sums of squares. For example, the self-conjugate $4$-core partition $λ=(4,1,1,1)$ corresponds uniquely to the solution $61=6^2+5^2$. As a corollary, we completely classify the relationship between $t$-cores and Hurwitz class numbers.
Using these tools, we see how certain sets of representations as sums of squares naturally decompose into families of $t$-cores. Finally, we construct an explicit map on partitions to explain the equality $2\operatorname{sc}_7(8n+1) = \operatorname{c}_4(7n+2)$ previously studied by Bringmann, Kane, and the first author.
Further Results on Pure Summing Registers and Complementary Ones
We decide completely the cycle structure of pure summing register (PSR) and complementary summing register (CSR). Based on the state diagram of CSR, we derive an algorithm to generate de Bruijn cycles from CSR inspired by Tuvi Etzion's publication in 1984. We then point out the limitation in generalizations of extended representation we use in the algorithm proposed, with a proof of the fact that only PSR and CSR contain pure cycles all dividing n+1.
Symmetric functions and Springer representations
Published
• View Publication
• BIB
The characters of the (total) Springer representations are identified with the Green functions by Kazhdan [Israel J. Math. {\bf 28} (1977)], and the latter are identified with Hall-Littlewood's $Q$-functions by Green [Trans. Amer. Math. Soc. (1955)]. In this paper, we present a purely algebraic proof that the (total) Springer representations of $\mathop{GL} ( n )$ are $\mathrm{Ext}$-orthogonal to each other, and show that it is compatible with the natural categorification of the ring of symmetric functions.
Fibering flat manifolds of diagonal type and their fundamental groups
Published
• View Publication
• BIB
An $n$-dimensional closed flat manifold is said to be of diagonal type if the standard representation of its holonomy group $G$ is diagonal. An $n$-dimensional Bieberbach group of diagonal type is the fundamental group of such a manifold. We introduce the diagonal Vasquez invariant of $G$ as the least integer $n_d(G)$ such that every flat manifold of diagonal type with holonomy $G$ fibers over a flat manifold of dimension at most $n_d(G)$ with flat torus fibers. Using a combinatorial description of Bieberbach groups of diagonal type, we give both upper and lower bounds for this invariant. We show that the lower bounds are exact when $G$ has low rank. We apply this to analyse diffuseness properties of Bieberbach groups of diagonal type. This leads to a complete classification of Bieberbach groups of diagonal type with Klein four-group holonomy and to an application to Kaplansky's Unit Conjecture.
Affinely representable lattices, stable matchings, and choice functions
Published
• View Publication
• BIB
Birkhoff's representation theorem (Birkhoff, 1937) defines a bijection between elements of a distributive lattice and the family of upper sets of an associated poset. Although not used explicitly, this result is at the backbone of the combinatorial algorithm by Irving et al. (1987) for maximizing a linear function over the set of stable matchings in Gale and Shapley's stable marriage model (Gale and Shapley, 1962). In this paper, we introduce a property of distributive lattices, which we term as affine representability, and show its role in efficiently solving linear optimization problems over the elements of a distributive lattice, as well as describing the convex hull of the characteristic vectors of the lattice elements. We apply this concept to the stable matching model with path-independent quota-filling choice functions, thus giving efficient algorithms and a compact polyhedral description for this model. To the best of our knowledge, this model generalizes all models from the literature for which similar results were known, and our paper is the first that proposes efficient algorithms for stable matchings with choice functions, beyond classical extensions of the Deferred Acceptance algorithm.
Correlation Decay and the Absence of Zeros Property of Partition Functions
Published
• View Publication
• BIB
Absence of (complex) zeros property is at the heart of the interpolation method developed by Barvinok \cite{barvinok2017combinatorics} for designing deterministic approximation algorithms for various graph counting and computing partition functions problems. Earlier methods for solving the same problem include the one based on the correlation decay property. Remarkably, the classes of graphs for which the two methods apply sometimes coincide or nearly coincide. In this paper we show that this is more than just a coincidence. We establish that if the interpolation method is valid for a family of graphs satisfying the self-reducibility property, then this family exhibits a form of correlation decay property which is asymptotic Strong Spatial Mixing (SSM) at distances $ω(\log n)$, where $n$ is the number of nodes of the graph. This applies in particular to amenable graphs, such as graphs which are finite subsets of lattices.
Our proof is based on a certain graph polynomial representation of the associated partition function. This representation is at the heart of the design of the polynomial time algorithms underlying the interpolation method itself. We conjecture that our result holds for all, and not just amenable graphs.
Quantum Combinatorial Games: Structures and Computational Complexity
Recently, a standardized framework was proposed for introducing quantum-inspired moves in mathematical games with perfect information and no chance. The beauty of quantum games-succinct in representation, rich in structures, explosive in complexity, dazzling for visualization, and sophisticated for strategic reasoning-has drawn us to play concrete games full of subtleties and to characterize abstract properties pertinent to complexity consequence. Going beyond individual games, we explore the tractability of quantum combinatorial games as whole, and address fundamental questions including:
Quantum Leap in Complexity: Are there polynomial-time solvable games whose quantum extensions are intractable?
Quantum Collapses in Complexity: Are there PSPACE-complete games whose quantum extensions fall to the lower levels of the polynomial-time hierarchy?
Quantumness Matters: How do outcome classes and strategies change under quantum moves? Under what conditions doesn't quantumness matter?
PSPACE Barrier for Quantum Leap: Can quantum moves launch PSPACE games into outer polynomial space
We show that quantum moves not only enrich the game structure, but also impact their computational complexity. In settling some of these basic questions, we characterize both the powers and limitations of quantum moves as well as the superposition of game configurations that they create. Our constructive proofs-both on the leap of complexity in concrete Quantum Nim and Quantum Undirected Geography and on the continuous collapses, in the quantum setting, of complexity in abstract PSPACE-complete games to each level of the polynomial-time hierarchy-illustrate the striking computational landscape over quantum games and highlight surprising turns with unexpected quantum impact. Our studies also enable us to identify several elegant open questions fundamental to quantum combinatorial game theory (QCGT).
Enumerative Methods in Quantum Electrodynamics
We show that observables in QED-type theories can be realized in terms of a combinatorial structure called chord diagrams. One advantage of this combinatorial representation is that it simplifies the study of the asymptotic behavior of corresponding Green functions. Particularly, using the new representation, there is no need to use the standard approach of singularity analysis. This relation also reveals the unexplained correlation between the number of Feynman diagrams in Yukawa theory and the diagrams in quenched QED.
Subset Representations and Eigenvalues of the Universal Intertwining Matrix
Published in Jounal of Pure and Apllied Algebra 226 (2022) 107024
• View Publication
• BIB
We solve a combinatorial question concerning eigenvalues of the universal intertwining endomorphism of a subset representation. This is then applied to justify the evaluation of the Eisenbud-Levine-Khimshiashvili (ELK) signature formula for the gradient index at a degenerate star in arXiv:2001.10882
Hilbert series of typical representations for Lie superalgebras
Let g be a basic classical Lie superalgebra over C. In the case of a typical weight whose every nonnegative integer multiple is also typical, we compute a closed form for the Hilbert series whose coefficients encode the dimensions of finite-dimensional irreducible typical g-representations. We give a formula for this Hilbert series in terms of elementary symmetric polynomials and Eulerian polynomials. Additionally, we show a simple closed form in terms of differential operators.
Semi-invariants of Binary Forms Pertaining to a Unimodality Theorem of Reiner and Stanton
Published
• View Publication
• BIB
The symmetric difference of the $q$-binomial coefficients $F_{n,k}(q)={n+k\brack k}-q^{n}{n+k-2\brack k-2}$ was introduced by Reiner and Stanton. They proved that $F_{n,k}(q)$ is symmetric and unimodal for $k \geq 2$ and $n$ even by using the representation theory for Lie algebras. Based on Sylvester's proof of the unimodality of the Gaussian coefficients, as conjectured by Cayley, we find an interpretation of the unimodality of $F_{n,k}(q)$ in terms of semi-invariants. In the spirit of the strict unimodality of the Gaussian coefficients due to Pak and Panova, we prove the strict unimodality of the symmetric difference $G_{n,k,r}(q)={n+k\brack k}-q^{nr/2}{n+k-r\brack k-r}$, except for the two terms at both ends, where $n,r\geq8$, $k\geq r$ and at least one of $n$ and $r$ is even.
A type B analogue of the category of finite sets with surjections
Published
• View Publication
• BIB
We define a type B analogue of the category of finite sets with surjections, and we study the representation theory of this category. We show that the opposite category is quasi-Grobner, which implies that submodules of finitely generated modules are again finitely generated. We prove that the generating functions of finitely generated modules have certain prescribed poles, and we obtain restrictions on the representations of type B Coxeter groups that can appear in such modules. Our main example is a module that categorifies the degree i Kazhdan-Lusztig coefficients of type B Coxeter arrangements.
Stability phenomena for resonance arrangements
Published
• View Publication
• BIB
We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.