Related papers: No bound for the first fixed point

A function is boundedly finite-to-one if there is a natural number $k$ such that each point has at most $k$ inverse images. In this paper, we prove in $\mathsf{ZF}$ (i.e., the Zermelo--Fraenkel set theory without the axiom of choice)…

We deal with values taken by various pseudopower functions at a singular cardinal that is not a fixed point of the aleph function.

We show that there exists an entire function which has neither fixed points nor invariant Baker domains. The question whether such a function exists was raised by Buff.

We construct an algebra of dimension $2^{\aleph_0}$ consisting only of functions which in no point possess a finite one-sided derivative. We further show that some well known nowhere differentiable functions generate algebras, which contain…

We prove the impossibility of finding explicit finitary definitions of the spaces of Tsirelson and Schlumprecht in continuous first-order logic.

David Aspero asks on the possibility of having Forcing axiom FA_{aleph_2}(K), where K is the class of forcing notions preserving stationarity of subsets of aleph_1 and of aleph_2. We answer negatively, in fact we show the negative result…

We prove a nontrivial energy bound for a finite set of affine transformations over a general field and discuss a number of implications. These include new bounds on growth in the affine group, a quantitative version of a theorem by Elekes…

We define the infinite dimensional simplex to be the closure of the convex hull of the standard basis vectors in R^infinity, and prove that this space has the 'fixed point property': any continuous function from the space into itself has a…

The notions of potential infinity (understood as expressing a direction) and actual infinity (expressing a quantity) are investigated. It is shown that the notion of actual infinity is inconsistent, because the set of all (finite) natural…

We show that there is no general algorithm which finds a sequence of points with finite-precision converging computably to the global optima of any continuous function.

One aim of this work is to get a universe in which weak versions of Martin axioms holds for some forcing notions of cardinality aleph_0, aleph_1 and aleph_2 while on aleph_2 club, the ``small'' brother of diamond, holds. As a consequence we…

We establish a locally uniform a priori bound on the dynamics of a rational function $f$ of degree $>1$ on the Berkovich projective line over an algebraically closed field of any characteristic that is complete with respect to a non-trivial…

We compute the first moment of twisted Hecke $L$-functions of prime power level going to infinity, uniformly in the conductor of the twist and in the vertical shift.

Assuming the Continuum Hypothesis, there is a compact first countable connected space of weight aleph_1 with no totally disconnected perfect subsets. Each such space, however, may be destroyed by some proper forcing order which does not add…

We define the $\aleph_{1.5}$ chain condition. The corresponding forcing axiom is a generalization of Martin's Axiom and implies certain uniform failures of club--guessing on $\omega_1$ that don't seem to have been considered in the…

Hal\'asz's Theorem gives an upper bound for the mean value of a multiplicative function $f$. The bound is sharp for general such $f$, and, in particular, it implies that a multiplicative function with $|f(n)|\le 1$ has either mean value…

We establish lower bounds on the complexity of finding $\epsilon$-stationary points of smooth, non-convex high-dimensional functions using first-order methods. We prove that deterministic first-order methods, even applied to arbitrarily…

From known effective bounds on the prime counting function of the form \[ |\pi(x)-\mathrm{Li}(x)| < a \;x \;(\ln x)^{b} \; \exp\left(-{c}\; \sqrt{\ln x}\right); \qquad (x \geq x_0); \] it is possible to establish exponentially tight…

Let $f \in S_k(\Gamma_1(N))$ be a primitive holomorphic form of arbitrary weight $k$ and level $N$. We show that the completed $L$-function of $f$ has $\Omega\left(T^\delta\right)$ simple zeros with imaginary part in $\left[-T, T\right]$,…

It is proved that one cannot approximate stably the first derivative of a smooth function given noisy values of this function and a bound on this function and its first derivative. Such an approximation is shown to be possible if an a…