polynomial
11257 papers tagged with this keyword
Tight bounds on the coefficients of partition functions via stability
Published
• View Publication
• BIB
Partition functions arise in statistical physics and probability theory as the normalizing constant of Gibbs measures and in combinatorics and graph theory as graph polynomials. For instance the partition functions of the hard-core model and monomer-dimer model are the independence and matching polynomials respectively.
We show how stability results follow naturally from the recently developed occupancy method for maximizing and minimizing physical observables over classes of regular graphs, and then show these stability results can be used to obtain tight extremal bounds on the individual coefficients of the corresponding partition functions.
As applications, we prove new bounds on the number of independent sets and matchings of a given size in regular graphs. For large enough graphs and almost all sizes, the bounds are tight and confirm the Upper Matching Conjecture of Friedland, Krop, and Markström and a conjecture of Kahn on independent sets for a wide range of parameters. Additionally we prove tight bounds on the number of $q$-colorings of cubic graphs with a given number of monochromatic edges, and tight bounds on the number of independent sets of a given size in cubic graphs of girth at least $5$.
Tensor valuations on lattice polytopes
Published in Adv. Math. 319 (2017), 76-110
• View Publication
• BIB
The Ehrhart polynomial and the reciprocity theorems by Ehrhart \& Macdonald are extended to tensor valuations on lattice polytopes. A complete classification is established of tensor valuations of rank up to eight that are equivariant with respect to the special linear group over the integers and translation covariant. Every such valuation is a linear combination of the Ehrhart tensors which is shown to no longer hold true for rank nine.
Exploring the bounds on the positive semidefinite rank
The nonnegative and positive semidefinite (PSD-) ranks are closely connected to the nonnegative and positive semidefinite extension complexities of a polytope, which are the minimal dimensions of linear and SDP programs which represent this polytope. Though some exponential lower bounds on the nonnegative and PSD- ranks has recently been proved for the slack matrices of some particular polytopes, there are still no tight bounds for these quantities. We explore some existing bounds on the PSD-rank and prove that they cannot give exponential lower bounds on the extension complexity. Our approach consists in proving that the existing bounds are upper bounded by the polynomials of the regular rank of the matrix, which is equal to the dimension of the polytope (up to an additive constant). As one of the implications, we also retrieve an upper bound on the mutual information of an arbitrary matrix of a joint distribution, based on its regular rank.
Subspace Designs based on Algebraic Function Fields
Published
• View Publication
• BIB
Subspace designs are a (large) collection of high-dimensional subspaces $\{H_i\}$ of $\F_q^m$ such that for any low-dimensional subspace $W$, only a small number of subspaces from the collection have non-trivial intersection with $W$; more precisely, the sum of dimensions of $W \cap H_i$ is at most some parameter $L$. The notion was put forth by Guruswami and Xing (STOC'13) with applications to list decoding variants of Reed-Solomon and algebraic-geometric codes, and later also used for explicit rank-metric codes with optimal list decoding radius.
Guruswami and Kopparty (FOCS'13, Combinatorica'16) gave an explicit construction of subspace designs with near-optimal parameters. This construction was based on polynomials and has close connections to folded Reed-Solomon codes, and required large field size (specifically $q \ge m$). Forbes and Guruswami (RANDOM'15) used this construction to give explicit constant degree "dimension expanders" over large fields, and noted that subspace designs are a powerful tool in linear-algebraic pseudorandomness.
Here, we construct subspace designs over any field, at the expense of a modest worsening of the bound $L$ on total intersection dimension. Our approach is based on a (non-trivial) extension of the polynomial-based construction to algebraic function fields, and instantiating the approach with cyclotomic function fields. Plugging in our new subspace designs in the construction of Forbes and Guruswami yields dimension expanders over $\F^n$ for any field $\F$, with logarithmic degree and expansion guarantee for subspaces of dimension $Ω(n/(\log \log n))$.
An analytical Lieb-Sokal lemma
A polynomial $p \in \mathbb{R}[z_1, \cdots, z_n]$ is called real stable if it is non-vanishing whenever all the variables take values in the upper half plane. A well known result of Elliott Lieb and Alan Sokal states that if $p$ and $q$ are $n$ variate real stable polynomials, then the polynomial $q(\partial)p := q(\partial_1, \cdots, \partial_n)p$, is real stable as well. In this paper, we prove analytical estimates on the locations on the zeroes of the real stable polynomial $q(\partial)p$ in the case when both $p$ and $q$ are multiaffine, an important special case, owing to connections to negative dependance in discrete probability. As an application, we prove a general estimate on the expected characteristic polynomials upon sampling from Strongly Rayleigh distributions. We then use this to deduce results concerning two classes of polynomials, mixed characteristic polynomials and mixed determinantal polynomials, that are related to the Kadison-Singer problem.
Graph Invariants with Connections to the Feynman Period in $φ^4$ Theory
Feynman diagrams in $φ^4$ theory have as their underlying structure 4-regular graphs. In particular, any 4-point $φ^4$ graph can be uniquely derived from a 4-regular graph by deleting a vertex. The Feynman period is a simplified version of the Feynman integral, and is of special interest, as it maintains much of the important number theoretic information from the Feynman integral. It is also of structural interest, as it is known to be preserved by a number of graph theoretic operations. In particular, the vertex deleted in constructing the 4-point graph does not affect the Feynman period, and it is invariant under planar duality and the Schnetz twist, an operation that redirects edges incident to a 4-vertex cut. Further, a 4-regular graph may be produced by a 3-sum operation on triangles in two 4-regular graphs. The Feynman period of this graph with a vertex deleted is equal to the product of the Feynman periods of the two smaller graphs with one vertex deleted each. These operations currently explain all known instances of non-isomorphic 4-point $φ^4$ graphs with equal periods.
With this in mind, other graph invariants that are preserved by these operations for 4-point $φ^4$ graphs are of interest, as they may provide insight into the Feynman period. In this thesis the extended graph permanent is introduced; an infinite sequence of residues from prime order finite fields. It is shown that this sequence is preserved by these three operations, and has a product property. Additionally, computational techniques will be established, and an alternate interpretation will be presented as the point count of a novel graph polynomial.
Further, the previously existing $c_2$ invariant and Hepp bound are examined, two graph invariants that are conjectured to be preserved by these graph operations. A combinatorial approach to the $c_2$ invariant is introduced.
Proof of Chapoton's conjecture on Newton polygons of $q$-Ehrhart polynomials
Published
• View Publication
• BIB
Recently, Chapoton found a $q$-analog of Ehrhart polynomials, which are polynomials in $x$ whose coefficients are rational functions in $q$. Chapoton conjectured the shape of the Newton polygon of the numerator of the $q$-Ehrhart polynomial of an order polytope. In this paper, we prove Chapoton's conjecture.
A matrix generalization of a theorem of Fine
Published in Integers 18A (2018) #A18 (11 pages)
• Search Publication
In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients $\binom{n}{m}$, for $m$ in the range $0 \leq m \leq n$, that are not divisible by $p$. We give a matrix product that generalizes Fine's formula, simultaneously counting binomial coefficients with $p$-adic valuation $α$ for each $α\geq 0$. For each $n$ this information is naturally encoded in a polynomial generating function, and the sequence of these polynomials is $p$-regular in the sense of Allouche and Shallit. We also give a further generalization to multinomial coefficients.
Quiver Hall-Littlewood functions and Kostka-Shoji polynomials
Published in Pacific J. Math. 319 (2022) 397-437
• View Publication
• BIB
For any triple $(i,a,μ)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $μ$, we define a quiver current $H^{(i,a)}_μ$ acting on the tensor power $Λ^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},μ(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ as the result of acting on $1\inΛ^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{μ(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases.
We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux.
We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$.
Smooth polytopes with negative Ehrhart coefficients
Published
• View Publication
• BIB
We present examples of smooth lattice polytopes in dimensions 3 and higher where each coefficient of their Ehrhart polynomials that can potentially be negative is indeed negative. This answers a question by Bruns. We also discuss Berline-Vergne valuations as a useful tool in proving Ehrhart positivity results.
Limit Theorems for Monochromatic Stars
Published
• View Publication
• BIB
Let $T(K_{1, r}, G_n)$ be the number of monochromatic copies of the $r$-star $K_{1, r}$ in a uniformly random coloring of the vertices of the graph $G_n$. In this paper we provide a complete characterization of the limiting distribution of $T(K_{1, r}, G_n)$, in the regime where $\mathbb E(T(K_{1, r}, G_n))$ is bounded, for any growing sequence of graphs $G_n$. The asymptotic distribution is a sum of mutually independent components, each term of which is a polynomial of a single Poisson random variable of degree at most $r$. Conversely, any limiting distribution of $T(K_{1, r}, G_n)$ has a representation of this form. Examples and connections to the birthday problem are discussed.
Rooted Graph Minors and Reducibility of Graph Polynomials
In 2009, Brown gave a set of conditions which when satisfied imply that a Feynman integral evaluates to a multiple zeta value. One of these conditions is called reducibility, which loosely says there is an order of integration for the Feynman integral for which Brown's techniques will succeed. Reducibility can be abstracted away from the Feynman integral to just being a condition on two polynomials, the first and second Symanzik polynomials. These polynomials can be defined from graphs, and thus reducibility is a property of graphs. We prove that for a fixed number of external momenta and no masses, reducibility is graph minor closed, correcting the previously claimed proofs of this fact. A computational study of reducibility was undertaken by Bogner and Lüders who found that for graphs with $4$-on-shell momenta and no masses, $K_{4}$ with momenta on each vertex is a forbidden minor. We add to this and find that when we restrict to graphs with four on-shell external momenta the following graphs are forbidden minors: $K_{4}$ with momenta on each vertex, $W_{4}$ with external momenta on the rim vertices, $K_{2,4}$ with external momenta on the large side of the bipartition, and one other graph. We do not expect that these minors characterize reducibility, so instead we give structural characterizations of the graphs not containing subsets of these minors. We characterize graphs not containing a rooted $K_{4}$ or rooted $W_{4}$ minor, graphs not containing rooted $K_{4}$ or rooted $W_{4}$ or rooted $K_{2,4}$ minors, and also a characterization of graphs not containing all of the known forbidden minors. Some comments are made on graphs not containing $K_{3,4}$, $K_{6}$ or a graph related to Wagner's graph as a minor.
Configuration spaces, $\operatorname{FS^{op}}$-modules, and Kazhdan-Lusztig polynomials of braid matroids
The equivariant Kazhdan-Lusztig polynomial of a braid matroid may be interpreted as the intersection cohomology of a certain partial compactification of the configuration space of n distinct labeled points in the plane, regarded as a graded representation of the symmetric group. We show that, in fixed cohomological degree, this sequence of representations of symmetric groups naturally admits the structure of an FS-module, and that the dual FS^op-module is finitely generated. Using the work of Sam and Snowden, we give an asymptotic formula for the dimensions of these representations and obtain restrictions on which irreducible representations can appear in their decomposition.
Formal duality in finite cyclic groups
Published in Constructive Approximation, Volume 49, Issue 3, pp 607-652 (2019)
• View Publication
• BIB
The notion of formal duality in finite Abelian groups appeared recently in relation to spherical designs, tight sphere packings, and energy minimizing configurations in Euclidean spaces. For finite cyclic groups it is conjectured that there are no primitive formally dual pairs besides the trivial one and the TITO configuration. This conjecture has been verified for cyclic groups of prime power order, as well as of square-free order. In this paper, we will confirm the conjecture for other classes of cyclic groups, namely almost all cyclic groups of order a product of two prime powers, with finitely many exceptions for each pair of primes, or whose order $N$ satisfies $p\mid\!\mid N$, where $p$ a prime satisfying the so-called self-conjugacy property with respect to $N$. For the above proofs, various tools were needed: the field descent method, used chiefly for the circulant Hadamard conjecture, the techniques of Coven & Meyerowitz for sets that tile $\mathbb{Z}$ or $\mathbb{Z}_N$ by translations, dubbed herein as the polynomial method, as well as basic number theory of cyclotomic fields, especially the splitting of primes in a given cyclotomic extension.
Odd holes in bull-free graphs
Published
• View Publication
• BIB
The complexity of testing whether a graph contains an induced odd cycle of length at least five is currently unknown. In this paper we show that this can be done in polynomial time if the input graph has no induced subgraph isomorphic to the bull (a triangle with two disjoint pendant edges).
A Characterization of Oriented Hypergraphic Laplacian and Adjacency Matrix Coefficients
Published
• View Publication
• BIB
An oriented hypergraph is an oriented incidence structure that generalizes and unifies graph and hypergraph theoretic results by examining its locally signed graphic substructure. In this paper we obtain a combinatorial characterization of the coefficients of the characteristic polynomials of oriented hypergraphic Laplacian and adjacency matrices via a signed hypergraphic generalization of basic figures of graphs. Additionally, we provide bounds on the determinant and permanent of the Laplacian matrix, characterize the oriented hypergraphs in which the upper bound is sharp, and demonstrate that the lower bound is never achieved.
Degrees of irreducible polynomials over binary field
An algorithm for factoring polynomials over finite fields is given by Berlekamp in 1967. The main tool was the matrix Q corresponding to each polynomial. This paper studies the degrees of polynomials over binary field that associated with their corresponding matrices Q and irreducibility.
Approximating the Largest Root and Applications to Interlacing Families
Published
• View Publication
• BIB
We study the problem of approximating the largest root of a real-rooted polynomial of degree $n$ using its top $k$ coefficients and give nearly matching upper and lower bounds. We present algorithms with running time polynomial in $k$ that use the top $k$ coefficients to approximate the maximum root within a factor of $n^{1/k}$ and $1+O(\tfrac{\log n}{k})^2$ when $k\leq \log n$ and $k>\log n$ respectively. We also prove corresponding information-theoretic lower bounds of $n^{Ω(1/k)}$ and $1+Ω\left(\frac{\log \frac{2n}{k}}{k}\right)^2$, and show strong lower bounds for noisy version of the problem in which one is given access to approximate coefficients.
This problem has applications in the context of the method of interlacing families of polynomials, which was used for proving the existence of Ramanujan graphs of all degrees, the solution of the Kadison-Singer problem, and bounding the integrality gap of the asymmetric traveling salesman problem. All of these involve computing the maximum root of certain real-rooted polynomials for which the top few coefficients are accessible in subexponential time. Our results yield an algorithm with the running time of $2^{\tilde O(\sqrt[3]n)}$ for all of them.
Simply Exponential Approximation of the Permanent of Positive Semidefinite Matrices
Published
• View Publication
• BIB
We design a deterministic polynomial time $c^n$ approximation algorithm for the permanent of positive semidefinite matrices where $c=e^{γ+1}\simeq 4.84$. We write a natural convex relaxation and show that its optimum solution gives a $c^n$ approximation of the permanent. We further show that this factor is asymptotically tight by constructing a family of positive semidefinite matrices.
Orthogonal polynomials and Smith normal form
Published
• View Publication
• BIB
Smith normal form evaluations found by Bessenrodt and Stanley for some Hankel matrices of q-Catalan numbers are proven in two ways. One argument generalizes the Bessenrodt-Stanley results for the Smith normal form of a certain multivariate matrix that refines one studied by Berlekamp, Carlitz, Roselle, and Scoville. The second argument, which uses orthogonal polynomials, generalizes to a number of other Hankel matrices, Toeplitz matrices, and Gram matrices. It gives new results for q-Catalan numbers, q-Motzkin numbers, q-Schröder numbers, q-Stirling numbers, q-matching numbers, q-factorials, q-double factorials, as well as generating functions for permutations with eight statistics.