Logic of Dynamics and Dynamics of Logic: Some Paradigm Examples

Stefano Olivares

Bob Coecke, David Moore, Sonja Smets

This paper surveys some recent developments towards a dynamic quantum logic and outlines its explicite construction -- some analogies and contrasts with other logics of dynamics are indicated. Abstract: The development of ``(static) operational quantum logic" points out that classical boolean structures are too rigid to describe the actual and potential properties of quantum systems. On the other hand, an intuitionistic perspective on operational quantum logic, guides us in the direction of incorporating dynamics logically by reconsidering the primitive propositions required to describe the behavior of a quantum system, in particular in view of the emergent disjunctivity due to the non-determinism of quantum measurements. A further elaboration on "intuitionistic quantum logic" emerges into a "dynamic operational quantum logic", which allows us to express dynamic reasoning in the sense that we can capture how actual properties propagate, including their temporal causal structure, and provides a unified logical description of systems which evolve or which are submitted to measurements. This setting reveals that even static operational quantum logic bears a hidden dynamic ingredient in terms of what is called "the orthomodularity" of the lattice-structure. Focusing on the quantale semantics for dynamic operational quantum logic, we delineate some points of difference with the existing quantale semantics for (non)-commutative linear logic.

Abdo Abou Jaoudé

The five fundamental axioms of classical probability theory were put forward in 1933 by Andrey Nikolaevich Kolmogorov. Encompassing new imaginary dimensions with the experiment real dimensions will make the work in the complex probability set C totally predictable and with a probability permanently equal to one. This is the original idea in my complex probability paradigm. Therefore, this will make the event in C = R + M absolutely deterministic by adding to the real set of probabilities R the contributions of the imaginary set of probabilities M. It is of great importance that stochastic systems become totally predictable since we will be perfectly knowledgeable to foretell the outcome of all random events that occur in nature. Consequently, by calculating the parameters of the new prognostic model, we will be able to determine the chaotic factor, the magnitude of the chaotic factor, the degree of our knowledge, the real and imaginary and complex probabilities in the probability sets R and M and C and which are all subject to chaos and random effects. Accordingly, my purpose here is to link my complex probability paradigm to logic. Hence, after adding the time dimension, we will apply this novel paradigm to a newly defined logic that I called ‘Dynamic Logic’.

Hari Mohan Gaur, Trailokya Nath Sasamal, Ashutosh Kumar Singh +2 more

Cory T. Aitchison, Benjamin Béri

A powerful method for analyzing quantum error-correcting codes is to map them onto classical statistical mechanics models. Such mappings have thus far mostly focused on static codes, possibly subject to repeated syndrome measurements. Recent progress in quantum error correction, however, has prompted new paradigms where codes emerge from stabilizer circuits in spacetime -- a unifying perspective encompassing syndrome extraction circuits of static codes, dynamically generated codes, and logical operations. We show how to construct statistical mechanical models for stabilizer circuits subject to independent Pauli errors, by mapping logical equivalence class probabilities of errors to partition functions using the spacetime subsystem code formalism. We also introduce a modular language of spin diagrams for constructing the spin Hamiltonians, which we describe in detail focusing on independent circuit-level X-Z error channels. With the repetition and toric codes as examples, we use our approach to analytically rank logical error rates and thresholds between code implementations with standard and dynamic syndrome extraction circuits, describe the effect of transversal logical Clifford gates on logical error rates, and perform Monte Carlo simulations to estimate maximum likelihood thresholds. Our framework offers a universal prescription to analyze, simulate, and compare the decoding properties of any stabilizer circuit, while revealing the innate connections between dynamical quantum systems and noise-resilient phases of matter.

Anas N. Al‐Rabadi