Domain theoretic structures in quantum information theory.

摘要

In this thesis, we continue the study of domain theoretic structures in quantum information theory initiated by Keye Martin and Bob Coecke in 2002.;The first part of the thesis is focused on exploring the domain theoretic properties of qubit channels. We discover that the Scott continuous qubit channels are exactly those that are unital or constant. We then prove that the unital qubit channels form a continuous dcpo, and identify various measurements on them. We show that Holevo capacity is a measurement on unital qubit channels, and discover the natural measurement in this setting. We find that qubit channels also form a continuous dcpo, but capacity fails to be a measurement.;In the second part we focus on the study of exact dcpos, a domain theoretic structure, closely related to continuous dcpos, possessed by quantum states. Exact dcpos admit a topology, called the exact topology, and we show that the exact topology has an order theoretic characterization similar to the characterization of the Scott topology on continuous dcpos. We then explore the connection between exact and continuous dcpos; first, by identifying an important set of points, called the split points, that distinguishes between exact and continuous structures; second, by exploring a continuous completion of exact dcpos, and showing that we can recover the exact topology from the Scott topology of the completion.