- Open Access
Revisiting Gaussian genuine entanglement witnesses with modern software
Phys. Rev. Research 8, 023124 – Published 5 May, 2026
DOI: https://doi.org/10.1103/drmr-qf2q
Abstract
Continuous-variable Gaussian entanglement is an attractive notion, both as a fundamental concept in quantum information theory, based on the well-established Gaussian formalism for phase-space variables, and as a practical resource in quantum technology, exploiting in particular, unconditional room-temperature squeezed-light quantum optics. The readily available high level of scalability, however, is accompanied by an increased theoretical complexity when the multipartite entanglement of a growing number of optical modes is considered. For such systems, we present several approaches to reconstruct the most probable physical covariance matrix from a measured nonphysical one and then test the reconstructed matrix for different kinds of separability (factorizability, concrete partite separability, or biseparability) even in the presence of measurement errors. All these approaches are based on formulating the desired properties (physicality or separability) as convex optimization problems, which can be efficiently solved with modern optimization solvers, even when the system grows. To every optimization problem, we construct the corresponding dual problem used to verify the optimality of the solution. Besides this numerical part of work, we derive an explicit analytical expression for the symplectic trace of a positive definite matrix, which can serve as a simple witness of an entanglement witness, and extend it for positive semidefinite matrices. In addition, we show that in some cases our optimization problems can be solved analytically. As an application of our analytical approach, we consider small instances of bound entangled or genuine multipartite entangled Gaussian states, including some examples from the literature that were treated only numerically, and a family of non-Gaussian states.
Physics Subject Headings (PhySH)
Article Text
References (50)
- J.-I. Yoshikawa, S. Yokoyama, T. Kaji, C. Sornphiphatphong, Y. Shiozawa, K. Makino, and A. Furusawa, Invited article: Generation of one-million-mode continuous-variable cluster state by unlimited time-domain multiplexing, APL Photon. 1, 060801 (2016).
- S. L. Braunstein and P. van Loock, Quantum information with continuous variables, Rev. Mod. Phys. 77, 513 (2005).
- G. Adesso and F. Illuminati, Entanglement in continuous-variable systems: Recent advances and current perspectives, J. Phys. A: Math. Theor. 40, 7821 (2007).
- C. Weedbrook, S. Pirandola, R. García-Patrón, N. J. Cerf, T. C. Ralph, J. H. Shapiro, and S. Lloyd, Gaussian quantum information, Rev. Mod. Phys. 84, 621 (2012).
- A. Serafini, Quantum Continuous Variables: A Primer of Theoretical Methods, 2nd ed. (CRC Press, Boca Raton, 2024).
- A. Furusawa and P. van Loock, A Hybrid Approach to Optical Quantum Information Processing (Wiley, Weinheim, Germany, 2011).
- W. Asavanant and A. Furusawa, Multipartite continuous-variable optical quantum entanglement: Generation and application, Phys. Rev. A 109, 040101 (2024).
- L. S. Madsen, F. Laudenbach, M. F. Askarani, F. Rortais, T. Vincent, J. F. F. Bulmer, F. M. Miatto, L. Neuhaus, L. G. Helt, M. J. Collins, A. E. Lita, T. Gerrits, S. W. Nam, V. D. Vaidya, M. Menotti, I. Dhand, Z. Vernon, N. Quesada, and J. Lavoie, Quantum computational advantage with a programmable photonic processor, Nature (London) 606, 75 (2022).
- D. Gottesman, A. Kitaev, and J. Preskill, Encoding a qubit in an oscillator, Phys. Rev. A 64, 012310 (2001).
- B. Q. Baragiola, G. Pantaleoni, R. N. Alexander, A. Karanjai, and N. C. Menicucci, All-Gaussian universality and fault tolerance with the Gottesman-Kitaev-Preskill code, Phys. Rev. Lett. 123, 200502 (2019).
- M. Walschaers, Non-Gaussian quantum states and where to find them, PRX Quantum 2, 030204 (2021).
- D. Barral Raña, M. Isoard, G. Sorelli, M. Gessner, N. Treps, and M. Walschaers, Metrological detection of entanglement generated by non-Gaussian operations, New J. Phys. 26, 083012 (2024).
- P. J. Goulart and Y. Chen, Clarabel: An interior-point solver for conic programs with quadratic objectives, arXiv:2405.12762.
- B. O’Donoghue, E. Chu, N. Parikh, and S. Boyd, Conic optimization via operator splitting and homogeneous self-dual embedding, J. Optim. Theory Appl. 169, 1042 (2016).
- M. Lubin, O. Dowson, J. Dias Garcia, J. Huchette, B. Legat, and J. P. Vielma, JuMP 1.0: Recent improvements to a modeling language for mathematical optimization, Math. Program. Comput. 15, 581 (2023).
- We obtain the maximal amount of RAM by reading the VmHWM value from /proc/PID/status, where PID is the process ID of the Julia script that solves the problem. Clearly, this approach works in Linux only. We do not know, nor do we care about, how to obtain this value on other platforms.
- L. Lami, A. Serafini, and G. Adesso, Gaussian entanglement revisited, New J. Phys. 20, 023030 (2018).
- P. Hyllus and J. Eisert, Optimal entanglement witnesses for continuous-variable systems, New J. Phys. 8, 51 (2006).
- J. Anders, Estimating the degree of entanglement of unknown Gaussian states, arXiv:quant-ph/0610263.
- G. Giedke, J. Eisert, J. I. Cirac, and M. B. Plenio, Entanglement transformations of pure Gaussian states, Quantum Inf. Comput. 3, 211 (2003).
- G. Adesso, S. Ragy, and A. R. Lee, Continuous variable quantum information: Gaussian states and beyond, Open Syst. Inf. Dyn. 21, 1440001 (2014).
- T. Mihaescu, H. Kampermann, A. Isar, and D. Bruß, Steering witnesses for unknown Gaussian quantum states, New J. Phys. 25, 113023 (2023).
- S. Gerke, J. Sperling, W. Vogel, Y. Cai, J. Roslund, N. Treps, and C. Fabre, Full multipartite entanglement of frequency-comb Gaussian states, Phys. Rev. Lett. 114, 050501 (2015).
- O. Leskovjanová and L. Mišta, Minimal criteria for continuous-variable genuine multipartite entanglement, Quantum 9, 1837 (2024).
- M. A. de Gosson, Symplectic Methods in Harmonic Analysis and in Mathematical Physics (Birkhäuser, Basel, Switzerland, 2010), Theorem 98, p. 67.
- R. A. Horn and C. R. Johnson, Matrix Analysis, 2nd ed. (Cambridge University Press, Cambridge, UK, 2013), p. 27.
- P. van Loock and A. Furusawa, Detecting genuine multipartite continuous-variable entanglement, Phys. Rev. A 67, 052315 (2003).
- E. Shchukin and P. van Loock, Recovering quantum properties of continuous-variable states in the presence of measurement errors, Phys. Rev. Lett. 117, 140504 (2016).
- S. Boyd and L. Vandenberghe, Convex Optimization (Cambridge University Press, Cambridge, UK, 2004), Sec. 1.2.2, p. 6.
- M. C. Rodriguez, Standard error of measurement, in Encyclopedia of Measurement and Statistics, edited by N. J. Salkind, Vol. 3 (Thousand Oaks, California, 2007), p. 945.
- A. Franklin, Shifting Standards: Experiments in Particle Physics in the Twentieth Century (University of Pittsburgh Press, Pittsburgh, 2013).
- R. A. Horn and C. R. Johnson, Matrix Analysis, 2nd ed. (Cambridge University Press, Cambridge, UK, 2013), p. 445.
- R. A. Horn and C. R. Johnson, Matrix Analysis, 2nd ed. (Cambridge University Press, Cambridge, UK, 2013), p. 504.
- M. A. de Gosson, Symplectic Geometry and Quantum Mechanics (Birkhäuser, Basel, Switzerland, 2006), Theorem 8.11, p. 244.
- M. A. de Gosson, Symplectic Geometry and Quantum Mechanics (Birkhäuser, Basel, Switzerland, 2006), Proposition 8.12, p. 245.
- T. Hiroshima, Additivity and multiplicativity properties of some Gaussian channels for Gaussian inputs, Phys. Rev. A 73, 012330 (2006).
- G. Shurbet, T. Lewis, and T. Boullion, Quadratic matrix equations, Ohio J. Sci. 74, 273 (1974).
- P. van Loock and S. L. Braunstein, Multipartite entanglement for continuous variables: A quantum teleportation network, Phys. Rev. Lett. 84, 3482 (2000).
- G. Adesso, A. Serafini, and F. Illuminati, Quantification and scaling of multipartite entanglement in continuous variable systems, Phys. Rev. Lett. 93, 220504 (2004).
- A. Serafini, G. Adesso, and F. Illuminati, Unitarily localizable entanglement of Gaussian states, Phys. Rev. A 71, 032349 (2005).
- R. F. Werner and M. M. Wolf, Bound entangled Gaussian states, Phys. Rev. Lett. 86, 3658 (2001).
- K. Baksová, O. Leskovjanová, L. Mišta, Jr., E. Agudelo, and N. Friis, Multi-copy activation of genuine multipartite entanglement in continuous-variable systems, Quantum 9, 1699 (2025).
- S. M. Tan, Confirming entanglement in continuous variable quantum teleportation, Phys. Rev. A 60, 2752 (1999).
- P. van Loock and S. L. Braunstein, Unconditional teleportation of continuous-variable entanglement, Phys. Rev. A 61, 010302(R) (1999).
- W. Asavanant, Y. Shiozawa, S. Yokoyama, B. Charoensombutamon, H. Emura, R. N. Alexander, S. Takeda, J. Yoshikawa, N. C. Menicucci, H. Yonezawa, and A. Furusawa, Generation of time-domain-multiplexed two-dimensional cluster state, Science 366, 373 (2019).
- M. V. Larsen, X. Guo, C. R. Breum, J. S. Neergaard-Nielsen, and U. L. Andersen, Deterministic generation of a two-dimensional cluster state, Science 366, 369 (2019).
- H. Aghaee Rad et al., Scaling and networking a modular photonic quantum computer, Nature (London) 638, 912 (2025).
- X. Jia, C. Zhai, X. Zhu, C. You, Y. Cao, X. Zhang, Y. Zheng, Z. Fu, J. Mao, T. Dai, L. Chang, X. Su, Q. Gong, and J. Wang, Continuous-variable multipartite entanglement in an integrated microcomb, Nature (London) 639, 329 (2025).
- V. Roman-Rodriguez, D. Fainsin, G. L. Zanin, N. Treps, E. Diamanti, and V. Parigi, Multimode squeezed state for reconfigurable quantum networks at telecommunication wavelengths, Phys. Rev. Res. 6, 043113 (2024).
- S. Roy, Typical behavior of genuine multimode entanglement of pure Gaussian states, Phys. Rev. A 111, 062414 (2025).