{"id":"502c2e03-b93b-472d-8968-6e1d25cf3fa8","arxiv_id":"2507.22706","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Including a multiplicative anomaly or using the Heat Kernel method makes the one-loop effective potential in the Fermi gauge independent of the gauge parameter and improves its infrared behaviour, also at finite temperature.","lead":"This paper claims to remove two known problems in the standard calculation of the effective potential, a central tool in particle physics: its dependence on the choice of gauge and its bad infrared behaviour. The authors say the problems disappear when a subtle correction called the multiplicative anomaly is included, or when an alternative Heat Kernel method is used.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Anomaly cancellation is incomplete: residual ξ-dependent logarithms and a factor-4 mismatch with the Landau result fail the central claim.","rationale":"The reader's verdict identified the multiplicative anomaly premise as the weakest assumption and flagged a coefficient mismatch, discarded terms, and limit-only cancellation. My stress-test isolates the most decisive internal failure: even taking the anomaly mechanism at face value, the final potential Eq. 2.17 does not equal the Landau-gauge result Eq. 2.11, and the gauge-dependence is not fully cancelled because the anomalous term is combined with a logarithm of |M_G+|^2 that still depends on ξ and M_A^2. This is not a matter of missing proof; it is an algebraic contradiction with the central claim. The paper does merit credit for attempting a heat-kernel cross-check and for extending the analysis to the SM and finite temperature, and the heat-kernel results in Secs. 3 and 4 are interesting independent computations. However, the headline assertion that the Fermi-gauge effective potential becomes gauge invariant at all field values and reproduces Landau-gauge IR behavior is not supported by the equations as written. A repair would require either a different anomaly prescription that cancels the full ξ dependence including the logarithms, or a revised claim that the cancellation holds only at leading order in the IR limit. Either way, the current manuscript does not sustain its central conclusion, so the appropriate verdict is REJECT rather than CONDITIONAL.","tokens_in":23209,"tokens_out":24660,"duration_ms":241302,"concrete_test":"Compute the exact ξ-derivative of the anomaly-corrected Goldstone contribution without discarding log terms: define F(ξ) = M_G+^4 log(M_G+^2/μ^2) + M_G-^4 log(M_G-^2/μ^2) − (1/2)a (log|M_G+|^2/μ^2 − 3/2) with a = (M_χ^4 − 4ξM_χ^2M_A^2)/(64π^2) and M_G±^2 = (M_χ^2 ± sqrt(M_χ^4 − 4ξM_χ^2M_A^2))/2. Evaluate ∂F/∂ξ and F(ξ) − F(ξ=0) at representative parameters, e.g., M_A^2 = 10 M_χ^2, ξ = 1 and ξ = 10, using the exact expression for |M_G+|^2 = sqrt(M_χ^4/4 + ξM_χ^2M_A^2). If ∂F/∂ξ ≠ 0 or F(ξ) ≠ F(0), the claimed gauge independence at all field values fails.","verdict_should_be":"REJECT","load_bearing_attack":"The paper's central claim is that Eq. 2.17, the anomaly-corrected Fermi-gauge potential, is gauge invariant and reproduces the Landau-gauge result Eq. 2.11. Comparing the Goldstone terms, Eq. 2.17 gives (M_χ^4/2)(1/2 log M_χ^2/μ^2 − 3/2), whereas Eq. 2.11 gives M_χ^4(log M_χ^2/μ^2 − 3/2): coefficients differ by a factor of 4 and constants by a factor of 2, so the potentials are not equal. The derivation of Eq. 2.17 substitutes log(|M_G+|^2/μ^2) with (1/2) log(M_χ^2/μ^2), but in the stated regime 4ξM_A^2 ≫ M_χ^2 one has |M_G+^2| ≈ sqrt(ξ M_χ^2 M_A^2), so the logarithm contains log ξ and log M_A^2. These terms are not cancelled by the anomaly; the ξ-derivative of the residual Goldstone contribution is M_χ^4/(4ξ) at leading order and nonzero for finite M_χ. Thus the effective potential retains gauge dependence at finite field values, contradicting Sec. 2.4's claim of gauge invariance at all field values. The Nielsen computation in Eq. 2.22 only cancels the coefficient of M_χ^2 log M_χ^2, not the full ξ dependence of the logarithms. Consequently, even granting the multiplicative anomaly premise, the algebra does not establish the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the one-loop effective potential in the Fermi gauge for massive scalar QED and for the Standard Model, focusing on its gauge dependence and IR behaviour. The central claim is that including the multiplicative anomaly of zeta-regularized functional determinants removes the gauge dependence of the potential and improves its IR behaviour to match the Landau-gauge result. The authors then present a heat-kernel computation that yields the Landau-gauge result directly and extend the discussion to finite temperature.","tokens_in":23562,"tokens_out":11215,"duration_ms":123180,"significance":"If the central claim were correct, the paper would provide a practical prescription for computing gauge-invariant effective potentials without invoking Nielsen field redefinitions, with direct applications to phase transitions, inflation, and vacuum stability. The work is explicit: it presents closed-form expressions for the Abelian Higgs model and the Standard Model, and it offers the heat-kernel method as an independent cross-check. The finite-temperature extension would also be of interest to the phenomenology community. However, the main anomaly-based argument contains load-bearing technical problems that undermine the central claim; the heat-kernel part, while cleaner, does not rescue the functional-method conclusion.","major_comments":[{"comment":"The anomaly-corrected potential in Eq. (2.17) contains the Goldstone term (M_χ^4/2)(1/2 log(M_χ^2/μ^2) − 3/2), whereas the Landau-gauge result in Eq. (2.11) contains M_χ^4(log(M_χ^2/μ^2) − 3/2). The coefficient of the logarithm differs by a factor of 4 and the constant term by a factor of 2. Thus the claimed reproduction of the Landau-gauge result is not achieved; only the overall power M_χ^4 log M_χ^2 is reproduced, with a different coefficient. The same mismatch appears in the Standard Model extension: Eq. (A.26) gives 3/2 M_χ^4(1/2 log M_χ^2/μ^2 − 3/2), while the Landau-gauge result Eq. (A.19) has 3 M_χ^4(log M_χ^2/μ^2 − 3/2). The heat-kernel result in Eq. (3.16) does match Eq. (2.11) exactly, so the two methods presented as equivalent are mutually inconsistent.","section":"§2.3, Eq. (2.17) vs §2.1, Eq. (2.11)"},{"comment":"The derivation of Eq. (2.17) replaces log(|M_G+|^2/μ^2) by (1/2) log(M_χ^2/μ^2). In the stated regime 4ξM_A^2 ≫ M_χ^2, one has |M_G+|^2 ≃ ξ M_χ^2 M_A^2, so the logarithm contains log ξ and log M_A^2. After the anomaly cancellation, the surviving coefficient M_χ^4/2 multiplies this logarithm, leaving a residual gauge dependence proportional to M_χ^4 log ξ. The Nielsen-identity check in §2.4 only examines terms ∼ M_χ^2 log(M_χ^2/μ^2) and does not control the derivative of log|M_G+|^2. Therefore the conclusion in §2.4 that the total effective potential is gauge invariant at all field values is not established by the calculation shown.","section":"§2.3, Eqs. (2.12)–(2.17); §2.4, Eqs. (2.20)–(2.22)"},{"comment":"The entire calculation is performed under the assumption 4ξM_A^2 ≫ M_χ^2, stated at the start of §2.2. The abstract and §2.4 nevertheless claim gauge independence at all field values. Since M_χ and M_A are field-dependent via Eq. (2.3), the hierarchy 4ξM_A^2 ≫ M_χ^2 may fail for generic field values, and no argument is given that the cancellation persists outside this regime. The claim in the abstract should be restricted to the actual domain of validity or supported by an additional analysis.","section":"§2.2–§2.4 and Abstract"},{"comment":"The multiplicative anomaly term in Eq. (2.16) is constructed from the same masses M_G± that appear in the naive calculation, with a coefficient that precisely cancels the ξ-dependent coefficient of the logarithm. This makes the gauge independence of the coefficient partly an artifact of the input. A more serious concern is that the paper does not justify why the standard determinant of the full fluctuation matrix is missing this anomaly factor; if the diagonalized determinant already accounts for the full operator, the anomaly correction would be a double counting. This is the load-bearing premise of the paper and needs a careful derivation rather than an assertion.","section":"§2.3, Eqs. (2.14)–(2.16)"},{"comment":"The finite-temperature heat-kernel calculation in Eq. (4.17) uses only the mass matrix M^2 in Eq. (4.12) and discards the ξ-dependent U-matrix terms without demonstrating that the total-derivative argument used at zero temperature in Eq. (3.14) applies to the Matsubara-summed trace on R^3 × S^1. The claim that the heat kernel 'extends gauge independence to any value of the expansion in mass over temperature' is therefore not demonstrated. In addition, the functional-method Fermi-gauge result in Eq. (4.9) is explicitly gauge-dependent, and no anomaly correction is applied at finite temperature, so the two methods are not compared on equal footing.","section":"§4.2, Eqs. (4.11)–(4.17)"}],"minor_comments":[{"comment":"References [36] and [55] are duplicate entries for R. T. Seeley, 'Complex powers of an elliptic operator'; one should be removed or replaced with the appropriate original source.","section":"References [36] and [55]"},{"comment":"The formula for the anomaly density uses the symbol ⊃ and a sum over n; the notation is unclear because the displayed expression is the d=4 contribution only. Please state explicitly which terms are retained in d=4 and which are dropped.","section":"Eq. (2.15)"},{"comment":"The notation M_i^3 ≡ (M_i^2)^{3/2} is confusing; it should be written consistently as (M_i^2)^{3/2} throughout the equation.","section":"Eq. (4.17)"},{"comment":"The statement 'we work with the temporal gauge A0 = 0' appears after the Fermi-gauge Lagrangian is defined; the relation between the temporal gauge and the ξ-dependent Fermi gauge should be clarified.","section":"§4.1"},{"comment":"The abstract's phrase 'gauge independence ... at all field values' is stronger than what the body actually proves, which is limited to the regime 4ξM_A^2 ≫ M_χ^2 and to the specific terms retained. The abstract and conclusions should be aligned with the actual domain of the calculation.","section":"Abstract and §2.4"}],"recommendation":"reject","confidential_remarks":"The central claim of the paper—that the multiplicative anomaly removes gauge dependence and reproduces the Landau-gauge result—fails on a straightforward comparison of Eq. (2.17) with Eq. (2.11) and leaves residual ξ-dependent logarithmic terms. This is a load-bearing error in the main argument. The heat-kernel section is more solid but does not save the paper's thesis. The referee also notes that the construction of the anomaly term appears tailored to cancel the known ξ dependence, and the Standard Model appendix inherits the same problems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuinely new material here is the extension of the multiplicative-anomaly proposal to the broken phase, the Standard Model, and finite temperature, plus the heat-kernel cross-check. The heat-kernel computations in Sec. 3 and App. A.5 are transparent, reproduce the Landau-gauge result, and are worth having as a methodological shortcut. The finite-temperature section is also new and shows that the heat-kernel route gives gauge-independent results in the cases computed. The authors engage seriously with the existing literature on gauge dependence, IR divergences, and Nielsen identities.\n\nThe problem is that the central claim in Secs. 2.3-2.4 does not hold as stated. Eq. 2.17, the anomaly-corrected Fermi-gauge potential, does not equal the Landau-gauge result Eq. 2.11. The Goldstone terms differ by a factor of 4 in the log coefficient and by a factor of 2 in the constant. That alone contradicts the abstract's claim that the IR behaviour is improved to the Landau-gauge findings. The stress-test note is right: in the stated limit 4ξM_A^2 >> M_χ^2, |M_G+^2| ≈ sqrt(ξ M_χ^2 M_A^2), so log|M_G+^2| contains log ξ and log M_A^2, not just log M_χ^2. The anomaly term cancels only the coefficient of M_χ^2 M_A^2 in front of the logarithm; it does not cancel the log ξ inside the logarithm. Discarding those terms as \"not relevant for our analysis\" hides residual gauge dependence rather than removing it.\n\nThe Nielsen-identity argument in Sec. 2.4 has the same gap. The ξ-derivative of the standard potential is computed only for terms of the form M_χ^2 log(M_χ^2/μ^2), and the anomaly coefficient is then chosen to cancel exactly that term. That is a consistency check on one coefficient, not a demonstration that the full potential is ξ-independent at all field values. The conclusion that C^(1)=0 everywhere is therefore unsupported. Relatedly, the anomaly term is introduced with a coefficient that precisely cancels the computed ξ dependence, so the gauge-independence conclusion is in part built into the input.\n\nAt finite temperature, the heat-kernel calculation uses the diagonal mass matrix and drops mixing effects, with the comment that mixing will not alter the conclusion. That is asserted rather than shown. The finite-temperature gauge independence is also demonstrated only in the cases where the heat-kernel result is constructed to match the Landau gauge.\n\nWho is this for? People working on gauge dependence of effective potentials and on one-loop phase-transition computations will find the heat-kernel sections useful, and the paper gives a fair survey of the known issues. But as it stands, the main phenomenological claim is not established. I would not cite this version, and I would not use the Fermi-gauge anomaly prescription without seeing the residual ξ-dependence actually vanish. If the authors can fix the algebra and either prove the cancellation of the log ξ terms or revise the claim to match what is actually shown, the paper could become a useful contribution. I would still send it to a serious referee rather than desk-reject it, because the question is important and the flaws are concrete and checkable, but the referee should be asked to verify Eq. 2.17 against Eq. 2.11 and to trace the full ξ-dependence of the Goldstone logarithms.","headline":"The heat-kernel parts are clean, but the anomaly cancellation in the Fermi gauge is incomplete: Eq. 2.17 does not match the Landau-gauge result and residual ξ-dependence remains.","tokens_in":24059,"tokens_out":2550,"would_cite":false,"duration_ms":34025,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.15.-q","11.10.Wx"],"model":"deepseek-v4-flash","headline":"The paper claims that adding the multiplicative anomaly to the one-loop effective potential computed in the Fermi gauge makes it independent of the gauge-fixing parameter at every field value, not just at extrema, while also improving its…","keywords":["effective potential","gauge dependence","multiplicative anomaly","zeta-function regularization","heat kernel","infrared divergence","finite temperature","Nielsen identity"],"falsifier":"A direct numerical evaluation of $\\log\\det$ of the full fluctuation operator in the Fermi gauge at fixed $\\xi>0$ could settle the claim: if it disagrees with the anomaly-corrected potential at any field value, or if residual $\\xi$-dependence appears away from the extrema, then the anomaly term is either incomplete or double counting. A sharper check is to compute the difference between the two sides of the identity at subleading order in $M^2_\\chi$, since the paper's cancellation is exhibited only at the $M^2_\\chi \\log M^2_\\chi$ level.","tokens_in":23029,"feed_emoji":"⚛️","tokens_out":12286,"duration_ms":123296,"temperature":0.7,"pith_summary":"This paper is trying to show that two longstanding problems of the one-loop effective potential—its dependence on the gauge-fixing parameter and its infrared divergence when Goldstone masses vanish—have a common cause and a common cure. The cause, in the Fermi gauge (a one-parameter family of gauge choices), is that the standard calculation factorises the determinant of the fluctuation operator into separate pieces even though zeta-function regularisation does not allow that factorisation. The cure is a \"multiplicative anomaly\" correction, and once it is added the effective potential becomes independent of the gauge parameter at every field value, not only at its extrema. The same correction turns the infrared behaviour in the massless Goldstone limit into the milder Landau-gauge behaviour. The paper shows the same mechanism works for the Standard Model Higgs potential and, through a heat-kernel version of the calculation, at finite temperature.","feed_headline":"Add one anomaly term and the potential becomes gauge independent","feed_subtitle":"The fix removes gauge dependence at every field value, not just minima, and survives at finite temperature.","key_machinery":"The machinery is the multiplicative anomaly of zeta-regularised determinants of elliptic operators: $\\log \\mathrm{Det}[\\Delta_1\\Delta_2] = \\log \\mathrm{Det}[\\Delta_1] + \\log \\mathrm{Det}[\\Delta_2] + A[\\Delta_1,\\Delta_2]$, where $A$ is nonzero because the zeta trace does not factorise. For the Goldstone-fluctuation operators of scalar QED in $d=4$, the relevant anomaly density is $a[M^2_{G+},M^2_{G-}](\\xi) = \\frac{1}{64\\pi^2}(-4\\xi M^2_\\chi M^2_A)$, and adding half of it to the naive one-loop potential cancels the $\\xi$ dependence. The companion mechanism is the heat-kernel expansion, which keeps the full fluctuation operator intact; there the gauge parameter survives only in total derivatives such as $\\partial^4$ and $\\partial^2 M^2_A$, which vanish for the constant backgrounds used in effective potentials.","core_discovery":"The central claim is that the one-loop effective potential computed in the Fermi gauge, augmented by the multiplicative anomaly for non-factorising elliptic operators, is exactly gauge independent for all field values and reproduces the Landau-gauge infrared behaviour in the vanishing-Goldstone limit. In massive scalar quantum electrodynamics the $\\xi$-dependent terms from the Goldstone modes cancel against the anomaly density $a[M^2_{G+},M^2_{G-}](\\xi) = \\frac{1}{64\\pi^2}(-4\\xi M^2_\\chi M^2_A)$, so the Nielsen identity reduces to a trivial statement with vanishing coefficient $C^{(1)}$. The same cancellation is derived for the Standard Model electroweak sector, with independent anomaly contributions for the $W$ and $B$ sectors. When the computation is repeated with the heat-kernel method, the gauge parameter appears only in total-derivative terms that vanish for constant backgrounds, which yields the Landau-gauge result without any anomaly bookkeeping. At finite temperature the heat-kernel trace over Matsubara frequencies gives a gauge-independent thermal potential that matches the Landau-gauge functional result at the displayed orders.","pith_inferences":["Editorial extension: if the one-loop cancellation persists at higher loops, the standard practice of applying Nielsen identities or field redefinitions in phase-transition calculations could be replaced by directly computing the full fluctuation determinant; the paper itself demonstrates only one loop.","Editorial extension: the same anomaly argument suggests a practical diagnostic for other gauge choices—if a factorised determinant in a non-linear or $R_\\xi$ gauge shows $\\xi$-dependence, one can test whether an anomaly density of the form of Eq. 2.16 removes it, provided the fluctuation operator remains elliptic.","Editorial extension: at finite temperature the heat-kernel formulation implies a numerical recipe—compute the Matsubara trace of the full fluctuation operator rather than factorising it—which could be checked in high-temperature expansions beyond the orders shown here."],"forward_implications":["An anomaly-corrected Fermi-gauge potential is meaningful at every field value, so slopes and rolling regions—the input for inflation and phase-transition studies—are not gauge artefacts.","The infrared behaviour near vanishing Goldstone mass becomes the Landau-gauge form $\\sim M_\\chi^4 \\log(M_\\chi^2/\\mu^2)$, so the potential and its first derivative are infrared-safe without an additional resummation step.","The same cancellation makes the one-loop Nielsen coefficient vanish, turning the Nielsen identity into a statement of exact gauge invariance rather than a recipe for field redefinitions.","The heat-kernel method gives a shortcut: start in the Fermi gauge, discard total derivatives, and obtain the Landau-gauge potential directly; this also works for the Standard Model.","At finite temperature, the thermal effective potential computed from the heat-kernel trace is gauge independent and agrees with the Landau-gauge functional result to the order shown."],"supporting_citations":[{"why":"The prior paper this work extends, which first used the multiplicative anomaly to render the Fermi-gauge one-loop potential gauge independent.","marker":"[27]"},{"why":"Jackiw's functional evaluation of the effective potential defines the standard one-loop determinant calculation whose gauge dependence is being corrected.","marker":"[3]"},{"why":"Dolan and Jackiw established gauge dependence of the effective potential at finite temperature, the problem the thermal section revisits.","marker":"[4]"},{"why":"Nielsen's identity is the gauge-dependence relation that the paper shows becomes trivial once the anomaly is included.","marker":"[8]"},{"why":"Espinosa, Garny and Konstandin supply the interplay of infrared divergences and gauge dependence in the broken phase, including the resummation baseline the anomaly correction is compared to.","marker":"[26]"},{"why":"Elizalde, Vanzo and Zerbini provide the multiplicative-anomaly formula for zeta-regularised determinants that underlies Eqs. 2.14-2.16.","marker":"[34]"},{"why":"Vassilevich's heat-kernel user's manual supplies the expansion machinery used to compute the potential without factorising the determinant.","marker":"[38]"},{"why":"Dolan and Jackiw's symmetry-behavior paper gives the functional method and Matsubara sum used for the finite-temperature Fermi-gauge result.","marker":"[56]"},{"why":"Chakrabortty and Mohanty's one-loop thermal effective action provides the thermal heat-kernel trace and Matsubara treatment used in Sec. 4.","marker":"[58]"}],"fun_headline_variants":["Anomaly term makes effective potential gauge independent at one loop","Gauge independence in effective potentials via multiplicative anomaly","One anomaly term cures IR and gauge problems in effective potential","Anomaly correction gives gauge independence and IR safety at finite T","Heat kernel extends gauge independence to finite temperature"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the standard factorised computation of the one-loop determinant genuinely omits the multiplicative anomaly, so adding the anomaly term corrects the result rather than double-counting a determinant that the diagonalised $G_\\pm$ masses already encode.","fun_headline_variants_meta":{"raw":{"variants":["Anomaly term makes effective potential gauge independent at one loop","Gauge independence in effective potentials via multiplicative anomaly","One anomaly term cures IR and gauge problems in effective potential","Anomaly correction gives gauge independence and IR safety at finite T","Heat kernel extends gauge independence to finite temperature"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000726,"raw_usage":{"total_tokens":3247,"prompt_tokens":933,"completion_tokens":2314,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":549,"completion_tokens_details":{"reasoning_tokens":2234}},"tokens_in":549,"tokens_out":2314,"duration_ms":19747,"temperature":1.0,"reasoning_tokens":2234,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T11:23:30.723764+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct numerical evaluation of $\\log\\det$ of the full fluctuation operator in the Fermi gauge at fixed $\\xi>0$ could settle the claim: if it disagrees with the anomaly-corrected potential at any field value, or if residual $\\xi$-dependence appears away from the extrema, then the anomaly term is either incomplete or double counting. A sharper check is to compute the difference between the two sides of the identity at subleading order in $M^2_\\chi$, since the paper's cancellation is exhibited only at the $M^2_\\chi \\log M^2_\\chi$ level.","supporting_citations":[{"cited_title":"Jackiw, Functional evaluation of the effective potential , Phys","cited_arxiv_id":null,"evidence_quote":"Jackiw's functional evaluation of the effective potential defines the standard one-loop determinant calculation whose gauge dependence is being corrected."},{"cited_title":"Dolan and R","cited_arxiv_id":null,"evidence_quote":"Dolan and Jackiw established gauge dependence of the effective potential at finite temperature, the problem the thermal section revisits."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Nielsen's identity is the gauge-dependence relation that the paper shows becomes trivial once the anomaly is included."},{"cited_title":"Interplay of Infrared Divergences and Gauge-Dependence of the Effective Potential","cited_arxiv_id":"1607.08432","evidence_quote":"Espinosa, Garny and Konstandin supply the interplay of infrared divergences and gauge dependence in the broken phase, including the resummation baseline the anomaly correction is compared to."},{"cited_title":"Dolan and R","cited_arxiv_id":null,"evidence_quote":"Dolan and Jackiw's symmetry-behavior paper gives the functional method and Matsubara sum used for the finite-temperature Fermi-gauge result."}],"review_version":1}