2 problems

Monotonic spiral conjecture. There exists a continuous function $h:[0,1]\times[0,\infty)\to V$ satisfying $\lim_{t\to\infty}h(s,t)=0$ for all $s$, $h(0,t)=p(t)$, and, for linearly…

The spiral conjecture. Every relation-avoiding origin path $p$ is weakly homotopic to a relation-avoiding origin path $q$ for which there exist linearly independent vectors…