PhysLean Documentation

PhysLean.QuantumMechanics.FiniteTarget.Basic

Finite target quantum mechanics #

The phrase 'finite target' is used to describe quantum mechanical systems where the Hilbert space is finite.

Physical examples of such systems include:

A finite target quantum mechanical system with hilbert-space of dimension n and Plank constant is described by a self-adjoint n × n matrix.

Instances For
    @[reducible, inline]

    The Hilbert space associated with a finite target theory A.

    Equations
    Instances For

      Given a finite target QM system A, the time evolution matrix for a t : ℝ, A.timeEvolutionMatrix t is defined as e ^ (- I t /ℏ * A.H).

      Equations
      Instances For

        Given a finite target QM system A, timeEvolution is the linear map from A.V to A.V obtained by multiplication with timeEvolutionMatrix.

        Equations
        Instances For