{"v":1,"stats":{"declarations":9696,"modules":289,"namespaces":99,"areas":16,"documented":6946,"documented_pct":71.6,"undocumented":2750,"sorried":0,"with_attributes":1158,"by_kind":{"theorem":7321,"definition":2120,"constructor":96,"structure":87,"instance":69,"inductive":3},"by_area":{"Information":1984,"Coding":1512,"OneShot":1002,"Protocols":936,"States":744,"Symmetry":700,"Asymptotic":682,"Nonlocality":497,"HypothesisTesting":406,"Security":386,"Util":275,"Core":212,"Measurements":166,"Channels":119,"Classical":58,"Entanglement":17},"by_namespace":[["QIT.State",2724],["QIT",1993],["QIT.Channel",534],["QIT.SubnormalizedState",509],["QIT.PureVector",392],["QIT.MatrixMap",339],["QIT.Security",324],["QIT.BinaryHypothesisTest",309],["QIT.Ensemble",238],["QIT.YangNavascues",226],["QIT.Bell",205],["QIT.SequentialDecoding",152],["QIT.ProjectiveMeasurement",120],["QIT.FiniteInstrument",89],["QIT.POVM",84],["QIT.StateMergingBlockProtocol",77],["QIT.ClassicalTypicality",73],["QIT.HSWPackingHypothesesSpectral",70],["QIT.EntanglementAssistedClassicalCode",62],["QIT.WireFam",61],["QIT.ReferenceIsometry",60],["QIT.Matrix",58],["QIT.PositionBasedCodingProtocol",55],["QIT.OneWayLOCC",49],["QIT.Classical",47],["QIT.HypothesisTestingEffect",43],["Matrix",39],["QIT.HSWClassicalCode",37],["QIT.HermitianMatrix",37],["QIT.ADHWFQSWIidCompressedSourceWitness",36],["QIT.FQSWBlockProtocol",32],["QIT.SDP",32],["QIT.TwoQubit",31],["QIT.RenyiOrder",30],["QIT.ADHWFQSWSimultaneousTypicalProjectors",30],["QIT.ProjectionMatrix",27],["QIT.ADHWFQSWPaddedAtypEmbedding",26],["QIT.ProjectiveMeasurementLift",25],["QIT.PackingLemma",23],["QIT.FiniteIidMixture",23]],"attributes":[["simp",823],["reducible",220],["implicit_reducible",110],["inline",50],["instance 50",2],["irreducible",1],["deprecated QIT.SubnormalizedState.conditionalMinEntropy (since := \"2026-07-22\")",1],["deprecated QIT.SubnormalizedState.conditionalMaxEntropy (since := \"2026-07-22\")",1],["deprecated QIT.SubnormalizedState.conditionalMinEntropy_eq_top_of_matrix_eq_zero (since := \"2026-07-22\")",1],["deprecated QIT.SubnormalizedState.conditionalMaxEntropy_eq_bot_of_matrix_eq_zero (since := \"2026-07-22\")",1],["deprecated QIT.SubnormalizedState.conditionalMinEntropy_eq_coe_finite_of_matrix_ne_zero (since := \"2026-07-22\")",1],["deprecated QIT.SubnormalizedState.conditionalMaxEntropy_eq_coe_finite_of_matrix_ne_zero (since := \"2026-07-22\")",1]],"result_types":[["ℝ",376],["Prop",183],["CMatrix a",63],["EReal",56],["NNReal",54],["Set ℝ",51],["Type u",36],["CMatrix (HA × HB)",28],["R < N.regularizedHolevoInformation → N.IsAchievableClassicalRate R",27],["CMatrix (a × b)",24],["Type (max u v)",23],["State a",20],["Filter.Tendsto (fun (alpha : { alpha : ℝ // 1 < alpha }) => N.sandwichedRenyiMutualInformationE ↑alpha)\n  State.relativeEntropyHighAlphaRightToOne (nhds ↑N.entanglementAssistedInformation)",20],["ℂ",19],["N.IsAchievableClassicalRate (N.hswHolevoRate E₀)",17],["CMatrix (TensorPower a n)",15],["Type",15],["ℕ",13],["SubnormalizedState (a × b)",12],["(E.deterministicPostprocessCqState g).toSubnormalized.smoothConditionalMinEntropy ε hε0 ⋯ ≤   E.cqState.toSubnormalized.smoothConditionalMinEntropy ε hε0 ⋯",12],["(Φ.applyState ρ).sandwichedRenyi (Φ.applyState σ) hρΦ hσΦ α ⋯ ⋯ ≤ ρ.sandwichedRenyi σ hρ hσ α ⋯ ⋯",11],["State b",10],["State (a × b)",9],["ρ.conditionalPetzRenyiEntropyCandidate hρ σ hσ α ⋯ ⋯ - 1 / (α - 1) * log2 (2 / ε ^ 2) ≤   ρ.smoothConditionalMinEntropyFixedSubnormalized σ.toSubnormalized ε",9],["↑lowerBound ≤ N.oneShotEntanglementAssistedClassicalCapacityE ε",9]],"binder_histogram":[[0,204],[1,131],[2,181],[3,457],[4,736],[5,881],[6,748],[7,955],[8,850],[9,672],[10,695],[11,656],[12,442],[13,424],[14,285],[15,229],[16,207],[17,200],[18,119],[19,100],[20,93],[21,63],[22,69],[23,47],[24,22],[25,15],[26,8],[27,4],[28,14],[29,22],[30,98],[31,33],[32,6],[33,17],[34,8],[35,1],[36,3],[37,1]],"span":{"min":0,"median":10,"p90":45,"max":377},"longest":[{"name":"QIT.exists_adhwFQSWSimultaneousTypicalProjectors","span":377,"module":"QIT.Protocols.FQSW.IIDTypical"},{"name":"QIT.State.sandwichedRenyiReferenceInner_rpow_trace_re_tendsto_of_tendsto_state","span":307,"module":"QIT.Information.Renyi.SandwichedRenyiOptimizedUSC"},{"name":"QIT.State.conditionalMinEntropyFeasible_supportTraceLog_residual_nonneg","span":303,"module":"QIT.Information.Renyi.AlphaEntropyContinuity"},{"name":"QIT.State.relativeEntropyPSDReferenceTraceLogE_real_smul_identityTensor_marginalB_eq","span":259,"module":"QIT.Information.Renyi.RenyiDPI.ConditionalMeasurementSource"},{"name":"QIT.State.conditionalSandwichedRenyiUp_classicalConditioning_exact","span":255,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.ArbitraryReferenceWrappers"},{"name":"QIT.Channel.hsw_directWitnessAssembly_from_canonicalStrongTypicalActualOutputSourceProjectorFiniteMassCardBound","span":250,"module":"QIT.Coding.Classical.HSWDirect.WitnessAssembly"},{"name":"QIT.State.sandwichedRenyiPSDReferenceHighAlphaFinite_mono_posDef_reference_posDef_state","span":248,"module":"QIT.Information.Renyi.SandwichedRenyiMonotonicity"},{"name":"QIT.Channel.hsw_directWitnessAssembly_from_canonicalStrongTypicalActualOutputSourceProjectorBounds","span":218,"module":"QIT.Coding.Classical.HSWDirect.WitnessAssembly"},{"name":"QIT.State.sandwichedRenyiPSDReferenceE_arbitrary_reference_le_classicalFormula_half","span":217,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.ArbitraryReferenceWrappers"},{"name":"QIT.exists_adhwFQSWIidBalancedRateChoice_registers","span":213,"module":"QIT.Protocols.FQSW.IIDRates"},{"name":"QIT.exists_adhwFQSWIidCompressedSourceWitness","span":209,"module":"QIT.Protocols.FQSW.IIDDirect"},{"name":"QIT.Channel.hsw_directWitnessAssembly_from_canonicalStrongTypicalActualOutputSpectralEstimates","span":205,"module":"QIT.Coding.Classical.HSWDirect.WitnessAssembly"},{"name":"QIT.Ensemble.subnormalizedSmoothConditionalMinEntropy_deterministicPostprocessCqState_le","span":205,"module":"QIT.Security.RandomnessExtractionConverse"},{"name":"QIT.State.matrix_supports_prod_marginals","span":204,"module":"QIT.States.Schatten"},{"name":"QIT.hayashi_nagaoka_one","span":193,"module":"QIT.Coding.Classical.HayashiNagaoka"},{"name":"QIT.Channel.sandwichedChannelAlternateSionExchange_of_reference_quasiconvexOn","span":192,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.ChannelAlternate"},{"name":"QIT.Matrix.Supports.kronecker_of_posSemidef","span":191,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.Basic"},{"name":"QIT.State.conditionalSandwichedRenyiUp_candidateE_fullRankApprox_tendsto_of_lowAlpha","span":189,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.RegularizedSourceWrappers"},{"name":"QIT.PackingLemma.crossTerm_expectation_bound","span":188,"module":"QIT.Coding.Classical.PackingLemma"},{"name":"QIT.PureVector.sandwichedMutualInformationSionBracketRe_fullRank_sInf_eq_psdSchattenPNorm","span":188,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.PureVectorBridge"}],"doc_gaps":[{"module":"QIT.Coding.EntanglementAssisted.Renyi.Petz.Additivity","total":23,"documented":0,"pct":0.0},{"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.RegularizedSourceWrappers","total":20,"documented":1,"pct":5.0},{"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.ArbitraryReferenceWrappers","total":19,"documented":1,"pct":5.3},{"module":"QIT.Information.Renyi.ConditionalRenyiClassical","total":57,"documented":6,"pct":10.5},{"module":"QIT.Information.Renyi.ConditionalPetzRenyiClassicalConditioning","total":44,"documented":5,"pct":11.4},{"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.BlockAlgebra","total":29,"documented":5,"pct":17.2},{"module":"QIT.OneShot.SmoothSupportRestriction","total":22,"documented":4,"pct":18.2},{"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.ScalarOptimizer","total":21,"documented":4,"pct":19.0},{"module":"QIT.Symmetry.UnitaryTwirl","total":184,"documented":39,"pct":21.2},{"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Collapse.LeftIdentity","total":12,"documented":3,"pct":25.0},{"module":"QIT.OneShot.SmoothEndpoint.Order","total":15,"documented":4,"pct":26.7},{"module":"QIT.Coding.EntanglementAssisted.SequentialDecoding","total":153,"documented":41,"pct":26.8},{"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.LowAlphaQDecomposition","total":17,"documented":5,"pct":29.4},{"module":"QIT.Protocols.LOCC.Core","total":18,"documented":6,"pct":33.3},{"module":"QIT.States.MaximallyMixed","total":12,"documented":4,"pct":33.3},{"module":"QIT.Protocols.FQSW.IIDTypical","total":50,"documented":18,"pct":36.0},{"module":"QIT.Information.Renyi.RenyiOrderParameter","total":36,"documented":13,"pct":36.1},{"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Induced","total":24,"documented":9,"pct":37.5},{"module":"QIT.Util.SDP.HermitianPSDTraceDuality","total":58,"documented":22,"pct":37.9},{"module":"QIT.HypothesisTesting.DPI","total":42,"documented":16,"pct":38.1},{"module":"QIT.Information.Entropy.RelativeEntropyTraceLog","total":21,"documented":8,"pct":38.1},{"module":"QIT.States.Purification.Conditioning","total":30,"documented":12,"pct":40.0},{"module":"QIT.Asymptotic.ClassicalTypicality","total":83,"documented":34,"pct":41.0},{"module":"QIT.Asymptotic.FixedSmoothMinEntropy.ThresholdProjector","total":69,"documented":29,"pct":42.0},{"module":"QIT.Information.AlickiFannesWinter","total":33,"documented":14,"pct":42.4},{"module":"QIT.OneShot.Decoupling","total":56,"documented":24,"pct":42.9},{"module":"QIT.Security.Key","total":42,"documented":18,"pct":42.9},{"module":"QIT.OneShot.SmoothEndpoint.Normalized","total":198,"documented":86,"pct":43.4},{"module":"QIT.Security.KeyDistillation","total":47,"documented":21,"pct":44.7},{"module":"QIT.Symmetry.DeFinetti.RennerProjectors","total":97,"documented":44,"pct":45.4}],"doc_by_area":{"Asymptotic":{"total":682,"documented":477,"pct":69.9},"Channels":{"total":119,"documented":63,"pct":52.9},"Classical":{"total":58,"documented":53,"pct":91.4},"Coding":{"total":1512,"documented":1183,"pct":78.2},"Core":{"total":212,"documented":148,"pct":69.8},"Entanglement":{"total":17,"documented":15,"pct":88.2},"HypothesisTesting":{"total":406,"documented":293,"pct":72.2},"Information":{"total":1984,"documented":1530,"pct":77.1},"Measurements":{"total":166,"documented":132,"pct":79.5},"Nonlocality":{"total":497,"documented":360,"pct":72.4},"OneShot":{"total":1002,"documented":572,"pct":57.1},"Protocols":{"total":936,"documented":664,"pct":70.9},"Security":{"total":386,"documented":266,"pct":68.9},"States":{"total":744,"documented":595,"pct":80.0},"Symmetry":{"total":700,"documented":381,"pct":54.4},"Util":{"total":275,"documented":214,"pct":77.8}},"refs":{"edges":93077,"resolved":34735,"external":58342,"self":0,"declarations_with_no_refs":20},"top_in_degree":[{"name":"QIT.State","count":3150},{"name":"QIT.CMatrix","count":2204},{"name":"QIT.State.matrix","count":1500},{"name":"QIT.PureVector","count":1381},{"name":"QIT.Channel","count":966},{"name":"QIT.TensorPower","count":737},{"name":"QIT.Ensemble","count":553},{"name":"QIT.SubnormalizedState","count":512},{"name":"QIT.log2","count":399},{"name":"QIT.PureVector.state","count":360},{"name":"QIT.Channel.applyState","count":295},{"name":"QIT.State.prod","count":289},{"name":"QIT.State.marginalA","count":284},{"name":"QIT.State.marginalB","count":258},{"name":"QIT.SubnormalizedState.matrix","count":235},{"name":"QIT.ReferenceIsometry","count":206},{"name":"QIT.Matrix.Supports","count":204},{"name":"QIT.MatrixMap","count":201},{"name":"QIT.Channel.map","count":196},{"name":"QIT.State.toSubnormalized","count":176},{"name":"QIT.State.identityTensorStateMatrix","count":169},{"name":"QIT.TensorPowerProfile","count":166},{"name":"QIT.State.reindex","count":157},{"name":"QIT.psdSchattenPNorm","count":155},{"name":"QIT.POVM","count":150},{"name":"QIT.YangNavascues.YNData","count":145},{"name":"QIT.Channel.idChannel","count":138},{"name":"QIT.Ensemble.cqState","count":131},{"name":"QIT.ADHWFQSWSimultaneousTypicalProjectors","count":130},{"name":"QIT.Ensemble.states","count":129},{"name":"QIT.Channel.prod","count":128},{"name":"QIT.rankOneMatrix","count":125},{"name":"QIT.BinaryHypothesisTest.ClassicalBinaryModel","count":123},{"name":"QIT.MatrixMap.ofKraus","count":122},{"name":"QIT.partialTraceA","count":115},{"name":"QIT.MatrixMap.IsCompletelyPositive","count":110},{"name":"QIT.Ensemble.probs","count":110},{"name":"QIT.ProjectiveMeasurement","count":107},{"name":"QIT.Security.HashFamily","count":107},{"name":"QIT.psdTracePower","count":107},{"name":"QIT.State.marginalAB","count":105},{"name":"QIT.ProjectionSequence","count":102},{"name":"QIT.traceNorm","count":100},{"name":"QIT.SubnormalizedState.purifiedBall","count":98},{"name":"QIT.Channel.hypothesisTestingOutputState","count":98},{"name":"QIT.State.sandwichedRenyiQ","count":94},{"name":"QIT.FiniteInstrument","count":93},{"name":"QIT.Channel.tensorPower","count":92},{"name":"QIT.FiniteDistribution","count":90},{"name":"QIT.State.sandwichedRenyiMutualInformationCandidateE","count":87},{"name":"QIT.SchattenOrder","count":87},{"name":"QIT.SchattenOrder.ofOneLt","count":87},{"name":"QIT.State.conditionalMinEntropy","count":83},{"name":"QIT.State.marginalAC","count":82},{"name":"QIT.State.sandwichedRenyiMutualInformationE","count":81},{"name":"QIT.State.maximallyMixed","count":81},{"name":"QIT.State.tensorPowerBipartite","count":81},{"name":"QIT.EntanglementAssistedClassicalCode","count":79},{"name":"QIT.symmetricProjectionMatrix","count":77},{"name":"QIT.StochasticKernel","count":76},{"name":"QIT.StateMergingBlockProtocol","count":76},{"name":"QIT.State.vonNeumann","count":75},{"name":"QIT.MatrixMap.kron","count":74},{"name":"QIT.State.conditionalEntropy","count":73},{"name":"QIT.Channel.sandwichedRenyiMutualInformationE","count":73},{"name":"QIT.partialTraceB","count":71},{"name":"QIT.State.sandwichedRenyiPSDReferenceHighAlphaFinite","count":69},{"name":"QIT.State.sandwichedRenyiReferenceInner","count":69},{"name":"QIT.ProjectionMatrix.matrix","count":68},{"name":"QIT.Channel.entanglementAssistedInformation","count":67},{"name":"QIT.HypothesisTestingEffect","count":67},{"name":"QIT.PureVector.amp","count":66},{"name":"QIT.Ensemble.averageState","count":65},{"name":"QIT.State.tensorPower","count":64},{"name":"QIT.State.normalizedTraceDistance","count":64},{"name":"QIT.mutualInformation","count":63},{"name":"QIT.MatrixMap.IsTracePreserving","count":63},{"name":"QIT.ProjectionMatrix","count":63},{"name":"QIT.HSWClassicalCode","count":62},{"name":"QIT.State.relativeEntropyHighAlphaRightToOne","count":60},{"name":"QIT.State.conditionalPetzRenyiTraceTerm","count":58},{"name":"QIT.OneWayLOCC","count":55},{"name":"QIT.unitaryHaarMeasure","count":55},{"name":"QIT.Channel.hswHolevoRate","count":55},{"name":"QIT.MatrixMap.TraceNonincreasingCP","count":54},{"name":"QIT.State.squaredFidelity","count":53},{"name":"QIT.Bell.QuantumRealization","count":53},{"name":"QIT.ReferenceIsometry.matrix","count":53},{"name":"QIT.ProjectiveMeasurement.IsRankOne","count":52},{"name":"QIT.SubnormalizedState.smoothConditionalMinEntropy","count":51},{"name":"QIT.Channel.IsAchievableClassicalRate","count":50},{"name":"QIT.ADHWFQSWSimultaneousTypicalProjectors.typicalitySlack","count":50},{"name":"QIT.MatrixMap.krausAdjoint","count":50},{"name":"QIT.ADHWFQSWPaddedAtypEmbedding","count":48},{"name":"QIT.hswMessageRate","count":48},{"name":"QIT.State.ConditionalMinEntropyFeasible","count":47},{"name":"QIT.Ensemble.CQEffectFamily","count":47},{"name":"QIT.BinaryHypothesisTest.ClassicalDistribution","count":47},{"name":"QIT.tensorPowerEquiv","count":46},{"name":"QIT.YangNavascues.YNData.target","count":46}]},"module_tree":{"name":"QIT","count":9696,"module":null,"children":[{"name":"Asymptotic","count":682,"module":null,"children":[{"name":"AEP","count":81,"module":"QIT.Asymptotic.AEP","children":[]},{"name":"ClassicalTypicality","count":83,"module":"QIT.Asymptotic.ClassicalTypicality","children":[]},{"name":"ConditionalTypicality","count":137,"module":"QIT.Asymptotic.ConditionalTypicality","children":[]},{"name":"FixedEpsilonAEP","count":3,"module":"QIT.Asymptotic.FixedEpsilonAEP","children":[]},{"name":"FixedSmoothMinEntropy","count":312,"module":null,"children":[{"name":"AEPAssembly","count":81,"module":"QIT.Asymptotic.FixedSmoothMinEntropy.AEPAssembly","children":[]},{"name":"FixedReference","count":47,"module":"QIT.Asymptotic.FixedSmoothMinEntropy.FixedReference","children":[]},{"name":"PetzKernel","count":76,"module":"QIT.Asymptotic.FixedSmoothMinEntropy.PetzKernel","children":[]},{"name":"PetzWitness","count":39,"module":"QIT.Asymptotic.FixedSmoothMinEntropy.PetzWitness","children":[]},{"name":"ThresholdProjector","count":69,"module":"QIT.Asymptotic.FixedSmoothMinEntropy.ThresholdProjector","children":[]}]},{"name":"Typicality","count":66,"module":"QIT.Asymptotic.Typicality","children":[]}]},{"name":"Channels","count":119,"module":null,"children":[{"name":"Diamond","count":118,"module":"QIT.Channels.Diamond","children":[]},{"name":"Topology","count":1,"module":"QIT.Channels.Topology","children":[]}]},{"name":"Classical","count":58,"module":null,"children":[{"name":"Bridge","count":15,"module":"QIT.Classical.Bridge","children":[]},{"name":"CQState","count":28,"module":"QIT.Classical.CQState","children":[]},{"name":"Ensemble","count":15,"module":"QIT.Classical.Ensemble","children":[]}]},{"name":"Coding","count":1512,"module":null,"children":[{"name":"Classical","count":307,"module":null,"children":[{"name":"HSW","count":92,"module":"QIT.Coding.Classical.HSW","children":[]},{"name":"HSWConverse","count":16,"module":"QIT.Coding.Classical.HSWConverse","children":[]},{"name":"HSWDirect","count":88,"module":null,"children":[{"name":"CodeTransforms","count":20,"module":"QIT.Coding.Classical.HSWDirect.CodeTransforms","children":[]},{"name":"Rates","count":20,"module":"QIT.Coding.Classical.HSWDirect.Rates","children":[]},{"name":"RegularizedAssembly","count":23,"module":"QIT.Coding.Classical.HSWDirect.RegularizedAssembly","children":[]},{"name":"TensorPower","count":8,"module":"QIT.Coding.Classical.HSWDirect.TensorPower","children":[]},{"name":"WitnessAssembly","count":17,"module":"QIT.Coding.Classical.HSWDirect.WitnessAssembly","children":[]}]},{"name":"HSWLimit","count":15,"module":"QIT.Coding.Classical.HSWLimit","children":[]},{"name":"HayashiNagaoka","count":4,"module":"QIT.Coding.Classical.HayashiNagaoka","children":[]},{"name":"PackingLemma","count":9,"module":"QIT.Coding.Classical.PackingLemma","children":[]},{"name":"RandomnessDistribution","count":83,"module":"QIT.Coding.Classical.RandomnessDistribution","children":[]}]},{"name":"EntanglementAssisted","count":1156,"module":null,"children":[{"name":"Asymptotic","count":87,"module":null,"children":[{"name":"Basic","count":24,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.Basic","children":[]},{"name":"ConverseWitness","count":1,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.ConverseWitness","children":[]},{"name":"Final","count":8,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.Final","children":[]},{"name":"Lower","count":1,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.Lower","children":[]},{"name":"LowerBound","count":16,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.LowerBound","children":[]},{"name":"MutualInformationAdditivity","count":9,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.MutualInformationAdditivity","children":[]},{"name":"ProtocolLifting","count":16,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.ProtocolLifting","children":[]},{"name":"SandwichedTensorPower","count":1,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.SandwichedTensorPower","children":[]},{"name":"Upper","count":11,"module":null,"children":[{"name":"Assembly","count":1,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.Upper.Assembly","children":[]},{"name":"Input","count":5,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.Upper.Input","children":[]},{"name":"Witness","count":5,"module":"QIT.Coding.EntanglementAssisted.Asymptotic.Upper.Witness","children":[]}]}]},{"name":"Basic","count":60,"module":"QIT.Coding.EntanglementAssisted.Basic","children":[]},{"name":"OneShot","count":122,"module":null,"children":[{"name":"Converse","count":32,"module":"QIT.Coding.EntanglementAssisted.OneShot.Converse","children":[]},{"name":"Lower","count":65,"module":null,"children":[{"name":"HypothesisTesting","count":29,"module":"QIT.Coding.EntanglementAssisted.OneShot.Lower.HypothesisTesting","children":[]},{"name":"Naimark","count":7,"module":"QIT.Coding.EntanglementAssisted.OneShot.Lower.Naimark","children":[]},{"name":"Petz","count":29,"module":"QIT.Coding.EntanglementAssisted.OneShot.Lower.Petz","children":[]}]},{"name":"Upper","count":4,"module":"QIT.Coding.EntanglementAssisted.OneShot.Upper","children":[]},{"name":"WeakConverse","count":21,"module":"QIT.Coding.EntanglementAssisted.OneShot.WeakConverse","children":[]}]},{"name":"PositionBasedCoding","count":48,"module":"QIT.Coding.EntanglementAssisted.PositionBasedCoding","children":[]},{"name":"PositionNaimarkTrace","count":55,"module":"QIT.Coding.EntanglementAssisted.PositionNaimarkTrace","children":[]},{"name":"Renyi","count":631,"module":null,"children":[{"name":"Petz","count":43,"module":null,"children":[{"name":"Additivity","count":23,"module":"QIT.Coding.EntanglementAssisted.Renyi.Petz.Additivity","children":[]},{"name":"Limit","count":20,"module":"QIT.Coding.EntanglementAssisted.Renyi.Petz.Limit","children":[]}]},{"name":"Sandwiched","count":588,"module":null,"children":[{"name":"Additivity","count":352,"module":null,"children":[{"name":"Basic","count":37,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.Basic","children":[]},{"name":"ChannelAlternate","count":100,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.ChannelAlternate","children":[]},{"name":"ChannelProduct","count":33,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.ChannelProduct","children":[]},{"name":"PureVectorBridge","count":72,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.PureVectorBridge","children":[]},{"name":"StateProduct","count":94,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.StateProduct","children":[]},{"name":"WeightedSion","count":16,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Additivity.WeightedSion","children":[]}]},{"name":"Basic","count":10,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Basic","children":[]},{"name":"CBNorm","count":135,"module":null,"children":[{"name":"Alternate","count":9,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Alternate","children":[]},{"name":"Basic","count":35,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Basic","children":[]},{"name":"Collapse","count":15,"module":null,"children":[{"name":"LeftIdentity","count":12,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Collapse.LeftIdentity","children":[]},{"name":"RightIdentity","count":3,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Collapse.RightIdentity","children":[]}]},{"name":"Complement","count":14,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Complement","children":[]},{"name":"ComplementBridge","count":10,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.ComplementBridge","children":[]},{"name":"Concavity","count":21,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Concavity","children":[]},{"name":"Induced","count":24,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Induced","children":[]},{"name":"Product","count":7,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.CBNorm.Product","children":[]}]},{"name":"Converse","count":2,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Converse","children":[]},{"name":"Limit","count":89,"module":"QIT.Coding.EntanglementAssisted.Renyi.Sandwiched.Limit","children":[]}]}]},{"name":"SequentialDecoding","count":153,"module":"QIT.Coding.EntanglementAssisted.SequentialDecoding","children":[]}]},{"name":"Source","count":49,"module":null,"children":[{"name":"Schumacher","count":19,"module":"QIT.Coding.Source.Schumacher","children":[]},{"name":"SchumacherConverse","count":3,"module":"QIT.Coding.Source.SchumacherConverse","children":[]},{"name":"SchumacherDirect","count":24,"module":"QIT.Coding.Source.SchumacherDirect","children":[]},{"name":"SchumacherLimit","count":3,"module":"QIT.Coding.Source.SchumacherLimit","children":[]}]}]},{"name":"Core","count":212,"module":null,"children":[{"name":"Channel","count":38,"module":"QIT.Core.Channel","children":[]},{"name":"Map","count":71,"module":"QIT.Core.Map","children":[{"name":"ChoiCharacterization","count":18,"module":"QIT.Core.Map.ChoiCharacterization","children":[]}]},{"name":"Measurement","count":13,"module":"QIT.Core.Measurement","children":[]},{"name":"POVMProbability","count":7,"module":"QIT.Core.POVMProbability","children":[]},{"name":"Pure","count":31,"module":"QIT.Core.Pure","children":[]},{"name":"State","count":48,"module":"QIT.Core.State","children":[]},{"name":"System","count":4,"module":"QIT.Core.System","children":[]}]},{"name":"Entanglement","count":17,"module":null,"children":[{"name":"MaximallyEntangled","count":5,"module":"QIT.Entanglement.MaximallyEntangled","children":[]},{"name":"PPT","count":4,"module":"QIT.Entanglement.PPT","children":[]},{"name":"Separable","count":8,"module":"QIT.Entanglement.Separable","children":[]}]},{"name":"HypothesisTesting","count":406,"module":null,"children":[{"name":"Asymptotic","count":43,"module":"QIT.HypothesisTesting.Asymptotic","children":[]},{"name":"Basic","count":34,"module":"QIT.HypothesisTesting.Basic","children":[]},{"name":"ChernoffSupport","count":103,"module":"QIT.HypothesisTesting.ChernoffSupport","children":[]},{"name":"ComparatorTest","count":19,"module":"QIT.HypothesisTesting.ComparatorTest","children":[]},{"name":"DPI","count":42,"module":"QIT.HypothesisTesting.DPI","children":[]},{"name":"MutualInformation","count":85,"module":"QIT.HypothesisTesting.MutualInformation","children":[]},{"name":"PetzComparison","count":62,"module":"QIT.HypothesisTesting.PetzComparison","children":[]},{"name":"SandwichedComparison","count":18,"module":"QIT.HypothesisTesting.SandwichedComparison","children":[]}]},{"name":"Information","count":1984,"module":null,"children":[{"name":"AlickiFannesWinter","count":33,"module":"QIT.Information.AlickiFannesWinter","children":[]},{"name":"BinaryHypothesisTest","count":141,"module":null,"children":[{"name":"Basic","count":19,"module":"QIT.Information.BinaryHypothesisTest.Basic","children":[]},{"name":"Classical","count":87,"module":"QIT.Information.BinaryHypothesisTest.Classical","children":[]},{"name":"Spectral","count":35,"module":"QIT.Information.BinaryHypothesisTest.Spectral","children":[]}]},{"name":"CQChannel","count":2,"module":"QIT.Information.CQChannel","children":[]},{"name":"Entropy","count":142,"module":null,"children":[{"name":"ConditionalEntropyConcavity","count":9,"module":"QIT.Information.Entropy.ConditionalEntropyConcavity","children":[]},{"name":"Entropy","count":29,"module":"QIT.Information.Entropy.Entropy","children":[]},{"name":"EntropyTensorPower","count":33,"module":"QIT.Information.Entropy.EntropyTensorPower","children":[]},{"name":"Holevo","count":5,"module":"QIT.Information.Entropy.Holevo","children":[]},{"name":"Log2Lemmas","count":10,"module":"QIT.Information.Entropy.Log2Lemmas","children":[]},{"name":"MaximallyMixed","count":1,"module":"QIT.Information.Entropy.MaximallyMixed","children":[]},{"name":"MutualInformationDPI","count":19,"module":"QIT.Information.Entropy.MutualInformationDPI","children":[]},{"name":"PureEntanglement","count":3,"module":"QIT.Information.Entropy.PureEntanglement","children":[]},{"name":"RelativeEntropyDPI","count":4,"module":"QIT.Information.Entropy.RelativeEntropyDPI","children":[]},{"name":"RelativeEntropyTraceLog","count":21,"module":"QIT.Information.Entropy.RelativeEntropyTraceLog","children":[]},{"name":"StrongSubadditivity","count":8,"module":"QIT.Information.Entropy.StrongSubadditivity","children":[]}]},{"name":"Fannes","count":9,"module":"QIT.Information.Fannes","children":[]},{"name":"Renyi","count":1657,"module":null,"children":[{"name":"AlphaEntropyContinuity","count":112,"module":"QIT.Information.Renyi.AlphaEntropyContinuity","children":[]},{"name":"ConditionalPetzRenyi","count":26,"module":"QIT.Information.Renyi.ConditionalPetzRenyi","children":[]},{"name":"ConditionalPetzRenyiAlternative","count":34,"module":"QIT.Information.Renyi.ConditionalPetzRenyiAlternative","children":[]},{"name":"ConditionalPetzRenyiClassicalConditioning","count":44,"module":"QIT.Information.Renyi.ConditionalPetzRenyiClassicalConditioning","children":[]},{"name":"ConditionalPetzRenyiDuality","count":28,"module":"QIT.Information.Renyi.ConditionalPetzRenyiDuality","children":[]},{"name":"ConditionalPetzSandwichedDuality","count":11,"module":"QIT.Information.Renyi.ConditionalPetzSandwichedDuality","children":[]},{"name":"ConditionalRenyi","count":10,"module":"QIT.Information.Renyi.ConditionalRenyi","children":[]},{"name":"ConditionalRenyiClassical","count":57,"module":"QIT.Information.Renyi.ConditionalRenyiClassical","children":[]},{"name":"ConditionalRenyiMinimax","count":70,"module":"QIT.Information.Renyi.ConditionalRenyiMinimax","children":[]},{"name":"ConditionalRenyiMinimaxBoundary","count":31,"module":"QIT.Information.Renyi.ConditionalRenyiMinimaxBoundary","children":[]},{"name":"ConditionalRenyiSource","count":15,"module":"QIT.Information.Renyi.ConditionalRenyiSource","children":[]},{"name":"ConditionalRenyiTraceBridge","count":9,"module":"QIT.Information.Renyi.ConditionalRenyiTraceBridge","children":[]},{"name":"ConditionalSandwichedRenyiAdditivity","count":37,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiAdditivity","children":[]},{"name":"ConditionalSandwichedRenyiClassicalConditioning","count":107,"module":null,"children":[{"name":"ArbitraryReferenceWrappers","count":19,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.ArbitraryReferenceWrappers","children":[]},{"name":"BlockAlgebra","count":29,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.BlockAlgebra","children":[]},{"name":"HighAlphaSupport","count":1,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.HighAlphaSupport","children":[]},{"name":"LowAlphaQDecomposition","count":17,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.LowAlphaQDecomposition","children":[]},{"name":"RegularizedSourceWrappers","count":20,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.RegularizedSourceWrappers","children":[]},{"name":"ScalarOptimizer","count":21,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiClassicalConditioning.ScalarOptimizer","children":[]}]},{"name":"ConditionalSandwichedRenyiDuality","count":47,"module":"QIT.Information.Renyi.ConditionalSandwichedRenyiDuality","children":[]},{"name":"DirectSumMean","count":24,"module":"QIT.Information.Renyi.DirectSumMean","children":[]},{"name":"FrankLieb","count":354,"module":null,"children":[{"name":"Concavity","count":156,"module":"QIT.Information.Renyi.FrankLieb.Concavity","children":[]},{"name":"DPI","count":128,"module":"QIT.Information.Renyi.FrankLieb.DPI","children":[]},{"name":"ScalarOperator","count":32,"module":"QIT.Information.Renyi.FrankLieb.ScalarOperator","children":[]},{"name":"Variational","count":38,"module":"QIT.Information.Renyi.FrankLieb.Variational","children":[]}]},{"name":"IsometryImageMean","count":3,"module":"QIT.Information.Renyi.IsometryImageMean","children":[]},{"name":"OverlapDomination","count":2,"module":"QIT.Information.Renyi.OverlapDomination","children":[]},{"name":"Renyi","count":66,"module":"QIT.Information.Renyi.Renyi","children":[]},{"name":"RenyiDPI","count":323,"module":null,"children":[{"name":"AlphaToOne","count":1,"module":"QIT.Information.Renyi.RenyiDPI.AlphaToOne","children":[]},{"name":"ConditionalConditioningSource","count":10,"module":"QIT.Information.Renyi.RenyiDPI.ConditionalConditioningSource","children":[]},{"name":"ConditionalMeasurementSource","count":13,"module":"QIT.Information.Renyi.RenyiDPI.ConditionalMeasurementSource","children":[]},{"name":"Domain","count":65,"module":"QIT.Information.Renyi.RenyiDPI.Domain","children":[]},{"name":"HighAlpha","count":145,"module":"QIT.Information.Renyi.RenyiDPI.HighAlpha","children":[]},{"name":"LowAlpha","count":23,"module":"QIT.Information.Renyi.RenyiDPI.LowAlpha","children":[]},{"name":"ReferenceOrder","count":15,"module":"QIT.Information.Renyi.RenyiDPI.ReferenceOrder","children":[]},{"name":"TraceLogBridge","count":51,"module":"QIT.Information.Renyi.RenyiDPI.TraceLogBridge","children":[]}]},{"name":"RenyiDPIStatement","count":1,"module":"QIT.Information.Renyi.RenyiDPIStatement","children":[]},{"name":"RenyiLimit","count":23,"module":"QIT.Information.Renyi.RenyiLimit","children":[]},{"name":"RenyiOrderParameter","count":36,"module":"QIT.Information.Renyi.RenyiOrderParameter","children":[]},{"name":"SandwichedMutualInformation","count":9,"module":"QIT.Information.Renyi.SandwichedMutualInformation","children":[]},{"name":"SandwichedRenyiMonotonicity","count":56,"module":"QIT.Information.Renyi.SandwichedRenyiMonotonicity","children":[]},{"name":"SandwichedRenyiOptimizedUSC","count":122,"module":"QIT.Information.Renyi.SandwichedRenyiOptimizedUSC","children":[]}]}]},{"name":"Measurements","count":166,"module":null,"children":[{"name":"Coherent","count":31,"module":"QIT.Measurements.Coherent","children":[]},{"name":"Map","count":2,"module":"QIT.Measurements.Map","children":[]},{"name":"Naimark","count":45,"module":"QIT.Measurements.Naimark","children":[]},{"name":"Overlap","count":15,"module":"QIT.Measurements.Overlap","children":[]},{"name":"OverlapDomination","count":5,"module":"QIT.Measurements.OverlapDomination","children":[]},{"name":"Projective","count":50,"module":"QIT.Measurements.Projective","children":[]},{"name":"SquareRootMeasurement","count":9,"module":"QIT.Measurements.SquareRootMeasurement","children":[]},{"name":"Support","count":9,"module":"QIT.Measurements.Support","children":[]}]},{"name":"Nonlocality","count":497,"module":"QIT.Nonlocality","children":[{"name":"Bell","count":61,"module":"QIT.Nonlocality.Bell","children":[]},{"name":"ProjectiveRealization","count":35,"module":"QIT.Nonlocality.ProjectiveRealization","children":[]},{"name":"SelfTesting","count":31,"module":"QIT.Nonlocality.SelfTesting","children":[]},{"name":"Tsirelson","count":99,"module":"QIT.Nonlocality.Tsirelson","children":[]},{"name":"TwoQubit","count":27,"module":"QIT.Nonlocality.TwoQubit","children":[]},{"name":"YangNavascues","count":237,"module":"QIT.Nonlocality.YangNavascues","children":[{"name":"Action","count":29,"module":"QIT.Nonlocality.YangNavascues.Action","children":[]},{"name":"BobLocal","count":16,"module":"QIT.Nonlocality.YangNavascues.BobLocal","children":[]},{"name":"BobSupport","count":15,"module":"QIT.Nonlocality.YangNavascues.BobSupport","children":[]},{"name":"Coherence","count":13,"module":"QIT.Nonlocality.YangNavascues.Coherence","children":[]},{"name":"Extraction","count":17,"module":"QIT.Nonlocality.YangNavascues.Extraction","children":[]},{"name":"Fourier","count":16,"module":"QIT.Nonlocality.YangNavascues.Fourier","children":[]},{"name":"LocalIsometry","count":35,"module":"QIT.Nonlocality.YangNavascues.LocalIsometry","children":[]},{"name":"RankOneSupport","count":19,"module":"QIT.Nonlocality.YangNavascues.RankOneSupport","children":[]}]}]},{"name":"OneShot","count":1002,"module":null,"children":[{"name":"CQGuessing","count":125,"module":"QIT.OneShot.CQGuessing","children":[]},{"name":"ConditionalRenyiExtendedDuality","count":3,"module":"QIT.OneShot.ConditionalRenyiExtendedDuality","children":[]},{"name":"Decoupling","count":56,"module":"QIT.OneShot.Decoupling","children":[]},{"name":"EntropicUncertainty","count":11,"module":"QIT.OneShot.EntropicUncertainty","children":[]},{"name":"EntropicUncertaintyComparison","count":21,"module":"QIT.OneShot.EntropicUncertaintyComparison","children":[]},{"name":"GentleMeasurement","count":7,"module":"QIT.OneShot.GentleMeasurement","children":[]},{"name":"Smooth","count":200,"module":"QIT.OneShot.Smooth","children":[]},{"name":"SmoothAttainment","count":11,"module":"QIT.OneShot.SmoothAttainment","children":[]},{"name":"SmoothClassical","count":6,"module":"QIT.OneShot.SmoothClassical","children":[]},{"name":"SmoothComparison","count":2,"module":"QIT.OneShot.SmoothComparison","children":[]},{"name":"SmoothComparisonFidelity","count":4,"module":"QIT.OneShot.SmoothComparisonFidelity","children":[]},{"name":"SmoothEndpoint","count":509,"module":null,"children":[{"name":"Companion","count":32,"module":"QIT.OneShot.SmoothEndpoint.Companion","children":[]},{"name":"Duality","count":68,"module":"QIT.OneShot.SmoothEndpoint.Duality","children":[]},{"name":"MaximallyEntangledProjector","count":7,"module":"QIT.OneShot.SmoothEndpoint.MaximallyEntangledProjector","children":[]},{"name":"Normalized","count":198,"module":"QIT.OneShot.SmoothEndpoint.Normalized","children":[]},{"name":"Order","count":15,"module":"QIT.OneShot.SmoothEndpoint.Order","children":[]},{"name":"SourceDiscard","count":14,"module":"QIT.OneShot.SmoothEndpoint.SourceDiscard","children":[]},{"name":"Subnormalized","count":175,"module":"QIT.OneShot.SmoothEndpoint.Subnormalized","children":[]}]},{"name":"SmoothIsometry","count":8,"module":"QIT.OneShot.SmoothIsometry","children":[]},{"name":"SmoothNormalizedExtension","count":17,"module":"QIT.OneShot.SmoothNormalizedExtension","children":[]},{"name":"SmoothSupportRestriction","count":22,"module":"QIT.OneShot.SmoothSupportRestriction","children":[]}]},{"name":"Protocols","count":936,"module":null,"children":[{"name":"CoherentStateTransfer","count":4,"module":"QIT.Protocols.CoherentStateTransfer","children":[]},{"name":"FQSW","count":550,"module":null,"children":[{"name":"Core","count":62,"module":"QIT.Protocols.FQSW.Core","children":[]},{"name":"IIDDirect","count":110,"module":"QIT.Protocols.FQSW.IIDDirect","children":[]},{"name":"IIDRates","count":112,"module":"QIT.Protocols.FQSW.IIDRates","children":[]},{"name":"IIDTypical","count":50,"module":"QIT.Protocols.FQSW.IIDTypical","children":[]},{"name":"OneShot","count":216,"module":"QIT.Protocols.FQSW.OneShot","children":[]}]},{"name":"LOCC","count":178,"module":null,"children":[{"name":"ConditionalMinEntropy","count":19,"module":"QIT.Protocols.LOCC.ConditionalMinEntropy","children":[]},{"name":"Construction","count":13,"module":"QIT.Protocols.LOCC.Construction","children":[]},{"name":"Core","count":18,"module":"QIT.Protocols.LOCC.Core","children":[]},{"name":"InstrumentEntanglement","count":24,"module":"QIT.Protocols.LOCC.InstrumentEntanglement","children":[]},{"name":"Measurement","count":4,"module":"QIT.Protocols.LOCC.Measurement","children":[]},{"name":"PureEntanglement","count":31,"module":"QIT.Protocols.LOCC.PureEntanglement","children":[]},{"name":"ReferenceLift","count":7,"module":"QIT.Protocols.LOCC.ReferenceLift","children":[]},{"name":"SmoothConditionalMinEntropy","count":62,"module":"QIT.Protocols.LOCC.SmoothConditionalMinEntropy","children":[]}]},{"name":"StateMerging","count":139,"module":null,"children":[{"name":"Converse","count":30,"module":"QIT.Protocols.StateMerging.Converse","children":[]},{"name":"Core","count":21,"module":"QIT.Protocols.StateMerging.Core","children":[]},{"name":"Direct","count":4,"module":"QIT.Protocols.StateMerging.Direct","children":[]},{"name":"DirectOperational","count":3,"module":"QIT.Protocols.StateMerging.DirectOperational","children":[]},{"name":"DirectProtocol","count":19,"module":"QIT.Protocols.StateMerging.DirectProtocol","children":[]},{"name":"DirectRates","count":3,"module":"QIT.Protocols.StateMerging.DirectRates","children":[]},{"name":"DistanceAveraging","count":6,"module":"QIT.Protocols.StateMerging.DistanceAveraging","children":[]},{"name":"InputSource","count":9,"module":"QIT.Protocols.StateMerging.InputSource","children":[]},{"name":"OneShotConverse","count":4,"module":"QIT.Protocols.StateMerging.OneShotConverse","children":[]},{"name":"Optimality","count":5,"module":"QIT.Protocols.StateMerging.Optimality","children":[]},{"name":"RecordedOutcome","count":34,"module":"QIT.Protocols.StateMerging.RecordedOutcome","children":[]},{"name":"SmoothMinConverse","count":1,"module":"QIT.Protocols.StateMerging.SmoothMinConverse","children":[]}]},{"name":"Teleportation","count":52,"module":"QIT.Protocols.Teleportation","children":[]},{"name":"TeleportationLOCC","count":13,"module":"QIT.Protocols.TeleportationLOCC","children":[]}]},{"name":"Security","count":386,"module":null,"children":[{"name":"BB84","count":60,"module":"QIT.Security.BB84","children":[]},{"name":"Extractor","count":26,"module":"QIT.Security.Extractor","children":[]},{"name":"ExtractorAnalytic","count":4,"module":"QIT.Security.ExtractorAnalytic","children":[]},{"name":"ExtractorAveraging","count":17,"module":"QIT.Security.ExtractorAveraging","children":[]},{"name":"ExtractorQuadraticBridge","count":22,"module":"QIT.Security.ExtractorQuadraticBridge","children":[]},{"name":"ExtractorTraceBridge","count":32,"module":"QIT.Security.ExtractorTraceBridge","children":[]},{"name":"Key","count":42,"module":"QIT.Security.Key","children":[]},{"name":"KeyDistillation","count":47,"module":"QIT.Security.KeyDistillation","children":[]},{"name":"RandomnessExtraction","count":26,"module":"QIT.Security.RandomnessExtraction","children":[]},{"name":"RandomnessExtractionConverse","count":94,"module":"QIT.Security.RandomnessExtractionConverse","children":[]},{"name":"RandomnessExtractionOptimized","count":16,"module":"QIT.Security.RandomnessExtractionOptimized","children":[]}]},{"name":"States","count":744,"module":null,"children":[{"name":"Geometry","count":58,"module":null,"children":[{"name":"Fidelity","count":9,"module":"QIT.States.Geometry.Fidelity","children":[]},{"name":"FidelityConcavity","count":4,"module":"QIT.States.Geometry.FidelityConcavity","children":[]},{"name":"FuchsVdG","count":11,"module":"QIT.States.Geometry.FuchsVdG","children":[]},{"name":"PureTargetFidelity","count":2,"module":"QIT.States.Geometry.PureTargetFidelity","children":[]},{"name":"PurifiedDistance","count":25,"module":"QIT.States.Geometry.PurifiedDistance","children":[]},{"name":"PurifiedDistanceAngle","count":7,"module":"QIT.States.Geometry.PurifiedDistanceAngle","children":[]}]},{"name":"MaximallyEntangled","count":7,"module":"QIT.States.MaximallyEntangled","children":[]},{"name":"MaximallyMixed","count":12,"module":"QIT.States.MaximallyMixed","children":[]},{"name":"PosSqrt","count":4,"module":"QIT.States.PosSqrt","children":[]},{"name":"PosSqrtOrder","count":5,"module":"QIT.States.PosSqrtOrder","children":[]},{"name":"Product","count":4,"module":"QIT.States.Product","children":[]},{"name":"Purification","count":141,"module":null,"children":[{"name":"Canonical","count":5,"module":"QIT.States.Purification.Canonical","children":[]},{"name":"Conditioning","count":30,"module":"QIT.States.Purification.Conditioning","children":[]},{"name":"Equivalence","count":2,"module":"QIT.States.Purification.Equivalence","children":[]},{"name":"Gram","count":5,"module":"QIT.States.Purification.Gram","children":[]},{"name":"GramFactorization","count":2,"module":"QIT.States.Purification.GramFactorization","children":[]},{"name":"GramFacts","count":3,"module":"QIT.States.Purification.GramFacts","children":[]},{"name":"PartialIsometry","count":3,"module":"QIT.States.Purification.PartialIsometry","children":[]},{"name":"Predicate","count":4,"module":"QIT.States.Purification.Predicate","children":[]},{"name":"PureGeometry","count":5,"module":"QIT.States.Purification.PureGeometry","children":[]},{"name":"ReferenceExtension","count":2,"module":"QIT.States.Purification.ReferenceExtension","children":[]},{"name":"ReferenceIsometry","count":34,"module":"QIT.States.Purification.ReferenceIsometry","children":[]},{"name":"ReferenceUnitary","count":13,"module":"QIT.States.Purification.ReferenceUnitary","children":[]},{"name":"Schatten","count":4,"module":"QIT.States.Purification.Schatten","children":[]},{"name":"Uhlmann","count":29,"module":"QIT.States.Purification.Uhlmann","children":[]}]},{"name":"Schatten","count":213,"module":"QIT.States.Schatten","children":[]},{"name":"Subnormalized","count":53,"module":"QIT.States.Subnormalized","children":[]},{"name":"SubnormalizedConvexity","count":9,"module":"QIT.States.SubnormalizedConvexity","children":[]},{"name":"SubnormalizedTopology","count":21,"module":"QIT.States.SubnormalizedTopology","children":[]},{"name":"Topology","count":18,"module":"QIT.States.Topology","children":[]},{"name":"TraceNorm","count":199,"module":null,"children":[{"name":"Audenaert","count":57,"module":"QIT.States.TraceNorm.Audenaert","children":[]},{"name":"BlockMatrix","count":2,"module":"QIT.States.TraceNorm.BlockMatrix","children":[]},{"name":"Distance","count":28,"module":"QIT.States.TraceNorm.Distance","children":[]},{"name":"PositivePart","count":34,"module":"QIT.States.TraceNorm.PositivePart","children":[]},{"name":"PositivePartBlock","count":25,"module":"QIT.States.TraceNorm.PositivePartBlock","children":[]},{"name":"Spectral","count":23,"module":"QIT.States.TraceNorm.Spectral","children":[]},{"name":"Variational","count":30,"module":"QIT.States.TraceNorm.Variational","children":[]}]}]},{"name":"Symmetry","count":700,"module":null,"children":[{"name":"DeFinetti","count":330,"module":null,"children":[{"name":"Domination","count":70,"module":"QIT.Symmetry.DeFinetti.Domination","children":[]},{"name":"Postselection","count":59,"module":"QIT.Symmetry.DeFinetti.Postselection","children":[]},{"name":"ProfilesMixtures","count":79,"module":"QIT.Symmetry.DeFinetti.ProfilesMixtures","children":[]},{"name":"RennerProjectors","count":97,"module":"QIT.Symmetry.DeFinetti.RennerProjectors","children":[]},{"name":"Twirling","count":25,"module":"QIT.Symmetry.DeFinetti.Twirling","children":[]}]},{"name":"SymmetricSubspace","count":181,"module":"QIT.Symmetry.SymmetricSubspace","children":[]},{"name":"TensorPowerSplit","count":5,"module":"QIT.Symmetry.TensorPowerSplit","children":[]},{"name":"UnitaryTwirl","count":184,"module":"QIT.Symmetry.UnitaryTwirl","children":[]}]},{"name":"Util","count":275,"module":null,"children":[{"name":"BlockMatrix","count":37,"module":"QIT.Util.BlockMatrix","children":[]},{"name":"CMatrixCLM","count":5,"module":"QIT.Util.CMatrixCLM","children":[]},{"name":"Matrix","count":61,"module":"QIT.Util.Matrix","children":[{"name":"PosSqrt","count":14,"module":"QIT.Util.Matrix.PosSqrt","children":[]}]},{"name":"Order","count":10,"module":null,"children":[{"name":"EReal","count":1,"module":"QIT.Util.Order.EReal","children":[]},{"name":"Majorization","count":9,"module":"QIT.Util.Order.Majorization","children":[]}]},{"name":"RpowOperatorConvex","count":5,"module":"QIT.Util.RpowOperatorConvex","children":[]},{"name":"SDP","count":93,"module":null,"children":[{"name":"HermitianPSDTraceDuality","count":58,"module":"QIT.Util.SDP.HermitianPSDTraceDuality","children":[]},{"name":"PSDCone","count":3,"module":"QIT.Util.SDP.PSDCone","children":[]},{"name":"StrongDuality","count":32,"module":"QIT.Util.SDP.StrongDuality","children":[]}]},{"name":"TensorPower","count":3,"module":"QIT.Util.TensorPower","children":[]},{"name":"Wires","count":61,"module":"QIT.Util.Wires","children":[]}]}]},"namespaces":[{"namespace":"QIT.State","count":2724,"documented":1987},{"namespace":"QIT","count":1993,"documented":1507},{"namespace":"QIT.Channel","count":534,"documented":457},{"namespace":"QIT.SubnormalizedState","count":509,"documented":324},{"namespace":"QIT.PureVector","count":392,"documented":310},{"namespace":"QIT.MatrixMap","count":339,"documented":243},{"namespace":"QIT.Security","count":324,"documented":209},{"namespace":"QIT.BinaryHypothesisTest","count":309,"documented":251},{"namespace":"QIT.Ensemble","count":238,"documented":146},{"namespace":"QIT.YangNavascues","count":226,"documented":185},{"namespace":"QIT.Bell","count":205,"documented":123},{"namespace":"QIT.SequentialDecoding","count":152,"documented":53},{"namespace":"QIT.ProjectiveMeasurement","count":120,"documented":101},{"namespace":"QIT.FiniteInstrument","count":89,"documented":67},{"namespace":"QIT.POVM","count":84,"documented":53},{"namespace":"QIT.StateMergingBlockProtocol","count":77,"documented":57},{"namespace":"QIT.ClassicalTypicality","count":73,"documented":32},{"namespace":"QIT.HSWPackingHypothesesSpectral","count":70,"documented":67},{"namespace":"QIT.EntanglementAssistedClassicalCode","count":62,"documented":57},{"namespace":"QIT.WireFam","count":61,"documented":57},{"namespace":"QIT.ReferenceIsometry","count":60,"documented":39},{"namespace":"QIT.Matrix","count":58,"documented":55},{"namespace":"QIT.PositionBasedCodingProtocol","count":55,"documented":39},{"namespace":"QIT.OneWayLOCC","count":49,"documented":38},{"namespace":"QIT.Classical","count":47,"documented":41},{"namespace":"QIT.HypothesisTestingEffect","count":43,"documented":18},{"namespace":"Matrix","count":39,"documented":29},{"namespace":"QIT.HSWClassicalCode","count":37,"documented":28},{"namespace":"QIT.HermitianMatrix","count":37,"documented":4},{"namespace":"QIT.ADHWFQSWIidCompressedSourceWitness","count":36,"documented":21},{"namespace":"QIT.FQSWBlockProtocol","count":32,"documented":14},{"namespace":"QIT.SDP","count":32,"documented":27},{"namespace":"QIT.TwoQubit","count":31,"documented":24},{"namespace":"QIT.RenyiOrder","count":30,"documented":12},{"namespace":"QIT.ADHWFQSWSimultaneousTypicalProjectors","count":30,"documented":0},{"namespace":"QIT.ProjectionMatrix","count":27,"documented":10},{"namespace":"QIT.ADHWFQSWPaddedAtypEmbedding","count":26,"documented":15},{"namespace":"QIT.ProjectiveMeasurementLift","count":25,"documented":11},{"namespace":"QIT.PackingLemma","count":23,"documented":19},{"namespace":"QIT.FiniteIidMixture","count":23,"documented":20},{"namespace":"QIT.TensorPower","count":21,"documented":13},{"namespace":"QIT.ADHWFQSWIidMixedBlockConstruction","count":21,"documented":12},{"namespace":"QIT.TensorPowerProfile","count":20,"documented":8},{"namespace":"QIT.SmoothNormalizedExtension","count":17,"documented":15},{"namespace":"QIT.FQSWOneShotProtocol","count":17,"documented":10},{"namespace":"QIT.ADHWFQSWIidBlockConstruction","count":15,"documented":7},{"namespace":"QIT.SchumacherCompressionCode","count":11,"documented":8},{"namespace":"QIT.FinitePureStateMixture","count":11,"documented":10},{"namespace":"QIT.FiniteDistribution","count":10,"documented":3},{"namespace":"QIT.hswMessageRate","count":10,"documented":7},{"namespace":"QIT.ADHWFQSWIidTypicalBobRegister","count":10,"documented":4},{"namespace":"QIT.FiniteRennerMIIDMixture","count":10,"documented":9},{"namespace":"QIT.ProjectionSequence","count":9,"documented":3},{"namespace":"QIT.SchattenOrder","count":9,"documented":4},{"namespace":"QIT.ADHWFQSWIidRateChoice","count":8,"documented":4},{"namespace":"QIT.ADHWFQSWIidTypicalRefRegister","count":8,"documented":2},{"namespace":"QIT.ADHWFQSWSelectedDecouplingIsometry","count":8,"documented":2},{"namespace":"QIT.LinearMap","count":8,"documented":8},{"namespace":"QIT.EntanglementAssistedOneShotAchievabilityWitness","count":7,"documented":3},{"namespace":"QIT.Nonlocality","count":7,"documented":7},{"namespace":"QIT.SelfTesting","count":7,"documented":7},{"namespace":"QIT.ADHWFQSWIidSourceRouteBlock","count":7,"documented":3},{"namespace":"QIT.ADHWFQSWIidMixedSourceRouteBlock","count":7,"documented":3},{"namespace":"QIT.ReferenceUnitary","count":7,"documented":5},{"namespace":"QIT.ProfileAdjacentMove","count":7,"documented":0},{"namespace":"QIT.HSWAverageErrorPackingWitness","count":6,"documented":2},{"namespace":"QIT.PetzRenyiAlpha","count":6,"documented":2},{"namespace":"QIT.ADHWFQSWIidBalancedCardinalityChoice","count":6,"documented":2},{"namespace":"QIT.ADHWFQSWOneShotBound","count":6,"documented":2},{"namespace":"QIT.TeleportationEntanglementResource","count":6,"documented":4},{"namespace":"QIT.HSWDirectCodingWitness","count":5,"documented":1},{"namespace":"QIT.HSWPackingLemmaWitness","count":5,"documented":1},{"namespace":"QIT.ADHWSchurTwirling","count":5,"documented":0},{"namespace":"CFC","count":5,"documented":5},{"namespace":"QIT.AEPDoubleLimit","count":4,"documented":4},{"namespace":"QIT.StochasticKernel","count":4,"documented":0},{"namespace":"QIT.EntanglementAssistedDirectCodingWitness","count":4,"documented":0},{"namespace":"QIT.TypicalCompressionWitness","count":4,"documented":0},{"namespace":"QIT.ADHWFQSWIidBalancedRateChoice","count":4,"documented":0},{"namespace":"QIT.ADHWHSOneShotBound","count":4,"documented":0},{"namespace":"QIT.ADHWFQSWIidOneShotCardinalitySideConditions","count":3,"documented":0},{"namespace":"QIT.ADHWTraceNormDecouplingBound","count":3,"documented":0},{"namespace":"QIT.ADHWMaxMixedA2Estimate","count":3,"documented":0},{"namespace":"QIT.EntanglementAssistedSourceConverseWitnessFamily","count":2,"documented":0},{"namespace":"QIT.IsSeparable","count":2,"documented":2},{"namespace":"QIT.ADHWFQSWIidConstruction","count":2,"documented":0},{"namespace":"QIT.PosSemidef","count":2,"documented":2},{"namespace":"QIT.FiniteDomainAEPDoubleLimit","count":1,"documented":1},{"namespace":"QIT.SourceFiniteDomainTwoStageLimitTo","count":1,"documented":1},{"namespace":"QIT.SourceTwoStageLimitTo","count":1,"documented":1},{"namespace":"QIT.CodewordIsTypical","count":1,"documented":1},{"namespace":"QIT.EntanglementAssistedWeakConverse","count":1,"documented":1},{"namespace":"QIT.Finset","count":1,"documented":1},{"namespace":"QIT.LinearIsometry","count":1,"documented":1},{"namespace":"QIT.Supports","count":1,"documented":1},{"namespace":"QIT.Internal","count":1,"documented":1},{"namespace":"QIT.HypothesisTesting","count":1,"documented":1},{"namespace":"Complex","count":1,"documented":1},{"namespace":"Matrix.PosDef","count":1,"documented":1}],"refs":{"totals":{"edges":93077,"resolved":34735,"external":58342,"self":0,"declarations_with_no_refs":20},"hub_threshold":200,"hub_count":18,"top_in_degree":[{"name":"QIT.State","in":3150},{"name":"QIT.CMatrix","in":2204},{"name":"QIT.State.matrix","in":1500},{"name":"QIT.PureVector","in":1381},{"name":"QIT.Channel","in":966},{"name":"QIT.TensorPower","in":737},{"name":"QIT.Ensemble","in":553},{"name":"QIT.SubnormalizedState","in":512},{"name":"QIT.log2","in":399},{"name":"QIT.PureVector.state","in":360},{"name":"QIT.Channel.applyState","in":295},{"name":"QIT.State.prod","in":289},{"name":"QIT.State.marginalA","in":284},{"name":"QIT.State.marginalB","in":258},{"name":"QIT.SubnormalizedState.matrix","in":235},{"name":"QIT.ReferenceIsometry","in":206},{"name":"QIT.Matrix.Supports","in":204},{"name":"QIT.MatrixMap","in":201},{"name":"QIT.Channel.map","in":196},{"name":"QIT.State.toSubnormalized","in":176},{"name":"QIT.State.identityTensorStateMatrix","in":169},{"name":"QIT.TensorPowerProfile","in":166},{"name":"QIT.State.reindex","in":157},{"name":"QIT.psdSchattenPNorm","in":155},{"name":"QIT.POVM","in":150},{"name":"QIT.YangNavascues.YNData","in":145},{"name":"QIT.Channel.idChannel","in":138},{"name":"QIT.Ensemble.cqState","in":131},{"name":"QIT.ADHWFQSWSimultaneousTypicalProjectors","in":130},{"name":"QIT.Ensemble.states","in":129},{"name":"QIT.Channel.prod","in":128},{"name":"QIT.rankOneMatrix","in":125},{"name":"QIT.BinaryHypothesisTest.ClassicalBinaryModel","in":123},{"name":"QIT.MatrixMap.ofKraus","in":122},{"name":"QIT.partialTraceA","in":115},{"name":"QIT.MatrixMap.IsCompletelyPositive","in":110},{"name":"QIT.Ensemble.probs","in":110},{"name":"QIT.ProjectiveMeasurement","in":107},{"name":"QIT.Security.HashFamily","in":107},{"name":"QIT.psdTracePower","in":107},{"name":"QIT.State.marginalAB","in":105},{"name":"QIT.ProjectionSequence","in":102},{"name":"QIT.traceNorm","in":100},{"name":"QIT.SubnormalizedState.purifiedBall","in":98},{"name":"QIT.Channel.hypothesisTestingOutputState","in":98},{"name":"QIT.State.sandwichedRenyiQ","in":94},{"name":"QIT.FiniteInstrument","in":93},{"name":"QIT.Channel.tensorPower","in":92},{"name":"QIT.FiniteDistribution","in":90},{"name":"QIT.State.sandwichedRenyiMutualInformationCandidateE","in":87}]},"shard_count":64,"hub_threshold":200,"source":{"repos":["https://github.com/saadbhattii/Lean-QIT"],"commits":["da54e3070298468dc884877726bc45a92c57e4b3"]}}