OAI/Computability/QuantumFactoring/RetainedQuarterPolynomial.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.factorVerifierBound_at line 15
2. lemma OAI.ExactQuantumFactoring.PreparationPolynomial.physicalResultBound line 30
3. lemma OAI.ExactQuantumFactoring.NodeMachine.rowBound_at line 35
4. lemma OAI.ExactQuantumFactoring.NodeMachine.verifiedNet_at line 41
5. lemma OAI.ExactQuantumFactoring.NodeMachine.acceptedNet_at line 46
6. lemma OAI.ExactQuantumFactoring.PhysicalTree.padFlag_poly line 53
7. lemma OAI.ExactQuantumFactoring.PhysicalTree.paddedFlag_at line 57
8. lemma OAI.ExactQuantumFactoring.PhysicalTree.guessVerifier_poly line 64
9. lemma OAI.ExactQuantumFactoring.PhysicalTree.quarterGuessFlag_poly line 68
10. lemma OAI.ExactQuantumFactoring.PhysicalTree.quarterRare_poly line 71
11. lemma OAI.ExactQuantumFactoring.PhysicalTree.quarterKeep_poly line 73
12. lemma OAI.ExactQuantumFactoring.PhysicalTree.quarterFlag_at line 78