Geometric characterization of non-Gaussian entanglement for finite stellar rank states

TL;DR

This paper develops a geometric framework to analyze non-Gaussian entanglement in finite stellar rank bosonic states, revealing their structure through polynomial decomposition and structural graphs, and providing separability criteria.

Contribution

It introduces a novel geometric and algebraic approach to characterize and quantify non-Gaussian entanglement in finite stellar rank states, including separability criteria.

Findings

Complete entanglement characterization via atomic decomposition.

Separable criteria for two-mode and stellar-rank-2 states.

Application examples demonstrating resource identification.

Abstract

We introduce a general framework for the analysis of non-Gaussian entanglement in bosonic states of finite stellar rank. The central result is the full characterization of their entanglement structure through the atomic decomposition of their stellar polynomial and its associated structural graph, whose connected components determine the mode-intrinsic entanglement content of the state and all partitions compatible with passive separability. An essential ingredient in this construction is the concept of essential variables, which identify the minimal number of effective modes involved in a core state, in direct correspondence with the symplectic rank. This reduction provides the foundation for decomposing stellar polynomials into atomic factors and for revealing the underlying entanglement structure. Building on this, we derive complete separability criteria for two-mode states, expressed through hyperplane decompositions of zero sets, and for stellar-rank-2 states across arbitrary number of modes. Applications to several example states illustrate how the method isolates genuinely non-Gaussian resources and quantifies preparation complexity.