arXiv++ Combinatorics

For the OEIS sequence A002627, defined by the inhomogeneous first-order recurrence $a(n) = n\,a(n-1) + 1$ with $a(0) = 0$, R.~J.~Mathar recorded in February 2014 the conjectured second-order homogeneous recurrence \[ a(n) - (n+1)\,a(n-1) + (n-1)\,a(n-2) = 0, \qquad n \ge 2, \] which has remained marked as a conjecture on the OEIS for over a decade. We give three short proofs. The first is two lines: subtract the defining recurrence at adjacent indices and the constant cancels (we call this homogenisation). The second reads off the same relation from the exponential generating function $F(x) = (e^x-1)/(1-x)$. The third is a Pascal-rule telescoping on the binomial-sum form $a(m) = \sum_{k=0}^{m-1} k!\binom{m}{k}$. All three derivations are elementary, requiring nothing beyond undergraduate techniques. We remark that the same homogenisation trick clears an entire class of ``Conjecture: \dots'' entries on the OEIS, namely sequences satisfying $a(n) = p(n)\,a(n-1) + q(n)$ with simple $q$.

For the OEIS sequence A032123, the number of length-$2n$ black-and-white strings with $n$ black beads, considered up to reversal, R. J. Mathar contributed in November 2013 the conjectured order-5 P-recursive recurrence \[ \begin{aligned} &n(n-1)\,a(n) - 2(n-1)(3n-4)\,a(n-1) + 4(2n^{2}-14n+19)\,a(n-2) &\qquad + 8(n^{2}+5n-19)\,a(n-3) - 16(n-3)(3n-10)\,a(n-4) &\qquad + 32(n-4)(2n-9)\,a(n-5) \;=\; 0, \qquad n \ge 6. \end{aligned} \] We give a short proof. Burnside's lemma applied to the reversal action gives the closed form $a(n) = \tfrac{1}{2}\bigl(\binom{2n}{n} + [n \text{ even}]\binom{n}{n/2}\bigr)$; the two summands satisfy elementary recurrences of order $1$ and $2$ respectively; and Mathar's order-5 operator, applied to each summand separately, reduces to a polynomial identity that simplifies to zero after a brief calculation. The supplementary archive includes a SymPy script which verifies the polynomial identities symbolically and checks Mathar's recurrence numerically for $n = 6, \ldots, 5000$.

For OEIS sequence A045406, the column-2 diagonal of the Lehmer-Comtet triangle A008296, R. J. Mathar contributed in September 2021 the conjectured order-2 P-recursive recurrence \[ a(n) + (2n-7)\,a(n-1) + (n-4)^{2}\,a(n-2) \;=\; 0,\qquad n \ge 5. \] We give a short proof. Detlefs's harmonic-number closed form $a(n) = (-1)^n (2 H_{n-3} - 3)(n-3)!$ for $n \ge 3$ collapses the left-hand side, after factoring out $(-1)^n (n-5)! (n-4)$, to a polynomial identity in $n$ with coefficient $H_{n-4}$. The $H_{n-4}$-coefficient simplifies to $(n-3) - (2n-7) + (n-4) = 0$ (using $H_{n-3} = H_{n-4} + 1/(n-3)$ and $H_{n-5} = H_{n-4} - 1/(n-4)$); the constant remainder is $0$ for the same reason. The supplementary archive contains a SymPy script verifying both pieces symbolically, the e.g.f.\ expansion against the harmonic closed form, and Mathar's recurrence numerically for $n = 5, \ldots, 5000$.

For the OEIS sequence A001711, contributed by N. J. A. Sloane long before the on-line era and identified there as the diagonal $T(n+4, 4)$ of a generalized-Stirling triangle, R. J. Mathar contributed in February 2020 the conjectured order-2 P-recursive recurrence \[ a(n) - (2n+5)\,a(n-1) + (n+2)^{2}\,a(n-2) \;=\; 0,\qquad n \ge 2. \] We give a one-page proof. Detlefs's harmonic-number closed form $a(n) = \tfrac{1}{4}(n+3)!\,(2 H_{n+3} - 3)$ collapses the left-hand side, after dividing through by $(n+1)!/4$, to a polynomial identity of $n$ with coefficient $H_{n+2}$. The harmonic-number coefficient simplifies to $(n+3) - (2n+5) + (n+2) = 0$ (using $H_{n+3} = H_{n+2} + \tfrac{1}{n+3}$ and $H_{n+1} = H_{n+2} - \tfrac{1}{n+2}$); the constant remainder is $-3 \cdot 0 = 0$ for the same reason. The supplementary archive contains a SymPy script verifying both pieces symbolically, the e.g.f.\ expansion against the harmonic closed form, and Mathar's recurrence numerically for $n = 2, \ldots, 5000$.

The vertex Folkman number $F_v(s,t;k)$ is the smallest $n$ for which there exists a $K_k$-free graph on $n$ vertices whose vertices cannot be $2$-colored without producing a monochromatic copy of $K_s$ or $K_t$. We show $F_v(3,3;5)=8$. The witness is the cone $K_1 \vee \overline{C_7}$, a single universal vertex joined to the complement of a $7$-cycle. That this graph is $K_5$-free and arrows $(3,3)^v$ follows from a short independence-number argument. The matching lower bound -- no $K_5$-free graph on $7$ or fewer vertices works -- comes from exhaustive enumeration via nauty and a SAT check using Glucose\,4. The appendix has a self-contained Python script for verification.

For the OEIS sequence A176677, defined by the quadratic convolution recurrence $a(0) = a(1) = 1$ and $a(n+1) = \sum_{p=0}^n a(p) a(n-p) - 1$ for $n \ge 1$, R.~J.~Mathar contributed in March 2016 the conjectured order-4 P-recursive recurrence \[ (n+1)\,a(n) + 2(-3n+1)\,a(n-1) + (9n-13)\,a(n-2) - 4\,a(n-3) + 4(-n+4)\,a(n-4) = 0. \] We give a short proof. The convolution recurrence translates directly into the algebraic equation $z(1-z) G(z)^2 - (1-z) G(z) + (1 - z - z^2) = 0$ for the ordinary generating function $G(z)$, and Mathar's recurrence then drops out as the coefficient form of a 1st-order linear inhomogeneous ODE $q_0(z) G(z) + q_1(z) G'(z) = R(z)$ that we verify by polynomial division modulo the algebraic equation. The polynomial $q_1(z)$ admits the factorization $q_1(z) = -z(z-1)(2z-1)(2z^2 + 3z - 1)$, whose roots are exactly the singularities of $G$. Deutsch's combinatorial interpretation (Motzkin paths of length $n-1$ with two-coloured level-zero horizontal steps) is preserved.

The $n$-th Fibonacci cube $Γ_n$ is the subgraph of the hypercube $Q_n$ induced by binary strings with no two consecutive ones. We determine $π(Γ_n) = 2^n$ for $n \le 6$, so the pebbling number of $Γ_n$ equals that of the ambient hypercube $Q_n$ despite $Γ_n$ having far fewer vertices. The lower bound is a standard potential argument. For the upper bound, the Weight Function Lemma yields $2^n+1$ -- one too many -- so we close the gap by exhaustive MILP verification. We conjecture $π(Γ_n) = 2^n$ for all $n$.

For the OEIS sequence A214615, defined by $a(n) = M_{n}(1)$ where $M_{n}$ is the $n$-th Meixner polynomial satisfying $M_{n+1}(x) = x\,M_{n}(x) - n^{2}\,M_{n-1}(x)$, R.~J.~Mathar contributed on 6~March 2013 the conjectured order-2 P-recursive recurrence $a(n) - a(n-1) + (n-1)^{2}\,a(n-2) = 0$ for $n \ge 2$. We give a one-page proof. The exponential generating function $F(t) = \exp\!\bigl(\arctan t\bigr)/\sqrt{1+t^{2}}$ satisfies the first-order linear ODE $(1+t^{2})\,F'(t) = (1-t)\,F(t)$, and Mathar's recurrence then falls out by reading off the coefficient of $t^{n}/n!$. Both steps are short. The supplementary archive includes a SymPy script that checks the ODE identically and the recurrence numerically up to $n = 500$.

A graph $G$ on $m$ edges is graceful if there is an injection $f : V(G) \to \{0, 1, \ldots, m\}$ whose induced edge labels $\{|f(u) - f(v)| : uv \in E(G)\}$ are exactly $\{1, 2, \ldots, m\}$. Ringel and Kotzig conjectured in 1964 that every tree is graceful. A computer check has confirmed this for all trees on at most 35 vertices (Fang 2010), but no general proof is known. Here we exhibit an infinite family of trees that escapes the named spider results of Bahls--Lake--Wertheim, Panpa--Poomsa-ard, and Panpa--Imnang--Wasuanankul: the family $T(k, m)$ of spiders with $k$ legs of length $3$ together with $m$ pendant leaves at the centre. We prove every such tree is graceful for all $k \ge 1$ and $m \ge 0$. The argument splits into two short lemmas. The first is a pendant-extension lemma that applies whenever the underlying graceful labeling sends the centre to $0$; the second is the base case, namely that $S_{k, 3}$ admits exactly such an apex-zero labeling, a fact already implicit in Bahls--Lake--Wertheim (2010). What is new is the explicit identification of $T(k, m)$ and the observation that the family is closed under both pendant addition and the apex-zero condition, so it includes infinitely many trees not handled by the named theorems above.

For an integer $r \ge 2$ and an order $n \equiv 1, 3 \pmod{6}$, write $δ_r(n)$ for the minimum, over all $r$-colourings $χ: \binom{[n]}{3} \to [r]$, of $\max_{\mathcal{S}} \mathrm{disc}(\mathcal{S}, χ)$, where the maximum is over labelled Steiner triple systems $\mathcal{S}$ of order $n$ and $\mathrm{disc}(\mathcal{S}, χ) = \max_c |\#\{T \in \mathcal{S} : χ(T) = c\} - |\mathcal{S}|/r|$. Following Gishboliner, Glock, and Sgueglia \cite{GishbolinerGlockSgueglia2025}, the bulk of the recent work on this quantity has been on lower bounds for $r \ge 3$ (proving $δ_r(n) = Ω(n^2)$) and on structural characterisation of the low-discrepancy 2-colourings. We give three small computational contributions in the small-$n$ regime $n \in \{7, 9, 13, 15, 19, 21\}$: An exact value of $δ_2(n)$ for each such $n$, matching the formula $δ_2(n) = \min_{x \in [0, n] \cap \mathbb{Z}} |x(n-x)/2 - n(n-1)/12|$ obtained by optimising the GGS Example 1.1 family. Rigorous for $n \in \{7, 9\}$ via exhaustive search over labelled STSs ($30$ resp. $840$ systems) and over all $2$-colourings; computational for $n \in \{13, 15, 19, 21\}$ by simulated-annealing search; A wide near-optimal basin: at $n = 9$, every two-colour-flip neighbour of the optimal Example~1.1 colouring that maintains discrepancy $1.0$ exists; about $34\%$ of two-flip perturbations preserve optimality; Random-colouring statistics for $r \in \{2, 3, 4\}$: $\langle\max_{\mathcal{S}}\mathrm{disc}\rangle$ grows linearly in $n$, in agreement with a heuristic Gaussian estimate $n / \sqrt{6r} \cdot \sqrt{2 \log K}$ over $K$ sampled labellings; the typical-case discrepancy is far below the GGS worst-case $Ω(n^2)$. We additionally state a conjectural exact formula for $δ_2(n)$ that holds for every $n \equiv 1, 3 \pmod{6}$.

A finite set $S \subset \mathbb{Z}$ is a \emph{Sidon set} if its pairwise differences are distinct. A \emph{perfect difference set} (PDS) of order $n$ is a set $B \subset \mathbb{Z}_v$ ($v = n^2 - n + 1$) of size $n$ such that every nonzero residue arises exactly once as a difference of two elements of $B$. Erdős's \$1000 conjecture -- that every finite Sidon set extends to a finite PDS -- was disproved by Alexeev and Mixon (arXiv:2510.19804, October 2025) via the size-5 counterexamples $\{1,2,4,8,13\}$ and Hall's earlier $\{1,3,9,10,13\}$; they raised the question of the smallest size $s$ of a non-extending Sidon set, with $3 \le s \le 5$. We present strong empirical evidence that $s = 4$. Specifically we exhibit two integer Sidon sets, \[ A = \{0, 1, 3, 11\}, \qquad B = \{0, 1, 4, 11\}, \] together with the apparent infinite family of dilations $kA$, $kB$ and their reflections, all of which fail to extend for every prime power $q \le 317$ via the Singer affine-orbit check (rigorous under Hall's 1947 uniqueness for Desarguesian cyclic planes through $q \le 40$ and under the prime-power conjecture beyond that), and unconditionally for every modulus $v \le 133$ via brute-force depth-first search. We give the exact density formula $N_{\text{ne}}(N) = 4 \lfloor N / 11 \rfloor$ of non-extending size-4 Sidon sets in $[0, N]$ for $N \le 50$, an exact match suggesting the $kA, kB$ family is complete in this range. A complete proof, in the spirit of Alexeev--Mixon's polarity argument or via a multiplier descent, remains the central open problem.

For every nonzero integer $m$ and every integer $n \ge 1$, the $n$\textsuperscript{th} harmonic number $H_n = 1 + \tfrac12 + \dots + \tfrac1n$ satisfies the identity \[ H_n \;=\; \frac{1}{m}\,\sum_{k=1}^{n} \frac{(-1)^{k+1}}{k}\, \binom{m k}{k}\binom{n + (m-1)k}{n - k}. \] The cases $m = 1$ and $m = 2$ are classical; for general nonzero integer $m$ the identity was conjectured by P.~Bala in the OEIS entry A001008 in 2022 and remained open. We prove it here, working throughout in $\mathbb{Q}[[x]]$. The proof reduces, via a substitution $u = x/(1-x)^m$, to two formal-power-series identities: a Lagrange--Bürmann evaluation of $\sum_{k\ge1} \binom{mk}{k} u^k / k$, and the fixed-point fact that under that substitution the unique solution $v(u)$ of $v = u(1-v)^{m}$ is $v = x$. The argument extends verbatim to arbitrary complex $m \ne 0$.