polynomial
11422 papers tagged with this keyword
Möbius inversion and the bootstrap
Estimating nonlinear functionals of probability distributions from samples is a fundamental statistical problem. The "plug-in" estimator obtained by applying the target functional to the empirical distribution of samples is biased. Resampling methods such as the bootstrap derive artificial datasets from the original one by resampling. Comparing the outcome of the plug-in estimator in the original and resampled datasets allows estimating and thus correcting the bias. In the asymptotic setting, iterations of this procedure attain an arbitrarily high order of bias correction, but finite sample results are scarce. This work develops a new theoretical understanding of bootstrap bias correction by viewing it as an iterative linear solver for the combinatorial operation of Möbius inversion. It sharply characterizes the regime of linear convergence of the bootstrap bias reduction for moment polynomials. It uses these results to show its superalgebraic convergence rate for band-limited functionals. Finally, it derives a modified bootstrap iteration enabling the unbiased estimation of unknown order-$m$ moment polynomials in $m$ bootstrap iterations.
An activities expansion of the transition polynomial of a multimatroid
Published
• View Publication
• BIB
The weighted transition polynomial of a multimatroid is a generalization of the Tutte polynomial. By defining the activity of a skew class with respect to a basis in a multimatroid, we obtain an activities expansion for the weighted transition polynomial. We also decompose the set of all transversals of a multimatroid as a union of subsets of transversals. Each term in the decomposition has the structure of a boolean lattice, and each transversal belongs to a number of terms depending only on the sizes of some of its skew classes. Further expressions for the transition polynomial of a multimatroid are obtained via an equivalence relation on its bases and by extending Kochol's theory of compatible sets.
We apply our multimatroid results to obtain a result of Morse about the transition polynomial of a delta-matroid and get a partition of the boolean lattice of subsets of elements of a delta-matroid determined by the feasible sets. Finally, we describe how multimatroids arise from graphs embedded in surfaces and apply our results to obtain an activities expansion for the topological transition polynomial. Our work extends results for the Tutte polynomial of a matroid.
Key-avoidance for alternating sign matrices
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:1, Permutation Patterns 2024, Special issues (March 13, 2025) dmtcs:14058
• View Publication
• BIB
We initiate a systematic study of key-avoidance on alternating sign matrices (ASMs) defined via pattern-avoidance on an associated permutation called the \emph{key} of an ASM. We enumerate alternating sign matrices whose key avoids a given set of permutation patterns in several instances. We show that ASMs whose key avoids $231$ are permutations, thus any known enumeration for a set of permutation patterns including $231$ extends to ASMs. We furthermore enumerate by the Catalan numbers ASMs whose key avoids both $312$ and $321$. We also show ASMs whose key avoids $312$ are in bijection with the gapless monotone triangles of [Ayyer, Cori, Gouyou-Beauchamps 2011]. Thus key-avoidance generalizes the notion of $312$-avoidance studied there. Finally, we enumerate ASMs with a given key avoiding $312$ and $321$ using a connection to Schubert polynomials, thereby deriving an interesting Catalan identity.
Unimodality and certain bivariate formal Laurent series
Published in European Journal of Combinatorics, 2025
• View Publication
• BIB
In this paper, we examine the unimodality and strict unimodality of certain formal bivariate Laurent series with non-negative coefficients. We show that the sets of these formal bivariate Laurent series form commutative semirings under the operations of addition and multiplication of formal Laurent series. This result is used to establish the unimodality of sequences involving Gauss polynomials and certain refined color partitions. In particular, we solve an open problem posed by Andrews on the unimodality of generalized Gauss polynomials and establish an unimodal result for a statistic of plane partitions. We also establish many unimodal results for rank statistics in partition theory, including the rank statistics of concave and convex compositions studied by Andrews, as well as certain unimodal sequences studied by Kim-Lim-Lovejoy. Additionally, we establish the unimodality of the Betti numbers and Gromov-Witten invariants of certain Hilbert schemes of points.
Symmetric nonnegative functions, the tropical Vandermonde cell and superdominance of power sums
Published
• View Publication
• BIB
We study nonnegative and sums of squares symmetric (and even symmetric) functions of fixed degree. We can think of these as limit cones of symmetric nonnegative polynomials and symmetric sums of squares of fixed degree as the number of variables goes to infinity. We compare these cones, including finding explicit examples of nonnegative polynomials which are not sums of squares for any sufficiently large number of variables, and compute the tropicalizations of their dual cones in the even symmetric case. We find that the tropicalization of the dual cones is naturally understood in terms of the overlooked superdominance order on partitions. The power sum symmetric functions obey this same partial order (analogously to how term-normalized power sums obey the dominance order).
Deterministic approximate counting of colorings with fewer than $2Δ$ colors via absence of zeros
Published in TheoretiCS, Volume 5 (2026), Article 1, 1-41
• View Publication
• BIB
Let $Δ,q\geq 3$ be integers. We prove that there exists $η\geq 0.002$ such that if $q\geq (2-η)Δ$, then there exists an open set $\mathcal{U}\subset \mathbb{C}$ that contains the interval $[0,1]$ such that for each $w\in \mathcal{U}$ and any graph $G=(V,E)$ of maximum degree at most $Δ$, the partition function of the anti-ferromagnetic $q$-state Potts model evaluated at $w$ does not vanish. This provides a (modest) improvement on a result of Liu, Sinclair, and Srivastava, and breaks the $q=2Δ$-barrier for this problem.
As a direct consequence we obtain via Barvinok's interpolation method a deterministic polynomial time algorithm to approximate the number of proper $q$-colorings of graphs of maximum degree at most $Δ$, provided $q\geq (2-η)Δ$.
On $\mathbb N$-Coefficient Binomial Polynomiality of Hurwitz Numbers and Generalized Dessin Counting
In this paper, we study a certain type of Hurwitz numbers which count branched covers over the Riemann sphere admitting several branch points with fixed ramification types, one branch point with a fixed number of preimages, and one branch point with an arbitrary ramification type. We prove that the dependence of this kind of Hurwitz numbers on parts of the ramification type over the last point is a polynomial. Moreover, when expanding this polynomial in terms of products of binomial coefficients, we show that the coefficients are always non-negative integers via a pure combinatorial method. Our result generalizes the polynomiality in several models, including the one-part double Hurwitz numbers studied by Goulden-Jackson-Vakil, the one-part double Hurwitz numbers with completed cycles studied by Shadrin-Spitz-Zvonkine, and the generalized dessin counting.
Local permutation polynomials and their companions
Published
• View Publication
• BIB
Gutierrez and Urroz (2023) have proposed a family of local permutation polynomials over finite fields of arbitrary characteristic based on a class of symmetric subgroups without fixed points called $e$-Klenian groups. The polynomials within this family are referred to as $e$-Klenian polynomials. Furthermore, they have shown the existence of companions for the $e$-Klenian polynomials when the characteristic of the finite field is odd. Here, we present three new families of local permutation polynomials over finite fields of even characteristic. We also consider the problem of the existence of companions for the $e$-Klenian polynomials over finite fields of even characteristic. More precisely, we prove that over finite fields of even characteristic, the $0$-Klenian polynomials do not have any companions. However, for $e \geq 1$, we explicitly provide a companion for the $e$-Klenian polynomials. Moreover, we provide a companion for each of the new families of local permutation polynomials that we introduce.
Combinatorial Nullstellensatz Techniques
We present different techniques for applying Combinatorial Nullstellensatz to polynomials over finite fields. For examples, we generalize theorems from Noga Alon's paper on the subject, and present a few of our own.
Rapid mixing of the down-up walk on matchings of a fixed size
Let $G = (V,E)$ be a graph on $n$ vertices and let $m^*(G)$ denote the size of a maximum matching in $G$. We show that for any $δ> 0$ and for any $1 \leq k \leq (1-δ)m^*(G)$, the down-up walk on matchings of size $k$ in $G$ mixes in time polynomial in $n$. Previously, polynomial mixing was not known even for graphs with maximum degree $Δ$, and our result makes progress on a conjecture of Jain, Perkins, Sah, and Sawhney [STOC, 2022] that the down-up walk mixes in optimal time $O_{Δ,δ}(n\log{n})$.
In contrast with recent works analyzing mixing of down-up walks in various settings using the spectral independence framework, we bound the spectral gap by constructing and analyzing a suitable multi-commodity flow. In fact, we present constructions demonstrating the limitations of the spectral independence approach in our setting.
Jacobi polynomials, invariant rings, and generalized $t$-designs
Published
• View Publication
• BIB
In the present paper, we provide results that relate the Jacobi polynomials in genus $g$. We show that if a code is $t$-homogeneous that is, the codewords of the code for every given weight hold a $t$-design, then its Jacobi polynomial in genus $g$ with composition $T$ with $|T|\leq t$ can be obtained from its weight enumerator in genus~$g$ using the polarization operator. Using this fact, we investigate the invariant ring, which relates the homogeneous Jacobi polynomials of the binary codes in genus $g$. Specifically, the generators of the invariant ring appearing for $g=1$ are obtained. Moreover, we define the split Jacobi polynomials in genus~$g$ and obtain the MacWilliams type identity for it. A split generalization for higher genus cases of the relation between the Jacobi polynomials and weight enumerator of a $t$-homogeneous code also given.
Combinatorics of $q$-Mahonian numbers of type $B$ and log-concavity
Published
• View Publication
• BIB
This paper is a continuation of earlier work of Arslan \cite{Ars}, who introduced the Mahonian number of type $B$ by using a new statistic on the hyperoctahedral group $B_{n}$, in response to questions he suggested in his paper entitled "{\it A combinatorial interpretation of Mahonian numbers of type $B$}" published in arXiv:2404.05099v1. We first give the Knuth-Netto formula and generating function for the subdiagonals on or below the main diagonal of the Mahonian numbers of type $B$, then its combinatorial interpretations by lattice path/partition and tiling. Next, we propose a $q$-analogue of Mahonian numbers of type $B$ by using a new statistics on the permutations of the hyperoctahedral group $B_n$ that we introduced, then we study their basic properties and their combinatorial interpretations by lattice path/partition and tiling. Finally, we prove combinatorially that the $q$-analogue of Mahonian numbers of type $B$ form a strongly $q$-log-concave sequence of polynomials in $k$, which implies that the Mahonian numbers of type $B$ form a log-concave sequence in $k$ and therefore unimodal.
Incidence geometry and polynomial expansion over finite fields
Published
• View Publication
• BIB
We use spectral theory and algebraic geometry to establish a higher-degree analogue of a Szemerédi--Trotter-type theorem over finite fields, with an application to polynomial expansion.
$q$-Supercongruences for multidimensional series modulo the sixth power of a cyclotomic polynomial
With the help of El Bachraoui's lemma, the creative microscoping method, and a new form of the Chinese remainder theorem for coprime polynomials, we prove a $q$-supercongruence for double series and a $q$-supercongruence for triple series modulo the sixth power of a cyclotomic polynomial. As conclusions, two corresponding supercongruences for double and triple series, which are associated with the (D.2) supercongruence of Van Hamme, are given.
The commutant of divided difference operators, Klyachko's genus, and the comaj statistic
Published in Seminaire Lotharingien de Combinatoire, 91B (2024)
• Search Publication
In [Hamaker-Pechenik-Speyer-Weigandt, Nenashev, Pechenik-Weigandt] are studied certain operators on polynomials and power series that commute with all divided difference operators $\partial_i$. We introduce a second set of "martial" operators {\martial_i} that generate the full commutant, and show how a Hopf-algebraic approach naturally reproduces the operators $ξ^ν$ from [Nenashev]. We then pause to study Klyachko's homomorphism $H^*(Fl(n)) \to H^*($the permutahedral toric variety$)$, and extract the part of it relevant to Schubert calculus, the "affine-linear genus''. This genus is then re-obtained using Leibniz combinations of the {\martial_i}. We use Nadeau-Tewari's $q$-analogue of Klyachko's genus to study the equidistribution of $\ell$ and comaj on $[n]\choose k$, generalizing known results on $S_n$.
Rumour Spreading Depends on the Latent Geometry and Degree Distribution in Social Network Models
Published
• View Publication
• BIB
We study push-pull rumour spreading in ultra-small-world models for social networks where the degrees follow a power-law distribution. In a non-geometric setting, Fountoulakis, Panagiotou and Sauerwald have shown that rumours always spread ultra-fast (SODA 2012), i.e. in doubly logarithmic time. On the other hand, Janssen and Mehrabian have found that rumours spread slowly (polynomial time) in a spatial preferential attachment model (SIDMA 2017). We study the question systematically for the model of Geometric Inhomogeneous Random Graphs (GIRGs). Our results are two-fold: first, with Euclidean geometry slow, fast (polylogarithmic) and ultra-fast rumour spreading may occur, depending on the exponent of the power law and the strength of the geometry in the networks, and we fully characterise the phase boundaries in between. The regimes do not coincide with the graph distance regimes, i.e., polylogarithmic or even polynomial rumour spreading may occur even if graph distances are doubly logarithmic. We expect these results to hold with little effort for related models, e.g. Scale-Free Percolation. Second, we show that rumour spreading is always (at least) fast in a non-metric geometry. The considered non-metric geometry allows to model social connections where resemblance of vertices in a single attribute, such as familial kinship, already strongly indicates the presence of an edge. Euclidean geometry fails to capture such ties.
For some regimes in the Euclidean setting, the efficient pathways for spreading rumours differ from previously identified paths. For example, a vertex of degree $d$ can transmit the rumour to a vertex of larger degree by a chain of length $3$, where one of the two intermediaries has constant degree, and the other has degree $d^{c}$ for some constant $c<1$. Similar but longer chains of vertices, all having non-constant degree, turn out to be useful as well.
Coloring bridge-free antiprismatic graphs
Published
• View Publication
• BIB
The coloring problem is a well-research topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs.
A graph $G$ is prismatic if for every triangle $T$ of $G$, every vertex of $G$ not in $T$ has a unique neighbor in $T$. A graph is co-bridge-free if it has no $C_4+2K_1$ as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon.
We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.
Finite Dynamical Laminations
We develop several combinatorial notions about laminations, some with clear implications for parameter space. We introduce a simplified class of laminations called finite dynamical laminations (FDL). In order to count FDL, we introduce sibling portraits, of which we provide a comprehensive counting theorem. We provide a characterization of which periodic polygons appear in invariant laminations. We introduce the pullback tree. The base of the pullback tree is a set of laminations, and we show that those laminations are proper and invariant, and all laminations in the base of the pullback tree correspond to a polynomial. We define the generational FDL graph, and it provides combinatorial information about polynomial parameter space.
Proof of a $K$-theoretic polynomial conjecture of Monical, Pechenik, and Searles
Published in Advances in Applied Mathematics, Volume 171, December 2025
• View Publication
• BIB
As part of a program to develop $K$-theoretic analogues of combinatorially important polynomials, Monical, Pechenik, and Searles (2021) proved two expansion formulas $\overline{\mathfrak{A}}_a = \sum_b Q_b^a(β)\overline{\mathfrak{P}}_b$ and $\overline{\mathfrak{Q}}_a = \sum_b M_b^a(β)\overline{\mathfrak{F}}_b,$ where each of $\overline{\mathfrak{A}}_a$, $\overline{\mathfrak{P}}_a$, $\overline{\mathfrak{Q}}_a$ and $\overline{\mathfrak{F}}_a$ is a family of polynomials that forms a basis for $\mathbb{Z}[x_1,\dots,x_n][β]$ indexed by weak compositions $a,$ and $Q_b^a(β)$ and $M_b^a(β)$ are monomials in $β$ for each pair $(a,b)$ of weak compositions. The polynomials $\overline{\mathfrak{A}}_a$ are the Lascoux atoms, $\overline{\mathfrak{P}}_a$ are the kaons, $\overline{\mathfrak{Q}}_a$ are the quasiLascoux polynomials, and $\overline{\mathfrak{F}}_a$ are the glide polynomials; these are respectively the $K$-analogues of the Demazure atoms $\mathfrak{A}_a$, the fundamental particles $\mathfrak{P}_a$, the quasikey polynomials $\mathfrak{Q}_a$, and the fundamental slide polynomials $\mathfrak{F}_a$. Monical, Pechenik, and Searles conjectured that for any fixed $a,$ $\sum_b Q_b^a(-1), \sum_b M_b^a(-1) \in \{0,1\},$ where $b$ ranges over all weak compositions. We prove this conjecture using a sign-reversing involution.
A power sum expansion for the Kromatic symmetric function
Published in Discrete Math Volume 349, Issue 5, May 2026, 114957
• View Publication
• BIB
The chromatic symmetric $X_G$ function is a symmetric function generalization of the chromatic polynomial of a graph, introduced by Stanley (1995). Stanley gave an expansion formula for $X_G$ in terms of the power sum symmetric functions $p_λ$ using the principle of inclusion-exclusion, and in arXiv:1904.01262, Bernardi and Nadeau gave an alternate $p$-expansion for $X_G$ in terms of acyclic orientations. In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-theoretic analogue of $X_G$, constructed in the same way except that each vertex is assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. They defined a $K$-analogue $\overline{p}_λ$ of the power sum basis and computed the first few coefficients of the $\overline{p}$-expansion of $\overline{X}_G$ for some small graphs $G$. They conjectured that the $\overline{p}$-expansion always has integer coefficients and asked whether there is an explicit formula for these coefficients. In this note, we give a formula for the $\overline{p}$-expansion of $\overline{X}_G$, show two ways to compute the coefficients recursively (along with examples), and prove that the coefficients are indeed always integers. In a more recent paper arXiv:2502.21285, we use our formula from this note to give a combinatorial description of the $\overline{p}$-coefficients $[\overline{p}_λ]\overline{X}_G$ and a simple characterization of their signs in the case of unweighted graphs.