{"id":"a0cacaac-a9ed-4b16-a53c-7033d5b3aba1","arxiv_id":"2608.02490","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A path-identity interferometer can reconstruct the full matrix of a non-unitary photonic qudit operation from single-photon interference of an undetected idler photon.","lead":"This paper proposes a way to fully characterize a lossy or non-unitary quantum operation on a photonic qudit by measuring only an entangled partner photon, never the photon the operation acts on. The trick uses quantum interference between two light sources whose idler paths are made indistinguishable, which could help test components at wavelengths where good single-photon detectors do not exist.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eqs. (5)-(7) restrict the unknown operation to a single-Kraus passive linear map; general CPTP operations (e.g., depolarizing) are outside the claim, so 'arbitrary operation' is unsupported.","rationale":"I read the paper's central claim as full QPT of arbitrary linear quantum operations, as stated in the abstract and the 'arbitrary operation' phrasing. The load-bearing condition is that every such operation can be written as in Eqs. (5)-(7), with a single amplitude matrix T plus a vacuum term A constrained by AA† = I − TT†. This is a valid canonical transformation for passive linear lossy optical devices, and I independently checked the derivation of Eq. (17) from Eqs. (13) and (16): the normalization, cross terms, and sine phase structure are internally consistent, and the numerical retrieval from visibilities and phase differences works for the given scaled-Hadamard example. However, the scope of the claim is the weak point. The representation has exactly one Kraus operator on the qudit; it cannot describe general completely positive trace-preserving maps such as depolarizing or amplitude-damping channels, which require multiple Kraus operators and produce mixed-state outputs from pure inputs. The reader's weakest_assumption identifies precisely this gap, and I agree with it. Because the protocol is a valid characterization for the narrower class of passive linear lossy operations, the appropriate verdict is conditional: the authors should either restrict the claimed scope to that class or extend the formalism to general CPTP maps. My stress-test does not change the reader's conditional verdict.","tokens_in":9878,"tokens_out":26400,"duration_ms":295665,"concrete_test":"Simulate the proposed interferometric protocol on a qubit depolarizing channel ε(ρ) = (1−p)ρ + (p/3)(σ_x ρ σ_x + σ_y ρ σ_y + σ_z ρ σ_z) under the same ideal assumptions (two sources, perfect path identity, no multi-pair emission). Generate the single-photon detection probabilities for the measurement settings in Eqs. (20a)-(20d), fit them to Eq. (17), and extract a 2×2 'T'. Then check (i) whether T is independent of the chosen signal rotation U_b(q,r) and (ii) whether T predicts ε on input states outside the calibration set. For a depolarizing channel no such T exists; the fitted T will depend on the probe basis and fail to reproduce the channel, confirming that the protocol does not characterize arbitrary CPTP maps.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eqs. (5)-(7) assume the unknown operation is a passive linear mode transformation b(l) = Σ_γ (T_{lγ} a(γ) + A_{lγ} a0(γ)) with AA† = I − TT†. This restricts the class in two ways. First, T is a single Kraus operator on the N-mode system (plus vacuum loss); for any pure input |m>, the output is the pure unnormalized state Σ_l T_{lm}|l> together with a vacuum term, never a mixed state within the qudit subspace. Second, the transformation is photon-number conserving and Gaussian/passive. Standard quantum operations targeted by QPT, such as depolarizing or amplitude-damping channels, require multiple Kraus operators and can map a pure input to a mixed state; no single contraction T can represent them. The abstract and conclusion claim 'any linear quantum operation' and 'arbitrary operation', but the derivation and reconstruction only retrieve T for this narrow class. The numerical example is a scaled Hadamard matrix (single, normal Kraus operator) and therefore does not expose the gap. If the target device is a general CPTP map, the reconstructed T is not the full Choi/process matrix and the protocol is not tomographically complete.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes an interferometric method for characterizing a photonic qudit operation without detecting the qudit on which the operation acts. The unknown operation is modeled as a passive linear field transformation, Eq. (5), supplemented by auxiliary vacuum modes satisfying Eq. (7). The authors derive a single-photon interference formula, Eq. (17), and show that by applying known two-mode rotations to the signal photon and measuring interference visibilities and phases, all matrix elements of the unknown matrix T can be retrieved. A four-dimensional numerical example with a lossy Hadamard operation is presented as a self-consistency check.","tokens_in":10118,"tokens_out":20518,"duration_ms":255871,"significance":"If the scope is correctly stated, this is a meaningful extension of the authors' earlier unitary characterization protocol to non-unitary passive linear optical operations. The method avoids detecting the transformed idler photon, which is of practical interest for spectral regions where single-photon detectors are unavailable. The derivation is internally consistent: Eq. (17) follows from the model, and the reconstruction procedure is explicit with a clear counting N(N-1)/2. The numerical example is a legitimate consistency check with no fitted parameters. However, the central claim of characterizing 'any linear quantum operation' is not supported by the model, and this overstatement undermines the presentation as a general quantum process tomography method.","major_comments":[{"comment":"The paper claims in the abstract and conclusion that 'any linear quantum operation' or 'arbitrary operation' can be fully reconstructed. This is not supported by the model. Equations (5)-(7) restrict the operation to a passive linear mode transformation b(l)=Σ_γ(T_lγ a(γ)+A_lγ a0(γ)) with AA†=I−TT†. This describes a single-Kraus (up to vacuum loss) passive linear operation. For any pure single-photon input state, the output (conditioned on no loss to auxiliary modes) is a pure state Σ_l T_lm|l>. General CPTP maps on a qudit that require multiple Kraus operators on the original modes (e.g., depolarizing, dephasing, amplitude damping within the qudit subspace) are outside this class. The numerical example, Eq. (23), is a scaled Hadamard matrix and therefore exactly in the covered class; it does not expose the limitation. The manuscript must be revised to state the actual class explicitly (","section":"Abstract and Eqs. (5)-(7)"},{"comment":"The meaning of 'full characterization' needs clarification for the non-unitary case. When TT†≠I, the operation is trace-decreasing on the N-mode single-photon subspace: some population goes to the auxiliary vacuum modes. A standard quantum process tomography description would include the vacuum as an additional outcome and report a CPTP map on an (N+1)-dimensional system. The paper does not specify that the method reconstructs only the coherent part T and that the loss probabilities are inferred from T (via TT†), nor does it discuss the fact that T is determined only up to a global phase, since the interference patterns measure relative phases (Table II). Without this clarification, the reader cannot tell what 'complete' information is actually obtained, especially for a lossy device.","section":"Eqs. (7) and (17), Appendix A"}],"minor_comments":[{"comment":"The sum in Eq. (17) is a phasor sum: the individual sine terms with different phases combine into a single sinusoid whose amplitude is the modulus of the complex sum Σ_γ U_dγ T_dγ. A short remark to this effect would prevent readers from misinterpreting the interference as an incoherent sum.","section":"Eq. (17)"},{"comment":"The proportionality constant 1/2 used in Eqs. (A2) is introduced without explanation. The main text uses proportionality only; it would be clearer to state that the constant is irrelevant to the visibility/phase extraction.","section":"Appendix A"},{"comment":"The method determines T up to a global phase because all arguments are measured relative to a reference pattern (Table II). The paper should mention that this global phase is unobservable in the process matrix T⊗T*, so the characterization is still complete.","section":"Global phase"},{"comment":"There are minor typographical issues (e.g., 'commutaion' after Eq. (5), 'undetec ted' in the title header). The statement in the conclusion that the treatment 'can, in principle, be extended to non-photonic quantum systems' is speculative and not supported by the present analysis.","section":"General text"}],"recommendation":"major_revision","confidential_remarks":"The technical core for passive linear operations is sound and the extension of Ref. [15] is genuinely useful. The main obstacle is the overstatement of the scope. If the authors reframe the title/abstract to claim characterization of passive linear (single-Kraus) optical operations, including loss, and add a clear discussion of the trace-decreasing nature and global phase, the paper would become acceptable for publication. The current version, with 'any linear quantum operation' and 'quantum process tomography' in the abstract, overclaims beyond what the equations deliver."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the paper does something real: it takes the path-identity unitary reconstruction from the authors' earlier paper and extends it to non-unitary operations by coupling the unknown transformation to vacuum modes. The protocol retrieves a contraction matrix T from signal-only interference patterns, with no idler detection, using N(N−1)/2 settings. That is a useful technique for characterizing passive lossy linear-optical circuits at wavelengths where single-photon idler detectors are impractical.\n\nSecond, the headline claim overshoots. The abstract says \"arbitrary operation,\" but Eqs. (5)–(7) restrict the unknown map to a single contraction T plus vacuum coupling, with AA† = I − TT†. That is exactly the form of a passive linear optical network with loss. It is not a general completely positive map: a depolarizing or amplitude-damping channel on the qudit has multiple Kraus operators inside the qudit subspace and cannot be written this way. So the method characterizes a specific, useful class of processes, but calling it QPT for \"any linear quantum operation\" is not supported. The stress-test note is right on this.\n\nThe positive side: the vacuum decomposition is a clean way to preserve commutation relations, and the derivation of Eq. (17) looks internally consistent. The numerical example reconstructs the chosen lossy Hadamard correctly, and the phase-extraction protocol is explicit. No free parameters were fitted; it is a self-consistency check, but an honest one.\n\nSoft spots beyond the overclaim: no experimental validation, which is standard for a theory paper but worth flagging given the title; the setup assumes ideal path identity, balanced sources, and perfect visibility. These are idealizations, not fatal flaws.\n\nBottom line: send it to peer review. A serious referee can ask the authors to narrow the claim to passive linear optical operations (or extend the formalism to general CP maps), and the paper will become a solid contribution to photonic characterization. As is, I'd return it for a claim fix before acceptance. I'd bring it to a reading group as a good case study in matching claims to formalism.","headline":"Extends path-identity QPT to lossy passive linear optics, but the 'arbitrary operation' claim is too broad and needs a fix before publication.","tokens_in":10633,"tokens_out":4886,"would_cite":true,"duration_ms":55584,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"A path-identity interferometer can fully reconstruct a linear quantum process on a high-dimensional photonic state without detecting the photon that the process acts on.","keywords":["quantum process tomography","undetected photons","path identity","non-unitary operations","passive linear optical transformations","orbital angular momentum qudits","single-photon interference","vacuum field completion"],"falsifier":"Run the procedure on a channel known to have two Kraus operators, say a 50/50 mixture of two different passive lossy transformations. If the measured single-photon fringes cannot be described by the single-matrix visibility-phase formula, or the fitted T matches neither Kraus operator, the claim of full reconstruction of arbitrary operations is refuted.","tokens_in":9721,"feed_emoji":"⚛️","tokens_out":4832,"duration_ms":64710,"temperature":0.7,"pith_summary":"This paper proposes a way to do quantum process tomography on a high-dimensional photonic state without measuring the photon that goes through the unknown process. The key trick is quantum interference by path identity: two sources emit correlated signal-idler pairs, the unknown operation acts on one idler beam, and that idler beam is aligned with the second idler beam so their paths become indistinguishable. The signal photons then interfere, and the visibility and phase of their interference pattern reveal the magnitude and phase of the unknown operation's matrix elements. If the paper is right, any passive linear optical process, lossy or not, can be fully characterized using only single-photon detection on the signal side, which matters for wavelength regions where practical single-photon detectors do not exist.","feed_headline":"Quantum channels mapped without detecting the transformed photon","feed_subtitle":"Signal-photon fringes reveal all matrix elements of the unknown operation, useful where single-photon detectors do not work.","key_machinery":"The central object is the decomposition of a non-unitary field transformation as b(l) = Σ_γ (T_lγ a(γ) + A_lγ a0(γ)), with A A† = I − T T†, which preserves the bosonic commutation relation by embedding the missing probability into vacuum modes. The second piece is the single-photon interference formula P_d ∝ 1 + Σ_γ |U_dγ||T_dγ| sin(φ_in + arg U_dγ + arg T_dγ), which maps interference visibility to |T_dγ| and fringe phase to arg T_dγ. Two-mode rotations of the signal modes (angle 0 or π/2) select individual off-diagonal elements, so each setting yields four matrix elements.","core_discovery":"The paper shows that when the transformed idler beam from one source is aligned with the idler beam from a second source (path identity), the single-photon interference pattern of the two signal beams encodes every matrix element of an unknown operation T acting on the idler. Detecting the transformed idler photon is unnecessary: its magnitude enters through the visibility and its phase through the position of the interference fringes. With two-mode rotations applied to the signal modes, the diagonal and off-diagonal elements of T are individually retrieved; N(N-1)/2 rotation settings reconstruct a full N-dimensional operation. The vacuum-field completion of the mode transformation ensures a","pith_inferences":["The phrase 'any linear quantum operation' should be read narrowly: the model covers operations with one Kraus operator (passive linear mode transformations with loss). A general completely positive map, such as depolarizing noise, has no single matrix T, so this scheme would not reconstruct the full process for such channels.","The method is mode-agnostic: the same derivation applies to OAM, time-bin, or frequency-bin qudits, provided the sources emit entangled pairs and the required two-mode rotations can be implemented in that basis.","A natural extension is to replace pairwise rotations with a fully programmable unitary on the signal mode, potentially reducing the number of required settings below N(N−1)/2.","The most immediate experimental test would use a mid-infrared idler and a near-infrared signal, demonstrating tomography in a spectral region where the idler photon cannot be practically detected."],"forward_implications":["Full N-dimensional non-unitary operations can be reconstructed from N(N−1)/2 choices of two-mode rotation, e.g., six choices for a four-dimensional qudit.","No coincidence counting, postselection, or detection of the transformed idler photon is required; only a single-photon interference pattern on the signal side is measured.","The scheme covers unitary and non-unitary operations in one formalism, since the vacuum completion reduces to the unitary case when the vacuum matrix A vanishes.","Because detection happens at the signal wavelength, the method can in principle be applied when the transformed photon lies in a spectral region lacking efficient single-photon detectors.","Since the derivation is based on quantum field theory, the approach is in principle extendable to non-photonic quantum systems.","For a given operation, each reconstructed matrix element is obtained independently, making the procedure naturally parallelizable."],"fun_headline_variants":["Quantum process tomography without output detection","Signal fringes map every element of an unknown operation","No detector on the transformed photon needed","Path identity enables full qudit process tomography","Interference encodes complete quantum operation"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The operation must be a passive linear mode transformation of the form b = T a + A a0 with A A† = I − T T†; a general noisy process with multiple Kraus operators (e.g., depolarizing) has no such T, so for such a process the reconstructed matrix would not be the full quantum process.","fun_headline_variants_meta":{"raw":{"variants":["Quantum process tomography without output detection","Signal fringes map every element of an unknown operation","No detector on the transformed photon needed","Path identity enables full qudit process tomography","Interference encodes complete quantum operation"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000273,"raw_usage":{"total_tokens":1380,"prompt_tokens":559,"completion_tokens":821,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":303,"completion_tokens_details":{"reasoning_tokens":758}},"tokens_in":303,"tokens_out":821,"duration_ms":29846,"temperature":1.0,"reasoning_tokens":758,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T06:16:15.017840+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the procedure on a channel known to have two Kraus operators, say a 50/50 mixture of two different passive lossy transformations. If the measured single-photon fringes cannot be described by the single-matrix visibility-phase formula, or the fitted T matches neither Kraus operator, the claim of full reconstruction of arbitrary operations is refuted.","supporting_citations":[],"review_version":1}