What role does "spontaneous symmetry breaking" play in the "Higgs Mechanism"? In talking about Higgs mechanism, the first part is always some introduction to the concept of spontaneous  symmetry breaking (SSB), some people saying that Higgs mechanism is the results of SSB of local gauge symmetry, some people says that we can formulate Higgs mechanism in a gauge invariant way, some people also says that we need only a non-zero vaccum expectation value... I am confused about this different or maybe same point of views.
In this post: How does the Higgs mechanism work? , the most highly voted answer, I still can't feel how SSB worked in Higgs mechanism. It seems that the validity of the last part, the appearance of a mass term for $A$, is guaranteed if we have a non-zero equilibrium value $\phi_0$ to expand around. I do not see that the requirement that the phase of the field $\phi$ need to be fixed at some particular value to generate mass term. Thus it seems to me it is not true that SSB is really indispensable for Higgs mechanism.
To put it simply:
The spontaneous breaking of what is attributed to Higgs mechanism?

*

*local gauge symmetry


*global symmetry, since breaking of a "gauge symmetry" should not have any effect on physics. In Higgs mechanism, the really broken symmetry is a global one. Mathematically, it is similar in looking as fixing a gauge, but one should not think of it as a spontaneous breakdown of local gauge symmetry.


*other.
Is SSB really indispensable for Higgs mechanism?

*

*yes, Higgs mechanism is relied on the SSB of some symmetry (above question), the other approaches of description eventually has spontaneously broke some symmetry.


*No, the SSB is just one way to describe Higgs mechanism (or even not a complete way), what is really need is the non-zero vacuum expectation value, for example in the linked post the requirement for the mass term to occur is to have some non-zero expectation value of $\phi$ to expand around, we do not need the phase of the field to be fixed, thus the symmetry is not broken.


*Other.
some reference materials:

*

*Is Elitzur's theorem valid only in lattice field theory? States that SSB of local gauge symmetry is impossible.


*Gauge invariant accounts of the Higgs mechanism in the abstract states that:

gauge symmetries merely reflect a redundancy in the state description
and therefore the spontaneous breaking can not be an essential
ingredient. Indeed, as already shown by Higgs and Kibble, the
mechanism can be explained in terms of gauge invariant variables,
without invoking spontaneous symmetry breaking



*Is electromagnetic gauge invariance spontaneously violated in superconductors? In the introduction it says:


In particular, we emphasize that global U(1) phase rotation symmetry,
and not gauge symmetry, is spontaneously violated, and show that the
BCS wave function is, contrary to claims in the literature, fully
gauge invariant

 A: It is frequently stated the Higgs mechanism involves spontaneous breaking of the gauge symmetry. This is, however, entirely wrong. In fact, gauge symmetries cannot be spontaneously broken. 
A standard argument for this is that gauge symmetries are not actual symmetries, they are just a
reflection of a redundancy in our description the system; two states related by
a gauge transformation are actually the same physical state. Thus, a gauge
symmetry is physically a "do-nothing transformation" and thus it does not make
sense for it to be
spontaneously broken.
This argument does seem like a bit of a cop-out, though -- I could just declare
any symmetry to be a ``do-nothing transformation'' by fiat if I wanted to.
A more satisfying explanation is: even if we interpret
gauge symmetries as real symmetries, they can never be spontaneously broken.
This result is known as Elitzur's theorem, and it's quite easy to
understand why it should be true.  Let's focus on classical thermal systems
-- quantum systems at zero temperature map onto classical thermal systems in
one higher space dimension so the argument should carry over.
First recall the
hand-waving argument for why spontaneous symmetry breaking can take place in,
say, the 2-D Ising model at finite temperature. The 2-D Ising model has two symmetry-breaking ground states: all
$\uparrow$ and all $\downarrow$. But, if I want to get between them by local
thermal fluctuations then I have to create a domain and grow it until it
encompasses the whole system, which implies an extensive energy penalty due to
the energy cost of the domain wall. Thus, at low temperatures transitions
between the two ground states are exponentially suppressed in the system size
and so the system gets stuck in either all $\uparrow$ or all $\downarrow$, so
the symmetry is spontaneously broken. (The same argument shows why the
1-D Ising model cannot have spontaneous symmetry breaking at finite
temperature, because there is no extensive energy penalty to get from all
$\uparrow$ to all $\downarrow$.)
On the other hand, since a gauge symmetry is a local symmetry, this
argument breaks down. Any two symmetry-breaking ground states are related by a
sequence of local gauge transformations, which (since they commute with the
Hamiltonian) have exactly zero energy penalty. Thus, there is no energy barrier
between different ground states, and the system will explore the entire space of
ground states -- so no symmetry-breaking. We expressed everything here in terms
of classical thermal systems, but it will be important for later that the quantum version of no
symmetry breaking is that the Hamiltonian must have a unique ground state
(at least with appropriate boundary conditions), because degenerate ground
states can always couple to each other through quantum fluctuations to create a
superposition state with lower energy.
So now that we have established that the Higgs mechanism does not, and cannot,
correspond to spontaneous symmetry breaking, let's take a look at what's really
happening. For simplicity we will look at the simplest case, namely (quantum, $T = 0$)
$\mathbb{Z}_2$ lattice gauge theory. This comprises two-dimensional quantum systems on
all the vertices and links of a square lattice. The ones on the vertices
comprise the "matter field" and the ones on the links comprise the "gauge
field". We denote the Pauli matrices on the links by $\sigma_{ab}^x$, etc. and on
the vertices by $\tau_{a}^x$, etc.
The Hamiltonian is
$$
  H = -g \sum_{\langle a, b\rangle} \sigma^x_{ab} - \frac{1}{g} \sum_{\square}
  \sigma^z \sigma^z \sigma^z \sigma^z - \lambda \sum_{a} \tau^x_a -
  \frac{1}{\lambda} \sum_{\langle a, b \rangle} \tau_a^z \sigma^z_{ab} \tau_b^z
$$
[the second-term is a sum of four-body $\sigma^z$ interactions on squares of the lattice ("plaquettes"), and $\langle a, b \rangle$ means a sum over nearest neighbor pairs of vertices.]
This Hamiltonian has a gauge symmetry $\tau^x_a \prod_{\langle a, b \rangle}
\sigma^x_b$ for each vertex $a$.
One can map out the phase diagram of this Hamiltonian in detail, but here we
will just want to focus on the "Higgs" phase, which occurs when $g$ and
$\lambda$ are small so that the second and fourth terms dominate. We will take
the limit $g \to 0$, claiming without proof that the $g$ small but not
zero case is qualitatively similar. In this limit the ground state must be a
$+1$ eigenstate of the product of $\sigma^z$
around every plaquette ("no-flux" condition). If the model is defined on a space with no
non-contractible loops, this implies that we can write, for every ``no-flux''
configuration, $\sigma^z_{ab} = \widetilde{\sigma}^z_a \widetilde{\sigma}^z_b$
for some choice of $\{ \widetilde{\sigma}^z_a \} = \pm 1$.
Hence, all "no-flux" configurations can be made to satisfy $\sigma^z_{ab} = 1$
by an appropriate gauge transformation. Thus, under this gauge-fixing condition, the Hamiltonian reduces to the
transverse-field quantum Ising model on the matter fields:
\begin{equation}
  H_{gf} = -\lambda \sum_{a} \tau^x_a - \frac{1}{\lambda} \sum_{\langle a,b \rangle} \tau_a^z \tau_b^z
\end{equation}
which we know will have a symmetry-breaking phase (i.e. a two-fold degenerate
ground state) for small $\lambda$. This is
the Higgs phase.
Q: But hang on, now, doesn't Elitzur's theorem say that gauge symmetries can't be
spontaneously broken?A: Well, actually in fixing the gauge we used up the local
part of the gauge symmetry, and the above Hamiltonian $H_{gf}$ only has a
$\mathbb{Z}_2$ global symmetry. Thus, it does not violate
Elitzur's theorem for it to have spontaneous symmetry breaking.
Q: But what about the original Hamiltonian, $H$? It had a
  gauge symmetry, and it's equivalent to the new Hamiltonian $H_{gf}$, which has
  spontaneous symmetry-breaking, so the original Hamiltonian must have
spontaneous symmetry-breaking too?A: You have to be very careful about the sense in which $H$ and $H_{gf}$ are
equivalent, because the "gauge-fixing" transformation which relates them
isn't unitary (since it's many-to-one). Still, if one thinks hard enough and
uses the fact that $H$ is invariant under the gauge symmetry, it
is not hard to show that there is a correspondence between eigenstates of $H$
and of $H_{gf}$. However, because the two degenerate ground states of $H_{gf}$ are
related by a gauge transformation, they actually correspond only to a single
unique ground state of $H$, in accordance with Elitzur's theorem. This unique
ground state $|\Psi\rangle_H$ of $H$ can be found in terms of the ground states  $|\Psi\rangle_{H_{gf}}$ of $H_{gf}$ by
symmetrizing them to make them gauge-invariant, i.e.
\begin{equation}
  |\Psi\rangle_H = \sum_{\mathcal{G}} \mathcal{G} |\Psi\rangle_{H_{gf}},
\end{equation}
where the sum is over all possible gauge transformations $\mathcal{G}$ (since
the two degenerate ground states are related by a gauge transformation, this
gives the same $|\Psi\rangle_H$ regardless of which one you choose to be
$|\Psi\rangle_{H_{gf}}$.)
So in summary, the Higgs mechanism appears to resemble spontaneous symmetry breaking in a particular choice of gauge, but this is an illusion. The true ground state is unique and gauge-invariant.
A: In short: The spontaneous breaking of global U(1) symmetry, rather than local 'gauge symmetry', gives rise to the non-zero vacuum expectation value of Higgs field. This non-zero VEV is an essential part of the Higgs mechanism, which describes how the Higgs field gives mass to other particles, and its value is proportional to the generated mass.
To study the Higgs mechanism, we can use a Lagrangian of the form:
\begin{align}
\mathcal{L}=(D_{\mu}\phi)^2-\frac{1}{4} F_{\mu\nu}F^{\mu\nu}-V(|\phi|)
\end{align}
Where:
\begin{align}
V(|\phi|)&=-2v^2|\phi|^2+|\phi|^4
\\
&=(|\phi|^2-v^2)^2-v^4
\\
D_\mu \phi&=\partial_{\mu}\phi+\mathrm{i}e A_{\mu} \phi
\\
F_{\mu\nu}&=\partial_{\mu} A_{\nu}-\partial_{\nu}A_{\mu}
\end{align}
This Lagrangian is gauge-invariant and has global $U(1)$ symmetry. Note that I am not saying that they have local $U(1)$ gauge symmetry nor local U(1) symmetry because:

*

*Gauge symmetry is not a real symmetry, it is rather a redundancy of our description of nature. In this sense, it can never be spontaneously broken.


*Local $U(1)$ symmetry is a gauge, we do not have this symmetry in a deterministic theory.
We say the Lagrangian is gauge-invariant in the sense that:
\begin{align}
\phi(x) \to \phi(x) e^{i\alpha(x)}, \quad A_{\mu} \to A_{\mu}(x) -\frac{1}{e}\partial_{\mu} \alpha(x)
\end{align}
keep the Lagrangian unchanged.
The first step towards the Higgs mechanism is a spontaneous symmetry breaking (SSB) of global $\text{U}(1)$ symmetry. i.e. We are going to choose a particular value of $\phi$ in the "minimum circle" of potential $V(|\phi|)$. By doing this, the ground state lost the global $U(1)$ symmetry the Lagrangian has. With loss of generality, we assume it has spontaneously broken into $\phi_0 = v$, a real value.
The next step, we expand our field around $\phi_0=v$, we assume $\phi=(v+h)e^{i\xi}$. Substitute it into the Lagrangian, we get:
\begin{align}
\mathcal{L}=(\partial_{\mu}h)^2+e^2(v+h)^2(A_{\mu}+\frac{1}{e}\partial_{\mu}\xi)^2 -\frac{1}{4} F_{\mu\nu}F^{\mu\nu} -4v^2h^2-4vh^3-h^4+v^4 
\end{align}
We can see this Lagrangian is still gauge invariant, recall our definition of gauge transformation above, it means:
\begin{equation}
\xi \to \xi +\alpha, \quad  A_{\mu}\to A_{\mu} -\frac{1}{e}\partial_{\mu}\alpha
\end{equation}
So under gauge transformation, we have:
\begin{align}
A_{\mu}+\frac{1}{e}\partial_{\mu}\xi \to A_{\mu}+\frac{1}{e}\partial_{\mu}\xi
\end{align}
Which means the Lagrangian is still gauge-invariant.
Now we define $A'_{\mu}=A_{\mu}+\frac{1}{e}\partial_{\mu}\xi$. We emphasise that $A'_{\mu}$ should not be called a gauge field because it is itself gauge-invariant. In certain physical contexts, this vector field can be expressed in terms of gauge-invariant physical quantities. We also have $F'_{\mu\nu}=F_{\mu\nu}$, where:
\begin{align}
F'_{\mu\nu}=\partial_{\mu} A'_{\nu}-\partial_{\nu}A'_{\mu}
\end{align}
Now the Lagrangian becomes:
\begin{align}
\mathcal{L}=(\partial_{\mu}h)^2-4v^2h^2+e^2v^2(A'_{\mu})^2 -\frac{1}{4} F'_{\mu\nu}F'^{\mu\nu} +\cdots
\end{align}
Where we've omitted the constant terms and interaction terms, and we get a mass term for vector field $A'$ and the original massless goldstone boson $\xi$ has just disappeared. This is the saying that "the vector field has eaten Goldstone bosons and grow heavy."
At this point, we have seen that we can explain Higgs mechanism in a gauge-invariant way, this is no such thing as spontaneously local gauge symmetry breaking in the above analysis, as we have just shown it is gauge-invariant.
On the other hand, we can also manually fix the gauge in the former Lagrangian. The usual choice is to let $\xi = 0$, so that we have $A'=A$. For we have fixed the gauge, it is no more valid to talk about gauge invariant. This may be the reason that people talking about "spontaneously local gauge symmetry breaking". However, the manual gauge fixing process should not be considered as any spontaneous process.
A: The essence of the Higgs mechanism is that it allows the breaking of the (gauge) symmetry to grow a mass for the gauge (vector) bosons, which are necessarily massless in the unbroken symmetry. The Higgs scalar and the two degrees of freedom of the massless vector boson combine to form the three degrees of freedom of a massive vector boson. Goldstone's theorem (https://en.wikipedia.org/wiki/Goldstone_boson) states that if a continuous symmetry of a system is spontaneously broken, then the ground state of the system is degenerate. In a gauge theory, the degenerate ground states are actually reachable from one another by a gauge transformation, so they are simply gauge copies on one another, and correspond to a single physical state.
