{"id":"9a862ebd-ff6d-45cc-9562-e3b14833ace3","arxiv_id":"2607.07921","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.5,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Anomaly-free discrete R-symmetries plus Kim-Nilles regeneration of the mu term force an accidental U(1)_PQ whose spontaneous breaking yields a SUSY DFSZ axion that solves strong CP.","lead":"A proper construction of the MSSM with anomaly-free discrete R-symmetries and the Kim-Nilles solution to the mu problem automatically produces a DFSZ axion that solves the strong CP problem. This links two long-standing puzzles of particle physics and yields axion (and possibly WIMP) dark matter as a byproduct.","discovery_kind":"unification","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified beyond the already-flagged domain-wall premise.","rationale":"The paper’s strongest claim is a logical consequence of previously published ingredients (Lee et al. discrete R-symmetries, Kim-Nilles operators, DFSZ). The charge tables make the accidental PQ transparent, and soft SUSY breaking is known to generate the required intermediate-scale vevs. The domain-wall cosmology is an external assumption, not a flaw in the particle-physics construction; the Reader correctly flags it and still assigns CONDITIONAL with high confidence. No additional load-bearing technical gap appears that would move the verdict. The concrete check simply reconfirms the charge arithmetic that underpins the whole argument.","tokens_in":11006,"tokens_out":428,"duration_ms":4320,"concrete_test":"Verify that every superpotential term allowed by each Z_n^R of Table 1 plus each base model of Table 2 has total PQ charge zero under the assignments of Table 3 (and that the mu-generating operators do not). If any term fails, the accidental U(1)_PQ is not automatic.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is group-theoretic: once an anomaly-free Z_n^R (Table 1) forbids the mu term and the four Kim-Nilles base models of Table 2 are added, the superpotential admits an accidental global U(1)_PQ (Table 3) that is broken by the soft-term-driven intermediate-scale vevs of X,Y, yielding a SUSY DFSZ axion. That chain is internally consistent and follows directly from the listed charge assignments and the standard KN potential analysis. The only premise that is not derived inside the paper is the cosmological assumption (f_a greater than or equal to max(T_R,H_I/2pi)) needed to inflate away N_DW=6 domain walls; the Reader already isolates this as the weakest assumption. No deeper inconsistency in the symmetry argument itself is present.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The manuscript argues that a proper construction of the MSSM using anomaly-free discrete Z_n^R symmetries (Table 1, consistent with SU(5)/SO(10)) forbids the mu term, RPV operators, and dangerous dimension-5 proton-decay operators. Once mu is forbidden, the MSSM plus any of the four Kim-Nilles base models (Table 2) admits an accidental global U(1)_PQ (Table 3). Soft SUSY breaking then generates intermediate-scale vevs for the singlets X,Y, regenerating a weak-scale mu while spontaneously breaking both Z_n^R and U(1)_PQ. The resulting pseudo-Goldstone boson is a SUSY DFSZ axion that solves the strong CP problem. Phenomenological consequences for dark matter (axion always present; WIMP optional depending on the order of induced RPV operators) and domain-wall cosmology are briefly discussed.","tokens_in":11182,"tokens_out":1033,"duration_ms":9417,"significance":"If correct, the result reframes the axion solution to strong CP as a derived consequence of solving the SUSY mu problem with discrete R-symmetries rather than an independent postulate. The central group-theoretic chain (Tables 1-3 plus the standard KN potential analysis) is internally consistent and standard. The paper usefully collects earlier results of the collaboration into a single narrative and highlights that the accidental PQ symmetry is not fundamental, thereby addressing the quality problem at the level of discrete R-symmetries. The observation is not entirely new (as the authors themselves note via Refs. [17,26,50]), but the pedagogical synthesis and the explicit linkage to dark-matter options are of interest to the SUSY/axion community.","major_comments":[{"comment":"Section 4 (phenomenological consequences): the viability of the N_DW=6 DFSZ axion as dark matter rests on the un-derived assumption that the PQ symmetry is broken during inflation and never restored (f_a ≳ max(T_R, H_I/2π)). This is stated without calculation or reference to a concrete inflationary model. Because domain-wall overclosure is a standard obstruction for N_DW>1, the manuscript should either (i) supply a short quantitative estimate of the required reheat temperature / Hubble scale or (ii) clearly flag the assumption as an external cosmological premise rather than a consequence of the symmetry construction.","section":null},{"comment":"The claim that the accidental U(1)_PQ 'emerges' once mu is forbidden is correct for the operators listed in Tables 2-3, but the paper does not address whether higher-dimensional operators (already considered for RPV in Eq. (7)) can explicitly break the global PQ at a level that reintroduces a quality problem. A short discussion of the lowest-order PQ-violating operators allowed by each Z_n^R would strengthen the central claim that the construction automatically solves strong CP.","section":null}],"minor_comments":[{"comment":"Abstract and Introduction: the phrase 'perhaps inadvertently' is informal for a journal abstract; a more precise formulation would better convey the logical status of the result.","section":null},{"comment":"Table 1 caption: 'Derived MSSM field R charge assignments' should note that the charges are taken from Lee et al. [26] rather than re-derived here.","section":null},{"comment":"Section 3: the normalization q(H_u,d)=-1 is stated but the corresponding normalization for the axion decay constant is not made explicit; a one-line clarification would help readers comparing to standard DFSZ literature.","section":null},{"comment":"References: several recent experimental axion bounds (ADMX, etc.) are cited, but the theoretical discussion of the reduced aγγ coupling (E/N=6/3) would benefit from a brief comparison to the non-SUSY DFSZ value.","section":null},{"comment":"Typographical: 'hyMSY', 'hyCCK/GSPQ' etc. in Table 2 are not expanded on first use; a parenthetical expansion or reference would improve readability.","section":null}],"recommendation":"minor_revision","confidential_remarks":"The central observation is already present in the authors' earlier papers and in the classic Kim-Nilles and Lee et al. works. The manuscript is best viewed as a concise pedagogical synthesis rather than a major new derivation. That is still publishable, but the journal should weigh whether the novelty threshold is met for a full article versus a short note or review-style contribution. The domain-wall caveat is the only load-bearing external assumption; once it is clearly labeled, the paper is sound."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"The punchline is simple: once you replace ad-hoc R-parity with one of the anomaly-free Z_n^R symmetries of Lee et al. (consistent with SU(5)/SO(10)) and regenerate mu via any of the four Kim-Nilles base models, an accidental global U(1)_PQ appears automatically. Soft breaking then drives intermediate-scale vevs for X and Y, breaks both the discrete R-symmetry and the PQ symmetry, and produces a SUSY DFSZ axion. That is the whole claim, and it is correct on its own terms.\n\nWhat is new is the framing, not a new equation or mass formula. The charge tables, superpotential terms, and Goldstone argument are standard and correctly applied. The paper does a clean job of assembling the pieces (Tables 1–3) so that a reader sees the axion as a derived consequence rather than an optional add-on. The writing is short and accessible; the citation trail to Lee et al., the base-model papers, and the earlier KN analyses is honest. Self-citation is present but tracks real prior technical work on the same models, not circular invention.\n\nThe soft spots are limited and already flagged. The domain-wall premise (PQ broken during inflation and never restored, so N_DW=6 walls are inflated away) is stated without derivation; it is the usual cosmological assumption for DFSZ, not a new flaw unique to this paper. Induced RPV operators and LSP lifetimes are deferred to earlier work by the same group; that is fine for a short note but means the dark-matter discussion is not self-contained. No deeper inconsistency in the group theory itself shows up.\n\nThis is for people who already work on natural SUSY, discrete R-symmetries, or axion quality, and for anyone who wants a compact reminder that the strong-CP solution can ride along for free. It is not a calculation paper and will not change model-building practice by itself, but it is a useful clarification. I would send it to a serious referee rather than desk-reject; the logic is tight enough to deserve that time. Worth a look if you care about how these pieces fit together.","headline":"A clean pedagogical note that the axion is automatic once you forbid mu with anomaly-free discrete R-symmetries and use Kim-Nilles; the symmetry argument is solid, novelty is modest, and the only real soft spot is the usual domain-wall cosmology.","tokens_in":11812,"tokens_out":569,"would_cite":false,"duration_ms":12792,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["12.60.Jv","14.80.Va","11.30.Pb","95.35.+d"],"model":"grok-4.5","headline":"Forbidding the mu term with discrete R-symmetries accidentally produces a DFSZ axion that solves strong CP.","keywords":["MSSM","mu problem","discrete R-symmetry","Kim-Nilles mechanism","DFSZ axion","strong CP problem","SUSY dark matter","R-parity violation"],"falsifier":"A laboratory or astrophysical measurement that either excludes the DFSZ axion-photon coupling (E/N = 2 after higgsino cancellation) over the intermediate-scale mass window, or a collider observation of prompt R-parity-violating decays that would be forbidden by the higher-dimensional operators allowed under the discrete R-symmetries.","tokens_in":11869,"feed_emoji":"⚛️","tokens_out":696,"duration_ms":6177,"temperature":0.7,"pith_summary":"The Minimal Supersymmetric Standard Model has three long-standing problems: the mu term should sit at the Planck scale rather than the weak scale, R-parity-violating operators allow rapid proton decay, and dangerous dimension-five proton-decay operators are allowed. Anomaly-free discrete R-symmetries of order 4–24, consistent with grand unification, forbid all three problems at once while still permitting the usual Yukawa couplings and neutrino see-saw. Once the mu term is absent, the theory automatically acquires an accidental global Peccei–Quinn symmetry. Coupling the Higgs bilinear to two gauge-singlet fields via a Kim–Nilles operator and then breaking supersymmetry generates intermediate-scale vacuum expectation values that both regenerate a weak-scale mu and break the Peccei–Quinn symmetry. The resulting pseudo-Goldstone boson is a supersymmetric DFSZ axion that dynamically relaxes the strong-CP angle to zero. In the same framework the axion itself is always a dark-matter candidate; whether a long-lived WIMP also survives depends on the order of residual R-parity-violating operators.","feed_headline":"Discrete R-symmetries turn the mu problem into a DFSZ axion","feed_subtitle":"Forbidding mu accidentally yields a Peccei–Quinn symmetry whose breaking solves strong CP and supplies axion dark matter.","key_machinery":"The Kim–Nilles operator that couples the Higgs bilinear to two R- and PQ-charged gauge singlets X and Y; soft SUSY breaking forces those singlets to acquire intermediate-scale vevs, regenerating mu ~ m_weak while spontaneously breaking U(1)_PQ and yielding the DFSZ axion.","core_discovery":"Once an anomaly-free discrete Z_n^R symmetry forbids the mu term, the MSSM plus any of the four Kim–Nilles base models develops an accidental global U(1)_PQ. Soft supersymmetry breaking then drives intermediate-scale vacuum expectation values for the PQ-charged singlets, simultaneously regenerating a weak-scale mu, breaking the discrete R-symmetry, and producing a supersymmetric DFSZ axion that solves the strong CP problem.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Discrete ZnR forbids mu, yields accidental PQ and DFSZ axion","Anomaly-free R-symmetries turn mu problem into SUSY DFSZ axion","Forbidding mu regenerates weak-scale term plus strong-CP-solving axion","Kim-Nilles singlets plus ZnR produce DFSZ axion from broken PQ","SUSY R-symmetry ban on mu accidentally solves strong CP via axion"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The Peccei–Quinn symmetry must be broken during inflation and never restored afterward, so that the domain walls expected for a domain-wall number of six are inflated away and do not overclose the universe.","fun_headline_variants_meta":{"raw":{"variants":["Discrete ZnR forbids mu, yields accidental PQ and DFSZ axion","Anomaly-free R-symmetries turn mu problem into SUSY DFSZ axion","Forbidding mu regenerates weak-scale term plus strong-CP-solving axion","Kim-Nilles singlets plus ZnR produce DFSZ axion from broken PQ","SUSY R-symmetry ban on mu accidentally solves strong CP via axion"]},"model":"grok-4.5","effort":"low","cost_usd":0.005756,"raw_usage":{"total_tokens":1566,"prompt_tokens":814,"num_sources_used":0,"completion_tokens":111,"cost_in_usd_ticks":57560000,"prompt_tokens_details":{"text_tokens":814,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":641,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":814,"tokens_out":111,"duration_ms":25606,"temperature":1.0,"reasoning_tokens":641,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-10T15:22:04.230781+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"A laboratory or astrophysical measurement that either excludes the DFSZ axion-photon coupling (E/N = 2 after higgsino cancellation) over the intermediate-scale mass window, or a collider observation of prompt R-parity-violating decays that would be forbidden by the higher-dimensional operators allowed under the discrete R-symmetries.","supporting_citations":[],"review_version":1}