Search Results

It is well known that any coherent sheaf on a complex manifold (or more generally on some complex spaces) admits locally a resolution with locally free sheaves. It is also well known that for non-alge …

I'm a Machine Learning researcher who would like to research applications of group theory in ML. There is a term "Partially Observed Groups" in machine learning theory which has been popularized by re …

Problem Let $\beta$ be a probability measure on $\mathbb{R}$, and define $$ K = \left \{z \in \mathbb{C}: g\left(z\right)=\int_{-\infty}^{\infty}\exp\left(z x\right)\beta ( dx ) \text{ is well-define …

Which integral domains have the property that $R = \bigcap R_P$, the intersection being taken over all height one prime ideals of $R$? It is a standard fact that Krull domains, and thus noetherian no …

I know what the coherence conditions are, I can look them up in M. Laplaza, Coherence for distributivity, Lecture Notes in Mathematics 281, Springer Verlag, Berlin, 1972, pp. 29-72. In theory, app …

I am wondering if the following expression can be processed a bit analytically, $$ E \left[ e^{aX} \int_0^X e^{bu}dW(u)\right], $$ where $W_u$ is the normal Brownian motion (1D Wiener process), and $ …

I came across this integration in my studies. $\int_{-\infty}^{\infty}|F((w_\textbf{_} - \hat{w_\textbf{_}})\tau) |^2 . d\tau$ It uses the Faddeeva function which is $F(z) = e^{-z^2}erfc(-iz)$. I a …

Set-up. Assume that we have a complete separable metric space $\mathcal{X}$ that is not locally compact. Let $V: \mathcal{x} \to [0; +\infty]$ be a functional such that $K_r :=\{x \in \mathcal {X} : V …

This is likely piling one mystery on another, but ... I was exploring a function $f(n): \mathbb{N} \mapsto \mathbb{N}$ defined as follows: $$ f(n) = \begin{cases} n^2 & \text{if} \;n \;\text{is prim …

Theorem 3.2 in http://arxiv.org/pdf/1405.2593.pdf shows that for any $x$ there are $\gg x\exp(-\sqrt{\log x})$ integers $x_0 \in [x; 2x]$ such that $\pi(x_0 + \log x) - \pi(x_0) \gg \log\log x$. Is …

The set theory ETCS famously comes without the Replacement axiom schema (or an equivalent) that is part of ZFC. One (to me, not apparently useful) set that one cannot build in ETCS is $\coprod_{n\in \ …

Let $\{X_1, X_2, \dotsc, X_n\}$ be independent and identically distributed (i.i.d.) random variables sampled from a common distribution with density $f_{\theta}(x)$, where $\theta$ is an unknown param …

Koebe–Andreev–Thurston theorem (known also as the circle packing theorem) says that any planar graph can be realized by a set of (interior-) disjoint disks corresponding to vertices, such that two dis …

If $f:M \to N$ is a submersion with connected fibers, then the fibers of $f$ foliate $M$. This is called a simple foliation of $M$ and the leaf space can be identified with $N$. Suppose that a foliati …

I remember an example of a topos that does not have an underlying Boolean topos. My problem is, I cannot find where I saw it. The solution is supposed to have Setf and Set, and the objects of the topo …