Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper reformulates the finite-horizon linear-quadratic regulation (LQR) problem as a multiple-shooting linear system, bypassing the need to solve the nonlinear matrix Riccati equation. A key theoretical result establishes a condition-number bound for this linear system that is independent of the control horizon, under standard stabilizability and detectability assumptions. The proposed quantum algorithms leverage a quantum linear systems subroutine to efficiently solve this system, yielding classical estimates of the optimal cost and control inputs with polylogarithmic query and gate complexities in system size and duration.
Quantum algorithms achieve polylogarithmic complexity for finite-horizon LQR, bypassing Riccati equations and offering horizon-independent condition numbers.
We develop quantum algorithms for optimal control over a prescribed finite time interval (finite horizon), focusing on continuous-time linear-quadratic regulation (LQR). This foundational control problem often requires solving a nonlinear matrix Riccati equation, which can be costly for large systems and long control durations on conventional classical solvers. We instead work directly with the state-costate optimality equations, reformulating the LQR problem as a multiple-shooting linear system. Importantly, we prove a condition-number bound for the system that is independent of the horizon, under stabilizability and detectability assumptions. By incorporating the initial and final conditions into a single linear system, we can solve the subsequent linear system more efficiently with a quantum linear systems subroutine. For a given initial state, our quantum algorithms return classical estimates of the optimal cost and the optimal control inputs at a selected time, without constructing a Riccati solution operator. Given sparse-matrix block-encodings, an initial-state preparation oracle and a fixed number of control inputs, the query and gate complexities scale polylogarithmically with system size and control duration, provided that sparsity, relevant norms, and stability parameters are bounded. The dependence on the target error is inverse-linear up to logarithmic factors. We establish the required bounds uniformly in system size and duration for a family of damped mass-spring chains with two endpoint controls. Numerical experiments support the analysis.