Current research in Logic is no longer confined to the traditional study of logical consequence or valid inference. As can be witnessed by the range of topics covered in this special issue, the subject matter of logic encompasses several kinds of informational processes ranging from proofs and inferences to dialogues, observations, measurements, communication and computation. What interests us here is its application to quantum physics: how does logic handle informational processes such as observations and measurements of quantum systems? What are the basic logical principles fit to handle and reason about quantum physical processes? These are the central questions in this paper. It is my aim to provide the reader with some food for thought and to give some pointers to the literature that provide an easy access to this field of research. In the next section I give a brief historical sketch of the origin of the quantum logic project. Next I will explain the theory of orthomodular lat-tices in section 2. Section 3 covers the syntax and semantics of traditional
Current research in Logic is no longer confined to the traditional study of logical consequence or valid inference. As can be witnessed by the range of topics covered in this special issue, the subject matter of logic encompasses several kinds of informational processes ranging from proofs and inferences to dialogues, observations, measurements, communication and computation. What interests us here is its application to quantum physics: how does logic handle informational processes such as observations and measurements of quantum systems? What are the basic logical principles fit to handle and reason about quantum physical processes? These are the central questions in this paper. It is my aim to provide the reader with some food for thought and to give some pointers to the literature that provide an easy access to this field of research. In the next section I give a brief historical sketch of the origin of the quantum logic project. Next I will explain the theory of orthomodular lat-tices in section 2. Section 3 covers the syntax and semantics of traditional
Sentences Associated with a Quantum System and Their Truth Values In a sense this chapter is marginal to the content of this volume; the reader can skip it without prejudice to the comprehension of chapters to follow. Quantum logic is a discipline that branched off from the 1936 paper of Birkhoff and von Neumann and has the orthomodular-poset structures encountered in previous chapters as basic mathematical carriers: that is why we think it worthwhile to devote some pages to the subject. But the main interests quantum logic calls into play are in the territory of logicians and philosophers: that is why we (who are neither logicians nor philosophers) shall confine ourselves to a very simplified introduction to the subject. Roughly, the starting question is whether the propositions of a quantum system can be associated with, or can be interpreted as, sentences of a language (or propositional calculus) and which rules this language inherits from the ordered structure of propositions. In raising this question one has in mind the fact that when the physical system is classical its propositions form a Boolean algebra, and Boolean algebras are the algebraic models of the calculus of classical logic. Thus the question above can also be phrased as follows: when a Boolean algebra is relaxed into an orthomodular nondistributive lattice, which logic is it the model of? “Quantum logic” is the name that designates the answer, but there are several views about the content of this name. Here we sketch one approach to a quantum logic.
In the last two decades, the scientific community has witnessed a surge in activity, interesting results, and notable progress in our conceptual understanding of computing and information based on the laws of quantum theory. One of the significant aspects of these developments has been an integration of several fields of inquiry that not long ago appeared to be evolving, more or less, along narrow disciplinary paths without any major overlap with each other. In the resulting body of work, investigators have revealed a deeper connection among the ideas and techniques of (apparently) disparate fields. As is evident from the title of this volume, logic, mathematics, physics, computer science and information theory are intricately involved in this fascinating story. The inquisitive reader might focus, perhaps, on the marriage of the most unlikely and intriguing fields of quantum theory and logic and ask: Why quantum logic? By many, “logic” is deemed to be panacea for faulty intuition. It is often associated with the rules of correct thinking and decision-making, but not necessarily in its most sublime role as a deep intellectual subject underlying the validity of mathematical structures and worthy of investigation and discovery in its own right. Indeed, within the realm of the classical theories of nature, one may encounter situations that defy comprehension, should one hold to the intuition developed through experiencing familiar macroscopic scenarios in our routine impressions of natural phenomena. One such example is a statement within the special theory of relativity that the speed of light is the same in all inertial frames. It certainly defies the common intuition regarding the observation of velocities of familiar objects in relative motion. One might be tempted to dismiss it as contrary to observation. However, while analyzing natural phenomena for objects moving close to the speed of light and, therefore, unfamiliar in the range of velocities we are normally accustomed to, logical deductions based on the postulates of the special relativity theory lead to the correct predictions of experimental observations. There exists an undeniable interconnection between the deepest theories of nature and mathematical reasoning, famously stated by Eugene Wigner as the unreasonable efficacy of mathematics in physical theories.
An essential overview of quantum information Information, whether inscribed as a mark on a stone tablet or encoded as a magnetic domain on a hard drive, must be stored in a physical object and thus made subject to the laws of physics. Traditionally, information processing such as computation occurred in a framework governed by laws of classical physics. However, information can also be stored and processed using the states of matter described by non-classical quantum theory. Understanding this quantum information, a fundamentally different type of information, has been a major project of physicists and information theorists in recent years, and recent experimental research has started to yield promising results. Quantum Approach to Informatics fills the need for a concise introduction to this burgeoning new field, offering an intuitive approach for readers in both the physics and information science communities, as well as in related fields. Only a basic background in quantum theory is required, and the text keeps the focus on bringing this theory to bear on contemporary informatics. Instead of proofs and other highly formal structures, detailed examples present the material, making this a uniquely accessible introduction to quantum informatics. Topics covered include: * An introduction to quantum information and the qubit * Concepts and methods of quantum theory important for informatics * The application of information concepts to quantum physics * Quantum information processing and computing * Quantum gates * Error correction using quantum-based methods * Physical realizations of quantum computing circuits A helpful and economical resource for understanding this exciting new application of quantum theory to informatics, Quantum Approach to Informatics provides students and researchers in physics and information science, as well as other interested readers with some scientific background, with an essential overview of the field.
Perhaps due to its technical complexity, oftentimes one sees in research papers on nonequilibrium quantum field theory (NEqQFT) more emphasis placed on the field-theoretical formalisms than the ideas these sophisticated techniques attempt to capture, or the issues such problems embody. All the more so, we need some basic understanding of the important issues and concepts in nonequilibrium statistical mechanics (NEqSM), and how they are manifested in the context of quantum field theory. Many important advances in this field came from asking such questions and finding out how to answer them in the language of quantum field theory. Because of this somewhat skewed existing emphasis in NEqQFT, and since we do not assume the reader to have had a formal course on NEqSM before, we shall give a brief summary of the basic concepts of NEqSM relevant to the field-theoretical processes discussed in this book. Many fine monographs and reviews written on this subject take a more formal mathematical approach. approach. Since our purpose here is to familiarize readers with these issues and their subtleties, rather than training them to work in the rich field of NEqSM (which includes in addition to the traditional subject matter such as the projection operator formalism and open system concepts, also current topics at their foundation, such as dynamical systems and quantum chaos), we choose to approach these topics in a more intuitive and physical way, sacrificing by necessity rigor and completeness.
In concluding their major survey, “Quantum Logics,” Greechie and Gudder (1975) listed four outstanding directions for future research, the last of which was, “Explain the meaning of the word ‘logic’ in the title of this paper.” Broadly speaking, there are two radically different points of view on this. There is the view that, taken strictly, ‘logic’ is a misnomer: quantum logic studies certain algebraic structures naturally arising from the formal, apparatus of quantum theory, structures which may afford insights into quantum physics, on a number of levels, but which do not in any way involve giving up or replacing classical logical laws. (Cf., e.g., Jauch (1968, p. 77).) In contrast, there is the view that the non-Boolean structures arising from the Hilbert space formalism should be taken as giving rise to a genuine non-classical logic, in conflict with classical logic, but appropriate to the description of quantum mechanical reality.