English
Related papers

Related papers: Axiomatizing complete positivity

200 papers

The theory of quantum dynamical semigroups within the mathematically rigorous framework of completely positive dynamical maps is reviewed. First, the axiomatic approach which deals with phenomenological constructions and general…

Quantum Physics · Physics 2007-05-23 Robert Alicki

Coecke and Heunen described completely positive maps in dagger monoidal categories and the {\sf CP}-infinity construction on these categories in order to construct a category of arbitrary dimensional quantum processes. This article…

Category Theory · Mathematics 2023-06-27 Robin Cockett , Priyaa Varshinee Srinivasan

We argue that notions in quantum theory should have universal properties in the sense of category theory. We consider the completely positive trace preserving (CPTP) maps, the basic notion of quantum channel. Physically, quantum channels…

Quantum Physics · Physics 2019-01-30 Mathieu Huot , Sam Staton

Quantum theory can be derived from purely informational principles. Five elementary axioms-causality, perfect distinguishability, ideal compression, local distinguishability, and pure conditioning-define a broad class of theories of…

Quantum Physics · Physics 2015-03-17 G. Chiribella , G. M. D'Ariano , P. Perinotti

The representation of measurements by positive operator valued measures and the description of the most general state transformations by means of completely positive maps are two basic concepts of quantum information theory. These concepts…

Quantum Physics · Physics 2007-05-23 Daniel R. Terno

We consider to treat the usual probabilistic cloning, state separation, unambiguous state discrimination, \emph{etc} in a uniform framework. All these transformations can be regarded as special examples of generalized completely positive…

Quantum Physics · Physics 2009-11-13 Xiang-Fa Zhou , Qing Lin , Yong-Sheng Zhang , Guang-Can Guo

In the classical world one can construct two identical systems which have identical behavior and give identical measurement results. We show this to be impossible in the quantum domain. We prove that after the same quantum measurement two…

Quantum Physics · Physics 2017-01-10 Denis Sych , Gerd Leuchs

Axiomatizing mathematical structures is a goal of Mathematical Logic. Axiomatizability of the theories of some structures have turned out to be quite difficult and challenging, and some remain open. However axiomatization of some…

Logic · Mathematics 2021-11-30 Saeed Salehi

No theory of physics has been collectively scientifically verified in an experiment so far. It is pointed out that probabilistic structure of quantum theory can be collectively scientifically verified in an experiment. It is also argued…

Other Computer Science · Computer Science 2012-01-31 Arindam Mitra

Given two sets of quantum states {A_1, ..., A_k} and {B_1, ..., B_k}, represented as sets of density matrices, necessary and sufficient conditions are obtained for the existence of a physical transformation T, represented as a…

Mathematical Physics · Physics 2015-06-04 Zejun Huang , Chi-Kwong Li , Edward Poon , Nung-Sing Sze

Classical matching theory can be defined in terms of matrices with nonnegative entries. The notion of Positive operator, central in Quantum Theory, is a natural generalization of matrices with nonnegative entries. Based on this point of…

Quantum Physics · Physics 2007-05-23 Leonid Gurvits

By virtue of quantum coherence resource measure, we show that the dephasing measurement on a coherence basis can transfer the coherence contained in system into environment totally, which gives a quantification of decoherence.

Quantum Physics · Physics 2022-06-01 Weijing Li

Here we introduce reflection positive doubles, a general framework for reflection positivity, covering a wide variety of systems in statistical physics and quantum field theory. These systems may be bosonic, fermionic, or parafermionic in…

Mathematical Physics · Physics 2021-08-10 Arthur Jaffe , Bas Janssens

Valid transformations between quantum states are necessarily described by completely positive maps, instead of just positive maps. Positive but not completely positive maps such as the transposition map cannot be implemented due to the…

Quantum Physics · Physics 2019-06-03 Qingxiuxiong Dong , Marco Túlio Quintino , Akihito Soeda , Mio Murao

Universality of quantum mechanics -- its applicability to physical systems of quite different nature and scales -- indicates that quantum behavior can be a manifestation of general mathematical properties of systems containing…

Mathematical Physics · Physics 2010-11-03 Vladimir V. Kornyak

We introduce a condition for the strong decoherence of a set of alternative histories of a closed quantum-mechanical system such as the universe. The condition applies, for a pure initial state, to sets of homogeneous histories that are…

General Relativity and Quantum Cosmology · Physics 2008-02-03 Murray Gell-Mann , James B. Hartle

In this paper, we extend the standard formalism of quantum mechanics to a quantum theory for a total system including one internal measuring apparatus. The internality of the measuring apparatus implies that different decomposition of a…

Quantum Physics · Physics 2012-05-17 Wen-ge Wang

I make the case that the Universe according to unitary (no-collapse) quantum theory has a branching structure, and so can literally be regarded as a "many-worlds" theory. These worlds are not part of the fundamental ontology of quantum…

History and Philosophy of Physics · Physics 2011-11-10 David Wallace

In the present paper we propose a new approach to quantum fields in terms of category algebras and states on categories. We define quantum fields and their states as category algebras and states on causal categories with partial involution…

Mathematical Physics · Physics 2021-12-14 Hayato Saigo

We introduce a framework for the construction of completely positive maps for subsystems of indistinguishable fermionic particles. In this scenario, the initial global state is always correlated, and it is not possible to tell system and…