Questions tagged [convolution]
The convolution tag has no usage guidance.
173 questions
191
votes
34
answers
81k
views
What is convolution intuitively?
If random variable $X$ has a probability distribution of $f(x)$ and random variable $Y$ has a probability distribution $g(x)$ then $(f*g)(x)$, the convolution of $f$ and $g$, is the probability ...
59
votes
1
answer
5k
views
Square root of dirac delta function
Is there a measurable function $ f:\mathbb{R}\to \mathbb{R}^+ $ so that $ f*f(x)=1 $ for all $ x\in \mathbb{R} $, i.e $$\int\limits_{-\infty}^{\infty} f(t)f(x-t) dt=1 $$ for all $ x\in \mathbb{R} $.
- 817
37
votes
2
answers
3k
views
When can a function be made positive by averaging?
Let $f: {\bf Z} \to {\bf R}$ be a finitely supported function on the integers ${\bf Z}$. I am interested in knowing when there exists a finitely supported non-negative function $g: {\bf Z} \to [0,+\...
- 114k
15
votes
1
answer
604
views
Is the set of the convolutions of two-point measures dense in the set of all measures?
A measure supported in two points is a measure of the form
$$
\mu=\alpha\delta_a+(1-\alpha)\delta_b,
$$
where $a<b$ and $\alpha\in (0,1)$.
The question is:
Given a finite non-negative measure ...
- 321
13
votes
2
answers
610
views
Is there a Gelfand-Naimark-like characterization of group algebras $L_1(G)$?
The Gelfand-Naimark theorem establishes that a complex commutative Banach algebra $A$ with an identity and an involution $x\to x^*$ satisfying $\|x x^*\|=\|x\|^2$ is (isometrically isomorphic to) a $C(...
- 4,461
12
votes
1
answer
562
views
Fast convolution of sparse functions
Let $F:\mathbb{R}\to \mathbb{Z}$ be a step function with at most $k$ discontinuities, at given rationals $a_1<a_2<\dotsc<a_k$. Let $g:\mathbb{R}\to \mathbb{Z}$ be given as a linear ...
- 20.2k
11
votes
0
answers
161
views
Bijections $\mathbb{Z}\times\mathbb{Z}\to\mathbb{Z}$ with vanishing local means
This is just a summer-time curiosity arisen after a recent question by Dominic van der Zypen.
For a finite subset $S$ of $\mathbb{Z}\times\mathbb{Z}$ and a function $f$ on $\mathbb{Z}\times\mathbb{...
- 60.6k
10
votes
1
answer
1k
views
Gelfand's trick (Gelfand's lemma) in positive characteristic?
I came across this preprint that claims in Lemma 1.1 that Gelfand's trick (also known as Gelfand's lemma) only works in characteristic zero:
Let $H < G$ be finite groups. Suppose we have an anti-...
- 121
8
votes
1
answer
1k
views
Origin of the convolution theorem
I am a chemist, with some interest in signal processing. Sometimes, we use the deconvolution process to remove the instruments response from the desired signals. I am looking for the earliest ...
- 879
8
votes
2
answers
444
views
What is $\int_{0}^{z} e^{-a^{2} x^{2}} {\rm erf}(bx)\, dx$?
The integral $$\int_{0}^{z} e^{-a^{2} x^{2}} {\rm erf}(bx)\, dx$$ is related to the convolution of two half-normal distributions. This can be inferred from this question on MSE. The following ...
- 4,829
8
votes
1
answer
594
views
Convolution in K-Theory via an Example (From StackExchange)
I've spent lots of time in Chriss and Ginzburg's "Complex Geometry and Representation Theory" and despite convolution (in Borel-Moore homology or K-theory) being very central, I feel like I'm still ...
- 841
8
votes
0
answers
294
views
Which classes of functions are "convolution ideals"?
If $g$ is continuous then $f*g$ is continuous.
If $g$ is smooth then $f*g$ is smooth.
If $g$ is a polynomial then $f*g$ is a polynomial.
If just one of the two functions belongs to the class of well-...
7
votes
2
answers
1k
views
What is the difference (if any) between "fourier transform" and "SO(3) fourier transform"?
What is the difference (if any) between "fourier transform" and "SO(3) fourier transform"?
I searched on Google but couldn't find a satisfiable answer.
Thanks in advance :)
- 81
7
votes
3
answers
3k
views
Deconvolution of sum of two random variables
Let $Z = X + c \cdot Y$ where $X$ and $Y$ are independent random variables drawn form the same distribution given by the pdf $g()$ and $0 < c < 1$
I have observations of $Z_i$'s and thus can ...
- 139
7
votes
2
answers
880
views
Which random variables can be written as the difference of two independent positive random variables?
Can we characterize random variables $X$ that satisfy
$$
X\sim Y - Z
$$
for two independent positive random variables $Y$ and $Z$?
Are $Y$ and $Z$ unique in some sense?
Can (one possible choice of) $Y$...
- 302
7
votes
1
answer
422
views
Dualizable presheaves with respect to Day convolution
This question was posted on MSE and got very little attention, so I'm also posting it here.
Let $\mathcal{C}$ be a closed symmetric monoidal category and let $PSh(\mathcal{C}):=Fun(\mathcal{C}^{op}, \...
- 3,019
6
votes
3
answers
966
views
Convolution of $L^2$ functions
Let $u\in L^2(\mathbb R^n)$: then $u\ast u$ is a bounded continuous function. Let me assume now that $u\ast u$ is compactly supported. Is there anything relevant that could be said on the support of $...
- 16.2k
6
votes
1
answer
413
views
Analyticity of $f*g$ with $f$ and $g$ smooth on $\mathbb{R}$ and analytic on $\mathbb{R}^*$
Suppose that we have two real functions $f$ and $g$ both belonging to $\mathcal{C}^\infty(\mathbb{R},\mathbb{R})$ analytic on $\mathbb{R}\setminus\{0\}$ but non-analytic at $x=0$. Is the convolution (...
- 393
6
votes
1
answer
909
views
Is there an alternate name for the symplectic convolution?
Looking into the Wigner-Weyl transformation mapping Hilbert space operators to functions on phase-space, I've run up against the need for a symplectic convolution
$$[F\star G](x,p) = \int \!dy\,dk\, ...
- 846
6
votes
2
answers
499
views
When is $\lVert f*g\rVert_\infty=\lVert f\rVert_1\lVert g\rVert_\infty$?
If $1\leq p<\infty$, it is easy to find nice necessary and sufficient equality conditions for the convolution inequality $$\lVert f*g\rVert_p\leq\lVert f\rVert_1\lVert g\rVert_p\qquad (f\in L^1(\...
- 199
6
votes
1
answer
343
views
Integral convolution equation $\int_{B_n(R) } e^{- \| x - t\|} d\nu(t) = e^{- \|x \|^2/2}$ on $x \in B_n(R)$. Find measure $\nu$
Let $B_n(R)$ denote the $n$ ball centered at zero with radius $R$. We are interested in the following integral equation: given $R>0$ and $\lambda>0$, let
\begin{align}
\int_{B_n(R)} e^{- \...
- 671
6
votes
0
answers
305
views
Distribution class closed under convolution counterexample?
Define the class of probability density functions $\mathcal{C}$: $\,p \in \mathcal{C}$ iff $p(x)=p(|x|)$, and $\log p(\!\sqrt{x})$ is convex on $[0,\infty)$.
Conjecture: if $p,q \in \mathcal{C}$, then ...
- 391
5
votes
4
answers
824
views
Self convolutions of singular continuous measure
Let $\mu$ be a finite measure on $\mathbb{R}$. Define the measures $(\mu_n)_{n\geq 1}$ by $\mu_{n+1}=\mu\ast \mu_n$ and $\mu_1=\mu$
Is there a singular (with respect to the Lebesgue measure) ...
- 321
5
votes
1
answer
612
views
Why does this convolution of the prime counting function $\pi$ look like a parabola?
In this previous question it is shown that the convolution of the prime counting function $\pi$ with itself, is related to the Goldbach conjecture:
$$\pi^*(n):=\sum_{k=0}^n \pi(k) \pi(n-k)$$
The ...
- 3,134
5
votes
1
answer
319
views
Is there a name for this type of matrix?
For my thesis in neural networks, I was trying to find a way to generalize a Sobel operator. I quickly thought of this:
$$
\begin{bmatrix}
a&b&c\\
d&0&-d\\
-c&-b&-a
\end{...
- 153
5
votes
3
answers
920
views
Mathematical Techniques to Reduce the Width of a Gaussian Peak
In the chemical analysis by instruments, the signals of several molecules are overlapped which makes it difficult to determine the true area of each peak, such as those shown in red. I simulated this ...
- 879
5
votes
2
answers
556
views
Are there multiplicative functions which are not rational?
Vaidyanathaswamy calls an arithmetic function rational if it is the convolution of some finite collection of functions which are either completely multiplicative or inverse to a completely ...
- 9,114
5
votes
1
answer
510
views
Recent progress restriction conjecture - Problem 2.7 (Terence Tao lecture notes)
I've been tackling the following problem for some time,
Problem 2.7. (a) Let $S:=\left\{(x, y) \in \mathbf{R}_{+} \times \mathbf{R}_{+}: x^2+y^2=1\right\}$ be a quarter-circle. Let $R \geq 1$, and ...
5
votes
3
answers
1k
views
Does this formula correspond to a series representation of the Dirac delta function $\delta(x)$?
Consider the following formula which defines a piece-wise function which I believe corresponds to a series representation for the Dirac delta function $\delta(x)$. The parameter $f$ is the evaluation ...
- 1,126
5
votes
0
answers
167
views
Computing sums with linear conditions quickly
Let $f:\{1,\dotsc,N\}\to \mathbb{C}$, $\beta:\{1,\dotsc,N\}\to [0,1]$ be given by tables (or, what is basically the same, assume their values can be computed in constant time). For $0\leq \gamma_0\leq ...
- 20.2k
5
votes
0
answers
276
views
Log-concavity of lattice-functions and convolution
I was looking at the definition of log-concavity:
A function $F:\mathbb{R}^n\rightarrow\mathbb{R}$ is said log-concave
iff $F(x)\geq 0\forall x\in\mathbb{R}^n$ and
$$F(x)^\lambda F(y)^{1-\lambda}\leq ...
- 93
4
votes
2
answers
767
views
Earliest use of deconvolution by Fourier transforms
From a previous discussion here Origin of the convolution theorem, it was shown that the property of convolution $y(t)$=$a$*$b$ becoming a multiplication after Fourier transform: $F$$(y(t))$= $F(a)F(b)...
- 879
4
votes
1
answer
1k
views
Existence of solutions to first-order PDE involving convolution
Let $f(x,\alpha)$ be a smooth function of compact support in $x$. Now, let its $\alpha$-dependence be determined by the following first-order equation,
\begin{align}
\frac{\partial}{\partial \alpha} ...
- 193
4
votes
1
answer
292
views
Convolution of $\ell$-adic sheaves is commutative if the group is commutative
[This is a duplicate of this question on Stackexchange]
I am trying to figure out how to prove a very basic statement about convolution of $\ell$-adic/perverse sheaves in Katz's "Rigid local systems" ...
- 329
4
votes
1
answer
260
views
Integral operator (compactness)
I am studying the compactness of some convolution operators. Let the convolution
$$ \Gamma: X\longrightarrow X; x\mapsto\int_0^t T(t-s)B(s)x\mathrm{d}s. $$
Here $T(\cdot)$ is a $C_0$-semigroup on some ...
- 299
4
votes
1
answer
366
views
2-Wasserstein metric on convolution of probability distributions
I have two related questions. Let $\mu$ and $\nu$ be two distinct probability measures on $\mathbb{R}^n$ with finite second moments, and $W_2(\cdot,\cdot)$ be the $2$-Wasserstein metric. The question ...
- 161
4
votes
1
answer
356
views
Recovering a function from its Gaussian convolution
Let $\varphi(x)=\frac{1}{\sqrt{2\pi}}\exp(-x^2/2)$ be the Gaussian density and
$f:\mathbb{R}\to\mathbb{R}$ another measurable function.
Under what conditions can $f$ be recovered from its convolution ...
- 43
4
votes
1
answer
217
views
Why do convoluted convolved Fibonacci numbers pop up from this triangle?
Start with this triangle (OEIS A118981). This triangle is simple to generate with the following recurrence relation (though $T(0,0)$ ends up different from the OEIS version):
$$
T(0,0) = 2;T(1,0) = 1;...
- 194
4
votes
1
answer
349
views
Inverting convolutions over finite intervals
There are well-known techniques for inverting convolutions over the whole or half real line with Fourier and Laplace transformations, but on the face of it they can't be applied to an integral ...
- 2,902
4
votes
1
answer
266
views
Hopf "algebroid" structure of a groupoid convolution algebra?
This question is already posted in math.stackexchange, but didn't receive any answer. I'm not sure if this question fits in here, but surely someone in here can guide me to the correct answer.
To make ...
- 1,093
4
votes
1
answer
1k
views
Convergence of semi convex functions
Definition. Let $u:\Omega \rightarrow \mathbb{R} $. A function $u$ is called semiconvex if $u=v+w$ for some $v\in C^{1,1}(\Omega)$ and a convex function $w$.
Note. Saying that $u$ is semiconvex is ...
4
votes
1
answer
434
views
Variance of convolution between filter $A$ and Ornstein-Uhlenbeck process $x_t$
If we consider $x_t$ an Ornstein-Uhlenbeck process (with $W_t$ the Wiener process), does anyone know what would be the variance of the convolution of $x_t$ with a given filter $A$ i.e. $V(x_t \star A)$...
- 143
4
votes
1
answer
374
views
Sufficient condition for a probability distribution on $\mathbb Z_p$ to admit a square-root w.r.t convolution
Let $p \ge 2$ be a positive integer, and let $Q \in \mathcal P(\mathbb Z_p)$ be a probability distribution on $\mathbb Z_p$.
Question. What are necessary and sufficient conditions on $Q$ to ensure ...
- 6,853
4
votes
1
answer
238
views
Just how regular are the sample paths of 1D white noise smoothed with a Gaussian kernel?
Adapted from math stack exchange.
Background: the prototypical example of---and way to generate---smooth noise is by convolving a one-dimensional white noise process with a Gaussian kernel.
My ...
- 203
4
votes
0
answers
105
views
Convolution algebra of a simplicial set
Consider a simplicial set $X^\bullet$ with face maps $d_i$ (assume the set is finite in each degree so there are no measure issues). Then given two functions $f,g:X^1\to \mathbb{C}$ one can form their ...
- 1,198
4
votes
0
answers
181
views
Shifted convolution problem for Coefficients of automorphic forms
The shifted convolution problem for coefficients of modular forms is well studied and many estimates were established for the shifted convolution sums of Hecke eigenvalues. So, one may ask about the ...
- 1,257
4
votes
1
answer
2k
views
Norm of convolution operator
By Young's inequality for any $f\in L^p(\mathbf{R})$ the map $T_f:g\mapsto f\star g$ is a continuous operator from $L^q(\mathbf{R})$ to $L^r(\mathbf{R})$ where $1\leq p,q,r\leq \infty$ satisfy $1+\...
- 3,425
3
votes
2
answers
253
views
Convolution of functionals on compact quantum group
Let $\mathbb{G}= (A, \Delta)$ be a ($C^*$-algebraic) compact quantum group. In a paper I'm reading, the space $A^*= B(A, \mathbb{C})$ obtains a product
$$\omega_1*\omega_2:= (\omega_1\otimes \omega_2) ...
user167952
3
votes
1
answer
1k
views
If the convolution of two functions $f\star g$ is equal to $g$, $f$ is even with compact support and $g$ is bounded, implies that $g$ is constant?
Let $f$ be an even continuous function with compact support such that
$$
\int f(t)\,\mathrm{d}t=1,
$$
and let $g$ be a bounded continuous function such that the convolution $f\star g$ satisfies the ...
3
votes
1
answer
460
views
Norm inequality for convolution operators on groups
Let $G$ be a discrete, finitely generated group. Let $f\in \mathbb{C} G$ be given.
Consider $g\in G\setminus \operatorname{supp} f$ and let $\delta_g$ denote the Dirac delta at $g$.
Is it true ...
- 99