Resistance distance

From testwiki
Revision as of 07:00, 22 April 2024 by imported>David Eppstein (Connection with Fibonacci numbers: bare-url ref turns out to be dup)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Template:Short description

In graph theory, the resistance distance between two vertices of a simple, connected graph, Template:Mvar, is equal to the resistance between two equivalent points on an electrical network, constructed so as to correspond to Template:Mvar, with each edge being replaced by a resistance of one ohm. It is a metric on graphs.

Definition

On a graph Template:Mvar, the resistance distance Template:Math between two vertices Template:Mvar and Template:Mvar is[1]

Ωi,j:=Γi,i+Γj,jΓi,jΓj,i,
where Γ=(L+1|V|Φ)+,

with Template:Math denotes the Moore–Penrose inverse, Template:Mvar the Laplacian matrix of Template:Mvar, Template:Math is the number of vertices in Template:Mvar, and Template:Math is the Template:Math matrix containing all 1s.

Properties of resistance distance

If Template:Math then Template:Math. For an undirected graph

Ωi,j=Ωj,i=Γi,i+Γj,j2Γi,j

General sum rule

For any Template:Mvar-vertex simple connected graph Template:Math and arbitrary Template:Math matrix Template:Mvar:

i,jV(LML)i,jΩi,j=2tr(ML)

From this generalized sum rule a number of relationships can be derived depending on the choice of Template:Mvar. Two of note are;

(i,j)EΩi,j=N1i<jVΩi,j=Nk=1N1λk1

where the Template:Mvar are the non-zero eigenvalues of the Laplacian matrix. This unordered sum

i<jΩi,j

is called the Kirchhoff index of the graph.

Relationship to the number of spanning trees of a graph

For a simple connected graph Template:Math, the resistance distance between two vertices may be expressed as a function of the set of spanning trees, Template:Mvar, of Template:Mvar as follows:

Ωi,j={|{t:tT,ei,jt}||T|,(i,j)E|TT||T|,(i,j)∉E

where Template:Mvar is the set of spanning trees for the graph Template:Math. In other words, for an edge (i,j)E, the resistance distance between a pair of nodes i and j is the probability that the edge (i,j) is in a random spanning tree of G.

Relationship to random walks

The resistance distance between vertices u and u is proportional to the commute time Cu,v of a random walk between u and v. The commute time is the expected number of steps in a random walk that starts at u, visits v, and returns to u. For a graph with m edges, the resistance distance and commute time are related as Cu,v=2mΩu,v.[2]

As a squared Euclidean distance

Since the Laplacian Template:Mvar is symmetric and positive semi-definite, so is

(L+1|V|Φ),

thus its pseudo-inverse Template:Math is also symmetric and positive semi-definite. Thus, there is a Template:Mvar such that Γ=KKT and we can write:

Ωi,j=Γi,i+Γj,jΓi,jΓj,i=KiKiT+KjKjTKiKjTKjKiT=(KiKj)2

showing that the square root of the resistance distance corresponds to the Euclidean distance in the space spanned by Template:Mvar.

Connection with Fibonacci numbers

A fan graph is a graph on Template:Math vertices where there is an edge between vertex Template:Mvar and Template:Math for all Template:Math, and there is an edge between vertex Template:Mvar and Template:Mvar for all Template:Math.

The resistance distance between vertex Template:Math and vertex Template:Math is

F2(ni)+1F2i1F2n

where Template:Mvar is the Template:Mvar-th Fibonacci number, for Template:Math.[3]

See also

References

Template:Reflist