arXiv++ Combinatorics

Given a finite family of combinatorial objects with a total order, ranking asks for the position of a given object, and unranking asks for the object occupying a given position. Both provide algorithmic access to families too large to enumerate. Kagey gave a polynomial-time algorithm for several position-restricted families and left open the case of $\{-1,1\}$-avoiding permutations. We show that when $|S| = 2$, the graph of forbidden squares is $2$-regular, a disjoint union of cycles, and that fixing a prefix leaves only paths and untouched cycles. This yields polynomial-time prefix counting, ranking and unranking for every two-element set of offsets, covering $\{-1,1\}$. The same structure gives a short proof that the number of $\{-1,1\}$-avoiding permutations equals the $n$-th ménage number for odd $n$ and exceeds it by $2$ for even $n$, proving a conjecture recorded in the OEIS entry A354152.

Brooks' Theorem is a foundational result in graph coloring: if a graph is connected, not a clique, and has maximum degree $Δ\geq 3$, then it admits a proper $Δ$-coloring. In this paper, we give a new proof of a much stronger result: every such graph admits exponentially many proper $Δ$-colorings. Exponential lower bounds have been obtained previously by applying the Combinatorial Nullstellensatz. In contrast, our proof is via a surprisingly simple and constructive analysis of a textbook greedy coloring algorithm. The entire argument is accessible to non-specialists. We extend our techniques to provide quantitative lower bounds on the number of colorings in several more general settings, namely $Δ$-length list coloring, degree-length list coloring (degree-choosability), and degenerate partitioning. In the latter setting, one is asked to partition the vertices such that each partite set induces a subgraph of bounded degeneracy. In contrast to the other coloring variants considered, no clean Brooks-type characterization is possible, since it is known that for some combinations of parameters determining the existence of even one valid partition is NP-hard. We give a new reduction which significantly extends the parameter regime for which determining the existence of a valid partition is NP-hard. Finally, we give a new proof of the classic degree-choosability theorem, generalizing the techniques behind a recent proof of Brooks' Theorem.

Let $G$ be a finite simple graph on the vertex set $[n]$, and let $Γ(G)$ be the Cayley graph of the symmetric group $S_n$ generated by the transpositions corresponding to the edges of $G$. We study the inverse spectral problem for the assignment $G\mapsto Γ(G)$ through the group-algebra operator $A_G=\sum_{\{i,j\}\in E(G)}(ij)$ and its regular spectral moments $M_k(G)=\operatorname{tr}(A_G^k)$. The moments admit two all-order forms: a universal support expansion in non-induced subgraph counts of $G$, and a representation-theoretic expansion over the irreducible representations of $S_n$. We compute the first nontrivial moments through order six. In particular, the fourth moment already contains the Coxeter triangle relation and determines the signed local invariant $6N_{K_3}(G)-N_{P_3}(G)$, rather than $N_{P_3}(G)$ alone. Consequently, for triangle-free graphs the spectrum determines the second moment of the degree sequence. We also give a simplified sixth-moment formula for triangle-free graphs, showing that in this class the spectrum determines $5N_{K_{1,3}}(G)+2N_{P_4}(G)+12N_{C_4}(G)$. Further structural consequences include bipartiteness and spectral symmetry of $Γ(G)$, a precise connectedness test, and the identification of the standard irreducible component with the shifted graph Laplacian $mI-L_G$.

Let $M$ be a binary matroid of rank $r$ with no $F_7$-minor, and let $B_M^\star$ denote the maximum of its basis-generating polynomial over nonnegative weights of total mass $r$. We prove the sharp inequality $B_M^\star\leq 2^r/(r+1)$, with equality holding if and only if the nonloop simplification of $M$ is $M(K_{r+1})$. Binary matroids with no $F_7$-minor also form the largest minor-closed class of matroids on which this inequality holds.

The cardinalities of Kiselman's semigroups $K_n$ are known to grow double exponentially in $n$: the sequence $2^{-n/2}\log_2|K_n|$ converges along the even and odd $n$ subsequences to positive limits $c_{\mathrm{even}}$ and $c_{\mathrm{odd}}$ that appear to coincide. In this paper we prove that they are indeed distinct. Since Kiselman's semigroups are $\mathcal{L}$-trivial, the suffix relation defines a partial order on $K_n$. We introduce the \emph{Kiselman transform} $\mathsf{Kis}(P)$ of a poset $P$, a construction recovering the poset associated with $K_{n+1}$ from that associated with $K_n$. Counting strictly increasing chains in $P$ and $\mathsf{Kis}(P)$ yields a linear recurrence governed by a symmetric infinite matrix with explicit binomial entries. This can be used towards efficiently computing $|K_n|$, allowing the values listed in OEIS sequence A125625 to be extended beyond $n=14$. A generating functions analysis gives formulas for the above asymptotic limits, together with rigorous numerical bounds establishing that \[ c_{\mathrm{even}} - c_{\mathrm{odd}} = 1.9945066605\ldots\times10^{-6} \]

For a graph $G$, we investigate sufficient degree conditions under which either $G$ or its complement $\overline{G}$ is $k$-connected. Motivated by a theorem of Hellwig and Volkmann, we introduce the notion of complement connectivity admissible pairs and define the parameter $\mathcal{C}(k)$ as the minimum degree threshold guaranteeing that either $G$ or $\overline{G}$ is $k$-connected whenever $δ(G)\ge\mathcal{C}(k)$ and $Δ(G)\le |V(G)|-1-\mathcal{C}(k)$. We prove that $\mathcal{C}(k)=2k-2$ for every $k\ge2$, thereby determining the exact degree threshold. As an application, we derive a Nordhaus--Gaddum type product condition, showing that for $n\ge4k-5$, the condition $δ(G)δ(\overline{G}) \ge (2k-3)(n-2k+2)$ guarantees that either $G$ or $\overline{G}$ is $k$-connected. Finally, we show that no analogous product condition depending only on $k$ can exist.

Let $Φ$ be an irreducible root system normalized so that long roots have length $\sqrt{2}$, and let $μ\leqλ$ be dominant weights. We associate to $(Φ,μ,λ)$ the convex polytope $$P^Φ_{μ,λ} = (μ+C)\cap(λ-C)\cap(\overline{D}-ρ),$$ where $C=\mathbb{R}_{\geq 0}Φ^+$ and $\overline{D}$ is the closed dominant Weyl chamber. We prove that if $P^Φ_{μ,λ}$ and $P^{Φ'}_{μ',λ'}$ are isometric, then $$K^Φ_{λμ}(q)=K^{Φ'}_{λ'μ'}(q),$$ where $K^Φ_{λμ}(q)$ is Lusztig's $q$-analogue of the $μ$-weight multiplicity in the irreducible highest-weight representation $V(λ)$, often called the generalized Kostka-Foulkes polynomial. Moreover, we construct the polynomial directly from the metric shape of the polytope, and we classify when two such polytopes are isometric. Such coincidences are abundant and can occur in different Dynkin types, and in different Dynkin families. By the Lusztig-Kato theorem, the main theorem gives a metric analogue, in the spherical setting, of the combinatorial invariance conjecture for Kazhdan-Lusztig polynomials.

Under the conditional framework breaking the longstanding O(n log n) integer multiplication barrier (originating from OpenAI Preprint #109), the asymptotic time complexity exponent T(n) = O(n (log n)^{1-κ}) is governed by bounding the second moment E[X^2] < 1 of recursive branching processes over trilinear tensor carrier graphs. In this work, we present a constructive combinatorial optimization over the alternating carrier bipartite matching graphs of the Schönhage trilinear tensor decomposition at dimensions h=23 and h=25. Through an alternating augmenting path search, we uncover a non-trivial cluster-unlocking cascade that eliminates 185 carrier roles (95 roles in h=23 and 90 roles in h=25), reducing the global physical wire width by 377,890 wires from the reviewed baseline W = 177,284,805 down to W = 176,906,915. Evaluated over the exact 10^{-14} rational grid, this wire reduction certifies an improved second-moment coefficient AB = 5,164,059 / 125,000,000,000 and establishes the sharpened conditional exponent κ= 826,215,307 / 20,000,000,000,000 \approx 4.131076535 \times 10^{-5}, strictly surpassing the preceding record on this architecture (κ\approx 4.123864 \times 10^{-5}). All 47 polynomial constraints and 7 rational security margins are audited in exact Q-arithmetic with zero floating-point error, and the fundamental wire reduction identity is formally verified in the Lean 4 interactive theorem prover without unproven axioms.

Self-assembled monolayers (SAMs), formed by the adsorption of a monomolecular layer of adsorbate onto a surface, have emerged as leading candidates for plat- forms for electrochemical biosensors. In order to characterize the working age of a SAM-based biosensor, it is necessary to understand the long-term degradation of the monolayer, with particular emphasis on the intermolecular forces present in the self-assembly process. In this work, discrete- and continuous-time proba- bilistic cellular automaton (PCA) models for the degradation of SAMs involving adsorbate-adsorbate interactions are proposed in which adsorbate molecules desorb at a rate dependent only on the number of adsorbed neighbors. Impor- tantly, we make no assumptions on the relationship between degradation rate and adsorbed neighbors. Using techniques from generating function theory and complex analysis, the expected degradation curve is solved for explicitly in one dimension and shown to be a sigmoid curve related to the Gompertz function.

By the Strong Perfect Graph Theorem, every graph whose chromatic number exceeds its clique number contains an odd hole or an odd antihole. We investigate the structure of odd antiholes in critical graphs with fixed maximum degree. We prove that if $G$ is a $k$-critical graph with maximum degree $Δ$ then every odd antihole in $G$ has length at most $2(Δ-k)+7$, and conjecture that, in the odd-hole-free setting, equality forces the graph itself to be the corresponding odd antihole. We verify this extremal characterization when $Δ\geq 2k-5$, extending recent results for $Δ=k$, and construct $k$-critical odd-hole-free graphs showing that the next possible odd antihole length $2(Δ-k)+5$ below the extremal bound can occur. Our proofs use a list-coloring theorem for graphs on $2\ell-1$ vertices whose complements are hypomatchable. This motivates the conjecture that every odd antihole $\overline{C_{2\ell-1}}$ is strongly $\ell$-chromatic-choosable; we show that this conjecture would imply the full extremal characterization. We also obtain degree and attachment restrictions for odd antiholes in critical graphs.

A digraph $D = (V,E)$ is 3-transitive (respectively, 3-quasi-transitive) if whenever $(u,v,w,z)$ is a directed path of length 3, $(u,z) \in E$ (respectively, $(u,z) \in E$ or $(z,u) \in E$). These digraphs extend the concepts of transitive and quasi-transitive digraphs, respectively. For 3-transitive and 3-quasi-transitive digraphs, only the strong case has been characterized. In this paper, we introduce the notion of semi-acyclic digraphs and use it to describe completely the structure of 3-transitive and 3-quasi-transitive digraphs. As an application of this type of structure description, we prove that the path partition conjecture holds for the class of extended semi-acyclic digraphs, which generalizes two previously known results on the conjecture.

We present a proof of the two-token graph reconstruction conjecture. Every finite simple graph $G,H$ of order at least three, $F_2(G) \cong F_2(H)$ if and only if $G \cong H$. We also classify the automorphism groups of two-token graphs whose connected roots have order at least five. Combining these results, we show that, for connected graphs $G,H$ of order at least five, every isomorphism $ϕ:F_2(G)\to F_2(H)$ admits a factorization $ϕ=η\circσ^{(2)}$, where $σ^{(2)}$ is induced by a graph isomorphism $σ:G\to H$, and $η\in \operatorname{Aut}(F_2(H))$ is a product of twin-cut switches or Cartesian exchanges.

In this paper we examine the special class of bipartition complete matroids, which includes free products and principal sums of matroids (Crapo and Schmitt, 2005; Bonin and Kung, 2015). A matroid $\mathcal{M}_{SQ}$ on $S \uplus Q$ is said to be $\{S,Q\}$--complete iff whenever $b^1_S \uplus b^1_Q, \, b^1_S \uplus b^2_Q,$ and $b^2_S \uplus b^1_Q$ are bases of $\mathcal{M}_{SQ},$ we also have $b^2_S \uplus b^2_Q$ as a base of $\mathcal{M}_{SQ}.$ We use the linking operation $\mathcal{M}_{SP} \leftrightarrow_{\mathcal{M}} \mathcal{M}_{PQ} :\equiv (\mathcal{M}_{SP} \vee \mathcal{M}_{PQ}) \times (S \uplus Q)$ (Theja and Narayanan, 2014) for this study. We construct the $\{S, Q\}$--augmentation of an arbitrary matroid and show that this augmentation is again a matroid, that the dual of the augmentation is the augmentation of the dual matroid and that the $\{S, Q\}$--augmentation of an $\{S, Q\}$--complete matroid leaves it unchanged. We also show that bipartition completeness is stable under minors in the appropriate bipartitioned sense. Finally, we show that free products and principal sums of matroids $\mathcal{M}_{S},\mathcal{M}_{Q}$ are $\{S, Q\}$--complete and give explicit minimal decompositions for them.

An $(r,z,g)$-mixed cage is a mixed graph that is $r$-regular in edges, $z$-regular in arcs, of girth $g$ and of minimum order $n=n(r,z,g)$. We give a general lower bound for $n(r,z,g)$. In the case $g=3$, we determine the exact value $n(r,z,3)=r+2z+1$. For $g=4$ we give two improved lower bounds and we determine the exact value $n(r,z,4)=2r+4z$ for $r\geq 2z-2$. We also present computational results, obtaining mixed cages and computational lower bounds by means of exhaustive backtracking searches with symmetry reductions. Moreover, we give an upper bound for $n(1,z,g)$ that matches all our computed values.

The $(0,x,1,2)$-hiccup sequence starts at $x$ and increases by 1 when the current index has already appeared as a value, and by 2 otherwise. We prove directly that for $x\geq3$ the gaps between its missing values are $1,2,3,\ldots$, each repeated $x-2$ times, and we derive closed formulas, an explicit error bound, and a generating function in terms of Ramanujan's theta functions. The counting functions of the complements satisfy nested recurrences. The sequences of missing values are the partial complements of polygonal numbers. In particular, the $(x-2)$-fold composition of the enumeration of the positive integers that are not $x$-gonal is the hiccup sequence minus 1. We extend the nested recurrence and a tree interpretation to every miss increment $z\geq2$ and every initial value $x\geq2$. Further interpretations involve polyomino vertices, monochromatic pairs, and, by a theorem of Bickle, Ramsey core numbers.

Two graphs are degree similar if their adjacency matrices and their degree matrices are simultaneously similar, a notion recently introduced by Godsil and Sun. We extend it to signed graphs in two ways, degree similarity and net-degree similarity, according to whether the degree or the net-degree matrix is used. We prove that signed trees are determined by their degree similarity class, but not by their net-degree similarity class. We then develop constructions of (net-)degree similar signed graphs, based on a signed version of Godsil--McKay switching, on partial transposition and on block extensions. As a byproduct, we obtain infinite families both of pairs of net-degree similar unicyclic signed graphs with non-isomorphic underlying graphs, and of unicyclic signed graphs, not necessarily regular, which are not determined by their degree similarity class. This settles the net-degree version of a problem of Godsil and Sun on unicyclic graphs.

Using spectral and polynomial methods, we show several sharp spectral bounds for the clique and chromatic numbers of graph powers that only use spectral information from the original graph. In particular, we strengthen earlier spectral-radius estimates to obtain an asymptotically sharp colouring bound for general graph powers, and prove a sharp bound for powers of line graphs with a complete characterisation of equality. We also develop polynomial methods yielding upper and lower bounds for clique numbers of graph powers. Regarding the connection between the clique and coloring parameters of graph powers, we propose a spectral analogue of Wegner's conjecture, determine the extremal values for graph squares, and establish the conjecture for all powers when the spectral-radius bound is sufficiently small. Finally, we connect our spectral polynomial method with coding theory: we prove that for distance-regular graphs, optimisation over the adjacency algebra recovers Delsarte's linear programming bound for anticodes.

An $n$-vertex graph $G$ is $(ρ, d)$-dense if for all $U \subseteq V(G)$ of size at least $ρn$, the induced subgraph $G[U]$ contains at least $\frac{d}{2}|U|^2$ edges. In 2010, partly motivated by the theory of quasirandomness, Kohayakawa, Nagle, Rödl, and Schacht conjectured that, for any fixed graph $F$, the number of homomorphic copies of $F$ in a given $n$-vertex $(o(1),d)$-dense graph is at least $(1-o(1))d^{e(F)}n^{v(F)}$. Despite considerable effort, only a few graphs are known to satisfy the conjecture. We find a new broad class of graphs that satisfy the conjecture, including cographs.

Abstract polytopes and hypertopes are thin and residually-connected incidence geometries or, equivalently, chamber systems. Their degree of regularity is understood by looking at the action of their automorphism group on the set of their chambers. When this action has only one orbit, they are called regular. In this article, we are interested in polytopes and hypertopes with exactly two orbits on their chambers. Let $I = \{1,2,\ldots,n\}$. For any $J\subsetneq I$ with $|I| \geq 3$, we show that there exists a class $2_J$ two-orbit hypertope whose diagram is any graph on $|I|$ vertices, with edges all labeled by $\infty$. In order to do so, we first establish a general framework for constructing hypertopes as quotient of chamber systems, and then exploit the machinery of acylindrically hyperbolic groups for showing that this framework can be used to create two-orbit polytopes and hypertopes of class $2_J$. Note that all polytopes and hypertopes constructed in this paper are infinite.

We prove optimal dual Furstenberg estimates for Frostman and Katz--Tao configurations for which the shadings are not locally concentrated near pencils. The starting point is the sticky estimate of Orponen and Shmerkin in a companion paper. We deduce restricted projection theorems in the plane and in higher dimensions. In particular, Ahlfors-regular measures on the circle satisfy a Marstrand-type projection theorem. Applications include restricted projections to surfaces in the $\mathbb{G}(4,2)$ Grassmannian, pinned distances, discretized sum-product, and a new proof of the dimension formula for planar self-affine sets.

We introduce spread-out measures, a notion of local non-concentration near pencils for measures on Grassmannians. We establish an optimal $δ$-discretized dual Furstenberg estimate for ``sticky spread-out'' shadings. A simple-to-state corollary is the following. Assume that $ν$ is an Ahlfors $s$-regular measure on $\mathbb{G}(2,1)$ with $s > 0$. Let $E \subset \mathbb{R}^{2}$ be a Borel set with equal Hausdorff and packing dimension. Then, $\dim_{\mathrm{H}} Π_{V}(E) = \min\{\dim_{\mathrm{H}} E,1\} \quad \text{for $ν$-a.e. } V \in S^1$. The general $δ$-discretized estimate for ``sticky spread out'' configurations here is the starting point for a more general theorem in the companion paper of Cohen, Shmerkin, Wang and Zakharov, where the ``stickiness'' hypothesis is removed. For instance, the assumption of equal Hausdorff and packing dimension in the result stated above will be dispensed with in the companion paper.

We apply the generalized monoid of words and logarithmic-prefix functionals of \cite{C1} to the regularization of the divergent product \[ P_ω=\prod_{n=1}^{\infty} n^{(-1)^{ω(n)}}, \] where \(ω(n)\) is the number of distinct prime divisors of \(n\). The associated Dirichlet series \(D_ω(s)=\sum_{n\ge1}(-1)^{ω(n)}n^{-s}\) has a natural boundary at \(\Re(s)=0\), as established by Meretov (1987) and recovered here as a special case of the Estermann--Dahlquist theory of Euler products, which makes zeta regularization impossible: the derivative \(D_ω'(0)\) does not exist. This product therefore lies completely beyond the reach of classical regularization methods. We construct the canonical net encoding the sign sequence, define the logarithmic-prefix functional with exponent \(α=2\), and extract a finite value through the weighted evaluation functional of the monoid framework. The evaluation functional is shown to converge absolutely, and this convergence is unconditional: it follows from the classical zero-free region of \(ζ(s)\) (de la Vallée Poussin), which yields the effective bound \(T_ω(x)=O(x\,e^{-c\sqrt{\log x}})\) for some \(c>0\). Numerical computation up to \(N=10^7\) gives the regularized value \[ P_{ω,\mathrm{ren}}\approx 0.7731, \] a new constant of arithmetic origin that cannot be obtained by any classical summation method. We also compute the second derivative of the Dirichlet series at \(s=1\), \[ D_ω''(1)=8\,C_2\ln 2, \] where \(C_2\) is the Hardy--Littlewood twin prime constant, which provides an unconditional analytical link to the arithmetic structure of the sequence \((-1)^{ω(n)}\). A self-contained proof of the natural boundary, based on the Estermann--Dahlquist theorem, is given in Appendix~A.

Chromatic villainy measures the largest number of vertices that must change color to repair a rearrangement of an optimal coloring while preserving every color multiplicity. Weak villainy allows different multiplicities in the repair. On the odd cycle $C_{2r+1}$, we determine the largest repair distance from arbitrary color assignments with a prescribed color-count vector (profile) $\mathbf m$ to proper colorings with any realizable target profile $\mathbf p$: it equals $2r+1-\sum_X\min\{p_X,\lceil m_X/2\rceil\}$. In particular, every feasible profile $(a,b,c)$ has ordinary and weak repair radius $\lfloor a/2\rfloor+\lfloor b/2\rfloor+\lfloor c/2\rfloor$, and $B(C_{2r+1})=r$ for $r\ge2$, answering a question of Clark et al. For arbitrary complete multipartite graphs, we give an arithmetic formula for ordinary villainy with at most $k^2$ candidates and an exact finite formula for weak villainy, where $k$ is the number of parts. Both values are fixed-parameter tractable in $k$ for binary-encoded part sizes. We also determine the maximum of each parameter among all $n$-vertex $k$-chromatic graphs. For $k\ge3$, the ordinary maximum is $\min\{n,4(n-k)\}$, except when $n=4(n-k)-1$ or $(n,k)\in\{(5,3),(7,3)\}$, when it is $n-1$. For $k\ge2$, the weak maximum is $n-\max\{\lceil n/k\rceil,2k-n\}-\varepsilon$, where $\varepsilon\in\{0,1\}$ is determined explicitly by $n$ and $k$. Both extrema are attained by complete multipartite graphs, and a weak extremizer needs at most three distinct part sizes.

Chromatic villainy is the maximum, over rearrangements of optimal graph colorings, of the minimum Hamming distance to a proper coloring with the same color multiplicities. Weak villainy allows the repair to change these multiplicities. We give exact composition laws for disjoint unions and determine the eventual growth under repetition. Write $mG$ for the disjoint union of $m$ copies of $G$. For every graph $G$, with $k=χ(G)$, weak villainy satisfies $B_{\mathrm w}(mG)=mF_k(G)$ whenever $k\mid m$, where $F_k(G)$ is the maximum distance to a proper $k$-coloring over all assignments of $k$ color labels to vertices. Its bounded defect from $mF_k(G)$ is eventually periodic; we give an explicit stabilization bound and identify the least period, which divides $k$. For ordinary villainy, we obtain a computable rational slope $Λ(G)\ge F_k(G)$ such that $B(mG)=mΛ(G)+O_G(1)$, where the error is bounded independently of $m$ and eventually periodic, with a computable period and threshold. Consequently the difference between the two values is bounded exactly when $Λ(G)=F_k(G)$, and otherwise grows linearly. The slope is determined by a finite optimization using at most $k$ source assignments. We also answer the unrestricted superadditivity questions negatively: for every $C>0$, a connected graph can lose more than $C$ in weak villainy after union with a triangle, and some connected $3$-chromatic graph $G$ satisfies $B(G\sqcup G)<2B(G)-C$. Finally, both exact values on an $n$-vertex graph can be computed in time $f(B_{\mathrm w}(G))(n+1)^{O(1)}$, without either value being supplied. Threshold recognition is fixed-parameter tractable as well.

We continue the systematic study initiated in arXiv:2602.05185 of the relationship between the spectral theory and descriptive combinatorics of bounded-degree Borel pmp graphs, particularly in the non-regular setting. We first adapt a classical result of Nikiforov to give a new spectral lower bound on the approximate measurable chromatic number. For certain non-regular graphs, this bound improves on the approximate measurable version of Hoffman's classical bound established in arXiv:2602.05185. Next, we strengthen a characterization in arXiv:2602.05185 of approximate measurable bipartiteness in terms of the spectrum of the adjacency operator by generalizing to the case of non-regular graphs. Finally, we introduce the measurable domination number and adapt several classical results of Lu, Liu, and Tian to give a bound on the spectral gap of the Laplacian operator in terms of the measurable domination number.

A permutation is $n$-universal if it contains every permutation of length $n$ as a pattern. We prove that a uniformly random permutation of length $32n^2$ is $n$-universal with probability at least $1-\exp(-c n/\log n)$, for an absolute constant $c>0$ and all sufficiently large $n$. This removes a $\log\log n$ factor from an earlier result of He and Kwan~\cite{He-Kwan} and resolves an open problem of Alon~\cite{Alon2016}. The proof was found by GPT-6 Pro.

In a Latin square, every row can be interpreted as a permutation, and therefore has a parity (even or odd). We prove that in a uniformly random $n\times n$ Latin square, the probability that all rows are even is of the form $2^{-n+o(n)}$. This fills a gap left by recent work of Kwan, Petrova and Sawhney: they proved that the row parities behave like a sequence of independent coin flips in a variety of different senses, but they were not able to lower-bound the all-even probability, as their approach had a small number of "exceptional rows" whose parities they could not control. In fact, we prove a more general theorem on the probability of any possible prescription of row parities, column parities and symbol parities. Our approach extends the ideas of Kwan, Petrova and Sawhney, introducing a new way to "bootstrap" intercalate switchings to control more complex switching operations.

The DP color function $P_{DP}(\mathcal{H}, k)$ of a hypergraph $\mathcal{H}$ is defined as the minimum possible value of $P_{DP}(\mathcal{H}, \mathcal{F})$ taken over all $k$-fold covers $\mathcal{F}$ of $\mathcal{H}$. It serves as an extension of the classical chromatic polynomial. In this paper, we investigate the DP color function for two constructions: the join of a hypergraph with a complete graph and vertex-gluings of certain hypergraphs. Both constructions extend some results of Becker et al.

We prove that the dimension of the deformation cone of any polytope combinatorially equivalent to a 2-cubical zonotope is bounded above by the number of generators of the zonotope. This bound is tight, and we show that it cannot be improved to an identity. We further extend our results to any 2-cubical polytope whose normal fan is combinatorially isomorphic to a pseudohyperplane arrangement, but we show that it cannot be extended to arbitrary 2-cubical polytopes.

Given a graph $G$, a set $W$ of vertices of $G$ is a resolving set if, for any pair of vertices $z_1$ and $z_2$ of $G$, there is a vertex $w\in W$ such that $d(w,z_1)\ne d(w,z_2)$, where $d(u,v)$ denotes the length of a shortest path between the vertices $u$ and $v$. The metric dimension of a graph $G$, $β(G)$, is the minimum cardinality of a resolving set of $G$. A resolving set $W$ is fault-tolerant if $W\setminus \{w\}$ is a resolving set for any $w\in W$. The fault-tolerant metric dimension of a graph $G$, denoted by $β'(G)$, is the minimum cardinality of a fault-tolerant resolving set of $G$. In this paper, we study the fault-tolerant metric dimension problem in maximal outerplanar graphs. In particular, we show that there are exactly two maximal outerplanar graphs with $β'(G)=3$. We also show that $4\le β'(G) \le 6$ for any maximal outerplanar graph $G$ of order at least 7 and metric dimension 2. Moreover, we establish the upper bound $β'(G) \le \left\lceil \frac{2n}{3} \right\rceil$ for maximal outerplanar graphs $G$ of order $n\ge 5$, by building in linear time a fault-tolerant resolving set of cardinality $\left\lceil \frac{2n}{3} \right\rceil$.

This work extends the study of mobile resolvability in connected graphs by introducing completely mobile resolving sets. As with mobile resolving sets, we consider stationing a collection of robots at the vertices in a resolving set of a graph. Robots may move one at a time to any adjacent vertex as long as set of occupied vertices remains a resolving set. In this new variant, we ask that every robot can traverse every vertex in the graph through a sequence of permitted moves. Graphs possessing at least one completely mobile resolving set are termed mobile-resolvable. We completely characterise the non-mobile-resolvable graphs as paths of order at least three and subdivided stars with three or more leaves and at most two subdivided edges. For trees, we explicitly determine the completely mobile metric dimension, showing that it exceeds the classical metric dimension by one for most mobile-resolvable trees, and by two for certain subdivided stars. Furthermore, we evaluate this parameter across fundamental graph classes-including cycles, complete bipartite graphs, grid graphs, and circulant graphs.

Brambles of constant congestion in directed graphs have interesting structural and algorithmic applications, and it is desirable to find the smallest function $f_c(k)$ such that if a digraph has directed treewidth at least $f_c(k)$, then it contains a bramble of size at least $k$ and congestion at most $c$. By the Directed Grid Theorem of Kawarabayashi and Kreutzer [STOC 2015], such a function $f_c(k)$ exists for every value $c \geq 2$ of the congestion. However, even using the recent improvements due to Hatzel et al. [FOCS 2024], the resulting function is a power tower of height $22$. Recently, Masařík et al. [SIAM J. Discrete Math. 2022] proved that, for congestion $8$, the function $f_8(k)$ can be made polynomial; more precisely, they showed that $f_8(k) = \mathcal{O}(k^{48} \cdot \log^{13} k)$. They asked whether it is possible to decrease the congestion, ideally to $2$, even at the cost of a higher polynomial function. In this work we answer their question affirmatively with the best possible value of the congestion, by proving that $f_2(k) = \mathcal{O}(k^{96}\cdot \log^{23} k)$. We also obtain smaller polynomials for higher congestion, namely $f_4(k) = \mathcal{O}(k^{72} \cdot \log^{21} k)$ and $f_6(k) = \mathcal{O}(k^{66} \cdot \log^{18} k)$. Our results are inspired by the proof for congestion $8$, which we improve by introducing walkages. Walkages allow us to avoid technicalities of the original proof by translating ideas due to Reed and Wood [Eur. J. Comb. 2012] that work for undirected graphs to the directed setting. Our proofs are constructive and naturally yield polynomial-time algorithms to find the brambles assuming a certificate for large directed treewidth is given. Moreover, we discuss algorithmic applications of our results for the Directed Disjoint Paths with Congestion problem, and to half-integral packings of subgraphs with large directed treewidth.

Graph matrices that combine structural and metric information have attracted considerable attention in spectral graph theory. In this paper, we introduce the \emph{Degree--Adjacency--Diametrical (DAD) matrix} of a connected graph $G$. The DAD matrix is defined by \[ (DAD(G))_{ij}= \begin{cases} d(v_i), & \text{if } i=j, 1, & \text{if } v_i\sim v_j, \operatorname{diam}(G), & \text{if } d(v_i,v_j)=\operatorname{diam}(G), 0, & \text{otherwise}, \end{cases} \] where $d(v_i)$ denotes the degree of the vertex $v_i$. We establish fundamental spectral properties of the DAD matrix by deriving trace identities, characteristic polynomials, and spectra for several classes of graphs. Furthermore, we obtain a spectral expression for the Wiener index of graphs with diameter two, derive upper bounds for the largest DAD eigenvalue, and establish lower bounds for the DAD energy. Explicit spectral characterizations are also obtained for complete multipartite graphs. The proposed matrix provides a unified spectral framework that simultaneously incorporates degree, adjacency, and diametrical information, thereby enriching the study of graph spectra and introducing a new graph matrix for spectral graph theory.

Let $G$ be a finite abelian group, and let $c_0(G)$ be the least integer such that every regular sequence over $G$ of at least this length is an additive basis. Let $\mathsf N(G)$ be the least integer $l$ such that every weak-regular sequence $S$ over $G$ with $|S|\ge l$ has a nonempty zero-sum subsequence $T$ satisfying $\mathsf v_g(T)=\mathsf v_g(S)$ for some $g\mid S$. We obtain a common upper bound for $c_0(C_q\oplus C_{nq})$ for groups of odd order, where $q$ is prime, and prove $\mathsf N(G)\ge r(n_r-1)+1$ when $G=C_{n_1}\oplus\cdots\oplus C_{n_r}$ with $1<n_1\mid\cdots\mid n_r$. If $n\ge1$ and $p\ge3$ is the smallest prime divisor of $np$, we obtain $\mathsf N(C_p\oplus C_{np^2})=2np^2-1$ and give upper bounds for $\mathsf N(C_p\oplus C_{np})$ when $p\nmid n$. We also determine $\mathsf N(C_n)$ for two infinite families of cyclic groups arising in earlier work.

Random spanning forests provide probability models for partitions and Monte Carlo methods on graphs. In these applications, the distribution produced by a sampler determines which forest functionals can be estimated. The Aldous--Broder algorithm constructs a spanning tree from the first-entrance edges of a covering random walk. Its distribution is known, but a direct calculation requires summing over all orders in which a fixed tree can be discovered. We evaluate this sum through an identity for rooted forests and real matrices with zero row sums. Under a nonsingularity condition on the principal submatrices encountered during growth, the sum of products of harmonic extension entries equals a principal cofactor of a matrix on the roots. With one root, the sum is one. The identity gives a direct proof of the extended Aldous--Broder theorem for every finite irreducible Markov chain started at a fixed state, without assuming reversibility or bidirectional transition support. It also gives the conditional distribution of the discovery order and the law of the forest obtained by stopping after all nonroot vertices have been visited. A completion weight describes the difference between this stopped-walk law and the weight-proportional forest law, including the support restriction needed for importance correction. Numerical examples illustrate the sampling implications. The identity, the Aldous--Broder theorem, and the stopped-forest law are formalized in Lean4.

We prove that, for every fixed $d\geq 2$ and $\varepsilon>0$, the $\mathbb{F}_q$-points of a geometrically irreducible reflexive plane curve of degree $d$ over $\mathbb{F}_q$ can be covered by at most $\left(\frac{1}{d}+\varepsilon\right)q$ many $\mathbb{F}_q$-lines, provided that $q$ is sufficiently large. The same conclusion holds for $\mathbb{F}_q$-irreducible curves that are not geometrically irreducible, since they have only $O(d^2)$ $\mathbb{F}_q$-points. In particular, for sufficiently large $q$, the bound applies to every $\mathbb{F}_q$-irreducible plane curve of degree $d$ when $\operatorname{char}(\mathbb{F}_q)>d$. Our bound is asymptotically sharp. The proof combines Entin's Chebotarev density theorem for varieties over finite fields with the Pippenger--Spencer theorem on covers of nearly regular hypergraphs.

Let $b(n)$ denote the minimum number of perfect matchings in a simple brace of order $n$. De~Carvalho, Lucchesi and Murty (SIAM Journal on Discrete Mathematics, 27(2): (2013) 940-958) proved that $b(n)\ge(n-2)^2/8$ and conjectured that $b(n)=(n-2)^2/4$ for all sufficiently large even $n$. We prove this conjecture.

After centering and scaling, the length of the longest weakly increasing subsequence of a finite-state Markov random word converges to a Brownian last-passage functional with dependent components. We investigate when this functional, and more generally the limiting RSK Young-diagram shape, admits a Gaussian random-matrix representation. We introduce Hermitian Gaussian matrices with correlated diagonal entries and show that isotropy of the Brownian covariance on the trace-zero hyperplane yields such a representation. Within this natural class of Hermitian models with independent Gaussian off-diagonal entries, we prove a rigidity theorem showing that isotropy, together with equality of the off-diagonal variances, characterizes the conditional largest-eigenvalue representation. Explicit three-letter non-cyclic Markov chains demonstrate that this representation is not universal: the limiting Brownian functional may fail to have the law of the largest eigenvalue of any centered jointly Gaussian $3\times 3$ Hermitian matrix. Finally, we extend the random-matrix identification to chains with non-uniform stationary distributions and to countable state spaces.

We study quantum-assisted balanced rendezvous on the $d$-dimensional hypercube in a one-step two-agent quantum-walk framework, where the two agents move the same Hamming distance and meet at a common midpoint. The key structure is a projective $t$-sphere resolution, which governs exact finite-dimensional quantum attainment. Its scalar analogue recovers the corresponding classical characterization. We characterize finite-dimensional quantum attainment of the no-signalling benchmark, construct quantum strategies from projective sphere resolutions, and establish a rigidity theorem for optimal finite-dimensional strategies. A marked difference appears between nearest-neighbor and higher-cardinality updates: quantum advantage can occur in the former, whereas in the latter the geometry of the relevant Hamming spheres rules out exact finite-dimensional attainment of the no-signalling value. Together, these results connect quantum-walk dynamics, Hamming-sphere geometry, and quantum rendezvous within the quantum Bernoulli noises (QBN) framework.

Permutons can be thought of as "continuum limits" of permutations of diverging size, which encode information about the number of occurrences of any given finite subpattern. We construct a natural composition operation on permutons, analogous to composition of permutations, and explore its properties via a correspondence between permutons, Markov kernels, and Markov operators. We show that no extension of permutation composition to permutons can be (jointly) continuous with respect to the usual "weak" topology on permutons, but we construct a "strong" topology with respect to which composition is jointly continuous. Moreover, we characterize strong convergence of sequences of permutations of diverging size: a sequence of permutations converges strongly if and only if it converges weakly and its limit is the transpose of the graph of a measure-preserving function. The key insight behind these results is to apply functional analysis to certain operators associated to permutons; with this shift in perspective, our results have elegant and relatively "soft" proofs. As an application, we describe the permuton limit of a product of finitely many independent uniformly sampled separable permutations and give a formula for the expectation of this limit. We also show that in this case, as the number of compositions goes to infinity, the aforementioned expectation tends to the uniform permuton.

Let $F_5$ denote the $3$-uniform hypergraph with edge set $\{abc,abd,cde\}$. For a hypergraph property $\mathcal P$, let $ex_{\mathcal P}(n,F_5)$ be the maximum number of edges in an $n$-vertex $F_5$-free $3$-uniform hypergraph satisfying $\mathcal P$. Let $Δ_2(H)$ denote the maximum codegree of a pair of vertices in a $3$-uniform hypergraph $H$. We determine the exact value of $ex_{Δ_2\ge m}(n,F_5)$ when $m$ is bounded away from $n/3$ by a fixed positive proportion. More precisely, for every constant $c\in (1/3,1)$, there exists $n_0$ such that for all $n\ge n_0$ and $m=cn$, \[ ex_{Δ_2\ge m}(n,F_5) = m\left\lceil\frac{n-m}{2}\right\rceil \left\lfloor\frac{n-m}{2}\right\rfloor. \] The unique extremal hypergraph is the complete tripartite $3$-graph $K^3_{m,\lceil (n-m)/2\rceil,\lfloor (n-m)/2\rfloor}$. We also prove the corresponding exact result for the blow-ups $F_5^t$, together with stability theorems showing that every near-extremal configuration is close to the relevant tripartite construction.

For every $d\ge4$, every prescribed connectivity $r\ge d$, and every $\varepsilon>0$, we construct a simplicial $d$-polytope whose graph has connectivity exactly $r$, is nontraceable, and has toughness less than $\varepsilon$. Thus the classical theorems of Whitney (1931) and Tutte (1956), which guarantee hamiltonicity under sufficiently high connectivity in dimension three, have no higher-dimensional counterpart. This answers a question posed by Bojan Mohar in 2001 on whether sufficiently high connectivity guarantees hamiltonicity of $4$-polytopal graphs and the connectivity questions raised by Ikegami, Maezawa, and Zamfirescu in 2021. For fixed $d\ge4$, $r\ge d$, and integer $k\ge2$, the examples can be chosen to have no closed spanning walk with at most $k$ visits per vertex, no spanning tree with degrees at most $k$, and nontraceable prisms. For fixed $d$ and $r$, we obtain graphs on $n$ vertices whose longest paths and cycles contain $O(\sqrt n)$ vertices. Consequently, the family of simplicial $d$-polytopes with connectivity exactly $r$ has Grünbaum--Walther shortness coefficient zero and shortness exponent at most $1/2$.

Given an integer $k \geq 2$ and a prime $p$ large enough depending on $k$, we show that, if $A \subseteq \mathbb F^n_p$ does not contain a restricted polynomial progression of the form \begin{align*} x, x+\begin{pmatrix} y_1 \\ y_2 \\ \vdots \\ y_n \end{pmatrix}, x+\begin{pmatrix} y_1^2 \\ y_2^2 \\ \vdots \\ y_n^2 \end{pmatrix}, \ldots, x+\begin{pmatrix} y_1^{k-1} \\ y_2^{k-1} \\ \vdots \\ y_n^{k-1} \end{pmatrix}, \end{align*} where $x \in \mathbb F^n_p$ and $y \in \{0,2, 3, \ldots, M_k\}^n \backslash \{\vec{0} \}$, for some fixed $M_k$, then $A$ must have density bounded above by $\frac{C}{(\log^{(k^{O(k)})} n)^c}$, where $C, c>0$ only depend on $k$ and $p$. For $k\geq 4$, the best previously known bound came from the density Hales--Jewett theorem and was of inverse Ackermann type. The proof uses a recent inverse theorem for noise stability of Bhangale, Khot, Liu and Minzer, which arose in the study of constraint satisfaction problems. The main new ingredient is a proof that the underlying distribution counting restricted polynomial progressions does not admit a nontrivial abelian embedding.

Alon, Bishnoi, Das and Neri constructed sequences of strong blocking sets in $(k-1)$-dimension projective space $P({\bf F}_q, k-1)$ with sizes at most $Cqk$, where $k$ goes to the infinity and $C$ is a fixed positive constant not depending on $q$, in their paper published in Transactions AMS, vol. 277, pp. 5389-5410, 2024. This is equivalent to a sequence of minimal $[n_i,k_i]_q$ codes with positive rate $\frac{k_i}{n_i} \geq c$, where $k_i$ goes to the infinity and $c$ is a fixed positive constant only depending on $q$. They solved one of the main open problems on minimal codes. The Alon-Bishnoi-Das-Neri construction was based on asymptotically good sequences of algebraic geometric codes and expander graphs. However, the constant $C$ is large for small prime power $q$. In this paper, based on a simple approach using $(q-1)$-power intersecting algebraic geometric codes via concatenation to construct minimal codes, we construct explicit strong blocking sets in $(k-1)$-dimension projective space with sizes around $2(q^2-1)k$, equivalently, explicit minimal $[n,k]_q$ codes with length around $2(q^2-1)k$. This is an essential improvement on the previous result of Alon-Bishnoi-Das-Neri, when $q \leq 11$. For large $q$, strong blocking sets and minimal codes in our construction are worse than the previous construction of Alon-Bishnoi-Das-Neri. However, our approach is much simpler and does not depend on expander graphs.

For graphs $F$, $G$, and $H$, we write $F \to (G, H)$ if every red/blue edge-coloring of $F$ contains either a red copy of $G$ or a blue copy of $H$. The Ramsey number $R(G, H)$ is the smallest integer $N$ such that $K_N \to (G, H)$. Let $H := K_k + nK_h$ be the generalized book graph, and let $G := K_{p+1}(a_1, a_2, \dots, a_{p+1})$ be a complete $(p+1)$-partite graph satisfying $a_1 = 1$, $a_2 \mid (nh-1)$, and $a_i \le a_{i+1}$. In this paper, avoiding the use of Szemerédi's regularity lemma, we prove that for any fixed $h, p \ge 1$, $k \ge 2$, and sufficiently large $n$, $K_{p(nh + a_2k - 1) + 1} \setminus K_{1, nh - a_2(h-2) - 1}\to(G, H).$ This result yields the star-critical Ramsey number $r_*(G, H) = (p-1)(nh + a_2k - 1) + a_2(k + h - 2) + 1.$

An $r$-dynamic coloring of a graph $G$ is a proper vertex coloring in which every vertex $v$ sees at least $\min\{r,d(v)\}$ distinct colors in its neighborhood. The minimum number of colors in such a coloring is the $r$-dynamic chromatic number $χ_r^d(G)$. We study dynamic colorings of regular graphs. A straighforward observation shows that $χ_r^d(G)=χ(G^2)$, for any $r$-regular graph $G$. We prove that $χ_3^d(G)=χ(G^2)\le6$ for every claw-free cubic graph $G$, and the bound is sharp. For Hamiltonian claw-free cubic graphs, we improve the bound to $5$ apart from four explicit exceptions. We also determine exactly the $r$-dynamic chromatic number of the $4$-regular circulant graph $C_p(1,3)$ for each $r\in\{2,3,4\}$. In particular, the case $r=4$ determines $χ(C^2_p(1,3))$.

In the 1960s, Erdős and Gallai conjectured that the edges of every $n$-vertex graph can be decomposed into $O(n)$ cycles and edges. We prove this conjecture. Equivalently, every Eulerian graph on $n$ vertices can be decomposed into $O(n)$ cycles, which confirms Hajós' conjecture up to a constant factor.

Let $G$ be a finite and simple graph without isolated vertices. We investigate the projective dimension of the closed neighborhood hypergraph $\mathcal{N}[G]$ and its relationship with the Castelnuovo-Mumford regularity of the extended bipartite double cover $\mathfrak{B}_e(G)$ of $G$. We establish the general upper bound $\operatorname{prod-dim} (\mathcal{N}[G]) \leq \operatorname{reg}(\mathfrak{B}_e(G))$ for all graphs. Furthermore, we prove that the exact equalities $\operatorname{prod-dim} (\mathcal{N}[G]) = \operatorname{reg}(\mathfrak{B}_e(G)) =α(G)$ hold when $G$ belongs to several prominent graph classes, including König-Egerváry (contains all bipartite graphs), cographs, co-chordal, chordal and comparability graphs, where $α(G)$ denotes the independence number. Our method of proofs relies on connecting algebraic invariants to the underlying combinatorial structure of graphs through covering, domination and matching parameters, together with the use of homology tools.

In earlier work, we proved that the length polyhedron of an interval order has a unique Hilbert basis and that every element of this basis is a binary vector. The supports of these binary vectors form a set system whose intersection graph is a cocomparability graph. This leads naturally to the question of which graphs can arise as intersection graphs of such Hilbert-basis supports. We introduce Hilbert fragments, defined as induced subgraphs of these intersection graphs. Thus Hilbert fragments form a hereditary class of cocomparability graphs recording the intersection patterns among the supports of Hilbert-basis elements of interval-order length polyhedra. We characterize Hilbert fragments by an axiomatically defined vertex-labeling, called a track-labeling, and give applications illustrating how this characterization can reveal an underlying one-dimensional structure even when the Hilbert fragments themselves are not interval graphs.

The Berge conjecture [Proc. London Math. Soc., 1979] asserts that every bridgeless cubic graph can be covered by five perfect matchings. The 5-cycle double cover conjecture, proposed independently by Preissmann (1981) and Celmins (1984), asserts that every bridgeless graph admits five even subgraphs such that every edge belongs to exactly two of them. Hakobyan and Mkrtchyan [Ars Math. Contemp., 2019] proved that the 5-cycle double cover conjecture holds if and only if every bridgeless claw-free cubic graph can be covered by four perfect matchings. In this paper, we prove that the Berge conjecture holds for every bridgeless claw-free cubic graph $G$ and that $G$ has four perfect matchings covering at least $\frac{299}{315}|E(G)|$ edges.

Let $C_{k}^{(r)}$ be the $r$-uniform linear cycle on $k$ hyperedges. An $r$-graph is $C_{k}^{(r)}$-free if it contains no copy of $C_{k}^{(r)}$. Let $\operatorname{ex}_{r}(n,C_{k}^{(r)})$ denote the maximum number of hyperedges in an $n$-vertex $C_{k}^{(r)}$-free $r$-graph. Balogh, Narayanan and Skokan asked whether, for every pair of integers $r,k\ge 3$, the number of $C_k^{(r)}$-free $r$-graphs on $n$ labelled vertices is \[ 2^{(1+o(1))\operatorname{ex}_{r}(n,C_{k}^{(r)})}. \] While the analogous statement is known to fail for graphs ($r=2$), by a construction of Morris and Saxton, the general question remained open for hypergraphs. Very recently, Jiang and Longbrake answered the question affirmatively when $r\geq5$. In this paper, we completely resolve the problem by proving that the answer is affirmative for every pair of integers $r,k\geq3$. When $(r,k)\neq(3,3)$, we establish balanced supersaturation results for linear cycles and combine them with the hypergraph container method. For $(r,k)=(3,3)$, we instead decompose $3$-graphs according to their pair-codegrees, encode the subhypergraph formed by the hyperedges that contain a large codegree pair as a directed graph, and apply a multicolour entropy theorem.

We exhibit a cubic graph with total chromatic number equal to four and list total chromatic number five. This disproves the List Total Colouring Conjecture of Borodin--Kostochka--Woodall, Juvan--Mohar--Škrekovski and Hilton--Johnson from the late 1990s. ChatGPT 6 Astra Ultra discovered the counterexample with little input from the author.

We study the temporal exploration problem on temporal digraphs. We prove that a lifetime of $O(n^2)$ suffices to guarantee the existence of a temporal exploration on always-unilateral temporal digraphs. We complement this with a $Ω(n^2)$ lower bound, even in the case where each snapshot has maximum undirected degree 2; for always-strong temporal digraphs, the lower bound still holds even if the maximum undirected degree is 3. This stands in stark contrast with the undirected setting. For the large minimum degree setting, we show that a lifetime of $4n/3 - 1$ is sufficient and necessary for guaranteeing the existence of a temporal exploration on temporal digraphs where each snapshot is semicomplete. For always-strong temporal digraphs where each snapshot has minimum undirected degree at least $n - c - 1$, we prove that a lifetime of $O(cn)$ guarantees the existence of a temporal exploration, and we also prove that this is asymptotically tight. From a computational perspective, our results for temporal semicomplete digraphs also yield a polynomial-time, factor-$4/3$ algorithm for deciding if a temporal semicomplete digraph admits a temporal exploration within the first $\ell$ snapshots. We complement this showing that no polynomial-time, factor-$(4/3 - ε)$ approximation algorithm exists, even if every snapshot is a tournament, unless P$=$NP.

Csernák and Soukup introduced the stacking number of a graph: the least integer $t\ge2$ such that every configuration of $t$ pebbles can be transformed by pebbling moves into a configuration supported on one vertex. They conjectured an explicit formula for the stacking number of a tree in terms of the degrees of its vertices and their distances from a chosen root. We prove this conjecture for every finite tree with at least two vertices. We also show that whether a configuration on a tree can be stacked at a given vertex is decided exactly by the sign of an integer score built from recursive branch messages; consequently, stackability can be tested with a linear number of arithmetic operations. The proof combines this criterion with an explicit zero-score obstruction and a weighted cancellation argument for arbitrary nonstackable configurations. The main theorem and the stackability criterion are formalized in Lean 4, and the main theorem has passed Palomar mechanical verification; it is publicly registered as PALOMAR-2026-09-25-000010.

Andrews and Newman \cite{AN19, AN20} defined the minimal excludant or mex of a partition. The mex of a partition is the smallest positive integer which is absent from the partition. Baruah, Bhoria, Eyyunni and Maji \cite{BBEM} studied the sum of mex split according to parity, together with its $\ell$-th moments. Ballantine and Merca \cite{BM20} generalized mex to the least $s$-gap, which is the smallest natural number that does not occur minimum $s$ times in the partition. Baruah and Talukdar \cite{BT} conjectured a corresponding asymptotic equivalence between the sums of odd and even least $s$-gaps for every $s>1$, generalizing a theorem of Barman and Singh \cite{BS} for the classical mex. In this article, we derive exact formulas for the $\ell$-th moments of $\smex(π)$ for every fixed $\ell\ge 1$, in terms of partition functions. We give a complete proof of the conjecture of Baruah and Talukdar \cite{BT} for every natural number $s>1$. We also generalize an identity of Hopkins, Sellers and Stanton \cite{HSS} to the least $s$-gap setting.

For integers $r\ge2$ and $n\ge1$, let $$ F_{r,n}(q)=\prod_{k=1}^{n}\frac{1-q^{rk}}{1-q^k}. $$ The coefficient of $q^j$ in \(F_{r,n}(q)\) counts partitions of $j$ into parts at most $n$, each occurring at most $r-1$ times. Hughes proved that $F_{2,n}(q)=\prod_{k=1}^{n}(1+q^k)$ is unimodal for every $n\ge 1$. This result was reproved by Stanley using an algebraic approach and Odlyzko and Richmond using an analytic approach. Almkvist conjectured that $F_{r,n}(q)$ is unimodal in the following two cases: every even $r$ and every $n\ge 1$; every odd $r$ and every $n\ge 11$. He proved that this conjecture is true for $3\le r \le 20$ and $r=100,101$. In this paper, we completely settle the conjecture.

In a binary polynomial optimization problem (BPO, in short) we are maximizing a multilinear polynomial expression depending on n binary variables. This is a hard optimization class, containing many NP-hard problems, including unconstrained quadratic binary optimization. Several tractable special classes were considered in the literature, including problems with bounded tree-width (Crama, Hansen, Jaumard, 1990), Berge-acyclic problems (Buchheim, Crama, and Heck, 2019), $β$-acyclic problems (Del Pia and Di Gregorio, 2022, 2023), limited reach problems (Clausen, Crama, Lusby, Rodríguez, and Ropke, 2024), and $α$-acyclic problems with bounded rank (Del Pia and Khajavirad, 2025). We focus on a general variable elimination scheme for BPO, and develop the unique explicit multi-linear polynomial form for the equivalent BPO problem obtained after the elimination of a given subset of the variables. The obtained closed form representation of such an equivalent BPO problem allows us to characterize new special classes for which this elimination method, when applied recursively, provides a computationally efficient solution. Our approach is elementary1, algebraic, and provides efficient solution to a wide problem class that properly generalizes all of the above mentioned tractable special cases.

The independent set polytope, or stable set polytope, of a graph $G$ is the 0/1-polytope defined by the convex hull of the characteristic vectors of all independent sets of $G$. We present a simple algorithm for computing a Hamilton path on the independent set polytope of a given $n$-vertex graph $G$ with amortized delay $\mathcal{O}(n)$. The independent sets are listed such that two consecutive sets differ either in removing a vertex, or adding a vertex and removing its neighbors from the independent set, i.e., the symmetric difference between two consecutive independent sets induces a star in $G$. As applications of this result, we obtain an algorithm to compute a Hamilton path on the matching polytope of an $m$-edge graph $G$ with worst-case delay $\mathcal{O}(m)$, which lists all matchings of $G$ in such a way that the symmetric difference between two consecutive matchings is a path on at most three edges. Furthermore, we obtain an algorithm to compute a Hamilton path on the chain polytope and order polytope of an $n$-element poset $P$ with amortized delay $\mathcal{O}(n)$, which lists all antichains of $P$ or all ideals of $P$, respectively, by star exchanges. Our algorithms are derived from the generic framework proposed by Merino and Mütze (FOCS'23+SICOMP'24) for computing Hamilton paths on arbitrary 0/1-polytopes, which uses a linear optimization procedure as a black box. Our algorithms bypass solving the computationally intractable maximum weight independent set problem by a simple and purely combinatorial greedy rule.

We identify the rotational symmetry centers in the spectre tiling. We find that both 2-fold and 3-fold symmetry centers are coexisting, with two different types of 3-fold centers. Local and global symmetry operations are distinguished, and characterized in terms of substitution systems. We introduce a decomposition of the spectre tiling in terms of three metatiles named diabolo, 2-arms and 3-arms, valid at any substitution level. We propose geometrical constructions for generating patches of the spectre tiling with 2-fold and 3-fold global rotational symmetry.

We classify freeness for finite central arrangements whose underlying matroids are regular. Let $\mathcal A$ be such an arrangement over an arbitrary field, and put $M=M(\mathcal A)$. Then $\mathcal A$ is free if and only if $M$ is supersolvable; equivalently, $M$ admits a nice partition; equivalently, $M$ is the cycle matroid of a chordal simple graph. Thus, for arrangements with regular underlying matroids, freeness has a complete combinatorial classification independent of the base field. We use Seymour's decomposition theorem for regular matroids to prove that freeness forces supersolvability. We also characterize nice partitions of finite simple binary matroids: a partition is nice if and only if it is independent and no line is contained in a single block. Consequently, a finite loopless binary matroid admits a nice partition if and only if it is simple and supersolvable.

In coding theory, list recoverability is a fundamental concept which robustly captures how ``spread-out'' codewords are in a code. More formally, given a code $C \subseteq Σ^n$ and input lists $S_1, \dots, S_n \subseteq Σ$ of size at most $\ell$, list recoverability requires that there are at most $L$ codewords $c \in C$ such that $c_i \in S_i$ for at least $(1-ρ)n$ choices of $i \in [n]$. List recovery is an important question which has found applications in many areas, including complexity theory, property testing, compressed sensing, streaming algorithms, and cryptography. As our first main result, we establish a tight ``generalized singleton bound''. Formally, we show that for constant $\ell, L,ρ$ and sufficiently large alphabets $Σ$, if we define $R^*=\frac{L+1-\ell}{L}-\frac{L+1}{L}ρ$, it is possible for a $(ρ,\ell,L)$ list-recoverable code to have rate $R^*-ε$ but impossible to have rate $R^*+ε$. One direction of our result already directly generalizes and improves a weaker impossibility result due to Goldberg, Shangguan, and Tamo. For our second main result, we prove that there is a fundamental shortcoming in existing methods that aim to construct explicit, optimal list-recoverable codes. Indeed, recent work has constructed explicit codes achieving list-decoding capacity (along with other related properties) using a framework introduced in the work of Alon--Edmonds--Luby (AEL). We give a meta-analysis of such constructions by presenting an ``AEL framework'' which captures all such recent constructions in the literature. Within this framework, we show that no AEL-based code can break a recently-identified list-recovery barrier for additive and linear codes.

Recently, Merino and Mütze (FOCS'23+SICOMP'24) presented an algorithm for computing a Hamilton path on the skeleton of any 0/1-polytope ${\rm conv}(X)$, where $X\subseteq\{0,1\}^n$. The algorithm uses as a black box an algorithm for solving the classical linear optimization problem $\min\{w\cdot x\mid x\in X\}$ for some weight vector $w\in\mathbb{R}^n$. The resulting delay per visited vertex on the Hamilton path is only by a $\log n$ factor larger than the time to solve one instance of the optimization algorithm. In this paper, we make the Hamilton path algorithm simpler and faster. Namely, we obtain an amortized delay that is only by a constant factor larger than the running time of the optimization algorithm, thus removing the $\log n$ factor. As concrete results, this yields improved algorithms for generating bases and independent sets in a matroid, spanning trees, forests, matchings and maximum matchings in a graph, vertex covers, minimum vertex covers, independent sets and maximum independent sets in a bipartite graph, and antichains, maximum antichains and ideals in a poset. All of these listings correspond to Hamilton paths on the corresponding polytopes. Furthermore, we obtain an $\mathcal{O}(t_{\rm LP})$ amortized delay algorithm for the vertex enumeration problem on 0/1-polytopes $\{x\in\mathbb{R}^n\mid Ax\leq b\}$, where $A\in \mathbb{R}^{m\times n}$ and $b\in\mathbb{R}^m$, and $t_{\rm LP}$ is the time needed to solve the linear program $\min\{w\cdot x\mid Ax\leq b\}$. This improves upon the $\mathcal{O}(t_{\rm LP} \log n)$ delay algorithm of Merino and Mütze, and the previous $\mathcal{O}(t_{\rm LP}\,n)$ delay algorithm of Bussieck and Lübbecke from 1998.

We consider the set of matchings of a graph and a local change operation, called a flip, between them. In the combinatorial setting, the base graphs are either complete graphs or complete bipartite graphs, and in the geometric setting, the graphs are embedded on point sets in the plane, with the requirement that edges must be drawn as straight lines and must not cross. For base graphs with an even number of vertices, we consider perfect matchings, i.e., all vertices are matched, and for base graphs with an odd number of vertices, we consider almost-perfect matchings, i.e., all but one vertex of the graph are matched. A 2-flip between two perfect matchings exchanges two edges, and a 1-flip between two almost-perfect matchings exchanges one edge. The corresponding flip graph has the set of perfect or almost-perfect matchings as vertices, with pairs of them connected by an edge if they differ in a 2-flip or 1-flip, respectively. In this work, we provide a comprehensive picture of Hamiltonicity properties of these flip graphs. We prove that the flip graphs in the combinatorial setting are Hamilton-connected, i.e., they admit a Hamilton path between any two vertices, or, if the flip graphs are bipartite, we prove that they are Hamilton-laceable, i.e., they admit a Hamilton path between any two vertices from different partition classes. In the geometric setting, we prove that any path in them misses exponentially many vertices, in particular, they have no Hamilton paths or cycles. For points in convex position and almost-perfect matchings under 1-flips, we complement this by constructing a cycle in the flip graph that visits almost all vertices.

We generalize the fundamental bounds of Delsarte thesis (1973) on codes of given degree and designs of given strength in the new setting of Bannai et al. (2025). We assume the scheme is weakly metric in the sense of (Solé, 1989). We give upper bounds on the size of codes of given degree, and also on the size of codes with a given number of pairwise distances. Codes meeting these bounds are characterized by the identification of suitable annihilators with the degree (resp. distance) Wilson polynomial. We give two analogues of the Rao bound on the size of designs with given strength. Designs meeting that bound we call degree tight designs or distance tight design depending on the bound met. In both cases, the existence of a tight design implies a Lloyd-like condition on a suitable analogue of the Wilson polynomial. Applications to the Lee distance, mixed level orthogonal arrays, ordered orthogonal arrays, and more are given. The formal duality between codes and designs, connecting perfect codes and tight designs, is made concrete in self-dual translation schemes.

This paper introduces gluing diagrams, a combinatorial tool to construct homomorphisms between the shift pseudogroups of directed graphs and thus also their full groups of shifts. We will establish which of these diagrams produce isomorphisms. As an application, using the interpretation of Higman-Thompson groups as full groups of shifts of specific graphs, we will describe a procedure that constructs gluing diagrams that explicitly describe the isomorphisms between Higman-Thompson groups, conjectured by Higman and whose existence was proven by Pardo arXiv:1006.1759. This procedure will follow Euclid's algorithm and will allow us to lift isomorphisms to higher arity.

We show that a graph contains a large wall as a strong immersion minor if and only if the graph does not admit a tree-cut decomposition of small 'width', which is measured in terms of its adhesion and the path-likeness of its torsos.

A clique transversal in a graph is a set of vertices intersecting all maximal cliques. The problem of determining the minimum size of a clique transversal has received considerable attention in the literature. In this paper, we initiate the study of the ''upper'' variant of this parameter, the upper clique transversal number, defined as the maximum size of a minimal clique transversal. We investigate this parameter from the algorithmic and complexity points of view, with a focus on various graph classes. We show that the corresponding decision problem is NP-complete in the classes of chordal graphs, chordal bipartite graphs, cubic planar bipartite graphs, and line graphs of bipartite graphs, but solvable in linear time in the classes of split graphs, proper interval graphs, and cographs, and in polynomial time for graphs of bounded cliquewidth. We conclude the paper with a number of open questions.

We describe a fully faithful embedding of the category of axiomatic projective geometries into $\mathbb{F}_1$-modules, in the sense of Connes and Consani. In particular, the collineation group of a geometry is isomorphic to the group of automorphisms of its associated $\mathbb{F}_1$-module. Along the way, we describe a version of the classifying space construction for a broad generalization of Abelian groups which we call plasmas. Our construction subsumes Segal's existing delooping constructions for Abelian groups, commutative monoids and partial commutative monoids.

We study separable discrete convex optimization over indegree vectors of orientations of an undirected graph, focusing on the effect of imposing acyclicity. Since the extreme points of the indegree polytope are precisely the indegree vectors of acyclic orientations, this amounts to comparing optimization over its integer points with optimization over its extreme points. Over all orientations, minimizing a vertex-separable discrete convex objective is strongly polynomial-time solvable by minimum-cost flow. Over acyclic orientations, for every fixed discrete convex function shared by all vertices, we obtain a dichotomy: if the function is linear on the positive integers, the problem is solvable in linear time; otherwise exact optimization is NP-hard on connected simple graphs, and APX-hard when the function is non-negative. We also give strongly polynomial-time constant-factor approximation algorithms for broad classes of convex and concave objectives. For the $p$-power sum of indegrees, this yields a $2^p$-approximation for every fixed integer $p\geq1$, while the problem is APX-complete for every fixed integer $p\geq2$; if $p$ is part of the input, no deterministic polynomial-time $2^{p^{1-\varepsilon}}$-approximation exists for any fixed $\varepsilon>0$ unless $\mathrm{P}=\mathrm{NP}$. We further give an exact $O(2^{|V|}|V|+\operatorname{poly}(|V|,|E|))$-time dynamic program for general separable objectives, with a matching lower bound in the exponent under the Exponential Time Hypothesis. Finally, decreasingly minimal and increasingly maximal acyclic orientations need not coincide and are both NP-hard, while minimizing the maximum weighted indegree over acyclic orientations remains strongly polynomial-time solvable.

Given a weakly decreasing positive integer sequence $λ= (λ_1,\dotsc,λ_\ell)$ summing to $n$, let $χ^λ$ denote the irreducible character of the symmetric group $S_n$ indexed by $λ$. This representation has dimension $χ^λ(e)$, where $e$ is the identity element of $S_n$. Let $\mathrm{Imm}_{χ^λ}$ denote the corresponding irreducible character immanant, the function on $n \times n$ matrices $A = (a_{i,j})$ defined by $\mathrm{Imm}_{χ^λ}(A) := \sum_{w \in S_n} χ^λ(w) a_{1,w_1} \cdots a_{n,w_n}$. Merris conjectured [Linear Multilinear Algebra 14 (1983) pp. 21--35] and Heyfron proved [Linear Multilinear Algebra 24 (1988) pp. 65--78] that irreducible character immanants indexed by ``hook'' sequences $(k, 1, \dotsc, 1)$ satisfy the inequalities $\mathrm{per}(A)=\frac{\mathrm{Imm}_{χ^n}(A)}{χ^{n}(e)}\geq \frac{\mathrm{Imm}_{χ^{n-1,1}}(A)}{χ^{n-1,1}(e)}\geq \frac{\mathrm{Imm}_{χ^{ n-2,1,1}}(A)}{χ^{n-2,1,1}(e)}\geq \cdots \geq \frac{\mathrm{Imm}_{χ^{1,\dotsc,1}}(A)}{χ^{1,\dotsc,1}(e)}=\det(A)$ whenever $A$ is an $n \times n$ Hermitian positive semidefinite matrix. We prove that the same inequalities hold whenever $A$ is an $n \times n$ totally nonnegative matrix.

Webs are planar directed graphs that encode invariant vectors for tensor products of fundamental $U_q(\mathfrak{sl}_n)$-representations. For $\mathfrak{sl}_2$ and $\mathfrak{sl}_3$, web calculus is governed by effective reduction rules and well-understood reduced-web bases, but these features break down in higher rank. In this paper we develop a global combinatorial framework for untagged $\mathfrak{sl}_n$ webs, called \emph{strandings}, which organizes local labeling data into systems of colored directed paths on the web graph. Our main result is an explicit state-sum formula for the invariant vector of an untagged web as a weighted sum over its valid strandings. The usual labeling-based construction requires a choice of decomposition into elementary web pieces and a vertex-by-vertex coefficient calculation. Our global reformulation avoids both. We prove that the vectors produced by strandings are $U_q(\mathfrak{sl}_n)$-invariant, compare the untagged theory with the tagged-web framework of Cautis, Kamnitzer, and Morrison, and use this comparison to obtain a complete set of relations for untagged web graphs. We also give applications of strandings to nonvanishing results, basis constructions from tableaux, and connections with Springer-theoretic combinatorics.

Exact conditional tests for contingency tables require sampling from fibers with fixed margins. Classical Markov basis MCMC is general but often impractical: computing full Markov bases that connect all fibers of a given constraint matrix can be infeasible and the resulting chains may converge slowly, especially in sparse settings or in presence of structural zeros. We introduce a SAT-based alternative that encodes fibers as Boolean circuits which allows modern SAT samplers to generate tables randomly. We analyze the sampling bias that SAT samplers may introduce, provide diagnostics, and propose practical mitigation. We propose hybrid MCMC schemes that combine SAT proposals with local moves to ensure correct stationary distributions which do not necessarily require connectivity via local moves which is particularly beneficial in presence of structural zeros. Across benchmarks, including small and involved tables with many structural zeros where pure Markov-basis methods underperform, our methods deliver reliable conditional p-values and often outperform samplers that rely on precomputed Markov bases.

We prove a first inverse theorem for Gowers norms on all finite abelian groups that uses only nilmanifolds (rather than possibly more general nilspaces). This makes progress toward confirming the Jamneshan--Tao conjecture. The correlating function in our theorem is a projected nilsequence, obtained as the fiber-wise average of a nilsequence defined on a boundedly-larger abelian group extending the original abelian group. This result is tight in the following sense: we prove also that $k$-step projected nilsequences of bounded complexity are genuine obstructions to having small Gowers $U^{k+1}$-norm. This inverse theorem relies on a new result concerning compact finite-rank (CFR) nilspaces, which is the main contribution in this paper: every $k$-step CFR nilspace is a factor of a $k$-step nilmanifold. This new connection between the classical theory of nilmanifolds and the more recent theory of nilspaces has applications beyond arithmetic combinatorics. We illustrate this with an application in topological dynamics, by proving the following result making progress on a question of Jamneshan, Shalom and Tao: every minimal $\mathbb{Z}^ω$-system of order $k$ is a factor of an inverse limit of $\mathbb{Z}^ω$-polynomial orbit systems of order $k$, these being natural generalizations of nilsystems alternative to translational systems.

We discover a family $A$ of statistics on fillings of any given Young diagram and prove new combinatorial formulas for modified Macdonald polynomials, that is, $$\widetilde{H}_λ(X;q,t)=\sum_{σ\in T(λ)}x^σt^{maj(σ)}q^{η(σ)}$$ for each statistic $η\in A$. Building upon this new formula, we establish four compact formulas for the modified Macdonald polynomials, namely, $$\widetilde{H}_λ(X;q,t)=\sum_σd_{\varepsilon}(σ)x^σt^{maj(σ)}q^{η(σ)},$$ which are summed over all canonical or dual canonical fillings of a Young diagram, where $d_{\varepsilon}(σ)$ is a product of $q$-multinomials. Finally, the compact formulas enable us to derive four explicit expressions for the monomial expansion of modified Macdonald polynomials, one of which coincides with the formula due to Garbali and Wheeler (2020), obtained by making extensive use of the Yang-Baxter integrability approach.

Motivated by super-Yang-Mills theory on a Calabi-Yau 4-fold, Nekrasov and Piazzalunga have assigned weights to $r$-tuples of solid partitions and conjectured a formula for their weighted generating function. We define $K$-theoretic virtual invariants of Quot schemes of 0-dimensional quotients of $\mathcal{O}_{\mathbb{C}^4}^{\oplus r}$ by realizing them as zero loci of isotropic sections of orthogonal bundles on non-commutative Quot schemes. Via the Oh-Thomas localization formula, we recover Nekrasov-Piazzalunga's weights and derive their sign rule. Our proof passes through refining the $K$-theoretic invariants to sheaves and describing them via Clifford modules, which lets us show that they arise from a factorizable sequence of sheaves in the sense of Okounkov. Taking limits of the equivariant parameters, we then deduce the Nekrasov-Piazzalunga conjecture from its 3-dimensional analog.

We exhibit a new pre-Lie algebra in the framework of symplectic groupoids and, in turn, use Butcher trees to compute the Taylor series of a solution of a Hamilton-Jacobi equation on any symplectic groupoid $\mathcal{G} \rightrightarrows M.$ The impact of this new algebraic approach is twofold. On the geometric side, it yields algebraic operations to approximate Lagrangian bisections of $\mathcal{G}$ using the Butcher-Connes-Kreimer Hopf algebra and, in turn, aims at a better understanding of the group of Hamiltonian diffeomorphisms of $M.$ On the computational side, we define a new class of Poisson integrators for Hamiltonian dynamics on Poisson manifolds.

Motivated by partition regularity problems of homogeneous quadratic equations, we prove multiple recurrence and convergence results for multiplicative measure preserving actions with iterates given by rational sequences involving polynomials that factor into products of linear forms in two variables. We focus mainly on actions that are finitely generated, and the key tool in our analysis is a decomposition result for any bounded measurable function into a sum of two components, one that mimics concentration properties of pretentious multiplicative functions and another that mimics vanishing properties of aperiodic multiplicative functions. Crucial to part of our arguments are some new seminorms that are defined by a mixture of addition and multiplication of the iterates of the action, and we prove an inverse theorem that explicitly characterizes the factor that these seminorms naturally determine.

We present a new class of numerical methods for solving stochastic differential equations with additive noise on general Riemannian manifolds with high weak order of accuracy. In opposition to the popular approach with projection methods, the proposed methods are intrinsic: they only rely on geometric operations and avoid coordinates and embeddings. We provide a robust and general convergence analysis and an algebraic formalism of exotic planar Butcher series for the computation of order conditions at any high order. To illustrate the methodology, an explicit method of second weak order is introduced, and several numerical experiments confirm the theoretical findings and extend the approach for the sampling of the invariant measure of Riemannian Langevin dynamics.

It is well known that the spectral radius $ρ(T)$ of a tree $T$ with at least $3$ vertices satisfies $\frac 14ρ(T)^2+1<Δ(T)\le ρ(T)^2$, where $Δ(T)$ is the maximum degree of $T$. Let $\mathbb{P}$ denote the set of spectral radii of all non-trivial trees. We ask whether, for every $α\in \mathbb{P}\setminus \{1\}$ and every integer $r$ satisfying $\frac 14α^2+1<r\le α^2$, there exists a tree $T$ such that $Δ(T)=r$ and $ρ(T)=α$. For a positive integer $r$ and a positive real number $α$, let ${\mathscr W}_r(α)$ be the smallest subset of $[0,\infty)$ containing $α$ and closed under the following operation: if $q_1,\ldots,q_s$ are positive elements of ${\mathscr W}_r(α)$, not necessarily distinct, and $q=α-\sum_{i=1}^{s}q_i^{-1}$, then $q\in{\mathscr W}_r(α)$ whenever either $1\le s<r$ and $q\ge0$, or $s=r$ and $q=0$. We prove that $0\in {\mathscr W}_r(α)$ if and only if there exists a tree $T$ with $Δ(T)\le r$ and $ρ(T)=α$. Moreover, there exists a tree $T$ with $Δ(T)=r$ and $ρ(T)=α$ if and only if there are positive elements $q_1,\ldots,q_r\in\mathscr W_r(α)$, not necessarily distinct, satisfying $\sum_{i=1}^{r}q_i^{-1}=α$. Consequently, $\mathbb{P}=\{α\geq1:0\in {\mathscr W}_{\lfloorα^2\rfloor}(α)\}.$ As an application, we show that for integers $k,r\ge 2$, there exists a tree $T$ with $Δ(T)=r$ and $ρ(T)=\sqrt k$ if and only if $\frac 14 k+1<r\le k$.

The design of protocols for local differential privacy (or LDP) has been a topic of considerable research interest in recent years. LDP protocols utilise the randomised encoding of outcomes of an experiment using a transition probability matrix (TPM). Several authors have observed that balanced incomplete block designs (BIBDs) provide nice examples of TPMs for LDP protocols. Indeed, it has been shown that such BIBD-based LDP protocols provide optimal estimators. In this primarily expository paper, we give a detailed introduction to LDP protocols and their connections with block designs. We prove that a subclass of LDP protocols known as pure LDP protocols are equivalent to $(r,λ)$-designs (which contain balanced incomplete block designs as a special case). An unbiased estimator for an LDP scheme is a left inverse of the transition probability matrix. We show that the optimal estimators for BIBD-based TPMs are precisely those obtained from the Moore-Penrose inverse of the corresponding TPM. We also review some existing work on optimal LDP protocols in the context of pure protocols.

We study GLMY path homology of circulant digraphs through step-word complexes and infinite cyclic lifts. We first prove chain retractions for interval connection sets. For a fixed finite positive connection set $S$ containing $1$, the infinite lift yields a split exact sequence and all-degree stability over every field. We then encode the short additive relations of $S$ in a lattice lift and obtain exterior homology in arbitrarily high degrees for collision-free step sets. Under an exact Freiman admissibility condition, we classify all connection sets with three positive steps. For arbitrarily many steps, we compute rectangular additive configurations and arithmetic progressions over every field, and doubling strings in characteristic zero, including their boundary ranks.

Deltoids provide a natural framework for studying defective (partial) matchings in abelian groups, and we develop both structure and existence results in this setting. Given finite subsets $A$ and $B$ of an abelian group $G$, a matching is a bijection $f:A\to B$ such that $af(a)\notin A$ for all $a\in A$, a definition motivated by the study of canonical forms for symmetric tensors. We provide necessary and sufficient conditions for the existence of a partial matching with any prescribed defect, and then describe the minimal unavoidable defect for a pair $(A,B)$. We also define and examine a defective version of Chowla sets in the matching context. We prove a structure theorem identifying obstructions to the existence of partial matchings with small defect. Finally, within the deltoid setup, we establish max-min results on the partitioning of $A$ and $B$ into left- and right-admissible sets. Our tools mix results from transversal theory with ideas from additive number theory.