polynomial
11184 papers tagged with this keyword
Recurrence relations for degenerate Bell and Dowling polynomials via Boson operators
Spivey found a recurrence relation for the Bell numbers by using combinatorial method. The aim of this paper is to derive Spivey's type recurrence relations for the degenerate Bell polynomials and the degenerate Dowling polynomials by using the boson annihilation and creation operators satisfying the commutation relation aa+-a+a=1.
In addition, we derive a Spivey's type recurrence relation for the r-Dowling polynomials.
On the $Q$-polynomial property of bipartite graphs admitting a uniform structure
Let $Γ$ denote a finite, connected graph with vertex set $X$. Fix $x \in X$ and let $\varepsilon \ge 3$ denote the eccentricity of $x$. For mutually distinct scalars $\{θ^*_i\}_{i=0}^\varepsilon$ define a diagonal matrix $A^*=A^*(θ^*_0, θ^*_1, \ldots, θ^*_{\varepsilon}) \in M_X(\mathbb{R})$ as follows: for $y \in X$ we let $(A^*)_{yy} = θ^*_{\partial(x,y)}$, where $\partial$ denotes the shortest path length distance function of $Γ$. We say that $A^*$ is a dual adjacency matrix candidate of $Γ$ with respect to $x$ if the adjacency matrix $A \in M_X(\mathbb{R})$ of $Γ$ and $A^*$ satisfy
$$
A^3 A^* - A^* A^3+(β+1)( A A^* A^2 - A^2 A^* A)= γ(A^2A^*-A^*A^2)+ρ( A A^* - A^* A)
$$
for some scalars $β, γ, ρ\in \mathbb{R}$.
Assume now that $Γ$ is uniform with respect to $x$ in the sense of Terwilliger [Coding theory and design theory, Part I, IMA Vol. Math. Appl., 20, 193-212 (1990)]. In this paper, we give sufficient conditions on the uniform structure of $Γ$, such that $Γ$ admits a dual adjacency matrix candidate with respect to $x$. As an application of our results, we show that the full bipartite graphs of dual polar graphs are $Q$-polynomial.
Ehrhart spectra of large subsets of $\mathbb{Z}^r$
This paper introduces and studies the Ehrhart spectrum of a set $E \subseteq \mathbb{Z}^r$, defined as the set of all Ehrhart polynomials of simplices with vertices in $E$, generalizing the notion of volume spectrum. We show that for any $E \subseteq \mathbb{Z}^r$ with positive upper Banach density, there is some $n \in \mathbb{Z}^r$ such that the Ehrhart spectrum of $n \mathbb{Z}^r$ is contained in the Ehrhart spectrum of $E$, generalizing an earlier result by the first and third author for the volume spectrum of $E$.
Latroids and code invariants
Latroids were introduced by Vertigan, who associated a latroid to a linear block code and showed that its Tutte polynomial determines the weight enumerator of the code. We associate a latroid to a code over a ring or a field endowed with a general support function, and show that the generalized weights of the code can be recovered from the associated latroid. This provides a uniform framework for studying generalized weights of linear block codes, linear codes over a ring, rank-metric and sum-rank metric codes. Under suitable assumptions, we show that the latroid determines the weight distribution of the code.
Hosoya Polynomials of Mycielskian Graphs
Vulnerability measures and topological indices are crucial in solving various problems such as the stability of the communication networks and development of mathematical models for chemical compounds. In 1947, Harry Wiener introduced a topological index related to molecular branching. Since then, more than 100 topological indices for graphs were introduced. Many graph polynomials play important roles in measuring such indices. Hosoya polynomial is among many of them. Introduced by Hosoya in 1988, the Hosoya polynomial of a given graph $G$ is a polynomial with the coefficients being the numbers of pairs of vertices in $G$ with all possible distances. For a given graph $G$, an extension graph is called Mycielskian graph of $G$, defined by Mycielski in 1955. In this paper, we investigate relationships between the Hosoya polynomial of any graph and that of its Mycielskian graph. The results are applied to compute the vulnerability measures, closeness and betweenness centrality, and the extended Wiener indices of selected graphs and their Mycielskian graphs. In the network science, these measures are commonly used to describe certain connectivity properties of a network. It is fascinating to see how graph polynomials are useful in other scientific fields.
On the module of derivations of a line arrangement
To each multiple point $p$ in a line arrangement $ \mathcal A$ in the complex projective plane we associate a local derivation $\tilde D_p \in D_0( \mathcal A)$. We show first that these derivations span the graded module of derivations $D_0( \mathcal A)$ in all degrees $\geq d -3$, where $d$ is the number of lines in $ \mathcal A$, see Theorem 1.4 and Theorem 1.6. Then, to each local derivation $\tilde D_p \in D_0( \mathcal A)$ we associate a polynomial $g_p$ which seems to play a key role in the characterization of the freeness of $ \mathcal A$, see Theorem 1.10, as well as in the study of the position of the multiple points of $ \mathcal A$ with respect to unions of lines, see Corollary 1.13 and Conjecture 1.14. Corollary 1.9 gives a result of an independent interest, namely a lower bound for the maximal exponent of a plane curve having a line as an irreducible component.
A formula for the number of up-down words
A word $w_1w_2\cdots w_n$ is said to be up-down if $w_1 < w_2 >w_3 \cdots$. Carlitz and Scoville found the generating function for the number of up-down words over an alphabet of size $k$. Using properties of the Chebyshev polynomials we derive a closed-form formula for these numbers.
The structures of simple Hurwitz numbers and monotone Hurwitz numbers with varying genus
We study the structures of ordinary simple Hurwitz numbers and monotone Hurwitz numbers with varying genus. More precisely, we prove that when the ramification type is fixed and the genus is treated as a variable, the connected monotone Hurwitz number is a linear combination of products of exponentials and polynomials, and the ordinary simple Hurwitz number is a linear combination of exponentials. Using these structural properties, we also derive the large genus asymptotics of these two kinds of Hurwitz numbers. As a result, we prove one conjecture, and disprove another, both proposed by Do, He and Robertson.
$q$-deformation of random partitions, determinantal structure, and Riemann-Hilbert problem
Published in Math. Phys. Anal. Geom. 28 (2025) 38
• View Publication
• BIB
We study $q$-deformation of probability measures on partitions, i.e., $q$-deformed random partitions. We in particular consider the $q$-Plancherel measure and show a determinantal formula for the correlation function using a $q$-deformation of the discrete Bessel kernel. We also investigate Riemann-Hilbert problems associated with the corresponding orthogonal polynomials and obtain $q$-Painlevé equations from the $q$-difference Lax formalism.
Optimal Trickle-Down Theorems for Path Complexes via C-Lorentzian Polynomials with Applications to Sampling and Log-Concave Sequences
Let $X$ be a $d$-partite $d$-dimensional simplicial complex with parts $T_1,\dots,T_d$ and let $μ$ be a distribution on the facets of $X$. Informally, we say $(X,μ)$ is a path complex if for any $i<j<k$ and $F \in T_i,G \in T_j, K\in T_k$, we have $\mathbb{P}_μ[F,K | G]=\mathbb{P}_μ[F|G]\cdot\mathbb{P}_μ[K|G].$ We develop a new machinery with $\mathcal{C}$-Lorentzian polynomials to show that if all links of $X$ of co-dimension 2 have spectral expansion at most $1/2$, then $X$ is a $1/2$-local spectral expander. We then prove that one can derive fast-mixing results and log-concavity statements for top-link spectral expanders.
We use our machinery to prove fast mixing results for sampling maximal flags of flats of distributive lattices (a.k.a. linear extensions of posets) subject to external fields, and to sample maximal flags of flats of "typical" modular lattices. We also use it to re-prove the Heron-Rota-Welsh conjecture and to prove a conjecture of Chan and Pak which gives a generalization of Stanley's log-concavity theorem. Lastly, we use it to prove near optimal trickle-down theorems for "sparse complexes" such as constructions by Lubotzky-Samuels-Vishne, Kaufman-Oppenheim, and O'Donnell-Pratt.
Infinite-dimensional $q$-Jacobi Markov processes
The classical Jacobi polynomials on the interval $[-1,1]$ are eigenfunctions of a second order differential operator. It is well known that this operator generates a diffusion process on $[-1,1]$. Further, this fact admits an extension to $N$ dimensions (Demni (2010), Remling-Rösler (2011)) leading to a $3$-parameter family of diffusion processes $X_N$ on the space of $N$-particle configurations in $[-1,1]$. The generators of the processes $X_N$ are related to Heckman-Opdam's Jacobi polynomials attached to the root system $BC_N$.
The first result of the paper shows that the processes $X_N$ have a $q$-analog, the $N$-dimensional $q$-Jacobi processes. These are Feller Markov processes related to the $N$-variate symmetric big $q$-Jacobi polynomials. The later polynomials were introduced and studied by Stokman (1997) and Stokman-Koornwinder (1997); they depend on two Macdonald parameters $(q,t)$ and $4$ extra continuous parameters.
The $N$-dimensional $q$-Jacobi processes are still defined on a space of $N$-particle configurations, only now the particles live not on $[-1,1]$ but on certain one-dimensional $q$-grids.
The second result (the main one) asserts that the $N$-dimensional $q$-Jacobi processes survive a limit transition as $N$ goes to infinity and two of the extra parameters vary together with $N$ in a certain way. In the limit, one obtains a family of Feller Markov processes which are infinite-dimensional in the sense that they live on configurations with infinitely many particles. The proof uses a lifting of the multivariate big $q$-Jacobi polynomials to the algebra of symmetric functions -- a construction that does not hold for the Heckman-Opdam's Jacobi polynomials.
Note also that the large-$N$ limit transition is carried out without any space scaling, which would be impossible in the continuous case.
Hankel determinants for convolution powers of Motzkin numbers
We evaluate the Hankel determinants of the convolution powers of Motzkin numbers for $r\leq 27$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. We also conjecture some polynomial characterization of these determinants.
Power sum expansions for Kromatic symmetric functions using Lyndon heaps
Published in Annals of Combinatorics (2025)
• View Publication
• BIB
In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-analogue of Stanley's chromatic symmetric function $X_G$, and one question they asked was how $\overline{X}_G$ expands in their $\overline{p}_λ$ basis, which they defined as a $K$-analogue of the classic power sum basis $p_λ.$ In arXiv:2408.01395, we gave a formula that partially answered this question but did not explain the combinatorial significance of the coefficients. Here, we give combinatorial descriptions for the $\overline{p}$-coefficients of $\overline{X}_G$ and $ω(\overline{X}_G)$, lifting the $p$-expansion of $X_G$ in terms of acyclic orientations that was given by Bernardi and Nadeau in arXiv:1904.01262. We also propose an alternative $K$-analogue $\overline{p}'$ of the $p$-basis that gives slightly cleaner expansion formulas. Our expansions are based on Lyndon heaps, introduced by Lalonde (1995), which are representatives for certain equivalence classes of acyclic orientations on clan graphs of $G$. Additionally, we show that knowing $\overline{X}_G$ is equivalent to knowing the multiset of independence polynomials of induced subgraphs of $G$, which gives shorter proofs of all our results from arXiv:2403.15929 that $\overline{X}_G$ can be used to determine the number of copies in $G$ of certain induced subgraphs. We also give power sum expansions for the Kromatic quasisymmetric function $\overline{X}_G(q)$ defined by Marberg in arXiv:2312.16474 in the case where $G$ is the incomparability graph of a unit interval order.
New recursion formula for the interior polynomial based on non-expanding sets
The interior polynomial was originally defined for hypergraphs and later shown to coincide with the Ehrhart polynomial of the root polytope of an associated bipartite graph. In previous work, we derived an alternating cycle recursion formula for the interior polynomial. Here, we introduce a new, more transparent recursion formula based on the structure of non-expanding sets. This formula offers a clearer combinatorial interpretation of the interior polynomial and its connection to polyhedral geometry.
Polynomial time classical versus quantum algorithms for representation theoretic multiplicities
Littlewood-Richardson, Kronecker and plethysm coefficients are fundamental multiplicities of interest in Representation Theory and Algebraic Combinatorics. Determining a combinatorial interpretation for the Kronecker and plethysm coefficients is a major open problem, and prompts the consideration of their computational complexity. Recently it was shown that they behave relatively well with respect to quantum computation, and for some large families there are polynomial time quantum algorithms [Larocca,Havlicek, arXiv:2407.17649] (also [BCGHZ,arXiv:2302.11454]). In this paper we show that for many of those cases the Kronecker and plethysm coefficients can also be computed in polynomial time via classical algorithms, thereby refuting some of the conjectures in [LH24]. This vastly limits the cases in which the desired super-polynomial quantum speedup could be achieved.
Solving Maker-Breaker Games on 5-uniform hypergraphs is PSPACE-complete
Let $(X, \mathcal{F})$ be a hypergraph. The Maker-Breaker game on $(X, \mathcal{F})$ is a combinatorial game between two players, Maker and Breaker. Beginning with Maker, the players take turns claiming vertices from $X$ that have not yet been claimed. Maker wins if she manages to claim all vertices of some hyperedge $F \in \mathcal{F}$. Breaker wins if he claims at least one vertex in every hyperedge.
M. L. Rahman and Thomas Watson proved in 2021 that, even when only Maker-Breaker games on 6-uniform hypergraphs are considered, the decision problem of determining which player has a winning strategy is PSPACE-complete. They also showed that the problem is NL-hard when considering hypergraphs of rank 5.
In this paper, we improve the latter result by showing that deciding who wins Maker-Breaker games on 5-uniform hypergraphs is still a PSPACE-complete problem. We achieve this by polynomial transformation from the problem of solving the generalized geography game on bipartite digraphs with vertex degrees 3 or less, which is known to be PSPACE-complete.
A Polynomial Ramsey Statement for Bounded VC-dimension
A theorem by Ding, Oporowski, Oxley, and Vertigan states that every sufficiently large bipartite graph without twins contains a matching, co-matching, or half-graph of any given size as an induced subgraph. We prove that this Ramsey statement has polynomial dependency assuming bounded VC-dimension of the initial graph, using the recent verification of the Erdős-Hajnal property for graphs of bounded VC-dimension. Since the theorem of Ding et al. plays a role in (finite) model theory, which studies even more restricted structures, we also comment on further refinements of the theorem within this context.
Partial-dual genus polynomial of graphs
Published in European Journal of Combinatorics Volume 130, December 2025, 104221
• Search Publication
Recently, Chmutov introduced the partial duality of ribbon graphs, which can be regarded as a generalization of the classical Euler-Poincaré duality. The partial-dual genus polynomial $^\partial\varepsilon_G(z)$ is an enumeration of the partial duals of $G$ by Euler genus. For an intersection graph derived from a given chord diagram, the partial-dual genus polynomial can be defined by considering the ribbon graph associated to the chord diagram. In this paper, we provide a combinatorial approach to the partial-dual genus polynomial in terms of intersection graphs without referring to chord diagrams. After extending the definition of the partial-dual genus polynomial from intersection graphs to all graphs, we prove that it satisfies the four-term relation of graphs. This provides an answer to a problem proposed by Chmutov.
Algebra and geometry of ASM weak order
Much of modern Schubert calculus is centered on Schubert varieties in the complete flag variety and on their classes in its integral cohomology ring. Under the Borel isomorphism, these classes are represented by distinguished polynomials called Schubert polynomials, introduced by Lascoux and Schützenberger.
Knutson and Miller showed that Schubert polynomials are multidegrees of matrix Schubert varieties, affine varieties introduced by Fulton, which are closely related to Schubert varieties. Many roads to studying Schubert polynomials pass through unions and intersections of matrix Schubert varieties. The third author showed that the natural indexing objects of arbitrary intersections of matrix Schubert varieties are alternating sign matrices (ASMs). Every ASM variety is expressible as a union of matrix Schubert varieties.
Many fundamental algebro-geometric invariants (e.g., codimension, degree, and Castelnuovo--Mumford regularity) are well understood combinatorially for matrix Schubert varieties, substantially via the combinatorics of strong Bruhat order on $S_n$. The extension of strong order to ASM(n), the set of $n \times n$ ASMs, has so far not borne as much algebro-geometric fruit for ASM varieties.
Hamaker and Reiner proposed an extension of weak Bruhat order from $S_n$ to ASM(n), which they studied from a combinatorial perspective. In the present paper, we place this work on algebro-geometric footing. We use weak order on ASMs to give a characterization of codimension of ASM varieties. We also show that weak order operators commute with K-theoretic divided difference operators and that they satisfy the same derivative formula that facilitated the first general combinatorial computation of Castelnuovo--Mumford regularity of matrix Schubert varieties. Finally, we build from these results to generalizations that apply to arbitrary unions of matrix Schubert varieties.
Kissing polytopes in dimension 3
It is shown that the smallest possible distance between two disjoint lattice polytopes contained in the cube $[0,k]^3$ is exactly $$ \frac{1}{\sqrt{2(2k^2-4k+5)(2k^2-2k+1)}} $$ for every integer $k$ at least $4$. The proof relies on modeling this as a minimization problem over a subset of the lattice points in the hypercube $[-k,k]^9$. A precise characterization of this subset allows to reduce the problem to computing the roots of a finite number of degree at most $4$ polynomials, which is done using symbolic computation.