1: \begin{abstract}

2: This work introduces and studies a new family of velocity jump Markov processes directly amenable to exact simulation with the following two properties: i) trajectories converge in law, when a time-step parameter vanishes, towards a given Langevin or Hamiltonian dynamics; ii) the stationary distribution of the process is always exactly given by the product of a Gaussian (for velocities) by any target log-density. 

3: The simulation itself, in addition to the computability of the gradient 

4: of the log-density, depends on the knowledge of appropriate explicit upper bounds on lower order derivatives of this log-density.

5: The process does not exhibit any velocity reflections (jumps maximum size can be controlled) and is suitable for the 'factorization method'. We provide rigorous mathematical proofs of the  convergence towards Hamiltonian/Langevin dynamics when the time step vanishes, and

6: of the exponentially fast convergence towards the target distribution when a suitable noise on velocities is present. Numerical implementation is detailed and illustrated.

7: \end{abstract}

8: