Bountied questions
14 questions with bounties
1
vote
1
answer
182
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$.
...
- 25.4k
12
votes
1
answer
588
views
+200
Fundamental group of the complement of a codimension two submanifold
Let $M$ denote an arbitrary smooth, closed, connected, n-dimensional manifold for $n\geq 4$. For every such $M$, does there exist a closed (not necessarily connected!) codimension two submanifold $S \...
- 1,174
3
votes
0
answers
88
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
11
votes
0
answers
325
views
+50
Sobolev's PDE Scottish Book Problem (Problem 188)
In 1940 Sobolev recorded the following problem in the Scottish Book, and offered a bottle of wine for a solution.
In 2015, when the second edition of the Scottish Book with updates and commentary on ...
- 13k
0
votes
0
answers
89
views
+100
Uniqueness of bubbling points in Struwe's global compactness theorem
I am reading the following paper of Struwe in which he proves the following result:
Proposition 2.1:
Let $n\geq 3$, $\lambda \in \mathbb{R}$ and $\Omega$ be a smoothly bounded domain in $\mathbb{R}^{n}...
- 537
12
votes
0
answers
241
views
+50
Is there a decidable theory of arithmetic with a non-collapsing quantifier hierarchy?
This question is very close to this old MSE question of mine, which is still unanswered.
Is there an (ideally reasonably-natural!) expansion of the structure $(\mathbb{N};+)$ in a finite language ...
- 20.5k
2
votes
0
answers
97
views
+100
Inequalities for norm of centered Gaussian and uncentered Gaussian
Let $g$ denote a standard Gaussian vector in $\mathbb{R}^n$, and $\|\cdot\|$ a norm.
Let $x \in \mathbb{R}^n$ and define
$$
F(x) = \mathbb{E}[\|x + g\| - \|g\|].
$$
I am wondering if it is possible to ...
- 380
2
votes
0
answers
55
views
+50
Local Lipschitz continuity of signature map $S:C^{1-\text{var}}([0,T],\mathbb{R}^d) \to \mathcal{H}$
Just came across the claim that the signature map (between path space and tensor space) is locally Lipschitz continuous with respect to the $1-$variation norm (see section A.2.1).
More specifically, ...
- 161
8
votes
0
answers
254
views
+300
Maps with small fibers between manifolds of equal dimension
The following question is an attempt to revise this one into what I intended.
Important revisions are shown in bold.
Are there any known examples of a compact Riemannian manifold $M$ with (possibly ...
- 501
20
votes
0
answers
3k
views
+200
What does a product of many Gaussian matrices converge to?
Let $A$ be a product of $n$ $d\times d$ matrices with IID standard Gaussian entries and consider the value of $g(x)=x f(x)$ where $f(x)$ is the density of squared singular values of $A/\|A\|$.
Is ...
- 2,252
21
votes
0
answers
764
views
+300
Snakes on a plane
A sleeping bag for a baby snake in $d$ dimensions (no, really) is a subset of $\mathbb{R}^d$ which can cover (via translation and rotation) every (piecewise-smooth for concreteness) curve of unit ...
- 20.5k
3
votes
1
answer
122
views
+50
Order of $\mathbb{E}[ \max_i |x_i + z_i| - \max_i |z_i|]$
Let $z_1, \dots, z_n$ be iid standard Normal, and let $x \in \mathbb{R}^n$. Put $\|u\|_\infty = \max_i |u_i|$.
Define
$$
F(x) = \mathbb{E}\Big[\|x + z\|_\infty - \|z\|_\infty\Big]
$$
If $\|x\|_\infty \...
- 380
4
votes
0
answers
118
views
+50
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 $\...
- 259
3
votes
0
answers
85
views
+100
Can I get a spherical coordinate from a real cocycle?
The Setting
I am currently working on a project in Topological Data Analysis (TDA), where I aim to construct a density-robust spherical coordinate associated with a dataset $X$, sampled from a ...
- 71