# $\mathrm{ZPEXP} = \mathrm{BPP} \iff \mathrm{ZPEE} = \mathrm{BPE}$

Please, establish the above claim formally. It seems that the structure of complexity classes has so much bizarre features everywhere.

For the $\Longrightarrow$ direction, a padding technique will work out. For the other direction, the time bounds are pushed down, so hardly any current technique would succeed.

• What did you try and where did you get stuck? We appreciate showing effort since we are not a homework service. – Juho Sep 7 '18 at 15:31

[IKW02, Theorem 38] relativizes, due to the relativization of [IW98, Theorem 5]. The original theorem states that $\mathrm{EXP} = \mathrm{BPP} \iff \mathrm{EE} = \mathrm{BPE}$.
We have that $\mathrm{EXP}^\mathrm{ZPP} = \mathrm{BPP}^\mathrm{ZPP}\iff \mathrm{EE}^\mathrm{ZPP} = \mathrm{BPE}^\mathrm{ZPP}$.
Now by padding upward from $\mathrm{P}^\mathrm{ZPP} = \mathrm{ZPP}$, $\mathrm{BPP}^\mathrm{ZPP} = \mathrm{BPP}$, we conclude that $\mathrm{ZPEXP} = \mathrm{BPP} \iff \mathrm{ZPEE} = \mathrm{BPE}$