2020/03/24 by Gabriele Carcassi, Lorenzo Maccone, C. Aidala +1 · 1 voice · 1 citation
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
published as Phys. Rev. Lett. 126, 110402 (2021), Video presentation: https://www.youtube.com/watch?v=wyAkT3lZqAU · 4 pages+supplementary information. Final version accepted for publication on Phys. Rev. Lett
arxiv created 2021/01/25 · openalex publication_date 2021/03/16 · arxiv updated 2022/01/12 · 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 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 paper reduces by one the number of postulates necessary to quantum mechanics.