All Questions
4,563 questions with no upvoted or accepted answers
7
votes
0
answers
122
views
Discrepancy of the finite approximation of the Lebesgue measure
Let $\mu$ be a probabilistic measure on the unit square $Q$ which is the average of $N$ delta-measures in some points in this square; let $\lambda$ denote the Lebesgue measure on $Q$. What is the rate ...
- 109k
7
votes
0
answers
177
views
Does this ideal in $B(L_1)$ have a (bounded) right approximate identity?
I will take a roundabout way to defining this ideal, because (a) this route is how my collaborators and I came to it (b) this alternative definition, rather than the standard one, may suggest a ...
- 25.8k
7
votes
1
answer
394
views
Inverse limit in the category of $C^{\ast}$-algebras or operator spaces
Does the inverse limits (projective limits) exist in the category of $C^{\ast}$-algebras or operator spaces?
I tried to search but could not find a proper reference. Any reference or comments about ...
- 1,115
7
votes
0
answers
177
views
Asymptotically discrete ultrafilters
Definition 1. A ultrafilter $\mathcal U$ on $\omega$ is called discrete (resp. nowhere dense) if for any injective map $f:\omega\to \mathbb R$ there is a set $U\in\mathcal U$ whose image $f(U)$ is a ...
- 41.9k
7
votes
0
answers
185
views
A special connected subset of the Cantor fan
Is there a dense connected subset $X$ of the Cantor fan $$(C\times [0,1])/(C\times \{1\})$$ such that for every two connected subsets $X_1,X_2\subseteq X$, the intersection $X_1\cap X_2$ is connected?
...
- 3,317
7
votes
0
answers
432
views
(geodesic) smoothness of f-divergence with respect to the Wasserstein metric
We consider the f-divergence, which takes the form
$$
D_f(P \| Q) = \int_\Omega f\left(\frac{dP}{dQ}\right) dQ.
$$
For example, when $f(t) = t \log t$, we obtain the KL-divergence.
My question is ...
- 1,127
7
votes
0
answers
181
views
Compact Kaehler submanifolds of projectivized Hilbert space
If we take a separable complex Hilbert space $H$, its projective space $PH$ is an infinite-dimensional Kähler manifold in a fairly obvious sense (see below). Suppose $M \subset PH$ is a finite-...
- 22.3k
7
votes
0
answers
305
views
Can scalar curvature and diameter control volume? Round 2
This is a follow up to a question by Yiyue Zhang. Can scalar curvature and diameter control volume?
The original question asked whether scalar curvature bounds and small diameter bounds were enough ...
- 6,001
7
votes
0
answers
328
views
Status of two Banach space theory open problems posted by Pełczyński
In the book 'Open Problems in the Geometry and Analysis of Banach Spaces', I am interested in the following two problems.
Problem $1$: Let $X$ be a separable infinite-dimensional Banach space that is ...
- 623
7
votes
0
answers
200
views
Equivalent strictly convex norms in spaces of small density
Can one construct in ZFC a Banach space of density character $\omega_1$ that does not have an equivalent strictly convex norm?
Maybe one may apply some kind of a Löwenheim–Skolem-type argument to a ...
- 11.3k
7
votes
0
answers
964
views
When are Lipschitz functions dense in continuous functions?
Let $X$ be a compact metric space, and let $Y$ be another metric space.
I am looking for examples of, and especially references to, theorems that give conditions under which any continuous mapping $f:...
- 71
7
votes
0
answers
243
views
Loomis-Whitney versus Gagliardo inequalities
When searching for a reference, I discovered a curious fact about the Wikipedia page concerning the Loomis-Whitney Inequality (LWI).This page, which exists only in an English version, states that the ...
- 52.3k
7
votes
0
answers
102
views
Is there a convex three-dimensional body with constant width and only finitely-many equilibria? Or: do spheroform gömböcök exist?
Mathematical questions. The mathematical (and 'gravity'-free) formulation of the question in the title is given by the following questions:
Q1. Does there exist $(a,b)\in\omega^2\setminus\{(0,0)\}$ ...
- 6,051
7
votes
0
answers
305
views
Generalizing Gromov Hausdorff distance using Vietoris topology
There are two notions of convergence of a sequence of metric space. One is by the Gromov Hausdorff distance for compact metric spaces, another one is the pointed Gromov Hausdorff convergence for ...
- 1,630
7
votes
0
answers
619
views
Lavrentiev Phenomenon
Does there exist a (onedimensional) integral functional of calculus of variations
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that not only
$$
\inf_{y\in\operatorname{Lip}([a,b])}F(y)>\inf_{y\in ...
- 1,309
7
votes
0
answers
209
views
Stabbing disks in space, or: Galactic alignment
I have a collection of $n$ unit-radius disks in $\mathbb{R}^3$, whose centers are
random within a sphere of radius $R>1$, and which are each oriented randomly.
I'd like to find a line $L$ that ...
- 151k
7
votes
0
answers
222
views
Can C*/W*-algebras be realized as (involutive?) monoid/co-monoid objects?
I would like to know how close one can get to realizing the category of C*-algebras as a category of monoid objects. Related (almost, but not quite, duplicate) questions are:
"Recovering a monoidal ...
- 146
7
votes
0
answers
119
views
Approximating manifolds with boundary by closed ones
Fix numbers $n\in \mathbb{N},d>0,k\in\mathbb{R}$. Do there exist numbers $N\in\mathbb{N},K\in\mathbb{R}$ depending on $n,d,k$ only with the following property:
For any compact smooth Riemannian $n$...
- 21.8k
7
votes
0
answers
549
views
Counter-example to the completeness of the Wasserstein metric
$\newcommand{\P}{\mathcal{P}}$
Let $(E,d)$ be a complete metric space, let $\P(E)$ be the set of all probability measures on $(E,\mathcal{B}(E))$. Let $W_d$ be the $1$-Wasserstein (Kantorovich) ...
- 931
7
votes
0
answers
904
views
Geometry of level sets of a convex function
EDIT: Let $\Omega\subset \mathbb{R}^n$ be an open subset. Let $f\colon \Omega\to\mathbb{R}$ be a function such that for some $\lambda$ the function $f(x)+\lambda |x|^2$ is convex. Assume that the ...
- 21.8k
7
votes
0
answers
478
views
Characterizing the sum $L^1 + L^\infty + L^{1,\infty} + L^{\infty, 1}$ of iterated Lebesgue spaces "by duality"
For the usual Lebesgue spaces $L^p (\mu)$ ($p \in [1,\infty]$) on a ($\sigma$-finite) measure space $(X,\mu)$, it is well-known that one has the characterization
$$
L^p (\mu) = \left\{f : X \to \Bbb{...
- 734
7
votes
0
answers
1k
views
Books on von Neumann algebras
I am interested in non-commutative $L^p$ spaces. I have a very basic background on von Neumann algebras. But all the papers appearing now a days really requires very deep knowledge of von Neumann ...
- 455
7
votes
0
answers
132
views
Different definitions of fractional sobolev spaces
Let $\Omega$ be a bounded and smooth domain in $\mathbb R^d$. For any $s\in (0,1)$ we can define $H_s(\Omega)$ to be the space of functions $u\in L^2(\Omega)$ such that $$(x,y)\mapsto \frac{|u(x)-u(y)|...
- 630
7
votes
0
answers
3k
views
What is vague convergence and what does it accomplish?
For convenience, let's say that I have a locally compact Hausdorff space $X$ and am concerned with probability measures on its Borel $\sigma$-algebra $\mathcal{B}(X)$. Natural vector spaces to ...
- 1,124
7
votes
0
answers
187
views
distance distributions on a hypersphere?
Fix a real number $0\leq t\leq 1$ and an integer $n>1$. Let
$\mathbb{S}^{n-1}\subset\mathbb{R}^n$ denote the unit hypersphere. Define
$$d_N(n;t):=\max\sum_{i<j}\Vert P_i-P_j\Vert_2^t$$
where ...
- 43.2k
7
votes
0
answers
318
views
Status of an open question in Artin's "Geometric Algebra"
In Artin's book "Geometric Algebra", Chapter II, the author states some axioms for geometry (section 1) and then begins to prove some results about the symmetries of the geometry (section 2).
The ...
- 501
7
votes
0
answers
304
views
Derivation of a stochastic Navier-Stokes equation under the assumption of perturbed particle trajectories
Let
$d\in\left\{2,3\right\}$
$\mathcal V_t\subseteq\mathbb R^d$ be the bounded domain occupied by an incompressible Newtonian fluid at time $t\ge 0$
$\Phi_t:\mathcal V_0\to\mathcal V_t$ such that $\...
- 167
7
votes
0
answers
501
views
intuitive connection between The KdV equations and the Virasoro bott group
I posted this on stack exchange but had no joy, perhaps someone here can answer : The Euler Arnold equation expresses equations (usually from mathematical physics) as geodesic equations on a Lie group....
- 979
7
votes
0
answers
284
views
Shortest path to inspect a polyhedron
This is a variant of two as-yet unsolved MO questions cited below.
Let $P$ be a closed polyhedron in $\mathbb{R}^3$.
The task is to find a shortest path $\sigma$ on the surface of $P$ from which
all ...
- 151k
7
votes
0
answers
244
views
Commutation preserving operators
Let $A$ and $B$ be unital $C$*-algebras and let $T\colon A\to B$ be a bounded linear bijection that preserves commuting elements, i.e., $ab=ba$ implies $TaTb=TbTa$. Does $T^{**}$ then also preserve ...
- 633
7
votes
0
answers
154
views
Connectedness of cones in the boundary of a 1-ended hyperbolic group
Let $G$ be a one-ended hyperbolic group. We can think of the boundary of $G$ as consisting of geodesic rays originating at the identity in some Cayley graph, modulo the relationship of being ...
- 611
7
votes
0
answers
340
views
Embeddings between weighted Besov spaces
Consider the Besov spaces $B_{p,q}^s(\mathbb{R}^d)$ for parameters $0<p,q\leq \infty$ and $s\in \mathbb{R}$. The weighted Besov space $B_{p,q}^s(\mathbb{R}^d;\mu)$ is defined for $\mu \in \mathbb{R}...
- 2,306
7
votes
0
answers
183
views
Is there a quotient of $c_0$ without the approximation property?
The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property?
This would follow if ...
- 71
7
votes
0
answers
478
views
Gromov's compactness theorem for manifolds with boundary
The Gromov's compactness theorem says that if $\{M_i^n\}$ is a sequence of closed Riemannian manifolds of dimension $n$ with uniformly bounded diameter and uniformly bounded from below Ricci curvature ...
- 21.8k
7
votes
0
answers
141
views
Kolmogorov superposition representation of Lipschitz functions
Kolmogorov's superposition theorem states that
if $f:[0,1]^n \to \mathbb{R}$ is an arbitrary continuous function, then it has the representation
\begin{align}
f(x) = \sum_{q=0}^{2n} \Phi_q (\sum_{p=1}...
- 371
7
votes
0
answers
241
views
A "slice-map" type problem for symmetric tensors in the square of a nuclear C*-algebra
Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras.
Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...
- 25.8k
7
votes
0
answers
156
views
Thales Style Level Sets
Encouraged by Joseph O'Rourke ( and inspired by the discussion at
Thales' semicircle theorem in higher dimensions ), I ask about level sets in three
dimensional space occuring from considering ...
- 2,158
7
votes
0
answers
269
views
Approximation in the tensor square of a weakly exact von Neumann algebra
Background. I think I can prove something about a certain construction definition for Fourier algebras of discrete groups, under the assumption that the group is exact (well, really I use Yu's ...
- 25.8k
7
votes
0
answers
927
views
What's the idea behind various equivalent norms on Besov spaces $B^{s}_{p,q}$?
I am trying to understand Besov spaces; and I am eager to see why the various norms are equivalent on it.
Let $\phi$ be a $C^{\infty}$ function on $\mathbb R^{n}$ with
$ \operatorname{supp} \phi \...
- 1,051
7
votes
0
answers
745
views
What function space does holomorphic functional calculus give us?
Let $A$ be a unital Banach algebra, $U$ be an open subset of $\mathbb{C}$, and $A_U:=\{x\in A:\sigma(x)\subset U\}$. Holomorphic functional calculus says that any holomorphic function $f:U\rightarrow\...
- 175
7
votes
0
answers
559
views
The Banach space of bounded functions with countable support
Let $X$ be a set of cardinality $\aleph_1$ and consider the Banach space $\ell_\infty^c(X)$ of all scalar-valued bounded functions on $X$ which are non-zero only for countably many elements of $X$ ...
- 11.3k
7
votes
0
answers
116
views
Bundles over Function Spaces
Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable Hilbert-...
- 71
7
votes
0
answers
289
views
Trace class norms of special integral operators
Let $\mu$ be a finite compactly supported Borel measure on the real line. On the space $L^2(\mu)$ consider the integral operators
$$
(K_a f)(x)=\int k_a(x, y)f(y)d\mu(y)
$$
with
$$
k_a(x, y)=\frac{a\...
- 452
7
votes
0
answers
234
views
Is there a tensor norm that preserves Rosenthal Banach spaces?
By a Rosenthal Banach space I mean one that does not contain an isomorphic copy of $\ell_1$. Is there a tensor norm $\alpha$ such that the Banach tensor product $E\otimes_\alpha F$ is Rosenthal if $E$ ...
7
votes
0
answers
277
views
Reversing shortest paths among unit disks
Twas the night before Christmas, and throughout M.O.
Not a question was posted, not even by Joe.
Well, let me remedy that. :-)
Let the plane contain a number of ...
- 151k
7
votes
0
answers
251
views
Equiareal shapes in $\mathbb{R}^d$
There was quite a bit of work on the so-called
equichordal problem throughout the 20th century, to decide if some plane convex
curve could have two equichordal points.
A point is equichordal for a ...
- 151k
7
votes
0
answers
293
views
Complex interpolation of a Banach space and its antidual when the space has a basis
Given a complex Banach space $X$ and its antidual $\hat X^*$, it is possible in some cases to apply the complex interpolation method, and get as $(X,\hat X^*)_{1/2}$ a Hilbert space. See [F. Watbled, ...
- 4,461
7
votes
0
answers
205
views
Lattice radial-step (ratchet) spirals
(30Oct13: Now solved; see Addendum.)
Define a curve, a ratchet spiral, $S(r_0,\epsilon)$ as follows, where $r_0 > 0$ and $\epsilon < 1$.
$S(r_0,\epsilon)$ begins with the arc ...
- 151k
7
votes
0
answers
2k
views
Prokhorov's theorem for finite signed measures?
Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure.
Notation used ...
- 339
7
votes
0
answers
1k
views
What is known about the area of the symmetric Pythagorean tree?
What is known about the area of the symmetric Pythagorean tree? (Closed unit square as base, area of enclosed triangles not included.) The problem in calculating the area is that squares start to ...
- 205