arXiv:2510.17327

Notes an tagged vector space

Filippus Stefanus Roux

Published Oct 20, 2025• 0 citations

Abstract

A generalisation is provided for the notion of tags, often found in physics notation. The properties of tags and their extractors are discussed. It leads to the definition of tagged vector spaces. It is applied in the context of quantum optics, to provide a mathematical description for Dirac notation as used in physics. The commutation relations for ladder operators and a symplectic phase space are derived as consequences of the properties of tagged vector spaces. To incorporate the spatiotemporal and spin degrees of freedom, tags are indexed by functions, leading to a functional representation.

DOI: 10.48550/arxiv.2510.17327

Related papers

Tagged vector space, Part II: function space index and the implied functional integration measure

Filippus S. Roux

The definition of quantum states in terms of tagged vector spaces is generalized to incorporate the spatiotemporal and spin degrees of freedom. Considering a tagged vector space where the index space is a function space, representing the additional degrees of freedom, we obtained axioms for the tags that include a completeness condition expressed in terms of a functional integral with an abstract functional integration measure. Using these axioms, we derive a generating functional for the moments of this functional integration measure. These moments are then used to evaluate the functional integrals of Gaussian functionals, leading to expressions in accordance with those obtained as generalizations of equivalent integrals over a finite number of integration variables. For a Gaussian functional used as a probability distributions, we show that its moments, obtained with this functional integration measure, satisfy Carleman's condition, indicating that the measure is unique.

quant-pharXiv:2511.05974Nov 11, 20250 citations

Vectors

Vectors are reviewed since they are extensively used in electric and magnetic field calculations and in quantum mechanics. A general definition of vectors is given followed by the more familiar Euclidean definition. The algebra of vectors is discussed including their addition, subtraction, multiplication and group characteristics. The matrix and Dirac notation for vectors is introduced and used to present vector transformations via operator matrices. A short description of Hilbert space and its fundamental definition is given. The merging of vectors spaces is discussed in preparation for the development of multiple-spin density matrices.

Royal Society of Chemistry eBooksDec 13, 20160 citations

Vectors

Vectors are reviewed since they are extensively used in electric and magnetic field calculations and in quantum mechanics. A general definition of vectors is given followed by the more familiar Euclidean definition. The algebra of vectors is discussed including their addition, subtraction, multiplication and group characteristics. The matrix and Dirac notations for vectors are introduced and used to present vector transformations via operator matrices. A short description of Hilbert space and its fundamental definition is given. The merging of vector spaces is discussed in preparation for the development of multiple-spin density matrices.

Royal Society of Chemistry eBooksSep 12, 20250 citations

Linear Algebra and the Dirac Notation

Phillip Kaye, Raymond Laflamme, Michele Mosca

We assume the reader has a strong background in elementary linear algebra. In this section we familiarize the reader with the algebraic notation used in quantum mechanics, remind the reader of some basic facts about complex vector spaces, and introduce some notions that might not have been covered in an elementary linear algebra course. The linear algebra notation used in quantum computing will likely be familiar to the student of physics, but may be alien to a student of mathematics or computer science. It is the Dirac notation, which was invented by Paul Dirac and which is used often in quantum mechanics. In mathematics and physics textbooks, vectors are often distinguished from scalars by writing an arrow over the identifying symbol: e.g a⃗. Sometimes boldface is used for this purpose: e.g. a. In the Dirac notation, the symbol identifying a vector is written inside a ‘ket’, and looks like |a⟩. We denote the dual vector for a (defined later) with a ‘bra’, written as ⟨a|. Then inner products will be written as ‘bra-kets’ (e.g. ⟨a|b⟩). We now carefully review the definitions of the main algebraic objects of interest, using the Dirac notation. The vector spaces we consider will be over the complex numbers, and are finite-dimensional, which significantly simplifies the mathematics we need. Such vector spaces are members of a class of vector spaces called Hilbert spaces. Nothing substantial is gained at this point by defining rigorously what a Hilbert space is, but virtually all the quantum computing literature refers to a finite-dimensional complex vector space by the name ‘Hilbert space’, and so we will follow this convention. We will use H to denote such a space. Since H is finite-dimensional, we can choose a basis and alternatively represent vectors (kets) in this basis as finite column vectors, and represent operators with finite matrices. As you see in Section 3, the Hilbert spaces of interest for quantum computing will typically have dimension 2n, for some positive integer n. This is because, as with classical information, we will construct larger state spaces by concatenating a string of smaller systems, usually of size two.

Oxford University Press eBooksNov 16, 20060 citations

Basic formalism

Bipin R. Desai

We summarize below some of the postulates and definitions basic to our formalism, and present some important results based on these postulates. The formalism is purely mathematical in nature with very little physics input, but it provides the structure within which the physical concepts that will be discussed in the later chapters will be framed. State vectors It is important to realize that the Quantum Theory is a linear theory in which the physical state of a system is described by a vector in a complex, linear vector space. This vector may represent a free particle or a particle bound in an atom or a particle interacting with other particles or with external fields. It is much like a vector in ordinary three-dimensional space, following many of the same rules, except that it describes a very complicated physical system. We will be elaborating further on this in the following. The mathematical structure of a quantum mechanical system will be presented in terms of the notations developed by Dirac. A physical state in this notation is described by a “ket” vector, |〉, designated variously as |α〉 or |ψ〉 or a ket with other appropriate symbols depending on the specific problem at hand. The kets can be complex. Their complex conjugates, |〉 * , are designated by 〈| which are called “bra” vectors. Thus, corresponding to every ket vector there is a bra vector. These vectors are abstract quantities whose physical interpretation is derived through their so-called “representatives” in the coordinate or momentum space or in a space appropriate to the problem under consideration.

Cambridge University Press eBooksDec 3, 20090 citations

Representation Theory

Lukong Cornelius Fai

Though the wave formulation has proven successful in describing quantum mechanics, some quantum mechanical properties cannot be characterized by a wave-like description. For example, the electron spin degree of freedom cannot be translated by the action of a gradient operator and so the necessity to reformulate quantum mechanics in a framework of only operators. Note that selecting a representation implies selecting an orthonormal basis which can either be discrete or continuous in the given state space. Vectors and operators are then represented in the given basis as numbers with components imitating vectors and matrix elements imitating operators. It is worthy to note that the selection of a representation is arbitrary and of course depends on the given problem leading to the simplest algebra.

CRC Press eBooksApr 19, 20220 citations