Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1305.3222 · Physical Review A

Minimum number of input states required for quantum gate characterization

Daniel M. Reich, Giulia Gualdi, Christiane P. Koch

Published Oct 8, 2013• 33 citations
arXivHTMLPDF

Abstract

We derive an algebraic framework which identifies the minimal information required to assess how well a quantum device implements a desired quantum operation. Our approach is based on characterizing only the unitary part of an open system's evolution. We show that a reduced set of input states is sufficient to estimate the average fidelity of a quantum gate, avoiding a sampling over the full Liouville space. Surprisingly, the minimal set consists of only two input states, independent of the Hilbert-space dimension. The minimal set is, however, impractical for device characterization, since one of the states is a totally mixed thermal state and extracting bounds for the average fidelity is impossible. We therefore present two further reduced sets of input states that allow for, respectively, numerical and analytical bounds on the average fidelity.

DOI
10.1103/physreva.88.042309

Related papers

Bounds on quantum process fidelity from minimum required number of quantum state fidelity measurements

Jaromı́r Fiurášek, Michal Sedlák

To certify that an experimentally implemented quantum transformation is a certain unitary operation $U$ on a $d$-dimensional Hilbert space, it suffices to determine fidelities of output states for $d+1$ suitably chosen pure input states [Reich et al., Phys. Rev. A 88, 042309 (2013)]. The set of these $d+1$ probe states can consist of $d$ orthogonal states that form a basis and one additional state which is a balanced superposition of all $d$ basis states. Here we provide an analytical lower bound on quantum process fidelity for two-qubit quantum gates which results from the knowledge of average state fidelity for the basis states and the fidelity of the superposition state. We compare this bound with the Hofmann bound that is based on knowledge of average state fidelities for two mutually unbiased bases. We also discuss the possible extension of our findings to $N$-qubit operations.

arXiv:1401.5964•Physical Review A•Jan 22, 2014•7 citations

Optimal Strategies for Estimating the Average Fidelity of Quantum Gates

Daniel M. Reich, Giulia Gualdi, Christiane P. Koch

We show that the minimum experimental effort to estimate the average error of a quantum gate scales as 2(n) for n qubits and requires classical computational resources ∼n(2)2(3n) when no specific assumptions on the gate can be made. This represents a reduction by 2(n) compared to the best currently available protocol, Monte Carlo characterization. The reduction comes at the price of either having to prepare entangled input states or obtaining bounds rather than the average fidelity itself. It is achieved by applying Monte Carlo sampling to so-called 2-designs or two classical fidelities. For the specific case of Clifford gates, the original version of Monte Carlo characterization based on the channel-state isomorphism remains an optimal choice. We provide a classification of the available efficient strategies to determine the average gate error in terms of the number of required experimental settings, average number of actual measurements, and classical computational resources.

arXiv:1305.5649•Physical Review Letters•Nov 12, 2013•29 citations

Quantum process fidelity bounds from sets of input states

Karl Mayer, Emanuel H. Knill

We investigate the problem of bounding the quantum process fidelity given bounds on the fidelities between target states and the action of a process on a set of pure input states. We formulate the problem as a semidefinite program and prove convexity of the minimum process fidelity as a function of the errors on the output states. We characterize the conditions required to uniquely determine a process in the case of no errors and derive a lower bound on its fidelity in the limit of small errors for any set of input states satisfying these conditions. We then consider sets of input states whose one-dimensional projectors form a symmetric positive operator-valued measure (POVM). We prove that for such sets the minimum fidelity is bounded by a linear function of the average output state error. A symmetric POVM with minimal number of elements contains $d+1$ states, where $d$ is the Hilbert space dimension. Our bounds applied to such states provide an efficient method for estimating the process fidelity without the use of full process tomography.

arXiv:1805.04491•Physical Review A•Nov 21, 2018•16 citations

Optimal control theory for a unitary operation under dissipative evolution

Michael H Goerz, Daniel M Reich, Christiane P. Koch

We show that optimizing a quantum gate for an open quantum system requires the time evolution of only three states irrespective of the dimension of Hilbert space. This represents a significant reduction in computational resources compared to the complete basis of Liouville space that is commonly believed necessary for this task. The reduction is based on two observations: the target is not a general dynamical map but a unitary operation; and the time evolution of two properly chosen states is sufficient to distinguish any two unitaries. We illustrate gate optimization employing a reduced set of states for a controlled phasegate with trapped atoms as qubit carriers and a gate with superconducting qubits.

arXiv:1312.0111•New Journal of Physics•May 16, 2014•88 citations

Optimal control theory for a unitary operation under dissipative evolution

Michael H. Goerz, Daniel M. Reich, Christiane P. Koch

We show that optimizing a quantum gate for an open quantum system requires the time evolution of only three states irrespective of the dimension of Hilbert space. This represents a significant reduction in computational resources compared to the complete basis of Liouville space that is commonly believed necessary for this task. The reduction is based on two observations: The target is not a general dynamical map but a unitary operation; and the time evolution of two properly chosen states is sufficient to distinguish any two unitaries. We illustrate gate optimization employing a reduced set of states for a controlled phasegate with trapped atoms as qubit carriers and a $\sqrt{i\text{SWAP}}$ gate with superconducting qubits.

•Jan 1, 2014•23 citations

Efficient Characterisation and Optimal Control of Open Quantum Systems - Mathematical Foundations and Physical Applications

Daniel M. Reich

Since no physical system can ever be completely isolated from its environment, the study of open quantum systems is pivotal to reliably and accurately control complex quantum systems. In practice, reliability of the control field needs to be confirmed via certification of the target evolution while accuracy requires the derivation of high-fidelity control schemes in the presence of decoherence. In the first part of this thesis an algebraic framework is presented that allows to determine the minimal requirements on the unique characterisation of arbitrary unitary gates in open quantum systems, independent on the particular physical implementation of the employed quantum device. To this end, a set of theorems is devised that can be used to assess whether a given set of input states on a quantum channel is sufficient to judge whether a desired unitary gate is realised. This allows to determine the minimal input for such a task, which proves to be, quite remarkably, independent of system size. These results allow to elucidate the fundamental limits regarding certification and tomography of open quantum systems. The combination of these insights with state-of-the-art Monte Carlo process certification techniques permits a significant improvement of the scaling when certifying arbitrary unitary gates. This improvement is not only restricted to quantum information devices where the basic information carrier is the qubit but it also extends to systems where the fundamental informational entities can be of arbitary dimensionality, the so-called qudits. The second part of this thesis concerns the impact of these findings from the point of view of Optimal Control Theory (OCT). OCT for quantum systems utilises concepts from engineering such as feedback and optimisation to engineer constructive and destructive interferences in order to steer a physical process in a desired direction. It turns out that the aforementioned mathematical findings allow to deduce novel optimisation functionals that significantly reduce not only the required memory for numerical control algorithms but also the total CPU time required to obtain a certain fidelity for the optimised process. The thesis concludes by discussing two problems of fundamental interest in quantum information processing from the point of view of optimal control the preparation of pure states and the implementation of unitary gates in open quantum systems. For both cases specific physical examples are considered: for the former the vibrational cooling of molecules via optical pumping and for the latter a superconducting phase qudit implementation. In particular, it is illustrated how features of the environment can be exploited to reach the desired targets.

•Jun 19, 2015•3 citations
We derive an algebraic framework which identifies the minimal information required to assess how well a quantum device implements a desired quantum operation. Our approach is based on characterizing only the unitary part of an open system's evolution. We show that a reduced set of input states is sufficient to estimate the average fidelity of a quantum gate, avoiding a sampling over the full Liouville space. Surprisingly, the minimal set consists of only two input states, independent of the Hilbert-space dimension. The minimal set is, however, impractical for device characterization, since one of the states is a totally mixed thermal state and extracting bounds for the average fidelity is impossible. We therefore present two further reduced sets of input states that allow for, respectively, numerical and analytical bounds on the average fidelity.
To certify that an experimentally implemented quantum transformation is a certain unitary operation UUU on a ddd-dimensional Hilbert space, it suffices to determine fidelities of output states for d+1d+1d+1 suitably chosen pure input states [Reich et al., Phys. Rev. A 88, 042309 (2013)]. The set of these d+1d+1d+1 probe states can consist of ddd orthogonal states that form a basis and one additional state which is a balanced superposition of all ddd basis states. Here we provide an analytical lower bound on quantum process fidelity for two-qubit quantum gates which results from the knowledge of average state fidelity for the basis states and the fidelity of the superposition state. We compare this bound with the Hofmann bound that is based on knowledge of average state fidelities for two mutually unbiased bases. We also discuss the possible extension of our findings to NNN-qubit operations.
We show that the minimum experimental effort to estimate the average error of a quantum gate scales as 2(n) for n qubits and requires classical computational resources ∼n(2)2(3n) when no specific assumptions on the gate can be made. This represents a reduction by 2(n) compared to the best currently available protocol, Monte Carlo characterization. The reduction comes at the price of either having to prepare entangled input states or obtaining bounds rather than the average fidelity itself. It is achieved by applying Monte Carlo sampling to so-called 2-designs or two classical fidelities. For the specific case of Clifford gates, the original version of Monte Carlo characterization based on the channel-state isomorphism remains an optimal choice. We provide a classification of the available efficient strategies to determine the average gate error in terms of the number of required experimental settings, average number of actual measurements, and classical computational resources.
We investigate the problem of bounding the quantum process fidelity given bounds on the fidelities between target states and the action of a process on a set of pure input states. We formulate the problem as a semidefinite program and prove convexity of the minimum process fidelity as a function of the errors on the output states. We characterize the conditions required to uniquely determine a process in the case of no errors and derive a lower bound on its fidelity in the limit of small errors for any set of input states satisfying these conditions. We then consider sets of input states whose one-dimensional projectors form a symmetric positive operator-valued measure (POVM). We prove that for such sets the minimum fidelity is bounded by a linear function of the average output state error. A symmetric POVM with minimal number of elements contains d+1d+1d+1 states, where ddd is the Hilbert space dimension. Our bounds applied to such states provide an efficient method for estimating the process fidelity without the use of full process tomography.
We show that optimizing a quantum gate for an open quantum system requires the time evolution of only three states irrespective of the dimension of Hilbert space. This represents a significant reduction in computational resources compared to the complete basis of Liouville space that is commonly believed necessary for this task. The reduction is based on two observations: the target is not a general dynamical map but a unitary operation; and the time evolution of two properly chosen states is sufficient to distinguish any two unitaries. We illustrate gate optimization employing a reduced set of states for a controlled phasegate with trapped atoms as qubit carriers and a gate with superconducting qubits.
We show that optimizing a quantum gate for an open quantum system requires the time evolution of only three states irrespective of the dimension of Hilbert space. This represents a significant reduction in computational resources compared to the complete basis of Liouville space that is commonly believed necessary for this task. The reduction is based on two observations: The target is not a general dynamical map but a unitary operation; and the time evolution of two properly chosen states is sufficient to distinguish any two unitaries. We illustrate gate optimization employing a reduced set of states for a controlled phasegate with trapped atoms as qubit carriers and a iSWAP\sqrt{i\text{SWAP}}iSWAP​ gate with superconducting qubits.
Since no physical system can ever be completely isolated from its environment, the study of open quantum systems is pivotal to reliably and accurately control complex quantum systems. In practice, reliability of the control field needs to be confirmed via certification of the target evolution while accuracy requires the derivation of high-fidelity control schemes in the presence of decoherence. In the first part of this thesis an algebraic framework is presented that allows to determine the minimal requirements on the unique characterisation of arbitrary unitary gates in open quantum systems, independent on the particular physical implementation of the employed quantum device. To this end, a set of theorems is devised that can be used to assess whether a given set of input states on a quantum channel is sufficient to judge whether a desired unitary gate is realised. This allows to determine the minimal input for such a task, which proves to be, quite remarkably, independent of system size. These results allow to elucidate the fundamental limits regarding certification and tomography of open quantum systems. The combination of these insights with state-of-the-art Monte Carlo process certification techniques permits a significant improvement of the scaling when certifying arbitrary unitary gates. This improvement is not only restricted to quantum information devices where the basic information carrier is the qubit but it also extends to systems where the fundamental informational entities can be of arbitary dimensionality, the so-called qudits. The second part of this thesis concerns the impact of these findings from the point of view of Optimal Control Theory (OCT). OCT for quantum systems utilises concepts from engineering such as feedback and optimisation to engineer constructive and destructive interferences in order to steer a physical process in a desired direction. It turns out that the aforementioned mathematical findings allow to deduce novel optimisation functionals that significantly reduce not only the required memory for numerical control algorithms but also the total CPU time required to obtain a certain fidelity for the optimised process. The thesis concludes by discussing two problems of fundamental interest in quantum information processing from the point of view of optimal control the preparation of pure states and the implementation of unitary gates in open quantum systems. For both cases specific physical examples are considered: for the former the vibrational cooling of molecules via optical pumping and for the latter a superconducting phase qudit implementation. In particular, it is illustrated how features of the environment can be exploited to reach the desired targets.