Asymptotics of Quantum Relative Entropy From Representation Theoretical Viewpoint

In this paper it was proved that the quantum relative entropy $D(\sigma \| \rho)$ can be asymptotically attained by Kullback Leibler divergences of probabilities given by a certain sequence of POVMs. The sequence of POVMs depends on $\rho$, but is independent of the choice of $\sigma$.Comment: LaTeX2e. 8 pages. The title was changed from "Asymptotic Attainment for Quantum Relative Entropy

Connections and Metrics Respecting Standard Purification

Standard purification interlaces Hermitian and Riemannian metrics on the space of density operators with metrics and connections on the purifying Hilbert-Schmidt space. We discuss connections and metrics which are well adopted to purification, and present a selected set of relations between them. A connection, as well as a metric on state space, can be obtained from a metric on the purification space. We include a condition, with which this correspondence becomes one-to-one. Our methods are borrowed from elementary *-representation and fibre space theory. We lift, as an example, solutions of a von Neumann equation, write down holonomy invariants for cyclic ones, and ``add noise'' to a curve of pure states.Comment: Latex, 27 page

Analogue of cosmological particle creation in an ion trap

We study phonons in a dynamical chain of ions confined by a trap with a time-dependent (axial) potential strength and demonstrate that they behave in the same way as quantum fields in an expanding/contracting universe. Based on this analogy, we present a scheme for the detection of the analogue of cosmological particle creation which should be feasible with present-day technology. In order to test the quantum nature of the particle creation mechanism and to distinguish it from classical effects such as heating, we propose to measure the two-phonon amplitude via the $2^{\rm nd}$ red side-band and to compare it with the one-phonon amplitude ($1^{\rm st}$ red side-band). PACS: 04.62.+v, 98.80.-k, 42.50.Vk, 32.80.Pj.Comment: 4 pages, 2 figure

The Generalized Second Law implies a Quantum Singularity Theorem

The generalized second law can be used to prove a singularity theorem, by generalizing the notion of a trapped surface to quantum situations. Like Penrose's original singularity theorem, it implies that spacetime is null geodesically incomplete inside black holes, and to the past of spatially infinite Friedmann--Robertson--Walker cosmologies. If space is finite instead, the generalized second law requires that there only be a finite amount of entropy producing processes in the past, unless there is a reversal of the arrow of time. In asymptotically flat spacetime, the generalized second law also rules out traversable wormholes, negative masses, and other forms of faster-than-light travel between asymptotic regions, as well as closed timelike curves. Furthermore it is impossible to form baby universes which eventually become independent of the mother universe, or to restart inflation. Since the semiclassical approximation is used only in regions with low curvature, it is argued that the results may hold in full quantum gravity. An introductory section describes the second law and its time-reverse, in ordinary and generalized thermodynamics, using either the fine-grained or the coarse-grained entropy. (The fine-grained version is used in all results except those relating to the arrow of time.) A proof of the coarse-grained ordinary second law is given.Comment: 46 pages, 8 figures. v2: discussion of global hyperbolicity revised (4.1, 5.2), more comments on AdS. v3: major revisions including change of title. v4: similar to published version, but with corrections to plan of paper (1) and definition of global hyperbolicity (3.2). v5: fixed proof of Thm. 1, changed wording of Thm. 3 & proof of Thm. 4, revised Sec. 5.2, new footnote

Time-resolved density correlations as probe of squeezing in toroidal Bose-Einstein condensates

I study the evolution of mean field and linear quantum fluctuations in a toroidal Bose-Einstein condensate, whose interaction strength is quenched from a finite (repulsive) value to zero. The azimuthal equal-time density-density correlation function is calculated and shows temporal oscillations with twice the (final) excitation frequencies after the transition. These oscillations are a direct consequence of positive and negative frequency mixing during non-adiabatic evolution. I will argue that a time-resolved measurement of the equal-time density correlator might be used to calculate the moduli of the Bogoliubov coefficients and thus the amount of squeezing imposed on a mode, i.e., the number of atoms excited out of the condensate.Comment: 18 pages, IOP styl

Emergent Horizons in the Laboratory

The concept of a horizon known from general relativity describes the loss of causal connection and can be applied to non-gravitational scenarios such as out-of-equilibrium condensed-matter systems in the laboratory. This analogy facilitates the identification and theoretical study (e.g., regarding the trans-Planckian problem) and possibly the experimental verification of "exotic" effects known from gravity and cosmology, such as Hawking radiation. Furthermore, it yields a unified description and better understanding of non-equilibrium phenomena in condensed matter systems and their universal features. By means of several examples including general fluid flows, expanding Bose-Einstein condensates, and dynamical quantum phase transitions, the concepts of event, particle, and apparent horizons will be discussed together with the resulting quantum effects.Comment: 7 pages, 4 figure

Geometric observation for the Bures fidelity between two states of a qubit

In this Brief Report, we present a geometric observation for the Bures fidelity between two states of a qubit.Comment: 4 pages, 1 figure, RevTex, Accepted by Phys. Rev.

Signatures of Planck-scale interactions in the cosmic microwave background?

Based on a rather general low-energy effective action (interacting quantum fields in classical curved space-times), we calculate potential signatures of new physics (such as quantum gravity) at ultra-high energies (presumably the Planck scale) in the anisotropies of the cosmic microwave background. These Planck-scale interactions create non-Gaussian contributions, where special emphasis is laid on the three-point function as the most promising observable, which also allows the discrimination between models violating and those obeying Lorentz invariance. PACS: 98.80.Cq, 04.62.+v, 98.70.Vc, 98.80.Qc.Comment: 4 page

Quantum backreaction in dilute Bose-Einstein condensates

For many physical systems which can be approximated by a classical background field plus small (linearized) quantum fluctuations, a fundamental question concerns the correct description of the backreaction of the quantum fluctuations onto the dynamics of the classical background. We investigate this problem for the example of dilute atomic/molecular Bose-Einstein condensates, for which the microscopic dynamical behavior is under control. It turns out that the effective-action technique does not yield the correct result in general and that the knowledge of the pseudo-energy-momentum tensor ${<\hat T_{\mu\nu}>}$ is not sufficient to describe quantum backreaction.Comment: 8 pages of RevTex4; extended discussion with additional sections, to be published in Physical Review

On Structural Parameterizations of Hitting Set: Hitting Paths in Graphs Using 2-SAT

Hitting Set is a classic problem in combinatorial optimization. Its input consists of a set system F over a finite universe U and an integer t; the question is whether there is a set of t elements that intersects every set in F. The Hitting Set problem parameterized by the size of the solution is a well-known W[2]-complete problem in parameterized complexity theory. In this paper we investigate the complexity of Hitting Set under various structural parameterizations of the input. Our starting point is the folklore result that Hitting Set is polynomial-time solvable if there is a tree T on vertex set U such that the sets in F induce connected subtrees of T. We consider the case that there is a treelike graph with vertex set U such that the sets in F induce connected subgraphs; the parameter of the problem is a measure of how treelike the graph is. Our main positive result is an algorithm that, given a graph G with cyclomatic number k, a collection P of simple paths in G, and an integer t, determines in time 2^{5k} (|G| +|P|)^O(1) whether there is a vertex set of size t that hits all paths in P. It is based on a connection to the 2-SAT problem in multiple valued logic. For other parameterizations we derive W[1]-hardness and para-NP-completeness results.Comment: Presented at the 41st International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2015. (The statement of Lemma 4 was corrected in this update.