Computing Riemann-Roch spaces via Puiseux expansions - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2021

Computing Riemann-Roch spaces via Puiseux expansions

Résumé

Computing large Riemann-Roch spaces for plane projective curves still constitutes a major algorithmic and practical challenge. Seminal applications concern the construction of arbitrarily large algebraic geometry error correcting codes over alphabets with bounded cardinality. Nowadays such codes are increasingly involved in new areas of computer science such as cryptographic protocols and "interactive oracle proofs". In this paper, we design a new probabilistic algorithm of Las Vegas type for computing Riemann-Roch spaces of smooth divisors, in characteristic zero, and with expected complexity exponent 2.373 (a feasible exponent for linear algebra) in terms of the input size.
Fichier principal
Vignette du fichier
rrgeneral.pdf (611.9 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03281757 , version 1 (08-07-2021)
hal-03281757 , version 2 (22-06-2022)

Identifiants

  • HAL Id : hal-03281757 , version 1

Citer

Simon Abelard, Elena Berardini, Alain Couvreur, Grégoire Lecerf. Computing Riemann-Roch spaces via Puiseux expansions. 2021. ⟨hal-03281757v1⟩
425 Consultations
516 Téléchargements

Partager

More