{"id":"ee23c68f-89c1-455a-9cb2-ed5e8d9e5190","arxiv_id":"2608.09737","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The zeta determinant of the Dirichlet-to-Neumann map of a surface with boundary equals the determinant of the discrete part of its boundary Hilbert transform, a product of period ratios on the double surface.","lead":"For a two-dimensional surface with boundary, this paper expresses the zeta-regularized determinant of the Dirichlet-to-Neumann map as a product of periods of holomorphic differentials on the doubled surface. The result connects the length spectrum of the surface to algebraic period data and offers an elementary route to a known conformal invariant.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof of Eq. (6) relies on Kontsevich–Vishik determinants of H and H0, but it does not establish the required sectoriality and analytic-continuation hypotheses for the family B(t), so the path-independence argument is unsubstantiated.","rationale":"The paper's central claim is plausible and the construction is elegant, but the proof depends on formula (10), whose hypotheses are not verified for the order-zero operators in play. The reader's weakest-assumption analysis identified exactly this: sectoriality and analytic-continuation requirements for B(t) and A(t)B(t) are asserted but not proved. My reading confirms that the invertibility argument in step ii and the trace-class checks for \\dot B and \\dot J are sound; the missing piece is a proof that B(t) and A(t)B(t) are sectorial for all t in the chosen path, which is needed to define log B(t), to justify the resolvent estimate in (9), and to ensure the analytic continuation in s. Also, the introduction says no determinant of H exists, while formula (11) uses det_Q(H), so the manuscript must clarify how the KV determinant is defined for these order-zero operators. A numerical check on a concrete genus-1 surface is a practical way to detect whether sectoriality can fail; even if it does not fail in examples, a general argument is required to support the path-independence. Therefore the verdict should remain conditional: accept if the missing sectoriality/analyticity verification is supplied, otherwise the proof as written is incomplete.","tokens_in":7193,"tokens_out":10013,"duration_ms":65628,"concrete_test":"Take a concrete genus-1 example with connected boundary, e.g. a flat torus with a small circular hole, and compute the spectrum of B(\\theta)=H0+\\theta(H-H0) for \\theta in [0,1] by discretizing the boundary integral operators \\Lambda and \\partial_\\gamma. Check whether every eigenvalue of B(\\theta) stays in a fixed sector, say the closed right half-plane together with the imaginary axis, and whether the resolvent norm obeys the sectorial estimate; in particular, check whether any eigenvalue crosses the negative real axis (the natural cut) for \\theta in [0,1]. If a crossing occurs, formula (10) cannot be applied and the proof of (6) fails as written.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Eq. (10) is the engine of the proof. For it to hold, each A(t), B(t), and A(t)B(t) must be sectorial pseudodifferential operators with trace-class t-derivatives, and the regularized traces Tr(Q^{-s} log B(t)) must admit analytic continuation to s=0. The paper verifies only invertibility of B(t) via compactness of H0 \\tilde H, and trace-class property of \\dot B; it does not prove sectoriality of B(t)=H0+\\theta\\tilde H or of A(t)B(t)=\\Lambda0+\\theta\\tilde\\Lambda. This is not a technicality: H and H0 have essential spectrum {-i,+i}, so any KV determinant requires a sector (equivalently a cut) avoiding the spectrum and a resolvent bound outside it. The introduction explicitly states that no zeta-regularized or Fredholm determinant of H can be defined, yet formula (11) uses det_Q(H). If for some \\theta an eigenvalue of B(t) crosses the chosen cut, log B(t) is discontinuous, the variational formula (9) fails, and the derivation of (12) collapses. The compactness of H0\\tilde H rules out non-invertibility but not sectoriality failure. Thus Eq. (6) rests on an unverified analytic assumption. If this assumption fails, the ad hoc definition DET(H) does not equal det_Q(H)/det_Q(H0), and the claimed connection to periods in (7) is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims a formula relating the zeta-regularized determinant of the Dirichlet-to-Neumann map of a surface with boundary to periods of holomorphic differentials on its double. The main identity is Eq. (6), detζ(Λ) = detζ(∂γ) · DET(H), where DET(H) is a finite product of the 2g discrete eigenvalues ±iμk of the Hilbert transform H of the surface. The authors derive Eq. (6) using Kontsevich-Vishik determinants of pseudodifferential operators and a variational formula for their logarithms. As a corollary, they obtain Eq. (7), relating the Ruelle zeta function of the uniformized surface at s=0 to (μ1⋯μg)^2. An appendix gives a proof of the period interpretation of the eigenvalues and an explicit equation (18) involving the period matrix of the double.","tokens_in":7527,"tokens_out":12717,"duration_ms":115363,"significance":"If the main identity is made rigorous, the paper gives an attractive and conceptually new expression for the conformal invariant detζ(Λ)/|Γ| purely in terms of periods of holomorphic differentials on the double. The corollary (7) is a concrete, falsifiable bridge between length-spectrum data and period data. The proof structure is elegant, and the appendix provides a self-contained derivation of the period lemma, including a nontrivial period-matrix condition. The manuscript has no free parameters. The main weakness is that the analytic foundations of the Kontsevich-Vishik determinant for the operators H and B(t) are not established; the central claim is therefore conditional on an unproved regularization hypothesis.","major_comments":[{"comment":"The multiplicativity formula (10) is applied to the families B(t)=θ(t)H+(1-θ(t))H0 and A(t)B(t)=θ(t)Λ+(1-θ(t))Λ0 without verifying the defining hypotheses of the Kontsevich-Vishik determinant. The paper checks only invertibility and trace-class properties of the derivatives; it does not prove that each B(t) is sectorial, that Q^{-s}log B(t) is trace class for Re s large, or that the relevant regularized traces admit analytic continuation to s=0. This is not a cosmetic gap: B(t) inherits the essential spectrum {−i,+i} from H0, and the introduction explicitly states that no zeta-regularized or Fredholm determinant of H can be defined. Since Eq. (11) is the step that produces a relation involving det_Q(H), the derivation of (6) is unsupported unless a separate regularization theorem for these non-sectorial operators is supplied.","section":"Proof of formula (6), items i)-ii), Eqs. (10)-(11)"},{"comment":"The identification det_Q(H)/det_Q(H0)=DET(H) rests on the ad hoc convention DET(H0)=1 and on the formal statement that the essential eigenvalues ±i contribute a unit determinant. This cancellation is not derived from the Kontsevich-Vishik determinant det_Q(H0); it is put in by hand in the definition (5). As written, Eq. (12) equates a finite product over discrete eigenvalues with a ratio of KV determinants whose existence and essential-spectrum contributions are not established. A rigorous treatment must either construct the KV determinants of H and H0 and compute their essential-spectrum part, or replace this step with a different regularization argument.","section":"Proof of formula (6), item iii), Eq. (12)"},{"comment":"The variational formula (9) requires that the boundary terms in the integration by parts vanish and that ∂_t can be interchanged with the analytic continuation and the Hadamard finite part. The text justifies this only by the conditional phrase 'if the right-hand is well-defined for ℜs>−ε'. For B(t), the right-hand side involves (λI-B(t))^{-1} in the presence of essential spectrum on the imaginary axis, and the required resolvent bounds are not proved. This is an independent aspect of the same analytic gap and affects the derivation of Eq. (12) even if sectoriality of B(t) is granted.","section":"Proof of formula (6), item i), Eqs. (8)-(9)"}],"minor_comments":[{"comment":"There are several typos: 'Rouelle' should be 'Ruelle', 'confromal' should be 'conformal', and 'pseudodifferenial' should be 'pseudodifferential'.","section":"Abstract and Introduction"},{"comment":"The notation DET(H) is not a determinant in the standard operator sense; please state explicitly that it is a formal product over the discrete spectrum and clarify that DET(H0)=1 is a convention, not a derived value.","section":"Eq. (5)"},{"comment":"In the sentence containing 'detQ(I)=0', the intended statement is that log detQ(I)=0, equivalently detQ(I)=1; the current wording is misleading.","section":"Proof of formula (6), item iii)"},{"comment":"The appendix begins with 'Suppose that Hf=-λf', so the symbol λ is the negative of the eigenvalue of H; this sign convention makes the comparison with Lemma 1 harder to follow and should be stated explicitly.","section":"Appendix, proof of Lemma 1"},{"comment":"The text says the product in the Ruelle zeta function is over primitive closed geodesics in (2M,h∞), but the surrounding sentence mentions both (M\\Γ,h∞) and the double; please make clear which hyperbolic surface carries the geodesics used in Eq. (2).","section":"Introduction, Eq. (2)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a short research announcement with an attractive formula, but the gap in the Kontsevich-Vishik determinant step is substantial. If the authors can provide a rigorous construction of the regularized determinants of H and H0, or an alternative derivation of the cancellation of the essential spectrum, the paper would be suitable for publication. In its present form, the central identity (6) is a plausible conjecture rather than a theorem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nYou asked for a read on Korikov–Kokotov. The headline: the formula is genuinely new and worth knowing, but the proof as written has a load-bearing gap in the Kontsevich–Vishik determinant step. I would send it to a serious referee, but expect major revision.\n\nWhat's new: Eq. (6) expresses the conformal invariant det_ζ(Λ)/|Γ| as det_ζ(∂γ) times a product of the 2g discrete eigenvalues of the boundary Hilbert transform H; the corollary (7) connects the Ruelle zeta at zero to periods of holomorphic differentials on the double. Neither identity appears in Edward–Wu or Guillarmou–Guillopé. The paper is clearly structured, and the appendix supplies a self-contained proof of the period lemma (Lemma 1) relating eigenvalues of H to period matrices. That part is plausible and is a genuine contribution.\n\nThe soft spot is exactly where the stress-test note lands. The paper uses det_Q(H) and det_Q(H0), and the path-independence formula (10), for operators whose essential spectrum lies on the imaginary axis. The authors explicitly say no zeta-regularized or Fredholm determinant of H can be defined, then proceed to use det_Q(H) anyway. The KV determinant needs sectoriality. The proof of (10) requires sectoriality and analytic continuation for the whole family B(t)=H0+θ\\tilde H. What the paper checks is invertibility, using compactness of H0\\tilde H; that does not imply sectoriality. If an eigenvalue crosses the chosen cut for some θ, log B(t) is discontinuous and the variational formula (9) fails. So the equality det_Q(H)/det_Q(H0)=DET(H) in (12) is unsubstantiated. The ad hoc definition DET(H)=det(H_disc) is fine as a definition, but the proof needs to show it coincides with the KV ratio (or avoid KV for H altogether and prove (6) by another route).\n\nMinor: the sign choices in the appendix are not fully justified, but the period lemma seems workable.\n\nFor a reader, this is a spectral-geometry/inverse-problems paper. The formula is attractive and if the gap is closed it's a solid result. I would not cite it in the next year until the analytic part is fixed. But it clearly deserves referee time, not a desk reject. My recommendation: conditional acceptance pending a rigorous treatment of the KV determinant step.\n\nBest.","headline":"New period formula for the DN determinant, but the KV determinant step is not justified for non-sectorial H; needs major revision.","tokens_in":8046,"tokens_out":2903,"would_cite":false,"duration_ms":18222,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["58J52","30F30","58J40"],"pacs":[],"model":"deepseek-v4-flash","headline":"For surfaces with boundary, the Dirichlet-to-Neumann determinant factorizes into a boundary derivative term and the squared product of the genus-many period numbers.","keywords":["Dirichlet-to-Neumann map","zeta-regularized determinant","Hilbert transform","holomorphic differentials","Schottky double","Ruelle zeta function","conformal invariant","pseudodifferential operator"],"falsifier":"Compute both sides of formula (6) for a genus-one surface such as a flat torus with a disk removed: the ζ-regularized determinant of Λ on one side and the period number μ₁ on the other; if (μ₁)² does not equal det_ζ(Λ)/|Γ|, the factorization fails. Alternatively, exhibit an interpolating operator B(t) in the family whose spectrum is not contained in a closed sector, which would invalidate the Kontsevich–Vishik step.","tokens_in":7008,"feed_emoji":"📐","tokens_out":6920,"duration_ms":57738,"temperature":0.7,"pith_summary":"This paper establishes an exact factorization for the zeta-regularized determinant of the Dirichlet-to-Neumann (DN) map on a smooth orientable surface with connected boundary. The result states that det_ζ(Λ) = det_ζ(∂γ) · DET(H), where DET(H) is the product of the 2g discrete eigenvalues ±iμ₁,…,±iμ_g of the boundary Hilbert transform H = ∂$γ^{{-1}}$Λ, equivalently (μ₁⋯μ_g)². Since det_ζ(∂γ) equals the boundary length |Γ| and the quotient det_ζ(Λ)/|Γ| is a conformal invariant, the invariant is now expressed purely in terms of periods of holomorphic differentials on the double 2M. A corollary identifies the value at s=0 of the normalized Ruelle zeta function of the uniformized surface with (1−g)(μ₁⋯μ_g)². If correct, this connects boundary spectral data to complex geometry in a direct, parameter-free way.","feed_headline":"DN determinant pinned by holomorphic differential periods","feed_subtitle":"The conformal invariant detζ(Λ)/|Γ| is shown to equal (μ₁⋯μ_g)², a pure period-matrix quantity.","key_machinery":"The machinery is the boundary Hilbert transform H = ∂$γ^{{-1}}$Λ, a zero-order pseudodifferential operator whose essential spectrum is the pair {−i,+i} and whose discrete spectrum encodes the complex structure of M. The proof uses the Kontsevich–Vishik determinant det_Q for sectorial pseudodifferential operators and the path-independence and multiplicativity formula (10) for the two one-parameter families A(t)=∂γ and B(t)=θ(t)H+(1−θ(t))H₀, where H₀ is the Hilbert transform of the disk. A second variational argument for J(t)=−B(t)² shows that det_Q(H)/det_Q(H₀) equals DET(H), the product over the discrete spectrum; regularizer independence and the equality det_Q(Λ)=det_ζ(Λ) then deliver the main formula. The periods enter through Lemma 1, which relates the eigenvalues ±iμ_k to integrals of harmonic forms over l and τ∘l.","core_discovery":"The paper's central claim is the identity det_ζ(Λ) = det_ζ(∂γ) · DET(H) for a surface (M,g) of genus g with connected boundary Γ. Here Λ is the DN map, ∂γ is differentiation along Γ, and H = ∂$γ^{{-1}}$Λ is the Hilbert transform of M. H has essential spectrum {−i,+i} and 2g discrete eigenvalues ±iμ_k with 0<μ_k<1; the paper defines DET(H) as the product of these discrete eigenvalues only, formally treating the essential eigenvalues as contributing 1. The numbers μ_k are periods of Abelian differentials on the Schottky double 2M, as made precise in Lemma 1. Combining the main identity with the known genus-zero value det_ζ(∂γ)=|Γ| and with the Ruelle zeta formula of [2] yields ((2πs)^{-g}R(s))|_{s=0} = (1−g)(μ₁⋯μ_g)². Thus a spectral invariant that previously required hyperbolic length spectra is determined by the period matrix of the double.","pith_inferences":["If formula (6) holds, the same period product should control the quotient of zeta determinants under arbitrary conformal rescalings; a numerical test on a once-punctured torus could compare both sides using standard boundary integral solvers.","The proof's restriction to the discrete spectrum suggests that any alternative regularized determinant for H must cancel the essential eigenvalues in exactly the same formal way, a consistency condition not addressed in the paper.","The relation may extend to surfaces with several boundary components, where the double has a larger period lattice, but the paper does not treat that case.","Because the μ_k depend only on the complex structure, formula (7) predicts the Ruelle zeta value at zero is a conformal invariant of the original surface, consistent with the known invariance of det_ζ(Λ)/|Γ|."],"forward_implications":["The conformal invariant det_ζ(Λ)/|Γ| is computable as (μ₁⋯μ_g)² from period data on the double, bypassing the Ruelle and Selberg zeta functions.","Formula (7) gives a new relation between the length spectrum of the uniformized surface-with-boundary, through the Ruelle zeta value at zero, and the period matrix of the double.","For genus g=1, the invariant reduces to μ₁², so the determinant is controlled by a single period ratio.","The determinant of H is defined through its discrete spectrum only, making DET(H₀)=1 for the disk, consistent with det_ζ(Λ₀)=|Γ|.","The equality det_Q(Λ)=det_ζ(Λ) shows that the Kontsevich–Vishik determinant with regularizer Λ reproduces the zeta-regularized DN determinant."],"supporting_citations":[{"why":"Supplies the genus-zero result det_ζ(Λ₀)=det_ζ(∂γ)=|Γ| that anchors the factorization.","marker":"[1]"},{"why":"Gives the Ruelle zeta formula whose corollary (7) is the period–length-spectrum link.","marker":"[2]"},{"why":"Provides the spectral description of H and its relation to periods of Abelian differentials on the double.","marker":"[4]"},{"why":"Defines the Kontsevich–Vishik determinant for sectorial pseudodifferential operators used throughout the proof.","marker":"[5]"},{"why":"Supplies the variational determinant formula behind the path-independence identity (10).","marker":"[6]"},{"why":"Supplies the multiplicative properties of determinants that yield formula (10).","marker":"[7]"},{"why":"Justifies the absence of a pure logarithmic term, so the zeta determinant of Λ is regular at s=0.","marker":"[8]"},{"why":"Source of Lemma 1, which expresses the discrete eigenvalues ±iμ_k as period data on the double.","marker":"[10]"}],"fun_headline_variants":["Period product squares to DN determinant invariant","Boundary determinant equals squared period product","Holomorphic differential periods fix DN invariant","DN invariant pinned by double's period matrix","Squared periods give the conformal DN invariant"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that the family of operators interpolating between the disk Hilbert transform and the surface's Hilbert transform meets the analytic requirements of the determinant formalism it uses, namely sectoriality and trace-class derivatives, and that the formal removal of the essential eigenvalues in DET(H) is compatible with that formalism; only invertibility along the path is actually checked.","fun_headline_variants_meta":{"raw":{"variants":["Period product squares to DN determinant invariant","Boundary determinant equals squared period product","Holomorphic differential periods fix DN invariant","DN invariant pinned by double's period matrix","Squared periods give the conformal DN invariant"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000511,"raw_usage":{"total_tokens":2581,"prompt_tokens":1133,"completion_tokens":1448,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":749,"completion_tokens_details":{"reasoning_tokens":1384}},"tokens_in":749,"tokens_out":1448,"duration_ms":11197,"temperature":1.0,"reasoning_tokens":1384,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:43:01.871338+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute both sides of formula (6) for a genus-one surface such as a flat torus with a disk removed: the ζ-regularized determinant of Λ on one side and the period number μ₁ on the other; if (μ₁)² does not equal det_ζ(Λ)/|Γ|, the factorization fails. Alternatively, exhibit an interpolating operator B(t) in the family whose spectrum is not contained in a closed sector, which would invalidate the Kontsevich–Vishik step.","supporting_citations":[{"cited_title":"Edward, S","cited_arxiv_id":null,"evidence_quote":"Supplies the genus-zero result det_ζ(Λ₀)=det_ζ(∂γ)=|Γ| that anchors the factorization."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the spectral description of H and its relation to periods of Abelian differentials on the double."},{"cited_title":"Determinants of elliptic pseudo-differential operators","cited_arxiv_id":"hep-th/9404046","evidence_quote":"Defines the Kontsevich–Vishik determinant for sectorial pseudodifferential operators used throughout the proof."},{"cited_title":"On Multiplicative Properties of Determinants","cited_arxiv_id":"1801.10606","evidence_quote":"Supplies the multiplicative properties of determinants that yield formula (10)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Justifies the absence of a pure logarithmic term, so the zeta determinant of Λ is regular at s=0."},{"cited_title":"On non-homeomorphic surfaces with close DN maps","cited_arxiv_id":"2602.13236","evidence_quote":"Source of Lemma 1, which expresses the discrete eigenvalues ±iμ_k as period data on the double."}],"review_version":1}