User joriki - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T01:20:42Z http://mathoverflow.net/feeds/user/12751 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/72536/asymptotics-for-primality-of-sum-of-three-consecutive-primes/72558#72558 Answer by joriki for Asymptotics for primality of sum of three consecutive primes joriki 2011-08-10T06:17:52Z 2011-08-10T17:44:13Z <p>I verified Noam's calculation of the factor $\lambda=2.30096\ldots$ and Álvaro's computations, extended the latter and calculated the corresponding ratios:</p> <p>$$\begin{array}{|c|c|c|c|c|} n &amp; R(n) &amp; 2n/\log n &amp; \lambda n / \log n &amp; R(n)\log n/n\\ \hline 10 &amp; 7 &amp; 9 &amp; 10 &amp; 1.61181\\ 100 &amp; 44 &amp; 43 &amp; 50 &amp; 2.02627\\ 1000 &amp; 339 &amp; 290 &amp; 333 &amp; 2.34173\\ 10000 &amp; 2437 &amp; 2171 &amp; 2498 &amp; 2.24456\\ 100000 &amp; 18892 &amp; 17372 &amp; 19986 &amp; 2.17502\\ 1000000 &amp; 157183 &amp; 144765 &amp; 166549 &amp; 2.17156\\ 10000000 &amp; 1346797 &amp; 1240841 &amp; 1427564 &amp; 2.17078\\ 30000000 &amp; 3784831 &amp; 3484987 &amp; 4009410 &amp; 2.17208\\ \end{array}$$</p> <p>(The values in the third and fourth columns are rounded to the nearest integer, the values in the last column are rounded to 5 digits after the decimal point.)</p> <p>I don't think we can deduce anything from the ratio in this form, however, since it shows convergence in the "random" fluctuations but not with respect to the asymptotic approximations made, e.g. dropping a term $\log\log n$, which at this stage is still comparable to $\log n$; a more detailed analysis will be required to test the independence hypothesis in this case.</p> <p>[<em>Update:</em>] With reference to Noam's comments below, here are some data for the relative frequencies of the sum of three consecutive primes being divisible by the first four odd primes. These are averaged over samples of $400,000$ primes beginning at powers of ten, which are given in the first column; note that these refer to the numbers $x$ themselves, not the indices $n$ of the primes.</p> <p>$$\begin{array}{|c|c|c|c|c|} \log_{10}x&amp;3&amp;5&amp;7&amp;11\\ \hline 8 &amp;0.183&amp;0.165&amp;0.130&amp;0.087\\ 9 &amp;0.189&amp;0.169&amp;0.131&amp;0.087\\ 10&amp;0.195&amp;0.170&amp;0.133&amp;0.087\\ 11&amp;0.198&amp;0.172&amp;0.133&amp;0.088\\ 12&amp;0.203&amp;0.173&amp;0.133&amp;0.088\\ 13&amp;0.208&amp;0.175&amp;0.134&amp;0.087\\ \hline \text{limit?}&amp;0.250&amp;0.188&amp;0.139&amp;0.090 \end{array}$$</p> <p>I also looked at the joint distribution of the residues modulo $3$ for the three primes. There's a significant preference for avoiding repeated residues; for instance, at $x=10^9$, the repeating patterns $1,1,1$ and $2,2,2$ have relative frequencies around $0.095$, the alternating patterns $1,2,1$ and $2,1,2$ have relative frequencies around $0.150$, and the remaining mixed patterns have relative frequencies around $0.128$, which is almost completely explained by $1,1$ and $2,2$ having relative frequencies $0.445$ and $1,2$ and $2,1$ having relative frequencies $0.555$. I'm trying to work out a probabilistic model for these effects.</p> http://mathoverflow.net/questions/54609/polylogarithm-inequality/54638#54638 Answer by joriki for Polylogarithm inequality joriki 2011-02-07T14:17:11Z 2011-02-07T14:17:11Z <p>The inequality seems to be true of the partial sums as well (though I haven't checked that thoroughly), so you might be able to prove it by induction, but I don't quite see how to do that.</p> <p>Here's an idea for a different proof:</p> <p>Convert to a common denominator (dropping a factor of 3):</p> <p>${\def\Li{\text{Li}}}\Re\left[\frac{3\Li_1(z)\Li_3(z)-2\Li_2(z)\Li_2(z)}{\Li_2(z)\Li_3(z)}\right]$</p> <p>Substitute the definition:</p> <p>$\def\sumty{\sum_{i=1}^\infty}\Re\left[\left(3\sumty\frac{z^n}{n}\sumty\frac{z^n}{n^3}-2\sumty\frac{z^n}{n^2}\sumty\frac{z^n}{n^2}\right)/\left( \sumty\frac{z^n}{n^2}\sumty\frac{z^n}{n^3}\right)\right]$</p> <p>Gather powers of $z$:</p> <p>$\def\sumk{\sum_{k=2}^\infty}\def\suml{\sum_{l=1}^{k-1}}\Re\left[\left( 3\sumk\left(\suml\frac{1}{(k-l)l^3}\right)z^k- 2\sumk\left(\suml\frac{1}{(k-l)^2l^2}\right)z^k \right)/\left( \sumk\left(\suml\frac{1}{(k-l)^2l^3}\right)z^k \right)\right]$</p> <p>Combine and convert to a common demoninator in the numerator:</p> <p>$\def\sumk{\sum_{k=2}^\infty}\def\suml{\sum_{l=1}^{k-1}}\Re\left[\left( \sumk\left(\suml\frac{3(k-l)-2l}{(k-l)^2l^3}\right)z^k \right)/\left( \sumk\left(\suml\frac{1}{(k-l)^2l^3}\right)z^k \right)\right]$</p> <p>Divide out the leading term $z^2$, and take a $1$ out of the sum (thereby removing the constant term in the numerator):</p> <p>$\def\sumkk#1{\sum_{k=#1}^\infty}\def\suml{\sum_{l=1}^{k-1}} 1 + \Re\left[\left( \sumkk3\left(\suml\frac{3(k-l)-2l-1}{(k-l)^2l^3}\right)z^{k-2} \right)/\left( \sumkk2\left(\suml\frac{1}{(k-l)^2l^3}\right)z^{k-2} \right)\right]$</p> <p>The coefficients in the numerator decay with $1/k$, the ones in the denominator with $1/k^2$. The leading terms are (courtesy of WolframAlpha):</p> <p>$1 + \Re\left[\frac{\frac{1}{2}z+\frac{475}{864}z^2+\frac{445}{864}z^3+...}{1+\frac{3}{8}z+\frac{155}{864}z^2+\frac{175}{1728}z^3+...}\right]$</p> <p>Note that the leading coefficients in the numerator are all close to $1/2$. Thus, if we multiply the numerator by $1-z$, the leading terms will nearly cancel, and the coefficients will decay with $1/k^2$, as in the denominator. Doing that (and also pulling out a factor of $z/2$ from the numerator) yields:</p> <p>$\def\sumkk#1{\sum_{k=#1}^\infty}\def\suml{\sum_{l=1}^{k-1}} 1 + \Re\left[\frac{z}{2(1-z)}\left( \sumkk3\left(2\Delta_k\suml\frac{3(k-l)-2l-1}{(k-l)^2l^3}\right)z^{k-3} \right)/\left( \sumkk2\left(\suml\frac{1}{(k-l)^2l^3}\right)z^{k-2} \right)\right]$</p> <p>where $\Delta_k f(k) := f(k) - f (k-1)$. The leading terms are now</p> <p>$1 + \Re\left[\frac{z}{2(1-z)} \frac{1+\frac{43}{432}z- \frac{5}{72}z^2+...}{1+\frac{3}{8}z+\frac{155}{864}z^2+\frac{175}{1728}z^3+...}\right]$</p> <p>I think from there you may be able to show by distinguishing cases and making use of the $1/k^2$ decay of the coefficients that the real part in the second term can never be less than or equal to $-1$. If the term $3/8z$ in the denominator is too big and causes trouble, it might help to multiply through by $1-3/8z$, as in the numerator.</p> <p>I'd appreciate if you let me know what you're using this for :-)</p> http://mathoverflow.net/questions/73899/optimal-8-vertex-isoperimetric-polyhedron/73941#73941 Comment by joriki joriki 2013-04-20T12:38:06Z 2013-04-20T12:38:06Z I proved your assertion about the 5-vertex case in this math.SE post: <a href="http://math.stackexchange.com/questions/367287" rel="nofollow">math.stackexchange.com/questions/367287</a>. http://mathoverflow.net/questions/2014/if-you-break-a-stick-at-two-points-chosen-uniformly-the-probability-the-three-re/66797#66797 Comment by joriki joriki 2013-03-09T01:54:50Z 2013-03-09T01:54:50Z @Qiaochu: The distances correspond to the barycentric coordinates of the point. More generally, choosing a point uniformly in a $k$-simplex corresponds to independently uniformly choosing $k$ points in the unit interval and using the resulting $k+1$ interval lengths as barycentric coordinates. http://mathoverflow.net/questions/116091/expected-size-of-unbalanced-biclique-in-random-bipartite-graph Comment by joriki joriki 2012-12-12T16:25:02Z 2012-12-12T16:25:02Z cross-posted to <a href="http://math.stackexchange.com/questions/256598" rel="nofollow">math.stackexchange.com/questions/256598</a> http://mathoverflow.net/questions/103432/rain-droplets-falling-on-a-table/103438#103438 Comment by joriki joriki 2012-08-07T23:08:33Z 2012-08-07T23:08:33Z @mjqxxxx: I've now updated my answer at math.SE to give a more rigorous proof of the asymptotic $2R^2\log R$ behaviour (which shows that the lower bound is tight). http://mathoverflow.net/questions/5954/is-it-best-to-run-or-walk-in-the-rain/5962#5962 Comment by joriki joriki 2012-08-07T14:21:53Z 2012-08-07T14:21:53Z That first link is now dead; the article is at <a href="http://www1.math.american.edu/People/kalman/pdffiles/rain.pdf" rel="nofollow">www1.math.american.edu/People/kalman/pdffiles/&hellip;</a>. http://mathoverflow.net/questions/103432/rain-droplets-falling-on-a-table/103438#103438 Comment by joriki joriki 2012-08-07T10:46:02Z 2012-08-07T10:46:02Z @fedja: See [my answer at math.SE](<a href="http://math.stackexchange.com/a/179859/6622" rel="nofollow">math.stackexchange.com/a/179859/6622</a>), where I derive an expansion up to $O(R^2)$ and compare with simulation results. http://mathoverflow.net/questions/89813/is-there-a-closed-form-solution-to-this-linear-algebra-problem Comment by joriki joriki 2012-02-29T12:15:45Z 2012-02-29T12:15:45Z Answered at math.SE. http://mathoverflow.net/questions/77816/do-these-matrix-rings-have-non-zero-elements-that-are-neither-units-nor-zero-divi Comment by joriki joriki 2011-10-11T16:29:49Z 2011-10-11T16:29:49Z Sorry for taking too long to write up the answer at math.SE -- David beat me to it by 20 minutes :-). Here it is: <a href="http://math.stackexchange.com/questions/71235/do-these-matrix-rings-have-non-zero-elements-that-are-neither-units-nor-zero-divi/71744#71744" rel="nofollow" title="do these matrix rings have non zero elements that are neither units nor zero divi">math.stackexchange.com/questions/71235/&hellip;</a> http://mathoverflow.net/questions/75262/double-orthogonal-complement-of-a-finite-module/75268#75268 Comment by joriki joriki 2011-09-13T21:17:55Z 2011-09-13T21:17:55Z @ARupinski: No need for the curly brackets; <code>\mathbb R</code> also produces $\mathbb R$. http://mathoverflow.net/questions/73556/calculating-moment-of-inertia-in-2d-planar-polygon Comment by joriki joriki 2011-08-24T15:21:47Z 2011-08-24T15:21:47Z It's good style to tell people that you're cross-posting (<a href="http://math.stackexchange.com/questions/59470/calculating-moment-of-inertia-in-2d-planar-polygon" rel="nofollow" title="calculating moment of inertia in 2d planar polygon">math.stackexchange.com/questions/59470/&hellip;</a>); else efforts will be unnecessarily duplicated. http://mathoverflow.net/questions/72536/asymptotics-for-primality-of-sum-of-three-consecutive-primes/72558#72558 Comment by joriki joriki 2011-08-10T17:45:47Z 2011-08-10T17:45:47Z @Noam: Yes, sorry, $1/4$. Regarding you other questions, see above. Yes, seeing the ratio converge to $2.30$ isn't feasible, I think; what might be feasible, though, is to model these effects well enough to support the conclusion that they eventually disappear. http://mathoverflow.net/questions/72536/asymptotics-for-primality-of-sum-of-three-consecutive-primes/72558#72558 Comment by joriki joriki 2011-08-10T15:22:09Z 2011-08-10T15:22:09Z @Noam: Yes, I made the same observations and was just doing some experiments on that -- the approach is quite slow; even at the end of the table the probability for $l=3$ is only about $0.2$ instead of the asymptotic $3/4$; this is due to repeated residues being significantly less likely than alternating residues, and this effect only decays slowly as the gaps between the primes become wider. http://mathoverflow.net/questions/72536/asymptotics-for-primality-of-sum-of-three-consecutive-primes/72539#72539 Comment by joriki joriki 2011-08-10T06:43:28Z 2011-08-10T06:43:28Z @Will: That seems like an overvaluation of proofs to me. It can't be proved, but it seems highly likely that it does, and something interesting might be learned from what the limit <i>seems</i> to be quite independent of whether its existence can be proved.