arXiv++ Combinatorics

We develop a unified framework for studying the integers missing between consecutive terms of an increasing integer sequence, extending Barry's arithmetic gap-sum to geometric and harmonic analogues via the theory of quasi-arithmetic means. All three gap-sums admit a common interpretation: each equals the gap size multiplied by the appropriate mean of the missing integers. Building on this, we prove a general sparse summation theorem expressing the sum of a strictly monotonic function over a sparse integer sequence as the full range sum corrected by the gap-sums of the missing portions. Specializing on the three Pythagorean means recovers a classical formula of al-Kāshī from the fifteenth century in the arithmetic case, and yields explicit formulas in the geometric and harmonic cases. As a concrete application of the geometric case, we derive a product identity involving the Fuss--Catalan numbers. Applying the harmonic case to the Fibonacci and Lucas sequences, we establish that the harmonic gap-sum converges to $\ln(α)$ exponentially, where $α$ is the golden ratio, and derive explicit two-term asymptotic expansions for the tails of the reciprocal Fibonacci and Lucas series with closed-form coefficients, and establish the asymptotic formula $H_{u_n} \sim n\ln(α)$ for both $u_n = F_n$ and $u_n = L_n$, with explicit $O(1)$ error terms that differ due to their distinct initial conditions. As a further consequence, by comparing the gap-sum expansions with the classical Hardy--Wright expansion of harmonic numbers, we derive exact series identities expressing Euler's constant $γ$ in terms of harmonic numbers at Fibonacci and Lucas indices, and obtain a new identity relating the reciprocal Fibonacci constant $ψ$ and the reciprocal Lucas constant $ψ_L$.

Motivated by a historical combinatorial problem that resembles the well-known Josephus problem, we investigate circular partition algorithms and formulate problems in deterministic finite automata with practical algorithms. The historical problem involves arranging individuals on a circle and eliminating every k-th person until a desired group remains. We analyze both removal and non-removal approaches to circular partitioning, establishing conditions for balanced partitions and providing explicit algorithms. We introduce generalized run-length encodings over partitioned alphabets to capture alternating letter patterns, computing their cardinalities using Stirling numbers of the second kind. Connecting these combinatorial structures to formal language theory, we formulate an existence problem: given a context-free grammar over a dictionary and block-pattern constraints on letters, does a valid sentence exist? We prove decidability in polynomial time by showing block languages are regular and applying standard parsing techniques. Complete algorithms with complexity analysis are provided and validated through implementation on both historical and synthetic instances.