polynomial
11295 papers tagged with this keyword
On multivariate Newton-like inequalities
Published
• View Publication
• BIB
We study multivariate entire functions and polynomials with non-negative coefficients. A class of {\bf Strongly Log-Concave} entire functions, generalizing {\it Minkowski} volume polynomials, is introduced: an entire function $f$ in $m$ variables is called {\bf Strongly Log-Concave} if the function $(\partial x_1)^{c_1}...(\partial x_m)^{c_m} f$ is either zero or $\log((\partial x_1)^{c_1}...(\partial x_m)^{c_m} f)$ is concave on $R_{+}^{m}$. We start with yet another point of view (via {\it propagation}) on the standard univarite (or homogeneous bivariate) {\bf Newton Inequlities}. We prove analogues of (univariate) {\bf Newton Inequlities} in the (multivariate) {\bf Strongly Log-Concave} case. One of the corollaries of our new Newton(like) inequalities is the fact that the support $supp(f)$ of a {\bf Strongly Log-Concave} entire function $f$ is discretely convex ($D$-convex in our notation). The proofs are based on a natural convex relaxation of the derivatives $Der_{f}(r_1,...,r_m)$ of $f$ at zero and on the lower bounds on $Der_{f}(r_1,...,r_m)$, which generalize the {\bf Van Der Waerden-Falikman-Egorychev} inequality for the permanent of doubly-stochastic matrices. A few open questions are posed in the final section.
Linear independence over tropical semirings and beyond
Published in Proceedings of the International Conference on Tropical and Idempotent Mathematics, G.L. Litvinov and S.N. Sergeev Eds, volume 495 in Contemporary Mathematics, pp 1--38, 2009, AMS
• View Publication
• BIB
We investigate different notions of linear independence and of matrix rank that are relevant for max-plus or tropical semirings. The factor rank and tropical rank have already received attention, we compare them with the ranks defined in terms of signed tropical determinants or arising from a notion of linear independence introduced by Gondran and Minoux. To do this, we revisit the symmetrization of the max-plus algebra, establishing properties of linear spaces, linear systems, and matrices over the symmetrized max-plus algebra. In parallel we develop some general technique to prove combinatorial and polynomial identities for matrices over semirings that we illustrate by a number of examples.
A randomized polynomial-time algorithm for the Spanning Hypertree Problem on 3-uniform hypergraphs
Consider the problem of determining whether there exists a spanning hypertree in a given k-uniform hypergraph. This problem is trivially in P for k=2, and is NP-complete for k>= 4, whereas for k=3, there exists a polynomial-time algorithm based on Lovasz' theory of polymatroid matching. Here we give a completely different, randomized polynomial-time algorithm in the case k=3. The main ingredients are a Pfaffian formula by Vaintrob and one of the authors (G.M.) for a polynomial that enumerates spanning hypertrees with some signs, and a lemma on the number of roots of polynomials over a finite field.
Hopf Algebras of Graphs
Published in C. R. Math. Acad. Sci. Paris, 339(9) :607-610, 2004
• View Publication
• BIB
We define graded Hopf algebras with bases labeled by various types of graphs and hypergraphs, provided with natural embeddings into an algebra of polynomials in infinitely many variables. These algebras are graded by the number of edges and can be considered as generalizations of symmetric or quasi-symmetric functions.
Algebraic invariants of graphs; a study based on computer exploration
Published in SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation), 34(3): 9-20, September 2000
• Search Publication
We consider the ring I_n of polynomial invariants over weighted graphs on n vertices. Our primary interest is the use of this ring to define and explore algebraic versions of isomorphism problems of graphs, such as Ulam's reconstruction conjecture. There is a huge body of literature on invariant theory which provides both general results and algorithms. However, there is a combinatorial explosion in the computations involved and, to our knowledge, the ring I_n has only been completely described for n<=4. This led us to study the ring I_n in its own right. We used intensive computer exploration for small n, and developed PerMuVAR, a library for MuPAD, for computing in invariant rings of permutation groups. We present general properties of the ring I_n, as well as results obtained by computer exploration for small n, including the construction of a medium sized generating set for I_5. We address several conjectures suggested by those results (low degree system of parameters, unimodality), for I_n as well as for more general invariant rings. We also show that some particular sets are not generating, disproving a conjecture of Pouzet related to reconstruction, as well as a lemma of Grigoriev on the invariant ring over digraphs. We finally provide a very simple minimal generating set of the field of invariants.
Orders of Finite Reductive Monoids
We show four formulas for calculating the orders of finite reductive monoids with zero. As applications, these formulas are then used to calculate the orders of finite reductive monoids induced from the $F_q$-split $\J$-irreducible monoids $\overline {K^*ρ(G_0)}$ where $G_0$ is a simple algebraic group over the algebraic closure of $F_q$, and $ρ: G_0\to GL(V)$ is the irreducible representation associated with any dominant weight. Finally, we give an explicit formula for the orders of finite symplectic monoids associated with the last fundamental dominant weight of type $C_l$; the connections to $H$-polynomials and Betti numbers are shown.
$k$-distant crossings and nestings of matchings and partitions
Published
• View Publication
• BIB
We define and consider k-distant crossings and nestings for matchings and set partitions, which are a variation of crossings and nestings in which the distance between vertices is important. By modifying an involution of Kasraoui and Zeng (Electronic J. Combinatorics 2006, research paper 33), we show that the joint distribution of k-distant crossings and nestings is symmetric. We also study the numbers of k-distant noncrossing matchings and partitions for small k, which are counted by well-known sequences, as well as the orthogonal polynomials related to k-distant noncrossing matchings and partitions. We extend Chen et al.'s r-crossings and enhanced r-crossings.
Tutte polynomial and G-parking functions
Published
• View Publication
• BIB
Let $G$ be a connected graph with vertex set $\{0,1,2,...,n\}$. We allow $G$ to have multiple edges and loops. In this paper, we give a characterization of external activity by some parameters of $G$-parking functions. In particular, we give the definition of the bridge vertex of a $G$-parking function and obtain an expression of the Tutte polynomial $T_G(x,y)$ of $G$ in terms of $G$-parking functions. We find the Tutte polynomial enumerates the $G$-parking function by the number of the bridge vertices.
Refinements of Lattice paths with flaws
The classical Chung-Feller theorem [2] tells us that the number of Dyck paths of length $n$ with $m$ flaws is the $n$-th Catalan number and independent on $m$. In this paper, we consider the refinements of Dyck paths with flaws by four parameters, namely peak, valley, double descent and double ascent. Let ${p}_{n,m,k}$ be the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ peaks. First, we derive the reciprocity theorem for the polynomial $P_{n,m}(x)=\sum\limits_{k=1}^np_{n,m,k}x^k$. Then we find the Chung-Feller properties for the sum of $p_{n,m,k}$ and $p_{n,m,n-k}$. Finally, we provide a Chung-Feller type theorem for Dyck paths of length $n$ with $k$ double ascents: the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ double ascents is equal to the number of all the Dyck paths that have semi-length $n$, $k$ double ascents and never pass below the x-axis, which is counted by the Narayana number. Let ${v}_{n,m,k}$ (resp. $d_{n,m,k}$) be the number of all the Dyck paths of semi-length $n$ with $m$ flaws and $k$ valleys (resp. double descents). Some similar results are derived.
On sums and products in C[x]
Published
• View Publication
• BIB
We show that under the assumption of a 24-term version of Fermat's Last Theorem, there exists an absolute constant c > 0 such that if S is a set of n > n_0 positive integers satisfying |S.S| < n^(1+c), then the sumset S.S satisfies |S+S| >> n^2. In other words, we prove a weak form of the Erdos-Szemeredi sum-product conjecture, conditional on an extension of Fermat's Last Theorem. Unconditionally, we prove this theorem for when S is a set of n monic polynomials. We also prove an analogue of a theorem of Bourgain and Chang for the ring C[x].
Trek separation for Gaussian graphical models
Published in Annals of Statistics 2010, Vol. 38, No. 3, 1665-1685
• View Publication
• BIB
Gaussian graphical models are semi-algebraic subsets of the cone of positive definite covariance matrices. Submatrices with low rank correspond to generalizations of conditional independence constraints on collections of random variables. We give a precise graph-theoretic characterization of when submatrices of the covariance matrix have small rank for a general class of mixed graphs that includes directed acyclic and undirected graphs as special cases. Our new trek separation criterion generalizes the familiar $d$-separation criterion. Proofs are based on the trek rule, the resulting matrix factorizations and classical theorems of algebraic combinatorics on the expansions of determinants of path polynomials.
The f-vector of the descent polytope
Published in Discrete & Computational Geometry, Volume 45, Number 3 (2011), 410-424
• View Publication
• BIB
For a positive integer n and a subset S of [n-1], the descent polytope DP_S is the set of points x_1, ..., x_n in the n-dimensional unit cube [0,1]^n such that x_i >= x_{i+1} for i in S and x_i <= x_{i+1} otherwise. First, we express the f-vector of DP_S as a sum over all subsets of [n-1]. Second, we use certain factorizations of the associated word over a two-letter alphabet to describe the f-vector. We show that the f-vector is maximized when the set S is the alternating set {1,3,5, ...}. We derive a generating function for the f-polynomial F_S(t) of DP_S, written as a formal power series in two non-commuting variables with coefficients in Z[t]. We also obtain the generating function for the Ehrhart polynomials of the descent polytopes.
Polynomial hierarchy, Betti numbers and a real analogue of Toda's theorem
Published in Found. Comput. Math, 10:429-454, 2010
• View Publication
• BIB
Toda proved in 1989 that the (discrete) polynomial time hierarchy, $\mathbf{PH}$, is contained in the class $\mathbf{P}^{#\mathbf{P}}$, namely the class of languages that can be decided by a Turing machine in polynomial time given access to an oracle with the power to compute a function in the counting complexity class $#\mathbf{P}$. This result which illustrates the power of counting is considered to be a seminal result in computational complexity theory. An analogous result in the complexity theory over the reals (in the sense of Blum-Shub-Smale real machines) has been missing so far. In this paper we formulate and prove a real analogue of Toda's theorem. Unlike Toda's proof in the discrete case, which relied on sophisticated combinatorial arguments, our proof is topological in nature. As a consequence of our techniques we are also able to relate the computational hardness of two extremely well-studied problems in algorithmic semi-algebraic geometry -- namely the problem of deciding sentences in the first order theory of the reals with a constant number of quantifier alternations, and that of computing Betti numbers of semi-algebraic sets. We obtain a polynomial time reduction of the compact version of the first problem to the second. This latter result might be of independent interest to researchers in algorithmic semi-algebraic geometry.
Total positivity in loop groups I: whirls and curls
Published
• View Publication
• BIB
This is the first of a series of papers where we develop a theory of total positivity for loop groups. In this paper, we completely describe the totally nonnegative part of the polynomial loop group GL_n(\R[t,t^{-1}]), and for the formal loop group GL_n(\R((t))) we describe the totally nonnegative points which are not totally positive. Furthermore, we make the connection with networks on the cylinder.
Our approach involves the introduction of distinguished generators, called whirls and curls, and we describe the commutation relations amongst them. These matrices play the same role as the poles and zeroes of the Edrei-Thoma theorem classifying totally positive functions (corresponding to our case n=1). We give a solution to the ``factorization problem'' using limits of ratios of minors. This is in a similar spirit to the Berenstein-Fomin-Zelevinsky Chamber Ansatz where ratios of minors are used. A birational symmetric group action arising in the commutation relation of curls appeared previously in Noumi-Yamada's study of discrete Painlevé dynamical systems and Berenstein-Kazhdan's study of geometric crystals.
Symmetric identities for Euler polynomials
Published
• View Publication
• BIB
In this paper we establish two symmetric identities on sums of products of Euler polynomials.
Giambelli, Pieri, and tableau formulas via raising operators
Published in J. reine angew. Math. 652 (2011), 207-244
• View Publication
• BIB
We give a direct proof of the equivalence between the Giambelli and Pieri type formulas for Hall-Littlewood functions using Young's raising operators, parallel to joint work with Buch and Kresch for the Schubert classes on isotropic Grassmannians. We prove several closely related mirror identities enjoyed by the Giambelli polynomials, which lead to new recursions for Schubert classes. The raising operator approach is applied to obtain tableau formulas for Hall-Littlewood functions, theta polynomials, and related Stanley symmetric functions. Finally, we introduce the notion of a skew element w of the hyperoctahedral group and identify the set of reduced words for w with the set of standard k-tableaux on a skew Young diagram.
Eulerian quasisymmetric functions
Published
• View Publication
• BIB
We introduce a family of quasisymmetric functions called {\em Eulerian quasisymmetric functions}, which specialize to enumerators for the joint distribution of the permutation statistics, major index and excedance number on permutations of fixed cycle type. This family is analogous to a family of quasisymmetric functions that Gessel and Reutenauer used to study the joint distribution of major index and descent number on permutations of fixed cycle type. Our central result is a formula for the generating function for the Eulerian quasisymmetric functions, which specializes to a new and surprising $q$-analog of a classical formula of Euler for the exponential generating function of the Eulerian polynomials. This $q$-analog computes the joint distribution of excedance number and major index, the only of the four important Euler-Mahonian distributions that had not yet been computed. Our study of the Eulerian quasisymmetric functions also yields results that include the descent statistic and refine results of Gessel and Reutenauer. We also obtain $q$-analogs, $(q,p)$-analogs and quasisymmetric function analogs of classical results on the symmetry and unimodality of the Eulerian polynomials. Our Eulerian quasisymmetric functions refine symmetric functions that have occurred in various representation theoretic and enumerative contexts including MacMahon's study of multiset derangements, work of Procesi and Stanley on toric varieties of Coxeter complexes, Stanley's work on chromatic symmetric functions, and the work of the authors on the homology of a certain poset introduced by Björner and Welker.
Poset homology of Rees products, and $q$-Eulerian polynomials
Published
• View Publication
• BIB
The notion of Rees product of posets was introduced by Björner and Welker, where they study connections between poset topology and commutative algebra. Björner and Welker conjectured and Jonsson proved that the dimension of the top homology of the Rees product of the truncated Boolean algebra $B_n \setminus \{0\}$ and the $n$-chain $C_n$ is equal to the number of derangements in the symmetric group $\mathfrak S_n$. Here we prove a refinement of this result, which involves the Eulerian numbers, and a $q$-analog of both the refinement and the original conjecture, which comes from replacing the Boolean algebra by the lattice of subspaces of the $n$-dimensional vector space over the $q$ element field, and involves the $(\maj,\exc)$-$q$-Eulerian polynomials studied in previous papers of the authors. Equivariant versions of the refinement and the original conjecture are also proved, as are type BC versions (in the sense of Coxeter groups) of the original conjecture and its $q$-analog.
Permutations sortable by n-4 passes through a stack
Published
• View Publication
• BIB
We characterise and enumerate permutations that are sortable by n-4 passes through a stack. We conjecture the number of permutations sortable by n-5 passes, and also the form of a formula for the general case n-k, which involves a polynomial expression.
Counting decomposable multivariate polynomials
A polynomial f (multivariate over a field) is decomposable if f = g(h) with g univariate of degree at least 2. We determine the dimension (over an algebraically closed field) of the set of decomposables, and an approximation to their number over a finite field. The relative error in our approximations is exponentially decaying in the input size.