Newest Questions
159,037 questions
4
votes
2
answers
588
views
Are singularities of complex varieties captured by topology?
Let $X \subseteq \mathbb{C}^n$ be an affine complex algebraic variety, with a singularity at some point $x.$ Let $U \subseteq \mathbb{C}^n$ be an open set containing $x$.
Can we determine if $x$ is a ...
- 813
2
votes
1
answer
177
views
An upper bound on coefficients of some integer sequences
Given $\lambda>0$ let $B=B(\lambda)$ be the smallest integer
such that there exist infinite integer sequences
having values in $\lbrace 1,2,\ldots,B-1,B\rbrace$ and satisfying
the following ...
- 17.9k
2
votes
0
answers
81
views
Degeneracy and the "Linear Degeneracy Testing" problem
The Affine Degeneracy problem is about deciding whether $n$ given points in $\mathbb{R}^d$ (or $\mathbb{Q}^d$) are "in general position". i.e. there is no $d+1$ tuple of points which lies in ...
- 153
2
votes
1
answer
226
views
Inductive Cholesky decomposition to prove that a function is positive definite over the natural numbers?
I am trying to prove that the function:
$$k(a,b):=\frac{1}{\operatorname{rad}\left ( \frac{ab}{\gcd(a,b)^2} \right )}$$
is a positive definite function over the natural numbers. What has sometimes ...
- 3,074
5
votes
1
answer
622
views
Picard-Lindelöf: "differentiable" instead of "Lipschitz"
The Picard–Lindelöf theorem states: if $U\subset\mathbb{R}^2$ is an open neighbourhood of $(0,0)$, and $f\colon U\to \mathbb{R}$ is continuous, and $f$ is Lipschitz continuous in the second parameter (...
- 890
9
votes
1
answer
426
views
Is there a known elliptic curve, $E/\Bbb{Q}$, such that the rank of $E_D/\Bbb{Q}$ is bounded by some constant $M$, for all integers $D \in \Bbb{Z}$?
Let $E/\Bbb{Q}$ be an elliptic curve defined over $\Bbb{Q}$.
Let $E_D$ be a quadratic twist of $E$ also defined over $\Bbb{Q}$.
Is there a known elliptic curve, $E/\Bbb{Q}$, such that the rank of $E_D/...
- 1,541
2
votes
1
answer
381
views
Lattices and noncommutative algebras in noncommutative geometry
This a question that I've asked in mathematics stack exchange without having received any response :
I am interested in the relation between lattices and noncommutative algebras in the context of ...
- 136
3
votes
1
answer
261
views
Prime gaps that are "relatively" bigger than all later prime gaps: Is this in OEIS?
This OEIS entry is about
Primes (lower end) with record gaps to the next consecutive prime: primes p(k) where p(k+1) - p(k) exceeds p(j+1) - p(j) for all j < k.
I'm wondering about a different ...
4
votes
1
answer
136
views
Longest paths and cycles in Steiner triple systems
A Steiner triple system is a 3-uniform hypergraph in which every pair of vertices is contained in exactly one edge. A linear cycle (also called loose cycle) length $t$ consists
of $2t$ cyclically ...
- 373
2
votes
1
answer
402
views
Irreducibility of Tate module (as a Galois representation) of elliptic curves with good reduction
This question is following the previous question.
Definitions:
Suppose $F$ is an unramified finite extension of $\mathbb Q_p$ and $E$ is an elliptic curve defined over $F$ with good reduction. Denote ...
- 785
2
votes
0
answers
116
views
Pollard's rho algorithm for ECDLP using supersingular elliptic curves over a field with characteristic equal to a Mersenne prime
I have been playing with Pollard's rho algorithm for elliptic curves over finite fields. I have noticed after some experimenting, that the algorithm almost always 'fails' for supersingular elliptic ...
- 121
4
votes
1
answer
203
views
weights of projections and norms of operators in a von Neumann algebra
Let $M$ be an atomless von Neumann algebra equipped with a (semifinite faithful normal) weight $w$. Let $x\in M$ and let $\varepsilon>0$.
Can we find a constant $\delta>0$ such that whenever a ...
- 617
7
votes
0
answers
168
views
An abelian category with a full embedding from topological abelian groups
I know this is a very vague question, but I can't think of a better question to ask.
Consider the category $\mathscr{C}$ of pro-sets created by diagrams containing only injections. The objects $A: \...
- 563
4
votes
0
answers
128
views
Looking for a generalization of fast Fourier transform form for Gauss sums
I want to compute quickly compute a sum of the form
$$\sum_{k=0}^{N}\sum_{l=0}^{M} e(g^{a^k*b^l})$$
Assume $a^N = b^M = 1$ modulo $q-1$.
Where $e(x) = e^{2\pi ix /q}$. This is very similar to the ...
- 591
3
votes
0
answers
167
views
A formal inquiry of geometric-problem solving
Let $\Lambda$ be a finite set. Let $\mathcal{L}$ be a finite collection of lines on a plane $X$. Then, define $X^*(\mathcal{L}) = \bigcup_{L_\alpha\neq L_\beta} L_{\alpha}\cap L_{\beta}$ to be the ...
11
votes
1
answer
417
views
Is an exponentiable fibration with contractible fibers a homotopy equivalence?
Question: Let $p : E \to B$ be an exponentiable functor of $\infty$-categories. Suppose that for every $b \in B$, the geometric realization of the fiber $|p^{-1}(b)|$ is contractible. Then does $p$ ...
- 64k
4
votes
0
answers
169
views
Square hidden number problem
Suppose I have a mystery number $m$ modulo $p$ that I wish to find. I know the value of $m+x_i^2$ where $x_i$ is randomly chosen modulo $p$ for some large number of different $x_i$, $N$ many, $N \gg \...
- 591
8
votes
1
answer
369
views
Fiber product of spaces and cohomology
Let $Y \to X \leftarrow Z$ be a cospan of topological spaces and let $W = Y \times_X^h Z$ be their homotopy fiber product. I am interested in sufficient conditions on the map $Y \to X$ that ensure ...
- 9,853
1
vote
0
answers
71
views
Bias of $a^k / q$ modulo $q$?
Let $q$ be a prime. Let $0< a < q$ be an integer so that it is primitive modulo $q$. Let $k$ be a random integer up to $q-1$. Consider
$$a^k = b_k + q * c_k$$
as $k$ varies modulo $q^2$. So $b_k$...
- 591
1
vote
1
answer
458
views
Markov Inequality for lower bounds
In a paper I found a strange application of Markovs inequality which I couldn't follow maybe you can help. $X_k$ is the set of $k$-element Subsets of $\mathbb{Z}_d^n$ we fix a $C^{-1} \in X_{k-1}$ and ...
- 21
5
votes
0
answers
135
views
Confusion around a (necklace) cobracket in Ginzburg's article Calabi-Yau Algebras
Something has been puzzling me for quite a while in Ginzburg's article Calabi-Yau Algebras.
At some point he considers the free graded algebra $\mathbb{C}\langle x_1, \dots, x_n, \theta_1, \dots \...
- 437
1
vote
0
answers
136
views
Universal properties for Bloch's higher Chow groups
I work in the category of varieties over some field of characteristic zero. Assume that for any variety I can define the group $\widetilde{CH}^r(X,n)$ which behave like classical Bloch's higher Chow ...
- 219
14
votes
2
answers
2k
views
Is a manifold Euclidean if its tangent bundle is Euclidean?
I'm wondering whether an $n$-dimensional manifold diffeomorphic to $\mathbb{R}^n$ if its tangent bundle is diffeomorphic to $\mathbb{R}^{2n}$. Many thanks!
- 149
2
votes
0
answers
78
views
Direct image of associated line bundle (on an associated fiber bundle) is associated vector bundle
Let $k$ be an algebraically closed field of characteristic $0$, $G/k$ be a linear algebraic group and $C/k$ be a curve. Let $F$ on $C$ be a $G$-bundle, $X/k$ be a projective $G$-variety and $L$ on $X$ ...
- 171
5
votes
1
answer
556
views
Is there an upper bound on the number of representations as a sum of squares?
I am interested in finding upper bounds for the Sum of squares function defined as $r_k(n) = |\{(a_1, a_2, \ldots, a_k) \in \mathbb{Z}^k \ : \ n = a_1^2 + a_2^2 + \cdots + a_k^2\}|$ whenever the ...
- 313
1
vote
0
answers
102
views
Proving that a quantity is positive (Gaussian density and Gaussian CFD)
$\def\R{\mathbb R}$$\def\aha{{1/2}}$$\def\maha{{1/2}}$
Hi everyone,
I am interested in the following problem:
Let consider the heat equation problem:
$$\forall (t,x) \in \mathbb{R}_+\times\mathbb{R}, ~...
- 393
5
votes
1
answer
562
views
interiors of positive cones in ordered Banach spaces
I have a couple of questions about ordered Banach spaces and interiors of their positive cones. I would appreciate your insights and any recommended references.
I want to know several examples of ...
- 79
4
votes
0
answers
335
views
The number of continuously increasing primes gaps in the interval $[2,n]$ is less than $\log n$
A prime gap is the difference between two successive prime numbers. The $n$-th prime gap, denoted $g_n$ or $g(p_n)$ is the difference between the $(n+1)$-st and the $n$-th prime numbers. Using my ...
- 1,776
1
vote
1
answer
118
views
A sine type Chebyshev system
A sequence of real functions $\{\phi_1,\cdots,\phi_n\}$ is called a Chebyshev system on an interval $I\subseteq\mathbb{R}$, if any real linear combination $\sum_{l=1}^n a_l\phi_l$ has at most $n-1$ ...
- 4,058
2
votes
2
answers
275
views
Is a simple closed curve always a free boundary arc?
Is it possible to extract a neighborhood around any point on a simple closed curve such that the boundary of this neighborhood intersects the curve at only two points?
For a simple closed curve $\...
- 23
1
vote
1
answer
114
views
Combinatorics behind certain induction of characters of the Coxeter group of type $B_n$
Let $W_n$ be a Coxeter group of type $B_n$ with $n\geq 1$. Concretely, it is generated by a set of simple reflexions $S = \{s_1,\ldots ,s_n\}$ which satisfy the relations $s_i^2 = 1, s_is_j=s_js_i$ as ...
- 769
2
votes
3
answers
345
views
A subgroup of index 2 for a solvable finite group transitively acting on a finite set of cardinality $2m$ where $m$ is odd
Let $G$ be a finite group acting transitively on the finite set $X=\{1,2,\dots, 2m\}$
of cardinality $2m\ge 6$ where $m$ is odd.
Question 1. Is it true that $G$ always has a subgroup $H$ of index 2
...
- 14.2k
1
vote
1
answer
110
views
How to prove this iterative convergence of trigonometric functions [closed]
Consider the set of sequences $ S=\{\{s_n\}_{n \ge 0}\mid s_n \in \{-1,+1\}\} $
For any set: $ s=\{s_n \}_{n \ge 0}\in S$, we define the sequence
$$ c_n=\sum_{k=0}^n \frac{s_0s_1 \dots s_k}{2^k}$$
Now,...
- 75
17
votes
3
answers
2k
views
Is symmetric power of a manifold a manifold?
A Hausdorff, second-countable space $M$ is called a topological manifold if $M$ is locally Euclidean. Let $SP^n(M): = \left(M \times M \times \cdots \times M \right)/ \Sigma_m$, where product is done $...
- 506
4
votes
1
answer
630
views
Is $\sum_{n\leq x}{z^{\Omega(n)}} = O(x^{\frac12 + \varepsilon})$ equivalent to the Riemann hypothesis for all roots of unity $z\neq1$?
$\Omega(n)$ is the number of prime divisors of $n$, counted with multiplicity.
For $z=-1$, $z^{\Omega(n)} = \lambda(n)$ is the Liouville function, and it's known that $\sum_{n\leq x}\lambda(n) = O(n^{\...
- 3,319
2
votes
1
answer
82
views
Reference request-Natural equivalence detected pointwise for complete Segal spaces
I am looking for a reference for the following elementary assertion on complete Segal spaces:
Let $A$ be a bisimplicial set and let $W$ be a complete Segal space. A morphism of $W^A$ is an ...
- 2,292
8
votes
3
answers
595
views
Jensen-like inequality for random matrix: $\Bbb E[\det X^2]\ge\det\Bbb E[X^2]$
Let $X\in M_n(\Bbb R)$ be a random matrix with iid elements following a continuous distribution.
What are the necessary and sufficient conditions for $$\Bbb E[\det X^2]\ge\det\Bbb E[X^2]$$ to hold? Is ...
- 1,459
3
votes
1
answer
117
views
Show that every stable matrix is similar to a contraction [closed]
Suppose that the square matrix $A$ is stable, i.e., $\rho(A) < 1$. Show that $A$ is similar to a contraction, i.e., show that there exists an invertible matrix $M$ and a matrix $\theta$ such that $...
- 31
2
votes
0
answers
123
views
Homotopy type of a 3-manifold produced via Dehn surgery?
My apologizes if this is a fairly elementary question, I am still a novice when it comes to 3-manifold topology.
I am wondering the following: by Kirby calculus, we know that two links (say in $S^{3}$ ...
- 295
1
vote
3
answers
183
views
Evaluating a sinusoidal series
Define the sequence of functions
$$f_n(x)=\sum_{m=n}^\infty(-1)^m\frac{x^{2m}}{(2m+1)!} {m \choose n} $$
Is there a closed form expression for arbitrary $n$? It is clear that the result should assume ...
- 151
2
votes
1
answer
184
views
Lipschitz smooth convex extension
Assume that convex $f: S \to \mathbb{R}$ with $L$-Lipschitz continuous gradient on some convex compact $S \subset \mathbb{R}^d$ is given. It would be very helpful if there existed function $F$ such ...
5
votes
2
answers
423
views
A coupon collector-ish question
Imagine we are in the coupon collector setting: every time step we get independently one coupon out of $n$ coupons uniformly at random. However, unlike the coupon collector problem, we stop the at the ...
- 63
2
votes
1
answer
135
views
Compact objects in persistence modules and interval decomposition
$\newcommand\Mod{\mathrm{Mod}}\DeclareMathOperator\Fun{Fun}$If $k$ is a field, a persistent $k$-module is a functor $\mathbb{R}\to \Mod_k$ where $\mathbb{R}$ is a poset under the natural ordering of $\...
- 213
2
votes
0
answers
65
views
Anderson localization for time-dependent noises
Anderson localization concerns the localization properties of the Schrödinger operator with a Hamiltonian of the form
$$H=-\Delta+V(x),$$
where $V$ is a highly oscillatory random potential. A simple ...
- 891
1
vote
1
answer
90
views
The number of roots of pseudo-exponential polynomials
Assume that $J$ is the interval $(-\pi,\pi]$. For $k=1,\ldots,2n$, suppose that $\lambda_k$s are real functions on $J$ with $|\lambda_k|=1$, meaning that $\lambda_k(t)$ is either $-1$ or $1$ where $t\...
- 4,058
1
vote
0
answers
72
views
Maximum trace of powers of symmetric $\{0,1\}$-valued matrix with fixed row and column sums
Maximize $\operatorname{tr}(A^k)$ over binary symmetric $n$ by $n$ matrices subject to $$a_{ii}=0, \sum_{j=1}^n a_{ij}=d, \sum_{i=1}^na_{ij}=d,$$
where $d,k$ are fixed positive integers.
I am having ...
- 11
0
votes
1
answer
85
views
Criteria for Hardy space membership
Assume that $p>2$ and let $H^p$ be the Hardy space of holomorphic functions in the unit disk $D$. It seems that $f\in H^p$ if and only if $$P(f):=\int_0^{2\pi}\left(\int_0^{1}|f'(re^{it})|^2(1-r)dr\...
- 333
3
votes
1
answer
362
views
Does a quasi-split reductive group scheme admit a maximal torus?
Let $G \to S$ a reductive group scheme over arbitrary base. Following the conventions from Conrad's Reductive Group Schemes notes, we define a Borel subgroup to be an $S$-subgroup scheme $B \subseteq ...
- 605
0
votes
0
answers
96
views
The relation between two characteristic subgroups in finite p-group
Suppose $G$ is a finite $p$-group. Let
\begin{align*}
\mho_{1}(G)=\langle a^p\mid a\in G\rangle,\quad\Omega_{1}(G)=\langle a\in G\mid a^p=1\rangle.
\end{align*}
There are examples such that $|G|\leq |\...
- 171
2
votes
0
answers
115
views
Orthogonal bundles with values in a line bundle vs. reductions of structure group to $O(n)$
I have already posted this question in math.stackexchange here, but didn't get any response, so I'm posting my question here as well.
Let $X$ be a smooth projective variety over $\mathbb{C}$, and $\pi:...
- 737