polynomial
11538 papers tagged with this keyword
Continued fractions related to Narayana polynomials
The generating functions of some sequences of Catalan numbers and Narayana polynomials have simple expansions as continued fractions of Jacobi type. We give an overview of these facts and prove analogous results for q-Narayana polynomials at q=-1.
Boundary $h^\ast$-vectors and unimodular triangulations
We study the Ehrhart $h^\ast$-polynomial of (the boundary of) a lattice polytope via regular unimodular triangulations and Gröbner degenerations of toric ideals. Our main result is a boundary analogue of the well-known Sturmfels correspondence. This allows us to connect the boundary $h^\ast$-polynomial to the $h$-polynomial of any regular unimodular triangulation, in analogy to the classical Betke-McMullen Theorem.
Providing a direct link between Ehrhart theory and the face enumeration of simplicial complexes, we then transfer structural results from the theory of simplicial polytopes to the setting of lattice polytopes. In particular, we derive general Dehn-Sommerville-type relations between $h^\ast(P)$ and $h^\ast(\partial P)$. Under the additional assumption of $\partial P$ admitting a regular unimodular triangulation, we recover old and prove new characterization results concerning symmetry or unimodality, as well as upper and lower bounds for coefficient-wise differences within $h^\ast(P)$.
Nonlinear maps preserving the polynomial
Published
• View Publication
• BIB
Let $\mathbb F$ be a field and $P \in \mathbb F [x_1,\ldots, x_n]$ be a homogeneous polynomial such that $|\mathbb F| > °(P)$ and $φ, ψ\colon \mathbb F^n \to \mathbb F^n$ be two maps such that $P(\mathbf{x} + λ\mathbf{y}) = P(φ(\mathbf{x}) + λψ(\mathbf{y}))$ for all $λ\in \mathbb F$ and $\mathbf{x}, \mathbf{y} \in \mathbb F^n.$
We provide the characterization of all such $φ$ and $ψ$ for all polynomials in the case if $\mathrm{char}(\mathbb F) = 0$ and for all polynomials satisfying certain condition in the case if $\mathrm{char}(\mathbb F) > 0$. This characterization generalizes the existing results regarding the linear maps on matrices preserving the determinant, the immanant and other homogeneous polynomial functions of matrix entries.
To obtain the main result of this paper, we introduce the vector space $\mathcal L_{P} \subseteq {\mathbb F^n}^*$ spanned by the range of the gradient field of $P \in \mathbb F[x_1,\ldots, x_n]$. Being a linear invariant associated with $P,$ this space has several remarkable properties and may also be used for studying the linear maps preserving $P$.
In addition, we demonstrate how the main result could be applied to the particular polynomial matrix invariants. Namely, we provide an explicit description of corresponding pairs of nonlinear maps $φ, ψ$ for the case where $P$ is equal to the Cullis' determinant of $n\times k$ rectangular matrix (with the assumption that $n \ge k + 2$ and $k \ge 3$).
Contact flexibility and rigidity for toric Gorenstein prequantizations and Ehrhart theory of toric diagrams
Gorenstein toric contact manifolds are good toric contact manifolds with zero first Chern class that are completely determined by certain integral convex polytopes called toric diagrams. The Ehrhart polynomial of these toric diagrams determines and is determined by the contact Betti numbers of the corresponding contact manifolds, i.e. the dimension of their cylindrical contact homology in eachdegree. In this paper we look into the following natural question: to what extent do these contact invariants determine the Gorenstein toric contact manifold? Flexibility is the norm and we illustrate it with the family of Gorenstein toric contact manifolds that arise as the prequantization of monotone iterated ${\mathbb P}^1$-bundles, i.e. monotone Bott manifolds. In each dimension, the Ehrhart polynomial of their toric diagrams is equal to the Ehrhart polynomial of the cross-polytope, corresponding to the monotone prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$, and we describe the unimodular classification of these toric diagrams. On the rigidity side, we will show that the primitive prequantization of ${\mathbb P}^1 \times \cdots \times {\mathbb P}^1$ is rigid, i.e. completely determined as a Gorenstein toric contact manifold by its contact Betti numbers. More precisely, in each dimension, we show that its toric diagram, which we name small cross-polytope, is the unique toric diagram with its particular Ehrhart polynomial. We will also prove a rigidity result for a family of Gorenstein toric contact manifolds that arise as the primitive prequantization of monotone ${\mathbb P}^1$-bundles over ${\mathbb P}^{n-1}$.
Eleven, twelve, and thirteen lonely runners
Wills conjectured that, for any non-zero integers $u_1,\ldots,u_k$, there is a real number $t$ such that, for all $i=1,\ldots,k$, \[\lVert tu_i\rVert\geq\frac{1}{k+1},\] where $\lVert x\rVert$ is the distance from $x$ to the closest integer. This statement is known as the Lonely Runner Conjecture. A computational method developed by Rosenfeld and the second author verified the conjecture for $k\leq9$. We further refine this method with new sieving techniques and employ a polynomial method argument to show that any $(u_1,\ldots,u_k)\equiv(1,2,\ldots,k)\pmod{p}$ with $\gcd(u_1,\ldots,u_k)=1$ satisfies the conjecture when $k+1$ and $p > k^2+k$ are both odd primes. Ultimately, we provide a computer-assisted proof of the Lonely Runner Conjecture for $k\in\{10,11,12\}$.
Tetrahedral $L$-operators, tensor Schur polynomials and $q$-deformed loop elementary symmetric functions
We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.
3-Designs from $\mathrm{GL}_2(\mathbb{F}_q)$-Invariant Subspaces of $\mathbb F_q[X,Y]_k$
We present a uniform framework for constructing \(3\)-designs from \(\mathrm{GL}_2(\mathbb F_q)\)-invariant subspaces of \(\mathbb F_q[X,Y]_k\), the space of homogeneous polynomials of degree \(k\). Given such a subspace \(W\), we associate a \(\mathrm{PGL}_2(\mathbb F_q)\)-invariant family of \(k\)-subsets of \(\mathbb P^1(\mathbb F_q)\). Whenever this family is nonempty, it forms a \(3\text{-}(q+1,k,λ)\) design. When \(k\le q\), the evaluation map on \(\mathbb P^1(\mathbb F_q)\) identifies \(W\) with a subcode \(C_W\) of the projective Reed--Solomon code. We also show that the supports of minimum-weight codewords in \(C_W\), as well as the supports of suitable fixed-weight codewords in the dual code \(C_W^\perp\), yield further \(3\)-designs. Via the Cayley transform, the construction is transferred to the unit circle \(U_{q+1}\subseteq \mathbb F_{q^2}^{\times}\), where the block conditions become explicit linear relations among elementary symmetric polynomials. Applying this framework to the Lucas subspaces, we obtain explicit block descriptions, classify the cases in which the defining conditions reduce to a single equation, and establish several emptiness and nonemptiness results. In particular, for \(q=p^e\) and \(k=p^m+1\), we show that the associated block family is nonempty if and only if \(m\mid e\), in which case it yields the Steiner system \(S(3,p^m+1,q+1)\). Finally, in the ternary case \(p=3\) and \(k=7\), we use the weight distribution of the ternary Melas code to determine the design parameters left undetermined by Xu et al. (Designs, Codes and Cryptography: Vol. 92, 2024).
Quantum Super Littlewood Correspondences
In this paper, we study the Littlewood theory associated with the quantum super immanants and supersymmetric polynomials, including both the super case and the quantum generalization. In the setting of quantum super Schur-Weyl duality between the quantum superalgebra $U_q(\mathfrak{gl}_{m|n})$ and the Iwahori-Hecke algebra $\mathcal{H}_r$ of type A, we explicitly construct basis vectors of the $(U_q(\mathfrak{gl}_{m|n}), \mathcal{H}_r)$-bimodule on the tensor product space $(\mathbb{C}^{m|n})^{\otimes r}$. Using this construction, we interpret the quantum super immanants via weight spaces of covariant tensor representations of $U_q(\mathfrak{gl}_{m|n})$.
Beyond Bass Collapse: New Irregular Edge-Space Invariants in Ihara Theory
Let \(G\) be a finite simple graph and let \(T\) be its Hashimoto operator on the directed-edge space. We show that edge reversal induces a canonical symmetric/antisymmetric splitting under which \(T\) acquires an explicit \(2\times 2\) block form. The diagonal blocks are \(\tfrac12 L(G)\) and \(-\tfrac12 A(G)\), where \(L(G)\) is the line-graph adjacency and \(A(G)\) is the antisymmetric line-graph adjacency, while the off-diagonal block is the mixed incidence product \(M=|D|^\top D\). This identifies the ordinary and antisymmetric line-graph sectors as the two canonical diagonal sectors of Hashimoto theory and isolates a mixed sector linking them.
A Schur-complement argument then gives a factorization \[ \det(I-wT)=\det\!\bigl(I-\tfrac w2 L(G)\bigr)\,C_G(w), \] where \(C_G(w)\) is an explicit correction determinant built from the antisymmetric and mixed sectors. We show that the trivial roots \(w=\pm1\) localize on canonical edge subspaces, and that for line-graph-cospectral pairs all remaining Ihara separation is forced into the correction sector.
Although the raw mixed block \(M\) depends on edge orientation, its natural gauge-invariant shadows, including \(MM^\top\), \(M^\top M\), and \(M^\top L^kM\), define a canonical matrix package attached to the graph. In the regular case these collapse to adjacency-side data, but in the irregular case they need not. As an application, we exhibit irregular non-isomorphic graphs that are adjacency-cospectral and line-graph-cospectral yet are separated by the correction sector, and we find further examples where the gauge-invariant mixed shadows separate even when the scalar Ihara polynomial does not. This isolates new irregular edge-space invariants in Hashimoto--Ihara theory.
Symmetric and unimodal independence polynomials of trees
Given $n \geq 1$, we study the existence of a tree on $n$ vertices whose independence polynomial is symmetric and unimodal as well as the existence of a symmetric and unimodal independence polynomial of degree $n$ of a tree.
Saturation of Markov Polynomials
Solutions to the Markov equation appear in many mathematical contexts. We aim to build on the understanding of them by proving a recent conjecture about Markov polynomials; solutions to a generalised version of the Markov equation. The proof we provide is a constructive argument based on the Markov snake graph, a combinatorial object related to Markov numbers, deepening the connection between the Markov equation and combinatorics.
Near-optimal density theorems for large dilates of large point configurations
We study density thresholds that force a measurable set $E\subseteq\mathbb{R}^d$ to contain all sufficiently large similar copies of every $n$-point configuration. We prove a lower bound of the form $1-O((\log n)/n)$, which matches the known upper bound up to the logarithmic factor, thus essentially resolving a problem posed by Falconer, Yavicoli, and the first author of the present paper. We also study the same problem for embeddings of $n$-point configurations into $\mathbb{R}^d$ equipped with the $\ell^p$ norm, obtaining an asymptotically sharp bound $1-1/n+o(1/n)$, as soon as $p\in(1,\infty)\setminus\{2\}$. In the proof of the former estimate we use equidistribution of polynomial sequences modulo $1$ combined with probabilistic thinning. The proof of the latter estimate relies on the geometry of the $\ell^p$ spaces for $p\neq2$.
Elementary symmetric polynomials and a potentially injective family of maps on partitions
Published
• View Publication
• BIB
In this article, we provide an infinite family of examples to disprove a recent conjecture due to Ballantine and her collaborators on the injectivity of a class of maps, namely pre_k, defined on integer partitions. These maps arise from applying the sequence of elementary symmetric polynomials to integer partitions, where pre_k is associated with the kth polynomial. Subsequently, we state a modified version of their conjecture. Throwing fresh light on these class of maps, we study the inter-relationships between them, deviating from the approaches so far, which study these maps one at a time. Though one case of the conjecture (k=2) has now been settled independently by the work of Ballantine and collaborators, and Li, we provide alternate proofs of three subcases corresponding to this settled case. We also discuss lower bounds for the number of partitions of n which are in the image of the map pre_2.
On (distance) Laplacian characteristic polynomials of power graphs
Published in J. Algebra Appl. 24(14) (2024), Art. No. 2550003
• View Publication
• BIB
The characteristic polynomials of the Laplacian and the distance Laplacian matrices of power graphs of groups of order $ pqr $, where $ p,q $ and $ r $ are { primes,} are obtained. Further, the characteristic polynomials of these matrices for proper power graphs of cyclic and dicyclic groups are given. The important inequalities for the zeros of the distance Laplacian characteristic polynomials of power graphs of finite groups are presented in comments.
Uniform almost flatness in finitely generated soluble groups
We show that a finitely generated soluble group is virtually nilpotent if and only if the diameter of its finite coset spaces admits a uniform polynomial lower bound in terms of their size. We obtain the same conclusion for certain finitely generated abelian-by-cyclic groups under the weaker assumption that the diameters of their finite quotients are uniformly bounded below by a polynomial in their size. This extends the previous work of the author with Tointon.
Halfspace separation in geodesic convexity
Let $G = V, E$ be a simple connected undirected graph. A set $X \subseteq V$ is \emph{geodesically convex} if for any pair of vertices $x, y \in X$, all vertices on all shortest paths in $G$ from $x$ to $y$ are contained in $X$. A set $H \subseteq V$ is said to be a {halfspace} if both $H$ and its complement (denoted by $H^c$) are convex. Given two sets $A, B \subseteq V$, the { halfspace separation} problem asks if there exist complementary halfspaces $H, H^c$ such that $A \subseteq H$ and $B \subseteq H^c$. The halfspace separation problem is known to be NP-complete for the geodesic convexity of general graphs. We show that geodesic halfspace separation is polynomial for weakly bridged graphs, pseudo-modular graphs, and the basis graphs of matroids.
Multisymmetric functions on eventually constant cyclic graphs
The study of spanning trees and related structures is central in graph theory, closely connected to understanding functions between finite sets. This paper generalizes the established relationship between rooted trees and eventually constant endomorphisms to a wider context including $k$-tuples of functions among $k$ disjoint vertex sets. We derive a weighted count of eventually constant $k$-tuples, which are characterized by their stabilization to constancy upon iterated composition. This construction is the set-theoretic analogue of the nilpotent cone and offers new insight into the combinatorial structure of cyclic digraphs. By identifying these $k$-tuples with their induced digraphs, we construct explicit formulas for their generating polynomials and analyze the cardinality of the set of eventually constant $k$-tuples. These polynomials are multisymmetric in $k$ sets of variables and can be re-expressed as the character of a representation of the product of general linear groups. We extend the ideas to the more general structures of eventually $N$-cyclic and $λ$-cyclic $k$-tuples, which we define and provide similar theorems for their generating functions and cardinality.
A matroidal twist on a formula of Brion
Brion's Formula realizes the Laurent polynomial of lattice points in a lattice polytope P as the sum of rational functions associated to the vertices of P. In this paper, we consider the special case where P is a generalized permutohedron. We introduce a modification of the rational functions associated to the vertices of P depending on a given matroid M. Upon summing these rational functions, we show that the resulting Laurent polynomial Q_M(P) behaves in certain ways like the lattice points of P, exhibiting natural recursive and reciprocity behaviors. Furthermore, upon evaluating Q_M(P) at 1, we recover the matroid Euler characteristic of Larson, Li, Payne, and Proudfoot, thereby providing a refined approach to studying these quantities.
The Geometry of Rectangular Multisets
This article describes a natural piecewise Euclidean bi-simplicial cell structure for the space of $n$-element multisets in a fixed Euclidean rectangle. In particular, we highlight some connections with spaces of complex polynomials and permutahedra.
Transfer Operators and Independence Polynomials for Strong Powers of Circulant Graphs
We study independent sets in strong powers of circulant graphs using a transfer matrix formulation. The compatibility constraints separate into intra-layer and inter-layer components, yielding a transfer operator that is equivariant under the dihedral group action. The characteristic polynomial of the transfer operator factors into an \emph{anomalous} component (arising from the trivial isotypic component, with rational coefficients) and a \emph{cyclotomic} component (arising from nontrivial Fourier modes, splitting over the maximal real cyclotomic subfield). We show that the spectral radius is attained in the trivial isotypic component, so the dominant exponential growth is governed by a low-dimensional orbit-compressed operator. The independence polynomial is computed exactly for strong cylinders and tori, with the cyclotomic sector contributing a sparse correction confined to high-weight coefficients. All results are verified for $C_7$.