Broken Promises and Quantum Algorithms

Adam Brazier,Martin B. Plenio

DOI: https://doi.org/10.48550/arXiv.quant-ph/0304017

2004-12-28

Abstract:In the black-box model, problems constrained by a `promise' are the only ones that admit a quantum exponential speedup over the best classical algorithm in terms of query complexity. The most prominent example of this is the Deutsch-Jozsa algorithm. More recently, Wim van Dam put forward an algorithm for unstructured problems (i.e., those without a promise). We consider the Deutsch-Jozsa algorithm with a less restrictive (or `broken') promise and study the transition to an unstructured problem. We compare this to the success of van Dam's algorithm. These are both compared with a standard classical sampling algorithm. The Deutsch-Jozsa algorithm remains good as the problem initially becomes less structured, but the van Dam algorithm can be adapted so as to become superior to the Deutsch-Jozsa algorithm as the promise is weakened.

Quantum Physics

What problem does this paper attempt to address?

The problems that this paper attempts to solve are related to the understanding and quantification of the spin relaxation mechanism in zinc - blend semiconductor quantum structures. Specifically, the author focuses on the relationship between the spin relaxation rate due to the D'yakonov - Perel' (DP) mechanism and the anisotropic spin splitting of electron states. The core of these problems lies in:

1. **Understanding the spin relaxation mechanism**: In particular, in the asymmetric zinc - blend semiconductor quantum well (QW) structure, spin relaxation is dominated by the DP mechanism, which is closely related to spin splitting.
2. **Calculating the spin relaxation rate**: The author performs self - consistent calculations through the multi - band envelope - function approximation (EFA) to determine the relaxation rates of different spin components.
3. **Analyzing the sources of spin splitting**: Studying the effects of bulk material inversion asymmetry (BIA) and structural inversion asymmetry (SIA) on spin splitting.
4. **Interpreting experimental phenomena**: By performing detailed calculations on the dependence of different carrier densities and quantum well widths, explaining the large anisotropy and non - monotonic behavior of the spin relaxation time observed in experiments.

### Specific problems

1. **How to explain the large anisotropy of the spin relaxation time?**
- The author found that the relaxation rates of different spin components in the (001) plane show large anisotropy, which can be attributed to the interaction between BIA and SIA.

2. **What is the relationship between the spin relaxation rate and the carrier density?**
- For some spin components, especially \[ \tau_{-}^{-1} \], it shows a significant non - monotonic dependence within a specific carrier density range, which is different from previous research results.

3. **How to improve the limitations of existing models?**
- Previous simple variational calculations assumed infinite potential barriers and single - band approximations, while this paper uses more rigorous multi - band EFA calculations, taking into account the effects of finite potential barriers, non - parabolic effects, and material parameters, thereby improving the reliability of calculations.

### Key formulas

- The effective magnetic field caused by spin - orbit coupling:
\[
\Omega_{\text{BIA}}(\mathbf{k}) = \frac{\gamma}{\hbar} \begin{pmatrix}
k_x(k_y^2 - k_z^2) \\
k_y(k_z^2 - k_x^2) \\
k_z(k_x^2 - k_y^2)
\end{pmatrix}
\]
\[
\Omega_{\text{SIA}}(\mathbf{k}_{\parallel}) = \frac{\alpha}{\hbar} \begin{pmatrix}
k_y \\
-k_x \\
0
\end{pmatrix}
\]

- The spin relaxation rate formula:
\[
\frac{1}{\tau_z} = \frac{4\tau_p}{\hbar^2} \left[ \left( \gamma^2 \langle k_z^2 \rangle^2 + \alpha^2 \right) k_F^2 - \gamma^2 \langle k_z^2 \rangle k_F^4 + \frac{\gamma^2 k_F^6}{8} \right]
\]
\[
\frac{1}{\tau_{\pm}} = \frac{2\tau_p}{\hbar^2} \left[ k_F^2 \left( \pm \alpha - \gamma \langle k_z^2 \rangle \right) \left( \pm \alpha - \gamma \langle k_z^2 \rangle + \frac{\gamma k}{2} \right) \right]