Newest Questions
159,018 questions
0
votes
0
answers
30
views
Copy and repeat or copy and sum integer coefficients
Let
$$
\ell(n) = \left\lfloor\log_2 n\right\rfloor.
$$
Let $T(n,k)$ be an integer coefficients with row length $f(n)$ (number of zeros in the binary expansion of $n$ plus $2$ for $n>0$ with $f(0)=1$...
- 4,938
0
votes
0
answers
21
views
Curious About Methods for Finding Goldbach Pairs for Large Even Numbers
I am exploring the question of efficiently identifying two prime numbers that sum to a given large even number, particularly for even numbers exceeding 100 digits. While brute force and precomputed ...
- 1
1
vote
0
answers
37
views
Computing with the Picard group of non-integral curves
Let $C$ be a curve over $\mathbb{Q}_p$ and let $\mathcal{C}$ be a regular model of $C$ over $\mathbb{Z}_p$, with $\mathcal{J}$ the Neron model of the Jacobian of $C$. Raynaud's theorem asserts that $\...
- 111
0
votes
0
answers
15
views
Tightest decreasing majorant
I had asked this question here but received no answer.
Let $O$ be an operator that maps sequences to sequences such that the elements of the sequence $O(a)$ are given by
$$\bigl(O(a)\bigr)_n ~{}={}~ \...
- 351
0
votes
0
answers
52
views
Can we construct an isomorphism between $\mathrm{BS}(1,n)$ and $\mathbb{Z}[1/n]\rtimes\mathbb{Z}$ such that it preserve the order?
It is given in Regular left-orders on groups that the solvable Baumslag-Solitar group $\mathrm{BS}(1,n)=\langle a, b\mid aba^{-1}=b^n\rangle $ is isomorphic to $\mathbb{Z}[1/n]\rtimes \mathbb{Z}$ for ...
-1
votes
0
answers
62
views
Can this prime pyramid reveal deeper insights into prime distribution? Has someone seen this pattern before?
Definition
The Burz Prime-Number Pyramid is a triangular arrangement of consecutive integers, structured such that the length of each row corresponds to a prime number, except the first row which ...
- 1
2
votes
0
answers
33
views
Do the order statistics give a good approximation of uniform random variables?
Let $\{X_i\}_{i \geq 1}$ be a sequence of iid uniform random variables on $[0, 1]$. Define, for each $n$, the order statistic $O_n$ of $X_n$ by
$$O_n := \frac{1}{n}\#\{1 \leq k \leq n \, \, | \, X_k \...
- 6,275
2
votes
0
answers
42
views
Semisimple elements and fixed points
The following statement seems to be well-known:
Let $X$ be a variety on which an affine algebraic group $H$ acts with
finitely many orbits and let $s \in H$ be semisimple. Then $H_s = \{h
\in H \mid ...
- 43
0
votes
0
answers
42
views
Translation Invariants of Polynomials
The function $f(k)$ is a (numerical) polynomial in $\mathbb{Q}[k]$, and the set
$ S_f = \{ f_d : d \in \mathbb{N} \} $
is a set associated with $ f $, where $f_d(k)=f(k+d)$.
I am interested in finding ...
- 89
-2
votes
0
answers
25
views
Convergence of $ \vec{x_{n+1}} = A^{-1} f(\vec{x_{n}},\vec{y_{n}}), \:\:\: \vec{y_{n+1}} = A^{-1} g(\vec{x_{n}},\vec{y_{n}}) $
I have two systems
$$ A \vec{x} = f(\vec{x}, \vec{y}), \:\:\: A \vec{y} = g(\vec{x}, \vec{y}) $$
Both have the same constant, square, invertible matrix $A$. I implemented an iterative algorithm with ...
- 97
2
votes
0
answers
28
views
An algebraic group $G$ over $L^+$ such that $G_{\mathbb{R}}$ is compact for almost all embedings
Does there exists a reductive group $G$ of type $E_7$ over a given totally real field $L^+$ such that for every embedding $\tau:L^+\to \mathbb{R}$ except one , $G_{\tau,\mathbb{R}}(\mathbb{R})$ is ...
- 95
0
votes
0
answers
16
views
What is the expected value of the set when N elements are chosen from the same probability distribution?
Suppose we have a parameter that follows some probability distribution $f(x)$. When simulating an $N$-body with that parameter as an attribute, how should values of the parameter be chosen?
Let each ...
- 1
0
votes
0
answers
38
views
How to prove the following theorem by distribution function and series
Let $g$ be nonnegative and measurable function in $\Omega$ and $\mu_{g}$ be its distribution function, i.e.,
$$
\mu_{g}(t)=\left|\left\{ x\in \Omega:g(x)>t\right\}\right|,\; t>0.
$$
Let $\eta>...
- 1
-1
votes
0
answers
35
views
Homomorphism from field of hyperreals to field of reals?
I am curious if it is possible to construct a homomorphism from a field of hyperreal numbers to the field of real numbers? (Similarly, a homomorphism from the surreals to the reals?)
Assuming that ...
- 55
10
votes
0
answers
94
views
When could a diligent calculus student compute all Picard iterates algebraically?
As is well known, in the typical proof of the Picard–Lindelöf theorem, one shows the existence of a solution of the initial value problem $y'(t) = f(t,y(t))$, $y(t_0) = y_0$ by considering the Picard ...
- 13k
4
votes
1
answer
174
views
Asymptotics for minimum of a sequence of random variables
This is a question that I'm sure has been investigated before, but I have found no good search terms for.
Let $X_i$ be a sequence of random variables, independent and uniformly distributed in $[0,1]$. ...
- 28.2k
1
vote
0
answers
36
views
Isomorphism between weighted Sobolev spaces via Laplace operator
My question is on weighted Sobolev spaces $W^{k,2}_{\delta}(\mathbb R^n)$ and whether I can find a good reference that states when is the following mapping
$$ \Delta: H^2_{\delta}(\mathbb R^n) \to L^...
- 4,153
0
votes
0
answers
45
views
Fractal dimension using wavelets [closed]
I'm trying to estimate the fractal dimension of a function.
I created the log(energies) Vs log(scales) plot and I'm computing the Fractal Dimension (D) from the slope using the relation
$$
\alpha = -...
5
votes
0
answers
53
views
Underlying noncommutative topologies of noncommutative complex varieties
Let $X$ be a (separated) complex algebraic variety. Then we can view its analytification $\newcommand\topo{\text{top}}X^{\topo}$ as a locally compact Hausdorff space. I wonder whether the same ...
- 2,856
5
votes
1
answer
67
views
Measure dependance of groupoid von Neumann algebra
Let $(G,\mu)$ be a measured groupoid and denote by $\nu,\nu^{-1}$ the measures on all of $G$ induced by $\mu$ and Haar system $\{\lambda^x\}$.
I have a question regarding the dependance of the ...
- 311
0
votes
0
answers
71
views
Can a generalized root formula exist for polynomials with finite degrees? [closed]
Let $p\in\mathbb{Z}[x]$, set $d = \textbf{Deg}(p)$, and write $$p(x) = \sum_{i=0}^{d}{a_ix^i}$$ for some sequence $\{a_0,a_1,a_2,...., a_{d-1}\}$. Is there a mapping $\mathcal{F}$ so that $$\mathcal{F}...
0
votes
2
answers
129
views
Is $1+\left (\frac{m}{m-1}\right )^{\frac{\log(p-1)}{\log(2)}}\cdot(p-1)^{\frac{\log(m)}{\log(2)}+1}<\frac{m}{m-1}p^{\frac{\log(m)}{\log(2)}+1}$?
For $p>2,m>2$, is $$1+\left (\frac{m}{m-1}\right )^{\frac{\log(p-1)}{\log(2)}}\cdot(p-1)^{\frac{\log(m)}{\log(2)}+1}<\frac{m}{m-1}p^{\frac{\log(m)}{\log(2)}+1}$$
?
Motivation:
I am trying to ...
- 3,074
2
votes
0
answers
34
views
Maximum number of connected components of surfaces in three dimensions, what is known?
Part of Hilbert's 16th problem is:
It seems to me that a thorough investigation of the relative positions of the upper bound for separate branches is of great interest, and similarly the ...
- 21
0
votes
0
answers
99
views
Algebraic relations for $\Gamma$ function
Let $N$ and $n$ be positive integers with $\mathrm{GCD}(n,N)\ne1$. I want to prove the following claim:
$\Gamma\left(\frac nN\right)$, $\pi$ and the $\Gamma\left(\frac uN\right)$ ($u\in[1,N-1]$, $\...
- 3,998
1
vote
0
answers
73
views
Specific regularity in bipartite graphs
Let $G(A,B)$ be a bipartite graph with $|A| = |B| = n$, where $n$ is sufficiently large. The average degree of $G$ is $d = \frac{e(A,B)}{n}$, where $e(A,B)$ denotes the number of edges between sets $A$...
- 359
2
votes
0
answers
81
views
Is there a natural topology for subsets of a fixed topological space?
This question is an extension/clarification of the question: Is there a natural topology for sets of topological spaces?
The Hausdorff distance assigns a distance to any two subspaces $X, Y$ of a ...
- 709
0
votes
0
answers
13
views
Chains with full range on a Boolean algebra with convex measure
Preliminaries. Let $X$ be a set and let $\mathcal A$ be a Boolean algebra of subsets of $X$ (i.e., $\mathcal A\subset 2^X$ such that $\mathcal A$ contains the empty set and is closed under finite ...
- 111
1
vote
0
answers
91
views
Examples of nontrivial morphism between simple bundles but not isomorphism
We know stable bundles have a good property:
If $f: E\longrightarrow E'$ is a nontrivial morphism where $E,E'$ have the same rank and degree, then $f$ must be an isomorphism.
I'm wondering does this ...
- 111
-3
votes
0
answers
72
views
Is this a conclusion group for a new fundamental geometry problem? [closed]
Let σ(n) represent all possible values of the types of different lengths of segments connected to each other among n points in the definition,such as in the plane,σ(3)=(1,2,3),σ(3)min=1,in the ...
6
votes
2
answers
349
views
closed form for an alternating cosecant sum
Is there any closed form for the following finite sum
$$\sum_{j=1}^{n-1}\frac{(-1)^j}{\sin (\frac{j\pi}{n})}$$
where $n$ is an even number?
Any comment or reference is welcome.
- 701
6
votes
1
answer
211
views
Kobayashi-Nomizu "Foundations of differential geometry" on page 117 wrong?
$\DeclareMathOperator\GL{GL}$Let $M$ be a smooth manifold, $G$ a Lie group and $P(M,G)$ a principal $G$-bundle and $\rho: G \to \GL(V)$ of $G$ a representation with $V$ finite-dimensional $\mathbb{F}$-...
- 321
4
votes
1
answer
171
views
Projective automorphisms of a plane cubic curves
Let $E$ be a smooth cubic curve in $\mathbb{P}^2$ over an algebraically closed field $k$.
What is the group of the projective transformations preserving $E$ ?
In characteristic $0$ the answer is known ...
- 486
0
votes
0
answers
50
views
Non metrizable uniform spaces
Bourbaki's book on general topology states that a uniform space is metrizable if it is Hausdorff and the filter of entourages of the uniformity has a countable basis. However, he doesn't provide an ...
- 101
2
votes
0
answers
80
views
Non-functoriality of transition maps between $\kappa$-condensed sets
I am currently following Scholze's lecture notes (https://www.math.uni-bonn.de/people/scholze/Condensed.pdf) on condensed mathematics. We would like to define condensed sets as sheaves on the site $\...
- 121
2
votes
0
answers
96
views
Action of torus on Laurent polynomials
Let $F$ be a field and suppose that the torus $(F^*)^n$ acts on the Laurent polynomial ring $L$ in $n$ variables $X_1, \dots, X_n$ defined by $X_i \dashrightarrow a_iX_i$ for suitable scalars $a_i$.
...
- 376
4
votes
1
answer
704
views
Can the Pythagorean theorem be proved using imaginary numbers?
Can the Pythagorean theorem be proved using imaginary numbers? The proof must avoid circular reasoning, of course.
I asked essentially the same question at MSE, but did not receive a definitive answer,...
- 3,567
4
votes
0
answers
91
views
Transferring $A_\infty$-structure from a module to its homology
Given an $A_\infty$-module $M$, which is a graded module $M=\bigoplus_{k\in\mathbb{Z}}M_k$ with morphisms $m_n^M\colon A^{\otimes(n-1)}\otimes M\rightarrow M$ of degree 2-n satisfying the $A_\infty$ ...
- 213
-1
votes
0
answers
58
views
Solving special multivariable limits by Euclidean geometry
General Problem: Inspect function $L(a)$ for $a\in \mathbb{R}^{n}$, given that:
$$L(a)=\lim_{x\to 0_{+}}\frac{x^{a}}{F(x)}$$
Notation legends:
$x=(x_1,\ldots,x_n),\ a=(a_1,...,a_n),\ x^a=x_{1}^{a_1}\...
- 231
-4
votes
1
answer
162
views
What are all the complex structures on $\mathbb{R}^2$ which live inside $\mathrm{SL}_2(\mathbb{Z})$? [closed]
By "complex structure" I am referring to 2x2 matrices which square to $-\mathrm{Id}_2$. I need to know those with integer entries and determinant equal to 1.
Thank you
- 3
0
votes
0
answers
32
views
question about some algebraic simplifications performed as we solve differential equations with Laplace transform
I am trying to follow this discussion of Laplace transforms on youtube:
https://www.youtube.com/watch?v=ofvkZXgbIxE&t=610s
The relevant portion is 10 minutes in to the video.
There is some algebra ...
- 101
1
vote
1
answer
88
views
Simple modules of the Weyl algebra
Let $\mathbb{F}$ be a field and W be the Weyl algebra, as the algebra over $\mathbb{F}$ generated by $a,b$ with relation $ab-ba=1$.
The description of simple modules over the Weyl algebra over ...
- 467
0
votes
1
answer
68
views
Is there a characterization of monoids that distribute over each other?
Let $(M, e_1, \times_1, e_2, \times_2)$ be an algebraic structure such that
$(M, e_1, \times_1)$ and $(M, e_2, \times_2)$ are monoids
$x \times_1 (y \times_2 z) = (x \times_1 y) \times_2 (x \times_1 ...
- 631
0
votes
0
answers
90
views
Integral form of linking number
I am reading the paper "Gapless Floquet topology" by Cardoso et al and the following section got me confused.
I understand that now $F$ lives in a space where a 2 dimensional subspace is ...
- 101
2
votes
0
answers
137
views
Is a triangulated category admitting a tilting object alegebraic or even equivalent to the derived category of some ring?
Let $\mathcal{T}$ be a triangulated category having all infinite coproducts(such triangulated category is sometimes said to be cocomplete or satisfying the TR5 axiom). We call an object $G$ tilting if
...
- 21
0
votes
0
answers
16
views
Conditions on SDE coefficients for well-posedness of Fokker-Planck equation
Consider the following $n$-dimensional Ito-SDE:
\begin{align}
dX_t = \mu(X_t,t)dt + \sigma(X_t,t)dW_t
\end{align}
What are the necessary regularity conditions on $\mu$ and $\sigma$ to ensure that the ...
- 111
1
vote
0
answers
107
views
Zariski Connectedness Theorem: From Analytic & Topological Viewpoint
Let $p:Y \to X$ be a proper, flat (see later why) surjective map between smooth connected complex varieties $Y,X$, esp. $X$ unibranch. Assume that there exist a Zariski open (esp. dense) $U \subset X$ ...
- 6,038
1
vote
0
answers
134
views
What is a quantum condensed space?
Due to a categorical equivalence involving compact topological spaces and unital commutative $\mathrm{C}^*$-algebras, there is a practise involved in so-called quantum mathematics where a ...
- 1,037
2
votes
0
answers
89
views
Connectedness of equivariant Hilbert schemes of points of affine spaces (or as orbifolds)?
Let $G$ be an abelian finite group act on $\mathbb C^n$, when the equivariant Hilbert scheme $\mathrm{Hilb}^{R}(\mathbb C^n)^G=\mathrm{Hilb}^{R}([\mathbb C^n/G])$ is connected? Now $R$ is a ...
- 249
8
votes
0
answers
331
views
Closed formula for the factorial over reals
How to prove that there is no formula for $n!$ that does only use the binary operations $+,-,*,/$ on real numbers, powers of real numbers, and fixed real numbers?
Similar question have been asked ...
- 19k
-4
votes
0
answers
24
views
Instrumental Variable model prove inequality holds [closed]
very stuck on this proof for my homework, professor didn't really teach this concept as it was supposed to be "self-learning", so I'm not really sure where to start.
homework problem
