Source author record

David Reeb

David Reeb appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

19works
14topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

19 published item(s)

preprint2022arXiv

PAC-Bayesian Lifelong Learning For Multi-Armed Bandits

We present a PAC-Bayesian analysis of lifelong learning. In the lifelong learning problem, a sequence of learning tasks is observed one-at-a-time, and the goal is to transfer information acquired from previous tasks to new learning tasks. We consider the case when each learning task is a multi-armed bandit problem. We derive lower bounds on the expected average reward that would be obtained if a given multi-armed bandit algorithm was run in a new task with a particular prior and for a set number of steps. We propose lifelong learning algorithms that use our new bounds as learning objectives. Our proposed algorithms are evaluated in several lifelong multi-armed bandit problems and are found to perform better than a baseline method that does not use generalisation bounds.

preprint2016arXiv

Measurement Uncertainty for Finite Quantum Observables

Measurement uncertainty relations are lower bounds on the errors of any approximate joint measurement of two or more quantum observables. The aim of this paper is to provide methods to compute optimal bounds of this type. The basic method is semidefinite programming, which we apply to arbitrary finite collections of projective observables on a finite dimensional Hilbert space. The quantification of errors is based on an arbitrary cost function, which assigns a penalty to getting result $x$ rather than y, for any pair (x,y). This induces a notion of optimal transport cost for a pair of probability distributions, and we include an appendix with a short summary of optimal transport theory as needed in our context. There are then different ways to form an overall figure of merit from the comparison of distributions. We consider three, which are related to different physical testing scenarios. The most thorough test compares the transport distances between the marginals of a joint measurement and the reference observables for every input state. Less demanding is a test just on the states for which a "true value" is known in the sense that the reference observable yields a definite outcome. Finally, we can measure a deviation as a single expectation value by comparing the two observables on the two parts of a maximally entangled state. All three error quantities have the property that they vanish if and only if the tested observable is equal to the reference. The theory is illustrated with some characteristic examples.

preprint2016arXiv

Scalable Dissipative Preparation of Many-Body Entanglement

We present a technique for the dissipative preparation of highly entangled multiparticle states of atoms coupled to common oscillator modes. By combining local spontaneous emission with coherent couplings we engineer many-body dissipation that drives the system from an arbitrary initial state into a Greenberger-Horne-Zeilinger state. We demonstrate that using our technique, highly entangled steady states can be prepared efficiently in a time that scales polynomially with the system size. Our protocol assumes generic couplings and will thus enable the dissipative production of multiparticle entanglement in a wide range of physical systems. As an example, we demonstrate the feasibility of our scheme in state-of-the-art trapped-ion systems.

preprint2015arXiv

Positivity of linear maps under tensor powers

We investigate linear maps between matrix algebras that remain positive under tensor powers, i.e., under tensoring with $n$ copies of themselves. Completely positive and completely co-positive maps are trivial examples of this kind. We show that for every $n\in\mathbb{N}$ there exist non-trivial maps with this property and that for two-dimensional Hilbert spaces there is no non-trivial map for which this holds for all $n$. For higher dimensions we reduce the existence question of such non-trivial "tensor-stable positive maps" to a one-parameter family of maps and show that an affirmative answer would imply the existence of NPPT bound entanglement. As an application we show that any tensor-stable positive map that is not completely positive yields an upper bound on the quantum channel capacity, which for the transposition map gives the well-known cb-norm bound. We furthermore show that the latter is an upper bound even for the LOCC-assisted quantum capacity, and that moreover it is a strong converse rate for this task.

preprint2015arXiv

Quantum Subdivision Capacities and Continuous-time Quantum Coding

Quantum memories can be regarded as quantum channels that transmit information through time without moving it through space. Aiming at a reliable storage of information we may thus not only encode at the beginning and decode at the end, but also intervene during the transmission - a possibility not captured by the ordinary capacities in Quantum Shannon Theory. In this work we introduce capacities that take this possibility into account and study them in particular for the transmission of quantum information via dynamical semigroups of Lindblad form. When the evolution is subdivided and supplemented by additional continuous semigroups acting on arbitrary block sizes, we show that the capacity of the ideal channel can be obtained in all cases. If the supplementary evolution is reversible, however, this is no longer the case. Upper and lower bounds for this scenario are proven. Finally, we provide a continuous coding scheme and simple examples showing that adding a purely dissipative term to a Liouvillian can sometimes increase the quantum capacity.

preprint2015arXiv

Tight bound on relative entropy by entropy difference

We prove a lower bound on the relative entropy between two finite-dimensional states in terms of their entropy difference and the dimension of the underlying space. The inequality is tight in the sense that equality can be attained for any prescribed value of the entropy difference, both for quantum and classical systems. We outline implications for information theory and thermodynamics, such as a necessary condition for a process to be close to thermodynamic reversibility, or an easily computable lower bound on the classical channel capacity. Furthermore, we derive a tight upper bound, uniform for all states of a given dimension, on the variance of the surprisal, whose thermodynamic meaning is that of heat capacity.

preprint2014arXiv

An improved Landauer Principle with finite-size corrections

Landauer's Principle relates entropy decrease and heat dissipation during logically irreversible processes. Most theoretical justifications of Landauer's Principle either use thermodynamic reasoning or rely on specific models based on arguable assumptions. Here, we aim at a general and minimal setup to formulate Landauer's Principle in precise terms. We provide a simple and rigorous proof of an improved version of the Principle, which is formulated in terms of an equality rather than an inequality. The proof is based on quantum statistical mechanics concepts rather than on thermodynamic argumentation. From this equality version, we obtain explicit improvements of Landauer's bound that depend on the effective size of the thermal reservoir and reduce to Landauer's bound only for infinite-sized reservoirs.

preprint2014arXiv

Fault-ignorant Quantum Search

We investigate the problem of quantum searching on a noisy quantum computer. Taking a 'fault-ignorant' approach, we analyze quantum algorithms that solve the task for various different noise strengths, which are possibly unknown beforehand. We prove lower bounds on the runtime of such algorithms and thereby find that the quadratic speedup is necessarily lost (in our noise models). However, for low but constant noise levels the algorithms we provide (based on Grover's algorithm) still outperform the best noiseless classical search algorithm.

preprint2014arXiv

Positive reduction from spectra

We study the problem of whether all bipartite quantum states having a prescribed spectrum remain positive under the reduction map applied to one subsystem. We provide necessary and sufficient conditions, in the form of a family of linear inequalities, which the spectrum has to verify. Our conditions become explicit when one of the two subsystems is a qubit, as well as for further sets of states. Finally, we introduce a family of simple entanglement criteria for spectra, closely related to the reduction and positive partial transpose criteria, which also provide new insight into the set of spectra that guarantee separability or positivity of the partial transpose.

preprint2014arXiv

Spectral convergence bounds for classical and quantum Markov processes

We introduce a new framework that yields spectral bounds on norms of functions of transition maps for finite, homogeneous Markov chains. The techniques employed work for bounded semigroups, in particular for classical as well as for quantum Markov chains and they do not require additional assumptions like detailed balance, irreducibility or aperiodicity. We use the method in order to derive convergence bounds that improve significantly upon known spectral bounds. The core technical observation is that power-boundedness of transition maps of Markov chains enables a Wiener algebra functional calculus in order to upper bound any norm of any holomorphic function of the transition map. Finally, we discuss how general detailed balance conditions for quantum Markov processes lead to spectral convergence bounds.

preprint2013arXiv

Coexistence does not imply joint measurability

One of the hallmarks of quantum theory is the realization that distinct measurements cannot in general be performed simultaneously, in stark contrast to classical physics. In this context the notions of coexistence and joint measurability are employed to analyze the possibility of measuring together two general quantum observables, characterizing different degrees of compatibility between measurements. It is known that two jointly measurable observables are always coexistent, and that the converse holds for various classes of observables, including the case of observables with two outcomes. Here we resolve, in the negative, the open question whether this equivalence holds in general. Our resolution strengthens the notions of coexistence and joint measurability by showing that both are robust against small imperfections in the measurement setups.

preprint2012arXiv

Extending quantum operations

For a given set of input-output pairs of quantum states or observables, we ask the question whether there exists a physically implementable transformation that maps each of the inputs to the corresponding output. The physical maps on quantum states are trace-preserving completely positive maps, but we also consider variants of these requirements. We generalize the definition of complete positivity to linear maps defined on arbitrary subspaces, then formulate this notion as a semidefinite program, and relate it by duality to approximative extensions of this map. This gives a characterization of the maps which can be approximated arbitrarily well as the restriction of a map that is completely positive on the whole algebra, also yielding the familiar extension theorems on operator spaces. For quantum channel extensions and extensions by probabilistic operations we obtain semidefinite characterizations, and we also elucidate the special case of Abelian in- or outputs. Finally, revisiting a theorem by Alberti and Uhlmann, we provide simpler and more widely applicable conditions for certain extension problems on qubits, and by using a semidefinite programming formulation we exhibit counterexamples to seemingly reasonable but false generalizations of the Alberti-Uhlmann theorem.

preprint2011arXiv

A Cutoff Phenomenon for Quantum Markov Chains

We derive upper and lower bounds on the convergence behavior of certain classes of one-parameter quantum dynamical semigroups. The classes we consider consist of tensor product channels and of channels with commuting Liouvillians. We introduce the notion of Cutoff Phenomenon in the setting of quantum information theory, and show how it exemplifies the fact that the convergence of (quantum) stochastic processes is not solely governed by the spectral gap of the transition map. We apply the new methods to show that graph states can be prepared efficiently, albeit not in constant time, by dissipation, and give the exact scaling behavior of the time to stationarity.

preprint2011arXiv

Hilbert's projective metric in quantum information theory

We introduce and apply Hilbert's projective metric in the context of quantum information theory. The metric is induced by convex cones such as the sets of positive, separable or PPT operators. It provides bounds on measures for statistical distinguishability of quantum states and on the decrease of entanglement under LOCC protocols or other cone-preserving operations. The results are formulated in terms of general cones and base norms and lead to contractivity bounds for quantum channels, for instance improving Ruskai's trace-norm contraction inequality. A new duality between distinguishability measures and base norms is provided. For two given pairs of quantum states we show that the contraction of Hilbert's projective metric is necessary and sufficient for the existence of a probabilistic quantum operation that maps one pair onto the other. Inequalities between Hilbert's projective metric and the Chernoff bound, the fidelity and various norms are proven.

preprint2010arXiv

Grand unification through gravitational effects

We systematically study the unification of gauge couplings in the presence of (one or more) effective dimension-5 operators cHGG/4MPl, induced into the grand unified theory by gravitational interactions at the Planck scale MPl. These operators alter the usual condition for gauge coupling unification, which can, depending on the Higgs content H and vacuum expectation value, result in unification at scales MX significantly different than naively expected. We find non-supersymmetric models of SU(5) and SO(10) unification, with natural Wilson coefficients c, that easily satisfy the constraints from proton decay. Furthermore, gauge coupling unification at scales as high as the Planck scale seems feasible, possibly hinting at simultaneous unification of gauge and gravitational interactions. In the Appendix we work out the group theoretical aspects of this scenario for SU(5) and SO(10) unified groups in detail; this material is also relevant in the analysis of non-universal gaugino masses obtained from supergravity.

preprint2009arXiv

Dark radiation as a signature of dark energy

We propose a simple dark energy model with the following properties: the model predicts a late-time dark radiation component that is not ruled out by current observational data, but which produces a distinctive time-dependent equation of state w(z) for z < 3. The dark energy field can be coupled strongly enough to Standard Model particles to be detected in colliders, and the model requires only modest additional particle content and little or no fine-tuning other than a new energy scale of order milli-electron volts.

preprint2009arXiv

Monsters, black holes and the statistical mechanics of gravity

We review the construction of monsters in classical general relativity. Monsters have finite ADM mass and surface area, but potentially unbounded entropy. From the curved space perspective they are objects with large proper volume that can be glued on to an asymptotically flat space. At no point is the curvature or energy density required to be large in Planck units, and quantum gravitational effects are, in the conventional effective field theory framework, small everywhere. Since they can have more entropy than a black hole of equal mass, monsters are problematic for certain interpretations of black hole entropy and the AdS/CFT duality. In the second part of the paper we review recent developments in the foundations of statistical mechanics which make use of properties of high-dimensional (Hilbert) spaces. These results primarily depend on kinematics -- essentially, the geometry of Hilbert space -- and are relatively insensitive to dynamics. We discuss how this approach might be adopted as a basis for the statistical mechanics of gravity. Interestingly, monsters and other highly entropic configurations play an important role.

preprint2009arXiv

On the sign problem in dense QCD

We investigate the Euclidean path integral formulation of QCD at finite baryon density and temperature. We show that the partition function Z can be written as a difference between two sums Z+ and Z-, each of which defines a partition function with positive weights. We call the sign problem severe if the ratio Z-/Z+ is nonzero in the infinite volume limit. This occurs only if, and generically always if, the associated free energy densities F+ and F- are equal in this limit. We present strong evidence here that the sign problem is severe at almost all points in the phase diagram, with the exception of special cases like exactly zero chemical potential (ordinary QCD), which requires a particular order of limits. Part of our reasoning is based on the analyticity of free energy densities within their open phase regions. Finally, we describe a Monte Carlo technique to simulate finite-density QCD in regions where Z-/Z+ is small.

preprint2009arXiv

Running of Newton's Constant and Quantum Gravitational Effects

Newton's gravitational constant is shown to be a running coupling constant, much like the familiar running gauge couplings of the Standard Model. This implies that, in models with appropriate particle content, the true Planck scale, i.e. the scale at which quantum gravity effects become important, can have a value different from 10^19 GeV, which would be expected from naive dimensional analysis. Then, two scenarios involving this running effect are presented. The first one is a model which employs huge particle content to realize quantum gravity at the TeV scale in 4 dimensions, thereby solving the hierarchy problem of the Standard Model. Secondly, effects of the running of Newton's constant in grand unified theories are examined and shown to introduce new significant uncertainties in their predictions, but possibly also to provide better gauge coupling unification results in some cases.