polynomial
11257 papers tagged with this keyword
A Unified Combinatorial Approach to Several Poincare Series Identities
Mendes recently conjectured an identity simplifying the Poincaré series of the space of equivariant polynomial maps from $\mathbb{R}^{n}$ to a subrepresentation of $Sym^{2}(\mathbb{R}^{n})$. We show how to prove this identity using a fairly simple integer partition bijection. First, we give a bijective proof of a similar, well-known identity from representation theory. We then show that this bijection can be generalized to prove other Poincaré series identities, including a version of the identity conjectured by Mendes as well as refinements of it.
Vertex subsets with minimal width and dual width in $Q$-polynomial distance-regular graphs
Published in Electron. J. Combin. 18 (2011) #P167
• View Publication
• BIB
We study $Q$-polynomial distance-regular graphs from the point of view of what we call descendents, that is to say, those vertex subsets with the property that the width $w$ and dual width $w^*$ satisfy $w+w^*=d$, where $d$ is the diameter of the graph. We show among other results that a nontrivial descendent with $w\ge 2$ is convex precisely when the graph has classical parameters. The classification of descendents has been done for the 5 classical families of graphs associated with short regular semilattices. We revisit and characterize these families in terms of posets consisting of descendents, and extend the classification to all of the 15 known infinite families with classical parameters and with unbounded diameter.
Cohomology of real Grassmann manifold and KP flow
We consider a realization of the real Grassmann manifold Gr(k,n) based on a particular flow defined by the corresponding (singular) solution of the KP equation. Then we show that the KP flow can provide an explicit and simple construction of the incidence graph for the integral cohomology of Gr(k,n). It turns out that there are two types of graphs, one for the trivial coefficients and other for the twisted coefficients, and they correspond to the homology groups of the orientable and non-orientable cases of Gr(k,n) via the Poincare-Lefschetz duality. We also derive an explicit formula of the Poincare polynomial for Gr(k,n) and show that the Poincare polynomial is also related to the number of points on a suitable version of Gr(k,n) over a finite field $\F_q$ with q being a power of a prime. In particular, we find that the number of $\F_q$ points on Gr(k,n) can be computed by counting the number of singularities along the KP flow.
Relatively Prime Polynomials and Nonsingular Hankel Matrices over Finite Fields
Published in Journal of Combinatorial Theory, Series A, Vol. 118, No. 3 (2011), pp. 819-828
• View Publication
• BIB
The probability for two monic polynomials of a positive degree n with coefficients in the finite field F_q to be relatively prime turns out to be identical with the probability for an n x n Hankel matrix over F_q to be nonsingular. Motivated by this, we give an explicit map from pairs of coprime polynomials to nonsingular Hankel matrices that explains this connection. A basic tool used here is the classical notion of Bezoutian of two polynomials. Moreover, we give simpler and direct proofs of the general formulae for the number of m-tuples of relatively prime polynomials over F_q of given degrees and for the number of n x n Hankel matrices over F_q of a given rank
Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra
Published
• View Publication
• BIB
This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software.
Polytopes, Hopf algebras and Quasi-symmetric functions
Published
• View Publication
• BIB
In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear operations on this group defined by a direct product $\times $ and a join $\divideontimes$ of polytopes. $(\mathcal{P},\times)$ is a commutative associative bigraded ring of polynomials, and $\mathcal{RP}=(\mathbb Z\varnothing\oplus\mathcal{P},\divideontimes)$ is a commutative associative threegraded ring of polynomials. The ring $\mathcal{RP}$ has the structure of a graded Hopf algebra. It turns out that $\mathcal{P}$ has a natural Hopf comodule structure over $\mathcal{RP}$. Faces operators $d_k$ that send a polytope to the sum of all its $(n-k)$-dimensional faces define on both rings the Hopf module structures over the universal Leibnitz-Hopf algebra $\mathcal{Z}$. This structure gives a ring homomorphism $\R\to\Qs\otimes\R$, where $\R$ is $\mathcal{P}$ or $\mathcal{RP}$. Composing this homomorphism with the characters $P^n\toα^n$ of $\mathcal{P}$, $P^n\toα^{n+1}$ of $\mathcal{RP}$, and with the counit we obtain the ring homomorphisms $f\colon\mathcal{P}\to\Qs[α]$, $f_{\mathcal{RP}}\colon\mathcal{RP}\to\Qs[α]$, and $\F^*:\mathcal{RP}\to\Qs$, where $F$ is the Ehrenborg transformation. We describe the images of these homomorphisms in terms of functional equations, prove that these images are rings of polynomials over $\mathbb Q$, and find the relations between the images, the homomorphisms and the Hopf comodule structures. For each homomorphism $f,\;f_{\mathcal{RP}}$, and $\F$ the images of two polytopes coincide if and only if they have equal flag $f$-vectors. Therefore algebraic structures on the images give the information about flag $f$-vectors of polytopes.
Euler characteristic of the bifurcation set for a polynomial of degree 2 or 3
Assume that the coefficients of a polynomial in a complex variable are Laurent polynomials in some complex parameters. The parameter space (a complex torus) splits into strata corresponding to different combinations of coincidence of the roots of the polynomial. For generic Laurent polynomials with fixed Newton polyhedra the Euler characteristics of these strata are also fixed. We provide explicit formulae for the Euler characteristics of the strata in terms of the polyhedra of the Laurent polynomials in the cases of degrees 2 and 3. We also obtain some corollaries in combinatorial geometry, which follows from two different ways of computing the Euler characteristic of the bifurcation set for a reduced polynomial of degree 2.
On twin and anti-twin words in the support of the free Lie algebra
Published
• View Publication
• BIB
Let $L_{K}(A)$ be the free Lie algebra on a finite alphabet $A$ over a commutative ring $K$ with unity. For a word $u$ in the free monoid $A^{*}$ let $\tilde{u}$ denote its reversal. Two words in $A^{*}$ are called twin (resp. anti-twin) if they appear with equal (resp. opposite) coefficients in each Lie polynomial. Let $l$ denote the left-normed Lie bracketing and $λ$ be its adjoint map with respect to the canonical scalar product on the corresponding free associative algebra. Studying the kernel of $λ$ and using several techniques from combinatorics on words and the shuffle algebra, we show that when $K$ is of characteristic zero two words $u$ and $v$ of common length $n$ that lie in the support of ${\mathcal L}_{K}(A)$ - i.e., they are neither powers $a^{n}$ of letters $a \in A$ with exponent $n > 1$ nor palindromes of even length - are twin (resp. anti-twin) if and only if $u = v$ or $u = \tilde{v}$ and $n$ is odd (resp. $u = \tilde{v}$ and $n$ is even).
Structure of finite nilspaces and inverse theorems for the Gowers norms in bounded exponent groups
A result of the author shows that the behavior of Gowers norms on bounded exponent abelian groups is connected to finite nilspaces. Motivated by this, we investigate the structure of finite nilspaces. As an application we prove inverse theorems for the Gowers norms on bounded exponent abelian groups. It says roughly speaking that if a function on A has non negligible U(k+1)-norm then it correlates with a phase polynomial of degree k when lifted to some abelian group extension of A. This result is closely related to a conjecture by Tao and Ziegler. In prticular we obtain a new proof for the Tao-Ziegler inverse theorem.
Mask formulas for cograssmannian Kazhdan-Lusztig polynomials
Published in Annals of Combinatorics 17 (2013), p. 151-203
• View Publication
• BIB
We give two contructions of sets of masks on cograssmannian permutations that can be used in Deodhar's formula for Kazhdan-Lusztig basis elements of the Iwahori-Hecke algebra. The constructions are respectively based on a formula of Lascoux-Schutzenberger and its geometric interpretation by Zelevinsky. The first construction relies on a basis of the Hecke algebra constructed from principal lower order ideals in Bruhat order and a translation of this basis into sets of masks. The second construction relies on an interpretation of masks as cells of the Bott-Samelson resolution. These constructions give distinct answers to a question of Deodhar.
Hierarchical zonotopal power ideals
Published in European Journal of Combinatorics 33 (2012), no. 6, 1120-1141
• View Publication
• BIB
Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial.
This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.
Enumeration of snakes and cycle-alternating permutations
Published in Australasian Journal of Combinatorics 60(3) (2014), 279--305
• Search Publication
Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions.
The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.
Multivariate Rogers-Szegö polynomials and flags in finite vector spaces
We give a recursion for the multivariate Rogers-Szegö polynomials, along with another recursive functional equation, and apply them to compute special values. We also consider the sum of all $q$-multinomial coefficients of some fixed degree and length, and give a recursion for this sum which follows from the recursion of the multivariate Rogers-Szegö polynomials, and generalizes the recursion for the Galois numbers. The sum of all $q$-multinomial coefficients of degree $n$ and length $m$ is the number of flags of length $m-1$ of subspaces of an $n$-dimensional vector space over a field with $q$ elements. We give a combinatorial proof of the recursion for this sum of $q$-multinomial coefficients in terms of finite vector spaces.
A Marstrand theorem for subsets of integers
Published in Combin. Probab. Comput. 23 (2014), no. 1, 116-134
• View Publication
• BIB
We propose a counting dimension for subsets of Z and prove that, under certain conditions on two such subsets E and F, for Lebesgue almost every real λ the counting dimension of E+[λF] is at least the minimum between 1 and the sum of the counting dimensions of E and F. Furthermore, if the sum of the counting dimensions of E and F is larger than 1, then E+[λF] has positive upper Banach density for Lebesgue almost every λ. The result has direct consequences when E,F are arithmetic sets, e.g. the integer values of a polynomial with integer coefficients.
Graphs with few matching roots
Published
• View Publication
• BIB
We determine all graphs whose matching polynomials have at most five distinct zeros. As a consequence, we find new families of graphs which are determined by their matching polynomial.
Bollobas-Riordan and relative Tutte polynomials
Published
• View Publication
• BIB
We establish a relation between the Bollobas-Riordan polynomial of a ribbon graph with the relative Tutte polynomial of a plane graph obtained from the ribbon graph using its projection to the plane in a nontrivial way. Also we give a duality formula for the relative Tutte polynomial of dual plane graphs and an expression of the Kauffman bracket of a virtual link as a specialization of the relative Tutte polynomial.
A polynomial-time algorithm for estimating the partition function of the ferromagnetic Ising model on a regular matroid
Published in SICOMP 42(3) 1132-1157 (2013)
• View Publication
• BIB
We investigate the computational difficulty of approximating the partition function of the ferromagnetic Ising model on a regular matroid. Jerrum and Sinclair have shown that there is a fully polynomial randomised approximation scheme (FPRAS) for the class of graphic matroids. On the other hand, the authors have previously shown, subject to a complexity-theoretic assumption, that there is no FPRAS for the class of binary matroids, which is a proper superset of the class of graphic matroids. In order to map out the region where approximation is feasible, we focus on the class of regular matroids, an important class of matroids which properly includes the class of graphic matroids, and is properly included in the class of binary matroids. Using Seymour's decomposition theorem, we give an FPRAS for the class of regular matroids.
On graphs with cyclic defect or excess
Published in The Electronic Journal of Combinatorics 17 (2010), no. 1, R143
• View Publication
• BIB
The Moore bound constitutes both an upper bound on the order of a graph of maximum degree $d$ and diameter $D=k$ and a lower bound on the order of a graph of minimum degree $d$ and odd girth $g=2k+1$. Graphs missing or exceeding the Moore bound by $ε$ are called {\it graphs with defect or excess $ε$}, respectively.
While {\it Moore graphs} (graphs with $ε=0$) and graphs with defect or excess 1 have been characterized almost completely, graphs with defect or excess 2 represent a wide unexplored area.
Graphs with defect (excess) 2 satisfy the equation $G_{d,k}(A) = J_n + B$ ($G_{d,k}(A) = J_n-B$), where $A$ denotes the adjacency matrix of the graph in question, $n$ its order, $J_n$ the $n\times n$ matrix whose entries are all 1's, $B$ the adjacency matrix of a union of vertex-disjoint cycles, and $G_{d,k}(x)$ a polynomial with integer coefficients such that the matrix $G_{d,k}(A)$ gives the number of paths of length at most $k$ joining each pair of vertices in the graph.
In particular, if $B$ is the adjacency matrix of a cycle of order $n$ we call the corresponding graphs \emph{graphs with cyclic defect or excess}; these graphs are the subject of our attention in this paper.
We prove the non-existence of infinitely many such graphs. As the highlight of the paper we provide the asymptotic upper bound of $O(\frac{64}3d^{3/2})$ for the number of graphs of odd degree $d\ge3$ and cyclic defect or excess. This bound is in fact quite generous, and as a way of illustration, we show the non-existence of some families of graphs of odd degree $d\ge3$ and cyclic defect or excess.
Actually, we conjecture that, apart from the Möbius ladder on 8 vertices, no non-trivial graph of any degree $\ge 3$ and cyclic defect or excess exists.
Linear chord diagrams on two intervals
Consider all possible ways of attaching disjoint chords to two ordered and oriented disjoint intervals so as to produce a connected graph. Taking the intervals to lie in the real axis with the induced orientation and the chords to lie in the upper half plane canonically determines a corresponding fatgraph which has some associated genus $g\geq 0$, and we consider the natural generating function ${\bf C}_g^{[2]}(z)=\sum_{n\geq 0} {\bf c}^{[2]}_g(n)z^n$ for the number ${\bf c}^{[2]}_g(n)$ of distinct such chord diagrams of fixed genus $g\geq 0$ with a given number $n\geq 0$ of chords. We prove here the surprising fact that ${\bf C}^{[2]}_g(z)=z^{2g+1} R_g^{[2]}(z)/(1-4z)^{3g+2} $ is a rational function, for $g\geq 0$, where the polynomial $R^{[2]}_g(z)$ with degree at most $g$ has integer coefficients and satisfies $R_g^{[2]}({1\over 4})\neq 0$. Earlier work had already determined that the analogous generating function ${\bf C}_g(z)=z^{2g}R_g(z)/(1-4z)^{3g-{1\over 2}}$ for chords attached to a single interval is algebraic, for $g\geq 1$, where the polynomial $R_g(z)$ with degree at most $g-1$ has integer coefficients and satisfies $R_g(1/4)\neq 0$ in analogy to the generating function ${\bf C}_0(z)$ for the Catalan numbers. The new results here on ${\bf C}_g^{[2]}(z)$ rely on this earlier work, and indeed, we find that $R_g^{[2]}(z)=R_{g+1}(z) -z\sum_{g_1=1}^g R_{g_1}(z) R_{g+1-g_1}(z)$, for $g\geq 1$.
Enumeration of linear chord diagrams
A linear chord diagram canonically determines a fatgraph and hence has an associated genus $g$. We compute the natural generating function ${\bf C}_g(z)=\sum_{n\geq 0} {\bf c}_g(n)z^n$ for the number ${\bf c}_g(n)$ of linear chord diagrams of fixed genus $g\geq 1$ with a given number $n\geq 0$ of chords and find the remarkably simple formula ${\bf C}_g(z)=z^{2g}R_g(z) (1-4z)^{{1\over 2}-3g}$, where $R_g(z)$ is a polynomial of degree at most $g-1$ with integral coefficients satisfying $R_g({1\over 4})\neq 0$ and $R_g(0) = {\bf c}_g(2g)\neq 0.$ In particular, ${\bf C}_g(z)$ is algebraic over $\mathbb C(z)$, which generalizes the corresponding classical fact for the generating function ${\bf C}_0(z)$ of the Catalan numbers. As a corollary, we also calculate a related generating function germaine to the enumeration of knotted RNA secondary structures, which is again found to be algebraic.