All Questions
1,779 questions
11
votes
3
answers
445
views
Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?
Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...
11
votes
3
answers
3k
views
Distance between distributions and distance of moments
Let's say I have a sequence of random variables $X_n$ such that $$\mathbf E X_n^k = \mathbf E X^k+O(a_k/\sqrt{n})\quad\text{for all }k\in\mathbb N,\tag{$\ast$}$$ where $X$ is a random variable of ...
11
votes
1
answer
451
views
Comparison of the absolute value of an operator with its positive parts
It is well known that the absolute value on operators does not satisfy the triangle inequality.
My question is whether for all positive operators $P,Q \in B(\mathcal H)$ is there a universal ...
11
votes
2
answers
2k
views
Green's function of the Ornstein-Uhlenbeck operator
The Ornstein-Uhlenbeck operator $L$ is given by
$$
Lu = \Delta u- \frac{1}{2}x\cdot \nabla u.
$$
Is there a known closed form expression of the Green's function of $L$ on $\mathbb R^d$ (for $d\geq 2$ ...
11
votes
3
answers
1k
views
Continuous automorphism groups of normed vector spaces?
Consider the metric space on, say, ℝ2 induced by the various $L^p$ norms, and the group of isometries from that space into itself that preserve the origin. When $p=2$ I get the continuous group ...
11
votes
1
answer
2k
views
Bounded operator on a normed space with empty spectrum
A bounded operator acting on a complex Banach space has non-empty spectrum, and the proof of this fact uses the completeness of the space.
Is there any example of bounded operator acting on a ...
11
votes
1
answer
309
views
Which closed subsets $Y$ of a compact space $X$ admit a linear extensor $C(Y)\to C(X)$?
In the following $X$ is a Hausdorff compact topological space. Let $Y$ be a closed subset of $X$.
The restriction operator $R_Y:C(X)\to C(Y)$ is surjective (Tietze), so it admits a continuous right ...
11
votes
1
answer
668
views
Is every continuous endomorphism of the Schwartz space a pseudo-differential operator?
Let $\mathcal{S}:= \mathcal{S}(\mathbb{R}^n)$ be the Schwartz space of smooth functions with rapid decay. The question is pretty simply stated in the title. Pseudo-differential act continuously on the ...
11
votes
2
answers
2k
views
Free Boson Correlator $ \langle X(z)X(w) \rangle =- \ln |z - w| $
In physics papers, the massless free boson has a definition involving an action:
$$ S(X) = \frac{1}{8\pi} \int d\sigma^2\, \partial X \overline{\partial X}$$
The random functions $X(z)$ are ...
11
votes
5
answers
5k
views
A criterion for the sum of two closed sets to be closed ?
Let $V$ and $I$ be two closed subsets of a Banach space $A$.
The set $V$ is a convex cone, and $I$ is a linear subspace of $A$. I also know that $V\cap I=\{0\}$.
I would like to know whether $I+V$ ...
11
votes
1
answer
950
views
Uniformization/measurable selection theorems
Let $X,Y$ be measurable spaces and $F\subseteq X\times Y$. We say that $f:X\to Y$ is a uniformization map for $F$ if $(x,f(x))\in F$ for each $x\in \pi_X(F)$ where $\pi_X$ is the left projection map. ...
11
votes
1
answer
676
views
Entropy arguments used by Jean Bourgain
My question comes from understanding a probabilistic inequality in Bourgain's paper on Erdős simiarilty problem: Construction of sets of positive measure not containing an affine image of a given ...
11
votes
0
answers
364
views
Carleson's Theorem on Manifolds
Let $M$ be an oriented, compact, differentiable manifold with some Riemmanian metric $g$, so that $(M,g)$ has a nice volume form and one can define $L^2(M,g)$ as the completion of $C^\infty(M)$ under ...
11
votes
2
answers
819
views
Estimate rate of real correct/wrong from 4 answers quiz.
I recently read that one in ten students think the first man on the moon was Buzz Lightyear, a Toy story cartoon. I'm not here to discuss the data in itself, rather, this reading got me into a problem ...
10
votes
1
answer
594
views
Density of smooth function in Hilbert spaces
I am looking for a simple reference to the following fact:
If $f:\Omega\to\mathbb{R}$ is continuous, where $\Omega\subset H$ is an open subset of a separable Hilbert space $H$, then for any $\...
10
votes
2
answers
739
views
Unconditionally convergent series in some functional spaces
Linked with this question and discussion
(Bilinear product of two summable families), I am very
interested in counterexamples/results about the following questions (cf the end).
First, I recall that a
...
10
votes
2
answers
544
views
Does the optimal strategy converge in poker if the SPR tends to infinity?
This a a theoretical question about poker type games.
I'm sure I don't have to explain the rules - you can consider No Limit Texas Hold'em or some simple theoretical model, where each player holds a ...
10
votes
1
answer
441
views
Probability that a random distance function is metric
Take a random $n \times n$ nonnegative symmetric matrix $D$ with zero diagonal. What is the probability that it is an abstract distance matrix, i.e. satisfies $D_{xy}+D_{yz} \geq D_{xz}$ for all index ...
10
votes
5
answers
5k
views
Applications of functional analysis beyond analysis(towards algebra, geometry, number theory...) [closed]
So far, We have seen the applications of functional analysis in PDE, probability and many areas in applied mathematics. On the other hand, methods of algebraic topology are introduced to functional ...
10
votes
1
answer
546
views
Are "étalé spaces" a thing for probability spaces?
Let $PX$ be a $\sigma$-algebra on the set $X$, and let $j : PX \to {\sf Set}_{/X}$ be the tautological functor that sends an event $E\subseteq X$ to itself, regarded as a function with codomain $X$. ...
10
votes
4
answers
792
views
Speed of convergence in Lebesgue's density theorem
Let $\lambda=\text{unif}([0,1])$ be uniform distribution on $[0,1]$ and $B$ be any Borel set. Lebesgue's density theorem states that for $\lambda$-almost all $x\in[0,1]$ the limit
$$\lim_{\epsilon\...
10
votes
2
answers
2k
views
Convergence of an empirical distribution w.r.t. the Hellinger distance
Let $P$ be a probability distribution on a finite set $\mathcal{X}$ and let $X_1, X_2, \ldots, X_n$ be drawn i.i.d. according to $P$. Define the empirical distribution:
$\hat{P_n}(x) = \frac{1}{n} \...
10
votes
0
answers
809
views
Where can I find analogues of combinatorial central limit theorems for other groups
The statement of Hoeffding's combinatorial central limit theorem is as follows: given for each $n$, an $n \times n$ matrix $A = (a_{ij})$, one can consider the random diagonal sum:
$$\displaystyle f(\...
10
votes
2
answers
1k
views
Reference Request: Probability and (Nonlinear) PDEs
I'm a graduate student interested in learning about probability and (mostly evolutionary) PDEs, just for fun (and as an excuse to learn some probability). I'm mostly interested in things along the ...
10
votes
1
answer
598
views
What happens if we rotate the kernel of an integral operator?
Given an integral operator $K$ on $L^2(\mathbb R)$ with kernel $k(x, y)$, consider the integral operator $L$ on $L^2(\mathbb R)$, whose kernel has the form $k(\alpha x+\beta y, \gamma x+\delta y)$, ...
10
votes
1
answer
2k
views
Counting norms on an infinite dimensional vector space
It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...
10
votes
2
answers
2k
views
Wiener measure and Bochner Minlos
I am reading probability theory and I have a question. The Bochner-Minlos theorem roughly says that if we have $E \subset H \subset E^*$ where $H$ is a Hilbert space, then there is a unique measure ...
10
votes
2
answers
2k
views
Probability of Generating a Connected Graph
$N$ points are generated randomly within a unit square, with a uniform distribution.
What is the probability that the points form a connected graph, given that two points are connected if the distance ...
10
votes
2
answers
666
views
Reference request: Extensions of Wiener's Tauberian Theorem
Wiener's Tauberian Theorem says that linear combinations of translations of a function $f$ are dense in $L^1(\mathbb{R})$ if and only if the zero set of the Fourier transform of $f$ is empty. This is ...
10
votes
2
answers
1k
views
Probability of random (0,1) Toeplitz matrix being invertible
A Toeplitz matrix or diagonal-constant matrix is a matrix in which each descending diagonal from left to right is constant.
What is the probability that a random $n \times n$ binary Toeplitz ...
10
votes
2
answers
1k
views
On equibounded sequences in $L^\infty$
Let $f_n: [0, 1] \to \mathbb R$ be a sequence of positive functions in $L^\infty$ (hence a fortiori in $L^1$) that are equibounded in $L^\infty$ norm - that is $\sup_{n \in \mathbb N} \|f_n\|_{L_\...
10
votes
4
answers
680
views
The min of the mean of iid exponential variables
Let $X_1, \ldots, X_n, \ldots$ be iid exponential random variables with mean 1. It is well-known that $\min_{1\le j < \infty} \frac{X_1 + \cdots + X_j}{j}$ follows the uniform distribution U(0,1). ...
10
votes
1
answer
494
views
Ping-pong progress through a quincunx
A quincunx or
Galton board consists of
staggered pegs from which ping-pong balls bounce and eventually display
a binomial / normal distribution in catch-bins. I am wondering if the
downward progress ...
10
votes
1
answer
594
views
Are the polynomials in $\{1/t\}$ dense in $L^2(0,1)$?
Added. My question in the title was solved (in the negative) by Nik Weaver (in the answer below) and Mateusz Kwaśnicki (in the comments). In both solutions, the reason is that the $L^2$ density fails ...
10
votes
2
answers
9k
views
When do maximum and expectation commute?
Hi, I'm looking for conditions on $G(t,x)$ such that
$$
\sup\limits_{t\in [0,1]}E[G(t,X)]=E[\sup\limits_{t\in [0,1]}G(t,X)]
$$
where $X$ is a random variable (it's easy to see that $\sup\limits_{t\in [...
10
votes
0
answers
207
views
Projective tensor squares of uniform algebras
In discussion with a colleague recently (Jan 2017),
$\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$
I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
10
votes
2
answers
590
views
"Fractional sampling" from a probability distribution
My question concerns an operation on probability distributions which has arisen in some applied research. It is well-defined mathematically (at least in a limited context), but I don't know how to ...
10
votes
2
answers
1k
views
Random Voronoi Diagrams
I'm interested in what research has already been done with regards to the statistics of random voronoi diagrams. I have had a look on google scholar and results are a little inconclusive. I'm ...
10
votes
3
answers
5k
views
Mean minimum distance for K random points on a N-dimensional (hyper-)cube
Given K points in a N-dimensional (hyper-)cube with all edges length 1.
What is the expected minimal distance between 2 points.
I found the 1-dimensional case in this topic: Mean minimum distance for ...
10
votes
0
answers
422
views
Upper bound Hölder norm of the solution to the non-linear PDE $\partial_t u (t, x) = \Delta_x \{ |\sigma (u (t, x))|^2 u(t, x) \}$
We fix $T>0$ and let $\mathbb T := [0, T]$. Let $\sigma : \mathbb R \to \mathbb R$ belong to the Hölder space $C^{1, \alpha}_b (\mathbb R)$ for some $\alpha \in (0, 1)$. Let $u : \mathbb T \times \...
10
votes
3
answers
2k
views
Pathological product space norm
Let $X$ and $Y$ be two normed vector spaces and $n(\cdot, \cdot)$ be any norm on $\mathbb{R}^2$. Is it always possible to define a norm on the product vector space $X \times Y$ as $||(x, y)||_{X \...
10
votes
0
answers
226
views
Extremal bases in finite-dimensional Banach spaces
Definition. A basis $e_1,\dots,e_n$ for a Banach space $X$ is called extremal if there exists a point $s$ in the unit sphere $S_X=\{x\in X:\|x\|=1\}$ such that for every $i\in\{1,\dots,n\}$ the ...
10
votes
2
answers
847
views
Minimum separation among $m$ random points on an $n$-dimensional unit sphere
Consider $m$ points $v_1, \ldots, v_m \in R^{n}$, which are uniformly distributed on the $n$-dimensional unit sphere $S^{n-1} = \{v:\|v\|_2 = 1\}$. Let the minimum separation be
$$
\rho = \min_{i,j\in{...
10
votes
2
answers
388
views
Tangled random triangles: One giant component?
Suppose you have $n$ triangles whose corners are random points on a sphere $S$
in $\mathbb{R}^3$.
Viewing the triangles as built from rigid bars as edges,
two triangles are linked if they cannot be ...
10
votes
2
answers
606
views
A characterization of metric spaces admitting a bi-Lipschitz embedding into a Hilbert space?
Theorem (??) derived in this MO-post from Schoenberg's theorem yeilds a "bipartite" characterization of metric spaces that admit an isometric embedding into a Hilbert space. This Theorem (??)...
10
votes
3
answers
3k
views
Maximum of the expectation of maximum of Gaussian variables
Suppose $X=(X_1,\ldots,X_n)$ is a Gaussian vector with each entry $X_i$ marginally distributed as $\mathcal{N}(0,1)$. Want to find out the possible maximum of
$$\mathbb{E}\max_{1\le i\le n}|X_i|$$
and
...
10
votes
0
answers
657
views
“Taylor series” is to “Volterra series” as “Laurent series” is to _________?
Preamble
My question is similar to an earlier MathOverflow question:
“Taylor series” is to “Volterra series” as “Padé approximant” is to _________? which I just answered (hopefully my first ever ...
10
votes
2
answers
611
views
When can a freely moving sphere escape from a 'cage' defined by a set of impassible coordinates?
To ask this question in a (hopefully) more direct way:
Please imagine that I take a freely moving ball in 3-space and create a 'cage' around it by defining a set of impassible coordinates, $S_c$ (i.e....
10
votes
2
answers
3k
views
Random Unfoldings of the Cube
Motivated by unfoldings of the dodecahedron in How To Fold It --
How many (labeled or unlabeled) unfoldings of the 1 x 1 x n stack of unit cubes are there?
JORourke (4Nov16): John's original image is ...
10
votes
1
answer
1k
views
Separating vectors for C$^*$-algebras
(I asked this on math.stackexchange, without response).
Let $A$ be a C$^*$-algebra, concretely acting on a Hilbert space $H$. Suppose that $\xi_0\in H$ is cyclic and separating for $A$ (that is, the ...