arXiv++ Combinatorics

In this paper, we study the problem of finding the largest possible set of s points and s lines in a projective plane of order q, such that that none of the s points lie on any of the s lines. We prove that s <= 1+(q+1)(\sqrt{q}-1). We also show that equality can be attained in this bound whenever q is an even power of two.

To study how balanced or unbalanced a maximal intersecting family $\mathcal{F}\subseteq \binom{[n]}{r}$ is we consider the ratio $\mathcal{R}(\mathcal{F})=\frac{Δ(\mathcal{F})}{δ(\mathcal{F})}$ of its maximum and minimum degree. We determine the order of magnitude of the function $m(n,r)$, the minimum possible value of $\mathcal{R}(\mathcal{F})$, and establish some lower and upper bounds on the function $M(n,r)$, the maximum possible value of $\mathcal{R}(\mathcal{F})$. To obtain constructions that show the bounds on $m(n,r)$ we use a theorem of Blokhuis on the minimum size of a non-trivial blocking set in projective planes.

Partial duality generalizes the fundamental concept of the geometric dual of an embedded graph. A partial dual is obtained by forming the geometric dual with respect to only a subset of edges. While geometric duality preserves the genus of an embedded graph, partial duality does not. Here we are interested in the problem of determining which edge sets of an embedded graph give rise to a partial dual of a given genus. This problem turns out to be intimately connected to the separability of the embedded graph. We determine how separability is related to the genus of a partial dual. We use this to characterize partial duals of graphs embedded in the plane, and in the real projective plane, in terms of a particular type of separation of an embedded graph. These characterizations are then used to determine a local move relating all partially dual graphs in the plane and in the real projective plane.

We compute all isomorphism classes of simplicial arrangements in the real projective plane with up to 27 lines. It turns out that Grünbaums catalogue is complete up to 27 lines except for four new arrangements with 22, 23, 24, 25 lines, respectively. As a byproduct we classify simplicial arrangements of pseudolines with up to 27 lines. In particular, we disprove Grünbaums conjecture about unstretchable arrangements with at most 16 lines, and prove the conjecture that any simplicial arrangement with at most 14 pseudolines is stretchable.

For $q=p^r$ with a prime $p\ge 7$ such that $q \equiv 1$ or $19\pmod {30},$ the desarguesian projective plane $PG(2,q)$ of order $q$ has a unique conjugacy class of projectivity groups isomorphic to the alternating group $A_6$ of degree 6. For a projectivity group $Γ\cong A_6$ of $PG(2,q)$, we investigate the geometric properties of the (unique) $Γ$-orbit $\mathcal{O}$ of size 90 such that the 1-point stabilizer of $Γ$ in $\mathcal O$ is a cyclic group of order 4. Here $\mathcal O$ lies either in $PG(2,q)$ or in $PG(2,q^2)$ according as 3 is a square or a non-square element in $GF(q)$. We show that if $q\geq 349$ and $q\neq 421$, then $\mathcal O$ is a 90-arc, which turns out to be complete for $q=349, 409, 529, 601,661.$ Interestingly, $\mathcal O$ is the smallest known complete arc in $PG(2,601)$ and in $PG(2,661).$ Computations are carried out by MAGMA.

A net is a special configuration of lines and points in the projective plane. There are certain restrictions on the number of its lines and points. We proved that there cannot be any (4,4) nets in $\mathbb{C}P^2$. In order to show this, we use tropical algebraic geometry. We tropicalize the hypothetical net and show that there cannot be such a configuration in $\mathbb{C}P^2$.

In the present paper, we apply Alexandrov geometry methods to study geometric analysis aspects of infinite semiplanar graphs with nonnegative combinatorial curvature in the sense of Higuchi. We obtain the metric classification of these graphs and construct the graphs embedded in the projective plane minus one point. Moreover, we show the volume doubling property and the Poincaré inequality on such graphs. The quadratic volume growth of these graphs implies the parabolicity. In addition, we prove the polynomial growth harmonic function theorem analogous to the case of Riemannian manifolds.

Finding the so-called characteristic numbers of the complex projective plane ${\mathbb C}P^2$ is a classical problem of enumerative geometry posed by Zeuthen more than a century ago. For a given $d$ and $g$ one has to find the number of degree $d$ genus $g$ curves that pass through a certain generic configuration of points and at the same time are tangent to a certain generic configuration of lines. The total number of points and lines in these two configurations is $3d-1+g$ so that the answer is a finite integer number. In this paper we translate this classical problem to the corresponding enumerative problem of tropical geometry in the case when $g=0$. Namely, we show that the tropical problem is well-posed and establish a special case of the correspondence theorem that ensures that the corresponding tropical and classical numbers coincide. Then we use the floor diagram calculus to reduce the problem to pure combinatorics. As a consequence, we express genus 0 characteristic numbers of $\CC P^2$ in terms of open Hurwitz numbers.

A {\it vector space partition} is here a collection $\mathcal P$ of subspaces of a finite vector space $V(n,q)$, of dimension $n$ over a finite field with $q$ elements, with the property that every non zero vector is contained in a unique member of $\mathcal P$. Vector space partitions relates to finite projective planes, design theory and error correcting codes. In the first part of the talk I will discuss some relations between vector space partitions and other branches of mathematics. The other part of the talk contains a survey of known results on the type of a vector space partition, more precisely: the theorem of Beutelspacher and Heden on $\mathrm{T}$-partitions, rather recent results of El-Zanati et al. on the different types that appear in the spaces V(n,2), for $n\leq8$, a result of Heden and Lehmann on vector space partitions and maximal partial spreads including their new necessary condition for the existence of a vector space partition, and furthermore, I will give a theorem of Heden on the length of the tail of a vector space partition. Finally, I will also give a few historical remarks.

Recently M. Vuletic found a two-parameter generalization of the MacMahon's formula. In this note we show that certain ingredients of her formula have a clear interpretation in terms of the geometry of the moduli space of sheaves on the projective plane.

New upper bounds on the smallest size t_{2}(2,q) of a complete arc in the projective plane PG(2,q) are obtained for 853 <= q <= 4561 and q\in T1\cup T2 where T1={173,181,193,229,243,257,271,277,293,343,373,409,443,449,457, 461,463,467,479,487,491,499,529,563,569,571,577,587,593,599,601,607,613,617,619,631, 641,661,673,677,683,691, 709}, T2={4597,4703,4723,4733,4789,4799,4813,4831,5003,5347,5641,5843,6011,8192}. From these new bounds it follows that for q <= 2593 and q=2693,2753, the relation t_{2}(2,q) < 4.5\sqrt{q} holds. Also, for q <= 4561 we have t_{2}(2,q) < 4.75\sqrt{q}. It is showed that for 23 <= q <= 4561 and q\in T2\cup {2^{14},2^{15},2^{18}}, the inequality t_{2}(2,q) < \sqrt{q}ln^{0.75}q is true. Moreover, the results obtained allow us to conjecture that this estimate holds for all q >= 23. The new upper bounds are obtained by finding new small complete arcs with the help of a computer search using randomized greedy algorithms. Also new constructions of complete arcs are proposed. These constructions form families of k-arcs in PG(2,q) containing arcs of all sizes k in a region k_{min} <= k <= k_{max} where k_{min} is of order q/3 or q/4 while k_{max} has order q/2. The completeness of the arcs obtained by the new constructions is proved for q <= 1367 and 2003 <= q <= 2063. There is reason to suppose that the arcs are complete for all q > 1367. New sizes of complete arcs in PG(2,q) are presented for 169 <= q <= 349 and q=1013,2003.

An association scheme is called quasi-thin if the valency of each its basic relation is one or two. A quasi-thin scheme is Kleinian if the thin residue of it forms a Klein group with respect to the relation product. It is proved that any Kleinian scheme arises from near-pencil on~$3$ points, or affine or projective plane of order~$2$. The main result is that any non-Kleinian quasi-thin scheme a) is the two-orbit scheme of a suitable permutation group, and b) is characterized up to isomorphism by its intersection number array. An infinite family of Kleinian quasi-thin schemes for which neither a) nor b) holds is also constructed.

The existence of certain monomial hyperovals $D(x^k)$ in the finite Desarguesian projective plane $PG(2,q)$, $q$ even, is related to the existence of points on certain projective plane curves $g_k(x,y,z)$. Segre showed that some values of $k$ ($k=6$ and $2^i$) give rise to hyperovals in $PG(2,q)$ for infinitely many $q$. Segre and Bartocci conjectured that these are the only values of $k$ with this property. We prove this conjecture through the absolute irreducibility of the curves $g_k$.

The local chromatic number of a graph was introduced by Erdős et al. [4]. In [17] a connection to topological properties of (a box complex of) the graph was established and in [18] it was shown that if a graph is strongly topologically 4-chromatic then its local chromatic number is at least four. As a consequence one obtains a generalization of the following theorem of Youngs: If a quadrangulation of the projective plane is not bipartite it has chromatic number four. The generalization states that in this case the local chromatic number is also four. Both papers [1] and [13] generalize Youngs's result to arbitrary non-orientable surfaces replacing the condition of the graph being not bipartite by a more technical condition of an odd quadrangulation. This paper investigates when these general results are true for the local chromatic number instead of the chromatic number. Surprisingly, we find out that (unlike in the case of the chromatic number) this depends on the genus of the surface. For the non-orientable surfaces of genus at most four, the local chromatic number of any odd quadrangulation is at least four, but this is not true for non-orientable surfaces of genus 5 or higher. We also prove that face subdivisions of odd quadrangulations and Fisk triangulations of arbitrary surfaces exhibit the same behavior for the local chromatic number as they do for the usual chromatic number.

Let $\cU$ be a unital embedded in the Desarguesian projective plane $\PG(2,q^2)$. Write $M$ for the subgroup of $\PGL(3,q^2)$ which preserves $\cU$. We show that $\cU$ is classical if and only if $\cU$ has two distinct points $P,Q$ for which the stabiliser $G=M_{P,Q}$ has order $q^2-1$.

We prove that under certain combinatorial conditions, the realization spaces of line arrangements on the complex projective plane are connected. We also give several examples of arrangements with eight, nine and ten lines which have disconnected realization spaces.

We study the space of 2-frieze patterns generalizing that of the classical Coxeter-Conway frieze patterns. The geometric realization of this space is the space of n-gons (in the projective plane and in 3-dimensional vector space) which is a close relative of the moduli space of genus 0 curves with n marked points. We show that the space of 2-frieze patterns is a cluster manifold and study its algebraic and arithmetic properties.

Let k>0 be an integer, let H be a minor-minimal graph in the projective plane such that every homotopically non-trivial closed curve intersects H at least k times, and let G be the planar double cover of H obtained by lifting G into the universal covering space of the projective plane, the sphere. We prove that G is minor-minimal of branch-width 2k. We also exhibit examples of minor-minimal planar graphs of branch-width 6 that do not arise this way.

The pentagram map is a natural iteration on projective equivalence classes of (twisted) n-gons in the projective plane. It was recently proved ([OST]) that the pentagram map is completely integrable, with the complete set of Poisson commuting integrals given by the polynomials O1,...,O[n/2],On and E1,...,E[n/2],En, previously constructed in [S3]. These polynomials are somewhat reminiscent of the symmetric polynomials. It was observed in computer experiments that if a polygon is inscribed into a conic then Oi=Ei for all i. The goal of the paper is to prove this theorem. The proof is combinatorial, and it was also suggested by computer experimentation.

We present two constructions in this paper: (a) A 10-vertex triangulation $\CC P^{2}_{10}$ of the complex projective plane $\CC P^{2}$ as a subcomplex of the join of the standard sphere ($S^{2}_4$) and the standard real projective plane ($\RR P^{2}_{6}$, the decahedron), its automorphism group is $A_4$; (b) a 12-vertex triangulation $(S^{2} \times S^{2})_{12}$ of $S^{2} \times S^{2}$ with automorphism group $2S_5$, the Schur double cover of the symmetric group $S_5$. It is obtained by generalized bistellar moves from a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$. Both constructions have surprising and intimate relationships with the icosahedron. It is well known that $\CC P^{2}$ has $S^{2} \times S^{2}$ as a two-fold branched cover; we construct the triangulation $\CC P^{2}_{10}$ of $\CC P^{2}$ by presenting a simplicial realization of this covering map $S^{2} \times S^{2} \to \CC P^{2}$. The domain of this simplicial map is a simplicial subdivision of the standard cell structure of $S^{2} \times S^{2}$, different from the triangulation alluded to in (b). This gives a new proof that Kuehnel's $\CC P^{2}_{9}$ triangulates $\CC P^{2}$. It is also shown that $\CC P^{2}_{10}$ and $(S^{2} \times S^{2})_{12}$ induce the standard piecewise linear structure on $\CC P^{2}$ and $S^{2} \times S^{2}$ respectively.