arXiv++ Combinatorics

We describe small dominating sets of the incidence graphs of finite projective planes by establishing a stability result which shows that dominating sets are strongly related to blocking and covering sets. Our main result states that if a dominating set in a projective plane of order $q>81$ is smaller than $2q+2[\sqrt{q}]+2$ (i.e., twice the size of a Baer subplane), then it contains either all but possibly one points of a line or all but possibly one lines through a point. Furthermore, we completely characterize dominating sets of size at most $2q+\sqrt{q}+1$. In Desarguesian planes, we could rely on strong stability results on blocking sets to show that if a dominating set is sufficiently smaller than 3q, then it consists of the union of a blocking set and a covering set apart from a few points and lines.

A \textit{$3$-net} of order $n$ is a finite incidence structure consisting of points and three pairwise disjoint classes of lines, each of size $n$, such that every point incident with two lines from distinct classes is incident with exactly one line from each of the three classes. The current interest around $3$-nets (embedded) in a projective plane $PG(2,K)$, defined over a field $K$ of characteristic $p$, arose from algebraic geometry. It is not difficult to find $3$-nets in $PG(2,K)$ as far as $0<p\le n$. However, only a few infinite families of $3$-nets in $PG(2,K)$ are known to exist whenever $p=0$, or $p>n$. Under this condition, the known families are characterized as the only $3$-nets in $PG(2,K)$ which can be coordinatized by a group. In this paper we deal with $3$-nets in $PG(2,K)$ which can be coordinatized by a diassociative loop $G$ but not by a group. We prove two structural theorems on $G$. As a corollary, if $G$ is commutative then every non-trivial element of $G$ has the same order, and $G$ has exponent $2$ or $3$. We also discuss the existence problem for such $3$-nets.

The classical theorem of Fáry states that every planar graph can be represented by an embedding in which every edge is represented by a straight line segment. We consider generalizations of Fáry's theorem to surfaces equipped with Riemannian metrics. In this setting, we require that every edge is drawn as a shortest path between its two endpoints and we call an embedding with this property a shortest path embedding. The main question addressed in this paper is whether given a closed surface S, there exists a Riemannian metric for which every topologically embeddable graph admits a shortest path embedding. This question is also motivated by various problems regarding crossing numbers on surfaces. We observe that the round metrics on the sphere and the projective plane have this property. We provide flat metrics on the torus and the Klein bottle which also have this property. Then we show that for the unit square flat metric on the Klein bottle there exists a graph without shortest path embeddings. We show, moreover, that for large g, there exist graphs G embeddable into the orientable surface of genus g, such that with large probability a random hyperbolic metric does not admit a shortest path embedding of G, where the probability measure is proportional to the Weil-Petersson volume on moduli space. Finally, we construct a hyperbolic metric on every orientable surface S of genus g, such that every graph embeddable into S can be embedded so that every edge is a concatenation of at most O(g) shortest paths.

We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph sequences of large essential girth, for which asymptotics of coloring numbers are explicitly calculated. We also treat numbers of matchings in approximately regular graphs. We introduce tentative limit objects that we call graphonings because they are common generalizations of graphons and graphings. Special forms of these, called Hausdorff and Euclidean graphonings, involve geometric measure theory. We construct Euclidean graphonings that provide limits of hypercubes and of finite projective planes, and, more generally, of a wide class of regular sequences of large essential girth. For any convergent sequence of large essential girth, we construct weaker limit objects: an involution invariant probability measure on the sub-Markov space of consistent measure sequences (this is unique), or an acyclic reversible sub-Markov kernel on a probability space (non-unique). We also pose some open problems.

An equiangular tight frame (ETF) is a set of equal norm vectors in a Euclidean space whose coherence is as small as possible, equaling the Welch bound. Also known as Welch-bound-equality sequences, such frames arise in various applications, such as waveform design, quantum information theory, compressed sensing and algebraic coding theory. ETFs seem to be rare, and only a few methods of constructing them are known. In this paper, we present a new infinite family of complex ETFs that arises from hyperovals in finite projective planes. In particular, we give the first ever construction of a complex ETF of 76 vectors in a space of dimension 19. Recently, a computer-assisted approach was used to show that real ETFs of this size do not exist, resolving a longstanding open problem in this field. Our construction is a modification of a previously known technique for constructing ETFs from balanced incomplete block designs.

A finite \emph{$k$-net} of order $n$ is an incidence structure consisting of $k\ge 3$ pairwise disjoint classes of lines, each of size $n$, such that every point incident with two lines from distinct classes is incident with exactly one line from each of the $k$ classes. Deleting a line class from a $k$-net, with $k\ge 4$, gives a \emph{derived} ($k-1$)-net of the same order. Finite $k$-nets embedded in a projective plane $PG(2,K)$ coordinatized by a field $K$ of characteristic $0$ only exist for $k=3,4$, see \cite{knp_k}. In this paper, we investigate $3$-nets embedded in $PG(2,K)$ whose line classes are in perspective position with an axis $r$, that is, every point on the line $r$ incident with a line of the net is incident with exactly one line from each class. The problem of determining all such $3$-nets remains open whereas we obtain a complete classification for those coordinatizable by a group. As a corollary, the (unique) $4$-net of order $3$ embedded in $PG(2,K)$ turns out to be the only $4$-net embedded in $PG(2,K)$ with a derived $3$-net which can be coordinatized by a group. Our results hold true in positive characteristic under the hypothesis that the order of the $k$-net considered is smaller than the characteristic of $K$.

Given a projective plane $Σ$ and a polarity $θ$ of $Σ$, the corresponding polarity graph is the graph whose vertices are the points of $Σ$, and two distinct points $p_1$ and $p_2$ are adjacent if $p_1$ is incident to $p_2^{ θ}$ in $Σ$. A well-known example of a polarity graph is the Erdős-Rényi orthogonal polarity graph $ER_q$, which appears frequently in a variety of extremal problems. Eigenvalue methods provide an upper bound on the independence number of any polarity graph. Mubayi and Williford showed that in the case of $ER_q$, the eigenvalue method gives the correct upper bound in order of magnitude. We prove that this is also true for other families of polarity graphs. This includes a family of polarity graphs for which the polarity is neither orthogonal nor unitary. We conjecture that any polarity graph of a projective plane of order $q$ has an independent set of size $Ω(q^{3/2})$. Some related results are also obtained.

Let $\mathcal C :f=0$ be a curve arrangement in the complex projective plane. If $\mathcal C$ contains a curve subarrangement consisting of at least three members in a pencil, then one obtains an explicit syzygy among the partial derivatives of the homogeneous polynomial $f$. In many cases this observation reduces the question about the freeness or the nearly freeness of $\mathcal C$ to an easy computation of Tjurina numbers. Some consequences for Terao's conjecture in the case of line arrangements are also discussed as well as the asphericity of some complements of geometrically constructed free curves. We also show that any line arrangement is a subarrangement of a free, $K(π,1)$ line arrangement.

We classify the distance-regular Cayley graphs with least eigenvalue $-2$ and diameter at most three. Besides sporadic examples, these comprise of the lattice graphs, certain triangular graphs, and line graphs of incidence graphs of certain projective planes. In addition, we classify the possible connection sets for the lattice graphs and obtain some results on the structure of distance-regular Cayley line graphs of incidence graphs of generalized polygons.

We develop a novel technique, which we call poset splitting, that allows us to solve two open problems regarding minimality of finite models of spaces: the nonexistence of a finite model of the real projective plane with fewer than 13 points and the nonexistence of a finite model of the torus with fewer than 16 points. Indeed, we prove much stronger results from which we also obtain that there does not exist a finite model of the Klein bottle with fewer than 16 points and that the integral homology groups of finite spaces with fewer than 13 points are torsion-free, settling a conjecture of Hardie, Vermeulen and Witbooi. Furthermore, we also apply our technique to give a complete characterization of the minimal finite models of the real projective plane, the torus, and the Klein bottle. In addition, we show that the poset splitting technique has an intrinsic interest giving original topological results that can be obtained from its application, such as a generalization of Hurewicz's theorem for non-simply-connected spaces and a generalization of a result of R. Brown on the fundamental group of a space.

There are three main thrusts to this article: a new proof of Levi's Enlargement Lemma for pseudoline arrangements in the real projective plane; a new characterization of pseudolinear drawings of the complete graph; and proofs that pseudolinear and convex drawings of $K_n$ have $n^2+{}$O$(n\log n)$ and O$(n^2)$, respectively, empty triangles. All the arguments are elementary, algorithmic, and self-contained.

In this paper we study the concept of characteristic numbers and Chern slopes in the context of curve configurations in the real and complex projective plane. We show that some extremal line configurations inherit the same asymptotic invariants, namely asymptotic Chern slopes and asymptotic Harbourne constants which sheds some light on relations between the bounded negativity conjecture and the geography problem for surfaces of general type. We discuss some properties of Kummer extensions, especially in the context of ball-quotients. Moreover, we prove that for a certain class of smooth curve configurations in the projective plane their characterstic numbers are bounded by $8/3$.

We show that every $4$-chromatic graph on $n$ vertices, with no two vertex-disjoint odd cycles, has an odd cycle of length at most $\tfrac12\,(1+\sqrt{8n-7})$. Let $G$ be a non-bipartite quadrangulation of the projective plane on $n$ vertices. Our result immediately implies that $G$ has edge-width at most $\tfrac12\,(1+\sqrt{8n-7})$, which is sharp for infinitely many values of $n$. We also show that $G$ has face-width (equivalently, contains an odd cycle transversal of cardinality) at most $\tfrac14(1+\sqrt{16 n-15})$, which is a constant away from the optimal; we prove a lower bound of $\sqrt{n}$. Finally, we show that $G$ has an odd cycle transversal of size at most $\sqrt{2Δn}$ inducing a single edge, where $Δ$ is the maximum degree. This last result partially answers a question of Nakamoto and Ozeki.

A conjecture widely attributed to Neumann is that all finite non-desarguesian projective planes contain a Fano subplane. In this note, we show that any finite projective plane of even order which admits an orthogonal polarity contains a Fano subplane. The number of planes of order less than $n$ previously known to contain a Fano subplane was $O(\log n)$, whereas the number of planes of order less than $n$ that our theorem applies to is not bounded above by any polynomial in $n$.

We describe procedures for generating all 2-cell embedded simple graphs with up to a fixed number of vertices on a given surface. We also modify these procedures to generate closed 2-cell embeddings and polyhedral embeddings. We give results of computer implementations of these procedures for seven surfaces: the sphere, the torus, the double torus, the projective plane, the Klein bottle, the triple cross surface, and the quadruple cross surface.

A linear system is a pair $(X,\mathcal{F})$ where $\mathcal{F}$ is a finite family of subsets on a ground set $X$, and it satisfies that $|A\cap B|\leq 1$ for every pair of distinct subsets $A,B \in \mathcal{F}$. As an example of a linear system are the straight line systems, which family of subsets are straight line segments on $\mathbb{R}^{2}$. By $τ$ and $ν_2$ we denote the size of the minimal transversal and the 2--packing numbers of a linear system respectively. A natural problem is asking about the relationship of these two parameters; it is not difficult to prove that there exists a quadratic function $f$ holding $τ\leq f(ν_2)$. However, for straight line system we believe that $τ\leqν_2-1$. In this paper we prove that for any linear system with $2$-packing numbers $ν_2$ equal to $2, 3$ and $4$, we have that $τ\leqν_2$. Furthermore, we prove that the linear systems that attains the equality have transversal and $2$-packing numbers equal to $4$, and they are a special family of linear subsystems of the projective plane of order $3$. Using this result we confirm that all straight line systems with $ν_2\in\{2,3,4\}$ satisfies $τ\leqν_2-1$.

We introduce and consider the notion of stable degeneracies of translation invariant energy functions for finite Ising models. By this term we mean the lack of injectivity that cannot be lifted by changing the interaction. We show that besides the symmetry-induced degeneracies, related to spin flip, translation and reflection, there exist additional stable degeneracies, due to more subtle symmetries. One such symmetry is the one of the Singer group of a finite projective plane. Others are described by combinatorial relations akin to trace identities. Our results resemble traits of the length spectrum for closed geodesics on a Riemannian surface of constant negative curvature. There stable degeneracy is defined w.r.t. Teichmüller space as parameter space.

Ryser conjectured that $τ\le(r-1)ν$ for $r$-partite hypergraphs, where $τ$ is the covering number and $ν$ is the matching number. We prove this conjecture for $r\le9$ in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each $r$-partite hypergraph should have a cover of size $(r-1)ν$ of a particular form. We provide a counterexample to Aharoni's conjecture with $r=13$ and $ν=1$. We also report a number of computational results. For $r=7$, we find that there is no linear intersecting hypergraph that achieves the equality $τ=r-1$ in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for $r\in\{9,13,17\}$. Also, we find that $r=8$ is the smallest value of $r$ for which there exists a linear intersecting $r$-partite hypergraph that achieves $τ=r-1$ and is not isomorphic to a subhypergraph of a projective plane.

Let $ Π_q $ be the projective plane of order $ q $, let $ψ(m):=ψ(L(K_m))$ the pseudoachromatic number of the complete line graph of order $ m $, let $ a\in \{ 3,4,\dots,\tfrac{q}{2}+1 \} $ and $ m_a=(q+1)^2-a $. In this paper, we improve the upper bound of $ ψ(m) $ given by Araujo-Pardo et al. [J Graph Theory 66 (2011), 89--97] and Jamison [Discrete Math. 74 (1989), 99--115] in the following values: if $ x\geq 2 $ is an integer and $m\in \{4x^2-x,\dots,4x^2+3x-3\}$ then $ψ(m) \leq 2x(m-x-1)$. On the other hand, if $ q $ is even and there exists $ Π_q $ we give a complete edge-colouring of $ K_{m_a} $ with $(m_a-a)q$ colours. Moreover, using this colouring we extend the previous results for $a=\{-1,0,1,2\}$ given by Araujo-Pardo et al. in [J Graph Theory 66 (2011), 89--97] and [Bol. Soc. Mat. Mex. (2014) 20:17--28] proving that $ψ(m_a)=(m_a-a)q$ for $ a\in \{3,4,\dots,\left\lceil \frac{1+\sqrt{4q+9}}{2}\right\rceil -1 \} $.

This paper gives an explicit formula for the Ehrhart quasi-polynomial of certain 2-dimensional polyhedra in terms of invariants of surface quotient singularities. Also, a formula for the dimension of the space of quasi-homogeneous polynomials of a given degree is derived. This admits an interpretation as a Numerical Adjunction Formula for singular curves on the weighted projective plane.