Effective Resistance in Simplicial Complexes as Bilinear Forms: Generalizations and Properties

TL;DR

This paper introduces a basis-independent bilinear form generalizing effective resistance from graphs to simplicial complexes, unifying existing formulations and establishing higher-order properties like metrics and Foster's theorem analogues.

Contribution

It presents a novel algebraic bilinear form extending effective resistance to simplicial complexes, unifying prior matrix-based approaches and proving new properties.

Findings

Defines a basis-independent bilinear form for effective resistance

Establishes that effective resistance induces a pseudometric on chains

Generalizes Foster's theorem to simplicial complexes

Abstract

The concept of effective resistance, originally introduced in electrical circuit theory, has been extended to the setting of graphs by interpreting each edge as a resistor. In this context, the effective resistance between two vertices quantifies the total opposition to current flow when a unit current is injected at one vertex and extracted at the other. Beyond its physical interpretation, the effective resistance encodes rich structural and geometric information about the underlying graph: it defines a metric on the vertex set, relates to the topology of the graph through Foster's theorem, and determines the probability of an edge appearing in a random spanning tree. Generalizations of effective resistance to simplicial complexes have been proposed in several forms, often formulated as matrix products of standard operators associated with the complex. In this paper, we present a twofold generalization of the effective resistance. First, we introduce a novel, basis-independent bilinear form, derived from an algebraic reinterpretation of circuit theory, that extends the classical effective resistance from graphs. Second, we extend this bilinear form to simplices, chains, and cochains within simplicial complexes. This framework subsumes and unifies all existing matrix-based formulations of effective resistance. Moreover, we establish higher-order analogues of several fundamental properties known in the graph case: (i) we prove that effective resistance induces a pseudometric on the space of chains and a metric on the space of cycles, and (ii) we provide a generalization of Foster's Theorem to simplicial complexes.