polynomial
11184 papers tagged with this keyword
Enumeration of Nondegenerate $2 \times (k+1) \times k$ Hypermatrices
We consider the problem of enumerating hypermatrices of format $2 \times (k + 1) \times k$ over a finite field that have nonzero hyperdeterminant and whose nonzero entries are restricted to a plane partition. We conjecture an attractive product formula for the enumeration, and prove it in many cases. In general, we show that the enumeration is given (up to a power of $q - 1$) by a polynomial in $q$ with nonnegative integer coefficients, whose value at $q = 1$ enumerates a natural family of three-dimensional rook placements.
Pólya enumeration, wreath product symmetric functions, and moduli spaces of curves
We develop a calculus for $S_n$-equivariant Euler characteristics of moduli spaces of stable curves and stable maps. Our approach involves an enrichment of Pólya's cycle index polynomial of a graph to a certain algebra $Λ^{[2]}$ of wreath product symmetric functions. Building on foundational work of Macdonald, we prove that $Λ^{[2]}$ may be viewed as the Grothendieck ring of the category of polynomial functors which map symmetric sequences of vector spaces to vector spaces. This interpretation gives rise to an action of $Λ^{[2]}$ on the ordinary ring of symmetric functions $Λ$, which is described concretely in terms of Adams operations and skewing by power sums. This action lets us deduce appealing formulas, involving only ordinary symmetric functions, for generating functions of $S_n$-equivariant Euler characteristics.
Quantizing Pythagorean triples
We introduce a $q$-deformation of the Pythagoras equation $a^2 + b^2 = c^2$, which is a polynomial version of it different from the standard one. We construct a polynomial analogue, or ``$q$-analogue'', of every primitive Pythagorean triple. We also construct such analogue for a larger class of Pythagorean triples called standard. Our approach is based on the notion of $q$-deformed rational numbers and the modular group $\mathrm{PSL}(2,\mathbb{Z})$.
Preserving Hodge Vectors of Lattice Polytopes
Given lattice polytopes $P_1, \ldots, P_k$ contained in a $k$-dimensional subspace $U \subseteq \mathbb{R}^d$ and a $d$-dimensional lattice polytope $Q \subset \mathbb{R}^d$, we compute the Hodge vector of the Cayley polytope $P_1 * \cdots * P_k * Q$, and show that it equals the mixed volume of $P_1, \ldots, P_k$ times the Hodge vector of the projection of $Q$ along $U$. Here, the Hodge vector of a lattice polytope is its local $h^*$-vector with leading and trailing zeroes removed. This result allows finding infinitely many high-dimensional lattice polytopes with the same Hodge vector that are not free joins. The proof relies on a closed formula for the Hodge-Deligne polynomial of generic complete intersections in the torus in terms of the bivariate/mixed $h^*$-polynomial. A special case of our construction is what we call Lawrence twists: extending the Gale transform by centrally-symmetric pairs of vectors. As applications, we can produce many new thin polytopes answering a question by Borger, Kretschmer and the second author, and we provide an alternative explanation of the thinness of $B_k$-polytopes answering a question of Selyanin.
Gale-Robinson Quivers and Principal Coefficients
In this paper, we provide a combinatorial interpretation for Laurent polynomials obtained by iteratively mutating a certain periodic quiver that has been framed with frozen vertices. This yields a family of cluster variables with principal coefficients associated to a family of integer sequences known as Gale-Robinson sequences. The work of this paper completes arguments for preliminary results announced in earlier work of Jeong-Musiker-Zhang, and relates to works of Bousquet-Mélou-Propp-West, Speyer, Vichitkunakorn, and of Eager-Franco.
On factorization of matrix of Kazhdan-Lusztig polynomials
Let $\mathcal{H} = \mathcal{H}(W,S)$ be the Hecke algebra of the Coxeter system $(W,S)$ over $\mathbb{Z}[q^{\pm1}]$, where $W$ is the Weyl group of a symmetrizable Kac-Moody algebra. In this paper, we show that the matrix of Kazhdan-Lusztig polynomials of $\mathcal{H}$ factorizes into a product of $|S|$ many matrices, each of which has entries as polynomials in $q$ with nonnegative coefficients. To achieve this goal, we use hybrid basis $TC^J$ for $J\subseteq S$ of $\mathcal{H}$, defined by Grojnowski-Haiman. The intermediate matrices in the aforementioned factorization turn out to be the transition matrices from $TC^J$-basis to $TC^I$-basis for $I\subset J$. Equivalently, these coefficients can be computed using a natural restriction map from $\mathcal{H}$ to the parabolic Hecke algebra $\mathcal{H}_J$. Moreover, following the ideas from Grojnowski-Haiman, we also give a geometric proof of the positivity of these coefficients.
Relevant maps and the algebraic skeleton of simplicial toric prevarieties
Morphisms between schemes arising from multigraded rings are essential for understanding geometric relationships in algebraic geometry, yet a systematic theory for such maps has been lacking. In this paper, we develop a comprehensive framework for rational maps between multigraded Proj schemes by introducing several notions of maps between their underlying multigraded rings. A key challenge is that to induce actual morphisms (rather than just rational maps), the ring homomorphism $\varphi\colon R \to S$ must hit every relevant element in $S$. To address this, we introduce the use of relevant subsets $B \subseteq S_+$ (where $S_+$ is the ideal generated by all relevant elements), $B \unlhd S$, which allow us to control this condition more flexibly.
As an application, we show that multigraded noetherian polynomial rings naturally encode combinatorial data, giving rise to systems of fans and thus to toric prevarieties. By leveraging our notion of rational maps with those relevant subsets, we prove that the category of triples $(D, S, B)$ - where $D$ is a finitely generated abelian group, $S$ is a $D$-graded noetherian polynomial ring, and $B \unlhd S$ is a subset of $S_+$ - together with rational maps of conical rings, is anti-equivalent to the category of simplicial toric prevarieties.
A $B$-Restricted Clique Polynomial and Connections to Tanner's Inequality
Let $G$ be a finite simple graph and $B \subseteq V(G)$.
We study the \emph{$B$-restricted clique polynomial} $C_B(G;x)$, including its weighted version allowing vertex multiplicities, as a versatile tool to capture structural properties of vertex subsets.
First, we develop a complete deletion theory for $C_B(G;x)$, including vertex and edge recurrences that generalize classical clique polynomial results.
These recurrences yield monotonicity principles for the largest negative root $ζ_G(B)$: it is monotone under induced subgraphs and reverse-monotone under spanning subgraphs.
Consequently, we derive explicit bounds on $B$-independence numbers, chromatic numbers, $B$-girth, and Hamiltonicity constraints, showing that $ζ_G(B)$ serves as a unifying local invariant.
Next, we connect $B$-clique polynomials to spectral graph theory.
For $(n,d,λ)$-graphs, spectral techniques, including the Expander Mixing Lemma and Tanner's inequality, provide uniform bounds on $B$-restricted clique coefficients, demonstrating that clique growth within $B$ is naturally controlled by the spectral gap.
Finally, we show that weighted $B$-clique polynomials encode \emph{homomorphism constraints}.
Specifically, if $f: G \to H$ is a surjective homomorphism mapping $B_G$ onto $B_H$, then $ζ_G(B_G) \ge ζ_H(B_H)$, yielding a local \emph{no-homomorphism criterion} based on $B$-roots.
Overall, $C_B(G;x)$ provides a unified framework capturing combinatorial, spectral, and homomorphic information in vertex-restricted analysis, highlighting its power for both global and local structural insights.
On A. V. Anisimov's problem for finding a polynomial algorithm checking inclusion of context-free languages in group languages
Published in Filomat, 2024, Volume 38, Issue 12, Pages: 4157-4166
• View Publication
• BIB
The work investigates the problem of whether a context-free language is a subset of a group language. A.~V. Anisimov has shown that the problem of determining the unambiguity of finite automata is a special case of this problem. Then the question of finding polynomial algorithm verifying the inclusion of context-free languages in group languages naturally arises. The article focuses on this open problem. For the purpose, the paper describes an unconventional method of description of context-free languages, namely a representation with the help of a finite digraph whose arcs are labelled with a specially defined monoid $\mathcal{U}$. Also, we define a semiring $\mathcal{S}_\mathcal{U}$ whose elements are the set $2^\mathcal{U}$ of all subsets of $\mathcal{U}$ and with operations - product and union of the elements of $2^\mathcal{U}$. The described algorithm executes no more than $O(n^3)$ operations in $\mathcal{S}_\mathcal{U}$.
Ramsey theory of low-degree semialgebraic relations
We prove that hypergraphs defined by low-degree polynomial inequalities contain large homogeneous subsets. Formally, let $H$ be an $r$-uniform hypergraph on $N$ vertices that is semialgebraic of constant description complexity, and each defining polynomial has degree at most $D$. Then $H$ contains a clique or an independent set of size $n$, where $N\leq \mbox{tw}_{3D^3}(n)$.
Serre depth and local cohomology
We introduce a fundamental homological invariant, called Serre depth, which stratifies Serre's conditions in the same way that depth stratifies the Cohen-Macaulay property. We study the Serre depths of modules over arbitrary Noetherian local rings and over standard graded algebras over a field, extending the polynomial ring case due to Muta and Terai. Under mild hypotheses, we show that the $r$-th Serre depth of a finitely generated module $M$ measures the deviation of $M$ from satisfying Serre's condition $(S_r)$. The main results of the paper can be summarized as follows:
(i) We establish the basic properties of Serre depth and prove that it is invariant under completion.
(ii) If the base ring $R$ is a homomorphic image of a Gorenstein ring, we show that a finitely generated $R$-module $M$ is equidimensional and satisfies $(S_r)$ if and only if its $r$-th Serre depth equals its Krull dimension. Analogous statements are obtained for schemes.
(iii) For a homogeneous ideal in a standard graded polynomial ring over a field, we compare its Serre depths with those of its initial ideal.
(iv) We characterize the Serre depths of a monomial ideal in terms of its skeletons and prove that the Serre depths of sufficiently large powers of a monomial ideal stabilize; the proof uses Presburger arithmetic.
On the discrete Heine-Shephard problem for four lattice polygons
We study the set of square-free parts of volume polynomials associated with four planar lattice polytopes. This is motivated by the problem of describing possible pairwise intersection numbers of four curves in $(\mathbb{C}^*)^2$ with prescribed Newton polytopes and generic coefficients. It is known that for arbitrary convex bodies in $\mathbb{R}^2$, the corresponding square-free polynomials are characterized by the Plücker-type inequalities. We show that this characterization fails in the lattice setting: the interior of the space defined by the Plücker-type inequalities contains integer polynomials that are and are not realizable by lattice polytopes. This phenomenon arises from additional arithmetic constraints on the mixed areas of lattice polytopes. These constraints become apparent when we study a "discrete diagram", which maps a pair of planar lattice polytopes to their mixed area together with their lattice widths in a given direction.
Comparability of random permutations in the strong Bruhat order
The (strong) Bruhat order for permutations provides a partial ordering defined as follows: two permutations are comparable if one can be obtained from the other by a sequence of adjacent transpositions that each increase the number of inversions by $1$. Given two random permutations, what is the probability that they are comparable in the Bruhat order? This problem was first considered in a 2006 work of Hammett and Pittel, which showed an exponential lower bound and a polynomial upper bound. The lower bound was very recently improved to the subexponential bound of $\exp(-n^{1/2 + o(1)})$ by Boretsky, Cornejo, Hodges, Horn, Lesnevich, and McAllister. Hammett and Pittel predicted that the probability should decrease polynomially. We show that the probability decreases faster than any polynomial and is on the order of $\exp(-Θ(\log^2 n))$.
Webs and smooth components of two column Springer fibers
Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the irreducible representations of the symmetric group. Fung's 1997 thesis gave the first evidence of a connection between $\mathfrak{sl}_2$ webs and Springer fibers, showing that webs naturally index and describe the components of certain "two row" Springer fibers. However, this case is known to be far from generic.
This paper deepens this connection with a similar correspondence in the substantially more complicated "two column" case. In particular, and building on works of Fresse, Melnikov, and Sakas-Obeid, we use webs to give a clean characterization of the smooth components of two column rectangle Springer fibers and a simple description of the geometry of these smooth components. We also show that the Poincaré polynomial of the smooth components is invariant under the natural dihedral action on the corresponding webs.
Integral and arithmetic structures of alternating (zigzag) numbers $A_n$
The alternating (zigzag) numbers $A_n$, counting the ascending alternating permutations of $\left\{1,\cdots,n\right\}$ and defined by the exponential generating function $\tan x+\sec x$, admit several classical combinatorial and analytic representations. In this work we unify and extend three complementary structures of $A_n$. First, starting from the Stirling number expansion of zigzag numbers, we derive a contour integral representation, as well as a positive Laplace-type integral representation $$ A_n = 2^n \int_0^\infty e^{-y} f_n(y)\, dy, \qquad f_n(y) := \sum_{k=0}^{n} (-1)^k S(n,k) \left(\frac{y}{2}\right)^k, $$ where the kernel $f_n(y)$ is the polynomial generating function of Stirling numbers. A continuous interpolation of the discrete product (falling factorial) is introduced subsequently. This provides a direct analytic bridge between set partitions and Laplace asymptotics. Second, using the partial fraction expansion of $\tan$, we obtain the well-known hyperbolic integral representation $$ A_{2n+1}=\frac{1}π\int_0^\infty\frac{y^{2n+1}}{\sinh(y/2)}\,dy, $$ equivalently expressed in classical $\cosh$ form for $A_{2n}$. This representation interprets zigzag numbers as spectral moments associated with half-integer poles. The connection with Fourier analysis and Mellin transforms is also outlined. Finally, combining spectral expansions with Stirling identities, we derive congruence relations modulo primes for $A_n$. These results exhibit a dual analytic-combinatorial structure of zigzag numbers, linking partition expansions, trigonometric spectra, and arithmetic properties.
Asymptotics and zero distribution of geometric polynomials
We obtain some results on the asymptotic behavior and zero distribution of the so-called geometric polynomials. The asymptotics is given both on compact subsets of $\C\setminus [-1,0]$ and on compact subsets of the interval $(-1,0)$. The zeros of these polynomials are simple and lie in $(-1,0]$; moreover, the zeros of consecutive polynomials interlace. Its zero distribution is a measure whose density is similar to Cauchy weight. Some orthogonality properties of these polynomials are also proved.
Finite Free Information Inequalities
We develop finite free information theory for real-rooted polynomials, establishing finite free analogues of entropy and Fisher information monotonicity, as well as the Stam and entropy power inequalities. These results resolve conjectures by Shlyakhtenko and Gribinski and recover inequalities in free probability in the large-degree limit. Equivalently, our results may be interpreted as potential-theoretic inequalities for the zeros of real-rooted polynomials under differential operators which preserve real-rootedness. Our proofs leverage a new connection between score vectors and Jacobians of root maps, combined with convexity results for hyperbolic polynomials.
Pollyanna and Polynomially \c{hi}-Bounded Graph Classes
A hereditary graph class is called polynomially $χ$-bounded if there exists a polynomial function $f$ such that $χ(G) \le f(ω(G))$ for every induced subgraph $G$. A class $\mathcal{C}$ is called Pollyanna if, for every $χ$-bounded class $\mathcal{F}$, the class $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded.
In the paper by Chudnovsky et al., \emph{Reuniting $χ$-boundedness with polynomial $χ$-boundedness} (J.\ Combin.\ Theory Ser.\ B 176 (2026), 30--73), the authors posed twelve problems and one conjecture concerning the Pollyanna framework. In this work, we investigate several of these problems by studying the chromatic number of hereditary graph classes defined by forbidden induced subgraphs.
We prove three new strong Pollyanna results. In particular, for every $t \ge 2$, every $\{\text{diamond}, \mathrm{hammer}(t)^+\}$-free graph is $t$-strongly Pollyanna. We also show that graph classes obtained by forbidding suitable combinations of bowties and dumbbells are $(2t-2)$-strongly Pollyanna.
We show that the class of $\{(2,2)$-bowtie, $P_5$, $(3,3)$-dumbbell$\}$-free graphs is polynomially $χ$-bounded. We also prove polynomial $χ$-boundedness for diamond-free graphs in which every edge lies in at least two triangles, under additional forbidden configurations.
Computations on the tautological basis of the cohomology ring of the Peterson variety
It is known that the set of square free monomials on the Chern classes of the tautological line bundles over the Peterson variety forms an additive basis of its cohomology ring. We study the expansion formula for their products. In particular, we give a square free expansion of the products multiplying degree 2 classes in terms of elementary symmetric polynomials and binomial coefficients.
Diagonals in Riordan matrices and applications
We introduce a method for describing Riordan matrices via recurrence relations along their diagonals. This provides a new structural description that complements the classical row-wise and column-wise constructions via the A-sequence. As an application, we characterize families of palindromic Riordan polynomials, yielding a new combinatorial interpretation in terms of lattice paths.