La prueba estándar del límite de Chernoff (del libro de texto de Algoritmos Aleatorios ) utiliza la desigualdad de Markov y las funciones generadoras de momentos, con un poco de expansión de Taylor. Nada demasiado difícil, pero algo mecánico.
Pero hay otras pruebas vinculadas a Chernoff que exponen la estructura más profunda que impulsa el resultado. Por ejemplo, hay una versión teórica de la información que se aplica a través del método de tipos, ejemplificado en este artículo de Impagliazzo y Kabanets , así como en esta breve publicación de Sanjoy Dasgupta . Estas últimas pruebas son más "intuitivas" ya que proporcionan una generalización del resultado estándar, además de explicar de dónde provienen los términos divertidos en el exponente (es una divergencia KL).
¿Cuáles son buenos ejemplos de tales cosas? Para ser más concreto, aquí están las reglas:
- La declaración debe ser razonablemente conocida (el tipo de cosas que se enseñarían en algún tipo de clase de posgrado)
- Debe haber una prueba "estándar" disponible en los libros de texto o material de referencia estándar que se enseñe "comúnmente"
- Debería haber una prueba alternativa que no sea tan conocida, que NO se enseñe comúnmente y que pruebe una declaración más general o vincule la declaración a una estructura matemática más profunda.
Comenzaré con dos ejemplos.
El chernoff atado
- prueba de "libro de texto": desigualdad de Markov, funciones generadoras de momentos, expansión de Taylor (MR)
- Prueba poco común y perspicaz: método de tipos, exponente de cola que involucra divergencia KL
-
- Prueba de "libro de texto": caso base que implica un polinomio univariado. Inducción sobre el número de variables.
- Prueba "poco común": argumento geométrico a través de Dana Moshkovitz (y Per Vognsen )
Un ejemplo por respuesta por favor.
ps No estoy necesariamente insinuando que se debe enseñar la prueba poco común : una prueba directa a menudo es más fácil para los estudiantes. Pero en el sentido de que "las pruebas nos ayudan a entender", estas pruebas alternativas son muy útiles.