Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2308.04627

Beyond trace class -- Tensor products of Hilbert spaces and operator ideals in quantum physics

Frank Oertel

Published Aug 8, 2023• 0 citations
arXivHTMLPDF

Abstract

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\otimes_2 (K \otimes_2 L)$ and $(H \otimes_2 K) \otimes_2 L$ (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 \otimes_2 K$ (Proposition 3.4) and a purely linear algebraic description of the quantum teleportation process (Example 3.10).

DOI
10.48550/arxiv.2308.04627

Related papers

Beyond trace-class and Hilbert-Schmidt -- Interaction between operator ideals and von Neumann algebras in quantum physics

Frank Oertel

Starting from a thorough analysis of the conjugate $\overline{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).

quant-pharXiv:2605.16025•May 18, 2026•0 citations

The tensor product of p -adic Hilbert spaces

Paolo Aniello, Lorenzo Guglielmi, Stefano Mancini +1 more

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.

arXiv:2510.07504•Journal of Mathematical Physics•Mar 1, 2026•0 citations

APPLICATION OF LINEAR OPERATORS AND TENSOR PRODUCTS IN QUANTUM ENTANGLEMENT AND QUANTUM COMPUTING

Sevinchova Charosxon Maxmudjonovna, Worldly Knowledge Publishing Centre

Quantum computing is fundamentally based on the mathematical structure of complex Hilbert spaces, linear operators, tensor products, and unitary transformations. Among these concepts, tensor products provide the formal mechanism for constructing the state space of composite quantum systems, whereas linear and unitary operators describe quantum transformations, measurements, and computational gates. This article examines the mathematical relationship between linear operators and tensor products and analyzes their role in the formation, manipulation, and characterization of quantum entanglement. Particular attention is given to two-qubit systems, separable and entangled states, Schmidt decomposition, controlled operations, and the role of non-factorizable operators in quantum circuits. The analysis demonstrates that tensor products perform a dual function: they provide the mathematical representation of composite systems and enable the construction of local operations acting on individual subsystems. At the same time, genuinely entangling transformations, such as the controlled-NOT operation, cannot in general be represented as a single tensor product of independent local operators. Recent research further demonstrates that tensor-product and operator-Schmidt decompositions can be used to characterize operator entanglement, reduce circuit complexity, and construct efficient representations of quantum processes. The results establish that linear algebra and tensor-product structures are not merely formal tools but constitute the mathematical foundation connecting quantum entanglement with quantum computation.

HSR (London)•Oct 8, 2026•0 citations

Separable states and positive maps II

Erling Størmer

Using the natural duality between linear functionals on tensor products of $C^*$-algebras with the trace class operators on a Hilbert space $H$ and linear maps of the $C^*$-algebra into $B(H)$, we give two characterizations of separability, one relating it to abelianness of the definite set of the map, and one on tensor products of nuclear and UHF $C^*$-algebras.

MATHEMATICA SCANDINAVICA•Dec 1, 2009•15 citations

Continuous frames in tensor product Hilbert spaces, localization operators and density operators

Péter Balázs, Nenad Teofanov

Abstract Continuous frames and tensor products are important topics in theoretical physics. This paper combines those concepts. We derive fundamental properties of continuous frames for tensor product of Hilbert spaces. This includes, for example, the consistency property, i.e. preservation of the frame property under the tensor product, and the description of the canonical dual tensors by those on the Hilbert space level. We show the full characterization of all dual systems for a given continuous frame, a result interesting by itself, and apply this to dual tensor frames. Furthermore, we discuss the existence on non-simple tensor product (dual) frames. Continuous frame multipliers and their Schatten class properties are considered in the context of tensor products. In particular, we give sufficient conditions for obtaining partial trace multipliers of the same form, which is illustrated with examples related to short-time Fourier transform and wavelet localization operators. As an application, we offer an interpretation of a class of tensor product continuous frame multipliers as density operators for bipartite quantum states, and show how their structure can be restricted to the corresponding partial traces.

arXiv:2107.06628•Journal of Physics A Mathematical and Theoretical•Feb 16, 2022•5 citations

Banach space formalism of quantum mechanics

Zeqian Chen

This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space $\mathbb{X}$ with a given semi-inner product, a pure state is defined by Lumer \cite{Lumer1961} to be a bounded linear functional on the space of bounded operators determined by a normalized element of $\mathbb{X}$ under the semi-inner product, and then the state space $\mathcal{S} (\mathbb{X})$ of the system is the weakly closed convex set spanned by all pure states. Based on Lumer's notion of the state, we associate a quantum system with a complex Banach space $\mathbb{X}$ equipped with a fixed semi-inner product, and then define a physical event at a quantum state $ω\in \mathcal{S}(\mathbb{X})$ to be a projection $P$ (bounded operator such that $P^2 =P$) in $\mathbb{X}$ satisfying the positivity condition $0 \le ω(P) \le 1,$ and a physical quantity at a quantum state $ω$ to be a spectral operator of scalar type with real spectrum so that the associated spectral projections are all physical events at $ω.$ The Born formula for measurement of a physical quantity is the natural pairing of operators with linear functionals satisfying the probability conservation law. A time evolution of the system is governed by a one-parameter group of invertible spectral operators determined by a scalar type operator with the real spectrum, which satisfies the Schrödinger equation. Our formulation is just a generalization of the Dirac-von Neumann formalism of quantum mechanics to the Banach space setting. We include some examples for illustration.

arXiv:2306.05630•Jun 9, 2023•1 citation
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 ppp-summing operators in algebraic quantum field theory in the sense of Araki, Haag and Kastler (p=2p=2p=2) and more recently in the framework of general probabilistic spaces (p=1p=1p=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)H\otimes_2 (K \otimes_2 L)H⊗2​(K⊗2​L) and (H⊗2K)⊗2L(H \otimes_2 K) \otimes_2 L(H⊗2​K)⊗2​L (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⊗2KH \otimes_2 KH⊗2​K (Proposition 3.4) and a purely linear algebraic description of the quantum teleportation process (Example 3.10).
Starting from a thorough analysis of the conjugate H‾\overline{H}H of a complex Hilbert space HHH, 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 ppp-summing operators in algebraic quantum field theory (AQFT) in the sense of Araki, Haag and Kastler (p=2p=2p=2) and more recently in the framework of general probabilistic spaces (p=1p=1p=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).
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.
Quantum computing is fundamentally based on the mathematical structure of complex Hilbert spaces, linear operators, tensor products, and unitary transformations. Among these concepts, tensor products provide the formal mechanism for constructing the state space of composite quantum systems, whereas linear and unitary operators describe quantum transformations, measurements, and computational gates. This article examines the mathematical relationship between linear operators and tensor products and analyzes their role in the formation, manipulation, and characterization of quantum entanglement. Particular attention is given to two-qubit systems, separable and entangled states, Schmidt decomposition, controlled operations, and the role of non-factorizable operators in quantum circuits. The analysis demonstrates that tensor products perform a dual function: they provide the mathematical representation of composite systems and enable the construction of local operations acting on individual subsystems. At the same time, genuinely entangling transformations, such as the controlled-NOT operation, cannot in general be represented as a single tensor product of independent local operators. Recent research further demonstrates that tensor-product and operator-Schmidt decompositions can be used to characterize operator entanglement, reduce circuit complexity, and construct efficient representations of quantum processes. The results establish that linear algebra and tensor-product structures are not merely formal tools but constitute the mathematical foundation connecting quantum entanglement with quantum computation.
Using the natural duality between linear functionals on tensor products of C∗C^*C∗-algebras with the trace class operators on a Hilbert space HHH and linear maps of the C∗C^*C∗-algebra into B(H)B(H)B(H), we give two characterizations of separability, one relating it to abelianness of the definite set of the map, and one on tensor products of nuclear and UHF C∗C^*C∗-algebras.
Abstract Continuous frames and tensor products are important topics in theoretical physics. This paper combines those concepts. We derive fundamental properties of continuous frames for tensor product of Hilbert spaces. This includes, for example, the consistency property, i.e. preservation of the frame property under the tensor product, and the description of the canonical dual tensors by those on the Hilbert space level. We show the full characterization of all dual systems for a given continuous frame, a result interesting by itself, and apply this to dual tensor frames. Furthermore, we discuss the existence on non-simple tensor product (dual) frames. Continuous frame multipliers and their Schatten class properties are considered in the context of tensor products. In particular, we give sufficient conditions for obtaining partial trace multipliers of the same form, which is illustrated with examples related to short-time Fourier transform and wavelet localization operators. As an application, we offer an interpretation of a class of tensor product continuous frame multipliers as density operators for bipartite quantum states, and show how their structure can be restricted to the corresponding partial traces.
This paper presents a generalization of quantum mechanics from conventional Hilbert space formalism to Banach space one. We construct quantum theory starting with any complex Banach space beyond a complex Hilbert space, through using a basic fact that a complex Banach space always admits a semi-inner product. Precisely, in a complex Banach space X\mathbb{X}X with a given semi-inner product, a pure state is defined by Lumer \cite{Lumer1961} to be a bounded linear functional on the space of bounded operators determined by a normalized element of X\mathbb{X}X under the semi-inner product, and then the state space S(X)\mathcal{S} (\mathbb{X})S(X) of the system is the weakly closed convex set spanned by all pure states. Based on Lumer's notion of the state, we associate a quantum system with a complex Banach space X\mathbb{X}X equipped with a fixed semi-inner product, and then define a physical event at a quantum state ω∈S(X)ω\in \mathcal{S}(\mathbb{X})ω∈S(X) to be a projection PPP (bounded operator such that P2=PP^2 =PP2=P) in X\mathbb{X}X satisfying the positivity condition 0≤ω(P)≤1,0 \le ω(P) \le 1,0≤ω(P)≤1, and a physical quantity at a quantum state ωωω to be a spectral operator of scalar type with real spectrum so that the associated spectral projections are all physical events at ω.ω.ω. The Born formula for measurement of a physical quantity is the natural pairing of operators with linear functionals satisfying the probability conservation law. A time evolution of the system is governed by a one-parameter group of invertible spectral operators determined by a scalar type operator with the real spectrum, which satisfies the Schrödinger equation. Our formulation is just a generalization of the Dirac-von Neumann formalism of quantum mechanics to the Banach space setting. We include some examples for illustration.