arXiv++ Combinatorics

We extend the results on the graph closures of the birational maps between projective spaces and Grassmannians to the case of PBW degenerate flag varieties. The advantage of the PBW degenerate flags (as opposed to their classical analogues) is the existence of a large group of symmetries for the graph closures. We discuss the combinatorial, algebraic and geometric sides of the picture. In particular, we show that toric degenerations of Borovik, Sturmfels and Sverrisdóttir are still available in the general settings. We also derive a description of the graph closures for flag varieties in terms of quiver representations.

The Goldman-Iwahori space of seminorms on a finite-dimensional vector space over a non-Archimedean field is a non-Archimedean analogue of a symmetric space. If, in addition, $K$ is real closed, we define a signed analogue of the Goldman-Iwahori space consisting of signed seminorms. This new space can be seen as the linear algebraic version of the real analytification of projective space over $K$. We study this space with methods from real tropical geometry by constructing natural real tropicalization maps from the signed Goldman-Iwahori space to all real tropicalized linear spaces. We prove that this space is the limit of all real tropicalized linear embeddings. We give a combinatorial interpretation of this result by showing that the signed Goldman-Iwahori space is the real tropical linear space associated to the universal realizable oriented matroid. In the constant coefficient case for $K = \mathbb{R}$, we describe this space explicitly and relate it to real Bergman fans.

Let $\mathcal W$ be a non-empty set of points of a finite Desarguesian projective space $\mathrm{PG}(n,q)$. A collection of varieties of $\mathrm{PG}(n,q)$ is \emph{mutually $μ$-intersecting (relatively to $\mathcal W$)} if its elements meet all $\mathcal W$ in the same number of points and pairwise intersect in $\mathcal W$ in exactly $μ$-points. Here we construct a new family of mutually $μ$-intersecting algebraic varieties by using certain quasi-Hermitian varieties of $\mathrm{PG}(n,q^2)$ where $q$ is any prime power. With the help of these quasi-Hermitian varieties we provide a new construction of $5$-dimensional MDS codes over ${\mathbb F}_q$ as well as an infinite family of simple orthogonal arrays $OA(q^{2n-1},q^{2n-2},q,2)$ of index $μ=q^{2n-3}$.

The (signed) projective cubes, as a special class of graphs closely related to the hypercubes, are on the crossroad of geometry, algebra, discrete mathematics and linear algebra. Defined as Cayley graphs on binary groups, they represent basic linear dependencies. Capturing the four-color theorem as a homomorphism target they show how mapping of discrete objects, namely graphs, may relate to special mappings of plane to projective spaces of higher dimensions. In this work, viewed as a signed graph, first we present a number of equivalent definitions each of which leads to a different development. In particular, the new notion of common product of signed graphs is introduced which captures both Cartesian and tensor products of graphs. We then have a look at some of their homomorphism properties. We first introduce an inverse technique for the basic no-homomorphism lemma, using which we show that every signed projective cube is of circular chromatic number 4. Then observing that the 4-color theorem is about mapping planar graphs into signed projective cube of dimension 2, we study some conjectures in extension of 4CT. Toward a better understanding of these conjectures we present the notion of extended double cover as a key operation in formulating the conjectures. With a deeper look into connection between some of these graphs and algebraic geometry, we discover that projective cube of dimension 4, widely known as the Clebsh graph, but also known as Greenwood-Gleason graph, is the intersection graph of the 16 straight lines of an algebraic surface known as Segre surface, which is a Del Pezzo surface of degree 4. We note that an algebraic surface known as the Clebsch surface is one of the most symmetric presentations of a cubic surface. Recall that each smooth cubic surface contains 27 lines. Hence, from hereafter, we believe, a proper name for this graph should be Segre graph.

Intersecting codes are linear codes where every two nonzero codewords have non-trivially intersecting support. In this article we expand on the theory of this family of codes, by showing that nondegenerate intersecting codes correspond to sets of points (with multiplicites) in a projective space that are not contained in two hyperplanes. This correspondence allows the use of geometric arguments to demonstrate properties and provide constructions of intersecting codes. We improve on existing bounds on their length and provide explicit constructions of short intersecting codes. Finally, generalizing a link between coding theory and the theory of the Davenport constant (a combinatorial invariant of finite abelian groups), we provide new asymptotic bounds on the weighted $2$-wise Davenport constant. These bounds then yield results on factorizations in rings of algebraic integers and related structures.

Let $Γ_4$ be the graph whose vertices are the chambers of the finite projective $4$-space PG(4,q), with two vertices being adjacent if the corresponding chambers are in general position. For $q\geq 749 $ we show that $α:=(q^2+q+1)(q^3+2q^2+q+1)(q+1)^2$ is the independence number of $Γ_4$ and the geometric structure of independent sets with $α$ vertices is described.

We consider the category $\mathcal S(n)$ of all pairs $X = (U,V)$, where $V$ is a finite-dimensional vector space with a nilpotent operator $T$ with $T^n = 0$, and $U$ is a subspace of $V$ such that $T(U) \subseteq U$. Our main interest in an object $X=(U,V)$ are the three numbers $uX=\dim U$ (for the subspace), $wX=\dim V/U$ (for the factor) and $bX=\dim {\rm Ker} T$ (for the operator). Actually, instead of looking at the reference space $\Bbb R^3$ with the triples $(uX,wX,bX)$, we will focus the attention to the corresponding projective space $\Bbb T(n)$ which contains for a non-zero object $X$ the level-colevel pair {\bf pr}$X = (uX/bX,wX/bX)$ supporting the object $X$. We use $\Bbb T(n)$ to visualize part of the categorical structure of $\mathcal S(n)$: The action of the duality $D$ and the square $τ_n^2$ of the Auslander-Reiten translation are represented on $\Bbb T(n)$ by a reflection and a rotation by $120^\circ$ degrees, respectively. Moreover for $n\geq 6$, each component of the Auslander-Reiten quiver of $\mathcal S(n)$ has support either contained in the center of $\Bbb T(n)$ or with the center as its only accumulation point. We show that the only indecomposable objects $X$ in $\mathcal S(n)$ with support having boundary distance smaller than 1 are objects with $bX=1$ which lie on the boundary, whereas any rational vector in $\Bbb T(n)$ with boundary distance at least 2 supports infinitely many indecomposable objects. At present, it is not clear at all what happens for vectors with boundary distance between 1 and 2. The use of $\Bbb T(n)$ provides even in the (quite well-understood) case $n = 6$ some surprises: In particular, we will show that any indecomposable object in $\mathcal S(6)$ lies on one of 12 central lines in $\Bbb T(6)$. The paper is essentially self-contained, all prerequisites which are needed are outlined in detail.

The exploration of linear subspaces, particularly scattered subspaces, has garnered considerable attention across diverse mathematical disciplines in recent years, notably within finite geometries and coding theory. Scattered subspaces play a pivotal role in analyzing various geometric structures such as blocking sets, two-intersection sets, complete arcs, caps in affine and projective spaces over finite fields and rank metric codes. This paper introduces a new infinite family of $h$-subspaces, along with their associated MRD codes. Additionally, it addresses the task of determining the generalized weights of these codes. Notably, we demonstrate that these MRD codes exhibit some larger generalized weights compared to those previously identified.

We use techniques from algebraic and extremal combinatorics to derive upper bounds on the number of independent sets in several (hyper)graphs arising from finite geometry. In this way, we obtain asymptotically sharp upper bounds for partial ovoids and EKR-sets of flags in polar spaces, line spreads in $\mathrm{PG}(2r-1,q)$ and plane spreads in $\mathrm{PG}(5,q)$, and caps in $\mathrm{PG}(3,q)$. The latter result extends work due to Roche-Newton and Warren and Bhowmick and Roche-Newton. Finally, we investigate caps in $p$-random subsets of $\mathrm{PG}(r,q)$, which parallels recent work for arcs in projective planes by Bhowmick and Roche-Newton, and by Roche-Newton and Warren, and arcs in projective spaces by Chen, Liu, Nie and Zeng.

In this paper, we construct explicit families of polynomials $P \in \mathbb{F}_q[x_1,\dots,x_n]$ with large root sets which have restricted intersections with affine lines. We use these sets to make substantial progress on a number of problems in extremal combinatorics. For each prime power $q$ and integer $2 \le t \le q-1$, we construct $t$-line evasive subsets of $\mathbb{F}_q^n$ of size \[ q^{\,n\left(1-\frac{2}{t^2+t}\right)}, \] which is significantly larger than those previously known. Moreover, our method yields a partition of $\mathbb{F}_q^n$ into such sets. We extend this partitioning result to the projective space $PG(n,q)$, obtaining the first explicit colorings for the vector space Ramsey number $R_q(2;k)$ that exhibit dependence on both $q$ and $k$. In particular, we show that \[ R_q(2;k) > \frac{(q-1)k}{2} - O_q(1), \] improving recent bounds. Finally, we apply these constructions to extremal graph theory and improve the best-known bounds on the bipartite Turán number $ \mathrm{ex}(n,m,\{C_4,θ_{3,t}\})$. Most notably, we show that \[ \mathrm{ex}(n,n^{2/3},\{C_4,θ_{3,3}\}) = Θ(n^{1+1/9}), \] making progress on a question originally posed by Erdős.

Curve singularities are classical objects of study in algebraic geometry. The key player in their combinatorial structure is the {\it value semigroup}, or its compactification, the {\it value semiring}. One natural problem is to explicitly determine the value semirings of distinguished infinite classes of singularities, with a view to understanding their asymptotic properties. In this paper, we establish a matroidal framework for resolving this problem for singularities determined by arrangements of toric branches; and we obtain precise quantitative results in the case of line arrangements. Our results have implications for the topology of Severi varieties of unisingular rational curves in projective space.

A recent paper showed how to find sets of finite affine or projective planes constructed on a common set of points, so that lines of one plane meet lines of a different plane in at most two points. In this paper, those results are generalized in two different ways to spaces of higher dimension. The simpler of the two generalizations admits many solutions, both affine and projective. For the stronger definition, where a line of one space must be an arc in the other, we show the existence of pairs of projective spaces of dimension one less than a prime.

We study the closure of the graph of the birational map from a projective space to a Grassmannian. We provide explicit description of the graph closure and compute the fibers of the natural projection to the Grassmannian. We construct embeddings of the graph closure to the projectivizations of certain cyclic representations of a degenerate special linear Lie algebra and study algebraic and combinatorial properties of these representations. In particular, we describe monomial bases, generalizing the FFLV bases. The proof relies on combinatorial properties of a new family of poset polytopes, which are of independent interest. As a consequence we obtain flat toric degenerations of the graph closure studied by Borovik, Sturmfels and Sverrisdóttir.

Baker and Bowler showed that the Grassmannian can be defined over a tract, a field-like structure generalizing both partial fields and hyperfields. This notion unifies theories of matroids over partial fields, valuated matroids, and oriented matroids. We extend Baker--Bowler theory to the Lagrangian Grassmannian which is the set of maximal isotropic subspaces in a $2n$-dimensional symplectic vector space. By Boege et al., the Lagrangian Grassmannian is parameterized as a subset of the projective space of dimension $2^{n-2}(4+\binom{n}{2})-1$ and its image is cut out by certain quadrics. We simplify a list of quadrics so that these are apparently induced by the Laplace expansions only concerning principal and almost-principal minors of a symmetric matrix. From the idea that the strong basis exchange axiom of matroids captures the combinatorial essence of the Grassmann--Plücker relations, we define matroid-like objects, called antisymmetric matroids, derived from the quadrics for the Lagrangian Grassmannian. We also provide a cryptomorphic definition in terms of circuits capturing the orthogonality and maximality of a Lagrangian subspace. We define antisymmetric matroids over tracts in two equivalent ways, which generalize both BB theory and the parameterization of the Lagrangian Grassmannian. It provides a new perspective on the Lagrangian Grassmannian over hyperfields such as the tropical hyperfield and the sign hyperfield. Our proof involves a homotopy theorem for graphs associated with antisymmetric matroids, which generalizes Maurer's homotopy theorem for matroids. We also prove that if a point in the projective space satisfies the $3$-/$4$-term quadratic relations for the Lagrangian Grassmannian and its supports form the bases of an antisymmetric matroid, then it satisfies all quadratic relations, a result motivated by the earlier work of Tutte for matroids and the Grassmannian.

Bonini, Borello and Byrne started the study of saturating linear sets in Desarguesian projective spaces, in connection with the covering problem in the rank metric. In this paper we study \emph{$1$-saturating} linear sets in PG$(2,q^4)$, that is $\mathbb{F}_q$-linear sets in PG$(2,q^4)$ with the property that their secant lines cover the entire plane. By making use of a characterization of generalized Gabidulin codes, we prove that the rank of such a linear set is at least $5$. This answers to a recent question posed by Bartoli, Borello and Marino.

This paper studies {\em strong blocking sets} in the $N$-dimensional finite projective space $\mathrm{PG}(N,q)$. We first show that certain unions of blocking sets cannot form strong blocking sets, which leads to a new lower bound on the size of a strong blocking set in $\mathrm{PG}(N,q)$. Our second main result shows that, for $q>\frac{2}{ln(2)}(N+1)$, there exists a subset of $2N-2$ lines of a Desarguesian line spread in $\mathrm{PG}(N,q)$, $N$ odd, in {\em higgledy-piggledy arrangement}; thus giving rise to a strong blocking set of size $(2N-2)(q+1)$.

A $t$-fold packing of a projective space $\rm{PG}_n(q)$ is a collection $\mathcal{P}$ of line-spreads such that each line of $\rm{PG}_n(q)$ occurs in precisely $t$ spreads in $\mathcal{P}$. A $t$-fold packing $\mathcal{P}$ is transitive if a subgroup of $\rm{PΓL}_{n+1}(q)$ preserves and acts transitively on $\mathcal{P}$. We give a construction for a transitive $(q-1)$-fold packing of $\rm{PG}_n(q)$, where $q=2^k$, for any odd positive integers $n$ and $k$, such that $n\geq 3$. This generalises a construction of Baker from 1976 for the case $q=2$.

A numerical semigroup $S$ is an additively-closed set of non-negative integers, and a factorization of an element $n$ of $S$ is an expression of $n$ as a sum of generators of $S$. It is known that for a given numerical semigroup $S$, the number of factorizations of $n$ coincides with a quasipolynomial (that is, a polynomial whose coefficients are periodic functions of $n$). One of the standard methods for computing certain semigroup-theoretic invariants involves assembling a graph or simplicial complex derived from the factorizations of $n$. In this paper, we prove that for two such graphs (which we call the factorization support graph and the trade graph), the number of edges coincides with a quasipolynomial function of $n$, and identify the degree, period, and leading coefficient of each. In the process, we uncover a surprising geometric connection: a combinatorially-assembled cubical complex that is homeomorphic to real projective space.

In the literature, lines of the projective space $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits under the stabilizer group of the twisted cubic. The least studied class is named $\mathcal{O}_6$. This class contains lines external to the twisted cubic which are not its chords or axes and do not lie in any of its osculating planes. For even and odd $q$, we propose a new family of orbits of $\mathcal{O}_6$ and investigate in detail their stabilizer groups and the corresponding submatrices of the point-line and plane-line incidence matrices. To obtain these submatrices, we explored the number of solutions of cubic and quartic equations connected with intersections of lines (including the tangents to the twisted cubic), points, and planes in $\mathrm{PG}(3,q)$.

Additive one-weight codes over a finite field of non-prime order are equivalent to special subspace coverings of the points of a projective space, which we call multispreads. The current paper is devoted to the characterization of the parameters of multispreads, which is equivalent to the characterization of the parameters of additive one-weight codes and, via duality, of additive completely regular codes of covering radius 1 (intriguing sets). We characterize these parameters for the case of the prime-square order of the field and make a partial characterization for the prime-cube case and the case of the fourth degree of a prime, including a complete characterization for orders 8, 27, and 16. Keywords: spreads, multispreads, additive codes, one-weight codes, completely regular codes, intriguing sets