{"id":4270,"date":"2021-01-06T06:34:10","date_gmt":"2021-01-06T06:34:10","guid":{"rendered":"https:\/\/www.aiproblog.com\/index.php\/2021\/01\/06\/deep-visualizations-to-help-solve-riemanns-conjecture\/"},"modified":"2021-01-06T06:34:10","modified_gmt":"2021-01-06T06:34:10","slug":"deep-visualizations-to-help-solve-riemanns-conjecture","status":"publish","type":"post","link":"https:\/\/www.aiproblog.com\/index.php\/2021\/01\/06\/deep-visualizations-to-help-solve-riemanns-conjecture\/","title":{"rendered":"Deep visualizations to Help Solve Riemann&#8217;s Conjecture"},"content":{"rendered":"<p>Author: Vincent Granville<\/p>\n<div>\n<p>This is the second part of my article <a href=\"https:\/\/www.datasciencecentral.com\/profiles\/blogs\/spectacular-visualization-the-eye-of-the-riemann-zeta-function\" target=\"_blank\" rel=\"noopener noreferrer\">Spectacular Visualization: The Eye of the Riemann Zeta Function<\/a>, focusing on the most infamous unsolved mathematical conjecture, one that has a $1 million dollar price attached to it. I used the word <em>deep<\/em> not in the sense of deep neural networks, but because the implications of these visualizations have deep consequences on how to solve this conjecture, opening a new path of attack and featuring non-standard generalizations leading to new perspectives and new approaches so solve RH (as the conjecture is called in mathematical circles).&nbsp;<\/p>\n<p>This work is mostly based on data science, and the results presented here are experimental in nature and still need to be proved formally. The main visualization featuring 6 scatterplots is published here for the first time: it shows the orbits of 3 Riemann-like functions, their <em>eyes<\/em>, and their surprising ring-shaped error distribution when only the first few hundred terms are used in the series defining these functions. It deviates from classical pure-math approaches in the sense that what I do looks more like stochastic dynamical systems, attractors, wavelets, and should appeal to data analysts, engineers and physicists.<\/p>\n<p>The problem is so popular that there are YouTube videos about it, some having gathered several million of views. One of them is also featured here. My own scatterplots show the behavior of a new class of Riemann-like functions, as well as interesting slices of the orbit that are rarely (if ever) displayed in the literature, revealing peculiar features that could help in solving RH.<\/p>\n<p><span style=\"font-size: 14pt;\"><strong>1. Orbits of Riemann-like Functions<\/strong><\/span><\/p>\n<p>The main picture in this article consists of the 6 plots below. Click on the picture to zoom in.<\/p>\n<p><a href=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392563253?profile=original\" target=\"_blank\" rel=\"noopener noreferrer\"><img decoding=\"async\" src=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392563253?profile=RESIZE_710x\" width=\"600\" class=\"align-center\"><\/a><\/p>\n<p style=\"text-align: center;\"><strong>Figure 1<\/strong><em>: Orbit (top) and residual error (bottom) for cosine (left),<\/em> <em>triangular (middle) and square wave (right)<\/em><\/p>\n<p>I explain later in this section what they represent. But first, I need to introduce some material. Let&nbsp;<\/p>\n<p><a href=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392571275?profile=original\" target=\"_blank\" rel=\"noopener noreferrer\"><img decoding=\"async\" src=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392571275?profile=RESIZE_710x\" width=\"350\" class=\"align-center\"><\/a><\/p>\n<p>be a function of <em>t<\/em>, with 0.5&nbsp; &lt;&nbsp; <em>&sigma;<\/em>&nbsp; &lt;&nbsp; 1 fixed, and&nbsp;<em>&alpha;<\/em>, <em>&beta;<\/em>, <em>&gamma;<\/em>&nbsp;three real parameters. This generalizes the function&nbsp;<em>&#981;<\/em> introduced <a href=\"https:\/\/www.datasciencecentral.com\/profiles\/blogs\/spectacular-visualization-the-eye-of-the-riemann-zeta-function\" target=\"_blank\" rel=\"noopener noreferrer\">in my previous article<\/a>. This time,&nbsp;<em>&lambda;<\/em>(<em>n<\/em>) = <em>n<\/em>&nbsp;and&nbsp;<em>&alpha;<\/em> = 0, <em>&beta;<\/em> = 1.&nbsp;Also, we are dealing with two sister functions of <em>t<\/em>, namely&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">1<\/span>(<em>&sigma;<\/em>, <em>t<\/em>) =&nbsp;<em>&#981;<\/em>(<em>&sigma;<\/em>, <em>t<\/em>;&nbsp;<em>&alpha;<\/em>, <em>&beta;<\/em>, <em>&gamma;<\/em>) with<em>&nbsp;&gamma;&nbsp;<\/em>= 0, and the shifted&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">2<\/span>(<em>&sigma;<\/em>, <em>t<\/em>) =&nbsp;<em>&#981;<\/em>(<em>&sigma;<\/em>, <em>t<\/em>;&nbsp;<em>&alpha;<\/em>, <em>&beta;<\/em>, <em>&gamma;<\/em>) with&nbsp;<em>&gamma;&nbsp;<\/em>= -&pi;\/2. They represent respectively the real and imaginary part of some function defined on the complex plane. The Riemann Hypothesis (RH), corresponding to <em>W<\/em>(<em>x<\/em>) = cos <em>x<\/em>, states that there is no zero of the Riemann zeta function&nbsp;<span><em>&zeta;<\/em>(<em>s<\/em>), with <em>s<\/em> =&nbsp;<em>&sigma;&nbsp;<\/em>+ <em>it<\/em> a complex number,&nbsp; if 0.5&nbsp; &lt;&nbsp; <em>&sigma;<\/em>&nbsp; &lt;&nbsp; 1. Here <em>i<\/em>&nbsp;represents the imaginary unit whose square is -1. In layman&#8217;s term, it means that we can not have&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">1<\/span>(<em>&sigma;<\/em>, <em>t<\/em>) =&nbsp;&nbsp;<em>&#981;<span style=\"font-size: 8pt;\">2<\/span><\/em>(<em>&sigma;<\/em>, <em>t<\/em>) = 0 if&nbsp;&nbsp;0.5&nbsp; &lt;&nbsp; <em>&sigma;<\/em>&nbsp; &lt;&nbsp; 1. You win $1 million if you prove it, see <a href=\"https:\/\/www.claymath.org\/millennium-problems\/riemann-hypothesis\" target=\"_blank\" rel=\"noopener noreferrer\">here<\/a>.&nbsp;<\/span><\/p>\n<p><span>The novelty in my method is the introduction of a periodic wave function <em>W<\/em> in the definition of&nbsp;<em>&#981;<\/em>, thus generalizing RH in a way different from what other mathematicians did, that is, without using complicated <a href=\"https:\/\/en.wikipedia.org\/wiki\/L-function\" target=\"_blank\" rel=\"noopener noreferrer\">L-functions<\/a>.&nbsp;<\/span>This offers more hopes to solve Riemann&#8217;s conjecture (RH), by first trying to prove it for the easiest <em>W<\/em>, and understand what those <em>W<\/em>&#8216;s having an RH attached to them (as opposed to those that do not) have in common.&nbsp;<\/p>\n<p>Figure 1 (upper part) displays the spectacular orbits for three different waves (cosine, triangular and alternating-quadratic) in the test case <em>&sigma;<\/em> = 0.75 and 0&nbsp; &lt;&nbsp; <em>t<\/em>&nbsp; &lt;&nbsp; 600, with the hole around the origin (I call it the <em>eye<\/em>) being the hallmark of RH behavior: that is, no root for that particular value of <em>&sigma;<\/em>, regardless of <em>t<\/em>, because of the hole. Though not displayed here, in the case <em>&sigma;<\/em> = 0.5, the hole is entirely gone and corresponds to the <em>critical line<\/em> (the name given by mathematicians) where all the zeroes are found.<\/p>\n<p>The orbit consists, for a fixed <em>&sigma;<\/em>, of the points (<em>X<\/em>(<em>t<\/em>),<em>Y<\/em>(<em>t<\/em>)) with <em>X<\/em>(<em>t<\/em>) = <em>&#981;<\/em><span style=\"font-size: 8pt;\">1<\/span>(<em>&sigma;<\/em>, <em>t<\/em>) and <em>Y<\/em>(<em>t<\/em>) = <em>&#981;<\/em><span style=\"font-size: 8pt;\">2<\/span>(<em>&sigma;<\/em>, <em>t<\/em>). The lower three plots represent the error between the true value (<em>X<\/em>(<em>t<\/em>),<em>Y<\/em>(<em>t<\/em>)) and its approximation based on using only the first 200 terms in the series that defines <em>&#981;<\/em>. The error distribution is very surprising; I was expecting the points to be radially but randomly distributed around the origin; instead, they are located on a ring. Note that for <em>t<\/em>&nbsp; &gt;&nbsp; 600 (and for the triangular wave, for <em>t<\/em>&nbsp; &gt;&nbsp; 80) you need to use more than 200 terms for the pattern to remain strong.<\/p>\n<p>In Figure 1, the left part of the plot corresponds to the cosine wave (that is, classical RH), the middle part corresponds to the triangular wave, and the right part corresponds to the alternating quadratic wave. Interestingly, when <em>&sigma;<\/em> = 1\/2 the orbit does not have a hole anymore as predicted, yet the error points are still distributed on a similar ring.<\/p>\n<p>The wave <em>W<\/em> is a continuous periodic function of period 2&pi;, with one minimum equal to &minus;1 and one maximum equal to +1 in the interval [0,2&pi;], and the area below the X-axis equal to the area above the X-axis. It must have some symmetry. The waves used here are defined as follows:<\/p>\n<p><a href=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392809497?profile=original\" target=\"_blank\" rel=\"noopener noreferrer\"><img decoding=\"async\" src=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392809497?profile=RESIZE_710x\" width=\"500\" class=\"align-full\"><\/a><\/p>\n<p>For the cosine wave, the Taylor series for <em>&#981;<\/em> is discussed <a href=\"https:\/\/mathoverflow.net\/questions\/380308\/about-the-coefficients-of-taylor-series-for-the-complex-riemann-zeta-function\" target=\"_blank\" rel=\"noopener noreferrer\">here<\/a>, while the representation as an infinite product is discussed <a href=\"https:\/\/mathoverflow.net\/questions\/380327\/infinite-products-for-linear-combinations-of-sines-or-cosines\" target=\"_blank\" rel=\"noopener noreferrer\">here<\/a>.<\/p>\n<p><span style=\"font-size: 14pt;\"><strong>2. Other interesting visualizations and source code<\/strong><\/span><\/p>\n<p>The orbit for the standard RH case has been published countless time for&nbsp;<em>&sigma;<\/em> = 0.5. In that case, there is no eye as the orbit crosses the origin infinitely many times. Some videos about the orbit trajectory have been posted on You Tube and viewed millions of times. Below is one of them.&nbsp;<\/p>\n<\/p>\n<p><iframe loading=\"lazy\" width=\"640\" height=\"360\" src=\"https:\/\/www.youtube.com\/embed\/zlm1aajH6gY?wmode=opaque\" frameborder=\"0\" allowfullscreen=\"\"><\/iframe>\n<\/p>\n<\/p>\n<p>Other popular visualizations include the time series for&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">1<\/span>(<em>&sigma;<\/em>, <em>t<\/em>) and&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">2<\/span>(<em>&sigma;<\/em>, <em>t<\/em>) when&nbsp;<em>&sigma;<\/em> = 0.5. Below (Figure 2) is a version of mine, for&nbsp;&nbsp;<em>&sigma;<\/em> = 0.75 and 0&nbsp; &lt;&nbsp; <em>t<\/em>&nbsp; &lt;&nbsp; 600. Not only it displays the time series for the cosine wave (standard RH case) but also for the triangular wave, for the first time ever. The blue curve corresponds to&nbsp;<em>&#981;<\/em><span>1<\/span>(<em>&sigma;<\/em>, <em>t<\/em>), the orange one to&nbsp;<em>&#981;<\/em><span>2<\/span>(<em>&sigma;<\/em>, <em>t<\/em>).<\/p>\n<p><a href=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392886055?profile=original\" target=\"_blank\" rel=\"noopener noreferrer\"><img decoding=\"async\" src=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8392886055?profile=RESIZE_710x\" width=\"600\" class=\"align-center\"><\/a><\/p>\n<p style=\"text-align: center;\"><strong>Figure 2<\/strong><em>: Time series for&nbsp;&#981;<span style=\"font-size: 8pt;\">1<\/span>(&sigma;, t) and&nbsp;&#981;<span style=\"font-size: 8pt;\">2<\/span>(&sigma;, t) when&nbsp;&sigma; = 0.75<\/em><\/p>\n<p>It is interesting to notes that the peaks and valley floors or the triangular and cosine waves seem to be correlated, occurring at similar times. What&#8217;s more, for the cosine wave, when a zero of the blue curve is close to a zero of the orange curve (that is then these curves cross the X-axis at a similar time), the zero of the orange curve occurs first. This seems to be true too for the triangular wave, at least when <em>t<\/em>&nbsp; &lt;&nbsp; 600.<\/p>\n<p><strong>Exercise<\/strong>: Show (numerically) that the cross-correlation between&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">1<\/span>(<em>&sigma;, t<\/em>) <em>and&nbsp;&#981;<\/em><span style=\"font-size: 8pt;\">2<\/span>(<em>&sigma;, t<\/em>) is apparently zero, for the cosine wave. However, if you shift the orange curve, replacing&nbsp; <em>&#981;<\/em><span style=\"font-size: 8pt;\">2<\/span>(<em>&sigma;, t<\/em>) by&nbsp;<em>&#981;<\/em><span style=\"font-size: 8pt;\">2<\/span>(<em>&sigma;, t<\/em> +<em>&nbsp;&tau;<\/em>), the correlation may no longer be zero. Find&nbsp;<span><em>&tau;<\/em> (numerically) that maximizes the cross-correlation in question.&nbsp;<\/span><\/p>\n<p><span>The Perl source code is available&nbsp;<a href=\"https:\/\/storage.ning.com\/topology\/rest\/1.0\/file\/get\/8393110255?profile=original\" target=\"_blank\" rel=\"noopener noreferrer\">here<\/a>. Note that converge is very slow, as discussed <a href=\"https:\/\/www.datasciencecentral.com\/profiles\/blogs\/spectacular-visualization-the-eye-of-the-riemann-zeta-function\" target=\"_blank\" rel=\"noopener noreferrer\">in my previous article<\/a>.&nbsp;<\/span><\/p>\n<\/p>\n<p><em><strong>About the author<\/strong>:&nbsp; Vincent Granville is a d<span class=\"lt-line-clamp__raw-line\">ata science pioneer, mathematician, book author (Wiley), patent owner, former post-doc at Cambridge University, former VC-funded executive, with 20+ years of corporate experience including CNET, NBC, Visa, Wells Fargo, Microsoft, eBay. Vincent also founded and co-founded a few start-ups, including one with a successful exit (Data Science Central acquired by Tech Target).<\/span>&nbsp;You can access Vincent&#8217;s articles and books,<span>&nbsp;<\/span><a href=\"https:\/\/www.datasciencecentral.com\/profiles\/blogs\/my-data-science-machine-learning-and-related-articles\" target=\"_blank\" rel=\"noopener noreferrer\">here<\/a>.<\/em><\/p>\n<\/div>\n<p><a href=\"https:\/\/www.datasciencecentral.com\/xn\/detail\/6448529:BlogPost:1007807\">Go to Source<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Author: Vincent Granville This is the second part of my article Spectacular Visualization: The Eye of the Riemann Zeta Function, focusing on the most infamous [&hellip;] <span class=\"read-more-link\"><a class=\"read-more\" href=\"https:\/\/www.aiproblog.com\/index.php\/2021\/01\/06\/deep-visualizations-to-help-solve-riemanns-conjecture\/\">Read More<\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":461,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_bbp_topic_count":0,"_bbp_reply_count":0,"_bbp_total_topic_count":0,"_bbp_total_reply_count":0,"_bbp_voice_count":0,"_bbp_anonymous_reply_count":0,"_bbp_topic_count_hidden":0,"_bbp_reply_count_hidden":0,"_bbp_forum_subforum_count":0,"footnotes":""},"categories":[26],"tags":[],"_links":{"self":[{"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/posts\/4270"}],"collection":[{"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/comments?post=4270"}],"version-history":[{"count":0,"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/posts\/4270\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/media\/464"}],"wp:attachment":[{"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/media?parent=4270"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/categories?post=4270"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.aiproblog.com\/index.php\/wp-json\/wp\/v2\/tags?post=4270"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}