Cross-Platform verification of Intermediate Scale Quantum Devices

This protocol is used to perform cross-platform verification of quantum simulators and quantum computers. This is used to directly measure the overlap and purities of two quantum states prepared in two different physical platforms and thus used to measure the fidelity of two possibly mixed states. This protocol infers the cross-platform fidelity of two quantum states from statistical correlations between the randomized measurements performed on the two different devices.

Tags: Certification Protocol, Cross-Platform Fidelity, Building Trust, Two devices

Assumptions

• There are no prior assumptions on the quantum states.
• The spin values for the two quantum devices are known.

Outline

The aim here to perform cross-platform verification by measuring the overlap of quantum states produced with two different experimental setups, potentially realized on very different physical platforms, without any prior assumptions on the quantum states themselves. This can be used to whether two quantum devices have prepared the same quantum state. Here, the cross-platform fidelity is inferred from the statistical correlations between randomized measurements performed on the first and second device.

This protocol to measure the cross-platform fidelity of two quantum states requires only classical communication of random unitaries and measurement outcomes between the two platforms, with the experiments possibly taking place at very different points in time and space.

This protocol consists of the following steps:

• We start with two quantum devices which are based on different physical platforms, each consisting of two different spins. Two quantum operations are prepared in these quantum devices, which are each described by a density matrix.
• We find the reduced density matrices for the sub-systems of identical size for each device using partial trace operator over that sub-system.
• We apply a same random unitary is applied to the two quantum states. This random unitary is defined as the product of local random unitaries acting on all spins of the subsystem. Here, the local random unitaries are sampled independently from a unitary 2-design defined on the local Hilbert space and sent via classical communication to both devices.
• Now projective measurements in a computational basis are performed for both the systems.
• Repeating these measurements for the fixed random unitary provides us with the estimates of probability of measurement outcomes for the both the states.
• This entire procedure is then repeated for many different random unitaries.
• Finally we estimate the density matrix from the second order cross-correlations between the two platforms using the ensemble average of probabilities over random unitaries from the above procedure.
• The purities for the two sub systems are obtained as second-order auto-correlations of the probabilities.

Notation

• $N_{M}$: Finite number of projective measurements performed per random unitary
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_U} : Finite number of random unitaries used to infer overlap
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \epsilon} : Fixed value of statistical error
• $S_{1},S_{2}$: Two devices realised on different physical platforms
• $N_{1},N_{2}$: Spins consisted in $S_{1}$ and $S_{2}$ respectively
• $U_{1},U_{2}$: Quantum operation prepared in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_2} respectively
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_1, \rho_2} : Density matrices of Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_2} respectively
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_{i,A_i}} : Reduced density matrices
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_i} : Sub system of identical size $N_{A}$ where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_i \subseteq S_i}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_{A}} : Size of subset Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_i} . Subsets Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_2} have the equal size Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_{A}}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D_A} : Associated Hilbert space dimension, Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D_A = d^{N_A}}
• $U_{A}$: Random unitary
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_k} : Local random unitaries acting on spins Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k=1, .., N_A} . Here, the Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_k} are sampled independently from a unitary 2-design defined on the local Hilbert space Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle C^d}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k} : Spin
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |s_A \rangle} : This denotes a string of possible measurement outcomes for spins. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |s_A \rangle =|s_1, ..., S_{N_A} \rangle }
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_U^{(i)}} : Estimate of probabilities of measurement outcome for different spins.
• ${\overline {P_{U}^{(i)}(s_{A})}}$: The ensemble average over random unitaries of the form Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_A}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D[s_A, s_A']} : Hamming distance between two strings Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s_A, s_A'} is defined as the number of spins where Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle s_k \neq s_k'} i.e. Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D[s_A,s_A'] = |\{k \in \{ 1, .., N_A\}| s_k \neq s_k'\}|}
• Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{max}(\rho_1, \rho_2)} : Cross platform fidelity between two quantum states

Hardware Requirements

• Two quantum devices on two different physical platforms
• Trusted Measurement device.
• Classical communication channel

Properties

• Figure of merit: Cross-platform fidelity of two quantum states
• We can estimate the density matrix overlap of two quantum states here as well as their purities.
• The present protocol scales, although exponentially, much more favorably with the (sub)system size, allowing practical cross-platform verification for (sub)systems involving tens of qubits on state-of-the-art quantum devices.
• This protocol can be used to perform fidelity estimation towards known target theoretical states, as an experiment-theory comparison.
• In practice, from a finite number of projective measurements performed per random unitary (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_M} ), a statistical error of the estimated fidelity arises. With that, a finite number (Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_U} ) of random unitaries used to infer overlap and purities can also cause a statistical error while estimating fidelity. Therefore, the scaling of the total number of experimental runs Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_MN_U} , which are required to reduce this statistical error below a fixed value of $\epsilon$

Protocol Description

Input: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_1, S_2} with spins Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle N_1, N_2}

Output: Cross platform fidelity Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{max}}

• Prepare Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_1, U_2} with density matrices Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_1, \rho_2} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_2} respectively.
• Denote Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_{i,A_i}} in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle D_A} as Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle tr_{S_i / A_i} (\rho_i)} for Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle A_i \subseteq S_i (i = 1,2)}
• For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1, ...., N_u}
  • For spin Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k= 1, ..., N_A} :
    • Sample Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_k} independently from a unitary 2-design
    • Send Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_k} classically to Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_1} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_2}
  • For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i= 1,2} :
    • Apply Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle U_A = \bigotimes_{k=1}^{N_A}U_k} to $\rho _{i,A_{i}}$ in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_i}
    • For Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 1, ..., N_M} :
      • Perform projective measurements in a computational basis in Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle S_i}
      • Obtain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle |s_A \rangle}
    • Get estimates of probabilities Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle P_U^{(i)}(s_A) = Tr_{A_i}[U_A \rho_{i,A_i}U^{\dagger}_A |s_A\rangle\langle s_A|]}
• Obtain Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{P_U^{(i)}(s_A)}} and Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \overline{P_U^{(j)}(s_A)}}
• Define TrFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\rho_{i, A_i}, \rho_{j, A_j}] = d^{N_A}\sum_{s_A,s_A'} (-d)^{-D[s_A, s_A']}\overline{P_U^{(i)}(s_A)P_U^{(j)}(s_A')}}
• For density matrix overlap:
  • Substitute Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i = 1, j = 2} , to get TrFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle [\rho_{1, A_1}, \rho_{2, A_2}]}
• For the purities of the quantum states:
  • Substitute Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i =j = 1} for TrFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_{1, A_1}^2}
  • Substitute Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle i =j = 2} for TrFailed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \rho_{2, A_2}^2}
• Calculate Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{max}} using: Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle F_{max} = \frac{Tr[\rho_{1, A_1}, \rho_{2, A_2}]}{max\{Tr\rho_{1, A_1}^2, Tr\rho_{2, A_2}^2\}}}

Further Information

• In principle, the cross-platform fidelity can be determined from full quantum state tomography of the two quantum devices. However due to the exponential scaling with the (sub)system size, this approach is limited to only a few degrees of freedom, In contrast, as demonstrated below, the present protocol scales, although exponentially, much more favorably with the (sub)system size, allowing practical cross-platform verification for (sub)systems involving tens of qubits on state-of-the-art quantum devices.

Related Papers

• A.Elben et al (2020) arXiv:1909.01282: Cross-Platform Verification of Intermediate Scale Quantum Devices

*contributed by Rhea Parekh