2025/01/01 by Krishna, K. Mahesh
#46L08 #FOS: Mathematics #General Mathematics (math.GM)
paper · doi:10.48550/arxiv.2502.05154
Let E be a Hilbert C*-module over a unital C*-algebra A. Let A: D(A) ⊆ E → E and B: D(B)⊆ E→ E be possibly unbounded self-adjoint morphisms. Then for all x ∈ D(AB)∩ D(BA) with ⟨ x, x ⟩ =1, we show that (1) Δx(B)2dx(A)2+Δx(A)2dx(B)2≥ \frac(⟨ \A,B\x, x ⟩ -\⟨ Ax, x ⟩,⟨ Bx, x ⟩\)2-(⟨ [A,B]x, x ⟩ +[⟨ Ax, x ⟩,⟨ Bx, x ⟩])22 and (2) Δx(A)Δx(B)≥ \frac√‖(⟨ \A,B\x, x ⟩ -\⟨ Ax, x ⟩,⟨ Bx, x ⟩\)2-(⟨ [A,B]x, x ⟩ +[⟨ Ax, x ⟩,⟨ Bx, x ⟩])2‖2, where Δx(A):= ‖Ax-⟨ Ax, x ⟩ x ‖, dx(A):= √(⟨ Ax, Ax ⟩ -⟨ Ax, x ⟩2), [A,B] := AB-BA, \A,B\:= AB+BA, \⟨ Ax, x ⟩,⟨ Bx, x ⟩\:= ⟨ Ax, x ⟩⟨ Bx, x ⟩ +⟨ Bx, x ⟩⟨ Ax, x ⟩, [⟨ Ax, x ⟩,⟨ Bx, x ⟩]:= ⟨ Ax, x ⟩⟨ Bx, x ⟩ -⟨ Bx, x ⟩⟨ Ax, x ⟩. We call Inequalities (1) and (2) as noncommutative Heisenberg-Robertson-Schrodinger uncertainty principles. They reduce to the Heisenberg-Robertson-Schrodinger uncertainty principle (derived by Schrodinger in 1930) whenever A=ℂ.