Conjecture that the technical gap and eigenvalue assumptions can be removed
Technical-assumption removal conjecture. Assumption and the ϵ0\epsilon_0ϵ0-dependence in Assumption$ can be removed.