OAI/MathematicalPhysics/PEPSFilters/GeometricOptimizer.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Uniform geometric filter optimizers with energy, fidelity and entropy bounds.

  1. theorem OAI.PolynomialPEPS.PinnedEntropy.NestedFilter.Energy.geometric_optimizer_producer line 27