Controller Identifiability: The Boundary Between Logarithmic and Square-Root Local Minimax Regret in Structured Adaptive LQR
Abstract
We study when logarithmic regret is attainable in structured adaptive linear-quadratic regulation. The state and input matrices depend affinely on a common unknown parameter. We consider neighborhoods of a known nominal model that is stabilizable and observable through the output associated with the state cost, with radii proportional to the inverse fourth root of the horizon. The key condition is controller identifiability, which requires the optimal gain derivative to vanish in every parameter direction that leaves the closed-loop dynamics unchanged under nominal optimal feedback. Under suitable regularity conditions on the noise density, this condition at the nominal parameter yields logarithmic local minimax regret when the gain derivative there is nonzero. Failure of the condition yields square-root local minimax regret. If the nominal gain derivative vanishes, local minimax regret remains bounded. We prove that controller identifiability is equivalent to the optimal gain remaining unchanged under sufficiently small invisible perturbations of the nominal model. Motivated by this invariance, we construct a certainty-equivalent policy that estimates only the visible parameter component and attains the logarithmic upper bound under controller identifiability. The policy requires neither the horizon nor the noise law, and its guarantee holds for independent, identically distributed noise with zero mean and finite positive definite covariance.
Related
- Adaptive–based cascaded PI–PID controller for load frequency regulation with real time verification
- Global Solution, Decay, and Blow-Up of a Viscoelastic Kirchhoff System with Logarithmic Nonlinearity and Acoustic Fractional Delay Boundary Conditions
- Logarithmic Lefschetz fixed point formulae and resonant boundary indices
- Boundary layer analysis for the 2D Chemotaxis-Navier-Stokes system with logarithmic sensitivity, Part II. viscous vanishing limit
- Logarithmic Stability for the Inverse Boundary Problem in Three-Dimensional Isotropic Elasticity
BibTeX
@misc{liu2026controller,
title = {{Controller Identifiability: The Boundary Between Logarithmic and Square-Root Local Minimax Regret in Structured Adaptive LQR}},
author = {Zhaobo Liu},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.37063},
eprint = {2609.37063},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.37063},
}
RIS
TY - UNPB
TI - Controller Identifiability: The Boundary Between Logarithmic and Square-Root Local Minimax Regret in Structured Adaptive LQR
AU - Zhaobo Liu
PY - 2026
DA - 2026/09/29
PB - arXiv
DO - 10.48550/arxiv.2609.37063
UR - https://arxiv.org/abs/2609.37063
AB - We study when logarithmic regret is attainable in structured adaptive linear-quadratic regulation. The state and input matrices depend affinely on a common unknown parameter. We consider neighborhoods of a known nominal model that is stabilizable and observable through the output associated with the state cost, with radii proportional to the inverse fourth root of the horizon. The key condition is controller identifiability, which requires the optimal gain derivative to vanish in every parameter direction that leaves the closed-loop dynamics unchanged under nominal optimal feedback. Under suitable regularity conditions on the noise density, this condition at the nominal parameter yields logarithmic local minimax regret when the gain derivative there is nonzero. Failure of the condition yields square-root local minimax regret. If the nominal gain derivative vanishes, local minimax regret remains bounded. We prove that controller identifiability is equivalent to the optimal gain remaining unchanged under sufficiently small invisible perturbations of the nominal model. Motivated by this invariance, we construct a certainty-equivalent policy that estimates only the visible parameter component and attains the logarithmic upper bound under controller identifiability. The policy requires neither the horizon nor the noise law, and its guarantee holds for independent, identically distributed noise with zero mean and finite positive definite covariance.
ER -