arXiv++ Combinatorics

A family of sets is $s$-intersecting if every pair of its sets has at least $s$ elements in common. It is an $s$-star if all its members have some $s$ elements in common. A family of sets is called $s$-EKR if all its $s$-intersecting subfamilies have size at most that of some $s$-star. For example, the classic 1961 Erdős-Ko-Rado theorem states essentially that the family of $r$-sized subsets of $\{1,2,\ldots,n\}$ is $s$-EKR when $n$ is a large enough function of $r$ and $s$, and the 1967 Hilton-Milner theorem provides the near-star structure of the largest non-star intersecting family of such sets. Two important conjectures along these lines followed: by Chvátal in 1974, that every family of sets that all subsets of its members is 1-EKR, and by Holroyd and Talbot in 2005, that, for every graph, the family of all its $r$-sized independent sets is 1-EKR when every maximal independent set has size at least $2r$. In this paper we present similar 1-EKR results for families of length-$r$ paths in graphs, specifically for sun graphs, which are cycles with pendant edges attached in a uniform way, and theta graphs, which are collections of pairwise internally disjoint paths sharing the same two endpoints. We also prove $s$-EKR results for such paths in suns, and give a Hilton-Milner type result for them as well. A set is a transversal of a family of sets if it intersects each member of the family, and the transversal number of the family is the size of its smallest transversal. For example, stars have transversal number 1, and the Hilton-Milner family has transversal number 2. We conclude the paper with some transversal results involving what we call triangular families, including a few results for projective planes.

Youngs proved that every non-bipartite quadrangulation of the projective plane $\mathbb{R}\mathrm{P}^2$ is 4-chromatic. Kaiser and Stehlík [J. Combin. Theory Ser. B 113 (2015), 1-17] generalised the notion of a quadrangulation to higher dimensions and extended Youngs' theorem by proving that every non-bipartite quadrangulation of the $d$-dimensional projective space $\mathbb{R}\mathrm{P}^d$ with $d \geq 2$ has chromatic number at least $d+2$. On the other hand, Hachimori et al. [European. J. Combin. 125 (2025), 104089] defined another kind of high-dimensional quadrangulation, called a normal quadrangulation. They proved that if a non-bipartite normal quadrangulation $G$ of $\mathbb{R}\mathrm{P}^d$ with any $d \geq 2$ satisfies a certain geometric condition, then $G$ is $4$-chromatic, and asked whether the geometric condition can be removed from the result. In this paper, we give a negative solution to their problem for the case $d=3$, proving that there exist 3-dimensional normal quadrangulations of $\mathbb{R}\mathrm{P}^3$ whose chromatic number is arbitrarily large. Moreover, we prove that no normal quadrangulation of $\mathbb{R}\mathrm{P}^d$ with any $d \geq 2$ has chromatic number $3$.

Let $φ$ be a collineation of order 3 acting on $PG(2,q^3)$ whose fixed points are exactly an $\mathbb F_q$-plane $π_q$. Let $T$ be a point whose orbit under $φ$ is a triangle and let $S_G$ be the subgroup of $PGL(3,q^3)$ that fixes setwise the $\mathbb F_q$-plane $π_q$ and fixes setwise the line $T^φT^{φ^2}$. The point orbits of $S_G$ form a partition of the points of $PG(2,q^3)$ and consist of: the singletons $T,T^φ, T^{φ^2}$; scattered linear sets on the sides of the triangle $T T^φT^{φ^2}$; and $\mathbb F_q$-planes. This article studies the structure of this partition, looking at maps that permute elements of the partition. The motivation in studying this partition lies in its application to the construction of the Figueroa projective plane, and the article concludes with a characterisation in this setting.

A conjecture by Corti, Filip and Petracci, inspired by mirror symmetry, states that smoothing types of affine Gorenstein toric 3-folds correspond to zero mutable Laurent polynomials. We propose a method to prove this conjecture via log crepant log resolutions constructed from compatible collections of divisorial extractions. For affine cones over weighted projective planes we prove for several infinite families of zero mutable Laurent polynomials that they indeed describe curves that admit a compatible collection of divisorial extractions. The construction of log crepant log resolutions and smoothings will be worked out in joint work with Alessio Corti and Helge Ruddat.

We introduce a new class of combinatorial objects, named tight gradings, which are certain nonnegative integer-valued functions on maximal Dyck paths. Using tight gradings, we derive a manifestly positive formula for any wall-function in a rank-2 generalized cluster scattering diagram. We further prove that any consistent rank-2 scattering diagram is positive with respect to the coefficients of initial wall-functions. Moreover, our formula yields explicit expressions for relative Gromov-Witten invariants on weighted projective planes and the Euler characteristics of moduli spaces of framed stable representations on complete bipartite quivers. Finally, by leveraging the rank-2 positivity, we show that any higher-rank generalized cluster scattering diagram has positive wall-functions, which leads to a proof of the positivity of the Laurent phenomenon and the strong positivity of Chekhov-Shapiro's generalized cluster algebras.

To each multiple point $p$ in a line arrangement $ \mathcal A$ in the complex projective plane we associate a local derivation $\tilde D_p \in D_0( \mathcal A)$. We show first that these derivations span the graded module of derivations $D_0( \mathcal A)$ in all degrees $\geq d -3$, where $d$ is the number of lines in $ \mathcal A$, see Theorem 1.4 and Theorem 1.6. Then, to each local derivation $\tilde D_p \in D_0( \mathcal A)$ we associate a polynomial $g_p$ which seems to play a key role in the characterization of the freeness of $ \mathcal A$, see Theorem 1.10, as well as in the study of the position of the multiple points of $ \mathcal A$ with respect to unions of lines, see Corollary 1.13 and Conjecture 1.14. Corollary 1.9 gives a result of an independent interest, namely a lower bound for the maximal exponent of a plane curve having a line as an irreducible component.

Let $φ$ be a collineation of $\mathrm{PG}\left(2, q^{3}\right)$ of order 3 which fixes a plane of order $q$ pointwise. The points of $\mathrm{PG}\left(2, q^{3}\right)$ can be partitioned into three types with respect to orbits of $φ$ : fixed points; points $P$ with $P, P^φ, P^{φ^{2}}$ distinct and collinear; and points $P$ with $P, P^φ, P^{φ^{2}}$ not collinear. Under field reduction, the collineation $φ$ corresponds to a projectivity $σ$ of $\operatorname{PG}(8, q)$ of order 3 . With respect to the field reduction and the orbits of $σ$, the points of $\mathrm{PG}(8, q)$ can be partitioned into six types. This article looks at the projectivity $σ$ in detail, and classifies and counts the fixed points, fixed lines and fixed planes. The motivation is to give a description of the lines of the Figueroa projective plane in the $\mathrm{PG}(8, q)$ field reduction setting.

We construct two families of strongly regular Cayley graphs, or equivalently, partial difference sets, based on elementary abelian groups. The parameters of these two families are generalizations of the Denniston and the dual Denniston parameters, in contrast to the well known Latin square type and negative Latin square type parameters. The two families unify and subsume a number of existing constructions which have been presented in various contexts such as strongly regular graphs, partial difference sets, projective sets, and projective two-weight codes, notably including Denniston's seminal construction concerning maximal arcs in classical projective planes with even order. Our construction generates further momentum in this area, which recently saw exciting progress on the construction of the analogue of the famous Denniston partial difference sets in odd characteristic.

Let $C$ be a reduced complex projective plane curve, and let $d_1$ and $d_2$ be the first two smallest exponents of $C$. For a free curve $C$ of degree $d$, there is a simple formula relating $d,d_1, d_2$ and the total Tjurina number of $C$. Our first result discusses how this result changes when the curve $C$ is no longer free. For a free line arrangement, the Poincaré polynomial coincides with the Betti polynomial $B(t)$ and with the product $P(t)=(1+d_1t)(1+d_2t)$. Our second result shows that for any curve $C$, the difference $P(t)-B(t)$ is a polynomial $a t +bt^2$, with $a$ and $b$ non-negative integers. Moreover $a =0$ or $b=0$ if and only if $C$ is a free line arrangement. Finally we give new bounds for the second exponent $d_2$ of a line arrangement $\mathcal A$, the corresponding lower bound being an improvement of a result by H. Schenck concerning the relation between the maximal exponent of $\mathcal A$ and the maximal multiplicity of points in $\mathcal A$.

A long-standing Conjecture of S. Negami states that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It is known that the Conjecture is equivalent to the fact that \emph{the graph $K_{1,2, 2, 2}$ has no finite planar cover}. We prove three theorems showing that the graph $K_{1,2, 2, 2}$ admits no planar cover with certain structural properties, and that the minimal planar cover of $K_{1,2, 2, 2}$ (if it exists) must be $4$-connected.

In this paper, we discuss matching extendability of optimal $1$-projective plane graphs (abbreviated as O1PPG), which are drawn on the projective plane $P^2$ so that every edge crosses another edge at most once, and has $n$ vertices and exactly $4n- 4$ edges. We first show that every O1PPG of even order is $1$-extendable. Next, we characterize $2$-extendable O1PPG's in terms of a separating cycle consisting of only non-crossing edges. Moreover, we characterize O1PPG's having connectivity exactly $5$. Using the characterization, we further identify three independent edges in those graphs that are not extendable.

We describe a new infinite family of line arrangements in the projective plane with only triple points singularities and recover previously known examples.

Negami's famous planar cover conjecture is equivalent to the statement that a connected graph can be embedded in the projective plane if and only if it has a projective planar cover. In 1999, Hliněný proposed extending this conjecture to higher genus non-orientable surfaces. In this paper, we put forward a natural extension that encompasses orientable surfaces as well; for every compact surface $Σ$, a connected graph $G$ has a finite cover embeddable in $Σ$ if and only if $G$ is embeddable in a surface covered by $Σ$. As evidence toward this, we prove that for every surface $Σ$, the connected graphs with a finite cover embeddable in $Σ$ have bounded Euler genus. Moreover, we show that these extensions of Negami's conjecture are decidable for every compact surface of sufficiently large Euler genus, surpassing what is known for Negami's original conjecture. We also prove the natural analogue for countable graphs embeddable into a compact (orientable) surface. More precisely, we prove that a connected countable graph $G$ has a finite ply cover that embeds into a compact (orientable) surface if and only if $G$ embeds into a compact (orientable) surface. Our most general theorem, from which these results are derived, is that there is a constant $c>0$ such that for every surface $Σ$, there exists a decreasing function $p_Σ:\mathbb{N} \to \mathbb{N}$ with $\lim_{g\to \infty}p_Σ(g) =0$ such that every finite cover embeddable in $Σ$ of any connected graph with Euler genus $g\ge c$ has ply at most $p_Σ(g)$.

In this paper, we tie together two well studied topics related to finite Desarguesian affine and projective planes. The first topic concerns directions determined by a set, or even a multiset, of points in an affine plane. The second topic concerns the linear code generated by the incidence matrix of a projective plane. We show how a multiset determining only $k$ special directions, in a modular sense, gives rise to a codeword whose support can be covered by $k$ concurrent lines. The reverse operation of going from a codeword to a multiset of points is trickier, but we describe a possible strategy and show some fruitful applications. Given a multiset of affine points, we use a bound on the degree of its so-called projection function to yield lower bounds on the number of special directions, both in an ordinary and in a modular sense. In the codes related to projective planes of prime order $p$, there exists an odd codeword, whose support is covered by 3 concurrent lines, but which is not a linear combination of these 3 lines. We generalise this codeword to codewords whose support is contained in an arbitrary number of concurrent lines. In case $p$ is large enough, this allows us to extend the classification of codewords from weight at most $4p-22$ to weight at most $5p-36$.

Let $\mathcal{H}$ be a hyperplane arrangement in $\mathbb{CP}^n$. We define a quadratic form $Q$ on $\mathbb{R}^{\mathcal{H}}$ that is entirely determined by the intersection poset of $\mathcal{H}$. Using the Bogomolov-Gieseker inequality for parabolic bundles, we show that if $\mathbf{a} \in \mathbb{R}^{\mathcal{H}}$ is such that the weighted arrangement $(\mathcal{H}, \mathbf{a})$ is stable, then $Q(\mathbf{a}) \leq 0$. As an application, we consider the symmetric case where all the weights are equal. The inequality $Q(a, \ldots, a) \leq 0$ gives a lower bound for the total sum of multiplicities of codimension $2$ intersection subspaces of $\mathcal{H}$. The lower bound is attained when every $H \in \mathcal{H}$ intersects all the other members of $\mathcal{H} \setminus \{H\}$ along $(1-2/(n+1))|\mathcal{H}| + 1$ codimension $2$ subspaces; extending from $n=2$ to higher dimensions a condition found by Hirzebruch for line arrangements in the complex projective plane.

This article describes our invention of a new poetic form based on projective geometry. In doing this we also explore the 'what ifs' in mathematics and poetry which spark the creative processes of poet and mathematician. In other words, throughout our collaboration we often asked one another, is this what it's like for you? Do you think in this way, too? How does your experience of creativity compare to mine? And often, as well, what exactly do you mean when you say...? We spent a fair amount of time and energy, for example, trying to understand one another's interpretation of 'a line'. This collaboration resulted in three poems in the new projective plane form. We also consider what might be interesting avenues for future research, such as the incorporation of octonions in poetic form.

We provide a complete classification, in the language of weak-combinatorics, of minimal plus-one generated line arrangements in the complex projective plane with double and triple intersection points.

We study the Waldschmidt constant of some configurations in the projective plane. In the first part, we show that the Waldschmidt constant of a set $\mathbb{X}$ of $n$ points where at least $n-3$ points among them lie on a line is either equal to $1, \frac{2n-3}{n-1}, 2, \frac{16}{7}, \frac{7}{3}, \frac{17}{7},$ or $\frac{5}{2}$. Together with the Hilbert polynomials, this gives a complete geometric characterization for $\mathbb{X}$. Next, we study some specific configurations whose Waldschmidt constants are bounded from above by $\frac{5}{2}$. Under this condition, we describe all configurations of $n$ points with $n-1$ points among them lying on an irreducible conic, and we also study some specific configurations of $9$ points.

Work of Glover and Huneke shows that a cubic graph embeds into the real projective plane if and only if it does not contain one of six topological minors called cubic projective plane obstructions. Here we classify up to equivalence the embeddings of these graphs into the torus.

Let $q$ be a prime power and $k$ be a natural number. What are the possible cardinalities of point sets ${S}$ in a projective plane of order $q$, which do not intersect any line at exactly $k$ points? This problem and its variants have been investigated before, in relation with blocking sets, untouchable sets or sets of even type, among others. In this paper we show a series of results which point out the existence of all or almost all possible values $m\in [0, q^2+q+1]$ for $|S|=m$, provided that $k$ is not close to the extremal values $0$ or $q+1$. Moreover, using polynomial techniques we show the existence of a point set $S$ with the following property: for every prescribed list of numbers $t_1, \ldots t_{q^2+q+1}$, $|S\cap \ell_i|\neq t_i$ holds for the $i$th line $\ell_i$, $\forall i \in \{1, 2, \ldots, q^2+q+1\}$.