3 papers
cs.CR2019
Linear Consistency for Proof-of-Stake Blockchains
Erica Blum, Aggelos Kiayias, Cristopher Moore +2
The blockchain data structure maintained via the longest-chain rule---popularized by Bitcoin---is a powerful algorithmic tool for consensus algorithms. Such algorithms achieve cons…
math.CO2019
Small-Support Uncertainty Principles on over Finite Fields
Saad Quader, Alexander Russell, Ravi Sundaram
We establish an uncertainty principle for functions with constant support (where ). In particular, we show that for any const…
cs.DM2012
A Beginner's Guide to Counting Spanning Trees in a Graph
Saad Quader
(DRAFT VERSION) In this article we present a proof of the famous Kirchoff's Matrix-Tree theorem, which relates the number of spanning trees in a connected graph with the cofactors…