Grove formula conjecture for the bounded cube recurrence
Let SSS be a section, let fff be a state, and let (x0,y0,t0)(x_0,y_0,t_0)(x0,y0,t0) be a point in Y∘∩L\overset{\circ}{Y}\cap\mathcal{L}Y∘∩L in the future of SSS. Assume that the cone C\mathcal{C}C meets…