polynomial
11422 papers tagged with this keyword
Roman domination on subclasses of bipartite graphs
The Roman Domination Problem (RDP) on a simple, finite, undirected graph \(G=(V,E)\) asks for a labeling function \(f:V\rightarrow\{0,1,2\}\) such that every vertex assigned value \(0\) is adjacent to at least one vertex assigned value \(2\). The objective is to minimize the total weight \(\sum_{v\in V} f(v)\), and this minimum value is called the Roman domination number of \(G\), denoted by \(γ_R(G)\). Since the RDP is NP-complete for bipartite graphs, a natural direction is to study its complexity on restricted subclasses of bipartite graphs. The problem remains NP-complete even under strong structural restrictions, such as star-convex and comb-convex bipartite graphs. Therefore, identifying the borderline subclasses where the problem changes from NP-complete to polynomial-time solvable remains an important challenge.
In this paper, we investigate the RDP on convex bipartite graphs and on their superclass, chordal bipartite graphs. First, we present a dynamic programming algorithm for convex bipartite graphs. The algorithm uses the interval ordering of one bipartition class and keeps a compact boundary state, which is sufficient to control the domination requirements of both processed and future vertices. This gives an \(O(n^3)\)-time algorithm for computing \(γ_R(G)\) on an \(n\) vertex convex bipartite graph. In contrast, we prove that the decision version of the RDP is NP-complete on chordal bipartite graphs by a polynomial reduction from \textsc{Dominating Set} on chordal bipartite graphs. Thus, our results show a clear separation between the tractability of convex bipartite graphs and the hardness of the larger chordal bipartite class.
Minimum modulus for the unique multiset-sum problem
Fix $n \ge 2$. A set $A = \{a_0 < a_1 < \dots < a_{n-1}\}$ of $n$ residues in $\Z_N$ is \emph{valid mod $N$} if the all-ones multiset is the \emph{only} size-$n$ multiset drawn from $A$ whose sum is $p := \sum_i a_i \pmod N$. For the super-increasing set $A = \{2^k - 1 : 0 \le k \le n-1\}$ we determine the least valid modulus exactly: $\Nmin(n) = 2^{\,n} - 2^{\lfloor \log_2 n \rfloor}$ for all $n \ge 2$. Both directions of the proof are elementary, resting on a sharp minimal-digit-sum estimate for representations by binary coins, and the full theorem has been machine-checked in Lean~4/Mathlib for all $n$ (https://github.com/jarfo/min-modulus). We conjecture that no size-$n$ residue set admits a smaller valid modulus.
This validity condition is exactly what makes the permanent of an $n \times n$ matrix equal to a single coefficient of a row-product polynomial modulo $x^N - 1$, extractable by a size-$N$ discrete Fourier (or number-theoretic) transform; the theorem thus identifies the smallest transform, $N \approx 2^n$, for which this evaluation is exact. That application -- and the resulting common framework for the classical formulas of Ryser and Glynn and this transform -- is developed in a companion paper [2].
Multiplicity of negative one of independence polynomials of graphs
We initiate the study of the multiplicity of negative one of independence polynomials of graphs. In this article, we simply refer to this as the \emph{multiplicity} of a graph. As applications, we provide a graph-theoretic description of trees whose independence complexes are contractible, give a new sufficient condition for independence polynomials of graphs to be log-concave, and finally, determine possible pairs $(\operatorname{mult}_{-1}P_G, α(G))$, where $P_G$ denotes the independence polynomial of $G$, and $α(G)$ the independence number. The study of the pairs $(\operatorname{mult}_{-1}P_G, α(G))$ is equivalent to finding all pairs of the numerator degree and denominator degree of the Hilbert series of the edge ideal of $G$. We also use spectral graph theory to obtain results on the multiplicity of line graphs of forests. Finally, we give some translations and applications in combinatorial commutative algebra.
Twofold universality of large-$N$ melonic random tensors
We construct a measure that exhibits two aspects of a new type of universality and dramatically simplifies the integration of tensors $T_{a_1,a_2,\ldots,a_D} \in \mathbb{C}$ ($a_1,\ldots,a_D=1,\ldots,N$) at large $N$. In contrast to matrix integration, in which matrix traces canonically yield the integrand, tensors need additional information (equivalent to a $D$-coloured graph $B$) to contract their indices and form a tensor trace $B(T)$. We show that, whenever each $B_1,\ldots, B_n$ can be obtained by a recursive construction known as melonicity, then the leading order in $N$ of the integral of $ {B_1}(T) {B_2}(T) \cdots {B_n}(T) $ is independent of the -- often intricate -- combinatorics of the traces $B_i$, but also, to our surprise, independent of $D$ as far as $D\geq 3$. Instead, at large $N$, these integrals are some functions (indexed by $n$) of the number of vertices $2p_i$ of $B_i$ which we call melonic polynomials. Melonic traces cumulants with respect to any ('interacting') measure \[ \exp\Big\{-N^{D-1} \sum_{i=1}^m g_i {B_i}(T)\Big\} \mathrm{d}μ_0(T) \quad (g_1,\ldots,g_m \in \mathbb{R}, \mathrm{d}μ_0(T) =\text{the tensor Gaussian}) \] with each $B_i$ melonic, can be computed with our universal measure that replaces each $B_i$ by a canonical trace depending only on $p_i$. We prove that any two melonic tensor models are indistinguishable at large-$N$, independently of the number of tensor indices (first universality aspect), and of the fine-grainedness of their interactions (second universality), being a sufficient condition that the couplings (the parameters $g_i$ above) agree and their respective traces are monomials with the same degree in $T$.
On the largest size of sum-free sets in symmetric regions
A subset $S$ of a group $G$ is said to be sum-free (resp. $Δ$-free) if there are no solutions to $a+b=c$ (resp. $a+b+c=0$) with $a,b,c\in S$. For a convex region $R\subset\mathbb{R}^d$, let $σ(R)$ denote the maximal proportion of the volume of $R$ that a sum-free subset of $R$ can occupy.
We prove that $σ([-1,1]^d)=1/2$. Our proof employs a careful application of the Brunn-Minkowski inequality. Moreover, for the $d$-dimensional Euclidean ball $\mathbb{B}^d(0,1)$, we show that $σ(\mathbb{B}^d(0,1))\leq 1/2+o_d(1)$. We present two arguments for this. The first combines some routine harmonic analysis on the sphere with known bounds on values of the ultraspherical polynomials. The second more elementary argument proceeds by establishing that the maximal $Δ$-free subset of the unit sphere $\mathbb{S}^{d-1}$ occupies $1/2+O(d^{-1})$ of the sphere's surface measure. This answers a question raised by Bukh.
Newton polygons for the non-bipartite dimer model
We study the dimer model on two families of non-bipartite graphs on a torus. The first family is obtained by replacing degree $3$ vertices in a bipartite torus graph with triangles, while the second consists of corner graphs associated with bipartite torus graphs. We determine the relationship between the Newton polygons of these graphs and those of the underlying bipartite graphs. We also identify the primitive edge vectors of the Newton polygons with the homology classes of the zig-zag paths.
We further consider the marginal polynomials obtained by restricting to monomials corresponding to a boundary side of the Newton polygon. For the triangular lattice and the Fisher graph of the hexagonal lattice, we prove that these polynomials are real-rooted and obtain an explicit factorization of their roots. Finally, we introduce new local moves, including a move on non-planar graphs, that preserve the dimer partition functions up to a scale.
On Two Algebraic Realizations of Schubert Calculus
Schubert calculus on complex Grassmannians can be played by means of differential operators acting on Schur polynomials or Vertex Operators acting on exterior algebras. In this paper we develop this point of view systematically and complement it with a parallel exterior-algebra formalism, leading to what we call, respectively, the \emph{bosonic} and the \emph{fermionic} Schubert calculus. The two alluded realizations are related by (a finite type version of) the boson--fermion correspondence, thereby providing a unified framework connecting Schubert calculus and integrals on the Grassmannian, symmetric functions, exterior algebras and the representation theory of symmetric groups.
Long Directed Cycles in Vertex-Transitive Digraphs
The search for Hamiltonian cycles in vertex-transitive graphs and digraphs is a classical problem at the interface of graph theory and group theory. In the undirected setting, this goes back to famous conjectures of Lovász and Thomassen predicting that every sufficiently large connected vertex-transitive graph is Hamiltonian. The directed analogue has an even richer history, originating with Rankin in 1946, naturally translating the search for long cycles into classical group rearrangement problems. It was shown by Trotter and Erdős in 1978 that connected vertex-transitive digraphs need not be Hamiltonian.
In 1981, Alspach asked whether there exist connected vertex-transitive digraphs whose longest directed cycle misses arbitrarily many vertices. This question was only recently resolved by Bucić, Hendrey, Mohar, Steiner and Yepremyan, who constructed connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits $(1-o(1))\log n$ vertices. They further conjectured that the number of omitted vertices can grow linearly with $n$, remarking that it would already be interesting to improve their logarithmic lower bound to a polynomial bound. In this paper, we confirm their conjecture in a strong form by constructing infinitely many connected vertex-transitive digraphs on $n$ vertices whose longest directed cycle omits at least $n/12$ vertices.
In the same work, Bucić, Hendrey, Mohar, Steiner and Yepremyan also proved that every connected vertex-transitive digraph on $n$ vertices contains a directed cycle of length $Ω(n^{1/3})$, giving the first lower bound for this problem that grows with $n$. We improve this to $Ω(\sqrt n)$, matching the order of Babai's classical theorem from 1979 for undirected vertex-transitive graphs.
Polynomial encoding of rooted trees with branch lengths
Phylogenetic trees are rooted trees with branch lengths that record genetic divergence or elapsed time, and quantifying differences between them is central to a wide range of evolutionary and epidemiological analyses. Graph-polynomial encodings of rooted trees provide an accurate, interpretable, and computationally efficient way to compare tree shapes, but existing polynomial encodings must be paired with auxiliary structures to study rooted trees with branch lengths. We introduce a bivariate polynomial encoding that incorporates branch lengths directly into a recursive computation from the leaf vertices to the root vertex of a tree. We prove that, for rooted trees with branch lengths and no vertices of degree two, which include all standard phylogenetic trees, two trees have the same polynomial if and only if their underlying unlabeled trees are isomorphic and the branch lengths of corresponding edges are equal. We apply the polynomial encoding to three published HIV-1 phylogenies sampled in different epidemiological settings and show that it accurately separates the three datasets based on their tree topologies and branch lengths, outperforming previous polynomial-based approaches for analyzing rooted trees with branch lengths.
One construction for the Miura-ori flip-graph degree sequence
The flip graph of an origami crease pattern has the flat-foldable mountain-valley assignments as vertices, and an edge joins two of them that differ by a single face flip. A basic invariant of this graph is the degree sequence, which counts the vertices of each degree. On the $m\times n$ Miura-ori, this sequence is known as a bivariate polynomial only for small degrees, each count obtained by a separate argument whose casework grows with the degree. This paper gives one uniform construction that expresses, for every degree $d$, the number of degree-$d$ vertices as a single symmetric polynomial $p_d(m,n)$ for all sufficiently large $m,n$. Subject to a single degree bound, this polynomial has total degree $d-2$, growing for $d\ge5$ as an explicit multiple of $m^{d-2}+n^{d-2}$; the bound is proved here when the count splits into independent row and column factors, and open otherwise. The region is $m,n\ge\max(d-1,2)$; through $d=7$, the polynomials are computed in closed form and the bound is verified in every case. Below this region, the count departs from $p_d$ by a correction whose leading coefficient, through degree eleven, is $-4$ times a Baxter number. Each $p_d$ thus counts the Miura-ori's flat-foldable assignments admitting exactly $d$ single face flips.
Determining Particular Solutions for Exponential-Polynomial Forcing Terms in Linear Nonhomogeneous Recurrence Relations
Published
• View Publication
• BIB
This paper develops a systematic method for determining particular solutions of the $k$th-order linear nonhomogeneous recurrence relation $$a_n + c_1 a_{n-1} + \cdots + c_k a_{n-k} = \sum_{j=1}^J p_j(n){r_j}^n$$ with $n \geq k$, $c_k \neq 0$, $r_j \neq 0$. Here each $p_j(n)$ is a polynomial. The main result is the following: for the characteristic polynomial $c(t)=t^k+c_1t^{k-1}+\cdots+c_k$, if $s_j$ denotes the multiplicity of $r_j$ as a root of $c(t)$ ($s_j=0$ when $r_j$ is not a root), then there exists a particular solution of the form $q_n=\sum_{j=1}^J b_j(n)n^{s_j}r_j^n$, where each $b_j(n)$ is a polynomial of the same degree as $p_j(n)$. This result parallels the method of undetermined coefficients for linear ODEs with constant coefficients and yields a systematic procedure for determining the form of particular solutions.
Uniform mixing and $ε$-uniform mixing on cycles
We study continuous-time quantum walks on cycles. We prove two complementary results. Firstly, the cycle $C_9$ does not admit uniform mixing at any time. Using the similar idea and Dickson polynomials, we prove that $C_{15}$ does not admit uniform mixing at any time neither. Secondly, for every prime $p$, we show that the cycle $C_{p^2}$ admits $ε$-uniform mixing.
Log-concavity and log-convexity in the theory of the Graham--Knuth--Patashnik recurrences
We study the triangular array $T(n,k;μ)$ defined by the Graham--Knuth--Patashnik recurrences $$ T(n,k) \;=\; (αn + βk + γ) \, T(n-1,k) +
(α' n + β' k + γ') \, T(n-1,k-1) $$ with initial condition $T(0,k)=δ_{k,0}$ and parameters $μ=(α,β,γ,α',β',γ')$, which are considered to be indeterminates. We first prove that, for any fixed $n\ge 0$, the sequence $(T(n,k;μ))_{k\ge 0}$ is strongly log-concave with the coefficientwise partial order in the variables $α,β,γ,α',β',γ'$. Moreover, we show that the sequence of the corresponding row-generating polynomials $(P_n(x;μ))_{n\ge 0}$ is strongly log-convex with the coefficientwise partial order in the variables $x$ and $α,β,γ,α',β',γ'$. Finally, we show that this sequence is coefficientwise Hankel-totally positive of order 2 with the same partial order.
Ordered alternating paths and the depth of symbolic powers of cover ideals of graphs
Let $G$ be a simple graph with cover ideal $J(G)$ in a polynomial ring $S$ in $|V(G)|$ variables. For a matching $M$ of $G$, we denote by $\ell(M)$ the length of the longest $M$-alternating path in $G$. We define $α_t(G)$ to be the maximum size of an ordered matching $M$ of $G$ such that $\ell(M) \le 2t-1$. We then prove that $$\operatorname{depth}(S/J(G)^{(t)}) \le |V(G)| - 1 - α_t(G)$$ for all $t \ge 1$, where $J(G)^{(t)}$ denotes the $t$-th symbolic power of $J(G)$, and that equality holds when $G$ is a forest.
The Alon--Tarsi Number of Squares of Subcubic Planar Graphs without Cycles of Lengths $4$ to $8$
The Alon--Tarsi number $AT(G)$ of a graph $G$, defined via the graph polynomial, is a strengthening of the list chromatic number $χ_{\ell}(G)$. We study the Alon--Tarsi number of squares of planar graphs. The square of a graph $G$ is the graph obtained by joining every pair of vertices whose distance in $G$ is at most $2$. Recently, Kim and Luo (2026) proved that $χ_{\ell}(G^2)\le 6$ for every subcubic planar graph containing no $k$-cycles for $4\le k\le 8$. We strengthen this result by proving that $AT(G^2)\le 6$ for every such graph $G$.
Embedding Induced Bounded Degree Graphs
We prove a sparse embedding theorem for induced embeddings of bounded-degree graphs. The theorem applies to pairs $G\subseteq Γ$: the graph $G$ supplies the positive edges of the target graph, while the ambient graph $Γ$ supplies the induced constraints which must be avoided. Its main feature is that these two types of constraints are kept separate throughout the embedding process.
As an application, we show that, for every fixed $Δ,r\ge2$, there are constants $A,C>0$ such that every $n$-vertex graph $H$ with maximum degree at most $Δ$ satisfies $r_{\text{ind}}(H;r)\le C n^{Δ+2}(\log n)^A$. This improves the exponent in the polynomial bound of Conlon, Fox and Zhao for bounded-degree induced Ramsey numbers. The proof combines the aforementioned embedding theorem with a sparse random transference argument, in which the random host is used only to certify robust deterministic hypotheses for every colour class.
Magic Positivity for the Ehrhart Polynomials of Partial Permutohedra
For positive integers \(m,n\), the partial permutohedron $\mathcal{P}(m,n)$ is a lattice polytope constructed as the convex hull of vectors in $\{0, 1, \dots, n\}^m$ that have distinct non-zero entries. We prove that for $n \ge m-1$, the Ehrhart polynomial of $\mathcal{P}(m,n)$ is magic positive except for the single case \((m,n)=(2,1)\). In particular, the Ehrhart polynomial of the parking function polytope (integrally equivalent to $\mathcal{P}(m,m-1)$) is magic positive for $m \ge 3$. For $n<m-1$, we discuss the magic positivity of the Ehrhart polynomial of $\mathcal{P}(m,n)$ for $n=1,2,3$. There exist infinitely many counterexamples with $n<m-1$ showing that the Ehrhart polynomial of $\mathcal{P}(m,n)$ is not magic positive. This partially resolves an open problem proposed by Ferroni and Higashitani.
Characteristic Polynomials of Graph- and Digraph-Deleted Catalan Arrangements
We study characteristic polynomials of arrangements obtained from the full $m$-Catalan arrangement by deleting hyperplanes indexed by graphs, digraphs, and gain-labeled digraphs. Zero-layer graph deletions give falling-factorial expansions with graphical Stirling coefficients. For a single deleted translated layer $x_i-x_j=l$, the coefficients are directed matching numbers when $1\le l\le\lfloor m/2\rfloor$, and directed path-cover numbers when $\lfloor m/2\rfloor<l\le m$. For simultaneous deletions in several translated layers, the coefficients are admissible sets of deleted gain-labeled arcs. In the case $l=m$, an inclusion-exclusion expansion yields a Lah-number identity relating path covers of a digraph and its complement. We also obtain an $m$-independent criterion for integer linear factorization, compact region-count formulas for a complete bipartite orientation after essentialization, and directed Ish-type applications.
Quantized Howe-type dualities via Koornwinder polynomials and the X=K phenomenon
We derive the equality between one-dimensional sums associated with tensor products of Kirillov-Reshetikhin column crystals of classical affine types and Lusztig q-analogues of weight multiplicities. The matching of the corresponding root systems is suggested by Howe duality. Our main tool is the dual Cauchy formula for Koornwinder polynomials due to Mimachi, which we combine with specializations in these polynomials. The mentioned dualities are proved for one-dimensional sums of all (twisted and untwisted) classical affine types except types B_n^(1) and D_n^(1). On another hand, all the Lusztig q-analogues of classical type are covered by our dualities, but they may have different parameters depending on the length of the roots in the underlying root system.
Bergeron's conjecture & a tale of two binomial coefficients
Bergeron's conjecture states that, if $1\leq a<b<c<d$ are integers with $ad=bc$, then one has the coefficient-wise inequality ${\binom{b+c}b}_q \ge {\binom{a+d}a}_q$ among two Gaussian polynomials. It originated in algebraic combinatorics and is wide open. The corresponding inequality for binomial coefficients (i.e., the case $q=1$) must be known to experts, but we could not find it in the literature. We give two proofs, each generalizing the statement in a separate direction. Binomial coefficients (and Gaussian polynomials) are fundamental combinatorial objects, and so one naturally hopes to see a combinatorial proof of this inequality. However, this seems hard to come by. We nevertheless give a combinatorial proof of a special case.