(this question is a crosspost from cstheory. I've incorporated the one answer there into the question)
Some of us have been reading Michael Nielsen's paper on a geometric approach to using quantum lower bounds (in brief, the construction of a Finsler metric on SU(2n) such that the geodesic distance from I to an element U is a lower bound on the number of gates in a quantum circuit that computes U).
I was wondering if there were concrete examples of problems where this program led to a lower bound that came close to, matched or beat prior lower bounds obtained by other means ?
One example that Joe Fitzsimmons provided is this paper on optimal transfer rates in spin chains. While it's a good example of the "spirit" of the original idea, I'm specifically looking for methods that use Nielsen's program to provide lower bounds.
This post has been migrated from (A51.SE)