Are there low T-count measurement and Clifford correction protocols for diagonal CNOT+T gates other than CCZ?

Question

Famously, the CCZ gate requires 7 T gates to construct unitarily whereas using an ancilla, measurement, and classically-controlled Clifford gates, it can be constructed with only 4 T gates [1212.5069]. Are there any other diagonal gates over the CNOT+T gate set (i.e 3rd level of the Clifford hierarchy, or equivalently the T, CS, CCZ gate set) with protocols like this which are better than the equivalent unitary construction?

Obviously, outside of the CNOT+T gate set, there are some examples (e.g the 6 T gate construction of CCCZ). Also we can generalize the CCZ construction by applying a change of basis using a CNOT circuit, or by stacking it in various ways. But are there any other truly 'different' (for some definition of different) examples?

Reading through Table 2 in [1904.01124] I don't see any other examples for the states considered there. In [1709.06648] there are constructions based on the CCZ only. Likewise in [1303.6971] there are some gate-teleportation based constructions but they don't save on T-count compared to the unitary versions.

Answer 1

My intuition is that ancilla qubits and feedback are almost always useful for reducing T count. Pick any gate, and preventing yourself from using workspace will make it less efficient to implement. The fact it's already true for Toffolis means this applies to essentially every reversible classical circuit. Addition, multiplication, sorting, everything that uses a Toffoli. Honestly I'd consider it harder to find examples where giving yourself extra workspace doesn't give any benefits.

It's also clear that the structure of these improvements is non-trivial. For example, doing a CCCX is slightly cheaper compared to the decomposition into two CCX gates, by using more complicated feedback. E.g. this CCCZ from https://arxiv.org/abs/2106.11513 :

And when doing arbitrary rotations you can make them more efficient by using catalysis from https://arxiv.org/abs/1812.01238 or Hamming weight phasing from https://arxiv.org/abs/1709.06648 or repeat-until-success circuits from https://arxiv.org/abs/1311.1074