polynomial
11422 papers tagged with this keyword
On Complexity of Isoperimetric Problems on Trees
Published
• View Publication
• BIB
This paper is aimed to investigate some computational aspects of different isoperimetric problems on weighted trees. In this regard, we consider different connectivity parameters called {\it minimum normalized cuts}/{\it isoperimteric numbers} defined through taking minimum of the maximum or the mean of the normalized outgoing flows from a set of subdomains of vertices, where these subdomains constitute a {\it partition}/{\it subpartition}. Following the main result of [A. Daneshgar, {\it et. al.}, {\it On the isoperimetric spectrum of graphs and its approximations}, JCTB, (2010)], it is known that the isoperimetric number and the minimum normalized cut both can be described as $\{0,1\}$-optimization programs, where the latter one does {\it not} admit a relaxation to the reals. We show that the decision problem for the case of taking $k$-partitions and the maximum (called the max normalized cut problem {\rm NCP}$^M$) as well as the other two decision problems for the mean version (referred to as {\rm IPP}$^m$ and {\rm NCP}$^m$) are $NP$-complete problems. On the other hand, we show that the decision problem for the case of taking $k$-subpartitions and the maximum (called the max isoperimetric problem {\rm IPP}$^M$) can be solved in {\it linear time} for any weighted tree and any $k \geq 2$. Based on this fact, we provide polynomial time $O(k)$-approximation algorithms for all different versions of $k$th isoperimetric numbers considered.
Moreover, when the number of partitions/subpartitions, $k$, is a fixed constant, as an extension of a result of B. Mohar (1989) for the case $k=2$ (usually referred to as the Cheeger constant), we prove that max and mean isoperimetric numbers of weighted trees as well as their max normalized cut can be computed in polynomial time. We also prove some hardness results for the case of simple unweighted graphs and trees.
Simultaneous Polynomial Recurrence
Published
• View Publication
• BIB
Let $A\subseteq\{1,...,N\}$ and $P_1,...,P_\ell\in\Z[n]$ with $P_i(0)=0$ and $°P_i=k$ for every $1\leq i\leq\ell$.
We show, using Fourier analytic techniques, that for every $\VE>0$, there necessarily exists $n\in\N$ such that \[\frac{|A\cap (A+P_i(n))|}{N}>(\frac{|A|}{N})^2-\VE\] holds simultaneously for $1\leq i\leq \ell$ (in other words all of the polynomial shifts of the set $A$ intersect $A$ "$\VE$-optimally"), as long as $N\geq N_1(\VE,P_1,...,P_\ell)$. The quantitative bounds obtained for $N_1$ are explicit but poor; we establish that $N_1$ may be taken to be a constant (depending only on $P_1,...,P_\ell$) times a tower of 2's of height $C_{k,\ell}^*+C\eps^{-2}$.
Dvoretzky type theorems for multivariate polynomials and sections of convex bodies
Published in Geometric And Functional Analysis, 21:2, 2011, 301-318
• View Publication
• BIB
In this paper we prove the Gromov--Milman conjecture (the Dvoretzky type theorem) for homogeneous polynomials on $\mathbb R^n$, and improve bounds on the number $n(d,k)$ in the analogous conjecture for odd degrees $d$ (this case is known as the Birch theorem) and complex polynomials. We also consider a stronger conjecture on the homogeneous polynomial fields in the canonical bundle over real and complex Grassmannians. This conjecture is much stronger and false in general, but it is proved in the cases of $d=2$ (for $k$'s of certain type), odd $d$, and the complex Grassmannian (for odd and even $d$ and any $k$). Corollaries for the John ellipsoid of projections or sections of a convex body are deduced from the case $d=2$ of the polynomial field conjecture.
Discrete series representations and K multiplicities for U(p,q). User's guide
This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via multidimensional residues, and we outline our algorithm. We also point out some properties of the piecewise polynomial functions describing multiplicities based on Paradan's results.
Bounds on $s$-distance sets with strength $t$
Published
• View Publication
• BIB
A finite set $X$ in the Euclidean unit sphere is called an $s$-distance set if the set of distances between any distinct two elements of $X$ has size $s$. We say that $t$ is the strength of $X$ if $X$ is a spherical $t$-design but not a spherical $(t+1)$-design. Delsarte-Goethals-Seidel gave an absolute bound for the cardinality of an $s$-distance set. The results of Neumaier and Cameron-Goethals-Seidel imply that if $X$ is a spherical 2-distance set with strength 2, then the known absolute bound for 2-distance sets is improved. This bound are also regarded as that for a strongly regular graph with the certain condition of the Krein parameters.
In this paper, we give two generalizations of this bound to spherical $s$-distance sets with strength $t$ (more generally, to $s$-distance sets with strength $t$ in a two-point-homogeneous space), and to $Q$-polynomial association schemes.
First, for any $s$ and $s-1 \leq t \leq 2s-2$, we improve the known absolute bound for the size of a spherical $s$-distance set with strength $t$. Secondly, for any $d$, we give an absolute bound for the size of a $Q$-polynomial association scheme of class $d$ with the certain conditions of the Krein parameters.
The Wronski map and shifted tableau theory
Published
• View Publication
• BIB
The Mukhin-Tarasov-Varchenko Theorem, conjectured by B. and M. Shapiro, has a number of interesting consequences. Among them is a well-behaved correspondence between certain points on a Grassmannian - those sent by the Wronski map to polynomials with only real roots - and (dual equivalence classes of) Young tableaux.
In this paper, we restrict this correspondence to the orthogonal Grassmannian OG(n,2n+1) inside Gr(n,2n+1). We prove that a point lies on OG(n,2n+1) if and only if the corresponding tableau has a certain type of symmetry. From this we recover much of the theory of shifted tableaux for Schubert calculus on OG(n,2n+1), including a new, geometric proof of the Littlewood-Richardson rule for OG(n,2n+1).
A Note on the Hodge Structure of the Intersection of Coloring Complexes
Let $G$ be a simple graph with $n$ vertices. The coloring complex $Δ(G)$ was defined by Steingrímsson, and the homology of $Δ(G)$ was shown to be nonzero only in dimension $n-3$ by Jonsson. Hanlon recently showed that the Eulerian idempotents provide a decomposition of the homology group $H_{n-3}(Δ(G))$ where the dimension of the $j^{th}$ component in the decomposition, $H_{n-3}^{(j)}(Δ(G))$, equals the absolute value of the coefficient of $λ^{j}$ in the chromatic polynomial of $G$, $χ_{G}(λ)$.
Jonsson recently studied the topology of intersections of coloring complexes. In this note, we show that the coefficient of the ${j}^{th}$ term in the chromatic polynomial of the intersection of coloring complexes gives the Euler Characteristic of the $j^{th}$ Hodge subcomplex of the Hodge decomposition of the intersection of coloring complexes.
On the Modes of Polynomials Derived from Nondecreasing Sequences
Published
• View Publication
• BIB
Wang and Yeh proved that if $P(x)$ is a polynomial with nonnegative and nondecreasing coefficients, then $P(x+d)$ is unimodal for any $d>0$. A mode of a unimodal polynomial $f(x)=a_0+a_1x+\cdots + a_mx^m$ is an index $k$ such that $a_k$ is the maximum coefficient. Suppose that $M_*(P,d)$ is the smallest mode of $P(x+d)$, and $M^*(P,d)$ the greatest mode. Wang and Yeh conjectured that if $d_2>d_1>0$, then $M_*(P,d_1)\geq M_*(P,d_2)$ and $M^*(P,d_1)\geq M^*(P,d_2)$. We give a proof of this conjecture.
Partially 2-Colored Permutations and the Boros-Moll Polynomials
Published
• View Publication
• BIB
We find a combinatorial setting for the coefficients of the Boros-Moll polynomials $P_m(a)$ in terms of partially 2-colored permutations. Using this model, we give a combinatorial proof of a recurrence relation on the coefficients of $P_m(a)$. This approach enables us to give a combinatorial interpretation of the log-concavity of $P_m(a)$ which was conjectured by Moll and confirmed by Kauers and Paule.
Milnor numbers of projective hypersurfaces and the chromatic polynomial of graphs
Published
• View Publication
• BIB
The chromatic polynomial of a graph G counts the number of proper colorings of G. We give an affirmative answer to the conjecture of Read and Rota-Heron-Welsh that the absolute values of the coefficients of the chromatic polynomial form a log-concave sequence. We define a sequence of numerical invariants of projective hypersurfaces analogous to the Milnor number of local analytic hypersurfaces. Then we give a characterization of correspondences between projective spaces up to a positive integer multiple which includes the conjecture on the chromatic polynomial as a special case. As a byproduct of our approach, we obtain an analogue of Kouchnirenko's theorem relating the Milnor number with the Newton polytope.
The short toric polynomial
Published in Trans. Amer. Math. Soc. 365 (2013), no. 3, 1441-1468
• View Publication
• BIB
We introduce the short toric polynomial associated to a graded Eulerian poset. This polynomial contains the same information as the two toric polynomials introduced by Stanley, but allows different algebraic manipulations. The intertwined recurrence defining Stanley's toric polynomials may be replaced by a single recurrence, in which the degree of the discarded terms is independent of the rank. A short toric variant of the formula by Bayer and Ehrenborg, expressing the toric $h$-vector in terms of the $cd$-index, may be stated in a rank-independent form, and it may be shown using weighted lattice path enumeration and the reflection principle. We use our techniques to derive a formula expressing the toric $h$-vector of a dual simplicial Eulerian poset in terms of its $f$-vector. This formula implies Gessel's formula for the toric $h$-vector of a cube, and may be used to prove that the nonnegativity of the toric $h$-vector of a simple polytope is a consequence of the Generalized Lower Bound Theorem holding for simplicial polytopes.
Spectral sequences of colored Jones polynomials, colored Rasmussen invariants and nanophrases
We introduce three spectral sequences which give some expressions of colored Jones polynomials. Each spectral sequence contains a Khovanov-type homology groups. Two of them are derived from a bicomplex of the colored Jones polynomial. The other is the spectral sequence that deduces a colored Rasmussen invariant of links. We also introduce three functors between categories of nanophrases, generalizations of links, and obtain their applications using colored Jones polynomials and their categorifications.
Blenders
Published
• View Publication
• BIB
A blender is a closed convex cone of real homogeneous polynomials that is also closed under linear changes of variable. Non-trivial blenders only occur in even degree. Examples include the cones of psd forms, sos forms, convex forms and sums of $2u$-th powers of forms of degree $v$. We present some general properties of blenders and analyze the extremal elements of some specific blenders.
Hilbert series and Hilbert depth of squarefree Veronese ideals
Published
• View Publication
• BIB
In this paper, we obtain explicit formulas for the Hilbert series and Hilbert depth of squarefree Veronese ideals in a standard graded polynomial ring.
On the dimension growth of groups
Published
• View Publication
• BIB
Dimension growth functions of groups have been introduced by Gromov in 1999. We prove that every solvable finitely generated subgroups of the R. Thompson group $F$ has polynomial dimension growth while the group $F$ itself, and some solvable groups of class 3 have exponential dimension growth with exponential control. We describe connections between dimension growth, expansion properties of finite graphs and the Ramsey theory.
Sums of squares and negative correlation for spanning forests of series parallel graphs
We provide new evidence that spanning forests of graphs satisfy the same negative correlation properties as spanning trees, derived from Lord Rayleigh's monotonicity property for electrical networks. The main result of this paper is that the Rayleigh difference for the spanning forest generating polynomial of a series parallel graph can be expressed as a certain positive sum of monomials times squares of polynomials. We also show that every regular matroid is independent-set-Rayleigh if and only if every basis-Rayleigh binary matroid is also independent-set-Rayleigh.
Partitions and Coverings of Trees by Bounded-Degree Subtrees
This paper addresses the following questions for a given tree $T$ and integer $d\geq2$: (1) What is the minimum number of degree-$d$ subtrees that partition $E(T)$? (2) What is the minimum number of degree-$d$ subtrees that cover $E(T)$? We answer the first question by providing an explicit formula for the minimum number of subtrees, and we describe a linear time algorithm that finds the corresponding partition. For the second question, we present a polynomial time algorithm that computes a minimum covering. We then establish a tight bound on the number of subtrees in coverings of trees with given maximum degree and pathwidth. Our results show that pathwidth is the right parameter to consider when studying coverings of trees by degree-3 subtrees. We briefly consider coverings of general graphs by connected subgraphs of bounded degree.
Double Hurwitz numbers via the infinite wedge
Published
• View Publication
• BIB
We derive an algorithm to produce explicit formulas for certain generating functions of double Hurwitz numbers. These formulas generalize a formula of Goulden, Jackson and Vakil for one part double Hurwitz numbers. Immediate consequences include a new proof that double Hurwitz numbers are piecewise polynomial, an understanding of the chamber structure and wall crossing for these polynomials, and a proof of the Goulden, Jackson and Vakil's Strong Piecewise Polynomiality conjecture. The method is a straightforward application of Okounkov's expression for double Hurwitz numbers in terms of operators on the infinite wedge. We begin with a introduction to the infinite wedge tailored to our use.
Graph Coloring and Function Simulation
Published
• View Publication
• BIB
We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{\varphi,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{\varphi,n}}$ for which we have $$\varphi(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $\varphi$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{\varphi,n}}$).
Crossings, Motzkin paths and Moments
Published in Discrete Mathematics 311(18-19) (2011), 2064--2078
• View Publication
• BIB
Kasraoui, Stanton and Zeng, and Kim, Stanton and Zeng introduced certain $q$-analogues of Laguerre and Charlier polynomials. The moments of these orthogonal polynomials have combinatorial models in terms of crossings in permutations and set partitions. The aim of this article is to prove simple formulas for the moments of the $q$-Laguerre and the $q$-Charlier polynomials, in the style of the Touchard-Riordan formula (which gives the moments of some $q$-Hermite polynomials, and also the distribution of crossings in matchings). Our method mainly consists in the enumeration of weighted Motzkin paths, which are naturally associated with the moments. Some steps are bijective, in particular we describe a decomposition of paths which generalises a previous construction of Penaud for the case of the Touchard-Riordan formula. There are also some non-bijective steps using basic hypergeometric series, and continued fractions or, alternatively, functional equations.