{"id":"78e789c4-cd23-4fe5-b983-da7fea2dcb25","arxiv_id":"2506.00354","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Bloch-angle quantum speed limit is defined by inverting the integrated evolution speed, and a photonic swap-test experiment measures it without tomography.","lead":"The paper defines a quantum speed limit using the Bloch angle, where the bound is the time at which the accumulated angular path length reaches the target angle. It also demonstrates a photonic swap-test measurement that gives this path length without full state tomography.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Appendix B proves only a sufficient geodesic family; for N>2 the great-circle solution can leave the physical state set, so the saturation claim tau_Theta = T is unproved outside qubits.","rationale":"The reader's weakest_assumption identifies exactly this gap: admissible N>2 Bloch vectors satisfy positivity constraints beyond fixed length, so the great-circle geodesic used in Appendix B may be non-physical. This is the most load-bearing concern because the lower-bound theorem itself is trivially true by the triangle inequality for the angle metric; the paper's distinctive theoretical contribution is the saturation condition and its claimed geometric interpretation. If the saturation condition is not physically attainable in higher dimensions, the central claim that tau_Theta = T for geodesic paths is limited to the qubit demonstrations. I agree with the reader's conditional verdict: the bound is not invalid, but the generality of the saturation claim and the claimed resource advantages need revision. The tautological character of the definition (tau_Theta is the time at which path length equals chordal angle) is a related secondary concern but does not undermine the lower bound; it mainly affects framing and utility.","tokens_in":11720,"tokens_out":21380,"duration_ms":221438,"concrete_test":"Numerically test a qutrit (N=3): choose a pure state Bloch vector r0 and a tangent vector r0' generated by a traceless Hamiltonian (so the infinitesimal direction is physical), normalize r0' to have the same length as r0, form r(t)=cos(omega t)r0 + sin(omega t)r0', and reconstruct rho(t)=I/3 + (1/2) sum_i r_i(t) lambda_i. Compute the minimum eigenvalue of rho(t) for t in [0, pi/(2 omega)]. If the spectrum leaves [0,1] at any intermediate t, the Appendix B geodesic is not a physical unitary trajectory, and the saturation claim tau_Theta = T is not established for N>2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The lower-bound inequality (6) is a metric triangle inequality and is safe. The load-bearing gap is the saturation claim, which rests entirely on Appendix B. There the authors verify that the one-parameter family r(t)=cos(alpha t)r(0)+sin(alpha t)r', with |r'|=|r(0)| and r' dot r(0)=0, saturates the inequality. That check proves only sufficiency of these great-circle curves; it does not show that they are the geodesics of the physical state space under unitary dynamics. For N>2 the generalized Bloch vector has fixed length under unitary evolution, but admissible states also satisfy positivity constraints beyond constant |r| (for a pure qutrit, for example, Tr(rho^2)=1 and Tr(rho^3)=1 are not implied by fixed length alone). A great circle in R^{N^2-1} that starts from a physical state with a physical tangent vector generically leaves the set of valid density matrices at intermediate times, so it is not a valid quantum trajectory. Consequently, the statement that 'when the path connecting rho_0 and rho_T follows a geodesic line, tau_Theta = T' is demonstrated only for the qubit case; for N>2 the condition is unproved, and if physical geodesics of the induced Bloch-angle metric do not coincide with ambient great circles, the saturation condition can fail. The lower bound itself remains correct, but the paper's advertised 'condition for it to saturate' is not established beyond qubits.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper introduces a quantum speed limit based on the Bloch angle. For unitary dynamics it defines an instantaneous velocity v(t) in Eq. (5), the accumulated path length s(T)=∫_0^T v(t)dt, and a new bound τΘ as the time at which the accumulated path length reaches a target angle Θ, Eq. (8). Because Θ(ρ0,ρT)≤s(T) by Eq. (6) and v(t)≥0, the paper concludes τΘ≤T, with equality when the actual path is a geodesic. The authors also compare this bound with an existing Bloch-angle bound, analyze the Landau-Zener model, and report a photonic experiment in which swap-test measurements of Tr(ρ_t ρ_{t+dt}) are used to determine path lengths without full quantum state tomography.","tokens_in":12012,"tokens_out":10431,"duration_ms":111145,"significance":"The experimental demonstration is a genuine asset: direct swap-test measurement of the overlap is a practical way to determine path lengths for the implemented unitary qubit dynamics, and Eq. (10) correctly gives the overlap for qubits. The lower-bound inequality itself is correct, and the qubit saturation example is clean. However, the paper's central theoretical novelty is limited: τΘ≤T follows almost immediately from the definition of τΘ and the triangle inequality, and the claimed characterization of geodesics in Appendix B is only verified for a one-parameter family of curves and is not established for the physical state space when N>2. The general claims of applicability to arbitrary dynamics and higher-dimensional systems are not supported by the analytical or experimental arguments. With appropriate restrictions and revised claims the manuscript could be acceptable, but in its present form the main theoretical claims require substantial work.","major_comments":[{"comment":"The statement that τΘ≤T is a consequence of the definition of τΘ together with the triangle inequality and v(t)≥0: once Θ≤s(T) and s(t)=∫_0^t v(t)dt is nondecreasing, the solution of Θ=s(τ) trivially satisfies τ≤T. This is not an independent quantum speed limit in the sense of earlier bounds such as the Mandelstam-Tamm bound, which are constructed from initial and final state data and the Hamiltonian. The paper should either reposition the result as a trajectory-dependent bound that is useful for the experimental protocol, or prove a genuinely non-tautological property such as a bound on τΘ in terms of initial data alone.","section":"§II, Eq. (8)"},{"comment":"The geodesic equation r¨=−α²r is not derived; the authors only verify that the assumed solution (B2) saturates the inequality (6). This establishes sufficiency of that curve family, not that these curves are geodesics of the physical state space. For N>2 the generalized Bloch vector of a physical state satisfies positivity constraints beyond fixed norm (for example, a pure qutrit has Tr(ρ³)=1), and great circles in R^{N²−1} can leave the set of physical states at intermediate times. Therefore the saturation condition 'when the path connecting ρ0 and ρT follows a geodesic line, τΘ=T' is demonstrated only for qubits. Please restrict the saturation claim to N=2 or provide a derivation on the physical submanifold.","section":"Appendix B, Eqs. (B1)-(B5)"},{"comment":"The protocol claims to determine dΘ(ρ_t,ρ_{t+dt}) from the swap-test overlap Tr(ρ_t ρ_{t+dt}) alone, but Eq. (3) also requires Tr(ρ_t²) and Tr(ρ_{t+dt}²). For unitary dynamics these purities are constant and can be measured once, but the statement that the measurement framework 'is highly versatile and applicable to any type of dynamics' is not justified: for general non-unital dynamics the purities must be measured at every time step, and the overlap alone is insufficient. The experimental demonstration in this paper is for qubit unitary evolution, where this simplification is valid; the general claim should be qualified.","section":"§II and Fig. 1(b)"},{"comment":"Equation (10) relates Tr(ρ_{t1}ρ_{t2}) to the probability of the single anti-symmetric state |c⟩. This is exact only for qubits, where the anti-symmetric subspace is one-dimensional. For N>2 the anti-symmetric subspace has dimension N(N−1)/2>1, and measuring one anti-symmetric component does not give the full swap expectation value. The claims of applicability to higher-dimensional systems should be revised accordingly.","section":"§III and Appendix D, Eq. (10)"}],"minor_comments":[{"comment":"The notation ∫_0^T Θ(ρ_t,ρ_{t+dt}) is informal; the integrand is not a function of dt as written. It would be clearer to write s(T)=∫_0^T v(t)dt with v(t)=Θ(ρ_t,ρ_{t+dt})/dt.","section":"§II, Eq. (6)"},{"comment":"The figures report experimental points without visible error bars or quantitative uncertainty estimates, and the time axis has no units. Please add error bars and specify the units and experimental parameters.","section":"Figs. 4 and 5"},{"comment":"There is a typo: 'optial axis' should be 'optical axis'. Also, 'Schr¨ odinger' should be 'Schrödinger' in the text.","section":"Fig. 3 caption"},{"comment":"The statement 'The results are in accord with the theoretical predictions within experimental errors' would be more informative with a quantitative measure of agreement, such as chi-squared values or maximum deviations.","section":"§III"}],"recommendation":"major_revision","confidential_remarks":"The paper is better characterized as an experimental resource demonstration than as a new speed-limit theorem. The theoretical bound is a tautological consequence of the triangle inequality, and the geodesic saturation claim is unproved outside qubits. The editors may wish to weigh whether the theoretical framing and the general applicability claims are sufficiently supported for the journal's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: the paper's main result — the Bloch-angle speed limit τ_Θ — is less a bound than a re-parameterization of the actual path length. The genuinely useful piece is the instantaneous Bloch-angle velocity formula (Eq. 5) and the experimental demonstration that Bloch angles can be obtained directly from swap-test overlaps, without full tomography.\n\nThe instantaneous velocity expression is correct, and for qubits it reduces to the familiar A sin θ. The definition of τ_Θ via the integral of this velocity makes the inequality τ_Θ ≤ T true by construction — the triangle inequality does the work. That is not a fatal flaw, but it means the 'speed limit' has no predictive content from initial and final data alone; it is a diagnostic of the actual trajectory. The comparison to the existing average-velocity bound [38] is fair, and the claim that the new version needs fewer resources (no knowledge of T, measurements stop at τ_Θ) is plausible.\n\nThe soft spot the stress test found is real: Appendix B proves only that the particular family r(t)=cos(αt)r(0)+sin(αt)r' saturates the inequality. That makes those curves geodesics in the ambient space, but for N>2 the admissible Bloch vectors also have to satisfy positivity constraints. A great circle in R^{N²-1} can leave the physical state space, so the saturation condition τ_Θ=T is demonstrated only for qubits. The paper should either restrict the saturation claim or prove that the physical geodesics coincide with these great circles.\n\nThe experiment is a useful proof-of-principle, but it is thinly reported: no raw data, no quantitative error analysis. The figures show agreement 'within experimental errors' but the reader cannot assess the quality. For a photonic demonstration, a few additional details would make it solid.\n\nOverall: a modest, internally consistent paper with one correct formula and a clean experimental technique. It deserves a serious referee, but I would ask for a substantial revision — clarify the status of the bound, fix the saturation claim, and provide proper experimental uncertainties.","headline":"A correct but largely tautological Bloch-angle speed limit, useful mainly for the instantaneous velocity formula and the swap-test measurement; the saturation claim is unproved beyond qubits.","tokens_in":12529,"tokens_out":3309,"would_cite":true,"duration_ms":34576,"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 new quantum speed limit based on the Bloch angle is a true lower bound on evolution time and is measurable without tomography.","keywords":["quantum speed limit","Bloch angle","geodesic evolution","swap test","Landau-Zener model","mixed states","unital dynamics","photonic experiment"],"falsifier":"For a single qutrit with a constant Hamiltonian, take $r(t)=\\cos(\\alpha t)r(0)+\\sin(\\alpha t)r'$ with $|r'|=|r(0)|$ and $r'\\cdot r(0)=0$, and compute the eigenvalues of the corresponding density matrix at intermediate times; finding any negative eigenvalue would show this geodesic leaves the physical state space and invalidate the saturation claim beyond qubits.","tokens_in":1821,"feed_emoji":"⏱️","tokens_out":5288,"duration_ms":138295,"temperature":0.7,"pith_summary":"Using the angle between Bloch vectors, the paper defines an instantaneous velocity $v(t)$ and a time $\\tau_\\Theta$ at which the accumulated path length first reaches the target Bloch angle $\\Theta(\\rho_0,\\rho_T)$. It argues that $\\tau_\\Theta$ is always a lower bound on the actual evolution time $T$, with equality exactly when the evolution path is a geodesic, i.e., when the Bloch vector executes uniform rotation with its tip tracing a great circle. The practical payoff is that the bound needs measurements only up to $\\tau_\\Theta$, not over the whole interval, and those measurements are swap-test overlaps rather than full state tomography. The authors demonstrate the method with a photonic qubit experiment for a time-independent Hamiltonian and for the Landau-Zener model, where accelerated dynamics make the new bound tighter than the earlier Bloch-angle QSL.","feed_headline":"Bloch angle speed limit cuts tomography and tightens bound","feed_subtitle":"New bound is measured by swap tests, needs no full tomography, and is tighter when dynamics accelerate.","key_machinery":"The central object is the instantaneous Bloch-angle velocity $v(t)$, which converts infinitesimal Bloch-angle increments into a path-length integral. The argument then runs through the triangle inequality for the Bloch angle and the geodesic equation $\\ddot r=-\\alpha^2 r$ for the Bloch vector; the latter encodes the condition under which the path length equals the distance and the bound saturates. The experimental enabler is the swap test: for two copies of the evolving state, the overlap $\\operatorname{Tr}(\\rho_{t_1}\\rho_{t_2})$ equals $1-2p_A$, where $p_A$ is the probability of measuring the antisymmetric state, so the path length can be accumulated from such overlap measurements without tomography.","core_discovery":"For a unitary evolution $\\rho_t$ with Bloch vector $r(t)$, the paper defines $v(t)=\\lim_{dt\\to 0}\\Theta(\\rho_t,\\rho_{t+dt})/dt$ and then defines $\\tau_\\Theta$ as the solution of $\\Theta(\\rho_0,\\rho_T)=\\int_0^{\\tau_\\Theta} v(t)\\,dt$. Because the triangle inequality gives $\\Theta(\\rho_0,\\rho_T)\\le \\int_0^T v(t)\\,dt$, the paper concludes $\\tau_\\Theta\\le T$. It identifies the saturating condition with the geodesic equation $\\ddot r=-\\alpha^2 r$, whose qubit solutions are uniform rotations with the Bloch vector perpendicular to the rotation axis, and shows that under this condition $\\tau_\\Theta=T$. For time-independent Hamiltonians the velocity is constant, so both the new and the prior Bloch-angle QSL reduce to $\\Theta/v(0)$; for the Landau-Zener model the velocity typically grows, making the new bound tighter. The paper further claims that the overlaps $\\operatorname{Tr}(\\rho_t\\rho_{t+dt})$ can be obtained photonically by a swap test from the probability of the antisymmetric outcome, bypassing full quantum state tomography.","pith_inferences":["The bound is path-dependent, so it is best interpreted as a certificate for a known trajectory rather than a universal state-pair limit; two different evolutions between the same states can have different lower bounds.","Extending the geodesic-saturation result beyond qubits requires verifying that the solution of $\\ddot r=-\\alpha^2 r$ stays within the set of physical Bloch vectors in dimensions $N>2$, which the paper does not demonstrate.","The same integral construction could be transferred to open-system dynamics using the Lindblad velocity derived in Appendix A, yielding an experimentally measurable speed limit for nonunitary evolution.","An online implementation could stop the evolution as soon as the accumulated swap-test path length reaches the target Bloch angle, turning the theoretical bound into a stopping rule."],"forward_implications":["The new bound can be computed without knowing the actual evolution time $T$, while the previously proposed Bloch-angle bound requires the average velocity over $[0,T]$.","For accelerated dynamics, such as the Landau-Zener model, the new bound is typically tighter than the existing Bloch-angle QSL, as confirmed by numerical sampling over initial states and purity levels.","The experimental protocol uses swap-test overlaps only, so it avoids full quantum state tomography and works for any dynamics for which the overlap can be measured.","When the evolution path is a geodesic, the bound is tight: $\\tau_\\Theta=T$, giving a geometric criterion for when a given unitary dynamics is as fast as possible.","Because the Bloch angle is robust under unital evolutions, the bound remains informative for mixed states where Bures-angle-based QSLs become loose."],"supporting_citations":[{"why":"Defines the existing Bloch-angle QSL based on average velocity, which the new bound improves in accelerated dynamics.","marker":"[38]"},{"why":"Introduces the Bures-angle speed limit defined through the same integral-equation construction, which the paper adapts to the Bloch angle.","marker":"[44]"},{"why":"Provides the swap test that yields the overlap from the antisymmetric-outcome probability, underpinning the experimental measurement.","marker":"[45]"},{"why":"Supplies the swap-test formalism for measuring state overlaps without tomography.","marker":"[40]"},{"why":"Demonstrates a photonic overlap measurement by swap test, the experimental platform the paper builds on.","marker":"[42]"},{"why":"Gives the Bloch-vector representation and Lindblad master equation used to derive the instantaneous velocity.","marker":"[43]"},{"why":"Introduces the Landau-Zener model used as the driven-system testbed where the new bound is tighter.","marker":"[46]"},{"why":"Provides the companion Landau-Zener solution that fixes the model's energy-level crossing dynamics.","marker":"[47]"}],"fun_headline_variants":["Swap test reads Bloch angle for tighter speed limit","Geometric speed limit from Bloch angle, no tomography","Tighter quantum speed limit via Bloch angle swap test","Photonic Bloch angle speed limit avoids full tomography","Bloch angle speed limit: tighter bound, simpler photonic test"],"cache_read_input_tokens":14592,"weakest_assumption_plain":"The saturation result holds if the assumed geodesic equation for the Bloch vector stays within the set of physical states in all dimensions; the paper demonstrates that only for qubits.","fun_headline_variants_meta":{"raw":{"variants":["Swap test reads Bloch angle for tighter speed limit","Geometric speed limit from Bloch angle, no tomography","Tighter quantum speed limit via Bloch angle swap test","Photonic Bloch angle speed limit avoids full tomography","Bloch angle speed limit: tighter bound, simpler photonic test"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000396,"raw_usage":{"total_tokens":2058,"prompt_tokens":914,"completion_tokens":1144,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":530,"completion_tokens_details":{"reasoning_tokens":1067}},"tokens_in":530,"tokens_out":1144,"duration_ms":9867,"temperature":1.0,"reasoning_tokens":1067,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:08:05.089570+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For a single qutrit with a constant Hamiltonian, take $r(t)=\\cos(\\alpha t)r(0)+\\sin(\\alpha t)r'$ with $|r'|=|r(0)|$ and $r'\\cdot r(0)=0$, and compute the eigenvalues of the corresponding density matrix at intermediate times; finding any negative eigenvalue would show this geodesic leaves the physical state space and invalidate the saturation claim beyond qubits.","supporting_citations":[{"cited_title":"Giovannetti, S","cited_arxiv_id":null,"evidence_quote":"Defines the existing Bloch-angle QSL based on average velocity, which the new bound improves in accelerated dynamics."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the Bures-angle speed limit defined through the same integral-equation construction, which the paper adapts to the Bloch angle."},{"cited_title":"Campaioli, F","cited_arxiv_id":null,"evidence_quote":"Supplies the swap-test formalism for measuring state overlaps without tomography."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Demonstrates a photonic overlap measurement by swap test, the experimental platform the paper builds on."},{"cited_title":"Cincio, Y","cited_arxiv_id":null,"evidence_quote":"Gives the Bloch-vector representation and Lindblad master equation used to derive the instantaneous velocity."},{"cited_title":"Mirkin, F","cited_arxiv_id":null,"evidence_quote":"Introduces the Landau-Zener model used as the driven-system testbed where the new bound is tighter."}],"review_version":1}