We refine Lagrange's four-square theorem in new ways by imposing some restrictions involving powers of two (including $1$). For example, we show that each $n=1,2,3,\ldots$ can be written as $x^2+y^2+z^2+w^2$ $(x,y,z,w\in\mathbb N=\{ 0,1,2,\ldots\})$ with $|x+y-z|\in\{ 4^k:\ k\in\mathbb N\}$ (or $|2x-y|\in\{ 4^k:\ k\in\mathbb N\}$, or $x+y-z\in\{ \pm 8^k:\ k\in\mathbb N\}\cup\{ 0\}\subseteq\{ t^3:\ t\in\mathbb Z\}$), and that we can write any positive integer as $x^2+y^2+z^2+w^2$ $(x,y,z,w\in\mathbb Z)$ with $x+y+2z$ (or $x+2y+2z$) a power of four. We also prove that any $n\in\mathbb N$ can be written as $x^2+y^2+z^2+2w^2$ $(x,y,z,w\in\mathbb Z)$ with $x+y+z+w$ a square (or a cube). In addition, we pose some open conjectures for further research; for example, we conjecture that any integer $n>1$ can be written as $a^2+b^2+3^c+5^d$ with $a,b,c,d\in\mathbb N$.
Categories: math.NT