polynomial
11284 papers tagged with this keyword
The Laplace transform of the cut-and-join equation and the Bouchard-Marino conjecture on Hurwitz numbers
Published in Publications of the Research Institute for Mathematical Sciences 47, 629--670 (2011)
• View Publication
• BIB
We calculate the Laplace transform of the cut-and-join equation of Goulden, Jackson and Vakil. The result is a polynomial equation that has the topological structure identical to the Mirzakhani recursion formula for the Weil-Petersson volume of the moduli space of bordered hyperbolic surfaces. We find that the direct image of this Laplace transformed equation via the inverse of the Lambert W-function is the topological recursion formula for Hurwitz numbers conjectured by Bouchard and Marino using topological string theory.
Syndeticity and independent substitutions
Published in Advances in Applied Mathematics, 42 (2009) 1-22
• View Publication
• BIB
We associate in a canonical way a substitution to any abstract numeration system built on a regular language. In relationship with the growth order of the letters, we define the notion of two independent substitutions. Our main result is the following. If a sequence $x$ is generated by two independent substitutions, at least one being of exponential growth, then the factors of $x$ appearing infinitely often in $x$ appear with bounded gaps. As an application, we derive an analogue of Cobham's theorem for two independent substitutions (or abstract numeration systems) one with polynomial growth, the other being exponential.
A new semidefinite programming hierarchy for cycles in binary matroids and cuts in graphs
Published in Mathematical Programming, Volume 133, Numbers 1-2, pp. 203-225, (2012)
• View Publication
• BIB
The theta bodies of a polynomial ideal are a series of semidefinite programming relaxations of the convex hull of the real variety of the ideal. In this paper we construct the theta bodies of the vanishing ideal of cycles in a binary matroid. Applied to cuts in graphs, this yields a new hierarchy of semidefinite programming relaxations of the cut polytope of the graph. If the binary matroid avoids certain minors we can characterize when the first theta body in the hierarchy equals the cycle polytope of the matroid. Specialized to cuts in graphs, this result solves a problem posed by Lovász.
A Fibonacci sequence for linear structures with two types of components
We investigate binary voting systems with two types of voters and a hierarchy among the members in each type, so that members in one class have more influence or importance than members in the other class. The purpose of this paper is to count, up to isomorphism, the number of these voting systems for an arbitrary number of voters. We obtain a closed formula for the number of these systems, this formula follows a Fibonacci sequence with a smooth polynomial variation on the number of voters.
Macdonald polynomials and symmetric functions
The ring of symmetric functions $Λ$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the symmetric group. One may define a coproduct on $Λ$ by the plethystic addition on alphabets. In this way the ring of symmetric functions becomes a Hopf algebra. The Littlewood--Richardson numbers may be viewed as the structure constants for the co-product in the Schur basis. In the first part of this thesis we show that by using a generalization of the classical umbral calculus of Gian-Carlo Rota, one may deform the basis of Schur functions to find many other bases for which the Littlewood--Richardson numbers as coproduct structure constants. The Macdonald polynomials are a somewhat mysterious qt-deformation of the Schur functions. The second part of this thesis contains a proof a generating function identity for the Macdonald polynomials which was originally conjectured by Kawanaka.
An addition theorem and maximal zero-sum free sets in Z/pZ
Using the polynomial method in additive number theory, this article establishes a new addition theorem for the set of subsums of a set satisfying $A\cap(-A)=\emptyset$ in $\mathbb{Z}/p\mathbb{Z}$: \[|Σ(A)|\geqslant\min{p,1+\frac{|A|(|A|+1)}{2}}.\]
The proof is similar in nature to Alon, Nathanson and Ruzsa's proof of the Erdös-Heilbronn conjecture (proved initially by Dias da Silva and Hamidoune \cite{DH}). A key point in the proof of this theorem is the evaluation of some binomial determinants that have been studied in the work of Gessel and Viennot. A generalization to the set of subsums of a sequence is derived, leading to a structural result on zero-sum free sequences. As another application, it is established that for any prime number $p$, a maximal zero-sum free set in $\mathbb{Z}/p\mathbb{Z}$ has cardinality the greatest integer $k$ such that \[\frac{k(k+1)}{2}<p,\] proving a conjecture of Selfridge from 1976.
Schubert polynomials and Arakelov theory of orthogonal flag varieties
Published in Math. Zeitschrift 268 (2011), 355-370
• View Publication
• BIB
We propose a theory of combinatorially explicit Schubert polynomials which represent the Schubert classes in the Borel presentation of the cohomology ring of orthogonal flag varieties. We use these polynomials to describe the arithmetic Schubert calculus on these spaces. We also give a method to compute the natural arithmetic intersection numbers which arise, and prove that they are all rational numbers.
Determinants and permanents of an arbitrary Hadamard degree of a Cauchy matrix and a proof of a generalization of a conjecture of R.F.Scott (1881)
In this paper we give the absolutely new proof of a conjecture of R.F.Scott(1881) on the permanent of a Cauchy matrix $\ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n-1$ and $y^n +1,$ respectively. The simple formula is given for the permanent of the Cauchy matrix $A= \ls \frac{1}{x_i-y_j} \rs_{1 \leqslant i,j \leqslant n},$ where $x_1, ..., x_n$ and $y_1, ..., y_n$ are the distinct roots of the polynomials $x^n+a$ and $y^n +b$, respectively: \begin{gather*} \per (A) =\frac{n}{(b-a)^n} \prod_{k=1}^{n-1}[nb-k(b-a)] = =\begin{cases} %\begin{eqnarray} (-1)^{\frac{n-1}{2}} \cfrac{n}{(b-a)^n} \prod\limits_{k=1}^{\frac{n-1}{2}}[-na-k(b-a)][nb-k(b-a)], \mbox{if $n \equiv 1 (\mod 2)$,} \cfrac{n}{2} \cdot \cfrac{n(a+b)}{(b-a)^n} \prod\limits_{k=1}^{\frac{n}{2}-1}[na+k(b-a)][nb+k(a-b)], \mbox{if $n\equiv 0(\mod 2)$}. %\end{eqnarray} \end{cases} \end{gather*} from which the corrected formula of R.F.Scott follows instantly. Proof follows from obtained by the author a formula for the determinant of an arbitrary of the Hadamard degree $m$ of a Cauchy matrix $A$ and Borchard's theorem.
Rationality of generating functions of rook polynomials and permanents of Kronecker products of Toeplitz matrices and circulants with the matrix $J_k$ and their evaluation. I
Published
• View Publication
• BIB
In this paper we give a generalization created by the author of the theory of rook polynomials and permanents of circulants, Toeplits matrices and their submatrices.
Chebyshev type lattice path weight polynomials by a constant term method
Published
• View Publication
• BIB
We prove a constant term theorem which is useful for finding weight polynomials for Ballot/Motzkin paths in a strip with a fixed number of arbitrary `decorated' weights as well as an arbitrary `background' weight. Our CT theorem, like Viennot's lattice path theorem from which it is derived primarily by a change of variable lemma, is expressed in terms of orthogonal polynomials which in our applications of interest often turn out to be non-classical. Hence we also present an efficient method for finding explicit closed form polynomial expressions for these non-classical orthogonal polynomials. Our method for finding the closed form polynomial expressions relies on simple combinatorial manipulations of Viennot's diagrammatic representation for orthogonal polynomials. In the course of the paper we also provide a new proof of Viennot's original orthogonal polynomial lattice path theorem. The new proof is of interest because it uses diagonalization of the transfer matrix, but gets around difficulties that have arisen in past attempts to use this approach. In particular we show how to sum over a set of implicitly defined zeros of a given orthogonal polynomial, either by using properties of residues or by using partial fractions. We conclude by applying the method to two lattice path problems important in the study of polymer physics as models of steric stabilization and sensitized flocculation.
Self-inverse Sheffer sequences and Riordan involutions
In this short note we focus on self-inverse Sheffer sequences and involutions in the Riordan group. We translate the results of Brown and Kuczma on self-inverse sequences of Sheffer polynomials to describe all involutions in the Riordan group.
Inapproximability of the Tutte polynomial of a planar graph
Published in Computational Complexity, 2012
• View Publication
• BIB
The Tutte polynomial of a graph G is a two-variable polynomial T(G;x,y) that encodes many interesting properties of the graph. We study the complexity of the following problem, for rationals x and y: given as input a planar graph G, determine T(G;x,y). Vertigan completely mapped the complexity of exactly computing the Tutte polynomial of a planar graph. He showed that the problem can be solved in polynomial time if (x,y) is on the hyperbola H_q given by (x-1)(y-1)=q for q=1 or q=2 or if (x,y) is one of the two special points (x,y)=(-1,-1) or (x,y)=(1,1). Otherwise, the problem is #P-hard. In this paper, we consider the problem of approximating T(G;x,y), in the usual sense of "fully polynomial randomised approximation scheme" or FPRAS. Roughly speaking, an FPRAS is required to produce, in polynomial time and with high probability, an answer that has small relative error. Assuming that NP is different from RP, we show that there is no FPRAS for the Tutte polynomial in a large portion of the (x,y) plane. In particular, there is no FPRAS if x>1, y<-1 or if y>1, x<-1 or if x<0, y<0 and q>5. Also, there is no FPRAS if x<1, y<1 and q=3. For q>5, our result is intriguing because it shows that there is no FPRAS at (x,y)=(1-q/(1+epsilon),-epsilon) for any positive epsilon but it leaves open the limit point epsilon=0, which corresponds to approximately counting q-colourings of a planar graph.
Linear Extension Diameter of Downset Lattices of 2-Dimensional Posets
Published
• View Publication
• BIB
The linear extension diameter of a finite poset P is the maximum distance between a pair of linear extensions of P, where the distance between two linear extensions is the number of pairs of elements of P appearing in different orders in the two linear extensions. We prove a formula for the linear extension diameter of the Boolean Lattice and characterize the diametral pairs of linear extensions. For the more general case of a downset lattice D_P of a 2-dimensional poset P, we characterize the diametral pairs of linear extensions of D_P and show how to compute the linear extension diameter of D_P in time polynomial in |P|.
On a class of determinants
A class of determinants is introduced. Different kind of mathematical objects, such as Fibonacci, Lucas, Tchebychev, Hermite, Laguerre, Legendre polynomials, sums and covergents are represented as determinants from this class. A closed formula in which arbitrary term of a homogenous linear recurrence equation is expressed in terms of the initial conditions and the coefficients is proved.
An update on the Hirsch conjecture
Published in Jahresbericht der Deutschen Mathematiker-Vereinigung, Volume 112(2) (June 2010), 73-98
• View Publication
• BIB
The Hirsch conjecture was posed in 1957 in a letter from Warren M. Hirsch to George Dantzig. It states that the graph of a d-dimensional polytope with n facets cannot have diameter greater than n - d.
Despite being one of the most fundamental, basic and old problems in polytope theory, what we know is quite scarce. Most notably, no polynomial upper bound is known for the diameters that are conjectured to be linear. In contrast, very few polytopes are known where the bound $n-d$ is attained. This paper collects known results and remarks both on the positive and on the negative side of the conjecture. Some proofs are included, but only those that we hope are accessible to a general mathematical audience without introducing too many technicalities.
Nowhere-Harmonic Colorings of Graphs
Published
• View Publication
• BIB
Proper vertex colorings of a graph are related to its boundary map, also called its signed vertex-edge incidence matrix. The vertex Laplacian of a graph, a natural extension of the boundary map, leads us to introduce nowhere-harmonic colorings and analogues of the chromatic polynomial and Stanley's theorem relating negative evaluations of the chromatic polynomial to acyclic orientations. Further, we discuss some examples demonstrating that nowhere-harmonic colorings are more complicated from an enumerative perspective than proper colorings.
Words and polynomial invariants of finite groups in non-commutative variables
Published
• View Publication
• BIB
Let V be a complex vector space with basis {x_1,x_2,...,x_n} and G be a finite subgroup of GL(V). The tensor algebra T(V) over the complex is isomorphic to the polynomials in the non-commutative variables x_1, x_2,..., x_n with complex coefficients. We want to give a combinatorial interpretation for the decomposition of T(V) into simple G-modules. In particular, we want to study the graded space of invariants in T(V) with respect to the action of G. We give a general method for decomposing the space T(V) into simple modules in terms of words in a Cayley graph of the group G. To apply the method to a particular group, we require a homomorphism from a subalgebra of the group algebra into the character algebra. In the case of G as the symmetric group, we give an example of this homomorphism from the descent algebra. When G is the dihedral group, we have a realization of the character algebra as a subalgebra of the group algebra. In those two cases, we have an interpretation for the graded dimensions of the invariant space in term of those words.
Ehrhart theory, Modular flow reciprocity, and the Tutte polynomial
Published in Math. Z. 270 (2012), no. 1-2, 1-18
• View Publication
• BIB
Given an oriented graph G, the modular flow polynomial counts the number of nowhere-zero Z_k-flows of G. We give a description of the modular flow polynomial in terms of (open) Ehrhart polynomials of lattice polytopes. Using Ehrhart-Macdonald reciprocity we give a combinatorial interpretation for the values of the modular flow polynomial at negative arguments which answers a question of Beck and Zaslavsky (2006). Our construction extends to Z_l-tensions and we recover Stanley's reciprocity theorem for the chromatic polynomial. Combining the combinatorial reciprocity statements for flows and tensions, we give an enumerative interpretation for positive evaluations of the Tutte polynomial of G.
Some Exact Results on the Potts Model Partition Function in a Magnetic Field
Published in J. Phys. A 42, 385004 (2009)
• View Publication
• BIB
We consider the Potts model in a magnetic field on an arbitrary graph $G$. Using a formula of F. Y. Wu for the partition function $Z$ of this model as a sum over spanning subgraphs of $G$, we prove some properties of $Z$ concerning factorization, monotonicity, and zeros. A generalization of the Tutte polynomial is presented that corresponds to this partition function. In this context we formulate and discuss two weighted graph-coloring problems. We also give a general structural result for $Z$ for cyclic strip graphs.
Refined enumerations of alternating sign matrices: monotone (d,m)-trapezoids with prescribed top and bottom row
Published
• View Publication
• BIB
Monotone triangles are plane integer arrays of triangular shape with certain monotonicity conditions along rows and diagonals. Their significance is mainly due to the fact that they correspond to $n \times n$ alternating sign matrices when prescribing $(1,2,...,n)$ as bottom row of the array. We define monotone $(d,m)$--trapezoids as monotone triangles with $m$ rows where the $d-1$ top rows are removed. (These objects are also equivalent to certain partial alternating sign matrices.) It is known that the number of monotone triangles with bottom row $(k_1,...,k_n)$ is given by a polynomial $α(n;k_1,...,k_n)$ in the $k_i$'s. The main purpose of this paper is to show that the number of monotone $(d,m)$--trapezoids with prescribed top and bottom row appears as a coefficient in the expansion of a specialization of $α(n;k_1,...,k_n)$ with respect to a certain polynomial basis. This settles a generalization of a recent conjecture of Romik and the author. Among other things, the result is used to express the number of monotone triangles with bottom row $(1,2,...,i-1,i+1,...,j-1,j+1,...,n)$ (which is, by the standard bijection, also the number of $n \times n$ alternating sign matrices with given top two rows) in terms of the number of $n \times n$ alternating sign matrices with prescribed top and bottom row, and, by a formula of Stroganov for the latter numbers, to provide an explicit formula for the first numbers. (A formula of this type was first derived by Karklinsky and Romik using the relation of alternating sign matrices to the six--vertex model.)