Minimum Sparsity of S-Decoding Polynomials
Prior state unknown→proved
conditional on a plausible number-theoretic conjecture; unconditional through s = 15
SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review
theoretical-computer-science / Private information retrieval
conditional on a plausible number-theoretic conjecture; unconditional through s = 15
Temporal state
No reconciled state yet.
Append-only history
conditional on a plausible number-theoretic conjecture; unconditional through s = 15
Research memory
conditional on a plausible number-theoretic conjecture; unconditional through s = 15
conditional on a plausible number-theoretic conjecture; unconditional through s = 15
Evidence graph
parent of · event · claim reported
parent of · claim · theorem