Los Ceros de la Funcin Zeta de Riemann y la

Teora de Matrices Aleatorias

Nathan Ryan
Department of Mathematics
Bucknell University
Comisin de Fulbright Uruguay

18 Noviembre, 2009

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Por qu nos reunimos hoy?

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Para qu se usa?

La applicacin ms importante es a la cultura popular:

hay libros populares de Rockmore, Derbyshire, etc que se
tratan de RH.
es ms probable que Wayne Rooney demostrara RH
antes de ponerse un sarong (comparar con David
Beckham).
en el programa de televisin NUMB3RS alguien secuestr
la hija de un matemtico que estaba por demostrar RH (le
tom 15 aos, segn el programa tanto tiempo!).
hay por lo menos un chiste en Futurama sobre RH.

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Una carta a Encke

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Contando Primos

Definimos una funcin:

(x) := #{p x : p primo}
Conjetura (Gauss,a los 15 aos)
La densidad de los primos cerca de x es 1/ log x; en otras
palabras,
Z x
dt
(x) Li(x) :=
.
2 log t
Asimptticamente: Li(x) =

x
log x

Nathan Ryan

x
(log x)2

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Comparasin entre (x) y Li(x)

x
10
108
1010
1012

(x)
4
5761455
455052511
37607912018

Nathan Ryan

(x) Li(x)
1.1
753.3
3101.4
38187.5

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

El Teorema de Nmeros Primos

Teorema (Hadamard, de la Vallee Poisson)

(x) = Li(x) + O

x
p
exp( log x)

Conjetura (Versin 1 de RH)

(x) Li(x)  x 1/2

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Funcin Zeta antes de Riemann

Para s Z>1 ,
(s) =

X 1
.
ns
n1

Proposicin (Euler)
(s) =

Y 
p primo

Nathan Ryan

1
1 s
p

1

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

El Producto de Euler
Lema
El teorema fundamental de aritmtica.
Ahora,
1
1
1
= 1 + s + 2s + .
1
p
p
1 ps
Tenemos
Y
p


Y
1
1
=
1 + s +
1 ps
p
=

X
pi

k1
k1 ,...,kr =0 (p1

1
prkr )s

= (s)
por el lema.
Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Funcin Zeta despus de Riemann

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Continuacin Analtica

El insight de Riemann era pensar del s como un nmero

complejo en vez de un entero ms grande que uno.
(s) tiene una continuacin analtica (que tambin
denotamos con (s)) a todo el plano complejo menos
s = 1 donde la serie diverge.
(s) tiene una ecuacin funcional; para
s
(s) := s/2
(s)
2
tenemos (s) = (1 s) salvo los polos en s = 0, 1.

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Dibujos, I

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Dibujos, II

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Dibujos, III

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Dibujos,IV

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Dibujos,V

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Dnde Estn los Ceros de Zeta?

cuando Res > 1,tenemos (s) 6= 0 por el producto de

Euler.
cuando Res < 0, tenemos (s) = (1 s) donde
Re(1 s) > 0, entonces (s) 6= 0. Pero, los s 2Z son
polos de (s/2) y entonces (s) tiene que tener ceros para
tales s.
la franja 0 Re(s) 1 es la franja crtica.
hay muchos ceros en la lnea crtica Res = 1/2.

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Un Milln de Dolares

Conjetura (Versin 2 de RH)

Todos los ceros de (s) en la franja crtica, estn en la lnea
critica.
Maneras ms probables de ganar un milln de dolares:
ganar la lotera
robar oro del banco en Fort Knox en los Estados Unidos
encontrar petroleo en tu casa

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Hilbert se equivoc
En anunciar sus problemas dijo lo siguiente
RH se resolucionara en unos aos
algunos viendo su presentacin veran la resolucin del
ltimo tereoma de Fermat

no veran la resolucin si 2

Nathan Ryan

para miles de aos

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

La frmula explcita de Riemann

Si

(
log p
(n) :=
0

si x = pk
si no,

tenemos
(x) :=

(n) = x

X x

nx

log 2

1
log(1 x 2 )
2

(x) x (x) Li(x)

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

 Por qu son equivalentes las dos versiones?

Una direccin (Versin 2 versin 1):

(x) Li(x)  x 1/2

00

por lo de antes, (x) x (x) Li(x)

por la frmula explcita, si Re = 1/2,


X 1
X x  X x Re
1/2



x
.
|(x) x| = 

||
||

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Razones para creer en RH

muchas computaciones.
Conrey: ms de 40% de los ceros estn en la lnea crtica.
Weil: RH en el caso de cuerpos de funciones ha sido
demostrado.

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Los primeros ceros

14.13472514
21.02203963
25.01085758
30.42487612
32.93506158
37.58617815
40.91871901
43.32707328
48.00515088
49.77383247
52.97032147

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

De los Ceros a los Primos

P

cos(n log x)

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Contando los Ceros

N(T ) = #{ = + i : 0 < T }
T
7
T
log
+ + S(T ) + O(1/T )
=
2
2e 8
donde
1
arg(1/2 + iT )

= O(Log(T ))

S(T ) =

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

 De dnde vienen los ceros?

Conjetura (Hilbert-Polya)
Las partes imaginarias de los ceros en la lnea crtica son los
autovalores de alguna operadora no acotizada.
Evidencia:
no haba evidencia cuando fue propuesta
La frmula de traza de Selberg
La Conjetura de 2-Correlacin de Montgomery

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Conjetura de Montgomery

Conjetura (Montgomery Pair Correlation Conjecture)

2

Z 
X
sin u
du
1 N(T )
1
u

2
2
log T

< 0 < log T

La suma es sobre pares , 0 de partes imaginarias de ceros

entre dos nmeros , R.

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

T en Princeton

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

La Teora de Matrices Aleatorias

Un ensemble de matrices es un conjunto de matrices con una

distribucin de probabilidad.
Por ejemplo, el GUE (el ensemble gausiano-unitario) que es el
= A) con
conjunto de matrices Hermitianas (N N tal que t A
cada entrada eligida indpendientemente segn algn gausiano.
Gran Idea
Los autovalores de matrices aleatorias tienen las mismas
estadsticas que los ceros de (s).

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Teora de Nmeros y TMA

Conjetura (Conjetura GUE)
En el lmite (los ceros con partes imaginarias ms y ms altas,
las matrices ms y ms grandes) los espacios entre los ceros
de (s) son los mismos que los espacios entre los autovalores
de matrices Hermitianas.
Conjetura (Keating-Snaith)
Frmulas para los momentos de (s)
1
Ik (T ) =
T

|(1/2 + it)|2k dt

son predecidas por TMA.

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Autovalores y Ceros

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Odlyzko Espacios entre ceros

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Odlyzko 2-Correlacin

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices

Un resumen

TMA probablemente no nos va dar un demostracin de RH

TMA es til para describir la distribucin de datos
aritmticos
TMA se puede usar para generar conjeturas sobre objetos
artimticas (e.g., momentos, Sato-Tate, etc.)
(s) es la ltima funcin elemental que no entendemos
(s) nos dice algo de la interaccin entre sumar y
multiplicar, un algo que no entedemos
probablemente RH no se va resolucionar usando anlisis,
solamente
ojal que no tomar los miles de aos que sugiere Hilbert

Nathan Ryan

Los Ceros de la Funcin Zeta de Riemann y la Teora de Matrices