Let $p$ be large prime in $[T,2T]$ where $T$ is a parameter.
Can we have an integer pair $a,b$ satisfying $ab\equiv c\bmod p$ such that $|c|$ is of size $O(polylog(T))$$O(\operatorname{polylog}(T))$ and $a,b$ are of size $O(T^{1/2 +\epsilon})$$O(T^{1/2 +\varepsilon})$?
If $1/2$ is impossible what is the best rational in exponent we can get?
Given $p$ how many such minimal generically positioned pairs are possible?