{"id":"bdf38fc0-f1bc-45ff-9a94-4f11ddbad25f","arxiv_id":"1908.01787","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":8,"one_line_summary":"For a free-fermion chain with a hopping defect, the quantum Renyi relative entropies are expressed as a fitted formula that depends on the effective central charge and subsystem size.","lead":"This paper computes a family of quantum information distances, the Renyi relative entropies, for an infinite chain of free fermions with a weak-link defect. It finds that all of them can be summarized by a compact formula involving the effective central charge of the defect.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (21) is a curve fit, not a derived law: the ansatz is chosen by inspection and its coefficients are fitted to the same data, so out-of-sample predictive content is unestablished.","rationale":"The reader and I identify the same soft spot: eq. (21) is an empirically chosen fitting form whose coefficients are fixed on the same data on which it is validated. In a numerical study this is not disqualifying by itself, but the paper's abstract and conclusions promote it to \"an explicit analytic expression\" and a general characterization via L and ceff(t). That promotion requires predictive validation, which is absent. I looked for other weaknesses as well: the correlation-matrix formula (19) is standard, the reproduction of the known defect entanglement entropy in Figs. 3-4 is consistent with Peschel's results, and the alpha -> 1 limit is physically plausible because the fitted b_1/3 is close to (1 - ceff(0))/3, matching the small phi(t) range quoted at the end of Section 3.2.1. These points give the numerical engine and the limiting behaviour some internal support, but they do not test the ansatz itself. Since the reader's CONDITIONAL verdict already reflects the fit circularity, my stress-test does not move the verdict: the paper should remain conditionally accepted, with the out-of-sample computation as the natural condition for upgrading it.","tokens_in":9625,"tokens_out":7474,"duration_ms":81393,"concrete_test":"Compute S_alpha from eq. (19) for parameter values not used in the fits, for instance L=150, 200, 300; t=0.15, 0.35, 0.65; and alpha=0.55, 0.85, then compare with eqs. (21)-(22) using the quoted coefficients. If the relative deviations exceed the numerical precision of the diagonalization or a stated tolerance such as 10^-3, the formula fails out of sample and the central claim should be weakened.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, eq. (21), rests on the functional ansatz introduced at eq. (20) with the words \"one can try to fit a function on top of the numerical data.\" The four coefficient functions a_alpha, b_alpha, c_alpha, d_alpha in eq. (22) are fitted to the same S_alpha data that eq. (21) is then compared against in Figs. 13 and 14. The agreement shown there is therefore in-sample and cannot by itself establish the advertised \"explicit analytic expression\" as a law. No error bars, goodness-of-fit statistics, or independent validation are provided, and the displayed L range only goes up to L=100. The unusual form c_alpha = 2.46172 - 2.06784 alpha^0.3, which is not a polynomial despite the text calling the functions polynomial, further indicates shape selection by visual convenience. If a different closed form, for example an exponent a + c log(L)/L or a + c L^{-1}, fits the same data equally well, then the claimed dependence on ceff(t) through the exponent is not pinned down. The lack of any derivation or out-of-sample check is the load-bearing weakness of the paper's central claim.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the quantum Rényi relative entropies S_α(ρ||σ) for an infinite free-fermion chain with a boundary defect, where ρ is the defected ground state and σ is the homogeneous one. It uses the Gaussian-state formula (19) to compute S_α numerically from correlation matrices for subsystem sizes up to L=100 and Rényi indices α in [0.5,1). The main proposal is Eq. (21): S_α = (b_α/3 log L + d_α)(1 - (2 c_eff(t) - 1)^{a_α + c_α L^{-1/2}}), with a_α, b_α, c_α, d_α given by the fitted functions in (22). A parallel expression (24) is proposed for an onsite potential defect, with c_eff obtained by numerical interpolation and γ_α(L) given only at α=0.5 and α=0.99. The paper further relates S_{1/2} to fidelity and interprets its L→∞ decay as Anderson orthogonality catastrophe.","tokens_in":10066,"tokens_out":3919,"duration_ms":39136,"significance":"If (21) were a genuine property, it would give a compact one-parameter description of the whole QRRE family in terms of the defect's effective central charge, with immediate limits to fidelity and relative entropy. The numerical method is standard and the paper carefully reproduces known entanglement-entropy results from Peschel. However, the central formula is not derived, and its coefficients are fitted to the same data that are then plotted as agreement; in its present form the paper establishes a numerical fit, not an explicit analytic law. The significance is therefore conditional on further validation or a derivation.","major_comments":[{"comment":"The central claim is an in-sample fit. Equation (20) is introduced with 'one can try to fit a function on top of the numerical data,' and the four coefficient functions in (22) are adjusted to reproduce the same S_α data against which (21) is checked in Figs. 13–14. No error bars, goodness-of-fit statistics, or held-out data are reported, and the L range ends at L=100. As a result the agreement in Figs. 13–14 is self-consistency of the fit, not independent confirmation. The paper should either derive the functional form (e.g., from the known structure of the entanglement Hamiltonian or from a CFT limit) or validate it out-of-sample (different L, different t, α outside the fitted interval) and quantify the fit quality.","section":"§3.2.1, Eq. (21)"},{"comment":"The text calls the coefficients in (22) polynomial functions, but c_α = 2.46172 − 2.06784 α^{0.3} is not a polynomial. More importantly, the specific shapes (linear a_α, cubic b_α and d_α, α^{0.3} c_α) are chosen by visual inspection with no uncertainty estimates; competing forms (for instance a + c log(L)/L or a + c/L) are not tested. This leaves the claimed dependence on c_eff through the exponent a_α + c_α L^{-1/2} not pinned down. Please report fit uncertainties and test alternative ansätze.","section":"§3.2.1, Eq. (22)"},{"comment":"For the onsite defect the paper claims the same dependence on the effective central charge, but c_eff(Δ) is only an interpolating function and no analytic expression is given. The L-dependence of γ_α is described by three different regimes, yet only the endpoint values γ_0.5 = 0.536104 and γ_0.99 = 0.71725 + 0.015165 log L are reported in (27); the intermediate α behavior and the coefficients c_1..c_4 are not given. The agreement claimed in Figs. 17–18 therefore covers only two α values and cannot substantiate the generic claim in (24).","section":"§3.2.2, Eqs. (24)–(27)"}],"minor_comments":[{"comment":"The phrase 'explicit analytic expression' overstates the status of (21)–(22), which contain numerically fitted coefficients; please rephrase as a 'numerical expression' or include a clear statement of the fitting procedure and its limitations.","section":"Abstract and Conclusions"},{"comment":"There are several typos and grammatical issues, e.g., 'a interface defects', 'realtive', 'measurementes', 'Coeffcient', and 'α⊂ [1/2,1)' should be 'α∈[1/2,1)'.","section":"Throughout"},{"comment":"The text says Fig. 14 is for fixed L=80, while the caption says L=100; one of these is incorrect and should be corrected.","section":"§3.2.1, Fig. 14"},{"comment":"The statement that Δ⟨Hσ⟩ ∼ φ(t) + ϕ(t) log(L) with ranges −0.30008 ≤ φ(t) ≤ 0 and −0.0009 ≤ ϕ(t) ≤ 0 is introduced without derivation or error estimates.","section":"§3.2.1, Eq. (17)"},{"comment":"The numerical exploration is restricted to α in [0.5, 0.99] and L up to 100; please clarify whether (21) is claimed beyond this region or only as an interpolation on the explored domain.","section":"§3.2.1, Eq. (21)"}],"recommendation":"major_revision","confidential_remarks":"The manuscript contains no code or data availability statement, and the central formula is a fit rather than a derived result. The underlying numerical computation of QRRE via (19) is standard and likely correct, but the lack of out-of-sample validation and error analysis makes acceptance premature. After substantial revision, including a derivation or a clear validation protocol, the work could be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper has two very different parts. The numerical computation of the Rényi relative entropies via correlator diagonalization, equation (19), is standard and I have no reason to doubt it. That part is solid, and it is genuinely new to have the full QRRE family for a defected free-fermion chain. The packaging of the data into equation (21), with dependence on the effective central charge, is also a new and interesting observation.\n\nThe problem is the advertised 'explicit analytic expression'. Equation (21) is not derived. It begins at equation (20) with 'one can try to fit a function on top of the numerical data', and the coefficients a_alpha, b_alpha, c_alpha, d_alpha are fitted to the same S_alpha data that the figures then compare against. The agreement in Figs. 13 and 14 is therefore in-sample self-consistency, not independent confirmation. There are no error bars, no goodness-of-fit statistics, and the L range stops at 100. The abstract's phrase 'explicit analytic expression' overstates what was actually established. The non-polynomial form c_alpha = 2.46172 - 2.06784 alpha^0.3, while the text calls it polynomial, reinforces the sense of shape selection by visual convenience.\n\nThat is the load-bearing weakness, and it is real. But it does not sink the paper, because the underlying numerics are believable and the pattern with ceff(t) is worth reporting. The site-defect section is softer still: the gamma coefficients are chosen by inspection, with piecewise regimes in alpha that are not predicted, so that part is closer to a report of numerical observations than to a result with predictive content. The paper would be much stronger if the author reframed (21) explicitly as a numerical fit, gave error bars and a fit-quality measure, and made at least one out-of-sample prediction—say, a larger L or an alpha outside [0.5,1]—to show the form has legs. As written, the central claim is a good hypothesis, not a law.\n\nWho is this for? People working on defect CFT, entanglement measures, and quantum information distances in lattice models. They would find the numerical benchmark useful, and the ceff dependence is suggestive enough that I would want it on the record. I would not cite it as a theorem, but I might cite it as a numerical observation if I worked on that exact model.\n\nFor peer review: yes, send it to a serious referee. It is not a desk reject; the computation is competent and the topic is relevant. But the referee should push for the reframing, the error analysis, and an out-of-sample check before acceptance.","headline":"A competent numerical study of quantum Rényi relative entropies for a defected free-fermion chain, whose advertised 'analytic expression' is really an in-sample curve fit; worth refereeing, but only after the claims are reframed and validated.","tokens_in":824,"tokens_out":864,"would_cite":false,"duration_ms":28174,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"The Rényi relative entropies of a defect fermion chain obey one closed formula.","keywords":["quantum Rényi relative entropy","free fermion chain","interface defect","effective central charge","quantum fidelity","relative entropy","correlation matrix","Anderson orthogonality catastrophe"],"falsifier":"Compute $S_\\alpha$ for subsystem lengths well beyond 100 (for example $L=10^4$) and for defects very close to $t=1$ or for $\\alpha$ outside the interval $[1/2,1]$, then check whether the data still follows equation (21) with the same fixed coefficients $a_\\alpha,b_\\alpha,c_\\alpha,d_\\alpha$; any systematic deviation would disprove the claimed closed formula.","tokens_in":9391,"feed_emoji":"⚛️","tokens_out":3642,"duration_ms":39811,"temperature":0.7,"pith_summary":"This paper analyzes the quantum Rényi relative entropies between the homogeneous state of an infinite free-fermion chain and the state with an interface defect, for Rényi order α between 1/2 and 1. It claims that, for a subsystem of length L, every such relative entropy is given by a single analytic expression whose only defect dependence enters through the effective central charge of the chain. If true, the whole family of relative entropies, including quantum fidelity at α=1/2 and the relative entropy at α→1, is characterized by just two parameters: the subsystem size and the defect's effective central charge. The paper also finds the same functional dependence for a local potential defect, suggesting a measure of universality across defect types.","feed_headline":"One formula captures defect-chain Rényi entropies","feed_subtitle":"Numerics show every order alpha is fixed by subsystem size and the defect's effective central charge.","key_machinery":"The computation rests on the Gaussian structure of the reduced density matrices: the entanglement Hamiltonian is $H=\\log(C^{-1}-1)$ in terms of the correlation matrix $C$, and the Rényi relative entropy can be written directly in terms of the two correlation matrices $C$ and $C'$ (equation (19)). The defect enters through the effective central charge $c_{\\rm eff}(t)$ of the inhomogeneous chain, which interpolates between 1/2 for a completely reflecting defect and 1 for the homogeneous chain. The fitted ansatz $S_\\alpha=(b_\\alpha/3\\log L+d_\\alpha)(1-(2c_{\\rm eff}-1)^{a_\\alpha+c_\\alpha L^{-1/2}})$ is the bridge that turns the numerics into a closed formula.","core_discovery":"The paper's central result is equation (21): for an interface defect on the boundary of the subsystem, the quantum Rényi relative entropy between the homogeneous reference state and the defected state is\n$$\nS_\\$\\alpha$(\\rho\\|\\$\\sigma$)=\\left(\\frac{b_\\$\\alpha$}{3}\\log L+d_\\$\\alpha$\\right)\n\\left(1-(2c_{\\rm eff}(t)-1)^{a_\\$\\alpha$+c_\\$\\alpha$ $L^{{-1/2}}$}\\right),\n$$\nwhere $c_{\\rm eff}(t)$ is the effective central charge of the defect, and $a_\\alpha,b_\\alpha,c_\\alpha,d_\\alpha$ are fixed polynomial functions of $\\alpha$. The same form is reported in section 3.2.2 for a one-site potential defect, with different fitted polynomials for the coefficients. The paper presents numerical evidence that this formula reproduces the data for both types of defects, for $L$ up to 100 and $\\alpha$ in the interpolating range from fidelity to relative entropy.","pith_inferences":["A testable extension is to compute $S_\\alpha$ for $L$ much larger than 100 and for defects very close to $t=1$; if the $L^{-1/2}$ term in the exponent fails to capture the large-$L$ behavior, the ansatz would need revision.","The polynomial dependence of the coefficients on $\\alpha$ suggests that the full family could be derivable from a replica or CFT calculation; if so, the fitted polynomials might be the leading terms of known special functions.","Because the only defect parameter is $c_{\\rm eff}$, the Rényi relative entropy itself could serve as an independent numerical estimator of the effective central charge in more complicated inhomogeneous systems.","The author's own conjecture that the result carries over to the transverse Ising chain, via the known correspondence of eigenvalues, is a natural next check that would directly probe the universality of the formula."],"forward_implications":["The same functional form applies to both a bond defect and a one-site potential defect, so the Rényi relative entropies appear to depend on the defect only through the effective central charge.","At $\\alpha=1/2$, the formula gives a fidelity that decays to zero as $L\\to\\infty$, providing a quantitative version of Anderson's orthogonality catastrophe in this setting.","In the limit $\\alpha\\to 1$, the formula reduces to the relative entropy and is consistent with the known logarithmic growth of the entanglement entropy difference.","The logarithmic dependence on $L$ with coefficient $b_\\alpha/3$ suggests that the relative entropies inherit the central-charge structure of the entanglement entropy.","For defects with the same effective central charge, the formula predicts identical Rényi relative entropies, which could be tested against other lattice realizations."],"supporting_citations":[{"why":"Supplies the defect correlator formulas and the logarithmic entanglement entropy form with effective central charge that the paper builds on.","marker":"[15]"},{"why":"Provides the expression of the Rényi relative entropy in terms of correlation matrices, which is the computational starting point.","marker":"[14]"},{"why":"Gives the relation between the entanglement Hamiltonian and the correlation matrix, used to construct the reduced density matrices.","marker":"[19]"},{"why":"Define the quantum Rényi relative entropies and establish their relation to fidelity and relative entropy.","marker":"[26, 27]"},{"why":"Support the effective central charge formula $c_{\\rm eff}(t)$ used throughout the fitting.","marker":"[23, 24, 25]"},{"why":"Provides the Anderson orthogonality catastrophe interpretation for the vanishing fidelity at large subsystem size.","marker":"[30]"}],"fun_headline_variants":["Analytic Rényi relative entropy for defect chains","Defect chain Rényi entropies: one formula fits all","Central charge governs defect Rényi relative entropy","Exact formula for Rényi relative entropy with defects","Unified formula for defect Rényi relative entropies"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The multiplicative form in equation (21), especially the factor $(1-(2c_{\\rm eff}-1)^{a_\\alpha+c_\\alpha L^{-1/2}})$, is an ansatz chosen by visual inspection of the numerical data and its coefficients are fitted to the same data; nothing in the paper derives this form from first principles.","fun_headline_variants_meta":{"raw":{"variants":["Analytic Rényi relative entropy for defect chains","Defect chain Rényi entropies: one formula fits all","Central charge governs defect Rényi relative entropy","Exact formula for Rényi relative entropy with defects","Unified formula for defect Rényi relative entropies"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000684,"raw_usage":{"total_tokens":3026,"prompt_tokens":792,"completion_tokens":2234,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":408,"completion_tokens_details":{"reasoning_tokens":2152}},"tokens_in":408,"tokens_out":2234,"duration_ms":15054,"temperature":1.0,"reasoning_tokens":2152,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:03:30.518871+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $S_\\alpha$ for subsystem lengths well beyond 100 (for example $L=10^4$) and for defects very close to $t=1$ or for $\\alpha$ outside the interval $[1/2,1]$, then check whether the data still follows equation (21) with the same fixed coefficients $a_\\alpha,b_\\alpha,c_\\alpha,d_\\alpha$; any systematic deviation would disprove the claimed closed formula.","supporting_citations":[{"cited_title":"Peschel, J","cited_arxiv_id":null,"evidence_quote":"Supplies the defect correlator formulas and the logarithmic entanglement entropy form with effective central charge that the paper builds on."}],"review_version":1}