TY - RPRT TI - Four-dimensional operator systems without the lifting property AU - Samuel J. Harris PY - 2026 UR - https://arxiv.org/abs/2508.00113 ID - 2508.00113 ER -