[論文レビュー] Multiplicative Diophantine Approximation on Planar Lines with Restricted Denominators

Lucas Tapia|arXiv (Cornell University)|Feb 26, 2026

Mathematical Dynamics and Fractals被引用数 0

ひとこと要約

本論文は、制限された分母を持つ乗法的ディオファント契約集合に対する非退化直線上のKhintchine型収束結果を証明し、inhomogeneous設定におけるHausdorff測度・次元境界を与える。

ABSTRACT

We prove a Khintchine result for convergence of a multiplicative Diophantine set with restricted denominators on an arbitrary non-degenerate line. Specifically, given sequences of real numbers $\{a_n\}_{n\in\mathbb{N}},\, \{b_n\}_{n\in\mathbb{N}},\, \{c_n\}_{n\in\mathbb{N}},\, \{d_n\}_{n\in\mathbb{N}},$ we determine convergence conditions under which the set of $x\in [0,1]$ which satisfy $\left\lVert a_n x +c_n ight Vert \cdot \left\lVert b_n x + d_n ight Vert < ψ(n) $ for infinitely many $n\in\mathbb{N}$ has zero Hausdorff s-measure. We also obtain an upper bound for the Hausdorff dimension in the inhomogeneous setting.

研究の動機と目的

• 制限された分母によって定義される直線上の乗法的ディオファント集合の収束性と測度論的性質を調査する。
• inhomogeneous設定における零Hausdorff s-測度基準とHausdorff次元の上界を確立する。
• 逼近関数の収束条件のもとで実数列a_n, b_nに対して以前の結果を一般化する。

提案手法

• ||a_n x + c_n||と||b_n x + d_n||およびψ(n)を含む不等式によって直線上の集合M(ψ)を定義する。
• 関連する集合の大きさと測度を境界付けるための覆い・格子計数の議論を展開する。
• Hausdorff測度に対するBorel–Cantelli型アプローチを用いてKhintchine型収束結果を証明する。
• ψ, a_n, b_nに関する級の有限性によって定義されるτパラメータを用いてHausdorff次元の上界を導出する。
• 実数のa_n, b_nと整数の場合の両方を扱い、aと bが整数の場合にはより良い推定を得る。
• 指数基数a^n, b^nおよび単調なψに関する系譜的コロラーリを提示する。

実験結果

リサーチクエスチョン

• RQ1 ψの収束条件の下で planar line上の集合M(ψ)がs∈(0,1)で零のHausdorff s-測度を持つ条件は何か。
• RQ2 定義されたτと列a_n, b_nに対してM(ψ)のHausdorff次元に対する上界はどのように得られるか。
• RQ3 inhomogeneousシフト(c_n, d_n)および非整数のa_n, b_nは測度と次元の結果にどう影響するか。
• RQ4 ψの収束基準を維持しつつ実数値のa_n, b_nに結果を拡張できるか。

主な発見

• ∑ b_n (ψ(n)/b_n)^s + ∑ gcd(a_n,b_n)(ψ(n)/(a_n b_n))^{s/2} < ∞ が s ∈ (0,1) ならば H^s(M(ψ)) = 0。
• ∑ ψ(n) log(1/ψ(n)) + ∑ gcd(a_n,b_n)(ψ(n)/(a_n b_n))^{1/2} < ∞ ならば λ(M(ψ)) = 0 かつ dim_H M(ψ) ≤ min{1, τ}。
• 実数のa_n, b_nを用いたinhomogeneous列に対して、τ = inf{ s>0 : ∑ [b_n(ψ(n)/b_n)^s + a_n(ψ(n)/(a_n b_n))^{s/2}] < ∞ } のとき dim_H M(ψ) ≤ min{1, τ} の境界が成り立つ。
• a_n, b_nが整数ならば N(η,ξ) は O(b η + (a,b)) に制限され、E(δ) は実数の場合を改善する明示的なHausdorff/Lebesgue境界を持つ。
• コロラリ: a_n = a^n, b_n = b^n かつ 1 < a < b の場合、あるs ∈ (max{2−log b/log a, 0}, 1)で ∑ b^n(ψ(n)/b^n)^s の和が有限となり、H^s(M(ψ)) = 0 を意味する。
• 本論文はまた収束結果を導く枠組み（命題4,5）と対応するM_2(ψ)解析（命題6）を提供する。