Abstract:Quantum theory provides a significant example of two intermingling hallmarks of science: the ability to consistently combine physical systems and study them compositely; and the power to extract predictions in the form of correlations. A striking consequence of this facet is the violation of $\textit{local realism}$, which has been experimentally demonstrated via so-called $\textit{Bell tests}$. The prediction of this phenomenon originates as quantum systems are prescribed to combine according to the $\textit{composition postulate}$, i.e. the tensor-product rule. This rule has also an operationally sound formulation -- rather than just a purely mathematical one -- given in terms of discriminability of states via local measurements. Yet, both the theoretical and the empirical status of such postulate has been constantly challenged over the decades: is it possible to deduce it from the remaining postulates? Here, we solve this long-standing problem by answering in the negative. We formulate a family of operational theories that are solely distinguished from quantum theory by their system-composition rule, while, at the same time, they cannot be told apart by Bell-like experiments. Quantum theory is thus established to genuinely embody more content than quantum correlations. As a result, foundational programs only based on single-system principles, or on bare correlations, are operationally incomplete. On the experimental side, ascertaining the independence of postulates is a fundamental step to adjudicate between quantum theory and alternative physical theories: hence, the composition postulate deserves to be experimentally scrutinised independently of the other features of quantum theory.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is: **Can the composition rules of quantum systems be derived from the basic assumptions of other quantum theories, or must they exist as an independent assumption?**
Specifically, the paper explores an important assumption in quantum mechanics - **the tensor - product rule**, that is, when multiple quantum systems are combined into a composite system, its Hilbert space is the tensor product of the Hilbert spaces of each subsystem. This rule plays a crucial role in quantum mechanics. For example, it leads to the phenomenon of quantum entanglement, which in turn violates local realism and has been experimentally verified through Bell tests.
However, for many years, there has been a controversy over whether the tensor - product rule can be derived from other postulates of quantum mechanics. The author clearly answers this question in this paper: **The tensor - product rule cannot be derived from other postulates of quantum mechanics, but must exist as an independent assumption**.
To prove this, the author introduces a new class of quantum theories - **latent quantum theories (lqts)**. The main difference between these theories and the standard quantum theory lies in their different composition rules, but they can still produce the same Bell inequality violation phenomenon. This shows that experiments such as Bell tests alone cannot distinguish between the standard quantum theory and other possible quantum theories, so the tensor - product rule needs to be experimentally verified independently.
### Main contributions of the paper
1. **Proving the independence of the tensor - product rule**: The author shows how to construct a new class of quantum theories. These theories are different from the standard quantum theory in terms of composition rules, but are consistent with the standard quantum theory in other aspects (such as the violation of Bell inequalities). This indicates that the tensor - product rule cannot be derived from other postulates of quantum mechanics.
2. **Introducing latent quantum theories**: The author proposes a new framework of quantum theory, called latent quantum theories (lqts), in which the composition rules of quantum systems are modified, but other basic characteristics of quantum mechanics are still retained. This type of theory provides a new perspective for studying the foundation of quantum mechanics.
3. **Emphasizing the importance of experimental verification**: The paper points out that experiments such as Bell tests alone cannot completely reconstruct quantum theory, so the tensor - product rule needs to be verified independently. This is of great significance for distinguishing quantum theory from other physical theories.
### Summary
This paper proves the necessity of the tensor - product rule as an independent assumption in quantum mechanics by introducing latent quantum theories, and emphasizes the crucial role of experimentally verifying its independence. This not only deepens our understanding of the foundation of quantum mechanics, but also provides a new direction for future research.