Large matrix multiplications commonly take place in large-scale machine-learning applications. Often, the sheer size of these matrices prevent carrying out the multiplication at a single server. Therefore, these operations are typically offloaded to a distributed computing platform with a master server and a large amount of workers in the cloud, operating in parallel. For such distributed platforms, it has been recently shown that coding over the input data matrices can reduce the computational delay by introducing a tolerance against straggling workers, i.e., workers for which execution time significantly lags with respect to the average. In addition to exact recovery, we impose a security constraint on both matrices to be multiplied. Specifically, we assume that workers can collude and eavesdrop on the content of these matrices. For this problem, we introduce a new class of polynomial codes with fewer non-zero coefficients than the degree +1. We provide closed-form expressions for the recovery threshold and show that our construction improves the recovery threshold of existing schemes in the literature, in particular for larger matrix dimensions and a moderate to large number of colluding workers. In the absence of any security constraints, we show that our construction is optimal in terms of recovery threshold.
22 September 2023 in Journal of Algebraic Combinatorics
We introduce the concept of a rank-saturating system and outline its correspondence to a rank-metric code with a given covering radius. We consider the problem of finding the value of $$s_{q^m/q}(k,\rho )$$ , which is the minimum $$\mathbb {F}_q$$ -dimension of aq-system in $$\mathbb {F}_{q^m}^k$$ that is rank- $$\rho $$ -saturating. This is equivalent to the covering problem in the rank metric. We obtain upper and lower bounds on $$s_{q^m/q}(k,\rho )$$ and evaluate it for certain values ofkand $$\rho $$ . We give constructions of rank- $$\rho $$ -saturating systems suggested from geometry.
13 June 2022 in Linear Algebra and its Applications
Establishing the CCZ-equivalence of a pair of APN functions is generally quite difficult. In some cases, when seeking to show that a putative new infinite family of APN functions is CCZ inequivalent to an already known family, we rely on computer calculation for small values of n. In this paper we present a method to prove the inequivalence of quadratic APN functions with the Gold functions. Our main result is that a quadratic function is CCZ-equivalent to the APN Gold function ${x^{2^r+1}}$ if and only if it is EA-equivalent to that Gold function. As an application of this result, we prove that a trinomial family of APN functions that exist on finite fields of order 2n where n ≡ 2 mod 4 are CCZ inequivalent to the Gold functions. The proof relies on some knowledge of the automorphism group of a code associated with such a function.