Pith. sign in

REVIEW 2 major objections 5 minor 43 references

Semiclassical asymptotics of multiphotonic scattering probabilities with partial indistinguishability

T0 review · 2 major / 5 minor · reviewed 2026-07-14 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Large-N multiphoton scattering concentrates on a classical map from relative phases, even with partial indistinguishability.

desk verdict Solid first general large-N asymptotics for partially indistinguishable multiphoton scattering in M-port interferometers, with clean theorems and testable voids/caustics. read the letter →

arxiv 2607.10632 v1 pith:XZFZRNDI submitted 2026-07-12 quant-ph math-phmath.MP

Alonso Botero , Hubert de Guise , Orlando Melo-Vargas This is my paper · ORCID
classification quant-phmath-phmath.MP PACS 42.50.Ar03.65.Sq42.50.St
keywords multiphotoninterferencepartialindistinguishabilitysemiclassicalasymptoticsclassicalmapphotonbunchingbosonsamplingtoroidalexpansioncausticsandvoids
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper gives a single framework for the large-photon-number asymptotics of scattering probabilities through a lossless multiport interferometer when the photons may be only partially indistinguishable. The authors expand the input state as a continuous superposition of identical single-particle “virtual” states whose relative phases live on a torus. Scattering those virtual states produces a classical map from the torus into the simplex of output intensity fractions. In the large-N limit the multiphotonic probabilities concentrate on the image of that map (the classically allowed region) and their slowly varying envelope becomes the classical measure pushed forward by the map. When the distinguishability matrix is full rank the rapid interference fringes die, so the distribution is simply the classical measure; when the photons are fully indistinguishable the same construction recovers the known semiclassical amplitude formula from a transparent single-particle picture. The geometry of the map further predicts observable bunching patterns—voids of exponentially suppressed probability and caustic ridges of enhanced probability—that are already visible at moderate photon numbers.

What carries the argument

The toroidal tensor-power expansion of a correlated-mode state: the state is written as an integral over SU(M^{2}) coherent states of phase-twisted virtual states on the torus T of relative phases. The resulting integral representation of the multiphotonic scattering probability isolates the classical map and makes the large-N Laplace analysis possible.

What would settle it

Measure the output occupation distribution for a three-port interferometer at N around 24–48 with a full-rank Gram matrix; if the probability does not concentrate on the predicted classical region, or if interference fringes remain visible after coarse-graining, the asymptotic claims fail.

Watch

Extended reading notes

Core claim

For correlated-mode multiphotonic inputs the scattering probability is governed by a classical map from a torus of relative phases to the output intensity simplex: the probability is exponentially small outside the image of the map, its slowly varying density converges to the classical push-forward measure, and for full-rank distinguishability the interference term vanishes so that the whole distribution asymptotes to that measure.

Load-bearing premise

The input must be a correlated-mode state in which every photon that enters a given port shares exactly the same internal state, so the whole problem is fixed by the occupation numbers and a single Gram matrix of internal overlaps.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper develops a toroidal tensor-power expansion of correlated-mode multiphotonic input states in an M-port lossless interferometer, parametrized by occupations n and the Gram matrix Γ of internal overlaps. From the resulting integral representation of the multiphotonic scattering probability (Propositions 1–2), it defines a classical map eν from the (M−1)-torus of relative phases to the output intensity simplex. Three asymptotic theorems follow: the probability concentrates exponentially on the image R of this map (Theorem 3); the slowly-varying density converges to the classical pushforward measure f_clas at regular points of R (Theorem 4); and for full-rank ρ_{n,Γ} and generic U the off-diagonal interference term is suppressed, so lim N^{M−1} P = f_clas (Theorem 5). The same construction recovers a WKB-type formula for fully indistinguishable transition amplitudes (Sec. 4.6) and translates map features (voids, caustics) into predictions for photon-bunching patterns (Sec. 5).

Significance. If the derivations hold, this is the first systematic large-N asymptotic theory for multiport multiphoton scattering with partial indistinguishability, extending prior results limited to M=2 or perfect indistinguishability. The classical-map picture supplies directly testable, geometry-based predictions (voids and caustics) already visible at moderate N in the figures, and the single-particle virtual-state interpretation of known fully-indistinguishable WKB formulas is a genuine conceptual contribution. The core arguments are explicit and checkable: Sanov control of multinomials when virtual weights equal n, Cauchy–Schwarz bounds on the integrand, Laplace analysis of the Hessian with the Jacobian identity (51), and the full-rank argument ruling out Re Λ=0 off-diagonal. Scope is stated clearly (correlated mode states). These are strengths that support publication in a serious quant-ph venue.

major comments (2)
  1. [Sec. 4.4 / Theorem 4 and Sec. 5] Theorem 4 and the surrounding analysis in Sec. 4.3–4.4 are restricted to regular points of R (det ∂eν/∂φ ≠ 0). Section 5 and the abstract nevertheless present caustics—where the Jacobian vanishes and f_clas diverges—as producing ridges of enhanced probability in the MSP. The classical measure divergence is suggestive and the figures support qualitative enhancement, but the actual large-N scaling of the quantum density near creases is not controlled by the regular-point Laplace analysis (Airy-type or higher asymptotics would be needed). The quantitative link between f_clas singularities and the MSP should be caveated more carefully in Sec. 5, or the claim limited to the qualitative statement already supported by the figures and the classical-measure picture.
  2. [Sec. 4.2 / Theorem 3, Eq. (38)] Theorem 3 gives the upper bound P ≤ (N+1)^M exp(−N D(n′∥R)). This is sufficient for concentration on R, but D(n′∥R) need not be the sharp large-deviation rate of the toroidal integral. The Discussion already flags sharpening the forbidden-region rate as future work; for the present manuscript it would help the reader if Sec. 4.2 stated explicitly that (38) is an upper bound only and that the true rate may be strictly larger, so that the void predictions remain qualitative until a matching lower bound is available.
minor comments (5)
  1. [Abstract] The abstract’s phrase “arbitrary photon numbers and degrees of indistinguishability” and “general scenario of partially indistinguishable photons” can be read more broadly than the correlated-mode family of Sec. 2.3. A short clarifying clause in the abstract (e.g., “for correlated-mode inputs characterized by n and Γ”) would align the claim with the theorems as proved.
  2. [Sec. 2.3, Eq. (5)] In Eq. (5) the index placement Γ_ij = ⟨χ_j|χ_i⟩ is flagged in the text; it would help to keep a consistent convention in later formulas (e.g., ρ_n,Γ = [n]^{1/2} Γ [n]^{1/2}) and to note once that the opposite convention is sometimes used in the partial-distinguishability literature.
  3. [Figs. 5 and 6] Figures 5 and 6 are central to the void/caustic claims. The bottom panels comparing the MSP to sampled classical-map points are effective; a brief note in the captions on how the heat-map scale is chosen (linear vs log) and on the meaning of the spectral permutahedron outline would improve readability for non-specialists.
  4. [Sec. 4.5] The intermediate rank-deficient but non-rank-1 case is correctly left open (Sec. 4.5, Discussion). A single sentence in Sec. 4.5 stating that Theorems 3–4 still apply while the survival of δP is unresolved would prevent readers from over-interpreting Theorem 5 as covering all partial-indistinguishability regimes.
  5. [Throughout / front matter] Minor typographical points: “and and” in the caption discussion of Fig. 5 (around N=24); occasional missing spaces before citations; and the arXiv date line “12 Jul 2026” looks like a placeholder and should be corrected if this is the submission version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: classical map and measure are defined independently of the quantum MSP, then matched by Laplace analysis of the toroidal integral.

full rationale

The derivation chain is self-contained and non-circular. Correlated-mode states are expanded via the Fourier representation of the occupation projector (Prop. 1, Eq. 21–22), yielding an exact double-integral form for the MSP (Prop. 2, Eq. 30). The classical map (Eq. 36) and its pushforward measure f_clas (Eq. 37) are defined from single-particle virtual-state scattering, independently of any quantum probability. Theorems 3–5 then follow by Sanov bounds on multinomials (when virtual weights equal n) plus stationary-phase/Laplace analysis of the integral: the exponential support bound (38) is a direct Cauchy–Schwarz + relative-entropy estimate; the slow density converges to f_clas because the Hessian of the phase equals the squared Jacobian of the map (App. B, Eq. 51); full-rank ρ forces Re Λ > 0 off-diagonal, killing interference. The fully-indistinguishable reduction recovers a known WKB amplitude by the same stationary-point analysis, with an explicit single-particle phase interpretation, rather than assuming the prior formula. The sole self-citation ([27], M=2 confirmation) is non-load-bearing. Scope is openly restricted to correlated modes; no fitted parameters, no uniqueness theorems imported from the authors, and no renaming of empirical patterns. The central claims are genuine asymptotic consequences of the expansion, not tautologies.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

The central claims rest on standard large-deviation and stationary-phase tools plus domain modeling choices (lossless linear optics, correlated-mode inputs, detectors blind to internal modes). No free parameters are fitted to data. Virtual states and the classical map are mathematical constructions, not new physical entities requiring independent evidence. Load-bearing domain assumptions are the correlated-mode family and the large-N fixed-M regime.

assumptions (6)
  • standard math Sanov-type multinomial bounds: (N+1)^{-M} e^{-N D(n∥p)} ≤ M(n|p) ≤ e^{-N D(n∥p)} (Eq. 18).
    Used to control polynomial vs exponential scaling when ν=n and to bound the MSP outside R (Theorem 3).
  • standard math Complex Laplace / Gaussian approximation of integrals with nondegenerate Hessians at stationary points for large N.
    Underpins the asymptotic evaluation of diagonal contributions I_{α,α} and the indistinguishable amplitude integral (Secs. 4.4, 4.6; Apps. B–C).
  • standard math Schur–Horn theorem: diagonals of unitarily equivalent matrices lie in the spectral permutohedron of eigenvalues of ρ_{n,Γ}.
    Used in Sec. 5 to bound R ⊆ Π(λ) independently of U.
  • domain assumption Interferometer is lossless linear multiport (U unitary); detectors resolve only port occupations, not internal modes.
    Standard passive linear optics setup (Sec. 2.1); defines the MSP and the form of the classical map.
  • domain assumption Inputs are correlated mode states |n,Γ⟩: photons in each port share one internal state, characterized by occupations and Gram matrix Γ.
    Restricts the family of partial-indistinguishability states treated (Sec. 2.3); load-bearing for the toroidal expansion.
  • domain assumption Asymptotic regime N→∞ with M fixed and normalized occupations n, n′ held fixed (or converging).
    Defines the large-photon limit throughout; M fixed is essential for the torus dimension and simplex geometry.
invented entities (1)
  • Virtual states |ν,Γ⟩ and the classical map eν:T→Δ
    purpose: Provide a single-particle toroidal expansion and a geometric object whose image and pushforward measure control large-N MSPs.
    Mathematical constructions derived from the state expansion, not postulated new particles or forces. independent_evidence is false in the physical-entity sense; falsifiable predictions (voids, caustics) follow from the map.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Semiclassical asymptotics of multiphotonic scattering probabilities with partial indistinguishability." pith.science (2026). https://pith.science/paper/XZFZRNDI

@misc{pith2026260710632,
  author       = {Pith},
  title        = {Pith review of: Semiclassical asymptotics of multiphotonic scattering probabilities with partial indistinguishability},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XZFZRNDI}},
  note         = {Machine review of arXiv:2607.10632}
}
read the original abstract

We propose a framework for computing multiphotonic scattering probabilities in a lossless multiport interferometer for arbitrary photon numbers and degrees of indistinguishability. By exploiting a toroidal expansion of multiphotonic states in tensor powers of single-particle states, the framework defines a map from a torus of relative phases to the probability simplex that governs the asymptotic behavior of scattering probabilities in the large-photon limit. Specifically, the probabilities concentrate on the "classically allowed region" defined by the map, and the slowly-varying part of the multiphotonic distribution reproduces a classical measure induced by the map. As a result, we are able to establish a new asymptotic formula for the multiphotonic probabilities in a general scenario of partially indistinguishable photons, while also providing a single-particle picture to explain the asymptotics of known multiphotonic transition amplitudes in the fully indistinguishable case. More broadly, our framework yields new, directly testable consequences in relation to asymptotic photon bunching patterns: it translates features of the classical map -- such as caustics and voids -- into direct predictions about regions of large or exponentially suppressed photon-distribution probability.

Figures

Figures reproduced from arXiv: 2607.10632 by the authors.

Figure 1
Figure 1. Schematic of our setup for multiport, multiphoton interferometry, illustrated with [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Left: Occupation simplex for a three-port setting with [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Graphical illustration of the scattering of virtual states for the case [PITH_FULL_IMAGE:figures/full_fig_p013_3.png] view at source ↗
Figures from the paper (3 more)
Figure 4
Figure 4. Figure 4: The classical map (36) for a three-port tritter with [PITH_FULL_IMAGE:figures/full_fig_p017_4.png]
Figure 5
Figure 5. Figure 5: The MSP P(n ′ |U, n,Γ) on the normalized occupation simplex for N = 24 partially distinguishable photons scattered by a tritter, for the same distinguishability matrix of (36) and twelve different initial occupations n (box labels and red dots). In each box, the MSP is…
Figure 6
Figure 6. Figure 6: As in Fig. 5 but for [PITH_FULL_IMAGE:figures/full_fig_p022_6.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 2 linked inside Pith

  1. [1]

    Hong C K, Ou Z Y and Mandel L 1987Physical Review Letters592044–2046

  2. [2]

    Mandel L 1999Reviews of Modern Physics71S274–S282

  3. [3]

    Tichy M C 2014Journal of Physics B: Atomic, Molecular and Optical Physics47103001

  4. [4]

    Carolan Jet al.2015Science349711–716

  5. [5]

    Kok P and Lovett B W 2010Introduction to Optical Quantum Information Processing1st ed (Cambridge University Press)

  6. [6]

    Hamerly R, Bandyopadhyay S and Englund D 2022Physical Review Applied18024018

  7. [7]

    Shen Yet al.2017Nature Photonics11441–446

  8. [8]

    Caianiello E R 1953Il Nuovo Cimento101634–1652

Show all 43 references
  1. [9]

    Engl Tet al.2015Annalen der Physik527737–747

  2. [10]

    Series A, Containing Papers of a Mathematical or Physical Character23399–141

    Littlewood D E and Richardson A R 1934Philosophical Transactions of the Royal Society of London. Series A, Containing Papers of a Mathematical or Physical Character23399–141

  3. [11]

    Spivak Det al.2022Physical Review Research4023013

  4. [12]

    Valiant L G 1979Theoretical Computer Science8189–201

  5. [13]

    Aaronson S and Arkhipov A 2010 The Computational Complexity of Linear Optics (Preprint 1011.3245)

    2010 arXiv

  6. [14]

    Yurke B, McCall S L and Klauder J R 1986Physical Review A334033–4054

  7. [15]

    Campos R A, Saleh B E A and Teich M C 1989Physical Review A401371–1384

  8. [16]

    Brussaard P and Tolhoek H 1957Physica23955–971

  9. [17]

    Rowe D J, de Guise H and Sanders B C 2001Journal of Mathematical Physics422315–2342

  10. [18]

    Sharp(CRM Proceedings and Lecture Notesvol 34) (American Mathematical Society) pp 31–41

    de Guise H, Rowe D J and Sanders B C 2004 Asymptotic SU(2) and SU(3) Wigner Functions from the Weight DiagramSymmetry in Physics: In Memory of Robert T. Sharp(CRM Proceedings and Lecture Notesvol 34) (American Mathematical Society) pp 31–41

    2004

  11. [19]

    Braun P Aet al.1996Zeitschrift f¨ ur Physik B Condensed Matter100115–127

  12. [20]

    Shchesnovich V S 2013International Journal of Quantum Information111350045

  13. [21]

    Hoven S N v det al.2025 Multiphoton interference outperforms pairwise overlaps for distinguishability characterization (Preprint2512.04903)

    2025

  14. [22]

    Correa Anguita Met al.2025Quantum Science and Technology10035062

  15. [23]

    Geller S and Knill E 2026Physical Review A113042606

  16. [24]

    Shchesnovich V S 2015Physical Review A91013844

  17. [25]

    Tichy M C 2015Physical Review A91022316

  18. [26]

    Dufour G and Buchleitner A 2024 Fourier analysis of many-body transition amplitudes and states (Preprint2409.15079)

    2024

  19. [27]

    Villalobos M E, Valencia A and Botero A 2023 The quantum beam splitter with many partially indistinguishable photons: multiphotonic interference and asymptotic classical correspondence (Preprint2312.16774)

    2023 arXiv

  20. [28]

    Chin S and Huh J 2018Scientific Reports86101

  21. [29]

    Comon Pet al.2008SIAM Journal on Matrix Analysis and Applications301254–1279

  22. [30]

    Perelomov A M 1972Communications in Mathematical Physics26222–236 Semiclassical asymptotics of multiphotonic scattering probabilities35

  23. [31]

    Zhang W M, Feng D H and Gilmore R 1990Reviews of Modern Physics62867–927

  24. [32]

    Carlini E, Catalisano M V and Geramita A V 2012Journal of Algebra3705–14

  25. [33]

    Buczy´ nska W, Buczy´ nski J and Teitler Z 2013Journal of Algebra37845–57

  26. [34]

    Cover T M and Thomas J A 2005Elements of Information Theory1st ed (Wiley)

  27. [35]

    Csisz´ ar I 2006Bulletin of the Brazilian Mathematical Society, New Series37453–459

  28. [36]

    Dittel Cet al.2018Physical Review Letters120240404

  29. [37]

    Dittel Cet al.2018Physical Review A97062116

  30. [38]

    Tichy M Cet al.2010Physical Review Letters104220405

  31. [39]

    Lim Y L and Beige A 2005New Journal of Physics7155–155

  32. [40]

    Berry M and Upstill C 1980 IV Catastrophe Optics: Morphologies of Caustics and Their Diffraction PatternsProgress in Opticsvol 18 (Elsevier) pp 257–346

    1980

  33. [41]

    Schur I 1923Sitzungsberichte der Berliner Mathematischen Gesellschaft229–29

  34. [42]

    Horn A 1954American Journal of Mathematics76620

  35. [43]

    Postnikov A 2009International Mathematics Research Notices20091026–1106

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.