Skip to main content

All Questions

22 questions from the last 7 days
Filter by
Sorted by
Tagged with
4 votes
1 answer
277 views

Eigenvalue of a convolution and a restriction?

Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
H A Helfgott's user avatar
  • 20.2k
3 votes
1 answer
139 views

Surjectivity of pushforward on image

Let $\mathcal X\subseteq\mathbb R^m$ be a Borel measurable set. $\Phi:\mathcal X\to\mathbb R^n$ be a continuous mapping and $\mathcal Y = \Phi(\mathcal X)\subseteq\mathbb R^n$ its image. Let $\mathcal ...
ECL's user avatar
  • 345
2 votes
0 answers
227 views

A deceptively simple regularity problem for functions on the plane

By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer: Consider a twice ...
vmist's user avatar
  • 989
2 votes
0 answers
109 views

Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support

This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction? Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
H A Helfgott's user avatar
  • 20.2k
6 votes
0 answers
101 views

Size doubling amoeba

Note: Here time is assumed to be discrete and indexed by the naturals $\mathbb N$. A curious species of amoeba undergoes the following evolution rule - at each time step, with probability $0 < p &...
Nate River's user avatar
  • 6,215
2 votes
0 answers
97 views
+100

Inequalities for norm of centered Gaussian and uncentered Gaussian

Let $g$ denote a standard Gaussian vector in $\mathbb{R}^n$, and $\|\cdot\|$ a norm. Let $x \in \mathbb{R}^n$ and define $$ F(x) = \mathbb{E}[\|x + g\| - \|g\|]. $$ I am wondering if it is possible to ...
Drew Brady's user avatar
3 votes
0 answers
91 views

About BMO space on smooth open bounded domain

Let $\Omega$ be any open domain in $\Bbb R^d$. Define the $\text{BMO}(\Omega)$ space as $$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\}, $$ ...
Guy Fsone's user avatar
  • 1,101
1 vote
0 answers
82 views

Measurability of a map involving probability measures

Let $X$ be a metrizable topological space and $\mathscr B_X$ the Borel $\sigma$-algebra on it. Let $\Delta X$ denote the set of probability measures on $(X,\mathscr B_X)$, and let $\mathscr B_{\Delta ...
triple_sec's user avatar
2 votes
0 answers
79 views

Function that is (essentially) a self-convolution but not a multiple of a self-convolution

Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
H A Helfgott's user avatar
  • 20.2k
3 votes
0 answers
73 views

Order of $\mathbb{E}[ \max_i |x_i + z_i| - \max_i |z_i|]$

Let $z_1, \dots, z_n$ be iid standard Normal, and let $x \in \mathbb{R}^n$. Put $\|u\|_\infty = \max_i |u_i|$. Define $$ F(x) = \mathbb{E}\Big[\|x + z\|_\infty - \|z\|_\infty\Big] $$ If $\|x\|_\infty \...
Drew Brady's user avatar
3 votes
0 answers
83 views
+50

Tight upper bound for $m[Q^k - Q^{k+1}]$ for completely positive linear maps

Let $m: \mathcal{L}(\mathbb{R}^{d \times d}) \to \mathbb{R}$ be the function $$ m[H] = \frac{\lambda_{\max}(H[\mathbf{I}])}{\lambda_{\max}(H)}, $$ where $\lambda_{\max}$ denotes the largest eigenvalue....
Ran's user avatar
  • 73
1 vote
0 answers
56 views

Quantitative multivariate CLT from quantitative CLT of linear combinations

Suppose $Z_1, \ldots, Z_k$ are random variables with mean $0$ and variance $1$ that are "approximately jointly Gaussian" in the sense that for any scalars $c_1, \ldots, c_k$, we have that $\...
Besfort's user avatar
  • 111
1 vote
1 answer
54 views

Proving bound on expectation of likelihood ratio involving mixtures

Let $p$ be a Lebesgue density function with infinite support (i.e. $p(x)>0 \forall x\in \mathbb{R}$ and $\int p(x) dx = 1$). Moreover, assume that $p$ is even (i.e. $p(x) = p(-x)$) and unimodal: $p(...
ILoveMath's user avatar
-4 votes
0 answers
43 views

Is the probability of the Euler-Mascheroni constant being rational large? [closed]

Let $\gamma$ denote the Euler Mascheroni constant. Show there exist infinitly many polynomials $p\in \mathbb{Z}[x]$ such that $p(x) = \gamma$. Further, show one can calculate a probability that some ...
John Wayne's user avatar
-3 votes
0 answers
70 views

Exercise generalizing (related to) Hölder's inequality

I came across this exercise and feel absolutely stuck: Let $p, q, r \in (1, \infty]$ be such that $1/p + 1/q = 1 + 1/r$. Suppose that $F : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ satisfies ...
HZA's user avatar
  • 1
0 votes
0 answers
66 views

$L_1$ norm of $f\in L^1(\mathbb{R}^n)$ compactly supported and its change of variable

Let $M\in\mathbb{R}^{n\times n}$ be an invertible matrix, denote its induced linear map on $\mathbb{R}^n$ also by $M$, and let $f\in L^1(\mathbb{R}^n)$ be compactly supported. I am wondering if we can ...
Jens Fischer's user avatar
-1 votes
0 answers
26 views

Estimate the value of the PDF $P(f)$ at the minimal $f_0$ of the random-variable function $f(\mathbf{x})$

Let $f(\mathbf{x})=f(x_1,x_2,\dotsc,x_N)$ with $N>2$ be a real and continuous function and $f(\mathbf{x})\ge f_0$ for any $\mathbf{x}\in\mathbb{R}^N$. Now let $x_1,x_2,\dotsc,x_N$ be the i.i.d. ...
Guoqing's user avatar
  • 375
1 vote
0 answers
45 views

Square-integral involving Brownian bridge

Let $B(t)$ be a standard Brownian bridge on $[0,1]$. Let $x>0$ be a (small) parameter. What is the distribution of $$ \int_0^{1-x} \left( B(t + x) - B(t) \right)^2 dt? $$ As noted I am interested ...
Kurisuto Asutora's user avatar
1 vote
0 answers
39 views

Can conditional distributions with respect to a sufficient sub-$\sigma$-algebra be represented by a single Markov kernel?

Let $(\Omega, \mathcal{F})$ be a measurable space, and let $\mathcal{P}$ be a collection of probability measures on this space. A sub-$\sigma$-algebra $\mathcal{G} \subset \mathcal{F}$ is said to be ...
MrTheOwl's user avatar
  • 111
-3 votes
0 answers
23 views

Convergence of measures in the Lévy–Prokhorov metric and weak convergence of measures

How to prove that over R the convergence of measures in the Levi-Prokhorov metric is equivalent to the weak convergence of measures
S4SKE's user avatar
  • 1
0 votes
0 answers
24 views

Characterisation of a family of continuous martingales

I look for a full characterisation of the continuous martingales $X=(X_t)_{0\leq t\leq T}$ (defined on some filtered probability space as nice as possible) such that $$X_0=0\quad \mbox{ and } \quad\...
Fawen90's user avatar
  • 1,399
0 votes
0 answers
18 views

A question on Ibragimov's theorem on strong unimodality

I am not a mathematics student and unfortunately have some confusion about a (well-known) theorem about strong unimodality of distributions. First of all let me clarify some terminologies and then ask ...
Ervand's user avatar
  • 51