polynomial
11257 papers tagged with this keyword
Some Formulas for Numbers of Restricted Words
We define a quantity $c_m(n,k)$ as a generalization of the notion of the composition of the positive integer $n$ into $k$ parts. We proceed to derive some known properties of this quantity. In particular, we relate two partial Bell polynomials, in which the sequence of the variables of one polynomial is the invert transform of the sequence of the variables of the other. We connect the quantities $c_m(n,k)$ and $c_{m-1}(n,k)$ via Pascal matrices. We then relate $c_m(n,k)$ with the numbers of some restricted words over a finite alphabet. We develop a method which transfers some properties of restricted words over an alphabet of $N$ letters to the restricted words over an alphabet of $N+1$ letters. Several examples illustrate our findings. Note that all our results depend solely on the initial arithmetic function $f_0$.
A note on linear Sperner families
In an earlier work we described Gröbner bases of the ideal of polynomials over a field, which vanish on the set of characteristic vectors $\mathbf{v} \in \{0,1\}^n$ of the complete $d$ unifom set family over the ground set $[n]$. In particular, it turns out that the standard monomials of the above ideal are {\em ballot monomials}. We give here a partial extension of the latter fact. We prove that the lexicographic standard monomials for linear Sperner systems are also ballot monomials. A set family is a linear Sperner system if the characteristic vectors satisfy a linear equation $a_1v_1+\cdots +a_nv_n=k$, where $0<a_q\leq a_2\leq \cdots \leq a_n$ and $k$ are integers. As an application, we confirm a conjecture of Frankl for linear Sperner systems.
Combinatorial Reductions for the Stanley Depth of $I$ and $S/I$
Published
• View Publication
• BIB
We develop combinatorial tools to study the relationship between the Stanley depth of a monomial ideal $I$ and the Stanley depth of its compliment, $S/I$. Using these results we are able to prove that if $S$ is a polynomial ring with at most 5 indeterminates and $I$ is a square-free monomial ideal, then the Stanley depth of $S/I$ is strictly larger than the Stanley depth of $I$. Using a computer search, we are able to extend this strict inequality up to polynomial rings with at most 7 indeterminates. This partially answers questions asked by Propescu and Qureshi as well as Herzog.
On the poset and asymptotics of Tesler Matrices
Tesler matrices are certain integral matrices counted by the Kostant partition function and have appeared recently in Haglund's study of diagonal harmonics. In 2014, Drew Armstrong defined a poset on such matrices and conjectured that the characteristic polynomial of this poset is a power of $(q-1)$. We use a method of Hallam and Sagan to prove a stronger version of this conjecture for posets of a certain class of generalized Tesler matrices. We also study bounds for the number of Tesler matrices and how they compare to the number of parking functions, the dimension of the space of diagonal harmonics.
Multiplication of a Schubert polynomial by a Stanley symmetric polynomial
We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial expansion of a truncated Schubert polynomial. Combining these results, we give a nonnegative combinatorial rule for the product of a Schubert and a Schur polynomial in the Schubert basis.
The anti-spherical category
Published
• View Publication
• BIB
We study a diagrammatic categorification (the "anti-spherical category") of the anti-spherical module for any Coxeter group. We deduce that Deodhar's (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients, and that a monotonicity conjecture of Brenti's holds. The main technical observation is a localisation procedure for the anti-spherical category, from which we construct a "light leaves" basis of morphisms. Our techniques may be used to calculate many new elements of the $p$-canonical basis in the anti-spherical module.
Binets: fundamental building blocks for phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of evolutionary trees that are used by biologists to represent the evolution of organisms which have undergone reticulate evolution. Essentially, a phylogenetic network is a directed acyclic graph having a unique root in which the leaves are labelled by a given set of species. Recently, some approaches have been developed to construct phylogenetic networks from collections of networks on 2- and 3-leaved networks, which are known as binets and trinets, respectively. Here we study in more depth properties of collections of binets, one of the simplest possible types of networks into which a phylogenetic network can be decomposed. More specifically, we show that if a collection of level-1 binets is compatible with some binary network, then it is also compatible with a binary level-1 network. Our proofs are based on useful structural results concerning lowest stable ancestors in networks. In addition, we show that, although the binets do not determine the topology of the network, they do determine the number of reticulations in the network, which is one of its most important parameters. We also consider algorithmic questions concerning binets. We show that deciding whether an arbitrary set of binets is compatible with some network is at least as hard as the well-known Graph Isomorphism problem. However, if we restrict to level-1 binets, it is possible to decide in polynomial time whether there exists a binary network that displays all the binets. We also show that to find a network that displays a maximum number of the binets is NP-hard, but that there exists a simple polynomial-time 1/3-approximation algorithm for this problem. It is hoped that these results will eventually assist in the development of new methods for constructing phylogenetic networks from collections of smaller networks.
Periods of iterations of functions with restricted preimage sizes
Published
• View Publication
• BIB
We consider random mappings on n = kr nodes with preimage sizes restricted to a set of the form {0,k}, where k = k(r) is greater than 1. We prove that T, the least common multiple of the cycle lengths, and B= the product of the cycle lengths, are both asymptotically lognormal. The expected values of these random variables are also also estimated and compared with numerical results. This work is motivated, in part, by the use of these mappings as heuristic models for polynomials of the form x^k + a over the integers modulo p with p congruent to 1 mod k.
On sequences of polynomials arising from graph invariants
Published
• View Publication
• BIB
Graph polynomials are deemed useful if they give rise to algebraic characterizations of various graph properties, and their evaluations encode many other graph invariants. Algebraic: The complete graphs $K_n$ and the complete bipartite graphs $K_{n,n}$ can be characterized as those graphs whose matching polynomials satisfy a certain recurrence relations and are related to the Hermite and Laguerre polynomials. An encoded graph invariant: The absolute value of the chromatic polynomial $χ(G,X)$ of a graph $G$ evaluated at $-1$ counts the number of acyclic orientations of $G$.
In this paper we prove a general theorem on graph families which are characterized by families of polynomials satisfying linear recurrence relations. This gives infinitely many instances similar to the characterization of $K_{n,n}$. We also show where to use, instead of the Hermite and Laguerre polynomials, linear recurrence relations where the coefficients do not depend on $n$.
Finally, we discuss the distinctive power of graph polynomials in specific form.
Generalized Dirichlet series of n variables associated with automatic sequences
This article consists to give a necessary and sufficient condition of the meromorphic continuity of Dirichlet series defined as $\sum_{x\in \mathbf{N}^n} \frac{a_{x}}{P(x)^s}$, Where $a_{x}$ is a $q$-automatic sequence of $n$ parameters and $P: \mathbf{C}^n \to \mathbf{C}$ a polynomial, such that $P$ does not have zeros on $\mathbf{Q}^{n}_{+}$. And some specific cases of $n=1$ will also be studied in this article as examples to show the possibility to have an holomorphic continuity on the whole complex plane. Some equivalences between infinite products are also built as consequences of these results.
An overpartition analogue of $q$-binomial coefficients, II: combinatorial proofs and $(q,t)$-log concavity
Published
• View Publication
• BIB
In a previous paper, we studied an overpartition analogue of Gaussian polynomials as the generating function for overpartitions fitting inside an $m \times n$ rectangle. Here, we add one more parameter counting the number of overlined parts, obtaining a two-parameter generalization $\overline{m+n \brack n}_{q,t}$ of Gaussian polynomials, which is also a $(q,t)$-analogue of Delannoy numbers. First we obtain finite versions of classical $q$-series identities such as the $q$-binomial theorem and the Lebesgue identity, as well as two-variable generalizations of classical identities involving Gaussian polynomials. Then, by constructing involutions, we obtain an identity involving a finite theta function and prove the $(q,t)$-log concavity of $\overline{m+n \brack n}_{q,t}$. We particularly emphasize the role of combinatorial proofs and the consequences of our results on Delannoy numbers. We conclude with some conjectures about the unimodality of $\overline{m+n \brack n}_{q,t}$.
On a conjecture of Sokal concerning roots of the independence polynomial
Published
• View Publication
• BIB
A conjecture of Sokal (2001) regarding the domain of non-vanishing for independence polynomials of graphs, states that given any natural number $Δ\ge 3$, there exists a neighborhood in $\mathbb C$ of the interval $[0, \frac{(Δ-1)^{Δ-1}}{(Δ-2)^Δ})$ on which the independence polynomial of any graph with maximum degree at most $Δ$ does not vanish. We show here that Sokal's Conjecture holds, as well as a multivariate version, and prove optimality for the domain of non-vanishing. An important step is to translate the setting to the language of complex dynamical systems.
Polynomial equations in function fields
Published
• View Publication
• BIB
The breakthrough paper of Croot, Lev, Pach \cite{CLP} on progression-free sets in $\Z_4^n$ introduced a polynomial method that has generated a wealth of applications, such as Ellenberg and Gijswijt's solutions to the cap set problem \cite{EG}. Using this method, we bound the size of a set of polynomials over $\F_q$ of degree less than $n$ that is free of solutions to the equation $\sum_{i=1}^k a_if_i^r=0$, where the coefficients $a_i$ are polynomials that sum to 0 and the number of variables satisfies $k\geq 2r^2+1$. The bound we obtain is of the form $q^{cn}$ for some constant $c<1$. This is in contrast to the best bounds known for the corresponding problem in the integers, which offer only a logarithmic saving, but work already with as few as $k\geq r^2+1$ variables.
Enumeration of Graphs and the Characteristic Polynomial of the Hyperplane Arrangements $\mathcal{J}_n$
We give a complete formula for the characteristic polynomial of hyperplane arrangements $\mathcal J_n$ consisting of the hyperplanes $x_i+x_j=1$, $x_k=0$, $x_l=1$, $ 1\leq i, j, k, l\leq n$. The formula is obtained by associating hyperplane arrangements with graphs, and then enumerating central graphs via generating functions for the number of bipartite graphs of given order, size and number of connected components.
Characteristic Polynomial of Certain Hyperplane Arrangements through Graph Theory
We give a formula for computing the characteristic polynomial for certain hyperplane arrangements in terms of the number of bipartite graphs of given rank and cardinality.
A note on counting flows in signed graphs
Published
• View Publication
• BIB
Tutte initiated the study of nowhere-zero flows and proved the following fundamental theorem: For every graph $G$ there is a polynomial $f$ so that for every abelian group $Γ$ of order $n$, the number of nowhere-zero $Γ$-flows in $G$ is $f(n)$. For signed graphs (which have bidirected orientations), the situation is more subtle. For a finite group $Γ$, let $ε_2(Γ)$ be the largest integer $d$ so that $Γ$ has a subgroup isomorphic to $\mathbb{Z}_2^d$. We prove that for every signed graph $G$ and $d \ge 0$ there is a polynomial $f_d$ so that $f_d(n)$ is the number of nowhere-zero $Γ$-flows in $G$ for every abelian group $Γ$ with $ε_2(Γ) = d$ and $|Γ| = 2^d n$. Beck and Zaslavsky had previously established the special case of this result when $d=0$ (i.e., when $Γ$ has odd order).
Factors of sums involving $q$-binomial coefficients and powers of $q$-integers
Published
• View Publication
• BIB
We show that, for all positive integers $n_1, \ldots, n_m$, $n_{m+1}=n_1$, and any non-negative integers $j$ and $r$ with $j\leqslant m$, the expression $$ \frac{1}{[n_1]}{n_1+n_{m}\brack n_1}^{-1} \sum_{k=1}^{n_1}[2k][k]^{2r}q^{jk^2-(r+1)k}\prod_{i=1}^{m} {n_i+n_{i+1}\brack n_i+k} $$ is a Laurent polynomial in $q$ with integer cofficients, where $[n]=1+q+\cdots+q^{n-1}$ and ${n\brack k}=\prod_{i=1}^k(1-q^{n-i+1})/(1-q^i)$. This gives a $q$-analogue of a divisibility result on the Catalan triangle obtained by the first author and Zeng, and also confirms a conjecture of the first author and Zeng. We further propose several related conjectures.
The cycle polynomial of a permutation group
Published in Electronic J. Combinatorics 25(1) (2018), Paper P1.14
• View Publication
• BIB
The cycle polynomial of a finite permutation group $G$ is the generating function for the number of elements of $G$ with a given number of cycles: \[F_G(x) = \sum_{g\in G}x^{c(g)},\] where $c(g)$ is the number of cycles of $g$ on $Ω$. In the first part of the paper, we develop basic properties of this polynomial, and give a number of examples.
In the 1970s, Richard Stanley introduced the notion of reciprocity for pairs of combinatorial polynomials. We show that, in a considerable number of cases, there is a polynomial in the reciprocal relation to the cycle polynomial of $G$; this is the orbital chromatic polynomial of $Γ$ and $G$, where $Γ$ is a $G$-invariant graph, introduced by the first author, Jackson and Rudd. We pose the general problem of finding all such reciprocal pairs, and give a number of examples and characterisations: the latter include the cases where $Γ$ is a complete or null graph or a tree.
The paper concludes with some comments on other polynomials associated with a permutation group.
Generalized coinvariant algebras for wreath products
Published
• View Publication
• BIB
Let $r$ be a positive integer and let $G_n$ be the reflection group of $n \times n$ monomial matrices whose entries are $r^{th}$ complex roots of unity and let $k \leq n$. We define and study two new graded quotients $R_{n,k}$ and $S_{n,k}$ of the polynomial ring $\mathbb{C}[x_1, \dots, x_n]$ in $n$ variables. When $k = n$, both of these quotients coincide with the classical coinvariant algebra attached to $G_n$. The algebraic properties of our quotients are governed by the combinatorial properties of $k$-dimensional faces in the Coxeter complex attached to $G_n$ (in the case of $R_{n,k}$) and $r$-colored ordered set partitions of $\{1, 2, \dots, n\}$ with $k$ blocks (in the case of $S_{n,k}$). Our work generalizes a construction of Haglund, Rhoades, and Shimozono from the symmetric group $\mathfrak{S}_n$ to the more general wreath products $G_n$.
Spin $q$-Whittaker polynomials
Published
• View Publication
• BIB
We introduce and study a one-parameter generalization of the q-Whittaker symmetric functions. This is a family of multivariate symmetric polynomials, whose construction may be viewed as an application of the procedure of fusion from integrable lattice models to a vertex model interpretation of a one-parameter generalization of Hall-Littlewood polynomials from [Bor17, BP16a, BP16b].
We prove branching and Pieri rules, standard and dual (skew) Cauchy summation identities, and an integral representation for the new polynomials.