polynomial
11184 papers tagged with this keyword
Study of $p^{k}$-Eulerian polynomials and $p^{k}$-Fibonacci numbers for every odd prime $p$ and $k\geq0$
In this paper, we define the notion of descent for the paths in the $p$-Bratteli diagram. This leads to the definition of $p^{k}$-Eulerian polynomials, whose coefficients count the number of paths with a given number of descents. We provide a method for constructing the $p^{k}$-Eulerian polynomials at each vertex. Furthermore, we compute the total number of descents of all paths ending at a given vertex as the corresponding $p^{k}$-Fibonacci numbers. We show that the derivative of the $p^{k}$-Eulerian polynomial evaluated at 1 for a fixed vertex equals the corresponding $p^{k}$-Fibonacci number. Finally, we discuss the generating function for the sequence of $p^{k}$-Fibonacci numbers and the recurrence relations they satisfy.
Flagged LLT polynomials, nonsymmetric plethysm, and nonsymmetric Macdonald polynomials
The plethystic transformation $f[X] \mapsto f[X/(1-t)]$ and LLT polynomials are central to the theory of symmetric Macdonald polynomials. In this work, we introduce and study nonsymmetric flagged LLT polynomials. We show that these admit both an algebraic and a combinatorial description, that they Weyl symmetrize to the usual symmetric LLT polynomials, and we conjecture that they expand positively in terms of Demazure atoms. Additionally, we construct a nonsymmetric plethysm operator $Π_{t,x}$ on $\mathfrak{K}[x_1,\ldots,x_n]$, which serves as an analogue of $f[X] \mapsto f[X/(1-t)]$. We prove that $Π_{t,x}$ remarkably maps flagged LLT polynomials defined over a signed alphabet to ones over an unsigned alphabet.
Our main application of this theory is to formulate a nonsymmetric version of Macdonald positivity, similar in spirit to conjectures of Knop and Lapointe, but with several new features. To do this, we recast the Haglund-Haiman-Loehr formula for nonsymmetric Macdonald polynomials $\mathcal{E}_{μ}(x;q,t)$ as a positive sum of signed flagged LLT polynomials. Then, after applying a suitable stable limit of $Π_{t,x}$ to a stable version of $\mathcal{E}_{μ}(x;q,t)$, we obtain modified nonsymmetric Macdonald polynomials which are positive sums of flagged LLT polynomials and thus are conjecturally atom positive, strengthening the Macdonald positivity conjecture.
Introducing a vertex polynomial invariant for embedded graphs
The ribbon group action extends geometric duality and Petrie duality by defining two embedded graphs as twisted duals precisely when they lie within the same orbit under this group action. Twisted duality yields numerous novel properties of fundamental graph polynomials. In this paper, we resolve a problem raised by Ellis-Monaghan and Moffatt [Trans. Amer. Math. Soc. 364 (2012), 1529--1569] for vertex counts by introducing the vertex polynomial: a generating function quantifying vertex distribution across orbits under the ribbon group action. We establish its equivalence via transformations of boundary component enumeration and derive recursive relations through edge deletion, contraction, and twisted contraction. For bouquets, we prove the polynomial depends only on signed intersection graphs. Finally, we provide topological interpretations for the vertex polynomial by connecting this polynomial to the interlace polynomial and the topological transition polynomial.
Refuting Perfect Matchings in Spectral Expanders is Hard
This work studies the complexity of refuting the existence of a perfect matching in spectral expanders with an odd number of vertices, in the Polynomial Calculus (PC) and Sum of Squares (SoS) proof system. Austrin and Risse [SODA, 2021] showed that refuting perfect matchings in sparse $d$-regular \emph{random} graphs, in the above proof systems, with high probability requires proofs with degree $Ω(n/\log n)$. We extend their result by showing the same lower bound holds for \emph{all} $d$-regular graphs with a mild spectral gap.
Algebraic Geometry of Cactus, Pascal, and Pappus Matroids
We study rank-three matroids, known as point-line configurations, and their associated matroid varieties, defined as the Zariski closures of their realization spaces. Our focus is on determining finite generating sets of defining equations for these varieties, up to radical, and describing the irreducible components of the corresponding circuit varieties. We generalize the notion of cactus graphs to matroids, introducing a family of point-line configurations whose underlying graphs are cacti. Our analysis includes several classical matroids, such as the Pascal, Pappus, and cactus matroids, for which we provide explicit finite generating sets for their associated matroid ideals. The matroid ideal is the ideal of the matroid variety, whose construction involves a saturation step with respect to all the independence relations of the matroid. This step is computationally very expensive and has only been carried out for very small matroids. We provide a complete generating set of these ideals for the Pascal, Pappus, and cactus matroids. The proofs rely on classical geometric techniques, including liftability arguments and the Grassmann--Cayley algebra, which we use to construct so-called bracket polynomials in these ideals. In addition, we prove that every cactus matroid is realizable and that its matroid variety is irreducible.
Characteristic polynomials of semimatroids and their connections to matroids, hyperplane arrangements and graph colorings
We primarily investigate the properties of characteristic polynomials of semimatroids. In particular, we provide a combinatorial interpretation of their coefficients, generalizing the Whitney's Broken Circuit Theorem. We also prove that the unsigned coefficients of the characteristic polynomial form a unimodal and log-concave sequence, extending the Rota-Heron-Welsh Conjecture to semimatroids. Furthermore, we present convolution identities for the multiplicative characteristic and Tutte polynomials of semimatroids using the Möbius conjugation. Finally, motivated by Kochol's work, we introduce assigning matroids to establish connections among semimatroids, hyperplane arrangements, and graph colorings, with a particular focus on their characteristic polynomials.
Changing Bases with Pipe Dream Combinatorics
Lascoux and Schützenberger introduced Schubert and Grothendieck polynomials to study the cohomology and K-theory of the complete flag variety. We present explicit combinatorial rules for expressing Grothendieck polynomials in the basis of Schubert polynomials, and vice versa, using the bumpless pipe dreams (BPDs) of Lam, Lee, and Shimozono. A key advantage of BPDs is that they are naturally back stable, which allows us to give a combinatorial formula for expanding back stable Grothendieck polynomials in terms of back stable Schubert polynomials. We also provide pipe dream interpretations for the rules originally given by Lenart (Grothendieck to Schubert) and Lascoux (Schubert to Grothendieck), which were previously formulated in terms of binary triangular arrays. We give new proofs of these results, relying on Knutson's co-transition recurrences. As a consequence, we obtain a formula for expanding Grothendieck polynomials into Schubert polynomials using chains in Bruhat order. The key connection between the pipe dream and BPD change of basis formulas is the canonical bijection of Gao and Huang. We show that co-permutations are preserved by this map.
New Polynomial Identities and Some Consequences
Using an elementary approach involving the Euler Beta function and the binomial theorem, we derive two polynomial identities; one of which is a generalization of a known polynomial identity. Two well-known combinatorial identities, namely Frisch's identity and Klamkin's identity, appear as immediate consequences of the polynomial identities. We subsequently establish several combinatorial identities, including a generalization of each of Frisch's identity and Klamkin's identity. Finally, we develop a scheme for deriving combinatorial identities associated with polynomial identities of a certain type.
Proof of a conjecture by Starr and log-concavity for random commuting permutations
We prove a conjecture by Shannon Starr regarding the asymptotics for the number of tuples of commuting permutations with given number of joint orbits. These numbers generalize unsigned Stirling numbers of the first kind which count how many single permutations have a given number of cycles. In the case of pairs of permutations, these numbers are related to D'Arcais polynomials and the Nekrasov-Okounkov formula. As a consequence of the above asymptotics, we confirm a log-concavity conjecture in the regime of typical values for the number of joint orbits. As a result of possible indepentent interest in applied mathematics and mathematical physics, we also provide detailed asymptotics, using Mellin transform techniques, for certain multiple series or multivariate Ramanujan sums which are related to ordinary generating functions of Dirichlet convolutions of power laws. Besides these multiple sums asymptotics, our proofs use bivariate saddle point analysis related to the Meinardus theorem in the delicate case of multiple poles for the associated Dirichlet series.
Generalization of Ramanujan's formula for sums of half-integer powers of consecutive integers via formal Bernoulli series
Published in The Ramanujan Journal 68 (2025), 106
• View Publication
• BIB
Faulhaber's formula expresses the sum of the first $n$ positive integers, each raised to an integer power $p\geq 0$, as a polynomial in $n$ of degree $p+1$. Ramanujan expressed this sum for $p\in\{\frac12,\frac32,\frac52,\frac72\}$ as the sum of a polynomial in $\sqrt{n}$ and a certain infinite series. In the present work, we explore the connection to Bernoulli polynomials, and by generalizing those to formal series, we extend the Ramanujan result to all positive half-integers $p$.
A construction that preserves the configuration of a matroid, with applications to lattice path matroids
The configuration of a matroid $M$ is the abstract lattice of cyclic flats (flats that are unions of circuits) where we record the size and rank of each cyclic flat, but not the set. One can compute the Tutte polynomial of $M$, and stronger invariants (notably, the $\mathcal{G}$-invariant), from the configuration. Given a matroid $M$ in which certain pairs of cyclic flats are non-modular, we show how to produce a matroid that is not isomorphic to $M$ but has the same configuration as $M$. We show that this construction applies to a lattice path matroid if and only if it is not a fundamental transversal matroid, and we enumerate the connected lattice path matroids on $[n]$ that are fundamental; these results imply that, asymptotically, almost no lattice path matroids are Tutte unique. We give a sufficient condition for a matroid to be determined, up to isomorphism, by its configuration. We treat constructions that yield matroids with different configurations where each matroid is determined by its configuration and all have the same $\mathcal{G}$-invariant. We also show that for any lattice $L$ other than a chain, there are non-isomorphic transversal matroids that have the same configuration and where the lattices of cyclic flats are isomorphic to $L$.
The Telephone Exchange Problem Revisited: A Combinatorial Approach
In this study we revisit the telephone exchange problem. We discuss a generalization of the telephone exchange problem by discuss two generalizations of the Bessel polynomials. We study combinatorial properties of these polynomials, and show how the numbers are related to the well known Whitney numbers and Dowling numbers
Induced subgraphs and tree decompositions XIX. Thetas and forests
Let $H$ be a graph and let $\mathcal{C}$ be a hereditary class of theta-free graphs such that $H\notin \mathcal{C}$. We prove that if (a) $H$ is a forest; and (b) $\mathcal{C}$ excludes the line graphs of all subdivisions of some wall, then the treewidth of every graph in $\mathcal{C}$ is at most a polynomial function of its clique number. This is best possible in that both (a) and (b) are necessary for the existence of $any$ function with the above property.
Bounded powers of edge ideals: The strong exchange property
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{Z}_{>0}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. Let $I(G) \subset S$ denote the edge ideal of a finite graph $G$ on the vertex set $V(G) = \{x_1, \ldots, x_s\}$. In our previous work, it is shown that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. Let $\mathcal{W}(\mathfrak{c},G)$ denote the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. It follows that $\mathcal{W}(\mathfrak{c},G)$ satisfies the symmetric exchange property. In the present paper, the question when $\mathcal{W}(\mathfrak{c},G)$ enjoys the strong exchange property, or equivalently, when $\mathcal{W}(\mathfrak{c},G)$ is of Veronese type is studied.
From Weingarten calculus for real Grassmannians to deformations of monotone Hurwitz numbers and Jucys-Murphy elements
The present work is inspired by three interrelated themes: Weingarten calculus for integration over unitary groups, monotone Hurwitz numbers which enumerate certain factorisations of permutations into transpositions, and Jucys-Murphy elements in the symmetric group algebra. The authors and Moskovsky recently extended this picture to integration on complex Grassmannians, leading to a deformation of the monotone Hurwitz numbers to polynomials that are conjectured to satisfy remarkable interlacing phenomena.
In this paper, we consider integration on the real Grassmannian $\mathrm{Gr}_\mathbb{R}(M,N)$, interpreted as the space of $N \times N$ idempotent real symmetric matrices of rank $M$. We show that in the regime of large $N$ and fixed $\frac{M}{N}$, such integrals have expansions whose coefficients are variants of monotone Hurwitz numbers that are polynomials in the parameter $t = 1 - \frac{N}{M}$.
We define a "$b$-Weingarten calculus", without reference to underlying matrix integrals, that recovers the unitary case at $b = 0$ and the orthogonal case at $b = 1$. The $b$-monotone Hurwitz numbers, previously introduced by Bonzom, Chapuy and Dolega, arise naturally in this context as monotone factorisations of pair partitions. The $b$- and $t$-deformations can be combined to form a common generalisation, leading to the notion of $bt$-monotone Hurwitz numbers, for which we state several results and conjectures.
Finally, we introduce certain linear operators inspired by the aforementioned $b$-Weingarten calculus that can be considered as $b$-deformations of the Jucys-Murphy elements in the symmetric group algebra. We make several conjectures regarding these operators that generalise known properties of the Jucys-Murphy elements and make a connection to the family of Jack symmetric functions.
Remarks on $d$-ary partitions and an application to elementary symmetric partitions
We prove new formulas for $p_d(n)$, the number of $d$-ary partitions of $n$, and, also, for its polynomial part. Given a partition $λ=(λ_1,\ldots,λ_{\ell})$, its associated $j$-th symmetric elementary partition, $pre_{j}(λ)$, is the partition whose parts are $\{λ_{i_1}\cdotsλ_{i_j}\;:\;1\leq i_1 < \cdots < i_j\leq \ell\}$. We prove that if $λ$ and $μ$ are two $d$-ary partitions of length $\ell$ such that $pre_j(λ)=pre_j(μ)$ and $λ_{i_1}\cdots λ_{i_j} = μ_{i_1}\cdots μ_{i_j}$, for all $1\leq i_1 < \cdots < i_j\leq \ell$, then $λ=μ$.
A Linear Kernel for Independent Set Reconfiguration in Planar Graphs
Fix a positive integer $r$, and a graph $G$ that is $K_{3,r}$-minor-free. Let $I_s$ and $I_t$ be two independent sets in $G$, each of size $k$. We begin with a ``token'' on each vertex of $I_s$ and seek to move all tokens to $I_t$, by repeated ``token jumping'', removing a single token from one vertex and placing it on another vertex. We require that each intermediate arrangement of tokens again specifies an independent set of size $k$. Given $G$, $I_s$, and $I_t$, we ask whether there exists a sequence of token jumps that transforms $I_s$ into $I_t$. When $k$ is part of the input, this problem is known to be PSPACE-complete. However, it was shown by Ito, Kamiński, and Ono (2014) to be fixed-parameter tractable. That is, when $k$ is fixed, the problem can be solved in time polynomial in the order of $G$.
Here we strengthen the upper bound on the running time in terms of $k$ by showing that the problem has a kernel of size linear in $k$. More precisely, we transform an arbitrary input problem on a $K_{3,r}$-minor-free graph into an equivalent problem on a ($K_{3,r}$-minor-free) graph with order $O(k)$. This answers positively a question of Bousquet, Mouawad, Nishimura, and Siebertz (2024) and improves the recent quadratic kernel of Cranston, Mühlenthaler, and Peyrille (2024+). For planar graphs, we further strengthen this upper bound to get a kernel of size at most $42k$.
A Grammatical Calculus for the Ramanujan Polynomials
As remarked by Berndt, no combinatorial perspective seems to be
alluded in the original definition
of the Ramanujan polynomials. On a different scene,
a recursive algorithm to generate rooted
trees has been devised independently by
Shor and Dumont-Ramamonjisoa.
Zeng
discovered the connection between
the Ramanujan polynomials
and the enumeration of rooted
trees by number of improper edges. We present a proper labeling scheme for
rooted trees by employing an extra label.
Harnessed by this grammar, we develop a calculus heavily
depending on the constant properties for
the Ramanujan polynomials. From the
grammatical formulation, we recover
the defining equation
of Ramanujan on an implicit function. So the
two themes of Ramanujan converge to one combinatorial structure. Moreover, we provide a grammatical treatment of a bijection
behind the recursion independently due to
Shor and Berndt-Evans-Wilson.
2-Homogeneous bipartite distance-regular graphs and the quantum group $U^\prime_q(\mathfrak{so}_6)$
We consider a 2-homogeneous bipartite distance-regular graph $Γ$ with diameter $D \geq 3$. We assume that $Γ$ is not a hypercube nor a cycle. We fix a $Q$-polynomial ordering of the primitive idempotents of $Γ$. This $Q$-polynomial ordering is described using a nonzero parameter $q \in \mathbb C$ that is not a root of unity. We investigate $Γ$ using an $S_3$-symmetric approach. In this approach one considers $V^{\otimes 3} = V \otimes V \otimes V$ where $V$ is the standard module of $Γ$. We construct a subspace $Λ$ of $V^{\otimes 3}$ that has dimension $\binom{D+3}{3}$, together with six linear maps from $Λ$ to $Λ$. Using these maps we turn $Λ$ into an irreducible module for the nonstandard quantum group
$U^\prime_q(\mathfrak{so}_6)$ introduced by Gavrilik and Klimyk in 1991.
Interpreting the (signed) chromatic polynomial coefficients via hyperplane arrangements
A recent result of Lofano and Paolini expresses the characteristic polynomial of a real hyperplane arrangement in terms of a projection statistic on the regions of the arrangement. We use this result to give an alternative proof for Greene and Zaslavsky's interpretation for the coefficients of the chromatic polynomial of a graph and further generalize this interpretation to signed graphs. We also show that this projection statistic has a nice combinatorial interpretation in the case of the braid arrangement, which generalizes to graphical arrangements of natural unit interval graphs.