{"id":"6102e387-fd98-41db-b868-549e3ae1724c","arxiv_id":"2606.06584","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Incorporating string operators into the bootstrap program allows tighter rigorous bounds on ground-state correlations in SSB phases of 1D spin models and quantitative phase boundary estimates.","lead":"The paper introduces non-local string-like operators into the numerical bootstrap method for bounding ground-state observables in quantum spin systems. This tightens constraints in spontaneous symmetry-breaking phases of 1D models where local operators alone are insufficient.","discovery_kind":"unclear","skeptic_critique":{"model":"grok-4.3","headline":"Independence of string-operator constraints from local ones, and their exact validity in the thermodynamic limit without implicit truncations or corrections, remains the least-secured step.","rationale":"The reader's weakest assumption directly isolates the single point whose failure would invalidate the headline improvement in the SSB phase and the direct thermodynamic-limit claim. No other internal inconsistency is visible from the abstract or the stated construction; the numerical applications are presented as evidence that the assumption holds, but the assumption itself is not independently verified in the provided summary. Therefore the verdict remains UNVERDICTED pending that check.","tokens_in":1734,"tokens_out":406,"duration_ms":20238,"concrete_test":"For the transverse-field Ising model at λ=0.5 (deep in SSB), solve the SDP twice with identical local operator basis up to range r=4: once without string operators and once with the minimal set of string operators used in the paper; if the lower bound on ⟨σ^z_i σ^z_{i+1}⟩ changes by less than 0.001, the strings are redundant.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the chosen non-local string operators generate positivity constraints on the moment matrix that are linearly independent of those already supplied by any finite local operator basis, and that these constraints remain necessary and sufficient when the entire SDP is written directly on the infinite chain (translation-invariant, no finite-N extrapolation). If the string operators' two-point or multi-point functions are already fixed by the local algebra or if the infinite-volume positivity condition requires additional decay assumptions not enforced by the SDP, the reported tightening in the SSB phase would be illusory or model-dependent rather than a general improvement. The abstract asserts both independence and direct thermodynamic-limit formulation, but supplies no explicit check that the string sector enlarges the feasible set beyond what local operators already enforce.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper introduces non-local string-like operators into the bootstrap method for quantum spin systems, allowing the program to be formulated directly in the thermodynamic limit without finite-size extrapolations. It applies the construction to the 1D transverse-field Ising model (claiming significant tightening of bounds in the SSB phase), the axial next-nearest-neighbor Ising model (quantitative phase-boundary estimates), and the Z3 chiral clock model (tracking bounds across the phase diagram).","tokens_in":1898,"tokens_out":512,"duration_ms":23206,"significance":"If the string operators generate linearly independent positivity constraints that remain valid in the infinite-volume limit, the work would meaningfully extend bootstrap techniques to symmetry-broken phases where local operators alone cannot exclude domain-wall excitations. The direct thermodynamic-limit formulation, if rigorously justified, is a technical strength that could apply to other 1D models with extended operators.","major_comments":[{"comment":"Abstract and introduction: the central claim of 'significant tightening' and 'independent constraints' from string operators is load-bearing, yet the manuscript provides no numerical tables, error estimates, or explicit operator lists (as noted in the abstract's assertions); without these, it is impossible to verify that the reported improvements are not due to post-hoc operator choices or redundant constraints already implied by the local basis.","section":"Abstract"},{"comment":"The thermodynamic-limit formulation (described in the method section): the claim that the SDP can be written directly on the infinite chain requires explicit demonstration that string-operator positivity conditions remain necessary and sufficient without implicit decay assumptions or truncations; if the two-point functions of the strings are already fixed by the local algebra, the tightening would not enlarge the feasible set.","section":"Method section on thermodynamic limit"},{"comment":"Applications to TFIM and ANNNI: the phase-boundary utility and SSB-phase tightening rest on the assumption that the chosen strings supply constraints linearly independent from any finite local operator set; the manuscript should include a rank comparison of the moment matrix or a table showing bound changes upon adding strings to confirm independence.","section":"Results sections on TFIM and ANNNI"}],"minor_comments":[{"comment":"Notation for string operators should be defined more clearly with explicit examples of their support and commutation relations to aid reproducibility.","section":"Method"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their thorough review and valuable suggestions. We address each of the major comments below, indicating the revisions we plan to make to improve the clarity and verifiability of our results.","responses":[{"response":"We agree that providing explicit numerical evidence would strengthen the manuscript. In the revised version, we will add an appendix or section with the explicit list of string operators used in each model, a table of bound values with and without the string operators (including SDP solver tolerances as error estimates), and a brief discussion confirming that the improvements exceed those from simply enlarging the local operator basis.","revision_made":"yes","referee_comment":"[Abstract] Abstract and introduction: the central claim of 'significant tightening' and 'independent constraints' from string operators is load-bearing, yet the manuscript provides no numerical tables, error estimates, or explicit operator lists (as noted in the abstract's assertions); without these, it is impossible to verify that the reported improvements are not due to post-hoc operator choices or redundant constraints already implied by the local basis."},{"response":"The string operators are non-local and their positivity constraints derive directly from the ground-state condition without requiring finite-size truncations or decay assumptions. We will revise the method section to include a more detailed justification: the constraints are necessary because they correspond to <Psi| O_string^dagger O_string |Psi> >= 0 for the infinite-volume ground state |Psi>, and they are not redundant with local operators as the strings probe extended correlations. We will also clarify that the two-point functions of strings are not fixed by the local algebra alone.","revision_made":"yes","referee_comment":"[Method section on thermodynamic limit] The thermodynamic-limit formulation (described in the method section): the claim that the SDP can be written directly on the infinite chain requires explicit demonstration that string-operator positivity conditions remain necessary and sufficient without implicit decay assumptions or truncations; if the two-point functions of the strings are already fixed by the local algebra, the tightening would not enlarge the feasible set."},{"response":"We will incorporate in the revised results sections a table that shows the bound values obtained by successively adding string operators to the local basis, demonstrating the tightening at each step. Additionally, we will report the rank of the moment matrix before and after inclusion to confirm that the new constraints are linearly independent.","revision_made":"yes","referee_comment":"[Results sections on TFIM and ANNNI] Applications to TFIM and ANNNI: the phase-boundary utility and SSB-phase tightening rest on the assumption that the chosen strings supply constraints linearly independent from any finite local operator set; the manuscript should include a rank comparison of the moment matrix or a table showing bound changes upon adding strings to confirm independence."}],"tokens_in":1445,"tokens_out":601,"duration_ms":22879,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that non-local string operators can be folded into the bootstrap SDP to produce tighter bounds on correlations once the system enters a symmetry-broken phase, and the whole program can be written directly on the infinite chain without finite-size extrapolation.\n\nThey start from the usual local-operator moment matrix, add string operators that detect domain-wall-like excitations, and show that the resulting positivity constraints improve the bounds for the transverse-field Ising chain in its ordered phase. The same construction then gives usable estimates of the phase boundary in the axial next-nearest-neighbor Ising model and tracks the behavior across the Z3 chiral clock diagram. The direct infinite-volume formulation is a practical step that removes one layer of approximation.\n\nThe evidence that the strings are not already implied by the local set rests on the numerical tightening itself; if the paper supplies the explicit operator lists and the change in the feasible region when the strings are added, that will settle the independence question. The abstract does not include tables or error bars, so the magnitude of the improvement is stated but not yet quantified for a reader.\n\nThe work is aimed at people who already run bootstrap calculations on spin chains and want a systematic way to handle non-local constraints. It is not a wholesale reorganization of the method, but it is a concrete, reproducible extension that addresses a known weakness in the SSB regime. The central claim is internally consistent and the construction is spelled out enough to be checked, so the paper should go to referees rather than be desk-rejected.","headline":"String operators add independent constraints that tighten bootstrap bounds in 1D SSB phases and allow direct thermodynamic-limit runs, but the size of the gain and the explicit independence check are the parts that still need numbers.","tokens_in":2396,"tokens_out":390,"would_cite":false,"duration_ms":14014,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Non-local string operators tighten bootstrap bounds on observables in symmetry-broken phases of one-dimensional quantum spin models.","keywords":["bootstrap method","string operators","quantum spin chains","spontaneous symmetry breaking","thermodynamic limit","Ising model","phase boundaries","non-local operators"],"falsifier":"Exact diagonalization or DMRG computation of the two-point correlation function in the transverse-field Ising model deep inside the ordered phase, showing that the bootstrap bounds obtained with string operators are no tighter than those obtained from the local operator set alone.","tokens_in":2631,"feed_emoji":"","tokens_out":680,"duration_ms":21526,"temperature":0.7,"pith_summary":"Bootstrap methods produce rigorous bounds on ground-state expectation values by enforcing positivity on a chosen set of operator moments. In spontaneous symmetry-breaking phases, local operators alone leave these bounds loose because domain-wall excitations remain compatible with the constraints. This work adds non-local string operators to the constraint set and shows that the resulting semidefinite program can be formulated and solved directly in the thermodynamic limit. When applied to the transverse-field Ising chain the new constraints markedly improve bounds on correlations inside the ordered phase; the same construction yields quantitative phase-boundary estimates in the axial next-nearest-neighbor Ising model and tracks bound behavior across the phase diagram of the Z3 chiral clock model.","feed_headline":"String operators tighten bootstrap bounds in 1D spin models","feed_subtitle":"Non-local constraints improve estimates of correlations inside symmetry-broken phases and locate phase boundaries more accurately.","key_machinery":"Non-local string operators that connect distant sites and detect domain-wall configurations, thereby supplying additional independent positivity constraints inside the bootstrap semidefinite program.","core_discovery":"By including non-local string-like operators among the bootstrap constraints, the method produces significantly tighter bounds on ground-state observables in the spontaneous symmetry-breaking phases of several one-dimensional quantum spin models, and these constraints remain valid when the program is taken directly to the infinite-volume limit without finite-size corrections or truncations.","pith_inferences":["The string construction could be extended to two-dimensional lattices to constrain vortex or domain-wall excitations.","Similar non-local operators might improve bootstrap bounds for systems with topological order or anyonic statistics.","Systematic addition of strings of varying lengths or topologies could reveal an optimal constraint set for a given model.","Direct thermodynamic-limit bootstrapping may reduce reliance on finite-size scaling in other many-body numerical methods."],"forward_implications":["Tighter numerical bounds on two-point correlation functions inside the SSB phase of the transverse-field Ising model.","Quantitative estimates for the locations of phase boundaries in the axial next-nearest-neighbor Ising model.","Tracking of bound quality across the full phase diagram of the Z3 chiral clock model.","Extension of the bootstrap approach to a broader class of symmetry-broken and topological phases that require non-local order parameters."],"fun_headline_variants":["Strings tighten bootstrap bounds in 1D spins","Nonlocal strings sharpen spin model bounds","String operators refine 1D phase boundaries","Bootstrap bounds via strings in symmetry broken phases"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The chosen string operators supply independent constraints that are not already implied by the local operator set and that remain valid when the bootstrap is taken directly to the thermodynamic limit without additional finite-size corrections or truncations.","fun_headline_variants_meta":{"raw":{"variants":["Strings tighten bootstrap bounds in 1D spins","Nonlocal strings sharpen spin model bounds","String operators refine 1D phase boundaries","Bootstrap bounds via strings in symmetry broken phases"]},"model":"grok-4.3","cost_usd":0.006592,"raw_usage":{"total_tokens":3068,"prompt_tokens":647,"num_sources_used":0,"completion_tokens":53,"cost_in_usd_ticks":65924500,"prompt_tokens_details":{"text_tokens":647,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2368,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":647,"tokens_out":53,"duration_ms":15389,"temperature":1.0,"reasoning_tokens":2368,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T23:11:23.231618+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Exact diagonalization or DMRG computation of the two-point correlation function in the transverse-field Ising model deep inside the ordered phase, showing that the bootstrap bounds obtained with string operators are no tighter than those obtained from the local operator set alone.","supporting_citations":[],"review_version":1}