 GHZ-state circuit-depth lower bound

The GHZ state has nonzero connected correlations between arbitrarily distant sites. A local circuit starting from a product state can create such a correlation only when the two backward light cones overlap, giving depth at least proportional to the system's linear size.