Related papers: How large are the level sets of the Takagi functio…

For a map $T \colon [0,1] \to [0,1]$ with an invariant measure $\mu$, we study, for a $\mu$-typical $x$, the set of points $y$ such that the inequality $|T^n x - y| < r_n$ is satisfied for infinitely many $n$. We give a formula for the…

We consider the set of points in projective $n$-space that generate an extension of degree $e$ over given number field $k$, and deduce an asymptotic formula for the number of such points of absolute height at most $X$, as $X$ tends to…

It is known that there exist functions in certain de Branges--Rovnyak spaces whose Taylor series diverge in norm, even though polynomials are dense in the space. This is often proved by showing that the sequence of Taylor partial sums is…

Banach famously related the smoothness of a function to the size of its level sets. More precisely, he showed that a continuous function is of bounded variation exactly when its "indicatrix" is integrable. In a similar vein, we connect the…

Fix $c\in (1,23/22)$. Let $\alpha$ and $\beta$ be two distinct non-zero real numbers with $|\alpha|\neq |\beta|$. It is shown that for any measure preserving system $(X,\mathcal{X},\mu,T)$ and any $f,g\in L^{\infty}(\mu)$, the limit…

It is proved that every function of finite Baire index on a separable metric space $K$ is a $D$-function, i.e., a difference of bounded semi-continuous functions on $K$. In fact it is a strong $D$-function, meaning it can be approximated…

We study the properties of `infinite-volume mixing' for two classes of intermittent maps: expanding maps $[0,1] \longrightarrow [0,1]$ with an indifferent fixed point at 0 preserving an infinite, absolutely continuous measure, and expanding…

We present and study new definitions of universal and programmable universal unary functions and consider a new simplicity criterion: almost decidability of the halting set. A set of positive integers S is almost decidable if there exists a…

An untouchable set in a projective plane is a set of points such that no line of the plane meets the set in exactly one point. Recently, H\'eger and Nagy (Avoiding Secants of Given Size in Finite Projective Planes, J. Combin. Des.…

Let $0<\gamma_1\leq \gamma_2 \leq \cdots $ denote the ordinates of nontrivial zeros of the Riemann zeta function with positive imaginary parts. For $c>0$ fixed (but possibly small), $T$ large, and $\gamma_n\leq T$, we call a gap…

The conservative sequence of a set $A$ under a transformation $T$ is the set of all $n \in \mathbb{Z}$ such that $T^n A \cap A \not = \varnothing$. By studying these sequences, we prove that given any countable collection of nonsingular…

Let $\mathbb{D}$ be the unit disk in the complex plane. Among other results, we prove the following curious result for a finite Blaschke product: $$B(z)=e ^{is}\prod_{k=1}^d \frac{z-a_k}{1-z \overline{a_k}}.$$ The Lebesgue measure of the…

A remarkable theorem of Besicovitch is that an integrable function $f$ on $\mathbb{R}^2$ is strongly differentiable if and only if its associated strong maximal function $M_S f$ is finite a.e. We provide an analogue of Besicovitch's result…

We show, under some natural conditions, that the set of abelian points on the non-anomalous subset of a closed irreducible subvariety $X$ intersected with the union of connected algebraic subgroups of codimension at least $\dim X$ in a…

This article generalises the well-known Katznelson-Tzafriri theorem for a $C_0$-semigroup $T$ on a Banach space $X$, by removing the assumption that a certain measure in the original result be absolutely continuous. In an important special…

Given a dominant rational self-map on a projective variety over a number field, we can define the arithmetic degree at a rational point. It is known that the arithmetic degree at any point is less than or equal to the first dynamical…

It is well known that most continuous functions are nowhere differentiable. Furthermore, in terms of Dini derivatives, most continuous functions are nondifferentiable in the strongest possible sense except in a small set of points. In this…

We consider vanishing properties of exponential sums of the Liouville function $\lambda$ of the form $$ \lim_{H\to\infty}\limsup_{X\to\infty}\frac{1}{\log X}\sum_{m\leq X}\frac{1}{m}\sup_{\alpha\in C}\bigg|\frac{1}{H}\sum_{h\leq…

The paper has two purposes. First, we start to develop a theory of infinite global fields, i.e., of infinite algebraic extensions either of ${\mathbb{Q}}$ or of ${\mathbb{F}}_r(t)$. We produce a series of invariants of such fields, and we…

We define generalised zeta functions associated to indefinite quadratic forms of signature (g-1,1) -- and more generally, to complex symmetric matrices whose imaginary part has signature (g-1,1) -- and we investigate their properties. These…