We solve a fundamental question posed in Frohardt’s 1988 paper [6] on finite $2$-groups with Kantor familes, by showing that finite groups K with a Kantor family $(\mathcal {F},\mathcal {F}^*)$ having distinct members $A, B \in \mathcal {F}$ such that $A^* \cap B^*$ is a central subgroup of K and the quotient $K/(A^* \cap B^*)$ is abelian cannot exist if the center of K has exponent $4$ and the members of $\mathcal {F}$ are elementary abelian. Then we give a short geometrical proof of a recent result of Ott which says that finite skew translation quadrangles of even order $(t,t)$ (where t is not a square) are always translation generalized quadrangles. This is a consequence of a complete classification of finite cyclic skew translation quadrangles of order $(t,t)$ that we carry out in the present paper.

We use the geometry of the stellahedral toric variety to study matroids. We identify the valuative group of matroids with the cohomology ring of the stellahedral toric variety and show that valuative, homological and numerical equivalence relations for matroids coincide. We establish a new log-concavity result for the Tutte polynomial of a matroid, answering a question of Wagner and Shapiro–Smirnov–Vaintrob on Postnikov–Shapiro algebras, and calculate the Chern–Schwartz–MacPherson classes of matroid Schubert cells. The central construction is the ‘augmented tautological classes of matroids’, modeled after certain toric vector bundles on the stellahedral toric variety.

We improve to nearly optimal the known asymptotic and explicit bounds for the number of $\mathbb {F}_q$ -rational points on a geometrically irreducible hypersurface over a (large) finite field. The proof involves a Bertini-type probabilistic combinatorial technique. Namely, we slice the given hypersurface with a random plane.

We revisit the coordinatisation method for projective planes by considering the consequences of using finite fields to coordinatise projective planes of prime power order. This leads to some general restrictions on the form of the resulting planar ternary ring (PTR) when viewed as a trivariate polynomial over the field. We also consider how the Lenz–Barlotti type of the plane being coordinatised impacts the form of the PTR polynomial, thereby deriving further restrictions.

We solve a problem posed by Cardinali and Sastry (Elliptic ovoids and their rosettes in a classical generalized quadrangle of even order. Proc. Indian Acad. Sci. Math. Sci.126 (2016), 591–612) about factorization of 2-covers of finite classical generalized quadrangles (GQs). To that end, we develop a general theory of cover factorization for GQs, and in particular, we study the isomorphism problem for such covers and associated geometries. As a byproduct, we obtain new results about semi-partial geometries coming from θ-covers, and consider related problems.

The classification of flag-transitive generalized quadrangles is a long-standing open problem at the interface of finite geometry and permutation group theory. Given that all known flag-transitive generalized quadrangles are also point-primitive (up to point–line duality), it is likewise natural to seek a classification of the point-primitive examples. Working toward this aim, we are led to investigate generalized quadrangles that admit a collineation group $G$ preserving a Cartesian product decomposition of the set of points. It is shown that, under a generic assumption on $G$, the number of factors of such a Cartesian product can be at most four. This result is then used to treat various types of primitive and quasiprimitive point actions. In particular, it is shown that $G$ cannot have holomorph compound O’Nan–Scott type. Our arguments also pose purely group-theoretic questions about conjugacy classes in nonabelian finite simple groups and fixities of primitive permutation groups.

In this paper, we consider the so-called “Furstenberg set problem” in high dimensions. First, following Wolff’s work on the two-dimensional real case, we provide “reasonable” upper bounds for the problem for $\mathbb{R}$ or $\mathbb{F}_{p}$. Next we study the “critical” case and improve the “trivial” exponent by ${\rm\Omega}(1/n^{2})$ for $\mathbb{F}_{p}^{n}$. Our key tool in obtaining this lower bound is a theorem about how things behave when the Loomis–Whitney inequality is nearly sharp, as it helps us to reduce the problem to dimension two.

A partial Steiner (n,r,l)-system is an r-uniform hypergraph on n vertices in which every set of l vertices is contained in at most one edge. A partial Steiner (n,r,l)-system is complete if every set of l vertices is contained in exactly one edge. In a hypergraph , the independence number α() denotes the maximum size of a set of vertices in containing no edge. In this article we prove the following. Given integers r,l such that r ≥ 2l − 1 ≥ 3, we prove that there exists a partial Steiner (n,r,l)-system such that

$$\alpha(\HH) \lesssim \biggl(\frac{l-1}{r-1}(r)_l\biggr)^{\frac{1}{r-1}}n^{\frac{r-l}{r-1}} (\log n)^{\frac{1}{r-1}} \quad \mbox{ as }n \rightarrow \infty.$$

Given a positive integer $n$, a finite field ${{\mathbb{F}}_{q}}$ of $q$ elements ($q$ odd), and a non-degenerate symmetric bilinear form $B$ on $\mathbb{F}_{q}^{n}$, we determine the largest possible cardinality of pairwise $B$-orthogonal subsets $\varepsilon \,\subseteq \,\mathbb{F}_{q}^{n}$, that is, for any two vectors $x,\,y\,\in \,\varepsilon $, one has $B(x,\,y)\,=\,0$.

We discuss n4 configurations of n points and n planes in three-dimensional projective space. These have four points on each plane, and four planes through each point. When the last of the 4n incidences between points and planes happens as a consequence of the preceding 4n−1 the configuration is called a ‘theorem’. Using a graph-theoretic search algorithm we find that there are two 84 and one 94 ‘theorems’. One of these 84 ‘theorems’ was already found by Möbius in 1828, while the 94 ‘theorem’ is related to Desargues’ ten-point configuration. We prove these ‘theorems’ by various methods, and connect them with other questions, such as forbidden minors in graph theory, and sets of electrons that are energy minimal.

The core of a graph Γ is the smallest graph Δ that is homomorphically equivalent to Γ (that is, there exist homomorphisms in both directions). The core of Γ is unique up to isomorphism and is an induced subgraph of Γ. We give a construction in some sense dual to the core. The hull of a graph Γ is a graph containing Γ as a spanning subgraph, admitting all the endomorphisms of Γ, and having as core a complete graph of the same order as the core of Γ. This construction is related to the notion of a synchronizing permutation group, which arises in semigroup theory; we provide some more insight by characterizing these permutation groups in terms of graphs. It is known that the core of a vertex-transitive graph is vertex-transitive. In some cases we can make stronger statements: for example, if Γ is a non-edge-transitive graph, we show that either the core of Γ is complete, or Γ is its own core. Rank-three graphs are non-edge-transitive. We examine some families of these to decide which of the two alternatives for the core actually holds. We will see that this question is very difficult, being equivalent in some cases to unsolved questions in finite geometry (for example, about spreads, ovoids and partitions into ovoids in polar spaces).

We propose the use of finite Fourier series as an alternative means of representing ovals in projective planes of even order. As an example to illustrate the method's potential, we show that the set {wj + w3j + w−3j: 0 ≤ j ≤ 2h} ⊂ GF (22h) forms an oval if w is a primitive (2h + 1)st root of unity in GF(22h) and GF(22h) is viewed as an affine plane over GF(2h). For the verification, we only need some elementary ‘trigonometric identities’ and a basic irreducibility lemma that is of independent interest. Finally, we show that our example is the Payne oval when h is odd, and the Adelaide oval when h is even.

We introduce the notion of valuation of a dense near polygon. The valuations of a dense near polygon $F$ describe the possible relations between a point of a dense near polygon $\cS$ and any geodetically closed sub near polygon of $\cS$ isomorphic to $F$. Several nice properties of valuations are given and several classes of these objects are defined. Valuations are an important tool for classifying dense near polygons.

New proofs are given of the fundamental results of Bader, Lunardon and Thas relating flocks of the quadratic cone in PG(3, q), q odd, and BLT-sets of Q(4, q). We also show that there is a unique BLT-set of H(3, 9). The model of Penttila for Q(4, q), q odd, is extended to Q(2m, q) to construct partial flocks of size qm/2+m/2 – 1 of the cone kin PG(2m – 1, q) with vertex a point and base Q(2m – 2, q), where q is congruent to 1 or 3 modulo 8 and m is even. These partial flocks are larger than the largest previously known for m > 2. Also, the example of O'Keefe and Thas of a partial flock of k in PG(5, 3) of size 6 is generalised to a partial flock of the cone k of PG(2pn – 1, p) of size 2pn, for any prime p congruent to 1 or 3 modulo 8, with the corresponding partial BLT-set of Q(2pn, p) admitting the symmetric group of degree 2pn + 1.

Until recently, the known symmetric nets were class-regular and therefore satisfied a certain geometric condition that defines the class of nets known as tactical symmetric nets. Thus the known symmetric nets were tactical. This paper gives a general method of construction for non-tactical symmetric nets, which are therefore not class-regular. It is not known whether there are tactical symmetric nets which are not class regular.

J. Hayden [2] proved that, if a finite abelian group is a Cartesian group satisfying a certain "homogeneity condition", then it must be an elementary abelian group. His proof required the character theory of finite abelian groups. In this note we present a shorter, elementary proof of his result.

Let P be a translation plane containing a net N which is replaceable by . Let P' denote the transposed plane. We note that N' is replaceable by ()'. This result shows how to relate the various constructions of the two translation planes of order 16 that admit PSL(2, 7).