arXiv++ Combinatorics

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.

A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.

The correspondence between perfect difference sets and transitive projective planes is well-known. We observe that all known dense (i.e., close to square-root size) Sidon subsets of abelian groups come from projective planes through a similar construction. We classify the Sidon sets arising in this manner from desarguesian planes and find essentially no new examples, but there are many further examples arising from nondesarguesian planes. We conjecture that all dense Sidon sets arise in this manner. We also give a brief bestiary of somewhat smaller Sidon sets with a variety of algebraic origins, and for some of them provide an overarching pattern.

We describe the topology of singular real algebraic curves in a smooth surface. We enumerate and bound in terms of the degree the number of topological types of singular algebraic curves in the real projective plane.

The localization game is a pursuit-evasion game analogous to Cops and Robbers, where the robber is invisible and the cops send distance probes in an attempt to identify the location of the robber. We present a novel graph parameter called the capture time, which measures how long the localization game lasts assuming optimal play. We conjecture that the capture time is linear in the order of the graph, and show that the conjecture holds for graph families such as trees and interval graphs. We study bounds on the capture time for trees and its monotone property on induced subgraphs of trees and more general graphs. We give upper bounds for the capture time on the incidence graphs of projective planes. We finish with new bounds on the localization number and capture time using treewidth.

Whitney proved in 1931 that every 4-connected planar triangulation is hamiltonian. Later in 1979, Hakimi, Schmeichel and Thomassen conjectured that every such triangulation on $n$ vertices has at least $2(n - 2)(n - 4)$ hamiltonian cycles. Along this direction, Brinkmann, Souffriau and Van Cleemput established a linear lower bound on the number of hamiltonian cycles in 4-connected planar triangulations. In stark contrast, Alahmadi, Aldred and Thomassen showed that every 5-connected triangulation of the plane or the projective plane has exponentially many hamiltonian cycles. This gives the motivation to study the number of hamiltonian cycles of 4-connected triangulations with few 4-separators. Recently, Liu and Yu showed that every 4-connected planar triangulation with $O(n / \log n)$ 4-separators has a quadratic number of hamiltonian cycles. By adapting the framework of Alahmadi et al. we strengthen the last two aforementioned results. We prove that every 4-connected planar or projective planar triangulation with $O(n)$ 4-separators has exponentially many hamiltonian cycles.

The crossing number of a graph $G$ in a surface $Σ$, denoted by $cr_Σ(G)$, is the minimum number of pairwise intersections of edges in a drawing of $G$ in $Σ$. Let $k$ be an integer satisfying $k\geq 3$, the generalized Petersen graph $P(3k,k)$ is the graph with vertex set $V(P(3k,k))=\{u_i, v_i| i=1,2,\cdots,3k\}$ and edge set $E(P(3k,k))=\{u_iu_{i+1}, u_iv_i, v_iv_{k+i}| i=1,2,\cdots,3k\},$ the subscripts are read modulo $3k.$ This paper investigates the crossing number of $P(3k,k)$ in the projective plane. We determine the exact value of $cr_{N_1}(P(3k,k))$ is $k-2$ when $3\le k\le 7,$ moreover, for $k\ge 8,$ we get that $k-2\le cr_{N_1}(P(3k,k))\le k-1.$

Let $Π$ be a projective plane of order $n$ and $Γ_Π$ be its Levi graph (the point-line incidence graph). For fixed $k \geq 3$, let $c_{2k}(Γ_Π)$ denote the number of $2k$-cycles in $Γ_Π$. In this paper we show that $$ c_{2k}(Γ_Π) = \frac{1}{2k}n^{2k} + O(n^{2k-2}), \hspace{0.5cm} n \rightarrow \infty. $$ We also state a conjecture regarding the third and fourth largest terms in the asymptotic of the number of $2k$-cycles in $Γ_Π$. This result was also obtained independently by Voropaev in 2012. Let $\text{ex}(v, C_{2k}, \mathcal{C}_{\text{odd}}\cup \{C_4\})$ denote the greatest number of $2k$-cycles amongst all bipartite graphs of order $v$ and girth at least 6. As a corollary of the result above, we obtain $$ \text{ex}(v, C_{2k}, \mathcal{C}_{\text{odd}}\cup \{C_4\}) = \left(\frac{1}{2^{k+1}k}-o(1)\right)v^k, \hspace{0.5cm} v \rightarrow \infty. $$

A new construction for moderate density parity-check (MDPC) codes using finite geometry is proposed. We design a parity-check matrix for this family of binary codes as the concatenation of two matrices: the incidence matrix between points and lines of the Desarguesian projective plane and the incidence matrix between points and ovals of a projective bundle. A projective bundle is a special collection of ovals which pairwise meet in a unique point. We determine minimum distance and dimension of these codes, showing that they have a natural quasi-cyclic structure. In addition, we analyze the error-correction performance within one round of a modification of Gallager's bit-flipping decoding algorithm. In this setting, our codes have the best possible error-correction performance for this range of parameters.