arXiv subjects

Guy David

Publications and source records attributed to Guy David.

At least 19 recordsLinked to original sources

arXiv2026

Recovering Sharp Conductivity Features in the Finite-Data Calder\'on Problem with Physics-Informed Neural Networks

Physics-informed neural networks (PINNs) have recently emerged as a promising framework for addressing the Calder\'on inverse problem from limited boundary data. In this work, we revisit neural Calder\'on inversion by introducing multiscale boundary excitations based on randomized wavelet functions and investigating the role of Fourier-feature encoding (FFE) for representing sharp conductivity variations. We propose a physics-informed reconstruction framework that represents the unknown conductivity and the associated family of electric potentials with separate neural networks conditioned on the applied boundary excitations. The governing elliptic PDE is enforced through physics-informed residuals, while finite Dirichlet-to-Neumann (DtN) data are incorporated through boundary losses. Using synthetic data from a finite-difference forward solver, we evaluate the method on conductivity fields with inclusions, sharp interfaces, smooth profiles, and heterogeneous media. Results show that the framework recovers dominant conductivity structures from finite boundary measurements with relative errors between $3\%-12\%$ approximately. We show that FFE improves the reconstruction of localized sharp features, particularly for inclusions and interfaces, but are not universally optimal, with raw-coordinate networks performing competitively for smoother fields. These results highlight coordinate representations and boundary excitation design as key factors in neural Calder\'on inversion.

cs.LG↗

arXiv2025

An existence theorem for sliding minimal sets

We prove an existence theorem for the sliding boundary variant of the Plateau problem for $2$-dimensional sets in $\mathbb{R}^n$. The simplest case of sufficient condition is when $n=3$ and the boundary $\Gamma$ is a finite disjoint union of smooth closed curves contained in the boundary of a convex body, but the main point of our sufficient condition is to prevent the limits in measure of a minimizing sequence to have singularities of type $\mathbb{Y}$ along $\Gamma$.

math.CA↗

arXiv2025

Robin Green Function Estimates and a Model of Mammalian Lungs

The present paper establishes delicate properties of the Green function with Robin boundary conditions, in particular, elucidating the nature of the passage between the Dirichlet-like and Neumann-like behavior. This yields sharp quantifiable bounds on the corresponding harmonic measure and proves the phase transition in the behavior of the total flow earlier conjectured in physics literature in concert with the efficacy of mammalian lungs.

math.AP↗

arXiv2025

Periodic homogenization and harmonic measures

Since the seminal work of Kenig and Pipher, the Dahlberg-Kenig-Pipher (DKP) condition on oscillations of the coefficient matrix became a standard threshold in the study of absolute continuity of the harmonic measure with respect to the Hausdorff measure on the boundary. It has been proved sufficient for absolute continuity in the domains with increasingly complex geometry, and known counterexamples show that in a certain sense it is necessary as well. In the present note, we introduce into the subject ideas from homogenization theory to exhibit a new class of operators for which the elliptic measure is well-behaved, featuring the coefficients violating the DKP condition, and on the contrary, oscillating so quickly, that the homogenization takes place.

math.AP↗

arXiv2024

Dimension and structure of the Robin Harmonic Measure on Rough Domains

The present paper establishes that the Robin harmonic measure is quantitatively mutually absolutely continuous with respect to the surface measure on any Ahlfors regular set in any (quantifiably) connected domain for any elliptic operator. This stands in contrast with analogous results for the Dirichlet boundary value problem and also contradicts the expectation, supported by simulations in the physics literature, that the dimension of the Robin harmonic measure in rough domains exhibits a phase transition as the boundary condition interpolates between completely reflecting and completely absorbing. In the adopted traditional language, the corresponding harmonic measure exhibits no dimension drop, and the absolute continuity necessitates neither rectifiability of the boundary nor control of the oscillations of the coefficients of the equation. The expected phase transition is rather exhibited through the detailed non-scale-invariant weight estimates.

math.AP↗

arXiv2023

The landscape function on $\mathbb R^d$

Consider the Schr\"odinger operator $-\triangle+\lambda V$ with non-negative iid random potential $V$ of strength $\lambda>0$. We prove existence and uniqueness of the associated landscape function on the whole space, and show that its correlations decay exponentially. As a main ingredient we establish the (annealed and quenched) exponential decay of the Green function of $-\triangle+\lambda V$ using Agmon's positivity method, rank-one perturbation in dimensions $d\ge 3$, and first-passage percolation in dimensions $d=1,2$.

math.PR↗

arXiv2023

Cantor sets with absolutely continuous harmonic measure

We construct Ahlfors regular Cantor sets $K$ of small dimension in the plane, such that the Hausdorff measure on $K$ is equivalent to the harmonic measure associated to its complement. In particular the Green function in $R^2 \backslash K$ satisfies $G^p (x) \simeq \mathrm{dist} (x, K)^\delta$ whenever $\mathrm{dist} (x, K) \le 1$ and $p$ is far from $K$.

math.AP↗

arXiv2022

Small $A_\infty$ results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries

In the present paper, we consider elliptic operators $L=-\textrm{div}(A\nabla)$ in a domain bounded by a chord-arc surface $\Gamma$ with small enough constant, and whose coefficients $A$ satisfy a weak form of the Dahlberg-Kenig-Pipher condition of approximation by constant coefficient matrices, with a small enough Carleson norm, and show that the elliptic measure with pole at infinity associated to $L$ is $A_\infty$-absolutely continuous with respect to the surface measure on $\Gamma$, with a small $A_\infty$ constant. In other words, we show that for relatively flat uniformly rectifiable sets and for operators with slowly oscillating coefficients the elliptic measure satisfies the $A_\infty$ condition with a small constant and the logarithm of the Poisson kernel has small oscillations.

math.AP↗

arXiv2022

Branch Points for (Almost-)Minimizers of Two-Phase Free Boundary Problems

We study the existence and structure of branch points in two-phase free boundary problems. More precisely, we construct a family of minimizers to an Alt- Caffarelli-Friedman type functional whose free boundaries contain branch points in the strict interior of the domain. We also give an example showing that branch points in the free boundary of almost-minimizers of the same functional can have very little structure. This last example stands in contrast with recent results of De Philippis- Spolaor-Velichkov on the structure of branch points in the free boundary of stationary solutions.

math.AP↗

arXiv2021

An optimal partition problem for the localization of eigenfunctions

We study the minimizers of a functional on the set of partitions of a domain $\Omega \subset R^n$ into $N$ subsets $W_j$ of locally finite perimeter in $\Omega$, whose main term is $\sum_{j=1^N} \int_{\Omega \cap \partial W_j} a(x) dH^{n--1}(x)$. Here the positive bounded function $a$ may for instance be related to the Landscape function of some Schr{\"o}dinger operator. We prove the existence of minimizers through the equivalence with a weak formulation, and the local Ahlfors regularity and uniform rectifiability of the boundaries $\Omega \cap \partial W_j$.

math.CA↗

arXiv2021

Carleson estimates for the Green function on domains with lower dimensional boundaries

In the present paper, we consider an elliptic divergence form operator in $\mathbb{R}^n\setminus\mathbb{R}^d$ with $d<n-1$ and prove that its Green function is almost affine, in the sense that the normalized difference between the Green function with a sufficiently far away pole and a suitable affine function at every scale satisfies a Carleson measure estimate. The coefficients of the operator can be very oscillatory, and only need to satisfy some condition similar to the traditional quadratic Carleson condition.

math.AP↗

arXiv2021

Carleson measure estimates for the Green function

In the present paper, we consider an elliptic divergence form operator in the half-space and prove that its Green function is almost affine, or more precisely, that the normalized difference between the Green function and a suitable affine function at every scale satisfies a Carleson measure estimate, provided that the oscillations of the coefficients satisfy the traditional quadratic Carleson condition. The results are sharp, and in particular, it is demonstrated that the class of the operators considered in the paper cannot be improved.

math.AP↗

arXiv2021

Green function estimates on complements of low-dimensional uniformly rectifiable sets

It has been recently established by the first and third author that on uniformly rectifiable sets the Green function is almost affine in the weak sense, and moreover, in some scenarios such Green function estimates are equivalent to the uniform rectifiability of a set. The present paper tackles a strong analogue of these results, starting with the "flagship" degenerate operators on sets with lower dimensional boundaries. We consider the elliptic operators $L_{\beta,\gamma} =- {\rm div} D^{d+1+\gamma-n} \nabla$ associated to a domain $\Omega \subset \mathbb R^n$ with a uniformly rectifiable boundary $\Gamma$ of dimension $d < n-1$, the now usual distance to the boundary $D = D_\beta$ given by $D_\beta(X)^{-\beta} = \int_{\Gamma} |X-y|^{-d-\beta} d\sigma(y)$ for $X \in \Omega$, where $\beta >0$ and $\gamma \in (-1,1)$. In this paper we show that the Green function $G$ for $L_{\beta,\gamma}$, with pole at infinity, is well approximated by multiples of $D^{1-\gamma}$, in the sense that the function $\big| D\nabla\big(\ln\big( \frac{G}{D^{1-\gamma}} \big)\big)\big|^2$ satisfies a Carleson measure estimate on $\Omega$. We underline that the strong and the weak results are different in nature and, of course, at the level of the proofs: the latter extensively used compactness arguments, while the present paper relies on some intricate integration by parts and the properties of the "magical" distance function from a previous work from the first author, the third author, and Max Engelstein.

math.AP↗

arXiv2020

Approximation of Green functions and domains with uniformly rectifiable boundaries of all dimensions

The present paper establishes equivalence between uniform rectifiability of the boundary of a domain and the property that the Green function for elliptic operators is well approximated by affine functions (distance to the hyperplanes). The results are novel in a variety of ways, in particular (1) this is the first time the underlying property of the control of the Green function by affine functions, or by the distance to the boundary, in the sense of the Carleson prevalent sets, appears in the literature; the "direct" result established here is new even in the half space; (2) the results are optimal, providing a full characterization of uniform rectifiability under the (standard) mild topological assumptions; (3) to the best of the authors' knowledge, this is the first free boundary result applying to all elliptic operators, without any restriction on the coefficients (the direct one assumes the standard, and necessary, Carleson measure condition); (4) our theorems apply to all domains, with possibly lower dimensional boundaries: this is the first free boundary result in higher co-dimensional setting and as such, the first PDE characterization of uniform rectifiability for a set of dimension $d$, $d<n-1$, in ${\mathbb{R}}^n$. The paper offers a general way to deal with related issues considerably beyond the scope of the aforementioned theorem, including the question of approximability of the gradient of the Green function, and the comparison of the Green function to a certain version of the distance to the original set rather than distance to the hyperplanes.

math.AP↗

arXiv2020

Sharp estimates for the integrated density of states in Anderson tight-binding models

Recent work [G. David, M. Filoche, and S. Mayboroda, arXiv:1909.10558[Adv. Math. (to be published)]] has proved the existence of bounds from above and below for the Integrated Density of States (IDOS) of the Schr\"odinger operator throughout the spectrum, called the landscape law. These bounds involve dimensional constants whose optimal values are yet to be determined. Here, we investigate the accuracy of the landscape law in 1D and 2D tight-binding Anderson models, with binary or uniform random distributions. We show, in particular, that in 1D, the IDOS can be approximated with high accuracy through a single formula involving a remarkably simple multiplicative energy shift. In 2D, the same idea applies but the prefactor has to be changed between the bottom and top parts of the spectrum.

math-ph↗

arXiv2020

Good elliptic operators on Cantor sets

It is well known that a purely unrectifiable set cannot support a harmonic measure which is absolutely continuous with respect to the Hausdorff measure of this set. We show that nonetheless there exist elliptic operators on (purely unrectifiable) Cantor sets in ${\mathbb{R}}^2$ whose elliptic measure is absolutely continuous, and in fact, essentially proportional to the Hausdorff measure.

math.AP↗

arXiv2020

Elliptic theory in domains with boundaries of mixed dimension

Take an open domain $\Omega \subset \mathbb R^n$ whose boundary may be composed of pieces of different dimensions. For instance, $\Omega$ can be a ball on $\mathbb R^3$, minus one of its diameters $D$, or $\Omega \subset \mathbb R^3$ could be a so-called saw-tooth domain, with a boundary consisting of pieces of 1-dimensional curves intercepted by 2-dimensional spheres. Under appropriate geometric assumptions, such as the existence of doubling measures on $\Omega$ and $\partial \Omega$ with appropriate size conditions, we construct a class of degenerate elliptic operators $L$ adapted to the geometry, and establish key estimates of elliptic theory associated to those operators. This includes boundary Poincar\'e and Harnack inequalities, maximum principle, and H\"older continuity of solutions at the boundary. We introduce Hilbert spaces naturally associated to the geometry, construct appropriate trace and extension operators, and use them to define weak solutions to $Lu=0$. Then we prove De Giorgi-Nash-Moser estimates inside $\Omega$ and on the boundary, solve the Dirichlet problem and thus construct an elliptic measure $\omega_L$ associated to $L$. At last, we introduce Green functions, and use them to prove a comparison principle. Since our theory emphasizes measures, rather than the geometry per se, the results are new even in the classical setting of a half-plane $\mathbb R^2_+$ when the boundary $\partial \mathbb R^2_+= \mathbb R$ is equipped with a doubling measure $\mu$ singular with respect to the Lebesgue measure on $\mathbb R$. Finally, the present paper provides a generalization of the celebrated Caffarelli-Sylvestre extension operator from its classical setting of $\mathbb R^{n+1}_+$ to general open sets, and hence, an extension of the concept of fractional Laplacian to Ahlfors regular boundaries and beyond.

math.AP↗

arXiv2019

The landscape law for the integrated density of states

The present paper establishes non-asymptotic estimates from above and below on the integrated density of states of the Schr\"odinger operator $L=-\Delta+V$, using a counting function for the minima of the localization landscape, a solution to the equation $Lu=1$.

math.AP↗