representation ↗ reference
4053 papers tagged with this keyword
Global Rigidity of Periodic Graphs under Fixed-lattice Representations
Published
• View Publication
• BIB
In 1992, Hendrickson proved that (d+1)-connectivity and redundant rigidity are necessary conditions for a generic (non-complete) bar-joint framework to be globally rigid in $\mathbb{R}^d$. Jackson and Jordan confirmed in 2005 that these conditions are also sufficient in $\mathbb{R}^2$, giving a combinatorial characterization of graphs whose generic realizations in $\mathbb{R}^2$ are globally rigid. In this paper, we establish analogues of these results for infinite periodic frameworks under fixed lattice representations. Our combinatorial characterization of globally rigid generic periodic frameworks in $\mathbb{R}^2$ in particular implies toroidal and cylindrical counterparts of the theorem by Jackson and Jordan.
Invariant derivations and differential forms for reflection groups
Published
• View Publication
• BIB
Classical invariant theory of a complex reflection group $W$ highlights three beautiful structures:
-- the $W$-invariant polynomials constitute a polynomial algebra, over which
-- the $W$-invariant differential forms with polynomial coefficients constitute an exterior algebra, and
-- the relative invariants of any $W$-representation constitute a free module.
When $W$ is a duality (or well-generated) group, we give an explicit description of the isotypic component within the differential forms of the irreducible reflection representation. This resolves a conjecture of Armstrong, Rhoades and the first author, and relates to Lie-theoretic conjectures and results of Bazlov, Broer, Joseph, Reeder, and Stembridge, and also Deconcini, Papi, and Procesi. We establish this result by examining the space of $W$-invariant differential derivations; these are derivations whose coefficients are not just polynomials, but differential forms with polynomial coefficients.
For every complex reflection group $W$, we show that the space of invariant differential derivations is finitely generated as a module over the invariant differential forms by the basic derivations together with their exterior derivatives. When $W$ is a duality group, we show that the space of invariant differential derivations is free as a module over the exterior subalgebra of $W$-invariant forms generated by all but the top-degree exterior generator. (The basic invariant of highest degree is omitted.)
Our arguments for duality groups are case-free, i.e., they do not rely on any reflection group classification.
A representation-theoretic interpretation of positroid classes
Published
• View Publication
• BIB
A positroid is the matroid of a real matrix with nonnegative maximal minors, a positroid variety is the closure of the locus of points in a complex Grassmannian whose matroid is a fixed positroid, and a positroid class is the cohomology class Poincaré dual to a positroid variety. We define a family of representations of general linear groups whose characters are symmetric polynomials representing positroid classes. These representations are certain diagram Schur modules in the sense of James and Peel. This gives a new algebraic interpretation of the Schubert structure constants for the product of a Schubert polynomial and Schur polynomial, and of the 3-point Gromov-Witten invariants for Grassmannians, proving a conjecture of Postnikov. As a byproduct, we obtain an effective algorithm for decomposing positroid classes into Schubert classes.
A theory of pictures for quasi-posets
Published
• View Publication
• BIB
The theory of pictures between posets is known to encode much of the combinatorics of symmetric group representations and related topics such as Young diagrams and tableaux. Many reasons, com-binatorial (e.g. since semi-standard tableaux can be viewed as double quasi-posets) and topological (quasi-posets identify with finite topolo-gies) lead to extend the theory to quasi-posets. This is the object of the present article.
Dyck Paths and Positroids from Unit Interval Orders
Published in Journal of Combinatorial Theory, Series A 154 (2018) 507-532
• View Publication
• BIB
It is well known that the number of non-isomorphic unit interval orders on $[n]$ equals the $n$-th Catalan number. Using work of Skandera and Reed and work of Postnikov, we show that each unit interval order on $[n]$ naturally induces a rank $n$ positroid on $[2n]$. We call the positroids produced in this fashion unit interval positroids. We characterize the unit interval positroids by describing their associated decorated permutations, showing that each one must be a $2n$-cycle encoding a Dyck path of length $2n$. We also provide recipes to read the decorated permutation of a unit interval positroid $P$ from both the antiadjacency matrix and the interval representation of the unit interval order inducing $P$. Using our characterization of the decorated permutation, we describe the Le-diagrams corresponding to unit interval positroids. In addition, we give a necessary and sufficient condition for two Grassmann cells parameterized by unit interval positroids to be adjacent inside the Grassmann cell complex. Finally, we propose a potential approach to find the $f$-vector of a unit interval order.
Combinatorics and Representation Theory for Generalized Permutohedra I: Simplicial Plates
In this paper, we announce results from our thesis, which studies for the first time the categorification of the theory of generalized permutohedra. The vector spaces in the categorification are tightly constrained by certain continuity relations which appeared in physics in the mid 20th century. We describe here the action of the symmetric group on the vector spaces in this categorification. Generalized permutohedra are replaced by vector spaces of characteristic functions of polyhedral cones about faces of permutohedra, called plates, due to A. Ocneanu. The symmetric group acts on plates by coordinate permutation.
In combinatorics, the Eulerian numbers count the number of permutations with a given number of ascent and descents. The classical Worpitzky identity expands a power $r^p$ as a sum of Eulerian numbers, with binomial coefficients. In our thesis, for the main result we generalize the classical Worpitzky identity to an isomorphism of symmetric group modules, corresponding geometrically to the tiling of a scaled simplex by unit hypersimplices. In the categorification, the volume of a hypersimplex is replaced by the complex-linear dimension of a vector space associated to it. The main technical aspect of the proof of the character formula for the simplex involves a partition of unity of a commutative algebra of translations on a discrete torus, and a certain modular Diophantine equation.
A detailed paper is in preparation.
On a q-Identity Arising from the Dimension of a Representation of GL(n) over a Finite Field
The present paper proves a $q$-identity, which arises from a representation $π_{N,ψ}$ of $\text{GL}_n(\mathbb{F}_q)$. This identity gives a significant simplification for the dimension of $π_{N,ψ}$, which allowed the second author to obtain a description of the representation.
Internal Zonotopal Algebras and the Monomial Reflection Groups
Published in Journal of Combinatorial Theory, Series A, 2018
• View Publication
• BIB
The group $G(m,1,n)$ consists of $n$-by-$n$ monomial matrices whose entries are $m$th roots of unity. It is generated by $n$ complex reflections acting on $\mathbf{C}^n$. The reflecting hyperplanes give rise to a (hyperplane) arrangement $\mathcal{G} \subset \mathbf{C}^n$. The internal zonotopal algebra of an arrangement is a finite dimensional algebra first studied by Holtz and Ron. Its dimension is the number of bases of the associated matroid with zero internal activity. In this paper we study the structure of the internal zonotopal algebra of the Gale dual of the reflection arrangement of $G(m,1,n)$, as a representation of this group. Our main result is a formula for the top degree component as an induced character from the cyclic group generated by a Coxeter element. We also provide results on representation stability, a connection to the Whitehouse representation in type~A, and an analog of decreasing trees in type~B.
Integral representations of equally positive integer-indexed harmonic sums at infinity
Published in Research In Number Theory 2017 3:10
• View Publication
• BIB
We identify a partition-theoretic generalization of Riemann zeta function and the equally positive integer-indexed harmonic sums at infinity, to obtain the generating function and the integral representations of the latter. The special cases coincide with zeta values at positive integer arguments.
Fair representation by independent sets
Published
• View Publication
• BIB
For a hypergraph $H$ let $β(H)$ denote the minimal number of edges from $H$ covering $V(H)$. An edge $S$ of $H$ is said to represent {\em fairly} (resp. {\em almost fairly}) a partition $(V_1,V_2, \ldots, V_m)$ of $V(H)$ if $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor$ (resp. $|S\cap V_i|\ge \lfloor\frac{|V_i|}{β(H)}\rfloor-1$) for all $i \le m$.
In matroids any partition of $V(H)$ can be represented fairly by some independent set. We look for classes of hypergraphs $H$ in which any partition of $V(H)$ can be represented almost fairly by some edge.
We show that this is true when $H$ is the set of independent sets in a path, and conjecture that it is true when $H$ is the set of matchings in $K_{n,n}$. We prove that partitions of $E(K_{n,n})$ into three sets can be represented almost fairly. The methods of proofs are topological.
Minimum Spanning trees with Neighborhoods
Published
• View Publication
• BIB
This paper studies Minimum Spanning Trees under incomplete information for its vertices. We assume that no information is available on the precise placement of vertices so that it is only known that vertices belong to some neighborhoods that are second order cone representable and distances are measured with a $\ell_q$-norm. Two mixed integer non linear mathematical programming formulations are presented, based on alternative representations of subtour elimination constraints. A solution scheme is also proposed, resulting from a reformulation suitable for a Benders-like decomposition, which is embedded within an exact branch-and-cut framework. Furthermore, a mathheuristic is developed, which alternates in solving convex subproblems in different solution spaces, and is able to solve larger instances. The results of extensive computational experiments are reported and analyzed.
Matrix Representation for Multiplicative Nested Sums
Published
• View Publication
• BIB
We study multiplicative nested sums, which are generalizations of harmonic sums, and provide a calculation through multiplication of index matrices. Special cases interpret the index matrices as stochastic transition matrices of random walks on a finite number of sites. Relations among multiplicative nested sums, which are generalizations of relations between harmonic series and multiple zeta functions, can be easily derived from identities of the index matrices. Combinatorial identities and their generalizations can also be derived from this computation.
The $α$-representation for the characteristic function of a matroid
Let $M=(E,\mathcal B)$ be an $\mathbb F_q$-linear matroid; denote by ${\mathcal B}$ the family of its bases, $s(M;α)=\sum_{B\in\mathcal B}\prod_{e \in B} α_e$, where ${α_e\in \mathbb F_q}$. According to the Kontsevich conjecture stated in 1997, the number of nonzero values of $s(M;α)$ is a polynomial with respect to $q$ for all matroids. This conjecture was disproved by P. Brosnan and P. Belkale. In this paper we express the characteristic polynomial of the dual matroid $M^\perp$ in terms of the "correct" Kontsevich formula (for $\mathbb F_q$-linear matroids). This representation generalizes the formula for a flow polynomial of a graph which was obtained by us earlier (and with the help of another technique). In addition, generalizing the correlation (announced by us earlier) that connects flow and chromatic polynomials, we define the characteristic polynomial of $M^\perp$ in two ways, namely, in terms of characteristic polynomials of $M/A$ and $M|_A$, respectively, $A\subseteq E$. The latter expressions are close to convolution-multiplication formulas established by V. Reiner and J. P. S. Kung.
Semiclassical asymptotics of $\operatorname{GL}_N(\mathbb{C})$ tensor products and quantum random matrices
Published in Sel. Math. New Ser. 24 (2018), no. 3, 2571-2623
• View Publication
• BIB
The Littlewood--Richardson process is a discrete random point process arising from the isotypic decomposition of tensor products of irreducible representations of $\operatorname{GL}_N(\mathbb{C})$. Biane--Perelomov--Popov matrices are quantum random matrices obtained as the geometric quantization of random Hermitian matrices with deterministic eigenvalues and uniformly random eigenvectors. As first observed by Biane, correlation functions of certain global observables of the LR process coincide with correlation functions of linear statistics of sums of classically independent BPP matrices, thereby enabling a random matrix approach to the statistical study of $\operatorname{GL}_N(\mathbb{C})$ tensor products. In this paper, we prove an optimal result: classically independent BPP matrices become freely independent in any semiclassical/large-dimension limit. This proves and generalizes a conjecture of Bufetov and Gorin, and leads to a Law of Large Numbers for the BPP observables of the LR process which holds in any and all semiclassical scalings.
Higher order representation stability and ordered configuration spaces of manifolds
Published in Geom. Topol. 23 (2019) 2519-2591
• View Publication
• BIB
Using the language of twisted skew-commutative algebras, we define \emph{secondary representation stability}, a stability pattern in the {\it unstable} homology of spaces that are representation stable in the sense of Church, Ellenberg, and Farb. We show that the rational homology of configuration spaces of ordered points in noncompact manifolds satisfies secondary representation stability. While representation stability for the homology of configuration spaces involves stabilizing by introducing a point ``near infinity,'' secondary representation stability involves stabilizing by introducing a pair of orbiting points -- an operation that relates homology groups in different homological degrees. This result can be thought of as a representation-theoretic analogue of \emph{secondary homological stability} in the sense of Galatius, Kupers, and Randal-Williams. In the course of the proof we establish some additional results: we give a new characterization of the homology of the complex of injective words, and we give a new proof of integral representation stability for configuration spaces of noncompact manifolds, extending previous results to nonorientable manifolds.
Discrimination of Graph Isomorphism Classes by Continuous Spectrum and Split Technique
The graph isomorphism problem is a main problem which has numerous applications in different fields. Thus, finding an efficient and easy to implement method to discriminate non-isomorphic graphs is valuable. In this paper, a new method is introduced which is very simple and easy to implement, but very efficient in discriminating non-isomorphic graphs, in practice. This method does not need any heuristic attempt and based on the eigenvalues of a new matrix representation for graphs. It, almost always, separates non-isomorphic $n$-vertex graphs in time $O(n^3)$ and in worst cases such as strongly regular graphs, in time $O(n^4)$. Here, we show that this method, successfully, characterizes the isomorphism classes of studied instances of strongly regular graphs (up to 64 vertices). Strongly regular graphs are believed to be hard cases of the graph isomorphism problem.
Faces of highest weight modules and the universal Weyl polyhedron
Published in Advances in Mathematics 319 (2017), 111-152
• View Publication
• BIB
Let $V$ be a highest weight module over a Kac-Moody algebra $\mathfrak{g}$, and let conv $V$ denote the convex hull of its weights. We determine the combinatorial isomorphism type of conv $V$, i.e. we completely classify the faces and their inclusions. In the special case where $\mathfrak{g}$ is semisimple, this brings closure to a question studied by Cellini-Marietti [IMRN 2015] for the adjoint representation, and by Khare [J. Algebra 2016; Trans. Amer. Math. Soc. 2017] for most modules. The determination of faces of finite-dimensional modules up to the Weyl group action and some of their inclusions also appears in previous work of Satake [Ann. of Math. 1960], Borel-Tits [IHES Publ. Math. 1965], Vinberg [Izv. Akad. Nauk 1990], and Casselman [Austral. Math. Soc. 1997].
For any subset of the simple roots, we introduce a remarkable convex cone which we call the universal Weyl polyhedron, which controls the convex hulls of all modules parabolically induced from the corresponding Levi factor. Namely, the combinatorial isomorphism type of the cone stores the classification of faces for all such highest weight modules, as well as how faces degenerate as the highest weight gets increasingly singular. To our knowledge, this cone is new in finite and infinite type.
We further answer a question of Michel Brion, by showing that the localization of conv $V$ along a face is always the convex hull of the weights of a parabolically induced module. Finally, as we determine the inclusion relations between faces representation-theoretically from the set of weights, without recourse to convexity, we answer a similar question for highest weight modules over symmetrizable quantum groups.
Drinfeld Orbifold Algebras for Symmetric Groups
Published
• View Publication
• BIB
Drinfeld orbifold algebras are a type of deformation of skew group algebras generalizing graded Hecke algebras of interest in representation theory, algebraic combinatorics, and noncommutative geometry. In this article, we classify all Drinfeld orbifold algebras for symmetric groups acting by the natural permutation representation. This provides, for nonabelian groups, infinite families of examples of Drinfeld orbifold algebras that are not graded Hecke algebras. We include explicit descriptions of the maps recording commutator relations and show there is a one-parameter family of such maps supported only on the identity and a three-parameter family of maps supported only on 3-cycles and 5-cycles. Each commutator map must satisfy properties arising from a Poincaré-Birkhoff-Witt condition on the algebra, and our analysis of the properties illustrates reduction techniques using orbits of group element factorizations and intersections of fixed point spaces.
Multiplicative richness of additively large sets in $\mathbb{Z}^d$
In their proof of the IP Szemerédi theorem, a far reaching extension of the classic theorem of Szemerédi on arithmetic progressions, Furstenberg and Katznelson introduced an important class of additively large sets called $\text{IP}_{\text{r}}^*$ sets which underlies recurrence aspects in dynamics and is instrumental to enhanced formulations of combinatorial results. The authors recently showed that additive $\text{IP}_{\text{r}}^*$ subsets of $\mathbb{Z}^d$ are multiplicatively rich with respect to every multiplication on $\mathbb{Z}^d$ without zero divisors (e.g. multiplications induced by degree $d$ number fields). In this paper, we explain the relationships between classes of multiplicative largeness with respect to different multiplications on $\mathbb{Z}^d$. We show, for example, that in contrast to the case for $\mathbb{Z}$, there are infinitely many different notions of multiplicative piecewise syndeticity for subsets of $\mathbb{Z}^d$ when $d \geq 2$. This is accomplished by using the associated algebra representations to prove the existence of sets which are large with respect to some multiplications while small with respect to others. In the process, we give necessary and sufficient conditions for a linear transformation to preserve a class of multiplicatively large sets. One consequence of our results is that additive $\text{IP}_{\text{r}}^*$ sets are multiplicatively rich in infinitely many genuinely different ways. We conclude by cataloging a number of sources of additive $\text{IP}_{\text{r}}^*$ sets from combinatorics and dynamics.
Weighted Hurwitz numbers and topological recursion: an overview
Published in J. Math. Phys. {\bf 59}, 081102 (2018)
• View Publication
• BIB
Multiparametric families of hypergeometric $τ$-functions of KP or Toda type serve as generating functions for weighted Hurwitz numbers, providing weighted enumerations of branched covers of the Riemann sphere. A graphical interpretation of the weighting is given in terms of constellations mapped onto the covering surface. The theory is placed within the framework of topological recursion, with the Baker function at ${\bf t} ={\bf 0}$ shown to satisfy the quantum spectral curve equation, whose classical limit is rational. A basis for the space of formal power series in the spectral variable is generated that is adapted to the Grassmannian element associated to the $τ$-function. Multicurrent correlators are defined in terms of the $τ$-function and shown to provide an alternative generating function for weighted Hurwitz numbers. Fermionic VEV representations are provided for the adapted bases, pair correlators and multicurrent correlators. Choosing the weight generating function as a polynomial, and restricting the number of nonzero "second" KP flow parameters in the Toda $τ$-function to be finite implies a finite rank covariant derivative equation with rational coefficients satisfied by a finite "window" of adapted basis elements. The pair correlator is shown to provide a Christoffel-Darboux type finite rank integrable kernel, and the WKB series coefficients of the associated adjoint system are computed recursively, leading to topological recursion relations for the generators of the weighted Hurwitz numbers.