Lower bounds and complexity dependence on locality and sparsity
Establish lower bounds for Hamiltonian learning from real-time evolution that clarify how the complexity of learning all parameters scales with the locality of the Hamiltonian and with the effective sparsity; in particular, ascertain whether dependence on effective sparsity is necessary and determine the optimal dependence.
References
Can one prove lower bounds on Hamiltonian learning? A lower bound of \frac{1}{\eps}\log\frac{1}{\delta} is known for estimating one parameter. It is not known how the complexity of learning all parameters scales with underlying locality. Is a dependence on effective sparsity \sparse necessary? What is the optimal dependence?
Another question is whether the additional system-size factors in the single-qubit algorithms can be reduced.
Our learning lower bound leaves a factor \widetilde{\mathcal O}(s{1/(2k)}) in sparsity, so the optimal dependence on s also remains to be determined.
An important open question is therefore how the interaction geometry determines the optimal learning complexity.
Can further adaptation of the input, allowed measurement basis, or evolution time based on previous outcomes reduce the overall sample complexity? Could it reduce the number of experimental settings, or the amplification of measurement errors?