polynomial
11257 papers tagged with this keyword
Parking cars after a trailer
Recently, the authors extended the notion of parking functions to parking sequences, which include cars of different sizes, and proved a product formula for the number of such sequences. We here give a refinement of that result involving parking the cars after a trailer. The proof of the refinement uses a multi-parameter extension of the Abel--Rothe polynomial due to Strehl.
New maximum scattered linear sets of the projective line
In [2] and [19] are presented the first two families of maximum scattered $\mathbb{F}_q$-linear sets of the projective line $\mathrm{PG}(1,q^n)$. More recently in [23] and in [5], new examples of maximum scattered $\mathbb{F}_q$-subspaces of $V(2,q^n)$ have been constructed, but the equivalence problem of the corresponding linear sets is left open.
Here we show that the $\mathbb{F}_q$-linear sets presented in [23] and in [5], for $n=6,8$, are new. Also, for $q$ odd, $q\equiv \pm 1,\,0 \pmod 5$, we present new examples of maximum scattered $\mathbb{F}_q$-linear sets in $\mathrm{PG}(1,q^6)$, arising from trinomial polynomials, which define new $\mathbb{F}_q$-linear MRD-codes of $\mathbb{F}_q^{6\times 6}$ with dimension $12$, minimum distance 5 and middle nucleus (or left idealiser) isomorphic to $\mathbb{F}_{q^6}$.
Polynomiality of certain average weights for oscillating tableaux
Published
• View Publication
• BIB
We prove that a family of average weights for oscillating tableaux are polynomials in two variables, namely, the length of the oscillating tableau and the size of the ending partition, which generalizes a result of Hopkins and Zhang. Several explicit and asymptotic formulas for the average weights are also derived.
Box polynomials and the excedance matrix
We consider properties of the box polynomials, a one variable polynomial defined over all integer partitions $λ$ whose Young diagrams fit in an $m$ by $n$ box. We show that these polynomials can be expressed by the finite difference operator applied to the power $x^{m+n}$. Evaluating box polynomials yields a variety of identities involving set partition enumeration. We extend the latter identities using restricted growth words and a new operator called the fast Fourier operator, and consider connections between set partition enumeration and the chromatic polynomial on graphs. We also give connections between the box polynomials and the excedance matrix, which encodes combinatorial data from a noncommutative quotient algebra motivated by the recurrence for the excedance set statistic on permutations.
Some Topological Invariants of Generalized Möbius Ladder
Published
• View Publication
• BIB
The Hosoya polynomial of a graph $G$ was introduced by H. Hosoya in 1988 as a counting polynomial, which actually counts the number of distances of paths of different lengths in $G$. The most interesting application of the Hosoya polynomial is that almost all distance-based graph invariants, which are used to predict physical, chemical and pharmacological properties of organic molecules, can be recovered from it. In this article we give the general closed form of the Hosoya polynomial of the generalized Möbius ladder $M(m,n)$ for arbitrary $m$ and for $n=3$. Moreover, we recover Wiener, hyper Wiener, Tratch-Stankevitch-Zefirov, and Harary indices from it.
The Tutte Polynomial of Symmetric Hyperplane Arrangements
Published
• View Publication
• BIB
The Tutte polynomial is originally a bivariate polynomial which enumerates the colorings of a graph and of its dual graph. Ardila extended in 2007 the definition of the Tutte polynomial on the real hyperplane arrangements. He particularly computed the Tutte polynomials of the hyperplane arrangements associated to the classical Weyl groups. Those associated to the exceptional Weyl groups were computed by De Concini and Procesi one year later. This article has two objectives: On one side, we extend the Tutte polynomial computing to the complex hyperplane arrangements. On the other side, we introduce a wider class of hyperplane arrangements which is that of the symmetric hyperplane arrangements. Computing the Tutte polynomial of a symmetric hyperplane arrangement permits us to deduce the Tutte polynomials of some hyperplane arrangements, particularly of those associated to the imprimitive reflection groups.
The $M$-Polynomial and Topological Indices of Generalized Möbius Ladder and Its Line Graph
The $M$-polynomial was introduced by Deutsch and Klavžar in 2015 as a graph polynomial to provide an easy way to find closed formulas of degree-based topological indices, which are used to predict physical, chemical, and pharmacological properties of organic molecules. In this paper we give general closed forms of the $M$-polynomial of the generalized Möbius ladder and its line graph. We also compute Zagreb Indices, generalized Randić indices, and symmetric division index of these graphs via the $M$-polynomial.
Counting quadrant walks via Tutte's invariant method
Published in Combinatorial Theory, 1 (2021), paper # 3
• View Publication
• BIB
In the 1970s, William Tutte developed a clever algebraic approach, based on certain "invariants", to solve a functional equation that arises in the enumeration of properly colored triangulations. The enumeration of plane lattice walks confined to the first quadrant is governed by similar equations, and has led in the past 20 years to a rich collection of attractive results dealing with the nature (algebraic, D-finite or not) of the associated generating function, depending on the set of allowed steps, taken in $\{-1, 0,1\}^2$.
We first adapt Tutte's approach to prove (or reprove) the algebraicity of all quadrant models known or conjectured to be algebraic. This includes Gessel's famous model, and the first proof ever found for one model with weighted steps. To be applicable, the method requires the existence of two rational functions called invariant and decoupling function respectively. When they exist, algebraicity follows almost automatically.
Then, we move to a complex analytic viewpoint that has already proved very powerful, leading in particular to integral expressions for the generating function in the non-D-finite cases, as well as to proofs of non-D-finiteness. We develop in this context a weaker notion of invariant. Now all quadrant models have invariants, and for those that have in addition a decoupling function, we obtain integral-free expressions for the generating function, and a proof that this series is D-algebraic (that is, satisfies polynomial differential equations).
An algebraic Monte-Carlo algorithm for the Partition Adjacency Matrix realization problem
Published in Alg. Stat. 12 (2021) 115-124
• View Publication
• BIB
The graphical realization of a given degree sequence and given partition adjacency matrix simultaneously is a relevant problem in data driven modeling of networks. Here we formulate common generalizations of this problem and the Exact Matching Problem, and solve them with an algebraic Monte-Carlo algorithm that runs in polynomial time if the number of partition classes is bounded.
Product formulas on posets, Wick products, and a correction for the $q$-Poisson process
Published
• View Publication
• BIB
We give an example showing that the product and linearization formulas for the Wick product versions of the $q$-Charlier polynomials in (Anshelevich 2004) are incorrect. Next, we observe that the relation between monomials and several families of Wick polynomials is governed by "incomplete" versions of familiar posets. We compute Möbius functions for these posets, and prove a general poset product formula. These provide new proofs and new inversion and product formulas for Wick product versions of Hermite, Chebyshev, Charlier, free Charlier, and Laguerre polynomials. By different methods, we prove inversion formulas for the Wick product versions of the free Meixner polynomials.
Topological Tutte Polynomial
Published
• View Publication
• BIB
This is a survey recent works on topological extensions of the Tutte polynomial.
Covering arrays from maximal sequences over finite fields
Published
• View Publication
• BIB
The focus of this thesis is the study and construction of covering arrays, relying on maximal period sequences and other tools from finite fields. A covering array of strength $t$, denoted $\mathrm{CA}(N; t, k,v)$, is an $N\times k$ array with entries from an alphabet $A$ of size $v$, with the property that in the $N\times t$ subarray defined by any $t$ columns, each of the $v^t$ vectors in $A^t$ appears at least once as a row. Covering arrays generalize orthogonal arrays, which are classic combinatorial objects that have been studied extensively. Constructing covering arrays with a small row-to-column ratio is important in the design of statistical experiments, however it is also a challenging mathematical problem.
Linear feedback shift register (LFSR) sequences are sequences of elements from a finite field that satisfy a linear recurrence relation. It is well-known that these are periodic; LFSR sequences that attain the maximum possible period are maximal (period) sequences, often abbreviated to m-sequences in the literature. Arrays constructed from cyclic shifts of maximal sequences possess strong combinatorial properties and have been previously used to construct orthogonal and covering arrays (Moura et al., 2016), although only one of the known constructions is for covering arrays that are not orthogonal arrays (Raaphorst et al., 2014). In this thesis we present several new such constructions.
The cornerstone of our results is a study of the combinatorial properties of arrays constructed from maximal sequences, where we make fundamental connections with concepts from diverse areas of discrete mathematics, such as orthogonal arrays, error-correcting codes, divisibility of polynomials and structures of finite geometry.
One aspect of our work involves [..]
Prism tableaux for alternating sign matrix varieties
A prism tableau is a set of reverse semistandard tableaux, each positioned within an ambient grid. Prism tableaux were introduced to provide a formula for the Schubert polynomials of A. Lascoux and M.P. Schützenberger. This formula directly generalizes the well known expression for Schur polynomials as a sum over semistandard tableaux. Alternating sign matrix varieties generalize the matrix Schubert varieties of W. Fulton. We use prism tableaux to give a formula for the multidegree of an alternating sign matrix variety.
The Peterson recurrence formula for the chromatic discriminant of a graph
Published
• View Publication
• BIB
The absolute value of the coefficient of $q$ in the chromatic polynomial of a graph $G$ is known as the chromatic discriminant of $G$ and is denoted $α(G)$. There is a well known recurrence formula for $α(G)$ that comes from the deletion-contraction rule for the chromatic polynomial. In this paper we prove another recurrence formula for $α(G)$ that comes from the theory of Kac-Moody Lie algebras. We start with a brief survey on many interesting algebraic and combinatorial interpretations of $α(G)$. We use two of these interpretations (in terms of acyclic orientations and spanning trees) to give two bijective proofs for our recurrence formula of $α(G)$.
Serre's Properties for Quadratic Generated Domains from Graphs
For any graph, one can construct a ring, called the edge ring, which is a quadratic-monomial generated subring of the Laurent polynomial ring $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. In fact, every quadratic-monomial generated subring of this Laurent polynomial ring can be generated as an edge ring for some graph. The combinatorial structure of the graph has been successfully applied to identify and classify many important commutative algebraic properties of the corresponding edge ring. In this paper, we classify Serre's $R_1$ condition for all quadratic-monomial generated subrings of $k[x_1^{\pm 1},\dots,x_n^{\pm 1}]$. Moreover, we provide a minimal example of a graph whose corresponding edge ring is not Cohen-Macaulay. This paper extends the work of Hibi and Ohsugi from the setting subrings of polynomial rings to subrings of Laurent polynomial rings.
Signed Countings of types B and D permutations and $t,q$-Euler Numbers
Published
• View Publication
• BIB
It is a classical result that the parity-balance of the number of weak excedances of all permutations (derangements, respectively) of length $n$ is the Euler number $E_n$, alternating in sign, if $n$ is odd (even, respectively). Josuat-Vergès obtained a $q$-analog of the results respecting the number of crossings of a permutation. One of the goals in this paper is to extend the results to the permutations (derangements, respectively) of types B and D, on the basis of the joint distribution in statistics excedances, crossings and the number of negative entries obtained by Corteel, Josuat-Vergès and Kim.
Springer numbers are analogous Euler numbers that count the alternating permutations of type B, called snakes. Josuat-Vergès derived bivariate polynomials $Q_n(t,q)$ and $R_n(t,q)$ as generalized Euler numbers via successive $q$-derivatives and multiplications by $t$ on polynomials in $t$. The other goal in this paper is to give a combinatorial interpretation of $Q_n(t,q)$ and $R_n(t,q)$ as the enumerators of the snakes with restrictions.
On the sign patterns of entrywise positivity preservers in fixed dimension
Published in American Journal of Mathematics 143 (2021), no. 6, 1863-1929
• View Publication
• BIB
Given $I\subset\mathbb{C}$ and an integer $N>0$, a function $f:I\to\mathbb{C}$ is entrywise positivity preserving on positive semidefinite (p.s.d.) matrices $A=(a_{jk})\in I^{N\times N}$, if the entrywise application $f[A]=(f(a_{jk}))$ of $f$ to $A$ is p.s.d. for all such $A$. Such preservers in all dimensions have been classified by Schoenberg and Rudin as being absolutely monotonic [Duke Math. J. 1942, 1959]. In fixed dimension $N$, results akin to work of Horn and Loewner [Trans. AMS 1969] show the first $N$ nonzero Maclaurin coefficients of a positivity preserver $f$ are positive; and the last $N$ coefficients are also positive if $I$ is unbounded. However, little was known about the other coefficients: the only examples to date for unbounded domains $I$ were absolutely monotonic, so work in all dimensions; and for bounded $I$ examples of non-absolutely monotonic preservers were very few (and recent).
In this paper, we completely characterize the sign patterns of the Maclaurin coefficients of positivity preservers in fixed dimension $N$, over bounded and unbounded domains $I$. In particular, the above Horn-type conditions cannot be improved upon. This also yields the first polynomials which preserve positivity on p.s.d. matrices in $I^{N\times N}$ but not in $I^{(N+1)\times (N+1)}$. We obtain analogous results for real exponents using the Harish-Chandra-Itzykson-Zuber formula.
We then go from qualitative bounds, which suffice to understand all possible sign patterns, to exact quantitative bounds. As an application, we extend our previous qualitative and quantitative results to understand preservers of total non-negativity in fixed dimension - including their sign patterns. We deduce several further applications, including extending a Schur polynomial conjecture by Cuttler-Greene-Skandera to obtain a novel characterization of weak majorization for real tuples.
Cauchy-Stieltjes families with polynomial variance functions and generalized orthogonality
Published in Probability and Mathematical Statistics 39 (2019) pp. 237-258
• View Publication
• BIB
This paper studies variance functions of Cauchy-Stieltjes Kernel families generated by compactly supported centered probability measures. We describe several operations that allow us to construct additional variance functions from known ones. We construct a class of examples which exhausts all cubic variance functions, and provide examples of polynomial variance functions of arbitrary degree. We also relate Cauchy-Stieltjes Kernel families with polynomial variance functions to generalized orthogonality.
Our main results are stated solely in terms of classical probability; some proofs rely on analytic machinery of free probability.
Permutation polynomials, fractional polynomials, and algebraic curves
Published
• View Publication
• BIB
In this note we prove a conjecture by Li, Qu, Li, and Fu on permutation trinomials over $\mathbb{F}_3^{2k}$. In addition, new examples and generalizations of some families of permutation polynomials of $\mathbb{F}_{3^k}$ and $\mathbb{F}_{5^k}$ are given. We also study permutation quadrinomials of type $Ax^{q(q-1)+1} + Bx^{2(q-1)+1} + Cx^{q} + x$. Our method is based on the investigation of an algebraic curve associated with a {fractional polynomial} over a finite field.
Root system chip-firing I: Interval-firing
Published in Mathematische Zeitschrift, 292(3-4), 2019
• View Publication
• BIB
Jim Propp recently introduced a variant of chip-firing on a line where the chips are given distinct integer labels. Hopkins, McConville, and Propp showed that this process is confluent from some (but not all) initial configurations of chips. We recast their set-up in terms of root systems: labeled chip-firing can be seen as a root-firing process which allows the moves $λ\to λ+ α$ for $α\in Φ^{+}$ whenever $\langleλ,α^\vee\rangle = 0$, where $Φ^{+}$ is the set of positive roots of a root system of Type A and $λ$ is a weight of this root system. We are thus motivated to study the exact same root-firing process for an arbitrary root system. Actually, this central root-firing process is the subject of a sequel to this paper. In the present paper, we instead study the interval root-firing processes determined by $λ\to λ+ α$ for $α\in Φ^{+}$ whenever $\langleλ,α^\vee\rangle \in [-k-1,k-1]$ or $\langleλ,α^\vee\rangle \in [-k,k-1]$, for any $k \geq 0$. We prove that these interval-firing processes are always confluent, from any initial weight. We also show that there is a natural way to consistently label the stable points of these interval-firing processes across all values of $k$ so that the number of weights with given stabilization is a polynomial in $k$. We conjecture that these Ehrhart-like polynomials have nonnegative integer coefficients.