polynomial
11257 papers tagged with this keyword
The parametric Frobenius problem and parametric exclusion
The Frobenius number of relatively prime positive integers $a_1, \ldots, a_n$ is the largest integer that is not a nononegative integer combination of the $a_i.$ Given positive integers $a_1, \ldots, a_n$ with $n \ge 2,$ the set of multiples of $\gcd(a_1, \ldots, a_n)$ which have less than $m$ distinct representations as a nonnegative integer combination of the $a_i$ is bounded above, so we define $f_{m, \ell}(a_1, \ldots, a_n)$ to be the $\ell^{\text{th}}$ largest multiple of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations (which generalizes the Frobenius number) and $g_m(a_1, \ldots, a_n)$ to be the number of positive multiples of $\gcd(a_1, \ldots, a_n)$ with less than $m$ distinct representations. In the parametric Frobenius problem, the arguments are polynomials. Let $P_1, \ldots, P_n$ be integer valued polynomials of one variable which are eventually positive. We prove that $f_{m, \ell}(P_1(t), \ldots, P_n(t))$ and $g_m(P_1(t), \ldots, P_n(t)),$ as functions of $t,$ are eventually quasi-polynomial. A function $h$ is eventually quasi-polynomial if there exist $d$ and polynomials $R_0, \ldots, R_{d-1}$ such that for such that for sufficiently large integers $t,$ $h(t)=R_{t \pmod{d}}(t).$ We do so by formulating a type of parametric problem that generalizes the parametric Frobenius Problem, which we call a parametric exclusion problem. We prove that the $\ell^{\text{th}}$ largest value of some polynomial objective function, with multiplicity, for a parametric exclusion problem and the size of its feasible set are eventually quasi-polynomial functions of $t.$
Signed Enumeration of Upper-Right Corners in Path Shuffles
Published
• View Publication
• BIB
We resolve a conjecture of Albert and Bousquet-Melou enumerating quarter-plane walks with fixed horizontal and vertical projections according to their upper-right-corner count modulo 2. In doing this, we introduce a signed upper-right-corner count statistic. We find its distribution over planar walks with any choice of fixed horizontal and vertical projections. Additionally, we prove that the polynomial counting loops with a fixed horizontal and vertical projection according to the absolute value of their signed upper-right-corner count is $(x+1)$-positive. Finally, we conjecture an equivalence between $(x+1)$-positivity of the generating function for upper-right-corner count and signed upper-right-corner count.
A Tutte polynomial inequality for lattice path matroids
Published
• View Publication
• BIB
Let $M$ be a matroid without loops or coloops and let $T(M;x,y)$ be its Tutte polynomial. In 1999 Merino and Welsh conjectured that $$\max(T(M;2,0), T(M;0,2))\geq T(M;1,1)$$ holds for graphic matroids. Ten years later, Conde and Merino proposed a multiplicative version of the conjecture which implies the original one. In this paper we prove the multiplicative conjecture for the family of lattice path matroids (generalizing earlier results on uniform and Catalan matroids). In order to do this, we introduce and study particular lattice path matroids, called snakes, used as building bricks to indeed establish a strengthening of the multiplicative conjecture as well as a complete characterization of the cases in which equality holds.
Noncommutative Schur functions, switchboards, and Schur positivity
Published
• View Publication
• BIB
The machinery of noncommutative Schur functions provides a general tool for obtaining Schur expansions for combinatorially defined symmetric functions. We extend this approach to a wider class of symmetric functions, explore its strengths and limitations, and obtain new results on Schur positivity. We introduce combinatorial gadgets called switchboards, an adaptation of the D graphs of S. Assaf, and show how symmetric functions associated to them (which include LLT, Macdonald, Stanley, and stable Grothendieck polynomials) fit into the noncommutative Schur functions approach. This extends earlier work by T. Lam, and by C. Greene and the second author, and provides new tools for obtaining combinatorial formulas for Schur expansions of LLT polynomials.
This paper can be regarded as a "prequel" to (and, partly, a review of) arXiv:1411.3624, arXiv:1411.3646, and arXiv:1510.00644.
The $\mathcal{G}$-invariant and catenary data of a matroid
Published in Advances in Applied Mathematics, 2018
• View Publication
• BIB
The catenary data of a matroid $M$ of rank $r$ on $n$ elements is the vector $(ν(M;a_0,a_1,\ldots,a_r))$, indexed by compositions $(a_0,a_1,\ldots,a_r)$, where $a_0 \geq 0$,\, $a_i > 0$ for $i \geq 1$, and $a_0+ a_1 + \cdots + a_r = n$, with the coordinate $ν(M;a_0,a_1, \ldots,a_r)$ equal to the number of maximal chains or flags $(X_0,X_1, \ldots,X_r)$ of flats or closed sets such that $X_i$ has rank $i$,\, $|X_0| = a_0$, and $|X_i - X_{i-1}| = a_i$. We show that the catenary data of $M$ contains the same information about $M$ as its $\mathcal{G}$-invariant, which was defined by H. Derksen [\emph{J.\ Algebr.\ Combin.}\ 30 (2009) 43--86]. The Tutte polynomial is a specialization of the $\mathcal{G}$-invariant. We show that many known results for the Tutte polynomial have analogs for the $\mathcal{G}$-invariant. In particular, we show that for many matroid constructions, the $\mathcal{G}$-invariant of the construction can be calculated from the $\mathcal{G}$-invariants of the constituents and that the $\mathcal{G}$-invariant of a matroid can be calculated from its size, the isomorphism class of the lattice of cyclic flats with lattice elements labeled by the rank and size of the underlying set. We also show that the number of flats and cyclic flats of a given rank and size can be derived from the $\mathcal{G}$-invariant, that the $\mathcal{G}$-invariant of $M$ is reconstructible from the deck of $\mathcal{G}$-invariants of restrictions of $M$ to its copoints, and that, apart from free extensions and coextensions, one can detect whether a matroid is a free product from its $\mathcal{G}$-invariant.
An Algebraic Geometric Approach to Nivat's Conjecture
Published
• View Publication
• BIB
We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup when there is a non-trivial annihilating polynomial: a non-zero polynomial whose formal product with the power series is zero. Such annihilator exists, for example, if the number of distinct patterns of some finite shape D in the configuration is at most the size |D| of the shape. This is our low pattern complexity assumption. We prove that the configuration must be a sum of periodic configurations over integers, possibly with unbounded values. As a specific application of the method we obtain an asymptotic version of the well-known Nivat's conjecture: we prove that any two-dimensional, non-periodic configuration can satisfy the low pattern complexity assumption with respect to only finitely many distinct rectangular shapes D.
A zero-free interval for chromatic polynomials of graphs with 3-leaf spanning trees
Published
• View Publication
• BIB
It is proved that if $G$ is a graph containing a spanning tree with at most three leaves, then the chromatic polynomial of $G$ has no roots in the interval $(1,t_1]$, where $t_1 \approx 1.2904$ is the smallest real root of the polynomial $(t-2)^6 +4(t-1)^2(t-2)^3 -(t-1)^4$. We also construct a family of graphs containing such spanning trees with chromatic roots converging to $t_1$ from above. We employ the Whitney $2$-switch operation to manage the analysis of an infinite class of chromatic polynomials.
Permutation Polynomials of $\Bbb F_{q^2}$ of the form $a{\tt X}+{\tt X}^{r(q-1)+1}$
Published
• View Publication
• BIB
Let $q$ be a prime power, $2\le r\le q$, and $f=a{\tt X}+{\tt X}^{r(q-1)+1}\in\Bbb F_{q^2}[{\tt X}]$, where $a\ne 0$. The conditions on $r,q,a$ that are necessary and sufficient for $f$ to be a permutation polynomial (PP) of ${\Bbb F}_{q^2}$ are not known. (Such conditions are known under an additional assumption that $a^{q+1}=1$.) In this paper, we prove the following: (i) If $f$ is a PP of ${\Bbb F}_{q^2}$, then $\text{gcd}(r,q+1)>1$ and $(-a)^{(q+1)/\text{gcd}(r,q+1)}\ne 1$. (ii) For a fixed $r>2$ and subject to the conditions that $q+1\equiv 0\pmod r$ and $a^{q+1}\ne 1$, there are only finitely many $(q,a)$ for which $f$ is a PP of ${\Bbb F}_{q^2}$. Combining (i) and (ii) confirms a recent conjecture regarding the type of permutation binomial considered here.
Symmetric group characters as symmetric functions (extended abstract)
The irreducible characters of the symmetric group are a symmetric polynomial in the eigenvalues of a permutation matrix. They can therefore be realized as a symmetric function that can be evaluated at a set of variables and form a basis of the symmetric functions. This basis of the symmetric functions is of non-homogeneous degree and the (outer) product structure coefficients are the stable Kronecker coefficients.
We introduce the irreducible character basis by defining it in terms of the induced trivial characters of the symmetric group which also form a basis of the symmetric functions. The irreducible character basis is closely related to character polynomials and we obtain some of the change of basis coefficients by making this connection explicit. Other change of basis coefficients come from a representation theoretic connection with the partition algebra, and still others are derived by developing combinatorial expressions.
This document is an extended abstract which can be used as a review reference so that this basis can be implemented in Sage. A more complete version of the results in this abstract can be found in {\tt arXiv:1605.06672}.
Chebyshev polynomials, quadratic surds and a variation of Pascal's triangle
Using Chebyshev polynomialsof both kinds, we construct rational fractions which are convergents of the smallest root of $x^2-αx+1$ for $α=3,4,5,\dots$.Some of the underlying identities suggest an identity involving binomialcoefficients which leads to a triangular array sharing many propertieswith Pascal's triangle.
Automated Discovery and Proof of Congruence Theorems for Partial Sums of Combinatorial Sequences
Published
• View Publication
• BIB
Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$, for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such a sequence by $a_k$, we obtain a general formula that determines the congruence class, modulo $p$, of the indefinite sum $\sum_{k=0}^{rp -1} a_k$, for {\it any} prime $p$, and any positive integer $r$, as a linear combination of sequences that satisfy linear recurrence (alias difference) equations with constant coefficients. This enables us (or rather, our computers) to automatically discover and prove congruence theorems for such partial sums. Moreover, we show that in many cases, the set of the residues is finite, regardless of the prime $p$.
Feynman identity for planar graphs
Published
• View Publication
• BIB
The Feynman identity (FI) of a planar graph relates the Euler polynomial of the graph to an infinite product over the equivalence classes of closed nonperiodic signed cycles in the graph. The main objectives of this paper are to compute the number of equivalence classes of nonperiodic cycles of given length and sign in a planar graph and to interpret the data encoded by the FI in the context of free Lie superalgebras. This solves in the case of planar graphs a problem first raised by S. Sherman and sets the FI as the denominator identity of a free Lie superalgebra generated from a graph. Other results are obtained. For instance, in connection with zeta functions of graphs.
Coloring Square-free Berge Graphs
Published in Journal of Combinatorial Theory, Series B, Volume 135, 2019, Pages 96-128
• View Publication
• BIB
We consider the class of Berge graphs that do not contain a chordless cycle of length $4$. We present a purely graph-theoretical algorithm that produces an optimal coloring in polynomial time for every graph in that class.
On trees with the same restricted U-polynomial and the Prouhet-Tarry-Escott problem
This paper focuses on the well-known problem due to Stanley of whether two non-isomorphic trees can have the same $U$-polynomial (or, equivalently, the same chromatic symmetric function). We consider the $U_k$-polynomial, which is a restricted version of $U$-polynomial, and construct with the help of solutions of the Prouhet-Tarry-Escott problem, non-isomorphic trees with the same $U_k$-polynomial for any given $k$. By doing so, we also find a new class of trees that are distinguished by the $U$-polynomial up to isomorphism.
On uncrossing games for skew-supermodular functions
Published
• View Publication
• BIB
In this note, we consider the uncrossing game for a skew-supermodular function $f$, which is a two-player game with players, Red and Blue, and abstracts the uncrossing procedure in the cut-covering linear program associated with $f$. Extending the earlier results by Karzanov for $\{0,1\}$-valued skew-supermodular functions, we present an improved polynomial time strategy for Red to win, and give a strongly polynomial time uncrossing procedure for dual solutions of the cut-covering LP as its consequence. We also mention its implication on the optimality of laminar solutions.
On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t
Published in SIAM J. Discrete Math., 30(2):621-649, 2016
• View Publication
• BIB
For a nonnegative integer $t$, let $c_t$ be the asymptotic density of natural numbers $n$ for which $s(n + t) \geq s(n)$, where $s(n)$ denotes the sum of digits of $n$ in base $2$. We prove that $c_t > 1/2$ for $t$ in a set of asymptotic density $1$, thus giving a partial solution to a conjecture of T. W. Cusick stating that $c_t > 1/2$ for all t. Interestingly, this problem has several equivalent formulations, for example that the polynomial $X(X + 1)\cdots(X + t - 1)$ has less than $2^t$ zeros modulo $2^{t+1}$. The proof of the main result is based on Chebyshev's inequality and the asymptotic analysis of a trivariate rational function, using methods from analytic combinatorics.
Fast Algorithms for Finding Pattern Avoiders and Counting Pattern Occurrences in Permutations
Published
• View Publication
• BIB
Given a set $Π$ of permutation patterns of length at most $k$, we present an algorithm for building $S_{\le n}(Π)$, the set of permutations of length at most $n$ avoiding the patterns in $Π$, in time $O(|S_{\le n - 1}(Π)| \cdot k + |S_{n}(Π)|)$. Additionally, we present an $O(n!k)$-time algorithm for counting the number of copies of patterns from $Π$ in each permutation in $S_n$. Surprisingly, when $|Π| = 1$, this runtime can be improved to $O(n!)$, spending only constant time per permutation. Whereas the previous best algorithms, based on generate-and-check, take exponential time per permutation analyzed, all of our algorithms take time at most polynomial per outputted permutation.
If we want to solve only the enumerative variant of each problem, computing $|S_{\le n}(Π)|$ or tallying permutations according to $Π$-patterns, rather than to store information about every permutation, then all of our algorithms can be implemented in $O(n^{k+1}k)$ space.
Using our algorithms, we generated $|S_5(Π)|, \ldots, |S_{16}(Π)|$ for each $Π\subseteq S_4$ with $|Π| > 4$, and analyzed OEIS matches. We obtained a number of potentially novel pattern-avoidance conjectures.
Our algorithms extend to considering permutations in any set closed under standardization of subsequences. Our algorithms also partially adapt to considering vincular patterns.
Betti posets and the Stanley depth
Published in Arnold Mathematical Journal 2(2), 267-276 (2016)
• View Publication
• BIB
Let $S$ be a polynomial ring and let $I \subseteq S$ be a monomial ideal. In this short note, we propose the conjecture that the Betti poset of $I$ determines the Stanley projective dimension of $S/I$ or $I$. Our main result is that this conjecture implies the Stanley conjecture for $I$, and it also implies that \[ \operatorname{sdepth} S/I \geq \operatorname{depth} S/I - 1.\] Recently, Duval et al. found a counterexample to the Stanley conjecture, and their counterexample satisfies $\operatorname{sdepth} S/I = \operatorname{depth} S/I - 1$. So if our conjecture is true, then the conclusion is best possible.
Counting zero kernel pairs over a finite field
Published in Linear Algebra and its Applications, 495:1 - 10, 2016
• View Publication
• BIB
Helmke et al. have recently given a formula for the number of reachable pairs of matrices over a finite field. We give a new and elementary proof of the same formula by solving the equivalent problem of determining the number of so called zero kernel pairs over a finite field. We show that the problem is equivalent to certain other enumeration problems and outline a connection with some recent results of Guo and Yang on the natural density of rectangular unimodular matrices over $\Fq[x]$. We also propose a new conjecture on the density of unimodular matrix polynomials.
Symmetric Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices
Published in Journal of Algebraic Combinatorics 45 (2017), pages 745-775
• View Publication
• BIB
We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.