High dimensional expansion comes in two flavors: spectral, which
relates to random walks; and cosystolic, which relates to
chains of linear maps. The later is a more mysterious notion, which
turns out related to a variety of applications such as...
A valency argument is an elegant and well-known technique for
proving impossibility results in distributed computing. It is an
example of an extension-based proof, which is modelled as an
interaction between a prover and a protocol. Even though...