-
Mathematical Foundations for Joining Only Knowing and Common Knowledge (Extended Version)
Authors:
Marcos Cramer,
Samuele Pollaci,
Bart Bogaerts
Abstract:
Common knowledge and only knowing capture two intuitive and natural notions that have proven to be useful in a variety of settings, for example to reason about coordination or agreement between agents, or to analyse the knowledge of knowledge-based agents. While these two epistemic operators have been extensively studied in isolation, the approaches made to encode their complex interplay failed to…
▽ More
Common knowledge and only knowing capture two intuitive and natural notions that have proven to be useful in a variety of settings, for example to reason about coordination or agreement between agents, or to analyse the knowledge of knowledge-based agents. While these two epistemic operators have been extensively studied in isolation, the approaches made to encode their complex interplay failed to capture some essential properties of only knowing. We propose a novel solution by defining a notion of $μ$-biworld for countable ordinals $μ$, which approximates not only the worlds that an agent deems possible, but also those deemed impossible. This approach allows us to define a multi-agent epistemic logic with common knowledge and only knowing operators, and a three-valued model semantics for it. Moreover, we show that we only really need biworlds of depth at most $ω^2+1$. Based on this observation, we define a Kripke semantics on a canonical Kripke structure and show that this semantics coincides with the model semantics. Finally, we discuss issues arising when combining negative introspection or truthfulness with only knowing and show how positive introspection can be integrated into our logic.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Distributed Autoepistemic Logic: Semantics, Complexity, and Applications to Access Control
Authors:
Marcos Cramer,
Pieter Van Hertum,
Bart Bogaerts,
Marc Denecker
Abstract:
In this paper we define and study a multi-agent extension of autoepistemic logic (AEL) called distributed autoepistemic logic (dAEL). We define the semantics of dAEL using approximation fixpoint theory, an abstract algebraic framework that unifies different knowledge representation formalisms by describing their semantics as fixpoints of semantic operators. We define 2- and 3-valued semantic opera…
▽ More
In this paper we define and study a multi-agent extension of autoepistemic logic (AEL) called distributed autoepistemic logic (dAEL). We define the semantics of dAEL using approximation fixpoint theory, an abstract algebraic framework that unifies different knowledge representation formalisms by describing their semantics as fixpoints of semantic operators. We define 2- and 3-valued semantic operators for dAEL. Using these operators, approximation fixpoint theory allows us to define a class of semantics for dAEL, each based on different intuitions that are well-studied in the context of AEL. We define a mapping from dAEL to AEL and identify the conditions under which the mapping preserves semantics, and furthermore argue that when it does not, the dAEL semantics is more desirable than the AEL-induced semantics since dAEL manages to contain inconsistencies.
The development of dAEL has been motivated by an application in the domain of access control. We explain how dAEL can be fruitfully applied to this domain and discuss how well-suited the different semantics are for the application in access control.
△ Less
Submitted 5 June, 2023;
originally announced June 2023.
-
Speak, Memory: An Archaeology of Books Known to ChatGPT/GPT-4
Authors:
Kent K. Chang,
Mackenzie Cramer,
Sandeep Soni,
David Bamman
Abstract:
In this work, we carry out a data archaeology to infer books that are known to ChatGPT and GPT-4 using a name cloze membership inference query. We find that OpenAI models have memorized a wide collection of copyrighted materials, and that the degree of memorization is tied to the frequency with which passages of those books appear on the web. The ability of these models to memorize an unknown set…
▽ More
In this work, we carry out a data archaeology to infer books that are known to ChatGPT and GPT-4 using a name cloze membership inference query. We find that OpenAI models have memorized a wide collection of copyrighted materials, and that the degree of memorization is tied to the frequency with which passages of those books appear on the web. The ability of these models to memorize an unknown set of books complicates assessments of measurement validity for cultural analytics by contaminating test data; we show that models perform much better on memorized books than on non-memorized books for downstream tasks. We argue that this supports a case for open models whose training data is known.
△ Less
Submitted 20 October, 2023; v1 submitted 28 April, 2023;
originally announced May 2023.
-
Optimal control for Hamiltonian parameter estimation in non-commuting and bipartite quantum dynamics
Authors:
Shushen Qin,
Marcus Cramer,
Christiane P. Koch,
Alessio Serafini
Abstract:
The ability to characterise a Hamiltonian with high precision is crucial for the implementation of quantum technologies. In addition to the well-developed approaches utilising optimal probe states and optimal measurements, the method of optimal control can be used to identify time-dependent pulses applied to the system to achieve higher precision in the estimation of Hamiltonian parameters, especi…
▽ More
The ability to characterise a Hamiltonian with high precision is crucial for the implementation of quantum technologies. In addition to the well-developed approaches utilising optimal probe states and optimal measurements, the method of optimal control can be used to identify time-dependent pulses applied to the system to achieve higher precision in the estimation of Hamiltonian parameters, especially in the presence of noise. Here, we extend optimally controlled estimation schemes for single qubits to non-commuting dynamics as well as two interacting qubits, demonstrating improvements in terms of maximal precision, time-stability, as well as robustness over uncontrolled protocols.
△ Less
Submitted 4 August, 2022; v1 submitted 5 May, 2022;
originally announced May 2022.
-
Technical Report of "Deductive Joint Support for Rational Unrestricted Rebuttal"
Authors:
Marcos Cramer,
Meghna Bhadra
Abstract:
In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebuttal, the attacked conclusion must have been arrived at with a defeasible rule, whereas in unrestricted rebuttal, it may have been arrived at with a strict rule, as long as at least one of the antecedents of this strict r…
▽ More
In ASPIC-style structured argumentation an argument can rebut another argument by attacking its conclusion. Two ways of formalizing rebuttal have been proposed: In restricted rebuttal, the attacked conclusion must have been arrived at with a defeasible rule, whereas in unrestricted rebuttal, it may have been arrived at with a strict rule, as long as at least one of the antecedents of this strict rule was already defeasible. One systematic way of choosing between various possible definitions of a framework for structured argumentation is to study what rationality postulates are satisfied by which definition, for example whether the closure postulate holds, i.e. whether the accepted conclusions are closed under strict rules. While having some benefits, the proposal to use unrestricted rebuttal faces the problem that the closure postulate only holds for the grounded semantics but fails when other argumentation semantics are applied, whereas with restricted rebuttal the closure postulate always holds. In this paper we propose that ASPIC-style argumentation can benefit from keeping track not only of the attack relation between arguments, but also the relation of deductive joint support that holds between a set of arguments and an argument that was constructed from that set using a strict rule. By taking this deductive joint support relation into account while determining the extensions, the closure postulate holds with unrestricted rebuttal under all admissibility-based semantics. We define the semantics of deductive joint support through the flattening method.
△ Less
Submitted 9 July, 2020; v1 submitted 7 May, 2020;
originally announced May 2020.
-
A Query-Driven Decision Procedure for Distributed Autoepistemic Logic with Inductive Definitions
Authors:
Diego Agustín Ambrossio,
Marcos Cramer
Abstract:
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control. We define a query-driven decision procedure for dAEL(ID) that is implemented in the knowledge-base system IDP. The decision procedure is designed in such a way that it allows one to determine access rights while avoiding redundant information flow between…
▽ More
Distributed Autoepistemic Logic with Inductive Definitions (dAEL(ID)) is a recently proposed non-monotonic logic for says-based access control. We define a query-driven decision procedure for dAEL(ID) that is implemented in the knowledge-base system IDP. The decision procedure is designed in such a way that it allows one to determine access rights while avoiding redundant information flow between principals in order to enhance security and reduce privacy concerns. Given that the decision procedure has in the worst case an exponential runtime, it is to be regarded as a proof of concept that increases our understanding of dAEL(ID), rather than being deployed for an access control system.
△ Less
Submitted 9 October, 2019;
originally announced October 2019.
-
Technical report of "The Knowledge Base Paradigm Applied to Delegation Revocation"
Authors:
Marcos Cramer,
Zohreh Baniasadi,
Pieter Van Hertum
Abstract:
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains will form. There are different ways to treat delegation chains when revoking rights, which give rise to different revocation schemes. In this paper, we investigate the problem of delegation revocation from the perspective of the knowledge base paradigm. A knowled…
▽ More
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, delegation chains will form. There are different ways to treat delegation chains when revoking rights, which give rise to different revocation schemes. In this paper, we investigate the problem of delegation revocation from the perspective of the knowledge base paradigm. A knowledge base is a formal specification of domain knowledge in a rich formal language. Multiple forms of inference can be applied to this formal specification in order to solve various problems and tasks that arise in the domain. In other words, the paradigm proposes a strict separation of concerns between information and problem solving. The knowledge base that we use in this paper specifies the effects of the various revocation schemes. By applying different inferences to this knowledge base, we can solve the following tasks: to determine the state of the system after a certain delegation or revocation; to interactively simulate the progression of the system state through time; to determine whether a user has a certain permission or administrative right given a certain state of the system; to verify invariants of the system; and to determine which revocation schemes give rise to a certain specified set of desired outcomes.
△ Less
Submitted 29 August, 2019;
originally announced August 2019.
-
SCF2 -- an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report
Authors:
Marcos Cramer,
Leendert van der Torre
Abstract:
In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: Which semantics corresponds well to what humans consider a rational judgment on the acceptability of arguments? There are two systematic ways to approach this research question: A normative perspective is provided by the…
▽ More
In abstract argumentation theory, many argumentation semantics have been proposed for evaluating argumentation frameworks. This paper is based on the following research question: Which semantics corresponds well to what humans consider a rational judgment on the acceptability of arguments? There are two systematic ways to approach this research question: A normative perspective is provided by the principle-based approach, in which semantics are evaluated based on their satisfaction of various normatively desirable principles. A descriptive perspective is provided by the empirical approach, in which cognitive studies are conducted to determine which semantics best predicts human judgments about arguments. In this paper, we combine both approaches to motivate a new argumentation semantics called SCF2. For this purpose, we introduce and motivate two new principles and show that no semantics from the literature satisfies both of them. We define SCF2 and prove that it satisfies both new principles. Furthermore, we discuss findings of a recent empirical cognitive study that provide additional support to SCF2.
△ Less
Submitted 22 August, 2019;
originally announced August 2019.
-
Technical report of "Empirical Study on Human Evaluation of Complex Argumentation Frameworks"
Authors:
Marcos Cramer,
Mathieu Guillaume
Abstract:
In abstract argumentation, multiple argumentation semantics have been proposed that allow to select sets of jointly acceptable arguments from a given argumentation framework, i.e. based only on the attack relation between arguments. The existence of multiple argumentation semantics raises the question which of these semantics predicts best how humans evaluate arguments. Previous empirical cognitiv…
▽ More
In abstract argumentation, multiple argumentation semantics have been proposed that allow to select sets of jointly acceptable arguments from a given argumentation framework, i.e. based only on the attack relation between arguments. The existence of multiple argumentation semantics raises the question which of these semantics predicts best how humans evaluate arguments. Previous empirical cognitive studies that have tested how humans evaluate sets of arguments depending on the attack relation between them have been limited to a small set of very simple argumentation frameworks, so that some semantics studied in the literature could not be meaningfully distinguished by these studies. In this paper we report on an empirical cognitive study that overcomes these limitations by taking into consideration twelve argumentation frameworks of three to eight arguments each. These argumentation frameworks were mostly more complex than the argumentation frameworks considered in previous studies. All twelve argumentation framework were systematically instantiated with natural language arguments based on a certain fictional scenario, and participants were shown both the natural language arguments and a graphical depiction of the attack relation between them. Our data shows that grounded and CF2 semantics were the best predictors of human argument evaluation. A detailed analysis revealed that part of the participants chose a cognitively simpler strategy that is predicted very well by grounded semantics, while another part of the participants chose a cognitively more demanding strategy that is mostly predicted well by CF2 semantics.
△ Less
Submitted 27 February, 2019;
originally announced February 2019.
-
Stochastic modeling of phenotypic switching and chemoresistance in cancer cell populations
Authors:
Niraj Kumar,
Gwendolyn M. Cramer,
Seyed Alireza Zamani Dahaj,
Bala Sundaram,
Jonathan P. Celli,
Rahul V. Kulkarni
Abstract:
Phenotypic heterogeneity in cancer cells is widely observed and is often linked to drug resistance. In several cases, such heterogeneity in drug sensitivity of tumors is driven by stochastic and reversible acquisition of a drug tolerant phenotype by individual cells even in an isogenic population. Accumulating evidence further suggests that cell-fate transitions such as the epithelial to mesenchym…
▽ More
Phenotypic heterogeneity in cancer cells is widely observed and is often linked to drug resistance. In several cases, such heterogeneity in drug sensitivity of tumors is driven by stochastic and reversible acquisition of a drug tolerant phenotype by individual cells even in an isogenic population. Accumulating evidence further suggests that cell-fate transitions such as the epithelial to mesenchymal transition (EMT) are associated with drug resistance. In this study, we analyze stochastic models of phenotypic switching to provide a framework for analyzing cell-fate transitions such as EMT as a source of phenotypic variability in drug sensitivity. Motivated by our cell-culture based experimental observations connecting phenotypic switching in EMT and drug resistance, we analyze a coarse-grained model of phenotypic switching between two states in the presence of cytotoxic stress from chemotherapy. We derive analytical results for time-dependent probability distributions that provide insights into the rates of phenotypic switching and characterize initial phenotypic heterogeneity of cancer cells. The results obtained can also shed light on fundamental questions relating to adaptation and selection scenarios in tumor response to cytotoxic therapy.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Petz recovery versus matrix reconstruction
Authors:
Milan Holzäpfel,
Marcus Cramer,
Nilanjana Datta,
Martin B. Plenio
Abstract:
The reconstruction of the state of a multipartite quantum mechanical system represents a fundamental task in quantum information science. At its most basic, it concerns a state of a bipartite quantum system whose subsystems are subjected to local operations. We compare two different methods for obtaining the original state from the state resulting from the action of these operations. The first met…
▽ More
The reconstruction of the state of a multipartite quantum mechanical system represents a fundamental task in quantum information science. At its most basic, it concerns a state of a bipartite quantum system whose subsystems are subjected to local operations. We compare two different methods for obtaining the original state from the state resulting from the action of these operations. The first method involves quantum operations called Petz recovery maps, acting locally on the two subsystems. The second method is called matrix (or state) reconstruction and involves local, linear maps which are not necessarily completely positive. Moreover, we compare the quantities on which the maps employed in the two methods depend. We show that any state which admits Petz recovery also admits state reconstruction. However, the latter is successful for a strictly larger set of states. We also compare these methods in the context of a finite spin chain. Here, the state of a finite spin chain is reconstructed from the reduced states of a few neighbouring spins. In this setting, state reconstruction is the same as the MPO (i.e. matrix product operator) reconstruction proposed by Baumgratz et al. in [Phys. Rev. Lett. 111, 020401 (2013)]. Finally, we generalize both these methods so that they employ long-range measurements instead of relying solely on short-range correlations embodied in such local reduced states. Long-range measurements enable the reconstruction of states which cannot be reconstructed from measurements of local few-body observables alone and hereby we improve existing methods for quantum state tomography of quantum many-body systems.
△ Less
Submitted 13 September, 2017;
originally announced September 2017.
-
Multiparticle entanglement criteria for nonsymmetric collective variances
Authors:
Oliver Marty,
Marcus Cramer,
Giuseppe Vitagliano,
Geza Toth,
Martin B. Plenio
Abstract:
We introduce a general scheme to detect various multiparticle entanglement structures from global non-permutationally invariant observables. In particular, we derive bounds on the variance of non-permutationally invariant and collective operators for the verification of $k$-party entanglement. For a family of observables related to the spin structure factor, we give quantitative bounds on entangle…
▽ More
We introduce a general scheme to detect various multiparticle entanglement structures from global non-permutationally invariant observables. In particular, we derive bounds on the variance of non-permutationally invariant and collective operators for the verification of $k$-party entanglement. For a family of observables related to the spin structure factor, we give quantitative bounds on entanglement that are independent of the total number of particles. We introduce highly non-symmetric states with genuine multipartite entanglement that is verifiable with the presented technique and discuss how they can be prepared with trapped ions exploiting the high degree of control in these systems. As a special case, our framework provides an alternative approach to obtain a tight relaxation of the entanglement criterion by Sø rensen and Mø lmer [Phys. Rev. Lett. 86, 4431 (2001)] that is free from technical assumptions and allows to calculate the bounds with an improved scaling in the detectable depth.
△ Less
Submitted 23 August, 2017;
originally announced August 2017.
-
Efficient tomography of a quantum many-body system
Authors:
B. P. Lanyon,
C. Maier,
M. Holzäpfel,
T. Baumgratz,
C. Hempel,
P. Jurcevic,
I. Dhand,
A. S. Buyskikh,
A. J. Daley,
M. Cramer,
M. B. Plenio,
R. Blatt,
C. F. Roos
Abstract:
Quantum state tomography (QST) is the gold standard technique for obtaining an estimate for the state of small quantum systems in the laboratory. Its application to systems with more than a few constituents (e.g. particles) soon becomes impractical as the effort required grows exponentially in the number of constituents. Developing more efficient techniques is particularly pressing as precisely-co…
▽ More
Quantum state tomography (QST) is the gold standard technique for obtaining an estimate for the state of small quantum systems in the laboratory. Its application to systems with more than a few constituents (e.g. particles) soon becomes impractical as the effort required grows exponentially in the number of constituents. Developing more efficient techniques is particularly pressing as precisely-controllable quantum systems that are well beyond the reach of QST are emerging in laboratories. Motivated by this, there is a considerable ongoing effort to develop new characterisation tools for quantum many-body systems. Here we demonstrate Matrix Product State (MPS) tomography, which is theoretically proven to allow the states of a broad class of quantum systems to be accurately estimated with an effort that increases efficiently with constituent number. We first prove that this broad class includes the out-of-equilbrium states produced by 1D systems with finite-range interactions, up to any fixed point in time. We then use the technique to reconstruct the dynamical state of a trapped-ion quantum simulator comprising up to 14 entangled spins (qubits): a size far beyond the reach of QST. Our results reveal the dynamical growth of entanglement and description complexity as correlations spread out during a quench: a necessary condition for future beyond-classical performance. MPS tomography should find widespread use to study large quantum many-body systems and to benchmark and verify quantum simulators and computers.
△ Less
Submitted 23 December, 2016;
originally announced December 2016.
-
Thermalization and Return to Equilibrium on Finite Quantum Lattice Systems
Authors:
Terry Farrelly,
Fernando G. S. L. Brandao,
Marcus Cramer
Abstract:
Thermal states are the bedrock of statistical physics. Nevertheless, when and how they actually arise in closed quantum systems is not fully understood. We consider this question for systems with local Hamiltonians on finite quantum lattices. In a first step, we show that states with exponentially decaying correlations equilibrate after a quantum quench. Then we show that the equilibrium state is…
▽ More
Thermal states are the bedrock of statistical physics. Nevertheless, when and how they actually arise in closed quantum systems is not fully understood. We consider this question for systems with local Hamiltonians on finite quantum lattices. In a first step, we show that states with exponentially decaying correlations equilibrate after a quantum quench. Then we show that the equilibrium state is locally equivalent to a thermal state, provided that the free energy of the equilibrium state is sufficiently small and the thermal state has exponentially decaying correlations. As an application, we look at a related important question: When are thermal states stable against noise? In other words, if we locally disturb a closed quantum system in a thermal state, will it return to thermal equilibrium? We rigorously show that this occurs when the correlations in the thermal state are exponentially decaying. All our results come with finite-size bounds, which are crucial for the growing field of quantum thermodynamics and other physical applications.
△ Less
Submitted 21 June, 2017; v1 submitted 5 October, 2016;
originally announced October 2016.
-
Necessity of Eigenstate Thermalization
Authors:
Giacomo De Palma,
Alessio Serafini,
Vittorio Giovannetti,
Marcus Cramer
Abstract:
Under the Eigenstate Thermalization Hypothesis (ETH), quantum-quenched systems equilibrate towards canonical, thermal ensembles. While at first glance the ETH might seem a very strong hypothesis, we show that it is indeed not only sufficient but also necessary for thermalization. More specifically, we consider systems coupled to baths with well-defined macroscopic temperature and show that wheneve…
▽ More
Under the Eigenstate Thermalization Hypothesis (ETH), quantum-quenched systems equilibrate towards canonical, thermal ensembles. While at first glance the ETH might seem a very strong hypothesis, we show that it is indeed not only sufficient but also necessary for thermalization. More specifically, we consider systems coupled to baths with well-defined macroscopic temperature and show that whenever all product states thermalize then the ETH must hold. Our result definitively settles the question of determining whether a quantum system has a thermal behaviour, reducing it to checking whether its Hamiltonian satisfies the ETH.
△ Less
Submitted 2 February, 2016; v1 submitted 24 June, 2015;
originally announced June 2015.
-
Practical Entanglement Estimation for Spin-System Quantum Simulators
Authors:
O. Marty,
M. Cramer,
M. B. Plenio
Abstract:
We present practical methods to measure entanglement for quantum simulators that can be realized with trapped ions, cold atoms, and superconducting qubits. Focussing on long- and short-range Ising-type Hamiltonians, we introduce schemes that are applicable under realistic experimental conditions including mixedness due to, e.g., noise or temperature. In particular, we identify a single observable…
▽ More
We present practical methods to measure entanglement for quantum simulators that can be realized with trapped ions, cold atoms, and superconducting qubits. Focussing on long- and short-range Ising-type Hamiltonians, we introduce schemes that are applicable under realistic experimental conditions including mixedness due to, e.g., noise or temperature. In particular, we identify a single observable whose expectation value serves as a lower bound to entanglement and which may be obtained by a simple quantum circuit. As such circuits are not (yet) available for every platform, we investigate the performance of routinely measured observables as quantitative entanglement witnesses. Possible applications include experimental studies of entanglement scaling in critical systems and the reliable benchmarking of quantum simulators.
△ Less
Submitted 14 April, 2015;
originally announced April 2015.
-
Simulating Bosonic Baths with Error Bars
Authors:
Mischa P. Woods,
M. Cramer,
M. B. Plenio
Abstract:
We derive rigorous truncation-error bounds for the spin-boson model and its generalizations to arbitrary quantum systems interacting with bosonic baths. For the numerical simulation of such baths the truncation of both, the number of modes and the local Hilbert-space dimensions is necessary. We derive super-exponential Lieb--Robinson-type bounds on the error when restricting the bath to finitely-m…
▽ More
We derive rigorous truncation-error bounds for the spin-boson model and its generalizations to arbitrary quantum systems interacting with bosonic baths. For the numerical simulation of such baths the truncation of both, the number of modes and the local Hilbert-space dimensions is necessary. We derive super-exponential Lieb--Robinson-type bounds on the error when restricting the bath to finitely-many modes and show how the error introduced by truncating the local Hilbert spaces may be efficiently monitored numerically. In this way we give error bounds for approximating the infinite system by a finite-dimensional one. As a consequence, numerical simulations such as the time-evolving density with orthogonal polynomials algorithm (TEDOPA) now allow for the fully certified treatment of the system-environment interaction.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
Equivalence of Statistical Mechanical Ensembles for Non-Critical Quantum Systems
Authors:
Fernando G. S. L. Brandao,
Marcus Cramer
Abstract:
We consider the problem of whether the canonical and microcanonical ensembles are locally equivalent for short-ranged quantum Hamiltonians of $N$ spins arranged on a $d$-dimensional lattices. For any temperature for which the system has a finite correlation length, we prove that the canonical and microcanonical state are approximately equal on regions containing up to $O(N^{1/(d+1)})$ spins. The p…
▽ More
We consider the problem of whether the canonical and microcanonical ensembles are locally equivalent for short-ranged quantum Hamiltonians of $N$ spins arranged on a $d$-dimensional lattices. For any temperature for which the system has a finite correlation length, we prove that the canonical and microcanonical state are approximately equal on regions containing up to $O(N^{1/(d+1)})$ spins. The proof rests on a variant of the Berry--Esseen theorem for quantum lattice systems and ideas from quantum information theory.
△ Less
Submitted 11 February, 2015;
originally announced February 2015.
-
Scalable reconstruction of unitary processes and Hamiltonians
Authors:
M. Holzäpfel,
T. Baumgratz,
M. Cramer,
M. B. Plenio
Abstract:
Based on recently introduced efficient quantum state tomography schemes, we propose a scalable method for the tomography of unitary processes and the reconstruction of one-dimensional local Hamiltonians. As opposed to the exponential scaling with the number of subsystems of standard quantum process tomography, the method relies only on measurements of linearly many local observables and either (a)…
▽ More
Based on recently introduced efficient quantum state tomography schemes, we propose a scalable method for the tomography of unitary processes and the reconstruction of one-dimensional local Hamiltonians. As opposed to the exponential scaling with the number of subsystems of standard quantum process tomography, the method relies only on measurements of linearly many local observables and either (a) the ability to prepare eigenstates of locally informationally complete operators or (b) access to an ancilla of the same size as the to-be-characterized system and the ability to prepare a maximally entangled state on the combined system. As such, the method requires at most linearly many states to be prepared and linearly many observables to be measured. The quality of the reconstruction can be quantified with the same experimental resources that are required to obtain the reconstruction in the first place. Our numerical simulations of several quantum circuits and local Hamiltonians suggest a polynomial scaling of the total number of measurements and post-processing resources.
△ Less
Submitted 29 April, 2015; v1 submitted 24 November, 2014;
originally announced November 2014.
-
Entanglement area law from specific heat capacity
Authors:
Fernando G. S. L. Brandao,
Marcus Cramer
Abstract:
We study the scaling of entanglement in low-energy states of quantum many-body models on lattices of arbitrary dimensions. We allow for unbounded Hamiltonians such that systems with bosonic degrees of freedom are included. We show that if at low enough temperatures the specific heat capacity of the model decays exponentially with inverse temperature, the entanglement in every low-energy state sati…
▽ More
We study the scaling of entanglement in low-energy states of quantum many-body models on lattices of arbitrary dimensions. We allow for unbounded Hamiltonians such that systems with bosonic degrees of freedom are included. We show that if at low enough temperatures the specific heat capacity of the model decays exponentially with inverse temperature, the entanglement in every low-energy state satisfies an area law (with a logarithmic correction). This behaviour of the heat capacity is typically observed in gapped systems. Assuming merely that the low-temperature specific heat decays polynomially with temperature, we find a subvolume scaling of entanglement. Our results give experimentally verifiable conditions for area laws, show that they are a generic property of low-energy states of matter, and, to the best of our knowledge, constitute the first proof of an area law for unbounded Hamiltonians beyond those that are integrable.
△ Less
Submitted 20 August, 2015; v1 submitted 21 September, 2014;
originally announced September 2014.
-
Modelling Delegation and Revocation Schemes in IDP
Authors:
Marcos Cramer,
Pieter Van Hertum,
Diego Agustin Ambrossio,
Marc Denecker
Abstract:
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different ways to treat these delegation chains when revoking rights, which give rise to different revocation schemes. In this paper, we show how IDP - a knowledge base system that integrates technology from ASP, SAT and CP - can b…
▽ More
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different ways to treat these delegation chains when revoking rights, which give rise to different revocation schemes. In this paper, we show how IDP - a knowledge base system that integrates technology from ASP, SAT and CP - can be used to efficiently implement executable revocation schemes for an ownership-based access control system based on a declarative specification of their properties.
△ Less
Submitted 7 May, 2014;
originally announced May 2014.
-
Extracting entanglement from identical particles
Authors:
N. Killoran,
M. Cramer,
M. B. Plenio
Abstract:
Identical particles and entanglement are both fundamental components of quantum mechanics. However, when identical particles are condensed in a single spatial mode, the standard notions of entanglement, based on clearly identifiable subsystems, break down. This has led many to conclude that such systems have limited value for quantum information tasks, compared to distinguishable particle systems.…
▽ More
Identical particles and entanglement are both fundamental components of quantum mechanics. However, when identical particles are condensed in a single spatial mode, the standard notions of entanglement, based on clearly identifiable subsystems, break down. This has led many to conclude that such systems have limited value for quantum information tasks, compared to distinguishable particle systems. To the contrary, we show that any entanglement formally appearing amongst the identical particles, including entanglement due purely to symmetrization, can be extracted into an entangled state of independent modes, which can then be applied to any task. In fact, the entanglement of the mode system is in one-to-one correspondence with the entanglement between the inaccessible identical particles. This settles the long-standing debate about the resource capabilities of such states, in particular spin-squeezed states of Bose-Einstein condensates, while also revealing a new perspective on how and when entanglement is generated in passive optical networks. Our results thus reveal new fundamental connections between entanglement, squeezing, and indistinguishability.
△ Less
Submitted 22 April, 2014; v1 submitted 16 December, 2013;
originally announced December 2013.
-
Quantifying Coherence
Authors:
T. Baumgratz,
M. Cramer,
M. B. Plenio
Abstract:
We introduce a rigorous framework for the quantification of coherence and identify intuitive and easily computable measures of coherence. We achieve this by adopting the viewpoint of coherence as a physical resource. By determining defining conditions for measures of coherence we identify classes of functionals that satisfy these conditions and other, at first glance natural quantities, that do no…
▽ More
We introduce a rigorous framework for the quantification of coherence and identify intuitive and easily computable measures of coherence. We achieve this by adopting the viewpoint of coherence as a physical resource. By determining defining conditions for measures of coherence we identify classes of functionals that satisfy these conditions and other, at first glance natural quantities, that do not qualify as coherence measure. We conclude with an outline of the questions that remain to be answered to complete the theory of coherence as a resource.
△ Less
Submitted 6 October, 2014; v1 submitted 1 November, 2013;
originally announced November 2013.
-
Quantifying entanglement with scattering experiments
Authors:
O. Marty,
M. Epping,
H. Kampermann,
D. Bruß,
M. B. Plenio,
M. Cramer
Abstract:
We show how the entanglement contained in states of spins arranged on a lattice may be quantified with observables arising in scattering experiments. We focus on the partial differential cross-section obtained in neutron scattering from magnetic materials but our results are sufficiently general such that they may also be applied to, e.g., optical Bragg scattering from ultracold atoms in optical l…
▽ More
We show how the entanglement contained in states of spins arranged on a lattice may be quantified with observables arising in scattering experiments. We focus on the partial differential cross-section obtained in neutron scattering from magnetic materials but our results are sufficiently general such that they may also be applied to, e.g., optical Bragg scattering from ultracold atoms in optical lattices or from ion chains. We discuss resonating valence bond states and ground and thermal states of experimentally relevant models--such as Heisenberg, Majumdar-Ghosh, and XY model--in different geometries and with different spin numbers. As a by-product, we find that for the one-dimensional XY model in a transverse field such measurements reveal factorization and the quantum phase transition at zero temperature.
△ Less
Submitted 3 October, 2013;
originally announced October 2013.
-
A Scalable Maximum Likelihood Method for Quantum State Tomography
Authors:
Tillmann Baumgratz,
Alexander Nüßeler,
Marcus Cramer,
Martin B. Plenio
Abstract:
The principle of maximum likelihood reconstruction has proven to yield satisfactory results in the context of quantum state tomography for many-body systems of moderate system sizes. Until recently, however, quantum state tomography has been considered to be infeasible for systems consisting of a large number of subsystems due to the exponential growth of the Hilbert space dimension with the numbe…
▽ More
The principle of maximum likelihood reconstruction has proven to yield satisfactory results in the context of quantum state tomography for many-body systems of moderate system sizes. Until recently, however, quantum state tomography has been considered to be infeasible for systems consisting of a large number of subsystems due to the exponential growth of the Hilbert space dimension with the number of constituents. Several reconstruction schemes have been proposed since then to overcome the two main obstacles in quantum many-body tomography: experiment time and postprocessing resources. Here we discuss one strategy to address these limitations for the maximum likelihood principle by adopting a particular state representation to merge a well established reconstruction algorithm maximizing the likelihood with techniques known from quantum many-body theory.
△ Less
Submitted 28 January, 2014; v1 submitted 11 August, 2013;
originally announced August 2013.
-
Spatial entanglement of bosons in optical lattices
Authors:
M. Cramer,
A. Bernard,
N. Fabbri,
L. Fallani,
C. Fort,
S. Rosi,
F. Caruso,
M. Inguscio,
M. B. Plenio
Abstract:
Entanglement is a fundamental resource for quantum information processing, occurring naturally in many-body systems at low temperatures. The presence of entanglement and, in particular, its scaling with the size of system partitions underlies the complexity of quantum many-body states. The quantitative estimation of entanglement in many-body systems represents a major challenge as it requires eith…
▽ More
Entanglement is a fundamental resource for quantum information processing, occurring naturally in many-body systems at low temperatures. The presence of entanglement and, in particular, its scaling with the size of system partitions underlies the complexity of quantum many-body states. The quantitative estimation of entanglement in many-body systems represents a major challenge as it requires either full state tomography, scaling exponentially in the system size, or the assumption of unverified system characteristics such as its Hamiltonian or temperature. Here we adopt recently developed approaches for the determination of rigorous lower entanglement bounds from readily accessible measurements and apply them in an experiment of ultracold interacting bosons in optical lattices of approximately $10^5$ sites. We then study the behaviour of spatial entanglement between the sites when crossing the superfluid-Mott insulator transition and when varying temperature. This constitutes the first rigorous experimental large-scale entanglement quantification in a scalable quantum simulator.
△ Less
Submitted 20 August, 2013; v1 submitted 20 February, 2013;
originally announced February 2013.
-
Scalable reconstruction of density matrices
Authors:
Tillmann Baumgratz,
David Gross,
Marcus Cramer,
Martin B. Plenio
Abstract:
Recent contributions in the field of quantum state tomography have shown that, despite the exponential growth of Hilbert space with the number of subsystems, tomography of one-dimensional quantum systems may still be performed efficiently by tailored reconstruction schemes. Here, we discuss a scalable method to reconstruct mixed states that are well approximated by matrix product operators. The re…
▽ More
Recent contributions in the field of quantum state tomography have shown that, despite the exponential growth of Hilbert space with the number of subsystems, tomography of one-dimensional quantum systems may still be performed efficiently by tailored reconstruction schemes. Here, we discuss a scalable method to reconstruct mixed states that are well approximated by matrix product operators. The reconstruction scheme only requires local information about the state, giving rise to a reconstruction technique that is scalable in the system size. It is based on a constructive proof that generic matrix product operators are fully determined by their local reductions. We discuss applications of this scheme for simulated data and experimental data obtained in an ion trap experiment.
△ Less
Submitted 18 July, 2013; v1 submitted 2 July, 2012;
originally announced July 2012.
-
Thermalization under randomized local Hamiltonians
Authors:
M. Cramer
Abstract:
Recently, there have been significant new insights concerning conditions under which closed systems equilibrate locally. The question if subsystems thermalize---if the equilibrium state is independent of the initial state---is however much harder to answer in general. Here, we consider a setting in which thermalization can be addressed: A quantum quench under a Hamiltonian whose spectrum is fixed…
▽ More
Recently, there have been significant new insights concerning conditions under which closed systems equilibrate locally. The question if subsystems thermalize---if the equilibrium state is independent of the initial state---is however much harder to answer in general. Here, we consider a setting in which thermalization can be addressed: A quantum quench under a Hamiltonian whose spectrum is fixed and basis is drawn from the Haar measure. If the Fourier transform of the spectral density is small, almost all bases lead to local equilibration to the thermal state with infinite temperature. This allows us to show that, under almost all Hamiltonians that are unitarily equivalent to a local Hamiltonian, it takes an algebraically small time for subsystems to thermalize.
△ Less
Submitted 1 October, 2012; v1 submitted 22 December, 2011;
originally announced December 2011.
-
Efficient quantum state tomography
Authors:
Marcus Cramer,
Martin B. Plenio,
Steven T. Flammia,
David Gross,
Stephen D. Bartlett,
Rolando Somma,
Olivier Landon-Cardinal,
Yi-Kai Liu,
David Poulin
Abstract:
Quantum state tomography, the ability to deduce the state of a quantum system from measured data, is the gold standard for verification and benchmarking of quantum devices. It has been realized in systems with few components, but for larger systems it becomes infeasible because the number of quantum measurements and the amount of computation required to process them grows exponentially in the syst…
▽ More
Quantum state tomography, the ability to deduce the state of a quantum system from measured data, is the gold standard for verification and benchmarking of quantum devices. It has been realized in systems with few components, but for larger systems it becomes infeasible because the number of quantum measurements and the amount of computation required to process them grows exponentially in the system size. Here we show that we can do exponentially better than direct state tomography for a wide range of quantum states, in particular those that are well approximated by a matrix product state ansatz. We present two schemes for tomography in 1-D quantum systems and touch on generalizations. One scheme requires unitary operations on a constant number of subsystems, while the other requires only local measurements together with more elaborate post-processing. Both schemes rely only on a linear number of experimental operations and classical postprocessing that is polynomial in the system size. A further strength of the methods is that the accuracy of the reconstructed states can be rigorously certified without any a priori assumptions.
△ Less
Submitted 23 January, 2011;
originally announced January 2011.
-
Interaction dependent temperature effects in Bose-Fermi mixtures in optical lattices
Authors:
M. Cramer
Abstract:
We present a quantitative finite temperature analysis of a recent experiment with Bose-Fermi mixtures in optical lattices, in which the dependence of the coherence of bosons on the inter-species interaction was analyzed. Our theory reproduces the characteristics of this dependence and suggests that intrinsic temperature effects play an important role in these systems. Namely, under the assumption…
▽ More
We present a quantitative finite temperature analysis of a recent experiment with Bose-Fermi mixtures in optical lattices, in which the dependence of the coherence of bosons on the inter-species interaction was analyzed. Our theory reproduces the characteristics of this dependence and suggests that intrinsic temperature effects play an important role in these systems. Namely, under the assumption that the ramping up of the optical lattice is an isentropic process, adiabatic temperature changes of the mixture occur that depend on the interaction between bosons and fermions. Matching the entropy of two regimes---no lattice on the one hand and deep lattices on the other---allows us to compute the temperature in the lattice and the visibility of the quasi-momentum distribution of the bosonic atoms, which we compare to the experiment. We briefly comment on the remaining discrepancy between theory and experiment, speculating that it may in part be attributed to the dependence of the Bose-Fermi scattering length on the confinement of the atoms.
△ Less
Submitted 23 September, 2010;
originally announced September 2010.
-
Measuring entanglement in condensed matter systems
Authors:
M. Cramer,
M. B. Plenio,
H. Wunderlich
Abstract:
We show how entanglement may be quantified in spin and cold atom many-body systems using standard experimental techniques only. The scheme requires no assumptions on the state in the laboratory and a lower bound to the entanglement can be read off directly from the scattering cross section of Neutrons deflected from solid state samples or the time-of-flight distribution of cold atoms in optical la…
▽ More
We show how entanglement may be quantified in spin and cold atom many-body systems using standard experimental techniques only. The scheme requires no assumptions on the state in the laboratory and a lower bound to the entanglement can be read off directly from the scattering cross section of Neutrons deflected from solid state samples or the time-of-flight distribution of cold atoms in optical lattices, respectively. This removes a major obstacle which so far has prevented the direct and quantitative experimental study of genuine quantum correlations in many-body systems: The need for a full characterization of the state to quantify the entanglement contained in it. Instead, the scheme presented here relies solely on global measurements that are routinely performed and is versatile enough to accommodate systems and measurements different from the ones we exemplify in this work.
△ Less
Submitted 15 September, 2010;
originally announced September 2010.
-
Reconstructing quantum states efficiently
Authors:
M. Cramer,
M. B. Plenio
Abstract:
Quantum state tomography, the ability to deduce the density matrix of a quantum system from measured data, is of fundamental importance for the verification of present and future quantum devices. It has been realized in systems with few components but for larger systems it becomes rapidly infeasible because the number of quantum measurements and computational resources required to process them g…
▽ More
Quantum state tomography, the ability to deduce the density matrix of a quantum system from measured data, is of fundamental importance for the verification of present and future quantum devices. It has been realized in systems with few components but for larger systems it becomes rapidly infeasible because the number of quantum measurements and computational resources required to process them grow exponentially in the system size. Here we show that we can gain an exponential advantage over direct state tomography for quantum states typically realized in nature. Based on singular value thresholding and matrix product state methods we introduce a state reconstruction scheme that relies only on a linear number of measurements. The computational resources for the postprocessing required to reconstruct the state with high fidelity from these measurements is polynomial in the system size.
△ Less
Submitted 21 February, 2010; v1 submitted 19 February, 2010;
originally announced February 2010.
-
A quantum central limit theorem for non-equilibrium systems: Exact local relaxation of correlated states
Authors:
M. Cramer,
J. Eisert
Abstract:
We prove that quantum many-body systems on a one-dimensional lattice locally relax to Gaussian states under non-equilibrium dynamics generated by a bosonic quadratic Hamiltonian. This is true for a large class of initial states - pure or mixed - which have to satisfy merely weak conditions concerning the decay of correlations. The considered setting is a proven instance of a situation where dynami…
▽ More
We prove that quantum many-body systems on a one-dimensional lattice locally relax to Gaussian states under non-equilibrium dynamics generated by a bosonic quadratic Hamiltonian. This is true for a large class of initial states - pure or mixed - which have to satisfy merely weak conditions concerning the decay of correlations. The considered setting is a proven instance of a situation where dynamically evolving closed quantum systems locally appear as if they had truly relaxed, to maximum entropy states for fixed second moments. This furthers the understanding of relaxation in suddenly quenched quantum many-body systems. The proof features a non-commutative central limit theorem for non-i.i.d. random variables, showing convergence to Gaussian characteristic functions, giving rise to trace-norm closeness. We briefly relate our findings to ideas of typicality and concentration of measure.
△ Less
Submitted 31 May, 2010; v1 submitted 12 November, 2009;
originally announced November 2009.
-
Probing local relaxation of cold atoms in optical superlattices
Authors:
A. Flesch,
M. Cramer,
I. P. McCulloch,
U. Schollwoeck,
J. Eisert
Abstract:
In the study of relaxation processes in coherent non-equilibrium dynamics of quenched quantum systems, ultracold atoms in optical superlattices with periodicity two provide a very fruitful test ground. In this work, we consider the dynamics of a particular, experimentally accessible initial state prepared in a superlattice structure evolving under a Bose-Hubbard Hamiltonian in the entire range o…
▽ More
In the study of relaxation processes in coherent non-equilibrium dynamics of quenched quantum systems, ultracold atoms in optical superlattices with periodicity two provide a very fruitful test ground. In this work, we consider the dynamics of a particular, experimentally accessible initial state prepared in a superlattice structure evolving under a Bose-Hubbard Hamiltonian in the entire range of interaction strengths, further investigating the issues raised in Ref. [Phys. Rev. Lett. 101, 063001 (2008)]. We investigate the relaxation dynamics analytically in the non interacting and hard core bosonic limits, deriving explicit expressions for the dynamics of certain correlation functions, and numerically for finite interaction strengths using the time-dependent density-matrix renormalization (t-DMRG) approach. We can identify signatures of local relaxation that can be accessed experimentally with present technology. While the global system preserves the information about the initial condition, locally the system relaxes to the state having maximum entropy respecting the constraints of the initial condition. For finite interaction strengths and finite times, the relaxation dynamics contains signatures of the relaxation dynamics of both the non-interacting and hard core bosonic limits.
△ Less
Submitted 20 April, 2010; v1 submitted 27 August, 2008;
originally announced August 2008.
-
Area laws for the entanglement entropy - a review
Authors:
J. Eisert,
M. Cramer,
M. B. Plenio
Abstract:
Physical interactions in quantum many-body systems are typically local: Individual constituents interact mainly with their few nearest neighbors. This locality of interactions is inherited by a decay of correlation functions, but also reflected by scaling laws of a quite profound quantity: The entanglement entropy of ground states. This entropy of the reduced state of a subregion often merely gr…
▽ More
Physical interactions in quantum many-body systems are typically local: Individual constituents interact mainly with their few nearest neighbors. This locality of interactions is inherited by a decay of correlation functions, but also reflected by scaling laws of a quite profound quantity: The entanglement entropy of ground states. This entropy of the reduced state of a subregion often merely grows like the boundary area of the subregion, and not like its volume, in sharp contrast with an expected extensive behavior. Such "area laws" for the entanglement entropy and related quantities have received considerable attention in recent years. They emerge in several seemingly unrelated fields, in the context of black hole physics, quantum information science, and quantum many-body physics where they have important implications on the numerical simulation of lattice models. In this Colloquium we review the current status of area laws in these fields. Center stage is taken by rigorous results on lattice models in one and higher spatial dimensions. The differences and similarities between bosonic and fermionic models are stressed, area laws are related to the velocity of information propagation, and disordered systems, non-equilibrium situations, classical correlation concepts, and topological entanglement entropies are discussed. A significant proportion of the article is devoted to the quantitative connection between the entanglement content of states and the possibility of their efficient numerical simulation. We discuss matrix-product states, higher-dimensional analogues, and states from entanglement renormalization and conclude by highlighting the implications of area laws on quantifying the effective degrees of freedom that need to be considered in simulations.
△ Less
Submitted 12 February, 2010; v1 submitted 28 August, 2008;
originally announced August 2008.
-
Exploring local quantum many-body relaxation by atoms in optical superlattices
Authors:
M. Cramer,
A. Flesch,
I. P. McCulloch,
U. Schollwoeck,
J. Eisert
Abstract:
We establish a setting - atoms in optical superlattices with period 2 - in which one can experimentally probe signatures of the process of local relaxation and apparent thermalization in non-equilibrium dynamics without the need of addressing single sites. This opens up a way to explore the convergence of subsystems to maximum entropy states in quenched quantum many-body systems with present tec…
▽ More
We establish a setting - atoms in optical superlattices with period 2 - in which one can experimentally probe signatures of the process of local relaxation and apparent thermalization in non-equilibrium dynamics without the need of addressing single sites. This opens up a way to explore the convergence of subsystems to maximum entropy states in quenched quantum many-body systems with present technology. Remarkably, the emergence of thermal states does not follow from a coupling to an environment, but is a result of the complex non-equilibrium dynamics in closed systems. We explore ways of measuring the relevant signatures of thermalization in this analogue quantum simulation of a relaxation process, exploiting the possibilities offered by optical superlattices.
△ Less
Submitted 8 July, 2008; v1 submitted 7 May, 2008;
originally announced May 2008.
-
Locality of dynamics in general harmonic quantum systems
Authors:
M. Cramer,
A. Serafini,
J. Eisert
Abstract:
The Lieb-Robinson theorem states that locality is approximately preserved in the dynamics of quantum lattice systems. Whenever one has finite-dimensional constituents, observables evolving in time under a local Hamiltonian will essentially grow linearly in their support, up to exponentially suppressed corrections. In this work, we formulate Lieb-Robinson bounds for general harmonic systems on ge…
▽ More
The Lieb-Robinson theorem states that locality is approximately preserved in the dynamics of quantum lattice systems. Whenever one has finite-dimensional constituents, observables evolving in time under a local Hamiltonian will essentially grow linearly in their support, up to exponentially suppressed corrections. In this work, we formulate Lieb-Robinson bounds for general harmonic systems on general lattices, for which the constituents are infinite-dimensional, as systems representing discrete versions of free fields or the harmonic approximation to the Bose-Hubbard model. We consider both local interactions as well as infinite-ranged interactions, showing how corrections to locality are inherited from the locality of the Hamiltonian: Local interactions result in stronger than exponentially suppressed corrections, while non-local algebraic interactions result in algebraic suppression. We derive bounds for canonical operators, Weyl operators and outline generalization to arbitrary operators. As an example, we discuss the Klein-Gordon field, and see how the approximate locality in the lattice model becomes the exact causality in the field limit. We discuss the applicability of these results to quenched lattice systems far from equilibrium, and the dynamics of quantum phase transitions.
△ Less
Submitted 31 March, 2008; v1 submitted 6 March, 2008;
originally announced March 2008.
-
Do mixtures of bosonic and fermionic atoms adiabatically heat up in optical lattices?
Authors:
M. Cramer,
S. Ospelkaus,
C. Ospelkaus,
K. Bongs,
K. Sengstock,
J. Eisert
Abstract:
Mixtures of bosonic and fermionic atoms in optical lattices provide a promising arena to study strongly correlated systems. In experiments realizing such mixtures in the quantum degenerate regime the temperature is a key parameter. In this work, we investigate the intrinsic heating and cooling effects due to an entropy-preserving raising of the optical lattice potential. We analyze this process,…
▽ More
Mixtures of bosonic and fermionic atoms in optical lattices provide a promising arena to study strongly correlated systems. In experiments realizing such mixtures in the quantum degenerate regime the temperature is a key parameter. In this work, we investigate the intrinsic heating and cooling effects due to an entropy-preserving raising of the optical lattice potential. We analyze this process, identify the generic behavior valid for a wide range of parameters, and discuss it quantitatively for the recent experiments with 87Rb and 40K atoms. In the absence of a lattice, we treat the bosons in the Hartree-Fock-Bogoliubov-Popov-approximation, including the fermions in a self-consistent mean field interaction. In the presence of the full three-dimensional lattice, we use a strong coupling expansion. As a result of the presence of the fermions, the temperature of the mixture after the lattice ramp-up is always higher than for the pure bosonic case. This sheds light onto a key point in the analysis of recent experiments.
△ Less
Submitted 24 July, 2007;
originally announced July 2007.
-
Exact relaxation in a class of non-equilibrium quantum lattice systems
Authors:
M. Cramer,
C. M. Dawson,
J. Eisert,
T. J. Osborne
Abstract:
A reasonable physical intuition in the study of interacting quantum systems says that, independent of the initial state, the system will tend to equilibrate. In this work we study a setting where relaxation to a steady state is exact, namely for the Bose-Hubbard model where the system is quenched from a Mott quantum phase to the strong superfluid regime. We find that the evolving state locally r…
▽ More
A reasonable physical intuition in the study of interacting quantum systems says that, independent of the initial state, the system will tend to equilibrate. In this work we study a setting where relaxation to a steady state is exact, namely for the Bose-Hubbard model where the system is quenched from a Mott quantum phase to the strong superfluid regime. We find that the evolving state locally relaxes to a steady state with maximum entropy constrained by second moments, maximizing the entanglement, to a state which is different from the thermal state of the new Hamiltonian. Remarkably, in the infinite system limit this relaxation is true for all large times, and no time average is necessary. For large but finite system size we give a time interval for which the system locally "looks relaxed" up to a prescribed error. Our argument includes a central limit theorem for harmonic systems and exploits the finite speed of sound. Additionally, we show that for all periodic initial configurations, reminiscent of charge density waves, the system relaxes locally. We sketch experimentally accessible signatures in optical lattices as well as implications for the foundations of quantum statistical mechanics.
△ Less
Submitted 2 May, 2009; v1 submitted 12 March, 2007;
originally announced March 2007.
-
Statistics dependence of the entanglement entropy
Authors:
M. Cramer,
J. Eisert,
M. B. Plenio
Abstract:
The entanglement entropy of a distinguished region of a quantum many-body system reflects the entanglement present in its pure ground state. In this work, we establish scaling laws for this entanglement for critical quasi-free fermionic and bosonic lattice systems, without resorting to numerical means. We consider the geometrical setting of D-dimensional half-spaces which allows us to exploit a…
▽ More
The entanglement entropy of a distinguished region of a quantum many-body system reflects the entanglement present in its pure ground state. In this work, we establish scaling laws for this entanglement for critical quasi-free fermionic and bosonic lattice systems, without resorting to numerical means. We consider the geometrical setting of D-dimensional half-spaces which allows us to exploit a connection to the one-dimensional case. Intriguingly, we find a difference in the scaling properties depending on whether the system is bosonic - where an area-law is first proven to hold - or fermionic, extending previous findings for cubic regions. For bosonic systems with nearest neighbor interaction we prove the conjectured area-law by computing the logarithmic negativity analytically. We identify a length scale associated with entanglement, different from the correlation length. For fermions we determine the logarithmic correction to the area-law, which depends on the topology of the Fermi surface. We find that Lifshitz quantum phase transitions are accompanied with a non-analyticity in the prefactor of the leading order term.
△ Less
Submitted 4 July, 2007; v1 submitted 28 November, 2006;
originally announced November 2006.
-
Correlations, spectral gap, and entanglement in harmonic quantum systems on generic lattices
Authors:
M. Cramer,
J. Eisert
Abstract:
We investigate the relationship between the gap between the energy of the ground state and the first excited state and the decay of correlation functions in harmonic lattice systems. We prove that in gapped systems, the exponential decay of correlations follows for both the ground state and thermal states. Considering the converse direction, we show that an energy gap can follow from algebraic d…
▽ More
We investigate the relationship between the gap between the energy of the ground state and the first excited state and the decay of correlation functions in harmonic lattice systems. We prove that in gapped systems, the exponential decay of correlations follows for both the ground state and thermal states. Considering the converse direction, we show that an energy gap can follow from algebraic decay and always does for exponential decay. The underlying lattices are described as general graphs of not necessarily integer dimension, including translationally invariant instances of cubic lattices as special cases. Any local quadratic couplings in position and momentum coordinates are allowed for, leading to quasi-free (Gaussian) ground states. We make use of methods of deriving bounds to matrix functions of banded matrices corresponding to local interactions on general graphs. Finally, we give an explicit entanglement-area relationship in terms of the energy gap for arbitrary, not necessarily contiguous regions on lattices characterized by general graphs.
△ Less
Submitted 23 May, 2006; v1 submitted 22 September, 2005;
originally announced September 2005.
-
Half the entanglement in critical systems is distillable from a single specimen
Authors:
R. Orus,
J. I. Latorre,
J. Eisert,
M. Cramer
Abstract:
We establish that the leading critical scaling of the single-copy entanglement is exactly one half of the entropy of entanglement of a block in critical infinite spin chains in a general setting, using methods of conformal field theory. Conformal symmetry imposes that the single-copy entanglement for critical many-body systems scales as E_1(ρ_L)=(c/6) \log L- (c/6) (π^2/\log L) + O(1/L), where L…
▽ More
We establish that the leading critical scaling of the single-copy entanglement is exactly one half of the entropy of entanglement of a block in critical infinite spin chains in a general setting, using methods of conformal field theory. Conformal symmetry imposes that the single-copy entanglement for critical many-body systems scales as E_1(ρ_L)=(c/6) \log L- (c/6) (π^2/\log L) + O(1/L), where L is the number of constituents in a block of an infinite chain and c corresponds to the central charge. This proves that from a single specimen of a critical chain, already half the entanglement can be distilled compared to the rate that is asymptotically available. The result is substantiated by a quantitative analysis for all translationally invariant quantum spin chains corresponding to general isotropic quasi-free fermionic models. An analytic example of the XY model shows that away from criticality the above simple relation is only maintained near the quantum phase transition point.
△ Less
Submitted 15 July, 2006; v1 submitted 2 September, 2005;
originally announced September 2005.
-
Single-copy entanglement in critical spin chains
Authors:
J. Eisert,
M. Cramer
Abstract:
We introduce the single-copy entanglement as a quantity to assess quantum correlations in the ground state in quantum many-body systems. We show for a large class of models that already on the level of single specimens of spin chains, criticality is accompanied with the possibility of distilling a maximally entangled state of arbitrary dimension from a sufficiently large block deterministically,…
▽ More
We introduce the single-copy entanglement as a quantity to assess quantum correlations in the ground state in quantum many-body systems. We show for a large class of models that already on the level of single specimens of spin chains, criticality is accompanied with the possibility of distilling a maximally entangled state of arbitrary dimension from a sufficiently large block deterministically, with local operations and classical communication. These analytical results -- which refine previous results on the divergence of block entropy as the rate at which EPR pairs can be distilled from many identically prepared chains, and which apply to single systems as encountered in actual experimental situations -- are made quantitative for general isotropic translationally invariant spin chains that can be mapped onto a quasi-free fermionic system, and for the anisotropic XY model. For the XX model, we provide the asymptotic scaling of ~(1/6) log_2(L), and contrast it with the block entropy. The role of superselection rules on single-copy entanglement in systems consisting of indistinguishable particles is emphasized.
△ Less
Submitted 14 January, 2006; v1 submitted 29 June, 2005;
originally announced June 2005.
-
An entanglement-area law for general bosonic harmonic lattice systems
Authors:
M. Cramer,
J. Eisert,
M. B. Plenio,
J. Dreissig
Abstract:
We demonstrate that the entropy of entanglement and the distillable entanglement of regions with respect to the rest of a general harmonic lattice system in the ground or a thermal state scale at most as the boundary area of the region. This area law is rigorously proven to hold true in non-critical harmonic lattice system of arbitrary spatial dimension, for general finite-ranged harmonic intera…
▽ More
We demonstrate that the entropy of entanglement and the distillable entanglement of regions with respect to the rest of a general harmonic lattice system in the ground or a thermal state scale at most as the boundary area of the region. This area law is rigorously proven to hold true in non-critical harmonic lattice system of arbitrary spatial dimension, for general finite-ranged harmonic interactions, regions of arbitrary shape and states of nonzero temperature. For nearest-neighbor interactions - corresponding to the Klein-Gordon case - upper and lower bounds to the degree of entanglement can be stated explicitly for arbitrarily shaped regions, generalizing the findings of [Phys. Rev. Lett. 94, 060503 (2005)]. These higher dimensional analogues of the analysis of block entropies in the one-dimensional case show that under general conditions, one can expect an area law for the entanglement in non-critical harmonic many-body systems. The proofs make use of methods from entanglement theory, as well as of results on matrix functions of block banded matrices. Disordered systems are also considered. We moreover construct a class of examples for which the two-point correlation length diverges, yet still an area law can be proven to hold. We finally consider the scaling of classical correlations in a classical harmonic system and relate it to a quantum lattice system with a modified interaction. We briefly comment on a general relationship between criticality and area laws for the entropy of entanglement.
△ Less
Submitted 18 June, 2005; v1 submitted 12 May, 2005;
originally announced May 2005.
-
Entropy, entanglement, and area: analytical results for harmonic lattice systems
Authors:
M. B. Plenio,
J. Eisert,
J. Dreissig,
M. Cramer
Abstract:
We revisit the question of the relation between entanglement, entropy, and area for harmonic lattice Hamiltonians corresponding to discrete versions of real free Klein-Gordon fields. For the ground state of the d-dimensional cubic harmonic lattice we establish a strict relationship between the surface area of a distinguished hypercube and the degree of entanglement between the hypercube and the…
▽ More
We revisit the question of the relation between entanglement, entropy, and area for harmonic lattice Hamiltonians corresponding to discrete versions of real free Klein-Gordon fields. For the ground state of the d-dimensional cubic harmonic lattice we establish a strict relationship between the surface area of a distinguished hypercube and the degree of entanglement between the hypercube and the rest of the lattice analytically, without resorting to numerical means. We outline extensions of these results to longer ranged interactions, finite temperatures and for classical correlations in classical harmonic lattice systems. These findings further suggest that the tools of quantum information science may help in establishing results in quantum field theory that were previously less accessible.
△ Less
Submitted 23 February, 2005; v1 submitted 25 May, 2004;
originally announced May 2004.
-
Inhomogeneous atomic Bose-Fermi mixtures in cubic lattices
Authors:
M. Cramer,
J. Eisert,
F. Illuminati
Abstract:
We determine the ground state properties of inhomogeneous mixtures of bosons and fermions in cubic lattices by studying the Bose-Fermi Hubbard model including parabolic confining potentials. We present the exact solution in the limit of vanishing hopping (ultradeep lattices) and study the resulting domain structure of composite particles. For finite hopping we determine the domain boundaries bet…
▽ More
We determine the ground state properties of inhomogeneous mixtures of bosons and fermions in cubic lattices by studying the Bose-Fermi Hubbard model including parabolic confining potentials. We present the exact solution in the limit of vanishing hopping (ultradeep lattices) and study the resulting domain structure of composite particles. For finite hopping we determine the domain boundaries between Mott-insulator plateaux and hopping-dominated regions for lattices of arbitrary dimensionality within perturbation theory. The results are compared with a new numerical method that is based on a Gutzwiller variational approach for the bosons and an exact treatment for the fermions. The findings can be applied as a guideline for future experiments with trapped atomic Bose-Fermi mixtures in optical lattices.
△ Less
Submitted 21 May, 2004; v1 submitted 29 October, 2003;
originally announced October 2003.
-
Raman coupler for a trapped two-component quantum-degenerate Fermi gas
Authors:
S. Potting,
M. Cramer,
W. Zhang,
P. Meystre
Abstract:
We investigate theoretically the Raman coupling between two internal states of a trapped low-density quantum-degenerate Fermi gas. In general, the trap frequencies associated with the two internal states can be different, leading to the onset of collapses and revivals in the population difference of the two internal states. This behavior can be changed drastically by two-body collisions. In part…
▽ More
We investigate theoretically the Raman coupling between two internal states of a trapped low-density quantum-degenerate Fermi gas. In general, the trap frequencies associated with the two internal states can be different, leading to the onset of collapses and revivals in the population difference of the two internal states. This behavior can be changed drastically by two-body collisions. In particular, we show that under appropriate conditions they can suppress the dephasing leading to the collapse of the population difference, and restore almost full Rabi oscillations between the two internal states. These results are compared and contrasted to those for a quantum-degenerate bosonic gas.
△ Less
Submitted 2 April, 2002; v1 submitted 14 March, 2002;
originally announced March 2002.
-
Momentum state engineering and control in Bose-Einstein condensates
Authors:
S. Potting,
M. Cramer,
P. Meystre
Abstract:
We demonstrate theoretically the use of genetic learning algorithms to coherently control the dynamics of a Bose-Einstein condensate. We consider specifically the situation of a condensate in an optical lattice formed by two counterpropagating laser beams. The frequency detuning between the lasers acts as a control parameter that can be used to precisely manipulate the condensate even in the pre…
▽ More
We demonstrate theoretically the use of genetic learning algorithms to coherently control the dynamics of a Bose-Einstein condensate. We consider specifically the situation of a condensate in an optical lattice formed by two counterpropagating laser beams. The frequency detuning between the lasers acts as a control parameter that can be used to precisely manipulate the condensate even in the presence of a significant mean-field energy. We illustrate this procedure in the coherent acceleration of a condensate and in the preparation of a superposition of prescribed relative phase.
△ Less
Submitted 22 August, 2001; v1 submitted 22 June, 2001;
originally announced June 2001.
-
Coherent acceleration of Bose-Einstein condensates
Authors:
S. Potting,
M. Cramer,
C. H. Schwalb,
H. Pu,
P. Meystre
Abstract:
We present a theoretical analysis of the coherent acceleration of atomic Bose-Einstein condensates. A first scheme relies on the 'conveyor belt' provided by a frequency-chirped optical lattice. For potentials shallow enough that the condensate is not fragmented, the acceleration can be interpreted in terms of sequential Bragg scattering, with the atomic sample undergoing transitions to a success…
▽ More
We present a theoretical analysis of the coherent acceleration of atomic Bose-Einstein condensates. A first scheme relies on the 'conveyor belt' provided by a frequency-chirped optical lattice. For potentials shallow enough that the condensate is not fragmented, the acceleration can be interpreted in terms of sequential Bragg scattering, with the atomic sample undergoing transitions to a succession of discrete momentum sidemodes. The narrow momentum width of these sidemodes offers the possibility to accelerate an ultracold atomic sample such as e.g. a Bose-Einstein condensate without change in its momentum distribution. This is in contrast to classical point particles, for which this kind of acceleration leads to a substantial heating of the sample. A second scheme is based on the idea of a synchronous particle accelerator consisting of a spatial array of quadrupole traps. Pulsing the trapping potential creates a traveling trap that confines and accelerates the atomic system. We study this process using the concept of phase stability.
△ Less
Submitted 19 April, 2001; v1 submitted 12 February, 2001;
originally announced February 2001.