{"id":"4f0c88b1-284f-4afd-a0a5-b180697d7fe4","arxiv_id":"1908.10385","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Maxwell theory on AdS_d has two boundary gauge symmetry sectors, source and response, whose soft charges obey an infinite-dimensional Heisenberg algebra; only the source sector survives the flat-space limit.","lead":"On anti-de Sitter spacetimes, Maxwell's electromagnetic fields admit two independent families of boundary gauge symmetries, called source and response, whose conserved charges form an infinite-dimensional Heisenberg algebra. Because AdS is the setting for the AdS/CFT correspondence in quantum gravity, this result sharpens how electromagnetic memory-like degrees of freedom could appear on the holographic boundary.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Response charges may be gauge artifacts: the λ_R transformation leaves the boundary gauge field A_μ invariant, and the Heisenberg algebra (5.4) is not shown to survive removal of this decomposition redundancy.","rationale":"The paper's construction is internally coherent: the boundary conditions (3.22)–(3.26) and constraints (4.4) do produce a conserved symplectic form (4.7) and charges (5.2) whose bracket is (5.4). The mode expansion of Appendix A gives the central term 2i via the Wronskian (A.5), so the algebra is not a sign or factor error. The flat-space limit in §7 is a useful consistency check and independently supports the existence of the source sector. However, the central claim is load-bearing on the physical status of the response sector, which the paper does not secure. The λ_R transformation changes only the decomposition variables Ψ,  while leaving the boundary gauge field A_μ unchanged, and the source charge Q_S is not invariant under it. In a standard gauge theory such a redundancy would be quotiented out and its generator would vanish on physical states; the paper instead assigns it a nonzero charge and a nonzero bracket with Q_S, without explaining why λ_R is a global rather than gauge symmetry. This is a gap, not a demonstrated inconsistency; a Hamiltonian reduction could go either way. Hence the reader's CONDITIONAL verdict is preserved, with the condition sharpened to the response-sector interpretation.","tokens_in":24222,"tokens_out":25525,"duration_ms":275002,"concrete_test":"Perform a Hamiltonian reduction of the boundary phase space: take the symplectic form (4.7), identify the constraint generated by λ_R, and impose Q_R = 0 on physical states (or, equivalently, fix the gauge Ψ = 0 by a λ_R transformation and recompute the charges (5.2) and bracket (5.3)). If the reduced phase space yields Q_R = 0 and {Q_S, Q_R} = 0, the two-sector Heisenberg algebra does not survive the removal of the decomposition ambiguity, and the central claim is not established. If instead a gauge-invariant combination of Q_S and Q_R reproduces (5.4), the concern is resolved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (5.4) depends on treating the split of the O(ρ^{3−d}) boundary mode, A_μ^{(3−d)} = ℓ(∂_μ Ψ + Â_μ) with D^μ Â_μ = 0 (Eq. 3.24), as physical, with λ_R (δΨ = λ_R, δÂ_μ = −∂_μ λ_R, δΦ = 0; Eq. 3.26) as a legitimate 'response' symmetry. But this transformation leaves the boundary gauge field A_μ(x) unchanged at every order in ρ, so it is a pure redundancy of the field redefinition, not a change of any bulk or boundary physical field. In a standard constrained system, such a redundancy has a generator that must vanish on physical states; the paper instead defines nonzero charges Q_R_λ[Φ] (Eq. 5.2) and finds {Q_S, Q_R} ≠ 0 (Eq. 5.3). Moreover, Q_S_λ[Ψ] is not invariant under λ_R: a shift Ψ → Ψ + λ_R changes it by ∮ √h τ^μ(λ D_μ λ_R − λ_R D_μ λ), generically nonzero. Thus the source and response charges are representation-dependent unless an additional physical criterion fixes the (Ψ, Â) split or the paper shows λ_R is a global rather than gauge symmetry. The paper provides neither, so the Heisenberg algebra may be an artifact of an unfixed decomposition of the boundary data.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies asymptotic symmetries and conserved charges for Maxwell theory on AdS_d (d>3) in de Sitter slicing. After fixing radial gauge and imposing a specific falloff class, the authors decompose the boundary gauge field into a scalar Φ, a scalar Ψ, and a transverse vector Â_μ. They identify two sets of boundary gauge transformations, 'source' (λ_S) and 'response' (λ_R), construct a conserved symplectic form by adding a boundary term, and compute the associated charges Q_S and Q_R. Their central claim is that these charges form an infinite-dimensional Heisenberg algebra, Eq. (5.4). They also analyze charges for the AdS isometry group, show that improved AdS-translation charges are integrable only after field-dependent gauge transformations, and take a large-AdS-radius limit in which only the source charges survive, matching known flat-space results. The paper closes with a discussion of AdS/CFT implications.","tokens_in":24515,"tokens_out":5513,"duration_ms":54656,"significance":"If the construction is sound, the paper would provide the first systematic account of asymptotic symmetry charges for Maxwell theory on AdS_d in d>3, with a new 'response' sector absent in flat space. The explicit boundary action (4.9), the conserved symplectic form (4.7), the analysis of AdS isometry charges, and the flat-space limit are concrete and potentially useful for holographic studies of soft modes. The authors also make a falsifiable prediction: only source charges survive in the flat limit. These are nontrivial strengths. The central difficulty is the physical status of the response transformations, which the paper itself says 'seems arbitrary' in Sec. 3.2; until that ambiguity is resolved, the Heisenberg algebra remains an assertion about a field redefinition redundancy rather than a demonstrated symmetry of the physical theory.","major_comments":[{"comment":"The λ_R transformations leave the boundary gauge field A_μ invariant everywhere: δ_λ Ψ = λ_R and δ_λ Â_μ = -∂_μ λ_R combine to δ_λ A_μ = 0. Thus λ_R is a pure redundancy of the decomposition (3.24), not a transformation of any bulk or boundary gauge-invariant field. Nevertheless, the paper assigns these transformations nonzero charges Q_R (Eq. 5.2) and finds {Q_S, Q_R} ≠ 0 (Eq. 5.3). Moreover, Q_S_λ[Ψ] is not invariant under λ_R: a shift Ψ → Ψ + λ_R changes Q_S_λ[Ψ] by ∮ √h τ^μ(λ D_μ λ_R - λ_R D_μ λ), which is generically nonzero. The paper acknowledges in Sec. 3.2 that 'at this stage the separation of A_μ into Ψ and Â_μ parts seems arbitrary', but does not supply a criterion fixing the (Ψ, Â_μ) split. Unless the authors show that λ_R is a global symmetry rather than a gauge redundancy, or demonstrate that Q_R vanishes on the physical phase space after imposing the corresponding first-class constraint, the Heisenberg algebra (5.4) appears to be an artifact of an unfixed field-redefinition redundancy. This is a load-bearing point that must be addressed explicitly.","section":"Sec. 3.2, Eqs. (3.24)-(3.26)"},{"comment":"The claim that the improved AdS-translation charges are integrable relies on the assertion that the boundary one-form B in Eq. (B.10) vanishes after 'a lengthy but straightforward calculation'. This calculation is not presented. Since integrability of these charges is used in Sec. 6.3 to conclude that Q_S and Q_R commute with the Hamiltonian and hence have zero bulk energy (Eq. (6.36b)), the omitted proof should be supplied or at least sketched in sufficient detail for the reader to verify that all boundary terms cancel under the stated falloffs and constraints.","section":"Appendix B, Eqs. (B.9)-(B.11)"},{"comment":"The boundary falloffs are imposed rather than derived. In particular, the choices A_μ ~ O(1) + O(ρ^{3-d}), D^2 Φ = 0, D^μ Â_μ = 0, and D^2 λ_S = D^2 λ_R = 0 are selected so that the symplectic flux vanishes, but alternative relaxed boundary conditions (for example, standard Dirichlet conditions that remove the large gauge transformations, or other subleading falloffs) would change or eliminate the source and response charges. The paper should state more prominently that the central result is conditional on this specific falloff class and discuss how robust the Heisenberg algebra is under small perturbations of the boundary conditions.","section":"Sec. 3.2, Eqs. (3.22)-(3.26)"}],"minor_comments":[{"comment":"The metric expression is garbled: it should read ds^2 = ℓ^2 dρ^2/(ρ^2+ℓ^2) + ρ^2 h_μν dx^μ dx^ν; as printed, the formula is missing the denominator and the plus signs are misplaced.","section":"Sec. 2.1, Eq. (2.8)"},{"comment":"The passage from (4.7) to (4.8) is not fully explained: the bulk term in (4.7) is written as δF^{ab} δA_b, while after substituting A_a = ∂_a Φ + Ā_a one obtains the second line of (4.8) only after using the equations of motion. A brief indication of this step would improve readability.","section":"Sec. 4.1, Eq. (4.8)"},{"comment":"The dictionary Ψ_★ = (3-d)Ψ and E^{>0}_ν = (3-d)Â_ν in the flat limit is given without derivation; a short explanation of the origin of the factor (3-d) would help readers connect the flat-space and AdS normalizations.","section":"Sec. 7, Eq. (7.20)"},{"comment":"The notation ∂Σ_τ is used for the boundary of a constant-time slice in the bulk, but in Eq. (C.8) it also denotes the sphere at the AdS boundary. These two objects are different co-dimension surfaces; a distinct notation (e.g., ∂Σ_τ^B) would avoid confusion.","section":"Appendix C"}],"recommendation":"major_revision","confidential_remarks":"The central concern in the main report is the physical status of the response sector: if λ_R is a pure gauge redundancy, the Heisenberg algebra is not a symmetry of the physical phase space. The paper can potentially address this by clarifying the boundary phase space reduction or by identifying a physical observable that fixes the (Ψ, Â_μ) split. If the authors cannot do so, the main claim should be substantially weakened. The omitted calculation in Appendix B should also be supplied."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper constructs a conserved boundary symplectic form for Maxwell on AdS_d, identifies source and response boundary gauge transformations, and derives an infinite-dimensional Heisenberg algebra between their charges. The flat-space limit recovers the known source charges at spatial infinity, which is a real consistency check. The construction is internally coherent, and the response sector is genuinely new relative to the flat-space literature.\n\nThe novelty is real: the Heisenberg algebra in (5.4) and the boundary symplectic form (4.7) are not in the cited papers. The flat-space limit, where only the source charges survive, is a nontrivial check and the paper does it carefully. The authors also show that the soft charges commute with the AdS-translation charges (so they have zero bulk energy) and that Lorentz charges act as expected.\n\nThe soft spots are real but not all equal. First, the boundary falloffs in (3.22)-(3.26) are chosen so that the symplectic flux vanishes; the paper does not defend them against other relaxed falloff classes, and the reader's conditional verdict is fair on that count. Second, and more serious, is the status of the response transformations. The transformation lambda_R shifts Psi and Ahat_mu in a way that leaves the boundary gauge field A_mu invariant at every order in rho. The paper treats this as a large gauge symmetry, but it could equally be a redundancy of the Hodge-type decomposition A_mu = l(d_mu Psi + Ahat_mu). If it is a redundancy, the charge Q_R should vanish on physical states, and the Heisenberg bracket {Q_S, Q_R} would be an artifact. The paper does not provide a principle that fixes the split or shows that lambda_R is a global rather than a gauge symmetry. The fact that Q_S[Psi] is not invariant under lambda_R makes the charges representation-dependent unless such a principle exists. This is the main question a referee should push on.\n\nA smaller issue: the integrability of the AdS-translation charges is delegated to a 'lengthy but straightforward' calculation in appendix B that is not shown. This is fixable, but it is load-bearing for the isometry sector.\n\nMy overall take: this is a serious contribution to the asymptotic-symmetry program, and the authors are honest about the arbitrary split at the start and about the omitted calculation. But the central claim is conditional. I would not yet build a follow-up on the response charges. I would send the paper to a serious referee and ask specifically whether lambda_R changes any gauge-invariant observable; that determines whether the Heisenberg algebra is physical or a gauge artifact.","headline":"A coherent construction of source/response soft charges for Maxwell on AdS_d, with the response charges' physical status unsettled; worth refereeing, not yet a solid foundation for follow-up work.","tokens_in":25054,"tokens_out":8222,"would_cite":false,"duration_ms":83691,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["11.15.-q","04.62.+v"],"model":"deepseek-v4-flash","headline":"Maxwell theory on AdS_d has two boundary gauge sectors whose conserved soft charges close into an infinite-dimensional Heisenberg algebra.","keywords":["asymptotic symmetries","soft charges","Maxwell theory","anti-de Sitter space","Heisenberg algebra","large gauge transformations","boundary gauge transformations","AdS/CFT"],"falsifier":"Compute the boundary symplectic flux $\\omega_{\\rm flux}=(3-d)\\sqrt{h}\\,(\\delta\\Psi D^2\\delta\\Phi+D^\\mu\\delta\\hat{A}_\\mu\\,\\delta\\Phi)$ for a solution of Maxwell's equations in radial gauge whose boundary data satisfy all the falloffs (3.22)--(3.26) except $D^2\\Phi=0$. If a solution with $D^2\\Phi\\neq 0$ has nonvanishing integrated flux between two $\\tau$ slices, then the conserved symplectic form (4.7), and with it the Heisenberg algebra (5.4), holds only inside the chosen gauge class and fails for that physically allowed falloff.","tokens_in":57,"feed_emoji":"⚡","tokens_out":9875,"duration_ms":154593,"temperature":0.7,"pith_summary":"Maxwell theory on anti-de Sitter space in dimension $d>3$ is claimed to have two independent layers of boundary gauge symmetry, not just one. The first layer, called source, is the large gauge transformation left over after fixing radial gauge $A_\\rho=0$; the second, called response, comes from the freedom to split the boundary gauge field into an exact part and a transverse part. After adding a boundary term so that the symplectic form is conserved, the two layers carry soft conserved charges that commute within each layer but not with each other, forming an infinite-dimensional Heisenberg algebra. If this is right, AdS electromagnetism has a canonically conjugate pair of boundary soft variables, and the flat space limit keeps only the source sector.","feed_headline":"AdS Maxwell carries two noncommuting soft charge layers","feed_subtitle":"Source and response boundary charges bracket into a Heisenberg algebra; flat space keeps only source charges.","key_machinery":"The load-bearing object is the pair of boundary scalars $(\\Phi,\\Psi)$, defined through the radial-gauge expansion $A_\\mu=\\partial_\\mu\\Phi+\\rho^{3-d}(\\ell(\\partial_\\mu\\Psi+\\hat{A}_\\mu))+\\cdots$, with both $\\Phi$ and $\\Psi$ solving the scalar Laplace equation on the de Sitter boundary, $D^2\\Phi=0=D^2\\Psi$, and $\\hat{A}_\\mu$ transverse. The conserved symplectic form is $\\Omega=\\int_{\\Sigma_\\tau}\\omega+(3-d)\\oint_{\\partial\\Sigma_\\tau}\\sqrt{h}\\,\\tau^\\mu(\\delta\\Psi D_\\mu\\delta\\Phi+\\delta\\hat{A}_\\mu\\delta\\Phi)$; this boundary term is what turns the non-conserved bulk symplectic structure into a well-defined one. The source and response charges are the boundary integrals $Q^S_\\lambda=\\oint\\sqrt{h}\\,\\tau^\\mu(\\lambda_S D_\\mu\\Psi-\\Psi D_\\mu\\lambda_S)$ and $Q^R_\\lambda=\\oint\\sqrt{h}\\,\\tau^\\mu(\\lambda_R D_\\mu\\Phi-\\Phi D_\\mu\\lambda_R)$. Their Poisson bracket is controlled by the Wronskian of the two independent solutions $\\psi^\\pm_{l,m_i}$ of the boundary Laplace equation, normalized so that $\\psi^-\\partial_\\tau\\psi^+-\\psi^+\\partial_\\tau\\psi^-=2i$; this normalization is the direct origin of the factor $2i$ in the Heisenberg algebra (5.4).","core_discovery":"The paper's central claim is that the boundary phase space of Maxwell theory on $AdS_d$ ($d>3$) is governed by two scalars, $\\Phi$ and $\\Psi$, together with a transverse vector $\\hat{A}_\\mu$. $\\Phi$ is the leading pure-gauge part of $A_\\mu$ and is shifted by source gauge transformations, while $\\Psi$ comes from the decomposition $A_\\mu=\\ell(\\partial_\\mu\\Psi+\\hat{A}_\\mu)$ and is shifted by response gauge transformations. On the chosen falloff class the bulk symplectic form is not conserved by itself, but the addition of the boundary term (4.7) makes it conserved and yields the boundary action (4.9). The conserved charges $Q^S_\\lambda[\\Psi]$ and $Q^R_\\lambda[\\Phi]$ then obey an infinite-dimensional Heisenberg algebra, with the bracket $\\{Q^S_{\\sigma,l,m_i},Q^R_{\\sigma',l',m_i'}\\}=2i\\,\\delta(\\sigma\\sigma'+1)\\delta_{l,l'}\\delta_{m_i,m_i'}$ and vanishing brackets within each sector. The paper also establishes that these soft charges have zero bulk energy, commute with AdS translation charges, transform correctly under the Lorentz subgroup, and that in the $\\ell\\to\\infty$ flat limit only the source charges survive while the response charges become subleading.","pith_inferences":["If the paper's boundary picture survives in AdS/CFT, the dual CFT should contain a pair of boundary operators with opposite scaling dimensions whose charge brackets have a constant central term; a contact term of this kind in boundary current correlators would be a direct signature of the Heisenberg sector.","The same de Sitter slicing and source/response decomposition can be attempted for p-form gauge fields and for gravity; for gravity, a nonzero Heisenberg-type extension would refine the standard statement that the AdS$_d$ asymptotic symmetry algebra is just $SO(d-1,2)$, so searching for the analogue of (5.4) is a sharp test.","The antipodal matching that is forced in flat space is optional in AdS; a concrete extension is to decide whether physical boundary states must be projected onto CPT-even combinations of soft modes, and to check which charge combinations remain well defined after that projection."],"forward_implications":["Every physical configuration in this falloff class carries both a source and a response charge for each boundary harmonic, and the two are canonically conjugate: in a quantum theory the source and response soft sectors obey an uncertainty-type relation.","All electric multipoles in AdS have the same near-boundary falloff $\\rho^{3-d}$, so a boundary observer can read off every multipole charge from ordinary $O(1)$ large gauge transformations, unlike in flat space where higher multipoles fall off faster.","The soft charges commute with all AdS-translation charges, including the Hamiltonian, so they are genuinely soft: they label zero-energy sectors of the boundary phase space.","In the $\\ell\\to\\infty$ flat space limit the response charges disappear, so the infinite Heisenberg algebra degenerates to the abelian algebra of flat-space source charges at spatial infinity."],"supporting_citations":[{"why":"Supplies the radial-evolution/holographic renormalization viewpoint used to set boundary data and the boundary action for Phi and Psi.","marker":"[18]"},{"why":"Justifies the initial+boundary value formulation on non-globally-hyperbolic AdS that underlies the choice of constant-tau slices and boundary conditions.","marker":"[16]"},{"why":"Provides the definition of a charge as the generator of a transformation on phase space via the symplectic form, used to derive the source and response charges.","marker":"[33]"},{"why":"Gives the flat-space conserved symplectic form at spatial infinity to which the AdS construction is compared in the large-radius limit.","marker":"[22]"},{"why":"Supplies the arbitrary-dimension flat-space source charge construction and symplectic form recovered as the flat limit in section 7.","marker":"[26]"},{"why":"Provides the Hamiltonian/Regge-Teitelboim analysis of asymptotic symmetries at spatial infinity used as a comparison for charge integrability.","marker":"[23]"},{"why":"Extends flat-space asymptotic electromagnetism to higher dimensions, the baseline for the statement that only source charges survive the flat limit.","marker":"[24]"}],"fun_headline_variants":["Two soft charge families on AdS Maxwell form Heisenberg algebra","Source and response soft charges on AdS: a Heisenberg pair","AdS Maxwell soft charges: two sets, one Heisenberg bracket","Only source soft charges survive the flat-space limit of AdS Maxwell","Maxwell on AdS: source and response charges obey Heisenberg"],"cache_read_input_tokens":27136,"weakest_assumption_plain":"The argument stands or falls with the chosen boundary falloff class (3.22)--(3.26) and the gauge constraints $D^2\\Phi=0$ and $D_\\mu\\hat{A}^\\mu=0$: these are what make the symplectic flux vanish, and any physically allowed solution that falls off differently will not carry the same source and response charges or the same algebra.","fun_headline_variants_meta":{"raw":{"variants":["Two soft charge families on AdS Maxwell form Heisenberg algebra","Source and response soft charges on AdS: a Heisenberg pair","AdS Maxwell soft charges: two sets, one Heisenberg bracket","Only source soft charges survive the flat-space limit of AdS Maxwell","Maxwell on AdS: source and response charges obey Heisenberg"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000637,"raw_usage":{"total_tokens":2958,"prompt_tokens":990,"completion_tokens":1968,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":606,"completion_tokens_details":{"reasoning_tokens":1878}},"tokens_in":606,"tokens_out":1968,"duration_ms":13893,"temperature":1.0,"reasoning_tokens":1878,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T10:46:11.981225+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the boundary symplectic flux $\\omega_{\\rm flux}=(3-d)\\sqrt{h}\\,(\\delta\\Psi D^2\\delta\\Phi+D^\\mu\\delta\\hat{A}_\\mu\\,\\delta\\Phi)$ for a solution of Maxwell's equations in radial gauge whose boundary data satisfy all the falloffs (3.22)--(3.26) except $D^2\\Phi=0$. If a solution with $D^2\\Phi\\neq 0$ has nonvanishing integrated flux between two $\\tau$ slices, then the conserved symplectic form (4.7), and with it the Heisenberg algebra (5.4), holds only inside the chosen gauge class and fails for that physically allowed falloff.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Justifies the initial+boundary value formulation on non-globally-hyperbolic AdS that underlies the choice of constant-tau slices and boundary conditions."},{"cited_title":"Local symmetries and constraints ,","cited_arxiv_id":null,"evidence_quote":"Provides the definition of a charge as the generator of a transformation on phase space via the symplectic form, used to derive the source and response charges."},{"cited_title":"Asymptotic Symmetries of Maxwell Theory in Arbitrary Dimensions at Spatial Infinity","cited_arxiv_id":"1902.02769","evidence_quote":"Supplies the arbitrary-dimension flat-space source charge construction and symplectic form recovered as the flat limit in section 7."}],"review_version":1}