arXiv++ Combinatorics

Till now geometric structures don't play a major role in cryptography. Gilbert, MacWilliams and Sloane introduced an authentication scheme in the projective plane and showed its perfectness in the sense of Shannon. In arXiv:2102.10321 we introduced an encryption scheme in the Möbius plane and showed that it fulfills Shannon's requirement of perfectness in first approximation and also the requirement of completeness according to Kam and Davida. In this paper we will apply a similar approach to define encryption schemes in the geometries of the Laguerre plande and the Minkowski plane. We will show that the encryption scheme in the Laguerre geometry meets Shannon's requirement of perfectness sharp and that the encryption scheme in the Minkowski geometry meets this requirement in first approximation. The Laguerre cipher also fulfills the requirement of completeness according to Kam and Davida.

Till now geometric structures don't play a major role in cryptography. Gilbert, MacWilliams and Sloane introduced in 1974 an authentication scheme in the projective plane and showed its perfectness in the sense of the definition of Shannon. In this paper we will show that this authentication scheme also fulfills the requirement of completeness according to Kam and Davida and we will extend the application of geometric structures in cryptography by introducing an encryption scheme in the Möbius plane. We will further examine its properties, showing that it also fulfills the requirement of completeness and Shannon's requirement of perfectness in first approximation. The results of this paper can be used to define similar encryption schemes in the circle geometries of Laguerre and Minkowski.

In this paper, we give bounds on the dichromatic number $\vecχ(Σ)$ of a surface $Σ$, which is the maximum dichromatic number of an oriented graph embeddable on $Σ$. We determine the asymptotic behaviour of $\vecχ(Σ)$ by showing that there exist constants $a_1$ and $a_2$ such that, $a_1\frac{\sqrt{-c}}{\log(-c)} \leq \vecχ(Σ) \leq a_2 \frac{\sqrt{-c}}{\log(-c)} $ for every surface $Σ$ with Euler characteristic $c\leq -2$. We then give more explicit bounds for some surfaces with high Euler characteristic. In particular, we show that the dichromatic numbers of the projective plane $\mathbb{N}_1$, the Klein bottle $\mathbb{N}_2$, the torus $\mathbb{S}_1$, and Dyck's surface $\mathbb{N}_3$ are all equal to $3$, and that the dichromatic numbers of the $5$-torus $\mathbb{S}_5$ and the $10$-cross surface $\mathbb{N}_{10}$ are equal to $4$. We also consider the complexity of deciding whether a given digraph or oriented graph embeddable on a fixed surface is $k$-dicolourable. In particular, we show that for any fixed surface, deciding whether a digraph embeddable on this surface is $2$-dicolourable is NP-complete, and that deciding whether a planar oriented graph is $2$-dicolourable is NP-complete unless all planar oriented graphs are $2$-dicolourable (which was conjectured by Neumann-Lara).

In 1989, computer searches by Lam, Thiel, and Swiercz experimentally resolved Lam's problem from projective geometry$\unicode{x2014}$the long-standing problem of determining if a projective plane of order ten exists. Both the original search and an independent verification in 2011 discovered no such projective plane. However, these searches were each performed using highly specialized custom-written code and did not produce nonexistence certificates. In this paper, we resolve Lam's problem by translating the problem into Boolean logic and use satisfiability (SAT) solvers to produce nonexistence certificates that can be verified by a third party. Our work uncovered consistency issues in both previous searches$\unicode{x2014}$highlighting the difficulty of relying on special-purpose search code for nonexistence results.

We prove that every triangle-free $4$-critical graph $G$ satisfies $e(G) \geq \frac{5v(G)+2}{3}$. This result gives a unified proof that triangle-free planar graphs are $3$-colourable, and that graphs of girth at least five which embed in either the projective plane, torus, or Klein Bottle are $3$-colourable, which are results of Grötzsch, Thomassen, and Thomas and Walls. Our result is nearly best possible, as Davies has constructed triangle-free $4$-critical graphs $G$ such that $e(G) = \frac{5v(G) + 4}{3}$. To prove this result, we prove a more general result characterizing sparse $4$-critical graphs with few vertex-disjoint triangles.

In this paper, we prove that the crossing number of circulant graph $C(3k+1;\{1,k\})$ on the projective plane is $k$ for $k \geq 3$.

Erdős and Lovász noticed that an $r$-uniform intersecting hypergraph $H$ with maximal covering number, that is $τ(H)=r$, must have at least $\frac{8}{3}r-3$ edges. There has been no improvement on this lower bound for 45 years. We try to understand the reason by studying some small cases to see whether the truth lies very close to this simple bound. Let $q(r)$ denote the minimum number of edges in an intersecting $r$-uniform hypergraph. It was known that $q(3)=6$ and $q(4)=9$. We obtain the following new results: The extremal example for uniformity 4 is unique. Somewhat surprisingly it is not symmetric by any means. For uniformity 5, $q(5)=13$, and we found 3 examples, none of them being some known graph. We use both theoretical arguments and computer searches. In the footsteps of Erdős and Lovász, we also consider the special case, when the hypergraph is part of a finite projective plane. We determine the exact answer for $r\in \{3,4,5,6\}$. For uniformity 6, there is a unique extremal example. In a related question, we try to find $2$-intersecting $r$-uniform hypergraphs with maximal covering number, that is $τ(H)=r-1$. An infinite family of examples is to take all possible $r$-sets of a $(2r-2)$-vertex set. There is also a geometric candidate: biplanes. These are symmetric 2-designs with $λ=2$. We determined that only 3 biplanes of the 18 known examples are extremal.

The problem of classifying linear systems of conics in projective planes dates back at least to Jordan, who classified pencils (one-dimensional systems) of conics over $\mathbb{C}$ and $\mathbb{R}$ in 1906--1907. The analogous problem for finite fields $\mathbb{F}_q$ with $q$ odd was solved by Dickson in 1908. In 1914, Wilson attempted to classify nets (two-dimensional systems) of conics over finite fields of odd characteristic, but his classification was incomplete and contained some inaccuracies. In a recent article, we completed Wilson's classification of nets of rank one, namely those containing a repeated line. The aim of the present paper is to introduce and calculate certain combinatorial invariants of these nets, which we expect will be of use in various applications. Our approach is geometric in the sense that we view a net of rank one as a plane in $\text{PG}(5,q)$ that meets the quadric Veronesean in at least one point; two such nets are then equivalent if and only if the corresponding planes belong to the same orbit under the induced action of $\text{PGL}(3,q)$ viewed as a subgroup of $\text{PGL}(6,q)$. We have previously determined the orbits of lines in $\text{PG}(5,q)$ under this action, which correspond to the aforementioned pencils of conics in $\text{PG}(2,q)$. The main contribution of this paper is to determine the line-orbit distribution of a plane $π$ corresponding to a net of rank one, namely, the number of lines in $π$ belonging to each line orbit. It turns out that this list of invariants completely determines the orbit of $π$, and we will use this fact in forthcoming work to develop an efficient algorithm for calculating the orbit of a given net of rank one. As a more immediate application, we also determine the stabilisers of nets of rank one in $\text{PGL}(3,q)$, and hence the orbit sizes.

The game of tic-tac-toe is well known. In particular, in its classic version it is famous for being unwinnable by either player. While classically it is played on a grid, it is natural to consider the effect of playing the game on richer structures, such as finite planes. Playing the game of tic-tac-toe on finite affine and projective planes has been studied previously. While the second player can usually force a draw, for small orders it is possible for the first player to win. In this regard, a computer proof that tic-tac-toe played on the affine plane of order 4 is a first player win has been claimed. In this note we use techniques from the theory of latin squares and transversal designs to give a human verifiable, explicit proof of this fact.

Huang proved that every set of more than half the vertices of the $d$-dimensional hypercube $Q_d$ induces a subgraph of maximum degree at least $\sqrt{d}$, which is tight by a result of Chung, Füredi, Graham, and Seymour. Huang asked whether similar results can be obtained for other highly symmetric graphs. First, we present three infinite families of Cayley graphs of unbounded degree that contain induced subgraphs of maximum degree $1$ on more than half the vertices. In particular, this refutes a conjecture of Potechin and Tsang, for which first counterexamples were shown recently by Lehner and Verret. The first family consists of dihedrants and contains a sporadic counterexample encountered earlier by Lehner and Verret. The second family are star graphs, these are edge-transitive Cayley graphs of the symmetric group. All members of the third family are $d$-regular containing an induced matching on a $\frac{d}{2d-1}$-fraction of the vertices. This is largest possible and answers a question of Lehner and Verret. Second, we consider Huang's lower bound for graphs with subcubes and show that the corresponding lower bound is tight for products of Coxeter groups of type $\mathbf{A_n}$, $\mathbf{I_2}(2k+1)$, and most exceptional cases. We believe that Coxeter groups are a suitable generalization of the hypercube with respect to Huang's question. Finally, we show that induced subgraphs on more than half the vertices of Levi graphs of projective planes and of the Ramanujan graphs of Lubotzky, Phillips, and Sarnak have unbounded degree. This gives classes of Cayley graphs with properties similar to the ones provided by Huang's results. However, in contrast to Coxeter groups these graphs have no subcubes.

In this paper we are interested in two kinds of (stacky) character varieties associated to a compact non-orientable surface. (A) We consider the quotient stack of the space of representations of the fundamental group of this surface to GL(n). (B) We choose a set of k-punctures on the surface and a generic k-tuple of semisimple conjugacy classes of GL(n), and we consider the stack of anti-invariant local systems on the orientation cover of the surface with local monodromies around the punctures given by the prescribed conjugacy classes. We compute the number of points of these spaces over finite fields from which we get a formula for their E-series (a certain specialization of the mixed Poincaré series). In case (B), we discuss the mixed Poincaré series when the surface is the real projective plane and k=1.

The subject of this paper are partial geometries $pg(s,t,α)$ with parameters $s=d(d'-1), \ t=d'(d-1), \ α=(d-1)(d'-1)$, $d, d' \ge 2$. In all known examples, $q=dd'$ is a power of 2 and the partial geometry arises from a maximal arc of degree $d$ or $d'$ in a projective plane of order $q$ via a known construction due to Thas \cite{Thas73} and Wallis \cite{W}, with a single known exception of a partial geometry $pg(4,6,3)$ found by Mathon \cite{Math} that is not associated with a maximal arc in the projective plane of order 8. A parallel class of lines is a set of pairwise disjoint lines that covers the point set. Two parallel classes are called orthogonal if they share exactly one line. An upper bound on the maximum number of pairwise orthogonal parallel classes in a partial geometry $G$ with parameters $pg(d(d'-1),d'(d-1),(d-1)(d'-1))$ is proved, and it is shown that a necessary and sufficient condition for $G$ to arise from a maximal arc of degree $d$ or $d'$ in a projective plane of order $q=dd'$ is that both $G$ and its dual geometry contain sets of pairwise orthogonal parallel classes that meet the upper bound. An alternative construction of Mathon's partial geometry is presented, and the new necessary condition is used to demonstrate why this partial geometry is not associated with any maximal arc in the projective plane of order 8. The partial geometries associated with all known maximal arcs in projective planes of order 16 are classified up to isomorphism, and their parallel classes of lines and the 2-rank of their incidence matrices are computed. Based on these results, some open problems and conjectures are formulated.

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.