We develop a unitary dependence theory to characterize the behaviors of quantum circuits and states in terms of how quantum gates manipulate qubits and determine their measurement probabilities. A qubit has dependence on a 1-qubit unitary gate if its measurement probabilities depend on the parameters of the gate. A 1-qubit unitary creates such a dependence onto the target qubit, and a CNOT gate copies all the dependences from the control qubit to the target qubit. The complete dependence picture of the output state details the connections qubits may have when being manipulated or measured. Compared to the conventional entanglement description of quantum circuits and states, the dependence picture offers more practical information, easier generalization to many-qubit systems, and better robustness upon partitioning of the system. The unitary dependence theory is a useful tool for understanding quantum circuits and states that is based on the practical ideas of how manipulations and measurements are affected by elementary gates.
We develop a unitary dependence theory to characterize the behaviors of quantum circuits and states in terms of how quantum gates manipulate qubits and determine their measurement probabilities. A qubit has dependence on a 1-qubit unitary gate if its measurement probabilities depend on the parameters of the gate. A 1-qubit unitary creates such a dependence onto the target qubit, and a CNOT gate copies all the dependences from the control qubit to the target qubit. The complete dependence picture of the output state details the connections qubits may have when being manipulated or measured. Compared to the conventional entanglement description of quantum circuits and states, the dependence picture offers more practical information, easier generalization to many-qubit systems, and better robustness upon partitioning of the system. The unitary dependence theory is a useful tool for understanding quantum circuits and states that is based on the practical ideas of how manipulations and measurements are affected by elementary gates.
Abstract Most existing quantum algorithms are discovered accidentally or adapted from classical algorithms, and there is the need for a systematic theory to understand and design quantum circuits. Here we develop a unitary dependence theory to characterize the behaviors of quantum circuits and states in terms of how quantum gates manipulate qubits and determine their measurement probabilities. Compared to the conventional entanglement description of quantum circuits and states, the unitary dependence picture offers more practical information on the measurement and manipulation of qubits, easier generalization to many-qubit systems, and better robustness upon partitioning of the system. The unitary dependence theory can be applied to systematically understand existing quantum circuits and design new quantum algorithms.
This chapter represents our first step into quantum information theory (QIT). The key to operating such a transition is to become familiar with the concept of the quantum bit, or qubit , which is a probabilistic superposition of the classical 0 and 1 bits. In the quantum world, the classical 0 and 1 bits become the pure states |0〉 and |1〉, respectively. It is as if a coin can be classically in either heads or tails states, but is now allowed to exist in a superposition of both! Then I show that qubits can be physically transformed by the action of unitary matrices , which are also called operators . I show that such qubit transformations, resulting from any qubit manipulation, can be described by rotations on a 2D surface, which is referred to as the Bloch sphere . The Pauli matrices are shown to generate all such unitary transformations. These transformations are reversible , because they are characterized by unitary matrices ; this property always makes it possible to trace the input information carried by qubits. I will then describe different types of elementary quantum computations performed by elementary quantum gates, forming a veritable “zoo” of unitary operators, called I , X , Y , Z , H , CNOT, CCNOT, CROSSOVER or SWAP, controlled- U , and controlled-controlled- U . These gates can be used to form quantum circuits , involving any number of qubits, and of which several examples and tools for analysis are provided. Finally, the concept of tensor product , as progressively introduced through the above description, is eventually formalized.
Applying controlled unitary gates to generate entanglement between qubits is a routine task in both quantum communication and computation. The existing tools for predicting how much entanglement a given gate can generate require either simulation of the entangling circuit or averaging over a distribution of inputs for a given controlled unitary gate. Here, we introduce a computable quantity ζ that not only determines whether a controlled unitary gate generates entanglement, but also quantifies the entanglement for any specific input without requiring the construction of the output state. For two-qubit controlled unitary gates, we establish the physical conditions corresponding to the extremum values of the proposed quantity. Extending the dimension of control and target registers to arbitrary size through a generalized controlled unitary architecture, we derive a universal upper bound on ζ and identify the conditions for its saturation. Later we establish functional relation between the quantity and other known quantities, such as purity, normalized linear entropy, and von Neumann entropy. Finally, we compare our results with previous research work and show that the quantity proposed in this work achieves the previously known optimal values of entangling power of controlled unitary gates for some specific dimensions of target and control registers.
We propose a theory of classifying quantum circuits with qubit functional configurations. Any quantum circuit can be decomposed into alternating sequences of 1-qubit unitary gates and CNOT gates. Each CNOT sequence prepares the current quantum state into a layer of qubit functional configuration to specify the rule for the next 1-qubit unitary sequence on how to collectively modify the state vector entries. The functional configuration layers on a quantum circuit define its circuit type. These functional configuration types characterize important properties of the corresponding quantum circuits such as the circuit complexity, providing systematic knowledge of large collections of quantum circuits. We demonstrate the theory by analyzing the quantum Fourier transform circuit with the functional configuration picture. For potential applications, the functional configuration picture may allow systematic understanding of quantum algorithms based on their quantum circuit types, which can benefit the development of new algorithms.
Abstract This practical guide provides a detailed introduction to quantum logic gates and unitary operators as implemented on the IBM Q platform. It focuses on the fundamental gate structures used in quantum programming, particularly within the Composer interface, and provides screenshots and detailed descriptions of each operator’s functionality. The guide emphasizes the operational role of gates in controlling qubit states and constructing quantum circuits. To enhance understanding, the behavior of gates is visualized on the Bloch sphere, demonstrating how single-qubit operations rotate qubit states around the XXX, YYY, and ZZZ axes, as well as how phase shifts and amplitude adjustments modify the qubit. These operations are essential for measurement, state preparation, and precise manipulation of quantum systems. The relevance of this study is underscored by the rapid development of quantum technologies and the increasing accessibility of quantum computing platforms like IBM Q. A thorough understanding of quantum gates and their implementations is critical for advancing quantum algorithm design and for training specialists capable of deploying quantum computational solutions in fields ranging from cryptography to complex physical system simulations. This guide provides both theoretical insights and practical exercises, bridging the gap between abstract quantum mechanics and applied quantum programming, thereby equipping readers with foundational skills for effective circuit construction and quantum computation.
We studied the outputs that a quantum circuit consisting of four qubits can produce by using quantum gates, which operate on the states of the qubit as a state vector that can be expressed through unitary matrices. We made the change by exploiting the superposition property of the Hadamard gate, and with its presence in the quantum circuit, we used CNOT gates, which produced entangled states . The study explained the output of a quantum circuit consisting of four qubits and gave a methodology for changing this output by installing one input type for the quantum circuit (we used the input ). It showed the importance of measurement in the quantum circuit and its effect on the and the . Starting from, produce all 16 states of the four qubits, which can be expressed as the computational basis state of a vector state using only an x-gate.