How Hard Is This Quantum System to Simulate? New Math Gives a Sharper Answer — type0 | type0