{"id":"03d37d22-274e-45b1-9263-2c452c33b89e","arxiv_id":"2411.09529","paper_version":1,"verdict":"UNVERDICTED","confidence":"HIGH","novelty_score":2.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"A review of the strong CP problem and axion mechanisms, with a model-building argument that the axion's Peccei-Quinn symmetry can merge with baryon and lepton number and perhaps explain neutrino masses and baryogenesis.","lead":"This proceedings talk explains the strong CP puzzle and the axion solution, then discusses mixing the axion's Peccei-Quinn symmetry with baryon and lepton number to address neutrino masses and baryogenesis. It is a survey and perspective piece, not a new calculation.","discovery_kind":"review","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the review's central speculative claim is appropriately hedged and its technical premises are supported by prior published work.","rationale":"The reader's verdict is UNVERDICTED because the paper is a review rather than a novel research contribution, and I agree with that categorization. The reader's weakest_assumption pinpoints the same two technical premises that I would probe if the model-building claims were being advanced as new physics: the representation-equivalence argument for chiral gauge interactions and the B/L counting rule. I examined these premises and found no demonstrated error. The manuscript is careful, cites the relevant prior work for both the cancellation argument [25,26] and the counting rule [27], and explicitly flags the main caveats (spurious terms, axion quality, electroweak instantons). The central claim is hedged throughout (\"could\", \"long way off\"), so the review does not rest on a fragile empirical or logical pivot. A verification of the counting rule would be a useful check, but the absence of such a check in the paper is a normal feature of a proceedings talk, not a load-bearing defect. Hence no adjustment to the reader's verdict is needed.","tokens_in":9387,"tokens_out":16053,"duration_ms":163567,"concrete_test":"Worth running as a sanity check: in a toy model with U(1)_PQ × U(1)_B × U(1)_L, write the linear constraints imposed on the final U(1) charge assignment by three independent B/L-violating operators and solve for the two mixing parameters. If a simultaneous solution exists for generic charge assignments, the \"at most two\" counting rule of Ref. [27] would need revision; if no solution exists, the rule is corroborated and the review's model-building constraints hold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After reading in good faith, I do not find a load-bearing flaw in the central claim of this conference-proceedings review. The abstract's assertion is deliberately modal (\"could ultimately play a role\"), and the manuscript consistently frames the B/L-mixing constructions as illustrative possibilities rather than established results. The two technical premises that the reader identifies as weakest are: (1) equivalence of the linear, polar, and derivative representations for axion couplings to chiral gauge bosons (Section 3, \"Electroweak couplings\"), where local anomalous terms are said to cancel against triangle-graph anomalies; and (2) the counting rule from Ref. [27] that at most two independent B/L combinations can be broken before the axion becomes massive (Section 3, \"Merging the PQ symmetry with B and L\"). Both are standard or cited results, and the text explicitly acknowledges the subtleties (spurious representation dependence, the axion quality problem, electroweak-instanton contributions). No internal inconsistency or unsupported empirical prediction is apparent. The explicit model of Eq. (12) is itself labeled \"hardly economical,\" so the review does not overclaim its phenomenological viability. I therefore see no concrete error that would undermine the review's purpose or change the UNVERDICTED classification.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper, based on a talk at DIS2024, reviews the strong CP puzzle and the axion mechanism before presenting recent work on mixing the Peccei-Quinn (PQ) symmetry with baryon and lepton numbers. The first part covers the theta parameter, the KSVZ and DFSZ axion models, axion phenomenology (mass, couplings, dark matter), and the axion quality problem. The second part argues that the PQ symmetry, being a flavor U(1), can mix with B and L, and illustrates how this could connect axions to neutrino masses, leptogenesis, or baryogenesis. The discussion emphasizes the equivalence of the linear, polar, and derivative representations of the axion field, and the spurious nature of apparent anomalous couplings in the derivative representation. The central claim is deliberately modal: the axion 'could ultimately play a role' in other Standard Model puzzles.","tokens_in":9467,"tokens_out":9870,"duration_ms":83205,"significance":"The paper is a conference-proceedings review rather than a new research contribution, so its significance lies in synthesis and perspective. It provides a clear, up-to-date pedagogical account of the strong CP problem and axion physics, and it highlights a line of model building (mixing PQ with B and L) that may broaden the axion's phenomenological role. The speculative claims are carefully hedged, with explicit acknowledgment of limitations such as the counting rule restricting B/L breaking, the axion quality problem, and unresolved questions about non-standard limits. The treatment of representation dependence in axion-gauge couplings is technically careful and correctly emphasizes cancellations of spurious local anomaly terms. The review is balanced and should be useful to readers entering the field.","major_comments":[],"minor_comments":[{"comment":"The symbol v in the gluon term (θ + a/v) is not defined; it should presumably be f_a to match Eq. (4) and the derivative interaction in the same equation.","section":"Section 2, Eq. (10)"},{"comment":"The hypercharge convention is not specified; the value 8/3 for the weak-singlet scalars assumes the convention Q = T_3 + Y/2. Please state the convention explicitly at first use to avoid confusion.","section":"Section 3, Eq. (12)"},{"comment":"The caption describes three panels (a), (b), and (c), but the figure itself is not embedded in the manuscript text; ensure the figure is included with clearly labeled panels.","section":"Figure 2 caption"},{"comment":"The sentence 'the impact of tr G\\tilde{G} vanishes at any finite order of perturbation theory' could be misunderstood; consider rewording to clarify that this refers to perturbative matrix elements of the total derivative term.","section":"Section 1, 'Solution 3: Infinities'"},{"comment":"Reference [4] (CKMfitter) would benefit from an arXiv identifier, as provided for the other references.","section":"References"}],"recommendation":"minor_revision","confidential_remarks":"This is a conference-proceedings review rather than a new research article. The speculative second half is carefully hedged, and the technical premises are supported by citations to prior work. The presentation issues are local and do not affect the substance. I recommend minor revision, primarily to fix the notation in Eq. (10) and specify the hypercharge convention."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, know this: it's a conference proceedings review, not a research preprint. No new equations, fits, or predictions. What earns credit is the clarity. The write-up of the strong CP problem is standard but well done, and the discussion of the derivative representation—where the anomalous couplings to chiral gauge bosons are shown to be cancelled by triangle graphs, making the naive 'dynamic theta term' picture unreliable—is genuinely instructive. The section on merging PQ with B and L is also a nice, concise summary, with the counting rule stated cleanly. The author is honest about the caveats: the axion quality problem gets a paragraph, and the illustrative model of Eq. (12) is called 'hardly economical.' The speculative link to neutrino masses and baryogenesis is explicitly modal and not oversold.\n\nSoft spots are mostly the flip side of the format. Almost all of the technical content comes from the author's own earlier papers (Refs. [25-28]), so there is little originality here. For a regular research paper that would be a real weakness; for a proceedings talk it's acceptable, but it does limit the audience to people who haven't read those papers. There's also a debatable aside about the order of infinite limits for the QCD vacuum, which the author clearly labels as an opinion. No mathematical errors or overclaims jumped out at me, and the stress-test note agrees.\n\nIn short: if you want a quick, readable orientation on axions and the PQ-B/L mixing program, this is a fine entry point. If you're an expert, you've seen all of it before. I wouldn't cite it in my own work—I'd cite the underlying papers—and I wouldn't push it on a reading group unless the group is new to axions. But it is accurate and professionally honest, so if it were submitted to a journal as a review, I'd send it to a referee rather than desk-reject.","headline":"A competent proceedings review that adds pedagogical clarity on axion representations but breaks no new ground; worth a referee's time as a review, not as a research claim.","tokens_in":10122,"tokens_out":3166,"would_cite":false,"duration_ms":29677,"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":"This paper argues that the axion, the leading solution to the strong CP problem, can be merged with baryon and lepton number symmetries, potentially connecting the axion to neutrino mass generation and baryogenesis while still accounting…","keywords":["strong CP problem","axion","Peccei-Quinn symmetry","baryon number","lepton number","neutrino mass","baryogenesis","dark matter"],"falsifier":"Compute the axion coupling to W and Z bosons at two loops in both the linear and derivative representations; if the two results differ, the claimed representation equivalence fails. Alternatively, attempt to construct a renormalizable model that breaks three independent combinations of baryon and lepton number while the axion remains massless and still solves the strong CP problem—success would contradict the counting rule.","tokens_in":9040,"feed_emoji":"⚛️","tokens_out":4393,"duration_ms":40758,"temperature":0.7,"pith_summary":"The paper reviews the strong CP puzzle and the axion mechanism, then develops the idea that the Peccei-Quinn symmetry that underpins the axion can be mixed with baryon and lepton number. In this merged picture, the same axion that relaxes the QCD theta term could also generate small neutrino masses, drive baryogenesis, and remain a dark matter candidate. The author shows that such mixing is natural because PQ is just another flavor symmetry, and he works out the constraints, notably that at most two independent combinations of baryon and lepton number can be broken before the axion acquires a mass. The upshot is a model-building route in which one particle addresses several long-standing puzzles at once.","feed_headline":"Axion may crack neutrino mass and matter puzzle","feed_subtitle":"Mixing the Peccei-Quinn symmetry with baryon and lepton numbers would tie the axion to dark matter, neutrino mass, and the…","key_machinery":"The axion is the Goldstone boson of a spontaneously broken U(1)_PQ symmetry, coupled to the gluon topological density through the chiral anomaly. The load-bearing identity is the equivalence of the three representations of the axion Lagrangian—linear, polar, and derivative—even when chiral gauge interactions are present. In the derivative representation, local terms like a W\tilde{W} are canceled by anomalous triangle graphs, so observables are representation-independent. That equivalence makes it permissible to assign PQ charges that mix with baryon and lepton numbers; the counting rule that at most two independent B/L combinations can be broken is what limits how far the merging can go.","core_discovery":"The central claim is that the Peccei-Quinn symmetry should be viewed as a flavor symmetry that can be merged with baryon and lepton number, not as an isolated accidental symmetry. In the derivative representation of the axion Lagrangian, the apparent local anomalous couplings to chiral gauge bosons are spurious: they cancel exactly against triangle-graph anomalies, so the physical axion couplings are the same as in the linear or polar representations. Once this equivalence is accepted, one can add couplings such as the seesaw operator φ ν_R^c ν_R to the KSVZ model, and the axion becomes entangled with lepton number. The paper states a counting rule, from the literature, that at most two independent B and/or L combinations can be broken before the axion becomes massive, and it exhibits explicit leptoquark/diquark constructions where the axion is tied to neutrino masses, spontaneous proton decay, and neutron-antineutron oscillations.","pith_inferences":["The representation equivalence for chiral gauge interactions is only established at the level of one-loop triangle graphs; a two-loop consistency check would either confirm or refute the spurious-anomaly cancellation, and that calculation is a natural next step.","The counting rule suggests an organizing principle: the number of broken B/L combinations before the axion becomes massive could be a diagnostic for whether an axion model can also explain neutrino masses and the baryon asymmetry, which is not explicitly developed in the paper.","If electroweak instantons spoil axion quality in seesaw-axion unified models, then discrete or other symmetries that protect the axion might simultaneously explain the smallness of neutrino masses, a connection the paper leaves implicit."],"forward_implications":["If the PQ symmetry is merged with lepton number, the seesaw scale can be tied to the axion breaking scale, so the smallness of neutrino masses and the axion mass are no longer independent.","Models built this way can generate baryogenesis through B/L-violating couplings without destroying the axion's solution to strong CP, as long as the counting rule is respected.","Electroweak instantons can generate effective operators that spoil axion quality, so unified axion-B/L models must be checked against that additional constraint.","Distinctive signatures such as spontaneous proton decay, neutron-antineutron oscillations, and axion-induced neutron transitions can arise, giving experimenters concrete channels beyond standard axion searches."],"supporting_citations":[{"why":"Supplies the experimental upper bound on the neutron electric dipole moment that sets θ < 10^-10 and motivates the strong CP puzzle.","marker":"[1]"},{"why":"Establishes that the gluon topological density contributes to the η' mass via instantons, making θ a physical parameter.","marker":"[2]"},{"why":"Provides the lattice measurement of the topological susceptibility that underpins the axion mass and the relaxation mechanism.","marker":"[3]"},{"why":"Gives the lattice/χPT bound that the up quark mass is nonzero, eliminating the massless-quark solution and motivating the axion.","marker":"[5]"},{"why":"Introduces the KSVZ invisible axion model, used throughout as the base scenario for merging PQ with B and L.","marker":"[14]"},{"why":"Original Peccei-Quinn mechanism that the entire axion solution rests on.","marker":"[15]"},{"why":"Introduces the DFSZ invisible axion model, the other benchmark scenario discussed.","marker":"[17]"},{"why":"Provides the derivation that derivative-representation anomalies cancel against triangle graphs for chiral gauge couplings.","marker":"[26]"},{"why":"States the counting rule that at most two independent combinations of baryon and lepton number can be broken before the axion becomes massive.","marker":"[27]"},{"why":"Gives the systematic leptoquark/diquark analysis that realizes merging of PQ with B and L and the associated phenomenology.","marker":"[28]"}],"fun_headline_variants":["Axion may link neutrino mass to baryon asymmetry","Axion flavor symmetry ties B, L to neutrino and matter","PQ axion could crack neutrino mass and baryogenesis","Merging PQ with B and L: axion's wider role"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument rests on the assumption that the derivative representation of the axion is physically equivalent to the linear and polar representations even for chiral gauge interactions, so that local anomaly terms cancel exactly against triangle-graph anomalies, and on the counting rule that at most two independent baryon-plus-lepton numbers can be broken before the axion becomes massive.","fun_headline_variants_meta":{"raw":{"variants":["Axion may link neutrino mass to baryon asymmetry","Axion flavor symmetry ties B, L to neutrino and matter","PQ axion could crack neutrino mass and baryogenesis","Merging PQ with B and L: axion's wider role"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000249,"raw_usage":{"total_tokens":1474,"prompt_tokens":790,"completion_tokens":684,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":406,"completion_tokens_details":{"reasoning_tokens":615}},"tokens_in":406,"tokens_out":684,"duration_ms":7009,"temperature":1.0,"reasoning_tokens":615,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:33:13.314136+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the axion coupling to W and Z bosons at two loops in both the linear and derivative representations; if the two results differ, the claimed representation equivalence fails. Alternatively, attempt to construct a renormalizable model that breaks three independent combinations of baryon and lepton number while the axion remains massless and still solves the strong CP problem—success would contradict the counting rule.","supporting_citations":[{"cited_title":"37(1976)8;Phys.Rev.D 14(1976)3432;E.Witten,Nucl.Phys","cited_arxiv_id":null,"evidence_quote":"Establishes that the gluon topological density contributes to the η' mass via instantons, making θ a physical parameter."},{"cited_title":"43(1979)103;M.A.Shifman,A.I.VainshteinandV.I.Zakharov, Nucl","cited_arxiv_id":null,"evidence_quote":"Introduces the KSVZ invisible axion model, used throughout as the base scenario for merging PQ with B and L."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Original Peccei-Quinn mechanism that the entire axion solution rests on."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the DFSZ invisible axion model, the other benchmark scenario discussed."}],"review_version":1}