polynomial
11184 papers tagged with this keyword
On the Elementary Proof of the Inverse Erdős-Heilbronn Problem
In this article, we studied the inverse Erdős-Heilbronn problem with the restricted sumset from two components $A$ and $B$ that are not necessarily the same. We give a completely elementary proof for the problem in $\mathbb{Z}$ and some partial results that contributes to the elementary proof of the problem in $\mathbb{Z}/p\mathbb{Z}$, avoiding the usage of the powerful polynomial method and the Combinatorial Nullstellensatz.
Stirling numbers for complex reflection groups
In an earlier paper, we defined and studied q-analogues of the Stirling numbers of both types for the Coxeter group of type B. In the present work, we show how this approach can be extended to all irreducible complex reflection groups G. The Stirling numbers of the first and second kind are defined via the Whitney numbers of the first and second kind, respectively, of the intersection lattice of G. For the groups G(m,p,n), these numbers and polynomials can be given combinatorial interpretations in terms of various statistics. The ordered version of ths q-Stirling numbers of the second kind also show up in conjectured Hilbert series for certain super coinvariant algebras.
Solvable and Nilpotent Matroids: Realizability and Irreducible Decomposition of Their Associated Varieties
We introduce the families of solvable and nilpotent matroids, examining their realization spaces, closures, and associated matroid and circuit varieties. We study their realizability, as well as the irreducible decomposition of their associated matroid and circuit varieties. Additionally, we describe a finite generating set for the corresponding ideals, considered up to radical. We establish sufficient conditions for both the realizability of these matroids and the irreducibility of their associated varieties. Specifically, we establish the realizability and irreducibility of matroid varieties associated with nilpotent matroids and prove the irreducibility of matroid varieties arising from certain classes of solvable paving matroids. Additionally, we analyze the defining polynomial equations of these varieties using Grassmann-Cayley algebra and geometric liftability techniques. Furthermore, we provide a complete generating set for the matroid ideals associated with forest configurations.
Blowups of triangle-free graphs
Published in Advances in Combinatorics 2025:10, 23pp
• View Publication
• BIB
A highly influential result of Nikiforov states that if an $n$-vertex graph $G$ contains at least $γn^h$ copies of a fixed $h$-vertex graph $H$, then $G$ contains a blowup of $H$ of order $Ω_{γ,H}(\log n)$. While the dependence on $n$ is optimal, the correct dependence on $γ$ is unknown; all known proofs yield bounds that are polynomial in $γ$, but the best known upper bound, coming from random graphs, is only logarithmic in $γ$. It is a major open problem to narrow this gap. We prove that if $H$ is triangle-free, then the logarithmic behavior of the upper bound is the truth. That is, under the assumptions above, $G$ contains a blowup of $H$ of order $Ω_H (\log n/{\log(1/γ)})$. This is the first non-trivial instance where the optimal dependence in Nikiforov's theorem is known. As a consequence, we also prove an upper bound on multicolor Ramsey numbers of blowups of triangle-free graphs, proving that the dependence on the number of colors is polynomial once the blowup is sufficiently large. This shows that, from the perspective of multicolor Ramsey numbers, blowups of fixed triangle-free graphs behave like bipartite graphs.
Partitions and elementary symmetric polynomials -- an experimental approach
Given a partition $λ$, we write $e_j(λ)$ for the $j^{\textrm{th}}$ elementary symmetric polynomial $e_j$ evaluated at the parts of $λ$ and $e_jp_A(n)$ for the sum of $e_j(λ)$ as $λ$ ranges over the set of partitions of $n$ with parts in $A$. For $e_jp_A(n)$, we prove analogs of the classical formula for the partition function, $p(n)=1/n \sum_{k=0}^{n-1}σ_1(n-k)p(k)$, where $σ_1$ is the sum of divisors function. We prove several congruences for $e_2p_4(n)$, the sum of $e_2$ over the set of partitions of $n$ into four parts. Define the function $\textrm{pre}_j(λ)$ to be the multiset of monomials in $e_j(λ)$, which is itself a partition. If $\mathcal A$ is a set of partitions, we define $\textrm{pre}_j(\mathcal A)$ to be the set of partitions $\textrm{pre}_j(λ)$ as $λ$ ranges over $\mathcal A$. If $\mathcal P(n)$ is the set of all partitions of $n$, we conjecture that the number of odd partitions in $\textrm{pre}_2(\mathcal P(n))$ is at least the number of distinct partitions. We prove some results about $\textrm{pre}_2(\mathcal B(n))$, where $\mathcal B(n)$ is the set of binary partitions of $n$. We conclude with conjectures on the log-concavity of functions related to $e_jp(n)$, the sum of $e_j(λ)$ for all $λ\in \mathcal P(n)$.
A determinant formula of the Jones polynomial for a family of braids
In 2012, Cohen, Dasbach, and Russell presented an algorithm to construct a weighted adjacency matrix for a given knot diagram. In the case of pretzel knots, it is shown that after evaluation, the determinant of the matrix recovers the Jones polynomial. Although the Jones polynomial is known to be #P-hard by Jaeger, Vertigan, and Welsh, this presents a class of knots for which the Jones polynomial can be computed in polynomial time by using the determinant. In this paper, we extend these results by recovering the Jones polynomial as the determinant of a weighted adjacency matrix for certain subfamilies of the braid group. Lastly, we compute the Kauffman polynomial of (2,q) torus knots in polynomial time using the balanced overlaid Tait graphs. This is the first known example of generalizing the methodology of Cohen to a class of quantum invariants which cannot be derived from the HOMFLYPT polynomial.
Preservation of inequalities under Hadamard products
Wagner (1992) proved that the Hadamard product of two Pólya frequency sequences that are interpolated by polynomials is again a Pólya frequency sequence. We study whether related combinatorial properties are preserved under Hadamard products. In particular, we show that ultra log-concavity, $γ$-positivity, and interlacing symmetric decompositions are preserved. Furthermore, we disprove a conjecture by Fischer and Kubitzke (2014) concerning the real-rootedness of Hadamard powers.
A closed formula for linear recurrences with constant coefficients
Given a linear recurrence of the form $c_n=a_1c_{n-1}+\cdots+a_j c_{n-j}$, it is well-known that $c_n=\sum_{r}p_r(n)r^n$, where the sum is taken over the set of characteristic roots and each $p_r(n)$ is some polynomial. We give a closed formula for the coefficients of each polynomial $p_r(n)$ for any linear recurrence of this form.
The domination polynomial of powers of paths and cycles
A dominating set in a graph is a set of vertices with the property that every vertex in the graph is either in the set or adjacent to something in the set. The domination sequence of the graph is the sequence whose $k$th term is the number of dominating sets of size $k$.
Alikhani and Peng have conjectured that the domination sequence of every graph is unimodal. Beaton and Brown verified this conjecture for paths and cycles. Here we extend this to arbitrary powers of paths and cycles.
The nucleus of a $Q$-polynomial distance-regular graph
Let $Γ$ denote a $Q$-polynomial distance-regular graph with diameter $D\geq 1$. For a vertex $x$ of $Γ$ the corresponding subconstituent algebra $T=T(x)$ is generated by the adjacency matrix $A$ of $Γ$ and the dual adjacency matrix $A^*=A^*(x)$ of $Γ$ with respect to $x$. We introduce a $T$-module $\mathcal N = \mathcal N(x)$ called the nucleus of $Γ$ with respect to $x$. We describe $\mathcal N$ from various points of view. We show that all the irreducible $T$-submodules of $\mathcal N$ are thin. Under the assumption that $Γ$ is a nonbipartite dual polar graph, we give an explicit basis for $\mathcal N$ and the action of $A, A^*$ on this basis. The basis is in bijection with the set of elements for the projective geometry $L_D(q)$, where $GF(q)$ is the finite field used to define $Γ$.
Limit shapes and fluctuations for $(GL_n, GL_k)$ skew Howe duality
We consider the probability measures on Young diagrams in the $n \times k$ rectangle obtained by piecewise-continuously differentiable specializations of Schur polynomials in the dual Cauchy identity. We use a free fermionic representation of the correlation kernel to study its asymptotic behavior and derive the uniform convergence to a limit shape of Young diagrams in the limit $n,k \to \infty$. More specifically, we show the bulk is the discrete sine kernel with boundary fluctuations generically given by the Tracy-Widom distribution with the Airy kernel. When our limit shape touches the boundary corner of the rectangle, the fluctuations with a second order correction are given by the discrete Hermite kernel, and we recover the discrete distribution of Gravner-Tracy-Widom (2001) [arXiv:math/0005133] restricting to the leading order. Finally, we demonstrate our limit shapes can have sections with no or full density of particles, where the Pearcey kernel appears when such a section is infinitely small.
Decorated square paths at q=-1
The valley Delta square conjecture states that the symmetric function $\frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n)$ can be expressed as the enumerator of a certain class of decorated square paths with respect to the bistatistic (dinv,area). Inspired by recent positivity results of Corteel, Josuat-Vergès, and Vanden Wyngaerd, we study the evaluation of this enumerator at $q=-1$. By considering a cyclic group action on the decorated square paths which we call cutting and pasting, we show that $\left.\left\langle \frac{[n-k]_q}{[n]_q}Δ_{e_{n-k}}ω(p_n), h_1^n\right\rangle\right|_{q=-1}$ is $0$ whenever $n-k$ is even, and is a positive polynomial related to the Euler numbers when $n-k$ is odd. We also show that the combinatorics of this enumerator is closely connected to that of the Dyck path enumerator for $\langleΔ_{e_{n-k-1}}'e_n,h_1^n\rangle$ considered by Corteel-Josuat Vergès-Vanden Wyngaerd.
Recursive algorithm and log-concavity of representations on the cohomology of $\overline{\mathcal M}_{0,n}$
We provide a programmable recursive algorithm for the $\mathbb{S}_n$-representations on the cohomology of the moduli spaces $\overline{\mathcal M}_{0,n}$ of $n$-pointed stable curves of genus 0. As an application, we find explicit inductive and asymptotic formulas for the invariant part $H^*(\overline{\mathcal M}_{0,n}/\mathbb{S}_n)$ and prove that its Poincaré polynomial is asymptotically log-concave. Based on numerical computations with our algorithm, we further conjecture that the sequence $\{H^{2k}(\overline{\mathcal M}_{0,n})\}$ of $\mathbb{S}_n$-modules is equivariantly log-concave.
The Reverse Littlewood--Offord problem of Erdős
Let $ε_{1},\ldots,ε_{n}$ be a sequence of independent Rademacher random variables. We prove that there is a constant $c>0$ such that for any unit vectors $v_1,\ldots,v_n\in \mathbb{R}^2$,
$$\Pr\left[||ε_1 v_1+\ldots+ε_n v_n||_2 \leq \sqrt{2}\right]\geq \frac{c}{n}.$$
This resolves the only remaining conjecture from the seminal paper of Erdős on the Littlewood--Offord problem, and it is sharp both in the sense that the constant $\sqrt{2}$ cannot be reduced and that the magnitude $n^{-1}$ is best possible. We also prove polynomial bounds for the analogous problem in higher dimensions.
Dimer face polynomials in knot theory and cluster algebras
The set of perfect matchings of a connected bipartite plane graph $G$ has the structure of a distributive lattice, as shown by Propp, where the partial order is induced by the height of a matching. In this article, our focus is the dimer face polynomial of $G$, which is the height generating function of all perfect matchings of $G$. We connect the dimer face polynomial on the one hand to knot theory, and on the other to cluster algebras. We show that certain dimer face polynomials are multivariate generalizations of Alexander polynomials of links, highlighting another combinatorial view of the Alexander polynomial. We also show that an arbitrary dimer face polynomial is an $F$-polynomial in the cluster algebra whose initial quiver is dual to the graph $G$. As a result, we recover a recent representation theoretic result of Bazier-Matte and Schiffler that connects $F$-polynomials and Alexander polynomials, albeit from a very different, dimer-based perspective. As another application of our results, we also show that all nonvanishing Plücker coordinates on open positroid varieties are cluster monomials.
A q-analogue of graph independence polynomials with a group-theoretic interpretation
We define totally-isotropic polynomials of alternating matrix spaces over finite fields, by analogy with independence polynomials of graphs. Our main result shows that totally-isotropic polynomials of graphical alternating matrix spaces give rise to a natural q-analogue of graph independence polynomials.
For p-groups of class 2 and exponent p, this family of polynomials over fields of order p can be naturally interpreted as enumerating their abelian subgroups containing the commutator subgroup according to the orders. With this interpretation, our main result has implications to graphical groups over finite fields, in the same spirit as the results in (Bull. Lond. Math. Soc., 2022) by Rossmann, who studied enumerating conjugacy classes of graphical groups over finite fields.
Forbidden paths and cycles in the undirected underlying graph of a 2-quasi best match graph
Published
• View Publication
• BIB
The undirected underlying graph of a 2-quasi best match graph (2-qBMG) is proven not to contain any induced graph isomorphic to $P_6$ or $C_6$. This new feature allows for the investigation of 2-BMGs further by exploiting the numerous known results on $P_6$ and $C_6$ free graphs together with the available polynomial algorithms developed for their studies. In this direction, there are also some new contributions about dominating bicliques and certain vertex decompositions of the undirected underlying graph of a 2-qBMG.
Revisiting Dice Relabeling using Cyclotomic Polynomials
We continue the exploration of a question of dice relabeling posed by Gallian and Rusin: Given $n$ dice, each labeled 1 through $m$, how many ways are there to relabel the dice without changing the frequencies of the possible sums? We answer this question in the case where $n = 2$ and $m$ is a product of three prime numbers. We also explore more general questions. We find a method for decomposing two $m$-sided dice into two dice of different sizes and give some preliminary results on relabeling two dice of different sizes. Finally, we refine a result of the aforementioned authors in the case where m is a prime power.
From total positivity to pure free resolutions
Using the Jacobi-Trudi identity as a base, we establish parallels between the theory of totally positive integer sequences and Koszul algebras. We then focus on the case of quadric hypersurface rings and use this parallel to construct new analogues of Schur modules. We investigate some of their Lie-theoretic properties (and in more detail in a followup article) and use them to construct pure free resolutions for quadric hypersurface rings which are completely analogous to the construction given by Eisenbud, Fløystad, and Weyman in the case of polynomial rings.
Some results related to the slide decomposition of Schubert polynomials
The expansion of a Schubert polynomial into slide polynomials corresponds to a sum over sub-balls in the subword complex. There has been recent interest in other, coarser, expansions of Schubert polynomials. We extend the methods used in [KM04] to prove that the subword complex is a ball or a sphere to a more general method, and use it to prove that the expansion of a Schubert polynomial into forest polynomials also corresponds to a sum over sub-balls in the subword complex.
When expanding the product $\mathfrak{S}_π\mathfrak{S}_ρ$ of two Schubert polynomials into Schubert polynomials $\mathfrak{S}_σ$, there is a bijection between shuffles of reduced words for $π$ and $ρ$ and reduced words for $σ$ (counted with multiplicity). We give such a bijection for Monk's rule and Sottile's Pieri rule.
We give tableau-based definitions of slide polynomials, glide polynomials, and fundamental quasisymmetric polynomials and show that the expansion of a Schur polynomial into fundamental quasisymmetric polynomials corresponds to a sum over sub-balls in the tableau complex.
The Schubert polynomials are the cohomology classes of matrix Schubert varieties, but there is no geometric explanation of the slide polynomials. We show that the slide polynomials are not (antidiagonal) Gröbner degenerations of matrix Schubert varieties, answering in the negative a question of [ST21, Section 1.4].