sequence
7033 papers tagged with this keyword
A classification of the Nim-sequences for the two-element subtraction game with a single pass
In this paper, we provide a complete description of the preperiods, periodic lengths, and the Grundy-value sequences of two-element subtraction games with a single pass option.
Macdonald principal specialization ratios and their generating polynomials
We establish independence of $q$ as a necessary condition for coefficientwise nonnegativity of normalized principal specialization ratios of monic Macdonald polynomials. For arbitrary pairs of partitions, we characterize independence of $q$. For denominator partitions with largest and smallest parts differing by at least two, every ratio independent of $q$ is a power of $t$. We classify the nonnegative ratios under addition of maximal rows and columns of fixed height. For rows of length at least two, the classification is equivalent to rectangular complementation. For arbitrary initial partitions, the generating polynomials of successive row ratios at the smallest number of variables admissible for all stages have simple negative real zeros with lower bounds for the ratios of consecutive absolute zeros. We derive a reciprocity criterion, bounds for gamma coefficients, and the corresponding Jack limit. For generalized staircases, we determine shortest horizontal and conjugate vertical strip sequences and obtain terminating basic hypergeometric representations.
Peeling sequences: a directional method for the three-block construction
A peeling sequence of a finite planar point set is an ordering of its points, such that when the points get removed in this order,
each removed point is a vertex of the current convex hull of the set. Write $g(S)$ for the number of such sequences, and $g(n)$ for the minimum of $g(S)$ over $n$-point sets in general position. We present a method which can be used to prove better upper bounds on the previously analysed recursive 3-block constructions $S_n$. In fact, we prove $g(n)\leq g(S_n)=O(6.57^n)$, using directional restrictions and a weighted prefix-tree form of the Kraft--McMillan inequality. From the other direction, we show that the same construction cannot attain the current best known lower bound of $c\cdot3^n$. In fact, $g(S_n)\geq 5.22^n$ when $n$ is a large enough power of $3$. Improving the general lower bound on $g(n)$ is still an open question.
Simultaneous avoidance of length-4 patterns in ascent sequences
Published in Discrete Mathematics & Theoretical Computer Science, vol. 28:3, Combinatorics (October 20, 2026) dmtcs:17977
• View Publication
• BIB
Ascent sequences form a central class of combinatorial objects, as they are in bijection with several important families such as (2+2)-free posets, Stoimenow matchings, and other Fishburn objects, and are enumerated by the Fishburn numbers.
We study pattern avoidance in ascent sequences for the five patterns of length 4: $0101$, $0102$, $0112$, $0120$, and $0121$. These patterns arise naturally from recent work on pattern avoidance in related families of Fishburn objects, including Stoimenow matchings and (2+2)-free posets. We enumerate ascent sequences avoiding any subset of these patterns, with the exception of the sets $\{0120\}$, $\{0121\}$, and $\{0120,0121\}$, for which the enumeration remains open.
Our results reveal that the corresponding avoidance classes fall into $16$ Wilf equivalence classes and exhibit a wide range of enumerative behaviour, including connections to classical sequences such as the Catalan and Fibonacci numbers, as well as polynomial formulas and rational generating functions; several of the sequences we obtain appear to be new. Our methods combine structural decompositions with generating-tree techniques and, in several cases, rely on reductions to shorter patterns via restricted growth functions. This work contributes to the broader study of pattern avoidance across Fishburn families and highlights further connections between ascent sequences and other combinatorial structures.
Improved exploration of temporal graphs
A temporal graph $G$ is a sequence $(G_t)_{t \in I}$ of graphs on the same vertex set of size $n$. The \emph{temporal exploration problem} asks for the length of the shortest sequence of vertices that starts at a given vertex, visits every vertex, and at each time step $t$ either stays at the current vertex or moves to an adjacent vertex in $G_t$. When each $G_t$ is connected and has bounded maximum degree, Erlebach, Kammer, Luo, Sajenko, and Spooner [ICALP 2019] showed that an exploration exists in $\mathcal{O}(n^{7/4})$ time steps.
We significantly improve this bound by showing that $\mathcal{O}(n^{3/2}\sqrt{\log n})$ time steps suffice. In fact, we prove a more general statement unifying this setting with many others. Let the \emph{average temporal maximum degree} $D$ of $G$ be the average of $\max_{t \in I}d_{G_t}(v)$ over all vertices $v \in V(G)$, where $d_{G_t}(v)$ denotes the degree of $v$ in $G_t$. We show that if each $G_t$ is connected, then an exploration exists in $\mathcal{O}(n^{3/2}\sqrt{D\log n})$ time steps. This gives the first subquadratic upper bound when the underlying graph has bounded average degree, improving the previous best bounds when it is planar or has bounded treewidth. Our bound is subquadratic already when $D=o(n/\log n)$.
In addition, we make progress on a recent conjecture of Baguley, Göbel, Klodt, Skretas, Sylvester, and Zamaraev [SODA 2025]. They conjectured that if $μ$ is a probability distribution on trees with maximum degree at most $Δ$ and each $G_t$ is sampled independently from $μ$, then an exploration exists in $\mathcal{O}(\sqrtΔn)$ time steps with high probability. We show that there is a temporal exploration of length $\mathcal{O}(Δn\log^3 n)$ with high probability. This improves the previous best bound of $\mathcal{O}(n^{3/2})$ and extends to the more general setup of average temporal maximum degree.
Gaussian Lower Bounds for Distinct Subset Sums in Higher Dimensions
For sequences of $n$ nonnegative integer vectors in $\mathbb Z^k$ with distinct subset sums, we prove, for fixed $k$, the uniform lower bound $M\ge (C_k-o(1))2^{n/k}/\sqrt n$ for the largest coordinate, where \[ C_k=\sqrt{\frac{2k}π}\, \frac{(k+1)^{(k-1)/(2k)}}{\sqrt{\lfloor (k+1)^2/4\rfloor}}. \] The proof compares a Gaussian-kernel expectation with a sum over a translated lattice, uniformly over the vector sequence. We optimise the resulting quadratic-form constant using a vertex second-moment certificate. We show that $C_k$ also exceeds the variance constant obtained by optimising an ellipsoidal geometry.
Two Generalizations of the G_0 Dichotomy
We give classical proofs of the generalizations of the $\mathbb{G}_0$ dichotomy to $κ$-Souslin digraphs and uniformly analytic sequences of digraphs indexed by $κ^{\mathbb{N}}$.
Interpretations of the $\textbf{cd}$-index
We extend the recent work of Caster--Guyer--Samper (2026+) to establish a combinatorial interpretation of the $\textbf{cd}$-index for all $S$-partitionable posets, which includes all polytopes and $S$-shellable spheres. This interpretation is inductive on rank, but does not require passing to the order complex of the poset. We also provide topological interpretations of each $\textbf{cd}$-monomial. Furthermore, we establish a recurrence on the $\textbf{cd}$-indices of shelling components of the $d$-simplex that does not require the use of André permutations, a unimodality result for $\textbf{cd}$-words ending in $\textbf{d}$ for shelling components of the $d$-simplex and the $d$-cube, and provide two families of subdivisions of the boundary of the $d$-simplex whose sequence of $\textbf{cd}$-indices is unbounded on all but the monomial $\textbf{c}^{d+1}$ and all but the two monomials $\textbf{c}^{d+1}$ and $\textbf{d}\textbf{c}^{d-1}$.
On the maximally edge-connected square graphs with degree sequence conditions
Let $G=(V(G),E(G))$ be a finite connected simple graph. The edge-connectivity $λ(G)$ of $G$ is the minimum number of edges that must be removed to make $G$ disconnected. We call $G$ maximally edge-connected when $λ(G)=δ(G)$, where $δ(G)$ is the minimum degree of $G$. The square graph $G^2$ of $G$ is the graph with vertex set $V(G)$, where two distinct vertices $u$ and $v$ are adjacent in $G^2$ precisely when their distance in $G$ is at most two. In this paper, first we prove that if $λ(G)\geq4$ and $λ(G^2)<δ(G^2)$, then $λ(G^2)>λ(G)^{3/2}-\frac54λ(G)$, which extends the result in \cite{ChenXu} from the edge-connectivity range $4\leqλ(G)\leq7$ to $λ(G)\geq4$. Then we show that $G^2$ is maximally edge-connected if one of the following conditions hold: (i) $δ(G)\geq\lfloor(n+2)/4\rfloor$, or $δ(G)\leq\lfloor(n+2)/4\rfloor-1$ and $\sum_{i=1}^{2k}d_{n+1-i}\geq k(n-4)-2δ(G)+3$, where $k$ is an integer satisfying $2\leq k\leqδ(G)+2$ and $d_1\geq d_2\geq\cdots\geq d_n$ are the degrees of $G$; (ii) $d_{n-δ(G)}+d_n\geq(3n-9)/4$.
Inequalities for Higher-Order Logarithmic Differences of Boros--Moll Coefficients
Let $d_i(m)$ denote the coefficient of $x^i$ in the Boros--Moll polynomial $P_m(x)$. We prove that the sequence $\{d_{i-1}(m)d_{i+1}(m)/d_i(m)^2\}_{i=1}^{m-1}$ is strictly log-concave for every $m\ge4$, settling a conjecture of Chen and Gu. For every $m\ge 3$, we show that the consecutive ratios $d_i(m)/d_{i-1}(m)$ form a strictly log-convex sequence for $1\le i\le\lfloor m/2\rfloor+1$ and a strictly log-concave sequence for $\lfloor m/2\rfloor\le i\le m$, as conjectured by Zhao. For each fixed $i\ge 1$, we establish $(-1)^{r-1}Δ_m^r\log d_i(m)>0$ for $r\ge 2$ and $m\ge i$, where $Δ_m$ denotes the forward difference with respect to $m$. For $i=0$, we obtain the opposite inequalities. We thereby prove a conjecture of Jiang and Wang and two further conjectures of Zhao. For every integer $i\ge 0$, we prove strict infinite log-monotonicity of the sequence $\{d_i(m-1)d_i(m+1)/(\binom{m}{i+1}d_i(m)^2)\}_{m\ge i+1}$, strengthening another conjecture of Zhao. We further show that every positive real power of the binomially normalized ratio sequence is a Hausdorff moment sequence with a strictly totally positive Hankel matrix. We also obtain asymptotic formulas for forward differences of arbitrary fixed order, resolving a conjecture of Jiang and Wang. For integers $i\ge 1$, we prove that the sequence $\{2^n d_i(i)/d_i(i+n)\}_{n\ge 0}$ is an infinitely divisible Hausdorff moment sequence and that the Hankel matrix $[1/d_i(i+j+k)^τ]_{j,k\ge 0}$ is strictly totally positive for every $τ>0$. For the integral interpolation, we show that the Hausdorff moment property of the normalized reciprocals holds precisely when the positive real coefficient index is at least $1/4$.
The Corners of Ramanujan: Partial- and False-Theta Companions to Third-Order Mock Theta Functions
Most of the traditional third-order mock theta functions occur naturally as specialized values of partition-rank generating functions. The same finite rank kernels also occur in the ordinary and odd unimodal-rank series studied previously in the literature. We organize a parallel collection of corner series by retaining these kernels and replacing their quadratic core weights by linear peak weights. Their root-of-unity specializations are governed by partial and false theta identities recorded in Ramanujan's Lost Notebook; in one exceptional case the corner companion is itself a mock theta function. The classical rank series and Ramanujan identities are used as inputs. Our new results include exact two- and three-color partition identities with sparse theta discrepancies and an oriented three-dimensional corner with a distinct tower. In both color cases, positive decompositions separate the colored companion into copies of the relevant odd-corner series and a corresponding decorated even-corner series. Thus both sparse discrepancies become signed differences between natural corner families. Burson's boxed modular involution provides a common rank-refined model for the two corrections, whose surviving fixed points produce the exceptional quadratic sequences. For the side rank of the three-dimensional corners we obtain an exact formula at $z=-1$, a strict parity bias, quartic and cubic root-of-unity rank-difference identities, and exact equidistribution modulo $3$ on the progression $6n+5$. The cubic identity also gives exact congruence formulas on the progressions $6n+2$ and $6n+3$. We further classify the associated binary triangular support modulo every integer and derive general congruence families.
Inverse Zero-Sum Problems: The Property C and Property D Conjectures
Let $C_n^r$ denote the direct sum of $r$ cyclic groups of order $n$, where $n\ge2$ and $r\ge1$. Properties C and D predict a uniform multiplicity structure for extremal zero-sum problems over $C_n^r$: every sequence of maximum length avoiding nonempty zero-sum subsequences of length at most $n$, or of length exactly $n$, respectively, should have the form $T^{n-1}$. We give negative answers to the general Property C problem posed by Gao, Hou, Schmid and Thangadurai \cite[Open Problems 1.2]{GHST07} in 2007, and disprove the Property D conjecture proposed by Gao and Geroldinger \cite[Conjecture 7.2]{GG06} in 2006.
The Loopy Polynomial: from Tutte's Universal $V$-Function to Bizonotopal Geometry
We study the loopy polynomial L_G, a multivariate graph invariant arising from bizonotopal graphical algebras and defined by deletion and loopy contraction, in which the contracted edge is retained as a loop. It determines the Tutte polynomial and admits a spanning-forest expansion recording external activity componentwise. It also determines Stanley's chromatic symmetric function for every graph; the degree sequence, induced edge count profile, and independence polynomial for loopless graphs; and the clique and matching polynomials for simple graphs. Separating component size from external activity gives a refinement that is equivalent to the extended U-polynomial and the extended polychromate. The ordinary U-polynomial, Tutte's universal $V$-function, and Stanley's Tutte symmetric function are specializations of this refinement.
We conjecture that L_G and U_G have the same distinguishing power on simple graphs, and verify this through eleven vertices. We exhibit five-vertex loopless multigraphs with equal U-polynomials but distinct loopy and extended U-polynomials, solving a problem of Merino and Noble. We also disprove Loebl's conjecture for chordal graphs and its restriction to split graphs, with counterexamples on eleven and fourteen vertices, respectively.
For the score polytope P_G of the external bizonotopal algebra, we give a geometric realization of loopy deletion-contraction. The resulting forest-indexed geometric parking complexes partition the lattice points of P_G and are piecewise integral-affinely parametrized by boxes whose interval lengths are the component indices in the forest expansion.
The recording tableaux in the quantum Littlewood-Richardson map, the orthogonal transpose symmetry map, and the computation of $\mathfrak{k}$-highest weight tableaux
Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map of type AII, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to LR-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII$_{2n-1}$. The algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(\C)$ to $Sp_{2n}(\C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof for the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux. The surjectivity is exhibited via the iteration of the reverse Schensted column insertion, initialized on a symplectic tableau, ruled by the slack data of a quantum recording tableau, and followed with the inverse reduction map on the bumped symplectic column in each iteration. The explicit inverse reduction map has been recently computed by the author in arXiv:2606.24840v2 for any symplectic column. The inverse of the quantum LR map is used to compute and characterize a family of $\k$- highest weight semi-standard tableaux in the recent proof of the Naito-Sagaki conjecture using the Watanabe's branching rule based on the crystal basis theory for $\imath$quantum groups of type AII$_{2n-1}$. That family of tableaux is generated by quantum recording tableaux with $1$-$0$-slack sequence and shape length $2n$ or $2n-1$ is characterized by certain linear inequalities.
On the number of cokernel-closed additive subcategories for uniformly oriented $A_n$ quivers
We study the integer sequence that enumerates cokernel-closed, idempotent split, full, additive subcategories of the category of finite dimensional complex representations of a uniformly oriented $A_n$ quiver. Using a combinatorial model, we describe a non-obvious connection of this sequence to Catalan numbers and derive an implicit recurrence. We also describe some basic properties of the lattice underlying the sequences, in particular, we give an explicit description of the meet irreducible elements of that lattice.
Unbounded log-concavity breaks in independence polynomials of spherically symmetric trees
Using a dioid algebraic structure, we show that there exist spherically symmetric trees $T(2^m 1^n)$ whose independence polynomials exhibit multiple breaks in log-concavity, a result established by estimating the asymptotic growth of the coefficients of these polynomials. Provided the parameter $n$ is a sufficiently large odd integer, the number of breaks is bounded below by the Jacobsthal numbers. This result affirmatively answers a question raised by F. Bencs [D. Galvin, Trees with non log-concave independent set sequences, arXiv 2502.10654.v2].
Persistence probabilities for MA(1) sequences with uniform innovations
Published in Journal of Statistical Physics 193 (2026) 157
• View Publication
• BIB
We study the persistence probabilities of a moving average process of order one with uniform innovations. We identify a number of regions-characterized by the location of the uniform distribution and the coupling parameter of the process-where the persistence probabilities have qualitatively different behaviour. We obtain the generating functions of the persistence probabilities explicitly in all possible regions. In some of the regions, the persistence probabilities can be expressed explicitly in terms of various combinatorial quantities.
Sharp zero forcing numbers for the generalized Petersen graphs $P(n,3)$ and $P(n,4)$
We prove that $Z(P(n,3))=8$ for every $n\ge13$ and $Z(P(n,4))=10$ for every $n\ge18$, with both stabilization thresholds sharp, and give the exact values for all smaller admissible $n$. The first equality proves Krishnan's Conjecture 5; his Proposition 4 supplies its upper bound. The lower bounds use the external boundary of the first forcing sources: ten vertices have boundary at least eight in $P(n,3)$ for $n\ge14$, and sixteen vertices have boundary at least ten in $P(n,4)$ for $n\ge20$. Deletion within an empty column interval reduces these assertions to finite checks, and forts settle the remaining cases. The $k=3$ stabilization theorem has a Lean 4 formalization; the $k=4$ proof uses 89 boundary formulas and 11 fort formulas with separately checked DRAT certificates, together with explicit forcing sequences.
Perron-Wright asymptotics and critical component processes for regular inhomogeneous random graphs
We extend Wright's enumeration of connected labelled graphs with fixed surplus to irreducible critical finite type kernels and regular compact type kernels. Let $C_t(k,r)$ denote the total weight of connected labelled graphs with $k$ vertices and surplus $r$. Let $u>0$ satisfy $Ku=u$ and $\int u\,dμ=1$, and put $α=\int u^2\,dμ$ and $β=\int u^3\,dμ$. We prove that the rooted-tree radius $ρ$ is positive and real analytic near $1$, with $ρ(1)=1$ and $\logρ(t)=\frac{α^2}{2β}(t-1)^2+O(|t-1|^3)$, and that, for fixed $r\in\mathbb{Z}_{\ge0}$ and $0\le L < \infty$, $C_t(k,r)=w_rβ^{(r-1)/2}e^{-k}ρ(t)^{-k}k^{k+3r/2-2}\{1+O_{r,L}(k^{-1/2})\}$, uniformly for $|t-1|\le Lk^{-1/2}$, where $w_r$ is the classical Wright constant.
At $t_n=1+λn^{-1/3}$, these asymptotics yield local size and surplus point-process limits for deterministic finite type models and annealed compact type Bollobas-Janson-Riordan models satisfying projective quadratic regularity. After rescaling component sizes by $β^{1/3}n^{-2/3}$, the limit is the Aldous process at parameter $αβ^{-2/3}λ$, and the corresponding type profiles concentrate at the Perron law $p(dx)=u(x)μ(dx)$. For every regular countable critical kernel, we construct graph sequences with growing finite supports and the same local limits, and identify the additive shift of the critical window caused by spectral perturbations of order $n^{-1/3}$.
A polynomial time algorithm for almost bounded denumerant
Sylvester's denumerant $d(t; \boldsymbol{A})$ counts the number of nonnegative integer solutions to $\sum_{i=1}^{N} a_i x_i = t$, where $\boldsymbol{A} = (a_1, \dots, a_N)$ is a sequence of positive integers with $\gcd(\boldsymbol{A}) = 1$. In 2025, Xin and Zhang gave a polynomial time algorithm in $N$ for computing $d(t; \boldsymbol{A})$ when the entries of $\boldsymbol{A}$ are bounded by a constant. In this paper, we extend this algorithm by incorporating Barvinok's algorithm, enabling it to handle the case where a fixed number of entries of $\boldsymbol{A}$ are allowed to be unbounded.