pith. sign in

arxiv: 2604.13868 · v2 · submitted 2026-04-15 · 🧮 math.NT

Fourier Dimension in Inhomogeneous Duffin--Schaeffer Conjecture

Bo Tan , Qing-Long Zhou This is my paper

Pith reviewed 2026-05-10 12:34 UTC · model grok-4.3

classification 🧮 math.NT
keywords Fourier dimensioninhomogeneous Diophantine approximationDuffin-Schaeffer conjectureHausdorff dimensionmetric number theoryChen-Xiong conjecture
0
0 comments X

The pith

The Fourier dimension of the inhomogeneous set W_Q^*(ψ,θ) is determined exactly.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper determines the Fourier dimension of W_Q^*(ψ,θ), the set of x in [0,1] that satisfy an inhomogeneous approximation inequality for infinitely many q drawn from a fixed subset Q and integers p obeying the coprimality condition. A sympathetic reader would care because this furnishes a complete inhomogeneous generalization of earlier results on both homogeneous and inhomogeneous Diophantine sets. The determination recovers specific classical theorems and resolves a conjecture in the affirmative.

Core claim

We determine the Fourier dimension of W_Q^*(ψ,θ). Our result not only recovers the classical theorems of Kaufman and Bluhm (concerning the homogeneous case ψ(q) = q^{-τ} with τ ≥ 1) and the one-dimensional version of a result by Cai and Hambrook on the inhomogeneous approximable set, but also provides a complete inhomogeneous generalization. Moreover, it gives an affirmative answer to the coprime formulation of the Chen--Xiong conjecture.

What carries the argument

The set W_Q^*(ψ,θ) of points satisfying the inhomogeneous inequality with the coprime condition gcd(B_q p + A_q, q) = 1, whose Fourier dimension is calculated under the given conditions on ψ and θ.

Load-bearing premise

The functions ψ and θ together with the sequences A_q and B_q must satisfy unspecified technical conditions such as monotonicity or divergence of certain series.

What would settle it

A concrete choice of ψ, θ, Q, A_q and B_q satisfying the technical conditions for which the Fourier dimension of the resulting set differs from the value stated by the theorem.

read the original abstract

Let \(Q \subseteq \mathbb{N}\) be a subset, and let \(\psi\colon \mathbb{N} \to [0, \tfrac{1}{2})\), \(\theta\colon \mathbb{N} \to \mathbb{R}\) be functions. Let \(\{A_q\}\) and \(\{B_q\}\) be sequences of integers such that \(\gcd(A_q, B_q) = 1\) and \(B_q > 0\) for all \(q\). Define \(W_Q^{\ast}(\psi,\theta)\) to be the set of \(x \in [0,1]\) for which \[ \left| x - \frac{p + \theta(q)}{q} \right| < \frac{\psi(q)}{q} \] holds for infinitely many \((p,q) \in \mathbb{Z} \times Q\) with \(\gcd(B_q p + A_q, q) = 1\). In this paper, we determine the Fourier dimension of \(W_Q^{\ast}(\psi,\theta)\). Our result not only recovers the classical theorems of Kaufman and Bluhm (concerning the homogeneous case \(\psi(q) = q^{-\tau}\) with \(\tau \ge 1\)) and the one-dimensional version of a result by Cai and Hambrook on the inhomogeneous approximable set, but also provides a complete inhomogeneous generalization. Moreover, it gives an affirmative answer to the coprime formulation of the Chen--Xiong conjecture.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper determines the Fourier dimension of the limsup set W_Q^*(ψ,θ) of x ∈ [0,1] satisfying |x - (p + θ(q))/q| < ψ(q)/q for infinitely many (p,q) ∈ ℤ × Q with the coprimality condition gcd(B_q p + A_q, q) = 1, where Q ⊆ ℕ, ψ:ℕ→[0,1/2), θ:ℕ→ℝ, and {A_q}, {B_q} are integer sequences with gcd(A_q,B_q)=1 and B_q>0. The result recovers the homogeneous Fourier dimension theorems of Kaufman–Bluhm, the one-dimensional inhomogeneous result of Cai–Hambrook, and affirmatively resolves the coprime formulation of the Chen–Xiong conjecture.

Significance. If the claimed exact determination holds, the work unifies and extends Fourier-dimension results for Diophantine approximation sets to a general inhomogeneous setting with coprimality constraints. It supplies a complete inhomogeneous generalization and settles a specific open conjecture, strengthening the metric theory of Fourier dimensions in number theory and harmonic analysis. The recovery of prior theorems and the resolution of the conjecture are explicit strengths.

major comments (2)
  1. [Abstract and §1] The abstract and introduction state the dimension formula without listing the precise monotonicity, divergence, or growth conditions on ψ, θ, and the sequences A_q, B_q that are required for the lower-bound construction (via a supported measure with controlled Fourier decay) and the matching upper bound to hold simultaneously. These conditions are load-bearing for the central claim and must be stated explicitly, ideally in a dedicated theorem statement or hypothesis section.
  2. [Main theorem and measure-construction section] The proof that the constructed measure is supported on W_Q^*(ψ,θ) while satisfying the Fourier decay needed for the dimension lower bound must be checked for control of the gcd(B_q p + A_q, q)=1 condition uniformly in the inhomogeneous phase θ(q). If the argument reduces the coprime case to the unrestricted case via a density argument, the error term arising from the density of admissible p must be quantified explicitly (e.g., in the estimate following the definition of the measure).
minor comments (2)
  1. [Theorem 1.1] Notation for the sequences A_q and B_q is introduced in the abstract but not repeated in the statement of the main theorem; a self-contained theorem statement would improve readability.
  2. [Introduction] The paper should include a short comparison table or paragraph explicitly listing which prior results (Kaufman–Bluhm, Cai–Hambrook, Chen–Xiong) are recovered as special cases, with the corresponding choices of ψ, θ, Q, A_q, B_q.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough reading and for identifying points where the presentation of hypotheses and technical details can be improved. We address each major comment below and will incorporate the suggested clarifications into the revised manuscript.

read point-by-point responses

  1. Referee: [Abstract and §1] The abstract and introduction state the dimension formula without listing the precise monotonicity, divergence, or growth conditions on ψ, θ, and the sequences A_q, B_q that are required for the lower-bound construction (via a supported measure with controlled Fourier decay) and the matching upper bound to hold simultaneously. These conditions are load-bearing for the central claim and must be stated explicitly, ideally in a dedicated theorem statement or hypothesis section.

    Authors: We agree that the precise conditions on ψ, θ, A_q, and B_q (including monotonicity of ψ, divergence of the relevant series for the lower bound, and any growth restrictions needed for uniformity in the inhomogeneous phase) should be stated explicitly from the outset. In the revised manuscript we will add a dedicated subsection in the introduction that enumerates all standing hypotheses, followed immediately by a self-contained statement of the main theorem that incorporates these assumptions. This will make the load-bearing conditions transparent without altering the result itself. revision: yes

  2. Referee: [Main theorem and measure-construction section] The proof that the constructed measure is supported on W_Q^*(ψ,θ) while satisfying the Fourier decay needed for the dimension lower bound must be checked for control of the gcd(B_q p + A_q, q)=1 condition uniformly in the inhomogeneous phase θ(q). If the argument reduces the coprime case to the unrestricted case via a density argument, the error term arising from the density of admissible p must be quantified explicitly (e.g., in the estimate following the definition of the measure).

    Authors: The measure is constructed directly over the admissible pairs (p,q) satisfying the coprimality condition gcd(B_q p + A_q, q)=1, with the intervals centered at the inhomogeneous points (p + θ(q))/q. Because the Fourier decay estimate depends only on the lengths of these intervals (which are controlled by ψ(q)) and not on their precise locations, the bound holds uniformly in θ(q). The coprimality condition is enforced at the level of the summation; the admissible p for each fixed q form a positive-density subset whose density is bounded below by a constant depending only on the fixed A_q, B_q (specifically at least c/ q for some c>0). We will insert an explicit error-term estimate immediately after the definition of the measure, showing that the contribution of the non-admissible terms is absorbed into the main term without degrading the Fourier decay exponent. This quantification will be added to the measure-construction section. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper determines the Fourier dimension of the limsup set W_Q^*(ψ,θ) under coprimality conditions by establishing matching upper and lower bounds. The lower bound proceeds via explicit construction of a probability measure supported on the set whose Fourier transform satisfies the requisite decay estimate, while the upper bound follows from standard covering or potential-theoretic arguments. These steps recover the homogeneous results of Kaufman–Bluhm and the inhomogeneous result of Cai–Hambrook as special cases without reducing any claimed prediction to a fitted parameter or to a self-citation whose content is itself unverified. No self-definitional loop, ansatz smuggling, or renaming of known empirical patterns appears in the derivation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no free parameters, axioms, or invented entities can be extracted. The result is expected to rest on standard facts from Fourier analysis and metric number theory.

pith-pipeline@v0.9.0 · 5572 in / 1159 out tokens · 43069 ms · 2026-05-10T12:34:44.196057+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Khintchine's theorem for inhomogeneous simultaneous approximation with polynomial decay

    math.NT 2026-04 unverdicted novelty 8.0

    Khintchine-type zero-full law holds for inhomogeneous simultaneous approximation in (1,2) without monotonicity when ψ has polynomial decay.

Reference graph

Works this paper leans on

47 extracted references · 47 canonical work pages · cited by 1 Pith paper

  1. [1]

    Allen, D., Ramírez, F.A.:Independence inheritance and diophantine approximation for systems of linear forms.Int. Math. Res. Not. IMRN2,1760–1794 (2023)

    work page 2023

  2. [2]

    Beresnevich, V., Hauke, M., Velani, S.:Borel–Cantelli, zero-one laws and inhomo- geneous Duffin–Schaeffer.preprint arXiv: 2406.19198, (2024)

    work page arXiv 2024

  3. [3]

    Beresnevich, V., Velani, S.:A mass transference principle and the Duffin–Schaeffer conjecture for Hausdorff measures.Ann. of Math. (2)164(3),971–992 (2006)

    work page 2006

  4. [4]

    Beresnevich, V., Velani, S.:Classical metric Diophantine approximation revisited: the Khintchine-Groshev theorem.Int. Math. Res. Not. IMRN,1,69–86 (2010)

    work page 2010

  5. [5]

    Beresnevich, V., Velani, S.:The dimension of well approximable numbers.J. Lond. Math. Soc. (2)113(1),21 pp. (2026)

    work page 2026

  6. [6]

    Mat.36(2),307–316 (1998)

    Bluhm, C.:On a theorem of Kaufman: Cantor-type construction of linear fractal Salem sets.Ark. Mat.36(2),307–316 (1998)

    work page 1998

  7. [7]

    Integer Seq.4(2),19 pp

    Broughan, K.A.:The gcd-sum function.J. Integer Seq.4(2),19 pp. (2001)

    work page 2001

  8. [8]

    Cai, T., Hambrook, K.:On the Exact Fourier Dimension of Sets of Well- Approximable Matrices.preprint arXiv: 2403.19410, (2024)

    work page arXiv 2024

  9. [9]

    Chen, J., Xiong, Y.:The exact Fourier dimension of the set of well-approximable number: homogeneous case.preprint. (2026)

    work page 2026

  10. [10]

    Chow, S.:Bohr sets and multiplicative diophantine approximation.Duke Math. J. 167,1623–1642 (2018)

    work page 2018

  11. [11]

    Chow, S., Hauke, M., Pollington, A., Ramírez, F.A.:General Duffin–Schaeffer-type counterexamples in diophantine approximation.Mathematika, to appear, preprint arXiv: 2504.16565, (2025)

    work page arXiv 2025

  12. [12]

    Math.155,2214–2233 (2019)

    Chow, S., Technau, N.:Higher-rank Bohr sets and multiplicative diophantine ap- proximation.Compos. Math.155,2214–2233 (2019)

    work page 2019

  13. [13]

    296, Amer- ican Mathematical Society (2024) 18

    Chow, S., Technau, N.:Littlewood and Duffin–Schaeffer-type problems in diophant- ine approximation.Memoirs of the American Mathematical Society, vol. 296, Amer- ican Mathematical Society (2024) 18

    work page 2024

  14. [14]

    Chow, S., Yu, H.:Moment transference principles and multiplicative diophantine approximation on hypersurfaces.preprint arXiv: 2408.10911, (2024)

    work page arXiv 2024

  15. [15]

    Chow, S., Zhou, Q.-L.:Twisted Diophantine approximation for matrix transform- ations of tori.preprint arXiv: 2511.14954, (2025)

    work page arXiv 2025

  16. [16]

    J.8,243–255 (1941)

    Duffin, R.J., Schaeffer, A.C.:Khintchine’s problem in metric Diophantine approx- imation.Duke Math. J.8,243–255 (1941)

    work page 1941

  17. [17]

    Cambridge Series in Statistical and Probabilistic Mathematics, vol

    Durrett, R.:Probability–Theory and Examples.Fifth edition. Cambridge Series in Statistical and Probabilistic Mathematics, vol. 49 (Cambridge University Press, Cambridge (2019)

    work page 2019

  18. [18]

    Mathematical foundations and applications

    Falconer, K.J:Fractal geometry. Mathematical foundations and applications. Third edition.John Wiley & Sons, Ltd., Chichester (2014)

    work page 2014

  19. [19]

    Fraser, R., Hambrook, K.:Explicit Salem sets, Fourier restriction, and metric Diophantine approximation in thep-adic numbers.Proc. Roy. Soc. Edinburgh Sect. A150(3),1265–1288 (2020)

    work page 2020

  20. [20]

    Math.416,Paper No

    Fraser, R., Hambrook, K.:Explicit Salem sets inRn.Adv. Math.416,Paper No. 108901, 23 pp. (2023)

    work page 2023

  21. [21]

    Groshev, A.:A theorem on a system of linear forms.Dokl. Akad. Nauk SSSR19, 151–152 (1938)

    work page 1938

  22. [22]

    Math.311,634–648 (2017)

    Hambrook, K.:Explicit Salem sets inR 2.Adv. Math.311,634–648 (2017)

    work page 2017

  23. [23]

    Hambrook, K.:Explicit Salem sets and applications to metrical Diophantine ap- proximation.Trans. Amer. Math. Soc.371(6),4353–4376 (2019)

    work page 2019

  24. [24]

    Hambrook, K., Yu, H.:Non-Salem sets in metric diophantine approximation.Int. Math. Res. Not. IMRN15,13136–13152 (2023)

    work page 2023

  25. [25]

    Hauke, M.:Quantitative inhomogeneous diophantine approximation for systems of linear forms.Proc. Amer. Math. Soc.153,1867–1880 (2025)

    work page 2025

  26. [26]

    preprint arXiv: 2407.05344, (2024)

    Hauke, M., Ramírez, F.A.:The Duffin–Schaeffer conjecture with a moving target. preprint arXiv: 2407.05344, (2024)

    work page arXiv 2024

  27. [27]

    preprint arXiv: 2508.01433, (2025)

    Hauke, M., Ramírez, F.A.:Twisted approximation with restricted denominators. preprint arXiv: 2508.01433, (2025)

    work page arXiv 2025

  28. [28]

    Ann.394(4),100

    He, Y.B.:Hausdorff measure and Fourier dimensions of limsup sets arising in weighted and multiplicative Diophantine approximation.Math. Ann.394(4),100. (2026),

    work page 2026

  29. [29]

    J.19(3),365–377 (1996)

    Hinokuma, T., Shiga, H.:Hausdorff dimension of sets arising in Diophantine ap- proximation.Kodai Math. J.19(3),365–377 (1996)

    work page 1996

  30. [30]

    Z.33(1), 505–543 (1931) 19

    Jarník, V.:Über die simultanen diophantischen Approximationen.Math. Z.33(1), 505–543 (1931) 19

    work page 1931

  31. [31]

    Kaufman, R.:Continued fractions and Fourier transforms.Mathematika27(2), 262–267 (1980)

    work page 1980

  32. [32]

    Acta Arith.39(3),265– 267 (1981)

    Kaufman, R.:On the theorem of Jarník and Besicovitch. Acta Arith.39(3),265– 267 (1981)

    work page 1981

  33. [33]

    Kim, S.:Inhomogeneous Khintchine–Groshev theorem without monotonicity.Bull. Lond. Math. Soc.57(9),2639–2657 (2025)

    work page 2025

  34. [34]

    Koukoulopoulos, D., Maynard, J.:On the Duffin–Schaeffer conjecture.Ann. of Math. (2)192(1),251–307 (2020)

    work page 2020

  35. [35]

    Li, L.H., Liu, B.C.:Dimension of Diophantine approximation and some applications in harmonic analysis.preprint arXiv: 2409.12826, (2024)

    work page arXiv 2024

  36. [36]

    Cambridge University Press, Cambridge (2015)

    Mattila, P.:Fourier analysis and Hausdorff dimension.Cambridge Studies in Ad- vanced Mathematics, 150. Cambridge University Press, Cambridge (2015)

    work page 2015

  37. [37]

    Pollington, A.D., Velani, S.:On a problem in simultaneous Diophantine approxim- ation: Littlewood’s conjecture.Acta Math.185(2),287–306 (2000)

    work page 2000

  38. [38]

    Pollington, A.D., Velani, S., Zafeiropoulos, A., Zorin, E.:Inhomogeneous Diophant- ine approximation onM 0-sets with restricted denominators.Int. Math. Res. Not. IMRN11,8571–8643 (2022)

    work page 2022

  39. [39]

    Queffélec, M., Ramaré, O.:Fourier analysis of continued fractions with bounded special quotients.Enseign. Math. (2)49(3-4),335–356 (2003)

    work page 2003

  40. [40]

    Ramírez, F.A.:Counterexamples, covering systems, and zero-one laws for inhomo- geneous approximation.Int. J. Number Theory13,633–654 (2017)

    work page 2017

  41. [41]

    Schmidt, W.M.:Metrical theorems on fractional parts of sequences.Trans. Amer. Math. Soc.110,493–518 (1964)

    work page 1964

  42. [42]

    Tan, B., Zhou, Q.-L.:Non-Salem sets in multiplicative Diophantine approximation. Int. Math. Res. Not. IMRN14,13 pp. (2025)

    work page 2025

  43. [43]

    Tan, B., Zhou, Q.-L.:Quantitative Matrix-Driven Diophantine approximation on M0-sets.preprint arXiv: 2504.21555, (2025)

    work page arXiv 2025

  44. [44]

    Tan, B., Zhou, Q.-L.:Quantitative Diophantine approximation and Fourier dimen- sion of sets: Dirichlet non-improvable numbers versus well-approximable numbers. Adv. Math.492,Paper No. 110887. (2026)

    work page 2026

  45. [45]

    Ann.381(1-2),243–317 (2021)

    Wang, B.W., Wu, J.:Mass transference principle from rectangles to rectangles in Diophantine approximation.Math. Ann.381(1-2),243–317 (2021)

    work page 2021

  46. [46]

    Acta Arith.190,263–292 (2019)

    Yu, H.:A Fourier-analytic approach to inhomogeneous Diophantine approximation. Acta Arith.190,263–292 (2019)

    work page 2019

  47. [47]

    Yu, H.: On the metric theory of inhomogeneous Diophantine approximation: an Erdős-Vaaler type result. J. Number Theory224,243–273 (2021) 20

    work page 2021