-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathQuantumOptimization.lean
More file actions
73 lines (73 loc) · 5.09 KB
/
Copy pathQuantumOptimization.lean
File metadata and controls
73 lines (73 loc) · 5.09 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
import QuantumOptimization.IsingModel.IsingHamiltonian
import QuantumOptimization.IsingModel.IsingObservables
import QuantumOptimization.Math.RepresentationTheory.PermutationAction
import QuantumOptimization.QAOA.ExponentialRealization
import QuantumOptimization.QAOA.IsingChain.Achievability.AlternatingPoly
import QuantumOptimization.QAOA.IsingChain.Achievability.Angles
import QuantumOptimization.QAOA.IsingChain.Achievability.BlochBridge
import QuantumOptimization.QAOA.IsingChain.Achievability.ComplementRoots
import QuantumOptimization.QAOA.IsingChain.Achievability.Factorization
import QuantumOptimization.QAOA.IsingChain.Achievability.HumanAudit.AuditHarness
import QuantumOptimization.QAOA.IsingChain.Achievability.Realization
import QuantumOptimization.QAOA.IsingChain.Achievability.RootSplit
import QuantumOptimization.QAOA.IsingChain.Achievability.SinBound
import QuantumOptimization.QAOA.IsingChain.Achievability.Su2Class
import QuantumOptimization.QAOA.IsingChain.Achievability.Tightness
import QuantumOptimization.QAOA.IsingChain.IsingChainQAOA
import QuantumOptimization.QAOA.IsingChain.IsingChainQAOAExponentials
import QuantumOptimization.QAOA.IsingChain.IsingChainQAOAObservables
import QuantumOptimization.QAOA.IsingChain.IsingChainQAOAState
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Decomposition
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Decomposition.CommuteSuite
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Decomposition.ExpReduction
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Decomposition.Geometry
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Decomposition.Heisenberg
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Decomposition.Preservation
import QuantumOptimization.QAOA.IsingChain.JordanWigner.MomentumModes.ActiveSubspace
import QuantumOptimization.QAOA.IsingChain.JordanWigner.MomentumModes.Basic
import QuantumOptimization.QAOA.IsingChain.JordanWigner.MomentumModes.CostDecomposition
import QuantumOptimization.QAOA.IsingChain.JordanWigner.MomentumModes.FourierCollection
import QuantumOptimization.QAOA.IsingChain.JordanWigner.MomentumModes.ParityIdentity
import QuantumOptimization.QAOA.IsingChain.JordanWigner.MomentumModes.SpectralReflection
import QuantumOptimization.QAOA.IsingChain.JordanWigner.PseudospinDynamics.Dynamics
import QuantumOptimization.QAOA.IsingChain.JordanWigner.PseudospinDynamics.PauliKernel
import QuantumOptimization.QAOA.IsingChain.JordanWigner.PseudospinDynamics.PseudospinAlgebra
import QuantumOptimization.QAOA.IsingChain.JordanWigner.PseudospinDynamics.Rodrigues
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Transformation.HamiltonianImage
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Transformation.Operators
import QuantumOptimization.QAOA.IsingChain.JordanWigner.Transformation.PauliAlgebra
import QuantumOptimization.QAOA.IsingChain.UpperBound.ABCInvariance
import QuantumOptimization.QAOA.IsingChain.UpperBound.GroundStateEnergy
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.Basic
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.CanonicalMatching
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.ChainIdentification
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.FGGClosure
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.LayerBlockMatch
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.MiddleBondLocality
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.NestedWindow
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.NoncommProdBlock
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.PlusStateFactorization
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.ReducedABCtoPBCBridge
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.ReducedBondInvariance
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.Reduction
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.Spreading
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.StateBridge
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.StateInvariance
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.StructuralIdentification
import QuantumOptimization.QAOA.IsingChain.UpperBound.LightCone.WindowBlock
import QuantumOptimization.QAOA.IsingChain.UpperBound.ReducedChain
import QuantumOptimization.QAOA.IsingChain.UpperBound.ResidualEnergyBound
import QuantumOptimization.QAOA.IsingChain.UpperBound.TranslationOperators
import QuantumOptimization.QAOA.QAOAExponentials
import QuantumOptimization.QAOA.QAOAHamiltonians
import QuantumOptimization.QAOA.QAOAState
import QuantumOptimization.QAOA.StandardMixer
import QuantumOptimization.QAOA.StandardQAOA
import QuantumOptimization.Quantum.Gates
import QuantumOptimization.Quantum.Operators.BraKet
import QuantumOptimization.Quantum.Operators.Types
import QuantumOptimization.Quantum.TensorProducts.Basic
import QuantumOptimization.Quantum.TensorProducts.PartialTrace
import QuantumOptimization.Qubits.LocalOperators
import QuantumOptimization.Qubits.NQubitSpace
import QuantumOptimization.Qubits.PauliOperators