representation ↗ reference
4143 papers tagged with this keyword
Reconstructing Partitions from their Multisets of $k$-Minors
For non-negative integers $n$ and $k$ with $n \ge k$, a {\em $k$-minor} of a partition $λ= [λ_1, λ_2, \dots]$ of $n$ is a partition $μ= [μ_1, μ_2, \dots]$ of $n-k$ such that $μ_i \le λ_i$ for all $i$. The multiset $\widehat{M}_k(λ)$ of $k$-minors of $λ$ is defined as the multiset of $k$-minors $μ$ with multiplicity of $μ$ equal to the number of standard Young tableaux of skew shape $λ/ μ$. We show that there exists a function $G(n)$ such that the partitions of $n$ can be reconstructed from their multisets of $k$-minors if and only if $k \le G(n)$. Furthermore, we prove that $\lim_{n \rightarrow \infty} G(n)/n = 1$ with $n-G(n) = O(n/\log n)$. As a direct consequence of this result, the irreducible representations of the symmetric group $S_n$ can be reconstructed from their restrictions to $S_{n-k}$ if and only if $k \le G(n)$ for the same function $G(n)$. For a minor $μ$ of the partition $λ$, we study the excitation factor $E_μ(λ)$, which appears as a crucial part in Naruse's Skew-Shape Hook Length Formula. We observe that certain excitation factors of $λ$ can be expressed as a $\mathbb{Q}[k]$-linear combination of the elementary symmetric polynomials of the hook lengths in the first row of $λ$ where $k = λ_1$ is the number of cells in the first row of $λ$.
Drawing graphs using a small number of obstacles
Published
• View Publication
• BIB
An obstacle representation of a graph $G$ is a set of points in the plane representing the vertices of $G$, together with a set of polygonal obstacles such that two vertices of $G$ are connected by an edge in $G$ if and only if the line segment between the corresponding points avoids all the obstacles. The obstacle number ${\rm obs}(G)$ of $G$ is the minimum number of obstacles in an obstacle representation of $G$.
We provide the first non-trivial general upper bound on the obstacle number of graphs by showing that every $n$-vertex graph $G$ satisfies ${\rm obs}(G) \leq n\lceil\log{n}\rceil-n+1$. This refutes a conjecture of Mukkamala, Pach, and Pálvölgyi. For $n$-vertex graphs with bounded chromatic number, we improve this bound to $O(n)$. Both bounds apply even when the obstacles are required to be convex.
We also prove a lower bound $2^{Ω(hn)}$ on the number of $n$-vertex graphs with obstacle number at most $h$ for $h<n$ and a lower bound $Ω(n^{4/3}M^{2/3})$ for the complexity of a collection of $M \geq Ω(n\log^{3/2}{n})$ faces in an arrangement of line segments with $n$ endpoints. The latter bound is tight up to a multiplicative constant.
The Chow form of a reciprocal linear space
Published
• View Publication
• BIB
A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.
A property of the Birkhoff polytope
Published in Algebraic Combinatorics 1 (2018), no. 2, p. 275--281
• View Publication
• BIB
The Birkhoff polytope $B_n$ is the convex hull of all $n\times n$ permutation matrices in $\mathbb{R}^{n\times n}$. We compute the combinatorial symmetry group of the Birkhoff polytope.
A representation polytope is the convex hull of some finite matrix group $G\leq \operatorname{GL}(d,\mathbb{R})$. We show that the group of permutation matrices is essentially the only finite matrix group which yields a representation polytope with the same face lattice as the Birkhoff polytope.
The Face Structure and Geometry of Marked Order Polyhedra
Published
• View Publication
• BIB
We study a class of polyhedra associated to marked posets. Examples of these polyhedra are Gelfand-Tsetlin polytopes and cones, as well as Berenstein-Zelevinsky polytopes, all of which have appeared in the representation theory of semi-simple Lie algebras. The faces of these polyhedra correspond to certain partitions of the underlying poset and we give a combinatorial characterization of these partitions. We specify a class of marked posets that give rise to polyhedra with facets in correspondence to the covering relations of the poset. On the convex geometrical side, we describe the recession cone of the polyhedra, discuss products and give a Minkowski sum decomposition. We briefly discuss intersections with affine subspaces that have also appeared in representation theory and recently in the theory of finite Hilbert space frames.
On a Graph Connecting Hyperbinary Expansions
Published
• View Publication
• BIB
Le n be any positive integer. A hyperbinary expansion of n is are presentation of n as sum of powers of 2, each power being used at most twice. In this paper we study some properties of a suitable edge-coloured and vertex-weighted oriented graph A(n) whose nodes are precisely the several hyperbinary representations of n. In particular, we identify those integers m in N such that the fundamental group of A(m) is abelian.
Optimal line packings from nonabelian groups
Published
• View Publication
• BIB
We use group schemes to construct optimal packings of lines through the origin. In this setting, optimal line packings are naturally characterized using representation theory, which in turn leads to a necessary integrality condition for the existence of equiangular central group frames. We conclude with an infinite family of optimal line packings using the group schemes associated with certain Suzuki 2-groups, specifically, extensions of Heisenberg groups. Notably, this is the first known infinite family of equiangular tight frames generated by representations of nonabelian groups.
Algebraic functions with Fermat property, eigenvalues of transfer operator and Riemann zeros, and other open problems
In this note we list a number of open problems in the fields of number theory, combinatorics, and representation theory: algebraic functions with Fermat property; power product expansion of the generating function for the partition function; relation between the non-trivial Riemann zeros and eigenvalues of the transfer operator; functional equation related to norm forms; two problems from geometric combinatorics; a problem on the moments of the Minkowski question mark function; a question in representation theory; a problem on interpolating the moments of the Stern's diatomic sequence; an arithmetic properties of the binary composition function.
Local and Union Boxicity
The boxicity $\operatorname{box}(H)$ of a graph $H$ is the smallest integer $d$ such that $H$ is the intersection of $d$ interval graphs, or equivalently, that $H$ is the intersection graph of axis-aligned boxes in $\mathbb{R}^d$. These intersection representations can be interpreted as covering representations of the complement $H^c$ of $H$ with co-interval graphs, that is, complements of interval graphs. We follow the recent framework of global, local and folded covering numbers (Knauer and Ueckerdt, Discrete Mathematics 339 (2016)) to define two new parameters: the local boxicity $\operatorname{box}_\ell(H)$ and the union boxicity $\overline{\operatorname{box}}(H)$ of $H$. The union boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with $d$ vertex-disjoint unions of co-interval graphs, while the local boxicity of $H$ is the smallest $d$ such that $H^c$ can be covered with co-interval graphs, at most $d$ at every vertex.
We show that for every graph $H$ we have $\operatorname{box}_\ell(H) \leq \overline{\operatorname{box}}(H) \leq \operatorname{box}(H)$ and that each of these inequalities can be arbitrarily far apart. Moreover, we show that local and union boxicity are also characterized by intersection representations of appropriate axis-aligned boxes in $\mathbb{R}^d$. We demonstrate with a few striking examples, that in a sense, the local boxicity is a better indication for the complexity of a graph, than the classical boxicity.
Hilbert schemes of points on some classes of surface singularities
Published
• View Publication
• BIB
We study the geometry and topology of Hilbert schemes of points on the orbifold surface [C^2/G], respectively the singular quotient surface C^2/G, where G is a finite subgroup of SL(2,C) of type A or D. We give a decomposition of the (equivariant) Hilbert scheme of the orbifold into affine space strata indexed by a certain combinatorial set, the set of Young walls. The generating series of Euler characteristics of Hilbert schemes of points of the singular surface of type A or D is computed in terms of an explicit formula involving a specialized character of the basic representation of the corresponding affine Lie algebra; we conjecture that the same result holds also in type E. Our results are consistent with known results for type A, and are new for type D. The crystal basis theory of the fundamental representation of the affine Lie algebra corresponding to the surface singularity (via the McKay correspondence) plays an important role in our approach. The result gives a generalization of Göttsche's formula and has interesting modular properties related to the S-duality conjecture.
The moduli space of torsion free sheaves on surfaces are higher rank analogs of the Hilbert schemes. In type A our results reveal their Euler characteristic generating function as well. Another very interesting class of normal surface singularities is the so-called cyclic quotient singularities of type (p,1). As an outlook we also obtain some results about the associated generating functions.
A Computer Algebra Package for Polynomial Sequence Recognition
The software package developed in the MS thesis research implements functions for the intelligent guessing of polynomial sequence formulas based on user-defined expected sequence factors of the input coefficients. We present a specialized hybrid approach to finding exact representations for polynomial sequences that is motivated by the need for an automated procedures to discover the precise forms of these sums based on user guidance, or intuition, as to special sequence factors present in the formulas. In particular, the package combines the user input on the expected special sequence factors in the polynomial coefficient formulas with calls to the existing functions as subroutines that then process formulas for the remaining sequence terms already recognized by these packages.
The factorization-based approach to polynomial sequence recognition is unique to this package and allows the search functions to find expressions for polynomial sums involving Stirling numbers and other special triangular sequences that are not readily handled by other software packages. In contrast to many other sequence recognition and summation software, the package not provide an explicit proof, or certificate, for the correctness of these sequence formulas -- only computationally guided educated guesses at a complete identity generating the sequence over all $n$. The thesis contains a number of concrete, working examples of the package that are intended to both demonstrate its usage and to document its current sequence recognition capabilities.
Matrix representations of frame and lifted-graphic matroids correspond to gain functions
Published
• View Publication
• BIB
Let $M$ be a 3-connected matroid and let $\mathbb F$ be a field. Let $A$ be a matrix over $\mathbb F$ representing $M$ and let $(G,\mathcal B)$ be a biased graph representing $M$. We characterize the relationship between $A$ and $(G,\mathcal B)$, settling four conjectures of Zaslavsky. We show that for each matrix representation $A$ and each biased graph representation $(G,\mathcal{B})$ of $M$, $A$ is projectively equivalent to a canonical matrix representation arising from $G$ as a gain graph over $\mathbb F^+$ or $\mathbb F^\times$ realizing $\mathcal{B}$. Further, we show that the projective equivalence classes of matrix representations of $M$ are in one-to-one correspondence with the switching equivalence classes of gain graphs arising from $(G,\mathcal B)$, except in one degenerate case.
Abelian Squares and Their Progenies
A polynomial $P \in \mathbb{C}[z_1, \ldots, z_d]$ is strongly $\mathbb{D}^d$-stable if $P$ has no zeroes in the closed unit polydisc $\overline{\mathbb{D}}^d.$ For such a polynomial define its spectral density function as $\mathcal{S}_P(\mathbf{z}) = \left(P(\mathbf{z})\overline{P(1/\overline{\mathbf{z}})}\right)^{-1}.$ An abelian square is a finite string of the form $ww'$ where $w'$ is a rearrangement of $w.$
We examine a polynomial-valued operator whose spectral density function's Fourier coefficients are all generating functions for combinatorial classes of constrained finite strings over a $d$-character alphabet. These classes generalize the notion of an abelian square, and their associated generating functions are the Fourier coefficients of one, and essentially only one, $L^2(\mathbb{T}^d)$-valued operator. Integral representations, divisibility properties, and recurrent and asymptotic behavior of the coefficients of these generating functions are given as consequences. Tools in the derivations of our asymptotic formulas include a version of Laplace's method for sums over lattice point translations due to Greenhill, Janson, and Ruciński, a version of stationary phase method for oscillatory integrals with complex phase due to Pemantle and Wilson, and various polynomial identities related to powers of modified Bessel functions of the first kind due to Moll and Vignat.
Automorphism groups of a class of cubic Cayley graphs on symmetric groups
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of degree $n$ with $n\geq 3$. Set $S=\{c_n=(1\ 2\ldots \ n),c_n^{-1},(1\ 2)\}$. Let $Γ_n=\mathrm{Cay}(S_n,S)$ be the Cayley graph on $S_n$ with respect to $S$. In this paper, we show that $Γ_n$ ($n\geq 13$) is a normal Cayley graph, and that the full automorphism group of $Γ_n$ is equal to $\mathrm{Aut}(Γ_n)=R(S_n)\rtimes \langle\mathrm{Inn}(φ)\rangle\cong S_n\rtimes \mathbb{Z}_2$, where $R(S_n)$ is the right regular representation of $S_n$, $φ=(1\ 2)(3\ n)(4\ n-1)(5\ n-2)\cdots$ $(\in S_n)$, and $\mathrm{Inn}(φ)$ is the inner isomorphism of $S_n$ induced by $φ$.
Matroidal Schur Algebras
Published
• View Publication
• BIB
Fix a principal ideal domain $k$. In this article we associate to a (weighted) matroid $M$ a quasi-hereditary algebra $R(M)$ defined over $k$ such that matroid duality corresponds to Ringel duality of quasi-hereditary algebras. The representation theory of these algebras is related to work of Schechtman-Varchenko and Brylawski-Varchenko. In characteristic zero, our algebras are also closely related to work of Kook-Reiner-Stanton and Denham.
Markov Chains from Descent Operators on Combinatorial Hopf Algebras
We develop a general theory for Markov chains whose transition probabilities are the coefficients of descent operators on combinatorial Hopf algebras. These model the breaking-then-recombining of combinational objects. Examples include the various card-shuffles of Diaconis, Fill and Pitman, Fulman's restriction-then-induction chains on the representations of the symmetric group, and a plethora of new chains on trees, partitions and permutations. The eigenvalues of these chains can be calculated in a uniform manner using Hopf algebra structure theory, and there is a simple expression for their stationary distributions. For an important subclass of chains analogous to the top-to-random shuffle, we derive a full right eigenbasis, from which follow exact expressions for expectations of certain statistics of interest. This greatly generalises the coproduct-then-product chains previously studied in joint work with Persi Diaconis and Arun Ram.
Tensor diagrams and Chebyshev polynomials
Published in International Mathematics Research Notices, 2018, pp.1-61
• View Publication
• BIB
In this paper, we describe a class of elements in the ring of $\mathrm{SL}(V)$-invariant polynomial functions on the space of configurations of vectors and linear forms of a 3-dimensional vector space $V.$ These elements are related to one another by an induction formula using Chebyshev polynomials. We also investigate the relation between these polynomials and G. Lusztig's dual canonical basis in tensor products of representations of $U_q(\mathfrak{sl}_3(\mathbb C)).$
Schur partition theorems via perfect crystal
Motivated by spin modular representations of the symmetric groups, we propose two generalizations of the Schur regular partitions for an odd integer $p\geq 3$. One forms a subset of the set of $p$-strict partitions, and the other forms that of strict partitions. We prove that each set has a basic $A^{(2)}_{p-1}$-crystal structure. For $p=3$, it reproves Schur's 1926 partition theorem, a mod 6 analog of Rogers-Ramanujan partition theorem (RRPT). For $p=5$, it gives a computer-free proof of a conjecture by Andrews during his 3-parameter generalization of RRPT, which was first proved by Andrews-Bessenrodt-Olsson.
Knuth's Coherent Presentations of Plactic Monoids of Type A
Published
• View Publication
• BIB
We construct finite coherent presentations of plactic monoids of type A. Such coherent presentations express a system of generators and relations for the monoid extended in a coherent way to give a family of generators of the relations amongst the relations. Such extended presentations are used for representations of monoids, in particular, it is a way to describe actions of monoids on categories. Moreover, a coherent presentation provides the first step in the computation of a categorical cofibrant replacement of a monoid. Our construction is based on a rewriting method introduced by Squier that computes a coherent presentation from a convergent one. We compute a finite coherent presentation of a plactic monoid from its column presentation that is known to be finite and convergent. Finally, we show how to reduce this coherent presentation to a Tietze equivalent one having Knuth's generators.
Flow polynomials as Feynman amplitudes and their $α$-representation
Published in Electron. J. Combin., vol. 24, (2017), no.1, paper 11, 19
• View Publication
• BIB
Let $G$ be a connected graph; denote by $τ(G)$ the set of its spanning trees. Let $\mathbb F_q$ be a finite field, $s(α,G)=\sum_{T\inτ(G)} \prod_{e \in E(T)} α_e$, where ${α_e\in \mathbb F_q}$. Kontsevich conjectured in 1997 that the number of nonzero values of $s(α, G)$ is a polynomial in $q$ for all graphs. This conjecture was disproved by Brosnan and Belkale. In this paper, using the standard technique of the Fourier transformation of Feynman amplitudes, we express the flow polynomial $F_G(q)$ in terms of the "correct" Kontsevich formula. Our formula represents $F_G(q)$ as a linear combination of Legendre symbols of $s(α, H)$ with coefficients $\pm 1/q^{(|V(H)|-1)/2}$, where $H$ is a contracted graph of $G$ depending on $α\in \left(\mathbb F^*_q\right)^{E(G)}$, and $|V(H)|$ is odd. The case $q=5$ corresponds to the least number with which all coefficients in the linear combination are positive. This allows us to hope that the obtained result can be applied to prove the Tutte 5-flow conjecture.