Strengthenings of Mazur's Conjecture for Higher Heegner Points

We establish quantitative strengthenings of Mazur's conjecture regarding the non-torsion property of higher Heegner points on modular and Shimura curves, confirming both a vertical version for sufficiently large powers $n$ and a horizontal version for primes $p \gg 1$. Distinct from previous strategies by Cornut and Vatsal that relied on Ratner's theorems on unipotent flows and required restrictive hypotheses on level structures, our approach circumvents these constraints by exploiting the interplay between Galois orbits and Hecke orbits. By quantifying the relative size of these orbits, we reduce the problem to ergodic results concerning the equidistribution of Hecke operators and the classification of joining measures. This method allows for the analysis of simultaneous supersingular reductions without requiring the surjectivity of reduction maps.