{"id":"0801d99b-66f9-4398-afe4-9bf76d74b87f","arxiv_id":"1908.09749","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Massive and massless particles have stable bound orbits around a supersymmetric black lens in five-dimensional minimal supergravity.","lead":"This paper shows that a five-dimensional black hole shaped like a lens has stable orbits where particles can circle without falling in or escaping. It is the first example of stable bound orbits around a black lens, in contrast to higher-dimensional spherical black holes.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claim of stable bound orbits rests on one-dimensional z-axis wells; the θ-direction second derivative of the effective potential is never computed, so these minima could be saddles in the full 2D configuration space.","rationale":"The reader's weakest assumption correctly identifies the missing θ-direction stability check as the decisive gap. The paper's parameter choice is valid: for (k1,k2,l1)=(0,10,1), Eq. (14) gives z2≈32.83>0, Eq. (15) is satisfied, and Eq. (16) gives 8>0. The numerical potential shapes are clear and consistent with the stated angular momenta, and the claim is plausible: if the θ-direction is also confining, the paper would indeed demonstrate stable bound orbits around a supersymmetric black lens. However, because a stable bound orbit is a property of the full two-dimensional effective potential, a one-dimensional well along z is necessary but not sufficient. The paper openly treats the normal-direction minimum as an expectation in the general L(n,1) discussion rather than as a computed fact for the L(2,1) case. This is not an internal inconsistency in the numerics, but it is a genuine missing verification at the load-bearing step of the argument. The appropriate outcome is therefore unchanged relative to the reader's verdict: the result should be accepted conditionally, pending a direct check of the θ-direction curvature or an explicit framing of the result as one-dimensional potential wells rather than proven stable bound orbits.","tokens_in":7407,"tokens_out":7590,"duration_ms":85152,"concrete_test":"At the local minima reported in Figs. 3 and 5 for (k1,k2,l1)=(0,10,1), for example lφ1=-400, lφ2=0 on I+ and lφ1=-40, lφ2=20 on I1, compute the full 2D Hessian of U from Eq. (19) using the metric components (1)-(10), evaluating ∂²U/∂z² and ∂²U/∂θ² at the minimum point on the z-axis (θ=0 and θ=π). A genuine stable bound orbit requires ∂²U/∂θ² > 0 in addition to ∂²U/∂z² > 0; if the θ second derivative is positive at all reported minima, the concern is resolved and the one-dimensional wells are genuine local minima of the effective potential.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central inference is from a local minimum of U(z, θ=0) to a stable bound orbit in the full (r,θ) configuration space. Equation (18) reduces geodesic motion to motion under the two-dimensional potential U, so a stable circular orbit requires a local minimum of U in both coordinates. The paper computes only the second derivative with respect to z: Fig. 5 labels the black curve 'Hessian', but it is the z-direction curvature of U on I1, and on I+ the text describes the shape of U(z) without any θ derivative. No ∂²U/∂θ² is reported for the L(2,1) minima in Figs. 3 or 5. The paper's later paragraph on L(n,1) explicitly assumes, rather than shows, that the potential 'will also make a local minimum in the normal direction.' Thus a negative local minimum along the z-axis could be a saddle point in θ; a test particle displaced in θ would leave the axis, and the purported stable bound orbit would not exist. This gap occurs exactly at the step where the existence of stable bound orbits is concluded.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper claims the existence of stable bound orbits for massive and massless test particles in the five-dimensional supersymmetric black lens spacetime with horizon topology L(2,1). Using the known Kunduri-Lucietti/Tomizawa-Nozawa metric, the authors reduce the geodesic Hamiltonian to motion in a two-dimensional effective potential U(z,θ) (Eqs. (18)-(19)) and study U numerically along the z-axis for the parameter choice (k1,k2,l1)=(0,10,1). On the interval I+ (z>z2) they find a negative local minimum for large |l_phi1| (massive case) and a negative region between two zeros (massless case); on I1 (0<z<z2) they find a positive minimum for angular momenta with l_phi1/l_phi2=-2. They conclude that stable bound orbits exist around the black lens, and conjecture the same for L(n,1) without proof.","tokens_in":7575,"tokens_out":4399,"duration_ms":45095,"significance":"If fully established, this result would be a notable addition to higher-dimensional black hole physics: it provides the first example of stable bound orbits around a black lens, complementing the known existence for black rings and contrasting with the absence for higher-dimensional Schwarzschild and spherical supersymmetric black holes. The paper also connects the orbits to evanescent ergosurfaces and potential nonlinear instability. The use of an exact known solution, the explicit effective potential, and the reproducible numerical exploration are strengths. The main missing link is the demonstration of stability in the full two-dimensional configuration space, which is necessary for the central claim.","major_comments":[{"comment":"The inference from a one-dimensional local minimum to a stable bound orbit is not yet justified. Since the Hamiltonian (18) describes two-dimensional motion in (z,θ), a stable bound orbit requires U to have a local minimum with respect to both coordinates. The paper verifies only d²U/dz² > 0 at the minima; the curve labeled 'Hessian' in Fig. 5 is the second z-derivative, not the full Hessian, and no ∂²U/∂θ² is reported for the I+ or I1 minima. Without this, the minima could be saddle points in θ, so a small displacement perpendicular to the axis would grow and the orbit would not be stable. This check should be performed numerically for the parameter point (0,10,1) and for the large-|l_phi1| cases in Fig. 3, or the claim should be weakened to 'stable with respect to z-perturbations on the axis.' The closing paragraph on L(n,1) explicitly assumes, rather than demonstrates, the local minimum in the normal direction, which shows that the authors are aware that this is an additional requirement.","section":"Effective-potential analysis, Eqs. (18)-(19) and Figs. 3-5"},{"comment":"The claim that there are stable bound orbits of massless particles in the range z_in ≤ z ≤ z_out of Fig. 3 relies on U < 0 in that interval with U = 0 at the endpoints. Even if this yields a well for the one-dimensional problem, the same θ-stability gap applies. Moreover, the statement that for large |l_phi1| the width Δz → 0 and hence there are stable circular orbits of massless particles needs a careful definition: in this non-separable two-dimensional configuration space, a 'circular orbit' should be defined with respect to the full phase space, and its stability in θ should be demonstrated rather than inferred from the narrowing of the z-interval.","section":"Massless bound orbits on I+, Fig. 3"}],"minor_comments":[{"comment":"The caption says the black graph is the 'Hessian divided by 10^3', but the text describes it as the Hessian; please clarify that this is only the second derivative with respect to z, not the full Hessian matrix.","section":"Fig. 5 caption"},{"comment":"The text lists the green curve in Fig. 4 as (l_phi1,l_phi2)=(0,30), while the caption lists it as (0,12); please correct this inconsistency.","section":"Fig. 4 caption and text"},{"comment":"There are several typographical issues: 'Futhermore' should be 'Furthermore', 'minimums' should be 'minima', and the sentence 'as closer to the horizon, the strong effect of the gravitational force causes the potential to diverge' is awkward and should be rephrased.","section":"General text"},{"comment":"References [12] and [13] are the same paper (Gibbons and Herdeiro); please avoid the duplicate citation or label it appropriately.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"For the editor: the central gap is fixable by computing ∂²U/∂θ² at the reported minima; if that computation is positive, the claim would be sound. The manuscript's current form is a good candidate for major revision. The authors' own L(n,1) paragraph acknowledges the missing normal-direction check."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this paper has a genuinely new observation and the basic setup is sound, but the title claim outruns the evidence. The authors show that the effective potential for test particles in the known supersymmetric L(2,1) black lens, evaluated along the symmetry axis, develops a local minimum in the z-coordinate for suitable angular momenta. That is new—previous stable-orbit results were for black rings, not lenses. The derivation from the known Kunduri–Lucietti/Tomizawa–Nozawa metric is straightforward, the parameter point satisfies the regularity constraints, and the numerics are clear as far as they go. The mechanism—potential wells generated by the multiple centers outside the horizon—makes physical sense and is worth stating.\n\nThe soft spot is exactly where the reader put it. Equation (18) reduces the motion to a two-dimensional potential U(r,θ), so a stable bound orbit needs a local minimum in both directions. The paper only computes the second derivative along z, and the curve labeled 'Hessian' in Fig. 5 is that z-direction curvature, not the full Hessian. Nothing in the paper evaluates ∂²U/∂θ² at the alleged minima. Without that, a negative well along the axis could be a saddle: a particle nudged off-axis would fly away, and the 'stable bound orbit' would not exist. The passage on L(n,1) says the potential 'will also make a local minimum in the normal direction'—that is an assumption, not a check, and it is the same unverified step for the actual L(2,1) case.\n\nI would not call this fatal. The claim is plausible, and the gap is fixable: compute the θ-direction second derivative numerically (or analytically near the axis), or at least sample U on a small disk around the minimum. If that confirms a full 2D minimum, the paper is a solid existence proof. Until then, the honest statement is 'a strong indication of stable bound orbits,' not 'we indeed show.' The generalization to L(n,1) is explicitly a conjecture, which is fine, but it does not help support the L(2,1) conclusion.\n\nThe paper is well-written and cites the relevant literature; there is no circularity problem. It would be useful to the geodesic-in-supergravity community. I would send it to a refereed journal, but the referee should insist on the θ-direction analysis before acceptance. My own take: conditional, with the missing stability check the condition.","headline":"Plausible new example of stable bound orbits around a black lens, but the paper demonstrates only one-dimensional stability and leaves the transverse direction to conjecture.","tokens_in":8088,"tokens_out":3919,"would_cite":false,"duration_ms":44737,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C57","83E50"],"pacs":["04.50.+h","04.70.Bw"],"model":"deepseek-v4-flash","headline":"This paper shows that a five-dimensional supersymmetric black lens, unlike a higher-dimensional Schwarzschild black hole, admits stable bound orbits of massive and massless test particles.","keywords":["supersymmetric black lens","stable bound orbits","five-dimensional minimal supergravity","Gibbons-Hawking space","lens space topology","effective potential","geodesic motion","evanescent ergosurface"],"falsifier":"Compute $\\partial^2 U/\\partial \\theta^2$ at the reported $z$-axis minima for $(k_1,k_2,l_1)=(0,10,1)$ and large $|l_{\\phi_1}|$; if that second derivative is negative or zero, the equilibrium is a saddle or ridge and the claimed stable bound orbits do not survive off-axis perturbations. Alternatively, integrate the geodesic equations starting at the minimum with a small $\\theta$-velocity: if the particle escapes to infinity or falls into the horizon instead of oscillating near the minimum, the claim fails.","tokens_in":7187,"feed_emoji":"🕳️","tokens_out":7002,"duration_ms":72162,"temperature":0.7,"pith_summary":"Higher-dimensional Schwarzschild black holes have no stable bound orbits: near the horizon gravity overwhelms the centrifugal barrier, so the effective potential has no local minimum. This paper argues that the five-dimensional supersymmetric black lens, whose horizon has lens-space topology L(2,1), is different. Because the Gibbons-Hawking base contains additional centers ('nuts') outside the horizon, the effective potential along the symmetry axis is pushed up by centrifugal forces near those centers and down by gravity near the horizon, creating negative local minima. For the example (k1,k2,$\\ell^1$)=(0,10,1) and large angular momentum, the paper finds stable bound orbits for both massive and massless test particles, and on the interval between horizon and center a positive minimum as well. If right, this overturns the intuition that spherical topology alone decides whether a higher-dimensional black hole can trap particles in stable orbits.","feed_headline":"Lens-shaped black holes trap particles in stable orbits","feed_subtitle":"Unlike higher-dimensional Schwarzschild holes, the black lens keeps massive and massless particles bound.","key_machinery":"The effective potential $U$ obtained from the Hamiltonian $H=g^{\\mu\\nu}p_\\mu p_\\nu+m^2$ after fixing the conserved energies and angular momenta, restricted to the symmetry axis $x=y=0$ of the Gibbons-Hawking metric. The multi-centered Gibbons-Hawking base has $n$ points (nuts), one at the horizon and $n-1$ outside; at each off-horizon center the potential diverges because of the centrifugal force of particles circulating around that center, while near the horizon gravity makes it diverge to $-\\infty$. Between these two divergences the potential is forced to have a local minimum, which the paper interprets as a stable bound orbit. The Hessian plotted in Fig. 5 is the second derivative of $U$ with respect to $z$ only.","core_discovery":"The central claim is that stable bound orbits exist around a supersymmetric black lens, specifically the L(2,1) solution of five-dimensional minimal supergravity, even though no such orbits exist around higher-dimensional Schwarzschild black holes. On the z-axis interval outside the outermost Gibbons-Hawking center, the effective potential U for fixed angular momenta develops a negative local minimum for large |l_phi1|, which the authors identify with stable bound orbits of massive particles; the equation U=0 has two roots z_in < z_out enclosing a region where U<0, so massless particles are stably bound between those radii. On the interval between the horizon and that center, particles whose angular momenta satisfy l_phi1/l_phi2=-2 see a positive local minimum. The evidence is the shape of the effective potential along the axis, obtained numerically for the parameter set (k1,k2,$\\ell^1$)=(0,10,1).","pith_inferences":["If the missing $\\theta$-direction stability check comes out positive, this would be the first demonstration of stable circular orbits around a five-dimensional black hole with lens-space horizon topology; that conclusion goes beyond what the paper itself establishes.","The same nut-induced centrifugal wells should appear in any multi-centered Gibbons-Hawking spacetime, so stable bound orbits may be a generic feature of supersymmetric microstate geometries rather than a peculiarity of the L(2,1) lens.","A direct two-dimensional Poincaré section near the reported minimum would show whether the bound motion is regular or whether off-axis orbits escape, a testable extension the paper leaves open."],"forward_implications":["The higher-dimensional rule that spherical horizons have no stable circular orbits does not extend to lens-space horizons.","For large angular momentum, the stable massless orbits shrink to a thin band whose center approaches the evanescent ergosurface at $z=2z_2$, so stable trapping of zero-energy null particles is a limiting case.","The same mechanism should operate for $L(n,1)$ lenses with $n\\ge 3$: each interval between adjacent centers is expected to contain at least one stable orbit family.","Evanescent ergosurfaces combined with stable bound orbits of nonzero-energy particles may make the black lens nonlinearly unstable under perturbations, a possibility the paper explicitly raises."],"supporting_citations":[{"why":"Supplies the original construction of supersymmetric black holes with lens-space topology, giving the horizon geometry this paper studies.","marker":"[21]"},{"why":"Provides the explicit supersymmetric black lens metric and the regularity constraints used to choose the parameter set.","marker":"[22]"},{"why":"Establishes the multi-centered Gibbons-Hawking metric that underlies the black lens solution and provides the off-horizon centers.","marker":"[23]"},{"why":"Shows that stable bound orbits exist around black rings, the closest prior analogue that motivates searching for them in lenses.","marker":"[18]"},{"why":"Demonstrates stable bound orbits of massless particles around a black ring, the comparison case for the massless result here.","marker":"[20]"},{"why":"Shows that evanescent ergosurfaces trap zero-energy null particles, which the paper connects to its large-angular-momentum stable orbits and to possible instability.","marker":"[24]"}],"fun_headline_variants":["Black lens traps particles in stable orbits","Stable orbits found around supersymmetric black lens","Five-dimensional black lens traps particles in orbit","Black lens allows stable orbits, unlike Schwarzschild","Stable bound orbits found around black lens spacetime"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a local minimum of the effective potential along the $z$-axis is enough to guarantee a stable bound orbit; the second derivative in the $\\theta$ direction at that minimum is never evaluated.","fun_headline_variants_meta":{"raw":{"variants":["Black lens traps particles in stable orbits","Stable orbits found around supersymmetric black lens","Five-dimensional black lens traps particles in orbit","Black lens allows stable orbits, unlike Schwarzschild","Stable bound orbits found around black lens spacetime"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000883,"raw_usage":{"total_tokens":3709,"prompt_tokens":738,"completion_tokens":2971,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":354,"completion_tokens_details":{"reasoning_tokens":2913}},"tokens_in":354,"tokens_out":2971,"duration_ms":20092,"temperature":1.0,"reasoning_tokens":2913,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:02:14.820408+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\partial^2 U/\\partial \\theta^2$ at the reported $z$-axis minima for $(k_1,k_2,l_1)=(0,10,1)$ and large $|l_{\\phi_1}|$; if that second derivative is negative or zero, the equilibrium is a saddle or ridge and the claimed stable bound orbits do not survive off-axis perturbations. Alternatively, integrate the geodesic equations starting at the minimum with a small $\\theta$-velocity: if the particle escapes to infinity or falls into the horizon instead of oscillating near the minimum, the claim fails.","supporting_citations":[{"cited_title":"Gravitational Multi-Instantons,","cited_arxiv_id":null,"evidence_quote":"Establishes the multi-centered Gibbons-Hawking metric that underlies the black lens solution and provides the off-horizon centers."},{"cited_title":"Stable Bound Orbits around Black Rings","cited_arxiv_id":"1006.3129","evidence_quote":"Shows that stable bound orbits exist around black rings, the closest prior analogue that motivates searching for them in lenses."},{"cited_title":"Stable Bound Orbits of Massless Particles around a Black Ring","cited_arxiv_id":"1302.0291","evidence_quote":"Demonstrates stable bound orbits of massless particles around a black ring, the comparison case for the massless result here."}],"review_version":1}