arXiv++ Combinatorics

We provide classification results for translation generalized quadrangles of order less or equal to $64$, and hence, for all incidence geometries related to them. The results consist of the classification of all pseudo-ovals in $PG(3n-1,2)$, for $n=3,4$, and that of the pseudo-ovals in $PG(3n-1,q)$, for $n=5,6$, such that one of the associated projective planes is Desarguesian.

A Latin square of order $n$ is an $n\times n$ matrix in which each row and column contains each of $n$ symbols exactly once. For $ε>0$, we show that with high probability a uniformly random Latin square of order $n$ has no proper subsquare of order larger than $n^{1/2}\log^{1/2+ε}n$. Using this fact we present a canonical labelling algorithm for Latin squares of order $n$ that runs in average time bounded by a polynomial in $n$. The algorithm can be used to solve isomorphism problems for many combinatorial objects that can be encoded using Latin squares, including quasigroups, Steiner triple systems, Mendelsohn triple systems, $1$-factorisations, nets, affine planes and projective planes.

We present a novel graph partition algorithm with a theoretical bound for the replication factor of \sqrt(n), which improves known constrained approaches (grid: 2* \sqrt(n)-1, torus: 1.5*\sqrt(n)+1) and provides better performance

The main aim of the note is to provide an upper-bound for the characteristic number of conic-line arrangements with ordinary singularities in the complex projective plane.

The existence of a projective plane of order $p\equiv3\pmod{4}$, where $p$ is a prime power, is shown to be equivalent to the existence of a balancedly multi-splittable embeddable $p^2\times p(p+1)$ partial Hadamard matrix.

In this paper we collect the main properties of free curves in the complex projective plane and a lot of conjectures and open problems, both old and new. In the quest to understand the mystery of free curves, many tools were developed and many results were obtained, which apply to any reduced plane curve, and some of them are recorded here.

We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an arbitrary unital unambiguously determines the unital. Along the way, we show that each linear space with $q^2$ points such that the sizes of both point rows and line pencils are bounded above by $q+1$ embeds in a projective plane of order $q$.

Brehm and Kühnel (1992) constructed three 15-vertex combinatorial 8-manifolds `like the quaternionic projective plane' with symmetry groups $\mathrm{A}_5$, $\mathrm{A}_4$, and $\mathrm{S}_3$, respectively. Gorodkov (2016) proved that these three manifolds are in fact PL homeomorphic to $\mathbb{HP}^2$. Note that 15 is the minimal number of vertices of a combinatorial 8-manifold that is not PL homeomorphic to $S^8$. In the present paper we construct a lot of new 15-vertex triangulations of $\mathbb{HP}^2$. A surprising fact is that such examples are found for very different symmetry groups, including those not in any way related to the group $\mathrm{A}_5$. Namely, we find 19 triangulations with symmetry group $\mathrm{C}_7$, one triangulation with symmetry group $\mathrm{C}_6\times\mathrm{C}_2$, 14 triangulations with symmetry group $\mathrm{C}_6$, 26 triangulations with symmetry group $\mathrm{C}_5$, one new triangulation with symmetry group $\mathrm{A}_4$, and 11 new triangulations with symmetry group $\mathrm{S}_3$. Further, we obtain the following classification result. We prove that, up to isomorphism, there are exactly 75 triangulations of $\mathbb{HP}^2$ with 15 vertices and symmetry group of order at least 4: the three Brehm-Kühnel triangulations and the 72 new triangulations listed above. On the other hand, we show that there are plenty of triangulations with symmetry groups $\mathrm{C}_3$ and $\mathrm{C}_2$, as well as the trivial symmetry group.

An origin of the multidimensional Weisfeiler-Leman algorithm goes back to a refinement procedure of deep stabilization, introduced by B. Weisfeiler in a paper included in the collective monograph ``On construction and identification of graphs"(1976). This procedure is recursive and the recursion starts from an algorithm of depth-$1$ stabilization, which has never been discussed in the literature. A goal of the present paper is to show that a simplified algorithm of the depth-$1$ stabilization has the same power as the $3$-dimensional Weisfeiler-Leman algorithm. It is proved that the class of coherent configurations obtained at the output of this simplified algorithm coincides with the class introduced earlier by the third author. As an application we also prove that if there exist at least two nonisomorphic projective planes of order $q$, then the Weisfeiler-Leman dimension of the incidence graph of any projective plane of order $q$ is at least $4$.

S. Negami conjectured in $1988$ that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It follows from the works of D. Archdeacon, M. Fellows, P. Hliněný, and S. Negami that this conjecture is true if the graph $K_{1, 2, 2, 2}$ has no finite planar cover. We prove a number of structural results about putative finite planar covers of $K_{1,2,2,2}$ that may be of independent interest. We then apply these results to prove that $K_{1, 2, 2, 2}$ has no planar cover of fold number less than $14$.

Denniston constructed partial difference sets (PDSs) with the parameters $(2^{3m}, (2^{m+r} - 2^m + 2^r)(2^m-1), 2^m-2^r+(2^{m+r}-2^m+2^r)(2^r-2), (2^{m+r}-2^m+2^r)(2^r-1))$ in elementary abelian groups of order $2^{3m}$ for all $m \geq 2, 1 \leq r < m$. These correspond to maximal arcs in Desarguesian projective planes of even order. In this paper, we show that - although maximal arcs do not exist in Desarguesian projective planes of odd order - PDSs with the Denniston parameters $(p^{3m}, (p^{m+r} - p^m + p^r)(p^m-1), p^m-p^r+(p^{m+r}-p^m+p^r)(p^r-2), (p^{m+r}-p^m+p^r)(p^r-1))$ exist in all elementary abelian groups of order $p^{3m}$ for all $m \geq 2, r \in \{1, m-1\}$ where $p$ is an odd prime, and present a construction. Our approach uses PDSs formed as unions of cyclotomic classes.

It is known that all degenerations of the complex projective plane into a surface with only quotient singularities are controlled by the positive integer solutions $(a,b,c)$ of the Markov equation $$x^2+y^2+z^2=3xyz.$$ It turns out that these degenerations are all connected through finite sequences of other simpler degenerations by means of birational geometry. In this paper, we explicitly describe these birational sequences and show how they are bridged among all Markov solutions. For a given Markov triple $(a,b,c)$, the number of birational modifications depends on the number of branches that it needs to cross in the Markov tree to reach the Fibonacci branch. We show that each of these branches corresponds exactly to a Mori train of the flipping universal family of a particular cyclic quotient singularity defined by $(a,b,c)$. As a byproduct, we obtain new numerical/combinatorial data for each Markov number, and new connections with the Markov conjecture (Frobenius Uniqueness Conjecture), which rely on Hirzebruch-Jung continued fractions of Wahl singularities.

In 1987 Brehm and Kühnel showed that any triangulation of a $d$-manifold (without boundary) that is not homeomorphic to the sphere has at least $3d/2+3$ vertices. Moreover, triangulations with exactly $3d/2+3$ vertices may exist only for `manifolds like projective planes', which can have dimensions $2$, $4$, $8$, and $16$ only. There is a $6$-vertex triangulation of the real projective plane $\mathbb{RP}^2$, a $9$-vertex triangulation of the complex projective plane $\mathbb{CP}^2$, and $15$-vertex triangulations of the quaternionic projective plane $\mathbb{HP}^2$. Recently, the author has constructed first examples of $27$-vertex triangulations of manifolds like the octonionic projective plane $\mathbb{OP}^2$. The four most symmetrical have symmetry group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ of order $351$. These triangulations were constructed using a computer program after the symmetry group was guessed. However, it remained unclear why exactly this group is realized as the symmetry group and whether $27$-vertex triangulations of manifolds like $\mathbb{OP}^2$ exist with other (possibly larger) symmetry groups. In this paper we find strong restrictions on symmetry groups of such $27$-vertex triangulations. Namely, we present a list of $26$ subgroups of $\mathrm{S}_{27}$ containing all possible symmetry groups of $27$-vertex triangulations of manifolds like the octonionic projective plane. (We do not know whether all these subgroups can be realized as symmetry groups.) The group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ is the largest group in this list, and the orders of all other groups do not exceed $52$. A key role in our approach is played by the use of Smith and Bredon's results on the topology of fixed point sets of finite transformation groups.

In this article, we study algebraic properties of binomial edge ideals of Levi graphs associated with certain plane curve arrangements. Using combinatorial properties of Levi graphs, we discuss the Cohen-Macaulayness of binomial edge ideals of Levi graphs associated to some curve arrangements in the complex projective plane, like the $d$-arrangement of curves and the conic-line arrangements. We also discuss the existence of certain induced cycles in the Levi graphs of these arrangements and obtain lower bounds for the regularity of powers of the corresponding binomial edge ideals.

In this paper we study plus-one generated arrangements of conics and lines in the complex projective plane with simple singularities. We provide several degree-wise classification results that allow us to construct explicit examples of such arrangements.

An All-to-All Comparison problem is where every element of a data set is compared with every other element. This is analogous to projective planes and affine planes where every pair of points share a common line. For large data sets, the comparison computations can be distributed across a cluster of computers. All-to-All Comparison does not fit the highly successful Map-Reduce pattern, so a new distributed computing framework is required. The principal challenge is to distribute the data in such a way that computations can be scheduled where the data already lies. This paper uses projective planes, affine planes and balanced incomplete block designs to design data distributions and schedule computations. The data distributions based on these geometric and combinatorial structures achieve minimal data replication whilst balancing the computational load across the cluster.

The study of regular incidence structures such as projective planes and symmetric block designs is a well established topic in discrete mathematics. Work of Bruck, Ryser and Chowla in the mid-twentieth century applied the Hasse-Minkowski local-global theory for quadratic forms to derive non-existence results for certain design parameters. Several combinatorialists have provided alternative proofs of this result, replacing conceptual arguments with algorithmic ones. In this paper, we show that the methods required are purely linear-algebraic in nature and are no more difficult conceptually than the theory of the Jordan Canonical Form. Computationally, they are rather easier. We conclude with some classical and recent applications to design theory, including a novel application to the decomposition of incidence matrices of symmetric designs.

Concerning the recent notion of circular chromatic number of signed graphs, for each given integer $k$ we introduce two signed bipartite graphs, each on $2k^2-k+1$ vertices, having shortest negative cycle of length $2k$, and the circular chromatic number 4. Each of the construction can be viewed as a bipartite analogue of the generalized Mycielski graphs on odd cycles, $M_{\ell}(C_{2k+1})$. In the course of proving our result, we also obtain a simple proof of the fact that $M_{\ell}(C_{2k+1})$ and some similar quadrangulations of the projective plane have circular chromatic number 4. These proofs have the advantage that they illuminate, in an elementary manner, the strong relation between algebraic topology and graph coloring problems.

A projective rectangle is like a projective plane that has different lengths in two directions. We develop the basic theory of projective rectangles including incidence properties, projective subplanes, configuration counts, a partial Desargues's theorem, a construction from projective planes, and alternative formulations. In sequels we study harmonic conjugation and the graphs of lines and subplanes.

This text is dedicated to Jacques Tits's ideas on geometry over F1, the field with one element. In a first part, we explain how thin Tits geometries surface as rational point sets over the Krasner hyperfield, which links these ideas to combinatorial flag varieties in the sense of Borovik, Gelfand and White and F1-geometry in the sense of Connes and Consani. A completely novel feature is our approach to algebraic groups over F1 in terms of an alteration of the very concept of a group. In the second part, we study an incidence-geometrical counterpart of (epimorphisms to) thin Tits geometries; we introduce and classify all F1-structures on 3-dimensional projective spaces over finite fields. This extends recent work of Thas and Thas on epimorphisms of projective planes (and other rank 2 buildings) to thin planes.