Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

International Journal of Theoretical Physics

Logics in realization and modeling from data

Erik I. Verriest

Published Aug 1, 1995• 0 citations
Publisher
DOI
10.1007/bf00676291

Related papers

Protected coding in optical line based on multiple-valued logic

A. L. Antipov, Alexey Yu. Bykovsky, Nikolay A. Vasiliev +1 more

Multiple-valued logic (MVL) formalism is shown to be an effective mean to work with secret keys and to check data modification in an optical data transfer channel. Such wireless data lines are needed for multiagent robotic systems including a group of mobile robots. In order to generate secret keys by means of open optical line one can choose beforehand an arbitrary MVL function, calculate its minimized logic term and afterwards calculate a huge number of different fragments of MVL function to realize secret MVL keys. The proposed method enlarges and complements the earlier proposed effective method of MVL secret coding tables for systems with high (more than 50) number of logic levels. Some problems of correct MVL function generation are discussed. MVL check functions method is also proposed to indicate data modification in messages. MVL non-quantum coding methods can be integrated with low-throughput quantum optics data channels for additional crypto protection.

Proceedings of SPIE, the International Society for Optical Engineering/Proceedings of SPIE•Mar 3, 2008•1 citation

Empirical logics

María Luisa Dalla Chiara

International Journal of Theoretical Physics•Oct 1, 1993•13 citations

Realization of Multi-Valued Logic Using Optical Quantum Computing

Sophie Choe

Quantum computing is a paradigm of computing using physical systems, which operate according to quantum mechanical principles. Since 2017, functioning quantum processing units with limited capabilities are available on the cloud. There are two models of quantum computing in the literature: discrete variable and continuous variable models. The discrete variable model is an extension of the binary logic of digital computing with quantum bits |0⟩ and |1⟩ . In the continuous variable model, the quantum state space is infinite-dimensional and the quantum state is expressed with an infinite number of basis elements. In the physical implementation of quantum computing, however, the quantized energy levels of the electromagnetic field come in multiple values, naturally realizing the multi-valued logic of computing. Hence, to implement the discrete variable model (binary logic) of quantum computing, the temperature control is needed to restrict the energy levels to the lowest two to express the binary quantum states |0⟩ and |1⟩. The physical realization of the continuous variable model naturally implements the multi-valued logic of computing because any physical system always has the highest level of quantized energy observed i.e., the quantum state space is always finite dimensional. In 2001, Knill, Laflamme, and Milburn proved that linear optics realizes universal quantum computing in the qubit-based model. Optical quantum computers by Xanadu, under the phase space representation of quantum optics, naturally realizes the multi-valued logic of quantum computing at room temperature. Optical quantum computers use optical signals, which are most compatible with the fiber optics communication network. They are easily fabricable for mass production, robust to noise, and have low latency. Optical quantum computing provides flexibility to the users for determining the dimension of the computational space for each instance of computation. Additionally, nonlinear quantum optical effects are incorporated as nonlinear quantum gates. That flexibility of user-defined dimension of the computational space and availability of nonlinear gates lead to a faithful implementation of quantum neural networks in optical quantum computing. This dissertation provides a full description of a multi-class data quantum classifier on ten classes of the MNIST dataset. In this dissertation, I provide the background information of optical quantum computing as an ideal candidate material for building the future classical-quantum hybrid internet for its numerous benefits, among which the compatibility with the existing communications/computing infrastructure is a main one. I also show that optical quantum computing can be a hardware platform for realizing the multi- valued logic

•Mar 24, 2023•1 citation

Modeling Information with an Operational Formalism

WORLD SCIENTIFIC (EUROPE) eBooks•Jul 7, 2017•0 citations

Logical fermions for fault-tolerant quantum simulation

Andrew J. Landahl, Benjamin Morrison

We show how to absorb fermionic quantum simulation's expensive fermion-to-qubit mapping overhead into the overhead already incurred by surface-code-based fault-tolerant quantum computing. The key idea is to process information in surface-code twist defects, which behave like logical Majorana fermions. Our approach encodes Dirac fermions, a key data type for simulation applications, directly into logical Majorana fermions rather than atop a logical qubit layer in the architecture. Using quantum simulation of the $N$-fermion 2D Fermi-Hubbard model as an exemplar, we demonstrate two immediate algorithmic improvements. First, by preserving the model's locality at the logical level, we reduce the asymptotic Trotter-Suzuki quantum circuit depth from $\mathcal{O}(\sqrt{N})$ in a typical Jordan-Wigner encoding to $\mathcal{O}(1)$ in our encoding. Second, by exploiting optimizations manifest for logical fermions but less obvious for logical qubits, we reduce the $T$-count of the block-encoding \textsc{select} oracle by 20\% over standard implementations, even when realized by logical qubits and not logical fermions.

arXiv:2110.10280•Oct 19, 2021•4 citations

Physics-like Models of Computation

Klaus Sutner A

Cambridge University Press eBooks•May 17, 2018•2 citations
Multiple-valued logic (MVL) formalism is shown to be an effective mean to work with secret keys and to check data modification in an optical data transfer channel. Such wireless data lines are needed for multiagent robotic systems including a group of mobile robots. In order to generate secret keys by means of open optical line one can choose beforehand an arbitrary MVL function, calculate its minimized logic term and afterwards calculate a huge number of different fragments of MVL function to realize secret MVL keys. The proposed method enlarges and complements the earlier proposed effective method of MVL secret coding tables for systems with high (more than 50) number of logic levels. Some problems of correct MVL function generation are discussed. MVL check functions method is also proposed to indicate data modification in messages. MVL non-quantum coding methods can be integrated with low-throughput quantum optics data channels for additional crypto protection.
Quantum computing is a paradigm of computing using physical systems, which operate according to quantum mechanical principles. Since 2017, functioning quantum processing units with limited capabilities are available on the cloud. There are two models of quantum computing in the literature: discrete variable and continuous variable models. The discrete variable model is an extension of the binary logic of digital computing with quantum bits |0⟩ and |1⟩ . In the continuous variable model, the quantum state space is infinite-dimensional and the quantum state is expressed with an infinite number of basis elements. In the physical implementation of quantum computing, however, the quantized energy levels of the electromagnetic field come in multiple values, naturally realizing the multi-valued logic of computing. Hence, to implement the discrete variable model (binary logic) of quantum computing, the temperature control is needed to restrict the energy levels to the lowest two to express the binary quantum states |0⟩ and |1⟩. The physical realization of the continuous variable model naturally implements the multi-valued logic of computing because any physical system always has the highest level of quantized energy observed i.e., the quantum state space is always finite dimensional. In 2001, Knill, Laflamme, and Milburn proved that linear optics realizes universal quantum computing in the qubit-based model. Optical quantum computers by Xanadu, under the phase space representation of quantum optics, naturally realizes the multi-valued logic of quantum computing at room temperature. Optical quantum computers use optical signals, which are most compatible with the fiber optics communication network. They are easily fabricable for mass production, robust to noise, and have low latency. Optical quantum computing provides flexibility to the users for determining the dimension of the computational space for each instance of computation. Additionally, nonlinear quantum optical effects are incorporated as nonlinear quantum gates. That flexibility of user-defined dimension of the computational space and availability of nonlinear gates lead to a faithful implementation of quantum neural networks in optical quantum computing. This dissertation provides a full description of a multi-class data quantum classifier on ten classes of the MNIST dataset. In this dissertation, I provide the background information of optical quantum computing as an ideal candidate material for building the future classical-quantum hybrid internet for its numerous benefits, among which the compatibility with the existing communications/computing infrastructure is a main one. I also show that optical quantum computing can be a hardware platform for realizing the multi- valued logic
We show how to absorb fermionic quantum simulation's expensive fermion-to-qubit mapping overhead into the overhead already incurred by surface-code-based fault-tolerant quantum computing. The key idea is to process information in surface-code twist defects, which behave like logical Majorana fermions. Our approach encodes Dirac fermions, a key data type for simulation applications, directly into logical Majorana fermions rather than atop a logical qubit layer in the architecture. Using quantum simulation of the NNN-fermion 2D Fermi-Hubbard model as an exemplar, we demonstrate two immediate algorithmic improvements. First, by preserving the model's locality at the logical level, we reduce the asymptotic Trotter-Suzuki quantum circuit depth from O(N)\mathcal{O}(\sqrt{N})O(N​) in a typical Jordan-Wigner encoding to O(1)\mathcal{O}(1)O(1) in our encoding. Second, by exploiting optimizations manifest for logical fermions but less obvious for logical qubits, we reduce the TTT-count of the block-encoding \textsc{select} oracle by 20\% over standard implementations, even when realized by logical qubits and not logical fermions.