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

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.