scholarly journals Approximate Equivalence Checking of Noisy Quantum Circuits

2021 ◽  
Author(s):  
Xin Hong ◽  
Mingsheng Ying ◽  
Yuan Feng ◽  
Xiangzhen Zhou ◽  
Sanjiang Li
Keyword(s):  
Quantum Circuits ◽  
Equivalence Checking

scholarly journals Fast equivalence -- checking for quantum circuits

2010 ◽  
Vol 10 (9&10) ◽  
pp. 721-734
Author(s):  
Shigeru Yamashita ◽  
Igor L. Markov
Keyword(s):  
Formal Verification ◽  
Quantum Algorithms ◽  
Quantum Circuits ◽  
Equivalence Checking ◽  
Sat Solvers ◽  
Reversible Circuits ◽  
Verification Tools ◽  
Verification Methodology ◽  
Verification Techniques ◽  
Factoring Algorithm

We perform formal verification of quantum circuits by integrating several techniques specialized to particular classes of circuits. Our verification methodology is based on the new notion of a reversible miter that allows one to leverage existing techniques for simplification of quantum circuits. For reversible circuits which arise as runtime bottlenecks of key quantum algorithms, we develop several verification techniques and empirically compare them. We also combine existing quantum verification tools with the use of SAT-solvers. Experiments with circuits for Shor's number-factoring algorithm, containing thousands of gates, show improvements in efficiency by four orders of magnitude.

scholarly journals Andreev Probe of Persistent Current States in Superconducting Quantum Circuits

2005 ◽  
Vol 95 (14) ◽  
Author(s):  
V. T. Petrashov ◽  
K. G. Chua ◽  
K. M. Marshall ◽  
R. Sh. Shaikhaidarov ◽  
J. T. Nicholls
Keyword(s):  
Persistent Current ◽  
Quantum Circuits ◽  
Superconducting Quantum Circuits

scholarly journals Quantum circuits cannot control unknown operations

2014 ◽  
Vol 16 (9) ◽  
pp. 093026 ◽  
Author(s):  
Mateus Araújo ◽  
Adrien Feix ◽  
Fabio Costa ◽  
Časlav Brukner
Keyword(s):  
Quantum Circuits

scholarly journals Fully in situ Nb/InAs-nanowire Josephson junctions by selective-area growth and shadow evaporation

2021 ◽  
Author(s):  
Pujitha Perla ◽  
H. Aruni Fonseka ◽  
Patrick Zellekens ◽  
Russell Deacon ◽  
Yisong Han ◽  
...  
Keyword(s):  
Magnetic Fields ◽  
Josephson Junctions ◽  
Quantum Circuits ◽  
Selective Area Growth ◽  
Selective Area ◽  
Area Growth ◽  
Shadow Evaporation ◽  
Superconducting Quantum Circuits

Nb/InAs-nanowire Josephson junctions are fabricated in situ by a special shadow evaporation scheme for the superconducting Nb electrode. The junctions are interesting candidates for superconducting quantum circuits requiring large magnetic fields.

Sign in / Sign up

Export Citation Format

Share Document