-
Linear exact repair schemes for free MDS and Reed-Solomon codes over Galois rings
Authors:
Daniel P. Bossaller,
Hiram H. López
Abstract:
Codes over rings, especially over Galois rings, have been extensively studied for nearly three decades due to their similarity to linear codes over finite fields. A distributed storage system uses a linear code to encode a large file across several nodes. If one of the nodes fails, a linear exact repair scheme efficiently recovers the failed node by accessing and downloading data from the rest of…
▽ More
Codes over rings, especially over Galois rings, have been extensively studied for nearly three decades due to their similarity to linear codes over finite fields. A distributed storage system uses a linear code to encode a large file across several nodes. If one of the nodes fails, a linear exact repair scheme efficiently recovers the failed node by accessing and downloading data from the rest of the servers of the storage system. In this article, we develop a linear repair scheme for free maximum distance separable codes, which coincide with free maximum distance with respect to the rank codes over Galois rings. In particular, we give a linear repair scheme for full-length Reed-Solomon codes over a Galois ring.
△ Less
Submitted 10 June, 2025;
originally announced June 2025.
-
The trace dual of nonlinear skew cyclic codes
Authors:
Daniel Bossaller,
Daniel Herden,
Indalecio Ruiz-Bolaños
Abstract:
Codes which have a finite field $\mathbb{F}_{q^m}$ as their alphabet but which are only linear over a subfield $\mathbb{F}_q$ are a topic of much recent interest due to their utility in constructing quantum error correcting codes. In this article, we find generators for trace dual spaces of different families of $\mathbb{F}_q$-linear codes over $\mathbb{F}_{q^2}$. In particular, given the field ex…
▽ More
Codes which have a finite field $\mathbb{F}_{q^m}$ as their alphabet but which are only linear over a subfield $\mathbb{F}_q$ are a topic of much recent interest due to their utility in constructing quantum error correcting codes. In this article, we find generators for trace dual spaces of different families of $\mathbb{F}_q$-linear codes over $\mathbb{F}_{q^2}$. In particular, given the field extension $\mathbb{F}_q\leq \mathbb{F}_{q^2}$ with $q$ an odd prime power, we determine the trace Euclidean and trace Hermitian dual codes for the general $\mathbb{F}_q$-linear cyclic $\mathbb{F}_{q^2}$-code. In addition, we also determine the trace Euclidean and trace Hermitian duals for general $\mathbb{F}_q$-linear skew cyclic $\mathbb{F}_{q^2}$-codes, which are defined to be left $\mathbb{F}_q[X]$-submodules of $\mathbb{F}_{q^2}[X;σ]/(X^n-1)$, where $σ$ denotes the Frobenius automorphism and $\mathbb{F}_{q^2}[X;σ]$ the induced skew polynomial ring.
△ Less
Submitted 12 April, 2025;
originally announced April 2025.
-
Nonlinear Reed-Solomon codes and nonlinear skew quasi-cyclic codes
Authors:
Daniel Bossaller,
Daniel Herden,
Indalecio Ruiz-Bolanos
Abstract:
This article begins with an exploration of nonlinear codes ($\mathbb{F}_q$-linear subspaces of $\mathbb{F}_{q^m}^n$) which are generalizations of the familiar Reed-Solomon codes. This then leads to a wider exploration of nonlinear analogues of the skew quasi-cyclic codes of index $\ell$ first explored in 2010 by Abualrub et al., i.e., $\mathbb{F}_{q^m}[x;σ]$-submodules of…
▽ More
This article begins with an exploration of nonlinear codes ($\mathbb{F}_q$-linear subspaces of $\mathbb{F}_{q^m}^n$) which are generalizations of the familiar Reed-Solomon codes. This then leads to a wider exploration of nonlinear analogues of the skew quasi-cyclic codes of index $\ell$ first explored in 2010 by Abualrub et al., i.e., $\mathbb{F}_{q^m}[x;σ]$-submodules of $\left(\mathbb{F}_{q^m}[x;σ]/(x^n - 1)\right)^\ell$. After introducing nonlinear skew quasi-cyclic codes, we then determine the module structure of these codes using a two-fold iteration of the Smith normal form of matrices over skew polynomial rings. Finally we show that in certain cases, a single use of the Smith normal form will suffice to determine the elementary divisors of the code.
△ Less
Submitted 10 February, 2025;
originally announced February 2025.
-
Forcing a Basis into $\aleph_1$-Free Groups
Authors:
Daniel Bossaller,
Daniel Herden,
Alexandra V. Pasi
Abstract:
In this paper, we address the question of when a non-free $\aleph_1$-free group $H$ can be be free in a transitive cardinality-preserving model extension. Using the $Γ$-invariant, denoted $Γ(H)$, we present a necessary and sufficient condition resolving this question for $\aleph_1$-free groups of cardinality $\aleph_1$. Specifically, if $Γ(H) = [\aleph_1]$, then $H$ will be free in a transitive mo…
▽ More
In this paper, we address the question of when a non-free $\aleph_1$-free group $H$ can be be free in a transitive cardinality-preserving model extension. Using the $Γ$-invariant, denoted $Γ(H)$, we present a necessary and sufficient condition resolving this question for $\aleph_1$-free groups of cardinality $\aleph_1$. Specifically, if $Γ(H) = [\aleph_1]$, then $H$ will be free in a transitive model extension if and only if $\aleph_1$ collapses, while for $Γ(H) \ne [\aleph_1]$ there exist cardinality-preserving forcings that will add a basis to $H$. In particular, for $Γ(H) \neq [\aleph_1]$, we provide a poset $(\mathcal P_{\rm pb}, \leq)$ of partial bases for adding a basis to $H$ without collapsing $\aleph_1$.
△ Less
Submitted 17 January, 2022;
originally announced January 2022.
-
Ideal Extensions and Directly Infinite Algebras
Authors:
Daniel P. Bossaller
Abstract:
Directly infinite algebras, those algebras, $E$ which have a pair of elements $x$ and $y$ where $1 = xy \neq yx$, are well known to have a sub-algebra isomorphic to $M_\infty(K)$, the set of infinite $\zplus \times \zplus$-indexed matrices which have only finitely many nonzero entries. When this sub-algebra is actually an ideal, we may analyze the algebra in terms of an extension of some algebra…
▽ More
Directly infinite algebras, those algebras, $E$ which have a pair of elements $x$ and $y$ where $1 = xy \neq yx$, are well known to have a sub-algebra isomorphic to $M_\infty(K)$, the set of infinite $\zplus \times \zplus$-indexed matrices which have only finitely many nonzero entries. When this sub-algebra is actually an ideal, we may analyze the algebra in terms of an extension of some algebra $A$ by $M_\infty(K)$, that is, a short exact sequence of $K$-algebras $0 \to M_\infty(K) \to E \to A \to 0$. The present article characterizes all trivial (split) extensions of $K[x,x^{-1}]$ by $M_\infty(K)$ by examining the extensions as sub-algebras of infinite matrix algebras. Furthermore, we construct an infinite family of pairwise non-isomorphic extensions $\{\mathcal T_i : i \geq 0\}$, all of which can be written as an extension $0 \to M_\infty(K) \to \mathcal T_i \to K[x,x^{-1}] \to 0$.
△ Less
Submitted 15 December, 2021; v1 submitted 8 September, 2020;
originally announced September 2020.
-
A Family of Almost Invertible Infinite Matrices
Authors:
Daniel P. Bossaller
Abstract:
An algebraic analogue of the family of Fredholm operators is introduced for the family of row and column finite matrices, dubbed "Fredholm matrices." In addition, a measure is introduced which indicates how far a Fredholm matrix is from an invertible matrix. It is further shown that this measure respects multiplication, is invariant under perturbation by a matrix from $M_\infty(K)$, and is invaria…
▽ More
An algebraic analogue of the family of Fredholm operators is introduced for the family of row and column finite matrices, dubbed "Fredholm matrices." In addition, a measure is introduced which indicates how far a Fredholm matrix is from an invertible matrix. It is further shown that this measure respects multiplication, is invariant under perturbation by a matrix from $M_\infty(K)$, and is invariant under conjugation by an invertible row and column finite matrix.
△ Less
Submitted 17 October, 2019; v1 submitted 9 September, 2019;
originally announced September 2019.
-
On the Associativity of Infinite Matrix Multiplication
Authors:
Daniel P. Bossaller,
Sergio R. López-Permouth
Abstract:
A natural definition of the product of infinite matrices mimics the usual formulation of multiplication of finite matrices with the caveat (in the absence of any sense of convergence) that the intersection of the support of each row of the first factor with the support of each column of the second factor must be finite. Multiplication is hence not completely defined, but restricted to a specific r…
▽ More
A natural definition of the product of infinite matrices mimics the usual formulation of multiplication of finite matrices with the caveat (in the absence of any sense of convergence) that the intersection of the support of each row of the first factor with the support of each column of the second factor must be finite. Multiplication is hence not completely defined, but restricted to a specific relation on infinite matrices. In order for the product of three infinite matrices $A$, $B$, and $C$ to behave in an associative manner, the middle factor, $B$, must link $A$ and $C$ in three ways: (i) $AB$ and $BC$ must both be defined; (ii) $A(BC)$ and $(AB)C$ must both be defined; and, finally, (iii) $A(BC)$ must equal $(AB)C$. In this article, these conditions are studied and are characterized in various ways by means of summability notions akin to those of formal calculus.
△ Less
Submitted 28 March, 2018; v1 submitted 26 March, 2018;
originally announced March 2018.
