{"id":"37be718d-ace8-4b14-9b0f-2f8dfdfc5627","arxiv_id":"1908.01322","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The thesis derives explicit first integrals and Killing tensors for geodesics in near-horizon Myers-Perry black holes, introduces a B-memory formulation of gravitational memory, and constructs resonant spacetimes from superintegrable quantum systems.","lead":"This PhD thesis studies three topics around black holes: the effect of impulsive gravitational waves on geodesic congruences, the integrability of particle motion in near-horizon extremal Myers-Perry geometries, and a procedure that maps quantum systems with quadratic spectra to spacetimes with resonant frequencies.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Partially isotropic EVH integrability is asserted, not derived: the general vanishing-horizon case lacks the explicit separation that the central claim requires.","rationale":"The reader's verdict of CONDITIONAL is appropriate. The strongest and most novel part of the thesis, explicit integrability of NHEMP geodesics in arbitrary dimensions, is supported by a genuine separation of variables in ellipsoidal coordinates and by explicit formulas (119)-(125) that reduce correctly in lower dimensions; these parts are peer-reviewed [73-75,77] and internally consistent. I do not see a soundness problem in the fully non-isotropic or fully isotropic cases. The load-bearing gap is the partially isotropic EVH case: Section 4.2 ends with a one-paragraph assertion that variables separate 'similarly to (149)', without exhibiting the coordinate construction or the constants. Because the central claim explicitly includes this case, the proof is incomplete exactly where the claim is broadest. The reader's stated weakest assumption, the massless/B=0 limitation of Klein-Gordonization, concerns a separate construction and, while valid, is less central to the black-hole geodesic integrability claim; however, the reader's rationale does mention the EVH sketch, so agreement is partial. This concern is not an accusation of error but a request for a missing derivation. It is addressable by an explicit computation, after which the conditional verdict could be upgraded or the claim restricted accordingly.","tokens_in":47484,"tokens_out":19725,"duration_ms":202823,"concrete_test":"Work out a concrete partially isotropic EVH example: take d=9 (N=4, three m_a parameters) with m1 != m2 = m3. Introduce spherical coordinates for the equal block {m2,m3} and ellipsoidal coordinates for the joint set {m1,y} as advertised, and write the Hamilton-Jacobi equation explicitly. Verify that it separates, that the resulting first integrals Poisson-commute, and that together with p_t, p_psi and the three p_phi_a they form nine independent integrals in involution. If the advertised reduction cannot be carried out, or if the integrals fail to commute or to be independent, the general EVH integrability claim is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim, as summarized by the reader, covers geodesic integrability in arbitrary even/odd NHEMP geometries 'including partially isotropic and extremal vanishing horizon cases.' The generic non-isotropic EVH case is separated in ellipsoidal coordinates (Section 4.2, Eqs. 173-176) and the fully isotropic EVH case in spherical coordinates (Eqs. 177-178). The partially isotropic EVH case, however, is disposed of in a single paragraph: 'it is straightforward to separate the variables... This will result into a spherical mechanics similar to (149)...' (p. 61). No coordinate transformation, separated ODEs, explicit first integrals, or involution check is exhibited. This is not merely cosmetic: the EVH angular Hamiltonian (172) contains the prefactor (1 - sum_c x_c^2/m_c), which is not algebraically the same as the non-EVH prefactor A(x) in (86). Reusing the mixed spherical/ellipsoidal construction of Section 4.1.2 requires showing that this prefactor factorizes in the new coordinates and that the resulting subsystem constants Poisson-commute. Without that, the 'general case' of the EVH family remains an unsupported assertion, and the advertised d independent commuting integrals have not actually been produced. This is the most load-bearing gap: the two endpoint cases are explicit, but the intermediate degeneracy cases needed for the full claim are only sketched.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript is a PhD thesis combining three lines of work. Chapter 2 develops a method for computing the effect of a null shell, modeled as an impulsive gravitational wave, on a null geodesic congruence. The method gives a covariant 'B-memory' formulation of gravitational memory, with explicit formulas for the jumps in expansion and shear in terms of the shell's stress-energy and gravitational-wave content. Chapters 3-4 address geodesic integrability in near-horizon extremal Myers-Perry (NHEMP) geometries. A unified description of odd and even dimensions is given, and the fully non-isotropic, fully isotropic, and partially isotropic cases are analyzed. The chapter claims an arbitrary-dimensional integrability result with explicit first integrals and second-rank Killing tensors, and it also treats the extremal vanishing horizon (EVH) case. Chapter 5 proposes a 'Klein-Gordonization' procedure that conformally maps a nonrelativistic quantum system with a quadratic energy spectrum to a Klein-Gordon equation on a static spacetime with a resonant frequency spectrum. The procedure is applied explicitly to the Higgs oscillator and to the superintegrable Rosochatius system.","tokens_in":47813,"tokens_out":8237,"duration_ms":91945,"significance":"If the claims hold, the thesis gives a complete integrability picture for geodesic motion in NHEMP geometries, including explicit constants of motion and Killing tensors in arbitrary even and odd dimensions, and it isolates the new conserved charges that appear in the near-horizon limit. The partially isotropic and EVH cases, once fully established, would close the gap between the two previously known corner cases. Chapter 5 provides a constructive and falsifiable mechanism for generating highly resonant spacetimes from known superintegrable systems; the explicit family (226) is a concrete output with direct relevance to studies of weakly nonlinear dynamics and hidden symmetries. The derivations are analytic and largely self-contained, and the thesis is based on the author's published papers [72-77], which lends credibility to the central computations. The main weakness is that one advertised sector, the partially isotropic EVH case, is asserted rather than derived, and this is load-bearing for the chapter's claim of covering the general EVH family.","major_comments":[{"comment":"The integrability claim for the partially isotropic EVH case is not derived. The text states that 'it is straightforward to separate the variables' and that the result is 'a spherical mechanics similar to (149)', but no coordinate transformation, separated Hamilton-Jacobi equation, first integrals, or Poisson-commutation check is provided. This is not merely a matter of presentation: the EVH Hamiltonian (172) contains the prefactor (1 - sum_c x_c^2/m_c), which is not the same as the prefactor A(y) used in the non-EVH partially isotropic construction (140), (149). After introducing spherical coordinates for each block of equal rotation parameters, the analogous prefactor would be (1 - sum_a y_a^2/tilde m_a), and one must show that the adapted ellipsoidal coordinates still separate the system and that the spherical-subsystem constants can be promoted to globally commuting constants of motion. Without this step, the advertised independent integrals for the general EVH case have not actually been produced, and the section leaves a gap between the explicit fully non-isotropic case (173)-(176) and the fully isotropic case (177)-(178).","section":"Section 4.2, partially isotropic EVH paragraph"}],"minor_comments":[{"comment":"The inversion of the geodesic projection x^a_0(x^alpha) is acknowledged to suffer from caustics, but the subsequent formulas for the evolution of the B-tensor to the future of the shell require the Jacobian of this inverse map. The explicit computation is given only for BMS solderings in Section 2.5.2; for a general Newman-Unti soldering the paper should state the regularity assumptions under which the local inversion is a diffeomorphism and the future evolution is well defined.","section":"Section 2.4"},{"comment":"The construction of resonant spacetimes from ground-state wavefunctions applies only in the massless case m^2=0 and requires the additional condition B=0 in the spectrum (180). The thesis does state this restriction, but it should appear prominently in the summary of Chapter 5 and in the abstract, since the general nonlinear equation (193) is left unsolved and the resulting spacetime family (226) is a codimension-one subfamily of the Rosochatius systems (208).","section":"Section 5.2, Eqs. (193)-(197)"},{"comment":"The domain of the coordinates x_a in the EVH metric is not stated. The prefactor (1 - sum x_a^2/m_a) changes sign and vanishes on an ellipsoid, so the text should specify the coordinate range or the constraint, as this is needed to interpret the Hamiltonian and the subsequent separation of variables.","section":"Section 4.2, Eqs. (164)-(172)"},{"comment":"The manuscript contains several typographical and notational inconsistencies, such as 'Rossochatius' in Section 3.4, inconsistent use of tildes on parameters in Section 4.1.1, and occasional mixed use of N and N_sigma in counting arguments. These do not affect the derivations but should be cleaned up in a final version.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is a PhD thesis and overlaps substantially with the author's published papers [72-77]. If the journal requires original unpublished material, the editor should weigh the thesis format accordingly. The main technical gap is the partially isotropic EVH integrability claim in Section 4.2; it needs to be either fully derived or explicitly removed from the list of claimed results before the manuscript can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take. This is a thesis built on several published papers, so most of the core results have already passed peer review in pieces. That is real evidence of soundness. The genuinely useful things here are: the unified odd/even description of near-horizon extremal Myers-Perry (NHEMP) geometry that lets you treat all dimensions on the same footing; the explicit first integrals and Killing tensors for the fully non-isotropic case in arbitrary dimension; the reduction of partially isotropic (non-EVH) cases to a lower-dimensional problem of the same type; and the Klein-Gordonization construction that maps superintegrable quantum systems to resonant spacetimes, producing a concrete family (226) that includes AdS as a special case. The B-memory formulation in Chapter 2 is also a genuine conceptual contribution: a covariant way of understanding gravitational memory as a discontinuity in the B-tensor, with explicit relations to the shell's stress-energy and Weyl content.\n\nNow the soft spots. The load-bearing gap is the partially isotropic EVH case in Section 4.2. The fully isotropic and fully non-isotropic EVH cases are worked out explicitly, but the intermediate degeneracy case is dismissed with 'it is straightforward to separate the variables.' That is not good enough. The EVH angular Hamiltonian (172) has a prefactor (1 - sum x_c^2/m_c), which is not the same as the non-EVH prefactor A(x) in (86). Reusing the mixed spherical/ellipsoidal construction requires demonstrating that the prefactor factorizes in the new coordinates and that the resulting subsystem constants Poisson-commute. Without that, the 'general case' of EVH integrability is an assertion, not a derivation. I believe it is likely true and probably fixable with the same techniques, but it is not shown here.\n\nA minor point: Chapter 2 ignores caustic subtleties in the inversion of the congruence map. The author states this explicitly, so I don't count it as a flaw, just a simplification.\n\nWho should read this: people working on hidden symmetries of higher-dimensional black holes, conformal mechanics, or AdS instability. They will get concrete, usable formulas from Chapters 3 and 4 and a useful construction from Chapter 5.\n\nRecommendation: as a thesis, this is solid and deserves to be defended. As a journal submission, I would want the EVH partial-isotropy case either fully derived or explicitly excluded from the claims. That is a revision, not a rejection. Yes, I'd accept it for peer review.","headline":"A PhD thesis compiling the author's published work on NHEMP integrability and a new covariant memory formulation; the partially isotropic EVH integrability claim needs explicit support before it can be taken at face value.","tokens_in":48260,"tokens_out":2992,"would_cite":true,"duration_ms":29755,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"This thesis establishes that geodesic motion in the near-horizon geometry of extremal Myers-Perry black holes is integrable in arbitrary even and odd dimensions, with explicit first integrals and Killing tensors, and it derives a…","keywords":["near-horizon extremal Myers-Perry black holes","geodesic integrability","Killing tensors","conformal mechanics","gravitational memory","B-memory","Klein-Gordonization","superintegrable systems"],"falsifier":"Compute the Poisson brackets of the first integrals in (119) for a nine-dimensional NHEMP background with two equal and two unequal rotation parameters; any non-zero bracket among the $d$ claimed invariants falsifies the claim. A numerical Poincaré section of the reduced angular mechanics should in that case show curves, not a filled region.","tokens_in":47323,"feed_emoji":"🕳️","tokens_out":14203,"duration_ms":127673,"temperature":0.7,"pith_summary":"This PhD thesis pursues three related goals. It aims to prove that geodesic motion in the near-horizon geometry of extremal Myers-Perry black holes is integrable in every even and odd dimension, for generic, fully isotropic, partially isotropic, and extremal vanishing horizon rotation-parameter configurations, by constructing the full set of conserved quantities explicitly. It also proposes a covariant formulation of gravitational memory, called B-memory, based on the discontinuity of the B-tensor of a null geodesic congruence crossing an impulsive null shell. It further introduces a 'Klein-Gordonization' procedure that maps a non-relativistic quantum system with a quadratic energy spectrum to a Klein-Gordon equation on a resonant spacetime, and applies it to the Higgs oscillator and the superintegrable Rosochatius system. A sympathetic reader would care because the results turn black-hole near-horizon geometries into explicit laboratories for integrable and superintegrable mechanics, and connect superintegrability to resonant field spectra.","feed_headline":"Geodesics near extremal black holes are integrable in every dimension","feed_subtitle":"First integrals for near-horizon Myers-Perry black holes in every dimension, with B-memory and resonant spacetimes.","key_machinery":"Three devices carry the arguments. For the memory part, the B-tensor $B_{\\alpha\\beta}=\\nabla_\\beta T_\\alpha$ — the gradient of the geodesic vector field — has a discontinuity across the null shell, with the jump in expansion governed by shell energy density and currents, and the jump in shear by the gravitational-wave component. For integrability, the reduction to angular mechanics uses the $\\mathrm{SL}(2,\\mathbb{R})$ isometry of the near-horizon metric to write the mass-shell condition as a Casimir invariant $\\mathcal{I}=HK-D^2$, leaving a lower-dimensional Hamiltonian on the latitudinal sphere. Separability in ellipsoidal coordinates turns the Hamilton-Jacobi equation into ordinary differential equations whose integration constants become the explicit first integrals (119) and, in turn, second-rank Killing tensors. For the quantum part, Klein-Gordonization is a conformal rescaling $\\tilde{g}_{\\mu\\nu}=\\Omega^2 g_{\\mu\\nu}$, $\\tilde{\\phi}=\\Omega^{(1-d)/2}\\phi$ that converts a static Schrödinger-type equation into a Klein-Gordon equation; the conformal factor solves the nonlinear elliptic equation (193), which for $m^2=0$ becomes linear and is solved by the ground-state wavefunction.","core_discovery":"The central claim is that the reduced 'angular mechanics' describing probe particles in the near-horizon extremal Myers-Perry (NHEMP) background separates in ellipsoidal coordinates, so the geodesic problem is Liouville integrable — as many independent conserved quantities as degrees of freedom — in arbitrary dimension. The thesis writes the geometry in a unified form for even and odd dimensions, constructs mutually commuting first integrals (Eq. 119) plus the constants associated with Killing vectors, and identifies the corresponding second-rank Killing tensors. It shows that when rotation parameters are grouped into equal blocks the system becomes superintegrable, while the fully isotropic odd-dimensional case is maximally superintegrable. It also treats the extremal vanishing horizon case, where an extra $\\mathrm{SL}(2,\\mathbb{R})$ factor appears but yields no new independent conserved charges, so the system remains integrable rather than superintegrable. In the second part, the thesis claims that every quantum Hamiltonian of the form $H=-\\Delta_\\gamma+V(x)$ with spectrum $E_N=A(N+B)^2-C$ can be conformally mapped to a Klein-Gordon equation; for zero mass and $B=0$ the conformal factor is the ground-state wavefunction, producing spacetimes with perfectly resonant frequencies.","pith_inferences":["If Klein-Gordonization generically preserves hidden symmetries, the generated resonant spacetimes should possess extra Killing or Killing-Yano tensors inherited from the superintegrable system; checking this for the Rosochatius family is a direct next step.","The B-memory discontinuity may be the classical shadow of a vacuum reorganisation across the shell: since BMS supertranslations relate inequivalent vacua, the eikonal wavefront distortion seen in the thesis hints at a quantum memory effect, a direction the thesis leaves open.","The same separation-of-variables machinery likely applies to probe fields (scalar, Dirac, or higher-spin) on these near-horizon backgrounds, using principal or Killing-Yano tensors; the thesis explicitly lists this as unexplored.","Because the claimed first integrals are explicit quadratic polynomials in momenta, their involutivity can be checked algebraically in any given dimension, offering a computational verification independent of the geometric separation argument."],"forward_implications":["In every dimension and for every pattern of equal and unequal rotation parameters, geodesic motion near an extremal Myers-Perry horizon is Liouville integrable; partially isotropic cases are superintegrable and the fully isotropic odd-dimensional case is maximally superintegrable.","The explicit first integrals provide second-rank Killing tensors, making the hidden symmetries of these near-horizon geometries explicit; in the generic case $d$ independent conserved charges exist, $[d/2]$ from Killing tensors.","For extremal vanishing horizon Myers-Perry black holes, the extra $\\mathrm{SL}(2,\\mathbb{R})$ symmetry of the $\\mathrm{AdS}_3$ throat does not generate new conserved charges; the system remains integrable but not superintegrable.","An impulsive null shell produces a jump in the expansion proportional to the shell's energy density and currents, and a jump in the shear proportional to the gravitational-wave component; this B-memory gives a covariant form of gravitational memory.","Quantum systems with quadratic spectra map to spacetimes whose massless wave equations have perfectly resonant frequency spectra; the Rosochatius family yields the explicit metric (226), of which AdS is a special case."],"supporting_citations":[{"why":"Supplies the conformal-mechanics description and ellipsoidal-coordinate separation for odd dimensions that the thesis extends to all dimensions.","marker":"[33]"},{"why":"Establishes the fully isotropic case, including action-angle variables and superintegrability, used as a building block.","marker":"[48,49]"},{"why":"Provides the NHEMP metric in Gaussian null and Boyer-Lindquist coordinates that the thesis rewrites in unified form.","marker":"[61]"},{"why":"Gives the explicit lower-dimensional constants of motion in odd dimensions that Eq. (119) generalizes.","marker":"[77]"},{"why":"Contains the Klein-Gordonization and resonant-spacetime construction developed in Chapter 5.","marker":"[76]"},{"why":"Establishes the Higgs-oscillator/AdS correspondence that motivates and anchors the geometrization procedure.","marker":"[95-97]"},{"why":"Fix the null-shell soldering formalism and the stress-energy structure used in the B-memory analysis.","marker":"[22,23]"},{"why":"Defines the Myers-Perry black hole family whose near-horizon geometry is the object of study.","marker":"[78]"}],"fun_headline_variants":["Geodesics near extremal black holes integrable in every dimension","Extremal black hole geodesics: integrable in all dimensions","Myers-Perry geodesics: integrable in every dimension","Near-horizon black holes: geodesics always integrable","Every dimension: extremal black hole geodesics integrable"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing assumption of the Klein-Gordonization construction is that the target Klein-Gordon field is massless and the spectral parameter $B$ in $E_N=A(N+B)^2-C$ is zero, so the ground-state wavefunction can serve as the conformal factor; for non-zero mass or $B$, the nonlinear equation (193) is left unsolved and the spacetime family (226) is not derived.","fun_headline_variants_meta":{"raw":{"variants":["Geodesics near extremal black holes integrable in every dimension","Extremal black hole geodesics: integrable in all dimensions","Myers-Perry geodesics: integrable in every dimension","Near-horizon black holes: geodesics always integrable","Every dimension: extremal black hole geodesics integrable"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001108,"raw_usage":{"total_tokens":4553,"prompt_tokens":817,"completion_tokens":3736,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":433,"completion_tokens_details":{"reasoning_tokens":3649}},"tokens_in":433,"tokens_out":3736,"duration_ms":30764,"temperature":1.0,"reasoning_tokens":3649,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:15:54.014018+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Poisson brackets of the first integrals in (119) for a nine-dimensional NHEMP background with two equal and two unequal rotation parameters; any non-zero bracket among the $d$ claimed invariants falsifies the claim. A numerical Poincaré section of the reduced angular mechanics should in that case show curves, not a filled region.","supporting_citations":[],"review_version":1}