The field of quantum mechanics has revolutionised physics as a subject. Areas such as information theory, computer science and physical sensing have all been affected by the tremendous successes of various quantum protocols. In this thesis I present my contribution to the development of such non-classical protocols. In classical communication theory a message is always carried by physical particles that interact with a transmitter, after which they travel to a receiver. In this thesis I outline a quantum protocol which allows a receiver to obtain a message without receiving any physical object or particles that have interacted with the transmitter—that is, counterfactually. I build my protocol for counterfactual communication on the principles of interaction-free measurements, ensuring that information always propagates in the opposite direction to the protocol particles. The protocol shows how quantum mechanics breaks the previous premise of communication theory. From the perspective of local observers, it is a beautiful manifestation of the non-locality of interaction-free measurements. Furthermore, it is highly robust against experimental errors and external disturbances. The majority of this part of the thesis is based on my published article ‘Quantum counterfactual communication without a weak trace’ [Phys. Rev. A 94, 062303 (2016)]. Previous to my work, Salih et al. attempted to design a counterfactual communication protocol [Phys. Rev. Lett. 110, 170502 (2013)]. This protocol has been highly controversial. As counterfactual phenomena impose restrictions on the inter-measurement paths of quantum particles, and the physical reality of such paths lacks description in the Copenhagen interpretation of quantum mechanics, an extension of current quantum theory is required to facilitate a discussion. In this thesis I present an operational and interpretation-independent methodology, enabling the discussion of inter-measurement paths of quantum particles. I start by considering the interferometers of counterfactual protocols, making the basic assumption that any quantum evolution naturally involves uncontrolled weak interactions. I then show how the Fisher information of these weak interactions, available at the output of counterfactual experiments, can be used to discuss the pre-measurement past of the particles. Based on this analysis, the protocol developed by Salih et al. is found to strongly violate counterfactuality. However, my protocol is more flexible in that it allows particles to propagate in the opposite direction to the message. This leads to counterfactuality being satisfied—even in the presence of large experimental errors. These results are observed both analytically and numerically. This part of the thesis is based on my article ‘Evaluation of counterfactuality in counterfactual communication protocols’ [Phys. Rev. A 96, 062316 (2017)]. The numerical methods are inspired by another of my publications: ‘Protocol for fermionic positive-operator-valued measures’ [Phys. Rev. A 96, 052305 (2017)]. Finally, as the Fisher information measure is found to be useful in evaluating counterfactual protocols, I extend my work by investigating the quantum Fisher information in experiments with general discrete quantum circuits. I prove that the quantum Fisher information of a two-level interaction in a quantum circuit can be expressed by a simple formula. Under certain phase-relations, the formula provides a straightforward connection between the abstract concept of the inter-measurement wavefunction and the quantum Fisher information at the output. With regard to how the information obtained from a certain volume of space influences our perception of classical objects, I argue that the quantum Fisher information measure is highly useful in describing quantum objects. If this measure is applied to observers with a limited set of the experimental measurement outcomes, a quantum object can appear to follow non-classical discontinuous paths. This supports the remarkable conclusion that our perception of the past of a quantum object is subjectively dependent on the measurement we conduct on it.
The field of quantum mechanics has revolutionised physics as a subject. Areas such as information theory, computer science and physical sensing have all been affected by the tremendous successes of various quantum protocols. In this thesis I present my contribution to the development of such non-classical protocols. In classical communication theory a message is always carried by physical particles that interact with a transmitter, after which they travel to a receiver. In this thesis I outline a quantum protocol which allows a receiver to obtain a message without receiving any physical object or particles that have interacted with the transmitter—that is, counterfactually. I build my protocol for counterfactual communication on the principles of interaction-free measurements, ensuring that information always propagates in the opposite direction to the protocol particles. The protocol shows how quantum mechanics breaks the previous premise of communication theory. From the perspective of local observers, it is a beautiful manifestation of the non-locality of interaction-free measurements. Furthermore, it is highly robust against experimental errors and external disturbances. The majority of this part of the thesis is based on my published article ‘Quantum counterfactual communication without a weak trace’ [Phys. Rev. A 94, 062303 (2016)]. Previous to my work, Salih et al. attempted to design a counterfactual communication protocol [Phys. Rev. Lett. 110, 170502 (2013)]. This protocol has been highly controversial. As counterfactual phenomena impose restrictions on the inter-measurement paths of quantum particles, and the physical reality of such paths lacks description in the Copenhagen interpretation of quantum mechanics, an extension of current quantum theory is required to facilitate a discussion. In this thesis I present an operational and interpretation-independent methodology, enabling the discussion of inter-measurement paths of quantum particles. I start by considering the interferometers of counterfactual protocols, making the basic assumption that any quantum evolution naturally involves uncontrolled weak interactions. I then show how the Fisher information of these weak interactions, available at the output of counterfactual experiments, can be used to discuss the pre-measurement past of the particles. Based on this analysis, the protocol developed by Salih et al. is found to strongly violate counterfactuality. However, my protocol is more flexible in that it allows particles to propagate in the opposite direction to the message. This leads to counterfactuality being satisfied—even in the presence of large experimental errors. These results are observed both analytically and numerically. This part of the thesis is based on my article ‘Evaluation of counterfactuality in counterfactual communication protocols’ [Phys. Rev. A 96, 062316 (2017)]. The numerical methods are inspired by another of my publications: ‘Protocol for fermionic positive-operator-valued measures’ [Phys. Rev. A 96, 052305 (2017)]. Finally, as the Fisher information measure is found to be useful in evaluating counterfactual protocols, I extend my work by investigating the quantum Fisher information in experiments with general discrete quantum circuits. I prove that the quantum Fisher information of a two-level interaction in a quantum circuit can be expressed by a simple formula. Under certain phase-relations, the formula provides a straightforward connection between the abstract concept of the inter-measurement wavefunction and the quantum Fisher information at the output. With regard to how the information obtained from a certain volume of space influences our perception of classical objects, I argue that the quantum Fisher information measure is highly useful in describing quantum objects. If this measure is applied to observers with a limited set of the experimental measurement outcomes, a quantum object can appear to follow non-classical discontinuous paths. This supports the remarkable conclusion that our perception of the past of a quantum object is subjectively dependent on the measurement we conduct on it.
The classical theories of communication rely on the assumption that there has to be a flow of particles from Bob to Alice in order for him to send a message to her. We develop a quantum protocol that allows Alice to perceive Bob's message ``counterfactually''; that is, without Alice receiving any particles that have interacted with Bob. By utilizing a setup built on results from interaction-free measurements, we outline a communication protocol whereby the information travels in the opposite direction of the emitted particles. In comparison to previous attempts on such protocols, this one is such that a weak measurement at the message source would not leave a weak trace that could be detected by Alice's receiver. While some interaction-free schemes require a large number of carefully aligned beam splitters, our protocol is realizable with two or more beam splitters. We demonstrate this protocol by numerically solving the time-dependent Schr\"odinger equation for a Hamiltonian that implements this quantum counterfactual phenomenon.
Counterfactual communication, i.e., a communication without particles traveling in the transmission channel, is a bizarre quantum effect. Starting from interaction-free measurements many protocols achieving various tasks from counterfactual cryptography to counterfactual transfer of quantum states were proposed and implemented in experiments. However, the meaning of conterfactuality in various protocols remains a controversial topic. A simple error-free counterfactual protocol is proposed. This protocol and its modification are used as a test bed for analysis of the meaning of counterfactuality to clarify the counterfactuality status of various counterfactual proposals.
A recently proposed quantum protocol for counterfactual communication [Y. Aharonov and L. Vaidman, Phys. Rev. A 99, 010103(R) (2019)] relies on postselection to eliminate the weak trace in the transmission channel. We show that the postselection in this protocol additionally eliminates the flow of Fisher information from transmitter to receiver. However, we also show that a classical communication protocol with postselection can be counterfactual. Hence, we argue that postselection should not be allowed in genuine quantum counterfactual communication. In the proposed quantum protocol, the probability of discarding an event by postselection tends to zero with an increasing number of ideal optical components. But the counterfactual violation strength tends to infinity at a faster rate. Consequently, the quantum protocol is not counterfactual proper.
In this thesis I discuss the nature of ‘measurement’ in quantum theory. ‘Measurement’ is associated with several different processes: the gradual imprinting of information about one system onto another, which is well understood; the collapse of the wavefunction, which is ill-defined and troublesome; and finally, the means by which inferences about unknown experimental parameters are made. I present a theoretical extension to an experimental proposal from Leggett and Garg, who suggested that the quantum-or-classical reality of a macroscopic system may be probed with successive measurements arrayed in time. The extension allows for a finite level of imperfection in the protocol, and makes use of Leggett’s ‘null result’ measurement scheme. I present the results of an experiment conducted in Oxford that, up to certain loopholes, defies a non-quantum interpretation of the dynamics of phosphorous nuclei embedded in silicon. I also present the theory of statistical parameter estimation, and discover that a recent trend to employ time symmetric ‘postselected’ measurements offers no true advantage over standard methods. The technique, known as weak-value amplification, combines a weak transfer of quantum information from system to meter with conditional data rejection, to surprising effect. The Fisher information is a powerful tool for evaluating the performance of any parameter estimation model, and it reveals the technique to be worse than ordinary, preselected only measurements. That this is true despite the presence of noise (including magnetic field fluctuations causing deco- herence, poor resolution detection, and random displacements), casts serious doubt on the utility of the method.
Physics has two main ambitions: to predict and to understand. Indeed, physics aims for the prediction of all natural phenomena. Prediction entails modeling the correlation between an action, the input, and what is subsequently observed, the output.Understanding, on the other hand, involves developing insightful principles and models that can explain the widest possible varietyof correlations present in nature. Remarkably, advances in both prediction and understanding foster our physical intuition and, as a consequence, novel and powerful applications are discovered. Quantum mechanics is a very successful physical theory both in terms of its predictive power as well as in its wide applicability. Nonetheless and despite many decades of development, we do not yet have a proper physical intuition of quantum phenomena. I believe that improvements in our understanding of quantum theory will yield better, and more innovative, protocols and vice versa.This dissertation aims at advancing our understanding and developing novel protocols. This is done through four approaches. The first one is to study quantum theory within a broad family of theories. In particular, we study quantum theory within the family of locally quantum theories. We found out that the principle that singles out quantum theory out of this family, thus connecting quantum local and nonlocal structure, is dynamical reversibility. This implies that the viability of large scale quantum computing can be based on concrete physical principles that can be experimentally tested at a local level without needing to test millions of qubits simultaneously. The second approach is to study quantum correlations from a black box perspective thus making as few assumptions as possible. The strategy is to study the completeness of quantum predictions by benchmarking them against alternative models. Three main results and applications come out of our study. Firstly, we prove that performing complete amplification of randomness starting from a source of arbitrarily weak randomness - a task that is impossible with classical resources - is indeed possible via nonlocality. This establishes in our opinion the strongest evidence for a truly random event in nature so far. Secondly, we prove that there exist finite events where quantum theory gives predictions as complete as any no-signaling theory can give, showing that the completeness of quantum theory is not an asymptotic property. Finally, we prove that maximally nonlocal theories can never be maximally random while quantum theory can, showing a trade-off between the nonlocality of a theory and its randomness capabilities. We also prove that quantum theory is not unique in this respect. The third approach we follow is to study quantum correlations in scenarios where some parties have a restriction on the available quantum degrees of freedom. The future progress of semi-device-independent quantum information depends crucially on our ability to bound the strength of these correlations. Here we provide a full characterization via a complete hierarchy of sets that approximate the target set from the outside. Each set can be in turn characterized using standard numerical techniques. One application of our work is certifying multidimensional entanglement device-independently.The fourth approach is to confront quantum theory with computer science principles. In particular, we establish two interesting implications for quantum theory results of raising the Church-Turing thesis to the level of postulate. Firstly, we show how different preparations of the same mixed state, indistinguishable according to the quantum postulates, become distinguishable when prepared computably. Secondly, we identify a new loophole for Bell-like experiments: if some parties in a Bell-like experiment use private pseudorandomness to choose their measurement inputs, the computational resources of an eavesdropper have to be limited to observe a proper violation of non locality.
Quantum theory describes our universe incredibly successfully. To our classically-inclined brains, however, it is a bizarre description that requires a reimagining of what fundamental reality, or “ontology”, could look like. This thesis examines different ontological features in light of the success of quantum theory, what it requires, and what it rules out. While these investigations are primarily foundational, they also have relevance to quantum information, quantum communication, and experiments on quantum systems. The way that quantum theory describes the state of a system is one of its most unintuitive features. It is natural, therefore, to ask whether a similarly strange description of states is required on an ontological level. This thesis proves that almost all quantum superposition states for d > 3 dimensions must be real—that is, present in the ontology in a well-defined sense. This is a strong requirement which prevents intuitive explanations of the many quantum phenomena which are based on superpositions. A new theorem is also presented showing that quantum theory is incompatible with macro-realist ontologies, where certain physical quantities must always have definite values. This improves on the Leggett-Garg argument, which also aims to prove incompatibility with macro-realism but contains loopholes. Variations on both of these results that are error-tolerant (and therefore amenable to experimentation) are presented, as well as numerous related theorems showing that the ontology of quantum states must be somewhat similar to the quantum states themselves in various specific ways. Extending these same methods to quantum communication, a simple proof is found showing that an exponential number of classical bits are required to communicate a linear number of qubits. That is, classical systems are exponentially bad at storing quantum data. Causal influences are another part of ontology where quantum theory demands a revision of our classical notions. This follows from the outcomes of Bell experiments, as rigorously shown in recent analyses. Here, the task of constructing a native quantum framework for reasoning about causal influences is tackled. This is done by first analysing the simple example of a common cause, from which a quantum version of Reichenbach’s principle is identified. This quantum principle relies on an identification of quantum conditional independence which can be defined in four ways, each naturally generalising a corresponding definition for classical conditional independence. Not only does this allow one to reason about common causes in a quantum experiments, but it can also be generalised to a full framework of quantum causal models (mirroring how classical causal models generalise Reichenbach’s principle). This new definition of quantum causal models is illustrated by examples and strengthened by it’s foundation on a robust quantum Reichenbach’s principle. An unusual, but surprisingly fruitful, setting for considering quantum ontology is found by considering time travel to the past. This provides a testbed for different ontological concepts in quantum theory and new ways to compare classical and quantum frameworks. It is especially useful for comparing computational properties. In particular, time travel introduces non-linearity to quantum theory, which brings (sometimes implicit) ontological assumptions to the fore while introducing strange new abilities. Here, a model for quantum time travel is presented which arguably has fewer objectionable features than previous attempts, while remaining similarly well-motivated. This model is discussed and compared with previous quantum models, as well as with the classical case. Together, these threads of investigation develop a better understanding of how quantum theory affects possible ontologies and how ontological prejudices influence quantum theory.