arXiv++ Combinatorics

We determine the partition dimension of the incidence graph $G(Π_q)$ of the projective plane $Π_q$ up to a constant factor $2$ as $(2+o(1))\log_2{q}\leq \mathrm{pd}(G(Π_q))\leq (4+o(1))\log_2{q}.$

The $W_v$-Path Conjecture due to Klee and Wolfe states that any two vertices of a simple polytope can be joined by a path that does not revisit any facet. This is equivalent to the well-known Hirsch Conjecture. Klee proved that the $W_v$-Path Conjecture is true for all 3-polytopes (3-connected plane graphs), and conjectured even more, namely that the $W_v$-Path Conjecture is true for all general cell complexes. This general $W_v$-Path Conjecture was verified for polyhedral maps on the projective plane and the torus by Barnette, and on the Klein bottle by Pulapaka and Vince. Let $G$ be a graph polyhedrally embedded in a surface $Σ$, and $x, y$ be two vertices of $G$. In this paper, we show that if there are three internally disjoint $(x,y)$-paths which are homotopic to each other, then there exists a $W_v$-path joining $x$ and $y$. For every surface $Σ$, define a function $f(Σ)$ such that if for every graph polyhedrally embedded in $Σ$ and for a pair of vertices $x$ and $y$ in $V(G)$, the local connectivity $κ_G(x,y) \ge f(Σ)$, then there exists a $W_v$-path joining $x$ and $y$. We show that $f(Σ)=3$ if $Σ$ is the sphere, and for all other surfaces $3-τ(Σ)\le f(Σ)\le 9-4χ(Σ)$, where $χ(Σ)$ is the Euler characteristic of $Σ$, and $τ(Σ)=χ(Σ)$ if $χ(Σ)< -1$ and 0 otherwise. Further, if $x$ and $y$ are not cofacial, we prove that $G$ has at least $κ_G(x,y)+4χ(Σ)-8$ internally disjoint $W_v$-paths joining $x$ and $y$. This bound is sharp for the sphere. Our results indicate that the $W_v$-path problem is related to both the local connectivity $κ_G(x,y)$, and the number of different homotopy classes of internally disjoint $(x,y)$-paths as well as the number of internally disjoint $(x,y)$-paths in each homotopy class.

In this paper we come back to a problem proposed by F. Hirzebruch in the 1980's, namely whether there exists a configuration of smooth conics in the complex projective plane such that the associated desingularization of the Kummer extension is a ball quotient. We extend our considerations to the so-called $d$-configurations of curves on the projective plane and we show that in most cases for a given configuration the associated desingularization of the Kummer extension is not a ball quotient. Moreover, we provide improved versions of Hirzebruch-type inequality for $d$-configurations. Finally, we show that the so-called characteristic numbers (or $γ$ numbers) for $d$-configurations are bounded from above by $8/3$. At the end of the paper we give some examples of surfaces constructed via Kummer extensions branched along conic configurations.

A subset $\mathcal{S}$ of a conic $\mathcal{C}$ in the projective plane $\mathrm{PG}(2,q)$ is called almost complete (AC-subset for short) if it can be extended to a larger arc in $\mathrm{PG}(2,q)$ only by the points of $\mathcal{C}\setminus \mathcal{S}$ and by the nucleus of $\mathcal{C}$ when $q$ is even. New upper bounds on the smallest size $t(q)$ of an AC-subset are obtained, in particular, \begin{align*} &t(q)<\sqrt{q(3\ln q+\ln\ln q +\ln3)}+\sqrt{\frac{q}{3\ln q}}+4\thicksim\sqrt{3q\ln q};&t(q)<1.835\sqrt{q\ln q}.\end{align*} The new bounds are used to increase regions of pairs $(N,q)$ for which it is proved that every normal rational curve in $\mathrm{PG}(N,q)$ is a complete $(q+1)$-arc or, equivalently, that no $[q+1,N+1,q-N+1]_q$ generalized doubly-extended Reed-Solomon code can be extended to a $[q+2,N+1,q-N+2]_q$ MDS code.

One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for $\ell$-adic intersection complexes.

We revisit the coordinatisation method for projective planes. First, we discuss how the behaviour of the additive and multiplicative loops can be described in terms of its action on the "vertical" line, and how this means one can coordinatise certain planes in an optimal sense. We then move to consider projective planes of prime power order only. Specifically, we consider how coordinatising planes of prime power order using finite fields as the underlying labelling set leads to some general restrictions on the form of the resulting planar ternary ring (PTR) when viewed as a trivariate polynomial over the field. We also consider the Lenz-Barlotti type of the plane being coordinatised, deriving further restrictions on the form of the PTR polynomial.

We reprove the strong Hanani-Tutte theorem on the projective plane. In contrast to the previous proof by Pelsmajer, Schaefer and Stasi, our method is constructive and does not rely on the characterization of forbidden minors, which gives hope to extend it to other surfaces. Moreover, our approach can be used to provide an efficient algorithm turning a Hanani-Tutte drawing on the projective plane into an embedding.

We study combinatorial parameters of a recently introduced bootstrap percolation problem in finite projective planes. We present sharp results on the size of the minimum percolating sets and the maximal non-percolating sets. Additional results on the minimal and maximal percolation time as well as on the critical probability in the projective plane are also presented.

For any two squares A and B of an m x n checkerboard, we determine whether it is possible to move a checker through a route that starts at A, ends at B, and visits each square of the board exactly once. Each step of the route moves to an adjacent square, either to the east or to the north, and may step off the edge of the board in a manner corresponding to the usual construction of a projective plane by applying a twist when gluing opposite sides of a rectangle. This generalizes work of M.H.Forbush et al. for the special case where m = n.

We show that every quadrangulation of the sphere can be transformed into a $4$-cycle by deletions of degree-$2$ vertices and by $t$-contractions at degree-$3$ vertices. A $t$-contraction simultaneously contracts all incident edges at a vertex with stable neighbourhood. The operation is mainly used in the field of $t$-perfect graphs. We further show that a non-bipartite quadrangulation of the projective plane can be transformed into an odd wheel by $t$-contractions and deletions of degree-$2$ vertices. We deduce that a quadrangulation of the projective plane is (strongly) $t$-perfect if and only if the graph is bipartite.

A venerable problem in combinatorics and geometry asks whether a given incidence relation may be realized by a configuration of points and lines. The classic version of this would ask for algebraic lines over some field or possibly real pseudolines: embedded circles (isotopic to $RP^1$) in the real projective plane. In this paper we investigate whether a configuration is realized by a collection of $2$-spheres embedded, in the symplectic, smooth, or topological (locally flat) categories, in the complex projective plane. We find obstructions to realizability in the topological category, which apply to configurations specified by all projective planes over a finite field. Such obstructions are used to show that certain contact graph manifolds are not (strongly) symplectically fillable. We also show that a configuration of real pseudolines can be complexified to give a configuration of smooth, indeed symplectically embedded, $2$-spheres.

A combinatorial characterization of resolvable Steiner 2-$(v,k,1)$ designs embeddable as maximal arcs in a projective plane of order $(v-k)/(k-1)$ is proved, and a generalization of a conjecture by Andries Brouwer \cite{Br} is formulated.

In each of the three projective planes coordinatised by the Knuth's binary semifield $\mathbb{K}_n$ of order $2^n$ and two of its Knuth derivatives, we exhibit a new family of infinitely many translation hyperovals. In particular, when $n=5$, we also present complete lists of all translation hyperovals in them. The properties of some designs associated with these hyperovals are also studied.

Ryser's Conjecture states that for any $r$-partite $r$-uniform hypergraph, the vertex cover number is at most $r{-}1$ times the matching number. This conjecture is only known to be true for $r\leq 3$ in general and for $r\leq 5$ if the hypergraph is intersecting. There has also been considerable effort made for finding hypergraphs that are extremal for Ryser's Conjecture, i.e. $r$-partite hypergraphs whose cover number is $r-1$ times its matching number. Aside from a few sporadic examples, the set of uniformities $r$ for which Ryser's Conjecture is known to be tight is limited to those integers for which a projective plane of order $r-1$ exists. We produce a new infinite family of $r$-uniform hypergraphs extremal to Ryser's Conjecture, which exists whenever a projective plane of order $r-2$ exists. Our construction is flexible enough to produce a large number of non-isomorphic extremal hypergraphs. In particular, we define what we call the {\em Ryser poset} of extremal intersecting $r$-partite $r$-uniform hypergraphs and show that the number of maximal and minimal elements is exponential in $\sqrt{r}$. This provides further evidence for the difficulty of Ryser's Conjecture.

From the point of view of discrete geometry, the class of locally finite transitive graphs is a wide and important one. The subclass of Cayley graphs is of particular interest, as testifies the development of geometric group theory. Recall that Cayley graphs can be defined as non-empty locally finite connected graphs endowed with a transitive group action such that any non-identity element acts without fixed point. We define a class of transitive graphs which are transitive in an "absolutely non-Cayley way": we consider graphs endowed with a transitive group action such that any element of the group acts with a fixed point. We call such graphs "rotarily transitive graphs", and we show that, even though there is no finite rotarily transitive graph with at least 2 vertices, there is an infinite locally finite connected rotarily transitive graph. The proof is based on groups built by Ivanov which are finitely generated, of finite exponent and have a small number of conjugacy classes. We also build infinite transitive graphs (which are not locally finite) any automorphism of which has a fixed point. This is done by considering "unit distance graphs" associated with the projective plane over suitable subfields of the real numbers.

In this note we show that there are no real configurations of $d\geq 4$ lines in the projective plane such that the associated Kummer covers of order $3^{d-1}$ are ball-quotients and there are no configurations of $d\geq 4$ lines such that the Kummer covers of order $4^{d-1}$ are ball-quotients. Moreover, we show that there exists only one configuration of real lines such that the associated Kummer cover of order $5^{d-1}$ is a ball-quotient. In the second part we consider the so-called topological $(n_{k})$-configurations and we show, using Shnurnikov's inequality, that for $n < 27$ there do not exist $(n_{5})$-configurations and and for $n < 41$ there do not exist $(n_{6})$-configurations.

Let $L$ be a set of $n$ lines in the real projective plane in general position. We show that there exists a vertex $v\in \A(L)$ such that $v$ is positioned in a face of size at most 5 in the arrangement obtained by removing the two lines passing through $v$.

The paper is devoted to a detailed self-contained exposition of a part of the theory of affine planes leading to a construction of affine (or, equivalently, projective) planes not satisfying the Desarques axiom. It is intended to complement the introductory expositions of the theory of affine and projective planes. A novelty of our exposition is a new notation for the ternary operation in a ternary ring, much more suggestive than the standard one.

This report gives an overview of the history of finite projective planes and their properties before going on to outline the proof that no projective plane of order 10 exists. The report also investigates the search carried out by MacWilliams, Sloane and Thompson in 1970 [12] and confirms their result by providing independent verification that there is no vector of weight 15 in the code generated by the projective plane of order 10.

In 1992, Brehm and Kühnel constructed a 8-dimensional simplicial complex $M^8_{15}$ with 15 vertices as a candidate to be a minimal triangulation of the quaternionic projective plane. They managed to prove that it is a manifold "like a projective plane" in the sense of Eells and Kuiper. However, it was not known until now if this complex is PL homeomorphic (or at least homeomorphic) to $\mathbb{H}P^2$. This problem was reduced to the computation of the first rational Pontryagin class of this combinatorial manifold. Realizing an algorithm due to Gaifullin, we compute the first Pontryagin class of $M^8_{15}$. As a result, we obtain that it is indeed a minimal triangulation of $\mathbb{H}P^2$.