All Questions
1,766 questions
8
votes
1
answer
390
views
Order bounded version of monotone complete $C^*$-algebras
Let $A$ be a $C^*$-algebra with self-adjoint part $A_{\operatorname{sa}}$. Then $A$ is called monotone complete if every increasing norm bounded net in $A_{\operatorname{sa}}$ has a supremum (with ...
- 12.6k
8
votes
2
answers
644
views
Given any sequence of interpolating nodes, can we find a continuous function $f$ whose interpolating polynomials doesn't converge to $f$ point-wise
Let $[a,b]$ be an interval in real line . Given any function $f:[a,b]\to \mathbb R$ and set $A \subseteq [a,b]$ of size $n+1$, there exists a unique polynomial $p_{f,A,n}(x)$ of degree $n$ such that $...
- 1,209
8
votes
3
answers
411
views
Identifying a subset with as few tests as possible
Informal description: You are given a set of $n$ blood samples, each having probability $p$ of being infected with a disease. Your goal is to determine the set $P$ of infected samples with as few ...
- 32.5k
8
votes
0
answers
182
views
Distribution domination for sums of independent random variables in Banach spaces
Let $X$ be a Banach space and let $(\xi_n)$ and $(\eta_n)$ be independent mean-zero random variables with values in $X$ satisfying
$$
\sum_n \mathbb P(\xi_n \in A) \leq \sum_n \mathbb P(\eta_n \in A),
...
- 131
8
votes
2
answers
488
views
If the cardinality of $B(X)$, the space of operators on $X$, is continuum, must $X$ be separable?
Does there exits any non-separable Banach space $X$ such that the size (cardinal number) of $B(X)$, bdd linear operators on $X$, is just of the continuum?
- 4,058
8
votes
3
answers
429
views
A density claim
Suppose that $g_k\in C([1,2])$, $k\in \mathbb N$ are continuous functions such that $\|g_k\|_{C([1,2])} \leq \epsilon^k$ for some sufficiently small $\epsilon>0$. Is the following claim true:
If $f\...
- 4,143
8
votes
0
answers
155
views
Cohomology dimensions are well approximated by Gaussian for multiply-fibered manifolds ? (Topological central limit theorem)
Consider some manifold $M$ say compact smooth. Let $b_i$ be its Betti numbers (non-zero), i.e. its cohomology dimensions.
Assume $M$ can be subsequently fibered by many manifolds, i.e. there is $ M_{...
- 24.9k
8
votes
2
answers
387
views
Are we able to estimate the fraction of the domain where $\cos (ax)+2\cos (b x)$ with $\frac ab \notin\mathbb{Q}$ is positive?
We know that the two functions $\{\;\cos (ax),\;2\cos (b x)\;\}$ where $\frac ab \notin \mathbb{Q}$ are independently positive (and negative) over $\frac 12$ of the domain.
Is it possible to estimate ...
user215601
8
votes
1
answer
386
views
Lower bound for $\frac{\sum_{i,j}\min((f_i-f_j)^2,(g_i-g_j)^2)}{\sum_{i,j}\max((f_i-f_j)^2,(g_i-g_j)^2)}$
Let $f\in\mathbb{R}^n$ and $g\in\mathbb{R}^n$ be two orthogonal unit vectors such that $\sum_{i}{f_i}=\sum_{i}{g_i}=0$.
Question. Can we prove this?
$$\frac{\sum_{\{i,j\}}\min((f_i-f_j)^2,(g_i-...
- 519
8
votes
1
answer
380
views
Question about estimating random symmetric sums modulo p
Let $n > 0$ be a positive integer (large) and $p > 2$ a fixed prime number. What is the probability that $$\sum_{ 1 \leq i < j \leq n} a_ia_j = 0 \mod p$$ where $a_1, a_2, \dots a_n$ are ...
- 1,101
8
votes
1
answer
523
views
Are the following subsets of a Hilbert space always homeomorphic?
Let $F$ be a infinite-dimensional complex Hilbert space, with inner product $\langle\cdot\;| \;\cdot\rangle$, the norm $\|\cdot\|$, the 1-sphere $S(0,1)=\{x\in F;\;\|x\|=1\}$ and let $\mathcal{B}(F)$ ...
- 724
8
votes
2
answers
385
views
Metrizability of a topological vector space where every sequence can be made to converge to zero
This is a follow-up to this answer.
If $E$ is a (real or complex) topological vector space, we say that a sequence $\{x_n\}_{n=1}^\infty$ in $E$ can be made to converge to zero if there exists a ...
8
votes
2
answers
259
views
Particularities about the honeycomb lattice for the computation of connectivity constant
After reading the paper The connective constant of the honeycomb lattice equals $\sqrt{2+\sqrt{2}}$ by Hugo Duminil-Copin and Stanislav Smirnov (arXiv:1007.0575) published some time ago in Annals Math....
- 1,561
8
votes
1
answer
286
views
How often a random walk with irrational increments is close to 0?
Let $\omega$ be an irrational number, and $X$ a random variable taking values $1,-1,\omega,-\omega$ each with probability $1/4$. Let then $X_i$ be iid variables with the same law as $X$ and $S_n=\sum_{...
- 1,352
8
votes
0
answers
260
views
Hyperbolic PDEs - Proof that the restriction of a locally $H^s$ solution to a spacelike hypersurface is locally in $H^s$
I have found the following claim made very clearly at least once in the published literature (see below):
Let $P$ be a linear partial differential operator defined on an open set $\Omega \subset \...
- 503
8
votes
1
answer
270
views
Sizes of connected components from a random choice in a grid
This is inspired by the illustration in this recently updated question. So we take a (fairly big) $n$ and an $n \times n$ grid where we draw at random one diagonal in each of the $1 \times 1$ squares. ...
- 13.4k
8
votes
0
answers
314
views
How to prove that $ \sum_{m=0}^{\infty} { \Gamma\{(1+2m)/\alpha\}\over \Gamma(1/2+m)} { (-t^2/4)^{m}\over m !} \ge (\alpha/2)^{3}\exp(-t^{2}/4) $
I would love to prove the following inequality
$$
{1\over \sqrt{\pi} } \sum_{m=0}^{\infty}
\Gamma\{(1+2m)/\alpha\}
{ (-t^2)^{m}\over (2m) !}=$$
$$
\sum_{m=0}^{\infty}
{ \Gamma\{(1+2m)/\alpha\}\over \...
- 178
8
votes
1
answer
485
views
An inequality related to Riesz–Thorin theorem, determinants and $L_p$ norm
Let $a, b, c \in \mathbb{R}^n$ , $p \in [1, +\infty)$, prove that
$$\left( \sum_{1\leq i < j <k \leq n} \left| \det\left(\begin{matrix} a_i & b_i & c_i \\
a_j & b_j & c_j \\
...
- 563
8
votes
1
answer
1k
views
Conditional law as a random measure and convergence of random measures
I'm looking for a reference book or article for the following two facts. In both statements, a Polish space $E$ and an ambient probability space $(\Omega, {\cal A}, \Pr)$ are given, and I consider ...
- 2,560
8
votes
1
answer
969
views
Probabilities independent of ZFC?
Hi guys,
is it possible to change the probability of an event via forcing? More precisely, is there an innocent looking question on the probability of "something" whose answer is independent of ZFC?
...
- 165
8
votes
5
answers
3k
views
Another colored balls puzzle (part II)
The same colleague as in Another colored balls puzzle asked me the following variant which she called "part II".
Imagine you have $n$ balls in a bag that are colored from $1$ to $n$. At each turn ...
8
votes
1
answer
726
views
continuity of the Boltzmann entropy in the Wasserstein metric
For Lebesgue-absolutely continuous probability measures $\rho\ll \mathcal{L}^d$ in the whole space $\mathbb{R}^d$ with finite second moments (i-e $\rho\in \mathcal{P}^2_{ac}(\mathbb{R}^d)$), let
$$
\...
- 5,380
8
votes
1
answer
5k
views
integration by parts for the fractional Laplacian
Is there an integration by parts formula for fractional laplacians in $L^p(\mathbb{R}^N)$, something like
$$
s\in(0,1),\qquad\int\limits_{\mathbb{R}^N}f[(-\Delta)^sg] =\int\limits_{\mathbb{R}^...
- 5,380
8
votes
6
answers
761
views
Diffusion sample paths as deformed Brownian sample paths
Suppose $X$ is a non-explosive diffusion with dynamics
$dX_t = \mu(X_t)dt + \sigma(X_t)dW_t$,
where $W$ is a standard Brownian motion. My intuition about $X$ is that if $\mu$ and $\sigma$ are ...
- 1,666
8
votes
4
answers
8k
views
Is there MDPs (Markov Decision Process) which have a non deterministic optimal policy?
I'm working on Markov Decision Process and I have not found yet an example of MDP that has a stochastic (non deterministic) optimal policy. Is there MDPs that have a stochastic optimal policy or is it ...
- 254
8
votes
1
answer
340
views
characterization of commutative Banach algebras
Let $A$ be a Banach algebra with the following property:
For every two nets $ x_{\alpha}$ and $y_{\alpha}$ in $A$, $x_{\alpha}y_{\alpha}$ converges if and only if $y_{\alpha}x_{\alpha}$ converges.
...
- 356
8
votes
3
answers
1k
views
Fourier dimension of the sum of sets
This question came up when my supervisors, my colleague, and I were considering arithmetic progressions in sets of fractional dimension. In particular, we were interested in "extracting" Salem sets ...
- 505
8
votes
2
answers
785
views
Is taking the product of signed measures weakly continuous?
For a Polish space $X$, let $C_b(X)$ denote the real Banach space of bounded continuous real-valued functions on $X$. Let $M(X)$ denote the space of all finite signed Borel measures on $X$, equipped ...
- 29.8k
8
votes
3
answers
3k
views
The mean of points on a unit n-sphere $S^n$
A unit n-sphere is defined as $$\mathcal{S}^n = \{\mathbf{p} \in \mathbb{R}^{n+1}: \|\mathbf{p}\| = 1\}$$
The distance between two points $\mathbf{p}$, $\mathbf{q}$ on $\mathcal{S}^n$ is the great-...
- 147
8
votes
2
answers
1k
views
What does the unique mean on weakly almost periodic functions look like?
There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...
- 4,432
8
votes
4
answers
811
views
Schwartz space of functions with values in a Frechet space
While reading some papers about $\psi$DOs I found some spaces of vector valued functions which I am not familiar with. I am looking for references about the Schwartz space of functions with values in ...
- 601
8
votes
2
answers
3k
views
$L^p$-norm of Fourier series in terms of coefficients, $p \neq 2$
It is known that the $L^2$-norm of a Fourier series equals the $l^2$-norm of the coefficients. Are there similar results in the case of $L^p$-norm for $p\neq 2$? Can it be expressed explicitly in ...
- 176
8
votes
3
answers
1k
views
Dual Banach space of $B(X,Y)$ when $X$ is finite dimensional
Denote $B(X,Y)$ the Banach space of bounded operators between Banach spaces $X$ and $Y$.
When $X$ and $Y$ are both finite dimensional, it follows from the formula
$$\|u\|_{B(X,Y)} = \sup_{\|x\|_X <...
- 9,486
8
votes
3
answers
485
views
Does the metric space of compact metric spaces satisfy the binary intersection property?
A metric space $Y$ has the binary intersection property provided that whenever a collection of closed balls in $Y$ intersects pairwise, then there is a common intersection point.
Does the metric ...
- 15.5k
8
votes
3
answers
2k
views
Measures on general topological groups
I am interested in the group algebras of non-locally compact groups. What references can you advise?
This is a wide question, so I list more concretely what I would like to see:
Here X can be even ...
- 1,152
8
votes
1
answer
2k
views
Van Den Berg-Kesten-Reimer inequality
Van Den Berg-Kesten-Reimer inequality
Let $n$ be a positive integer. For $i\in[n]$, let $\Omega_i$ be a finite set and $\mu_i$ a probability measure on it. Set $\Omega=\Omega_1\!\times\!\ldots\!\...
- 148
8
votes
1
answer
2k
views
Fastest decay of Fourier Transform for Generalized Functions of compact support
What is the fastest decay possible for the Fourier transform of a generalized function with compact support and finite value at the origin? I know that regular functions cannot attain exponential ...
- 83
8
votes
1
answer
421
views
$C^k$ one-parameter family of metrics
Consider a smooth Riemannian manifold $M$ and a $C^k$ one-parameter family of Riemannian metrics $g_t$ on $M$. Here $k$ could be any integer, $k$ could be infinity, when the one-parameter family $g_t$ ...
- 1,407
8
votes
1
answer
527
views
A q,t-extension of Plancherel Measure thru Yang-Mills Theory ?
Buried in the physics paper by Nekrasov and Okounkov, a strange identity is proven:
$$ \prod_{n > 0} (1 - q^n)^{\mu^2-1} = \sum_{\mathbf{k}} q^{|\mathbf{k}|} \prod_{\square \in k} \left( 1 - \frac{\...
- 22.8k
8
votes
4
answers
2k
views
Manifold-Valued Sobolev Spaces
I have the following basic question about Sobolev-spaces which take their values in a
Riemannian manifold $(M,g)$, i.e.
functions $u:\Omega \to M$, $\Omega \subset \mathbb{R}^n$ bounded, such that ...
- 233
8
votes
2
answers
583
views
Does every operator from a Hilbert space to $L^0$ factor through a canonical one?
Let $A:H\to L^0(S, \mu)$ be a continuous operator from a Hilbert space to the space of (equivalence classes of) measurable functions on a probability measure space $S$ with convergence in measure. Let'...
- 4,010
8
votes
2
answers
990
views
What is the tropical Robinson-Schensted-Knuth correspondence?
And what are it's applications? A conceptual explanation would be great! Is there an expository note about this somewhere?
Some references have already appeared in the answers and comments below. To ...
- 85.6k
8
votes
2
answers
2k
views
when a pseudo-differential operators to be compact?
In the theory of Pseudo-differential operators,when a symbol $a(x,\xi)\in S^{0}$,then the operator $a(x,D)$ defined by$$a(x,D)u=\int{e^{ix\xi}a(x,\xi)\widehat{u}}d \xi$$ is $L^2$ bounded.$ $
My ...
- 1,644
8
votes
1
answer
1k
views
Spectra of a Symmetric Toeplitz Operator
For a physics application, I would like to be able to compute the eigenvalues of the linear operator (acting on the Hilbert space $\ell^2$) given by an infinite matrix of the form
$\begin{bmatrix}
...
- 81
8
votes
2
answers
1k
views
Does Multiplicative Version of Azuma's Inequality Hold?
It is known that there are multiplicative version concentration inequalities for
sums of independent random variables. For example, the following
multiplicative version Chernoff bound.
Chernoff bound:...
- 175
8
votes
1
answer
656
views
When is the adjoint of a hypoelliptic operator also hypoelliptic?
Suppose that $M$ is a smooth manifold with a measure $\mu$ and let $L^2(M, \mu)$ be a space of all square-integrable functions on $M$.
Recall that $L$ is a hypoelliptic differential operator if for ...
- 329
8
votes
1
answer
434
views
Self-dual finite-dimensional complex normed spaces
Suppose $X$ is a complex normed space of dimension 2 or 3 and $X$ is isometrically isomorphic to its dual. Is $X$ a Hilbert space?
Remarks: There are easy counterexamples in the real case, and in ...
- 11.4k
8
votes
1
answer
1k
views
Do the converses of [weak law of large numbers / central limit theorem] hold?
Let $\; X_0,X_1,X_2,X_3,...\;$ be independent and identically distributed (real-valued) random variables.
1.
Suppose $\frac1n \cdot\sum\limits_{m=0}^n X_m$ converges in probability. Does it follow ...
user5810
8
votes
3
answers
2k
views
References request: constructive quantum field theory
I am taking a course this semester on QFT, which deals much with constructive quantum field theory. Some of its topics so far involve relationships between non-Gaussian probability measures,Feynman ...
- 663
8
votes
1
answer
355
views
Proving a certain $ C^{*} $-algebraic inequality
Let $ A $ be a non-unital $ C^{*} $-algebra. Is there an ‘elementary’ way to prove, for all $ (a,\lambda) \in A \times \mathbb{C} $, the inequality
$$
|\lambda| \leq \sup_{b \in A, ~ \| b \| \leq 1} \|...
- 1,396