arXiv++ Combinatorics

Ostrom and Wagner (1959) proved that if the automorphism group $G$ of a finite projective plane $π$ acts $2$-transitively on the points of $π$, then $π$ is isomorphic to the Desarguesian projective plane and $G$ is isomorphic to $\mathrm{PΓL}(3,q)$ (for some prime-power $q$). In the more general case of a finite rank $2$ irreducible spherical building, also known as a \emph{generalized polygon}, the theorem of Fong and Seitz (1973) gave a classification of the \emph{Moufang} examples. A conjecture of Kantor, made in print in 1991, says that there are only two non-classical examples of flag-transitive generalized quadrangles up to duality. Recently, the authors made progress toward this conjecture by classifying those finite generalized quadrangles which have an automorphism group $G$ acting transitively on antiflags. In this paper, we take this classification much further by weakening the hypothesis to $G$ being transitive on ordered pairs of collinear points and ordered pairs of concurrent lines.

How can we arrange $n$ lines through the origin in three-dimensional Euclidean space in a way that maximizes the minimum interior angle between pairs of lines? Conway, Hardin and Sloane (1996) produced line packings for $n \leq 55$ that they conjectured to be within numerical precision of optimal in this sense, but until now only the cases $n \leq 7$ have been solved. In this paper, we resolve the case $n = 8$. Drawing inspiration from recent work on the Tammes problem, we enumerate contact graph candidates for an optimal configuration and eliminate those that violate various combinatorial and geometric necessary conditions. The contact graph of the putatively optimal numerical packing of Conway, Hardin and Sloane is the only graph that survives, and we recover from this graph an exact expression for the minimum distance of eight optimally packed points in the real projective plane.

Recent progress in Zauner's conjecture has leveraged deep conjectures in algebraic number theory to promote numerical line packings to exact and verifiable solutions to the line packing problem. We introduce a numerical-to-exact technique in the real setting that does not require such conjectures. Our approach is completely reproducible, matching Sloane's database of putatively optimal numerical line packings with Mathematica's built-in implementation of cylindrical algebraic decomposition. As a proof of concept, we promote a putatively optimal numerical packing of eight points in the real projective plane to an exact packing, whose optimality we establish in a forthcoming paper.

A $d$-dimensional simplicial complex is balanced if the underlying graph is $(d+1)$-colorable. We present an implementation of cross-flips, a set of local moves introduced by Izmestiev, Klee and Novik which connect any two PL-homeomorphic balanced combinatorial manifolds. As a result we exhibit a vertex minimal balanced triangulation of the real projective plane, of the dunce hat and of the real projective space, as well as several balanced triangulations of surfaces and 3-manifolds on few vertices. In particular we construct small balanced triangulations of the 3-sphere that are non-shellable and shellable but not vertex decomposable.

We have performed a complete enumeration of non-isotopic triples of mutually orthogonal $k\times n$ Latin rectangles for $k\leq n \leq 7$. Here we will present a census of such triples, classified by various properties, including the order of the autotopism group of the triple. As part of this we have also achieved the first enumeration of pairwise orthogonal triples of Youden rectangles. We have also studied orthogonal triples of $k \times 8$ rectangles which are formed by extending mutually orthogonal triples with non-trivial autotopisms one row at a time, and requiring that the autotopism group is non-trivial in each step. This class includes a triple coming from the projective plane of order 8. Here we find a remarkably symmetrical pair of triples of $4 \times 8$ rectangles, formed by juxtaposing two selected copies of complete sets of MOLS of order 4.

Given a loop-free graph $H$, the reconfiguration problem for homomorphisms to $H$ (also called $H$-colourings) asks: given two $H$-colourings $f$ of $g$ of a graph $G$, is it possible to transform $f$ into $g$ by a sequence of single-vertex colour changes such that every intermediate mapping is an $H$-colouring? This problem is known to be polynomial-time solvable for a wide variety of graphs $H$ (e.g. all $C_4$-free graphs) but only a handful of hard cases are known. We prove that this problem is PSPACE-complete whenever $H$ is a $K_{2,3}$-free quadrangulation of the $2$-sphere (equivalently, the plane) which is not a $4$-cycle. From this result, we deduce an analogous statement for non-bipartite $K_{2,3}$-free quadrangulations of the projective plane. This include several interesting classes of graphs, such as odd wheels, for which the complexity was known, and $4$-chromatic generalized Mycielski graphs, for which it was not. If we instead consider graphs $G$ and $H$ with loops on every vertex (i.e. reflexive graphs), then the reconfiguration problem is defined in a similar way except that a vertex can only change its colour to a neighbour of its current colour. In this setting, we use similar ideas to show that the reconfiguration problem for $H$-colourings is PSPACE-complete whenever $H$ is a reflexive $K_{4}$-free triangulation of the $2$-sphere which is not a reflexive triangle. This proof applies more generally to reflexive graphs which, roughly speaking, resemble a triangulation locally around a particular vertex. This provides the first graphs for which $H$-Recolouring is known to be PSPACE-complete for reflexive instances.

The aim of this paper is twofold: First we classify all abstract light dual multinets of order $6$ which have a unique line of length at least two. Then we classify the weak projective embeddings of these objects in projective planes over fields of characteristic zero. For the latter we present a computational algebraic method for the study of weak projective embeddings of finite point-line incidence structures.

We study the combinatorics of pseudoline arrangements in the real projective plane. Our focus lies on two classes of arrangements: simplicial arrangements and arrangements whose characteristic polynomials have only real roots. We derive inequalities involving the $t$-vectors of the arrangements in consideration. As application, we obtain some finiteness and classification results. Moreover, we are able to prove the Dirac Motzkin Conjecture for real pseudoline arrangements whose charateristic polynomials split over $\mathbb{R}$.

Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ that induce planar functions on $\mathbb{F}_q$, by showing that such polynomials are precisely those in which the degree of every monomial is a power of two. As a corollary we obtain a complete classification of exceptional planar polynomials, namely polynomials over $\mathbb{F}_q$ that induce planar functions on infinitely many extensions of~$\mathbb{F}_q$. The proof strategy is to study the number of $\mathbb{F}_q$-rational points of an algebraic curve attached to a putative planar function.~Our methods also give a simple proof of a new partial result for the classification of almost perfect nonlinear~functions.

It has been shown by Hacking and Prokhorov that if the projective surface X with quotient singularities and self-intersection number 9 has a smoothing to the projective plane, then X is the general fiber of a Q-Gorenstein deformation of the weighted projective plane with weights giving solutions to the Markov equation. This result has been understood and generalized by combinatorial mutations of Fano triangles by Akhtar, Coates, Galkin, and Kasprzyk. In this note, we study this result by utilizing polarized T-varieties and describe the associated deformation explicitly in terms of certain Minkowski summands of so-called divisorial polytopes.

The main purpose of this survey is to provide an introduction, algebro-topological in nature, to Hirzebuch-type inequalities for plane curve arrangements in the complex projective plane. These inequalities gain more and more interest due to their utility in many combinatorial problems related to point or line arrangements in the plane. We would like to present a summary of the technicalities and also some recent applications, for instance in the context of the Weak Dirac Conjecture. We also advertise some open problems and questions.

The length function $\ell_q(r,R)$ is the smallest length of a $ q $-ary linear code of codimension $r$ and covering radius $R$. In this work we obtain new constructive upper bounds on $\ell_q(r,R)$ for all $R\ge4$, $r=tR$, $t\ge2$, and also for all even $R\ge2$, $r=tR+\frac{R}{2}$, $t\ge1$. The new bounds are provided by infinite families of new covering codes with fixed $R$ and increasing codimension. The new bounds improve upon the known ones. We propose a general regular construction (called ``Line+Ovals'') of a minimal $ρ$-saturating $((ρ+1)q+1)$-set in the projective space $\mathrm{PG}(2ρ+1,q)$ for all $ρ\ge0$. Such a set corresponds to an $[Rq+1,Rq+1-2R,3]_qR$ locally optimal$^1$ code of covering radius $R=ρ+1$. Basing on combinatorial properties of these codes regarding to spherical capsules$^1$, we give constructions for code codimension lifting and obtain infinite families of new surface-covering$^1$ codes with codimension $r=tR$, $t\ge2$. In addition, we obtain new 1-saturating sets in the projective plane $\mathrm{PG}(2,q^2)$ and, basing on them, construct infinite code families with fixed even radius $R\ge2$ and codimension $r=tR+\frac{R}{2}$, $t\ge1$. ($^1$ see the definitions in Section 1)

We show that a general lower bound for the global Tjurina number of a reduced complex projective plane curve, given by A. A. du Plessis and C.T.C. Wall, can be improved when the curve is a line arrangement.

A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$ such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $D$ of points of a linear system $(P,\mathcal{L})$ is a dominating set of $(P,\mathcal{L})$ if for every $u\in P\setminus D$ there exists $v\in D$ such that $u,v\in l$, for some $l\in\mathcal{L}$. The cardinality of a minimum dominating set of a linear system $(P,\mathcal{L})$ is called domination number of $(P,\mathcal{L})$, denoted by $γ(P,\mathcal{L})$. On the other hand, a subset $R$ of lines of a linear system $(P,\mathcal{L})$ is a 2-packing if any three elements of $R$ have not a common point (are triplewise disjoint). The cardinality of a maximum 2-packing of a linear system $(P,\mathcal{L})$ is called 2-packing number of $(P,\mathcal{L})$, denoted by $ν_2(P,\mathcal{L})$. It is know for intersecting linear systems $(P,\mathcal{L})$ of rank $r$ it satisfies $γ(P,\mathcal{L})\leq r-1$. In this note we prove, if $q$ is an even prime power and $(P,\mathcal{L})$ is an intersecting linear system of rank $q+2$ satisfying $γ(P,\mathcal{L})=q+1$, then this linear system can be constructed from a spanning $(q+1)$-uniform intersecting linear subsystem $(P^\prime,\mathcal{L}^\prime)$ of the projective plane of order $q$ satisfying $τ(P^\prime,\mathcal{L}^\prime)=ν_2(P^\prime,\mathcal{L}^\prime)-1=q+1$.

We show that Stolarsky's invariance principle, known for point distributions on the Euclidean spheres, can be extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. A part of the results (Theorem~1.1 ana Corollary~1.1) was given early in the previous paper [22], while the explicit formulas for the constants in the invariance principles for projective spaces (Theorem~1.2 and Corollary~1.2) are new.

The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this note, we give the $4$-girth-thickness $θ(4,L(K_n))$ of the line graph of the complete graph $L(K_n)$ when $n$ is even. We also give the minimum number of subgraphs of $L(K_n)$, which are of girth at least $4$ and embeddable on the projective plane, whose union is $L(K_n)$.

In a recent paper arXiv:1602.02300v2, Cook II, Harbourne, Migliore and Nagel related the splitting type of a line arrangement in the projective plane to the number of conditions imposed by a general fat point of multiplicity $j$ to the linear system of curves of degree $j+1$ passing through the configuration of points dual to the given arrangement. If the number of conditions is less than the expected, we say that the configuration of points admits unexpected curves. In this paper, we characterize supersolvable line arrangements whose dual configuration admits unexpected curves and we provide other infinite families of line arrangements with this property.

The transversal number $τ(H)$ of a hypergraph $H$ is the minimum number of vertices that intersect every edge of $H$. A linear hypergraph is one in which every two distinct edges intersect in at most one vertex. A $k$-uniform hypergraph has all edges of size $k$. It is known that $τ(H) \le (n + m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$ when $k \in \{2,3\}$ or when $k \ge 4$ and the maximum degree of $H$ is at most two. It has been conjectured that $τ(H) \le (n+m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$. We disprove the conjecture for large $k$, and show that the best possible constant $c_k$ in the bound $τ(H) \le c_k (n+m)$ has order $\ln(k)/k$ for both linear (which we show in this paper) and non-linear hypergraphs. We show that for those $k$ where the conjecture holds, it is tight for a large number of densities if there exists an affine plane $AG(2,k)$ of order $k \ge 2$. We raise the problem to find the smallest value, $k_{\min}$, of $k$ for which the conjecture fails. We prove a general result, which when applied to a projective plane of order $331$ shows that $k_{\min} \le 166$. Even though the conjecture fails for large $k$, our main result is that it still holds for $k=4$, implying that $k_{\min} \ge 5$. The case $k=4$ is much more difficult than the cases $k \in \{2,3\}$, as the conjecture does not hold for general (non-linear) hypergraphs when $k=4$. Key to our proof is the completely new technique of the deficiency of a hypergraph introduced in this paper.

We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to apply to higher orders like 8, 9 and, with further improvements, possibly 10 and 12.

An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $π$ be any projective plane of order $p$. For any partial linear space ${\cal X}$, define the inclusion number $i({\cal X},π)$ to be the number of isomorphic copies of ${\cal X}$ in $π$. In this paper we prove that if ${\cal X}$ has at most $\log_2 p$ lines, then $i({\cal X},π)$ can be written as an explicit rational linear combination (depending only on ${\cal X}$ and $p$) of the coefficients of the complete weight enumerator (c.w.e.) of the $p$-ary code of $π$. Thus, the c.w.e. of this code carries an enormous amount of structural information about $π$. In consequence, it is shown that if $p > 2^ 9=512$, and $π$ has the same c.w.e. as $PG(2,\mathbb{F}_p)$, then $π$ must be isomorphic to $PG(2,\mathbb{F}_p)$. Thus, the uniqueness conjecture can be approached via a thorough study of the possible c.w.e. of the codes of putative projective planes of prime order.