2020/03/24 by Gabriele Carcassi, Lorenzo Maccone, C. Aidala +1 · 1 voice
Computer Science · Physics and Astronomy · #Computability, Logic, AI Algorithms #Logic, programming, and type systems #Quantum Mechanics and Applications #quant-ph
paper · pdf · doi:10.1103/physrevlett.126.110402
openalex publication_date 2021/03/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
The tensor product postulate of quantum mechanics states that the Hilbert space of a composite system is the tensor product of the components' Hilbert spaces. All current formalizations of quantum mechanics that do not contain this postulate contain some equivalent postulate or assumption (sometimes hidden). Here we give a natural definition of a composite system as a set containing the component systems and show how one can logically derive the tensor product rule from the state postulate and from the measurement postulate. In other words, our Letter reduces by one the number of postulates necessary to quantum mechanics.