arXiv math/04011492004-01math.NT

Metric Diophantine approximation and 'absolutely friendly' measures

Andrew Pollington, Sanju Velani

备注：: To appear: Selecta Mathematica. 11 pages Essentially, the same as first vesrion but proofs are given in full generality rather than resticting to d=2

英文摘要：

Let $W(\p)$ denote the set of $\p$-well approximable points in $\R^d$ and let $K$ be a compact subset of $\R^d$ which supports a measure $μ$. In this short note, we show that if $μ$ is an `absolutely friendly' measure and a certain $μ$--volume sum converges then $μ(W(\p) \cap K) = 0$. The result obtained is in some sense analogous to the convergence part of Khintchines classical theorem in the theory of metric Diophantine approximation. The class of absolutely friendly measures is a subclass of the friendly measures introduced by D. Kleinbock, E. Lindenstrauss and B. Weiss (On fractal measures and Diophantine approximation) and includes measures supported on self similar sets satisfying the open set condition. We also obtain an upper bound result for the Hausdorff dimension of $W(\p) \cap K $.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

关于 $\u211a_S^d$ 上绝对友好测度

On absolutely friendly measures on $\mathbb{Q}_S^d$

本文将 Pollington 和 Velani 的结果推广到 S-算术框架，对 \u211a_S^d 上绝对友好测度给出 ψ 可逼近性的求和判定条件，核心是用动力系统方法证明单形引理。

2023-12-01math.DSmath.NT

几乎Mathieu算子绝对连续谱测度的对数Hausdorff多重分形性

Log-Hausdorff multifractality of the absolutely continuous spectral measure of the almost Mathieu operator

本文研究了亚临界几乎Mathieu算子绝对连续谱测度的分形特征，通过连分数与度量Diophantine技巧给出了经典多重分形谱的完整描述及对数尺度下的精细描述，严格证实了物理学家的直觉。

2025-09-12math-phmath.MPmath.NT

Classical metric Diophantine approximation revisited: the Khintchine-Groshev theorem

Under the assumption that the approximating function $ψ$ is monotonic, the classical Khintchine-Groshev theorem provides an elegant probabilistic criterion for the Lebesgue measure of the set of $ψ$-approximable matrices in $\R^{mn}$. The famous Duffin-Schaeffer counterexample shows that the monotonicity assumption on $ψ$ is absolutely necessary when $m=n=1$. On the other hand, it is known that monotonicity is not necessary when $n > 2$ (Sprindzuk) or when $n=1$ and $m>1$ (Gallagher). Surprisingly, when $n=2$ the situation is unresolved. We deal with this remaining case and thereby remove all …

2010-02-05math.NT

An Inhomogeneous Transference Principle and Diophantine Approximation

In a landmark paper, D.Y. Kleinbock and G.A. Margulis established the fundamental Baker-Sprindzuk conjecture on homogeneous Diophantine approximation on manifolds. Subsequently, there has been dramatic progress in this area of research. However, the techniques developed to date do not seem to be applicable to inhomogeneous approximation. Consequently, the theory of inhomogeneous Diophantine approximation on manifolds remains essentially non-existent. In this paper we develop an approach that enables us to transfer homogeneous statements to inhomogeneous ones. This is rather surprising as the i…

2008-02-28math.NT

Polynomial parametrization of the solutions of Diophantine equations of genus 0

Let f in Z[X,Y,Z] be a non-constant, absolutely irreducible, homogeneous polynomial with integer coefficients, such that the projective curve given by f=0 has a function field isomorphic to the rational function field Q(t). We show that all integral solutions of the Diophantine equation f=0 (up to those corresponding to some singular points) can be parametrized by a single triple of integer-valued polynomials. In general, it is not possible to parametrize this set of solutions by a single triple of polynomials with integer coefficients.

2008-12-01math.ACmath.NT

Diophantine Approximations and the Convergence of Certain Series

Consider two series $$\sum_{n=1}^\infty\frac{\sin^nπθn}{n^α},\quad\sum_{n=1}^\infty\frac{\cos^nπθn}{n^α}.$$ We show that number-theoretical properties of $θ$ have a strong effect on the convergence when $0<α\leq 1$. The complete investigation for $θ\in\mathbb Q$ is given. For irrational $θ$ we prove the result which depends on how well $θ$ can be approximated with rational numbers, i.e. on its irrationality measure. We obtain that if $α>\frac12$ then both series converge absolutely for almost all real $θ$. Finally, we construct such an everywhere dense set of $θ$ that both series diverge when …

2015-06-18math.CAmath.NT

更多相关论文收起更多论文

Diophantine approximations on random fractals

We show that fractal percolation sets in $\mathbb{R}^{d}$ almost surely intersect every hyperplane absolutely winning (HAW) set with full Hausdorff dimension. In particular, if $E\subset\mathbb{R}^{d}$ is a realization of a fractal percolation process, then almost surely (conditioned on $E\neq\emptyset$), for every countable collection $\left(f_{i}\right)_{i\in\mathbb{N}}$ of $C^{1}$ diffeomorphisms of $\mathbb{R}^{d}$, $\dim_{H}\left(E\cap\left(\bigcap_{i\in\mathbb{N}}f_{i}\left(\text{BA}_{d}\right)\right)\right)=\dim_{H}\left(E\right)$, where $\text{BA}_{d}$ is the set of badly approximable …

2019-12-20math.NTmath.PR

Badly approximable vectors and fractals defined by conformal dynamical systems

We prove that if $J$ is the limit set of an irreducible conformal iterated function system (with either finite or countably infinite alphabet), then the badly approximable vectors form a set of full Hausdorff dimension in $J$. The same is true if $J$ is the radial Julia set of an irreducible meromorphic function (either rational or transcendental). The method of proof is to find subsets of $J$ that support absolutely friendly and Ahlfors regular measures of large dimension. In the appendix to this paper, we answer a question of Broderick, Kleinbock, Reich, Weiss, and the second-named author ('…

2016-10-30math.DSmath.NT

好函数、测度与Kleinbock-Tomanov猜想

Good functions, measures, and the Kleinbock-Tomanov conjecture

本文证明了Kleinbock-Tomanov关于 $p$-进分形测度丢番图性质的猜想，建立了友好测度与仿射子空间丢番图继承性的 $p$-进类比，并提出了一种在 $p$-进环境下证明 $(C, α)$-好函数的替代技术方法。

2024-07-16math.DSmath.NT

Singular Vectors on Manifolds over totally real Number Fields

We extend the notion of singular vectors in the context of Diophantine approximation of real numbers with elements of a totally real number field $K$. For $m\geq1$, we establish a version of Dani's correspondence in number fields and prove that under a class of `friendly measures' in $K_S^m$, the set of singular vectors has measure zero. Here $S$ is the set of Archimedean valuations of $K$ and $K_S$ is the product of the completions of $σ(K)$, $σ\in S$. On the other hand, we show the existence of uncountably many non-trivial singular vectors on suitable submanifolds of $K^m_S$ under the action…

2022-02-03math.DSmath.NT

Overlapping iterated function systems from the perspective of Metric Number Theory

In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from Diophantine approximation. This result shows that for a family of limsup sets, their Lebesgue measure is determined by the convergence or divergence of naturally occurring volume sums. For many parameterised families of overlapping iterated function systems, we prove that a typical member will exhibit similar Khintchine like behaviour. Families of iterated function systems our results apply to include those arising from Bernoulli convol…

2020-10-19math.CAmath.DSmath.NT

分形地毯的测度刚性与等分布

Measure rigidity and equidistribution for fractal carpets

University of Illinois Chicago（伊利诺伊大学芝加哥分校）；EPFL（洛桑联邦理工学院）；Tel Aviv University（特拉维夫大学）

研究由有限个收缩有理仿射膨胀生成的随机游走的平稳伯努利测度，证明在无质量逃逸条件下，沿发散对角矩阵序列的推进测度等分布，并推广到加权坏逼近向量和Dirichlet可改进向量的零测性质。

2026-06-06math.DSmath.NT