arXiv++ Combinatorics

We study arrangements of conics and lines in the complex projective plane from the viewpoint of 4-manifolds. We introduce combinatorial conic-line arrangements, the conic-line counterpart of rank-3 matroids, together with their topological and smooth realisations, and we ask which restrictions on a complex arrangement survive when its components are replaced by locally-flat spheres in the same homology classes with the same local singularity models. For an ADE combinatorial conic-line arrangement of even total degree admitting a topological realisation we prove a Hirzebruch-type inequality; the proof uses only branched covers and the local topology of rational double points. In the complex-algebraic category we show that equality holds exactly when the arrangement is a maximising curve, hence free with prescribed exponents. We then introduce divisible and odd combinatorial conic-line arrangements and obtain inequalities and congruences for the multiplicity sequence of their resolutions, via cyclic branched covers, the G-signature theorem, spin structures, and Furuta's 10/8-theorem.

A collection of $m \geq 2$ lines through the origin in $\mathbb{R}^2$ is balanced if the sum of the orthogonal projections onto these lines equals $m/2$ times the identity. A line arrangement in $\mathbb{RP}^2$, endowed with the round metric of curvature $1$, is point-balanced if the tangent lines at every vertex form a balanced collection. A line arrangement $\mathcal{A}$ in $\mathbb{RP}^2$ has the Hirzebruch property if it consists of $3k$ lines and every line contains exactly $k+1$ vertices. Using a Kempf--Ness convexity argument, we show that an irreducible arrangement $\mathcal{A}$ has the Hirzebruch property if and only if its projective equivalence class contains a point-balanced representative, unique up to orthogonal transformations. We then combine elementary properties of balanced collections of lines in $\mathbb{R}^2$ with spherical geometry to prove that every irreducible point-balanced arrangement is a reflection arrangement. This gives a new proof of Panov's classification of real Hirzebruch arrangements.

We study the uniqueness of optimal $1$-embeddings on closed surfaces up to weak equivalence. Answering a question of Suzuki in the negative, we show that for every closed surface other than the sphere, the projective plane and the Klein bottle, there exists an optimal $1$-embedded graph admitting two weakly inequivalent optimal $1$-embeddings. Our construction is given explicitly on the torus and is then extended to other surfaces through a suitable connected-sum construction that preserves weak inequivalence. As a consequence, we also obtain optimal $1$-embedded graphs with exponentially many pairwise weakly inequivalent optimal $1$-embeddings as the genus increases.

In this paper we construct new examples of diameter graphs and Reuleaux polyhedra in $\mathbb{R}^3$, obtaining a full characterization of their combinatorial structure. For a finite set of points $X\subset\mathbb{R}^d$, its diameter graph is the graph on vertex set $X$ where pairs forming a diameter pair are connected by an edge. Grünbaum, Heppes and Straszewicz independently proved that the diameter graph of $X\subset \mathbb{R}^3$ has at most $2|X|-2$ edges, answering a question of Vázsonyi. Their proof relied on ball polytopes. The ball polytope $\mathcal{B}(X)$ is the intersection of the unit balls centered at the points of $X$. We call a ball polytope a Reuleaux polyhedron if the centers form a family with $2|X|-2$ diameter pairs. Kupitz, Martini and Perles showed that the skeleton of a Reuleaux polyhedron must be a 2-connected strongly involutive self-dual graph. They conjectured that in the simple 3-connected case this is also sufficient. We not only confirm this conjecture, but we show that any 2-connected (not necessarily simple) strongly involutive self-dual graph arises as the skeleton of a Reuleaux polyhedron. To construct the new Reuleaux polyhedra we construct new diameter graphs. It was known that any 3-dimensional diameter graph is a subgraph of a non-bipartite quadrangulation of the projective plane. We show that the reverse holds. That is, for any such graph we construct a diameter realization. This also confirms and strengthens a conjecture of Montejano, Pauli, Raggi, Roldán-Pensado on metric embeddings of strongly involutive self-dual graphs. The construction relies on ideas from rigidity theory. We also discuss a number of applications of these results, such as the construction of bodies of constant width and connections to Steinitz's theorem and Borsuk's conjecture.

In this series of articles, we study two graph classes and their various geometric representations. The first class consists of strongly involutive self-dual graphs (SISD graphs); the second consists of non-bipartite quadrangulations of the projective plane (NBQP graphs). These classes naturally arise in many geometric problems. For example, NBQP graphs are connected to diameter graphs in $\mathbb{R}^3$, tangency graphs of families of pairwise intersecting circles and pseudocircles, generalized thrackles, and graphs formed by the main diagonals of negatively self-polar polytopes. On the other hand, SISD graphs correspond to the skeletons of negatively self-polar polytopes, self-dual cones, and extremal ball-polytopes. In Part I we show a natural one-to-one correspondence between non-bipartite quadrangulations of the projective plane and 2-connected strongly involutive self-dual maps. In particular, we show that the reduced vertex-face incidence structure of a 2-connected strongly involutive self-dual map is a non-bipartite quadrangulation of the projective plane, and every non-bipartite quadrangulation of the projective plane arises that way. This allows us to translate natural properties from one class to the other. These results lay the foundation for later parts of the series.

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

Motivated by a question of Erdős on blocking sets in a projective plane that intersect every line only a few times, several authors have used unions of algebraic curves to construct such sets in $\mathbb{P}^2(\mathbb{F}_q)$. In this paper, we provide new constructions of blocking sets in $\mathbb{P}^2(\mathbb{F}_q)$ from a union of geometrically irreducible curves of a fixed degree $d$. We also establish lower bounds on the number of such curves required to form a blocking set. Our proofs combine tools from arithmetic geometry and combinatorics.

Graphical discreteness is not preserved under quasi-isometry in general. We prove that, for every finite thick generalized $m$-gon $Γ$ with $m\geq 3$, graphical discreteness is nevertheless constant on the class of finitely generated groups quasi-isometric to the right-angled Coxeter group $W_Γ$: such a group $Λ$ is graphically discrete if and only if $Γ$ is nonflexible, meaning that no nontrivial graph automorphism of $Γ$ fixes a closed star pointwise. The proof combines quasi-isometric rigidity of Fuchsian buildings with a metric-strata argument that recovers the standard Coxeter Cayley graph from the building metric. For finite-rank Coxeter systems, we also show that the automorphism group of the standard Cayley graph is compact-by-discrete if and only if it is discrete, equivalently, if and only if the defining diagram is nonflexible. We further obtain obstructions to graphical discreteness from one-vertex doublings, classify compact-by-discreteness for standard chamber graphs of graph products of finite groups, and derive applications to finite projective planes and to right-angled Coxeter groups with Menger curve boundary. Our methods do not settle whether nonflexible finite thick generalized polygons exist.

The weighted $k$-matroid intersection problem asks for a maximum-weight set that is independent in each of $k$ matroids on a common ground set. The natural LP relaxation optimizes over the intersection of the $k$ matroid independent set polytopes. It is conjectured that this LP has integrality gap at most $k-1$. The conjecture is known for $k\le3$, but for $k\ge4$ the best general upper bound was $k$. We improve this bound to $k-1+1/k$. More generally, we prove that the natural LP of a $p$-matchoid has integrality gap at most $p-1+1/p$, with a deterministic LP-relative algorithm attaining the same factor. The matchoid extension resolves the $p$-matchoid part of a conjecture of Lee, Sviridenko, and Vondrák; projective planes give explicit tight instances whenever one of order $p-1$ exists.

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

We construct new examples of free curve arrangements in the complex projective plane using point-line operators recently defined by the second author. In particular, we construct a new example of a conic-line arrangement with ordinary quasi-homogeneous singularities that has non-trivial monodromy.

In the present paper we compute Alexander polynomials for certain classes of conic-line arrangements in the complex projective plane which are related to pencils. We prove two general results for curve arrangements coming from Halphen pencils of index $k\geq 2$. Then we apply them to the Hesse arrangement of conics and to some of its degenerations. The results are completed by computations using computer algebra. In particular, we construct conic-line arrangements which are non-reduced pencil-type arrangements and have as roots of their Alexander polynomials roots of unity of order 7. Such roots are not known and are conjectured not to exist in the class of line arrangements.

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.