{"id":"a2f2e89e-8522-40e6-b30c-5fc4f3357261","arxiv_id":"2607.16179","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Dressed particles with soft-boson clouds are irreducible unitary representations of asymptotic symmetry groups only after adding logarithmic 'dual' symmetries, which supply the needed Heisenberg central extension.","lead":"The paper argues that the right way to view an electrically charged or gravitating particle wrapped in its cloud of soft gauge bosons is as one irreducible representation of a symmetry group that includes both the standard large-distance 'asymptotic' symmetries and extra 'logarithmic' partners. Without those partners, irreducible representations of the BMS-type groups are too small to hold the soft-particle cloud; with them, the Hilbert space factorizes cleanly into the naked","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Sec. 3's claim that the Lorentz orbit in the unitary dual of the soft Heisenberg group is a single point is unproved: Stone–von Neumann fails in infinite dimensions, and no invariant complex structure or measure is supplied; the factorization (3.7) rests on this gap.","rationale":"The reader's weakest_assumption pinpoints exactly the same step: the representation-theoretic jump in Sec. 3 where the Lorentz action on the infinite-dimensional Heisenberg normal subgroup is asserted to have a trivial orbit, yielding the factorization H = L^2(R^3) ⊗ L^2(ST*). The text itself acknowledges the missing general theorem and the open measure problem. My stress test sharpens this: the issue is not merely the absence of a classification theorem, but a concrete logical gap—'preserves the carrier space as a whole' does not imply 'orbit consists of a single point' unless one assumes a fixed point in the unitary dual of the Heisenberg group. In infinite dimensions, inequivalent Fock representations are possible, and the Lorentz group may mix them. The proposed test (Shale's criterion) would settle whether the relevant Lorentz action is unitarily implementable on a single Fock space. If not, the paper's central claim collapses; if yes, the step is rescued. Because the paper is candid about the gap and the claim may be true, CONDITIONAL remains appropriate. I do not recommend changing the reader's verdict, hence UNCHANGED.","tokens_in":12232,"tokens_out":9037,"duration_ms":78556,"concrete_test":"Compute Shale's criterion for the Lorentz action on the soft Heisenberg algebra. Take the symplectic module V = C^∞(S^2) ⊕ C^∞_0(S^2) with Ω((ϵ,η),(ϵ',η')) = ∫ d²x√g (ϵη' − ϵ'η) (the integrated form of (2.3)). Choose the complex structure J from the L² structure on half-densities over the round S². For a one-parameter Lorentz boost Λ (e.g., mapping the north pole to a point at rapidity β), compute the Bogoliubov transformation between the Fock representations built from J and J_Λ = Λ J Λ^{-1}. If the positive-frequency-to-negative-frequency part of Λ is not Hilbert-Schmidt, the two Fock representations are inequivalent, so the Lorentz orbit in the unitary dual is non-trivial and the 'single point' assertion in Sec. 3 fails for the Fock sector. If it is Hilbert-Schmidt for all boosts, the soft irrep is unique up to central charge and the step is supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim (Sec. 4) is that irreducible unitary representations of the Heisenberg-extended groups (3.5)–(3.6) are labelled by mass, spin, and charge, and factor as L^2(R^3) ⊗ L^2(soft). The proof in Sec. 3 hinges on the assertion that 'since the action of the Lorentz group preserves the carrier space as a whole, its orbit consists of a single point.' This is a non sequitur in infinite dimensions. The Heisenberg group \\widehat{LGT×LGT*} has a continuum of inequivalent irreducible representations, parameterized, e.g., by complex structures on the symplectic vector space of functions on S^2 (Shale's theorem). The Lorentz group acts on this space via its conformal action on S^2. Lorentz invariance of the full carrier space H only implies the restriction to the Heisenberg subgroup is a direct integral over the Lorentz orbit of a chosen irrep—not that the orbit is a singleton. A singleton requires an additional fixed-point assumption: either a Lorentz-invariant complex structure (never constructed) or a Lorentz-invariant measure on the dual (explicitly left open, citing [67]). The paper's analogy with finite-dimensional Stone–von Neumann is explicitly conceded to fail in infinite dimensions. Thus the factorization corollary and the claimed simplification of representation theory are not established; the central conclusion may be true, but it rests on an unproved uniqueness/trivial-orbit assumption.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes that the Hilbert space of a dressed charged particle in QED or gravity, i.e. a naked one-particle state tensored with a Fock space of soft gauge bosons, can be realized as the carrier space of an irreducible unitary representation of the asymptotic symmetry group extended by logarithmic dual symmetries. The authors introduce extended Poincaré–Maxwell and BMS groups, (3.5) and (3.6), whose normal subgroups contain an infinite-dimensional Heisenberg algebra with central extension (2.3). They argue that, unlike the standard BMS or Poincaré–Maxwell groups whose irreps live on finite-dimensional orbits, the extended groups have irreps labeled by mass, spin, and charge, with carrier spaces factorizing as L²(R³) ⊗ L²(soft). The central representation-theoretic step is the claim that Lorentz transformations act on the dual of the Heisenberg normal subgroup with a single-point orbit, so that the soft part is uniquely determined up to the central charge.","tokens_in":12616,"tokens_out":7359,"duration_ms":64306,"significance":"If correct, the paper would provide a Wigner-like classification of IR-dressed states and would tie the existence of logarithmic asymptotic symmetries to the unitarity and irreducibility of physical Hilbert spaces. It synthesizes recent work on logarithmic symmetries and formulates a sharp question. The paper is honest about the open status of the measure on the soft function space and about the lack of a general classification theorem, which is a strength. However, the decisive representation-theoretic claim is not proved, and the factorization corollary is presented more definitively than the evidence supports.","major_comments":[{"comment":"The decisive step is the assertion that, because Lorentz transformations preserve the full carrier space H, their 'orbit' in the unitary dual of the Heisenberg group \\widehat{LGT×LGT*} 'consists of a single point.' This does not follow. For infinite-dimensional Heisenberg groups, Stone–von Neumann uniqueness fails; inequivalent irreducible representations are parameterized by complex structures on the symplectic space of functions on S² (Shale), and the Lorentz group acts nontrivially on this parameter space through conformal transformations of S². Irreducibility of the full representation only implies that the restriction to the normal subgroup is supported on a single orbit in a direct-integral sense, not that the orbit is a singleton. A singleton would require an explicitly Lorentz-invariant complex structure or a Lorentz-invariant measure on the dual, neither of which is constructed.","section":"Sec. 3, paragraph after 'There is more:'"},{"comment":"The Hilbert space L²(ST*) (or L²(LGT*)) used in the factorization is not a well-defined Hilbert space: ST* is an infinite-dimensional function space with no natural measure, and the authors refer to [67] for the open problem of defining it. Thus the corollary that the dressed Hilbert space factorizes as L²(R³) ⊗ L²(soft) is a formal statement, not a proven result. To make the claim rigorous, one would need to supply a measure (or a Gaussian construction) that is Lorentz-invariant or at least quasi-invariant and compatible with the group action. As it stands, the statement 'we will view the soft Hilbert space abstractly as L²(LGT*)' hides the main difficulty.","section":"Sec. 3, around eqs. (3.5)–(3.7)"},{"comment":"The paper claims that 'it is the criterion of irreducibility that ultimately requires the presence of extended, dual symmetries' and that the answer is given by the specific extensions (3.5)–(3.6). However, the argument exhibits a form of reverse engineering: the Heisenberg extension is chosen precisely so that its Fock representations reproduce the known dressed-state Hilbert space, and then it is asserted that irreducibility forces this structure. No argument is given that excludes other extensions or shows that logarithmic duals are necessary rather than sufficient. The 'requires' wording is therefore too strong relative to the evidence presented.","section":"Abstract and Sec. 4"}],"minor_comments":[{"comment":"The notation for the hatted products is ambiguous: the text says 'the hatted factors on the right-hand side are the Heisenberg groups' but writes \\LGT×LGT*, which looks like an ordinary direct product. Please clarify that (3.5)–(3.6) use the Heisenberg central extension (2.3).","section":"Sec. 3, eqs. (3.5)–(3.6)"},{"comment":"The normalization of the central extension depends on the integration measure on S²; it may be worth stating that the bracket is the L² pairing and that the zero-average condition on η ensures the zero mode of ϵ does not appear, consistently with the separate U(1) factor.","section":"Sec. 2, eq. (2.3)"},{"comment":"The explicit factorization argument is given only for scalar particles, while the abstract and conclusion claim irreps are labeled by mass and spin. Please indicate how the spin multiplicity C^{2s+1} is incorporated and why it does not mix with the soft factor.","section":"Sec. 3, scalar vs. spin"},{"comment":"The definition of density weight w uses both the ratio of volume elements and a Jacobian factor, which looks redundant. Please clarify whether w is the Radon–Nikodym weight or the conformal weight, or remove the redundancy.","section":"Sec. 2, eq. (2.4)"}],"recommendation":"major_revision","confidential_remarks":"The paper is a clear and interesting synthesis of recent work on logarithmic asymptotic symmetries, and the question it poses is worthwhile. However, the central representation-theoretic step is currently a conjecture rather than a proof; if the authors can supply a rigorous treatment of the orbit triviality, or at least a precise statement with explicit assumptions, the paper would be suitable. I recommend major revision with the expectation that the proof be supplied or the claims be appropriately softened."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nThis paper is a genuine synthesis: it assembles the logarithmic asymptotic symmetries of Fuentealba-Henneaux-Troessaert, the dressed-state constructions from Kulish-Faddeev onward, and the Mackey-style orbit analysis of BMS representations, and asks what group's irreps give dressed particles. The package is appealing, and the negative claim — that standard BMS/PMax irreps have finite-dimensional orbits and therefore cannot hold soft Fock spaces — is solid and worth stating.\n\nThe positive claim is where I get off the train. The paper asserts that for the Heisenberg-extended groups, Lorentz invariance of an irrep's carrier space forces the soft Heisenberg subgroup to contribute a single irreducible representation. That does not follow in infinite dimensions. Failure of Stone-von Neumann means there is a continuum of Heisenberg irreps, and Lorentz-invariance of the total space only yields a direct integral over the Lorentz orbit of a chosen irrep. A singleton orbit requires an invariant complex structure or measure; the paper supplies neither and explicitly defers the measure problem to [67]. The authors are candid about not having a classification theorem, but that makes the central claim a conjecture, not a result. The factorization H = L^2(R^3) ⊗ L^2(soft) is imported from the dressing literature, not derived from representation theory. And the abstract's 'cannot be obtained without logarithmic transformations' is too strong: the soft Fock space is old news in coherent-state dressing.\n\nThere are smaller issues: the gravitational charges rely on an unpublished companion [65], and the groups (3.5)-(3.6) are written down without checking that they are well-defined as topological groups with the stated action. The paper is clear about what it is doing, though, and the synthesis is useful: it frames the open problem of classifying these extended-group irreps concretely.\n\nWho should read it: anyone working on infrared structure or asymptotic symmetry groups; it is a provocative hypothesis. It deserves a serious referee — a knowledgeable referee could either close the gap with a theorem or show a counterexample. I'd send it to review, but I would not cite the central claim in its current form.\n\nBest,\n\n[Your name]","headline":"A plausible synthesis that frames the right open problem, but the load-bearing representation-theoretic step is unproved and the abstract oversells the result.","tokens_in":13099,"tokens_out":5004,"would_cite":false,"duration_ms":38632,"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":"The paper argues that infrared-dressed quantum states—a particle wrapped in soft gauge bosons—are precisely the irreducible unitary representations of asymptotic symmetry groups extended with logarithmic dual symmetries and a Heisenberg cen","keywords":["asymptotic symmetries","infrared dressing","soft gauge bosons","Heisenberg central extension","logarithmic symmetries","BMS group","irreducible unitary representations","infrared structure"],"falsifier":"Construct an irreducible unitary representation of the extended group whose restriction to the soft Heisenberg subgroup is a direct integral of inequivalent irreps, or exhibit a Lorentz-invariant state that is not a coherent state of the logarithmic duals; either would break the factorization and the single-orbit step. Alternatively, find two inequivalent irreducible representations of the extended group with the same mass, spin, and charge but inequivalent soft sectors.","tokens_in":12099,"feed_emoji":"⚛️","tokens_out":5510,"duration_ms":43456,"temperature":0.7,"texified_at":"2026-08-05T21:27:10.959656+00:00","pith_summary":"The paper's central claim is that the Hilbert space of a dressed particle (a naked particle plus a cloud of zero-frequency gauge bosons) is not just any construction: it is the carrier space of an irreducible unitary representation of an extended asymptotic symmetry group. Standard asymptotic symmetry groups such as the electromagnetic analogue of the BMS group are too small—their representations live on finite-dimensional orbits and leave no room for soft bosons. Adding logarithmic, canonically conjugate 'dual' symmetries produces an infinite-dimensional Heisenberg central extension, and with it the Lorentz orbits collapse to a point, so the representations are labelled only by mass, spin, and charge while their carrier spaces factorize as a naked particle space times a soft-boson Fock space. If correct, this gives a group-theoretic reason for why infrared dressing is unavoidable and why logarithmic symmetries are not optional extras.","texify_model":"deepseek-v4-flash","texify_usage":{"total_tokens":3671,"prompt_tokens":723,"completion_tokens":2948,"prompt_tokens_details":{"cached_tokens":0},"prompt_cache_hit_tokens":0,"prompt_cache_miss_tokens":723,"completion_tokens_details":{"reasoning_tokens":2291}},"feed_headline":"Soft gauge bosons demand logarithmic symmetries","feed_subtitle":"Dressed particle states are irreducible representations of Heisenberg-extended asymptotic symmetry groups for QED and gravity.","key_machinery":"The infinite-dimensional Heisenberg algebra generated by standard asymptotic charges $Q_\\varepsilon$ (functions $\\varepsilon$ on the celestial sphere) and their logarithmic partners $e Q_\\eta$, with bracket $\\{Q_\\varepsilon, e Q_\\eta\\} = \\int \\sqrt{g} \\, \\varepsilon \\, \\eta$. The bracket is the central extension. Its Lorentz covariance—$\\varepsilon$ and $e F$ carry weight 0 and $F$ and $\\eta$ carry weight 1 (or the analogous weights in gravity)—is what makes the pairing invariant and lets the Lorentz orbit collapse to a point, reducing the representation theory to that of a single soft irrep.","core_discovery":"Dressed states call for logarithmic asymptotic symmetries: the groups whose irreducible unitary representations are dressed particle states are the Heisenberg-extended versions of the asymptotic symmetry groups, denoted in the paper as $\\PMax$ and $\\BMS$. The key structural fact is a non-commutativity between standard large gauge charges/supertranslations and their logarithmic duals, giving a central extension of Heisenberg type. As a result, Lorentz transformations act on soft degrees of freedom but their orbit is a single point; the representation labels reduce to the usual mass, spin, and electric charge, and the carrier space is a tensor product of an $L^2$ space of a naked particle and a space","pith_inferences":["A testable extension: the soft-boson sector should be realizable explicitly as the Fock space of a Gaussian field on the celestial sphere; one can check whether coherent states obtained by acting with logarithmic duals span the full soft space and whether the Lorentz action is irreducible there.","If the Heisenberg central extension is the origin of infrared dressing, one might expect soft theorems and memory effects to be derivable from the representation theory of this extended group alone, without separate assumptions about asymptotic states.","The open problem of defining an invariant measure on the soft space may be sidestepped by algebraic constructions of the representations, in which case the factorization corollary would remain valid even if the L2 picture is not.","The same reasoning could extend to non-Abelian gauge theories or to higher-spin asymptotic symmetries, where analogous logarithmic duals might be required for the dressing to be group-theoretically irreducible."],"forward_implications":["If correct, every infrared-finite dressed state in QED and gravity is a state in an irreducible representation of the extended asymptotic symmetry group; the 'dressing' is not put in by hand but is forced by the group.","The standard asymptotic symmetry groups without logarithmic extensions are demonstrably too small: their induced representations have finite-dimensional orbit spaces, so they can never contain a Fock space of soft gauge bosons.","The central extension is responsible for the factorization of the dressed Hilbert space into a naked one-particle sector and a soft-boson sector, and for the fact that the same labels (mass, spin, charge) as in the undisguised case still classify the states.","In gravity, the extended BMS group's irreducible unitary representations carry the same labels as representations of the ordinary spacetime symmetry group, removing the extra orbit label that would appear in the unextended BMS construction.","The construction suggests that any complete asymptotic symmetry algebra of a gauge or gravitational theory must contain logarithmic duals together with the standard charges."],"fun_headline_variants":["Dressed states demand logarithmic symmetries","Heisenberg extension yields dressed particle states","Logarithmic symmetries unlock dressed-state Hilbert space","Why dressed states need logarithmic asymptotic symmetries","Dressed states split cleanly via logarithmic symmetries"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The argument assumes that an irreducible unitary representation of the extended group restricts to a single irreducible representation of the infinite-dimensional soft Heisenberg subgroup, so that the Lorentz orbit is one point; the paper notes that the standard uniqueness theorem does not hold in infinite dimensions and that the required measure on the soft space is an open problem.","fun_headline_variants_meta":{"raw":{"variants":["Dressed states demand logarithmic symmetries","Heisenberg extension yields dressed particle states","Logarithmic symmetries unlock dressed-state Hilbert space","Why dressed states need logarithmic asymptotic symmetries","Dressed states split cleanly via logarithmic symmetries"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000942,"raw_usage":{"total_tokens":3807,"prompt_tokens":636,"completion_tokens":3171,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":380,"completion_tokens_details":{"reasoning_tokens":3103}},"tokens_in":380,"tokens_out":3171,"duration_ms":17643,"temperature":1.0,"reasoning_tokens":3103,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T21:06:51.133239+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Construct an irreducible unitary representation of the extended group whose restriction to the soft Heisenberg subgroup is a direct integral of inequivalent irreps, or exhibit a Lorentz-invariant state that is not a coherent state of the logarithmic duals; either would break the factorization and the single-orbit step. Alternatively, find two inequivalent irreducible representations of the extended group with the same mass, spin, and charge but inequivalent soft sectors.","supporting_citations":[],"review_version":1}