It appears to me that what you have is a Kripke model consisting of four worlds, and you've listed the propositions $a$ and $b$ that happen to be true in each world. You might have meant five worlds, however, since there is a transition into $S_0$, but this doesn't seem to come from any world, so let us ignore that.
Let's assume that by saying that a formula is valid, you mean that it it true at every world. (One might have instead meant that it is true at the initial world; alternatively, people often look at which formulas are valid for a given frame, rather than a specific Kripke model, looking at which formulas are true at every world, regardless of how the propositions are true at the worlds.)
In this case, $\Box a$ is not valid, since $a$ fails at $S_2$, and since $S_0$ accesses $S_2$, we see that $\Box a$ fails at $S_0$.
Similarly, and contrary to what you state, $\Box b$ is not valid, since $b$ fails in $S_2$ and so $\Box b$ fails in $S_0$.
The assertion $\Box (a\implies b)$ is not valid, since the implication $a\implies b$ is false at $S_1$ and so $\Box(a\implies b)$ fails at $S_0$.
The assertion $\Box\Box(a\wedge b)$ is not valid, since $a\wedge b$ fails at $S_1$, and so $\Box(a\wedge b)$ fails at $S_2$, and so $\Box\Box(a \wedge b)$ fails at $S_1$. Basically, the double box construction means that one should check all worlds two steps away, and there is a world two steps from $S_1$ in which $a\wedge b$ fails, and that world is $S_1$ itself.