Live data from Hacker News

Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

viterbischool.usc.edu

11–20 of 74 posts

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#11
post #2

Can someone eli5 the lindelof hypothesis?

The Riemann zeta function is the function

zeta(s) = 1 + 1/2^s + 1/3^s + 1/4^s + 1/5^s + 1/6^s + ....

For example,

zeta(2) = 1 + 1/4 + 1/9 + 1/16 + 1/25 + 1/36 + ... = pi^2/6.

As a partially tongue-in-cheek example,

zeta(-1) = 1 + 2 + 3 + 4 + 5 + 6 + ... = -1/12.

Obviously it doesn't make sense to add all the positive integers (the series doesn't converge), but if you squint and ignore this, and just do the arithmetic a certain way, you get -1/12.

The original definition I gave is valid when s is a complex number with real part greater than 1. But the Riemann zeta function can be proved to have analytic continuation: zeta(s) makes sense for any complex number s, other than 1. For example, zeta(-1) really equals -1/12.

The zeta function is easy to understand when the real part is greater than 1: the formula I described is enough. Because of the so-called functional equation, it is also easy to understand when the real part is less than 0. But it is in the middle that all of its secrets lie. For example, the notoriously unsolved Riemann Hypothesis stipulates that the "nontrivial" zeroes all have real part 1/2.

The Lindelof Hypothesis stipulates that the zeta function grows very slowly along this line (real part = 1/2). It is very closely related to the Riemann Hypothesis. More technical, and of less direct interest to nonspecialists, but in the same family of problems.

As an example of how much mathematicians care about this, here are the Google search results for "subconvexity bound":

https://www.google.com/search?q=subconvexity+bound

A "subconvexity bound" is any result which approaches the Lindelof Hypothesis, for either the Riemann zeta function or a more general "L-function". A lot of ink has been spilled on proving results weaker than what Fokas is claiming.

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#12

Speaking as an analytic number theorist, the branch of math of which the Lindelof Hypothesis is part: This is a huge deal, if true. But USC's PR machine seems to have jumped the gun. The paper in question, found here https://arxiv.org/pdf/1708.06607.pdf has so far only been posted to the arXiv (and only eight days ago). It has presumably not been subjected to any sort of peer review yet. No third party other than USC…

There are earlier revisions of that arxiv submission from 2017. I think if it had introduced an idea that can prove a problem this hard, it would have already been creating buzz. Otherwise I don't know what to make of its submission history.

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#13

Earlier quoted context omitted.

I think it's because any information we gain about the Riemann Hypothesis (Lindelöf hypothesis is implied by RH) gives us information about the distribution of prime numbers. Any time you gain information about the distribution of prime numbers you immediately gain information that can be applied to any form of cryptography that makes use of prime numbers. You could use this information either to break existing forms…

So, people hire you to break into their places... to make sure no one can break into their places?

[deleted]

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#14

Earlier quoted context omitted.

I think it's because any information we gain about the Riemann Hypothesis (Lindelöf hypothesis is implied by RH) gives us information about the distribution of prime numbers. Any time you gain information about the distribution of prime numbers you immediately gain information that can be applied to any form of cryptography that makes use of prime numbers. You could use this information either to break existing forms…

So, people hire you to break into their places... to make sure no one can break into their places?

AKA pentesting

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#15

Speaking as an analytic number theorist, the branch of math of which the Lindelof Hypothesis is part: This is a huge deal, if true. But USC's PR machine seems to have jumped the gun. The paper in question, found here https://arxiv.org/pdf/1708.06607.pdf has so far only been posted to the arXiv (and only eight days ago). It has presumably not been subjected to any sort of peer review yet. No third party other than USC…

There are earlier revisions of that arxiv submission from 2017. I think if it had introduced an idea that can prove a problem this hard, it would have already been creating buzz. Otherwise I don't know what to make of its submission history.

[nevermind]

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#16

What exactly is the application for cyber security? How does this affect cryptography?

I can't point exactly to any particular thing, but I can tell you how to identify them! The magic words are "Assuming the Riemann Hypothesis..."

Any time you see somebody say "We assume RH," or "assuming RH," then any stepping stone to RH makes this assumption more reasonable/likely/anticipated. At this point many working mathematicians will hold opinions like "RH is true" or "RH is true or there's a Siegel zero" so this is kind of like assuming plate tectonics in a seismology paper, or assuming human interference in the atmosphere in a climatology paper.

In cryptography, the only times I can recall having seen it, they meant only "assuming the primes are remarkably well-behaved in their distribution." The primes are empirically remarkably well-behaved, including in the neighborhoods of typical RSA keys. So this is not surprising or unexpected, and improvements on RH should only reinforce our confidence in our empirical techniques.

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#17
post #2

Can someone eli5 the lindelof hypothesis?

Not eli5, but a comparison to the Riemann Hypothesis (RH). RH says the Riemann-zeta function has no zeros along the line (1/2) + iy in the complex plane. The Lindelof hypothesis says that the number of zeros between (1/2) + iy and (1/2) + i(y+1) is much smaller (little-o) than log(y) as y grows. So it can be thought of as a weaker version of RH, but still very very difficult. The fact that Lindelof has been an open p…

I think you've flipped the condition: the RH says the Riemann zeta function _only_ has zeros along the line 1/2 + iy. (And, indeed, there are known zeros along this line: 1/2 + 14.135... i.)

The Lindelöf hypothesis is, apparently, equivalent to: the number of zeros with real part greater than 1/2+epsilon and imaginary part between y and y+1 is o(log(y)), for any epsilon > 0. That is, boxes of height 1 starting just off the critical line contain few zeros; the RH implies they contain zero.

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#18

Earlier quoted context omitted.

There are earlier revisions of that arxiv submission from 2017. I think if it had introduced an idea that can prove a problem this hard, it would have already been creating buzz. Otherwise I don't know what to make of its submission history.

[nevermind]

The work of Athanassios Fokas is hardly unnoticed or scoffed at, in general.

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#19

Speaking as an analytic number theorist, the branch of math of which the Lindelof Hypothesis is part: This is a huge deal, if true. But USC's PR machine seems to have jumped the gun. The paper in question, found here https://arxiv.org/pdf/1708.06607.pdf has so far only been posted to the arXiv (and only eight days ago). It has presumably not been subjected to any sort of peer review yet. No third party other than USC…

Sure. We've put that title above.

Re: Mathematician-M.D. claims to have solved the 110-year-old Lindelöf hypothesis

#20

Speaking as an analytic number theorist, the branch of math of which the Lindelof Hypothesis is part: This is a huge deal, if true. But USC's PR machine seems to have jumped the gun. The paper in question, found here https://arxiv.org/pdf/1708.06607.pdf has so far only been posted to the arXiv (and only eight days ago). It has presumably not been subjected to any sort of peer review yet. No third party other than USC…

[EDIT: edited this comment substantially.]

Speaking as an analytic number theorist, the branch of math of which the Lindelof Hypothesis is part, could you tell us what you personally think of the paper?

(Let's try to avoid just gratuitous negativity: https://blog.ycombinator.com/new-hacker-news-guideline/ )

I read the paper after you linked it and it seems serious. Fokas is the guy who invented the Fokas Method - https://en.wikipedia.org/wiki/Fokas_method

Structurally this is what my impression is of the paper (I don't understand the math):

The result seemed very well-presented, includes background and a 2-page inroduction, summarizes the derivation of the main result from page 5-12, derives its main theorems and lemmas used, and then from p. 50-52 summarizes it all again. Finally three appendices in 4 pages provide some numerical verification (a sanity check) and an acknowledgment section says "This project would not have been completed without the crucial contribution of Kostis Kalimeris. Kostis has studied extensively the classical techniques for the estimation of single and multiple exponential sums; these techniques are used extensively in our joint paper with Kostis [KF] and some of the results of this paper are used in section 6. Furthermore, Kostis has checked the entire manuscript and has made important contributions to the completion of some of the results presented here." There are another 7 paragraphs of acknowledgments going back more than 3 years, and finally 3 pages of references, including to private correspondence and preprints.

The affiliations on the paper are Department of Applied Mathematics and Theoretical Physics, University of Cambridge, and Viterbi School of Engineering, University of Southern California.

Additionally, this researcher has a proven track record, his Wikipedia article says:

>He has made seminal contributions in a remarkably broad range of areas which include: symmetries, integrable nonlinear PDEs, Painleve' equations and random matrices, models for leukemia and protein folding, electro-magneto-enchephalography, nuclear imaging, and relativistic gravity. Also, he has introduced a completely new method for solving boundary value problems known as the Fokas method, which has been acclaimed as the most important development in the analytical treatment of PDEs since the introduction of the Fourier transform

He is the winner of the Naylor prize (past winners include Roger Penrose, 1991 and Stephen Hawking, 1999, among others) and holds 7 honorary doctorates (right side of his Wikipedia page.)

Post reply on HN