ASPBE Lean Blueprint

10. Declaration catalog: PaperAndExamples🔗

This chapter is generated from the Lean source. Every node denotes one explicit public declaration, and every Lean link is checked during the Blueprint build. Definitions appear in source order before later results whenever the source module does so.

Reader orientation: Paper-facing backend models and concrete Robin-boundary example artifacts. Each card separates an accessible reading cue from formal status, the source docstring, and the authoritative Lean panel. The standalone Library Explorer adds full-text search and filters across every chapter.

  1. 10.1. QuantumBlockEncoding/Examples/RobinHeat.lean
  2. 10.2. QuantumBlockEncoding/GHL2025.lean
  3. 10.3. QuantumBlockEncoding/GHLHamiltonian.lean
  4. 10.4. QuantumBlockEncoding/Robin/ComplexLCU.lean
  5. 10.5. QuantumBlockEncoding/Robin/ComplexLCUProjection.lean
  6. 10.6. QuantumBlockEncoding/Robin/EvolvedCandidates.lean
  7. 10.7. QuantumBlockEncoding/Robin/Figure4Loaders.lean
  8. 10.8. QuantumBlockEncoding/Robin/Figure4MiddlePrimitive.lean
  9. 10.9. QuantumBlockEncoding/Robin/Figure4PreparePrimitive.lean
  10. 10.10. QuantumBlockEncoding/Robin/Figure4Primitive.lean
  11. 10.11. QuantumBlockEncoding/Robin/Figure4SourceData.lean
  12. 10.12. QuantumBlockEncoding/Robin/Figure4T3.lean
  13. 10.13. QuantumBlockEncoding/Robin/FixedN3Data.lean
  14. 10.14. QuantumBlockEncoding/Robin/Hadamard8BlockEncoding.lean
  15. 10.15. QuantumBlockEncoding/Robin/Hadamard8Verified.lean
  16. 10.16. QuantumBlockEncoding/Robin/PaperSevenAmplitudePrimitive.lean
  17. 10.17. QuantumBlockEncoding/Robin/PaperSevenLogicalUnitary.lean
  18. 10.18. QuantumBlockEncoding/Robin/PaperSevenPrepare.lean
  19. 10.19. QuantumBlockEncoding/Robin/PaperSevenPreparePrimitive.lean
  20. 10.20. QuantumBlockEncoding/Robin/PaperSevenPrimitive.lean
  21. 10.21. QuantumBlockEncoding/Robin/PaperSevenT3.lean
  22. 10.22. QuantumBlockEncoding/Robin/ResourceComparison.lean
  23. 10.23. QuantumBlockEncoding/Robin/SixSlotOptimal.lean
  24. 10.24. QuantumBlockEncoding/Robin/SourceBaseline.lean
  25. 10.25. QuantumBlockEncoding/Robin/SourceSevenSparseData.lean
  26. 10.26. QuantumBlockEncoding/Robin/SymmetryFourSlot.lean
  27. 10.27. QuantumBlockEncoding/Robin/SymmetryFourSlotBlockEncoding.lean
  28. 10.28. QuantumBlockEncoding/Robin/SymmetryFourSlotLogicalUnitary.lean
  29. 10.29. QuantumBlockEncoding/Robin/SymmetryFourSlotPrimitive.lean
  30. 10.30. QuantumBlockEncoding/Robin/SymmetryXorFourSlotLogicalUnitary.lean
  31. 10.31. QuantumBlockEncoding/Robin/SymmetryXorFourSlotPrimitive.lean
  32. 10.32. QuantumBlockEncoding/Robin/SystemConjugation.lean
  33. 10.33. QuantumBlockEncoding/Robin/T3ResourceComparison.lean
  34. 10.34. QuantumBlockEncoding/Robin/WeightedPermutation.lean
  35. 10.35. QuantumBlockEncoding/RobinEvolution.lean