arXiv++ Combinatorics

An $n$ arc in $(k-1)$-dimensional projective space is a set of $n$ points so that no $k$ lie on a hyperplane. In 1988, Glynn gave a formula to count $n$-arcs in the projective plane in terms of simpler combinatorial objects called superfigurations. Several authors have used this formula to count $n$-arcs in the projective plane for $n \le 10$. In this paper, we determine a formula to count $n$-arcs in projective 3-space. We then use this formula to give exact expressions for the number of $n$-arcs in $\mathbb{P}^3(\mathbb{F}_q)$ for $n \le 7$, which are polynomial in $q$ for $n \le 6$ and quasipolynomial in $q$ for $n=7$. Lastly, we generalize to higher-dimensional projective space.

The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.

Linear codes in the projective space $\mathbb{P}_q(n)$, the set of all subspaces of the vector space $\mathbb{F}_q^n$, were first considered by Braun, Etzion and Vardy. The Grassmannian $\mathbb{G}_q(n,k)$ is the collection of all subspaces of dimension $k$ in $\mathbb{P}_q(n)$. We study equidistant linear codes in $\mathbb{P}_q(n)$ in this paper and establish that the normalized minimum distance of a linear code is maximum if and only if it is equidistant. We prove that the upper bound on the size of such class of linear codes is $2^n$ when $q=2$ as conjectured by Braun et al. Moreover, the codes attaining this bound are shown to have structures akin to combinatorial objects, viz. \emph{Fano plane} and \emph{sunflower}. We also prove the existence of equidistant linear codes in $\mathbb{P}_q(n)$ for any prime power $q$ using \emph{Steiner triple system}. Thus we establish that the problem of finding equidistant linear codes of maximum size in $\mathbb{P}_q(n)$ with constant distance $2d$ is equivalent to the problem of finding the largest $d$-intersecting family of subspaces in $\mathbb{G}_q(n, 2d)$ for all $1 \le d \le \lfloor \frac{n}{2}\rfloor$. Our discovery proves that there exist equidistant linear codes of size more than $2^n$ for every prime power $q > 2$.

We show that the size of codes in projective space controls structural results for zeros of odd maps from spheres to Euclidean space. In fact, this relation is given through the topology of the space of probability measures on the sphere whose supports have diameter bounded by some specific parameter. Our main result is a generalization of the Borsuk--Ulam theorem, and we derive four consequences of it: (i) We give a new proof of a result of Simonyi and Tardos on topological lower bounds for the circular chromatic number of a graph; (ii) we study generic embeddings of spheres into Euclidean space and show that projective codes give quantitative bounds for a measure of genericity of sphere embeddings; and we prove generalizations of (iii) the Ham Sandwich theorem and (iv) the Lyusternik--Shnirel'man--Borsuk covering theorem for the case where the number of measures or sets in a covering, respectively, may exceed the ambient dimension.

In this paper we prove the existence of a complete cap of ${\rm PG}(4n+1, q)$ of size $2(q^{2n+1}-1)/(q-1)$, for each prime power $q>2$. It is obtained by projecting two disjoint Veronese varieties of ${\rm PG}(2n^2+3n, q)$ from a suitable $(2n^2-n-2)$-dimensional projective space. This shows that the trivial lower bound for the size of the smallest complete cap of ${\rm PG}(4n+1, q)$ is essentially sharp.

We give a sharp upper bound on the multiplicity of a fake weighted projective space with at worst canonical singularities. This is equivalent to giving a sharp upper bound on the index of the sublattice generated by the vertices of a lattice simplex containing only the origin as an interior lattice point. We also completely characterise when equality occurs and discuss related questions and conjectures.

We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.

We consider the structure of the point-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ connected with orbits of points and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of points are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines through every point and of points lying on every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.

We classify the orbits of solids in the projective space $\text{PG}(5,q)$, $q$ even, under the setwise stabiliser $K \cong \text{PGL}(3,q)$ of the Veronese surface. For each orbit, we provide an explicit representative $S$ and determine two combinatorial invariants: the point-orbit distribution and the hyperplane-orbit distribution. These invariants characterise the orbits except in two specific cases (in which the orbits are distinguished by their line-orbit distributions). In addition, we determine the stabiliser of $S$ in $K$, thereby obtaining the size of each orbit. As a consequence, we obtain a proof of the classification of pencils of conics in $\text{PG}(2,q)$, $q$ even, which to the best of our knowledge has been heretofore missing in the literature.

For a point of the projective space $\PG(n,q)$, its Rédei factor is the linear polynomial in $n+1$ variables, whose coefficients are the point coordinates. The power sum polynomial of a subset $S$ of $\PG(n,q)$ is the sum of the $(q-1)$-th powers of the Rédei factors of the points of $S$. The fact that many subsets may share the same power sum polynomial offers a natural connection to discrete tomography. In this paper we deal with the two-dimensional case and show that the notion of ghost, whose employment enables to find all solutions of the tomographic problem, can be rephrased in the finite geometry context, where subsets with null power sum polynomial are called ghosts as well. In the latter case, one can add ghosts still preserving the power sum polynomial by means of the multiset sum (modulo the field characteristic). We prove some general results on ghosts in $\PG(2,q)$ and compute their number in case $q$ is a prime.

A $pseudo$-$oval$ of a finite projective space over a finite field of odd order $q$ is a configuration of equidimensional subspaces that is essentially equivalent to a translation generalised quadrangle of order $(q^n,q^n)$ and a Laguerre plane of order $q^n$ (for some $n$). In setting out a programme to construct new generalised quadrangles, Shult and Thas asked whether there are pseudo-ovals consisting only of lines of an elliptic quadric ${Q}^-(5,q)$, non-equivalent to the $classical$ $example$, a so-called $pseudo$-$conic$. To date, every known pseudo-oval of lines of ${Q}^-(5,q)$ is projectively equivalent to a pseudo-conic. Thas characterised pseudo-conics as pseudo-ovals satisfying the $perspective$ property, and this paper is on characterisations of pseudo-conics from an algebraic combinatorial point of view. In particular, we show that pseudo-ovals in $Q^-(5,q)$ and pseudo-conics can be characterised as certain Delsarte designs of an interesting five-class association scheme. These association schemes are introduced and explored, and we provide a complete theory of how pseudo-ovals of lines of $Q^-(5,q)$ can be analysed from this viewpoint.

Reflexive lattice polytopes play a key role in combinatorics, algebraic geometry, physics, and other areas. One important class of lattice polytopes are lattice simplices defining weighted projective spaces. We investigate the question of when a reflexive weighted projective space simplex has the integer decomposition property. We provide a complete classification of reflexive weighted projective space simplices having the integer decomposition property for the case when there are at most three distinct non-unit weights, and conjecture a general classification for an arbitrary number of distinct non-unit weights. Further, for any weighted projective space simplex and $m\geq 1$, we define the $m$-th reflexive stabilization, a reflexive weighted projective space simplex. We prove that when $m$ is $2$ or greater, reflexive stabilizations do not have the integer decomposition property. We also prove that the Ehrhart $h^\ast$-polynomial of any sufficiently large reflexive stabilization is not unimodal and has only $1$ and $2$ as coefficients. We use this construction to generate interesting examples of reflexive weighted projective space simplices that are near the boundary of both $h^*$-unimodality and the integer decomposition property.

In a recent breakthrough, Adiprasito, Avvakumov, and Karasev constructed a triangulation of the $n$-dimensional real projective space with a subexponential number of vertices. They reduced the problem to finding a small downward closed set-system $\cal F$ covering an $n$-element ground set which satisfies the following condition: For any two disjoint members $A, B\in\cal F$, there exist $a\in A$ and $b\in B$ such that either $B\cup\{a\}\in\cal F$ and $A\cup\{b\}\setminus\{a\}\in\cal F$, or $A\cup\{b\}\in\cal F$ and $B\cup\{a\}\setminus\{b\}\in\cal F$. Denoting by $f(n)$ the smallest cardinality of such a family $\cal F$, they proved that $f(n)<2^{O(\sqrt{n}\log n)}$, and they asked for a nontrivial lower bound. It turns out that the construction of Adiprasito et al. is not far from optimal; we show that $2^{(1.42+o(1))\sqrt{n}}\le f(n)\le 2^{(1+o(1))\sqrt{2n\log n}}$. We also study a variant of the above problem, where the condition is strengthened by also requiring that for any two disjoint members $A, B\in\cal F$ with $|A|>|B|$, there exists $a\in A$ such that $B\cup\{a\}\in\cal F$. In this case, we prove that the size of the smallest $\cal F$ satisfying this stronger condition lies between $2^{Ω(\sqrt{n}\log n)}$ and $2^{O(n\log\log n/\log n)}$.

In the projective space $\mathrm{PG}(3,q)$, we consider the orbits of lines under the stabilizer group of the twisted cubic. It is well known that the lines can be partitioned into classes every of which is a union of line orbits. All types of lines forming a unique orbit are found. For the rest of the line types (apart from one of them) it is proved that they form exactly two or three orbits; sizes and structures of these orbits are determined. Problems remaining open for one type of lines are formulated. For $5\le q\le37$ and $q=64$, they are solved.

We consider the structure of the plane-line incidence matrix of the projective space $\mathrm{PG}(3,q)$ with respect to the orbits of planes and lines under the stabilizer group of the twisted cubic. Structures of submatrices with incidences between a union of line orbits and an orbit of planes are investigated. For the unions consisting of two or three line orbits, the original submatrices are split into new ones, in which the incidences are also considered. For each submatrix (apart from the ones corresponding to a special type of lines), the numbers of lines in every plane and planes through every line are obtained. This corresponds to the numbers of ones in columns and rows of the submatrices.

Let $\cal P$ be a finite classical polar space of rank $d$. An $m$-regular system with respect to $(k - 1)$-dimensional projective spaces of $\cal P$, $1 \le k \le d - 1$, is a set $\cal R$ of generators of $\cal P$ with the property that every $(k - 1)$-dimensional projective space of $\cal P$ lies on exactly $m$ generators of $\cal R$. Regular systems of polar spaces are investigated. Some non-existence results about certain 1-regular systems of polar spaces with low rank are proved and a procedure to obtain $m'$-regular systems from a given $m$-regular system is described. Finally, three different construction methods of regular systems w.r.t. points of various polar spaces are discussed.

Minimal linear codes are in one-to-one correspondence with special types of blocking sets of projective spaces over a finite field, which are called strong or cutting blocking sets. In this paper we prove an upper bound on the minimal length of minimal codes of dimension $k$ over the $q$-element Galois field which is linear in both $q$ and $k$, hence improve the previous superlinear bounds. This result determines the minimal length up to a small constant factor. We also improve the lower and upper bounds on the size of so called higgledy-piggledy line sets in projective spaces and apply these results to present improved bounds on the size of covering codes and saturating sets in projective spaces as well. The contributions rely on geometric and probabilistic arguments.

Over the past few years, the codes $\mathcal{C}_{n-1}(n,q)$ arising from the incidence of points and hyperplanes in the projective space $\text{PG}(n,q)$ attracted a lot of attention. In particular, small weight codewords of $\mathcal{C}_{n-1}(n,q)$ are a topic of investigation. The main result of this work states that, if $q$ is large enough and not prime, a codeword having weight smaller than roughly $\frac{1}{2^{n-2}}q^{n-1}\sqrt{q}$ can be written as a linear combination of a few hyperplanes. Consequently, we use this result to provide a graph-theoretical sufficient condition for these codewords of small weight to be minimal.

We address several extremal problems concerning the spreading property of point sets of Steiner triple systems. This property is closely related to the structure of subsystems, as a set is spreading if and only if there is no proper subsystem which contains it. We give sharp upper bounds on the size of a minimal spreading set in a Steiner triple system and show that if all the minimal spreading sets are large then the examined triple system must be a projective space. We also show that the size of a minimal spreading set is not an invariant of a Steiner triple system.

For a rational map $φ$ from a metric graph $\varGamma$ to a tropical projective space $\boldsymbol{TP^n}$ defined by a ratio of rational functions $f_1, \ldots, f_{n + 1}$, an automorphism $σ$ of $\varGamma$ induces a permutation of the coordinates of $\boldsymbol{TP^n}$ if $\{ f_1, \ldots, f_{n + 1} \}$ is $\langle σ\rangle$-invariant. Through this description, we can realize the automorphism group of $Γ$ as ambient automorphism group such as tropical projective general linear group, tropical general linear group and $\boldsymbol{Z}$-linear transformation group of Euclidean space.