A Teoria das curvas algébricas sobre corpos finitos é de fundamental importância para a matemática e tem aplicações essenciais em muitas áreas, tais como Geometria Finita, Teoria dos Números, Teoria de Grafos e Teoria de Códigos. Neste trabalho tratamos do segmento algébrico desta teoria, isto é, corpos de funções algébricas, inicialmente sobre qualquer corpo, apresentando propriedades fundamentais. Depois nos restringimos aos corpos de funções algébricas sobre corpos finitos, e são apresentados resultados referentes à estimativa do gênero e número de lugares racionais, além de propriedades que conectam estes dois números e a característica do corpo, sendo o principal resultado dado por: Para q uma potência de um número primo e N inteiro não negativo, existe uma constante inteira não negativa g0 (dependendo de q e N) tal que, para todo g maior ou igual a \'g IND. 0\', existe um corpo de funções sobre \'F IND. q\' de gênero g tendo exatamente N lugares racionais / The Theory of algebraic curves over finite fields is of fundamental importance to mathematics and has essential applications in many areas, such Finite Geometry, Number Theory, Graph Theory and Coding Theory. In this work we treat the algebraic part of this theory, ie, algebraic function fields, initially over any field, presenting fundamental properties. Then we restrict to algebraic function fields over finite fields, and presented results for the estimation of the genus and the number of racional places, as well as properties that connect these two numbers and the characteristic of the constant field, being the main result given by: For q a prime power and N a non-negative integer, there is an integer non-negative \'g IND. 0\' (that depends of q and N) such that for all \'g > or =\' \'g IND. 0\' , there exists a function field over \'F IND. q\' with genus g having exactly N racional places

In this thesis we study a class of authentication codes with secrecy. We obtain the maximum success probability of the impersonation attack and the maximum success probability of the substitution attack on these authentication codes with secrecy. Moreover we determine the level of secrecy provided by these authentication codes. Our methods are based on the theory of algebraic function fields over finite fields. We study a certain class of algebraic function fields over finite fields related to this class of authentication codes. We also determine the number of rational places of this class of algebraic function fields.

A Teoria das curvas algébricas sobre corpos finitos é de fundamental importância para a matemática e tem aplicações essenciais em muitas áreas, tais como Geometria Finita, Teoria dos Números, Teoria de Grafos e Teoria de Códigos. Neste trabalho tratamos do segmento algébrico desta teoria, isto é, corpos de funções algébricas, inicialmente sobre qualquer corpo, apresentando propriedades fundamentais. Depois nos restringimos aos corpos de funções algébricas sobre corpos finitos, e são apresentados resultados referentes à estimativa do gênero e número de lugares racionais, além de propriedades que conectam estes dois números e a característica do corpo, sendo o principal resultado dado por: Para q uma potência de um número primo e N inteiro não negativo, existe uma constante inteira não negativa g0 (dependendo de q e N) tal que, para todo g maior ou igual a \'g IND. 0\', existe um corpo de funções sobre \'F IND. q\' de gênero g tendo exatamente N lugares racionais / The Theory of algebraic curves over finite fields is of fundamental importance to mathematics and has essential applications in many areas, such Finite Geometry, Number Theory, Graph Theory and Coding Theory. In this work we treat the algebraic part of this theory, ie, algebraic function fields, initially over any field, presenting fundamental properties. Then we restrict to algebraic function fields over finite fields, and presented results for the estimation of the genus and the number of racional places, as well as properties that connect these two numbers and the characteristic of the constant field, being the main result given by: For q a prime power and N a non-negative integer, there is an integer non-negative \'g IND. 0\' (that depends of q and N) such that for all \'g > or =\' \'g IND. 0\' , there exists a function field over \'F IND. q\' with genus g having exactly N racional places

Orientador: Fernando Eduardo Torres Orihuela / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-10T07:01:07Z (GMT). No. of bitstreams: 1 SepulvedaCastellanos_Alonso_D.pdf: 783003 bytes, checksum: 2af4bba938cd5b7d31fcd02a5c79ac85 (MD5) Previous issue date: 2008 / Resumo: Estudamos os códigos de Goppa (códigos GH) sobre certos corpos de funções algébricas com muitos lugares racionais. Estes códigos generalizam os bem conhecidos códigos Hermitianos; portanto podemos esperar que estes códigos tenham bons parâmetros. Bulygin (IEEE Trans. Inform. Theory 52 (10), 4664¿4669 (2006)) inicia o estudo dos códigos GH; enquanto Bulygin considerou somente característica par, nosso trabalho 'e feito em qualquer característica. Em qualquer caso, nosso trabalho é fortemente influenciado pelo de Bulygin. A seguir, listamos alguns dos nossos resultados com respeito aos códigos GH. ¿ Calculamos ¿distâncias mínimas exatas¿, em particular, melhoramos os resultados de Bulygin; ¿ Encontramos cotas para os pesos generalizados de Hamming, al'em disso, mostramos um algoritmo para aplicar estes cálculos na criptografia; ¿ Calculamos um subgrupo de Automorfismos; ¿ Consideramos códigos em determinados subcorpos dos corpos usados para construir os códigos GH / Abstract: We study Goppa codes (GH codes) based on certain algebraic function fields whose number of rational places is large. These codes generalize the well-known Hermitian codes; thus we might expect that they have good parameters. Bulygin (IEEE Trans. Inform. Theory 52 (10), 4664¿4669 (2006)) initiate the study of GH-codes; while he considered only the even characteristic, our work is done regardless the characteristic. In any case our work was strongly influenced by Bulygin¿s. Next we list some of the results of our work with respect to GH-codes. ¿ We calculate ¿true minimum distances¿, in particular, we improve Bulygin¿s results; ¿ We find bounds on the generalized Hamming weights, moreover, we show an algorithm to apply these computations to the cryptography; ¿ We calculate an Automorphism subgroup; ¿ We consider codes on certain subfields of the fields used for to construct GH-codes / Doutorado / Algebra (Geometria Algebrica) / Doutor em Matemática

Orientador: Sueli Irene Rodrigues Costa / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-23T07:10:07Z (GMT). No. of bitstreams: 1 Ferreira_Jamil_D.pdf: 1528200 bytes, checksum: a1ca349425c4bcf544a36d17d3157b3c (MD5) Previous issue date: 2013 / Resumo: O número de classes de divisores de grau zero, h, de corpos de funções algébricas elípticos e hiperelípticos desempenha papel importante nos esquemas criptográficos baseados em curvas elípticas e hiperelípticas. Nesse contexto, h é um número grande e é usualmente procurado por meio de algoritmos (baby step - giant step, por exemplo) em um intervalo de números reais obtido após um truncamento no produto infinito de Euler da função zeta do corpo de funções. Tendo a desigualdade de Hasse-Weil como motivação, encontramos identidades finitas para h que são também explícitas no sentido de que seus custos computacionais são diretamente deduzíveis dessas identidades. Como consequência, obtivemos também identidades finitas e explícitas para os coeficientes ai do L-polinômio da função zeta. Ferramentas fundamentais nesta pesquisa foram as L-séries de Artin e outros resultados envolvendo os símbolos polinomiais de Legendre / Abstract: The divisor class number of degree zero, h, of elliptic and hyperelliptic function fields plays an important role in cryptographic schemes based on elliptic and hyperelliptic curves. In this context, h is a large number and it is usually searched by means of algorithms (baby step - giant step, for example) in an interval of real numbers obtained after truncating the infinit Euler product coming from the zeta function of the function field. Taking the Hasse-Weil inequality as motivation, we derived finite identities for h which are also explicit in the sense that their computational costs are straightforwardly derivable from these identities. We also obtained finite and explicit identities for the coefficients ai of the L-polynomialof the zeta function. Fundamental tools for this research were the Artin L-series and other results involving the Legendre polynomial symbols / Doutorado / Matematica / Doutor em Matemática

On s'intéresse dans cette thèse à la détermination du rang de tenseur de la multiplication dans $mathbb{F}_{q^n}$, l'extension de degré $n$ du corps fini $mathbb{F}_q$ ; ce rang de tenseur correspond en particulier à la complexité bilinéaire de la multiplication dans $mathbb{F}_{q^n}$ sur $mathbb{F}_q$. Dans cette optique, on présente les différentes évolutions de l'algorithme de type évaluation-interpolation introduit en 1987 par D.V. et G.V. Chudnovsky et qui a permis d'établir que le rang de tenseur de la multiplication dans $mathbb{F}_{q^n}$ était linéaire en~$n$. Cet algorithme en fournit désormais les meilleures bornes connues dans le cas d'extensions de degré grand relativement au cardinal du corps de base — le cas des petites extensions étant bien connu. Afin d'obtenir des bornes uniformes en le degré de l'extension, il est nécessaire, pour chaque $n$, de déterminer un corps de fonctions algébriques qui convienne pour appliquer l'algorithme pour $mathbb{F}_{q^n}$, c'est-à-dire qui ait suffisamment de places de petit degré relativement à son genre $g$ et pour lequel on puisse établir l'existence de diviseurs ayant certaines propriétés, notamment des diviseurs non-spéciaux de degré ${g-1}$ ou de dimension nulle et de degré aussi près de ${g-1}$ que possible ; c'est pourquoi les tours de corps de fonctions sont d'un intérêt considérable. En particulier, on s'intéresse ici à l'étude des tours de Garcia-Stichtenoth d'extensions d'Artin-Schreier et de Kummer qui atteignent la borne de Drinfeld-Vlu{a}duc{t}. / In this thesis, we focus on the determination of the tensor rank of multiplication in $mathbb{F}_{q^n}$, the degree $n$ extension of the finite field $mathbb{F}_q$, which corresponds to the bilinear complexity of multiplication in $mathbb{F}_{q^n}$ over $mathbb{F}_q$. To this end, we describe the various successive improvements to the evaluation-interpolation algorithm introduced in 1987 by D.V. and G.V. Chudnovsky which shows the linearity of the tensor rank of multiplication in $mathbb{F}_{q^n}$ with respect to $n$. This algorithm gives the best known bounds for large degree extensions relative to the cardinality of the base field (the case when the degree of the extension is small is well known). In order to obtain uniform bounds, we need to determine, for each $n$, a suitable algebraic function field for the algorithm on $mathbb{F}_{q^n}$, namely a function field with sufficiently many places of small degree relative to its genus $g$ and for which we can prove the existence of divisors with some good properties such as non-special divisors of degree ${g-1}$ or zero-dimensional divisors with degree as close to ${g-1}$ as possiblestring; these conditions lead us to consider towers of algebraic function fields. In particular, we are interested in the study of Garcia-Stichtenoth towers of Artin-Schreier and Kummer extensions which attain the Drinfeld-Vlu{a}duc{t} bound.

Made available in DSpace on 2015-05-15T11:45:58Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 634504 bytes, checksum: ce035cc957832598c53dda96372e7cb7 (MD5) Previous issue date: 2011-02-24 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, based on algebraic function fields, we give constructions of disjoint linear codes. In addition,we study the asymptotic behavior of disjoint linear codes from our constructions. / Neste trabalho, baseados em corpos de funções algébricas, forneceremos construções de códigos lineares disjuntos. Além disso, nós estudaremos comportamentos assintóticos de códigos lineares disjuntos a partir da nossa construção.