All Questions
4,447 questions with no upvoted or accepted answers
4
votes
0
answers
457
views
Quantum sheaves
Are the following definitions known?
Consider H a Hilbert space. A "quantum topology" on H is a set Sigma of closed subspaces satisfying the following conditions:
(a) {0} and H lie in Sigma
(...
- 1,368
4
votes
0
answers
102
views
quasinilpotence and finite spectrum II
Let A be a quasinilpotent operator on a Hilbert space and let every
operator of the algebra generated by $A$ and $A^{*}$ have finite
spectrum. Does then follow, that A is nilpotent ?
See also ...
- 2,753
4
votes
0
answers
137
views
Does this property of scattered spaces have a name?
(Note: I asked this question at MSE a week ago and received no answer, so I am now reposting it here.)
Let $K$ be a (Hausdorff) scattered topological space and for each ordinal $\alpha$ denote by $K^{...
- 2,378
4
votes
0
answers
238
views
dimension of induced comodule
Let $\pi : G \to H$ be epimorphism of Hopf superalgebras, where $G$ be an quantum super group of function on $GL(m|n)$, $H$ be an quantum group of function on $GL(m) \otimes GL(n)$; $W$ an finite ...
- 41
4
votes
0
answers
189
views
Boundedness criterion for operators on mixed Lebesgue spaces
Define the mixed Lebesgue space $l_{p,q}$ as the space of all doubly indexed sequences
${\bf a}= (a(i,j))_{i,j\in\mathbb{Z}}$ such that
...
- 979
4
votes
0
answers
257
views
A matrix minimisation problem
Feel free to edit the title!
Suppose A is a C*-algebra and $a,b\in A$ are self-adjoint. I'd be very happy with A being just $n\times n$ matrices.
Question: If there are $t\in\mathbb R$ and $\...
- 18.7k
4
votes
0
answers
940
views
Proofs of Baire category theorem
I would like to have a list of proofs of the fact that the real line is not meager (also very useful would be a reference to such a list, if it already exists somewhere).
My motivation is the ...
- 315
4
votes
0
answers
355
views
Terminology for topological base closed under intersection?
Is there an established or well justified terminology for a topological base that is closed under finitary intersections?
As motivation, recall these conditions on a collection of subsets of a given ...
- 2,754
4
votes
0
answers
487
views
Convolutions and Toeplitz Operators
Let be $d>0$ an integer number and consider the Cartesian product $\mathbb Z^d$ as metric space, with the distance between $x,y\in\mathbb Z^d$ given by $\|x-y\|_1=\sum_{j=0}^d|x_j-y_j|$.
Let be $...
- 2,044
4
votes
0
answers
296
views
What is enough to conclude that something is a CW complex (part II)?
A while ago I asked a question about recoqnizing CW complexes and got an extremely nice and concrete answer. However, I am still interested in a more general treatment of this and therefore pose the ...
- 2,590
4
votes
1
answer
2k
views
Norm of convolution operator
By Young's inequality for any $f\in L^p(\mathbf{R})$ the map $T_f:g\mapsto f\star g$ is a continuous operator from $L^q(\mathbf{R})$ to $L^r(\mathbf{R})$ where $1\leq p,q,r\leq \infty$ satisfy $1+\...
- 3,425
4
votes
1
answer
479
views
"monotone" homotopy?
This is a question about a concept that I call "monotone homotopy" which arises in a natural way in some topological situations.
Let $X$ be a (bounded) metric space, $Y$ be a topological space and $A\...
- 101
3
votes
0
answers
54
views
Does there exist a multi-valued "monotone" and "compact" map from a Boolean algebra to the "free" part of $\mathcal{P}(\kappa)$?
This is a follow-up to my previous question, which has a negative answer. Here is the most general version that I'm interested:
Does there exist a Boolean algebra $A$, an infinite cardinal $\kappa$, ...
- 2,830
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
3
votes
0
answers
89
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....
- 73
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
3
votes
0
answers
78
views
Lipschitz retraction constant of $B^+$ into $S^+$ in $L^2([0,1])$
In Hilbert space modeled by $L^2([0,1])$ we can define a set $B^+=\{x\in B(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ and $S^+=\{x\in S(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ where where $B(...
3
votes
0
answers
159
views
Gowers' dichotomy for quotients
Gowers' dichotomy establishes that every infinite dimensional Banach space contains a closed infinite dimensional subspace that has an unconditional basis or it is hereditarily indecomposable.
A ...
- 4,461
3
votes
0
answers
96
views
Commutator of $A\otimes I$ and $I \otimes B$ vanishes?
Consider two Hilbert spaces $H_1$ and $H_2$, and $A$, $B$ unbounded operators on $H_1$, $H_2$ respectively. $(A \otimes I)$ is classically defined as the closure of the operator defined on the set of ...
- 31
3
votes
0
answers
155
views
Colimits in commutative Banach algebras?
Let $K$ be a complete non-Archimedean field. It is known that the category $\mathrm{Ban}_K$ of $K$-Banach spaces with bounded linear maps does not have infinite colimits. The usual argument for $\...
- 426
3
votes
0
answers
122
views
Analytic functions and Hyperfunction as TVS
I have several related questions on Analytic functions and Hyperfunction as topological vector spaces (I am mainly interested in questions 4,6,10):
For an open set $U\subset \mathbb C^n$ we can ...
- 2,649
3
votes
0
answers
77
views
Can we generalize the Kuratowski Extension Theorem to Souslin spaces?
The Kuratowski Extension Theorem says: Let $(X,\mathcal{A})$ be a measurable space, $Y$ be a polish space, $A\subseteq X$, and $f:A\to Y$ be a measurable map. Then there is a measurable function $F:X\...
- 649
3
votes
0
answers
130
views
A Talagrand inequality for the supremum of partial sums over function classes under dependence. (Reference request)
As a consequence to the Talagrand concentration inequality, it is well known that for a measurable space $(S,\mathcal{S})$ and an i.i.d. sample $X_1,...,X_n$ of $S$-valued random variables, if $\...
- 141
3
votes
1
answer
159
views
Upper and lower bounds for a Rademacher-type expectation
Suppose that $\varepsilon_i$
are independent Rademacher random variables
(that is,
$
\mathbb{P}(\varepsilon_i=-1)
=
\mathbb{P}(\varepsilon_i=1)
=1/2
$.
Fix an $a\in\mathbb{R}^n$
and define the random ...
- 6,541
3
votes
0
answers
196
views
Parabolic smoothing for semilinear PDE
Consider the semilinear energy-critical parabolic PDE in $\mathbb{R}^3$
\begin{align}
\partial_t u &= \Delta u + |u|^{4/(n-2)}u = \Delta u + u^5\\
u(0,x) &= u_0\in \smash{\dot{H}}^1(\mathbb{R}^...
- 537
3
votes
0
answers
101
views
A problem on the box topology
Let $S$ be a set and let $\mathbb{R}$ be the real number set with the usual topology.
Define
$$\mathbb{R}^{S}_f=\{t\in \mathbb{R}^S\mid t(s)=0 \mbox{ except for finitely many } s\in S\}. $$
Consider ...
- 123
3
votes
0
answers
94
views
Pseudocompactness, countable compactness and locally finite open covers
Let $(P_1)$ be the property: Every locally finite open cover of $X$ has finite subcover.
Let $(P_2)$ be the property: Every locally finite open cover of $X$ is finite.
Let $(P_3)$ be the property: ...
- 1,211
3
votes
0
answers
145
views
What is an example of a non-tight probability measure?
Billingsley (Convergence of Probability Measures, 1968) and van der Vaart and Wellner (Weak Convergence and Empirical Processes, 2023) discuss the concept of tight probability measures and use the ...
- 277
3
votes
0
answers
93
views
Finiteness of non-orientable 3-manifolds with the same orientable two-fold cover
Given a compact, orientable and boundary incompressible 3-manifold $M$. Suppose that either $M$ is closed, or $\partial M$ consists of tori.
For which non-orientable 3-manifolds $N$, the orientable ...
- 605
3
votes
0
answers
108
views
A question on essentially self-adjoint differential operators of the type $\Delta=D^{\ast}D$
Let $(M,g)$ be a smooth (connected, complete, oriented) Riemannian manifold and let $D:C^{\infty}(M)\to C^{\infty}(M)$ be a linear partial differential operator, which I view as an operator in $L^{2}(...
- 1,171
3
votes
0
answers
118
views
Which sigma-ideals in a sigma-algebra are contained in an ideal of null sets?
Let $X$ be a Polish space and $\mathcal{B}(X)$ be the $\sigma$-algebra of Borel subsets of $X$. Given a Borel probability measure $\mu$ on $X$, we write $\mathcal{N}(\mu) := \{ B \in \mathcal{B}(X) : \...
3
votes
0
answers
90
views
Sobolev embedding on a compact manifold without boundary
I am reading M. E. Taylor, "Partial Differential Equations III", Second Edition, Springer-Verlag, New York, (1996).
In chapter 13, section 2, in Prop. 2.3 and Prop. 2.4, one finds the ...
- 311
3
votes
0
answers
53
views
Bounds on Besov norms for mollification of a bounded Lipschitz function
Let $\Omega$ be a bounded, non-empty, regular open domain in $\mathbb{R}^d$. Let $1\le p,q\le \infty$ and $s>0$. Let $\mathcal{B}_{p,q}^s(\Omega)$ be the Besov space on $\Omega$ corresponding to ...
3
votes
0
answers
90
views
Versions of the Fréchet–Urysohn property
Recall that a topological space is called Fréchet–Urysohn if every convergent net contains (as a set) a sequence, which is convergent to the same limit. I want to refine this property as follows.
Let $...
- 5,529
3
votes
0
answers
165
views
$S^{n}(V)$ is "approximately" $V$ when $n$ goes to infinity (in the setting of normed space)
Let $B$ be a (separable) Banach space. $(v_{i})_{i}, i\in\mathbb{N}$ being a family of linear independent vectors. $V$ being the span of $v_{i}$. I try to prove that $V$ is dense in $B$. I define a ...
- 523
3
votes
0
answers
129
views
Topological interpretation of the existence part of the valuative criterion for properness
Let $X$ be a complex analytic space. I am trying to understand if there is a topological counterpart to the existence part of the valuative criterion for properness. The latter reads: every (ADDED: ...
- 283
3
votes
0
answers
58
views
Infinitesimal generators of random evolutions
Consider two state spaces $X$ and $Y$ and infinitesimal generators of Markov processes $(A_y)_{y\in Y}$ and $B$, on $X$ and $Y$ respectively. We assume that $A_y$ share the same domain $D(A)$, and ...
- 31
3
votes
0
answers
116
views
On a functional equation of Mahler?
Recently, I was trying to introduce the concept of natural boundaries to a fellow math student, and what greater way to do this than using an example? In particular, I tried to use as an illustration, ...
- 131
3
votes
0
answers
69
views
Perturbation of one-parameter groups of unitary operators
Let $H$ be a Hilbert space and let $h$ be a fixed, densely defined, possibly unbounded, self-adjoint operator on $H$. Letting $B(H)$ denote the space of all bounded operators on $H$, it is well ...
- 2,263
3
votes
0
answers
167
views
Bounding the $L^{p*}$ norm from below for functions satisfying a $p$-capacity estimate
If $1 \le p < n$, the $p$-capacity of a compact set $A \subset \mathbb{R}^n$ with respect to an open set $U$ containing it is defined as $$\text{Cap}_p(A, U) := \inf \left\{\int_U |\nabla u|^p \, ...
3
votes
0
answers
148
views
Embeddings of Bochner-Sobolev spaces with second time derivative
NOTE: I also asked this question here in MSE.
In the weak theory of evolution PDEs, the Bochner-Sobolev spaces are frequently used. For $a,b \in \mathbb{R}$ and $X,Y$ banach spaces, we define these ...
- 91
3
votes
0
answers
119
views
The topological entropy of potential space filling curves on the unit interval
By a potential space filling curve we mean a continuous function $f:[0,1]\to [0,1]$ such that there is a continuous surgective function $g:[0,1]\to [0,1]^2$ with $f=\pi_1 \circ g$ where $\pi_1$...
- 366
3
votes
0
answers
159
views
A question regarding weak Whitney embedding theorem
The weak Whitney embedding theorem states that any continuous map $f: D^n \to \mathbb{R}^{2n+1}$ (Let us focus on $D^n$ for this question) can be approximated (in $C^0$-norm) by embeddings. A counter ...
- 31
3
votes
0
answers
124
views
Injective envelope of B(H)
$B(\ell^2)$ is an injective operator system by a result of Arveson. However, $B(\ell^2)$ is not an injective Banach space, since it is not linearly isomorphic to a $C(K)$ space (for instance, $C(K)$ ...
- 2,605
3
votes
0
answers
104
views
Comparing unitaries which are perturbatively close
Let $\mathcal{H}$ be a Hilbert space and let $H_0$ and $H_1$ be two Hermitian operators on $\mathcal{H}$. Thinking of $H_1$ as a perturbation of $H_0$, the Duhamel formula allows us to write $e^{-...
- 452
3
votes
0
answers
152
views
Topological counterexample for M(K, Y1 × Z1) being a subbasis of the compact open topology of C(X,Y×Z)
We are trying to answer whether the following mapping is continuous and open
$$C(X, Y \times Z) \to C(X, Y ) \times C(X, Z)$$ (the topological spaces being provided with the compact-open topology). We ...
- 39
3
votes
0
answers
81
views
Mixing flow has aperiodic orbit?
Let $X$ be a compact connected metric space with more than one point.
Suppose that $H:X\times [0,\infty)\to X$ is continuous such that $h_0=H\restriction X\times \{0\}$ is the identity on $X$, and $h_{...
- 3,317
3
votes
0
answers
320
views
The curse of dimensionality of the Kolmogorov–Arnold neural network
The Kolmogorov–Arnold neural networks (KAN), Ziming Liu et al., KAN: Kolmogorov–Arnold Networks is inspired by the Kolmogorov–Arnold representation theorem (KA theorem). Though it is not proved in the ...
- 2,251
3
votes
0
answers
103
views
How wild is the maximal ideal space of the Fourier-Stieltjes algebra of the real line?
The Fourier-Stieltjes algebra of $\mathbb R$ is the set of all sufficiently nice measures on $\mathbb R$. The vector product is convolution of measures. By identifying each measure with its Fourier ...
- 1,955
3
votes
0
answers
60
views
What circumstances guarantee a p-adic affine conjugacy map will be a rational function?
Let $\Bbb Q_p$ be a p-adic field and let any element $x$ of $\Bbb Q_p$ be associated with a unique element of $\Bbb Z_p$ via the quotient / equivalence relation $\forall n\in\Bbb Z:p^nx\sim x$
Then in ...
- 308