Holographic entanglement density for spontaneous symmetry breaking

We investigate the properties of the holographic entanglement entropy of the systems in which the $U(1)$ or the translational symmetry is broken \textit{spontaneously}. For this purpose, we define the entanglement density of the strip-subsystems and examine both the first law of entanglement entropy (FLEE) and the area theorem. We classify the conditions that FLEE and/or the area theorem obey and show that such a classification may be useful for characterizing the systems. We also find universalities from both FLEE and the area theorem. In the spontaneous symmetry breaking case, FLEE is always obeyed regardless of the type of symmetry: $U(1)$ or translation. For the translational symmetry, the area theorem is always violated when the symmetry is weakly broken, independent of the symmetry breaking patterns (explicit or spontaneous). We also argue that the $\log$ contribution of the entanglement entropy from the Goldstone mode may not appear in the strongly coupled systems.