polynomial
11184 papers tagged with this keyword
On some log-concavity properties of the Alexander-Conway and Links-Gould invariants
The Links--Gould invariant $\mathrm{LG}(L ; t_0, t_1)$ of a link $L$ is a two-variable quantum generalization of the Alexander--Conway polynomial $Δ_L(t)$ and has been shown to share some of its most geometric features in several recent works. Here we suggest that $\mathrm{LG}$ likely shares another of the Alexander polynomial's most distinctive - and mysterious - properties: for alternating links, the coefficients of the Links-Gould polynomial alternate and appear to form a log-concave two-indexed sequence with no internal zeros. The former was observed by Ishii for knots with up to 10 crossings. We further conjecture that they satisfy a bidimensional property of unimodality, thereby replicating a long-standing conjecture of Fox (1962) regarding the Alexander polynomial, and a subsequent refinement by Stoimenow. We also point out that the Stoimenow conjecture reflects a more structural phenomenon: after a suitable normalization, the Alexander polynomial of an alternating link appears to be a Lorentzian polynomial. We give compelling experimental and computational evidence for these different properties.
Two combinatorial puzzles arising from the theory of Kohnert polynomials
Motivated by recent work of Hanser and Mayers, we study two combinatorial puzzles arising from the theory of Kohnert polynomials. Such polynomials are defined as generating polynomials for certain collections of diagrams consisting of unit cells arranged in the first quadrant generated from an initial "seed diagram" by applying what are called "Kohnert moves". Each Kohnert move affects the position of at most cell of a diagram, attempting to move the rightmost cell of a given row to the first available position below and in the same column. In this paper, we study the combinatorial puzzles defined as follows: given a diagram $D$, form a diagram that is fixed by all Kohnert moves by applying either the fewest or most possible number of Kohnert moves. For both puzzles, we find complete solutions as well as methods for combinatorially computing the associated number of Kohnert moves in terms of the initial diagram $D$.
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
Graph polynomials encode fundamental combinatorial invariants of graphs. Their computation is investigated using tree and path decomposition frameworks, with formal definitions of treewidth, k-trees, and pathwidth establishing the structural basis for algorithmic efficiency. Explicit algorithms are constructed for each polynomial, leveraging decomposition order and state transformation mappings to enable tractable computation on graphs of bounded treewidth. Python implementations validate the methods, and computational complexity is analyzed with respect to sparse and k-degenerate graph classes. These results advance decomposition-based approaches for polynomial computation in algebraic graph theory.
Ordered Leaf Attachment (OLA) Vectors can Identify Reticulation Events even in Multifurcated Trees
Recently, a new vector encoding, Ordered Leaf Attachment (OLA), was introduced that represents $n$-leaf phylogenetic trees as $n-1$ length integer vectors by recording the placement location of each leaf. Both encoding and decoding of trees run in linear time and depend on a fixed ordering of the leaves. Here, we investigate the connection between OLA vectors and the maximum acyclic agreement forest (MAAF) problem. A MAAF represents an optimal breakdown of $k$ trees into reticulation-free subtrees, with the roots of these subtrees representing reticulation events. We introduce a corrected OLA distance index over OLA vectors of $k$ trees, which is easily computable in linear time. We prove that the corrected OLA distance corresponds to the size of a MAAF, given an optimal leaf ordering that minimizes that distance. Additionally, a MAAF can be easily reconstructed from optimal OLA vectors. We expand these results to multifurcated trees: we introduce an $O(kn \cdot m\log m)$ algorithm that optimally resolves a set of multifurcated trees given a leaf-ordering, where $m$ is the size of a largest multifurcation, and show that trees resolved via this algorithm also minimize the size of a MAAF. These results suggest a new approach to fast computation of phylogenetic networks and identification of reticulation events via random permutations of leaves. Additionally, in the case of microbial evolution, a natural ordering of leaves is often given by the sample collection date, which means that under mild assumptions, reticulation events can be identified in polynomial time on such datasets.
Flip Combinatorial Invariance and Weyl groups
In this work, we investigate the approach via flipclasses to the Combinatorial Invariance Conjecture for Kazhdan--Lusztig polynomials of all Coxeter groups. We prove the combinatorial invariance of Kazhdan--Lusztig $\widetilde{R}$-polynomials of Weyl groups modulo $q^7$ and of Kazhdan--Lusztig $\widetilde{R}$-polynomials of type $A$ Weyl groups modulo $q^8$. As a consequence, the Combinatorial Invariance Conjecture holds for all intervals up to length 8 in Weyl groups and up to length 10 in type $A$ Weyl groups.
Vanishing of Schubert coefficients in probabilistic polynomial time
The Schubert vanishing problem asks whether Schubert structure constants are zero. We give a complete solution of the problem from an algorithmic point of view, by showing that Schubert vanishing can be decided in probabilistic polynomial time.
Entropy approximations of algebraic matroids over finite fields
We investigate the asymptotic behavior of entropy polymatroids associated with algebraic matroids over finite fields. Given an algebraic matroid ${\sf M}:=(\mathcal{E},r)$ and the irreducible variety $V$ associated with ${\sf M}$, we consider the polymatroid $h_{\mathbb{F}}$ induced by the entropies of the projections of $V(\mathbb{F})$, where $\mathbb{F}$ is a finite extension of $\mathbb{G}$. Revisiting a construction of Matú$\check{\mathrm{s}}$, we show that the polymatroid $h_{\mathbb{F}}$ converges to the rank function $r$ of ${\sf M}$ as $q:=|\mathbb{F}|$ tends to infinity.
Our main contribution is to make this convergence quantitative: we derive explicit uniform error bounds for the deviation $|h_\mathbb{F}-r|$, expressed in terms of the degree of $V$, the ground set size $|\mathcal{E}|$, the rank $r(\mathcal{E})$, and $q$. The proofs combine tools of algebraic geometry (effective Lang-Weil estimates and intrinsic degree bounds for annihilating polynomials of circuits) with information-theoretic arguments (submodularity of entropy and conditional entropy estimates).
These results provide the first effective and uniform approximation bounds for algebraic matroids by entropy polymatroids, clarifying the quantitative link between algebraic independence (captured by matroid rank) and information-theoretic independence (captured by entropy).
4-uniform Maker-Breaker and Maker-Maker games are PSPACE-complete
We study two positional games where two players take turns picking a previously unpicked vertex of a hypergraph $H$. We say a player fills an edge of $H$ if that player has picked all the vertices of that edge. In the Maker-Maker game, whoever first fills an edge wins, or we get a draw if no edge is filled. In the Maker-Breaker game, the first player aims at filling an edge while the second player aims at preventing the first player from filling an edge. We show that, for both games, deciding whether the first player has a winning strategy is a PSPACE-complete problem even when restricted to 4-uniform hypergraphs. For the Maker-Maker game, this improves on a previous result for hypergraphs of rank 4. For the Maker-Breaker game, this improves on a previous result for 5-uniform hypergraphs, and closes the complexity gap as the problem for hypergraphs of rank 3 is known to be solvable in polynomial time.
Generalized $f$-Eulerian polynomials: zeros and hypergeometric representations with applications
In this paper, we explore (slightly generalized) $f$-Eulerian polynomials introduced by Stanley and frequently appearing in combinatorics. Notable special cases include the classical Eulerian polynomials, the generating polynomials of order polynomials for certain labeled posets, and the $d$-Narayana polynomials. We establish simple sufficient conditions for the reality (and sign) of their zeros and present implications for total positivity of sequences generated by values of polynomials at integers. We further relate these polynomials to generalized Euler's transformations for the generalized hypergeometric functions with integral parameter differences. Exploiting this and other hypergeometric connections, we provide purely hypergeometric proofs for various known and some new properties of $d$-Narayana polynomials. Another family encompassed by our definition of the generalized $f$-Eulerian polynomials is that of Jacobi-Piñeiro type II multiple orthogonal polynomials. Their zero location can thus be analyzed, for both canonical and non-canonical parameter values, without invoking orthogonality. Finally, we present several connection formulas relating $d$-Narayana polynomials to particular Jacobi-Piñeiro polynomials.
Lattice polytopes and semigroup algebras: Generic Lefschetz properties and Parseval-Rayleigh identities
We study semigroup algebras associated to lattice polytopes.
We begin by generalizing and refining work of Hochster, and describe the volume maps of these algebras, that is, their fundamental classes, in terms of Parseval-Rayleigh identities and differential equations, which we prove to be equivalent.
We use these descriptions to establish strong Lefschetz properties.
A consequence is the resolution of several conjectures concerning unimodality properties of the h*-polynomial of lattice polytopes.
On the set of fixed points for NRS($m$)
Let $f(z)$ be a degree $d$ polynomial with zeros $z_i$. For arbitrary $m$ we construct explicit set of fixed points (attractors) of NRS($m$), and prove a factored formula for the Jacobian at these points. We prove that if NRS(2), when applied to $f$ with an arbitrary starting point, converges to a point $(w_0, w_1)$, then $w_0$ is of the form $z_i+z_j$ for some $i \neq j$. As a corollary, we prove a formula expressing the elementary symmetric expansion of the function \[ \prod_{1\leq i < j \leq d} (z - z_i -z_j) \] in the variables $z_i$ in terms of non-intersecting paths on certain directed graphs, using the Lindström-Gessel-Veinnot Lemma.
An improved lower bound for Erdős--Szekeres products
In 1959, Erdős and Szekeres posed a series of problems concerning the size of polynomials of the form $$ P_n(z) = \prod_{j=1}^n (1 - z^{s_j}), $$ where $s_1, \dots, s_n$ are positive integers. Of particular interest is the quantity $$ f(n) = \inf_{s_1,\dots,s_n\ge 1} \max_{|z|=1} |P_n(z)|. $$They proved that $\lim_{n\to\infty} f(n)^{1/n} = 1$, and also established the classical lower bound $f(n) \ge \sqrt{2n}$. However, despite extensive effort over more than six decades, no stronger general lower bound had been established.
In this paper, we obtain the new bound $$ f(n) \ge 2\sqrt{n}. $$This gives the first improvement of the classical lower bound for the Erdős--Szekeres problem in the general case since 1959. In particular, our result confirms a remark of Billsborough et al., who observed that if the original Erdős--Szekeres proof could be fixed, the O'Hara--Rodriguez bound would yield exactly this inequality.
On Laplacian and Signless Laplacian Permanental Polynomials of Some Well-known Graphs
The permanent of an $n \times n$ matrix $M = (m_{ij})$ is defined as $\mathrm{per}(M) = \sum_{σ\in S_n} \prod_{i=1}^n m_{i,σ(i)}$, where $S_n$ denotes the symmetric group on $\{1,2,\ldots,n\}$. The permanental polynomial of $M$, is defined by $ψ(M;x) = \mathrm{per}(xI_n - M)$. We study two fundamental variants: the Laplacian permanental polynomial $ψ(L(G);x)$ and signless Laplacian permanental polynomial $ψ(Q(G);x)$ of a graph $G$. A graph is said to be {determined} by its (signless) Laplacian permanental polynomial if no other non-isomorphic graph shares the same polynomial. A graph is combinedly determined when isomorphism is guaranteed by the equality of both polynomials. Characterizing which graphs are determined by their(signless) Laplacian permanental polynomials is an interesting problem. This paper investigates the permanental characterization problem for several families of starlike graphs, including: spider graphs (tree), coconut tree, perfect binary tree, corona product of $C_m$ and $K_n$, and $\bar K_n$ for various values of $m$ and $n$. We establish which of these graphs are determined by their Laplacian or signless Laplacian permanental polynomials, and which require both polynomials for complete characterization. We emphasize that in this manuscript, we have considered a few techniques to compute the permanental polynomial of matrices and their propagation.
Orthogonality of non-pretentious functions to polynomials over Function Fields
We prove that non-pretentious multiplicative functions are orthogonal to polynomials over $\mF_q[x]$ (up to characteristic conditions).
Lifting of cycles in functional graphs
For a given function from a set to itself, we can define a directed graph called the functional graph, where the vertices are the elements of the set, and the edges are all the pairs of inputs and outputs for the function. In this article we consider functional graphs on Z/mZ with respect to polynomial functions. The main result describes the behavior of cycles in functional graphs on Z/p^nZ while $n$ is increasing, where $p$ is a prime number.
On the $P(t)$-adic Littlewood Conjecture in Characteristics $\ell \equiv 3\pmod{4}$
Given a prime $p$, the $p$-adic Littlewood Conjecture stands as a well-known arithmetic variant of the celebrated Littlewood Conjecture in Diophantine Approximation. In the same way as the latter, it admits a natural function field analogue depending on the choice of an irreducible polynomial $P(t)$ with coefficients in a field $\mathbb{K}$. This analogue is referred to as the $P(t)$-adic Littlewood Conjecture ($P(t)$-LC for short).
$P(t)$-LC is proved to fail for any choice of irreducible polynomial $P(t)$ over any ground field $\mathbb{K}$ with characteristic $ \ell \equiv 3\pmod{4}$. The counterexample refuting it is shown to present a local arithmetic obstruction emerging from the fact that -1 is not a quadratic residue modulo a prime $\ell\equiv 3\pmod{4}$.
The theory developed elucidates and generalises all previous approaches towards refuting the conjecture. They were all based on the computer-assisted method initiated by Adiceam, Nesharim and Lunnon (2021) which has been able to establish that $P(t)$-LC fails in some small characteristics (essentially up to 11). This computer-assisted method is, however, unable to provide a general statement as it relies on ad hoc computer verifications which, provided they terminate, refute $P(t)$--LC in a given characteristic. This limitation is overcome by exhibiting an arithmetic obstruction to the validity of $P(t)$--LC in infinitely many characteristics.
The existence of arithmetic obstructions within the context of $P(t)$--LC leaves the remaining case of odd characteristics $ \ell\equiv 1\pmod{4}$ dependent on their determination. This is shown to hold in an effective and explicit way.
A note on polynomials for character degrees
A recent result of Cohen and Zemel provides an elegant expansion of the Rasala polynomials for symmetric group character degrees. In this note we present an alternative short algebraic proof. Extensions to polynomials of character values follow.
Signature 0 toric varieties, wall crossings, and cross polytope-like structures
We describe the structure of simplicial locally convex fans associated to even-dimensional complete toric varieties with signature 0. They belong to the set of such toric varieties whose even degree Betti numbers yield a top gamma vector component equal to 0. The gamma vector is an invariant of palindromic polynomials whose nonnegativity lies between unimodality and real-rootedness. It is known (and expected more generally) that the cases where this top component is 0 are among the "building blocks" of those where it is nonnegative. This means minimality with respect to a certain restricted class of blowups. However, this equality to 0 case is currently poorly understood. In the course of addressing this situation, we find that this interpretation encodes *intrinsic* combinatorial information on the fan in addition to earlier compatibility with existing natural combinatorial examples.
Our main method uses wall crossings. The links of the fan come from a repeated suspension of the maximal linear subspace in its realization in the ambient space of the fan. Conversely, the centers of these links containing any particular line form a cone or a repeated suspension of one. The intersection patterns between these "anchoring" linear subspaces come from how far certain submodularity inequalities are from equality and parity conditions on their dimensions. This involves linear dependence and containment relations between them which are connected to optimization. We obtain these relations by viewing the vanishing of certain mixed volumes from the perspective of the exponents. Finally, these wall crossings yield a simple method of generating induced 4-cycles covering the minimal objects described above. We intersect rational equivalence relations with 2-dimensional orbit closures instead of 1-dimensional ones as in most combinatorial applications.
Liar's vertex-edge domination in unit disk graph
Let $G=(V, E)$ be a simple undirected graph. A closed neighbourhood of an edge $e=uv$ between two vertices $u$ and $v$ of $G$, denoted by $N_G[e]$, is the set of vertices in the neighbourhood of $u$ and $v$ including $\{u,v\}$. A subset $L$ of $V$ is said to be liar's vertex-edge dominating set if $(i)$ for every edge $e\in E$, $|N_G[e]\cap L|\geq 2$ and $(ii)$ for every pair of distinct edges $e,e'$, $|(N_G[e]\cup N_G[e'])\cap L|\geq 3$. The minimum liar's vertex-edge domination problem is to find the liar's vertex-edge dominating set of minimum cardinality. In this article, we show that the liar's vertex-edge domination problem is NP-complete in unit disk graphs, and we design a polynomial time approximation scheme(PTAS) for the minimum liar's vertex-edge domination problem in unit disk graphs.
Improved Bounds on Ultra-Log Concavity of the Grothendieck Class of $\overline{\mathcal{M}_{0,n}}$
The class of the fine moduli space of stable $n$-pointed curves of genus zero, $\overline{\mathcal{M}_{0,n}}$, in the Grothendieck ring of varieties encodes its Poincaré polynomial. Aluffi-Chen-Marcolli conjecture that the Grothendieck class of $\overline{\mathcal{M}_{0,n}}$ is real-rooted (and hence ultra-log-concave), and they proved an asymptotic ultra-log-concavity result for these polynomials. We build upon their work, by providing effectively computable bounds for the error term in their asymptotic formula for $\mathrm{rk}\, H^{2l}(\overline{\mathcal{M}_{0,n}})$. As a consequence, we prove that in the range $l \le \frac{n}{10\log n}$, the ultra-log-concavity inequality \[\left(\frac{\mathrm{rk}\, H^{2(l-1)}(\overline{\mathcal{M}_{0,n}})}{\binom{n-3}{l-1}}\right)^2 \ge \frac{\mathrm{rk}\, H^{2(l-2)}(\overline{\mathcal{M}_{0,n}})\mathrm{rk}\, H^{2l}(\overline{\mathcal{M}_{0,n}})}{\binom{n-3}{l-2}\binom{n-3}{l}} \]
holds for $n$ sufficiently large.