polynomial
11422 papers tagged with this keyword
Restricted 132-avoiding permutations
Published
• View Publication
• BIB
We study generating functions for the number of permutations on n letters avoiding 132 and an arbitrary permutation $τ$ on k letters, or containing $τ$ exactly once. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind.
Syzygies of Oriented Matroids
Published
• View Publication
• BIB
We construct minimal cellular resolutions of squarefree monomial ideals arising from hyperplane arrangements, matroids and oriented matroids. These are Stanley-Reisner ideals of complexes of independent sets, and of triangulations of Lawrence matroid polytopes. Our resolution provides a cellular realization of Stanley's formula for their Betti numbers. For unimodular matroids our resolutions are related to hyperplane arrangements on tori, and we recover the resolutions constructed by Bayer, Popescu and Sturmfels. We resolve the combinatorial problems posed in their paper by computing Mobius invariants of graphic and cographic arrangements in terms of Hermite polynomials.
A Pieri-type Formula for the Equivariant Cohomology of the Flag Manifold
We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.
Embeddings of Schur functions into types B/C/D
Published
• View Publication
• BIB
We consider the problem of embedding the semi-ring of Schur-positive symmetric polynomials into its analogue for the classical types $B/C/D$. If we preserve highest weights and add the additional Lie-theoretic parity assumption that the weights in images of Schur functions lie in a single translate of the root lattice, there are exactly two solutions. These naturally extend the Kirillov--Reshetikhin decompositions of representations of symplectic and orthogonal quantum affine algebras $U_q(\hat{g})$ (some still conjectural, some recently proven).
Finite Affine Groups: Cycle Indices, Hall-Littlewood Polynomials, and Probabilistic Algorithms
Published
• View Publication
• BIB
The asymptotic study of the conjugacy classes of a random element of the finite affine group leads one to define a probability measure on the set of all partitions of all positive integers. Four different probabilistic understandings of this measure are given--three using symmetric function theory and one using Markov chains. This leads to non-trivial enumerative results. Cycle index generating functions are derived and are used to compute the large dimension limiting probabilities that an element of the affine group is separable, cyclic, or semisimple and to study the convergence to these limits. This yields the first examples of such computations for a maximal parabolic subgroup of a finite classical group.
Max-Min Representation of Piecewise Linear Functions
It is shown that a piecewise linear function can be represented as a Max-Min polynomial of its linear components.
Computing and Sampling Restricted Vertex Degree Subgraphs and Hamiltonian Cycles
Let $G=(V,E)$ be a bipartite graph embedded in a plane (or $n$-holed torus). Two subgraphs of $G$ differ by a {\it $Z$-transformation} if their symmetric difference consists of the boundary edges of a single face---and if each subgraph contains an alternating set of the edges of that face. For a given $φ: V \mapsto \mathbb Z^+$, $S_φ$ is the set of subgraphs of $G$ in which each $v\in V$ has degree $φ(v)$. Two elements of $S_φ$ are said to be adjacent if they differ by a $Z$-transformation. We determine the connected components of $S_φ$ and assign a {\it height function} to each of its elements.
If $φ$ is identically two, and $G$ is a grid graph, $S_φ$ contains the partitions of the vertices of $G$ into cycles. We prove that we can always apply a series of $Z$-transformations to decrease the total number of cycles provided there is enough ``slack'' in the corresponding height function. This allows us to determine in polynomial time the minimal number of cycles into which $G$ can be partitioned provided $G$ has a limited number of non-square faces. In particular, we determine the Hamiltonicity of polyomino graphs in $O(|V|^2)$ steps. The algorithm extends to $n$-holed-torus-embedded graphs that have grid-like properties. We also provide Markov chains for sampling and approximately counting the Hamiltonian cycles of $G$.
Local statistics for random domino tilings of the Aztec diamond
Published in Duke Mathematical Journal 85 (1996), 117-166
• View Publication
• BIB
We prove an asymptotic formula for the probability that, if one chooses a domino tiling of a large Aztec diamond at random according to the uniform distribution on such tilings, the tiling will contain a domino covering a given pair of adjacent lattice squares. This formula quantifies the effect of the diamond's boundary conditions on the behavior of typical tilings; in addition, it yields a new proof of the arctic circle theorem of Jockusch, Propp, and Shor. Our approach is to use the saddle point method to estimate certain weighted sums of squares of Krawtchouk polynomials (whose relevance to domino tilings is demonstrated elsewhere), and to combine these estimates with some exponential sum bounds to deduce our final result. This approach generalizes straightforwardly to the case in which the probability distribution on the set of tilings incorporates bias favoring horizontal over vertical tiles or vice versa. We also prove a fairly general large deviation estimate for domino tilings of simply-connected planar regions that implies that some of our results on Aztec diamonds apply to many other similar regions as well.
Polynomiality of the q,t-Kostka Revisited
Published
• View Publication
• BIB
Let $K(q,t)= \|K_{\laμ}(q,t)\|_{\la,μ}$ be the Macdonald q,t-Kostka matrix and $K(t)=K(0,t)$ be the matrix of the Kostka-Foulkes polynomials K_{\laμ}(t). In this paper we present a new proof of the polynomiality of the q,t-Kostka coefficients that is both short and elementary. More precisely, we derive that $K(q,t)$ has entries in \ZZ[q,t] directly from the fact that the matrix $K(t)^{-1}$ has entries in \ZZ[t]. The proof uses only identities that can be found in the original paper [7] of Macdonald.
Layered restrictions and Chebyshev polynomials
Published
• View Publication
• BIB
A permutation is called layered if it consists of the disjoint union of substrings (layers) so that the entries decrease within each layer, and increase between the layers. We find the generating function for the number of permutations on $n$ letters avoiding $(1,2,3)$ and a layered permutation on $k$ letters. In the most interesting case of two layers, the generating function depends only on $k$ and is expressed via Chebyshev polynomials of the second kind.
Combinatorial formula for Macdonald polynomials, Bethe Ansatz, and generic Macdonald polynomials
Published
• View Publication
• BIB
We give a direct proof of the combinatorial formula for interpolation Macdonald polynomials by introducing certain polynomials, which we call generic Macdonald polynomials, which depend on $d$ additional parameters and specialize to all Macdonald polynomials of degree $d$. The form of these generic polynomials is that of a Bethe eigenfunction and they imitate, on a more elementary level, the $R$-matrix construction of quantum immanants.
Counting Isolated Roots of Trinomial Systems in the Plane and Beyond
We prove that any pair of bivariate trinomials has at most 5 isolated roots in the positive quadrant. The best previous upper bounds independent of the polynomial degrees counted only non-degenerate roots and even then gave much larger bounds, e.g., 248832 via a famous general result of Khovanski. Our bound is sharp, allows real exponents, and extends to certain systems of n-variate fewnomials, giving improvements over earlier bounds by a factor exponential in the number of monomials. We also derive new bounds on the number of real connected components of fewnomial hypersurfaces.
Tableau atoms and a new Macdonald positivity conjecture
Published
• View Publication
• BIB
Let $Λ$ be the space of symmetric functions and $V_k$ be the subspace spanned by the modified Schur functions $\{S_λ[X/(1-t)]\}_{λ_1\leq k}$. We introduce a new family of symmetric polynomials, $\{A_λ^{(k)}[X;t]\}_{λ_1\leq k}$, constructed from sums of tableaux using the charge statistic. We conjecture that the polynomials $A_λ^{(k)}[X;t]$ form a basis for $V_k$ and that the Macdonald polynomials indexed by partitions whose first part is not larger than $k$ expand positively in terms of our polynomials. A proof of this conjecture would not only imply the Macdonald positivity conjecture, but would substantially refine it. Our construction of the $A_λ^{(k)}[X;t]$ relies on the use of tableaux combinatorics and yields various properties and conjectures on the nature of these polynomials. Another important development following from our investigation is that the $A_λ^{(k)}[X;t]$ seem to play the same role for $V_k$ as the Schur functions do for $Λ$. In particular, this has led us to the discovery of many generalizations of properties held by the Schur functions, such as Pieri and Littlewood-Richardson type coefficients.
Orthogonal divided differences and Schubert polynomials, P-functions, and vertex operators
Published
• View Publication
• BIB
We give several new formulas which are useful for Schubert Calculus associated with the orthogonal groups and related orthogonal degeneracy loci.
New Permanent Estimators via Non-Commutative Determinants
We introduce a new notion of the determinant, called symmetrized determinant, for a square matrix with the entries in an associative algebra $Å$. The monomial expansion of the symmetrized determinant is obtained from the standard expansion of the commutative determinant by averaging the products of entries of the matrix in all possible orders. We show that for any fixed finite-dimensional associative algebra $Å$, the symmetrized determinant of an $n\times n$ matrix with the entries in $Å$ can be computed in polynomial in $n$ time (the degree of the polynomial is linear in the dimension of $Å$). Then, for every associative algebra $Å$ endowed with a scalar product and unbiased probability measure, we construct a randomized polynomial time algorithm to estimate the permanent of non-negative matrices. We conjecture that if $Å=\Mat(d, {\Bbb R})$ is the algebra of $d\times d$ real matrices endowed with the standard scalar product and Gaussian measure, the algorithm approximates the permanent of a non-negative $n \times n$ matrix within $O(γ_d^n)$ factor, where $\lim_{d \longrightarrow +\infty} γ_d=1$. Finally, we provide some informal arguments why the conjecture might be true.
Avoiding maximal parabolic subgroups of S_k
Published
• View Publication
• BIB
We find an explicit expression for the generating function of the number of permutations in S_n avoiding a subgroup of S_k generated by all but one simple transpositions. The generating function turns out to be rational, and its denominator is a rook polynomial for a rectangular board.
Construction of commuting difference operators for multiplicity free spaces
Published in Selecta Math. (N.S.) 6 (2000), 443-470
• View Publication
• BIB
We study root systems equipped with a basis of dominant weights such that certain axioms hold. This formalism allows to define a linear basis P of the space of Weyl group invariant polynomials. This basis is actually a family depending on at least one parameter. Our main result is the construction of difference operators which are simultaneously diagonalized by P. From this, Pieri type rules are derived. This generalizes results for shifted Jack polynomials.
Even though the approach is purely combinatorial, the main motivation comes from multiplicity free actions of reductive groups on vector spaces. Then the algebra of invariant differential operators has a distinguished basis, the Capelli operators, which gives rise to a basis P as above. The paper ends with a comprehensive table detailing the combinatorial structure of multiplicity free actions.
The Distance Approach to Approximate Combinatorial Counting
Published
• View Publication
• BIB
We develop general methods to obtain fast (polynomial time) estimates of the cardinality of a combinatorially defined set via solving some randomly generated optimization problems on the set. Geometrically, we estimate the cardinality of a subset of the Boolean cube via the average distance from a point in the cube to the subset. As an application, we present a new randomized polynomial time algorithm which approximates the permanent of a 0-1 matrix by solving a small number of Assignment problems.
Structural Properties of Potts Model Partition Functions and Chromatic Polynomials for Lattice Strips
Published in Physica A 296, 131-182 (2001)
• View Publication
• BIB
partial abstract: The $q$-state Potts model partition function (equivalent to the Tutte polynomial) for a lattice strip of fixed width $L_y$ and arbitrary length $L_x$ has the form $Z(G,q,v)=\sum_{j=1}^{N_{Z,G,λ}}c_{Z,G,j}(λ_{Z,G,j})^{L_x}$, where $v$ is a temperature-dependent variable. The special case of the zero-temperature antiferromagnet ($v=-1$) is the chromatic polynomial $P(G,q)$. Using coloring and transfer matrix methods, we give general formulas for $C_{X,G}=\sum_{j=1}^{N_{X,G,λ}}c_{X,G,j}$ for $X=Z,P$ on cyclic and Möbius strip graphs of the square and triangular lattice. Combining these with a general expression for the (unique) coefficient $c_{Z,G,j}$ of degree $d$ in $q$: $c^{(d)}=U_{2d}(\frac{\sqrt{q}}{2})$, where $U_n(x)$ is the Chebyshev polynomial of the second kind, we determine the number of $λ_{Z,G,j}$'s with coefficient $c^{(d)}$ in $Z(G,q,v)$ for these cyclic strips of width $L_y$ to be $n_Z(L_y,d)=(2d+1)(L_y+d+1)^{-1} {2L_y \choose L_y-d}$ for $0 \le d \le L_y$ and zero otherwise. For both cyclic and Möbius strips of these lattices, the total number of distinct eigenvalues $λ_{Z,G,j}$ is calculated to be $N_{Z,L_y,λ}={2L_y \choose L_y}$. We point out that $N_{Z,L_y,λ}=2N_{DA,tri,L_y}$ and $N_{P,L_y,λ}=2N_{DA,sq,L_y}$, where $N_{DA,Λ,n}$ denotes the number of directed lattice animals on the lattice $Λ$.
Ground State Entropy of the Potts Antiferromagnet with Next-Nearest-Neighbor Spin-Spin Couplings on Strips of the Square Lattice
Published in Phys. Rev. E62, 4650-4664 (2000)
• View Publication
• BIB
We present exact calculations of the zero-temperature partition function (chromatic polynomial) and $W(q)$, the exponent of the ground-state entropy, for the $q$-state Potts antiferromagnet with next-nearest-neighbor spin-spin couplings on square lattice strips, of width $L_y=3$ and $L_y=4$ vertices and arbitrarily great length $L_x$ vertices, with both free and periodic boundary conditions. The resultant values of $W$ for a range of physical $q$ values are compared with each other and with the values for the full 2D lattice. These results give insight into the effect of such non-nearest neighbor couplings on the ground state entropy. We show that the $q=2$ (Ising) and $q=4$ Potts antiferromagnets have zero-temperature critical points on the $L_x \to \infty$ limits of the strips that we study. With the generalization of $q$ from ${\mathbb Z}_+$ to ${\mathbb C}$, we determine the analytic structure of $W(q)$ in the $q$ plane for the various cases.