arXiv++ Combinatorics

We study Schubert subspace codes, which are constant-dimension subspace codes with prescribed intersection conditions with a fixed subspace. Our goal is to construct codes of maximum possible size in the extremal distance cases where a natural counting upper bound applies. We give two families of constructions. The first one uses a direct-sum decomposition of the ambient space, together with partial spreads and colorings of powers of $q$-Johnson graphs. For this construction, we also prove necessary conditions, which show how chromatic and clique obstructions arise. The second family is obtained by field reduction from evasive and scattered subspaces over extension fields. This gives codes whose size can be computed exactly in the scattered case and recovers the only previously known construction as a special case.

Additive codes over $\mathbb{F}_{q^h}$ generalize linear codes by relaxing linearity over the alphabet while retaining linearity over the subfield $\mathbb{F}_q$. In this paper, we introduce minimal additive codes and we initiate their study from a geometric perspective. We define the concept of additive strong blocking sets, a class of $h$-projective systems whose union forms a strong blocking set. We establish a one-to-one correspondence between equivalence classes of nondegenerate minimal additive codes and equivalence classes of additive strong blocking sets. We also compare this framework with the theory of outer strong blocking sets, showing that the latter arises as a special case. Finally, we provide constructions and existence results for minimal additive codes, and derive upper, lower, and asymptotic bounds on their minimum length.

Covering problems in coding theory are closely related to finite geometry through the interpretation of the columns of parity-check matrices as point sets in finite vector spaces. Motivated by the recent notion of generalized covering radii of linear codes introduced by Elimelech, Firer and Schwartz, we develop a geometric framework for these parameters. We introduce $(ρ,t)$-saturating sets and show that they are precisely the finite-geometric counterparts of linear codes whose $t$-th generalized covering radius is at most $ρ$. We study the structure of these sets and show that the extremal case $ρ=t$ coincides with the notion of $t$-strong blocking sets. Thus, $(ρ,t)$-saturating sets interpolate between classical saturating sets and strong blocking sets. We provide several equivalent formulations, including affine and dual Grassmannian criteria, derive lower bounds on their size, and give constructions from strong blocking sets, graphs and projective configurations.

Flag-rank-metric codes arise as a natural generalization of rank-metric codes in the context of network communication. While recent research has mainly focused on algebraic and structural properties of these codes, the combinatorial geometry underlying the flag-rank metric remains largely unexplored. In this paper, we initiate a detailed investigation of this geometry. We explicitly determine the size of spheres of small flag-rank radius in the space $\mathrm{U}(n,\mathbb{F}_q)$ of upper triangular matrices over the finite field $\mathbb{F}_q$, and consequently obtain formulas for the size of balls of radius at most $3$. Using these enumerative results, we derive a sphere-packing bound for flag-rank-metric codes and introduce the notion of perfect codes with respect to the flag-rank metric. We observe that no non-trivial perfect flag-rank-metric codes exist in $\mathrm{U}(n,\mathbb{F}_q)$ for $n\in\{2,3\}$. We then investigate the possible parameters of perfect codes in higher dimensions. For minimum distance $3$, we obtain a characterization in terms of the codimension of the code, and show that suitable maximum flag-rank distance codes with minimum distance $3$ yield non-trivial perfect codes. For minimum distances $5$ and $7$, we derive explicit quadratic and cubic conditions, respectively, that any perfect code must satisfy. Finally, using asymptotic estimates for balls of fixed radius, we prove that for fixed length $n$ and $δ\in\{3,5,7,9,11\}$, perfect linear flag-rank-metric codes with minimum distance $δ$ do not exist over $\mathbb{F}_q$ for all sufficiently large $q$.

In this paper, we develop a geometric framework for matrix rank-metric codes based on generator tensors and their slice spaces. To every nondegenerate matrix rank-metric code, we associate two systems, which translate metric properties of the code into geometric conditions involving intersections with hyperplanes. This leads to a correspondence between equivalence classes of nondegenerate matrix rank-metric codes and equivalence classes of systems, as well as to Delsarte-type incidence identities relating the rank distribution of a code over a finite field to those of its associated systems. As an application, we introduce generalized weights through the notion of evasive systems, study faithful and one-weight codes over finite fields, and recover known bounds and results from the theory of semifields. Finally, we use this framework to associate additive Hamming-metric codes with matrix rank-metric codes and show that several metric properties are preserved under this correspondence.

Multilinear representability extends classical linear representability of matroids by assigning subspaces, rather than vectors, to ground elements. This notion is closely related to almost affine codes. In this paper, we introduce and study a $q$-analogue of multilinear representability for $q$-matroids, motivated by known connections between $q$-matroids, classical matroids, and rank-metric codes. We define $m$-multilinear representability in terms of almost affine matrix rank-metric codes satisfying a natural divisibility condition. We prove that nontrivial uniform $q$-matroids admit no purely multilinear representations, and we derive necessary conditions for multilinear representations of almost uniform $q$-matroids. We further show that the non-Pappus $q$-matroid, if multilinearly representable, must have block size at least $9$. Finally, we prove that no rank-$2$ $q$-matroid on $\mathbb{F}_2^4$ admits a purely $m$-multilinear representation for $1<m<4$, and we classify pure multilinearity for all $q$-matroids on $\mathbb{F}_2^3$ and $\mathbb{F}_2^4$ in the corresponding ranges. At present, no example is known of a purely multilinear $q$-matroid.

A $q$-rank function is a real-valued function defined on the subspace lattice that is non-negative, upper bounded by the dimension function, non-drecreasing, and satisfies the submodularity law. Each such function corresponds to the rank function of a $q$-polymatroid. In this paper, we identify these functions with points in a polytope. We show that this polytope contains no interior lattice points, implying that the points corresponding to $q$-matroids are among its vertices. We investigate several properties of convex combinations of two lattice points in this polytope, particularly in terms of independence, flats, and cyclic flats. Special attention is given to the convex combinations of paving and uniform $q$-matroids.

We introduce the notion of the free product of $q$-matroids, which is the $q$-analogue of the free product of matroids. We study the properties of this noncommutative binary operation, making an extensive use of the theory of cyclic flats. We show that the free product of two $q$-matroids $M_1$ and $M_2$ is maximal with respect to the weak order on $q$-matroids having $M_1$ as a restriction and $M_2$ as the complementary contraction. We characterise $q$-matroids that are irreducible with respect to the free product and we prove that the factorization of a $q$-matroid into a free product of irreducibles is unique up to isomorphism. We discuss the representability of the free product, with a particular focus on rank one uniform $q$-matroids and show that such a product is represented by clubs on the projective line.

There are many similarities between the theories of matroids and $q$-matroids. However, when dealing with the direct sum of $q$-matroids many differences arise. Most notably, it has recently been shown that the direct sum of representable $q$-matroids is not necessarily representable. In this work, we focus on the direct sum of uniform $q$-matroids. Using algebraic and geometric tools, together with the notion of cyclic flats of $q$-matroids, we show that this is always representable, by providing a representation over a sufficiently large field.

In this paper, we initiate the study of constant dimension subspace codes restricted to Schubert varieties, which we call Schubert subspace codes. These codes have a very natural geometric description, as objects that we call intersecting sets with respect to a fixed subspace. We provide a geometric construction of maximum size constant dimension subspace codes in some Schubert varieties with the largest possible value for the minimum subspace distance. Finally, we generalize the problem to different values of the minimum distance.

In this note we apply a spectral method to the graph of alternating bilinear forms. In this way, we obtain upper bounds on the size of an alternating rank-metric code for given values of the minimum rank distance. We computationally compare our results with Delsarte's linear programming bound, observing that they give the same value. For small values of the minimum rank distance, we are able to establish the equivalence of the two methods. The problem remains open for larger values.

In this paper, we describe properties of the characteristic polynomial of a weighted lattice and show that it has a recursive description, which we use to obtain results on the critical exponent of $q$-polymatroids. We give a Critical Theorem for representable $q$-polymatroids and we provide a lower bound on the critical exponent. We show that $q$-polymatroids arising from certain families of rank-metric codes attain this lower bound.

In this paper we extend the study of linear spaces of upper triangular matrices endowed with the flag-rank metric. Such metric spaces are isometric to certain spaces of degenerate flags and have been suggested as suitable framework for network coding. In this setting we provide a Singleton-like bound which relates the parameters of a flag-rank-metric code. This allows us to introduce the family of maximum flag-rank distance codes, that are flag-rank-metric codes meeting the Singleton-like bound with equality. Finally, we provide several constructions of maximum flag-rank distance codes.

We investigate the properties of a family of polytopes that naturally arise in connection with a problem in distributed data storage, namely service rate region polytopes. The service rate region of a distributed coded system describes the data access requests that the underlying system can support. In this paper, we study the polytope structure of the service rate region with the primary goal of describing its geometric shape and properties. We achieve so by introducing various structural parameters of the service rate region and establishing upper and lower bounds for them. The techniques we apply in this paper range from coding theory to optimization. One of our main results shows that every rational point of the service rate region has a so-called rational allocation, answering an open question in the research area.

Strong blocking sets, introduced first in 2011 in connection with saturating sets, have recently gained a lot of attention due to their correspondence with minimal codes. In this paper, we dig into the geometry of the concatenation method, introducing the concept of outer strong blocking sets and their coding theoretical counterpart. We investigate their structure and provide bounds on their size. As a byproduct, we improve the best-known upper bound on the minimum size of a strong blocking set. Finally, we present a geometric construction of small strong blocking sets, whose computational cost is significantly smaller than the previously known ones.

In this paper we develop the theory of cyclic flats of $q$-matroids. We show that the lattice of cyclic flats, together with their ranks, uniquely determines a $q$-matroid and hence derive a new $q$-cryptomorphism. We introduce the notion of $\mathbb{F}_{q^m}$-independence of an $\mathbb{F}_q$-subspace of $\mathbb{F}_q^n$ and we show that $q$-matroids generalize this concept, in the same way that matroids generalize the notion of linear independence of vectors over a given field.

A matroid is a combinatorial structure that captures and generalizes the algebraic concept of linear independence under a broader and more abstract framework. Matroids are closely related with many other topics in discrete mathematics, such as graphs, matrices, codes and projective geometries. In this work, we define cyclic matroids as matroids over a ground set of size $n$ whose automorphism group contains an $n$-cycle. We study the properties of such matroids, with special focus on the minimum size of their basis sets. For this, we broadly employ two different approaches: the multiple basis exchange property, and an orbit-stabilizer method, developed by analyzing the action of the cyclic group of order $n$ on the set of bases. We further present some applications of our theory to algebra and geometry, presenting connections to cyclic projective planes, cyclic codes and $k$-normal elements.

This work investigates the structure of rank-metric codes in connection with concepts from finite geometry, most notably the $q$-analogues of projective systems and blocking sets. We also illustrate how to associate a classical Hamming-metric code to a rank-metric one, in such a way that various rank-metric properties naturally translate into the homonymous Hamming-metric notions under this correspondence. The most interesting applications of our results lie in the theory of minimal rank-metric codes, which we introduce and study from several angles. Our main contributions are bounds for the parameters of a minimal rank-metric codes, a general existence result based on a combinatorial argument, and an explicit code construction for some parameter sets that uses the notion of a scattered linear set. Throughout the paper we also show and comment on curious analogies/divergences between the theories of error-correcting codes in the rank and in the Hamming metric.

We develop three approaches of combinatorial flavour to study the structure of minimal codes and cutting blocking sets in finite geometry, each of which has a particular application. The first approach uses techniques from algebraic combinatorics, describing the supports in a linear code via the Alon-Füredi Theorem and the Combinatorial Nullstellensatz. The second approach combines methods from coding theory and statistics to compare the mean and variance of the nonzero weights in a minimal code. Finally, the third approach regards minimal codes as cutting blocking sets and studies these using the theory of spreads in finite geometry. Applying and combining these approaches with each other, we derive several new bounds and constraints on the parameters of minimal codes. Moreover, we obtain two new constructions of cutting blocking sets of small cardinality in finite projective spaces. In turn, these allow us to give explicit constructions of minimal codes having short length for the given field and dimension.

In this paper, a construction of $(n,k,δ)$ LDPC convolutional codes over arbitrary finite fields, which generalizes the work of Robinson and Bernstein and the later work of Tong is provided. The sets of integers forming a $(k,w)$-(weak) difference triangle set are used as supports of some columns of the sliding parity-check matrix of an $(n,k,δ)$ convolutional code, where $n\in\mathbb{N}$, $n>k$. The parameters of the convolutional code are related to the parameters of the underlying difference triangle set. In particular, a relation between the free distance of the code and $w$ is established as well as a relation between the degree of the code and the scope of the difference triangle set. Moreover, we show that some conditions on the weak difference triangle set ensure that the Tanner graph associated to the sliding parity-check matrix of the convolutional code is free from $2\ell$-cycles not satisfying the full rank condition over any finite field. Finally, we relax these conditions and provide a lower bound on the field size, depending on the parity of $\ell$, that is sufficient to still avoid $2\ell$-cycles. This is important for improving the performance of a code and avoiding the presence of low-weight codewords and absorbing sets.