Demonstratio Mathematica

On Some Consequences of the Functional Generalization of the Parallelogram Identity

Maciej Mączyński

Published Jun 1, 2014• 0 citations

Abstract

Abstract The aim of this paper is to unify the partial results, which up to now, have been dispersed in various publications in order to show the importance of the functional form of parallelogram identity in mathematics and physics. We study vector spaces admitting a real non-negative functional which satisfies an identity analogous to the parallelogram identity in normed vector spaces. We show that this generalized parallelogram identity also implies an equality analogous to the Cauchy-Schwarz inequality. We study the consequences of this identity in real and complex vector spaces, in generalized Riesz spaces and in abelian groups. We give a physical interpretation to these results. For vector spaces of observables and states, we show that the parallelogram identity implies an inequality analogous to Heisenberg’s uncertainty principle (HUP), and we show that we can obtain the standard structure of quantum mechanics from the parallelogram identity, without assuming from the beginning the HUP. The role of complex numbers in quantum mechanics is discussed.

DOI: 10.2478/dema-2014-0040

Related papers

Geometrical approach to the Heisenberg uncertainty relation and its generalization

John Lighton Synge

Abstract Real Hilbert space is a Euclidean space of infinite dimensionality. Complex Hilbert space is less amenable to elementary geometrical intuitions, but these do serve to give structure to the present argument. The familiar process of finding, relative to a vector x, the expectation Ā of a self-adjoint linear operator A, and then using the deviation A — Ā to obtain a dispersion ΔA, may be interpreted as a projection leading to a unit vector e orthogonal to x. If we have n self-adjoint operators Ar, we thus form n unit vectors er orthogonal to x. From a basic property of Hilbert space, the vector c1e1 + c2e2 + ... + cnen has a non-negative norm for arbitrary complex coefficients. This demands the positive-indefinite character of a real quadratic form in 2n variables; equivalently, all its eigenvalues must be non-negative. This leads to inequalities on the dispersions ΔAr, the expectations of the commutators i[Ar, As] and other expectations. For n = 2, this process leads to Schrödinger’s improvement of the Heisenberg inequality. The case n = 3 is here worked out explicitly.

Proceedings of the Royal Society of London A Mathematical and Physical SciencesNov 9, 197114 citations

Heisenberg inequality and the complex field in quantum mechanics

PEKKA J. LAHTI, Maciej Mączyński

Observables A and B satisfy the Heisenberg inequality if the product of their variances has a positive lower bound independent of the state of the system. In the Hilbert space formulation of quantum mechanics it is a consequence of the Schwarz inequality that the Heisenberg-type inequality Var(A,φ)⋅Var(B,φ)≥ (1)/(4) ‖〈Aφ‖Bφ〉−〈Bφ‖Aφ〉‖2 holds for any pair of observables A and B (represented as self-adjoint operators) and for any (vector) state (represented as a unit vector). If inf{‖〈Aφ‖Bφ〉−〈Bφ‖Aφ〉‖ ‖φ∈dom(A) ∩dom(B)}≠0 then A and B satisfy the Heisenberg inequality. In the present paper the derivability of the Heisenberg-type inequality is analyzed within the general theoretical frame of a sum logic. It is shown that any real-valued non-negative function (A,α)→f(A,α) of observables A and of states α, which has a symmetry property f(A+B,α)+f(A−B,α)=2f(A,α)+2f(B,α) with respect to observables, satisfies the Heisenberg-type inequality f(A,α)⋅f(B,α)≥ (1)/(4) ‖ f(A+B,α)−f(A,α)−f(B,α)‖2 for all observables A and B and for all states α. The natural probabilistic realizations f1(A,α)=Exp(A2,α) and f2(A,α)=Var(A,α) of such functions are then analyzed. It turns out that only with the complex extension of the theory can the Heisenberg inequality be attained in the Hilbert space realization of the theory. This is used as an argument in favor of the complex field as the scalar field of quantum mechanics.

Journal of Mathematical PhysicsAug 1, 198727 citations

Mathematical Uncertainty Relations and their Generalization for Multiple Incompatible Observables

Hung Quang Nguyen, Tu Quang Bui

We show that the famous Heisenberg uncertainty relation for two incompatible observables can be generalized elegantly to the determinant form for N arbitrary observables. To achieve this purpose, we propose a generalization of the Cauchy-Schwarz inequality for two sets of vectors. Simple consequences of the N-ary uncertainty relation are also discussed. Keywords: Generalized uncertainty relation, Generalized uncertainty principle, Generalized Cauchy-Schwarz inequality.

VNU Journal of Science Mathematics - PhysicsMar 15, 20170 citations

Quantization of Analysis

Kelvin Lui

In quantum mechanics the replacement of complex vectors with operators is essential to “quantizing” space. Nonetheless, in many physics textbooks there is no justification for this action. Therefore in this thesis I will attempt to understand the mathematical formalism that allows for such a “replacement” to be rigorous. I will approach this topic by first defining a vector spaces and its dual space, a Hilbert space and a conjugate Hilbert space, and an operator space. Next, I will look at the algebraic tensor product of two vector spaces, two Hilbert spaces, and finally two operator spaces. Ultimately we will look at the completion of the tensor product with resect to the minimal norm and show that the minimal norm of a tensor has an analogous inequality to the Cauchy-Schwarz inequality.

Jan 1, 20150 citations

Notes on some inequalities, resulting uncertainty relations and correlations

Krzysztof Urbanowski

We analyze the Schwarz inequality and its generalizations, as well as inequalities resulting from the Jensen inequality. They are used in quantum theory to derive the Heisenberg-Robertson (HR) and Schroedinger-Robertson (SR) uncertainty relation for two non-commuting observables and their generalizations to three or more non-commuting observables. Jensen's inequality, in turn, is helpful in deriving various the "sum uncertainty relations" for two or more observables. Using these inequalities, we derive various types of generalized uncertainty relations for more than two non--commuting observables and analyze their properties and critical points. We also study the connections between the generalizations of the HR and SR uncertainty relations for two and more observables and the correlations of these observables in the state of the quantum system under study. In this analysis, we pay special attention to the consequences of the generalized SR uncertainty relation for three non--commuting observables on their correlations in a given state of a quantum system and to the connections of this relation with the appropriate correlation matrix, whose matrix elements are the quantum versions of the Pearson coefficient. We show also that the SR uncertainty relation (including the generalized ones) can be written in an equivalent way using these Pearson coefficients.

quant-pharXiv:2604.12410Apr 15, 20260 citations

Structural Origins of the Uncertainty Principle: Space-Time Symmetry, Quantum Non-Commutativity, and the Heisenberg Group

ming Cheng

Where does Heisenberg’s uncertainty principle come from? We show that it requires two physical inputs, neither sufficient alone. Space-time symmetry decides which observables are conjugate: momentum generates translations, so [x,p] is constant. Quantum structure, namely the complex structure of Hilbert space, makes observables into generators, so conjugate observables do not commute. The two combine as a non-trivial central extension, the Heisenberg group. At this level the physical and mathematical origins coincide. The uncertainty principle is the Cauchy–Schwarz inequality on the Kähler state space, which is equivalently the quantum Cramér–Rao limit on detecting a symmetry transformation. Phase-space geometry alone is not an origin, and infinite dimension is the price of the canonical bound, not its source.

Oct 13, 20260 citations