Related Experiment Video
Updated: Feb 19, 2026
05:30
Large Scale Energy Efficient Sensor Network Routing Using a Quantum Processor Unit
Published on: September 8, 2023
1.2K
Free quantum computing
Jacques Carette1, Chris Heunen2, Robin Kaarsgaard3
1Department of Computing and Software, McMaster University, Hamilton, ON L8S 4K1, Canada.
Summary
Researchers developed a new discrete axiomatization and category-theoretical model for quantum computing, clarifying its relationship with classical computing and enabling optimization through combinatorial methods.
Area of Science:
- Quantum Computing
- Theoretical Computer Science
- Category Theory
Background:
- The precise relationship between quantum and classical computing remains unclear.
- Classical algorithms are improved by quantum computing for specific problems.
- Free models can clarify this relationship by adding minimal physical principles.
Purpose of the Study:
- To develop a discrete axiomatization of quantum computing.
- To introduce a category-theoretical free model for quantum computing.
- To understand the source of quantum advantage.
Main Methods:
- Replaced standard continuous postulates with discrete equations.
- Developed a category-theoretical model instead of a linear-algebraic one.
- Based the framework on reversible classical computing principles.
Main Results:
- Isolated quantum advantage in the ability to compute specific square roots.
- Linked the new model to various quantum computing hardware.
- Enabled optimization of quantum computations via combinatorial methods.
- The free model offers the same expressivity and universality as the standard model.
Conclusions:
- The discrete axiomatization and free model provide a new perspective on quantum computing.
- This approach facilitates automated verification and reasoning for quantum programs.
- It potentially allows for optimization of quantum computations using classical techniques.
Related Concept Videos
02:45The Quantum-Mechanical Model of an Atom
60.0K
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.
60.0K
02:43Quantum Numbers
52.6K
It is said that the energy of an electron in an atom is quantized; that is, it can be equal only to certain specific values and can jump from one energy level to another but not transition smoothly or stay between these levels.
52.6K
01:05An Introduction to Free Energy
11.3K
How can we compare the energy that releases from one reaction to that of another reaction? We use a measurement of free energy to quantitate these energy transfers. Scientists call this free energy Gibbs free energy (abbreviated with the letter G) after Josiah Willard Gibbs, the scientist who developed the measurement. According to the second law of thermodynamics, all energy transfers involve losing some energy in an unusable form such as heat, resulting in entropy. Gibbs free energy...
11.3K
01:05Estimation of the Physical Quantities
8.1K
On many occasions, physicists, other scientists, and engineers need to make estimates of a particular quantity. These are sometimes referred to as guesstimates, order-of-magnitude approximations, back-of-the-envelope calculations, or Fermi calculations. The physicist Enrico Fermi was famous for his ability to estimate various kinds of data with surprising precision. Estimating does not mean guessing a number or a formula at random. Instead, estimation means using prior experience and sound...
8.1K
01:17Ampere-Maxwell's Law: Problem-Solving
1.2K
A parallel-plate capacitor with capacitance C, whose plates have area A and separation distance d, is connected to a resistor R and a battery of voltage V. The current starts to flow at t = 0. What is the displacement current between the capacitor plates at time t? From the properties of the capacitor, what is the corresponding real current?
To solve the problem, we can use the equations from the analysis of an RC circuit and Maxwell's version of Ampère's law.
For the first part of the...
To solve the problem, we can use the equations from the analysis of an RC circuit and Maxwell's version of Ampère's law.
For the first part of the...
1.2K
03:25Free Energy Changes for Nonstandard States
13.6K
The free energy change for a process taking place with reactants and products present under nonstandard conditions (pressures other than 1 bar; concentrations other than 1 M) is related to the standard free energy change according to this equation:
13.6K