arXiv++ Combinatorics

Let ${\mathcal C}(Ω)$ be the linear code arising from a projective system $Ω$ of $\mathrm{PG}(V).$ Consider the point-line geometry $Γ=({\mathcal P},{\mathcal L})$ and a projective embedding $\varepsilon\colon Γ\rightarrow \mathrm{PG}(V)$ of $Γ.$ We show that the projective code obtained by taking as projective system $Ω:=\varepsilon(\mathcal{P})$ is minimal if the graph induced on the set $Γ\setminus\varepsilon^{-1}(H)$ by the collinearity graph of $Γ$ is connected for any hyperplane $H$ of $\mathrm{PG}(V)$. As an application, Grassmann codes, Segre codes, polar Grassmann codes of orthogonal, symplectic, hermitian type and codes arising from the point-hyperplane geometry of a projective space are minimal codes.

Let $\barΓ$ be the point-hyperplane geometry of a projective space $\mathrm{PG(V)},$ where $V$ is a $(n+1)$-dimensional vector space over a finite field $\mathbb{F}_q$ of order $q.$ Suppose that $σ$ is an automorphism of $\mathbb{F}_q$ and consider the projective embedding $\varepsilon_σ$ of $\barΓ$ into the projective space $\mathrm{PG}(V\otimes V^*)$ mapping the point $([x],[ξ])\in \barΓ$ to the projective point represented by the pure tensor $x^σ\otimes ξ$, with $ξ(x)=0.$ In [I. Cardinali, L. Giuzzi, Linear codes arising from the point-hyperplane geometry -- part I: the Segre embedding (Jun. 2025). arXiv:2506.21309, doi:10.48550/ARXIV.2506.21309] we focused on the case $σ=1$ and we studied the projective code arising from the projective system $Λ_1=\varepsilon_{1}(\barΓ).$ Here we focus on the case $σ\not=1$ and we investigate the linear code ${\mathcal C}(Λ_σ)$ arising from the projective system $Λ_σ=\varepsilon_σ(\barΓ).$ In particular, after having verified that $\mathcal{C}( Λ_σ)$ is a minimal code, we determine its parameters, its minimum distance as well as its automorphism group. We also give a (geometrical) characterization of its minimum and second lowest weight codewords and determine its maximum weight when $q$ and $n$ are both odd.

Let $V$ be a vector space over the finite field $\mathbb{F}_q$ with $q$ elements and $Λ$ be the image of the Segre geometry $\mathrm{PG}(V)\otimes\mathrm{PG}(V^*)$ in $\mathrm{PG}(V\otimes V^*)$. Consider the subvariety $Λ_{1}$ of $Λ$ represented by the pure tensors $x\otimes ξ$ with $x\in V$ and $ξ\in V^*$ such that $ξ(x)=0$. Regarding $Λ_1$ as a projective system of $\mathrm{PG}(V\otimes V^*)$, we study the linear code $\mathcal{C}(Λ_1)$ arising from it. The code $\mathcal{C}(Λ_1)$ is minimal code and we determine its basic parameters, itsfull weight list and its linear automorphism group. We also give a geometrical characterization of its minimum and second lowest weight codewords as well as of some of the words of maximum weight.

Let $Γ(n,k)$ be the Grassmann graph formed by the $k$-dimensional subspaces of a vector space of dimension $n$ over a field $\mathbb F$ and, for $t\in \mathbb{N}\setminus \{0\}$, let $Δ_t(n,k)$ be the subgraph of $Γ(n,k)$ formed by the set of linear $[n,k]$-codes having minimum dual distance at least $t+1$. We show that if $|{\mathbb F}|\geq{n\choose t}$ then $Δ_t(n,k)$ is connected and it is isometrically embedded in $Γ(n,k)$. This generalizes some results of [M. Kwiatkowski, M. Pankov, "On the distance between linear codes", Finite Fields Appl. 39 (2016), 251--263] and [M. Kwiatkowski, M. Pankov, A. Pasini, "The graphs of projective codes" Finite Fields Appl. 54 (2018), 15--29].

Let $X_n(K)$ be a building of Coxeter type $X_n = A_n$ or $X_n = D_n$ defined over a given division ring $K$ (a field when $X_n = D_n$). For a non-connected set $J$ of nodes of the diagram $X_n$, let $Γ(K) = Gr_J(X_n(K))$ be the $J$-Grassmannian of $X_n(K)$. We prove that $Γ(K)$ cannot be generated over any proper sub-division ring $K_0$ of $K$. As a consequence, the generating rank of $Γ(K)$ is infinite when $K$ is not finitely generated. In particular, if $K$ is the algebraic closure of a finite field of prime order then the generating rank of $Gr_{1,n}(A_n(K))$ is infinite, although its embedding rank is either $(n+1)^2-1$ or $(n+1)^2$.

In [I. Cardinali and L. Giuzzi. Line Hermitian Grassmann codes and their parameters. Finite Fields Appl., 51: 407-432, 2018] we introduced line Hermitian Grassmann codes and determined their parameters. The aim of this paper is to present (in the spirit of [I. Cardinali and L. Giuzzi. Enumerative coding for line polar Grassmannians with applications to codes. Finite Fields Appl., 46:107-138, 2017]) an algorithm for the point enumerator of a line Hermitian Grassmannian which can be usefully applied to get efficient encoders, decoders and error correction algorithms for the aforementioned codes.

In this paper we introduce and study line Hermitian Grassmann codes as those subcodes of the Grassmann codes associated to the $2$-Grassmannian of a Hermitian polar space defined over a finite field of square order. In particular, we determine their parameters and characterize the words of minimum weight for $m\neq5$.

Let ${\mathcal G}_k(V)$ be the $k$-Grassmannian of a vector space $V$ with $\dim V=n$. Given a hyperplane $H$ of ${\mathcal G}_k(V)$, we define in [I. Cardinali, L. Giuzzi, A. Pasini, A geometric approach to alternating $k$-linear forms, J. Algebraic Combin. doi:10.1007/s10801-016-0730-6] a point-line subgeometry of ${\mathrm{PG}}(V)$ called the {\it geometry of poles of $H$}. In the present paper, exploiting the classification of alternating trilinear forms in low dimension, we characterize the possible geometries of poles arising for $k=3$ and $n\leq 7$ and propose some new constructions. We also extend a result of [J.Draisma, R. Shaw, Singular lines of trilinear forms, Linear Algebra Appl. doi:10.1016/j.laa.2010.03.040] regarding the existence of line spreads of ${\mathrm{PG}}(5,{\mathbb K})$ arising from hyperplanes of ${\mathcal G}_3(V).$

In this paper we determine the minimum distance of orthogonal line-Grassmann codes for $q$ even. The case $q$ odd was solved in "I. Cardinali, L. Giuzzi, K. Kaipa, A. Pasini, Line Polar Grassmann Codes of Orthogonal Type, J. Pure Applied Algebra." We also show that for $q$ even all minimum weight codewords are equivalent and that symplectic line-Grassmann codes are proper subcodes of codimension $2n$ of the orthogonal ones.

Given an $n$-dimensional vector space $V$ over a field $\mathbb K$, let $2\leq k < n$. There is a natural correspondence between the alternating $k$-linear forms $\varphi$ of $V$ and the linear functionals $f$ of $\bigwedge^kV$. Let $\varepsilon_k:{\mathcal G}_k(V)\rightarrow {\mathrm{PG}}(\bigwedge^kV)$ be the Plucker embedding of the $k$-Grassmannian ${\mathcal G}_k(V)$ of $V$. Then $\varepsilon_k^{-1}(\ker(f)\cap\varepsilon_k(\mathcal{G}_k(V)))$ is a hyperplane of the point-line geometry ${\mathcal G}_k(V)$. All hyperplanes of ${\mathcal G}_k(V)$ can be obtained in this way. For a hyperplane $H$ of ${\mathcal G}_k(V)$, let $R^\uparrow(H)$ be the subspace of ${\mathcal G}_{k-1}(V)$ formed by the $(k-1)$-subspaces $A\subset V$ such that $H$ contains all $k$-subspaces that contain $A$. In other words, if $\varphi$ is the (unique modulo a scalar) alternating $k$-linear form defining $H$, then the elements of $R^\uparrow(H)$ are the $(k-1)$-subspaces $A = \langle a_1,\ldots, a_{k-1}\rangle$ of $V$ such that $\varphi(a_1,\ldots, a_{k-1},x) = 0$ for all $x\in V$. When $n-k$ is even it might be that $R^\uparrow(H) = \emptyset$. When $n-k$ is odd, then $R^\uparrow(H) \neq \emptyset$, since every $(k-2)$-subspace of $V$ is contained in at least one member of $R^\uparrow(H)$. If every $(k-2)$-subspace of $V$ is contained in precisely one member of $R^\uparrow(H)$ we say that $R^\uparrow(H)$ is spread-like. In this paper we obtain some results on $R^\uparrow(H)$ which answer some open questions from the literature and suggest the conjecture that, if $n-k$ is even and at least $4$, then $R^\uparrow(H) \neq \emptyset$ but for one exception with ${\mathbb K}\leq{\mathbb R}$ and $(n,k) = (7,3)$, while if $n-k$ is odd and at least $5$ then $R^\uparrow(H)$ is never spread-like.

We present a concise description of Orthogonal Polar Grassmann Codes and motivate their relevance. We also describe efficient encoding and decoding algorithms for the case of Line Grassmannians and introduce some open problems.

We introduce the Symplectic Grassmann codes as projective codes defined by symplectic Grassmannians, in analogy with the orthogonal Grassmann codes introduced in [4]. Note that the Lagrangian-Grassmannian codes are a special class of Symplectic Grassmann codes. We describe the weight enumerator of the Lagrangian--Grassmannian codes of rank $2$ and $3$ and we determine the minimum distance of the line Symplectic Grassmann codes.

A $k$-polar Grassmannian is the geometry having as pointset the set of all $k$-dimensional subspaces of a vector space $V$ which are totally isotropic for a given non-degenerate bilinear form $μ$ defined on $V.$ Hence it can be regarded as a subgeometry of the ordinary $k$-Grassmannian. In this paper we deal with orthogonal line Grassmannians and with symplectic line Grassmannians, i.e. we assume $k=2$ and $μ$ a non-degenerate symmetric or alternating form. We will provide a method to efficiently enumerate the pointsets of both orthogonal and symplectic line Grassmannians. This has several nice applications; among them, we shall discuss an efficient encoding/decoding/error correction strategy for line polar Grassmann codes of both types.

Polar Grassmann codes of orthogonal type have been introduced in I. Cardinali and L. Giuzzi, \emph{Codes and caps from orthogonal Grassmannians}, {Finite Fields Appl.} {\bf 24} (2013), 148-169. They are subcodes of the Grassmann code arising from the projective system defined by the Plücker embedding of a polar Grassmannian of orthogonal type. In the present paper we fully determine the minimum distance of line polar Grassmann Codes of orthogonal type for $q$ odd.

Let Q_0 be the classical generalized quadrangle of order q = 2n arising from a non-degenerate quadratic form in a 5-dimensional vector space defined over a finite field of order q. We consider the rank two geometry X having as points all the elliptic ovoids of Q_0 and as lines the maximal pencils of elliptic ovoids of Q_0 pairwise tangent at the same point. We first prove that X is isomorphic to a 2-fold quotient of the affine generalized quadrangle Q \setminus Q_0 where Q is the classical (q; q^2)-generalized quadrangle admitting Q_0 as a hyperplane. Then, we investigate the collinearity graph Γof X: In particular, we obtain a classification of the cliques of Γproving that they arise either from lines of Q or subgeometries of Q defined over F_2

In this paper we investigate linear error correcting codes and projective caps related to the Grassmann embedding $\varepsilon_k^{gr}$ of an orthogonal Grassmannian $Δ_k$. In particular, we determine some of the parameters of the codes arising from the projective system determined by $\varepsilon_k^{gr}(Δ_k)$. We also study special sets of points of $Δ_k$ which are met by any line of $Δ_k$ in at most 2 points and we show that their image under the Grassmann embedding $\varepsilon_k^{gr}$ is a projective cap.