arXiv++ Combinatorics

Planar functions are mappings from a finite field $\mathbb{F}_q$ to itself with an extremal differential property. Such functions give rise to finite projective planes and other combinatorial objects. There is a subtle difference between the definitions of these functions depending on the parity of $q$ and we consider the case that $q$ is even. We classify polynomials of degree at most $q^{1/4}$ that induce planar functions on $\mathbb{F}_q$, by showing that such polynomials are precisely those in which the degree of every monomial is a power of two. As a corollary we obtain a complete classification of exceptional planar polynomials, namely polynomials over $\mathbb{F}_q$ that induce planar functions on infinitely many extensions of~$\mathbb{F}_q$. The proof strategy is to study the number of $\mathbb{F}_q$-rational points of an algebraic curve attached to a putative planar function.~Our methods also give a simple proof of a new partial result for the classification of almost perfect nonlinear~functions.

It has been shown by Hacking and Prokhorov that if the projective surface X with quotient singularities and self-intersection number 9 has a smoothing to the projective plane, then X is the general fiber of a Q-Gorenstein deformation of the weighted projective plane with weights giving solutions to the Markov equation. This result has been understood and generalized by combinatorial mutations of Fano triangles by Akhtar, Coates, Galkin, and Kasprzyk. In this note, we study this result by utilizing polarized T-varieties and describe the associated deformation explicitly in terms of certain Minkowski summands of so-called divisorial polytopes.

The main purpose of this survey is to provide an introduction, algebro-topological in nature, to Hirzebuch-type inequalities for plane curve arrangements in the complex projective plane. These inequalities gain more and more interest due to their utility in many combinatorial problems related to point or line arrangements in the plane. We would like to present a summary of the technicalities and also some recent applications, for instance in the context of the Weak Dirac Conjecture. We also advertise some open problems and questions.

The length function $\ell_q(r,R)$ is the smallest length of a $ q $-ary linear code of codimension $r$ and covering radius $R$. In this work we obtain new constructive upper bounds on $\ell_q(r,R)$ for all $R\ge4$, $r=tR$, $t\ge2$, and also for all even $R\ge2$, $r=tR+\frac{R}{2}$, $t\ge1$. The new bounds are provided by infinite families of new covering codes with fixed $R$ and increasing codimension. The new bounds improve upon the known ones. We propose a general regular construction (called ``Line+Ovals'') of a minimal $ρ$-saturating $((ρ+1)q+1)$-set in the projective space $\mathrm{PG}(2ρ+1,q)$ for all $ρ\ge0$. Such a set corresponds to an $[Rq+1,Rq+1-2R,3]_qR$ locally optimal$^1$ code of covering radius $R=ρ+1$. Basing on combinatorial properties of these codes regarding to spherical capsules$^1$, we give constructions for code codimension lifting and obtain infinite families of new surface-covering$^1$ codes with codimension $r=tR$, $t\ge2$. In addition, we obtain new 1-saturating sets in the projective plane $\mathrm{PG}(2,q^2)$ and, basing on them, construct infinite code families with fixed even radius $R\ge2$ and codimension $r=tR+\frac{R}{2}$, $t\ge1$. ($^1$ see the definitions in Section 1)

We show that a general lower bound for the global Tjurina number of a reduced complex projective plane curve, given by A. A. du Plessis and C.T.C. Wall, can be improved when the curve is a line arrangement.

A linear system is a pair $(P,\mathcal{L})$ where $\mathcal{L}$ is a family of subsets on a ground finite set $P$ such that $|l\cap l^\prime|\leq 1$, for every $l,l^\prime \in \mathcal{L}$. The elements of $P$ and $\mathcal{L}$ are called points and lines, respectively, and the linear system is called intersecting if any pair of lines intersect in exactly one point. A subset $D$ of points of a linear system $(P,\mathcal{L})$ is a dominating set of $(P,\mathcal{L})$ if for every $u\in P\setminus D$ there exists $v\in D$ such that $u,v\in l$, for some $l\in\mathcal{L}$. The cardinality of a minimum dominating set of a linear system $(P,\mathcal{L})$ is called domination number of $(P,\mathcal{L})$, denoted by $γ(P,\mathcal{L})$. On the other hand, a subset $R$ of lines of a linear system $(P,\mathcal{L})$ is a 2-packing if any three elements of $R$ have not a common point (are triplewise disjoint). The cardinality of a maximum 2-packing of a linear system $(P,\mathcal{L})$ is called 2-packing number of $(P,\mathcal{L})$, denoted by $ν_2(P,\mathcal{L})$. It is know for intersecting linear systems $(P,\mathcal{L})$ of rank $r$ it satisfies $γ(P,\mathcal{L})\leq r-1$. In this note we prove, if $q$ is an even prime power and $(P,\mathcal{L})$ is an intersecting linear system of rank $q+2$ satisfying $γ(P,\mathcal{L})=q+1$, then this linear system can be constructed from a spanning $(q+1)$-uniform intersecting linear subsystem $(P^\prime,\mathcal{L}^\prime)$ of the projective plane of order $q$ satisfying $τ(P^\prime,\mathcal{L}^\prime)=ν_2(P^\prime,\mathcal{L}^\prime)-1=q+1$.

We show that Stolarsky's invariance principle, known for point distributions on the Euclidean spheres, can be extended to the real, complex, and quaternionic projective spaces and the octonionic projective plane. A part of the results (Theorem~1.1 ana Corollary~1.1) was given early in the previous paper [22], while the explicit formulas for the constants in the invariance principles for projective spaces (Theorem~1.2 and Corollary~1.2) are new.

The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this note, we give the $4$-girth-thickness $θ(4,L(K_n))$ of the line graph of the complete graph $L(K_n)$ when $n$ is even. We also give the minimum number of subgraphs of $L(K_n)$, which are of girth at least $4$ and embeddable on the projective plane, whose union is $L(K_n)$.

In a recent paper arXiv:1602.02300v2, Cook II, Harbourne, Migliore and Nagel related the splitting type of a line arrangement in the projective plane to the number of conditions imposed by a general fat point of multiplicity $j$ to the linear system of curves of degree $j+1$ passing through the configuration of points dual to the given arrangement. If the number of conditions is less than the expected, we say that the configuration of points admits unexpected curves. In this paper, we characterize supersolvable line arrangements whose dual configuration admits unexpected curves and we provide other infinite families of line arrangements with this property.

The transversal number $τ(H)$ of a hypergraph $H$ is the minimum number of vertices that intersect every edge of $H$. A linear hypergraph is one in which every two distinct edges intersect in at most one vertex. A $k$-uniform hypergraph has all edges of size $k$. It is known that $τ(H) \le (n + m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$ when $k \in \{2,3\}$ or when $k \ge 4$ and the maximum degree of $H$ is at most two. It has been conjectured that $τ(H) \le (n+m)/(k+1)$ holds for all $k$-uniform, linear hypergraphs $H$. We disprove the conjecture for large $k$, and show that the best possible constant $c_k$ in the bound $τ(H) \le c_k (n+m)$ has order $\ln(k)/k$ for both linear (which we show in this paper) and non-linear hypergraphs. We show that for those $k$ where the conjecture holds, it is tight for a large number of densities if there exists an affine plane $AG(2,k)$ of order $k \ge 2$. We raise the problem to find the smallest value, $k_{\min}$, of $k$ for which the conjecture fails. We prove a general result, which when applied to a projective plane of order $331$ shows that $k_{\min} \le 166$. Even though the conjecture fails for large $k$, our main result is that it still holds for $k=4$, implying that $k_{\min} \ge 5$. The case $k=4$ is much more difficult than the cases $k \in \{2,3\}$, as the conjecture does not hold for general (non-linear) hypergraphs when $k=4$. Key to our proof is the completely new technique of the deficiency of a hypergraph introduced in this paper.

We apply an improvement of the Delsarte LP-bound to give a new proof of the non-existence of finite projective planes of order 6, and uniqueness of finite projective planes of order 7. The proof is computer aided, and it is also feasible to apply to higher orders like 8, 9 and, with further improvements, possibly 10 and 12.

An outstanding folklore conjecture asserts that, for any prime $p$, up to isomorphism the projective plane $PG(2,\mathbb{F}_p)$ over the field $\mathbb{F}_p := \mathbb{Z}/p\mathbb{Z}$ is the unique projective plane of order $p$. Let $π$ be any projective plane of order $p$. For any partial linear space ${\cal X}$, define the inclusion number $i({\cal X},π)$ to be the number of isomorphic copies of ${\cal X}$ in $π$. In this paper we prove that if ${\cal X}$ has at most $\log_2 p$ lines, then $i({\cal X},π)$ can be written as an explicit rational linear combination (depending only on ${\cal X}$ and $p$) of the coefficients of the complete weight enumerator (c.w.e.) of the $p$-ary code of $π$. Thus, the c.w.e. of this code carries an enormous amount of structural information about $π$. In consequence, it is shown that if $p > 2^ 9=512$, and $π$ has the same c.w.e. as $PG(2,\mathbb{F}_p)$, then $π$ must be isomorphic to $PG(2,\mathbb{F}_p)$. Thus, the uniqueness conjecture can be approached via a thorough study of the possible c.w.e. of the codes of putative projective planes of prime order.

Let $p$ be a prime and let $C_p$ denote the $p$-ary code of the projective plane over ${\mathbb Z}/p\mathbb{Z}$. It is well known that the minimum weight of non-zero words in $C_p$ is $p+1$, and Chouinard proved that, for $p \geq 3$, the second and third minimum weights are $2p$ and $2p+1$. In 2007, Fack et. al. determined, for $p\geq 5$, all words of $C_p$ of these three weights. In this paper we recover all these results and also prove that, for $p \geq 5$, the fourth minimum weight of $C_p$ is $3p-3$. The problem of determining all words of weight $3p-3$ remains open.

We consider the cop-throttling number of a graph $G$ for the game of Cops and Robbers, which is defined to be the minimum of $(k + \text{capt}_k(G))$, where $k$ is the number of cops and $\text{capt}_k(G)$ is the minimum number of rounds needed for $k$ cops to capture the robber on $G$ over all possible games. We provide some tools for bounding the cop-throttling number, including showing that the positive semidefinite (PSD) throttling number, a variant of zero forcing throttling, is an upper bound for the cop-throttling number. We also characterize graphs having low cop-throttling number and investigate how large the cop-throttling number can be for a given graph. We consider trees, unicyclic graphs, incidence graphs of finite projective planes (a Meyniel extremal family of graphs), a family of cop-win graphs with maximum capture time, grids, and hypercubes. All the upper bounds on the cop-throttling number we obtain for families of graphs are $ O(\sqrt n)$.

We prove Terao conjecture saying that the freeness is determined by the combinatorics for arrangements of 13 lines in the complex projective plane and that the property of being nearly free is combinatorial for line arrangements of up to 12 lines in the complex projective plane.

We introduce a new class of line arrangements in the projective plane, called nearly supersolvable, and show that any arrangement in this class is either free or nearly free. More precisely, we show that the minimal degree of a Jacobian syzygy for the defining equation of the line arrangement, which is a subtle algebraic invariant, is determined in this case by the combinatorics. When such a line arrangement is nearly free, we discuss the splitting types and the jumping lines of the associated rank two vector bundle, as well as the corresponding jumping points, introduced recently by S. Marchesi and J. Vallès. As a by-product of our results, we get a version of the Slope Problem, looking for lower bounds on the number of slopes of the lines determined by $n$ points in the affine plane over the real or the complex numbers as well.

Gao and Richter (1994) showed that every $3$-connected graph which embeds on the plane or the projective plane has a spanning closed walk meeting each vertex at most $2$ times. Brunet, Ellingham, Gao, Metzlar, and Richter (1995) extended this result to the torus and Klein bottle. Sanders and Zhao (2001) obtained a sharp result for higher surfaces by proving that every $3$-connected graph embeddable on a surface with Euler characteristic $χ\le -46$ admits a spanning closed walk meeting each vertex at most $\lceil \frac{6-2χ}{3}\rceil$ times. In this paper, we develop these results to the remaining surfaces with Euler characteristic $χ\le 0$.

We prove that, for $q$ odd, a set of $q+2$ points in the projective plane over the field with $q$ elements has at least $2q-c$ odd secants, where $c$ is a constant and an odd secant is a line incident with an odd number of points of the set.

In the present note, we focus on certain properties of special curves that might be used in the theory of multi-point Seshadri constants for ample line bundles on the complex projective plane. In particular, we provide three Ein-Lazarsfeld-Xu-type lemmas for plane curves and a lower bound on the multi-point Seshadri constant of $\mathcal{O}_{\mathbb{P}^{2}}(1)$ under the assumption that the chosen points are not very general. In the second part, we focus on certain arrangements of points in the plane which are given by line arrangements. We show that in some cases the multi-point Seshadri constants of $\mathcal{O}_{\mathbb{P}^{2}}(1)$ centered at singular loci of line arrangements are computed by lines from the arrangement having some extremal properties.

Let $\perp$ be a unitary polarity of a finite projective plane $π$ of order $q^2$. The unitary polarity graph is the graph with vertex set the points of $π$ where two vertices $x$ and $y$ are adjacent if $x \in y^\perp$. We show that a triangle-free induced subgraph of the unitary polarity graph of an arbitrary projective plane has at most $(q^4+q)/2$ vertices. When $π$ is the Desarguesian projective plane $\mathrm{PG}(2,q^2)$ and $q$ is even, we show that the upper bound is asymptotically sharp, by providing an example on $q^4/2$ vertices. Finally, the case when $π$ is the Figueroa plane is discussed.