Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Deductive Reasoning01:16

Deductive Reasoning

63.1K
Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction as compared to inductive reasoning, which means that it uses a general principle or law to predict specific results. From those general principles, a scientist can deduce and predict the specific results that would be valid as long as the general principles are valid.
For example, a researcher can deduce specific predictions...
63.1K
The Quantum-Mechanical Model of an Atom02:45

The Quantum-Mechanical Model of an Atom

55.1K
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.
55.1K
Woodward–Hoffmann Selection Rules and Microscopic Reversibility01:34

Woodward–Hoffmann Selection Rules and Microscopic Reversibility

3.5K
Electrocyclic reactions, cycloadditions, and sigmatropic rearrangements are concerted pericyclic reactions that proceed via a cyclic transition state. These reactions are stereospecific and regioselective. The stereochemistry of the products depends on the symmetry characteristics of the interacting orbitals and the reaction conditions. Accordingly, pericyclic reactions are classified as either symmetry-allowed or symmetry-forbidden. Woodward and Hoffmann presented the selection criteria for...
3.5K
Hückel's Rule Diagram of π MOs: Frost Circle01:08

Hückel's Rule Diagram of π MOs: Frost Circle

5.3K
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 that...
5.3K
Fundamental Theorem of Algebra01:30

Fundamental Theorem of Algebra

70
The Fundamental Theorem of Algebra is central to the study of polynomial equations, asserting that every non-constant polynomial with complex coefficients has at least one complex zero. This means that a polynomial of degree n ≥ 1, written as:  with an ≠ 0, has at least one solution in the complex number system. Since the set of real numbers is a subset of complex numbers, this theorem applies equally to polynomials with real coefficients.Building on this result, the...
70
Probability Laws01:49

Probability Laws

43.1K
Overview
43.1K

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Fritillaria thunbergii Extracts Suppress Hepatocellular Carcinoma Proliferation and Metastasis via mTOR Signaling Pathways.

Combinatorial chemistry & high throughput screening·2026
Same author

Genome‑wide analysis of the CaWRKY transcription factors reveals CaWRKY28 as a candidate gene for cold tolerance breeding in Coffea arabica L.

BMC plant biology·2026
Same author

Epidemiological and Genomic Characterization of H5 Subtype Avian Influenza Viruses in Jining City, 2024-2025.

Pathogens (Basel, Switzerland)·2026
Same author

Comprehensive whole-genome characterization of SARS-CoV-2 strains in Jining China 2024-2025.

Frontiers in microbiology·2026
Same author

Morphology and energetics of the wake behind a continuously swimming crucian carp at different flow velocities.

Scientific reports·2026
Same author

Sleep Disorders in Neurodegenerative Diseases: Pathological Correlations and Underlying Mechanisms.

Neuroscience bulletin·2026

Related Experiment Video

Updated: Nov 27, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

948

A First Step to the Categorical Logic of Quantum Programs.

Xin Sun1, Feifei He2

  • 1Department of foundation of computer science, the John Paul II Catholic University of Lublin, 20-950 Lublin, Poland.

Entropy (Basel, Switzerland)
|December 8, 2020
PubMed
Summary

We introduce a new quantum logic for verifying quantum programs. This categorical logic of quantum programs (CLQP) combines existing frameworks to overcome limitations and enable formal verification.

Keywords:
category theoryquantum computingquantum logic

More Related Videos

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators
09:23

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators

Published on: May 30, 2014

14.8K
Generation and Coherent Control of Pulsed Quantum Frequency Combs
06:42

Generation and Coherent Control of Pulsed Quantum Frequency Combs

Published on: June 8, 2018

9.4K

Related Experiment Videos

Last Updated: Nov 27, 2025

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
05:30

Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit

Published on: September 8, 2023

948
Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators
09:23

Quantum State Engineering of Light with Continuous-wave Optical Parametric Oscillators

Published on: May 30, 2014

14.8K
Generation and Coherent Control of Pulsed Quantum Frequency Combs
06:42

Generation and Coherent Control of Pulsed Quantum Frequency Combs

Published on: June 8, 2018

9.4K

Area of Science:

  • Quantum Computing
  • Formal Methods
  • Logic in Computer Science

Background:

  • Quantum programming requires robust verification methods.
  • Existing logics for quantum programming (LQP) and categorical quantum mechanics (CQM) have limitations.
  • A unified approach is needed to leverage the strengths of both LQP and CQM.

Purpose of the Study:

  • To introduce a novel categorical logic of quantum programs (CLQP).
  • To combine the benefits of LQP and CQM while mitigating their drawbacks.
  • To provide a formal system for the verification of quantum programs and protocols.

Main Methods:

  • Development of the syntax, semantics, and proof system for CLQP.
  • Integration of principles from LQP and CQM.
  • Application of CLQP for proof-of-concept verification tasks.

Main Results:

  • Successful introduction of the CLQP framework.
  • Demonstration of CLQP's capability to verify quantum algorithms.
  • Verification of Deutsch's algorithm and quantum bit commitment concealment property.

Conclusions:

  • CLQP offers a powerful new tool for quantum program verification.
  • The proposed logic effectively combines LQP and CQM.
  • CLQP advances the formal verification of quantum protocols and algorithms.