arXiv++ Combinatorics

We prove quantitative polynomial Szemerédi-type theorems involving polynomial progressions with shift parameter restricted to the set of shifted primes $\mathbb{P}-1$. The types of configurations covered are distinct degree progressions and progressions involving integer multiples of a fixed polynomial. For nonlinear configurations of length at least three, these results provide the first quantitative versions of such theorems. In the linear case, our results improve on work by the last two authors. Our density bounds are strongest in the case of distinct degree polynomials, where they give polylogarithmic bounds, of the same shape as recent bounds by Shao and Wang with integer shifts. The proofs combine recent quantitative results for polynomial configurations in the integers with quantitative Gowers uniformity bounds of the primes. For multiples of a fixed polynomial, we adapt a comparison argument of Altman and Sawhney to obtain uniformity over the polynomial families produced by the $W$-trick. For distinct degree progressions, we establish a comparison between prime-weighted and unweighted polynomial counts that is uniform throughout the density increment argument and accounts for a possible Siegel zero.

Weak arcs are point sets in PG$(n-1,q)$ meeting every general hyperplane (those are the hyperplanes not going through one of the points given by the standard basis vectors) in at most $n-1$ points. In this paper, we study weak arcs together with balanced variants which are contained on the sides of the fundamental simplex. We give an upper bound on the size of weak arcs, characterise the largest balanced quasi-arcs in the plane and construct large balanced quasi-arcs in PG$(3, q)$. We then use these configurations to build point sets for the random-access problem in DNA-based storage. The constructions are explicit, work over small fields, and attain recovery expectations matching the best known asymptotic bounds.

Our previous papers [8, 9] are the first and second to discuss minimum numbers of ``region'' colors, while minimum numbers of arc colors such as Fox colors are well-studied. As the third installment, in this paper, we investigate the minimum number of Dehn $\mathbb{Z}$-colors. In particular, we show that the minimum number of Dehn $\mathbb{Z}$-colors of a nonsplittable $\mathbb{Z}$-colorable link is three.

Let $X$ be a projective line bundle over a nonsingular toric surface which is a blowup the projective plane along at most 4 invariant points, or a blowup the product of the projective lines along at most 4 invariant points. Let $L$ be an ample line bundle on $X$. Then $L$ defines a projectively normal embedding to big projective space. We show the ideal of this embedded $X$ is generated by elements of degree two.

We present a compact formula for the exact partition function of the $d$-dimensional arithmetic Ising model (AIM). For a $2\times2$ system, we express it analytically using the $q$-Hurwitz-Lerch zeta function and derive explicit forms for the free energy and entropy. Additionally, we find that the entropy increases at high temperatures, supporting the presence of entropic order.

For a full-dimensional rational polytope $P\subset\mathbb{R}^d$ and a real dilation parameter $t>0$, the integer point enumerator is defined by $L_{P}(t):= |tP\cap\mathbb{Z}^d|$. We determine exactly which translation vectors $\mathbf y=(y_1,\ldots,y_d)\in\mathbb{R}^d$ have the property that the single translated counting function $t\longmapsto L_{P+\mathbf y}(t)$, with $t\in\mathbb{Q}_{>0}$, uniquely determines $P$ among all full-dimensional rational polytopes in $\mathbb{R}^d$. The necessary and sufficient condition is that $1,y_1,\ldots,y_d$ be linearly independent over $\mathbb{Q}$. In particular, we may use the explicit algebraic vector $\mathbf y^* := (2^{1/(d+1)},2^{2/(d+1)},\ldots,2^{d/(d+1)})$ in every dimension $d$. The sufficiency proof recovers the primitive facet inequalities from isolated discontinuities of the counting function, while necessity follows from an affine-unimodular obstruction.

We prove a palette sparsification theorem for general $r$-uniform hypergraphs. For all sufficiently large $n$, every $r\ge 3$, and every $α\ge 7.1$, we show that an $n$-vertex $r$-uniform hypergraph of maximum degree $Δ$ is w.h.p. colorable from independently sampled lists of size $O(\sqrt{\log n})$ drawn from an ambient palette of size $\lceil αΔ^{1/(r-1)}\rceil$. The $\sqrt{\log n}$ dependence is asymptotically tight.

For a $C_4$-free graph $G$ on $n$ vertices --- one with no induced cycle on four vertices --- we study the two-sided extremal problem for the triangle density $τ$: How large and how small can $τ$ be for given edge density $\varepsilon$ and clique-number density $κ= ω(G)/n$? We give lower and upper bounds for $τ$ in terms of $κ$ and $\varepsilon$. The two bounds sandwich $τ$, and their compatibility forces a lower bound for $κ$ in terms of $\varepsilon$. When the clique complex of $G$ is $2$-Leray over a field $\Bbbk$, the resulting bound on the clique-number density lies between the previous best $C_4$-free bound and the sharp chordal bound. It improves on the former {\it for every} $\varepsilon \in (0,1)$. The lower bound is elementary. The upper bound is homological, obtained by passing to the Stanley--Reisner ring of the clique complex. When the complex is $2$-Leray, its Betti table has at most two linear strands. The two first entries in the first strand encode edge and triangle densities, and the strong structural form of a Boij--Söderberg decomposition constrains what these entries can be, yielding the upper bound. For $2$-Leray graphs with no holes in the range $[4,g]$ we give a conjecturally sharp bound. We further ask questions concerning the triangle bound for any $C_4$-free graph.

For any graph $G$, let $P(G,k)$ and $P_{\ell}(G,k)$ denote the chromatic polynomial and the list-color function of $G$, respectively. It remains an open problem whether, for every graph $G$ and integer $k$, the equality $P(G,k)=P_{\ell}(G,k)>0$ implies that $P(G,k+1)=P_{\ell}(G,k+1)$ also holds. In this paper, we answer this question in the negative. For every integer $k\ge 3$, we construct an infinite family of graphs $G$ such that $P(G,k)=P_{\ell}(G,k)>0$ while $P(G,k+1)>P_{\ell}(G,k+1)$. Moreover, using this infinite family of graphs as attachment gadgets, we further show that any graph $H$ with $P(H,k)=P_{\ell}(H,k)>0$ can be developed into an infinite family of graphs $H'$ with $P(H',k)=P_{\ell}(H',k)>0$ and $P(H',k+1)>P_{\ell}(H',k+1)$.

In this article, we show that for any bridgeless graph $G$, if its flow polynomial $F(G,x)$ has real zeros only, then $G$ is the dual of a chordal plane graph and each zero of $F(G,x)$ is an integer in the set $\{1,2,3\}$.

Cells for the canonical and $p$-canonical bases organise the representation theory and geometry of Hecke categories. We determine the relevant $p$-canonical basis elements and the resulting $p$-cell structure for the subregular and submaximal cells in all classical types.

For $n\geq 4$, let $c(n)$ be the minimum number of distinct circles containing at least three points of an $n$-point set in the Euclidean plane, where the set is neither collinear nor concyclic. Put[F(n)=1+\binom{n-1}{2}-\left\lfloor\frac{n-1}{2}\right\rfloor.]We determine $c(n)$ for every $n\geq 4$: it equals $F(n)$ apart from three exceptional orders. We also solve the variant in which no three points are collinear; that variant has a single exceptional order. The proofs and exact finite verifications were developed through a collaboration between human researchers and artificial-intelligence systems.

Vizing conjectured that the list edge chromatic number of any graph with maximum degree $Δ$ is at most $Δ+ 1$. This conjecture has been confirmed for several important classes of graphs, in particular, Lang proved that it holds for all graphs of treewidth $3$. In this paper, we introduce the list edge coloring of signed graphs, a framework that generalizes both classical list edge coloring and the signed edge coloring introduced by Behr. We extend Lang's result by proving the signed analogue of Vizing's conjecture for all signed graphs of treewidth $3$, as well as for signed graphs of treewidth $4$ with maximum degree $Δ\ge 10$.

We present improved upper bounds for nine entries of the standard tables of bounds on K_q(n,R), the minimum cardinality of a q-ary code of length n with covering radius R, for q in {6,7}: K_6(7,3)<=232, K_6(8,3)<=1045, K_6(8,4)<=167, K_6(9,4)<=703, K_6(9,5)<=123, K_6(10,4)<=2951, K_6(10,5)<=610, K_7(8,4)<=329, and K_7(9,4)<=1743. The previous best bounds, recorded in Keri's tables (last updated 2011), all arose from general constructions (direct sums and related product rules) rather than from explicit search; to our knowledge these are the first improvements to any upper bound on K_q(n,R) with q>=5 since 2011. The new bounds were found by focused local search seeded with the construction-based incumbents. All nine codes are given explicitly in the ancillary files, together with a standalone verifier; each code was checked by four independent exhaustive verification methods.

A combinatorial game is a two-player game without hidden information or chance elements. The main object of combinatorial game theory is to determine the outcome (i.e., which player has a winning strategy) of a given position in combinatorial games. NIM is a well-known and fundamental ruleset in combinatorial game theory. This paper proposes a novel partizan variant of NIM called PARTIZAN-SERIAL-NIM, defined as follows: there are $n$ piles of stones indexed by $1, 2, \ldots, n$; the two players have permutations $\mathbfσ^L$ and $\mathbfσ^R$ of $(1, 2, \ldots, n)$, respectively; a move is to remove any positive number of stones from the non-empty pile with the minimum value in the player's permutation; the player who cannot make a move loses. This ruleset is a generalization of SERIAL-NIM and PARTIZAN-END-NIM. We give an algorithm to compute the outcome of a given position in PARTIZAN-SERIAL-NIM in $O(n^2)$ time, provided that each arithmetic and comparison operation is performed in $O(1)$ time. Also, for the case where all non-empty piles have the same number $m$ of stones, we prove that the outcome does not depend on $m$ for $m \geq 2$ and present an algorithm to compute the outcome in $O(n)$ time. Further, we prove that the atomic weight of every position in PARTIZAN-SERIAL-NIM is an integer.

Let $F_1=F_2=1$ and $F_{t+2}=F_{t+1}+F_t$ for $t\geq1$. For every $n\geq2$, there are unique integers $a,b,t$ such that $n=aF_t+bF_{t-1}$ with $t\geq2$ and $1\leq a\leq b\leq F_t$. The Fibonacci walk with initial pair $(b,a)$ reaches $n$ as late as possible, and the term following $n$ in this walk is $\lfloorφn\rfloor$ when $t$ is even and $\lceilφn\rceil$ when $t$ is odd, where $φ=(1+\sqrt5)/2$. Let $D=\{d_1<d_2<\cdots\}$ and $U=\{u_1<u_2<\cdots\}$ be the sets corresponding to even and odd $t$, respectively. For $\ell,m\geq1$, define $D_\ell=\{d_{k+\ell}-d_k:k\geq1\}$, $U_\ell=\{u_{k+\ell}-u_k:k\geq1\}$, $D_\ell(m)=\{d_k:d_{k+\ell}-d_k=m\}$ and $U_\ell(m)=\{u_k:u_{k+\ell}-u_k=m\}$. Chung, Graham and Spiro conjectured that $D_\ell=U_\ell$ for all $\ell$, and asked for the densities of $D_\ell(m)$ and $U_\ell(m)$, especially when $\ell=1$. In this paper, we determine the third and fourth order gap spectra, and show that the conjecture holds for $\ell=3$ but fails for $\ell=4$. We also answer their density question by characterizing when $D_\ell(m)$ and $U_\ell(m)$ have natural densities and proving that their logarithmic densities always exist and are equal. For $\ell=1$, we give the exact logarithmic densities.

Let $\mathsf{P}$ be a finite graded poset and $Δ_a^{\mathsf{P}}$ the height-$a$ thickening of its diagonal. We study the \emph{window convolution} $C_a=q_{1\sharp}(k_{Δ_a^{\mathsf{P}}}\otimes^{\mathbf L}q_2^\ast(-))$ on $\mathrm{Shv}(\mathsf{P};k)$. An interleaving distance needs the left derived $\mathbb{L}C_a$ to compose as a flow, $\mathbb{L}C_a\mathbb{L}C_b\simeq\mathbb{L}C_{a+b}$; the total meet functor $Φ$ gives rise to the canonical comparison. Finality is sufficient, and necessary where the finality defect of $Φ$ is essential; where $Φ$ is total at a minimal apex with unit windows, it is the failure of a length-two interval to have a single interior element. The flow fails at every branching length-two interval, and with it on the face poset of every finite regular cell complex of dimension $\ge2$. It survives on tame posets, where $\mathrm{id}\Rightarrow\mathbb{L}C_a$ gives a canonical extended interleaving pseudometric on $\operatorname{D^{b}}(\mathrm{Shv}(\mathsf{P};k))$; in the saturation cases computed here it takes no finite value above the length of $\mathsf{P}$, and is finite if and only if the derived colimits agree.

Let $G=N\rtimes H$ be a finite Frobenius group with $|N|=q$ and $|H|=q-1$. We classify all Ramanujan Cayley graphs of $G$ whose connection sets are normal, in the sense of being unions of conjugacy classes. The group-theoretic input is a simple blow-up phenomenon: every such Cayley graph is either $Y[\overline{K_q}]$ or $Y[K_q]$ for a connected regular Cayley graph $Y$ on the complement $H$. We first prove a graph-theoretic result classifying all Ramanujan graphs of these two forms when $Y$ is an arbitrary connected regular graph on $q-1$ vertices. The proof combines the classical characterization of regular graphs with least eigenvalue greater than $-2$ with a second-moment identity in the bipartite case. Translating the resulting five graph types back to $G$ yields a complete classification for all ratio-one Frobenius groups, and in particular for $\operatorname{AGL}(1,q)$ over every finite field.

Phylogenetic networks are graphs that represent the evolutionary history of species. Recently, the class of orchard phylogenetic networks, which can be reduced by so-called cherry-picking sequences, has gained attention for its computational and biological aspects. In this paper, we study a fundamental question on orchards and their cherry-picking sequences by considering the CoveringNumber problem: given an orchard network $N$, how many cherry-picking sequences are needed to reduce all subnetworks of $N$? We initiate this study by considering the problem for trees. We then show that the covering number can be computed for binary trees recursively using a similar but more fine-grained notion of survival covering number. We also give a recursive formula for the survival covering number of non-binary trees. However, computing the covering number for non-binary trees appears to be considerably more challenging. For this case, we show that the covering number of star trees (whose root is adjacent to all leaves) is equivalent to the so-called SubsetConnectivity problem, which we introduce in this paper. Finally, we show that if there is no restriction on the sequence length, a single sequence of minimum length $\binom{n}{2}$ suffices to reduce all subtrees of a tree on $n$ leaves.

For fixed graphs $H$ and $F$, let $\ex(n,H,F)$ denote the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. In this note, we prove the generalized rational exponents conjecture, posed by Gerbner and Palmer, showing that for every rational number $α\ge1$, there exist fixed graphs $H_α$ and $F_α$ such that \[ \ex(n,H_α,F_α)=Θ(n^α). \] Furthermore, the counting graph $H_α$ can always be chosen connected with diameter at most $3$. Our argument hinges on a localization--compression--shift framework, which transforms the Bukh--Conlon finite family construction for edges into a generalized Turán problem setting with a single forbidden graph.

Plane hypermaps are plane maps endowed with a proper coloration of their inner faces in black or white. We consider the problem of enumerating plane hypermaps with prescribed face degrees and a $k$-alternating boundary condition: by this we mean the colors of inner faces incident to the outer face alternates at most $2k$ times when turning around the hypermap. The present paper deals with the cases $k=1,2$, the general case being left to the forthcoming part II. Our approach relies on the so-called slice decomposition and uses crucially the notion of accessibility, which exploits the canonical orientation of hypermaps and the marking variable $t$ associated with vertices, to enumerate pointed hypermaps by decomposing them according to the set of all vertices that can access to the marked vertex. This process enables us to express the generating functions of hypermaps with mixed boundaries in terms of the generating functions of hypermap slices and to recover, in a purely combinatorial way, some formulas previously obtained through algebraic methods.

Fractional revival (FR), a generalization of perfect state transfer (PST), is a significant phenomenon in quantum state transfer that allows quantum information to be transmitted between two qubits with a certain probability. The existence of FR has been extensively studied on many classes of graphs. However, oriented graphs have not yet been investigated. In this paper, we investigate the existence of proper FR on oriented graphs. We first establish necessary and sufficient conditions for oriented graphs to admit proper FR between strongly cospectral vertices. Furthermore, we prove that oriented Cayley graphs over abelian groups do not admit proper FR, and we subsequently characterize the conditions under which oriented semi-Cayley graphs over abelian groups admit proper FR.

In this paper the tree structure of numerical semigroups is studied. An internal numerical semigroup is a semigroup located in an internal node of the tree. Analogous a leaf numerical semigroup is placed in a leaf node. Internal semigroups with fixed multiplicity, Frobenius number or genus are studied by providing algorithms to construct all of them. Several conjectures are established, for example, in each case (fixed multiplicity, fixed Frobenius number and fixed genus respectively), the results suggest that there are always more internal than leaf numerical semigroups. Finally, numerical semigroups with fixed multiplicity and Frobenius number simultaneously are investigated. In this case with two invariants fixed, moreover closed formulas to count the number of internal and leaf semigroups are provided for some values of multiplicity and Frobenius number.

We discuss three questions from a recent paper of Bhandari, Cunningham, Morrell, Oh and Smith. We obtain an exact local formula for the facet gap between the order and the chain polytope of a finite poset. This gives a classification of the case $\gap(P)=2$ in terms of star elements. For marked chain--order polytopes, the same local weights determine the facet differences between all admissible decompositions.

A partial permutation of $[n] := \{1,\dots,n\}$ is a bijection $g: I \to J$ between two subsets $I,J \subseteq [n]$. Given a partial permutation $g$ of $[n]$, let $a_g \in \mathbb{C}[\mathfrak{S}_n]$ be the group algebra sum of those permutations $w \in \mathfrak{S}_n$ which extend $g$. Informally, a partial permutation $g$ is obtained by forgetting some data in a genuine permutation. The forgotten symmetric functions are the least-studied of the six `standard' bases for the ring of symmetric functions. We show that forgotten symmetric functions arise naturally in class function evaluations on partial permutations.

A set of positive integers $R$ is called a set of nice recurrence if for any measure preserving system $(X,μ,T)$, for all measurable $A\subseteq X$, and each $\varepsilon>0$, there exists $n\in R$ such that $μ(A\cap T^{-n}A)\geqslant μ(A)^2 - \varepsilon$. Answering a long-standing question of Bergelson, we show that sets of nice recurrence have the following Ramsey property: any finite colouring of a set of nice recurrence admits a monochromatic set of nice recurrence.

We study synchronization in the Kuramoto model on finite graphs. We prove that there is an absolute constant $η>0$ such that every finite simple graph $G$ on $n$ vertices with minimum degree at least $(3/4-η)n$ has no local minima of the Kuramoto energy other than the fully synchronized states. This strictly improves the previous $3/4$ upper bound and refutes a conjecture of Bandeira, Kireeva, Maillard, and Rödder.

There is a fascinating array of interrelated questions studying which structures can be guaranteed in digraphs of large minimum out-degree. These often have intriguingly simple statements, yet seem surprisingly difficult to approach. A well-known example is Lichiardopol's conjecture (2014), stating that there exists a function $g:\mathbb{N}\rightarrow \mathbb{N}$ such that every digraph with minimum out-degree at least $g(k)$ contains $k$ vertex-disjoint directed cycles of distinct lengths. In this paper, building on earlier work of the second author, we confirm this conjecture in full generality. We also generalise this result to a weighted setting. Our proof uses and combines many ingredients from structural digraph theory such as butterfly minors, directed tangles, a directed analogue of the Tangle-Wall Theorem due to Robertson and Seymour as well as a local variant of the Directed Flat Wall Theorem due to Giannopoulou, Kawarabayashi, Kreutzer and Kwon. These techniques, which are somewhat atypical in the study of minimum degree conditions, may be of independent interest and may find further applications.

For a graph $ G = (V, E) $ with a vertex set $ V $ and an edge set $ E $, a function $ f : V \rightarrow \{0, 1, 2, . . . , diam(G)\} $ is called a \emph{broadcast} on $ G $. For each vertex $ u \in V $, if there exists a vertex $ v $ in $ G $ (possibly, $ u = v $) such that $ f (v) > 0 $ and $ d(u, v) \leq f (v) $, then $ f $ is called a dominating broadcast on $ G $. The cost of the dominating broadcast $f$ is the quantity $ \sum_{v\in V}f(v) $. The minimum cost of a dominating broadcast is the broadcast domination number of $G$, denoted by $ γ_{b}(G) $. A multipacking is a set $ M \subseteq V $ in a graph $ G = (V, E) $ such that for every vertex $ v \in V $ and for every integer $ r \geq 1 $, the ball of radius $ r $ around $ v $ contains at most $ r $ vertices of $ M $, that is, there are at most $ r $ vertices in $ M $ at a distance at most $ r $ from $ v $ in $ G $. The multipacking number of $ G $ is the maximum cardinality of a multipacking of $ G $ and is denoted by $ mp(G) $. It is known that $mp(G)\leqγ_b(G)$. In 2014, Hartnell and Mynhardt proved that $γ_b(G)\leq 3mp(G)-2$ whenever $mp(G)\geq2$. In 2019, Beaudou, Brewster, and Foucaud improved this bound to $γ_b(G)\leq 2 mp(G)+3$ and conjectured that $γ_b(G)\leq 2 mp(G)$. We solve their conjecture by proving that $γ_b(G)\leq 2 mp(G)$ for every graph $G$. Our proof is constructive and yields a polynomial-time $2$-approximation algorithm for Maximum Multipacking problem which improves the earlier approximation factor $2+o(1)$.

A graph $G$ is $k$-vertex-critical if $χ(G)=k$, but $χ(H)<k$ for every induced subgraph $H$ of $G$. A graph $G$ is $(H_1,H_2,\dots,H_m)$-free if does not contain $H_i$ as an induced subgraph for any $i\in\{1,2,\dots,m\}$.We provide the following dichotomy that for bipartite graphs $H$ and any fixed integer $k\ge 5$ , there are only finitely many $k$-vertex-critical $(P_5,H)$-free graphs if and only if $H$ is $2P_2$-free. This leads us to pose the problem about determining for which graphs $H$ with $χ(H)\ge 3$ there are infinitely many $k$-vertex-critical $(P_5,H)$-free graphs for all $k\ge 5$. Toward this problem, we show that there only finitely many $k$-vertex-critical $(P_5, K_{s,t}+e)$-free graphs for all $k,s,t\ge 1$, where $K_{s,t}+e$ is a complete bipartite graph plus a single edge. On the other hand, we show that there are infinitely many $k$-vertex-critical $(P_5,\operatorname{net},\operatorname{co-net},\overline{C_5},\overline{C_6},\dots\overline{C_{k-1}})$-free graphs for all $k\ge 5$. We also show that there are only finitely many $k$-vertex-critical $(P_4+\ell P_1,\overline{L(K_{2,n})})$-free graphs for all $\ell,n\ge 0$, providing the largest known subfamily of $(P_4+\ell P_1)$-free graphs to satisfy this property. Our results, together with known results, imply the existence of new polynomial-time certifying algorithms to determine the $k$-colourability of many subfamilies of $P_5$-free and $(P_4+\ell P_1)$-free graphs for fixed $k\ge 5$. Our proof techniques apply a powerful theorem of Chudnovsky, Kim, Oum, and Seymour (2016) on prime graphs that we expect to be of interest and have further applications to bounding the number of $k$-vertex-critical graphs in other hereditary families of graphs.

For every $q\ge2$, we prove that every oriented graph $G$ on $n\ge45q-8$ vertices whose minimum semidegree satisfies \[ δ^0(G)\ge \left\lceil\frac n3\right\rceil \] contains a directed cycle of length $3q$ through every vertex. The semidegree bound is sharp. This closes the one-unit gap left by the prescribed-vertex theorem of Kelly, Kühn and Osthus when $3\mid n$. We also prove that if an oriented graph $H$ has order $N$, minimum semidegree $d\ge3$, and $7d\ge2N+3$, then every ordered pair of distinct vertices is joined by a path of length three, four, or five. The constant $+3$ is best possible. As a consequence, the order hypothesis $n\ge10^{10}\ell$ in the general prescribed-vertex theorem of Kelly, Kühn and Osthus can be replaced by $n\ge15\ell-60$ for $\ell\ge7$.

We study finite, connected, simple bipartite graphs in a grid model, in which a graph is drawn as a rectangular array and its structure is read off from empty subrectangles, called holes. In this model we attach to every brick a numerical invariant, its characteristic m, the difference between the number of rows and the largest proper independent set. A brick is excessive if m > 0. Our main results concern this invariant. We determine the characteristic of a disconnected excessive brick from those of its components, showing that m = min_i min{m_i, imb(W_i)} while the imbalance is additive; and we prove that an m-excessive brick is m-extendable, that is, every matching of size m extends to a maximum matching. Since Plummer's notion of n-extendability is defined only for graphs carrying a perfect matching, and our proof nowhere uses balance, the characteristic extends that notion canonically to unbalanced bipartite graphs. Using the characteristic we partition bipartite graphs into eleven structural classes. The underlying decomposition into atomic blocks is the classical decomposition into elementary components, and the description of the maximum proper independent sets by ideals of the block poset is likewise classical; the paper states precisely which results are classical and are not claimed here. What the grid model adds is a single geometric framework in which holes, characteristics and the block triangular form are read off from one picture.

Let $Q^\varepsilon(3,q)$, where $\varepsilon\in\{+,-\}$ and $q>3$ is odd, be a non-degenerate hyperbolic or elliptic quadric of $PG(3,q)$. Fix one of the two quadratic classes of anisotropic points. Since the line joining two distinct points of this class is tangent, secant, or external to the quadric, one obtains a $3$-class association scheme. We classify all non-trivial unions of its relations which define Deza graphs. In addition to the previously known tangency family, exactly four exceptional strictly Deza graphs occur, with parameters $(360,135,54,45)$, $(369,108,36,27)$, $(65,34,18,15)$ and $(168,111,75,70)$. We determine their spectra and Deza children and give geometric or group-theoretic descriptions of all four exceptional graphs.

Random access is a central requirement in DNA-based storage systems: one would like to recover selected information symbols without sequencing the whole encoded object. A recent combinatorial model associates to a generator matrix $G\in F_q^{k\times n}$ the random variable $τ_i(G)$, measuring the number of sampled columns needed to recover the information vector $e_i$. We study the cardinality-based extremal and finite-geometric aspects of simultaneous multi-symbol recovery. For a nonempty set $I\subseteq[k]$, let $τ_I(G)$ denote the number of random column samples needed until all vectors $e_i$, $i\in I$, lie in the span of the observed columns. This variable interpolates between the singleton random access problem and the full-recovery problem underlying coverage depth. For each $m$, we introduce uniform worst-case and average parameters over all requested sets $I$ with $|I|=m$. Using the known subset-counting formula for $E[τ_I(G)]$, we establish general upper and lower bounds for these parameters. In particular, the lower bounds are expressed through order statistics of the singleton recovery variables and specialize to the known singleton bounds when $m=1$. For systematic MDS encoders, we record an equivalent form of the known multi-symbol expectation formula and derive monotonicity and asymptotic consequences. For simplex encoders in arbitrary dimension, we obtain closed formulae in terms of Gaussian binomial coefficients; the full-recovery endpoint agrees with the known coverage-depth formula for simplex codes. Finally, in dimension three we study balanced quasi-arcs and compare their values with the simplex and MDS benchmarks.

Sublinear expansion is weak enough to be extracted from arbitrary graphs while retaining nearly all of their average degree, yet it has proved strong enough to force global structures in many sparse extremal problems. Letzter, Methuku and Sudakov [JLMS 2026] developed methods yielding nearly Hamilton cycles in sufficiently dense regular sublinear expanders, and Montgomery [ICM 2026] subsequently conjectured that, every sufficiently large (but constant) degree $d$-regular sublinear expander is Hamiltonian. We disprove this conjecture in a strong form by constructing $n$-vertex $d$-regular sublinear expanders with degree $d=\left(\frac12+o(1)\right)\log^2 n$, which does not even has a cycle covering a positive fraction of its vertices. The construction blows up one side of a biregular Ramanujan graph into almost-complete blocks while keeping the other side independent. The Ramanujan incidence graph certifies expansion for arbitrary mixtures of partial blocks and separator vertices, whereas the independent side forms a sparse vertex separator that prevents a cycle from visiting enough blocks. The construction also explains why $\log^2 n$ is the natural degree scale for this obstruction.

The refined Diophantine exponent, recently introduced by the author, is a quantity that measures the periodicity of an infinite word. In this article, we study this exponent from combinatorial and topological viewpoints. First, we show that, over a ternary alphabet, the spectrum of the refined Diophantine exponent is $[1,\infty]$. Second, we show that this exponent has topological properties similar to those of the set of Liouville numbers. Finally, we provide concrete examples with the Champernowne, Rudin--Shapiro, and Thue--Morse words, words coming from coding a rotation by intervals, and bracket words.

Frankston, Kahn and Narayanan proved that every regular increasing $3$-wise intersecting family of subsets of $[n]$ has cardinality $o(2^n)$ using Friedgut's junta theorem. We give a short quantitative proof using elementary tools from the analysis of Boolean functions and entropy. More precisely, if $\mathcal{A}\subseteq\mathcal{P}_n$ is a nonempty $3$-wise intersecting family that is both regular and increasing, then $$ \log\frac{2^n}{|\mathcal{A}|}\ge \frac{n}{2}\left(\frac{|\mathcal{A}|}{2^n-|\mathcal{A}|}\right)^2, $$ and consequently $|\mathcal{A}|\le 2^n\sqrt{W(n)/n}$, where $W$ is the principal Lambert function defined by $W(x)e^{W(x)}=x$ for $x\ge0$. We also give a purely Fourier-analytic proof of the weaker estimate $$ |\mathcal{A}|\le \frac{2^n}{1+n^{1/3}}. $$

Let $\mathrm{Sym(n,k)}$ denote the set of permutations on $\{1,2,\ldots,n\}$ with exactly $k$ cycles. A family $\mathcal{F}\subset\mathrm{Sym}(n,k)$ is said to be intersecting if $σ^{-1}τ$ has a fixed point for all $σ,τ\in\mathcal{F}$. In this paper, we investigate the size and structure of maximum-sized intersecting families of permutations in $\mathrm{Sym}(n,k)$. In the regime $k\leq n^{0.25}$, we show that every maximum-sized intersecting family is a star, meaning it consists of all permutations in $\mathrm{Sym}(n,k)$ that agree at a given point in $[n]$. We establish this result by proving a stronger stability result that bounds the maximum possible size of a non-centred intersecting family. Specifically, in the regime $k\leq n^{0.25}$, the size of any non-centred intersecting family is at most $\left(2/3+o(1)\right)$ times the maximum possible size of a star. In the tighter polylogarithmic regime $k\leq (\ln n)^{d}$, we improve this bound to $\left(1-1/e+o(1)\right)$ times the maximum possible size of a star; we show that this bound is asymptotically sharp. Thus, we establish both an Erdős--Ko--Rado theorem and its corresponding stability version for $\mathrm{Sym}(n,k)$.

The growth rate of Av(1324) is the last unknown Stanley-Wilf limit of a length-four pattern. The best rigorous lower bound has been 10.271012 since Bevan, Brignall, Elvey Price and Pantone obtained it in 2020; we raise it to 10.617. Their scheme relaxes an interleaving rule in one direction only. Relaxing it in both is valid, and the Harris inequality then bounds the resulting count below by the product of its two marginals. We remove that inequality, the last one the scheme contains: both neighbours of a connecting cell are placed against one and the same sequence of skew components, so their joint count is a single transfer operator on the square of one cell's state space, and the matrix the Catalan series is applied to is unipotent, so the series terminates and the count is exact. Its rate is concave in the strip profile, which reduces the minimisation to finitely many vertices, and the vertices the aggregating weight does not reach are classified. Two further ingredients enter: an algebraic tilt of the domino ensemble off the leaf and empty-strip densities at which their construction holds it, and the k-leaf strip densities in closed form, which they could not obtain even for k = 1.

The Kahn--Lovász theorem gives a sharp upper bound on the number of perfect matchings in a graph in terms of its degree sequence, extending the classical Brégman--Minc inequality for bipartite graphs. In this paper, we establish an asymptotically sharp extension of the Kahn--Lovász theorem to $F$-factors for every Hamiltonian graph $F$. As a consequence, we asymptotically determine the maximum number of $F$-factors in an $n$-vertex $m$-edge graph, yielding an $F$-factor analogue of Kruskal--Katona-type theorems. We also prove a multigraph analogue of the Kahn--Lovász theorem. Combining this with our results for Hamiltonian graphs, we obtain an asymptotically sharp Kruskal--Katona-type bound for a further class of connected graphs $F$, including those containing two vertex-disjoint cycles of equal length whose union spans $V(F)$.