1: \begin{abstract}

2:   First, we give a rigorous convergence result for equation-free

3:   analysis in the setting of slow-fast systems using implicit

4:   lifting. Second, we apply this result to study the idealized traffic

5:   modeling problem of phantom jams generated by cars with uniform

6:   behavior on a circular road. It is shown, that the implicitly

7:   defined coarse-level time stepper converges to the true dynamics on

8:   the slow manifold with an accuracy that is beyond all orders of the

9:   small parameter measuring time scale separation. These results are

10:   applied to investigate the behavior of the microscopic traffic model

11:   on a macroscopic level. The traffic jams are waves that travel

12:   slowly and in opposite direction compared to the car velocity. The

13:   standard deviation is chosen as a macroscopic measure of traveling

14:   wave solutions and is continued on the macroscopic level in

15:   the equation-free setup. The

16:   collapse of the traffic jam to the free flow corresponds in the

17:   relevant parameter region at the macroscopic level to a saddle-node

18:   bifurcation of the traveling wave. We continue this bifurcation

19:   point in two parameters using equation-free analysis.

20:   % The collapse of the traffic jam to

21:   % the free flow corresponds at the macroscopic level to a saddle-node

22:   % bifurcation of the traveling wave, which we continue in two

23:   % parameters directly in the microscopic model using Kevrekidis'

24:   % equation-free analysis. 

25:   

26:   % \begin{itemize}

27:   % \item lifting problematics

28:   % \item detailed analysis / rigorous convergence / tskip

29:   % \item 1 and 2 parameter continuation

30:   % \item bifurcation behaviour of travelling waves to understand jams

31:   %   (macro -micro)

32:   % \end{itemize}

33: \end{abstract}

34: