Quantum Hamiltonian Complexity


Book Description

This monograph provides an introduction to the rapidly growing field of Quantum Hamiltonian Complexity, which includes the study of quantum constraint satisfaction problems. It provides a computer science-oriented introduction to the subject in order to help bridge the language barrier between computer scientists and physicists in the field.




FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science


Book Description

This book constitutes the refereed proceedings of the 24th International Conference on the Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2004, held in Chennai, India, in December 2004. The 35 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 176 submissions. The papers address a broad variety of current issues in software science, programming theory, systems design and analysis, formal methods, mathematical logic, mathematical foundations, discrete mathematics, combinatorial mathematics, complexity theory, automata theory, and theoretical computer science in general.




Computational Complexity


Book Description

New and classical results in computational complexity, including interactive proofs, PCP, derandomization, and quantum computation. Ideal for graduate students.




Classical and Quantum Computation


Book Description

An introduction to a rapidly developing topic: the theory of quantum computing. Following the basics of classical theory of computation, the book provides an exposition of quantum computation theory. In concluding sections, related topics, including parallel quantum computation, are discussed.




Quantum Proofs


Book Description

Quantum Proofs provides an overview of many of the known results concerning quantum proofs, computational models based on this concept, and properties of the complexity classes they define. In particular, it discusses non-interactive proofs and the complexity class QMA, single-prover quantum interactive proof systems and the complexity class QIP, statistical zero-knowledge quantum interactive proof systems and the complexity class QSZK, and multiprover interactive proof systems and the complexity classes QMIP, QMIP*, and MIP*. Quantum Proofs is mainly intended for non-specialists having a basic background in complexity theory and quantum information. A typical reader may be a student or researcher in either area desiring to learn about the fundamentals of the (actively developing) theory of quantum interactive proofs.




Quantum Information Theory


Book Description

A self-contained, graduate-level textbook that develops from scratch classical results as well as advances of the past decade.




Galileo Unbound


Book Description

Galileo Unbound traces the journey that brought us from Galileo's law of free fall to today's geneticists measuring evolutionary drift, entangled quantum particles moving among many worlds, and our lives as trajectories traversing a health space with thousands of dimensions. Remarkably, common themes persist that predict the evolution of species as readily as the orbits of planets or the collapse of stars into black holes. This book tells the history of spaces of expanding dimension and increasing abstraction and how they continue today to give new insight into the physics of complex systems. Galileo published the first modern law of motion, the Law of Fall, that was ideal and simple, laying the foundation upon which Newton built the first theory of dynamics. Early in the twentieth century, geometry became the cause of motion rather than the result when Einstein envisioned the fabric of space-time warped by mass and energy, forcing light rays to bend past the Sun. Possibly more radical was Feynman's dilemma of quantum particles taking all paths at once — setting the stage for the modern fields of quantum field theory and quantum computing. Yet as concepts of motion have evolved, one thing has remained constant, the need to track ever more complex changes and to capture their essence, to find patterns in the chaos as we try to predict and control our world.




Quantum Computing Since Democritus


Book Description

Takes students and researchers on a tour through some of the deepest ideas of maths, computer science and physics.




A Mathematical Introduction to Electronic Structure Theory


Book Description

Based on first principle quantum mechanics, electronic structure theory is widely used in physics, chemistry, materials science, and related fields and has recently received increasing research attention in applied and computational mathematics. This book provides a self-contained, mathematically oriented introduction to the subject and its associated algorithms and analysis. It will help applied mathematics students and researchers with minimal background in physics understand the basics of electronic structure theory and prepare them to conduct research in this area. The book begins with an elementary introduction of quantum mechanics, including the uncertainty principle and the Hartree?Fock theory, which is considered the starting point of modern electronic structure theory. The authors then provide an in-depth discussion of two carefully selected topics that are directly related to several aspects of modern electronic structure calculations: density matrix based algorithms and linear response theory. Chapter 2 introduces the Kohn?Sham density functional theory with a focus on the density matrix based numerical algorithms, and Chapter 3 introduces linear response theory, which provides a unified viewpoint of several important phenomena in physics and numerics. An understanding of these topics will prepare readers for more advanced topics in this field. The book concludes with the random phase approximation to the correlation energy. The book is written for advanced undergraduate and beginning graduate students, specifically those with mathematical backgrounds but without a priori knowledge of quantum mechanics, and can be used for self-study by researchers, instructors, and other scientists. The book can also serve as a starting point to learn about many-body perturbation theory, a topic at the frontier of the study of interacting electrons.




Quantum Computing


Book Description

Quantum mechanics, the subfield of physics that describes the behavior of very small (quantum) particles, provides the basis for a new paradigm of computing. First proposed in the 1980s as a way to improve computational modeling of quantum systems, the field of quantum computing has recently garnered significant attention due to progress in building small-scale devices. However, significant technical advances will be required before a large-scale, practical quantum computer can be achieved. Quantum Computing: Progress and Prospects provides an introduction to the field, including the unique characteristics and constraints of the technology, and assesses the feasibility and implications of creating a functional quantum computer capable of addressing real-world problems. This report considers hardware and software requirements, quantum algorithms, drivers of advances in quantum computing and quantum devices, benchmarks associated with relevant use cases, the time and resources required, and how to assess the probability of success.