Showing 1–50 of 79 results for author: Wolf, S

A local, many-worlds, model of quantum correlations with finite information flow

Authors: Alberto Montina, Stefan Wolf

Abstract: Ontological theories, such as the de Broglie-Bohm theory, address the measurement problem by introducing auxiliary random variables that specify, in particular, the actual values of macroscopic observables. Such models may be psi-epistemic, meaning the quantum state is not part of the ontology. A serious issue of this route toward a realistic completion of quantum theory is raised by Bell's proof… ▽ More Ontological theories, such as the de Broglie-Bohm theory, address the measurement problem by introducing auxiliary random variables that specify, in particular, the actual values of macroscopic observables. Such models may be psi-epistemic, meaning the quantum state is not part of the ontology. A serious issue of this route toward a realistic completion of quantum theory is raised by Bell's proof that ontological theories are nonlocal. A possible resolution is to reject the assumption that measurements have single actual outcomes. Indeed, relaxing this premise, Deutsch and Hayden showed that Bell's theorem can be evaded by delaying the buildup of the correlations until the parties compare their outcomes at a meeting point. However, the Deutsch-Hayden theory, which is determinist and psi-ontic, leads to an infinite information flow towards the meeting point. Furthermore, alternative branches are weighted by amplitudes, leading to interpretative issues. By integrating the randomness of single-world theories and the branching of the Deutsch-Hayden theory, we introduce a simple psi-epistemic local model of projective measurements on two spatially separate maximally entangled qubits. Because of its randomness, the model requires two "equally weighted" branches and a finite information flow -- just one bit per measurement is communicated to the meeting point. We explore how this hybrid approach, employing both randomness and branching, addresses key challenges of single-world and Deutsch-Hayden theories. On one hand, the branching allows us to circumvent nonlocality and, possibly, contextuality. On the other hand, randomness makes it more natural and economical to derive quantum probabilities from unweighted counts of branches and ensemble averages. Furthermore, it allows for a reduction of the information flow by stripping the quantum state of its `ontic' rank. △ Less

Submitted 26 February, 2025; v1 submitted 19 February, 2025; originally announced February 2025.

Comments: We have modified some statements which referred to particular and not broadly accepted approaches to MWI. We highlight our results rather than present a broad discussion on many-worlds interpretation, which is not the purpose of this paper. This version presents a better flow of our reasoning. We also include a mention to Pusey-Barrett-Rudolph theorem

Shot-noise reduction for lattice Hamiltonians

Authors: Timo Eckstein, Refik Mansuroglu, Stefan Wolf, Ludwig Nützel, Stephan Tasler, Martin Kliesch, Michael J. Hartmann

Abstract: Efficiently estimating energy expectation values of lattice Hamiltonians on quantum computers is a serious challenge, where established techniques can require excessive sample numbers. Here we introduce geometric partitioning as a scalable alternative. It splits the Hamiltonian into subsystems that extend over multiple lattice sites, for which transformations between their local eigenbasis and the… ▽ More Efficiently estimating energy expectation values of lattice Hamiltonians on quantum computers is a serious challenge, where established techniques can require excessive sample numbers. Here we introduce geometric partitioning as a scalable alternative. It splits the Hamiltonian into subsystems that extend over multiple lattice sites, for which transformations between their local eigenbasis and the computational basis can be efficiently found. This allows us to reduce the number of measurements as we sample from a more concentrated distribution without diagonalizing the problem. For systems in an energy eigenstate, we prove a lower bound on the sampling number improvement over the "naive" mutually commuting local operator grouping, which grows with the considered subsystem size, consistently showing an advantage for our geometric partitioning strategy. Notably, our lower bounds do not decrease but increase for more correlated states (Theorem 1). For states that are weakly isotropically perturbed around an eigenstate, we show how the sampling number improvement translates to imperfect eigenstate improvements, namely measuring close to the true eigenbasis already for smaller perturbations (Theorem 2). We illustrate our findings on multiple two-dimensional lattice models incl. the transverse field XY- and Ising model as well as the Fermi Hubbard model. △ Less

Submitted 4 November, 2024; v1 submitted 28 October, 2024; originally announced October 2024.

Comments: 17 + 12 pages, 5 + 0 figures

Flow of dynamical causal structures with an application to correlations

Authors: Ämin Baumeler, Stefan Wolf

Abstract: Causal models capture cause-effect relations both qualitatively - via the graphical causal structure - and quantitatively - via the model parameters. They offer a powerful framework for analyzing and constructing processes. Here, we introduce a tool - the flow of causal structures - to visualize and explore the dynamical aspect of classical-deterministic processes, arguably like those present in g… ▽ More Causal models capture cause-effect relations both qualitatively - via the graphical causal structure - and quantitatively - via the model parameters. They offer a powerful framework for analyzing and constructing processes. Here, we introduce a tool - the flow of causal structures - to visualize and explore the dynamical aspect of classical-deterministic processes, arguably like those present in general relativity. The flow describes all possible ways in which the causal structure of a process can evolve. We also present an algorithm to construct its supergraph - the superflow - from the causal structure only. Consequently, the superflow of a given process may describe additional unrealizable evolutions of its causal structure. As an application, we show that if all leafs of a flow are trivial, then the corresponding process produces causal correlations only, i.e., correlations where past data influences future events only. This strengthens the result that processes, where the cycles in their causal structure are chordless, establish causal correlations only. We also discuss the main difficulties for the quantum generalization. △ Less

Submitted 24 October, 2024; originally announced October 2024.

Comments: 5 pages, 3 figures, 2 algorithms

Solving an Industrially Relevant Quantum Chemistry Problem on Quantum Hardware

Authors: Ludwig Nützel, Alexander Gresch, Lukas Hehn, Lucas Marti, Robert Freund, Alex Steiner, Christian D. Marciniak, Timo Eckstein, Nina Stockinger, Stefan Wolf, Thomas Monz, Michael Kühn, Michael J. Hartmann

Abstract: Quantum chemical calculations are among the most promising applications for quantum computing. Implementations of dedicated quantum algorithms on available quantum hardware were so far, however, mostly limited to comparatively simple systems without strong correlations. As such, they can also be addressed by classically efficient single-reference methods. In this work, we calculate the lowest ener… ▽ More Quantum chemical calculations are among the most promising applications for quantum computing. Implementations of dedicated quantum algorithms on available quantum hardware were so far, however, mostly limited to comparatively simple systems without strong correlations. As such, they can also be addressed by classically efficient single-reference methods. In this work, we calculate the lowest energy eigenvalue of active space Hamiltonians of industrially relevant and strongly correlated metal chelates on trapped ion quantum hardware, and integrate the results into a typical industrial quantum chemical workflow to arrive at chemically meaningful properties. We are able to achieve chemical accuracy by training a variational quantum algorithm on quantum hardware, followed by a classical diagonalization in the subspace of states measured as outputs of the quantum circuit. This approach is particularly measurement-efficient, requiring 600 single-shot measurements per cost function evaluation on a ten qubit system, and allows for efficient post-processing to handle erroneous runs. △ Less

Submitted 20 August, 2024; originally announced August 2024.

Comments: 12 pages, 5 figures

Journal ref: Quantum Science and Technology 10.1 (2025): 015066

On multivariate polynomials achievable with quantum signal processing

Authors: Lorenzo Laneve, Stefan Wolf

Abstract: Quantum signal processing (QSP) is a framework which was proven to unify and simplify a large number of known quantum algorithms, as well as discovering new ones. QSP allows one to transform a signal embedded in a given unitary using polynomials. Characterizing which polynomials can be achieved with QSP protocols is an important part of the power of this technique, and while such a characterizatio… ▽ More Quantum signal processing (QSP) is a framework which was proven to unify and simplify a large number of known quantum algorithms, as well as discovering new ones. QSP allows one to transform a signal embedded in a given unitary using polynomials. Characterizing which polynomials can be achieved with QSP protocols is an important part of the power of this technique, and while such a characterization is well-understood in the case of univariate signals, it is unclear which multivariate polynomials can be constructed when the signal is a vector, rather than a scalar. This work uses a slightly different formalism than what is found in the literature, and uses it to find simpler necessary conditions for decomposability, as well as a sufficient condition -- the first, to the best of our knowledge, proven for a (generally inhomogeneous) multivariate polynomial in the context of quantum signal processing. △ Less

Submitted 14 February, 2025; v1 submitted 30 July, 2024; originally announced July 2024.

Comments: 18 pages, 2 figures

Journal ref: Quantum 9, 1641 (2025)

Temperature as Joules per Bit

Authors: Charles Alexandre Bédard, Sophie Berthelette, Xavier Coiteux-Roy, Stefan Wolf

Abstract: In statistical mechanics, entropy is defined as a fundamental quantity. However, its unit, J/K, involves that of temperature, which is only subsequently defined - and defined in terms of entropy. This circularity arises with the introduction of Boltzmann's constant into the very expression of entropy. The J/K carried by the constant prevents entropy from finding a unit of its own while simultaneou… ▽ More In statistical mechanics, entropy is defined as a fundamental quantity. However, its unit, J/K, involves that of temperature, which is only subsequently defined - and defined in terms of entropy. This circularity arises with the introduction of Boltzmann's constant into the very expression of entropy. The J/K carried by the constant prevents entropy from finding a unit of its own while simultaneously obfuscating its informational nature. Following the precepts of information theory, we argue that entropy is well measured in bits and coincides with information capacity at thermodynamic equilibrium. Consequently, not only is the temperature of a system in equilibrium expressed in J/bit, but it acquires a clear meaning: It is the cost in energy to increase its information capacity by 1 bit. Viewing temperature as joules per bit uncovers the strong duality exhibited by Gibbs long ago between available capacity and free energy. It also simplifies Landauer's cost and clarifies that it is a cost of displacement, not of erasure. Replacing the kelvin with the bit as an SI unit would remove Boltzmann's constant from the seven defining constants. △ Less

Submitted 28 February, 2025; v1 submitted 22 January, 2024; originally announced January 2024.

Comments: 15 pages, 3 figures, to be published in the American Journal of Physics

Quantum-foundational implications of information erasure upon measurement

Authors: Alberto Montina, Stefan Wolf

Abstract: A projective measurement cannot decrease the von Neumann entropy if the outcome is ignored. However, under certain sound assumptions and using the quantum violation of Leggett-Garg inequalities, we have previously demonstrated that this property is not inherited by a classical simulation of such a measurement process. In the simulation, a measurement erases prior information by partially resetting… ▽ More A projective measurement cannot decrease the von Neumann entropy if the outcome is ignored. However, under certain sound assumptions and using the quantum violation of Leggett-Garg inequalities, we have previously demonstrated that this property is not inherited by a classical simulation of such a measurement process. In the simulation, a measurement erases prior information by partially resetting the system, suggesting that the quantum-state update following a measurement cannot be entirely epistemic. The erasure of information has been proved by assuming that the maximally mixed quantum state corresponds to maximal ignorance of the classical state. A more intricate proof employed the weaker hypothesis that the entropy is finite at some stage of the simulation. In this paper, we focus on the quantum-foundational implications of this theorem. We first provide a simple proof by directly using the second hypothesis. Second, we identify information erasure as the mechanism breaking the time symmetry in ontological theories. This symmetry break has been previously proved by Pusey and Leifer. Third, we show that information erasure and, thus, symmetry break can be avoided by employing a branching "a la" many-worlds theory. The information flow and the time asymmetry are transferred to the measurement devices and the subsequent comparison of results, which inherently involve time-asymmetric processes. Thus, causality and the absence of information erasure suggest that measurements have multiple actual outcomes. Similarly, Deutsch and Hayden argued that Bell's theorem leads to the same conclusion if locality is given for granted. We conclude by showing that the problem of the clumsiness loophole in an experimental Leggett-Garg test of macrorealism is mitigated by the information-erasure theorem. △ Less

Submitted 4 June, 2025; v1 submitted 6 July, 2023; originally announced July 2023.

Comments: Extensive changes have been made by adding a model `a la' many-worlds theory which does not display information erasure and is time symmetric. A discussion on the relation between information erasure and the clumsiness loophole has been added

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.

Comments: 6 pages

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.

Comments: 31 pages, 3 figures

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.

Comments: 6 pages, 5 figures

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.

Comments: 10 pages, 4 figures

Journal ref: Phys. Rev. A 106, 033108 (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.

Comments: 5 pages, 3 figures plus supplemental material

Journal ref: Phys. Rev. Lett. 127, 143602 (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.

Journal ref: Phys. Rev. Lett. 126, 173602 (2021)

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.

Comments: ©2021 Optical Society of America. Users may use, reuse, and build upon the article, or use the article for text or data mining, so long as such uses are for non-commercial purposes and appropriate attribution is maintained. All other rights are reserved

Journal ref: Opt. Express 29, 4035-4047 (2021)

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.

Comments: 9 pages, 10 figures

Journal ref: Phys. Rev. B 104, 155413 (2021)

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.

Comments: 6 pages, 1 table, 3 figures

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.

Journal ref: Phys. Rev. Lett. 124, 063603 (2020)

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.

Journal ref: Opt. Express 28, 4426-4432 (2020)

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.

Journal ref: Phys. Rev. B 100, 125436 (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 eavesdropping attacks targeting only a few bits. △ Less

Submitted 3 May, 2019; v1 submitted 18 February, 2019; originally announced February 2019.

Comments: 5 pages, 3 figures

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.

Comments: 8 pages, 3 figures

Journal ref: Phys. Rev. E 100, 052115 (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.

Comments: arXiv admin note: text overlap with arXiv:1702.00923

Journal ref: Adventures Between Lower Bounds and Higher Altitudes, Lecture Notes in Computer Science, LNCS 11011, 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.

Journal ref: Quantum 2, 99 (2018)

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.

Journal ref: Phys. Rev. B 98, 245411 (2018)

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.

Comments: 8 pages, 5 figures

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.

Comments: 11 pages, 3 figures

Journal ref: Classical and Quantum Gravity 36, 224002 (2019)

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.

Comments: arXiv admin note: text overlap with arXiv:1602.06987

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.

Comments: 7 pages, 3 figures, 1 algorithm, revised

Journal ref: Proceedings of the Royal Society A 474, 20170698, 2018

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.

Comments: An extended version will be updated soon

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.

Comments: 17 pages, 16 figures, small corrections

Journal ref: In Renner R., Stupar S. (eds) Time in Physics (Birkhäuser, Cham, 2017)

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.

Comments: Some typos and errors have been corrected, especially in the section concerning the relation between Bell violation and communication complexity

Journal ref: Phys. Rev. A 94, 022322 (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.

Comments: 6 pages, 4 figures

Journal ref: Entropy 19(7), 326, 2017

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.

Comments: Corrected few typos

Journal ref: Phys. Rev. A 93, 042315 (2016)

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.

Comments: 7 pages, 6 figures

Journal ref: Phys. Rev. Lett. 117, 043001 (2016)

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 trapping 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.

Comments: Main text: 5 pages, 4 figures. Supplemental Material: 2pages, 1 figure

Journal ref: Phys. Rev. Lett. 116, 183002 (2016)

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.

Comments: 24 pages, 8 figures, 4 tables

Journal ref: New J. Phys. 18, 035014, 2016

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.

Comments: 14 pages, 12 figures, 1 table, improved, references updated

Journal ref: New J. Phys. 18, 013036, 2016

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.

Comments: 5 pages, 1 figure

Journal ref: Phys. Rev. A 92, 052102 (2015)