An official website of the United States government
Abstract In open quantum systems, it is known that if the system and environment are in a product state, the evolution of the system is given by a linear completely positive (CP) Hermitian map. CP maps are a subset of general linear Hermitian maps, which also include non completely positive (NCP) maps. NCP maps can arise in evolutions such as non-Markovian evolution, where the CP divisibility of the map (writing the overall evolution as a composition of CP maps) usually fails. Positive but NCP maps are also useful as entanglement witnesses. In this paper, we focus on transforming an initial NCP map to a CP map through composition with the asymmetric depolarizing map. We use separate asymmetric depolarizing maps acting on the individual subsystems. Previous work have looked at structural physical approximation (SPA), which is a CP approximation of an NCP map using a mixture of the NCP map with a completely depolarizing map. We prove that the composition can always be made CP without completely depolarizing in any direction. It is possible to depolarize less in some directions. We give the general proof by using the Choi matrix and an isomorphism from a maximally entangled two qudit state to a set of qubits. We also give measures that describe the amount of disturbance the depolarization introduces to the original map. Given our measures, we show that asymmetric depolarization has many advantages over SPA in preserving the structure of the original NCP map. Finally, we give some examples. For some measures and examples, completely depolarizing (while not necessary) in some directions can give a better approximation than keeping the depolarizing parameters bounded by the required depolarization if symmetric depolarization is used.
more »
« less
Error Correction for Correlated Quantum Systems
Modeling open quantum systems is a difficult task for many experiments. A standard method for modeling open system evolution uses an environment that is initially uncorrelated with the system in question, evolves the two unitarily, and then traces over the bath degrees of freedom to find an effective evolution of the system. This model can be insufficient for physical systems that have initial correlations. Specifically, there are evolutions ρS=trE(ρSE)→ρ′S=trE(UρSEU†) which cannot be modeled as ρS=trE(ρSE)→ρ′S=trE(UρS⊗ρEU†). An example of this is ρSE=|Φ+⟩⟨Φ+| and USE=CNOT with control on the environment. Unfortunately, there is no known method of modeling an open quantum system which is completely general. We first present some restrictions on the availability of completely positive (CP) maps via the standard prescription. We then discuss some implications a more general treatment would have for quantum control methods. In particular, we provide a theorem that restricts the reversibility of a map that is not completely positive (NCP). Let Φ be NCP and Φ~ be the corresponding CP map given by taking the absolute value of the coefficients in Φ. The theorem shows that the CP reversibility conditions for Φ~ do not provide reversibility conditions for Φ unless Φ is positive on the domain of the code space.
more »
« less
- Award ID(s):
- 1820870
- PAR ID:
- 10294652
- Editor(s):
- Kilgour, D.M.; Kunze, H.; Makarov, R.; Melnik, R.; Wang, X.
- Date Published:
- Journal Name:
- International Conference on Applied Mathematics, Modeling and Computational Science, AMMCS 2019: Recent Developments in Mathematical, Statistical and Computational Sciences
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract Reversing the effects of a quantum evolution, for example, as is done in error correction, is an important task for controlling quantum systems in order to produce reliable quantum devices. When the evolution is governed by a completely positive map, there exist reversibility conditions, known as the quantum error correcting code conditions, which are necessary and sufficient conditions for the reversibility of a quantum operation on a subspace, the code space. However, if we suppose that the evolution is not described by a completely positive map, necessary and sufficient conditions are not known. Here we consider evolutions that do not necessarily correspond to a completely positive map. We prove that the completely positive map error correcting code conditions can lead to a code space that is not in the domain of the map, meaning that the output of the map is not positive. A corollary to our theorem provides a class of relevant examples. Finally, we provide a set of sufficient conditions that will enable the use of quantum error correcting code conditions while ensuring positivity.more » « less
-
Abstract Designing quantum algorithms for simulating quantum systems has seen enormous progress, yet few studies have been done to develop quantum algorithms for open quantum dynamics despite its importance in modeling the system-environment interaction found in most realistic physical models. In this work we propose and demonstrate a general quantum algorithm to evolve open quantum dynamics on quantum computing devices. The Kraus operators governing the time evolution can be converted into unitary matrices with minimal dilation guaranteed by the Sz.-Nagy theorem. This allows the evolution of the initial state through unitary quantum gates, while using significantly less resource than required by the conventional Stinespring dilation. We demonstrate the algorithm on an amplitude damping channel using the IBM Qiskit quantum simulator and the IBM Q 5 Tenerife quantum device. The proposed algorithm does not require particular models of dynamics or decomposition of the quantum channel, and thus can be easily generalized to other open quantum dynamical models.more » « less
-
Abstract The observables associated with a quantum system S form a non-commutative algebra A S . It is assumed that a density matrix ρ can be determined from the expectation values of observables. But A S admits inner automorphisms a ↦ u a u − 1 , a , u ∈ A S , u * u = u u * = 1 , so that its individual elements can be identified only up to unitary transformations. So since Tr ρ ( uau *) = Tr( u * ρu ) a , only the spectrum of ρ , or its characteristic polynomial, can be determined in quantum mechanics. In local quantum field theory, ρ cannot be determined at all, as we shall explain. However, abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables in abelian algebras A M ⊂ A S ( M for measurement, S for system). We study the uncertainties in extending ρ | A M to ρ | A S (the determination of which means measurement of A S ) and devise a protocol to determine ρ | A S ≡ ρ by determining ρ | A M for different choices of A M . The problem we formulate and study is a generalization of the Kadison–Singer theorem. We give an example where the system S is a particle on a circle and the experiment measures the abelian algebra of a magnetic field B coupled to S . The measurement of B gives information about the state ρ of the system S due to operator mixing. Associated uncertainty principles for von Neumann entropy are discussed in the appendix, adapting the earlier work by Białynicki-Birula and Mycielski (1975 Commun. Math. Phys. 44 129) to the present case.more » « less
-
This work concerns a map φ : R → S \varphi \colon R\to S of commutative noetherian rings, locally of finite flat dimension. It is proved that the André-Quillen homology functors are rigid, namely, if D n ( S / R ; − ) = 0 \mathrm {D}_n(S/R;-)=0 for some n ≥ 1 n\ge 1 , then D i ( S / R ; − ) = 0 \mathrm {D}_i(S/R;-)=0 for all i ≥ 2 i\ge 2 and φ {\varphi } is locally complete intersection. This extends Avramov’s theorem that draws the same conclusion assuming D n ( S / R ; − ) \mathrm {D}_n(S/R;-) vanishes for all n ≫ 0 n\gg 0 , confirming a conjecture of Quillen. The rigidity of André-Quillen functors is deduced from a more general result about the higher cotangent modules which answers a question raised by Avramov and Herzog, and subsumes a conjecture of Vasconcelos that was proved recently by the first author. The new insight leading to these results concerns the equivariance of a map from André-Quillen cohomology to Hochschild cohomology defined using the universal Atiyah class of φ \varphi .more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/https://doi.org/10.1007/978-3-030-63591-6_34
