arXiv++ Combinatorics

Suppose that a group $G$ acts transitively on the points of a non-Desarguesian plane, $\mathcal{P}$. We prove first that the Sylow 2-subgroups of $G$ are cyclic or generalized quaternion. We also prove that $\mathcal{P}$ must admit an odd order automorphism group which acts transitively on the set of points of $\mathcal{P}$.

Graphs on surfaces is an active topic of pure mathematics belonging to graph theory. It has also been applied to physics and relates discrete and continuous mathematics. In this paper we present a formal mathematical description of the relation between graph theory and the mathematical physics of discrete string theory. In this description we present problems of the combinatorial world of real importance for graph theorists. The mathematical details of the paper are as follows: There is a combinatorial description of the partition function of bosonic string theory. In this combinatorial description the string world sheet is thought as simplicial and it is considered as a combinatorial graph. It can also be said that we have embeddings of graphs in closed surfaces. The discrete partition function which results from this procedure gives a sum over triangulations of closed surfaces. This is known as the vacuum partition function. The precise calculation of the partition function depends on combinatorial calculations involving counting all non-isomorphic triangulations and all spanning trees of a graph. The exact computation of the partition function turns out to be very complicated, however we show the exact expressions for its computation for the case of any closed orientable surface. We present a clear computation for the sphere and the way it is done for the torus, and for the non-orientable case of the projective plane.

We present a self-contained proof that the number of diameter pairs among n points in Euclidean 3-space is at most 2n-2. The proof avoids the ball polytopes used in the original proofs by Grunbaum, Heppes and Straszewicz. As a corollary we obtain that any three-dimensional diameter graph can be embedded in the projective plane.

In this paper we complete a classification of finite linear spaces $\cS$ with line size at most 12 admitting a line-transitive point-imprimitive subgroup of automorphisms. The examples are the Desarguesian projective planes of orders $4,7, 9$ and 11, two designs on 91 points with line size 6, and 467 designs on 729 points with line size 8.

We show a one-to-one correspondence between arrangements of d lines in the projective plane, and lines in P^{d-2}. We apply this correspondence to classify (3,q)-nets over the complex numbers for all q<=6. When q=6, we have twelve possible combinatorial cases, but we prove that only nine of them are realizable. This new case shows several new properties for 3-nets: different dimensions for moduli, strict realization over certain fields, etc. We also construct a three dimensional family of (3,8)-nets corresponding to the Quaternion group.

In this paper, we present a number of examples of k-nets, which are special configurations of lines and points in the projective plane. Such a configuration can be regarded as the union of k completely reducible elements of a pencil of complex plane curves; equivalently it can be regarded as a set of k polygons in the complex projective plane that satisfy a condition of mutual perspectivity and nondegenerate intersection. For each example, we describe its construction, combinatorial properties, and parameter space. Most of the examples are historical, although perhaps not very well-known; our only essentially new example is a 3-net of pentagons which does not realize a group. The existence of this example settles a question posed by S. Yuzvinsky.

Let $N$ be a nilpotent group normal in a group $G$. Suppose that $G$ acts transitively upon the points of a finite non-Desarguesian projective plane $\mathcal{P}$. We prove that, if $\mathcal{P}$ has square order, then $N$ must act semi-regularly on $\mathcal{P}$. In addition we prove that if a finite non-Desarguesian projective plane $\mathcal{P}$ admits more than one nilpotent group which is regular on the points of $\mathcal{P}$ then $\mathcal{P}$ has non-square order and the automorphism group of $\mathcal{P}$ has odd order.

Tropical geometry yields good lower bounds, in terms of certain combinatorial-polyhedral optimisation problems, on the dimensions of secant varieties. In particular, it gives an attractive pictorial proof of the theorem of Hirschowitz that all Veronese embeddings of the projective plane except for the quadratic one and the quartic one are non-defective; this proof might be generalisable to cover all Veronese embeddings, whose secant dimensions are known from the ground-breaking but difficult work of Alexander and Hirschowitz. Also, the non-defectiveness of certain Segre embeddings is proved, which cannot be proved with the rook covering argument already known in the literature. Short self-contained introductions to secant varieties and the required tropical geometry are included.

A finite linear space is a finite set of points and lines, where any two points lie on a unique line. Well known examples include projective planes. This project focuses on linear spaces which admit certain types of symmetries. Symmetries of the space which preserve the line structure are called automorphisms. A group of these is called an automorphism group of the linear space. Two interesting properties of linear spaces are point imprimitivity and line transitivity. Point imprimitive spaces admit a second structure on the points aside from the lines, which is also preserved by an automorphism group. In line transitive spaces, given any two lines, an automorphism can be found that maps one line to the other. Very few point imprimitive, line transitive linear spaces, apart from projective planes, are known. Such spaces that have been found have been surprising. One point of interest is whether such spaces are rare and the known ones are in some sense exceptional, or if there are many such spaces, but mathematicians have been looking in the wrong places. Here we investigate methods to construct a line transitive, point imprimitive linear space over a given point set and automorphism group. We employ these methods on two given automorphism groups, both on a set of 451 points. This was an exceptional situation identified in theoretical work of Praeger and Tuan. Included in this is the development of an algorithm, written in GAP, an algebraic programming system, and C, to perform these constructions. This algorithm is extendible to a wider class of groups.

A long-standing conjecture is that any transitive finite projective plane is Desarguesian. We make a contribution towards a proof of this conjecture by showing that a group acting transitively on the the points of a non-Desarguesianprojective plane must not contain any components.

We show that a line arrangement in the complex projective plane supports a nontrivial resonance variety if and only if it is the underlying arrangement of a "multinet," a multi-arrangement with a partition into three or more equinumerous classes which have equal multiplicities at each inter-class intersection point, and satisfy a connectivity condition. We also prove that this combinatorial structure is equivalent to the existence of a pencil of plane curves, also satisfying a connectivity condition, whose singular fibers include at least three products of lines, which comprise the arrangement. We derive numerical conditions which impose restrictions on the number of classes, and the line and point multiplicities that can appear in multinets, and allow us to detect whether the associated pencils yield nonlinear fiberings of the complement.

A k-arc in a Dearguesian projective plane whose secants meet some external line in k-1 points is said to be hyperfocused. Hyperfocused arcs are investigated in connection with a secret sharing scheme based on geometry due to Simmons. In this paper it is shown that point orbits under suitable groups of elations are hyperfocused arcs with the significant property of being contained neither in a hyperoval, nor in a proper subplane. Also, the concept of generalized hyperfocused arc, i.e. an arc whose secants admit a blocking set of minimum size, is introduced: a construction method is provided, together with the classification for size up to 10.

Let $G$ be a planar graph with no two 3-cycles sharing an edge. We show that if $Δ(G)\geq 9$, then $χ'_l(G) = Δ(G)$ and $χ''_l(G)=Δ(G)+1.$ We also show that if $Δ(G)\geq 6$, then $χ'_l(G)\leqΔ(G)+1$ and if $Δ(G)\geq 7$, then $χ''_l(G)\leqΔ(G)+2$. All of these results extend to graphs in the projective plane and when $Δ(G)\geq 7$ the results also extend to graphs in the torus and Klein bottle. This second edge-choosability result improves on work of Wang and Lih and of Zhang and Wu. All of our results use the discharging method to prove structural lemmas about the existence of subgraphs with small degree-sum. For example, we prove that if $G$ is a planar graph with no two 3-cycles sharing an edge and with $Δ(G)\geq 7$, then $G$ has an edge $uv$ with $d(u)\leq 4$ and $d(u)+d(v)\leq Δ(G)+2$. All of our proofs yield linear-time algorithms that produce the desired colorings.

We show how to construct a cubic partial cube from any simplicial arrangement of lines or pseudolines in the projective plane. As a consequence, we find nine new infinite families of cubic partial cubes as well as many sporadic examples.

We study a construction of the Mathieu group $M_{12}$ using a game reminiscent of Loyd's ``15-puzzle''. The elements of $M_{12}$ are realized as permutations on~12 of the~13 points of the finite projective plane of order~3. There is a natural extension to a ``pseudogroup'' $M_{13}$ acting on all~13 points, which exhibits a limited form of sextuple transitivity. Another corollary of the construction is a metric, akin to that induced by a Cayley graph, on both $M_{12}$ and $M_{13}$. We develop these results, and extend them to the double covers and automorphism groups of $M_{12}$ and $M_{13}$, using the ternary Golay code and $12 \x 12$ Hadamard matrices. In addition, we use experimental data on the quasi-Cayley metric to gain some insight into the structure of these groups and pseudogroups.

The paper is concerned with families of plane algebraic curves that contain a given and quite special finite set X of points in the projective plane. We focus on the case in which the set X is formed by transversally intersecting pairs of lines selected from two given finite families of cardinality d. The union of all lines from both families is called a cage, and the intersection X consists of d^2 points at which a line from the first family intersects a line from the second. The points of X are called the nodes of the cage. We study the subsets A of the nodal set X such that any plane algebraic curve C of degree d that contains A must contain X as well. As a corollary, we get a few generalizations of the famous Pascal theorem, generalizations that employ polygons (instead of hexagons as in Pascal's theorem) inscribed in a quadratic curve. Our results are closely related to the classical theorems of Chasles and Bacharach. Although the nodal sets X produced by our cages are quite special in comparison to more general complete intersections studied by Bacharach, the cages provide us with a much better grip on the combinatorics of subsets A of X with the property that is described above.

The Welschinger numbers, a kind of a real analog of the Gromov-Witten numbers which count the complex rational curves through a given generic collection of points, bound from below the number of real rational curves for any real generic collection of points. By the logarithmic equivalence of sequences we mean the asymptotic equivalence of their logarithms. We prove such an equivalence for the Welschinger and Gromov-Witten numbers of any toric Del Pezzo surface with its tautological real structure, in particular, of the projective plane, under the hypothesis that all, or almost all, chosen points are real. We also study the positivity of Welschinger numbers and their monotonicity with respect to the number of imaginary points.

We consider the class F of 2-connected non-planar K_{3,3}-subdivision-free graphs that are embeddable in the projective plane. We show that these graphs admit a unique decomposition as a graph K_5 (the core) where the edges are replaced by two-pole networks constructed from 2-connected planar graphs. A method to enumerate these graphs in the labelled case is described. Moreover, we enumerate the homeomorphically irreducible graphs in F and homeomorphically irreducible 2-connected planar graphs. Particular use is made of two-pole directed series-parallel networks. We also show that the number m of edges of graphs in F with n vertices satisfies the bound m <=3n-6, for n >= 6.

Tropical algebraic geometry is the geometry of the tropical semiring $(\mathbb{R},\min,+)$. Its objects are polyhedral cell complexes which behave like complex algebraic varieties. We give an introduction to this theory, with an emphasis on plane curves and linear spaces. New results include a complete description of the families of quadrics through four points in the tropical projective plane and a counterexample to the incidence version of Pappus' Theorem.

In the paper, we study special configurations of lines and points in the complex projective plane, so called k-nets. We describe the role of these configurations in studies of cohomology on arrangement complements. Our most general result is the restriction on k - it can be only 3,4, or 5. The most interesting class of nets is formed by 3-nets that relate to finite geometries, latin squares, loops, etc. All known examples of 3-nets in P^2 realize finite Abelian groups. We study the problem what groups can be so realized. Our main result is that, except for groups with all invariant factors under 10, realizable groups are isomorphic to subgroups of a 2-torus. This follows from the `algebraization' result asserting that in the dual plane, the points dual to lines of a net lie on a plane cubic.