Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userDe Finetti Theorems for Quantum Conditional Probability Distributions with Symmetry
111
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The aim of device-independent quantum key distribution (DIQKD) is to study protocols that allow the generation of a secret shared key between two parties under minimal assumptions on the devices that produce the key. These devices are merely modeled as black boxes and mathematically described as conditional probability distributions. A major obstacle in the analysis of DIQKD protocols is the huge space of possible black box behaviors. De Finetti theorems can help to overcome this problem by reducing the analysis to black boxes that have an iid structure. Here we show two new de Finetti theorems that relate conditional probability distributions in the quantum set to de Finetti distributions (convex combinations of iid distributions), that are themselves in the quantum set. We also show how one of these de Finetti theorems can be used to enforce some restrictions onto the attacker of a DIQKD protocol. Finally we observe that some desirable strengthenings of this restriction, for instance to collective attacks only, are not straightforwardly possible.
rate research
Read More
We prove general de Finetti type theorems for classical and free independence. The de Finetti type theorems work for all non-easy quantum groups, which generalize a recent work of Banica, Curran and Speicher. We determine maximal distributional symmetries which means the corresponding de Finetti type theorem fails if a sequence of random variables satisfy more symmetry relations other than the maximal one. In addition, we define Boolean quantum semigroups in analogous to the easy quantum groups, by universal conditions on matrix coordinate generators and an orthogonal projection. Then, we show a general de Finetti type theorem for Boolean independence.
The discrete-time quantum walk (QW) is determined by a unitary matrix whose component is complex number. Konno (2015) extended the QW to a walk whose component is quaternion.We call this model quaternionic quantum walk (QQW). The probability distribution of a class of QQWs is the same as that of the QW. On the other hand, a numerical simulation suggests that the probability distribution of a QQW is different from the QW. In this paper, we clarify the difference between the QQW and the QW by weak limit theorems for a class of QQWs.
We study quantum algorithms working on classical probability distributions. We formulate four different models for accessing a classical probability distribution on a quantum computer, which are derived from previous work on the topic, and study their mutual relationships. Additionally, we prove that quantum query complexity of distinguishing two probability distributions is given by their inverse Hellinger distance, which gives a quadratic improvement over classical query complexity for any pair of distributions. The results are obtained by using the adversary method for state-generating input oracles and for distinguishing probability distributions on input strings.
According to the quantum de Finetti theorem, if the state of an N-partite system is invariant under permutations of the subsystems then it can be approximated by a state where almost all subsystems are identical copies of each other, provided N is sufficiently large compared to the dimension of the subsystems. The de Finetti theorem has various applications in physics and information theory, where it is for instance used to prove the security of quantum cryptographic schemes. Here, we extend de Finettis theorem, showing that the approximation also holds for infinite dimensional systems, as long as the state satisfies certain experimentally verifiable conditions. This is relevant for applications such as quantum key distribution (QKD), where it is often hard - or even impossible - to bound the dimension of the information carriers (which may be corrupted by an adversary). In particular, our result can be applied to prove the security of QKD based on weak coherent states or Gaussian states against general attacks.
In 1931 de Finetti proved what is known as his Dutch Book Theorem. This result implies that the finite additivity {it axiom} for the probability of the disjunction of two incompatible events becomes a {it consequence} of de Finettis logic-operational consistency notion. Working in the context of boolean algebras, we prove de Finettis theorem. The mathematical background required is little more than that which is taught in high school. As a preliminary step we prove what de Finetti called ``the Fundamental Theorem of Probability, his main contribution both to Booles probabilistic inference problem on the object of probability theory, and to its modern reformulation known as the optimization version of the probabilistic satisfiability problem. In a final section, we give a self-contained combinatorial proof of de Finettis exchangeability theorem.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
