Returns the expectation value of an operator between two states as \(\langle b | \left(\hat O | a \rangle\right)\).
a | the first state, not to be complex conjugated. |
b | the second state, to be complex conjugated |
op | the operator |
References syten::MPS::Operator::dIdx, syten::genCombinator(), syten::genFuse(), syten::genSplit(), syten::MPS::Operator::lIdx, syten::MPS::State::lIdx, syten::MPS::Operator::rIdx, syten::MPS::State::rIdx, syten::split(), SYTEN_ASSERT, syten::transpose_exchange(), syten::MPS::Operator::uIdx, and syten::MPS::State::uIdx.