From linear algebra to quantum information

Linear algebra is considered an essential mathematical theory that has many engineering applications. While many theorem provers support linear spaces, they only consider finite dimensional spaces. In addition, available libraries only deal with real vectors, whereas complex vectors are extremely useful in many fields of engineering. In this paper, we propose a new linear space formalization which covers both finite and infinite dimensional complex vector spaces, implemented in HOL-Light. We give the definition of a linear space and prove many properties about its operations, e.g., addition and scalar multiplication. We also formalize a number of related fundamental concepts such as linearity, hermitian operation, self-adjoint, and inner product space. Using the developed linear algebra library, we were able to implement basic definitions about quantum mechanics and use them to verify a quantum beam splitter, an optical device that has many applications in quantum computing.

The well-known theorem from linear algebra on the reducibility of an Hermitian matrix to the diagonal form can be reformulated as follows: For any selfadjoint operator A acting on the finite-dimensional Hilbert space, ℂ N there exists an orthonormal basis (φ k ) k=1 N composed of the eigenvectors of A. The generalization of this result to the case of an operator A = A*, acting on an infinite-dimensional Hilbert space H, by “passing to the limit as N → ∞” is, generally speaking, impossible because a selfadjoint operator may have no eigenvectors in the case where dim H = ∞ (see Example 8.8.1). However, if A is a compact selfadjoint operator, the spectral theorem for A = A* ∈ ℒ(ℂ N ) admits a direct generalization of the indicated type. Section 1 of this chapter deals with the proof of this assertion. In Section 2, we study decompositions in eigenfunctions of selfadjoint integral operators.

This advanced textbook on linear algebra and geometry covers a wide range of classical and modern topics. Differing from existing textbooks in approach, the work illustrates the many-sided applications and connections of linear algebra with functional analysis, quantum mechanics and algebraic and differential geometry. The subjects covered in some

The ability to transfer information securely is essential in the modern world we live in. While the field of cryptography has long researched ways to do this, events over the last couple of years have brought the issues of secure information transfer squarely into the public eye. As a consequence, security and cryptography have quickly become issues of social and political importance, sparking debates about the values of privacy and the role of government. An essential ingredient of modern cryptography is the generation of randomness: cryptographic techniques are built on the premise that one has access to random bits. It is well known, however, that computers cannot produce algorithmically random sequences – that is, sequences with maximal algorithmic information content – but are doomed to produce 'pseudorandomness'. This lack of randomness can be, and has been, exploited to compromise security, see [4]. The active field of quantum information theory has proposed approaches to provide supposedly 'unbreakable' security by exploiting various quantum phenomena. This security unfortunately relies on assumptions about the nature of quantum measurements and their ability to generate random bits. Anton Zeilinger summarises this by postulating that the simplest quantum systems, qubit, can hold only one bit of classical information [6]. This foundational principle is in line with a wider paradigm shift to view quantum information as an extension of classical information, but it is nonetheless unsatisfying to simply postulate this principle, given its importance in determining the practical advantages of quantum information theory. In order to understand better how quantum mechanics can help generate meaningful information, we instead look to relate the outcomes of quantum measurements to formal properties of the system based on more fundamental assumptions. Indeed, we have shown that a) some of the postulated properties of quantum information follow from the formal structure of the theory and b) a purely formal notion of information within a quantum world can generate, via measurement, meaningful and useful information in the macroscopic world (for example, in cryptography). The indeterminism of quantum measurements can be formalised via the notion of value indefiniteness. To explain this concept, let us consider an arbitrary quantum system and ask whether the outcome of a measurement of any observable quantity A (such as the energy of the system, its angular momentum (spin), etc.) is determined prior to the measurement. If this is the case, then we say the observable is value definite with value v(A); otherwise, the observable is value indefinite and v(A) is undefined. Mathematically, one can reduce all observable quantities to so-called projection observables, which can only take the values 0 or 1. Thus, the question of whether the outcome of several measurements can be simultaneously determined in advance can be rephrased in terms of the information 'carried' by a particular system in a definite quantum state. Classically, one expects that all quantities are determined in advance, and hence all observables are value definite. Quantum mechanically, however, the belief is that this is not the case, and the information content of quantum systems is limited. Formulating carefully the notion of value indefiniteness allows us to formalise the notion of (quantum) indeterminism; however, this doesn't help clarify whether quantum systems are indeed value indefinite or not. Staying in this formal framework, the Kochen-Specker theorem [5] provides a first positive result, showing that at least some observables must be value indefinite if one makes the assumption known as non-contextuality, which states that any definite values that exist must be independent of other compatible measurements that may or may not be performed on the system. Under the same assumption, this theorem can be strengthened to show that only one single observable can have the definite value 1 (see [2]). Furthermore, only observables that can be measured simultaneously with this single one can have the definite value 0; the rest must all be value indefinite. Since the preparation of a system involves precisely ensuring that, usually via measurement, the system is in a definite state with respect to some desired observable, this result shows that no other incompatible observable can be value definite. That is, preparing a system in a definite state by making the 'preparation' observable value definite specifies completely the information content of the quantum system. This is an example of syntactical quantum information acquiring meaning at the level of the quantum itself. Can the syntactical information at the level of the quantum generate meaning outside the quantum, that is, at the macroscopic level? The results cited above hold in the Hilbert-space framework of quantum mechanics and are formulated only in terms of a syntactical notion of information. Their real importance becomes evident when one interprets them in the context of quantum measurements. Specifically, if we prepare a quantum system in a known state, they allow us to 'locate' observables which we can measure, but which are value indefinite; that is, observables whose measurement results are not specified by any pre-existing property of the quantum system. Furthermore, with respect to a mathematical model of unpredictability which we developed in [3], the results of these measurements can be shown to be absolutely unpredictable. In this way we get a mathematical explanation and justification of the largely accepted intuition that quantum mechanics is inherently unpredictable, and that this unpredictability arises from the phenomenon of indefiniteness within the quantum world. Furthermore, if one considers a hypothetical infinite sequence generated by the repeated measurement of a quantum value indefinite observable, one can prove that these sequences must be strongly incomputable, technically 'bi-immune' [1]. Such sequences cannot be generated by any Turing machine or classical computer, showing that value indefiniteness leads to a clear classical/quantum split in a purely algorithmic context. Importantly, bi-immunity is a property of observed, macroscopic quantities, quite separate from the quantum framework in which the value indefiniteness is formalised. This form of macroscopic meaning created from the lack of syntactic information is precisely the scenario that quantum random number generators try to create, and which is essential for the development and certification of quantum cryptographic systems. The fact that the macroscopic information created goes beyond anything classically obtainable serves as a valuable practical resource, outside of and removed from the quantum formalism. To conclude, quantum information creates meaning within the quantum and via measure- ment, the lack of information within the quantum, creates meaning and valuable information at the macroscopic level. Acknowledgments The second author thanks Prof. S. Marcus for useful conversations on quantum information theory. This work was supported in part by Marie Curie FP7-PEOPLE-2010-IRSES Grant RANPHYS. References and Notes Abbott, A.A.; Calude, C.S.; Svozil, K. Strong Kochen-Specker theorem and incomputability of quantum randomness. Physical Review A 2012, 86, 062109. Abbott, A.A.; Calude, C.S.; Svozil, K. Value-indefinite observables are almost everywhere. Physical Review A 2013, 89, 032109. Abbott, A.A.; Calude, C.S.; Svozil, K. On the unpredictability of individual quantum measurement outcomes. CDMTCS Research Report 2014, 458. Calude, C.S. Quantum randomness & cryptology. CyberTalk 2013, 3, 42–43. Kochen, S.; Specker, E. The problem of hidden variables in quantum mechanics. Journal of Mathematics and Mechanics 1967, 17, 59–87. Zeilinger, A. A foundational principle for quantum mechanics. Foundations of Physics 1999, 29(4),631–643.

Quantum mechanics, information theory, and relativity theory are the basic foundations of theoretical physics. The acquisition of information from a quantum system is the interface of classical and quantum physics. Essential tools for its description are Kraus matrices and positive operator valued measures (POVMs). Special relativity imposes severe restrictions on the transfer of information between distant systems. Quantum entropy is not a Lorentz covariant concept. Lorentz transformations of reduced density matrices for entangled systems may not be completely positive maps. Quantum field theory, which is necessary for a consistent description of interactions, implies a fundamental trade-off between detector reliability and localizability. General relativity produces new, counterintuitive effects, in particular when black holes (or more generally, event horizons) are involved. Most of the current concepts in quantum information theory may then require a reassessment.

In this section some of the basic concepts of general relativity are introduced. First some necessary linear algebra is presented. Let V be a finite dimensional real vector space. A vector in V can be represented by its components vα in a given basis. The dual space Vα consists of the linear functionals on V, i.e. the linear mappings from V to the real numbers ℝ.

Linear algebra is an important basic course in university mathematics, finite dimensional vector space and linear transformation theory mainly on matrix theory, and the combination of matrix. Concept in linear algebra is defined directly by the mathematical symbol, rarely by example to import. How to make students master the abstract and difficult course, first of all is to let the students find the course in our daily life, to stimulate interest in learning.

Quantum-Information Conservation. The Problem About ‘Hidden Variables’, or the ‘Conservation of Energy Conservation’ in Quantum Mechanics: A Historical Lesson for Future Discoveries

A new semiclassical approach to molecular collision dynamics is developed. In this approach the state of a system is described by a unit vector in Hilbert space. By choosing a reference unit vector and a continuous mapping, a correspondence between the vector in Hilbert space and the point in a label space is established, i.e., the vector in Hilbert space is parametrized or labeled by complex variables. It is shown that the label variables formally obey classical mechanics. Thus, the time evolution of the vectors in Hilbert space, i.e., the evolution of the states of the system, can be determined by calculating the evolution of the label variables classically. To illustrate this idea, the formalism for calculating the vibrational transition probability in the collinear collision A+BC is presented, and a demonstrative calculation for the collinear Secrest–Johnson model of He+H2 vibrationally inelastic scattering has been carried out. The comparison with the exact quantum results shows that the agreement is encouragingly good.

Self-adjoint operators from selected nonsymmetric matrices: application to kinetics and rectification

In this chapter we review the main ideas of linear algebra. The one twist is that we allow our scalars to come from any field instead of just the field of real numbers. In particular, the notion of a vector space over the field \(\mathbb{Z}_{2}\) will be essential in our study of coding theory. We will also need to look at other finite fields when we discuss Reed–Solomon codes. One benefit to working with finite dimensional vector spaces over finite fields is that all sets in question are finite, and so computers can be useful in working with them.

The function , where is Lerch's transcendent, satisfies the following two-dimensional formally self- adjoint second-order hyperbolic differential equation: where . The corresponding differential expression determines a densely defined symmetric operator (the minimal operator) on the Hilbert space , where . We obtain a description of the domains of definition of some symmetric extensions of the minimal operator. We show that formal solutions of the eigenvalue problem for these symmetric extensions are represented by functional series whose structure resembles that of the Fourier series of . We discuss sufficient conditions for these formal solutions to be eigenfunctions of the resulting symmetric differential operators. We also demonstrate a close relationship between the spectral properties of these symmetric differential operators and the distribution of the zeros of some special analytic functions analogous to the Riemann zeta function. Bibliography: 15 titles.

We study orthogonal and symmetric operators in non-Archimedean Hilbert spaces in the connection with p-adic quantization. This quantization describes measurements with finite precision. Symmetric (bounded) operators in the p-adic Hilbert spaces represent physical observables. We study spectral properties of one of the most important quantum operators, namely, the operator of the position (which is represented in the p-adic Hilbert L2-space with respect to the p-adic Gaussian measure). Orthogonal isometric isomorphisms of p-adic Hilbert spaces preserve precisions of measurements. We study properties of orthogonal operators. It is proved that each orthogonal operator in the non-Archimedean Hilbert space is continuous. However, there exist discontinuous operators with the dense domain of definition which preserve the inner product. There also exist nonisometric orthogonal operators. We describe some classes of orthogonal isometric operators and we study some general questions of the theory of non-Archimedean Hilbert spaces (in particular, general connections between topology, norm and inner product).

Weakly closed, commutative, symmetric rings of operators on a Hilbert space are examined and their structure is ex ploited to characterize normal operators in terms of the rings they generate. In the first chapter, notation is established, and the less common theorems from Hilbert space theory not to be used in later sections are briefly reviewed. In Chapter II, the structure of weakly closed, commu tative, symmetric rings with a cyclic vector is specified. This theorem is then used in conjunction with a strucure called a canonical decomposition system to establish that every weakly closed, commutative, symmetric ring or opera tors acting on a separable space and containing the iden tity is spatially isomorphic to a "divect sum" of L rings of a certain type. In Chapter III, two sets of necessary and sufficient conditions are given for two normal operators on a separ able Hilbert space to be unitarily equivalent. The concept of a spectral class of a normal operator is introduced -a natural generalization of the concept of an eigen value. Each spectral class is assigned a multiplicity, and it is shown that two normal operators are unitarily equivalent iff they have the same spectral classes with the same respective multiplicities. A multiplicity is iv also defined for weakly continuous positive functionals o n the symmetric ring generated by a normal operator in the weak topology, and it is shown that this multiplicity function determines the operator. This multiplicity theory is compared w i t h a previous theory. v CHAPTER I INTRODUCTION We shall be concerned in this paper with rings of operators on a Hilbert space, in particular, weakly closed, commutative, symmetric rings. All Hilbert spaces to be considered will be complex Hilbert spaces. If H is a Hilbert space and x,y e H, then (x(y) will denote the inner product of x and y, and 1 Jxi| will denote the norm of x. We shall consider only bounded linear operators in this paper, and therefore we shall use the word "operator" solely to mean a bounded linear operator. The set of all operators on the Hilbert space H will be denoted by B(H). If A s B(H), then A* will denote the adjoint of A, We employ the usual concepts of isometric, unitary, hermitian, normal, and positive definite operators. Knowledge of the weak, strong, strongest, and norm topologies for B(H) is assumed. The norm topology is the strongest of the four; hence, any set of operators closed in one of the topologies is closed in the norm topology. By a ring of operators we shall mean a set of opera tors forming a ring in the usual algebraic sense which is also a vector space over the complex numbers. A ring R of operators is symmetric if A e R whenever A e R. from the theory of Banach algebras, we know that any norm closed, 1 we define an operator A a e BCLg) by A ftf = af* Note that two Ly,, functions which differ only on a set of measure zero give rise to the same operator. The ring of operators thus obtained is a maximal, commutative, symmetric ring. If E is a weakly closed, commutative, symmetric ring with maximal ideal space M, then the fact that E is closed under sups gives rise to some strong topological properties of M. In this case, M is totally disconnected, and the closure of every open set is open. Thus, M contains many sets which are both open and closed, and such sets we call clopen. It is easy to see that projections in E correspond v i a the Gelfand transform to the characteristic functions of clopen sets. If U is a clopen subset of M, then we will let pu denote the corresponding projection in E. pu (m) -JtjjCm) = the characteristic function of U. Throughout the remainder of this discussion, E will denote a weakly closed commutative, symmetric subring of B(H) with identity, and M will denote the maximal ideal space of E. Corresponding to each vector 5 e H, there is a measure u on M defined by The topological properties of M carry strong implications for the resulting measure space. If S = M is measurable, then there exists a clopen set U such that m (S\UUU\S) * 0. If ? is cyclic for E ' , then u is supported on all of M, in ( A $ 0 = J A (m)du(m)

Quantum mechanics is one of the two fundamental pillar of modern physics. The success of the theory can be found everywhere in our everyday life and essentially in every new product that we build. We just have to remember that every semiconductor chip usually uses a quantum behavior in an essential way, for example quantum tunneling, to work. Until now, none of the thousand of experiments realized have succeeded to contradicted or to find a problem with the predictions given by quantum mechanics. However, in spite of this incredible success, many profound questions are still open. For example, we have some problems understanding the measurement, the coherence and the decoherence process, as well as the interpretation of what the theory tell us about the world we live in (Schlosshauer, 2005). Among the possible ways of investigation that we have, we think that stressing the foundations of the theory at the level of the mathematical structure, on which the theory stands, could be a good way to understand why and how the theory works. The mathematical structure of quantum mechanics consists in Hilbert spaces defined over the field of complex numbers (Birkhoff & Von Neumann, 1936). The success of the theory has led a number of investigators, over many decades, to look for general principles or arguments that would lead quite inescapably to the complex Hilbert space structure. It has been argued (Stueckelberg, 1960; Stueckelberg & Guenin, 1961), for instance, that the formulation of an uncertainty principle, heavily motivated by experiment, implies that a real Hilbert space can in fact be endowed with a complex structure. The proof, however, involves a number of additional hypotheses that may not be so directly connected with experiment. In fact Reichenbach (Reichenbach, 1944) has shown that a theory is not straightforwardly deduced from experiments, but rather arrived at by a process involving a good deal of instinctive inferences. This was also pointed out more recently by Penrose (Penrose, 2005, p. 59);