arXiv++ Combinatorics

Inspired by a recent paper of Alain Connes and Catherina Consani which connects the geometric theory surrounding the elusive field with one element to sharply transitive group actions on finite and infinite projective spaces ("Singer actions"), we consider several fudamental problems and conjectures about Singer actions. Among other results, we show that virtually all infinite abelian groups and all (possibly infinitely generated) free groups act as Singer groups on certain projective planes, as a corollary of a general criterion. We investigate for which fields $\mathbb{F}$ the plane $\mathbf{P}^2(\mathbb{F}) = \mathbf{PG}(2,\mathbb{F})$ (and more generally the space $\mathbf{P}^n(\mathbb{F}) = \mathbf{PG}(n,\mathbb{F})$) admits a Singer group, and show, e.g., that for any prime $p$ and any positive integer $n > 1$, $\mathbf{PG}(n,\overline{\mathbb{F}_p})$ cannot admit Singer groups. One of the main results in characteristic $0$, also as a corollary of a criterion which applies to many other fields, is that $\mathbf{PG}(m,\mathbb{R})$ with $m \ne 0$ a positive even integer, cannot admit Singer groups.

We study the relationship between rational points and Galois points for a plane curve over a finite field. It is known that the set of Galois points coincides with that of rational points of the projective plane if the curve is the Hermitian, Klein quartic or Ballico-Hefez curves. We propose a problem: Does the converse hold true? When the curve of genus at most one has a rational point, we will have an affirmative answer.

We study Poncelet's Theorem in the four non-isomorphic finite projective planes of order 9. Among these planes, only the Desarguesian plane turns out to be a Poncelet plane, while the other three planes which are constructed over the miniquaternion near-field of order 9, are not. This gives a complete discussion of Poncelet's Theorem in finite projective planes of order 9.

One of the most fundamental open problems in Incidence Geometry, posed by Tits in the 1960s, asks for the existence of so-called "locally finite generalized polygons" | that is, generalized polygons with "mixed parameters" (one being finite and the other not). In a more specialized context, another long-standing problem (from the 1990s) is as to whether the endomorphism ring of any translation generalized quadrangle is a skew field (the answer of which is known in the finite case). (The analogous problem for projective planes, and its positive solution, the "Bruck-Bose construction," lies at the very base of the whole theory of translation planes.) In this short note, we introduce a category, representing certain very specific embeddings of generalized polygons, which surprisingly controls the solution of both (apparently entirely unrelated) problems.

The purpose of this note is to study configurations of lines in projective planes over arbitrary fields having the maximal number of intersection points where three lines meet. We give precise conditions on ground fields F over which such extremal configurations exist. We show that there does not exist a field admitting a configuration of 11 lines with 17 triple points, even though such a configuration is allowed combinatorially. Finally, we present an infinite series of configurations which have a high number of triple intersection points.

We commence the study of domination in the incidence graphs of combinatorial designs. Let $D$ be a combinatorial design and denote by $γ(D)$ the domination number of the incidence (Levy) graph of $D$. We obtain a number of results about the domination numbers of various kinds of designs. For instance, a finite projective plane of order $n$, which is a symmetric $(n^{2}+n+1,n+1,1)$-design, has $γ=2n$. %We also show that for any symmetric $(v,k,λ)$-design it holds that $γ\leq 2k$. We study at depth the domination numbers of Steiner systems and in particular of Steiner triple systems. We show that a $STS(v)$ has $γ\geq \frac{2}{3}v-1$ and also obtain a number of upper bounds. The tantalizing conjecture that all Steiner triple systems on $v$ vertices have the same domination number is proposed and is verified up to $v \leq 15$. The structure of minimal dominating sets is also investigated, both for its own sake and as a tool in deriving lower bounds on $γ$. Finally, a number of open questions are proposed.

In the previous works of the authors, a step-by-step algorithm FOP which uses any fixed order of points in the projective plane $\mathrm{PG}(2,q)$ is proposed to construct small complete arcs. In each step, the algorithm adds to a current arc the first point in the fixed order not lying on the bisecants of the arc. The algorithm is based on the intuitive postulate that $\mathrm{PG}(2,q)$ contains a sufficient number of relatively small complete arcs. Also, in the previous papers, it is shown that the type of order on the points of $\mathrm{PG}(2,q)$ is not relevant. A complete lexiarc in $\mathrm{PG}(2,q)$ is a complete arc obtained by the algorithm FOP using the lexicographical order of points. In this work, we collect and analyze the sizes of complete lexiarcs in the following regions: \begin{align*}& \textbf{all } q\le321007,~ q \mbox{ prime power}; & 15 \mbox{ sporadic $q$'s in the interval }[323761\ldots430007], \mbox{ see (1.10)}. \end{align*} In the work [9], the smallest known sizes of complete arcs in $\mathrm{PG}(2,q)$ are collected for all $q\leq160001$, $q$ prime power. The sizes of complete arcs, collected in this work and in [9], provide the following upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in the projective plane $\mathrm{PG}(2,q)$: \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;\\ t_{2}(2,q)&<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le321007. \end{align*} Our investigations and results allow to conjecture that the bound $t_{2}(2,q)<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}$ holds for all $q\ge7$. It is noted that sizes of the random complete arcs and complete lexiarcs behave similarly. This work can be considered as a continuation and development of the paper [11].

We study point-line incidence structures and their properties in the projective plane. Our motivation is the problem of the existence of $(n_4)$ configurations, still open for few remaining values of $n$. Our approach is based on quasi-configurations: point-line incidence structures where each point is incident to at least $3$ lines and each line is incident to at least $3$ points. We investigate the existence problem for these quasi-configurations, with a particular attention to $3|4$-configurations where each element is $3$- or $4$-valent. We use these quasi-configurations to construct the first $(37_4)$ and $(43_4)$ configurations. The existence problem of finding $(22_4)$, $(23_4)$, and $(26_4)$ configurations remains open.

Planar functions are special functions from a finite field to itself that give rise to finite projective planes and other combinatorial objects. We consider polynomials over a finite field $K$ that induce planar functions on infinitely many extensions of $K$; we call such polynomials exceptional planar. Exceptional planar monomials have been recently classified. In this paper we establish a partial classification of exceptional planar polynomials. This includes results for the classical planar functions on finite fields of odd characteristic and for the recently proposed planar functions on finite fields of characteristic two.

A hyperoval in the projective plane $\mathbb{P}^2(\mathbb{F}_q)$ is a set of $q+2$ points no three of which are collinear. Hyperovals have been studied extensively since the 1950s with the ultimate goal of establishing a complete classification. It is well known that hyperovals in $\mathbb{P}^2(\mathbb{F}_q)$ are in one-to-one correspondence to polynomials with certain properties, called o-polynomials of $\mathbb{F}_q$. We classify o-polynomials of $\mathbb{F}_q$ of degree less than $\frac12q^{1/4}$. As a corollary we obtain a complete classification of exceptional o-polynomials, namely polynomials over $\mathbb{F}_q$ that are o-polynomials of infinitely many extensions of $\mathbb{F}_q$.

In the present paper, we proceed the study of framed $4$-graph minor theory initiated in ``Framed $4$-valent Graph Minor Theory I. Intoduction. Planarity Criterion '' and justify the planarity theorem for arbitrary framed 4-graphs; besides, we prove analogous results for embeddability in the projective plane.

It is proved that every graph embedded on a (non-spherical) surface with non-separating face-width at least $7$ contains a minor isomorphic to $K_6$. It is also shown that face-width four yields the same conclusion for graphs on the projective plane.

This paper considers *-graphs in which all vertices have degree 4 or 6, and studies the question of calculating the genus of nonorientable surfaces into which such graphs may be embedded. In a previous paper by the authors, the problem of calculating whether a given *-graph in which all vertices have degree 4 or 6 admits a Z2-homologically trivial embedding into a given orientable surface was shown to be equivalent to a problem on matrices. Here we extend those results to nonorientable surfaces. The embeddability condition that we obtain yields quadratic-time algorithms to determine whether a *-graph with all vertices of degree 4 or 6 admits a Z2-homologically trivial embedding into the projective plane or into the Klein bottle.

For a graph $G$ of order $n$ and with eigenvalues $λ_1\geqslant\cdots\geqslantλ_n$, the HL-index $R(G)$ is defined as $R(G) ={\max}\left\{|λ_{\lfloor(n+1)/2\rfloor}|, |λ_{\lceil(n+1)/2\rceil}|\right\}.$ We show that for every connected bipartite graph $G$ with maximum degree $Δ\geqslant3$, $R(G)\leqslant\sqrt{Δ-2}$ unless $G$ is the the incidence graph of a projective plane of order $Δ-1$. We also present an approach through graph covering to construct infinite families of bipartite graphs with large HL-index.

In the projective planes $\mathrm{PG}(2,q)$, we collect the smallest known sizes of complete arcs for the regions \begin{align*} &\mbox{all } q\le160001,~~ q \mbox{ prime power};\\ &Q_{4}=\{34 \mbox{ sporadic }q'\mbox{s in the interval }[160801\ldots430007], \mbox{ see Table 3}\}. \end{align*} For $q\le160001$, the collection of arc sizes is complete in the sense that arcs for all prime powers are considered. This proves new upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in $\mathrm{PG}(2,q)$, in particular \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;~~(1) \\ t_{2}(2,q)&<\sqrt{q}\ln^{0.7295}q&\mbox{ for }&&109&\le q\le160001;~~(2)\\ t_{2}(2,q)&<\sqrt{q}\ln^{c_{up}(q)}q,~~c_{up}(q)=\frac{0.27}{\ln q}+0.7,&\mbox{ for }&&19&\le q\le160001;~~(3)\\ t_{2}(2,q)&<0.6\sqrt{q}\ln^{\varphi_{up}(q;0.6)} q,~~\varphi_{up}(q;0.6)=\frac{1.5}{\ln q}+0.802,&\mbox{ for }&&19&\le q\le160001.~~(4) \end{align*} Moreover, the bounds (2) -- (4) hold also for $q\in Q_{4}$. Also, \begin{align*} t_{2}(2,q)&<1.006\sqrt{3q\ln q}<1.743\sqrt{q\ln q}&\mbox{ for }&&q\in Q_{4}.~~(5) \end{align*} Our investigations and results allow to conjecture that the bounds (2) -- (5) hold for all $q\geq109$.

In 1955 B. Segre showed that any oval in a projective plane over a finite field of odd order is a conic. His proof constructs a conic which matches the oval in some points and tangents, and then shows that it actually coincides with the oval. The different proof given here parametrizes an affine piece of the oval and shows directly that the parametrization is given by a polynomial of degree $2$.

In a projective plane $Π_q$ of order $q$, a non-empty point set ${\cal S}_t$ is a $t$-semiarc if the number of tangent lines to ${\cal S}_t$ at each of its points is $t$. If ${\cal S}_t$ is a $t$-semiarc in $Π_q$, $t<q$, then each line intersects ${\cal S}_t$ in at most $q+1-t$ points. Dover proved that semiovals (semiarcs with $t=1$) containing $q$ collinear points exist in $Π_q$ only if $q<3$. We show that if $t>1$, then $t$-semiarcs with $q+1-t$ collinear points exist only if $t\geq \sqrt{q-1}$. In $\mathrm{PG}(2,q)$ we prove the lower bound $t\geq(q-1)/2$, with equality only if ${\cal S}_t$ is a blocking set of Rédei type of size $3(q+1)/2$. We call the symmetric difference of two lines, with $t$ further points removed from each line, a $V_t$-configuration. We give conditions ensuring a $t$-semiarc to contain a $V_t$-configuration and give the complete characterization of such $t$-semiarcs in $\mathrm{PG}(2,q)$.

In this paper we prove an Erdős-Ko-Rado-type theorem for intersecting sets of permutations. We show that an intersecting set of maximal size in the projective general linear group PGL(3,q), in its natural action on the points of the projective line, is either a coset of the stabilizer of a point or a coset of the stabilizer of a line.

We introduce and study embeddings of graphs in finite projective planes, and present related results for some families of graphs including complete graphs and complete bipartite graphs. We also make connections between embeddings of graphs and the existence of certain substructures in a plane, such as Baer subplanes and arcs.

The notion of basic net (called also basic polyhedron) on $S^2$ plays a central role in Conway's approach to enumeration of knots and links in $S^3$. Drobotukhina applied this approach for links in $RP^3$ using basic nets on $RP^2$. By a result of Nakamoto, all basic nets on $S^2$ can be obtained from a very explicit family of minimal basic nets (the nets $(2\times n)^*$, $n\ge3$, in Conway's notation) by two local transformations. We prove a similar result for basic nets in $RP^2$. We prove also that a graph on $RP^2$ is uniquely determined by its pull-back on $S^3$ (the proof is based on Lefschetz fix point theorem).