{"id":"77de9933-f7ff-4577-9c69-2d9764350fab","arxiv_id":"2609.09550","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":1,"one_line_summary":"A direct Fourier transform between partition functions of a 2D theory with G symmetry and its orbifold with Rep(G) non-invertible symmetry is constructed and tested.","lead":"This paper develops a direct method to compute partition functions of two-dimensional quantum field theories with non-invertible symmetry from those with ordinary group symmetry. It provides a systematic Fourier transform between these descriptions using representation theory.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek/deepseek-v4-flash","headline":"No significant objection identified; the construction for finite groups is rigorous and the Lie-group extension is explicitly acknowledged as formal.","rationale":"The reader identified the Lie-group extension as the weakest assumption, which I concur with. However, this does not affect the central claim's validity for finite groups, which is the paper's primary contribution. The finite-group derivations are complete and self-contained, and the formal Lie-group part is transparently limited. Hence no change to the ACCEPT verdict is warranted.","tokens_in":60286,"tokens_out":1852,"duration_ms":18154,"concrete_test":"For the Rep(A4) example (§5), pick a concrete set of β-parameters (e.g., set all β_i = 1) and numerically evaluate the forward Fourier kernel W for the multiplicity-two channel Z⊗Z→Z using the explicit C-matrices from eq. (5.10). Then compute the inverse kernel C via eq. (3.70) and verify that for a randomly chosen vector of G-background partition functions Z_{g,h}, the composition of forward and inverse transformations indeed returns the original Z_{x,y} (up to conjugation orbit averaging as described in §3.4). This would confirm the algebraic consistency of the higher-multiplicity construction.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is established rigorously for finite groups through explicit construction of the Fourier kernel and its inverse using representation theory, with multiple worked examples confirming consistency. The extension to compact Lie groups is presented as a formal analogue with an explicit caveat (Section 6) that the treatment of irregular strata is not fully controlled. This acknowledged limitation does not undermine the core results for finite groups, which are the main body of the paper. I find no hidden assumption or internal inconsistency that would threaten the central claim within its stated scope.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek/deepseek-v4-flash","summary":"This paper constructs a direct Fourier transform between partition functions of a 2D theory TG in flat non-abelian group G backgrounds and partition functions of the orbifold theory T~_{Rep(G)} in arbitrary resolved Rep(G) defect networks. The forward kernel is derived by transporting Wilson lines through commuting G holonomies and contracting with intertwiner data; the inverse kernel follows from dressing the regular Frobenius algebra A=Fun(G) with commuting right-regular actions. The construction is carried out in full detail for finite groups (S3, D4, Q8, A4) and is extended formally to compact Lie groups with Rep(SU(2)) as an example. The finite-group examples are verified to satisfy the consistency condition that composing the forward and inverse transforms recovers the original G backgrounds, up to a redundancy projector.","tokens_in":60481,"tokens_out":1793,"duration_ms":18390,"significance":"If the result holds, it provides an explicit, representation-theoretic method to relate flat G backgrounds to non-invertible Rep(G) backgrounds without invoking modular covariance. The kernel coefficients are computed locally from the representation data of G, making the approach potentially useful for studying non-invertible symmetries in a wide class of 2D theories. The construction also gives a concrete example of a Fourier transform between ordinary and categorical symmetry backgrounds, which may aid in understanding generalized orbifolds and symmetry-resolved partition functions.","major_comments":[],"minor_comments":[{"comment":"The gauge choice that leads to the simple relation (3.70) between C and W kernels is presented after a fair amount of algebra; a brief motivating remark before Eq. (3.49) would help the reader understand why the orthogonality/completeness conditions (3.49) and the specific forms (3.51) are selected.","section":"§3.4"},{"comment":"The examples in Section 4 are extensive and contain many similar expressions. A summary table collecting the key data (group, irreducible representations, fusion rules, and the resulting p-coefficients or inverse kernels for a representative set of conjugacy classes) would improve readability and allow easier comparison across groups.","section":"§4"},{"comment":"The discussion of the measure on the commuting-pair moduli space M, Eqs. (6.85)–(6.92), uses a regularisation that is natural but could be stated more explicitly as a cutoff introduced to handle the formal δ-function; a remark that the regularisation is chosen so that the final result (6.110) matches the standard flat-gauging expression would be helpful.","section":"§6"},{"comment":"The paper is generally well written, but the notation for intertwiners and co-intertwiners (I and I^∨, with Greek indices) is dense. A one-page notation guide or a table of symbols would assist readers less familiar with the representation-theoretic conventions.","section":"General"}],"recommendation":"accept","confidential_remarks":"The finite-group part of the paper is mathematically rigorous and the examples are worked out in full detail. The extension to Lie groups is explicitly flagged as formal and is not essential to the core claim. The paper is a solid contribution that should be of interest to the hep-th community working on generalized symmetries. No concerns about novelty or scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek/deepseek-v4-flash","letter":"This paper does what the modular bootstrap approach does not: it gives a direct algebraic formula for the kernel that maps flat G backgrounds to Rep(G) defect networks, without needing modular covariance as a crutch. The machinery—Wilson-line transport, resolution of junctions, dressing the regular Frobenius algebra—is well organized and yields explicit coefficients. The inverse kernel and the consistency check (regauging returns the original theory) are worked out cleanly, and the gauge that makes C proportional to W is a nice touch.\n\nThe finite-group examples (S3, D4, Q8, A4) are thorough and cross-checked against prior literature where possible. The A4 case, with its multiplicity-two channel, shows the framework handles degeneracies without compressing them. There is no circular reasoning: the kernel coefficients come from representation theory alone, not from partition functions.\n\nThe Lie-group extension (SU(2)) is a formal analogue. The authors are upfront about the ill-defined measure on the moduli space of commuting pairs and about the need to regularize irregular strata. Their regularization via Peter-Weyl cutoffs and character delta-functions is plausible but not rigorous. Section 6 should be read as a roadmap, not a proof. That is fine as long as the paper is sold as a finite-group result with a Lie-group outlook.\n\nSoft spots: The paper is long (73 pages) and the examples, while valuable, are voluminous. Some readers might want a shorter, more conceptual account. The physical interpretation of the resolved defect partition functions in specific CFTs is not pursued; the paper stays at the formal partition-function level. That is not a flaw but limits immediate applicability.\n\nVerdict: This is a solid, honest paper. The finite-group part is complete and correct. The Lie-group part is openly incomplete. I would bring it to reading group for the finite-group method. I would cite it for the direct kernel construction. It deserves peer review—it will pass after minor revisions (e.g., clarifying the regularization assumptions in Section6). I recommend accept.","headline":"A clean representation-theoretic derivation of the Fourier kernel for non-invertible symmetry backgrounds, rigorous for finite groups and formally extended to Lie groups.","tokens_in":60943,"tokens_out":1336,"would_cite":true,"duration_ms":13910,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek/deepseek-v4-flash","headline":"Explicit Fourier transform links flat gauge backgrounds to non-invertible symmetry networks in 2D.","keywords":["non-invertible symmetry","Rep(G) symmetry","orbifold","topological defect network","Fourier transform","flat gauging","Clebsch-Gordan coefficients","Frobenius algebra"],"falsifier":"For a finite group G, one could compute a specific defect network partition function using the present direct kernel (1.1) and compare it to the result obtained from the modular bootstrap method of [44]; any discrepancy beyond the allowed gauge choices (e.g., the sign factor ϵ(p,q) for D4) would indicate a mistake in either method.","tokens_in":61902,"feed_emoji":"🔀","tokens_out":2426,"duration_ms":23760,"temperature":0.7,"pith_summary":"This paper constructs a direct Fourier transform between the partition functions of a 2D theory carrying a finite group symmetry G and those of its orbifold theory, which carries the non-invertible quantum symmetry Rep(G). The forward transform expresses any partition function in a resolved Rep(G) defect network as a linear combination of partition functions in flat G backgrounds, with coefficients computed purely from the representation theory of G without using modular covariance. The inverse transform is derived by dressing the regular Frobenius algebra of Rep(G) with commuting right-regular actions, which resolves each flat G background into a sum over defect networks. The construction is worked out explicitly for finite groups S3, D4, Q8, and A4 (including a channel with fusion multiplicity), and extended formally to compact Lie groups via Rep(SU(2)) using Clebsch-Gordan coefficients and Peter-Weyl expansions. The paper provides a systematic, parameterization-free method to compute non-invertible symmetry backgrounds, which is essential for studying the response of theories with non-invertible symmetries without bootstrapping from modular transformations.","feed_headline":"Explicit Fourier transform for non-invertible symmetry backgrounds","feed_subtitle":"Direct computation of Rep(G) defect network partition functions from flat gauge backgrounds without modular bootstrap","key_machinery":"The central machinery is the construction of Fourier kernels W and C using the representation theory of G. For the forward kernel, the Wilson lines of irreducible representations ρ, σ are transported through the flat G background with commuting holonomies (g,h); the kernel W is the trace over E_ρ ⊗ E_σ of the composition: S_{σ,ρ} ∘ (σ(g) ⊗ ρ(e)) ∘ $I^{{∨ σ,ρ}}$_{λ;j} $I^{{λ;i}}$_{ρ,σ} ∘ (ρ($h^{{-1}}$) ⊗ σ(e)). For the inverse kernel, the regular Frobenius algebra A = ⊕_{σ} d_σ σ is decomposed using embeddings J_{ρ,r} and projections J^∨_{ρ,r} defined via the Peter-Weyl basis. Dressing the multiplication and comultiplication with right-regular actions R_y and R_{$x^{{-1}}$} produces modified maps that can be expanded in the same intertwiner bases, yielding coefficients M and M^∨ whose contraction gives the inverse kernel C. For Lie groups the sums become integrals, and the same construction reproduces the expected Cartan torus form of flat gauging on the regular stratum using Clebsch-Gordan coefficients and Peter-Weyl matrix elements.","core_discovery":"The paper establishes that the partition function of a 2D theory after gauging a non-abelian finite group G, in a general Rep(G) topological defect network on the torus, can be expressed as a sum over commuting pairs of holonomies (g,h) in G, weighted by a kernel derived by transporting the Wilson lines of the dual representations through the flat G background and contracting with intertwiners and co-intertwiners. Conversely, any flat G background partition function can be recovered from the set of Rep(G) defect network partition functions via an inverse kernel that emerges from decorating the regular Frobenius algebra A = Fun(G) with right-regular actions. For multiplicity-free fusion rules, the forward kernel reduces to a character projector multiplied by a proportionality factor; for higher-multiplicity cases (e.g., A4), the full junction space is resolved and the character projector alone is insufficient. The inverse kernel satisfies a simple relation to the forward kernel: C_{\\rho,\\$\\sigma$}^{\\$\\lambda$;i,j}(x,y) = (d_\\rho d_\\$\\sigma$ / d_\\$\\lambda$) W_{\\$\\sigma$,\\rho}^{\\$\\lambda$;j,i}(y,x). The construction extends to compact Lie groups, where sums become Peter-Weyl integrals, and regauging Rep(SU(2)) formally yields the original flat SU(2) partition function, provided the measure is regularized by cutting off the sum over representations.","pith_inferences":["The Fourier kernels W and C provide a concrete dictionary between two descriptions of the same physical theory: one with ordinary group symmetry G and one with non-invertible symmetry Rep(G). This dictionary may allow the transfer of results from group-theoretic computations (e.g., anomaly matching) to non-invertible settings without directly handling the full fusion category data.","The fact that the inverse kernel is proportional to the forward kernel with swapped indices suggests a kind of duality relation that may hold more generally for any pair of fusion categories related by a Morita equivalence, for example between Rep(G) and the category of G-graded vector spaces.","The regularisation required for the Lie group case (cutoff in representation sum to handle the Dirac delta on the commuting pair moduli space) indicates that the flat gauging of a continuous group is not a purely topological operation but involves an infinite-dimensional Hilbert space structure; the final result depends on how the cutoff is taken, which may be related to the choice of the Frobeniu"],"forward_implications":["One can compute the partition function of an orbifold theory in any resolved Rep(G) defect network on the torus directly from the representation data of G, without solving modular bootstrap equations.","The inverse transform provides a systematic way to recover any flat G background partition function from the set of all Rep(G) network partition functions, confirming that gauging and regauging are inverses on the physical image.","The method extends straightforwardly to higher-genus Riemann surfaces by resolving the defect network into trivalent junctions and following the same transport rule.","For finite groups with higher-multiplicity fusion rules (e.g., A4), the construction keeps the full multiplicity space explicit, avoiding the compression that occurs when only character projectors are used.","The formal extension to Rep(SU(2)) shows that the Fourier transform approach can be applied to continuous groups, giving a candidate definition of flat gauging for non-abelian Lie groups in 2D."],"supporting_citations":[{"why":"Provides the modular bootstrap results for Rep(S3), Rep(D4), Rep(Q8) that the present paper reproduces and extends, serving as a benchmark for the direct kernel calculation.","marker":"[44]"},{"why":"Developed an explicit procedure for quantum Rep(G) symmetry of non-abelian orbifolds using modular covariance; the present paper complements that by offering a direct representation-theoretic calculation without modular input.","marker":"[42]"},{"why":"Introduced the categorical description of Rep(G) as a fusion category and the notion of gauging by Frobenius algebra condensation, which is the conceptual foundation of the present transform.","marker":"[33]"},{"why":"Developed the orbifold groupoid and topological interfaces, providing the framework for successive gaugings that the present paper's inverse transform fits into.","marker":"[34]"},{"why":"Early work on the operator algebra of orbifold models, establishing the role of Rep(G) as the quantum symmetry, which is the object being studied here.","marker":"[41]"},{"why":"Provides the character orthogonality relations for SU(2) used in the Lie-group extension, particularly the identity relating sums of characters to Dirac deltas on group elements.","marker":"[50]"}],"fun_headline_variants":["Fourier transform for non-invertible symmetry in 2D","Dual partition functions via Rep(G) defect networks","Inverse maps for flat gauge and Rep(G) backgrounds","Two-dimensional non-invertible symmetry duality","Explicit kernel for Rep(G) partition functions"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The construction for compact Lie groups (e.g., Rep(SU(2))) assumes that the flat gauging procedure can be defined by cutting off the representation sum and that contributions from irregular strata (where the centralizer is larger than the Cartan torus) do not affect the final result; these contributions are not analytically controlled.","fun_headline_variants_meta":{"raw":{"variants":["Fourier transform for non-invertible symmetry in 2D","Dual partition functions via Rep(G) defect networks","Inverse maps for flat gauge and Rep(G) backgrounds","Two-dimensional non-invertible symmetry duality","Explicit kernel for Rep(G) partition functions"]},"model":"deepseek/deepseek-v4-flash","effort":"low","cost_usd":0.000489,"raw_usage":{"cost":0.000489468,"is_byok":false,"cost_details":{"upstream_inference_cost":0.000489468,"upstream_inference_prompt_cost":0.000113148,"upstream_inference_completions_cost":0.00037632},"total_tokens":2357,"prompt_tokens":1013,"completion_tokens":1344,"prompt_tokens_details":{"audio_tokens":0,"video_tokens":0,"cached_tokens":256,"cache_write_tokens":0},"completion_tokens_details":{"audio_tokens":0,"image_tokens":0,"reasoning_tokens":1265}},"tokens_in":1013,"tokens_out":1344,"cost_source":"openrouter_usage","duration_ms":13688,"image_pages":[],"temperature":1.0,"reasoning_tokens":1265,"transport_provider":"openrouter","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-09-10T14:25:38.169896+00:00","model_set":{"reader":"deepseek/deepseek-v4-flash"},"falsifier":"For a finite group G, one could compute a specific defect network partition function using the present direct kernel (1.1) and compare it to the result obtained from the modular bootstrap method of [44]; any discrepancy beyond the allowed gauge choices (e.g., the sign factor ϵ(p,q) for D4) would indicate a mistake in either method.","supporting_citations":[{"cited_title":"Notes on noninvertible quantum symmetries in two dimensions","cited_arxiv_id":"2606.08387","evidence_quote":"Provides the modular bootstrap results for Rep(S3), Rep(D4), Rep(Q8) that the present paper reproduces and extends, serving as a benchmark for the direct kernel calculation."},{"cited_title":"Notes on gauging noninvertible symmetries, part 1: Multiplicity-free cases","cited_arxiv_id":"2311.16230","evidence_quote":"Developed an explicit procedure for quantum Rep(G) symmetry of non-abelian orbifolds using modular covariance; the present paper complements that by offering a direct representation-theoretic calculation without modular input."},{"cited_title":"On finite symmetries and their gauging in two dimensions","cited_arxiv_id":"1704.02330","evidence_quote":"Introduced the categorical description of Rep(G) as a fusion category and the notion of gauging by Frobenius algebra condensation, which is the conceptual foundation of the present transform."},{"cited_title":"Orbifold groupoids","cited_arxiv_id":"2008.05960","evidence_quote":"Developed the orbifold groupoid and topological interfaces, providing the framework for successive gaugings that the present paper's inverse transform fits into."},{"cited_title":"Dijkgraaf, C","cited_arxiv_id":null,"evidence_quote":"Early work on the operator algebra of orbifold models, establishing the role of Rep(G) as the quantum symmetry, which is the object being studied here."},{"cited_title":"Two Dimensional Gauge Theories Revisited","cited_arxiv_id":"hep-th/9204083","evidence_quote":"Provides the character orthogonality relations for SU(2) used in the Lie-group extension, particularly the identity relating sums of characters to Dirac deltas on group elements."}],"review_version":1}