arXiv++ Combinatorics

Bishnoi conjectured that if a minimal t-fold blocking set in a projective plane of prime power order has maximal size then it is either a projective plane minus one point, the complement of a Baer subplane or a unital. In this note we prove this conjecture.

We present a manifestly geometrically self-dual version of the Fano harmonicity axiom for the projective plane.

We deal with connected $k$-regular multigraphs of order $n$ that has only three distinct eigenvalues. In this paper, we study the largest possible number of vertices of such a graph for given $k$. For $k=2,3,7$, the Moore graphs are largest. For $k\ne 2,3,7,57$, we show an upper bound $n\leq k^2-k+1$, with equality if and only if there exists a finite projective plane of order $k-1$ that admits a polarity.

In Zombies and Survivors, a set of zombies attempts to eat a lone survivor loose on a given graph. The zombies randomly choose their initial location, and during the course of the game, move directly toward the survivor. At each round, they move to the neighbouring vertex that minimizes the distance to the survivor; if there is more than one such vertex, then they choose one uniformly at random. The survivor attempts to escape from the zombies by moving to a neighbouring vertex or staying on his current vertex. The zombies win if eventually one of them eats the survivor by landing on their vertex; otherwise, the survivor wins. The zombie number of a graph is the minimum number of zombies needed to play such that the probability that they win is at least 1/2. This variant of the game was recently investigated for several graph families, such as cycles, hypercubes, incidence graphs of projective planes, and grids $P_n \square P_n$. However, unfortunately, still very little is known for toroidal grids $C_n \square C_n$: the zombie number of $C_n \square C_n$ is at least $\sqrt n/(ω\log n)$, where $ω= ω(n)$ is any function going to infinity as $n \to \infty$, and no upper bound is known except a trivial bound of $O(n^2 \log n)$. In this note, we provide an approach that gives an embarrassing bound of $O(n^2)$ but it is possible that (with more careful, deterministic, argument) it might actually give a bound of $O(n^{3/2})$. On the other hand, by analyzing a specific strategy for the survivor, it seems that one could slightly improve the lower bound to $\sqrt n/ω$. In any case, we are far away from understanding this intriguing question. Your help is needed!

We prove that a minimal $t$-fold blocking set in a finite projective plane of order $n$ has cardinality at most \[\frac{1}{2} n\sqrt{4tn - (3t + 1)(t - 1)} + \frac{1}{2} (t - 1)n + t.\] This is the first general upper bound on the size of minimal $t$-fold blocking sets in finite projective planes and it generalizes the classical result of Bruen and Thas on minimal blocking sets. From the proof it directly follows that if equality occurs in this bound then every line intersects the blocking set $S$ in either $t$ points or $\frac{1}{2}(\sqrt{4tn - (3t + 1)(t - 1)} + t - 1) + 1$ points. We use this to show that for $n$ a prime power, equality can occur in our bound in exactly one of the following three cases: (a) $t = 1$, $n$ is a square and $S$ is a unital; (b) $t = n - \sqrt{n}$, $n$ is a square and $S$ is the complement of a Baer subplane; (c) $t = n$ and $S$ is equal to the set of all points except one. For a square prime power $q$ and $t \leq \sqrt{q} + 1$, we give a construction of a minimal $t$-fold blocking set $S$ in $\mathrm{PG}(2,q)$ with $|S| = q\sqrt{q} + 1 + (t - 1)(q - \sqrt{q} + 1)$. Furthermore, we obtain an upper bound on the size of minimal blocking sets in symmetric $2$-designs and use it to give new proofs of other known results regarding tangency sets in higher dimensional finite projective spaces. We also discuss further generalizations of our bound. In our proofs we use an incidence bound on combinatorial designs which follows from applying the expander mixing lemma to the incidence graph of these designs.

Given a finite projective plane $Π$ and a polarity $θ$ of $Π$, the corresponding polarity graph is the graph whose vertices are the points of $Π$. Two distinct vertices $p$ and $p'$ are adjacent if $p$ is incident to $θ(p')$. Polarity graphs have been used in a variety of extremal problems, perhaps the most well-known being the Turán number of the cycle of length four. We investigate the problem of finding the maximum number of vertices in an induced triangle-free subgraph of a polarity graph. Mubayi and Williford showed that when $Π$ is the projective geometry $PG(2,q)$ and $θ$ is the orthogonal polarity, an induced triangle-free subgraph has at most $\frac{1}{2}q^2 + O(q^{3/2})$ vertices. We generalize this result to all polarity graphs, and provide some interesting computational results that are relevant to an unresolved conjecture of Mubayi and Williford.

Every Latin square has three attributes that can be even or odd, but any two of these attributes determines the third. Hence the parity of a Latin square has an information content of 2 bits. We extend the definition of parity from Latin squares to sets of mutually orthogonal Latin squares (MOLS) and the corresponding orthogonal arrays (OA). Suppose the parity of an $\mathrm{OA}(k,n)$ has an information content of $\dim(k,n)$ bits. We show that $\dim(k,n) \leq {k \choose 2}-1$. For the case corresponding to projective planes we prove a tighter bound, namely $\dim(n+1,n) \leq {n \choose 2}$ when $n$ is odd and $\dim(n+1,n) \leq {n \choose 2}-1$ when $n$ is even. Using the existence of MOLS with subMOLS, we prove that if $\dim(k,n)={k \choose 2}-1$ then $\dim(k,N) = {k \choose 2}-1$ for all sufficiently large $N$. Let the ensemble of an $\mathrm{OA}$ be the set of Latin squares derived by interpreting any three columns of the OA as a Latin square. We demonstrate many restrictions on the number of Latin squares of each parity that the ensemble of an $\mathrm{OA}(k,n)$ can contain. These restrictions depend on $n\mod4$ and give some insight as to why it is harder to build projective planes of order $n \not= 2\mod4$ than for $n \not= 2\mod4$. For example, we prove that when $n \not= 2\mod 4$ it is impossible to build an $\mathrm{OA}(n+1,n)$ for which all Latin squares in the ensemble are isotopic (equivalent to each other up to permutation of the rows, columns and symbols).

The extension complexity $\mathsf{xc}(P)$ of a polytope $P$ is the minimum number of facets of a polytope that affinely projects to $P$. Let $G$ be a bipartite graph with $n$ vertices, $m$ edges, and no isolated vertices. Let $\mathsf{STAB}(G)$ be the convex hull of the stable sets of $G$. It is easy to see that $n \leqslant \mathsf{xc} (\mathsf{STAB}(G)) \leqslant n+m$. We improve both of these bounds. For the upper bound, we show that $\mathsf{xc} (\mathsf{STAB}(G))$ is $O(\frac{n^2}{\log n})$, which is an improvement when $G$ has quadratically many edges. For the lower bound, we prove that $\mathsf{xc} (\mathsf{STAB}(G))$ is $Ω(n \log n)$ when $G$ is the incidence graph of a finite projective plane. We also provide examples of $3$-regular bipartite graphs $G$ such that the edge vs stable set matrix of $G$ has a fooling set of size $|E(G)|$.

In a projective plane $Π_{q}$ (not necessarily Desarguesian) of order $q$, a point subset $\mathcal{S}$ is saturating (or dense) if any point of $Π_{q}\setminus \mathcal{S}$ is collinear with two points in $\mathcal{S}$. Modifying an approach of [31], we proved the following upper bound on the smallest size $s(2,q)$ of a saturating set in $Π_{q}$: \begin{equation*} s(2,q)\leq \sqrt{(q+1)\left(3\ln q+\ln\ln q +\ln\frac{3}{4}\right)}+\sqrt{\frac{q}{3\ln q}}+3. \end{equation*} The bound holds for all q, not necessarily large. By using inductive constructions, upper bounds on the smallest size of a saturating set in the projective space $\mathrm{PG}(N,q)$ with even dimension $N$ are obtained. All the results are also stated in terms of linear covering codes.

The resolutions and maximal sets of compatible resolutions of all 2-(120,8,1) designs arising frommaximal (120,8)-arcs in the known projective planes of order 16 are computed. It is shown that each of these designs is embeddable in a unique way in a projective plane of order 16.

We prove that a triangulation of the projective plane is (strongly) $t$-perfect if and only if it is perfect and contains no $K_4$.

Let $G$ be a 3-partite graph with $k$ vertices in each part and suppose that between any two parts, there is no cycle of length four. Fischer and Matouusek asked for the maximum number of triangles in such a graph. A simple construction involving arbitrary projective planes shows that there is such a graph with $(1 - o(1)) k^{3/2} $ triangles, and a double counting argument shows that one cannot have more than $(1+o(1)) k^{7/4} $ triangles. Using affine planes defined by specific planar polynomials over finite fields, we improve the lower bound to $(1 - o(1)) k^{5/3}$.

We consider point distributions in compact connected two-point homogeneous spaces (Riemannian symmetric spaces of rank one). All such spaces are known, they are the spheres in the Euclidean spaces, the real, complex and quaternionic projective spaces and the octonionic projective plane. Our concern is with discrepancies of distributions in metric balls and sums of pairwise distances between points of distributions in such spaces. Using the geometric features of two-point spaces, we show that Stolarsky's invariance principle, well-known for the Euclidean spheres, can be extended to all projective spaces and the octonionic projective plane (Theorem 2.1 and Corollary 2.1). We obtain the spherical function expansions for discrepancies and sums of distances (Theorem 9.1). Relying on these expansions, we prove in all such spaces the best possible bounds for quadratic discrepancies and sums of pairwise distances (Theorem 2.2). Applications to $t$-designs on such two-point homogeneous spaces are also considered. It is shown that the optimal $t$-designs meet the best possible bounds for quadratic discrepancies and sums of pairwise distances. (Corollaries 3.1 and 3.2).

Let $Π_q$ be an arbitrary finite projective plane of order $q$. A subset $S$ of its points is called saturating if any point outside $S$ is collinear with a pair of points from $S$. Applying probabilistic tools we improve the upper bound on the smallest possible size of the saturating set to $\lceil\sqrt{3q\ln{q}}\rceil+ \lceil(\sqrt{q}+1)/2\rceil$. The same result is presented using an algorithmic approach as well, which points out the connection with the transversal number of uniform multiple intersecting hypergraphs.

Using Langer's variation on the Bogomolov-Miyaoka-Yau inequality \cite[Theorem 0.1]{Langer} we provide some Hirzebruch-type inequalities for curve arrangements in the complex projective plane.

An $n$-arc in a projective plane is a collection of $n$ distinct points in the plane, no three of which lie on a line. Formulas counting the number of $n$-arcs in any finite projective plane of order $q$ are known for $n \le 8$. In 1995, Iampolskaia, Skorobogatov, and Sorokin counted $9$-arcs in the projective plane over a finite field of order $q$ and showed that this count is a quasipolynomial function of $q$. We present a formula for the number of $9$-arcs in any projective plane of order $q$, even those that are non-Desarguesian, deriving Iampolskaia, Skorobogatov, and Sorokin's formula as a special case. We obtain our formula from a new implementation of an algorithm due to Glynn; we give details of our implementation and discuss its consequences for larger arcs.

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.