@babbush correct me if I'm wrong, but I think this should be the right formula for multiple Trotter steps. I mostly see the single-step formula and was confused about whether there should be a square root.
Following the discussion with Nathan, we should be calculating the maximum time we can safely evolve, rather than the number of Trotter steps we need. I'll update this soon.
@babbush correct me if I'm wrong, but I think this should be the right formula for multiple Trotter steps. I mostly see the single-step formula and was confused about whether there should be a square root.