mersenneforum.org  

Go Back   mersenneforum.org > Great Internet Mersenne Prime Search > PrimeNet

Reply
 
Thread Tools
Old 2011-04-17, 21:04   #1
davieddy
 
davieddy's Avatar
 
"Lucan"
Dec 2006
England

194A16 Posts
Default FFT boundaries

Having contemplated the statistics of large numbers
(e.g. molecules in a cc of air), I find it difficult to believe
that the frequency of "floating point error exceeded 0.4"
would not increase from 5% to 95% monotonically.with the exponent.

How does that brief test that Prime95 performs before the FFT
size is settled on predict the likelihood of such an occurence?

David

Last fiddled with by davieddy on 2011-04-17 at 21:15
davieddy is offline   Reply With Quote
Old 2011-04-18, 03:52   #2
cheesehead
 
cheesehead's Avatar
 
"Richard B. Woods"
Aug 2002
Wisconsin USA

22×3×641 Posts
Default

George and others have conducted extensive investigations into the occurrences of floating point errors in the results of FFTs.

Also, see section 4.2.2 "Accuracy of Floating Point Arithmetic" in Knuth's The Art of Computer Programming.
cheesehead is offline   Reply With Quote
Old 2011-04-18, 05:26   #3
davieddy
 
davieddy's Avatar
 
"Lucan"
Dec 2006
England

2·3·13·83 Posts
Default

Quote:
Originally Posted by cheesehead View Post
George and others have conducted extensive investigations into the occurrences of floating point errors in the results of FFTs.

Also, see section 4.2.2 "Accuracy of Floating Point Arithmetic" in Knuth's The Art of Computer Programming.
I know.
Will do.

But is my gut instinct obviously wrong?

David
davieddy is offline   Reply With Quote
Old 2011-04-18, 13:35   #4
CRGreathouse
 
CRGreathouse's Avatar
 
Aug 2006

3×1,993 Posts
Default

Quote:
Originally Posted by davieddy View Post
But is my gut instinct obviously wrong?
I would tend to say, "yes".
CRGreathouse is offline   Reply With Quote
Old 2011-04-18, 20:33   #5
cheesehead
 
cheesehead's Avatar
 
"Richard B. Woods"
Aug 2002
Wisconsin USA

769210 Posts
Default

Quote:
Originally Posted by davieddy View Post
But is my gut instinct obviously wrong?

David
A fuzzy explanation:

For instance, there are guard bits. As long as a FP error is confined to the guard bits, it has zero effect on the result. So the error curve would be very low for most of a range, then at the upper end rise much faster. Monotonic, but not linear.
cheesehead is offline   Reply With Quote
Old 2011-04-18, 21:50   #6
Prime95
P90 years forever!
 
Prime95's Avatar
 
Aug 2002
Yeehaw, FL

2·53·71 Posts
Default

I've observed that when you increase the number of bits stuffed into each FFT word by one, the roundoff error quadruples.
Prime95 is offline   Reply With Quote
Old 2011-04-18, 22:21   #7
Mr. P-1
 
Mr. P-1's Avatar
 
Jun 2003

7×167 Posts
Default

Quote:
Originally Posted by davieddy View Post
But is my gut instinct obviously wrong?
It's not obvious that it's wrong. Nevertheless, I'd put my trust in those who have spent years studying the matter more than I'd put it in your gut, or mine for that matter.
Mr. P-1 is offline   Reply With Quote
Old 2011-04-20, 00:32   #8
davieddy
 
davieddy's Avatar
 
"Lucan"
Dec 2006
England

2×3×13×83 Posts
Default From the horse's gut

Quote:
Originally Posted by Prime95 View Post
I've observed that when you increase the number of bits stuffed into each FFT word by one, the roundoff error quadruples.
Quote:
Originally Posted by Mr. P-1 View Post
It's not obvious that it's wrong. Nevertheless, I'd put my trust in those who have spent years studying the matter more than I'd put it in your gut, or mine for that matter.
THX George.
That was exactly the sort of simple empirical observation
I was seeking when I started this thread.

Does it not scream out for a simple explanation?

One bit good, 2 bits bad?

George Orwell

BTW I've been feeding my considerable gut on errors
in general and FFTs in particular for neigh on 45 years.
davieddy is offline   Reply With Quote
Old 2011-04-20, 00:41   #9
cheesehead
 
cheesehead's Avatar
 
"Richard B. Woods"
Aug 2002
Wisconsin USA

22·3·641 Posts
Default

Quote:
Originally Posted by Prime95 View Post
I've observed that when you increase the number of bits stuffed into each FFT word by one,
... which decreases the number of guard bits by one, right? ...
Quote:
the roundoff error quadruples.
cheesehead is offline   Reply With Quote
Old 2011-04-20, 04:33   #10
davieddy
 
davieddy's Avatar
 
"Lucan"
Dec 2006
England

2·3·13·83 Posts
Default

Quote:
Originally Posted by cheesehead View Post
... which decreases the number of guard bits by one, right? ...
And when the squaring happens, by two bits.
davieddy is offline   Reply With Quote
Old 2011-04-20, 16:02   #11
ewmayer
2ω=0
 
ewmayer's Avatar
 
Sep 2002
República de California

103×113 Posts
Default

Quote:
Originally Posted by Prime95 View Post
I've observed that when you increase the number of bits stuffed into each FFT word by one, the roundoff error quadruples.
Exactly according to the model I published here (cf. equations 6 and 7, and the discussion in that section), which I use for automated runlength-setting in Mlucas.

Note that the above heuristics work with FFT+DWT computations, but only if the DWT weights are (real or complex) of order unity. Mersenne and Fermat-mod DWT both satisfy this criterion.

Last fiddled with by ewmayer on 2011-04-20 at 16:50
ewmayer is offline   Reply With Quote
Reply



Similar Threads
Thread Thread Starter Forum Replies Last Post
Sieve file boundaries demystified mdettweiler No Prime Left Behind 1 2010-11-07 03:09
How to determine the P-1 boundaries? Boulder Software 2 2003-08-20 11:55

All times are UTC. The time now is 10:57.


Sat Jul 17 10:57:52 UTC 2021 up 50 days, 8:45, 1 user, load averages: 1.10, 1.15, 1.24

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.