red carpet is traditionally used to mark the route taken by heads of state on ceremonial and formal occasions, and has in recent decades been extended to use by VIPs and celebrities at formal events