## View abstract

### Session S26 - Finite fields and applications

Friday, July 16, 15:00 ~ 15:20 UTC-3

## Average-case complexity of the Euclidean algorithm with a fixed polynomial over a finite field

### Guillermo Matera

#### Universidad Nacional de General Sarmiento and CONICET, Argentina   -   This email address is being protected from spambots. You need JavaScript enabled to view it. document.getElementById('cloake94f1462f12d237900ca40ccd2fc2e02').innerHTML = ''; var prefix = '&#109;a' + 'i&#108;' + '&#116;o'; var path = 'hr' + 'ef' + '='; var addye94f1462f12d237900ca40ccd2fc2e02 = 'gm&#97;t&#101;r&#97;' + '&#64;'; addye94f1462f12d237900ca40ccd2fc2e02 = addye94f1462f12d237900ca40ccd2fc2e02 + '&#117;ngs' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;r'; var addy_texte94f1462f12d237900ca40ccd2fc2e02 = 'gm&#97;t&#101;r&#97;' + '&#64;' + '&#117;ngs' + '&#46;' + '&#101;d&#117;' + '&#46;' + '&#97;r';document.getElementById('cloake94f1462f12d237900ca40ccd2fc2e02').innerHTML += '<a ' + path + '\'' + prefix + ':' + addye94f1462f12d237900ca40ccd2fc2e02 + '\'>'+addy_texte94f1462f12d237900ca40ccd2fc2e02+'<\/a>';

Computing the greatest common divisor of two nonzero univariate polynomials with coefficients in a finite field $\mathbb{F}_q$ of $q$ elements is a critical task, which arises in connection with many problems of computational mathematics. The fundamental computational tool for this problem is the Euclidean algorithm, and many variants of it are known in the literature. In particular, its average-case complexity has been the subject of several papers by, e.g., J. von zur Gathen, B. Vallée and others. All these results consider the average, for fixed degrees $e>d>0$, over the set of pairs $(g,f)\in\mathbb{F}_q[T]\times \mathbb{F}_q[T]$ with $g$ monic of degree $e$ and $f$ either of degree at most $d$, or of degree less than $e$, assuming the uniform distribution of pairs. Nevertheless, there are important tasks which rely heavily on the computation of gcd's and lie outside the scope of these analyzes, as the standard algorithm for finding the roots in $\mathbb{F}_q$ of a polynomial $f\in \mathbb{F}_q[T]$ of degree less than $q$, which requires computing $\gcd(T^q-T,f)$.

In this talk we shall discuss the behavior of the Euclidean algorithm applied to pairs $(g,f)$ of elements of $\mathbb{F}_q[T]$ when the highest-degree polynomial $g$ is fixed. For this purpose, considering all the elements $f$ of fixed degree, we establish asymptotically optimal bounds in terms of $q$ for the number of elements $f$ which are relatively prime with $g$ and for the average degree of $\gcd(g,f)$. We also exhibit asymptotically optimal bounds for the average-case complexity of the Euclidean algorithm applied to pairs $(g,f)$ as above.

Joint work with Nardo Giménez (Universidad Nacional de General Sarmiento, Argentina), Mariana Pérez (Universidad Nacional de Hurlingham and CONICET, Argentina) and Melina Privitelli (Universidad Nacional de General Sarmiento and CONICET, Argentina).
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.817337691783905, "perplexity": 988.8316296045138}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-49/segments/1669446711475.44/warc/CC-MAIN-20221209181231-20221209211231-00210.warc.gz"}