REVIEW 2 major objections 5 minor 183 references
New multiphoton suppression laws and a generating-function treatment of partial distinguishability show that phase-and-loss sensing can remove probe incompatibility, yet measurement incompatibility persists at high photon number.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.5
2026-07-12 01:01 UTC pith:N3Z2GC56
load-bearing objection Solid thesis-level work: new suppression families outside permutation symmetry, a usable overlap-matrix generating function for partially distinguishable GBS, and a clean asymptotic split showing measurement incompatibility survives for the probes that kill probe incompatibility. the 2 major comments →
From the Hong-Ou-Mandel Effect to Quantum Sensing: Interference of Nonclassical Light with Partial Distinguishability and Noise
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Probe incompatibility between simultaneous phase and loss estimation can be removed by carefully chosen non-Gaussian states or by certain two-mode Gaussian states that keep an ancillary reference mode, but measurement incompatibility, quantified by a non-vanishing expectation value of the commutator of the two symmetric logarithmic derivatives, survives as a fundamental constraint even asymptotically at high photon number.
What carries the argument
Generating functions obtained from phase-space integrals (or from contingency-table averages of permanents) that encode both the multiport unitary and the photon-overlap matrix; their derivatives yield amplitudes, probabilities, and the matrices whose roots produce the new suppression laws and the extended hafnian expressions.
Load-bearing premise
The claim that measurement incompatibility is fundamental rests on a restricted family of Kraus operators for the lossy phase channel together with the large-photon-number limit; a different Kraus representation or a finite-N protocol that saturates both bounds with commuting derivatives would overturn it.
What would settle it
Exhibit a probe state and a single joint POVM for which both the phase and the loss quantum Cramér–Rao bounds are simultaneously saturated at large mean photon number, or show that the expectation value of the SLD commutator vanishes for that state while both diagonal quantum Fisher informations remain maximal.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This thesis develops a unified phase-space and generating-function framework for multiphoton interference of Fock and Gaussian states in linear interferometers subject to partial distinguishability and loss. Chapter 3 derives new families of zero-probability (suppression) laws for beamsplitters and tritters that lie outside the permutation-symmetry principle of Dittel et al., obtained from recurrence relations on the permanent generating function; the laws are shown to degrade under partial distinguishability. Chapter 4 extends the Hafnian description of Gaussian Boson Sampling to a general internal-state overlap matrix, recovers the ideal hafnian and torontonian limits, and analyzes homogeneous-overlap noise and Gaussian temporal-mode models. Chapter 5 studies simultaneous phase-and-loss estimation, showing that optimized non-Gaussian and certain two-mode Gaussian probes can asymptotically eliminate probe incompatibility (F o1), while the SLD commutator expectation I_φη remains nonzero for all such probes, so that measurement incompatibility persists even at high photon number.
Significance. The work supplies concrete, analytically tractable extensions of two central photonic protocols (suppression laws beyond permutation symmetry; GBS with a general overlap matrix) and a carefully scoped multiparameter-metrology result that cleanly separates probe from measurement incompatibility. Strengths include explicit generating-function derivations checked against known HOM and balanced-tritter cases, tabulated analytic roots (Table 3.1), publicly available code for the ISS optimizer and GBS generating function, and asymptotic QFI expressions for the Gaussian families that attain the single-parameter bounds. The measurement-incompatibility claim is correctly limited to the examined optimal probes and the standard lossy-phase channel; within that scope it is a useful, falsifiable statement for optical multiparameter sensing.
major comments (2)
- Chapter 3, Sec. 3.3 and Table 3.1: the new suppression families are derived only for |n_S|≤2 and for two specific interferometers (beamsplitter, triangular tritter). The claim that “similar suppression laws … should arise for arbitrarily large multiports” (Conclusions) is plausible from multilinearity but is not demonstrated. A single higher-mode or larger-|n_S| example (or an explicit statement that the method becomes permanent-hard beyond the cases shown) would make the scope of the central claim precise.
- Chapter 5, Eqs. (5.70)–(5.73) and Appendix B: the assertion that measurement incompatibility “remains a fundamental constraint even in this limit” rests on I_φη eq0 for every probe that saturates both single-parameter QFIs under the standard lossy-phase channel. The necessary conditions of App. B are obtained by minimization over a restricted Kraus family parametrized by α,β. While no counter-example is known, the manuscript should state explicitly that the claim is scoped to this channel model and the examined optimal probes, rather than as a representation-independent theorem.
minor comments (5)
- Abstract and Resumo: “structures that is degraded” → “structures that are degraded”; several other minor grammatical slips appear in the English abstract and in Sec. 3.1.
- Chapter 4, Eq. (4.40) and surrounding text: the recovery of the ideal GBS probability is clear, but a short remark on how the general-overlap generating function reduces to the blocked-loop-hafnian expressions of the coarse-grained model would help readers familiar with that literature.
- Figures 3.3–3.4 and 5.2–5.5: axis labels and legends are readable, yet the caption of Fig. 5.5 should state the precise energy partition (p,q) used for the Gaussian curves so that the asymptotic claims can be checked without consulting the appendix.
- Code-availability statements appear in Ch. 4 and Ch. 5; a single consolidated repository link (or DOI) in the front matter would improve reproducibility.
- Bibliography: a few arXiv identifiers are given without final journal citations (e.g., the author’s own 2023 NJP paper is correctly cited, but some concurrent GBS-distinguishability works could be updated).
Circularity Check
No significant circularity: analytic derivations from phase-space generating functions, permanents/hafnians, and standard multiparameter QFI/SLD formulas stand independently of inputs; self-citations are only to the thesis chapters themselves.
full rationale
The thesis compiles three self-contained analytic chapters. Suppression laws (Ch. 3) follow by extracting roots of the multivariate polynomials that appear after repeated application of the permanent recurrence (Eqs. 3.20–3.22) to low-occupation output modes; the roots are not inserted by hand. The partial-distinguishability GBS generating function (Ch. 4, Eq. 4.35) is obtained by inserting the Gram matrix V into the anti-normally ordered expectation and evaluating the resulting Gaussian integral; the hafnian limit is recovered when V = 1, not assumed. Probe- and measurement-incompatibility results (Ch. 5) are obtained by (i) numerical ISS maximization of the normalized QFI quantifier (Eq. 5.10) over Fock coefficients and (ii) direct evaluation of the SLD commutator expectation I_φη (Eqs. 5.70–5.73 and Gaussian formula (5.71)) on the resulting states; both calculations use only the standard lossy-phase Kraus channel and the known single-parameter bounds F_max. Appendix B’s necessary conditions are derived from the multiparameter operator-norm bound of Ref. [65] after minimization over a two-parameter family of Kraus operators; they are necessary, not definitional. Self-citations point only to the author’s own published chapters that contain the same independent derivations. No fitted parameters are re-labeled as predictions, no uniqueness theorem is imported from prior author work to forbid alternatives, and no ansatz is smuggled via citation. The central claim that measurement incompatibility survives for all probes that saturate both single-parameter QFIs is therefore a genuine computation, not a tautology.
Axiom & Free-Parameter Ledger
free parameters (3)
- distinguishability parameter ϵ (homogeneous model)
- energy-partition exponents p, q for Gaussian probes
- Gaussian temporal width σ_t and central frequency Ω_0
axioms (5)
- domain assumption Bosonic commutation relations and canonical quantization of the free electromagnetic field
- domain assumption Linear interferometers implement passive unitaries generated by quadratic Hamiltonians; loss is modeled by a fictitious beamsplitter to vacuum
- domain assumption Photon-counting probabilities for Gaussian states are given by hafnians of the appropriate submatrices of B = U D_r U^t (indistinguishable limit)
- standard math Quantum multiparameter Cramér–Rao bound and SLD commutator condition for measurement compatibility
- ad hoc to paper Upper bounds on multiparameter QFI obtained by minimization over a restricted Kraus family parametrized by α, β
read the original abstract
This thesis explores the interference of nonclassical states of light, particularly Fock and Gaussian states, in noisy linear interferometers, with applications to quantum information and quantum sensing. Using the phase-space formalism, analytical tools based on generating functions are developed to describe quantum optical interference in a unified way. For multiphoton Fock states, new zero probability events (suppression laws) are identified beyond the previously derived symmetry permutation principle, revealing rich interference structures that is degraded with photon distinguishability. For Gaussian states, the Hafnian-based description of Gaussian Boson Sampling is extended to include partial distinguishability via the overlap matrix of the internal state of the photons. Finally, the link between these interference effects and quantum multiparameter estimation is examined for the simultaneous estimation of phase and loss. This study shows that while probe incompatibility can vanish for optimized non-Gaussian states and some two-mode Gaussian states, at high photon number, measurement incompatibility remains a fundamental constraint even in this limit.
Figures
Reference graph
Works this paper leans on
-
[1]
Measurement of subpicosecond time intervals between two photons by interference , author =. Phys. Rev. Lett. , volume =. 1987 , month=. doi:10.1103/PhysRevLett.59.2044 , url =
-
[2]
and Loudon, R
Fearn, H. and Loudon, R. , title =. Journal of the Optical Society of America B , volume =. 1989 , doi =
1989
-
[3]
, title =
Mandel, L. , title =. Optics Letters , volume =. 1991 , doi =
1991
-
[4]
Observation of Four-Photon Interference with a Beam Splitter by Pulsed Parametric Down-Conversion , author =. Phys. Rev. Lett. , volume =. 1999 , publisher =. doi:10.1103/PhysRevLett.83.959 , url =
-
[5]
Totally Destructive Many-Particle Interference , author =. Phys. Rev. Lett. , volume =. 2018 , publisher =. doi:10.1103/PhysRevLett.120.240404 , url =
-
[6]
Totally destructive interference for permutation-symmetric many-particle states , author =. Phys. Rev. A , volume =. 2018 , publisher =. doi:10.1103/PhysRevA.97.062116 , url =
-
[7]
New Journal of Physics , volume =
Yuan Liang Lim and Almut Beige , title =. New Journal of Physics , volume =. 2005 , publisher =. doi:10.1088/1367-2630/7/1/155 , url =
-
[8]
Zero-Transmission Law for Multiport Beam Splitters , author =. Phys. Rev. Lett. , volume =. 2010 , publisher =. doi:10.1103/PhysRevLett.104.220405 , url =
-
[9]
Tichy and Markus Tiersch and Florian Mintert and Andreas Buchleitner , title =
Malte C. Tichy and Markus Tiersch and Florian Mintert and Andreas Buchleitner , title =. New Journal of Physics , volume =. 2012 , publisher =. doi:10.1088/1367-2630/14/9/093015 , url =
-
[10]
Andrea Crespi and Roberto Osellame and Roberto Ramponi and Daniel J. Brod and Ernesto F. Galv. Suppression law of quantum states in a 3D photonic fast Fourier transform chip , journal =. 2016 , publisher =. doi:10.1038/ncomms10469 , url =
-
[11]
Suppression laws for multiparticle interference in Sylvester interferometers , author =. Phys. Rev. A , volume =. 2015 , month=. doi:10.1103/PhysRevA.91.013811 , url =
-
[12]
Experimental generalized quantum suppression law in Sylvester interferometers , journal =
Niko Viggianiello and Fulvio Flamini and Luca Innocenti and Daniele Cozzolino and Marco Bentivegna and Nicol. Experimental generalized quantum suppression law in Sylvester interferometers , journal =. 2018 , publisher =. doi:10.1088/1367-2630/aaad92 , url =
-
[13]
Quantum Science and Technology , volume =
Christoph Dittel and Robert Keil and Gregor Weihs , title =. Quantum Science and Technology , volume =. 2017 , publisher =. doi:10.1088/2058-9565/aa540c , url =
-
[14]
2002 , isbn =
Goldstein, Herbert and Poole, Charles and Safko, John , title =. 2002 , isbn =
2002
-
[15]
1999 , isbn =
Jackson, John David , title =. 1999 , isbn =
1999
-
[16]
, title =
Glauber, Roy J. , title =. Physical Review , volume =
-
[17]
1978 , publisher =
Henryk Minc , title =. 1978 , publisher =
1978
-
[18]
, title =
Ballentine, Leslie E. , title =. 1998 , address =
1998
-
[19]
2010 , edition =
Quantum Computation and Quantum Information , author =. 2010 , edition =
2010
-
[20]
The Theory of Open Quantum Systems , author =
-
[21]
A course in modern mathematical physics: groups, Hilbert space and differential geometry , author =
-
[22]
2017 , publisher =
Alessio Serafini , title =. 2017 , publisher =
2017
-
[23]
1995 , publisher =
Optical Coherence and Quantum Optics , author =. 1995 , publisher =
1995
-
[24]
1996 , publisher =
Methods in Theoretical Quantum Optics , author =. 1996 , publisher =
1996
-
[25]
2006 , publisher =
Quantum Optics , author =. 2006 , publisher =
2006
-
[26]
1997 , series =
Measuring the quantum state of light , author =. 1997 , series =
1997
-
[27]
Discrete Probability and Algorithms , editor =
Diaconis, Persi and Gangolli, Anil , title =. Discrete Probability and Algorithms , editor =. 1995 , publisher =
1995
-
[28]
, title =
Helstrom, Carl W. , title =. Journal of Statistical Physics , volume =. 1969 , doi =
1969
-
[29]
Holevo, Alexander S. , title =. 2011 , series =. doi:10.1007/978-88-7642-378-9 , isbn =
-
[30]
Quantum-mechanical lossless beam splitter: SU(2) symmetry and photon statistics , author =. Phys. Rev. A , volume =. 1989 , month=. doi:10.1103/PhysRevA.40.1371 , url =
-
[31]
SU(2) and SU(1,1) interferometers , author =. Phys. Rev. A , volume =. 1986 , month=. doi:10.1103/PhysRevA.33.4033 , url =
-
[32]
Three-photon Hong-Ou-Mandel interference at a multiport mixer , author =. Phys. Rev. A , volume =. 2000 , month=. doi:10.1103/PhysRevA.62.013809 , url =
-
[33]
Experimental realization of any discrete unitary operator , author =. Phys. Rev. Lett. , volume =. 1994 , month=. doi:10.1103/PhysRevLett.73.58 , url =
-
[34]
Realizable higher-dimensional two-particle entanglements via multiport beam splitters , author =. Phys. Rev. A , volume =. 1997 , month=. doi:10.1103/PhysRevA.55.2564 , url =
-
[35]
Christ, Andreas and Laiho, Kaisa and Eckstein, Andreas and Cassemiro, Katiúscia N and Silberhorn, Christine , title =. 2011 , volume =. doi:10.1088/1367-2630/13/3/033027 , url =
-
[36]
Temporally multimode four-photon Hong-Ou-Mandel interference , author =. Phys. Rev. A , volume =. 2019 , month=. doi:10.1103/PhysRevA.100.053829 , url =
-
[37]
Temporal distinguishability of an N -photon state and its characterization by quantum interference , author =. Phys. Rev. A , volume =. 2006 , month=. doi:10.1103/PhysRevA.74.063808 , url =
-
[38]
Collective phases of identical particles interfering on linear multiports , author =. Phys. Rev. A , volume =. 2018 , month=. doi:10.1103/PhysRevA.98.033805 , url =
-
[39]
Multiparticle Interference of Pairwise Distinguishable Photons , author =. Phys. Rev. Lett. , volume =. 2020 , month=. doi:10.1103/PhysRevLett.125.123603 , url =
-
[40]
Distinguishability and mixedness in quantum interference , author =. Phys. Rev. A , volume =. 2023 , month=. doi:10.1103/PhysRevA.108.053701 , url =
-
[41]
Distinguishability and Many-Particle Interference , author =. Phys. Rev. Lett. , volume =. 2017 , month=. doi:10.1103/PhysRevLett.118.153603 , url =
-
[42]
Permanents in linear optical networks , author =
-
[43]
Theory of Computing , volume =
The Computational Complexity of Linear Optics , author =. Theory of Computing , volume =. 2013 , doi =
2013
-
[44]
The complexity of computing the permanent , journal =. 1979 , issn =. doi:https://doi.org/10.1016/0304-3975(79)90044-6 , url =
-
[45]
Quantum , volume =
Simulating boson sampling in lossy architectures , author =. Quantum , volume =. 2019 , doi =
2019
-
[46]
Noise in boson sampling and the threshold of efficient classical simulatability , author =. Phys. Rev. A , volume =. 2019 , month=. doi:10.1103/PhysRevA.100.012340 , url =
-
[47]
Sufficient condition for the mode mismatch of single photons for scalability of the boson-sampling computer , author =. Phys. Rev. A , volume =. 2014 , month=. doi:10.1103/PhysRevA.89.022333 , url =
-
[48]
Partial indistinguishability theory for multiphoton experiments in multiport devices , author =. Phys. Rev. A , volume =. 2015 , month=. doi:10.1103/PhysRevA.91.013844 , url =
-
[49]
Shchesnovich, V. S. , title =. International Journal of Quantum Information , volume =. 2013 , doi =
2013
-
[50]
Efficient classical algorithm for simulating boson sampling with heterogeneous partial distinguishability , author =. Phys. Rev. A , volume =. 2025 , month=. doi:10.1103/PhysRevA.111.052448 , url =
-
[51]
Quantum Science and Technology , volume =
Classically simulating near-term partially-distinguishable and lossy boson sampling , author =. Quantum Science and Technology , volume =. 2019 , publisher =. doi:10.1088/2058-9565/ab5555 , url =
-
[52]
Sampling of partially distinguishable bosons and the relation to the multidimensional permanent , author =. Phys. Rev. A , volume =. 2015 , month=. doi:10.1103/PhysRevA.91.022316 , url =
-
[53]
Distinguishability of states and von Neumann entropy , author =. Phys. Rev. A , volume =. 2000 , month=. doi:10.1103/PhysRevA.62.012301 , url =
-
[54]
Efficient Classical Algorithm for Boson Sampling with Partially Distinguishable Photons , author =. Phys. Rev. Lett. , volume =. 2018 , month=. doi:10.1103/PhysRevLett.120.220502 , url =
-
[55]
Michał Oszmaniec and Daniel J. Brod , title =. New Journal of Physics , volume =. 2018 , publisher =. doi:10.1088/1367-2630/aadfa8 , url =
-
[56]
BosonSampling with lost photons , author =. Phys. Rev. A , volume =. 2016 , month=. doi:10.1103/PhysRevA.93.012335 , url =
-
[57]
arXiv preprint arXiv:1409.3093 , year =
Gil Kalai and Guy Kindler , title =. arXiv preprint arXiv:1409.3093 , year =. 1409.3093 , archivePrefix =
-
[58]
Efficient validation of Boson Sampling from binned photon-number distributions , author =. Quantum , volume =. 2024 , doi =. 2212.09643 , archivePrefix =
Pith/arXiv arXiv 2024
-
[59]
Sufficient Conditions for Efficient Classical Simulation of Quantum Optics , author =. Phys. Rev. X , volume =. 2016 , month=. doi:10.1103/PhysRevX.6.021039 , url =
-
[60]
Fast optimization of parametrized quantum optical circuits , author =. Quantum , volume =. 2020 , doi =. 2004.11002 , archivePrefix =
Pith/arXiv arXiv 2020
-
[61]
Connection between BosonSampling with quantum and classical input states , volume =
Yosep Kim and Kang-Hee Hong and Yoon-Ho Kim and Joonsuk Huh , journal =. Connection between BosonSampling with quantum and classical input states , volume =. 2020 , url =
2020
-
[62]
Multiparticle quantum interference in Bogoliubov bosonic transformations , author =. Phys. Rev. Res. , volume =. 2021 , month=. doi:10.1103/PhysRevResearch.3.043065 , url =
-
[63]
Boson Sampling from a Gaussian State , author =. Phys. Rev. Lett. , volume =. 2014 , month=. doi:10.1103/PhysRevLett.113.100502 , url =
-
[64]
Distinguishability in quantum interference with multimode squeezed states , author =. Phys. Rev. A , volume =. 2022 , month=. doi:10.1103/PhysRevA.105.063703 , url =
-
[65]
Partial distinguishability and photon counting probabilities in linear multiport devices , author =
-
[66]
Gaussian Boson Sampling , author =. Phys. Rev. Lett. , volume =. 2017 , month=. doi:10.1103/PhysRevLett.119.170501 , url =
-
[67]
Detailed study of Gaussian boson sampling , author =. Phys. Rev. A , volume =. 2019 , month=. doi:10.1103/PhysRevA.100.032326 , url =
-
[68]
Regimes of Classical Simulability for Noisy Gaussian Boson Sampling , author =. Phys. Rev. Lett. , volume =. 2020 , month=. doi:10.1103/PhysRevLett.124.100502 , url =
-
[69]
Simulability of partially distinguishable superposition and Gaussian boson sampling , author =. Phys. Rev. A , volume =. 2020 , month=. doi:10.1103/PhysRevA.101.063840 , url =
-
[70]
Gaussian boson sampling using threshold detectors , author =. Phys. Rev. A , volume =. 2018 , month=. doi:10.1103/PhysRevA.98.062322 , url =
-
[71]
npj Quantum Information , volume =
Junheng Shi and Tim Byrnes , title =. npj Quantum Information , volume =. 2022 , doi =
2022
-
[72]
The Hafnian Master Theorem , journal =. 2022 , issn =. doi:https://doi.org/10.1016/j.laa.2022.06.021 , url =
-
[73]
Gaussian boson sampling at finite temperature , author =. Phys. Rev. A , volume =. 2024 , month=. doi:10.1103/PhysRevA.109.013707 , url =
-
[74]
arXiv preprint arXiv:2310.18113 , year =
Gaussian boson sampling validation via detector binning , author =. arXiv preprint arXiv:2310.18113 , year =. doi:10.48550/arXiv.2310.18113 , url =. 2310.18113 , archivePrefix =
-
[75]
Nature Photonics , volume =
Boson sampling for molecular vibronic spectra , author =. Nature Photonics , volume =. 2015 , doi =
2015
-
[76]
Science Advances , volume =
Molecular docking with Gaussian Boson Sampling , author =. Science Advances , volume =. 2020 , doi =
2020
-
[77]
Gaussian boson sampling for perfect matchings of arbitrary graphs , author =. Phys. Rev. A , volume =. 2018 , month=. doi:10.1103/PhysRevA.98.032310 , url =
-
[78]
Using Gaussian Boson Sampling to Find Dense Subgraphs , author =. Phys. Rev. Lett. , volume =. 2018 , month=. doi:10.1103/PhysRevLett.121.030503 , url =
-
[79]
Simulating lossy and partially distinguishable quantum optical circuits: theory, algorithms and applications to experiment validation and state preparation , author =
-
[80]
Photon-number moments and cumulants of
Cardin, Yanic and Quesada, Nicol. Photon-number moments and cumulants of. doi:10.22331/q-2024-11-13-1521 , url =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.