The problem is as follows:
Suppose we filledfill each cell of a $n\times n$ square with one of the four arrows $\uparrow$, $\downarrow$, $\gets$, $\to$, like the following
$\begin{array}{|c|c|c|}
\hline
\downarrow & \downarrow & \gets\\
\hline
\to& \to& \uparrow\\
\hline
\to& \uparrow& \uparrow\\
\hline
\end{array}$
We define that entry $A$ (in $i$th column $j$th row) points to entry $B$ (in $k$th column $l$th row) if one of the four happens:
- $A$ is filled with $\uparrow$ and $j> l$ and $i=k$
- $A$ is filled with $\downarrow$ and $j< l$ and $i=k$
- $A$ is filled with $\gets$ and $j= l$ and $i<k$
- $A$ is filled with $\to$ and $j= l$ and $i>k$
(This is straightforward if you really fill them with arrows...)
For the example above, only the entry in first row, third entrycolumn, points to the left upper corner. The right bottom corner entry points to the entry on the first row, third column and the entry on the second row, third column.
Let $r(n)$ be the maximum number such that there is a filling method such that every entry is pointed to by at least $r(n)$ other entries.
Now we have a bound $\frac{2}{3}n+O(1)\le r(n)\le \frac{5}{6}n+O(1)$
(update: now $ r(n)\le \frac{3}{4}n+O(1)$)
(update2: now $ r(n)\le (\sqrt{3}-1)n+O(1)$)
The lower bound is constructedobtained by the following construction:
![lower bound](https://cdn.statically.io/img/i.sstatic.net/BLf7a.png)
We first split the grid into $3\times 3$ region (we ignore the remainderscentral $n/3\times n/3$ square surrounded by four regions as drawn.) The red region is filled with $\to$, the green region is filled with $\downarrow$, The blue region is filled with $\gets$, the purple region is filled with $\uparrow$. The central square can be filled with anything. One can proofprove that every entry areis pointed to by $\frac{2}{3}n+O(1)$ other entries.
On the other hand, counting the total number of entries one entry can point to, there are at most $\frac{5}{6}n^3+O(n^2)$ pairs (entry 1, entry 2) pairssuch that the first entry point1 points to the second entry 2. So, in average, there is an entry is pointed to by at most $5/6n+O(1)$$5/6\; n+O(1)$ other entries.
Now, the question is: can the lower bound $2/3$ be raised and $5/6$ the upper bound be made smaller? I believe $2/3$ can be raised a little bit (for example, $0.01$) since the central $n/3\times n/3$ is not filled. But can it be substantially increased?
Any improvement is welcome and appreciated, even minor improvement with $2/3$ is welcome.
Update: a friend of mine gave me an $3/4n+O(1)$$3/4\; n+O(1)$ upper bound. He considered the square connected the midpoints, where there are $2n$ entries. The entries inside the square pointspoint to at most one entry on the square, and the entries outside the square pointspoint to at most two. Thus, the number of entry points to the other entries is at most $1/2n^2+2\times 1/2n^2+O(n)=3/2n^2+O(n)$, and since there are $3n$ entries, averagely, one of the entries has at most $3n/4+O(1)$ entries points to it.
Update 2: That friend suggested another way: choose these entries in green
![enter image description here](https://cdn.statically.io/img/i.sstatic.net/dcQL2.png)
The green line four corners are of length $(\sqrt{3}-1)n/2$ entries. Using the similar argument above we can get $(\sqrt{3}-1)n+O(1)$ upper bound.