IndisputableMonolith.QuantumComputing.DecoherenceFromBIT

declarations in this module (16)

• def omega_BIT L53
• theorem omega_BIT_pos L56
• theorem omega_BIT_band L62
• def T2_substrate L75
• theorem T2_substrate_pos L78
• theorem T2_substrate_strictly_decreasing L84
• theorem T2_ratio_is_phi_power L103
• def z_rung_transmon L125
• def z_rung_fluxonium L128
• def z_rung_NV L131
• def z_rung_trapped_ion L134
• theorem T2_transmon_to_fluxonium_ratio L137
• theorem T2_transmon_to_trapped_ion_ratio L145
• structure DecoherenceFromBITCert L162
• def decoherenceFromBITCert L174
• theorem decoherence_from_BIT_one_statement L189