Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
3 answers
236 views

An uncountable measurable subset of $\Bbb R$ containing no nonempty perfect set

$\newcommand\R{\Bbb R}$Assuming the axiom of choice, is there an uncountable Lebesgue-measurable subset $S$ of $\R$ that contains no nonempty perfect set? Of course, such a set $S$, if it exists, ...
Iosif Pinelis's user avatar
1 vote
0 answers
27 views

Vertex coloring of the Rado graph

Is there a reference for the following fact about the Rado graph (the random countable graph) which came up in an answer to this question? If the vertices of the Rado graph $G=(V,E)$ are colored with ...
bof's user avatar
  • 13.4k
-3 votes
0 answers
66 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 ...
HZA's user avatar
  • 1
2 votes
0 answers
104 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{...
H A Helfgott's user avatar
  • 20.2k
0 votes
0 answers
64 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 ...
Jens Fischer's user avatar
3 votes
0 answers
73 views

While expanding Jack polynomials in monomial basis

Denote $\mathbf{z}=(z_1,\dots,z_n)$. Let $P_{\kappa}(\mathbf{z};\alpha)$ be the symmetric Jack polynomials and suppose they are expanded in terms of the monomial symmetric basis $m_{\rho}(\mathbf{z})$ ...
T. Amdeberhan's user avatar
1 vote
0 answers
38 views

Can conditional distributions with respect to a sufficient sub-$\sigma$-algebra be represented by a single Markov kernel?

Let $(\Omega, \mathcal{F})$ be a measurable space, and let $\mathcal{P}$ be a collection of probability measures on this space. A sub-$\sigma$-algebra $\mathcal{G} \subset \mathcal{F}$ is said to be ...
MrTheOwl's user avatar
  • 111
1 vote
0 answers
61 views

Reference request: Proof theory in $W_1^1$

Buss defined $V_2^1$​ as a second-order bounded arithmetic corresponding to $\mathsf{PSPACE}$. Later, Skelley introduced $W_1^1$​, a third-order bounded arithmetic of $\mathsf{PSPACE}$. Since the ...
palala's user avatar
  • 11
7 votes
1 answer
301 views

Fibers of generic smooth maps between manifolds of equal dimension

I have heard that the following is a "well-known" Claim. Let $M$ and $N$ be smooth manifolds with equal dimensions and $M$ compact. Then a generic smooth map $f\colon M\to N$ has finite ...
Matthew Kvalheim's user avatar
0 votes
0 answers
33 views

Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter

I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
Learning math's user avatar
4 votes
1 answer
273 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:\...
H A Helfgott's user avatar
  • 20.2k
2 votes
1 answer
70 views

Coradical filtration for comodules is exhaustive

It is a standard fact in the theory of coalgebras and comodules that, given a coalgebra $C$ and a comodule $M$ over $C$, the coradical filtration $$M_n := \Delta^{-1}(M\otimes C_0 + M_{n-1}\otimes C)$$...
Aidan's user avatar
  • 518
3 votes
0 answers
90 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\}, $$ ...
Guy Fsone's user avatar
  • 1,101
3 votes
0 answers
82 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....
Ran's user avatar
  • 73
2 votes
0 answers
77 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 ...
H A Helfgott's user avatar
  • 20.2k
1 vote
0 answers
53 views

Description of all biholomorphic maps from annulus [duplicate]

Consider the collection $\mathcal{C}$ of all maps $f \colon B_1 -\overline{B}_\beta \to \mathbb{C}$ such that $f$ is biholomorphic onto its image. Is this collection $\mathcal{C}$ path-connected? In ...
Jinyang wu's user avatar
3 votes
1 answer
163 views

Theory of $n$-truncated $A_\infty$ categories/functors?

One can define certain higher categorical truncations. For example, a discussion from the quasi-categories point of view can be found in HTT 5.5.6. On the other hand, as a model of linear $\infty$-...
Bingyu Zhang's user avatar
2 votes
0 answers
224 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 ...
vmist's user avatar
  • 989
2 votes
0 answers
49 views

Reference on eigenvectors of $-\Delta $ with boundary conditions on $\Omega$

Let $\Omega\subset\mathbb R^d$ be a compact and connected subset with smooth (or piecewise smooth) boundary denoted by $\partial \Omega$. Let $\Gamma^+, \Gamma^- \subset\partial \Omega$ be such that $$...
Fawen90's user avatar
  • 1,389
1 vote
0 answers
169 views

Where can I find the book Haïm Brezis: Un mathématicien juif by Jacques Vauthier?

This year marks the passing of Haïm Brezis, and I would like to explore his life and work through this publication. I tried to find it in several bookstores, in online format, but I really couldn't ...
Math's user avatar
  • 509
1 vote
1 answer
178 views
+50

On a probabilistic integer factorization algorithm given bounds for one prime factor

We got a probabilistic integer factorization algorithm and experimental evidence with large integers given bounds for one factor. Let $D \ge 2$ be real number and let $p,q$ be primes and $N=pq$. ...
joro's user avatar
  • 25.4k
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 ...
Christian Remling's user avatar
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 ...
Qualearn's user avatar
  • 133
3 votes
2 answers
146 views

Vector bundles over a Stein space are projective

It is a "well known" fact that locally free sheaves over a Stein space $X$ are projective as $\mathcal{O}_X$-modules (see e.g. just after Lemma 1.6 in O'Brian-Toledo-Tong's "The trace ...
Tim's user avatar
  • 1,109
3 votes
0 answers
90 views

References on smoothness of minimal surfaces in Riemannian manifolds

It's well known that $C^1$ minimal surfaces (surfaces that are locally area minimzing) in $\mathbb{R}^n$ are automatically smooth, and one can prove this result by solving the Dirichlet problem of the ...
gaoqiang's user avatar
  • 438
0 votes
1 answer
157 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\...
Quý Nhân's user avatar
9 votes
1 answer
292 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 ...
Dima Roytenberg's user avatar
2 votes
1 answer
128 views

Reference request for elementary convex geometry property

I need to use the following lemma for a proof. It is an elementary result, which I am sure is well known, just I am not familiar enough with the relative literature to find a direct reference. Is ...
ECL's user avatar
  • 345
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 ...
Onur Oktay's user avatar
  • 2,605
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}...
Nirjan Biswas's user avatar
10 votes
1 answer
368 views

Reference request: The non-productivity of Lindenbaum numbers

For a set $X$, the Lindenbaum number of $X$, $\aleph^*(X)$, is the least non-zero ordinal $\alpha$ such that there is no surjection $X\to\alpha$. It seems to be well-known that for infinite sets $X$ ...
Calliope Ryan-Smith's user avatar
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 ...
Tuh's user avatar
  • 113
3 votes
0 answers
104 views

Jacobian of a reducible curve with arbitrary singularities

Let X be a reduced, reducible curve over $\mathbb{C}$ with locally planar singularities, and let $\widetilde{X}$ be its normalization. I am interested in the Jacobian varieties $\mathrm{Jac}(X)$ and $\...
Grotherd's user avatar
2 votes
0 answers
62 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=\...
Guillermo García Sáez's user avatar
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 ...
Alucard-o Ming's user avatar
1 vote
0 answers
263 views

Are there connections between Calabi-Yau manifolds and number theory?

I am interested in understanding whether there are any significant connections between Calabi-Yau manifolds and number theory. Calabi-Yau manifolds are central objects in algebraic geometry and string ...
Abdullah M Al-jazy's user avatar
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 ...
andy's user avatar
  • 1
4 votes
0 answers
61 views

Bicategories in which the composition functors $\circ_{A, B, C}$ admit right adjoints

In Bénabou's 1967 Introduction to Bicategories, he mentions that, in a forthcoming part II, he would study bicategories $\mathcal K$ in which each composition functor $$\circ_{A, B, C} \colon \mathcal ...
varkor's user avatar
  • 10.6k
3 votes
0 answers
76 views

Reference Request: Pushforward of $\pi_1$ along a covering map and the Galois group

Let $f \colon (Y,y_0) \to (X,x_0)$ be a finite-to-one pointed covering map. The pushforward gives an inclusion $f_* \colon \pi_1(Y,y_0) \to \pi_1(X,x_0)$. If we take the universal cover $\widetilde{X}$...
Jon Aycock's user avatar
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}{\...
Akira's user avatar
  • 835
2 votes
0 answers
124 views

Generalization of Koszul cohomology for wedge product with a fixed q-form: literature and references?

Let $A$ be a commutative ring. For an odd positive integer $q$ and an integer $p$ in the range $1 \leq p \leq q$, consider the cochain complex: $0 \to \Lambda^p(A^N) \to \Lambda^{p+q}(A^N) \to \cdots \...
user47660's user avatar
4 votes
1 answer
214 views

Reference request: Algebras over monoid objects in a monoidal category [duplicate]

Looking for a reference for the following easy-to-prove fact: Say $T$ and $S$ are monads on $\text{Set}$ admitting a monoid homomorphism $\phi : S \to T$ (i.e., a morphism in $\text{Mon}([\text{Set},\...
ari rosenfield's user avatar
3 votes
0 answers
87 views

Linearization coefficients for Jacobi polynomials

In general, for families of polynomials $\{ Q_n\}, \{ R_n\},\{S_n\}$, there exist linearization coefficients such that one may write the product $Q_m R_n = \sum_k c_{m,n}^k S_k$. Let $P^{\alpha,\beta}...
Jonathan J.'s user avatar
2 votes
1 answer
147 views

Lower bound in the singularity of random Bernoulli matrices

Let $A_n$ be a random $n \times n$ matrix with entries in $\{-1, +1\}$. As usual, "random" here means with respect to the uniform measure over such matrices. The strong version of the ...
Drew Brady's user avatar
7 votes
2 answers
337 views

Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$

I am looking for proof of the "well-known" result that for a $4$-dimensional Riemannian manifold $(M, g)$, we have an isomorphism $$ \operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \...
S.T.'s user avatar
  • 113
1 vote
0 answers
44 views

Lower bound for restricted sumset in ordered groups

Recently in The restricted sumsets in finite abelian groups it is proved that Suppose that $k \geq 2$ and $A$ is a non-empty subset of a finite abelian group $G$ with $|G| > 1$. Then the ...
navashree chanania's user avatar
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:...
Tuh's user avatar
  • 113
4 votes
0 answers
179 views

Recognize this metric? Do you have a name for this metric on the product of spheres?

Take the product $S^2 \times S^2$ of two two-spheres, but perturb the product metric as follows. Think of each $S^2$ as the unit two-sphere in Euclidean 3-space in the standard way so that for $p ...
Richard Montgomery's user avatar
0 votes
1 answer
124 views

Holomorphic functions of certain blow up at origin

Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
Ali's user avatar
  • 4,135
1 vote
0 answers
146 views

integral over the unit sphere of $\Bbb C^n$

Please, is there a way to calculate this integral $$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$ where $ z $ is a fixed point in the complex unit ball ...
zoran  Vicovic's user avatar

1
2 3 4 5
478