What If the Floor Could Think? A New Model Makes the Grid Itself the Computer for Swarm Robots

CABOT flips the swarm-robotics resource model: instead of smarter robots, smarter floors. Minimally capable bots on a cellular automaton grid solve problems provably impossible on inert terrain.

Imagine you're organizing a flash mob in a stadium. The dancers are blindfolded, can't talk, have no memory of what they just did, and can only feel the person directly next to them. Hopeless — until you wire the stadium floor so that each tile lights up according to a simple rule based on its neighbors and whether someone is standing on it. Suddenly the floor itself choreographs the mob. That's CABOT. The committed claim: by replacing the inert plane of classical Look-Compute-Move robotics with a synchronous cellular automaton floor — where each cell holds a state from a finite set Q and evolves under a uniform local rule that senses robot presence — you can solve formation, gathering, and exploration problems that are provably impossible for equivalently weak robots on a passive grid. The resource currency shifts from robot capability (lights, memory, visibility) to |Q|, the number of floor states. The results are surprisingly tight. Line Formation from connected starting positions needs just 4 states; doing it "field-silently" (floor also converges to a fixed point) costs 5. Gathering from arbitrary, possibly disconnected configurations takes only 3 states, and Line Formation from arbitrary configurations needs 6 — with a proof that neither task admits a field-silent solution at any |Q|. A lone explorer covers every finite grid forever with 4 states, every torus with 2, and 2 is proven optimal for the torus. These are small numbers doing serious work. Architecturally, CABOT sits at the intersection of cellular automata theory and distributed mobile-robot computing. The robots are maximally weak: oblivious (no persistent memory), silent (no communication channels), lightless, myopic (visibility radius 1), unable to detect multiplicity or write to the floor. All intelligence lives in the CA rule. This is a clean theoretical separation — you can study what the environment contributes independently of what the robots contribute, which is not how the LCM literature has worked. Integrity is mixed. The core impossibility results (inert floor can't solve line formation, gathering, or exploration) and the field-silence impossibility proofs are formal — these are theorems, not simulations. The constructive results (specific CA rules that solve each task) are also formally presented with correctness arguments. However, a second tier of results — equalizing robot spacing, pattern filling, maze navigation — are validated by simulation only, and no code or simulation artifacts are mentioned. The paper is honest about this boundary, but the simulation-only results remain unproven. The milestone question is about scaling. All proven results use 2–6 floor states on unbounded grids, but the robots are myopic (range 1) and the tasks are fundamental primitives. The open question the paper itself raises is whether CABOT can handle tasks requiring global coordination — say, arbitrary pattern formation from disconnected configurations — and what |Q| that would cost. The paper also doesn't address asynchronous scheduling, which is the standard hardness amplifier in distributed robotics. The obvious experiment not run: asynchronous activation. Every result assumes fully synchronous rounds (robots and CA cells update in lockstep). Real robots don't synchronize for free. The authors almost certainly know this is the next frontier — the LCM literature has spent two decades on the SSYNC/ASYNC hierarchy — and this omission reads as scope discipline for a first paper rather than avoidance. Extending CABOT to semi-synchronous or asynchronous schedules is the natural sequel and would determine whether the model is a theoretical curiosity or a practical paradigm.