Abstract In this paper we will consider the existing notions of bilateralism in context proof-theoretic semantics and propose, based on our understanding bilateralism, an extension to logical multilateralism. This approach differs from what has been proposed under name before that do not multiple speech acts as core such a theory but rather consequence relations. We argue for aim most beneficia...

These are the lecture notes from 2019 Les Houches Summer School on “Quantum Information Machines”. After a brief introduction to quantum error correction and bosonic codes, we focus case of cat qubits stabilized by nonlinear multi-photon driven dissipation process. We argue that such system can be seen as self-correcting qubit where bit-flip errors robustly exponentially suppressed. Next, provi...

Stabilized cat codes can provide a biased noise channel with set of bias-preserving (BP) gates, which significantly reduce the resource overhead for fault-tolerant quantum computing. All existing schemes BP however, require adiabatic evolution, performance limited by excitation loss and nonadiabatic errors during gates. In this paper, we apply derivative-based leakage-suppression technique to o...