arXiv++ Combinatorics

In the localization game on a graph $G$, a team of cops searches for an invisible, mobile robber on $G$ by "probing" vertices; each probe tells the cops the distance from the probed vertex to the robber. The cops win if they can uniquely determine the robber's location. In this paper, we introduce a related game: the directional localization game. In this game, instead of probes returning distances, they return directions: when the cops probe a vertex $v$, the robber must respond with one or more neighbors of $v$ that lie on a shortest path from $v$ to the robber's location. The minimum number of cops needed to win this game on $G$ is the directional localization number of $G$. We study the directional localization game on several classes of graphs, including chordal graphs, Cartesian products, and incidence graphs of projective planes. We also bound the directional localization number of a graph $G$ in terms of the degeneracy and the treewidth of $G$.

Breakpoint graphs originate in comparative genomics, where their alternating cycles encode relationships between genomes. We study a constrained class of three-colored breakpoint graphs associated with permutations and develop cycle-refined generating functions for two extremal families. These families have a natural topological interpretation: their canonical surfaces are, respectively, the sphere and the projective plane. The spherical family is characterized by noncrossing configurations, while the projective-plane family admits a different decomposition involving a distinguished family of Möbius ladders. The resulting generating-function equations retain the full cycle structure but nevertheless admit substantial reductions. This leads to explicit Catalan-weighted evaluations, polynomiality results for refined cycle statistics, and a connection between a natural diagonal specialization and noncrossing trees. The two topological families exhibit markedly different combinatorial mechanisms, providing complementary examples of how local transformations of breakpoint graphs can control refined permutation enumerations. As a further application, the same Catalan-weighted sums arise in asymptotic unitary-Weingarten expansions for entanglement of random Gaussian states in linear optics. The combinatorial results determine the leading and constant-order moment polynomials entering the Rényi entropy expansion, with the projective-plane contribution giving the finite-size constant correction.

In this paper we study irreducible simplicial arrangements of projective planes in $\mathbb{P}^{3}(\mathbb{R})$ from combinatorial and projective geometry viewpoints. We first formulate a simpliciality criterion in terms of incidences between rank-two and rank-three flats, together with equivalent formulations using face numbers, reduced restrictions, and characteristic polynomials. We also relate the classical planar restriction data of Grünbaum-Shephard to Ziegler multirestrictions. Our principal result concerns the rank-four special-vertex property: among the irreducible crystallographic Coxeter arrangements of rank four, the arrangements of types $A_4$ and $B_4$ admit a special vertex, whereas those of types $D_4$ and $F_4$ do not. A simplicial deletion chain inside $B_4$ supplies further irreducible examples with a special vertex. Finally, we compare rank-flat, Purdy-type, and Grünbaum-Shephard defects for these arrangements.

A triangulation is a graph on a surface where every face is triangular. It is well-known that a planar triangulation $G$ is $3$-chromatic if and only if $G$ is even, that is, all the vertices of $G$ have even degree. We focus on even triangulations of non-spherical surfaces. It is known that there is an invariant of even triangulations, called a monodromy. This concept was firstly introduced by Hutchinson et al. [J. Combin. Theory Ser. B 84 (2002) 225--239], and the congruence class of monodromies was defined by Kawarabayashi et al. [J. Combin. Theory Ser. B 99 (2009) 229--246]. For a lower genus surface $F^2$, the number of congruence classes of monodromies have already been shown, $1$ if $F^2$ is the sphere, $2$ if $F^2$ is the projective plane by Mohar [Discrete Math. 244 (2002) 339--343] and $3$ if $F^2$ is the torus by Higuchi et al. [Discrete Math. 311 (2011) 1128--1135]. In this paper, we count the number of congruence classes of monodromies of even triangulations of general closed surface $F^2$.

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.

Let $C^r_{1,k}$ be the $r$-uniform $k$-crown and put $h=r-k+2$. For a finite linear intersecting $r$-uniform hypergraph $G$, let $τ_h(G)$ be the minimum size of a set meeting every edge of $G$ in at least $h$ vertices, and define \[ ρ_{r,k}=\sup_G\frac{|E(G)|}{τ_h(G)}. \] We prove that every fixed pair $(G,B)$, with $B$ an $h$-fold transversal, yields \[ \operatorname{ex}^{\mathrm{lin}}_r(n,C^r_{1,k}) \ge \frac{|E(G)|}{|B|}n-O_{G,B}(\sqrt n) \] for all sufficiently large $n$. Incidence counting gives $ρ_{r,k}\le r/h$, and equality is characterized after dualization by a pairwise balanced design with a distinguished regular subfamily. For $r=q+1$, where $q$ is a prime power, truncated projective planes give \[ \frac qh\le ρ_{q+1,k}\le\frac{q+1}{h}. \] The upper endpoint is attained whenever a maximal $h$-arc exists; in particular, if $q$ is even and $h\mid q$, then $ρ_{q+1,k}=(q+1)/h$. Padding the truncated-plane construction gives \[ ρ_{r,r}=(1-o(1))\frac r2 \] and, uniformly for each fixed $\varepsilon>0$ and $\varepsilon r\le k\le r$, \[ ρ_{r,k}=(1+o(1))\frac{r}{r-k+2}. \] For nonintersecting templates, the corresponding transfer is governed by a local safe-block condition that replaces the $h$-fold transversal requirement.

We study a variant of Cops and Robbers in which the robber attempts to visit as many vertices of the graph as possible without being captured, while the cop aims to keep the robber confined to a small set of vertices. The \textit{damage number} of a graph $G$, introduced by Cox and Sanaei in 2019, is the maximum number of vertices the robber can visit in a game of Cops and Robbers on $G$. In this paper, we determine damage numbers for several classes of graphs, including hypercubes, Hamming graphs, Johnson graphs, incidence graphs of projective planes, and Erdős-Rényi random graph $G(n,p)$, for $p \gg \log^{2/5}(n) / n^{1/5}$. We also show that the problem of determining the damage number of a graph is {\sf PSPACE}-complete.

Let $3 \le k \le r$, and let $C^r_{1,k}$ be the $r$-uniform $k$-crown. Set $q=r-1$, $t=k-1$, $D=tq+1$, and $D^-=(t-1)q+1$. For every edge $e$ of a linear $C^r_{1,k}$-free $r$-graph, $Φ_H(e):=\sum_{v\in e}1/d_H(v)\ge r/D$. We classify equality: $e$ is sharp if and only if $e$ and all edges meeting it form $t$ projective planes of order $q$ glued along the common line $e$. This equality state is repulsive. If $f\ne e$ meets a sharp edge $e$, then at least $q-t+2$ vertices of $f\setminus e$ have degree at most $D^-$. It follows that sharp edges are pairwise disjoint, every edge meets at most $t-1$ sharp edges, and $|V^-(H)|\ge r(D-1)(q-t+2)|S(H)|/((t-1)D^-)$. Combining sharp-state repulsion with the integral defect of every nonsharp edge gives an unconditional strict improvement over the coefficient $D/r$. Define $B_{r,k}=r(D-1)/(t-1)$, $β_{r,k}=B_{r,k}/(B_{r,k}+1)$, and $η_{r,k}=(q-t+2)/D^- - q/D$. If $η_{r,k}>0$, equivalently if $t=2$, or if $t\ge 3$ and $q\ge t(t-2)+1$, then $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+1)$. For the remaining parameters, $|E(H)|\le D(D-1)|V(H)|/(r(D-1)+β_{r,k})$. For fixed $k$, the first bound holds for all sufficiently large $r$ and improves $D/r$ by $r^{-2}+O_k(r^{-3})$. For $k=3$, every component containing a sharp edge is exactly a pair of projective planes glued along that edge. For $k\ge 4$, light attachments may occur throughout a sharp core, but only $O_k(r)$ affine points can have degree greater than $D^-$. We also prove a quantitative near-sharp localization theorem: after deleting a controlled exceptional family, the neighborhood of a near-sharp edge splits into $t$ large packets with approximate affine-plane row-column incidence.

The Zarankiewicz number z(43;2) is the largest number of edges in a four-cycle-free bipartite graph with two parts of size 43. Reiman's bound gives z(43;2) <= 301, with equality only for the incidence graph of a projective plane of order six; no such plane exists, so z(43;2) <= 300. We prove z(43;2) <= 299. The argument is elementary and uses no computer search: a counting identity for the leave of the configuration shows that a hypothetical 300-edge graph admits one of exactly twenty-seven degree profiles per side, of which only four combinations are locally compatible. Three force two vertices to share six neighbours; the fourth forces a transversal design TD(6,6), hence four mutually orthogonal Latin squares of order six, contradicting Tarry's theorem. We also give an explicit 284-edge construction inside PG(2,7), so that 284 <= z(43;2) <= 299.

A topological line arrangement is an arrangement of embedded spheres in the complex projective plane that topologically generalizes a complex line arrangement. In this paper, we establish foundational results on the topology of the complement of topological line arrangements. First, we prove that the cohomology ring of the complement is isomorphic to the Orlik-Solomon algebra, as for classical complex line arrangements. Since classical methods are unavailable in this setting, we use a homological method to compute the cohomology ring. We then study the homotopy type of the complement. We prove that the complement of a symplectic line arrangement has the homotopy type of a minimal CW complex. In contrast, every combinatorial type realizable by a topological line arrangement admits a realization with a non-minimal complement. Moreover, every such combinatorial type admits infinitely many realizations whose complements are pairwise non-homotopy equivalent.

In this paper we prove that whenever a projective plane of odd order n contains an oval, it may be used to construct a triple array with n + 1 rows, n.n columns and n(n + 1) symbols. In particular, for any odd prime power s, we use the projective plane over the field of order s to construct an explicitly given (s + 1) times s.s triple array on s(s + 1) symbols. This is only the third infinite series of triple arrays (up to transposition) to be found. Our construction proves a recent conjecture of Gordeev and Ohman (2025) in the case of odd prime powers.

We prove that the recognition problem for algebraic matroids is undecidable. Explicitly, this means that there is no algorithm that takes as input a finite set $S$ and a function $r\colon\mathcal{P}(S) \to \mathbb{Z}_{\ge 0}$ (where $\mathcal{P}(S)$ is the power set) and decides whether there exists a pair of fields $F \subset K$, and a function $f\colon S \to K$, such that for all $A \subseteq S$: $\mathrm{tr.deg}_{K/F}(f(A)) = r(A)$. This problem is known to be decidable if the characteristic of the fields involved is constrained to be zero. We prove that it is undecidable if the characteristic is either left unspecified (in which case a realization over any characteristic is accepted) or fixed to be a prime $p$. The proof relies on Hrushovski--Zilber's Group Configuration Theorem and on the work of Evans and Hrushovski on "Projective Planes in Algebraically Closed Fields". We relate two different such projective planes, and eventually construct a reduction from the solvability of Diophantine equations over $\mathbb{F}_p(x)$ ($p$ prime) to algebraicity of matroids. Solvability of Diophantine equations over $\mathbb{F}_p(x)$ was proved to be undecidable by Pheidas for all $p > 2$, and later by Videla for $p=2$. A central part of our proof is a variant of the so-called Field Configuration Theorem.

We investigate constraints on the existence of topological and smooth realisations of combinatorial line arrangements and $(n_k)$-configurations in the complex projective plane. By replacing complex lines with locally-flatly or smoothly embedded 2-spheres, we explore the extent to which classical geometric results, such as Hirzebruch's inequality, persist in the topological or smooth category. We introduce two classes of special line arrangements that we call odd and even. We provide constraints for any smoothly realised, non-trivial, odd arrangement via Furuta's 10/8-Theorem. By looking at branched double covers and using the G-signature theorem, we study topologically realised, non-trivial, even arrangement. Finally, we establish a new lower bound for $(n_k)$-configurations, showing that for any topologically realised configuration we have $n \geq k^2-5$, which implies the non-existence of topological realisations for finite projective planes.

We study the problem of realizing line configurations as collections of 2-spheres smoothly embedded in the complex projective plane. Building upon prior work by Ruberman and Starkston on topological realizations, we establish a stronger obstruction in the smooth category. Our proof relies on lattice-theoretic arguments based on Donaldson's diagonalization theorem.

We construct two arrangements of nine lines in the complex projective plane with isomorphic intersection lattices but with different minimal degrees of Jacobian relations. The common weak combinatorics is \[ (n_2,n_3,n_4)=(9,7,1), \] so the example is not the classical Ziegler-Yuzvinsky pair, whose weak combinatorics is $(n_{2},n_{3}) = (18,6)$. For the two defining equations $f$ and $g$ we prove \[ {\rm mdr}(f)=4,\qquad {\rm mdr}(g)=5. \] Since the degree is $d=9$, the first equality gives ${\rm mdr}(f)<d/2$. Hence the pair gives a counterexample to the Generalized Terao Conjecture.

We study arrangements of smooth conics and lines in the complex projective plane whose singularities are limited to nodes, tacnodes, and ordinary triple points. The first part of the paper gives numerical restrictions for plus-one generated conic arrangements with defect $ν(C)=3$ and explains how these restrictions interact with Bézout's theorem, the Dimca--Sernesi bound for the minimal degree of a Jacobian syzygy, and Hirzebruch-type inequalities. In particular, the possible numbers of conics are bounded, and the exceptional low-degree cases are separated from those that remain open. The second part concerns arrangements of total degree at most $6$. We identify the weak and strong Ziegler pairs occurring in the database recorded in the Appendix.

In this paper, we study the so-called log-convergence of graphs defined by Balázs Szegedy (arXiv:1504.00858). We answer his Question 4 affirmatively: the sequence of incidence graphs of projective planes over finite fields log-converges, and the limit coincides with that of a particular random graph model.

Negami's Planar Cover Conjecture asserts that a connected graph has a finite planar cover if and only if it can be embedded on the projective plane. While this statement has already been proven for rotation compatible planar covers, namely covers equipped with a certain condition on the rotation system, the existing proof relies on advanced algebraic and topological methods. In this paper, we provide another proof of this result, focusing primarily on combinatorial arguments based on a structural analysis with respect to a spanning tree in the base graph.

We study the coupon collector's problem in a generalized setting where each draw reveals a fixed number of coupons and the sampling mechanism is required to be \emph{fair}, meaning that every coupon appears with the same frequency among the admissible draws. Grunbaum and Yaakobi conjectured that, among all fair mechanisms with fixed parameters, the fully random model maximizes the expected time to complete coverage. We disprove this conjecture by exhibiting explicit counterexamples arising from finite geometry. In particular, we show that the line set of the Fano plane yields a fair mechanism whose expected coverage time exceeds that of the full model. Further exact and computational results are obtained for projective planes of higher order. In addition, we analyze a simple infinite family of fair mechanisms, the star mechanism, for which the expected coverage time admits a closed form. Depending on the scaling regime, this mechanism can be asymptotically slower or faster than the full model, showing that no universal extremality principle holds for fair mechanisms without additional structural assumptions.

In 1996, Youngs proved a surprising theorem that quadrangulations of the projective plane could never have chromatic number exactly 3. This sparked a lot of interest, and the result has been further developed in many directions over the past decades. For example, the result is strengthened by considering the circular chromatic number, which is a real-valued lower bound on the chromatic number. The circular chromatic number of a quadrangulation cannot be in the interval (2,4). This parameter allows a generalization to larger even faces, for which a similar gap exists. In this work, we place these results into a framework based on the notion of winding number using extensions of colorings to continuous mappings. This yields unified and simplified proofs of gaps in the circular chromatic number for graphs with a distinguished set of directed even cycles. This generalizes the setting of graphs embedded on surfaces where every face is even. We further establish an analogous gap phenomenon when all faces are of a given odd length, previously known only in the case of triangulations. For example, we conclude that if G is a graph embedded on the projective plane such that all faces are 5-cycles, then either its circular chromatic number is 5/2 or at least 3, the former being the case only if G is Eulerian and every noncontractible facial walk is of odd length...