arXiv++ Combinatorics

We prove that every natural number is a finite sum of distinct unit fractions whose denominators are semiprimes (products of two distinct primes). This is the $ω=2$ integer case of a problem of Erdős and Graham, stated only as a conjecture by Butler, Erdős and Graham (Integers 15 (2015), A51), who proved the $ω=3$ analogue. Counterintuitively the problem hardens as $ω$ decreases -- the induction's feed thins -- so $ω=2$ is the hard case; our proof adapts the Butler-Erdős-Graham induction to this thin-feed regime, where the entire content of the induction step reduces to an explicit onset inequality $Y_0(N)\le\min\{β(N),β'(N)\}$, proved for all $N\ge10$ by Olson's addition theorem and elementary Chebyshev bounds above a finite, machine-checked base range. The same engine extends to the rationals: for every squarefree $b$, every $a/b$ above an explicit threshold $\min\{B_{N_b}/6,\,1/5\}$ is $ω=2$ representable, unconditionally. As an application we give the first complete proof of the rational $ω=3$ statement -- every $a/b$ with squarefree $b$ is a sum of distinct sphenic unit fractions -- that Butler, Erdős and Graham conjectured but left unpublished; a descent settles every $ω\ge3$. What remains open is the $ω=2$ regime below this threshold, which we reduce to a single explicit conjecture -- that the gap-free floor of a semiprime subset-sum set tends to zero. This work is a human-AI collaboration: AI tools (notably Anthropic's Claude, used through Claude Code) contributed substantially to the Lean formalisation, the experiments, and the writing; correspondingly, every result is machine-checked in Lean 4 / Mathlib (no sorry; two cited classical axioms, plus the native_decide compiler-trust base for the finite computations), so its correctness is independent of the tools used.

For every integer $g\ge 2$, we determine exactly which integers occur in the greedy 3-sumfree sequence that starts with $1$, $g$, and $g+1$. This gives a direct proof of a conjecture of Bosma, Bruin, Fokkink, Grube, Reuijl, and Tromp. We also obtain an explicit eventual periodic description, including both the preperiod and the repeating block.

In this paper, we study the family of subcomplexes of the order complexes of finite graded posets, defined via its rank function. We address three main topics. (1) We describe the general topological properties of these subcomplexes in relation to magnitude homology of graded posets. (2) For posets whose order complexes are simplicial subdivisions of closed manifolds, we show that the homology groups of these subcomplexes agree with that of the undelying manifold except for the top dimension, where it is a nontrivial free abelian group. (3) For shellable graded posets, we prove that each of the subcomplexes are also shellable. Moreover, in the case of geometric semilattices, we show that each subcomplexes are homotopy equivalent to a nontrivial wedge sums of spheres of the same dimension.

We give an exact finite-dimensional Perron--Frobenius realization of the dominant zero of the Nekrasov--Okounkov polynomials $\nop _n(z)$. For a normalized positive sequence $h=(h(n))_{n\ge 1}$ with $h(1)=1$, define $\pol _0^h(z)=1$ and, for $n\ge 1$, \[ \pol _n^h(z)=\frac{z}{h(n)}\sum_{k=1}^n σ(k)\pol _{n-k}^h(z),\] where $σ(k)$ denotes the sum of divisors of $k$. The Nekrasov--Okounkov polynomials are obtained from the specialization $h(n)=n$ by the shift $\nop _n(z)=\pol _n^h(z+1)$. We derive a Hessenberg determinant representation for $\pol _n^h(z)$. After separating the trivial zero at the origin, the remaining zeros of $\pol _n^h(-z)$ are identified with the eigenvalues of an explicit $(n-1)\times(n-1)$ nonnegative matrix $M_n^h$. We prove that $M_n^h$ is primitive and apply Perron--Frobenius theory to show that $\pol _n^h(z)$ has a unique zero of maximal modulus; this zero is real, negative, and simple. As a consequence, the same property holds for the Nekrasov--Okounkov polynomials. We also prove strict monotonicity of the associated spectral radii.

The Constructor--Blocker game is played on the edge set of $K_n$. Two players alternately claim previously unclaimed edges. Constructor aims to maximize the number of copies of a target graph $H$ in her graph while keeping it $F$-free throughout the game, whereas Blocker aims to minimize this number. When both players play optimally and Constructor moves first, the final number of copies of $H$ in Constructor's graph is called the score of the game and is denoted by $g(n,H,F)$. Recently, Balogh, Chen, and English systematically studied this game for non-bipartite forbidden graphs $F$. However, bipartite forbidden graphs present additional difficulties. In this paper, we focus on the case in which the forbidden graph is an even cycle. First, using a finite-field-geometric construction, we confirm a conjecture of Balogh, Chen and English by proving \[ g(n,K_3,C_4)=Θ(n^{3/2}). \] We also establish two-sided bounds for $g(n,K_3,C_{2k})$ that relate the game score to classical extremal numbers. Our proofs reveal a structural distinction between the cases $k=2$ and $k\ge3$: a vertex-duplication method works for longer even cycles, but it necessarily creates $4$-cycles and therefore cannot be used in the $C_4$-free game. Finally, we determine the exact order of $g(n,C_t,C_{2k})$ for all $k\ge2$ and all $t\ge4$.

We solve the inverse problem for Ising models on reduced planar graphs in a disk, i.e., recovering the edge coupling constants from the boundary spin correlations. A recursive solution to this problem was provided by Galashin--Pylyavskyy. Our solution is non-recursive. It is based on an Ising analog of the chamber ansatz which asserts that the inverse map should factor through variables on the graph that transform under the Ising Y-$Δ$ move according to the discrete CKP equation.

We develop a uniform skew Murnaghan--Nakayama theory for graded Hopf dual pairs equipped with a nondegenerate Hopf pairing. Using the completed Cauchy element, its grouplike factorization, and the resulting partial contraction operators, we establish a general skew Cauchy identity together with an abstract skew Murnaghan--Nakayama rule. Specializing this framework recovers and extends the classical skew Murnaghan--Nakayama rule for symmetric functions, and yields new skew Murnaghan--Nakayama formulas in several settings, including the dual pairs $(\mathrm{NSym}, \mathrm{QSym}) $ and $(Λ^{(k)}, Λ_{(k)}) $ arising in $k$-Schur theory, as well as the type $C$ affine Grassmannian context. As applications, we obtain generating functions for irreducible characters of Ariki--Koike algebras, including their type $A$ and type $B$ specializations, as well as Hecke--Clifford algebras and $\mathfrak q$-rook monoid algebras. We also give ribbon-tableau expansions for skew $(q,t)$-Kostka polynomials and for the entries of the inverse transition matrix, thereby answering a question of Carbonara (1998). Finally, by specializing the auxiliary alphabet $Y$ to sums of powers of primitive roots of unity, we derive a skew plethystic Murnaghan--Nakayama formula together with a Schur expansion for skew modular Schur functions; as a further consequence, we confirm Walker's conjecture (1994) by showing that if the transition from the modular Schur functions to the Schur basis is trivial in the row indexed by $λ$, then $λ$ must be a $k$-core.

We prove that the Opdam-Cherednik kernel, also known as the nonsymmetric Opdam hypergeometric function, can be written as the Laplace transform of a positive measure supported on the convex hull of the Weyl group orbit of its argument. As a consequence, the trigonometric Dunkl intertwining operator is positivity preserving. The main ingredient in the proof is a new formula for the Opdam-Cherednik kernel as a degeneration of nonsymmetric Macdonald polynomials. As a further application, we prove majorization inequalities for Macdonald polynomials and Heckman-Opdam hypergeometric functions associated with arbitrary root systems.

We study collapsibility in the multiparametric models of random simplicial complexes, namely the lower and upper models. In the upper model, we improve upon a result of Farber and Nowik, and assert that the homology is a.a.s concentrated in a single dimension by proving that the complex collapses to that \di. In the lower model, we prove that the complex a.a.s collapses to the \di\ with maximal non-trivial cohomology. We then compare this threshold to the ones derived previously for the special cases of the clique complex (by Kahle) and the Linial-Meshulam model.

We study the distance from the root to the nearest leaf, the analogous quantity for a uniformly chosen vertex, and its protection number, in size-conditioned simply generated trees. We prove a uniform exponential tail bound for each of these quantities, valid for arbitrary offspring distributions. As a consequence, these random variables are uniformly integrable of every order. This yields convergence of all moments to those of the corresponding local limit. The argument is probabilistic and unified across the three quantities.

Sidorenko's conjecture asserts that for every bipartite graph $H$ and every graph $G$, \[ t(H,G)\geq t(K_2,G)^{e(H)}. \] A result of Szegedy shows that, in order to prove the conjecture, it suffices to verify the corresponding inequality on a special family of highly symmetric bipartite Cayley type hosts arising from symmetric groups. Motivated by this reduction, we study Cayley type bipartite kernels associated with functions on finite groups and their conjugacy class averages. Our first result gives a reduction through conjugacy averaging: for a fixed bipartite graph $H$, if the $H$-density of each Cayley type host is at least the $H$-density of its conjugacy class average, then $H$ is strong Sidorenko, and hence Sidorenko. Our second result proves a Sidorenko-type inequality for 1-subdivision graphs on conjugacy-averaged Cayley kernels associated with arbitrary real-valued functions on finite groups.

We introduce a continuous analogue of the kernel method for boundary-interrupted affine tridiagonal production rules arising in weighted lattice paths and related models. In the classical kernel method, an unknown catalytic boundary series is eliminated by substituting an algebraic root of the kernel. Here affine height dependence turns the kernel into a differential kernel: the catalytic boundary trace is selected instead by following a characteristic to the boundary and imposing regularity there. This produces a first-kind Abel--Volterra equation and a reconstruction formula for height-refined generating functions. For affine Motzkin triangles, the framework identifies the balanced case as the exact locality condition, explains integer imbalance through height shifts and finite operator compression, and yields closed shifted-Pearson collapses for arbitrary real boundary index, including the secant-power hierarchy interpolating Euler and higher-order Euler numbers. The same boundary index also appears naturally in Jacobi recurrence data and affine birth--death models, showing that the theory is intrinsically continuous rather than purely integral.

We introduce a Fourier-analytic framework for graph complexity and recoverability. For a graph G on N vertices labeled by Z_N, we define the Fourier ratio FR(f) of its edge indicator f. The key invariant FR_min(G), the minimum Fourier ratio over all vertex labelings, measures the optimal additive spectral compressibility of the graph. We establish a lower bound FR_min(G) >= E(G)/sqrt(2s), where E(G) is the graph energy and s is the number of edges. This bound is sharp for abelian Cayley graphs under the natural group labeling. Using a compressed sensing theorem, we show that once a labeling with small Fourier ratio is available, the edge map can be efficiently recovered from sparse random samples of adjacency entries. The algorithmic problem of finding such a labeling remains open. We compute FR_min(G) for complete, Turán, cycle, and circulant graphs. Cycles and circulant graphs are highly compressible, while random labelings yield large Fourier complexity. We develop a spectral-projector framework for harmonic graph recovery. For each Laplacian eigenvalue {λ}, its spectral projector Π_λ satisfies FR_min(Π_λ) >= sqrt(m(λ)), where m(λ) is the multiplicity. Fourier-compressible projectors are recoverable via Fourier-side l^1 minimization. For abelian Cayley graphs, the natural group labeling simultaneously minimizes both edge and harmonic complexity, with the harmonic complexity attaining the lower bound exactly. Since low-frequency projectors govern heat flow and random walks, this yields a mechanism for recovering large-scale geometric structure from sparse observations without full graph reconstruction. Finally, we formulate an asymptotic spectral synthesis principle showing that spectrally regular functions cannot concentrate on small exceptional sets, yielding asymptotic uniqueness and recovery results for incomplete graph data.

Let $R$ be a commutative ring with identity, and let $Z(R)$ be the set of zero-divisors of $R$. The inclusion graph of annihilators in $R$, denoted by $Γ^{\prime}(R)$, is a graph with the vertex set $Z(R)^*=Z(R)\setminus\{0\}$ and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(x)\subseteq \operatorname{ann}_R(y)$ or $\operatorname{ann}_R(y)\subseteq \operatorname{ann}_R(x)$. It is proved that $Γ^{\prime}(R)$ is not connected if and only if $R$ is reduced with $|\operatorname{Min}(R)|=2$. Also, we show that if $Γ^{\prime}(R)$ is a connected graph, then the diameter of $Γ^{\prime}(R)$ is at most $4$ and the girth of $Γ^{\prime}(R)$ is at most $6$, if it contains a cycle. Moreover, we study the affinity between inclusion graph of annihilators and complement of the annihilator graph (a well-known graph with the same vertices and two distinct vertices $x$ and $y$ are adjacent if and only if $\operatorname{ann}_R(xy)\neq \operatorname{ann}_R(x)\cup \operatorname{ann}_R(y)$) associated with a commutative ring. Finally, we characterize all rings whose inclusion graphs of annihilators are complete.