polynomial
11284 papers tagged with this keyword
Factorised solutions of Temperley-Lieb $q$KZ equations on a segment
Published in Adv. Theor. Math. Phys. 14 (2010), 795-877
• View Publication
• BIB
We study the q-deformed Knizhnik-Zamolodchikov equation in path representations of the Temperley-Lieb algebras. We consider two types of open boundary conditions, and in both cases we derive factorised expressions for the solutions of the qKZ equation in terms of Baxterised Demazurre-Lusztig operators. These expressions are alternative to known integral solutions for tensor product representations. The factorised expressions reveal the algebraic structure within the qKZ equation, and effectively reduce it to a set of truncation conditions on a single scalar function. The factorised expressions allow for an efficient computation of the full solution once this single scalar function is known. We further study particular polynomial solutions for which certain additional factorised expressions give weighted sums over components of the solution. In the homogeneous limit, we formulate positivity conjectures in the spirit of Di Francesco and Zinn-Justin. We further conjecture relations between weighted sums and individual components of the solutions for larger system sizes.
Intersective polynomials and polynomial Szemeredi theorem
Published
• View Publication
• BIB
Let $P=\{p_{1},\ld,p_{r}\}\subset\Q[n_{1},\ld,n_{m}]$ be a family of polynomials such that $p_{i}(\Z^{m})\sle\Z$, $i=1,\ld,r$. We say that the family $P$ has {\it PSZ property} if for any set $E\sle\Z$ with $d^{*}(E)=\limsup_{N-M\ras\infty}\frac{|E\cap[M,N-1]|}{N-M}>0$ there exist infinitely many $n\in\Z^{m}$ such that $E$ contains a polynomial progression of the form \hbox{$\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}$}. We prove that a polynomial family $P=\{p_{1},\ld,p_{r}\}$ has PSZ property if and only if the polynomials $p_{1},\ld,p_{r}$ are {\it jointly intersective}, meaning that for any $k\in\N$ there exists $n\in\Z^{m}$ such that the integers $p_{1}(n),\ld,p_{r}(n)$ are all divisible by $k$. To obtain this result we give a new ergodic proof of the polynomial Szemerédi theorem, based on the fact that the key to the phenomenon of polynomial multiple recurrence lies with the dynamical systems defined by translations on nilmanifolds. We also obtain, as a corollary, the following generalization of the polynomial van der Waerden theorem: If $p_{1},\ld,p_{r}\in\Q[n]$ are jointly intersective integral polynomials, then for any finite partition of $\Z$, $\Z=\bigcup_{i=1}^{k}E_{i}$, there exist $i\in\{1,\ld,k\}$ and $a,n\in E_{i}$ such that $\{a,a+p_{1}(n),\ld,a+p_{r}(n)\}\sln E_{i}$.
Sur une conjecture de Dehornoy
Published in C. R. Math. Acad. Sci. Paris 346 (2008), no. 7-8, 375--378
• View Publication
• BIB
Let M_n be the n! * n! matrix indexed by permutations of S_n, defined by M_n(sigma,tau)=1 if every descent of tau^{-1} is also a descent of sigma, and M_n(sigma,tau)=0 otherwise. We prove the following result, conjectured by P. Dehornoy: the characteristic polynomial P_n(x)=|xI-M_n| of M_n divides P_{n+1}(x) in Z[x].
Some matrices associated with the split decomposition for a Q-polynomial distance-regular graph
Published
• View Publication
• BIB
We consider a $Q$-polynomial distance-regular graph $Γ$ with vertex set $X$ and diameter $D \geq 3$. For $μ, ν\in \lbrace \downarrow, \uparrow \rbrace$ we define a direct sum decomposition of the standard module $V=\C X$, called the $(μ,ν)$--split decomposition. For this decomposition we compute the complex conjugate and transpose of the associated primitive idempotents. Now fix $b,β\in \mathbb C$ such that $b \neq 1$ and assume $Γ$ has classical parameters $(D,b,α,β)$ with $α= b-1$. Under this assumption Ito and Terwilliger displayed an action of the $q$-tetrahedron algebra $\boxtimes_q$ on the standard module of $Γ$. To describe this action they defined eight matrices in
$\hbox{Mat}_X(\mathbb C)$, called \begin{eqnarray*} \label{eq:list} A,\quad A^*,\quad B,\quad B^*, \quad K,\quad K^*,\quad Φ,\quad Ψ. \end{eqnarray*}
For each matrix in the above list we compute the transpose and complex conjugate. Using this information we compute the transpose and complex conjugate for each generator of $\boxtimes_q$ on $V$.
Expansions for the Bollobas-Riordan polynomial of separable ribbon graphs
Published in Ann. Comb., 15 (2011) 675-706
• View Publication
• BIB
We define 2-decompositions of ribbon graphs, which generalise 2-sums and tensor products of graphs. We give formulae for the Bollobas-Riordan polynomial of such a 2-decomposition, and derive the classical Brylawski formula for the Tutte polynomial of a tensor product as a (very) special case. This study was initially motivated from knot theory, and we include an application of our formulae to mutation in knot diagrams.
Ehrhart polynomials of matroid polytopes and polymatroids
Published in Discrete Comput. Geom. 42 (2009), no. 4, 670-702
• View Publication
• BIB
We investigate properties of Ehrhart polynomials for matroid polytopes, independence matroid polytopes, and polymatroids. In the first half of the paper we prove that for fixed rank their Ehrhart polynomials are computable in polynomial time. The proof relies on the geometry of these polytopes as well as a new refined analysis of the evaluation of Todd polynomials. In the second half we discuss two conjectures about the h^*-vector and the coefficients of Ehrhart polynomials of matroid polytopes; we provide theoretical and computational evidence for their validity.
Quasisymmetric functions and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We associate a quasisymmetric function to any Bruhat interval in a general Coxeter group. This association can be seen to be a morphism of Hopf algebras to the subalgebra of all peak functions, leading to an extension of the cd-index of convex polytopes. We show how the Kazhdan-Lusztig polynomial of the Bruhat interval can be expressed in terms of this complete cd-index and otherwise explicit combinatorially defined polynomials. In particular, we obtain the simplest closed formula for the Kazhdan-Lusztig polynomials that holds in complete generality.
The importance of the Selberg integral
Published in Bull. Amer. Math. Soc. (N.S.) 45 (2008), 489-534.
• View Publication
• BIB
It has been remarked that a fair measure of the impact of Atle Selberg's work is the number of mathematical terms which bear his name. One of these is the Selberg integral, an n-dimensional generalization of the Euler beta integral. We trace its sudden rise to prominence, initiated by a question to Selberg from Enrico Bombieri, more than thirty years after publication. In quick succession the Selberg integral was used to prove an outstanding conjecture in random matrix theory, and cases of the Macdonald conjectures. It further initiated the study of q-analogues, which in turn enriched the Macdonald conjectures. We review these developments and proceed to exhibit the sustained prominence of the Selberg integral, evidenced by its central role in random matrix theory, Calogero-Sutherland quantum many body systems, Knizhnik-Zamolodchikov equations, and multivariable orthogonal polynomial theory.
Unsigned state models for the Jones polynomial
Published in Ann. Comb., 15 (2011) 127-146
• View Publication
• BIB
It is well a known and fundamental result that the Jones polynomial can be expressed as Potts and vertex partition functions of signed plane graphs. Here we consider constructions of the Jones polynomial as state models of unsigned graphs and show that the Jones polynomial of any link can be expressed as a vertex model of an unsigned embedded graph.
In the process of deriving this result, we show that for every diagram of a link in the 3-sphere there exists a diagram of an alternating link in a thickened surface (and an alternating virtual link) with the same Kauffman bracket. We also recover two recent results in the literature relating the Jones and Bollobas-Riordan polynomials and show they arise from two different interpretations of the same embedded graph.
A graph theoretic expansion formula for cluster algebras of classical type
Published
• View Publication
• BIB
In this paper we give a graph theoretic combinatorial interpretation for the cluster variables that arise in most cluster algebras of finite type. In particular, we provide a family of graphs such that a weighted enumeration of their perfect matchings encodes the numerator of the associated Laurent polynomial while decompositions of the graphs correspond to the denominator. This complements recent work by Schiffler and Carroll-Price for a cluster expansion formula for the A_n case while providing a novel interpretation for the B_n, C_n, and D_n cases.
A polynomial oracle-time algorithm for convex integer minimization
Published in Mathematical Programming: Volume 126, Issue 1 (2011), Page 97-117
• View Publication
• BIB
In this paper we consider the solution of certain convex integer minimization problems via greedy augmentation procedures. We show that a greedy augmentation procedure that employs only directions from certain Graver bases needs only polynomially many augmentation steps to solve the given problem. We extend these results to convex $N$-fold integer minimization problems and to convex 2-stage stochastic integer minimization problems. Finally, we present some applications of convex $N$-fold integer minimization problems for which our approach provides polynomial time solution algorithms.
On cardinality constrained cycle and path polytopes
Published
• View Publication
• BIB
Given a directed graph D = (N, A) and a sequence of positive integers 1 <= c_1 < c_2 < ... < c_m <= |N|, we consider those path and cycle polytopes that are defined as the convex hulls of simple paths and cycles of D of cardinality c_p for some p, respectively. We present integer characterizations of these polytopes by facet defining linear inequalities for which the separation problem can be solved in polynomial time. These inequalities can simply be transformed into inequalities that characterize the integer points of the undirected counterparts of cardinality constrained path and cycle polytopes. Beyond we investigate some further inequalities, in particular inequalities that are specific to odd/even paths and cycles.
Schubert polynomials and classes of Hessenberg varieties
Published in J. Algebra 323 (2010), 2605-2623
• View Publication
• BIB
Regular semisimple Hessenberg varieties are a family of subvarieties of the flag variety that arise in number theory, numerical analysis, representation theory, algebraic geometry, and combinatorics. We give a "Giambelli formula" expressing the classes of regular semisimple Hessenberg varieties in terms of Chern classes. In fact, we show that the cohomology class of each regular semisimple Hessenberg variety is the specialization of a certain double Schubert polynomial, giving a natural geometric interpretation to such specializations. We also decompose such classes in terms of the Schubert basis for the cohomology ring of the flag variety. The coefficients obtained are nonnegative, and we give closed combinatorial formulas for the coefficients in many cases. We introduce a closely related family of schemes called regular nilpotent Hessenberg schemes, and use our results to determine when such schemes are reduced.
Schubert Polynomials for the affine Grassmannian of the symplectic group
Published in Mathematische Zeitschrift 264(4) (2010) 765-811
• View Publication
• BIB
We study the Schubert calculus of the affine Grassmannian Gr of the symplectic group. The integral homology and cohomology rings of Gr are identified with dual Hopf algebras of symmetric functions, defined in terms of Schur's P and Q-functions. An explicit combinatorial description is obtained for the Schubert basis of the cohomology of Gr, and this is extended to a definition of the affine type C Stanley symmetric functions. A homology Pieri rule is also given for the product of a special Schubert class with an arbitrary one.
A State Sum Link Invariant of Regular Isotopy
This paper has been withdrawn because there is a fundamental error in the computations; with the right computational scheme it seems to be just a version of the Jones polynomial
Lower bounds on the coefficients of Ehrhart polynomials
Published
• View Publication
• BIB
We present lower bounds for the coefficients of Ehrhart polynomials of convex lattice polytopes in terms of their volume. Concerning the coefficients of the Ehrhart series of a lattice polytope we show that Hibi's lower bound is not true for lattice polytopes without interior lattice points. The counterexample is based on a formula of the Ehrhart series of the join of two lattice polytope. We also present a formula for calculating the Ehrhart series of integral dilates of a polytope.
Two positivity conjectures for Kerov polynomials
Published in Advances in Applied Mathematics, 41 (2008), 407-422
• View Publication
• BIB
Kerov polynomials express the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as polynomials in the free cumulants of the associated Young diagram. We present two positivity conjectures for their coefficients. The latter are stronger than the positivity conjecture of Kerov-Biane, recently proved by Feray.
A polynomial bound for untangling geometric planar graphs
Published in Discrete & Computational Geometry 42(4):570-585, 2009
• View Publication
• BIB
To untangle a geometric graph means to move some of the vertices so that the resulting geometric graph has no crossings. Pach and Tardos [Discrete Comput. Geom., 2002] asked if every n-vertex geometric planar graph can be untangled while keeping at least n^εvertices fixed. We answer this question in the affirmative with ε=1/4. The previous best known bound was Ω((\log n / \log\log n)^{1/2}). We also consider untangling geometric trees. It is known that every n-vertex geometric tree can be untangled while keeping at least (n/3)^{1/2} vertices fixed, while the best upper bound was O(n\log n)^{2/3}. We answer a question of Spillner and Wolff [arXiv:0709.0170 2007] by closing this gap for untangling trees. In particular, we show that for infinitely many values of n, there is an n-vertex geometric tree that cannot be untangled while keeping more than 3(n^{1/2}-1) vertices fixed. Moreover, we improve the lower bound to (n/2)^{1/2}.
Geometry and complexity of O'Hara's algorithm
Published
• View Publication
• BIB
In this paper we analyze O'Hara's partition bijection. We present three type of results. First, we show that O'Hara's bijection can be viewed geometrically as a certain scissor congruence type result. Second, we obtain a number of new complexity bounds, proving that O'Hara's bijection is efficient in several special cases and mildly exponential in general. Finally, we prove that for identities with finite support, the map of the O'Hara's bijection can be computed in polynomial time, i.e. much more efficiently than by O'Hara's construction.
From Bruhat intervals to intersection lattices and a conjecture of Postnikov
Published
• View Publication
• BIB
We prove the conjecture of A. Postnikov that (A) the number of regions in the inversion hyperplane arrangement associated with a permutation $w\in \Sn$ is at most the number of elements below $w$ in the Bruhat order, and (B) that equality holds if and only if $w$ avoids the patterns 4231, 35142, 42513 and 351624. Furthermore, assertion (A) is extended to all finite reflection groups.
A byproduct of this result and its proof is a set of inequalities relating Betti numbers of complexified inversion arrangements to Betti numbers of closed Schubert cells. Another consequence is a simple combinatorial interpretation of the chromatic polynomial of the inversion graph of a permutation which avoids the above patterns.