Pith. sign in

REVIEW 3 major objections 5 minor 43 references

The Star Product of Uniformly Random Codes

T0 review · 3 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

Pith's one-line read The star product of two uniformly random linear codes almost always attains the maximum possible dimension min{k1k2, n}, asymptotically as the field size grows, and under an admissibility condition also as the code dimensions grow.

desk verdict Solid q→∞ half with a clean kernel formula; Section 5's dimension-growth claim doesn't follow — the puncturing step is invalid and Corollary 5.12 needs concentration beyond E|ker|→2. read the letter →

arxiv 2511.17236 v2 pith:VWNJWFOS submitted 2025-11-21 cs.IT math.IT

classification cs.ITmath.IT MSC 94B0594B6515A69
keywords starproductSchurHadamardrandomlinearcodesbilinearformsexpecteddimensionasymptoticmaximalitycode-basedcryptography
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Two random linear codes, when multiplied coordinatewise, produce a third code whose dimension is usually the largest possible: the smaller of the product of the two dimensions and the ambient length. The paper proves this asymptotic maximality in two regimes: as the field size q tends to infinity, the star-product dimension equals min{k1k2, n} with probability tending to 1; and as the code dimensions grow, the same conclusion holds provided the second dimension does not grow too quickly relative to the first. The proof converts the star product into the image of a linear map that evaluates bilinear forms on random column pairs, reducing the question to counting zero-diagonal matrices of fixed rank. The result matters because star-product dimension controls the efficiency of private information retrieval and secure distributed matrix multiplication, and because deviations from maximal dimension are exactly what code-based distinguishers look for.

What carries the argument

The evaluation map ψ_{G1,G2} from the space of bilinear forms on F_q^{k1} × F_q^{k2} to F_q^n, which sends a form to its values on the column pairs of systematic generator matrices; its image is exactly C1⋆C2, so |ker ψ| determines the dimension defect. Counting |ker ψ| means counting k1×k2 matrices with zero diagonal of each rank r, via the sets S_r^{k1,k2} and q-binomial identities. Jensen's inequality converts the exact expectation of log_q |ker ψ| into a lower bound on the expected dimension; Markov's inequality converts the bounded kernel expectation into high probability of full dimension.

What would settle it

Fix q=2, k1=k2=3, n=7 (so k1k2=9 > n). If Theorem 5.11 were true, P(dim(C1⋆C2)=7) would be at least 1−((2q−1)/q^2)^t = 1−(3/4)^t for large t, tending to 1. A direct computation over F_2^7, either by enumeration or by sampling many random systematic pairs and computing the star-product dimension, could check whether the probability approaches 1; a limiting value strictly below 1 would refute the claimed implication. More directly, verify whether an extended pair with appended random columns can have a full 9-dimensional star product while its 7-coordinate punctured star product has dimension 6;

Watch

Extended reading notes

Core claim

The paper's central claim is that for independent uniformly random linear codes C1,C2 ≤ F_q^n of dimensions k1,k2, the expected star-product dimension is asymptotically maximal: lim_{q→∞} P(dim(C1⋆C2)=min{k1k2,n})=1 (Corollary 4.2), and under an admissibility condition on monotone dimension functions, E[dim(C1⋆C2)] = min{k1(t)k2(t),n(t)}+o(1) (Corollary 5.12). The identification of C1⋆C2 with the image of the evaluation map ψ on bilinear forms gives dim(C1⋆C2) = k1k2 − log_q |ker ψ|, and the expected kernel size is computed exactly by enumerating zero-diagonal k1×k2 matrices of each rank. From this expression, lower bounds on the expected dimension, and concentration through Markov's inequal

Load-bearing premise

The load-bearing premise is that in the regime where the ambient length is smaller than the product of the code dimensions, a full-dimensional star product of the punctured codes guarantees a full-dimensional star product after randomly extending the codes; the proof of Theorem 5.11 asserts this but only establishes a bound that is automatically true, so the n(t) < k1k2 part of the growth result is unsupported as written.

Editorial extensions

If this is right

  • As q→∞, for any fixed n,k1,k2, the star product of two uniformly random codes fills F_q^n when k1k2 ≥ n, and otherwise has dimension exactly k1k2, with probability approaching 1.
  • Under the admissibility condition (k2 not growing too fast relative to k1), the same maximality holds as the code dimensions grow: E[dim(C1⋆C2)] = min{k1k2,n} + o(1).
  • The explicit lower bound of Corollary 3.11 gives a certified estimate for all finite parameters, not just asymptotics, and matches Monte Carlo simulations even at small q and n.
  • For PIR/SDMM, random code pairs yield an upper bound on the PIR rate of 1−min{k1k2,n}/n and a lower bound on the SDMM recovery threshold of min{k1k2,N}, so random codes cannot beat structured MDS constructions in these metrics.
  • Random binary codes of sufficiently large dimension give no high-distance binary CSS-T quantum codes, because their star-square fills the ambient space and leaves no room for the T-gate code C2.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The proof of the n(t)<k1k2 case (Corollary 5.12 via Theorem 5.11) rests on the unproven implication that a full-dimensional punctured star product forces a full-dimensional extended star product; the provided argument only embeds the dual vector, which yields a vacuous bound. If this implication cannot be repaired, the dimension-growth theorem remains established only for n(t) ≥ k1k2.
  • The same bilinear-form counting strategy should extend to star products of three or more random codes, giving analogous maximal dimension results for iterated Schur products; the paper only treats pairs.
  • In code-based cryptography, the near-maximality of random star products gives a clean quantitative baseline: a candidate code pair whose star-product dimension falls noticeably below min{k1k2,n} is statistically distinguishable from random, which could sharpen existing square-based distinguishers.
  • The abstract promises explicit asymptotic upper bounds on the variance of the star-product dimension, but the included text does not appear to contain that analysis; pinning down the variance would let practitioners convert the Markov-based concentration into tail bounds with explicit constants.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies the expected dimension of the star product C1⋆C2 of two independent uniformly random linear codes of dimensions k1 and k2 in F_q^n. Using the correspondence between star products and evaluations of bilinear forms, the authors obtain an exact expression for E|ker ψ| (Theorem 3.9), deduce a Jensen lower bound on E[dim C1⋆C2] (Corollary 3.11), and show that as q→∞ the star product has the maximal possible dimension min{k1k2,n} with probability tending to 1 (Corollary 4.2). They then address the regime in which k1,k2 grow with t under an 'admissibility' condition, claiming in Theorem 5.7 that E|ker ψ|→2 and in Theorems 5.9/5.11 and Corollary 5.12 that E[dim C1⋆C2]=min{k1k2,n}+o(1). The final section discusses applications to PIR, SDMM, CSS-T codes, and cryptanalysis.

Significance. If the dimension-asymptotic results were correct, the paper would give a clean two-parameter extension of the square-of-random-code analysis of Cascudo et al. [18]. The exact enumeration in Theorem 3.9 is parameter-free, the lower bound in Corollary 3.11 is checked against Monte Carlo estimates in Table 1, and the q-asymptotic Corollary 4.2 is a solid, self-contained contribution. The manuscript is honest about the technical nature of its admissibility condition and about the overlap with [26]. However, the proofs supporting the dimension-growth claim contain serious gaps, especially in Theorem 5.11 and in the passage from Theorem 5.7 to Corollary 5.12, so the paper's headline dimension-asymptotic result is currently not established. The q-asymptotic part alone would still be a useful contribution.

major comments (3)
  1. [Theorem 5.11] The step 'M implies N' is not proved and is in fact unsupported. Let m=k1k2 and let t be as in the proof. The assumed failure dim(C1⋆C2)<n yields a nonzero v∈(C1⋆C2)⊥; embedding it as ṽ=(v,0,...,0) shows ṽ∈(C̃1⋆C̃2)⊥. But this only implies dim(C̃1⋆C̃2) ≤ m+t−1, which is vacuous because C̃1⋆C̃2 is spanned by m products and hence already has dimension at most m. It does not imply dim(C̃1⋆C̃2)<m, so M^c does not imply N^c. Consequently P(M)≥P(N) does not follow, and the entire n(t)<m(t) case of Corollary 5.12 lacks support.
  2. [Corollary 5.12 (n=m case)] In the regime n(t)=m(t)=k1(t)k2(t), Theorem 5.7 gives only E|ker ψ|=2+o(1). By Corollary 5.10, P(dim≤m−ℓ−1) ≤ (2+ε)/q^{ℓ+1}; summing over ℓ yields E[m−dim] ≤ (2+ε)/(q−1), a positive constant for fixed q, not o(1). The fact that |ker| is a power of q does not close the gap: a distribution with P(|ker|=q)=1/q and P(|ker|=1)=1−1/q has expectation 2 and positive expected deficit. A second-moment or concentration argument is required. The same obstruction applies whenever n(t)−m(t) is bounded, since Theorem 5.9 then gives only a constant lower bound. Thus the claimed o(1) in Corollary 5.12 is unproven.
  3. [Theorem 5.9] The proof as printed contains a sign / law-of-total-probability error. It derives P(N) ≤ ((2q−1)/q^2)^{n−m} (E|ker ψ'|−1), which is an upper bound on the success probability, whereas the theorem claims P(N) ≥ 1−((2q−1)/q^2)^{n−m}. The union bound should be applied to the complement: P(N^c|E_j) ≤ (j−1)((2q−1)/q^2)^{n−m}, hence P(N^c) ≤ ((2q−1)/q^2)^{n−m}(E|ker ψ'|−1). Unless this is a typographical error and the text is corrected, the proof of Theorem 5.9 is invalid.
minor comments (5)
  1. [Definition 3.8] The 'uniformly random code' model samples only codes whose first k coordinates form an identity prefix, i.e., complements of a fixed coordinate subspace. The text argues robustness across models, but a formal statement or a short proof of equivalence to the uniform subspace model would strengthen the paper.
  2. [Theorem 3.9 / Eq. (3.5)] The multiple summations are very hard to parse. Please define all summation ranges explicitly and consider simplifying the displayed formula, e.g., by introducing auxiliary functions for the q-binomial factors.
  3. [Table 1 and surrounding text] The sentence 'our bound is appears to be good' is ungrammatical. Also, report the Monte Carlo standard errors and state the number of samples in the caption (currently given only in the text).
  4. [Remark 5.8] The conjecture lim_{t→∞} E|ker ψ| = exp((q−1)k2(t)(k1(t)−1)/q^{k1(t)})+1 has t-dependent quantities inside the claimed limit. Please clarify the intended asymptotic notation.
  5. [Corollary 5.12] State explicitly that o(1) is as t→∞ with q fixed, and specify which additional growth conditions on n(t)−m(t) are needed for the conclusion to follow from the proved estimates.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the main estimates come from new counting arguments and external published counting lemmas; the self-citations are not load-bearing in a circular sense, and the proof gaps identified are correctness issues rather than reductions by construction.

full rationale

No step in the claimed derivation reduces a prediction to its own inputs. Theorem 3.9's expected-kernel formula is derived from the bilinear-form correspondence (proved in Theorem 3.2) and from the enumeration of zero-diagonal matrices in Lemma 3.5. Lemma 3.5's first identity is quoted from [22, Corollary 60]; although [22] shares an author with the present paper, it is a published, parameter-free enumeration result whose stated assumptions do not include the target theorem, so it counts as independent evidence rather than circularity. Corollary 3.11 uses Jensen's inequality in the standard direction and is not an equality-by-construction with Corollary 4.2. Corollary 4.2 follows from the q→∞ limit of E[|ker|] plus Markov's inequality, with no fitted parameters or hidden dependence on the conclusion. The dimension-growth results rest on an explicit admissibility condition (Definition 5.6), candidly described as a technical limitation; this is an assumption, not a circular import. Remark 5.13 explicitly acknowledges the overlapping prior work [26] and compares parameter ranges rather than renaming it. The relevant vulnerabilities are mathematical gaps rather than circularity: Theorem 5.11's puncturing step does not establish the implication needed for P(M)≥P(N), because a nonzero vector in the extended orthogonal complement only gives dim(C~1⋆C~2)≤m+t−1, which is vacuous given that the extended star product is already spanned by m products; and Corollary 5.12's o(1) gap does not follow from the first-moment estimate E|ker|→2 in the n=m regime. These are gaps in the proof of the claimed asymptotic result, not instances of a result being equivalent to its input by construction. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper introduces no free parameters and no new entities. It relies on standard probabilistic and enumerative tools, plus one explicit technical restriction (admissibility). The main external dependency is [22]'s matrix enumeration, which is a co-author's prior result but not constructed for this paper.

assumptions (5)
  • standard math The enumeration of k1×k2 matrices over F_q of rank r with zero diagonal (Lemma 3.5) is as stated in [22, Corollary 60].
    The expectation formula in Theorem 3.9 and the Jensen lower bound (Corollary 3.11) rest on this count. The paper cites it to prior published work by one of the present authors and does not re-prove it.
  • domain assumption The systematic-generator model (Definition 3.8) is representative of uniform random codes.
    All theorems are stated for codes sampled by uniform random systematic generator matrices. The paper claims robustness to other random models by analogy with [18, Remark 2.1] without giving a proof.
  • ad hoc to paper Admissibility (Definition 5.6): k1(t), k2(t) strictly increasing, k1 ≤ k2, and k1k2/q^{α k1} → 0 for all α < 2 − log_q(2q−1).
    Imposed in Section 5 to make the kernel-counting bounds converge. The authors explicitly call it a technical limitation rather than an intrinsic necessity.
  • standard math q-binomial bounds from [25]: q^{k(n−k)} ≤ [n choose k]_q ≤ (7/2) q^{k(n−k)}.
    Used in Proposition 5.5 to prove E[dim(C1∩C2)] → 0 when n(t) = k1k2.
  • standard math Jensen's inequality applied to log_q of the kernel expectation (Corollary 3.11).
    Converts the exact expectation of |ker ψ| into a lower bound on the expected star-product dimension.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Star Product of Uniformly Random Codes." pith.science (2026). https://pith.science/paper/VWNJWFOS

@misc{pith2026251117236,
  author       = {Pith},
  title        = {Pith review of: The Star Product of Uniformly Random Codes},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VWNJWFOS}},
  note         = {Machine review of arXiv:2511.17236}
}
read the original abstract

We consider the problem of determining the expected dimension of the star product of two uniformly random linear codes that are not necessarily of the same dimension. We use a correspondence between the star product and the evaluation of bilinear forms to provide an explicit lower bound on the expected star product dimension. We prove that the expected dimension asymptotically reaches its maximum possible value as the field size increases. Furthermore, we show that the same maximal dimension is achieved asymptotically as the code dimensions increase, subject to a condition bounding their relative growth rates. We also analyze the variance of the star product dimension, providing explicit asymptotic upper bounds. Finally, we discuss the implications of these results for private information retrieval, secure distributed matrix multiplication, quantum error correction, and cryptanalysis.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 1 linked inside Pith

  1. [26]

    Linear independence of rank 1 matrices and the dimension of ∗-products of codes,

    H. Randriambololona, “Linear independence of rank 1 matrices and the dimension of ∗-products of codes,” in2015 IEEE International Symposium on Information Theory (ISIT), 2015

  2. [18]

    Squares of random linear codes,

    I. Cascudo, R. Cramer, D. Mirandola, and G. Z´ emor, “Squares of random linear codes,” IEEE Transactions on Information Theory, vol. 61, no. 3, pp. 1159–1173, 2015

  3. [1]

    On decoding by error location and dependent sets of error positions,

    R. Pellikaan, “On decoding by error location and dependent sets of error positions,” Discrete Mathematics, vol. 106-107, pp. 369–381, 1992

  4. [2]

    Classical coding prob- lem from transversal T gates,

    N. Rengaswamy, R. Calderbank, M. Newman, and H. D. Pfister, “Classical coding prob- lem from transversal T gates,” in2020 IEEE International Symposium on Information Theory (ISIT), 2020, pp. 1891–1896

  5. [3]

    On optimality of CSS codes for transversal T,

    ——, “On optimality of CSS codes for transversal T,”IEEE Journal on Selected Areas in Information Theory, vol. 1, no. 2, pp. 499–514, 2020

  6. [4]

    The Schur product of evalua- tion codes and its application to CSS-T quantum codes and private information retrieval,

    S ¸. Bodur, F. Hernando, E. Mart ´ ınez-Moro, and D. Ruano, “The Schur product of evalua- tion codes and its application to CSS-T quantum codes and private information retrieval,” arXiv preprint: arXiv 2505.10068, 2025

  7. [5]

    An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance,

    E. Camps-Moreno, H. H. L´ opez, G. L. Matthews, D. Ruano, R. San-Jos´ e, and I. So- prunov, “An algebraic characterization of binary CSS-T codes and cyclic CSS-T codes for quantum fault tolerance,”Quantum Information Processing, vol. 23, no. 230, 2024

  8. [6]

    Private information retrieval from coded databases with colluding servers,

    R. Freij-Hollanti, O. W. Gnilke, C. Hollanti, and D. A. Karpuk, “Private information retrieval from coded databases with colluding servers,”SIAM Journal on Applied Algebra and Geometry, vol. 1, no. 1, pp. 647–664, 2017

Show all 43 references
  1. [7]

    General framework for linear secure distributed ma- trix multiplication with Byzantine servers,

    O. Makkonen and C. Hollanti, “General framework for linear secure distributed ma- trix multiplication with Byzantine servers,”IEEE Transactions on Information Theory, vol. 70, no. 6, pp. 3864–3877, 2024

  2. [8]

    General secure multi-party computation from any linear secret-sharing scheme,

    R. Cramer, I. Damg ˚ ard, and U. Maurer, “General secure multi-party computation from any linear secret-sharing scheme,” inAdvances in Cryptology — EUROCRYPT 2000, B. Preneel, Ed. Springer Berlin Heidelberg, 2000, pp. 316–334

  3. [9]

    Cramer, I

    R. Cramer, I. B. Damg ˚ ard, and J. B. Nielsen,Secure Multiparty Computation and Secret Sharing. Cambridge University Press, 2015

  4. [10]

    Repairing Reed-Solomon codes,

    V. Guruswami and M. Wootters, “Repairing Reed-Solomon codes,”IEEE Transactions on Information Theory, vol. 63, no. 9, pp. 5684–5698, 2017

  5. [11]

    Erasures repair for decreasing monomial- Cartesian and augmented Reed-Muller codes of high rate,

    H. H. L´ opez, G. L. Matthews, and D. Valvo, “Erasures repair for decreasing monomial- Cartesian and augmented Reed-Muller codes of high rate,”IEEE Transactions on Infor- mation Theory, vol. 68, no. 3, pp. 1651–1662, 2022

  6. [12]

    Distinguisher-based attacks on public-key cryptosystems using Reed-Solomon codes,

    A. Couvreur, P. Gaborit, V. Gauthier-Uma˜ na, A. Otmani, and J.-P. Tillich, “Distinguisher-based attacks on public-key cryptosystems using Reed-Solomon codes,” Designs, Codes and Cryptography, vol. 73, no. 2, pp. 641–666, 2014

  7. [13]

    Distinguishing and recovering generalized linearized Reed–Solomon codes,

    F. H¨ ormann, H. Bartz, and A.-L. Horlemann, “Distinguishing and recovering generalized linearized Reed–Solomon codes,” inCode-Based Cryptography 2022, ser. Lecture Notes in Computer Science, J.-C. Deneuville, Ed. Springer, 2023

  8. [14]

    On the dimension and structure of the square of the dual of a Goppa code,

    R. Mora and J.-P. Tillich, “On the dimension and structure of the square of the dual of a Goppa code,”Designs, Codes and Cryptography, vol. 91, no. 4, pp. 1351–1372, 2022. 27

  9. [15]

    On products and powers of linear codes under componentwise multiplication,

    H. Randriambololona, “On products and powers of linear codes under componentwise multiplication,”Algorithmic arithmetic, geometry, and coding theory, vol. 637, no. 3-78, p. 32, 2015

  10. [16]

    On the existence of error-correcting pairs,

    R. Pellikaan, “On the existence of error-correcting pairs,”Journal of Statistical Planning and Inference, vol. 51, no. 2, pp. 229–242, 1996

  11. [17]

    Cryptanalysis of McEliece cryp- tosystem based on algebraic geometry codes and their subcodes,

    A. Couvreur, I. M´ arquez-Corbella, and R. Pellikaan, “Cryptanalysis of McEliece cryp- tosystem based on algebraic geometry codes and their subcodes,”IEEE Transactions on Information Theory, vol. 63, no. 8, pp. 5404–5418, 2017

  12. [19]

    J. H. V. Lint,Introduction to Coding Theory, 3rd ed. Berlin, Heidelberg: Springer- Verlag, 1998

  13. [20]

    An upper bound of Singleton type for componentwise products of linear codes,

    H. Randriambololona, “An upper bound of Singleton type for componentwise products of linear codes,”IEEE Transactions on Information Theory, vol. 59, no. 12, pp. 7936–7939, 2013

  14. [21]

    Matrices with restricted entries andq-analogues of permutations,

    J. B. Lewis, R. I. Liu, A. H. Morales, G. Panova, S. V. Sam, and Y. Zhang, “Matrices with restricted entries andq-analogues of permutations,”Journal of Combinatorics, vol. 2, no. 33, pp. 355–395, 2011

  15. [22]

    Duality of codes supported on regular lattices, with an application to enumerative combinatorics,

    A. Ravagnani, “Duality of codes supported on regular lattices, with an application to enumerative combinatorics,”Designs, Codes and Cryptography, vol. 86, no. 9, pp. 2035– 2063, 2018

  16. [23]

    de Bruijn,Asymptotic methods in analysis, 3rd ed

    N. de Bruijn,Asymptotic methods in analysis, 3rd ed. North-Holland, 1970

  17. [24]

    Oxley,Matroid Theory

    J. Oxley,Matroid Theory. Oxford University Press, 2011

  18. [25]

    F. Ihringer, “Finite geometry intersecting algebraic combinatorics: an investigation of in- tersection problems related to Erd¨ os-Ko-Rado theorems on Galois geometries with help from algebraic combinatorics,” Ph.D. dissertation, Gießen, Justus-Liebig-Universit¨ at, 2015

  19. [27]

    Private information retrieval,

    B. Chor, O. Goldreich, E. Kushilevitz, and M. Sudan, “Private information retrieval,” in Proceedings of IEEE 36th Annual Foundations of Computer Science, 1995, pp. 41–50

  20. [28]

    The capacity of robust private information retrieval with collud- ing databases,

    H. Sun and S. A. Jafar, “The capacity of robust private information retrieval with collud- ing databases,”IEEE Transactions on Information Theory, vol. 64, no. 4, pp. 2361–2370, 2018

  21. [29]

    The capacity of private information retrieval from coded databases,

    K. Banawan and S. Ulukus, “The capacity of private information retrieval from coded databases,”IEEE Transactions on Information Theory, vol. 64, no. 3, pp. 1945–1956, 2018. 28

  22. [30]

    Symmetric private information retrieval from MDS coded distributed storage with non-colluding and colluding servers,

    Q. Wang and M. Skoglund, “Symmetric private information retrieval from MDS coded distributed storage with non-colluding and colluding servers,”IEEE Transactions on Information Theory, vol. 65, no. 8, pp. 5160–5175, 2019

  23. [31]

    Robust private information retrieval from coded systems with Byzantine and colluding servers,

    R. Tajeddine, O. W. Gnilke, D. Karpuk, R. Freij-Hollanti, and C. Hollanti, “Robust private information retrieval from coded systems with Byzantine and colluding servers,” in2018 IEEE International Symposium on Information Theory (ISIT), 2018

  24. [32]

    t-private information retrieval schemes using transitive codes,

    R. Freij-Hollanti, O. W. Gnilke, C. Hollanti, A.-L. Horlemann-Trautmann, D. Karpuk, and I. Kubjas, “t-private information retrieval schemes using transitive codes,”IEEE Transactions on Information Theory, vol. 65, no. 4, pp. 2107–2118, 2019

  25. [33]

    Secret sharing for secure and private infor- mation retrieval: A construction using algebraic geometry codes,

    O. Makkonen, D. Karpuk, and C. Hollanti, “Secret sharing for secure and private infor- mation retrieval: A construction using algebraic geometry codes,”arXiv preprint: arXiv 2408.00542, 2024

  26. [34]

    Quantum private information re- trieval from coded and colluding servers,

    M. Allaix, L. Holzbaur, T. Pllaha, and C. Hollanti, “Quantum private information re- trieval from coded and colluding servers,”IEEE Journal on Selected Areas in Information Theory, vol. 1, no. 2, pp. 599–610, 2020

  27. [35]

    On the capacity of private informa- tion retrieval from coded, colluding, and adversarial servers,

    L. Holzbaur, R. Freij-Hollanti, and C. Hollanti, “On the capacity of private informa- tion retrieval from coded, colluding, and adversarial servers,” in2019 IEEE Information Theory Workshop (ITW), 2019

  28. [36]

    Toward the capacity of private information retrieval from coded and colluding servers,

    L. Holzbaur, R. Freij-Hollanti, J. Li, and C. Hollanti, “Toward the capacity of private information retrieval from coded and colluding servers,”IEEE Transactions on Informa- tion Theory, vol. 68, no. 1, pp. 517–537, 2022

  29. [37]

    GASP codes for secure distributed matrix multiplication,

    R. G. D’Oliveira, S. El Rouayheb, and D. Karpuk, “GASP codes for secure distributed matrix multiplication,”IEEE Transactions on Information Theory, vol. 66, no. 7, pp. 4038–4050, 2020

  30. [38]

    Private and secure distributed matrix multipli- cation with flexible communication load,

    M. Aliasgari, O. Simeone, and J. Kliewer, “Private and secure distributed matrix multipli- cation with flexible communication load,”IEEE Transactions on Information Forensics and Security, vol. 15, pp. 2722–2734, 2020

  31. [39]

    Secure distributed matrix computation with discrete Fourier transform,

    N. Mital, C. Ling, and D. G¨ und¨ uz, “Secure distributed matrix computation with discrete Fourier transform,”IEEE Transactions on Information Theory, 2022

  32. [40]

    HerA scheme: Secure distributed matrix multiplication via Hermitian codes,

    R. A. Machado, G. L. Matthews, and W. Santos, “HerA scheme: Secure distributed matrix multiplication via Hermitian codes,” in2023 IEEE International Symposium on Information Theory (ISIT). IEEE, 2023, pp. 1729–1734

  33. [41]

    Good quantum error-correcting codes exist,

    A. R. Calderbank and P. W. Shor, “Good quantum error-correcting codes exist,”Phys. Rev. A, vol. 54, pp. 1098–1105, 1996

  34. [42]

    Multiple-particle interference and quantum error correction,

    A. M. Steane, “Multiple-particle interference and quantum error correction,”Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol. 452, no. 1954, pp. 2551–2577, 1996. 29

  35. [43]

    Classical coding prob- lem from transversal T gates,

    N. Rengaswamy, R. Calderbank, M. Newman, and H. D. Pfister, “Classical coding prob- lem from transversal T gates,” in2020 IEEE International Symposium on Information Theory (ISIT), 2020, pp. 1891–1896. 30

Pith tools

Reviewed August 3, 2026 · model on record in the stance chip above.