**Are you an EPFL student looking for a semester project?**

Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.

Concept# Stone's theorem on one-parameter unitary groups

Summary

In mathematics, Stone's theorem on one-parameter unitary groups is a basic theorem of functional analysis that establishes a one-to-one correspondence between self-adjoint operators on a Hilbert space and one-parameter families
of unitary operators that are strongly continuous, i.e.,
and are homomorphisms, i.e.,
Such one-parameter families are ordinarily referred to as strongly continuous one-parameter unitary groups.
The theorem was proved by , and showed that the requirement that be strongly continuous can be relaxed to say that it is merely weakly measurable, at least when the Hilbert space is separable.
This is an impressive result, as it allows one to define the derivative of the mapping which is only supposed to be continuous. It is also related to the theory of Lie groups and Lie algebras.
The statement of the theorem is as follows.
Theorem. Let be a strongly continuous one-parameter unitary group. Then there exists a unique (possibly unbounded) operator , that is self-adjoint on and such that
The domain of is defined by
Conversely, let be a (possibly unbounded) self-adjoint operator on Then the one-parameter family of unitary operators defined by
is a strongly continuous one-parameter group.
In both parts of the theorem, the expression is defined by means of the spectral theorem for unbounded self-adjoint operators.
The operator is called the infinitesimal generator of Furthermore, will be a bounded operator if and only if the operator-valued mapping is norm-continuous.
The infinitesimal generator of a strongly continuous unitary group may be computed as
with the domain of consisting of those vectors for which the limit exists in the norm topology. That is to say, is equal to times the derivative of with respect to at . Part of the statement of the theorem is that this derivative exists—i.e., that is a densely defined self-adjoint operator. The result is not obvious even in the finite-dimensional case, since is only assumed (ahead of time) to be continuous, and not differentiable.

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Related publications

Loading

Related people

Loading

Related units

Loading

Related concepts

Loading

Related courses

Loading

Related lectures

Loading

Related MOOCs

Loading

Related units

Related people

Related publications

Related MOOCs

Related courses (4)

Related lectures (45)

Related concepts (7)

No results

No results

CS-308: Quantum computation

The course introduces teh paradigm of quantum computation in an axiomatic way. We introduce the notion of quantum bit, gates, circuits and we treat the most important quantum algorithms. We also touch

PHYS-641: Quantum Computing

After introducing the foundations of classical and quantum information theory, and quantum measurement, the course will address the theory and practice of digital quantum computing, covering fundament

MATH-495: Mathematical quantum mechanics

Quantum mechanics is one of the most successful physical theories. This course presents the mathematical formalism (functional analysis and spectral theory) that underlies quantum mechanics. It is sim

No results

No results

Explores the Stone-von Neumann Theorem and unitary operators on Hilbert spaces.

Covers the proof of unitary group uniqueness and spectral types.

Covers the introduction of scattering amplitude, optical theorem, and unitary operators in quantum mechanics.

Hilbert space

In mathematics, Hilbert spaces (named after David Hilbert) allow the methods of linear algebra and calculus to be generalized from (finite-dimensional) Euclidean vector spaces to spaces that may be infinite-dimensional. Hilbert spaces arise naturally and frequently in mathematics and physics, typically as function spaces. Formally, a Hilbert space is a vector space equipped with an inner product that induces a distance function for which the space is a complete metric space.

Canonical commutation relation

In quantum mechanics, the canonical commutation relation is the fundamental relation between canonical conjugate quantities (quantities which are related by definition such that one is the Fourier transform of another). For example, between the position operator x and momentum operator px in the x direction of a point particle in one dimension, where [x , px] = x px − px x is the commutator of x and px , i is the imaginary unit, and ħ is the reduced Planck's constant h/2π, and is the unit operator.

Stone's theorem on one-parameter unitary groups

In mathematics, Stone's theorem on one-parameter unitary groups is a basic theorem of functional analysis that establishes a one-to-one correspondence between self-adjoint operators on a Hilbert space and one-parameter families of unitary operators that are strongly continuous, i.e., and are homomorphisms, i.e., Such one-parameter families are ordinarily referred to as strongly continuous one-parameter unitary groups.