Usando el teorema de Mantel para probar una desigualdad probabilística

Estoy autoaprendiendo "Teoría de grafos y combinatoria aditiva" de Yufei Zhao , un problema que encuentro es el siguiente:

El siguiente ejercicio puede resolverse mediante una aplicación ordenada del teorema de Mantel.
Ejercicio 1.1.10. Dejar X y Y ser vectores aleatorios independientes e idénticamente distribuidos en R d de acuerdo con alguna distribución de probabilidad arbitraria. Pruebalo

PAG ( | X + Y | 1 ) 1 2 PAG ( | X | 1 ) 2 .

El teorema de Mantel . Cada norte -el grafo libre de triángulos de vértices tiene como máximo norte 2 / 4 bordes alias

ex ( norte , H ) = norte 2 4


No tengo ni idea de cómo esta desigualdad de la integral está conectada con la teoría de grafos, al menos dame una pista. La prueba de que no se usa el teorema de Mantel también es bienvenida.

Sería útil si agregara algo de contexto y antecedentes sobre el capítulo del libro. A veces, un ejercicio utiliza una idea presentada en el capítulo o es una versión más complicada de un ejercicio anterior.
Está relacionado con el infame ejercicio del Capítulo 1 del Método probabilístico de Alon y Spencer .

Respuestas (1)

Aquí hay un esquema de la estrategia.

Primero, demuestre que cuando X , y , z R d es imposible tener | X | , | y | , | z | 1 pero | X + y | , | X + z | , | y + z | < 1 . Este es nuestro hecho geométrico "libre de triángulos".

A continuación, considere norte puntos X 1 , , X norte en R d , de los cuales | X 1 | , , | X k | 1 y | X k + 1 | , , | X norte | < 1 . Use el teorema de Mantel para probar que hay al menos 1 2 k 2 pares ordenados ( X i , X j ) con | X i + X j | 1 , incluidos los pares ( X i , X i ) .

Ahora, aplica esto a norte puntos dibujados independientemente de la distribución en el problema. En expectativa, obtenemos al menos norte ( norte 1 ) PR [ | X + Y | 1 ] pares ( X i , X j ) con | X i + X j | 1 y norte PR [ | X | 1 ] elementos X i con | X i | 1 . La aplicación del teorema de Mantel anterior nos da la desigualdad que queremos, con un término de error que desaparece como norte .

Wow, eso es elaborado... ¡Muchas gracias!