last Monday at 7:00 AM
The reciprocal sum of the prime-prefix-free numbers (https://oeis.org/A287117) converges to a number less than 5*10^14, conditional on the Riemann Hypothesis.
This Lean-verified proof answers a question I posed 10 years ago: https://math.stackexchange.com/questions/2288648/does-the-su...
An equivalent version: if we start with 1 and then output a stream of random bits, reading the number as a big-endian binary number at each step (so each time a bit arrives, the number is multiplied by 2 and 1 is either added or not), the expected time until the number is an odd prime is finite.
last Monday at 9:55 PM
Just for reference, the sum of all primes is infinite https://en.wikipedia.org/wiki/Divergence_of_the_sum_of_the_r... so this result is not obvious.
Anyway, I think it's weird it depends on the Riemann Hypothesis.
Do you have some numerical test for intervals like sum up to 1000, up to 10000, up to 100000, up to 1000000, ... ?
last Tuesday at 1:50 AM
Yes, see the table in Remark 7.3 on page 5, it exceeds 3.5, with growth slowing to a crawl. But the calculations mean little, sum(1/p) grows as divergent log(log(n)), so it also has the appearance of convergence on that basis. Many on math.SE argued for divergence (answers since deleted)! Although the proved upper bound is 5e14, heuristically it should be less than 4. I doubt RH is truly necessary. But even relying on RH, the exact value of the sum is elusive.
last Tuesday at 7:21 PM
Sorry for the delay. Now I had some time to skim the proof, but obviously not time to verify all the results. Some assorted remarks:
* I totally forgot the second log in sum(1/primes) ~= log(log(N)). It's nice to see numerical experiments, but now I realize I had to agree that it's difficult to get a huge number even in the well known case that is infinite.
* The article says that the result of the version with the binary prefix is finite but version with the ternary prefix is infinite. Do you have some numerical experiments? I'd love to see a graphic with the correct amount of logs in both axes to show the difference of behaviour.
* IIUC, the result of the version with quaternary prefix is infinite too, but the result should be comparable to the result of the binary prefix. At least quaternary(N)>binary(N). [I'm not sure if ¿ternary(N)>binary(N)?. Looks difficult.] So it's totally posible (and perhaps obvious) that quaternary(N) is unbounded in spite binary(N) is bounded. It's not very intuitive, but I think I saw something very slightly similar in the past and I got surprised too.
* I'm still not sure why it uses the RH, but it looks like you really thought about it (importing lemma 2.1 and remark 7.1), so I guess I will not be able to remove the RH skimming the paper.
last Wednesday at 1:46 AM
To be forthright it wasn't me doing most of the thinking! I'm taking my time to understand it. The issue with the bases as I understand it is that we need log(b) < 1 for convergence which only works for b = 2 < e. Check out the other math.SE answer which explains the heuristic but reaches the wrong conclusion by being off by a factor of 2.
today at 9:01 PM
today at 8:47 PM
that's a result that says more about the Riemann hypothesis than this specific problem right?
today at 9:08 PM
Well, not really, the contrapositive is that if the series diverges the Riemann Hypothesis would be refuted. But few doubt that the Riemann Hypothesis is true. So using it as an assumption merely makes the convergence slightly iffy. For another example of its use, see the deterministic Miller primality test: https://en.wikipedia.org/wiki/Miller–Rabin_primality_test
today at 9:35 PM
Ok? Why is this significant?
today at 9:45 PM
I don't know, what if someone made an app or a website where you get a dollar for every bit until an odd prime hits. The theorem says how much to price each spin to guarantee a long-term profit for the house (somewhere between tree fiddy and half a quadrillion dollars).
Actually, nothing practical, just sharing my love of math and excitement about the new possibilities of formal verification being unlocked.
today at 7:58 PM
“Author of The Da Vinci Code”
?
today at 9:30 PM
That would be Leonardo di ser Piero da Vinci
today at 8:16 PM
A nom de OOM.
today at 8:31 PM
out of memory?
today at 8:26 PM
Why does it matter to hn? Is it because Dan Brown wrote it?
today at 8:28 PM
Because the proof and Lean formalization have been produced by a clanker.