polynomial
11422 papers tagged with this keyword
Ordered set partitions, generalized coinvariant algebras, and the Delta Conjecture
Published
• View Publication
• BIB
The symmetric group $\mathfrak{S}_n$ acts on the polynomial ring $\mathbb{Q}[\mathbf{x}_n] = \mathbb{Q}[x_1, \dots, x_n]$ by variable permutation. The invariant ideal $I_n$ is the ideal generated by all $\mathfrak{S}_n$-invariant polynomials with vanishing constant term. The quotient $R_n = \frac{\mathbb{Q}[\mathbf{x}_n]}{I_n}$ is called the coinvariant algebra. The coinvariant algebra $R_n$ has received a great deal of study in algebraic and geometric combinatorics. We introduce a generalization $I_{n,k} \subseteq \mathbb{Q}[\mathbf{x}_n]$ of the ideal $I_n$ indexed by two positive integers $k \leq n$. The corresponding quotient $R_{n,k} := \frac{\mathbb{Q}[\mathbf{x}_n]}{I_{n,k}}$ carries a graded action of $\mathfrak{S}_n$ and specializes to $R_n$ when $k = n$. We generalize many of the nice properties of $R_n$ to $R_{n,k}$. In particular, we describe the Hilbert series of $R_{n,k}$, give extensions of the Artin and Garsia-Stanton monomial bases of $R_n$ to $R_{n,k}$, determine the reduced Gröbner basis for $I_{n,k}$ with respect to the lexicographic monomial order, and describe the graded Frobenius series of $R_{n,k}$. Just as the combinatorics of $R_n$ are controlled by permutations in $\mathfrak{S}_n$, we will show that the combinatorics of $R_{n,k}$ are controlled by ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks. The {\em Delta Conjecture} of Haglund, Remmel, and Wilson is a generalization of the Shuffle Conjecture in the theory of diagonal coinvariants. We will show that the graded Frobenius series of $R_{n,k}$ is (up to a minor twist) the $t = 0$ specialization of the combinatorial side of the Delta Conjecture. It remains an open problem to give a bigraded $\mathfrak{S}_n$-module $V_{n,k}$ whose Frobenius image is even conjecturally equal to any of the expressions in the Delta Conjecture; our module $R_{n,k}$ solves this problem in the specialization $t = 0$.
A Computer Algebra Package for Polynomial Sequence Recognition
The software package developed in the MS thesis research implements functions for the intelligent guessing of polynomial sequence formulas based on user-defined expected sequence factors of the input coefficients. We present a specialized hybrid approach to finding exact representations for polynomial sequences that is motivated by the need for an automated procedures to discover the precise forms of these sums based on user guidance, or intuition, as to special sequence factors present in the formulas. In particular, the package combines the user input on the expected special sequence factors in the polynomial coefficient formulas with calls to the existing functions as subroutines that then process formulas for the remaining sequence terms already recognized by these packages.
The factorization-based approach to polynomial sequence recognition is unique to this package and allows the search functions to find expressions for polynomial sums involving Stirling numbers and other special triangular sequences that are not readily handled by other software packages. In contrast to many other sequence recognition and summation software, the package not provide an explicit proof, or certificate, for the correctness of these sequence formulas -- only computationally guided educated guesses at a complete identity generating the sequence over all $n$. The thesis contains a number of concrete, working examples of the package that are intended to both demonstrate its usage and to document its current sequence recognition capabilities.
Log-convexity and the cycle index polynomials with relation to compound Poisson distributions
We extend the exponential formula by Bender and Canfield (1996), which relates log-concavity and the cycle index polynomials. The extension clarifies the log-convexity relation. The proof is by noticing the property of a compound Poisson distribution together with its moment generating function. We also give a combinatorial proof of extended "log-convex part" referring Bender and Canfield's approach, where the formula by Bruijn and Erdös (1953) is additionally exploited. The combinatorial approach yields richer structural results more than log-convexity. Furthermore, we consider normal and binomial convolutions of sequences which satisfy the exponential formula. The operations generate interesting examples which are not included in well known laws about log-concavity/convexity.
Graphs vertex-partitionable into strong cliques
A graph is said to be well-covered if all its maximal independent sets are of the same size. In 1999, Yamashita and Kameda introduced a subclass of well-covered graphs, called localizable graphs and defined as graphs having a partition of the vertex set into strong cliques, where a clique in a graph is strong if it intersects all maximal independent sets. Yamashita and Kameda observed that all well-covered trees are localizable, pointed out that the converse inclusion fails in general, and asked for a characterization of localizable graphs.
In this paper we obtain several structural and algorithmic results about localizable graphs. Our results include a proof of the fact that every very well-covered graph is localizable and characterizations of localizable graphs within the classes of line graphs, triangle-free graphs, $C_4$-free graphs, and cubic graphs, each leading to a polynomial time recognition algorithm. On the negative side, we prove NP-hardness of recognizing localizable graphs within the classes of weakly chordal graphs, complements of line graphs, and graphs of independence number three. Furthermore, using localizable graphs we disprove a conjecture due to Zaare-Nahandi about $k$-partite well-covered graphs having all maximal cliques of size $k$. Our results unify and generalize several results from the literature.
Nash Social Welfare, Matrix Permanent, and Stable Polynomials
We study the problem of allocating $m$ items to $n$ agents subject to maximizing the Nash social welfare (NSW) objective. We write a novel convex programming relaxation for this problem, and we show that a simple randomized rounding algorithm gives a $1/e$ approximation factor of the objective.
Our main technical contribution is an extension of Gurvits's lower bound on the coefficient of the square-free monomial of a degree $m$-homogeneous stable polynomial on $m$ variables to all homogeneous polynomials. We use this extension to analyze the expected welfare of the allocation returned by our randomized rounding algorithm.
The local $h$-polynomial of the edgewise subdivision of the simplex
The $r$-fold edgewise subdivision is a well studied flag triangulation of the simplex with interesting algebraic, combinatorial and geometric properties. An important enumerative invariant, namely the local $h$-polynomial, of this triangulation is computed and shown to be $γ$-nonnegative by providing explicit combinatorial interpretations to the corresponding coefficients. A construction of a flag triangulation of the seven-dimensional simplex whose local $h$-polynomial is not real-rooted is also described.
On the restricted partition function
Published in Ramanujan J. Volume 47, Issue 3, 565-588 (2018)
• View Publication
• BIB
For a vector $\mathbf a=(a_1,\ldots,a_r)$ of positive integers we prove formulas for the restricted partition function $p_{\mathbf a}(n): = $ the number of integer solutions $(x_1,\dots,x_r)$ to $\sum_{j=1}^r a_jx_j=n$ with $x_1\geq 0, \ldots, x_r\geq 0$ and its polynomial part.
The complexity of perfect matchings and packings in dense hypergraphs
Published
• View Publication
• BIB
Given two $k$-graphs $H$ and $F$, a perfect $F$-packing in $H$ is a collection of vertex-disjoint copies of $F$ in $H$ which together cover all the vertices in $H$. In the case when $F$ is a single edge, a perfect $F$-packing is simply a perfect matching. For a given fixed $F$, it is often the case that the decision problem whether an $n$-vertex $k$-graph $H$ contains a perfect $F$-packing is NP-complete. Indeed, if $k \geq 3$, the corresponding problem for perfect matchings is NP-complete whilst if $k=2$ the problem is NP-complete in the case when $F$ has a component consisting of at least $3$ vertices.
In this paper we give a general tool which can be used to determine classes of (hyper)graphs for which the corresponding decision problem for perfect $F$-packings is polynomial time solvable. We then give three applications of this tool: (i) Given $1\leq \ell \leq k-1$, we give a minimum $\ell$-degree condition for which it is polynomial time solvable to determine whether a $k$-graph satisfying this condition has a perfect matching; (ii) Given any graph $F$ we give a minimum degree condition for which it is polynomial time solvable to determine whether a graph satisfying this condition has a perfect $F$-packing; (iii) We also prove a similar result for perfect $K$-packings in $k$-graphs where $K$ is a $k$-partite $k$-graph.
For a range of values of $\ell,k$ (i) resolves a conjecture of Keevash, Knox and Mycroft whilst (ii) answers a question of Yuster in the negative. In many cases our results are best possible in the sense that lowering the minimum degree condition means that the corresponding decision problem becomes NP-complete.
Coincidences among skew dual stable Grothendieck polynomials
Published in Involve 11 (2018) 143-167
• View Publication
• BIB
The question of when two skew Young diagrams produce the same skew Schur function has been well-studied. We investigate the same question in the case of stable Grothendieck polynomials, which are the K-theoretic analogues of the Schur functions. We prove a necessary condition for two skew shapes to give rise to the same dual stable Grothendieck polynomial. We also provide a necessary and sufficient condition in the case where the two skew shapes are ribbons.
Abelian Squares and Their Progenies
A polynomial $P \in \mathbb{C}[z_1, \ldots, z_d]$ is strongly $\mathbb{D}^d$-stable if $P$ has no zeroes in the closed unit polydisc $\overline{\mathbb{D}}^d.$ For such a polynomial define its spectral density function as $\mathcal{S}_P(\mathbf{z}) = \left(P(\mathbf{z})\overline{P(1/\overline{\mathbf{z}})}\right)^{-1}.$ An abelian square is a finite string of the form $ww'$ where $w'$ is a rearrangement of $w.$
We examine a polynomial-valued operator whose spectral density function's Fourier coefficients are all generating functions for combinatorial classes of constrained finite strings over a $d$-character alphabet. These classes generalize the notion of an abelian square, and their associated generating functions are the Fourier coefficients of one, and essentially only one, $L^2(\mathbb{T}^d)$-valued operator. Integral representations, divisibility properties, and recurrent and asymptotic behavior of the coefficients of these generating functions are given as consequences. Tools in the derivations of our asymptotic formulas include a version of Laplace's method for sums over lattice point translations due to Greenhill, Janson, and Ruciński, a version of stationary phase method for oscillatory integrals with complex phase due to Pemantle and Wilson, and various polynomial identities related to powers of modified Bessel functions of the first kind due to Moll and Vignat.
Stability phenomena in the homology of tree braid groups
Published in Algebr. Geom. Topol. 18 (2018) 2305-2337
• View Publication
• BIB
For a tree $G$, we study the changing behaviors in the homology groups $H_i(B_nG)$ as $n$ varies, where $B_nG := π_1($UConf$_n(G))$. We prove that the ranks of these homologies can be described by a single polynomial for all $n$, and construct this polynomial explicitly in terms of invariants of the tree $G$. To accomplish this we prove that the group $\bigoplus_n H_i(B_nG)$ can be endowed with the structure of a finitely generated graded module over an integral polynomial ring, and further prove that it naturally decomposes as a direct sum of graded shifts of squarefree monomial ideals. Following this, we spend time considering how our methods might be generalized to braid groups of arbitrary graphs, and make various conjectures in this direction.
The exchange graph and variations of the ratio of the two Symanzik polynomials
Published
• View Publication
• BIB
Correlation functions in quantum field theory are calculated using Feynman amplitudes, which are finite dimensional integrals associated to graphs. The integrand is the exponential of the ratio of the first and second Symanzik polynomials associated to the Feynman graph, which are described in terms of the spanning trees and spanning 2-forests of the graph, respectively.
In a previous paper with Bloch, Burgos and Fresán, we related this ratio to the asymptotic of the Archimedean height pairing between degree zero divisors on degenerating families of Riemann surfaces. Motivated by this, we consider in this paper the variation of the ratio of the two Symanzik polynomials under bounded perturbations of the geometry of the graph. This is a natural problem in connection with the theory of nilpotent and SL2 orbits in Hodge theory.
Our main result is the boundedness of variation of the ratio. For this we define the exchange graph of a given graph which encodes the exchange properties between spanning trees and spanning 2-forests in the graph. We provide a description of the connected components of this graph, and use this to prove our result on boundedness of the variations.
Context-free grammars for several polynomials associated with Eulerian polynomials
Published
• View Publication
• BIB
In this paper, we present grammatical descriptions of several polynomials associated with Eulerian polynomials, including q-Eulerian polynomials, alternating run polynomials and derangement polynomials. As applications, we get several convolution formulas involving these polynomials.
Ramsey growth in some NIP structures
Published in J. Inst. Math. Jussieu 20 (2021) 1-29
• View Publication
• BIB
We investigate bounds in Ramsey's theorem for relations definable in NIP structures. Applying model-theoretic methods to finitary combinatorics, we generalize a theorem of Bukh and Matousek [B. Bukh, J. Matoušek. "Erdős-Szekeres-type statements: Ramsey function and decidability in dimension $1$", Duke Mathematical Journal 163.12 (2014): 2243-2270] from the semialgebraic case to arbitrary polynomially bounded $o$-minimal expansions of $\mathbb{R}$, and show that it doesn't hold in $\mathbb{R}_{\exp}$. This provides a new combinatorial characterization of polynomial boundedness for $o$-minimal structures. We also prove an analog for relations definable in $P$-minimal structures, in particular for the field of the $p$-adics. Generalizing [D. Conlon, J. Fox, J. Pach, B. Sudakov, A. Suk "Ramsey-type results for semi-algebraic relations", Transactions of the American Mathematical Society 366.9 (2014): 5043-5065], we show that in distal structures the upper bound for $k$-ary definable relations is given by the exponential tower of height $k-1$.
Rationality in map and hypermap enumeration by genus
Published
• View Publication
• BIB
Generating functions for a fixed genus map and hypermap enumeration become rational after a simple explicit change of variables. Their numerators are polynomials with integer coefficients that obey a differential recursion, and denominators are products of powers of explicit linear functions.
Hurwitz numbers for real polynomials
Published in Commentarii Mathematici Helvetici, 93 (2018), Issue 3, pp. 441--474
• View Publication
• BIB
We consider the problem of defining and computing real analogs of polynomial Hurwitz numbers, in other words, the problem of counting properly normalized real polynomials with fixed ramification profiles over real branch points. We show that, provided the polynomials are counted with an appropriate sign, their number does not depend on the order of the branch points on the real line. We study generating series for the invariants thus obtained, determine necessary and sufficient conditions for the vanishing and nonvanishing of these generating series, and obtain a logarithmic asymptotic for the invariants as the degree of the polynomials tends to infinity.
Relationship Between the Hosoya Polynomial and the Edge-Hosoya Polynomial of Trees
Published in MATCH Commun. Math. Comput. Chem. 78 (2017) 181-187
• Search Publication
We prove the relationship between the Hosoya polynomial and the edge-Hosoya polynomial of trees. The connection between the edge-hyper-Wiener index and the edge-Hosoya polynomial is established. With these results we also prove formulas for the computation of the edge-Wiener index and the edge-hyper-Wiener index of trees using the Wiener index and the hyper-Wiener index. Moreover, the closed formulas are derived for a family of chemical trees called regular dendrimers.
Principal submatrices, restricted invertibility and a quantitative Gauss-Lucas theorem
Published
• View Publication
• BIB
We apply the techniques developed by Marcus, Spielman and Srivastava, working with principal submatrices in place of rank $1$ decompositions to give an alternate proof of their results on restricted invertibility. We show that one can find well conditioned column submatrices all the way upto the so called modified stable rank. All constructions are algorithmic. A byproduct of these results is an interesting quantitative version of the classical Gauss-Lucas theorem on the critical points of complex polynomials. We show that for any degree $n$ polynomial $p$ and any $c \geq \frac{1}{2}$, the area of the convex hull of the roots of $p^{(cn)}$ is at most $4(c-c^2)$ that of the area of the convex hull of the roots of $p$.
Mixed Determinants and the Kadison-Singer problem
Published
• View Publication
• BIB
We adapt the arguments of Marcus, Spielman and Srivastava in their proof of the Kadison-Singer problem to prove improved paving estimates. Working with Anderson's paving formulation of Kadison-Singer instead of Weaver's vector balancing version, we show that the machinery of interlacing polyomials due to Marcus, Spielman and Srivastava works in this setting as well. The relevant expected characteristic polynomials turn out to be related to the so called "mixed determinants" that have been carefully studied by Borcea and Branden. This technique allows us to show that any projection with diagonal entries strictly less than $\frac{1}{4}$ can be two paved, matching recent results of Bownik, Casazza, Marcus and Speegle, though our estimates are asymptotically weaker. We also show that any projection with diagonal entries at most $\frac{1}{2}$ can be four paved, yielding improvements over currently known estimates. We also relate the problem of finding optimal paving estimates to bounding the root intervals of a natural one parameter deformation of the characteristic polynomial of a matrix that turns out to have some remarkable combinatorial properties.
The $μ$-permanent, a new graph labeling, and a known integer sequence
Let $A=(a_{ij})$ be an $n$-by-$n$ matrix. For any real number $μ$, we define the polynomial $$P_μ(A)=\sum_{σ\in S_n} a_{1σ(1)}\cdots a_{nσ(n)}\,μ^{\ell(σ)}\; ,$$ as the $μ$-permanent of $A$, where $\ell(σ)$ is the number of inversions of the permutation $σ$ in the symmetric group $S_n$. In this note, motivated by this notion, we discuss a new graph labeling for trees whose matrices satisfy certain $μ$-permanental identities. We relate the number of labelings of a path with a known integer sequence. Several examples are provided.