{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T14:52:33Z","timestamp":1718981553368},"reference-count":30,"publisher":"Verein zur Forderung des Open Access Publizierens in den Quantenwissenschaften","license":[{"start":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T00:00:00Z","timestamp":1689033600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Estonian Research Agency","award":["PRG946"],"award-info":[{"award-number":["PRG946"]}]}],"content-domain":{"domain":["quantum-journal.org"],"crossmark-restriction":false},"short-container-title":["Quantum"],"abstract":"<jats:p>Banchi &amp; Crooks (Quantum, 2021) have given methods to estimate derivatives of expectation values depending on a parameter that enters via what we call a \"perturbed\" quantum evolution <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>x<\/mml:mi><mml:mo stretchy=\"false\">&amp;#x21A6;<\/mml:mo><mml:msup><mml:mi>e<\/mml:mi><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mi>i<\/mml:mi><mml:mo stretchy=\"false\">(<\/mml:mo><mml:mi>x<\/mml:mi><mml:mi>A<\/mml:mi><mml:mo>+<\/mml:mo><mml:mi>B<\/mml:mi><mml:mo stretchy=\"false\">)<\/mml:mo><mml:mrow class=\"MJX-TeXAtom-ORD\"><mml:mo>\/<\/mml:mo><\/mml:mrow><mml:mi class=\"MJX-variant\">&amp;#x210F;<\/mml:mi><\/mml:mrow><\/mml:msup><\/mml:math>. Their methods require modifications, beyond merely changing parameters, to the unitaries that appear. Moreover, in the case when the <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\"><mml:mi>B<\/mml:mi><\/mml:math>-term is unavoidable, no exact method (unbiased estimator) for the derivative seems to be known: Banchi &amp; Crooks's method gives an approximation.In this paper, for estimating the derivatives of parameterized expectation values of this type, we present a method that only requires shifting parameters, no other modifications of the quantum evolutions (a \"proper\" shift rule). Our method is exact (i.e., it gives analytic derivatives, unbiased estimators), and it has the same worst-case variance as Banchi-Crooks's.Moreover, we discuss the theory surrounding proper shift rules, based on Fourier analysis of perturbed-parametric quantum evolutions, resulting in a characterization of the proper shift rules in terms of their Fourier transforms, which in turn leads us to non-existence results of proper shift rules with exponential concentration of the shifts. We derive truncated methods that exhibit approximation errors, and compare to Banchi-Crooks's based on preliminary numerical simulations.<\/jats:p>","DOI":"10.22331\/q-2023-07-11-1052","type":"journal-article","created":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T09:55:07Z","timestamp":1689069307000},"page":"1052","update-policy":"http:\/\/dx.doi.org\/10.22331\/q-crossmark-policy-page","source":"Crossref","is-referenced-by-count":2,"title":["\"Proper\" Shift Rules for Derivatives of Perturbed-Parametric Quantum Evolutions"],"prefix":"10.22331","volume":"7","author":[{"given":"Dirk Oliver","family":"Theis","sequence":"first","affiliation":[{"name":"Theoretical Computer Science, University of Tartu, Estonia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"9598","published-online":{"date-parts":[[2023,7,11]]},"reference":[{"key":"0","doi-asserted-by":"publisher","unstructured":"Jarrod R McClean, Nicholas C Rubin, Joonho Lee, Matthew P Harrigan, Thomas E O\u2019Brien, Ryan Babbush, William J Huggins, and Hsin-Yuan Huang. ``What the foundations of quantum computer science teach us about chemistry&apos;&apos;. The Journal of Chemical Physics 155, 150901 (2021).","DOI":"10.48550\/arXiv.2106.03997"},{"key":"1","doi-asserted-by":"publisher","unstructured":"Xiao Yuan, Suguru Endo, Qi Zhao, Ying Li, and Simon C Benjamin. ``Theory of variational quantum simulation&apos;&apos;. Quantum 3, 191 (2019).","DOI":"10.48550\/arXiv.1812.08767"},{"key":"2","doi-asserted-by":"publisher","unstructured":"Kosuke Mitarai, Makoto Negoro, Masahiro Kitagawa, and Keisuke Fujii. ``Quantum circuit learning&apos;&apos;. Phys. Rev. A 98, 032309 (2018).","DOI":"10.1103\/PhysRevA.98.032309"},{"key":"3","doi-asserted-by":"publisher","unstructured":"Marcello Benedetti, Erika Lloyd, Stefan Sack, and Mattia Fiorentini. ``Parameterized quantum circuits as machine learning models&apos;&apos;. Quantum Science and Technology 4, 043001 (2019).","DOI":"10.1088\/2058-9565\/ab4eb5"},{"key":"4","doi-asserted-by":"publisher","unstructured":"Edward Farhi, Jeffrey Goldstone, and Sam Gutmann. ``A quantum approximate optimization algorithm&apos;&apos;. Preprint (2014).","DOI":"10.48550\/arXiv.1411.4028"},{"key":"5","doi-asserted-by":"publisher","unstructured":"Eric R Anschuetz, Jonathan P Olson, Al\u00e1n Aspuru-Guzik, and Yudong Cao. ``Variational quantum factoring&apos;&apos;. Preprint (2018).","DOI":"10.48550\/arXiv.1808.08927"},{"key":"6","doi-asserted-by":"publisher","unstructured":"Carlos Bravo-Prieto, Ryan LaRose, Marco Cerezo, Yigit Subasi, Lukasz Cincio, and Patrick J Coles. ``Variational quantum linear solver&apos;&apos;. Preprint (2019).","DOI":"10.48550\/arXiv.1909.05820"},{"key":"7","unstructured":"Ryan Babbush and Hartmut Neven. ``Training quantum evolutions using sublogical controls&apos;&apos; (2019). US Patent 10,275,717."},{"key":"8","doi-asserted-by":"publisher","unstructured":"Louis-Paul Henry, Slimane Thabet, Constantin Dalyac, and Lo\u00efc Henriet. ``Quantum evolution kernel: Machine learning on graphs with programmable arrays of qubits&apos;&apos;. Physical Review A 104, 032416 (2021).","DOI":"10.48550\/arXiv.2107.03247"},{"key":"9","doi-asserted-by":"publisher","unstructured":"Constantin Dalyac, Lo\u00efc Henriet, Emmanuel Jeandel, Wolfgang Lechner, Simon Perdrix, Marc Porcheron, and Margarita Veshchezerova. ``Qualifying quantum approaches for hard industrial optimization problems. a case study in the field of smart-charging of electric vehicles&apos;&apos;. EPJ Quantum Technology 8, 12 (2021).","DOI":"10.48550\/arXiv.2012.14859"},{"key":"10","doi-asserted-by":"publisher","unstructured":"Ryan Sweke, Frederik Wilde, Johannes Meyer, Maria Schuld, Paul K F\u00e4hrmann, Barth\u00e9l\u00e9my Meynard-Piganeau, and Jens Eisert. ``Stochastic gradient descent for hybrid quantum-classical optimization&apos;&apos;. Quantum 4, 314 (2020).","DOI":"10.48550\/arXiv.1910.01155"},{"key":"11","doi-asserted-by":"publisher","unstructured":"Jun Li, Xiaodong Yang, Xinhua Peng, and Chang-Pu Sun. ``Hybrid quantum-classical approach to quantum optimal control&apos;&apos;. Phys. Rev. Lett. 118, 150503 (2017).","DOI":"10.1103\/PhysRevLett.118.150503"},{"key":"12","doi-asserted-by":"publisher","unstructured":"Leonardo Banchi and Gavin E. Crooks. ``Measuring analytic gradients of general quantum evolution with the stochastic parameter shift rule&apos;&apos;. Quantum 5, 386 (2021).","DOI":"10.22331\/q-2021-01-25-386"},{"key":"13","doi-asserted-by":"publisher","unstructured":"Richard P Feynman. ``An operator calculus having applications in quantum electrodynamics&apos;&apos;. Physical Review 84, 108 (1951).","DOI":"10.1103\/PhysRev.84.108"},{"key":"14","doi-asserted-by":"publisher","unstructured":"Ralph M Wilcox. ``Exponential operators and parameter differentiation in quantum physics&apos;&apos;. Journal of Mathematical Physics 8, 962\u2013982 (1967).","DOI":"10.1063\/1.1705306"},{"key":"15","doi-asserted-by":"publisher","unstructured":"Javier Gil Vidal and Dirk Oliver Theis. ``Calculus on parameterized quantum circuits&apos;&apos;. Preprint (2018).","DOI":"10.48550\/arXiv.1812.06323"},{"key":"16","doi-asserted-by":"publisher","unstructured":"David Wierichs, Josh Izaac, Cody Wang, and Cedric Yen-Yu Lin. ``General parameter-shift rules for quantum gradients&apos;&apos;. Preprint (2021).","DOI":"10.48550\/arXiv.2107.12390"},{"key":"17","doi-asserted-by":"publisher","unstructured":"Dirk Oliver Theis. ``Optimality of finite-support parameter shift rules for derivatives of variational quantum circuits&apos;&apos;. Preprint (2021).","DOI":"10.48550\/arXiv.2112.14669"},{"key":"18","unstructured":"Michael Reed and Barry Simon. ``Methods of Modern Mathematical Physics II: Fourier Analysis, Self-Adjointness&apos;&apos;. Volume 2. Academic Press. (1975)."},{"key":"19","doi-asserted-by":"publisher","unstructured":"Jarrod R McClean, Sergio Boixo, Vadim N Smelyanskiy, Ryan Babbush, and Hartmut Neven. ``Barren plateaus in quantum neural network training landscapes&apos;&apos;. Nature communications 9, 4812 (2018).","DOI":"10.1038\/s41467-018-07090-4"},{"key":"20","doi-asserted-by":"publisher","unstructured":"Andrew Arrasmith, Zo\u00eb Holmes, Marco Cerezo, and Patrick J Coles. ``Equivalence of quantum barren plateaus to cost concentration and narrow gorges&apos;&apos;. Quantum Science and Technology 7, 045015 (2022).","DOI":"10.48550\/arXiv.2104.05868"},{"key":"21","unstructured":"Walter Rudin. ``Functional Analysis&apos;&apos;. McGraw-Hill. (1991)."},{"key":"22","unstructured":"Elias M Stein and Rami Shakarchi. ``Fourier Analysis: An Introduction&apos;&apos;. Volume 1. Princeton University Press. (2011)."},{"key":"23","doi-asserted-by":"crossref","unstructured":"Gerald B Folland. ``A Course in Abstract Harmonic Analysis&apos;&apos;. Volume 29. CRC press. (2016).","DOI":"10.1201\/b19172"},{"key":"24","doi-asserted-by":"crossref","unstructured":"Don Zagier. ``The dilogarithm function&apos;&apos;. In Frontiers in number theory, physics, and geometry II. Pages 3\u201365. Springer (2007).","DOI":"10.1007\/978-3-540-30308-4_1"},{"key":"25","doi-asserted-by":"publisher","unstructured":"Leonard C Maximon. ``The dilogarithm function for complex argument&apos;&apos;. Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences 459, 2807\u20132819 (2003).","DOI":"10.1098\/rspa.2003.1156"},{"key":"26","unstructured":"Elias M Stein and Rami Shakarchi. ``Complex Analysis&apos;&apos;. Volume 2. Princeton University Press. (2010)."},{"key":"27","unstructured":"Walter Rudin. ``Real and Complex Analysis&apos;&apos;. McGraw-Hill. (1987)."},{"key":"28","doi-asserted-by":"crossref","unstructured":"Heinz Bauer. ``Ma\u00df- und Integrationstheorie&apos;&apos;. Walter de Gruyter. (1992). 2nd edition.","DOI":"10.1515\/9783110871739"},{"key":"29","unstructured":"Franz Rellich and Joseph Berkowitz. ``Perturbation Theory of Eigenvalue Problems&apos;&apos;. CRC Press. (1969)."}],"container-title":["Quantum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-07-11-1052\/pdf\/","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,7,11]],"date-time":"2023-07-11T09:55:23Z","timestamp":1689069323000},"score":1,"resource":{"primary":{"URL":"https:\/\/quantum-journal.org\/papers\/q-2023-07-11-1052\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,11]]},"references-count":30,"URL":"https:\/\/doi.org\/10.22331\/q-2023-07-11-1052","archive":["CLOCKSS"],"relation":{},"ISSN":["2521-327X"],"issn-type":[{"value":"2521-327X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,7,11]]},"article-number":"1052"}}