SearcharxivSearch

arXiv subjects

Leo Tzou

Publications and source records attributed to Leo Tzou.

At least 19 recordsLinked to original sources

Geodesic L\'evy flights on Zoll surfaces

We study the mean first capture time of isotropic L\'evy flights on Zoll surfaces, namely the expected time for a geodesic L\'evy process to reach a shrinking geodesic ball. While the leading-order asymptotics are universal, we prove that the first correction term encodes subtle geometric information. More precisely, it is completely determined by the local singularity type of the conjugate locus, quantified by the degree of the conjugate point. This yields a hierarchy of asymptotic regimes governed by the L\'evy exponent.

math.DG

Mean first escape times of Brownian motion on asymptotically hyperbolic and gas giant metric surfaces

This paper deals with the mean first escape time of Brownian motion on asymptotically hyperbolic and gas giant surfaces. We show that for a boundary defining function $\rho$, the mean first escape time $u_\epsilon(x)$ from the truncated Riemannian surface with an asymptotically hyperbolic metric $(M_\epsilon,\bar{g}/\rho^2) = (\{x\in M:\rho(x)\geq \epsilon\},\bar{g}/\rho^2) \subset (M,\bar{g}/\rho^2)$ satisfies the asymptotic expansion $u_\epsilon(x) = -\log \epsilon + \mathcal{O}(1)$ as $\epsilon\to 0 $. Furthermore, we show that in the case of a gas giant metric $g = \bar{g}/\rho^\alpha$, where $\alpha\in (0,2)$, the mean first escape time from the surface $(M_\epsilon,\bar{g}/\rho^\alpha)$ satisfies $u_\epsilon(x) = \mathcal{O}(1)$ as $\epsilon\to 0 $. Using techniques from the theory of polyhomogeneous conormal functions we explain this difference between in the mean first escape time on gas giant metric surfaces and asymptotically hyperbolic surfaces on the unit disc. Finally, we confirm these results using Monte Carlo simulations and finite difference methods on the disc.

math.AP

Rates and architectures for learning geometrically non-trivial operators

Deep learning methods have proven capable of recovering operators between high-dimensional spaces, such as solution maps of PDEs and similar objects in mathematical physics, from very few training samples. This phenomenon of data-efficiency has been proven for certain classes of elliptic operators with simple geometry, i.e., operators that do not change the domain of the function or propagate singularities. However, scientific machine learning is commonly used for problems that do involve the propagation of singularities in a priori unknown ways, such as waves, advection, and fluid dynamics. In light of this, we expand the learning theory to include double fibration transforms--geometric integral operators that include generalized Radon and geodesic ray transforms. We prove that this class of operators does not suffer from the curse of dimensionality: the error decays superalgebraically, that is, faster than any fixed power of the reciprocal of the number of training samples. Furthermore, we investigate architectures that explicitly encode the geometry of these transforms, demonstrating that an architecture reminiscent of cross-attention based on levelset methods yields a parameterization that is universal, stable, and learns double fibration transforms from very few training examples. Our results contribute to a rapidly-growing line of theoretical work on learning operators for scientific machine learning.

cs.LG

Generalized boundary rigidity and minimal surface transform

We study a generalized boundary rigidity problem, which investigates whether the areas of embedded minimal surfaces can uniquely determine a Riemannian manifold with boundary. We prove that for a conformal perturbation of an analytic metric in dimension $n+1$ ($n \geq 2$), the metric is determined by these volumes under an ampleness condition. Furthermore, we establish H\"older stability for this determination. This result extends earlier works in dimension $2+1$. Instead of relying on reductions to Calder\'on type problems and complex geometrical optics solutions, we study the linearized forward operator that gives rise to the minimal surface transform, a generalization of the X-ray/Radon transform. We demonstrate that this transform fits into the framework of double fibration transforms and satisfies the Bolker condition in the sense of Guillemin. Under certain assumptions, including a foliation condition, we prove invertibility of this transform on an analytic manifold as well as recovery of the analytic wave front set. The methods developed in this paper offer new tools for addressing the generalized boundary rigidity problem and expand the scope of applications of double fibration transforms. We anticipate that these techniques will also be applicable to other geometric inverse problems. Beyond mathematics, our results have implications for the AdS/CFT correspondence in physics.

math.AP

Bulk metric reconstruction from entanglement data via minimal surface area variations

We investigate the reconstruction of asymptotically anti-de Sitter (AdS) bulk geometries from boundary entanglement entropy data for ball-shaped entangling regions. By deriving an explicit inversion formula, we relate variations in entanglement entropy to deviations of the bulk metric about a fixed background. Applying this formula, we recover the Schwarzschild-AdS spacetime in the low-temperature regime to first order. We further extend our analysis to include deformations of the bulk geometry with nontrivial dependence on boundary directions, and propose an iterative reconstruction scheme aimed at recovering the full spacetime starting close to a conformal fixed point. We do this by building on recent advances in the mathematics of inverse problems by introducing the higher-order linearization method as a new tool in the context of holographic bulk reconstruction.

hep-th

The Calderón problem on Riemannian surfaces and of minimal surfaces

In this paper we prove two results. The first shows that the Dirichlet-Neumann map of the operator $Δ_g+q$ on a Riemannian surface can determine its topological, differential, and metric structure. Earlier work of this type assumes a priori that the surface is a planar domain [36] or that the geometry is a priori known [29]. We will then apply this result to study a geometric inverse problem for determining minimal surfaces embedded in $3$-dimensional Riemannian manifolds. In particular we will show that knowledge of the volumes of embedded minimal surfaces determine not only their topological and differential structure but also their Riemannian structure as an embedded hypersurface. Such geometric inverse problems are partially inspired by the physical models proposed by the AdS/CFT correspondence. The crucial ingredient in removing the planar domain assumption is the determination of the boundary trace of holomorphic functions from knowledge of the Dirichlet-Neumann map of $Δ_g +q$. This requires a new type of argument involving Carleman estimates and construction of CGO whose phase functions are not Morse as in the case of [29]. We anticipate that these techniques could be of use for studying other inverse problems in geometry and PDE.

math.AP

A Counterexample to the Lévy Flight Foraging Hypothesis in the Narrow Capture Framework

The Lévy flight foraging hypothesis asserts that biological organisms have evolved to employ (truncated) Lévy flight searches due to such strategies being more efficient than those based on Brownian motion. However, we provide here a concrete two-dimensional counterexample in which Brownian search is more efficient. In fact, we show that the efficiency of Lévy searches worsens the farther the Lévy flight tail index deviates from the Brownian limit. Our counterexample is based on the framework of the classic narrow capture problem in which a random search is performed for a small target within a confined search domain. Our results are obtained via three avenues: Monte Carlo simulations of the discrete search processes, finite difference solutions and a matched asymptotic analysis of the elliptic (pseudo)-differential equations of the corresponding continuum limits.

cond-mat.stat-mech

An Inverse Problem with Partial Neumann Data and $L^{n/2}$ Potentials

We consider a partial data inverse problem with unbounded potentials. Rather than rely on functional analytic arguments or Carleman estimates, we construct an explicit Green's function with which we construct complex geometric optics (CGO) solutions and show unique determinability of potentials in $L^{n/2}$ for the Schr\"odinger equation with partial Neumann data.

math.AP

An inverse problem for general minimal surfaces

In this paper we consider an inverse problem of determining a minimal surface embedded in a Riemannian manifold. We show under a topological condition that if $Σ$ is a $2$-dimensional embedded minimal surface, then the knowledge of the Dirichlet-to-Neumann map associated to the minimal surface equation determines $Σ$ up to an isometry. Without the topological condition, we show that a conformal factor of a general minimal surface $Σ$ can be recovered. We develop a semiclassical nonlinear calculus for complex geometric optics solutions, which allows an efficient error analysis for multiplication of the correction terms of the solutions. The calculus is independent of the application to the minimal surface equation and we expect it to have applications in various inverse problems for nonlinear equations in dimension $2$, in both $\mathbb{R}^2$ and geometric settings. Other applications of the results include generalized boundary rigidity problem and the AdS/CFT correspondence in physics.

math.AP

A general support theorem for analytic double fibration transforms

We develop a systematic approach for resolving the analytic wave front set for a class of integral geometry transforms appearing in various tomography problems. Combined with microlocal analytic continuation, this leads to uniqueness and support theorems for analytic integral transforms which are in the microlocal double fibration framework introduced by Guillemin. For the case of ray transforms, we show that the double fibration setup has a concrete interpretation in terms of curve families obtained by projecting integral curves of a fixed vector field on some fiber bundle down to the base. This setup includes geodesic X-ray type transforms, null bicharacteristic ray transforms and transforms related to real principal type systems. We also study transforms integrating over submanifolds of any codimension, and give geometric characterizations for the Bolker condition required for recovering singularities. Our approach is based on a general result related to recovering the analytic wave front set of a function from its transform given by a suitable analytic elliptic Fourier integral operator. This approach extends and unifies a number of previous works. We use wave packet transforms to extrapolate the geometric features of wave front set propagation for such operators when their canonical relation satisfies the Bolker condition.

math.AP

Eigenvalue Variations of the Neumann Laplace Operator Due to Perturbed Boundary Conditions

This work considers the Neumann eigenvalue problem for the weighted Laplacian on a Riemannian manifold $(M,g,\partial M)$ under the singular perturbation. This perturbation involves the imposition of vanishing Dirichlet boundary conditions on a small portion of the boundary. We derive a sharp asymptotic of the perturbed eigenvalues, as the Dirichlet part shrinks to a point $x^*\in \partial M$, in terms of the spectral parameters of the unperturbed system. This asymptotic demonstrates the impact of the geometric properties of the manifold at a specific point $x^*$. Furthermore, it becomes evident that the shape of the Dirichlet region holds significance as it impacts the first terms of the asymptotic. A crucial part of this work is the construction of the singularity structure of the restricted Neumann Green's function which may be of independent interest. We employ a fusion of layer potential techniques and pseudo-differential operators during this work.

math.AP

Geodesic Lévy flights and expected stopping time for random searches

We give an analytic description for the infinitesimal generator constructed by Applebaum-Estrade for Lévy flights on a broad class of closed Riemannian manifolds including all negatively-curved manifolds, the flat torus and the sphere. Various properties of the associated semigroup and the asymptotics of the expected stopping time for Lévy flight based random searches for small targets, also known as the narrow capture problem, are then obtained using our newfound understanding of the infinitesimal generator. Our study also relates to the Lévy flight foraging hypothesis in the field of biology as we compute the expected time for finding a small target by using the Lévy flight random search. A similar calculation for Brownian motion on surfaces was done in [arXiv:2209.12425].

math.PR

The narrow capture problem on general Riemannian surfaces

In this article, we study the narrow capture problem on a Riemannian 2-manifold. This involves the derivation of the mean first passage (sojourn) time of a surface-bound ion modelled as a Brownian particle. We use a layer potential argument in conjunction with microlocal analysis in order to derive the leading order singularity as well as the O(1) term of the mean first passage time and the associated spatial average.

math.PR

Inverse problems for semilinear elliptic PDE with measurements at a single point

We consider the inverse problem of determining a potential in a semilinear elliptic equation from the knowledge of the Dirichlet-to-Neumann map. For bounded Euclidean domains we prove that the potential is uniquely determined by the Dirichlet-to-Neumann map measured at a single boundary point, or integrated against a fixed measure. This result is valid even when the Dirichlet data is only given on a small subset of the boundary. We also give related uniqueness results on Riemannian manifolds.

math.AP

Narrow escape problem in the presence of the force field

This paper considers the narrow escape problem of a Brownian particle within a three-dimensional Riemannian manifold under the influence of the force field. We compute an asymptotic expansion of mean sojourn time for Brownian particles. As an auxiliary result, we obtain the singular structure for the restricted Neumann Green's function which may be of independent interest.

math.PR

X-Ray Transform in Asymptotically Conic Spaces

In this article, we study the properties of the geodesic X-ray transform for asymptotically Euclidean or conic Riemannian metrics and show injectivity under non-trapping and no conjugate point assumptions. We also define a notion of lens data for such metrics and study the associated inverse problem.

math.DG