@article {633639,
	title = {Deterministic approximation of random walks in small space},
	journal = {Theory of Computing Special Issue on APPROX-RANDOM {\textquoteright}19},
	volume = {17(4)},
	year = {2021},
	pages = {1-35},
	publisher = {Leibniz International Proceedings in Informatics (LIPIcs)},
	address = {Cambridge, Massachusetts (MIT) },
	abstract = {
	Version History: v1, 15 Mar.\&nbsp;2019:\&nbsp;https://arxiv.org/abs/1903.06361v1



	v2 in ArXiv, 25 Nov. 2019:\&nbsp;https://arxiv.org/abs/1903.06361v2



	\&nbsp;



	Prior Published Version\&nbsp;(APPROX-RANDOM 2019), 20 Sep 2019:\&nbsp;



	In Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (APPROX/RANDOM 2019), Dimitris Achlioptas and L{\'a}szl{\'o} A. V{\'e}gh (Eds.). Vol. 145. Cambridge, Massachusetts (MIT): Leibniz International Proceedings in Informatics (LIPIcs), 2019.



	http://drops.dagstuhl.de/opus/volltexte/2019/11257/



	\&nbsp;



	We give a deterministic, nearly logarithmic-space algorithm that given an undirected graph\&nbsp;\(G\), a positive integer\&nbsp;\(r\), and a set\&nbsp;\(S\)\&nbsp;of vertices, approximates the conductance of\&nbsp;\(S\)\&nbsp;in the\&nbsp;\(r\)-step random walk on\&nbsp;\(G\)\&nbsp;to within a factor of\&nbsp;\(1+ϵ\), where\&nbsp;\(ϵ \&gt; 0\)\&nbsp;is an arbitrarily small constant. More generally, our algorithm computes an\&nbsp;\(ϵ\)-spectral approximation to the normalized Laplacian of the\&nbsp;\(r\)-step walk.\&nbsp;Our algorithm combines the derandomized square graph operation (Rozenman and Vadhan, 2005), which we recently used for solving Laplacian systems in nearly logarithmic space (Murtagh, Reingold, Sidford, and Vadhan, 2017), with ideas from (Cheng, Cheng, Liu, Peng, and Teng, 2015), which gave an algorithm that is time-efficient (while ours is space-efficient) and randomized (while ours is deterministic) for the case of even\&nbsp;\(r\)\&nbsp;(while ours works for all\&nbsp;\(r\)). Along the way, we provide some new results that generalize technical machinery and yield improvements over previous work. First, we obtain a nearly linear-time randomized algorithm for computing a spectral approximation to the normalized Laplacian for odd\&nbsp;\(r\). Second, we define and analyze a generalization of the derandomized square for irregular graphs and for sparsifying the product of two distinct graphs. As part of this generalization, we also give a strongly explicit construction of expander graphs of every size.

},
	url = {http://theoryofcomputing.org/articles/v017a004/},
	author = {Jack Murtagh and Omer Reingold and Aaron Sidford and Salil Vadhan}
}
