Source author record

Charles Fefferman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

18works
14topics
4close collaborators

Published work

18 publications

preprint2026arXiv

Denoising data using convex relaxations

We study the problem of denoising observations Yi=Xi+ZiY_i=X_i+Z_i, where the latent variables XiX_i are sampled from a low-dimensional manifold in Rn\mathbb{R}^n and the noise variables ZiZ_i are isotropic Gaussian. We propose a convex-relaxation estimator that first reduces dimension by principal component analysis and then projects the observations onto the convex hull of the projected latent manifold. We construct a statistical oracle that estimates its supporting hyperplanes from empirical Gaussian tail probabilities of the noisy sample. Under a lower-mass condition on the latent distribution, we prove finite-sample guarantees for the oracle and derive error bounds for the resulting denoiser. The analysis combines risk bounds for least-squares projection under convex constraints with entropy bounds for convex hulls. We also verify the assumptions of the framework for a Cryo-Electron Microscopy observation model by establishing suitable covering number and Lipschitz estimates for the associated group action and imaging operators.

preprint2022arXiv

Fitting a manifold of large reach to noisy data

Let M⊂Rn{\mathcal M}\subset {\mathbb R}^n be a C2C^2-smooth compact submanifold of dimension dd. Assume that the volume of M{\mathcal M} is at most VV and the reach (i.e. the normal injectivity radius) of M{\mathcal M} is greater than ττ. Moreover, let μμ be a probability measure on M{\mathcal M} whose density on M{\mathcal M} is a strictly positive Lipschitz-smooth function. Let xj∈Mx_j\in {\mathcal M}, j=1,2,…,Nj=1,2,\dots,N be NN independent random samples from distribution μμ. Also, let ξjξ_j, j=1,2,…,Nj=1,2,\dots, N be independent random samples from a Gaussian random variable in Rn{\mathbb R}^n having covariance σ2Iσ^2I, where σσ is less than a certain specified function of d,Vd, V and ττ. We assume that we are given the data points yj=xj+ξj,y_j=x_j+ξ_j, j=1,2,…,Nj=1,2,\dots,N, modelling random points of M{\mathcal M} with measurement noise. We develop an algorithm which produces from these data, with high probability, a dd dimensional submanifold Mo⊂Rn{\mathcal M}_o\subset {\mathbb R}^n whose Hausdorff distance to M{\mathcal M} is less than Cdσ2/τCdσ^2/τ and whose reach is greater than cτ/d6cτ/d^6 with universal constants C,c>0C,c > 0. The number NN of random samples required depends almost linearly on nn, polynomially on σ−1σ^{-1} and exponentially on dd.

preprint2015arXiv

Finiteness Principles for Smooth Selection

In this paper we prove finiteness principles for Cm(Rn,RD)C^{m}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) -selection, and for Cm−1,1(Rn,RD)C^{m-1,1}\left( \mathbb{R}^{n}, \mathbb{R}^{D}\right) -selection, in particular providing a proof for a conjecture of Brudyni-Shvartsman (1994) on Lipschitz selections for the case when the domain is X=RnX = \mathbb{R}^n. Our results raise the hope that one can start to understand constrained interpolation problems in which e.g. the interpolating function FF is required to be nonnegative everywhere.

preprint2015arXiv

Splash singularities for the one-phase Muskat problem in stable regimes

This paper shows finite time singularity formation for the Muskat problem in a stable regime. The framework we found is with a dry region, where the density and the viscosity are set equal to 00 (the gradient of the pressure is equal to (0,0)(0,0)) in the complement of the fluid domain. The singularity is a splash-type: a smooth fluid boundary collapses due to two different particles evolve to collide at a single point. This is the first example of a splash singularity for a parabolic problem.

preprint2014arXiv

Structural stability for the splash singularities of the water waves problem

In this paper we show a structural stability result for water waves. The main motivation for this result is that we would like to exhibit a water wave whose interface starts as a graph and ends in a splash. Numerical simulations lead to an approximate solution with the desired behaviour. The stability result will conclude that near the approximate solution to water waves there is an exact solution.

preprint2013arXiv

On the absence of "splash" singularities in the case of two-fluid interfaces

We show that "splash" singularities cannot develop in the case of locally smooth solutions of the two-fluid interface in two dimensions. More precisely, we show that the scenario of formation of singularities discovered by Castro-Córdoba-Fefferman-Gancedo-Gómez-Serrano in the case of the water waves system, in which the interface remains locally smooth but self-intersects in finite time, is completely prevented in the case of two-fluid interfaces with positive densities.

preprint2013arXiv

Testing the Manifold Hypothesis

The hypothesis that high dimensional data tend to lie in the vicinity of a low dimensional manifold is the basis of manifold learning. The goal of this paper is to develop an algorithm (with accompanying complexity guarantees) for fitting a manifold to an unknown probability distribution supported in a separable Hilbert space, only using i.i.d samples from that distribution. More precisely, our setting is the following. Suppose that data are drawn independently at random from a probability distribution PP supported on the unit ball of a separable Hilbert space HH. Let G(d,V,τ)G(d, V, τ) be the set of submanifolds of the unit ball of HH whose volume is at most VV and reach (which is the supremum of all rr such that any point at a distance less than rr has a unique nearest point on the manifold) is at least ττ. Let L(M,P)L(M, P) denote mean-squared distance of a random point from the probability distribution PP to MM. We obtain an algorithm that tests the manifold hypothesis in the following sense. The algorithm takes i.i.d random samples from PP as input, and determines which of the following two is true (at least one must be): (a) There exists M∈G(d,CV,τC)M \in G(d, CV, \fracτ{C}) such that L(M,P)≤Cε.L(M, P) \leq C ε. (b) There exists no M∈G(d,V/C,Cτ)M \in G(d, V/C, Cτ) such that L(M,P)≤εC.L(M, P) \leq \fracε{C}. The answer is correct with probability at least 1−δ1-δ.

preprint2010arXiv

Turning waves and breakdown for incompressible flows

We consider the evolution of an interface generated between two immiscible incompressible and irrotational fluids. Specifically we study the Muskat and water wave problems. We show that starting with a family of initial data given by $(\al,f_0(\al))$, the interface reaches a regime in finite time in which is no longer a graph. Therefore there exists a time t∗t^* where the solution of the free boundary problem parameterized as $(\al,f(\al,t))$ blows-up: $\|\da f\|_{L^\infty}(t^*)=\infty$. In particular, for the Muskat problem, this result allows us to reach an unstable regime, for which the Rayleigh-Taylor condition changes sign and the solution breaks down.

preprint2003arXiv

Ambient metric construction of Q-curvature in conformal and CR geometries

We give a geometric derivation of Branson's Q-curvature in terms of the ambient metric associated with conformal structures; it naturally follows from the ambient metric construction of conformally invariant operators and can be applied to a large class of invariant operators. This procedure can be also applied to CR geometry and gives a CR analog of the Q-curvature; it then turns out that the Q-curvature gives the coefficient of the logarithmic singularity of the Szego kernel of 3-dimensional CR manifolds.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.