arXiv++ Combinatorics

In the previous paper [25], Stolarsky's invariance principle, known for point distributions on the Euclidean spheres [27], has been extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. Geometric features of these spaces as well as their models in terms of Jordan algebras have been used very essentially in the proof. In the present paper, we give a new pure analytic proof of the extended Stolarsky's invariance principle, relying on the theory of spherical functions on compact symmetric Riemannian manifolds of rank one.

We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many 3-rich lines which do not concentrate (in a natural sense) on any projective plane. Namely, we prove that such a family exists precisely when $X$ is a union of three planes sharing a common line. Along the way, we obtain a general result about nilpotency of groups admitting an algebraic action satisfying an Elekes-Szabó condition, and we prove the following purely algebrogeometric statement: if the composition of four Geiser involutions through sufficiently generic points $a,b,c,d$ on a smooth irreducible cubic surface has infinitely many fixed points, then a single plane contains $a,b,c,d$ and all but finitely many of the fixed points.

Let $n$ be the order of a (quaternary) Hadamard matrix. It is shown that the existence of a projective plane of order $n$ is equivalent to the existence of a balancedly multi-splittable (quaternary) Hadamard matrix of order $n^2$.

We show that there is a constant $c$ such that any 3-uniform hypergraph $\mathcal H$ with $n$ vertices and at least $cn^{5/2}$ edges contains a triangulation of the real projective plane as a subgraph. This resolves a conjecture of Kupavskii, Polyanskii, Tomon, and Zakharov. Furthermore, our work, combined with prior results, asymptotically determines the Turán number of all surfaces.

We obtain certain algebraic invariants relevant to study codes on subgroups of weighted projective tori inside an $n$-dimensional weighted projective space. As application, we compute all the main parameters of generalized toric codes on these subgroups of tori lying inside a weighted projective plane of the form $\Pp(1,1,a)$.

We completely characterize triangulations of the projective plane that have a spanning bipartite quadrangulation subgraph. This is an affirmative answer to a question by Kündgen and Ramamurthi (J Combin Theory Ser B 85, 307--337, 2002) for the projective planar case.

A PSCA$(v, t, λ)$ is a multiset of permutations of the $v$-element alphabet $\{0, \dots, v-1\}$ such that every sequence of $t$ distinct elements of the alphabet appears in the specified order in exactly $λ$ permutations. For $v \geq t$, let $g(v, t)$ be the smallest positive integer $λ$ such that a PSCA$(v, t, λ)$ exists. We present an explicit construction that proves $g(v,t) = O(v^{t(t-2)})$ for fixed $t \geq 4$. The method of construction involves taking a permutation representation of the group of projectivities of a suitable projective space of dimension $t - 2$ and deleting all but a certain number of symbols from each permutation. In the case that this space is a Desarguesian projective plane, we also show that there exists a permutation representation of the group of projectivities of the plane that covers the vast majority of 4-sequences of its points a fixed number of times.

This paper addresses a number of problems concerning Buekenhout-Tits unitals in $PG(2,q^2)$, where $q = 2^{e+1}$ and $e \geq 1$. We show that all Buekenhout-Tits unitals are $PGL$-equivalent (addressing an open problem in [S. Barwick and G. L. Ebert. Unitals in projective planes. Springer Monographs in Mathematics. Springer, New York, 2008.]), explicitly describe their $PΓL$-stabiliser (expanding Ebert's work in [G.L. Ebert. Buekenhout-Tits unitals. J. Algebraic. Combin. 6.2 (1997), 133-140], and show that lines meet the feet of points no on $\ell_\infty$ in at most four points. Finally, we show that feet of points not on $\ell_\infty$ are not always a $\{0,1,2,4\}$-set, in contrast to what happens for Buekenhout-Metz unitals [N. Abarzúa, R. Pomareda, and O. Vega. Feet in orthogonal-Buekenhout-Metz unitals. Adv. Geom. 18.2 (2018), 229-236].

The two strictly projective tight 5-designs are the lines spanned by the short vectors of the Leech lattice and a set of points in the octonion projective plane that define a generalized hexagon of order (2,8). A previous paper introduced a common construction that can generate these two tight 5-designs. This paper describes the same construction in terms of octonion arithmetic. An octonion integer construction of the Leech lattice is described using properties of the octonion integers taken modulo 2. The Leech lattice automorphism group is constructed from octonion reflections. The common construction and the Suzuki subgroup chain of Leech lattice automorphisms are described in terms of octonion integers.

In 1987 Brehm and Kühnel showed that any combinatorial $d$-manifold with less than $3d/2+3$ vertices is PL homeomorphic to the sphere and any combinatorial $d$-manifold with exactly $3d/2+3$ vertices is PL homeomorphic to either the sphere or a manifold like a projective plane in the sense of Eells and Kuiper. The latter possibility may occur for $d\in\{2,4,8,16\}$ only. There exist a unique $6$-vertex triangulation of $\mathbb{RP}^2$, a unique $9$-vertex triangulation of $\mathbb{CP}^2$, and at least three $15$-vertex triangulations of $\mathbb{HP}^2$. However, until now, the question of whether there exists a $27$-vertex triangulation of a manifold like the octonionic projective plane has remained open. We solve this problem by constructing a lot of examples of such triangulations. Namely, we construct $634$ vertex-transitive $27$-vertex combinatorial $16$-manifolds like the octonionic projective plane. Four of them have symmetry group $\mathrm{C}_3^3\rtimes \mathrm{C}_{13}$ of order $351$, and the other $630$ have symmetry group $\mathrm{C}_3^3$ of order $27$. Further, we construct more than $10^{103}$ non-vertex-transitive $27$-vertex combinatorial $16$-manifolds like the octonionic projective plane. Most of them have trivial symmetry group, but there are also symmetry groups $\mathrm{C}_3$, $\mathrm{C}_3^2$, and $\mathrm{C}_{13}$. We conjecture that all the triangulations constructed are PL homeomorphic to the octonionic projective plane $\mathbb{OP}^2$. Nevertheless, we have no proof of this fact so far.

A vertex colouring $f:V(G)\to C$ of a graph $G$ is complete if for any $c_1,c_2\in C$ with $c_1\ne c_2$ there are in $G$ adjacent vertices $v_1,v_2$ such that $f(v_1)=c_1$ and $f(v_2)=c_2$. The achromatic number of $G$ is the maximum number $\mathrm{achr}(G)$ of colours in a proper complete vertex colouring of $G$. Let $G_1\square G_2$ denote the Cartesian product of graphs $G_1$ and $G_2$. In the paper $\mathrm{achr}(K_{r^2+r+1}\square K_q)$ is determined for an infinite number of $q$s provided that $r$ is a finite projective plane order.

A famous theorem in polytope theory states that the combinatorial type of a simplicial polytope is completely determined by its facet-ridge graph. This celebrated result was proven by Blind and Mani in 1987, via a non-constructive proof using topological tools from homology theory. An elegant constructive proof was given by Kalai shortly after. In their original paper, Blind and Mani asked whether their result can be extended to simplicial spheres, and a positive answer to their question was conjectured by Kalai in 2009. In this paper, we show that Kalai's conjecture holds in the particular case of Knutson and Miller's spherical subword complexes. This family of simplicial spheres arises in the context of Coxeter groups, and is conjectured to be polytopal. In contrast, not all manifolds are reconstructible. We show two explicit examples, namely the torus and the projective plane.

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.