Bounded projection distance for MultiQT with general ordered base forecasts
Prove that, for the Multi-Level Quantile Tracker (MultiQT) run with arbitrary ordered base quantile forecasts b_t ∈ R^{|A|} (i.e., b_t^{α_1} ≤ b_t^{α_2} ≤ ··· ≤ b_t^{α_{|A|}}), the Euclidean distance between the played offset θ_t = Π_{K−b_t}(\tilde θ_t) and the hidden offset \tilde θ_t remains uniformly bounded over time; specifically, show the existence of a constant B (independent of t) such that ||θ_t − \tilde θ_t||_2 ≤ B for all t.
References
We conjecture that the MultiQT iterates also maintain bounded projection distance in the general setting where $b_t$ is an arbitrary ordered vector. Although our experiments provide empirical evidence of this, establishing it theoretically requires techniques beyond those used in \Cref{lemma:point_forecasts_bounded_distance} and thus we leave it as an open problem.