polynomial
11422 papers tagged with this keyword
On Brenti's conjecture about the log-concavity of the chromatic polynomial
Published
• View Publication
• BIB
The chromatic polynomial is a well studied object in graph theory. There are many results and conjectures about the log-concavity of the chromatic polynomial and other polynomials related to it. The location of the roots of these polynomials has also been well studied. One famous result due to A. Sokal and C. Borgs provides a bound on the absolute value of the roots of the chromatic polynomial in terms of the highest degree of the graph. We use this result to prove a modification of a log-concavity conjecture due to F. Brenti. The original conjecture of Brenti was that the chromatic polynomial is log-concave on the natural numbers. This was disproved by Paul Seymour by presenting a counter example. We show that the chromatic polynomial $P_G(q)$ of graph $G$ is in fact log-concave for all $q > CΔ+ 1$ for an explicit constant $C < 10$, where $Δ$ denotes the highest degree of $G$. We also provide an example which shows that the result is not true for constants $C$ smaller than 1.
Enumeration and Quasipolynomiality of Chip-Firing Configurations
In this paper we explore enumeration problems related to the number of reachable configurations in a chip-firing game on a finite connected graph G. We define an auxiliary notion of debt-reachability and prove that the number of debt-reachable configurations from an initial configuration with c chips on one vertex is a quasipolynomial in c. For the cycle graph C_n, we apply these results to compute a near explicit formula for the number of debt-reachable configurations. We then derive polynomial asymptotic bounds for the number of debt-reachable and reachable configurations, and finally provide evidence for a quasipolynomiality conjecture regarding the number of reachable configurations.
Third Power of the Reversed Dickson Polynomial over Finite Fields
Let $D_n(1,x)$ be the $n$th reversed Dickson polynomial. The power sums $\sum_{a\in\Bbb F_q}D_n(1,a)^i$, $i=1,2$, have been determined recently. In this paper we give an evaluation of the sum $\sum_{a\in\Bbb F_q}D_n(1,a)^3$. This result implies new necessary conditions for $D_n(1,x)$ to be a permutation polynomial over $\Bbb F_q$.
The Tutte polynomial and the automorphism group of a graph
Published
• View Publication
• BIB
A graph $G$ is said to be $p$-periodic, if the automorphism group $Aut(G)$ contains an element of order $p$ which preserves no edges. In this paper, we investigate the behavior of graph polynomials (Negmai and Tutte) with respect to graph periodicity. In particular, we prove that if $p$ is a prime, then the coefficients of the Tutte polynomial of such a graph satisfy a certain necessary condition. This result is illustrated by an example where the Tutte polynomial is used to rule out the periodicity of the Frucht graph.
Automatic Generation of Generating Functions for Chromatic Polynomials for Grid Graphs (and more general creatures) of Fixed (but arbitrary!) Width
This short article, dedicated to our beloved guru Philippe FLAJOLET (1948-2011), is a case-study in computer-generated combinatorial research, where the computer, all by itself, is using the transfer-matrix method to derive (rigorously!) rational generating functions for chromatic polynomials for infinite sequences of graphs generalizing the action of taking the Cartesian product with a path of length n, n=1,2,... .
Laguerre and Meixner orthogonal bases in the algebra of symmetric functions
Published in International Mathematics Research Notices 2012 (2012), 3615-3679
• View Publication
• BIB
Analogs of Laguerre and Meixner orthogonal polynomials in the algebra of symmetric functions are studied. This is a detailed exposition of part of the results announced in arXiv:1009.2037. The work is motivated by a connection with a model of infinite-dimensional Markov dynamics.
Path description of type B q-characters
Published in Advances in Mathematics 231 no. 2 (2012) pp 1119--1150
• View Publication
• BIB
We give a set of sufficient conditions for a Laurent polynomial to be the q-character of a finite-dimensional irreducible representation of a quantum affine group. We use this result to obtain an explicit path description of q-characters for a class of modules in type B. In particular, this proves a conjecture of Kuniba-Ohta-Suzuki.
Riordan arrays and applications via the classical umbral calculus
We use the classical umbral calculus to describe Riordan arrays. Here, a Riordan array is generated by a pair of umbrae, and this provides efficient proofs of several basic results of the theory such as the multiplication rule, the recursive properties, the fundamental theorem and the connection with Sheffer sequences. In particular, we show that the fundamental theorem turns out to be a reformulation of the umbral Abel identity. As an application, we give an elementary approach to the problem of extending integer powers of Riordan arrays to complex powers in such a way that additivity of the exponents is preserved. Also, ordinary Riordan arrays are studied within the classical umbral perspective and some combinatorial identities are discussed regarding Catalan numbers, Fibonacci numbers and Chebyshev polynomials.
An orthogonal polynomial coefficient formula for the Hankel transform
We give an explicit formula for the Hankel transform of a regular sequence in terms of the coefficients of the associated orthogonal polynomials and the sequence itself. We apply this formula to some sequences of combinatorial interest, deriving interesting combinatorial identities by this means. Further insight is also gained into the structure of the Hankel transform of a sequence.
On the path-avoidance vertex-coloring game
Published in Electronic Journal of Combinatorics 18(1), Research Paper 163, 33 pp., 2011
• Search Publication
For any graph $F$ and any integer $r\geq 2$, the \emph{online vertex-Ramsey density of $F$ and $r$}, denoted $m^*(F,r)$, is a parameter defined via a deterministic two-player Ramsey-type game (Painter vs.\ Builder). This parameter was introduced in a recent paper \cite{mrs11}, where it was shown that the online vertex-Ramsey density determines the threshold of a similar probabilistic one-player game (Painter vs.\ the binomial random graph $G_{n,p}$). For a large class of graphs $F$, including cliques, cycles, complete bipartite graphs, hypercubes, wheels, and stars of arbitrary size, a simple greedy strategy is optimal for Painter and closed formulas for $m^*(F,r)$ are known. In this work we show that for the case where $F=P_\ell$ is a (long) path, the picture is very different. It is not hard to see that $m^*(P_\ell,r)= 1-1/k^*(P_\ell,r)$ for an appropriately defined integer $k^*(P_\ell,r)$, and that the greedy strategy gives a lower bound of $k^*(P_\ell,r)\geq \ell^r$. We construct and analyze Painter strategies that improve on this greedy lower bound by a factor polynomial in $\ell$, and we show that no superpolynomial improvement is possible.
Some Generalized Harmonic Number Identities
Summation by parts is used to find the sum of a finite series of generalized harmonic numbers involving a specific polynomial or rational function. The Euler-Maclaurin formula for sums of powers is used to find the sums of some finite series of generalized harmonic numbers involving nonnegative integer powers, which can be used to evaluate the sums of the finite series of generalized harmonic numbers involving polynomials. Many examples and a computer program are provided.
On Laplacian like energy of trees
Published in MATCH Commun. Math. Comput. Chem. 64 (2010) 111--122
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. Laplacian--like energy of a graph is newly proposed graph invariant, defined as the sum of square roots of Laplacian eigenvalues. For bipartite graphs, the Laplacian--like energy coincides with the recently defined incidence energy $IE (G)$ of a graph. In [D. Stevanovi\' c, \textit{Laplacian--like energy of trees}, MATCH Commun. Math. Comput. Chem. 61 (2009), 407--417.] the author introduced a partial ordering of graphs based on Laplacian coefficients. We point out that original proof was incorrect and illustrate the error on the example using Laplacian Estrada index. Furthermore, we found the inverse of Jacobian matrix with elements representing derivatives of symmetric polynomials of order $n$, and provide a corrected elementary proof of the fact: Let $G$ and $H$ be two $n$-vertex graphs; if for Laplacian coefficients holds $c_k (G) \leqslant c_k (H)$ for $k = 1, 2, ..., n - 1$, then $LEL (G) \leqslant LEL (H)$. In addition, we generalize this theorem and provide a necessary condition for functions that satisfy partial ordering based on Laplacian coefficients.
Domination Reliability
Published in Electronic Journal of Combinatorics, 19 (2012), #P15
• View Publication
• BIB
We propose a new network reliability measure for some particular kind of service networks, which we refer to as domination reliability. We relate this new reliability measure to the domination polynomial of a graph and the coverage probability of a hypergraph. We derive explicit and recursive formulae for domination reliability and its associated domination reliability polynomial, deduce an analogue of Whitney's broken circuit theorem, and prove that computing domination reliability is NP-hard.
On a conjecture of polynomials with prescribed range
We show that, for any integer $\ell$ with $q-\sqrt{p} -1 \leq \ell < q-3$ where $q=p^n$ and $p>9$, there exists a multiset $M$ satisfying that $0\in M$ has the highest multiplicity $\ell$ and $\sum_{b\in M} b =0$ such that every polynomial over finite fields $\fq$ with the prescribed range $M$ has degree greater than $\ell$. This implies that Conjecture 5.1. in \cite{gac} is false over finite field $\fq$ for $p > 9$ and $k:=q-\ell -1 \geq 3$.
Constraint satisfaction problems in clausal form
Published in Fundamenta Informaticae, 2011, 109(1): pages 27-81, 83-119
• View Publication
• BIB
This is the report-version of a mini-series of two articles on the foundations of satisfiability of conjunctive normal forms with non-boolean variables, to appear in Fundamenta Informaticae, 2011. These two parts are here bundled in one report, each part yielding a chapter.
Generalised conjunctive normal forms are considered, allowing literals of the form "variable not-equal value". The first part sets the foundations for the theory of autarkies, with emphasise on matching autarkies. Main results concern various polynomial time results in dependency on the deficiency. The second part considers translations to boolean clause-sets and irredundancy as well as minimal unsatisfiability. Main results concern classification of minimally unsatisfiable clause-sets and the relations to the hermitian rank of graphs. Both parts contain also discussions of many open problems.
The Shi arrangements and the Bernoulli polynomials
Published in Bulletin of London Mathematics Society, 44 (2012), 563-570
• View Publication
• BIB
The braid arrangement is the Coxeter arrangement of the type $A_\ell$. The Shi arrangement is an affine arrangement of hyperplanes consisting of the hyperplanes of the braid arrangement and their parallel translations. In this paper, we give an explicit basis construction for the derivation module of the cone over the Shi arrangement. The essential ingredient of our recipe is the Bernoulli polynomials.
An incidence theorem in higher dimensions
Published in Discrete Comput. Geom. 48 (2012), no. 2, 255-280
• View Publication
• BIB
We prove almost tight bounds on incidences between points and $k$-dimensional varieties of bounded degree in $\R^d$. Our main tools are the Polynomial Ham Sandwich Theorem and induction on both the dimension and the number of points.
Composita and its properties
In this paper we study the coefficients of the powers of an ordinary generating function and their properties. A new class of functions based on compositions of an integer $n$ is introduced and is termed composita. We present theorems about compositae and operations with compositae. We obtain the compositae of polynomials, trigonometric and hyperbolic functions. Using the notion of the composita we get the solution of the functional equation $B(x)=H(xB(x)^m)$, where $H(x),B(x)$ are generating functions, and $m\in \mathbb{N}$.
Fibonacci polynomials, generalized Stirling numbers, and Bernoulli, Genocchi and tangent numbers
We study matrices which transform the sequence of Fibonacci or Lucas polynomials with even index to those with odd index and vice versa. They turn out to be intimately related to generalized Stirling numbers and to Bernoulli, Genocchi and tangent numbers and give rise to various identities between these numbers. There is also a close connection with the Akiyama-Tanigawa algorithm.
A step towards the cluster positivity conjecture
We prove a conjecture of Kontsevich, which asserts that the iterations of the noncommutative rational map $F_r:(x,y)-->(xyx^{-1},(1+y^r)x^{-1})$ are given by noncommutative Laurent polynomials with nonnegative integer coefficients.