Related Experiment Video
Updated: Jun 23, 2025
09:23
Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators
Published on: May 30, 2014
14.5K
On the quantum circuit implementation of modus ponens
1School of Electronics and Information Engineering, Taizhou University, Taizhou, 318000, Zhejiang, China. ssdai@tzc.edu.cn.
Scientific Reports
|June 20, 2024
Summary
This study introduces a quantum modus ponens for faster inference, inspired by quantum computing. It demonstrates a quantum inference chain and multidimensional quantum modus ponens, with a cloud platform implementation.
Area of Science:
- Quantum computing
- Logic and reasoning
- Computer science
Background:
- Classical inference relies on binary truth values (true/false).
- Modus ponens is a core logical inference rule, affirming the antecedent to affirm the consequent.
- Quantum superposition allows for representing multiple states simultaneously.
Purpose of the Study:
- To propose a quantum version of modus ponens.
- To develop advanced quantum inference methods: inference chains and multidimensional approaches.
- To demonstrate the practical implementation of quantum modus ponens.
Main Methods:
- Leveraging quantum superposition to represent simultaneous true/false states.
- Developing quantum algorithms for modus ponens and its extensions.
- Implementing and testing on the OriginQ quantum computing cloud platform.
Main Results:
- A novel quantum modus ponens framework is proposed.
- Two new generations of quantum modus ponens are introduced: inference chain and multidimensional.
- Successful demonstration of quantum modus ponens implementation on a quantum cloud platform.
Conclusions:
- Quantum computing offers a new paradigm for logical inference.
- Quantum modus ponens and its variants enable parallel processing for enhanced computational efficiency.
- The practical implementation validates the feasibility of quantum logic operations.
Related Concept Videos
01:15First-Order Circuits
1.4K
First-order electrical circuits, which comprise resistors and a single energy storage element - either a capacitor or an inductor, are fundamental to many electronic systems. These circuits are governed by a first-order differential equation that describes the relationship between input and output signals.
One common example of a first-order circuit is the RC (resistor-capacitor) circuit. These circuits are used in relaxation oscillators such as neon lamp oscillator circuits. When voltage is...
One common example of a first-order circuit is the RC (resistor-capacitor) circuit. These circuits are used in relaxation oscillators such as neon lamp oscillator circuits. When voltage is...
1.4K
01:25Network Function of a Circuit
280
Frequency response analysis in electrical circuits provides vital insights into a circuit's behavior as the frequency of the input signal changes. The transfer function, a mathematical tool, is instrumental in understanding this behavior. It defines the relationship between phasor output and input and comes in four types: voltage gain, current gain, transfer impedance, and transfer admittance. The critical components of the transfer function are the poles and zeros.
280
01:17Second-Order Circuits
1.3K
Integrating two fundamental energy storage elements in electrical circuits results in second-order circuits, encompassing RLC circuits and circuits with dual capacitors or inductors (RC and RL circuits). Second-order circuits are identified by second-order differential equations that link input and output signals.
Input signals typically originate from voltage or current sources, with the output often representing voltage across the capacitor and/or current through the inductor. For example, in...
Input signals typically originate from voltage or current sources, with the output often representing voltage across the capacitor and/or current through the inductor. For example, in...
1.3K
01:13Phasor Arithmetics
277
Phasors and their corresponding sinusoids are interrelated, offering unique insights into the behavior of alternating current (AC) circuits. One way to understand this relationship is through the operations of differentiation and integration in both the time and phasor domains.
When the derivative of a sinusoid is taken in the time domain, it transforms into its corresponding phasor multiplied by j-omega (jω) in the phasor domain, where j is the imaginary unit, and ω is the angular...
When the derivative of a sinusoid is taken in the time domain, it transforms into its corresponding phasor multiplied by j-omega (jω) in the phasor domain, where j is the imaginary unit, and ω is the angular...
277
01:08Hückel's Rule Diagram of π MOs: Frost Circle
4.4K
The Frost circle or the inscribed polygon method is a graphical method for determining the relative energies of π molecular orbitals (MOs) for planar, fully conjugated, and monocyclic compounds. This method was first described by A. A. Frost and Boris Musulin in 1953.
A Frost circle is constructed by drawing a polygon whose number of edges is equal to the number of carbons of the given cyclic system, with one of the vertices pointing down. Then, a circle is drawn enclosing the polygon so...
A Frost circle is constructed by drawing a polygon whose number of edges is equal to the number of carbons of the given cyclic system, with one of the vertices pointing down. Then, a circle is drawn enclosing the polygon so...
4.4K
02:45The Quantum-Mechanical Model of an Atom
42.2K
Shortly after de Broglie published his ideas that the electron in a hydrogen atom could be better thought of as being a circular standing wave instead of a particle moving in quantized circular orbits, Erwin Schrödinger extended de Broglie’s work by deriving what is now known as the Schrödinger equation. When Schrödinger applied his equation to hydrogen-like atoms, he was able to reproduce Bohr’s expression for the energy and, thus, the Rydberg formula governing hydrogen spectra.
42.2K