polynomial
11432 papers tagged with this keyword
Blocker size via matching minors
Published
• View Publication
• BIB
Finding the maximum number of maximal independent sets in an $n$-vertex graph $G$, $i(G)$, from a restricted class is an extensively studied problem. Let $kK_2$ denote the matching of size $k$, that is a graph with $2k$ vertices and $k$ disjoint edges. A graph with an induced copy of $kK_2$ contains at least $2^k$ maximal independent sets. The other direction was established in a series of papers finally yielding $i(G) \le (n/k)^{2k}$ for a graph $G$ without an induced $(k+1)K_2$. Alekseev proved that $i(G)$ is at most the number of induced matchings of $G$.
This work generalises the aforementioned results to clutters. The right substructures in this setting are minors rather than induced subgraphs. Maximal independent sets of a clutter $\mathcal{H}$ are in one-to-one correspondence to the sets of its blocker, $b(\mathcal{H})$, hence $i(\mathcal{H}) = |b(\mathcal{H})|$. We show that
\[
|b(\mathcal{H})| \le
\sum_{m=0}^{k \cdot f(r)}{|\mathcal{H}| \choose m} {r \choose 2}^m
\] for a $(k+1)K_2$-minor-free clutter $\mathcal{H}$ where $f(r) = (2r-3)2^{r-2}$ and $r$ is the maximum size of a set in $\mathcal{H}$. A key step in the proofs is, similarly to Alekseev's result, showing that $i(\mathcal{H})$ is bounded by the number of a substructure called semi-matching, and then proving a dependence between the number of semi-matchings and the number of minor matchings. Note that similarly to graphs, a clutter containing a $kK_2$ minor has at least $2^k$ maximal independent sets.
From a computational perspective, a polynomial number of independent sets is particularly interesting. Our results lead to polynomial algorithms for restricted instances of many problems including Set Cover and k-SAT.
Narayana, Mandelbrot, and A New Kind of Companion Matrix
Published
• View Publication
• BIB
We demonstrate a new kind of companion matrix, for polynomials of the form $c(λ) = λa(λ)b(λ) + c_0$ where upper Hessenberg companions are known for the polynomials $a(λ)$ and $b(λ)$. This construction can generate companion matrices with smaller entries than the Fiedler or Frobenius forms. This generalizes Piers Lawrence's Mandelbrot companion matrix. We motivate the construction by use of Narayana-Mandelbrot polynomials, which are also new to this paper.
Symmetric Sums of Squares over $k$-Subset Hypercubes
Published
• View Publication
• BIB
We consider the problem of finding sum of squares (sos) expressions to establish the non-negativity of a symmetric polynomial over a discrete hypercube whose coordinates are indexed by the $k$-element subsets of $[n]$. For simplicity, we focus on the case $k=2$, but our results extend naturally to all values of $k \geq 2$. We develop a variant of the Gatermann-Parrilo symmetry-reduction method tailored to our setting that allows for several simplifications and a connection to flag algebras.
We show that every symmetric polynomial that has a sos expression of a fixed degree also has a succinct sos expression whose size depends only on the degree and not on the number of variables. Our method bypasses much of the technical difficulties needed to apply the Gatermann-Parrilo method, and offers flexibility in obtaining succinct sos expressions that are combinatorially meaningful. As a byproduct of our results, we arrive at a natural representation-theoretic justification for the concept of flags as introduced by Razborov in his flag algebra calculus. Furthermore, this connection exposes a family of non-negative polynomials that cannot be certified with any fixed set of flags, answering a question of Razborov in the context of our finite setting.
Bidimensionality and Kernels
Published
• View Publication
• BIB
Bidimensionality Theory was introduced by [E.D. Demaine, F.V. Fomin, M.Hajiaghayi, and D.M. Thilikos. Subexponential parameterized algorithms on graphs of bounded genus and H-minor-free graphs, J. ACM, 52 (2005), pp.866--893] as a tool to obtain sub-exponential time parameterized algorithms on H-minor-free graphs. In [E.D. Demaine and M.Hajiaghayi, Bidimensionality: new connections between FPT algorithms and PTASs, in Proceedings of the 16th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), SIAM, 2005, pp.590--601] this theory was extended in order to obtain polynomial time approximation schemes (PTASs) for bidimensional problems. In this work, we establish a third meta-algorithmic direction for bidimensionality theory by relating it to the existence of linear kernels for parameterized problems. In particular, we prove that every minor (respectively contraction) bidimensional problem that satisfies a separation property and is expressible in Countable Monadic Second Order Logic (CMSO), admits a linear kernel for classes of graphs that exclude a fixed graph (respectively an apex graph) H as a minor. Our results imply that a multitude of bidimensional problems g graph classes. For most of these problems no polynomial kernels on H-minor-free graphs were known prior to our work.
Generalized Weyl modules for twisted current algebras
Published
• View Publication
• BIB
We introduce the notion of generalized Weyl modules for twisted current algebras. We study their representation-theoretic and combinatorial properties and connection to the theory of nonsymmetric Macdonald polynomials. As an application we compute the dimension of the classical Weyl modules in the remaining unknown case.
A Nekrasov-Okounkov formula for Macdonald polynomials
Published in Journal of Algebraic Combinatorics 48 (2018), 1-30
• View Publication
• BIB
We prove a Macdonald polynomial analogue of the celebrated Nekrasov-Okounkov hook-length formula from the theory of random partitions. As an application we obtain a proof of one of the main conjectures of Hausel and Rodriguez-Villegas from their work on mixed Hodge polynomials of the moduli space of stable Higgs bundles on Riemann surfaces.
On the Maximum-Weight Basis Problem
Let M to be a matroid defined on a finite set E. A subset L of E is locked in M if L is 2-connected in M, the complement of L is 2-connected in the dual M*, and min{r(L), r*(complement of L)} is greater than 1. In this paper, we prove that the nontrivial facets of the bases polytope of M are described by the locked subsets. We deduce that finding the maximum-weight basis of M is a polynomial problem for matroids with a polynomial number of locked subsets. This class of matroids is closed under 2-sums and contains uniform matroids.
Two double poset polytopes
Published
• View Publication
• BIB
To every poset P, Stanley (1986) associated two polytopes, the order polytope and the chain polytope, whose geometric properties reflect the combinatorial qualities of P. This construction allows for deep insights into combinatorics by way of geometry and vice versa. Malvenuto and Reutenauer (2011) introduced 'double posets', that is, (finite) sets equipped with two partial orders, as a generalization of Stanley's labelled posets. Many combinatorial constructions can be naturally phrased in terms of double posets. We introduce the 'double order polytope' and the 'double chain polytope' and we amply demonstrate that they geometrically capture double posets, i.e., the interaction between the two partial orders. We describe the facial structures, Ehrhart polynomials, and volumes of these polytopes in terms of the combinatorics of double posets. We also describe a curious connection to Geissinger's valuation polytopes and we characterize 2-level polytopes among our double poset polytopes.
Fulkerson's 'anti-blocking' polytopes from combinatorial optimization subsume stable set polytopes of graphs and chain polytopes of posets. We determine the geometry of Minkowski- and Cayley sums of anti-blocking polytopes. In particular, we describe a canonical subdivision of Minkowski sums of anti-blocking polytopes that facilitates the computation of Ehrhart (quasi-)polynomials and volumes. This also yields canonical triangulations of double poset polytopes.
Finally, we investigate the affine semigroup rings associated to double poset polytopes. We show that they have quadratic Groebner bases, which gives an algebraic description of the unimodular flag triangulations described in the first part.
On the exact learnability of graph parameters: The case of partition functions
We study the exact learnability of real valued graph parameters $f$ which are known to be representable as partition functions which count the number of weighted homomorphisms into a graph $H$ with vertex weights $α$ and edge weights $β$. M. Freedman, L. Lovász and A. Schrijver have given a characterization of these graph parameters in terms of the $k$-connection matrices $C(f,k)$ of $f$. Our model of learnability is based on D. Angluin's model of exact learning using membership and equivalence queries. Given such a graph parameter $f$, the learner can ask for the values of $f$ for graphs of their choice, and they can formulate hypotheses in terms of the connection matrices $C(f,k)$ of $f$. The teacher can accept the hypothesis as correct, or provide a counterexample consisting of a graph. Our main result shows that in this scenario, a very large class of partition functions, the rigid partition functions, can be learned in time polynomial in the size of $H$ and the size of the largest counterexample in the Blum-Shub-Smale model of computation over the reals with unit cost.
Quasimodularity and large genus limits of Siegel-Veech constants
Published
• View Publication
• BIB
Quasimodular forms were first studied in the context of counting torus coverings. Here we show that a weighted version of these coverings with Siegel-Veech weights also provides quasimodular forms. We apply this to prove conjectures of Eskin and Zorich on the large genus limits of Masur-Veech volumes and of Siegel-Veech constants.
In Part I we connect the geometric definition of Siegel-Veech constants both with a combinatorial counting problem and with intersection numbers on Hurwitz spaces. We introduce modified Siegel-Veech weights whose generating functions will later be shown to be quasimodular.
Parts II and III are devoted to the study of the quasimodularity of the generating functions arising from weighted counting of torus coverings. The starting point is the theorem of Bloch and Okounkov saying that q-brackets of shifted symmetric functions are quasimodular forms. In Part II we give an expression for their growth polynomials in terms of Gaussian integrals and use this to obtain a closed formula for the generating series of cumulants that is the basis for studying large genus asymptotics. In Part III we show that the even hook-length moments of partitions are shifted symmetric polynomials and prove a formula for the q-bracket of the product of such a hook-length moment with an arbitrary shifted symmetric polynomial. This formula proves quasimodularity also for the (-2)-nd hook-length moments by extrapolation, and implies the quasimodularity of the Siegel-Veech weighted counting functions.
Finally, in Part IV these results are used to give explicit generating functions for the volumes and Siegel-Veech constants in the case of the principal stratum of abelian differentials. To apply these exact formulas to the Eskin-Zorich conjectures we provide a general framework for computing the asymptotics of rapidly divergent power series.
Lagrange inversion formula, Laguerre polynomials and the free unitary Brownian motion
Published
• View Publication
• BIB
This paper is devoted to the computations of some relevant quantities associated with the free unitary Brownian motion. Using the Lagrange inversion formula, we first derive an explicit expression for its alternating star cumulants of even lengths and relate them to those having odd lengths by means of a summation formula for the free cumulants with product as entries. Next, we use again this formula together with a generating series for Laguerre polynomials in order to compute the Taylor coefficients of the reciprocal of the $R$-transform of the free Jacobi process associated with a single projection of rank $1/2$ and those of the $S$-transform as well. This generating series lead also to the Taylor expansions of the Schur function of the spectral distribution of the free unitary Brownian motion and of its first iterate.
Facets and volume of Gorenstein Fano polytopes
Published in Mathematische Nachrichten 290 (2017) 2619-2628
• View Publication
• BIB
It is known that every integral convex polytope is unimodularly equivalent to a face of some Gorenstein Fano polytope. It is then reasonable to ask whether every normal polytope is unimodularly equivalent to a face of some normal Gorenstein Fano polytope. In the present paper, it is shown that, by giving new classes of normal Gorenstein Fano polytopes, each order polytope as well as each chain polytope of dimension $d$ is unimodularly equivalent to a facet of some normal Gorenstein Fano polytopes of dimension $d + 1$. Furthermore, investigation on combinatorial properties, especially, Ehrhart polynomials and volume of these new polytopes will be achieved. Finally, some curious examples of Gorenstein Fano polytopes will be discovered.
Using the "Freshman's Dream" to Prove Combinatorial Congruences
Published
• View Publication
• BIB
In a recent beautiful but technical article, William Y.C. Chen, Qing-Hu Hou, and Doron Zeilberger developed an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequences, namely those (like the Catalan and Motzkin sequences) that are expressible in terms of constant terms of powers of Laurent polynomials. We first give a leisurely exposition of their elementary but brilliant approach, and then extend it in two directions. The Laurent polynomials may be of several variables, and instead of single sums we have multiple sums. In fact we even combine these two generalizations! We conclude with some super-challenges.
In this version we report that Roberto Tauraso pointed out that all our conjectured super-congruences, at the end of our article are already known, except one, for which he supplied a beautiful proof that can be found here: arXiv:1606.05543.
Elliptic extensions of the alpha-parameter model and the rook model for matchings
Published in Adv. Appl. Math. 184 (2017), 8-33
• View Publication
• BIB
We construct elliptic extensions of the alpha-parameter rook model introduced by Goldman and Haglund and of the rook model for matchings of Haglund and Remmel. In particular, we extend the product formulas of these models to the elliptic setting. By specializing the parameter alpha in our elliptic extension of the alpha-parameter model and the shape of the Ferrers board in different ways, we obtain elliptic analogues of the Stirling numbers of the first kind and of the Abel polynomials, and obtain an a,q-analogue of the matching numbers. We further generalize the rook theory model for matchings by introducing l-lazy graphs which correspond to l-shifted boards, where l is a finite vector of positive integers. The corresponding elliptic product formula generalizes Haglund and Remmel's product formula for matchings already in the non-elliptic basic case.
Approximately coloring graphs without long induced paths
Published
• View Publication
• BIB
It is an open problem whether the 3-coloring problem can be solved in polynomial time in the class of graphs that do not contain an induced path on $t$ vertices, for fixed $t$. We propose an algorithm that, given a 3-colorable graph without an induced path on $t$ vertices, computes a coloring with $\max\{5,2\lceil{\frac{t-1}{2}}\rceil-2\}$ many colors. If the input graph is triangle-free, we only need $\max\{4,\lceil{\frac{t-1}{2}}\rceil+1\}$ many colors. The running time of our algorithm is $O((3^{t-2}+t^2)m+n)$ if the input graph has $n$ vertices and $m$ edges.
On the largest reduced neighborhood clique cover number of a graph
Published in Congressus Numerantium 226(2016), 273-279
• Search Publication
Let $G$ be a graph and $t\ge 0$. A new graph parameter termed the largest reduced neighborhood clique cover number of $G$, denoted by ${\hatβ}_t(G)$, is introduced. Specifically, ${\hatβ}_t(G)$ is the largest, overall $t$-shallow minors $H$ of $G$, of the smallest number of cliques that can cover any closed neighborhood of a vertex in $H$. We verify that ${\hatβ}_t(G)=1$ when $G$ is chordal, and, ${\hatβ}_t(G)\le s$, where $G$ is an incomparability graph that does not have a $t-$shallow minor which is isomorphic to an induced star on $s$ leaves. Moreover, general properties of ${\hatβ}_t(G)$ including the connections to the greatest reduced average density of $G$, or $\bigtriangledown_t(G)$ are studied and investigated. For instance we show ${{\hatβ}_t(G)\over 2}\le \bigtriangledown_t(G)\le p.{\hatβ}_t(G),$ where $p$ is the size of a largest complete graph which is a $t-minor$ of $G$. Additionally we prove that largest ratio of any minimum clique cover to the maximum independent set taken overall $t-$minors of $G$ is a lower bound for ${\hatβ}_t(G)$. We further introduce the class of bounded neighborhood clique cover number for which ${\hatβ}_t(G)$ has a finite value for each $t\ge 0$ and verify the membership of geometric intersection graphs of fat objects (with no restrictions on the depth) to this class. The results support the conjecture that the class graphs with polynomial bounded neighborhood clique cover number may have separator theorems with respect to certain measures.
On rational Dyck paths and the enumeration of factor-free Dyck words
Published in Discrete Applied Mathematics 244 (2018), 36-43
• View Publication
• BIB
Motivated by independent results of Bizley and Duchon, we study rational Dyck paths and their subset of factor-free elements. On the one hand, we give a bijection between rational Dyck paths and regular Dyck paths with ascents colored by factor-free words. This bijection leads to a new statistic based on the reducibility level of the paths for which we provide a corresponding formula. On the other hand, we prove an inverse relation for certain sequences defined via partial Bell polynomials, and we use it to derive a formula for the enumeration of factor-free words. In addition, we give alternative formulas for various enumerative sequences that appear in the context of rational Dyck paths.
Perfect state transfer is poly-time
Published in Quantum Information & Computation, Vol. 17 No.5&6, May 2017. PP0495-0502
• View Publication
• BIB
We show that deciding whether a graph admits perfect state transfer can be done in polynomial time with respect to the size of the graph on a classical computer.
Universal Sets and Cover-Free Families
We propose a polynomial time construction of an $(n,d)$-universal set over alphabet $Σ=\{0,1\}$, of size $d\cdot 2^{d+o(d)}\cdot\log n$. This is an improvement over the size, $d^{5}2^{2.66d}\log n$, of an $(n,d)$-universal set constructed by Bshouty, \cite{BshoutyTesters}, over alphabet $Σ=\{0,1\}$.
Bounds for approximating lower envelopes with polynomials of degree at most $d$
Given a lower envelope in the form of an arbitrary sequence $u$, let $LSP(u, d)$ denote the maximum length of any subsequence of $u$ that can be realized as the lower envelope of a set of polynomials of degree at most $d$. Let $sp(m, d)$ denote the minimum value of $LSP(u, d)$ over all sequences $u$ of length $m$. We derive bounds on $sp(m, d)$ using another extremal function for sequences.
A sequence $u$ is called $v$-free if no subsequence of $u$ is isomorphic to $v$. Given sequences $u$ and v, let $LSS(u, v)$ denote the maximum length of a $v$-free subsequence of $u$. Let $ss(m, v)$ denote the minimum of $LSS(u, v)$ over all sequences $u$ of length $m$. By bounding $ss(m, v)$ for alternating sequences $v$, we prove quasilinear bounds in $m^{1/2}$ on $sp(m,d)$ for all $d > 0$.