Closed zaqqwerty closed 2 years ago
It might also be a good idea to have a proper representation for a sum of modular Hamiltonians, perhaps in the same vein as cirq.PauliSum
, though this might be something you are already considering in the design of QVR.
The logarithm of a QHBM can be treated as a Hamiltonian. Call a Hamiltonian represented in this way a "modular Hamiltonian". We should be able to take the expectation value of a modular Hamiltonian against a QHBM.