I think #1 should be "Algorithms and Complexity" and include rigorous classical algorithms for many-body systems. "Sensing and Metrology" can be its own subcategory and encompass both theory and experiments. Same for "Cryptography and Communication".