La ley de Tracy-Widom describe, entre otras cosas, las fluctuaciones de los valores propios máximos de muchos modelos de matrices grandes aleatorias. Debido a su carácter universal, obtuvo su posición en el podio de leyes muy famosas en la teoría de la probabilidad. Me gustaría discutir cuáles son los ingredientes que deben estar presentes para esperar su aparición.
Más precisamente, la ley de Tracy-Widom tiene para la distribución acumulativa el determinante de Fredholm F(s)=det donde el operador A_s actúa sobre L^2(s,+\infty) por A_sf(x)=\int A(x,y)f(y)dy,\qquad A(x,y)=\frac{Ai(x)Ai'(y)-Ai(y)Ai'(x)}{x-y}, Ai siendo la función Airy. Además, es posible reescribir F en una forma más explícita (?), que implica una solución de la ecuación de Painlevé II. Se sabe que esta distribución describe las fluctuaciones del valor máximo de la GUE, y en realidad de una gran clase de matrices de Wigner. Curiosamente también aparece en muchos procesos de partículas interactivas, como ASEP, TASEP, la subsecuencia creciente más larga de permutaciones uniformemente aleatorias, modelos de crecimiento polinuclear... (Para una introducción, véase http://arxiv.org/abs/math-ph/0603038 y referencias en el interior. Puede saltar a (30) si tiene prisa, y leer más sobre los modelos de partículas en la sección 3). Una pregunta natural (pero ambiciosa) es
- Usted tiene N puntos aleatorios que interactúan (x_1,\ldots,x_N) en \mathbb{R} ¿Cuándo se puede predecir que x_{\max}^{(N)}=\max_{i=1}^N x_i fluctuará (hasta un reescalado) según la ley de Tracy-Widom alrededor de su gran N ¿valor límite?
Supongamos que la distribución límite del x_i 's \mu(dx)=\lim_{N\rightarrow\infty}\frac{1}{N}\sum_{i=1}^N\delta_{x_i}\qquad \mbox{(in the weak topology)} admite una densidad f en un soporte compacto S(\mu) , y nota x_\max=\max S(\mu) (que se puede asumir como positivo por la traducción). Tengo la impresión de que una condición necesaria para la aparición de Tracy-Widom es satisfacer los tres puntos siguientes :
1) (repulsión fuerte) Existe una fuerte repulsión entre el x_i (normalmente, la densidad conjunta del x_i tiene un término como \prod_{i\neq j}|x_i-x_j| o al menos el x_i forman un proceso puntual determinante).
2) (no hay salto para x_\max^{(N)} ) x_\max^{(N)}\rightarrow x_\max a.s. cuando N\rightarrow\infty .
3) (borde suave) La densidad de \mu se desvanece como una raíz cuadrada alrededor de x_\max es decir f(x)\sim (x_\max-x)^{1/2} cuando x\rightarrow x_\max .
Para los modelos TASEP y de la subsecuencia más larga creciente, se puede ver que 1), 2) y 3) se mantienen [ya que estos modelos son de alguna manera discretizaciones de modelos de matrices aleatorias en los que todo es explícito (Wishart y GUE respectivamente)]. Para las matrices de Wigner, 2) y 3) se mantienen claramente [ley semicircular de Wigner], y supongo que 1) está bien [debido a la ley semicircular local]. Para ASEP, 1) se mantiene claramente [debido a la E de ASEP], 2) y 3) no están tan claras para mí, pero suenan razonables.
- ¿Conoce algún modelo de partículas interactivas en el que se mantenga la Tracy-Widom pero en el que se viole cruelmente uno de los puntos anteriores?
Por supuesto, la condición 1) es bastante vaga, y merecería ser definida con precisión. ¡Es una parte de la pregunta!
NB : Tengo una formación física bastante débil, así que si por casualidad un físico se perdió en MO, me encantaría escuchar sus criterios de Tracy-Widom...
1 votos
¡Buena pregunta! Yo, por mi parte, agradecería la inserción de algunas referencias.
1 votos
SPG : Gracias por su interés. Como voy a editar mi post con el fin de incluir algunas referencias (que era difícil encontrar algo lleno y semi-exhaustiva !).
5 votos
No soy físico, pero ya que querías escuchar a alguno, echa un vistazo a este documento. Vi la charla del primer autor en el MSRI el año pasado. Los autores son físicos experimentales; pusieron en marcha un experimento en el que dispararon un láser en un plato de cierto tipo de cristal líquido, mantenido muy cerca de una transición de fase. El pulso láser nucleó un cambio de fase local, y las fluctuaciones del borde de la región ordenada resultante coincidieron muy bien con la distribución Tracy-Widom. daisy.phys.s.u-tokyo.ac.jp/student/kazumasa/publications/
1 votos
@AdrienHardy sólo pasaba por aquí para preguntar si has aprendido algo sobre esta pregunta desde que la publicaste
2 votos
@Marcel : Es difícil de decir. Mi sensación es que esta ley no es tan "universal" como pensé al principio; pensando por ejemplo en la TW deformada que aparece en el modelo BBP, que satisface los tres puntos anteriores pero no conduce a la TW exactamente. Ahora mismo entiendo que esta ley aparece cuando se consideran procesos deterministas que tienen un núcleo con "una representación integral de contorno con una estructura específica y que se acerca a un punto crítico de orden dos de una función de descenso más pronunciado asociada", que es el denominador común de muchas pruebas que conducen directamente a las fluctuaciones de la TW.
2 votos
Luego, por supuesto, se añaden todas las clases de modelos cuyo comportamiento de la partícula máxima es el mismo que algún elemento específico de esta clase que resulta fluctuar según la ley TW. Prototipo : matrices GUE dentro de la clase de las matrices de Wigner, pero aquí no demuestras directamente las fluctuaciones de TW y en cambio trabajas por comparación.