As the title indicates, this chapter presents a brief, self-contained introduction to five fundamental problems in Quantum Information Science (QIS) that are especially well-suited to be formulated as Semi-definite Programs (SDP). We have in mind two audiences. The primary audience comprises of Operations Research (and Computer Science) graduate students who have familiarity with SDPs, but have found it daunting to become even minimally conversant with pre-requisites of QIS. The second audience consists of Physicists (and Electrical Engineers) already knowledgeable with modeling of QIS via SDP but interested in computational tools that are applicable more generally. For both audiences, we strive for rapid access to the unfamiliar material. For the first, we provide just enough required background material (from Quantum Mechanics, treated via matrices, and mapping them in Dirac notation) and simultaneously for the second audience we recreate, computationally in Jupyter notebooks, known closed-form solutions. We hope you will enjoy this introduction and gain understanding of the marvelous connection between SDP and QIS by self-study, or as a short seminar course. Ultimately, we hope this disciplinary outreach will fuel advances in QIS through their fruitful study via SDPs.
As the title indicates, this chapter presents a brief, self-contained introduction to five fundamental problems in Quantum Information Science (QIS) that are especially well-suited to be formulated as Semi-definite Programs (SDP). We have in mind two audiences. The primary audience comprises of Operations Research (and Computer Science) graduate students who have familiarity with SDPs, but have found it daunting to become even minimally conversant with pre-requisites of QIS. The second audience consists of Physicists (and Electrical Engineers) already knowledgeable with modeling of QIS via SDP but interested in computational tools that are applicable more generally. For both audiences, we strive for rapid access to the unfamiliar material. For the first, we provide just enough required background material (from Quantum Mechanics, treated via matrices, and mapping them in Dirac notation) and simultaneously for the second audience we recreate, computationally in Jupyter notebooks, known closed-form solutions. We hope you will enjoy this introduction and gain understanding of the marvelous connection between SDP and QIS by self-study, or as a short seminar course. Ultimately, we hope this disciplinary outreach will fuel advances in QIS through their fruitful study via SDPs.
Semidefinite programs (SDPs) are a class of optimisation problems that find application in numerous areas of physics, engineering and mathematics. Semidefinite programming is particularly suited to problems in quantum physics and quantum information science. Following a review of the theory of semidefinite programming, the book proceeds to describe how it can be used to address a wide range of important problems from across quantum information science. Specific applications include quantum state, measurement, and channel estimation and discrimination, entanglement detection and quantification, quantum distance measures, and measurement incompatibility. Though SDPs have become an increasingly important tool in quantum information science it’s not yet the kind of mathematics students learn routinely. Assuming only a basic knowledge of linear algebra and quantum physics and quantum information, this graduate-level book provides a unified and accessible presentation of one of the key numerical methods used in quantum information science. Whilst the focus is on the theoretical machinery of SDPs, the authors have provided an accompanying GitHub repository containing example code, covering some of the SDPs studied in this book. Part of IOP Series in Quantum Technology. Key features • Accessible for graduate students in science and mathematics. • A unified and accessible presentation of one of the key numerical methods used in quantum information science. • Written by leading researchers on the topic. • Accompanying GitHub repository with sample code.
This work is concerned with the issue of applications of the semi-definite programming (SDP) in the field of quantum information science. Our results of the analysis of certain quantum information protocols using this optimization technique are presented, and an implementation of a relevant numerical tool is introduced. The key method used is NPA discovered by Navascues et al. [Phys. Rev. Lett. 98, 010401 (2007)]. In chapter 1 a brief overview of mathematical methods used in this work is presented. In chapter 2 an introduction to quantum information science is given. Chapter 3 concerns the device-independent (DI) and semi-device-independent (SDI) approaches in quantum cryptography. In chapter 4 our results regarding quantum information protocols which we developed using SDP are described. The results include a new type of quantum key distribution protocol based on Hardy's paradox; several protocols for quantum random number expansion; a method of formulation of SDP relaxations of SDI protocols; and a DI Santha-Vazirani source of randomness amplification protocol. In chapter 5 an introduction to interior point methods is given. In chapter 6 the implementation of our numerical tool dedicated to problems occurring in chapter 4 are discussed and compared with other solutions.
Abstract This paper presents a comprehensive exploration of semi-definite programming (SDP) techniques within the context of quantum information. It examines the mathematical foundations of convex optimization, duality, and SDP formulations, providing a solid theoretical framework for addressing optimization challenges in quantum systems. By leveraging these tools, researchers and practitioners can characterize classical and quantum correlations, optimize quantum states, and design efficient quantum algorithms and protocols. The paper also discusses implementational aspects, such as solvers for SDP and modeling tools, enabling the effective employment of optimization techniques in quantum information processing. The insights and methodologies presented in this paper have proven instrumental in advancing the field of quantum information, facilitating the development of novel communication protocols, self-testing methods, and a deeper understanding of quantum entanglement.
This book introduces quantum computing and quantum communications at the undergraduate level for students in the physical sciences, engineering, and mathematics, assuming no prior knowledge of quantum mechanics. It is a self-contained guide assuming only that the reader is familiar with physics at the college level, calculus (up to and including ordinary differential equations), and some matrix algebra and complex numbers. The book brings the reader up to speed with fundamental concepts in quantum information processing and builds a working knowledge of basic quantum algorithms, quantum error correction, and quantum communication protocols. It covers various models of quantum computation and some of the most common physical realizations of qubits. There is a good number of practice problems and exercises that rely on computer programming with the Qiskit language. The book can be used to prepare students of physics, mathematics, electrical and computer engineering, computer science, optics and photonics, and mathematics for internships and research experiences in quantum information processing, both during and after their undergraduate studies. It also helps those who plan to apply to graduate school and do research in this area. Key Features: Self-contained coverage of quantum computing and quantum communications, from the motivations to the fundamentals and applications, including key concepts and contemporary topics. Contains practice problems and exercises, including some that require programming in Qiskit (the python-based, high-level language for programming quantum computers, adopted by nearly all quantum hardware providers and completely open source). Very light background knowledge assumed, making this book accessible to a variety of majors in the natural sciences, engineering, and mathematics.
A semidefinite program (SDP) is a particular kind of convex optimization problem with applications in operations research, combinatorial optimization, quantum information science, and beyond. In this work, we propose variational quantum algorithms for approximately solving SDPs. For one class of SDPs, we provide a rigorous analysis of their convergence to approximate locally optimal solutions, under the assumption that they are weakly constrained (i.e., N ≫ M , where N is the dimension of the input matrices and M is the number of constraints). We also provide algorithms for a more general class of SDPs that requires fewer assumptions. Finally, we numerically simulate our quantum algorithms for applications such as MaxCut, and the results of these simulations provide evidence that convergence still occurs in noisy settings.
Abstract This comprehensive and self-consistent textbook presents quantum information science, a rapidly evolving interdisciplinary scientific field that will change modern computer science. The book is divided into four parts. The first part starts with a gentle introduction to some important mathematical concepts, followed by a discussion of computational models, linear algebra, and quantum mechanics. The second part explains more advanced topics of quantum mechanics, which are necessary to describe the decoherence of quantum states. The third part includes a presentation of entanglement, early quantum algorithms and quantum simulation, focussing on computational problems that quantum computers can solve faster than classical machines. The last part presents superconducting devices, a promising architecture for the implementation of quantum computers. With more than 200 figures and 100 exercises (with solutions), this book is ideal for a master’s course on quantum information processing. Readers starting a master’s program or a graduate course in physics, computer science, mathematics or quantum engineering will develop a good understanding of the fundamental concepts of the field.