sequence
7033 papers tagged with this keyword
Kahn--Lovász-type inequalities for graph factors
The Kahn--Lovász theorem gives a sharp upper bound on the number of perfect matchings in a graph in terms of its degree sequence, extending the classical Brégman--Minc inequality for bipartite graphs. In this paper, we establish an asymptotically sharp extension of the Kahn--Lovász theorem to $F$-factors for every Hamiltonian graph $F$. As a consequence, we asymptotically determine the maximum number of $F$-factors in an $n$-vertex $m$-edge graph, yielding an $F$-factor analogue of Kruskal--Katona-type theorems.
We also prove a multigraph analogue of the Kahn--Lovász theorem. Combining this with our results for Hamiltonian graphs, we obtain an asymptotically sharp Kruskal--Katona-type bound for a further class of connected graphs $F$, including those containing two vertex-disjoint cycles of equal length whose union spans $V(F)$.
A proof of the Holmes-Holroyd-Ramirez cyclic-product conjecture
We prove the cyclic-product conjecture of Holmes, Holroyd and Ramírez: among all circular arrangements of a decreasing positive sequence, the circular-symmetric ``greedy'' arrangement maximises every consecutive cyclic product sum $P_r$.
A Uniform Proof for the Small Davenport Constant of the Exponent-$p$ Heisenberg Group
Let $p$ be an odd prime and let $H_{p^3}=\operatorname{UT}_3(\mathbb{F}_p)$ be the Heisenberg group of order $p^3$ and exponent $p$. We prove $\mathsf{d}(H_{p^3})=3p-3$. The main ingredient of the proof is an order-value growth theorem. If $B$ is a noncollinear zero-sum sequence of $n$ nonzero vectors in $\mathbb{F}_p^2$, then the alternating areas obtained by ordering $B$ assume at least $\min(p,n-1)$ distinct values. Its proof is a short contraction induction: contract a suitable independent pair, replace the contracted vector in both orders, and apply Cauchy--Davenport. A polynomial relative-subsum theorem and a sharp representation-rigidity lemma then turn this local growth into a uniform spread bound. Combined with the standard product-one criterion for $H_{p^3}$, the spread bound yields the upper bound; the usual sequence $x^{p-1}y^{p-1}v^{p-1}$ gives the lower bound.
On a classical zero-sum invariant
Let $G$ be a nontrivial, finite abelian group. Then $ν(G)$ is the smallest integer $\ell$ such that every zero-sum free sequence $T$ over $G$ of length at least $\ell$ has the following property: all nonzero elements of $G$ that do not occur as a subsequence sum of $T$ lie in a proper coset of some subgroup of $G$. We study the invariant $ν(G)$, which was introduced in Zero-Sum Theory in the 1960s.
Asymptotics of the Tchoukaillon array and a conjecture of Beluhov
The Tchoukaillon array is an infinite array of the positive integers, arising from a one-row Mancala solitaire, in which each positive integer occurs exactly once. Its zeroth column is the Flavius Josephus sieve and its zeroth row is the sequence of Tchoukaillon numbers; the asymptotics of these two edges are classical results of Andersson and of Broline and Loeb. On the basis of numerical evidence, N. Beluhov conjectured (as relayed by Knuth) that the general entry $T_{i,j}$ satisfies $T_{i,j} \approx (πi+2j)^2/(4π)$ as $i,j \to \infty$. We prove this conjecture. In fact we establish the stronger uniform estimate $T_{i,j} = (πi+2j+2)^2/(4π) + O((i+j+1)^{4/3})$, in which both constants $π$ and $2$ are produced by the array's own recursion through a Wallis product, independently of the two edge theorems. Equivalently, the square root of the entry is asymptotically linear, $\sqrt{T_{i,j}} = (\sqrtπ/2)\, i + (1/\sqrtπ)(j+1) + O((i+j+1)^{1/3})$, the linear blend of the two edge growth-rates. As corollaries we obtain that the level regions $\{T_{i,j} \le V\}$ are triangles up to a boundary of width $O(V^{1/6})$, and an $O(\sqrt{M})$ algorithm that locates the row and column of a given integer $M$.
Delannoy--Steinhaus triangles over $\mathbb{Z}/2\mathbb{Z}$: weight spectrum, balanced triangles, and extremal values
A Delannoy--Steinhaus triangle is obtained from a finite sequence by a recurrence governed by the Delannoy numbers. We introduce this construction over $\mathbb{Z}/2\mathbb{Z}$ and study its weight distribution. The relevant Delannoy coefficients are all odd, which reduces every entry to the parity of a consecutive interval of the generating sequence. Encoding these interval parities by prefix parities yields a weight formula depending only on the numbers of zeros and ones in the prefix-parity sequence. We use this formula to determine the complete weight spectrum and the exact multiplicity of each weight. As a consequence, we characterize and enumerate the balanced triangles: a balanced triangle generated by a binary sequence of length $n$ exists if and only if $n+1$ is a perfect square. We also determine the canonical-vector weights, the minimum nonzero weight, the {second-smallest nonzero weight}, the maximum weight, and the average weight.
Infinite Subtraction Games with Periodic Outcomes and Aperiodic SG Values
We find some significant special cases of subtraction games with infinite subtraction sets, whose outcome sequences are periodic, but whose SG value sequences are bounded and aperiodic.
Cluster-Graph Edit Distance: Metric Proxies, Multiscale Embeddings, and Complexity
The cluster graphs on $n$ vertices, the disjoint unions of complete graphs, have the integer partitions of $n$ as their isomorphism classes, and the quotient edit distance $q^*(λ,μ)=\min_{σ\in S_n}|E(G_λ)\triangleσE(G_μ)|$ makes that set a metric space. Its metric geometry and its computational complexity both issue from one identity: $q^*$ is an affine function of the maximum of $\lVert X\rVert_F^2$ over the contingency tables with margins $λ$ and $μ$. Combinatorially, it yields two explicit $\ell_1$ models: the vertex-mass metric $δ_1$ on sorted degree sequences, with $\frac12δ_1\le q^*<\frac32δ_1$ and both constants optimal, and the block-energy metric $B$ on the vectors $\bigl(\binom{λ_i}2\bigr)_i$, with $q^*\le B\le2q^*-1$ by a per-table refinement measuring how far an alignment is from a block bijection. Hence $c_1(\mathcal K_n)\le2$, and an $O(n\log n)$-time algorithm returns an alignment of cost below $2q^*$ with the certificate $q^*\in[\lceil(B+1)/2\rceil,B]$. The Euclidean distortion of the class is $c_2(\mathcal K_n)=Θ(n^{1/4})$; against it we measure the weighted dyadic sums $F^{(γ)}$ of the Ferrers staircase, of dimension below $4n$ and computable in $O(n)$ time. The unweighted member has distortion exactly $Θ(n^{1/4}\sqrt{\log n})$, while the critical weight $γ=\frac14$ improves this unconditionally to $O(n^{1/4}(\log n)^{1/4})$ through an inverse energy inequality proved from the quantization of staircase jumps; removing the residual $(\log n)^{1/4}$ is reduced to one inverse inequality on the realizable cone. Computationally, the same identity gives a classification: deciding $q^*(λ,μ)\le Q$ is strongly NP-complete, evaluation is strongly NP-hard and admits no FPTAS unless $\mathrm P=\mathrm{NP}$, while the farthest alignment is polynomial-time solvable.
Counting Lattice Points in Minkowski Sums of Cross Polytopes
Motivated by Postnikov's study of lattice-point enumeration in Minkowski sums of simplices, we investigate lattice points in Minkowski sums of cross polytopes and establish analogous results, together with several related consequences. In particular, we introduce the support-enumerator associated with Postnikov's notion of draconian sequences and show that it coincides with the $h^*$-polynomial of the corresponding root polytope. This provides a new interpretation of the $h^*$-polynomial and yields a simple method for computing the volume of the corresponding polytope. We further exploit the symmetry of such root polytopes to establish a duality property for support-enumerators, which in turn provides a proof of a conjecture by Chapoton and Athanasiadis concerning the $h$-polynomials of preorders. As an immediate consequence, we prove that a Minkowski sum of cross polytopes and its dual polytope have the same number of lattice points. This duality then leads to a general formula for the number of lattice points in Minkowski sums of cross polytopes in terms of draconian sequences. Our formula enables us to compute the Ehrhart polynomials of these polytopes and show that they are Ehrhart positive. Furthermore, the formula allows us to derive analogous formulas for the number of lattice points on their boundaries and for their surface volumes.
Equality Cases for the Face-Degree Majorization Theorem on Simplicial Complexes
The Grone--Merris--Bai theorem states that the Laplacian spectrum of a
simple graph is majorized by its conjugate degree sequence. Recently,
Zhang, Song, and Fan extended this result to simplicial complexes by
establishing a majorization relation between the spectrum of the
$(r-1)$-dimensional up-Laplacian and the conjugate $(r-1)$-degree sequence.
In this paper, we characterize all equality cases in the partial-sum
inequalities of this higher-dimensional majorization theorem. For every
$r$-dimensional simplicial complex $X$ with $r\ge2$, we prove that
\[
\sum_{i=1}^{q}λ_{r-1,i}(X)
=
\sum_{i=1}^{q}d_{r-1,i}^{\top}(X)
\]
if and only if
\[
q\ge \max\{\operatorname{rank}B_r(X),Δ_{r-1}(X)\}.
\]
Thus, unlike the graph case, equality can occur only after both sequences
have exhausted all their nonzero terms. As consequences, equality in the
first partial sum and equality between the entire sequences are both equivalent
to $X$ containing a unique $r$-simplex. The proof is based on the local
down-Laplacian decomposition and the equality case of the Ky Fan inequality.
Stability of Shifted Complexes via the Second-Moment Defect of the Up-Laplacian
Let $K$ be a finite pure $k$-dimensional simplicial complex, with $k\ge1$, on the vertex set $[n]$ and with facet family $K_k$. Let $λ_1(K)\geλ_2(K)\ge\cdots>0$ be the nonzero eigenvalues of its $(k-1)$-dimensional up-Laplacian, and, after ordering the vertices so that $°_K(1)\ge\cdots\ge°_K(n)$, let $\dvT{r}(K)$ be the number of vertices contained in at least $r$ facets. A complex is \emph{shifted} if replacing a vertex of a face by a smaller vertex outside the face always yields another face. We prove that there is a shifted family $\HH$ of $(k+1)$-element subsets of $[n]$, with the same number of members as $K_k$, such that \[ \tfrac12\bigl|K_k\,\triangle\,\HH\bigr| \;\le\; \tfrac12\left[\sum_{r\ge1}\bigl(\dvT{r}(K)\bigr)^{2}-\sum_{r}λ_r(K)^{2}\right]. \] The left-hand side counts the facets that have to be exchanged to reach $\HH$; thus one half of the gap between the second power sums of the two sequences bounds the distance of $K_k$ to a shifted family. The characterization $λ(K)=\dv(K)^{\mathsf T}\iff K$ is isomorphic to a shifted complex was established in \cite{Gupta} from the identity that this gap equals twice the number of failed elementary shifts. The present paper converts that identity into a quantitative stability statement and recovers the equality characterization at zero defect. For $k=1$ this bounds the number of edge exchanges needed to reach a threshold graph with the same number of edges.
$p$-numerical semigroup of the sequence of consecutive odd integers
We prove the $p$-Frobenius problems proposed as Conjectures 7.1 and 7.5 developed by T. Komatsu and R. Pandey (Bull. Korean Math. Soc. 2025;62:1397--1409.) for two families of consecutive odd integers. For integers $r,L,n\ge0$, the bounded restricted partition function $p_{\le r}^{(\le L)}(\le n)$ counts partitions of $n$ into at most $r$ parts, each at most $L$. Thus the bounded restricted partition functions $p_{\le 3}^{(\le a)}(\le s)$and $p_{\le 3}^{(\le a+1)}(\le s)$ play central roles in the proofs. Their generating functions are Gaussian polynomials, whose symmetry and unimodality provide a common tool for treating both families.
New Congruences Involving $p$-adic dual sequences
Let $(a_n)_{n\geqslant 0}$ be a sequence of integers. Its dual sequence $(a_n^*)_{n\geqslant 0}$ is defined by \begin{equation*}
a_n^* := \sum_{k=0}^{n} \binom{n}{k}(-1)^k a_k. \end{equation*}
Let $p>3$ be a prime. In this paper we mainly investigate congruences modulo $p^2$ involving central binomial coefficients and $p$-adic dual sequences. For example, we prove that for any sequence $(a_k)_{k\ge0}$ of $p$-adic integers, \begin{align*} \sum^{(p-1)/2}_{k=0}\binom{2k}{k}^2\frac{a_{2k}}{16^k}\equiv\left( \frac{-1}{p}\right) \sum_{k=0}^{p-1}\frac{\mathcal{P}_{k}}{16 ^{k}}a_{k}^*\pmod{p^2}, \end{align*} where $(\mathcal{P}_n)_{n\ge0}$ are the Catalan--Larcombe--French numbers given by \begin{equation*}
\mathcal{P}_0=1,\quad \mathcal{P}_1=8, \quad n^2 \mathcal{P}_n = 8(3n^2-3n+1)\mathcal{P}_{n-1}-128(n-1)^2\mathcal{P}_{n-2}
\quad (n\ge2). \end{equation*}
We also establish a new formula for $\sum_{k=0}^{(p-1)/2}\binom{2k}{k}a_{2k}^*/4^k \pmod{p^2}$ and as a consequence we confirm some conjectures of Z.-W. Sun \cite{Sun2014CANT} on the generalized central trinomial coefficients $T_{2k}(b,c)$, i.e., the coefficient of $x^{2k}$ in $(x^2+bx+c)^{2k}$, where $b,c$ are integers.
The multiplicity sequence of monomial ideals
We give a convex-geometric formula for the multiplicity sequence of a monomial ideal in terms of mixed volumes of polytopes constructed from its Newton polyhedron. We also construct a counterexample to a conjecture of Achilles and Manaresi proposing a different volume formula for the multiplicity sequence. Finally, we derive a mixed-volume formula for the mixed multiplicities of arbitrary monomial ideals.
A linear upper bound on the number of moves required for independent set reconfiguration with two sliding tokens
We consider the problem of shifting two tokens placed on nonadjacent vertices $u,v$ of a graph $G$ on $n$ vertices to two nonadjacent vertices $u',v'$ of $G$ using a sequence of token movements. In each step, a token is moved from the vertex it is on to a neighbour of that vertex, ensuring that the tokens remain on nonadjacent vertices after this move. We answer a question of Briański, Felsner, Hodor, and Micek [``Reconfiguring Independent Sets on Interval Graphs'', MFCS 2021] by showing that if the two tokens can be moved from their initial position to their final position, then it can be done using at most $4n$ moves.
Generalizations of the Christoffel-Darboux formula and congruences involving Apéry-like numbers
In this paper, we first extend the Christoffel-Darboux formula for orthogonal polynomials to general three-term recurrence sequences, and then investigate the identities and congruences for $g_n(x)$ and $v_n(x)$ given by \begin{align*} &g_0(x)=1,\ g_1(x)=\frac{x+1}2,\ (n+1)^2g_{n+1}(x)=\Big(2n(n+1)+\frac{x+1}2\Big)g_n(x)-n^2g_{n-1}(x)\ (n\ge 1), \\&v_0(x)=1,\ v_1(x)=x,\ (n+1)^3v_{n+1}(x)=(2n+1)(n(n+1)+x)v_n(x)-n^3v_{n-1}(x)\ (n\ge 1).\end{align*}
A Kronecker-Weyl Theorem from Interpolation Sets
An analog of the classical Kronecker-Weyl theorem for weak uniform distribution is obtained for an arbitrary countably infinite independent subset of a discrete abelian group using a type of interpolation sets called epsilon-Kronecker sets. Specifically, the topological size of the set of homomorphisms inducing weakly uniformly distributed sequences is established by showing that it forms a dense G-delta set.
Online balancing of vectors with small coordinates
Let $v_1,\ldots,v_T\in B_2^m$ be fixed in advance and revealed sequentially, and assume that $\|v_t\|_\infty\leqslant d^{-1/2}$ for some $d\geqslant 1$ and every $1\leqslant t\leqslant T$. There are absolute constants $L,C,c>0$ and a randomized online signing such that $$\mathbb{P}\left\{\max_{k\leqslant T}\left\|\sum_{t=1}^k\varepsilon_t v_t\right\|_\infty>6L\right\} \leqslant CT\exp\left(-\frac{cd}{\ln^2(ed)}\right).$$ Consequently, constant prefix discrepancy holds with probability at least $1-\varepsilon$ once $d$ is at least $C\ln\frac{3T}{\varepsilon}\left[\ln\left(e+\ln\frac{3T}{\varepsilon}\right)\right]^2$. In particular, every fixed sequence of vectors $a_t\in[-1,1]^m$ with at most $d$ nonzero coordinates admits an online signing with prefix discrepancy $O(\sqrt d)$ and failure probability at most $CT\exp[-cd/\ln^2(ed)]$. We also prove a nonuniform version in which the failure probability depends on the individual parameters $d_t=\|v_t\|_\infty^{-2}$, and a lower bound showing that a universal constant prefix discrepancy is impossible when $d=o(\ln T)$. We identify the corresponding $\ln^2 d$ barrier for the compact-potential method and extend the argument to general symmetric target bodies admitting a quadratic smoothness estimate.
On the difference between clique partition and clique covering numbers of graphs
For a graph $G$, let $\cpn(G)$ and $\ccn(G)$ denote the minimum numbers of cliques whose edge sets partition and cover $E(G)$, respectively, and put $f(n)=\max_{|V(G)|=n}\bigl(\cpn(G)-\ccn(G)\bigr).$ In 1983, Erdős, Faudree, and Ordman asked whether there is a sequence of graphs $G_n$ such that $|V(G_n)|=n$ and $\cpn(G_n)-\ccn(G_n)=n^2/4+O(n)$. The question appears as Problem 66 in Chung's survey \cite{ChungProblems} and is also listed on the UCSD Erdős Problems website. Caccetta, Erdős, Ordman, and Pullman proved that $f(n)=n^2/4-o(n^2)$. We prove that $f(n)=\left\lfloor\frac{n^2}{4}\right\rfloor-Θ(n^{4/3}),$ and hence answer the question in the negative.
$m$-Bell and $m$-Stirling numbers: Iterated binomial transforms, hyper-Bessel functions, and moments of the Conway--Maxwell--Poisson distribution
We introduce a natural generalization of the Bell numbers: the $m$-Bell numbers $B^{(m)}_{n}$, characterized by the property that $m$ applications of the binomial transform reproduce the original sequence shifted $m$ places to the left. Their exponential generating functions satisfy $m$-th order ordinary differential equations whose solutions are hypergeometric (hyper-Bessel) functions, specializing to the exponential function when $m=1$ (classical Bell numbers) and to modified Bessel functions when $m=2$ (yielding "Bessel-Bell" numbers). Mirroring the Bell-Stirling correspondence, we construct $m$-Stirling triangular arrays from the two-term recurrence $S_m (n+1,k) = m \left\lfloor k/m \right\rfloor S_m(n,k)+S_m(n,k-1)$ and prove an elementary shift identity from which the central structure theorem follows: the row sums of the $m$-Stirling triangle reproduce $B^{(m)}_{n}$, and, more finely, the residue-class row sums are precisely the $m$ primitive $m$-Bell sequences. The $m$-Stirling numbers come in dual pairs (with first-kind partners, generalized falling factorials, and Lah-type companions), serve as conversion operators between polynomial bases, admit Dobiński-like formulas, and count congruence-constrained partitions in an urn model as well as restricted permutation insertion histories. Finally, we show that the $m$-Bell numbers govern the moments of the Conway-Maxwell-Poisson distribution with integer dispersion parameter $ν=m$: the scaled moments are combinations of fixed hyper-Bessel carrier ratios whose integer coefficients are precisely the primitive $m$-Bell sequences, recovering for $m=1$ the classical fact that the moments of the Poisson distribution are the Bell numbers.