-
Temperature as Joules per Bit
Authors:
Charles Alexandre Bédard,
Sophie Berthelette,
Xavier Coiteux-Roy,
Stefan Wolf
Abstract:
Boltzmann's constant reflects a historical misunderstanding of the concept of entropy, whose informational nature is obfuscated when expressed in J/K. We suggest that the development of temperature and energy, historically prior to that of entropy, does not amount to their logical priority: Temperature should be defined in terms of entropy, not vice versa. Following the precepts of information the…
▽ More
Boltzmann's constant reflects a historical misunderstanding of the concept of entropy, whose informational nature is obfuscated when expressed in J/K. We suggest that the development of temperature and energy, historically prior to that of entropy, does not amount to their logical priority: Temperature should be defined in terms of entropy, not vice versa. Following the precepts of information theory, entropy is measured in bits, and coincides with information capacity at thermodynamic equilibrium. Consequently, not only is the temperature of an equilibrated system expressed in J/bit, but it acquires an operational meaning: It is the cost in energy to increase its information capacity by 1 bit. Our proposal also supports the notion of available capacity, analogous to free energy. Finally, it simplifies Landauer's cost and clarifies that it is a cost of displacement, not of erasure.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Realism and causality imply information erasure by measurements
Authors:
Alberto Montina,
Stefan Wolf
Abstract:
Quantum measurements generally introduce perturbations into the subsequent evolution of the measured system. Furthermore, a projective measurement cannot decrease the uncertainty on the system if the outcome is ignored; that is, the von Neumann entropy cannot decrease. However, under certain sound assumptions and using the quantum violation of Leggett-Garg inequalities, we demonstrate that this pr…
▽ More
Quantum measurements generally introduce perturbations into the subsequent evolution of the measured system. Furthermore, a projective measurement cannot decrease the uncertainty on the system if the outcome is ignored; that is, the von Neumann entropy cannot decrease. However, under certain sound assumptions and using the quantum violation of Leggett-Garg inequalities, we demonstrate that this property is not inherited by a faithful classical causal simulation of a measurement process. In the simulation, a measurement erases previous information by performing a partial reset on the system. Thus, the measuring device acts as a low-temperature bath absorbing entropy from the measured system. Information erasure is a form of Spekkens' preparation contextuality. Our proof is straightforward if one assumes that maximal ignorance of the quantum state is compatible with maximal ignorance of the classical state. We also employ a weaker hypothesis. Information erasure is related to a theorem of Leifer and Pusey, which states that time symmetry implies retrocausality. In light of our findings, we discuss Spekkens' preparation contextuality, as well as a weakness in the hypothesis of time symmetry as defined by Leifer and Pusey.
△ Less
Submitted 6 July, 2023;
originally announced July 2023.
-
Unconditional Proofs-of-Work and Other Possibilities of Thermodynamic Cryptography
Authors:
Xavier Coiteux-Roy,
Stefan Wolf
Abstract:
In line with advances in recent years about realizing cryptographic functionalities in an information-theoretically secure way from physical phenomena and laws, we propose here to obtain useful tasks from the sole assumption of limited free energy. Specifically, based on that assumption -- resulting in a setting loosely related to Maurer's bounded-storage model -- we derive protocols for unconditi…
▽ More
In line with advances in recent years about realizing cryptographic functionalities in an information-theoretically secure way from physical phenomena and laws, we propose here to obtain useful tasks from the sole assumption of limited free energy. Specifically, based on that assumption -- resulting in a setting loosely related to Maurer's bounded-storage model -- we derive protocols for unconditional proofs-of-thermodynamical-work, secret sharing of free energy, unforgeable money, and proofs-of-position. While our schemes can be considered classical and not quantum per se, they are resistant against both classes of adversaries.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Nitrogen-vacancy singlet manifold ionization energy
Authors:
S. A. Wolf,
I. Meirzada,
G. Haim,
N. Bar-Gill
Abstract:
The singlet states of the negatively-charged nitrogen-vacancy centers in diamond play a key role in its optical spin control and readout. In this work, the hitherto unknown ionization energy of the singlet is measured experimentally and found to be between 1.91-2.25 eV. This is obtained by analyzing photoluminescence measurements incorporating spin control and NV charge state differentiation, alon…
▽ More
The singlet states of the negatively-charged nitrogen-vacancy centers in diamond play a key role in its optical spin control and readout. In this work, the hitherto unknown ionization energy of the singlet is measured experimentally and found to be between 1.91-2.25 eV. This is obtained by analyzing photoluminescence measurements incorporating spin control and NV charge state differentiation, along with simulations based on the nitrogen-vacancy's master equation. This work establishes a protocol for a more accurate estimate of this ionization energy, which can possibly lead to improved read-out methods.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
An Algebraic-Geometry Approach to Prime Factorization
Authors:
Alberto Montina,
Stefan Wolf
Abstract:
New algorithms for prime factorization that outperform the existing ones or take advantage of particular properties of the prime factors can have a practical impact on present implementations of cryptographic algorithms that rely on the complexity of factorization. Currently used keys are chosen on the basis of the present algorithmic knowledge and, thus, can potentially be subject to future breac…
▽ More
New algorithms for prime factorization that outperform the existing ones or take advantage of particular properties of the prime factors can have a practical impact on present implementations of cryptographic algorithms that rely on the complexity of factorization. Currently used keys are chosen on the basis of the present algorithmic knowledge and, thus, can potentially be subject to future breaches. For this reason, it is worth to investigate new approaches which have the potentiality of giving a computational advantage. The problem has also relevance in quantum computation, as an efficient quantum algorithm for prime factorization already exists. Thus, better classical asymptotic complexity can provide a better understanding of the advantages offered by quantum computers. In this paper, we reduce the factorization problem to the search of points of parametrizable varieties, in particular curves, over finite fields. The varieties are required to have an arbitrarily large number of intersection points with some hypersurface over the base field. For a subexponential or poly- nomial factoring complexity, the number of parameters have to scale sublinearly in the space dimension n and the complexity of computing a point given the parameters has to be subexponential or polynomial, respectively. We outline a procedure for building these varieties, which is illustrated with two constructions. In one case, we show that there are varieties whose points can be evaluated efficiently given a number of parameters not greater than n/2. In the other case, the bound is dropped to n/3. Incidentally, the first construction resembles a kind of retro-causal model. Retro-causality is considered one possible explanation of quantum weirdness.
△ Less
Submitted 23 September, 2022;
originally announced September 2022.
-
High-sensitivity quantum sensing with pump-enhanced spontaneous parametric down-conversion
Authors:
Chiara Lindner,
Jachin Kunz,
Simon J. Herr,
Jens Kiessling,
Sebastian Wolf,
Frank Kühnemann
Abstract:
Recent years have seen the development of quantum sensing concepts utilizing nonlinear interferometers based on correlated photon pairs generated by spontaneous parametric down-conversion (SPDC). Using SPDC far from frequency degeneracy allows a 'division of labor' between the mid-infrared photon for strongest sample interaction and the correlated near-infrared photon for low-noise detection. The…
▽ More
Recent years have seen the development of quantum sensing concepts utilizing nonlinear interferometers based on correlated photon pairs generated by spontaneous parametric down-conversion (SPDC). Using SPDC far from frequency degeneracy allows a 'division of labor' between the mid-infrared photon for strongest sample interaction and the correlated near-infrared photon for low-noise detection. The small number of photons provided by SPDC and the resulting inferior signal-to-noise ratio are, however, a limiting factor preventing wide applicability of the novel sensing concept. Here, we demonstrate a nonlinear interferometer based on pump-enhanced SPDC with strongly improved emission rates, but maintaining broadband, spontaneous emission. For validation of the concept, we demonstrate high-resolution mid-infrared spectroscopy with near-infrared detection, showcasing the improved accuracy. Although the number of mid-infrared photons is about five orders of magnitude smaller than in classical spectrometers, the sensitivity of the quantum spectrometer becomes comparable, marking an essential step toward real-world applications.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Generalized Gleason theorem and finite amount of information for the context
Authors:
A. Montina,
S. Wolf
Abstract:
Quantum processes cannot be reduced, in a nontrivial way, to classical processes without specifying the context in the description of a measurement procedure. This requirement is implied by the Kochen-Specker theorem in the outcome-deterministic case and, more generally, by the Gleason theorem. The latter establishes that there is only one non-contextual classical model compatible with quantum the…
▽ More
Quantum processes cannot be reduced, in a nontrivial way, to classical processes without specifying the context in the description of a measurement procedure. This requirement is implied by the Kochen-Specker theorem in the outcome-deterministic case and, more generally, by the Gleason theorem. The latter establishes that there is only one non-contextual classical model compatible with quantum theory, the one that trivially identifies the quantum state with the classical state. However, this model requires a breaking of the unitary evolution to account for macroscopic realism. Thus, a causal classical model compatible with the unitary evolution of the quantum state is necessarily contextual at some extent. Inspired by well-known results in quantum communication complexity, we consider a particular class of hidden variable theories by assuming that the amount of information about the measurement context is finite. Aiming at establishing some general features of these theories, we first present a generalized version of the Gleason theorem and provide a simple proof of it. Assuming that Gleason's hypotheses hold only locally for `small' changes of the measurement procedure, we obtain almost the same conclusion of the original theorem about the functional form of the probability measure. An additional constant and a relaxed property of the `density operator' are the only two differences from the original result. By this generalization of the Gleason theorem and the assumption of finite information for the context, we prove that the probabilities over three or more outcomes of a projective measurement must be linear functions of the projectors associated with the outcomes, given the information on the context.
△ Less
Submitted 23 September, 2022; v1 submitted 23 June, 2022;
originally announced June 2022.
-
Key Agreement and Oblivious Transfer from Free-Energy Limitations
Authors:
Xavier Coiteux-Roy,
Stefan Wolf
Abstract:
We propose one of the very few constructive consequences of the second law of thermodynamics. More specifically, we present protocols for secret-key establishment and multiparty computation the security of which is based fundamentally on Landauer's principle. The latter states that the erasure cost of each bit of information is at least kTln2 (where k is Boltzmann's constant and T is the absolute…
▽ More
We propose one of the very few constructive consequences of the second law of thermodynamics. More specifically, we present protocols for secret-key establishment and multiparty computation the security of which is based fundamentally on Landauer's principle. The latter states that the erasure cost of each bit of information is at least kTln2 (where k is Boltzmann's constant and T is the absolute temperature of the environment). Albeit impractical, our protocols explore the limits of reversible computation, and the only assumption about the adversary is her inability to access a quantity of free energy that is exponential in the one of the honest participants. Our results generalize to the quantum realm.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Thermodynamics as Combinatorics: A Toy Theory
Authors:
Ämin Baumeler,
Carla Rieger,
Stefan Wolf
Abstract:
We discuss a simple toy model which allows, in a natural way, for deriving central facts from thermodynamics such as its fundamental laws, including Carnot's version of the second principle. Our viewpoint represents thermodynamic systems as binary strings, and it links their temperature to their Hamming weight. From this, we can reproduce the possibility of negative temperatures, the notion of equ…
▽ More
We discuss a simple toy model which allows, in a natural way, for deriving central facts from thermodynamics such as its fundamental laws, including Carnot's version of the second principle. Our viewpoint represents thermodynamic systems as binary strings, and it links their temperature to their Hamming weight. From this, we can reproduce the possibility of negative temperatures, the notion of equilibrium as the coïncidence of two notions of temperature - statistical versus structural -, as well as the zeroth law of thermodynamics (transitivity of the thermal-equilibrium relation), which we find to be redundant, as other authors, yet at the same time not to be universally valid.
△ Less
Submitted 16 May, 2022;
originally announced May 2022.
-
Fluorescence calorimetry of an ion crystal
Authors:
Marvin Gajewski,
Wenbing Li,
Sebastian Wolf,
Walter Hahn,
Christoph E. Düllmann,
Dmitry Budker,
Giovanna Morigi,
Ferdinand Schmidt-Kaler
Abstract:
Motivated by the challenge of identifying intruder ions in a cold ion crystal, we investigate calorimetry from emitted fluorescence light. Under continuous Doppler cooling, the ion crystal reaches a temperature equilibrium with a fixed level of fluorescence intensity and any change in the motional energy of the crystal results in a modification of this intensity. We theoretically determine the flu…
▽ More
Motivated by the challenge of identifying intruder ions in a cold ion crystal, we investigate calorimetry from emitted fluorescence light. Under continuous Doppler cooling, the ion crystal reaches a temperature equilibrium with a fixed level of fluorescence intensity and any change in the motional energy of the crystal results in a modification of this intensity. We theoretically determine the fluorescence rate of an ion crystal as a function of the temperature, assuming that laser light is scattered along a two-level electronic transition, which couples to the crystal's vibrations via the mechanical effects of light. We analyze how the heat dissipated by collisions of an incoming intruder ion alters the scattering rate. We argue that an energy change by an incoming $^{229}$Th$^{10+}$ ion can be unambiguously detected within 100 $μ$s via illuminating a fraction of a 10$^{3}$ ion crystal. This method enables applications including capture and spectroscopy of charged states of thorium isotopes and investigation of highly charged ions.
△ Less
Submitted 20 September, 2022; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Collective photon emission patterns from two atoms in free space
Authors:
Stefan Richter,
Sebastian Wolf,
Joachim von Zanthier,
Ferdinand Schmidt-Kaler
Abstract:
Modification of spontaneous decay in space and time is a central topic of quantum physics. It has been predominantly investigated in the context of cavity quantum electrodynamics (QED), gaining new interest recently in the domain of nano-optics. Beyond cavity-QED, spontaneous emission may be modified also in free space due to correlations among the photon emitters, a phenomenon known as super- and…
▽ More
Modification of spontaneous decay in space and time is a central topic of quantum physics. It has been predominantly investigated in the context of cavity quantum electrodynamics (QED), gaining new interest recently in the domain of nano-optics. Beyond cavity-QED, spontaneous emission may be modified also in free space due to correlations among the photon emitters, a phenomenon known as super- and sub-radiance. Correlations may stem either from direct interactions between the particles, from long-range exchange of photons, or by measuring single photons in a common mode. Yet, the genuine spatial spontaneous emission pattern of an atomic ensemble in an entangled quantum state has not been observed so far, due to the lack of ultra-fast cameras with high spatial resolution suited for recording single photons from single atoms. Preparing two trapped ions in free space in entangled Dicke states via photon detection, we study the resulting collective spontaneous emission patterns. Depending on the symmetry of the Dicke states, associated with the direction of detection of the first state-determining photon, we observe fundamentally different emission patterns for the subsequently scattered photon, including super- and sub-radiance. Our results demonstrate that the detection of a single photon can profoundly modify the collective emission of an atomic array, here represented by its most elementary building block of two atoms in free space.
△ Less
Submitted 28 February, 2022;
originally announced February 2022.
-
Optical super-resolution sensing of a trapped ion's wave packet size
Authors:
Martin Drechsler,
Sebastian Wolf,
Christian T. Schmiegelow,
Ferdinand Schmidt-Kaler
Abstract:
We demonstrate super-resolution optical sensing of the size of the wave packet of a single trapped ion. Our method extends the well known ground state depletion (GSD) technique to the coherent regime. Here, we use a hollow beam to strongly saturate a coherently driven dipole-forbidden transition around a sub-diffraction limited area at its center and observe state dependent fluorescence. By spatia…
▽ More
We demonstrate super-resolution optical sensing of the size of the wave packet of a single trapped ion. Our method extends the well known ground state depletion (GSD) technique to the coherent regime. Here, we use a hollow beam to strongly saturate a coherently driven dipole-forbidden transition around a sub-diffraction limited area at its center and observe state dependent fluorescence. By spatially scanning this laser beam over a single trapped $^{40}\mathrm{Ca}^+$ ion, we are able to measure the wave packet sizes of cooled ions. Using a depletion beam waist of $4.2(1)\,μ$m we reach a spatial resolution which allows us to determine a wave packet size of $39(9)\,$nm for a near ground state cooled ion. This value matches an independently deduced value of $32(2)\,$nm, calculated from resolved sideband spectroscopy measurements. Finally, we discuss the ultimate resolution limits of our adapted GSD imaging technique in view of applications to direct quantum wave packet imaging.
△ Less
Submitted 7 October, 2021; v1 submitted 14 April, 2021;
originally announced April 2021.
-
Imaging trapped ion structures via fluorescence cross-correlation detection
Authors:
Stefan Richter,
Sebastian Wolf,
Joachim von Zanthier,
Ferdinand Schmidt-Kaler
Abstract:
Cross-correlation signals are recorded from fluorescence photons scattered in free space off a trapped ion structure. The analysis of the signal allows for unambiguously revealing the spatial frequency, thus the distance, as well as the spatial alignment of the ions. For the case of two ions we obtain from the cross-correlations a spatial frequency…
▽ More
Cross-correlation signals are recorded from fluorescence photons scattered in free space off a trapped ion structure. The analysis of the signal allows for unambiguously revealing the spatial frequency, thus the distance, as well as the spatial alignment of the ions. For the case of two ions we obtain from the cross-correlations a spatial frequency $f_\text{spatial}=1490 \pm 2_{stat.}\pm 8_{syst.}\,\text{rad}^{-1}$, where the statistical uncertainty improves with the integrated number of correlation events as $N^{-0.51\pm0.06}$. We independently determine the spatial frequency to be $1494\pm 11\,\text{rad}^{-1}$, proving excellent agreement. Expanding our method to the case of three ions, we demonstrate its functionality for two-dimensional arrays of emitters of indistinguishable photons, serving as a model system to yield structural information where direct imaging techniques fail.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
Nonlinear interferometer for Fourier-transform mid-infrared gas spectroscopy using near-infrared detection
Authors:
Chiara Lindner,
Jachin Kunz,
Simon J. Herr,
Sebastian Wolf,
Jens Kiessling,
Frank Kühnemann
Abstract:
Nonlinear interferometers allow for mid-infrared spectroscopy with near-infrared detection using correlated photons. Previous implementations have demonstrated a spectral resolution limited by spectrally selective detection. In our work, we demonstrate mid-infrared transmission spectroscopy in a nonlinear interferometer using single-pixel near-infrared detection and Fourier-transform analysis. A s…
▽ More
Nonlinear interferometers allow for mid-infrared spectroscopy with near-infrared detection using correlated photons. Previous implementations have demonstrated a spectral resolution limited by spectrally selective detection. In our work, we demonstrate mid-infrared transmission spectroscopy in a nonlinear interferometer using single-pixel near-infrared detection and Fourier-transform analysis. A sub-wavenumber spectral resolution allows for rotational-line-resolving spectroscopy of gaseous samples in a spectral bandwidth of over 700$\,$cm$^{-1}$. We use methane transmission spectra around 3.3$\,μ$m wavelength to characterize the spectral resolution, noise limitations and transmission accuracy of our device. The combination of nonlinear interferometry and Fourier-transform analysis paves the way towards performant and efficient mid-infrared spectroscopy with near-infrared detection.
△ Less
Submitted 3 February, 2021; v1 submitted 19 November, 2020;
originally announced November 2020.
-
Finding the nitrogen-vacancy singlet manifold energy level using charge conversion pulse sequences
Authors:
Idan Meirzada,
Sigal A. Wolf,
Nir Bar-Gill
Abstract:
The vast research conducted on Nitrogen-Vacancy (NV) centers in diamond in recent years opened the door for a wide range of NV based applications. However, some properties of the NV center dynamics and energy levels remain unknown. In this work, we propose a charge conversion pulsed sequence scheme for locating the NV center singlet manifold energy level, by multi-color excitation using a tunable…
▽ More
The vast research conducted on Nitrogen-Vacancy (NV) centers in diamond in recent years opened the door for a wide range of NV based applications. However, some properties of the NV center dynamics and energy levels remain unknown. In this work, we propose a charge conversion pulsed sequence scheme for locating the NV center singlet manifold energy level, by multi-color excitation using a tunable laser. We present two approaches for readout - photo-induced current and NV$^0$ population - and discuss their efficiency for different regimes in the relevant spectrum.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
On the Advantage of Irreversible Processes in Single-System Games
Authors:
Xavier Coiteux-Roy,
Stefan Wolf
Abstract:
The CHSH no-signalling game studies Bell nonlocality by showcasing a gap between the win rates of classical strategies, quantum-entangled strategies, and no-signalling strategies. Similarly, the CHSH* single-system game explores the advantage of irreversible processes by showcasing a gap between the win rates of classical reversible strategies, quantum reversible strategies, and irreversible strat…
▽ More
The CHSH no-signalling game studies Bell nonlocality by showcasing a gap between the win rates of classical strategies, quantum-entangled strategies, and no-signalling strategies. Similarly, the CHSH* single-system game explores the advantage of irreversible processes by showcasing a gap between the win rates of classical reversible strategies, quantum reversible strategies, and irreversible strategies. The irreversible process of erasure rules supreme for the CHSH* single-system game, but this ``erasure advantage'' does not necessarily extend to every single-system game: We introduce the 32-Game, in which reversibility is irrelevant and only the distinction between classical and quantum operations matters. We showcase our new insight by modifying the CHSH* game to make it erasure-immune, while conserving its quantum advantage. We conclude by the reverse procedure: We tune the 32-Game to make it erasure-vulnerable, and erase its quantum advantage in the process. The take-home message is that, when the size of the single-system is too small for Alice to encode her whole input, quantum advantage and erasure advantage can happen independently.
△ Less
Submitted 16 May, 2020; v1 submitted 14 January, 2020;
originally announced January 2020.
-
Wigner's Isolated Friend
Authors:
Arne Hansen,
Stefan Wolf
Abstract:
The measurement problem is seen as an ambiguity of quantum mechanics, or, beyond that, as a contradiction within the theory: Quantum mechanics offers two conflicting descriptions of the Wigner's-friend experiment. As we argue in this note there are, however, obstacles from within quantum mechanics and regarding our perspective onto doing physics towards fully describing a measurement. We conclude…
▽ More
The measurement problem is seen as an ambiguity of quantum mechanics, or, beyond that, as a contradiction within the theory: Quantum mechanics offers two conflicting descriptions of the Wigner's-friend experiment. As we argue in this note there are, however, obstacles from within quantum mechanics and regarding our perspective onto doing physics towards fully describing a measurement. We conclude that the ability to exhaustively describe a measurement is an assumption necessary for the common framing of the measurement problem and ensuing suggested solutions.
△ Less
Submitted 6 December, 2019;
originally announced December 2019.
-
Light from an ion crystal: bunching or antibunching?
Authors:
Sebastian Wolf,
Stefan Richter,
Joachim von Zanthier,
Ferdinand Schmidt-Kaler
Abstract:
Photon statistics divides light sources into three different categories, characterized by bunched, antibunched or uncorrelated photon arrival times. Single atoms, ions, molecules, or solid state emitters display antibunching of photons, while classical thermal sources exhibit photon bunching. Here we demonstrate a light source in free space, where the photon statistics depends on the direction of…
▽ More
Photon statistics divides light sources into three different categories, characterized by bunched, antibunched or uncorrelated photon arrival times. Single atoms, ions, molecules, or solid state emitters display antibunching of photons, while classical thermal sources exhibit photon bunching. Here we demonstrate a light source in free space, where the photon statistics depends on the direction of observation, undergoing a continuous crossover between photon bunching and antibunching. We employ two trapped ions, observe their fluorescence under continuous laser light excitation, and record the spatially resolved autocorrelation function $g^{(2)}(τ)$ with a movable Hanbury Brown and Twiss detector. Varying the detector position we find a minimum value for antibunching, $g^{(2)}(0) = 0.60(5)$ and a maximum of $g^{(2)}(0)=1.46(8)$ for bunching, demonstrating that this source radiates fundamentally different types of light alike. The observed variation of the autocorrelation function is understood in the Dicke model of heralded entangled states and the observed maximum and minimum values are modeled, taking independently measured experimental parameters into account.
△ Less
Submitted 25 November, 2019;
originally announced November 2019.
-
Measuring Measuring
Authors:
Arne Hansen,
Stefan Wolf
Abstract:
Measurements play a crucial role in doing physics: Their results provide the basis on which we adopt or reject physical theories. In this note, we examine the effect of subjecting measurements themselves to our experience. We require that our contact with the world is empirically warranted. Therefore, we study theories that satisfy the following assumption: Interactions are accounted for so that t…
▽ More
Measurements play a crucial role in doing physics: Their results provide the basis on which we adopt or reject physical theories. In this note, we examine the effect of subjecting measurements themselves to our experience. We require that our contact with the world is empirically warranted. Therefore, we study theories that satisfy the following assumption: Interactions are accounted for so that they are empirically traceable, and observations necessarily go with such an interaction with the observed system. Examining, with regard to these assumptions, an abstract representation of measurements with tools from quantum logic leads us to contextual theories. Contextuality becomes a means to render interactions, thus also measurements, empirically tangible. The measurement becomes problematic---also beyond quantum mechanics---if one tries to commensurate the assumption of tangible interactions with the notion of a spectator theory, i.e., with the idea that measurement results are read off without effect. The problem, thus, presents itself as the collision of different epistemological stances with repercussions beyond quantum mechanics.
△ Less
Submitted 27 January, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Fourier transform infrared spectroscopy with visible light
Authors:
Chiara Lindner,
Sebastian Wolf,
Jens Kießling,
Frank Kühnemann
Abstract:
Nonlinear interferometers allow spectroscopy in the mid-infrared range by detecting correlated visible light, for which non-cooled detectors with higher specific detectivity and lower dark count rates are available. We present a new approach for the registration of spectral information, which combines a nonlinear interferometer using non-degenerate spontaneous parametric down-conversion (SPDC) wit…
▽ More
Nonlinear interferometers allow spectroscopy in the mid-infrared range by detecting correlated visible light, for which non-cooled detectors with higher specific detectivity and lower dark count rates are available. We present a new approach for the registration of spectral information, which combines a nonlinear interferometer using non-degenerate spontaneous parametric down-conversion (SPDC) with a Fourier-transform spectroscopy concept. In order to increase the spectral coverage, we use broadband non-collinear SPDC in periodically poled LiNbO$_3$. Without the need for spectrally selective detection, continuous spectra with a spectral bandwidth of more than 100$\,$cm$^{-1}$ are achieved. We demonstrate transmission spectra of a polypropylene sample measured with ~ 6$\,$cm$^{-1}$ resolution in the spectral range between 3.2$\,μ$m to 3.9$\,μ$m.
△ Less
Submitted 18 March, 2020; v1 submitted 15 September, 2019;
originally announced September 2019.
-
Enhanced spin state readout of Nitrogen-Vacancy centers in diamond using IR fluorescence
Authors:
Idan Meirzada,
Sigal A. Wolf,
Alex Naiman,
Uriel Levy,
Nir Bar-Gill
Abstract:
Nitrogen-Vacancy (NV) centers in diamond have been used in recent years for a wide range of applications, from nano-scale NMR to quantum computation. These applications depend strongly on the efficient readout of the NV center's spin state, which is currently limited. Here we suggest a method of reading the NV center's spin state, using the weak optical transition in the singlet manifold. We numer…
▽ More
Nitrogen-Vacancy (NV) centers in diamond have been used in recent years for a wide range of applications, from nano-scale NMR to quantum computation. These applications depend strongly on the efficient readout of the NV center's spin state, which is currently limited. Here we suggest a method of reading the NV center's spin state, using the weak optical transition in the singlet manifold. We numerically calculate the number of photons collected from each spin state using this technique, and show that an order of magnitude enhancement in spin readout signal-to-noise ratio is expected, making single-shot spin readout within reach. Thus, this method could lead to an order of magnitude enhancement in sensitivity for ubiquitous NV based sensing applications, and remove a major obstacle from using NVs for quantum information processing.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
No master (key) No (measurement) problem
Authors:
Arne Hansen,
Stefan Wolf
Abstract:
Can normal science-in the Kuhnian sense-add something substantial to the discussion about the measurement problem? Does an extended Wigner's-friend Gedankenexperiment illustrate new issues? Or a new quality of known issues? Are we led to new interpretations, new perspectives, or do we iterate the previously known? The recent debate does, as we argue, neither constitute a turning point in the discu…
▽ More
Can normal science-in the Kuhnian sense-add something substantial to the discussion about the measurement problem? Does an extended Wigner's-friend Gedankenexperiment illustrate new issues? Or a new quality of known issues? Are we led to new interpretations, new perspectives, or do we iterate the previously known? The recent debate does, as we argue, neither constitute a turning point in the discussion about the measurement problem nor fundamentally challenge the legitimacy of quantum mechanics. Instead, the measurement problem asks for a reflection on fundamental paradigms of doing physics.
△ Less
Submitted 30 April, 2019;
originally announced May 2019.
-
Proving Erasure
Authors:
Xavier Coiteux-Roy,
Stefan Wolf
Abstract:
It seems impossible to certify that a remote hosting service does not leak its users' data --- or does quantum mechanics make it possible? We investigate if a server hosting data can information-theoretically prove its definite deletion using a "BB84-like" protocol. To do so, we first rigorously introduce an alternative to privacy by encryption: privacy delegation. We then apply this novel concept…
▽ More
It seems impossible to certify that a remote hosting service does not leak its users' data --- or does quantum mechanics make it possible? We investigate if a server hosting data can information-theoretically prove its definite deletion using a "BB84-like" protocol. To do so, we first rigorously introduce an alternative to privacy by encryption: privacy delegation. We then apply this novel concept to provable deletion and remote data storage. For both tasks, we present a protocol, sketch its partial security, and display its vulnerability to eavesdrop** attacks targeting only a few bits.
△ Less
Submitted 3 May, 2019; v1 submitted 18 February, 2019;
originally announced February 2019.
-
Contextuality: It's a Feature, not a Bug
Authors:
Arne Hansen,
Stefan Wolf
Abstract:
Results of measurements give legitimacy to a physical theory. What if acquiring these results in the first place necessitates what the same theory considers to be an interaction? In this note, we assume that theories account for interactions so that they are empirically traceable, and that observations necessarily go with such an interaction with the observed system. We investigate consequences of…
▽ More
Results of measurements give legitimacy to a physical theory. What if acquiring these results in the first place necessitates what the same theory considers to be an interaction? In this note, we assume that theories account for interactions so that they are empirically traceable, and that observations necessarily go with such an interaction with the observed system. We investigate consequences of this assumption: The unfolding language game, inspired by "quantum logic," leads to a class of contextual and probabilistic theories. Contextuality becomes a means to render interactions, thus also measurements, empirically tangible. The measurement "problem" arises in all such theories, not only quantum mechanics: It is a consequence of the need for empirical evidence of interactions. And a consequence of the converse need for an interaction when obtaining that empirical evidence.
△ Less
Submitted 30 April, 2019; v1 submitted 6 February, 2019;
originally announced February 2019.
-
The Free Energy of a General Computation
Authors:
Ämin Baumeler,
Stefan Wolf
Abstract:
Starting from Landauer's slogan "information is physical," we revise and modify Landauer's principle stating that the erasure of information has a minimal price in the form of a certain quantity of free energy. We establish a direct link between the erasure cost and the work value of a piece of information, and show that the former is essentially the length of the string's best compression by a re…
▽ More
Starting from Landauer's slogan "information is physical," we revise and modify Landauer's principle stating that the erasure of information has a minimal price in the form of a certain quantity of free energy. We establish a direct link between the erasure cost and the work value of a piece of information, and show that the former is essentially the length of the string's best compression by a reversible computation. We generalize the principle by deriving bounds on the free energy to be invested for --- or gained from, for that matter --- a general computation. We then revisit the second law of thermodynamics and compactly rephrase it (assuming the Church/Turing/Deutsch hypothesis that physical reality can be simulated by a universal Turing machine): Time evolutions are logically reversible --- "the future fully remembers the past (but not necessarily vice versa)." We link this view to previous formulations of the second law, and we argue that it has a particular feature that suggests its "logico-informational" nature, namely simulation resilience: If a computation faithfully simulates a physical process violating the law --- then that very computation procedure violates it as well.
△ Less
Submitted 24 October, 2019; v1 submitted 29 January, 2019;
originally announced January 2019.
-
Second Thoughts on the Second Law
Authors:
Stefan Wolf
Abstract:
We speculate whether the second law of thermodynamics has more to do with Turing machines than steam pipes. It states the logical reversibility of reality as a computation, i.e., the fact that no information is forgotten: nature computes with Toffoli-, not NAND gates. On the way there, we correct Landauer's erasure principle by directly linking it to lossless data compression, and we further devel…
▽ More
We speculate whether the second law of thermodynamics has more to do with Turing machines than steam pipes. It states the logical reversibility of reality as a computation, i.e., the fact that no information is forgotten: nature computes with Toffoli-, not NAND gates. On the way there, we correct Landauer's erasure principle by directly linking it to lossless data compression, and we further develop that to a lower bound on the energy consumption and heat dissipation of a general computation.
△ Less
Submitted 11 October, 2018;
originally announced October 2018.
-
The Measurement Problem Is the "Measurement" Problem
Authors:
Arne Hansen,
Stefan Wolf
Abstract:
The term "measurement" in quantum theory (as well as in other physical theories) is ambiguous: It is used to describe both an experience - e.g., an observation in an experiment - and an interaction with the system under scrutiny. If doing physics is regarded as a creative activity to develop a meaningful description of the world, then one has to carefully discriminate between the two notions: An o…
▽ More
The term "measurement" in quantum theory (as well as in other physical theories) is ambiguous: It is used to describe both an experience - e.g., an observation in an experiment - and an interaction with the system under scrutiny. If doing physics is regarded as a creative activity to develop a meaningful description of the world, then one has to carefully discriminate between the two notions: An observer's account of experience - consitutive to meaning - is hardly expressed exhaustively by the formal framework of an interaction within one particular theory. We develop a corresponding perspective onto central terms in quantum mechanics in general, and onto the measurement problem in particular.
△ Less
Submitted 2 April, 2019; v1 submitted 10 October, 2018;
originally announced October 2018.
-
On Formalisms and Interpretations
Authors:
Veronika Baumann,
Stefan Wolf
Abstract:
One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We…
▽ More
One of the reasons for the heated debates around the interpretations of quantum theory is a simple confusion between the notions of formalism versus interpretation. In this note, we make a clear distinction between them and show that there are actually two inequivalent quantum formalisms, namely the relative-state formalism and the standard formalism with the Born and measurement-update rules. We further propose a different probability rule for the relative-state formalism and discuss how Wigner's-friend-type experiments could show the inequivalence with the standard formalism. The feasibility in principle of such experiments, however, remains an open question.
△ Less
Submitted 9 October, 2018; v1 submitted 17 October, 2017;
originally announced October 2017.
-
Negative charge enhancement of near-surface nitrogen vacancy centers by multicolor excitation
Authors:
I. Meirzada,
Y. Hovav,
S. A. Wolf,
N. Bar-Gill
Abstract:
Nitrogen-Vacancy (NV) centers in diamond have been identified over the past few years as promising systems for a variety of applications, ranging from quantum information science to magnetic sensing. This relies on the unique optical and spin properties of the negatively charged NV. Many of these applications require shallow NV centers, i.e. NVs that are close (a few nm) to the diamond surface. In…
▽ More
Nitrogen-Vacancy (NV) centers in diamond have been identified over the past few years as promising systems for a variety of applications, ranging from quantum information science to magnetic sensing. This relies on the unique optical and spin properties of the negatively charged NV. Many of these applications require shallow NV centers, i.e. NVs that are close (a few nm) to the diamond surface. In recent years there has been increasing interest in understanding the dynamics of NV centers under various illumination conditions, specifically under infra-red (IR) excitation, which has been demonstrated to have significant impact on the NV centers' emission and charge state. Nevertheless, a full understanding of all experimental data is still lacking, with further complications arising from potential differences between the photo-dynamics of bulk vs. shallow NVs. Here we suggest a generalized quantitative model for NV center spin and charge state dynamics under both green and IR excitation. We experimentally extract the relevant transition rates, providing a comprehensive model which reconciles all existing results in the literature. Moreover, we identify key differences between the photo-dynamics of bulk and shallow NVs, and use them to significantly enhance the initialization fidelity of shallow NVs to the useful negatively-charged state.
△ Less
Submitted 4 October, 2017; v1 submitted 14 September, 2017;
originally announced September 2017.
-
Bell Correlations and the Common Future
Authors:
Ämin Baumeler,
Julien Degorre,
Stefan Wolf
Abstract:
Reichenbach's principle states that in a causal structure, correlations of classical information can stem from a common cause in the common past or a direct influence from one of the events in correlation to the other. The difficulty of explaining Bell correlations through a mechanism in that spirit can be read as questioning either the principle or even its basis: causality. In the former case, t…
▽ More
Reichenbach's principle states that in a causal structure, correlations of classical information can stem from a common cause in the common past or a direct influence from one of the events in correlation to the other. The difficulty of explaining Bell correlations through a mechanism in that spirit can be read as questioning either the principle or even its basis: causality. In the former case, the principle can be replaced by its quantum version, accepting as a common cause an entangled state, leaving the phenomenon as mysterious as ever on the classical level (on which, after all, it occurs). If, more radically, the causal structure is questioned in principle, closed space-time curves may become possible that, as is argued in the present note, can give rise to non-local correlations if to-be-correlated pieces of classical information meet in the common future --- which they need to if the correlation is to be detected in the first place. The result is a view resembling Brassard and Raymond-Robichaud's parallel-lives variant of Hermann's and Everett's relative-state formalism, avoiding "multiple realities."
△ Less
Submitted 14 August, 2017;
originally announced August 2017.
-
Reversible time travel with freedom of choice
Authors:
Ämin Baumeler,
Fabio Costa,
Timothy C. Ralph,
Stefan Wolf,
Magdalena Zych
Abstract:
General relativity allows for the existence of closed time-like curves, along which a material object could travel back in time and interact with its past self. This possibility raises the question whether certain initial conditions, or more generally local operations, lead to inconsistencies and should thus be forbidden. Here we consider the most general deterministic dynamics connecting classica…
▽ More
General relativity allows for the existence of closed time-like curves, along which a material object could travel back in time and interact with its past self. This possibility raises the question whether certain initial conditions, or more generally local operations, lead to inconsistencies and should thus be forbidden. Here we consider the most general deterministic dynamics connecting classical degrees of freedom defined on a set of bounded space-time regions, requiring that it is compatible with arbitrary operations performed in the local regions. We find that any such dynamics can be realised through reversible interactions. We further find that consistency with local operations is compatible with non-trivial time travel: Three parties can interact in such a way to be all both in the future and in the past of each other, while being free to perform arbitrary local operations.
△ Less
Submitted 1 October, 2019; v1 submitted 2 March, 2017;
originally announced March 2017.
-
An All-Or-Nothing Flavor to the Church-Turing Hypothesis
Authors:
Stefan Wolf
Abstract:
Landauer's principle claims that "Information is Physical." It is not surprising that its conceptual antithesis, Wheeler's "It from Bit," has been more popular among computer scientists --- in the form of the Church-Turing hypothesis: All natural processes can be computed by a universal Turing machine; physical laws then become descriptions of subsets of observable, as opposed to merely possible,…
▽ More
Landauer's principle claims that "Information is Physical." It is not surprising that its conceptual antithesis, Wheeler's "It from Bit," has been more popular among computer scientists --- in the form of the Church-Turing hypothesis: All natural processes can be computed by a universal Turing machine; physical laws then become descriptions of subsets of observable, as opposed to merely possible, computations. Switching back and forth between the two traditional styles of thought, motivated by quantum-physical Bell correlations and the doubts they raise about fundamental space-time causality, we look for an intrinsic, physical randomness notion and find one around the second law of thermodynamics. Bell correlations combined with complexity as randomness tell us that beyond-Turing computations are either physically impossible, or they can be carried out by "devices" as simple as individual photons.
△ Less
Submitted 3 February, 2017;
originally announced February 2017.
-
Computational tameness of classical non-causal models
Authors:
Ämin Baumeler,
Stefan Wolf
Abstract:
We show that the computational power of the non-causal circuit model, i.e., the circuit model where the assumption of a global causal order is replaced by the assumption of logical consistency, is completely characterized by the complexity class~$\operatorname{\mathsf{UP}}\cap\operatorname{\mathsf{coUP}}$. An example of a problem in that class is factorization. Our result implies that classical de…
▽ More
We show that the computational power of the non-causal circuit model, i.e., the circuit model where the assumption of a global causal order is replaced by the assumption of logical consistency, is completely characterized by the complexity class~$\operatorname{\mathsf{UP}}\cap\operatorname{\mathsf{coUP}}$. An example of a problem in that class is factorization. Our result implies that classical deterministic closed timelike curves (CTCs) cannot efficiently solve problems that lie outside of that class. Thus, in stark contrast to other CTC models, these CTCs cannot efficiently solve~$\operatorname{\mathsf{NP-complete}}$ problems, unless~$\operatorname{\mathsf{NP}}=\operatorname{\mathsf{UP}}\cap\operatorname{\mathsf{coUP}}=\operatorname{\mathsf{coNP}}$, which lets their existence in nature appear less implausible. This result gives a new characterization of~$\operatorname{\mathsf{UP}}\cap\operatorname{\mathsf{coUP}}$ in terms of fixed points.
△ Less
Submitted 12 January, 2018; v1 submitted 17 November, 2016;
originally announced November 2016.
-
The measurement problem is the measurement problem is the measurement problem
Authors:
Veronika Baumann,
Arne Hansen,
Stefan Wolf
Abstract:
Recently, it has been stated that single-world interpretations of quantum theory are logically inconsistent. The claim is derived from contradicting statements of agents in a setup combining two Wigner's-friend experiments. Those statements stem from applying the measurement-update rule subjectively, i.e., only for the respective agent's own measurement. We argue that the contradiction expresses t…
▽ More
Recently, it has been stated that single-world interpretations of quantum theory are logically inconsistent. The claim is derived from contradicting statements of agents in a setup combining two Wigner's-friend experiments. Those statements stem from applying the measurement-update rule subjectively, i.e., only for the respective agent's own measurement. We argue that the contradiction expresses the incompatibility of collapse and unitarity - resulting in different formal descriptions of a measurement - and does not allow to dismiss any specific interpretation of quantum theory.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
Can non-local correlations be discriminated in polynomial time?
Authors:
Alberto Montina,
Stefan Wolf
Abstract:
In view of the importance of quantum non-locality in cryptography, quantum computation and communication complexity, it is crucial to decide whether a given correlation exhibits non-locality or not. In the light of a theorem by Pitowski, it is generally believed that this problem is computationally intractable. In this paper, we first prove that the Euclidean distance of given correlations from th…
▽ More
In view of the importance of quantum non-locality in cryptography, quantum computation and communication complexity, it is crucial to decide whether a given correlation exhibits non-locality or not. In the light of a theorem by Pitowski, it is generally believed that this problem is computationally intractable. In this paper, we first prove that the Euclidean distance of given correlations from the local polytope can be computed in polynomial time with arbitrary fixed error, granted the access to a certain oracle. Namely, given a fixed error, we derive two upper bounds on the running time. The first bound is linear in the number of measurements. The second bound scales as the number of measurements to the sixth power. The former is dominant only for a very high number of measurements and is never saturated in the performed numerical tests. We then introduce a simple algorithm for simulating the oracle. In all the considered numerical tests, the simulation of the oracle contributes with a multiplicative factor to the overall running time and, thus, does not affect the sixth-power law of the oracle-assisted algorithm.
△ Less
Submitted 20 September, 2016;
originally announced September 2016.
-
Causality - Complexity - Consistency: Can Space-Time Be Based on Logic and Computation?
Authors:
Ämin Baumeler,
Stefan Wolf
Abstract:
The difficulty of explaining non-local correlations in a fixed causal structure sheds new light on the old debate on whether space and time are to be seen as fundamental. Refraining from assuming space-time as given a priori has a number of consequences. First, the usual definitions of randomness depend on a causal structure and turn meaningless. So motivated, we propose an intrinsic, physically m…
▽ More
The difficulty of explaining non-local correlations in a fixed causal structure sheds new light on the old debate on whether space and time are to be seen as fundamental. Refraining from assuming space-time as given a priori has a number of consequences. First, the usual definitions of randomness depend on a causal structure and turn meaningless. So motivated, we propose an intrinsic, physically motivated measure for the randomness of a string of bits: its length minus its normalized work value, a quantity we closely relate to its Kolmogorov complexity (the length of the shortest program making a universal Turing machine output this string). We test this alternative concept of randomness for the example of non-local correlations, and we end up with a reasoning that leads to similar conclusions as in, but is conceptually more direct than, the probabilistic view since only the outcomes of measurements that can actually all be carried out together are put into relation to each other. In the same context-free spirit, we connect the logical reversibility of an evolution to the second law of thermodynamics and the arrow of time. Refining this, we end up with a speculation on the emergence of a space-time structure on bit strings in terms of data-compressibility relations. Finally, we show that logical consistency, by which we replace the abandoned causality, it strictly weaker a constraint than the latter in the multi-party case.
△ Less
Submitted 12 January, 2018; v1 submitted 22 February, 2016;
originally announced February 2016.
-
Optimal measurements for nonlocal correlations
Authors:
Sacha Schwarz,
Andre Stefanov,
Stefan Wolf,
Alberto Montina
Abstract:
A problem in quantum information theory is to find the experimental setup that maximizes the nonlocality of correlations with respect to some suitable measure such as the violation of Bell inequalities. The latter has however some drawbacks. First and foremost it is unfeasible to determine the whole set of Bell inequalities already for a few measurements and thus unfeasible to find the experimenta…
▽ More
A problem in quantum information theory is to find the experimental setup that maximizes the nonlocality of correlations with respect to some suitable measure such as the violation of Bell inequalities. The latter has however some drawbacks. First and foremost it is unfeasible to determine the whole set of Bell inequalities already for a few measurements and thus unfeasible to find the experimental setup maximizing their violation. Second, the Bell violation suffers from an ambiguity stemming from the choice of the normalization of the Bell coefficients. An alternative measure of nonlocality with a direct information-theoretic interpretation is the minimal amount of classical communication required for simulating nonlocal correlations. In the case of many instances simulated in parallel, the minimal communication cost per instance is called nonlocal capacity, and its computation can be reduced to a convex-optimization problem. This quantity can be computed for a higher number of measurements and turns out to be useful for finding the optimal experimental setup. Focusing on the bipartite case, in this paper, we present a simple method for maximizing the nonlocal capacity over a given configuration space and, in particular, over a set of possible measurements, yielding the corresponding optimal setup. Furthermore, we show that there is a functional relationship between Bell violation and nonlocal capacity. The method is illustrated with numerical tests and compared with the maximization of the violation of CGLMP-type Bell inequalities on the basis of entangled two-qubit as well as two-qutrit states. Remarkably, the anomaly of nonlocality displayed by qutrits turns out to be even stronger if the nonlocal capacity is employed as a measure of nonlocality.
△ Less
Submitted 29 August, 2016; v1 submitted 17 February, 2016;
originally announced February 2016.
-
Stronger Attacks on Causality-Based Key Agreement
Authors:
Benno Salwey,
Stefan Wolf
Abstract:
Remarkably, it has been shown that in principle, security proofs for quantum key-distribution (QKD) protocols can be independent of assumptions on the devices used and even of the fact that the adversary is limited by quantum theory. All that is required instead is the absence of any hidden information flow between the laboratories, a condition that can be enforced either by shielding or by space-…
▽ More
Remarkably, it has been shown that in principle, security proofs for quantum key-distribution (QKD) protocols can be independent of assumptions on the devices used and even of the fact that the adversary is limited by quantum theory. All that is required instead is the absence of any hidden information flow between the laboratories, a condition that can be enforced either by shielding or by space-time causality. All known schemes for such Causal Key Distribution (CKD) that offer noise-tolerance (and, hence, must use privacy amplification as a crucial step) require multiple devices carrying out measurements in parallel on each end of the protocol, where the number of devices grows with the desired level of security. We investigate the power of the adversary for more practical schemes, where both parties each use a single device carrying out measurements consecutively. We provide a novel construction of attacks that is strictly more powerful than the best known attacks and has the potential to decide the question whether such practical CKD schemes are possible in the negative.
△ Less
Submitted 28 January, 2016;
originally announced January 2016.
-
Non-causal computation
Authors:
Ämin Baumeler,
Stefan Wolf
Abstract:
Computation models such as circuits describe sequences of computation steps that are carried out one after the other. In other words, algorithm design is traditionally subject to the restriction imposed by a fixed causal order. We address a novel computing paradigm beyond quantum computing, replacing this assumption by mere logical consistency: We study non-causal circuits, where a fixed time stru…
▽ More
Computation models such as circuits describe sequences of computation steps that are carried out one after the other. In other words, algorithm design is traditionally subject to the restriction imposed by a fixed causal order. We address a novel computing paradigm beyond quantum computing, replacing this assumption by mere logical consistency: We study non-causal circuits, where a fixed time structure within a gate is locally assumed whilst the global causal structure between the gates is dropped. We present examples of logically consistent non- causal circuits outperforming all causal ones; they imply that suppressing loops entirely is more restrictive than just avoiding the contradictions they can give rise to. That fact is already known for correlations as well as for communication, and we here extend it to computation.
△ Less
Submitted 5 April, 2017; v1 submitted 25 January, 2016;
originally announced January 2016.
-
Simple algorithm for computing the communication complexity of quantum communication processes
Authors:
A. Hansen,
A. Montina,
S. Wolf
Abstract:
A two-party quantum communication process with classical inputs and outcomes can be simulated by replacing the quantum channel with a classical one. The minimal amount of classical communication required to reproduce the statistics of the quantum process is called its communication complexity. In the case of many instances simulated in parallel, the minimal communication cost per instance is calle…
▽ More
A two-party quantum communication process with classical inputs and outcomes can be simulated by replacing the quantum channel with a classical one. The minimal amount of classical communication required to reproduce the statistics of the quantum process is called its communication complexity. In the case of many instances simulated in parallel, the minimal communication cost per instance is called the asymptotic communication complexity. Previously, we reduced the computation of the asymptotic communication complexity to a convex minimization problem. In most cases, the objective function does not have an explicit analytic form, as the function is defined as the maximum over an infinite set of convex functions. Therefore, the overall problem takes the form of a minimax problem and cannot directly be solved by standard optimization methods. In this paper, we introduce a simple algorithm to compute the asymptotic communication complexity. For some special cases with an analytic objective function one can employ available convex-optimization libraries. In the tested cases our method turned out to be notably faster. Finally, using our method we obtain 1.238 bits as a lower bound on the asymptotic communication complexity of a noiseless quantum channel with the capacity of 1 qubit. This improves the previous bound of 1.208 bits.
△ Less
Submitted 29 February, 2016; v1 submitted 10 December, 2015;
originally announced December 2015.
-
Microscopy with a Deterministic Single Ion Source
Authors:
Georg Jacob,
Karin Groot-Berning,
Sebastian Wolf,
Stefan Ulm,
Luc Couturier,
Samuel T. Dawkins,
Ulrich G. Poschinger,
Ferdinand Schmidt-Kaler,
Kilian Singer
Abstract:
We realize a single particle microscope by using deterministically extracted laser cooled $^{40}$Ca$^+$ ions from a Paul trap as probe particles for transmission imaging. We demonstrate focusing of the ions with a resolution of 5.8$\;\pm\;$1.0$\,$nm and a minimum two-sample deviation of the beam position of 1.5$\,$nm in the focal plane. The deterministic source, even when used in combination with…
▽ More
We realize a single particle microscope by using deterministically extracted laser cooled $^{40}$Ca$^+$ ions from a Paul trap as probe particles for transmission imaging. We demonstrate focusing of the ions with a resolution of 5.8$\;\pm\;$1.0$\,$nm and a minimum two-sample deviation of the beam position of 1.5$\,$nm in the focal plane. The deterministic source, even when used in combination with an imperfect detector, gives rise to much higher signal to noise ratios as compared with conventional Poissonian sources. Gating of the detector signal by the extraction event suppresses dark counts by 6 orders of magnitude. We implement a Bayes experimental design approach to microscopy in order to maximize the gain in spatial information. We demonstrate this method by determining the position of a 1$\,μ$m circular hole structure to an accuracy of 2.7$\,$nm using only 579 probe particles.
△ Less
Submitted 1 December, 2015;
originally announced December 2015.
-
Visibility of Young's interference fringes: Scattered light from small ion crystals
Authors:
Sebastian Wolf,
Julian Wechs,
Joachim von Zanthier,
Ferdinand Schmidt-Kaler
Abstract:
We observe interference in the light scattered from trapped $^{40}$Ca$^+$ ion crystals. By varying the intensity of the excitation laser, we study the influence of elastic and inelastic scattering on the visibility of the fringe pattern and discriminate its effect from that of the ion temperature and wave-packet localization. In this way we determine the complex degree of coherence and the mutual…
▽ More
We observe interference in the light scattered from trapped $^{40}$Ca$^+$ ion crystals. By varying the intensity of the excitation laser, we study the influence of elastic and inelastic scattering on the visibility of the fringe pattern and discriminate its effect from that of the ion temperature and wave-packet localization. In this way we determine the complex degree of coherence and the mutual coherence of light fields produced by individual atoms. We obtain interference fringes from crystals consisting of two, three and four ions in a harmonic trap. Control of the trap** potential allows for the adjustment of the interatomic distances and thus the formation of linear arrays of atoms serving as a regular grating of microscopic scatterers.
△ Less
Submitted 30 March, 2016; v1 submitted 27 November, 2015;
originally announced November 2015.
-
Device-independent test of causal order and relations to fixed-points
Authors:
Ämin Baumeler,
Stefan Wolf
Abstract:
Bell non-local correlations cannot be naturally explained in a fixed causal structure. This serves as a motivation for considering models where no global assumption is made beyond logical consistency. The assumption of a fixed causal order between a set of parties, together with free randomness, implies device-independent inequalities --- just as the assumption of locality does. It is known that l…
▽ More
Bell non-local correlations cannot be naturally explained in a fixed causal structure. This serves as a motivation for considering models where no global assumption is made beyond logical consistency. The assumption of a fixed causal order between a set of parties, together with free randomness, implies device-independent inequalities --- just as the assumption of locality does. It is known that local validity of quantum theory is consistent with violating such inequalities. Moreover, for three parties or more, even the (stronger) assumption of local classical probability theory plus logical consistency allows for violating causal inequalities. Here, we show that a classical environment (with which the parties interact), possibly containing loops, is logically consistent if and only if whatever the involved parties do, there is exactly one fixed-point, the latter being representable as a mixture of deterministic fixed-points. We further show that the non-causal view allows for a model of computation strictly more powerful than computation in a world of fixed causal orders.
△ Less
Submitted 5 April, 2016; v1 submitted 17 November, 2015;
originally announced November 2015.
-
The space of logically consistent classical processes without causal order
Authors:
Ämin Baumeler,
Stefan Wolf
Abstract:
Classical correlations without predefined causal order arise from processes where parties manipulate random variables, and where the order of these interactions is not predefined. No assumption on the causal order of the parties is made, but the processes are restricted to be logically consistent under any choice of the parties' operations. It is known that for three parties or more, this set of p…
▽ More
Classical correlations without predefined causal order arise from processes where parties manipulate random variables, and where the order of these interactions is not predefined. No assumption on the causal order of the parties is made, but the processes are restricted to be logically consistent under any choice of the parties' operations. It is known that for three parties or more, this set of processes is larger than the set of processes achievable in a predefined ordering of the parties. Here, we model all classical processes without predefined causal order geometrically and find that the set of such processes forms a polytope. Additionally, we model a smaller polytope --- the deterministic-extrema polytope --- where all extremal points represent deterministic processes. This polytope excludes probabilistic processes that must be --- quite unnaturally --- fine-tuned, because any variation of the weights in a decomposition into deterministic processes leads to a logical inconsistency.
△ Less
Submitted 14 January, 2016; v1 submitted 7 July, 2015;
originally announced July 2015.
-
Non-Locality Without Counterfactual Reasoning
Authors:
Stefan Wolf
Abstract:
Non-local correlations are usually understood through the outcomes of alternative measurements (on two or more parts of a system) that cannot altogether actually be carried out in an experiment. Indeed, a joint input/output -- e.g., measurement-setting/outcome -- behavior is non-local if and only if the outputs for all possible inputs cannot coexist consistently. It has been argued that this count…
▽ More
Non-local correlations are usually understood through the outcomes of alternative measurements (on two or more parts of a system) that cannot altogether actually be carried out in an experiment. Indeed, a joint input/output -- e.g., measurement-setting/outcome -- behavior is non-local if and only if the outputs for all possible inputs cannot coexist consistently. It has been argued that this counterfactual view is how Bell's inequalities and their violations are to be seen. We propose an alternative perspective which refrains from setting into relation the results of mutually exclusive measurements, but that is based solely on data actually available. Our approach uses algorithmic complexity instead of probability, implies non-locality to have similar consequences as in the probabilistic view, and is conceptually simpler yet at the same time more general than the latter.
△ Less
Submitted 8 June, 2015; v1 submitted 26 May, 2015;
originally announced May 2015.
-
Purcell-enhanced optical spin readout of Nitrogen-Vacancy centers in diamond
Authors:
Sigal A. Wolf,
Itamar Rosenberg,
Ronen Rapaport,
Nir Bar-Gill
Abstract:
Nitrogen-Vacancy (NV) color centers in diamond have emerged as promising quantum solid-state systems, with applications ranging from quantum information processing to magnetic sensing. One of the most useful properties of NVs is the ability to read their ground-state spin projection optically at room temperature. This work provides a theoretical analysis of Purcell enhanced NV optical coupling, th…
▽ More
Nitrogen-Vacancy (NV) color centers in diamond have emerged as promising quantum solid-state systems, with applications ranging from quantum information processing to magnetic sensing. One of the most useful properties of NVs is the ability to read their ground-state spin projection optically at room temperature. This work provides a theoretical analysis of Purcell enhanced NV optical coupling, through which we find optimal parameters for maximal Signal to Noise Ratio (SNR) of the optical spin-state readout. We conclude that a combined increase in spontaneous emission (through Purcell enhancement) and in optical excitation could significantly increase the readout SNR.
△ Less
Submitted 5 May, 2015;
originally announced May 2015.
-
Single particle microscopy with nanometer resolution
Authors:
Georg Jacob,
Karin Groot-Berning,
Sebastian Wolf,
Stefan Ulm,
Luc Couturier,
Ulrich G. Poschinger,
Ferdinand Schmidt-Kaler,
Kilian Singer
Abstract:
We experimentally demonstrate nanoscopic transmission microscopy relying on a deterministic single particle source. This increases the signal-to-noise ratio with respect to conventional microscopy methods, which employ Poissonian particle sources. We use laser-cooled ions extracted from a Paul trap, and demonstrate remote imaging of transmissive objects with a resolution of 8.6 $\pm$ 2.0nm and a m…
▽ More
We experimentally demonstrate nanoscopic transmission microscopy relying on a deterministic single particle source. This increases the signal-to-noise ratio with respect to conventional microscopy methods, which employ Poissonian particle sources. We use laser-cooled ions extracted from a Paul trap, and demonstrate remote imaging of transmissive objects with a resolution of 8.6 $\pm$ 2.0nm and a minimum two-sample deviation of the beam position of 1.5nm. Detector dark counts can be suppressed by 6 orders of magnitudes through gating by the extraction event. The deterministic nature of our source enables an information-gain driven approach to imaging. We demonstrate this by performing efficient beam characterization based on a Bayes experiment design method.
△ Less
Submitted 26 May, 2014;
originally announced May 2014.
-
Maximal incompatibility of locally classical behavior and global causal order in multi-party scenarios
Authors:
Ämin Baumeler,
Adrien Feix,
Stefan Wolf
Abstract:
Quantum theory in a global space-time gives rise to non-local correlations, which cannot be explained causally in a satisfactory way; this motivates the study of theories with reduced global assumptions. Oreshkov, Costa, and Brukner (2012) proposed a framework in which quantum theory is valid locally but where, at the same time, no global space-time, i.e., predefined causal order, is assumed beyon…
▽ More
Quantum theory in a global space-time gives rise to non-local correlations, which cannot be explained causally in a satisfactory way; this motivates the study of theories with reduced global assumptions. Oreshkov, Costa, and Brukner (2012) proposed a framework in which quantum theory is valid locally but where, at the same time, no global space-time, i.e., predefined causal order, is assumed beyond the absence of logical paradoxes. It was shown for the two-party case, however, that a global causal order always emerges in the classical limit. Quite naturally, it has been conjectured that the same also holds in the multi-party setting. We show that counter to this belief, classical correlations locally compatible with classical probability theory exist that allow for deterministic signaling between three or more parties incompatible with any predefined causal order.
△ Less
Submitted 16 September, 2014; v1 submitted 28 March, 2014;
originally announced March 2014.
-
Necessary and sufficient optimality conditions for classical simulations of quantum communication processes
Authors:
Alberto Montina,
Stefan Wolf
Abstract:
We consider the process consisting of preparation, transmission through a quantum channel, and subsequent measurement of quantum states. The communication complexity of the channel is the minimal amount of classical communication required for classically simulating it. Recently, we reduced the computation of this quantity to a convex minimization problem with linear constraints. Every solution of…
▽ More
We consider the process consisting of preparation, transmission through a quantum channel, and subsequent measurement of quantum states. The communication complexity of the channel is the minimal amount of classical communication required for classically simulating it. Recently, we reduced the computation of this quantity to a convex minimization problem with linear constraints. Every solution of the constraints provides an upper bound on the communication complexity. In this paper, we derive the dual maximization problem of the original one. The feasible points of the dual constraints, which are inequalities, give lower bounds on the communication complexity, as illustrated with an example. The optimal values of the two problems turn out to be equal (zero duality gap). By this property, we provide necessary and sufficient conditions for optimality in terms of a set of equalities and inequalities. We use these conditions and two reasonable but unproven hypotheses to derive the lower bound $n 2^{n-1}$ for a noiseless quantum channel with capacity equal to $n$ qubits. This lower bound can have interesting consequences in the context of the recent debate on the reality of the quantum state.
△ Less
Submitted 2 March, 2014; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Non-Locality of Experimental Qutrit Pairs
Authors:
C. Bernhard,
B. Bessire,
A. Montina,
M. Pfaffhauser,
A. Stefanov,
S. Wolf
Abstract:
The insight due to John Bell that the joint behavior of individually measured entangled quantum systems cannot be explained by shared information remains a mystery to this day. We describe an experiment, and its analysis, displaying non-locality of entangled qutrit pairs. The non-locality of such systems, as compared to qubit pairs, is of particular interest since it potentially opens the door for…
▽ More
The insight due to John Bell that the joint behavior of individually measured entangled quantum systems cannot be explained by shared information remains a mystery to this day. We describe an experiment, and its analysis, displaying non-locality of entangled qutrit pairs. The non-locality of such systems, as compared to qubit pairs, is of particular interest since it potentially opens the door for tests of bipartite non-local behavior independent of probabilistic Bell inequalities, but of deterministic nature.
△ Less
Submitted 20 February, 2014;
originally announced February 2014.