The conjecture that the cut time equals the first coordinate cut time on Grushin spaces
Cut-time conjecture. The cut time tcutt_{\operatorname{cut}}tcut is identically