arXiv++ Combinatorics

For a graph $G = (V, E)$ embedded in the projective plane, let $\mathcal{F}(G)$ denote the set of faces of $G$. Then, $G$ is called a $C_n$-face-magic projective graph if there exists a bijection $f: V(G) \to \{1, 2, \dots, |V(G)|\}$ such that for any $F \in \mathcal{F}(G)$ with $F \cong C_n$, the sum of all the vertex labels around $C_n$ is a constant $S$. We consider the $m \times n$ grid graph, denoted by $\mathcal{P}_{m,n}$, embedded in the projective plane in the natural way. Let $m \geqslant 3$ and $n \geqslant 3$ be odd integers. It is known that the $C_4$-face-magic value of a $C_4$-face-magic labeling on $\mathcal{P}_{m,n}$ is either $2mn+1$, $2mn+2$, or $2mn+3$. The characterization of $C_4$-face-magic labelings on $\mathcal{P}_{m,n}$ having $C_4$-face-magic value $2mn+2$ is known. In this paper, we determine a category of $C_4$-face-magic labelings on $\mathcal{P}_{m,n}$ for which the $C_4$-face-magic value is either $2mn+1$ or $2mn+3$. It is conjectured that these are the only $C_4$-face-magic labeling on $\mathcal{P}_{m,n}$ having $C_4$-face-magic value $2mn+1$ or $2mn+3$.

For an arrangement of $n$ lines in the real projective plane, we denote by $f$ the number of regions into which the real projective plane is divided by the lines. Using Bojanowski's inequality, we establish a new lower bound for $f$. In particular, we show that if no more than $\frac{2}{3}n$ lines intersect at any point, then $f \ge \frac{1}{6}n^{2}$

We prove that every triangulation of either of the torus, projective plane and Klein bottle, contains a vertex-spanning planar Laman graph as a subcomplex. Invoking a result of Kir{á}ly, we conclude that every $1$-skeleton of a triangulation of a surface of nonnegative Euler characteristic has a rigid realization in the plane using at most 26 locations for the vertices.

In the Grassmannian formulation of the S-matrix for planar $\mathcal{N}=4$ Super Yang-Mills, $N^{k-2}MHV$ scattering amplitudes for $k$ negative and $n-k$ positive helicity gluons can be expressed, by an application of the global residue theorem, as a signed sum over a collection of $(k-2)(n-k-2)$-dimensional residues. These residues are supported on certain positroid subvarieties of the Grassmannian $G(k,n)$. In this paper, we replace the Grassmannian $G(3,n)$ with its torus quotient, the moduli space of $n$ points in the projective plane in general position, and planar $\mathcal{N}=4$ SYM with generalized biadjoint scalar amplitudes $m^{(3)}_n$ as introduced by Cachazo-Early-Guevara-Mizera (CEGM). Whereas in the Grassmannian formulation residues of the Parke-Taylor form correspond to individual BCFW, or on-shell diagrams, we show that each such $(n-5)$-dimensional residue of $m^{(3)}_n$ is an entire biadjoint scalar partial amplitude $m^{(2)}_n$, that is a sum over all tree-level Feynman diagrams for a fixed planar order. We propose a generalization which would give rise to identifications of $m^{(2)}_n$ inside $m^{(k)}_n$ for $k\ge 4$, via $(k-2)(n-k-2)$-dimensional residues. Our proof for $k=3$ uses the CEGM formula for $m^{(3)}_n$; it predicts a new Minkowski sum realization of the associahedron in terms of certain positroid polytopes in the second hypersimplex $Δ_{2,n}$.

The minimum weight of the code generated by the incidence matrix of points versus lines in a projective plane has been known for over 50 years. Surprisingly, finding the minimum weight of the dual code of projective planes of non-prime order is still an open problem, even in the Desarguesian case. In this paper, we focus on the case of projective planes of order $p^2$, where $p$ is prime, and we link the existence of small weight code words in the dual code to the existence of embedded subplanes and {\em antipodal planes}. In the Desarguesian case, we can exclude such code words by showing a more general result that no antipodal plane of order at least 3 can be embedded in a Desarguesian projective plane. Furthermore, we use combinatorial arguments to rule out the existence of code words in the dual code of points and lines of an arbitrary projective plane of order $p^2$, $p$ prime, of weight at most $2p^2-2p+4$ using more than two symbols. In particular, this leads to the result that the dual code of the Desarguesian projective plane $\mathrm{PG}(2,p^2)$, $p\geq 5$, has minimum weight at least $2p^2-2p+5$.

We study the geometry of $\mathcal{Q}$-conic arrangements in the complex projective plane. These are arrangements consisting of smooth conics and they admit certain quasi-homogeneous singularities. We show that such $\mathcal{Q}$-conic arrangements are never free. Moreover, we provide combinatorial constraints of the weak combinatorics of such arrangements.

We consider point sets in the real projective plane $\mathbb{R}P^2$ and explore variants of classical extremal problems about planar point sets in this setting, with a main focus on Erdős--Szekeres-type problems. We provide asymptotically tight bounds for a variant of the Erdős--Szekeres theorem about point sets in convex position in $\mathbb{R}P^2$, which was initiated by Harborth and Möller in 1994. The notion of convex position in $\mathbb{R}P^2$ agrees with the definition of convex sets introduced by Steinitz in 1913. For $k \geq 3$, an (\affine) $k$-hole in a finite set $S \subseteq \mathbb{R}^2$ is a set of $k$ points from $S$ in convex position with no point of $S$ in the interior of their convex hull. After introducing a new notion of $k$-holes for points sets from $\mathbb{R}P^2$, called projective $k$-holes, we find arbitrarily large finite sets of points from $\mathbb{R}P^2$ with no \projective 8-holes, providing an analogue of a classical planar construction by Horton from 1983. We also prove that they contain only quadratically many \projective $k$-holes for $k \leq 7$. On the other hand, we show that the number of $k$-holes can be substantially larger in~$\mathbb{R}P^2$ than in $\mathbb{R}^2$ by constructing, for every $k \in \{3,\dots,6\}$, sets of $n$ points from $\mathbb{R}^2 \subset \mathbb{R}P^2$ with $Ω(n^{3-3/5k})$ \projective $k$-holes and only $O(n^2)$ \affine $k$-holes. Last but not least, we prove several other results, for example about projective holes in random point sets in $\mathbb{R}P^2$ and about some algorithmic aspects. The study of extremal problems about point sets in $\mathbb{R}P^2$ opens a new area of research, which we support by posing several open problems.

We construct a new family of minimal non-orientable matroids of rank three. Some of these matroids embed in Desarguesian projective planes. This answers a question of Ziegler: for every prime power $q$, find a minimal non-orientable submatroid of the projective plane over the $q$-element field.

We study a generalization of the concept of harmonic conjugation from projective geometry and full algebraic matroids to a larger class of matroids called \emph{harmonic matroids}. We use harmonic conjugation to construct a projective plane of prime order in harmonic matroids without using the axioms of projective geometry. As a particular case we have a combinatorial construction of a projective plane of prime order in full algebraic matroids.

A design is additive under an abelian group $G$ (briefly, $G$-additive) if, up to isomorphism, its point set is contained in $G$ and the elements of each block sum up to zero. The only known Steiner 2-designs that are $G$-additive for some $G$ have block size which is either a prime power or a prime power plus one. Indeed they are the point-line designs of the affine spaces $AG(n,q)$, the point-line designs of the projective planes $PG(2,q)$, and the point-line designs of the projective spaces $PG(n,2)$. In the attempt to find new examples, possibly with a block size which is neither a prime power nor a prime power plus one, we look for Steiner 2-designs which are strictly $G$-additive (the point set is exactly $G$) and $G$-regular (any translate of any block is a block as well) at the same time. These designs will be called\break "$G$-super-regular". Our main result is that there are infinitely many values of $v$ for which there exists a super-regular, and therefore additive, $2$-$(v,k,1)$ design whenever $k$ is neither singly even nor of the form $2^n3\geq12$. The case $k\equiv2$ (mod 4) is a definite exception whereas $k=2^n3\geq12$ is at the moment a possible exception. We also find super-regular $2$-$(p^n,p,1)$ designs with $p\in\{5,7\}$ and $n\geq3$ which are not isomorphic to the point-line design of $AG(n,p)$.

We provide a classification result on nearly free arrangements of lines in the complex projective plane with nodes and triple points.

We show that the base polytope $P_M$ of any paving matroid $M$ can be systematically obtained from a hypersimplex by slicing off certain subpolytopes, namely base polytopes of lattice path matroids corresponding to panhandle-shaped Ferrers diagrams. We calculate the Ehrhart polynomials of these matroids and consequently write down the Ehrhart polynomial of $P_M$, starting with Katzman's formula for the Ehrhart polynomial of a hypersimplex. The method builds on and generalizes Ferroni's work on sparse paving matroids. Combinatorially, our construction corresponds to constructing a uniform matroid from a paving matroid by iterating the operation of stressed-hyperplane relaxation introduced by Ferroni, Nasr, and Vecchi, which generalizes the standard matroid-theoretic notion of circuit-hyperplane relaxation. We present evidence that panhandle matroids are Ehrhart positive and describe a conjectured combinatorial formula involving chain forests and Eulerian numbers from which Ehrhart positivity of panhandle matroids will follow. As an application of the main result, we calculate the Ehrhart polynomials of matroids associated with Steiner systems and finite projective planes, and show that they depend only on their design-theoretic parameters: for example, while projective planes of the same order need not have isomorphic matroids, their base polytopes must be Ehrhart equivalent.

The game "Spot It!" is played with a deck of cards in which every pair of cards has exactly one matching symbol and the aim is to be the fastest at finding the match. It is known that finite projective planes correspond to decks in which every card contains $n$ symbols and every symbol appears on $n$ cards. In this paper we relax the hypothesis on the number of cards on which a symbol appears: we study symmetric decks in which every symbol appears the same number of times and we introduce the concept of maximal deck, providing a sufficient condition for a deck to have this property. We also produce various examples of interesting decks which do not correspond to projective planes.

This paper deals with triangulations of the 2-torus with the vertex labeled general octahedral graph $O_4$ which is isomorphic to the complete four-partite graph $K_{2,2,2,2}$; it is known that there exist precisely twelve such triangulations. We find all the 12 triangulations in a Schlegel diagram of the hyperoctahedron and realize all of them geometrically with the same 1-skeleton in 3-space. In particular, we identify two geometric polyhedral tori (both without self-intersections) with the same 1-skeleton in 3-space, but without a single common face, or in other words their intersection (as point-sets) is only their common 1-skeleton. Similarly, all the twelve triangulations of the 2D projective plane with the vertex labeled complete graph $K_6$ are found in a Schlegel diagram of the 5-simplex and all are realized geometrically with the same 1-skeleton in 4-space; especially we obtain a pair of triangulations of the Möbius band and a pair of triangulated projective planes with the same 1-skeleton (within each pair) in 3-space and 4-space, respectively, without a single common face. The constructed polyhedra are modeled and visualized with GeoGebra.

In the 1990's, Itenberg and Haas studied the relations between combinatorial data in Viro's patchworking and the topology of the resulting non-singular real algebraic curves in the projective plane. Using recent results from Renaudineau and Shaw on real algebraic curves near the non-singular tropical limit, we continue the study of Itenberg and Haas inside any non-singular projective toric surface. We give new Haas' like criteria for patchworking non-singular real algebraic curves with prescribed number of connected components, in terms of twisted edges on a non-singular tropical curve. We then obtain several sufficient conditions for patchworking non-singular real algebraic curves with only ovals in their real part. One of these sufficient conditions does not depend on the ambient toric surface. In that case, we count the number of even and odd ovals of those curves in terms of the dual subdivision, and construct some new counter-examples to Ragsdale's conjecture.

In the 7-vertex triangulation of the torus, the 14 triangles can be partitioned as $T_{1} \sqcup T_{2}$, such that each $T_{i}$ represents the lines of a copy of the Fano plane $PG(2, \mathbb{F}_{2})$. We generalize this observation by constructing, for each prime power $q$, a simplicial complex $X_{q}$ with $q^{2} + q + 1$ vertices and $2(q^{2} + q + 1)$ facets consisting of two copies of $PG(2, \mathbb{F}_{q})$. Our construction works for any colored $k$-configuration, defined as a $k$-configuration whose associated bipartite graph $G$ is connected and has a $k$-edge coloring $χ\colon E(G) \to [k]$, such that for all $v \in V(G)$, $a, b, c \in [k]$, following edges of colors $a, b, c, a, b, c$ from $v$ brings us back to $v$. We give one-to-one correspondences between (1) Sidon sets of order 2 and size $k + 1$ in groups with order $n$, (2) linear codes with radius 1 and index $n$ in the lattice $A_{k}$, and (3) colored $(k + 1)$-configurations with $n$ points and $n$ lines. (The correspondence between (1) and (2) is known.) As a result, we suggest possible topological obstructions to the existence of Sidon sets, and in particular, planar difference sets.

In 1977, Erdős asked the following question: for any integers $t,n \in \mathbb{N}$, if $G_1 , \dots , G_n$ are complete graphs such that each $G_i$ has at most $n$ vertices and every pair of them shares at most $t$ vertices, what is the largest possible chromatic number of the union $\bigcup_{i=1}^{n} G_i$? The equivalent dual formulation of this question asks for the largest chromatic index of an $n$-vertex hypergraph with maximum degree at most $n$ and maximum codegree at most $t$. For the case $t = 1$, Erdős, Faber, and Lovász famously conjectured that the answer is $n$, which was recently proved by the authors for all sufficiently large $n$. In this paper, we answer this question of Erdős for $t \geq 2$ in a strong sense, by proving that every $n$-vertex hypergraph with maximum degree at most $(1-o(1))tn$ and maximum codegree at most $t$ has chromatic index at most $tn$ for any $t,n \in \mathbb{N}$. Moreover, equality holds if and only if the hypergraph is a $t$-fold projective plane of order $k$, where $n = k^2 + k + 1$. Thus, for every $t \in \mathbb N$, this bound is best possible for infinitely many integers $n$. This result also holds for the list chromatic index.

We show that any finite triangulation of the real projective plane or the dunce hat is partitionable. To prove this, we introduce simple yet useful gluing tools that allow us to reduce partitionability of a given complex to that of smaller constituent relative subcomplexes such as the disk or the open Möbius strip. The gluing process generates partitioning schemes with a distinctive shelling/constructible flavor. We also give a tool to lift partitionability of relative simplicial complexes to that of the preimages of certain simplicial quotient maps.

An $n$ arc in $(k-1)$-dimensional projective space is a set of $n$ points so that no $k$ lie on a hyperplane. In 1988, Glynn gave a formula to count $n$-arcs in the projective plane in terms of simpler combinatorial objects called superfigurations. Several authors have used this formula to count $n$-arcs in the projective plane for $n \le 10$. In this paper, we determine a formula to count $n$-arcs in projective 3-space. We then use this formula to give exact expressions for the number of $n$-arcs in $\mathbb{P}^3(\mathbb{F}_q)$ for $n \le 7$, which are polynomial in $q$ for $n \le 6$ and quasipolynomial in $q$ for $n=7$. Lastly, we generalize to higher-dimensional projective space.

A famous conjecture of Ryser states that any $r$-partite set system has transversal number at most $r-1$ times their matching number. This conjecture is only known to be true for $r\leq3$ in general, for $r\leq5$ if the set system is intersecting, and for $r\leq9$ if the intersecting set system is linear. In this note, we deal with Ryser's Conjecture for intersecting $r$-partite linear systems; that is, if $τ$ is the transversal number for an intersecting $r$-partite linear system, then Ryser's Conjecture states that $τ\leq r-1$. If this conjecture is true, this is known to be sharp for $r$ for which there exists a projective plane of order $r-1$. There has also been considerable effort to find intersecting $r$-partite set systems whose transversal number is $r-1$. In this note, the following is proved: if $r\geq4$ is an even integer, then $f_l(r)\geq3(r-2)+1$, where $f_l(r)$ is the minimum number of lines of an intersecting $r$-partite linear system whose transversal number is $r-1$. This lower bound gives an exact value for $f_l(r)$, for some small values of $r$. Also, we prove that any $r$-partite linear system satisfies $τ\leq r-1$ if $ν_2\leq r$ for all $r\geq3$ odd integer and $ν_2\leq r-1$ for all $r\geq4$ even integer, where $ν_2$ is the maximum cardinality of a subset of lines $R\subseteq\mathcal{L}$ such that every triplet of different elements of $R$ does not have a common point.