arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11184 papers tagged with this keyword
2023-06-19 v2
Jack Littlewood-Richardson Coefficients and the Nazarov-Sklyanin Lax Operator
We continue the work begun by Mickler-Moll investigating the properties of the polynomial eigenfunctions of the Nazarov-Sklyanin quantum Lax operator. By considering products of these eigenfunctions, we produce a novel generalization of a formula of Kerov relating Jack Littlewood-Richardson coefficients and residues of certain rational functions. Precisely, we derive a system of constraints on Jack Littlewood-Richardson coefficients in terms of a simple multiplication operation on partitions.
2023-06-17
Flagged Skew Schur Polynomials Twisted By Roots Of Unity
We generalize a theorem of Littlewood concerning the factorization of Schur polynomials when their variables are twisted by roots of unity. We show that a certain family of flagged skew Schur polynomials admit a similar factorization. These include an interesting family of Demazure characters as a special case.
2023-06-16
On Permutation Trinomials of the type $X^{q^2-q+1}+AX^{q^2}+BX$ over $\mathbb{F}_{q^3}$
Necessary and sufficient conditions on $A,B\in \mathbb{F}_{q^3}^*$ for $f(X)=X^{q^2-q+1}+AX^{q^2}+BX$ being a permutation polynomial of $\mathbb{F}_{q^3}$ are investigated via a connection with algebraic varieties over finite fields.
On the Hilbert depth of monomial ideals
Let $S=K[x_1,\ldots,x_n]$ be the ring of polynomials over a field $K$. Given two monomial ideals $0\subset I\subsetneq J \subset S$, we present a new method to compute the Hilbert depth of $J/I$. As an application, we show that if $u\in S$ is a monomial regular of $S/I$, then $\operatorname{hdepth}(S/I)\geq \operatorname{hdepth}(S/(I,u))\geq \operatorname{hdepth}(S/I)-1.$ Also, we reprove the formula of the Hilbert depth of a squarefree Veronese ideal.
M-convexity of Grothendieck polynomials via bubbling
We introduce bubbling diagrams and show that they compute the support of the Grothendieck polynomial of any vexillary permutation. Using these diagrams, we show that the support of the top homogeneous component of such a Grothendieck polynomial coincides with the support of the dual character of an explicit flagged Weyl module. We also show that the homogenized Grothendieck polynomial of a vexillary permutation has M-convex support.
2023-06-14 v2
Increasing subsequences, matrix loci, and Viennot shadows
Let $\mathbf{x}_{n \times n}$ be an $n \times n$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{n \times n}]$ be the polynomial ring in these variables over a field $\mathbb{F}$. We study the ideal $I_n \subseteq \mathbb{F}[\mathbf{x}_{n \times n}]$ generated by all row and column variable sums and all products of two variables drawn from the same row or column. We show that the quotient $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ admits a standard monomial basis determined by Viennot's shadow line avatar of the Schensted correspondence. As a corollary, the Hilbert series of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ is the generating function of permutations in $\mathfrak{S}_n$ by the length of their longest increasing subsequence. Along the way, we describe a `shadow junta' basis of the vector space of $k$-local permutation statistics. We also calculate the structure of $\mathbb{F}[\mathbf{x}_{n \times n}]/I_n$ as a graded $\mathfrak{S}_n \times \mathfrak{S}_n$-module.
2023-06-13
Shifted Hankel determinants of Catalan numbers and related results II: Backward shifts
By prepending zeros to a given sequence Hankel determinants of backward shifts of this sequence become meaningful. We obtain some results for the sequences of Catalan numbers and of some numbers and polynomials which are related to Catalan numbers and propose conjectures for sequences of convolution powers of Catalan numbers.
2023-06-13
An Algebraic Interpretation of the Super Catalan Numbers
We extend the notion of polynomial integration over an arbitrary circle $C$ in the Euclidean geometry over general fields $\mathbb F$ of characteristic zero as a normalized $\mathbb F$-linear functional on $\mathbb{F}\left[α_1, α_2\right]$ that takes polynomials that evaluate to zero on $C$ to zero and is $\mathrm{SO}(2,\mathbb{F})$-invariant. This allows us to not only build a purely algebraic integration theory in an elementary way, but also give the super Catalan numbers $$S(m,n) = \frac{(2m)!(2n)!}{m!n!(m+n)!}$$ an algebraic interpretation in terms of values of this algebraic integral over some circle applied to the monomials $α_1^{2m}α_2^{2n}$.
2023-06-12 v2
Log-concavity for partitions without sequences
We prove log-concavity for the function counting partitions without sequences. We use an exact formula for a mixed-mock modular form of weight zero, explicit estimates on modified Kloosterman sums and analytic techniques. Finally, we establish the higher Turán inequalities in an asymptotic form of the aforementioned partition function using a well established criterion of Griffin, Ono, Rolen, and Zagier on the zeros of Jensen polynomials.
2023-06-11 v2
Extreme coefficients of multiplicity Tutte polynomials
The multiplicity Tutte polynomial, which includes the arithmetic Tutte polynomial, is a generalization of the classical Tutte polynomial of matroids. In this paper, we obtain an expression of the general coefficient and the expressions of six extreme coefficients of multiplicity Tutte polynomials. In particular, an expression of the general coefficient and the expressions of corresponding extreme coefficients of classical Tutte polynomial of matroids are deduced.
Multivariate polynomial splines on generalized oranges
We consider spaces of multivariate splines defined on a particular type of simplicial partitions that we call (generalized) oranges. Such partitions are composed of a finite number of maximal faces with exactly one shared medial face. We reduce the problem of finding the dimension of splines on oranges to computing dimensions of splines on simpler, lower-dimensional partitions that we call projected oranges. We use both algebraic and Bernstein-Bézier tools.
2023-06-08 v4
A hyperelliptic saga on a generating function of the squares of Legendre polynomials
Published in J. Experiment. Math. 1 (2025) 278--305 • View PublicationBIB
We decompose the generating function $\sum_{n=0}^\infty\binom{2n}nP_n(y)^2z^n$ of the squares of Legendre polynomials as a product of periods of hyperelliptic curves. These periods satisfy a family of $\textit{second}$ order differential equations. This is highly unusual since $\textit{four}$ is the expected order for genus 2. These second order equations are arithmetic and yet, surprisingly, their monodromy group is dense in $\operatorname{SL}_2(\mathbb{R})$. This suggests that they cannot be solved in terms of hypergeometric functions, which is novel for arithmetic second order differential equations that are $\textit{defined over}$ $\mathbb{Q}$, and also novel for a $\textit{family}$ of such equations. We complement our analysis with a recipe for constructing similar examples. Maple's support for the paper is available at https://www.math.fsu.edu/~hoeij/saga/.
2023-06-08
The sum of all width-one tensors
This paper generalizes a recent result by the authors concerning the sum of width-one matrices; in the present work, we consider width-one tensors of arbitrary dimensions. A tensor is said to have width 1 if, when visualized as an array, its nonzero entries lie along a path consisting of steps in the directions of the standard coordinate vectors. We prove two different formulas to compute the sum of all width-one tensors with fixed dimensions and fixed sum of (nonnegative integer) components. The first formula is obtained by converting width-one tensors into tuples of one-row semistandard Young tableaux; the second formula, which extracts coefficients from products of multiset Eulerian polynomials, is derived via Stanley-Reisner theory, making use of the EL-shelling of the order complex on the standard basis of tensors.
2023-06-08
Carries and a map on the space of rational functions
A paper by Boros, Little, Moll, Mosteig, and Stanley relates properties of a map defined on the space of rational functions to Eulerian polynomials. We link their work to the carries Markov chain, giving a new proof and slight generalization of one of their results.
2023-06-07 v2
Connection between Schubert polynomials and top Lascoux polynomials
Schubert polynomials form a basis of the polynomial ring. This basis and its structure constants have received extensive study. Recently, Pan and Yu initiated the study of top Lascoux polynomials. These polynomials form a basis of a subalgebra of the polynomial ring where each graded piece has finite dimension. This paper connects Schubert polynomials and top Lascoux polynomials via a simple operator. We use this connection to show these two bases share the same structure constants. We also translate several results on Schubert polynomials to top Lascoux polynomials, including combinatorial formulas for their monomial expansions and supports.
2023-06-07
Enumeration of splitting subsets of endofunctions on finite sets
Let $d$ and $n$ be positive integers such that $d|n$. Let $[n]=\{1,2,\ldots,n\}$ and $T$ be an endofunction on $[n]$. A subset $W$ of $[n]$ of cardinality $n/d$ is said to be $d$-splitting if $W \cup TW \cup \cdots \cup T^{d-1}W =[n]$. Let $σ(d;T)$ denote the number of $d$-splitting subsets. If $σ(2;T)>0$, then we show that $σ(2;T)=g_T(-1)$, where $g_T(t)$ is the generating function for the number of $T$-invariant subsets of $[n]$. It is interesting to note that substituting a root of unity into a polynomial with integer coefficients has an enumerative meaning. More generally, let $g_T(t_1,\ldots,t_d)$ be the generating function for the number of $d$-flags of $T$-invariant subsets. We prove for certain endofunctions $T$, if $σ(d;T)>0$, then $σ(d;T)=g_T(ζ,ζ^2,\ldots,ζ^d)$, where $ζ$ is a primitive $d^{th}$ root of unity.
2023-06-06 v3
New scattered sequences of order 3
Scattered sequences are a generalization of scattered polynomials. So far, only scattered sequences of order one and two have been constructed. In this paper an infinite family of scattered sequences of order three is obtained. Equivalence issues are also considered.
2023-06-06 v2
Representative set statements for delta-matroids and the Mader delta-matroid
We present representative sets-style statements for linear delta-matroids, which are set systems that generalize matroids, with important connections to matching theory and graph embeddings. Furthermore, our proof uses a new approach of sieving polynomial families, which generalizes the linear algebra approach of the representative sets lemma to a setting of bounded-degree polynomials. The representative sets statements for linear delta-matroids then follow by analyzing the Pfaffian of the skew-symmetric matrix representing the delta-matroid. Applying the same framework to the determinant instead of the Pfaffian recovers the representative sets lemma for linear matroids. Altogether, this significantly extends the toolbox available for kernelization. As an application, we show an exact sparsification result for Mader networks: Let $G=(V,E)$ be a graph and $\mathcal{T}$ a partition of a set of terminals $T \subseteq V(G)$, $|T|=k$. A $\mathcal{T}$-path in $G$ is a path with endpoints in distinct parts of $\mathcal{T}$ and internal vertices disjoint from $T$. In polynomial time, we can derive a graph $G'=(V',E')$ with $T \subseteq V(G')$, such that for every subset $S \subseteq T$ there is a packing of $\mathcal{T}$-paths with endpoints $S$ in $G$ if and only if there is one in $G'$, and $|V(G')|=O(k^3)$. This generalizes the (undirected version of the) cut-covering lemma, which corresponds to the case that $\mathcal{T}$ contains only two blocks. To prove the Mader network sparsification result, we furthermore define the class of Mader delta-matroids, and show that they have linear representations. This should be of independent interest.
2023-06-06 v6
Asymptotic expansions relating to the lengths of longest monotone subsequences of involutions
Published in Exp. Math. 34: 578-622 (2025) • View PublicationBIB
We study the distribution of the length of longest monotone subsequences in random (fixed-point free) involutions of $n$ integers as $n$ grows large, establishing asymptotic expansions in powers of $n^{-1/6}$ in the general case and in powers of $n^{-1/3}$ in the fixed-point free cases. Whilst the limit laws were shown by Baik and Rains to be one of the Tracy-Widom distributions $F_β$ for $β=1$ or $β=4$, we find explicit analytic expressions of the first few expansion terms as linear combinations of higher order derivatives of $F_β$ with rational polynomial coefficients. Our derivation is based on a concept of generalized analytic de-Poissonization and is subject to the validity of certain hypotheses for which we provide compelling (computational) evidence. In a preparatory step expansions of the hard-to-soft edge transition laws of L$β$E are studied, which are lifted into expansions of the generalized Poissonized length distributions for large intensities. (This paper continues our work arXiv:2301.02022, which established similar results in the case of general permutations and $β=2$.)
2023-06-05
Realizable Dimension of Periodic Frameworks
Belk and Connelly introduced the realizable dimension $\textrm{rd}(G)$ of a finite graph $G$, which is the minimum nonnegative integer $d$ such that every framework $(G,p)$ in any dimension admits a framework in $\mathbb{R}^d$ with the same edge lengths. They characterized finite graphs with realizable dimension at most $1$, $2$, or $3$ in terms of forbidden minors. In this paper, we consider periodic frameworks and extend the notion to $\mathbb{Z}$-symmetric graphs. We give a forbidden minor characterization of $\mathbb{Z}$-symmetric graphs with realizable dimension at most $1$ or $2$, and show that the characterization can be checked in polynomial time for given quotient $\mathbb{Z}$-labelled graphs.