Pith. sign in

REVIEW

No projective 16-divisible binary linear code of length 131 exists

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2006.10382 v1 pith:SPX4VHMU submitted 2020-06-18 cs.IT math.COmath.IT

Sascha Kurz This is my paper · ORCID
classification cs.ITmath.COmath.IT
keywords linearbinarycodedivisibleexistslengthprojectivebounds
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We show that no projective 16-divisible binary linear code of length 131 exists. This implies several improved upper bounds for constant-dimension codes, used in random linear network coding, and partial spreads.

Discussion (0). Continue with ORCID to comment.

Pith tools