Joint Approximation and the Mixed-Prime Character Group

Abstract

For the integer metric defined by the square denominators of two distinct primes, we prove simultaneous approximation to zero in one prime metric and to any prescribed integer in the other. A normalized convolution argument gives a uniform central spectral bound. Random relative translations of smooth weights produce an exact positive cas cade; Fourier positivity places every normalized finer convolution below its value at zero. A far-field recursion, the growth of merged square powers, and a two-term logarithmic-form estimate give summable fac tor bounds. Consequently, for every fixed pair of distinct primes p,q, the mixed continuous character group is Z[1/(pq)]/Z: no irrational pa rameter is continuous. The mixed completion is the product of the one-prime completions. For each fixed pair this also gives a compati ble rational join and a strictly finer compatible join of the associated real TVG topologies, with the same prescribed real character group. Exact witness search terminates at every strict precision and integer target. We retain the structural, density, divisibility, sequence and finite-certificate results leading to this proof. The existence argument does not give practical witness-size or runtime bounds, and it does not assume independence or equidistribution of the two digit systems. Se lected abstract components have been checked using Lean and Mathlib; the complete analytic argument has not been formalized. The corre sponding problem for three or more primes remains separate.