Pith. sign in

Guide to Mathematical Concepts of Quantum Theory

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it
abstract

Quantum Theory is one of the pillars of modern science developed over the last hundred years. In this review paper we introduce, step by step, the quantum theory understood as a mathematical model describing quantum experiments. We start with splitting the experiment into two parts: a preparation process and a measurement process leading to a registration of a particular outcome. These two ingredients of the experiment are represented by states and effects, respectively. Further, the whole picture of quantum measurement will be developed and concepts of observables, instruments and measurement models representing the three different descriptions on experiments will be introduced. In the second stage, we enrich the model of the experiment by introducing the concept of quantum channel describing the system changes between preparations and measurements. At the very end we review the elementary properties of quantum entanglement. The text contains many examples and exercise covering also many topics from quantum information theory and quantum measurement theory. The goal is to give a mathematically clear and self-containing explanation of the main concepts of the modern language of quantum theory.

citation-role summary

background 1

citation-polarity summary

fields

cs.PL 1

years

2025 1

verdicts

CONDITIONAL 1

roles

background 1

polarities

unclear 1

representative citing papers

A Denotational Semantics for Quantum Loops

cs.PL · 2025-06-29 · conditional · novelty 4.0

Quantum while loops get a denotational semantics as the strong limit of linear operators that discard the non-terminating part of the computation.

citing papers explorer

Showing 1 of 1 citing paper.

  • A Denotational Semantics for Quantum Loops cs.PL · 2025-06-29 · conditional · none · ref 6 · internal anchor

    Quantum while loops get a denotational semantics as the strong limit of linear operators that discard the non-terminating part of the computation.