arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11257 papers tagged with this keyword
2011-03-30
Laguerre and Meixner orthogonal bases in the algebra of symmetric functions
Published in International Mathematics Research Notices 2012 (2012), 3615-3679 • View PublicationBIB
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.
2011-03-30
Path description of type B q-characters
Published in Advances in Mathematics 231 no. 2 (2012) pp 1119--1150 • View PublicationBIB
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.
2011-03-30
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.
2011-03-29
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.
2011-03-28 v2
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.
2011-03-20
Domination Reliability
Published in Electronic Journal of Combinatorics, 19 (2012), #P15 • View PublicationBIB
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.
2011-03-18
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$.
2011-03-18
Constraint satisfaction problems in clausal form
Published in Fundamenta Informaticae, 2011, 109(1): pages 27-81, 83-119 • View PublicationBIB
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.
2011-03-16 v3
The Shi arrangements and the Bernoulli polynomials
Published in Bulletin of London Mathematics Society, 44 (2012), 563-570 • View PublicationBIB
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.
2011-03-15 v6
An incidence theorem in higher dimensions
Published in Discrete Comput. Geom. 48 (2012), no. 2, 255-280 • View PublicationBIB
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.
2011-03-14 v2
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}$.
2011-03-14
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.
2011-03-14 v3
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.
2011-03-11 v2
The covered components polynomial: A new representation of the edge elimination polynomial
Published in The Electronic Journal of Combinatorics 19 (2012), #50 • View PublicationBIB
Motivated by the definition of the edge elimination polynomial of a graph we define the covered components polynomial counting spanning subgraphs with respect to their number of components, edges and covered components. We prove a recurrence relation, which shows that both graph polynomials are substitution instances of each other. We give some properties of the covered components polynomial and some results concerning relations to other graph polynomials.
2011-03-11 v3
Kazhdan-Lusztig combinatorics in the moment graph setting
Published in Journal of Algebra 370 (2012), pg 152-170 • View PublicationBIB
Motivated by a question on the graded rank of the stalks of the canonical sheaf on a Bruhat graph, we lift some equalities concerning (parabolic) Kazhdan-Lusztig polynomials to this moment graph setting. Our proofs hold also in positive characteristic, under some technical assumptions.
2011-03-07 v4
Chromatic polynomials of complements of bipartite graphs
Published • View PublicationBIB
Bicliques are complements of bipartite graphs; as such each consists of two cliques joined by a number of edges. In this paper we study algebraic aspects of the chromatic polynomials of these graphs. We derive a formula for the chromatic polynomial of an arbitrary biclique, and use this to give certain conditions under which two of the graphs have chromatic polynomials with the same splitting field. Finally, we use a subfamily of bicliques to prove the cubic case of the $α+n$ conjecture, by showing that for any cubic integer $α$, there is a natural number $n$ such that $α+n$ is a chromatic root.
2011-03-05
A version of Tutte's polynomial for hypergraphs
Tutte's dichromate T(x,y) is a well known graph invariant. Using the original definition in terms of internal and external activities as our point of departure, we generalize the valuations T(x,1) and T(1,y) to hypergraphs. In the definition, we associate activities to hypertrees, which are generalizations of the indicator function of the edge set of a spanning tree. We prove that hypertrees form a lattice polytope which is the set of bases in a polymatroid. In fact, we extend our invariants to integer polymatroids as well. We also examine hypergraphs that can be represented by planar bipartite graphs, write their hypertree polytopes in the form of a determinant, and prove a duality property that leads to an extension of Tutte's Tree Trinity Theorem.
2011-03-03
Factors of disconnected graphs and polynomials with nonnegative integer coefficients
Published • View PublicationBIB
We investigate the uniqueness of factorisation of possibly disconnected finite graphs with respect to the Cartesian, the strong and the direct product. It is proved that if a graph has $n$ connected components, where $n$ is prime, or $n=1,4,8,9$, and satisfies some additional conditions, it factors uniquely under the given products. If, on the contrary, $n=6$ or 10, all cases of nonunique factorisation are described precisely.