\section{Introduction} It is well known that continua
(connected compact metric spaces) with complicated structure naturally
appear in smooth surface dynamics.  A striking example is provided by
the \emph{pseudo-circle}, introduced by Bing~\cite{bing} and
characterized by Fearnley~\cite{fearnley2}.  It is a continuum
which:
\begin{itemize}
\item[--] can be embedded in $S^2$ and separates,
\item[--] is circularly chainable: it admits coverings into compact subsets
  $(A_i)_{i\in \ZZ/n\ZZ}$ whose diameter are arbitrarily small, such that
  $A_i\cap A_j\neq \emptyset$ if and only if if $i=j\pm 1$ or $i=j$,
\item[--] is indecomposable:
it cannot be written as the union of two proper continua,
\item[--] and whose non-trivial proper subcontinua are
  indecomposable, homogeneous (any point can be sent on any other
  point by some homeomorphism) and all homeomorphic to the same
  topological space (called the \emph{pseudo-arc}).
\end{itemize}

Handel~\cite{handel} has built a smooth diffeomorphism of $\SS^2$
preserving a minimal invariant set homeomorphic to the
pseudo-circle.  Later, Prajs~\cite{prajs} has constructed a
partition of the annulus into pseudo-arcs, and likewise his method
could be used to produce partitions of the torus into
pseudo-circles. It was not known, however, if such a pathological
foliation could be `dynamical', that is, invariant under the
dynamics of a torus homeomorphism or diffeomorphism that permutes
the leaves of the foliation. Conversely, if a homeomorphism of the
two-torus is semiconjugate to an irrational rotation of the circle,
one may wonder whether most, or at least some, of the fibres of the
semi-conjugacy must have a simple structure or even be topological
circles. We give a positive answer to the first and a negative to
the second of these questions. Denote by $\TT^d=\RR^d/\ZZ^d$ the
$d$-dimensional torus and by $\operatorname{Diff}^\omega_{\text{vol},0} (\TT^2)$
the space of real-analytic diffeomorphisms of $\TT^2$ that are
isotopic to the identity and preserve the canonical volume.
\begin{theorem*} \label{t.main} There exists a minimal diffeomorphism $f\in
  \operatorname{Diff}^\omega_{\text{vol},0} (\TT^2)$ whose rotation set is reduced to a unique
  totally irrational vector and which preserves a partition $\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}$ of $\TT^2$
  into pseudo-circles.

Moreover there exists a continuous map $p\colon \TT^2\to \TT^1$
which semi-conjugates $f$ to an irrational rotation. The elements of $\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}$
are the pre-images $p^{-1}(x)$.
\end{theorem*}

This result has implications for a number questions that naturally come up in
the rotation theory on the torus and, more specifically, the dynamics of
irrational pseudo-rotations. We discuss these issues in more detail in
Section~\ref{s.unique}, alongside with the uniqueness of the
semi-conjugacy.
\medskip

\noindent {\it Idea of the construction.}  The diffeomorphism $f$ is
obtained as limit of a sequence of diffeomorphisms $f_n$ that are
conjugated to rational rotations $R_{\alpha_n}$ by diffeomorphisms
$H_n$ isotopic to the identity, following the celebrated
Anosov-Katok method, see~\cite{fayad-katok}. As a side effect, this
means that its dynamics can be made uniquely ergodic, although we will
not expand on this. Note that most of the constructions using this
method deal with the $C^\infty$ category; some cases,
as~\cite{fayad-katok2} allow to work in the real-analytic category.
  The sequence $f_n=H_n^{-1}\circ R_{\alpha_n}\circ H_n$ is
obtained inductively. At stage $n$, the diffeomorphism $f_n$
preserves the foliation $\cV_n$ by vertical circles
$H_n^{-1}(\{x\}\times \TT^1)$. The main requirement is to have the
circles of the foliation $\cV_{n+1}$ arbitrarily close to the circles
of $\cV_n$ in the Hausdorff topology, but more crooked. Then the
partitions $\cV_n$ will converge to the partition into
pseudo-circles.  The foliation $\cV_{n+1}$ is built inductively in
the chart defined by the conjugacy $H_n$, as the preimage of the
foliation into vertical lines under a new homeomorphism $h_{n+1}$. A
sketch of the construction is given in Figure~\ref{f.strategy}.  Since
we then let $H_{n+1}=h_{n+1}\circ H_n$, this ensures that the
foliation $H_{n+1}(\cV_{n+1})$ is again the one given by vertical
circles. In order to obtain $h_{n+1}$, one first builds a leaf of
$\cV_{n+1}$ in the chart given by $\cV_n$ which is crooked with
respect to the vertical circles in such a way that the leaf is
transverse to a linear flow $\varphi_{n+1}$. This first leave is the
image of some vertical circle. One then obtains the complete
foliation (and thus the definition of $h_{n+1}$) by pushing this
initial leave by the flow.
\begin{figure}[h!]
\vspace{-0.3cm}
\begin{center}
\includegraphics[width=0.9\linewidth]{strategy-eps-converted-to.pdf}
\end{center}
\vspace{-1cm}
\caption{\it In the coordinates defined by $H_n$ (given by the dashed lines),
  $h_{n+1}^{-1}$ maps straight lines (solid lines on the left) to crooked leaves
  of $\cV_{n+1}$ (on the right). The latter are translates of each other along
  the flow lines of $\varphi_{n+1}$. \label{f.strategy}}
\end{figure}
\medskip

We note that A. Avila has announced recently the construction of an
element of $\operatorname{Diff}^\omega_{\text{vol},0} (\TT^2)$ whose rotation set
is a non-trivial compact interval contained in line with irrational
slope and which does not contain any rational point (a
counter-example to one case of a conjecture by Franks and
Misiurewicz~\cite{franks-misiurewicz}).  His construction may
somewhat be compared to ours: the diffeomorphism is obtained as the limit
of diffeomorphisms acting periodically on the leaves of a foliation
by circles. In his case however the homotopy class of the leaves is
modified at each stage of the construction.

\section{A criterion for the existence of a partition into pseudo-circles}

\paragraph{2.a -- Crooking.}\label{Crooking}
The construction of the pseudo-circle uses the following notions.

\begin{definitions*} A \emph{circular chain} is finite family of
  sets $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}=\{D_{\ell}, \ell\in \ZZ/N\ZZ\}$ such that $D_{k}$
  intersects $D_{\ell}$ if and only if $k-\ell\in \{-1,0,+1\}$.  A
  circular chain $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}'=\{D'_{i}, i\in \ZZ/N'\ZZ\}$ said to be
  \emph{crooked inside} another circular chain $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}=\{D_{\ell},
  \ell\in \ZZ/N\ZZ\}$ if there exists a map $\ell \colon \ZZ/N'\ZZ\to
  \ZZ/N\ZZ$ with the following properties.
\begin{itemize}
\item[--] $D'_{i}\subset D_{\ell(i)}$ for each $i\in \ZZ$;
\item[--] if $i<j$ are such that for all $i<k<j$ the element $\ell(k)$
  belongs to the same interval bounded by $\ell(i)$ and $\ell(j)$
  (either positively or negatively oriented in $\ZZ/N\ZZ$) and the
  length of this interval is greater than 4, then there exists $u,v$
  with $i<u<v<j$ such that $d(\ell(u),\ell(j))\leq 1$ and
  $d(\ell(v),\ell(i))\leq 1$. (Here $d$ denotes the canonical distance
  on $\ZZ/N\ZZ$.) \end{itemize}
\end{definitions*}

The pseudo-circle can then be obtained as follows. For the sake of consistency
with the later sections, we work in the torus instead of $\RR^2$ and require
that the circular chains -- and thus the resulting pseudo-circle -- are
homologically non-trivial.

\begin{theorem*}[\cite{bing,fearnley2}] Consider a sequence
  $(\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_n)_{n\geq 0}$ of circular chains of open topological disks in
  $\TT^2$.  Assume that
\begin{itemize}
\item[--] $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1}$ is crooked inside $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n}$ for each $n$,
\item[--] the closure of $\bigcup_{D\in \mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1}} D$ is contained in
  $\bigcup_{D\in \mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_n} D$ for every $n$,
\item[--] the maximal diameter of the elements of $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_n$ goes to zero as $n\to
  +\infty$.
\item[--] the union $\bigcup_{D\in\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_n} D$ contains homotopically non-trivial loops
  of a unique homotopy type $v\in\ZZ^2\setminus \{0\}$.
\end{itemize}

Then the compact set $X:=\bigcap_{n\geq 0}\bigcup_{D\in\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_n} D$ is
homeomorphic to the pseudo-circle. Moreover, $X$ is an annular continuum of
homotopy type $v$ (see \cite{JP,JT}).
\end{theorem*}

At some point later on, we will have to speak about lifts of circular
chains in the torus to the universal covering $\RR^2$, and similarly
about lifts of circular chains of intervals in the circle to $\RR$.
Suppose that $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$ is a circular chain of topological disks in $\TT^2$ as above
  and denote by $\pi:\RR^2\to\TT^2$ the canonical projection. Note
  that for each $D_\ell\in\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$, the preimage $\pi^{-1}(\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V})$ consists
  of a countable number of connected components, each of which is a
  topological disk homeomorphic to $D_\ell$ and disjoint from all its
  integer translates. Suppose in addition that $\operatorname{Diam}(D_\ell)<1/4$ for
  all $\ell\in\ZZ/N\ZZ$, so that none of the unions $D_\ell\cup
  D_{\ell+1}$ is essential in the torus (contains a homotopically
  non-trivial loop).

\begin{definitions*}
A \emph{lift} $\widehat\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$ of $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$ is a sequence of topological disks $(\widehat D_\ell)_{\ell\in\ZZ}$ of $\RR^2$
  such that
\begin{itemize}
\item[--] for all $\ell\in\ZZ$ the disk $\widehat D_\ell$ is a
  connected component of $\pi^{-1}(D_\ell)$;
\item[--] $\widehat D_k$ intersects $\widehat D_\ell$ if and only if
  $k-\ell\in\{-1,0,1\}$.
\end{itemize}
The disc $\widehat D_{k+N}$ is the image of $\widehat D_{k}$ by translation by a vector
$v\in \ZZ^2$ which does not depend on the lift, nor on $k$, and is called the \emph{homotopy type of $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$}.
\end{definitions*}
Note that if $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$ and $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}'$ are circular chains of topological disks with
homotopy type $v\in\ZZ^2\setminus\{0\}$ as above, $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}'$ is crooked inside $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}$
and $\widehat \mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V},\widehat \mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}'$ are lifts in the above sense, then there exists
a function $\hat \ell:\ZZ\to\ZZ$ (to which we refer as a lift of
$\ell:\ZZ/N'\ZZ\to\ZZ/N\ZZ$) such that
\begin{itemize}
\item[--] $\widehat D'_{i+N'}=\widehat D'_i+v$ and $\widehat D_{i+N}=\widehat
  D_i+v$;
\item[--] $\hat\ell(i+N')=\hat\ell(i)+N$;
\item[--] $\widehat D'_i\subseteq \widehat D_{\ell(i)}$ for all $i\in\ZZ$;
\item[--] if $i<j<i+N$ are such that for all $i<k<j$ the integer
  $\hat\ell(k)$ belongs to the interval bounded by $\hat\ell(i)$ and
  $\hat\ell(j)$ and $|\hat\ell(j)-\hat\ell(i)|>4$, then there exists
  $u,v$ with $i<u<v<j$ such that $|\hat\ell(u)-\hat\ell(j)|\leq 1$ and
  $|\hat\ell(v),\hat\ell(i)|\leq 1$.
\end{itemize}
All these remarks apply in an analogous way to circular chains of
intervals in the circle and their lifts to $\RR$. \medskip

During the construction, we will also use another notion of the crooking.

\begin{definition*} For $\varepsilon>0$, a continuous map $g\colon
  I\to \RR$ on the interval $I$ is \emph{$\varepsilon$-crooked} if
  for any $a<b$ in $I$, there are $a<c<d<b$ such that
  $|g(d)-g(a)|<\varepsilon$ and $|g(c)-g(b)|<\varepsilon$.
\end{definition*}

Note that $\varepsilon$-crooked maps exist for any $\varepsilon$ (see~\cite{bing2}).

\medskip

\paragraph{2.b -- Elements of the construction.} Let $\pi\colon
\TT^2\to \TT^1$ be the projection on the first coordinate. Let
$\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N)$ be the covering of the circle by $N$ open intervals defined
as follows
\begin{equation}\label{e.defB}
  \mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N)=\{B_i, i\in \ZZ/N\ZZ\} \quad \mbox{where}\quad
  B_i=\left(\frac {i-5/4} {N},\frac{i+1/4}{N}\right).
\end{equation}
We will build inductively:
\begin{itemize}
\item[--] a sequence of integers $(N_n)_{n\geq 0}$,
\item[--] a sequence of positive real numbers $(\varepsilon_n)_{n\geq 0}$,
\item[--] a sequence of conjugating diffeomorphisms $(H_n)_{n\geq 0}$
  in $\operatorname{Diff}^\omega_{\text{vol},0}(\TT^2)$,
\item[--] a sequence of rational rotations $(R_{\alpha_n})_{n\geq 0}$ of $\TT^2$.
\end{itemize} To $N_n,\varepsilon_n,H_n,R_{\alpha_n}$, we will
associate:
\begin{itemize}
\item[--] for each $x\in\TT^1$, the annulus $A_{n,x}$ which is the
  image under $H_n^{-1}$ of the vertical annulus
  $(x-\varepsilon_n,x+\varepsilon_n)\times \TT^1$,
\item[--] for each $x\in\TT^1$, the covering $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n,x}$ of the
  annulus $A_{n,x}$ defined by
$$\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n,x} = \left\{H_n^{-1}((x-\varepsilon_n,x+\varepsilon_n)\times B_i)\ \mid \
   B_i\in\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_n)\right\}$$
(note that $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n,x}$ is a circular chain with $N_n$ elements),
\item[--] the projection $p_n=\pi_1\circ H_{n}: \TT^2\to\TT^1$ (where
  $\pi_1:\TT^2\to\TT^1$ is the projection to the first coordinate),
\item[--] the diffeomorphism $f_n=H_n^{-1}\circ R_{\alpha_n}\circ
  H_n\in \operatorname{Diff}^\omega_{\text{vol},0}\left(\TT^2\right)$.
\end{itemize}
We will denote by $\left(\frac{r_n}{q_n},\frac{s_n}{q_n}\right)$ the coordinates of
$\alpha_n$, with $r_n,s_n\in\mathbb{Z}$ and $q_n\in\NN-\{0\}$.

\paragraph{2.c -- Inductive properties.} The torus $\TT^2$ is
embedded as the subset $\{(z_1,z_2)\in \CC^2,\; |z_1|=|z_2|=1\}$ of
$\CC ^2$. One will consider homeomorphisms $f$ of $\TT^2$ such that
both $f$ and $f^{-1}$ extend as holomorphic functions defined on a
neighborhood of $\Delta=\left\{(z_1,z_2)\in \CC^2,\; |z_1|,|z_2|\in\left[\frac 1
  2, 2\right]\right\}$. One then introduces the supremum norm $\|.\|_\Delta$ on
$\Delta$ and the metric
$$ d_0(f,f')=\max(\|f,f'\|_\Delta,  \|f^{-1},{f'}^{-1}\|_\Delta)\ .$$
 The sequences $(N_n)$, $(\varepsilon_n)$, $(H_n)$,
$(R_{\alpha_n})$ will be constructed inductively so that the
following properties hold.
\begin{enumerate}
\item\label{a1} For each $x\in \TT^1$, the circular chain $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1,x}$ is
  crooked inside the circular chain $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n,x}$ (in particular, the annulus
  $A_{n+1,x}$ is contained in the interior of the annulus $A_{n,x}$), and the
  supremum of the diameter of the elements of the coverings $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1,x}$ is
  less $\frac{1}{n+1}$,
\item\label{a2} The angle $\alpha_{n+1}$ is close, but not
  equal, to $\alpha_n$. More precisely:
  $|\frac{r_{n+1}}{q_{n+1}}-\frac{r_n}{q_n}|$ and
  $|\frac{s_{n+1}}{q_{n+1}}-\frac{s_n}{q_n}|$ are smaller than $1/(2^{n+1}q_n)$ and
  the orbits of $R_{\alpha_{n+1}}$ are $\frac{1}{2^{n+1}}$-dense in $\TT^2$.
\item\label{a25} Every orbit of the diffeomorphism $f_{n+1}$ is
  $\frac{1}{n+1}$-dense in $\TT^2$.
\item\label{a3} The diffeomorphism $f_{n+1}$ is (very) close to $f_n$. More precisely,
both $f_{n+1}$, $H_{n+1}$ and their inverses
extend holomorphically on $(\CC\setminus \{0\})^2$ and satisfy:
\begin{enumerate}
\item $d_{0}(f_{n+1}^i,f_n^i)<\min (\frac{1}{2}d_{0}(f_{n}^i,f_{n-1}^i), \frac{1}{n})$ for $i=1,\dots,q_{n}$;
\item $d_{0}(f_{n+1},f_n)<\frac{\eta_n}{2}$ where $\eta_n$ is choosen such that,
  for every homeomorphism $g$ in the ball (for $d_0$) centered at $f_n$ of
  radius $\eta_n$, the rotation set of $g$ is contained in the ball centered at
  $\alpha_n$ of radius $\frac{1}{n}$.
\end{enumerate}
\item\label{a4} The projection $p_{n+1}$ is close to $p_{n}$ for the
  $C^0$-topology. More precisely: $d_{0}(p_{n+1},p_n)<\frac{1}{2^n}$.
\end{enumerate}

\begin{remarks*} The existence of the real number $\eta_n$ used in
  property~\ref{a4}.b is a consequence of the upper semi-continuity
  of the rotation set $\rho(F)$ with respect to $F$
  \cite[Corollary 3.7]{MZ}.

  Property~\ref{a1} (more precisely, the fact that $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1,x}$ is crooked
  inside $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n,x}$) implies that the sequence of conjugating diffeomorphisms
  $(H_n)$ will necessarily diverge. Nevertheless, the sequence of
  diffeomorphisms $(f_n)=(H_n^{-1}\circ R_{\alpha_n}\circ H_n)$ will converge
  (Property~\ref{a3}). This convergence is obtained by using the well-known
  ingredients of the Anosov-Katok method:
\begin{itemize}
\item[--] one first chooses a conjugating diffeomorphism $H_{n+1}$ of the form
  $H_{n+1}=h_{n+1}\circ H_n$, where $h_{n+1}$ might be very wild, but commutes
  with the rotation $R_{\alpha_n}$ ; this implies that $f_n=H_{n+1}^{-1}\circ
R_{\alpha_n}\circ H_{n+1}$ ;
\item[--] then, choosing $\alpha_{n+1}$ close enough to $\alpha_n$ is enough to
  ensure that $f_{n+1}=H_{n+1}^{-1}\circ R_{\alpha_{n+1}}\circ H_{n+1}$ is close
  to $f_{n}=H_{n+1}^{-1}\circ R_{\alpha_n}\circ H_{n+1}$.
\end{itemize}

A specific point in our construction is that, although the sequence
of diffeomorphisms $(H_n)$ will diverge, we require that the
sequence of maps $(\pi\circ H_n)$ converges (Property~\ref{a4}).
Indeed, we want that the fibers of $\pi_1\circ H_n$ converge to
pseudo-circles ``foliating'' $\TT^2$.
\end{remarks*}

\paragraph{2.d -- Proof of the theorem.} One can easily check that
the theorem follows from the inductive properties stated above.
Properties~\ref{a1} imply that, for every $x\in\TT^1$, the sequence of
annuli $(A_{n,x})$ decreases and converges in Hausdorff topology to
a pseudo-circle $\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}_x$. Moreover, the collection of pseudo-circles
$\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}=\{\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}_x\}_{x\in\TT^1}$ is a partition of $\TT^2$; this follows
from the following fact:
\begin{itemize}
\item[--] for every $n$, the collection of annuli $\{A_{n,x}, x\in\TT^1\}$ covers $\TT^2$,
\item[--] for any $x\neq x'$, the annuli $A_{n,x}$ and $A_{n,x'}$ are
  disjoint if $n$ is large enough.
\end{itemize}

Property~\ref{a3}.a implies that the sequence $(f_n)$ converges to
an holomorphic function $f$ on the interior of $\Delta$. The same
holds for $(f_n^{-1})$. Consequently, the restriction of $f$ to
$\TT^2$ is a real-analytic diffeomorphism.  Since each $f_n$ is
volume-preserving, $f$ belongs to
$\operatorname{Diff}^\omega_{\text{vol},0}(\TT^2)$.

Given $x\in\TT^1$, let $x':=x+\pi(\alpha_n)$. Then $f_n(A_{n,x})=A_{n,x'}$. From
property~\ref{a1}, one deduces that $A_{n+1,x}$ is mapped by $f_n$ inside
$A_{n,x'}$ and $A_{n+1,x'}$ is mapped by $f_n^{-1}$ inside $A_{n,x}$. Hence, the
annulus $f(A_{n+1,x})$ is contained in the $d_{0}(f,f_n)$-neighbourhood of the
annulus $A_{n,x'}$ and the the annulus $f^{-1}(A_{n+1,x'})$ is contained in the
$d_{0}(f,f_n)$-neighbourhood of the annulus $A_{n,x}$. Since $d_{0}(f,f_n)$
tends to $0$ as $n$ goes to infinity, this implies that $f$ preserves the
partition in pseudo-circles $\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}=\{\mathcal{C}}  \def\cI{\mathcal{I}} \def\cO{\mathcal{O}} \def\cU{\mathcal{U}_x\}_{x\in\TT^1}$.

Property~\ref{a2} implies that the sequence $(\alpha_n)$ converges towards some
$\alpha\in\RR^2$. It also implies that the $q_n$ first iterates of $R_\alpha$ are $1/2^{n+1}$
close to those of $R_{\alpha_{n+1}}$, hence are $\frac{1}{2^n}$-dense in $\TT^2$.
Consequently $\alpha$ is totally irrational.

Properties~\ref{a3} imply that the rotation set of $f$ is
reduced to $\{\alpha\}$ (indeed, they imply that
$d_{0}(f,f_n)<\eta_n$ and therefore the rotation set of $f$ is contained in the
ball of radius $\frac{1}{n}$ centered at $\alpha_n$ for every $n$). Hence $f$ is
an irrational pseudo-rotation.

Consider a point $z\in\TT^2$. For every $n$, according to
property~\ref{a25}, the orbit of $z$ under $f_n$ is
$\frac{1}{n}$-dense in $\TT^2$. But the orbit of $z$ under $f_n$ is
periodic of period less than $q_n$ (since $f_n$ is conjugate to the
rotation $R_{\alpha_n}$). Using property~\ref{a3}.a, we obtain that
the orbit of $z$ under $f$ remains at distance less than
$\frac{2}{n}$ of the orbit of $z$ under $f_n$ for a time $q_n$.
Combined with property 3, this means that the orbit of $z$ under $f$
is $\frac{3}{n}$-dense in $\TT^2$. Since $n$ is arbitrary, $f$ is
minimal.

Property~\ref{a4} implies that the sequence of maps $(p_n)$ converges in
topology $C^0$ towards a continuous map $p$. For each $n$, the map $p_n$
semi-conjugates $f_n$ to the rotation of $\TT^1$ with angle
$\pi(\alpha_n)$. Passing to the limit, it follows that the map $p$
semi-conjugates $f$ to the rotation of angle $\pi(\alpha)$. So we get all the
conclusions of the theorem.  \qed

\section{Inductive construction} Now we explain how to construct a
sequence of integers $(N_n)_{n\geq 0}$, a sequence of real numbers
$(\varepsilon)_{n\geq 0}$, a sequence of conjugating diffeomorphisms
$(H_n)_{n\geq 0}$ and a sequence of vectors $(\alpha_n)_{n\geq 0}$, so
that properties 1\ldots 5 are satisfied. We assume that the sequences
have already been constructed up to rank $n$. We will construct
$N_{n+1},\varepsilon_{n+1},H_{n+1},\alpha_{n+1}$.

\paragraph{3.a -- Preliminary constructions.} Recall that we denote by
$\left(\frac{p_n}{q_n},\frac{r_n}{q_n}\right)$ the coordinates of
$\alpha_n$. We introduce a periodic linear flow
$\varphi_{n+1}:(t,(x,y))\mapsto
(x,y)+t\cdot\alpha_n+t\cdot(0,p_nb_{n+1})$ on $\TT^2$ where $b_{n+1}$
is an integer which will be specified below. Observe that the time 1
map of this flow is the rotation $R_{\alpha_n}$. The first return map
of $\varphi_{n+1}$ on the vertical circle $\{x\}\times\TT^1$ is the
time $\frac{q_n}{p_n}$ map of $\varphi_{n+1}$. Denote by $m_n$ the
period of this first return map, and observe that $m_n$ depends on
$\alpha_n$, but does not depend on the choice of the integer
$b_{n+1}$.

We also introduce a $C^\omega$ map $\theta_n\colon \RR\to \RR$ satisfying the following properties.
\begin{itemize}
\item[--] $x\mapsto \theta_n(m_nx)-m_nx$ is a trigonometric polynomial
  (hence $\theta_n-\operatorname{Id}$ is $1/m_n$-periodic),
\item[--] $\theta_n(0)=0$, $\theta_n\left(\frac 1{2m_n}\right)=2$,
  $\theta_n\left(\left[0,\frac 1{2m_n}\right]\right)=[0,2]$ and $\theta_n$ is
  $\frac{1}{4N_n}$-crooked on $\left[0,\frac 1{2m_n}\right]$,
\item[--] $\theta_n\left(\frac 1{m_n}\right)=\frac 1{m_n}$,
  $\theta_n\left(\left[\frac 1{2m_n},\frac
      1{m_n}\right]\right)=\left[\frac 1{m_n},2\right]$ and $\theta_n$
  is $\frac{1}{4N_n}$-crooked on $\left[\frac 1{2m_n},\frac 1{m_n}\right]$.
\end{itemize}

Note that $\theta_n-\operatorname{Id}$ induces a function on $\TT^1$ which extends
holomorphically to $\CC\setminus \{0\}$. \medskip  Recall that $\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N)$
denotes the covering of the circle by $N$ compact intervals defined
by~\eqref{e.defB}. Moreover, $\theta$ itself induces a degree one map on the
circle, which we denote by $\theta$ again for simplicity.

\begin{claim*} If $N_{n+1}$ is large enough, then, for any
  $\omega\in \TT^1$, the circular chain of intervals
  $\{\theta_{n}(B-\omega)+\omega, B\in \mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_{n+1})\}$ is crooked
  inside the circular chain $\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_{n})$.
\end{claim*}

\begin{proof}

  We work with a lift of the family $\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N)$, in the sense discussed in
  Section~\ref{Crooking}, obtained as a covering $\widehat \mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N)$ of the real
  line by intervals of the form:

$$\widehat B_{i}=\bigg(\frac {i-5/4} {N},\frac{i+1/4}{N}\bigg), \quad i\in \ZZ.$$
 If $N_{n+1}$ is large enough, each interval $\theta_{n}(\widehat
B_i-\omega)+\omega$ with $\widehat B_i\in \widehat \mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_{n+1})$ has
lenght strictly less than $\frac{1}{2N_n}$ and therefore is contained
in an interval $\widehat B'_{\hat\ell(i)}$ of the family $\widehat
\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_n)$. Since $\theta_n$ has degree $1$, one can choose the
function $\hat\ell$ such that
$\hat\ell(i+N_{n+1})=\hat\ell(i)+N_{n}$.

Let $i<j$ be two integers such that $\hat\ell(k)$ belongs to the
interval bounded by $\hat\ell(i)$ and $\hat\ell(j)$ for each $i<k<j$
and such that $4<|\hat\ell(j)-\hat\ell(i)|<N_n$. Let us choose $i\leq
i'<j'\leq j$ such that $\hat\ell(i')=\hat\ell(i)$,
$\hat\ell(j')=\hat\ell(j)$ and some points $a\in\widehat B_{i'}$ and
$b\in \widehat B_{j'}$.  One considers $a\leq a'<b'\leq b$ such
that $a,a'$ (resp. $b,b'$) have the same image by $x\mapsto
\theta_{n}(x-\omega)$. One can assume that $a'-\omega,b'-\omega$
belong to the same interval $I_k:=\left[\frac {k}{2m_n},\frac
  {k+1}{2m_n}\right]$: indeed, for each $k$, the image under
$\theta_n$ of $I_k$ has length $>1$ and the point
$\theta_n\left(\frac {k}{2m_n}\right)$ is an end point of
$\theta_n(I_{k-1}\cup I_k)$.

Now the points $a'-\omega$ and $b'-\omega$ belong to the same
interval $I_k=\left[\frac {k}{2m_n},\frac {k+1}{2m_n}\right]$. Since $\theta_{n}$
is $(4N_n)^{-1}$-crooked on this interval, this implies that there exists $a'<c<d<b'$ such that
\begin{itemize}
\item[--] $\theta_{n}(a-\omega)=\theta_{n}(a'-\omega)$ and $\theta_{n}(d-\omega)$ are $(4N_n)^{-1}$-close,
\item[--] $\theta_{n}(b-\omega)=\theta_{n}(b'-\omega)$ and $\theta_{n}(c-\omega)$ are $(4N_n)^{-1}$-close.
\end{itemize} Hence $d$ is contained in an interval $\widehat B_v$
such that $|\hat\ell(v)-\hat\ell(i)|\leq 1$. Similarly, $c$ is
contained in an interval $\widehat B_u$ such that
$|\hat\ell(u)-\hat\ell(i)|\leq 1$. Since $a<c<d<b$ and
$2<|\hat\ell(j)-\hat\ell(i)|$ one gets $i<u<v<j$.

In the projection to $\TT^1$, the above shows that the circular chain
$\{\theta_{n}(B-\omega)+\omega, B\in \mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_{n+1})\}$ is crooked inside
the circular chain $\mathcal{B}}  \def\cH{\mathcal{H}} \def\cN{\mathcal{N}} \def\cT{\mathcal{T}(N_n)$ as announced.
\end{proof}

Since $m_n$ only depends on $\alpha_n$, one can fix the map $\theta_{n}$ but choose $b_{n+1}$ and $N_{n+1}$ arbitrarily large later
in the construction.

\paragraph{3.b -- Construction of $H_{n+1}$.} Consider the map $\Theta_{n+1}:\{0\}\times\TT^1\to\TT^1$ defined by $\Theta_{n+1}:(0,y)\mapsto \theta_n(y)-y$.
Since $\theta_{n}-\operatorname{Id}$ is $1/m_n$-periodic, and since the period of the return map associated to the linear flow $\varphi_{n+1}$
on $\{0\}\times \TT^1$ is equal to $m_n$, this maps extends to a map $\Theta_{n+1}:\TT^2\to \TT^1$ which is constant along the orbits of $\varphi_{n+1}$.
We define $H_{n+1}$ by setting $H_{n+1}:=h_{n+1}\circ H_n$, where
$$
h_{n+1}(x,y)=\varphi_{n+1}\left(-\frac{\Theta_{n+1}(x,y)}{p_nb_{n+1}},(x,y)\right)=\bigg(x,y-\Theta_{n+1}(x,y)\bigg)-\frac{\Theta_{n+1}(x,y)}{q_nb_{n+1}}\left(1,
\frac{r_n}{p_n}\right).
$$
Since $\Theta_{n+1}$ is constant along the orbits of $\varphi_{n+1}$, one has
\begin{equation}\label{e.formulah}
h_{n+1}^{-1}(x,y)=\bigg(x,y+\Theta_{n+1}(x,y)\bigg)+\frac{\Theta_{n+1}(x,y)}{q_nb_{n+1}}\left(1,
\frac{r_n}{p_n}\right).
\end{equation}
Clearly, $h_{n+1}$ (and hence $H_{n+1}$) belongs to
$\operatorname{Diff}^\omega_{\text{vol},0}(\TT^2)$. Note also that both $h_{n+1}$
and $h_{n+1}^{-1}$ extend holomorphically to the domain $(\CC\setminus
\{0\})^2$.

\begin{figure}[h!]
\vspace{-0.3cm}
\begin{center}
\includegraphics[width=0.9\linewidth]{theta-eps-converted-to.pdf}
\end{center}
\vspace{-1cm}
\caption{\it Choice of the function $\theta$ (on the right) and the image of a
  vertical line $\{x\}\times \mathbb{R}$ under the lift $\widehat h_{n+1}$ of
  $h_{n+1}$ (schematic picuture with $m_n=2$). Note that the preimages of vertical lines under $h_{n+1}$ have a
  similar {\em `crookedness'}, which is the fact that is needed for our
  construction (see  next section). \label{f.theta} The horizontal size of
  images (and preimages) of vertical lines under $h_{n+1}$ is small compared to
  $\varepsilon_{n+1}$. This size is controlled by the flow lines of $\varphi_{n+1}$ (dashed lines),
  whose direction is given by the almost vertical vector
  $\left(\frac{1}{b_{n+1}q_n+(r_n/p_n)},1\right)$. }
\end{figure}

\paragraph{3.c -- Choice of $b_{n+1}$, $\varepsilon_{n+1}$ and
  $N_{n+1}$.}

Now, we explain how to fix the values of $b_{n+1}$,
$\varepsilon_{n+1}$, and $N_{n+1}$  so that properties~\ref{a1}
and~\ref{a4} hold.  From~\eqref{e.formulah}, if $b_{n+1}$ is large
enough, the image under $h_{n+1}^{-1}$ of every point $(x,y)\in\TT^2$
is arbitrarily close to $\left(x,y+\Theta_{n+1}(x,y)\right)$. Now
observe that, for each $x\in \TT^1$, there exists $\omega_x\in \TT^1$
such that
\begin{equation*}
\Theta_{n+1}(x,y)=\theta_{n}(y-\omega_x)-y+\omega_x.
\end{equation*}
As a consequence, if $b_{n+1}$ is large enough, the image under
$h_{n+1}^{-1}$ of every point $z=(x,y)\in\TT^2$ is arbitrarily close
to $(x,\theta_{n}(y-\omega_x)+\omega_x)$. Hence, if $b_{n+1}$ is large
enough and $\varepsilon_{n+1}$ is small enough, the image under
$h_{n+1}^{-1}$ of a rectangle
$(x-\varepsilon_{n+1},x+\varepsilon_{n+1})\times B$ is contained in an
arbitrary small neighbourhood of the square $\{x\}\times
(\theta_{n}(B-\omega_x)+\omega_x)$. Using the claim above, this
implies that the family $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1,x}$ is crooked inside $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n,x}$,
provided $N_{n+1}$ is large enough. By continuity of $H_{n+1}^{-1}$,
the diameter of the elements of the covering $\mathcal{D}}  \def\cJ{\mathcal{J}} \def\cP{\mathcal{P}} \def\cV{\mathcal{V}_{n+1,x}$ is less
than $\frac{1}{n+1}$ if $b_{n+1},N_{n+1}$ are large enough and
$\varepsilon_{n+1}$ is small enough. We have thus checked that
property~\ref{a1} holds, provided that $b_{n+1},N_{n+1}$ are chosen
large enough and $\varepsilon_{n+1}$ is chosen small enough.

By definition of $p_n$, $p_{n+1}$, and $H_{n+1}$, in order to check
that property~\ref{a4} is satisfied, it is enough to check that
$\pi\circ h_{n+1}$ is close to $\pi$ for the $C^0$-topology. This is a
direct consequence of the definition of $h_{n+1}$, provided that
$b_{n+1}$ is chosen large enough.

\paragraph{3.d -- Choice of $\alpha_{n+1}$.}
Clearly, one can choose $\alpha_{n+1}$ arbitrarily close to $\alpha_n$
so that property~\ref{a2} holds. By uniform continuity of $H_{n+1}$
and $H_{n+1}^{-1}$, there exists $\eta$ so that the orbits of
$f_{n+1}=H_{n+1}\circ R_{\alpha_{n+1}}\circ H_{n+1}^{-1}$ are
$\frac{1}{n+1}$-dense in $\TT^2$ provided that the orbits of the
rotation $R_{\alpha_{n+1}}$ are $\eta$-dense in $\TT^2$. One can thus
choose $\alpha_{n+1}$ arbitrarily close to $\alpha_n$ so that
property~\ref{a25} is satisfied.   By construction both $f_{n+1}$
and $f_{n+1}^{-1}$ extend holomorphically to $(\CC\setminus
\{0\})^2$. Moreover the diffeomorphism $h_{n+1}$ commutes with the
flow $\varphi_{n+1}$, hence with the rotation $R_{\alpha_n}$.
Consequently $f_n=H_{n+1}^{-1}\circ R_{\alpha_n} \circ H_{n+1}$. This
shows that $f_{n+1}$ is arbitrarily close to $f_n$ when $\alpha_{n+1}$
is chosen arbitrarily close to $\alpha_n$. In particular,
property~\ref{a3} holds provided that $\alpha_{n+1}$ is chosen close
enough to $\alpha_n$.

\section{Uniqueness of the semi-conjugacy, non-existence of wandering
  curves and further remarks}\label{s.unique}

The aim of this last section is to discuss, somewhat informally, the
implications of our construction for some  questions arising in the
context of dynamics and rotation theory on the two-torus. Throughout this
section, we assume $f$ is an irrational pseudo-rotation with an invariant
foliation of pseudo-circles, consisting of the fibres of a semi-conjugacy
$p:\TT^2\to\TT^1$ to an irrational rotation $R_\alpha$. Moreover, we will freely
add further assumptions on $f$ if these can easily be ensured in the preceeding
Anosov-Katok-construction.
We first note that the semi-conjugacy in
Theorem~\ref{t.main} is unique, modulo post-composition by rotations.

\begin{proposition}
  The semi-conjugacy $p$ in Theorem~\ref{t.main} is uniquely determined: any
  continuous map $p'$ which is homotopic to $p$ and semi-conjugates $f$ to the
  same circle rotation as $p$ can be written as $p'=R\circ p$ where $R$ is a
  rotation of the circle.
\end{proposition}

This follows directly by combining \cite[Corollary 4.3]{JP} (uniqueness of the
semi-conjugacy provided the non-wandering set is externally transitive) with
\cite[Theorem A]{Po} (external transitivity of the non-wandering set of
irrational pseudo-rotations).
\medskip

The uniqueness of the semi-conjugacy further allows to see that $f$
does not admit any loop which is wandering (i.e. disjoint from all
its iterates) and has the same homotopy type as the pseudo-circles
(that is, homotopy vector $v_2=(0,1)$ in our construction). The
reason for this is the fact that the existence of such a loop
$\Gamma$ would allow to construct a semi-conjugacy $\tilde p$ to the
rotation $R_\alpha$ such that $\Gamma$ is contained in a single
fibre of the semi-conjugacy. Details of this construction can be
found in \cite[Lemma 3.2]{JP} (the fact that $\Gamma$ is contained in
a single fibre is not mentioned explicitly, but is obvious from the
proof). Due to the uniqueness of the semi-conjugacy (modulo
rotations) and the fact that none of the pseudo-circles of the
foliation contains any non-degenerate curves, this yields a
contradiction.

More generally, it is even possible to show that $f$ does not admit
any loops disjoint of all its iterates, regardless of the homotopy
type. This is slightly more subtle, and we only sketch the argument.
The crucial observation is the fact that we may construct $f$ such
that
\begin{equation}
  \label{e.deviations}
  \sup \left|\left\langle F^n(z)-z-n\rho,v\right\rangle\right| \ < \
\infty \quad \textrm{iff} \quad v=(1,0) \ ,
\end{equation}
where $F: \RR^2\to\RR^2$ is a lift of $f$ and $\rho\in\RR^2$ is the
corresponding rotation vector. Now, if there exists a wandering loop of homotopy
type $w\in\ZZ^2\setminus\{0\}$, then it is not hard to see that
\[
\sup \left|\left\langle F^n(z)-z-n\rho,w^\perp\right\rangle\right| \ < \ \infty \ .
\]
However, according to (\ref{e.deviations}) this is only possible if $w=(0,1)$,
and this is exactly the homotopy type of the pseudo-circles which was excluded
before. Homotopically trivial wandering loops cannot exist by minimality, and
therefore no loop of any homotopy type can be wandering.

Roughly speaking, in order to prove (\ref{e.deviations}) one has to use the fact
that since the leaves of the foliations $\cV_k$ are increasingly crooked,
connected fundamental domains of these circles in the lift become arbitrarily
large in diameter. Since an iterate of $f_k$ acts as a rotation on these leaves,
this allows to see that for suitable integers $n_k$ the vertical deviations
$\left|\left\langle F_k^{n_k}(z)-z-n_k\rho,w^\perp\right\rangle\right|$ become
arbitrarily large. If the $f_k$ converge to $f$ sufficiently fast, then this
carries over to the limit and yields unbounded vertical deviations for $f$. At
the same time horizontal deviations (that is, $v=v_1=(1,0)$ in
(\ref{e.deviations})) are bounded due to the existence of the semi-conjugacy
(e.g. \cite[Lemma 3.1]{JT}). Together, these two facts yield unbounded
deviations for all $v\neq v_1$.
\medskip

The fact that $f$ does not admit any wanding loops is of some interest
in the context of the Arc Translation Theorem due to Kwapisz
\cite{Kwa,BCL}, which asserts that given an irrational
pseudo-rotation and any integer $n$, there exist essential loops
which are disjoint from their first $n$ iterates. It is natural to
ask under what additional assumptions this statement can be
strengthened by passing from a finite number to all iterates. A
natural obstruction is certainly to have unbounded deviations in all
directions, as discussed above. However, our example shows that even
if the deviations are bounded in some direction, the existence of a
wandering curve is not guaranteed. Thus, in this sense the statement
of the Arc Translation Theorem is optimal, and essential loops have
to be replaced by more general classes of essential continua in order
to obtain results in infinite time.  \medskip

Finally, we want to mention a loose connection of our construction to the
Franks-Misiurewicz Conjecture \cite{franks-misiurewicz}. The latter asserts
that if the rotation set of a
torus homeomorphism is a line segment of positive length, then either it
contains infinitely many rational points, or it has a rational endpoint. As
mentioned in the introduction, Avila has recently announced a counterexample to
this conjecture for the case where the rotation segment has irrational slope,
but the line it defines does not pass through a rational point. Conversely, Le
Calvez and Tal have announced the first positive partial result on the
conjecture: if the rotation set is a segment with irrational slope, it cannot
contain a rational point in its relative interior. One case which is still
completely open, however, is whether the rotation set can be a line segment with
rational slope, but without rational points -- for example, of the form
$\{\alpha\}\times [a,b]$ with $\alpha\in\RR$ irrational and $a<b$.  Now, in the
situation where there exists a semi-conjugacy $p$, homotopic to $\pi_1$, to the
rotation $R_\alpha$ on the circle, the rotation set has to be contained in the
line $\{\alpha\}\times\RR$ \cite[Lemma 3.1]{JT}. Hence, this is a natural class
of maps to look for counterexamples to this subcase of the Franks-Misiurewicz
Conjecture. However, it is known that in order to have a non-degenerate rotation
interval, the fibres of the semi-conjugacy need to have a complicated structure
-- more precisely, they need to be indecomposable \cite{JP}. Our example shows
that such a rich fibre structure is possible in principle. Yet, whether a
non-degenerate rotation interval can be achieved remains open. Here, the fact
that the Anosov-Katok method typically leads to uniquely ergodic examples
suggests that a different approach would be needed to produce such examples, if
these exists at all.


\subsection{Definitions}

We first recall the definition of the splitter game due to Grohe et al.~\cite{GroheKS14}. Fix some graph $G$ and $\ell,m,d\in \mathbb N$. The {\em{$(\ell,m,d)$-splitter game}} on $G$ is a game played by two players: connector and splitter. The game proceeds in $\ell$ rounds. At the beginning of round $i+1$, the game is played on a subgraph $G_i$ of $G$ that we shall call the {\em{arena}}; the game starts with $G_0=G$. In round $i+1$, connector first picks an arbitrary vertex $v_{i+1}\in V(G_i)$ of the arena. Then, splitter chooses a subset $W_{i+1}\subseteq V(G_i)$ of size at most $m$. The arena gets trimmed to $G_{i+1}=G_i[N^d_{G_i}[v_{i+1}]\setminus W_{i+1}]$; that is, in the next round we consider only vertices that are at distance at most $d$ in $G_i$ from the vertex picked by connector, and moreover the vertices $W_{i+1}$ chosen by splitter are removed. Splitter wins the game if within $\ell$ rounds the arena becomes empty, i.e., $G_{i+1}$ is an empty graph for some $i\leq \ell$, and connector wins otherwise.

A {\em{winning strategy}} for connector is simply a function $\sigma$ that maps sequences of the form $(v_1,W_1,v_2,W_2,\ldots,v_i,W_i)$ to vertices of $G$ such that (i) $\sigma(v_1,W_1,v_2,W_2,\ldots,v_i,W_i)$ is a valid move $v_{i+1}$ for connector; and (ii) by playing $v_{i+1}=\sigma(v_1,W_1,v_2,W_2,\ldots,v_i,W_i)$ in each round, where $v_1,v_2,\ldots,v_i$ and $W_1,W_2,\ldots,W_i$ are previous moves of connector and splitter, respectively, connector wins the $(\ell,m,d)$-splitter game. We similarly define winning strategies for splitter as functions $\tau$ the map sequences of the form $(v_1,W_1,v_2,W_2,\ldots,v_i,W_i,v_{i+1})$ to sets $W_{i+1}\subseteq V(G)$.

We will say that a class $\mathcal C$ of finite graphs is {\em{winning for splitter}} if for every $d\in \mathbb N$, there exist $\ell,m\in \mathbb N$ such that splitter has a winning strategy in the $(\ell,m,d)$-splitter game on every graph from $G$. Grohe et al.~\cite{GroheKS14} proved that $\mathcal C$ is winning for splitter if and only if it is nowhere dense. Our goal now is to give an alternative proof of this result by defining the limit variant of the splitter game, proving its equivalence with the standard variant by the means of Łoś's theorem, and then showing that splitter wins in the limit game if and only if the graph class is limit nowhere-dense.

Fix some graph $G$ and $d\in \mathbb N$. The {\em{limit $d$-splitter game}} has the same rules as the standard $(\ell,m,d)$-splitter game apart from the following differences:
\begin{itemize}
\item In splitter's moves, we require that $W_{i+1}$ is finite (instead of bounding its size by $m$).
\item Splitter wins if the arena becomes empty after a finite number of rounds (instead of after at most $\ell$ rounds).
\end{itemize}
The definitions of strategies for splitter and connector are the same as previously. We say that a class $\mathcal C$ of finite graphs is {\em{limit winning for splitter}} if for every $d\in \mathbb N$, splitter has a winning strategy in the limit $d$-splitter game on every graph from $\mathcal C^\star$.

The following simple observation shows that in fact we can restrict ourselves to the game, where splitter always pick singleton sets $W_i$.

\begin{lemma}\label{lem:one-move}
Let $G$ be a graph. If splitter has a winning strategy in the $(\ell,m,d)$-splitter game on $G$, then she has also a winning strategy in the $(\ell\cdot m,1,d)$-splitter game on $G$. If splitter has a winning strategy in the limit $d$-splitter game on $G$, then she has also a strategy in this game where in each round she picks $W_i$ of size $1$.
\end{lemma}

\begin{proof}
Both claims follow from an observation that instead of choosing a set $W$ in some round, splitter can use at most $|W|$ consecutive rounds to choose the vertices of $W$ one by one. The intermediate moves of connector can be ignored because they can only trim further the arena.
\end{proof}

Since for $\ell,m,d\in \mathbb N$ and a finite graph $G$, the $(\ell,m,d)$-splitter game on $G$ is finite, the fact that splitter does not have a winning strategy in this game implies that connector has one. This statement, however, is not obvious for the limit game. Even though it is not essential for our later reasonings, we state and prove it for the sake of completeness.

\begin{proposition}\label{thm:determinacy}
Let $G$ be a (possibly infinite) graph and let $d\in \mathbb N$. Then splitter has a winning strategy in the $d$-splitter game on $G$ if and only if connector does not have a winning strategy in this game.
\end{proposition}
\begin{proof}
The $d$-splitter game on $G$ can be regarded as a Gale-Stewart game on $A:=P_{\text{fin}}(V(G))$, the set of finite subsets of $V(G)$, with an open winning condition. Namely, the players alternately choose consecutive entries of a sequence from $A^\omega$. Some moves are invalid for the players: for connector, it is invalid to choose a subset of cardinality different than $1$, and for both players it is invalid to choose any vertex outside the current arena. We assume that if some player performs an invalid move, then the game continues indefinitely with this player being the losing one at the end. Let $X_C$ and $X_S=A^\omega\setminus X_C$ be the sets of all sequences from $A^\omega$ that encode the plays winning for connector and splitter, respectively. Then $X_S$ is the set of all the infinite sequences where the first invalid move was performed by connector. It follows that $X_S$ is open in the product topology on $A^\omega$. Hence, the claim follows from Martin's theorem~\cite{Martin75} that states that Gale-Stewart games with a Borel winning condition are determined.
\end{proof}

\subsection{Linking the standard and limit games}

We first prove a simple auxiliary result.

\begin{lemma}\label{lem:fo-winning}
For every $\ell,m,d\in \mathbb N$, there exists a first-order sentence $\phi_{\ell,m,d}$ such that, for any graph $G$, $G\models \phi_{\ell,m,d}$ iff connector wins in the $(\ell,m,d)$-splitter game on $G$.
\end{lemma}
\begin{proof}
We simply quantify the existence of the strategy for connector. That is, $\phi_{\ell,m,d}$ has $2\ell$ alternating blocks of quantification, where connector's moves are quantified existentially as single vertices $v_i$, and splitter's moves are quantified universally as $m$ variables $w^1_i,w^2_i,\ldots,w^m_i$ (not required to be distinct). To verify that the quantified variables form a valid play of the $(\ell,m,d)$-splitter game on $G$, and at the end the arena is non-empty, we use formulas $\psi_i$ for $i=0,1,\ldots,\ell$ with the following syntax and semantics: Formula $\psi_i$ has free variables $ \{v_j\}_{j\leq i}\cup \{w^q_j\}_{q\leq m,\, j\leq i}\cup \{x\}$, and is true if and only if $x$ belongs to arena $G_i$ defined by the previous moves $\{v_j\}_{j\leq i}\cup \{w^q_j\}_{q\leq m,\, j\leq i}$. We can put $\psi_0=\top$, and $\psi_{i+1}$ can be defined inductively using $\psi_i$ as follows: $x$ belongs to $G_{i}$, $x$ is different from all $\{w^q_{i+1}\}_{q\leq m}$, and moreover there is a path in $G_i$ of length at most $d$ from $x$ to $v_{i+1}$.
\end{proof}

\begin{lemma}\label{lem:game}
Let $\mathcal C$ be a class of finite graphs. Then $\mathcal C$ is winning for splitter if and only if $\mathcal C$ is limit winning for splitter.
\end{lemma}
\begin{proof}
Suppose first that $\mathcal C$ is winning for splitter. Fix any $d\in \mathbb N$. Then there exist $\ell,m\in \mathbb N$ such that splitter wins in the $(\ell,m,d)$-splitter game on each graph of $\mathcal C$. We claim that splitter wins also in the $(\ell,m,d)$-splitter game on each graph of $\mathcal C^\star$, so in particular also in the limit $d$-splitter game on each graph of $\mathcal C^\star$. Indeed, take any graph $H\in \mathcal C^\star$; then $H$ is a subgraph of a graph of the form $G^\star = \prod_\ultra G_n$ for some sequence $(G_n)_{n\in \omega}$ of graphs from $\mathcal C$. To show that splitter wins in the $(\ell,m,d)$-splitter game on $H$, it suffices to show that she wins in this game on $G^\star$, because then the same strategy trimmed to $V(H)$ will work on $H$. However, this follows immediately from Lemma~\ref{lem:fo-winning} and Łoś's theorem: we have that $G_n\models \neg \phi_{\ell,m,d}$ for all $n\in \mathbb N$, so by Łoś's theorem also $G^\star\models \neg \phi_{\ell,m,d}$.

Suppose now that $\mathcal C$ is limit winning for splitter. For the sake of contradiction, suppose $\mathcal C$ is not winning for splitter. This implies that there exist $d\in \mathbb N$ and a sequence of graphs $(G_n)_{n\in \mathbb N}$ such that, for each $n\in \mathbb N$, connector has a winning strategy $\sigma_n$ in the $(n,1,d)$-splitter game on $G_n$. Let $G^\star=\prod_\ultra G_n$. Using $(\sigma_n)_{n\in \mathbb N}$, we will construct a strategy $\sigma^\star$ for connector in the limit $d$-splitter game on $G^\star$ that wins with all the strategies of splitter, where splitter uses only singleton sets $W_i$. By Lemma~\ref{lem:one-move}, this will be a contradiction with $\mathcal C$ being limit winning for splitter.

Let $(\seq v_1,\seq w_1,\seq v_2,\seq w_2,\ldots,\seq v_i,\seq w_i)$ be the sequence of connector's and splitter's moves during the first $i$ rounds of the limit $d$-splitter game on $G^{\star}$. Here, we assume that splitter always answers with singleton sets, so we denote the $i$-th move of splitter as $\set{\seq w_i}$. Moreover, we suppose that each $\seq v_j$ and $\seq w_j$ is an arbitrarily chosen representative of its equivalence class with respect to $\sim_\mathcal{U}$. We denote $\seq v_j=(\seq v_{j,n})_{n\in \mathbb N}$, where $\seq v_{j,n}\in V(G_n)$ for all $n\in \mathbb N$, and similarly for $\seq w_j$.

For $n\in \mathbb N$ and $i<n$, let
$$\seq v_{i+1,n}=\sigma_n(\seq v_{1,n},\seq w_{1,n},\seq v_{2,n},\seq w_{2,n},\ldots,\seq v_{i,n},\seq w_{i,n}).$$
For $i\geq n$, define $\seq v_{i+1,n}$ to be an arbitrary vertex of $G_n$. Let us define
$$\seq v_{i+1}=[(\seq v_{i+1,n})_{n\in \mathbb N}]_{\sim_\mathcal{U}}.$$
Note that the definition of $\seq v_{i+1}$ does not depend on the particular choice of representatives $\seq v_1,\seq w_1,\seq v_2,\seq w_2,\ldots,\seq v_i,\seq w_i$. Put
$$\sigma^\star(\seq v_1,\seq w_1,\seq v_2,\seq w_2,\ldots,\seq v_i,\seq w_i)=\seq v_{i+1}.$$
It remains to prove that $\sigma^\star$ indeed is a strategy that guarantees that connector wins against any strategy of splitter that uses only singleton sets. For this, we need to show that each move $\seq v_{i+1}$ of connector belongs to the arena $G_{i}$, for all $i\in \mathbb N$.

To this end, define a first-order formula $\psi_i$ for $i\in \mathbb N$ as in the proof of Lemma~\ref{lem:fo-winning}: $\psi_i$ has free variables $\{v_1,w_1,\ldots,v_i,w_i,x\}$ and is true in $G,v_1,w_1,\ldots,v_i,w_i,x$ if and only if $x$ is in arena $G_i$ defined by previous moves $v_1,w_1,\ldots,v_i,w_i$ of connector and splitter. We can put $\psi_0=\top$, and define $\psi_{i+1}$ using $\psi_i$ inductively as follows: $x$ belongs to arena $G_{i}$, is different from $w_{i+1}$, and there is a path in $G_i$ of length at most $d$ from $x$ to $v_{i+1}$. By the definition of $\sigma_n$, we have that
$$G_n,\seq v_{1,n},\seq w_{1,n},\seq v_{2,n},\seq w_{2,n},\ldots,\seq v_{i,n},\seq w_{i,n},\seq v_{i+1,n}\models \psi_{i}$$
for all $0\leq i<n$. Therefore, for a fixed $i\in \mathbb N$ and variable $n\in \mathbb N$, the above holds $\meas$-almost-everywhere\xspace. From Łoś's theorem we thus infer that
$$G^\star,\seq v_1,\seq w_1,\seq v_2,\seq w_2,\ldots,\seq v_{i},\seq w_{i},\seq v_{i+1}\models \psi_i$$
for all $i\in \mathbb N$. Hence, for all $i\in \mathbb N$ the $(i+1)$-st move of connector is always in the arena $G_{i}$, and thus is valid.
\end{proof}

We remark that by applying the proof of Lemma~\ref{lem:game} in both directions, and then Lemma~\ref{lem:one-move}, we obtain the following corollary: If splitter wins in the limit $d$-splitter game on every graph from $\mathcal C^\star$, then there is a constant $\ell\in \mathbb N$ such that she wins in the $(\ell,1,d)$-splitter game on every graph from $\mathcal C^\star$. In other words, the lengths of the game can be bounded universally.

\subsection{Equivalence with nowhere-denseness and quasi-wideness}

The proofs in this section are inspired by the analogous proofs for the finite variants, due to Grohe et al.~\cite{GroheKS14}.

\begin{lemma}\label{lem:qw-gm}
If a class of finite graphs $\mathcal C$ is uniformly limit quasi-wide, then $\mathcal C$ is limit winning for splitter.
\end{lemma}
\begin{proof}
Fix a graph $G\in \mathcal C^\star$ and $d\in \mathbb N$. We give a winning strategy $\tau$ for splitter in the limit $d$-splitter game on $G$. Suppose $(v_1,W_1,v_2,W_2,\ldots,v_{i-1},W_{i-1},v_i)$ were the previously performed moves in the game. Since connector's move $v_i$ is within the arena $G_{i-1}$ and the arenas in the game form a chain in the subgraph order, for each $1\leq j<i$ there exists a path $P_{j,i}$ in arena $G_{j-1}$ that has endpoints $v_j$ and $v_i$, and length at most $d$. Then splitter answers with move $W_i:=(\{v_i\}\cup \bigcup_{0\leq j<i} V(P_{j,i}))\cap V(G_{i-1})$; note that thus $W_i$ is finite and contains $v_i$.

Suppose that this strategy is not winning for splitter, that is, there exists an infinite sequence $(v_1,v_2,\ldots)$ of connector's moves that are always within the arena. Since $v_i\in W_i$ for each $i=1,2,\ldots$, all $v_i$-s are pairwise different. Let $M=\{v_1,v_2,\ldots\}$; then $M$ is infinite. As $G\in \mathcal C^\star$ and $\mathcal C$ is uniformly limit quasi-wide, there is a finite set $S\subseteq V(G)$ and infinite subset $M'\subseteq M\setminus S$ that is $d$-scattered in $G\setminus S$.

For $n\in \mathbb N$, let $R_n=\bigcup_{1\leq j<i\leq n} V(P_{j,i})$. Since $(R_n)_{n\in \mathbb N}$ is an increasing inclusion chain and $S$ is finite, there exists $N\in \mathbb N$ such that $S\cap (R_m\setminus R_N)=\emptyset$ for all $m\geq N$. Note that by the definition of the sets $W_i$ it follows that $R_N\cap V(G_N)=\emptyset$. Since $M'$ is infinite, there exist two distinct indices $m>n>N$ such that $v_{m},v_{n}\in M'$. Consider the path $P_{n,m}$. This path is entirely contained in arena $G_{m-1}\subseteq G_N$, and hence $R_N\cap V(P_{n,m})=\emptyset$. Therefore, $V(P_{n,m})\subseteq R_{m}\setminus R_N$, and hence $P_{n,m}$ does not traverse any vertex of $S$. However, $P_{n,m}$ has length at most $d$ and connects two different vertices of $M'$. This is a contradiction with $M'$ being $d$-scattered in $G\setminus S$.
\end{proof}

\begin{lemma}\label{lem:gm-tnd}
If a class of finite graphs $\mathcal C$ is limit winning for splitter, then $\mathcal C$ is limit topologically nowhere dense.
\end{lemma}
\begin{proof}
The proof is by the contraposition. Suppose there is $d\in\mathbb N$ such that $K_\omega\in \mathcal C^\star\mathop{\tilde \triangledown} d$. Since $\mathcal C^\star$ is closed under taking subgraphs by definition, we have that there is a graph $H\in \mathcal C^\star$ such that $H$ can be obtained from $K_\omega$ by subdividing each edge at most $2d$ times. We now present a strategy for connector in the limit $(4d+2)$-splitter game.

Let $A$ be the set of vertices of infinite degree in $H$. Every pair of vertices $\{u,v\}\subseteq A$ can be connected by an infinite family of internally vertex-disjoint paths of length at most $4d+2$. Hence, for every finite set $W\subseteq V(G)$, all the vertices of $A\setminus W$ belong to the same connected component of $H\setminus W$, and moreover they are pairwise at distance at most $4d+2$ in $H\setminus W$.

The strategy for connector is as follows: in each round, pick an arbitrary vertex of $A$ that was not chosen by splitter in the previous rounds. Such a vertex always exists, because $A$ is infinite and after any finite number of rounds, only a finite number of vertices have been chosen by splitter. If connector follows this strategy, then the argument of the previous paragraph shows that all the vertices of $A$ apart from the ones chosen by splitter will be always in the arena. Hence the moves of connector will be always valid and the arena will never become empty.
\end{proof}

\section{Introduction}\label{sec:intro}
\input{intro}

\section{Preliminaries}\label{sec:prelims}
\input{prelims}

\section{Nowhere denseness}\label{sec:nowhere}
\input{nowhere}

\section{Quasi-wideness}\label{sec:quasi}
\input{quasi}

\section{Splitter game}\label{sec:game}
\input{game}

\section{Conclusions}\label{sec:conc}
\input{conclusions}

\bibliographystyle{abbrv}

\section*{\indexname}]

\subsection{Definitions}\label{sec:quasi-def}

Suppose $G$ is a graph and $d\in \mathbb N$. Recall that we say that a vertex subset $X\subseteq V(G)$ is {\em{$d$-scattered}} if for all distinct $u,v\in X$, the distance between $u$ and $v$ is larger than $2d$. Equivalently, balls $\set{N_G^d[u]}_{u\in X}$ are pairwise disjoint.
For the remainder of this section, let us fix some class $\mathcal C$ of finite graphs.

Let $s\colon \mathbb N\to\mathbb N$ be a function. We say that $\mathcal C$ is \emph{quasi-wide (\emph{QW}) with margin $s$}  if for all $d,m\in \mathbb N$ there exists an $N\in \mathbb N$ such that the following holds: For every graph $G\in \mathcal C$ with $|V(G)|\geq N$, there exists $S\subseteq V(G)$ with $|S|\leq s(d)$ such that $G-S$ contains a $d$-scattered set of size $m$. We say that $\mathcal C$ is \emph{uniformly quasi-wide ({UQW}) with margin $s$} if for all $d,m\in \mathbb N$ there exists an $N\in \mathbb N$ such that the following holds: For every graph $G\in \mathcal C$ and every vertex subset $W\subseteq V(G)$ with $|W|\geq N$, there exists $S\subseteq V(G)$ with $|S|\leq s(d)$ such that in $G-S$ one can find a $d$-scattered set of size $m$ contained in $W$. Note that uniform quasi-wideness implies quasi-wideness with the same margin by taking $W=V(G)$.

It is a known result of the theory of sparse graphs (cf. Theorem 8.2 of~\cite{sparsity}) that a hereditary class $\mathcal C$ of finite graphs is (uniformly) quasi-wide with some margin if and only if $\mathcal C$ is nowhere dense. The goal of this section is to give an alternative proof of this statement by proving it for the limit counterparts of (uniform) quasi-wideness, and then transferring this result to the standard definitions by the means of Łoś's theorem.

To this end, we now give limit counterparts of the notions of (uniform) quasi-wideness. There will be four variants: the definition will either contain the uniformity requirement or not, and the margin will be either uniformly bounded by some function $s$, or just required to be finite. As we will see later, for hereditary $\mathcal C$ all these notions will be equivalent, and equivalent to (limit) nowhere denseness and standard (uniform) quasi-wideness.

We shall say that $\mathcal C$ is \emph{limit quasi-wide} (\emph{LQW}) if for every $d\in \mathbb N$ and every infinite graph $G\in \mathcal C^\star$, there exists a finite set $S\subseteq V(G)$ such that in $G\setminus S$ one can find an infinite $d$-scattered set. We shall also say that $\mathcal C$ is \emph{uniformly limit quasi-wide} (\emph{ULQW}) if for every $d\in \mathbb N$, every graph $G\in \mathcal C^\star$, and every infinite set $W\subseteq V(G)$, there exists a finite set $S\subseteq V(G)$ such that in $G\setminus S$ one can find an infinite $d$-scattered set contained in $W$.

Let $s\colon \mathbb N\to \mathbb N$ be a function. We shall say that $\mathcal C$ is \emph{strongly limit quasi-wide ({SLQW}) with margin $s$}  if for every $d\in \mathbb N$ and every infinite graph $G\in \mathcal C^\star$, there exists a set $S\subseteq V(G)$ with $|S|\leq s(d)$ such that in $G\setminus S$ one can find an infinite $d$-scattered set. We shall also say that $\mathcal C$ is \emph{strongly uniformly limit quasi-wide ({SULQW}) with margin $s$}  if for every $d\in \mathbb N$, every graph $G\in \mathcal C^\star$, and every infinite set $W\subseteq V(G)$, there exists a set $S\subseteq V(G)$ with $|S|\leq s(d)$ such that in $G\setminus S$ one can find an infinite $d$-scattered set contained in $W$.

The following implications are trivial: If $\mathcal C$ is strongly limit quasi-wide with some margin, then it is also limit quasi wide. The same holds for the uniform variants: SULQW implies UQW. By taking $W=V(G)$, we obtain that uniform limit quasi-wideness implies limit quasi-wideness, and strong uniform limit quasi-wideness with some margin $s$ implies strong limit quasi-wideness with the same margin.

\begin{comment}

$$\begin{cases}
 G\in\mathcal C \\
 |G| \geq N
 \end{cases}
 \qquad\implies\qquad
 \begin{cases}
 \exists_{S\subseteq V(G)} |S| \leq s(r)\\
 G-S \textrm{\qquad contains an $r$-scattered set of size at least $m$}
 \end{cases}
 $$

We say that $\mathcal C$ is \emph{uniformly quasi-wide with margin $s$} if for all $r,m\geq 0$ there exists an $N>0$ such that:
$$\begin{cases}
 G\in\mathcal C \\
 W\subset V(G)\\
 |W| \geq N
 \end{cases}
 \qquad\implies\qquad
 \begin{cases}
 \exists_{S\subseteq V(G)} |S| \leq s(r)\\
 W \textrm{\qquad contains an $r$-scattered subset of $G-S$ of size at least $m$}
 \end{cases}
 $$
Note that uniform quasi-wideness implies quasi-wideness, since we can always take $W=V(G)$.

\subsection{Limit versions}
Let $\mathcal C$ be a class of finite graphs
We say that $\mathcal C$ is \emph{limit quasi-wide} if for all $r\geq 0$,

$$\begin{cases}
 G\in\mathcal C^\star \\
 |G| \geq \omega
 \end{cases}
 \qquad\implies\qquad
 \begin{cases}
 \exists_{S\subseteq V(G)} S\textrm{ finite}\\
 G-S \textrm{\qquad contains an infinite $r$-scattered set}
 \end{cases}
 $$
 We say that $\mathcal C$ is \emph{limit uniformly quasi-wide} if for all $r\geq 0$,

 $$\begin{cases}
  G\in\mathcal C^\star \\
  W\subseteq V(G)\\
  |W| \geq \omega
  \end{cases}
  \qquad\implies\qquad
  \begin{cases}
  \exists_{S\subseteq V(G)} S\textrm{ finite}\\
  W \textrm{\qquad contains an infinite $r$-scattered subset of $G-S$}
  \end{cases}
  $$

\subsection{Strong limit versions}
Let $\mathcal C$ be a class of finite graphs and let $s:\mathbb N\to\mathbb N$ be a function.
We say that $\mathcal C$ is \emph{strongly limit quasi-wide with margin $s$} if for all $m,r\geq 0$,

$$\begin{cases}
 G\in\mathcal C^\star \\
 |G| \geq \omega
 \end{cases}
 \qquad\implies\qquad
 \begin{cases}
 \exists_{S\subseteq V(G)} |S| \leq s(r)\\
 G-S \textrm{\qquad contains an infinite $r$-scattered set}
 \end{cases}
 $$

 We say that $\mathcal C$ is \emph{strongly limit uniformly quasi-wide with margin $s$} if for all $m,r\geq 0$,

 $$\begin{cases}
  G\in\mathcal C^\star \\
  W\subseteq V(G)\\
  |W| \geq \omega
  \end{cases}
  \qquad\implies\qquad
  \begin{cases}
  \exists_{S\subseteq V(G)} |S| \leq s(r)\\
  W \textrm{\qquad contains an infinite $r$-scattered subset of $G-S$}
  \end{cases}
  $$
\end{comment}

\subsection{Linking standard and limit notions}

We now link the standard notions of (uniform) quasi-wideness with their limit counterparts. For technical reasons, we can prove this connection directly only for the strong variants of the notion. This technical caveat is the main reason why we introduced the strong variants in the first place.

\begin{lemma}\label{lem:quasi-los}
Let $s\colon \mathbb N\to \mathbb N$ be a function. Then the following implications hold:
\begin{itemize}
\item[(a)] If $\mathcal C$ is strongly limit quasi-wide with margin $s$, then $\mathcal C$ is quasi-wide with margin $s$.
\item[(b)] If $\mathcal C$ is strongly uniformly limit quasi-wide with margin $s$, then $\mathcal C$ is uniformly quasi-wide with margin $s$.
\end{itemize}
\end{lemma}
\begin{proof}
We first prove (b), and then discuss how to modify the reasoning to obtain a proof of (a).

For the sake of contradiction, suppose $\mathcal C$ is not uniformly quasi-wide with margin $s$. This means that there are some $d,m\in \mathbb N$, a sequence of graphs $(G_n)_{n\in \mathbb N}$, and a sequence of sets $(W_n)_{n\in \mathbb N}$, where $W_n\subseteq V(G_n)$ for each $n\in \mathbb N$, such that the following holds for every $n\in \mathbb N$:
\begin{itemize}
\item $|W_n|\geq n$, and
\item for any set $S\subseteq V(G_n)$ with $|S|\leq s(d)$, in $G_n\setminus S$ there is no $d$-scattered set $X$ with $X\subseteq W_n$ and $|X|=m$.
\end{itemize}
Let $G^\star=\prod_\ultra G_n$ and $W^\star=\prod_\ultra W_n$. Then $G^\star\in \mathcal C^\star$, and the same reasoning as in Example~\ref{ex:cliques} shows that $W^\star$ is infinite.

Consider a first order formula $\phi$ in the language of graphs with a specified vertex subset $W$ (encoded as a unary relation) that says the following: ``There are vertices $u_1,u_2,\ldots,u_{s(d)},v_1,v_2,\ldots,v_m$ such that (i) all $\set{v_i}_{1\leq i\leq m}$ are pairwise different, different from all $\set{u_j}_{1\leq j\leq s(d)}$, and contained in $W$; and (ii) for all $1\leq i<i'\leq m$ there is no path of length at most $2d$ between $v_i$ and $v_{i'}$ that would avoid all the vertices $\set{u_j}_{1\leq j\leq s(d)}$''. By our assumption about $G_n$ and $W_n$, we have that $G_n,W_n\nvDash \phi$ for all $n\in \mathbb N$. However, since $\mathcal C$ is strongly uniformly limit quasi-wide with margin $s$, and $W^\star$ is infinite, there is a set $S\subseteq G^\star$ with $|S|\leq s(d)$ such that in $G^\star\setminus S$ there is an infinite $d$-scattered set contained in $W^\star$. In particular there is one of size $m$, so $G^\star,W^\star\models \phi$. This is a contradiction with Łoś's theorem.

The proof of (a) follows the same lines, but we do not need to consider sets $\set{W_n}_{n\in \mathbb N}$ and $W^\star$. Consequently, $\phi$ is simply in the language of graphs and does not require $\set{v_i}_{1\leq i\leq m}$ to be contained in $W$. The rest of the reasoning is the same.
\end{proof}

Lemma~\ref{lem:quasi-los} provides only one direction of implications: from limit variants to the standard ones. Unfortunately, it seems difficult to directly prove the reverse implications. This is because the definition of (uniform) limit quasi-wideness is not hereditary. More precisely, in order to prove that $\mathcal C$ is strongly (uniformly) limit quasi-wide, we need to consider an arbitrary subgraph $G^\star$ of an ultraproduct $\prod_\ultra G_n$ of graphs from $\mathcal C$. In case of the uniformity condition, also an arbitrary subset $W^\star$ of its vertices needs to be considered. Both $G^\star$ and $W^\star$ may not be defined as ultraproducts themselves, while the existence of large scattered sets in $\prod_\ultra G_n$ can have nothing to do with the existence of large scattered sets in $G^\star$. Therefore, it seems difficult to use the assumed quasi-wideness of $\mathcal C$ to reason about $G^\star$ and $W^\star$.

For this reason, we resort to invoking an implication known from the literature.

\begin{lemma}[Lemma 8.9 and Theorem 8.2 of~\cite{sparsity}]\label{lem:finite-qw}
Let $\mathcal C$ be a hereditary class of finite graphs. If $\mathcal C$ is quasi-wide with some margin $s$, then $\mathcal C$ is also topologically nowhere dense.
\end{lemma}

Note that Lemma~\ref{lem:finite-qw} provides the easy implication of the equivalence between quasi-wideness and nowhere denseness. Its proof essentially boils down to observing that a sufficiently large clique with each edge subdivided at most $2d$ times is a counterexample for quasi-wideness. For the harder implication --- from nowhere denseness to quasi-wideness --- in the next section we provide a proof for the limit variants. By combining this with Lemmas~\ref{lem:dense} and~\ref{lem:quasi-los}, we can infer the same implication for the standard variants.

We note that the assumption that $\mathcal C$ is hereditary is necessary in Lemma~\ref{lem:finite-qw}. This is not the case for the implications starting with the limit variants of quasi-wideness, because we explicitly defined $\mathcal C^\star$ to be closed under taking subgraphs.

\begin{comment}
We study some implications between the various quasi-wideness notions defined above.
For this, let us use shorthand notations,
where SL is shorthand for \emph{strong limit}, L is shorthand for \emph{limit}, U is shorthand for uniform and QW is shorthand for \emph{quasi-wide}.
The set of  possible combinations of these symbols is $\set{\textrm{SL},\textrm{L},\varepsilon}\set{\textrm{U},\varepsilon}\textrm{QW}$,
e.g. SLQW is the property of being ``strongly limit quasi wide graph''. Formally, a property is just a class of classes of finite graphs, and an implication among properties is an inclusion of classes.

\begin{prop}\label{prop:qw}The following implications hold among the properties listed above.
$$
\xymatrix{
\textrm{LUQW } \ar[r] & \textrm{LQW }\\
\textrm{SLUQW} \ar[r]\ar[d]\ar[u] & \textrm{SLQW}\ar[d]\ar[u]\\
\textrm{UQW  } \ar[r] & \textrm{QW  }
}$$
\end{prop}

\begin{proof}\label{pf:}
	The left-to-right arrows are obvious. The upward arrows are clear too.
It remains to argue for the downward arrows.

	Consider the case of SLQW. Suppose that a class $\mathcal C$ is strongly limit quasi-wide with margin $s$.
	We show that $\mathcal C$ is quasi-wide with the same margin. Assume otherwise. Then, there exist $r,m>0$ such that for arbitrarily large graphs $G\in \mathcal C$, for every subset $S\subset V(G)$ of at most $s(r)$ elements,
  	 $G-S$ does not contain an $r$-scattered set of size at least $m$.
	Let $G_1,G_2,\ldots$ be a sequence of such graphs, of increasing size.
	Let $\tilde G$ be their ultraproduct.
	Since $\mathcal C$ is strongly limit quasi-wide with margin $s$, there is a set 	$S$ of size at most $s(r)$ such that
  $\tilde G-S$ contains an infinite $r$-scattered set,
  in particular, an $r$-scattered set of size at least $m$.

  By Łoś'ss theorem,  $G_n$ contains a subset of size at most $s(r)$ such that $G_n-S$ contains an $r$-scattered set of size at least $m$, $\meas$-almost-everywhere\xspace wrt. $n$. This contradicts the assumption on the graphs $G_n$. Therefore, $\mathcal C$ is quasi-wide with margin $s$.

	The same proof works for the implication SLUQW$\rightarrow$UQW.
It remains to show that if $\mathcal C$ is uniformly quasi-wide, then $\mathcal C$ is limit quasi-wide.

Suppose that $\mathcal C$ is uniformly quasi-wide with margin $s$.
Let $G\in \mathcal C^\star$ be an infinite graph, and let $r\in \mathbb N$.

In particular,
$G$ is a subgraph of a graph $\tilde G$ which is an ultraproduct of a sequence $G_1,G_2,\ldots$ of graphs in $\mathcal C$.
TODO: finish this implication.
\end{proof}

	It follows that the strongest property among all the six properties studied in this section is the SLUQW property,
and the weakest property is the LQW property.
\end{comment}

\subsection{Quasi-wideness and nowhere denseness}

We now link the limit variants of quasi-wideness and nowhere denseness. First we prove the easier direction.

\begin{lemma}\label{lem:qw-tnd}
If $\mathcal C$ is limit quasi-wide, then $\mathcal C$ is limit topologically nowhere dense.
\end{lemma}
\begin{proof}
  To prove the contrapositive, suppose that for some $d\in \mathbb N$ it holds that $K_\omega\in \mathcal C^\star\mathop{\tilde \triangledown} d$. We show that $\mathcal C$ is not quasi-wide.

  Since $\mathcal C^\star$ is closed under taking subgraphs by definition, there is a graph $H\in \mathcal C^\star$ that can be obtained from $K_\omega$ by subdividing each edge at most $2d$ times. Let $A$ be the set of vertices of infinite degree in $H$. Let $S\subseteq V(H)$ be any finite subset of vertices. Observe that every two vertices of $A$ can be connected by an infinite family of internally vertex-disjoint paths in $H$ of length at most $4d+2$. As $S$ is finite, it follows that all the vertices of $A\setminus S$ belong to the same connected component $C_0$ of $H\setminus S$, and moreover they are pairwise at distance at most $4d+2$ within $C_0$. Since each path connecting a pair of vertices from $A$ has length at most $2d+1$, we infer that the diameter of $C_0$ is at most $8d+2$. Each connected component of $H\setminus S$ apart from $C_0$ is contained in the internal vertices of some path connecting a pair of vertices of $A$, and hence has size at most $2d-1$. Moreover, there can be at most $\binom{|S|}{2}$ such components. We conclude that $H\setminus S$ has a finite number of connected components, each of diameter at most $8d+2$. As $S$ was chosen arbitrarily,  $\mathcal C$ cannot be limit quasi-wide.
\end{proof}

\input{big-proof.tex}


\section{Introduction}

In the SM {\ensuremath{C\!P}}\ violation in charm decays is predicted to be negligibly small, since the dynamics of these decays, at leading order, only involves the first two quark generations~\cite{theory}. Indeed, no {\ensuremath{C\!P}}-violating effects have been experimentally established yet in charm dynamics~\cite{hfag}.\par

Decay-time-dependent rate asymmetries of decays into {\ensuremath{C\!P}}\ eigenstates, such as $D \to h^+h^-$, where $D$ indicates a $D^0$ or $\overline{D}^0$ meson, and $h$ a $K$ or $\pi$ meson, are sensitive probes for {\ensuremath{C\!P}}\ violation~\cite{SCS-decays}. Such asymmetries,
\begin{equation}\label{eq:acp}
\ensuremath{\mathcal{A}_\CP}(t) = \frac{d\Gamma(D^0\to h^+h^-)/dt - d\Gamma(\ensuremath{\overline{D}{}}^0\to h^+h^-)/dt}{d\Gamma(D^0\to h^+h^-)/dt+d\Gamma(\ensuremath{\overline{D}{}}^0\to h^+h^-)/dt},
\end{equation}
\noindent probe non-SM physics contributions in the {\it oscillation} and {\it penguin} transition amplitudes. Either amplitude may be affected by the exchange of non-SM particles, which could enhance the magnitude of the observed {\ensuremath{C\!P}}\ violation with respect to the SM expectation. The asymmetry $\ensuremath{\mathcal{A}_\CP}(t)$ thus receives contributions direct {\ensuremath{C\!P}}\ violation and from indirect {\ensuremath{C\!P}}\ violation. Because of the slow oscillation rate of charm mesons~\cite{hfag}, Eq.~(\ref{eq:acp}) is approximated to first order as \cite{AcpCDF},
\begin{equation}\label{eq:acp3}
\ensuremath{\mathcal{A}_\CP}(t) \approx \ensuremath{\mathcal{A}_\CP}^{\rm{dir}}(h^+h^-) - \frac{t}{\tau}\ A_\Gamma(h^+h^-),
\end{equation}
\noindent where $t$ is the proper decay time
and $\tau$ is the {\ensuremath{C\!P}}-averaged $D$ lifetime~\cite{pdg}. The first term arises from direct {\ensuremath{C\!P}}\ violation and depends
on the decay mode; the second term is proportional to the asymmetry between the {\it effective} lifetimes $\hat{\tau}$ of anticharm and charm mesons,
\begin{equation}
A_{\Gamma} = \frac{\hat{\tau}(\ensuremath{\overline{D}{}}^0\to h^+h^-)-\hat{\tau}(D^0\to h^+h^-)}{\hat{\tau}(\ensuremath{\overline{D}{}}^0\to h^+h^-)+\hat{\tau}(D^0\to h^+h^-)},
\end{equation}
\noindent and is mostly due to indirect {\ensuremath{C\!P}}\ violation. Effective lifetimes are defined as those resulting from a single-exponential fit of the time evolution of neutral meson decays that may undergo oscillations. In the SM, $A_{\Gamma}$ is universal for all final states with same {\ensuremath{C\!P}}-parity~\cite{Grossman:2006jg}, such as $K^+K^-$ and $\pi^+\pi^-$; contributions from non-SM processes may introduce channel-specific differences.
To date, all experiments report $A_{\Gamma}$ values consistent with {\ensuremath{C\!P}}\ symmetry at the $\mathcal{O}(10^{-3})$ level~\cite{hfag}. The Belle and BaBar collaborations combined the results obtained in  $K^+K^-$ and $\pi^+\pi^-$ {\ensuremath{C\!P}}--even final states, reporting $A_{\Gamma} = (-0.3 \pm 2.0 \pm 0.8)\times 10^{-3}$ and $A_{\Gamma} = (0.9 \pm 2.6 \pm 0.6)\times 10^{-3}$, respectively~\cite{BfactoriesAgamma}. The most precise results have been reported by the LHCb collaboration separately for the two channels:
$A_{\Gamma}(\pi^+\pi^-) = (0.33 \pm 1.06 \pm 0.14)\times 10^{-3}$ and $A_{\Gamma}(K^+K^-) = (-0.35 \pm 0.62 \pm 0.12)\times 10^{-3}$~\cite{LHCbAgamma}.  All the above results, along with more recents results from the LHCb experiment~\cite{LHCb_muontagged}, are consistent with {\ensuremath{C\!P}}\ symmetry with $\mathcal{O}(10^{-3})$ uncertainties.
\par Singly--Cabibbo--suppressed decays into {\ensuremath{C\!P}}--eigenstates, such as $D^0\to\pi^+\pi^-$ and $D^0\to K^+K^-$ are convenient channels for pursuing a measurement of lifetime asymmetry. Their final states can be fully reconstructed, providing a precise determination of the decay time, and the decays have significant signal yields and moderate backgrounds, allowing for reduced systematic uncertainties. With the full data set of $9.7$\,fb$^{-1}$ of data, CDF aims to a sensitivity of $\mathcal{O}(10^{-3})$, comparable with other experiments' sensitivities. While the decay-time distribution is biased by the online selection on long-lived decays and transverse decay lengths, the effect of the bias cancels to a high level of accuracy in the asymmetry between distributions associated with the same final state and any residual effects can be checked against in control samples with similar kinematic properties.
In order to extract $A_{\Gamma}$, we determine separately the yields of primary $D^0\to h^+h^-$ and $\ensuremath{\overline{D}{}}^0\to h^+h^-$ decays as functions of reconstructed $D$ decay time. The analysis uses only candidates populating a narrow range centered around the known $D^0$ meson mass. The flavor at production is identified by the charge of the low-momentum pion (soft pion, $\pi_s$) in the strong-interaction decay $D^{\star +}\to D^0\pi^+$. Each sample is divided into subsamples according to production flavor and decay time. In each subsample, a fit to the $D\pi_s^{\pm}$ mass distribution is used to determine the relative proportions of signal and background.
The results of these fits are used to construct a background-subtracted distribution of the $D$ impact parameter, the minimum distance from the beam of the $D$ trajectory. This distribution is fit to identify  $D^{*\pm}$ mesons from $b$-hadron decays ({\it secondary decays}), whose observed decay-time distribution is biased by the additional decay length of the $b$-hadron, and to determine the yields of charm ($N_{D^{0}}$) and anticharm ($N_{\overline{D}^{0}}$) mesons directly produced in the $p\bar{p}$ collision ({\it primary decays}). The yields are combined into the asymmetry $A=(N_{D^0}-N_{\ensuremath{\overline{D}{}}^0})/(N_{D^0}+N_{\ensuremath{\overline{D}{}}^0})$, which is fit according to Eq.~(\ref{eq:acp3}). The slope yields $A_{\Gamma}$. The intercept determines the asymmetry at $t=0$, $A(0)$, which receives contributions from direct {\ensuremath{C\!P}}\ violation and possible instrumental asymmetries.
The size of a possible decay-time dependence of the detector asymmetry is constrained using large control samples of $13\times10^{6}$ $D^{*\pm}\to D(\to K^\mp\pi^\pm)\pi_s^\pm$ signal decays where {\ensuremath{C\!P}}\ violation is negligible, if any. Sample selection, studies of background composition, and fit model follow from previous measurements~\cite{AcpCDF}.\par

\section{The CDF II detector}
The CDF II detector is a multipurpose magnetic spectrometer surrounded by calorimeters and muon detectors. The detector components relevant for this analysis are outlined as follows; a detailed description is in Ref.~\cite{CDF}. A silicon microstrip vertex detector and a cylindrical drift chamber immersed in a $1.4$~T axial magnetic field allow reconstruction of charged-particle trajectories (tracks) in the pseudorapidity range $|\eta| < 1.0$. The vertex detector contains seven concentric layers of single- and double-sided silicon sensors at radii between 1.5 and 22~cm, each providing a position measurement with up to 15 (70) $\mu$m resolution in the $\phi$ ($z$) direction~\cite{silicon}. The drift chamber has 96 measurement layers, between 40 and 137~cm in radius, organized into alternating axial and $\pm 2^{\circ}$ stereo superlayers~\cite{COT}. The component of a charged particle's momentum transverse to the beam ($p_T$) is determined with a resolution of $\sigma_{p_T}/p_T^2 \approx 0.07\%\ (\pgev)^{-1}$, corresponding to a typical mass resolution of $8~\massmev$ for a two-body charm-meson decay.
\par The data are collected by a three-level trigger. At level 1, hardware custom processors reconstruct tracks in the transverse plane of the drift chamber. Two oppositely-charged particles are required, with reconstructed transverse momenta $p_{T} > 2~\pgev$, scalar sum $\sum p_{T} > 5.5~\pgev$ and azimuthal opening angle $\Delta \phi < 90^{\circ}$~\cite{XFT}. At level 2, tracks are combined with silicon hits and their impact parameter (transverse distance of closest approach to the beam line) is determined with 45~$\mu$m resolution (including the beam spread) and typically required to be between 0.12 and 1.0 mm~\cite{SVT}. A more stringent opening-angle requirement of $2^{\circ}<\Delta\phi<90^{\circ}$ is also applied. Each track pair is then used to form a $D$ candidate, whose flight distance in the transverse plane projected onto the transverse momentum ($L_{xy}$) is required to exceed $200~\mu$m. At level 3, the selection is reapplied on events fully reconstructed by an array of processors.\par

\section{Selection and reconstruction}

Online data selection is based on pairs of charged particles displaced from the $p\bar{p}$ collision point. Offline, a $D$ candidate is reconstructed using two oppositely charged tracks fit to a common decay vertex. A charged particle with $p_T>400~\pmev$ is associated with each $D$ candidate to form $D^{*\pm}$ candidates.
Constraining the $D^{*\pm}$ decay vertex to lie on the beam-line results in a 25\% improvement in $D^{*\pm}$ mass resolution w.r.t Ref.~\cite{AcpCDF}.  Ref.~\cite{AcpCDF} details the offline selection. The $h^+h^-$ mass of selected candidates is required to be within about 24 \massmev\ of the known $D^0$ mass, $m_{D^0}$~\cite{hfag}, to separate $D \to K^+K^-$ and $D \to \pi^+\pi^-$ samples.
Final selected samples contain $6.1\times 10^5$ $D^0 \to K^+K^-$,  $6.3\times 10^5$ $\overline{D}^0 \to K^+K^-$, $2.9\times 10^5$ $D^0 \to \pi^+\pi^-$, and $3.0\times 10^5$ $\overline{D}^0 \to \pi^+\pi^-$ signal events. The main backgrounds are real $D^0$ decays associated with random pions or random combinations of three tracks (combinatorics) for the $\pi^+\pi^-$ sample, while the $K^+K^-$ sample is also polluted by misreconstructed multibody charm meson decays (i.e. $D^0 \to h^-\pi^+ \pi^0$ and $D^0 \to h^- \ell^+ \nu_{\ell}$, where $\ell$ is a muon or an electron), see Figure~\ref{fig:mass}.
\begin{figure}[t]
\centering
\includegraphics[width=3in]{./mass_plots}
\caption{Distributions of $D\pi^{\pm}$ mass with fit results overlaid for (a) the $D \to K^+K^-$ and (b) $D \to \pi^+\pi^-$ sample.}\label{fig:mass}
\end{figure}

\begin{figure}[t]
\centering
\includegraphics[width=3in]{./ip_plots}
\caption{Distributions of $D^0$ impact parameter with fit results overlaid for background-subtracted $D^{*+} \to D^0 (\to \pi^+\pi^-)\pi_s^+$ decays restricted to (a) the decay-time bin $2.08 < t/\tau < 2.16$ and (b) the decay-time bin $6.16 < t/\tau < 20$.}\label{fig:ip_fits}
\end{figure}

\section{Determination of the asymmetry}

The flavor-conserving strong-interaction processes $D^{*+} \to D^0 \pi^+$ and $D^{*-} \to \ensuremath{\overline{D}{}}^0\pi^-$ allow identification of the initial flavor through the charge of the low-momentum $\pi$ meson (soft pion, $\pi_s$).  $D^0$ or $\ensuremath{\overline{D}{}}^0$ subsamples are thus divided in equally populated 30 bins of decay time between $0.15\tau$ and $20\tau$.
In each bin, the average decay-time $\vev{t}$ is determined using $13\times10^{6}$ $D^{*\pm}\to D(\to K^\mp\pi^\pm)\pi_s^\pm$ signal decays.
Signal and background yields in the signal region are determined in each decay-time bin, and for each flavor, through $\chi^2$ fits of the $D\pi_{s}^{\pm}$ mass distribution.
The model for the the signal shapes is determined from simulation~\cite{AcpCDF}, with parameters tuned in the sample of $D\to K^\mp\pi^\pm$ decays, independently for each $D$ flavor and decay-time bin. The resulting signal-to-background proportions are used to construct signal-only distributions of the $D$ meson impact parameter (IP). In each bin and for each flavor, background-subtracted IP distributions are formed by subtracting IP distributions of background candidates, sampled in the $2.015 < M(D\pi^{\pm})<2.020~\massgev$ region for the $\pi^+\pi^-$ sample, from IP distributions of signal candidates which have $M(D\pi_s^\pm)$ within $2.4~\massmev$ of the known $D^{*+}$ mass~\cite{hfag}. Contamination from multibody decays in the $K^+K^-$ sample is accounted for by using candidates in the sideband $m_{D^0}-64~\massmev<M(K^+K^-)<m_{D^0}-40~\massmev$ and with $M(D\pi_s^\pm)$ within $2.4~\massmev$ of the known $D^{*\pm}$ mass.
A $\chi^2$ fit of these signal-only IP distributions identifies $D^{*\pm}$ mesons from $b$-hadron decays ({\it secondary})
and determines the yields of charm ($N_{D^{0}}$) and anticharm ($N_{\overline{D}^{0}}$) mesons directly produced in the $p\bar{p}$ collision ({\it primary}).
Double-Gaussian models are used for both the primary and secondary components. The parameters of the primary component are derived from a fit of candidates in the first decay-time bin ($t/\tau<1.18$), where any bias from the $\mathcal{O}(\%)$ secondary contamination is negligible, and fixed in all fits.
The parameters of the secondary component are determined by the fit independently for each decay-time bin, see Figure~\ref{fig:ip_fits}.
The yields are then combined into the asymmetry $A=(N_{D^0}-N_{\ensuremath{\overline{D}{}}^0})/(N_{D^0}+N_{\ensuremath{\overline{D}{}}^0})$, which is fit with the linear function in Eq.\ (\ref{eq:acp3}).
The slope of the function, which yields $A_{\Gamma}$, is extracted using a $\chi^2$ fit.
The fit is shown in Fig.~\ref{fig:Agamma} and yields $A_{\Gamma}(K^+K^-) = \bigl(-1.9 \pm 1.5\ensuremath{\mathrm{~(stat)}}\bigr)\times 10^{-3}$ and $A_{\Gamma}(\pi^+\pi^-) = \bigl(-0.1 \pm 1.8\ensuremath{\mathrm{~(stat)}}\bigr)\times 10^{-3}$. In both samples, we observe few percent values for $A(0)$, due to the known detector-induced asymmetry in the soft-pion reconstruction efficiency~\cite{AcpCDF}. The independence of instrumental asymmetries from decay time is demonstrated by the analysis of $D \to K^\mp\pi^\pm$ decays, where no indirect {\ensuremath{C\!P}}\ violation occurs and instrumental asymmetries are larger; an asymmetry compatible with zero is found, $(-0.5 \pm 0.3)\times 10^{-3}$. \par
Table~\ref{tab:syst} summarizes the most significant systematic uncertainties.

\begin{table}[h!]
\centering
\begin{tabular}{lcc}
\hline\hline
Source  					& $\Delta A_\Gamma(\pi^+\pi^-)$ & $\Delta A_\Gamma(K^+K^-)$\\
\hline
Background subtraction  	& 0.021\% & 0.038\%\\
Impact parameter shapes  & 0.026\% & 0.010\%\\
Decay-time scale         & 0.001\% & 0.003\%\\
\hline
Total 					& 0.033\% & 0.039\%\\
\hline\hline
\end{tabular}
\caption{Summary of most significant systematic uncertainties. The total uncertainty is the sum in quadrature of all the contributions.}\label{tab:syst}
\end{table}

For the $\pi^+\pi^-$ analysis, the dominant systematic uncertainty of 0.028\% arises from the choice of the impact-parameter shape of the secondary component whereas for the $K^+K^-$ sample this effect only contributes 0.013\%. The choice of the background sideband has a dominant effect in the $K^+K^-$ analysis (0.038\%) and a minor impact (0.010\%) on the $\pi^+\pi^-$ result.

\begin{figure}[htb]
\centering
\includegraphics[height=3in]{./asymmetry_plots}
\caption{Effective lifetime asymmetries as functions of decay time for the (a) $D \to K^+K^-$ and (b) $D \to\pi^+\pi^-$ samples. Results of fits not allowing for (red dotted line) and allowing for (blue solid line) {\ensuremath{C\!P}}\ violation are overlaid.}\label{fig:Agamma}
\end{figure}
\par

\section{Conclusions}
The CDF experiment pioneered the investigation of {\ensuremath{C\!P}}\ violation in the charm sector with a successful program that spans over more than 10 years and established that world-leading charm physics is possible at hadron colliders.\par
In 2005 a pioneering measurement of direct {\ensuremath{C\!P}}\ violation in $D^0 \to h^+h^-$ decays~\cite{cdf_prl94} yielded no evidence of {\ensuremath{C\!P}}\ violation. In 2012 we measure {\ensuremath{C\!P}}\ violating asymmetries in  $D^0\to\pi^+\pi^-$ and $D^0\to K^+K^-$ decays with about 6 fb$^{-1}$ of CDF run II data~\cite{AcpCDF}. The analysis did not use any Montecarlo input nor assumption on the {\ensuremath{C\!P}}\ conservation in Cabibbo-favored decays and yielded results consistent with {\ensuremath{C\!P}}\ conservation and in agreement with theoretical predictions~\cite{AcpCDF}. In 2012 CDF measures the difference in {\ensuremath{C\!P}}\ violating asymmetries in  $D^0\to\pi^+\pi^-$ and $D^0\to K^+K^-$ decays.\par
The measurement of the difference in effective lifetime between anticharm and charm mesons reconstructed in $D^0 \to K^+K^-$ and $D^0 \to \pi^+\pi^-$ decays using the full CDF data set is then just the latest of such a ``charmingly" successful effort.
The final results,
\begin{eqnarray}
A_{\Gamma}(\pi^+\pi^-) = (-0.1 \pm 1.8 \ensuremath{\mathrm{~(stat)}}  \pm 0.3 \ensuremath{\mathrm{~(syst)}})\times10^{-3},\nonumber \\
A_{\Gamma}(K^+K^-) = (-1.9 \pm 1.5 \ensuremath{\mathrm{~(stat)}}  \pm 0.4 \ensuremath{\mathrm{~(syst)}})\times10^{-3},
\end{eqnarray}
are consistent with {\ensuremath{C\!P}}\ symmetry and combined to yield $A_\Gamma = \bigl(-1.2 \pm 1.2)\times10^{-3}$~\cite{Aaltonen:2014efa}. The results are also consistent with the current best results \cite{BfactoriesAgamma,LHCbAgamma} and contribute to improve the global constraints on indirect {\ensuremath{C\!P}}\ violation in charm meson dynamics.