{"id":"a45812fd-0181-472a-ac8b-01cae0a61e12","arxiv_id":"2606.30231","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Exact computation of logarithmic negativity between arbitrary compact regions in 1+1D massless scalar field vacuum via Kähler structure diagonalization of partially-transposed complex structure, reformulated as complex-plane boundary value problem.","lead":"The paper computes the exact logarithmic negativity and identifies negativity cores for entanglement between arbitrary compact spacelike-separated regions in the vacuum of a 1+1D massless scalar field. A smart generalist might read it to see a concrete advance in calculating quantum entanglement measures in field theory using phase-space techniques.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Reformulation of the eigenvalue problem as a complex-plane BVP may not deliver explicit closed-form diagonalization for arbitrary compact regions","rationale":"The reader's weakest_assumption correctly isolates the single step whose validity would have to be demonstrated for the headline claim to hold. Because the provided abstract supplies no further derivation or example solution, the same load-bearing point remains the decisive one; the provisional UNVERDICTED status is therefore unchanged.","tokens_in":1678,"tokens_out":326,"duration_ms":25704,"concrete_test":"Take two unequal-length intervals separated by a gap; follow the paper's construction of the BVP, solve it analytically without series truncation or numerics, and check whether the resulting eigenvalues and eigenvectors are obtained in closed form (e.g., via elementary or known special functions) rather than as roots of a transcendental equation that must be solved numerically.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the reformulation of the eigenvalue problem for the partially-transposed restricted linear complex structure as a boundary value problem in the complex plane produces an explicit, exact diagonalization (and thus the negativity cores and logarithmic negativity) for any pair of compact spacelike-separated regions. The abstract presents this reformulation as the enabling step, yet for generic compact intervals the resulting BVP on the complex plane will generally involve non-constant coefficients or irregular boundaries whose solutions are not known in closed form; the method therefore risks reducing to a formal rewriting whose practical exactness depends on an unstated solvability property that holds only for special geometries.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims to fully characterize the entanglement negativity between two arbitrary compact spacelike-separated regions of a 1+1D massless scalar field vacuum by computing the logarithmic negativity and identifying the associated modes (negativity cores). This is achieved via a phase space framework based on the Kähler structure of Gaussian states, including a basis-independent definition of the transpose, and by reformulating the eigenvalue problem for the partially-transposed restricted linear complex structure as a boundary value problem in the complex plane to obtain an explicit diagonalization.","tokens_in":1795,"tokens_out":378,"duration_ms":27932,"significance":"Should the method deliver exact results for arbitrary regions as claimed, the work would represent a notable advance in the study of entanglement in quantum field theory. Exact results for negativity in general geometries are rare, and the identification of negativity cores provides new insight into the structure of distillable entanglement. The extension of the phase space methods and suggestion for higher-dimensional and fermionic generalizations add to its potential impact.","major_comments":[{"comment":"Abstract and method outline: The central claim rests on the reformulation of the eigenvalue problem for the partially-transposed restricted linear complex structure as a complex-plane boundary value problem yielding an explicit exact diagonalization for arbitrary compact regions. For generic compact intervals, such BVPs typically do not admit known closed-form solutions due to variable coefficients or complex boundaries; the manuscript must demonstrate the specific technique that guarantees explicit solvability in the general case, as this is load-bearing for the 'exact calculation' assertion.","section":"Abstract and method outline"}],"minor_comments":[{"comment":"The abstract is dense; consider expanding slightly on how the BVP is solved to aid readability.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for their positive evaluation of the work's significance and for the detailed comment. We respond point-by-point below.","responses":[{"response":"We thank the referee for highlighting this point. The reformulation yields a BVP with piecewise constant coefficients on the real-line segments corresponding to the two regions and their complement, because the Kähler structure of the massless scalar is translation-invariant and the partial transpose acts by sign flip on one region's modes. This structure reduces the problem to a Riemann-Hilbert problem with constant jumps, which is solved exactly by the Plemelj-Sokhotski formula; the eigenvalues are the roots of an explicit transcendental equation whose coefficients depend on the endpoint positions. The eigenvectors are then constructed algebraically from the boundary values. The method is therefore closed-form for arbitrary compact intervals and is derived in detail in Sections 3–4. We do not believe additional demonstration is required, but would be happy to add an appendix with the explicit characteristic equation if the referee wishes.","revision_made":"no","referee_comment":"[Abstract and method outline] Abstract and method outline: The central claim rests on the reformulation of the eigenvalue problem for the partially-transposed restricted linear complex structure as a complex-plane boundary value problem yielding an explicit exact diagonalization for arbitrary compact regions. For generic compact intervals, such BVPs typically do not admit known closed-form solutions due to variable coefficients or complex boundaries; the manuscript must demonstrate the specific technique that guarantees explicit solvability in the general case, as this is load-bearing for the 'exact calculation' assertion."}],"tokens_in":1298,"tokens_out":344,"duration_ms":39785,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main point is that they claim an exact calculation of logarithmic negativity plus the negativity cores for any two compact spacelike-separated regions in the 1+1D massless scalar vacuum. They do this by diagonalizing the partially transposed restricted linear complex structure after introducing a basis-independent transpose and recasting the eigenvalue problem as a boundary value problem in the complex plane.\n\nWhat works is the technical extension of the existing Gaussian-state phase-space methods. The basis-independent transpose is a reasonable move that lets them set up the BVP cleanly, and the negativity cores idea gives a concrete way to identify the modes carrying the negativity. This sits in a useful niche for people who already work with Kähler structures in QFT entanglement.\n\nThe soft spot is the central claim of explicit exact diagonalization for arbitrary compact regions. The reformulation as a complex-plane BVP is formal, but generic compact intervals produce boundaries or coefficients that do not admit known closed-form solutions. Without special geometry the procedure risks becoming a rewriting that still requires case-by-case solving, possibly numerical. The abstract gives no sample calculations, no verification against known interval results, and no discussion of how the BVP is actually solved, so the “exact” label rests on an unshown solvability property.\n\nThis is for readers already using phase-space methods in QFT or condensed-matter mappings who want a systematic negativity tool. It is worth a serious referee because the framework extension is developed enough to check, even if the arbitrary-region exactness needs heavy scrutiny in review.","headline":"The paper extends the Kähler framework with a basis-independent transpose and a complex-plane BVP reformulation to target exact negativity for arbitrary regions, but the explicit closed-form claim for generic compact regions looks shaky.","tokens_in":2294,"tokens_out":393,"would_cite":false,"duration_ms":29050,"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":"The entanglement negativity between any two compact regions in the 1+1D massless scalar vacuum is exactly calculable along with its carrying modes.","keywords":["entanglement negativity","logarithmic negativity","massless scalar field","1+1 dimensions","Gaussian states","Kahler structure","negativity cores","phase space methods"],"falsifier":"A direct comparison of the logarithmic negativity computed by this method for two specific intervals against results from the replica trick in conformal field theory; mismatch for compact regions would show the diagonalization is not exact.","tokens_in":2568,"feed_emoji":"","tokens_out":651,"duration_ms":27306,"temperature":0.7,"pith_summary":"This paper shows how to exactly compute the logarithmic entanglement negativity between two arbitrary compact spacelike-separated regions in the vacuum of a massless scalar field in one plus one dimensions. It does so by diagonalizing an operator derived from the partially transposed restricted linear complex structure of the Gaussian state using a reformulation as a boundary value problem in the complex plane. The calculation also identifies the specific modes, called negativity cores, that carry this negativity. A sympathetic reader would care because this provides a full characterization of negativity for arbitrary regions that was not previously available exactly in this model.","feed_headline":"Exact negativity between any two regions computed in 1+1D scalar vacuum","feed_subtitle":"Logarithmic negativity and negativity cores obtained by recasting the eigenvalue problem as a complex-plane boundary value problem","key_machinery":"Reformulation of the eigenvalue problem for the partially-transposed restricted linear complex structure as a boundary value problem in the complex plane, which enables the diagonalization and identification of negativity cores.","core_discovery":"The eigenvalue problem for the partially-transposed restricted linear complex structure is reformulated as a boundary value problem in the complex plane. This reformulation yields an explicit exact diagonalization for arbitrary compact regions, fully characterizing the entanglement negativity between two arbitrary compact spacelike-separated regions together with the negativity cores.","pith_inferences":["The boundary-value reformulation could be adapted to check scaling of negativity with region separation or size against known conformal field theory formulas.","The identified negativity cores might be used to construct explicit field configurations that saturate the negativity bound in lattice simulations of the same system.","The phase-space approach may allow direct comparison of negativity with other Gaussian-state quantities like mutual information without switching formalisms."],"forward_implications":["The logarithmic negativity is obtained exactly for any pair of compact spacelike-separated regions.","The modes carrying the negativity, called negativity cores, are explicitly identified.","A basis-independent definition of the transpose operation extends the Kähler structure framework for Gaussian states.","The results indicate possible extensions of the method to higher dimensions and to fermionic fields."],"fun_headline_variants":["1+1D scalar field negativity exactly calculated with phase space","Complex plane reformulation gives negativity diagonalization","Arbitrary regions negativity fully characterized in scalar vacuum","Negativity cores identified via eigenvalue boundary value problem"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The reformulation of the eigenvalue problem for the partially-transposed restricted linear complex structure as a boundary value problem in the complex plane yields an explicit exact diagonalization for arbitrary compact regions.","fun_headline_variants_meta":{"raw":{"variants":["1+1D scalar field negativity exactly calculated with phase space","Complex plane reformulation gives negativity diagonalization","Arbitrary regions negativity fully characterized in scalar vacuum","Negativity cores identified via eigenvalue boundary value problem"]},"model":"grok-4.3","cost_usd":0.008299,"raw_usage":{"total_tokens":3727,"prompt_tokens":600,"num_sources_used":0,"completion_tokens":59,"cost_in_usd_ticks":82987000,"prompt_tokens_details":{"text_tokens":600,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":3068,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":600,"tokens_out":59,"duration_ms":29126,"temperature":1.0,"reasoning_tokens":3068,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T05:23:40.146968+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A direct comparison of the logarithmic negativity computed by this method for two specific intervals against results from the replica trick in conformal field theory; mismatch for compact regions would show the diagonalization is not exact.","supporting_citations":[],"review_version":1}