---
title: 'Laplace Radius: Context and Applications'
url: https://www.emergentmind.com/topics/laplace-radius
type: topic
---

# Laplace Radius: Context and Applications

Searching arXiv for papers relevant to the term "Laplace Radius" and its usage across contexts.
“Laplace radius” is not a uniformly standardized term in the arXiv literature. In strict capillarity theory, the closest formal meaning is the radius of the dividing surface that enters the Young–Laplace relation, namely the surface-of-tension radius. In other domains, the same phrase or its nearest analogue denotes the radius parameter governing a Laplace operator on balls or distance spheres, the analyticity scale in Laplace–Fourier continuation, the Bohr radius for a discrete Laplace transform, or the truncation radius of a sparse discrete-Laplace mechanism. In the surveyed literature, the expression is therefore context-dependent rather than canonical [1711.03994], [1303.3293], [1111.2699], [2405.04040], [2605.09561].

## 1. Terminological status and scope

In capillarity, the relevant radius is the one appearing in
\[
\Delta P = P_{\mathrm{in}}-P_{\mathrm{out}}=\frac{2\gamma}{R},
\]
and, in the strict thermodynamic formulation, this \(R\) is the surface-of-tension radius \(R_s\) [1711.03994]. By contrast, several spectral-geometry papers use “radius” to mean the geodesic-ball radius \(r\), the geodesic distance-sphere radius \(r\), the intrinsic radial variable \(t\), or a warping function \(r(t)\), without introducing a named invariant called “Laplace radius” [2203.11911], [2012.02349], [1303.3293]. In complex analysis and transform theory, the relevant quantity is instead an analyticity or convergence scale, such as the radius \(R\) of the ball \(B_R\) in Laplace–Fourier continuation or the Bohr radius \(r_\gamma\) for a discrete Laplace transform [1111.2699], [2405.04040]. In local differential privacy, the radius is a support-truncation parameter \(r\) for a sparse discrete-Laplace channel [2605.09561].

This heterogeneity matters because identically named radius parameters can play sharply different roles: thermodynamic dividing surface, geometric domain size, support cardinality proxy, analyticity scale, or inverse-scattering warping factor. A plausible implication is that any use of “Laplace radius” requires immediate specification of the governing operator or constitutive law.

## 2. Capillarity: the Laplace radius as surface-of-tension radius

The clearest thermodynamic usage occurs in nanodroplet mechanics. For a spherical droplet, the Young–Laplace equation formally models a droplet with a sharp interface at \(R=R_s\), the surface of tension [1711.03994]. In the molecular-dynamics study of TIP4P/2005 water droplets at \(220\ \mathrm{K}\), the internal overpressure was extracted from the microscopic pressure tensor, whose radial mean pressure was
\[
P(r)=\frac13 P_N(r)+\frac23 P_T(r),
\]
with \(P_N\) and \(P_T\) obtained from coarse-grained Irving–Kirkwood/Schofield–Henderson expressions [1711.03994].

The key empirical result was that beneath a diffuse interfacial region of about \(0.7\ \mathrm{nm}\), roughly two molecular layers, the pressure tensor becomes approximately isotropic and nearly constant with \(r\). This allowed the authors to define an interior liquid pressure \(P_L\) by averaging over the isotropic core. Because the vapour pressure is negligible on the pressure scale of the droplets, they approximate
\[
\Delta P \approx P_L.
\]
They then test Young–Laplace scaling against an inferred droplet radius rather than a directly computed \(R_s\) [1711.03994].

The operational radius used in the fit is
\[
R=\sqrt{\frac53}\,R_g,
\]
the uniform-sphere conversion from radius of gyration to physical radius. For the \(N=1100\) droplet, the paper reports \(R\approx 1.98\ \mathrm{nm}\). This is distinct from
\[
R_L,
\]
the radius of the isotropic interior region used only to delimit the averaging domain for \(P_L\); for the same droplet, \(R_L\approx 1.41\ \mathrm{nm}\). The distinction is explicit: \(R_L\) is not the radius inserted into the Young–Laplace test [1711.03994].

With droplets of \(N=776\), \(1100\), \(1440\), and \(2880\) molecules, the fit
\[
P_L=\frac{2\gamma_{\mathrm{fit}}}{R}
\]
yielded
\[
\gamma_{\mathrm{fit}}=80.1\ \mathrm{mN/m},
\]
close to the estimated planar-interface value
\[
\gamma=78.9\ \mathrm{mN/m}
\]
for TIP4P/2005 water at \(220\ \mathrm{K}\) [1711.03994]. In this setting, the “Laplace radius” is therefore best understood as the formal surface-of-tension radius \(R_s\), while the actual computation uses the proxy \(R=\sqrt{5/3}\,R_g\).

## 3. Spectral geometry: radius as the control parameter of Laplace spectra

In spectral geometry, the decisive object is usually not a named “Laplace radius” but a radius parameter governing a family of Laplace eigenvalue problems. For Dirichlet eigenvalues on geodesic balls in spherically symmetric manifolds, the radius \(r\) indexes eigenvalue branches \(\lambda_{m,l}(r)\), and the small-radius asymptotic is
\[
\lim_{r\to 0} r^2\lambda_{m,l}(r)=\bigl(j^l_{m+n/2-1}\bigr)^2.
\]
The same work proves that, for small radius, Dirichlet Laplace eigenvalues on the sphere are smaller than the Euclidean same-radius values, whereas the opposite holds in hyperbolic space [2203.11911].

A complementary construction replaces the original metric on a geodesic ball \(B_R(p)\) by an area-preserving rotationally symmetric metric
\[
\widetilde g=dr^2+\omega_g(r)^2 g_{S^{n-1}},
\qquad
\omega_g(t)=\left(\frac{A_g(t)}{\operatorname{vol}(S^{n-1})}\right)^{1/(n-1)},
\]
where
\[
A_g(t)=\operatorname{vol}_g(S_t(p)).
\]
For radial functions under \(\widetilde g\),
\[
\Delta_{\widetilde g}f=f''(r)+\frac{A_g'(r)}{A_g(r)}f'(r),
\]
and the first Dirichlet eigenvalue on \(B_R(p)\) satisfies a sharp upper bound computable entirely from the radius profile \(A_g(t)\) via a recursive family \(T_k\) [2103.17134]. Equality holds exactly when the inward mean curvature of each geodesic sphere \(S_t(p)\) is radial [2103.17134].

On homogeneous distance spheres in rank-one symmetric spaces, the radius \(r\) enters the induced metric through explicit scale and anisotropy parameters. The resulting full Laplace–Beltrami spectrum on a geodesic distance sphere \(S(r)\) is
\[
\mu_{p,q}(r)=
\begin{cases}
\dfrac{(2p+q)(2p+q+N-2)}{\sin^2 r}-q(q+2d-2),& M=\mathbb{K}P^{n+1},\\[4mm]
\dfrac{(2p+q)(2p+q+N-2)}{\sinh^2 r}+q(q+2d-2),& M=\mathbb{K}H^{n+1},
\end{cases}
\]
and in the compact case the resonant radii are
\[
r_p=\arctan\sqrt{\frac{4p(p-1)+N(2p-1)+1}{2d-1}}.
\]
These are precisely the radii at which Jacobi eigenvalues vanish and bifurcation of embedded constant-mean-curvature spheres occurs [2012.02349].

A further distinction appears in the study of complete radial graphs in \(\mathbb{R}^{n+1}\). There, the paper explicitly states that it does not introduce a named invariant called “Laplace radius.” Instead, the decisive variables are the Euclidean radius \(r=|x|\), the intrinsic geodesic radius
\[
t(r)=\int_0^r \sqrt{1+f'(\tau)^2}\,d\tau,
\]
and the warping function \(r(t)\), which determines the radial Laplacian and yields
\[
\sigma(M)=[0,\infty)
\]
for every complete hypersurface that is the graph of a real radial function [1303.3293].

## 4. Analytic continuation and transform theory

In Laplace–Fourier continuation, the organizing parameter is the radius \(R\) of the real ball
\[
B_R=\{x\in\mathbb R^n:\ |x|<R\}.
\]
This same \(R\) controls the holomorphic extension of the Laplace–Fourier coefficients to the complex disc \(\mathbb D_R\), the transformed coefficients \(p_{k,l}\) on \(\mathbb D_{R^2}\), and the final \(n\)-variable extension domain, the Lie ball
\[
\widehat{B_R}=\left\{z\in\mathbb C^n:\ |z|^2+\sqrt{|z|^4-|q(z)|^2}<R^2\right\},
\qquad
q(z)=z_1^2+\cdots+z_n^2.
\]
In this literature, the radius is therefore a scale of holomorphic continuation rather than a geometric Laplace-law radius [1111.2699].

A different analytic usage appears in Bohr inequalities for the discrete Laplace transform. For
\[
f(z)=\sum_{n=0}^\infty a_n z^n\in \mathcal B(\Omega_\gamma),
\]
the paper studies
\[
\mathcal L_f(r)=\sum_{n=0}^{\infty}\left(\sum_{k=0}^{n}\frac{|a_k|}{(n+1)^{k+1}}\right)r^n.
\]
It proves
\[
\mathcal L_f(r)\le \frac1r\ln\!\left(\frac1{1-r}\right)
\qquad (0<r<1),
\]
and then identifies a refined Bohr-type radius \(r_\gamma\) as the root in \((0,1)\) of
\[
\Phi_\gamma(r)=
\frac{(1+\gamma)}{r}\ln(1-r)
+
2\left(
\frac{1}{r}\ln\left(\frac{1}{1-r}\right)-\frac{{\rm Li}_2(r)}{r}
\right)=0,
\]
for \(\gamma\in[0,\gamma_*]\), where
\[
\gamma_*\approx 0.27713.
\]
In the unit-disk case \(\gamma=0\), the paper states
\[
r_0\approx 0.940599.
\]
Here “Laplace radius” means a Bohr radius for the discrete Laplace transform, not a geometric radius attached to a Laplace operator [2405.04040].

## 5. Sparse discrete-Laplace mechanisms and radius truncation

In local differential privacy, the radius parameter appears as a sparsity constraint. The radius-truncated sparse discrete-Laplace mechanism on a line metric is
\[
Q_{\lambda,r}(y\mid x)=\frac{e^{-\lambda|x-y|}}{C_r}\mathbf 1\{|x-y|\le r\},
\qquad
C_r=1+2\sum_{k=1}^r e^{-\lambda k},
\]
with support
\[
S_r(x)=\{y\in\mathcal Y:\ |x-y|\le r\}.
\]
The support size is
\[
s=|S_r(x)|=2r+1,
\]
so radius and support cardinality are equivalent [2605.09561].

The paper proves that pure \(\varepsilon\)-local differential privacy is incompatible with genuinely input-dependent sparse supports: if \(S(x)\neq S(x')\) for some inputs, then some output has positive probability under one input and zero under the other, giving infinite privacy loss [2605.09561]. For approximate \((\varepsilon,\delta)\)-LDP, the exact privacy defect depends on the separation \(h=|x-x'|\). In the radius-truncated case,
\[
\delta_h(\varepsilon,\lambda,r)=1
\qquad\text{if }h>2r,
\]
because the supports are disjoint [2605.09561].

This yields a sharp feasibility threshold. Nontrivial \((\varepsilon,\delta)\)-LDP on range \(H\) with \(\delta<1\) is impossible unless
\[
s\ge H+1,
\]
equivalently
\[
r\ge \left\lceil \frac H2\right\rceil.
\]
Under the clean sufficient regime
\[
\lambda H\le \varepsilon
\qquad\text{and}\qquad
r\ge H,
\]
the overlap term vanishes and the privacy defect is controlled purely by support leakage, with
\[
\delta^*(\varepsilon,\lambda,s;H)\le H e^{-\lambda(r-H+1)}
\]
after identifying \(t=r\) in the paper’s support-size notation [2605.09561].

The same work shows that distortion moments
\[
R_1(\lambda,s)=\frac{2\sum_{j=1}^t j e^{-\lambda j}}{C_t},
\qquad
R_2(\lambda,s)=\frac{2\sum_{j=1}^t j^2 e^{-\lambda j}}{C_t}
\]
are nondecreasing in support size, hence in \(r\). The design principle is therefore to choose the smallest support size, equivalently the smallest radius, that satisfies the target privacy constraint [2605.09561].

## 6. Potential theory, inverse geometry, and recurrent distinctions

In classical potential theory near a sphere, the sphere radius can become the decisive Laplace-analytic scale. For a point source outside a dielectric sphere of radius \(a\), the Kelvin transformation
\[
\check r=\frac{a^2}{r}
\]
uses \(a\) as the inversion radius and sends the source at \(R_e\) to the image point
\[
R_i=\frac{a^2}{R_e}.
\]
The paper shows that the interior solution of Laplace’s equation is most efficiently represented by radially inverted irregular spheroidal harmonics whose singularity matches the semi-infinite image line of the analytically continued solution [1711.09551].

For multipole matrix elements of the Laplace Green function between two spheres of equal radius \(a\), the same radius sets the scale of the surface distributions, the Fourier-space factors \(j_l(ka)\), and the regime change at the overlap threshold
\[
R=2a.
\]
In the non-overlapping regime \(R>2a\), the coupled coefficients are proportional to \(1/R^{l+l'+1}\); in the overlapping regime \(R<2a\), they are expressed through generalized hypergeometric functions and often reduce to polynomials in \(R/a\) [1501.00396].

For toroidal shells and solid tori, the paper explicitly states that it does not define any quantity literally called “Laplace radius.” The closest analogue is the major radius \(R_c\), with thickness controlled by
\[
e=\frac{b}{R_c}.
\]
The zeroth-order exterior potential of the torus is exactly the potential of a circular loop of radius \(R_c\) and the same mass, and for a homogeneous circular torus the first nontrivial correction is \(\mathcal O(e^2)\) [2005.08507].

In inverse resonance scattering on rotationally symmetric manifolds,
\[
g=(dx)^2+r(x)^2 g_Y,
\]
the relevant geometric quantity is the rotation radius \(r(x)\). The paper shows that, under compact support assumptions on the perturbation, this radius is uniquely determined by eigenvalues and resonances through the reduction of the Laplacian to one-dimensional Schrödinger operators [1904.08908]. Again, the literature does not name this quantity a “Laplace radius,” but it is a radius profile encoded by Laplace spectral data.

Several recurrent misconceptions follow from these distinctions. First, in the nanodroplet literature the isotropic-core cutoff \(R_L\) is not the radius entering the Young–Laplace fit; the fit uses \(R=\sqrt{5/3}\,R_g\) as a proxy for \(R_s\) [1711.03994]. Second, in radial Laplacian problems the radial coordinate itself is not a named “Laplace radius.” For example, the singular analysis of the radial Schrödinger reduction concerns the behavior of the Laplacian at \(r=0\) and the necessity of
\[
u(0)=0,
\]
not a separate radius invariant [1502.04008]. Third, in radial-graph spectral geometry the decisive objects are \(r\), \(t\), and \(r(t)\), rather than a distinguished “Laplace radius” [1303.3293].

Taken together, these usages show that “Laplace radius” denotes a family of radius notions attached to the Laplace operator, Laplace law, or discrete-Laplace kernel. The strict thermodynamic sense is the surface-of-tension radius of Young–Laplace theory; beyond that setting, the term functions mainly as a contextual shorthand for whichever radius parameter controls the corresponding Laplace problem.

Source: https://www.emergentmind.com/topics/laplace-radius