1: \begin{abstract}

2:   We propose a method for tracing implicit real algebraic curves defined by polynomials with rank-deficient Jacobians.

3:   For a given curve $f^{-1}(0)$, it first utilizes a regularization technique to compute at least one witness point per connected component of  the curve.

4:   We improve this step by establishing a sufficient condition for testing the emptiness of $f^{-1}(0)$.

5:   We also analyze the convergence rate and carry out an error analysis for refining the witness points.

6: %

7:   The witness points are obtained by computing the minimum distance of a random point to a smooth manifold embedding the curve while at the same time penalizing the residual

8:   of $f$ at the local minima.

9:   To trace the curve starting from these witness points,

10:   we prove that if one drags the random point  along a trajectory inside a tubular neighborhood of the embedded manifold of the curve,

11:   the projection of the trajectory on the manifold is unique and can be  computed by numerical continuation.

12:   We then show how to  choose such a trajectory to approximate the curve by computing eigenvectors of certain matrices.

13:   Effectiveness of the method is illustrated by examples.

14: \end{abstract}

15: