Documentation
MerLeanBpqc
Search
return to top
source
Imports
Init
MerLeanBpqc.Definitions.Def_10_TotalComplex
MerLeanBpqc.Definitions.Def_11_TensorProductDoubleComplex
MerLeanBpqc.Definitions.Def_12_FiberBundleDoubleComplex
MerLeanBpqc.Definitions.Def_13_AugmentedComplex
MerLeanBpqc.Definitions.Def_14_GraphExpansion
MerLeanBpqc.Definitions.Def_15_TannerCodeLocalSystem
MerLeanBpqc.Definitions.Def_16_DualCode
MerLeanBpqc.Definitions.Def_17_BinaryEntropyFunction
MerLeanBpqc.Definitions.Def_18_CheegerConstant
MerLeanBpqc.Definitions.Def_19_EdgeBoundaryVertex
MerLeanBpqc.Definitions.Def_1_ChainComplex
MerLeanBpqc.Definitions.Def_20_CayleyGraph
MerLeanBpqc.Definitions.Def_21_LPSExpanderGraphs
MerLeanBpqc.Definitions.Def_22_BalancedProductVectorSpaces
MerLeanBpqc.Definitions.Def_23_BalancedProductChainComplex
MerLeanBpqc.Definitions.Def_24_QuotientGraphTrivialization
MerLeanBpqc.Definitions.Def_25_InvariantLabeling
MerLeanBpqc.Definitions.Def_26_BalancedProductTannerCycleCode
MerLeanBpqc.Definitions.Def_27_HorizontalVerticalHomologySplitting
MerLeanBpqc.Definitions.Def_28_IotaPiMaps
MerLeanBpqc.Definitions.Def_29_HorizontalSubsystemBalancedProductCode
MerLeanBpqc.Definitions.Def_2_CochainsCohomology
MerLeanBpqc.Definitions.Def_30_UnipotentSubgroupForLPS
MerLeanBpqc.Definitions.Def_3_ClassicalCode
MerLeanBpqc.Definitions.Def_4_CSSCode
MerLeanBpqc.Definitions.Def_5_LDPCCode
MerLeanBpqc.Definitions.Def_6_SubsystemCSSCode
MerLeanBpqc.Definitions.Def_7_CellComplex
MerLeanBpqc.Definitions.Def_8_CycleGraph
MerLeanBpqc.Definitions.Def_9_DoubleComplex
MerLeanBpqc.Lemmas.Lem_1_RelativeCheeger
MerLeanBpqc.Lemmas.Lem_2_EdgeToVertexExpansion
MerLeanBpqc.Lemmas.Lem_3_RelativeVertexToEdgeExpansion
MerLeanBpqc.Lemmas.Lem_4_KunnethBalancedProduct
MerLeanBpqc.Remarks.Rem_1_BaseField
MerLeanBpqc.Remarks.Rem_2_NotationConventions
MerLeanBpqc.Remarks.Rem_3_ExpandingMatrixDefinition
MerLeanBpqc.Theorems.Cor_1_AlonChungContrapositive
MerLeanBpqc.Theorems.Cor_2_SubsystemCodeParameters
MerLeanBpqc.Theorems.Cor_3_DistanceBalancedFamily
MerLeanBpqc.Theorems.Thm_10_GilbertVarshamovPlus
MerLeanBpqc.Theorems.Thm_11_LPSRamanujan
MerLeanBpqc.Theorems.Thm_12_EncodingRateCircle
MerLeanBpqc.Theorems.Thm_13_HomologicalDistanceBound
MerLeanBpqc.Theorems.Thm_14_CohomologicalDistanceBound
MerLeanBpqc.Theorems.Thm_15_ExplicitFamilyQuantumCodes
MerLeanBpqc.Theorems.Thm_1_KunnethFormula
MerLeanBpqc.Theorems.Thm_2_SmallDoubleComplexHomology
MerLeanBpqc.Theorems.Thm_3_FiberBundleHomology
MerLeanBpqc.Theorems.Thm_4_ProjectionInducesIsomorphism
MerLeanBpqc.Theorems.Thm_5_AlonBoppanaBound
MerLeanBpqc.Theorems.Thm_6_AlonChung
MerLeanBpqc.Theorems.Thm_7_SipserSpielmanExpanderCodeDistance
MerLeanBpqc.Theorems.Thm_8_ExpanderViolatedChecks
MerLeanBpqc.Theorems.Thm_9_ExpanderBitDegree
Imported by