-
Notifications
You must be signed in to change notification settings - Fork 61
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Adding gc sign conventions #1293
Conversation
for more information, see https://pre-commit.ci
…o into dbi_fix_gc_sign_conventions
for more information, see https://pre-commit.ci
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Hi @marekgluza looks good to me, please fix the tests and ask me the review again.
Codecov ReportAll modified and coverable lines are covered by tests ✅
Additional details and impacted files@@ Coverage Diff @@
## dbi_fix #1293 +/- ##
==========================================
Coverage ? 99.41%
==========================================
Files ? 68
Lines ? 9650
Branches ? 0
==========================================
Hits ? 9594
Misses ? 56
Partials ? 0
Flags with carried forward coverage won't be shown. Click here to find out more. ☔ View full report in Codecov by Sentry. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks @marekgluza.
I only have a few minor comments.
…rix_exp contains -1j
Co-authored-by: Andrea Pasquale <[email protected]>
Co-authored-by: Andrea Pasquale <[email protected]>
I consolidate$H' = U^\dagger H U$ where $U=e^{-sW}$ with $W=[D,H]$ (or depending on $s>0$ then for $D = \Delta(H)$ the GWW DBR will give a $\sigma$ -decrease, see https://arxiv.org/abs/2206.11772.
DoubleBracketIteration.__call__
to follow the convention thatmode
an approximation, seeeval_dbr_unitary
). IfThere is no clash because the dbr unitary is being exposed only now.
In call we will are working in the convention that$H' = U^\dagger H U$ where $U=e^{-sW}$ with $W=[D,H]$ or an approximation of that by a group commutator. That is handy because if we switch from the DBI in the Heisenberg picture for the Hamiltonian, we get that the transformation of the state is $|\psi'\rangle = U |\psi\rangle$ so that $\langle H\rangle_{\psi'} = \langle H' \rangle_\psi$ (i.e. when writing the unitary acting on the state dagger notation is avoided).$U=e^{-s[D,H]}$ . This is achieved by setting $r = \sqrt{s}$ so that
$$V = e^{-irH}e^{irD}e^{irH}e^{-irD}$$
$$e^{-irH}De^{irH} = D+ir[D,H]+O(r^2)$$
$$V\approx e^{irD +i^2 r^2[D,H] + O(r^2) -irD} \approx U\ .$$
The group commutator must approximate
because
so
See the app in https://arxiv.org/abs/2206.11772 for a derivation.
Checklist: