Compared to other semiconductor quantum computing platform, it is relatively untouched about the verification of linear-optical quantum computing (LOQC) platform. To overcome this problem, we propose a universal and versatile software platform which can support any variation of LOQC layout structure. It also supports the user-friendly interface for smooth experiment.
Compared to other semiconductor quantum computing platform, it is relatively untouched about the verification of linear-optical quantum computing (LOQC) platform. To overcome this problem, we propose a universal and versatile software platform which can support any variation of LOQC layout structure. It also supports the user-friendly interface for smooth experiment.
Optical quantum computers represent qubits as photons created by laser and implement arbitrary quantum operations through Mach-Zehnder interferometers (MZIs) which is called linear optical quantum computing (LOQC). Since the number of qubits and quantum system is getting bigger, we need a scalable and universal quantum computing platform based on LOQC. In this work, we propose a software framework which can support a universal programming with flexibility of LOQC hardware configuration. The framework consists of four parts such as decomposer, mapper, controller, and user-interface controller. As an example, we show a use case of this framework for Bell state generation on Recket al.’s MZI network.
Photonic systems offer a promising platform for interconnecting quantum processors and enabling scalable, networked architectures. Designing and verifying such architectures requires a unified formalism that integrates linear algebraic reasoning with probabilistic and control-flow structures. In this work, we introduce a graphical framework for distributed quantum computing that brings together linear optics, the ZX-calculus, and dataflow programming. Our language supports the formal analysis and optimization of distributed protocols involving both qubits and photonic modes, with explicit interfaces for classical control and feedforward, all expressed within a synchronous dataflow model with discrete-time dynamics. Within this setting, we classify entangling photonic fusion measurements, show how their induced Pauli errors can be corrected via a novel flow structure for fusion networks, and establish correctness proofs for new repeat-until-success protocols enabling arbitrary fusions. Layer by layer, we construct qubit architectures incorporating practical optical components such as beam splitters, switches, and photon sources, with graphical proofs that they are deterministic and support universal quantum computation. Together, these results establish a foundation for verifiable compilation and automated optimization in networked quantum computing.
Quantum microarchitecture is a key component in bridging the gap between quantum software and quantum hardware of a fully programmable quantum computer. Confronting the control problem of superconducting quantum processors, an experimental microarchitecture (QuMA) has been proposed in previous work. As the size of the target quantum chip continues to evolve, the complexity of QuMA scales up accordingly. This increase in complexity has led to a growing challenge in QuMA’s design, development, and verification. To solve these problems, we build a QuMA simulator which can automate the current QuMA verification process and accelerate the design phase of QuMA. We called this simulator QuMAsim. The first version of QuMAsim is based on CC-Light, an instance of QuMA for controlling a surface-7 superconducting qubit chip. Then this simulator is extended to be self-configurable for different quantum chips. Several applications are built based on this simulator. The verification platform consists of the simulator, the VHDL implementation of QuMA and a validator is designed to automate the verification procedure. In addition, we built a quantum virtual machine based on QuMAsim, which includes other quantum software and simulators to simulate the execution of quantum algorithms on each layer of the quantum computer. We demonstrate the potential of QuMAsim by performing some experiments with it and its applications, including the gearbox circuit simulation.
In a world of various competing quantum computing architectures, hardware-agnostic, full-stack platforms are necessary to bring the full power of quantum computing hardware to domain experts via the cloud. QCI Connect and its Software Development Kit provide a reference architecture for a full-stack platform with a modular design and open-source interface definitions, built to facilitate a community-driven application ecosystem. Here, we present its overall design and features, central interfaces, and lessons learned, both for users of the platform and as a reference guide for future developments.
In this work we discuss linear-optical quantum computing (LOQC). At first, we analyse the basic concepts of quantum optics, such as quantization of the eletromagnetic field, Fock state representation and linear-optical elements. We also discuss what is quantum computing and what resources are necessary to build a quantum computer, hopefully one that can solve problems beyond the capabilities of our current computational devices. We also discuss the measurement-based model of quantum
computing, which is especially suited for a linear-optical implementation. Finally, we join this two branches of physics. We discuss how to store quantum information, or quantum bits, in the state of the eletromagnetic field and how to can generate the necesssary dynamics on these states
Design, simulation, analysis and verification methodologies are crucial for developing electronic circuits and systems at large. Whereas long-standing EDA software is used in the semiconductor technology, there is no counterpart for quantum computing systems yet. Although the quantum computing community started utilizing and adapting some of the already existing EDA tools, for instance, to design quantum processors and control electronics for driving the qubits, or even to solve some quantum computing design tasks, they do not fully use the expertise gained over the last decades in the field of design automation. Current intermediate-scale quantum computers have been designed in an ‘adhoc’ manner with heterogeneous methods and tools. As we are entering the large-scale era, it is timely and key to further adopt EDA methodologies and software for quantum computing. In this paper, we provide an overview on how full-stack quantum computing systems are being implemented nowadays and discuss which the main challenges are for transitioning from this current scenario to a comprehensive framework encompassing full automated system-wide architecting, design, simulation, verification, and test.