Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

The paper argues that boson bunching is governed by the total indistinguishability of the postselected output state, not by internal photon indistinguishability alone, and that adding distinguishability can therefore increase bunching proba

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 →

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

T0 review · deepseek-v4-flash

2026-08-01 12:34 UTC pith:XESDOULO

load-bearing objection Useful reframing and a concrete new single-mode effect, but the central proposition is a normalization identity and the spatial facet in Sec. IV D is under-constructed. the 3 major comments →

arxiv 2607.19499 v1 pith:XESDOULO submitted 2026-07-21 quant-ph

A unified framework for anomalous boson bunching

L\'eo Pioge , Leonardo Novo , Nicolas J. Cerf This is my paper
classification quant-ph
keywords anomalous boson bunchingtotal indistinguishabilitymultimode bunchingsingle-mode bunchingBapat-Sunder conjecturematrix permanentpartial distinguishabilitypostselection
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper sets out to resolve an apparent paradox: partially distinguishable photons can bunch more strongly than fully indistinguishable ones, seemingly breaking the rule that bunching tracks indistinguishability. It introduces total indistinguishability, which combines the internal overlaps of the input photons with the spatial overlaps induced by the interferometer and by postselecting the measured output modes. With this quantity, the authors recover a provable statement: multimode bunching is maximized exactly when total indistinguishability is maximal. Because maximal total indistinguishability can require nonzero internal distinguishability, anomalous bunching becomes compatible with the intuitive picture instead of contradicting it. The same framework predicts three new families of anomalous bunching, including enhanced single-mode bunching when an independent internal degree of freedom is added.

Core claim

On the paper's own terms, the central claim is Proposition 1: for any linear interferometer, any separable input state of n bosons, and any postselected set of output modes, the probability that all photons bunch into that set is globally maximized when the total indistinguishability of the postselected output state is maximal. Total indistinguishability is quantified by the permanent of the Hadamard product S_kappa ⊙ S_int, where S_kappa is the normalized Gram matrix of the postselected spatial wave functions and S_int is the internal distinguishability matrix. This restores the monotonic link between bunching and indistinguishability while naturally accommodating anomalous bunching: the op

What carries the argument

The engine is the total distinguishability matrix S_tot = S_kappa ⊙ S_int, a Hadamard product of the normalized spatial-overlap Gram matrix S_kappa and the internal-state Gram matrix S_int. The multimode bunching probability factorizes as P_kappa = P_cl perm(S_tot), where P_cl is the classical bunching probability, and the normalized permanent perm(S_tot)/n! measures the permutationally symmetric weight of the postselected single-photon states. The mechanism behind the anomaly is that taking a Hadamard product does not merely shrink the moduli of matrix entries: it changes their phases, so a matrix with smaller pairwise entries can have a larger permanent. Violations of the Bapat–Sunder ineq

Load-bearing premise

The argument assumes that the Gram matrices violating the permanent inequality can be physically realized independently: polarization phases and time-bin phases can be set independently, and arbitrary spatial-overlap matrices can be implemented by additional interferometers; if those independent realizations fail, the predicted anomalous enhancements disappear even though the algebra is correct.

What would settle it

Measure the summed single-mode bunching probability for the seven-photon construction in Appendix C with polarization distinguishability only versus with polarization plus the specified time-bin pattern, using the seven-mode Fourier interferometer; the paper predicts the second exceeds the first by a ratio of about 1.07. If the second is not larger, the central physical claim is falsified.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • For any fixed interferometer and output subset, the bunching probability is maximized by maximizing total indistinguishability, so the intuitive monotonicity between bunching and indistinguishability is restored at the level of postselected states.
  • Because the optimal internal state need not be fully indistinguishable, observing maximal multimode bunching can no longer be used as a direct signature of fully indistinguishable bosons in validation experiments.
  • Adding an independent source of internal distinguishability, such as time delays superimposed on a fixed polarization pattern, can increase even single-mode bunching; the paper gives an explicit seven-photon construction valid for any interferometer and optimized with a Fourier interferometer.
  • For a given partially distinguishable input, some multimode output patterns can have a larger quantum enhancement than single-mode bunching, with the explicit example reaching roughly 20% above the single-mode value.
  • Purely spatial distinguishability can induce anomalous bunching: sending photons in spatial superpositions over several copies of an interferometer can raise the multimode bunching probability relative to sending all photons through one copy.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • A practical consequence not stated in the paper is that boson-sampling validation protocols based on multimode bunching probabilities should measure or account for the postselected spatial overlap matrix S_kappa, otherwise a high bunching readout could be misattributed to high internal indistinguishability.
  • The phase-alteration mechanism suggests that anomalous bunching could be engineered at lower photon numbers by designing interferometers whose S_kappa has carefully chosen phases, instead of relying only on the known seven-photon counterexample.
  • Because the same permanent inequality has a proven fermionic counterpart, no analogous anomalous antibunching is expected; a testable comparison would be to run the same interferometric pattern with bosons and with fermions.
  • The framework is restricted to pure separable input states; extending it to mixed internal states or to partially thermal inputs would be a natural next step, and any failure there would reveal where total indistinguishability stops being the controlling quantity.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper proposes a unified framework for anomalous boson bunching. The central formula is Eq. (18), Pκ = P_cl^κ perm(S_tot), where S_tot = S_κ ⊙ S_int combines the normalized spatial-overlap matrix S_κ of postselected output states with the internal distinguishability matrix S_int. The authors define total indistinguishability as perm(S_tot)/n! and state Proposition 1, claiming that multimode bunching is maximal exactly when total indistinguishability is maximal. They then use violations of the Bapat–Sunder conjecture to exhibit four facets of anomalous bunching: the original effect, single-mode bunching enhanced by an additional independent internal degree of freedom, multimode bunching with quantum enhancement exceeding that of single-mode bunching, and purely spatial anomalous bunching in nested interferometers. Appendix C gives an explicit seven-photon polarization/time-bin construction for the second facet, and Appendix D analyses output patterns for the third facet. Section IV D, however, leaves the spatial construction largely implicit.

Significance. If fully substantiated, the framework would be a useful conceptual reorganization: it explains anomalous bunching by moving the definition of indistinguishability to the postselected total state, and it identifies new classes of anomalous events. The algebraic derivation of Eq. (18) is a correct rescaling, and Appendix C is a strength: it provides a concrete, checkable state preparation with a numerical ratio perm(S_pol⊙S_t)/perm(S_pol) ≈ 1.07. The paper is nevertheless not yet at the level of its claims. Proposition 1 is a definitional identity rather than a physical theorem, and the purely spatial facet of Sec. IV D lacks the explicit interferometric construction needed to verify it. Because that facet is one of the paper's three claimed new findings, the significance is currently conditional.

major comments (3)
  1. [Sec. III, Eq. (18), Prop. 1] Proposition 1 is true by definition, not by physical argument. For fixed U and κ, Pκ = P_cl^κ perm(S_tot), and total indistinguishability is defined as perm(S_tot)/n!. Thus 'maximal bunching iff maximal total indistinguishability' is an algebraic identity. The paper should explicitly label this as a reformulation or reorganizing principle, not as a theorem. The actual physical content lies in the construction of S_tot and in the later facets; overstating Prop. 1 as a result obscures that distinction.
  2. [Sec. IV D, Eq. (25)] The purely spatial facet is load-bearing but is not actually constructed. The paper does not specify the number d of interferometer copies, the explicit unitaries V^(i), or the concrete U and κ such that perm(S_κ ⊙ S_v) > perm(S_κ). Figure 5 shows d=2, but the Drury-type 7×7 Gram matrices are not generally Gram matrices of two-dimensional vectors; S_v is a Gram matrix of d-dimensional copy states, so the required d must match the rank of the counterexample. Without an explicit V^(i) construction or a numerical demonstration, the central inequality of this facet is unverified. This is not a cosmetic gap: it is one of the three new anomalous-bunching classes claimed in the paper.
  3. [Sec. IV D, paragraph after Eq. (26)] The statement that probabilistically sending photons to different interferometer copies 'would indeed always be smaller' than Pκ = P_cl^κ perm(S_κ) is asserted with 'it can be seen' but no proof is given. For a probabilistic mixture over copy assignments, the bunching probability is a weighted average of products of single-copy bunching probabilities; whether this is always bounded by the all-in-one-copy indistinguishable value is not obvious. Either supply a proof or remove the claim; as written, it is an unproved contrast to the alleged superposed-copy enhancement.
minor comments (4)
  1. [Sec. IV B / Appendix C] The notation ω is used for both a fifth root and (as ω_7) a seventh root. This is consistent but easy to confuse; consider using distinct symbols in the main text and Appendix C.
  2. [Eq. (15)] The convention Sκ_{ij}=0 when either postselected spatial state has zero norm is stated, but the behavior of Eq. (16) when some H_ii=0 is not discussed further. The formula is still well defined, but a brief comment would help.
  3. [Appendix D / Fig. 6] The figure plots quantum enhancement factors but does not include axis labels or a data table; the numerical values 54.06 and 45 are stated in the text, but the reproducibility of the plot would be improved by providing the underlying permanent values or the output-pattern probability expressions.
  4. [Sec. IV B] The phrase 'for any linear interferometer' should be qualified as 'for any interferometer and output mode for which the classical single-mode probability P_cl^k is nonzero.' For modes decoupled from all inputs, the statement is vacuous.

Circularity Check

1 steps flagged

Central Proposition 1 is a definitional identity: P_κ is a fixed multiple of perm(S_tot), so 'maximal bunching iff maximal total indistinguishability' is true by construction. The facet constructions rest on Drury's external counterexample and are not circular.

specific steps
  1. self definitional [Section III, Eq. (18) and Proposition 1]
    "Pκ =P cl κ perm (Stot). ... The normalized quantity perm (S tot)/n! is then equal to the weight of the permutationally symmetric component ... Accordingly, it serves as a measure of total indistinguishability withinκ. ... Proposition 1 ... the probability that all photons bunch intoκattains its global maximum when the total indistinguishability of the photons withinκis maximal."

    For fixed U and κ, P_cl^κ is a constant. Total indistinguishability is defined as perm(Stot)/n!, i.e., up to the fixed factor n!, as perm(Stot). Equation (18) therefore makes Pκ a fixed multiple of the total indistinguishability. The assertion that maximizing Pκ is equivalent to maximizing total indistinguishability is exactly the definition of the measure, not an independent physical or mathematical consequence. The proposition renames the factor perm(Stot) in a standard permanent identity rather than deriving a new relation.

full rationale

The paper's headline explanatory claim, Proposition 1, is circular in the self-definitional sense: total indistinguishability is defined as perm(Stot)/n!, and Eq. (18) states Pκ = P_cl^κ perm(Stot), so for fixed U and κ the bunching probability is proportional to the newly defined measure. Thus 'maximal bunching iff maximal total indistinguishability' is true by construction, carrying no independent content. This warrants a score of 6 because it is the central organizing claim, even though the algebra leading to Eq. (18) is standard and correct. The additional facets, by contrast, are not circular: they rely on Drury's explicit 7×7 counterexample to the Bapat–Sunder conjecture, an external mathematical result, and Appendix C provides explicit polarization and time-bin state preparations. The self-citations to the authors' prior works [20,22,27] are used as background and for a concrete configuration whose underlying counterexample is Drury's, so they are not load-bearing in a circular way. Section IV D's purely spatial construction is asserted without an explicit realization of the V^(i) interferometers; that is a completeness or correctness gap, not a circularity. Overall, the substantive new constructions have independent mathematical support, but the central explanatory proposition reduces to its own definition.

Axiom & Free-Parameter Ledger

2 free parameters · 4 axioms · 1 invented entities

The paper's examples are hand-built on Drury's theorem and the standard permanent formula; no data fitting appears. The main free choices are the phases in the seven-photon states; the key unproven domain assumption is the realizability of arbitrary Gram matrices by spatial superpositions.

free parameters (2)
  • Polarization phase factors ω^i = ω = e^{2πi/5}, exponents i=1..5
    Hand-picked to reproduce the Drury 7×7 counterexample in Gram-matrix form (Eq. C1).
  • Time-bin coefficients (1/√2)ω^{-i} = ω^{-i}/√2 for i=1..5
    Chosen so that the time-bin Gram matrix equals the transpose of the polarization Gram matrix (Eq. C2).
axioms (4)
  • standard math Pκ = perm(H⊙S_int) for pure separable input states (Eq. 4, Appendix A)
    Established formula derived in Appendix A; relied on throughout the paper.
  • domain assumption Independent internal degrees of freedom factorize, so S_int is the Hadamard product of per-DOF Gram matrices (Eqs. 6-7)
    Physical assumption that polarization and time-bin are independent and tensor-product.
  • standard math Drury's counterexample to the Bapat–Sunder conjecture is correct
    Accepted published theorem; the paper uses it to design all anomalous examples.
  • domain assumption Any desired Gram matrix S_v can be realized by a suitable layer of additional interferometers V^(i) (Section IV D)
    Needed for the purely spatial facet; not proven or constructed explicitly in the paper.
invented entities (1)
  • Total indistinguishability perm(S_tot)/n! no independent evidence
    purpose: Conceptual quantity that restores the link between bunching and indistinguishability by combining spatial overlaps within κ with internal overlaps.
    A definition introduced by the paper, not an independently measurable quantity; it is chosen so that Prop. 1 becomes an identity.

pith-pipeline@v1.3.0-alltime-deepseek · 17039 in / 20039 out tokens · 199396 ms · 2026-08-01T12:34:17.211288+00:00 · methodology

0 comments
read the original abstract

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.

Figures

Figures reproduced from arXiv: 2607.19499 by Leonardo Novo, L\'eo Pioge, Nicolas J. Cerf.

Figure 1
Figure 1. Figure 1: FIG. 1. Schematic representation of an interferometric con [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2. Illustration of the anomalous bunching phenomenon through a comparison of two scenarios. [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3. Interferometric configurations illustrating the facet of anomalous bunching discussed in Sec. IV B through the [PITH_FULL_IMAGE:figures/full_fig_p007_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: FIG. 4. Comparison of two interferometric configurations illustrating the facet of anomalous bunching discussed in Sec. IV C. In [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: FIG. 5. Comparison of two interferometric configurations illustrating the facet of anomalous bunching discussed in Sec. IV D. [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: FIG. 6. The blue dots represent the quantum enhancement factor associated with each output pattern in which all photons are [PITH_FULL_IMAGE:figures/full_fig_p014_6.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Loss-induced anomalous generalized bunching in multiphoton interference

    quant-ph 2026-07 accept novelty 7.0

    Survival-conditioned loss makes three-photon generalized bunching anomalously maximized at partial distinguishability, a phenomenon forbidden for unconditioned bunching at N=3.

Reference graph

Works this paper leans on

29 extracted references · 3 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Hong, Z.-Y

    C.-K. Hong, Z.-Y. Ou, and L. Mandel. Measurement of subpicosecond time intervals between two photons by interference.Physical Review Letters, 59(18):2044–2045, 1987

    2044

  2. [2]

    Pelucchi, G

    E. Pelucchi, G. Fagas, I. Aharonovich, D. Englund, E. Figueroa, Q. Gong, H. Hannes, J. Liu, C.-Y. Lu, N. Matsuda, et al. The potential and global outlook of integrated photonics for quantum technologies.Nature Reviews Physics, 4(3):194–208, 2022

    2022

  3. [3]

    Englbrecht, T

    M. Englbrecht, T. Kraft, C. Dittel, A. Buchleitner, G. Giedke, and B. Kraus. Indistinguishability of identical bosons from a quantum information theory perspective. Physical Review Letters, 132:050201, 2024

    2024

  4. [4]

    J. J. Renema, V. S. Shchesnovich, and R. Garc ´ ıa- Patr´ on. Classical simulability of noisy boson sampling. arXiv:1809.01953, 2019

    Pith/arXiv arXiv 2019

  5. [5]

    A. E. Jones, A. J. Menssen, H. M. Chrzanowski, T. A. W. Wolterink, V. S. Shchesnovich, and I. A. Walmsley. Mul- tiparticle interference of pairwise distinguishable pho- tons.Physical Review Letters, 125(12):123603, 2020

    2020

  6. [6]

    A. J. Menssen, A. E. Jones, B. J. Metcalf, M. C. Tichy, S. Barz, W. S. Kolthammer, and I. A. Walmsley. Dis- tinguishability and many-particle interference.Physical Review Letters, 118:153603, 2017

    2017

  7. [7]

    V. S. Shchesnovich. Partial indistinguishability theory for multiphoton experiments in multiport devices.Physical Review A, 91(1):013844, 2015

    2015

  8. [8]

    V. S. Shchesnovich. Tight bound on the trace distance between a realistic device with partially indistinguishable bosons and the ideal bosonsampling.Physical Review A, 91(6):063842, 2015

    2015

  9. [9]

    M. C. Tichy. Sampling of partially distinguishable bosons and the relation to the multidimensional permanent. Physical Review A, 91(2):022316, 2015

    2015

  10. [10]

    Rodari, C

    G. Rodari, C. Fernandes, E. Caruccio, A. Suprano, F. Hoch, T. Giordani, G. Carvacho, R. Albiero, N. Di Gi- ano, G. Corrielli, F. Ceccarelli, R. Osellame, D. J. Brod, L. Novo, N. Spagnolo, E. F. Galv˜ ao, and F. Sciarrino. Experimental observation of counter-intuitive features of photonic bunching.Light: Science & Applications, 15(1):292, 2026

    2026

  11. [11]

    Spagnolo, C

    N. Spagnolo, C. Vitelli, L. Sansoni, E. Maiorino, P. Mat- aloni, F. Sciarrino, D. J. Brod, E. F. Galv˜ ao, A. Crespi, R. Ramponi, and R. Osellame. General rules for bosonic bunching in multimode interferometers.Physical Review Letters, 111:130503, 2013

    2013

  12. [12]

    X. Niu, Y. Gong, B. Liu, Y. Huang, G. Guo, and Z. Y. Ou. Observation of a generalized bunching effect of six photons.Optics Letters, 34(9):1297–1299, 2009

    2009

  13. [13]

    Geller and E

    S. Geller and E. Knill. Measuring multiparticle indistin- guishability with the generalized bunching probability. Physical Review A, 113:042606, 2026

    2026

  14. [14]

    V. S. Shchesnovich. Universality of generalized bunch- ing and efficient assessment of boson sampling.Physical Review Letters, 116:123601, 2016

    2016

  15. [15]

    Aaronson and A

    S. Aaronson and A. Arkhipov. The computational com- plexity of linear optics. InProceedings of the forty-third annual ACM symposium on Theory of computing, pages 333–342, 2011. 11

    2011

  16. [16]

    M. C. Anguita, A. Camillini, S. Marzban, M. Robbio, B. Seron, L. Novo, and J. J. Renema. Experimental val- idation of boson sampling using detector binning.Quan- tum Science and Technology, 10(3):035062, 2025

    2025

  17. [17]

    Seron, L

    B. Seron, L. Novo, A. Arkhipov, and N. J. Cerf. Effi- cient validation of Boson Sampling from binned photon- number distributions.Quantum, 8:1479, 2024

    2024

  18. [18]

    Bressanini, B

    G. Bressanini, B. Seron, L. Novo, N. J. Cerf, and M. S. Kim. Binned-detector probability distributions for gaus- sian boson sampling validation.Physical Review A, 112:012610, 2025

    2025

  19. [19]

    A. W. Young, S. Geller, W. J. Eckner, N. Schine, S. Glancy, E. Knill, and A. M. Kaufman. An atomic boson sampler.Nature, 629(8011):311–316, 2024

    2024

  20. [20]

    Pioge, L

    L. Pioge, L. Novo, and N. J. Cerf. Limits of multi- mode bunching for boson sampling validation: anoma- lous bunching induced by time delays.arXiv:2601.13792, 2026

    arXiv 2026

  21. [21]

    V. S. Shchesnovich. The permanent-on-top conjecture is false.Linear Algebra and its Applications, 490:196–201, 2016

    2016

  22. [22]

    Seron, L

    B. Seron, L. Novo, and N. J. Cerf. Boson bunching is not maximized by indistinguishable particles.Nature Pho- tonics, 17(8):702–709, 2023

    2023

  23. [23]

    R. B. Bapat and V. S. Sunder. On majorization and schur products.Linear Algebra and its Applications, 72:107– 117, 1985

    1985

  24. [24]

    R. B. Bapat and V. S. Sunder. An extremal property of the permanent and the determinant.Linear Algebra and its Applications, 76:153–163, 1986

    1986

  25. [25]

    Oppenheim

    A. Oppenheim. Inequalities connected with definite her- mitian forms.Journal of the London Mathematical Soci- ety, 1(2):114–119, 1930

    1930

  26. [26]

    S. Drury. A counterexample to a question of Bapat and Sunder.The Electronic Journal of Linear Algebra, 31:69– 70, 2016

    2016

  27. [27]

    Pioge, B

    L. Pioge, B. Seron, L. Novo, and N. J. Cerf. Anomalous bunching of nearly indistinguishable bosons. arXiv:2308.12226, 2023

    Pith/arXiv arXiv 2023

  28. [28]

    G. W. Soules.Matrix Functions and the Laplace Expan- sion Theorem. Phd dissertation, University of California, Santa Barbara, 1966

    1966

  29. [29]

    Annoni and S

    E. Annoni and S. C. Wein. Incoherent behavior of par- tially distinguishable photons.arXiv:2502.05047, 2025. Appendix A: Derivation of the multimode bunching probability in second quantization The multimode bunching probabilityP κ can be computed by projecting the output state Ψout = ˆU nY j=1 ˆa† j,ϕj |0⟩= nY j=1 mX k=1 Uk,j ˆa† k,ϕj ! |0⟩,(A1) onto the ...

    Pith/arXiv arXiv 2025