mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   PrimeNet (https://www.mersenneforum.org/forumdisplay.php?f=11)
-   -   FFT boundaries (https://www.mersenneforum.org/showthread.php?t=15532)

davieddy 2011-04-17 21:04

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

cheesehead 2011-04-18 03:52

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 [i]The Art of Computer Programming[/i].

davieddy 2011-04-18 05:26

[QUOTE=cheesehead;258849]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 [I]The Art of Computer Programming[/I].[/QUOTE]

I know.
Will do.

But is my gut instinct obviously wrong?

David

CRGreathouse 2011-04-18 13:35

[QUOTE=davieddy;258854]But is my gut instinct obviously wrong?[/QUOTE]

I would tend to say, "yes".

cheesehead 2011-04-18 20:33

[QUOTE=davieddy;258854]
But is my gut instinct obviously wrong?

David[/QUOTE]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.

Prime95 2011-04-18 21:50

I've observed that when you increase the number of bits stuffed into each FFT word by one, the roundoff error quadruples.

Mr. P-1 2011-04-18 22:21

[QUOTE=davieddy;258854]But is my gut instinct obviously wrong?[/QUOTE]

It's not [i]obvious[/i] 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.

davieddy 2011-04-20 00:32

From the horse's gut
 
[QUOTE=Prime95;258950]I've observed that when you increase the number of bits stuffed into each FFT word by one, the roundoff error quadruples.[/QUOTE]

[QUOTE=Mr. P-1;258954]It's not [I]obvious[/I] 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.[/QUOTE]

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.

cheesehead 2011-04-20 00:41

[QUOTE=Prime95;258950]I've observed that when you increase the number of bits stuffed into each FFT word by one,[/quote]... which decreases the number of guard bits by one, right? ...
[quote]the roundoff error quadruples.[/QUOTE]

davieddy 2011-04-20 04:33

[QUOTE=cheesehead;259052]... which decreases the number of guard bits by one, right? ...[/QUOTE]
And when the squaring happens, by two bits.

ewmayer 2011-04-20 16:02

[QUOTE=Prime95;258950]I've observed that when you increase the number of bits stuffed into each FFT word by one, the roundoff error quadruples.[/QUOTE]

Exactly according to the model I published [url=http://www.mersenneforum.org/attachments/pdfs/F24.pdf]here[/url] (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.


All times are UTC. The time now is 06:14.

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