Studying Heisenberg-like Uncertainty Relation with Weak Values in One-dimensional Harmonic Oscillator

As one of the fundamental traits governing the operation of quantum world, the uncertainty relation, from the perspective of Heisenberg, rules the minimum deviation of two incompatible observations for arbitrary quantum states. Notwithstanding, the original measurements appeared in Heisenberg’s principle are strong such that they may disturb the quantum system itself. Hence an intriguing question is raised: What will happen if the mean values are replaced by weak values in Heisenberg’s uncertainty relation? In this work, we investigate the question in the case of measuring position and momentum in a simple harmonic oscillator via designating one of the eigenkets thereof to the pre-selected state. Astonishingly, the original Heisenberg limit is broken for some post-selected states, designed as a superposition of the pre-selected state and another eigenkets of harmonic oscillator. Moreover, if two distinct coherent states reside in the pre- and post-selected states respectively, the variance reaches the lower bound in common uncertainty principle all the while, which is in accord with the circumstance in Heisenberg’s primitive framework.

Device Independence and the Quest towards Physical Limits of Privacy

There is a looming threat over current methods of data encryption through advances in quantum computation. Interestingly, this potential threat can be countered through the use of quantum resources such as coherent superposition, entanglement and inherent randomness. These, together with non-clonability of arbitrary quantum states, offer provably secure means of sharing encryption keys between two parties. This physically assured privacy is however provably secure only in theory but not in practice. Device independent approaches seek to provide physically assured privacy of devices of untrusted origin. The quest towards realization of such devices is predicated on conducting loop-hole-free Bell tests which require the use of certified quantum random number generators. The experimental apparatuses for conducting such tests themselves use non-ideal sources, detectors and optical components making such certification extremely difficult. This expository chapter presents a brief overview (not a review) of Device Independence and the conceptual and practical difficulties it entails.

Quantum secure direct communication based on quantum homomorphic encryption

As one of the most important branches of quantum cryptography, quantum secure direct communication (QSDC) is used to transmit the secret message directly rather than distribute a random key. Quantum homomorphic encryption (QHE) enables arbitrary quantum transformation on encrypted data without decrypting the data. To date, the previously proposed QSDC schemes are mainly based on different quantum states. The research of the QSDC scheme based on QHE is still blank. In this paper, a QSDC scheme by taking advantage of the properties of QHE is proposed. The proposed protocol has applied QHE and decoy photons to prevent various types of attacks. The proposed scheme only utilizes the rotation operation to encode the secret message which is easy to implement with the current technologies. Moreover, the communication efficiency and the qubit-utilization ratio are analyzed in this paper, which shows that this protocol has good performance in the qubit-utilization ratio, and the qubit efficiency of the QSDC scheme has improved.

Universal control of quantum processes using sector-preserving channels

No quantum circuit can turn a completely unknown unitary gate into its coherently controlled version. Yet, coherent control of unknown gates has been realised in experiments, making use of a different type of initial resources. Here, we formalise the task achieved by these experiments, extending it to the control of arbitrary noisy channels, and to more general types of control involving higher dimensional control systems. For the standard notion of coherent control, we identify the information-theoretic resource for controlling an arbitrary quantum channel on a $d$-dimensional system: specifically, the resource is an extended quantum channel acting as the original channel on a $d$-dimensional sector of a $(d+1)$-dimensional system. Using this resource, arbitrary controlled channels can be built with a universal circuit architecture. We then extend the standard notion of control to more general notions, including control of multiple channels with possibly different input and output systems. Finally, we develop a theoretical framework, called supermaps on routed channels, which provides a compact representation of coherent control as an operation performed on the extended channels, and highlights the way the operation acts on different sectors.

Perturbative unitarity constraints on generic Yukawa interactions

We study perturbative unitarity constraints on generic Yukawa interactions where the involved fields have arbitrary quantum numbers under an ∏iSU(Ni) ⊗ U(1) group. We derive compact expressions for the bounds on the Yukawa couplings for the cases where the fields transform under the trivial, fundamental or adjoint representation of the various SU(N) factors. We apply our results to specific models formulated to explain the anomalous measurements of (g − 2)μ and of the charged- and neutral-current decays of the B mesons. We show that, while these models can generally still explain the observed experimental values, the required Yukawa couplings are pushed at the edge of the perturbative regime.

Self-testing of a single quantum device under computational assumptions

Self-testing is a method to characterise an arbitrary quantum system based only on its classical input-output correlations, and plays an important role in device-independent quantum information processing as well as quantum complexity theory. Prior works on self-testing require the assumption that the system's state is shared among multiple parties that only perform local measurements and cannot communicate. Here, we replace the setting of multiple non-communicating parties, which is difficult to enforce in practice, by a single computationally bounded party. Specifically, we construct a protocol that allows a classical verifier to robustly certify that a single computationally bounded quantum device must have prepared a Bell pair and performed single-qubit measurements on it, up to a change of basis applied to both the device's state and measurements. This means that under computational assumptions, the verifier is able to certify the presence of entanglement, a property usually closely associated with two separated subsystems, inside a single quantum device. To achieve this, we build on techniques first introduced by Brakerski et al. (2018) and Mahadev (2018) which allow a classical verifier to constrain the actions of a quantum device assuming the device does not break post-quantum cryptography.

Optimal approximation to unitary quantum operators with linear optics

Linear optical systems acting on photon number states produce many interesting evolutions, but cannot give all the allowed quantum operations on the input state. Using Toponogov’s theorem from differential geometry, we propose an iterative method that, for any arbitrary quantum operator U acting on n photons in m modes, returns an operator $$\widetilde{U}$$ U ~ which can be implemented with linear optics. The approximation method is locally optimal and converges. The resulting operator $$\widetilde{U}$$ U ~ can be translated into an experimental optical setup using previous results.

Cross-Platform Comparison of Arbitrary Quantum Computations

As we approach the era of quantum advantage, when quantum computers (QCs) can outperform any classical computer on particular tasks, there remains the difficult challenge of how to validate their performance. While algorithmic success can be easily verified in some instances such as number factoring or oracular algorithms, these approaches only provide pass/fail information for a single QC. On the other hand, a comparison between different QCs on the same arbitrary circuit provides a lower-bound for generic validation: a quantum computation is only as valid as the agreement between the results produced on different QCs. Such an approach is also at the heart of evaluating metrological standards such as disparate atomic clocks. In this paper, we report a cross-platform QC comparison using randomized and correlated measurements that results in a wealth of information on the QC systems. We execute several quantum circuits on widely different physical QC platforms and analyze the cross-platform fidelities.

Minimum Time for the Evolution to a Nonorthogonal Quantum State and Upper Bound of the Geometric Efficiency of Quantum Evolutions

We present a simple proof of the fact that the minimum time TAB for quantum evolution between two arbitrary states A and B equals TAB=ℏcos−1A|B/ΔE with ΔE being the constant energy uncertainty of the system. This proof is performed in the absence of any geometrical arguments. Then, being in the geometric framework of quantum evolutions based upon the geometry of the projective Hilbert space, we discuss the roles played by either minimum-time or maximum-energy uncertainty concepts in defining a geometric efficiency measure ε of quantum evolutions between two arbitrary quantum states. Finally, we provide a quantitative justification of the validity of the inequality ε≤1 even when the system only passes through nonorthogonal quantum states.