polynomial
11257 papers tagged with this keyword
Integer Generalized Splines on Cycles
Let G be a graph whose edges are labeled by positive integers. Label each vertex with an integer and suppose if two vertices are joined by an edge, the vertex labels are congruent to each other modulo the edge label. The set of vertex labels satisfying this condition is called a generalized spline. Gilbert, Polster, and Tymoczko recently defined generalized splines based on work on polynomial splines by Billera, Rose, Haas, Goresky-Kottwitz-Machperson, and many others. We focus on generalized splines on $n$-cycles. We construct a particularly nice basis for the module of splines on $n$-cycles. As an application, we construct generalized splines on star graphs, wheel graphs, and complete graphs.
Equitable coloring of corona products of cubic graphs is harder than ordinary coloring
Published
• View Publication
• BIB
A graph is equitably $k$-colorable if its vertices can be partitioned into $k$ independent sets in such a way that the number of vertices in any two sets differ by at most one. The smallest $k$ for which such a coloring exists is known as the \emph{equitable chromatic number} of $G$ and it is denoted by $χ_{=}(G)$. In this paper the problem of determinig $χ_=$ for coronas of cubic graphs is studied. Although the problem of ordinary coloring of coronas of cubic graphs is solvable in polynomial time, the problem of equitable coloring becomes NP-hard for these graphs. We provide polynomially solvable cases of coronas of cubic graphs and prove the NP-hardness in a general case. As a by-product we obtain a simple linear time algorithm for equitable coloring of such graphs which uses $χ_=(G)$ or $χ_=(G)+1$ colors. Our algorithm is best possible, unless $P=NP$. Consequently, cubical coronas seem to be the only known class of graphs for which equitable coloring is harder than ordinary coloring.
Tokuyama-type formulas for type B
Published in Israel Journal of Mathematics 216(2) (2016), 617-655
• View Publication
• BIB
We obtain explicit formulas for the product of a deformed Weyl denominator with the character of an irreducible representation of the spin group $\rm{Spin}_{2r+1}({\mathbb C})$, which is an analogue of the formulas of Tokuyama for Schur polynomials and Hamel-King for characters of symplectic groups. To give these, we start with a symplectic group and obtain such characters using the Casselman-Shalika formula. We then analyze this using objects which are naturally attached to the metaplectic double cover of an odd orthogonal group, which also has dual group $\rm{Spin}_{2r+1}({\mathbb C})$.
The distribution of factorization patterns on linear families of polynomials over a finite field
Published
• View Publication
• BIB
We obtain estimates on the number $|\mathcal{A}_{\boldsymbolλ}|$ of elements on a linear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $n$ having factorization pattern $\boldsymbolλ:=1^{λ_1}2^{λ_2}\cdots n^{λ_n}$. We show that $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{n-m}+\mathcal{O}(q^{n-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbolλ)$ is the proportion of elements of the symmetric group of $n$ elements with cycle pattern $\boldsymbolλ$ and $m$ is the codimension of $\mathcal{A}$. Furthermore, if the family $\mathcal{A}$ under consideration is "sparse", then $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{n-m}+\mathcal{O}(q^{n-m-{1}})$. Our estimates hold for fields $\mathbb{F}_q$ of characteristic greater than 2. We provide explicit upper bounds for the constants underlying the $\mathcal{O}$--notation in terms of $\boldsymbolλ$ and $\mathcal{A}$ with "good" behavior. Our approach reduces the question to estimate the number of $\mathbb{F}_q$--rational points of certain families of complete intersections defined over $\mathbb{F}_q$. Such complete intersections are defined by polynomials which are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning their singular locus, from which precise estimates on their number of $\mathbb{F}_q$--rational points are established.
Proof of Stasinski and Voll's Hyperoctahedral Group Conjecture
In a recent paper, Stasinski and Voll introduced a length-like statistic on hyperoctahedral groups and conjectured a product formula for this statistic's signed distribution over arbitrary quotients. Stasinski and Voll proved this conjecture for a few special types of quotients. We prove this conjecture in full, showing it holds for all quotients. In the case of signed permutations with at most one descent, this formula gives the Poincare polynomials for the varieties of symmetric matrices of a fixed rank.
Quadratic Packing Polynomials on Sectors of $\mathbb{R}^2$
A polynomial $p(x,y)$ on a region $S$ in the plane is called a packing polynomial if the restriction of $p(x,y)$ to $S\cap \mathbb{Z}^2$ yields a bijection to $\mathbb{N}$. In this paper, we determine all quadratic packing polynomials on rational sectors of $\mathbb{R}^2$.
Path decompositions of digraphs and their applications to Weyl algebra
We consider decompositions of digraphs into edge-disjoint paths and describe their connection with the $n$-th Weyl algebra of differential operators. This approach gives a graph-theoretic combinatorial view of the normal ordering problem and helps to study skew-symmetric polynomials on certain subspaces of Weyl algebra. For instance, path decompositions can be used to study minimal polynomial identities on Weyl algebra, similar as Eulerian tours applicable for Amitsur--Levitzki theorem. We introduce the $G$-Stirling functions which enumerate decompositions by sources (and sinks) of paths.
The descent set polynomial revisited
Published
• View Publication
• BIB
We continue to explore cyclotomic factors in the descent set polynomial $Q_{n}(t)$, which was introduced by Chebikin, Ehrenborg, Pylyavskyy and Readdy. We obtain large classes of factors of the form $Φ_{2s}$ or $Φ_{4s}$ where $s$ is an odd integer, with many of these being of the form $Φ_{2p}$ where $p$ is a prime. We also show that if $Φ_{2}$ is a factor of $Q_{2n}(t)$ then it is a double factor. Finally, we give conditions for an odd prime power $q = p^{r}$ for which $Φ_{2p}$ is a double factor of $Q_{2q}(t)$ and of $Q_{q+1}(t)$.
A sign-reversing involution for an extension of Torelli's Pfaffian identity
Published in Discrete Math. 332 (2014), 69--74
• View Publication
• BIB
We evaluate the hyperpfaffian of a skew-symmetric $k$-ary polynomial $f$ of degree $k/2 \cdot (n-1)$. The result is a product of the Vandermonde product and a certain expression involving the coefficients of the polynomial $f$. The proof utilizes a sign reversing involution on a set of weighted, oriented partitions. When restricting to the classical case when $k=2$ and the polynomial is $(x_{j} - x_{i})^{n-1}$, we obtain an identity due to Torelli.
Vertex-Colored Graphs, Bicycle Spaces and Mahler Measure
Published
• View Publication
• BIB
The space C of conservative vertex colorings (over a field F) of a countable, locally finite graph G is introduced. The subspace of based colorings is shown to be isomorphic to the bicycle space of the graph. For graphs G with a free Z^d-action by automorphisms, C is a finitely generated module over the polynomial ring F[Z^d], and for this a polynomial invariant, the Laplacian polynomial, is defined. Properties of this polynomial are discussed. The logarithmic Mahler measure of the Laplacian polynomial is characterized in terms of the growth of spanning trees of G.
Towards generalized cohomology Schubert calculus via formal root polynomials
Published in Math. Research Letters 24, No. 3, (2017), 839--877
• View Publication
• BIB
An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work uniformly in all Lie types, and are based on the concept of a root polynomial. In this paper we define formal root polynomials associated with an arbitrary formal group law (and thus a generalized cohomology theory). We focus on the case of the hyperbolic formal group law (corresponding to elliptic cohomology). We study some of the properties of formal root polynomials. We give applications to the efficient computation of the transition matrix between two natural bases of the formal Demazure algebra in the hyperbolic case. As a corollary, we rederive in a transparent and uniform manner the formulas of Billey and Graham-Willems. We also prove the corresponding formula in connective $K$-theory, which seems new, and a duality result in this case. Other applications, including some related to the computation of Bott-Samelson classes in elliptic cohomology, are also discussed.
Okounkov's BC-type interpolation Macdonald polynomials and their q=1 limit
Published in Sém. Lothar. Combin. B72a (2015)
• Search Publication
This paper surveys eight classes of polynomials associated with $A$-type and $BC$-type root systems: Jack, Jacobi, Macdonald and Koornwinder polynomials and interpolation (or shifted) Jack and Macdonald polynomials and their $BC$-type extensions. Among these the $BC$-type interpolation Jack polynomials were probably unobserved until now. Much emphasis is put on combinatorial formulas and binomial formulas for (most of) these polynomials. Possibly new results derived from these formulas are a limit from Koornwinder to Macdonald polynomials, an explicit formula for Koornwinder polynomials in two variables, and a combinatorial expression for the coefficients of the expansion of $BC$-type Jacobi polynomials in terms of Jack polynomials which is different from Macdonald's combinatorial expression. For these last coefficients in the two-variable case the explicit expression in Koornwinder & Sprinkhuizen (1978) is now obtained in a quite different way.
A note on statistical averages for oscillating tableaux
Published in Electronic Journal of Combinatorics, 22(2), 2015
• View Publication
• BIB
We define a statistic called the weight of oscillating tableaux. Oscillating tableaux, a generalization of standard Young tableaux, are certain walks in Young's lattice of partitions. The weight of an oscillating tableau is the sum of the sizes of all the partitions that it visits. We show that the average weight of all oscillating tableaux of shape lambda and length 2n plus the size of lambda has a surprisingly simple formula: it is a quadratic polynomial in the size of lambda and n. Our proof via the theory of differential posets is largely computational. We suggest how the homomesy paradigm of Propp and Roby may lead to a more conceptual proof of this result and reveal a hidden symmetry in the set of perfect matchings.
The Stanley Depth in the Upper Half of the Koszul Complex
Let $R = K[X_1, ..., X_n]$ be a polynomial ring over some field $K$. In this paper, we prove that the $k$-th syzygy module of the residue class field $K$ of $R$ has Stanley depth $n-1$ for $\lfloor n/2 \rfloor \leq k < n$, as it had been conjectured by Bruns et. al. in 2010. In particular, this gives the Stanley depth for a whole family of modules whose graded components have dimension greater than $1$. So far, the Stanley depth is known only for a few examples of this type. Our proof consists in a close analysis of a matching in the Boolean algebra.
Heat and Noise on Cubes and Spheres: The Sensitivity of Randomly Rotated Polynomial Threshold Functions
We establish a precise relationship between spherical harmonics and Fourier basis functions over a hypercube randomly embedded in the sphere. In particular, we give a bound on the expected Boolean noise sensitivity of a randomly rotated function in terms of its "spherical sensitivity," which we define according to its evolution under the spherical heat equation. As an application, we prove an average case of the Gotsman-Linial conjecture, bounding the sensitivity of polynomial threshold functions subjected to a random rotation.
Shellability, Ehrhart Theory, and $r$-stable Hypersimplices
Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element subsets of an n-set, we provide a shelling of this triangulation that sequentially shells each r-stable sub-hypersimplex. In this case, we utilize the shelling to compute the Ehrhart h*-polynomials of these polytopes, and the hypersimplex, via independence polynomials of graphs. For one such r-stable hypersimplex, this computation yields a connection to CR mappings of Lens spaces via Ehrhart-MacDonald reciprocity.
On the Real-rootedness of the Descent Polynomials of $(n-2)$-Stack Sortable Permutations
Published in Electron. J. Combin. 22(4) (2015) #P4.12
• View Publication
• BIB
Bóna conjectured that the descent polynomials on $(n-2)$-stack sortable permutations have only real zeros. Brändén proved this conjecture by establishing a more general result. In this paper, we give another proof of Brändén's result by using the theory of $s$-Eulerian polynomials recently developed by Savage and Visontai.
Ramanujan Graphs and the Solution of the Kadison-Singer Problem
We survey the techniques used in our recent resolution of the Kadison-Singer problem and proof of existence of Ramanujan Graphs of every degree: mixed characteristic polynomials and the method of interlacing families of polynomials. To demonstrate the method of interlacing families of polynomials, we give a simple proof of Bourgain and Tzafriri's restricted invertibility principle in the isotropic case.
Partial Graph Orientations and the Tutte Polynomial
Published
• View Publication
• BIB
Gessel and Sagan investigated the Tutte polynomial, $T(x,y)$ using depth first search, and applied their techniques to show that the number of acyclic partial orientations of a graph is $2^gT(3,1/2)$. We provide a short deletion-contraction proof of this result and demonstrate that dually, the number of strongly connected partial orientations is $2^{n-1}T(1/2,3)$. We then prove that the number of partial orientations modulo cycle reversals is $2^gT(3,1)$ and the number of partial orientations modulo cut reversals is $2^{n-1}T(1,3)$. To prove these results, we introduce cut and cycle minimal partial orientations which provide distinguished representatives for partial orientations modulo cut and cycle reversals. These extend classes of total orientations introduced by Gioan, and Greene and Zaslavksy, and we highlight a close connection with graphic and cographic Lawrence ideals. We conclude with edge chromatic generalizations of the quantities presented, which allow for a new interpretation of the reliability polynomial for all probabilities, $p$ with $0 < p <1/2$.
Splines, lattice points, and arithmetic matroids
Published in Journal of Algebraic Combinatorics, March 2016, Volume 43, Issue 2, pp 277-324
• View Publication
• BIB
Let $X$ be a $(d\times N)$-matrix. We consider the variable polytope $Π_X(u) = \{w \ge 0 : X w = u \}$. It is known that the function $T_X$ that assigns to a parameter $u \in \mathbb{R}^d$ the volume of the polytope $Π_X(u)$ is piecewise polynomial. The Brion-Vergne formula implies that the number of lattice points in $Π_X(u)$ can be obtained by applying a certain differential operator to the function $T_X$.
In this article we slightly improve the Brion-Vergne formula and we study two spaces of differential operators that arise in this context: the space of relevant differential operators (i.e. operators that do not annihilate $T_X$) and the space of nice differential operators (i.e. operators that leave $T_X$ continuous). These two spaces are finite-dimensional homogeneous vector spaces and their Hilbert series are evaluations of the Tutte polynomial of the arithmetic matroid defined by the matrix $X$. They are closely related to the $\mathcal{P}$-spaces studied by Ardila-Postnikov and Holtz-Ron in the context of zonotopal algebra and power ideals.