The energy scale of  is around $160$ GeV. But the LHC has a centre of mass energy of $7$ TeV... so do they see processes involving the $W^1, W^2, W^3$ and $B$ fields, before spontaneous symmetry breaking and mixing into the well-know massive gauge bosons + photon?
Spontaneous electroweak symmetry breaking (i.e. $SU(2)\times U(1)\to U(1)_{em}$ ) is at scale about 100 Gev. So, for , gauge bosons $Z$ &amp; $W$ have masses about 100 GeV. But before this spontaneous symmetry breaking ( i.e. Energy > 100 GeV) the symmetry $SU(2)\times U(1)$ is not broken, and therefore gauge bosons are massless.  The same thing happens when we go around energy about $10^{16}$ GeV, where we have the Grand Unification between electroweak and strong interactions, in some bigger group ($SU(5)$, $SO(10)$ or others). So theoretically we should find gauge bosons $X$ and $Y$ with masses about $10^{16}$ GeV after GUT symmetry breaks into the Standard Model gauge group $SU(3)\times SU(2)\times U(1)$, and we should find massless X and Y bosons at bigger energies (where GUT isn't broken).  So this is what happened in the early universe: when temperature decreased, spontaneous symmetry breaking happened and firstly $X$ &amp; $Y$ gauge bosons obtained mass and finally $Z$ &amp; $W$ bosons obtained mass.   Now, I ask: have I understood this correctly? In other words, if we make experiments at energy above the electroweak scale (100 GeV) we are where $SU(2)\times U(1)$ isn't broken and then we should (experimentally) find $SU(2)$ and $U(1)$ massless gauge bosons, i.e. $W^1$, $W^2$, $W^3$ and $B$ with zero mass? But this is strange, because if I remember well in LHC we have just make experiments at energy about 1 TeV, but we haven't discovered any massless gauge bosons.
How to find lines matching a pattern and delete them? In a file with lots of lines I want to delete lines that starts with HERE IT IS.  How can I do this using only command-line tools? Why is there no absolute maximum temperature? If temperature makes particles vibrate faster, and movement is limited by the speed of light, then I would assume that temperature must be limited as well. Why is there no limit? How can top principal components retain the predictive power on a dependent variable (or even lead to better predictions)? Suppose I am running a regression $Y \sim X$. Why by selecting top $k$ principle components of $X$, does the model retain its predictive power on $Y$?   I understand that from dimensionality-reduction/feature-selection point of view, if $v_1, v_2, ... v_k$ are the eigenvectors of covariance matrix of $X$ with top $k$ eigenvalues, then $Xv_1, Xv_2 ... Xv_k$ are top $k$ principal components with maximum variances. We can thereby reduce the number of features to $k$ and retain most of the predictive power, as I understand it.   But why do top $k$ components retain the predictive power on $Y$?   If we talk about a general OLS $Y \sim Z$, there is no reason to suggest that if feature $Z_i$ has maximum variance, then $Z_i$ has the most predictive power on $Y$.   Update after seeing comments: I guess I have seen tons of examples of using PCA for dimensionality reduction. I have been assuming that means the dimensions we are left with have the most predictive power. Otherwise what's the point of dimensionality reduction? Trailing Sum Query $\mathbb Z[1/2]$ is not finitely generated ?   Maybe I misunderstood, what finitely generated means.  it says, we need finitely many elements and I think $1$ and $1/2$ suffices as generators.  But , at the end of Proposition $5.1.4$, from the fact that $\mathbb Z[1/2]$ is not finitely generated it is concluded that $1/2$ is not integral. What is the opposite of "parallel" in architecture? The two towers of the Verrazano Bridge are not parallel: they are slightly [???] to account for the curvature of the earth.    What is that word? Each Stack Exchange site has a weekly email newsletter.  What is in the newsletter? Who composes them and selects what is included? How do I subscribe and unsubscribe to a newsletter? What's the best way make an "augmented" coefficient matrix? When studying systems of linear equations, it's nice to remind people that the last column of the coefficient matrix holds the constants.  This is often done in books by putting a vertical line between the last column and the next to last column.  What is a good way to do this in LaTex? I applied to a program that I had been striving for in my undergrad, at a top school, but I've since felt overwhelmed with the thought of going this year. I think I should have waited until I was absolutely sure I could handle grad school emotionally and financially. I am so anxious now, thinking I've ruined my opportunity with this school if I don't go.   I am seriously considering withdrawing my application, but I'm very worried about how it might hurt me in the future when I reapply.  Otherwise I may have to decline if I am accepted and reapply. SQL Join Differences What's difference between inner join and outer join (left join,right join), and which has the best performance of them?  Thanks! What Hogwarts classes are taught to two houses at once? For my own understanding, I am interested in manually replicating the calculation of the standard errors of estimated coefficients as, for example, come with the output of the lm() function in R, but haven't been able to pin it down. What is the formula / implementation used? How are Pokestops chosen? After playing the game for a little while, I've noticed that Pokestops are chosen seemingly at random locations on the map. A few of them are even in inaccessible places; an abandoned church building, inside of an airforce base, etc. How are these locations chosen as Pokestops? So I'm using an app that stores images heavily in the DB. What's your outlook on this? I'm more of a type to store the location in the filesystem, than store it directly in the DB.  What do you think are the pros/cons? Good reasons to prohibit inheritance in Java? What are good reasons to prohibit inheritance in Java, for example by using final classes or classes using a single, private parameterless constructor? What are good reasons of making a method final? I am trying to figure out how to add a Lightning Web Component to a Lightning tab.  I have it on the Home Page, but I would like it to be on its own tab.  I feel like there should be an option to expose it to the Lightning tabs.  When I am in the Tabs section, I don't see my LWC listed. I live in Hong Kong, and the Play Store displays everything in the local Cantonese language. I have set everything I can (Android language, Account language, even the app locale via Xposed Module "App Settings") to English, but I still see all the categories in the store in Chinese. Can someone help me change those to English?  (Click image to enlarge) I'm looking for a good, consistent and easy way to do a report of sudoers permissions for every user and group on the system. For users, I want the report to include permissions granted via group membership. Random matrix theory impact on covariance matrix analysis I need to calculate the surface (m2) of external walls of all the buildings in a town. By external walls I mean all the walls of a building or parts of a wall which are not in contact with another building. I have a 2D shapefile of polygons with the cadastral footprint of the buildings, which includes information of the building’s height in the attribute table.  I don’t really know how can I do it… My idea is to convert the 2D file to 3D and use the 3D shapefile to distinguish the external walls from the shared walls (parts of a building that are shared with other buildings) of all buildings, and from there, calculate the total area but I’m not sure whether this can be done with ArcScene.  Anybody knows how could it be done and if there is an automate way to do it?