representation ↗ reference
4143 papers tagged with this keyword
Discrete Morse theory for the collapsibility of supremum sections
The Dushnik-Miller dimension of a poset $\le$ is the minimal number $d$ of linear extensions $\le_1, \ldots , \le_d$ of $\le$ such that $\le$ is the intersection of $\le_1, \ldots , \le_d$. Supremum sections are simplicial complexes introduced by Scarf and are linked to the Dushnik-Miller as follows: the inclusion poset of a simplicial complex is of Dushnik-Miller dimension at most $d$ if and only if it is included in a supremum section coming from a representation of dimension $d$. Collapsibility is a topoligical property of simplicial complexes which has been introduced by Whitehead and which resembles to shellability. While Ossona de Mendez proved in that a particular type of supremum sections are shellable, we show in this article that supremum sections are in general collapsible thanks to the discrete Morse theory developped by Forman.
Variations on the $S_n$-module $Lie_n$
We define, for each subset $S$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. When $S=\emptyset,$ this is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra.
The most intriguing case is $S=\{2\},$ giving a decomposition of the regular representation as a sum of {exterior} powers of modules $Lie_n^{(2)}.$ This is in contrast to the theorems of Poincaré-Birkhoff-Witt and Thrall which decompose the regular representation into a sum of symmetrised $Lie$ modules. We show that nearly every known property of $Lie_n$ has a counterpart for the module $Lie_n^{(2)},$ suggesting connections to the cohomology of configuration spaces via the character formulas of Sundaram and Welker, to the Eulerian idempotents of Gerstenhaber and Schack, and to the Hodge decomposition of the complex of injective words arising from Hochschild homology, due to Hanlon and Hersh.
For arbitrary $S,$ the symmetric and exterior powers of the module $Lie_n^S$ allow us to deduce Schur positivity for a new class of multiplicity-free sums of power sums.
Liminal reciprocity and factorization statistics
Published
• View Publication
• BIB
Let $M_{d,n}(q)$ denote the number of monic irreducible polynomials in $\mathbb{F}_q[x_1, x_2, \ldots , x_n]$ of degree $d$. We show that for a fixed degree $d$, the sequence $M_{d,n}(q)$ converges $q$-adically to an explicitly determined rational function $M_{d,\infty}(q)$. Furthermore we show that the limit $M_{d,\infty}(q)$ is related to the classic necklace polynomial $M_{d,1}(q)$ by an involutive functional equation, leading to a phenomenon we call liminal reciprocity. The limiting first moments of factorization statistics for squarefree polynomials are expressed in terms of a family of symmetric group representations as a consequence of liminal reciprocity.
Frieze varieties : A characterization of the finite-tame-wild trichotomy for acyclic quivers
Published
• View Publication
• BIB
We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver.
We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, respectively, if and only if the dimension of its frieze variety is $0,1$, or $\ge2$, respectively.
Spectrahedral Lifts of Convex Sets
Published
• View Publication
• BIB
Efficient representations of convex sets are of crucial importance for many algorithms that work with them. It is well-known that sometimes, a complicated convex set can be expressed as the projection of a much simpler set in higher dimensions called a lift of the original set. This is a brief survey of recent developments in the topic of lifts of convex sets. Our focus will be on lifts that arise from affine slices of real positive semidefinite cones known as psd or spectrahedral lifts. The main result is that projection representations of a convex set are controlled by factorizations, through closed convex cones, of an operator that comes from the convex set. This leads to several research directions and results that lie at the intersection of convex geometry, combinatorics, real algebraic geometry, optimization, computer science and more.
Rigid reflections and Kac--Moody algebras
Published
• View Publication
• BIB
Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.
Dimension-independent statistics of $Gl_n(F_q)$ via character polynomials
Published in Proc. of the AMS (2019)
• View Publication
• BIB
Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously to symmetric groups, finite linear groups and many other settings.
Parallel Translates of Represented Matroids
Published
• View Publication
• BIB
Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.
Coxeter groups and quiver representations
Published
• View Publication
• BIB
In this expository note, I showcase the relevance of Coxeter groups to quiver representations. I discuss (1) real and imaginary roots, (2) reflection functors, and (3) torsion free classes and c-sortable elements. The first two topics are classical, while the third is a more recent development. I show that torsion free classes in rep Q containing finitely many indecomposables correspond bijectively to c-sortable elements in the corresponding Weyl group. This was first established in Dynkin type by Ingalls and Thomas; it was shown in general by Amiot, Iyama, Reiten, and Todorov. The proof in this note is elementary, essentially following the argument of Ingalls and Thomas, but without the assumption that Q is Dynkin.
Generalized distance domination problems and their complexity on graphs of bounded mim-width
Published
• View Publication
• BIB
We generalize the family of $(σ, ρ)$-problems and locally checkable vertex partition problems to their distance versions, which naturally captures well-known problems such as distance-$r$ dominating set and distance-$r$ independent set. We show that these distance problems are XP parameterized by the structural parameter mim-width, and hence polynomial on graph classes where mim-width is bounded and quickly computable, such as $k$-trapezoid graphs, Dilworth $k$-graphs, (circular) permutation graphs, interval graphs and their complements, convex graphs and their complements, $k$-polygon graphs, circular arc graphs, complements of $d$-degenerate graphs, and $H$-graphs if given an $H$-representation. To supplement these findings, we show that many classes of (distance) $(σ, ρ)$-problems are W[1]-hard parameterized by mim-width + solution size.
The Whitney Duals of a Graded Poset
We introduce the notion of a \emph{Whitney dual} of a graded poset. Two posets are Whitney duals to each other if (the absolute value of) their Whitney numbers of the first and second kind are interchanged between the two posets. We define new types of edge and chain-edge labelings which we call \emph{Whitney labelings}. We prove that every graded poset with a Whitney labeling has a Whitney dual. Moreover, we show how to explicitly construct a Whitney dual using a technique involving quotient posets.
As applications of our main theorem, we show that geometric lattices, the lattice of noncrossing partitions, the poset of weighted partitions studied by González D'León-Wachs, and most of the R$^*$S-labelable posets studied by Simion-Stanley all have Whitney duals. Our technique gives a combinatorial description of a Whitney dual of the noncrossing partition lattice in terms of a family of noncrossing Dyck paths. Our method also provides an explanation of the Whitney duality between the poset of weighted partitions and a poset of rooted forests studied by Reiner and Sagan. An integral part of this explanation is a new chain-edge labeling for the poset of weighted partitions which we show is a Whitney labeling.
Finally, we show that a graded poset with a Whitney labeling admits a local action of the $0$-Hecke algebra of type $A$ on its set of maximal chains. The characteristic of the associated representation is Ehrenborg's flag quasisymmetric function. The existence of this action implies, using a result of McNamara, that when the maximal intervals of the constructed Whitney duals are bowtie-free, they are also snellable. In the case where these maximal intervals are lattices, they are supersolvable.
Implicit representation conjecture for semi-algebraic graphs
Published
• View Publication
• BIB
The implicit representation conjecture concerns hereditary families of graphs. Given a graph in such a family, we want to assign some string of bits to each vertex in such a way that we can recover the information about whether 2 vertices are connected or not using only the 2 strings of bits associated with those two vertices. We then want to minimise the length of this string. The conjecture states that if the family is hereditary and small enough (it only has $2^{O(n\ln(n))}$ graphs of size $n$), then $O(\ln(n))$ bits per vertex should be sufficient. The trivial bounds on this problem are that: (1) some families require at least $\ln_2(n)$ bits per vertex ; (2) $(n-1)/2+\ln_2(n)$ bits per vertex are sufficient for all families.
In this paper, we will be talking about a special case of the implicit representation conjecture, where the family is semi-algebraic (which roughly means that the vertices are points in some euclidean space, and the edges are defined geometrically, or according to some polynomials). We will first prove that the `obvious' way of storing the information, where we store an approximation of the coordinates of each vertex, doesn't work. Then we will come up with a way of storing the information that requires $O(n^{1-ε})$ bits per vertex, where $ε$ is some small constant depending only on the family. This is a slight improvement over the trivial bound, but is still a long way from proving the conjecture.
A Spin Analogue of Kerov Polynomials
Published in SIGMA 14 (2018), 053, 13 pages
• View Publication
• BIB
Kerov polynomials describe normalized irreducible characters of the symmetric groups in terms of the free cumulants associated with Young diagrams. We suggest well-suited counterparts of the Kerov polynomials in spin (or projective) representation settings. We show that spin analogues of irreducible characters are polynomials in even free cumulants associated with double diagrams of strict partitions. Moreover, we present a conjecture for the positivity of their coefficients.
On k-11-representable graphs
Published
• View Publication
• BIB
Distinct letters $x$ and $y$ alternate in a word $w$ if after deleting in $w$ all letters but the copies of $x$ and $y$ we either obtain a word of the form $xyxy\cdots$ (of even or odd length) or a word of the form $yxyx\cdots$ (of even or odd length). A simple graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy$ is an edge in $E$. Thus, edges of $G$ are defined by avoiding the consecutive pattern 11 in a word representing $G$, that is, by avoiding $xx$ and $yy$.
In 2017, Jeff Remmel has introduced the notion of a $k$-$11$-representable graph for a non-negative integer $k$, which generalizes the notion of a word-representable graph. Under this representation, edges of $G$ are defined by containing at most $k$ occurrences of the consecutive pattern $11$ in a word representing $G$. Thus, word-representable graphs are precisely $0$-$11$-representable graphs. Our key result in this paper is showing that any graph is $2$-$11$-representable by a concatenation of permutations, which is rather surprising taking into account that concatenation of permutations has limited power in the case of $0$-$11$-representation. Also, we show that the class of word-representable graphs, studied intensively in the literature, is contained strictly in the class of $1$-$11$-representable graphs. Another result that we prove is the fact that the class of interval graphs is precisely the class of $1$-$11$-representable graphs that can be represented by uniform words containing two copies of each letter. This result can be compared with the known fact that the class of circle graphs is precisely the class of $0$-$11$-representable graphs that can be represented by uniform words containing two copies of each letter.
Multilinear representations of Free PROs
Published
• View Publication
• BIB
We describe a structure of PRO on hypermatrices. This structure allows us to define multilinear representations of PROs and in particular of free Pros. As an example of applications, we investigate the relations of the representations of Pros with the theory of automata.
Categorical relations between Langlands dual quantum affine algebras: Exceptional cases
Published in Comm. Math. Phys., 368(1) (2019), pp. 295-367
• View Publication
• BIB
We first compute the denominator formulas for quantum affine algebras of all exceptional types. Then we prove the isomorphisms among Grothendieck rings of categories $C_Q^{(t)}$ $(t=1,2,3)$, $\mathscr{C}_{\mathscr{Q}}^{(1)}$ and $\mathscr{C}_{\mathfrak{Q}}^{(1)}$. These results give Dorey's rule for all exceptional affine types, prove the conjectures of Kashiwara-Kang-Kim and Kashiwara-Oh, and provides the partial answers of Frenkel-Hernandez on Langlands duality for finite dimensional representations of quantum affine algebras of exceptional types.
Cylindric Reverse Plane Partitions and 2D TQFT
Published in Séminaire Lotharingien de Combinatoire - FPSAC 2018, 80B, 30
• Search Publication
The ring of symmetric functions carries the structure of a Hopf algebra. When computing the coproduct of complete symmetric functions $h_λ$ one arrives at weighted sums over reverse plane partitions (RPP) involving binomial coefficients. Employing the action of the extended affine symmetric group at fixed level $n$ we generalise these weighted sums to cylindric RPP and define cylindric complete symmetric functions. The latter are shown to be $h$-positive, that is, their expansions coefficients in the basis of complete symmetric functions are non-negative integers. We state an explicit formula in terms of tensor multiplicities for irreducible representations of the generalised symmetric group. Moreover, we relate the cylindric complete symmetric functions to a 2D topological quantum field theory (TQFT) that is a generalisation of the celebrated $\mathfrak{\widehat{sl}}_n$-Verlinde algebra or Wess-Zumino-Witten fusion ring, which plays a prominent role in the context of vertex operator algebras and algebraic geometry.
On a problem of Sárközy and Sós for multivariate linear forms
We prove that for pairwise co-prime numbers $k_1,\dots,k_d \geq 2$ there does not exist any infinite set of positive integers $A$ such that the representation function $r_A (n) = \{ (a_1, \dots, a_d) \in A^d : k_1 a_1 + \dots + k_d a_d = n \}$ becomes constant for $n$ large enough. This result is a particular case of our main theorem, which poses a further step towards answering a question of Sárközy and Sós and widely extends a previous result of Cilleruelo and Rué for bivariate linear forms.
Donaldson-Thomas invariants, torus knots, and lattice paths
Published in Phys. Rev. D 98, 026022 (2018)
• View Publication
• BIB
In this paper we find and explore the correspondence between quivers, torus knots, and combinatorics of counting paths. Our first result pertains to quiver representation theory -- we find explicit formulae for classical generating functions and Donaldson-Thomas invariants of an arbitrary symmetric quiver. We then focus on quivers corresponding to $(r,s)$ torus knots and show that their classical generating functions, in the extremal limit and framing $rs$, are generating functions of lattice paths under the line of the slope $r/s$. Generating functions of such paths satisfy extremal A-polynomial equations, which immediately follows after representing them in terms of the Duchon grammar. Moreover, these extremal A-polynomial equations encode Donaldson-Thomas invariants, which provides an interesting example of algebraicity of generating functions of these invariants. We also find a quantum generalization of these statements, i.e. a relation between motivic quiver generating functions, quantum extremal knot invariants, and $q$-weighted path counting. Finally, in the case of the unknot, we generalize this correspondence to the full HOMFLY-PT invariants and counting of Schröder paths.
Analysis of Summatory Functions of Regular Sequences: Transducer and Pascal's Rhombus
Published in 29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms (AofA 2018), Leibniz International Proceedings in Informatics (LIPIcs), vol 110
• View Publication
• BIB
The summatory function of a $q$-regular sequence in the sense of Allouche and Shallit is analysed asymptotically. The result is a sum of periodic fluctuations for eigenvalues of absolute value larger than the joint spectral radius of the matrices of a linear representation of the sequence. The Fourier coefficients of the fluctuations are expressed in terms of residues of the corresponding Dirichlet generating function. A known pseudo Tauberian argument is extended in order to overcome convergence problems in Mellin--Perron summation.
Two examples are discussed in more detail: The case of sequences defined as the sum of outputs written by a transducer when reading a $q$ary expansion of the input and the number of odd entries in the rows of Pascal's rhombus.