polynomial
11184 papers tagged with this keyword
Distance cube polynomials of Fibonacci and Lucas-run graphs
The Fibonacci-run graphs $\mathcal{R}_n$ are a family of an induced subgraph of hypercubes introduced by Eğecioğlu and Iršič in 2021.
A cyclic version of $\mathcal{R}_n$, the Lucas-run graph $\mathcal{R}_n^l$, was also recently proposed (Jianxin Wei, 2024). We prove that the generating function previously given for the polynomial $D_{\mathcal{R}_n}(x,q)$ which counts the number of hypercubes at a given distance in $\mathcal{R}_n$ was erroneous and determine its correct expression. We also consider Lucas-run graphs and prove the conjecture proposed by Jianxin Wei establishing the link between cube polynomials of $\mathcal{R}_n^l$ and $\mathcal{R}_n$.
On upper domatic number of graphs
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called an \emph{upper domatic partition} of size $k$ if either $V_i$ dominates $V_j$ or $V_j$ dominates $V_i$ or both for all $i, j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called the \emph{upper domatic number} of $G$, and it is denoted by $D(G)$. The \textsc{Maximum upper domatic number Problem} involves finding an upper domatic partition of a given graph with the maximum number of parts. It was known that the maximum upper domatic problem can be solved in linear time for trees. In this paper, we prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. Moreover, we show that this problem can be solved in polynomial time for unicyclic graphs. Finally, we partially solve a conjecture regarding the sink set posed by Haynes et al. [The upper domatic number of a graph, \emph{AKCE Int. J. Graphs Comb.}, 17, 2020].
$c$-functions and Koornwinder polynomials
This paper develops the theory of Macdonald-Koornwinder polynomials in parallel analogy with the work done for the $GL_n$ case in [CR22]. In the context of the type $CC_n$ affine root system the Macdonald polynomials of other root systems of classical type are specializations of the Koornwinder polynomials. We derive $c$-function formulas for symmetrizers and use them to give $E$-expansions, principal specializations and norm formulas for bosonic, mesonic and fermionic Koornwinder polynomials. Finally, we explain the proof of the norm conjectures and constant term conjectures for the Koornwinder case.
Hook-valued tableau uncrowding and tableau switching
Refined canonical stable Grothendieck polynomials were introduced by Hwang, Jang, Kim, Song, and Song. There exist two combinatorial models for these polynomials: one using hook-valued tableaux and the other using pairs of a semistandard Young tableau and (what we call) an exquisite tableau. An uncrowding algorithm on hook-valued tableaux was introduced by Pan, Pappe, Poh, and Schilling. In this paper, we discover a novel connection between the two models via the uncrowding and Goulden--Greene's jeu de taquin algorithms, using a classical result of Benkart, Sottile, and Stroomer on tableau switching. This connection reveals a symmetry of the uncrowding algorithm defined on hook-valued tableaux. As a corollary, we obtain another combinatorial model for the refined canonical stable Grothendieck polynomials in terms of biflagged tableaux, which naturally appear in the characterization of the image of the uncrowding map.
On the Heine Binomial Operators
In this paper, we introduce the Heine binomial operators H$_{n}(bD_{q})$ based on $q$-differential operator $D_{q}$. The motivation for introducing the operators H$_{n}(bD_{q})$ is that their limit turns out to be the $q$-exponential operator T$(bD_{q})$ given by Chen. The Hahn polynomials $Φ_{m}^{(q^n)}(b,x|q)$ can easily be represented by using the operators H$_{n}(bD_{q})$. Here, we derive $q$-exponential and ordinary generating function, Mehler's formula, Rogers formula, and other identities for the polynomials $Φ_{m}^{(q^n)}(b,x|q)$.
Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux
Given a partition $λ$ of a number $k$, it is known that by adding a long line of length $n-k$, the dimension of the associated representation of $S_{n}$ is an integer-valued polynomial of degree $k$ in $n$. We show that its expansion in the binomial basis is bounded by the length of $λ$, and that the resulting coefficient of index $h$, with alternating signs, counts the standard Young tableaux of shape $λ$ in which a given collection of consecutive $h$ numbers lie in increasing rows. We also construct bijections in order to demonstare explicitly that this number is indeed independent of the set of consecutive $h$ numbers used.
A New Polynomial for Checkerboard-Colorable 4-Valent Virtual Graphs
Published in Graphs and Combinatorics 41(3), 65 (2025)
• View Publication
• BIB
We assign a new polynomial to any checkerboard-colorable 4-valent virtual graph in terms of its Euler circuit expansion. This provides a new combinatorial formulation of the Kauffman-Jones polynomial for checkerboard-colorable virtual links.
A bijective proof of Andrews' refinement of the Alladi-Schur theorem
This paper gives a bijective proof of Andrews' refinement of the Alladi-Schur theorem. Moreover, it demonstrates that the bijective framework introduced here can be used to reproduce and provide a bijective account of Andrews' recursive relations for the Alladi-Schur polynomials.
Equations over Polyhedral Semirings
We study the theory of equations in one variable over polyhedral semirings. The article revolves around a notion of solution to a polynomial equation over a polyhedral semiring. Our main results are a characterisation of local solutions in terms of the coefficients, a local-global principle, and the basics of multiplicity and discriminants. Our primary sources of motivation are tropical geometry and the theory of exceptional points in non-Hermitian physics.
Improved Explicit Near-Optimal Codes in the High-Noise Regimes
We study uniquely decodable codes and list decodable codes in the high-noise regime, specifically codes that are uniquely decodable from $\frac{1-\varepsilon}{2}$ fraction of errors and list decodable from $1-\varepsilon$ fraction of errors. We present several improved explicit constructions that achieve near-optimal rates, as well as efficient or even linear-time decoding algorithms. Our contributions are as follows.
1. Explicit Near-Optimal Linear Time Uniquely Decodable Codes: We construct a family of explicit $\mathbb{F}_2$-linear codes with rate $Ω(\varepsilon)$ and alphabet size $2^{\mathrm{poly} \log(1/\varepsilon)}$, that are capable of correcting $e$ errors and $s$ erasures whenever $2e + s < (1 - \varepsilon)n$ in linear-time.
2. Explicit Near-Optimal List Decodable Codes: We construct a family of explicit list decodable codes with rate $Ω(\varepsilon)$ and alphabet size $2^{\mathrm{poly} \log(1/\varepsilon)}$, that are capable of list decoding from $1-\varepsilon$ fraction of errors with a list size $L = \exp\exp\exp(\log^{\ast}n)$ in polynomial time.
3. List Decodable Code with Near-Optimal List Size: We construct a family of explicit list decodable codes with an optimal list size of $O(1/\varepsilon)$, albeit with a suboptimal rate of $O(\varepsilon^2)$, capable of list decoding from $1-\varepsilon$ fraction of errors in polynomial time. Furthermore, we introduce a new combinatorial object called multi-set disperser, and use it to give a family of list decodable codes with near-optimal rate $\frac{\varepsilon}{\log^2(1/\varepsilon)}$ and list size $\frac{\log^2(1/\varepsilon)}{\varepsilon}$, that can be constructed in probabilistic polynomial time and decoded in deterministic polynomial time.
We also introduce new decoding algorithms that may prove valuable for other graph-based codes.
A charge monomial basis of the Garsia-Procesi ring
We construct a basis of the Garsia-Procesi ring using the catabolizability type of standard Young tableaux and the charge statistic. This basis turns out to be equal to the descent basis defined in Carlsson-Chou (2024+). Our new construction connects the combinatorics of the basis with the well-known combinatorial formula for the modified Hall-Littlewood polynomials $\tilde{H}_μ[X;q]$, due to Lascoux, which expresses the polynomials as a sum over standard tableaux that satisfy a catabolizability condition. In addition, we prove that identifying a basis for the antisymmetric part of $R_μ$ with respect to a Young subgroup $S_γ$ is equivalent to finding pairs of standard tableaux that satisfy conditions regarding catabolizability and descents. This gives an elementary proof of the fact that the graded Frobenius character of $R_μ$ is given by the catabolizability formula for $\tilde{H}_μ[X;q]$.
Seminorm estimates and joint ergodicity for pairwise independent Hardy sequences
We develop a robust structure theory for multiple ergodic averages of commuting transformations along Hardy sequences of polynomial growth. We then apply it to derive a number of novel results on joint ergodicity, recurrence and convergence. In particular, we prove joint ergodicity for (a) pairwise independent Hardy sequences and weakly mixing transformations, (b) strongly independent Hardy sequences and ergodic transformations, (c) strongly irrationally independent Hardy sequences and totally ergodic transformations. We use these joint ergodicity results to provide new recurrence results for multidimensional patterns along strongly independent Hardy sequences, showing for instance that all subsets of $\mathbb{Z}^2$ of positive upper density contain patterns of the form
$$ (m_1, m_2),\; (m_1 + \lfloor n^{\sqrt{2}}\rfloor, m_2),\; (m_1, m_2 + \lfloor n^{\sqrt{2}} + n^{1/2}\rfloor).$$
Last but not least, we positively resolve the joint ergodicity classification problem for pairwise independent Hardy sequences, of which the aforementioned families are special cases.
While building on recent technical advances (e.g. PET coefficient tracking schemes and joint ergodicity criteria), our work introduces a number of technical developments of its own. We construct a suitable generalization of Host-Kra and box seminorms that quantitatively control ergodic averages along Hardy sequences.
We subsequently use them to obtain Host-Kra seminorm estimates for averages along all pairwise independent Hardy sequences. Furthermore, we develop an ergodic version of the quantitative concatenation argument that has recently found extensive use in combinatorics, number theory and harmonic analysis. Lastly, we obtain new simultaneous Taylor approximations for Hardy sequences, a crucial ingredient to deal with the aforementioned classes of Hardy sequences.
Chordal bipartite graphs, biclique vertex partitions and Castelnuovo-Mumford regularity of $1$-subdivision graphs
A biclique in a graph $G$ is a complete bipartite subgraph (not necessarily induced), and the least positive integer $k$ for which the vertex set of $G$ can be partitioned into at most $k$ bicliques is the biclique vertex partition number $bp(G)$ of $G$. We prove that the inequality $reg(S(G))\geq |G|-bp(G)$ holds for every graph $G$, where $S(G)$ is the $1$-subdivision graph of $G$ and $reg(S(G))$ denotes the (Castelnuovo-Mumford) regularity of the graph $S(G)$. In particular, we show that the equality $reg(S(B))=|B|-bp(B)$ holds provided that $B$ is a chordal bipartite graph. Furthermore, for every chordal bipartite graph $B$, we prove that the independence complex of $S(B)$ is either contractible or homotopy equivalent to a sphere, and provide a polynomial time checkable criteria for when it is contractible, and describe the dimension of the sphere when it is not.
Subdivision method in the Laplacian matching polynomial
As a bridge connecting the matching polynomial and the Laplacian matching polynomial of graphs, the subdivision method is expected to be useful for investigating the Laplacian matching polynomial. In this paper, we study applications of the method from three aspects. We prove that the zero sequence of the Laplacian matching polynomial of a graph majorizes its degree sequence, establishing a dual relation between the Laplacian matching polynomial and the characteristic polynomial of the signless Laplacian matrix of graphs. In addition, from different viewpoints, we give a new combinatorial interpretations for the coefficients of the Laplacian matching polynomial.
An algebraic interpretation of Eulerian polynomials, derangement polynomials, and beyond, via Gröbner methods
Motivated by the question of whether Chow polynomials of matroids have only real roots, this article revisits the known relationship between Eulerian polynomials and the Hilbert series of Chow rings of permutohedral varieties. This is done using a quadratic Gröbner basis associated to a new presentation of those rings, which is obtained by iterating the semi-small decomposition of Chow rings of matroids. This Gröbner basis can also be applied to compute certain principal ideals in these rings, and ultimately reestablish the known connection between derangement polynomials and the Hilbert series of Chow rings for corank 1 uniform matroids. More broadly, this approach enables us to express the Hilbert series of Chow rings for any uniform matroid as polynomials related to the ascent statistics on particular sets of inversion sequences.
Spectra of eccentricity matrix of $H$-join of graphs
Let $\varepsilon(G)$ be the eccentricity matrix of a graph $G$ and $Spec(\varepsilon(G))$ be the eccentricity spectrum of $G$. Let $H[G_1,G_2,\ldots, G_k]$ be the $H$-join of graphs $G_1,G_2,\ldots, G_k$ and let $H[G]$ be lexicographic product of $H$ and $G$. This paper finds the eccentricity matrix of a $H$-join of graphs. Using this result, we find (i) $Spec(\varepsilon(H[G]))$ in terms of $Spec(\varepsilon(H))$ if the radius $(rad(H))$ of $H$ is at least three; (ii) $Spec(\varepsilon(K_k[G_1,G_2,\ldots, G_k]))$ if $Δ(G_i)\leq |V(G_i)|-2$ which generalises some of the results in \cite{Mahato1}; (iii) $Spec(\varepsilon(H[G_1,G_2,\ldots, G_k]))$ if $rad(H)\geq 2$ and $G_i$ is complete whenever $e_H(i)=2$, which generalises some of the results in \cite{Mahato1} and \cite{Wang1}. Finally, we find the characteristic polynomial of $\varepsilon(K_{1,m}[G_0,G_1,\ldots, G_m])$ if $G_i$'s are regular. As a result, we deduce some of the results in \cite{Li}, \cite{Mahato1}, \cite{Patel} and \cite{Wang}.
An explicit formula for zonal polynomials
The derivation of zonal polynomials involves evaluating the integral \[ \exp\left( - \frac{1}{2} \operatorname{tr} D_β Q D_{l} Q \right) \] with respect to orthogonal matrices \(Q\), where \(D_β\) and \(D_{l}\) are diagonal matrices. The integral is expressed through a polynomial expansion in terms of the traces of these matrices, leading to the identification of zonal polynomials as symmetric, homogeneous functions of the variables \(l_1, l_2, \ldots, l_n\). The coefficients of these polynomials are derived systematically from the structure of the integrals, revealing relationships between them and illustrating the significance of symmetry in their formulation. Furthermore, properties such as the uniqueness up to normalization are established, reinforcing the foundational role of zonal polynomials in statistical and mathematical applications involving orthogonal matrices.
Stable-limit partially symmetric Macdonald functions and parabolic flag Hilbert schemes
The modified Macdonald functions $\widetilde{H}_μ$ are fundamental objects in modern algebraic combinatorics. Haiman showed that there is a correspondence between the $(\mathbb{C}^{*})^2$-fixed points $I_μ$ of the Hilbert schemes $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and the functions $\widetilde{H}_μ$ realizing a derived equivalence between $(\mathbb{C}^{*})^2$-equivariant coherent sheaves on $\mathrm{Hilb}_{n}(\mathbb{C}^2)$ and $(\mathfrak{S}_n \times (\mathbb{C}^{*})^2)$-equivariant coherent sheaves on $(\mathbb{C}^2)^n.$ Carlsson--Gorsky--Mellit introduced a larger family of smooth projective varieties $\mathrm{PFH}_{n,n-k}$ called the parabolic flag Hilbert schemes. They showed that an algebra $\mathbb{B}_{q,t}$, directly related to the double Dyck path algebra $\mathbb{A}_{q,t}$ employed in Carlsson--Mellit's proof of the Shuffle Theorem, acts naturally on the $(\mathbb{C}^{*})^2$-equivariant K-theory $U_{\bullet}$ of these spaces and, moreover, there is a $\mathbb{B}_{q,t}$-isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ where $V_{\bullet}$ is the polynomial representation. The isomorphism $Φ: U_{\bullet} \rightarrow V_{\bullet}$ is known to extend Haiman's correspondence. In this paper, we explicitly compute the images $Φ(H_{μ,w})$ of the normalized $(\mathbb{C}^{*})^2$-fixed point classes $H_{μ,w}$ of the spaces $\mathrm{PFH}_{n,n-k}$ and show they agree with the modified partially symmetric Macdonald polynomials $\widetilde{H}_{(λ|γ)}$ introduced by Goodberry-Orr, confirming their prior conjecture. We use this result to give an explicit formula for the action of the involution $\mathcal{N}$ on $V_{\bullet}.$
A Proof of the Tree Packing Conjecture
We prove a conjecture of Gyárfás (1976), which asserts that any family of trees $T_1, \dots, T_{n}$ where each $T_k$ has $k$ vertices packs into $K_n$. We do so by translating the decomposition problem into a labeling problem, namely complete labeling. Our proof employs the polynomial method using a functional reformulation of the conjecture.
$B$-Stirling numbers associated to potential polynomials
We introduce the $B$-Stirling numbers of the first and second kind, which are the coefficients of the potential polynomials when we express them in terms of the monomials and the falling factorials, respectively. These numbers include, as particular cases, the partial and complete Bell polynomials, the degenerate and probabilistic Stirling numbers, and the $S$-restricted Stirling numbers, among others. Special attention is devoted to the computation of such numbers. On the one hand, a recursive formula is provided. On the other, we can compute Stirling numbers of one kind in terms of the other, with the help of the classical Stirling numbers.