On dimension bounds for auxiliary quantum systems