Abstract:Loop is a powerful program construct in classical computation, but its power is still not exploited fully in quantum computation. The exploitation of such power definitely requires a deep understanding of the mechanism of quantum loop programs. In this paper, we introduce a general scheme of quantum loops and describe its computational process. The function computed by a quantum loop is defined, and a denotational semantics and a weakest precondition semantics of a quantum loop are given. The notions of termination and almost termination are proposed for quantum loops. This paper only consider the case of finite-dimensional state spaces. Necessary and sufficient conditions for termination and almost termination of a general quantum loop on any mixed input state are presented. A quantum loop is said to be (almost) terminating if it (almost) terminates on any input state. We show that a quantum loop is almost terminating if and only if it is uniformly almost terminating. It is observed that a small disturbance either on the unitary transformation in the loop body or on the measurement in the loop guard can make any quantum loop (almost) terminating, provided that some dimension restriction is satisfied. Moreover, a representation of the function computed by a quantum loop is given in terms of finite summations of matrices. To illustrate the notions and results obtained in this paper, two simple classes of quantum loop programs, one qubit quantum loops, and two qubit quantum loops defined by controlled gates, are carefully examined, and to show their expressive power, quantum loops are applied in describing quantum walks.

Quantum Dynamics in Loop Quantum Gravity

Quantum-reduced loop gravity: New perspectives on the kinematics and dynamics

On the dynamics of single-vertex states in quantum-reduced loop gravity

Hamiltonian Theory: Dynamics

Let Loop Quantum Gravity and Affine Quantum Gravity Examine Each Other

Quantum Reduced Loop Gravity: Extension to Gauge Vector Field

Hamiltonian Theory: generalizations to higher dimensions, supersymmetry and modified gravity

Cosmological Applications of Loop Quantum Gravity

A proposal for analyzing the classical limit of kinematic loop gravity

On the improved dynamics approach in loop quantum black holes

Quantum Reduced Loop Gravity with Matter: Eigenvectors of the Hamiltonian Operator in Isotropic Cosmology

New volume and inverse volume operators for loop quantum gravity

New Hamiltonians for loop quantum cosmology with arbitrary spin representations

Quantum Surface and Intertwiner Dynamics in Loop Quantum Gravity

Symmetry-reduced Loop Quantum Gravity: Plane Waves, Flat Space and the Hamiltonian Constraint

Adaptation of human pineal melatonin suppression by recent photic history.

Research on the application of loop quantum theory model in black hole quantum information

Quantum Loop Programs

Lessons for loop quantum gravity from emergent modified gravity

Loops rescue the no-boundary proposal