arXiv subjects

Zacharie Van Herstraeten

Publications and source records attributed to Zacharie Van Herstraeten.

14 recordsLinked to original sources

arXiv2026

Differential hierarchy of the Husimi representation

Phase-space representations reveal the geometry of quantum mechanics and distinguish quantum features from classical ones. However, the positivity of a density operator is among the properties of quantum states that phase-space representations capture least directly: deciding whether a phase-space function describes a physical quantum state has so far required global conditions coupling distant points in phase space. Here we show that these conditions can in fact be made local, by considering the Husimi representation in phase space. We establish a complete set of conditions which captures when a phase-space function $f$ is the Husimi function of a quantum state, with each condition involving only the derivatives of the function $f$ evaluated at a single phase-space point. We further show that each condition has an equivalent algebraic characterization, which takes the form of the nonnegativity of a determinant of the underlying operator in a displaced Fock basis. As a result, these conditions obey a recurrence relation organizing them into a differential hierarchy, which terminates based on the rank of the operator. Our results thus show that operator rank and positivity are local properties in phase space, reinforcing the role of phase-space representations as a geometric description of quantum mechanics.

quant-ph↗

arXiv2026

Wigner-positive quantum states can have lower entropy than the vacuum

The Wigner entropy conjecture posits that pure Gaussian states minimize the Shannon entropy of non-negative Wigner functions, known as the Wigner entropy. We show that mixing a specific pure Wigner-negative state with another suitably chosen quantum state can restore Wigner positivity while retaining a Wigner entropy that is slightly - but strictly - below the vacuum entropy. As a consequence, we disprove the Wigner entropy conjecture, as well as the stronger Wigner majorization conjecture, by deriving simple analytical counterexamples with violations of the entropy bound no larger than $10^{-3}$. Such states with sub-vacuum Wigner entropy can be found arbitrarily close to the vacuum and can also exhibit sub-vacuum Wigner-Rényi $α$-entropy for $0<α<2$. We identify the physical mechanism behind the existence of such states, which arises from a subtle interplay between the uncertainty principle and non-Gaussianity. The key idea of this paper was developed with the help of AI tools, building on the characterization of extreme non-negative Wigner functions.

quant-ph↗

arXiv2026

Majorization theory for quasiprobabilities

The question of how to characterize disorder arises in a wide variety of settings, including information theory, economics, and quantum thermodynamics. The theory of majorization provides an elegant answer, playing a central role in these fields. However, the existing majorization framework is inapplicable to functions that both take negative values and are defined on infinite spaces. Yet such functions, in the form of quasiprobability distributions, are ubiquitous in fields such as quantum optics, signal analysis, and bosonic quantum computation. Here we develop a notion of majorization that is applicable to such functions, proving that it admits four equivalent characterizations that naturally reduce to the finite case, thereby generalizing a seminal theorem by Hardy, Littlewood, and Pólya. Moreover, we extend this equivalence to the setting where majorization is considered relative to an arbitrary positive distribution. We give several applications of our results in the context of quantum resource theories. These include deriving families of resource monotones and constraining quantum state conversions. We analytically and numerically study examples using the Wigner and Husimi functions, which feature prominently in quantum optics. Our results provide a comprehensive majorization framework for assessing the disorder of integrable functions over infinite measure spaces.

quant-ph↗

arXiv2026

Complex-valued Wigner entropy of a quantum state

It is common knowledge that the Wigner function of a quantum state may admit negative values, so that it cannot be viewed as a genuine probability density. Here, we examine the difficulty in finding an entropy-like functional in phase space that extends to negative Wigner functions and then advocate the merits of defining a complex-valued entropy associated with any Wigner function. This quantity, which we call the complex Wigner entropy, is defined via the analytic continuation of Shannon's differential entropy of the Wigner function in the complex plane. We show that the complex Wigner entropy enjoys interesting properties, especially its real and imaginary parts are both invariant under Gaussian unitaries (displacements, rotations, and squeezing in phase space). Its real part is physically relevant when considering the evolution of the Wigner function under a Gaussian convolution, while its imaginary part is simply proportional to the negative volume of the Wigner function. Finally, we define the complex-valued Fisher information of any Wigner function, which is linked (via an extended de Bruijn's identity) to the time derivative of the complex Wigner entropy when the state undergoes Gaussian additive noise. Overall, it is anticipated that the complex plane yields a proper framework for analyzing the entropic properties of quasiprobability distributions in phase space.

quant-ph↗

arXiv2026

Wigner entropy conjecture and the interference formula in quantum phase space

Wigner-positive quantum states have the peculiarity to admit a Wigner function that is a genuine probability distribution over phase space. The Shannon differential entropy of the Wigner function of such states -- called Wigner entropy for brevity -- emerges as a fundamental information-theoretic measure in phase space and is subject to a conjectured lower bound, reflecting the uncertainty principle. In this work, we prove that this Wigner entropy conjecture holds true for a broad class of Wigner-positive states known as beam-splitter states, which are obtained by evolving a separable state through a balanced beam splitter and then discarding one mode. Our proof relies on known bounds on the $p$-norms of cross Wigner functions and on the interference formula, which relates the convolution of Wigner functions to the squared modulus of a cross Wigner function. Originally discussed in the context of signal analysis, the interference formula is not commonly used in quantum optics although it unveils a strong symmetry under convolution exhibited by Wigner functions of pure states. We provide here a simple proof of the formula and highlight some of its implications. Finally, we prove an extended conjecture on the Wigner-Rényi entropy of beam-splitter states, albeit in a restricted range for the Rényi parameter $α\geq 1/2$.

quant-ph↗

arXiv2026

Extreme non-negative Wigner functions

Providing an operational characterization of the Wigner-positive states (WPS), i.e., the set of quantum states with non-negative Wigner function, is a longstanding open problem. For pure states, the only WPS are Gaussian states, but the situation is considerably more subtle for mixed states. Here, we approach the problem using convex geometry, reducing the question to the characterization of the extreme points of the set of WPS. We give a constructive method to generate a large class of such extreme WPS, which combines the following steps: (i) we characterize the phase-invariant extreme points of the superset of Wigner-positive quasi-states (WPQS); (ii) we introduce a new quantum map, named Vertigo map, which maps extreme WPQS to extreme WPS while preserving phase invariance; (iii) we identify families of extremality-preserving maps and use them to obtain extreme WPS while relaxing phase invariance. Our construction generates all extreme WPS of low dimension, starting from a specific kind of WPS known as beam-splitter states. Our results build upon new mathematical properties of the set of WPS derived in a companion paper and unveil the remarkable structure of mixed states with non-negative Wigner functions.

quant-ph↗

arXiv2026

Majorization theoretical approach to entanglement enhancement via local filtration

From the perspective of majorization theory, we study how to enhance the entanglement of a two-mode squeezed vacuum (TMSV) state by using local filtration operations. We present several schemes achieving entanglement enhancement with photon addition and subtraction, and then consider filtration as a general probabilistic procedure consisting in acting with local (non-unitary) operators on each mode. From this, we identify a sufficient set of two conditions for these filtration operators to successfully enhance the entanglement of a TMSV state, namely the operators must be Fock-orthogonal (i.e., preserving the orthogonality of Fock states) and Fock-amplifying (i.e., giving larger amplitudes to larger Fock states). Our results notably prove that ideal photon addition, subtraction, and any concatenation thereof always enhance the entanglement of a TMSV state in the sense of majorization theory. We further investigate the case of realistic photon addition (subtraction) and are able to upper bound the distance between a realistic photon-added (-subtracted) TMSV state and a nearby state that is provably more entangled than the TMSV, thus extending entanglement enhancement to practical schemes via the use of a notion of approximate majorization. Finally, we consider the state resulting from $k$-photon addition (on each of the two modes) on a TMSV state. We prove analytically that the state corresponding to $k=1$ majorizes any state corresponding to $2\leq k \leq 8$ and we conjecture the validity of the statement for all $k\geq 9$.

quant-ph↗

arXiv2026

Classical capacity of quantum non-Gaussian attenuator and amplifier channels

We consider a quantum bosonic channel that couples the input mode via a beam splitter or two-mode squeezer to an environmental mode that is prepared in an arbitrary state. We investigate the classical capacity of this channel, which we call a non-Gaussian attenuator or amplifier channel. If the environment state is thermal, we of course recover a Gaussian phase-covariant channel whose classical capacity is well known. Otherwise, we derive both a lower and an upper bound to the classical capacity of the channel, drawing inspiration from the classical treatment of the capacity of non-Gaussian additive-noise channels. We show that the lower bound to the capacity is always achievable and give examples where the non-Gaussianity of the channel can be exploited so that the communication rate beats the capacity of the Gaussian-equivalent channel (i.e., the channel where the environment state is replaced by a Gaussian state with the same covariance matrix). Finally, our upper bound leads us to formulate and investigate conjectures on the input state that minimizes the output entropy of non-Gaussian attenuator or amplifier channels. Solving these conjectures would be a main step towards accessing the capacity of a large class of non-Gaussian bosonic channels.

quant-ph↗

arXiv2025

Characterising the sets of quantum states with non-negative Wigner function

For Hilbert spaces $\mathcal H\subseteq L^2(\mathbb R)$ we consider the convex sets $\mathcal D_+(\mathcal H)$ of Wigner-positive states (WPS), i.e.~density matrices over $\mathcal H$ with non-negative Wigner function. We investigate the topological structure of these sets, namely concerning closure, compactness, interior and boundary (in a relative topology induced by the trace norm). We also study their geometric structure and construct minimal sets of states that generate $\mathcal D_+(\mathcal H)$ through convex combinations. If $\mathcal H$ is finite-dimensional, the existence of such sets follows from a central result in convex analysis, namely the Krein-Milman theorem. In the infinite-dimensional case $\mathcal H=L^2(\mathbb R)$ this is not so, due to lack of compactness of the set $\mathcal D_+(\mathcal H)$. Nevertheless, we prove that a Krein-Milman theorem holds in this case, which allows us to extend most of the results concerning the sets of generators to the infinite-dimensional setting. Finally, we study the relation between the finite and infinite-dimensional sets of WPS, and prove that the former provide a hierarchy of closed subsets, which are also proper faces of the latter. These results provide a basis for an operational characterisation of the extreme points of the sets of WPS, which we undertake in a companion paper. Our work offers a unified perspective on the topological and geometric properties of the sets of WPS in finite and infinite dimensions, along with explicit constructions of minimal sets of generators.

math-ph↗

arXiv2024

Exploring the possibility of a complex-valued non-Gaussianity measure for quantum states of light

We consider a quantity that is the differential relative entropy between a generic Wigner function and a Gaussian one. We prove that said quantity is minimized with respect to its Gaussian argument, if both Wigner functions in the argument of the Wigner differential entropy have the same first and second moments, i.e., if the Gaussian argument is the Gaussian associate of the other, generic Wigner function. Therefore, we introduce the differential relative entropy between any Wigner function and its Gaussian associate and we examine its potential as a non-Gaussianity measure. We prove that said quantity is faithful, invariant under Gaussian unitary operations, and find a sufficient condition on its monotonic behavior under Gaussian channels. We provide numerical results supporting aforesaid condition. The proposed, phase-space based non-Gaussianity measure is complex-valued, with its imaginary part possessing the physical meaning of the negative volume of the Wigner function. At the same time, the real part of this measure provides an extra layer of information, rendering the complex-valued quantity a measure of non-Gaussianity, instead of a quantity pertaining only to the negativity of the Wigner function. We examine the usefulness of our measure to non-Gaussian quantum state engineering with partial measurements.

quant-ph↗

arXiv2023

Continuous majorization in quantum phase space

We explore the role of majorization theory in quantum phase space. To this purpose, we restrict ourselves to quantum states with positive Wigner functions and show that the continuous version of majorization theory provides an elegant and very natural approach to exploring the information-theoretic properties of Wigner functions in phase space. After identifying all Gaussian pure states as equivalent in the precise sense of continuous majorization, which can be understood in light of Hudson's theorem, we conjecture a fundamental majorization relation: any positive Wigner function is majorized by the Wigner function of a Gaussian pure state (especially, the bosonic vacuum state or ground state of the harmonic oscillator). As a consequence, any Schur-concave function of the Wigner function is lower bounded by the value it takes for the vacuum state. This implies in turn that the Wigner entropy is lower bounded by its value for the vacuum state, while the converse is notably not true. Our main result is then to prove this fundamental majorization relation for a relevant subset of Wigner-positive quantum states which are mixtures of the three lowest eigenstates of the harmonic oscillator. Beyond that, the conjecture is also supported by numerical evidence. We conclude by discussing some implications of this conjecture in the context of entropic uncertainty relations in phase space.

quant-ph↗

arXiv2023

Majorization ladder in bosonic Gaussian channels

We show the existence of a majorization ladder in bosonic Gaussian channels, that is, we prove that the channel output resulting from the $n\text{th}$ energy eigenstate (Fock state) majorizes the channel output resulting from the $(n\!+\!1)\text{th}$ energy eigenstate (Fock state). This reflects a remarkable link between the energy at the input of the channel and a disorder relation at its output as captured by majorization theory. This result was previously known in the special cases of a pure-loss channel and quantum-limited amplifier, and we achieve here its nontrivial generalization to any single-mode phase-covariant (or -contravariant) bosonic Gaussian channel. The key to our proof is the explicit construction of a column-stochastic matrix that relates the outputs of the channel for any two subsequent Fock states at its input. This is made possible by exploiting a recently found recurrence relation on multiphoton transition probabilities for Gaussian unitaries [M. G. Jabbour and N. J. Cerf, Phys. Rev. Research 3, 043065 (2021)]. Possible generalizations and implications of these results are then discussed.

quant-ph↗

arXiv2021

Quantum Wigner entropy

We define the Wigner entropy of a quantum state as the differential Shannon entropy of the Wigner function of the state. This quantity is properly defined only for states that possess a positive Wigner function, which we name Wigner-positive states, but we argue that it is a proper measure of quantum uncertainty in phase space. It is invariant under symplectic transformations (displacements, rotations, and squeezing) and we conjecture that it is lower bounded by $\lnπ+1$ within the convex set of Wigner-positive states. It reaches this lower bound for Gaussian pure states, which are natural minimum-uncertainty states. This conjecture bears a resemblance with the Wehrl-Lieb conjecture, and we prove it over the subset of passive states of the harmonic oscillator which are of particular relevance in quantum thermodynamics. Along the way, we present a simple technique to build a broad class of Wigner-positive states exploiting an optical beam splitter and reveal an unexpectedly simple convex decomposition of extremal passive states. The Wigner entropy is anticipated to be a significant physical quantity, for example, in quantum optics where it allows us to establish a Wigner entropy-power inequality. It also opens a way towards stronger entropic uncertainty relations. Finally, we define the Wigner-Rényi entropy of Wigner-positive states and conjecture an extended lower bound that is reached for Gaussian pure states.

quant-ph↗

arXiv2019

Quantum thermodynamics in a multipartite setting: A resource theory of local Gaussian work extraction for multimode bosonic systems

Quantum thermodynamics can be cast as a resource theory by considering free access to a heat bath, thereby viewing the Gibbs state at a fixed temperature as a free state and hence any other state as a resource. Here, we consider a multipartite scenario where several parties attempt at extracting work locally, each having access to a local heat bath (possibly with a different temperature), assisted with an energy-preserving global unitary. As a specific model, we analyze a collection of harmonic oscillators or a multimode bosonic system. Focusing on the Gaussian paradigm, we construct a reasonable resource theory of local activity for a multimode bosonic system, where we identify as free any state that is obtained from a product of thermal states (possibly at different temperatures) acted upon by any linear-optics (passive Gaussian) transformation. The associated free operations are then all linear-optics transformations supplemented with tensoring and partial tracing. We show that the local Gaussian extractable work (if each party applies a Gaussian unitary, assisted with linear optics) is zero if and only if the covariance matrix of the system is that of a free state. Further, we develop a resource theory of local Gaussian extractable work, defined as the difference between the trace and symplectic trace of the covariance matrix of the system. We prove that it is a resource monotone that cannot increase under free operations. We also provide examples illustrating the distillation of local activity and local Gaussian extractable work.

quant-ph↗