arXiv++ Combinatorics

Hughes introduced the projective planes that bear his name in 1957 and they have since been studied extensively. However, until now, no polynomial representation of a planar ternary ring that represents them has been determined. In this paper, we rectify this omission by determining a reduced PTR polynomial for any Hughes plane defined over a regular nearfield. The polynomials obtained provide a new surprising connection: both the Catalan numbers and generalized Catalan numbers occur among the coefficients, depending on the representation. Since every PTR polynomial has connections with several classes of permutation polynomials, we obtain three new infinite classes of permutation polynomials as a consequence of our main result, and these, too, involve the Catalan numbers. The differential uniformity of new permutation polynomials is also determined.

In a 2022, Bartoli, Cossidente, Marino, and Pavese proved that in the projective space ${\rm PG}(3,q^3)$, one can find three $\mathbb F_q$-subgeometries such that the union of their point sets is a strong blocking set. This proves the existence of linear minimal codes with parameters $[3(q^2+1)(q+1),4]_{q^3}$ for every prime power $q$. We give a short proof of this result for odd values of $q > 9$, using the theory of small blocking sets in projective planes.

In this short communication, we generalize a classical result of Barlotti concerning the unique extendability of arcs in the projective plane to higher-dimensional projective spaces. Specifically, we show that for integers \( k \ge 3 \), \( s \ge 0 \), and prime power \( q \), any \((n, k + s - 1)\)-arc in PG\((k - 1, q)\) of size \( n = (s+1)(q+1) + k - 3 \) admits a unique extension to a maximal arc, provided \( s + 2 \mid q \) and \( s < q - 2 \). This result extends the classical characterizations of maximal arcs in PG\((2,q)\) and connects naturally to the theory of A$^s$MDS codes. Our findings establish conditions under which linear codes of given dimension and Singleton defect can be uniquely extended to maximal-length projective codes.

We elucidate a bijection between ribbon graphs on the real projective plane and non-crossing annular pairings that relate to the $1/N$ correction term of the GOE and LOE spectral moments. We also derive analogous objects for the $1/N^2$ correction terms of said moments and their equivalents for the GUE and LUE.

Two projective (affine) planes with the same point sets are orthogoval if the common intersection of any two lines, one from each, has size at most two. The existence of a pair of orthogoval projective planes has been proven and published independently many times. A strength-$t$ covering array, denoted by CA$(N; t, k, v)$, is an $N \times k$ array over a $v$-set such that in any $t$-set of columns, each $t$-tuple occurs at least once in a row. A pair of orthogoval projective planes can be used to construct a strength-$3$ covering array CA$(2q^3-1; 3, q^2 + q + 1, q)$. Our work extends this result to construct arrays of strength $4$. A $k$-cap in a projective geometry is a set of $k$ points no three of which are collinear. In $PG(3,q)$, an ovoid is a maximum-sized $k$-cap with $k =q^2+1$. Its plane sections (circles) are the blocks of a $3-(q^2 + 1, q + 1, 1)$ design, called a Möbius plane of order $q$. For $q$ an odd prime power, we prove the existence of three truncated Möbius planes, such that for any choice of these circles, one from each plane, their intersection size is at most three. From this, we construct a strength-$4$ covering array CA$(3q^4-2; 4, \frac{q^2+1}{2}, q)$. For $q \geq 11$, these covering arrays improve the size of the best-known covering arrays with the same parameters by almost 25 percent. The CA$(3q^4 -3; 4, \frac{q^2 +1}{2}, q)$ is used as the main ingredient in a recursive construction to obtain a CA$(5q^4 - 4q^3 - q^2 + 2q; 4, q^2 +1, q)$. Some improvements are obtained in the size of the best-known arrays using these covering arrays.

Inspired by Terao's freeness conjecture, we examine Ziegler pairs, which are pairs of hyperplane arrangements that share the same underlying matroid but have different modules of logarithmic derivations. In this paper, we present a general construction that yields the first known families of Ziegler pairs in arbitrary dimension and size, starting from examples in the complex projective plane.

Although the strong embedding of a 3-connected planar graph $G$ on the sphere is unique, $G$ can have different inequivalent strong embeddings on a surface of positive genus. If $G$ is cubic, then the strong embeddings of $G$ on the projective plane, the torus and the Klein bottle each are in one-to-one correspondence with certain subgraphs of the dual graph $G^\ast$. Here, we exploit this characterisation and show that two strong embeddings of $G$ on the projective plane, the torus or the Klein bottle are isomorphic if and only if the corresponding subgraphs of $G^{\ast}$ are contained in the same orbit under $\mathrm{Aut}(G^{\ast})$. This allows us to construct a data base containing all isomorphism classes of strong embeddings on the projective plane, the torus and the Klein bottle of all 3-connected cubic planar graphs with up to 22 vertices. Moreover, we establish that cyclically 4-edge connected cubic planar graphs can be strongly embedded on orientable surfaces of positive genera. We use this to show that a 3-connected cubic planar graph has no strong embedding on orientable surfaces of positive genera if and only if it is the dual of an Apollonian network.

In this paper, we provide a complete classification of Cartesian products of graphs that embed in the projective plane. Our work requires us to determine minimal Cartesian products that are nonprojective planar, organize their essential properties to be used as constraints for projective planar embeddings, and explicitly construct projective planar embeddings for Cartesian products that satisfy these constraints. A corollary of our work shows that only six of the 35 forbidden minors for the projective plane are sufficient to classify projective planar Cartesian products.

We show that for any connected graph $G$ with maximum degree $d\ge3$, the spectral gap from $0$ with respect to the adjacency matrix is at most $\sqrt{d-1}$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$; and for other cases, the bound $\sqrt{d-1}$ is improved to $\sqrt{d-2}$. This is a spectral gap version of a result by Mohar and Tayfeh-Rezaie. Moreover, for $d$-regular graphs with girth at least 7, the bound $\sqrt{d-2}$ is further improved to $\sqrt{d-c(d)}$ where $c(d)\ge 2$ and $\lim\limits_{d\to\infty}c(d)/d=(\sqrt{5}-1)/2$. A similar yet more subtle phenomenon involving the normalized Laplacian is also investigated, where we work on graphs of degrees $\ge d$ rather than $\le d$. We prove that for any graph $G$ with \emph{minimum} degree $d\ge 3$, the spectral gap from the value 1 with respect to the normalized Laplacian is at most $\sqrt{d-1}/d$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$. As an application, we provide a new sharp bound for the convergence rate of some eigenvalues of the Laplacian on the weighted neighborhood graphs introduced by Bauer and Jost.

One-weight codes, in which all nonzero codewords share the same weight, form a highly structured class of linear codes with deep connections to finite geometry. While their classification is well understood in the Hamming and rank metrics - being equivalent to (direct sums of) simplex codes - the sum-rank metric presents a far more intricate landscape. In this work, we explore the geometry of one-weight sum-rank metric codes, focusing on three distinct classes. First, we introduce and classify \emph{constant rank-list} sum-rank codes, where each nonzero codeword has the same tuple of ranks, extending results from the rank-metric setting. Next, we investigate the more general \emph{constant rank-profile} codes, where, up to reordering, each nonzero codeword has the same tuple of ranks. Although a complete classification remains elusive, we present the first examples and partial structural results for this class. Finally, we consider one-weight codes that are also MSRD (Maximum Sum-Rank Distance) codes. For dimension two, constructions arise from partitions of scattered linear sets on projective lines. For dimension three, we connect their existence to that of special $2$-fold blocking sets in the projective plane, leading to new bounds and nonexistence results over certain fields.

In this paper, we examine the combinatorial properties of conic arrangements in the complex projective plane that possess certain quasi-homogeneous singularities. First, we introduce a new tool that enables us to characterize the property of being plus-one generated within the class of conic arrangements with some naturally chosen quasi-homogeneous singularities. Next, we present a classification result on plus-one generated conic arrangements admitting only nodes and tacnodes as singularities. Building on results regarding conic arrangements with nodes and tacnodes, we present new examples of strong Ziegler pairs of conic-line arrangements -- that is, arrangements having the same strong combinatorics but distinct derivation modules.

Blocking semiovals and the determination of their (minimum) sizes constitute one of the central research topics in finite projective geometry. In this article we introduce the concept of blocking set with the $r_\infty$-property in a finite projective plane $\text{PG}(2,q)$, with $r_\infty$ a line of $\text{PG}(2,q)$ and $q$ a prime power. This notion greatly generalizes that of blocking semioval. We address the question of determining those integers $k$ for which there exists a blocking set of size $k$ with the $r_\infty$-property. To solve this problem, we build new theory which deeply analyzes the interplay between blocking sets in finite projective and affine planes.

The embeddability of graphs into surfaces has been studied for nearly a century. While the complete set of topological obstructions is known for the sphere and the real projective plane, there are only partial results for the torus. Here we present a theoretical classification of cubic torus obstructions with Betti number at most eight.

The pinched sphere is the pseudo-surface $\mathbb{S}^{\circ}_0$ obtained by identifying two distinct points of the sphere. We provide a structural characterization of graphs excluding an $\mathbb{S}^{\circ}_0$-embeddable graph as a minor. Given a graph $G$ and a vertex set $X$, the bidimensionality of $X$ in $G$ is the maximum $k$ such that $G$ contains the $(k\times k)$-grid as an $X$-rooted minor, i.e., there exists a minor model of the $(k \times k)$-grid in~$G$ such that every branchset of this model contains a vertex of $X$. We prove that there is a function~$f$ such that, if a graph $G$ excludes an $\mathbb{S}^{\circ}_0$-embeddable graph $H$ as a minor, $G$ has a tree decomposition where each torso $G_{t}$ contains some set of vertices $X,$ whose bidimensionality in $G_{t}$ is at most $f(k)$ such that $G_{t}$ can be reduced to a graph embeddable in the projective plane by identifying vertices from $X$. This result is optimal in the sense that every graph admitting such a tree decomposition must exclude some $\mathbb{S}^{\circ}_0$-embeddable graph as a minor. An alternative interpretation of this result can be obtained by the fact that edge-apex graphs, i.e., graphs that can be made planar by removing an edge, are graphs embeddable in the pinched sphere. Several consequences and variants of this min-max duality are discussed.

We study Nurikabe puzzles on non-orientable surfaces. Specifically, we propose two versions of non-orientable Nurikabe and investigate their combinatorics on Möbius strips, Klein bottles, and projective planes of size $1\times n$. Our results establish new connections among the OEIS sequences A101946, A213387, A123203, and A001045 (the Jacobsthal sequence).

In 1996, Youngs proved that any quadrangulation of the real projective plane is not 3-chromatic. This result has been extended in various directions over the years, including to other non-orientable closed surfaces, higher-dimensional analogues of quadrangulations and circular colorings. In this paper, we provide a generalization which yields some of these extensions of Youngs' theorem.

An untouchable set in a projective plane is a set of points such that no line of the plane meets the set in exactly one point. Recently, Héger and Nagy (Avoiding Secants of Given Size in Finite Projective Planes, J. Combin. Des. 33:83--93, 2024.) provided a generalization of untouchable sets to $k$-avoiding sets, and addressed the issue of the spectrum of sizes that such sets can attain in finite planes. Specific to the untouchable set case, the authors state as an open question the existence of untouchable sets of size $2q-1$ and $2q+1$. We answer this question in the affirmative for Desarguesian planes of even order, and provide a construction of untouchable sets of size $2q+1$ in $PG(2,q)$ for $q \equiv 3\pmod{4}$.

Let $\mathcal{A}$ be a free arrangement of $d$ lines in the complex projective plane, with exponents $d_1\leq d_2$. Let $m$ be the maximal multiplicity of points in $\mathcal{A}$. In this note, we describe first the simple cases $d_1 \leq m$. Then we study the case $d_1=m+1$, and describe which line arrangements can occur by deleting or adding a line to $\mathcal{A}$. When $d \leq 14$, there are only two free arrangements with $d_1=m+2$, namely one with degree $13$ and the other with degree $14$. We study their geometries in order to deepen our understanding of the structure of free line arrangements in general.

We prove that the median hypersimplex $Δ_{2k,k}$ is Minkowski indecomposable, i.e. it cannot be expressed as a non-trivial Minkowski sum $Δ_{2k,k} = P+Q$, where $P\neq λΔ_{2k,k}\neq Q$. We obtain as a corollary that $Δ_{2k,k}$ represents a ray in the submodular cone (the deformation cone of the permutahedron). Building on the previously developed geometric methods and extensive computer search, we exhibit a twelve vertex, $4$-dimensional polytopal realization of the Bier sphere of the hemi-icosahedron, the vertex minimal triangulation of the real projective plane.

Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. \textit{The co-maximal hypergraph of $G$}, denoted by $Co_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H K = G \,\, \text{for some} \, K \in S \}$ and hyperedges are the maximal subsets of the vertex set with the property that the product of any two vertices is equal to $G$. The aim of this paper is to study the co-maximal hypergraph of dihedral groups, $Co_\mathcal{H}(D_n)$. We examine some of the structural properties, viz., diameter, girth and chromatic number of $Co_\mathcal{H}(D_n)$. Also, we provide characterizations for hypertrees, star structures and 3-uniform hypergraphs of $Co_\mathcal{H}(D_n)$. Further, we discuss the possibilities of $Co_\mathcal{H}(D_n)$ which can be embedded on the plane, torus and projective plane.