I understand Carnot's theorem, specifically the result that "the efficiency of all reversible engines operating between the same two temperatures is the same." The proof is by contradiction and you can find it all over the web.
However, the theoretical Otto or Brayton cycles are reversible, and have efficiency less than the Carnot efficiency. I've gone through the efficiency calculation myself for Otto, and got the same result that is all over the web. Indeed, one can construct all sorts of theoretical reversible cycles which are less efficient than Carnot.
I do not understand the existence of reversible cycles with efficiency less than Carnot. If they exist, even in theory, we could run the output from a Carnot engine into one of them (say, a Brayton or Otto heat pump), and move heat continually from a cold reservoir into a hot one with no external input.
Indeed, this is exactly the contradiction at the center of Carnot's theorem leading to its main result, that all reversible processes have the same efficiency. Even worse, the more inefficient the non-Carnot process (which we turned into a heat pump), the more we violate the second law of thermodynamics.
To put numbers on it, say $T_\text{hot} = 400 \ \text{K}$ and $T_\text{cold} = 300 \ \text{K}$, so the Carnot efficiency is 0.25. Our Carnot engine is turning 1000 W of input heat into 250 W of work and discharging 750 W into the cold reservoir. If the 250 Watts of work is running a heat pump, a reversed cycle which would have had engine efficiency 0.1, then the heat pump is drawing 2250 W of heat out of the cold reservoir and discharging 2500 W into the hot one. The result is 1500 Watts being transferred from the cold reservoir to the hot one with no external input. Obviously impossible.
The issue seems to be that reversing the inefficient engine creates a really efficient heat pump. So I know that's where the error lies, but not exactly what the error is. Can anyone clarify?