Number Theory Resolves a Problem in a Divorce

Total Page:16

File Type:pdf, Size:1020Kb

Number Theory Resolves a Problem in a Divorce Number theory resolves a problem in a divorce Sunil K. Chebolu Illinois State University 1/23 Sunil Chebolu Number theory resolves a problem in a divorce . Beer is proof that God loves us and wants us to have a good time Benjamin Franklin Number Theory is proof that God loves us and wants us to have a good time Sunil Chebolu 2/23 Sunil Chebolu Number theory resolves a problem in a divorce A divorce problem Alice and Bob are getting a divorce and have to discuss who gets what. They are already separated and they live in different cities and can't stand facing each other. They don't seem to agree on one thing: 3/23 Sunil Chebolu Number theory resolves a problem in a divorce Who gets the car? 4/23 Sunil Chebolu Number theory resolves a problem in a divorce After much deliberation on the matter, they decide to flip a coin 5/23 Sunil Chebolu Number theory resolves a problem in a divorce Coin flipping over the telephone is tricky Problem: If they don't trust each other how can they flip a coin over the telephone without bringing in a 3rd party (a referee)? \Flipping a coin" really means performing some random experiment akin to coin tossing which has two equally likely outcomes and in which no party can cheat. 6/23 Sunil Chebolu Number theory resolves a problem in a divorce Assumptions Before we go further we will make a couple of mild assumptions on the couple. I Bob and Alice have math degrees and they love number theory (more than their partner). I They also have access to MAPLE software for computing. 7/23 Sunil Chebolu Number theory resolves a problem in a divorce The coin toss protocol 1. Alice picks two large distinct prime numbers p and q and tells Bob the product n(= pq). (p and q are known only to Alice.) 2. Bob picks a random positive integer s less than n such that gcd(s; n) = 1. He sends Alice the remainder a obtained when s2 is divided by n. (Thus s2 ≡ a mod n.) 3. Alice then solves the equation x2 ≡ a mod n and will get two pair of solutions: fs; −sg and ft; −tg: Alice now picks one pair and tells it to Bob. (If pairs are not distinct, they startover.) 4. If Alice picks fs; −sg she get the car. Otherwise, Bob will keep the car, and to prove that he won he reveals s. 8/23 Sunil Chebolu Number theory resolves a problem in a divorce An example with numbers 1. Alice picks p = 31 and q = 23 and tells Bob n = pq = 713. 2. Bob picks s = 220 and sends Alice a = 629; 629 ≡ 2202 mod 713: 3. Alice solves the modular quadratic equation x2 ≡ 629 mod 713 and obtains two pairs of solutions:f220; 493g and f654; 59g Alice now picks one of these pairs and sends it to Bob. 4. If she picks f220; 493g she wins, otherwise Bob wins. 9/23 Sunil Chebolu Number theory resolves a problem in a divorce Computational issues I Database of large primes is available for free on the internet, and multiplying them is done easily by MAPLE. This is how Alice gets hold of n, which is p × q. I One does not have to search for large primes on the internet. There are fantastic methods for primality testing which Alice can use to get hold of large primes. I Bob has to pick a random number s less than n which is coprime to n: this is also easy because the Euclidean algorithm runs in polynomial time. The next step for Bob is to square s and take the remainder a obtained upon dividing by n. This is done by MAPLE in a split second. 10/23 Sunil Chebolu Number theory resolves a problem in a divorce 2 I Alice now has to solve the equation x = a in Zn. This has at least one solution (s). In fact, the Chinese remainder theorem ∼ Zn = Zp × Zq (recall that p 6= q) tells that the above equation has four solutions because s is chosen such that gcd(s; n) = 1. These four solutions come in pairs corresponding to the equations 2 2 x1 ≡ a1 mod p; x2 ≡ a2 mod q; Here x = (x1; x2) and a = (a1; a2) under the Chinese reminder theorem. Thanks to the Tonelli-Shanks algorithm which gives an efficient method to compute the roots of a quadratic equation modulo a prime. 11/23 Sunil Chebolu Number theory resolves a problem in a divorce The Key point The key point here is that it is only Alice who can find all 4 roots of the equation x2 ≡ a mod n because she is the one who knows the two prime factors p and q of n. Bob, on the other hand, has no access to these two primes which constitute n. So he cannot compute (in any reasonable amount of time) the roots of the above equation even using the world's fastest super computer. He does know that fs; −sg are the roots but that is of no help in getting the other two roots. 12/23 Sunil Chebolu Number theory resolves a problem in a divorce Why can't Bob decompose n into its prime factors? This is next to impossible. The arithmetic complexity is enormous. To give some numbers, a single 2.2 GHz machines takes about 70 years to decompose an integer n with 200 digits into its prime factors! However, a large assembly of IBM supercomputers (see above picture) is estimated to cut down the computing time to one year. The impossibility of factoring these large numbers in real time is the basis for this protocol. The same is true for the RSA protocol. 13/23 Sunil Chebolu Number theory resolves a problem in a divorce Why is it not possible to cheat? Clearly the punch line is the last step where Alice sends Bob one of the two pairs fs; −sg; ft; −tg. Alice wins if and only if she sends Bob the only pair fs; −sg which he has. Let us then consider the two possibilities. 1. Alice sends fs; −sg: Bob cannot claim that he has the other pair with him because he has to declare it, and as mentioned above there is no way he can get that without the knowledge of the primes p and q which constitute n. So Alice wins. (Bob will of course verify that this is indeed the other root of the the equation by substituting it in the equation.) 2. Alice sends ft; −tg: This is a clear case. Bob wins because he will instantly declare the pair fs; −sg which is different from what Alice has sent. 14/23 Sunil Chebolu Number theory resolves a problem in a divorce Bottom line: There is no room for cheating! The algorithm is cheat-proof. 15/23 Sunil Chebolu Number theory resolves a problem in a divorce Warning! There is one aspect in which this protocol differs from an ordinary unbiassed coin: n cannot be reused Suppose Bob and Alice want to do another coin toss to decide who gets the computer. They cannot reuse the same value of n. Why is that so? Suppose Bob won the first time. This happens when Alice declared the pair ft; −tg. Bob already has fs; −sg. So now Bob has all four roots. Using these roots he can compute p and q as follows. 16/23 Sunil Chebolu Number theory resolves a problem in a divorce The roots s and t determine p and q 2 2 I s ≡ t ≡ a mod n 2 2 I n divides t − s = (t + s)(t − s) I n cannot divide t − s or else t ≡ s mod n I similarly n cannot divide t + s or else t ≡ −s mod n I since n = pq, this means p divides t + s and q divides t − s, or vice-versa. I at any rate, Bob would know the factorisation n = pq as n = gcd(n; s + t) gcd(n; t − s). Good News: This is not a problem because the great Euclid told us more than 2000 years ago that there are infinitely many primes. 17/23 Sunil Chebolu Number theory resolves a problem in a divorce Decomposing an integer into its prime factors is HARD The impossibility of factoring these large numbers in real time is the basis for this protocol. The same is true for the RSA public-key encryption. This is where all the money is. 18/23 Sunil Chebolu Number theory resolves a problem in a divorce RSA Factoring Challenge The RSA Factoring Challenge was a challenge put forward by RSA Laboratories in 1991 to encourage research into computational number theory and the practical difficulty of factoring large integers and cracking RSA keys used in cryptography. They published a list of semiprimes (numbers with exactly two prime factors) known as the RSA numbers, with a cash prize for the successful factorization of some of them. The smallest of them, a 100 decimal digit number called RSA-100 was factored by April 1, 1991, but many of the bigger numbers have still not been factored and are expected to remain unfactored for quite some time. 19/23 Sunil Chebolu Number theory resolves a problem in a divorce A recent result In 2010 the following 232-digit number (RSA-768) has been factored as a combined effort of several researches and hundreds of high-powered machines over a span of 2 years.
Recommended publications
  • Bound Estimation for Divisors of RSA Modulus with Small Divisor-Ratio
    International Journal of Network Security, Vol.23, No.3, PP.412-425, May 2021 (DOI: 10.6633/IJNS.202105 23(3).06) 412 Bound Estimation for Divisors of RSA Modulus with Small Divisor-ratio Xingbo Wang (Corresponding author: Xingbo Wang) Department of Mechatronic Engineering, Foshan University Guangdong Engineering Center of Information Security for Intelligent Manufacturing System, China Email: [email protected]; [email protected] (Received Nov. 16, 2019; Revised and Accepted Mar. 8, 2020; First Online Apr. 17, 2021) Abstract make it easier to find the small divisor; articles [2, 10] found out the distribution of an odd integer's square-root Through subtle analysis on relationships among ances- in the T3 tree; articles [11, 15, 17] investigated divisors' tors, symmetric brothers, and the square root of a node distribution of an RSA number, presenting in detail how on the T3 tree, the article puts a method forwards to cal- two divisors distribute on the levels of the T3 tree in terms culate an interval that contains a divisor of a semiprime of their divisor-ratio. whose divisor-ratio is less than 3/2. Concrete mathemat- This paper, following the studies in [11, 15, 17], and ical reasonings to derive the method and programming based on the inequalities proved in [12] as well as the procedure from realizing the calculations are shown in theorems proved in [13, 16], gives in detail a bound esti- detail. Numerical experiments are made by applying the mation to the divisors of an RSA number. The results in method on both ordinary small semiprimes and the RSA this paper are helpful to design algorithm to search the numbers.
    [Show full text]
  • Enhancing the Securing RSA Algorithm from Attack
    Journal of Basic and Applied Engineering Research Print ISSN: 2350-0077; Online ISSN: 2350-0255; Volume 1, Number 10; October, 2014 pp. 48-63 © Krishi Sanskriti Publications http://www.krishisanskriti.org/jbaer.html Enhancing the Securing RSA Algorithm from Attack Swati Srivastava 1, Meenu 2 1M.Tech Student, Department of CSE, Madan Mohan Malaviya University of Technology, Gorakhpur, U.P. 2Department of CSE, Madan MohanMalaviya University of Technology, Gorakhpur, U.P. Abstract: The RSA public key and signature scheme is often used authenticity, integrity, and limited access to data. In in modern communications technologies; it is one of the firstly Cryptography we differentiate between private key defined public key cryptosystem that enable secure cryptographic systems (also known as conventional communicating over public unsecure communication channels. cryptography systems) and public key cryptographic systems. In praxis many protocols and security standards use the RSA, Private Key Cryptography, also known as secret-key or thus the security of the RSA is critical because any weaknesses in the RSA crypto system may lead the whole system to become symmetric-key encryption, has an old history, and is based on vulnerable against attacks. This paper introduce a security using one shared secret key for encryption and decryption. enhancement on the RSA cryptosystem, it suggests the use of The development of fast computers and communication randomized parameters in the encryption process to make RSA technologies did allow us to define many
    [Show full text]
  • Factorization of RSA-180
    Factorization of RSA-180 S. A. Danilov, I. A. Popovyan Moscow State University, Russia May 9, 2010∗ Abstract We present a brief report on the factorization of RSA-180, currently smallest unfactored RSA number. We show that the numbers of similar size could be factored in a reasonable time at home using open source factoring software running on a few Intel Core i7 PCs. 1 Introduction In 1991 RSA Labs published a list of semiprime numbers of different size and announced a reward for their factorization. The numbers from that list called RSA numbers became a measure of the quality of the factorization tools. We began working on our factorization project on November 2009. We started with the smallest unfactored RSA number for that moment, RSA-170, written in 170 decimal digits. The factorization was finished on 31 December 2009, then we found out that Dominik Bonenberger and Martin Krone [1] were ahead of us for two days and had already presented the RSA-170 prime de- compostion. Meanwhile the new world record in factorization was set [2] – the international team of scientists managed to factor the RSA-768, a 232 decimal digits long RSA number. On January 2010 after a short break we decided to continue the project and took the number RSA-180 = 191147927718986609689229466631454649812986246 276667354864188503638807260703436799058776201 365135161278134258296128109200046702912984568 752800330221777752773957404540495707851421041, the next smallest RSA number with unknown factorization. ∗Revised at 13.04.2010 1 2 Factorization of RSA-180 Our tools for factorization are essentially based on two open source implemen- tations of General Numebr Field Sieve (GNFS) algorithm – the community maintained GGNFS suite [3] and Jason Papadopoulos’s msieve [4].
    [Show full text]
  • Introducing Quaternions to Integer Factorisation
    Journal of Physical Science and Application 5 (2) (2015) 101-107 doi: 10.17265/2159-5348/2015.02.003 D DAVID PUBLISHING Introducing Quaternions to Integer Factorisation HuiKang Tong 4500 Ang Mo Kio Avenue 6, 569843, Singapore Abstract: The key purpose of this paper is to open up the concepts of the sum of four squares and the algebra of quaternions into the attempts of factoring semiprimes, the product of two prime numbers. However, the application of these concepts here has been clumsy, and would be better explored by those with a more rigorous mathematical background. There may be real immediate implications on some RSA numbers that are slightly larger than a perfect square. Key words: Integer factorisation, RSA, quaternions, sum of four squares, euler factorisation method. Nomenclature In Section 3, we extend the Euler factoring method to one using the sum of four squares and the algebra p, q: prime factors n: semiprime pq, the product of two primes of quaternions. We comment on the development of P: quaternion with norm p the mathematics in Section 3.1, and introduce the a, b, c, d: components of a quaternion integral quaternions in Section 3.2, and its relationship 1. Introduction with the sum of four squares in Section 3.3. In Section 3.4, we mention an algorithm to generate the sum of We assume that the reader know the RSA four squares. cryptosystem [1]. Notably, the ability to factorise a In Section 4, we propose the usage of concepts of random and large semiprime n (the product of two the algebra of quaternions into the factorisation of prime numbers p and q) efficiently can completely semiprimes.
    [Show full text]
  • Question 1.1. What Is the RSA Laboratories' Frequently Asked
    Copyright © 1996, 1998 RSA Data Security, Inc. All rights reserved. RSA BSAFE Crypto-C, RSA BSAFE Crypto-J, PKCS, S/WAN, RC2, RC4, RC5, MD2, MD4, and MD5 are trade- marks or registered trademarks of RSA Data Security, Inc. Other products and names are trademarks or regis- tered trademarks of their respective owners. For permission to reprint or redistribute in part or in whole, send e-mail to [email protected] or contact your RSA representative. RSA Laboratories’ Frequently Asked Questions About Today’s Cryptography, v4.0 2 Table of Contents Table of Contents............................................................................................ 3 Foreword......................................................................................................... 8 Section 1: Introduction .................................................................................... 9 Question 1.1. What is the RSA Laboratories’ Frequently Asked Questions About Today’s Cryptography? ................................................................................................................ 9 Question 1.2. What is cryptography? ............................................................................................10 Question 1.3. What are some of the more popular techniques in cryptography? ................... 11 Question 1.4. How is cryptography applied? ............................................................................... 12 Question 1.5. What are cryptography standards? ......................................................................
    [Show full text]
  • Parallel Strategy to Factorize Fermat Numbers with Implementation in Maple Software
    Journal of Software Parallel Strategy to Factorize Fermat Numbers with Implementation in Maple Software Jianhui Li*, Manlan Liu Foshan Polytechnic, Foshan City, PRC, 528000, China. * Corresponding author. Tel.: +86075787263015; email: [email protected] Manuscript submitted October 08, 2020; accepted December 11, 2020. doi: 10.17706/jsw.16.4.167-173 Abstract: In accordance with the traits of parallel computing, the paper proposes a parallel algorithm to factorize the Fermat numbers through parallelization of a sequential algorithm. The kernel work to parallelize a sequential algorithm is presented by subdividing the computing interval into subintervals that are assigned to the parallel processes to perform the parallel computing. Maple experiments show that the parallelization increases the computational efficiency of factoring the Fermat numbers, especially to the Fermat number with big divisors. Key words: Integer factorization, fermat number, parallel computing, algorithm. 1. Introduction Factorization of big integer has been a hard problem and has been paid attention to in mathematics and cryptography. Any factoring algorithm is both scientifically valuable and practically applicable, as stated in [1]. Historically, factorization of big integer always took huge computing resources and involved in parallel computing. For example, it took half a year and 80 4-cored CPUs of AMD Opteron @ 2.2GHz to factorize RSA768 [2]. Actually, Brent R P began to study the possibility of parallel computing early in 1990 since Pollard Rho algorithm came into being [3]. And then parallel approaches for the elliptic curve method (ECM), continued fraction, quadric sieve (QS) and number field sieve (NFS) were developed respectively [4]-[7]. Now the NFS has been regarded to be the most efficient method.
    [Show full text]
  • Algorithms for Factoring Integers of the Form N = P * Q
    Algorithms for Factoring Integers of the Form n = p * q Robert Johnson Math 414 Final Project 12 March 2010 1 Table of Contents 1. Introduction 3 2. Trial Division Algorithm 3 3. Pollard (p – 1) Algorithm 5 4. Lenstra Elliptic Curve Method 9 5. Continued Fraction Factorization Method 13 6. Conclusion 15 2 Introduction This paper is a brief overview of four methods used to factor integers. The premise is that the integers are of the form n = p * q, i.e. similar to RSA numbers. The four methods presented are Trial Division, the Pollard (p -1) algorithm, the Lenstra Elliptic Curve Method, and the Continued Fraction Factorization Method. In each of the sections, we delve into how the algorithm came about, some background on the machinery that is implemented in the algorithm, the algorithm itself, as well as a few eXamples. This paper assumes the reader has a little eXperience with group theory and ring theory and an understanding of algebraic functions. This paper also assumes the reader has eXperience with programming so that they might be able to read and understand the code for the algorithms. The math introduced in this paper is oriented in such a way that people with a little eXperience in number theory may still be able to read and understand the algorithms and their implementation. The goal of this paper is to have those readers with a little eXperience in number theory be able to understand and use the algorithms presented in this paper after they are finished reading. Trial Division Algorithm Trial division is the simplest of all the factoring algorithms as well as the easiest to understand.
    [Show full text]
  • Factorization of a 512–Bit RSA Modulus?
    Factorization of a 512{Bit RSA Modulus? Stefania Cavallar3,BruceDodson8,ArjenK.Lenstra1,WalterLioen3, Peter L. Montgomery10, Brian Murphy2, Herman te Riele3, Karen Aardal13, 4 11 9 5 View metadata, citation and similar papersJeff at core.ac.uk Gilchrist ,G´erard Guillerm ,PaulLeyland ,Jo¨el Marchand , brought to you by CORE 6 12 14 Fran¸cois Morain , Alec Muffett , Chris and Craig Putnamprovided,and by Infoscience - École polytechnique fédérale de Lausanne Paul Zimmermann7 1 Citibank, 1 North Gate Road, Mendham, NJ 07945–3104, USA [email protected] 2 Computer Sciences Laboratory, ANU, Canberra ACT 0200, Australia [email protected] 3 CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands {cavallar,walter,herman}@cwi.nl 4 Entrust Technologies Ltd., 750 Heron Road, Suite E08, Ottawa, ON, K1V 1A7, Canada [email protected] 5 Laboratoire Gage, Ecole´ Polytechnique/CNRS, Palaiseau, France [email protected] 6 Laboratoire d’Informatique, Ecole´ Polytechnique, Palaiseau, France [email protected] 7 Inria Lorraine and Loria, Nancy, France [email protected] 8 Lehigh University, Bethlehem, PA, USA [email protected] 9 Microsoft Research Ltd, Cambridge, UK [email protected] 10 780 Las Colindas Road, San Rafael, CA 94903–2346 USA Microsoft Research and CWI [email protected] 11 SITX (Centre of IT resources), Ecole´ Polytechnique, Palaiseau, France [email protected] 12 Sun Microsystems, Riverside Way, Watchmoor Park, Camberley, UK [email protected] 13 Dept. of Computer Science,
    [Show full text]
  • About the Author and This Text
    1 PHUN WITH DIK AND JAYN BREAKING RSA CODES FOR FUN AND PROFIT A supplement to the text CALCULATE PRIMES By James M. McCanney, M.S. RSA-2048 has 617 decimal digits (2,048 bits). It is the largest of the RSA numbers and carried the largest cash prize for its factorization, US$200,000. The largest factored RSA number is 768 bits long (232 decimal digits). According to the RSA Corporation the RSA-2048 may not be factorable for many years to come, unless considerable advances are made in integer factorization or computational power in the near future Your assignment after reading this book (using the Generator Function of the book Calculate Primes) is to find the two prime factors of RSA-2048 (listed below) and mail it to the RSA Corporation explaining that you used the work of Professor James McCanney. RSA-2048 = 25195908475657893494027183240048398571429282126204032027777 13783604366202070759555626401852588078440691829064124951508 21892985591491761845028084891200728449926873928072877767359 71418347270261896375014971824691165077613379859095700097330 45974880842840179742910064245869181719511874612151517265463 22822168699875491824224336372590851418654620435767984233871 84774447920739934236584823824281198163815010674810451660377 30605620161967625613384414360383390441495263443219011465754 44541784240209246165157233507787077498171257724679629263863 56373289912154831438167899885040445364023527381951378636564 391212010397122822120720357 jmccanneyscience.com press - ISBN 978-0-9828520-3-3 $13.95US NOT FOR RESALE Copyrights 2006, 2007, 2011, 2014
    [Show full text]
  • Ebook RSA Numbers \ Read
    TGTRB0HLOK « RSA numbers ~ Kindle RSA numbers By Lambert M. Surhone Betascript Publishers Feb 2010, 2010. Taschenbuch. Book Condition: Neu. 220x150x7 mm. Neuware - High Quality Content by WIKIPEDIA articles! In mathematics, the RSA numbers are a set of large semiprimes (numbers with exactly two prime factors) that are part of the RSA Factoring Challenge. The challenge was to find the prime factors but it was declared inactive in 2007. It was created by RSA Laboratories in 1991 to encourage research into computational number theory and the practical difficulty of factoring large integers. RSA Laboratories published a number of semiprimes with 100 to 617 decimal digits. Cash prizes of varying size were offered for factorization of some of them. The smallest RSA number was factored in a few days. Most of the numbers have still not been factored and many of them are expected to remain unfactored for quite some time. As of March 2008[update], 12 of the 54 listed numbers have been factored: The 9 smallest from RSA-100 to RSA- 160, plus RSA-576, RSA-640 and RSA-200. 116 pp. Englisch. READ ONLINE [ 8.36 MB ] Reviews Here is the greatest publication i have study till now. I was able to comprehended every thing using this written e pdf. I am pleased to explain how here is the greatest pdf i have study within my own lifestyle and might be he best pdf for ever. -- Leopold Moore Good eBook and beneficial one. It really is simplified but unexpected situations from the 50 percent from the ebook. You can expect to like the way the blogger publish this ebook.
    [Show full text]
  • Factorization of a 512–Bit RSA Modulus *
    Factorization of a 512{bit RSA Modulus ? Stefania Cavallar3, Bruce Dodson8, Arjen K. Lenstra1, Walter Lioen3, Peter L. Montgomery10, Brian Murphy2, Herman te Riele3, Karen Aardal13, Je® Gilchrist4, G¶erard Guillerm11, Paul Leyland9, JoÄel Marchand5, Fran»cois Morain6, Alec Mu®ett12, Chris and Craig Putnam14, and Paul Zimmermann7 1 Citibank, 1 North Gate Road, Mendham, NJ 07945{3104, USA [email protected] 2 Computer Sciences Laboratory, ANU, Canberra ACT 0200, Australia [email protected] 3 CWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands fcavallar,walter,[email protected] 4 Entrust Technologies Ltd., 750 Heron Road, Suite E08, Ottawa, ON, K1V 1A7, Canada [email protected] 5 Laboratoire Gage, Ecole¶ Polytechnique/CNRS, Palaiseau, France [email protected] 6 Laboratoire d'Informatique, Ecole¶ Polytechnique, Palaiseau, France [email protected] 7 Inria Lorraine and Loria, Nancy, France [email protected] 8 Lehigh University, Bethlehem, PA, USA [email protected] 9 Microsoft Research Ltd, Cambridge, UK [email protected] 10 780 Las Colindas Road, San Rafael, CA 94903{2346 USA Microsoft Research and CWI [email protected] 11 SITX (Centre of IT resources), Ecole¶ Polytechnique, Palaiseau, France [email protected] 12 Sun Microsystems, Riverside Way, Watchmoor Park, Camberley, UK [email protected] 13 Dept. of Computer Science, Utrecht University, P.O. Box 80089, 3508 TB Utrecht, The Netherlands [email protected] 14 59 Rangers Dr., Hudson, NH 03051, USA [email protected]
    [Show full text]
  • Detecting Squarefree Numbers
    DETECTING SQUAREFREE NUMBERS ANDREW R. BOOKER, GHAITH A. HIARY, AND JON P. KEATING Abstract. We present an algorithm, based on the explicit formula for L-functions and conditional on GRH, for proving that a given integer is squarefree with little or no knowledge of its factorization. We analyze the algorithm both theoretically and practically, and use it to prove that several RSA challenge numbers are not squarefull. 1. Introduction Let k be a finite field and f a non-zero element of k[x]. Then it is well known that f is squarefree if and only if gcd(f; f 0) = 1, and the latter condition may be checked quickly (in deterministic polynomial time) by the Euclidean algorithm. It is a long-standing question in algorithmic number theory whether there is a correspondingly simple procedure to test if a given integer is squarefree; in particular, can one determine whether N 2 Z is squarefree more rapidly than by factoring it? In this paper, we describe an algorithm, conditional on the Generalized Riemann Hy- pothesis (GRH), for proving an integer squarefree with little or no knowledge of its factor- ization, and analyze the complexity of the algorithm both theoretically and practically. In particular, we present some heuristic evidence based on random matrix theory and other probabilistic calculations that our algorithm runs in deterministic subexponential time Oexp[(log N)2=3+o(1)]. Although this is poorer than the performance expected of the cur- rent best known factoring algorithms, our method is able to give partial results that one does not obtain from a failed attempt at factoring.
    [Show full text]