Skip to main content
2 of 2
Missing $'s.
Joseph O'Rourke
  • 150.8k
  • 36
  • 358
  • 958

It is true that in the long run most points are near the bottom but there are the observed patterns in the portion shown. Here are some comments in a slightly stream of consciousness order:

At the top left the increasing curve right below the line $y=1$ must be $(k(k-1),1-1/k)$ which is certain points pretty close to $y=1-1/\sqrt{x}.$ In the plot it appears piecewise constant but that is an artifact of the plotting.

Below there we see the similar curves $(k(k-c),1-c/k).$ In the long run these become indistinguishable from $y=1$

To be sure, plot the point using something like Maple which lets you probe for coordinates. Some work of this type could explain other features.

To my eye the top line for the (approximately) $35K \le n \le 60K$ plot seems to have $97$ points. There should be about $57$ squares $(k^2,1)$ in that range so I guess the $n=k(k-1)$ are indistinguishable but the $n=k(k-2)$ are visually lower.

Coming down and back from each point $(k^2,1)$ we have a curve $(k^2-j^2,\frac{k-j}{k+j})$ This is especially clear in the plot ending at $n=10^6.$ each of these break eventually when the numerator and denominator have many small factors. For example I think the sequence going down from (104^2,1) has $y$ values $103/105,102/106,\cdots,89/119$ however the next point in that sequence $(88\cdot 120,\frac{88}{120})$ can get lifted up to replace $\frac{88}{120}$ with $\frac{96}{110}.$ I feel that more could be said about how long it takes before the sequence can break the first time than I have figured out. After such a break the pattern might pick up again as in $\frac{87}{121}$ next is $\frac{86}{122},\frac{85}{123},\cdots$

These curves, which do go on for a while are approximately parallel and interspersed are the curves $((k+j+1)(k-j),\frac{k-j}{k+j+1}.$ These are all the points "really near" $y=1$ (a bold statement that needs justification.) In between , then, are white curves. I count $100$ of these curves in the plot which runs from $949^2$ to $1000^2$ which is what one would expect.

For $n=2k^2$ we can get the point $(n,\frac12).$ It may be possible to have a higher point. In a dramatic case $(2\cdot 35^2,\frac{49}{50}).$ However for over $60$ values $k \le 100$ we do get $(2k^2,\frac{1}{2}).$ I didn't examine larger $k.$

For any point $(x,y)$ we have potential points $(cx,\frac{1}{cy})$ for small $c.$ It might be possible to have a higher $y$ but if one runs over a curve then a good fraction of the points might transform that way creating a transformed curve. I imagine the curves going up from $y=1/2$ for $900K \le n \le 1000K$ are (partial) transforms of the lines coming down from $y=1$ for $450K \le n \le 500K.$ These seem to have an almost reflection below $y=1/2$ making sideways parabolas. I don't have an explanation but suspect getting the actual coordinates would reveal much.

Similarly for any point $(x,y)$ we have potential points $(xz^2,y).$ Again, it might be possible to improve on this in some cases but that would be more challenging for $y$ closer to $1.$ Likewise if $z$ has large divisors relative to $x.$

I'll stop with the generalization that if we have $(x_1,y_1)$ and $(x_2,y_2)$ then we have the potential points $(x_1x_2,\frac{y_1}{y_2}).$ Running over two curves , both with large $y$ values we can get parametric families such as $$\left((k^2-u^2)((k+1)^2-v^2),\frac{(k\pm u)(k+1\pm v)}{(k\mp u)(k+1\mp v)}\right).$$ I can imagine that clusters of points would result, perhaps with explainable holes.

Holding, say $(x_1,y_1)$ constant might give transforms of curves. It would be easy to probe this with some plots. For example the curve above $(104^2-j^2,\frac{104-j}{104+j})$ combined with the point $(56,7/8)$ gives $y=\frac{7(104+j))}{8(104-j})$ for $j=1\cdots 6$ getting to $\frac{770}{784}$ but then switches to $y=\frac{8(104-j))}{7(104+j})$ starting with $776/777.$ Again, some of those points might be possible to improve.

Aaron Meyerowitz
  • 30.1k
  • 1
  • 48
  • 104