Como Hsieh observa, sua definição de condutância é diferente da que conheço por um fator de , onde é o grau do gráfico regular. Isso também é conhecido como expansão de borda para gráficos regulares.ddd
É fácil mostrar uma relação entre expansão da borda e diâmetro. Intuitivamente, um expansor é "como" um gráfico completo; portanto, todos os vértices são "próximos" um do outro. Mais formalmente, vamos
minS⊆V e(S,Sc)d⋅min{|S|,|Sc|}≥α
Pegue qualquer conjunto de vértices com . Existem pelo menosarestas que saem de e como é regular, a vizinhança de (incluindo o próprio ) é de tamanho pelo menos. Aplicando esta reivindicação indutivamente, começando a partir de para qualquer vértice , vemos que para alguns , 's t -hop vizinhança tem tamanho pelo menos | V | / 2 . Portanto, o| S | ≤ | V | / 2 α d | S | S G d S S ( 1 + α ) | S | S = { u } u t = O ( log 1 + α | V | ) uS|S|≤|V|/2αd|S|SGdSS(1+α)|S|S={u}ut=O(log1+α|V|)ut|V|/2vizinhança t + 1 -hop de qualquer vértice v deve cruzar avizinhança t -hop de u , ou o gráfico teria mais de | V | vértices, uma contradição. Então você temt+1vtu|V|
D = O ( log| V|registro( 1 + α ))
Obviamente, também se segue que ter um limite inferior no diâmetro implica um limite superior na expansão da borda.
Não acho que diâmetro pequeno implique condutância. Se você não insistir em gráficos regulares (e usar a definição de Hsieh), dois gráficos completos conectados por uma única aresta fornecerão um contra-exemplo.