arXiv++ Combinatorics

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.

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.