{"id":"a7d58e45-32f8-42ba-8bc4-ffcde3491426","arxiv_id":"2607.10714","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"Nonlocal stabilizer Rényi entropy equals the SRE of the descending-order Schmidt reference state, enabling direct spectral evaluation for slightly entangled many-body systems.","lead":"The paper conjectures that nonlocal magic (nonlocal SRE) of a bipartite pure state equals the SRE of a simple reference state built from its sorted Schmidt spectrum, replacing a hard local-unitary optimization. If correct, this makes irreducible nonstabilizerness computable for weakly entangled many-body states whenever the entanglement spectrum is known.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"The stationarity proof does not secure global minimality of the descending-order reference state for generic Schmidt ranks.","rationale":"The Reader correctly isolates the gap between the proven first-order stationarity condition and the claimed global equality. No stronger internal inconsistency appears: the truncation bound, the FNL upper bound, and the rank-4 closed form are solid, and the many-body diagnostics remain useful even if the equality is only approximate. Because the paper already labels the equality a conjecture and the Reader already assigned CONDITIONAL with medium correctness risk, the stress-test does not alter the verdict. The concrete multi-start check on rank-8 spectra is the minimal decisive test that would either close the gap or force a revision of the large-system claims.","tokens_in":29902,"tokens_out":536,"duration_ms":7983,"concrete_test":"For a representative rank-8 spectrum (e.g., the truncated critical Ising spectrum at ℓ=8 or a random ordered 8-tuple summing to 1), run multi-start Riemannian optimization on St_C(d,8)\times St_C(d,8) from ≥200 random initial Stiefel points (including random local Cliffords of the reference state). If any optimized M_2 falls more than numerical tolerance below M_2 of the descending reference state, the equality fails for that spectrum and the conjecture is falsified.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Eq. 6) equates nonlocal SRE to the SRE of the descending-order Schmidt reference state. Appendix A only shows that any reference-form state (not necessarily sorted) is a critical point: the first variation of F_α vanishes under every local Hermitian generator. Compactness of the local-unitary manifold guarantees extrema exist, but does not identify which critical points are global minima. The paper notes that the reference state is not a maximizer and that descending order yields the smallest value among the stationary points it has identified, yet this is observational. Numerical support is limited to rank-4 spectra (Fig. 1 and the (r,θ,φ) scan) and a few small many-body states; for χ>4 the Stiefel manifold is high-dimensional and non-convex, so local optimizers can miss lower-lying critical points. All large-system applications (Haar averages, Ising/XXZ scaling, PXP dynamics) therefore rest on an unproven global-minimality assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript introduces a Schmidt-reference-state construction for bipartite nonlocal stabilizer Rényi entropy (SRE): sorted Schmidt coefficients are assigned to a canonical computational-basis state, and the authors conjecture that the nonlocal SRE equals the SRE of this reference state (Eqs. 5–6, 10). They prove that any such reference-form state is a stationary point of the SRE under arbitrary local unitaries (Appendix A, Eq. 8), bound the truncation error of the spectrum by the discarded weight η (Appendix B), and prove that fermionic nonlocal magic (FNL) upper-bounds the reference-state SRE without using the conjecture (Appendix D). Numerical Riemannian optimization on the complex Stiefel manifold agrees with the reference SRE for rank-4 spectra across several Rényi indices (Sec. III, Fig. 1). Under the conjecture they evaluate nonlocal SRE for Haar-random states, critical Ising and XXZ chains, and PXP quench dynamics, arguing that it probes entanglement-spectrum structures invisible to ordinary entanglement measures and to FNL.","tokens_in":30201,"tokens_out":1450,"duration_ms":27530,"significance":"If the conjecture holds, the paper supplies a practical spectral formula for nonlocal nonstabilizerness that is especially useful for weakly entangled many-body states (MPS/VUMPS, free-fermion spectra). The stationarity proof, truncation bound, and FNL ≥ NL inequality are solid contributions independent of global minimality. The applications are physically interesting: an O(1) Haar nonlocal SRE, logarithmic critical scaling with a coefficient that varies across the XXZ Luttinger-liquid phase at fixed c=1, and a clear dynamical separation between entanglement growth and nonlocal-magic growth in scarred PXP dynamics. These results would open a concrete route from entanglement spectra to irreducible magic resources in and out of equilibrium. The work is transparent that the global claim is a conjecture and backs it with first-order optimality plus rank-4 optimization; that honesty is a strength, but the large-system conclusions still rest on the unproven step.","major_comments":[{"comment":"Sec. II, Eq. (6) and Appendix A: The central identification M_NL,α = M_α(|ψ̃⟩) is a conjecture. Appendix A only proves that every reference-form state (not necessarily sorted) is a critical point: ∂_t F_α|t=0 = 0 under every local Hermitian generator. Compactness guarantees extrema exist but does not identify the global minimizer. The claim that descending order yields the global minimum among stationary points is observational (citing Ref. [33]), not proven. For a load-bearing claim used throughout Sec. IV, the manuscript needs either (i) substantially stronger numerical evidence that local Stiefel optimization never finds a lower value for χ>4 (e.g., random rank-8/16 spectra with multi-start Riemannian optimization and reported success rates), or (ii) a clear, repeated demarcation in Sec. IV that all large-system results are for the reference-state upper bound M_NL,ref, with the equali","section":null},{"comment":"Sec. III and Fig. 1: Numerical support for the conjecture is essentially confined to Schmidt rank χ=4 (one-parameter family and the (r,θ,φ) scan) plus unspecified “representative many-body states” of small size. For χ>4 the Stiefel manifold is high-dimensional and non-convex; local optimizers can miss lower critical points. The paper should report explicit optimization-vs-reference comparisons for at least a few higher-rank spectra (e.g., χ=8) and for the small Ising/XXZ ground states where manifold optimization is still feasible, with quantitative residuals. Without that, the leap from rank-4 agreement to thermodynamic-limit applications is under-supported.","section":null},{"comment":"Sec. IV B–C, Eqs. (23), (30), (32): Logarithmic scaling of nonlocal SRE (β_NL_ξ, β_NL_ℓ) is fitted over limited ranges of ξ and ℓ, and the authors themselves note that eventual saturation at large ξ cannot be excluded. The claim that β_NL varies across the XXZ critical phase at fixed c=1 is the most distinctive many-body result; it should be accompanied by a controlled check that the variation survives changes in bond dimension, truncation threshold η, and fitting window, and by an explicit statement that the coefficient is for M_NL,ref under the conjecture. Presenting β_NL as a robust interaction-dependent diagnostic without those controls overstates the evidence.","section":null}],"minor_comments":[{"comment":"Typos and spelling: “Schimidt” (Sec. II), “interralation” (Introduction), “tenser-network” (Introduction), “OPTIMIZA TION” / “SYTEMS” (section titles), “subsustem” (Fig. 5 caption). Clean these systematically.","section":null},{"comment":"Eq. (10) and the padding rule for non-power-of-2 χ should be stated once with an explicit algorithm (sort, pad zeros to 2^⌈log2 χ⌉, evaluate the XOR sum); the present wording is easy to mis-implement.","section":null},{"comment":"Fig. 2 is hard to read (overlapping LaTeX labels). A cleaner parameterization plot or a table of maximizers/minimizers would help.","section":null},{"comment":"The low-rank formula Eq. (17) is useful for experiment; state clearly that it is exact only for χ≤4 and that the PXP orange curves are therefore early-time approximations, not full nonlocal SRE.","section":null},{"comment":"Data availability: “available upon reasonable request” is weak for a methods paper whose main deliverable is a spectral formula. Depositing the rank-4 optimization scripts and the VUMPS/DMRG spectra used in Figs. 4–6 would strengthen reproducibility.","section":null}],"recommendation":"major_revision","confidential_remarks":"The paper is honest about the conjecture and the independent pieces (stationarity, truncation, FNL bound) are publishable. The risk is that Sec. IV will be cited as if nonlocal SRE were now a settled spectral observable. I would accept after the authors either add higher-rank optimization benchmarks or systematically rephrase all large-system claims as reference-state results under the conjecture. Scope fits quant-ph / many-body well; novelty relative to Huang et al. (spectral determination) and the FNL papers is real but incremental—the main advance is the conjectured closed evaluation and the applications."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The real advance here is practical: once you have the sorted Schmidt spectrum, they give a direct formula for nonlocal SRE (the descending-order reference-state SRE) and show how to evaluate it for the states we already compute with DMRG/VUMPS or free-fermion methods. Huang et al. already proved spectral dependence and introduced the same canonical encoding; this paper’s new claim is that the descending reference saturates the local-unitary minimum.\n\nWhat they do well is solid. Appendix A cleanly proves first-order stationarity under any local Hermitian generator. Appendix B gives a controlled truncation error in discarded weight η. Stiefel-manifold optimization matches the reference SRE to numerical precision for the full rank-4 family and several α, and they extract a simple closed relation to low-order Rényi entropies for χ=4. The FNL ≥ NL inequality is proven without the conjecture and is useful. The many-body applications (Ising log scaling, XXZ coefficient varying at fixed c=1, PXP scar vs empty separation of entanglement growth from nonlocal magic) are the payoff and look carefully done.\n\nThe soft spot is exactly the one the stress-test flags, and it is real but not fatal: stationarity plus “not a maximizer” plus low-rank numerics do not prove global minimality for generic χ. Large-system plots therefore inherit the conjecture. That is stated as a conjecture in the paper; they do not hide it. Code/data are not public, which is a minor annoyance for a computational claim.\n\nThis is for people who already compute entanglement spectra and want a nonlocal-magic diagnostic without nonconvex optimization. It deserves a serious referee. I would engage with it and cite the framework when I need the quantity; I would flag the conjecture when I use the large-system numbers.","headline":"Useful spectral shortcut for nonlocal SRE of weakly entangled states; the equality is still a well-supported conjecture, not a theorem.","tokens_in":30760,"tokens_out":463,"would_cite":true,"duration_ms":6770,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.5","headline":"Nonlocal magic equals the stabilizer Rényi entropy of a sorted Schmidt reference state, turning hard local-unitary minimization into a direct spectral formula.","keywords":["nonlocal nonstabilizerness","stabilizer Rényi entropy","Schmidt spectrum","magic resource","quantum many-body states","entanglement spectrum","PXP model","critical spin chains"],"falsifier":"Find a bipartite pure state whose manifold-optimized nonlocal SRE is strictly smaller than the SRE of its descending-order Schmidt reference state, within numerical precision, for any Rényi index α ≥ 2.","tokens_in":30801,"feed_emoji":"🔗","tokens_out":635,"duration_ms":9129,"temperature":0.7,"pith_summary":"The paper claims that the irreducible magic resource locked inside bipartite entanglement can be read straight off the sorted Schmidt spectrum. Instead of minimizing the stabilizer Rényi entropy over all local unitaries—an exponentially hard, nonconvex search—one builds a canonical reference state that simply assigns the ordered Schmidt coefficients to computational-basis product states. The authors conjecture that the nonlocal SRE of any pure bipartite state equals the ordinary SRE of this reference state. They prove that the reference state is a stationary point of the local-unitary landscape and show numerical agreement for rank-4 spectra and small many-body states. The resulting formula is practical precisely when entanglement is modest: once the entanglement spectrum is known (from free-fermion methods, DMRG, or tensor networks), nonlocal magic becomes a controlled spectral calculation, including a rigorous truncation bound. Applied to Haar states, critical Ising and XXZ chains, and scarred PXP dynamics, the quantity exposes nonstabilizer structure that ordinary entanglement entropy misses—logarithmic critical scaling whose coefficient varies inside a fixed central-charge phase, and a clear separation between entanglement growth and irreducible-magic growth.","feed_headline":"Nonlocal magic read off the sorted Schmidt spectrum","feed_subtitle":"A reference-state formula turns hard local-unitary optimization into a direct spectral calculation for weakly entangled states.","key_machinery":"The Schmidt reference state: the pure state whose Schmidt coefficients are the ordered entanglement spectrum of the original state, assigned to computational-basis product vectors. Its SRE supplies both an upper bound and, by conjecture, the exact nonlocal SRE (Eqs. 6 and 10).","core_discovery":"The nonlocal stabilizer Rényi entropy of a bipartite pure state is conjectured to equal the SRE of the descending-order Schmidt reference state that encodes the same spectrum in the computational basis; thus nonlocal nonstabilizerness is completely determined by a direct spectral expression that bypasses local-unitary optimization.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Nonlocal SRE equals SRE of sorted Schmidt reference state","Schmidt spectrum alone determines nonlocal nonstabilizerness","Bypass local-unitary search via Schmidt-reference nonlocal SRE","Nonlocal magic fixed by descending entanglement spectrum","Reference state from Schmidt values yields nonlocal SRE"],"cache_read_input_tokens":16512,"weakest_assumption_plain":"That the proven stationary point of the local-unitary landscape is the global minimum rather than a saddle or local minimum; the global claim remains a conjecture supported by numerics.","fun_headline_variants_meta":{"raw":{"variants":["Nonlocal SRE equals SRE of sorted Schmidt reference state","Schmidt spectrum alone determines nonlocal nonstabilizerness","Bypass local-unitary search via Schmidt-reference nonlocal SRE","Nonlocal magic fixed by descending entanglement spectrum","Reference state from Schmidt values yields nonlocal SRE"]},"model":"grok-4.5","effort":"low","cost_usd":0.004428,"raw_usage":{"total_tokens":1238,"prompt_tokens":702,"num_sources_used":0,"completion_tokens":56,"cost_in_usd_ticks":44280000,"prompt_tokens_details":{"text_tokens":702,"audio_tokens":0,"image_tokens":0,"cached_tokens":128},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":480,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":702,"tokens_out":56,"duration_ms":6022,"temperature":1.0,"reasoning_tokens":480,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T09:47:52.349335+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Find a bipartite pure state whose manifold-optimized nonlocal SRE is strictly smaller than the SRE of its descending-order Schmidt reference state, within numerical precision, for any Rényi index α ≥ 2.","supporting_citations":[],"review_version":1}