Skip to main content
Notice removed Draw attention by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Draw attention by Michael
Bounty Started worth 50 reputation by Michael
Added background
Source Link
Michael
  • 2.2k
  • 34
  • 42

Let $A: L^2(R^n)\to L^2(R^n)$ be a non-linear operator. Is it known when it's possible to split $A$ into a composition of a linear operator $B: L^2(R^n)\to (L^2(R^n))^k$ and a local operator $C: (L^2(R^n))^k\to L^2(R^n)$? Are there any techniques to do so?

Edit:

Perhaps I should explain what I am really looking for and why. The question arose from the need to efficiently compute certain functions in $R^2\to R$, based on the input $R^2\to R$ and certain operators. There are basically two approaches to do that in the industry: if the operator is local or has very small support radius then compute locally; if the operator is linear then do FFT (Fourier transform), compute locally, and do inverse FFT.

The question is basically about operators that can be split into a composition something local and spacial domain and something local in the frequency domain.

Sometimes operators are not local at all and not quite linear either, but it is still possible to compute them efficiently. A typical example: compute the slope of the signal given by transmission matrix $f: R^2\to R$ and a linear operator $K: L^2(R^2)\to L^2(R^2)$. Let $g=K\star f$. Although $f\to g$ is linear, and $f\to grad(g)$ is linear, $f\to slope(g)$ is not.

However, non-linearity of the slope never stopped anybody from computing it efficiently: one just perform the computation in two steps:

Step 1: compute $grad(g)$ using FFT: $grad_K: L^2(R^2)\to (L^2(R^2))^2: f\to grad(K\star f)$

Step 2: compute $slope_K(g): (L^2(R^2))^2\to L^2(R^2)$ locally from $grad_K(g)$.

Therefore the question: how far one can extend the above approach? What operators can be split into compositions of a local and a linear one? (Possibly) more generally, what operators can be split into a finite sequence of compositions of local and linear operators?

Let $A: L^2(R^n)\to L^2(R^n)$ be a non-linear operator. Is it known when it's possible to split $A$ into a composition of a linear operator $B: L^2(R^n)\to (L^2(R^n))^k$ and a local operator $C: (L^2(R^n))^k\to L^2(R^n)$? Are there any techniques to do so?

Let $A: L^2(R^n)\to L^2(R^n)$ be a non-linear operator. Is it known when it's possible to split $A$ into a composition of a linear operator $B: L^2(R^n)\to (L^2(R^n))^k$ and a local operator $C: (L^2(R^n))^k\to L^2(R^n)$? Are there any techniques to do so?

Edit:

Perhaps I should explain what I am really looking for and why. The question arose from the need to efficiently compute certain functions in $R^2\to R$, based on the input $R^2\to R$ and certain operators. There are basically two approaches to do that in the industry: if the operator is local or has very small support radius then compute locally; if the operator is linear then do FFT (Fourier transform), compute locally, and do inverse FFT.

The question is basically about operators that can be split into a composition something local and spacial domain and something local in the frequency domain.

Sometimes operators are not local at all and not quite linear either, but it is still possible to compute them efficiently. A typical example: compute the slope of the signal given by transmission matrix $f: R^2\to R$ and a linear operator $K: L^2(R^2)\to L^2(R^2)$. Let $g=K\star f$. Although $f\to g$ is linear, and $f\to grad(g)$ is linear, $f\to slope(g)$ is not.

However, non-linearity of the slope never stopped anybody from computing it efficiently: one just perform the computation in two steps:

Step 1: compute $grad(g)$ using FFT: $grad_K: L^2(R^2)\to (L^2(R^2))^2: f\to grad(K\star f)$

Step 2: compute $slope_K(g): (L^2(R^2))^2\to L^2(R^2)$ locally from $grad_K(g)$.

Therefore the question: how far one can extend the above approach? What operators can be split into compositions of a local and a linear one? (Possibly) more generally, what operators can be split into a finite sequence of compositions of local and linear operators?

Source Link
Michael
  • 2.2k
  • 34
  • 42

When is it possible to split a non-linear operator into a composition of a linear and local one?

Let $A: L^2(R^n)\to L^2(R^n)$ be a non-linear operator. Is it known when it's possible to split $A$ into a composition of a linear operator $B: L^2(R^n)\to (L^2(R^n))^k$ and a local operator $C: (L^2(R^n))^k\to L^2(R^n)$? Are there any techniques to do so?