Source author record

Johannes Schleischitz

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
2topics
4close collaborators

Published work

13 publications

preprint2022arXiv

Diophantine approximation on curves

Let gg be a dimension function. The Generalised Baker-Schmidt Problem (1970) concerns the gg-dimensional Hausdorff measure ($\HH^g$-measure) of the set of ΨΨ-approximable points on nondegenerate manifolds. The problem relates the `size' of the set of ΨΨ-approximable points with the convergence or divergence of a certain series. In the dual approximation setting, the divergence case has been established by Beresnevich-Dickinson-Velani (2006) for any nondegenerate manifold. The convergence case, however, represents a major challenging open problem and progress thus far has been effectuated in limited cases only. In this paper, we discuss and prove several results on the $\HH^g$-measure on Veronese curves in any dimension nn. As a consequence of one of our results, we generalize recent results of Pezzoni [Acta Arith. 193 (2020), no. 3, 269-281] regarding n=3n=3. This improvement evolves from a deeper investigation on general irreducibility considerations applicable in arbitrary dimensions. We further investigate the $\HH^g$-measure for convergence on planar curves. We show that the monotonicity assumption on a multivariable approximating function cannot be removed for planar curves.

preprint2022arXiv

Metric results on inhomogeneously singular vectors

Given $\ut\in\Rm$ and any norm ∥.∥\Vert.\Vert on $\Rm$, we consider "inhomogeneously singular" vectors in $\Rm$ that admit an integer vector solution (q,p‾)=(q,p1,…,pm)(q,\underline{p})=(q,p_1,\ldots,p_m) to the system \[ 1\leq q\leq Q, \qquad \Vert q\ux-\underline{p}-\underlineθ\Vert\leq cQ^{-1/m} \] for any c>0c>0 and all large QQ. We show that this set has large packing dimension, and in view of recent deep results by Das, Fishman, Simmons, Urbański, our lower bounds are almost sharp (up to O(m−1)O(m^{-1})). We establish slightly weaker bounds for the Hausdorff dimension as well. Our bounds are applicable to the bb-ary setting, i.e. when restricting to qq above integral powers of some given base b≥2b\geq 2. We further derive similar results for vectors on certain mm-dimensional fractals, thereby contributing to a question of Bugeaud, Cheung and Chevallier and complementing recent work by Kleinbock, Moshchevitin and Weiss and by Khalil. Moreover, we show that in contrast to Liouville vectors, the set of singular vectors in $\Rm$ does not form a comeagre set. We infer this from a general new result that any comeagre set in $\Rm$ has full packing dimension. As another independent consequence of our method, we show that there are subsets A,BA,B of Rm\mathbb{R}^m for which A+B=B+B=RmA+B=B+B=\mathbb{R}^m but A+BA+B has Hausdorff dimension less than mm, and generalizations. The proofs rely on observations on sumsets and a result by Tricot involving Cartesian products and are surprisingly elementary. The topological results further use an observation of Erdős.

preprint2021arXiv

Applications of Siegel's Lemma to a system of linear forms and its minimal points

Consider a real matrix ΘΘ consisting of rows (θi,1,…,θi,n)(θ_{i,1},\ldots,θ_{i,n}), for 1≤i≤m1\leq i\leq m. The problem of making the system linear forms x1θi,1+⋯+xnθi,n−yix_{1}θ_{i,1}+\cdots+x_{n}θ_{i,n}-y_{i} for integers xj,yix_{j},y_{i} small naturally induces an ordinary and a uniform exponent of approximation, denoted by w(Θ)w(Θ) and w^(Θ)\widehat{w}(Θ) respectively. For m=1m=1, a sharp lower bound for the ratio w(Θ)/w^(Θ)w(Θ)/\widehat{w}(Θ) was recently established by Marnat and Moshchevitin. We give a short, new proof of this result upon a hypothesis on the best approximation integer vectors associated to ΘΘ. Our conditional result extends to general m>1m>1 (but may not be optimal in this case). Moreover, our hypothesis is always satisfied in particular for m=1,n=2m=1, n=2 and thereby unconditionally confirms a previous observation of Jarník. We formulate our results in the more general context of approximation of subspaces of Euclidean spaces by lattices. We further establish criteria upon which a given number ℓ\ell of consecutive best approximation vectors are linearly independent. Our method is based on Siegel's Lemma.

preprint2019arXiv

On a question of Schmidt and Summerer concerning 33-systems

Following a suggestion of W.M. Schmidt and L. Summerer, we construct a proper 33-system (P1,P2,P3)(P_{1},P_{2},P_{3}) with the property φ‾3=1\overlineφ_{3}=1. In fact, our method generalizes to provide nn-systems with φ‾n=1\overlineφ_{n}=1, for arbitrary n≥3n\geq 3. We visualize our constructions with graphics. We further present explicit examples of numbers ξ1,…,ξn−1ξ_{1}, \ldots, ξ_{n-1} that induce the nn-systems in question.

preprint2017arXiv

An equivalence principle between polynomial and simultaneous Diophantine approximation

We show that Mahler's classification of real numbers ζζ with respect to the growth of the sequence (wn(ζ))n≥1(w_{n}(ζ))_{n\geq 1} is equivalently induced by certain natural assumptions on the decay of the sequence (λn(ζ))n≥1(λ_{n}(ζ))_{n\geq 1} concerning simultaneous rational approximation. Thereby we obtain a much clearer picture on simultaneous approximation to successive powers of a real number in general. Another variant of the Mahler classification concerning uniform approximation by algebraic numbers is shown as well. Our method has several applications to classic exponents of Diophantine approximation and metric theory. We deduce estimates on the Hausdorff dimension of well-approximable vectors on the Veronese curve and refine the best known upper bound for the exponent λ^n(ζ)\widehatλ_{n}(ζ) for even n≥4n\geq 4.

preprint2016arXiv

On a problem posed by Mahler

E. Maillet proved that the set of Liouville numbers is preserved under rational functions with rational coefficients. Based on this result, a problem posed by Kurt Mahler is to investigate whether there exist entire transcendental functions with this property or not. For large parametrized classes of Liouville numbers, we construct such functions and moreover we show that it can be constructed such that all their derivatives share this property. We use a completely different approach than in a recent paper, where functions with a different invariant subclass of Liouville numbers were constructed (though with no information on derivatives). More generally, we study the image of Liouville numbers under analytic functions, with particular attention to f(z)=zqf(z)=z^{q} where qq is a rational number.

preprint2016arXiv

On the spectrum of Diophantine approximation constants

The approximation constant λk(ζ)λ_{k}(ζ) is defined as the supremum of real ηη such that ∥ζjx∥≤x−η\Vert ζ^{j}x\Vert\leq x^{-η} for 1≤j≤k1\leq j\leq k has infinitely many integer solutions xx. Here ∥.∥\Vert.\Vert denotes the distance to the closest integer. We establish a connection on the joint spectrum (λ1(ζ),λ2(ζ),…)(λ_{1}(ζ),λ_{2}(ζ),\ldots) which will lead to various improvements of known results on the individual spectrum of the approximation constants λk(ζ)λ_{k}(ζ) as well. In particular, this extends a result by Bugeaud to the case of arbitrary dimension kk. Concretely, given k≥1k\geq 1 and λ≥1λ\geq 1, we infer {\em explicit} constructions of ζζ in the Cantor set with λk(ζ)=λλ_{k}(ζ)=λ.

preprint2016arXiv

On uniform approximation to real numbers

Let n≥2n \ge 2 be an integer and ξξ a transcendental real number. We establish several new relations between the values at ξξ of the exponents of Diophantine approximation wn,wn∗,w^nw_n, w_{n}^{\ast}, \hat{w}_{n}, and w^n∗\hat{w}_{n}^{\ast}. Combining our results with recent estimates by Schmidt and Summerer allows us to refine the inequality w^n(ξ)≤2n−1\hat{w}_{n}(ξ) \le 2n-1 proved by Davenport and Schmidt in 1969.

preprint2015arXiv

On a Z\mathbb{Z}-module connected to approximation theory

This paper deals with the set of α∈Rα\in{\mathbb{R}} such that αζn mod 1αζ^{n} \bmod 1 tends to 00 for a fixed ζ∈Rζ\in{\mathbb{R}}, which we call Mζ\mathscr{M}_ζ. Predominately the case of Pisot numbers ζζ is studied. In this case the inclusions OQ(ζ)⊂Mζ⊂Q(ζ)\mathcal{O}_{\mathbb{Q}(ζ)}\subset\mathscr{M}_ζ\subset\mathbb{Q}(ζ) are known. We will show the properties of Mζ\mathscr{M}_ζ are connected to the module structure of the ring of integers OQ(ζ)\mathcal{O}_{\mathbb{Q}(ζ)}. We will describe the module structure of Mζ\mathscr{M}_ζ and how much Mζ\mathscr{M}_ζ differs from OQ(ζ)\mathcal{O}_{\mathbb{Q}(ζ)}. The results besides allow to give some information on the shape of integral bases of real number fields.

preprint2015arXiv

On Approximation constants for Liouville numbers

We investigate some Diophantine approximation constants related to the simultaneous approximation of (ζ,ζ2,…,ζk)(ζ,ζ^{2},\ldots,ζ^{k}) for Liouville numbers ζζ. For a certain class of Liouville numbers including the famous representative ∑n≥110−n!\sum_{n\geq 1} 10^{-n!} and numbers in the Cantor set, we explicitly determine all approximation constants simultaneously for all k≥1k\geq 1.

preprint2014arXiv

On the rate of accumulation of αζnαζ^{n} mod 1 to 0

In this paper we study the distribution of the sequence (αζn)n≥1(αζ^{n})_{n\geq 1} mod 11, where α,ζα,ζ are fixed positive real numbers, with special focus on the accumulation point 00. For this purpose we introduce approximation constants σ‾(α,ζ),σ‾(α,ζ)\underlineσ(α,ζ),\overlineσ(α, ζ) and study their properties in dependence of α,ζα,ζ, distinguishing in particular the cases of Pisot numbers, algebraic non Pisot numbers and transcendental values of αα as well as ζζ.

preprint2013arXiv

Diophantine approximation and special Liouville numbers

This paper introduces some methods to determine the simultaneous approximation constants of a class of well approximable numbers ζ1,ζ2,...,ζkζ_{1},ζ_{2},...,ζ_{k}. The approach relies on results on the connection between the set of all ss-adic expansions (s≥2s\geq 2) of ζ1,ζ2,...,ζkζ_{1},ζ_{2},...,ζ_{k} and their associated approximation constants. As an application, explicit construction of real numbers ζ1,ζ2,...,ζkζ_{1},ζ_{2},...,ζ_{k} with prescribed approximation properties are deduced and illustrated by Matlab plots.

preprint2013arXiv

Two estimates concerning classical Diophantine approximation constants

In this paper we aim to prove two inequalities involving the classical approximation constants wn′(ζ),w^n′(ζ)w_{n}^{\prime}(ζ),\hat{w}_{n}^{\prime}(ζ) that stem from the simultaneous approximation problem ∣ζjx−yj∣|ζ^{j}x-y_{j}|, 1≤j≤n1\leq j\leq n, on the one side and the constants wn∗(ζ),w^n∗(ζ)w_{n}^{\ast}(ζ),\hat{w}_{n}^{\ast}(ζ) connected to approximation with algebraic numbers of degree ≤n\leq n on the other side. We concretely prove wn∗(ζ)w^n′(ζ)≥1w_{n}^{\ast}(ζ)\hat{w}_{n}^{\prime}(ζ)\geq 1 and w^n∗(ζ)wn′(ζ)≥1\hat{w}_{n}^{\ast}(ζ)w_{n}^{\prime}(ζ)\geq 1. The first result is due to W. Schmidt, however our method of proving it allows to derive the other inequality as a dual result. Finally we will discuss estimates of wn∗(ζ),w^n∗(ζ)w_{n}^{\ast}(ζ), \hat{w}_{n}^{\ast}(ζ) uniformly in ζζ depending only on nn as an application.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.