« first day (3365 days earlier)      last day (42 days later) » 

2:26 AM
3
Q: Randomly removing length 1 intervals in an interval (a fragmentation process)

Gro-TsenShort version: Start with a closed interval of length $t>0$ and repeatedly remove a random and uniformly distributed subinterval of length $1$ so long as this is possible. For $t$ large, what is the asymptotic of the expected value $\varphi(t)$ of the number of steps that this process will run? ...

 
 
8 hours later…
10:13 AM
4
Q: Is it decidable whether two real algebraic irrationals generate the same extension of the rationals?

user918212For an algebraic number $\alpha$, let $f_\alpha$ denote its minimal polynomial. We can symbolically represent an algebraic number $\alpha$ by the tuple $$ (f_\alpha, x, y, r) \in \mathbb{Q}[x] \times \mathbb{Q}^3 $$ so that $\alpha$ is the unique root of $f_\alpha$ inside the circle centered at ...

 
 
8 hours later…
6:13 PM
2
Q: If parameters in ZFC are restricted to definable sets, can existence of uncountable sets be proven?

Zuhair Al-JoharIf we restrict all parameters in the set building axioms of $\sf ZFC$ to definable sets, would the celebrated Cantor's theorem still apply? Can existence of uncountable sets be proven at all? The set building axioms of $\sf ZFC$ are the axioms of: pairing, union, powerset, Separation and Replacem...

 
6:43 PM
6
Q: Allow std::expected to use a private constructor

k.st.I try to create a non-copyable and non-movable class, whose object construction should only be done via a create function instead of public constructors. The create function will return a std::expected object either holding the created object or an error object. In order to enforce construction v...

 
 
1 hour later…
7:49 PM
0
Q: Dictionary with unknown depth in Python Django

Chrisi have following data: [ {'I. Intangible Assets': ['1. Concessions, Licenses']}, {'II. Tangible Assets': [ '1. Land, Buildings and Similar Rights', '2. Machinery and Equipment', {'3. Other Facilities, Operating and Business Equipment': ['Cars', 'Trucks']} ]},...

 
 
3 hours later…
11:01 PM
0
Q: Extracting conditional numeric values from character data in R

Rhys Maredudd DaviesStuck on a data tidying problem, and not sure how to work around it. I have messy character data on whisky, which I'm looking to organise so that I can conduct some analyses. Specifically, I'm looking to extract the abv % values from the product name, and place them into a new column. An example ...

 
11:13 PM
4
Q: Criteria for when Gauss-Manin sheaves are vector bundles

Aitor Iribar LopezLet $(X,D_X)$ and $(S, D_S)$ be smooth normal crossings pairs over $\mathbb C$; i.e. smooth schemes of finite type over $\mathbb C$ with a normal crossings divisor. If $f:X \to S$ is a proper, flat and log-smooth (with respect to the log structures given by the divisors) such that $f^{-1}(D_S)=D_...

 

« first day (3365 days earlier)      last day (42 days later) »