Proof of Convergence of a Laplace Expansion Algorithm For Calculating Recursions Satisfied by a Family of Determinants

2026-06-17T00:57:12Z

In Evans and Hendel's recent proof of an outstanding conjecture on the resistance distances of a family of linear 3-trees, a key technique in the proof was calculating the recursion satisfied by a family of determinants. The underlying algorithm employed to prove the conjecture converged (i.e., terminated) in the particular case studied, and the paper presented an open question on when such a procedure converges in general. This paper proves the convergence of a Laplace expansion procedure for an arbitrary family of determinants of banded, square, Toeplitz matrices. A comparison of the procedure presented in this paper, the paper by Evans and Hendel, and a paper by Jia, Yang, and Li is presented.

Closure operators and geometric modules of valuated matroids

2026-06-17T00:28:44Z

We introduce a closure operator for valuated matroids and prove that it yields a cryptomorphic definition of valuated matroids. As an application, we introduce a class of modules over the tropical semifield (geometric modules) and prove that there is one-to-one correspondence between projective equivalence classes of simple valuated matroids and isomorphism classes of finitely generated geometric modules. We further illustrate how this correspondence can be lifted to simple infinite valuated matroids and geometric modules.

Separable Drawings: Extendability and Crossing-Free Hamiltonian Cycles

2026-06-16T23:40:32Z

Generalizing pseudospherical drawings, we introduce a new class of simple drawings, which we call separable drawings. In a separable drawing, every edge can be closed to a simple curve that intersects each other edge at most once. For different edges, the non-edge parts of these curves may interact arbitrarily though. Most notably, we show that (1) every separable drawing of any graph on $n$ vertices in the plane can be extended to a simple drawing of the complete graph $K_n$, (2) every separable drawing of $K_n$ contains a crossing-free Hamiltonian cycle and is plane Hamiltonian connected (that is, it contains a crossing-free Hamiltonian path between each pair of vertices), and (3) every generalized convex drawing and every 2-page book drawing is separable. Further, the class of separable drawings is a proper superclass of the union of generalized convex and 2-page book drawings. Hence, our results on plane Hamiltonicity extend recent work on generalized convex drawings by Bergold et al. (DCG 2025).

Tuples as sets

2026-06-16T20:33:25Z

In 1921, Kuratowski gave the now-standard definition of ordered pair in the context of set theory. This paper studies the problem of defining ordered tuples as sets in the hierarchy of simple types, of which Kuratowski's construction is a special case.

Exact 6-cut rigidity and small-order superconnectivity for the 6-regular case of Dirac's k=4 problem

2026-06-16T20:12:05Z

Dirac asked in 1970 whether for every k >= 4 there is a k-vertex-critical graph without critical edges; Jensen settled all k >= 5, and only k=4 remains open. Following Skottova and Steiner, call a graph G a (4,1)-graph if chi(G)=4, chi(G-v)=3 for every vertex v, and chi(G-e)=4 for every edge e; they proved delta(G) >= 6 and lambda(G) >= 6 for every (4,1)-graph and asked whether a 6-regular (4,1)-graph exists. We prove three results about this 6-regular case. Theorem A (computational): there is no 6-regular 4-vertex-critical graph on n <= 15 vertices, except for a unique graph (up to isomorphism) on n=13, whose 13 critical edges form a Hamilton cycle; hence any 6-regular (4,1)-graph has at least 16 vertices. Theorem B: in a 6-regular (4,1)-graph every 6-edge-cut is either the edge star of a vertex or has both shores of size at least 15; consequently every 6-regular (4,1)-graph on at most 29 vertices is super-6-edge-connected. Theorem C (all sizes): no shore of a nontrivial 6-edge-cut in a 6-regular (4,1)-graph induces a bipartite graph; more generally, a shore whose deficiency is concentrated on two vertices forces them to receive equal colours in every proper 3-colouring. The proof of Theorem B rests on an exact classification of the 3x3 cut matrices of 6-edge-cuts in (4,1)-graphs (exactly 21 matrices, five types up to row/column permutations) together with a boundary-shortfall lemma; the unique near-miss is K_{3,3,3} minus a rainbow 3-matching. Several supporting lemmas are machine-checked in Lean 4/Mathlib.

Global synchronization beyond dense graphs: the case of threshold graphs

2026-06-16T19:26:18Z

Given a graph $G$ with adjacency matrix $A$, consider the homogeneous Kuramoto energy $E_G(\boldsymbolθ):=\frac{1}{2}\sum_{1\leq i,j\leq n}A_{ij}\bigl(1-\cos(θ_i-θ_j)\bigr)$. We call $G$ \emph{second-order globally synchronizing} if every second-order stationary point of $E_G$ is fully synchronized. This property implies \emph{global synchronization}, namely that, up to a measure-zero set of initial conditions, trajectories of the Kuramoto model converge to a fully synchronized state. A fundamental graph-theoretic question is to identify which graph structures have this property. Existing guarantees for global synchronization typically require large minimum degree which forces the graph to be very dense, or good expansion properties. In this paper, we show that synchronization can also arise from a different, purely structural mechanism. More precisely, we prove that threshold graphs, a classical recursively defined graph class, are second-order globally synchronizing, and hence globally synchronizing. Thus, globally synchronizing graphs need not be very dense, have large minimum degree, or satisfy strong expansion-type conditions. The proof exploits the recursive construction of threshold graphs: local phasor constraints imposed by second-order stationarity are propagated along the construction sequence until full synchronization is forced.

A Periodicity Result for Tilings of $\mathbb Z^3$ by Clusters of Prime-Squared Cardinality

2026-06-16T18:35:44Z

We show that if $\mathbb Z^3$ can be tiled by translated copies of a set $F\subseteq\mathbb Z^3$ of cardinality the square of a prime then there is a weakly periodic $F$-tiling of $\mathbb Z^3$, that is, there is a tiling $T$ of $\mathbb Z^3$ by translates of $F$ such that $T$ can be partitioned into finitely many $1$-periodic sets.

Interval hypergraphic polytopes (or deformed associahedra), Tamari interval posets, and weeping willows

2026-06-16T18:23:57Z

For a hypergraph $\mathbb{H}$ on $[n]$, the hypergraphic polytope $\triangle_{\mathbb{H}}$ is the Minkowski sum of the standard simplices $\triangle_H$ for all $H \in \mathbb{H}$. We focus here on interval hypergraphs, where all hyperedges are intervals of $[n]$. They are precisely the deformations of Loday's associahedron. Their vertex posets are Tamari interval posets, and we describe which Tamari interval poset appears as a vertex poset in which interval hypergraphic polytope. We also characterize the interval hypergraphs $\mathbb{I}$ for which the hypergraphic polytope $\triangle_\mathbb{I}$ is simple, and we study their vertex posets, which we call weeping willows.

An exact small-$n$ computation of the minimum 2-coloring discrepancy of $K_n^{(3)}$

2026-06-16T18:05:15Z

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

Limit theorems for descents and inversions of shelf-shuffles

2026-06-16T17:54:32Z

We prove central limit theorems for the number of descents and inversions of permutations produced by shelf-shuffles. These are a model for casino card shuffling machines. We show the asymptotic normality of the number of descents in two limiting regimes depending on the ratio of cards to shelves. On the other hand, we study the inversions by employing a modification of the techniques from Islak's analysis of the statistics of riffle shuffles. In particular, we obtain a bound for the rate of convergence for inversions that is independent of the number of shelves.

On balanced subfamilies of maximum complement-free families in the middle layer of the Boolean lattice

2026-06-16T17:36:12Z

We study balanced subfamilies of the middle layer $\binom{[2n]}{n}$ of the Boolean lattice $2^{[2n]}$. A family $\mathcal{F}\subseteq\binom{[2n]}{n}$ is said to be balanced if every element in $[2n]$ appears in the same number of members of $\mathcal{F}$. A balanced subfamily of size 2 is exactly a complementary pair $\{A,[2n]\setminus A\}$, and therefore a family with no balanced subfamily of size $2$ has at most $\frac{1}{2}\binom{2n}{n}$ members. We show that for every $k\geq 1$ and all sufficiently large $n$, this maximum size is compatible with delaying the smallest size of a balanced subfamily until $2k+2$. More precisely, there exists a family $\mathcal{F}\subseteq\binom{[2n]}{n}$ of size $\frac{1}{2}\binom{2n}{n}$ with no balanced subfamilies of sizes $2,4,\ldots,2k$, but with a balanced subfamily of size $2k+2$. The proof is constructive and is obtained by lifting Taylor-Zwicker trade-robust magic-square games to self-dual selectors in the middle layer. This proves a recent conjecture of Moss and Pedersen.

Universal probability bounds for partial Latin squares

2026-06-16T17:08:58Z

This paper studies the probability of substructures occurring in random Latin squares. Our main result states that if $α,β>0$ are such that $2α+β<1$, then there are positive constants $δ= δ(α, β)$ and $Δ= Δ(α, β)$ such that if $P$ is a partial Latin square of order $n$ with $k = k(n)$ non-empty cells occupying at most $αn$ rows and $βn$ columns, the probability that a random Latin square of order $n$ contains $P$ lies between $(δ/n)^k$ and $(Δ/n)^k$. We apply this result to subsquares in random Latin squares to obtain the first proof of the fact that the expected number of subsquares of order $3$ in a random Latin square of order $n$ is non-vanishing as $n \to \infty$. We are also able to provide the best known asymptotics for the expected number of subsquares of order $a$ in a random Latin square of order $n$ when $2

On the Relationships between Domination, Isolation, and Packing

2026-06-16T17:07:21Z

We consider the relationships between the domination number of graph, denoted $γ$, and the distance-$2$ domination number, denoted $γ_2$, and three parameters that lie between them: the packing number, denoted $ρ$, the lower packing number, denoted $ρ_L$, and the isolation number, denoted $ι$. There has been recent attention on the question of whether $γ/ρ$ is bounded or unbounded for various families of graphs. We consider similar questions for the ratios of the five parameters. In particular we show that, while $γ/ρ_L$ is unbounded in trees, it holds that $ι/γ_2$ is less than $2$ for all trees. Further, $γ/ρ_L$ is at most $3$ in interval graphs, at most~$4$ in permutation graphs, and at most $5$ in general asteroidal-triple-free graphs. We also show that every tree has a set of vertices that is both isolating and a packing, and characterize trees where $ρ=ρ_L$.

On independent sets in uncrowded uniform hypergraphs

2026-06-16T17:07:21Z

We prove an average-degree lower bound on the independence number of uncrowded uniform hypergraphs. For every fixed integer $r\geq 2$ and every $η>0$, there exists $d_*=d_*(r,η)$ such that for every $d\geq d_*$, any uncrowded $(r+1)$-uniform hypergraph $G$ with $n$ vertices and average degree $d$ satisfies \[ α(G)\geq (1-η)r^{-1/r}\left(\frac{\log d}{d}\right)^{1/r}n. \] The proof combines a cleaning procedure, which reduces the maximum $r$-degree to the average scale, with a random nibble that repeatedly extracts independent vertices while controlling all lower-order degrees created by the process. After an initial top-layer cleaning, we run a trace nibble. Since the residual hypergraph contains traces of all sizes $2,\ldots,r+1$, we track the maximum degrees in every layer. A binomial-type recurrence for this degree profile yields the stated leading constant.

Boolean-Narayana numbers

2026-06-16T17:01:03Z

We introduce a refinement of Boolean-Catalan numbers and call them Boolean-Narayana numbers. We provide an explicit formula for these numbers, and prove unimodality, log-concavity, and real-roots-only results for their sequences. We also prove a three-term recurrence relation for their generating polynomials.