Ps You can make the spot even smaller by beam expanding before the lens or using a shorter focal length lens. It is easir to use the optical equations than the uncertainty principle a thurough resource is here. http://cord.org/cm/leot/course01_mod...01-09frame.htm
Both of these increase the uncertainty in direction. Uncertainty is in the 4-d space-time vector.