Source author record

Sam Chow

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

16works
3topics
4close collaborators

Published work

16 publications

preprint2026arXiv

Counting rationals and diophantine approximation in missing-digit Cantor sets

We establish a new upper bound for the number of rationals up to a given height in a missing-digit set, making progress towards a conjecture of Broderick, Fishman, and Reich. This enables us to make novel progress towards another conjecture of those authors about the corresponding intrinsic diophantine approximation problem. Moreover, we make further progress towards conjectures of Bugeaud--Durand and Levesley--Salp--Velani on the distribution of diophantine exponents in missing-digit sets. A key tool in our study is Fourier ℓ1\ell^1 dimension introduced by the last named author in [H. Yu, Rational points near self-similar sets, arXiv:2101.05910]. An important technical contribution of the paper is a method to compute this quantity.

preprint2025arXiv

Generalised Fermat equations in dense variables over finite fields and rings

Let AA be a sufficiently dense subset of a finite field Fq\mathbb F_q or a finite, cyclic ring Z/NZ\mathbb Z/ N\mathbb Z. Assuming that qq and NN have no small prime divisors, we show that generalised Fermat equations have the expected number of solutions over AA. We further show that our density threshold is optimal. Our proofs involve average Fourier decay for Bohr sets, mixed character sum bounds, equidistribution of polynomial sequences, popular Cauchy--Davenport lemmas, and a regularity-type lemma due to Semchankau.

preprint2022arXiv

A note on dyadic approximation in Cantor's set

We consider the convergence theory for dyadic approximation in the middle-third Cantor set, KK, for approximation functions of the form ψτ(n)=n−τψ_τ(n) = n^{-τ} (τ≥0τ\ge 0). In particular, we show that for values of ττ beyond a certain threshold we have that almost no point in KK is dyadically ψτψ_τ-well approximable with respect to the natural probability measure on KK. This refines a previous result in this direction obtained by the first, third, and fourth named authors (arXiv, 2020).

preprint2022arXiv

Counting multiplicative approximations

A famous conjecture of Littlewood (c. 1930) concerns approximating two real numbers by rationals of the same denominator, multiplying the errors. In a lesser-known paper, Wang and Yu (1981) established an asymptotic formula for the number of such approximations, valid almost always. Using the quantitative Koukoulopoulos--Maynard theorem of Aistleitner--Borda--Hauke, together with bounds arising from the theory of Bohr sets, we deduce lower bounds of the expected order of magnitude for inhomogeneous and fibre refinements of the problem.

preprint2020arXiv

Dyadic Approximation in the Middle-Third Cantor Set

In this paper, we study the metric theory of dyadic approximation in the middle-third Cantor set. This theory complements earlier work of Levesley, Salp, and Velani (2007), who investigated the problem of approximation in the Cantor set by triadic rationals. We find that the behaviour when we consider dyadic approximation in the Cantor set is substantially different to considering triadic approximation in the Cantor set. In some sense, this difference in behaviour is a manifestation of Furstenberg's times 2 times 3 phenomenon from dynamical systems, which asserts that the base 2 and base 3 expansions of a number are not both structured.

preprint2020arXiv

Enumerative Galois theory for cubics and quartics

We show that there are Oε(H1.5+ε)O_\varepsilon(H^{1.5+\varepsilon}) monic, cubic polynomials with integer coefficients bounded by HH in absolute value whose Galois group is A3A_3. We also show that the order of magnitude for D4D_4 quartics is H2(log⁡H)2H^2 (\log H)^2, and that the respective counts for A4A_4, V4V_4, C4C_4 are O(H2.91)O(H^{2.91}), O(H2log⁡H)O(H^2 \log H), O(H2log⁡H)O(H^2 \log H). Our work establishes that irreducible non-S3S_3 cubic polynomials are less numerous than reducible ones, and similarly in the quartic setting: these are the first two solved cases of a 1936 conjecture made by van der Waerden.

preprint2015arXiv

Equidistribution of values of linear forms on a cubic hypersurface

Let CC be a cubic form with rational coefficients in nn variables, and let hh be the hh-invariant of CC. Let L1,…,LrL_1, \ldots, L_r be linear forms with real coefficients such that if α∈Rr∖{0}\boldsymbolα \in \mathbb{R}^r \setminus \{ \boldsymbol{0} \} then α⋅L\boldsymbolα \cdot \mathbf{L} is not a rational form. Assume that h>16+8rh > 16 + 8 r. Let τ∈Rr\boldsymbolτ \in \mathbb{R}^r, and let ηη be a positive real number. We prove an asymptotic formula for the weighted number of integer solutions x∈[−P,P]n\mathbf{x} \in [-P,P]^n to the system C(x)=0, ∣L(x)−τ∣<ηC(\mathbf{x}) = 0, \: |\mathbf{L}(\mathbf{x}) - \boldsymbolτ| < η. If the coefficients of the linear forms are algebraically independent over the rationals, then we may replace the hh-invariant condition with the hypothesis n>16+9rn > 16 + 9 r, and show that the system has an integer solution. Finally, we show that the values of L\mathbf{L} at integer zeros of CC are equidistributed modulo one in Rr\mathbb{R}^r, requiring only that h>16h > 16.

preprint2014arXiv

Sums of cubes with shifts

Let μ1,…,μsμ_1, \ldots, μ_s be real numbers, with μ1μ_1 irrational. We investigate sums of shifted cubes F(x1,…,xs)=(x1−μ1)3+…+(xs−μs)3F(x_1,\ldots,x_s) = (x_1 - μ_1)^3 + \ldots + (x_s - μ_s)^3. We show that if ηη is real, τ>0τ>0 is sufficiently large, and s≥9s \ge 9, then there exist integers x1>μ1,…,xs>μsx_1 > μ_1, \ldots, x_s > μ_s such that ∣F(x)−τ∣<η|F(\mathbf{x})- τ| < η. This is a real analogue to Waring's problem. We then prove a full density result of the same flavour for s≥5s \ge 5. For s≥11s \ge 11, we provide an asymptotic formula. If s≥6s \ge 6 then F(Zs)F(\mathbf{Z}^s) is dense on the reals. Given nine variables, we can generalise this to sums of univariate cubic polynomials.

preprint2014arXiv

Waring's problem with shifts

Let μ1,…,μsμ_1, \ldots, μ_s be real numbers, with μ1μ_1 irrational. We investigate sums of shifted kkth powers F(x1,…,xs)=(x1−μ1)k+…+(xs−μs)k\mathfrak{F}(x_1, \ldots, x_s) = (x_1 - μ_1)^k + \ldots + (x_s - μ_s)^k. For k≥4k \ge 4, we bound the number of variables needed to ensure that if ηη is real and τ>0τ> 0 is sufficiently large then there exist integers x1>μ1,…,xs>μsx_1 > μ_1, \ldots, x_s > μ_s such that ∣F(x)−τ∣<η|\mathfrak{F}(\mathbf{x}) - τ| < η. This is a real analogue to Waring's problem. When s≥2k2−2k+3s \ge 2k^2-2k+3, we provide an asymptotic formula. We prove similar results for sums of general univariate degree kk polynomials.

preprint2013arXiv

Distinguishing eigenforms modulo a prime ideal

Consider the Fourier expansions of two elements of a given space of modular forms. How many leading coefficients must agree in order to guarantee that the two expansions are the same? Sturm gave an upper bound for modular forms of a given weight and level. This was adapted by Ram Murty, Kohnen and Ghitza to the case of two eigenforms of the same level but having potentially different weights. We consider their expansions modulo a prime ideal, presenting a new bound. In the process of analysing this bound, we generalise a result of Bach and Sorenson, who provide a practical upper bound for the least prime in an arithmetic progression.

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.