• Embed Doc
  • Readcast
  • Collections
  • CommentGo Back
Download
 
Experimental Verification of theRandom Character of Algebraic Irrationals
TOPPS
·
Semantics-based Program Analysis and ManipulationFriday
12
th
 June,
2009
 Johan Sejr Brinch Nielsen
Email: zerrez@diku.dkCpr.:
260886
-
2547
Supervisor: Jakob G. SimonsenDept. of Computer Science,University of Copenhagen
 
ii
Abstract
I investigate the normality of algebraic irrational numbers, specifically by
analyzing their
χ
2
,
2
 χ
2
and Kolmogorov-Smirnov distributions.
I analyze
39
Pisot numbers,
47
Salem numbers and the roots of 
15
randomlygenerated polynomials with integer coefficients, all computed to
5
bases with
a precision of 2
·
3
18
2
29.5
 bits (about
233
million decimals).
I show that the frequencies of the digit sequences tested are equidistributedwith a confidence value of 
5
%. Specifically, digit sequences of size
10
in bases
2
and
3
, size
7
in base
5
, size
6
in base
7
and size
5
in base
10
are equallyfrequent. This result is true for all
101
numbers. I show that no pattern can be found in the statistical anomalies and that only few anomalies survive a
prefix size of 2
·
3
18
2
29.5
.
The results lend credence to Borel’s conjecture that all algebraic irrationals
are normal in all bases.
Furthermore, popular root finding algorithms are discussed and their per-formance when computing roots to arbitrary precision compared. Specifically,
I give a comparison of Newton’s, Laguerre’s and Gupta-Mittal’s methods
using MPSolve as reference. The results show that Newton’s and Laguerre’s
methods are much faster than the competition. Gupta-Mittal is shown to
reduce to the classical Power Method, faster than MPsolve, but much slower
than Newton’s and Laguerre’s methods. Gupta-Mittal appears to be unsuited,
while Laguerre’s method shows great performance.The full paper, including all tables, is available at (
550
pages):
http://project-roots.s3.amazonaws.com/brinchj-2009_roots.pdf
The source code produced during the project is available at:
http://project-roots.s3.amazonaws.com/source-code.zip
 
CONTENTS
0
.
1
Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10
.
2
Contributions. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
.
3
Related Work. . . . . . . . . . . . . . . . . . . . . . . . . . . . .
20
.
4
Expectations of the Reader. . . . . . . . . . . . . . . . . . . . . .
2
1
4
1
.
1
Algebraic Irrationals. . . . . . . . . . . . . . . . . . . . . . . . .
41
.
2
Sources of Algebraic Irrationals. . . . . . . . . . . . . . . . . . .
6
2
9
2
.
1
Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
.
2
MPsolve. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
92
.
3
Newton’s Method. . . . . . . . . . . . . . . . . . . . . . . . . . .
92
.
4
Gupta-Mittal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
102
.
5
Laguerre’s Method. . . . . . . . . . . . . . . . . . . . . . . . . .
12
3
14
3
.
1
Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
143
.
2
Pipeline. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
153
.
3
Verification. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
163
.
4
3
Storage. . . . . . . . . . . . . . . . . . . . . . . . . .
163
.
5
Newton’s Method. . . . . . . . . . . . . . . . . . . . . . . . . . .
173
.
6
Gupta-Mittal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
173
.
7
Laguerre’s Method. . . . . . . . . . . . . . . . . . . . . . . . . .
183
.
8
Handling Multiple Roots. . . . . . . . . . . . . . . . . . . . . . .
193
.
9
Performance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
21
4
25
4
.
1
Introduction. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
254
.
2
Statistical Methods. . . . . . . . . . . . . . . . . . . . . . . . . .
264
.
3
Implementation Concerns. . . . . . . . . . . . . . . . . . . . . .
284
.
4
Block sizes. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
304
.
5
Statistical Results. . . . . . . . . . . . . . . . . . . . . . . . . . .
33
5
376
38
6
.
1
Bibliography. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
41
iii
of 00

Leave a Comment

You must be to leave a comment.
Submit
Characters: ...
You must be to leave a comment.
Submit
Characters: ...