« first day (2735 days earlier)      last day (653 days later) » 

12:15 AM
3
Q: Does a compact Lie group action on a family of compact manifolds have diffeomorphic fixed point submanifolds?

Zhaoting WeiLet $\pi: M\to B$ be a fiber bundle of smooth manifolds with $B$ connected and each fiber of $\pi$ is a compact manifold. Let $G$ be a compact Lie group acting smoothly on $M$ such that $\pi(g\cdot m)=\pi(m)$. It is clear that $G$ acts smoothly on each fiber $M_b$ for $b\in B$. Noe fix a $g\in G$...

 
 
4 hours later…
3:55 AM
0
Q: Plotly graph does not show x-axis values correctly

john_nyConsider the following code : from plotly import graph_objs as go import pandas as pd mtds = ['2022-03', '2022-04', '2022-05', '2022-06'] values = [28, 24, 20, 18] data1 = [] for j in range(4): data1.append([mtds[j], values[j]]) df1 = pd.DataFrame(data1, columns=['month', 'counts']) fig = go...

 
 
1 hour later…
4:58 AM
5
Q: Find all primes x such that f(x) is also a prime number.

tonmathThere is a function \begin{align*} f(x)=x^3 + x^2 +11x +2 \\ \end{align*} Find all prime \begin{align*} x\\ \end{align*} such that a function is also a prime number. I found that this is satisfied with an x value of 3 then the function is equal to 71, so both are primes, but I am unsure how to fi...

 
 
1 hour later…
6:15 AM
3
Q: Example illustrating necessity of considering birational equivalence and not biholomorphic equivalence in MMP

ABBCThe minimal model program attempts to classify algebraic varieties up to birational equivalence. For compact Riemann surfaces, Riemann's uniformization theorem tells us that the geometry of the curve is determined primarily by its genus. In particular, if $M$ is a compact Riemann surface of genus...

 
 
1 hour later…
7:40 AM
3
Q: How do I prove that the addition of natural numbers, as defined by Peano, is unique?

Dark RebellionIn other words, for any two natural numbers, there exist no more than one natural number that equals the sum of the two numbers. Or rather, for any two natural numbers, their sum is unique. In first order logic, I am trying to prove the following: $\forall a,b,c,c'\in \mathbb{N}(a+b=c \land a+b=c...

 
 
3 hours later…
10:27 AM
4
Q: Proof in constructive mathematics that the principal square root function exists in any Cauchy complete Archimedean ordered field

Madeleine BirchfieldIn classical mathematics, there exists only one Cauchy complete Archimedean ordered field, the Dedekind complete Archimedean ordered field. However, in constructive mathematics, there are multiple Cauchy complete Archimedean ordered fields, which are not provable to be equivalent to each other: o...

 
11:15 AM
8
Q: C++ confusing closure captures [v] vs [v = v]

beccaIn the following code, it seems that the compiler sometimes prefer to call the templated constructor and fails to compile when a copy constructor should be just fine. The behavior seems to change depending on whether the value is captured as [v] or [v = v], I thought those should be exactly the s...

 
 
5 hours later…
4:10 PM
4
Q: Confusion on the proof of Erdös's prime gap inequality

TravorLZHI am currently reading Erdös's paper "The difference of consecutive primes" published in 1940, in which he shows that there exists $\delta>0$ such that $$ A=\liminf_{n\to\infty}{p_{n+1}-p_n\over\log p_n}\le1-\delta $$ His method is essentially a proof by contradiction: Let $I=[(1-\delta)\log n,(1...

 
 
3 hours later…
6:45 PM
3
Q: Why finitely presentable objects in Top need to be discrete?

efkIn Locally Presentable and Accessible Categories, page 12 (10), A topological space is finitely presentable in $\mathbf{Top}$, the category of topological spaces and continuous functions, iff it is finite and discrete. But the explanation after this sentence makes little sense to me. In particu...

 
 
1 hour later…
7:45 PM
7
Q: Extract names of second [given] level of nested list in R

ramenI have a nested list. Each level of this list is named (as in provided dummy example). I want to extract the names (unique) from the 2nd level of my initial list, so I will be able to use them in some further operations. I know how to do it in two steps, but I wonder whether there is more efficie...

 
8:14 PM
0
Q: Find the optimal value

Ole TangeLet us say I have a program called foo. It takes 1 argument (e.g. foo 42) and it spits out a single line containing a numerical value (e.g. 2034). I want to find the optimal value for the input argument, so the output is minimized. Currently I do that by hand by (semi-)binary search, but that is ...

 
 
4 hours later…
11:57 PM
6
Q: Contractible subcomplex containing 1-skeleton?

Matt ZaremskyQuestion: If $X$ is a simplicial complex that's simply connected and $2$-dimensional, does there always exist a contractible subcomplex $Y$ satisfying $X^{(1)} \subseteq Y$? The statement is true "down a dimension": If $X$ is connected and $1$-dimensional, then there exists a contractible subcomp...

 

« first day (2735 days earlier)      last day (653 days later) »