pith. sign in

arxiv: 2606.13481 · v4 · pith:I7W56VDOnew · submitted 2026-06-11 · 🧮 math.OC

Towards a Control interpretation of Quantum Advantage

Pith reviewed 2026-07-03 23:51 UTC · model grok-4.3

classification 🧮 math.OC
keywords quantum advantagecontrol theorybilinear Schrödinger equationoperator controllabilityminimal time functionquantum Fourier transformmaximum independent setSU(N)
0
0 comments X

The pith

Quantum advantage is recast as a polynomial-in-n upper bound on the minimal time to control the bilinear Schrödinger equation on SU(N).

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a control-theoretic framework that treats a target quantum computation as an operator controllability problem on the special unitary group SU(N) governed by the bilinear controlled Schrödinger equation. Quantum advantage is defined precisely as the existence of a polynomial upper bound (in the number of qubits n) on the associated minimal-time function. The framework is illustrated on the quantum Fourier transform, where controllability is established via Lie-algebraic methods and an O(n²) time bound is obtained from the standard circuit decomposition, and on the maximum independent set problem, where the Rydberg-blockade Hamiltonian is treated as a control system and QAOA is rewritten as a continuous-time optimal-control task. A reader would care because this supplies a uniform, time-based criterion for deciding when a quantum algorithm genuinely outperforms classical ones.

Core claim

Quantum advantage is identified with a polynomial-in-n upper bound on the associated minimal-time function for the bilinear controlled Schrödinger equation on SU(N). Operator controllability of the quantum Fourier transform is proved by a Lie-algebraic argument, and an O(n²) upper bound on minimal time is derived via a gate-concatenation lemma. The Rydberg-blockade Hamiltonian for the maximum independent set problem is analyzed as a bilinear control system, controllability is established, and a control-based definition of quantum advantage for that problem is introduced.

What carries the argument

The bilinear controlled Schrödinger equation on SU(N), recast as an operator controllability problem whose minimal-time function supplies the criterion for quantum advantage.

If this is right

  • The QFT on superconducting processors admits an O(n²) upper bound on minimal control time, implying that the transform can be realized in polynomial time under the ideal model.
  • The Rydberg-blockade system for maximum independent set is operator controllable, so the problem can be solved on neutral-atom hardware by steering the continuous-time control.
  • Reformulating QAOA as an optimal-control problem yields a control-theoretic definition of quantum advantage for combinatorial optimization tasks.
  • The same controllability and time-bound analysis can be applied to other quantum algorithms to decide whether they exhibit polynomial scaling.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Hardware pulse design could be improved by directly optimizing the minimal-time function instead of discretizing into gates.
  • Including realistic decoherence would require modifying the minimal-time function to a minimal-cost function that penalizes error accumulation.
  • The control perspective may link quantum algorithms to classical optimal-control techniques for hybrid classical-quantum solvers.
  • Numerical simulation of the minimal-time function on small-n instances could provide early checks on whether the polynomial bound holds in practice.

Load-bearing premise

The physical hardware is accurately described by the ideal bilinear controlled Schrödinger equation without significant decoherence or control errors.

What would settle it

An experimental measurement showing that the shortest control time required to implement the quantum Fourier transform on a superconducting processor grows exponentially rather than as O(n²) would falsify the proposed identification of quantum advantage with the polynomial bound.

Figures

Figures reproduced from arXiv: 2606.13481 by Dario Pighin.

Figure 1.1
Figure 1.1. Figure 1.1: An instance of the Maximum Independent Set (MIS) problem on a [PITH_FULL_IMAGE:figures/full_fig_p006_1_1.png] view at source ↗
Figure 3.1
Figure 3.1. Figure 3.1: The ibm brisbane coupling map E = (V, E), a heavy-hexagonal (Eagle r3) lattice with |V | = 127 qubits and |E| = 144 two-qubit couplers (maximum vertex degree 3). Each vertex k ∈ V = {0, . . . , 126} is a qubit; each edge (c, t) ∈ E = E carries a cross-resonance/ECR coupler entering the control Hamiltonian of (3.5) through the term P (c,t)∈E vct(t)Zc ⊗ Xt. Ver￾tex color encodes the single-qubit readout (a… view at source ↗
read the original abstract

We develop a control-theoretic framework for understanding Quantum Advantage (QA), providing a systematic route to characterize when and how QA can arise. The bilinear controlled Schr\"odinger equation is the common thread: the target quantum computation is recast as an operator controllability problem on the special unitary group $SU(N)$, and QA is identified with a polynomial-in-$n$ upper bound on the associated minimal-time function. We illustrate the framework on two paradigmatic problems: a) the Quantum Fourier Transform (QFT) on superconducting digital quantum processors (such as IBM's ibm_brisbane), for which we prove operator controllability by a Lie-algebraic argument and derive an $O(n^2)$ upper bound on the minimal time via a gate-concatenation lemma combined with the standard QFT circuit decomposition; b) the Maximum Independent Set (MIS) problem on neutral-atom analog quantum processors (such as Pasqal's hardware), for which we analyze the Rydberg-blockade Hamiltonian as a bilinear control system and reformulate the Quantum Approximate Optimization Algorithm (QAOA) as a continuous-time optimal control problem. By a controllability result, we show how the problem can be solved on Pasqal Quantum Computers and we introduce a control-based definition of Quantum Advantage for MIS. We conclude by outlining several open problems that chart directions for future research at the intersection of Control Theory and Quantum Computing.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper develops a control-theoretic framework for quantum advantage (QA) by recasting target quantum computations as operator controllability problems for the bilinear controlled Schrödinger equation on SU(N), with QA identified by definition as the existence of a polynomial-in-n upper bound on the associated minimal-time function. It illustrates the framework via two examples: (a) a Lie-algebraic proof of controllability together with an O(n²) time bound for the Quantum Fourier Transform obtained by gate concatenation applied to the standard circuit decomposition on superconducting hardware, and (b) a reformulation of QAOA for the Maximum Independent Set problem as a continuous-time optimal control problem on the Rydberg-blockade Hamiltonian, together with a controllability result showing solvability on neutral-atom processors.

Significance. If the framework holds, it supplies a systematic route to characterize QA in terms of controllability and minimal times within the ideal bilinear model, potentially bridging quantum information and control theory. The manuscript explicitly invokes standard tools (Lie-algebra rank condition for controllability, gate-concatenation arguments) and states its modeling assumptions (ideal dynamics without decoherence), which are strengths. The two worked examples are internally consistent illustrations rather than independent derivations.

major comments (1)
  1. [Abstract and framework introduction] The central identification of QA with a polynomial upper bound on minimal control time is introduced definitionally in the abstract and framework section; the subsequent examples then verify the bound under precisely the same ideal bilinear modeling assumptions used to define the problem, so the claim holds by construction but does not yet generate predictions that could be falsified outside those assumptions.
minor comments (2)
  1. [Abstract] The abstract refers to 'a control-based definition of Quantum Advantage for MIS' without indicating whether or how this differs from the general polynomial-bound definition introduced earlier.
  2. [QFT example] Notation for the minimal-time function and the precise statement of the gate-concatenation lemma used to obtain the O(n²) bound are not visible in the abstract; adding an explicit equation or lemma number would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their thoughtful review and for highlighting this aspect of the framework. We address the major comment below.

read point-by-point responses
  1. Referee: The central identification of QA with a polynomial upper bound on minimal control time is introduced definitionally in the abstract and framework section; the subsequent examples then verify the bound under precisely the same ideal bilinear modeling assumptions used to define the problem, so the claim holds by construction but does not yet generate predictions that could be falsified outside those assumptions.

    Authors: We appreciate the referee's observation. The identification of quantum advantage with a polynomial-in-n upper bound on the minimal control time is indeed introduced definitionally within the ideal bilinear model, as stated in the abstract and Section 2. This is an intentional modeling choice that recasts QA as an operator controllability problem on SU(N), thereby enabling the direct application of established control-theoretic tools such as the Lie-algebra rank condition and gate-concatenation arguments for time bounds. The two examples are constructed precisely to demonstrate this application under the stated assumptions, yielding the O(n²) bound for QFT and the controllability result for the MIS problem on the Rydberg Hamiltonian. We agree that the framework does not, by itself, produce falsifiable predictions for hardware subject to decoherence or other non-ideal effects; the manuscript explicitly limits its scope to the ideal dynamics and lists extensions to realistic models among the open problems in the conclusion. The contribution lies in supplying a systematic control-theoretic language for QA rather than in empirical validation beyond the model. revision: no

Circularity Check

2 steps flagged

QA defined as polynomial bound on minimal control time; examples confirm by construction

specific steps
  1. self definitional [Abstract]
    "QA is identified with a polynomial-in-n upper bound on the associated minimal-time function."

    The paper defines QA precisely as the existence of the polynomial bound on minimal time for the controlled Schrödinger equation. The subsequent sections then prove controllability and exhibit polynomial bounds for the chosen examples under identical modeling assumptions, so the claimed identification is satisfied by construction rather than derived from independent evidence.

  2. self definitional [Abstract (MIS example)]
    "we introduce a control-based definition of Quantum Advantage for MIS."

    A second, problem-specific definition of QA is introduced inside the same control-theoretic framework; the reformulation of QAOA as an optimal-control problem then satisfies this new definition by construction.

full rationale

The paper's core move is an explicit identification of 'Quantum Advantage' with the existence of a polynomial-in-n upper bound on the minimal-time function of the bilinear Schrödinger system. The two examples then derive exactly such bounds (O(n^2) for QFT via gate concatenation; a control reformulation for MIS) inside the same ideal-dynamics model used to state the definition. This makes the central claim hold tautologically once the modeling assumptions are granted, satisfying the self-definitional pattern. No external benchmark or independent verification is invoked to break the loop. Controllability arguments themselves rely on standard Lie-algebra results and are not circular, but they operate downstream of the definitional step.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The framework rests on the standard bilinear Schrödinger model and Lie-algebraic controllability criteria from quantum control theory; no new free parameters or invented entities are introduced in the abstract, and the polynomial bound is a definitional choice rather than a fitted quantity.

axioms (2)
  • domain assumption The evolution of the quantum system is governed by the bilinear controlled Schrödinger equation on SU(N).
    Invoked as the common thread for the entire framework and both examples.
  • standard math Operator controllability on SU(N) is equivalent to the Lie algebra generated by the drift and control Hamiltonians being the full su(N).
    Used for the QFT controllability proof.

pith-pipeline@v0.9.1-grok · 5771 in / 1607 out tokens · 20509 ms · 2026-07-03T23:51:07.087202+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

89 extracted references · 89 canonical work pages · 4 internal anchors

  1. [1]

    Agrachev, U

    A. Agrachev, U. Boscain, J.-P. Gauthier, and M. Sigalotti , A note on time-zero controllability and density of orbits for quantum systems , in 2017 IEEE 56th annual conference on decision and control (CDC), IEEE, 2017, pp. 5535--5538

  2. [2]

    Aharonov, W

    D. Aharonov, W. Van Dam, J. Kempe, Z. Landau, S. Lloyd, and O. Regev , Adiabatic quantum computation is equivalent to standard quantum computation , SIAM review, 50 (2008), pp. 755--787

  3. [3]

    Albertini and D

    F. Albertini and D. D'Alessandro , The lie algebra structure and controllability of spin systems , Linear algebra and its applications, 350 (2002), pp. 213--235

  4. [4]

    A. R. Barron, A. Cohen, W. Dahmen, and R. A. DeVore , Approximation and learning by greedy algorithms , The annals of statistics, 36 (2008), pp. 64--94

  5. [5]

    Beauchard and C

    K. Beauchard and C. Laurent , Local controllability of 1d linear and nonlinear schr \"o dinger equations with bilinear control , Journal de math \'e matiques pures et appliqu \'e es, 94 (2010), pp. 520--554

  6. [6]

    Beauchard and E

    K. Beauchard and E. Pozzoli , Small-time controllability on the group of diffeomorphisms for schr " odinger equations , (2024)

  7. [7]

    height 2pt depth -1.6pt width 23pt, Examples of small-time controllable schr \"o dinger equations , in Annales Henri Poincar \'e , 2025

  8. [8]

    J. S. Bell , On the einstein podolsky rosen paradox , Physics Physique Fizika, 1 (1964), p. 195

  9. [9]

    C. H. Bennett, G. Brassard, and N. D. Mermin , Quantum cryptography without bell’s theorem , Physical review letters, 68 (1992), p. 557

  10. [10]

    Bensoussan, G

    A. Bensoussan, G. Da Prato, M. Delfour, and S. Mitter , Representation and Control of Infinite Dimensional Systems , Systems & Control: Foundations & Applications, Birkh \"a user Boston, 2011

  11. [11]

    Berberich and D

    J. Berberich and D. Fink , Quantum computing through the lens of control: A tutorial introduction , IEEE Control Systems, 44 (2024), pp. 24--49

  12. [12]

    Boscain, M

    U. Boscain, M. Sigalotti, and D. Sugny , Introduction to the pontryagin maximum principle for quantum optimal control , PRX Quantum, 2 (2021), p. 030203

  13. [13]

    Boussaïd, M

    N. Boussaïd, M. Caponigro, and T. Chambrion , Controllability of quantum systems with relatively bounded control potentials<sup>*</sup> , pp. 141--148

  14. [14]

    L. T. Brady, C. L. Baldwin, A. Bapat, Y. Kharkov, and A. V. Gorshkov , Optimal protocols in quantum annealing and quantum approximate optimization algorithm problems , Phys. Rev. Lett., 126 (2021), p. 070505

  15. [15]

    Carlini, A

    A. Carlini, A. Hosoya, T. Koike, and Y. Okudaira , Time-optimal unitary operations , Phys. Rev. A, 75 (2007), p. 042308

  16. [16]

    A. M. Childs , Lecture 18: CO 781 / CS 867 / QIC 823 Quantum Algorithms . University of Waterloo, Winter 2008 Course Notes, 2008

  17. [17]

    Choi , Beyond stoquasticity: Structural steering and interference in quantum optimization , arXiv preprint arXiv:2509.16263, (2025)

    V. Choi , Beyond stoquasticity: Structural steering and interference in quantum optimization , arXiv preprint arXiv:2509.16263, (2025)

  18. [18]

    Coron , Control and Nonlinearity , Mathematical surveys and monographs, American Mathematical Society, 2007

    J. Coron , Control and Nonlinearity , Mathematical surveys and monographs, American Mathematical Society, 2007

  19. [19]

    Dacorogna , Direct methods in the calculus of variations , vol

    B. Dacorogna , Direct methods in the calculus of variations , vol. 78, Springer Science & Business Media, 2007

  20. [20]

    D'Alessandro and Y

    D. D'Alessandro and Y. Isik , Controllability of the periodic quantum ising spin chain , arXiv preprint:2405.00898, (2024)

  21. [21]

    D. P. DiVincenzo , The physical implementation of quantum computation , Fortschritte der Physik: Progress of Physics, 48 (2000), pp. 771--783

  22. [22]

    Dong and I

    D. Dong and I. R. Petersen , Quantum control theory and applications: a survey , IET control theory & applications, 4 (2010), pp. 2651--2671

  23. [23]

    D’Alessandro , Introduction to quantum control and dynamics , Chapman and hall/CRC, 2021

    D. D’Alessandro , Introduction to quantum control and dynamics , Chapman and hall/CRC, 2021

  24. [24]

    Ebadi, A

    S. Ebadi, A. Keesling, M. Cain, T. T. Wang, H. Levine, D. Bluvstein, G. Semeghini, A. Omran, J.-G. Liu, R. Samajdar, et al. , Quantum optimization of maximum independent set using rydberg atom arrays , Science, 376 (2022), pp. 1209--1215

  25. [25]

    Einstein, B

    A. Einstein, B. Podolsky, and N. Rosen , Can quantum-mechanical description of physical reality be considered complete? , Physical review, 47 (1935), p. 777

  26. [26]

    A. K. Ekert , Quantum cryptography based on bell’s theorem , Physical review letters, 67 (1991), p. 661

  27. [27]

    A Quantum Approximate Optimization Algorithm

    E. Farhi, J. Goldstone, and S. Gutmann , A quantum approximate optimization algorithm , arXiv preprint arXiv:1411.4028, (2014)

  28. [28]

    Quantum Computation by Adiabatic Evolution

    E. Farhi, J. Goldstone, S. Gutmann, and M. Sipser , Quantum computation by adiabatic evolution , arXiv preprint quant-ph/0001106, (2000)

  29. [29]

    Farhi and A

    E. Farhi and A. W. Harrow , Quantum supremacy through the quantum approximate optimization algorithm , arXiv preprint arXiv:1602.07674, (2016)

  30. [30]

    R. P. Feynman , Simulating physics with computers , in Feynman and computation, CRC Press, 1982, pp. 133--153

  31. [31]

    Fujiwara and N

    S. Fujiwara and N. Ishikawa , Grover adaptive search with spin variables , IEEE Transactions on Quantum Engineering, (2025)

  32. [32]

    Gily \'e n, M

    A. Gily \'e n, M. B. Hastings, and U. Vazirani , (sub) exponential advantage of adiabatic quantum computation with no sign problem , in Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021, pp. 1357--1369

  33. [33]

    L. K. Grover , A fast quantum mechanical algorithm for database search , in Proceedings of the twenty-eighth annual ACM symposium on Theory of computing, 1996, pp. 212--219

  34. [34]

    height 2pt depth -1.6pt width 23pt, Quantum mechanics helps in searching for a needle in a haystack , Physical review letters, 79 (1997), p. 325

  35. [35]

    A. W. Harrow, A. Hassidim, and S. Lloyd , Quantum algorithm for linear systems of equations , Physical review letters, 103 (2009), p. 150502

  36. [36]

    Henriet, L

    L. Henriet, L. Beguin, A. Signoles, T. Lahaye, A. Browaeys, G.-O. Reymond, and C. Jurczak , Quantum computing with neutral atoms , Quantum , 4 (2020), p. 327

  37. [37]

    Hern \'a ndez-Santamar \'i a, M

    V. Hern \'a ndez-Santamar \'i a, M. Lazar, and E. Zuazua , Greedy optimal control for elliptic problems and its application to turnpike problems , Numerische Mathematik, 141 (2019), pp. 455--493

  38. [38]

    S. Hou, L. Wang, and X. Yi , Realization of quantum gates by lyapunov control , Physics Letters A, 378 (2014), pp. 699--704

  39. [39]

    H. B. Hunt III, M. V. Marathe, V. Radhakrishnan, S. S. Ravi, D. J. Rosenkrantz, and R. E. Stearns , Nc-approximation schemes for np- and pspace-hard problems for geometric graphs , in Journal of Algorithms, vol. 26, Elsevier, 1998, pp. 238--274

  40. [40]

    Jansen, M.-B

    S. Jansen, M.-B. Ruskai, and R. Seiler , Bounds for the adiabatic approximation with applications to quantum computation , Journal of Mathematical Physics, 48 (2007), p. 102111

  41. [41]

    S. Jin, N. Liu, and Y. Yu , Quantum simulation of partial differential equations via schr \"o dingerization , Physical Review Letters, 133 (2024), p. 230602

  42. [42]

    R. M. Karp , Reducibility among Combinatorial Problems , Springer US, Boston, MA, 1972, pp. 85--103

  43. [43]

    Kjaergaard, M

    M. Kjaergaard, M. E. Schwartz, J. Braum \"u ller, P. Krantz, J. I.-J. Wang, S. Gustavsson, and W. D. Oliver , Superconducting qubits: Current state of play , Annual Review of Condensed Matter Physics, 11 (2020), pp. 369--395

  44. [44]

    C. P. Koch, U. Boscain, T. Calarco, G. Dirr, S. Filipp, S. J. Glaser, R. Kosloff, S. Montangero, T. Schulte-Herbr \"u ggen, D. Sugny, et al. , Quantum optimal control in quantum technologies. strategic report on current status, visions and goals for research in europe , EPJ Quantum Technology, 9 (2022), p. 19

  45. [45]

    J. Koch, T. M. Yu, J. Gambetta, A. A. Houck, D. I. Schuster, J. Majer, A. Blais, M. H. Devoret, S. M. Girvin, and R. J. Schoelkopf , Charge-insensitive qubit design derived from the cooper pair box , Physical Review A—Atomic, Molecular, and Optical Physics, 76 (2007), p. 042319

  46. [46]

    Kochenberger, J.-K

    G. Kochenberger, J.-K. Hao, F. Glover, M. Lewis, Z. L \"u , H. Wang, and Y. Wang , The unconstrained binary quadratic programming problem: a survey , Journal of combinatorial optimization, 28 (2014), pp. 58--81

  47. [47]

    Krantz, M

    P. Krantz, M. Kjaergaard, F. Yan, T. P. Orlando, S. Gustavsson, and W. D. Oliver , A quantum engineer's guide to superconducting qubits , Applied physics reviews, 6 (2019), p. 021318

  48. [48]

    Lazar and E

    M. Lazar and E. Zuazua , Greedy controllability of finite dimensional linear systems , Automatica, 74 (2016), pp. 327--340

  49. [49]

    J. Lions , Optimal Control of Systems Governed by Partial Differential Equations , Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Ber \"u cksichtigung der Anwendungsgebiete, Springer-Verlag, 1971

  50. [50]

    Lucas , Ising formulations of many np problems , Frontiers in Physics, Volume 2 - 2014 (2014)

    A. Lucas , Ising formulations of many np problems , Frontiers in Physics, Volume 2 - 2014 (2014)

  51. [51]

    Machtyngier , Exact controllability for the schr \"o dinger equation , SIAM Journal on Control and Optimization, 32 (1994), pp

    E. Machtyngier , Exact controllability for the schr \"o dinger equation , SIAM Journal on Control and Optimization, 32 (1994), pp. 24--34

  52. [52]

    Magesan and J

    E. Magesan and J. M. Gambetta , Effective hamiltonian models of the cross-resonance gate , Physical Review A, 101 (2020), p. 052308

  53. [53]

    Martin, L

    A. Martin, L. Lamata, E. Solano, and M. Sanz , Digital-analog quantum algorithm for the quantum fourier transform , Physical Review Research, 2 (2020), p. 013012

  54. [54]

    J. M. Martyn, Z. M. Rossi, A. K. Tan, and I. L. Chuang , Grand unification of quantum algorithms , PRX quantum, 2 (2021), p. 040203

  55. [55]

    D. C. McKay, T. Alexander, L. Bello, M. J. Biercuk, L. Bishop, J. Chen, J. M. Chow, A. D. C \'o rcoles, D. Egger, S. Filipp, et al. , Qiskit backend specifications for openqasm and openpulse experiments , arXiv preprint arXiv:1809.03452, (2018)

  56. [56]

    Mirrahimi, P

    M. Mirrahimi, P. Rouchon, and G. Turinici , Lyapunov control of bilinear schrödinger equations , Automatica, 41 (2005), pp. 1987--1994

  57. [57]

    T. Monz, D. Nigg, E. A. Martinez, M. F. Brandl, P. Schindler, R. Rines, S. X. Wang, I. L. Chuang, and R. Blatt , Realization of a scalable shor algorithm , Science, 351 (2016), pp. 1068--1070

  58. [58]

    Nguyen, J.-G

    M.-T. Nguyen, J.-G. Liu, J. Wurtz, M. D. Lukin, S.-T. Wang, and H. Pichler , Quantum optimization with arbitrary connectivity using rydberg atom arrays , PRX Quantum, 4 (2023), p. 010316

  59. [59]

    Nielsen and I

    M. Nielsen and I. Chuang , Quantum computation and quantum information, 10th anniversary cambridge university press , 2010

  60. [60]

    M. A. Nielsen, M. R. Dowling, M. Gu, and A. C. Doherty , Quantum computation as geometry , Science, 311 (2006), pp. 1133--1135

  61. [61]

    W. D. Oliver , Superconducting qubits , Quantum Information Processing: Lecture Notes of 44th IFF Spring School, (2013)

  62. [62]

    Ozfidan, C

    I. Ozfidan, C. Deng, A. Smirnov, T. Lanting, R. Harris, L. Swenson, J. Whittaker, F. Altomare, M. Babcock, C. Baron, A. Berkley, K. Boothby, H. Christiani, P. Bunyk, C. Enderud, B. Evert, M. Hager, A. Hajda, J. Hilton, S. Huang, E. Hoskinson, M. Johnson, K. Jooya, E. Ladizinsky, N. Ladizinsky, R. Li, A. MacDonald, D. Marsden, G. Marsden, T. Medina, R. Mol...

  63. [63]

    P. M. Pardalos and S. Jha , Complexity of uniqueness and local search in quadratic 0--1 programming , Operations research letters, 11 (1992), pp. 119--123

  64. [64]

    Pelofske, A

    E. Pelofske, A. B \"a rtschi, L. Cincio, J. Golden, and S. Eidenbenz , Scaling whole-chip qaoa for higher-order ising spin glass models on heavy-hex graphs , npj Quantum Information, 10 (2024), p. 109

  65. [65]

    Quantum Optimization for Maximum Independent Set Using Rydberg Atom Arrays

    H. Pichler, S.-T. Wang, L. Zhou, S. Choi, and M. D. Lukin , Quantum optimization for maximum independent set using rydberg atom arrays , arXiv preprint arXiv:1808.10816, (2018)

  66. [66]

    Pighin , The turnpike property in semilinear control , arXiv:2004.03269, (2020)

    D. Pighin , The turnpike property in semilinear control , arXiv:2004.03269, (2020)

  67. [67]

    Porretta and E

    A. Porretta and E. Zuazua , Long time versus steady state optimal control , SIAM J. Control Optim., 51 (2013), pp. 4242--4273

  68. [68]

    height 2pt depth -1.6pt width 23pt, Remarks on long time versus steady state optimal control , in Mathematical Paradigms of Climate Science, Springer, 2016, pp. 67--89

  69. [69]

    Privat, E

    Y. Privat, E. Tr \'e lat, and E. Zuazua , Optimal observability of the multi-dimensional wave and schr \"o dinger equations in quantum ergodic domains , Journal of the European Mathematical Society, 18 (2016), pp. 1043--1111

  70. [70]

    F. A. Quinton, P. A. S. Myhr, M. Barani, P. Crespo del Granado, and H. Zhang , Quantum annealing applications, challenges and limitations for optimisation problems compared to classical solvers , Scientific Reports, 15 (2025), p. 12733

  71. [71]

    B. W. Reichardt , The quantum adiabatic optimization algorithm and local minima , in Proceedings of the thirty-sixth annual ACM symposium on Theory of computing, 2004, pp. 502--510

  72. [72]

    Rigetti and M

    C. Rigetti and M. Devoret , Fully microwave-tunable universal gates in superconducting qubits with linear couplings and fixed transition frequencies , Physical Review B—Condensed Matter and Materials Physics, 81 (2010), p. 134507

  73. [73]

    o dinger , Die gegenw \

    E. Schr \"o dinger , Die gegenw \"a rtige situation in der quantenmechanik , Naturwissenschaften, 23 (1935), pp. 844--849

  74. [74]

    P. W. Shor , Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer , SIAM review, 41 (1999), pp. 303--332

  75. [75]

    Sivarajah, S

    S. Sivarajah, S. Dilkes, A. Cowtan, W. Simmons, A. Edgington, and R. Duncan , t| ket>: a retargetable compiler for nisq devices , Quantum Science and Technology, 6 (2020), p. 014003

  76. [76]

    E. D. Sontag , Mathematical control theory: deterministic finite dimensional systems , vol. 6, Springer Science & Business Media, 1998

  77. [77]

    Tibaldi, L

    S. Tibaldi, L. Leclerc, D. Vodola, E. Tignone, and E. Ercolessi , Analog qaoa with bayesian optimisation on a neutral atom qpu , EPJ Quantum Technology, (2025)

  78. [78]

    Tindall and D

    J. Tindall and D. Sels , Confinement in the transverse field ising model on the heavy hex lattice , Physical Review Letters, 133 (2024), p. 180402

  79. [79]

    Tr \'e lat , Control in finite and infinite dimension , Springer, 2024

    E. Tr \'e lat , Control in finite and infinite dimension , Springer, 2024

  80. [80]

    Tr \'e lat, C

    E. Tr \'e lat, C. Zhang, and E. Zuazua , Steady-state and periodic exponential turnpike property for optimal control problems in hilbert spaces , SIAM Journal on Control and Optimization, 56 (2018), pp. 1222--1252

Showing first 80 references.