Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Lower Bounds and Hardness Magnification for Sublinear-Time Shrinking
  Cellular Automata   The minimum circuit size problem (MCSP) is a string compression problem with
a parameter $s$ in which, given the truth table of a Boolean function over
inputs of length $n$, one must answer whether it can be computed by a Boolean
circuit of size at most $s(n) \ge n$. Recently, McKay, Murray, and Williams
(STOC, 2019) proved a hardness magnification result for MCSP involving
(one-pass) streaming algorithms: For any reasonable $s$, if there is no
$\mathsf{poly}(s(n))$-space streaming algorithm with $\mathsf{poly}(s(n))$
update time for $\mathsf{MCSP}[s]$, then $\mathsf{P} \neq \mathsf{NP}$. We
prove an analogous result for the (provably) strictly less capable model of
shrinking cellular automata (SCAs), which are cellular automata whose cells can
spontaneously delete themselves. We show every language accepted by an SCA can
also be accepted by a streaming algorithm of similar complexity, and we
identify two different aspects in which SCAs are more restricted than streaming
algorithms. We also show there is a language which cannot be accepted by any
SCA in $o(n / \log n)$ time, even though it admits an $O(\log n)$-space
streaming algorithm with $O(\log n)$ update time.

27
The categories of this paper are: comp-gas
28
The categories of this paper are: alg-geom
5
The categories of this paper are: gr-qc
16
The categories of this paper are: stat
31
The categories of this paper are: ao-sci
36
The categories of this paper are: cmp-lg
8
The categories of this paper are: hep-ex
17
The categories of this paper are: q-fin
13
The categories of this paper are: quant-ph
24
The categories of this paper are: dg-ga
19
The categories of this paper are: eess
11
The categories of this paper are: hep-lat
2
The categories of this paper are: math
14
The categories of this paper are: math-ph
22
The categories of this paper are: chao-dyn
30
The categories of this paper are: q-alg