arXiv++ Combinatorics

In this paper, we generalize the so called Korchmáros--Mazzocca arcs, that is, point sets of size $q+t$ intersecting each line in $0, 2$ or $t$ points in a finite projective plane of order $q$. For $t\neq 2$, this means that each point of the point set is incident with exactly one line meeting the point set in $t$ points. In $\mathrm{PG}(2,p^n)$, we change $2$ in the definition above to any integer $m$ and describe all examples when $m$ or $t$ is not divisible by $p$. We also study mod $p$ variants of these objects, give examples and under some conditions we prove the existence of a nucleus.

Given two graphs $G$ and $G^*$ with a one-to-one correspondence between their edges, when do $G$ and $G^*$ form a pair of dual graphs realizing the vertices and countries of a map embedded in a surface? A criterion was obtained by Jack Edmonds in 1965. Furthermore, let $\boldsymbol{d}=(d_1,\ldots,d_n)$ and $\boldsymbol{t}=(t_1,\ldots,t_m)$ be their degree sequences. Then, clearly, $\sum_{i=1}^n d_i = \sum_{j=1}^m t_j = 2\ell$, where $\ell$ is the number of edges in each of the two graphs, and $χ= n - \ell + m$ is the Euler characteristic of the surface. Which sequences $\boldsymbol{d}$ and $\boldsymbol{t}$ satisfying these conditions still cannot be realized as the degree sequences? We make use of Edmonds' criterion to obtain several infinite series of exceptions for the sphere, $χ= 2$, and projective plane, $χ= 1$. We conjecture that there exist no exceptions for $χ\leq 0$.

In addition to the vertices of the regular hexagon and icosahedron, there are precisely two strictly projective tight 5-designs: one constructed from the short vectors of the Leech lattice and the other corresponding to a generalized hexagon structure in the octonion projective plane. This paper describes a new connection between these two strictly projective tight 5-designs -- a common construction using octonions. Certain octonion involutionary matrices act on a three-dimensional octonion vector space to produce the first 5-design and these same matrices act on the octonion projective plane to produce the second 5-design. This result uses the octonion construction of the Leech lattice due to Robert Wilson and provides a new link between the generalized hexagon Gh(2,8) and the Leech lattice.

Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization.

We show that the Ree unital $\mathcal{R}(q)$ has an embedding in a projective plane over a field $F$ if and only if $q=3$ and $\mathbb{F}_8$ is a subfield of $F$. In this case, the embedding is unique up to projective linear transformations. Besides elementary calculations, our proof uses the classification of the maximal subgroups of the simple Ree groups.

Let $m$ be a positive integer, $q$ be a prime power, and $\mathrm{PG}(2,q)$ be the projective plane over the finite field $\mathbb F_q$. Finding complete $m$-arcs in $\mathrm{PG}(2,q)$ of size less than $q$ is a classical problem in finite geometry. In this paper we give a complete answer to this problem when $q$ is relatively large compared with $m$, explicitly constructing the smallest $m$-arcs in the literature so far for any $m\geq 8$. For any fixed $m$, our arcs $\mathcal A_{q,m}$ satisfy $|\mathcal A_{q,m}|-q\rightarrow -\infty$ as $q$ grows. To produce such $m$-arcs, we develop a Galois theoretical machinery that allows the transfer of geometric information of points external to the arc, to arithmetic one, which in turn allows to prove the $m$-completeness of the arc.

We introduce a greedy algorithm optimizing arrangements of lines with respect to a property. We apply this algorithm to the case of simpliciality: it recovers all known simplicial arrangements of lines in a very short time and also produces a yet unknown simplicial arrangement with 35 lines. We compute a (certainly incomplete) database of combinatorially simplicial complex arrangements of hyperplanes with up to 50 lines. Surprisingly, it contains several examples whose matroids have an infinite space of realizations up to projectivities.

The main achievement of this paper is a geometric characterisation of certain subvarieties of the Cartan variety (the standard projective variety associated to the split exceptional group of Lie type E_6) over an arbitrary field K. The characterised varieties arise as Veronese representations of certain ring projective planes over quadratic subalgebras of the split octonions over K (among which the sextonions, a 6-dimensional non-associative algebra). We describe how these varieties are linked to the Freudenthal-Tits magic square, and discuss how they would even fit in, when also allowing the sextonions and other "degenerate composition algebras" as the algebras used to construct the square.

In this paper, we study vertex colorings of hypergraphs in which all color class sizes differ by at most one (balanced colorings) and each hyperedge contains at least two vertices of the same color (rainbow-free colorings). For any hypergraph $H$, the maximum number $k$ for which there is a balanced rainbow-free $k$-coloring of $H$ is called the balanced upper chromatic number of the hypergraph. We confirm the conjecture of Araujo-Pardo, Kiss and Montejano by determining the balanced upper chromatic number of the desarguesian projective plane $\mathrm{PG}(2,q)$ for all $q$. In addition, we determine asymptotically the balanced upper chromatic number of several families of non-desarguesian projective planes and also provide a general lower bound for arbitrary projective planes using probabilistic methods which determines the parameter up to a multiplicative constant.

We propose the concepts of intersection distribution and non-hitting index, which can be viewed from two related perspectives. The first one concerns a point set $S$ of size $q+1$ in the classical projective plane $PG(2,q)$, where the intersection distribution of $S$ indicates the intersection pattern between $S$ and the lines in $PG(2,q)$. The second one relates to a polynomial $f$ over a finite field $\mathbb{F}_q$, where the intersection distribution of $f$ records an overall distribution property of a collection of polynomials $\{f(x)+cx \mid c \in \mathbb{F}_q\}$. These two perspectives are closely related, in the sense that each polynomial produces a $(q+1)$-set in a canonical way and conversely, each $(q+1)$-set with certain property has a polynomial representation. Indeed, the intersection distribution provides a new angle to distinguish polynomials over finite fields, based on the geometric property of the corresponding $(q+1)$-sets. Among the intersection distribution, we identify a particularly interesting quantity named non-hitting index. For a point set $S$, its non-hitting index counts the number of lines in $PG(2,q)$ which do not hit $S$. For a polynomial $f$ over a finite field $\mathbb{F}_q$, its non-hitting index gives the summation of the sizes of $q$ value sets $\{f(x)+cx \mid x \in \mathbb{F}_q\}$, where $c \in \mathbb{F}_q$. We derive bounds on the non-hitting index and show that the non-hitting index contains much information about the corresponding set and the polynomial. More precisely, using a geometric approach, we show that the non-hitting index is sufficient to characterize the corresponding point set and the polynomial when it is close to the lower and upper bounds. Moreover, we employ an algebraic approach to derive the intersection distribution of several families of point sets and polynomials, and compute the sizes of related Kakeya sets in affine planes.

We classify nets of conics in Desarguesian projective planes over finite fields of odd order, namely, two-dimensional linear systems of conics containing a repeated line. Our proof is geometric in the sense that we solve the equivalent problem of classifying the orbits of planes in $\text{PG}(5,q)$ which meet the quadric Veronesean in at least one point, under the action of $\text{PGL}(3,q) \leqslant \text{PGL}(6,q)$ (for $q$ odd). Our results complete a partial classification of nets of conics of rank one obtained by A. H. Wilson in the article "The canonical types of nets of modular conics", American Journal of Mathematics 36 (1914) 187-210.

It is shown that a simple graph which is embeddable in the real projective plane is minimally 3-rigid if and only if it is (3,6)-tight. Moreover the topologically uncontractible embedded graphs of this type are constructible from one of 8 embedded graphs by a sequence of vertex splitting moves. In particular the characterisation of minimal 3-rigidity holds for a triangulated Mobius strip.

In this article we present the largest set of unitals (totally 553) in projective planes of order 16. An open question is what is the number of the known unitals that are non-isomorphic to the reported ones. The results are obtained with a program that implements author's algorithm.

Hill's Conjecture states that the crossing number $\text{cr}(K_n)$ of the complete graph $K_n$ in the plane (equivalently, the sphere) is $\frac{1}{4}\lfloor\frac{n}{2}\rfloor\lfloor\frac{n-1}{2}\rfloor\lfloor\frac{n-2}{2}\rfloor\lfloor\frac{n-3}{2}\rfloor=n^4/64 + O(n^3)$. Moon proved that the expected number of crossings in a spherical drawing in which the points are randomly distributed and joined by geodesics is precisely $n^4/64+O(n^3)$, thus matching asymptotically the conjectured value of $\text{cr}(K_n)$. Let $\text{cr}_P(G)$ denote the crossing number of a graph $G$ in the projective plane. Recently, Elkies proved that the expected number of crossings in a naturally defined random projective plane drawing of $K_n$ is $(n^4/8π^2)+O(n^3)$. In analogy with the relation of Moon's result to Hill's conjecture, Elkies asked if $\lim_{n\to\infty} \text{cr}_P(K_n)/n^4=1/8π^2$. We construct drawings of $K_n$ in the projective plane that disprove this.

The main goal of this note is to begin a systematic study on conic-line arrangements in the complex projective plane. We show a de Bruijn-Erdős-type inequality and Hirzebruch-type inequality for a certain class of conic-line arrangements having ordinary singularities. We will also study, in detail, certain conic-line arrangements in the context of the geography of log-surfaces and free divisors in the sense of Saito.

In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2011, these searches were verified by D. Roy using an optimized C program and 16,000 hours on a cluster of desktop machines. We performed a verification of these searches by reducing the problem to the Boolean satisfiability problem (SAT). Our verification uses the cube-and-conquer SAT solving paradigm, symmetry breaking techniques using the computer algebra system Maple, and a result of Carter that there are ten nonisomorphic cases to check. Our searches completed in about 30 hours on a desktop machine and produced nonexistence proofs of about 1 terabyte in the DRAT (deletion resolution asymmetric tautology) format.

In 1983, a computer search was performed for ovals in a projective plane of order ten. The search was exhaustive and negative, implying that such ovals do not exist. However, no nonexistence certificates were produced by this search, and to the best of our knowledge the search has never been independently verified. In this paper, we rerun the search for ovals in a projective plane of order ten and produce a collection of nonexistence certificates that, when taken together, imply that such ovals do not exist. Our search program uses the cube-and-conquer paradigm from the field of satisfiability (SAT) checking, coupled with a programmatic SAT solver and the nauty symbolic computation library for removing symmetries from the search.

In this paper we consider binary linear codes spanned by incidence matrices of Steiner 2-designs associated with maximal arcs in projective planes of even order, and their dual codes. Upper and lower bounds on the 2-rank of the incidence matrices are derived. A lower bound on the minimum distance of the dual codes is proved, and it is shown that the bound is achieved if and only if the related maximal arc contains a hyperoval of the plane. The binary linear codes of length 52 spanned by the incidence matrices of 2-$(52,4,1)$ designs associated with previously known and some newly found maximal arcs of degree 4 in projective planes of order 16 are analyzed and classified up to equivalence. The classification shows that some designs associated with maximal arcs in nonisomorphic planes generate equivalent codes. This phenomenon establishes new links between several of the known planes. A conjecture concerning the codes of maximal arcs in $PG(2,2^m)$ is formulated.

In this study we performed a computer search for unitals in planes of order 16. Some new unitals were found and we show that some unitals can be embedded in two or more different planes.

We geometrically characterise the Veronese representations of ring projective planes over algebras which are analogues of the dual numbers, giving rise to projective Hjelmslev planes of level 2 coordinatised over quadratic alternative algebras. These planes are related to affine buildings of relative type $\widetilde{A}_2$ and respective absolute type $\widetilde{\mathsf{A}}_2$, $\widetilde{\mathsf{A}}_5$ and $\widetilde{\mathsf{E}}_6$.