representation ↗ reference
4053 papers tagged with this keyword
On the normalized spectrum of threshold graphs
Published
• View Publication
• BIB
In this article we investigate normalized adjacency eigenvalues (simply normalized eigenvalues) and normalized adjacency energy of connected threshold graphs. A threshold graph can always be represented as a unique binary string. Certain eigenvalues are obtained directly from its binary representation and the rest of the eigenvalues are evaluated from its normalized equitable partition matrix. Finally, we characterize threshold graphs with at most five distinct eigenvalues.
Quasi-polynomiality of monotone orbifold Hurwitz numbers and Grothendieck's dessins d'enfants
Published in Doc. Math. 24 (2019), 857-898
• View Publication
• BIB
We prove quasi-polynomiality for monotone and strictly monotone orbifold Hurwitz numbers. The second enumerative problem is also known as enumeration of a special kind of Grothendieck's dessins d'enfants or $r$-hypermaps. These statements answer positively two conjectures proposed by Do-Karev and Do-Manescu. We also apply the same method to the usual orbifold Hurwitz numbers and obtain a new proof of the quasi-polynomiality in this case.
In the second part of the paper we show that the property of quasi-polynomiality is equivalent in all these three cases to the property that the $n$-point generating function has a natural representation on the $n$-th cartesian powers of a certain algebraic curve. These representations are the necessary conditions for the Chekhov-Eynard-Orantin topological recursion.
Characteristic polynomials of Linial arrangements for exceptional root systems
Published in Journal of Combinatorial Theory, Series A. 157 (2018) 267-286
• View Publication
• BIB
The (extended) Linial arrangement $\mathcal{L}_Φ^m$ is a certain finite truncation of the affine Weyl arrangement of a root system $Φ$ with a parameter $m$. Postnikov and Stanley conjectured that all roots of the characteristic polynomial of $\mathcal{L}_Φ^m$ have the same real part, and this has been proved for the root systems of classical types. In this paper we prove that the conjecture is true for exceptional root systems when the parameter $m$ is sufficiently large. The proof is based on representations of the characteristic quasi-polynomials in terms of Eulerian polynomials.
Dual Ore's theorem for distributive intervals of small index
This paper proves a dual version of a theorem of Oystein Ore for every distributive interval of finite groups [H,G] of index |G:H|<9720, and for every boolean interval of rank <7. It has applications to representation theory for every finite group.
On lexicographic approximations of integer programs
We use the lexicographic order to define a hierarchy of primal and dual bounds on the optimum of a bounded integer program. These bounds are constructed using lex maximal and minimal feasible points taken under different permutations. Their strength is analyzed and it is shown that a family of primal bounds is tight for any $0\backslash 1$ program with nonnegative linear objective, and a different family of dual bounds is tight for any packing- or covering-type $0\backslash 1$ program with an arbitrary linear objective. The former result yields a structural characterization for the optimum of $0\backslash 1$ programs, with connections to matroid optimization, and a heuristic for general integer programs. The latter result implies a stronger polyhedral representation for the integer feasible points and a new approach for deriving strong valid inequalities to the integer hull. Since the construction of our bounds depends on the computation of lex optima, we derive explicit formulae for lex optima of some special polytopes, such as polytopes that are monotone with respect to each variable, and integral polymatroids and their base polytopes. We also classify $\mathrm{P}$ and $\mathrm{NP}$-$\mathrm{hard}$ cases of computing lex bounds and lex optima.
The Hodge theory of the Hecke category
Published
• View Publication
• BIB
Ideas from Hodge theory have found important applications in representation theory. We give a survey of joint work with Ben Elias which uncovers Hodge theoretic structure in the Hecke category ("Soergel bimodules"). We also outline similarities and differences to other combinatorial Hodge theories.
Conjectures involving a generalization of the sums of powers of integers
Published
• View Publication
• BIB
Some class of sums which naturally include the sums of powers of integers is considered. A number of conjectures concerning a representation of these sums is made.
NP-hard sets are not sparse unless P=NP: An exposition of a simple proof of Mahaney's Theorem, with applications
Mahaney's Theorem states that, assuming $\mathsf{P} \neq \mathsf{NP}$, no NP-hard set can have a polynomially bounded number of yes-instances at each input length. We give an exposition of a very simple unpublished proof of Manindra Agrawal whose ideas appear in Agrawal-Arvind ("Geometric sets of low information content," Theoret. Comp. Sci., 1996). This proof is so simple that it can easily be taught to undergraduates or a general graduate CS audience - not just theorists! - in about 10 minutes, which the author has done successfully several times. We also include applications of Mahaney's Theorem to fundamental questions that bright undergraduates would ask which could be used to fill the remaining hour of a lecture, as well as an application (due to Ikenmeyer, Mulmuley, and Walter, arXiv:1507.02955) to the representation theory of the symmetric group and the Geometric Complexity Theory Program. To this author, the fact that sparsity results on NP-complete sets have an application to classical questions in representation theory says that they are not only a gem of classical theoretical computer science, but indeed a gem of mathematics.
The canonical join complex
Published
• View Publication
• BIB
In this paper, we study the combinatorics of a certain minimal factorization of the elements in a finite lattice $L$ called the canonical join representation. The join $\bigvee A =w$ is the canonical join representation of $w$ if $A$ is the unique lowest subset of $L$ satisfying $\bigvee A=w$ (where "lowest" is made precise by comparing order ideals under containment). When each element in $L$ has a canonical join representation, we define the canonical join complex to be the abstract simplicial complex of subsets $A$ such that $\bigvee A$ is a canonical join representation. We characterize the class of finite lattices whose canonical join complex is flag, and show how the canonical join complex is related to the topology of $L$.
A remark about 6j symbols and young semi-normal form
We compute some 6j symbols in the category of polynomial representations of $GL(\infty)$.
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.