In the framework of quantum mechanics over a quadratic extension of the ultrametric field of p-adic numbers, we introduce a notion of tensor product of p-adic Hilbert spaces. To this end, following a standard approach, we first consider the algebraic tensor product of p-adic Hilbert spaces. We next define a suitable norm on this linear space. It turns out that, in the p-adic framework, this norm is the analogue of the projective norm associated with the tensor product of real or complex normed spaces. Eventually, by metrically completing the resulting p-adic normed space, and equipping it with a suitable inner product, we obtain the tensor product of p-adic Hilbert spaces. That this is indeed the correct p-adic counterpart of the tensor product of complex Hilbert spaces is also certified by establishing a natural isomorphism between this p-adic Hilbert space and the corresponding Hilbert–Schmidt class. Since the notion of subspace of a p-adic Hilbert space is highly nontrivial, we finally study the tensor product of subspaces, stressing both the analogies and the significant differences with respect to the standard complex case. These findings should provide us with the mathematical foundations necessary to explore quantum entanglement in the p-adic setting, with potential applications in the emerging field of p-adic quantum information theory.
In the framework of quantum mechanics over a quadratic extension of the ultrametric field of p-adic numbers, we introduce a notion of tensor product of p-adic Hilbert spaces. To this end, following a standard approach, we first consider the algebraic tensor product of p-adic Hilbert spaces. We next define a suitable norm on this linear space. It turns out that, in the p-adic framework, this norm is the analogue of the projective norm associated with the tensor product of real or complex normed spaces. Eventually, by metrically completing the resulting p-adic normed space, and equipping it with a suitable inner product, we obtain the tensor product of p-adic Hilbert spaces. That this is indeed the correct p-adic counterpart of the tensor product of complex Hilbert spaces is also certified by establishing a natural isomorphism between this p-adic Hilbert space and the corresponding Hilbert–Schmidt class. Since the notion of subspace of a p-adic Hilbert space is highly nontrivial, we finally study the tensor product of subspaces, stressing both the analogies and the significant differences with respect to the standard complex case. These findings should provide us with the mathematical foundations necessary to explore quantum entanglement in the p-adic setting, with potential applications in the emerging field of p-adic quantum information theory.
We review some recent results on the mathematical foundations of a quantum theory over a scalar field that is a quadratic extension of the non-Archimedean field of [Formula: see text]-adic numbers. In our approach, we are inspired by the idea — first postulated in [I. V. Volovich, [Formula: see text]-adic string, Class. Quantum Grav. 4 (1987) L83–L87] — that space, below a suitably small scale, does not behave as a continuum and, accordingly, should be modeled as a totally disconnected metrizable topological space, ruled by a metric satisfying the strong triangle inequality. The first step of our construction is a suitable definition of a [Formula: see text]-adic Hilbert space. Next, after introducing all necessary mathematical tools — in particular, various classes of linear operators in a [Formula: see text]-adic Hilbert space — we consider an algebraic definition of physical states in [Formula: see text]-adic quantum mechanics. The corresponding observables, whose definition completes the statistical interpretation of the theory, are introduced as SOVMs, a [Formula: see text]-adic counterpart of the POVMs associated with a standard quantum system over the complex numbers. Interestingly, it turns out that the typical convex geometry of the space of states of a standard quantum system is replaced, in the [Formula: see text]-adic setting, with an affine geometry; therefore, a symmetry transformation of a [Formula: see text]-adic quantum system may be defined as a map preserving this affine geometry. We argue that, as a consequence, the group of all symmetry transformations of a [Formula: see text]-adic quantum system has a richer structure with respect to the case of standard quantum mechanics over the complex numbers.
Within the framework of quantum mechanics over a quadratic extension of the non-Archimedean field of p-adic numbers, we provide a definition of a quantum state relying on a general algebraic approach and on a p-adic model of probability theory. As in the standard complex case, a distinguished set of physical states are related to a notion of trace for a certain class of bounded operators, and in fact, we show that one can define a suitable space of trace class operators in the non-Archimedean setting, as well. The analogies—but also the several (highly non-trivial) differences—with respect to the case of standard quantum mechanics in a complex Hilbert space are analyzed.
Motivated by the novel applications of the mathematical formalism of quantum theory and its generalizations in cognitive science, psychology, social and political sciences, and economics, we extend the notion of the tensor product and entanglement. We also study the relation between conventional entanglement of complex qubits and our generalized entanglement. Our construction can also be used to describe entanglement in the framework of non-Archimedean physics. It is also possible to construct tensor products of non-Archimedean (e.g., p-adic) and complex Hilbert spaces.
Starting from the meaning of the conjugate of a complex Hilbert space, including a related application of the theorem of Fréchet-Riesz (by which an analysis of semilinear operators can be reduced to - linear - operator theory) to a revisit of applications of nuclear and absolutely p-summing operators in algebraic quantum field theory in the sense of Araki, Haag and Kastler (p=2) and more recently in the framework of general probabilistic spaces (p=1), we will outline that Banach operator ideals in the sense of Pietsch, or equivalently tensor products of Banach spaces in the sense of Grothendieck are even lurking in the foundations and philosophy of quantum physics and quantum information theory. In particular, we concentrate on their importance in algebraic quantum field theory. In doing so, we establish a canonical isometric isomorphism between the Hilbert spaces H⊗2(K⊗2L) and (H⊗2K)⊗2L (Theorem 3.8) and revisit the role of trace class operators. A few applications are specified, including the appropriateness of the class of Hilbert-Schmidt operators and an implied Banach operator ideal representation of the tensor product of two complex Hilbert spaces H⊗2K (Proposition 3.4) and a purely linear algebraic description of the quantum teleportation process (Example 3.10).
We propose a model of a quantum N-dimensional system (quNit) based on a quadratic extension of the non-Archimedean field of p-adic numbers. As in the standard complex setting, states and observables of a p-adic quantum system are implemented by suitable linear operators in a p-adic Hilbert space. In particular, owing to the distinguishing features of p-adic probability theory, the states of an N-dimensional p-adic quantum system are implemented by p-adic statistical operators, i.e., trace-one selfadjoint operators in the carrier Hilbert space. Accordingly, we introduce the notion of selfadjoint-operator-valued measure (SOVM)—a suitable p-adic counterpart of a POVM in a complex Hilbert space—as a convenient mathematical tool describing the physical observables of a p-adic quantum system. Eventually, we focus on the special case where N=2, thus providing a description of p-adic qubit states and 2-dimensional SOVMs. The analogies—but also the non-trivial differences—with respect to the qubit states of standard quantum mechanics are then analyzed.
Starting from a thorough analysis of the conjugate H of a complex Hilbert space H, including its significant importance regarding a representation of the tensor product of two complex Hilbert spaces and its impact to the theorem of Fréchet-Riesz over to a revisit of applications of nuclear and absolutely p-summing operators in algebraic quantum field theory (AQFT) in the sense of Araki, Haag and Kastler (p=2) and more recently in the framework of general probabilistic spaces (p=1), we will outline that Banach operator ideals in the sense of Pietsch, or equivalently tensor products of Banach spaces in the sense of Grothendieck are even lurking in the foundations and philosophy of quantum physics and quantum information theory. In particular, we concentrate on their importance in AQFT (Theorem 5.27). In doing so, we revisit the role of trace-class operators in quantum theory and construct the enveloping $\tup{C}^\adj$-algebra, corresponding to an arbitrarily given normed operator ideal (Proposition 5.3 and Theorem 5.5).
Applications are presented, including a purely linear algebraic description of the quantum teleportation process, thereby showing a link to quantum information theory, also due to the emergence of the Hadamard-Walsh transform and the controlled NOT gate (Example 4.18).
All Hilbert spaces discussed in this paper may be nonseparable (and hence infinite-dimensional).