All Questions
15,320 questions
4
votes
1
answer
248
views
+50
A question in spin geometry in dimension 8
$\DeclareMathOperator\trace{trace}\DeclareMathOperator\End{End}\DeclareMathOperator\Trace{Trace}$This is to understand a very specific isomorphism in dimension $8$. In dimension $4$ for a spin$^c$ ...
- 954
1
vote
1
answer
376
views
A sequence and majorization
For two positive vectors $a,b$ such that $a\prec b$, we know that there is an $m$ sequence of vectors $c^{(i)}$ such that $$a\prec c^{(1)}\prec \ldots \prec c^{(m)}\prec b$$ where each vector in the ...
CommunityBot
- 1
25
votes
6
answers
15k
views
Does every distribution define a Radon measure?
On the one hand, Wikipedia suggests that every distribution defines a Radon measure:
http://en.wikipedia.org/wiki/Distribution_(mathematics)#Functions_as_distributions (revision from February 2010, ...
- 12.9k
9
votes
1
answer
296
views
What are the points of the algebra of polynomial functions on an arbitrary vector space?
Let $V$ be an arbitrary vector space over some field $\mathbb{K}$ (UPD: of characteristic 0), $V^*=\mathrm{Hom}(V,\mathbb{K})$ its linear dual. Let $\mathrm{Sym}_\mathbb{K}(V^*)$ be the free ...
- 480
-3
votes
0
answers
69
views
Exercise generalizing (related to) Hölder's inequality
I came across this exercise and feel absolutely stuck:
Let $p, q, r \in (1, \infty]$ be such that $1/p + 1/q = 1 + 1/r$. Suppose that $F : \mathbb{R}^n \times \mathbb{R}^n \to \mathbb{R}$ satisfies ...
- 12.9k
3
votes
0
answers
67
views
Effective action of unbounded operators on subspaces outside their domains of definition
Consider a densely defined, self-adjoint operator
$$
H: \mathcal{D} \rightarrow \mathscr{H}.
$$
Assume for simplicity that $H$ is nonnegative.
We want to effectively restrict this operator $H$ to a ...
- 133
8
votes
1
answer
531
views
How large can the dimension of a 'Span of powers of a finite field basis' be?
Let $p$ be a prime. For finite field $\mathbb{F}_{p^k}$ and $d\in\mathbb{Z}^+$, I am considering the following quantity, where we interpret the field $\mathbb{F}_{p^k}$ also as a $\mathbb{F}_p$-vector ...
CommunityBot
- 1
2
votes
1
answer
401
views
Eigenvalue perturbation under sparse perturbations
Let $A \in \{0,1\}^{n \times n}$ be an irreducible matrix whose entries are in $\{0,1\}$, and let $\lambda_1(A)$ be the eigenvalue with the largest magnitude. By Perron–Frobenius theorem, we know that ...
CommunityBot
- 1
2
votes
0
answers
109
views
Uncertainty principle: minimize $\int_{-\infty}^\infty |t| |\widehat{f}(t)|^2 dt$ for $f$ of compact support
This is a question of uncertainty-principle type stemming from Eigenvalue of a convolution and a restriction?
Let $f:\mathbb{R}\to \mathbb{R}$ be even, absolutely continuous and supported in $[-\frac{...
- 20.2k
0
votes
0
answers
66
views
$L_1$ norm of $f\in L^1(\mathbb{R}^n)$ compactly supported and its change of variable
Let $M\in\mathbb{R}^{n\times n}$ be an invertible matrix, denote its induced linear map on $\mathbb{R}^n$ also by $M$, and let $f\in L^1(\mathbb{R}^n)$ be compactly supported.
I am wondering if we can ...
- 91
3
votes
1
answer
353
views
Sequential separability on $C_p(X)$
Definition. Let $E$ be a topological space. Suppose that $E$ contains a sequence $\{x_n\}$ such that for every $x\in E$, there exists a subsequence $\{x_{n_k}\}$ of $\{x_n\}$ with $x=\lim x_{n_k}$. ...
- 4,713
4
votes
1
answer
277
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
- 20.2k
3
votes
0
answers
83
views
+50
Tight upper bound for $m[Q^k - Q^{k+1}]$ for completely positive linear maps
Let $m: \mathcal{L}(\mathbb{R}^{d \times d}) \to \mathbb{R}$ be the function
$$
m[H] = \frac{\lambda_{\max}(H[\mathbf{I}])}{\lambda_{\max}(H)},
$$
where $\lambda_{\max}$ denotes the largest eigenvalue....
- 673
4
votes
0
answers
103
views
Dimension of the intersection of the commuting variety with a particular subspace
Let $\mathcal C$ denote the commuting variety of pairs of matrices in $M_n(\mathbb{C})$, defined as:
$$
\mathcal C = \{ (A, B) \in M_n(\mathbb{C})^2 \mid [A, B] = 0 \}.
$$
It is well known that $\...
- 2,368
0
votes
1
answer
115
views
Bounding $(\int_{S^1}\left|\partial_r u(r\omega)\right|^2 d\omega)^{1/2}$ with $(\iint \frac{|u(x)-u(y)|^2}{|x-y|^{2+2s}} dxdy)^{1/2} $?
The following inequality is trivially true
$$\left(\int_{S^1}\left|\frac{\partial u}{\partial r}(r\omega)\right|^2 d\omega\right)^{1/2} \le \left(\int_{S^1}\left|\nabla u(r\omega)\right|^2 d\omega\...
CommunityBot
- 1
-3
votes
0
answers
150
views
A presentation for the group $GL(n,\mathbb{Z}_p)$
Let $n\ge 2$. Let $p$ be a prime and $\mathbb{Z}_p$ denote the finite field with $p$ elements.
I want to know about the presentation for the group $GL(n,\mathbb{Z}_p)$ consisting of its generators and ...
- 103
7
votes
1
answer
492
views
Invertibility of a matrix defined using inner product
Let $n,m \geq 1$. We fix $n$ distinct vectors $x_1, ... , x_n \in \mathbb{R}^m$. We define $A \in \mathbb{R}^{n\times n}$ as
\begin{equation}
A_{ij} = x_i^T \left(n x_j - \sum_{1 \leq k \leq n} x_k \...
- 3
0
votes
1
answer
546
views
Orlicz–Sobolev spaces
Let $A$ be an N-function and suppose that
$$\int^{+\infty}_1\frac{A^{-1}(\tau)}{\tau^{1+\frac{1}{n}}}d\tau=+\infty. $$
We denote by $\widehat{A}$ an N-function equal to $A$ near infinity and $\widehat{...
CommunityBot
- 1
2
votes
1
answer
431
views
Density of $w^*$-support points
I am looking for a simple proof of the following theorem — wasn't able to come up with one myself. Should be a use of the Bishop–Phelps theorem, in some way:
Let $X$ be a Banach space, $D \subset X^*$ ...
CommunityBot
- 1
3
votes
0
answers
91
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
- 1,101
5
votes
2
answers
634
views
Reference request: continuity of Cholesky factor
It most books dealing with Cholesky decomposition, or it is variants, one finds a statement of the form if $A$ is symmetric $k\times k$ positive semi-definite (non-negative definite) then the $k\times ...
- 188k
2
votes
0
answers
227
views
A deceptively simple regularity problem for functions on the plane
By various meanderings and toying with simpler problems, my current research has lead me to the following quite straightforward question, which I am wholly unable to answer:
Consider a twice ...
- 989
2
votes
0
answers
79
views
Function that is (essentially) a self-convolution but not a multiple of a self-convolution
Call a function $F:\mathbb{R}\to C$ nice if it is of the form $F = f\ast \tilde{f}$, where $\tilde{f}(x) = \overline{f(-x)}$. (Of course nice functions are precisely those whose Fourier transform is ...
- 20.2k
2
votes
2
answers
215
views
How to analyze the value of convergence of functions of random matrices?
Consider a random i.i.d matrix $\mathbf{A}_{m\times n}$ with entries generated from a complex Gaussian distribution with zero mean and unit variance. I am interested in the large dimension analysis of ...
CommunityBot
- 1
1
vote
1
answer
294
views
Regarding subspace generated by the polynomial multiples of outer functions
Let $\mathbb{D}$ and $\mathbb{T}$ denote the open unit disk and unit circle in $\mathbb{C}$ respectively. We write $Hol(\mathbb{D})$ for the space of all holomorphic functions on $\mathbb{D}.$ The ...
CommunityBot
- 1
8
votes
1
answer
361
views
Eigenvalues of a certain combinatorially defined matrix
Let $A_n$ be the matrix whose rows and columns are indexed by pairs
$(i,j)$ with $1\leq i,j\leq n$ and $i\neq j$ (so $A$ is an
$n(n-1)\times n(n-1)$ matrix), whose $((i,j),(k,l))$-entry is 0 if
$i=k$ ...
- 602
2
votes
1
answer
143
views
Inequality for hermitian matrices
Let $p_1$ and $p_2$ be a complete system of orthogonal projections on $\mathbf R^n, n \geq 2$ (i.e., $p_i^2=p_i=p_i^*$ and $p_1+p_2=\bf{1}$) and $S_1, S_2$ be two hermitian operators such that $S_i \...
- 73
0
votes
1
answer
124
views
Inequality for commuting hermitian operators
Let $p_1$ and $p_2$ be a complete system of orthogonal projections on $R^n$, $n\geq 2$ (i.e., $p^2_i=p_i=p^*_i$ and $p_1+p_2=\bf{1}$) and $S_1,S_2$ be two commuting hermitian operators on $R^n$ (i.e., ...
- 109k
12
votes
1
answer
394
views
Is $X\times X$ homeomorphic to $X$ for a space of probability measures?
Let $\mathcal M_1(S)$ be the (compact, metrizable) space of probability Borel measures on the circle $S=\{z\in\mathbb C: |z|=1\}$ with its weak $*$ topology, so $\mu_n\to\mu$ if and only if
$$
\int_S ...
- 4,461
0
votes
0
answers
46
views
Amenability of locally convex algebras
Let $A$ be an amenable Banach algebra, and let $A_w$ denote $A$ with the weak topology. Clearly, $A_w$ is a Hausdorff locally convex algebra (l.c.a.).
Q0: Is $A_w$ amenable as a l.c.a. in the sense ...
- 2,605
0
votes
1
answer
158
views
Weak convergence of $f(x,e^{itx})$
This is the desired result (what I want to prove):
$$f(x,e^{itx})\overset{t\to\infty}{\rightharpoonup}\frac{1}{2\pi i}\oint_{|z|=1}\frac{1}{z}f(x,z)dz \tag{1}$$
Given that $f\in C([a,b]\times\{e^{i\...
- 233
4
votes
1
answer
195
views
Asymptotic spectrum of a complex Sturm-Liouville differential operator
Let $\varepsilon > 0$ and consider the (complex) Sturm–Liouville differential operator on $[0,1]$ given by
$$
\mathcal{L}_\varepsilon f(x) = \varepsilon^2 f''(x) + i V(x) f(x),
$$
with Neumann ...
CommunityBot
- 1
2
votes
0
answers
59
views
Tensor product of two transcendental flat algebras is not a field?
I'm considering the correctness of the following assertion, which is related to linear disjointness (I'm trying to generalize it to subalgebras), What does "linearly disjoint" mean for ...
- 173
1
vote
0
answers
85
views
Density of a subset of Schwartz space in the fractional Sobolev space
It is known that the Schwartz space $\mathcal{S}(\mathbb{R}^N)$ is dense in the fractional Sobolev space $H^s(\mathbb{R}^N)$, (where $0<s<1$), as $C_{c}^{\infty}(\mathbb{R}^N) \subset \mathcal{S}...
4
votes
2
answers
871
views
Decay of eigenfunctions for Laplacian
Consider the discrete second derivative with Dirichlet boundary conditions on $\mathbb C^n$.
Its eigendecomposition is fully known:
see wikipedia
It seems like the largest eigenvalue $\lambda_1$ is ...
CommunityBot
- 1
1
vote
1
answer
145
views
Prove or disprove that the matrix equation of the form $AX+XA^{-T}=0$ has a nonsingular anti-symmetric solution $X$
I’m trying to prove that for $A=J_n(i)$, that is, the Jordan block matrix corresponding to the eigenvalue $i$ of size $n$, where $n$ is even, the matrix equation $AX+XA^{-T}=0$ has a nonsingular anti-...
CommunityBot
- 1
9
votes
1
answer
158
views
Eigenfunctions of the Laplace–Beltrami operator on the coadjoint orbit of $\mathfrak{su}(n)$
$\DeclareMathOperator\SU{SU}$For $\mathfrak{su}(2,\mathbb{C})$, the generic coadjoint orbit is $\mathbb{S}^2$, and the Laplace–Beltrami operator on it is given by
$$
\Delta \equiv \frac{1}{\sin\theta} ...
- 195
4
votes
0
answers
90
views
Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 835
1
vote
1
answer
151
views
Is smoothness preserved under an isometric isomorphism?
Let $(X, \|.\|_1)$ is isometrically isomorphic to $(X, \|.\|_2)$ and $\|.\|_2\leq \|.\|_1$. Assume that $x_0$ is a smooth point of $(X, \|.\|_1)$ and $\|x_0\|_2=1$. According to the definition of a ...
- 128k
-5
votes
1
answer
86
views
Why is the second order correction to energy zero for a fully degenerate eigensystem? [closed]
Consider the system given by,
$$ H|n\rangle = E|n\rangle$$
where:
$H$ is the hamiltonian.
$|n\rangle$ is the eigenstate.
$E$ is the energy of the eigenstate.
Using degenerate perturbation theory and ...
- 1,554
2
votes
0
answers
63
views
Bessel spaces and Triebel Lizorkin
It is known that bessel potential spaces $H^{s,p}$ coincide with Triebel-Lizorkin spaces $F^{s}_{p,2}$ for $s\in \mathbb{R}$ and $1<p<\infty$. Im wondering what can be said por $p=1$ and $p=\...
1
vote
0
answers
58
views
duality of sobolev spaces. Representation of elements in the dual
I'm trying to understand $(W_0^{1,p} (Ω))^*=W_0^{-1,p^*} (Ω)$, and what a proper representation of its elements is. I understand the basics such as: if $f∈L^{p^*} (Ω)⇒f∈W_0^{-1,p^*}(Ω)$ and the ...
0
votes
0
answers
42
views
questions on stochastic kernels and pushforward operator
Let $f:X \rightarrow \Delta (Y)$ and $g:X \rightarrow \Delta (X)$ be two kernels. For any bounded measurable function $h_Y:Y \rightarrow \mathbb{R},$ define $F(h_Y):X \rightarrow \mathbb{R}$ such that ...
- 1
2
votes
1
answer
236
views
Self-adjointness of generator and semigroup of an SDE
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 6,696
4
votes
2
answers
206
views
Normalizers of the principal congruence subgroups in $\mathrm{GL}(n,\mathbf Q)$
A question quite similar to this question. Let $n \geqslant 3$ and $m \geqslant 2$ be natural numbers and suppose that a matrix $A \in \mathrm{GL}(n,\mathbf Q)$ normalizes the principal congruence ...
- 148k
0
votes
0
answers
90
views
How to show a point is a weak* -weak continuous for the identity map on $X_1^*$ or on $X_1^{**}$?
I am trying to understand the Remark 3.2 mentioned in the paper titled as "On Weak*
-Extreme Points in Banach Spaces" written by S. Dutta and T. S. S. R. K. Rao (http://library.isical.ac.in:...
- 113
7
votes
1
answer
959
views
a claim for a proof of the invariant subspace problem [closed]
Recently four mathematicians claimed to have proven the invariant subspace problem, which is the problem that states
Does every bounded operator on a separable Hilbert space have a non-trivial ...
- 12.6k
1
vote
1
answer
379
views
Creating an inverse system which "stratifies density"
Setting:
Let $X'$ be a dense subset of an infinite-dimensional Fréchet space $X$ and suppose that $(X_n')_{n \in \mathbb{N}}$ is a nested sequence of non-empty subsets of $X'$ satisfying
$$
\bigcup_{n ...
CommunityBot
- 1
0
votes
0
answers
46
views
max eigenvalue and schatten-1 norm of depolarizing channel acting on trace-0 Hermitian matrix
Denote $\mathcal{H}^n$ as the $n-$dimension Hermitian matrices. Depolarizing channel $\Delta_p:\mathcal{H}^2\to\mathcal{H}^2$ is defined as $\Delta_p(A)=p\text{ tr }(A)~I/2+(1-p)A$ where $A\in \...
- 91
2
votes
1
answer
605
views
Strong convergence of differential quotient in $L^2(0,T;V^*)$
I have got a problem regarding the weak differentiability of Bochner-integrable functions. Let $(V,H,V^*)$ be a Gelfand-triple and
\begin{align*}
w \in W(0,T) := \{w\in L^2(0,T;V) ~\vert~ \exists w' \...
CommunityBot
- 1