Catalytic Computing and Register Programs Beyond Log-Depth

TL;DR

The power of catalytic space and register programs to compute circuits of larger depth is studied and an improvement on the free space needed to compute SAC^2 is shown, which can be accomplished with near-polynomial catalytic space.

Abstract

In a seminal work, Buhrman et al. (STOC 2014) defined the class $CSPACE(s,c)$ of problems solvable in space $s$ with an additional catalytic tape of size $c$, which is a tape whose initial content must be restored at the end of the computation. They showed that uniform $TC^1$ circuits are computable in catalytic logspace, i.e., $CL=CSPACE(O(\log{n}), 2^{O(\log{n})})$, thus giving strong evidence that catalytic space gives $L$ strict additional power. Their study focuses on an arithmetic model called register programs, which has been a focal point in development since then. Understanding $CL$ remains a major open problem, as $TC^1$ remains the most powerful containment to date. In this work, we study the power of catalytic space and register programs to compute circuits of larger depth. Using register programs, we show that for every $ε> 0$, $SAC^2 \subseteq CSPACE\left(O\left(\frac{\log^2{n}}{\log\log{n}}\right), 2^{O(\log^{1+ε} n)}\right)$ This is an $O(\log \log n)$ factor improvement on the free space needed to compute $SAC^2$, which can be accomplished with near-polynomial catalytic space. We also exhibit non-trivial register programs for matrix powering, which is a further step towards showing $NC^2 \subseteq CL$.

Figures (1)

• Figure 1: Program for computing a polynomial $P(x)$ of degree $n$ using $4$ recursive calls to $x$, $2n+2$ basic instructions, and $n+2$ registers

Theorems & Definitions (36)

• Theorem 1.1
• Theorem 1.2
• Definition 2.1
• Definition 2.2
• Definition 2.3
• Definition 2.4
• Definition 2.5
• Lemma 2.1: Composition Lemma
• proof
• Lemma 2.2: Lemma 15 in buhrman2014computing