arXiv++ Combinatorics

For some integer $\ell\geq 2$, consider $m=2\ell-1$ voters, each of which has a preference ranking over $n$ alternatives. The Smith set is the smallest nonempty set of alternatives each of which defeats every alternative outside the set in a pairwise majority comparison. Under the standard benchmark impartial culture where each voter uniformly and independently chooses a random preference ranking over all alternatives, we study the asymptotic probability that the Smith set has cardinality $s$ for fixed $\ell$ and $n\to \infty$. First, we prove that the probability that the Smith set has constant cardinality $s$ goes to zero at a rate of $Θ_{\ell,s} (n^{-s(\ell-1)/\ell})$. Next, if $\min\{s,n-s\}\to\infty$, we show that this probability decays superpolynomially. Further, when $s$ and $n-s$ are both $Θ(n)$, we prove that the probability decays exponentially and determine the exact exponential base. Finally, we prove that the probability that the Smith set contains all alternatives approaches one at a rate of $Θ_\ell(n^{-(\ell-1)/\ell})$. These theorems resolve the conjectures in [Liu et al, Ann Stat 2026] under impartial culture.

A reduced word of the longest permutation $w_0\in S_m$, taken up to commutations, encodes a wiring diagram of $m$ pseudolines, and a braid move $σ_iσ_{i+1}σ_i\leftrightarrowσ_{i+1}σ_iσ_{i+1}$ flips one of its triangles. We prove that deciding whether two wiring diagrams are within a given braid-move distance is NP-complete. Equivalently, deciding flip distance is NP-complete in the higher Bruhat order $B(m,2)$, for triangle flips of marked arrangements of pseudolines, and for rhombic tilings of a $2m$-gon; this answers an open question on flip graphs of pseudoline arrangements (SODA 2024). The reduction is from Vertex Cover: for every graph $G$ we construct two wiring diagrams at braid-move distance $|D|+2\,\mathrm{VC}(G)$, where $\mathrm{VC}(G)$ is the vertex cover number of $G$ and the Hamming distance $|D|$ is the number of triples of wires whose triangles are oriented differently. The construction glues copies of a seven-wire gadget whose braid-move distance exceeds its Hamming distance by $2$; flipping either of two disjoint triangles in both diagrams removes the excess. Adding a line at infinity transfers the construction to rank-$3$ uniform oriented matroids, where two oriented matroids are adjacent in the mutation graph if their chirotopes differ in one basis; so deciding mutation distance is NP-complete in rank $3$. An iterate of Rambau's expansion of signotopes amplifies the excess and gives NP-hardness in every fixed rank $r\ge 4$. By duality we obtain the corresponding results for every fixed corank at least $3$. The same instances show that flip distance in the higher Bruhat orders $B(n,k)$ is NP-complete for every fixed $k\ge 2$.

In this paper, we provide a novel approach to limiting Heesch numbers of a specific family of tiles. In particular, we show how a certain family of three--dimensional prisms has a finite Heesch number. In so doing, we initiate a structural study of ratio $q$ tilings by two prototiles, in which, loosely speaking, one tile appears $q$ times more often than the other. The method works as follows: we take planar intersections with coronas around the prism in two perpendicular directions and compare the frequencies of the resulting prototiles in those patches. If every tiling by these prototiles has limiting ratio at least $q >1$, then sufficiently large coronas of the prism would require incompatible tile counts in the two directions. We also provide some computational results and exhibit $6$ infinite families of notched prisms that have finite Heesch numbers greater or equal to $2$. Finally, we provide some negative computational results about the non--existence of certain prisms with given Heesch numbers.

In 2007, Fomin and Zelevinsky introduced the bipartite belt, a sequence of bipartite cluster mutations whose exchange relations form a discrete dynamical system. For each Dynkin diagram, this system is periodic, as a special case of Zamolodchikov periodicity. In the associated tropical dynamics, every mutation along the belt can be naturally colored red or blue, according to which term attains the maximum in the tropical exchange relation. This gives a red-blue statistic on tropical orbits. We prove that this statistic is homomesic, i.e. that the average numbers of red and blue mutations are independent of the orbit. Moreover, the number of red mutations is given by the number of roots in the associated root system. This resolves a conjecture of the first author. In the process we introduce the Zamolodchikov fan, which is closely related to the positive tropical Grassmannian, and may be of independent interest.

We show that $\text{gr}(\text{Av}(1324))\leq 13.167248$. This is achieved by combining the approach of Bevan, Brignall, Elvey Price and Pantone using the `domino', with ideas from earlier upper bounds by Bóna using pairs of decorated words with additional restrictions. More specifically, we replace the arbitrary interleavings of Bevan et. al. with interleavings more like those of Bóna. Our method uses shuffle automata to handle the interleavings, and this method has the potential to provide better upper bounds than the one established here. To estimate how many shuffles are possible, we use two key statistics on dominoes: the number of internal points (that is, points that are neither left-to-right minima not right-to-left maxima), and the number of runs of internal points.

We study permutations $π\in S_n$ that avoid $123$ while satisfying the adjacency constraint $\lvert π_{i+1}-π_i\rvert \le m$ for some $m\in\mathbb{Z}^{+}$. We first show that every admissible permutation is localized within vertical distance $m$ of the reverse diagonal, revealing a strong global restriction imposed by the interaction between pattern avoidance and bounded adjacency. For every fixed $m$, we then construct an exact finite-state description of the family, with precisely $2^{m+1}-m-1$ realizable states. This yields an explicit transfer-matrix enumeration and, in particular, a rational generating function for every fixed $m$; consequently, the enumeration sequence satisfies an eventual constant-coefficient linear recurrence. We further identify the exponential growth rate with the spectral radius $ρ_m$ of the corresponding transfer matrix and show that $ρ_m<4$, is nondecreasing in $m$, and converges to the Catalan growth constant $4$ as $m\to\infty$. Finally, we show that the bounded-adjacency constraint breaks the ordinary length-three Wilf equivalence, and we develop algorithmic and graph-theoretic interpretations of the family, including a correspondence with constrained Hamiltonian paths in powers of the path graph.

We introduce and analyze a new model of graph burning, in which two competing fires (coloured yellow and green) ignite vertices of a given signed graph and propagate along its edges. The boolean sign of an edge determines whether a fire spreading along the edge changes colour or not. In each step, a player ignites a new vertex in a colour of their choice, while previously activated fires continue to spread. Given a signed graph $Γ$, the objective is to burn the maximum possible number of vertices in a single colour; the optimal achievable value is called the plurality number of $Γ$. We express the plurality number through Hamming distances to a binary code associated with $Γ$. In particular, the minimum plurality number over the switching class of $Γ$ equals the number of vertices minus the covering radius of this code. Under certain conditions on the signature, we determine exact values of the plurality number of signed paths. By contrast, we prove hardness results for multiple variants of the problem of determining or approximating the plurality number.

A parking function is said to have $\ell$-limited preferences if there are at most $\ell$ copies of each element in the parking function. In this paper, we define a notion of pattern avoidance for parking functions and enumerate those $2$-limited parking functions that avoid certain patterns.

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.

We construct explicit non-malleable affine extractors for every constant entropy rate, with linear output length and exponentially small error, against any fixed number of affine tamperings without fixed points. For every fixed $0<η<1$ and $t$, we also obtain entropy threshold $C_{η,t}n/\log n$, output length $\lfloor n^{1-η}\rfloor$, and error $2^{-n^{1-η}}$ against $t$ tamperings. Our extractors, as well as the directional affine extractors of Li and Zhong (CCC 2024), yield explicit Boolean functions with correlation $2^{-Ω(n)}$ against weakly read-once linear branching programs of size $2^{Ω(n)}$. For non-oblivious decision trees, we prove linear depth lower bounds for queries of each fixed degree $r\ge2$. Applying Li's sumset extractor (FOCS 2023) gives depth $Ω_δ((n/\ell)\log\ell)$ for growing locality $\ell\le n^{1-δ}$, where $0<δ<1$ is fixed. In the same range, directional affine extractors give correlation $2^{-Ω(n/\sqrt\ell)}$ against local trees of depth $c(n/\ell)\log\ell/\log\log\ell$, for a sufficiently small constant $c>0$. Our extractors derandomize the lossless lifting of Efremenko and Itsykson (STOC 2026). For every fixed $0<ξ<1$, this gives explicit polynomial-size unsatisfiable CNFs on $N$ variables whose $\mathrm{Res}(\oplus)$ refutations of resolution depth at most $N$ require size at least $2^{(1-ξ)N}$. Separately, parity substitutions give polynomial-size CNFs on $N$ variables with polynomial-size ordinary-resolution proofs for which every $\mathrm{Res}(\oplus)$ refutation of size $S$ and depth $d$ satisfies $d\log(2S)=Ω(N^2)$. This removes the $\log^2 N$ loss in the tradeoff of Itsykson, Podolskii, and Shekhovtsov (CCC 2026).

We construct near-spanning balanced antidirected trees that fail to embed in highly symmetric tournaments despite the conjectured semidegree condition being satisfied. More precisely, for every sufficiently large odd integer $n$, we exhibit a regular vertex-transitive tournament on $n$ vertices and a balanced antidirected caterpillar on $n-1$ vertices with maximum degree at most $(1+o(1))n/\log_2 n$ that is not contained in the tournament. The host satisfies the strict $k/2$ threshold in both the semidegree and pseudo-semidegree settings, where $k$ is the number of arcs of the target tree. Consequently, this gives counterexamples to the uniform sublinear-degree interpretations of Conjectures~6.8 and~7.6 in Stein's survey (2024). The order $n-1$ of the target is best possible under the strict semidegree hypothesis. We also give a six-vertex balanced antidirected double-star missing from the seven-vertex Paley tournament, and show that seven is the smallest host order for a pseudo-semidegree counterexample with this fixed double-star.

Using the equivalence of sphere order representations of posets with Minkowski space embeddings, we show that the Boolean lattice $\mathcal{B}_6$ is not a sphere order. This is the first explicit finite example of a poset that is not a sphere order.

The union-closed sets conjecture asks whether every finite union-closed family containing a nonempty set has an element contained in at least half of its members. Let $c_{\mathrm{UC}}$ denote the largest universal lower bound on this proportion. The best previously proved lower bound is due to Liu and is above $0.3823455$; his own numerical optimization suggested a stronger threshold $c_{\mathrm L}>0.382709087918735$. The main argument of this paper is to use different protocols (suitable families of probability measures) within Liu's framework. In particular, we combine the independent protocol with Liu's Example 5 to prove the conjectured bound $c_{\mathrm{UC}}\ge c_{\mathrm L}$. We then vary the parameter in Example 5 and optimize the choice of the two coefficients in the combination to obtain $c_{\mathrm{UC}}\ge 0.3828852549667978$. We also show that the inequality used in this proof cannot give a threshold larger than $0.3828852599667\ldots$.

We prove that the maximal cp-rank $p_n$ satisfies $p_n\ge n(n-3)/2$ for odd $n\ge5$ and $p_n\ge n(n-3)/2-1$ for even $n\ge6$. Together with the known upper bound $p_n\le\binom{n+1}{2}-4$, this gives $p_n=n^2/2+O(n)$.

For edge-disjoint graphs meeting along a finite boundary, we construct relative shellings of NBC faces with prescribed boundary connectivity. The construction adds paths in spanning forests to the restriction faces of auxiliary rooted-forest complexes. When every edge of the first graph precedes every edge of the second, these relative shellings combine into a shelling with consecutive connectivity blocks. The resulting nonnegative decomposition of the $h$-polynomial realizes the chromatic specialization of the Negami splitting identity. We also give path formulas for gluing graphic Orlik--Terao Gröbner bases across boundaries of size two or three, and a virtual-clique elimination formula for arbitrary boundaries. An exponential output lower bound at treewidth two distinguishes explicit basis enumeration from coefficient computation at fixed treewidth. Finally, state polytopes and their Cayley lifts describe an obstruction to linear block orders in the original coordinates and a lifted realization of these orders.

Choose a uniformly random ordering of the vertices of a finite tree and run the usual greedy maximal-independent-set algorithm. We compare the resulting law on maximal independent sets with the uniform law. We prove that exact uniformity occurs only for the one-vertex tree and the single edge. The proof is structural: a diameter endpoint exposes a pendant star, and the remaining one-pendant-leaf case is resolved by a strict injection between exact permutation fibres obtained by swapping the pendant leaf with its support vertex. Exact uniformity is therefore rigid, but it can be approached closely. For an explicit mixed-spider family $T_{k,l}$ we count the maximal independent sets and compute the exact probability of every output. With $l=2^k-k$ the total-variation bias is positive and satisfies [ b(T_{k,2^k-k})=O!\left(\frac{\sqrt{k}}{4^k}\right) =O!\left(\frac{\sqrt{\log n_k}}{n_k^2}\right), \qquad n_k=2^k+k+1. ] The theorem package has also been formalised in Lean and registered with Palomar. These records document machine-checked formal verification and the checked axiom boundary; they are not peer review or a certificate of novelty.

An edge open packing is a set of edges whose endpoints induce a disjoint union of stars. We study the problem of finding a maximum edge open packing in AT-free, chordal, and convex bipartite graphs. For AT-free graphs, we use the oriented star-conflict graph $A_G$, introduced by Das and Santra, for which $ρ_e^o(G)=α(A_G)$, and prove that $A_G$ is AT-free whenever $G$ is AT-free. Consequently, a known maximum independent set algorithm for AT-free graphs yields an $O(n^2+m^4)$-time algorithm for Maximum Edge Open Packing, where $n$ and $m$ denote the numbers of vertices and edges of $G$, respectively. For chordal graphs, we develop an $O(n^4)$-time dynamic programming algorithm over a nice tree decomposition derived from a clique tree, exploiting the structural fact that the endpoint set of an edge open packing intersects every clique in at most two vertices. Finally, for convex bipartite graphs, we obtain an $O(n^4)$-time dynamic programming algorithm based on two boundary indices that separate consecutive star components. This result extends the previously known algorithm for biconvex bipartite graphs and, in particular, provides an improved explicit running-time bound for that class.

Let $G$ be an $n$-vertex connected nonregular graph with maximum degree $Δ$ that attains the maximum spectral radius. For $3\leΔ\le n-2$, Liu and Li (2008) conjectured that $G$ has the degree sequence $(Δ,\ldots,Δ,δ)$ with $δ<Δ$ as large as possible. In this paper, we study the dense case where $Δ=n-k$ with $k\ge4$ fixed and $n$ sufficiently large. We prove that \[ d(G)= \begin{cases} (Δ,\ldots,Δ, 1), & \text{if $n$ is even and $k$ is odd};\\ (Δ,\ldots,Δ,Δ-1), & \text{if $n$ is odd and $k$ is even};\\ (Δ,\ldots,Δ,2), & \text{if $n$ and $k$ have the same parity}. \end{cases} \]

For a positive integer $n$, let $S(n)=\{σ(d): d\mid n\}$ be ordered by divisibility, and let $a(n)$ be its width. We study how much of the divisor lattice of $n$ survives under the map $d\mapsto σ(d)$. For every fixed prime-exponent pattern, the largest possible value of $a(n)$ is the width of a corresponding product of divisibility posets, and this maximum is attained infinitely often. In the squarefree case with $ω(n)=r$, every width from $1$ to $\binom{r}{\lfloor r/2\rfloor}$ occurs, again infinitely often. For repeated exponent patterns, Engel's limit theory reduces the asymptotic width problem to optimal representation variance. We show that for the divisibility poset $D_m=(\{1,\ldots,m\},\mid)$, the prime directions $2$ and $3$ already determine the exact variance. The structural reason is the critical dilation $4$, lying strictly between $3$ and the next prime $5$. This yields an exact finite formula, the limit $V(D_m)\to 1.0367934201598\ldots$, and asymptotics for repeated exponent patterns. The complementary minimum-width problem remains largely open.

A binary word is a shuffle square if its positions can be partitioned into two identical subsequences. A finite word over $\{1,2\}$ is smooth if repeated finite run-length differentiation remains binary until the empty word is reached. This paper proves that every smooth binary word in which both letters have even multiplicity is a shuffle square once its length is at least $18$. There are exactly $34$ exceptions, all of length at most $16$. The infinite part of the proof is a parity-return atom induction: a smooth even-Parikh word factors uniquely into smooth parity atoms, and every such atom has length at most $8$. A finite, independently checkable certificate handles lengths $18$ through $40$. As a consequence, a nonempty prefix of the classical Kolakoski sequence is a shuffle square if and only if both symbols occur an even number of times and its length is not $4$ or $8$. There are infinitely many such prefixes. In fact, the entire infinite Kolakoski sequence can be partitioned into two identical infinite subsequences with monochromatic blocks of uniformly bounded length.

In 1993, Ruzsa showed that for every $k \geq 2$, there exists a constant $C$ such that every subset $A \subseteq [N]$ of size at least $C N^{1/k}$ contains $2k$ distinct elements $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ such that $a_1 + \cdots + a_k = b_1 + \cdots + b_k$. We strengthen this result by proving that the elements $a_1, \ldots, a_k, b_1, \ldots, b_k$ can be chosen to have the additional property that $\{a_1, \ldots, a_k, b_1, \ldots, b_k\}$ has $2^{2k}-1$ distinct subset sums, with the only coincidence being that $\{a_1, \ldots, a_k\}$ and $\{b_1, \ldots, b_k\}$ have the same sum. Our proof also applies to any finite Abelian group of odd order $N$, and it provides a corresponding supersaturation result: that whenever $|A| \geq CN^{1/k}$, there are at least $Ω(|A|^{2k}/N)$ choices for $a_1, \ldots, a_k, b_1, \ldots, b_k \in A$ satisfying these properties. We prove a slightly weaker statement for Abelian groups of even order. We also apply our methods to the vector space setting and prove the following $\mathbb F_q$-analogue of the Bondy-Simonovits Theorem on the extremal number of even cycles in graphs: Any rank-$n$, simple, $\mathbb F_q$-representable matroid with no circuit of size exactly $2k$ has size at most $C q^{n/k}$ for some constant $C$ depending only on $q$ and $k$. When $q=2$, this is best possible up to the constant $C$ for all $k \geq 2$. Our methods also apply to the original graph setting and give a new proof of the Bondy-Simonovits Theorem and its supersaturation version.

What is the maximum number of rainbow triangles in an edge-colored graph with $m$ edges and $r$ colors? Using entropic techniques, we prove an upper bound of $C_rm^{3/2}$ rainbow triangles with $C_r=\sqrt{\frac{2(r-2)}{9r}}$; this constant is best possible whenever there exists an affine plane of order $r-1$. We also show that constructions attaining at least $(C_r-\varepsilon_r)m^{3/2}$ rainbow triangles must exhibit an affine plane structure, which further improves the upper bound if no such affine plane exists. We also consider the problem of counting properly edge-colored cliques of larger sizes. Surprisingly, if the number $r$ of colors is odd, this count is instead maximized by blowups of a properly edge-colored $K_{r+1}$.

We present a version of the vector balancing problem in which each vector may be given a sign and a permutation of its coordinates. We prove that this vector balancing problem and its corresponding prefix problem admit an explicit bound, and we further show that it is asymptotically optimal in the dimension. Our method of proof is purely geometric.

A family of sets is intersecting if every two members intersect, and trivial if all its members contain a common element. We determine the typical structure of $k$-uniform intersecting families on $2k+1$ and $2k+2$ elements as $k\to\infty$. For $n=2k+2$, we prove that almost all intersecting families are trivial and that their number is \[ (2k+2+o(1))\,2^{\binom{2k+1}{k-1}}. \] Together with Yang's recent result for $n\ge 2k+3$, this settles a conjecture of Balogh, Garcia, Li, and Wagner. For $n=2k+1$, almost all intersecting families are nontrivial. We prove that, as conjectured by the same authors, a typical intersecting family is close to a full star: its members outside the star form components of size at most two in the graph joining sets that intersect in $k-1$ elements. We also obtain an asymptotic formula for the number of intersecting families in this case, with an explicit second-order term in the exponent. Our proof combines Sapozhenko's graph container method and stability in Kneser graphs to control families far from every star, and a polymer model and cluster expansion to enumerate families close to a fixed star.

The linear arboricity $\la(G)$ of a graph $G$ is the least cardinality of linear forests, that is, forests of maximum degree at most $2$, into which its edge set $E(G)$ can be decomposed. The Linear Arboricity Conjecture asserts that $\la(G)\leq\lceil(Δ(G)+1)/2\rceil$ for every finite graph $G$, where $Δ(G)$ denotes the maximum degree of $G$. We extend this conjecture to infinite graphs of finite maximum degree and prove that its finite and infinite versions are equivalent. We introduce topological linear arboricity $\latop (G)$ by requiring the linear forests to contain no topological circle, and show that it differs from linear arboricity by at most one. Finally, we prove that every $2k$-regular graph of girth at least $2k$ has topological linear arboricity at most $k+1$.

We prove that there is an absolute constant $c>0$ such that every connected vertex-transitive graph $G$ on $n \ge 3$ vertices contains a cycle of length at least $cn$. Moreover, every such graph with sufficiently large degree $d$ contains a cycle of length at least $(1-d^{-1/100})n$. This gives the first linear bound towards Lovász's Hamiltonicity conjecture. The proof combines a structural result of DeVos and Mohar on vertex-transitive graphs with a general framework for finding long cycles, which may be of independent interest.

Given a subvariety of the Grassmannian and a data point, we seek to find a point on the subvariety minimizing the Euclidean distance to the data point. The number of complex critical points of this optimization problem is the Euclidean distance (ED) degree. We show that the ED discriminant of the whole Grassmannian, that is, the set of data points with a number of critical points different than the ED degree, is the discriminant of the characteristic polynomial of the data as a projection matrix. Another closely connected algebraic complexity measure for a subvariety in the Grassmannian is the Grassmann distance (GD) degree, which is the number of complex critical points of the distance optimization problem when the data point itself is in the Grassmannian. We give formulae for ED and GD degrees of geometrically meaningful subvarieties of the Grassmannian, namely, products of smaller Grassmannians, matroid realization varieties, and Schubert varieties.

Building on our classification of shape-Wilf-equivalence classes for triples of patterns of length three, we complete the classification for quadruples and quintuples. The larger pattern sets exhibit structural features that are not captured by the encoding methods used for triples and require additional combinatorial tools. Our main new ingredient is a Dyck-path approach to Ferrers boards containing the staircase board. By introducing distinguished cells and related structural parameters on the associated Dyck paths, we obtain new shape-Wilf-equivalences and, for several classes, explicit formulas for the number of avoiding transversals on a fixed Ferrers board. We further study the corresponding pattern-avoiding perfect matchings through the pattern-preserving bijection of Bloom and Elizalde. Besides deriving recurrence relations, we give bijective interpretations of several matching enumeration sequences in terms of grand Dyck paths, Schröder paths, and Dyck paths. These constructions provide additional combinatorial structure beyond the classification itself. Together with the companion paper on triples, the present work completes the classification of shape-Wilf-equivalence classes for subsets of patterns of length three, apart from the trivial empty and full pattern sets.

It remains open whether every $K_t$-minor-free graph is $O(t)$-choosable. Postle proved that every $K_t$-minor-free graph has choice number $O(t(\log\log t)^6)$. At the end of an earlier version of a paper establishing an $O(t\log\log t)$ bound on the chromatic number of $K_t$-minor-free graphs, Delcourt and Postle remarked that their methods, combined with Postle's earlier techniques, yield an $O(t(\log\log t)^2)$ bound on the choice number. In this paper, we first prove that every $n$-vertex $K_t$-minor-free graph has choice number $O(t\log(2+n/t))$. Using this bound as a key ingredient, we follow the approach outlined by Delcourt and Postle to prove that every $K_t$-minor-free graph is $O(t\log\log t)$-choosable.

We give a necessary and sufficient condition for a combinatorial D-class of a finite semigroup to have a permutation matching: that its structure matrix admit a balanced weighting, that is, non-negative weights with constant row sums and constant column sums. This weakens the regularity hypothesis, the role of Hall's lemma being taken up by the Birkhoff--von Neumann theorem. We then apply it to show that the monoid of all order-preserving self-maps of an n-element chain, has a permutation matching.

In distributed storage systems, redundancy enables a single data object to be reconstructed using several disjoint groups of servers. The resulting service rate region (SRR) captures all combinations of object request rates that the system can support simultaneously without overloading any individual server. We analyze the SRR of binary codes obtained via the Plotkin-type construction. We demonstrate that each recovery set for an information object of the Plotkin-type code $\mathcal{C}_p$ induces a corresponding recovery set for the same data object characterized by the underlying code $\mathcal{C}$. Furthermore, by characterizing the recovery sets structure of $\mathcal{C}_p$ in terms of the recovery set structure of $\mathcal{C}$, we identify the additional recovery sets introduced by this construction. Using the associated recovery hypergraphs, we establish bounds on the SRRs of $\mathcal{C}_p$ and iterated code $\mathcal{C}_{p^m}$ in terms of the SRR of $\mathcal{C}$. We consider the family of first-order binary Reed-Muller codes and show how the recovery structure, and consequently, the service rates of R$(1,m)$ for arbitrary $m$ can be recursively derived from a generator matrix of R$(1,2)$ through our results for successive Plotkin-type constructions.

Motivated by Kawanoue's construction with the finite-sum formulas, we construct an explicit homogeneous basis for the derivation module of the cone of the extended Catalan arrangement of type Dl. We further show that the restriction of this basis at infinity coincides, up to a nonzero constant, with the integral basis constructed by Feigin-Wang-Yoshinaga. This identifies the geometric motivation behind the parameter choices.

Liftability was first introduced for paving matroids, where it was used to systematically construct polynomials in the ideals of the associated matroid varieties. In this paper, we generalise the notion of liftability to matroids with realisable truncations. We additionally introduce the notion of generic realisability of a matroid; a strong notion of realisability that implies both realisability and liftability of the matroid. We study the behaviour of liftability and generic realisability under the weak order of matroids within the lattice of matroids with fixed truncation. We develop a unified framework for studying liftability of matroids through Oxley--Wang derived matroid of generic matroid realisations. We characterise liftability and generic realisability in terms of Oxley--Wang derived matroids. Moreover, we give an algebraic description of the bases of the generic Oxley--Wang derived matroids in terms of coordinate sections of matroid realisation spaces and relate our constructions to slack realisation spaces of matroids. As an application of our framework, we obtain a combinatorial characterisation of liftable and generically realisable paving matroids and connect it with Whiteley's theory of scene analysis. In particular, our approach gives a new proof, via Oxley--Wang derived matroids, of Whiteley's characterisation of hypergraphs admitting non-trivial (sharp) scenes. Finally, we compute the generic Oxley--Wang derived matroid for a special class of sparse paving matroids.

A dominating set $D$ of a graph is called $1$-limited if every vertex of $D$ has at most one neighbor outside $D$, while a $(1,2)$-dominating set is a dominating set in which every vertex of the set has at least two neighbors within the set. These two notions coincide on cubic graphs. We prove that the decision problem 1-Limited Dominating Set is $\mathsf{NP}$-complete even when restricted to $2$-connected planar cubic graphs, thereby completing the known complexity results for $k$-Limited Dominating Set for all fixed positive integers $k$. We also determine the exact $1$-limited domination number of the entire Goldberg family. This provides a further infinite family of cubic graphs supporting several open conjectures and proposed bounds concerning $(1,2)$-domination and induced cycles.

We prove that if the product of two class transpositions has finite order, then its order divides 840. This gives a complete affirmative answer to Question 18.48 in the Kourovka Notebook. We also obtain a criterion for the product of two class transpositions to have infinite order. In addition, we construct a pair of class transpositions whose product has order 840, showing that the bound is sharp.

We study three recurrent double sequences whose colored diagrams encode mirrored versions of the finite-ordinal construction. Two sequences use three letters and realize variants with two and three initial symbols. A four-letter sequence realizes the von Neumann construction from one initial symbol. For each sequence we describe its cells explicitly and identify the ordered nesting of its rectangles. For four letters, we distinguish ordinary and virtual boxes and prove their assembly rules. The proofs proceed by induction along antidiagonals. For the constructions with one and three initial symbols, we reduce the recurrence to finite sets of local configurations and verify those sets by computer. We derive formulas for the numbers of nested boxes, including arithmetic-term representations, and we prove that none of the three sequences is $k$-automatic for any integer $k \geq 2$.

Two integer partitions $t$-intersect if they have at least $t$ common parts, counted with multiplicity. We study the largest $t$-intersecting families of integer partitions of $n$ into exactly $k$ positive parts. The canonical $t$-star consists of the partitions containing at least $t$ ones. Applying Kupavskii's weak-spread theorem, we prove that this star is largest whenever $n\ge Ak^3$, for every fixed $A>24$ and all sufficiently large $k$, uniformly over $1\le t<k$. We also give counterexamples to Borg's conjecture at every intersection scale: for all sufficiently large $k$ and for every $1\le d<k$, one may choose $d/4\le t\le d$ and $n=\lfloor tk^2/3\rfloor$ so that a $t$-intersecting family is strictly larger than the canonical star.

We show, under a certain assumption, that the Cheeger constant of a connected Cayley graphon is bounded from above in terms of its bipartiteness ratio, and also in terms of the gap between the top of the spectrum of its Laplacian and $2$. Using this result, we prove that if a connected Cayley graphon $C(G,γ)$ is bipartite, then there exists an index two subgroup $H$ of $G$ that avoids the support of $γ$.

A storage code on a graph assigns a symbol to each vertex so that the symbol can be recovered from its neighbors. We prove that the binary full-parity storage codes on triangle-free coset graphs of primitive BCH codes have rate tending to one for every fixed error-correction capability of at least two. The conclusion also holds for an increasing error budget under an explicit growth condition. The proof bounds the binary rank of convolution matrices associated with polynomial maps. Low coordinate degree forces cancellation in the polynomial representing the image, and a polynomial rank bound converts this cancellation into a quantitative estimate for the storage rate. For the double-error-correcting family over $\mathbb{F}_{2^m}$, we prove that the storage deficiency is $Θ(((1+\sqrt{5})/4)^m)$. This refinement follows from an exact Fibonacci formula for a polynomial coefficient rank and a matching exponential lower bound after finite-field evaluation.

The $k$-Schur functions (resp., $K$-$k$-Schur functions) are the symmetric function representatives of Schubert classes in the homology (resp., $K$-homology) of the affine Grassmannian of type $A$. We prove that every $K$-$k$-Schur function is a nonnegative integer linear combination in the basis of $k$-Schur functions. This settles a conjecture by Lam, Schilling and Shimozono. The proof relies on realizations of $k$-Schur and $K$-$k$-Schur functions as Catalan and Katalan functions, respectively.

We classify the set of finite simple undirected graphs whose corresponding graph operator system is C*-nuclear. We prove that the operator system associated to the graph is C*-nuclear if and only if the graph is 2-chordal, as defined by McCullough. In particular, we present the first known example of a non-chordal graph whose graph operator system is C*-nuclear, as well as the first known examples of graph operator systems which are not C*-nuclear.

Jin, Milojević, Tomon and Zhang established a powerful recursive estimate relating the positive eigenvalues of a graph whose least eigenvalue is small in absolute value. We establish a refinement of this result, yielding improved estimates across spectral graph theory and discrepancy theory, and for Chowla's cosine problem. Recent results of Janzer, Tomon and Yip allow us to directly transfer least eigenvalue estimates to the corresponding surplus estimates. Using these tools, we fully resolve a conjecture of Räty, Sudakov and Tomon. We show that, for an $n$-vertex graph $G$ with least eigenvalue $λ_n$ and surplus $\operatorname{sp}(G)$, if $G$ is $ε$-far from all disjoint unions of cliques, then $|λ_n|\geq Ω_ε(n^{1/4})$ and $\operatorname{sp}(G)\geq Ω_ε(n^{5/4})$. Furthermore, we show that when $G$ is $n^{-o(1)}$-far from all disjoint unions of cliques, we have $|λ_n|\geq n^{1/4 - o(1)}$ and $\operatorname{sp}(G)\geq n^{5/4 - o(1)}$. Finally, we show that the surplus of a $K_t$-free graph with $m$ edges is at least $m^{0.614 - o(1)}$ as $m$ tends to infinity.

We prove that the product of chains $\mathbf{m}\times\mathbf{n}$ is not Schur positive whenever $n\ge4$ and $m\ge3n-1$. Writing $m=n+k$, we exhibit a negative coefficient indexed by $(2n+k-1,2n+k-3,\ldots,k+5,k,k,4)$ and evaluate it explicitly as $(n-2)!$ times a polynomial of degree three in $k$. Our argument refines the chain-partition method of Li, Qiu, Yang, and Zhang: rank capacity forces $n-2$ long chains, and the remaining three chains are counted by separating a middle interval with fixed row coordinates from two bounded boundary regions. Together with their theorem and the known cases of widths two and three, this shows that these products are not Schur positive for $n\ge3$, $m\ge n+5$, and for $n=2$, $m\ge8$.

Structural system theory studies which network topologies can sustain a prescribed system property such as controllability or stability. When the topology is itself random, the relevant question becomes probabilistic: how likely is a graph drawn from a stochastic model to sustain the property? Such probabilities measure the abundance and robustness of the property across topologies, and indicate whether systems requiring it can be reliably deployed in uncertain environments. We address this question for asymptotic stability of linear systems in the directed graphon setting. We consider two graph-theoretic properties. The first is $\mathcal N$, and it requires that for every $k\leq n$ some $k$-vertex induced subdigraph of $D$ admits a cycle cover, and the second is $\mathcal S$, which requires that these subdigraphs can be chosen so that their node sets form a nested sequence $V_1\subset\cdots\subset V_n=V(D)$ starting from a single vertex with a loop. We have shown that $\mathcal N$ is necessary and $\mathcal S$ is sufficient for structural stability. We sample $D$ from a directed step-graphon $W$. Our main results give necessary and sufficient conditions for $\Pr(\mathcal N)\to 1$ and $\Pr(\mathcal S)\to 1$ as $n\to\infty$. In more detail, to a step-graphon $W$ with skeleton digraph $S$ on $q$ nodes and concentration vector $x^*$ we associate a cycle polytope $\vec{\mathcal X}(S)\subseteqΔ_q$. The conditions are then formulated in terms of the position of $x^*$ within $\vec{\mathcal X}(S)$, the dimension of the polytope, the loop density of $W$ and, for $\mathcal S$, an ordering condition on the cycles of the skeleton. Together these results identify, for directed step-graphons, the regime in which a sampled topology is overwhelmingly likely or unlikely to sustain stable dynamics.

We study the average-case matrix discrepancy problem: given independent normalized $d\times d$ Gaussian orthogonal ensemble matrices $A_1,\dots,A_N$ and a fixed margin $κ>0$, find signs $σ_1,\dots,σ_N\in\{-1,1\}$ such that the operator norm of $\sum_{i=1}^N σ_i A_i$ is at most $κ\sqrt{N}$. Focusing on the proportional regime $N/d^2\to τ\in(0,\infty)$ as $d\to\infty$ followed by the small-margin limit $κ\downarrow 0$, we characterize the density required by stable offline algorithms and by online algorithms. In the offline setting, we construct a polynomial-time \emph{recenter-and-round} algorithm that is noise-stable and succeeds whenever $τ=Ω(\frac{1}{κ^2\log(1/κ)})$, along with a matching lower bound for all stable algorithms. In the online setting where each sign must be chosen irrevocably upon observing the corresponding matrix, we determine the exact limiting performance of the \emph{Frobenius-greedy} algorithm, establishing that it succeeds when $τ>τ_{\rm FG}(κ)\sim \fracπ{4κ^2}$, as well as a matching lower bound for all online algorithms by conditioning on a revealed prefix. At the core of our algorithms lies rotational symmetry, which enables us to transfer Frobenius norm control into operator norm guarantees. Together, our results identify the algorithmic phase transition points for random matrix discrepancy: $Θ(\frac{1}{κ^2\log(1/κ)})$ for stable offline algorithms and $Θ(\frac{1}{κ^2})$ for online algorithms. Both thresholds lie far above the satisfiability scale $Θ(\log(1/κ))$, as shown by Maillard~\cite{maillard2025}.

A dominating set $D$ of a graph $G$ is called $k$-limited if every vertex of $D$ has at most $k$ neighbors outside $D$. The minimum cardinality among all $k$-limited dominating sets of $G$ is the $k$-limited domination number, denoted by $γ_k^L(G)$. In this paper, we prove that the $1$-Limited Dominating Set problem is $\mathsf{NP}$-complete, answering an open question posed in the literature. We further show that, for every positive integer $k$, the $k$-Limited Dominating Set problem is $\mathsf{NP}$-complete even when restricted to planar graphs. In addition, we study the $k$-limited domination number of Sierpiński graphs. We determine the exact value of $γ_1^L(S(n,m))$ for all integers $n\ge 1$ and $m\ge 2$, and obtain the $k$-limited domination number for the planar family $S(n,3)$.

In the $q$-color online Ramsey game, Builder and Painter play on an infinite independent set of vertices. At each step, Builder draws an edge and Painter immediately assigns it one of $q$ colors. Builder aims to force a monochromatic copy of a fixed graph $H$. We prove that, for every $q \ge 2$ and $d \ge 1$, Builder can force a monochromatic copy of any $d$-degenerate graph $H$ while drawing a graph of degeneracy at most $d$. The bound $d$ is tight, and this resolves in the affirmative a problem of Conlon, Fox and Sudakov.

We continue the study of $k$-limited domination in graphs, a domination variant in which each vertex of a dominating set may dominate at most $k$ vertices outside the set. This concept extends classical domination by incorporating capacity constraints on dominating vertices. We improve the general lower bound for the $k$-limited domination number $γ_k^L(G)$ by employing the concept of $k$-capacitated domination. As a consequence, we characterize graphs satisfying $γ_k^L(G)=\lceil \frac{n}{k+1} \rceil$. We also refine the known upper bound for graphs with $k<δ(G)$ using the $k$-limited packing number. Under this condition, we describe graphs attaining $γ_k^L(G)=n-k$. These results extend and unify previous investigations for the case $k=1$ and provide a complete characterization of graphs attaining the extreme values of the $k$-limited domination number under the considered assumptions.

A strong odd $k$-coloring of a graph $G$ is a proper $k$-coloring such that every color appearing in the neighborhood of a non-isolated vertex appears an odd number of times. The minimum $k$ for which $G$ admits a strong odd $k$-coloring is the \emph{strong odd chromatic number}, denoted by $χ_{\text{so}}(G)$, of $G$. Given a graph $G$ and an integer $k$, \textsc{strong odd $k$-colorability} problem asks whether $G$ admits a strong odd $k$-coloring. It is known that STRONG ODD $k$-COLORABILITY is NP-complete in general graphs. In this paper, we prove that the problem is NP-complete on perfect elimination bipartite graphs for $k\geq3$, which is a subclass of bipartite graphs. Furthermore, we show that $χ_{\text{so}}(G)$ is inapproximable within a factor of $O(n^{\frac{1}{2}-\varepsilon})$ for every $\varepsilon>0$. On the positive side, we obtain a linear time algorithm to compute an optimal strong odd coloring for block graphs. From a parameterized perspective, we present an FPT algorithm for STRONG ODD $k$-COLORABILITY when parameterized by treewidth. Moreover, we show that the problem cannot be solved in time $(k-\varepsilon)^{\texttt{tw}}n^{O(1)}$ for every $k\geq3$ and $\varepsilon>0$ when parameterized by treewidth under SETH. Furthermore, we show that STRONG ODD $k$-COLORABILITY does not admit a polynomial kernel when parameterized by feedback vertex set. Lastly, we prove that STRONG ODD $k$-COLORABILITY is W[1]-hard when parameterized by clique-width.

A pentagonal geometry PENT(k,r) is a k-uniform, r-regular partial linear space with the property that the set of points not collinear with a given point x is itself a line in the geometry. The existence spectrum of these geometries is known; we begin the study of automorphisms of these structures in the case k=3. We determine the spectrum of pentagonal geometries PENT(3,r) with either a cyclic or reverse automorphism to be r = 1 or 10 (mod 12). In addition, we show that there are 584 pairwise non-isomorphic PENT(3,7)s and classify them by the orders of their automorphism groups.

A Neumaier graph is a non-complete edge-regular graph containing a regular clique; it is called strictly Neumaier if it is not strongly regular. In this paper we present a construction using finite rings that unifies several known results and yields three new families, each containing infinitely many strictly Neumaier graphs. We characterize when the resulting graphs are strongly regular. The family obtained from norm functions of finite field extensions includes the collinearity graphs of generalized quadrangles of \(*\)-Tits type arising from the classical hyperoval. We further show that, when the cyclotomic numbers involved have order at most seven, four types of rings suffice to obtain, up to isomorphism, all strictly Neumaier graphs arising from our construction. As a consequence of our results, each of these four types has now been used to construct Neumaier graphs.

In 1965, D. H. Lehmer conjectured that the permutations of every multiset admit an imperfect Hamiltonian traversal by adjacent swaps: a walk in the neighbor-swap graph that visits every word, with some words visited twice in order to reach a neighbor and return. The question is posed as an unsolved research problem in Knuth's Art of Computer Programming. Verhoeff (2017) chose the stutter words, in which every domino is a double, as the words to be reached this way, and reformulated the conjecture as the Hamiltonicity of the graph $N(S)$ on the non-stutter words, with two exceptional families --- binary signatures with an odd multiplicity, and the permutations of $(2k,1,1)$ --- that admit a Hamiltonian path but no cycle. This article proves the reformulated conjecture, and with it Lehmer's conjecture. The key structure is a partition of the words into hypercubes: the swaps inside dominoes turn each class of words with the same domino contents into a hypercube, and the stutters are exactly the $0$-dimensional classes. When every multiplicity is even, Hamiltonian cycles of the hypercubes are glued along a spanning tree, with no finite check. The case of exactly one odd multiplicity reduces to the all-even case and to a theorem of Stachowiak (1992), the one inherited Hamiltonicity input, which also settles two or more odd multiplicities. The only finite ingredients are two explicit cycles, of 28 and 84 words. Every construction is implemented in Python and checked against brute-force graphs, and the proof is formalized in Lean 4 over Mathlib.

Trisecting the dihedral angles of an $n$-simplex defines its Morley simplex. We study the original simplices for which this simplex is regular. A criterion in terms of the Gram matrix of the facet normals reduces the problem to a matrix equation. The derivative of the Morley map at the regular simplex has two explicit eigenvalues, both nonzero for $n\ge3$; thus the regular simplex is an isolated solution. We conjecture that in dimensions four and five a regular Morley simplex forces two hyperplane reflections interchanging disjoint pairs of vertices. We prove that this conclusion fails in every dimension $6\le n\le200$ and in every dimension $n=\binom k2-1$ with $k\ge9$: in these dimensions there are simplices with regular Morley simplex and no hyperplane reflection symmetry. The examples for $8\le n\le200$ have dihedral symmetry of order $2(n+1)$, while the infinite family is based on the Johnson scheme. In dimension four we give exact constructions of two nonregular examples, defined by irreducible polynomials of degrees $18$ and $8$ with Galois groups $S_{18}$ and $S_8$. Neither example is expressible by radicals. The computer assisted existence proofs use exact rational arithmetic and intervals with outward rounding.

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 bridgeless claw-free cubic graphs. Moreover, we show that every bridgeless claw-free cubic graph $G$ admits four perfect matchings that cover at least $\frac{299}{315}|E(G)|$ edges.

Let $\PG(2,q)$ denote the projective plane over the finite field $\mathbb{F}_q$ where $q\geq2$ is a prime power. For a positive integer $t$, let $B_{t}[\PG(2,q)]$ denote the $t$-page book obtained from $t-$many copies of the $(q+1)-$graph $\PG(2,q)$, sharing a common edge. Employing the $\mathsf{L}^p-$method and using the incidence structure of the projective plane, we establish that the upper bound of Turán density of $B_{t}[\PG(2,q)]$ is $(q(q+1)^{-1})^{\frac{1}{qt}}$. For the $(q+1)-$graph $\PG(2,q)$, the previously known upper bound on its Turán density was $1-\binom{q^2}{q}^{-1}$. As a consequence of our estimate, this upper bound is improved to $(q(q+1)^{-1})^{\frac{1}{q}}$.

We prove the 2143-3421 case of Burstein's conjecture on the distribution of descent-top sets by constructing an explicit bijection between the two avoidance classes. The bijection also preserves the pinnacle set and reverses the left-to-right order of the pinnacle values. We combine an involution on maximum Cartesian trees with exchanges of the final entries of maximal decreasing runs. On an intermediate avoidance class, we prove that the exchange procedures terminate and that the output in each direction is independent of the choices made. This gives an explicit inverse. Restricting the bijection to Dumont permutations of the first kind proves the conjecture of Burstein and Jones that 2143 and 3421 are Wilf-equivalent on this class

We give a randomized polynomial-time algorithm that colors any promised $3$-colorable graph on $n$ vertices with $\smash{O(n^{4/23}) = O(n^{0.17391\ldots})}$ colors, improving on the recent bounds of $O(n^{0.19539})$ by Bansal, Huang, and Lee and Narang and Tang who obtained $O(n^{(13-\sqrt{97})/18+ε})=O(n^{0.17506\dots + ε})$ colors for every fixed $\smash{ε>0}$. To prove our result, we start from a fixed-level semidefinite relaxation, where we use a finite-depth recursion on Gaussian covers. Fixing a root vertex, we group vertices by correlation with the root vector. Here, each step extends a cover of directions by one edge and transfers it to a successor group. Our key analytic ingredient is a variance bound for Gaussian maxima: for a maximum of $m\geq 2$ centered linear forms with coefficient norms at most $r$, mean $μ$, and variance $v$, we prove $v\leq r^2-μ^2/(2\log m)$ using Chen's Gaussian convexity theorem. Together with a variance-scale lower-tail estimate, this controls the threshold loss at each extension, which shows that root-conditioned vector colorings can either extract a large independent set from a group or bound its size, forcing a contradiction after constantly many steps. The resulting sparse-case guarantee combines with the dense progress bound of Kawarabayashi, Thorup, and Yoneda, and the recursion's numerical inequalities are verified via rational interval arithmetic.

We give an explicit three-dimensional Hadamard matrix of order $22$. The example is presented by listing its twenty-two $22\times22$ two-dimensional slices.

For a fixed digraph $F$, let $\operatorname{ex}_2^+(n,F)$ be the maximum of $\sum_{v\in V(D)}d_D^+(v)^2$ over all $n$-vertex $F$-free digraphs. Ai et al. [arXiv:2606.03520, 2026] asked for which self-converse tournament $F$ one can determine $\operatorname{ex}_2^+(n,F)$. Let $TT_r$ denote a transitive tournament on $r$ vertices and $\text{RT}_5$ denote a regular tournament on 5 vertices. Note that both $TT_r$ and $\text{RT}_5$ are self-converse. Iľkovič [arXiv:2609.05042, 2026] determined $\operatorname{ex}_2^+(n,F)$ for $F=TT_4$. In this paper, we determine $\operatorname{ex}_2^+(n,F)$ for $F$ being $TT_r$ or $\text{RT}_5$, and the latter confirms a conjecture due to Iľkovič.

We prove the real-rootedness conjecture of Lin, Ma, Ma, and Zhou (2021) for multiset Eulerian-Narayana polynomials, including simplicity and negativity of all zeros after removing the factor t. Using a forest decomposition and Lagrange inversion, we derive a differential formula and a first-order factorization of the differential operator. We use these factors to show that the nonconstant gamma-coefficients and ordered gamma-zeros are nondecreasing, with corresponding bounds given by the Narayana and Eulerian polynomials. The same factorization gives totally nonnegative coefficient transition matrices. We also prove strict interlacing of the zeros of generating polynomials arising from adjacent columns of the transition matrices.

We prove that every event invariant under swaps has probability zero or one for either the free or the wired spanning forest on any connected, locally finite, infinite network. Applications include the constancy of the number of components and of the total number of excessive ends. For the free forest, these results resolve longstanding questions of Benjamini, Lyons, Peres, and Schramm [Ann. Probab. (2001), Question 15.7] on constancy of the component count and of Lyons, Morris, and Schramm [Electron. J. Probab. (2008), Question 7.7] on the zero-one law for one-endedness. In the latter case, we obtain the stronger conclusion that the total number of excessive ends is deterministic.

Let $δ^*_{k,r}$ be the fractional $K_r^{(k)}$-decomposition threshold in minimum codegree. For fixed $k\ge2$, $r\ge k+1$ and $\varepsilon>0$, we prove that every $n$-vertex $k$-uniform hypergraph $G$ with minimum codegree at least $(δ^*_{k,r}+\varepsilon)n$ admits, with high probability, a fractional $K_r^{(k)}$-decomposition after retaining each edge independently with probability $p \ge C(\log n/n^{r-k})^{1/(\binom{r}{k}-1)}$. The bound on $p$ is sharp up to a constant factor, confirming the conjectured threshold order in the graph case. The proof develops a probabilistic matrix-scaling approach.

The discovery of Chair44 (Tsiokos, 2026) settled the three-dimensional einstein problem with a strongly aperiodic polyhedral monotile in $\mathbb{R}^3$. This note extends the underlying mechanism---the rep-$2^N$ chair $C_N = [0,2]^N \setminus (1,2]^N$ with corner/socket markings---to $\mathbb{R}^N$. Besides expository material (the rep-$2^N$ dissection and a conditional strong-aperiodicity theorem under lattice registration and hierarchical enforcement), the note makes a new computational contribution. We introduce a frame-marking formalism in which the marking of a tile is its full orientation frame and the matching rule is the contact language generated by the substitution itself; this makes the search for matching rules finite in every dimension. We give a finite certificate (coarsening closure, tightness, and a two-shell enclosure analysis) whose validity implies that every lattice-registered tiling by the marked tile is uniquely hierarchical, hence strongly aperiodic. For $N=3$ the certificate passes: it yields explicit facet matching rules on the 24 panels of $C_3$ (135 admissible facet-contact triples) and reproduces, from first principles and independently of published constructions, the Chair44 statistics 2388 $\to$ 44 admissible contacts (30 occurring), 33 one-shell clusters, 15 extendable, each forcing a unique supertile. Among the 2187 homochiral frame assignments of the 3D substitution with a translated central child, the certified one is unique up to conjugation. For $N=4$ the same pipeline is run on several structured families of frame assignments (canonical, $D_4$-, $Z_2\times Z_2$- and $Z_4$-symmetric, and a lift of the 3D solution); none is coarsening-closed, and we report the failure data. A self-similar marking of $C_4$ thus remains an explicitly finite, open computational problem, which we state precisely. Code: https://github.com/dimkadimon/Monotile-RN

In the fair dueling game, two players take turns shooting at each other, with the turn order defined by the following fairness criterion: the next shot is assigned to the player who is less likely to have won the duel so far. Cooper and Dutle showed that when both players have the same probability $p$ of a successful shot, the shooting sequence converges to the Thue--Morse sequence as $p \rightarrow 0$. We extend this model by forcing the sequence to begin with an arbitrary finite prefix before reverting to this fairness criterion. We prove that this initial disruption fundamentally alters the sequence's eventual behavior: in the $p \rightarrow 0$ limit, unless the initial prefix is itself a prefix of the Thue--Morse sequence or its complement, the resulting sequence is eventually periodic. Moreover, the least period is a power of 2 that is at most $4^{n+1}$, where $n$ is the length of the prefix, and the repeating block is itself a prefix of the Thue--Morse sequence.

Brandt [Discrete Math. 183 (1998) 17--25] conjectured that the least signless Laplacian eigenvalue of every regular triangle-free graph of order $n$ is at most $4n/25$. Using flag algebras, Balogh, Clemen, Lidický, Norin and Volec [SIAM J. Discrete Math. 37 (2023) 1173--1179] established the stronger bound $15n/94$ for all triangle-free graphs. We investigate the effect of additionally excluding pentagons and prove that every $\{C_3,C_5\}$-free graph $G$ of order $n$ satisfies $\qmin(G)<0.0569n$, without any regularity assumption. The proof combines seven-vertex flag inequalities with local Rayleigh constraints that retain the least eigenvalue throughout the counting argument. An exact integer certificate establishes the required inequality.

A well-known problem of Erdős and Hajnal from the 1960s asks whether every graph with huge chromatic number contains a subgraph with large girth and large chromatic number. Very recently, Kohlmeyer and Kruer provided a strong negative solution to this problem: a construction of triangle-free graphs with arbitrarily large chromatic number whose subgraphs with no four-cycle have chromatic number at most $6$. The purpose of this exposition is to explain the construction method, relate it to relevant literature, and optimise the bound '$6$' to '$3$'.

We investigate the structural, combinatorial, ideal-theoretic and Krohn-Rhodes complexity of the Margolis-Rhodes monoid, MR(G), of a finite simple graph G, viewed topologically as a 1-dimensional simplicial complex. Alongside the full monoid, we examine some subsemigroups including St(G), defined by the condition that the full inverse image is an edge or the empty set and Inj(G), the monoid of all partial 1-1 continuous functions. We provide explicit combinatorial enumerations and struture for paths and cycles. We compute Green's relations showing in particular that the partial order of regular J-classes is isomorphic to the poset of induced subgraphs of G. Finally, we apply these structural invariants to Krohn-Rhodes complexity theory. It is known that the Margolis-Rhodes monoid has complexity at most 2 and 1 for St(G) and Inj(G). We show that for cycles the complexity of its Margolis-Rhodes monoid is 2 if and only if the cycle is of length at least 4. For paths, we prove that the complexity of its Margolis-Rhodes monoid is 2 if the path length is at least 13.

A metric graph is of pseudocompact type if identifying parallel edges produces a tree. We give a constructive proof that, for such graphs, divisorial $d$-gonality is equivalent to the existence of a degree $d$ harmonic morphism to a tree. This mirrors the algebraic correspondence, for curves of compact type, between limit linear series of dimension one and admissible covers. We also deduce lifting results for positive-rank divisors, with a genus-preserving refinement when identifying parallel edges produces a path. Finally, we study the Brill-Noether theory in the path case.

c-Polynomials are polynomials whose (non-zero) coefficients are all equal to 1. Taking a theorem by Carlitz and Moser as a motivation, we prove a structure theorem for the factorisations of the c-polynomial $(x^n-1)/(x-1)$ into c-irreducible factors by relating c-torisations into c-polynomials to joint ordered factorisations arising from the integer n. The question of how many different joint ordered factorisations there are leads to the precise chromatic polynomial for path graphs, counting the ways of path graph colourings with $m$ colours under the condition that all colours are used. Moreover, we give similar counting formulae for joint ordered factorisations under the constraints that all factors are primes, or that all factors are square-free.

We characterize uniform factor-balancedness in Arnoux-Rauzy words, generalizing the work of Espinoza, Popoli, and Stipulanti on ternary alphabets to finite alphabets of any size. In particular, we prove that an Arnoux-Rauzy word $\mathbf{x}$ is uniformly factor-balanced if and only if $\mathbf{x}$ has bounded weak partial quotients.

Simon's conjecture (1994) asserts that any pure $d$-dimensional shellable complex on $n$ vertices can be extended to the $d$-skeleton of the simplex on $n$ vertices, one facet at a time, while maintaining shellability. Bolognini and Sentinelli (2026) recently disproved it for every $d \geq 3$. We show that the conjecture becomes true once $d-2$ new vertices are allowed, and that the same holds with $k$-decomposability in place of shellability for any $k \geq 1$. We also show that the number $d-2$ cannot be lowered. Inflating the counterexample of Bolognini and Sentinelli gives, for every $d \geq 3$, a $1$-decomposable complex that cannot be extended in this way with only $d-3$ new vertices, even while merely maintaining shellability.

A forest in an edge-colored graph is rainbow if its edges have pairwise distinct colors. We prove that for every $\varepsilon>0$ and all sufficiently large integers $m$, every properly edge-colored simple graph with $km$ edges, where $1\leq k\leq 2m$ and every color class has size at most $m$, contains at least $(1-\varepsilon)m$ pairwise edge-disjoint rainbow forests, each with exactly $k$ edges. The range $k\leq 2m$ is best possible: for every $k>2m$ there are such graphs containing no $k$-edge forest. Thus the conjecture of Montgomery, Pokrovskiy, and Sudakov fails beyond this range, while our theorem establishes its predicted conclusion throughout the largest possible range of $k$. The number of forests is asymptotically optimal. The proof uses an orientation dichotomy, hypergraph matching, matroid intersection, and martingale concentration.

Rooted phylogenetic networks are widely used to represent the evolution of species that have undergone reticulate processes. However, these networks can be highly non-planar, making them more difficult to visualise and interpret than evolutionary trees. In this paper, we investigate planarity properties of galled networks, an important subclass of phylogenetic networks. We show that all planar galled networks are necessarily upward planar. Furthermore, by leveraging recent results on planar phylogenetic networks, we provide three characterisations for each of the outerplanar and terminal planar galled network classes in terms of forbidden vertex configurations, forbidden directed subgraphs, and forbidden structures in their associated underlying undirected graphs. These results contribute to a deeper understanding of the structural properties of galled networks and may inform future methods for their construction and visualisation.

In an $n$-dimensional cropped hypercube each of the $2^n$ cropping inequalities chops off a single corner of the $0$--$1$ hypercube by an $\ell_1$-distance $ρ$. The case $ρ= 1/2$ has been extensively studied in the literature. This paper shows that the Lasserre rank of the $n$-dimensional cropped hypercube where $ρ= 1/2$, $n \geq 2$, is the smallest integer $0\leq t \leq n$ such that $Δ_t < 0$ in the recurrence $Δ_{-1} = 1$, $Δ_{0} = n-1$, $Δ_t = (n-1)Δ_{t-1} - t(n-t+1)Δ_{t-2}$. It follows that the Lasserre rank can be computed in time $O(n^2 \log^2 n)$. Asymptotically, the rank is $\frac{n}{2} + c_{1/2}\sqrt{n} + o(\sqrt{n})$, where $c_{1/2}$ is the unique zero of a given function. Numerically, $c_{1/2} \approx 0.3825$. In fact, we prove such results for any fixed $0 < ρ< 1$.

For fixed integers $d,r\ge1$ with $dr\ge2$, the $r$-free points of $\mathbb{Z}^d$ are those whose coordinate gcd is not divisible by the $r$th power of any prime. Fix $1\le q\le \infty$. A lattice point is $R$-deep if every lattice point in the closed $\ell_q$-ball of radius $R$ centred there is non-$r$-free. We mark each finite nearest-neighbour component of non-$r$-free points containing an $R$-deep point by its lexicographically least such point. Uniformly for $1\le q\le\infty$, the densities of $R$-deep points and of these representatives both have the asymptotic form $\exp\left\{-\frac{v_{d,q}R^d}{ζ(dr)}\left[d(dr-1)\log R+dr\log\log R-Υ_{d,r,q}+r\frac{\log\log R}{\log R}-\frac{Λ_{d,r,q}}{\log R}+O_{d,r}\left(\frac{(\log\log R)^2}{(\log R)^2}\right)\right]\right\}$ as $R\to\infty$, where $v_{d,q}$ is the volume of the unit $\ell_q$-ball and $Υ_{d,r,q},Λ_{d,r,q}$ are explicit constants. For deep points, this sharpens the positive-density hole constructions of Baake, Moody, and Pleasants and of Pleasants and Huck, and the latter authors' upper bounds for sparse-pattern frequencies. For $d=1$, consider the densities of $r$-free integers followed by at least $g-1$ consecutive non-$r$-free integers, or by exactly $g-1$ such integers and then another $r$-free integer. Both have the asymptotics $\exp\left\{-\frac{g}{ζ(r)}\left[(r-1)\log g+r\log\log g-\widehatΥ_r+r\frac{\log\log g}{\log g}-\frac{\widehatΛ_r}{\log g}+O_r\left(\frac{(\log\log g)^2}{(\log g)^2}\right)\right]\right\}$ as $g\to\infty$, where $\widehatΥ_r=Υ_{1,r,1}+(r-1)\log2$ and $\widehatΛ_r=Λ_{1,r,1}+r\log2$. The exact-gap expansion improves Grimmett's leading asymptotic and refines the formula in Jiang's recent preprint. For fixed $r$, we also obtain estimates uniform in growing dimensions $d=O_r((\log R)^r)$.

Deriving upper bounds on code size from existing bounds is a classical approach in coding theory, dating back to the seminal results of Elias, Bassalygo, and Levenshtein. We study a framework encompassing the Bassalygo--Elias and Levenshtein inequalities for binary and nonbinary (constant-weight) codes and provides certain generalizations. The asymptotic cost of transferring a bound between different symbol compositions is expressed in terms of mutual information, yielding an information-theoretic optimal transport formulation. We determine the optimal permutation-transport cost between arbitrary compositions in terms of their least common majorant in the majorization order. Specializing to symmetric constant-weight compositions yields explicit transport profiles. As a byproduct, we establish unimodality of the asymptotic constant-weight rate as a function of the relative weight. We prove that the resulting closure operators are idempotent and that applying transport before outer Bassalygo--Elias averaging leaves the unrestricted bound obtained from the same input unchanged. We also establish necessary and sufficient conditions for an upper bound to be a fixed point of the closure operator. Since the asymptotic rate function is an upper bound for itself and it is a fixed point, we conclude the Schur concavity of the constant-composition rate function. Finally, we survey existing upper bounds for binary and nonbinary constant-weight and constant-composition codes, combine them into optimized envelopes within the transport framework, and obtain improved theoretical and numerical bounds.

For $r \ge 0$, let $\mathcal P_r=\{\binom{r}{0},\binom{r}{1},\ldots,\binom{r}{\lfloor r/2\rfloor}\}$ be the set of distinct entries in row $r$ of Pascal's triangle. We study the least possible least common multiple of $n$ entries chosen from one row, with the row itself also free: $a(n)=\min_{r\ge0,\ S\subseteq\mathcal P_r,\ |S|=n}\operatorname{lcm}(S)$. Whereas the least common multiple of an entire row is given by a classical identity of Farhi, allowing both the row and the selected coefficients to vary creates a different optimization problem. We first recast the fixed-row problem exactly as a weighted prime-power exclusion problem, which explains how omitting a few coefficients can remove expensive prime-power contributions. Our main asymptotic result is $\log a(n)=2n+O\!\left(n\exp\!\left(-c(\log n)^{3/5}(\log\log n)^{-1/5}\right)\right)$ for some absolute $c>0$, so $a(n)^{1/n}\to e^2$. A two-band refinement further shows that every optimal row satisfies $r_n=2n+O\!\left(n\exp\!\left(-c(\log n)^{3/5}(\log\log n)^{-1/5}\right)\right)$, and that the minimum prefix defect of an optimal support is $o(n)$.

Phylogenetic networks provide a flexible framework for representing reticulate evolutionary processes, such as hybridization, introgression, recombination, and horizontal gene transfer. However, their combinatorial complexity makes even basic enumeration problems difficult. Building on our previous work for networks with up to three reticulations, we derive an explicit closed-form formula for the number of unrestricted rooted binary phylogenetic networks with four reticulations on \(n\) labeled taxa. Our approach is based on tree-component graphs. We classify the 79 possible component graphs corresponding to networks with four reticulations into ten groups. We then enumerate the networks associated with each group by combining known counts of one-component networks, forests, and networks with fewer reticulations. Summing these contributions yields the desired formula. This result extends the exact enumeration of unrestricted binary phylogenetic networks to four reticulations and further demonstrates the effectiveness of component graphs for systematically organizing and counting increasingly complex network classes.

We give an algorithm counting the permutations that avoid a fixed pattern of the following form: the direct sum of an increasing pattern and 231. The first members of the family are 1342 and 12453. For each member the algorithm uses polynomially many operations and stored integers, with degrees that grow linearly in the length of the pattern. It comes from a recurrence that reads a permutation from left to right and records the constraints that the letters read so far impose on those still unread. This recurrence has exponentially many states, but part of each state is protected: later steps carry it along unchanged and do not depend on it, and factoring the protected part out leaves a dynamic program of polynomial size. For 12453 a translation symmetry sharpens the bounds to degree seven for the operations and degree four for the storage. We also compute the number of 12453-avoiding permutations of every length up to 150. The previously published series, due to Biers-Ariel (2019), reached length 38. We also give a sampler of uniformly random avoiders. A floating-point implementation of it, proved to be within total variation distance $3.5\cdot10^{-5}$ of uniform for ideal random bits, draws the one million 12453-avoiding permutations of length 300 shown in a heatmap. The literal and kernel recurrences for 1342 and 12453 are verified in the Lean 4 proof assistant.

For all prime powers $q\geq5$, we construct lattices $\mathcal{L}_q\subseteq\mathbb{Z}^q$ with kissing numbers \[ τ(\mathcal{L}_q)\geq \left(\frac{1}{2πe^2}+o(1)\right)\sqrt{q}\,e^{2\sqrt{q}}. \] The same asymptotic bound holds on a set of integer dimensions of natural density $1$, and in every sufficiently large integer dimension $n$ with an additional factor $e^{-\tfrac{1}{2}n^{1/40}}$. The construction is an extension of a previous construction by Bennett-Peikert based on Reed-Solomon codes.

We introduce two new graph classes, the bicoloured-interval graphs and the interval-sandwich graphs, arising from the study of the robust line fitting problem in computer vision. In a bicoloured-interval graph, each vertex is assigned a real interval and one of two colours. Vertices of different colours are adjacent precisely when their intervals intersect, and vertices of the same colour precisely when the centre of one interval lies in the other. Discarding the colouring yields the interval-sandwich graphs, sandwiched between the $50\%$-tolerance graph and the intersection graph of a family of intervals. We prove structural results for both classes, determining which holes, antiholes, trees, and complete bipartite graphs each contains. Consequently, neither class is characterised by finitely many forbidden induced subgraphs. We place both classes strictly between the unit tolerance graphs and the co-comparability graphs in the tolerance hierarchy, separating them from the neighbouring classes. In particular, we construct an infinite family of proper tolerance graphs, each of which is a minimal forbidden induced subgraph for the bicoloured-interval graphs. Finally, we consider the recognition problems for both classes. We show that every graph in either class has a polynomial-size integer representation, and hence that both problems lie in~$\textsf{NP}$.

Let $W=W(B_n)$ act diagonally on $\mathfrak{h}\oplus\mathfrak{h}^*$, let $S=\mathbb{C}[\mathfrak{h}\oplus\mathfrak{h}^*]$, let $J\subset S$ be the ideal generated by the $W$-alternating polynomials and $\mathfrak{m}_S$ is the maximal ideal of the origin. For sufficiently large $m$ we compute $q,t$-Fuss-Catalan polynomial $Cat^{(m)}(B_n;q,t):=Hilb(\frac{J^m}{\mathfrak{m}_S J^m})_{det-part}$ and imply $Cat^{(m)}(B_n;1,1)=\binom{n(m+1)}{n}$. For proofs, we work with the $Γ$-equivariant Hilbert scheme $Y_n=nΓ$-$Hilb(\mathbb{C}^2)$, $Γ=μ_2$ and Haiman-type Koszul complex that defines the punctual locus of $Y_n$. Our formula for $Cat^{(m)}(B_n;q,t)$ is derived from a localization computaion for the Haiman-type Koszul complex.

The Hadamard maximal determinant problem seeks an $n\times n$ matrix $X$ with entries in $\{\pm 1\}$, which maximizes the determinant $\vert \det X \vert$ for a given order $n \in \mathbb{N}$. We report matrices attaining new record determinants for orders $n\equiv 3\pmod{4}$ between $103$ and $119$, as well as $n=51$. We provide a proof of optimality within a specific family of circulant--block constructions for $X$. For these orders, we recast the Hadamard problem as a sequence reconstruction problem from a pair of periodic autocorrelation functions, subject to certain arithmetic conditions. We describe several learning--based strategies for reconstruction and provide a comparison with classical simulated annealing--style approaches as a benchmark.

We propose Choquet-type extensions for set-pair functions, an $L^p$-integration of a family of such extensions, and the associated min-max extension constants, and apply these to investigate variational problems and establish sharp bounds for many combinatorial and geometric quantities. Specifically, we use Choquet-type extensions to construct equivalent functional representations of fractional optimization problems with set-variables, which find applications in various settings, such as maxcut and bipartiteness ratio on graph limits, and Cheeger constants on Riemannian manifolds. We further establish the $L^p$ integration of a family of Choquet-type extensions, and apply it to derive spectral bounds for conductance and other combinatorial quantities on measure spaces. A monotonicity inequality on min-max extension constants is proposed, which unifies classical estimates and uncovers new bounds for many geometric and combinatorial quantities, such as torsional rigidity, Cheeger constants, Dirichlet $p$-isoperimetric constant, and $p$-Laplacian eigenvalues, in seemingly unrelated underlying structures----including hypergraphs, graph limits, Riemannian manifolds and metric measure spaces.

We characterize four groups of Clifford circuits for Calderbank--Shor--Steane (CSS) codes that are relevant to fault-tolerant logical operations. First, we show that every code-preserving Clifford circuit is a product of Z-diagonal circuits, composed of S and CZ gates, and their X-basis analogues. Second, we define the two-fold transversal group, generated by depth-one two-local code-preserving circuits, and show that each of its elements can be expressed as a product of layers consisting of either Z-diagonal, X-diagonal, or CNOT gates. As a corollary, every transversal gate is a product of three transversal diagonal circuits; for connected non-self-dual codes, two such circuits suffice. We further show that every code-preserving automorphism circuit, consisting of single-qubit Clifford gates and permutations, has a normal form comprising a Hadamard layer, a permutation, and two diagonal circuits. We also define a two-fold automorphism group, in which a depth-one two-local circuit may be code-preserving up to a permutation, and show that its logical image can be larger than that of the two-fold transversal group. For 231 CSS codes, we provide explicit generators and determine the logical image of the two-fold transversal group. We tabulate 173 codes whose full logical Clifford group is generated by two-fold-transversal circuits, including codes of distances 3, 4, 5, 6, 8, 10, 12, and 13, with respective best rates 2/5, 3/4, 34/77, 17/28, 14/25, 1/27, 3/56, and 1/33. We construct families of CSS codes from bipartite grids, cut-complements, and quadrics, and census the self-dual codes invariant under rank-3 permutation groups. Many of these codes realize the full logical Clifford group in this way.

Adriano Mario Garsia was born in Tunis on August 20, 1928, to a Tunisian-Italian family. He lived on a farm there until the end of World War II, then moved to Rome. After finishing high school, he was sent to the United States to live with relatives in Woyming and eventually made his way to California, becoming a student of Charles Loewner at Stanford in the early 1950s. Following his Ph.D., Adriano held positions at MIT, the University of Minnesota, and Caltech before joining the nascent mathematics department at the University of California, San Diego, in 1966 where he spent the remainder of his career. He passed away in San Diego on October 6, 2024, at the age of 96.

A dominating set is called $k$-limited if every vertex in the set has at most $k$ neighbors outside it. The minimum cardinality among all $k$-limited dominating sets of a graph $G$ is the $k$-limited domination number, denoted by $γ_k^{\mathrm L}(G)$. We prove that, for every fixed integer $k\ge 2$, deciding whether a graph admits a $k$-limited dominating set of size at most $\ell$ is $\mathsf{NP}$-complete. In addition, a systematic study of $k$-limited domination in Cartesian products is initiated. In particular, we establish general lower and upper bounds for $γ_k^{\mathrm L}(G\square H)$, show that both are sharp, and derive exact values for several natural families of graph products.

Graph burning is a deterministic discrete-time process that models the propagation of information within a network as a set of fires that spread in a graph. The associated graph parameter, the burning number, measures the speed of that spread. The smaller the burning number of a graph is, the faster information spreads in the corresponding network. In this paper, we mainly study the burning number from a structural point of view. In particular, we structurally characterize all graphs with burning number 2. We then proceed to compute the burning number of split graphs and $\{ K_2+2K_1, P_4, C_4\}$-free graphs. In particular, we show that connected split graphs and connected $\{ K_2+2K_1, P_4, C_4\}$-free graphs are well-burnable. Lastly, we provide a blueprint on how to investigate the burning number of a given social network.

We study lattice-filtered move graphs as finite-state models for knot types under a length cap. At level $N$, vertices are lattice polygons of a fixed knot type with length at most $N$, modulo orientation-preserving lattice isometries, and edges are local moves. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level it is an ultrapseudometric. For the standard BFACF moves on the simple cubic lattice, the theorem of Janse van Rensburg and Whittington gives connectivity without a cap; our question is the least cap connecting a prescribed pair, and explicit BFACF paths serve as finite PL isotopy certificates. We completely determine the minimal-layer merge trees of the amphichiral knots $4_1$ and $6_3$. The $152$ minimal $4_1$ classes form four components of sizes $58,58,18,18$ at $N=30$ and a single component at $N=32$, so the merge tree is $4\to1$ with barrier $2$. The $148$ minimal $6_3$ classes form twelve components at $N=40$, exchanged in pairs by reflection; at $N=42$ they merge into two mirror components, each with $74$ minimal classes and $12337$ states, and a verified path joins them at $N=44$. Hence the merge tree is $12\to2\to1$ with possible barriers $0,2,4$. Independently verified seed-to-mirror certificates realize the extremal barriers $2$ for $4_1$ and $4$ for $6_3$. Checks for the trefoil, the five-crossing prime knots and composite trefoils are included as reproducibility tests.

We provide a complete characterization of those graphons $W$ for which the inhomogeneous random graph \(\G(n,W)\) is asymptotically almost surely Hamiltonian. The characterization involves three conditions. Two of them constitute the characterization of $\G(n,W)$ being a.a.s.\ connected, as was shown recently by Hladký and Viswanathan. The third condition captures a geometric obstacle which prevents $\G(n,W)$ from having perfect fractional matchings. A prominent feature of the positive direction of our proof is the use of weak* limits to translate the absence of the above geometric obstacle into favourable matching properties of a regularization of $\G(n,W)$.

We give a near-linear time 4-coloring algorithm for planar graphs, improving on the previous quadratic time algorithm by Robertson et al. from 1996. Such an algorithm cannot be achieved by the known proofs of the Four Color Theorem (4CT). Technically speaking, we show the following significant generalization of the 4CT: every planar triangulation contains linearly many pairwise non-touching reducible configurations or pairwise non-crossing obstructing cycles of length at most 5 (which all allow for making effective 4-coloring reductions). The known proofs of the 4CT only show the existence of a single reducible configuration or obstructing cycle in the above statement. The existence is proved using the discharging method based on combinatorial curvature. It identifies reducible configurations in parts where the local neighborhood has positive combinatorial curvature. Our result significantly strengthens the known proofs of 4CT, showing that we can also find reductions in large ``flat" parts where the curvature is zero, and moreover, we can make reductions almost anywhere in a given planar graph. This also opens possibilities for extensions to higher surfaces since we can find such flat parts in any large-width triangulation of any fixed surface. From a computational perspective, the old proofs allowed us to apply induction on a problem that is smaller by some additive constant. The inductive step took linear time, resulting in a quadratic total time. With our linear number of reducible configurations or obstructing cycles, we can reduce the problem size by a constant factor. Our inductive step takes $O(n\log n)$ time, yielding a 4-coloring in $O(n\log n)$ total time. To efficiently handle a linear number of reducible configurations, we need them to be sufficiently robust to be useful in other applications. All our reducible configurations are what is known as D-reducible.

We prove that a random binary automaton with $n$ states is synchronizing with high probability and the asymptotic is exactly $1-Θ(\frac{1}{n})$ as conjectured in [Cameron, 2011]. We also present a deterministic algorithm which decides whether a given random automaton is synchronizing in expected time linear in $n$ and prove that it is optimal. This is an expanded and heavily revised version of the conference paper [Berlinkov, 2016] with an addition of the algorithmic result described above.

The enumeration of diagonally symmetric alternating sign matrices (DSASMs) is studied, and a Pfaffian formula is obtained for the number of DSASMs of any fixed size, where the entries for the Pfaffian are positive integers given by simple binomial coefficient expressions. This result provides the first known case of an exact enumeration formula for an alternating sign matrix symmetry class in which a simple product formula does not seem to exist. Pfaffian formulae are also obtained for DSASM generating functions associated with several natural statistics, including the number of nonzero strictly upper triangular entries in a DSASM, the number of nonzero diagonal entries in a DSASM, and the column number of the unique 1 in the first row of a DSASM. The proofs of these results involve introducing a version of the six-vertex model whose configurations are in bijection with DSASMs of fixed size, and obtaining a Pfaffian expression for its partition function. Various related topics are also studied, involving diagonally symmetric permutation matrices, off-diagonally symmetric alternating sign matrices, certain natural involutions on DSASMs, and the asymptotic enumeration of DSASMs and other classes of alternating sign matrices.

Ore in 1961 determined the maximum number of edges in graphs not containing a Hamiltonian cycle, and Turán in 1941 found the maximum number of edges in graphs not containing a $K_{r+1}$. Motivated by the work of Adamus in 2009 and Ferrero and Lesniak in 2018 on the maximum number of edges in $r$-partite non-Hamiltonian graphs, we find the maximum number of edges in $K_{r+1}$-free non-Hamiltonian graphs. We determine the extremal graphs, which are different for $n \ge 26$ with $r \ge 3$, for small values of $n$ with $r \in \{4,5\}$, and for all values of $n$ with $r=2$. In the first case we show that the same graphs achieve the maximum number of $t$-cliques for every $t \ge 2$. Both the edge and clique results are proved via extremal theorems for graphs satisfying a condition on low-degree vertices related to Pósa's theorem, which we apply more broadly in a second paper. Both extend from Hamiltonicity to chorded pancyclicity.

An oriented $k$-uniform hypergraph, or oriented $k$-graph, is said to satisfy Property O if, for every linear ordering of its vertex set, there is some edge oriented consistently with this order. The minimum number $f(k)$ of edges in a $k$-graph with Property O was first studied by Duffus, Kay, and Rödl; the bounds were later improved by Kronenberg, Kusch, Lamaison, Micek, and Tran. In particular, they established the bounds $k! + 1 \le f(k) \le \left(\lfloor\tfrac{k}{2}\rfloor+1 \right) k! - \lfloor\tfrac{k}{2}\rfloor(k-1)!$ for every $k \ge 2$. In this note, we extend the study of Property O to the linear setting. We determine the minimum number $f'(k)$ of edges in an oriented linear $k$-graph with Property O up to a $\operatorname{poly}(k)$ multiplicative factor, showing that $\frac{(k!)^2}{2e^2k^4} \le f'(k) \le (1+o(1)) \cdot 4 k^6 \ln^2 k \cdot (k!)^2$. Our approach also yields bounds on the minimum number $n'(k)$ of vertices in an oriented linear $k$-graph with Property O. Additionally, we explore the minimum number of edges and vertices required in a linear $k$-graph satisfying the newly introduced Erdős--Szekeres properties.

Boolean matrix factorization (BMF) has many applications in data mining, bioinformatics, and network analysis. The goal of BMF is to decompose a given binary matrix as the Boolean product of two smaller binary matrices, revealing underlying structure in the data. When interpreting a binary matrix as the adjacency matrix of a bipartite graph, BMF is equivalent to the NP-hard biclique cover problem. By approaching this problem through the lens of commutative algebra, we utilize algebraic structures and techniques--particularly the Castelnuovo-Mumford regularity of combinatorially defined ideals--to establish new lower bounds for Boolean matrix rank.

In 2011, Rubey generalized chute and ladder moves on the set of reduced pipe dreams for a permutation $w$ and conjectured that the induced poset on reduced pipe dreams is a lattice. In this paper, we prove this conjecture. Our key tool is a new type of move operation $\mathcal{M}_{ij}$, defined as a composite of certain generalized ladder moves and then simplified in terms of swaps on a partition shape. We show that joins and meets exist in Rubey's poset by proving simple recursive formulas in terms of $\mathcal{M}_{ij}$ operations, so we refer to the poset as the Rubey lattice henceforth. In addition, we give an explicit criterion to determine if two elements of the Rubey lattice are comparable using an injective map from reduced pipe dreams to tableaux on the diagram of a permutation. The pipe dream tableaux construction also gives an exact formula for the maximum length of any chain in the Rubey lattice and bounds on the number of reduced pipe dreams for $w$, or equivalently the sum of the coefficients in the corresponding Schubert polynomial. Several open problems for further development of the Rubey lattice related to Markov processes, Schubert polynomials, and Grothendieck polynomials are given.

In the last decade, the order polytope of the zigzag poset has been thoroughly studied. A related poset, called \emph{crown poset}, obtained by adding an extra cover relation between the endpoints of an even zigzag poset, is not so well understood. In this paper, we study the order polytopes of crown posets. We provide explicit formulas for their $f$-polynomials, and show that the sequence of coefficients of each $f$-polynomial is log-concave and asymptotically normal. We provide recursive formulas for their Ehrhart polynomial, giving a counterpart to formulas found in the zigzag case by Petersen--Zhuang (2025). We use these formulas to simplify a computation by Ferroni--Morales--Panova (2025) of the linear term of the order polynomial of these posets. Furthermore, we provide a combinatorial interpretation for the coefficients of the $h^*$-polynomial in terms of the cyclic swap statistic on cyclically alternating permutations, which provides a circular version of a result by Coons--Sullivant (2023).

Recent works explore deep learning's success by examining functions or data with hierarchical structure. To study the learning complexity of functions with hierarchical structure, we study the noise stability of functions with tree hierarchical structure on independent inputs. We show that if each function in the hierarchy is $\varepsilon$-far from linear, the noise stability is exponentially small in the depth of the hierarchy. Our results have immediate applications for agnostic learning. In the Boolean setting using the results of Dachman-Soled, Feldman, Tan, Wan and Wimmer (2014), our results provide Statistical Query super-polynomial lower bounds for agnostically learning classes that are based on hierarchical functions. We also derive similar SQ lower bounds based on the indicators of crossing events in critical site percolation. These crossing events are not formally hierarchical as we define but still have some hierarchical features as studied in mathematical physics. Using the results of Abbe, Bengio, Cornacchiam, Kleinberg, Lotfi, Raghu and Zhang (2022), our results imply sample complexity lower bounds for learning hierarchical functions with gradient descent on fully connected neural networks. Finally in the Gaussian setting, using the results of Diakonikolas, Kane, Pittas and Zarifis (2021), our results provide super-polynomial lower bounds for agnostic SQ learning.

We introduce a new way of counting numerical semigroups, namely by their maximum primitive, and show its relation with the counting of numerical semigroups by their Frobenius number. We show that these two ways of counting are Möbius transforms of one another. We also establish that almost all numerical semigroups with large enough maximum primitive satisfy Wilf's conjecture. A crucial step in the proof is a result of independent interest: a numerical semigroup $S$ with multiplicity $\mathrm{m}$ such that $|S\cap (\mathrm{m},2 \mathrm{m})|\geq \sqrt{2\mathrm{m}}$ satisfies Wilf's conjecture.