Προβολή πηγαίου κώδικα για τη σελίδα Υπόθεση Ρίμαν

{{επιμέλεια|γλωσσικά, σύνδεσμοι}}
{{πηγές|25|06|2014}}
[[File:RiemannCriticalLine.svg|thumb|Το πραγματικό μέρος (κόκκινο) και το φανταστικό μέρος (μπλε) της συνάρτησης ζήτα του Ρίμαν, καθώς και η κρίσιμη ευθεία Re(''s'') = 1/2. Οι πρώτες μη τετριμμένες ρίζες της συνάρτησης, εμφανίζονται στα Im(''s'') = ±14.135, ±21.022 and ±25.011.]]
Στα μαθηματικά η '''Υπόθεση Ρίμαν''', η οποία εισήχθη από τον {{harvs|txt|first=Μπέρναρντ|last=Ρίμαν|year=1859|author-link=Μπέρναρντ Ρίμαν}}, είναι η [[εικασία]], πως οι μη τετριμμένες [[Ρίζα (μαθηματικά)|ρίζες]] της [[Συνάρτηση ζήτα|συνάρτησης ζήτα του Ρίμαν]], έχουν όλες [[Μιγαδικός αριθμός|πραγματικό μέρος]] 1/2.  Η ίδια ονομασία χρησιμοποιείται για σχετικά θέματα, όπως η [[Υπόθεση Ρίμαν για καμπύλες σε πεπερασμένα πεδία]].

Η υπόθεση Ρίμαν συνεπάγεται αποτελέσματα για την κατανομή των [[Πρώτος αριθμός|πρώτων αριθμών]]. Συμπεριλαμβανομένων κατάλληλων γενικεύσεων, θεωρείται από κάποιους μαθηματικούς, ως το σημαντικότερο άλυτο πρόβλημα των [[Καθαρά μαθηματικά|θεωρητικών μαθηματικών]]{{harv|Bombieri|2000}}. Η υπόθεση Ρίμαν, μαζί με την [[Εικασία του Γκόλντμπαχ]], αποτελεί μέρος του [[ογδόου προβλήματος του Χίλμπερτ]] στον κατάλογο του [[Ντάβιντ Χίλμπερτ]] των [[Προβλήματα του Χίλμπερτ|23 άλυτων προβλημάτων]]. Αποτελεί επίσης ένα από τα [[προβλήματα της χιλιετίας]] του [[Clay Mathematics Institute]].

Η συνάρτηση ζήτα του Ρίμαν ζ(''s'') είναι μια [[συνάρτηση]] της οποίας το όρισμα ''s'' μπορεί να είναι οποιοσδήποτε [[μιγαδικός αριθμός]] εκτός του 1, και της οποίας οι τιμές είναι επίσης μιγαδικοί. Έχει ρίζες τους αρνητικούς άρτιους αριθμούς; για τους οποίους ζ(''s'')&nbsp;=&nbsp;0, όταν το ''s'' είναι ένας από τους -2, -4, -6,&nbsp;.... Αυτές ονομάζονται '''τετριμμένες ρίζες'''. Ωστόσο, ακόμη και οι αρνητικοί άρτιοι ακέραιοι δεν είναι οι μόνες τιμές για τις οποίες η συνάρτηση ζήτα είναι μηδέν. Οι άλλες ονομάζονται ''μη-τετριμμένες ρίζες''. Η υπόθεση Ρίμαν αναφέρεται για τις θέσεις αυτών των μη τετριμμένων ριζών, και δηλώνει ότι:

:Το πραγματικό μέρος κάθε μη τετριμμένης ρίζας της συνάρτησης ζήτα είναι&nbsp;{{sfrac|2}}.

Έτσι, εάν η υπόθεση είναι σωστή, όλες οι μη τετριμμένες ρίζες βρίσκονται στην '''κρίσιμη γραμμή''' που αποτελείται από τους μιγαδικούς αριθμούς {{sfrac|2}} + ''it'', όπου ''t'' είναι ένας [[πραγματικός αριθμός]] και ''i'' είναι η [[φανταστική μονάδα]].

Υπάρχουν αρκετά μη τεχνικά βιβλία για την υπόθεση Ρίμαν, όπως {{harvtxt|Derbyshire|2003}}, {{harvtxt|Rockmore|2005}}, {{harvtxt|Sabbagh|2003}},
{{harvtxt|du Sautoy|2003}}.Τα βιβλία {{harvtxt|Edwards|1974}}, {{harvtxt|Patterson|1988}}, {{harvtxt|Borwein|Choi|Rooney|Weirathmueller|2008}} και {{harvtxt|Mazur|Stein|2014}} δίνουν μαθηματικές εισαγωγές, καθώς {{harvtxt|Titchmarsh|1986}}, {{harvtxt|Ivić|1985}} και {{harvtxt|Karatsuba|Voronin|1992}} είναι προηγμένες μονογραφίες.

==Συνάρτηση ζήτα του Ρίμαν==
Η [[Συνάρτηση ζήτα|συνάρτηση ζήτα του Ρίμαν]] ορίζεται για μιγαδικούς ''s'' με πραγματικό μέρος μεγαλύτερο του 1 με [[Απόλυτη σύγκλιση|απολύτως συγκλίνουσα]] [[άπειρη σειρά]]
:<math>\zeta(s) = \sum_{n=1}^\infty \frac{1}{n^s} = \frac{1}{1^s} + \frac{1}{2^s} + \frac{1}{3^s} + \cdots.</math>
Ο [[Λέοναρντ Όιλερ]] έδειξε ότι αυτή η σειρά ισούται με το [[γινόμενο του Όιλερ]]
:<math>\zeta(s) = \prod_{p \text{ prime}} \frac{1}{1-p^{-s}}= \frac{1}{1-2^{-s}}\cdot\frac{1}{1-3^{-s}}\cdot\frac{1}{1-5^{-s}}\cdot\frac{1}{1-7^{-s}} \cdots \frac{1}{1-p^{-s}} \cdots</math>
όπου το [[άπειρο γινόμενο]] εκτείνεται σε όλους τους πρώτους αριθμούς p, και πάλι συγκλίνει για μιγαδικούς '' s'' με πραγματικό μέρος μεγαλύτερο του 1. Η σύγκλιση του γινομένου του Όιλερ δείχνει ότι η ζ(''s'') δεν έχει μηδενικά σε αυτή την περιοχή, όπως κανένας από τους παράγοντες δεν έχει μηδενικά.

Η υπόθεση Ρίμαν μιλά για ρίζες εκτός της περιοχής σύγκλισης αυτής της σειράς, άρα πρέπει να είναι [[Αναλυτική Συνέχεια|αναλυτικά συνέχής]] σε όλους τους μιγαδικούς ''s''. Αυτό μπορεί να γίνει εκφράζοντας την με όρους της [[Συνάρτηση Dirichlet|συνάρτησης Dirichlet]] όπως ακολουθεί. Εάν το πραγματικό μέρος του ''s'' είναι μεγαλύτερο από ένα, τότε η συνάρτηση ζήτα ικανοποιεί
:<math>\left(1-\frac{2}{2^s}\right)\zeta(s) = \sum_{n=1}^\infty \frac{(-1)^{n+1}}{n^s} = \frac{1}{1^s} - \frac{1}{2^s} + \frac{1}{3^s} - \cdots.</math>
Ωστόσο, η σειρά στα δεξιά συγκλίνει όχι μόνο όταν το ''s'' είναι μεγαλύτερο της μονάδας, αλλά γενικότερα όποτε το ''s'' έχει θετικό πραγματικό μέρος. Έτσι, αυτή η εναλλακτική σειρά επεκτείνει τη συνάρτηση ζήτα από το Re(''s'')> 1 στο μεγαλύτερο πεδίο ορισμού Re(''s'')> 0, εξερώντας τις ρίζες <math>s = 1 + 2\pi in/\ln(2)</math> του <math>1-2/2^s</math> (βλ. [[συνάρτηση Dirichlet]]). Η συνάρτηση ζήτα μπορεί να επεκταθεί σε αυτές τις τιμές, καθώς, παίρνοντας όρια, δίνοντας μια πεπερασμένη τιμή για όλες τις τιμές του '' s'' με θετικό πραγματικό μέρος, εκτός από ένα [[Απλός πόλος|απλό πόλο]] στο ''s''&nbsp;=&nbsp;1.

Στη λωρίδα 0<Re(''s'')<1 η συνάρτηση ζήτα ικανοποιεί τη [[συναρτησιακή εξίσωση]]
:<math>\zeta(s) = 2^s\pi^{s-1}\ \sin\left(\frac{\pi s}{2}\right)\ \Gamma(1-s)\ \zeta(1-s).</math>
Κάποιος μπορεί στη συνέχεια να ορίσει τη ζ(''s'') για όλους τους υπόλοιπους μη μηδενικούς μιγαδικούς αριθμούς ''s'' υποθέτοντας ότι η εξίσωση αυτή ισχύει εκτός της λωρίδας, και αφήνοντας τη ζ(''s'') να ισούται με το δεξί μέρος της εξίσωσης, όποτε το ''s'' έχει μη θετικό πραγματικό μέρος. Αν το ''s'' είναι ένας αρνητικός ακέραιος ζυγός, τότε ζ(''s'') = 0, επειδή ο παράγοντας sin(π''s''/2) εξαφανίζεται; αυτές είναι οι '''τετριμμένες ρίζες''' της συνάρτησης ζήτα. (Αν ''s'' είναι ένας θετικός ζυγός ακέραιος, αυτό το όρισμα δεν εφαρμόζει γιατί οι ρίζες του sin ακυρώνονται από τους πόλους της [[Συνάρτηση γάμμα|συνάρτησης γάμμα]], καθώς παίρνει ορίσματα αρνητικούς ακεραίους.) Η τιμή [[1 + 1 + 1 + 1 + · · ·|ζ(0)&nbsp;=&nbsp;−1/2]] δεν καθορίζεται από τη συναρτησιακή εξίσωση, αλλά είναι η οριακή τιμή της ζ(''s'') αφού το ''s'' πλησιάζει το μηδέν. Η συναρτησιακή εξίσωση συνεπάγεται επίσης ότι η συνάρτηση ζήτα δεν έχει άλλες ρίζες με αρνητικό πραγματικό μέρος εκτός από τις τετριμμένες ρίζες, άρα όλες οι μη τετριμμένες ρίζες βρίσκονται στην '''κρίσιμη λωρίδα'''  όπου το ''s'' έχει πραγματικό μέρος μεταξύ 0 και 1.

==Ιστορία==
{{quote box |align=right |width=30% |quote="{{lang|de|…es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.}}"<br /><br />"…είναι πολύ πιθανό ότι όλες οι ρίζες είναι πραγματικές. Φυσικά κάποιος θα ήθελε μια αυστηρή απόδειξη εδώ; Έχω προς το παρόν, μετά από κάποιες φευγαλέες μάταιες απόπειρες, προσωρινά βάλει στην άκρη την αναζήτηση για αυτό, καθώς φαίνεται περιττή για τον επόμενο στόχο της έρευνας μου." |source =Δήλωση του Ρίμαν για την υπόθεση Ρίμαν, από {{harv|Ρίμαν|1859}}. (Μιλούσε για μια έκδοση της συνάρτησης ζήτα, τροποποιημένη έτσι ώστε οι ρίζες της να είναι πραγματικοί παρά πάνω στην κρίσιμη γραμμή.)}}
  
Στην εφημερίδα του 1859 ''On the Number of Primes Less Than a Given Magnitude'' ο Ρίμαν βρήκε ένα [[Αναλυτικός τύπος|αναλυτικό τύπο]] για τον [[Πρώτος αριθμός|αριθμό των πρώτων]] π(''x'') λιγότερο από ένα δοσμένο αριθμό ''x''. Ο τύπος του δινόταν από από όρους της σχετικής συνάρτησης

:<math>\begin{align}\Pi(x) &= \pi(x) +\tfrac{1}{2}\pi(x^{\frac{1}{2}}) +\tfrac{1}{3}\pi(x^{\frac{1}{3}}) +\tfrac{1}{4}\pi(x^{\frac{1}{4}}) \\ &\ \ \ \ +\tfrac{1}{5}\pi(x^{\frac{1}{5}}) +\tfrac{1}{6}\pi(x^{\frac{1}{6}}) +\cdots\end{align}</math>

η οποία μετρά τους πρώτους και τις πρώτες δυνάμεις μέχρι το ''x'', μετρώντας μια πρώτη δύναμη ''p''<sup>''n''</sup> σαν 1/''n'' ενός πρώτου. Το πλήθος των πρώτων μπορεί να ανακτηθεί από αυτή τη συνάρτηση από

:<math>\begin{align} \pi(x) &= \sum_{n=1}^{\infty}\frac{\mu(n)}{n}\Pi(x^{\frac{1}{n}}) \\ &= \Pi(x) -\frac{1}{2}\Pi(x^{\frac{1}{2}}) -\frac{1}{3}\Pi(x^{\frac{1}{3}})  -\frac{1}{5}\Pi(x^{\frac{1}{5}}) \\
&\ \ \ \ +\frac{1}{6}\Pi(x^{\frac{1}{6}}) -\cdots, \end{align}</math>

όπου μ είναι η [[συνάρτηση του Möbius]]. Ο τύπος του Ρίμαν γίνεται ακολούθως

:<math>\begin{align}\Pi_0(x) &= \operatorname{Li}(x) - \sum_\rho \operatorname{Li}(x^\rho) -\log(2) \\ &\ \ \ \ +\int_x^\infty\frac{dt}{t(t^2-1)\log(t)}\end{align}</math>

όπου το άθροισμα είναι μεγαλύτερο των μη τετριμμένων ρίζών της συνάρτησης ζήτα και όπου Π<sub>0</sub> είναι μια ελαφρώς τροποποιημένη εκδοχή της Π, η οποία αντικαθιστά τη τιμή της στα σημεία ασυνέχειας της με το μέσο όρο των άνω και κάτω ορίων της:

:<math>\Pi_0(x) = \lim_{\varepsilon \to 0}\frac{\Pi(x-\varepsilon)+\Pi(x+\varepsilon)}2.</math>

Η άθροιση στον τύπο του Ρίμαν δεν είναι [[Απόλυτη σύγκλιση|απολύτως συγκλίνουσα]], αλλά μπορεί να εκτιμηθεί παίρνοντας τις ρίζες ρ με σειρά βάση της απόλυτης τιμής του φανταστικού τους μέρους. Η συνάρτηση Li που προκύπτει στον πρώτο όρο είναι η (μη αντισταθμίσιμη) [[λογαριθμική συνάρτηση ολοκληρώματος]] που δίνεται από την [[κύρια τιμή Cauchy]] του αποκλίνονοντος ολοκληρώματος
:<math>\operatorname{Li}(x) = \int_0^x\frac{dt}{\log(t)}.</math>
Οι όροι Li(''x''<sup>ρ</sup>) που αφορούν τις ρίζες της συνάρτησης ζήτα χρειάζονται κάποια προσοχή στον ορισμό τους καθώς η Li έχει σημεία διακλάδωσης στο 0 και 1, και ορίζονται (για ''x''&nbsp;>&nbsp;1) με αναλυτική συνέχεια στη μιγαδική μεταβλητή ρ μέσα στην περιοχή Re(ρ)&nbsp;>&nbsp;0, δηλαδή θα πρέπει να θεωρούνται ως [[Εκθετικό ολοκλήρωμα|Ei]](ρ ln x). Οι άλλοι όροι αντιστοιχούν επίσης σε ρίζες: ο κυρίαρχος όρος Li(''x'') προέρχεται από το πόλο στο ''s''&nbsp;=&nbsp;1, θεωρούμενος ως μια ρίζα πολλαπλότητας -1, και οι υπόλοιποι μικροί όροι προέρχονται από τις τετριμμένες ρίζες. Για κάποιες γραφικές παραστάσεις των αθροισμάτων των πρώτων μερικών όρων της σειράς αυτής βλ. {{harvtxt|Riesel|Göhl|1970}} ή {{harvtxt|Zagier|1977}}.

Αυτός ο τύπος λέει ότι οι ρίζες της συνάρτησης ζήτα του Ρίμαν ελέγχουν τις ταλαντώσεις των πρώτων γύρω από τις "αναμενόμενες" θέσεις τους. Ο Ρίμαν γνώριζε ότι οι μη τετριμμένες ρίζες της συνάρτησης ζήτα ήταν συμμετρικά κατανεμημένες γύρω από τη γραμμή {{nowrap|''s'' {{=}} 1/2 + ''it'',}} και ήξερε ότι όλες της οι μη τετριμμένες ρίζες της πρέπει να βρίσκονται στην περιοχή {{nowrap|0 ≤ Re(''s'') ≤ 1.}} Έλεγξε ότι μερικές από τις ρίζες βρίσκονται πάνω στην κρίσιμη γραμμή με πραγματικό μέρος 1/2 και ισχυρίστηκε ότι όλες κάνουν; αυτή είναι η υπόθεση Ρίμαν.

==Συνέπειες της υπόθεσης Ρίμαν==
Οι πρακτικές χρήσεις της υπόθεσης του Ρίμαν περιλαμβάνουν πολλές δηλώσεις γνωστές σωστά κάτω από την υπόθεση Ρίμαν, και μερικές οι οποίες μπορούν να αποδειχθούν ισοδύναμες με την υπόθεση Ρίμαν.

===Κατανομή των πρώτων αριθμών===
Ο [[αναλυτικός τύπος Ρίμαν]] για τον αριθμό των πρώτων μικρότερο από ένα δοσμένο αριθμό σε όρους ενός αθροίσματος πέρα των ριζών της συνάρτησης ζήτα του Ρίμαν λέει ότι το μέγεθος των ταλαντώσεων των πρώτων γύρω από την αναμενόμενη τους θέση ελέγχεται από τα πραγματικά μέρη των ριζών της συνάρτησης ζήτα. Ειδικότερα ο όρος σφάλματος στο [[θεώρημα πρώτων αριθμών]] είναι στενά συνδεδεμένος με τη θέση των ριζών: για παράδειγμα, το [[Πλήρες διατεταγμένο σώμα|ελάχιστο ανω φράγμα]] των πραγματικών μερών των ριζών είναι το [[μέγιστο κάτω φράγμα]] των αριθμών β των οποίων το σφάλμα είναι O(''x''<sup>β</sup>){{harv|Ingham|1932}}.

Ο [[#CITEREFvon Koch1901|Von Koch (1901)]] απέδειξε ότι η υπόθεση Ρίμαν είναι ισοδύναμη με το «καλύτερο δυνατό» φράγμα για το σφάλμα του Θεωρήματος πρώτων αριθμών.

Μια ακριβής έκδοση του αποτελέσματος του Κοχ, εξαιτίας του {{harvtxt|Schoenfeld|1976}}, λέει ότι η υπόθεση Ρίμαν είναι ισοδύναμη με

:<math>|\pi(x) - \operatorname{Li}(x)| < \frac{1}{8\pi} \sqrt{x} \log(x), \qquad \text{for all } x \ge 2657. </math>

Ο {{harvtxt|Schoenfeld|1976}} έδειξε επίσης ότι η υπόθεση Ρίμαν είναι ισοδύναμη με

:<math>|\psi(x) - x| < \frac{1}{8\pi} \sqrt{x} \log^2(x), \qquad \text{for all } x \ge 73.2, </math>

όπου ''&psi;''(''x'') είναι η [[δεύτερη συνάρτηση του Chebyshev]].

===Η ανάπτυξη των αριθμητικών συναρτήσεων===
Η υπόθεση Ρίμαν συνεπάγεται ισχυρά φράγματα σχετικά με την ανάπτυξη πολλών άλλων αριθμητικών συναρτήσεων, πέραν των πρώτων αριθμών καταμετρώντας συνάρτηση παραπάνω.

Ένα παράδειγμα αφορά τη [[συνάρτηση του Möbius]] μ. Η δήλωση ότι η εξίσωση

:<math>\frac{1}{\zeta(s)} = \sum_{n=1}^\infty \frac{\mu(n)}{n^s}</math>

είναι έγκυρη για κάθε ''s'' με πραγματικό μέρος μεγαλύτερο του 1/2, με το άθροισμα στη δεξιά πλευρά να συγκλίνει, είναι ισοδύναμη με την υπόθεση Ρίμαν. Από αυτό μπορούμε να συμπεράνουμε επίσης ότι αν η [[συνάρτηση του Mertens]] ορίζεται από

:<math>M(x) = \sum_{n \le x} \mu(n)</math>

τότε ο ισχυρισμός ότι

:<math>M(x) = O(x^{\frac{1}{2}+\varepsilon})</math>

για κάθε θετικό ε είναι ισοδύναμη με την υπόθεση Ρίμαν ([[John Edensor Littlewood|J.E. Littlewood]], 1912; βλέπε για παράδειγμα: σημείο 14.25 σε {{harvtxt|Titchmarsh|1986}}). (Για την ερμηνία των συμβόλων αυτών, βλέπε [[Big Ο notation]].) Η ορίζουσα της τάξης ''n'' [[πίνακα Redheffer]] είναι ίση με ''M''(''n''), άρα η υπόθεση Ρίμαν μπορεί επίσης να αναφέρεται ως προϋπόθεση για την ανάπτυξη αυτών των καθοριστικών παραγόντων. Η υπόθεση Ρίμαν βάζει ένα μάλλον αυστηρό φράγμα στην ανάπτυξη του ''M'', από τότε που ο {{harvtxt|Odlyzko|te Riele|1985}} διέψευσε τις ελαφρώς ισχυρότερες [[εικασίες του Mertens]].

:<math>|M(x)| \le \sqrt x.</math>

Η υπόθεση Ρίμαν είναι ισοδύναμη με πολλές άλλες εικασίες σχετικά με το ρυθμό αύξησης άλλων αριθμητικών συναρτήσεων εκτός από τη μ(''n''). Ένα τυπικό παράδειγμα είναι το [[θεώρημα του Robin]] {{harv|Robin|1984}}, το οποίο ορίζει ότι αν σ(''n'') είναι η [[διαιρεταία συνάρτηση]], που δίνεται από

:<math>\sigma(n) = \sum_{d\mid n} d</math>

τότε

:<math>\sigma(n) < e^\gamma n \log \log n</math>

για όλους τους ''n'' > 5040 αν και μόνο αν η υπόθεση Ρίμαν είναι αληθής, όπου γ είναι η [[σταθερά του Οιλερ-Mascheroni]].

Ένα άλλο παράδειγμα βρέθηκε από τον [[Jérôme Franel]], και παρατάθηκε από τον [[Landau]] (βλ. {{harvtxt | Franel | Landau | 1924}}). Η υπόθεση Ρίμαν είναι ισοδύναμη με διάφορες δηλώσεις που δείχνουν ότι οι όροι της [[ακολουθίας Farey]] είναι αρκετά ομαλοί. Μια τέτοια ισοδυναμία έχει ως εξής: αν ''F''<sub>''n''</sub> είναι η Farey ακολουθία τάξης ''n'', αρχίζοντας με 1/''n'' και μέχρι το 1 / 1, τότε ο ισχυρισμός ότι για όλα τα ε> 0

:<math>\sum_{i=1}^m|F_n(i) - \tfrac{i}{m}| = O(n^{\frac{1}{2}+\epsilon})</math>

είναι ισοδύναμο με την υπόθεση Ρίμαν. Εδώ

:<math>m = \sum_{i=1}^n\phi(i)</math>

είναι ο αριθμός των όρων της ακολουθίας Farey τάξης ''n''.

Για παράδειγμα από τη θεωρία ομάδων, αν ''g''(''n'') είναι η [[συνάρτηση Λαντάου]] που δίνεται από τη μέγιστη σειρά των στοιχείων της [[Ομάδα|συμμετρικής ομάδας]] ''S'' <sub>''n''</sub> βαθμού ''n'', τότε το {{harvtxt|Massias|Nicolas|Robin|1988}} έδειξε ότι η υπόθεση Ρίμαν είναι ισοδύναμη με το φράγμα

:<math>\log g(n) < \sqrt{\operatorname{Li}^{-1}(n)}</math>

για όλα τα αρκετά μεγάλα ''n''.

===Η υπόθεση Lindelöf και η ανάπτυξη της συνάρτησης ζήτα===
Η υπόθεση Ρίμαν έχει διάφορες ασθενέστερες συνέπειες, επίσης; μια είναι η '''[[υπόθεση Lindelöf]]''' για το ρυθμό ανάπτυξης της συνάρτησης ζήτα στην κρίσιμη γραμμή, η οποία λέει ότι, για κάθε ''ε'' > 0,

:<math>\zeta\left(\frac{1}{2} + it\right) = O(t^\varepsilon),</math>

καθώς το ''t'' → ∞.

Η υπόθεση Ρίμαν συνεπάγεται επίσης αρκετά αυστηρά φράγματα για το ρυθμό ανάπτυξης της συνάρτησης ζήτα σε άλλες περιοχές της κρίσιμης λωρίδας. Για παράδειγμα, αυτό σημαίνει ότι

:<math> e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{|\zeta(1+it)|}{\log\log t}\le 2e^\gamma</math>
:<math> \frac{6}{\pi^2}e^\gamma\le \limsup_{t\rightarrow +\infty}\frac{1/|\zeta(1+it)|}{\log\log t}\le \frac{12}{\pi^2}e^\gamma</math>

άρα ο ρυθμός ανάπτυξης της ζ(1+''it'') και της αντίστροφης της θα είναι γνωστά μέχρι ένα παράγοντα 2{{harv|Titchmarsh|1986}}.

===Εικασία των μεγάλων κενών μεταξύ των πρώτων===
Το θεώρημα πρώτων αριθμών συνεπάγεται ότι, κατά μέσο όρο, το [[Κενό πρώτων|κενό]] μεταξύ του πρώτου ''p'' και του επόμενου διαδοχικού του είναι log&nbsp;''p''. Ωστόσο, κάποια κενά μεταξύ των πρώτων αριθμών μπορεί να είναι πολύ μεγαλύτερα από το μέσο όρο. Ο [[Harald Cramér|Κράμερ]] απέδειξε ότι, αν υποτεθεί η υπόθεση Ρίμαν, κάθε κενό είναι ''O''(√''p''&nbsp;log&nbsp;''p''). Αυτή είναι μια περίπτωση κατά την οποία ακόμη και το καλύτερο φράγμα που μπορεί να αποδειχθεί χρησιμοποιώντας την υπόθεση Ρίμαν είναι πολύ ασθενέστερο από το τι φαίνεται αληθινό: Η [[εικασία του Κράμερ]] λέει ότι κάθε κενό είναι ''O''((log&nbsp;''p'')<sup>2</sup>), το οποίο, καθώς μεγαλύτερο από το μέσο κενό, είναι πολύ μικρότερο από το φράγμα που συνάγεται από την υπόθεση Ρίμαν. Αριθμητικές αποδείξεις υποστηρίζουν την εικασία του Κράμερ {{harv|Nicely|1999}}.

===Κριτήρια ισοδύναμα της υπόθεσης Ρίμαν===
Πολλές καταστάσεις ισοδύναμες με την υπόθεση Ρίμαν έχουν βρεθεί, αν και μέχρι στιγμής καμιά από αυτές δεν έχει οδηγήσει σε σημαντική πρόοδο στην απόδειξη της(ή στην αναίρεση της). Μερικά τυπικά παραδείγματα είναι όπως ακολουθεί. (Άλλοι περιλαμβάνουν τη [[διαιρεταία συνάρτηση]] σ(''n'').)

Το [[κριτήριο Riesz]] δόθηκε από τον {{harvtxt | Riesz | 1916}}, σύμφωνα με το οποίο το φράγμα

:<math>-\sum_{k=1}^\infty \frac{(-x)^k}{(k-1)! \zeta(2k)}= O\left(x^{\frac{1}{4}+\epsilon}\right)</math>

ισχύει για όλα τα ε > 0 αν και μόνο αν η υπόθεση Ρίμαν ισχύει.

Ο {{harvtxt|Nyman|1950}} απέδειξε ότι η υπόθεση Ρίμαν είναι αληθής αν και μόνο αν ο χώρος των συναρτήσεων της μορφής

:<math>f(x) = \sum_{\nu=1}^nc_\nu\rho \left(\frac{\theta_\nu}{x} \right)</math>

όπου ρ(''z'') είναι το κλασματικό μέρος του ''z'', {{nowrap|0 ≤ θ<sub>ν</sub> ≤ 1}}, και

:<math>\sum_{\nu=1}^nc_\nu\theta_\nu=0</math>,

είναι πυκνό στο χώρο Hilbert ''L''<sup>2</sup>(0,1) των τετραγωνικών ολοκληρώσιμων συναρτήσεων στο διάστημα της μονάδας. Ο {{harvtxt|Beurling|1955}} το επέκτεινε αυτό, δείχνοντας ότι η συνάρτηση ζήτα δεν έχει ρίζες με πραγματικό μέρος μεγαλύτερο του 1/''p'' αν και μόνο αν αυτός ο συναρτησιακός χώρος είναι πυκνός στο ''L<sup>p</sup>''(0,1)

Ο {{harvtxt | Σάλεμ | 1953}} έδειξε ότι η υπόθεση Ρίμαν είναι αληθής αν και μόνο αν η ολοκληρωτική εξίσωση

:<math>\int_{0}^\infty\frac{z^{-\sigma-1}\phi(z)\,dz}{{e^{x/z}}+1}=0 </math>

έχει μη τετριμένες φραγμένες λύσεις <math>\phi</math> για <math>1/2<\sigma <1</math>.

Το [[Κριτήριο του Weil]] είναι η δήλωση ότι η θετικότητα μιας ορισμένης συνάρτησης είναι ισοδύναμη με την υπόθεση Ρίμαν. Σχετικό είναι το [[κριτήριο του Λι]], μια δήλωση ότι η θετικότητα μιας συγκεκριμένης ακολουθίας αριθμών είναι ισοδύναμη με την υπόθεση Ρίμαν.

Ο {{harvtxt | Speiser | 1934}} απέδειξε ότι η υπόθεση Ρίμαν είναι ισοδύναμη με τη δήλωση ότι η <math>\zeta'(s)</math>, η παράγωγος της ζ(''s''), δεν έχει ρίζες μέσα στη λωρίδα

:<math>0 < \Re(s) < \frac12.</math>

Το ότι το ζ έχει μόνο απλές ρίζες πάνω στην κρίσιμη γραμμή είναι ισοδύναμο με την παράγωγο του που δεν έχει ρίζες στην κρίσιμη γραμμή.

===Συνέπειες της γενικευμένης υπόθεσης Ρίμαν===
Πολλές εφαρμογές χρησιμοποιούν τη γενικευμένη υπόθεση Ρίμαν για σειρές Dirichlet ή συνατήσεις ζήτα αριθμιτικών πεδίων παρά απλώς την υπόθεση Ρίμαν. Πολλές βασικές ιδιότητες της συνάρτησης ζήτα μπορούν εύκολα να γενικευθούν σε όλες τις σειρές Dirichlet, έτσι είναι πιθανό ότι μια μέθοδος που αποδεικνύει την υπόθεση Ρίμαν για τη συνάρτηση ζήτα του Ρίμαν θα δούλευε επίσης για την γενικευμένη υπόθεση Ρίμαν για Dirichlet συναρτήσεις. Πολλά αποτελέσματα πρώτα αποδείχθηκαν χρησιμοποιώντας τη γενικευμένη υπόθεση Ρίμαν δόθηκαν αργότερα άνευ όρων αποδείξεις χωρίς τη χρήση της, αν και αυτά ήταν συνήθως πολύ πιο δύσκολα. Πολλές από τις συνέπειες της παρακάτω λίστας έχουν ληφθεί από τον {{harvtxt | Conrad | 2010}}.
* Το 1913, ο Gronwall έδειξε ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται ότι η [[λίστα με τα φανταστικά τετραγωνικά πεδία με αριθμό κατηγορίας 1]] του Γκάους είναι πλήρης, αν και οι Baker, Stark και Heegner έδωσαν αργότερα άνευ όρων αποδείξεις αυτού χωρίς τη χρήση της γενικευμένης υπόθεσης Ρίμαν.
* Το 1917, οι Hardy και Littlewood έδειξαν ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται μια εικασία του Chebyshev όπου
:: <math>\lim_{x\to 1^-}\sum_{p>2}(-1)^{(p+1)/2}x^p=+\infty,</math>
:η οποία λέει ότι με κάποια έννοια οι πρώτοι 3 mod 4 είναι πιο συχνοί από τους πρώτους 1 mod 4.
* Το 1923 οι Hardy and Littlewood έδειξαν ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται μια αδύναμη μορφή της [[Εικασία του Γκόλντμπαχ|εικασίας του Γκόλντμπαχ]] για μονούς αριθμούς: ότι κάθε αρκετά μεγάλος μονός αριθμός είναι το άθροισμα τριών πρώτων, αν και το 1937 ο Vinogradov έδωσε μια άνευ όρων απόδειξη. Το 1997 οι [[Jean-Marc Deshouillers|Deshouillers]], Effinger, te Riele, and Zinoviev έδειξαν ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται ότι κάθε μονός αριθμός μεγαλύτερος του 5 είναι το άθροισμα τριών πρώτων.
* Το 1934, ο Chowla έδειξε ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται ότι ο πρώτος πρώτος αριθμός στην αριθμητική πρόοδο ''a'' mod ''m'' είναι στο μέγιστο ''Km''<sup>2</sup>log(''m'')<sup>2</sup> για κάποια σταθερή σταθερά ''K''.
* Το 1967, ο Hooley έδειξε ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται την [[εικασία αρχικών ριζών του Αρτιν]].
* Το 1973, Weinberger έδειξε ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται ότι η λίστα του Όιλερ με [[ιδανικούς αριθμούς]] είναι πλήρης.
* Ο {{harvtxt|Weinberger|1973}} έδειξε ότι η γενικευμένη υπόθεση Ρίμαν για τις συναστήσεις ζήτα όλων των αλγεβρικών αριθμητικών πεδίων συνεπάγεται ότι οποιοδήποτε αριθμητικό πεδίο κλάσης 1 είναι είτε [[Ευκλείδεια περιοχή|ευκλείδειο]] ή ένα φανταστικό δευτεροβάθμιο αριθμητικό πεδίο με διακρίνουσα −19, −43, −67, or −163.
* Το 1976, ο G. Miller έδειξε ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται ότι κάποιος [[Πρώτος αριθμός|μπορεί να ελέγξει αν ένας αριθμός είναι πρώτος]] σε πολυωνυμικό χρόνο μέσω του [[Έλεγχος Μίλλερ|έλεγχου Μίλλερ]]. Το 2002, Manindra Agrawal, Neeraj Kayal και Nitin Saxena απέδειξαν αυτό το αποτέλεσμα ανευ όρων με τη χρήση του  [[AKS ελέγχου προτεραιότητας]].
* Ο {{harvtxt|Odlyzko|1990}} ανέλυσε πως η γενικευμένη υπόθεση Ρίμαν μπορεί να χρησιμοποιηθεί για να δώσει καθαρότερες εκτιμήσεις για διακρίνουσες και κλάσεις αριθμών αριθμητικών πεδίων. 
* Ο {{harvtxt|Ono|Soundararajan|1997}} έδειξε ότι η γενικευμένη υπόθεση Ρίμαν συνεπάγεται ότι η [[δευτεροβάθμια ολοκληρωτική μορφή του Ραμανούτζαν]] ''x''<sup>2</sup> +''y''<sup>2</sup> + 10''z''<sup>2</sup> εκπροσωπεί όλους τους ακέραιους αριθμούς που αντιπροσωπεύει τοπικά, με ακριβώς 18 εξαιρέσεις.

===Αποκλεισμένη μέση===
Μερικές συνέπειες της υπόθεσης Ρίμαν είναι επίσης συνέπειες της άρνησής της, και είναι έτσι θεωρήματα. Στην ανάλυση τους από [[Hecke, Deuring, Mordell, θεώρημα Heilbronn]], {{harv|Ιρλανδία|Rosen|1990|p=359}} λένε

<blockquote>Η μέθοδος της απόδειξης εδώ είναι πραγματικά εκπληκτική. Αν η γενικευμένη υπόθεση Ρίμαν είναι αληθής, τότε το θεώρημα είναι αληθές. Αν η γενικευμένη υπόθεση Ρίμαν είναι ψευδής, ο τότε το θεώρημα είναι αληθές. Έτσι, το θεώρημα είναι αλήθεια!!&nbsp; &nbsp;(σημεία στίξης στο πρωτότυπο)</blockquote>

Προσοχή πρέπει να λαμβάνεται για να καταλάβουμε τι εννοούμε λέγοντας ότι η γενικευμένη υπόθεση Ρίμαν είναι ψευδής: πρέπει κανείς να προσδιορίσει επακριβώς ποια κλάση σειρών Dirichlet δίνει ένα αντιπαράδειγμα.

====Θεώρημα του Littlewood====
Αυτό αφορά το πρόσημο του σφάλματος στο [[θεώρημα πρώτων αριθμών]].
Έχει υπολογιστεί ότι π(''x'') < Li(''x'') για όλα τα ''x'' ≤ 10<sup>23</sup>, και δεν είναι γνωστή καμία τιμή ''x'' για την οποία π(''x'') > Li(''x''). Δες αυτόν τον [[Θεώρημα πρώτων αριθμών#Αριθμητικά παραδείγματα|πίνακα]].

Το 1914 ο Littlewood απέδειξε ότι υπάρχουν αυθαίρετα μεγάλες τιμές του ''x'' για τις οποίες
:<math>\pi(x)>\operatorname{Li}(x) +\frac13\frac{\sqrt x}{\log x}\log\log\log x,</math>
και επίσης ότι υπάρχουν αυθαίρετα μεγάλες τιμές του ''x'' για τις οποίες
:<math>\pi(x)<\operatorname{Li}(x) -\frac13\frac{\sqrt x}{\log x}\log\log\log x.</math>
Έτσι η διαφορά π(''x'') − Li(''x'') αλλάζει πρόσημο απείρως πολλές φορές. Ο [[αριθμός του Skewes]] είναι μια εκτίμηση της τιμής του ''x'' που αντιστοιχεί στην πρώτη αλλαγή προσήμου.

Η απόδειξη του Littlewood χωρίζεται σε δύο περιπτώσεις: η υπόθεση Ρίμαν θεωρείται ψευδής (περίπου μισή σελίδα του {{harvnb|Ingham|1932|loc=Chapt. V}}), και η υπόθεση Ρίμαν θεωρείται αληθής (περίπου μια ντουζίνα σελίδες).

====Εικασία κλάσεων αριθμών του Γκάους====
Αυτή είναι η [[Πρόβλημα κλάσεων αριθμών|εικασία]] (πρώτη φορά αναφέρθηκε στο άρθρο 303 του Γκάους [[Disquisitiones Arithmeticae]]) ότι υπάρχει μόνο ένας πεπερασμένος αριθμός φανταστικών τετραγωνικών πεδίων με συγκεκριμένο αριθμό κλάσης. Ένας τρόπος να το αποδείξουμε θα ήταν να δείξουμε ότι η διακρίνουσα ''D'' → −∞ ο αριθμός κλάσης ''h''(''D'') →  ∞.

Η παρακάτω ακολουθία θεωρημάτων που αφορούν την υπόθεση Ρίμαν περιγράφεται στο {{Harvnb|Ireland|Rosen|1990|pp=358–361}}:

<blockquote>'''Θεώρημα (Hecke; 1918).''' Θέτουμε ''D'' < 0 να είναι η διακρίνουσα ενός φανταστικού τετραγωνικού αριθμητικού πεδίου ''K''. Υποθέτουμε την γενικευμένη υπόθεση Ρίμαν για ''L''-συναρτήσεις όλων των φανταστικών τετραγωνικών Dirichlet χαρακτήρων. Στη συνέχεια, υπάρχει μια απόλυτη σταθερά ''C'' έτσι ώστε
:<math>h(D) > C\frac{\sqrt{|D|}}{\log |D|}.</math></blockquote>

<blockquote>'''Θεώρημα (Deuring; 1933).''' Αν η υπόθεση Ρίμαν είναι ψευδής τότε ''h''(''D'') > 1 αν |''D''| είναι αρκετά μεγάλη.</blockquote>
<blockquote>'''Θεώρημα (Mordell; 1934).''' Αν η υπόθεση Ρίμαν είναι ψευδής τότε ''h''(''D'') → ∞ καθώς ''D'' → −∞.</blockquote>

<blockquote>'''Θεώρημα (Heilbronn; 1934).''' Αν η γενικευμένη υπόθεση Ρίμαν είναι ψευδής για την ''L''-συνάρτηση κάποιου φανταστικού τετραγωνικού Dirichlet χαρακτήρα τότε ''h''(''D'') → ∞ καθώς ''D'' → −∞.</blockquote>

(Στη δουλειά των Hecke και Heilbronn, οι μόνες ''L''-συναρτήσεις που προκύπτουν είναι αυτές που συνδέονται με φανταστικούς τετραγωνικούς χαρακτήρες, και είναι μόνο για αυτές τις ''L''-συναρτήσεις για τις οποίες ''η γενικευμένη υπόθεση Ρίμαν είναι αληθής'' ή ''η γενικευμένη υπόθεση Ρίμαν είναι ψευδής'' προορίζεται; ενα λάθος στη γενικευμένη υπόθεση Ρίμαν για την ''L''-συνάρτηση ενός κυβικού χαρακτήρα Dirichlet θα σήμαινε κυριολεκτικά ότι η γενικευμένη υπόθεση Ρίμαν είναι ψευδής, αλλά αυτό δεν ήταν το είδος του σφάλματος της γενικευμένης υπόθεσης Ρίμαν που είχε στο μυαλό του ο Heilbronn, άρα η υπόθεση του ήταν πιο περιορισμένη από το κανονικό ''η γενικευμένη υπόθεση Ρίμαν είναι ψευδής''.)

Το 1935, ο [[Carl Siegel]] αργότερα ενίσχυσε το αποτέλεσμα χωρίς τη χρήση υπόθεσης Ρίμαν ή γενικευμένης υπόθεσης Ρίμαν με οποιονδήποτε τρόπο.

====Η ανάπτυξη της συνάρτησης του Όιλερ====
Το 1983 ο J. L. Nicolas απέδειξε {{harv|Ribenboim|1996|p=320}} ότι

:<math>\varphi(n) < e^{-\gamma}\frac  {n} {\log \log n} </math>

για απείρως πολλά ''n'', όπου φ(''n'') είναι η [[Συνάρτηση Όιλερ|συνάρτηση του Όιλερ]] και γ είναι η [[Αριθμός e (μαθηματικά)|σταθερά του Όιλερ]].
 
Ο Ribenboim παρατηρεί ότι:
 
<blockquote>Η μέθοδος της απόδειξης είναι ενδιαφέρον, δεδομένου ότι η ανισότητα αυτή παρουσιάστηκε για πρώτη φορά με βάση την υπόθεση ότι η υπόθεση Riemann είναι αλήθής, δεύτερον υπό την αντίθετη υπόθεση. 
</blockquote>

==Γενικεύσεις και ανάλογα της υπόθεσης Ρίμαν==

===L-σειρές του Dirichlet και άλλα αριθμητικά πεδία===

Η υπόθεση Ρίμαν μπορεί να γενικευθεί αντικαθιστώντας την συνάρτηση ζήτα με την επίσημη παρόμοια, αλλά πολύ πιο γενική, παγκόσμιες [[Σώμα Αριθμών#ζ-συναρτήσεις, L-συναρτήσεις και μαθηματικός τύπος αριθμού κλάσης|L-συναρτήσεις]]. Στο ευρύτερο αυτό πλαίσιο, περιμένει κανείς οι μη τετριμμένες ρίζες των παγκόσμιων ''L''-συναρτήσεων να έχουν πραγματικό μέρος 1/2. Είναι αυτές οι εικασίες, παρά την κλασική υπόθεση Ρίμαν μόνο για την απλή συνάρτηση ζήτα του Ρίμαν, οι οποίες αντιπροσωπεύουν την πραγματική σημασία της υπόθεσης Ρίμαν στα μαθηματικά.

Η [[γενικευμένη υπόθεση Ρίμαν]] επεκτείνει την υπόθεση Ρίμαν σε όλες τις [[Σώμα Αριθμών#ζ-συναρτήσεις, L-συναρτήσεις και μαθηματικός τύπος αριθμού κλάσης|L-συναρτήσεις Dirichlet]]. Ειδικότερα, αυτό συνεπάγεται την εικασία ότι οι [[ρίζες Siegel]] (ρίζες των ''L''-συναρτήσεων μεταξύ 1/2 και 1)  δεν υπάρχουν.

Η [[επεκτεταμένη υπόθεση Ρίμαν]] επεκτείνει την υπόθεση Ρίμαν σε όλες τις [[Dedekind ζήτα συναρτήσεις]] των [[αλγεβρικών αριθμητικών πεδίων]]. Η επεκτεταμένη υπόθεση Ρίμαν για αβελιανή επέκταση των ρητών είναι ισοδύναμη με την γενικευμένη υπόθεση Ρίμαν. Η υπόθεση Ρίμαν μπορεί επίσης να επεκταθεί στις ''L''-συναρτήσεις των [[χαρακτήρων Hecke]] αριθμητικών πεδίων.

Η [[μεγαλιώδης υπόθεση Ρίμαν]] την επεκτείνει σε όλες τις [[αυτομορφική συνάρτηση ζήτα|αυτομορφικές συναρτήσεις ζήτα]], όπως είναι ο [[μετασχηματισμός του Mellin]] των [[Ιδιομορφές Hecke|ιδιομορφών Hecke]].

===Πεδία συναρτήσεων και συναρτήσεις ζήτα με πολλαπλοτήτες πέρα των πεπερασμένων πεδίων===
Ο {{harvtxt|Αρτιν|1924}} εισήγαγε τις παγκόσμιες συναρτήσεις ζήτα των (δευτεροβάθμιων) [[πεδίων συναρτήσεων]] και εικάστηκε ένα ανάλογο της υπόθεσης Ρίμαν για αυτούς, το οποίο είχε αποδειχθεί από τον Hasse της περίπτωσης γένους 1 και από τον {{harvtxt|Weil|1948}} γενικότερα. Για παράδειγμα, το γεγονός ότι το [[άθροισμα Γκάους]], του δευτεροβάθμιου χαρακτήρα ενός [[πεπερασμένου πεδίου]] μεγέθους ''q'' (με τον ''q'' περιττό), έχει απόλυτη τιμή

:<math>\sqrt{q}</math>

είναι πραγματικά ένα παράδειγμα της υπόθεσης Ρίμαν στη ρύθμιση του πεδίου συνάρτησης. Αυτό οδήγησε τον {{harvtxt|Weil|1949}} να εικάσει μια παρόμοια δήλωση για όλες τις [[Αλγεβρική πολλαπλότητα|αλγεβρικές πολλαπλότητες]]; οι αποτελεσματικές [[εικασίες του Weil]] είχαν αποδειχθεί από τον {{harvs|txt|first=Pierre|last=Deligne|authorlink=Pierre Deligne|year1=1974|year2=1980}}.

===Αριθμητικές συναρτήσεις ζήτα αριθμητικών διατάξεων και των L-παραγόντων τους===
Οι [[αριθμητικές συναρτήσεις ζήτα]] γενικεύουν τις Ρίμαν και Dedekind ζήτα συναρτήσεις καθώς και οι ζήτα συναρτήσεις με πολλαπλότητες πέρα των πεπερασμένων πεδίων σε κάθε αριθμητική διάταξη ή μια δίαταξη πεπερασμένου τύπου πάνω στους ακέραιους. Η αριθμητική συναρτηση ζήτα μιας ομαλής συνδεδεμένης ισοδιάστατης αριθμητικής δίαταξης της διάστασης του Κρόνεκερ ''n'' μπορεί να παραγοντοποιηθεί σε γινόμενο κατάλληλα ορισμένων L-συναρτήσεων και ενός βοηθητικού παράγοντα [[Ζαν-Πιερ Σερ]]{{harvs|txt|year1=1970}}. Υποθέτοντας μια συναρτησιακή εξίσωση και μερομορφική συνέχεια, η γενικευμένη υπόθεση Ρίμαν για τον L-παράγοντα αναφέρει ότι οι ρίζες της μέσα στην κρίσιμη λωρίδα <math>\Re(s)\in (0,n)</math> βρίσκονται πάνω στην κεντρική γραμμή. Αντίστοιχα, η γενικευμένη υπόθεση Ρίμαν για την αριθμητική ζήτα συνάρτηση μιας ομαλής συνδεδεμένης ισοδιάστατης αριθμητικής δίαταξης δηλώνει ότι οι ρίζες τησ μέσα στην κρίσιμη λωρίδα βρίσκονται πάνω στις κάθετες γραμμές <math>\Re(s)=1/2,3/2,\dots,n-1/2</math> και οι πόλοι της μέσα στην κρίσιμη λωρίδα βρίσκονται πάνω σε κάθετες γραμμές <math>\Re(s)=1, 2, \dots,n-1</math>. Αυτό είναι γνωστό για διατάξεις σε θετική χαρακτηριστική και ακολουθεί από τον [[Pierre Deligne]]{{harvs|txt|year1=1974|year2=1980}}, αλλά παραμένει εντελώς άγνωστη στη χαρακτηριστική μηδέν.

===Συναρτήσεις ζήτα Selberg===
{{Κύριο|Η συνάρτηση ζήτα Selberg}}
Ο {{harvtxt|Selberg|1956}} εισήγαγε τις [[συναρτήσεις ζήτα Selberg]] μιας επιφάνειας Ρίμαν. Αυτές είναι παρόμοιες με τη συνάρτηση ζήτα του Ρίμαν: έχουν μια συναρτησιακή εξίσωση, και ένα άπειρο γινόμενο παρόμοιο με το γινόμενο Όιλερ, αλλά παρμένο από κλειστές γεωδαισιακές παρά πρώτες. Ο [[τύπος ίχνους του Selberg]] είναι ο ανάλογος για τέτοιες συναρτήσεις των [[αναλυτικών τύπων]] στη θεωρία πρώτων αριθμών. Ο Selberg απέδειξε ότι οι συναρτήσεις ζήτα Selberg ικανοποιούν το ανάλογο της υπόθεσης Ρίμαν, με τα φανταστικά μέρη των ριζών τους να σχετίζονται με τις ιδιοτιμές του [[τελεστής Λαπλάς|τελεστή Λαπλάς]] της [[Επιφάνεια Ρίμαν|επιφάνειας Ρίμαν]].

===Συναρτήσεις ζήτα Ihara===
Η [[συνάρτηση ζήτα Ihara]] ενός πεπερασμένου γραφήματος είναι μια ανάλογη της συνάρτησης ζήτα Selberg που εισάχθηκε από τον Yasutaka Ihara. Ένα ομαλό πεπερασμένο γράφημα είναι ενα [[γράφημα Ραμανούτζαν]], ένα μαθηματικό μοντέλο αποτελεσματικών δικτύων επικοινωνίας, αν και μόνο αν η συνάρτηση του ζήτα Ihara ικανοποιεί την αναλογία της υπόθεσης Ρίμαν, όπως τονίστηκε από τον [[T. Sunada]].

===Εικασία ζεύγους συσχέτισης του Montgomery===
Ο {{harvtxt|Montgomery|1973}} πρότεινε την [[εικασία ζεύγους συσχέτισης]] την οποία οι συσχετισμένες συναρτήσεις των (κατάλληλα κανονικοποιημένων) ριζών της συνάρτησης ζήτα πρέπει να είναι οι ίδιες με αυτές των ιδιοτιμών ενός [[Τυχαίος ερμιτιανός πίνακας|τυχαίου ερμιτιανού πίνακα]]. Ο {{harvtxt|Odlyzko|1987}} έδειξε ότι αυτό υποστηρίζεται από μεγάλης κλίμακας αριθμητικούς υπολογισμούς αυτών των συναρτήσεων συσχέτισης.

Ο Montgomery έδειξε ότι (υποθέτοντας την υπόθεση Ρίμαν) τουλάχιστον τα 2/3 όλων των ριζών είναι απλές, και μια σχετική εικασία είναι ότι όλες οι ρίζες της συνάρτησης ζήτα είναι απλές (ή γενικότερα δεν έχουν μη τετριμμένες ακέραιες γραμμικές σχέσεις μεταξύ των φανταστικών μέρών τους). Οι [[συναρτήσεις ζήτα Dedekind]] όλων των αλγεβρικών αριθμητικών πεδίων, οι οποίες γενικεύουν την συνάρτηση ζήτα του Ρίμαν, συχνά έχουν πολλαπλές μιγαδικές ρίζες.{{παραπομπή}} Αυτό γιατί οι συναρτήσεις ζήτα Dedekind παραγοντοποιούνται σαν ένα γινόμενο δυνάμεων των [[L-συναρτήσεις του Αρτιν|L-συναρτήσεων του Αρτιν]], άρα οι ρίζες των L-συναρτήσεων του Αρτιν μερικές φορές οδηγηγούν σε πολλαπλές ρίζες των ζήτα συναρτήσεων Dedekind. Άλλα παραδείγματα ζήτα συναρτήσεων με πολλαπλές ρίζες είναι οι L-συναρτήσεις κάποιων [[Ελλειπτική καμπύλη|ελλειπτικών καμπυλών]]: αυτές μπορούν να έχουν πολλαπλές ρίζες στο πραγματικό της κρίσιμης γραμμής τους; Η [[εικασία του Birch-Swinnerton-Dyer]] προβλέπει ότι η πολλαπλότητα αυτής της ρίζας είναι η τάξη της ελλειπτικής καμπύλης.

===Άλλες συναρτήσεις ζήτα===
Υπάρχουν πολλά άλλα παραδείγματα [[Συνάρτηση ζήτα Ρίμαν|συναρτήσεων ζήτα]] με αναλογίες της υπόθεσης Ρίμαν, κάποιες από τις οποίες έχουν αποδειχθεί. Οι [[συναρτήσεις ζήτα Goss]] των πεδίων συναρτήσεων έχουν μια υπόθεση Ρίμαν, που αποδείχθηκε από τον {{harvtxt|Sheats|1998}}. [[Κύρια εικασία της θεωρίας του Iwasawa]|Η κύρια εικασία]] της [[θεωρίας του Iwasawa]], αποδείχθηκε από τους [[Barry Mazur]] και [[Andrew Wiles]] για [[κυκλοτομικά πεδία]], και από τον Wiles για [[Ολοκληρωμένο πραγματικό πεδίο|ολοκληρωμένα πραγματικά πεδία]], προσδιορίζει τις ρίζες μιας ''p''-αδικης ''L''-συνάρτησης με τις ιδιοτιμές ενός τελεστή, ώστε να μπορεί να θεωρηθεί ως ανάλογη της [[εικασίας του Χίλμπερτ–Pólya]] για [[''p''-αδικες ''L''-συναρτήσεις]] {{harv|Wiles|2000}}.

==Προσπάθειες για την απόδειξη της υπόθεσης Ρίμαν==
Αρκετοί μαθηματικοί ασχολήθηκαν την υπόθεση του Ρίμαν, αλλά καμία από τις προσπάθειές τους δεν είχαν γίνει ακόμη δεκτές ως σωστές λύσεις. Ο {{harvtxt|Γουότκινγκς|2007}} παραθέτει μερικές λανθασμένες λύσεις, και πολλά άλλα είναι [http://arxiv.org/find/grp_math/1/AND+ti:+AND+Riemann+hypothesis+subj:+AND+General+mathematics/0/1/0/all/0/1 ανακοινώθηκαν συχνά].

===Θεωρία Τελεστή===
{{main|εικασία των Χίλπμερτ-Polya}}

Οι Χίλμπερτ και Polya ισχυρίστηκαν ότι ένας τρόπος για να ολοκληρωθεί η υπόθεση του Riemann θα ήταν να βρεθεί ένας  [[αυτοσυζυγής τελεστής]], fαυτό- συζυγής τελεστής, από την ύπαρξη του οποίου θα συνεπαγόταν η δήλωση των πραγματικών μερών των μηδενικών σημείων των ζ(s), όταν θα εφαρμοζόταν το κριτήριο των πραγματικών [[Ιδιοτιμή|ιδιοτιμών]]. Ορισμένα επιχειρήματα υπέρ της εν λόγω υπόθεσης προκύπτουν από τις διάφορες αναλογίες των συναρτήσεων ζ του Riemann, των οποίων οι μηδενικές τιμές αντιστοιχούν στις ιδιοτιμές του ίδιου τελεστή: οι μηδενικές της συνάρτησης ζ της πολλαπλότητας ενός πεπερασμένου πεδίου αντιστοιχούν στις ιδιοτιμές ενός [[Στοιχείο του Frobenius|στοιχείου του Frobenius]] για μια ομάδα [[συνομολογία]]ς, τις μηδενικές τιμές της [[συνάρτησης ζ Selberg]] είναι οι ιδιοτιμές ενός [[Ανάδελτα|Τελεστής Λαπλάς]] για μία επιφάνεια του Ρίμαν, και οι μηδενικές τιμές μίας [[p-adic συνάρτησης ζήτα]] αντιστοιχούν στα ιδιοδιανύσματα μίας δράσης Galois σε [[ιδανικές ομάδες]].

Ο {{harvtxt|Odlyzko|1987}} έδειξε ότι η κατανομή των μηδενικών τιμών της συνάρτησης ζ του Reimann παρουσιάζει κοινές στατιστικές ιδιότητες με τις ιδιοτιμές των [[τυχαίο πλέγμα|τυχαίων πλεγμάτων]] που προκύπτουν από το [[Γκαουσιανό μοναδιαίο σύνολο]]. . Το στοιχείο αυτό υποστηρίζουν οι Χίλμπερτ – Polya.

Το 1999, ο [[Μάικλ Μπέρυ (φυσικός)|Μάικλ Μπέρυ]] και ο [[Jon Keating]] υποστήριξαν ότι υπάρχει μία άγνωστη ποσοτικοποίηση του  <math>\hat H</math> από την κλασική  Hamiltonian ''H'' = ''xp'' έτσι ώστε

:<math> \zeta (1/2+i\hat H) = 0 </math>

και ακόμη πιο έντονα, ότι οι μηδενικές τιμές του Reimann να είναι κοινές στο φάσμα του τελεστή <math>1/2 + i \hat H</math>. Το παραπάνω έρχεται σε αντίθεση με την [[κανονική ποσοτικοποίηση]], γεγονός που οδηγεί στην [[αρχή αβεβαιότητας του Heisenberg]] <math>[x,p]=1/2</math> και τους [[Φυσικός αριθμός|φυσικούς αριθμούς]] ως φάσμα για τον [[κβαντικός αρμονικός ταλαντωτής|κβαντικό αρμονικό ταλαντωτή]]. Το κρίσιμο σημείο είναι ότι ο Hamiltonian θα πρέπει να είναι ένας αυτό-συζυγής τελεστής, έτσι ώστε η ποσοτικοποίηση θα ήταν η υλοποίηση του προγράμματος των Χίλπμερτ–Polya. Αναφορικά με αυτό το ποσοτικό μηχανικό πρόβλημα, οι Μπέρυ–Connes ισχυρίστηκαν ότι το αντίστροφο δυναμικό του Hamiltonian συνδέεται με τη μισή - παράγωγο της συνάρτησης,

:<math> N(s)= \frac{1}{\pi}\operatorname{Arg}\xi(1/2+i\sqrt s)</math>

σύμφωνα με τη μέθοδο των Berry – Connes

:<math> V^{-1}(x) = \sqrt{4\pi} \frac{d^{1/2}N(x)}{dx^{1/2}} </math>

{{harv|Connes|1999}}. Αυτό οδηγεί σε έναν Hamiltonian, του οποίου οι ιδιοτιμές είναι το τετράγωνο του φανταστικού μέρους των μηδενικών τιμών του Ρίμαν και, επίσης, η συναρτησιακή ορίζουσα του Hamiltonian τελεστή είναι απλώς η [[συνάρτηση Xi του Ρίμαν]]. Στην πραγματικότητα η συνάρτηση Xi του Reimann θα μπορούσε να είναι ανάλογη στη συναρτησιακή ορίζουσα (παράγωγο Hadamard)

:<math> \det(H+1/4+s(s-1)) </math>

όπως αποδείχθηκε από τον Connes και άλλους.

:<math> \frac{\xi(s)}{\xi(0)}=\frac{\det(H+s(s-1)+1/4)}{\det(H+1/4)}.</math>

Η αναλογία στην υπόθεση του Riemann για τα πεπερασμένα πεδία υποδεικνύει ότι το πεδίο Hilbert, το οποίο περιέχει τις ιδιοτιμές και αντιστοιχεί στις μηδενικές τιμές μπορεί να είναι ένα είδος ομάδας συνομολογίας του [[φάσμα]]τος Spec('''Z''') των ακέραιων. Ο {{harvtxt|Deninger|1998}} παρουσίασε ορισμένες προσπάθειες που έγιναν μέχρις ότου διατυπωθεί η θεωρία συνομολογίας {{harv|Leichtnam|2005}}.

Ο [[Zagier (1983)]] κατασκεύασε ένα φυσικό πεδίο αναλλοίωτων συναρτήσεων του άνω μισού επιπέδου το οποίο έχει ιδιοδιανύσματα υπό τον τελεστή Laplacian, το οποίο αντιστοιχεί στις μηδενικές τιμές της συνάρτησης ζ του Ρίμαν – και σημείωσε ότι στη σπάνια περίπτωση που θα μπορούσε κάποιος να αποδείξει την ύπαρξη ενός κατάλληλου θετικού ορισμένου εσωτερικού γινομένου σε αυτό το πεδίο, θα μπορούσε να ακολουθήσει η υπόθεση του Ρίμαν. Ο {{harvtxt|Cartier|1982}} ανέλυσε ένα παρόμοιο παράδειγμα, όπου εξαιτίας ενός περίεργου ιού, ένα ηλεκτρονικό πρόγραμμα κατηγοριοποίησε τις μηδενικές τιμές της ζήτα συνάρτησης του Ρίμαν ως ιδιοτιμές του ίδιου Λαπλασιανού τελεστή .

Οι {{harvtxt|Schumayer|Hutchinson|2011}} μελέτησαν τις προσπάθειες που έγιναν για να κατασκευαστεί ένα κατάλληλο φυσικό μοντέλο που να σχετίζεται με τη συνάρτηση ζ του Ρίμαν.

===Θεώρημα του Lee-Yang===
Το [[Θεώρημα του Lee-Yang]] αναφέρει ότι τα μηδενικά της συγκεκριμένης συνάρτησης επιμερισμού στη στατιστική μηχανική βρίσκονται όλα σε μια "κρίσιμη γραμμή" με το πραγματικό μέρος 0, και αυτό έχει οδηγήσει σε κάποια υπόθεση για μια σχέση με την υπόθεση Ρίμαν {{harv|Knauf|1999}}.

===Αποτέλεσμα του Turán===
Ο {{harvs|authorlink=Πολ Τουράν|first=Πολ |last=Τουράν|year=1948|txt}} έδειξε ότι αν οι συναρτήσεις

:<math>\sum_{n=1}^N n^{-s}</math>

δεν έχουν μηδενικά, όταν το πραγματικό μέρος του'' s'' είναι μεγαλύτερο από ένα τότε

:<math>T(x) = \sum_{n\le x}\frac{\lambda(n)}{n}\ge 0\text{ for } x > 0,</math>

όπου λ(''n'') είναι η [[συνάρτηση Liouville]] που δίνεται από (-1)<sup>''r''</sup>, αν ο ''n'' έχει ''r'' πρώτους παράγοντες. Έδειξε ότι αυτό με τη σειρά του θα σήμαινε ότι η υπόθεση Ρίμαν είναι αλήθεια. Ωστόσο {{harvtxt|Haselgrove|1958}} απέδειξε ότι η ''Τ''(''Χ'') είναι αρνητική για απείρως πολλά ''Χ'' (και επίσης διέψευσε τη στενά συνδεδεμένη [[εικασία της Pólya]]), και {{harvtxt|Borwein|Ferguson|Mossinghoff|2008}}  έδειξε ότι τα μικρότερα τέτοια ''x'' είναι {{gaps|72|185|376|951|205}}. [[Spira]] έδειξε από αριθμητικούς υπολογισμούς ότι η πεπερασμένη σειρά Dirichlet παραπάνω, για ''Ν''=19 έχει ένα μηδέν με πραγματικό μέρος μεγαλύτερο από 1. Ο Τουράν έδειξε επίσης ότι μία κάπως ασθενέστερη υπόθεση, η ανυπαρξία των μηδενικών με πραγματικό μέρος μεγαλύτερο από το 1+''N''<sup>−1/2+ε</sup> για μεγάλο "Ν" στην πεπερασμένη σειρά Dirichlet παραπάνω, συνεπάγεται επίσης την υπόθεση Ρίμαν, αλλά ο {{harvtxt|Montgomery|1983}} έδειξε ότι για όλα τα αρκετά μεγάλα '' N'' οι σειρές αυτές έχουν μηδενικά με πραγματικό μέρος μεγαλύτερο από {{nowrap|1 + (log log ''N'')/(4 log ''N'')}}. Ως εκ τούτου, το αποτέλεσμα του Τουράν είναι [[κενή αλήθεια]] και δεν μπορεί να χρησιμοποιηθεί για να βοηθήσει να αποδειχτεί η υπόθεση Ρίμαν.

===Μη αντιμεταθετική γεωμετρία===
Ο {{harvs|last=Connes|authorlink=Alain Connes|year1=1999|year2=2000|txt}} είχε περιγράψει μια σχέση μεταξύ της υπόθεσης Ρίμαν και της [[Μη αντιμεταθετική γεωμετρία|μη αντιμεταθετικής γεωμετρίας]], και δείχνει ότι μία κατάλληλη αναλογία του [[τύπος ίχνος του Selberg|τύπου ίχνους του Selberg]] για τη δράση της [[adelic αλγεβρικές ομάδες|idèle ομάδας]] στο χώρο κατηγορίας adèle συνεπάγεται την υπόθεση Ρίμαν. Μερικές από αυτές τις ιδέες αναλύονται στο {{harvtxt|Lapidus|2008}}.

===Ο χώρος του Χίλμπερτ(Hilbert) με ακεραίες(παντού αναλυτικές) συναρτήσεις===
{{harvs|txt||first =Louis|last=de Branges |year=1992 |authorlink=Louis de Branges}}  έδειξε ότι η υπόθεση Ρίμαν θα ακολουθούταν από μια θετική συνθήκη σε ένα συγκεκριμένο χώρο του Χίλμπερτ των [[ακεραία συνάρτηση|ακεραίων συναρτήσεων]]. 
Ωστόσο ο {{harvtxt|Conrey|Li|2000}} έδειξε ότι οι απαραίτητες θετικές προϋποθέσεις δεν είναι ικανοποιητικές.

===Ψευδοκρύσταλλοι===
Η υπόθεση Ρίμαν συνεπάγεται ότι τα μηδενικά της συνάρτησης ζήτα σχηματίζουν ένα [[ψευδοκρύσταλλο]], που σημαίνει μια κατανομή με διακριτική στήριξη του μετασχηματισμού Fourier, είχε επίσης διακριτική στήριξη. 
Ο {{harvtxt|Dyson|2009}} πρότεινε, προσπαθώντας να αποδείξει την υπόθεση Ρίμαν με ταξινόμηση, ή τουλάχιστον τη μελέτη, 1-διαστάσεων ψευδοκρυστάλλων.

===Αριθμητικές ζήτα συναρτήσεις των μοντέλων των ελλειπτικών καμπυλών επί των αριθμητικών πεδίων ===
Όταν κάποιος πηγαίνει από τη γεωμετρική διάσταση ένα, π.χ. ένα αλγεβρικό αριθμητικό πεδίο, στη γεωμετρική διάσταση δύο, π.χ. ένα κανονικό μοντέλο της [[Ελλειπτική καμπύλη|ελλειπτικής καμπύλης]] ενός αριθμητικού πεδίου, το δισδιάστατο τμήμα της γενικευμένης υπόθεσης Ρίμαν για την [[συνάρτηση ζήτα]] του μοντέλου αφορά στους πόλους της συνάρτησης ζ. Στη διάσταση ένα, η μελέτη του ολοκληρώματος της ζήτα στην [[ερευνητική μελέτη του Tate]] δεν οδηγεί σε καινούργιες πληροφορίες για την υπόθεση του Riemann. Αντίθετα, στη διάσταση δύο η μελέτη του [[Ιβάν Φεσενκο]] για τη δισδιάστατη γενίκευση στη μελέτη του Tate  περιλαμβάνει μία ολοκληρωμένη παρουσίαση του ολοκληρώματος της συνάρτησης ζ που συνδέεται στενά με τη συνάρτηση ζ. Σε αυτήν την καινούργια συνθήκη, η οποία δεν υφίσταται στη διάσταση ένα, οι πόλοι της συνάρτησης ζ μπορούν να μελετηθούν μέσω του ολοκληρώματος της συνάρτησης ζ και των σχετικών adele ομάδων. Ο σχετικός ισχυρισμός του [[Ιβάν Φεσενκο|Φεσένκο (2010)]] για τη θετικότητα του τέταρτου παραγώγου μίας ορισμένης συνάρτησης που σχετίζεται με το ολοκλήρωμα της συνάρτησης ζ υποδεικνύει το πολικό τμήμα της γενικευμένης υπόθεσης Ρίμαν. Ο {{harvs|last=Suzuki|year1=2011|txt}} απέδειξε ότι ο τελευταίος, σε συνδυασμό με κάποιες τεχνικές υποθέσεις, υποδεικνύει την εικασία του Φεσένκο.

===Πολλαπλές συναρτήσεις ζ===
Η απόδειξη του Deligne για την υπόθεση Ρίμαν αναφορικά με τα πεπερασμένα πεδία χρησιμοποίησε τις συναρτήσεις ζ για την πολλαπλότητα των γινομένων, των οποίων οι μηδενικές τιμές και οι πόλοι αντιστοιχούν στο σύνολο των μηδενικών τιμών και των πόλων της πρότυπης συνάρτησης ζ, έτσι ώστε να περιοριστούν τα πραγματικά μέρη των μηδενικών τιμών της πρότυπης συνάρτησης ζ. Αναλογικά, ο  {{harvtxt|Kurokawa|1992}} εισήγαγε τις πολλαπλές συναρτήσεις ζ, των οποίων οι μηδενικές τιμές και οι πόλοι αντιστοιχούν στο σύνολο των μηδενικών τιμών και των πόλων της συνάρτησης ζ του Ρίμαν. Για να κάνει τις σειρές να συγκλίνουν περιόρισε το σύνολο των μηδενικών τιμών ή των πόλων, όλα με μη – αρνητικό υποθετικό τμήμα. Μέχρι τώρα, τα γνωστά όρια των μηδενικών τιμών και των πόλων των πολλαπλών συναρτήσεων ζ δεν είναι αρκετά δυνατά, ώστε να δώσουν χρήσιμες εκτιμήσεις για τις μηδενικές τιμές της συνάρτησης ζ του Ρίμαν.

==Τοποθεσία των μηδενικών στοιχείων==

===Πλήθος των μηδενικών στοιχείων===
Η συναρτησιακή εξίσωση σε συνδυασμό με το [[επιχείρημα της αρχής]] συνεπάγεται ότι ο αριθμός των μηδενικών της συνάρτησης ζήτα με φανταστικό μέρος μεταξύ 0 και ''T'' δίνεται από
:<math>N(T)=\frac{1}{\pi}\mathop{\mathrm{Arg}}(\xi(s)) = \frac{1}{\pi}\mathop{\mathrm{Arg}}(\Gamma(\tfrac{s}{2})\pi^{-\frac{s}{2}}\zeta(s)s(s-1)/2)</math>
για ''s''=1/2+i''T'', όπου το επιχείρημα ορίζεται μεταβάλλοντας τη συνεχώς κατά μήκος της γραμμής με Im(''s'')=''T'',  ξεκινώντας με το επιχείρημα 0 στο ∞+i''T''. Αυτό είναι το άθροισμα ενός μεγάλου, αλλά καλά κατανοητού όρου
:<math>\frac{1}{\pi}\mathop{\mathrm{Arg}}(\Gamma(\tfrac{s}{2})\pi^{-s/2}s(s-1)/2) = \frac{T}{2\pi}\log\frac{T}{2\pi}-\frac{T}{2\pi} +7/8+O(1/T) </math>

και ενός μικρού αλλά αρκετά μυστηριώδη όρου
:<math>S(T) = \frac{1}{\pi}\mathop{\mathrm{Arg}}(\zeta(1/2+iT)) =O(\log(T)).</math>
Έτσι, η πυκνότητα των μηδενικών με φανταστικό μέρος κοντά στο ''Τ'' είναι περίπου log(''T'')/2π, και η συνάρτηση ''S'' περιγράφει τις μικρές αποκλίσεις από αυτό. Η συνάρτηση ''S''(''t'') πηδά κατά 1 σε κάθε μηδενικό της συνάρτησης ζήτα, και για {{nowrap|''t'' ≥ 8}} μειώνεται μονότονα μεταξύ μηδενικών με παράγωγο κοντά −log ''t''.

Ο [[Anatolii Alexeevitch Karatsuba|Karatsuba]] (1996) απέδειξε ότι κάθε διάστημα (''T'', ''T''+''H''] για <math>H \ge T^{\frac{27}{82}+\varepsilon}</math> περιέχει τουλάχιστον
: <math> H(\ln T)^{\frac{1}{3}}e^{-c\sqrt{\ln\ln T}} </math>
σημεία όπου η συνάρτηση ''S''(''t'') αλλάζει πρόσημο.

Ο {{harvtxt|Σέλμπεργκ|1946}} έδειξε ότι ο μέσος όρος των ροπών, της δύναμμης του ''S'' δίνονται από

:<math>\int_0^T|S(t)|^{2k}dt = \frac{(2k)!}{k!(2\pi)^{2k}}T(\log \log T)^k + O(T(\log \log T)^{k-1/2}).</math>

Αυτό υποδηλώνει ότι ''S''(''T'')/(log log ''T'')<sup>1/2</sup> μοιάζει με μια [[Κανονική κατανομή|τυχαία μεταβλητή]] με μέσο όρο 0 και διακύμανση 2π<sup>2</sup> ({{harvtxt|Ghosh|1983}} απέδειξε αυτό το γεγονός).
Ειδικότερα |''S''(''T'')|  είναι συνήθως κάπου γύρω (log log ''T'')<sup>1/2</sup>, αλλά μερικές φορές πολύ μεγαλύτερες. Η ακριβής σειρά της αύξησης του ''S''('' Τ'') δεν είναι γνωστή. Δεν υπήρξε μόνιμη βελτίωση στο αρχικό φράγμα του Ρίμαν ''S''(''T'')=O(log ''T''), αν και η υπόθεση Ρίμαν συνεπάγεται το ελαφρώς μικρότερο φράγμα ''S''(''T'')=O(log ''T''/log log ''T'') {{harv|Titchmarsh|1985}}. Η πραγματική τάξη του μεγέθους μπορεί να είναι κάπως μικρότερη από αυτή, όπως τυχαίες συναρτήσεις με την ίδια κατανομή όπως ''S''(''T'') τείνουν να έχουν μεγαλύτερη ταξη για το log(''T'')<sup>1/2</sup>. Στην άλλη κατεύθυνση, δεν μπορεί να είναι πάρα πολύ μικρή: {{harvtxt|Σέλμπεργκ|1946}} showed that {{nowrap|''S''(''T'') ≠ o((log ''T'')<sup>1/3</sup>/(log log ''T'')<sup>7/3</sup>)}}, και υποθέτοντας ότι η υπόθεση Ρίμαν Μοντγκόμερι έδειξε ότι {{nowrap|''S''(''T'') ≠ o((log ''T'')<sup>1/2</sup>/(log log ''T'')<sup>1/2</sup>)}}.

Αριθμητικοί υπολογισμοί επιβεβαιώνουν ότι'' S'' αναπτύσσεται πολύ αργά: |''S''(''T'')|&nbsp;&lt;&nbsp;1 για {{nowrap|''T'' < 280}}, |''S''(''T'')|&nbsp;&lt;&nbsp;2 για ''T''&nbsp;&lt;&nbsp;{{gaps|6|800|000}}, και η μεγαλύτερη τιμή της |''S''(''T'')| που βρέθηκε μέχρι στιγμής δεν είναι πολύ μεγαλύτερη από 3 ({{harv|Odlyzko|2002}}).

Η εκτίμηση του Ρίμαν ότι ''S''(''T'')&nbsp;=&nbsp;O(log ''T''), σημαίνει ότι τα κενά μεταξύ των  μηδενικών είναι φραγμένα, και ο Littlewood το απέδειξε, δείχνοντας ότι οι διαφορές ανάμεσα στα φανταστικά τους μέρη τείνουν στο μηδέν.

===Θεώρημα των Hadamard και de la Vallée-Poussin===
Οι {{harvtxt|Hadamard|1896}} και {{harvtxt|de la Vallée-Poussin|1896}} ) ανεξαρτήτως απέδειξαν ότι το 0 δεν μπορεί να βρίσκεται στη γραμμή του Re(''s'') = 1. Στη συναρτησιακή εξίσωση όπου δεν υπάρχουν μηδενικά με πραγματικό μέρος  μεγαλύτερο από το 1,  συμπεραίνεται  ότι όλα τα μη-τετριμμένα μηδενικά πρέπει να βρίσκονται στο εσωτερικό της κρίσιμης λωρίδας {{nowrap|0 < Re(''s'') < 1}}. Αυτό ήταν ένα σημαντικό βήμα στην απόδειξη του [[Θεώρημα πρώτων αριθμών|θεωρήματος των πρώτων αριθμών]].

Τα δυο πρωτότυπα των αποδείξεων,  όπου η λειτουργία ζήτα δεν έχει μηδενικά με πραγματικό μέρος 1, είναι παρόμοια, και εξαρτώνται από την απόδειξη στην οποία προκύπτει ότι αν ζ(1+''it'') εξαφανίζεται, τότε ζ(1+2''it'') είναι μοναδική, κάτι το οποίο  δεν είναι δυνατόν. Ένας τρόπος να γίνει αυτό είναι με τη χρήση της ανισότητας
:<math>|\zeta(\sigma)^3\zeta(\sigma+it)^4\zeta(\sigma+2it)|\ge 1</math>n
για σ>1, t πραγματικό , και κοιτάζοντας στο όριο σ → 1. Αυτή η ανισότητα προκύπτει λαμβάνοντας  το πραγματικό μέρος από το λογάριθμο του Όιλερ
:<math>|\zeta(\sigma+it)| = \exp\Re\sum_{p^n}\frac{p^{-n(\sigma+it)}}{n}=\exp\sum_{p^n}\frac{p^{-n\sigma}\cos(t\log p^n)}{n},</math>
όπου το σύνολο είναι μεγαλύτερο από όλες τις  πρώτες δυνάμεις ''p''<sup>''n''</sup>, άρα
:<math>|\zeta(\sigma)^3\zeta(\sigma+it)^4\zeta(\sigma+2it)| = \exp\sum_{p^n}p^{-n\sigma}\frac{3+4\cos(t\log p^n)+\cos(2t\log p^n)}{n}</math>
το οποίο είναι τουλάχιστον 1, επειδή όλοι οι όροι στο άθροισμα είναι θετική, λόγω της ανισότητας
:<math>3+4\cos(\theta)+\cos(2\theta) = 2 (1+\cos(\theta))^2\ge0.</math>

===Περιοχές χωρίς μηδενικά===
Ο [[#CITEREFde la Vallée-Poussin1899–1900|De la Vallée-Poussin (1899–1900)]] απέδειξε ότι, εάν  {{nowrap|σ + ''it''}} είναι μηδέν της Ζήτα συνάρτησης του Ρίμαν, τότε {{nowrap|1 − σ ≥ <big>{{sfrac|''C''|log(''t'')}}</big>}} για κάποια θετική σταθερά ''C''.Με άλλα λόγια τα μηδενικά δεν μπορούν να είναι πάρα πολύ κοντά στη γραμμή {{nowrap|σ {{=}} 1:}}υπάρχει μια χωρίς-μηδενικά περιοχή  κοντά σε αυτή τη γραμμή. Αυτή η  χωρίς-μηδενικά περιοχή έχει διευρυνθεί από αρκετούς συγγραφείς. Ο {{harvtxt|Ford|2002}} έδωσε μια έκδοση με ρητές αριθμητικές σταθερές:  {{nowrap|ζ(σ + ''it''&thinsp;) ≠ 0}} όταν {{nowrap begin}}|''t''&thinsp;| ≥ 3{{nowrap end}} και

:<math>\sigma\ge 1-\frac{1}{57.54(\log{|t|})^{2/3}(\log{\log{|t|}})^{1/3}}.</math>

==Μηδενικές τιμές στην κρίσιμη γραμμή==
Ο {{harvtxt|Hardy|1914}} και ο {{harvtxt|Hardy|Littlewood|1921}} ) έδειξαν ότι υπάρχουν απείρως πολλά μηδενικά στην κρίσιμη γραμμή, εξετάζοντας στιγμές ορισμένων λειτουργιών που σχετίζονται με τη συνάρτηση Ζήτα. Ο {{harvtxt|Selberg|1942}}απέδειξε ότι τουλάχιστον ένα (μικρό) θετικό ποσοστό των μηδενικών  κείνται επί της γραμμής. Ο {{harvtxt|Levinson|1974}} βελτίωσε αυτό το ποσοστό στο ένα τρίτο των ριζών συσχετίζοντας τα μηδενικά της συνάρτησης Ζήτα με εκείνα της παραγώγου της, και ο {{harvtxt|Conrey|1989}} βελτιώθηκε περαιτέρω σε αυτό με τα  δύο πέμπτα.

Τα περισσότερα  μηδενικά βρίσκονται κοντά στην κρίσιμη γραμμή. Πιο συγκεκριμένα, οι {{harvtxt|Bohr|Landau|1914}} ) έδειξαν ότι για κάθε θετικό ε, όλα, αλλά ένα απειροελάχιστο ποσοστό των μηδενικών βρίσκονται σε απόσταση ε της κρίσιμης γραμμής. Ο {{harvtxt|Ivić|1985}} δίνει αρκετά πιο ακριβές εκδόσεις αυτού του αποτελέσματος, που ονομάζεται ''μηδενική εκτίμηση πυκνότητας'', στο οποίο δεσμεύεται ο αριθμός των μηδενικών σε περιοχές με φανταστικό μέρος στα πιο πολλά ''T'' και πραγματικό μέρος τουλάχιστον 1/2+ε.

===Εικασίες των Hardy–Littlewood===
Το 1914 ο [[Godfrey Harold Hardy]] απέδειξε ότι <math>\zeta\left(\tfrac{1}{2}+it\right)</math> ότι έχει απείρως πολλά πραγματικά μηδενικά.

Έστω ''N''(''T'') είναι ο συνολικός αριθμός των πραγματικών μηδενικών, είναι ο συνολικός αριθμός των μηδενικών περιττής τάξεως της συνάρτησης
:<math>\zeta\left(\tfrac{1}{2}+it\right),</math> 
που βρίσκεται στο διάστημα (0, ''T''].

Οι επόμενες δύο εικασίες των [[Godfrey Harold Hardy|Hardy]] and [[Τζον Έτενσορ Λίτολγουτ]] Littlewood  για την απόσταση μεταξύ των πραγματικών μηδενικών <math>\zeta\left(\tfrac{1}{2}+it\right)</math> και για την πυκνότητα των μηδενικά <math>\zeta\left(\tfrac{1}{2}+it\right)</math> για χρονικά διαστήματα (''T'', ''T''+''H''] ] για αρκετά μεγάλο ''T'' > 0, <math>H = T^{a + \varepsilon}</math> και με όσο το δυνατόν λιγότερο αξία του ''a'' > 0, όπου ε > 0 είναι αυθαίρετα μικρό αριθμό, άνοιξαν  δύο νέες κατευθύνσεις στην έρευνα της Ζήτα συνάρτησης:

'''1.''' για κάθε ε > 0 υπάρχει <math>T_0 = T_0(\varepsilon) > 0</math> ώστε για το <math>T \geq T_0</math> και <math>H=T^{0.25+\varepsilon}</math> το διάστημα <math>(T,T+H]</math> περιέχει ένα μηδενικό περιττής τάξεως της συνάρτησης <math>\zeta\bigl(\tfrac{1}{2}+it\bigr)</math>.

'''2.''' για κάθε ε> 0 υπάρχουν <math>T_0 = T_0(\varepsilon) > 0</math> και ''c'' = ''c''(ε) > 0, τέτοια ώστε για <math>T \geq T_0</math> και <math>H=T^{0.5+\varepsilon}</math> η ανισότητα <math>N_0(T+H)-N_0(T) \geq cH</math> είναι αληθής.

===Εικασία του Selberg===
:Η παρακάτω παράγραφος δεν αφορά στη [[σύγκλιση του Selberg]] αλλά στην [[εικασία του Selberg για τη συνάρτηση ζήτα]].
Ο [[Alte Selberg (1942)]] μελέτησε το πρόβλημα των Hardy – Littlewood '''2''' και απέδειξε ότι για κάθε ε>0 αντιστοιχεί <math>T_0 = T_0(\varepsilon) > 0</math> και ''c'' = ''c''(ε) > 0, με αποτέλεσμα για <math>T \geq T_0</math> και <math>H=T^{0.5+\varepsilon}</math> η ανισότητα <math>N(T+H)-N(T) \geq cH\log T</math> να είναι αληθής. Ο Selberg υπέθεσε ότι το παραπάνω θα μπορούσε να επεκταθεί σε <math>H=T^{0.5}</math>. Ο [[A. A. Karatsuba|Karatsuba (1984a, 1984b, 1985)]] απέδειξε ότι για μία σταθερή ε που ικανοποιεί τη συνθήκη 0 < ε < 0.001,, ένα αρκετά μεγάλο ''T'' και για <math>H = T^{a+\varepsilon}</math>, <math>a = \tfrac{27}{82} = \tfrac{1}{3} -\tfrac{1}{246}</math>, το διάστημα (''T'', ''T''+''H'') περιέχει τουλάχιστον ''cH''ln(''T'') πραγματικές μηδενικές τιμές από τη [[Συνάρτηση ζήτα|συνάρτηση ζήτα του Ρίμαν]] <math>\zeta\left(\tfrac{1}{2}+it\right)</math> και επομένως επιβεβαιώνει την υπόθεση του Selberg. Οι εκτιμήσεις των Selberg και Karatsuba δεν μπορούν να βελτιωθούν αναφορικά με τη σειρά ανάπτυξης καθώς ''T'' → ∞.

Ο {{harvtxt|Karatsuba|1992}} απέδειξε ότι ένα ανάλογο της υπόθεσης του Selberg ικανοποιεί σχεδόν όλα τα διαστήματα (''T'', ''T''+''H''], <math>H = T^{\varepsilon}</math>, όπου ε είναι ένας αυθαίρετος μικρός παγιωμένος θετικός αριθμός. Η μέθοδος του Karatsuba μας επιτρέπει να ερευνήσουμε τις μηδενικές τιμές της συνάρτησης ζ του Ρίμαν για τα πολύ μικρά διαστήματα της κριτικής γραμμής, δηλαδή, για τα διαστήματα (''T'', ''T''+''H''], ), το μήκος ''H'', το οποίο αναπτύσσεται πολύ αργά, ακόμα και έναν αυθαίρετα μικρό βαθμό ''Τ''. Συγκεκριμένα, απέδειξε ότι για όλους τους αριθμούς ε, το <math>\varepsilon_1</math> ικανοποιεί τη συνθήκη  <math>0<\varepsilon, \varepsilon_{1}<1</math> σχεδόν για όλα τα διαστήματα (''T'', ''T''+''H''] για <math>H\ge\exp{\{(\ln T)^{\varepsilon}\}}</math> περιέχουν τουλάχιστον  <math>H(\ln T)^{1-\varepsilon_{1}}</math> μηδενικές τιμές για τη συνάρτηση <math>\zeta\left(\tfrac{1}{2}+it\right)</math>. Αυτήν η εκτίμηση είναι πολύ κοντά στο αποτέλεσμα που προκύπτει από την υπόθεση Ρίμαν.

===Αριθμητικοί υπολογισμοί===
[[File:Riemann zeta function absolute value.png|thumb|250px|Η απόλυτη τιμή της συνάρτησης ζ]]
Η συνάρτηση

:<math>\pi^{-\frac{s}{2}}\Gamma(\tfrac{s}{2})\zeta(s)</math>

έχει τις ίδιες μηδενικές τιμές όπως η συνάρτηση ζ στην κρίσιμη γραμμή, και είναι πραγματική για την κρίσιμη γραμμή, εξαιτίας της συναρτησιακής εξίσωσης, έτσι ώστε να μπορεί κάποιος να αποδείξει την ύπαρξη των μηδενικών τιμών ακριβώς στην πραγματική γραμμή μεταξύ δύο σημείων, ελέγχοντας αριθμητικά αν η συνάρτηση έχει αντίθετα πρόσημα σε αυτά τα σημεία. Συνήθως, σε έναν τύπο

:<math>\zeta(\tfrac{1}{2} +it) = Z(t)e^{-i\theta(t)}</math>

όπου η [[Συνάρτηση ζήτα|''Z'']] συνάρτηση του Hardy και η  [[Ρίμαν–Siegel συνάρτηση θήτα]] θ ορίζονται μοναδικά από αυτόν τον τύπο και με τη συνθήκη ότι είναι ομαλές πραγματικές συναρτήσεις με θ(0) = 0. Υπολογίζοντας πολλά διαστήματα όπου η συνάρτηση ''Z'' αλλάζει πρόσημο, μπορεί κάποιος να αποδείξει ότι υπάρχουν πολλές μηδενικές τιμές για την κρίσιμη γραμμή. Για να επαληθευτεί η υπόθεση Ρίμαν μέχρι ένα υποθετικό σημείο  ''T'' των μηδενικών τιμών, θα πρέπει κανείς να ελέγξει αν υπάρχουν περαιτέρω μηδενικές τιμές κάτω από τη γραμμή αυτής της περιοχής. Αυτό μπορεί να γίνει αν υπολογίσει κανείς το συνολικό αριθμό των μηδενικών τιμών σε αυτήν την περιοχή και ελέγχοντας αν είναι ίδιος με τον αριθμό των μηδενικών τιμών που βρέθηκαν στη γραμμή. Αυτό επιτρέπει σε κάποιον να επαληθεύσει την υπόθεση Ρίμαν υπολογίζοντας οποιαδήποτε επιθυμητή τιμή ''T'' (δεδομένου ότι όλες οι μηδενικές τιμές της συνάρτησης ζ σε αυτήν την περιοχή είναι απλές και πάνω στην κρίσιμη γραμμή).

Παρακάτω παρουσιάζονται ορισμένοι υπολογισμοί των μηδενικών τιμών της συνάρτησης ζ. Μέχρι τώρα όλες οι μηδενικές τιμές που έχουν ελεγχθεί είναι πάνω στην κρίσιμη γραμμή και είναι απλές. (Μία πολλαπλή μηδενική τιμή θα μπορούσε να προκαλέσει προβλήματα στην εύρεση αλγορίθμων και η οποία εξαρτάται από τον εντοπισμό των αλλαγών στα πρόσημα μεταξύ των μηδενικών τιμών). Για τους πίνακες των μηδενικών τιμών δείτε {{harvtxt|Haselgrove|Miller|1960}} or {{harvnb|Odlyzko}}.
{| class="wikitable"
|-
!Έτος
!Πλήθος Μηδενικών
! Συγγραφέας
|-
|1859?
|3
|Ο Μ. Ρίμαν χρησιμοποίησε τον [[τύπος των Ρίμαν-Σιέγκελ|τύπο των Ρίμαν-Σιέγκελ]] (αδημοσίευτο, αλλά αναφέρθηκε στο {{harvnb|Siegel|1932}}).
|-
|1903
|15
|Ο J. P. {{harvtxt|Gram|1903}} χρησιμοποίησε την [[άθροιση των Όιλερ-Μακλόρεν]] και ανακάλυψε τον νόμο του Γκραμ. Έδειξε ότι όλα τα 10 μηδενικά με φανταστικό μέρος το πολύ 50 βρίσκονται στην κρίσιμη γραμμή με πραγματικό μέρος 1/2, από τον υπολογισμό του αθροίσματος των αντίστροφων των 10ων δυνάμεων των ριζών που βρέθηκαν. 
|-
|1914
|79 (γ<sub>''n''</sub> ≤ 200)
|Ο R. J. {{harvtxt|Backlund|1914}} εισήγαγε μια καλύτερη μέθοδος για τον έλεγχο όλων των μηδενικών σημειών, μέχρι εκείνο το σημείο που βρίσκεται πάνω στη γραμμή, μελετώντας το όρισμα ''S''(''Τ'') της συνάρτησης ζήτα.
|-
|1925
|138 (γ<sub>''n''</sub> ≤ 300)
|Ο J. I. {{harvtxt|Hutchinson|1925}} βρήκε την πρώτη αποτυχία του νόμου του Γκραμ, στο σημείο Γκραμ ''g''<sub>126</sub>.
|-
|1935
|195
|Ο E. C. {{harvtxt|Titchmarsh|1935}} χρησιμοποίησε την [[Riemann–Siegel formula]] που πρόσφατα ανακαλύφθηκε ξανα, ο οποίος είναι πολύ πιο γρήγορος από ό, τι η Euler-Maclaurin άθροιση. Χρειάζονται περίπου O(''T''<sup>3/2+ε</sup>) βήματα για τον έλεγχο μηδενικών σημείων, με φανταστικό μέρος λιγότερο από το ''Τ'', ενώ με τη μέθοδο Όιλερ-Μακλόρεν χρειάζονται περίπου O(''T''<sup>2+ε</sup>) βήματα.
|-
|1936
|1041
|Ο E. C. {{harvtxt|Titchmarsh|1936}} και ο  L. J. Comrie ήταν οι τελευταίοι που προσπάθησαν να βρουν μηδενικά, με το χέρι.
|-
|1953
|1104
|Ο A. M. {{harvtxt|Turing|1953}} βρείκε έναν πιο αποτελεσματικό τρόπο για να βεβαιωθεί ότι όλα τα μηδενικά μέχρι κάποιο σημείο, προέρχονται από τα μηδενικά που βρίσκονται πάνω στη γραμμή, ελέγχοντας ότι η ''Ζ'' έχει το σωστό πρόσημο σε διάφορα συνεχόμενα σημεία Γκραμ και χρησιμοποιώντας το γεγονός ότι  ''S''(''T'')  έχει μέση τιμή 0. Αυτό απαιτεί σχεδόν καμία επιπλέον δουλειά, επειδή το πρόσημο της'' Ζ'' στα σημεία Γκραμ είναι ήδη γνωστό από την εύρεση των μηδενικών, και εξακολουθεί να χρησιμοποιείται η ίδια μέθοδος.  Αυτή ήταν η πρώτη χρήση ενός ψηφιακού υπολογιστή για τον υπολογισμό των μηδενικων.
|-
|1956
|{{gaps|15|000}}
|Ο D. H. {{harvtxt|Lehmer|1956}} ανακάλυψε μερικές περιπτώσεις όπου η συνάρτηση ζήτα έχει μηδενικά που είναι "μόλις" που βρίσκονται πάνω στη γραμμή: δύο μηδενικά της συνάρτησης ζήτα είναι τόσο κοντά μεταξύ τους που είναι ασυνήθιστα δύσκολο να βρεθεί μια αλλαγή προσήμου μεταξύ τους. Αυτό ονομάζεται «φαινόμενο του Lehmer", και το πρώτο εμφανίζεται στα μηδενικά με φανταστικά μέρη 7005.063 και 7005.101, που διαφέρουν μόνο κατά .04, ενώ η μέση διαφορά μεταξύ των άλλων μηδενικών κοντά σε αυτό το σημείο είναι περίπου 1.
|-
|1956
|{{gaps|25|000}}
|D. H. Lehmer
|-
|1958
|{{gaps|35|337}}
|N. A. Meller
|-
|1966
|{{gaps|250|000}}
|R. S. Lehman
|-
|1968
|{{gaps|3|500|000}}
|Ο {{harvtxt|Rosser|Yohe|Schoenfeld|1969}} δήλωσε τον κανόνα του Ρόσσερ(Rosser's rule)(περιγράφεται παρακάτω).
|-
|1977
|{{gaps|40|000|000}}
|[[Ρίτσαρντ Π. Μπραντ(επιστήμονας)|Ρ. Π. Μπραντ]]
|-
|1979
|{{gaps|81|000|001}}
|Ρ. Π. Μπραντ
|-
|1982
|{{gaps|200|000|001}}
|Ρ. Π. Μπραντ, [[Johan van de Lune|J. van de Lune]], [[Herman te Riele|H. J. J. te Riele]], D. T. Winter
|-
|1983
|{{gaps|300|000|001}}
|J. van de Lune, H. J. J. te Riele
|-
|1986
|{{gaps|1|500|000|001}}
|{{harvtxt|van de Lune|te Riele|Winter|1986}} έδωσε κάποια στατιστικά στοιχεία σχετικά με τα μηδενικά και έδωσε αρκετές γραφικές παραστάσεις του ''Ζ'' σε μέρη όπου έχει ασυνήθιστη συμπεριφορά.
|-
|1987
|Μερικά μεγάλα (~10<sup>12</sup>) ύψος
|Ο {{harvs|txt|first=A. M. |last=Odlyzko|year1=1987}} υπολόγισε μικρότερο αριθμό από μηδενικά με πολύ μεγαλύτερο ύψος, περίπου 10<sup>12</sup>,  με υψηλή ακρίβεια για έλεγχο. [[Εικασία του Μοντγκόμερι για το ζεύγος συσχέτισης]].
|-
|1992
|Μερικά μεγάλα (~10<sup>20</sup>) ύψος
|Ο {{harvs|txt|first=A. M. |last=Odlyzko|year1=1992}} υπολόγισε 175 εκατομμύρια μηδενικά με ύψη περίπου 10<sup>20</sup> και μερικά ακόμη με ύψη περίπου 2{{e|20}}, και έδωσε μια εκτενή συζήτηση των αποτελεσμάτων.
|-
|1998
|10000 από τα μεγάλα (~10<sup>21</sup>) ύψος
|{{harvs|txt|first=A. M. |last=Odlyzko|year1=1998}} υπολόγισε μερικά μηδενικά με ύψους περίπου 10<sup>21</sup>
|-
|2001
|{{gaps|10|000|000|000}}
|J. van de Lune (δεν εκδόθηκε)
|-
|2004
|{{gaps|900|000|000|000}}
|S. Wedeniwski ([[ZetaGrid]] κατανεμημένα συστήματα πληροφορικής)
|-
|2004
|{{gaps|10|000|000|000|000}} και μερικά από τα μεγάλα (up to ~10<sup>24</sup>) ύψος
|Ο X. {{harvtxt|Gourdon|2004}} και ο Patrick Demichel χρησιμοποίησαν τον [[αλγόριθμος των Odlyzko–Schönhage|αλγόριθμο των Odlyzko–Schönhage]]. Έλεγξαν επίσης δύο δισεκατομμύρια μηδενικά με ύψη γύρω στα 10<sup>13</sup>, 10<sup>14</sup>, ..., 10<sup>24</sup>.
|}

===Τα σημεία του Gram===
Το [[Ρίμαν–Siegel συνάρτηση θήτα|σημείο του Gram]] Το σημείο του Gram είναι ένα σημείο πάνω στην κρίσιμη γραμμή 1/2&nbsp;+&nbsp;''it''  όπου η συνάρτηση ζ είναι πραγματική και μη – μηδενική. Αν χρησιμοποιήσουμε την παράσταση για τη συνάρτηση ζ πάνω στην κρίσιμη γραμμή, ζ(1/2&nbsp;+&nbsp;''it'') = ''Z''(''t'')e<sup>&nbsp;−&nbsp;''i''θ(''t'')</sup>,όπου η [[Συνάρτηση ζήτα|''Z'']] συνάρτηση του Hardy, , είναι πραγματική για πραγματικά  ''t'', και η θ είναι η  [[Ρίμαν–Siegel συνάρτηση θήτα]], θα διαπιστώσουμε ότι η συνάρτηση ζ είναι πραγματική όταν sin(θ(''t'')) = 0. Αυτό υποδεικνύει ότι θ(''t'') είναι ένας πολλαπλός ακέραιος του π, ο οποίος επιτρέπει τον εύκολο υπολογισμό των σημείων Gram, λόγω της θέσης τους, αντιστρέφοντας απλά τον τύπο για τη θ. Συνήθως αριθμούνται ως ''g''<sub>''n''</sub> for ''n'' = 0, 1, ..., όπου ''g''<sub>''n''</sub> είναι η μοναδική λύση για τη θ(''t'') = ''n''π.

Ο Gram σημείωσε ότι συνήθως υπήρχε ακριβώς μία μηδενική τιμή για τη συνάρτηση ζήτα μεταξύ δύο σημείων Gram; Ο Hutchinson ονόμασε αυτήν την παρατήρηση '''νόμο του Gram'''. Υπάρχουν αρκετές ακόμα δηλώσεις που αποκαλούνται νόμος του Gram: για παράδειγμα, η (−1)<sup>''n''</sup>''Z''(''g''<sub>''n''</sub>) είναι συνήθως θετική, ή η ''Z''(''t'') έχει συνήθως αντίθετο πρόσημο για διαδοχικά σημεία Gram. Τα υποθετικά σημεία γ<sub>''n''</sub>των πρώτων μηδενικών τιμών (με μπλε χρώμα) και τα πρώτα σημεία Gram ''g''<sub>''n''</sub> παρουσιάζονται στον ακόλουθο πίνακα. 
{| class="wikitable"
|-
|
|
|''g''<sub>−1</sub>
|style="background: #eef"|γ<sub>1</sub>
|''g''<sub>0</sub>
|style="background: #eef"|γ<sub>2</sub>
|''g''<sub>1</sub>
|style="background: #eef"|γ<sub>3</sub>
|''g''<sub>2</sub>
|style="background: #eef"|γ<sub>4</sub>
|''g''<sub>3</sub>
|style="background: #eef"|γ<sub>5</sub>
|''g''<sub>4</sub>
|style="background: #eef"|γ<sub>6</sub>
|''g''<sub>5</sub>
|-
|0.000
|3.436
|9.667
|style="background: #eef"|14.135
|17.846
|style="background: #eef"|21.022
|23.170
|style="background: #eef"|25.011
|27.670
|style="background: #eef"|30.425
|31.718
|style="background: #eef"|32.935
|35.467
|style="background: #eef"|37.586
|38.999
|}

[[File:Zeta polar.svg|thumb|Αυτή η παράσταση δείχνει τις τιμές του ζ(1/2+it)  στο μιγαδικό επίπεδο για 0 ≤ t ≤ 34. (Για t=0, ζ(1/2) ≈ -1.460 αντιστοιχεί στο αριστερότερο σημείο της κόκκινης καμπύλης.) Ο κανόνας του Gram αναφέρει ότι η καμπύλη διασχίζει συνήθως το πραγματικό άξονα μία φορά μεταξύ των μηδενικών της τιμών.]] Το πρώτο σφάλμα τoυ νόμου Gram παρουσιάζεται στη 127η μηδενική τιμή και στο ''g''<sub>126</sub>, σημείο Gramm, τα οποία είναι σε «λανθασμένη» σειρά.

{| class="wikitable"
|-
|''g''<sub>124</sub>
|style="background: #eef"|γ<sub>126</sub>
|''g''<sub>125</sub>
|''g''<sub>126</sub>
!style="background: #eef"|γ<sub>127</sub>
|style="background: #eef"|γ<sub>128</sub>
|''g''<sub>127</sub>
|style="background: #eef"|γ<sub>129</sub>
|''g''<sub>128</sub>
|-
|279.148
|style="background: #eef"|279.229
|280.802
|282.455
!style="background: #eef"|282.465
|style="background: #eef"|283.211
|284.104
|style="background: #eef"|284.836
|285.752
|}

Ένα σημείο Gram θεωρείται καλή αν η συνάρτηση ζ έχει θετικό πρόσημο στο 1/2 + ''it''. Οι δείκτες για τα "κακά" σημεία Gram, όπου η ''Z'' έχει "λανθασμένο"  πρόσημο είναι οι 126, 134, 195, 211 ...[[Διαδικτυακή Εγκυκλοπαίδεια για τις ακέραιες ακολουθίες]]. Το '''Gram block''' είναι ένα διάστημα που ορίζεται από δύο σημεία Gram και δηλώνει ότι όλα τα σημεία Gram που βρίσκονται σε αυτό το διάστημα είναι κακά. Μία αναδιατύπωση του νόμου του Gram, η οποία καλείται νόμος Rosser, εξαιτίας των {{harvtxt|Rosser|Yohe|Schoenfeld|1969}} δηλώνει ότι τα Gram blocks έχουν έναν αναμενόμενο αριθμό μηδενικών τιμών (τον ίδιο αριθμό με τα διαστήματα Gram), παρόλο που κάποια μεμονωμένα διαστήματα Gram σε ένα block μπορεί να μην έχουν μόνο μία μηδενική τιμή. Για παράδειγμα, το διάστημα που ορίζεται από τα σημεία ''g''<sub>125</sub> και ''g''<sub>127</sub> είναι ένα Gram block που περιέχει ένα μοναδικό κακό σημείο Gram ''g''<sub>126</sub>, και περιέχει τον αναμενόμενο αριθμό 2 των μηδενικών τιμών, παρόλο που κανένα από τα δύο διαστήματα Gram δεν περιέχει μία μοναδική μηδενική τιμή. Ο Rosser κ.ά. υποστήριξαν ότι δεν υπάρχουν εξαιρέσεις στον κανόνα του Rosser στα πρώτα 3 εκατομμύρια μηδενικά στοιχεία, αν και υπάρχουν άπειρες εξαιρέσεις στο νόμο Rosser αναφορικά με ολόκληρη τη συνάρτηση ζ. 
 
Οι νόμοι του Gram και του Rosser δηλώνουν ότι κατά μία έννοια οι μηδενικές τιμές δεν παρεκκλίνουν πολύ από τις αναμενόμενες θέσεις τους. Η απόσταση από ένα μηδενικό σημείο από την αναμενόμενη θέση του ελέγχεται από τη συνάρτηση ''S'' η οποία ορίζεται παραπάνω, και η οποία αναπτύσσεται εξαιρετικά αργά: η μέση τιμή της είναι της τάξεως (log log ''T'')<sup>1/2</sup>, , η οποία φτάνει στο 2 για το Τ περίπου στο 10<sup>24</sup>. Αυτό σημαίνει ότι και οι δύο νόμοι ισχύουν τις περισσότερες φορές για μία μικρή τιμή του ''Τ'', αλλά συνήθως στο τέλος διασπώνται. Πράγματι, ο {{harvtxt|Trudgian|2011}} απέδειξε ότι τόσο ο νόμος Gram όσο και ο νόμος Rosser παρουσιάζουν σφάλματα για μία θετική αναλογία περιπτώσεων. Πιο συγκεκριμένα, αναμένεται ότι στο 73% των περιπτώσεων μία μηδενική τιμή περικλείεται από δύο διαδοχικά σημεία Gram, αλλά, μακροπρόθεσμα, στο 14% των περιπτώσεων περικλείεται μία μη μηδενική τιμή και στο 13% δύο μηδενικές τιμές.

==Επιχειρήματα υπέρ και κατά της υπόθεσης Ρίμαν==
Οι μαθηματικές εργασίες για την υπόθεση του Ρίμαν διατηρούν μία επιφύλαξη ως προς την αλήθεια της. Μεταξύ των συγγραφέων που εκφέρουν μία άποψη, οι περισσότεροι από αυτούς, όπως ο [[Μπέρναρντ Ρίμαν|Ρίμαν (1859)]] ή ο {{harvtxt|Bombieri|2000}}, υπονοούν πως πιστεύουν (ή τουλάχιστον ελπίζουν) να είναι αληθής. Οι λίγοι συγγραφείς που εκφράζουν σοβαρές αμφιβολίες για την αλήθεια της, όπως ο {{harvtxt|Ivić|2008}}, ο οποίος επιχειρηματολογεί υπέρ της σκεπτικής του θέσης, και ο {{harvtxt|Littlewood|1962}}, ο οποίος δηλώνει ξεκάθαρα πως πιστεύει ότι είναι ψευδής και ότι δεν υπάρχουν κανενός είδους αποδείξεις για αυτήν και ούτε κάποιος φανταστικός λόγος που θα την καθιστούσε αληθή. Το κεντρικό θέμα συζήτησης των ερευνητικών άρθρων ({{harvnb|Bombieri|2000}}, {{harvnb|Conrey|2003}} και {{harvnb|Sarnak|2008}}) είναι ότι οι αποδείξεις υπέρ της αλήθειας της είναι ισχυρές, αλλά δεν είναι καθοριστικές, με αποτέλεσμα παρόλο που μπορεί να είναι αληθής, μπορεί να υπάρχει μία λογική αμφιβολία για αυτήν.

Μερικά επιχειρήματα υπέρ (ή κατά) της υπόθεσης του Riemann κατηγοριοποιούνται από τους {{harvtxt|Sarnak|2008}}, {{harvtxt|Conrey|2003}} και {{harvtxt|Ivić|2008}} και περιλαμβάνουν τις ακόλουθες αιτιολογίες.
* Έχουν ήδη αποδειχθεί πολλά ανάλογα της υπόθεσης Ρίμαν. Η απόδειξη της υπόθεσης Ρίμαν για τις πολλαπλότητες σε πεπερασμένα πεδία από τον {{harvtxt|Deligne|1974}} είναι πιθανόν το μοναδικό ισχυρό θεωρητικό επιχείρημα υπέρ της υπόθεσης Ρίμαν. Παρέχει κάποιες αποδείξεις για τον γενικό ισχυρισμό ότι όλες οι συναρτήσεις ζ που σχετίζονται τους αυτομορφικούς τύπους ικανοποιούν την υπόθεση Ρίμαν, η οποία περιλαμβάνει την κλασσική υπόθεση Ρίμαν ως ειδική περίπτωση. Παρομοίως, η [[συνάρτηση ζ του Selberg]] ικανοποιεί την αναλογία της υπόθεσης Ρίμαν και, κατά κάποιο τρόπο, μοιάζουν με τη συνάρτηση ζ του Ρίμαν, καθώς έχουν μία λειτουργική εξίσωση και ένα πεπερασμένο ανάπτυγμα γινομένου ανάλογο με το ανάπτυγμα γινομένου του Όιλερ.  Ωστόσο, υπάρχουν και κάποιες ακόμα σημαντικές διαφορές. Για παράδειγμα, δε δίνονται από τη σειρά Dirichlet. Η υπόθεση Ρίμαν για τη [[συνάρτηση ζ του Goss]] αποδείχθηκε από τον {{harvtxt|Sheats|1998}}. Αντίθετα με αυτά τα θετικά παραδείγματα, ωστόσο, ορισμένες [[συνάρτηση ζ του Epstein|συναρτήσεις ζ του Epstein]] δεν ικανοποιούν την υπόθεση Ρίμαν, παρόλο που έχουν έναν πεπερασμένο αριθμό μηδενικών τιμών πάνω στην κρίσιμη γραμμή ({{harv|Titchmarsh|1986}}). Αυτές οι συναρτήσεις είναι παρόμοιες με τη συνάρτηση ζ του Ρίμαν και έχουν ανάπτυγμα από τη σειρά του Dirichlet και μία συναρτησιακή εξίσωση, αλλά εκείνες οι συναρτήσεις που είναι γνωστές ότι δεν ικανοποιούν την υπόθεση Ρίμαν δεν έχουν γινόμενο Euler και δε συνδέονται άμεσα με τις [[αυτομορφικές παραστάσεις]].
* 	Πρώτον, η αριθμητική επαλήθευση ότι πολλές μηδενικές τιμές βρίσκονται επί της γραμμής είναι από μόνη της μία ισχυρή απόδειξη. Ωστόσο, η αναλυτική αριθμητική θεωρία έχει πολλές θεωρίες που υποστηρίζονται από πολλές αριθμητικές αποδείξεις, οι οποίες στο τέλος αποδεικνύονται λαθεμένες. Δείτε για παράδειγμα τον [[αριθμός Skewes|αριθμό Skewes]], όπου η πρώτη κιόλας εξαίρεση στην κατά τα άλλα πειστική θεωρία αναφορικά με την υπόθεση Ρίμαν προκύπτει πιθανότατα περίπου στο 10<sup>316</sup>; ένα αντιπαράδειγμα για τη συνάρτηση Ρίμαν με ένα υποθετικό μέρος αυτού του μεγέθους θα ήταν πέρα από οτιδήποτε μπορεί να υπολογιστεί με αυτήν την άμεση μέθοδο. Το πρόβλημα είναι ότι η συμπεριφορά της επηρεάζεται συχνά από τις συναρτήσεις που αυξάνονται πολύ αργά, όπως ο λογάριθμος log log ''T'', οι οποίες τείνουν προς το άπειρο, αλλά με τόσο αργούς ρυθμούς που δεν ανιχνεύονται από αυτόν τον υπολογισμό. Αυτές οι συναρτήσεις παρατηρούνται στη θεωρία της συνάρτησης ζ, ελέγχοντας τη συμπεριφορά των μηδενικών της τιμών. Για παράδειγμα, η συνάρτηση  ''S''(''T'') που αναφέρθηκε παραπάνω έχει ένα μέσο μέγεθος περίπου (log log ''T'')<sup>1/2</sup> . Καθώς η ''S''(''T'') αυξάνεται κατά δύο, σε οποιοδήποτε παράδειγμα για την υπόθεση Ρίμαν, θα περίμενε κανείς τα αντιπαραδείγματα για την υπόθεση Ρίμαν να ξεκινούν μόνο όταν η ''S''(''T'') γίνεται μεγαλύτερη. Δεν είναι ποτέ πάνω από 3, όπως έχει υπολογιστεί μέχρι σήμερα, αλλά είναι γνωστό ότι δεν έχει όρια, υποδεικνύοντας ότι οι υπολογισμοί δεν έχουν φτάσει ακόμα στην περιοχή της τυπικής συμπεριφοράς για τη συνάρτηση ζ.
* Το πιθανολογικό επιχείρημα του [[Arnaud Denjoy|Denjoy]] για την υπόθεση Ρίμαν {{harv|Edwards|1974}} ) βασίζεται στην παρατήρηση ότι αν μ(''x'') είναι μία τυχαία σειρά των "1" και των "−1" τότε για κάθε {{nowrap|ε > 0}}, τα [[μερικά σύνολα]]
::<math>M(x) = \sum_{n \le x} \mu(n)</math>
:(οι τιμές οι οποίες είναι οι θέσεις για ένα [[απλό τυχαίο δρόμο]]) ικανοποιούν το όριο 
::<math>M(x) = O(x^{1/2+\varepsilon})</math>
:με [[Σχεδόν σίγουρο|πιθανότητα 1]]. Η υπόθεση Ρίμαν είναι ίση με αυτό το όριο για τη [[συνάρτηση Möbius]]&nbsp;μ και τη [[συνάρτηση Mertens]] ''M'' οι οποίες προκύπτουν κατά τον ίδιο τρόπο από αυτή. Με άλλα λόγια, η υπόθεση Ρίμαν είναι σαν να λέμε ότι η μ(''x'') ) συμπεριφέρεται όπως μία τυχαία ρίψη κερμάτων. Όταν η μ(''x'') είναι μη-μηδενική, το πρόσημό της καθιστά τους πρώτους παράγοντες του ''x'' ισότιμους. Έτσι, ανεπίσημα, η υπόθεση του Ρίμαν εικάζει ότι η ισότητα του αριθμού των πρώτων παραγόντων ενός ακέραιου συμπεριφέρεται τυχαία. Τέτοια πιθανολογικά επιχειρήματα στην αριθμητική θεωρία δίνουν, συχνά, τη σωστή απάντηση, αλλά δεν είναι εύκολο να σταθεροποιηθούν και, περιστασιακά, δίνουν λάθος απάντηση για κάποια αποτελέσματα, όπως το [[θεώρημα του Maier]].
* Οι υπολογισμοί του {{harvtxt|Odlyzko|1987}} έδειξαν ότι οι μηδενικές τιμές της συνάρτησης ζήτα συμπεριφέρονται όπως οι ιδιοτιμές ενός τυχαίου πλέγματος Hermitian, υπονοώντας ότι είναι οι ιδιοτιμές κάποιων αυτό- συζυγών τελεστών, οι οποίες υποδεικνύουν την υπόθεση Ρίμαν. Ωστόσο, όλες οι προσπάθειες να βρεθεί ένας τέτοιος τελεστής έχουν αποτύχει.
* Υπάρχουν πολλά θεωρήματα, όπως ο [[αδύναμος ισχυρισμός του Goldbach]] για επαρκώς μεγάλους περιττούς αριθμούς, τα οποία αποδείχθηκαν με τη γενίκευση της υπόθεσης Ρίμαν, η οποία χρησιμοποιείται ως αληθής χωρίς όρους. Θα μπορούσε κανείς να το θεωρήσει ως φτωχή απόδειξη για τη γενικευμένη υπόθεση Ρίμαν, καθώς πολλές από τις "προβλέψεις" της αποδείχθηκαν αληθείς.
* Το φαινόμενο του Lehmer {{harv|Lehmer|1956}} όπου δύο μηδενικές τιμές είναι μερικές φορές πολύ κοντά, χρησιμοποιείται ως ένας σοβαρός λόγος αμφισβήτησης της υπόθεσης Ρίμαν. Ωστόσο, θα περίμενες κανείς το φαινόμενο αυτό να συμβαίνει περιστασιακά και τυχαία, ακόμα και αν η υπόθεση Ρίμαν ήταν αληθής, ενώ οι υπολογισμοί του Odlyzko δείχνουν ότι τα γειτονικά ζευγάρια των μηδενικών τιμών προκύπτουν ακριβώς όπως έχει προβλεφθεί από τον [[Εικασία του Μοντγκόμερι για το ζεύγος συσχέτισης|εικασία του Μοντγκόμερι]].
* Ο {{harvtxt|Patterson|1988}} υποστηρίζει ότι ο πιο ακαταμάχητος λόγος υπέρ της υπόθεσης Ρίμαν για τους περισσότερους μαθηματικούς είναι η ελπίδα ότι οι πρώτες τιμές κατανέμονται όσο το δυνατό πιο κανονικά.

==Δείτε επίσης==
{{Portal|Analysis}}
*[[Γενικευμένη Υπόθεση του Ρίμαν]]
*[[Μεγάλη υπόθεση του Ρίμαν]]
*[[Το 8ο πρόβλημα του Hilbert]]
*[[Βραβείο της Χιλιετίας για τα προβλήματα]]
*[[Εικασία του Ρίμαν για καμπύλες πάνω από πεπερασμένα πεδία]]

==Παραπομπές==
{{refbegin|2}}
* {{Citation | last1=Artin | first1=Emil | author1-link=Emil Artin | title=Quadratische Körper im Gebiete der höheren Kongruenzen. II. Analytischer Teil | doi=10.1007/BF01181075 | year=1924 | journal=[[Mathematische Zeitschrift]] | pages=207–246 | volume=19 | issue=1}}
* {{Citation | author1-link=Arne Beurling | last1=Beurling | first1=Arne | title=A closure problem related to the Riemann zeta-function | mr=0070655 | year=1955 | journal=[[Proceedings of the National Academy of Sciences|Proceedings of the National Academy of Sciences of the United States of America]] | volume=41 | pages=312–314 | doi=10.1073/pnas.41.5.312 | issue=5}}
* {{Citation | last1=Bohr | first1=H. | author1-link=Harald Bohr | last2=Landau | first2=E. | author2-link=Edmund Landau | title=Ein Satz über Dirichletsche Reihen mit Anwendung auf die ζ-Funktion und die ''L''-Funktionen | doi=10.1007/BF03014823 | journal=[[Rendiconti del Circolo Matematico di Palermo]] | volume=37 | issue = 1 | year=1914 | pages=269–272}}
* {{citation|last=Bombieri|year=2000|first=Enrico|authorlink=Enrico Bombieri|url=http://www.claymath.org/sites/default/files/official_problem_description.pdf|format=PDF|title=The Riemann Hypothesis – official problem description|publisher=[[Clay Mathematics Institute]]|accessdate=2008-10-25|archivedate=2015-12-22|archiveurl=https://web.archive.org/web/20151222090027/http://www.claymath.org/sites/default/files/official_problem_description.pdf|deadurl=}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{citation|isbn=978-0-387-72125-5|title=The Riemann Hypothesis: A Resource for the {{sic|Af|ficionado|hide=y}} and Virtuoso Alike |series=CMS Books in Mathematics|publisher=Springer|place=New York|year=2008
|editor1-first=Peter|editor1-last= Borwein|editor1-link=Peter Borwein|editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan|editor3-last= Rooney |editor4-first= Andrea|editor4-last= Weirathmueller|displayeditors=4|doi=10.1007/978-0-387-72126-2}}
* {{Citation | last1=Borwein | first1=Peter |author1-link=Peter Borwein| last2=Ferguson | first2=Ron | last3=Mossinghoff | first3=Michael J. | title=Sign changes in sums of the Liouville function | doi=10.1090/S0025-5718-08-02036-X | mr=2398787 | year=2008 | journal=[[Mathematics of Computation]] | volume=77 | issue=263 | pages=1681–1694}}
* {{Citation | authorlink=Louis de Branges | last1=de Branges | first1=Louis | title=The convergence of Euler products | doi=10.1016/0022-1236(92)90103-P | mr=1165869 | year=1992 | journal=Journal of Functional Analysis | volume=107 | issue=1 | pages=122–210}}
* {{Citation | authorlink=Pierre Cartier (mathematician) | last1=Cartier | first1=P. | title=Seminar on Number Theory, Paris 1980–81 (Paris, 1980/1981) | publisher=Birkhäuser Boston | location=Boston, MA | series=Progr. Math. | mr=693308 | year=1982 | volume=22 | chapter=Comment l'hypothèse de Riemann ne fut pas prouvée | pages=35–48}}
* {{Citation | last1=Connes | first1=Alain | author1-link=Alain Connes | title=Trace formula in noncommutative geometry and the zeros of the Riemann zeta function | doi=10.1007/s000290050042 | arxiv=math/9811068 |mr=1694895 | year=1999 | journal=Selecta Mathematica. New Series | volume=5 | issue=1 | pages=29–106}}
* {{Citation | last1=Connes | first1=Alain | author1-link=Alain Connes | title=Mathematics: frontiers and perspectives | publisher=[[American Mathematical Society]] | location=Providence, R.I. | mr=1754766 | year=2000 | chapter=Noncommutative geometry and the Riemann zeta function | pages=35–54}}
* {{citation|last=Conrey|first=J. B.|authorlink=Brian Conrey|title=More than two fifths of the zeros of the Riemann zeta function are on the critical line|journal=J. Reine angew. Math.|volume=399|year=1989|pages=1–16|url=http://www.digizeitschriften.de/resolveppn/GDZPPN002206781|mr=1004130|accessdate=2014-06-27|archivedate=2023-07-26|archiveurl=https://web.archive.org/web/20230726140210/https://www.digizeitschriften.de/id/243919689_0399%7Clog4|deadurl=}}
* {{citation|authorlink=Brian Conrey|last=Conrey|first= J. Brian|title=The Riemann Hypothesis|journal=Notices of the American Mathematical Society|year= 2003|pages=341–353|url= http://www.ams.org/notices/200303/fea-conrey-web.pdf|format=PDF}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{Citation | last1=Conrey | first1=J. B. |author1-link=Brian Conrey| last2=Li | first2=Xian-Jin |author2-link=Xian-Jin Li| title=A note on some positivity conditions related to zeta and L-functions | doi=10.1155/S1073792800000489 | arxiv=math/9812166 |mr=1792282 | year=2000 | journal=International Mathematics Research Notices | issue=18 | pages=929–940 | volume=2000}}
* {{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil. I | url=http://www.numdam.org/item?id=PMIHES_1974__43__273_0 | mr=0340258 | year=1974 | journal=[[Publications Mathématiques de l'IHÉS]] | volume=43 | pages=273–307 | doi=10.1007/BF02684373}}
* {{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | title=La conjecture de Weil : II | url=http://www.numdam.org/item?id=PMIHES_1980__52__137_0 | year=1980 | journal=Publications Mathématiques de l'IHÉS | volume=52 | pages=137–252 | doi=10.1007/BF02684780}}
* {{Citation | last1=Deninger | first1=Christopher|authorlink=Christopher Deninger | title=Proceedings of the International Congress of Mathematicians, Vol. I (Berlin, 1998) | url=http://www.mathematik.uni-bielefeld.de/documenta/xvol-icm/00/Deninger.MAN.html | mr=1648030 | year=1998 | journal=Documenta Mathematica | chapter=Some analogies between number theory and dynamical systems on foliated spaces | pages=163–186}}
* {{Citation | last1=Derbyshire | first1=John | author1-link=John Derbyshire | title=[[Prime Obsession]] | publisher=Joseph Henry Press, Washington, DC | isbn=978-0-309-08549-6 | mr=1968857 | year=2003}}
* {{Citation | last1=Dyson | first1=Freeman |author1-link=Freeman Dyson| title=Birds and frogs | url=http://www.ams.org/notices/200902/rtx090200212p.pdf | mr=2483565 | year=2009 | journal=[[Notices of the American Mathematical Society]] | volume=56 | issue=2 | pages=212–223}}
* {{Citation | last1=Edwards | first1=H. M. | authorlink = Harold Edwards (mathematician) | title=Riemann's Zeta Function | publisher=[[Dover Publications]] | location=New York | isbn=978-0-486-41740-0 | mr=0466039 | year=1974}}
* {{Citation | last1=Fesenko | first1=Ivan | author1-link=Ivan Fesenko| title=Analysis on arithmetic schemes. II  | year=2010 | journal=Journal of K-theory| volume=5 |  pages=437–557 | doi=10.1017/is010004028jkt103}}
* {{Citation | last1=Ford | first1=Kevin | title=Vinogradov's integral and bounds for the Riemann zeta function | doi=10.1112/S0024611502013655 | mr=1936814 | year=2002 | journal=Proceedings of the London Mathematical Society. Third Series | volume=85 | issue=3 | pages=565–633}}
* {{citation|author2-link=E. Landau | first=J. |last=Franel|author1-link=Jérôme Franel|first2=E. |last2=Landau|title=Les suites de Farey et le problème des nombres premiers" (Franel, 198–201); "Bemerkungen zu der vorstehenden Abhandlung von Herrn Franel (Landau, 202–206) |journal=Göttinger Nachrichten |pages=198–206|year=1924}}
* {{citation|first=Amit|last= Ghosh|title= On the Riemann zeta function—mean value theorems and the distribution of &#124;S(T)&#124;| journal= J. Number Theory |volume=17 | pages=93–102|year=1983|doi=10.1016/0022-314X(83)90010-0 }}
* {{citation|url=http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeros1e13-1e24.pdf|format=PDF|last=Gourdon|first=Xavier|title=The 10<sup>13</sup> first zeros of the Riemann Zeta function, and zeros computation at very large height|year=2004}}
* {{citation|first=J. P.|last= Gram|authorlink=Jørgen Pedersen Gram|title= Note sur les zéros de la fonction ζ(s) de Riemann|journal= Acta Mathematica|volume=27|pages=289–304|year=1903|doi=10.1007/BF02421310}}
* {{citation|first=Jacques |last=Hadamard|authorlink=Jacques Hadamard|title=Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques|journal= Bulletin Société Mathématique de France |volume=14|year=1896|pages= 199–220|url=http://www.numdam.org/item?id=BSMF_1896__24__199_1}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{citation|last=Hardy|first= G. H.|authorlink=G. H. Hardy|title= Sur les Zéros de la Fonction ζ(s) de Riemann|journal=C. R. Acad. Sci. Paris |volume=158|pages= 1012–1014 |year=1914|url=http://gallica.bnf.fr/ark:/12148/bpt6k3111d.image.f1014.langEN|jfm=45.0716.04}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{citation|last=Hardy|first= G. H.|author1-link=G. H. Hardy|last2= Littlewood|first2= J. E.|author2-link=John Edensor Littlewood|title= The zeros of Riemann's zeta-function on the critical line|journal= Math. Z.|volume= 10|pages= 283–317 |year=1921|doi=10.1007/BF01211614|issue=3–4}}
* {{Citation | last1=Haselgrove | first1=C. B. | title=A disproof of a conjecture of Pólya | mr=0104638 | year=1958 | journal=Mathematika | volume=5 | pages=141–145 | doi=10.1112/S0025579300001480 | issue=2 | issn=0025-5793 | zbl=0085.27102 }} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{Citation | last1=Haselgrove | first1=C. B. |author1-link=C. Brian Haselgrove| last2=Miller | first2=J. C. P. |author2-link=J. C. P. Miller| title=Tables of the Riemann zeta function | publisher=[[Cambridge University Press]] | series=Royal Society Mathematical Tables, Vol. 6 | mr=0117905 | year=1960|isbn=978-0-521-06152-0}} [http://www.jstor.org/stable/2003098 Review]
* {{Citation | last1=Hutchinson | first1=J. I. |authorlink=John Irwin Hutchinson| title=On the Roots of the Riemann Zeta-Function | jstor=1989163 | year=1925 | journal=[[Transactions of the American Mathematical Society]] | volume=27 | pages=49–60 | doi=10.2307/1989163 | issue=1}}
* {{Citation | last1=Ingham | first1=A.E. | authorlink=Albert Ingham|title=The Distribution of Prime Numbers | publisher=Cambridge University Press | series = Cambridge Tracts in Mathematics and Mathematical Physics | volume=30 | origyear=1932 |year=1990 |ISBN=978-0-521-39789-6}} {{MathSciNet|1074573}}
* {{citation
  | last1 = Ireland  | first1 = Kenneth
  | last2 = Rosen  | first2 = Michael | author2-link = Michael Rosen (mathematician)
  | title = A Classical Introduction to Modern Number Theory (Second edition)
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = New York
  | year = 1990
  | isbn = 0-387-97329-X}}
* {{Citation | last1=Ivić | first1=A. | title=The Riemann Zeta Function | publisher=[[John Wiley & Sons]] | location=New York | isbn=978-0-471-80634-9 | mr=0792089 | year=1985}} (Reprinted by Dover 2003)
* {{citation|last=Ivić|first=Aleksandar|chapter=On some reasons for doubting the Riemann hypothesis|isbn=978-0-387-72125-5|pages=131–160|editor1-last= Borwein|title=The Riemann Hypothesis: A Resource for the {{sic|Af|ficionado|hide=y}} and Virtuoso Alike |series=CMS Books in Mathematics|publisher=Springer|place=New York|year=2008 |editor1-first=Peter |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan|editor3-last= Rooney |editor4-first= Andrea|editor4-last= Weirathmueller|displayeditors=4|arxiv=math.NT/0311162}}
*{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba| title=Zeros of the function ζ(s) on short intervals of the critical line| pages=569–584| journal= Izv. Akad. Nauk SSSR, Ser. Mat.| volume=48|issue=3| year=1984a|mr=0747251|language=ρωσικά}}
*{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba|title= Distribution of zeros of the function ''ζ''(1/2&nbsp;+&nbsp;''it'')| pages=1214–1224 | journal= Izv. Akad. Nauk SSSR, Ser. Mat.| volume=48|issue=6|year=1984b|mr=0772113|language=ρωσικά}}
*{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba| title= Zeros of the Riemann zeta-function on the critical line| pages=167–178| journal= Trudy Mat. Inst. Steklov.| issue=167| year=1985|mr=0804073|language=ρωσικά}}
*{{citation| first=A. A.| last=Karatsuba|authorlink=Anatolii Alexeevitch Karatsuba| title= On the number of zeros of the Riemann zeta-function lying in almost all short intervals of the critical line | pages=372–397| journal= Izv. Ross. Akad. Nauk, Ser. Mat.| volume=56|issue=2| year=1992|language=ρωσικά|mr=1180378}}
* {{Citation | last1=Karatsuba | first1=A. A. |author1-link=Anatolii Alexeevitch Karatsuba| last2=Voronin | first2=S. M. | title=The Riemann zeta-function | publisher=Walter de Gruyter & Co. | location=Berlin | series=de Gruyter Expositions in Mathematics | isbn=978-3-11-013170-3 | mr=1183467 | year=1992 | volume=5}}
* {{Citation | last1=Keating | first1=Jonathan P. | last2=Snaith | first2=N. C.|author2-link=Nina Snaith | title=Random matrix theory and ''ζ''(1/2&nbsp;+&nbsp;''it'') | doi=10.1007/s002200000261 | mr=1794265 | year=2000 | journal=Communications in Mathematical Physics | volume=214 | issue=1 | pages=57–89}}
* {{Citation | last1=Knauf | first1=Andreas | title=Number theory, dynamical systems and statistical mechanics | mr=1714352 | year=1999 | journal=Reviews in Mathematical Physics. A Journal for Both Review and Original Research Papers in the Field of Mathematical Physics | volume=11 | issue=8 | pages=1027–1060|doi=10.1142/S0129055X99000325}}
* {{citation|first=Helge|last=von Koch|authorlink=Helge von Koch|doi=10.1007/BF02403071|title=Sur la distribution des nombres premiers|journal=Acta Mathematica|volume=24|year=1901|pages= 159–182}}
* {{Citation | last1=Kurokawa | first1=Nobushige | title=Zeta functions in geometry (Tokyo, 1990) | publisher=Kinokuniya | location=Tokyo | series=Adv. Stud. Pure Math. | mr=1210791 | year=1992 | volume=21 | chapter=Multiple zeta functions: an example | pages=219–226}}
* {{Citation | last1=Lapidus | first1=Michel L. | title=In search of the Riemann zeros | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-4222-5 | mr=2375028 | year=2008}}
* {{Citation
 | author-last1=Lavrik
 | author-first1=
A. F.
 | author-link1=
 | author-last2=
 | author-first2=
 | author-link2=
 | orig-year=1994
 | contribution=Zeta-function
 | contribution-url=https://www.encyclopediaofmath.org/index.php?title={{replace|Zeta-function| |_}}
 | title=[[Encyclopedia of Mathematics]]
 | publisher=[[European Mathematical Society|EMS Press]]
 | mode = 
 | ref=
}}
* {{Citation | last1=Lehmer | first1=D. H. | author1-link=D. H. Lehmer | title=Extended computation of the Riemann zeta-function | mr=0086083 | year=1956 | journal=Mathematika. A Journal of Pure and Applied Mathematics | volume=3 | pages=102–108 | doi=10.1112/S0025579300001753 | issue=2}}
*{{citation
 | last = Leichtnam | first = Eric | author-link = Eric Leichtnam
 | contribution = An invitation to Deninger's work on arithmetic zeta functions
 | location = Providence, RI
 | mr = 2180209
 | pages = 201–236
 | publisher = Amer. Math. Soc.
 | series = Contemp. Math.
 | title = Geometry, spectral theory, groups, and dynamics
 | volume = 387
 | year = 2005}}.
* {{citation|mr=0564081|last=Levinson|first=N.|authorlink=Norman Levinson|title= More than one-third of the zeros of Riemann's zeta function are on σ = 1/2|journal= Adv. In Math. |volume=13 |year=1974|pages= 383–436
|doi=10.1016/0001-8708(74)90074-7|issue=4}}
* {{citation|last= Littlewood|first=J. E. |authorlink=John Edensor Littlewood|title=The scientist speculates: an anthology of partly baked idea|chapter=The Riemann hypothesis|year=1962|publisher=Basic books|place=New York}}
* {{Citation | last1=van de Lune | first1=J. | last2=te Riele | first2=H. J. J. |author2-link=Herman te Riele | last3=Winter | first3=D. T. | title=On the zeros of the Riemann zeta function in the critical strip. IV | jstor=2008005 | mr=829637 | year=1986 | journal=Mathematics of Computation | volume=46 | issue=174 | pages=667–681 | doi=10.2307/2008005}}
* {{Citation | last1=Massias | first1=J.-P. | last2=Nicolas | first2=Jean-Louis | last3=Robin | first3=G. | title=Évaluation asymptotique de l'ordre maximum d'un élément du groupe symétrique | url=http://matwbn.icm.edu.pl/tresc.php?wyd=6&tom=50&jez= | mr=960551 | year=1988 | journal=Polska Akademia Nauk. Instytut Matematyczny. Acta Arithmetica | volume=50 | issue=3 | pages=221–242 | accessdate=2014-06-27 | archiveurl=https://web.archive.org/web/20120316181209/http://matwbn.icm.edu.pl/tresc.php?wyd=6&tom=50&jez= | archivedate=2012-03-16 | url-status=dead }}
*{{citation|last=Mazur|first=Barry|last2=Stein|first2=William|year=2014|title=Primes. What is Riemann's hypothesis?|url=http://modular.math.washington.edu/rh/|accessdate=2014-06-27|archiveurl=https://web.archive.org/web/20150627021846/http://modular.math.washington.edu/rh/|archivedate=2015-06-27|url-status=dead}}
* {{Citation | last1=Montgomery | first1=Hugh L. |authorlink=Hugh Montgomery (mathematician)| title=Analytic number theory |series=Proc. Sympos. Pure Math.|volume= XXIV | publisher=American Mathematical Society | location=Providence, R.I. | mr=0337821 | year=1973 | chapter=The pair correlation of zeros of the zeta function | pages=181–193}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{Citation | last1=Montgomery | first1=Hugh L. |authorlink=Hugh Montgomery (mathematician)| editor1-last=Erdős | editor1-first=Paul |editor1-link=Paul Erdős |title=Studies in pure mathematics. To the memory of Paul Turán | publisher=Birkhäuser | location=Basel, Boston, Berlin | isbn=978-3-7643-1288-6 | mr=820245 | year=1983 | chapter=Zeros of approximations to the zeta function | pages=497–506}}
* {{citation | last = Nicely | first = Thomas R. | doi = 10.1090/S0025-5718-99-01065-0 | mr = 1627813 | issue = 227 | journal = Mathematics of Computation | pages = 1311–1315 | title = New maximal prime gaps and first occurrences | url = http://www.trnicely.net/gaps/gaps.html | volume = 68 | year = 1999 | accessdate = 2014-06-27 | archiveurl = https://web.archive.org/web/20141230023254/http://www.trnicely.net/gaps/gaps.html | archivedate = 2014-12-30 | url-status = dead }}.
* {{Citation | last1=Nyman | first1=Bertil | title=On the One-Dimensional Translation Group and Semi-Group in Certain Function Spaces | publisher=University of Uppsala | location=University of Uppsala | series=PhD Thesis | mr=0036444 | year=1950}}
* {{Citation | last1=Odlyzko | first1=A. M. | author1-link=Andrew Odlyzko | last2=te Riele | first2=H. J. J. | author2-link=Herman te Riele | title=Disproof of the Mertens conjecture | url=http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633 | mr=783538 | year=1985 | journal=[[Journal für die reine und angewandte Mathematik]] | volume=357 | pages=138–160 | doi=10.1515/crll.1985.357.138 | accessdate=2014-06-27 | archiveurl=https://archive.today/20120711011237/http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=262633 | archivedate=2012-07-11 | url-status=dead }}
* {{Citation | last1=Odlyzko | first1=A. M. |authorlink=Andrew Odlyzko| title=On the distribution of spacings between zeros of the zeta function | jstor=2007890 | mr=866115 | year=1987 | journal=Mathematics of Computation | volume=48 | issue=177 | pages=273–308 | doi=10.2307/2007890}}
* {{Citation | last1=Odlyzko | first1=A. M. |authorlink= Andrew Odlyzko| title=Bounds for discriminants and related estimates for class numbers, regulators and zeros of zeta functions: a survey of recent results | url=http://www.numdam.org/item?id=JTNB_1990__2_1_119_0 | mr=1061762 | year=1990 | journal=Séminaire de Théorie des Nombres de Bordeaux|series= Série 2 | volume=2 | issue=1 | pages=119–141 | doi=10.5802/jtnb.22}}
* {{citation|first=A. M.|last= Odlyzko|authorlink= Andrew Odlyzko |title=The 10<sup>20</sup>-th zero of the Riemann zeta function and 175 million of its neighbors|year= 1992|url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to20.1992.pdf}} This unpublished book describes the implementation of the algorithm and discusses the results in detail.
* {{citation|first=A. M.|last= Odlyzko|authorlink= Andrew Odlyzko |title=The 10<sup>21</sup>st zero of the Riemann zeta function|year=1998|url=http://www.dtc.umn.edu/~odlyzko/unpublished/zeta.10to21.pdf}}
* {{citation|first=Ken |last=Ono |authorlink=Ken Ono |first2=K. |last2=Soundararajan |authorlink2=Kannan Soundararajan |year=1997 |title=Ramanujan's ternary quadratic form |journal=Inventiones Mathematicae |volume=130 |issue=3 |pages=415–454 |doi=10.1007/s002220050191 }}
* {{Citation | last1=Patterson | first1=S. J. | title=An introduction to the theory of the Riemann zeta-function | publisher=Cambridge University Press | series=Cambridge Studies in Advanced Mathematics | isbn=978-0-521-33535-5 | mr=933558 | year=1988 | volume=14}}
* {{citation
  | last1 = Ribenboim  | first1 = Paulo | authorlink = Paulo Ribenboim
  | title = The New Book of Prime Number Records
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = New York
  | year = 1996
  | isbn = 0-387-94457-5}}
* {{citation|first=Bernhard|last=Riemann|authorlink=Bernhard Riemann|url=http://www.maths.tcd.ie/pub/HistMath/People/Riemann/Zeta/|title={{sic|hide=y|Ueber}} die Anzahl der Primzahlen unter einer gegebenen {{sic|hide=y|Grösse}}|year=1859|journal=Monatsberichte der Berliner Akademie}}. In ''Gesammelte Werke'', Teubner, Leipzig (1892), Reprinted by Dover, New York (1953). [https://web.archive.org/web/20130523061451/http://www.claymath.org/millennium/Riemann_Hypothesis/1859_manuscript/ Original manuscript] (with English translation). Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}} and {{harv|Edwards|1874}}
* {{Citation | author1-link=Hans Riesel | last1=Riesel | first1=Hans | last2=Göhl | first2=Gunnar | title=Some calculations related to Riemann's prime number formula | doi=10.2307/2004630 | mr=0277489 | year=1970 | journal=Mathematics of Computation | volume=24 | pages=969–983 | jstor=2004630 | issue=112}}
* {{citation|first=M.|last=Riesz|authorlink=Marcel Riesz|title=Sur l'hypothèse de Riemann|journal=Acta Mathematica|volume=40|year=1916|pages=185–190|doi=10.1007/BF02418544}}
* {{Citation | last1=Robin | first1=G. | title=Grandes valeurs de la fonction somme des diviseurs et hypothèse de Riemann | mr=774171 | year=1984 | journal=[[Journal de Mathématiques Pures et Appliquées]]|series= Neuvième Série | volume=63 | issue=2 | pages=187–213}}
* {{Citation | last1=Rockmore | first1=Dan | title=Stalking the Riemann hypothesis | publisher=Pantheon Books | isbn=978-0-375-42136-5 | mr=2269393 | year=2005 | url-access=registration | url=https://archive.org/details/stalkingriemannh00danr }}
* {{Citation | last1=Rosser | first1=J. Barkley |author1-link=J. Barkley Rosser| last2=Yohe | first2=J. M. | last3=Schoenfeld | first3=Lowell |author3-link=Lowell Schoenfeld| title=Information Processing 68 (Proc. IFIP Congress, Edinburgh, 1968), Vol. 1: Mathematics, Software | publisher=North-Holland | location=Amsterdam | mr=0258245 | year=1969 | chapter=Rigorous computation and the zeros of the Riemann zeta-function. (With discussion) | pages=70–76}}
* {{citation
  | last1 = Rudin  | first1 = Walter | authorlink = Walter Rudin
  | title = Functional Analysis, 1st edition (January 1973)
  | publisher = [[McGraw-Hill]]
  | location = New York
  | year = 1973
  | isbn = 0-070-54225-2}}
* {{Citation | last1=Sabbagh | first1=Karl | author1-link=Karl Sabbagh | title=The Riemann hypothesis | publisher=Farrar, Straus and Giroux, New York | isbn=978-0-374-25007-2 | mr=1979664 | year=2003 | url-access=registration | url=https://archive.org/details/riemannhypothesi00sabb }}
* {{Citation | last1=Salem | first1=Raphaël |authorlink=Raphaël Salem| title=Sur une proposition équivalente à l'hypothèse de Riemann | mr=0053148 | year=1953 | journal=[[Les Comptes rendus de l'Académie des sciences]] | volume=236 | pages=1127–1128}}
* {{citation |url=http://www.claymath.org/sites/default/files/sarnak_rh_0.pdf |format=PDF |first=Peter |last=Sarnak |authorlink=Peter Sarnak |chapter=Problems of the Millennium: The Riemann Hypothesis |pages=107–115 |isbn=978-0-387-72125-5 |editor1-last=Borwein |title=The Riemann Hypothesis: A Resource for the {{sic|Af|ficionado|hide=y}} and Virtuoso Alike |series=CMS Books in Mathematics |publisher=Springer |place=New York |year=2008 |editor1-first=Peter |editor2-first=Stephen |editor2-last=Choi |editor3-first=Brendan |editor3-last=Rooney |editor4-first=Andrea |editor4-last=Weirathmueller |displayeditors=4 |accessdate=2014-06-27 |archivedate=2016-04-13 |archiveurl=https://web.archive.org/web/20160413060551/http://www.claymath.org/sites/default/files/sarnak_rh_0.pdf |deadurl= }}
* {{Citation | last1=du Sautoy | first1=Marcus | authorlink=Marcus du Sautoy | title=The music of the primes | publisher=HarperCollins Publishers | isbn=978-0-06-621070-4 | mr=2060134 | year=2003 | url-access=registration | url=https://archive.org/details/musicofprimessea00dusa }}
* {{Citation | last1=Schoenfeld | first1=Lowell |authorlink=Lowell Schoenfeld| title=Sharper bounds for the Chebyshev functions θ(x) and ψ(x). II | doi=10.2307/2005976 | mr=0457374 | year=1976 | journal=Mathematics of Computation | volume=30 | issue=134 | pages=337–360 | jstor=2005976}}
*{{citation|title=Physics of the Riemann Hypothesis|first=Daniel|last= Schumayer|first2= David A. W. |last2=Hutchinson|year=2011|arxiv=1101.3116}}
* {{citation|mr=0010712
|last=Selberg|first= Atle|authorlink=Atle Selberg
|title=On the zeros of Riemann's zeta-function
|journal=Skr. Norske Vid. Akad. Oslo I. |year=1942|volume= 10|pages= 59 pp}}
* {{Citation | last1=Selberg | first1=Atle|authorlink=Atle Selberg | title=Contributions to the theory of the Riemann zeta-function | mr=0020594 | year=1946 | journal=Arch. Math. Naturvid. | volume=48 | issue=5 | pages=89–155}}
* {{Citation | last1=Selberg | first1=Atle |authorlink=Atle Selberg| title=Harmonic analysis and discontinuous groups in weakly symmetric Riemannian spaces with applications to Dirichlet series | mr=0088511 | year=1956 | journal=J. Indian Math. Soc. (N.S.) | volume=20 | pages=47–87}}
* {{Citation | last1=Serre | first1=Jean-Pierre |authorlink=Peter Sarnak| title=Facteurs locaux des fonctions zeta des varietés algébriques (définitions et conjectures) |  year=1970 | journal=Séminaire Delange-Pisot-Poitou | volume=19 }}
* {{Citation | last1=Sheats | first1=Jeffrey T. | title=The Riemann hypothesis for the Goss zeta function for '''F'''<sub>q</sub>[T] | doi=10.1006/jnth.1998.2232 | mr=1630979 | year=1998 | journal=[[Journal of Number Theory]] | volume=71 | issue=1 | pages=121–157}}
* {{citation|last=Siegel|first= C. L.|authorlink=Carl Ludwig Siegel |title=Über Riemanns Nachlaß zur analytischen Zahlentheorie|journal= Quellen Studien zur Geschichte der Math. Astron. und Phys. Abt. B: Studien 2|pages= 45–80|year= 1932}} Reprinted in Gesammelte Abhandlungen, Vol. 1. Berlin: Springer-Verlag, 1966.
* {{Citation|last=Speiser|first=Andreas|author-link=Andreas Speiser|title=Geometrisches zur Riemannschen Zetafunktion|year=1934|journal=[[Mathematische Annalen]]|volume=110|pages=514–521|doi=10.1007/BF01448042|jfm=60.0272.04|url=http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0110&DMDID=DMDLOG_0032&L=1|accessdate=2014-06-27|archiveurl=https://web.archive.org/web/20150627115412/http://gdz.sub.uni-goettingen.de/index.php?id=11&PPN=PPN235181684_0110&DMDID=DMDLOG_0032&L=1|archivedate=2015-06-27|url-status=dead}}
* {{citation|last=Stein|first=William|author1-link=William A. Stein|last2=Mazur|first2=Barry|author2-link=Barry Mazur|year=2007|url=http://modular.math.washington.edu/edu/2007/simuw07/notes/rh.pdf|format=PDF|title=What is Riemann’s Hypothesis?|accessdate=2014-06-27|archiveurl=https://web.archive.org/web/20090327181331/http://modular.math.washington.edu/edu/2007/simuw07/notes/rh.pdf|archivedate=2009-03-27|url-status=dead}}
* {{Citation  | last1=Suzuki | first1=Masatoshi | title=Positivity of certain functions associated with analysis on elliptic surfaces | year=2011 | journal=Journal of Number Theory | volume=131 | pages=1770–1796 | doi=10.1016/j.jnt.2011.03.007}}
* {{Citation | last1=Titchmarsh | first1=Edward Charles | author1-link=Edward Charles Titchmarsh | title=The Zeros of the Riemann Zeta-Function | jstor=96545 | publisher=The Royal Society | year=1935 | journal=Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume=151 | issue=873 | pages=234–255 | doi=10.1098/rspa.1935.0146}}
* {{Citation | last1=Titchmarsh | first1=Edward Charles | author1-link=Edward Charles Titchmarsh | title=The Zeros of the Riemann Zeta-Function | jstor=96692 | publisher=The Royal Society | year=1936 | journal=Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume=157 | issue=891 | pages=261–263 | doi=10.1098/rspa.1936.0192}}
* {{Citation | last1=Titchmarsh | first1=Edward Charles | author1-link=Edward Charles Titchmarsh | title=The theory of the Riemann zeta-function | publisher=The Clarendon Press Oxford University Press | edition=2nd | isbn=978-0-19-853369-6 | mr=882550 | year=1986}}
* {{Citation | last1=Trudgian | first1=Timothy  | title=On the success and failure of Gram's Law and the Rosser Rule | year = 2011 | journal = Acta Arithmetica | volume =125 | pages = 225–256 }}
* {{Citation | last1=Turán | first1=Paul | authorlink=Pál Turán|title=On some approximative Dirichlet-polynomials in the theory of the zeta-function of Riemann | mr=0027305 | year=1948 | journal=Danske Vid. Selsk. Mat.-Fys. Medd. | volume=24 | issue=17 | pages=36}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{Citation | last1=Turing | first1=Alan M. | author1-link=A. M. Turing | title=Some calculations of the Riemann zeta-function | doi=10.1112/plms/s3-3.1.99 | mr=0055785 | year=1953 | journal=Proceedings of the London Mathematical Society. Third Series | volume=3 | pages=99–117}}
* {{citation|first=Ch.J.|last=de la Vallée-Poussin|authorlink=Charles Jean de la Vallée-Poussin|title=Recherches analytiques sur la théorie des nombers premiers|journal= Ann. Soc. Sci. Bruxelles |volume= 20 |year=1896 |pages= 183–256}}
* {{citation|first=Ch.J.|last=de la Vallée-Poussin|authorlink=Charles Jean de la Vallée-Poussin|title=Sur la fonction ζ(s) de Riemann et la nombre des nombres premiers inférieurs à une limite donnée|journal=Mem. Couronnes Acad. Sci. Belg. |volume= 59 |issue= 1 |year=1899–1900}} Reprinted in {{harv|Borwein|Choi|Rooney|Weirathmueller|2008}}.
* {{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Sur les courbes algébriques et les variétés qui s'en déduisent | publisher=Hermann et Cie., Paris | series=Actualités Sci. Ind., no. 1041 = Publ. Inst. Math. Univ. Strasbourg 7 (1945) | mr=0027151 | year=1948}}
* {{Citation | last1=Weil | first1=André | author1-link=André Weil | title=Numbers of solutions of equations in finite fields | doi=10.1090/S0002-9904-1949-09219-4 | mr=0029393 | year=1949 | journal=[[Bulletin of the American Mathematical Society]] | volume=55 | pages=497–508 | issue=5}} Reprinted in Oeuvres Scientifiques/Collected Papers by Andre Weil ISBN 0-387-90330-5
* {{Citation | last1=Weinberger | first1=Peter J. | title=Analytic number theory ( St. Louis Univ., 1972) | publisher=Amer. Math. Soc. | location=Providence, R.I. | series=Proc. Sympos. Pure Math. | mr=0337902 | year=1973 | volume=24 | chapter=On Euclidean rings of algebraic integers | pages=321–332}}
* {{Citation | last1=Wiles | first1=Andrew | author1-link=Andrew Wiles | title=Mathematics: frontiers and perspectives | publisher=American Mathematical Society | location=Providence, R.I. | isbn=978-0-8218-2697-3 | mr=1754786 | year=2000 | chapter=Twenty years of number theory | pages=329–342}}
* {{Citation | last1=Zagier | first1=Don | authorlink=Don Zagier | url=http://modular.math.washington.edu/edu/2007/simuw07/misc/zagier-the_first_50_million_prime_numbers.pdf | format=PDF | publisher=Springer | location= | mr=643810 | year=1977 | volume=0 | title=The first 50 million prime numbers | pages=7–19 | journal=Math. Intelligencer | doi=10.1007/BF03039306 | accessdate=2014-06-27 | archiveurl=https://web.archive.org/web/20090327181245/http://modular.math.washington.edu/edu/2007/simuw07/misc/zagier-the_first_50_million_prime_numbers.pdf | archivedate=2009-03-27 | url-status=dead }}
* {{Citation | last1=Zagier | first1=Don | authorlink = Don Zagier | title=Automorphic forms, representation theory and arithmetic (Bombay, 1979) | publisher=Tata Inst. Fundamental Res., Bombay | series=Tata Inst. Fund. Res. Studies in Math. | mr=633666 | year=1981 | volume=10 | chapter=Eisenstein series and the Riemann zeta function | pages=275–301}}
{{refend}}

== Εξωτερικοί σύνδεσμοι ==
* [[:en:American_institute_of_mathematics|American institute of mathematics]], [http://www.aimath.org/WWN/rh/ Riemann hypothesis]
* {{citation|first=Tom|last=Apostol|authorlink=:en:Tom M. Apostol|url=http://www.math.wisc.edu/~robbin/funnysongs.html#Zeta|title=Where are the zeros of zeta of s?}} Poem about the Riemann hypothesis, [http://www.olimu.com/RIEMANN/Song.htm sung] by [[:en:John_Derbyshire|John Derbyshire]].
* {{citation|title=The Riemann Hypothesis|first=Peter|last=Borwein|authorlink=:en:Peter Borwein|url=http://oldweb.cecm.sfu.ca/~pborwein/COURSE/MATH08/LECTURE.pdf|format=PDF|accessdate=2014-06-29|archiveurl=https://web.archive.org/web/20090327181245/http://oldweb.cecm.sfu.ca/~pborwein/COURSE/MATH08/LECTURE.pdf|archivedate=2009-03-27|url-status=dead}} (Slides for a lecture)
* {{Citation | last1=Conrad | first1=K. | title=Consequences of the Riemann hypothesis | url=http://mathoverflow.net/questions/17232 | year=2010}}
* {{citation|url=http://aimath.org/pl/rhequivalences|first=J. Brian|last=Conrey|first2=David W|last2=Farmer|title=Equivalences to the Riemann hypothesis|accessdate=2014-06-29|archiveurl=https://web.archive.org/web/20100316235054/http://aimath.org/pl/rhequivalences|archivedate=2010-03-16|url-status=dead}}
* {{citation|first= Xavier|last= Gourdon |first2= Pascal |last2=Sebah |url=http://numbers.computation.free.fr/Constants/Miscellaneous/zetazeroscompute.html |title=Computation of zeros of the Zeta function|year=2004}} (Reviews the GUE hypothesis, provides an extensive bibliography as well).
* {{citation|last=Odlyzko|first=Andrew|authorlink=:en:Andrew Odlyzko|url=http://www.dtc.umn.edu/~odlyzko/|title=Home page}} including [http://www.dtc.umn.edu/~odlyzko/doc/zeta.html papers on the zeros of the zeta function] and [http://www.dtc.umn.edu/~odlyzko/zeta_tables/index.html tables of the zeros of the zeta function]
* {{citation|last=Odlyzko|first=Andrew|authorlink=:en:Andrew Odlyzko|title=Zeros of the Riemann zeta function: Conjectures and computations|year=2002|url=http://www.dtc.umn.edu/~odlyzko/talks/riemann-conjectures.pdf|format=PDF}} Slides of a talk
* {{citation|authorlink=:en:Ed Pegg, Jr.|first=Ed|last=Pegg|url=http://www.maa.org/editorial/mathgames/mathgames_10_18_04.html|title=Ten Trillion Zeta Zeros|year=2004|publisher=Math Games website|archiveurl=https://web.archive.org/web/20041102173644/http://www.maa.org/editorial/mathgames/mathgames_10_18_04.html|archivedate=2004-11-02|accessdate=2014-06-29|url-status=live}}. A discussion of Xavier Gourdon's calculation of the first ten trillion non-trivial zeros
* {{citation|first=Glen|last=Pugh|url=http://web.viu.ca/pughg/RiemannZeta/RiemannZetaLong.html|title=Java applet for plotting Z(t)|accessdate=2014-06-29|archivedate=2015-06-30|archiveurl=https://web.archive.org/web/20150630024946/https://web.viu.ca/pughg/RiemannZeta/RiemannZetaLong.html|deadurl=}}
* {{citation |first=Michael |last=Rubinstein |url=http://pmmac03.math.uwaterloo.ca/~mrubinst/l_function_public/L.html |title=algorithm for generating the zeros |accessdate=2014-06-29 |archiveurl=https://web.archive.org/web/20070427221654/http://pmmac03.math.uwaterloo.ca/~mrubinst/l_function_public/L.html |archivedate=2007-04-27 |url-status=dead }}.
* {{citation|first=Marcus|last=du Sautoy|authorlink=:en:Marcus du Sautoy|url=http://www.seedmagazine.com/news/2006/03/prime_numbers_get_hitched.php|title=Prime Numbers Get Hitched|publisher=[http://www.seedmagazine.com/ Seed Magazine]|year=2006|accessdate=2014-06-29|archiveurl=https://web.archive.org/web/20170922145127/http://seedmagazine.com/content/article/prime_numbers_get_hitched/|archivedate=2017-09-22|url-status=dead}}
* {{citation|last=Stein|first=William A.|authorlink=:en:William A. Stein|url=http://modular.math.washington.edu/edu/2007/simuw07/index.html|title=What is Riemann's hypothesis|accessdate=2014-06-29|archiveurl=https://web.archive.org/web/20090104104251/http://modular.math.washington.edu/edu/2007/simuw07/index.html|archivedate=2009-01-04|url-status=dead}}
* {{citation|last=de Vries|first=Andreas|url=http://math-it.org/Mathematik/Riemann/RiemannApplet.html|title=The Graph of the Riemann Zeta function ζ(s)|year=2004}}, a simple animated Java applet.
* {{citation | first=Matthew R. | last=Watkins | url=http://secamlocal.ex.ac.uk/~mwatkins/zeta/RHproofs.htm | title=Proposed proofs of the Riemann Hypothesis | date=2007-07-18 }}{{Dead link|date=Μαΐου 2024 }}
* ''[http://www.zetagrid.net/ Zetagrid]'' (2002) A distributed computing project that attempted to disprove Riemann's hypothesis; closed in November 2005

{{Portal bar|Μαθηματικά}}

[[Κατηγορία:Προβλήματα του Χίλμπερτ]]
[[Κατηγορία:Εικασίες]]
[[Κατηγορία:Αναλυτική θεωρία αριθμών]]
[[Κατηγορία:Άλυτα προβλήματα στα μαθηματικά]]