polynomial
11173 papers tagged with this keyword
Convexity properties of the cone of nonnegative polynomials
Published
• View Publication
• BIB
We study metric properties of the cone of homogeneous non-negative multivariate polynomials and the cone of sums of powers of linear forms, and the relationship between the two cones. We compute the maximum volume ellipsoid of the natural base of the cone of non-negative polynomials and the minimum volume ellipsoid of the natural base of the cone of powers of linear forms and compute the coefficients of symmetry of the bases. The multiplication by (x_1^2 + ... + x_n^2)^m induces an isometric embedding of the space of polynomials of degree $2k$ into the space of polynomials of degree 2(k+m), which allows us to compare the cone of non-negative polynomials of degree $2k$ and the cone of sums of 2(k+m)-powers of linear forms. We estimate the volume ratio of the bases of the two cones and the rate at which it approaches 1 as m grows.
On a hypergraph Turan problem of Frankl
Published
• View Publication
• BIB
Let $C^{2k}_r$ be the $2k$-uniform hypergraph obtained by letting $P_1,...,P_r$ be pairwise disjoint sets of size $k$ and taking as edges all sets $P_i \cup P_j$ with $i \neq j$. This can be thought of as the `$k$-expansion' of the complete graph $K_r$: each vertex has been replaced with a set of size $k$. We determine the exact Turan number of $C^{2k}_3$ and the corresponding extremal hypergraph, thus confirming a conjecture of Frankl. Sidorenko has given an upper bound of $(r-2) / (r-1)$ for the Turán density of $C^{2k}_r$ for any $r$, and a construction establishing a matching lower bound when $r$ is of the form $2^p + 1$. We show that when $r = 2^p + 1$, any $C^4_r$-free hypergraph of density $(r-2)/(r-1) - o(1)$ looks approximately like Sidorenko's construction. On the other hand, when $r$ is not of this form, we show that corresponding constructions do not exist and improve the upper bound on the Turán density of $C^4_r$ to $(r-2)/(r-1) - c(r)$, where $c(r)$ is a constant depending only on $r$.
The backbone of our arguments is a strategy of first proving approximate structure theorems, and then showing that any imperfections in the structure must lead to a suboptimal configuration. The tools for its realisation draw on extremal graph theory, linear algebra, the Kruskal-Katona theorem and properties of Krawtchouck polynomials.
Short rational generating functions for lattice point problems
Published
• View Publication
• BIB
We prove that for any fixed d the generating function of the projection of the set of integer points in a rational d-dimensional polytope can be computed in polynomial time. As a corollary, we deduce that various interesting sets of lattice points, notably integer semigroups and (minimal) Hilbert bases of rational cones, have short rational generating functions provided certain parameters (the dimension and the number of generators) are fixed. It follows then that many computational problems for such sets (for example, finding the number of positive integers not representable as a non-negative integer combination of given coprime positive integers a_1 ... a_d admit polynomial time algorithms. We also discuss a related problem of computing the Hilbert series of a ring generated by monomials.
A Family of Invariants of Rooted Forests
Published in J. Pure Appl. Algebra, 186 (2004), no. 3, 311--327.
• View Publication
• BIB
Let $A$ be a commutative $k$-algebra over a field of $k$ and $Ξ$ a linear operator defined on $A$. We define a family of $A$-valued invariants $Ψ$ for finite rooted forests by a recurrent algorithm using the operator $Ξ$ and show that the invariant $Ψ$ distinguishes rooted forests if (and only if) it distinguishes rooted trees $T$, and if (and only if) it is {\it finer} than the quantity $α(T)=|\text{Aut}(T)|$ of rooted trees $T$. We also consider the generating function $U(q)=\sum_{n=1}^\infty U_n q^n$ with $U_n =\sum_{T\in \bT_n} \frac 1{α(T)} Ψ(T)$, where $\bT_n$ is the set of rooted trees with $n$ vertices. We show that the generating function $U(q)$ satisfies the equation $Ξ\exp U(q)= q^{-1} U(q)$. Consequently, we get a recurrent formula for $U_n$ $(n\geq 1)$, namely, $U_1=Ξ(1)$ and $U_n =ΞS_{n-1}(U_1, U_2, >..., U_{n-1})$ for any $n\geq 2$, where $S_n(x_1, x_2, ...)$ $(n\in \bN)$ are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well known quasi-symmetric function invariants of rooted forests are in the family of invariants $Ψ$ and derive some consequences about these well-known invariants from our general results on $Ψ$. Finally, we generalize the invariant $Ψ$ to labeled planar forests and discuss its certain relations with the Hopf algebra $\mathcal H_{P, R}^D$ in \cite{F} spanned by labeled planar forests.
On cyclic convolutional codes
Published
• View Publication
• BIB
We investigate the notion of cyclicity for convolutional codes as it has been introduced by Piret and Roos in the seventies. Codes of this type are described as submodules of the module of all vector polynomials in one variable with some additional generalized cyclic structure but also as specific left ideals in a skew polynomial ring. Extending a result of Piret, we show in a purely algebraic setting that these ideals are always principal. This leads to the notion of a generator polynomial just like for cyclic block codes. Similarly a control polynomial can be introduced by considering the right annihilator ideal. An algorithmic procedure is developed which produces unique reduced generator and control polynomials. We also show how basic code properties and a minimal generator matrix can be read off from these objects. A close link between polynomial and vector description of the codes is provided by certain generalized circulant matrices.
Quantum cohomology of Grassmannians modulo symmetries
The quantum cohomology of Grassmannians exhibits two symmetries related to the quantum product, namely a \Bbb {Z}/n action and an involution related to complex conjugation. We construct a new ring by dividing out these symmetries in an ideal theoretic way and analyze its structure, which is shown to control the sum of all coefficients appearing in the product of cohomology classes. We derive a combinatorial formula for the sum of all Littlewood-Richardson coefficients appearing in the expansion of a product of two Schur polynomials.
Matrix-tree theorems and the Alexander-Conway polynomial
Published in Geom. Topol. Monogr. 4 (2002) 201-214
• View Publication
• BIB
This talk is a report on joint work with A. Vaintrob [arXiv:math.CO/0109104 and math.GT/0111102]. It is organised as follows. We begin by recalling how the classical Matrix-Tree Theorem relates two different expressions for the lowest degree coefficient of the Alexander-Conway polynomial of a link. We then state our formula for the lowest degree coefficient of an algebraically split link in terms of Milnor's triple linking numbers. We explain how this formula can be deduced from a determinantal expression due to Traldi and Levine by means of our Pfaffian Matrix-Tree Theorem [arXiv:math.CO/0109104]. We also discuss the approach via finite type invariants, which allowed us in [arXiv:math.GT/0111102] to obtain the same result directly from some properties of the Alexander-Conway weight system. This approach also gives similar results if all Milnor numbers up to a given order vanish.
On Unimodality of Independence Polynomials of some Well-Covered Trees
Published
• View Publication
• BIB
The number of stable sets of cardinality $k$ in graph $G$ is the $k$-th coefficient of the independence polynomial of $G$ (I. Gutman and F. Harary, 1983). In 1990, Y. O. Hamidoune proved that for any claw-free graph, its independence polynomial is unimodal, i.e., there exists a coefficient $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the second part of coefficients is non-increasing.
Y. Alavi, P. J. Malde, A. J. Schwenk and P. Erdös (1987) asked whether for trees (or perhaps forests) the independence polynomial is unimodal. J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that it is true for any well-covered graph (a graph whose all maximal independent sets have the same size). V. E. Levit and E. Mandrescu (1999) demonstrated that every well-covered tree can be obtained as a join of a number of well-covered spiders, where a spider is a tree having at most one vertex of degree at least three.
In this paper we show that the independence polynomial of any well-covered spider is unimodal. In addition, we introduce some graph transformations respecting independence polynomials. They allow us to reduce several types of well-covered trees to claw-free graphs, and, consequently, to prove that their independence polynomials are unimodal.
On intervals in some posets of forests
Published in Journal of Combinatorial Theory, Series A 102 (2003) 367-382
• View Publication
• BIB
A nice factorization is given for the characteristic polynomials of intervals in some posets of leaf-labeled forests of rooted binary trees.
Cumulants in Noncommutative Probability Theory III. Creation- and annihilation operators on Fock spaces
Published in Infin. Dimens. Anal. Quantum Probab. Relat. Top. 8 (2005), no. 3, 407-437
• View Publication
• BIB
Fock space constructions give rise to natural exchangeable families and are thus well suited for cumulant calculations. In this paper we develop some general formulas and compute cumulants for generalized Toeplitz operators, notably for q-Fock spaces, previously considered by M. Anshelevich and A. Nica, and Fock spaces for characters of the infinite symmetric group, which where constructed by Bozejko and Guta. An expression for cumulants in terms of the cycle-cover polynomials of certain directed graphs is obtained in this case.
Z-measures on partitions and their scaling limits
Published in European J. Combin. 26 (2005), no. 6, 795--834
• Search Publication
We study certain probability measures on partitions of n=1,2,..., originated in representation theory, and demonstrate their connections with random matrix theory and multivariate hypergeometric functions.
Our measures depend on three parameters including an analog of the beta parameter in random matrix models. Under an appropriate limit transition as n goes to infinity, our measures converge to certain limit measures, which are of the same nature as one-dimensional log-gas with arbitrary beta>0.
The first main result says that averages of products of ``characteristic polynomials'' with respect to the limit measures are given by the multivariate hypergeometric functions of type (2,0). The second main result is a computation of the limit correlation functions for the even values of beta.
On a class of algebras defined by partitions
Published
• View Publication
• BIB
A class of associative (super) algebras is presented, which naturally generalize both the symmetric algebra $Sym(V)$ and the wedge algebra $\wedge (V)$, where $V$ is a vector-space. These algebras are in a bijection with those subsets of the set of the partitions which are closed under inclusions of partitions. We study the rate of growth of these algebras, then characterize the case where these algebras satisfy polynomial identities.
Exponentials form a basis of discrete holomorphic functions
Published
• View Publication
• BIB
We show that discrete exponentials form a basis of discrete holomorphic functions. On a convex, the discrete polynomials form a basis as well.
H-admissible permutations and the HCP
This version is similar to math.CO/0210113. We've changed Conjectures 1.1 and 1.2 so that they cover arbitrary graphs(digraphs). Let G be an arbitrary graph(digraph). Then - in polynomial time - either an algorithm obtains a hamilton circuit(cycle)or else the algorithm points to at least one vertex that cannot belong to any hamilton circuit(cycle) of G. We give criteria for determining which vertices should be examined.
The facet ideal of a simplicial complex
Published
• View Publication
• BIB
To a simplicial complex, we associate a square-free monomial ideal in the polynomial ring generated by its vertex set over a field. We study algebraic properties of this ideal via combinatorial properties of the simplicial complex. By generalizing the notion of a tree from graphs to simplicial complexes, we show that ideals associated to trees satisfy sliding depth condition, and therefore have normal and Cohen-Macaulay Rees rings. We also discuss connections with the theory of Stanley-Reisner rings.
Restricted 132-alternating permutations and Chebyshev polynomials
Published
• View Publication
• BIB
A permutation is said to be \emph{alternating} if it starts with rise and then descents and rises come in turn. In this paper we study the generating function for the number of alternating permutations on $n$ letters that avoid or contain exactly once 132 and also avoid or contain exactly once an arbitrary pattern on $k$ letters. In several interesting cases the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.
Directed trees in a string, real polynomials with triple roots, and chain mails
Published in Discrete Comput. Geom. 32 (2004), no. 3, 373--382.
• View Publication
• BIB
This paper starts with an observation that two infinite series of simplicial complexes, which a priori do not seem to have anything to do with each other, have the same homotopy type. One series consists of the complexes of directed forests on a double directed string, while the other one consists of Shapiro-Welker models for the spaces of hyperbolic polynomials with a triple root. We explain this coincidence in the more general context by finding an explicit homotopy equivalence between complexes of directed forests on a double directed tree, and doubly disconnecting complexes of a tree.
The Catalan matroid
Published
• View Publication
• BIB
We show how the set of Dyck paths of length 2n naturally gives rise to a matroid, which we call the "Catalan matroid" C_n. We describe this matroid in detail; among several other results, we show that C_n is self-dual, it is representable over the rationals but not over finite fields F_q with q < n-1, and it has a nice Tutte polynomial.
We then generalize our construction to obtain a family of matroids, which we call "shifted matroids". They arose independently and almost simultaneously in the work of Klivans, who showed that they are precisely the matroids whose independence complex is a shifted complex.
D-log and formal flow for analytic isomorphisms of n-space
Published in Trans. Amer. Math. Soc. 355 (2003), No. 8, 3117-3141.
• View Publication
• BIB
Given a formal map $F=(F_1...,F_n)$ of the form $z+\text{higher}$ order terms, we give tree expansion formulas and associated algorithms for the D-Log of F and the formal flow F_t. The coefficients which appear in these formulas can be viewed as certain generalizations of the Bernoulli numbers and the Bernoulli polynomials. Moreover the coefficient polynomials in the formal flow formula coincide with the strict order polynomials in combinatorics for the partially ordered sets induced by trees. Applications of these formulas to the Jacobian Conjecture are discussed.
Counterexamples to the 0-1 conjecture
Published
• View Publication
• BIB
For permutations x and w, let mu(x,w) be the coefficient of highest possible degree in the Kazhdan-Lusztig polynomial P_{x,w}. It is well-known that the coefficients mu(x,w) arise as the edge labels of certain graphs encoding the representations of S_n. The 0-1 Conjecture states that the mu(x,w) are either 0 or 1. We present two counterexamples to this conjecture, the first in S_16, for which x and w are in the same left cell, and the second in S_10. The proof of the counterexample in S_16 relies on computer calculations.