arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11284 papers tagged with this keyword
2009-09-10 v3
Iterated sequences and the geometry of zeros
Published in J. Reine Angew. Math. 658 (2011), 115-131 • View PublicationBIB
We study the effect on the zeros of generating functions of sequences under certain non-linear transformations. Characterizations of Pólya--Schur type are given of the transformations that preserve the property of having only real and non-positive zeros. In particular, if a polynomial $a_0+a_1z +\cdots+a_nz^n$ has only real and non-positive zeros, then so does the polynomial $a_0^2+ (a_1^2-a_0a_2)z+...+ (a_{n-1}^2-a_{n-2}a_n)z^{n-1}+a_n^2z^n$. This confirms a conjecture of Fisk, McNamara-Sagan and Stanley, respectively. A consequence is that if a polynomial has only real and non-positive zeros, then its Taylor coefficients form an infinitely log-concave sequence. We extend the results to transcendental entire functions in the Laguerre-Pólya class, and discuss the consequences to problems on iterated Turán inequalities, studied by Craven and Csordas. Finally, we propose a new approach to a conjecture of Boros and Moll.
2009-09-09
$q,t$-Catalan numbers and generators for the radical ideal defining the diagonal locus of $(\C^2)^n$
Published in Electronic Journal of Combinatorics 18 (2011), no. 1 • View PublicationBIB
Let $I$ be the ideal generated by alternating polynomials in two sets of $n$ variables. Haiman proved that the $q,t$-Catalan number is the Hilbert series of the graded vector space $M(=\bigoplus_{d_1,d_2}M_{d_1,d_2})$ spanned by a minimal set of generators for $I$. In this paper we give simple upper bounds on $\text{dim}M_{d_1, d_2}$ in terms of partition numbers, and find all bi-degrees $(d_1,d_2)$ such that $\dim M_{d_1, d_2}$ achieve the upper bounds. For such bi-degrees, we also find explicit bases for $M_{d_1, d_2}$. The main idea is to define and study a nontrivial linear map from $M$ to a polynomial ring $\C[ρ_1, ρ_2,...]$.
2009-09-09 v2
Higher order matching polynomials and d-orthogonality
Published in Advances in Applied Mathematics, vol 46, no 1-4, January 2011, pp 226-246 • View PublicationBIB
We show combinatorially that the higher-order matching polynomials of several families of graphs are d-orthogonal polynomials. The matching polynomial of a graph is a generating function for coverings of a graph by disjoint edges; the higher-order matching polynomial corresponds to coverings by paths. Several families of classical orthogonal polynomials -- the Chebyshev, Hermite, and Laguerre polynomials -- can be interpreted as matching polynomials of paths, cycles, complete graphs, and complete bipartite graphs. The notion of d-orthogonality is a generalization of the usual idea of orthogonality for polynomials and we use sign-reversing involutions to show that the higher-order Chebyshev (first and second kinds), Hermite, and Laguerre polynomials are d-orthogonal. We also investigate the moments and find generating functions of those polynomials.
2009-09-09 v2
Counting colored planar maps: algebraicity results
Published • View PublicationBIB
We address the enumeration of properly q-colored planar maps, or more precisely, the enumeration of rooted planar maps M weighted by their chromatic polynomial χ_M(q) and counted by the number of vertices and faces. We prove that the associated generating function is algebraic when q\not=0,4 is of the form 2+2 cos (jπ/m), for integers j and m. This includes the two integer values q=2 and q=3. We extend this to planar maps weighted by their Potts polynomial P_M(q,ν), which counts all q-colorings (proper or not) by the number of monochromatic edges. We then prove similar results for planar triangulations, thus generalizing some results of Tutte which dealt with their proper q-colorings. In statistical physics terms, the problem we study consists in solving the Potts model on random planar lattices. From a technical viewpoint, this means solving non-linear equations with two "catalytic" variables. To our knowledge, this is the first time such equations are being solved since Tutte's remarkable solution of properly q-colored triangulations.
2009-09-07
Relative Tutte Polynomials for Colored Graphs and Virtual Knot Theory
Published • View PublicationBIB
We introduce the concept of a relative Tutte polynomial of colored graphs. We show that this relative Tutte polynomial can be computed in a way similar to the classical spanning tree expansion used by Tutte in his original paper on this subject. We then apply the relative Tutte polynomial to virtual knot theory. More specifically, we show that the Kauffman bracket polynomial (hence the Jones polynomial) of a virtual knot can be computed from the relative Tutte polynomial of its face (Tait) graph with some suitable variable substitutions. Our method offers an alternative to the ribbon graph approach, using the face graph obtained from the virtual link diagram directly.
2009-09-06
Bochner-Pearson-type characterization of the free Meixner class
Published in Adv. in Appl. Math. 46 (2011), 25-45 • View PublicationBIB
The operator $L_μ: f \mapsto \int \frac{f(x) - f(y)}{x - y} dμ(y)$ is, for a compactly supported measure $μ$ with an $L^3$ density, a closed, densely defined operator on $L^2(μ)$. We show that the operator $Q = p L_μ^2 - q L_μ$ has polynomial eigenfunctions if and only if $μ$ is a free Meixner distribution. The only time $Q$ has orthogonal polynomial eigenfunctions is if $μ$ is a semicircular distribution. More generally, the only time the operator $p (L_νL_μ) - q L_μ$ has orthogonal polynomial eigenfunctions is when $μ$ and $ν$ are related by a Jacobi shift.
2009-09-04 v3
Quantum field theory over F_q
Published in Electron. J. Comb.18N1:P102,2011 • View PublicationBIB
We consider the number \bar N(q) of points in the projective complement of graph hypersurfaces over \F_q and show that the smallest graphs with non-polynomial \bar N(q) have 14 edges. We give six examples which fall into two classes. One class has an exceptional prime 2 whereas in the other class \bar N(q) depends on the number of cube roots of unity in \F_q. At graphs with 16 edges we find examples where \bar N(q) is given by a polynomial in q plus q^2 times the number of points in the projective complement of a singular K3 in ¶^3. In the second part of the paper we show that applying momentum space Feynman-rules over \F_q lets the perturbation series terminate for renormalizable and non-renormalizable bosonic quantum field theories.
2009-09-04 v4
Exponential Polynomials, Stirling Numbers,and Evaluation of Some Gamma Integrals
Published in Abstract and Applied Analysis, Volume 2009, Article ID 168672 (electronic) • View PublicationBIB
This article is a survey of the exponential polynomials (also called single-variable Bell polynomials) from the point of view of Analysis. Some new properties are included and several Analysis-related applications are mentioned.
2009-09-03 v2
A Gröbner basis for Kazhdan-Lusztig ideals
Published in American Journal of Mathematics 134 (2012), 1089-1137 • View PublicationBIB
Kazhdan-Lusztig ideals, a family of generalized determinantal ideals investigated in [Woo-Yong '08], provide an explicit choice of coordinates and equations encoding a neighbourhood of a torus-fixed point of a Schubert variety on a type A flag variety. Our main result is a Grobner basis for these ideals. This provides a single geometric setting to transparently explain the naturality of pipe dreams on the Rothe diagram of a permutation, and their appearance in: * combinatorial formulas [Fomin-Kirillov '94] for Schubert and Grothendieck polynomials of [Lascoux-Schutzenberger '82]; * the equivariant K-theory specialization formula of [Buch-Rimanyi '04]; and * a positive combinatorial formula for multiplicities of Schubert varieties in good cases, including those for which the associated Kazhdan-Lusztig ideal is homogeneous under the standard grading. Our results generalize (with alternate proofs) [Knutson-Miller '05]'s Grobner basis theorem for Schubert determinantal ideals and their geometric interpretation of the monomial positivity of Schubert polynomials. We also complement recent work of [Knutson '08,'09] on degenerations of Kazhdan-Lusztig varieties in general Lie type, as well as work of [Goldin '01] on equivariant localization and of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], and [Krattenthaler '01] on Grassmannian multiplicity formulas.
2009-09-03
Discrete non-commutative integrability: the proof of a conjecture by M. Kontsevich
Published • View PublicationBIB
We prove a conjecture of Kontsevich regarding the solutions of rank two recursion relations for non-commutative variables which, in the commutative case, reduce to rank two cluster algebras of affine type. The conjecture states that solutions are positive Laurent polynomials in the initial cluster variables. We prove this by use of a non-commutative version of the path models which we used for the commutative case.
Stanley decompositions and Hilbert depth in the Koszul complex
Published in J. Commut. Algebra 2 (2010), 327-357 • View PublicationBIB
Stanley decompositions of multigraded modules $M$ over polynomials rings have been discussed intensively in recent years. There is a natural notion of depth that goes with a Stanley decomposition, called the Stanley depth. Stanley conjectured that the Stanley depth of a module $M$ is always at least the (classical) depth of $M$. In this paper we introduce a weaker type of decomposition, which we call Hilbert decomposition, since it only depends on the Hilbert function of $M$, and an analogous notion of depth, called Hilbert depth. Since Stanley decompositions are Hilbert decompositions, the latter set upper bounds to the existence of Stanley decompositions. The advantage of Hilbert decompositions is that they are easier to find. We test our new notion on the syzygy modules of the residue class field of $K[X_1,...,X_n]$ (as usual identified with $K$). Writing $M(n,k)$ for the $k$-th syzygy module, we show that theHilbert depth of M(n,1) is $\lfloor(n+1)/2\rfloor$. Furthermore, we show that, for $n > k \ge \lfloor n/2\rfloor$, the Hilbert depth of $M(n,k)$ is equal to $n-1$. We conjecture that the same holds for the Stanley depth. For the range $n/2 > k > 1$, it seems impossible to come up with a compact formula for the Hilbert depth. Instead, we provide very precise asymptotic results as $n$ becomes large.
2009-09-02
Polynomial Equations and Rank of Matrices Over F_2 Related to Persymmetric Matrices
In this paper we illustrate by some examples the connection between the number of solutions of polynomial equations satisfying degree conditions and the number of rank I matrices related to persymmetric matrices.
A characterization of Q-polynomial distance-regular graphs
We obtain the following characterization of $Q$-polynomial distance-regular graphs. Let $\G$ denote a distance-regular graph with diameter $d\ge 3$. Let $E$ denote a minimal idempotent of $\G$ which is not the trivial idempotent $E_0$. Let $\{θ_i^*\}_{i=0}^d$ denote the dual eigenvalue sequence for $E$. We show that $E$ is $Q$-polynomial if and only if (i) the entry-wise product $E \circ E$ is a linear combination of $E_0$, $E$, and at most one other minimal idempotent of $\G$; (ii) there exists a complex scalar $β$ such that $θ^*_{i-1}-βθ^*_i + θ^*_{i+1}$ is independent of $i$ for $1 \le i \le d-1$; (iii) $θ^*_i \ne θ^*_0$ for $1 \le i \le d$.
2009-08-26 v2
New graph polynomials from the Bethe approximation of the Ising partition function
Published • View PublicationBIB
We introduce two graph polynomials and discuss their properties. One is a polynomial of two variables whose investigation is motivated by the performance analysis of the Bethe approximation of the Ising partition function. The other is a polynomial of one variable that is obtained by the specialization of the first one. It is shown that these polynomials satisfy deletion-contraction relations and are new examples of the V-function, which was introduced by Tutte (1947, Proc. Cambridge Philos. Soc. 43, 26-40). For these polynomials, we discuss the interpretations of special values and then obtain the bound on the number of sub-coregraphs, i.e., spanning subgraphs with no vertices of degree one. It is proved that the polynomial of one variable is equal to the monomer-dimer partition function with weights parameterized by that variable. The properties of the coefficients and the possible region of zeros are also discussed for this polynomial.
Refinements of the Littlewood-Richardson Rule
Published in Trans. Amer. Math. Soc. 363:1665--1686 (2011) • View PublicationBIB
In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to define a new basis for the ring of quasisymmetric functions we call Quasisymmetric Schur functions (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. As a by-product, using the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, we obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coefficients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis.
2009-08-25 v2
A Giambelli formula for classical $G/P$ spaces
Published in J. Algebraic Geometry 23 (2014), 245-278 • View PublicationBIB
Let $G$ be a classical complex Lie group, $P$ any parabolic subgroup of $G$, and $G/P$ the corresponding partial flag variety. We prove an explicit combinatorial Giambelli formula which expresses an arbitrary Schubert class in the cohomology ring of $G/P$ as a polynomial in certain special Schubert class generators. Our formula extends to one that applies to the torus-equivariant cohomology ring of $G/P$ and to the setting of symplectic and orthogonal degeneracy loci.
2009-08-23
Cycles are determined by their domination polynomials
Let $G$ be a simple graph of order $n$. A dominating set of $G$ is a set $S$ of vertices of $G$ so that every vertex of $G$ is either in $S$ or adjacent to a vertex in $S$. The domination polynomial of $G$ is the polynomial $D(G,x)=\sum_{i=1}^{n} d(G,i) x^{i}$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. In this paper we show that cycles are determined by their domination polynomials.
2009-08-23 v2
Derangements with Ascending and Descending Blocks
We continue the work of Eriksen, Freij, and Wastlund [3], who study derangements that descend in blocks of prescribed lengths. We generalize their work to derangements that ascend in some blocks and descend in others. In particular, we obtain a generating function for the derangements that ascend in blocks of prescribed lengths, thus solving a problem posed in [3]. We also work towards a combinatorial interpretation of a polynomial sum appearing in [3]. As a result, we obtain a new combinatorial sum for counting derangements with ascending and descending blocks.
2009-08-21
Positivity of the T-system cluster algebra
Published • View PublicationBIB
We give the path model solution for the cluster algebra variables of the $A_r$ $T$-system with generic boundary conditions. The solutions are partition functions of (strongly) non-intersecting paths on weighted graphs. The graphs are the same as those constructed for the $Q$-system in our earlier work, and depend on the seed or initial data in terms of which the solutions are given. The weights are "time-dependent" where "time" is the extra parameter which distinguishes the $T$-system from the $Q$-system, usually identified as the spectral parameter in the context of representation theory. The path model is alternatively described on a graph with non-commutative weights, and cluster mutations are interpreted as non-commutative continued fraction rearrangements. As a consequence, the solution is a positive Laurent polynomial of the seed data.
2009-08-20 v4
On the Structure of Cubic and Quartic Polynomials
Published • View PublicationBIB
In this paper we study the structure of polynomials of degree three and four that have high bias or high Gowers norm, over arbitrary prime fields. In particular we obtain the following results. 1. We give a canonical representation for degree three or four polynomials that have a significant bias (i.e. they are not equidistributed). This result generalizes the corresponding results from the theory of quadratic forms. It also significantly improves the results of Green and Tao and Kaufman and Lovett for such polynomials. 2. For the case of degree four polynomials with high Gowers norm we show that (a subspace of co-dimension O(1) of) F^n can be partitioned to subspaces of dimension Omega(n) such that on each of the subspaces the polynomial is equal to some degree three polynomial. It was shown by Green and Tao and by Lovett, Meshulam and Samorodnitsky that a quartic polynomial with a high Gowers norm is not necessarily correlated with any cubic polynomial. Our result shows that a slightly weaker statement does hold. The proof is based on finding a structure in the space of partial derivatives of the underlying polynomial.