A Catalytic Algorithm for Transposing Unknown Qutrit Unitaries with Tight Query Bounds

Abstract:We construct exact deterministic circuits for transposing and inverting an unknown qutrit unitary $U\in\mathrm{SU}(3)$ using only forward queries. Three queries prepare a catalyst independently of the input state. Four further queries implement transposition while returning the catalyst unchanged and uncorrelated with the output. Two uses within an antisymmetric encoding implement inversion with eight processing queries and return the same catalyst. Reusing the catalyst implements $m$ transpositions or inversions with $3+4m$ or $3+8m$ total queries, respectively. More generally, we prove that exact transposition and inversion of an unknown $U\in\mathrm{SU}(d)$, $d\ge2$, require at least $d+1$ and $d^2-1$ processing queries, respectively, in fixed causal order. These processing bounds hold for any program state prepared independently of the input state using finitely many forward queries, even if that state is consumed during processing. Both our catalytic qutrit algorithms attain their respective bounds. Moreover, exact qutrit transposition with four processing queries requires at least three preparation queries, and our construction attains this bound.

Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

arXiv:2610.12664 [quant-ph]

(or arXiv:2610.12664v1 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2610.12664 Focus to learn more arXiv-issued DOI via DataCite (pending registration)

aux/character.py

aux/check_minors.py

aux/exclude10.py

checks/aux/character.json

checks/aux/character.log

checks/aux/check_minors.log

checks/aux/exclude10.json

checks/aux/exclude10.log

checks/aux/gram.json

checks/aux/gram.log

checks/aux/kernels.json

checks/aux/kernels.log

checks/aux/metric.json

checks/aux/metric.log

checks/aux/minor_check.json

checks/aux/minors.json

checks/aux/raw.json

checks/aux/raw.log

checks/aux/rigidity.log

checks/aux/run.json

checks/aux/spaces.json

checks/aux/spaces.log

family/CG_STORAGE.json

family/README.md

family/cg/F15.npy

family/cg/T15.npy

family/cg/T6.npy

family/cg/W15.npy

family/cg/W6.npy

family/exact.json

family/numeric.json

family/numeric.py

family/requirements.txt

family/results.json

lean/AbstractBell.lean

lean/ActualCatalyticClosure.lean

lean/ActualSeedCopies.lean

lean/AdaptiveBounds.lean

lean/AdaptiveInterface.lean

lean/AdaptiveQuery.lean

lean/Adjoint.lean

lean/AdjointCommutant.lean

lean/AdjointIrreducible.lean

lean/AdjointMatrixSpace.lean

lean/AdjointWeights.lean

lean/AdjugateBridge.lean

lean/AdjugateSurjectivity.lean

lean/AnalyticProgram.lean

lean/AnalyticProtocol.lean

lean/AnalyticTargets.lean

lean/AnalyticWord.lean

lean/AntisymmetricSeed.lean

lean/AntisymmetricTrace.lean

lean/ApproximatePrograms.lean

lean/BellContraction.lean

lean/BellIdentities.lean

lean/BothDiscardedBounds.lean

lean/BothStoppedBounds.lean

lean/Budget.lean

lean/C4PreparationCircuit.lean

lean/C4PreparationGeometry.lean

lean/CGComplement.lean

lean/CGCoordinateEquivalence.lean

lean/CGFifteen.lean

lean/CGPartialTrace.lean

lean/CGSeedTrace.lean

lean/CGSixTable.lean

lean/CPAdaptive.lean

lean/CPBothStoppedBounds.lean

lean/CPMixedBounds.lean

lean/CPMixedInitialBounds.lean

lean/CPNativeOracleTree.lean

lean/CPNativeTreeBounds.lean

lean/CPOracleTree.lean

lean/CPQuery.lean

lean/CPRectOracleTree.lean

lean/CPRectTreeBounds.lean

lean/CPSelective.lean

lean/CPTreeBounds.lean

lean/Catalyst.lean

lean/CatalystFamily.lean

lean/CatalystRestoration.lean

lean/CatalyticComposition.lean

lean/CatalyticInverse.lean

lean/ChannelBounds.lean

lean/ChoiInstrument.lean

lean/ChoiKraus.lean

lean/Closure.lean

lean/CoisometryRecovery.lean

lean/CombinedDiscarded.lean

lean/CommonWorkspace.lean

lean/CommutantMultiplicity.lean

lean/CompactPrograms.lean

lean/CompatibleBasis.lean

lean/Completion.lean

lean/Complexify.lean

lean/ConjugateFifteenIrreducible.lean

lean/ControlledPrograms.lean

lean/CoordinatePermutation.lean

lean/Covariance.lean

lean/DeferredInstrument.lean

lean/DiagonalExtension.lean

lean/DiscardedBounds.lean

lean/DiscardedEnvironment.lean

lean/DualCG.lean

lean/DummyRouting.lean

lean/DummyTensor.lean

lean/Embedding.lean

lean/EncodedTree.lean

lean/EncodedTreeBounds.lean

lean/EndpointFactorization.lean

lean/EnvironmentChannels.lean

lean/EnvironmentTrajectory.lean

lean/ExactBounds.lean

lean/ExactPrefix.lean

lean/ExactStorage.lean

lean/ExplicitFifteenCG.lean

lean/FamilyActualChannel.lean

lean/FamilyActualClosure.lean

lean/FamilyAllocatedIdentity.lean

lean/FamilyAllocation.lean

lean/FamilyBlockCoordinates.lean

lean/FamilyBlockCovariance.lean

lean/FamilyCanonicalEncoding.lean

lean/FamilyCanonicalGate.lean

lean/FamilyCatalyticClosure.lean

lean/FamilyCompleteProtocol.lean

lean/FamilyEncodingTypes.lean

lean/FamilyExtraPhi.lean

lean/FamilyFifteenCoupling.lean

lean/FamilyFifteenIsometry.lean

lean/FamilyFifteenMatch.lean

lean/FamilyFifteenSeed.lean

lean/FamilyFifteenTensor.lean

lean/FamilyFirstDecoded.lean

lean/FamilyFirstEncoding.lean

lean/FamilyFirstQuery.lean

lean/FamilyFullGate.lean

lean/FamilyGateOne.lean

lean/FamilyIdentityInput.lean

lean/FamilyIdentityMatching.lean

lean/FamilyInitialState.lean

lean/FamilyInputCovariance.lean

lean/FamilyInputGram.lean

lean/FamilyInputWeights.lean

lean/FamilyIntrinsicContraction.lean

lean/FamilyMerge.lean

lean/FamilyMergeConnection.lean

lean/FamilyMidpointAssembly.lean

lean/FamilyMidpointCG.lean

lean/FamilyMidpointCompletion.lean

lean/FamilyMidpointEmbedding.lean

lean/FamilyMidpointIntertwining.lean

lean/FamilyMidpointSeed.lean

lean/FamilyParameterContinuity.lean

lean/FamilyPhaseEncoding.lean

lean/FamilyPhi.lean

lean/FamilyPhiReconstruction.lean

lean/FamilyPhysicalMidpoint.lean

lean/FamilyPhysicalPhi.lean

lean/FamilyPreparationCircuit.lean

lean/FamilyPreparationGeometry.lean

lean/FamilyRacah.lean

lean/FamilyRacahWeights.lean

lean/FamilyRealCoupling.lean

lean/FamilyRestoration.lean

lean/FamilyRightFifteen.lean

lean/FamilyRightSix.lean

lean/FamilySecondEncoding.lean

lean/FamilySecondInput.lean

lean/FamilySecondQuery.lean

lean/FamilyTrajectory.lean

lean/FamilyWeights.lean

lean/FifteenCommutant.lean

lean/FifteenComplexRep.lean

lean/FifteenFirstSeed.lean

lean/FifteenHighestWeight.lean

lean/FifteenIrreducible.lean

lean/FifteenPolynomialShapes.lean

lean/FifteenSeedMatch.lean

lean/FifteenSeparation.lean

lean/FifteenWeights.lean

lean/FinalSeedMatches.lean

lean/FinalTrajectory.lean

lean/FiniteAdaptive.lean

lean/FiniteStinespring.lean

lean/FirstBeforeQuery.lean

lean/FirstBranchExtraction.lean

lean/FirstCovariance.lean

lean/FirstDecoded.lean

lean/FirstDecoder.lean

lean/FirstDecomposition.lean

lean/FirstEncoding.lean

lean/FirstMerge.lean

lean/FirstMergeGate.lean

lean/FirstPairingGeometry.lean

lean/FirstPairingSeed.lean

lean/FirstQueryCovariance.lean

lean/FirstQueryGeometry.lean

lean/FirstRecouplingLiteral.lean

lean/FirstSixMatch.lean

lean/FirstSixNormalization.lean

lean/FirstSixSeed.lean

lean/FirstTrajectoryLiteral.lean

lean/FourQueryCatalyst.lean

lean/FullInputTree.lean

lean/FullPreparation.lean

lean/FullResponse.lean

lean/FundamentalIrreducible.lean

lean/GlobalPolynomial.lean

lean/GlobalProtocol.lean

lean/HermitianExtension.lean

lean/HistoryProjection.lean

lean/InitialBranchWeights.lean

lean/InitialCG.lean

lean/InitialCGCovariance.lean

lean/InitialCommutant.lean

lean/InitialNormalizedFormula.lean

lean/InitialReference.lean

lean/InitialWeightedFormula.lean

lean/IntrinsicFifteen.lean

lean/IntrinsicTwentySeven.lean

lean/InvariantSubspaceCoordinates.lean

lean/IrreducibleHomLine.lean

lean/IrreducibleIntertwiner.lean

lean/IrreducibleSchur.lean

lean/IrreducibleSeparation.lean

lean/IsotypicIrreducible.lean

lean/IsotypicTensor.lean

lean/JointTensorFactorization.lean

lean/Kernel.lean

lean/LinearSymmetry.lean

lean/LowDegree.lean

lean/LowPreparation.lean

lean/MAIN_RESULTS.md

lean/MatrixDecomposition.lean

lean/MatrixKetConvention.lean

lean/MatrixKetHilbert.lean

lean/MidpointBlockTypes.lean

lean/MidpointBlocks.lean

lean/MidpointRepresentation.lean

lean/Minors.lean

lean/MixedBounds.lean

lean/MixedInitialBounds.lean

lean/MixedProtocol.lean

lean/MixedStatePurification.lean

lean/NativeOracleTree.lean

lean/NativeOutput.lean

lean/NativeQueryEmbedding.lean

lean/NativeTreeBounds.lean

lean/NativeTwoStage.lean

lean/NormalizedChannelBounds.lean

lean/NormalizedChannels.lean

lean/NormalizedInitialSeeds.lean

lean/NormalizedStorage.lean

lean/OracleTree.lean

lean/OutcomeEmbedding.lean

lean/OutputPolynomial.lean

lean/Pairings.lean

lean/PhasePolynomial.lean

lean/PhiCovariance.lean

lean/PhiFlip.lean

lean/PhysicalMidpoint.lean

lean/PhysicalPrefix.lean

lean/Placement.lean

lean/PolyUnitary.lean

lean/PolynomialLine.lean

lean/PortCoordinateEmbedding.lean

lean/Preparation.lean

lean/PreparationCircuit.lean

lean/PreparationPadding.lean

lean/Preserver.lean

lean/ProcessingDummy.lean

lean/Program.lean

lean/ProgramAlignment.lean

lean/PureStateTomography.lean

lean/PurificationEvolution.lean

lean/QuadraticKernel.lean

lean/QueryComposition.lean

lean/QueryRemoval.lean

lean/QuerySelection.lean

lean/QutritSeedMultiplicity.lean

lean/RationalAdjoint.lean

lean/RationalFifteen.lean

lean/RationalFifteenRep.lean

lean/RationalTwentySeven.lean

lean/RectInstrument.lean

lean/RectOracleTree.lean

lean/RectProgram.lean

lean/RectTreeBounds.lean

lean/RectTwoStage.lean

lean/RectangularWord.lean

lean/RepresentationBlocks.lean

lean/Response.lean

lean/RetainedDummyProgram.lean

lean/ReusableCatalyst.lean

lean/ReusablePreparation.lean

lean/ReverseFourthFormula.lean

lean/ReverseFourthQuery.lean

lean/ReverseQueryStages.lean

lean/Rotations.lean

lean/RoutedBounds.lean

lean/RoutedCPRectBounds.lean

lean/RoutedCPRectTree.lean

lean/RoutedStorage.lean

lean/RoutedWord.lean

lean/SaturatedPrefix.lean

lean/ScalarCommutantIrreducible.lean

lean/ScalarRepresentation.lean

lean/SchurBlocks.lean

lean/SchurEquivalent.lean

lean/SchurMultiplicity.lean

lean/SecondEncoding.lean

lean/SecondFifteenExclusion.lean

lean/SecondInputGram.lean

lean/SecondPairingLiteral.lean

lean/SecondQuery.lean

lean/SecondSeedAssembly.lean

lean/SeedCopies.lean

lean/SeedCopyIrreducible.lean

lean/SeedHilbert.lean

lean/SeedMultiplicity.lean

lean/SeedMultiplicityClosure.lean

lean/SeedOccurrence.lean

lean/SeedRemainder.lean

lean/SelectiveDiscardedEnvironment.lean

lean/SelectiveSlots.lean

lean/SixSeedCoefficients.lean

lean/SixTensorLiteral.lean

lean/SliceGram.lean

lean/SmallFirstSeed.lean

lean/SourceFirstCG.lean

lean/SourceFirstMatrix.lean

lean/SourceSecondStates.lean

lean/SourceSeedMatches.lean

lean/SourceWorkedSix.lean

lean/SpecialCurve.lean

lean/StoppedDiscardedBounds.lean

lean/StoppedPreparation.lean

lean/StoppedPreparationBounds.lean

lean/StoppedProcessingBounds.lean

lean/StoppedProcessingProtocol.lean

lean/StoppingChannel.lean

lean/StoppingTrajectory.lean

lean/SubspaceCompression.lean

lean/Symmetric.lean

lean/SymmetricCommutant.lean

lean/SymmetricCube.lean

lean/SymmetricCubeRep.lean

lean/SymmetricInvariantSubspaces.lean

lean/SymmetricIrreducible.lean

lean/SymmetricRepresentation.lean

lean/TenCharacter.lean

lean/TenCommutant.lean

lean/TenDimensionSeparation.lean

lean/TenIrreducible.lean

lean/TenSeedExclusion.lean

lean/TenSeparation.lean

lean/TenWeights.lean

lean/TensorBlockDecomposition.lean

lean/TensorBlockRepresentations.lean

lean/TensorHom.lean

lean/TensorHomMultiplicity.lean

lean/TensorPorts.lean

lean/TensorProductCommutant.lean

lean/TensorProductIrreducible.lean

lean/ThreeFifteenComplement.lean

lean/ThreeFifteenTen.lean

lean/ThreeSixDecomposition.lean

lean/ThreeSixExclusion.lean

lean/ThreeSixSeparation.lean

lean/TraceRepresentativeUniqueness.lean

lean/TreeBounds.lean

lean/TreeLayer.lean

lean/TreeNodes.lean

lean/TreeQueryPorts.lean

lean/TreeSlots.lean

lean/TreeSynchronization.lean

lean/TwentySeven.lean

lean/TwentySevenCommutant.lean

lean/TwentySevenIrreducible.lean

lean/TwentySevenWeights.lean

lean/TwoQuery.lean

lean/TwoQueryEncoder.lean

lean/TwoStageProtocol.lean

lean/UnitaryDecomposition.lean

lean/UnitaryInvariant.lean

lean/cache_modules.txt

lean/checks/AbstractBell.log

lean/checks/ActualCatalyticClosure.log

lean/checks/ActualSeedCopies.log

lean/checks/AdaptiveBounds.log

lean/checks/AdaptiveInterface.log

lean/checks/AdaptiveQuery.log

lean/checks/Adjoint.log

lean/checks/AdjointCommutant.log

lean/checks/AdjointIrreducible.log

lean/checks/AdjointMatrixSpace.log

lean/checks/AdjointWeights.log

lean/checks/AdjugateBridge.log

lean/checks/AdjugateSurjectivity.log

lean/checks/AnalyticProgram.log

lean/checks/AnalyticProtocol.log

lean/checks/AnalyticTargets.log

lean/checks/AnalyticWord.log

lean/checks/AntisymmetricSeed.log

lean/checks/AntisymmetricTrace.log

lean/checks/ApproximatePrograms.log

lean/checks/BellContraction.log

lean/checks/BellIdentities.log

lean/checks/BothDiscardedBounds.log

lean/checks/BothStoppedBounds.log

lean/checks/Budget.log

lean/checks/C4PreparationCircuit.log

lean/checks/C4PreparationGeometry.log

lean/checks/CGComplement.log

lean/checks/CGCoordinateEquivalence.log

lean/checks/CGFifteen.log

lean/checks/CGPartialTrace.log

lean/checks/CGSeedTrace.log

lean/checks/CGSixTable.log

lean/checks/CPAdaptive.log

lean/checks/CPBothStoppedBounds.log

lean/checks/CPMixedBounds.log

lean/checks/CPMixedInitialBounds.log

lean/checks/CPNativeOracleTree.log

lean/checks/CPNativeTreeBounds.log

lean/checks/CPOracleTree.log

lean/checks/CPQuery.log

lean/checks/CPRectOracleTree.log

lean/checks/CPRectTreeBounds.log

lean/checks/CPSelective.log

lean/checks/CPTreeBounds.log

lean/checks/Catalyst.log

lean/checks/CatalystFamily.log

lean/checks/CatalystRestoration.log

lean/checks/CatalyticComposition.log

lean/checks/CatalyticComposition.module.json

lean/checks/CatalyticInverse.log

lean/checks/CatalyticInverse.module.json

lean/checks/ChannelBounds.log

lean/checks/Choi.log

lean/checks/ChoiInstrument.log

lean/checks/ChoiKraus.log

lean/checks/Closure.log

lean/checks/CoisometryRecovery.log

lean/checks/CombinedDiscarded.log

lean/checks/CommonWorkspace.log

lean/checks/CommutantMultiplicity.log

lean/checks/CompactPrograms.log

lean/checks/CompatibleBasis.log

lean/checks/Completion.log

lean/checks/Complexify.log

lean/checks/ConjugateFifteenIrreducible.log

lean/checks/ControlledPrograms.log

lean/checks/CoordinatePermutation.log

lean/checks/Covariance.log

lean/checks/DeferredInstrument.log

lean/checks/DiagonalExtension.log

lean/checks/DiscardedBounds.log

lean/checks/DiscardedEnvironment.log

lean/checks/DualCG.log

lean/checks/DummyRouting.log

lean/checks/DummyTensor.log

lean/checks/Embedding.log

lean/checks/EncodedTree.log

lean/checks/EncodedTreeBounds.log

lean/checks/EndpointFactorization.log

lean/checks/EnvironmentChannels.log

lean/checks/EnvironmentTrajectory.log

lean/checks/ExactBounds.log

lean/checks/ExactPrefix.log

lean/checks/ExactStorage.log

lean/checks/ExplicitFifteenCG.log

lean/checks/FamilyActualChannel.log

lean/checks/FamilyActualClosure.log

lean/checks/FamilyAllocatedIdentity.log

lean/checks/FamilyAllocation.log

lean/checks/FamilyBlockCoordinates.log

lean/checks/FamilyBlockCovariance.log

lean/checks/FamilyCanonicalEncoding.log

lean/checks/FamilyCanonicalGate.log

lean/checks/FamilyCatalyticClosure.log

lean/checks/FamilyCompleteProtocol.log

lean/checks/FamilyEncodingTypes.log

lean/checks/FamilyExtraPhi.log

lean/checks/FamilyFifteenCoupling.log

lean/checks/FamilyFifteenIsometry.log

lean/checks/FamilyFifteenMatch.log

lean/checks/FamilyFifteenSeed.log

lean/checks/FamilyFifteenTensor.log

lean/checks/FamilyFirstDecoded.log

lean/checks/FamilyFirstEncoding.log

lean/checks/FamilyFirstQuery.log

lean/checks/FamilyFullGate.log

lean/checks/FamilyGateOne.log

lean/checks/FamilyIdentityInput.log

lean/checks/FamilyIdentityMatching.log

lean/checks/FamilyInitialState.log

lean/checks/FamilyInputCovariance.log

lean/checks/FamilyInputGram.log

lean/checks/FamilyInputWeights.log

lean/checks/FamilyIntrinsicContraction.log

lean/checks/FamilyMerge.log

lean/checks/FamilyMergeConnection.log

lean/checks/FamilyMidpointAssembly.log

lean/checks/FamilyMidpointCG.log

lean/checks/FamilyMidpointCompletion.log

lean/checks/FamilyMidpointEmbedding.log

lean/checks/FamilyMidpointIntertwining.log

lean/checks/FamilyMidpointSeed.log

lean/checks/FamilyParameterContinuity.log

lean/checks/FamilyPhaseEncoding.log

lean/checks/FamilyPhi.log

lean/checks/FamilyPhiReconstruction.log

lean/checks/FamilyPhysicalMidpoint.log

lean/checks/FamilyPhysicalPhi.log

lean/checks/FamilyPreparationCircuit.log

lean/checks/FamilyPreparationGeometry.log

lean/checks/FamilyRacah.log

lean/checks/FamilyRacahWeights.log

lean/checks/FamilyRealCoupling.log

lean/checks/FamilyRestoration.log

lean/checks/FamilyRightFifteen.log

lean/checks/FamilyRightSix.log

lean/checks/FamilySecondEncoding.log

lean/checks/FamilySecondInput.log

lean/checks/FamilySecondQuery.log

lean/checks/FamilyTrajectory.log

lean/checks/FamilyWeights.log

lean/checks/FifteenCommutant.log

lean/checks/FifteenComplexRep.log

lean/checks/FifteenFirstSeed.log

lean/checks/FifteenHighestWeight.log

lean/checks/FifteenIrreducible.log

lean/checks/FifteenPolynomialShapes.log

lean/checks/FifteenSeedMatch.log

lean/checks/FifteenSeparation.log

lean/checks/FifteenWeights.log

lean/checks/FinalSeedMatches.log

lean/checks/FinalTrajectory.log

lean/checks/FiniteAdaptive.log

lean/checks/FiniteStinespring.log

lean/checks/FirstBeforeQuery.log

lean/checks/FirstBranchExtraction.log

lean/checks/FirstCovariance.log

lean/checks/FirstDecoded.log

lean/checks/FirstDecoder.log

lean/checks/FirstDecomposition.log

lean/checks/FirstEncoding.log

lean/checks/FirstMerge.log

lean/checks/FirstMergeGate.log

lean/checks/FirstPairingGeometry.log

lean/checks/FirstPairingSeed.log

lean/checks/FirstQueryCovariance.log

lean/checks/FirstQueryGeometry.log

lean/checks/FirstRecouplingLiteral.log

lean/checks/FirstSixMatch.log

lean/checks/FirstSixNormalization.log

lean/checks/FirstSixSeed.log

lean/checks/FirstTrajectoryLiteral.log

lean/checks/Flip.log

lean/checks/FourQueryCatalyst.log

lean/checks/FullInputTree.log

lean/checks/FullPreparation.log

lean/checks/FullResponse.log

lean/checks/FundamentalIrreducible.log

lean/checks/GlobalPolynomial.log

lean/checks/GlobalProtocol.log

lean/checks/HermitianExtension.log

lean/checks/HistoryProjection.log

lean/checks/InitialBranchWeights.log

lean/checks/InitialCG.log

lean/checks/InitialCGCovariance.log

lean/checks/InitialCommutant.log

lean/checks/InitialNormalizedFormula.log

lean/checks/InitialReference.log

lean/checks/InitialWeightedFormula.log

lean/checks/IntrinsicFifteen.log

lean/checks/IntrinsicTwentySeven.log

lean/checks/InvariantSubspaceCoordinates.log

lean/checks/IrreducibleHomLine.log

lean/checks/IrreducibleIntertwiner.log

lean/checks/IrreducibleSchur.log

lean/checks/IrreducibleSeparation.log

lean/checks/IsotypicIrreducible.log

lean/checks/IsotypicTensor.log

lean/checks/JointTensorFactorization.log

lean/checks/Kernel.log

lean/checks/LinearSymmetry.log

lean/checks/LowDegree.log

lean/checks/LowPreparation.log

lean/checks/MatrixDecomposition.log

lean/checks/MatrixKetConvention.log

lean/checks/MatrixKetHilbert.log

lean/checks/MidpointBlockTypes.log

lean/checks/MidpointBlocks.log

lean/checks/MidpointRepresentation.log

lean/checks/Minors.log

lean/checks/MixedBounds.log

lean/checks/MixedInitialBounds.log

lean/checks/MixedProtocol.log

lean/checks/MixedStatePurification.log

lean/checks/NativeOracleTree.log

lean/checks/NativeOutput.log

lean/checks/NativeQueryEmbedding.log

lean/checks/NativeTreeBounds.log

lean/checks/NativeTwoStage.log

lean/checks/NormalizedChannelBounds.log

lean/checks/NormalizedChannels.log

lean/checks/NormalizedInitialSeeds.log

lean/checks/NormalizedStorage.log

lean/checks/OracleTree.log

lean/checks/OutcomeEmbedding.log

lean/checks/OutputPolynomial.log

lean/checks/Pairings.log

lean/checks/PhasePolynomial.log

lean/checks/Phi.log

lean/checks/PhiCovariance.log

lean/checks/PhiFlip.log

lean/checks/PhysicalMidpoint.log

lean/checks/PhysicalPrefix.log

lean/checks/Placement.log

lean/checks/PolyUnitary.log

lean/checks/PolynomialLine.log

lean/checks/PortCoordinateEmbedding.log

lean/checks/Preparation.log

lean/checks/PreparationCircuit.log

lean/checks/PreparationPadding.log

lean/checks/Preserver.log

lean/checks/ProcessingDummy.log

lean/checks/Program.log

lean/checks/ProgramAlignment.log

lean/checks/PureStateTomography.log

lean/checks/PurificationEvolution.log

lean/checks/QuadraticKernel.log

lean/checks/QueryComposition.log

lean/checks/QueryComposition.module.json

lean/checks/QueryRemoval.log

lean/checks/QuerySelection.log

lean/checks/QutritSeedMultiplicity.log

lean/checks/RationalAdjoint.log

lean/checks/RationalFifteen.log

lean/checks/RationalFifteenRep.log

lean/checks/RationalTwentySeven.log

lean/checks/RectInstrument.log

lean/checks/RectOracleTree.log

lean/checks/RectProgram.log

lean/checks/RectTreeBounds.log

lean/checks/RectTwoStage.log

lean/checks/RectangularWord.log

lean/checks/RepresentationBlocks.log

lean/checks/Response.log

lean/checks/RetainedDummyProgram.log

lean/checks/ReusableCatalyst.log

lean/checks/ReusableCatalyst.module.json

lean/checks/ReusablePreparation.log

lean/checks/ReusablePreparation.module.json

lean/checks/ReverseFourthFormula.log

lean/checks/ReverseFourthQuery.log

lean/checks/ReverseQueryStages.log

lean/checks/Rotations.log

lean/checks/RoutedBounds.log

lean/checks/RoutedCPRectBounds.log

lean/checks/RoutedCPRectTree.log

lean/checks/RoutedStorage.log

lean/checks/RoutedWord.log

lean/checks/SaturatedPrefix.log

lean/checks/ScalarCommutantIrreducible.log

lean/checks/ScalarRepresentation.log

lean/checks/SchurBlocks.log

lean/checks/SchurEquivalent.log

lean/checks/SchurMultiplicity.log

lean/checks/SecondEncoding.log

lean/checks/SecondFifteenExclusion.log

lean/checks/SecondInputGram.log

lean/checks/SecondPairingLiteral.log

lean/checks/SecondQuery.log

lean/checks/SecondSeedAssembly.log

lean/checks/SeedCopies.log

lean/checks/SeedCopyIrreducible.log

lean/checks/SeedHilbert.log

lean/checks/SeedMultiplicity.log

lean/checks/SeedMultiplicityClosure.log

lean/checks/SeedOccurrence.log

lean/checks/SeedRemainder.log

lean/checks/SelectiveDiscardedEnvironment.log

lean/checks/SelectiveSlots.log

lean/checks/SixSeedCoefficients.log

lean/checks/SixTensorLiteral.log

lean/checks/SliceGram.log

lean/checks/SmallFirstSeed.log

lean/checks/SourceFirstCG.log

lean/checks/SourceFirstMatrix.log

lean/checks/SourceSecondStates.log

lean/checks/SourceSeedMatches.log

lean/checks/SourceWorkedSix.log

lean/checks/SpecialCurve.log

lean/checks/StoppedDiscardedBounds.log

lean/checks/StoppedPreparation.log

lean/checks/StoppedPreparationBounds.log

lean/checks/StoppedProcessingBounds.log

lean/checks/StoppedProcessingProtocol.log

lean/checks/StoppingChannel.log

lean/checks/StoppingTrajectory.log

lean/checks/SubspaceCompression.log

lean/checks/Symmetric.log

lean/checks/SymmetricCommutant.log

lean/checks/SymmetricCube.log

lean/checks/SymmetricCubeRep.log

lean/checks/SymmetricInvariantSubspaces.log

lean/checks/SymmetricIrreducible.log

lean/checks/SymmetricRepresentation.log

lean/checks/TenCharacter.log

lean/checks/TenCommutant.log

lean/checks/TenDimensionSeparation.log

lean/checks/TenIrreducible.log

lean/checks/TenSeedExclusion.log

lean/checks/TenSeparation.log

lean/checks/TenWeights.log

lean/checks/TensorBlockDecomposition.log

lean/checks/TensorBlockRepresentations.log

lean/checks/TensorHom.log

lean/checks/TensorHomMultiplicity.log

lean/checks/TensorPorts.log

lean/checks/TensorProductCommutant.log

lean/checks/TensorProductIrreducible.log

lean/checks/ThreeFifteenComplement.log

lean/checks/ThreeFifteenTen.log

lean/checks/ThreeSixDecomposition.log

lean/checks/ThreeSixExclusion.log

lean/checks/ThreeSixSeparation.log

lean/checks/TraceRepresentativeUniqueness.log

lean/checks/TreeBounds.log

lean/checks/TreeLayer.log

lean/checks/TreeNodes.log

lean/checks/TreeQueryPorts.log

lean/checks/TreeSlots.log

lean/checks/TreeSynchronization.log

lean/checks/TwentySeven.log

lean/checks/TwentySevenCommutant.log

lean/checks/TwentySevenIrreducible.log

lean/checks/TwentySevenWeights.log

lean/checks/TwoQuery.log

lean/checks/TwoQueryEncoder.log

lean/checks/TwoStageProtocol.log

lean/checks/UnitaryDecomposition.log

lean/checks/UnitaryInvariant.log

lean/checks/Wedge.log

lean/checks/Word.log

lean/checks/base-results.json

lean/checks/main_reuse_source_review.json

lean/checks/results.json

lean/checks/sources/CatalyticComposition.lean

lean/checks/sources/CatalyticInverse.lean

lean/checks/sources/QueryComposition.lean

lean/checks/sources/ReusableCatalyst.lean

lean/checks/sources/ReusablePreparation.lean

lean/coverage.csv

lean/coverage.json

lean/coverage.md

lean/environment.json

lean/source_scope_review.json

lean/verified_source_manifest.json

mathematica/README.md

mathematica/circuit.json

mathematica/circuit.nb

mathematica/circuit_inputs.txt

mathematica/gates.json

mathematica/gates.nb

mathematica/gates_inputs.txt

mathematica/replay.wls

provenance/README.md

(871 additional files not shown) You must enabled JavaScript to view entire file list.

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.