We present a conception of a novel quantum optical circuits designer, simulator, and visualization tool based on second quantization and the Fock space formalism. Our approach integrates a graph-based representation of quantum optical circuits with an augmented reality (AR) visualization system, enabling intuitive modeling and analysis. The framework ensures quantum correctness, supports real-time circuit generation, and bridges theoretical quantum optics with computational simulation, facilitating interactive quantum system design.
We present a conception of a novel quantum optical circuits designer, simulator, and visualization tool based on second quantization and the Fock space formalism. Our approach integrates a graph-based representation of quantum optical circuits with an augmented reality (AR) visualization system, enabling intuitive modeling and analysis. The framework ensures quantum correctness, supports real-time circuit generation, and bridges theoretical quantum optics with computational simulation, facilitating interactive quantum system design.
Quantum circuit visualizations play an essential role in supporting sense-making and communication of quantum programs. While several tools exist for rendering quantum circuits, they vary widely in encoding options due to idiosyncrasies among machine and platform providers. We observe an opportunity to coalesce these disparate rendering approaches under a single, unified grammar to enable consistent, cross-platform enhancement of quantum circuit visualizations. However, it is unclear how to design such a grammar to best support the quantum computing community. Towards this end, we contribute a design space of quantum circuit visualizations by analyzing 182 static and 12 interactive cases collected from online tutorials and documentations, research publications, public presentations, and prior systems. Based on our analysis, we discuss how our design space relates to existing visualization principles yet exhibits unique aspects. We conclude with opportunities for future systems regarding data structure, cognition, and integrability.
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.
Quantum optics and nanophotonics are the basis of future communications and computation technologies. Thus, there is an ever-increasing need for analysis and design tools that are suitable for large, complex, and multielement systems. However, full quantum analysis of systems requires writing the full quantum Hamiltonian, which is usually possible only in simple cases that are easy to analyze analytically, and especially difficult when the system contains dispersive and dissipative elements. Here we use circuit theory to modularize the modeling of the quantum Hamiltonian, and therefore the entire quantum system. We use the notion of optical metatronics---circuit analog for nanophotonic structures---to model our photonic system as an electronic circuit, and show how each coupling term in the Hamiltonian can be written using classical equivalent circuits. Thus, the quantum-interaction term between any two elements can be analyzed, designed, and optimized using the vast library of circuit engineering tools, which by their very nature enable the design of complex, multielement realistic systems. Our work generalizes the current theoretical treatment of quantized nanophotonic systems, paving the way for a systemic, modularized modeling of large-scale systems.
As quantum computing research continues to thrive, the education of quantum computing becomes increasingly more difficult. The complexity of designing and simulating quantum circuits presents significant challenges to students, educators, and researchers. To address these challenges, we introduce QCanvas, a browser-based interactive platform for design, visualization, and simulation. QCanvas enables users to construct quantum circuits through an intuitive drag-and-drop interface while supporting multiple quantum computing paradigms including qubit-based, photonic, and variational models. The platform seamlessly integrates educational resources with practical circuit construction, allowing users to create annotated, interactive notes and simulations. Circuits designed in the visual interface are automatically translated to executable code for simulation in the cloud or, in future iterations, execution on real quantum hardware. By combining accessibility with comprehensive functionality, QCanvas bridges the gap between theoretical quantum computing concepts and practical implementation, providing a versatile tool for education, collaboration, and algorithm prototyping across the community.
Quantum circuit synthesis is fundamental to the advancement and realization of quantum computing. To support both researchers and learners in exploring the structure and behavior of quantum circuits, this paper presents a dedicated interactive visualization platform specifically designed for quantum circuit synthesis: the Quantum Circuit Synthesis Visualizer (QSynViz). The platform offers intuitive circuit editing, matrix visualization, target-to-circuit distance computation, and dynamic tracking of the synthesis process. By making circuit structures and optimization trajectories visually accessible, QSynViz enables users to directly observe, analyze, and refine circuit designs. Bridging visual intuition with algorithmic insight, QSynViz serves as a powerful tool for circuit optimization, synthesis algorithm evaluation, and quantum computing education.
As quantum computing transitions from theoretical physics to engineering applications, there is a growing need for accessible simulation tools that bridge the gap between abstract linear algebra and practical implementation. While text-based frameworks (like Qiskit or Cirq) are standard, they often present a steep learning curve for students and engineers accustomed to graphical system design. This paper introduces QuVI (Quantum Virtual Instrument), an open-source quantum circuit toolkit developed natively within the NI LabVIEW environment. Moving beyond initial proof-of-concept models, QuVI establishes a robust framework that leverages LabVIEW's "dataflow" paradigm, in which wires represent data and nodes represent operations, to provide an intuitive, visual analog to standard quantum circuit notation while enabling the seamless integration of classical control structures like loops and conditionals. The toolkit's capabilities are demonstrated by constructing and visualizing fundamental quantum algorithms and verifying results against theoretical predictions. By translating "Block Diagrams" directly into quantum state evolutions ("Bloch Spheres"), QuVI offers educators and researchers a powerful platform for prototyping quantum logic without leaving the graphical engineering workspace.