{"id":"0e4b9aaf-0d3d-4b56-a13d-2412b3f6f5a5","arxiv_id":"2505.12115","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The canonical Noether charges for the κ-deformed complex scalar match the covariant phase space results, and the earlier C-breaking is traced to using the twisted-cyclic Lagrangian L_C1 instead of the manifestly symmetric L_C.","lead":"On κ-Minkowski, a model spacetime where coordinates do not commute, the paper recomputes momentum charges for a charged scalar field using the textbook Noether method. It finds agreement with an earlier covariant calculation and explains the previously observed loss of charge conjugation symmetry as an implicit change of Lagrangian.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"L_C and L_C1 do not differ by a total derivative; the §4.1 explanation of C-breaking via an implicit Lagrangian change is unsupported.","rationale":"The paper's central advertised result has two parts: (i) the canonical method for translation charges agrees with the covariant phase space formalism, and (ii) the previously observed loss of charge conjugation symmetry is explained by an implicit change of Lagrangian. The reader already identified part (ii) as resting on the unproven assertion that L_C and L_C1 have equal actions. Our stress-test goes further: a direct application of the paper's own twisted cyclicity identity, (54), to the mass terms in (44) and (50) yields coefficients that differ by a factor of two. Since the common integral ∫φ†★(1+Δ_+³/κ³)φ is nonzero for generic off-shell configurations, the two actions cannot differ merely by a total derivative. The claimed explanation therefore fails, not just because a proof is missing but because the statement is false as written. We also note an independent factor-of-two inconsistency in (49), where the charge of L_C = (1/2)(L1+L2) is written as P1+P2 instead of (1/2)(P1+P2). These issues do not necessarily invalidate the matching of the canonical charge (51) with the covariant phase space result (45), which is a separate and plausibly correct calculation. However, the paper's headline explanation of C-breaking is a central claim, and the current text does not support it. I therefore recommend REJECT: the matching calculation could be the basis of a revised paper, but the explanatory claim as stated would have to be removed or substantially corrected. My agreement with the reader is 'agree' because the reader's weakest assumption is exactly the total-derivative relation between L_C and L_C1, and our analysis confirms that this assumption is not merely unproven but contradicted by the twisted-cyclicity algebra.","tokens_in":11878,"tokens_out":26433,"duration_ms":227604,"concrete_test":"Evaluate S_C - S_C1 for an off-shell single-mode configuration φ = a e^{ipx} with p_μp^μ ≠ m², using the twisted cyclicity identity (54) and integration by parts (28). The mass term alone gives (S_C - S_C1)|_mass = (m²/4)∫φ†★(1+Δ_+³/κ³)φ, which is nonzero for generic off-shell φ. If this difference vanishes then the §4.1 explanation survives; if it does not, the two actions are not equal up to a total derivative and the C-breaking explanation must be revised.","verdict_should_be":"REJECT","load_bearing_attack":"The explanation of the reported loss of C-symmetry rests on the claim in §4.1 that L_C and L_C1 have equal actions and therefore differ by a total derivative. This claim fails under twisted cyclicity. From (44), S_C = 1/2(S1+S2) = 1/4∫[∂φ†★∂φ + ∂φ★∂φ† - m²(φ†★φ + φ★φ†)]. Applying (54) to the second and fourth terms gives S_C = 1/4∫[∂φ†★(1+Δ_+³/κ³)∂φ - m²φ†★(1+Δ_+³/κ³)φ]. Meanwhile, S_C1 from (50) is -1/2∫[S(∂)φ†★∂((1+Δ_+³/κ³)φ) + m²φ†★(1+Δ_+³/κ³)φ]. Using (28), the kinetic term of S_C1 becomes -1/2∫φ†★□(1+Δ_+³/κ³)φ. In particular, the integrated mass terms differ by a factor of two: -(m²/4) vs -(m²/2) multiplying the same positive definite integral ∫φ†★(1+Δ_+³/κ³)φ. Since this integral is generically nonvanishing off shell, the two actions cannot be equal up to a boundary term; the difference is not a harmless total derivative. A separate factor-of-two issue appears in (49), which sets P^C = P1 + P2, whereas Noether linearity for L_C = (1/2)(L1+L2) would give P^C = (1/2)(P1+P2). Thus the claimed implicit Lagrangian change is not supported, even though the matching of (51) with (45) may still hold.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper compares translation Noether charges for several orderings of the kappa-deformed complex scalar field action in the classical basis. It introduces two asymmetric orderings L1 and L2, their symmetrization L_C = (1/2)(L1+L2), and a twisted-cyclicity variant L_C1, then computes the canonical translation charges (42), (43), (51), and (53). The central claims are that L_C1 reproduces the covariant phase space result (45) of Refs. [15,16] and that the reported loss of charge-conjugation symmetry in those references is explained by an implicit change of Lagrangian. Lorentz-sector charges are deferred to future work.","tokens_in":12226,"tokens_out":10278,"duration_ms":99751,"significance":"If the identifications claimed in Sections 4.1 and 5 were established, the paper would be a useful bridge between canonical and covariant phase space methods for kappa-Minkowski field theory and would offer a concrete explanation of the C-breaking puzzle reported in Refs. [15,16]. The explicit mode-space charge formulas and the twisted-cyclicity manipulations are transparent and potentially reusable. However, the two load-bearing identifications -- the equality of S_C and S_C1 up to a total derivative and the exact numerical matching of Eq. (51) with Eq. (45) -- are not established as written, so the headline conclusions are currently conditional.","major_comments":[{"comment":"The assertion that \"since their actions are equal we can assume they differ by a total derivative\" is not supported by the manuscript's own twisted cyclicity identity. Applying (54) to the second and fourth terms of S_C = 1/4 ∫[∂φ†★∂φ + ∂φ★∂φ† − m²φ†★φ − m²φ★φ†] gives S_C = 1/4 ∫[∂φ†★(1+Δ₊³/κ³)∂φ − m²φ†★(1+Δ₊³/κ³)φ]. In contrast, S_C1 in (50) has mass term −(m²/2)∫φ†★(1+Δ₊³/κ³)φ, and after using (28) its kinetic term carries a −1/2 coefficient rather than +−1/4. The difference is not a surface term: it includes −(m²/4)∫φ†★(1+Δ₊³/κ³)φ, which is nonvanishing off shell. Consequently, the derivation that L_C and L_C1 differ only by a total derivative, and hence the proposed explanation of C-breaking as an implicit Lagrangian change, is not established. Even if the difference were a pure total derivative, the paper would still need to show that the resulting surface term is nonvanishing and C-odd; the phrase \"presumably responsible\" does not supply that argument.","section":"Sec. 4.1, Eqs. (44), (50), (54)"},{"comment":"Equation (49) is asserted with only the statement that \"in principle the analysis can be continued\". This is not a derivation. Since L_C = (1/2)(L1+L2) by (44), the Noether current obtained from the variation of L_C is one half the sum of the currents for L1 and L2 (up to the same total-derivative ambiguities). The result P_C = P1 + P2 therefore requires an explicit computation showing how the factor 1/2 is removed or compensated; without that, the claim that the symmetrized action admits a C-symmetric charge of the form (49) is unsupported. The deformed equation of motion (48) by itself does not fix the normalization of the charge.","section":"Sec. 4.1, Eq. (49)"},{"comment":"The statement that Eq. (51) \"coincides with (45)\" after absorbing the factor 1+p₊³/κ³ into the definitions of a_p and b_p is not numerically accurate as written. Eq. (51) carries an overall prefactor 1/4, while Eq. (45) carries an overall prefactor 1/2. A momentum-dependent redefinition of the mode operators can absorb 1+p₊³/κ³ but cannot change the ratio of the overall prefactors. Either the mode normalization used in Eq. (45) differs from Eqs. (18)-(19), or the two charges differ by a factor of 2. The paper should state the mode normalization in Refs. [15,16] explicitly and show that the comparison is made on equal footing; as written, the central \"full agreement\" claim is not verifiable.","section":"Sec. 4.1, Eqs. (45), (51)"},{"comment":"The C-breaking explanation is presented as a resolved puzzle in the abstract and conclusions, but the treatment here covers only translation charges, while the reported C-breaking in Refs. [15,16] is specifically a property of boost charges. The paper acknowledges that the Lorentz sector is deferred, but then the abstract's phrase \"observed loss of charge conjugation symmetry under boosts\" is only partially addressed. Either the scope of the explanation should be restricted to the translation sector, or a clear statement that the mechanism is expected to extend to boosts should be justified.","section":"Sec. 4.1, Sec. 5"}],"minor_comments":[{"comment":"The notation S(∂_μ)φ† is ambiguous; it should be written as (S(∂_μ)φ)† or defined explicitly, since S(∂_μ) is an operator on φ and the action of charge conjugation on it is not specified.","section":"Eq. (50)"},{"comment":"The proof of twisted cyclicity is compressed and one intermediate line appears to drop the integral sign and a measure factor; a fuller derivation would help the reader verify the weight Δ₊³/κ³ and the sign conventions.","section":"Appendix A, Eq. (54)"},{"comment":"The statement \"Since |S(p_μ)| < |p_μ| and p₊/κ > 1, the choice between L_C, L_C1/L_C2 or L1/L2 is phenomenologically meaningful\" is asserted without proof; the inequality is not self-evident for all momentum components and the claimed phenomenological significance of the ordering choice is not demonstrated.","section":"Conclusions"},{"comment":"Reference [3] is incomplete: it lacks a title and venue. In addition, \"an(3)Lie algebra\" in the Introduction should be typeset with a space, as \"an(3) Lie algebra\".","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The paper is a proceedings contribution, and the technical core is compact. The referee report is based on the mathematical claims in the manuscript. The main issue is that the central explanatory mechanism for C-breaking rests on an equality of actions that is contradicted by the manuscript's own twisted-cyclicity formula, and the claimed numerical agreement between Eqs. (45) and (51) has an unresolved normalization factor. These are fixable in principle, but they need to be addressed before the conclusions can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my read. The one genuinely new and useful thing in this paper is the identification of L_C1 (Eq. 50) as the Lagrangian that underlies the covariant phase space translation charges in refs [15,16], and the explicit canonical derivation of the matching charge in Eq. (51). That consistency check is a real data point for anyone working in κ-Minkowski field theory.\n\nThe advertised explanation of C-breaking, though, doesn't hold up. In Section 4.1, the paper says that since the actions of L_C and L_C1 are equal, they must differ by a total derivative, which is \"presumably responsible for breaking C-symmetry.\" That's an assumption, and a quick calculation shows it's false. Using the paper's own twisted cyclicity (54), S_C = 1/4∫[(∂φ)†★(1+Δ_+^3/κ^3)∂φ - m²φ†★(1+Δ_+^3/κ^3)φ]. Meanwhile S_C1 = -1/2∫[S(∂)φ†★∂((1+Δ_+^3/κ^3)φ) + m²φ†★(1+Δ_+^3/κ^3)φ]. The mass terms differ by a factor of two; ∫φ†★(1+Δ_+^3/κ^3)φ is generically nonvanishing off shell, so the actions are not equal up to a boundary term. The total-derivative explanation fails.\n\nThere's also a factor-of-two slip in Eq. (49): P^C is written as P1+P2, but L_C = (1/2)(L1+L2), so Noether linearity gives (1/2)(P1+P2).\n\nThe matching (51)↔(45) may still be correct; I didn't find an error in that part. And the paper is honest about its open issues—it doesn't hide the fact that the total-derivative claim is an assumption. But the assumption fails on inspection, and the explanation built on it does too.\n\nWho should read this: people studying κ-Minkowski field theory and discrete symmetries, particularly those following up on the C-breaking result in refs [15,16]. The consistency check is valuable even without the explanation.\n\nRecommendation: send it to a referee. The referee should ask the author to fix the factor-of-two problems and either prove the total-derivative relation or drop the C-breaking explanation. With those changes, a shorter note on the charge matching would be fine.","headline":"A useful matching calculation between canonical and covariant phase space charges, but the total-derivative assumption behind the C-breaking explanation fails on inspection.","tokens_in":12772,"tokens_out":10184,"would_cite":false,"duration_ms":88014,"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":"Two charge-computation methods agree in κ-Minkowski spacetime, and the apparent loss of charge-conjugation symmetry is traced to an implicit choice of Lagrangian.","keywords":["κ-Minkowski spacetime","noncommutative field theory","κ-Poincaré Hopf algebra","complex scalar field","translation charges","canonical Noether method","charge conjugation symmetry","twisted cyclicity"],"falsifier":"Compute $\\int d^4x\\,(L_C - L_{C1})$ explicitly under twisted cyclicity for compactly supported fields; if it does not reduce to a vanishing surface term, the equal-action premise fails and with it the explanation of the C-breaking.","tokens_in":11624,"feed_emoji":"⚛️","tokens_out":18775,"duration_ms":158153,"temperature":0.7,"pith_summary":"This paper confronts a puzzle in κ-Minkowski noncommutative spacetime, where the spacetime coordinates obey the deformed commutation relation $[\\hat{x}_0,\\hat{x}_i]=i\\hat{x}_i/\\kappa$ and $1/\\kappa$ sets a fundamental length scale. Earlier covariant-phase-space calculations found that conserved charges of the complex scalar field lose charge-conjugation symmetry under boosts, even though the action appears C-symmetric. The author computes translation charges with the canonical Noether method for several Lagrangians and shows that they agree exactly with the covariant phase space results. The resolution is an identity: applying twisted cyclicity to the symmetrized action gives a rewritten Lagrangian $L_{C1}$ that is not C-invariant, and it is this Lagrangian whose charge matches the earlier result. The paper concludes that the two formalisms are consistent and that the observed C-breaking reflects an implicit choice of Lagrangian, pointing to an inherent tension between standard C-symmetry and κ-deformation unless C is redefined.","feed_headline":"Two charge formalisms agree in κ-Minkowski; a Lagrangian swap explains C-breaking","feed_subtitle":"The same charges emerge from two formalisms, and the apparent C-breaking is pinned to a hidden change of Lagrangian.","key_machinery":"The load-bearing identity is twisted cyclicity, $\\int d^4x\\, a \\star b = \\int d^4x\\, b \\star \\left(\\frac{\\Delta_+^3}{\\kappa^3} a\\right)$, with $\\Delta_+ = -i\\partial_0 - i\\partial_4 + \\kappa$. Under this reordering rule, the manifestly C-invariant symmetrized Lagrangian $L_C = \\frac{1}{2}(L_1 + L_2)$ can be rewritten in the form $L_{C1}$, in which one factor $(1+\\Delta_+^3/\\kappa^3)$ is attached to the right-hand field and the expression is no longer invariant under $\\phi \\to \\phi^\\dagger$. The canonical Noether method then produces translation charges directly from the variation of $L_{C1}$; the deformed Leibniz rules for the star product determine how the conserved current and the momentum-space charge are assembled. The charge (51) acquires the weight $(1+p_+^3/\\kappa^3)$ in momentum space, which is exactly the factor that makes it coincide with the covariant phase space result (45).","core_discovery":"The central claim is that, for translation charges, the canonical method and the covariant phase space formalism deliver the same charges for κ-deformed complex scalar fields. Specifically, the charge obtained from the rewritten Lagrangian $L_{C1} = -\\frac{1}{2}[S(\\partial_\\mu)\\phi^\\dagger \\star \\partial_\\mu(1+\\frac{\\Delta_+^3}{\\kappa^3})\\phi + m^2 \\phi^\\dagger \\star (1+\\frac{\\Delta_+^3}{\\kappa^3})\\phi]$, computed canonically, coincides with the covariant phase space charge (45). Because $L_{C1}$ is not invariant under the standard charge-conjugation map $\\phi \\to \\phi^\\dagger$, this identifies the origin of the C-breaking reported earlier: the symmetrized action $L_C$ can be recast as $L_{C1}$ through twisted cyclicity, the two actions are equal up to a total derivative, and the charge computation effectively uses the non-C-invariant form. The paper therefore explains the loss of charge-conjugation symmetry under boosts as an implicit change of Lagrangian, and suggests that this reflects an inherent incompatibility between C-symmetry and κ-deformation, unless C is redefined.","pith_inferences":["Beyond the paper, the same comparison should be run for boost charges: if canonical charges from $L_{C1}$ match the covariant boost charges that break C, the implicit-Lagrangian explanation becomes general; if they do not, the translation-sector agreement may be special.","Beyond the paper, the equality of actions between $L_C$ and $L_{C1}$ should be checked with explicit boundary conditions, because the twisted-cyclicity weight could turn the putative total derivative into a nonzero surface term; in that case the two actions are genuinely different and the 'implicit change of Lagrangian' is not a harmless redefinition.","Beyond the paper, a deformed charge-conjugation map, rather than the standard $\\phi \\to \\phi^\\dagger$, may be the symmetry that survives the κ-deformation; looking for an operator that maps $L_{C1}$ to $L_{C2}$ while preserving the action would make this concrete."],"forward_implications":["The canonical and covariant phase space methods select the same translation charges, so the earlier ambiguity about the exact form of the charges is settled for the translation sector.","The Lagrangian behind the earlier covariant results is $L_{C1}$, which is not C-invariant; consequently the reported loss of charge-conjugation symmetry is a property of this formulation, not a mistake in the covariant computation.","Ordering choices such as $L_1$ versus $L_2$ or $L_{C1}$ versus $L_{C2}$ are not equivalent in their momentum-space weights, so they are in principle distinguishable by experiment even though no theoretical preference exists between them.","The only known way to keep the standard C-symmetry is to work directly with $L_C$, but its Lorentz-sector charges appear not to satisfy the Poincaré algebra; this points to an inherent tension between C-symmetry and κ-deformation unless C is redefined."],"supporting_citations":[{"why":"It supplies the κ-Minkowski field theory setup, deformed calculus, and Noether charge formalism that the canonical calculation builds on.","marker":"[14]"},{"why":"It is one of the two earlier papers whose covariant phase space results for κ-deformed complex fields and discrete symmetries are reproduced and explained.","marker":"[15]"},{"why":"It is the source of the covariant phase space charges, including the observed loss of charge-conjugation symmetry, that the canonical charge (51) is shown to match.","marker":"[16]"},{"why":"It provides the covariant phase space formalism whose translation charge (45) the canonical method must reproduce.","marker":"[18]"}],"fun_headline_variants":["κ-Minkowski charges match; Lagrangian swap breaks C","C-breaking in κ-Minkowski traced to hidden Lagrangian change","Same charges, different Lagrangian: κ-deformed C-violation explained","κ-Minkowski C-symmetry loss is a Lagrangian artifact","Charge formalisms match, hidden Lagrangian swap explains C-breaking"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The explanation rests on the two Lagrangians having exactly the same action, so that their difference is only a harmless surface term; if that is not true, the identification of the C-breaking Lagrangian fails.","fun_headline_variants_meta":{"raw":{"variants":["κ-Minkowski charges match; Lagrangian swap breaks C","C-breaking in κ-Minkowski traced to hidden Lagrangian change","Same charges, different Lagrangian: κ-deformed C-violation explained","κ-Minkowski C-symmetry loss is a Lagrangian artifact","Charge formalisms match, hidden Lagrangian swap explains C-breaking"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001122,"raw_usage":{"total_tokens":4633,"prompt_tokens":872,"completion_tokens":3761,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":3675}},"tokens_in":488,"tokens_out":3761,"duration_ms":29222,"temperature":1.0,"reasoning_tokens":3675,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:40:41.735897+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\int d^4x\\,(L_C - L_{C1})$ explicitly under twisted cyclicity for compactly supported fields; if it does not reduce to a vanishing surface term, the equal-action premise fails and with it the explanation of the C-breaking.","supporting_citations":[],"review_version":1}