Title: Contact instantons, anti-contact involution and proof of Shelukhin's conjecture

Abstract: In this paper, we prove Shelukhin's conjecture on the translated points on any compact contact manifold $(Q,\xi)$ which reads that for any choice of function $H = H(t,x)$ and contact form $\lambda$ the contactomorphism $\psi_H^1$ carries a translated point in the sense of Sandon, whenever the inequality $$ \|H\| \leq 2 T(\lambda,M) $$ holds the case. Main geometro-analytical tools are those of contact instantons employed in \cite{oh:entanglement1}. In addition, the usage of the $\mathbb Z_2$-symmetry of anti-contact involution and the relevant intersection theory argument based on the generic mapping and the evaluation map transversality established in \cite{oh:contacton-transversality} plays a fundamental role in the proof of the main theorem.