{"id":"be171764-bb60-455b-add0-6efe5a3959ae","arxiv_id":"2412.19332","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors derive the exact resolvent and entanglement entropy for a chiral scalar on a circle at arbitrary temperature, reproducing known plane and cylinder limits.","lead":"The paper computes the exact entanglement entropy of a chiral scalar field on a circle at any temperature, using a resolvent method that turns the calculation into a Riemann-Hilbert problem on a torus. This yields a new exact formula for the entropy as a function of interval length and temperature, and also provides the full resolvent, which can compute any function of the reduced density matrix.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"As printed, Eq. (6.5) has a bracket of two identical log ratios, forcing ΔS=0 and contradicting the non-zero cylinder-limit result in Eq. (6.9); the entropy formula must be corrected or verified before the central claim can be accepted.","rationale":"The central claim is the exact entropy (6.2)-(6.5). A displayed equation that is identically zero and contradicts a later explicit result is the most load-bearing concern: it means the main result cannot be reproduced as written. I am not claiming fraud; it may be a typographical error, which is why the verdict should remain conditional rather than move to rejection. The reader's weakest assumption (uniqueness of the Riemann-Hilbert solution) is also a genuine gap: the proof that the homogeneous solution space is one-dimensional depends on injectivity of (5.9), which is argued through a uniqueness statement that is asserted by analogy. That concern is real but less immediate than the (6.5) contradiction. If the authors correct (6.5) and independently verify the k-integration, the paper may be acceptable; otherwise the main result is unsupported.","tokens_in":13821,"tokens_out":21228,"duration_ms":189920,"concrete_test":"Recompute the k-integral in Eq. (6.5) exactly as printed; since each log ratio is log(1)=0, the integral vanishes. If it does not vanish in the intended formula, obtain the correct bracket from the arXiv source and re-evaluate (6.9) numerically to confirm ΔS=-π^2ℓ^2/(36P^2).","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equation (6.5) contains the difference of two logarithms whose arguments are both 1: log((e^{2πk}-1)/(e^{2πk}-1)) - log((1-e^{-2πk})/(1-e^{-2πk})) = 0. Therefore the printed formula gives ΔS=0 identically. This contradicts the non-zero cylinder-limit value ΔS=-π^2ℓ^2/(36P^2) derived in Eq. (6.9) from the same bracket. Unless the displayed fractions are a rendering typo, the entropy result (6.2)-(6.5) is internally inconsistent. The reader's concern about the one-dimensionality of the homogeneous solution space in Section 5 is also valid but secondary: the injectivity of map (5.9) is used to infer dimension one, and that injectivity rests on the asserted uniqueness of (S1)-(S3)+(5.3), which is not fully demonstrated for the torus. A failure there would invalidate (5.15), but the Eq. (6.5) issue is decisive as written.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper computes the entanglement entropy and Rényi entropies of an interval for a chiral scalar field on a circle at arbitrary temperature. The authors express the entropy in terms of the resolvent of an operator constructed from the two-point function, and they solve the associated Riemann-Hilbert problem on the complex torus using Weierstrass elliptic functions. The main results are the resolvent formula (5.15), the entropy formula (6.2)-(6.5), and the Rényi entropy formula (6.14)-(6.15). The plane and cylinder limits are checked against known results, and the entropy integrals are claimed to be real, finite, and numerically verified.","tokens_in":14051,"tokens_out":27621,"duration_ms":241702,"significance":"If the results are correct, this is a substantial technical contribution: it provides an exact resolvent for the chiral current at arbitrary temperature, from which arbitrary functions of the reduced density matrix can in principle be computed, and it gives explicit Rényi entropies as well as entanglement entropy. The derivation is largely self-contained, and the reproduction of the known plane result (4.21) and the cylinder result (6.10) are strong consistency checks. A limitation is that the torus resolvent depends on the function µ, which is defined only implicitly by the contour integral (5.14); for the general torus the final entropy is therefore an integral representation requiring numerical evaluation rather than a closed elementary expression. The paper also goes beyond the particular observable by explaining how the resolvent can be used to construct modular Hamiltonians and other density-matrix functions.","major_comments":[{"comment":"As printed, the bracket in Eq. (6.5) is identically zero: log[(e^{2πk}-1)/(e^{2πk}-1)] - log[(1-e^{-2πk})/(1-e^{-2πk})] = 0 for every k. Therefore Eq. (6.5) gives ΔS = 0, which contradicts the non-zero cylinder-limit value ΔS = -π²ℓ²/(36P²) computed in Eq. (6.9), and it is incompatible with the n→1 limit of the Rényi formula (6.14)-(6.15). The correct bracket should be the entropy function g(ξ) = ξ log ξ - (ξ-1) log(ξ-1) evaluated at ξ = 1/(1-e^{-2πk}) (equivalently ξ = e^{2πk}/(e^{2πk}-1)), as follows from the change of variables in Eq. (6.3); with that replacement, the cylinder integral in (6.9) can yield the stated value. Please correct (6.5), re-derive (6.9), and verify the numerical plots and the consistency at n→1.","section":"6.1, Eq. (6.5)"},{"comment":"The proof that the homogeneous solution space of (S1)-(S3) is one-dimensional is elliptical and is load-bearing for the resolvent (5.15). The claim that d/dz ∮ G(z,w)F(w)dw = 0 for arbitrary analytic F on T-\\bar V is not fully demonstrated: the contour must move with z, and the integrand ∂_zG(z,w)F(w) has a double pole at w = z, so the derivative does not obviously vanish. The injectivity of the map (5.9) and the conclusion that the homogeneous space has dimension one depend on this step. Please provide a complete argument for (5.8), or an alternative proof of uniqueness and of the one-dimensionality of the homogeneous solution space. Without such a proof, the form of λ in (5.12) and the resolvent formula (5.15) are not fully established.","section":"5, Eqs. (5.8)-(5.12)"}],"minor_comments":[{"comment":"The text says that k takes values in the strip Im k ∈ (0,1) throughout the relevant ξ domain, but on the two sides of the cut (1,∞) the branch values have Im k = 0 and Im k = 1. Please clarify whether the strip is open or closed for the branch choices used in (4.16).","section":"4.3, around Eq. (4.10)"},{"comment":"There are several typographical errors, e.g. 'satyisfying' in the Introduction and 'analitycity' in §4.1; these should be corrected.","section":"General"},{"comment":"Figure 3 would be easier to interpret with axis labels and a description of how the implicit function µ(x,k) from (5.14) and the integral in (6.5) were evaluated numerically; please add these details in the caption or the text.","section":"6.1, Figure 3"},{"comment":"The symbol Θ in Eq. (2.2) is not defined; please state explicitly that it denotes the Heaviside step function.","section":"2, Eq. (2.2)"}],"recommendation":"major_revision","confidential_remarks":"The error in Eq. (6.5) appears to be a transcription or typesetting error rather than a fundamental conceptual flaw, because a correct entropy formula can be recovered directly from Eq. (6.3) and from the n→1 limit of the Rényi formula (6.15). I would ask the authors to correct the displayed formula, re-derive the cylinder limit, and re-run the numerical checks. I would also ask them to expand the proof in Section 5 concerning the one-dimensionality of the homogeneous solution space before the paper is accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does something genuinely new: it writes down an exact resolvent for the chiral current on a circle at finite temperature, Eq. (5.15), and derives Rényi entropies from it by Cauchy integrals. The plane and cylinder limits reproduce known results, which is a real consistency check, and the resolvent itself should be useful beyond the entropy computation. The Riemann–Hilbert strategy is a natural extension of the authors' earlier chiral fermion work, and the derivation is mostly self-contained.\n\nBut as printed, the central entropy formula is internally inconsistent. In Eq. (6.5), the square bracket contains log((e^{2πk}-1)/(e^{2πk}-1)) minus log((1-e^{-2πk})/(1-e^{-2πk})). Both log arguments are identically 1, so the bracket vanishes and ΔS = 0 regardless of ν. This directly contradicts Eq. (6.9), where the same bracket is integrated to −π²ℓ²/(36P²). The non-zero cylinder limit is presumably the correct result; the displayed fractions look like a rendering typo, but as written the paper's headline thermal correction is empty. A referee needs to see the corrected formula before anything else.\n\nThe secondary soft spot the reader flagged is real but less serious. The uniqueness argument for the homogeneous Riemann–Hilbert solution uses injectivity of the map (5.9), whose proof itself leans on the uniqueness being proved. That is a mild circularity, not a fatal one—it can likely be patched with a direct index argument—but it should be spelled out.\n\nOverall, the method and the resolvent are worth engaging with. The paper deserves a serious referee, not a desk rejection, but it should not be accepted until Eq. (6.5) is corrected and verified. I would not cite it in its current form; once the typo is fixed, the resolvent alone would justify citing it. For a reading group, it is a useful case study in how a small formula slip can sink a technical paper, but I would wait for a corrected version.","headline":"A promising resolvent-method paper for chiral scalars on the torus is undermined as printed by a trivial typo in Eq. (6.5) that zeroes out the claimed thermal correction.","tokens_in":14586,"tokens_out":1422,"would_cite":false,"duration_ms":14651,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["81T40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper derives the exact resolvent of the reduced-density-matrix operator for a chiral current on a circle at any temperature, and from it the entanglement and Rényi entropies of an interval.","keywords":["entanglement entropy","Rényi entropy","chiral scalar","chiral current","resolvent method","Riemann-Hilbert problem","Weierstrass elliptic functions","torus"],"falsifier":"On a fine one-dimensional lattice, numerically solve the integral equation $(G_V-\\xi)R f=f$ for a test function $f$ and compare with the kernel (5.15); a mismatch in the $x\\neq y$ part at finite $\\xi$ would refute the resolvent formula. A cheaper check is to evaluate the contour integral $I(a,k)$ in (5.14) over a grid of $k$: if it vanishes anywhere, the ratio $\\mu$ in (5.13) is singular and (5.15) cannot hold.","tokens_in":13650,"feed_emoji":"","tokens_out":12688,"duration_ms":110229,"temperature":0.7,"pith_summary":"The paper establishes an exact formula for the resolvent of the operator $G_V$ that controls the reduced density matrix of a chiral scalar (a chiral current) on a circle at arbitrary temperature. The resolvent is the key object because every function of the reduced density matrix, in particular the entanglement entropy, can be written as a contour integral of the resolvent. The authors solve the associated Riemann-Hilbert problem: find a function analytic on the complex torus minus the interval, with a prescribed jump across the interval and an extra contour condition that fixes the constant ambiguity. The resulting resolvent (equation (5.15)) is then integrated to give the entanglement entropy (equations (6.2)--(6.5)) and all Rényi entropies (equations (6.14)--(6.15)), recovering known plane and cylinder limits as checks. If correct, this supplies the first exact finite-temperature entanglement data for the chiral scalar on the circle and opens the way to the modular Hamiltonian.","feed_headline":"Exact resolvent gives entanglement entropies on the torus","feed_subtitle":"Chiral scalar at any temperature: one operator resolvent yields interval entropy and Rényi entropies.","key_machinery":"The mechanism is the Riemann-Hilbert reformulation of the resolvent equation. One looks for $S=G R f$, analytic on the torus with the interval removed, satisfying the jump condition $S_- - S_+ = (S_- - f)/\\xi$ together with the vanishing contour condition (5.3). The solution starts from the ansatz $S_0 = e^{-ik\\Omega} H(e^{ik\\Omega_-}f)/(1-\\xi)$, where $k=\\frac{1}{2\\pi}\\log\\frac{\\xi}{1-\\xi}+\\frac{i}{2}$ and $\\Omega(z)=\\int_a^b dy\\,\\zeta(z-y)$, then adds the homogeneous solution $\\Delta_0$ with a constant fixed by imposing (5.3); the ratio of contour integrals defines $\\mu(y,k)$. The Weierstrass $\\sigma$ function $\\sigma$ supplies the quasiperiodic zero structure that makes the jump conditions and endpoint behavior work on the torus, replacing the polynomial falloff used on the plane.","core_discovery":"On the paper's own terms, the central result is the exact kernel (5.15) for the resolvent $R(x,y;\\xi)=(G_V-\\xi)^{-1}(x,y)$ of the operator $G_V$ built from the two-point function of the chiral current on a torus of spatial length $L$ and inverse temperature $\\beta$. The kernel is expressed through Weierstrass functions: a $\\sigma$-function ratio gives the plane-like part, and the function $\\mu(y,k)$, defined by the contour integral (5.13)--(5.14), encodes the periodic torus corrections and fixes the solution uniquely. From this resolvent the paper derives the entanglement entropy $S=\\frac{1}{6}\\log\\frac{\\sigma(\\ell)}{\\epsilon}+\\Delta S$, with $\\Delta S$ given by a real, finite double integral (6.5), and the Rényi entropies (6.14)--(6.15). The authors verify that the formula reduces to the known CFT results on the plane and cylinder, and that the Rényi entropies decrease monotonically in $n$.","pith_inferences":["A direct numerical test is available: build $G_V$ on a fine discretization of the circle from the two-point function (3.8), find its spectrum, and compare with the poles of (5.15); any discrepancy would localize to the contour function $\\mu$, the only numerically defined ingredient.","The method of images, made precise for the chiral fermion, suggests that the single-interval torus resolvent is equivalent to an infinite periodic stack of intervals on the plane; if so, the torus modular Hamiltonian should inherit the nonlocal structure found for two intervals on the plane.","The same Riemann-Hilbert strategy should transfer to other Gaussian fields on the torus, since only the kernel's pole structure and the jump data would change."],"forward_implications":["The resolvent (5.15) determines every function of the reduced density matrix, not only the entropy, so other modular quantities for the chiral scalar on a circle are in principle computable.","The entropy formula (6.2)--(6.5) reduces to the known cylinder result $S=\\frac{1}{6}\\log\\left(\\frac{P}{\\pi\\epsilon}\\sin\\frac{\\pi\\ell}{P}\\right)$ when one torus period becomes infinite, matching the vacuum-on-circle and thermal-on-line limits.","The Rényi entropies (6.14)--(6.15) are real, finite, and decrease monotonically in $n$, and they reduce to the entanglement entropy as $n\\to 1$.","The same resolvent feeds the modular Hamiltonian through (7.2), so the remaining obstacle to that object is the asymptotic control of $\\mu$ near the spectral edges."],"supporting_citations":[{"why":"Supplies the entropy formula and the definition of the operator GV, and introduces the Riemann-Hilbert viewpoint for this model that this paper extends to the resolvent.","marker":"[24]"},{"why":"Gives the global expression of entropy in terms of field correlations, cited alongside [24] for the starting point of the resolvent method.","marker":"[25]"},{"why":"Supplies the Weierstrass-function toolkit (Appendix A) and the torus results for the chiral fermion that anchor the expected structure and the cylinder-limit checks.","marker":"[17]"},{"why":"Fixes the constant in the thermal two-point function on the torus, agreeing with the propagator used in section 3.","marker":"[28]"},{"why":"Provides the universal vacuum entropy used as the plane-limit consistency check.","marker":"[29]"},{"why":"Gives the known entropy scaling for one-dimensional gapless models, one of the cylinder-limit formulas recovered in section 6.","marker":"[30]"},{"why":"Provides the conformal-field-theory cylinder entropy formula recovered when one torus period goes to infinity.","marker":"[31]"}],"fun_headline_variants":["Exact resolvent yields torus entanglement entropy","One resolvent gives all Rényi entropies on torus","Chiral scalar on torus: exact entropy at any temperature","Torus entanglement: exact resolvent, all Rényi entropies","Exact kernel for chiral scalar entanglement on torus"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The derivation relies on the assertion that the Riemann-Hilbert problem has a unique solution: the homogeneous version must have exactly a one-dimensional space of solutions, and the contour map (5.9) that encodes condition (5.3) must be injective; if either of these fails, the resolvent kernel (5.15) and the entropies derived from it would be incorrect.","fun_headline_variants_meta":{"raw":{"variants":["Exact resolvent yields torus entanglement entropy","One resolvent gives all Rényi entropies on torus","Chiral scalar on torus: exact entropy at any temperature","Torus entanglement: exact resolvent, all Rényi entropies","Exact kernel for chiral scalar entanglement on torus"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00113,"raw_usage":{"total_tokens":4651,"prompt_tokens":856,"completion_tokens":3795,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":472,"completion_tokens_details":{"reasoning_tokens":3709}},"tokens_in":472,"tokens_out":3795,"duration_ms":28417,"temperature":1.0,"reasoning_tokens":3709,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T00:42:04.881025+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"On a fine one-dimensional lattice, numerically solve the integral equation $(G_V-\\xi)R f=f$ for a test function $f$ and compare with the kernel (5.15); a mismatch in the $x\\neq y$ part at finite $\\xi$ would refute the resolvent formula. A cheaper check is to evaluate the contour integral $I(a,k)$ in (5.14) over a grid of $k$: if it vanishes anywhere, the ratio $\\mu$ in (5.13) is singular and (5.15) cannot hold.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the entropy formula and the definition of the operator GV, and introduces the Riemann-Hilbert viewpoint for this model that this paper extends to the resolvent."},{"cited_title":"Blanco, A","cited_arxiv_id":null,"evidence_quote":"Supplies the Weierstrass-function toolkit (Appendix A) and the torus results for the chiral fermion that anchor the expected structure and the cylinder-limit checks."},{"cited_title":"Eguchi and H","cited_arxiv_id":null,"evidence_quote":"Fixes the constant in the thermal two-point function on the torus, agreeing with the propagator used in section 3."}],"review_version":1}