polynomial
11257 papers tagged with this keyword
On the minimum degree of minimal Ramsey graphs for multiple colours
Published
• View Publication
• BIB
A graph G is r-Ramsey for a graph H, denoted by G\rightarrow (H)_r, if every r-colouring of the edges of G contains a monochromatic copy of H. The graph G is called r-Ramsey-minimal for H if it is r-Ramsey for H but no proper subgraph of G possesses this property. Let s_r(H) denote the smallest minimum degree of G over all graphs G that are r-Ramsey-minimal for H. The study of the parameter s_2 was initiated by Burr, Erdős, and Lovász in 1976 when they showed that for the clique s_2(K_k)=(k-1)^2. In this paper, we study the dependency of s_r(K_k) on r and show that, under the condition that k is constant, s_r(K_k) = r^2 polylog r. We also give an upper bound on s_r(K_k) which is polynomial in both r and k, and we determine s_r(K_3) up to a factor of log r.
Counterexamples to a conjecture of Balasubramanian and Parthasarathy
In 1980, Balasubramanian and Parthasarathy introduced the bivariate permanent polynomials of graphs and conjectured that this graph polynomial is a graph characterising polynomial, that is, any two graphs with the same bivariate permanent polynomial are isomorphic. In this note, we give counter examples to this conjecture.
A polynomial regularity lemma for semi-algebraic hypergraphs and its applications in geometry and property testing
Published
• View Publication
• BIB
Fox, Gromov, Lafforgue, Naor, and Pach proved a regularity lemma for semi-algebraic $k$-uniform hypergraphs of bounded complexity, showing that for each $ε>0$ the vertex set can be equitably partitioned into a bounded number of parts (in terms of $ε$ and the complexity) so that all but an $ε$-fraction of the $k$-tuples of parts are homogeneous. We prove that the number of parts can be taken to be polynomial in $1/ε$. Our improved regularity lemma can be applied to geometric problems and to the following general question on property testing: is it possible to decide, with query complexity polynomial in the reciprocal of the approximation parameter, whether a hypergraph has a given hereditary property? We give an affirmative answer for testing typical hereditary properties for semi-algebraic hypergraphs of bounded complexity.
Minimum degrees and codegrees of minimal Ramsey 3-uniform hypergraphs
Published
• View Publication
• BIB
A uniform hypergraph $H$ is called $k$-Ramsey for a hypergraph $F$, if no matter how one colors the edges of $H$ with $k$ colors, there is always a monochromatic copy of $F$. We say that $H$ is minimal $k$-Ramsey for $F$, if $H$ is $k$-Ramsey for $F$ but every proper subhypergraph of $H$ is not. Burr, Erdős and Lovasz studied various parameters of minimal Ramsey graphs. In this paper we initiate the study of minimum degrees and codegrees of minimal Ramsey $3$-uniform hypergraphs. We show that the smallest minimum vertex degree over all minimal $k$-Ramsey $3$-uniform hypergraphs for $K_t^{(3)}$ is exponential in some polynomial in $k$ and $t$. We also study the smallest possible minimum codegrees over minimal $2$-Ramsey $3$-uniform hypergraphs.
Graph Isomorphism, Color Refinement, and Compactness
Published
• View Publication
• BIB
Color refinement is a classical technique used to show that two given graphs G and H are non-isomorphic; it is very efficient, although it does not succeed on all graphs. We call a graph G amenable to color refinement if it succeeds in distinguishing G from any non-isomorphic graph H. Tinhofer (1991) explored a linear programming approach to Graph Isomorphism and defined compact graphs: A graph is compact if its fractional automorphisms polytope is integral. Tinhofer noted that isomorphism testing for compact graphs can be done quite efficiently by linear programming. However, the problem of characterizing and recognizing compact graphs in polynomial time remains an open question.
Our results are summarized below:
- We show that amenable graphs are recognizable in time O((n + m)logn), where n and m denote the number of vertices and the number of edges in the input graph.
- We show that all amenable graphs are compact.
- We study related combinatorial and algebraic graph properties introduced by Tinhofer and Godsil. The corresponding classes of graphs form a hierarchy and we prove that recognizing each of these graph classes is P-hard. In particular, this gives a first complexity lower bound for recognizing compact graphs.
Asymptotic properties of biorthogonal polynomials systems related to Hermite and Laguerre polynomials
In this paper, the structures to a family of biorthogonal polynomials that approximate to the Hermite and Generalized Laguerre polynomials are discussed respectively. Therefore, the asymptotic relation between several orthogonal polynomials and combinatorial polynomials are derived from the systems, which in turn verify the Askey scheme of hypergeometric orthogonal polynomials. As the applications of these properties, the asymptotic representations of the generalized Buchholz, Laguerre, Ultraspherical(Gegenbauer), Bernoulli, Euler, Meixner and Meixner-Pllaczekare polynomials are derived from the theorems directly. The relationship between Bernoulli and Euler polynomials are shown as a special case of the characterization theorem of the Appell sequence generated by $α$ scaling functions.
Hardness of Computing Clique Number and Chromatic Number For Cayley Graphs
Published
• View Publication
• BIB
Computing the clique number and chromatic number of a general graph are well-known NP-Hard problems. Codenotti et al. (Bruno Codenotti, Ivan Gerace, and Sebastiano Vigna. Hardness results and spectral techniques for combinatorial problems on circulant graphs. \emph{Linear Algebra Appl.}, 285(1-3): 123--142, 1998) showed that computing clique number and chromatic number are still NP-Hard problems for the class of circulant graphs. We show that computing clique number is NP-Hard for the class of Cayley graphs for the groups $G^n$, where $G$ is any fixed finite group (e.g., cubelike graphs). We also show that computing chromatic number cannot be done in polynomial time (under the assumption $\text{P}\neq \text{NP}$) for the same class of graphs. Our presentation uses free Cayley graphs. The proof combines free Cayley graphs with quotient graphs and Goppa codes.
On Some Quadratic Algebras I $\frac{1}{2}$: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss-Catalan, Universal Tutte and Reduced Polynomials
Published in SIGMA 12 (2016), 002
• View Publication
• BIB
We study some combinatorial and algebraic properties of certain quadratic algebras related with dynamical classical and classical Yang-Baxter equations. One can find more details about the content of present paper in Extended Abstract.
Test Sets for Nonnegativity of Polynomials Invariant under a Finite Reflection Group
Published
• View Publication
• BIB
A set $S\subset \mathbb{R}^n$ is a nonnegativity witness for a set $U$ of real homogeneous polynomials if $F$ in $U$ is nonnegative on $\mathbb{R}^n$ if and only if it is nonnegative at all points of $S$. We prove that the union of the hyperplanes perpendicular to the elements of a root system $Φ\subseteq \mathbb{R}^n$ is a witness set for nonnegativity of forms of low degree which are invariant under the reflection group defined by $Φ$. We prove that our bound for the degree is sharp for all reflection groups which contain multiplication by $-1$. We then characterize subspaces of forms of arbitrarily high degree where this union of hyperplanes is a nonnegativity witness set. Finally we propose a conjectural generalization of Timofte's half-degree principle for finite reflection groups.
Catalan matroid decompositions of certain positroids
A positroid is the matroid of a matrix whose maximal minors are all nonnegative. Given a permutation $w$ in $S_n$, the matroid of a generic $n \times n$ matrix whose non-zero entries in row $i$ lie in columns $w(i)$ through $n+i$ is an example of a positroid. We enumerate the bases of such a positroid as a sum of certain products of Catalan numbers, each term indexed by the $123$-avoiding permutations above $w$ in Bruhat order. We also give a similar sum formula for their Tutte polynomials. These are both avatars of a structural result writing such a positroid as a disjoint union of matroids, each isomorphic to a direct sum of Catalan matroids and a matroid with one basis.
On the switch Markov chain for perfect matchings
Published
• View Publication
• BIB
We study a simple Markov chain, the switch chain, on the set of all perfect matchings in a bipartite graph. This Markov chain was proposed by Diaconis, Graham and Holmes as a possible approach to a sampling problem arising in Statistics. We ask: for which classes of graphs is the Markov chain ergodic and for which is it rapidly mixing? We provide a precise answer to the ergodicity question and close bounds on the mixing question. We show for the first time that the mixing time of the switch chain is polynomial in the case of monotone graphs, a class that includes examples of interest in the statistical setting.
Notes on Schubert, Grothendieck and Key Polynomials
Published in SIGMA 12 (2016), 034, 57 pages
• View Publication
• BIB
We introduce common generalization of (double) Schubert, Grothendieck, Demazure, dual and stable Grothendieck polynomials, and Di Francesco-Zinn-Justin polynomials. Our approach is based on the study of algebraic and combinatorial properties of the reduced rectangular plactic algebra and associated Cauchy kernels.
Counting Homomorphisms to Square-Free Graphs, Modulo 2
We study the problem HomsTo$H$ of counting, modulo 2, the homomorphisms from an input graph to a fixed undirected graph $H$. A characteristic feature of modular counting is that cancellations make wider classes of instances tractable than is the case for exact (non-modular) counting, so subtle dichotomy theorems can arise. We show the following dichotomy: for any $H$ that contains no 4-cycles, HomsTo$H$ is either in polynomial time or is $\oplus P$-complete. This confirms a conjecture of Faben and Jerrum that was previously only known to hold for trees and for a restricted class of treewidth-2 graphs called cactus graphs. We confirm the conjecture for a rich class of graphs including graphs of unbounded treewidth. In particular, we focus on square-free graphs, which are graphs without 4-cycles. These graphs arise frequently in combinatorics, for example in connection with the strong perfect graph theorem and in certain graph algorithms. Previous dichotomy theorems required the graph to be tree-like so that tree-like decompositions could be exploited in the proof. We prove the conjecture for a much richer class of graphs by adopting a much more general approach.
Construction of Quasi-Cyclic Product Codes
Linear quasi-cyclic product codes over finite fields are investigated. Given the generating set in the form of a reduced Gr{ö}bner basis of a quasi-cyclic component code and the generator polynomial of a second cyclic component code, an explicit expression of the basis of the generating set of the quasi-cyclic product code is given. Furthermore, the reduced Gr{ö}bner basis of a one-level quasi-cyclic product code is derived.
Iterated claws have real-rooted genus polynomials
Published
• View Publication
• BIB
We prove that the genus polynomials of the graphs called iterated claws are real-rooted. This continues our work directed toward the 25-year-old conjecture that the genus distribution of every graph is log-concave. We have previously established log-concavity for sequences of graphs constructed by iterative vertex-amalgamation or iterative edge-amalgamation of graphs that satisfy a commonly observable condition on their partitioned genus distributions, even though it had been proved previously that iterative amalgamation does not always preserve real-rootedness of the genus polynomial of the iterated graph. In this paper, the iterated topological operations are adding a claw and adding a 3-cycle, rather than vertex- or edge-amalgamation. Our analysis here illustrates some advantages of employing a matrix representation of the transposition of a set of productions.
Log-concavity of the genus polynomials of Ringel ladders
Published
• View Publication
• BIB
A Ringel ladder can be formed by a self-bar-amalgamation operation on a symmetric ladder, that is, by joining the root vertices on its end-rungs. The present authors have previously derived criteria under which linear chains of copies of one or more graphs have log-concave genus polynomials. Herein we establish Ringel ladders as the first significant non-linear infinite family of graphs known to have log-concave genus polynomials. We construct an algebraic representation of self-bar-amalgamation as a matrix operation, to be applied to a vector representation of the partitioned genus distribution of a symmetric ladder. Analysis of the resulting genus polynomial involves the use of Chebyshev polynomials. This paper continues our quest to affirm the quarter-century-old conjecture that all graphs have log-concave genus polynomials.
Root geometry of polynomial sequences I: Type $(0,1)$
This paper is concerned with the distribution in the complex plane of the roots of a polynomial sequence $\{W_n(x)\}_{n\ge0}$ given by a recursion $W_n(x)=aW_{n-1}(x)+(bx+c)W_{n-2}(x)$, with $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a>0$, $b>0$, and $c,t,r\in\mathbb{R}$. Our results include proof of the distinct-real-rootedness of every such polynomial $W_n(x)$, derivation of the best bound for the zero-set $\{x\mid W_n(x)=0\ \text{for some $n\ge1$}\}$, and determination of three precise limit points of this zero-set. Also, we give several applications from combinatorics and topological graph theory.
Rational homology of the order complex of zero sets of homogeneous quadratic polynomial systems in $R^3$
Published
• View Publication
• BIB
The naturally topologized order complex of proper algebraic subsets in $RP^2$, defined by systems of quadratic forms, has rational homology of $S^{13}$
The Real-rootedness of Eulerian Polynomials via the Hermite--Biehler Theorem
Published
• View Publication
• BIB
Based on the Hermite--Biehler theorem, we simultaneously prove the real-rootedness of Eulerian polynomials of type $D$ and the real-rootedness of affine Eulerian polynomials of type $B$, which were first obtained by Savage and Visontai by using the theory of $\mathbf{s}$-Eulerian polynomials. We also confirm Hyatt's conjectures on the interlacing property of half Eulerian polynomials. Borcea and Brändén's work on the characterization of linear operators preserving Hurwitz stability is critical to this approach.
Domination polynomial of generalized friendship and generalized book graphs
Let G be a simple graph of order n. The domination polynomial of a graph is the generating function of its dominating sets. We study the domination polynomials of generalized friendship graphs. We also consider book graphs formed by joining n copies of the cycle graph of order 4 with a common edge and study the domination polynomials of some generalized book graphs. In particular we examine the domination roots of these families and find the limiting curve for the roots.