Related papers: Integral Diophantine approximation on varieties

Fixpoints are ubiquitous in computer science and when dealing with quantitative semantics and verification one often considers least fixpoints of (higher-dimensional) functions over the non-negative reals. We show how to approximate the…

For a smooth curve $B$ over an algebraically closed field $k$, for every $B$-flat complete intersection $X_B$ in $B\times_{\text{Spec}\ k} \mathbb{P}^n_k$ of type $(d_1,\dots,d_c)$, if the Fano index is $\geq 2$ and if…

Let X be a projective variety which is covered by rational curves, for instance a Fano manifold over the complex numbers. In this setup, characterization and classification problems lead to the natural question: "Given two points on X, how…

The main purpose of this work is to extend the properties of multivalued transformations to the integral type transformations and to obtain the existence of fixed points under F-contraction. In addition, the results of this study were…

We consider the question of how well points in a quadric hypersurface $M\subset\mathbb R^d$ can be approximated by rational points of $\mathbb Q^d\cap M$. This contrasts with the more common setup of approximating points in a manifold by…

Well-founded fixed points have been used in several areas of knowledge representation and reasoning and to give semantics to logic programs involving negation. They are an important ingredient of approximation fixed point theory. We study…

We prove explicit bounds on the number of lattice points on or near a convex curve in terms of geometric invariants such as length, curvature, and affine arclength. In several of our results we obtain the best possible constants. Our…

In this article we establish two new results on quantitative Diophantine approximation for one-parameter families of diagonal ternary indefinite forms. In the first result, we consider quadratic forms taking values at prime points. In the…

We develop the metric theory of Diophantine approximation on homogeneous varieties of semisimple algebraic groups and prove results analogous to the classical Khinchin and Jarnik theorems. In full generality our results establish…

We give upper and lower bounds for Diophantine exponents measuring how well a point in the plane can be approximated by points in the orbit of a lattice $\Gamma<\mathrm{SL}_2(\mathbb{R})$ acting linearly on $\mathbb{R}^2$. Our method gives…

We study Lagrange spectra arising from intrinsic Diophantine approximation of circles and spheres. More precisely, we consider three circles embedded in $\mathbb{R}^2$ or $\mathbb{R}^3$ and three spheres embedded in $\mathbb{R}^3$ or…

This article introduces and studies the tight approximation property, a property of algebraic varieties defined over the function field of a complex or real curve that refines the weak approximation property (and the known cohomological…

We give an approximate algorithm of computing holonomic systems of linear differential equations for definite integrals with parameters. We show that this algorithm gives a correct answer in finite steps, but we have no general stopping…

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which…

Let $Y$ be a smooth quasi-projective complex variety equipped with a simple normal crossings compactification. We show that integral points are potentially dense in the (relative) character varieties parametrizing $SL_2$-local systems on…

In this article, we study an analytic curve $\varphi: I=[a,b]\rightarrow \mathrm{M}(n\times n, \mathbb{R})$ in the space of $n$ by $n$ real matrices, and show that if $\varphi$ satisfies certain geometric conditions, then for almost every…

In this paper, we introduce the concepts of weaknorm, quasi-weaknorm on real vector spaces. By these concepts, we introduce the concept of quasi-locally convex topological vector spaces, which include locally convex topological vector…

Given $n\in N$ and $x,\gamma\in R$, let \begin{equation*} ||\gamma-nx||^\prime=\min\{|\gamma-nx+m|:m\in Z, \gcd (n,m)=1\}, \end{equation*} %where $(n,m)$ is the largest common divisor of $n$ and $m$. Two conjectures in the coprime…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

Let $K$ be a number field and $O_K$ the ring of integers of $K$. In the spirit of Siegel's theorem on integral points on affine algebraic curves, the plane Jacobian conjecture over $K$ is equivalent to the following statement: if $P,Q\in…