The determinant of the Dirichlet-to-Neumann map for a surface with boundary and periods of holomorphic differentials on its double

arXiv:2608.09737 · math-ph, math.DG, math.MP, math.SP · Submitted 2026-08-10 · Read on arXiv

Listen

Transcript

Introduction to the show: ident: Mathematical Physics. The day in mathematical physics: rigorous models of physical systems.

Kai: We're looking at the paper: "The determinant of the Dirichlet-to-Neumann map for a surface with boundary and periods of holomorphic differentials on its double".

Mira: Here's the gist of the paper. The paper presents an elementary counterpart of formulae for Guillarmou and Guillop´e using the periods of holomorphic differentials on the double 2M of M only.

Kai: This approach establishes a connection between the length spectra of (uniformized) M, 2M and the periods of holomorphic differentials on 2M.

Mira: The primary result is the formula relating the determinant of the Dirichlet-to-Neumann map to spectral data.

Kai: Specifically, it derives formula (7) which relates the length spectrum on (M Γ, h∞) with the periods of certain basic Abelian differentials on the double (2M, τ) or the periods of harmonic differentials on M vanishing along Γ.

Title and authors: Kai: So, we're looking at this paper right now, "The determinant of the Dirichlet-to-Neumann map for a surface with boundary and periods of holomorphic differentials on its double." Mira, what do you get from the title?

Mira: It sounds like they are connecting how a surface behaves near its edge—that boundary —with these complex analytic objects, specifically the periods of those holomorphic differentials on the double 2M of that manifold M <ref:2608.09737#pg1,holomorphic differentials on the double $2M$ of>.

Lev: So, it's about linking spectral data from one place to geometric data from another; that’s a big jump.

Kai: Exactly. It suggests we can use the periods on the double 2M to calculate things about the Dirichlet-to-Neumann map on our original surface M <ref:2608.09737#pg1,the Dirichlet-to-Neumann map>.

Mira: They're essentially setting up an elementary counterpart to some older formulae by Guillarmou and Guillop´e, which is interesting because it uses the Hilbert transform of M as a starting point.

Lev: I wonder how much computational overhead this adds compared to just using standard spectral decomposition methods on M.

Kai: That's what we want to figure out. The implication here is that if you can calculate the determinant of the Dirichlet-to-Neumann map, zeta, you get access to information about the length spectrum on (M, h infinity) and periods of Abelian differentials.

Mira: And they mention a key quantity there: zeta/, which they state is a conformal invariant, meaning it doesn't change if you change the metric slightly.

The paper's summary: Kai: So, what does the main thrust of this paper actually deliver? They use the periods on the double 2M to establish a link between the length spectrum on (M, h infinity) and those periods themselves <ref:2608.09737#pg1>.

Mira: They introduce a decomposition using the Hilbert transform H, where splits into zero +, and they show that this split lets them define a determinant of H called (Hdisc) <ref:2608.09737#pg1>.

Lev: Defining that determinant as the product of eigenvalues restricted to the space L plus or minus k Ker(H - lambda k) is interesting because it's how they handle the essential spectrum-i, +i where usual zeta-regularization fails.

Kai: They prove a crucial relation here: zeta = zeta(d gamma) times DET(H), which is formula (six) <ref:2608.09737#pg3>. This then leads directly to formula (seven).

Mira: Formula (seven) connects the length spectrum on (M, h infinity) with the periods of certain basic Abelian differentials on the double 2M or even harmonic differentials on M vanishing along.

Lev: So, they're using these periods to characterize how many closed geodesics exist in a hyperbolic setting, which is a standard way to probe topology.

Kai: It’s about taking this complex analytic machinery and translating it into something that relates directly to the geometry of the boundary and the surface M.

The paper's improvements: Mira: They introduce a few points where they improve or simplify existing ideas. One key improvement is showing that zeta/ is a conformal invariant, which Edward and Wu had shown for genus zero, but here they extend it to genus g > zero <ref:2608.09737#pg1>.

Lev: For g > zero the paper explicitly gives two different ways to write this invariant using the Ruelle and Selberg zeta-functions of the two surfaces of negative constant curvature from the conformal class <ref:2608.09737#pg1,Selberg zeta-functions of the two surfaces of negative constant curvature from>.

Kai: That’s a concrete improvement because it gives us explicit expressions for things that were previously only known in terms of those zeta-functions.

Mira: And then they connect this to spectral data through the Hilbert transform H. The spectrum of H having eigenvalues-i and +i is what allows them to define (Hdisc).

Lev: But the paper also flags a limitation right away: because of those essential spectrum values, neither the zeta-regularized nor the Fredholm determinant of H can be defined in their usual sense.

Kai: So they use this restriction—defining (H) via that restriction—to get (Hdisc), which is then used in the main relation (six) <ref:2608.09737#pg3>.

Conclusion: Mira: To wrap up, the core finding of "The determinant of the Dirichlet-to-Neumann map for a surface with boundary and periods of holomorphic differentials on its double" is that formula (seven) relates the length spectrum on (M, h infinity) to those periods.

Kai: It’s a way to use the periods on the double 2M to get information about how things are behaving near the boundary on M <ref:2608.09737#pg1>. This means we can calculate this determinant using (Hdisc), which is related to (d gamma).

Lev: From an engineering standpoint, if you wanted to run this on real hardware, you'd be looking at computing that determinant of H disc, which is a finite product of eigenvalues lambda k related to the period matrix B.

Mira: So the overall implication is that we have a way to calculate these spectral invariants explicitly using periods from simpler surfaces, which is useful for understanding complex geometries.

Kai: It moves us closer to having a direct connection between surface geometry and analytic data through this determinant calculation method. We'll keep looking at how this connects to our qubit dynamics next time.

Lev: Yeah, so the whole idea hinges on being able to robustly compute that (Hdisc) without running into those difficulties with the essential spectrum you mentioned earlier.

math-ph, math.DG, math.MP, math.SP

Submitted: 2026-08-10

Updated: 2026-10-28

Comments: Lemma 1 is substantially simplified

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Importance score: 66/100

The gist: The paper presents an elementary counterpart of formulae for Guillarmou and Guillop´e using the periods of holomorphic differentials on the double 2M of M only.

Key concepts

Length Spectrum: This refers to a set of lengths associated with geodesics or other paths on the surface M. The paper investigates how this spectrum changes when considering the uniformization of M and its double 2M, revealing connections to differential periods.
Periods of Holomorphic Differentials: These are integrals taken along closed loops on a surface that involve holomorphic functions defined on that surface. The paper uses these periods on the double 2M to derive formulas for spectral data, linking complex analysis to geometric properties.
Hilbert Transform (H): The Hilbert transform is an operator used in the study of boundary value problems. Its spectrum consists of specific eigenvalues related to boundary traces of holomorphic functions. These eigenvalues are crucial because they are directly related to the lengths $\mu_k$ that describe the spectral decomposition.
Conformal Invariant: A conformal invariant is a quantity derived from geometric properties that remains unchanged under conformal transformations. The ratio det$\zeta(\Lambda)/|\Gamma|$ is shown to be one for genus zero surfaces and has explicit formulas involving zeta-functions for higher genus surfaces.

Terminology

Trace — 19× in this paper · explained in 2 episodes
Regularization — 3× in this paper · explained in 3 episodes
Computational overhead — 1× in this paper · explained in 2 episodes
Core — 1× in this paper · explained in 2 episodes
Hilbert Space — 1× in this paper · explained in 2 episodes
Pruning — 1× in this paper · explained in 4 episodes

Summary

The paper presents an elementary counterpart of formulae for Guillarmou and Guillop´e using the periods of holomorphic differentials on the double 2M of M only. This approach establishes a connection between the length spectra of (uniformized) M, 2M and the periods of holomorphic differentials on 2M.

The primary result is the formula relating the determinant of the Dirichlet-to-Neumann map to spectral data. Specifically, it derives formula (7) which relates the length spectrum on (M Γ, h∞) with the periods of certain basic Abelian differentials on the double (2M, τ) or the periods of harmonic differentials on M vanishing along Γ.

Connection to Conformal Invariants

The quantity detζ (Λ)/Γ is a conformal invariant. It was shown by Edward and Wu that this invariant equals one for g = 0. For g > 0, Guillarmou and Guillop´e found two explicit expressions for this invariant through the Ruelle and (respectively) the Selberg zeta-functions of the two surfaces of negative constant curvature from the conformal class of (M, g).

Spectral Decomposition via Hilbert Transform

The study introduces the Hilbert transform H:= ∂−1γ Λ. Decomposition (1) shows that Λ = Λ0 + Λ˙, where Λ is smoothing ΨDO and λ is invertible in H. The spectrum of H consists of two eigenvalues −i, +i; the corresponding eigenspaces are Ker(H + i) (Ker(H − i)) spanned by boundary traces of holomorphic (antiholomorphic) functions with square-integrable differentials on M. The numbers 0 < µ1 ≤ µ2 ≤ · · · ≤ µg < 1 are related to the periods of Abelian differentials on the Schottky double 2M of M (equipped with the antiholomorphic involution τ, 2M/τ ≡ M).

Derivation of the Determinant Formula

The paper defines DET(H) as det(Hdisc), where Hdisc is the restriction of H to the subspace L±k Ker(H − λk) of dimension 2g. The crucial relation (6) is proved by showing detζ (Λ) = detζ (∂γ) · DET(H). This leads to the formula (7), which states that µ1 · · · · · µg 2 = DET(H) = detζ (Λ)/detζ (∂γ) = detζ (Λ)/Γ = (2πs − 2gR(s)) / (1 − 2g) for s=0.

Analytic Properties of the Zeta Function

The function s 7→ TrΛ−s log(Λt) admits meromorphic continuation to the half-plane Re s > -1/2 with a unique pole s = 1 of order one. Substituting s = 0 into (20) and taking into account (15) and (19), one obtains log detζ (Λ) = -∂sζΛ(0) = a.c. This yields the relation log detζ (Λ)/detζ (Λ0) = Z 1/0 Tr(H−1t H˙ dt.

Final Relation to Periods

The final result combines these findings to obtain detζ (Λ) = detζ (Λ0) DET(H) = det(∂γ) DET(H). This is equivalent to the formula (32), which shows p(γ) = λq + ∗p, where q is related to the periods of harmonic differentials on M vanishing along Γ.

Appendix Details

The appendix proves Lemma 1 by showing that for a non-zero eigenvalue λ!= ±i, the one-form p and λq coincide on Γ, leading to the relation p(γ) = λq + ∗p. This implies that detζ (Λ) = detζ (Λ0) DET(H) = det(∂γ) DET(H), which proves formula (6). The appendix also details the decomposition of harmonic one-forms into exact and vanishing forms on the double 2M. The basis for the period matrix B is related to the homology basis on the double (2M, τ). The condition (36) for ω = P2g k=1 ckθk is equivalent to equations that are compatible if and only if det λ + iλ − i · F + 2RG + λ − iλ + i · F = 0. The solutions to this condition are exactly the eigenvalues of Hdisc. The paper concludes by stating that the identity-λ2 ±k = λ+kλ−k = µ2k is used.

Conclusion Summary

The single most informative sentence about the paper's subject and finding is: detζ (Λ)/Γ (where Γ is the length of Γ) is a conformal invariant. The paper derives formula (7) which relates the length spectrum on (M Γ, h∞) with the periods of certain basic Abelian differentials on the double (2M, τ) or the periods of harmonic differentials on M vanishing along Γ.

Pruning redundant reasoning tokens

The paper derives formula (7) which relates the length spectrum on (M Γ, h∞) with the periods of certain basic Abelian differentials on the double (2M, τ) or the periods of harmonic differentials on M vanishing along Γ.

How the training signal is built

The paper establishes a connection between the length spectra of (uniformized) M, 2M and the periods of holomorphic differentials on 2M.

Where the gains come from

The gains come from establishing formula (6) which relates detζ (Λ) = detζ (∂γ) · DET(H). This leads to the formula (7), which relates the length spectrum on (M Γ, h∞) with the periods of certain basic Abelian differentials on the double (2M, τ) or the periods of harmonic differentials on M vanishing along Γ. This result is derived through a complex analysis involving contour integration and trace norms. The final result is detζ (Λ) = detζ (Λ0) DET(H) = det(∂γ) DET(H).

Improvements for AI systems

Improved understanding of surface geometry for physical simulations by calculating det zeta (Lambda) using periods of holomorphic differentials on double 2M, which establishes a connection between length spectra and periods as shown in formula (7).
Enhanced spectral analysis of boundary value problems by utilizing the Hilbert transform H, whose spectrum eigenvalues lambda plus one are related to the periods of Abelian differentials on the Schottky double 2M, allowing for precise characterization of surface topology and geometry.
Development of a determinant calculation method for Dirichlet-to-Neumann maps in two dimensions, enabling computational verification of conformal invariants like det zeta (Lambda)/Γ, which is equal to one for g = 0 and given by explicit expressions involving Ruelle zeta-functions for g > 0.
Creation of a robust numerical framework to compute the determinant of H disc, which equals det(B), providing a method to determine the length spectrum on (M minus Gamma, h infinity) from the periods of harmonic differentials on M vanishing along Gamma.