All Questions
1,583 questions
16
votes
1
answer
589
views
(A question about)${}^3$ 3-dimensional convex bodies
Related to the questions mathoverflow.net question No. 137850 and mathoverflow.net question No. 39127, is there a 3-dimensional convex body other than a ball whose perpendicular projections in all ...
- 7,276
16
votes
1
answer
2k
views
What (classes of) Banach spaces are known to have Schauder basis?
Motivation:
I am trying to see for what class of Banach spaces the following result is true:
There exists an increasing sequence of finite dimensional subspace {$V_n$} of a Banach space X (with ...
- 365
15
votes
4
answers
3k
views
Universal $C^*$-algebra with generators and relations
We say that the $C^*$-algebra $A$ generated by $a_1,...,a_n$ is universal subject to relations $R_1,...,R_m$ if for every $C^*$-algebra $B$ with elements $b_1,...,b_n$ satisfying relations $R_1,...,...
- 9,330
14
votes
1
answer
2k
views
Infinite tensor product of states
Tensor products of finite number of different objects are always well described in the literature. However, the situation of infinite tensor products seems to be much tougher.
Even in the simplest ...
- 143
13
votes
1
answer
615
views
Find structure geometry of $A_1, A_2,...,A_n$ such that $\prod_{i<j} A_iA_j$ is maximum
In any triangle we have the well-known inequality:
$$\sin{A}\sin{B}\sin{C} \le \frac{3\sqrt{3}}{8} (1)$$
Signification of inequality (1): Let three points $A, B, C$ lie on a circle then $AB.BC.CA$ ...
- 1,044
13
votes
2
answers
1k
views
Calkin Algebra and the embedding
Let $H$ be a separable, infinite dimensional Hilbert Space and $Calk(H):=B(H)/K(H)$ denotes
the Calkin algebra. There is obvious surjection $\pi: B(H) \to Calk(H)$ but I'm interested
in somehow ...
- 9,330
13
votes
1
answer
921
views
Limiting shape for Brillouin zones
Is it true that the limiting shape for Brillouin zones (for any lattice) is a circle?
You can find the definition and the step by step construction of Brillouin zones here. This picture is taken from ...
- 12.3k
12
votes
3
answers
2k
views
Intuition for Levi-Civita connection via Hamiltonian flows
A Riemannian metric on a manifold $X$ defines a function on the symplectic space $T^*X$ whose Hamiltonian flow gives geodesics. Is there a similar interpretation of the Levi-Civita connection?
- 7,952
12
votes
1
answer
373
views
A claim on partitioning a convex planar region into congruent pieces
Let us define a perfect congruent partition of a planar region $R$ as a partition of it with no portion left over into some finite number n of pieces that are all mutually congruent (ie any piece can ...
- 5,979
12
votes
2
answers
3k
views
Direct proof of injectivity of $L_\infty$
I would like to know a simple proof of isometric injectivity of $L_\infty$. The proof I've found in Topics in Banach space theory. F. Albiac, N. Kalton uses two deep result.
$L_\infty$ as ...
- 1,697
11
votes
4
answers
1k
views
Norm continuous infinite dimenisonal representation of a Lie group
Given a Lie group G and an infinite dimensional Hilbert space $\mathcal{H}$. In the literature I have only encountered the two following notions of a representation $\pi$ of G on $\mathcal{H}$ :
1) $\...
- 403
11
votes
1
answer
1k
views
Stone-Weierstrass analogue for $L^p$
Let $A$ be a complex algebra of bounded measurable functions on the measure space $(X,\mu)$ (case of $[0,1]$ with Lebesgue measure is enough for me) closed under conjugation. Assume that $A$ separates ...
- 109k
10
votes
1
answer
517
views
Monotonicity of Loewner ellipsoid?
Given two $0$-symmetric convex bodies $K \subset L \subset \mathbb{R}^n$, is it true that the Loewner ellipsoid of $K$ is contained in the Loewner ellipsoid of $L$?
I have just finished proving a ...
- 13.5k
10
votes
3
answers
739
views
Is there a version of Fischer-Riesz theorem for Banach space?
$( \Omega,F, P )$: a measurable space equipped with a finite measure
$(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra
$p$ : a constant bigger than $1$
...
- 406
10
votes
1
answer
1k
views
CAT(0) groups that does not act on CAT(0) cubical complex
CAT(0) groups are groups that act on a CAT(0) space properly and cocompactly. If a group acts on a CAT(0) cubical complex properly and cocompactly, then of course it is a CAT(0) Group. I am wondering ...
- 1,598
9
votes
0
answers
187
views
Cubing the cube - as 'perfectly' as possible
Ref: https://en.wikipedia.org/wiki/Squaring_the_square
A perfect cubing of a cube is a partition of the cube into some finite number of smaller cubes that are pair-wise non-congruent. The above page ...
- 5,979
9
votes
1
answer
642
views
Twisted random walks
Suppose the points of two random walks in $\mathbb{R}^2$ are given the
step number (or time) as a third coordinate, so that they become paths in $\mathbb{R}^3$.
Here are several pairs of walks of $n=...
- 151k
9
votes
5
answers
2k
views
Feasibility of a list of prescribed distances in R^3
I am puzzled with the following problem:
Given $n$ real numbers it is to obtain a Yes/No answer to: "whether it is possible to arrange different points in the Euclidean $\mathbb{R}^3$ so that every ...
- 555
9
votes
1
answer
2k
views
Density of smooth functions on Hölder spaces
The following result is often cited without reference in the context of PDEs:
Let $\varOmega \subset\mathbb R^n$ be a bounded open set with smooth boundary. If $0<\beta<\alpha<1$ then $C^\...
- 727
9
votes
3
answers
2k
views
Generalizations and relative applications of Fekete's subadditive lemma
Fekete's (subadditive) lemma takes its name from a 1923 paper by the Hungarian mathematician Michael Fekete [1]. A historical overview and references to (a couple of) generalizations and applications ...
- 10.5k
9
votes
2
answers
595
views
Strengthened version of Isoperimetric inequality with n-polygon
Let $ABCD$ be a convex quadrilateral with the lengths $a, b, c, d$ and the area $S$. The main result in our paper equivalent to:
\begin{equation} a^2+b^2+c^2+d^2 \ge 4S + \frac{\sqrt{3}-1}{\sqrt{3}}\...
- 1,776
8
votes
1
answer
380
views
Lavrentiev phenomenon between $C^1$ and Lipschitz
Does there exist a (onedimensional) integral functional of calculus of variations (with $f$ finite everywhere)
$$
F(y)=\int_a^b f(t,y(t),y'(t))\,dt
$$
such that
$$
\inf_{y\in Lip([a,b])}F(y)<\inf_{...
- 1,309
8
votes
3
answers
3k
views
Reconstructing an Euclidean point cloud from their pairwise distances
I have a collection of points $P_1, ..., P_N$ in some Euclidean space $\mathbb R^m$ and the coordinates $x_1, x_2, ..., x_N$ respectively associated with them, where $x_i$ is the usual Cartesian tuple ...
- 1,890
8
votes
1
answer
716
views
A non-hyperfinite type III factor from an action of the free group on the circle
We define below a von Neumann algebra $\mathcal{M}$ from an action of the free group on the circle, and we prove that $\mathcal{M}$ is a non-hyperfinite type ${\rm III}$ factor.
Question : Is $\...
8
votes
1
answer
2k
views
Lattice points on the boundary of an ellipse
How many points of the integer lattice ${\mathbb Z}^2$ can an axis-parallel ellipse of radius $r$ contain on its boundary? (that is, we consider ${\mathbb Z}^2$ as lying in ${\mathbb R}^2$). ...
- 1,072
8
votes
2
answers
591
views
Cutting a spherical surface into mutually non-congruent pieces of equal area
Question: For what values of integer $n$ can the surface of a sphere be partitioned into $n$ convex and mutually non-congruent pieces of same area? (convexity could be viewed as geodesic convexity). ...
- 5,979
7
votes
1
answer
1k
views
Properties of convolutions
Consider the function
$$f_{n}(x)=e^{-x^2}x^n.$$
and the function
$$h_p(x):=e^{-\vert x \vert^p}.$$
My goal is to analyze
$$ F_p(y):=\frac{(f_2*h_p)(y)}{(f_0*h_p)(y)}- \left(\frac{(f_1*h_p)(y) }{(f_0*...
- 173
7
votes
4
answers
2k
views
Do cotangent bundles have "bounded geometry"?
I have often heard the phrase "a manifold $M$ has bounded geometry" thrown around without ever seeing a precise definition of what this means. Apparent examples are compact manifolds and $\mathbb{R}^n$...
- 71
6
votes
3
answers
2k
views
Uniquely geodesic and CAT(0) spaces?
Improvement after J-M Schlenker's comment below :
This post has been divided into two parts, the second part is here.
Question : Is a finite dimensional metric space, uniquely geodesic if and only ...
6
votes
1
answer
2k
views
Comparing norms on tensor products of matrices
Given a Hilbert space $H$, let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is
$$ \Vert T \Vert_1 = \sum_{j\geq 1} |s_j| $$
where $(s_1,...
- 209
6
votes
1
answer
696
views
Reference request: optimal $L^p$ regularity for solutions to $-\Delta u=f$ with $f\in L^1(R^d)$
The tilte says it all. Given $f\in L^1(R^d)$ (let me restrict to dimension $d\geq 3$ for convenience), what is the optimal $L^p$ regularity for solutions to
$$
-\Delta u=f\hspace{3cm}(1)?
$$
I'm of ...
- 5,380
6
votes
1
answer
1k
views
Symmetric basis of harmonic homogeneous polynomials
Recently, a question about the beautiful theory of harmonic polynomials made me aware there is something
I've wanted to know for a long time.
As is well known, for any number of variables $n$ and any ...
- 60.5k
6
votes
1
answer
474
views
Proof that $L^2(0,T;X)^* = L^2(0,T;X^*)$
How is the proof that
$$[L^2(0,T;X)]' = L^2(0,T;X')$$
looking like, where $X$ is a Hilbert space? I am asking for the proof that the dual space of $L^2(0,T;X)$ is the space $L^2(0,T;X^*)$.
Is the ...
- 83
5
votes
0
answers
198
views
Heuristic and graphic representation of BV functions and their singularities
This question is about some heuristics and graphs of BV functions.
In 1-dimensional setting, two key examples of $BV$ functions $u: \mathbb R \to \mathbb R$ are
the Heaviside function, whose ...
- 839
5
votes
1
answer
406
views
Computational approach deciding whether a set of Wang Tile could tile the space up to some size
As an applied person, I'm facing one practical problem deciding whether a set of Wang tile could tile the plane periodically or aperiodically. Although both problems seem undecidable, but I'm on a ...
- 867
5
votes
2
answers
1k
views
Is the space of signed finite measures on a compact set $M([0,1])$ a sequential space?
Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all $\...
- 95
5
votes
1
answer
395
views
Universal decay rate of the Fisher information along the heat flow
I'm looking for a reference for the following fact: In the torus $\mathbb T^d$ let me denote by $u_t=u(t,x)$ the (unique, distributional) solution of the heat equation
$$
\partial_t u=\Delta u
$$
...
- 5,380
5
votes
0
answers
177
views
Tiling with triangles of same circumradius and inradius
Consider a pair of positive real numbers $r$ and $R$ with $r<R/2$. Then we can form infinitely many triangles all with circumradius $R$ and inradius $r$.
For any such pair, the resulting triangles ...
- 5,979
4
votes
3
answers
347
views
Minimal data required to determine a convex polytope
Let $P\subset \Bbb R^d$ be a convex polytope.
Suppose that I know
its combinatorial type (aka. the face-lattice),
the length $\ell_i$ of each edge, and
the distance $r_i$ of each vertex from the ...
- 13.6k
3
votes
0
answers
76
views
A claim on planar sections of 3D convex bodies
Ref: More on shadows of 3D convex bodies,
Shadows and planar sections of polyhedra
Given a 3D convex body C, we define a maximal area (perimeter) section of C with respect to any specified direction $...
- 5,979
3
votes
2
answers
949
views
Reference for proof that $C_b^* = rba$
The following theorem seems to have folk status:
The topological dual of the space $C_b(X)$ of bounded continuous functions on a topological space $X$ is isomorphic to the space $rba(X)$ of finite, ...
- 459
3
votes
2
answers
968
views
Can one estimate the distribution of eigenvalues of a matrix by its Cauchy/Stieltje transform?
Given a real symmetric $n$ dimensional matrix $A$, with eigenvalues $\lambda_i$ I am defining its Cauchy transform as the function, $f_A(z) = \sum_i \frac{1}{z-\lambda_i}\,$
Is there any information ...
- 617
2
votes
1
answer
600
views
A geometric approach to the odd perfect number problem?
Let $e_d$ be the $d$-th standard-basis vector in the Hilbert space $H=l_2(\mathbb{N})$.
Let $h(n) = J_2(n)$ be the second Jordan totient function.
Define:
$$\phi(n) = \frac{1}{n} \sum_{d|n}\sqrt{h(d)}...
- 3,064
2
votes
1
answer
209
views
Cutting convex regions into equal diameter and equal least width pieces
The diameter of a convex region is the greatest distance between any pair of points in the region.
The least width of a 2D convex region can be defined as the least distance between any pair of ...
- 5,979
2
votes
2
answers
317
views
Concrete example of BV function $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative
What are examples of two BV functions $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative?
More precisely, I'd like to see an example (and a plot using Mathematica or Matlab) of
a function
$$...
- 839
2
votes
2
answers
351
views
Weak convergence for discrete-time processes using characteristic functions
I am looking for a good reference about the analogues of the Bochner Theorem and the Lévy Continuity Theorem
for probability measures on $\mathbb{R}^{\mathbb{N}}$ with the product topology.
...
1
vote
2
answers
157
views
A claim on the concurrency of area bisectors of planar convex regions
We add a little bit to On 'fair bisectors' of planar convex regions and Bisectors and partitioning lines for convex regions defined with respect to the moment of inertia
Definitions: Given a ...
- 5,979
1
vote
1
answer
144
views
On convex polygons contained in convex polygons
In what follows '$n$-gon' stands for '$n$-vertex polygonal region'.
Question: Given a convex $n$-gon $C$, find the smallest convex region $R$ such that $C$ is the smallest $n$-gon that contains it.
...
- 5,979
1
vote
0
answers
739
views
Finding a unique and finite expected value for almost all measurable functions?
Let $(X,d)$ be a metric space. If set $A\subseteq X$, let $H^{\alpha}$ be the $\alpha$-dimensional Hausdorff measure on $A$, where $\alpha\in[0,+\infty)$ and $\text{dim}_{\text{H}}(A)$ is the ...
- 63
97
votes
11
answers
13k
views
Is it possible to capture a sphere in a knot?
You and I decide to play a game:
To start off with, I provide you with a frictionless, perfectly spherical sphere, along with a frictionless, unstretchable, infinitely thin magical rope. This rope ...
- 8,688