Derive holographic complexity of subsystems
Derive a rigorous formulation of holographic complexity for boundary subsystems (for example, using the complexity=volume prescription that measures the size of the entanglement wedge) in AdS/CFT, so that the time-dependent formulas for the complexity of an interval in a 1+1-dimensional holographic CFT undergoing a global quench are established rather than conjectural.
References
It is important to note that the holographic complexity conjectures (especially for subsystems) have not been derived, so these formulas are quite tentative.
Its field-theory dual remains unsettled: circuit and purification constructions do not uniquely reproduce the entanglement-wedge volume, while density-matrix Krylov complexity provides an alternative framework for mixed states.