<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD with OASIS Tables with MathML3 v1.3 20210610//EN" "JATS-journalpublishing-oasis-article1-3-mathml3.dtd">
<article article-type="research-article" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:oasis="http://www.niso.org/standards/z39-96/ns/oasis-exchange/table"><front><journal-meta><journal-id journal-id-type="publisher-id">PRD</journal-id><journal-id journal-id-type="coden">PRVDAQ</journal-id><journal-title-group><journal-title>Physical Review D</journal-title><abbrev-journal-title>Phys. Rev. D</abbrev-journal-title></journal-title-group><issn pub-type="ppub">2470-0010</issn><issn pub-type="epub">2470-0029</issn><publisher><publisher-name>American Physical Society</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.1103/PhysRevD.109.043031</article-id><article-categories><subj-group subj-group-type="toc-major"><subject>ARTICLES</subject></subj-group><subj-group subj-group-type="toc-minor"><subject>Astrophysics and astroparticle physics</subject></subj-group></article-categories><title-group><article-title>Collective neutrino-antineutrino oscillations in dense neutrino environments?</article-title><alt-title alt-title-type="running-title">COLLECTIVE NEUTRINO-ANTINEUTRINO OSCILLATIONS IN …</alt-title><alt-title alt-title-type="running-author">FIORILLO, RAFFELT, AND SIGL</alt-title></title-group><contrib-group><contrib contrib-type="author"><contrib-id authenticated="true" contrib-id-type="orcid">https://orcid.org/0000-0003-4927-9850</contrib-id><name><surname>Fiorillo</surname><given-names>Damiano F. G.</given-names></name><xref ref-type="aff" rid="a1"><sup>1</sup></xref></contrib><contrib contrib-type="author"><contrib-id authenticated="true" contrib-id-type="orcid">https://orcid.org/0000-0002-0199-9560</contrib-id><name><surname>Raffelt</surname><given-names>Georg G.</given-names></name><xref ref-type="aff" rid="a2"><sup>2</sup></xref></contrib><contrib contrib-type="author"><contrib-id authenticated="true" contrib-id-type="orcid">https://orcid.org/0000-0002-4396-645X</contrib-id><name><surname>Sigl</surname><given-names>Günter</given-names></name><xref ref-type="aff" rid="a3"><sup>3</sup></xref></contrib><aff id="a1"><label><sup>1</sup></label>Niels Bohr International Academy, Niels Bohr Institute, <institution>University of Copenhagen</institution>, 2100 Copenhagen, Denmark</aff><aff id="a2"><label><sup>2</sup></label><institution>Max-Planck-Institut für Physik (Werner-Heisenberg-Institut)</institution>, Boltzmannstr. 8, 85748 Garching, Germany</aff><aff id="a3"><label><sup>3</sup></label><institution>Universität Hamburg, II. Institut für Theoretische Physik</institution>, 22761 Hamburg, Germany</aff></contrib-group><pub-date iso-8601-date="2024-02-20" date-type="pub" publication-format="electronic"><day>20</day><month>February</month><year>2024</year></pub-date><pub-date iso-8601-date="2024-02-15" date-type="pub" publication-format="print"><day>15</day><month>February</month><year>2024</year></pub-date><volume>109</volume><issue>4</issue><elocation-id>043031</elocation-id><pub-history><event><date iso-8601-date="2024-01-14" date-type="received"><day>14</day><month>January</month><year>2024</year></date></event><event><date iso-8601-date="2024-01-30" date-type="accepted"><day>30</day><month>January</month><year>2024</year></date></event></pub-history><permissions><copyright-statement>Published by the American Physical Society</copyright-statement><copyright-year>2024</copyright-year><copyright-holder>authors</copyright-holder><license license-type="creative-commons" xlink:href="https://creativecommons.org/licenses/by/4.0/"><license-p content-type="usage-statement">Published by the American Physical Society under the terms of the <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">Creative Commons Attribution 4.0 International</ext-link> license. Further distribution of this work must maintain attribution to the author(s) and the published article’s title, journal citation, and DOI. Funded by SCOAP<sup>3</sup>.</license-p></license></permissions><abstract><p>The paradigm-changing possibility of collective neutrino-antineutrino oscillations was recently advanced in analogy to collective flavor oscillations. However, the amplitude for the backward scattering process <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:msub><mml:mi>ν</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:msub></mml:math></inline-formula> is helicity suppressed and vanishes for massless neutrinos, implying that there is no off-diagonal refractive index between <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> of a single flavor of massless neutrinos. For a nonvanishing mass, collective helicity oscillations are possible, representing de facto <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> oscillations in the Majorana case. However, such phenomena are suppressed by the smallness of neutrino masses as discussed in the previous literature.</p></abstract><funding-group><award-group award-type="project"><funding-source country="DK"><institution-wrap><institution>Villum Fonden</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/100008398</institution-id></institution-wrap></funding-source><award-id>29388</award-id></award-group><award-group award-type="unspecified"><funding-source country="EU"><institution-wrap><institution>Horizon 2020 Framework Programme</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/100010661</institution-id></institution-wrap></funding-source></award-group><award-group award-type="grant"><funding-source country="EU"><institution-wrap><institution>H2020 Marie Skłodowska-Curie Actions</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/100010665</institution-id></institution-wrap></funding-source><award-id>847523</award-id></award-group><award-group award-type="grant"><funding-source country="DE"><institution-wrap><institution>Deutsche Forschungsgemeinschaft</institution><institution-id institution-id-type="doi" vocab="open-funder-registry" vocab-identifier="10.13039/open-funder-registry">10.13039/501100001659</institution-id></institution-wrap></funding-source><award-id>SFB-1258-283604770</award-id><award-id>EXC 2121</award-id><award-id>390833306</award-id></award-group></funding-group><counts><page-count count="7"/></counts></article-meta></front><body><sec id="s1"><label>I.</label><title>INTRODUCTION</title><p>In a series of papers <xref ref-type="bibr" rid="c1 c2">[1,2]</xref>, Sawyer has advanced the potentially paradigm-changing idea that dense neutrino environments could spawn collective neutrino-antineutrino oscillations. Ever since Pantaleone’s seminal paper <xref ref-type="bibr" rid="c3">[3]</xref> it has been understood that neutrinos of different flavor can evolve collectively, where the effect originates from a flavor off-diagonal refractive effect that exists in a gas consisting of neutrinos or antineutrinos that are coherent superpositions of different flavors. If we substitute the attribute flavor with the attribute lepton number, then one may think that a similar effect could obtain in a single-flavor gas of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>.</p><p>In the limit of massless neutrinos and concomitant absence of flavor mixing, the phenomenon of fast flavor conversion still opens the possibility of large flavor coherence building up <xref ref-type="bibr" rid="c4 c5 c6">[4–6]</xref>. In particular, fast pair conversion of the type <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>e</mml:mi></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>e</mml:mi></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>x</mml:mi></mml:msub></mml:math></inline-formula> can obtain without flavor-lepton number violation. The corresponding classical instability (meaning an instability of the mean field) depends on a nontrivial angle distribution, which is why it had been overlooked for a long time until it was recognized by Sawyer <xref ref-type="bibr" rid="c4">[4]</xref>. The simplest toy model is a homogeneous system with a minimum of three beams <xref ref-type="bibr" rid="c7 c8 c9">[7–9]</xref> (see also Ref. <xref ref-type="bibr" rid="c10">[10]</xref> for a four-beam model), which is easily understood. Two-flavor dynamics corresponds to flavor isospin dynamics and flavor conservation to angular momentum conservation. With only two beams, there are only two flavor spins, total angular momentum is conserved, thus leaving only one dynamical variable and only a simple precession around the conserved angular momentum. With three beams (now each thought of as spins), one retains the possibility of pair-wise flips of the spins without changing total angular momentum.<fn id="fn1"><label><sup>1</sup></label><p>Sawyer finds an instability even for two beams, but this is caused by an algebraic error. In Eq. (4) of Ref. <xref ref-type="bibr" rid="c1">[1]</xref>, the right-hand side of the third and fourth lines should carry a minus sign. For any occupation of his beams, the eigenvalues are real and do not show exponential growth.</p></fn></p><p>Many years ago, two of us have derived a kinetic equation for flavor-mixed neutrinos <xref ref-type="bibr" rid="c11">[11]</xref>. (See Refs. <xref ref-type="bibr" rid="c12 c13">[12,13]</xref> for other early derivations.) These often-used equations allow for fast flavor conversion, even if the fast flavor instability had not yet been discovered. On the other hand, terms corresponding to the possibility of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> coherence were left out from the start. Our argument was that such correlations would violate lepton number and thus would not build up if there was no lepton-number violation in the system and the initial state had no such correlations. With hindsight, this argument was incomplete because by the same token one might have excluded flavor conversion without neutrino masses and mixing. We ignored the possibility of a classical instability that might build up such correlations even from a minimal seed.</p><p>In this sense, a similar fast conversion effect could arise in the single-flavor <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> system without violating global lepton-number conservation. If there was a classical instability, correlations could build up, and neutrinos and antineutrinos could be shuffled between different energies and directions with potentially important effects in neutrino-dense environments <xref ref-type="bibr" rid="c1 c2">[1,2]</xref>. Such effects would require off-diagonal refraction, i.e., a suitably prepared background medium needs to mix <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> with <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>. However, the left-handedness of weak interactions implies that in the massless limit, helicity plays the role of lepton number, which is why it is so hard to distinguish Dirac from Majorana neutrinos—observable differences disappear with vanishing neutrino mass. By the same token, a <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> transition requires a helicity flip. It is helicity playing the role of lepton number that nixes the analogy to the flavor case as we will see.</p><p>Some of these questions were already addressed by several groups a few years ago, framed as the question of helicity oscillations, always finding that these effects are suppressed by the smallness of neutrino mass <xref ref-type="bibr" rid="c14 c15 c16 c17 c18 c19 c20 c21">[14–21]</xref>. For the Majorana case, these studies correspond to the question of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> transitions in a polarized neutrino background. As we will see, the same conclusion pertains to the Dirac case, in the sense that, in the massless limit, no <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> transition can be prompted by a polarized neutrino background.</p></sec><sec id="s2"><label>II.</label><title>OFF-DIAGONAL REFRACTION</title><p>To show this suppression in the most direct way, we are inspired by Friedland and Lunardini <xref ref-type="bibr" rid="c22">[22]</xref> to frame the question as illustrated in Fig. <xref ref-type="fig" rid="f1">1</xref>. We consider a test neutrino with flavor <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi></mml:math></inline-formula> crossing a background beam and ask under which circumstances it emerges in a different flavor state <inline-formula><mml:math display="inline"><mml:mi>b</mml:mi></mml:math></inline-formula>? If the background consists of a statistical mixture of neutrinos with flavors <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi></mml:math></inline-formula> or <inline-formula><mml:math display="inline"><mml:mi>b</mml:mi></mml:math></inline-formula>, it is possible that the test neutrino collides with a <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> and they can exchange momentum. This would happen with a rate proportional to <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:math></inline-formula> times the density of background neutrinos, which we call a “hard collision.” For a coherent effect on the refractive level, proportional to <inline-formula><mml:math display="inline"><mml:msub><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi></mml:msub></mml:math></inline-formula>, many such elementary events need to add coherently as explained by Friedland and Lunardini. However, no refractive effect obtains if there is no elementary hard scattering process that could produce the same result of a <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> emerging with the same momentum as the original <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula>. In addition, the background neutrinos need to be in a coherent superposition <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>cos</mml:mi><mml:mi>α</mml:mi><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mspace linebreak="goodbreak"/><mml:mi>sin</mml:mi><mml:mi>α</mml:mi><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula>, producing a flavor off-diagonal refractive effect. The test <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula> slowly develops a <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> component and emerges as a coherent <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:mo>-</mml:mo><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> superposition. Whereas in the hard-collision case, the modified flavor comes at the expense of one specific background neutrino, it here derives from the entire medium that changes its own coherent flavor state by a small amount. The entire medium “recoils” in flavor space, not a single neutrino of the medium.</p><fig id="f1"><object-id>1</object-id><object-id pub-id-type="doi">10.1103/PhysRevD.109.043031.f1</object-id><label>FIG. 1.</label><caption><p>Test neutrinos with attribute <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi></mml:math></inline-formula> crossing a background of neutrinos with a statistical mixture of attributes <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>b</mml:mi></mml:math></inline-formula>, or a coherent superposition. (Setup and figure inspired by Friedland and Lunardini <xref ref-type="bibr" rid="c22">[22]</xref>).</p></caption><graphic xlink:href="e043031_1.eps"/></fig><p>To see this effect more explicitly we observe that the refractive potential of a neutrino in a background of its own flavor is twice that in a background of a different flavor, owing to the final-state exchange amplitude that arises for identical flavors. If the background is prepared in the coherent superposition <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>cos</mml:mi><mml:mi>α</mml:mi><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mi>sin</mml:mi><mml:mi>α</mml:mi><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> we may expand the test neutrino <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula> in terms of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub></mml:math></inline-formula> and the orthogonal flavor mixture <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>y</mml:mi></mml:msub></mml:math></inline-formula>, with <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub></mml:math></inline-formula> feeling twice the refractive effect of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>y</mml:mi></mml:msub></mml:math></inline-formula>, so these two propagation eigenstates develop a phase difference, leading to the appearance of a <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> component of the original <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula>.</p><p>If the background consists of antineutrinos and the test particle is still a neutrino, then the outcome is analogous if the background medium is in a coherent superposition <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>x</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mi>cos</mml:mi><mml:mi>α</mml:mi><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>a</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mi>sin</mml:mi><mml:mi>α</mml:mi><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula>. Once more we can expand the test <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula> in its <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>y</mml:mi></mml:msub></mml:math></inline-formula> components. The forward-scattering amplitude of a <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> in a <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> bath of its own flavor is twice that of a different flavor, although the factor of 2 here arises not from an exchange amplitude, but from the option of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">→</mml:mo><mml:mi>ν</mml:mi><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> proceeding through <inline-formula><mml:math display="inline"><mml:msup><mml:mi>Z</mml:mi><mml:mn>0</mml:mn></mml:msup></mml:math></inline-formula> exchange (<inline-formula><mml:math display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula> channel) or through the <inline-formula><mml:math display="inline"><mml:mi>s</mml:mi></mml:math></inline-formula> channel <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">→</mml:mo><mml:msup><mml:mi>Z</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo stretchy="false">→</mml:mo><mml:mi>ν</mml:mi><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>. The elementary process that causes the refractive effect is the <inline-formula><mml:math display="inline"><mml:mi>s</mml:mi></mml:math></inline-formula> channel <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>a</mml:mi></mml:msub><mml:mo stretchy="false">→</mml:mo><mml:msup><mml:mi>Z</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mo stretchy="false">→</mml:mo><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> that allows a <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> to emerge with the momentum of the original <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula>. The conclusion is the same as for a background of neutrinos, due to the crossing symmetry which connects the <inline-formula><mml:math display="inline"><mml:mi>s</mml:mi></mml:math></inline-formula>-channel process with the <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula>-channel <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mi>ν</mml:mi><mml:mo stretchy="false">→</mml:mo><mml:mi>ν</mml:mi><mml:mi>ν</mml:mi></mml:math></inline-formula> process. For a coherent refractive effect to appear, once more it is not enough for the background medium to contain <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula>, but we need a coherent superposition of both flavors.</p><p>If the background consists of neutrinos, the largest hard-collision effect obtains if the background is purely <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula>, whereas if it consists of antineutrinos, the incoherent effect is largest for a pure <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula> background. In both cases, the largest refractive effect obtains if the background is an equal superposition of both flavors. All of this follows from the usual equations or from the detailed microscopic discussion of Friedland and Lunardini <xref ref-type="bibr" rid="c22">[22]</xref>.</p><p>The situation is different if we consider active-sterile conversion, where <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi></mml:math></inline-formula> stands for an active flavor and <inline-formula><mml:math display="inline"><mml:mi>b</mml:mi></mml:math></inline-formula> for a hypothetical sterile one. If the background is once more a statistical mixture, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>a</mml:mi></mml:msub></mml:math></inline-formula> cannot emerge as <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>b</mml:mi></mml:msub></mml:math></inline-formula> because the scattering cross section with a sterile neutrino vanishes. Even if the background has been prepared in a coherent superposition, there is no off-diagonal refractive effect, the test neutrino cannot emerge in the sterile flavor by coherent or incoherent interactions. Of course it could oscillate driven by active-sterile vacuum mixing and a mass difference, but this is a different effect.</p></sec><sec id="s3"><label>III.</label><title>NEUTRINO-ANTINEUTRINO BACKWARD SCATTERING</title><p>We now turn to our real question, what happens if the attributes <inline-formula><mml:math display="inline"><mml:mi>a</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>b</mml:mi></mml:math></inline-formula> stand for <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> of one flavor. Let us again consider a statistical mixture of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> in the background. Can <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> emerge as <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> after a hard collision? Certainly <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> have a nonvanishing scattering cross section. However, our question is narrower because we want the participants to exchange momenta (effectively backward scattering), so that <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> emerges with the momentum of the original <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula>. However, the cross section for such a collision vanishes for massless neutrinos.</p><p>This is seen most easily if we observe that the interaction <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">→</mml:mo><mml:mi>ν</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> can be viewed in the center-of-mass (CM) frame instead of the lab frame, so we may assume <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula> and the two particles collide head on. For vanishing mass, helicity is invariant under Lorentz transformations and so they must have opposite helicity, meaning equal spin along the beam direction (Fig. <xref ref-type="fig" rid="f2">2</xref>). After an exchange of momenta, their spins must be flipped to recover left-chiral states. However, angular momentum along the beam direction is conserved, so the amplitude for this process must vanish.</p><fig id="f2"><object-id>2</object-id><object-id pub-id-type="doi">10.1103/PhysRevD.109.043031.f2</object-id><label>FIG. 2.</label><caption><p>CM-frame neutrino scattering with momentum exchange (backward scattering), with gray arrows indicating their spin, initial state top, final state bottom. Left: <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> scattering, which has vanishing amplitude because the total angular momentum would have to be flipped even though it is conserved. Right: left-handed neutrinos of different flavor, which has nonzero amplitude. The total angular momentum vanishes before and after the collision.</p></caption><graphic xlink:href="e043031_2.eps"/></fig><p>The vanishing of this amplitude implies that there is no elementary process to produce a <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> moving in the same direction as the original <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and consequently, there is also no refractive effect of this type. While our simple helicity argument explains directly why this amplitude must vanish, the same can be shown more formally in the lab frame (see Appendix <xref ref-type="app" rid="app1">A</xref>).</p></sec><sec id="s4"><label>IV.</label><title>NEUTRINO-ANTINEUTRINO REFRACTION</title><p>A test <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> in a bath of same-flavor <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> feels the usual weak potential, whereas in a bath of <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> it feels the same potential with opposite sign, all of which is the usual neutrino-neutrino refractive effect. Therefore, if we prepare a test beam in an equal coherent superposition of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>, this amounts to linear polarization because <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> correspond to circular polarization, the usual helicity states. If this linearly polarized test beam propagates in a medium of pure <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula>, then the two circular polarization components develop different phases and hence the linear polarization turns along the test beam in analogy to a linearly polarized photon beam in a birefringent medium. This could be a sugar solution which has handedness built into the molecules, allowing the isotropic medium to distinguish between the two photon helicities. The same happens here for neutrinos. Therefore, the chirality of a neutrino medium produces an analogous birefringence effect.</p><p>On the other hand, in the previous section we have concluded that in the opposite situation of a <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> propagating in a background beam of, say, linearly polarized neutrinos (an equal coherent superposition of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>) will propagate as in vacuum. It is blind to the coherence of the linearly polarized background and can only see the sum of the potentials produced by the populations of background <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>, irrespective of this being a statistical mixture or a coherent superposition.</p><p>There is no contradiction in this seemingly asymmetric behavior. Both neutrinos and antineutrinos have a nonvanishing forward-scattering amplitude on the background states, the amplitudes are different, and so the two components develop a phase difference. In the opposite case of a <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> propagating in a nontrivially polarized background, there is no elementary amplitude that would allow it to flip its helicity. We make the absence of such an off-diagonal refractive component more formally explicit in Appendix <xref ref-type="app" rid="app2">B</xref>.</p></sec><sec id="s5"><label>V.</label><title>CONCLUSIONS</title><p>We have presented simple arguments to explain that <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> coherence cannot build up, in contrast to fast flavor oscillations, not because of lepton-number conservation, but because of the helicity structure of the <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula>-channel amplitude of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> forward scattering. This conclusion is opposite to the one reached by Sawyer <xref ref-type="bibr" rid="c1 c2">[1,2]</xref>, the difference arising from an incorrect <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> spinor in his Dirac algebra (see Appendix <xref ref-type="app" rid="app1">A</xref>).</p><p>As a more general comment, a neutrino gas initially consisting of an equal mixture of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>e</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>e</mml:mi></mml:msub></mml:math></inline-formula> will chemically equilibrate by normal collisions (at the order <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi><mml:mn>2</mml:mn></mml:msubsup></mml:math></inline-formula>) to a three-flavor mixture. For appropriate angular distributions that engender a fast flavor instability, this process will be accelerated on the refractive level (order <inline-formula><mml:math display="inline"><mml:msub><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi></mml:msub></mml:math></inline-formula>), but the phase-space restrictions of forward scattering will not easily allow for true equilibration, although some form of flavor equipartition may obtain, see, e.g., Refs. <xref ref-type="bibr" rid="c23 c24 c25 c26 c27 c28 c29 c30">[23–30]</xref>. If the initial mixture consists of <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>e</mml:mi></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi>ν</mml:mi><mml:mi>x</mml:mi></mml:msub></mml:math></inline-formula> with distinct energy distributions and a suitable angle distribution, once more fast flavor instabilities can accelerate the equipartition among energies that eventually arises anyway on the collisional level, i.e., fast flavor instabilities are not limited to the simplest example of pair conversion.</p><p>Likewise, any energy and angle distribution of massless <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> will preserve lepton number due to the left-handedness of weak interactions where helicity plays the role of lepton number. Collisions will equilibrate this distribution among energies. The main difference to the fast flavor case is that this process cannot be accelerated by refractive effects.</p><p>For neutrinos with nonzero mass, collisions populate the sterile neutrino helicities in the Dirac case, and equilibrate <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> with <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> in the Majorana case. Both effects can also arise on the refractive level, which in the Majorana case amounts to <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> oscillations. These questions were investigated a few years ago by several groups <xref ref-type="bibr" rid="c14 c15 c16 c17 c18 c19 c20 c21">[14–21]</xref>, and it was found that they involve a neutrino mass factor, in concordance with the pedestrian arguments presented here. Therefore, a “fast flavor” acceleration is not possible for either the Dirac or Majorana case. The rate of collective neutrino-antineutrino oscillations must always vanish with vanishing neutrino mass.</p></sec></body><back><ack><title>ACKNOWLEDGMENTS</title><p>We acknowledge a correspondence with Ray Sawyer, which however did not lead to convergent views. We thank Alexander Kartavtsev for discussions, and Basu Dasgupta, Irene Tamborra, and Shashank Shalgar for insightful comments and suggestions on the manuscript. D. F. G. F. is supported by the Villum Fonden under Project No. 29388 and the European Union’s Horizon 2020 Research and Innovation Program under the Marie Skłodowska-Curie Grant Agreement No. 847523 “INTERACTIONS.” G. G. R. acknowledges partial support by the German Research Foundation (DFG) through the Collaborative Research Centre “Neutrinos and Dark Matter in Astro- and Particle Physics (NDM),” Grant No. SFB-1258-283604770, and under Germany’s Excellence Strategy through the Cluster of Excellence ORIGINS Grant No. EXC-2094-390783311. G. S. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy—EXC 2121 “Quantum Universe”—Grant No. 390833306.</p></ack><app-group><app id="app1"><label>APPENDIX A:</label><title>AMPLITUDE FOR <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">→</mml:mo><mml:mi>ν</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula></title><p>In the main text we have argued on elementary grounds that the amplitude for the <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula>-channel forward-scattering process (exact backward scattering) <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">→</mml:mo><mml:mi>ν</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo>+</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> must vanish. The same result can be found more explicitly in the lab frame. The <inline-formula><mml:math display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula>-channel forward-scattering amplitude (Fig. <xref ref-type="fig" rid="f3">3</xref>) has the structure <disp-formula id="da1"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:math><label>(A1)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mi>u</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub></mml:math></inline-formula> is the spinor for a neutrino with momentum <inline-formula><mml:math display="inline"><mml:mi mathvariant="bold">p</mml:mi></mml:math></inline-formula> and negative helicity, <inline-formula><mml:math display="inline"><mml:msub><mml:mi>v</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub></mml:math></inline-formula> the one for an antineutrino with positive helicity. To simplify notation, we do not explicitly show helicities because for our massless limit, it is consistent to assume a fixed chirality for all participating states. As the spinors are already taken for chiral neutrinos, the left-handed projection is not needed in the matrix element. In a field operator they would appear in the combination <disp-formula id="da2"><mml:math display="block"><mml:msub><mml:mi>a</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msub><mml:mi>u</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mi>i</mml:mi><mml:msub><mml:mi>E</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mi>t</mml:mi><mml:mo>+</mml:mo><mml:mi>i</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mo>·</mml:mo><mml:mi mathvariant="bold">r</mml:mi></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>b</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>v</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:msub><mml:mi>E</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mi>t</mml:mi><mml:mo>-</mml:mo><mml:mi>i</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mo>·</mml:mo><mml:mi mathvariant="bold">r</mml:mi></mml:mrow></mml:msup></mml:math><label>(A2)</label></disp-formula>with <inline-formula><mml:math display="inline"><mml:msub><mml:mi>a</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub></mml:math></inline-formula> the annihilator of a helicity-minus neutrino of physical momentum <inline-formula><mml:math display="inline"><mml:mi mathvariant="bold">p</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>b</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mi>†</mml:mi></mml:msubsup></mml:math></inline-formula> the creator of a helicity-plus antineutrino of physical momentum <inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:mi mathvariant="bold">p</mml:mi></mml:math></inline-formula>. Once more, we do not explicitly show the helicities.</p><fig id="f3"><object-id>3</object-id><object-id pub-id-type="doi">10.1103/PhysRevD.109.043031.f3</object-id><label>FIG. 3.</label><caption><p><inline-formula><mml:math display="inline"><mml:mi>s</mml:mi></mml:math></inline-formula>-channel (left) and <inline-formula><mml:math display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula>-channel (right) process for neutrino-antineutrino scattering with momentum exchange. The amplitude for both diagrams vanishes identically for any values of <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:math></inline-formula> (see text).</p></caption><graphic xlink:href="e043031_3.eps"/></fig><p>For neutrino-antineutrino scattering, in addition there is an <inline-formula><mml:math display="inline"><mml:mi>s</mml:mi></mml:math></inline-formula>-channel amplitude with the structure <disp-formula id="da3"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(A3)</label></disp-formula>For comparison, in the case of neutrino-neutrino interaction, leading to the fast flavor instability, the forward scattering amplitude corresponding to the <inline-formula><mml:math display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula> channel is <disp-formula id="da4"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(A4)</label></disp-formula>An amplitude with the same structure also describes <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> scattering. This amplitude does not vanish, corresponding to the right panel in Fig. <xref ref-type="fig" rid="f2">2</xref>.</p><p>A key observation, perhaps at first surprising, is that the <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> spinor for a helicity-minus neutrino and the <inline-formula><mml:math display="inline"><mml:mi>v</mml:mi></mml:math></inline-formula> spinor for a helicity-plus antineutrino, both moving in the same direction, are the same, up to an arbitrary phase. It is less surprising once we realize that, for zero mass, both spinors obey the same equation <inline-formula><mml:math display="inline"><mml:menclose notation="updiagonalstrike"><mml:mi>p</mml:mi></mml:menclose><mml:msub><mml:mi>u</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:menclose notation="updiagonalstrike"><mml:mi>p</mml:mi></mml:menclose><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula> augmented by the helicity condition <inline-formula><mml:math display="inline"><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:msub><mml:mi>γ</mml:mi><mml:mn>5</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mi>u</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mn>1</mml:mn><mml:mo>+</mml:mo><mml:msub><mml:mi>γ</mml:mi><mml:mn>5</mml:mn></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>, and therefore are identical. (We here indicate explicitly the helicity by the indices <inline-formula><mml:math display="inline"><mml:mo>±</mml:mo><mml:mo>.</mml:mo></mml:math></inline-formula>) Notice that this equality directly implies that the <inline-formula><mml:math display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula>-channel and the <inline-formula><mml:math display="inline"><mml:mi>s</mml:mi></mml:math></inline-formula>-channel spinor amplitudes are identical; therefore, since the total amplitude is the difference between them, where the minus sign arises from the exchange of two fermions, one can already conclude that the total amplitude vanishes. However, one can prove the stronger result that both amplitudes vanish separately.</p><p>A direct way is to use the Fierz identities, by which one directly obtains <disp-formula id="da5"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(A5)</label></disp-formula>Since the two amplitudes must also be equal to each other, they must both vanish. The same argument applied to the <inline-formula><mml:math display="inline"><mml:mi>t</mml:mi></mml:math></inline-formula>-channel exchange for two neutrinos does not lead to the same conclusion, since the exchange of the two spinors actually leads to the nontrivial result <disp-formula id="da6"><mml:math display="block"><mml:mrow><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mn>4</mml:mn><mml:msub><mml:mrow><mml:mi>p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub><mml:mo>·</mml:mo><mml:msub><mml:mrow><mml:mi>p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub><mml:mo>,</mml:mo></mml:mrow></mml:math><label>(A6)</label></disp-formula>which can be directly confirmed by the usual trace rules.</p><p>One can obtain the same result in a pedestrian way by writing it out explicitly. The massless spinors in the Dirac representation are found, for example, in Eq. (4.67) of the textbook <xref ref-type="bibr" rid="c31">[31]</xref>, where we include a factor <inline-formula><mml:math display="inline"><mml:mn>1</mml:mn><mml:mo>/</mml:mo><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt></mml:math></inline-formula> <disp-formula id="da7"><mml:math display="block"><mml:msub><mml:mi>u</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msqrt><mml:mfrac><mml:mrow><mml:mo stretchy="false">|</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:msqrt><mml:mo minsize="14ex" stretchy="true">(</mml:mo><mml:mtable><mml:mtr><mml:mtd><mml:mo>-</mml:mo><mml:mi>sin</mml:mi><mml:mfrac><mml:mi>θ</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>ϕ</mml:mi></mml:mrow></mml:msup><mml:mi>cos</mml:mi><mml:mfrac><mml:mi>θ</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mi>sin</mml:mi><mml:mfrac><mml:mi>θ</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mo>-</mml:mo><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi>ϕ</mml:mi></mml:mrow></mml:msup><mml:mi>cos</mml:mi><mml:mfrac><mml:mi>θ</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mtd></mml:mtr></mml:mtable><mml:mo minsize="14ex" stretchy="true">)</mml:mo><mml:mo>,</mml:mo></mml:math><label>(A7)</label></disp-formula>showing the helicity indices explicitly. Here <inline-formula><mml:math display="inline"><mml:mi>θ</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>ϕ</mml:mi></mml:math></inline-formula> are the polar coordinates of <inline-formula><mml:math display="inline"><mml:mi mathvariant="bold">p</mml:mi></mml:math></inline-formula> in some chosen frame of reference. One finds explicitly, for example, <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>u</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mo stretchy="false">|</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">|</mml:mo><mml:mo>,</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">)</mml:mo></mml:math></inline-formula> or that Eq. <xref ref-type="disp-formula" rid="da1">(A1)</xref> vanishes. If the particles move along the positive <inline-formula><mml:math display="inline"><mml:mi>z</mml:mi></mml:math></inline-formula> direction, these spinors are <disp-formula id="da8"><mml:math display="block"><mml:msub><mml:mi>u</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>-</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi>v</mml:mi><mml:mrow><mml:mi mathvariant="bold">p</mml:mi><mml:mo>,</mml:mo><mml:mo>+</mml:mo></mml:mrow></mml:msub><mml:mo>=</mml:mo><mml:msqrt><mml:mfrac><mml:mrow><mml:mo stretchy="false">|</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">|</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:msqrt><mml:mo minsize="13ex" stretchy="true">(</mml:mo><mml:mtable><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>1</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mn>0</mml:mn></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:mtd></mml:mtr></mml:mtable><mml:mo minsize="13ex" stretchy="true">)</mml:mo><mml:mo>.</mml:mo></mml:math><label>(A8)</label></disp-formula>Notice that this is consistent with the fact that the helicity operator for particles is <inline-formula><mml:math display="inline"><mml:mrow><mml:mi>diag</mml:mi><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold-italic">σ</mml:mi><mml:mo>,</mml:mo><mml:mi mathvariant="bold-italic">σ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>·</mml:mo><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:mrow></mml:math></inline-formula> whereas for antiparticles it is <inline-formula><mml:math display="inline"><mml:mrow><mml:mo>-</mml:mo><mml:mi>diag</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold-italic">σ</mml:mi><mml:mo>,</mml:mo><mml:mi mathvariant="bold-italic">σ</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>·</mml:mo><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:math></inline-formula>, where <inline-formula><mml:math display="inline"><mml:mi mathvariant="bold-italic">σ</mml:mi></mml:math></inline-formula> are the Pauli matrices. While for massless neutrinos it would make more sense to use the chiral representation, we used the Dirac representation to compare directly with the unnumbered equation after Eq. (17) in Ref. <xref ref-type="bibr" rid="c2">[2]</xref> and see that the expression for their <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> spinor is not correct.</p><p>That Sawyer’s expression for the <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> spinor must be wrong is seen from his expression for the current, consisting of <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msup><mml:mi>γ</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:mi>u</mml:mi><mml:mo>=</mml:mo><mml:mo>+</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msup><mml:mi>γ</mml:mi><mml:mn>3</mml:mn></mml:msup><mml:mi>u</mml:mi><mml:mo>=</mml:mo><mml:mo>-</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula>, but the current for a particle moving in the positive <inline-formula><mml:math display="inline"><mml:mi>z</mml:mi></mml:math></inline-formula> direction must have a positive 3 component. His <inline-formula><mml:math display="inline"><mml:mi>u</mml:mi></mml:math></inline-formula> spinor is for a particle moving in the negative <inline-formula><mml:math display="inline"><mml:mi>z</mml:mi></mml:math></inline-formula> direction.</p></app><app id="app2"><label>APPENDIX B:</label><title>REFRACTIVE INDEX FROM NEUTRINO-ANTINEUTRINO COHERENCE</title><p>In the main text we have argued on elementary grounds that a <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> propagating in a background beam which is nontrivially polarized remains blind to this coherence and does not see an off-diagonal refractive index, i.e., such a medium never mixes <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> with <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>. To prove more formally that there is actually no such off-diagonal refractive effect it is instructive to explicitly compute the refractive energy shift felt by a neutrino in the background with a coherent superposition of neutrinos and antineutrinos. To fully characterize the background, we introduce an extended density operator <disp-formula id="db1"><mml:math display="block"><mml:msubsup><mml:mi mathvariant="script">D</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mo minsize="7ex" stretchy="true">(</mml:mo><mml:mtable><mml:mtr><mml:mtd><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:msub></mml:mtd><mml:mtd/><mml:mtd><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:msub></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:msub></mml:mtd><mml:mtd/><mml:mtd><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:msub></mml:mtd></mml:mtr></mml:mtable><mml:mo minsize="7ex" stretchy="true">)</mml:mo><mml:mo>,</mml:mo></mml:math><label>(B1)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:mi>α</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mi>β</mml:mi></mml:math></inline-formula> are flavor indices. The corresponding density matrix is <disp-formula id="db2"><mml:math display="block"><mml:msubsup><mml:mi>ρ</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup><mml:mo>=</mml:mo><mml:mrow><mml:mo stretchy="false">⟨</mml:mo><mml:msubsup><mml:mi mathvariant="script">D</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup><mml:mo stretchy="false">⟩</mml:mo></mml:mrow><mml:mo>=</mml:mo><mml:mo minsize="7ex" stretchy="true">(</mml:mo><mml:mtable><mml:mtr><mml:mtd><mml:msubsup><mml:mi>n</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup></mml:mtd><mml:mtd/><mml:mtd><mml:msubsup><mml:mi>s</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup></mml:mtd></mml:mtr><mml:mtr><mml:mtd><mml:msubsup><mml:mi>s</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi><mml:mo>*</mml:mo></mml:mrow></mml:msubsup></mml:mtd><mml:mtd/><mml:mtd><mml:msubsup><mml:mover accent="true"><mml:mi>n</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup></mml:mtd></mml:mtr></mml:mtable><mml:mo minsize="7ex" stretchy="true">)</mml:mo><mml:mo>.</mml:mo></mml:math><label>(B2)</label></disp-formula></p><p>To determine the refractive energy shift, we start from the interaction Hamiltonian of neutrinos, which we write <disp-formula id="db3"><mml:math display="block"><mml:mi mathvariant="script">V</mml:mi><mml:mo>=</mml:mo><mml:mfrac><mml:mrow><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:msub><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi></mml:msub></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo>∫</mml:mo><mml:msup><mml:mi>d</mml:mi><mml:mn>3</mml:mn></mml:msup><mml:mi mathvariant="bold">r</mml:mi><mml:munder><mml:mo>∑</mml:mo><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:munder><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>α</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold">r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msup><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>ν</mml:mi><mml:mi>α</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold">r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>β</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold">r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:msub><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msub><mml:msub><mml:mi>ν</mml:mi><mml:mi>β</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold">r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:math><label>(B3)</label></disp-formula>Expanding the field operators as <disp-formula id="db4"><mml:math display="block"><mml:msub><mml:mi>ν</mml:mi><mml:mi>α</mml:mi></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:mi mathvariant="bold">r</mml:mi><mml:mo stretchy="false">)</mml:mo><mml:mo>=</mml:mo><mml:mo>∫</mml:mo><mml:mfrac><mml:mrow><mml:msup><mml:mi>d</mml:mi><mml:mn>3</mml:mn></mml:msup><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:mi>π</mml:mi><mml:msup><mml:mo stretchy="false">)</mml:mo><mml:mn>3</mml:mn></mml:msup></mml:mrow></mml:mfrac><mml:mrow><mml:mo stretchy="false">[</mml:mo><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mi>u</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mi>i</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mo>·</mml:mo><mml:mi mathvariant="bold">r</mml:mi></mml:mrow></mml:msup><mml:mo>+</mml:mo><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>v</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>e</mml:mi><mml:mrow><mml:mo>-</mml:mo><mml:mi>i</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mo>·</mml:mo><mml:mi mathvariant="bold">r</mml:mi></mml:mrow></mml:msup><mml:mo stretchy="false">]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:math><label>(B4)</label></disp-formula>where the spinors are normalized by <inline-formula><mml:math display="inline"><mml:msub><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>γ</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:msub><mml:mi>u</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mover accent="true"><mml:mi>v</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:msup><mml:mi>γ</mml:mi><mml:mn>0</mml:mn></mml:msup><mml:msub><mml:mi>v</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mo>=</mml:mo><mml:mn>1</mml:mn></mml:math></inline-formula>, we can obtain all the different terms of interaction among <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula>. For the purposes of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> coherence, we are interested in those terms that annihilate and create a particle and an antiparticle. Extracting the relevant terms from the expansion, we obtain <disp-formula id="db5"><mml:math display="block"><mml:msup><mml:mi mathvariant="script">V</mml:mi><mml:mrow><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>ν</mml:mi></mml:mrow></mml:msup><mml:mo id="db5a1">=</mml:mo><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:msub><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi></mml:msub><mml:munder><mml:mo>∑</mml:mo><mml:mrow other="silent"><mml:mrow><mml:mo stretchy="false">{</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mi>α</mml:mi><mml:mo>,</mml:mo><mml:mi>β</mml:mi></mml:mrow></mml:munder><mml:mrow other="silent"><mml:mo minsize="3ex" stretchy="true">[</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mover accent="true"><mml:mi>v</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:msub><mml:msup><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>u</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:msub><mml:msub><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msub><mml:msub><mml:mi>v</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:msub><mml:mspace linebreak="goodbreak"/><mml:mo indentalign="id" indentshift="1em" indenttarget="db5a1">+</mml:mo><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:msub><mml:msup><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>u</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>v</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:msub><mml:msub><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msub><mml:msub><mml:mi>v</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:msub><mml:mo minsize="3ex" stretchy="true">]</mml:mo></mml:mrow><mml:mo>,</mml:mo></mml:math><label>(B5)</label></disp-formula>where <inline-formula><mml:math display="inline"><mml:msub><mml:mo>∑</mml:mo><mml:mrow><mml:mo stretchy="false">{</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:mrow></mml:msub></mml:math></inline-formula> denotes integration over the phase-space of all four-momenta subject to momentum conservation <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo>+</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:math></inline-formula>. Using the equality of particle-antiparticle spinors, and the Fierz identities, this can be rewritten as <disp-formula id="db6"><mml:math display="block"><mml:msup><mml:mi mathvariant="script">V</mml:mi><mml:mrow><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:mi>ν</mml:mi></mml:mrow></mml:msup><mml:mo id="db6a1">=</mml:mo><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:msub><mml:mi>G</mml:mi><mml:mi mathvariant="normal">F</mml:mi></mml:msub><mml:munder><mml:mo>∑</mml:mo><mml:mrow other="silent"><mml:mrow><mml:mo stretchy="false">{</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mi>α</mml:mi><mml:mo>,</mml:mo><mml:mi>β</mml:mi></mml:mrow></mml:munder><mml:msub><mml:mover accent="true"><mml:mi>u</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:msub><mml:msup><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msup><mml:msub><mml:mi>u</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:msub><mml:msub><mml:mover accent="true"><mml:mi>v</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:msub><mml:msub><mml:mi>γ</mml:mi><mml:mi>μ</mml:mi></mml:msub><mml:msub><mml:mi>v</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:msub><mml:mrow other="silent"><mml:mo minsize="3ex" stretchy="true">(</mml:mo><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:mspace linebreak="goodbreak"/><mml:mo indentalign="id" indentshift="1em" indenttarget="db6a1">-</mml:mo><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:mo minsize="3ex" stretchy="true">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:math><label>(B6)</label></disp-formula>Finally, using the anticommutation of different operators, we can bring this term to the normal ordering, where the destruction operators are on the right, obtaining <disp-formula id="db7"><mml:math display="block"><mml:mrow><mml:msup><mml:mrow><mml:mi mathvariant="script">V</mml:mi></mml:mrow><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>ν</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover><mml:mi>ν</mml:mi></mml:mrow></mml:msup><mml:mo id="db7a1">=</mml:mo><mml:msqrt><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msqrt><mml:msub><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi mathvariant="normal">F</mml:mi></mml:mrow></mml:msub><mml:munder><mml:mrow><mml:mo>∑</mml:mo></mml:mrow><mml:mrow other="silent"><mml:mrow><mml:mo stretchy="false">{</mml:mo><mml:mi mathvariant="bold">p</mml:mi><mml:mo stretchy="false">}</mml:mo></mml:mrow><mml:mo>,</mml:mo><mml:mi>α</mml:mi><mml:mo>,</mml:mo><mml:mi>β</mml:mi></mml:mrow></mml:munder><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msup><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msup><mml:msub><mml:mrow><mml:mi>u</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mtext> </mml:mtext><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>γ</mml:mi></mml:mrow><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:msub><mml:msub><mml:mrow><mml:mi>v</mml:mi></mml:mrow><mml:mrow><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mrow other="silent"><mml:mo minsize="3ex" stretchy="true">(</mml:mo><mml:mo>-</mml:mo><mml:msubsup><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mrow><mml:mi>†</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mrow><mml:mi>b</mml:mi></mml:mrow><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mrow><mml:mi>†</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mi>b</mml:mi></mml:mrow><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mspace linebreak="goodbreak"/><mml:mo indentalign="id" indentshift="1em" indenttarget="db7a1">-</mml:mo><mml:msubsup><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mrow><mml:mi>†</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mi>a</mml:mi></mml:mrow><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mrow><mml:mi>b</mml:mi></mml:mrow><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>4</mml:mn></mml:mrow></mml:msub></mml:mrow><mml:mrow><mml:mi>†</mml:mi></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mi>b</mml:mi></mml:mrow><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mrow><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mrow><mml:mn>3</mml:mn></mml:mrow></mml:msub></mml:mrow></mml:msub><mml:mo minsize="3ex" stretchy="true">)</mml:mo></mml:mrow><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(B7)</label></disp-formula></p><p>To obtain the refractive energy shift, we can now use the Hartee-Fock procedure and expand <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="script">D</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mo>≃</mml:mo><mml:msub><mml:mi>ρ</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub><mml:mo>+</mml:mo><mml:mi>δ</mml:mi><mml:msub><mml:mi mathvariant="script">D</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub></mml:math></inline-formula>, where <inline-formula><mml:math display="inline"><mml:mi>δ</mml:mi><mml:msub><mml:mi mathvariant="script">D</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:msub></mml:math></inline-formula> is the operator fluctuation over the mean-field value. The mean field, or Hartree-Fock, approximation corresponds to neglecting the terms quadratic in the fluctuation. Since we are really interested in the off-diagonal refractive index, we can consider only those terms corresponding to the appearance of <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>s</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula>. We can look at only one such term, e.g., in the string of operators <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>a</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub></mml:mrow></mml:msub><mml:msubsup><mml:mi>b</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub></mml:mrow></mml:msub></mml:math></inline-formula>, where the replacement leads to terms of the form <inline-formula><mml:math display="inline"><mml:mo>-</mml:mo><mml:msubsup><mml:mi>s</mml:mi><mml:mi mathvariant="bold">q</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:mi>α</mml:mi><mml:mo>*</mml:mo></mml:mrow></mml:msubsup><mml:msubsup><mml:mi>a</mml:mi><mml:mrow><mml:mi>β</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow><mml:mi>†</mml:mi></mml:msubsup><mml:msub><mml:mi>b</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi mathvariant="bold">p</mml:mi></mml:mrow></mml:msub></mml:math></inline-formula>, forcing the equality <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>1</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>3</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mi mathvariant="bold">p</mml:mi></mml:math></inline-formula>, <inline-formula><mml:math display="inline"><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>2</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:msub><mml:mi mathvariant="bold">p</mml:mi><mml:mn>4</mml:mn></mml:msub><mml:mo>=</mml:mo><mml:mi mathvariant="bold">q</mml:mi></mml:math></inline-formula>; replacing this equality in the spinor matrix element, one recovers the same amplitude which we earlier showed to vanish. This can be seen to happen for all terms, implying that the refractive energy shift induced by a nonvanishing <inline-formula><mml:math display="inline"><mml:msubsup><mml:mi>s</mml:mi><mml:mi mathvariant="bold">p</mml:mi><mml:mrow><mml:mi>α</mml:mi><mml:mi>β</mml:mi></mml:mrow></mml:msubsup></mml:math></inline-formula> does indeed vanish for massless neutrinos.</p><p>Following this strategy also for the other terms, one can directly obtain the effective Hamiltonian felt by a test neutrino which passes through a background medium of other neutrinos. Considering a single flavor, and a neutrino propagating in a medium flowing orthogonally to it (so that the angle between the neutrino direction and the medium velocity is <inline-formula><mml:math display="inline"><mml:mi>cos</mml:mi><mml:mi>θ</mml:mi><mml:mo>=</mml:mo><mml:mn>0</mml:mn></mml:math></inline-formula>), and reverting to the bracket notation, this effective Hamiltonian is <disp-formula id="db8"><mml:math display="block"><mml:mrow><mml:mi>H</mml:mi><mml:mo>=</mml:mo><mml:mn>2</mml:mn><mml:msqrt><mml:mn>2</mml:mn></mml:msqrt><mml:msub><mml:mrow><mml:mi>G</mml:mi></mml:mrow><mml:mrow><mml:mi>F</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">(</mml:mo><mml:msub><mml:mrow><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mi>ν</mml:mi></mml:mrow></mml:msub><mml:mo>-</mml:mo><mml:msub><mml:mrow><mml:mover accent="true"><mml:mrow><mml:mi>n</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover></mml:mrow><mml:mrow><mml:mi>ν</mml:mi></mml:mrow></mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mo stretchy="false">(</mml:mo><mml:mo stretchy="false">|</mml:mo><mml:mi>ν</mml:mi><mml:mo stretchy="false">⟩</mml:mo><mml:mo stretchy="false">⟨</mml:mo><mml:mi>ν</mml:mi><mml:mo stretchy="false">|</mml:mo><mml:mo>-</mml:mo><mml:mo stretchy="false">|</mml:mo><mml:mover accent="true"><mml:mrow><mml:mi>ν</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover><mml:mo stretchy="false">⟩</mml:mo><mml:mo stretchy="false">⟨</mml:mo><mml:mover accent="true"><mml:mrow><mml:mi>ν</mml:mi></mml:mrow><mml:mrow><mml:mo stretchy="false">¯</mml:mo></mml:mrow></mml:mover><mml:mo stretchy="false">|</mml:mo><mml:mo stretchy="false">)</mml:mo><mml:mo>.</mml:mo></mml:mrow></mml:math><label>(B8)</label></disp-formula>As we can see, the term proportional to <inline-formula><mml:math display="inline"><mml:msub><mml:mi>s</mml:mi><mml:mi>ν</mml:mi></mml:msub></mml:math></inline-formula> disappears because of the amplitude suppression.</p><p>A <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> or a <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> propagates in a background medium consisting of <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi></mml:math></inline-formula> and <inline-formula><mml:math display="inline"><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> as if these were a statistical mixture, whether or not the background particles are in a <inline-formula><mml:math display="inline"><mml:mi>ν</mml:mi><mml:mo>-</mml:mo><mml:mover accent="true"><mml:mi>ν</mml:mi><mml:mo stretchy="false">¯</mml:mo></mml:mover></mml:math></inline-formula> coherent state.</p></app></app-group><ref-list><ref id="c1"><label>[1]</label><mixed-citation publication-type="journal"><object-id>1</object-id><person-group person-group-type="author"><string-name>R. F. Sawyer</string-name></person-group>, <article-title>Fast flavor evolution in dense neutrino systems, as described in quantum field theory</article-title>, <source>Phys. Rev. D</source> <volume>108</volume>, <page-range>093001</page-range> (<year>2023</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.108.093001</pub-id></mixed-citation></ref><ref id="c2"><label>[2]</label><mixed-citation publication-type="eprint"><object-id>2</object-id><person-group person-group-type="author"><string-name>R. F. Sawyer</string-name></person-group>, <article-title>Neutrino-anti-neutrino instability in dense neutrino systems, with applications to the early universe and to supernovae</article-title>, <pub-id pub-id-type="arxiv">arXiv:2206.09290</pub-id>.</mixed-citation></ref><ref id="c3"><label>[3]</label><mixed-citation publication-type="journal"><object-id>3</object-id><person-group person-group-type="author"><string-name>J. T. Pantaleone</string-name></person-group>, <article-title>Neutrino oscillations at high densities</article-title>, <source>Phys. Lett. B</source> <volume>287</volume>, <page-range>128</page-range> (<year>1992</year>).<pub-id pub-id-type="coden">PYLBAJ</pub-id><issn>0370-2693</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/0370-2693(92)91887-F</pub-id></mixed-citation></ref><ref id="c4"><label>[4]</label><mixed-citation publication-type="journal"><object-id>4</object-id><person-group person-group-type="author"><string-name>R. F. Sawyer</string-name></person-group>, <article-title>Neutrino cloud instabilities just above the neutrino sphere of a supernova</article-title>, <source>Phys. Rev. Lett.</source> <volume>116</volume>, <page-range>081101</page-range> (<year>2016</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.116.081101</pub-id></mixed-citation></ref><ref id="c5"><label>[5]</label><mixed-citation publication-type="journal"><object-id>5</object-id><person-group person-group-type="author"><string-name>S. Chakraborty</string-name>, <string-name>R. S. Hansen</string-name>, <string-name>I. Izaguirre</string-name>, and <string-name>G. Raffelt</string-name></person-group>, <article-title>Self-induced neutrino flavor conversion without flavor mixing</article-title>, <source>J. Cosmol. Astropart. Phys.</source> <issue>03</issue> (<volume>2016</volume>) <page-range>042</page-range>.<pub-id pub-id-type="coden">JCAPBP</pub-id><issn>1475-7516</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1088/1475-7516/2016/03/042</pub-id></mixed-citation></ref><ref id="c6"><label>[6]</label><mixed-citation publication-type="journal"><object-id>6</object-id><person-group person-group-type="author"><string-name>I. Tamborra</string-name> and <string-name>S. Shalgar</string-name></person-group>, <article-title>New developments in flavor evolution of a dense neutrino gas</article-title>, <source>Annu. Rev. Nucl. Part. Sci.</source> <volume>71</volume>, <page-range>165</page-range> (<year>2021</year>).<pub-id pub-id-type="coden">ARPSDF</pub-id><issn>0163-8998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1146/annurev-nucl-102920-050505</pub-id></mixed-citation></ref><ref id="c7"><label>[7]</label><mixed-citation publication-type="journal"><object-id>7</object-id><person-group person-group-type="author"><string-name>I. Padilla-Gay</string-name>, <string-name>I. Tamborra</string-name>, and <string-name>G. G. Raffelt</string-name></person-group>, <article-title>Neutrino flavor pendulum reloaded: The case of fast pairwise conversion</article-title>, <source>Phys. Rev. Lett.</source> <volume>128</volume>, <page-range>121102</page-range> (<year>2022</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.128.121102</pub-id></mixed-citation></ref><ref id="c8"><label>[8]</label><mixed-citation publication-type="journal"><object-id>8</object-id><person-group person-group-type="author"><string-name>D. F. G. Fiorillo</string-name> and <string-name>G. G. Raffelt</string-name></person-group>, <article-title>Slow and fast collective neutrino oscillations: Invariants and reciprocity</article-title>, <source>Phys. Rev. D</source> <volume>107</volume>, <page-range>043024</page-range> (<year>2023</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.107.043024</pub-id></mixed-citation></ref><ref id="c9"><label>[9]</label><mixed-citation publication-type="journal"><object-id>9</object-id><person-group person-group-type="author"><string-name>D. F. G. Fiorillo</string-name> and <string-name>G. G. Raffelt</string-name></person-group>, <article-title>Flavor solitons in dense neutrino gases</article-title>, <source>Phys. Rev. D</source> <volume>107</volume>, <page-range>123024</page-range> (<year>2023</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.107.123024</pub-id></mixed-citation></ref><ref id="c10"><label>[10]</label><mixed-citation publication-type="journal"><object-id>10</object-id><person-group person-group-type="author"><string-name>B. Dasgupta</string-name> and <string-name>M. Sen</string-name></person-group>, <article-title>Fast neutrino flavor conversion as oscillations in a quartic potential</article-title>, <source>Phys. Rev. D</source> <volume>97</volume>, <page-range>023017</page-range> (<year>2018</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.97.023017</pub-id></mixed-citation></ref><ref id="c11"><label>[11]</label><mixed-citation publication-type="journal"><object-id>11</object-id><person-group person-group-type="author"><string-name>G. Sigl</string-name> and <string-name>G. Raffelt</string-name></person-group>, <article-title>General kinetic description of relativistic mixed neutrinos</article-title>, <source>Nucl. Phys.</source> <volume>B406</volume>, <page-range>423</page-range> (<year>1993</year>).<pub-id pub-id-type="coden">NUPBBO</pub-id><issn>0550-3213</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/0550-3213(93)90175-O</pub-id></mixed-citation></ref><ref id="c12"><label>[12]</label><mixed-citation id="c12a" publication-type="journal"><object-id>12a</object-id><person-group person-group-type="author"><string-name>A. D. Dolgov</string-name></person-group>, <article-title>Neutrinos in the early universe</article-title>, <source>Yad. Fiz.</source> <volume>33</volume>, <page-range>1309</page-range> (<year>1981</year>) <pub-id pub-id-type="coden">IDFZA7</pub-id><issn>0044-0027</issn></mixed-citation><mixed-citation id="c12b" publication-type="journal" specific-use="translation"><object-id>12b</object-id><person-group person-group-type="author"><string-name>A. D. Dolgov</string-name></person-group>[<source>Sov. J. Nucl. Phys.</source> <volume>33</volume>, <page-range>700</page-range> (<year>1981</year>)].<pub-id pub-id-type="coden">SJNCAS</pub-id><issn>0038-5506</issn></mixed-citation></ref><ref id="c13"><label>[13]</label><mixed-citation publication-type="journal"><object-id>13</object-id><person-group person-group-type="author"><string-name>M. A. Rudzsky</string-name></person-group>, <article-title>Kinetic equations for neutrino spin- and type-oscillations in a medium</article-title>, <source>Astrophys. Space Sci.</source> <volume>165</volume>, <page-range>65</page-range> (<year>1990</year>).<pub-id pub-id-type="coden">APSSBE</pub-id><issn>0004-640X</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1007/BF00653658</pub-id></mixed-citation></ref><ref id="c14"><label>[14]</label><mixed-citation publication-type="journal"><object-id>14</object-id><person-group person-group-type="author"><string-name>A. Vlasenko</string-name>, <string-name>G. M. Fuller</string-name>, and <string-name>V. Cirigliano</string-name></person-group>, <article-title>Neutrino quantum kinetics</article-title>, <source>Phys. Rev. D</source> <volume>89</volume>, <page-range>105004</page-range> (<year>2014</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.89.105004</pub-id></mixed-citation></ref><ref id="c15"><label>[15]</label><mixed-citation publication-type="journal"><object-id>15</object-id><person-group person-group-type="author"><string-name>V. Cirigliano</string-name>, <string-name>G. M. Fuller</string-name>, and <string-name>A. Vlasenko</string-name></person-group>, <article-title>A new spin on neutrino quantum kinetics</article-title>, <source>Phys. Lett. B</source> <volume>747</volume>, <page-range>27</page-range> (<year>2015</year>).<pub-id pub-id-type="coden">PYLBAJ</pub-id><issn>0370-2693</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1016/j.physletb.2015.04.066</pub-id></mixed-citation></ref><ref id="c16"><label>[16]</label><mixed-citation publication-type="eprint"><object-id>16</object-id><person-group person-group-type="author"><string-name>A. Vlasenko</string-name>, <string-name>G. M. Fuller</string-name>, and <string-name>V. Cirigliano</string-name></person-group>, <article-title>Prospects for neutrino-antineutrino transformation in astrophysical environments</article-title>, <pub-id pub-id-type="arxiv">arXiv:1406.6724</pub-id>.</mixed-citation></ref><ref id="c17"><label>[17]</label><mixed-citation publication-type="journal"><object-id>17</object-id><person-group person-group-type="author"><string-name>A. Dobrynina</string-name>, <string-name>A. Kartavtsev</string-name>, and <string-name>G. Raffelt</string-name></person-group>, <article-title>Helicity oscillations of Dirac and Majorana neutrinos</article-title>, <source>Phys. Rev. D</source> <volume>93</volume>, <page-range>125030</page-range> (<year>2016</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.93.125030</pub-id></mixed-citation></ref><ref id="c18"><label>[18]</label><mixed-citation publication-type="journal"><object-id>18</object-id><person-group person-group-type="author"><string-name>A. Kartavtsev</string-name>, <string-name>G. Raffelt</string-name>, and <string-name>H. Vogel</string-name></person-group>, <article-title>Neutrino propagation in media: Flavor, helicity, and pair correlations</article-title>, <source>Phys. Rev. D</source> <volume>91</volume>, <page-range>125020</page-range> (<year>2015</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.91.125020</pub-id></mixed-citation></ref><ref id="c19"><label>[19]</label><mixed-citation publication-type="journal"><object-id>19</object-id><person-group person-group-type="author"><string-name>C. Volpe</string-name>, <string-name>D. Väänänen</string-name>, and <string-name>C. Espinoza</string-name></person-group>, <article-title>Extended evolution equations for neutrino propagation in astrophysical and cosmological environments</article-title>, <source>Phys. Rev. D</source> <volume>87</volume>, <page-range>113010</page-range> (<year>2013</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.87.113010</pub-id></mixed-citation></ref><ref id="c20"><label>[20]</label><mixed-citation publication-type="journal"><object-id>20</object-id><person-group person-group-type="author"><string-name>J. Serreau</string-name> and <string-name>C. Volpe</string-name></person-group>, <article-title>Neutrino-antineutrino correlations in dense anisotropic media</article-title>, <source>Phys. Rev. D</source> <volume>90</volume>, <page-range>125040</page-range> (<year>2014</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>1550-7998</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.90.125040</pub-id></mixed-citation></ref><ref id="c21"><label>[21]</label><mixed-citation publication-type="journal"><object-id>21</object-id><person-group person-group-type="author"><string-name>A. Chatelain</string-name> and <string-name>C. Volpe</string-name></person-group>, <article-title>Helicity coherence in binary neutron star mergers and nonlinear feedback</article-title>, <source>Phys. Rev. D</source> <volume>95</volume>, <page-range>043005</page-range> (<year>2017</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.95.043005</pub-id></mixed-citation></ref><ref id="c22"><label>[22]</label><mixed-citation publication-type="journal"><object-id>22</object-id><person-group person-group-type="author"><string-name>A. Friedland</string-name> and <string-name>C. Lunardini</string-name></person-group>, <article-title>Neutrino flavor conversion in a neutrino background: Single particle versus multiparticle description</article-title>, <source>Phys. Rev. D</source> <volume>68</volume>, <page-range>013007</page-range> (<year>2003</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>0556-2821</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.68.013007</pub-id></mixed-citation></ref><ref id="c23"><label>[23]</label><mixed-citation publication-type="journal"><object-id>23</object-id><person-group person-group-type="author"><string-name>M. Zaizen</string-name> and <string-name>H. Nagakura</string-name></person-group>, <article-title>Simple method for determining asymptotic states of fast neutrino-flavor conversion</article-title>, <source>Phys. Rev. D</source> <volume>107</volume>, <page-range>103022</page-range> (<year>2023</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.107.103022</pub-id></mixed-citation></ref><ref id="c24"><label>[24]</label><mixed-citation publication-type="journal"><object-id>24</object-id><person-group person-group-type="author"><string-name>H. Nagakura</string-name> and <string-name>M. Zaizen</string-name></person-group>, <article-title>Time-dependent and quasisteady features of fast neutrino-flavor conversion</article-title>, <source>Phys. Rev. Lett.</source> <volume>129</volume>, <page-range>261101</page-range> (<year>2022</year>).<pub-id pub-id-type="coden">PRLTAO</pub-id><issn>0031-9007</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevLett.129.261101</pub-id></mixed-citation></ref><ref id="c25"><label>[25]</label><mixed-citation publication-type="journal"><object-id>25</object-id><person-group person-group-type="author"><string-name>I. Padilla-Gay</string-name>, <string-name>I. Tamborra</string-name>, and <string-name>G. G. Raffelt</string-name></person-group>, <article-title>Neutrino fast flavor pendulum. II. Collisional damping</article-title>, <source>Phys. Rev. D</source> <volume>106</volume>, <page-range>103031</page-range> (<year>2022</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.106.103031</pub-id></mixed-citation></ref><ref id="c26"><label>[26]</label><mixed-citation publication-type="journal"><object-id>26</object-id><person-group person-group-type="author"><string-name>M. Zaizen</string-name> and <string-name>H. Nagakura</string-name></person-group>, <article-title>Characterizing quasisteady states of fast neutrino-flavor conversion by stability and conservation laws</article-title>, <source>Phys. Rev. D</source> <volume>107</volume>, <page-range>123021</page-range> (<year>2023</year>).<pub-id pub-id-type="coden">PRVDAQ</pub-id><issn>2470-0010</issn><pub-id pub-id-type="doi" specific-use="suppress-display">10.1103/PhysRevD.107.123021</pub-id></mixed-citation></ref><ref id="c27"><label>[27]</label><mixed-citation publication-type="eprint"><object-id>27</object-id><person-group person-group-type="author"><string-name>L. Johns</string-name></person-group>, <article-title>Thermodynamics of oscillating neutrinos</article-title>, <pub-id pub-id-type="arxiv">arXiv:2306.14982</pub-id>.</mixed-citation></ref><ref id="c28"><label>[28]</label><mixed-citation publication-type="eprint"><object-id>28</object-id><person-group person-group-type="author"><string-name>M. Cornelius</string-name>, <string-name>S. Shalgar</string-name>, and <string-name>I. Tamborra</string-name></person-group>, <article-title>Perturbing fast neutrino flavor conversion</article-title>, <pub-id pub-id-type="arxiv">arXiv:2312.03839</pub-id>.</mixed-citation></ref><ref id="c29"><label>[29]</label><mixed-citation publication-type="eprint"><object-id>29</object-id><person-group person-group-type="author"><string-name>D. F. G. Fiorillo</string-name>, <string-name>I. Padilla-Gay</string-name>, and <string-name>G. G. Raffelt</string-name></person-group>, <article-title>Collisions and collective flavor conversion: Integrating out the fast dynamics</article-title>, <pub-id pub-id-type="arxiv">arXiv:2312.07612</pub-id>.</mixed-citation></ref><ref id="c30"><label>[30]</label><mixed-citation publication-type="eprint"><object-id>30</object-id><person-group person-group-type="author"><string-name>L. Johns</string-name> and <string-name>S. Rodriguez</string-name></person-group>, <article-title>Collisional flavor pendula and neutrino quantum thermodynamics</article-title>, <pub-id pub-id-type="arxiv">arXiv:2312.10340</pub-id>.</mixed-citation></ref><ref id="c31"><label>[31]</label><mixed-citation publication-type="book"><object-id>31</object-id><person-group person-group-type="author"><string-name>M. Thomson</string-name></person-group>, <source>Modern Particle Physics</source> (<publisher-name>Cambridge University Press</publisher-name>, New York, <year>2013</year>), <pub-id pub-id-type="doi" specific-use="display" xlink:href="https://doi.org/10.1017/CBO9781139525367">10.1017/CBO9781139525367</pub-id>.</mixed-citation></ref></ref-list></back></article>
