polynomial
11184 papers tagged with this keyword
Moments of the Poisson distribution of order $k$
The factorial moments of the standard Poisson distribution are well known and are simple, but the raw moments are considered to be more complicated (Touchard polynomials). The present note presents a recurrence relation and an explicit combinatorial sum for the raw moments of the Poisson distribution of order $k$. Unlike the standard Poisson distribution (the case $k=1$), for $k>1$ the structure of the raw and factorial moments have many similarities and the raw moments are not more complicated (formally, at least) than the factorial moments. We remark briefly on the central moments (i.e.~moments centered on the mean) of the Poisson distribution of order $k$.
Equivariant Tutte Polynomial
Published in Discrete Comput. Geom. (2025)
• View Publication
• BIB
We use the equivariant cohomology ring of the permutohedral variety to study matroids and their invariants. Investigating the pushforward of matroid Chern classes defined by A. Berget, C. Eur, H. Spink and D. Tseng to the product space $\mathbb{P}^n \times \mathbb{P}^n$, we establish an equivariant generalization of the Tutte polynomial of a matroid. This was suggested in a survey paper by M.Michałek. We discuss how this polynomial encodes properties of the matroid by looking at special evaluations. We further introduce an equivariant generalization of the reduced characteristic polynomial of a matroid.
A unified continuous greedy algorithm for $k$-submodular maximization under a down-monotone constraint
A $k$-submodular function is a generalization of the submodular set function. Many practical applications can be modeled as maximizing a $k$-submodular function, such as multi-cooperative games, sensor placement with $k$ type sensors, influence maximization with $k$ topics, and feature selection with $k$ partitions. In this paper, we provide a unified continuous greedy algorithm for $k$-submodular maximization problem under a down-monotone constraint. Our technique involves relaxing the discrete variables in a continuous space by using the multilinear extension of $k$-submodular function to find a fractional solution, and then rounding it to obtain the feasible solution. Our proposed algorithm runs in polynomial time and can be applied to both the non-monotone and monotone cases. When the objective function is non-monotone, our algorithm achieves an approximation ratio of $(1/e-o(1))$; for a monotone $k$-submodular objective function, it achieves an approximation ratio of $(1-1/e-o(1))$.
On the size and complexity of scrambles
The scramble number of a graph, a natural generalization of bramble number, is an invariant recently developed to study chip-firing games and graph gonality. We introduce the carton number of a graph, defined to be the minimum size of a maximum order scramble, to study the computational complexity of scramble number. We show that there exist graphs with carton number exponential in the size of the graph, proving that scrambles are not valid NP certificates. We characterize families of graphs whose scramble number and gonality can be constant-factor approximated in polynomial time and show that the disjoint version of scramble number is fixed parameter tractable. Lastly, we find that vertex congestion is an upper bound on screewidth and thus scramble number, leading to a new proof of the best known bound on the treewidth of line graphs and a bound on the scramble number of planar graphs with bounded degree.
Calibrated representations of the double Dyck path algebra
The double Dyck path algebra $\mathbb{A}_{q,t}$ and its polynomial representation first arose as a key figure in the proof of the celebrated Shuffle Theorem of Carlsson and Mellit. A geometric formulation for an equivalent algebra $\mathbb{B}_{q,t}$ was then given by the second author and Carlsson and Mellit using the K-theory of parabolic flag Hilbert schemes. In this article, we initiate the systematic study of the representation theory of the double Dyck path algebra $\mathbb{B}_{q,t}$. We define a natural extension of this algebra and study its calibrated representations. We show that the polynomial representation is calibrated, and place it into a large family of calibrated representations constructed from posets satisfying certain conditions. We also define tensor products and duals of these representations, thus proving (under suitable conditions) the category of calibrated representations is generically monoidal. As an application, we prove that tensor powers of the polynomial representation can be constructed from the equivariant K-theory of parabolic Gieseker moduli spaces.
Exploring unimodality of the plucking polynomial with delay function
The plucking polynomial is an invariant of rooted trees with connections to knot theory. The polynomial was constructed in 2014 as a tool to analyze lattice crossings after taking the quotient by the Kauffman bracket skein relations. In this paper we study the plucking polynomial and the plucking polynomial with delay function. We present a formula for the plucking polynomial of hedgehog rooted trees and explore the unimodality of this polynomial. In particular, we consider an anti-unimodal delay function and a delay function with a specific image set. Furthermore, we present a number of interesting examples and make some speculations on the unimodality of plucking polynomials with delay functions of hedgehog rooted trees.
Dual Schubert polynomials via a Cauchy identity
We give a combinatorial proof that Postnikov and Stanley's formula for dual Schubert polynomials in terms of weighted chains in Bruhat order is equivalent to a classical Cauchy identity for polynomials. This gives a natural interpretation of Huang and Pylyavskyy's recent insertion algorithms.
Packing even directed circuits quarter-integrally
We prove the existence of a computable function $f\colon\mathbb{N}\to\mathbb{N}$ such that for every integer $k$ and every digraph $D$ either contains a collection $\mathcal{C}$ of $k$ directed cycles of even length such that no vertex of $D$ belongs to more than four cycles in $\mathcal{C}$, or there exists a set $S\subseteq V(D)$ of size at most $f(k)$ such that $D-S$ has no directed cycle of even length. Moreover, we provide an algorithm that finds one of the two outcomes of this statement in time $g(k)n^{\mathcal{O}(1)}$ for some computable function $g\colon \mathbb{N}\to\mathbb{N}$.
Our result unites two deep fields of research from the algorithmic theory for digraphs: The study of the Erdős-Pósa property of digraphs and the study of the Even Dicycle Problem. The latter is the decision problem which asks if a given digraph contains an even dicycle and can be traced back to a question of Pólya from 1913. It remained open until a polynomial time algorithm was finally found by Robertson, Seymour, and Thomas (Ann. of Math. (2) 1999) and, independently, McCuaig (Electron. J. Combin. 2004; announced jointly at STOC 1997). The Even Dicycle Problem is equivalent to the recognition problem of Pfaffian bipartite graphs and has applications even beyond discrete mathematics and theoretical computer science. On the other hand, Younger's Conjecture (1973), states that dicycles have the Erdős-Pósa property. The conjecture was proven more than two decades later by Reed, Robertson, Seymour, and Thomas (Combinatorica 1996) and opened the path for structural digraph theory as well as the algorithmic study of the directed feedback vertex set problem. Our approach builds upon the techniques used to resolve both problems and combines them into a powerful structural theorem that yields further algorithmic applications for other prominent problems.
Mirković-Vilonen Polytopes from Combinatorics
Mirković-Vilonen (MV) polytopes are a class of generalized permutahedra originating from geometric representation theory. In this paper we study MV polytopes coming from matroid polytopes, flag matroid polytopes, Bruhat interval polytopes, and Schubitopes. We give classifications and combinatorial conditions for when these polytopes are MV polytopes. We also describe how the crystal structure on MV polytopes manifests combinatorially in these situations. As a special case, we show that the Newton polytopes of Schubert polynomials and key polynomials are MV polytopes.
On the Complexity of the Median and Closest Permutation Problems
Genome rearrangements are events where large blocks of DNA exchange places during evolution. The analysis of these events is a promising tool for understanding evolutionary genomics, providing data for phylogenetic reconstruction based on genome rearrangement measures. Many pairwise rearrangement distances have been proposed, based on finding the minimum number of rearrangement events to transform one genome into the other, using some predefined operation. When more than two genomes are considered, we have the more challenging problem of rearrangement-based phylogeny reconstruction. Given a set of genomes and a distance notion, there are at least two natural ways to define the "target" genome. On the one hand, finding a genome that minimizes the sum of the distances from this to any other, called the median genome. Finding a genome that minimizes the maximum distance to any other, called the closest genome. Considering genomes as permutations, some distance metrics have been extensively studied. We investigate median and closest problems on permutations over the metrics: breakpoint, swap, block-interchange, short-block-move, and transposition. In biological matters some values are usually small, such as the solution value d or the number k of input permutations. For each of these metrics and parameters d or k, we analyze the closest and the median problems from the viewpoint of parameterized complexity. We obtain the following results: NP-hardness for finding the median/closest permutation for some metrics, even for k = 3; Polynomial kernels for the problems of finding the median permutation of all studied metrics, considering the target distance d as parameter; NP-hardness result for finding the closest permutation by short-block-moves; FPT algorithms and infeasibility of polynomial kernels for finding the closest permutation for some metrics parameterized by the target distance d.
Involutary pemutations over finite fields given by trinomials and quadrinomials
For all finite fields of $q$ elements where $q\equiv1\pmod4$ we have constructed permutation polynomials which have order 2 as permutations, and have 3 terms, or 4 terms as polynomials. Explicit formulas for their coefficients are given in terms of the primitive elements of the field. We also give polynomials providing involutions with larger number of terms but coefficients will be conveniently only two possible values. Our procedure gives at least $(q-1)/4$ trinomials, and $(q-1)/2$ quadrinomials, all yielding involutions with unique fixed points over a field of order $q$. Equal number of involutions with exactly $(q+1)/2$ fixed-points are provided as quadrinomials.
On the inverse theorem for Gowers norms in abelian groups of bounded torsion
In recent work, Jamneshan, Shalom and Tao proved an inverse theorem for the Gowers $U^{k+1}$-norm on finite abelian groups of fixed torsion $m$, where the final correlating harmonic is a polynomial phase function of degree at most $C(k,m)$. They also posed a related central question, namely, whether the bound $C$ can be reduced to the optimal value $k$ for every $m$. We make progress on this question using nilspace theory. First we connect the question to the study of finite nilspaces whose structure groups have torsion $m$. Then we prove one of the main results of this paper: a primary decomposition theorem for finite nilspaces, extending the Sylow decomposition in group theory. Thus we give an analogue for nilspaces of an ergodic-theoretic Sylow decomposition in the aforementioned work of Jamneshan-Shalom-Tao. We deduce various consequences which illustrate the following general idea: the primary decomposition enables a reduction of higher-order Fourier analysis in the $m$-torsion setting to the case of abelian $p$-groups. These consequences include a positive answer to the question of Jamneshan-Shalom-Tao when $m$ is squarefree, and also a new relation between uniformity norms and certain generalized cut norms on products of abelian groups of coprime orders. Another main result in this paper is a positive answer to the above central question for the $U^3$-norm, proving that $C(2,m)=2$ for all $m$. Finally, we give a partial answer to the question for all $k$ and $m$, proving an inverse theorem involving extensions of polynomial phase functions which were introduced by the third-named author, known as projected phase polynomials of degree $k$. A notable aspect is that this inverse theorem implies that of Jamneshan-Shalom-Tao, while involving projected phase polynomials of degree $k$, which are genuine obstructions to having small $U^{k+1}$-norm.
Further results on the permanental sums of bicyclic graphs
Let $G$ be a graph, and let $A(G)$ be the adjacency matrix of $G$. The permanental polynomial of $G$ is defined as $π(G,x)=\mathrm{per}(xI-A(G))$. The permanental sum of $G$ can be defined as the sum of absolute value of coefficients of $π(G,x)$. Computing the permanental sum is $\#$P-complete. Any a bicyclic graph can be generated from three types of induced subgraphs. In this paper, we determine the upper bound of permanental sums of bicyclic graphs generated from each a type of induced subgraph. And we also determine the second maximal permanental sum of all bicyclic graphs.
On remoteness functions of k-NIM with k+1 piles in normal and in misère versions
Given integer $n$ and $k$ such that $0 < k \leq n$ and $n$ piles of stones, two players alternate turns. By one move it is allowed to choose any $k$ piles and remove exactly one stone from each. The player who has to move but cannot is the loser. in the normal version of the game and (s)he is the winner in the misère version. Cases $k=1$ and $k = n$ are trivial. For $k=2$ the game was solved for $n \leq 6$. For $n \leq 4$ the Sprague-Grundy function was efficiently computed (for both versions). For $n = 5,6$ a polynomial algorithm computing P-positions was obtained for the normal version. \newline Then, for the case $k = n-1$, a very simple explicit rule that determines the Smith remoteness function was found for the normal version of the game: the player who has to move keeps a pile with the minimum even number of stones; if all piles have odd number of stones then (s)he keeps a maximum one, while the $n-1$ remaining piles are reduced by one stone each in accordance with the rules of the game. \newline Computations show that the same rule works efficiently for the misère version too. The exceptions are sparse and are listed in Section 2. Denote a position by $x = (x_1, \dots, x_n)$. Due to symmetry, we can assume wlog that $x_1 \leq \ldots \leq x_n$. Our computations partition all exceptions into the following three families: $x_1$ is even, $x_1 = 1$, and $x_1 \geq 3$ is odd. In all three cases we suggest explicit formulas that cover all found exceptions, but this is not proven.
The $m$-symmetric Macdonald polynomials
The $m$-symmetric Macdonald polynomials form a basis of the space of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},\dots$ (while having no special symmetry in the variables $x_1,\dots,x_m$).We establish in this article the fundamental properties of the $m$-symmetric Macdonald polynomials. These include among other things the orthogonality with respect to a natural scalar product, as well as formulas for the squared norm, the evaluation, and the inclusion. We also obtain a Cauchy-type identity for the $m$-symmetric Macdonald polynomials which specializes to the known Cauchy-type identity for the non-symmetric Macdonald polynomials.
Parahoric Lie algebras and parasymmetric Macdonald polynomials
The main goal of this paper is to categorify the specialized parasymmetric (intermediate) Macdonald polynomials. These polynomials depend on a parabolic subalgebra of a simple Lie algebra and generalize the symmetric and nonsymmetric Macdonald polynomials.
To achieve this we introduce cyclic modules of the parahoric subalgebras of the affine Kac-Moody Lie algebras such that their characters coincide with the specializations of the parasymmetric polynomials at zero and infinity. These cyclic modules are proved to coincide with standard and costandard objects in certain categories of representations of parahoric algebras. We show that the categories in question are stratified, i.e. they are graded highest weight categories. As a consequence, we derive an analog of the Peter-Weyl theorem describing the bi-module of functions on the parahoric and parabolic Lie groups via the mentioned above standard and costandard modules.
Lecture hall graphs and the Askey scheme
We establish, for every family of orthogonal polynomials in the $q$-Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall graph. This generalizes the previous results of Corteel and Kim for the little $q$-Jacobi polynomials. We build these combinatorial models by bootstrapping, beginning with polynomials at the bottom and working towards Askey-Wilson polynomials which sit at the top of the $q$-Askey scheme. As an application of the theory, we provide the first combinatorial proof of the symmetries in the parameters of the Askey-Wilson polynomials.
Coefficientwise Hankel-total positivity of the Schett polynomials
We prove the coefficientwise Hankel-total positivity of the even and odd subsequences of Schett polynomials $X_n(x,y,z)$.
K-theoretic positivity for matroids
Hilbert polynomials have positivity properties under favorable conditions. We establish a similar "K-theoretic positivity" for matroids. As an application, for a multiplicity-free subvariety of a product of projective spaces such that the projection onto one of the factors has birational image, we show that a transformation of its K-polynomial is Lorentzian. This partially answers a conjecture of Castillo, Cid-Ruiz, Mohammadi, and Montano. As another application, we show that the h*-vector of a simplicially positive divisor on a matroid is a Macaulay vector, affirmatively answering a question of Speyer for a new infinite family of matroids.
Type A Partially-Symmetric Macdonald Polynomials
We construct type A partially-symmetric Macdonald polynomials $P_{(λ\mid γ)}$, where $λ\in \mathbb{Z}_{\geq 0}^{n-k}$ is a partition and $γ\in \mathbb{Z}_{\geq 0}^k$ is a composition. These are polynomials which are symmetric in the first $n-k$ variables, but not necessarily in the final $k$ variables. We establish their stability and an integral form defined using Young diagram statistics. Finally, we build Pieri-type rules for degree 1 products $x_j P_{(λ\mid γ)}$ for $j > n-k$ and $e_1[x_1, \dotsc, x_{n-k}] P_{(λ\mid γ)}$, along with substantial combinatorial simplification of the $e_1$ multiplication. The $P_{(λ\mid γ)}$ are the same as the $m$-symmetric Macdonald polynomials defined by Lapointe up to a change of variables.