Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

Springer series in optical sciences/SPringer series in optical sciences

Mathematical Methods of Quantum Optics

Ravinder Rupchand Puri

Published Jan 1, 2001• 514 citations
Publisher
DOI
10.1007/978-3-540-44953-9

Related papers

FUNCTIONAL METHODS IN QUANTUM OPTICS

V. N. POPOV, Vladimir Sergeevich Yarunin

Series on directions in condensed matter physics•Jun 1, 1990•3 citations

Formal Analysis of Quantum Optics

Mohamed Yousri Mahmoud

At the beginning of the last century, the theory of quantum optics arose and led to a revolution in physics, since it allowed the interpretation of many unknown phenomena and the development of numerous powerful, cutting edge engineering applications, \nsuch as high precision laser technology. The analysis and verification of such applications and systems, however, are very complicated. Moreover, traditional analysis tools, e.g., simulation, numerical methods, computer algebra systems, and paper-and-pencil approaches are not well suited for quantum systems. In the last decade, a new emerging verification technique, called formal methods, became common among engineering domains, and has proven to be effective as an analysis tool. Formal methods \nconsist in the development of mathematical models of the system subject for analysis, and deriving computer-aided mathematical proofs. In this thesis, we propose a framework for the analysis of quantum optics based on formal methods, in particular theorem proving. The framework aims at implementing necessary quantum mechanics and optics concepts and theorems that facilitate the modelling of quantum optical devices and circuits, and then reason about them formally. To this end, the framework \nconsists of three major libraries: 1) Mathematical foundations, which mainly contain the theory of complex-valued-function linear spaces, 2) Quantum mechanics, which develops the general rules of quantum physics, and 3) Quantum Optics, which \nspecializes these rules for light beams and implements all related concepts, e.g., light coherence which is typically emitted by laser sources. On top of these theoretical foundations, we build a library of formal models of a number of optical devices commonly \nused in quantum circuits, including, beam splitters, light displacers, and light phase shifters. Using the proposed framework, we have been able to formally verify common quantum optical computing circuits, namely the Flip gate, CNOT gate, and Mach-Zehnder interferometer.

•Sep 1, 2015•3 citations

Fundamentals of Quantum Optics

Frank Vollmer, Deshui Yu

Biological and medical physics, biomedical engineering•Jan 1, 2020•1 citation

Mathematical methods in quantum optics: the Dicke model

Eduardo Nahmad-Achar, Octavio Castaños, Ramón López–Peña +1 more

We show how various mathematical formalisms, specifically the catastrophe formalism and group theory, aid in the study of relevant systems in quantum optics. We describe the phase transition of the Dicke model for a finite number N of atoms, via three different methods, which led to universal parametric curves for the expectation value of the first quadrature of the electromagnetic field and the expectation value of the number operator, as functions of the atomic relative population. These are valid for all values of the matter–field coupling parameter, and valid for both the ground and first-excited states. Using these mathematical tools, the critical value of the atom–field coupling parameter is found as a function of the number of atoms, from which its critical exponent is derived.

arXiv:1211.6692•Physica Scripta•Feb 11, 2013•30 citations

Fundamentals of Quantum Optics

Pan Stanford eBooks•Aug 20, 2015•23 citations

Symmetry approach to the analysis of coherent structures in quantum optics: Foundations and examples

V. P. Karassiov

A general symmetry method for the discovery and analysis of hidden coherent structures in quantum models with an invariant Hamiltonian is proposed. The method is based on the mathematical concept of dual algebraic pairs, which unifies the actions of invariance groups and algebras of dynamic symmetry. Its efficiency is illustrated by the examples of biphotons and the invariant treatment of unpolarized light quasi-spin clusters, and “optical atoms” in nonlinear quantum-optical models.

Optics and Spectroscopy•Oct 1, 2001•3 citations
At the beginning of the last century, the theory of quantum optics arose and led to a revolution in physics, since it allowed the interpretation of many unknown phenomena and the development of numerous powerful, cutting edge engineering applications, \nsuch as high precision laser technology. The analysis and verification of such applications and systems, however, are very complicated. Moreover, traditional analysis tools, e.g., simulation, numerical methods, computer algebra systems, and paper-and-pencil approaches are not well suited for quantum systems. In the last decade, a new emerging verification technique, called formal methods, became common among engineering domains, and has proven to be effective as an analysis tool. Formal methods \nconsist in the development of mathematical models of the system subject for analysis, and deriving computer-aided mathematical proofs. In this thesis, we propose a framework for the analysis of quantum optics based on formal methods, in particular theorem proving. The framework aims at implementing necessary quantum mechanics and optics concepts and theorems that facilitate the modelling of quantum optical devices and circuits, and then reason about them formally. To this end, the framework \nconsists of three major libraries: 1) Mathematical foundations, which mainly contain the theory of complex-valued-function linear spaces, 2) Quantum mechanics, which develops the general rules of quantum physics, and 3) Quantum Optics, which \nspecializes these rules for light beams and implements all related concepts, e.g., light coherence which is typically emitted by laser sources. On top of these theoretical foundations, we build a library of formal models of a number of optical devices commonly \nused in quantum circuits, including, beam splitters, light displacers, and light phase shifters. Using the proposed framework, we have been able to formally verify common quantum optical computing circuits, namely the Flip gate, CNOT gate, and Mach-Zehnder interferometer.
We show how various mathematical formalisms, specifically the catastrophe formalism and group theory, aid in the study of relevant systems in quantum optics. We describe the phase transition of the Dicke model for a finite number N of atoms, via three different methods, which led to universal parametric curves for the expectation value of the first quadrature of the electromagnetic field and the expectation value of the number operator, as functions of the atomic relative population. These are valid for all values of the matter–field coupling parameter, and valid for both the ground and first-excited states. Using these mathematical tools, the critical value of the atom–field coupling parameter is found as a function of the number of atoms, from which its critical exponent is derived.