Monotone expansion

This work, following the outline set in [B2], presents an explicit construction of a family of monotone expanders. The family is essentially defined by the Mobius action of SL_2(R) on the real line. For the proof, we show a product-growth theorem for SL_2(R).Comment: 37 page

Loop-erased random walk and Poisson kernel on planar graphs

Lawler, Schramm and Werner showed that the scaling limit of the loop-erased random walk on $\mathbb{Z}^2$ is $\mathrm{SLE}_2$. We consider scaling limits of the loop-erasure of random walks on other planar graphs (graphs embedded into $\mathbb{C}$ so that edges do not cross one another). We show that if the scaling limit of the random walk is planar Brownian motion, then the scaling limit of its loop-erasure is $\mathrm{SLE}_2$. Our main contribution is showing that for such graphs, the discrete Poisson kernel can be approximated by the continuous one. One example is the infinite component of super-critical percolation on $\mathbb{Z}^2$. Berger and Biskup showed that the scaling limit of the random walk on this graph is planar Brownian motion. Our results imply that the scaling limit of the loop-erased random walk on the super-critical percolation cluster is $\mathrm{SLE}_2$.Comment: Published in at http://dx.doi.org/10.1214/10-AOP579 the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

Simplified Lower Bounds on the Multiparty Communication Complexity of Disjointness

We show that the deterministic number-on-forehead communication complexity of set disjointness for k parties on a universe of size n is Omega(n/4^k). This gives the first lower bound that is linear in n, nearly matching Grolmusz\u27s upper bound of O(log^2(n) + k^2n/2^k). We also simplify the proof of Sherstov\u27s Omega(sqrt(n)/(k2^k)) lower bound for the randomized communication complexity of set disjointness