polynomial
11422 papers tagged with this keyword
Topological expansion of the coefficients of zonal polynomials in genus one
We use a combinatorial interpretation of the coefficients of zonal Kerov polynomials as a number of unoriented maps to derive an explicit formula for the coefficients in genus one.
Evaluations of topological Tutte polynomials
Published
• View Publication
• BIB
We find new properties of the topological transition polynomial of embedded graphs, $Q(G)$. We use these properties to explain the striking similarities between certain evaluations of Bollobás and Riordan's ribbon graph polynomial, $R(G)$, and the topological Penrose polynomial, $P(G)$. The general framework provided by $Q(G)$ also leads to several other combinatorial interpretations these polynomials. In particular, we express $P(G)$, $R(G)$, and the Tutte polynomial, $T(G)$, as sums of chromatic polynomials of graphs derived from $G$; show that these polynomials count $k$-valuations of medial graphs; show that $R(G)$ counts edge 3-colourings; and reformulate the Four Colour Theorem in terms of $R(G)$. We conclude with a reduction formula for the transition polynomial of the tensor product of two embedded graphs, showing that it leads to additional relations among these polynomials and to further combinatorial interpretations of $P(G)$ and $R(G)$.
The Entropic Discriminant
Published in Advances in Mathematics, 244 (2013) pp. 678-707
• View Publication
• BIB
The entropic discriminant is a non-negative polynomial associated to a matrix. It arises in contexts ranging from statistics and linear programming to singularity theory and algebraic geometry. It describes the complex branch locus of the polar map of a real hyperplane arrangement, and it vanishes when the equations defining the analytic center of a linear program have a complex double root. We study the geometry of the entropic discriminant, and we express its degree in terms of the characteristic polynomial of the underlying matroid. Singularities of reciprocal linear spaces play a key role. In the corank-one case, the entropic discriminant admits a sum of squares representation derived from the discriminant of a characteristic polynomial of a symmetric matrix.
Around Poisson--Mehler summation formula
We study polynomials in $x$ and $y$ of degree $n+m:\allowbreak \{Q_{m,n}(x,y|t,q)\}_{n,m\geq 0}$ that appeared recently in the following identity: $γ_{m,n}(x,y|t,q) \allowbreak =\allowbreak γ_{0,0}(x,y|t,q) \allowbreak Q_{m,n}(x,y|t,q) $ where $γ_{m,n}(x,y|t,q) \allowbreak =\allowbreak \sum_{i\geq 0}\frac{t^{i}}{[i]_{q}}H_{i+n}(x|q) H_{m+i}(y|q)$, $\allowbreak $ $\{H_{n}(x|q)}_{n\geq -1}$ are the so-called $q-$% Hermite polynomials (qH). In particular we show that the spaces $span\{Q_{i,n-i}(x,y|t,q) :i=0,...,n\}_{n\geq 0}$ are orthogonal with respect to a certain measure (two-dimensional $(t,q)-$Normal distribution) on the square $\{(x,y):|x|,|y|\leq 2/\sqrt{1-q}\} . $ We study structure of these polynomials expressing them with the help of the so-called Al-Salam--Chihara (ASC) polynomials and showing that they are rational functions of parameters $t$ and $q$. We use them in various infinite expansions that can be viewed as simple generalization of the Poisson-Mehler summation formula. Further we use them in the expansion of the reciprocal of the right hand side of the Poisson-Mehler formula.
Factorial Schur functions and the Yang-Baxter equation
Factorial Schur functions are generalizations of Schur functions that have, in addition to the usual variables, a second family of "shift" parameters. We show that a factorial Schur function times a deformation of the Weyl denominator may be expressed as the partition function of a particular statistical-mechanical system (six vertex model). The proof is based on the Yang-Baxter equation. There is a deformation parameter $t$ which may be specialized in different ways. If $t=-1$, then we recover the expression of the factorial Schur function as a ratio of alternating polynomials. If $t=0$, we recover the description as a sum over tableaux. If $t=\infty$ we recover a description of Lascoux that was previously considered by McNamara. We also are able to prove using the Yang-Baxter equation the asymptotic symmetry of the factorial Schur functions in the shift parameters. Finally, we give a proof using our methods of the dual Cauchy identity for factorial Schur functions. Thus using our methods we are able to give thematic proofs of many of the properties of factorial Schur functions.
Enumerative $g$-theorems for the Veronese construction for formal power series and graded algebras
Published
• View Publication
• BIB
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.
A set of chromatic roots which is dense in the complex plane and closed under multiplication by positive integers
Published
• View Publication
• BIB
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.
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.
Lexicographic products and the power of non-linear network coding
Published
• View Publication
• BIB
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.
Triangulations of Cayley and Tutte polytopes
Published
• View Publication
• BIB
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.
Multivariate Bernoulli and Euler polynomials via Lévy processes
Published
• View Publication
• BIB
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.
On divisibility of sums of Apery polynomials
Published
• View Publication
• BIB
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.$$
On reverse hypercontractivity
Published
• View Publication
• BIB
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.
A new family of time-space harmonic polynomials with respect to Lévy processes
Published
• View Publication
• BIB
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.
A characterization of ultraspherical, Hermite, and Chebyshev polynomials of the first kind
Published
• View Publication
• BIB
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))$.
On a tropical dual Nullstellensatz
Published
• View Publication
• BIB
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 Publication
• BIB
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].
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.
Crystal energy functions via the charge in types A and C
Published in Mathematische Zeitschrift 273(1) (2013) 401-426
• View Publication
• BIB
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.
Actions and identities on set partitions
Published in Electron. J. Combin. 19 (2012), no. 1, Research Paper 28
• View Publication
• BIB
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.