polynomial
11257 papers tagged with this keyword
2-Log-concavity of the Boros-Moll Polynomials
Published
• View Publication
• BIB
The Boros-Moll polynomials $P_m(a)$ arise in the evaluation of a quartic integral. It has been conjectured by Boros and Moll that these polynomials are infinitely log-concave. In this paper, we show that $P_m(a)$ is 2-log-concave for any $m\geq 2$. Let $d_i(m)$ be the coefficient of $a^i$ in $P_m(a)$. We also show that the sequence $\{i (i+1)(d_i^{\,2}(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ is log-concave. This leads another proof of Moll's minimum conjecture.
Combinatorial Models of Creation-Annihilation
Published in Seminaire Lotharingien de Combinatoire 65, Art. B65c (2011)
• Search Publication
Quantum physics has revealed many interesting formal properties associated with the algebra of two operators, A and B, satisfying the partial commutation relation AB-BA=1. This study surveys the relationships between classical combinatorial structures and the reduction to normal form of operator polynomials in such an algebra. The connection is achieved through suitable labelled graphs, or "diagrams", that are composed of elementary "gates". In this way, many normal form evaluations can be systematically obtained, thanks to models that involve set partitions, permutations, increasing trees, as well as weighted lattice paths. Extensions to q-analogues, multivariate frameworks, and urn models are also briefly discussed.
The Dynamics of Semilattice Networks
Time-discrete dynamical systems on a finite state space have been used with great success to model natural and engineered systems such as biological networks, social networks, and engineered control systems. They have the advantage of being intuitive and models can be easily simulated on a computer in most cases; however, few analytical tools beyond simulation are available. The motivation for this paper is to develop such tools for the analysis of models in biology. In this paper we have identified a broad class of discrete dynamical systems with a finite phase space for which one can derive strong results about their long-term dynamics in terms of properties of their dependency graphs. We classify completely the limit cycles of semilattice networks with strongly connected dependency graph and provide polynomial upper and lower bounds in the general case.
Polynomial-time sortable stacks of burnt pancakes
Published in Theor. Comput. Sci. 412(8-10): 695-702 (2011)
• View Publication
• BIB
Pancake flipping, a famous open problem in computer science, can be formalised as the problem of sorting a permutation of positive integers using as few prefix reversals as possible. In that context, a prefix reversal of length k reverses the order of the first k elements of the permutation. The burnt variant of pancake flipping involves permutations of signed integers, and reversals in that case not only reverse the order of elements but also invert their signs. Although three decades have now passed since the first works on these problems, neither their computational complexity nor the maximal number of prefix reversals needed to sort a permutation is yet known. In this work, we prove a new lower bound for sorting burnt pancakes, and show that an important class of permutations, known as "simple permutations", can be optimally sorted in polynomial time.
Using homological duality in consecutive pattern avoidance
Published in Electron. J. Combin, 18(2) (2011),
• View Publication
• BIB
Using the approach suggested in [arXiv:1002.2761] we present below a sufficient condition guaranteeing that two collections of patterns of permutations have the same exponential generating functions for the number of permutations avoiding elements of these collections as consecutive patterns. In short, the coincidence of the latter generating functions is guaranteed by a length-preserving bijection of patterns in these collections which is identical on the overlappings of pairs of patterns where the overlappings are considered as unordered sets. Our proof is based on a direct algorithm for the computation of the inverse generating functions. As an application we present a large class of patterns where this algorithm is fast and, in particular, allows to obtain a linear ordinary differential equation with polynomial coefficients satisfied by the inverse generating function.
Multitriangulations, pseudotriangulations and primitive sorting networks
Published in Discrete Comput. Geom., 48(1):142-191, 2012
• View Publication
• BIB
We study the set of all pseudoline arrangements with contact points which cover a given support. We define a natural notion of flip between these arrangements and study the graph of these flips. In particular, we provide an enumeration algorithm for arrangements with a given support, based on the properties of certain greedy pseudoline arrangements and on their connection with sorting networks. Both the running time per arrangement and the working space of our algorithm are polynomial.
As the motivation for this work, we provide in this paper a new interpretation of both pseudotriangulations and multitriangulations in terms of pseudoline arrangements on specific supports. This interpretation explains their common properties and leads to a natural definition of multipseudotriangulations, which generalizes both. We study elementary properties of multipseudotriangulations and compare them to iterations of pseudotriangulations.
Relative Node Polynomials for Plane Curves
Published
• View Publication
• BIB
We generalize the recent work of S. Fomin and G. Mikhalkin on polynomial formulas for Severi degrees.
The degree of the Severi variety of plane curves of degree d and delta nodes is given by a polynomial in d, provided delta is fixed and d is large enough. We extend this result to generalized Severi varieties parametrizing plane curves which, in addition, satisfy tangency conditions of given orders with respect to a given line. We show that the degrees of these varieties, appropriately rescaled, are given by a combinatorially defined "relative node polynomial" in the tangency orders, provided the latter are large enough. We describe a method to compute these polynomials for arbitrary delta, and use it to present explicit formulas for delta <= 6. We also give a threshold for polynomiality, and compute the first few leading terms for any delta.
Maximal fillings of moon polyominoes, simplicial complexes, and Schubert polynomials
Published
• View Publication
• BIB
We exhibit a canonical connection between maximal (0,1)-fillings of a moon polyomino avoiding north-east chains of a given length and reduced pipe dreams of a certain permutation. Following this approach we show that the simplicial complex of such maximal fillings is a vertex-decomposable, and thus shellable, sphere. In particular, this implies a positivity result for Schubert polynomials. For Ferrers shapes, we moreover construct a bijection to maximal fillings avoiding south-east chains of the same length which specializes to a bijection between k-triangulations of the n-gon and k-fans of Dyck paths of length 2(n-2k). Using this, we translate a conjectured cyclic sieving phenomenon for k-triangulations with rotation to the language of k-flagged tableaux with promotion.
On the growth of restricted integer partition functions
Published
• View Publication
• BIB
We study the rate of growth of $p(n,S,M)$, the number of partitions of $n$ whose parts all belong to $S$ and whose multiplicities all belong to $M$, where $S$ (resp. $M$) are given infinite sets of positive (resp. nonnegative) integers. We show that if $M$ is all nonnegative integers then $p(n,S,M)$ cannot be of only polynomial growth, and that no sharper statement can be made. We ask: if $p(n,S,M)>0$ for all large enough $n$, can $p(n,S,M)$ be of polynomial growth in $n$?
A Pieri formula for Macdonald's spherical functions and polynomials
Published in Mathematische Zeitschrift, Volume 269, Issue 1 (2011), Page 281-292
• View Publication
• BIB
We present explicit Pieri formulas for Macdonald's spherical functions (or generalized Hall-Littlewood polynomials associated with root systems) and their $q$-deformation the Macdonald polynomials. For the root systems of type $A$, our Pieri formulas recover the well-known Pieri formulas for the Hall-Littlewood and Macdonald symmetric functions due to Morris and Macdonald as special cases.
A generalized Macdonald operator
Published in International Mathematics Research Notices, Vol. 2011, No. 15, pp. 3560-3574
• View Publication
• BIB
We present an explicit difference operator diagonalized by the Macdonald polynomials associated with an (arbitrary) admissible pair of irreducible reduced crystallographic root systems. By the duality symmetry, this gives rise to an explicit Pieri formula for the Macdonald polynomials in question. The simplest examples of our construction recover Macdonald's celebrated difference operators and associated Pieri formulas pertaining to the minuscule and quasi-minuscule weights. As further by-products, explicit expansions and Littlewood-Richardson type formulas are obtained for the Macdonald polynomials associated with a special class of small weights.
Is the five-flow conjecture almost false?
Published in J. Combin. Theory B 103 (2013) 532-565
• View Publication
• BIB
The number of nowhere zero Z_Q flows on a graph G can be shown to be a polynomial in Q, defining the flow polynomial Φ_G(Q). According to Tutte's five-flow conjecture, Φ_G(5) > 0 for any bridgeless G.A conjecture by Welsh that Φ_G(Q) has no real roots for Q \in (4,\infty) was recently disproved by Haggard, Pearce and Royle. These authors conjectured the absence of roots for Q \in [5,\infty). We study the real roots of Φ_G(Q) for a family of non-planar cubic graphs known as generalised Petersen graphs G(m,k). We show that the modified conjecture on real flow roots is also false, by exhibiting infinitely many real flow roots Q>5 within the class G(nk,k). In particular, we compute explicitly the flow polynomial of G(119,7), showing that it has real roots at Q\approx 5.0000197675 and Q\approx 5.1653424423. We moreover prove that the graph families G(6n,6) and G(7n,7) possess real flow roots that accumulate at Q=5 as n\to\infty (in the latter case from above and below); and that Q_c(7)\approx 5.2352605291 is an accumulation point of real zeros of the flow polynomials for G(7n,7) as n\to\infty.
A new perspective on k-triangulations
Published
• View Publication
• BIB
We connect k-triangulations of a convex n-gon to the theory of Schubert polynomials. We use this connection to prove that the simplicial complex with k-triangulations as facets is a vertex-decomposable triangulated sphere, and we give a new proof of the determinantal formula for the number of k-triangulations.
The $\star$-operator and Invariant Subtraction Games
We study 2-player impartial games, so called \emph{invariant subtraction games}, of the type, given a set of allowed moves the players take turn in moving one single piece on a large Chess board towards the position $\boldsymbol 0$. Here, invariance means that each allowed move is available inside the whole board. Then we define a new game, $\star$ of the old game, by taking the $P$-positions, except $\boldsymbol 0$, as moves in the new game. One such game is $\W^\star=$ (Wythoff Nim)$^\star$, where the moves are defined by complementary Beatty sequences with irrational moduli. Here we give a polynomial time algorithm for infinitely many $P$-positions of $\W^\star$. A repeated application of $\star$ turns out to give especially nice properties for a certain subfamily of the invariant subtraction games, the \emph{permutation games}, which we introduce here. We also introduce the family of \emph{ornament games}, whose $P$-positions define complementary Beatty sequences with rational moduli---hence related to A. S. Fraenkel's `variant' Rat- and Mouse games---and give closed forms for the moves of such games. We also prove that ($k$-pile Nim)$^{\star\star}$ = $k$-pile Nim.
On intersection lattices of hyperplane arrangements generated by generic points
Published in Annals of Combinatorics 16 (2012) 789-813
• View Publication
• BIB
We consider hyperplane arrangements generated by generic points and study their intersection lattices. These arrangements are known to be equivalent to discriminantal arrangements. We show a fundamental structure of the intersection lattices by decomposing the poset ideals as direct products of smaller lattices corresponding to smaller dimensions. Based on this decomposition we compute the Möbius functions of the lattices and the characteristic polynomials of the arrangements up to dimension six.
Maximal 0-1 fillings of moon polyominoes with restricted chain-lengths and rc-graphs
Published
• View Publication
• BIB
We show that maximal 0-1-fillings of moon polynomials with restricted chain lengths can be identified with certain rc-graphs, also known as pipe dreams. In particular, this exhibits a connection between maximal 0-1-fillings of Ferrers shapes and Schubert polynomials. Moreover, it entails a bijective proof showing that the number of maximal fillings of a stack polyomino S with no north-east chains longer than k depends only on k and the multiset of column heights of S. Our main contribution is a slightly stronger theorem, which in turn leads us to conjecture that the poset of rc-graphs with covering relation given by generalised chute moves is in fact a lattice.
Generalized Compositions and Weighted Fibonacci Numbers
In this paper we consider particular generalized compositions of a natural number with a given number of parts. Its number is a weighted polynomial coefficient. The number of all generalized compositions of a natural number is a weighted $r$-generalized Fibonacci number. A relationship between these two numbers will be derived.
We shall thus obtain a generalization of the well-known formula connecting Fibonacci numbers with the binomial coefficients.
Betti numbers of smooth Schubert varieties and the remarkable formula of Kostant,Macdonald,Shapiro and Steinberg
Published
• View Publication
• BIB
The purpose of this note is to give a refinement of the product formula proved in [1] for the Poincare polynomial of a smooth Schubert variety in the flag variety of an algebraic group G over C. This yields a factorization of the number of elements in a Bruhat interval [e,w] in the Weyl group W of G provided the Schubert variety associated to w is smooth. This gives an elementary necessary condition for a Schubert variety in the flag variety to be smooth.
Congruences on the Bell polynomials and the derangement polynomials
Published
• View Publication
• BIB
In this note, by the umbra calculus method, the Sun and Zagier's congruences involving the Bell numbers and the derangement numbers are generalized to the polynomial cases. Some special congruences are also provided.
Composition of ordinary generating functions
A solution is proposed for the problem of composition of ordinary generating functions. A new class of functions that provides a composition of ordinary generating functions is introduced; main theorems are presented; compositae are written for polynomials, trigonometric and hyperbolic functions, exponential and log functions. It is shown that the composition holds true for many integer sequences.