Sascha Zakaib-Bernier

arXiv2026

Chutes and Ladders: Dynamical Automorphisms via the ZX-Calculus

The ZX-calculus is a powerful graphical language for manipulating quantum circuits, which has recently found many applications in quantum error correction. We extend this language to handle Floquet and other dynamical stabilizer codes via the connection between measurement-based code switching and gauge fixing (arXiv:1810.10037). We combine gauge-fixing steps to implement a closed loop in the space of stabilizer codes, returning to the original codespace up to a logical Clifford gate. These measurement-based paths in the space of stabilizer codes can be viewed as shortcuts, or "chutes and ladders", relative to single-qubit Clifford operations and qubit permutations. This yields a machine-interpretable method for constructing dynamical automorphisms and facilitates the search for implementations of desired logical gates. As an example, we implement a logical phase gate via distance-preserving code switching for the seven-qubit code bare code (arXiv:1702.01155), which has no non-trivial logical Clifford gates based on single-qubit Clifford operations and qubit permutations (arXiv:2409.18175).

quant-ph↗

arXiv2024

Diffusion and pattern formation in spatial games

Diffusion plays an important role in a wide variety of phenomena, from bacterial quorum sensing to the dynamics of traffic flow. While it generally tends to level out gradients and inhomogeneities, diffusion has nonetheless been shown to promote pattern formation in certain classes of systems. Formation of stable structures often serves as a key factor in promoting the emergence and persistence of cooperative behavior in otherwise competitive environments, however an in-depth analysis on the impact of diffusion on such systems is lacking. We therefore investigate the effects of diffusion on cooperative behavior using a cellular automaton (CA) model of the noisy spatial iterated prisoner's dilemma (IPD), physical extension and stochasticity being unavoidable characteristics of several natural phenomena. We further derive a mean-field (MF) model that captures the 3-species predation dynamics from the CA model and highlight how pattern formation arises in this new model, then characterize how including diffusion by interchange similarly enables the emergence of large scale structures in the CA model as well. We investigate how these emerging patterns favors cooperative behavior for parameter space regions where IPD error rates classically forbid such dynamics. We thus demonstrate how the coupling of diffusion with non-linear dynamics can, counter-intuitively, promote large scale structure formation and in return establish new grounds for cooperation to take hold in stochastic spatial systems.

nlin.PS↗