Addendum: Proof for optimized variant of Barrett reduction re: ultimate NTT article

Правка en1, от Spheniscine, 2020-03-31 07:25:50

On the Project Nayuki article on Barrett reduction, one important lemma is the inequality

$$$\displaystyle\frac{x}{n} - 1 < \frac{xr}{4^k} ≤ \frac{x}{n} \implies \frac{x}{n} - 2 < \left\lfloor \frac{x}{n} - 1 \right\rfloor ≤ \left\lfloor \frac{xr}{4^k} \right\rfloor ≤ \frac{x}{n}$$$

We shall show that this inequality holds even if $$$\dfrac{xr}{4^k}$$$ is replaced by $$$\dfrac{(x-\delta) r}{4^k}$$$, with $$$0 ≤ \delta < 2^{62}$$$.

Теги fft, ntt, proof

История

 
 
 
 
Правки
 
 
  Rev. Язык Кто Когда Δ Комментарий
en18 Английский Spheniscine 2020-05-20 04:26:03 2 remove redundant parentheses
en17 Английский Spheniscine 2020-03-31 12:38:10 495 Tiny change: 'her small as these primes are so close ' -> 'her small for moduli so close '
en16 Английский Spheniscine 2020-03-31 11:49:36 184
en15 Английский Spheniscine 2020-03-31 10:26:25 167
en14 Английский Spheniscine 2020-03-31 10:21:20 20
en13 Английский Spheniscine 2020-03-31 09:12:27 4 Tiny change: 'laced by $g = \dfrac{(x-' -> 'laced by $\dfrac{(x-'
en12 Английский Spheniscine 2020-03-31 08:54:58 105 Tiny change: '$t$ to $[-n, 2n)$. This i' -> '$t$ to $[-m, 2m)$. This i'
en11 Английский Spheniscine 2020-03-31 08:47:39 17 Tiny change: 'relax the final bounds of $t$ to' -> 'relax the pre-normalization bound of $t$ to'
en10 Английский Spheniscine 2020-03-31 08:46:44 74
en9 Английский Spheniscine 2020-03-31 08:44:52 97
en8 Английский Spheniscine 2020-03-31 08:43:59 1442 Tiny change: ' < 2^{62}$.\n\nFirst' -> ' < 2^{62}$, the bits that have been omitted.\n\nFirst' (published)
en7 Английский Spheniscine 2020-03-31 08:26:01 226
en6 Английский Spheniscine 2020-03-31 08:22:50 105
en5 Английский Spheniscine 2020-03-31 08:12:26 956 Tiny change: 'c{4^k}{n}$ and forget about it thereafter.' -> 'c{4^k}{n}$.\n\nDivide by $4^k$: '
en4 Английский Spheniscine 2020-03-31 07:39:29 250
en3 Английский Spheniscine 2020-03-31 07:35:05 79
en2 Английский Spheniscine 2020-03-31 07:33:12 211 Tiny change: 'alue be $\epsilon$' -> 'alue be $\varepsilon$.'
en1 Английский Spheniscine 2020-03-31 07:25:50 565 Initial revision (saved to drafts)