arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11257 papers tagged with this keyword
2011-08-14
Enumerative $g$-theorems for the Veronese construction for formal power series and graded algebras
Published • View PublicationBIB
Let $(a_n)_{n \geq 0}$ be a sequence of integers such that its generating series satisfies $\sum_{n \geq 0} a_nt^n = \frac{h(t)}{(1-t)^d}$ for some polynomial $h(t)$. For any $r \geq 1$ we study the coefficient sequence of the numerator polynomial $h_0(a^{<r >}) +...+ h_{λ'}(a^{<r >}) t^{λ'}$ of the $r$\textsuperscript{th} Veronese series $a^{<r >}(t) = \sum_{n \geq 0} a_{nr} t^n$. Under mild hypothesis we show that the vector of successive differences of this sequence up to the $\lfloor \frac{d}{2} \rfloor$\textsuperscript{th} entry is the $f$-vector of a simplicial complex for large $r$. In particular, the sequence satisfies the consequences of the unimodality part of the $g$-conjecture. We give applications of the main result to Hilbert series of Veronese algebras of standard graded algebras and the $f$-vectors of edgewise subdivisions of simplicial complexes.
2011-08-13 v3
A set of chromatic roots which is dense in the complex plane and closed under multiplication by positive integers
Published • View PublicationBIB
We study a very large family of graphs, the members of which comprise disjoint paths of cliques with extremal cliques identified. This broad characterisation naturally generalises those of various smaller families of graphs having well-known chromatic polynomials. We derive a relatively simple formula for an arbitrary member of the subfamily consisting of those graphs whose constituent clique-paths have at least one trivial extremal clique, and use this formula to show that the set of all non-integer chromatic roots of these graphs is closed under multiplication by natural numbers. A well-known result of Sokal then leads to our main result, which is that there exists a set of chromatic roots which is closed under positive integer multiplication in addition to being dense in the complex plane. Our findings lend considerable weight to a conjecture of Cameron, who has suggested that this closure property may be a generic feature of the chromatic polynomial. We also hope that the formula we provide will be of use to those computing with chromatic polynomials.
2011-08-11
Bipartite Q-polynomial distance-regular graphs and uniform posets
Let $\G$ denote a bipartite distance-regular graph with vertex set $X$ and diameter $D \ge 3$. Fix $x \in X$ and let $L$ (resp. $R$) denote the corresponding lowering (resp. raising) matrix. We show that each $Q$-polynomial structure for $\G$ yields a certain linear dependency among $RL^2$, $LRL$, $L^2R$, $L$. Define a partial order $\le$ on $X$ as follows. For $y,z \in X$ let $y \le z$ whenever $\partial(x,y)+\partial(y,z)=\partial(x,z)$, where $\partial$ denotes path-length distance. We determine whether the above linear dependency gives this poset a uniform or strongly uniform structure. We show that except for one special case a uniform structure is attained, and except for three special cases a strongly uniform structure is attained.
2011-08-11
Lexicographic products and the power of non-linear network coding
Published • View PublicationBIB
We introduce a technique for establishing and amplifying gaps between parameters of network coding and index coding. The technique uses linear programs to establish separations between combinatorial and coding-theoretic parameters and applies hypergraph lexicographic products to amplify these separations. This entails combining the dual solutions of the lexicographic multiplicands and proving that they are a valid dual of the product. Our result is general enough to apply to a large family of linear programs. This blend of linear programs and lexicographic products gives a recipe for constructing hard instances in which the gap between combinatorial or coding-theoretic parameters is polynomially large. We find polynomial gaps in cases in which the largest previously known gaps were only small constant factors or entirely unknown. Most notably, we show a polynomial separation between linear and non-linear network coding rates. This involves exploiting a connection between matroids and index coding to establish a previously unknown separation between linear and non-linear index coding rates. We also construct index coding problems with a polynomial gap between the broadcast rate and the trivial lower bound for which no gap was previously known.
2011-08-09
Triangulations of Cayley and Tutte polytopes
Published • View PublicationBIB
Cayley polytopes were defined recently as convex hulls of Cayley compositions introduced by Cayley in 1857. In this paper we resolve Braun's conjecture, which expresses the volume of Cayley polytopes in terms of the number of connected graphs. We extend this result to two one-variable deformations of Cayley polytopes (which we call t-Cayley and t-Gayley polytopes), and to the most general two-variable deformations, which we call Tutte polytopes. The volume of the latter is given via an evaluation of the Tutte polynomial of the complete graph. Our approach is based on an explicit triangulation of the Cayley and Tutte polytope. We prove that simplices in the triangulations correspond to labeled trees. The heart of the proof is a direct bijection based on the neighbors-first search graph traversal algorithm.
2011-08-08 v2
Multivariate Bernoulli and Euler polynomials via Lévy processes
Published • View PublicationBIB
By a symbolic method, we introduce multivariate Bernoulli and Euler polynomials as powers of polynomials whose coefficients involve multivariate Lévy processes. Many properties of these polynomials are stated straightforwardly thanks to this representation, which could be easily implemented in any symbolic manipulation system. A very simple relation between these two families of multivariate polynomials is provided.
2011-08-07
On divisibility of sums of Apery polynomials
Published • View PublicationBIB
For any positive integers $m$ and $α$, we prove that $$\sum_{k=0}^{n-1}ε^k(2k+1)A_k^{(α)}(x)^m\equiv0\pmod{n}, $$ where $ε\in\{1,-1\}$ and $$ A_n^{(α)}(x)=\sum_{k=0}^n\binom{n}{k}^α\binom{n+k}{k}^αx^k.$$
2011-08-04 v5
On reverse hypercontractivity
Published • View PublicationBIB
We study the notion of reverse hypercontractivity. We show that reverse hypercontractive inequalities are implied by standard hypercontractive inequalities as well as by the modified log-Sobolev inequality. Our proof is based on a new comparison lemma for Dirichlet forms and an extension of the Strook-Varapolos inequality. A consequence of our analysis is that {\em all} simple operators $L=Id-\E$ as well as their tensors satisfy uniform reverse hypercontractive inequalities. That is, for all $q<p<1$ and every positive valued function $f$ for $t \geq \log \frac{1-q}{1-p}$ we have $\| e^{-tL}f\|_{q} \geq \| f\|_{p}$. This should be contrasted with the case of hypercontractive inequalities for simple operators where $t$ is known to depend not only on $p$ and $q$ but also on the underlying space. The new reverse hypercontractive inequalities established here imply new mixing and isoperimetric results for short random walks in product spaces, for certain card-shufflings, for Glauber dynamics in high-temperatures spin systems as well as for queueing processes. The inequalities further imply a quantitative Arrow impossibility theorem for general product distributions and inverse polynomial bounds in the number of players for the non-interactive correlation distillation problem with $m$-sided dice.
2011-08-03 v3
A new family of time-space harmonic polynomials with respect to Lévy processes
Published • View PublicationBIB
By means of a symbolic method, a new family of time-space harmonic polynomials with respect to Lévy processes is given. The coefficients of these polynomials involve a formal expression of Lévy processes by which many identities are stated. We show that this family includes classical families of polynomials such as Hermite polynomials. Poisson-Charlier polynomials result to be a linear combinations of these new polynomials, when they have the property to be time-space harmonic with respect to the compensated Poisson process. The more general class of Lévy-Sheffer polynomials is recovered as a linear combination of these new polynomials, when they are time-space harmonic with respect to Lévy processes of very general form. We show the role played by cumulants of Lévy processes so that connections with boolean and free cumulants are also stated.
2011-08-03 v3
A characterization of ultraspherical, Hermite, and Chebyshev polynomials of the first kind
Published • View PublicationBIB
We show that the only orthogonal polynomials with a generating function of the form $F(x z - αz^2)$ are the ultraspherical, Hermite, and Chebyshev polynomials of the first kind. For special $F$ for which this is the case, we then finish the classification of orthogonal polynomials with more general generating functions $F(x w(z) - R(z))$.
2011-08-02
On a tropical dual Nullstellensatz
Published • View PublicationBIB
Since a tropical Nullstellensatz fails even for tropical univariate polynomials we study a conjecture on a tropical {\it dual} Nullstellensatz for tropical polynomial systems in terms of solvability of a tropical linear system with the Cayley matrix associated to the tropical polynomial system. The conjecture on a tropical effective dual Nullstellensatz is proved for tropical univariate polynomials.
The adjacency matroid of a graph
Published in Electron. J. Combin. 20 (3) (2013), #P27 • View PublicationBIB
If $G$ is a looped graph, then its adjacency matrix represents a binary matroid $M_{A}(G)$ on $V(G)$. $M_{A}(G)$ may be obtained from the delta-matroid represented by the adjacency matrix of $G$, but $M_{A}(G)$ is less sensitive to the structure of $G$. Jaeger proved that every binary matroid is $M_{A}(G)$ for some $G$ [Ann. Discrete Math. 17 (1983), 371-376]. The relationship between the matroidal structure of $M_{A}(G)$ and the graphical structure of $G$ has many interesting features. For instance, the matroid minors $M_{A}(G)-v$ and $M_{A}(G)/v$ are both of the form $M_{A}(G^{\prime}-v)$ where $G^{\prime}$ may be obtained from $G$ using local complementation. In addition, matroidal considerations lead to a principal vertex tripartition, distinct from the principal edge tripartition of Rosenstiehl and Read [Ann. Discrete Math. 3 (1978), 195-226]. Several of these results are given two very different proofs, the first involving linear algebra and the second involving set systems or delta-matroids. Also, the Tutte polynomials of the adjacency matroids of $G$ and its full subgraphs are closely connected to the interlace polynomial of Arratia, Bollobás and Sorkin [Combinatorica 24 (2004), 567-584].
2011-07-25 v2
Ehrhart polynomials of integral simplices with prime volumes
For an integral convex polytope $\Pc \subset \RR^N$ of dimension $d$, we call $δ(\Pc)=(δ_0, δ_1,..., δ_d)$ the $δ$-vector of $\Pc$ and $\vol(\Pc)=\sum_{i=0}^dδ_i$ its normalized volume. In this paper, we will establish the new equalities and inequalities on $δ$-vectors for integral simplices whose normalized volumes are prime. Moreover, by using those, we will classify all the possible $δ$-vectors of integral simplices with normalized volume 5 and 7.
2011-07-21 v2
Crystal energy functions via the charge in types A and C
Published in Mathematische Zeitschrift 273(1) (2013) 401-426 • View PublicationBIB
The Ram-Yip formula for Macdonald polynomials (at t=0) provides a statistic which we call charge. In types A and C it can be defined on tensor products of Kashiwara-Nakashima single column crystals. In this paper we prove that the charge is equal to the (negative of the) energy function on affine crystals. The algorithm for computing charge is much simpler and can be more efficiently computed than the recursive definition of energy in terms of the combinatorial R-matrix.
2011-07-21 v3
Actions and identities on set partitions
Published in Electron. J. Combin. 19 (2012), no. 1, Research Paper 28 • View PublicationBIB
A labeled set partition is a partition of a set of integers whose arcs are labeled by nonzero elements of an abelian group $A$. Inspired by the action of the linear characters of the unitriangular group on its supercharacters, we define a group action of $A^n$ on the set of $A$-labeled partitions of an $(n+1)$-set. By investigating the orbit decomposition of various families of set partitions under this action, we derive new combinatorial proofs of Coker's identity for the Narayana polynomial and its type B analogue, and establish a number of other related identities. In return, we also prove some enumerative results concerning André and Neto's supercharacter theories of type B and D.
2011-07-20
On the enumeration of three-rowed standard Young tableaux of skew shape in terms of Motzkin numbers
The enumeration of standard Young tableaux (SYTs) of shape λ can be easily computed by the hook-length formula. In 1981, Amitai Regev proved that the number of SYTs having at most three rows with n entries equals the nth Motzkin number M_n. In 2006, Regev conjectured that the total number of SYTs of skew shape λ/(2, 1) over all partitions λ having at most three parts with n entries is the difference of two Motzkin numbers, M_{n-1} - M_{n-3}. Ekhad and Zeilberger proved Regev's conjecture using a computer program. In 2009, S.-P. Eu found a bijection between Motzkin paths and SYTs of skew shape with at most three rows to prove Regev's conjecture, and Eu also indirectly showed that for the fixed μ = (μ1,μ2) the number of SYTs of skew shape λ/μ over all partitions λ having at most three parts can be expressed as a linear combination of the Motzkin numbers. In this paper, we will find an explicit formula for the generating function for the general case: for each partition μ having at most three parts the generating function gives a formula for the coefficients of the linear combination of Motzkin numbers. We will also show that these generating functions are unexpectedly related to the Chebyshev polynomials of the second kind.
2011-07-16
Stanley Conjecture on intersection of three monomial primary ideals
We show that the Stanley's Conjecture holds for an intersection of three monomial primary ideals of a polynomial algebra S over a field.
2011-07-16 v2
Arrow ribbon graphs
Published • View PublicationBIB
We introduce an additional structure on ribbon graphs, arrow structure. We extend the Bollobás-Riordan polynomial to ribbon graph with this structure. The extended polynomial satisfies the contraction-deletion relations and naturally behaves with respect to the partial duality of ribbon graphs. We construct an arrow ribbon graph from a virtual link whose extended Bollobás-Riordan polynomial specializes to the arrow polynomial of the virtual link recently introduced by H.Dye and L.Kauffman. This result generalizes the classical Thistlethwaite theorem to the arrow polynomial of virtual links.
2011-07-14 v3
Geometric analysis aspects of infinite semiplanar graphs with nonnegative curvature
Published in J. Reine Angew. Math. 700 (2015), 1-36 • View PublicationBIB
In the present paper, we apply Alexandrov geometry methods to study geometric analysis aspects of infinite semiplanar graphs with nonnegative combinatorial curvature in the sense of Higuchi. We obtain the metric classification of these graphs and construct the graphs embedded in the projective plane minus one point. Moreover, we show the volume doubling property and the Poincaré inequality on such graphs. The quadratic volume growth of these graphs implies the parabolicity. In addition, we prove the polynomial growth harmonic function theorem analogous to the case of Riemannian manifolds.
2011-07-13 v3
Depth and minimal number of generators of square free monomial ideals
Let $I$ be an ideal of a polynomial algebra $S$ over a field generated by square free monomials of degree $\geq d$. If $I$ contains more monomials of degree $d$ than $(n-d)/(n-d+1)$ of the total number of square free monomials of $S$ of degree $d+1$ then $\depth_SI\leq d$, in particular the Stanley's Conjecture holds in this case.