A method of defining structural information in Hilbert space is described. Instead of commencing an information theory analysis with a simple signal and progressing to an n-dimensional information space, the reverse procedure can be followed: the signal is defined completely in both real and imaginary spaces, and is then represented as a dimensionless number in Hilbert space. Thus, a signal can be analyzed into a Hilbert space measure of information. This measure has similarities to the relativity of states of Everett's (1957) reformulation of quantum mechanics involving observer-observed interaction. Whereas Everett's theory deals with the totality of all possible ways in which a state function can be decomposed into the sum of products of state functions for subsystems of the overall system, the theory presented here deals with the totality of possible ways in which a Hilbert space measure of signal state can be decomposed by signal definition into reciprocally related measures of the state for subsystems of the overall system. In the overall system presented here, a signal is given a concise representation either as a quadratic form on a Hilbert space, or as a Fourier coefficients in isomorphic function space. The total information content of a signal qualified as a dimensionless number in Hilbert space may be given a representation in familiar units by the use of such methods. A primary postulate of quantum mechanics is obeyed in that all physically relevant information about a system is derivable from the knowledge of the state function of the system. Thus, a signal is defined firstly as an information measure, and secondly in the familiar units of frequency, bandwidth, midperiod, and duration.
A method of defining structural information in Hilbert space is described. Instead of commencing an information theory analysis with a simple signal and progressing to an n-dimensional information space, the reverse procedure can be followed: the signal is defined completely in both real and imaginary spaces, and is then represented as a dimensionless number in Hilbert space. Thus, a signal can be analyzed into a Hilbert space measure of information. This measure has similarities to the relativity of states of Everett's (1957) reformulation of quantum mechanics involving observer-observed interaction. Whereas Everett's theory deals with the totality of all possible ways in which a state function can be decomposed into the sum of products of state functions for subsystems of the overall system, the theory presented here deals with the totality of possible ways in which a Hilbert space measure of signal state can be decomposed by signal definition into reciprocally related measures of the state for subsystems of the overall system. In the overall system presented here, a signal is given a concise representation either as a quadratic form on a Hilbert space, or as a Fourier coefficients in isomorphic function space. The total information content of a signal qualified as a dimensionless number in Hilbert space may be given a representation in familiar units by the use of such methods. A primary postulate of quantum mechanics is obeyed in that all physically relevant information about a system is derivable from the knowledge of the state function of the system. Thus, a signal is defined firstly as an information measure, and secondly in the familiar units of frequency, bandwidth, midperiod, and duration.
The concept of quantum information is introduced as both normed superposition of two orthogonal subspaces of the separable complex Hilbert space and invariance of Hamilton and Lagrange representation of any mechanical system. The base is the isomorphism of the standard introduction and the representation of a qubit to a 3D unit ball, in which two points are chosen.The separable complex Hilbert space is considered as the free variable of quantum information and any point in it (a wave function describing a state of a quantum system) as its value as the bound variable.A qubit is equivalent to the generalization of ‘bit’ from the set of two equally probable alternatives to an infinite set of alternatives. Then, that Hilbert space is considered as a generalization of Peano arithmetic where any unit is substituted by a qubit and thus the set of natural number is mappable within any qubit as the complex internal structure of the unit or a different state of it. Thus, any mathematical structure being reducible to set theory is representable as a set of wave functions and a subspace of the separable complex Hilbert space, and it can be identified as the category of all categories for any functor represents an operator transforming a set (or subspace) of the separable complex Hilbert space into another. Thus, category theory is isomorphic to the Hilbert-space representation of set theory & Peano arithmetic as above.Given any value of quantum information, i.e. a point in the separable complex Hilbert space, it always admits two equally acceptable interpretations: the one is physical, the other is mathematical. The former is a wave function as the exhausted description of a certain state of a certain quantum system. The latter chooses a certain mathematical structure among a certain category. Thus there is no way to be distinguished a mathematical structure from a physical state for both are described exhaustedly as a value of quantum information. This statement in turn can be utilized to be defined quantum information by the identity of any mathematical structure to a physical state, and also vice versa. Further, that definition is equivalent to both standard definition as the normed superposition and invariance of Hamilton and Lagrange interpretation of mechanical motion introduced in the beginning of the paper.Then, the concept of information symmetry can be involved as the symmetry between three elements or two pairs of elements: Lagrange representation and each counterpart of the pair of Hamilton representation. The sense and meaning of information symmetry may be visualized by a single (quantum) bit and its interpretation as both (privileged) reference frame and the symmetries 𝑈𝑈(1), 𝑆𝑆𝑆 (2), and 𝑆𝑆𝑆 (3) of the Standard model.
It is not surprising that our language should be incapable of describing processes occurring within atoms, for, as has been remarked, it was invented to describe the experiences of daily life, … Fortunately, mathematics is not subject to this limitation, and it has been possible to invent a mathematical scheme–the quantum theory–which seems entirely adequate for the treatment of atomic processes. Werner Heisenberg, The Physical Principles of the Quantum Theory (1930) In this chapter we introduce the mathematical structure of quantum theory, for a finite number of systems and finite dimension, starting from three simple Hilbert-space postulates, and based on the intuitive notions of state, transformation, and effect, within a causal context. Such notions will be formalized in a general non-causal context in Chapter 3, which is devoted to the informational framework. We will assume the reader has a basic knowledge of matrix analysis and of operators over Hilbert spaces. Comments about the extension to infinite dimensions, continuous outcome-spaces, and infinitely many systems can be found in the notes at the end of the chapter. From the three simple Hilbert-space postulates, the present chapter extracts six principles, which will become the postulates for quantum theory in the axiomatic derivation presented in Part III of the book. In addition, we will take the opportunity to present and explore many relevant features of the theory – including its convex and causal structure, the Choi–Jamiołkowski isomorphism, and relevant notions, such as those of POVM, complete positivity of maps, quantum operation and channels, entangled states, state discrimination, tomography of states, and transformations. The purification principle will open the stage to the dilation theorems of the theory of quantum open systems, along with other consequences, such as the existence of faithful and steering states, the theorem of no information without disturbance, quantum teleportation, and more. We will review the quantum no-cloning and no-programming theorems, and finally provide a thorough derivation of the theory of quantum channel inversion, which is the backbone of the general theory of quantum error correction in quantum information. Additional interesting topics will be classical information theory as a restriction of quantum information theory, and a critical reconsideration of the von Neumann postulate and the notion of observable.
Hitherto communication theory was based on two alternative methods of signal analysis. One is the description of the signal as a function of time; the other is Fourier analysis. Both are idealizations, as the first method operates with sharply defined instants of time, the second with infinite wave-trains of rigorously defined frequencies. But our everyday experiences—especially our auditory sensations—insist on a description in terms of both time and frequency. In the present paper this point of view is developed in quantitative language. Signals are represented in two dimensions, with time and frequency as co-ordinates. Such two-dimensional representations can be called “information diagrams,” as areas in them are proportional to the number of independent data which they can convey. This is a consequence of the fact that the frequency of a signal which is not of infinite duration can be defined only with a certain inaccuracy, which is inversely proportional to the duration, and vice versa. This “uncertainty relation” suggests a new method of description, intermediate between the two extremes of time analysis and spectral analysis. There are certain “elementary signals” which occupy the smallest possible area in the information diagram. They are harmonic oscillations modulated by a “probability pulse.” Each elementary signal can be considered as conveying exactly one datum, or one “quantum of information.” Any signal can be expanded in terms of these by a process which includes time analysis and Fourier analysis as extreme cases.These new methods of analysis, which involve some of the mathematical apparatus of quantum theory, are illustrated by application to some problems of transmission theory, such as direct generation of single sidebands, signals transmitted in minimum time through limited frequency channels, frequency modulation and time-division multiplex telephony.
Quantum theory, in its conventional formulation, is built on the theory of Hilbert spaces and operators. In this chapter we go through this basic material, which is central for the rest of the book. Our treatment is mainly intended as a refresher and a summary of useful results. It is assumed that the reader is already familiar with some of these concepts and elementary results, at least in the case of finite-dimensional inner product spaces. We present proofs for propositions and theorems only if the proof itself is considered to be instructive and illustrative. This gives us the freedom to present the material in a topical order rather than in the strict order of mathematical implication. Good references for this chapter are the functional analysis textbooks by Conway [45], Pedersen [113] and Reed and Simon [121]. These books also contain the proofs that we skip here. Hilbert spaces As an introduction, before a formal definition is given, one may think of a Hilbert space as the closest possible generalization of the inner product spaces c d to infinite dimensions. Actually, there are no finite-dimensional Hilbert spaces (up to isomorphisms) other than c d spaces. The crucial requirement of completeness becomes relevant only in infinite-dimensional spaces. This defining property of Hilbert spaces guarantees that they are well-behaved mathematical objects, and many calculations can be done almost as easily as in c d .
The Jordan structure of finite-dimensional quantum theory is derived, in a conspicuously easy way, from a few simple postulates concerning abstract probabilistic models (each defined by a set of basic measurements and a convex set of states). The key assumption is that each system A can be paired with an isomorphic conjugate system, A¯ , by means of a non-signaling bipartite state ηA perfectly and uniformly correlating each basic measurement on A with its counterpart on A¯ . In the case of a quantum-mechanical system associated with a complex Hilbert space H , the conjugate system is that associated with the conjugate Hilbert space H , and ηA corresponds to the standard maximally entangled EPR state on H⊗H¯ . A second ingredient is the notion of a reversible filter , that is, a probabilistically reversible process that independently attenuates the sensitivity of detectors associated with a measurement. In addition to offering more flexibility than most existing reconstructions of finite-dimensional quantum theory, the approach taken here has the advantage of not relying on any form of the ``no restriction" hypothesis. That is, it is not assumed that arbitrary effects are physically measurable, nor that arbitrary families of physically measurable effects summing to the unit effect, represent physically accessible observables. (An appendix shows how a version of Hardy's ``subpace axiom" can replace several assumptions native to this paper, although at the cost of disallowing superselection rules.)
The concepts of classical information theory can be extended to quantum information theory. Since in general measurement yields a result with probability, we may suggest using these probabilities in classical information theory. However the probabilities do not contain phase information, which cannot be neglected. Thus the definitions are given in terms of the density operator. These probabilities depend on the basis used for measurement. A density operator ρ over a n-dimensional Hilbert space H is a positive operator with unit trace. The trace tr(A) is defined as tr(A):=j=1∑n⟨βj∣A∣βj⟩ where β j for j = 1,..., n is any orthonormal basis in HThus tr(P)=1. The eigenvalues of a density operator are greater than zero. By the spectral theorem every density operator can be represented as a mixture of pure states ρ=j=1∑nPj∣⟨aj⟨aj∣ where α j for j = 1,..., n are the orthonormal eigenvectors of ρ (which form a basis in H and pj∈R,pj0,j=1∑npj=1