Homomorphism to Marks’ example under non-smoothness
Prove or disprove that every Δ-regular acyclic Borel graph with no smooth Borel superequivalence relation whose classes admit Borel Δ-colorings admits a Borel homomorphism from Marks’ Schreier graph of the free part of the left-shift action of Γ_Δ on 2^{Γ_Δ}.
References
Does Marks' example, i.e., the Schreier graph of the free part of the left-shift action of $\Gamma_\Delta$ on $2{\Gamma_\Delta}$, Borel homomorph to ${G}$?
— From descriptive to distributed
(2502.15347 - Grebík et al., 21 Feb 2025) in Problem immediately following the discussion of non-smooth Borel superequivalence relations, Section 6 (Complexity)