arXiv++ Combinatorics

We study a non-trivial extreme case of the orchard problem for $12$ pseudolines and we provide a complete classification of pseudoline arrangements having $19$ triple points and $9$ double points. We have also classified those that can be realized with straight lines. They include new examples different from the known example of Böröczky. Since Melchior's inequality also holds for arrangements of pseudolines, we are able to deduce that some combinatorial point-line configurations cannot be realized using pseudolines. In particular, this gives a negative answer to one of Grünbaum's problems. We formulate some open problems which involve our new examples of line arrangements.

In this note we show that there are no real configurations of $d\geq 4$ lines in the projective plane such that the associated Kummer covers of order $3^{d-1}$ are ball-quotients and there are no configurations of $d\geq 4$ lines such that the Kummer covers of order $4^{d-1}$ are ball-quotients. Moreover, we show that there exists only one configuration of real lines such that the associated Kummer cover of order $5^{d-1}$ is a ball-quotient. In the second part we consider the so-called topological $(n_{k})$-configurations and we show, using Shnurnikov's inequality, that for $n < 27$ there do not exist $(n_{5})$-configurations and and for $n < 41$ there do not exist $(n_{6})$-configurations.

It is well known that not every combinatorial configuration admits a geometric realization with points and lines. Moreover, some of them do not even admit realizations with pseudoline arrangements, i.e., they are not topological. In this paper we provide a new topological representation by using and essentially generalizing the topological representation of oriented matroids in rank 3. These representations can also be interpreted as curve arrangements on surfaces. In particular, we generalize the notion of a pseudoline arrangement to the notion of a quasiline arrangement by relaxing the condition that two pseudolines meet exactly once and show that every combinatorial configuration can be realized as a quasiline arrangement in the real projective plane. We also generalize well-known tools from pseudoline arrangements such as sweeps or wiring diagrams. A quasiline arrangement with selected vertices belonging to the configuration can be viewed as a map on a closed surface. Such a map can be used to distinguish between two "distinct" realizations of a combinatorial configuration as a quasiline arrangement.

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.

An $(n_k)$ configuration is a set of $n$ points and $n$ lines such that each point lies on $k$ lines while each line contains $k$ points. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. The existence and enumeration of $(n_k)$ configurations for a given $k$ has been subject to active research. A current front of research concerns geometric $(n_4)$ configurations: it is now known that geometric $(n_4)$ configurations exist for all $n \ge 18$, apart from sporadic exceptional cases. In this paper, we settle by computational techniques the first open case of $(19_4)$ configurations: we obtain all topological $(19_4)$ configurations among which none are geometrically realizable.

An $(n_k)$-configuration is a set of $n$ points and $n$ lines in the projective plane such that their point-line incidence graph is $k$-regular. The configuration is geometric, topological, or combinatorial depending on whether lines are considered to be straight lines, pseudolines, or just combinatorial lines. We provide an algorithm for generating, for given $n$ and $k$, all topological $(n_k)$-configurations up to combinatorial isomorphism, without enumerating first all combinatorial $(n_k)$-configurations. We apply this algorithm to confirm efficiently a former result on topological $(18_4)$-configurations, from which we obtain a new geometric $(18_4)$-configuration. Preliminary results on $(19_4)$-configurations are also briefly reported.