In the case $s=p/q$ with $|p| \geq 3$, there is no $3$-term AP in $P_s$. The proof is by reducing to the case $s=p$, as follows.
Let $A=a^p$, $B=b^p$, $C=c^p$ such that $A^{1/q}+C^{1/q}=2B^{1/q} \quad (*) \quad$ and $(A,B,C)=1$. Let $K=\mathbf{Q}(\zeta_q)$ be the $q$-th cyclotomic field and $L=K(A^{1/q},B^{1/q},C^{1/q})$. Then $L/K$ is a finite abelian extension of exponent dividing $q$ and by Kummer theory, such extensions are in natural bijection with the finite subgroups of $K^{\times}/(K^{\times})^q$. The extension $L/K$ corresponds to the subgroup generated by the classes $\overline{A},\overline{B}, \overline{C}$ of $A,B,C$ in $K^{\times}/(K^{\times})^q$. In view of the following lemma, it suffices to prove $L=K$.
Lemma 1. If $n^p$ is a $q$-th power in $K$, then $n$ is a $q$-th power in $\mathbf{Z}$.
Proof. Assume $n^p=\alpha^q$ with $\alpha \in K$, then taking the norm we get $n^{p(q-1)}=N_{K/\mathbf{Q}}(\alpha)^q$. Since $\alpha$ is an algebraic integer, we get that $n^{p(q-1)}$ is a $q$-th power in $\mathbf{Z}$, and since $p(q-1)$ and $q$ are coprime, we get the result.
Lemma 2. The integer $B$ is relatively prime to $A$ and to $C$.
Proof. By symmetry, it suffices to prove $(A,B)=1$. Let $\ell$ be a prime number dividing $A$ and $B$. Then $\ell^{1/q}$ divides $A^{1/q}$ and $B^{1/q}$ in the ring $\overline{\mathbf{Z}}$ of all algebraic integers. By $(*)$ it follows that $\ell^{1/q} | C^{1/q}$. Thus $C/\ell \in \mathbf{Q} \cap \overline{\mathbf{Z}} = \mathbf{Z}$ which contradicts $(A,B,C)=1$. This proves Lemma 2.
By equation $(*)$, we have $K(B^{1/q}) \subset K(A^{1/q},C^{1/q})$ which reads $\overline{B} \in \langle \overline{A},\overline{C} \rangle$ in $K^{\times}/(K^{\times})^q$. We can thus write $B \equiv A^{\alpha} C^{\gamma} \pmod{(K^{\times})^q}$ for some $\alpha,\gamma \geq 0$. By a reasoning similar to Lemma 1, we deduce that $B/(A^{\alpha} C^{\gamma})$ is a $q$-th power in $\mathbf{Q}$ but since this fraction is in lowest terms (Lemma 2), we get that $B$ is a $q$-th power in $\mathbf{Z}$.
Now let $\sigma$ be an aribtrary element in $\mathrm{Gal}(L/K)$. We have $\sigma(A^{1/q}) = \zeta \cdot A^{1/q}$ and $\sigma(C^{1/q})=\zeta' \cdot C^{1/q}$ for some $q$-th roots of unity $\zeta$ and $\zeta'$. Considering the real parts of both sides of $\sigma(*)$, we see that necessarily $\zeta=\zeta'=1$. This shows that $L=K$ as requested.