Rational approximation to algebraic varieties and a new exponent of simultaneous approximation

This paper deals with two main topics related to Diophantine approximation. Firstly, we show that if a point on an algebraic variety is approximable by rational vectors to a sufficiently large degree, the approximating vectors must lie in the topological closure of the rational points on the variety. In many interesting cases, in particular if the set of rational points on the variety is finite, this closure does not exceed the set of rational points on the variety itself. This result enables easier proofs of several known results as special cases. The proof can be generalized in some way and encourages to define a new exponent of simultaneous approximation. The second part of the paper is devoted to the study of this exponent.


Introduction
In this paper we study certain aspects concerning the simultaneous approximation of vectors ζ ∈ R k by rational vectors. In the classical setting of simultaneous approxima- tion the approximating rational vectors are of the form ( p 1 /q, . . . , p k /q) ∈ Q k and the maximum of |ζ i − p i /q| is compared with the size of (large) q. In Sects. 1, 2 we stick to this classical setting and derive a new result concerning very well approximable points on varieties that generalizes several results that have been established. This main result has a natural extension to the case where the denominators of the rational approximations may differ. Motivated by this we will introduce a new exponent of simultaneous approximation in Sect. 3 and study its properties. We first introduce some notation. Definition 1.1 Let k ≥ 1 be an integer. For a function ψ : R → R let H k ψ ⊆ R k be the set of points ζ = (ζ 1 , . . . , ζ k ) approximable to degree ψ, that is such that has a solution (x, y 1 , . . . , y k ) ∈ Z k+1 for arbitrarily large values of x. If ψ(x) = x −μ for μ > 0, we will also write H k μ for H k ψ and refer to ζ as approximable to degree μ. Dirichlet's Theorem can be formulated in the way that H k 1/k equals the entire space R k . Thus only functions ψ(x) ≤ x −1/k for large x resp. parameters μ > 1/k are of interest. Furthermore it is known thanks to Khintchine [8] that the set H k 1/k+δ for any fixed δ > 0 has k-dimensional Lebesgue measure 0. On the other hand, the set ∪ δ>0 H k 1/k+δ often referred to as (simultaneously) very well approximable vectors, has full Hausdorff dimension k, see [7]. As usual denote by . the distance of a real number to the nearest integer. Next we define constants closely related to the sets H k μ that have been intensely studied. Definition 1.2 Let k ≥ 1 be an integer. For ζ = (ζ 1 , . . . , ζ k ) ∈ R k let ω k (ζ ) be the exponent of classical k-dimensional rational approximation, i.e. the supremum of ν > 0 such that max 1≤ j≤k xζ j ≤ x −ν has infinitely many integral solutions x. Similarly, let ω k (ζ ) be the supremum of μ such that the system has an integral solutions x for every large parameter X .
The sets H k μ coincide with the sets {ζ ∈ R k : ω k (ζ ) ≥ μ} for every μ > 0, respectively. For the special case of ζ successive powers of a real number this leads to the quantities λ k , λ k defined by Bugeaud and Laurent [5]. Definition 1. 3 Let k ≥ 1. For ζ ∈ R define λ k (ζ ) as the supremum of real μ such that max 1≤ j≤k xζ j ≤ x −μ has arbitrarily large solutions x. Similarly, let λ k (ζ ) be the supremum of μ such that the system has an integral solutions x for every large parameter X .

Definition 1.4
For a monomial M := a X j 1 1 · · · X j k k with a ∈ Q\{0} let j 1 + · · · + j k be the total degree of M. For P ∈ Q[X 1 , . . . , X k ] define the absolute degree of P as the maximum of the total degrees of the monomials involved in P.

A result on approximation to varieties
Theorem 2.1 is the main result of this section. Its proof is not difficult and based on the fact that if a polynomial with rational coefficients of absolute degree r does not vanish at some point (y 1 /x, . . . , y k /x) then the evaluation is bounded below essentially by x −r . We partly state it because in view of Theorem 3.5 below it will help to motivate the new exponent we will introduce in Sect. 3. Theorem 2.1 Let P ∈ Q[X 1 , . . . , X k ] of absolute degree r and V be the variety defined by Denote T := V ∩ Q k the rational points on V . Let ψ : R → R be any function with the property where T denotes the topological closure of T with respect to the usual Euclidean metric.
Proof Clearly we may assume P ∈ Z[X 1 , . . . , X k ]. It also obvious that T ⊆ H k ψ ∩V for an arbitrary function ψ, since given ( p 1 /q, . . . , p k /q) ∈ T it suffices to take (x, y 1 , . . . , y k ) = (Mq, Mp 1 , . . . , Mp k ) the integral multiples of the vector (M ∈ {1, 2, . . .}) in Definition 1.1. We must prove that H k x of x such that U ∩ T = ∅, or in other words there is no rational point in U ∩ V . Observe that P is C ∞ on R k , thus in U the partial derivatives P x 1 , . . . , P x k are uniformly bounded by some constant C in absolute value. We may assume x to be large enough that (y 1 /x, . . . , y k /x) ∈ U . With repeated use of (one-dimensional) Taylor Theorem parallel to the coordinate axes we obtain where t j ∈ U . Thus Since (y 1 /x, . . . , y k /x) ∈ V ∩ U which has empty intersection with Q k we derive P(y 1 /x, . . . , y k /x) = 0.
The theorem in particular applies if T is finite.

Corollary 2.2 With the definitions and assumptions of Theorem 2.1 assume that the set T of rational points on V is finite. Then
Corollary 2.2 contains various known results as special cases. For example the Fermat curve defined as the set of zeros of P(X, Y ) = X k + Y k − 1 has only possibly the trivial points {(±1, 0), (0, ±1)} approximable to degree greater k − 1, which was established by Bernik and Dodson [1, p. 94]. Corollary 2.2 also implies one of the two claims of the main result of [6, Theorem 1.1] by Druţu. Concretely it asserts that for a quadratic form Q in arbitrary many variables, if there are no rational points on the variety defined by Q(X )−1 = 0, then there are no points on this variety approximable to degree greater than 1. In fact Theorem 2.1 generalizes [6, Lemma 4.1.1] which readily implied this claim. However, it should be pointed out that the main and much more technical result of [6, Theorem 1.1] is the other claim, which provides a formula for the Hausdorff dimension for the variety as above in the case that it contains rational points. Observe also that Corollary 2.2 implies that an elliptic curve of rank 0 contains only finitely many points approximable to degree larger than 3 by rational vectors. We want to add that a very similar result was proved for very well approximable points on surfaces parametrized by polynomials with rational coefficients, see [2,Lemma 1].
The case that T in Theorem 2.1 is infinite but consists solely of isolated rational points that may have some non-rational limit point on V (observe V is closed) is of interest. The question arises how large the set T \T of such limit points can be, for example in sense of Hausdorff measure. It is already not obvious how to find an algebraic variety where T is infinite and consists solely of isolated points.

A new exponent of simultaneous approximation
The proof of Theorem 2.1 can be extended in some way to a similar Diophantine approximation problem that seems so far unstudied in the literature. We first define the new exponent of simultaneous approximation below and derive some propoerties, and will return to the connection with Sect. 2 in Theorem 3.5.
For a real function ψ(t) that tends to 0 as t → ∞ let Z k ψ be the set of ζ = (ζ 1 , . . . , ζ k ) ∈ R k such that the system Obviously Z k ψ ⊇ H k ψ for all k ≥ 1 and any ζ ∈ R k for any function ψ, with equality if k = 1. In particular χ k (ζ ) ≥ ω k (ζ ) for all k ≥ 1 and all ζ ∈ R k . Moreover Z k 1 = R k by the uniform version of Dirichlet's Theorem applied to any single ζ j . Furthermore the k-dimensional exponent is trivially bounded above by the minimum of the one-dimensional constants λ 1 (ζ j ). As stated in Sect. 1 each of these single exponents equals 1 also for almost all ζ ∈ R in terms of Lebesgue measure. Hence for almost all ζ ∈ R k we have χ k (ζ ) = 1. Moreover by Roth's Theorem χ k (ζ ) = 1 if there is at least one irrational algebraic element among the ζ j .
We can reformulate the above observations by the formula Recall the one-dimensional constants λ 1 (ζ ) are determined by the continued fraction expansion of ζ . Roughly speaking, the exponent χ k somehow measures the distances of denominators of those convergents p j /q j , which lead to very good approximation | p j /q j − ζ j | of the ζ j , compared to the single q j . The situation is different for the exponents ω k , where denominators of continued fractions of single ζ j lead to a large exponent ω k only if their lowest common multiple is small compared to the smallest single q j . Roughly speaking the exponents χ k measure something in between the separate one-dimensional best approximations λ 1 of the single ζ j and the classical simultaneous approximation constants ω k . Another relation between χ k and ω k is given by the following easy lemma where this phenomenon becomes apparent.
is satisfied. Then 0 < q 1 · · · q k ≤ Q k and The claim follows since we may let ν arbitrarily close to χ k (ζ ).
Uniform exponents can be defined similarly to the classical simultaneous Diophantine approximation constants, but since Dirichlet's Theorem is uniform in the parameter Q again (for irrational ζ j ) and hence . We formulate some questions concerning the constants χ k similar to well-known (partially answered) problems for the classic exponents ω k , λ k , see for example [3,. By the spectrum of χ k we will mean the set {χ k (ζ ) : ζ ∈ T k } ⊆ R of values taken by χ k in the set T k ⊆ R k of ζ ∈ R k which are linearly independent together with {1} over Q.
Concerning Problem 3.3, we point out that the estimates hold, where the right inequality is non-trivial only for λ > k. Indeed Jarník [7] proved for λ ∈ [1/k, ∞], which in combination with χ k (ζ ) ≥ ω k (ζ ) and Lemma 3.1 respectively proves the inequalities in (5) respectively. Concerning Problem 3.4 for varieties, a slight modification of the proof of Theorem 2.1 shows the following. Theorem 3.5 Let P ∈ Q[X 1 , . . . , X k ] of absolute degree r and V be the variety defined by Proof of Theorem 3.5 Proceed precisely as in the proof of Theorem 2.1, and notice that for general fractions z := ( p 1 /q 1 , . . . , p k /q k ) we still have the lower bound Remark 3. 6 The proof shows that for the large class of varieties the exponent kr − 1 can be readily improved. This is the case if the polynomial does not contain all monomials a 1 X r 1 , a 2 X r 2 , . . . , a k X r k with non-zero coefficients a i = 0. More precisely the condition ψ(x) = o(x −r +1 ), with r := k j=1 r j ≤ kr where r j ≤ r is the degree of P(X 1 , . . . , X k ) in the variable X j , suffices to obtain the result of Theorem 3.5. In particular if P is of the form P(X 1 , . . . , X k ) = X r 1 1 X r 2 2 · · · X r k k − l 1 /l 2 for l 1 /l 2 ∈ Q, then ψ(x) = o(x −r +1 ) is sufficient. More generally this applies for P(X 1 , . . . , X k ) = ( p/q)X r 1 1 X r 2 2 · · · X r k k + Q(X 1 , . . . , X k ) for p/q ∈ Q and any Q ∈ Q[X 1 , . . . , X k ] of degree at most r j in the variable X j for 1 ≤ j ≤ k.
We want to point out some consequences and interpretations of Theorem 3.5, which also aim to shed more light on the meaning of the exponent χ k in general. Recall a Liouville number is an irrational real (and thus transcendental by Liouville's Theorem) number that satisfies λ 1 (ζ ) = ∞. It is shown in [9] that for any countable set of continuous strictly monotonic functions f i : A → B with A, B subsets of R, there are uncountably many Liouville numbers ζ ∈ A such that f i (ζ ) is again a Liouville number for all i. See also [13,16]. Let C be any curve in R k for arbitrary k defined by algebraic equations. Then C can be almost everywhere locally parametrized by such functions f 0 = id, f 1 , . . . , f k−1 , in other words any (ζ 1 , . . . , ζ k ) ∈ C can be written Hence there are uncountably many Liouville points on the curve, by which we mean that every coordinate is a Liouville number. On the other hand, if C is a variety that contains no rational point, by Theorem 3.5 there are also no points simultaneously approximable to a sufficiently large finite degree in the sense of large χ k (of course also not for ω k ). This emphasizes that on algebraic curves there is a huge difference between the minimum of the one-dimensional classical constants λ 1 (ζ j ) and the constants χ k (ζ ). For 0 ≤ i ≤ k − 1 denote by ( p n,i /q n,i ) n≥1 the sequence of convergents of f i (ζ ). Then the above result means that for the Liouville numbers ζ, f 1 (ζ ), . . . , f k−1 (ζ ) in the parametrization there do not exist infinitely many convergents p .,0 /q .,0 , . . . , p .,k−1 /q .,k−1 whose denominators q .,i , 0 ≤ i ≤ k − 1 are all of "similar" largeness. The analogue phenomenon holds for all algebraic surfaces of dimension larger one as well. Indeed, if the dimension of the variety is locally k, then we can write the variety locally as (ζ 1 , . . . , ζ k , ψ 1 (ζ ), . . . , ψ r (ζ )) with ζ = (ζ 1 , . . . , ζ k ) and C ∞ functions ψ j in some open U subset of R k . We fix the first k − 1 coordinates as Liouville numbers in some open subset of R k−1 (i.e. we pick Liouville numbers in the open projection set V ⊆ U of U to the first k −1 coordinates) and the analogue result follows from the one-dimensional case.
Concerning the spectrum of the quantities χ k (ζ ) the next theorem is rather satisfactory.
The condition w ≤ min 1≤ j≤k λ j is necessary in view of (4). It would be nice to have some additional relation between χ k and ω k included. In Theorem 3.9, which treats the special case of the Veronese curve, a connection to the constants λ k will be given provided the parameter is at least 2. We emphasize that Theorem 3.7 answers Problem 3.2.

Corollary 3.8 The spectrum of χ k equals [1, ∞].
Now we turn towards Question 3.4. We restrict to ζ on the Veronese curve and denote the exponent χ k (ζ ) = χ(ζ, ζ 2 , . . . , ζ k ). Since χ k (ζ ) ≥ λ k (ζ ), from [3, Lemma 1] we infer For large parameters λ 1 (ζ ) and special choices of ζ , very similarly constructed as in the proof of [3, Theorem 1] by Bugeaud, we will show in Theorem 3.9 that there is equality in (6). The proof of this is among other things based on the fact that there cannot be two good approximations p/q, p /q to ζ with q, q that do not differ much. Some parts of the proof also involve similar ideas as the proof of [ See also the remarks subsequent to the proof of Theorem 3.9 that relate Theorem 3.9 and ζ constructed in the proof with classical approximation constants. We end by stating the natural conjecture.

Proofs of Theorems 3.7 and 3.9
The proofs heavily use the theory of continued fractions. Any irrational real number has a unique representation as ζ = a 0 + 1/(a 1 + 1/(a 2 + · · · )) for positive integers a j that can be recursively determined. This is called the the continued fraction expansion of ζ and we also write ζ = [a 0 ; a 1 , a 2 , . . .]. The evaluation of any finite subword r l /s l = [a 0 ; a 1 , . . . , a l ] is called convergent to ζ and satisfies |r l /s l − ζ | ≤ s −2 l . More precisely we have a l+2 s l s l+2 ≤ r l s l − ζ ≤ 1 s l s l+1 .
Recall also the inductive formulas r l+1 = a l+1 r l + r l−1 , s l+1 = a l+1 s l + s l−1 . We will utilize also the following well-known result. has an integral solution ( p, q) ∈ Z 2 then p/q is a convergent of ζ in the continued fraction expansion.
Such a choice is again possible. To satisfy (9) we just have to stop reading ones in the continued fraction expansion at the right position, which is possible since by reading only ones two successive denominators of convergents differ by a factor at most 2. Then to guarantee (8) we just have to take the next partial quotient, that is some h j,i , of the right order. We prove that the implied ζ j have the desired properties. Observe that since w ≤ λ 1 ≤ . . . ≤ λ k and the gap between s 1,i and s 1,i+1 can be arbitrarily large, we may assume For X = s 1,i and q j = s j,i for 1 ≤ j ≤ k we have by construction Hence χ k (ζ 1 , . . . , ζ k ) ≥ w by the definition of the constant χ k . On the other hand, we carried out above that we have to take each x j = s j,i for some i. Thus the optimal choices are given by X = s j,i for some j. But (10) implies j = 1 since otherwise if X = s j,i for j = 1 then s 1,i > X but This would imply χ k (ζ 1 , . . . , ζ k ) = 1. In case of w > 1 this indeed gives a contradiction. It follows in fact the choices carried out are optimal and thus χ k (ζ 1 , . . . , ζ k ) ≤ w, such that there is equality. Finally, in the case w = 1 the above construction implies χ k (ζ 1 , . . . , ζ k ) = 1 very similarly. Finally we carry out how to guarantee that the vector ζ can be chosen Q-linearly independent together with {1}, by a slight modification of the above construction. In the process we can recursively choose ζ j for 1 ≤ j ≤ k in turn not in the Q-span of {1, ζ 1 , . . . , ζ j−1 }. First observe that ζ 1 must be transcendental if λ 1 (ζ 1 ) > 1 by Roth Theorem, and otherwise the claim of the theorem is a trivial consequence of (4) for any Q-linearly independent vector ζ with first coordinate ζ 1 anyway. For the recursive step note that the span of j − 1 numbers is countable but we have at infinitely many positions at least two choices of positions where to put h j,i (it follows from the proof that the positions are not completely determined but there is some freedom). Pigeon hole principle implies there must be uncountably many choices for ζ j and repeating this argument we obtain uncountably many vectors that have Q-linearly independent coordinates. Now we turn towards the proof of Theorem 3.9. It needs some preperation. First recall Minkowski's second lattice point Theorem [11] asserts that for a lattice in R k with determinant det and a central-convex body K ⊆ R n of n-dimensional volume vol(K), the product of the successive minima t 1 , . . . , t n of K relative to are bounded by Applied in dimension 2 and for the lattice := {x + ζ y : x, y ∈ Z} and the 0symmetric convex body K Q := {−Q ≤ x ≤ Q, −1/(2Q) ≤ y ≤ 1/(2Q)} it yields the following.
cannot have two linearly independent integral solution pairs ( p, q).
Moreover, we need some facts on continued fractions which can be found in [12].

Theorem 4.3 For irrational ζ and every convergent p/q of ζ in lowest terms we have
More generally, for any parameter Q > 1 the system has a solution ( p, q) with p/q a convergent of ζ .
Call q ∈ N a best approximation of ζ if qζ = min 1≤q ≤q q ζ . As q → ∞ this induces a sequence of best approximations (that uniquely determines ζ ). The following connection to the continued fraction expansion of ζ is well-known.

Lemma 4.4 (Lagrange)
The sequence of best approximations is induced by the sequence of convergents to ζ . More precisely, the j-th element of the sequence is the denominator of the j-th convergent to ζ .
The next Proposition is in fact also well-known. However, we give a proof based on Theorem 4.3, Theorem 4.1 and the fact that for ζ = [a 0 ; a 1 , . . .] with convergents r n /s n we have s n+1 = a n+1 s n + s n−1 (where formally s −2 = 1, s −1 = 0). Observe by Lemma 4.4 we have s n = q n for q n the n-th best approximation. Proposition 4.5 Let q 1 , q 2 , . . . be the sequence of best approximations of ζ = [a 0 ; a 1 , · · · ]. Let ν n := − log q n ζ log q n , η n := log q n+1 log q n , τ n := log(a n+1 q n ) log q n .
Proof The second claim follows from the fact that for ζ = [a 0 ; a 1 , . . .] the convergents p n /q n satisfy the recurrence q n+1 = a n+1 q n + q n−1 (where formally q −2 = 1, q −1 = 0). Indeed this implies a n+1 q n ≤ q n+1 ≤ (a n+1 + 1)q n and further by mean value theorem of differentiation for the logarithm function 0 < η n − τ n ≤ 1/ log q n which tends to 0. For the first claim note that if η n − ν n > 2δ > 0 for fixed δ > 0 and large n, there is a contradiction to Theorem 4.3 for the parameter Q = q 1+δ n for large n. On the other hand if η n − ν n < −2δ < 0, then for the parameter Q = q 1−δ n there would be two good approximations p n /q n and p n+1 /q n+1 , contradicting the Minkowski Theorem 4.2.
Now we are finally ready to prove Theorem 3.9.
To show this estimate, we partition the positive real numbers in successive intervals, and in each interval give an asymptotic upper bounded at most max{2, λ} = λ for the 1dimensional constant λ 1 of some ζ i . Since trivially for every parameter Q the optimal exponent in the system (3) restricted to q ∈ [1, Q] is bounded by the minimum of the related 1-dimensional constants in this intervals (parametrized version of right hand side of (4)), this indeed implies the upper bound λ for χ k (ζ ).
Let n ≥ 1 be a large integer. Denote r m, j /s m, j the m-th convergent of ζ j , such that r m,1 = r m and s m,1 = s m . Observe that using the identity A j − B j = (A − B)(A j−1 + · · · + B j−1 ) and r m, j ζ s m, j , from (12) we obtain 1 ≤ j ≤ k, n → ∞.
We partition the interval [s n , s n+1 ) = [s m,1 , s m+1,1 ) in the successive pairwise disjoint intervals We will prove for Q in each such interval separately the upper bound λ for the expression Assuming this is true, since n was arbitrary and [s 1 , ∞) is obviously the disjoint union of the intervals [s n , s n+1 ) = [s m,1 , s m+1,1 ) over n ≥ 1, we have that λ is the uniform upper bound for χ k (ζ ) as desired. For the following proof of this fact keep in mind that by construction and Lagrange Lemma 4.4, for any 1 ≤ j ≤ k and Q in the interval [s m, j , s m+1, j ), for ζ j the optimal approximation in the system (3) with X = Q is attained for q j = s m, j = s j n (and p j = r j n ). We start with the somehow distinguished middle interval Q ∈ [s m,k , s m+1,k ). We show that in this interval ζ k cannot be approximated too well by fractions. Indeed, the optimal choices Q = s k n and p k = r k n and q k = s k n with (13) and (14) for j = k lead to as n → ∞. The claim follows for these intervals Q ∈ [s m,k , s m+1,k ).
Next consider the intervals Q ∈ [s m+1,i+1 , s m+1,i ) =: J m,i for 1 ≤ i ≤ k − 1. We show that for ζ i there is no too good rational approximation. First observe that J m,i ⊆ [s m,i , s m+1,i ) in view of (15). Hence the optimal approximation choices ( p i , q i ) in the system (3) with 1 ≤ q i ≤ Q ∈ J m,i are given by p i = r i n and q i = s i n . The estimate Q ≥ s m+1,i+1 together with (13) and (14) for j = i lead to as n → ∞. Since λ ≥ 2 the right hand side is much smaller than 2 + o(1) ≤ λ + o(1) and the claim follows for those intervals as well.
The intervals of the form I m,i := [s m,i , s m,i+1 ) for 1 ≤ i ≤ k − 1 remain. We show that for Q in these intervals ζ i+1 has no too good approximations. More precisely for arbitrary fixed > 0 and Q ∈ I m,i with m ≥ m 0 ( ) sufficiently large, we prove that the estimate |qζ i+1 − p| ≤ Q −(i+1)/i− (16) has no integral solution pair ( p, q) with 1 ≤ q ≤ Q. Provided this claim holds, with → 0 we infer that χ k (ζ ) restricted to these intervals is again bounded by (i + 1)/i ≤ 2 ≤ λ and the claim is proved. Suppose (16) has a large solution. Since Q ≥ s m,i = s i n we conclude .
Hence for large m we have On the other hand, recall that r m,i+1 /s m,i+1 is a convergent of ζ i+1 with good approximation, in particular |s m,i+1 ζ i+1 − r m,i+1 | ≤ (1/2)s −1 m,i+1 . Clearly ( p, q) = (r m,i+1 , s m,i+1 ) since q < Q ≤ s m,i+1 by assumption. Since r m,i+1 /s m,i+1 is a convergent in lowest terms, more generally the vectors ( p, q) and (r m,i+1 , s m,i+1 ) must be linearly independent. However, the existence of two linearly independent vectors with such good approximation contradicts Minkowski's Theorem 4.2 for Q = s m,i+1 . Thus the assumption was false and there cannot be a large solution of (16). This finishes the proof.
We close with some remarks on the numbers ζ constructed in the proof, partly concerning classical approximation constants.

Remark 4.6
The bounds for − log |ζ j s m, j − r m, j |/ log Q of the corresponding ζ j in the intervals constructed in the proof are, apart from [s m,k , s m+1,k ), by no means considered to be sharp. It is reasonable that the claim of Theorem 3.9 for the numbers ζ constructed within it extends to λ ∈ [1, ∞].  (13) and (14) and Theorem 4.2 to for 2 ≤ j ≤ k and any parameter λ ≥ max{1, (2 j − k)/k} in order to guarantee that the left expression in the maximum is also at least 1. Clearly the arsing bound max 1≤ j≤k λ 1 (ζ j ) (in case of λ ≥ k such that the condition is satisfied for 1 ≤ j ≤ k) for χ k (ζ ) is weaker than the one in Theorem 3.9 due to the less sophisticated chosen intervals.