Type-safe Quantum Programming in Idris

About
Privacy
Disclaimer

Graph Chatbot

Related publications (4)

Page 1 of 1

From Master Equation to SPICE: A Platform to Model Cryo-CMOS Control for Qubits

Andrew James Wright Garcia, Edoardo Charbon, Vladimir Pesic

Cryogenic classical electronics for the control of qubits can be placed near quantum processors for a more compact system, ultimately enabling a highly scalable one. However, cryogenic operation poses very strict power requirements on electronics, in addit ...

IEEE2024

Depth-optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits

Giovanni De Micheli, Alessandro Tempia Calvino

The Adiabatic Quantum-Flux Parametron (AQFP) is an energy-efficient superconducting logic family. AQFP technology requires buffer and splitting elements (B/S) to be inserted to satisfy path-balancing and fanout-branching constraints. B/S insertion policies ...

IEEE2023

Entanglement swapping between independent and asynchronous integrated photon-pair sources

Tobias Kippenberg, Arslan Sajid Raja

Integrated photonics represents a technology that could greatly improve quantum communication networks in terms of cost, size, scaling, and robustness. A key benchmark for this is to demonstrate their performance in complex quantum networking protocols, su ...

IOP PUBLISHING LTD2021

Efficient Quantum Algorithms for GHZ and W States, and Implementation on the IBM Quantum Computer

Alix Sébastien Thibaut Jeannerot, Nicolas Macris, Marc-André Dupertuis, Clément Christian Javerzac, Chun Lam Chan

Efficient deterministic algorithms are proposed with logarithmic step complexities for the generation of entangled GHZ(N) and W-N states useful for quantum networks, and an implementation on the IBM quantum computer up to N = 16 is demonstrated. Improved q ...

WILEY2019