arXiv++ Combinatorics

A set of integers is primitive if no number in the set divides another. We introduce a new method for bounding Erdős sums of primitive sets, suggested from output of GPT-5.4 Pro, based on Markov chains with von Mangoldt weights. The method leads to a host of applications, yet seems to have been overlooked by the prior literature since Erdős's seminal 1935 paper. As applications, we prove two 1966 conjectures of Erdős-Sárközy-Szemerédi, on primitive sets of large numbers (#1196) and on divisibility chains (#1217). The method also provides a short proof of the Erdős Primitive Set Conjecture (#164), as well as the related claim that 2 is an ''Erdős-strong'' prime. Moreover, the method resolves a revised form of the Banks-Martin conjecture, which has long been viewed as a unifying `master theorem' for the area.

Given a permutation $σ$, the Robinson-Schensted correspondence determines a certain partition called the shape of $σ$. Famously, the shape measures the longest unions of increasing and decreasing subsequences, thus giving global information about $σ$. In this paper, by contrast, we ask how prescribing a shape collectively controls local behavior: namely, if $σ$ is a random permutation of shape $λ$, then what is $P^λ_{ij} :=$ the probability that $σ(i) = j$? Our main results, obtained by tableau-theoretic methods, are explicit formulas for $P^λ_{ij}$ when $λ$ is a hook, two-row, or rectangular shape. We use these formulas to depict and analyze the intricate diffraction-like patterns in the matrices $(P^λ_{ij})$. As a surprising application, we show that for both hook and two-row shapes, as the largest part of $λ$ tends to infinity with the remaining parts fixed (summing to $m$), the expected proportion of fixed points in $σ$ approaches the Wallis integral $\int_0^{π/2} \sin^{2m+1} x \: dx = (2m)!! / (2m+1)!!$.

This work establishes rigorous mathematical foundations connecting spectral graph theory, algebraic geometry, and string theory. We construct a canonical mapping whereby any finite graph \(G\) defines a compact Riemann surface \(X_{G}\) (the spectral curve) whose period matrix \(Ω_{G}\) encodes the graph's coarse-grained spectral information. We demonstrate that in the continuum limit of graph sequences converging to Riemannian manifolds, these spectral curves converge in the Deligne-Mumford compactification sense to the classical stable curves associated with the manifold. We establish connections to the topological recursion framework of Eynard-Orantin, showing that under appropriate conditions the spectral curve satisfies the loop equations of multi-cut matrix models. The spectral memory field \(Φ_{G}(u)\) is introduced and shown to provide a discrete regularization of minimal string partition functions. We construct quantum scattering operators on spectral curves and prove that their unitarity is equivalent to a positivity condition on the spectral memory field. Furthermore, we apply this framework to resolve spacelike singularities in general relativity, proving that the Belinski-Khalatnikov-Lifshitz (BKL) chaotic regime is isospectral to a critical random graph ensemble. The classical singularity is replaced by an infinite nodal chain of rational curves, and the Bekenstein-Hawking entropy emerges from the automorphism group of the spectral curve. This work provides rigorous mathematical underpinnings for discrete approaches to quantum gravity and establishes new connections between graph theory, algebraic geometry, and theoretical physics.

This paper explores the dimension theory of non-Noetherian graded rings by introducing the class of Hilbert-Serre rings. We generalize Krull's dimension theorem and Smoke's dimension theorem by establishing the fundamental inequalities $\dim(R) \le \operatorname{GKdim}_k(R) \le d(R)$ for any Hilbert-Serre ring $R$, where $d(R)$ is the pole order of its Poincaré series at $t=1$. Furthermore, we apply these results to initial algebras, proving that all these dimensions, including the transcendence degree, coincide for monomial algebras. Finally, we provide explicit examples demonstrating that these inequalities can be strict in general, even for integral domains.

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}$.

In the article by Michael Chmutov, Max Glick and Pavel Pylyavskii \cite{Chmutov} the action of the cactus group $C_N$ on the set of semi-standard Young tableaux filled with the numbers from $1$ to $N$ was defined. Namely, they constructed the set of generators (we rightfully call them Bender-Knuth generators) of the cactus group and a group homomorphism from $C_N$ to Berenstein-Kirillov group $BK_N$ (cf. \cite{Berenstein_Kirillov}), which sends these generators to the Bender-Knuth involutions on the set of semi-standard Young tableaux. In \cite{Henriques_Kamnitzer} Andre Henriques and Joel Kamnitzer defined a natural action of cactus group $C_N$ on the tensor product of $N$ normal crystals via commutors. By applying their result I defined the action of cactus group $C_N$ on the set of short semi-standard Young tableaux filled with the numbers $1, 2, \ldots, N$ in \cite{Svyatnyy}. A semi-standard Young tableau is called \textit{short} if the number of cells in the first two columns with the numbers $\leqslant N$ is less than or equal to $N$. The set of short semi-standard Young tableaux obviously forms a subset inside the set of semi-standard Young tableaux. The purpose of this paper is to explicitly compute the action of Bender-Knuth generators of cactus group $C_N$ on the set of short semi-standard Young tableaux defined in \cite{Svyatnyy} and compare it with their action on the set of semi-standard Young tableaux defined in \cite{Chmutov}.

In this paper, we characterize the existence of perfect state transfer (PST) and fractional revival in continuous-time quantum walks on the zero-divisor graph $Γ(\mathbb{Z}_n)$. By using the canonical equitable partition of $Γ(\mathbb{Z}_n)$ induced by the proper divisors of $n$, we derive a sufficient condition on $n$ for PST to occur between a pair of vertices. We show that fractional revival is restricted to cells of size $2$ within the equitable partition. Furthermore, assuming $-1$ is not an eigenvalue of the quotient spectrum, we establish that two vertices in $Γ(\mathbb{Z}_n)$ are strongly cospectral if and only if they form a cell of size $2$ within the equitable partition that is either a set of false twins or true twins. Finally, we provide a characterization of fractional revival on bipartite $Γ(\mathbb{Z}_n)$ and prove the non-existence of fractional revival on $Γ(\mathbb{Z}_{p^2q})$.

The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the socalled inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory. The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial time for fixed $k$ and for small $k$.

We analyze a new family of weighted double Hurwitz numbers that was introduced as a notable example in the context of the $x-y$ duality for logarithmic topological recursion. We use this family to systematically demonstrate, refine and develop techniques that play a crucial role in the interaction of hypergeometric (Orlov--Scherbin) KP tau functions and intersection theory of moduli spaces of curves. In particular, we discuss the subtleties related to the derivation of the ELSV-type formulas in this context and derive a new, explicit ELSV-type formula in terms of the so-called $Ω$-classes.

We show that the Hurwitz problem for sums of squares can depend on the base field. More precisely, we construct an explicit formula of type $[12,12,18]$ over every field of characteristic different from $2$ in which $-1$ is a square, whereas no such formula exists over any formally real field. This settles, in the negative, a longstanding conjecture of Shapiro. In particular, a formula of this type exists over $\mathbb Q(i)$ and over $\mathbb C$, but not over $\mathbb Q$ or over $\mathbb R$.

Given a set $Γ$ of $k$ unlabelled posets, each of size $n$, we say that a poset $Q$ is a \emph{witness} to $Γ$ if $Γ$ is the set of downsets of size $n$ of $Q$. We say that $Q$ is a \emph{minimal witness} if it does not contain a proper downset that is itself a witness to $Γ$. Motivated by the causal set approach to quantum gravity, we study the upper bound on the size of minimal witnesses as a function of $n$ and $k$. We show that there is no linear upper bound of the form $n+k+c$ for any constant $c$. We introduce the \emph{exchange graph of downsets} as a new tool to study this scenario, and use it to show that all minimal witnesses $Q$ satisfy the bound $|Q|\leq nk-n$, and that when $k=3$ there is at least one minimal witness $Q$ that satisfies the bound $|Q|\leq \frac{3}{2}(n+1)$.

Let $G$ be a connected (non-complete) $d$-regular graph with $d\geq3$. Let $c(G-S)$ denote the number of components of $G-S$ for any cut $S$ of $G$. The toughness $t(G)$ of $G$ is defined as $\min\left\{\frac{|S|}{c(G-S)}\right\}$, where the minimum is taken over all proper cuts $S$ of $G$. Let $λ_{2}(G)$ denote the second largest eigenvalue of $G$. In this paper, we prove $$t(G)\geq\min\left\{\frac{d+1}{d}(d-λ_{2}(G)),1\right\}.$$

We present a number of results concerning infinite-exponent partition relations on linear orders of the form $\langle {}^α2,<_{\text{lex}}\rangle$ for $α$ an ordinal, generalising the setting of the real line, working throughout in ZF without the Axiom of Choice. As a particular consequence of our results, we obtain a full classification of the relation $\langle {}^α2,<_{\text{lex}}\rangle \rightarrow (τ)^τ$ for $τ$ countable.

We prove that the directed seven-dimensional equal-side torus D_7(m) = Cay((Z/mZ)^7, {e_0, e_1, ..., e_6}) admits a directed Hamilton decomposition for every odd integer m >= 3. The proof has two main contributions. First, we introduce the root-flat certificate: a named verification framework in which a Hamilton decomposition of D_n(m) follows from three local conditions on a single root flat -- row Latinness, layer bijectivity, and primitive return maps. This abstraction was used informally in the earlier odd D_5(m) construction; here it appears as a definition and a theorem, providing a common verification interface for prime-dimensional base cases. Second, for every odd m >= 7, we give a uniform prefix-coordinate construction: one-layer prefix maps, a symbol-count criterion, and explicit 7x7 count matrices produce all seven Hamilton factors without a finite search. The remaining moduli m = 3 and m = 5 are exactly the boundary where the prefix-count method provably cannot work; they are handled by finite root-flat certificates whose validity is checked in Lean 4. A Lean 4 formalization verifies the Cayley statement, with the symbolic branch and the finite boundary certificates checked in the same development.

We develop a toric topological framework for studying the cohomology of Vietoris--Rips complexes $VR(Q_n;r)$ of hypercube graphs. Using total domination invariants and spectral methods, we establish general lower bounds on connectivity, which leads to infinite families of counterexamples to Shukla's conjecture, and derive first global upper bounds on coconnectivity. Our approach interprets Vietoris--Rips complexes via Stanley--Reisner rings, moment-angle complexes, and Tor algebras, allowing global topological information to be extracted from combinatorial data. In a second direction, we construct explicit cohomology classes using the Koszul resolution and show that they decomposable products of $1$-dimensional classes, and that their representatives can be combimbinatorially realised as the boundary of cross polytopes positively answering the question posed by Adams and Virk. We introduce ghost vertices as a new tool for detecting, extending, and proving linear independence of cohomology classes.

We present a near-linear-time algorithm that, given a bridgeless cubic graph, finds a perfect matching intersecting every 3-edge-cut in exactly one edge. This improves over a cubic algorithm of Boyd et al. for the same problem, and over our previous algorithm, which worked only for 3-edge-connected graphs. The main ingredient is a cactus representation of the 2-edge-cuts, together with an efficient update procedure under 2-cut reductions.

We determine the limiting density of the largest sum-free subset of the lattice cube $\{1,2,\ldots,n\}^d$ for all $d$, thus resolving the natural conjecture that it is constructed by two appropriate hyperplane slices.