{"id":"f4c1a241-69d0-4efd-be0a-641d1e92164d","arxiv_id":"2607.28321","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A Kadanoff-Baym derivation yields Boltzmann equations with self-energy-corrected quasiparticle shells, adding a CP-violating velocity and force correction for fermions and none for bosons.","lead":"This paper derives the Boltzmann equation for electroweak baryogenesis from Kadanoff-Baym equations while keeping thermal self-energy corrections. The derivation clarifies how thermal effects modify the semiclassical force and gives a systematic framework for computing baryon transport in electroweak baryogenesis models.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The scalar-dominated absorptive self-energy assumption (a0,A >> am,A) is load-bearing for the fermionic CP-odd shell shift; its validity in realistic EWBG plasma is unverified.","rationale":"The reader identified the quasiparticle approximation, specifically the scalar-dominated absorptive self-energy, as the weakest assumption; I agree. This assumption is load-bearing because every subsequent on-shell extraction, including the CP-odd shell shift that is the paper's central new result, depends on the spectral function collapsing to sign(k0)delta(Omega_s^2) in each spin sector. The paper itself flags the condition at the end of Sec. 3.3, which is honest, but it does not test the condition in a realistic EWBG plasma. Given that the intended application involves strongly interacting quarks with nontrivial thermal self-energies, the hierarchy a0,A >> am,A is not obviously satisfied. The proposed calculation of the self-energy components at the relevant temperature, wall velocity, and momentum would settle whether the derived Boltzmann equations apply. The paper has independent supportive evidence: the algebraic solution of the Kadanoff-Baym equations is systematic, and the results reduce to the known limits of refs. [8-10] and [14]. The concerns raised in footnotes 9 and 10 about singular cancellations are secondary but reinforce conditionality. Since the reader's verdict was already CONDITIONAL, and this concern does not overturn the derivation's internal logic, the verdict should remain unchanged.","tokens_in":31083,"tokens_out":12359,"duration_ms":108755,"concrete_test":"Using the explicit thermal self-energy of ref. [14] (or a hard-thermal-loop calculation), compute the components a0,A, a1,A, a2,A, a3,A for the top quark in the wall frame with T ~ 100 GeV, v_w ~ 0.1, k0 ~ |k| ~ T, and m(z) interpolating from 0 to m_t. Check whether a0,A >> am,A holds on the positive-energy quasiparticle shell Omega_s^2 = 0. If the hierarchy fails, re-derive Eqs. (5.17) and (5.43) retaining am,A; the CP-odd force will acquire model-dependent modifications. This directly tests whether the paper's central claim applies to the EWBG scenario it targets.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The derivation of the fermionic on-shell delta function, and hence the CP-odd shell shift in Eq. (5.43), rests on the quasiparticle approximation stated in Sec. 3.3: the absorptive part of the fermionic self-energy is assumed spin-independent and scalar-dominated, a0,A >> am,A (m=1,2,3), so that the spectral function in each spin sector reduces to sign(k0)delta(Omega_s^2)N_s^[0] after the narrow-width limit (Eqs. (5.15)-(5.17)). If this hierarchy fails, the spectral function retains a matrix-valued chiral structure; the NWL no longer yields a single scalar shell function Omega_s^2, and the subsequent shell shift in Eq. (5.43) and the Boltzmann equation (5.51) do not follow. This is a self-flagged limitation, but it is central rather than peripheral: for electroweak baryogenesis the relevant fermions (notably the top quark) acquire a thermal width from gauge interactions whose absorptive self-energy has vector and spatial components that are generally not negligible compared with the scalar component at the momenta entering the transport equations. The paper does not provide a numerical or analytic check of a0,A >> am,A in any realistic wall background, so the domain of validity of the central result is unverified. Secondary but related, footnotes 9 and 10 assert cancellations of apparently singular O(1/Gamma) terms without derivation; these involve precisely the regime where the NWL and derivative expansion must be ordered carefully. The final equations reduce to known limits, which is supportive, but the central CP-violating claim is conditional on the unverified hierarchy.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript derives Boltzmann equations for electroweak baryogenesis from the Kadanoff–Baym equations while retaining self-energy corrections. The authors solve the Kadanoff–Baym equations algebraically to first order in the derivative expansion, apply a quasiparticle narrow-width approximation, a local mass basis, a flavor-universal treatment of the self-energy, and a decomposition of the Wightman self-energy into an on-shell statistical part and a collision remainder. They obtain a bosonic Boltzmann equation with a self-energy-corrected quasiparticle shell and no first-order CP-odd shell correction, and a fermionic Boltzmann equation with a first-order CP-odd shell shift, Eq. (5.43), which produces particle–antiparticle differences in group velocities and semiclassical forces. The results are shown to reproduce the conventional semiclassical equations of refs. [8–10] when self-energy corrections are dropped, and to be consistent with the thermally corrected fermionic result of ref. [14] in the appropriate limit.","tokens_in":31341,"tokens_out":5547,"duration_ms":55218,"significance":"If the stated assumptions hold, this is a valuable systematization of the field-theoretic derivation of EWBG transport equations. Its strengths are the explicit algebraic solution of the Kadanoff–Baym equations, the clear inventory of approximations, the reproduction of known limits, and the clarification of the VIA cancellation of ref. [27] from the perspective of the order-by-order solution. The CP-odd fermionic shell shift is a concrete, model-dependent prediction that can be tested numerically once self-energies are specified. The main caveat is that the fermionic result is conditional on a quasiparticle spectral-function hierarchy whose validity in a realistic EWBG plasma is not demonstrated.","major_comments":[{"comment":"The central fermionic result depends on the assumption that the absorptive part of the self-energy is spin-independent and scalar-dominated, a_{0,A} >> a_{m,A}. The manuscript explicitly flags this condition but does not test it for the fermions relevant to electroweak baryogenesis, such as the top quark, whose thermal width from gauge interactions has vector and spatial components. If this hierarchy fails, the spectral function does not reduce to the simple sign(k0) delta(Omega_s^2) form, and the shell shift in Eq. (5.43) and the Boltzmann equation (5.51) are not established. This is a load-bearing limitation rather than a peripheral one; please add a quantitative estimate of a_{0,A} and a_{m,A} in a representative EWBG background, or explicitly restrict the claimed domain of applicability.","section":"Sec. 3.3 and Eqs. (5.15)–(5.17)"},{"comment":"The manuscript asserts that apparently singular O(1/Gamma) contributions to the Wightman functions are removed once the kinetic equation is imposed at the same order, leaving finite terms in the weak-coupling limit. This cancellation is not shown. These terms are precisely the ones that are discarded when defining the on-shell Wightman functions, so the validity of the subsequent Boltzmann equation depends on this step. Please provide the full derivation or a detailed reference for the cancellation.","section":"Footnotes 9 and 10, Eqs. (5.25)–(5.32)"},{"comment":"The fermionic Liouville term is presented as the result of a 'straightforward calculation' from Eq. (5.32). This step is the core of the paper's main physical claim, and the intermediate algebra is not shown. In particular, it is not transparent how the N_{s,i}^{[1]} delta-prime term in the Wightman function is converted into the effective shell shift delta Omega^2_{s,i}, and how the Poisson-bracket contribution is handled. Please include the derivation or an appendix with the essential intermediate steps.","section":"Sec. 5.3.2, Eq. (5.42)"}],"minor_comments":[{"comment":"The notation for delta Omega^2_{s,i} would be clearer if the spin label appeared explicitly on the right-hand side rather than only through M_{Ri}, M_{Ii}, K_z, and tilde K_0.","section":"Sec. 5.3.2, Eq. (5.43)"},{"comment":"The discussion of the overall normalization difference by a factor of four in ref. [27] is relegated to a footnote; since the authors say the cancellation is unaffected, this is acceptable, but a brief sentence in the main text would help readers assess the comparison.","section":"Appendix A.2, footnote 15"},{"comment":"The boost in Eq. (3.3) uses sign(k0) in defining tilde k_0; the branch choice for negative k_0 is not discussed, and the subsequent integration over k_0 > 0 in Sec. 5.3 would benefit from an explicit statement about which branch is retained.","section":"Sec. 3.2"},{"comment":"The canonical relations z_dot_i = partial_{k_z} omega_i and p_dot_{z,i} = -partial_z omega_i are stated without derivation; a brief comment that they follow from Hamilton's equations for the quasiparticle dispersion relation would be helpful.","section":"Sec. 5.3.1, Eq. (5.39)"}],"recommendation":"major_revision","confidential_remarks":"The paper makes a serious and mostly convincing technical contribution, and the algebraic framework is a useful step forward. My main concern is not novelty or internal consistency but verification of a stated physical assumption: the fermionic narrow-width hierarchy a_{0,A} >> a_{m,A} is the load-bearing premise for the CP-odd shell shift, and it is not checked for realistic EWBG plasmas. The requested derivation of the cancellations in footnotes 9–10 and of Eq. (5.42) is also necessary to make the central claim fully verifiable. These are fixable within the manuscript's scope, so I recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a serious, careful derivation of the Boltzmann equation for electroweak baryogenesis from the Kadanoff–Baym equations, with self-energy corrections kept at first order in the derivative expansion. The genuinely new result is the fermionic CP-odd shell shift in Eq. (5.43): it changes particle and antiparticle group velocities and semiclassical forces, and it does not appear for bosons at this order. The algebraic solution in Sec. 4 is clean, and the reduction to the known results in the no-self-energy limit checks out as far as I can follow. The appendix on the VIA cancellation is also useful and clarifies why the cancellation found in ref. [27] does not resolve the issues raised in ref. [14].\n\nThe soft spot is the quasiparticle approximation in Sec. 3.3. The fermionic spectral function only reduces to the on-shell delta form if the absorptive self-energy is spin-independent and scalar-dominated, a0,A >> am,A. That is a stated assumption, not a hidden one, but it is load-bearing: the CP-odd shift and the Boltzmann equation (5.51) do not follow without it. No numerical or analytic evidence is given that the hierarchy holds in a realistic EWBG plasma, e.g. for the top quark where gauge-induced widths have vector and spatial components. So the central claim is conditional. I don't think that sinks the paper as a derivation, but it means the formalism is not yet a quantitative tool.\n\nTwo smaller gaps: footnotes 9 and 10 assert cancellations of apparently singular O(1/Gamma) terms without showing the calculation, and Eq. (5.42) is quoted after a 'straightforward calculation' that I would want to see expanded. These are referee-requestable, not fatal.\n\nWho is this for? People who work on the formal side of EWBG transport and want a systematic KB derivation that includes thermal self-energies. It does not give a new numerical prediction or resolve a known discrepancy, so its significance is moderate. The reference list looks right; I don't see self-citation inflation or missing key papers.\n\nMy recommendation: send it to peer review. A competent referee can verify the cancellations and, ideally, ask the authors for a benchmark estimate of a0,A vs am,A. If that hierarchy fails in practice, the main result will need to be revisited.","headline":"Serious KB derivation with a new fermionic CP-odd shell shift, but the shift rests on an unverified narrow-width hierarchy.","tokens_in":31945,"tokens_out":3132,"would_cite":true,"duration_ms":29073,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Deriving the Boltzmann equation for electroweak baryogenesis from the Kadanoff–Baym equations with self-energy corrections retained, this paper shows that fermions acquire a CP-odd shift of the quasiparticle shell at first order in the…","keywords":["electroweak baryogenesis","Kadanoff-Baym equations","Boltzmann equation","semiclassical force","quasiparticle approximation","CP violation","self-energy corrections","bubble wall transport"],"falsifier":"Compute the absorptive fermionic self-energy components $a_{1,A}$, $a_{2,A}$, and $a_{3,A}$ relative to $a_{0,A}$ in a representative electroweak plasma at the bubble wall. If any of these is comparable to $a_{0,A}$, or if momentum derivatives spoil the assumed hierarchy, the spectral function is not $\\operatorname{sign}(\\tilde k^0)\\delta(\\Omega_{s,i}^2)$ in each spin sector, and the shell shift in Eq. (5.43) is not the complete first-order transport correction; the full Kadanoff–Baym solution would then disagree with the derived Boltzmann equation.","tokens_in":30828,"feed_emoji":"🫧","tokens_out":11593,"duration_ms":94164,"temperature":0.7,"pith_summary":"Electroweak baryogenesis requires a transport equation for particles moving through the expanding bubble wall, and quantitative predictions depend on how that transport is computed. This paper derives the Boltzmann equation from the Kadanoff–Baym equations, the quantum equations of motion for the plasma correlation functions, without dropping the self-energy corrections that earlier field-theoretic derivations neglected. The central result is that for fermions the first-order correction from wall gradients shifts the quasiparticle shell by a CP-odd amount, so particles and antiparticles have different group velocities and semiclassical forces. For bosons no analogous flavor-diagonal CP-odd correction appears at this order. If the derivation is right, it supplies a systematic, model-agnostic starting point for computing the charge asymmetries that feed electroweak sphalerons, and it makes explicit the assumptions on which the standard semiclassical-force picture rests.","feed_headline":"Fermions, not bosons, feel a matter-antimatter force in the bubble wall","feed_subtitle":"Self-energy corrections shift particle and antiparticle quasiparticle shells differently at first order in wall gradients.","key_machinery":"The load-bearing machinery is the algebraic solution of the Kadanoff–Baym equations in a derivative expansion. Writing $\\alpha_\\pm = D^{[0]} - (M + g^H \\pm i g^A)$, the zeroth-order retarded/advanced propagators are $\\alpha_\\mp^{-1}$ and the first-order pieces are $\\alpha_\\mp^{-1} i\\diamond(\\alpha_\\mp,\\alpha_\\mp^{-1})$, with $\\diamond$ the Wigner-space gradient bracket that organizes the derivative expansion. The derivation then applies four controlled approximations: the local mass basis that diagonalizes the spacetime-dependent mass and removes diagonal connection terms; the flavor-universal approximation for the self-energy; the quasiparticle approximation, in which Breit–Wigner spectral peaks are replaced by $\\operatorname{sign}(k^0)\\delta(\\Omega^2)$ in the narrow-width limit; and a decomposition of the Wightman self-energy $g^\\lambda = \\frac{2\\eta}{i} n^\\lambda g^A + \\delta g_{\\rm coll}$ that separates on-shell statistical information from collision terms. The first-order fermionic spectral function acquires a $\\delta'(\\Omega^2)$ term whose coefficient $N^{[1]}_{s,i}$ carries derivatives of the effective mass, and inserting the resulting on-shell Wightman function into the kinetic (Hermitian) equation yields the Boltzmann equation with a shifted Liouville operator.","core_discovery":"The paper's central claim is that retaining self-energy corrections changes the quasiparticle on-shell condition in a way that matters for CP-violating transport. Solving the Kadanoff–Baym equations to first order in the derivative expansion gives a fermionic spectral function whose first-order piece is proportional to $\\delta'(\\Omega_{s,i}^2)$, i.e., a shift of the quasiparticle shell. In the wall frame the effective shell is $\\Omega_{s,i,\\mathrm{eff}}^2 = \\Omega_{s,i}^2 + \\delta\\Omega_{s,i}^2$ with $\\delta\\Omega_{s,i}^2 = -\\frac{1}{\\tilde K^0}\\bigl[m'_{Ii}(K_z\\partial_{k_z}M_{Ri}-M_{Ri}\\partial_{k_z}K_z)-m'_{Ri}(K_z\\partial_{k_z}M_{Ii}-M_{Ii}\\partial_{k_z}K_z)\\bigr]$, where $M_{Ri}=m_{Ri}+a_{1s,H}$ and $M_{Ii}=m_{Ii}+a_{2s,H}$. Because the phase of the spacetime-dependent complex mass is CP odd, this shift changes sign for antiparticles and produces particle--antiparticle differences in group velocity and semiclassical force. For bosons the first-order flavor-diagonal shell correction vanishes identically, so no such CP-odd force appears at this order. In the limit of vanishing self-energy, the equations reduce to the known semiclassical Boltzmann equations.","pith_inferences":["A direct extension the paper does not pursue is to feed the off-diagonal flavor-coherence components back into the diagonal transport; for nearly degenerate masses these could alter the on-shell shells at second order.","One concrete test of the framework would be to take a model self-energy with sizable $a_{2,A}$ and compare the Boltzmann solution with a numerical solution of the full Kadanoff–Baym equations; the comparison quantifies how much the narrow-width assumption controls the CP-odd source.","The result suggests that electroweak baryogenesis codes generating CP-odd bosonic sources through a first-order classical force are not supported by this derivation; bosonic CP violation would have to enter through collision terms or higher-order shell corrections."],"forward_implications":["Fermionic transport in electroweak baryogenesis should be computed with the dressed shell $\\Omega_{s,i,\\mathrm{eff}}^2$, so the Hermitian self-energy components $a_{1,H}$ and $a_{2,H}$ enter the CP-odd velocity and force even though they are not themselves CP odd.","Particle and antiparticle distribution functions obey different Liouville operators, so a CP asymmetry is generated already at the level of free streaming through the wall.","For bosons, the first-order flavor-diagonal shell correction vanishes, so no CP-violating semiclassical force appears at this order; any bosonic baryogenesis source must enter through collision terms or higher orders.","When all self-energy corrections are neglected, the derived Boltzmann equations reduce to the conventional semiclassical Boltzmann equations, so previous results are contained as a special case.","The split of the Wightman self-energy into an on-shell statistical part and a collision remainder gives a controlled recipe for constructing collision terms with dressed on-shell internal states."],"supporting_citations":[{"why":"Baseline first-principle derivation of the semiclassical force from the Kadanoff–Baym equations; the construction this paper generalizes by keeping self-energy corrections.","marker":"[8]"},{"why":"Three-dimensional derivation of the semiclassical Boltzmann equation that the present work extends.","marker":"[9]"},{"why":"Transport equations for chiral fermions to order $\\hbar$; the conventional framework whose on-shell limit is reproduced when self-energy corrections vanish.","marker":"[10]"},{"why":"Thermally corrected CP-violating transport for one fermion flavor; comparison target whose effective shell is recovered when $a_{1,H}$ and $a_{2,H}$ are dropped.","marker":"[14]"},{"why":"Foundational Kadanoff–Baym quantum statistical mechanics; source of the equations from which the derivation starts.","marker":"[18]"}],"fun_headline_variants":["Fermion self-energy creates a CP-asymmetric force, bosons none","Self-energy shifts fermion shells, leaving bosons unaffected","CP violation from fermion self-energy, but not from bosons","Only fermions feel the self-energy CP force, not bosons","Fermion quasiparticles acquire CP-odd shifts, bosons do not"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that plasma damping of each fermion behaves almost identically for spin-up and spin-down and acts like a plain scalar, so that each spin mode has a sharp, single-peaked spectral function; if damping has a large spin-dependent or chiral component, the narrow-width delta-function picture and the derived Boltzmann equations break down.","fun_headline_variants_meta":{"raw":{"variants":["Fermion self-energy creates a CP-asymmetric force, bosons none","Self-energy shifts fermion shells, leaving bosons unaffected","CP violation from fermion self-energy, but not from bosons","Only fermions feel the self-energy CP force, not bosons","Fermion quasiparticles acquire CP-odd shifts, bosons do not"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000414,"raw_usage":{"total_tokens":2169,"prompt_tokens":1002,"completion_tokens":1167,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":618,"completion_tokens_details":{"reasoning_tokens":1073}},"tokens_in":618,"tokens_out":1167,"duration_ms":10358,"temperature":1.0,"reasoning_tokens":1073,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:22:34.821561+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the absorptive fermionic self-energy components $a_{1,A}$, $a_{2,A}$, and $a_{3,A}$ relative to $a_{0,A}$ in a representative electroweak plasma at the bubble wall. If any of these is comparable to $a_{0,A}$, or if momentum derivatives spoil the assumed hierarchy, the spectral function is not $\\operatorname{sign}(\\tilde k^0)\\delta(\\Omega_{s,i}^2)$ in each spin sector, and the shell shift in Eq. (5.43) is not the complete first-order transport correction; the full Kadanoff–Baym solution would then disagree with the derived Boltzmann equation.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Foundational Kadanoff–Baym quantum statistical mechanics; source of the equations from which the derivation starts."}],"review_version":1}