Enhancing Neuromorphic Robustness via Recurrence Resonance: The Role of Shared Weak Attractors in Quantum Logic Networks [PDF]
BiomimeticsRecurrence resonance, a phenomenon that enhances system computational capability by exploiting noise to amplify hidden attractors, holds significant potential for applications such as edge computing and neuromorphic computing.
Yu Huang, Yukio-Pegio Gunji
doaj +2 more sources
Interplay Between Vertical and Horizontal Schemes of Computation: From Bayesian Inference to Quantum Logic via Gluing Boolean Algebras [PDF]
EntropyArtificial intelligence is typically formulated as an information-processing system composed of artificial neurons, where computation is understood as recursive operations connecting inputs and outputs.
Yukio-Pegio Gunji +7 more
doaj +2 more sources
A First Step to the Categorical Logic of Quantum Programs
Entropy, 2020 The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols.
Xin Sun, Feifei He
doaj +2 more sources
Quantum logic with spin qubits crossing the surface code threshold [PDF]
Nature, 2022 Maximilian Rimbach-Russ +2 more
exaly +2 more sources
Unconditionally teleported quantum gates between remote solid-state qubit registers [PDF]
Nature CommunicationsQuantum networks connecting quantum processing nodes via photonic links enable distributed and modular quantum computation. In this framework, quantum gates between remote qubits can be realized using quantum teleportation protocols.
Mariagrazia Iuliano +5 more
doaj +2 more sources
Classical Logic in the Quantum Context
Quantum Reports, 2020 It is generally accepted that quantum mechanics entails a revision of the classical propositional calculus as a consequence of its physical content. However, the universal claim according to which a new quantum logic is indispensable in order to model ...
Andrea Oldofredi
doaj +3 more sources
Quantum Uncertainties and Holism Seem to Render Irrelevant Qudit-Semantics
Entropy, 2021 We consider a semantics based on the peculiar holistic features of the quantum formalism. Any formula of the language gives rise to a quantum circuit that transforms the density operator associated to the formula into the density operator associated to ...
Roberto Leporini
doaj +1 more source
Editorial for the Special Issue on Magnetic and Spin Devices
Micromachines, 2022 As scaling of semiconductor devices displays signs of saturation, the focus of research in microelectronics shifts towards finding new computing paradigms based on novel physical principles [...]
Viktor Sverdlov, Nuttachai Jutong
doaj +1 more source
Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and ...
Yoshihiro Maruyama
doaj +1 more source
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
Mathematics, 2021 Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems ...
Masanao Ozawa
doaj +1 more source