The explicit subaction conjecture associated with the period-two maximizing orbit
Let AAA and T(x)=2x(mod1)T(x)=2x\pmod 1T(x)=2x(mod1) be as in the preceding construction, with inverse branches τ1(x)=x/2\tau_1(x)=x/2τ1(x)=x/2 and τ2(x)=(x+1)/2\tau_2(x)=(x+1)/2τ2(x)=(x+1)/2. Define η=τ2∘τ1\eta=\tau_2\circ\tau_1η=τ2∘τ1 and … A subaction i…