Documentation
QEC1
Search
return to top
source
Imports
Init
QEC1.Definitions.Def_10_FaultTolerantGaugingProcedure
QEC1.Definitions.Def_11_SpacetimeLogicalFault
QEC1.Definitions.Def_12_SpacetimeFaultDistance
QEC1.Definitions.Def_1_BoundaryAndCoboundaryMaps
QEC1.Definitions.Def_2_GaussLawAndFluxOperators
QEC1.Definitions.Def_3_DeformedOperator
QEC1.Definitions.Def_4_DeformedCode
QEC1.Definitions.Def_5_GaugingMeasurementAlgorithm
QEC1.Definitions.Def_6_CycleSparsifiedGraph
QEC1.Definitions.Def_7_SpaceAndTimeFaults
QEC1.Definitions.Def_8_Detectors
QEC1.Definitions.Def_9_Syndrome
QEC1.Lemmas.Lem_1_DeformedCodeChecks
QEC1.Lemmas.Lem_2_DecongestionLemmaBound
QEC1.Lemmas.Lem_3_SpaceDistance
QEC1.Lemmas.Lem_4_SpacetimeCodeDetectors
QEC1.Lemmas.Lem_5_SpacetimeStabilizers
QEC1.Lemmas.Lem_6_TimeFaultDistance
QEC1.Lemmas.Lem_7_SpaceTimeDecoupling
QEC1.Remarks.Rem_10_FlexibilityOfGraphG
QEC1.Remarks.Rem_11_DesiderataForGraphG
QEC1.Remarks.Rem_12_WorstCaseGraphConstruction
QEC1.Remarks.Rem_13_OptimalCheegerConstant
QEC1.Remarks.Rem_14_ParallelGaugingMeasurement
QEC1.Remarks.Rem_15_FluxCheckMeasurementFrequency
QEC1.Remarks.Rem_16_BoundaryRoundsOverkill
QEC1.Remarks.Rem_17_HypergraphGeneralization
QEC1.Remarks.Rem_18_RelationToLatticeSurgery
QEC1.Remarks.Rem_19_BivariateBicycleCodeNotation
QEC1.Remarks.Rem_1_NotationBinaryVectors
QEC1.Remarks.Rem_20_GrossCodeDefinition
QEC1.Remarks.Rem_21_GrossCodeGaugingMeasurement
QEC1.Remarks.Rem_22_DoubleGrossCodeDefinition
QEC1.Remarks.Rem_23_GeneralizationsBeyondPauli
QEC1.Remarks.Rem_24_ShorStyleMeasurement
QEC1.Remarks.Rem_25_SteaneStyleMeasurement
QEC1.Remarks.Rem_26_CohenEtAlSchemeRecovery
QEC1.Remarks.Rem_2_NotationPauliOperators
QEC1.Remarks.Rem_3_NotationStabilizerCodes
QEC1.Remarks.Rem_4_NotationCheegerConstant
QEC1.Remarks.Rem_5_ExactnessOfSequences
QEC1.Remarks.Rem_6_NoncommutingOperatorsCannotBeDeformed
QEC1.Remarks.Rem_7_CodespaceDimensionAfterGauging
QEC1.Remarks.Rem_8_FreedomInDeformedChecks
QEC1.Remarks.Rem_9_CircuitImplementation
QEC1.Theorems.Cor_1_WorstCaseOverhead
QEC1.Theorems.Thm_1_GaugingMeasurementCorrectness
QEC1.Theorems.Thm_2_FaultTolerantGaugingDistance
Imported by