Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
251 views

generator of Dirichlet form coincide with the absolute part of the "Laplacian"

Let M be an Riemannian manifold with the Dirichlet form $$\varepsilon (u,v) =-\int_M \langle \nabla u,\nabla v \rangle$$ for $u,v \in W^{1,2}_0(M)$. Let $\Delta^M:D(\Delta^M) \to L^2(M)$ denote the ...
wang mu's user avatar
  • 199
2 votes
1 answer
134 views

Dirichlet energy with domain $W^{1,2}(M)$ or $W^{1,2}_{loc}(M)$ can be a specific Dirichlet form?

M is a Riemannian manifold, $\varepsilon(f,g)=\int_M \langle {\nabla f,\nabla g}\rangle dvol$. Then with which domain is $\varepsilon$ a strongly local, regular and tight Dirichlet form? $W^{1,2}(M)$ ...
wang mu's user avatar
  • 199
1 vote
2 answers
909 views

Heat flow $P_tf \to f$ in $W^{1,2}$ for $f \in W^{1,2}$?

$\varepsilon:L^2(X,m) \to [0,\infty]$ is a strongly local, symmetric Dirichlet form generating a Markov semigroup $(P_t)_{t\ge0}$ in $L^2(X,m)$. Let $D(\varepsilon)=\{f\in L^2(X,m):\varepsilon(f)<\...
wang mu's user avatar
  • 199
6 votes
1 answer
396 views

Does a metric refine the weak-* topology on a dual space?

Let $X$ be a topological affine space over $\mathbb C$, with no additional assumptions. Let $X^*$ denote its dual space of continuous affine functionals $X \to \mathbb C$, equipped with the weak-$*$ ...
Tom LaGatta's user avatar
  • 8,512
8 votes
2 answers
289 views

Distortion of tree embedding in Alexandrov spaces

It is a well-known theorem first proved by Bourgain that any map $\varphi:T_n\to H$ from the binary tree of height $n$ to a Hilbert space has distortion at least $C \sqrt{\ln n}$ where $C$ is a ...
Benoît Kloeckner's user avatar
8 votes
1 answer
597 views

complete metric space

Hallo, I have the following question: Let $(X,d)$ be a complete metric space. Is then $(X,\operatorname{dist})$ also complete? Here by $\operatorname{dist}$ I mean the metric induced by $d$ by: $\...
denis's user avatar
  • 83
0 votes
1 answer
208 views

The pth power of a distance function is twice continuously differentiable, for $p>2$?

Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$. Is $\beta^p$, $p>2$ a twice continuously ...
Xi LIN's user avatar
  • 9
7 votes
2 answers
1k views

A characterization of Hilbert spaces?

My question was prompted by an earlier MO by @Daniel:     Duality map in strictly convex Banach spaces I will even use his symbol   $\phi$   below. Let   $B$   be an ...
Włodzimierz Holsztyński's user avatar
7 votes
2 answers
1k views

For what spaces is the Hardy-Littlewood maximal operator of strong type $(p,p)$ if and only if $p > p_0 > 1$?

(This is essentially a continuation of my previous question, here.) Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. Further assume (though you ...
user avatar
6 votes
1 answer
249 views

What is the doubling dimension of convex functions?

I am interested in the complexity of convex functions, specifically the "doubling dimension" of the class of convex functions defined on a compact subset of Euclidean space, when compared using the $L^...
sd234's user avatar
  • 173
6 votes
1 answer
591 views

For which metric measure spaces is the Hardy-Littlewood maximal operator not of weak type (1,1)?

Let $(X,d,\mu)$ be a metric measure space, i.e. $\mu$ is a Borel measure on the metric space $(X,d)$. I'll denote the Hardy-Littlewood maximal operator - either centred or uncentred, I don't mind ...
user avatar
4 votes
4 answers
1k views

Continuous pointwise ergodic theorem?

Let $\Phi$ be a homeomorphism of a compact metric space $M$ which preserves a regular Borel probability measure $\mu$.(`Regular' $\mu(U) > 0$, if U open. ) Under these hypothesis, I have two ...
Richard Montgomery's user avatar
9 votes
4 answers
2k views

Books about capacity theory

While I was studying the book Variation et Optimisation de formes by Antoine Henrot and Michel Pierre, I encountered a section about the capacity associated to the $H^1$ norm, which is defined for ...
Beni Bogosel's user avatar
  • 2,222
1 vote
1 answer
111 views

Log-nonexpansive functions: terminology and references

During my recent work in the optimization of positive valued functions, the following class of functions proved to be exceptionally important. (Defn.). Let $h: (0,\infty) \to (0,\infty)$ be ...
Suvrit's user avatar
  • 28.6k
5 votes
0 answers
104 views

Regularity of simplices, part deux

This question is directly inspired by Pietro Majer's question and my answer to it. One can define a simplex, and the dihedral angles thereof in an infinite dimensional Hilbert space (one has to take ...
Igor Rivin's user avatar
  • 96.4k
4 votes
1 answer
262 views

Are faces of a compact, convex body "opposed" iff their extreme points are pairwise "opposed"?

Let $P$ be a compact, convex subset of $\mathbb{R}^n$ (infinite-dimensional generalisations welcome, but not necessary). Let's say that disjoint subsets $W_1$, $W_2$ $\subset P$ are opposed if there ...
Sabri's user avatar
  • 95
0 votes
1 answer
156 views

Does homeomorphism preserves the family of cones?

Let me state my problem. Suppose we have a ball $B$ in standard $\mathbb{R}^3$, that is a $\varepsilon$-neighbourhood of $0$ point. Suppose we have a family of cones $X_C = \lbrace C > 0 \vert x^2 +...
Evgeny's user avatar
  • 165
9 votes
1 answer
544 views

Question on Hilbert Manifolds

I have a very basic question on Hilbert manifolds. Consider the Hilbert space $$ \mathcal{H}:= L^2(S^1) $$ with $S^1$ the unit circle. On $\mathcal{H}$ let us introduce the equivalence relation $$ ...
pil's user avatar
  • 233
11 votes
0 answers
601 views

High-dimensional geometry: Top-down Vs. Bottom-up

There are several ways to leverage one's intuition from low-dimensional geometry to understand high-dimensional phenomena. For example, one can get a clearer picture of the behaviour of high-...
Simon Lyons's user avatar
  • 1,666
6 votes
0 answers
387 views

Local minimum from directional derivatives in the space of convex bodies

I have a function $f(K)$ defined on the space of three-dimensional convex bodies for which I want to show that the unit ball $B$ is a local minimum. I have been able to show if $K$ is not homothetic ...
Yoav Kallus's user avatar
  • 5,971
2 votes
1 answer
230 views

Completing The Space Sections in a Vectorbundle

Hi there. Assume $(M,g)$ is a Riemanian manifold and $E\to M$ is a vector bundle with a bundle metric $\langle\cdot,\cdot\rangle$. We then have the pre-Hilbert space $H_0:=\Gamma_c^\infty(E)$ of ...
Robert Rauch's user avatar
2 votes
1 answer
452 views

What do we get from an euclidian affine structure ?

Imagine you investigate a set of objects $\mathcal{E}$, and you just realize this that $\mathcal{E}$ possesses an affine structure with respect to some real vector space $\mathcal{V}$ having a scalar ...
Adrien Hardy's user avatar
  • 2,135
2 votes
1 answer
208 views

Is there an elementary proof for preserving inequalities under the change of l_p metrics?

Here is what I mean exactly: Let $A=(a_1,a_2)$ and $B=(b_1,b_2)$ be two points in the real plane (for simplicity, but general finite dimensions would also be nice), and define the $\ell_p$-metric as ...
Fred von Heymann's user avatar
9 votes
2 answers
477 views

An extension of Gaussian Isoperimetry

The Gaussian isoperimetric inequality (Tsirelson,Sudakov, Borell) states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian ...
BharatRam's user avatar
  • 949
1 vote
1 answer
304 views

How do maximum norms relatively change in Euclidean translations

Let $Q$ be the cube $[-1,1]^{3}$ and $\pi$ be a plane in $\mathbb{R}^{3}$ that contains the origin but doesn't contain any vertex of $Q$. Suppose that $A$ is an invertible linear transformation from $\...
user9490's user avatar
2 votes
0 answers
800 views

Controlling the Lipschitz norm of the limit of a sequence of functions

Consider the Fréchet space $\Omega = C(\mathbb R^d)$ of real-valued continuous functions equipped with the seminorms $$\|f\|_D := \sup_{x,y \in D} \left\{ |f(x)|, \tfrac{|f(x)-f(y)|}{|x-y|} \right\}, \...
Tom LaGatta's user avatar
  • 8,512
7 votes
1 answer
362 views

Nonexpansive multi-valued maps in $\ell^2$

Let $C$ be a nonempty bounded closed convex subset, say the unit ball, of $\ell^2(\mathbb{N})$. Let $T: C\to 2^C$ be a map such that $T(x)$ is nonempty closed for each $x$, and that $$D(Tx,Ty)\le \|x-...
TCL's user avatar
  • 744
22 votes
5 answers
3k views

Unexpected applications of Dvoretzky's theorem

Dvoretzky's theorem is a classic of convex geometry. Recently at a conference in quantum information I learned (from Patrick Hayden's talk) about a nontrivial application of the theorem to a problem ...
Michal Kotowski's user avatar
2 votes
4 answers
222 views

How to compare finite point sets in normed spaces?

I want to define a "distance" between two subsets $A, B$ of a normed space $(V, \|\cdot\|)$ both with (at most) $n$ elements. A straightforward way for me to do this would be to define $$ d(A, B) := \...
Mirko's user avatar
  • 21
9 votes
2 answers
674 views

Small crown probabilities (and infinite dimensional margin assumption)

My question is: How do I find sharp upper bounds on $P(|q|\leq \epsilon)$ uniformly over a set of gaussian polynomes $q$ of degree two. Notations and definitions (to make the question rigorous) Let ...
26 votes
3 answers
11k views

L1 distance between gaussian measures

L1 distance between gaussian measures: Definition Let $P_1$ and $P_0$ be two gaussian measures on $\mathbb{R}^p$ with respective "mean,Variance" $m_1,C_1$ and $m_0,C_0$ (I assume matrices have full ...
robin girard's user avatar
28 votes
6 answers
12k views

Almost orthogonal vectors

This is to do with high dimensional geometry, which I'm always useless with. Suppose we have some large integer $n$ and some small $\epsilon>0$. Working in the unit sphere of $\mathbb R^n$ or $\...
Matthew Daws's user avatar
  • 18.7k
6 votes
2 answers
1k views

Quantitative questions about the size of a finite epsilon net

Let $X$ be a metric space, and let $U \subset X$ be any set. A finite set $N = N(\epsilon) \subset U$ is called a finite $\epsilon$-net of $U$ if every point of $U$ is at most a distance of $\epsilon$...
weakstar's user avatar
  • 943
12 votes
3 answers
2k views

To what extent is convexity a local property?

A polyhedron is the intersection of a finite collection of halfspaces. These halfspaces are not assumed to be linear, i.e. their bounding hyperplanes are not assumed to contain the origin. The ...
Nathan Reading's user avatar
8 votes
1 answer
381 views

Estimating flat norm distance from a planar disc

Let $D\subset\mathbb R^2\subset\mathbb R^n$ be a unit planar disc in $\mathbb R^n$. Let $S$ be an orientable two-dimensional surface in $\mathbb R^n$ such that $\partial S=\partial D$. Of course, we ...
Sergei Ivanov's user avatar
6 votes
3 answers
1k views

How can I embed an N-points metric space to a hypercube with low distortion?

I have a N-point metric space defined by the pairwise distance matrix. I want to encode these N points with binary strings, i.e. each point will be mapped to a vertex in a hypercube. The lengths of ...
pacificmoth's user avatar
11 votes
7 answers
1k views

What are some interesting ways of making new metrics out of old metrics?

If $d(x,y)$ and $e(x,y)$ are metrics then $d(x,y)+e(x,y)$ and $\frac{d(x,y)}{1+d(x,y)}$ are metrics. If $d_i(x,y)$ for $i=1,\dots,n$ are metrics then so is $\sqrt{\sum_{i=1}^n{d_i^2(x,y)}}$ Are ...
Kim Greene's user avatar
  • 3,613
1 vote
3 answers
2k views

Various Cartan's Lemmata

I am a bit amazed by "Cartan's Lemma".. I have so far seen it in : Algebraic Geometry sources: Look at Proposition 2.9 of Freitag and Kiehl's Étale Cohomology where he used étale morphism to describe ...
Jose Capco's user avatar
  • 2,275
12 votes
3 answers
530 views

Making an l_2 distance out of l_1 distance

If we think of the l1 distance as a grid-distance between points, then we can think of l2 distance as what we get when we "shortcut" the grid by going "inside" a cell. Making the grid finer doesn't ...
Suresh Venkat's user avatar

1 2 3
4