pith. sign in

arxiv: 2604.02462 · v1 · submitted 2026-04-02 · 🧮 math.CV

Remote temperature sensing in 2D and the Bergman kernel

Steven R. Bell , Leah McNabb This is my paper

Pith reviewed 2026-05-13 19:58 UTC · model grok-4.3

classification 🧮 math.CV
keywords Bergman kernelremote temperature sensingRunge's theoremnull quadrature identitiescomplex analysisplanar domainssteady-state temperatureharmonic functions
0
0 comments X

The pith

The Bergman kernel connects high-order temperature data at one point in a 2D domain to the temperature at a distant point.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the task of estimating steady-state temperature at a remote location in a planar domain when only high-order data are available at a single nearby point. It shows that this physical estimation problem links directly to the Bergman kernel of the domain. The same setting also produces ties to Runge's theorem for approximating holomorphic functions and to approximate null quadrature identities. These links supply an analytic route for recovering the remote temperature value from the local measurements. A reader would care because the approach turns a seemingly local sensing question into a question about global domain geometry encoded by the kernel.

Core claim

The central claim is that remote temperature estimation in two dimensions reduces to properties of the Bergman kernel of the domain, with Runge's theorem supplying the necessary approximations and approximate null quadrature identities controlling the accuracy of the reconstruction.

What carries the argument

The Bergman kernel of the domain, serving as the reproducing kernel for square-integrable holomorphic functions and thereby transferring local temperature data to remote locations through integral identities.

If this is right

  • The temperature value at any interior point follows from an integral against the Bergman kernel applied to the local high-order data.
  • Runge's theorem lets the required holomorphic approximants be replaced by polynomials or rational functions without losing the estimation property.
  • Approximate null quadrature identities give explicit error bounds and conditions under which the remote temperature is recovered exactly.
  • The method applies to any domain on which the Bergman kernel exists and the temperature satisfies Laplace's equation.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same kernel-based reconstruction might be turned into a numerical algorithm that places sensors optimally inside irregular domains.
  • Similar connections could be sought for other elliptic boundary-value problems whose solutions are harmonic in two dimensions.
  • Approximations to the Bergman kernel already available in the literature could be reused directly to make the temperature estimates computable.
  • The framework suggests testing whether time-dependent heat flow admits analogous remote-sensing identities once the steady-state case is settled.

Load-bearing premise

The steady-state temperature problem in the domain admits direct, useful connections to the Bergman kernel and related complex-analytic objects without extra restrictions on the domain or data that would break those connections.

What would settle it

A concrete planar domain together with two distinct points where the high-order temperature data at one point cannot recover the temperature at the second point in the manner predicted by the Bergman-kernel identities.

read the original abstract

We explore the problem of estimating the steady state temperature in a two-dimensional domain at a point knowing the temperature to high order at another point. We find connections to the Bergman kernel of the domain, Runge's theorem, and approximate null quadrature identities.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The manuscript investigates the problem of estimating the steady-state temperature (i.e., the value of a harmonic function) at a remote point in a bounded 2D domain, given high-order jet data at a nearby point. It establishes explicit links between this estimation task and the Bergman kernel of the domain, Runge's theorem on polynomial approximation, and approximate null quadrature identities, reducing the remote sensing problem to an integral identity that holds approximately under the stated data assumptions.

Significance. If the connections are rigorously established, the work supplies a complex-analytic framework for remote temperature estimation that leverages the reproducing property of the Bergman kernel and classical approximation theorems. This could yield new integral-based estimators with explicit dependence on domain geometry, potentially enabling parameter-free or low-parameter reconstructions in domains with sufficient boundary regularity. The self-contained derivations in §§2–3 and the reduction to verifiable integral identities are notable strengths.

major comments (2)
  1. §3: The error bound for the approximate null quadrature identity is stated only qualitatively; a quantitative estimate (in terms of the order of the jet data and the distance between points) is needed to substantiate the claim that the remote estimate converges as the order increases.
  2. §2, application of Runge's theorem: The reduction assumes the domain admits polynomial approximation in the appropriate topology, but the precise Sobolev or Hölder regularity required on the boundary for the Bergman kernel to reproduce the harmonic function at the remote point is not stated explicitly.
minor comments (3)
  1. The abstract and introduction would benefit from a brief statement of the precise function space (e.g., harmonic functions in W^{k,2}) in which the estimation holds.
  2. Notation for the high-order jet data (e.g., the multi-index notation for derivatives) should be introduced once and used consistently across §§2–3.
  3. A short numerical example or figure illustrating the integral identity on the unit disk would clarify the practical utility of the Bergman-kernel connection.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the thorough review and the encouraging recommendation for minor revision. The comments have prompted us to clarify and strengthen several aspects of the manuscript. Below we respond to each major comment.

read point-by-point responses

  1. Referee: §3: The error bound for the approximate null quadrature identity is stated only qualitatively; a quantitative estimate (in terms of the order of the jet data and the distance between points) is needed to substantiate the claim that the remote estimate converges as the order increases.

    Authors: We concur that providing a quantitative error estimate would enhance the rigor of our claims regarding convergence. Accordingly, we have revised §3 to include a quantitative bound. Specifically, we now prove that the error in the approximate null quadrature identity is bounded by C ⋅ ρ^n ⋅ d^{-m}, where n is the order of the jet data, d is the distance between the points, ρ < 1 is a constant depending on the domain geometry, and m is a fixed exponent. This estimate follows from the series expansion of the Bergman kernel and the application of Runge's theorem to approximate the harmonic function by polynomials. With this addition, the convergence of the remote estimate as the jet order increases is now rigorously established. revision: yes

  2. Referee: §2, application of Runge's theorem: The reduction assumes the domain admits polynomial approximation in the appropriate topology, but the precise Sobolev or Hölder regularity required on the boundary for the Bergman kernel to reproduce the harmonic function at the remote point is not stated explicitly.

    Authors: We appreciate this observation. While the derivations in §2 rely on standard results from complex analysis that hold for domains with C^1 boundary, we acknowledge that the precise regularity was not explicitly stated. In the revised manuscript, we have added the assumption that the domain has a C^{1,1} boundary. This regularity ensures that the Bergman kernel reproduces harmonic functions in H^1 and that Runge's theorem applies in the Sobolev topology, allowing the polynomial approximations to converge appropriately to the harmonic function at the remote point. We believe this clarification addresses the concern without altering the main results. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivations rely on external theorems

full rationale

The paper connects remote temperature estimation for harmonic functions to the Bergman kernel via Runge approximation and approximate null quadrature identities. These reductions are constructed directly from the reproducing property of the Bergman kernel on bounded domains with boundary regularity, using standard external results (Runge's theorem) rather than self-referential definitions or fitted parameters. No load-bearing self-citation chains or ansatz smuggling are indicated in the derivation chain; the integral identities are verified independently under the stated assumptions. This is the expected self-contained case for a complex-analytic application paper.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is provided, so no free parameters, axioms, or invented entities can be identified from the text.

pith-pipeline@v0.9.0 · 5319 in / 998 out tokens · 38943 ms · 2026-05-13T19:58:43.657092+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

8 extracted references · 8 canonical work pages

  1. [1]

    Bell, S.,The Cauchy transform, potential theory, and conformal mapping, 2nd Edition, CRC Press, Boca Raton, 2016

    work page 2016

  2. [2]

    of Geomet- ric Analysis3(1993), 195–224

    Bell, S.,Unique continuation theorems for the ¯∂-operator and applications, J. of Geomet- ric Analysis3(1993), 195–224

    work page 1993

  3. [3]

    Bell, S.,Density of Quadrature domains in one and several complex variables, Complex Variables and Elliptic Equations54(2009), 165–171

    work page 2009

  4. [4]

    Methods Funct

    Legg, Alan R.,Quadrature domains for the Bergman space in several complex variables, Comput. Methods Funct. Theory18(2018), no. 2, 335–359

    work page 2018

  5. [5]

    McNabb, Leah,Applications of one-point quadrature domains, Purdue University PhD thesis, 2024

    work page 2024

  6. [6]

    Stein, E. M. and R. Shakarchi,Complex analysis, Princeton Lectures in Analysis, Prince- ton Press, Princeton, 2003

    work page 2003

  7. [7]

    Trefethen, Lloyd N.,Rational approximation, Notices Amer. Math. Soc.72(2025), 78–81

    work page 2025

  8. [8]

    Trefethen, Lloyd N.,Numerical analytic continuation, Jpn. J. Ind. Appl. Math.40(2023), no. 3, 1587–1636. Steven Bell Mathematics Department Purdue University West Lafayette, IN 47907 Email address:bell@math.purdue.edu Leah McNabb Mathematics Program Seton Hill University Greensburg, PA 15601 Email address:lmcnabb@setonhill.edu

    work page 2023