polynomial
11250 papers tagged with this keyword
An asymptotic distribution theory for Eulerian recurrences with applications
Published
• View Publication
• BIB
We study linear recurrences of Eulerian type of the form \[
P_n(v) = (α(v)n+γ(v))P_{n-1}(v)
+β(v)(1-v)P_{n-1}'(v)\qquad(n\ge1), \] with $P_0(v)$ given, where $α(v), β(v)$ and $γ(v)$ are in most cases polynomials of low degrees. We characterize the various limit laws of the coefficients of $P_n(v)$ for large $n$ using the method of moments and analytic combinatorial tools under varying $α(v), β(v)$ and $γ(v)$, and apply our results to more than two hundred of concrete examples when $β(v)\ne0$ and more than three hundred when $β(v)=0$ that we gathered from the literature and from Sloane's OEIS database. The limit laws and the convergence rates we worked out are almost all new and include normal, half-normal, Rayleigh, beta, Poisson, negative binomial, Mittag-Leffler, Bernoulli, etc., showing the surprising richness and diversity of such a simple framework, as well as the power of the approaches used.
Ramsey theory for hypergroups
Published in Semigroup Forum (2020) 100, no. 2, 482-504
• View Publication
• BIB
In this paper, Ramsey theory for discrete hypergroups is introduced with emphasis on polynomial hypergroups, discrete orbit hypergroups and hypergroup deformations of semigroups. In this context, new notions of Ramsey principle for hypergroups and $α$-Ramsey hypergroup, $0 \leq α<1,$ are defined and studied.
Uniform generation of spanning regular subgraphs of a dense graph
Published
• View Publication
• BIB
Let $H_n$ be a graph on $n$ vertices and let $\ber{H_n}$ denote the complement of $H_n$. Suppose that $Δ= Δ(n)$ is the maximum degree of $\ber{H_n}$. We analyse three algorithms for sampling $d$-regular subgraphs ($d$-factors) of $H_n$. This is equivalent to uniformly sampling $d$-regular graphs which avoid a set $E(\ber{H_n})$ of forbidden edges. Here $d=d(n)$ is a positive integer which may depend on $n$.
Two of these algorithms produce a uniformly random $d$-factor of $H_n$ in expected runtime which is linear in $n$ and low-degree polynomial in $d$ and $Δ$. The first algorithm applies when $(d+Δ)dΔ= o(n)$. This improves on an earlier algorithm by the first author, which required constant $d$ and at most a linear number of edges in $\ber{H_n}$. The second algorithm applies when $H_n$ is regular and $d^2+Δ^2 = o(n)$, adapting an approach developed by the first author together with Wormald. The third algorithm is a simplification of the second, and produces an approximately uniform $d$-factor of $H_n$ in time $O(dn)$. Here the output distribution differs from uniform by $o(1)$ in total variation distance, provided that $d^2+Δ^2 = o(n)$.
Multivariate Stable Eulerian Polynomials on Segmented Permutations
Published
• View Publication
• BIB
Recently, Nunge studied Eulerian polynomials on segmented permutations, namely \emph{generalized Eulerian polynomials}, and further asked whether their coefficients form unimodal sequences. In this paper, we prove the stability of the generalized Eulerian polynomials and hence confirm Nunge's conjecture. Our proof is based on Brändén's stable multivariate Eulerian polynomials. By acting on Brändén's polynomials with a stability-preserving linear operator, we get a multivariate refinement of the generalized Eulerian polynomials. To prove Nunge's conjecture, we also develop a general approach to obtain generalized Sturm sequences from bivariate stable polynomials.
Positivity of iterated sequences of polynomials
Published
• View Publication
• BIB
In this paper, we present some criteria for the $2$-$q$-log-convexity and $3$-$q$-log-convexity of combinatorial sequences, which can be regarded as the first column of certain infinite triangular array $[A_{n,k}(q)]_{n,k\geq0}$ of polynomials in $q$ with nonnegative coefficients satisfying the recurrence relation $$A_{n,k}(q)=A_{n-1,k-1}(q)+g_k(q)A_{n-1,k}(q)+h_{k+1}(q)A_{n-1,k+1}(q).$$ Those criterions can also be presented by continued fractions and generating functions. These allow a unified treatment of the $2$-$q$-log-convexity of alternating Eulerian polynomials, $2$-log-convexity of Euler numbers, and $3$-$q$-log-convexity of many classical polynomials, including the Bell polynomials, the Eulerian polynomials of Types $A$ and $B$, the $q$-Schröder numbers, $q$-central Delannoy numbers, the Narayana polynomials of Types $A$ and $B$, the generating functions of rows in the Catalan triangles of Aigner and Shapiro, the generating functions of rows in the large Schröder triangle, and so on, which extend many known results for $q$-log-convexity.
The matching polynomials and spectral radii of uniform supertrees
Published
• View Publication
• BIB
We study matching polynomials of uniform hypergraph and spectral radii of uniform supertrees. By comparing the matching polynomials of supertrees, we extend Li and Feng's results on grafting operations on graphs to supertrees. Using the methods of grafting operations on supertrees and comparing matching polynomials of supertrees, we determine the first $\lfloor\frac{d}{2}\rfloor+1$ largest spectral radii of $r$-uniform supertrees with size $m$ and diameter $d$. In addition, the first two smallest spectral radii of supertrees with size $m$ are determined.
Log-Concave Polynomials I: Entropy and a Deterministic Approximation Algorithm for Counting Bases of Matroids
Published
• View Publication
• BIB
We give a deterministic polynomial time $2^{O(r)}$-approximation algorithm for the number of bases of a given matroid of rank $r$ and the number of common bases of any two matroids of rank $r$. To the best of our knowledge, this is the first nontrivial deterministic approximation algorithm that works for arbitrary matroids. Based on a lower bound of Azar, Broder, and Frieze [ABF94] this is almost the best possible result assuming oracle access to independent sets of the matroid.
There are two main ingredients in our result: For the first, we build upon recent results of Adiprasito, Huh, and Katz [AHK15] and Huh and Wang [HW17] on combinatorial hodge theory to derive a connection between matroids and log-concave polynomials. We expect that several new applications in approximation algorithms will be derived from this connection in future. Formally, we prove that the multivariate generating polynomial of the bases of any matroid is log-concave as a function over the positive orthant. For the second ingredient, we develop a general framework for approximate counting in discrete problems, based on convex optimization. The connection goes through subadditivity of the entropy. For matroids, we prove that an approximate superadditivity of the entropy holds by relying on the log-concavity of the corresponding polynomials.
$h^*$-Polynomials With Roots on the Unit Circle
Published
• View Publication
• BIB
For an $n$-dimensional lattice simplex $Δ_{(1,\mathbf{q})}$ with vertices given by the standard basis vectors and $-\mathbf{q}$ where $\mathbf{q}$ has positive entries, we investigate when the Ehrhart $h^*$-polynomial for $Δ_{(1,\mathbf{q})}$ factors as a product of geometric series in powers of $z$. Our motivation is a theorem of Rodriguez-Villegas implying that when the $h^*$-polynomial of a lattice polytope $P$ has all roots on the unit circle, then the Ehrhart polynomial of $P$ has positive coefficients. We focus on those $Δ_{(1,\mathbf{q})}$ for which $\mathbf{q}$ has only two or three distinct entries, providing both theoretical results and conjectures/questions motivated by experimental evidence.
Back stable Schubert calculus
Published in Compositio Math. 157 (2021) 883-962
• View Publication
• BIB
We study the back stable Schubert calculus of the infinite flag variety. Our main results are: 1) a formula for back stable (double) Schubert classes expressing them in terms of a symmetric function part and a finite part; 2) a novel definition of double and triple Stanley symmetric functions; 3) a proof of the positivity of double Edelman-Greene coefficients generalizing the results of Edelman-Greene and Lascoux-Schutzenberger; 4) the definition of a new class of bumpless pipedreams, giving new formulae for double Schubert polynomials, back stable double Schubert polynomials, and a new form of the Edelman-Greene insertion algorithm; 5) the construction of the Peterson subalgebra of the infinite nilHecke algebra, extending work of Peterson in the affine case; 6) equivariant Pieri rules for the homology of the infinite Grassmannian; 7) homology divided difference operators that create the equivariant homology Schubert classes of the infinite Grassmannian.
Approximation Algorithms for Complex-Valued Ising Models on Bounded Degree Graphs
Published in Quantum 3, 162 (2019)
• View Publication
• BIB
We study the problem of approximating the Ising model partition function with complex parameters on bounded degree graphs. We establish a deterministic polynomial-time approximation scheme for the partition function when the interactions and external fields are absolutely bounded close to zero. Furthermore, we prove that for this class of Ising models the partition function does not vanish. Our algorithm is based on an approach due to Barvinok for approximating evaluations of a polynomial based on the location of the complex zeros and a technique due to Patel and Regts for efficiently computing the leading coefficients of graph polynomials on bounded degree graphs. Finally, we show how our algorithm can be extended to approximate certain output probability amplitudes of quantum circuits.
Constructions of Locally Recoverable Codes which are Optimal
Published
• View Publication
• BIB
Let $q$ be a prime power and $\mathbb F_q$ be the finite field of size $q$. In this paper we provide a Galois theoretical framework that allows to produce good polynomials for the Tamo and Barg construction of optimal locally recoverable codes (LRC). Using our approach we construct new good polynomials and then optimal LRCs with new parameters. The existing theory of good polynomials fits entirely in our new framework. The key advantage of our method is that we do not need to rely on arithmetic properties of the pair $(q,r)$, where $r$ is the locality of the code.
The Kazhdan-Lusztig polynomials of uniform matroids
Published
• View Publication
• BIB
The Kazhdan-Lusztig polynomial of a matroid was introduced by Elias, Proudfoot, and Wakefield [{\it Adv. Math. 2016}]. Let $U_{m,d}$ denote the uniform matroid of rank $d$ on a set of $m+d$ elements. Gedeon, Proudfoot, and Young [{\it J. Combin. Theory Ser. A, 2017}] pointed out that they can derive an explicit formula of the Kazhdan-Lusztig polynomials of $U_{m,d}$ using equivariant Kazhdan-Lusztig polynomials. In this paper we give two alternative explicit formulas, which allow us to prove the real-rootedness of the Kazhdan-Lusztig polynomials of $U_{m,d}$ for $2\leq m\leq 15$ and all $d$'s. The case $m=1$ was previously proved by Gedeon, Proudfoot, and Young [{\it Sém. Lothar. Combin. 2017}]. We further determine the $Z$-polynomials of all $U_{m,d}$'s and prove the real-rootedness of the $Z$-polynomials of $U_{m,d}$ for $2\leq m\leq 15$ and all $d$'s. Our formula also enables us to give an alternative proof of Gedeon, Proudfoot, and Young's formula for the Kazhdan-Lusztig polynomials of $U_{m,d}$'s without using the equivariant Kazhdan-Lusztig polynomials.
Weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$
Let $\mathbb{F}_q$ be a finite field of order $q$ and integer $n\ge 1$. Let $\ell$ be a prime such that $\ell^k|(q-1)$ for some integer $k\ge 1$ and $μ$ be an element of order $\ell^k$ in $\mathbb{F}_q$. In this paper, we determine the weight distributions of all irreducible $μ$-constacyclic codes of length $\ell^n$ over $\mathbb{F}_q$. Explicit expressions for the generator polynomials and codewords of these codes are also obtained.
Determinants containing powers of polynomial sequences
Published
• View Publication
• BIB
We derive identities for the determinants of matrices whose entries are (rising) powers of (products of) polynomials that satisfy a recurrence relation. In particular, these results cover the cases for Fibonacci polynomials, Lucas polynomials and certain orthogonal polynomials. These identities naturally generalize the determinant identities obtained by Alfred, Carlitz, Prodinger, Tangboonduangjit and Thanatipanonda.
Multiple zeta star values on 3-2-1 indices
Published
• View Publication
• BIB
In 2008, Muneta found explicit evaluation of the multiple zeta star value $ζ^\star(\{3, 1\}^d)$, and in 2013, Yamamoto proved a sum formula for multiple zeta star values on 3-2-1 indices. In this paper, we provide another way of deriving the formulas mentioned above. It is based on our previous work on generating functions for multiple zeta star values and also on constructions of generating functions for restricted sums of alternating Euler sums. As a result, the formulas obtained are simpler and computationally more effective than the known ones. Moreover, we give explicit evaluations of $ζ^\star(\{\{2\}^m, 3, \{2\}^m, 1\bigr\}^d)$ and $ζ^\star(\{\{2\}^m, 3, \{2\}^m, 1\}^d, \{2\}^{m+1})$ in two ways. The first is based on computation of product of generating functions, while the second uses properties of Bell polynomials.
Weighted Hurwitz numbers and topological recursion
Published in Commun. Math. Phys, 375, 237-305 (2020)
• View Publication
• BIB
The KP and 2D Toda tau-functions of hypergeometric type that serve as generating functions for weighted single and double Hurwitz numbers are related to the topological recursion programme. A graphical representation of such weighted Hurwitz numbers is given in terms of weighted constellations. The associated classical and quantum spectral spectral curves are derived, and these are interpreted combinatorially in terms of the graphical model. The pair correlators are given a finite Christoffel-Darboux representation and determinantal expressions are obtained for the multipair correlators. The genus expansion of the multicurrent correlators is shown to provide generating series for weighted Hurwitz numbers of fixed ramification profile lengths. The WKB series for the Baker function is derived and used to deduce the loop equations and the topological recursion relations in the case of polynomial weight functions.
On Sign Pattern Matrices that Allow or Require Algebraic Positivity
Published
• View Publication
• BIB
A square matrix $M$ with real entries is said to be algebraically positive (AP) if there exists a real polynomial $p$ such that all entries of the matrix $p(M)>0$. A square sign pattern matrix $S$ is said to allow algebraic positivity if there is an algebraically positive matrix $M$ whose sign pattern class is $S$. On the other hand, $S$ is said to require algebraic positivity if any matrix $M$, having sign pattern class $S$, is algebraically positive. Motivated by open problems raised in the work of Kirkland, Qiao and Zhan (2016) on AP matrices, we list down all nonequivalent irreducible $3\times 3$ sign pattern matrices and classify each of them into three groups (i) those that require AP, (ii) those that allow but not require AP, or (iii) those that do not allow AP. We also give a necessary condition for an irreducible $n\times n$ sign pattern to allow algebraic positivity.
The Hopf monoid of hypergraphs and its sub-monoids: basic invariant and reciprocity theorem
Published in The Electronic Journal of Combinatorics, Volume 27, Issue 1 (2020) P1.34
• View Publication
• BIB
In arXiv:1709.07504 Ardila and Aguiar give a Hopf monoid structure on hypergraphs as well as a general construction of polynomial invariants on Hopf monoids. Using these results, we define in this paper a new polynomial invariant on hypergraphs. We give a combinatorial interpretation of this invariant on negative integers which leads to a reciprocity theorem on hypergraphs. Finally, we use this invariant to recover well-known invariants on other combinatorial objects (graphs, simplicial complexes, building sets etc) as well as the associated reciprocity theorems.
Optimal size of linear matrix inequalities in semidefinite approaches to polynomial optimization
Published
• View Publication
• BIB
The abbreviations LMI and SOS stand for `linear matrix inequality' and `sum of squares', respectively. The cone $Σ_{n,2d}$ of SOS polynomials in $n$ variables of degree at most $2d$ is known to have a semidefinite extended formulation with one LMI of size $\binom{n+d}{n}$. In other words, $Σ_{n,2d}$ is a linear image of a set described by one LMI of size $\binom{n+d}{n}$. We show that $Σ_{n,2d}$ has no semidefinite extended formulation with finitely many LMIs of size less than $\binom{n+d}{n}$. Thus, the standard extended formulation of $Σ_{n,2d}$ is optimal in terms of the size of the LMIs. As a direct consequence, it follows that the cone of $k \times k$ symmetric positive semidefinite matrices has no extended formulation with finitely many LMIs of size less than $k$. We also derive analogous results for further cones considered in polynomial optimization such as truncated quadratic modules, the cones of copositive and completely positive matrices and the cone of sums of non-negative circuit polynomials.
Graph-counting polynomials for oriented graphs
Published
• View Publication
• BIB
If ${\cal F}$ is a set of subgraphs $F$ of a finite graph $E$ we define a graph-counting polynomial $$ p_{\cal F}(z)=\sum_{F\in{\cal F}}z^{|F|} $$ In the present note we consider oriented graphs and discuss some cases where ${\cal F}$ consists of unbranched subgraphs $E$. We find several situations where something can be said about the location of the zeros of $p_{\cal F}$.