Functional graphs of polynomials over finite fields

被引:16
作者
Konyagin, Sergei V. [1 ]
Luca, Florian [2 ]
Mans, Bernard [3 ]
Mathieson, Luke [3 ]
Sha, Min [4 ]
Shparlinski, Igor E. [4 ]
机构
[1] VA Steklov Math Inst, Moscow 119991, Russia
[2] Univ Witwatersrand, Sch Math, ZA-2050 Johannesburg, South Africa
[3] Macquarie Univ, Dept Comp, Sydney, NSW 2109, Australia
[4] Univ New S Wales, Sch Math & Stat, Sydney, NSW 2052, Australia
基金
澳大利亚研究理事会;
关键词
Polynomial maps; Functional graphs; Finite fields; Character sums; Algorithms on trees; QUADRATIC POLYNOMIALS; PREPERIODIC POINTS; CYCLE STRUCTURE; MAPS; MODULO; NUMBER;
D O I
10.1016/j.jctb.2015.07.003
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
Given a function f in a finite field F-q of q elements, we define the functional graph of f as a directed graph on q nodes labelled by the elements of F-q where there is an edge from u to v if and only if f(u) = v. We obtain some theoretical estimates on the number of non-isomorphic graphs generated by all polynomials of a given degree. We then develop a simple and practical algorithm to test the isomorphism of quadratic polynomials that has linear memory and time complexities. Furthermore, we extend this isomorphism testing algorithm to the general case of functional graphs, and prove that, while its time complexity deviates from linear by a (usually small) multiplier dependent on graph parameters, its memory complexity remains linear. We exploit this algorithm to provide an upper bound on the number of functional graphs corresponding to polynomials of degree d over F-q. Finally, we present some numerical results and compare function graphs of quadratic polynomials with those generated by random maps and pose interesting new problems. (C) 2015 Elsevier Inc. All rights reserved.
引用
收藏
页码:87 / 122
页数:36
相关论文
共 38 条
[1]  
[Anonymous], 2010, Modern Computer Arithmetic, DOI DOI 10.1017/CBO9780511921698
[2]  
[Anonymous], 1969, Seminumerical Algorithms, DOI 10.2307/2283757
[3]  
[Anonymous], 1974, P 6 ANN ACM S THEORY
[4]   TOWARD A THEORY OF POLLARD RHO METHOD [J].
BACH, E .
INFORMATION AND COMPUTATION, 1991, 90 (02) :139-155
[5]   On the number of distinct functional graphs of affine-linear transformations over finite fields [J].
Bach, Eric ;
Bridy, Andrew .
LINEAR ALGEBRA AND ITS APPLICATIONS, 2013, 439 (05) :1312-1320
[6]   Periods of rational maps modulo primes [J].
Benedetto, Robert L. ;
Ghioca, Dragos ;
Hutz, Benjamin ;
Kurlberg, Par ;
Scanlon, Thomas ;
Tucker, Thomas J. .
MATHEMATISCHE ANNALEN, 2013, 355 (02) :637-660
[7]   On the cycle structure of repeated exponentiation modulo a prime [J].
Chou, WS ;
Shparlinski, IE .
JOURNAL OF NUMBER THEORY, 2004, 107 (02) :345-356
[8]  
Crandall R., 2005, Prime Numbers: A Computational Perspective
[9]  
Doyle JR, 2014, NEW YORK J MATH, V20, P507
[10]  
FLAJOLET P, 1990, LECT NOTES COMPUT SC, V434, P329