arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11422 papers tagged with this keyword
2012-12-13
Computing Hosoya polynomials of graphs from primary subgraphs
The Hosoya polynomial of a graph encompasses many of its metric properties, for instance the Wiener index (alias average distance) and the hyper-Wiener index. An expression is obtained that reduces the computation of the Hosoya polynomials of a graph with cut vertices to the Hosoya polynomial of the so-called primary subgraphs. The main theorem is applied to specific constructions including bouquets of graphs, circuits of graphs and link of graphs. This is in turn applied to obtain the Hosoya polynomial of several chemically relevant families of graphs. In this way numerous known results are generalized and an approach to obtain them is simplified. Along the way several misprints from the literature are corrected.
2012-12-13 v2
The (r1,...,rp)-Bell polynomials
In a previous paper, Mihoubi et al. introduced the $(r_{1},...,r_{p}) $-Stirling numbers and the $(r_{1},...,r_{p}) $-Bell polynomials and gave some of their combinatorial and algebraic properties. These numbers and polynomials generalize, respectively, the $r$-Stirling numbers of the second kind introduced by Broder and the $r$-Bell polynomials introduced by Mező. In this paper, we prove that the $(r_{1},...,r_{p}) $-Stirling numbers of the second kind are log-concave. We also give generating functions and generalized recurrences related to the $(r_{1},...,r_{p}) $-Bell polynomials.
2012-12-13
Expanding Polynomials over the rationals
Let $F(x,y)$ be a polynomial over the rationals. We show that if $F$ is not an expander (over the rationals) then it has a special multiplicative or additive form. For example if $F$ is a homogeneous non-expander polynomial then $F(x,y)=c(x+ay)^α$ or $F(x,y)=c(xy)^α.$ This is an extension of an earlier result of Elekes and Rónyai who described the structure of two-variate polynomials which are not expanders over the reals.
2012-12-12 v2
Sekiguchi-Debiard operators at infinity
Published in Communications in Mathematical Physics 324 (2013) 831-849 • View Publication • BIB
We construct a family of pairwise commuting operators such that the Jack symmetric functions of infinitely many variables $x_1,x_2,...$ are their eigenfunctions. These operators are defined as limits at $N\to\infty$ of renormalised Sekiguchi-Debiard operators acting on symmetric polynomials in the variables $x_1,...,x_N$. They are differential operators in terms of the power sum variables $p_n=x_1^n+x_2^n+...$ and we compute their symbols by using the Jack reproducing kernel. Our result yields a hierarchy of commuting Hamiltonians for the quantum Calogero-Sutherland model with infinite number of bosonic particles in terms of the collective variables of the model. Our result also yields explicit shift operators for the Jack symmetric functions.
2012-12-12 v3
Macdonald operators at infinity
Published in Journal of Algebraic Combinatorics 40 (2014) 23-44 • View Publication • BIB
We construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables $x_1,x_2,...$ and of two parameters $q,t$ are their eigenfunctions. These operators are defined as limits at $N\to\infty$ of renormalised Macdonald operators acting on symmetric polynomials in the variables $x_1,...,x_N$. They are differential operators in terms of the power sum variables $p_n=x_1^n+x_2^n+...$ and we compute their symbols by using the Macdonald reproducing kernel. We express these symbols in terms of the Hall-Littlewood symmetric functions of the variables $x_1,x_2,...$. Our result also yields elementary step operators for the Macdonald symmetric functions.
2012-12-12
On root posets for noncrystallographic root systems
Published • View Publication • BIB
We discuss properties of root posets for finite crystallographic root systems, and show that these properties uniquely determine root posets for the noncrystallographic dihedral types and type $H_3$, while proving that there does not exist a poset satisfying all of the properties in type $H_4$. We do this by exhaustive computer searches for posets having these properties. We further give a realization of the poset of type $H_3$ as restricted roots of type $D_6$, and conjecture a Hilbert polynomial for the $q,t$-Catalan numbers for type $H_4$.
2012-12-12
Hopf algebra of building sets
Published in The Electronic Journal of Combinatorics, Vol 19, Issue 4 (2012), P42 • Search Publication
The combinatorial Hopf algebra on building sets $BSet$ extends the chromatic Hopf algebra of simple graphs. The image of a building set under canonical morphism to quasi-symmetric functions is the chromatic symmetric function of the corresponding hypergraph. By passing from graphs to building sets, we construct a sequence of symmetric functions associated to a graph. From the generalized Dehn-Sommerville relations for the Hopf algebra $BSet$, we define a class of building sets called eulerian and show that eulerian building sets satisfy Bayer-Billera relations. We show the existence of the $\mathbf{c}\mathbf{d}-$index, the polynomial in two noncommutative variables associated to an eulerian building set. The complete characterization of eulerian building sets is given in terms of combinatorics of intersection posets of antichains of finite sets.
2012-12-11 v2
Mixing for progressions in non-abelian groups
Published • View Publication • BIB
We study the mixing properties of progressions $(x,xg,xg^2)$, $(x,xg,xg^2,xg^3)$ of length three and four in a model class of finite non-abelian groups, namely the special linear groups $SL_d(F)$ over a finite field $F$, with $d$ bounded. For length three progressions $(x,xg,xg^2)$, we establish a strong mixing property (with error term that decays polynomially in the order $|F|$ of $F$), which among other things counts the number of such progressions in any given dense subset $A$ of $SL_d(F)$, answering a question of Gowers for this class of groups. For length four progressions $(x,xg,xg^2,xg^3)$, we establish a partial result in the $d=2$ case if the shift $g$ is restricted to be diagonalisable over the field, although in this case we do not recover polynomial bounds in the error term. Our methods include the use of the Cauchy-Schwarz inequality, the abelian Fourier transform, the Lang-Weil bound for the number of points in an algebraic variety over a finite field, some algebraic geometry, and (in the case of length four progressions) the multidimensional Szemerédi theorem.
2012-12-10 v2
Betti tables of $p$-Borel-fixed ideals
Published • View Publication • BIB
In this note we provide a counter-example to a conjecture of K. Pardue [Thesis, Brandeis University, 1994.], which asserts that if a monomial ideal is $p$-Borel-fixed, then its $\naturals$-graded Betti table, after passing to any field does not depend on the field. More precisely, we show that, for any monomial ideal $I$ in a polynomial ring $S$ over the ring $\ints$ of integers and for any prime number $p$, there is a $p$-Borel-fixed monomial $S$-ideal $J$ such that a region of the multigraded Betti table of $J(S \otimes_\ints \ell)$ is in one-to-one correspondence with the multigraded Betti table of $I(S \otimes_\ints \ell)$ for all fields $\ell$ of arbitrary characteristic. There is no analogous statement for Borel-fixed ideals in characteristic zero. Additionally, the construction also shows that there are $p$-Borel-fixed ideals with non-cellular minimal resolutions.
2012-12-10 v4
The Bubble Skein Element and Applications
Published in Journal of Knot Theory and Its Ramifications, Volume 23, Issue 14, December 2014 • View Publication • BIB
We study a certain skein element in the relative Kauffman bracket skein module of the disk with some marked points, and expand this element in terms linearly independent elements of this module. This expansion is used to compute and study the head and the tail of the colored Jones polynomial and in particular we give a simple $q-$series for the tail of the knot $8_5$. Furthermore, we use this expansion to obtain an easy determination of the theta coefficients.
A quadratic formula for basic hypergeometric series related to Askey-Wilson polynomials
Published • View Publication • BIB
We prove a general quadratic formula for basic hypergeometric series, from which simple proofs of several recent determinant and Pfaffian formulas are obtained. A special case of the quadratic formula is actually related to a Gram determinant formula for Askey-Wilson polynomials. We also show how to derive a recent double-sum formula for the moments of Askey-Wilson polynomials from Newton's interpolation formula.
Minkowski Polynomials and Mutations
Published in SIGMA 8 (2012), 094, 707 pages • View Publication • BIB
Given a Laurent polynomial f, one can form the period of f: this is a function of one complex variable that plays an important role in mirror symmetry for Fano manifolds. Mutations are a particular class of birational transformations acting on Laurent polynomials in two variables; they preserve the period and are closely connected with cluster algebras. We propose a higher-dimensional analog of mutation acting on Laurent polynomials f in n variables. In particular we give a combinatorial description of mutation acting on the Newton polytope P of f, and use this to establish many basic facts about mutations. Mutations can be understood combinatorially in terms of Minkowski rearrangements of slices of P, or in terms of piecewise-linear transformations acting on the dual polytope P^* (much like cluster transformations). Mutations map Fano polytopes to Fano polytopes, preserve the Ehrhart series of the dual polytope, and preserve the period of f. Finally we use our results to show that Minkowski polynomials, which are a family of Laurent polynomials that give mirror partners to many three-dimensional Fano manifolds, are connected by a sequence of mutations if and only if they have the same period.
2012-12-07
A general product of tensors with applications
Published • View Publication • BIB
We define a general product of two $n$-dimensional tensors $\mathbb {A}$ and $\mathbb {B}$ with orders $m\ge 2$ and $k\ge 1$, respectively. This product is a generalization of the usual matrix product, and satisfies the associative law. Using this product, many concepts and known results of tensors can be simply expressed and/or proved, and a number of applications of this product will be given. Using this tensor product and some properties on the resultant of a system of homogeneous equations on $n$ variables, we define the similarity and congruence of tensors (which are also the generalizations of the corresponding relations for matrices), and prove that similar tensors have the same characteristic polynomials. We study two special kinds of similarity: permutational similarity and diagonal similarity, and their applications in the study of the spectra of hypergraphs and nonnegative irreducible tensors. We define the direct product of tensors (in matrix case it is also called the Kronecker product), and give its applications in the study of the spectra of two kinds of the products of hypergraphs. We also give applications of this tensor product in the study of nonnegative tensors, including a characterization of primitive tensors, the upper bounds of primitive degrees and the cyclic indices of some nonnegative irreducible tensors.
2012-12-07 v4
Counting generalized Jenkins-Strebel differentials
Published in Geometriae Dedicata, 170:1 (2014), 195--217 • View Publication • BIB
We study the combinatorial geometry of "lattice" Jenkins--Strebel differentials with simple zeroes and simple poles on $\mathbb{C}P^1$ and of the corresponding counting functions. Developing the results of M. Kontsevich we evaluate the leading term of the symmetric polynomial counting the number of such "lattice" Jenkins-Strebel differentials having all zeroes on a single singular layer. This allows us to express the number of general "lattice" Jenkins-Strebel differentials as an appropriate weighted sum over decorated trees. The problem of counting Jenkins-Strebel differentials is equivalent to the problem of counting pillowcase covers, which serve as integer points in appropriate local coordinates on strata of moduli spaces of meromorphic quadratic differentials. This allows us to relate our counting problem to calculations of volumes of these strata . A very explicit expression for the volume of any stratum of meromorphic quadratic differentials recently obtained by the authors leads to an interesting combinatorial identity for our sums over trees.
2012-12-06 v3
Barycentric subdivisions and derangement polynomials for the even-signed permutation groups
The derangement polynomial for the symmetric group enumerates derangements by the number of excedances. It can be interpreted as the local $h$-polynomial, in the sense of Stanley, of the barycentric subdivision of the simplex. Motivated by this interpretation, we define a derangement polynomial for the even-signed permutation group. The coefficients of this polynomial are nonnegative, symmetric and unimodal. We show that they enumerate derangements in the even-signed permutation group according to a notion of excedance, which is analogous to the one introduced by Brenti for signed permutations. We also give an explicit formula for the corresponding exponential generating function.
2012-12-05
Some results on Whitney numbers of Dowling lattices
Published • View Publication • BIB
In this paper, we study some properties of Whitney numbers of Dowling lattices and related polynomials. We answer the following question: there is relation between Stirling and Eulerian polynomials. Can we find a new relation between Dowling polynomials and other polynomials generalizing Eulerian polynomials? In addition, some congruences for the Dowling numbers are given.
2012-12-05
Geometric representations of binary codes embeddable in three dimensions
We say that a binary linear code C has a geometric representation if there exists a two dimensional simplicial complex D such that C is a punctured code of the kernel ker D of the incidence matrix of D and dim C = dim ker D. We show that every binary linear code has a geometric representation that can be embedded into R^4. Moreover, we show that a binary linear code C has a geometric representation in R^3 if and only if there exists a graph G such that C equals the cut space of G. This is a polynomially testable property and hence we can conclude that there is a polynomial algorithm that decides the minimal dimension of a geometric representation of a binary linear code.
2012-12-04
Some Plethystic Identites and Kostka-Foulkes polynomials
We investigate the relationship between Kostka-Foulkes polynomials and certain symmetric functions that arise from Garsia and Haglund's study of the q,t-Catalan series.
2012-12-04
Counting smaller trees in the Tamari order
Published • View Publication • BIB
We introduce new objects, the interval-posets, that encode intervals of the Tamari lattice. We then find a combinatorial interpretation of the bilinear form that appears in the functional equation of Tamari intervals described by Chapoton. Thus, we retrieve this functional equation and prove that the polynomial recursively computed from the bilinear form on each tree $T$ counts the number of trees smaller than $T$ in the Tamari order.
2012-12-03
Chromatic polynomials of simplicial complexes
Published in Graphs and Combinatorics 32 (2016) 745-772 • View Publication • BIB
We consider s-chromatic polynomials of simplicial complexes, higher dimensional analogues of chromatic polynomials for graphs.