representation ↗ reference
4143 papers tagged with this keyword
Partition functions and a generalized coloring-flow duality for embedded graphs
Published in Journal of Graph Theory, 88(2) (2018), 271-283
• View Publication
• BIB
Let $G$ be a finite group and $χ: G \rightarrow \mathbb{C}$ a class function. Let $H = (V,E)$ be a directed graph with for each vertex a cyclic order of the edges incident to it. The cyclic orders give a collection $F$ of faces of $H$. Define the partition function $P_χ(H) := \sum_{κ: E \rightarrow G}\prod_{v \in V}χ(κ(δ(v)))$, where $κ(δ(v))$ denotes the product of the $κ$-values of the edges incident with $v$ (in order), where the inverse is taken for any edge leaving $v$. Write $χ= \sum_λm_λχ_λ$, where the sum runs over irreducible representations $λ$ of $G$ with character $χ_λ$ and with $m_λ \in \mathbb{C}$ for every $λ$. If $H$ is connected, it is proved that $P_χ(H) = |G|^{|E|}\sum_λχ_λ(1)^{|F|-|E|}m_λ^{|V|}$, where $1$ is the identity element of $G$. Among the corollaries, a formula for the number of nowhere-identity $G$-flows on $H$ is derived, generalizing a result of Tutte. We show that these flows correspond bijectively to certain proper $G$-colorings of a covering graph of the dual graph of $H$. This correspondence generalizes coloring-flow duality for planar graphs.
Decomposition spaces in Combinatorics
A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.
On Garland's vanishing theorem for $\mathrm{SL}_n$
Published in European Journal of Mathematics 2 (2016), 579-613
• View Publication
• BIB
This is an expository paper on Garland's vanishing theorem specialized to the case when the linear algebraic group is $\mathrm{SL}_n$. Garland's theorem can be stated as a vanishing of the cohomology groups of certain finite simplicial complexes. The method of the proof is quite interesting on its own. It relates the vanishing of cohomology to the assertion that the minimal positive eigenvalue of a certain combinatorial laplacian is sufficiently large. Since the 1970's, this idea has found applications in a variety of problems in representation theory, group theory, and combinatorics, so the paper might be of interest to a wide audience. The paper is intended for non-specialists and graduate students.
Fair representation in the intersection of two matroids
Published
• View Publication
• BIB
For a simplicial complex ${\mathcal C}$ denote by $β({\mathcal C})$ the minimal number of edges from ${\mathcal C}$ needed to cover the ground set. If ${\mathcal C}$ is a matroid then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal C}$ meeting each $A_i$ in at least $\frac{|A_i|}{β({\mathcal C})}$ elements. We conjecture that a slightly weaker result is true for the intersections of two matroids: if ${\mathcal D}={\mathcal P} \cap {\mathcal Q}$, where ${\mathcal P},{\mathcal Q}$ are matroids on the same ground set $V$ and $β({\mathcal P}), β({\mathcal P}) \le k$, then for every partition $A_1, \ldots, A_m$ of the ground set there exists a set $S \in {\mathcal D}$ meeting each $A_i$ in at least $(\frac{1}{k}-\frac{1}{|V|})|A_i|-1$ elements. We prove this for a partition into two sets.
A Generalization of the Eulerian Numbers
In the present paper we generalize the Eulerian numbers (also of the second and third orders). The generalization is connected with an autonomous first-order differential equation, solutions of which are used to obtain integral representations of some numbers, including the Bernoulli numbers.
Structure of Polyzetas and Explicit Representation on Transcendence Bases of Shuffle and Stuffle Algebras
Published
• View Publication
• BIB
Polyzetas, indexed by words, satisfy shuffle and quasi-shuffle identities. In this respect, one can explore the multiplicative and algorithmic (locally finite) properties of their generating series. In this paper, we construct pairs of bases in duality on which polyzetas are established in order to compute local coordinates in the infinite dimensional Lie groups where their non-commutative generating series live. We also propose new algorithms leading to the ideal of polynomial relations, homogeneous in weight, among polyzetas (the graded kernel) and their explicit representation (as data structures) in terms of irreducible elements.
Towards a classification of finite-dimensional representations of rational Cherednik algebras of type D
Published
• View Publication
• BIB
Using a combinatorial description due to Jacon and Lecouvey of the wall crossing bijections for cyclotomic rational Cherednik algebras, we show that the irreducible representations $L_c(λ^\pm)$ of the rational Cherednik algebra $H_c(D_n, \mathbb{C}^n)$ of type $D$ for symmetric bipartitions $λ$ are infinite dimensional for all parameters $c$. In particular, all finite-dimensional irreducible representations of rational Cherednik algebras of type $D$ arise as restrictions of finite-dimensional irreducible representations of rational Cherednik algebras of type $B$.
Extensions of character formulas by the Littlewood decomposition
In 2015, the author proved combinatorially character formulas expressing sums of the (formal) dimensions of irreducible representations of symplectic groups, refining some works of Nekrasov and Okounkov, Han, King, and Westbury. In this article, we obtain generalizations of these character formulas, by using a bijection on integer partitions, namely the Littlewood decomposition, for which we prove new properties. As applications, we derive signed generating functions for subsets of integer partitions, and new hook length formulas.
A Note on Some Recent Results for the Bernoulli Numbers of the Second Kind
Published in Journal of Integer Sequences, vol. 20, no. 3, Article 17.3.8, pp. 1-7, 2017
• Search Publication
In a recent issue of the Bulletin of the Korean Mathematical Society, Qi and Zhang discovered an interesting integral representation for the Bernoulli numbers of the second kind (also known as Gregory's coefficients, Cauchy numbers of the first kind, and the reciprocal logarithmic numbers). The same representation also appears in many other sources, either with no references to its author, or with references to various modern researchers. In this short note, we show that this representation is a rediscovery of an old result obtained in the XIXth century by Ernst Schröder. We also demonstrate that the same integral representation may be readily derived by means of complex integration. Moreover, we discovered that the asymptotics of these numbers were also the subject of several rediscoveries, including very recent ones. In particular, the first-order asymptotics, which are usually (and erroneously) credited to Johan F. Steffensen, actually date back to the mid-XIXth century, and probably were known even earlier.
A $q$-series identity via the $\mathfrak{sl}_3$ colored Jones polynomials for the $(2,2m)$-torus link
Published in Proc. Amer. Math. Soc. (2018) vol. 146, no. 7, 355--374
• View Publication
• BIB
The colored Jones polynomial is a $q$-polynomial invariant of links colored by irreducible representations of a simple Lie algebra. A $q$-series called a tail is obtained as the limit of the $\mathfrak{sl}_2$ colored Jones polynomials $\{J_n(K;q)\}_n$ for some link $K$, for example, an alternating link. For the $\mathfrak{sl}_3$ colored Jones polynomials, the existence of a tail is unknown. We give two explicit formulas of the tail of the $\mathfrak{sl}_3$ colored Jones polynomials colored by $(n,0)$ for the $(2,2m)$-torus link. These two expressions of the tail provide an identity of $q$-series. This is a knot-theoretical generalization of the Andrews-Gordon identities for the Ramanujan false theta function.
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.