The first Distinguished Lecture Series at UCLA of this academic year is being given this week by my good friend and fellow Medalist Charlie Fefferman, who also happens to be my “older brother” (we were both students of Elias Stein). The theme of Charlie’s lectures is “Interpolation of functions on “, in the spirit of the classical Whitney extension theorem, except that now one is considering much more quantitative and computational extension problems (in particular, viewing the problem from a theoretical computer science perspective). Today Charlie introduced the basic problems in this subject, and stated some of the results of his joint work with Bo’az Klartag; he will continue the lectures on Thursday and Friday.

The general topic of extracting quantitative bounds from classical qualitative theorems is a subject that I am personally very fond of, and Charlie gave a wonderfully accessible presentation of the main results, though the actual details of the proofs were left to the next two lectures.

As usual, all errors and omissions here are my responsibility, and are not due to Charlie.

The original extension question addressed by Whitney (with further work by many others including Glaeser, Brudnyi-Shvartsman, Zobin, Bierstone-Milman-Pawlucki, Fefferman, and Brudnyi-Brudnyi) is the following. Suppose one is given a subset E of a given Euclidean space , and suppose one also given a function , as well as a regularity m (which is a non-negative integer). Is it then possible to extend f to a globally defined function (thus for all ), which lies in the regularity class of m-times continuously differentiable functions?

Some easy remarks about this question:

- The larger E is, the harder it is to obtain an extension. For instance, if E is finite, then an easy application of the Lagrange interpolation formula shows that any function can be extended to a smooth function (or even a polynomial) . At the other extreme, if , then of course f can be extended to a function F if and only if f already has bounded continuous derivatives up to order.
- On the other hand, it is easy to reduce to the case when E is bounded; if E is unbounded and one can solve the extension problem for the bounded sets for every radius R (and for the restriction of f to these sets), then it is not difficult (by use of partitions of unity) to show that the extension problem can be solved for the unbounded set E.
- One can reduce further to the case when E is compact, because if the values of a continuous function is specified on a set E, this uniquely specifies F on the closure .

The case m=0 of this problem is answered by the Tietze extension theorem. For higher m, the problem is partially answered by the Whitney extension theorem (of which more will be said in subsequent talks).

Charlie’s talk is concerned with more “finitary” or “quantitative” versions of the above problem. Now E is a *finite* subset of , with cardinality |E|=N (say), so that is now simply a list of N real numbers. (One should think of n and m as being fixed and relatively small, but N as being extremely large.) As remarked above, it is now very easy to extend f to an m-times continuously differentiable function , and one can even make F boundedly continuously differentiable, thus the norm

is finite. However, one can now ask some quantitative questions, which we will first state in a rather informal fashion:

- Given the data n, m, E, f, what is the best possible value of ? Can this value (or some approximation to this value) be “computed” efficiently?
- Given the data n, m, E, f, can one “compute” an extension F of f whose norm is close to optimal?
- Can the extension operation be chosen to be linear?
- How does one answer Q1, Q2, Q3 if we allow the use of approximate extensions , in which F(x) is only required to be close to f(x) for , rather than equal to f(x), with some error tolerance which may depend on x?
- How does one answer Q1, Q2, Q3 if we also are allowed to discard a few elements of E (so that F(x) is now only required to be equal or close to f(x) outside of a small exceptional set)?

Such questions are of relevance in computer science problems such as machine learning, in which an unknown smooth function is “learned” by sampling its values at a finite number of points , but where the observed values f(x) at x can differ from the true value F(x) by some experimental error (and in some small number of cases, f(x) may be completely incorrect). The problem is then how to interpolate F from this noisy (and occasionally completely wrong) data. Such problems are of course also related to the more classical problem of regression in statistics, but with the difference that the function F is only assumed to be smooth (in some quantitative sense), rather than being linear, polynomial, or otherwise being determined by a small number of parameters.

The above questions are of course rather imprecise. To make them more precise, we need to specify what “compute” means. For simplicity, let us take a computational model in which one has a certain amount of memory, say M registers , with each register containing an infinite-precision real number. We then consider performing a number of operations on these registers, where each operation involves only a small number (e.g. two or three) of the registers and performs a simple operation (e.g. adding or multiplying the values of two registers and placing the result in a third). [The infinite precision model is not realistic, of course, but Charlie remarked that provided that one can tolerate a sufficient amount of boredom, one can state and prove analogues of the results stated below for finite precision computational models.]

A computer with M registers can certainly *store* all the data n, m, E, f (and sometimes ) needed for the above problems, if M is larger than some constant multiple of N. But what can it mean to “compute” a function ? The domain of this function is infinite and so it cannot be “stored” in this finite-memory computer simply by storing each of its values separately. So instead, we shall say that F can be computed on a computer with M registers with an amount W of one-time work and an amount Q of query work if, after W computations, the computer has reached a state in which, after being given any input x, the computer can output F(x) (to infinite accuracy) after at most Q computations.

To state the theorems of Fefferman and Klartag we need a little more notation. Given data n, m, E, f, as well as an error tolerance function , let us define the quantity to be the best constant M such that one can find a function with , which approximates f in the sense that for all . This quantity is then a norm on f (for fixed E and ), and measures how well one can fit a reasonably smooth function F to the data f with error tolerance . (If one wants to fit F to f perfectly, one can simply set .) If a function F obeys the above properties with an M which is comparable in magnitude to the optimal value , thus , then we say that F is an *essentially optimal* interpolant of f. (Here and in the sequel, all implied constants in the O() notation are allowed to depend on the dimension n and the regularity m, but are uniform in N, E, f, .)

Theorem 1. If n, m are fixed, and E, f, are given with |E|=N, then one can compute the order of magnitude of using only computations and amount of memory. [More precisely, one can use these computational resources to produce a quantity Y which differs from by at most a multiplicative constant.]

Theorem 2. With the same setup as Theorem 1, one can compute an essentially optimal function F using only one-time work, memory, and query work. Furthermore, for fixed n, m, E, , the map can be chosen to be linear!

Apart from the factors of , these bounds are optimal, as one needs O(N) amount of work and memory merely to *read* all the data. (From the way we have set up the problem, one cannot hope to obtain any meaningful results by sampling only a small portion of the data.)

Now let us consider the problem of what happens if we are willing to discard k points (say) from E in order to improve the interpolant. To this end, let us define the quantity

to denote the quality of the best interpolant one obtains from the data f after being allowed to reject k data points S. The key problem, of course, is to work out which sets S are good to reject; once S is identified, one can use Theorems 1 and 2 to compute the quantity , as well as a good interpolant F. Let us say that a set S is an *essentially optimal* rejection set if we have

for some constant c > 0 (depending only on n and m); this means that throwing out S gives you about as good a fit as you can hope to accomplish with the remaining data, apart from the fact that you may have thrown out a bit more data (by a multiplicative factor) than you really needed to.

Theorem 3. With the same setup as Theorem 1, one can compute an ordering of E in computations and memory, such that the set is an essentially optimal rejection set for every .

Basically, this theorem says that there is a polynomial time algorithm to order the data from the most unreliable to the most reliable , so that if you are willing to throw out about k points of data to get a good fit with a smooth model, then an essentially optimal way to do this is simply to throw out the k most unreliable points . Charlie believes that the amount of work can be reduced, but this is not yet been established rigorously.

One of the keys to these results is a remarkable reduction of the problem to a local one:

Finiteness theorem.Let n, m, E, be as before, with E finite. Then there exists a constant C (depending only on n,m) such thatfor all functions , where means that X and Y are equal up to multiplicative constants (i.e. X = O(Y) and Y = O(X)).

Informally, this is saying that if you want to estimate the extent to which one can fit a smooth function to N points of data, it is enough to look at O(1) points of data at a time and see how well one can fit a smooth function to that. Since a data fitting problem for O(1) points can be done in O(1) time (for instance, by using the methods of the Whitney extension theorem), this already gives a polynomial time version of Theorem 1, since there are only polynomially many sets S of size O(1). To give a nearly linear-time version, one needs the following refinement, which cuts down the number of sets required to be linear in N:

Better finiteness theorem.Let n, m, E, be as before, with E finite. Then there exists a sequence of subsets of S of size O(1) and number , and computable using computations and memory, such thatfor all functions , where means that X and Y are equal up to multiplicative constants (i.e. X = O(Y) and Y = O(X)).

Charlie emphasised that the finiteness of E was important in all of these results; one could not use compactness methods to obtain similar claims for infinite sets E, basically because the space has no good compactness properties. (On the other hand, the slightly weaker space is fine. For instance, it is well known the optimal Lipschitz (or ) norm of an extension F of a function f defined on a possibly infinite set E is equal to the Lipschitz norm of f itself, or equivalently to the supremum of the optimal Lipschitz norm of the extension of F from two points of f, where the supremum is taken over all two-point subsets of E.)

Indeed, the finiteness theorem is false for infinite sets E; a good example is when m = 1, , and . Every finite restriction of f can be extended in with norm arbitrarily close to 1, but f itself can only be extended to be Lipschitz rather than .

Nevertheless, there are meaningful analogues of the above theorems for infinite sets. For this, Charlie set up some notation. Given a point and a regularity m, let denote the ring of polynomials in n variables , in which every polynomial of degree m+1 or higher in is neglected. In particular, note that there is a ring homomorphism from to that sends any m-times continuously differentiable function f to its order m Taylor expansion at (the letter J stands for jet). Given a compact set E, define a *bundle* to be a collection , where for each , is either empty, or is the coset of an ideal of . A function is said to be a *section* of a bundle if we have for all . Charlie then posed the following basic question:

Question. Fix n, m, E. Which bundles admit sections?

The special case of this question in which for some given function is the classic extension problem of Whitney.

Charlie promised a good answer to this question, but as time was running out for this talk, he left it as a cliffhanger for the next talk. So stay tuned…

[*Update*, Nov 14: typos fixed.]

## 9 comments

Comments feed for this article

14 November, 2007 at 1:12 pm

OrrHello Prof. Tao,

Thanks for the post and for your great blog!

I noticed some typos :

1. In the first equation which is not inline (the norm of F) you want j to play some role in the RHS.

2. Two sentences above the last QUESTION, F should be f and the inclusion should hold for all x in E.

Perhaps the typos are in my head, if so I apologize.

14 November, 2007 at 1:41 pm

Terence TaoThanks for the corrections!

15 November, 2007 at 11:11 pm

Distinguished Lecture Series II: Charles Fefferman, “Interpolation of functions on R^n” « What’s new[…] about bundles that underlies all the results, answering the “cliffhanger” question from the last lecture, and broadly outlined the proof, except for a major technical wrinkle about “Whitney […]

1 July, 2009 at 1:14 pm

ramanujantaoDear Terry,

When you attend talks….do you in general take notes? Is this a good practice?

Thanks

25 June, 2010 at 6:21 am

JacquesDear Terry, is it known whether Whitney’s extension theorem is false for functions on a separable Banach space? Thanks.

25 April, 2016 at 5:39 pm

AnonymousIn real analysis, one has the extension theorem for Sobolev space assuming is : one can extend to . Does this result have anything to do with the Whitney Extension Theorem? In history, which one of these two results was discovered first?

26 April, 2016 at 8:40 am

Terence TaoWhitney published his theorem in 1934, while Sobolev introduced his spaces in the 1960s (though I think other mathematicians may have been using some version of what we now call Sobolev spaces prior to this). So I would presume the Sobolev space extension theorem was discovered after Whitney’s theorem.

Fefferman and his coauthors have also worked on Sobolev extension problems (in Sobolev spaces with more than one degree of regularity), see e.g. http://www.ams.org/journals/jams/2014-27-01/S0894-0347-2013-00763-8/home.html . So presumably there is a relationship between the two extension problems, though I have not studied these works in detail.

5 December, 2018 at 5:55 pm

RajeshA related article(a function fitting method): https://arxiv.org/abs/1811.01336

7 August, 2019 at 4:19 am

Rajesh DachirajuA problem I am working on, may be worth mentioning on this thread :

https://mathoverflow.net/q/332439/14414