polynomial
11422 papers tagged with this keyword
An Enumerative Function
We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials.
The first section of the paper is an introduction.
In the second section we derive an explicit formula for F. From the expression for the power function we obtain a number theory result.
Then we derive a formula which shows that the case of arbitrary m may be reduced to the case m=0. This formula extends Vandermonde convolution.
In the second section we describe F by the series of recurrence relations with respect to each of arguments k, n, and P. As a special case of the first recurrence relation we state a binomial identity. As a consequence of the second recurrence relation we obtain relation for coefficients of Chebyshev polynomial of both kind. This means that these polynomials might be defined in pure combinatorial way.
A Most General Edge Elimination Polynomial - Thickening of Edges
Published
• View Publication
• BIB
We consider a graph polynomial ξ(G;x,y,z) introduced by Averbouch, Godlin, and Makowsky (2007). This graph polynomial simultaneously generalizes the Tutte polynomial as well as a bivariate chromatic polynomial defined by Dohmen, Poenitz and Tittmann (2003). We derive an identity which relates the graph polynomial of a thicked graph (i.e. a graph with each edge replaced by k copies of it) to the graph polynomial of the original graph. As a consequence, we observe that at every point (x,y,z), except for points lying within some set of dimension 2, evaluating ξis #P-hard.
The Eulerian distribution on self evacuated involutions
Published
• View Publication
• BIB
We present an extensive study of the Eulerian distribution on the set of self evacuated involutions, namely, involutions corresponding to standard Young tableaux that are fixed under the Sch$\ddot{\textrm{u}}$tzenberger map. We find some combinatorial properties for the generating polynomial of such distribution, together with an explicit formula for its coefficients. Afterwards, we carry out an analogous study for the subset of self evacuated involutions without fixed points.
On k-resonant fullerene graphs
Published in SIAM J. DISCRETE MATH. Vol. 23 (2009) pp. 1023
• View Publication
• BIB
A fullerene graph $F$ is a 3-connected plane cubic graph with exactly 12 pentagons and the remaining hexagons. Let $M$ be a perfect matching of $F$. A cycle $C$ of $F$ is $M$-alternating if the edges of $C$ appear alternately in and off $M$. A set $\mathcal H$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that all hexagons in $\mathcal H$ are $M$-alternating. A fullerene graph $F$ is $k$-resonant if any $i$ ($0\leq i \leq k$) disjoint hexagons of $F$ form a resonant pattern. In this paper, we prove that every hexagon of a fullerene graph is resonant and all leapfrog fullerene graphs are 2-resonant. Further, we show that a 3-resonant fullerene graph has at most 60 vertices and construct all nine 3-resonant fullerene graphs, which are also $k$-resonant for every integer $k>3$. Finally, sextet polynomials of the 3-resonant fullerene graphs are computed.
Cyclotomic Solomon Algebras
Published
• View Publication
• BIB
This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.
Lower bounds for measurable chromatic numbers
Published in Geom. Funct. Anal. 19 (2009), 645-661
• View Publication
• BIB
The Lovasz theta function provides a lower bound for the chromatic number of finite graphs based on the solution of a semidefinite program. In this paper we generalize it so that it gives a lower bound for the measurable chromatic number of distance graphs on compact metric spaces.
In particular we consider distance graphs on the unit sphere. There we transform the original infinite semidefinite program into an infinite linear program which then turns out to be an extremal question about Jacobi polynomials which we solve explicitly in the limit. As an application we derive new lower bounds for the measurable chromatic number of the Euclidean space in dimensions 10,..., 24, and we give a new proof that it grows exponentially with the dimension.
Inequalities and Ehrhart $δ$-Vectors
Published in Trans. Amer. Math. Soc. 361 (2009), 5615-5626.
• View Publication
• BIB
For any lattice polytope $P$, we consider an associated polynomial $\barδ_{P}(t)$ and describe its decomposition into a sum of two polynomials satisfying certain symmetry conditions. As a consequence, we improve upon known inequalities satisfied by the coefficients of the Ehrhart $δ$-vector of a lattice polytope. We also provide combinatorial proofs of two results of Stanley that were previously established using techniques from commutative algebra. Finally, we give a necessary numerical criterion for the existence of a regular unimodular lattice triangulation of the boundary of a lattice polytope.
The Maximal Probability that k-wise Independent Bits are All 1
Published in Random Struct. Alg., 38, 502-525, 2011
• View Publication
• BIB
A k-wise independent distribution on n bits is a joint distribution of the bits such that each k of them are independent. In this paper we consider k-wise independent distributions with identical marginals, each bit has probability p to be 1. We address the following question: how high can the probability that all the bits are 1 be, for such a distribution? For a wide range of the parameters n,k and p we find an explicit lower bound for this probability which matches an upper bound given by Benjamini et al., up to multiplicative factors of lower order. The question we investigate can be seen as a relaxation of a major open problem in error-correcting codes theory, namely, how large can a linear error correcting code with given parameters be?
The question is a type of discrete moment problem, and our approach is based on showing that bounds obtained from the theory of the classical moment problem provide good approximations for it. The main tool we use is a bound controlling the change in the expectation of a polynomial after small perturbation of its zeros.
On the Basis Polynomials in the Theory of Permutations with Prescribed Up-Down Structure
Let $π=(π_1,π_2,\hdots,π_n)$ be permutation of the elements $1,2,\hdots,n. $ Positive integer $k\leq2^{n-1}$ we call index of $π,$ if in its binary notation as $n$-digital binary number, the 1's correspond to the ascent points. We study behavior and properties of numbers of permutations of $n$ elements having index $k.$
Appell polynomials and their relatives II. Boolean theory
Published in Indiana Univ. Math. J. 58 (2009), 929-968
• View Publication
• BIB
The Appell-type polynomial family corresponding to the simplest non-commutative derivative operator turns out to be connected with the Boolean probability theory, the simplest of the three universal non-commutative probability theories (the other two being free and tensor/classical probability). The basic properties of the Boolean Appell polynomials are described. In particular, their generating function turns out to have a resolvent-type form, just like the generating function for the free Sheffer polynomials. It follows that the Meixner (that is, Sheffer plus orthogonal) polynomial classes, in the Boolean and free theory, coincide. This is true even in the multivariate case. A number of applications of this fact are described, to the Belinschi-Nica and Bercovici-Pata maps, conditional freeness, and the Laha-Lukacs type characterization.
A number of properties which hold for the Meixner class in the free and classical cases turn out to hold in general in the Boolean theory. Examples include the behavior of the Jacobi coefficients under convolution, the relationship between the Jacobi coefficients and cumulants, and an operator model for cumulants. Along the way, we obtain a multivariate version of the Stieltjes continued fraction expansion for the moment generating function of an arbitrary state with monic orthogonal polynomials.
On cluster algebras arising from unpunctured surfaces
Published
• View Publication
• BIB
We study cluster algebras that are associated to unpunctured surfaces with coefficients arising from boundary arcs. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of certain paths on a triangulation of the surface. As an immediate consequence, we prove the positivity conjecture of Fomin and Zelevinsky for these cluster algebras. In the special case where the cluster algebra is acyclic, we also give a formula for the expansion of cluster variables as a polynomial whose indeterminates are the cluster variables contained in the union of an arbitrary acyclic cluster and all its neighbouring clusters in the mutation graph.
A combinatorial interpretation for the identity Sum_{k=0}^{n} binom{n}{k} Sum_{j=0}^{k} binom{k}{j}^{3}= Sum_{k=0}^{n} binom{n}{k}^{2}binom{2k}{k}
The title identity appeared as Problem 75-4, proposed by P. Barrucand, in Siam Review in 1975. The published solution equated constant terms in a suitable polynomial identity. Here we give a combinatorial interpretation in terms of card deals.
A most general edge elimination graph polynomial
Published in Eur. J. Comb. 31(1): 1-17 (2010)
• View Publication
• BIB
We look for graph polynomials which satisfy recurrence relations on three kinds of edge elimination: edge deletion, edge contraction and deletion of edges together with their end points. Like in the case of deletion and contraction only (W. Tutte, 1954), it turns out that there is a most general polynomial satisfying such recurrence relations, which we call $ξ(G,x,y,z)$. We show that the new polynomial simultaneously generalizes the Tutte polynomial, the matching polynomial, and the recent generalization of the chromatic polynomial proposed by K.Dohmen, A.Pönitz and P.Tittman (2003), including also the independent set polynomial of I. Gutman and F. Harary, (1983) and the vertex-cover polynomial of F,M. Dong, M.D. Hendy, K.T. Teo and C.H.C. Little (2002). We establish two definitions of the new polynomial: first, the most general confluent recursive definition, and then an explicit one, using a set expansion formula, and prove their identity. We further expand this result to edge-labeled graphs as was done for the Tutte polynomial by T. Zaslavsky (1992) and B. Bollobás and O. Riordan (1999). The edge labeled polynomial $ξ_{lab}(G,x,y,z, \bar{t})$ also generalizes the chain polynomial of R.C. Read and E.G. Whitehead Jr. (1999). Finally, we discuss the complexity of computing $ξ(G,x,y,z)$.
The Veronese Construction for Formal Power Series and Graded Algebras
Published
• View Publication
• BIB
Let $(a_n)_{n \geq 0}$ be a sequence of complex numbers such that its generating series satisfies $\sum_{n \geq 0} a_nt^n = \frac{h(t)}{(1-t)^d}$ for some polynomial $h(t)$. For any $r \geq 1$ we study the transformation of the coefficient series of $h(t)$ to that of $h^{< r >}(t)$ where $\sum_{n \geq 0} a_{nr} t^n = \frac{h^{< r >}(t)}{(1-t)^d}$. We give a precise description of this transformation and show that under some natural mild hypotheses the roots of $h^{< r >}(t)$ converge when $r$ goes to infinity. In particular, this holds if $\sum_{n \geq 0} a_n t^n$ is the Hilbert series of a standard graded $k$-algebra $A$. If in addition $A$ is Cohen-Macaulay then the coefficients of $h^{< r >}(t)$ are monotonely increasing with $r$. If $A$ is the Stanley-Reisner ring of a simplicial complex $Δ$ then this relates to the $r$th edgewise subdivision of $Δ$ which in turn allows some corollaries on the behavior of the respective $f$-vectors.
Orbit closures in the enhanced nilpotent cone
Published in Adv. Math. 219 (2008), no. 1, pp. 27-62
• View Publication
• BIB
We study the orbits of $G=\mathrm{GL}(V)$ in the enhanced nilpotent cone $V\times\mathcal{N}$, where $\mathcal{N}$ is the variety of nilpotent endomorphisms of $V$. These orbits are parametrized by bipartitions of $n=\dim V$, and we prove that the closure ordering corresponds to a natural partial order on bipartitions. Moreover, we prove that the local intersection cohomology of the orbit closures is given by certain bipartition analogues of Kostka polynomials, defined by Shoji. Finally, we make a connection with Kato's exotic nilpotent cone in type C, proving that the closure ordering is the same, and conjecturing that the intersection cohomology is the same but with degrees doubled.
The real loci of Calogero-Moser spaces, representations of rational Cherednik algebras and the Shapiro conjecture
We prove a criterion for the reality of irreducible representations of the rational Cherednik algebras H_{0,1}(S_n). This is shown to imply a criterion for the real loci of the Calogero-Moser spaces C_n in terms of the Etingof-Ginzburg finite maps Υ\colon C_n \to C^n/S_n \times C^n/S_n, recovering a result of Mikhin, Tarasov, and Varchenko [MTV2]. As a consequence we obtain a criterion for the real locus of the Wilson's adelic Grassmannian of rank one bispectral solutions of the KP hierarchy. Using Wilson's first parametrisation of the adelic Grassmannian, we give a new proof of a result of [MTV2] on real bases of spaces of quasi polynomials. The Shapiro Conjecture for Grassmannians is equivalent to a special case of our result for Calogero-Moser spaces, namely for the fibres of Υover C^n/S_n \times 0.
Generalized duality for graphs on surfaces and the signed Bollobas-Riordan polynomial
Published
• View Publication
• BIB
We generalize the natural duality of graphs embedded into a surface to a duality with respect to a subset of edges. The dual graph might be embedded into a different surface. We prove a relation between the signed Bollobas-Riordan polynomials of dual graphs. This relation unifies various recent results expressing the Jones polynomial of links as specializations of the Bollobas-Riordan polynomials.
Van der Waerden/Schrijver-Valiant like Conjectures and Stable (aka Hyperbolic) Homogeneous Polynomials : One Theorem for all
Published in The Electronic Journal of Combinatorics, 2008
• View Publication
• BIB
Let $p$ be a homogeneous polynomial of degree $n$ in $n$ variables, $p(z_1,...,z_n) = p(Z)$, $Z \in C^{n}$. We call such a polynomial $p$ {\bf H-Stable} if $p(z_1,...,z_n) \neq 0$ provided the real parts $Re(z_i) > 0, 1 \leq i \leq n$. This notion from {\it Control Theory} is closely related to the notion of {\it Hyperbolicity} used intensively in the {\it PDE} theory.
The main theorem in this paper states that if $p(x_1,...,x_n)$ is a homogeneous {\bf H-Stable} polynomial of degree $n$ with nonnegative coefficients; $deg_{p}(i)$ is the maximum degree of the variable $x_i$, $C_i = \min(deg_{p}(i),i)$ and $$ Cap(p) = \inf_{x_i > 0, 1 \leq i \leq n} \frac{p(x_1,...,x_n)}{x_1 ... x_n} $$ then the following inequality holds $$ \frac{\partial^n}{\partial x_1... \partial x_n} p(0,...,0) \geq Cap(p) \prod_{2 \leq i \leq n} (\frac{C_i -1}{C_i})^{C_{i}-1}. $$
This inequality is a vast (and unifying) generalization of the Van der Waerden conjecture on the permanents of doubly stochastic matrices as well as the Schrijver-Valiant conjecture on the number of perfect matchings in $k$-regular bipartite graphs. These two famous results correspond to the {\bf H-Stable} polynomials which are products of linear forms.
Our proof is relatively simple and ``noncomputational''; it uses just very basic properties of complex numbers and the AM/GM inequality.
Converging to Gosper's Algorithm
Given two polynomials, we find a convergence property of the GCD of the rising factorial and the falling factorial. Based on this property, we present a unified approach to computing the universal denominators as given by Gosper's algorithm and Abramov's algorithm for finding rational solutions to linear difference equations with polynomial coefficients.
Inverse Conjecture for the Gowers norm is false
Published
• View Publication
• BIB
Let $p$ be a fixed prime number, and $N$ be a large integer. The 'Inverse Conjecture for the Gowers norm' states that if the "$d$-th Gowers norm" of a function $f:\F_p^N \to \F_p$ is non-negligible, that is larger than a constant independent of $N$, then $f$ can be non-trivially approximated by a degree $d-1$ polynomial. The conjecture is known to hold for $d=2,3$ and for any prime $p$. In this paper we show the conjecture to be false for $p=2$ and for $d = 4$, by presenting an explicit function whose 4-th Gowers norm is non-negligible, but whose correlation any polynomial of degree 3 is exponentially small.
Essentially the same result (with different correlation bounds) was independently obtained by Green and Tao \cite{gt07}. Their analysis uses a modification of a Ramsey-type argument of Alon and Beigel \cite{ab} to show inapproximability of certain functions by low-degree polynomials. We observe that a combination of our results with the argument of Alon and Beigel implies the inverse conjecture to be false for any prime $p$, for $d = p^2$.