representation ↗ reference
4053 papers tagged with this keyword
Linear degenerations of flag varieties: partial flags, defining equations, and group actions
We continue, generalize and expand our study of linear degenerations of flag varieties from [G. Cerulli Irelli, X. Fang, E. Feigin, G. Fourier, M. Reineke, Math. Z. 287 (2017), no. 1-2, 615-654]. We realize partial flag varieties as quiver Grassmannians for equi-oriented type A quivers and construct linear degenerations by varying the corresponding quiver representation. We prove that there exists the deepest flat degeneration and the deepest flat irreducible degeneration: the former is the partial analogue of the mf-degenerate flag variety and the latter coincides with the partial PBW-degenerate flag variety. We compute the generating function of the number of orbits in the flat irreducible locus and study the natural family of line bundles on the degenerations from the flat irreducible locus. We also describe explicitly the reduced scheme structure on these degenerations and conjecture that similar results hold for the whole flat locus. Finally, we prove an analogue of the Borel-Weil theorem for the flat irreducible locus.
Chinese syzygies by insertions
Published
• View Publication
• BIB
We construct a finite convergent semi-quadratic presentation for the Chinese monoid by adding column generators and using combinatorial properties of insertion algorithms on Chinese staircases. We extend this presentation into a coherent one whose generators are columns, rewriting rules are defined by insertion algorithms, and whose syzygies are defined as relations among insertion algorithms. Such a coherent presentation is used for representations of Chinese monoids, in particular, it is a way to describe actions of Chinese monoids on categories.
A structure theorem for almost low-degree functions on the slice
The Fourier-Walsh expansion of a Boolean function $f \colon \{0,1\}^n \rightarrow \{0,1\}$ is its unique representation as a multilinear polynomial. The Kindler-Safra theorem (2002) asserts that if in the expansion of $f$, the total weight on coefficients beyond degree $k$ is very small, then $f$ can be approximated by a Boolean-valued function depending on at most $O(2^k)$ variables.
In this paper we prove a similar theorem for Boolean functions whose domain is the `slice' ${{[n]}\choose{pn}} = \{x \in \{0,1\}^n\colon \sum_i x_i = pn\}$, where $0 \ll p \ll 1$, with respect to their unique representation as harmonic multilinear polynomials. We show that if in the representation of $f\colon {{[n]}\choose{pn}} \rightarrow \{0,1\}$, the total weight beyond degree $k$ is at most $ε$, where $ε= \min(p, 1-p)^{O(k)}$, then $f$ can be $O(ε)$-approximated by a degree-$k$ Boolean function on the slice, which in turn depends on $O(2^{k})$ coordinates. This proves a conjecture of Filmus, Kindler, Mossel, and Wimmer (2015). Our proof relies on hypercontractivity, along with a novel kind of a shifting procedure.
In addition, we show that the approximation rate in the Kindler-Safra theorem can be improved from $ε+ \exp(O(k)) ε^{1/4}$ to $ε+ε^2 (2\ln(1/ε))^k/k!$, which is tight in terms of the dependence on $ε$ and misses at most a factor of $2^{O(k)}$ in the lower-order term.
A classification of the m-graphical regular representation of finite groups
In this paper we extend the classical notion of digraphical and graphical regular representation of a group and we classify, by means of an explicit description, the finite groups satisfying this generalization. A graph or digraph is called regular if each vertex has the same valency, or, the same out-valency and the same in-valency, respectively. An m-(di)graphical regular representation (respectively, m-GRR and m-DRR, for short) of a group G is a regular (di)graph whose automorphism group is isomorphic to G and acts semiregularly on the vertex set with m orbits. When m=1, this definition agrees with the classical notion of GRR and DRR. Finite groups admitting a 1-DRR were classified by Babai in 1980, and the analogue classification of finite groups admitting a 1-GRR was completed by Godsil in 1981. Pivoting on these two results in this paper we classify finite groups admitting an m-GRR or an m-DRR, for arbitrary positive integers m. For instance, we prove that every non-identity finite group admits an m-GRR, for every m>4.
Schubert Derivations on the Infinite Wedge Power
The {\em Schubert derivation} is a distinguished Hasse-Schmidt derivation on the exterior algebra of a free abelian group, encoding the formalism of Schubert calculus for all Grassmannians at once. The purpose of this paper is to extend the Schubert derivation to the infinite exterior power of a free ${\mathbb Z}$-module of infinite rank (fermionic Fock space). Classical vertex operators naturally arise from the {\em integration by parts formula}, that also recovers the generating function occurring in the {\em bosonic vertex representation} of the Lie algebra $gl_\infty({\mathbb Z})$, due to Date, Jimbo, Kashiwara and Miwa (DJKM). In the present framework, the DJKM result will be interpreted as a limit case of the following general observation: the singular cohomology of the complex Grassmannian $G(r,n)$ is an irreducible representation of the Lie algebra of $n\times n$ square matrices.}
Directed Intersection Representations and the Information Content of Digraphs
Consider a directed graph (digraph) in which vertices are assigned color sets, and two vertices are connected if and only if they share at least one color and the tail vertex has a strictly smaller color set than the head. We seek to determine the smallest possible size of the union of the color sets that allows for such a digraph representation. To address this problem, we introduce the new notion of a directed intersection representation of a digraph, and show that it is well-defined for all directed acyclic graphs (DAGs). We then proceed to introduce the directed intersection number (DIN), the smallest number of colors needed to represent a DAG. Our main results are upper bounds on the DIN of DAGs based on what we call the longest terminal path decomposition of the vertex set, and constructive lower bounds.
On geometric complexity theory: Multiplicity obstructions are stronger than occurrence obstructions
Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group varieties. The papers also conjecture that the vanishing behavior of these multiplicities would be sufficient to separate complexity classes (so-called occurrence obstructions). The existence of such strong occurrence obstructions has been recently disproven in 2016 in two successive papers, Ikenmeyer-Panova (Adv. Math.) and Bürgisser-Ikenmeyer-Panova (J. AMS). This raises the question whether separating group varieties via representation theoretic multiplicities is stronger than separating them via occurrences. This paper provides for the first time a setting where separating with multiplicities can be achieved, while the separation with occurrences is provably impossible. Our setting is surprisingly simple and natural: We study the variety of products of homogeneous linear forms (the so-called Chow variety) and the variety of polynomials of bounded border Waring rank (i.e. a higher secant variety of the Veronese variety). As a side result we prove a slight generalization of Hermite's reciprocity theorem, which proves Foulkes' conjecture for a new infinite family of cases.
A class of phylogenetic networks reconstructable from ancestral profiles
Published
• View Publication
• BIB
Rooted phylogenetic networks provide an explicit representation of the evolutionary history of a set $X$ of sampled species. In contrast to phylogenetic trees which show only speciation events, networks can also accommodate reticulate processes (for example, hybrid evolution, endosymbiosis, and lateral gene transfer). A major goal in systematic biology is to infer evolutionary relationships, and while phylogenetic trees can be uniquely determined from various simple combinatorial data on $X$, for networks the reconstruction question is much more subtle. Here we ask when can a network be uniquely reconstructed from its `ancestral profile' (the number of paths from each ancestral vertex to each element in $X$). We show that reconstruction holds (even within the class of all networks) for a class of networks we call `orchard networks', and we provide a polynomial-time algorithm for reconstructing any orchard network from its ancestral profile. Our approach relies on establishing a structural theorem for orchard networks, which also provides for a fast (polynomial-time) algorithm to test if any given network is of orchard type. Since the class of orchard networks includes tree-sibling tree-consistent networks and tree-child networks, our result generalise reconstruction results from 2008 and 2009. Orchard networks allow for an unbounded number $k$ of reticulation vertices, in contrast to tree-sibling tree-consistent networks and tree-child networks for which $k$ is at most $2|X|-4$ and $|X|-1$, respectively.
On a Generalized Fibonacci Recurrence
The generalized Fibonacci recurrence $g_n=g_{n-k}+g_{n-m}$ was recently used to demonstrate the theoretically optimal nature of limited senescence in morphologically symmetrically dividing bacteria. Here, we study this recurrence from a more abstract viewpoint, as a general model for asymmetric branching, and interpret solutions for different initial conditions in terms of branching-related quantities. We provide a compact diagrammatic representation for the evolution of this process which leads to an explicit binomial identity for the sums of elements lying on the diagonals $kx+my=n$ in Pascal's triangle $\mathbb N_0\times \mathbb N_0\ni(x,y)\mapsto {x+y\choose x}$, previously sought by Dickinson [Dic50], Raab [Raa63], and Green [Gre68].
The adjoint braid arrangement as a combinatorial Lie algebra via the Steinmann relations
We study a certain discrete differentiation of piecewise-constant functions on the adjoint of the braid hyperplane arrangement, defined by taking finite-differences across hyperplanes. In terms of Aguiar-Mahajan's Lie theory of hyperplane arrangements, we show that this structure is equivalent to the action of Lie elements on faces. We use layered binary trees to encode flags of adjoint arrangement faces, allowing for the representation of certain Lie elements by antisymmetrized layered binary forests. This is dual to the well-known use of (delayered) binary trees to represent Lie elements of the braid arrangement. The discrete derivative then induces an action of layered binary forests on piecewise-constant functions, which we call the forest derivative. Our main result states that forest derivatives of functions factorize as external products of functions precisely if one restricts to functions which satisfy the Steinmann relations, which are certain four-term linear relations appearing in the foundations of axiomatic quantum field theory. We also show that the forest derivative satisfies the Lie properties of antisymmetry the Jacobi identity. It follows from these Lie properties, and also crucially factorization, that functions which satisfy the Steinmann relations form a left comodule of the Lie cooperad, with the coaction given by the forest derivative. Dually, this endows the adjoint braid arrangement modulo the Steinmann relations with the structure of a Lie algebra internal to the category of vector species. This work is a first step towards describing new connections between Hopf theory in species and quantum field theory.
Categories of Two-Colored Pair Partitions, Part II: Categories Indexed by Semigroups
Within the framework of unitary easy quantum groups, we study an analogue of Brauer's Schur-Weyl approach to the representation theory of the orthogonal group. We consider concrete combinatorial categories whose morphisms are formed by partitions of finite sets into disjoint subsets of cardinality two; the points of these sets are colored black or white. These categories correspond to "half-liberated easy" interpolations between the unitary group and Wang's quantum counterpart. We complete the classification of all such categories demonstrating that the subcategories of a certain natural halfway point are equivalent to additive subsemigroups of the natural numbers; the categories above this halfway point have been classified in a preceding article. We achieve this using combinatorial means exclusively. Our work reveals that the half-liberation procedure is quite different from what was previously known from the orthogonal case.
A plactic algebra action on bosonic particle configurations: The classical case
We study the plactic algebra and its action on bosonic particle configurations in the classical case. These particle configurations together with the action of the plactic generators can be identified with crystals of the quantum analogue of the symmetric tensor representations in type A. It turns out that this action factors over a quotient algebra that we call partic algebra, whose induced action on bosonic particle configurations is faithful. We describe a basis of the partic algebra explicitly in terms of a normal form for monomials, and we compute the center of the partic algebra.
The representation theory of the increasing monoid
We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify injective objects, establish properties of injective and projective resolutions, construct a derived auto-duality, and so on. Our work is motivated by numerous connections of this theory to other areas, such as representation stability, commutative algebra, simplicial theory, and shuffle algebras.
The volume polynomial of regular semisimple Hessenberg varieties and the Gelfand-Zetlin polytope
Regular semisimple Hessenberg varieties are subvarieties of the flag variety $\mathrm{Flag}(\mathbb{C}^n)$ arising naturally in the intersection of geometry, representation theory, and combinatorics. Recent results of Abe-Horiguchi-Masuda-Murai-Sato and Abe-DeDieu-Galetto-Harada relate the volume polynomials of regular semisimple Hessenberg varieties to the volume polynomial of the Gelfand-Zetlin polytope $\mathrm{GZ}(λ)$ for $λ=(λ_1,λ_2,\ldots,λ_n)$. The main results of this manuscript use and generalize tools developed by Anderson-Tymoczko, Kiritchenko-Smirnov-Timorin, and Postnikov, in order to derive an explicit formula for the volume polynomials of regular semisimple Hessenberg varieties in terms of the volumes of certain faces of the Gelfand-Zetlin polytope, and also exhibit a manifestly positive, combinatorial formula for their coefficients with respect to the basis of monomials in the $α_i := λ_i-λ_{i+1}$. In addition, motivated by these considerations, we carefully analyze the special case of the permutohedral variety, which is also known as the toric variety associated to Weyl chambers. In this case, we obtain an explicit decomposition of the permutohedron (the moment map image of the permutohedral variety) into combinatorial $(n-1)$-cubes, and also give a geometric interpretation of this decomposition by expressing the cohomology class of the permutohedral variety in $\mathrm{Flag}(\mathbb{C}^n)$ as a sum of the cohomology classes of a certain set of Richardson varieties.
Upper-triangular linear relations on multiplicities and the Stanley-Stembridge conjecture
In 2015, Brosnan and Chow, and independently Guay-Paquet, proved the Shareshian-Wachs conjecture, which links the Stanley-Stembridge conjecture in combinatorics to the geometry of Hessenberg varieties through Tymoczko's permutation group action on the cohomology ring of regular semisimple Hessenberg varieties. In previous work, the authors exploited this connection to prove a refined (graded) version of the Stanley-Stembridge conjecture in a special case. In this manuscript, we derive a new set of linear relations satisfied by the multiplicities of certain permutation representations in Tymoczko's representation. We also show that these relations are upper-triangular in an appropriate sense, and in particular, they uniquely determine the multiplicities. As an application of these results, we prove an inductive formula for the multiplicity coefficients corresponding to partitions with a maximal number of parts. It follows from our formula that these coefficients are non-negative, thus giving additional positive evidence for the graded Stanley--Stembridge conjecture in the general case.
Character polynomials for two rows and hook partitions
Representation theory of the symmetric group $\mathfrak{S}_n$ has a very distinctive combinatorial flavor. The conjugacy classes as well as the irreducible characters are indexed by integer partitions $λ\vdash n$. We introduce class functions on $\mathfrak{S}_n$ that count the number of certain tilings of Young diagrams. The counting interpretation gives a uniform expression of these class functions in the ring of character polynomials, as defined by \cite{murnaghanfirst}. A modern treatment of character polynomials is given in \cite{orellana-zabrocki}. We prove a relation between these combinatorial class functions in the (virtual) character ring. From this relation, we were able to prove Goupil's generating function identity \cite{goupil}, which can then be used to derive Rosas' formula \cite{rosas} for Kronecker coefficients of hook shape partitions and two row partitions.
Minuscule reverse plane partitions via quiver representations
A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use this invariant to define a bijection from isomorphism classes of representations in $\mathcal{C}_{Q,m}$ to reverse plane partitions whose shape is the minuscule poset corresponding to $Q$ and $m$. By relating the piecewise-linear promotion action on reverse plane partitions to Auslander-Reiten translation in the derived category, we give a uniform proof that the order of promotion equals the Coxeter number. In type $A_n$, we show that special cases of our bijection include the Robinson-Schensted-Knuth and Hillman-Grassl correspondences.
Relationship Between Mullineux Involution and the Generalized Regularization
Published in European Journal of Combinatorics, Volume 85, March 2020, 103059
• View Publication
• BIB
The Mullineux involution is an important map on $p$-regular partitions that originates from the modular representation theory of $\mathcal{S}_n$. In this paper we study the Mullineux transpose map and the generalized column regularization and prove a condition under which the two maps are exactly the same. Our results generalize the work of Bessenrodt, Olsson and Xu, and the combinatorial constructions is related to the Iwahori-Hecke algebra and the global crystal basis of the basic $U_q(\widehat{\mathfrak{sl}}_b)$-module. In the conclusion, we provide several conjectures regarding the $q$-decomposition numbers and generalizations of results due to Fayers.
Some algebraic structures in KPZ universality
We review some algebraic and combinatorial structures that underlie models in the KPZ universality class.Emphasis is placed on the Robinson-Schensted-Knuth correspondence and its geometric lifting due to A.N.Kirillov. We present how these combinatorial constructions are used to analyse the structure of solvable models in the KPZ class and lead to computation of their statistics via connecting to representation theoretic objects such as Schur, Macdonald and Whittaker functions, Young tableaux and Gelfand-Tsetlin patterns. We also present how fundamental representation theoretic concepts, such as the Cauchy identity, the Pieri rule and the branching rule, can be used, alongside RSK correspondences, and can be combined with probabilistic ideas, in order to construct integrable stochastic dynamics on two dimensional arrays of Gelfand-Tsetlin type, in ways that couple different one dimensional stochastic processes. For example, interacting particle systems, on the one hand, and processes related to eigenvalues of random matrices, on the other, thus illuminating the emergence of random matrix distributions in interacting stochastic processes. The goal of the notes is to expose some of the overarching principles, which have driven a significant number of developments in the field.
A panorama of positivity
Published
• View Publication
• BIB
This survey contains a selection of topics unified by the concept of positive semi-definiteness (of matrices or kernels), reflecting natural constraints imposed on discrete data (graphs or networks) or continuous objects (probability or mass distributions). We put emphasis on entrywise operations which preserve positivity, in a variety of guises. Techniques from harmonic analysis, function theory, operator theory, statistics, combinatorics, and group representations are invoked. Some partially forgotten classical roots in metric geometry and distance transforms are presented with comments and full bibliographical references. Modern applications to high-dimensional covariance estimation and regularization are included.