natural ↗ reference
4894 papers tagged with this keyword
Holes in Valid-Extension Sets of Finite Gilbreath Sequences
Given a finite sequence of integers, form its difference triangle by repeatedly taking absolute differences of consecutive entries. We call the sequence Gilbreath if the leftmost entry of every row below the top is 1. The Gilbreath conjecture, which remains open, asserts that every initial segment of the primes is a Gilbreath sequence.
This paper studies the local extension problem: given a Gilbreath sequence, which integers can be appended to it while preserving the Gilbreath property? We call the set of such admissible values the valid-extension set of the sequence. A previously proposed characterization in the literature predicts that this set always fills a natural parity interval around the last term. We show that this fails in general: the valid-extension set can have interior holes, with the smallest failure occurring at length 5 for the sequence (2,3,5,9,15).
The paper develops a corrected theory of valid extensions. We give an exact criterion for membership in the valid-extension set, an algorithm that computes it, and a sharp condition determining exactly when the set fills the candidate interval. This last condition is an order-sensitive analogue of the classical Brown completeness criterion for subset sums. We also establish endpoint validity and reflection symmetry, determine the exact minimum size of the valid-extension set together with its unique minimizer, exhibit a family whose valid-extension set has exponentially many components, and provide enumeration data through length 11.
On restricted Rota-Baxter Lie algebras of arbitrary weight
Recently, Ehret and Gilliers introduced the notion of a (trivially) restricted post-Lie algebra, recovering the concepts of a restricted Lie algebra and a restricted pre-Lie algebra. In this paper, we specifically introduce restricted Rota-Baxter Lie algebras of arbitrary weight with an intrinsic graph subalgebra characterization. We show that, via the splitting property, they give rise to restricted post-Lie algebras, and furthermore possess a novel replication property. We then present two natural constructions of such restricted Rota-Baxter structures in prime characteristic: one arising from Rota-Baxter associative algebras of arbitrary weight, and the other from Rota-Baxter Lie algebras of weight $1$. The Rota-Baxter $p$-envelopes of a Rota-Baxter Lie algebra are also examined.
Dyck paths on black-and-white lattices
A Dyck path of semilength $n$ is a lattice path from $(0,0)$ to $(n,n)$ consisting of $n$ right-steps $(1,0)$ and $n$ up-steps $(0,1)$ that never rises above the line $y=x$. These paths are enumerated by the Catalan numbers and play a central role in enumerative combinatorics. We color the cells of the integer grid in black and white according to two natural patterns, namely chessboard and column-alternating, and enumerate the Dyck paths having equal numbers of black and white cells beneath them.
A Combinatorial Generalization of a Random-Player Game
In a previous note, a two-player game between a random player and a deterministic player was introduced, and it was shown analytically that the winning probability of the deterministic player is the derangement probability dn/n!. The natural question left open was to explain this coincidence combinatorially. This paper gives such an explanation and extends it to a larger family of games. In the generalized game, the deterministic player removes q elements per turn, or all remaining elements if fewer than q remain. We couple the game exactly to the cycle decomposition of a uniformly random permutation. Under this coupling, the random player wins precisely when the first cycle of length at most q, read in canonical cycle order, is a fixed point. The case q = 1 recovers derangements, while the general case is governed by the first short cycle of the permutation.
A coarse Menger theorem for hyperbolic graphs, finitely presented groups, and more
Menger's theorem is one of the most fundamental results in graph theory. It states that if a graph $G$ does not contain $k$ disjoint paths between two given sets $X$ and $Y$ of vertices in $G$, then there is a set of at most $k-1$ vertices that intersects every path between $X$ and $Y$. Nguyen, Scott, and Seymour gave a counterexample to the conjectured natural coarse variant in which the paths are required to be pairwise at distance at least $d$, and, conversely, there is a set of at most $k-1$ bounded-radius balls intersecting every path between $X$ and $Y$. In other words, the coarse Menger property does not hold in general.
We prove that graphs whose cycles space is generated by cycles of bounded length do have the coarse Menger property. As a corollary, we show that many natural graphs and geodesic metric spaces have the coarse Menger property. These include hyperbolic graphs, Cayley graphs of finitely presented groups, planar graphs with bounded face size, and complete Riemannian planes.
Perfect matchings, Fano planes, and orthogonal bases of type $E_8$
We use perfect matchings and labelled Fano planes to construct and study the $2025$ orthogonal bases of positive roots in the $E_8$ root system. The set of these bases forms a highly structured, Bruhat-like graded poset $(Ω, \leq_Q)$ whose rank function can be computed from the cardinalities of so-called generalized Rothe diagrams. We give combinatorial characterizations of these diagrams in terms of matchings and Fano planes, and we explain how to compute the ranks of the elements of $Ω$ using suitable combinatorial statistics such as the weights of perfect matchings. We establish simple formulas for the rank generating functions of $Ω$ and of its 50 congruence classes under a natural order congruence relation. Our derivation of the generating functions contains some intermediate results on general perfect matchings and labelled Fano planes that can be stated without mentioning root systems and may be of independent interest.
Arithmetic Properties Satisfied by a Recent Integer Partition Function of Dombos
In recent work of Dombos, the set of integer partitions of $n$ wherein the parts are either divisible by 4 or congruent to $\pm 1 \pmod{6}$ arose in a natural way. In this work, we will denote the function which counts the number of such partitions of $n$ by $dp(n)$. Using elementary generating function manipulations and classical $q$--series results, we prove several congruences satisfied by $dp(n)$. As an example, we prove that, for all $α\geq 1$ and all $n \geq 0$, \begin{equation*}
dp \left( 3^{2α+ 1}n + \frac{7 \cdot 9^α+ 1}{4} \right) \equiv 0 \pmod{3}. \end{equation*}
Tridendriform algebras on hypergraph polytopes, the other way around
Hypergraph polytopes (or nestohedra) form a broad class of polytopes obtained by truncating faces of a simplex according to a hypergraph. In earlier work, the authors constructed q-tridendriform algebras on the set of faces of certain families of hypergraph polytopes, including associahedra and permutohedra. The well-definedness of these structures relied on a connectedness property on the hypergraphs involved, called strictness. Nevertheless, notable examples of hypergraph polytopes such as cyclohedra fell outside this setting. We introduce a new connectedness condition, called anti-strictness, which goes opposite to strictness and captures a different class of hypergraph polytopes, including associahedra, permutohedra and cyclohedra. Our main result produces natural (-1)-tridendriform algebras in the anti-strict framework, which match previously introduced tridendriform algebras in the overlap of the two frameworks, thereby extending the range of hypergraph polytopes admitting such algebraic structures.
The independence number of uncrowded hypergraphs: bounds matching the shattering threshold
A foundational theorem of Ajtai, Komlós, Pintz, Spencer, and Szemerédi asserts that every $n$-vertex $k$-uniform uncrowded hypergraph with maximum degree $Δ$ contains an independent set of size $c_k n{\left(\frac{\log Δ}Δ\right)^{\frac{1}{k-1}}}$, for some constant $c_k>0$. Determining the optimal leading constant $c_k$ in this bound is a major open problem. A natural target is the so-called shattering-threshold constant $\left(\frac{1}{k-1}\right)^{\frac{1}{k-1}}$, which appears in the solution-space geometry of random constraint satisfaction problems, in average-case complexity theory, and in statistical physics, among other areas.
We prove that uncrowded hypergraphs attain this threshold. More precisely, for every $ε>0$ and $k\geq 2$, every $n$-vertex $k$-uniform uncrowded hypergraph of sufficiently large maximum degree $Δ$ contains an independent set of size at least $(1-ε) n {\left(\frac{1}{k-1}\frac{\log Δ}Δ\right)^{\frac{1}{k-1}}}$. Consequently, we obtain the first pseudorandom class of hypergraphs whose guaranteed independence number matches the shattering threshold, resolving a folklore conjecture. Moreover, as another direct consequence, we resolve a conjecture of Verstraëte and Wilson by proving that there exists a constant $c_k=1-o_k(1)$ such that every $n$-vertex $k$-uniform linear hypergraph of maximum degree $Δ$ has independence number at least $c_k n\left(\frac{\log Δ}Δ\right)^{\frac{1}{k-1}}$.
Our techniques are constructive yielding efficient algorithms for both static and distributed settings. Specifically, we provide an $\tilde O(nΔ)$-time randomized static algorithm and an $\tilde O(1)$-round randomized $\textsf{LOCAL}$ algorithm to find an independent set in uncrowded hypergraphs at the shattering threshold. These results extend seamlessly to the the setting of linear hypergraphs.
Describing ends and tangles (and their edge variants) through Boolean algebras and functors
The end space of an infinite graph arises naturally in many contexts as an important invariant and an interesting construction. It compactifies a locally finite graph and Diestel shows how to extend the end space to a larger space, called the tangle space, which is able to compactify any infinite graph. In both ends and tangles, it is the vertex-connectivity structure of the graph that is being studied. If we switch our attention to edge-connectivity, we can analogously define edge-ends. There is a space known as the edge-direction space which turns out to play an analogous role as the tangle space in its relationship with the end space: the edge-direction space provides a larger compact space in which the not necessarily compact space of edge-ends lives in. In this paper, we make this analogy precise, providing a natural edge analogue definition of tangles and proving they result in exactly the edge-directions. We also describe a combinatorial construction of certain Boolean algebras which give rise, via Stone duality, to the tangle and the edge-direction spaces. Finally, we pursue functorial definitions of the combinatorial constructions used in the paper, inspired by the famously functorial nature of Stone duality and by previous work by one of the authors and colleagues on trying to functorialize the end space construction. We hope our work will provide foundation and inspiration for further work on infinite graph theory that makes ample use of category theory and powerful algebraic constructions such as Boolean algebras and Stone duality.
CRIM: A Natural Game on Integer Partitions
We analyze Column-Row Impartial Merge (CRIM), an impartial combinatorial game played on integer partitions. A move in CRIM consists of removing an arbitrary row or column from the corresponding Young diagram, with the remaining parts reattaching to form a single partition. We define rectairs -- a common generalization of rectangles and staircases -- and characterize their $\mathcal{P}/\mathcal{N}$-status. We define the meld operation on partitions and show that the meld of losing rectairs is losing. We introduce Odds-Are-Even (OAE) and Evens-Are-Odd (EAO) partitions, proving that all OAE partitions are $\mathcal{P}$-positions and characterizing the losing positions within EAO partitions. We determine the $\mathcal{P}/\mathcal{N}$-status for staircases and for $2$- and $3$-part partitions. We evaluate CRIM and its restrictions to certain partition families within the Conway-Gurvich-Ho classification scheme, establishing that CRIM is neither returnable nor domestic. We conjecture that every losing partition has even rank.
A sharp bound on the integrality gap in the 3-set cover problem
Given a hypergraph with edges of size at most 3, the 3-set cover problem asks to determine the minimum size of a family of edges which covers the vertex set. As the problem is NP-hard, it is natural to consider its fractional (linear programming) relaxation, which provides a lower bound on the value of the optimal solution. The ratio between the actual value and that of the fractional relaxation is called the integrality gap. A classic bound of Lovász implies that the integrality gap in this problem is at most 11/6. This has been improved to 5/3 by Fujito and Okumura. Here we prove that the integrality gap is at most 3/2, which is best possible. A corollary of this result is that the vertex set of any 3-uniform, regular hypergraph on n vertices can be covered by n/2 (or fewer) edges. This solves the k=3 case of a problem of de A. Moreira and Kohayakawa. As another application, we derive a certain variant of the Gale-Shapley stable marriage theorem for triples.
Encoding Phylogenetic Networks with Least Common Ancestor Constraints
Encoding phylogenetic networks by suitable substructures is a central problem in phylogenetic combinatorics. We study encodings based on least common ancestor (LCA) constraints. For a directed acyclic graph (DAG) $G$ with leaf set $X$, we consider the relation on pairs of leaves in which $(ab,xy)$ records that the LCAs of $a,b$ and $x,y$ are well-defined and that the former is a descendant of the latter.
We first identify precisely which part of $G$ is determined by this relation. To this end, we compare the canonical DAG constructed from the LCA relation with the 2-regularization of $G$, obtained by removing all vertices that are not LCAs of one or two leaves and then deleting shortcut edges. We prove that these two DAGs are isomorphic. Hence the obstruction to encoding a graph by its LCA relation is exactly the information lost under 2-regularization.
This yields a general reconstruction principle, which we apply to several natural classes of phylogenetic networks. In particular, we show that shortcut-free 2-LCA-relevant DAGs, phylogenetic trees, regular level-1 networks, regular networks with binary clustering systems, regular networks whose clustering systems are closed weak hierarchies, strong-phylogenetic normal networks, separated phylogenetic normal networks, and binary normal networks are encoded by their LCA relations.
We also introduce a sparse triple-like restriction consisting only of comparisons of the form $(ab,ac)$, where $a,b,c\in X$ are pairwise distinct. For graphs with the 2-LCA property, we show that this sparse relation, together with the leaf set, determines the full LCA relation after a natural closure operation. Consequently, several of the above classes can be reconstructed, up to isomorphism, from the sparse relation in polynomial time.
Spectral extremal graphs for even factors
An even factor of a graph $G$ is a spanning subgraph in which every vertex has positive even degree. It is known that the minimum degree $δ(G)\ge 2$ is a trivial necessary condition for $G$ to have an even factor. Recent spectral results for the existence of even factors used the certain complete-join graphs as exceptional extremal graphs. However, these graphs already contain $2$-factors and therefore are not genuine obstructions. This observation leads to the natural problem of determining the true sharp spectral threshold when the minimum degree is given. In this paper, we provide tight adjacency spectral radius conditions for a connected graph to contain an even factor, and characterize all extremal graphs, respectively. We also study the stronger requirement of a connected even factor, equivalently a spanning connected Eulerian subgraph. For this property, we also establish the corresponding sharp adjacency spectral radius condition and determine the unique extremal graph.
Every natural number is a sum of distinct semiprime unit fractions
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.
Graph recovery from partial information
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.
A random approach to the multibonacci sequence
This paper presents a random approach to the multibonacci sequence. We generalise the model introduced by Benjamin, Levin, Mahlburg, and Quinn, which is based on a random tiling method using dominoes and squares that leads to the Fibonacci sequence, and which was extended to the tribonacci case in a previous work by the authors. Our approach employs tiling with linear $k$-ominoes, $k=1,\ldots,s$, combined with specific colouring, to generate a weighted multibonacci sequence. For a natural random variable~$X$ defined by this model, we establish the distribution of $X$ in terms of multibonacci numbers and compute $\mathbb{E}[X] = 2^{s+1}-3$.
The maximum number of edges in $C_{2k+1}^{-}$-free unbalanced signed graphs with bounded clique number
Recently, the Turán problem for graphs with bounded clique number has attracted considerable attention. Since a graph can be regarded as a signed graph without negative edges, it is natural to extend the study of such Turán-type problems to signed graphs. With this motivation, we investigate the Turán-type problem for unbalanced $C_{2k+1}^{-}$-free signed graphs with bounded clique number. In fact, we establish a general result via the classical stability theorem. Specifically, for sufficiently large $n$ and a color-critical graph $F$, we determine the maximum number of edges among all $n$-vertex $C_{2k+1}^{-}$-free unbalanced signed graphs whose underlying graphs are $F$-free.
Pairwise Compatibility Representations of Multidimensional Grid Graphs
Pairwise compatibility graphs (PCGs) represent graph adjacency by an interval of leaf-to-leaf distances in a weighted tree. We study grid graphs under the PCG model and two natural extensions: multi-interval PCGs and OR-PCGs. First, we prove that every $d$-dimensional grid graph is a $(d-1)$-interval-PCG. The construction decomposes the grid into hyperplanes of constant coordinate sum and uses a large-base encoding so that distances between consecutive hyperplanes identify the coordinate direction of an edge. A pair of nearby code values is then merged into one interval, reducing the number of intervals from $d$ to $d-1$. Second, we prove that every $d$-dimensional grid is a $\lceil d/2\rceil$-OR-PCG by grouping coordinate directions into pairs; each paired-direction graph is a disjoint union of two-dimensional grid graphs and is therefore a PCG. Finally, an exact tree-metric satisfiability computation shows that $P_3\square P_3\square P_3$ is not a PCG. Consequently, the minimum number of intervals sufficient for all three-dimensional grid graphs is exactly two, resolving a previously posed open problem. The same obstruction shows that the OR-PCG bound is tight in dimension three and implies that every grid with at least three factors of order at least three is not a PCG.
Degree-Four Vector-Coordinate SoS Cannot Detect the MUB Upper Bound
We prove a degree-four Sum-of-Squares lower bound for the standard vector-coordinate formulations of mutually unbiased bases. For every dimension $d$ and every proposed number $m$ of bases, we construct a degree-four pseudoexpectation satisfying the orthonormality constraints and the cross-unbiasedness constraints in the quartic equality formulation. The construction is expectation over $m$ independent Haar-random orthonormal bases. We also prove that the same pseudoexpectation satisfies the degree-four localizing constraints for the natural $2\times 2$ Hermitian semidefinite formulation of the cross-coherence inequalities. Consequently, degree-four vector-coordinate SoS cannot refute the existence of $m$ mutually unbiased bases, even when $m>d+1$. In particular, under the two vector-coordinate encodings explicitly described in Randomstrasse101 Open Problem 23, degree-four SoS cannot prove that seven mutually unbiased bases do not exist in $\mathbb C^6$. We contrast this with a centered projector-coordinate Gram formulation, where degree-four SoS already recovers the elementary upper bound $m\le d+1$, giving a simple separation between vector-coordinate and projector-coordinate degree-four relaxations.