We have been interested in building a mathematically robust framework to detect magic/nonstabilizerness in quantum devices, in the overall interest of understanding how to probe quantum complexity. In Predicting Magic with very few measurements, we built a framework to perform magic detection given any set of Pauli operators, and showed that there is an algorithm exponential in the number of measurements and polynomial in the number of qubits to do so. 

In various scenarios, one has untrusted quantum devices and measurements. This is the setting where the device-independent framework of quantum experiments are born, to model such uncertainties. In Witnessing Magic with Bell inequalities and on Prepare-and-Magic,  we discussed how magic can be detected with such constraints, by showing that they capture a more robust form of the resource theory. 

Another line of my research investigates how fermionic states map to qubit states under local post-selection—a process of measuring local fermionic charges and applying feedback operations. This framework provides a new lens for understanding fermionic systems under very strong local interactions. In Partons from stabilizer codes, we made this connection precise for fermionic stabilizer states, demonstrating that after projection, they are universally described by topological phases in the same class as the toric code. Intriguingly, our results also provide sharp counter-examples to long-standing expectations in the condensed matter theory of strongly interacting electrons.