Related papers: A note on logarithmic equidistribution
Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…
For an arbitrary state $\omega$ on a Cuntz algebra, we define a number $1\leq \kappa(\omega)\leq \infty$ such that if the GNS representations of $\omega$ and $\omega'$ are unitarily equivalent, then $\kappa(\omega)=\kappa(\omega')$. By…
Let $G$ be a countable branch group of automorphisms of a spherically homogeneous rooted tree. Under some assumption on finitarity of $G$, we construct, for each sequence $\omega\in\{0,1\}^\Bbb N$, an irreducible unitary representation…
Let $E$ be the union of two real intervals not containing zero. Then $L_n^r(E)$ denotes the supremum norm of that polynomial $P_n$ of degree less than or equal to $n$, which is minimal with respect to the supremum norm provided that…
Suppose that $\eta$ is a whole-plane space-filling SLE$_\kappa$ for $\kappa \in (4,8)$ from $\infty$ to $\infty$ parameterized by Lebesgue measure and normalized so that $\eta(0) = 0$. For each $T > 0$ and $\kappa \in (4,8)$ we let…
We prove the existence and uniqueness of multiple SLE$_\kappa$ associated with any given link pattern for $\kappa\in (4,6]$. We also have the uniqueness for $\kappa\in (6,8)$. The multiple SLE$_\kappa$ law is constructed by first…
Given a real polynomial $p$ with only real zeroes, we find upper and lower bounds for the number of non-real zeroes of the differential polynomial $$ F_{\varkappa}[p](z):= p(z)p''(z)-\varkappa[p'(z)]^2,$$ where $\varkappa$ is a real number.…
Let $\kappa$ be a commutative ring containing $2^{-1}$. In this paper, we prove the Comes-Kujawa's conjecture on a $\kappa$-basis of cyclotomic oriented Brauer-Clifford supercategory. As a by-product, we prove that the cyclotomic walled…
We prove that the log canonical ring of a klt pair of dimension $3$ with $\mathbb{Q}$-boundary over an algebraically closed field of characteristic $p>5$ is finitely generated. In the process we prove log abundance for such pairs in the…
Let $\mathcal{U(\alpha, \lambda)}$, $0<\alpha <1$, $0 < \lambda <1$ be the class of functions $f(z)=z+a_{2}z^{2}+a_{3}z^{3}+\cdots$ satisfying $$\left|\left(\frac{z}{f(z)}\right)^{1+\alpha}f'(z)-1\right|<\lambda$$ in the unit disc ${\mathbb…
For every uncountable cardinal $\kappa$ there are $2^\kappa$ nonisomorphic simple AF algebras of density character $\kappa$ and $2^\kappa$ nonisomorphic hyperfinite II$_1$ factors of density character $\kappa$. These estimates are maximal…
Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying $\kappa^{< \kappa} = \kappa > \omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly…
We prove that, in the space of all probabilistic continuous functions from a probabilistic metric space G to the set $\Delta$ + of all cumulative distribution functions vanishing at 0, the space of all 1-Lipschitz functions is compact if…
Let $K$ be a algebraically closed field of characteristic 0 that is complete with respect to a non-Archimedean absolute value. Let $\phi\in K(z)$ with $\textrm{deg}(\phi)\geq 2$. In this paper we establish uniform logarithmic…
We introduce the forcing property of descending distributivity. A forcing $\mathbb{P}$ is $\kappa$-descending distributive if for all decreasing sequences $(D_\alpha)_{\alpha<\kappa}$ of open dense sets, $\bigcap_\alpha D_\alpha$ is open…
For a finite group $G$ and a sufficiently large (but fixed) prime power $q$ coprime to $G$ we obtain asymptotics for the number of regular Galois extensions $L/ \mathbb{F}_q(t)$, with $\mathrm{Gal}(L/\mathbb{F}_q(t)) \cong G$, ramified at a…
We show that if $A$ is a finite set of non-negative integers then the number of zeros of the function \[ f_A(\theta) = \sum_{a \in A} \cos(a\theta), \] in $[0,2\pi]$, is at least $(\log \log \log |A|)^{1/2-\varepsilon}$. This gives the…
We prove the logarithmic Sarnak conjecture for sequences of subquadratic word growth. In particular, we show that the Liouville function has at least quadratically many sign patterns. We deduce the main theorem from a variant which bounds…
Gappa uses interval arithmetic to certify bounds on mathematical expressions that involve rounded as well as exact operators. Gappa generates a theorem with its proof for each bound treated. The proof can be checked with a higher order…
In this paper we use infinitary Turing machines with tapes of length $\kappa$ and which run for time $\kappa$ as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two computability to $2^{\kappa}$, where $\kappa$ is…