Source author record

Charles L. Fefferman

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

ResearcherUnclaimed source record

math.AP math-ph math.MP quant-ph cond-mat.mes-hall math.CA math.AG math.OC cond-mat.mtrl-sci eess.SY math.CV math.FA math.LO nlin.PS physics.optics Systems and Control

Catalog footprint

Research overview

15works

16topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Lower Bound on Quantum Tunneling for Strong Magnetic Fields

We consider a particle bound to a two-dimensional plane and a double well potential, subject to a perpendicular uniform magnetic field . The energy difference between the lowest two eigenvalues--the eigenvalue splitting--is related to the tunneling probability between the two wells. We obtain upper and lower bounds on this splitting in the regime where both the magnetic field strength and the depth of the wells are large. The main step is a lower bound on the hopping probability between the wells, a key parameter in tight binding models of solid state physics.

preprint2022arXiv

Optimal Control with Learning on the Fly: System with Unknown Drift

This paper derives an optimal control strategy for a simple stochastic dynamical system with constant drift and an additive control input. Motivated by the example of a physical system with an unexpected change in its dynamics, we take the drift parameter to be unknown, so that it must be learned while controlling the system. The state of the system is observed through a linear observation model with Gaussian noise. In contrast to most previous work, which focuses on a controller's asymptotic performance over an infinite time horizon, we minimize a quadratic cost function over a finite time horizon. The performance of our control strategy is quantified by comparing its cost with the cost incurred by an optimal controller that has full knowledge of the parameters. This approach gives rise to several notions of "regret." We derive a set of control strategies that provably minimize the worst-case regret; these arise from Bayesian strategies that assume a specific fixed prior on the drift parameter. This work suggests that examining Bayesian strategies may lead to optimal or near-optimal control strategies for a much larger class of realistic dynamical models with unknown parameters.

preprint2021arXiv

$C^m$ Semialgebraic Sections Over the Plane

In this paper we settle the two-dimensional case of a conjecture involving unknown semialgebraic functions with specified smoothness. More precisely, we prove the following result: Let $\mathcal{H}$ be a semialgebraic bundle with respect to $C^m_{loc}\left( \mathbb{R}^{2},\mathbb{R}^{D}\right) .$ If $\mathcal{H}$ has a section, then it has a semialgebraic section.

preprint2020arXiv

Optimal control with learning on the fly: a toy problem

We exhibit optimal control strategies for a simple toy problem in which the underlying dynamics depend on a parameter that is initially unknown and must be learned. We consider a cost function posed over a finite time interval, in contrast to much previous work that considers asymptotics as the time horizon tends to infinity. We study several different versions of the problem, including Bayesian control, in which we assume a prior distribution on the unknown parameter; and "agnostic" control, in which we assume nothing about the unknown parameter. For the agnostic problems, we compare our performance with that of an opponent who knows the value of the parameter. This comparison gives rise to several notions of "regret," and we obtain strategies that minimize the "worst-case regret" arising from the most unfavorable choice of the unknown parameter. In every case, the optimal strategy turns out to be a Bayesian strategy or a limit of Bayesian strategies.

preprint2016arXiv

Edge states in honeycomb structures

An edge state is a time-harmonic solution of a conservative wave system, e.g. Schroedinger, Maxwell, which is propagating (plane-wave-like) parallel to, and localized transverse to, a line-defect or "edge". Topologically protected edge states are edge states which are stable against spatially localized (even strong) deformations of the edge. First studied in the context of the quantum Hall effect, protected edge states have attracted huge interest due to their role in the field of topological insulators. Theoretical understanding of topological protection has mainly come from discrete (tight-binding) models and direct numerical simulation. In this paper we consider a rich family of continuum PDE models for which we rigorously study regimes where topologically protected edge states exist. Our model is a class of Schroedinger operators on $\mathbb{R}^2$ with a background 2D honeycomb potential perturbed by an "edge-potential". The edge potential is a domain-wall interpolation, transverse to a prescribed "rational" edge, between two distinct periodic structures. General conditions are given for the bifurcation of a branch of topologically protected edge states from Dirac points of the background honeycomb structure. The bifurcation is seeded by the zero mode of a 1D effective Dirac operator. A key condition is a spectral no-fold condition for the prescribed edge. We then use this result to prove the existence of topologically protected edge states along zigzag edges of certain honeycomb structures. Our results are consistent with the physics literature and appear to be the first rigorous results on the existence of topologically protected edge states for continuum 2D PDE systems describing waves in a non-trivial periodic medium. We also show that the family of Hamiltonians we study contains cases where zigzag edge states exist, but which are not topologically protected.

preprint2016arXiv

Local existence for the non-resistive MHD equations in nearly optimal Sobolev spaces

This paper establishes the local-in-time existence and uniqueness of solutions to the viscous, non-resistive magnetohydrodynamics (MHD) equations in $\mathbb{R}^d$ , $d=2,3$ , with initial data $B_0\in H^s(\mathbb{R}^d)$ and $u_0\in H^{s-1+\varepsilon}(\mathbb{R}^d)$ for $s>d/2$ and any $0<\varepsilon<1$ . The proof relies on maximal regularity estimates for the Stokes equation. The obstruction to taking $\varepsilon=0$ is explained by the failure of solutions of the heat equation with initial data $u_0\in H^{s-1}$ to satisfy $u\in L^1(0,T;H^{s+1})$ ; we provide an explicit example of this phenomenon.

preprint2016arXiv

Photonic realization of topologically protected bound states in domain-wall waveguide arrays

We present an analytical theory of topologically protected photonic states for the two-dimensional Maxwell equations for a class of continuous periodic dielectric structures, modulated by a domain wall. We further numerically confirm the applicability of this theory for three-dimensional structures.

preprint2015arXiv

Topologically Protected States in One-Dimensional Systems

We study a class of periodic Schrödinger operators, which in distinguished cases can be proved to have linear band-crossings or "Dirac points". We then show that the introduction of an "edge", via adiabatic modulation of these periodic potentials by a domain wall, results in the bifurcation of spatially localized "edge states". These bound states are associated with the topologically protected zero-energy mode of an asymptotic one-dimensional Dirac operator. Our model captures many aspects of the phenomenon of topologically protected edge states for two-dimensional bulk structures such as the honeycomb structure of graphene. The states we construct can be realized as highly robust TM- electromagnetic modes for a class of photonic waveguides with a phase-defect.

preprint2014arXiv

Fitting a Sobolev function to data

We exhibit an algorithm to solve the following extension problem: Given a finite set $E \subset \mathbb{R}^n$ and a function $f: E \rightarrow \mathbb{R}$ , compute an extension $F$ in the Sobolev space $L^{m,p}(\mathbb{R}^n)$ , $p>n$ , with norm having the smallest possible order of magnitude, and secondly, compute the order of magnitude of the norm of $F$ . Here, $L^{m,p}(\mathbb{R}^n)$ denotes the Sobolev space consisting of functions on $\mathbb{R}^n$ whose $m$ th order partial derivatives belong to $L^p(\mathbb{R}^n)$ . The running time of our algorithm is at most $C N \log N$ , where $N$ denotes the cardinality of $E$ , and $C$ is a constant depending only on $m$ , $n$ , and $p$ .

preprint2012arXiv

Honeycomb Lattice Potentials and Dirac Points

We prove that the two-dimensional Schroedinger operator with a potential having the symmetry of a honeycomb structure has dispersion surfaces with conical singularities (Dirac points) at the vertices of its Brillouin zone. No assumptions are made on the size of the potential. We then prove the robustness of such conical singularities to a restrictive class of perturbations, which break the honeycomb lattice symmetry. General small perturbations of potentials with Dirac points do not have Dirac points; their dispersion surfaces are smooth. The presence of Dirac points in honeycomb structures is associated with many novel electronic and optical properties of materials such as graphene.

preprint2012arXiv

Sobolev Extension By Linear Operators

Let $L^{m,p}(\R^n)$ be the Sobolev space of functions with $m^{th}$ derivatives lying in $L^p(\R^n)$ . Assume that $n< p < \infty$ . For $E \subset \R^n$ , let $L^{m,p}(E)$ denote the space of restrictions to $E$ of functions in $L^{m,p}(\R^n)$ . We show that there exists a bounded linear map $T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n)$ such that, for any $f \in L^{m,p}(E)$ , we have $Tf = f$ on $E$ . We also give a formula for the order of magnitude of $\|f\|_{L^{m,p}(E)}$ for a given $f : E \rightarrow \R$ when $E$ is finite.

preprint2012arXiv

The Brenner-Hochster-Kollár and Whitney Problems for Vector-valued Functions and Jets

In this paper, we give analytic methods for finding m (and m+ω) times continuously differentiable solutions of a finite system of linear equations. Along the way, we also solve a generalized Whitney problem for vector-valued functions and jets.

preprint2012arXiv

The Structure of Sobolev Extension Operators

Let $L^{m,p}(\R^n)$ denote the Sobolev space of functions whose $m$ -th derivatives lie in $L^p(\R^n)$ , and assume that $p>n$ . For $E \subset \R^n$ , denote by $L^{m,p}(E)$ the space of restrictions to $E$ of functions $F \in L^{m,p}(\R^n)$ . It is known that there exist bounded linear maps $T : L^{m,p}(E) \rightarrow L^{m,p}(\R^n)$ such that $Tf = f$ on $E$ for any $f \in L^{m,p}(E)$ . We show that $T$ cannot have a simple form called "bounded depth."

preprint2012arXiv

Wave packets in Honeycomb Structures and Two-Dimensional Dirac Equations

In a recent article [10], the authors proved that the non-relativistic Schrödinger operator with a generic honeycomb lattice potential has conical (Dirac) points in its dispersion surfaces. These conical points occur for quasi-momenta, which are located at the vertices of the Brillouin zone, a regular hexagon. In this paper, we study the time-evolution of wave-packets, which are spectrally concentrated near such conical points. We prove that the large, but finite, time dynamics is governed by the two-dimensional Dirac equations.

preprint2012arXiv

Waves in Honeycomb Structures

We review recent work of the authors on the non-relativistic Schrödinger equation with a honeycomb lattice potential, $V$ . In particular, we summarize results on (i) the existence of Dirac points, conical singularities in dispersion surfaces of $H_V=-Δ+V$ and (ii) the two-dimensional Dirac equations, as a large, but finite time, effective description of $e^{-iH_Vt}ψ_0$ , for data $ψ_0$ , which is spectrally localized at a Dirac point. We conclude with a formal derivation and discussion of the effective large time evolution for the nonlinear Schrödinger - Gross Pitaevskii equation for small amplitude initial conditions, $ψ_0$ . The effective dynamics are governed by a nonlinear Dirac system.

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.

Charles L. Fefferman

Research overview

Is this your work?

15 publications

Lower Bound on Quantum Tunneling for Strong Magnetic Fields

Optimal Control with Learning on the Fly: System with Unknown Drift

$C^m$ Semialgebraic Sections Over the Plane

Optimal control with learning on the fly: a toy problem

Edge states in honeycomb structures

Local existence for the non-resistive MHD equations in nearly optimal Sobolev spaces

Photonic realization of topologically protected bound states in domain-wall waveguide arrays

Topologically Protected States in One-Dimensional Systems

Fitting a Sobolev function to data

Honeycomb Lattice Potentials and Dirac Points

Sobolev Extension By Linear Operators

The Brenner-Hochster-Kollár and Whitney Problems for Vector-valued Functions and Jets

The Structure of Sobolev Extension Operators

Wave packets in Honeycomb Structures and Two-Dimensional Dirac Equations

Waves in Honeycomb Structures

See the researcher in context

Building this map preview

Charles L. Fefferman

Research overview

Is this your work?

15 publications

Lower Bound on Quantum Tunneling for Strong Magnetic Fields

Optimal Control with Learning on the Fly: System with Unknown Drift

CmC^mCm Semialgebraic Sections Over the Plane

Optimal control with learning on the fly: a toy problem

Edge states in honeycomb structures

Local existence for the non-resistive MHD equations in nearly optimal Sobolev spaces

Photonic realization of topologically protected bound states in domain-wall waveguide arrays

Topologically Protected States in One-Dimensional Systems

Fitting a Sobolev function to data

Honeycomb Lattice Potentials and Dirac Points

Sobolev Extension By Linear Operators

The Brenner-Hochster-Kollár and Whitney Problems for Vector-valued Functions and Jets

The Structure of Sobolev Extension Operators

Wave packets in Honeycomb Structures and Two-Dimensional Dirac Equations

Waves in Honeycomb Structures

See the researcher in context

Building this map preview

$C^m$ Semialgebraic Sections Over the Plane