arXiv subjects

Nicolas J. Cerf

Publications and source records attributed to Nicolas J. Cerf.

At least 19 recordsLinked to original sources

arXiv2026

Detecting strongly non-Gaussian entanglement

Efficiently certifying non-Gaussian entanglement in continuous-variable quantum systems is a central challenge for advancing quantum information processing, photonic quantum computing, and metrology. Here, we put forward continuous-variable counterparts to the recently introduced entanglement criteria based on moments of the partially transposed state, together with simple readout schemes that require only a few replicas of the state, passive linear optics, and particle-number measurements. We develop a multicopy method that enables the detection of strongly non-Gaussian entanglement for various relevant state families overlooked by standard approaches, which include the entire class of NOON states. Further, it is robust against realistic experimental constraints (losses, noise, and finite statistics), which we demonstrate by extensive numerical simulations.

quant-ph↗

arXiv2026

Symmetry-driven thermalization via finite de Finetti theorems

Thermal behavior in subsystems of closed quantum systems is commonly attributed to dynamical chaos, quantum ergodicity, canonical typicality, or the eigenstate thermalization hypothesis, suggesting a fundamentally statistical origin of thermalization. Here, we propose a potential alternative mechanism in which thermal structures emerge deterministically from symmetry considerations alone, without recourse to statistical arguments. We prove a finite de Finetti-type theorem for quantum states invariant under energy-preserving unitaries, establishing that the reduced marginals of any such invariant $N$-qudit state are close (both in trace distance and relative entropy) to convex mixtures of thermal product states, with explicit error bounds vanishing as $N \to \infty$. We further present an example of energy-conserving Lindblad dynamics whose long-time limit is invariant under energy-preserving unitaries, providing a dynamical realization of the desired symmetry class. These results imply that invariance under energy-preserving unitaries suffices as a sole fundamental, deterministic principle to enforce thermal structures.

quant-ph↗

arXiv2026

A unified framework for anomalous boson bunching

Anomalous bunching is a paradoxical quantum interferometric phenomenon in which partially distinguishable photons exhibit a higher probability of bunching into two or more modes than fully indistinguishable photons [Nat. Photonics 17, 702 (2023)]. While this effect is directly linked to violations of certain conjectures on matrix permanents, the mechanism underlying the anomaly is not yet fully understood. Here, we show that boson bunching is governed not by internal indistinguishability alone, but by the total indistinguishability of the postselected output state. Total indistinguishability combines the internal degrees of freedom, such as polarization or arrival time, with the spatial degrees of freedom of their wave functions restricted to the measured output modes of the interferometer. This reformulation preserves the expected connection between boson bunching and total indistinguishability, while clarifying how anomalous bunching can arise. It also reveals several additional facets of the same phenomenon, which are captured within a unified framework. In particular, we exhibit situations in which adding an independent source of distinguishability, either internal or spatial, can enhance multimode or even single-mode bunching probabilities, offering new insights into the subtle role of distinguishability in multiphoton interference.

quant-ph↗

arXiv2026

Higher-order covariance matrices for non-Gaussian quantum states

Covariance matrices lie at the heart of the powerful and well-established symplectic framework for describing continuous-variable Gaussian quantum states. However, since this framework only relies on first- and second-order moments, it is not sufficient for the analysis of non-Gaussian states because their higher-order moments are essential to capture some of their key properties. Here, we define higher-order covariance matrices -- more precisely, covariance matrices built from higher-order quadrature monomials -- which provide a simple way to evaluate the effect of Gaussian transformations on non-Gaussian states and can be used, for example, to address nonlinear squeezing or non-Gaussian nullifiers. Higher-order covariance matrices can be estimated from homodyne measurement data using only a limited number of quadrature angles, which involves matrices of moderate dimension compared with a full simulation in the Fock basis. The dimension of a higher-order covariance matrix does not depend on the span of the quantum states in Fock basis and, furthermore, scales only polynomially with the number of modes.

quant-ph↗

arXiv2026

Majorization precursors to supermodularity and subadditivity on the majorization lattice

We establish two structural majorization relations, which we call precursors, underlying the properties of supermodularity and subadditivity on the lattice induced by majorization. These are precursors in that they immediately imply that all sums of concave functions, which we dub sum-concave functions, are supermodular and subadditive on the majorization lattice. Using these majorization relations, we then show the supermodularity and subadditivity (in the lattice-theoretic sense) of Tsallis entropies (for all $α$) and Rényi entropies (for all $α> 1$), also recovering these properties for the Shannon entropy in the process. We further strengthen these inequalities, showing that: (i) all these entropic functionals are strictly subadditive on the majorization lattice; (ii) Tsallis entropies (and therefore the Shannon entropy as well) are strictly supermodular on the majorization lattice.

cs.IT↗

arXiv2026

Boson-fermion complementarity in a linear interferometer: An identity relating the determinant and permanent of a matrix

Bosonic and fermionic statistics are well known to give rise to antinomic behaviors, most notably boson bunching vs fermion antibunching. Here, we establish a fundamental relation that combines bosonic and fermionic multiparticle interferences in an arbitrary linear interferometer. The bosonic and fermionic transition probabilities appear together in a single equation which constrains their values, hence expressing a boson-fermion complementarity that is independent of the details of the interferometer. For two particles in any interferometer, for example, it implies that the average between the bosonic and fermionic probabilities must coincide with the probability obeyed by classical particles. Crucially, this fundamental relation also provides a heretofore unknown mathematical identity connecting the squared moduli of the permanent and determinant of an arbitrary complex matrix, hence extending an identity by Muir dating from the nineteenth century.

quant-ph↗

arXiv2026

Complementarity between bosonic and fermionic many-body interferences with partially distinguishable particles

It is well known that bosons and fermions exhibit opposite behaviors when experiencing interference, in the sense that bosons have a tendency to bunch whereas fermions have a tendency to antibunch. Recently, this complementarity was mathematically characterized in [arXiv:2312.17709] by means of an identity relating the transition probabilities of both types of particles in a linear interferometer. Here, we show that such a complementarity still holds even when particles become partially distinguishable, for example, when they have slightly different polarizations or time delays. Namely, we establish a relation that combines bosonic and fermionic multiparticle interferences in an arbitrary linear interferometer, in the presence of partial distinguishability. Incidentally, this also provides a new mathematical identity relating the permanent and determinant of tensors of order 3. Importantly, this complementarity has direct operational consequences in quantum metrology. Indeed, we show that the correlation matrices for bosonic and fermionic particle number distributions at the output of the interferometer obey a simple sum rule: their sum equals twice the correlation matrix for classical particles. This, in turn, constraints the achievable quantum Fisher information in phase-estimation protocols, highlighting a trade-off whereby greater indistinguishability enhances bosonic sensitivity whereas reduced indistinguishability can benefit fermionic schemes.

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↗

arXiv2026

Limits of multimode bunching for boson sampling validation: anomalous bunching induced by time delays

The multimode bunching probability is expected to provide a useful criterion for validating boson sampling experiments. Its applicability, however, is challenged by the existence of anomalous bunching, namely paradoxical situations in which partially distinguishable particles exhibit a higher bunching probability in two or more modes than perfectly indistinguishable ones. Using multimode bunching as a reliable criterion of genuine indistinguishability, therefore, requires a clear identification of the interferometric configurations in which anomalous bunching can or cannot occur. In particular, since uncontrolled small time delays between single-photon pulses constitute a common source of mode mismatch in current photonic platforms, it is essential to determine whether the resulting photon distinguishability might lead to anomalous bunching. Here, we first identify a broad class of interferometric configurations in which anomalous bunching is rigorously excluded, thereby establishing regimes where multimode bunching-based validation remains valid. Then, we find that, quite unexpectedly, temporal mode mismatch does not belong to this class. We exhibit a specific interferometric setup in which temporal distinguishability enhances multimode bunching, demonstrating that time delays can induce an anomalous behavior. These results help clarify the conditions under which multimode bunching remains a reliable validation tool.

quant-ph↗

arXiv2026

Native linear-optical protocol for efficient multivariate trace estimation

The Hong-Ou-Mandel test estimates the overlap between spectral functions characterizing the internal degrees of freedom of two single photons. It can be viewed as a photon-native protocol that implements the well-known quantum SWAP test. Here, we propose a native linear-optical protocol that efficiently estimates multivariate traces of quantum states called Bargmann invariants, which are ubiquitous in quantum mechanics. Our protocol may be understood as a photon-native version of the cycle test in the circuit model, which encompasses many-photon multimode quantum states. We show the protocol is sample-efficient and discuss applications, such as generalized suppression laws, efficient quantum kernel estimation for quantum machine learning, eigenspectrum estimation, and the characterization of multiphoton indistinguishability.

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↗

arXiv2025

Information and majorization theory for fermionic phase-space distributions

We put forward several information-theoretic measures for analyzing the uncertainty of fermionic phase-space distributions using the theory of supernumbers. In contrast to the bosonic case, the anticommuting nature of Grassmann variables allows us to provide simple expressions for the Glauber $P$-, Wigner $W$-, and Husimi $Q$-distributions of the arbitrary state of a single fermionic mode. It appears that all physical states are Gaussian and, thus, can be described by positive or negative thermal distributions (over Grassmann variables). We then prove several fermionic uncertainty relations, including notably the fermionic analogs of the (yet unproven) phase-space majorization and Wigner entropy conjectures for a bosonic mode, as well as the Lieb-Solovej theorem and the Wehrl-Lieb inequality. Our central point is that, although fermionic phase-space distributions are Grassmann-valued and do not have a straightforward interpretation, the corresponding uncertainty measures are expressed as Berezin integrals, which take on real values and are physically relevant.

quant-ph↗

arXiv2025

A logical implication between two conjectures on matrix permanents

We prove a logical implication between two old conjectures stated by Bapat and Sunder about the permanent of positive semidefinite matrices. Although Drury has recently disproved both conjectures, this logical implication yields a non-trivial link between two seemingly unrelated conditions that a positive semidefinite matrix may fulfill. As a corollary, the classes of matrices that are known to obey the first conjecture are then immediately proven to obey the second one. Conversely, we uncover new counterexamples to the first conjecture by exhibiting a previously unknown type of counterexamples to the second conjecture.

math.RA↗

arXiv2025

Two-particle quantum interference in a nonlinear optical medium: a witness of timelike indistinguishability

The Hong-Ou-Mandel effect is a paradigmatic quantum phenomenon demonstrating the interference of two indistinguishable photons that are linearly coupled at a 50:50 beam splitter. Here, we transpose such a two-particle quantum interference effect to the nonlinear regime, when two single photons are impinging on a parametric down-conversion crystal. Formally, this transposition amounts to exchanging space and time variables, giving rise to an unknown form of timelike quantum interference. The two-photon component of the output state is a superposition of the incident photons being either transmitted or reborn, that is, replaced by indistinguishable substitutes due to their interaction with the nonlinear crystal. We experimentally demonstrate the suppression of the probability of detecting precisely one photon pair when the amplification gain is tuned to 2, which arises from the destructive interference between the transmitted and reborn photon pairs. This heretofore unobserved quantum manifestation of indistinguishability in time pushes nonlinear quantum interference towards a new regime with multiple photons. Hence, composing this effect with larger linear optical circuits should provide a tool to generate multimode quantum non-Gaussian states, which are essential resources for photonic quantum computers.

quant-ph↗