Let $X$ be a smooth scheme over $\mathbb{F}\_{p}$ for a prime number $p$. As far as I understand,
there is a surjective morphism from 
$\Omega^\bullet\_{W\mathcal{O}\_X} \to W \Omega\_{X}^\bullet$ which induces an isomorphism 
$\Omega^\bullet\_{W\mathcal{O}\_X}/(T+Fil^n \Omega^\bullet\_{W\mathcal{O}\_X}) \to W\_{n}\Omega\_X^\bullet$ where $T$ is the graded differential ideal consisting of $p-$torsion elements of $\Omega^\bullet\_{W\mathcal{O}\_X} $ and $Fil^n$ is the kernel of the natural projection map from $\Omega^\bullet\_{W \mathcal{O}\_X} \to \Omega^\bullet\_{W\_n\mathcal{O}\_X} $. A reference for this is "Complexe de de-Rham Witt et Cohomologie Cristalline" by Luc Illusie. 


The question is: Suppose there exists an integer $N$ such that $H^i(W\_{n}\Omega\_{X}^\bullet) $ vanish for all $i>N$. Is there any condition on $X$ or $n$ that we can impose so that $H^i(\Omega^\bullet\_{W\mathcal{O}\_X})$ vanish as well for $i>N$? In other words when does $H^i(T+Fil^n \Omega^\bullet\_{W\mathcal{O}\_X})$ vanish? Any idea/reference in this direction will be very helpful.



Vanishing cohomology of de-Rham Witt complex
If $A$ is a finitely generated ring then so is each $W\_n(A)$, and in fact one can bound the number of generators needed by a function of only $p$, $n$, and the number $d$ of generators of $A$. Write $N\_p(d,n)$ for such a function. (See below.) Then $\Omega^i\_{W\_n(A)}$ vanishes for $i>N\_p(d,n)$. In particular, this is true when $A$ is the polynomial ring in $d$ variables. Now if $X$ is a smooth scheme over dimension $d$, then it locally admits an etale map to affine $d$-space. Since $W\_n$ preserves etaleness of maps, $\Omega^i\_{W\_n(X)}$ vanishes for $i>N\_p(d,n)$. Since $W\_n\Omega^i\_X$ is a quotient of $\Omega^i\_{W\_n(X)}$, it also vanishes for $i>N\_p(d,n)$. It follows that $H^i(W\_n\Omega\_X^\bullet)$ and $H^i(\Omega\_{W\_n(X)}^\bullet)$ vanish for $i>d+N\_p(d,n)$. So in particular, your assumption always holds.


Now you ask about the vanishing of $H^i(\Omega^\bullet\_{W\mathcal{O}\_X})$. This probably involves some nasty details about inverse limits that I'd rather not think about. (For instance, it's not even clear to me what exactly you mean by ${W\mathcal{O}\_X}$. Are you actually taking the limit over $n$ in some category or are you treating it as a pro-object? Etc.) But I hope what I've said helps.


[On $N\_p(d,n)$: if I'm not mistaken, it can be taken to be $d+(1+p^d+\cdots+p^{nd})$. To show this, you can show that $W\_n(A)$ is generated, as a module over the subring generated by Teichmueller lifts of the $d$ generators of $A$, by lifts of module generators of $W\_{n-1}(A)$ and by the $V^n$ of Teichmueller lifts of monomials in the generators of $A$, where all exponents in the monomials are at most $p^n$ (thus making $p^{nd}$ additional generators). I hope I got that right. Also my index $n$ is normalized so that $W\_0(A)=A$. So it is what would be $n-1$ for most people.]


