Logarithmic Quot spaces, boundedness, and K-tropicalizations   with Dhruv Ranganathan