Would adaptive optics help? and/or Could the rocket carry its own propellant but get power from the beam? E.g., carry its own air.
Also there are hard physical limits on how finely you can converge a point of light, MinimumDiameter = (2.44wavelengthfrequency)/LenseDiameter This is called the minimum spot size.
Your minimum diameter formula doesn't sound too restrictive.