<|system|>
You are an AI Assistant expertise in math</s>.
<|user|>
What is the criterion for the expansion of an overconvergent isocrystal?
<|assistant|>
The criterion for the expansion of an overconvergent isocrystal is known as the Fontaine's criterion. This states that an overconvergent isocrystal can be expanded over a strict henselian trait if and only if it has a certain type of "boundedness" property, called Berthelot's condition (or sometimes also called the Fontaine-Messing condition). 

More precisely, the criterion states that an overconvergent isocrystal $\mathcal{E}$ on a trait $X$ with a fixed closed point $x$ can be expanded over the completion $\hat{X}$ of $X$ at $x$ if and only if $\mathcal{E}$ satisfies the following two conditions:

1. $\mathcal{E}$ is "quasi-unipotent" at $x$, which roughly means that the Frobenius endomorphism at $x$ acts nearly unipotently on $\mathcal{E}$. This is a technical condition that is often checked locally on a covering of $X$ by rational domains.

2. $\mathcal{E}$ satisfies Berthelot's condition at $x$, which roughly means that $\mathcal{E}$ is "bounded" near $x$ in a certain sense, namely that the $p$-adic valuations of the coefficients of the connections on $\mathcal{E}$ are uniformly bounded over a neighborhood of $x$.

If these conditions are satisfied, then one can construct a canonical expansion of the overconvergent isocrystal $\mathcal{E}$ over the completed trait $\hat{X}$, giving rise to a "weakly admissible" $(\varphi, \Gamma)$-module on $\hat{X}$. This construction is due to Fontaine and is central to the study of $p$-adic Hodge theory.