Cómo demostrar que un dígrafo está fuertemente conectado

¡Puedes sumergir tu dedo del pie en la teoría del gráfico espectral!
Hay una matriz interesante asociada con una gráfica [matemática] G [/ matemática] llamada su (gráfica) Laplaciana (no es coincidencia, ya que es un operador laplaciano discreto, útil para cosas como transformadas de Fourier de funcionales en la gráfica).

Si su matriz de adyacencia es [math] \ mathbf {A} _G [/ math] y su matriz diagonal de grado es [math] \ mathbf {D} _G [/ math], su Laplaciano se define como
[math] \ mathcal {L} (G) = \ mathbf {D} _G – \ mathbf {A} _G [/ math]

Sucede que el número de valores propios cero es el número de componentes. Como siempre hay al menos un componente, la matriz siempre tiene al menos un valor propio cero. Si ese es el único cero, solo hay un componente.

El segundo valor propio más pequeño se llama conectividad algebraica [matemática] a (G) [/ matemática] y corresponde a varias métricas de conectividad (número isoperimétrico, distancia promedio inversa, etc.). Según lo anterior, no es cero si el gráfico está conectado, por lo que puede intuir que cuanto más pequeño es, más cerca está el gráfico de desconectarse.

Su vector propio es el vector Fiedler del gráfico y es útil para cosas como la partición. (Si recuerda el reciente rumor sobre la publicación de Baltimore Raven John Urschel en un diario de matemáticas, el documento tenía que ver con el cálculo eficiente de los vectores de Fiedler).

NMM de Abreu tiene una buena descripción de las propiedades y resultados de estos en resultados antiguos y nuevos sobre conectividad algebraica de gráficos

Deje que [matemáticas] G [/ matemáticas] sea un dígrafo. Suponga que tiene la propiedad [matemática] S, T [/ matemática] que menciona. Deje que [math] w [/ math] y [math] v [/ math] sean vértices. Debemos mostrar que hay un camino desde [math] w [/ math] a [math] v [/ math]. Deje que [math] S [/ math] denote todos los vértices a los que se puede llegar desde [math] w [/ math], o en otras palabras [math] S = \ {z \ in V: [/ math] hay un ruta en [matemática] G [/ matemática] desde [matemática] w [/ matemática] a [matemática] z \} [/ matemática]. Deje [math] T [/ math] denotar el complemento de [math] S [/ math] en [math] V [/ math]. Entonces, por la propiedad [math] S, T [/ math], [math] T [/ math] está vacío. Por lo tanto, [math] v [/ math] está en [math] S [/ math] y, en consecuencia, una ruta conecta [math] w [/ math] a [math] v [/ math]. Por lo tanto, [math] G [/ math] está fuertemente conectado.

Ahora suponga que [math] G [/ math] carece de la propiedad [math] S, T [/ math], y deje que [math] S, T [/ math] sea una partición no trivial que sea testigo de la falla. Tome [matemáticas] w [/ matemáticas] en [matemáticas] S [/ matemáticas] y [matemáticas] v [/ matemáticas] en [matemáticas] T [/ matemáticas]. Entonces no hay camino desde [math] w [/ math] a [math] v [/ math]. Por lo tanto, [math] G [/ math] no está fuertemente conectado.

Esto muestra que [math] G [/ math] tiene la propiedad [math] S, T [/ math] si y solo si [math] G [/ math] está fuertemente conectado.

La necesidad de la condición es trivial. Puede demostrar que es suficiente por contradicción: suponga que el dígrafo tiene más de un componente conectado, tome dos de ellos, [matemática] S [/ matemática] y [matemática] T [/ matemática], luego use la condición provista en la pregunta para demuestre que [math] S [/ math] y [math] T [/ math] son, de hecho, parte de un componente conectado más grande.
También hay una prueba directa: tome dos vértices, [math] v [/ math] y [math] u [/ math], luego use la condición para exhibir un camino [math] vu [/ math] dirigido.