polynomial
11422 papers tagged with this keyword
A probabilistic interpretation of the Macdonald polynomials
Published
• View Publication
• BIB
The two-parameter Macdonald polynomials are a central object of algebraic combinatorics and representation theory. We give a Markov chain on partitions of k with eigenfunctions the coefficients of the Macdonald polynomials when expanded in the power sum polynomials. The Markov chain has stationary distribution a new two-parameter family of measures on partitions, the inverse of the Macdonald weight (rescaled). The uniform distribution on permutations and the Ewens sampling formula are special cases. The Markov chain is a version of the auxiliary variables algorithm of statistical physics. Properties of the Macdonald polynomials allow a sharp analysis of the running time. In natural cases, a bounded number of steps suffice for arbitrarily large k.
An upper bound for the number of independent sets in regular graphs
Published in Discrete Mathematics 309 (2009), 6635-6640
• View Publication
• BIB
Write ${\cal I}(G)$ for the set of independent sets of a graph $G$ and $i(G)$ for $|{\cal I}(G)|$. It has been conjectured (by Alon and Kahn) that for an $N$-vertex, $d$-regular graph $G$, $$ i(G) \leq \left(2^{d+1}-1\right)^{N/2d}. $$ If true, this bound would be tight, being achieved by the disjoint union of $N/2d$ copies of $K_{d,d}$. Kahn established the bound for bipartite $G$, and later gave an argument that established $$ i(G)\leq 2^{\frac{N}{2}\left(1+\frac{2}{d}\right)} $$ for $G$ not necessarily bipartite. In this note, we improve this to $$ i(G)\leq 2^{\frac{N}{2}\left(1+\frac{1+o(1)}{d}\right)} $$ where $o(1) \rightarrow 0$ as $d \rightarrow \infty$, which matches the conjectured upper bound in the first two terms of the exponent.
We obtain this bound as a corollary of a new upper bound on the independent set polynomial $P(λ,G)=\sum_{I \in {\cal I}(G)} λ^{|I|}$ of an $N$-vertex, $d$-regular graph $G$, namely $$ P(\gl,G) \leq (1+\gl)^{\frac{N}{2}} 2^{\frac{N(1+o(1))}{2d}} $$ valid for all $\gl > 0$. This also allows us to improve the bounds obtained recently by Carroll, Galvin and Tetali on the number of independent sets of a fixed size in a regular graph.
Koszulness of binomial edge ideals
Published
• View Publication
• BIB
Let $G$ be a simple graph on the vertex set $V(G) = [n] = \{1,...,n\}$ and edge ideal $E(G)$. We consider the class of closed graphs. A closed graph is a simple graph satisfying the following property: for all edges $\{i, j\}$ and $\{k, \ell\}$ with $i < j$ and $k < \ell$ one has $\{j, \ell\}\in E(G)$ if $i = k$, and $\{i, k\}\in E(G)$ if $j = \ell$. We state some criteria for the closedness of a graph $G$ that do not depend necessarily from the labelling of its vertex set. Consequently, if $S = K[x_1,..., x_n, y_1,..., y_n]$ is a polynomial ring in $2n$ variables with coefficients in a field $K$, we obtain some criteria for the Koszulness of the quotient algebra $S /J_G$, where $J_G$ is the binomial edge ideal of $S$ i.e. the ideal generated by the binomials $f_{ij} = x_iy_j - x_jy_i$ such that $i<j$ and $\{i,j\}$ is an edge of $G$ (\cite{HH}).
On a Family of 2-Variable Orthogonal Krawtchouk Polynomials
Published in SIGMA 6 (2010), 090, 12 pages
• View Publication
• BIB
We give a hypergeometric proof involving a family of 2-variable Krawtchouk polynomials that were obtained earlier by Hoare and Rahman [SIGMA 4 (2008), 089, 18 pages] as a limit of the 9-j symbols of quantum angular momentum theory, and shown to be eigenfunctions of the transition probability kernel corresponding to a "poker dice" type probability model. The proof in this paper derives and makes use of the necessary and sufficient conditions of orthogonality in establishing orthogonality as well as indicating their geometrical significance. We also derive a 5-term recurrence relation satisfied by these polynomials.
Lower bounds for designs in symmetric spaces
A design is a finite set of points in a space on which every "simple" functions averages to its global mean. Illustrative examples of simple functions are low-degree polynomials on the Euclidean sphere or on the Hamming cube.
We prove lower bounds on designs in spaces with a large group of symmetries. These spaces include globally symmetric Riemannian spaces (of any rank) and commutative association schemes with 1-transitive group of symmetries.
Our bounds are, in general, implicit, relying on estimates on the spectral behavior of certain symmetry-invariant linear operators. They reduce to the first linear programming bound for designs in globally symmetric Riemannian spaces of rank 1 or in distance regular graphs. The proofs are different though, coming from viewpoint of abstract harmonic analysis in symmetric spaces. As a dividend we obtain the following geometric fact: a design is large because a union of "spherical caps" around its points "covers" the whole space.
Hilbert polynomial of the Kimura 3-parameter model
Published
• View Publication
• BIB
Buczyńska and Wiśniewski showed that for the Jukes Cantor binary model of a 3-valent tree the Hilbert polynomial depends only on the number of leaves of the tree and not on its shape. We ask if this can be generalized to other group-based models. In this paper we consider the Kimura 3-parameter model and show that the generalization of the statement about the Hilbert polynomials to the Kimura 3-parameter model is not possible as the Hilbert polynomial depends on the shape of a 3-valent tree.
Invariant semidefinite programs
Published
• View Publication
• BIB
In the last years many results in the area of semidefinite programming were obtained for invariant (finite dimensional, or infinite dimensional) semidefinite programs - SDPs which have symmetry. This was done for a variety of problems and applications. The purpose of this handbook chapter is to give the reader the necessary background for dealing with semidefinite programs which have symmetry. Here the basic theory is given and it is illustrated in applications from coding theory, combinatorics, geometry, and polynomial optimization.
Orientations, lattice polytopes, and group arrangements III: Cartesian product arrangements and applications to the Tutte type polynomials of graphs
Published
• View Publication
• BIB
A common generalization for the chromatic polynomial and the flow polynomial of a graph $G$ is the Tutte polynomial $T(G;x,y)$. The combinatorial meaning for the coefficients of $T$ was discovered by Tutte at the beginning of its definition. However, for a long time the combinatorial meaning for the values of $T$ is missing, except for a few values such as $T(G;i,j)$, where $1\leq i,j\leq 2$, until recently for $T(G;1,0)$ and $T(G;0,1)$. In this third one of a series of papers, we introduce product valuations, cartesian product arrangements, and multivariable characteristic polynomials, and apply the theory of product arrangement to the tension-flow group associated with graphs. Three types of tension-flows are studied in details: elliptic, parabolic, and hyperbolic; each type produces a two-variable polynomial for graphs. Weighted polynomials are introduced and their reciprocity laws are obtained. The dual versions for the parabolic case turns out to include Whitney's rank generating polynomial and the Tutte polynomial as special cases. The product arrangement part is of interest for its own right. The application part to graphs can be modified to matroids.
How to compute Selberg-like integrals?
In this paper, we describe a general method for computing Selberg-like integrals based on a formula, due to Kaneko, for Selberg-Jack integrals. The general principle consists in expanding the integrand \emph{w.r.t.} the Jack basis, which is obtained by a Gram-Schmidt orthogonalization process.
The resulting algorithm is not very efficient because of this decomposition. But for special cases, the coefficients admit a closed form. As an example, we study the case of the power-sums since for which the coefficients are obtained by manipulating generating series by means of transformations of alphabets. Furthermore, we prove that the integral is a rational function in the number of variables which allows us to study asymptotics. As an application, we investigate the asymptotic behavior when the integrand involves Jack polynomials and power sums.
The shifted primes and the multidimensional Szemeredi and polynomial van der Waerden theorems
Published in Comptes Rendus Mathematique Volume 349, Issues 3-4, February 2011, Pages 123-125
• View Publication
• BIB
In this short note we establish new refinements of multidimensional Szemeredi and polynomial van der Waerden theorems along the shifted primes.
On some expansions for the Euler Gamma function and the Riemann Zeta function
Published in Grzegorz Rzadkowski, On some expansions for the Euler Gamma function and the Riemann Zeta function, J. Comp. Appl. Math. 236 (2012) pp. 3710-3719
• View Publication
• BIB
In the present paper we introduce some expansions, based on the falling factorials, for the Euler Gamma function and the Riemann Zeta function. In the proofs we use the Faá di Bruno formula, Bell polynomials, potential polynomials, Mittag-Leffler polynomials, derivative polynomials and special numbers (Eulerian numbers and Stirling numbers of both kinds). We investigate the rate of convergence of the series and give some numerical examples.
Vsep-New Heuristic and Exact Algorithms for Graph Automorphism Group Computation
Published
• View Publication
• BIB
One exact and two heuristic algorithms for determining the generators, orbits and order of the graph automorphism group are presented. A basic tool of these algorithms is the well-known individualization and refinement procedure. A search tree is used in the algorithms - each node of the tree is a partition. All nonequivalent discreet partitions derivative of the selected vertices are stored in a coded form. A new strategy is used in the exact algorithm: if during its execution some of the searched or intermediate variables obtain a wrong value then the algorithm continues from a new start point losing some of the results determined so far. The algorithms has been tested on one of the known benchmark graphs and shows lower running times for some graph families. The heuristic versions of the algorithms are based on determining some number of discreet partitions derivative of each vertex in the selected cell of the initial partition and comparing them for an automorphism - their search trees are reduced. The heuristic algorithms are almost exact and are many times faster than the exact one. The experimental tests exhibit that the worst-cases running time of the exact algorithm is exponential but it is polynomial for the heuristic algorithms. Several cell selectors are used. Some of them are new. We also use a chooser of cell selector for choosing the optimal cell selector for the manipulated graph. The proposed heuristic algorithms use two main heuristic procedures that generate two different forests of search trees.
$λ$-factorials of $n$
Published
• View Publication
• BIB
Recently, by the Riordan's identity related to tree enumerations, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}(k+1)!(n+1)^{n-k} &=& (n+1)^{n+1}, \end{eqnarray*} Sun and Xu derived another analogous one, \begin{eqnarray*} \sum_{k=0}^{n}\binom{n}{k}D_{k+1}(n+1)^{n-k} &=& n^{n+1}, \end{eqnarray*} where $D_{k}$ is the number of permutations with no fixed points on $\{1,2,\dots, k\}$. In the paper, we utilize the $λ$-factorials of $n$, defined by Eriksen, Freij and W$\ddot{a}$stlund, to give a unified generalization of these two identities. We provide for it a combinatorial proof by the functional digraph theory and another two algebraic proofs. Using the umbral representation of our generalized identity and the Abel's binomial formula, we deduce several properties for $λ$-factorials of $n$ and establish the curious relations between the generating functions of general and exponential types for any sequence of numbers or polynomials.
An extension of disjunctive programming and its impact for compact tree formulations
In the 1970's, Balas introduced the concept of disjunctive programming, which is optimization over unions of polyhedra. One main result of his theory is that, given linear descriptions for each of the polyhedra to be taken in the union, one can easily derive an extended formulation of the convex hull of the union of these polyhedra. In this paper, we give a generalization of this result by extending the polyhedral structure of the variables coupling the polyhedra taken in the union. Using this generalized concept, we derive polynomial size linear programming formulations (compact formulations) for a well-known spanning tree approximation of Steiner trees, for Gomory-Hu trees, and, as a consequence, of the minimum $T$-cut problem (but not for the associated $T$-cut polyhedron). Recently, Kaibel and Loos (2010) introduced a more involved framework called {\em polyhedral branching systems} to derive extended formulations. The most parts of our model can be expressed in terms of their framework. The value of our model can be seen in the fact that it completes their framework by an interesting algorithmic aspect.
The sorting index
Published
• View Publication
• BIB
We consider a bivariate polynomial that generalizes both the length and reflection length generating functions in a finite Coxeter group. In seeking a combinatorial description of the coefficients, we are led to the study of a new Mahonian statistic, which we call the sorting index. The sorting index of a permutation and its type B and type D analogues have natural combinatorial descriptions which we describe in detail.
Deformed Kazhdan-Lusztig elements and Macdonald polynomials
Published in J. Alg. Comb. Theory A 119 (2012), 183-211
• View Publication
• BIB
We introduce deformations of Kazhdan-Lusztig elements and specialised nonsymmetric Macdonald polynomials, both of which form a distinguished basis of the polynomial representation of a maximal parabolic subalgebra of the Hecke algebra. We give explicit integral formula for these polynomials, and explicitly describe the transition matrices between classes of polynomials. We further develop a combinatorial interpretation of homogeneous evaluations using an expansion in terms of Schubert polynomials in the deformation parameters.
On the independence polynomial of an antiregular graph
Published
• View Publication
• BIB
A graph with at most two vertices of the same degree is called antiregular (Merris 2003), maximally nonregular (Zykov 1990) or quasiperfect (Behzad, Chartrand 1967). If s_{k} is the number of independent sets of cardinality k in a graph G, then I(G;x) = s_{0} + s_{1}x + ... + s_{alpha}x^{alpha} is the independence polynomial of G (Gutman, Harary 1983), where alpha = alpha(G) is the size of a maximum independent set. In this paper we derive closed formulae for the independence polynomials of antiregular graphs. In particular, we deduce that every antiregular graph A is uniquely defined by its independence polynomial I(A;x), within the family of threshold graphs. Moreover, I(A;x) is logconcave with at most two real roots, and I(A;-1) belongs to {-1,0}.
Determinants and Compositions of Natural Numbers
We consider a particular type of matrices which belong at the same time to the class of Hessenberg and Toeplitz matrices, and whose determinants are equal to the number of a type of compositions of natural numbers.
We prove a formula in which the number of weak compositions with a fixed number of zeroes is expressed in terms of the number of compositions without zeroes. Then we find a relationship between weak compositions and coefficients of characteristic polynomials of appropriate matrices.
Finally, we prove three explicit formulas for weak compositions of a special kind.
Tropical Geometry and the Motivic Nearby Fiber
Published in Compositio Math. 148 (2012) 269-294
• View Publication
• BIB
We construct motivic invariants of a subvariety of an algebraic torus from its tropicalization and initial degenerations. More specifically, we introduce an invariant of a compactification of such a variety called the "tropical motivic nearby fiber." This invariant specializes in the schon case to the Hodge-Deligne polynomial of the limit mixed Hodge structure of a corresponding degeneration. We give purely combinatorial expressions for this Hodge-Deligne polynomial in the cases of schon hypersurfaces and smooth tropical varieties. We also deduce a formula for the Euler characteristic of a general fiber of the degeneration.
Congruence conditions, parcels, and Tutte polynomials of graphs and matroids
Published
• View Publication
• BIB
Let $G$ be a matrix and $M(G)$ be the matroid defined by linear dependence on the set $E$ of column vectors of $G.$ Roughly speaking, a parcel is a subset of pairs $(f,g)$ of functions defined on $E$ to an Abelian group $A$ satisfying a coboundary condition (that $f-g$ is a flow over $A$ relative to $G$) and a congruence condition (that the size of the supports of $f$ and $g$ satisfy some congruence condition modulo an integer). We prove several theorems of the form: a linear combination of sizes of parcels, with coefficients roots of unity, equals an evaluation of the Tutte polynomial of $M(G)$ at a point $(λ-1,x-1)$ on the complex hyperbola $(λ- 1)(x-1) = |A|.$