Aerosol Typing from Linear estimations for the Analytical Separation (ATLAS) of complex aerosol mixtures and improved identification of microphysical parameters from multiwavelength lidar data, part 1: theory and numerical simulations