Recovery Sets of Subspaces from a Simplex Code
0
📊
Sign in to get full access
The paper considers the concept of recovery sets for vectors and subspaces, which is important in the design of distributed storage system codes. Specifically, it examines the maximum number of possible pairwise disjoint recovery sets for each recovered element. The recovered elements are d-dimensional subspaces of a k-dimensional vector space over the finite field GF(q).
Each server stores one representative for each distinct one-dimensional subspace of the k-dimensional vector space, equivalent to a distinct point in the projective geometry PG(k-1,q). The generator matrix of the stored one-dimensional subspaces forms a simplex code, a specific type of error-correcting code.
The paper provides lower and upper bounds on the maximum number of such recovery sets, and shows that these bounds are generally tight or very close to being tight.
This summary was produced with help from an AI and may contain inaccuracies - check out the links to read the original source documents!
Related Papers
📊
0
Recovery Sets of Subspaces from a Simplex Code
Yeow Meng Chee, Tuvi Etzion, Han Mao Kiah, Hui Zhang
Recovery sets for vectors and subspaces are important in the construction of distributed storage system codes. These concepts are also interesting in their own right. In this paper, we consider the following very basic recovery question: what is the maximum number of possible pairwise disjoint recovery sets for each recovered element? The recovered elements in this work are d-dimensional subspaces of a $k$-dimensional vector space over GF(q). Each server stores one representative for each distinct one-dimensional subspace of the k-dimensional vector space, or equivalently a distinct point of PG(k-1,q). As column vectors, the associated vectors of the stored one-dimensional subspaces form the generator matrix of the $[(q^k -1)/(q-1),k,q^{k-1}]$ simplex code over GF(q). Lower bounds and upper bounds on the maximum number of such recovery sets are provided. It is shown that generally, these bounds are either tight or very close to being tight.
Read more4/1/2024
⛏️
0
Algebraic Geometric Rook Codes for Coded Distributed Computing
Gretchen L. Matthews, Pedro Soto
We extend coded distributed computing over finite fields to allow the number of workers to be larger than the field size. We give codes that work for fully general matrix multiplication and show that in this case we serendipitously have that all functions can be computed in a distributed fault-tolerant fashion over finite fields. This generalizes previous results on the topic. We prove that the associated codes achieve a recovery threshold similar to the ones for characteristic zero fields but now with a factor that is proportional to the genus of the underlying function field. In particular, we have that the recovery threshold of these codes is proportional to the classical complexity of matrix multiplication by a factor of at most the genus.
Read more5/17/2024
0
Low-Rank Bandits via Tight Two-to-Infinity Singular Subspace Recovery
Yassir Jedra, William R'eveillard, Stefan Stojanovic, Alexandre Proutiere
We study contextual bandits with low-rank structure where, in each round, if the (context, arm) pair $(i,j)in [m]times [n]$ is selected, the learner observes a noisy sample of the $(i,j)$-th entry of an unknown low-rank reward matrix. Successive contexts are generated randomly in an i.i.d. manner and are revealed to the learner. For such bandits, we present efficient algorithms for policy evaluation, best policy identification and regret minimization. For policy evaluation and best policy identification, we show that our algorithms are nearly minimax optimal. For instance, the number of samples required to return an $varepsilon$-optimal policy with probability at least $1-delta$ typically scales as ${r(m+n)over varepsilon^2}log(1/delta)$. Our regret minimization algorithm enjoys minimax guarantees typically scaling as $r^{7/4}(m+n)^{3/4}sqrt{T}$, which improves over existing algorithms. All the proposed algorithms consist of two phases: they first leverage spectral methods to estimate the left and right singular subspaces of the low-rank reward matrix. We show that these estimates enjoy tight error guarantees in the two-to-infinity norm. This in turn allows us to reformulate our problems as a misspecified linear bandit problem with dimension roughly $r(m+n)$ and misspecification controlled by the subspace recovery error, as well as to design the second phase of our algorithms efficiently.
Read more7/8/2024
0
Geometric statistics with subspace structure preservation for SPD matrices
Cyrus Mostajeran, Nathael Da Costa, Graham Van Goffrier, Rodolphe Sepulchre
We present a geometric framework for the processing of SPD-valued data that preserves subspace structures and is based on the efficient computation of extreme generalized eigenvalues. This is achieved through the use of the Thompson geometry of the semidefinite cone. We explore a particular geodesic space structure in detail and establish several properties associated with it. Finally, we review a novel inductive mean of SPD matrices based on this geometry.
Read more7/8/2024