Low-rank geometry of two-qubit gates

We present a framework based on the determinantal geometry of two-qubit gates. Combining the Weyl chamber representation with operator Schmidt theory, we interpret gate synthesis as a distance problem to determinantal varieties. This gives an operational geometry to the Weyl chamber, quantifying nonlocal complexity. We show that the square root iSWAP gate is the closest perfect entangler to the variety of local operations, and that no perfect entangler can be approximated by a local gate with average gate fidelity above 79.8%. The three different determinantal costs form a synthesis-adapted coordinate system that encodes nonlocal complexity and generally reconstructs the Weyl chamber.We present a framework based on the determinantal geometry of two-qubit gates. Combining the Weyl chamber representation with operator Schmidt theory, we interpret gate synthesis as a distance problem to determinantal varieties. This gives an operational geometry to the Weyl chamber, quantifying nonlocal complexity. We show that the square root iSWAP gate is the closest perfect entangler to the variety of local operations, and that no perfect entangler can be approximated by a local gate with average gate fidelity above 79.8%. The three different determinantal costs form a synthesis-adapted coordinate system that encodes nonlocal complexity and generally reconstructs the Weyl chamber.

quant-pharXiv:2604.15102APS Open ScienceApr 17, 20260 citations

Geometric theory of nonlocal two-qubit operations

Jun Zhang, Jiří Vala, Shankar Sastry +1 more

We study nonlocal two-qubit operations from a geometric perspective. By applying a Cartan decomposition to su(4), we find that the geometric structure of nonlocal gates is a 3-torus. We derive the invariants for local transformations, and connect these local invariants to the coordinates of the 3-torus. Since different points on the 3-torus may correspond to the same local equivalence class, we use the Weyl group theory to reduce the symmetry. We show that the local equivalence classes of two-qubit gates are in one-to-one correspondence with the points in a tetrahedron except on the base. We then study the properties of perfect entanglers, that is, the two-qubit operations that can generate maximally entangled states from some initially separable states. We provide criteria to determine whether a given two-qubit gate is a perfect entangler and establish a geometric description of perfect entanglers by making use of the tetrahedral representation of nonlocal gates. We find that exactly half the nonlocal gates are perfect entanglers. We also investigate the nonlocal operations generated by a given Hamiltonian. We first study the gates that can be directly generated by a Hamiltonian. Then we explicitly construct a quantum circuit that contains at most three nonlocal gates generated by a two-body interaction Hamiltonian, together with at most four local gates generated by single-qubit terms. We prove that such a quantum circuit can simulate any arbitrary two-qubit gate exactly, and hence it provides an efficient implementation of universal quantum computation and simulation.We study nonlocal two-qubit operations from a geometric perspective. By applying a Cartan decomposition to su(4), we find that the geometric structure of nonlocal gates is a 3-torus. We derive the invariants for local transformations, and connect these local invariants to the coordinates of the 3-torus. Since different points on the 3-torus may correspond to the same local equivalence class, we use the Weyl group theory to reduce the symmetry. We show that the local equivalence classes of two-qubit gates are in one-to-one correspondence with the points in a tetrahedron except on the base. We then study the properties of perfect entanglers, that is, the two-qubit operations that can generate maximally entangled states from some initially separable states. We provide criteria to determine whether a given two-qubit gate is a perfect entangler and establish a geometric description of perfect entanglers by making use of the tetrahedral representation of nonlocal gates. We find that exactly half the nonlocal gates are perfect entanglers. We also investigate the nonlocal operations generated by a given Hamiltonian. We first study the gates that can be directly generated by a Hamiltonian. Then we explicitly construct a quantum circuit that contains at most three nonlocal gates generated by a two-body interaction Hamiltonian, together with at most four local gates generated by single-qubit terms. We prove that such a quantum circuit can simulate any arbitrary two-qubit gate exactly, and hence it provides an efficient implementation of universal quantum computation and simulation.

arXiv:quant-ph/0209120Physical Review AApr 18, 2003415 citations

Optimal Construction of Two-Qubit Gates using the Symmetries of B Gate Equivalence Class

M. Karthick Selvan, S. Balakrishnan

Two applications of gates from the B gate equivalence class can generate all two-qubit gates. This local equivalence class is invariant under the mirror (multiplication with the SWAP gate) operation, inverse (Hermitian conjugate) operation, and the combined inverse and mirror operations. The last two symmetries are associated with the ability of a two-qubit gate to generate the two-qubit local gates and the SWAP gate in two applications. No single local equivalence class of two-qubit gates, except the B gate equivalence class, has these two symmetries. Only the planar regions of the Weyl chamber, describing the mirror operation, contain the local equivalence classes with either one of the two symmetries. We show that there exist one-parameter families of local equivalence classes on these planes, with and without the B gate equivalence class, such that each of them can be used to construct a parameterized universal two-qubit quantum circuit that involves only two nonlocal two-qubit gates. We also discuss the implementation of the gates from a few families of local equivalence classes on superconducting quantum computers for optimal generation of all two-qubit gates. We provide upper bounds on the number of two-qubit gates required to generate an arbitrary $n$ -qubit gate for two families, each of which is conjectured to generate all two-qubit gates in two applications. We show that there exists a positive correlation between the area of the convex hull of the squared eigenvalues of the nonlocal part of a parameterized two-qubit gate and the fractional volume of the Weyl chamber covered in two applications of the parameterized two-qubit gate for two families of local equivalence classes.Two applications of gates from the B gate equivalence class can generate all two-qubit gates. This local equivalence class is invariant under the mirror (multiplication with the SWAP gate) operation, inverse (Hermitian conjugate) operation, and the combined inverse and mirror operations. The last two symmetries are associated with the ability of a two-qubit gate to generate the two-qubit local gates and the SWAP gate in two applications. No single local equivalence class of two-qubit gates, except the B gate equivalence class, has these two symmetries. Only the planar regions of the Weyl chamber, describing the mirror operation, contain the local equivalence classes with either one of the two symmetries. We show that there exist one-parameter families of local equivalence classes on these planes, with and without the B gate equivalence class, such that each of them can be used to construct a parameterized universal two-qubit quantum circuit that involves only two nonlocal two-qubit gates. We also discuss the implementation of the gates from a few families of local equivalence classes on superconducting quantum computers for optimal generation of all two-qubit gates. We provide upper bounds on the number of two-qubit gates required to generate an arbitrary $n$-qubit gate for two families, each of which is conjectured to generate all two-qubit gates in two applications. We show that there exists a positive correlation between the area of the convex hull of the squared eigenvalues of the nonlocal part of a parameterized two-qubit gate and the fractional volume of the Weyl chamber covered in two applications of the parameterized two-qubit gate for two families of local equivalence classes.

quant-pharXiv:2601.13983Jan 21, 20260 citations

Characterizing the geometrical edges of nonlocal two-qubit gates

S. Balakrishnan, R. Sankaranarayanan

Nonlocal two-qubit gates are geometrically represented by tetrahedron known as Weyl chamber within which perfect entanglers form a polyhedron. We identify that all edges of the Weyl chamber and polyhedron are formed by single parametric gates. Nonlocal attributes of these edges are characterized using entangling power and local invariants. In particular, ${\text{SWAP}}^{\ensuremath{-}\ensuremath{\alpha}}$ family of gates with $0\ensuremath{\le}\ensuremath{\alpha}\ensuremath{\le}1$ constitutes one edge of the Weyl chamber with ${\text{SWAP}}^{\ensuremath{-}1/2}$ being the only perfect entangler. Finally, optimal constructions of controlled-NOT using ${\text{SWAP}}^{\ensuremath{-}1/2}$ gate and gates belong to three edges of the polyhedron are presented.Nonlocal two-qubit gates are geometrically represented by tetrahedron known as Weyl chamber within which perfect entanglers form a polyhedron. We identify that all edges of the Weyl chamber and polyhedron are formed by single parametric gates. Nonlocal attributes of these edges are characterized using entangling power and local invariants. In particular, ${\text{SWAP}}^{\ensuremath{-}\ensuremath{\alpha}}$ family of gates with $0\ensuremath{\le}\ensuremath{\alpha}\ensuremath{\le}1$ constitutes one edge of the Weyl chamber with ${\text{SWAP}}^{\ensuremath{-}1/2}$ being the only perfect entangler. Finally, optimal constructions of controlled-NOT using ${\text{SWAP}}^{\ensuremath{-}1/2}$ gate and gates belong to three edges of the polyhedron are presented.

arXiv:0902.4124Physical Review AMay 28, 200918 citations

Nonlocal characteristics of two-qubit gates from Argand diagram geometry

M. Karthick Selvan, S. Balakrishnan

Abstract We show that the geometrical features of the unimodular squared eigenvalues of the nonlocal part of a two-qubit gate in the complex plane can be used to study the nonlocal characteristics of the two-qubit gate. It has been shown that the entangling power of a two-qubit gate can be expressed in terms of the mean squared length of the chords connecting the squared eigenvalues of the nonlocal part with each other. In this paper, we provide similar expressions for the gate typicality and the linear entropy of two-qubit gates. The expression of gate typicality involves the squared lengths of three chords connecting a squared eigenvalue of the nonlocal part with the complex conjugate of the other three squared eigenvalues. The expression of linear entropy is obtained from the expressions of entangling power and gate typicality. We also express them in terms of the linear entropies of certain two-qubit states. In addition, we show that the normalized entangling power of a two-qubit gate can be provided exact description in the Argand diagram. Finally, we analyze the simplices enclosing the origin in the convex hull of the squared eigenvalues of the nonlocal part of the perfect entangling two-qubit gates to construct a pair of orthonormal product states that can be transformed into maximally entangled states, and divide the region of perfect entanglers in the Weyl chamber into different regions based on the uniqueness of the simplices enclosing the origin.Abstract We show that the geometrical features of the unimodular squared eigenvalues of the nonlocal part of a two-qubit gate in the complex plane can be used to study the nonlocal characteristics of the two-qubit gate. It has been shown that the entangling power of a two-qubit gate can be expressed in terms of the mean squared length of the chords connecting the squared eigenvalues of the nonlocal part with each other. In this paper, we provide similar expressions for the gate typicality and the linear entropy of two-qubit gates. The expression of gate typicality involves the squared lengths of three chords connecting a squared eigenvalue of the nonlocal part with the complex conjugate of the other three squared eigenvalues. The expression of linear entropy is obtained from the expressions of entangling power and gate typicality. We also express them in terms of the linear entropies of certain two-qubit states. In addition, we show that the normalized entangling power of a two-qubit gate can be provided exact description in the Argand diagram. Finally, we analyze the simplices enclosing the origin in the convex hull of the squared eigenvalues of the nonlocal part of the perfect entangling two-qubit gates to construct a pair of orthonormal product states that can be transformed into maximally entangled states, and divide the region of perfect entanglers in the Weyl chamber into different regions based on the uniqueness of the simplices enclosing the origin.

arXiv:2502.03820Physica ScriptaJan 6, 20260 citations

Optimal Two-Qubit Gate-Cutting Cost and Measures of Nonlocality

Michael Hart

Circuit cutting enables quantum computations to be decomposed into smaller subcircuits at the cost of additional sampling overhead. Gate-cutting provides one such approach by replacing nonlocal gates with quasiprobability decompositions of local operations. Starting from the known optimal two-qubit gate-cutting formula, we derive complete sharp lower and upper envelopes relating the quasiprobability extent $γ$ to five established descriptors: entangling power, gate typicality, operator entanglement, Schmidt strength, and maximum product-input concurrence. We recast $γ$ as a Rényi- $1/2$ functional of the operator-Schmidt spectrum and show how the physical constraints on two-qubit spectra sharpen generic entropy bounds and select a small set of recurring extremal Cartan families. None of the five descriptors generically determines $γ$ alone, but each imposes exact constraints, revealing how substantially the optimal gate-cutting cost can vary between gates with similar nonlocal characteristics.Circuit cutting enables quantum computations to be decomposed into smaller subcircuits at the cost of additional sampling overhead. Gate-cutting provides one such approach by replacing nonlocal gates with quasiprobability decompositions of local operations. Starting from the known optimal two-qubit gate-cutting formula, we derive complete sharp lower and upper envelopes relating the quasiprobability extent $γ$ to five established descriptors: entangling power, gate typicality, operator entanglement, Schmidt strength, and maximum product-input concurrence. We recast $γ$ as a Rényi-$1/2$ functional of the operator-Schmidt spectrum and show how the physical constraints on two-qubit spectra sharpen generic entropy bounds and select a small set of recurring extremal Cartan families. None of the five descriptors generically determines $γ$ alone, but each imposes exact constraints, revealing how substantially the optimal gate-cutting cost can vary between gates with similar nonlocal characteristics.

quant-pharXiv:2609.30141Sep 25, 20260 citations

n

-qubit gate for two families, each of which is conjectured to generate all two-qubit gates in two applications. We show that there exists a positive correlation between the area of the convex hull of the squared eigenvalues of the nonlocal part of a parameterized two-qubit gate and the fractional volume of the Weyl chamber covered in two applications of the parameterized two-qubit gate for two families of local equivalence classes.

γ

to five established descriptors: entangling power, gate typicality, operator entanglement, Schmidt strength, and maximum product-input concurrence. We recast

γ

as a Rényi-

1/2

functional of the operator-Schmidt spectrum and show how the physical constraints on two-qubit spectra sharpen generic entropy bounds and select a small set of recurring extremal Cartan families. None of the five descriptors generically determines

γ

alone, but each imposes exact constraints, revealing how substantially the optimal gate-cutting cost can vary between gates with similar nonlocal characteristics.