5 papers
Distinguishing types of correlated errors in superconducting qubits
Hannah P. Binney, H. Douglas Pinckney, Kate Azar +15
Errors in superconducting qubits that are correlated in time and space can pose problems for quantum error correction codes. Radiation from cosmic and terrestrial sources can incre…
Characterization of Aluminum Microwave SQUID Multiplexers for CENS Detection
James Amidei, Antoine Armatol, Corinne Augier +92
We present the design, fabrication, and characterization of an aluminum-based six-channel microwave SQUID multiplexer (MUX) prototype for transition-edge sensor (TES) readout i…
Characterization of Radiation-Induced Errors in Superconducting Qubits Protected with Various Gap-Engineering Strategies
H. Douglas Pinckney, Thomas McJunkin, Alan W. Hunt +26
Impacts from high-energy particles cause correlated errors in superconducting qubits by increasing the quasiparticle density in the vicinity of the Josephson junctions (JJs). Such…
LeanCat: A Benchmark Suite for Formal Category Theory in Lean (Part I: 1-Categories)
Rongge Xu, Hui Dai, Yiming Fu +5
While large language models (LLMs) have demonstrated impressive capabilities in formal theorem proving, current benchmarks fail to adequately measure library-grounded abstraction -…
Characterization of mini-CryoCube detectors from the Ricochet experiment commissioning at the Institut Laue-Langevin
Antoine Armatol, Corinne Augier, Louis Bailly-Salins +83
The Ricochet experiment aims to measure the coherent elastic neutrino-nucleus scattering process from antineutrinos emitted by a research nuclear reactor operated by the Institut L…