Bézout bounds and rational points on quasianalytic graphs

Let \mu^{|\infty} = (\mu_j)_{j\ge 1} be an admissible weight satisfying (?) with constant H\ge 1. Let M_0>0, B_0\ge b_0 > 0, and d \in \mathbb{N}_{\ge 1}. Assume that (\mu^{|\infty},\tfrac{1}{2} e^{4H\overline m}\, d^{2d} B_0,2,b_0) is admissible and let

Let f : [0,1] \to [0,1] be (\mu^{|\mathbf{N}},M_0)-smooth and p \in \mathcal{P}_2^d satisfy \|p\|_{\Gamma(f)} \ge b_0 and \|p\|_{[0,1]^2} \le B_0. Then

where \mathbf{z}(p,f) denotes the total number of zeros of p(x,f(x)), for x \in [0,1], counted with multiplicities.

Let I \subseteq \mathbb{R} be a compact interval. Let \mu^{|\infty} = (\mu_j)_{j \ge 1} be an admissible weight and M_0>b_0>0. Assume that (\mu^{|\infty},M_0,|I|,b_0) is admissible and let

Let f : I \to \mathbb{R} be a (\mu^{|\mathbf{N}}, M_0)-smooth function satisfying \|f\|_I \ge b_0. Then the total number of zeros of f in I (counted with multiplicities) is finite and bounded by \mathbf{N}.

Let \mu^{|\infty} = (\mu_j)_{j\ge 1} be an admissible weight satisfying (?) with constant H\ge 1. Let M_0>0. If f : [0,1] \to [0,1] is (\mu^{|N},M_0)-smooth and p \in \mathcal{P}_2^d, then h := p \circ \overline f : [0,1] \to \mathbb{R}, where \overline f : [0,1] \to [0,1]^2, \overline f(x) = (x,f(x)), is (2\, \mu^{|N}, \tfrac{1}{2} e^{4H\overline m}\, d^{2d}\, \|p\|_{[0,1]^2})-smooth.

Let \mu^{|\infty} = (\mu_j)_{j\ge 1} be an admissible weight satisfying (?) with constant H\ge 1. Then the sequence b_j :=a_j^j satisfies

whenever j_1 + \cdots + j_\ell = k and j_i \ge 1 for all 1 \le i \le \ell.

For all p \in \mathcal{P}_n^d and j \in \mathbb{N},

Let f : U \to V and g : V \to W be \mathcal{C}^k maps, where U,V,W are open subsets of normed spaces. Then, for x \in U,

where j = j_1+ \cdots+j_k, the sum is taken over all j_1,\ldots,j_k such that j_1 + 2j_2 + \cdots + kj_k = k, and \operatorname{sym} denotes symmetrization of a multilinear operator.

In the setting of ?, the composite h = p \circ \overline f : [0,1] \to \mathbb{R} is (2\, \mu^{|N}, \tfrac{1}{2} (4 d^2 H \hat m)^d\, \|p\|_{[0,1]^2})-smooth, where

Let \mu^{|\infty} = (\mu_j)_{j\ge 1} be an admissible quasianalytic weight satisfying (?) with constant H\ge1. Let M_0>0. If f : [0,1] \to [0,1] is a transcendental (\mu^{|\infty},M_0)-smooth function, then, for each p \in \mathcal{P}_2^d\setminus \{0\},

Consequently,

Let f : [0,1] \to [0,1] be real analytic and transcendental. There exist C,\rho>0 (depending on f) such that

Let f : [0,1] \to [0,1] be transcendental and the restriction of an entire function. There exists C=C(f)>0 such that

Let f be a non-polynomial entire function on \mathbb{C}^n that is real on \mathbb{R}^n. Assume that the graph \Gamma(f|_{\mathbb{R}^n}) of f|_{\mathbb{R}^n} intersects [0,1]^{n+1} in a subset Z of real dimension n. Then there exists a sequence of positive integers d_j \to \infty and a sequence of positive reals \epsilon_j \to 0 such that

The sequence (d_j) depends only on f and the sequence (\epsilon_j) only on f, n, and the n-dimensional Hausdorff measure of Z.

Let f : [0,1] \to [0,1] be transcendental and the restriction of an entire function that is real on \mathbb{R}. There exists a sequence of positive integers d_j \to \infty, a sequence of positive reals \epsilon_j \to 0, and a constant C>0 such that

Let s \ge 0 and a\ge 1. Then \eta_{a\,\mu_s^{|\infty}} : \mathbb{N}_{\ge 1} \to \mathbb{N} is bounded by a polynomial if and only if s \in [0,1].

For s=k \in \mathbb{N} and m \in \mathbb{N}_{\ge 1},

where f_k(a,m) := 2a e+ L_{k+1}(e_k(m+1)). In particular,

Let s \in [0,1]. If f : [0,1] \to [0,1] is a transcendental (\mu_s^{|\infty},M_0)-smooth function, then \mathbf{z}_d(f) is bounded by a polynomial in d and \mathbf{e}_d(f).

Let s \in [0,1] and let f : [0,1] \to [0,1] be a transcendental function of class \mathcal{C}_{M_s} associated with the Denjoy weight \mu_s^{|\infty} (with (M_s)_0=1) such that \mathbf{e}_d(f) is bounded by a polynomial in d. Then the number of rational points of height at most H on the graph of f is bounded by a polynomial in \log H.

The family \{f_\xi\} has the following properties:

1. f_\xi : [0,1] \to [0,1] belongs to \mathcal{C}_M.

2. Almost surely, f_\xi is not real analytic. More generally, almost surely f_\xi does not belong to any class \mathcal{C}_{L} with \omega_M(t) = o(\omega_L(t)) as t \to \infty, where L is any weight sequence as in ?.

3. Almost surely, \mathbf{e}_d(f_\xi) is bounded by a polynomial in d of degree 7 (whose coefficients depend on \xi).

Let M = M_s a Denjoy weight for s \in (0,1] with (M_s)_0 =1. Then, for the family \{f_\xi\}, the number of rational points of height at most H on the graph of f_\xi is almost surely bounded by a polynomial in \log H.