Un marco numérico permite certificar la no clasicidad de sistemas bosónicos a partir de probabilidades de ocupación medidas, sin necesidad de reconstruir el estado completo. El método construye testigos lineales óptimos de no clasicidad resolviendo un programa lineal semi-infinito, y recupera como casos particulares los criterios analíticos ya conocidos, ampliando de forma sustancial la región de estados no clásicos que es posible detectar.

La certificación de no clasicidad —propiedades como el empaquetamiento de fotones o las negatividades de la función de Wigner— suele requerir tomografía cuántica completa, un proceso costoso en recursos y tiempo de medida. Los criterios basados directamente en las estadísticas de ocupación del modo bosónico evitan ese paso, pero hasta ahora existía solo un conjunto limitado de desigualdades analíticas. El nuevo trabajo completa esa biblioteca permitiendo generar testigos óptimos a partir de subconjuntos arbitrarios de probabilidades de ocupación medidas.

Como caso de estudio, los autores aplican el método al modelo resonante de Jaynes-Cummings con estados térmicos. El análisis revela no clasicidad en tiempos de interacción cortos y cerca del equilibrio térmico, dos regímenes donde la detección de no clasicidad resulta especialmente difícil con los criterios existentes. El equipo publica una implementación de código abierto de la optimización numérica junto con los criterios analíticos, de modo que el marco pueda aplicarse directamente a estadísticas de ocupación medidas en plataformas bosónicas diversas, desde átomos fríos hasta óptica cuántica.