Logical aspects of probability and quantum computation

Chiara Marraccini, Roberto Giuntini, Giuseppe Sergioli

Jincheng Zhang

Probability Logic Quantum Computing (PLQC) presents a novel approach to quantum computing by integrating the fundamental principles of probability logic into the core computational process. This research explores the potential of leveraging the inherent strengths of probability logic – such as its ability to handle uncertainty and probabilistic outcomes – to enhance the efficiency and stability of quantum algorithms. The core mechanism focuses on modifying quantum gate operations and quantum circuit design to actively incorporate probabilistic elements, thereby mitigating the inherent challenges of quantum systems. This paper investigates the feasibility of implementing PLQC, outlining its potential benefits and challenges, and providing a preliminary analysis of its design principles. The goal is to establish a robust and scalable framework for quantum computing that surpasses the limitations of traditional approaches.

John M. Myers, Hadi Madjid

Although quantum states nicely explain experiments, the outcomes of experiments are not states. Instead, outcomes correspond to probability distributions. Twenty years ago we proved categorically that probability distributions leave open a choice of quantum states to explain experiments that is resolvable only by a move beyond logic, which, inspired or not, can be characterized as a guess. Guesses link the inner lives of investigators to their explanations of experimental results. Recognizing the inescapability of guesswork in physics leads to avenues of investigation, one of which is presented here. We invert the quest for the logical foundations of physics to reveal a physical basis for logic and calculation, and we represent this basis mathematically, in such a way as to show the shaping and re-shaping of calculations by guesswork. We draw on the interplay between guessing and computation in digital contexts that, perhaps surprisingly, include living organisms. Digital computation and communication depend on a type of synchronization that coordinates transitions among physically distinct conditions represented by "digits." This logical synchronization, known to engineers but neglected in physics, requires guesswork for its maintenance. By abstracting digital hardware, we model the structure of human thinking as logically synchronized computation, punctuated by guesses. We adapt marked graphs to mathematically represent computation and represent guesses by unpredictable changes in these marked graphs. The marked graphs reveal a logical substructure to spatial and temporal navigation, with implications across physics and its biological applications. By limiting our model to the logical aspect of communications and computations we unveil logical structure in relation to guesswork, applicable not just to electronics but also to the functioning of living organisms.

Rachel Wallace Garden

João Inácio da Silva Filho

Part I of this study proved that the Paraconsistent Annotated Logic using two values (PAL2v), known as the Paraquantum Logic (PQL), can represent the quantum by a model comprising two wave functions obtained from interference phenomena in the 2W (two-wave) region of Young’s experiment (double slit). With this model represented in one spatial dimension, we studied in the Lattice of the PQL, with their values represented in the set of complex numbers, the state vector of unitary module and its correspondence with the two wave functions. Based on these considerations, we applied the PQL model for obtaining Paraquantum logical states ψ related to energy levels, following the principles of the wave theory through SchrÖdinger’s equation. We also applied the probability theory and Bonferroni’s inequality for demonstrating that quantum wave functions, represented by evidence degrees, are probabilistic functions studied in the PQL Lattice, confirming that the final Paraquantum Logic Model is well suited to studies involving aspects of the wave-particle theory. This approach of quantum theory using Paraconsistent logic allows the interpretation of various phenomena of Quantum Mechanics, so it is quite promising for creating efficient models in the physical analysis and quantum computing processes.

Sisir Roy