« first day (2877 days earlier)      last day (518 days later) » 

1:35 AM
1
Q: Supremum of infimum of measure of members of a free ultrafilter

Dominic van der ZypenFor a set $A\subseteq \omega$ we let the upper density of $A$ be defined as $d^+(A) := \lim\sup_{n\to\infty}\frac{|A\cap(n+1)|}{n+1}$. Let $\text{FrU}(\omega)$ be the collection of free ultrafilters on $\omega$. User Asaf Karagila provided a convincing argument that there is a free ultrafilter ${...

 
2:05 AM
4
Q: For which Sheaf topoi is Brouwer's fan theorem true?

saolofBrouwer's fan theorem is the standard result that the Cantor space is compact, or equivalently that the Cantor space viewed as a locale is spatial. Since it is a compactness result for a countable product of spaces, it can be viewed as a countable choice axiom in its own right. However, general e...

 
2:46 AM
6
Q: Ruling out the existence of a strange polynomial

Stanley Yao XiaoDoes there exist a polynomial $f \in \mathbb{Z}[x,y]$ such that $$\displaystyle f(a,b) > 0 \text{ for all } a,b \in \mathbb{Z}$$ and $$\displaystyle \liminf_{(x,y) \in \mathbb{R}^2} f(x,y) = -\infty?$$ In other words, does there exist a polynomial $f$ which takes on positive values at every integ...

 
 
1 hour later…
4:04 AM
1
Q: Does it weaken a RSA modulus to publish a generator of a small subgroup?

RobinLinusLet $n = P\cdot Q$ be the product of two safe primes $P = 2p+1$ and $Q=2q+1$. Let $g$ be a generator of $C_{p} \subset \mathbb{Z}_n^*$, the multiplicative subgroup of order $p$. In other words, $g^p = 1 \pmod n$. (But $p$ is still secret of course.) Would it weaken a RSA modulus if $g$ was public...

 
 
2 hours later…
6:34 AM
2
Q: Ruling out the existence of a strange polynomial II

Stanley Yao XiaoThis is a refinement of my question asked earlier, which is answered beautifully in the negative by Thomas Browning. The example he gave was geometrically reducible. Now I want to ask the same question, but with the extra assumptions that $f(0,0) = 0$ and $f$ is geometrically irreducible for all ...

 
 
7 hours later…
1:04 PM
0
Q: What is the best way to migrate OAuth to use Jakarta

Dave DixonI'm updating an application from javax.servlet to jakarta.servlet. The application uses some net.oauth classes that don't seem to be available in jakarta variants. Newer OAuth implementations will require a lot of recoding. I don't have a strong sense of which OAuth (OAuth2?) is likely to provide...

 
 
4 hours later…
5:22 PM
0
Q: How to incorporate options?

BegginerScraper GriffI am new to web scraping but fortunately I am taking a class that gives us much of the framework needed for scraping certian API's. I want to change the options of which youtube videos I am extracting Info from but I am not sure how. ydl_opts = {'dump_single_json': True, 'writeautomaticsub': True...

 
 
3 hours later…
8:34 PM
6
Q: Parity of the class number of cyclotomic fields

didI am interested if there are any heuristics on the parity of the class number of $\mathbb{Q}(\zeta_p)$ where $\zeta_p$ is a primitive root of unity. Is it true that it is odd infinitely many often? Is the density of primes for which it is odd known or conjectured?

 
9:17 PM
6
Q: enable_if works with gcc but not with clang and msvc

AlanI learnt about the SFINAE principle and its various uses. Then I wrote the following program that compiles with gcc but not with msvc and clang. Live demo. #include <iostream> #include <type_traits> template <typename T> class Container { public: template<typename U = T> st...

 

« first day (2877 days earlier)      last day (518 days later) »