{"id":"1f1a5693-8294-458d-bcac-a64903fc57a6","arxiv_id":"2508.05431","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For permutation-symmetric and certain magnetization-sector pure states, the total regionally localized entanglement around a hub is bounded by the block localized entanglement and block entanglement.","lead":"This paper introduces a new measure called regionally localized entanglement (RLE), the average entanglement concentrated on a two-qubit region sharing a common hub qubit, and derives upper and lower bounds on its total in terms of block entanglement for several families of multi-qubit pure states. The results could help predict how much entanglement can be concentrated around a central node in a quantum network.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Ambiguous bound statement: for GHZ_N, literal 'total RLE' sum grows as N−1 while BLE stays 1, so if the upper bound is stated as total RLE ≤ BLE it is false; exact inequality must be checked.","rationale":"I read the paper in good faith as aiming to introduce regionally localized entanglement and to prove bounds relating total RLE to block-localized and block entanglement for paradigmatic states. The visible definitions in Sec. II are clear and internally consistent. However, the central proofs in Sec. III are entirely absent from the extract, so the exact content of the claimed bound cannot be verified. In that vacuum, the most concrete load-bearing issue is not the independence of measurement optimizations (the reader's weakest assumption) but the apparent scaling conflict with GHZ states: the sum of pair localizable entanglements grows with N while BLE for GHZ is constant. This does not necessarily mean the paper is wrong—the authors may have defined 'total' as an average or included a prefactor—but the abstract and Sec. I do not say so. This ambiguity must be resolved before any assessment of correctness. I therefore keep the UNVERDICTED status implicit in the reader's verdict and recommend no change (UNCHANGED). The proposed concrete test settles the issue by evaluating the exact stated bound on GHZ_3.","tokens_in":4545,"tokens_out":8560,"duration_ms":99729,"concrete_test":"Obtain Sec. III and locate the exact theorem/proposition bounding total RLE. Evaluate it for the 3-qubit GHZ state with hub 1, S={1,2,3}, S0=∅: compute total RLE as Σ_{l=2,3} E_{1:l} (each equal to 1) and BLE as E(ρ_{1|23}) (equal to 1). If the theorem states total RLE ≤ BLE with no prefactor or averaging, the central claim is refuted. If the theorem states a normalized version (e.g., total RLE/(N−1) ≤ BLE) or a factor (N−1)·BLE, verify that this normalization is used consistently in Secs. IV and V and in the abstract. If the proof is still missing, request the full manuscript or author-provided proof before any acceptance decision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The extract ends at Eq. (2) of Sec. II, so the exact statement of the bounds in Sec. III is unavailable. That missing statement is load-bearing because the definitions already allow a scaling check. For an N-qubit GHZ state (with S0 possibly containing extra qubits), localizable entanglement between any two qubits in S is 1 ebit: measuring the remaining qubits in the X basis leaves a Bell state (up to a phase) on the chosen pair. Hence the literal sum over all two-qubit regions sharing a hub is N−1. The block localized entanglement BLE between the hub and the rest of S, obtained by measuring only S0, is also 1 ebit for GHZ: after the S0 measurement one has a GHZ-like state on S, whose entanglement across the hub|rest bipartition is 1 ebit (for S0 empty, BLE is simply the original bipartite entanglement, again 1). Therefore the statement 'total RLE is bounded above by BLE' cannot hold as a literal inequality for GHZ with N>2. The abstract and Sec. I do not specify whether 'total' is a sum or an average, and the missing theorem could include a factor of (N−1) or a normalization. This ambiguity is the most direct threat to the central claim; the reader's concern about independent optimization is secondary until the exact inequality is specified.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript introduces 'regionally localized entanglement' (RLE), defined as the average entanglement concentrated on a two-qubit region after projective measurements on the remaining qubits, and its 'total' over all two-qubit regions sharing a common hub. It claims that for permutation-symmetric states (GHZ, generalized GHZ, W, Dicke states and their superpositions) and for states in a specific magnetization sector (generalized W states), the total RLE is bounded above and below by the block-localized entanglement (BLE) or the block entanglement (BE) between the hub and the rest. It further claims numerical verification for Haar-random states and robustness under Markovian and non-Markovian phase-flip noise except at small system sizes. The supplied text contains the abstract, introduction, the beginning of Sec. II (through Eq. (2)), and the references; the analytical derivations, numerical results, and concluding sections are not included.","tokens_in":4876,"tokens_out":6342,"duration_ms":65577,"significance":"If the claimed inequalities are correct, they would provide a practical, measurement-based method to bound how much entanglement can be concentrated on the links incident to a hub in a quantum network, complementing monogamy relations. The quantities are defined independently of the bounds and the claimed inequalities are falsifiable and free of fitting parameters. However, because the core proofs and numerical evidence are absent from the submitted text, the significance is conditional. The manuscript does not include code, data, or detailed simulation protocols, so the numerical claims cannot be independently checked as submitted.","major_comments":[{"comment":"The supplied manuscript stops after Eq. (2) of Sec. II; Secs. III–V, which should contain the theorem statements, analytical proofs, and numerical simulations, are absent. The central claim is therefore unverified. Please provide the complete derivations and the exact statement of each bound, including directions, constants, and whether 'total' is a sum or an average over the two-qubit regions.","section":"Secs. III–V"},{"comment":"The scaling of the claimed upper bound is ambiguous and, on the natural reading, appears problematic. For an N-qubit GHZ state (with S0 empty), the localizable entanglement on each hub-other pair is 1 ebit after measuring the remaining qubits in the X basis, so the sum over the N-1 regions is N-1. The block-localized entanglement between the hub and the rest is also 1 ebit. Hence any literal bound 'total RLE ≤ BLE' is false for N>2. The paper must state whether the bound contains a factor (N-1) or whether 'total' is normalized as an average.","section":"Abstract / Sec. I"},{"comment":"The RLE for each region j is defined by optimizing measurements on S0 ∪ S\\{hub,j} independently; these measurement bases generally differ with j. A bound on their sum via the BLE, which optimizes only measurements on S0, requires a relation between these optimizations that is not evident from Eqs. (1)–(2). The missing argument in Sec. III is load-bearing and must be supplied explicitly.","section":"Sec. II"},{"comment":"The numerical claims in the abstract (Haar-random states; Markovian and non-Markovian phase-flip channels; small-system violations) are not accompanied in the supplied text by any simulation protocol, channel parameters, system sizes, sample counts, or figures/tables. These claims are part of the central robustness statement and need to be fully documented before the paper can be assessed.","section":"Sec. IV"}],"minor_comments":[{"comment":"The projection basis {|b_k>} is not specified. If it is an arbitrary local basis on S0, state this; if the bounds require a particular basis, define it.","section":"Sec. II, Eqs. (1)–(2)"},{"comment":"The phrase 'average entanglement concentrated over a two-qubit region' conflates two averages: one over measurement outcomes and one over the choice of region. Please define RLE and total RLE with explicit formulas in Sec. II.","section":"Abstract / Sec. I"},{"comment":"The caption of Fig. 1 appears garbled in the posted version; please ensure that the definitions of S0, S, the hub, and the sets S0 ∪ S\\{i,j} are legible and consistent with the main text.","section":"Fig. 1"},{"comment":"The term 'specific magnetization sector' is used but not defined in the supplied text; please provide the definition and the precise family of states considered.","section":"Sec. I"}],"recommendation":"major_revision","confidential_remarks":"The submitted file appears to be incomplete, as the main body (Secs. III–V) is missing. I reviewed only the available text. The GHZ scaling issue in my second major comment should be checked against the exact theorem statement in the missing sections; it may simply be a normalization issue, but it is essential to resolve."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: they introduce a reasonable new quantity, regionally localized entanglement (RLE) for two-qubit regions sharing a hub, and claim upper and lower bounds on its total in terms of block localized entanglement (BLE) and block entanglement (BE) for several state families. That is a legitimate extension of localizable entanglement and could be useful for quantum network design. The visible text is clear and well written. But I only have the abstract, intro, and the start of Sec. II; the actual derivations in Secs. III-V are missing.\n\nThe scaling for GHZ worries me. For GHZ_N, localizable entanglement between the hub and any other qubit is 1 ebit (measure the rest in the X basis), so the sum over N-1 two-qubit regions sharing the hub is N-1. The block localized entanglement between the hub and the rest, after measuring S0, is also 1 ebit (or at most 1 ebit). So the literal inequality 'total RLE <= BLE' cannot hold unless 'total' is an average, or there is an extra factor of 1/(N-1), or BLE is defined differently. The abstract never says whether total is a sum or an average, and the missing theorem statement is exactly where that would be specified. This is a load-bearing ambiguity, not a nitpick.\n\nThe strong point is that this is not a routine application of known techniques: the new measure and the family-specific bounds (permutation-symmetric states, gW states with a single excitation) go beyond prior work on localizable entanglement and entanglement of assistance. The numerical claims about Haar states and phase-flip noise sound plausible, but without the figures or simulation details I cannot check them. I see no circularity - the quantities are defined independently and no free parameters are fitted.\n\nIf the normalization issue is resolved in the full paper (a factor of 1/(N-1) or a different definition of 'total'), then this is a solid contribution that deserves a serious referee. If not, the central theorem needs revision. Either way, the paper should not be desk-rejected; the concept is worth airing. I would want to see the exact theorem statement before citing it.\n\nRecommendation: send it to peer review and explicitly ask referees to check the precise form of the inequalities for GHZ and other states with the scaling argument.","headline":"Defines a promising new entanglement quantity, but the stated GHZ bound likely needs a normalization factor and the core proofs are not in the extract.","tokens_in":690,"tokens_out":654,"would_cite":false,"duration_ms":29140,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81P40","81P45"],"pacs":["03.67.Mn","03.65.Ud"],"model":"deepseek-v4-flash","headline":"For a wide class of multi-qubit pure states, the total entanglement that can be localized on all two-qubit regions sharing a common hub is bounded above and below by the block entanglement between that hub and the rest of the system.","keywords":["regionally localized entanglement","localizable entanglement","block entanglement","quantum networks","GHZ state","W state","Dicke states","phase-flip noise"],"falsifier":"Numerically search over a large ensemble of, say, 6-qubit Haar-random pure states for a case where the total regionally localized entanglement for a hub exceeds the block localized entanglement upper bound; a single such instance would invalidate any claim that the bounds are universal beyond the studied state families.","tokens_in":4469,"feed_emoji":"🔗","tokens_out":5611,"duration_ms":56460,"temperature":0.7,"pith_summary":"The paper introduces 'regionally localized entanglement' (RLE): the average entanglement concentrated on a two-qubit region of a multi-qubit state by measuring the other qubits, with all regions sharing a common 'hub' qubit. It proves that for a broad class of pure states — permutation-symmetric states such as GHZ, W, Dicke states and their superpositions, and single-excitation generalized W states — the total RLE over all regions around a hub is bounded above and below by the 'block localized entanglement' between the hub and the rest. This matters for quantum networks, where idle nodes are often eliminated by measurements; the bounds set fundamental limits on how much entanglement can remain among active links after pruning. Numerical tests indicate the bounds survive Haar-random states and local phase-flip noise except for very small system sizes.","feed_headline":"Hub-link entanglement has provable upper and lower bounds","feed_subtitle":"New inequalities limit how much entanglement can stay on links sharing a common node after idle nodes are measured away.","key_machinery":"The key objects are three entanglement quantifiers defined via measurement optimization: regionally localized entanglement (RLE), block localized entanglement (BLE), and block entanglement (BE). The proof machinery is a chain of inequalities that links the optimal projective measurements for each two-qubit region to the optimal measurement for the hub-rest bipartition, exploiting symmetry properties (permutation symmetry or fixed magnetization) of the state family to evaluate the sums in closed form.","core_discovery":"The paper defines RLE for a hub qubit as the sum over all other qubits of the maximum average entanglement (measured by a pure-state entanglement measure) achievable on each two-qubit pair after projective measurements on the remaining qubits. It also defines block localized entanglement (BLE) as the maximum average entanglement between the hub and the whole remaining block after measurements on the complementary set, and block entanglement (BE) as the bipartite entanglement of the reduced hub-rest state. The central claim is that for the paradigmatic pure states listed, total RLE is sandwiched between an upper bound set by BLE (and often BE) and a lower bound set by BLE, with the precise fo","pith_inferences":["Because localizable entanglement optimization is over all measurement bases, the bounds could potentially be tightened or extended to other entanglement measures (e.g., negativity or concurrence) beyond the pure-state measures used here.","The paper's proof assumes the optimal localizing measurements for different regions can be treated independently; if they interfere, there may exist states outside the proven classes where the total RLE violates the upper bound, suggesting a direction for counterexample search.","The numerical result that violations appear only for small systems under phase-flip noise hints that finite-size effects are the main danger to the bounds, so future work could map the exact system-size threshold as a function of noise strength."],"forward_implications":["For a quantum network with a hub node, the bounds tell operators the maximum entanglement that can be concentrated on the hub's links after discarding idle nodes, and the minimum needed to certify a given amount of link entanglement.","The closed-form bounds for GHZ and W states allow quick estimates of achievable link entanglement without performing the full optimization.","The persistence of the bounds under local phase-flip noise for large system sizes suggests they are robust enough for noisy intermediate-scale networks.","The differing bounds for single-excitation generalized W states show that breaking permutation symmetry changes the allowed distribution of localized entanglement, so symmetry must be accounted for in network design."],"supporting_citations":[{"why":"Defines localizable entanglement, the concept that RLE regionalizes and builds upon.","marker":"[11–14]"},{"why":"Introduces entanglement of assistance, a related measurement-based concentration concept used for comparison.","marker":"[8–10]"},{"why":"Derives bounds on entanglement of assistance over a bipartition, a precursor style of inequality this paper generalizes.","marker":"[56]"},{"why":"Provides bounds on localizable entanglement over a given bipartition, which the block bounds directly extend.","marker":"[57]"},{"why":"Supplies the classes of generalized GHZ and W states for which the bounds are explicitly derived.","marker":"[58]"},{"why":"Defines Dicke states, one of the permutation-symmetric families covered by the bounds.","marker":"[60]"},{"why":"Defines the Haar-uniform distribution used in numerical tests of the bounds for arbitrary states.","marker":"[61]"}],"fun_headline_variants":["Hub's regional entanglement bounded by block entanglement","Entanglement around a hub obeys block-derived bounds","Localized hub entanglement is provably bounded","Block entanglement sets limits on hub's local entanglement","Bounds proven for hub-centered entanglement distribution"],"cache_read_input_tokens":2816,"weakest_assumption_plain":"The proof assumes that the optimal localizing measurements for the different two-qubit regions can be treated independently and that their combined effect is bounded by the hub-rest block measurement; if these measurements interfere, the bounds could fail.","fun_headline_variants_meta":{"raw":{"variants":["Hub's regional entanglement bounded by block entanglement","Entanglement around a hub obeys block-derived bounds","Localized hub entanglement is provably bounded","Block entanglement sets limits on hub's local entanglement","Bounds proven for hub-centered entanglement distribution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000184,"raw_usage":{"total_tokens":1162,"prompt_tokens":759,"completion_tokens":403,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":503,"completion_tokens_details":{"reasoning_tokens":349}},"tokens_in":503,"tokens_out":403,"duration_ms":4909,"temperature":1.0,"reasoning_tokens":349,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T23:19:06.191041+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically search over a large ensemble of, say, 6-qubit Haar-random pure states for a case where the total regionally localized entanglement for a hub exceeds the block localized entanglement upper bound; a single such instance would invalidate any claim that the bounds are universal beyond the studied state families.","supporting_citations":[{"cited_title":"Pollock , author G","cited_arxiv_id":null,"evidence_quote":"Derives bounds on entanglement of assistance over a bipartition, a precursor style of inequality this paper generalizes."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides bounds on localizable entanglement over a given bipartition, which the block bounds directly extend."},{"cited_title":"Bengtsson \\ and\\ author K","cited_arxiv_id":null,"evidence_quote":"Defines the Haar-uniform distribution used in numerical tests of the bounds for arbitrary states."}],"review_version":1}