{"id":"423d957d-3bde-4d68-bd84-d9c300e1e2a6","arxiv_id":"2608.00866","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A fixed-proper-length pendulum in Schwarzschild spacetime has small-oscillation period T = 4π r2^2/(c r_s) sqrt(N2(N1-N2)), recovering the Newtonian limit and giving a distinct near-horizon scaling.","lead":"This paper derives the small-oscillation period of a pendulum in Schwarzschild spacetime when the rope has fixed proper length, giving a closed-form expression in terms of the Schwarzschild lapse function. It shows that a coordinate-length constraint used in an earlier study describes a different pendulum and gives different behavior near a black hole horizon.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Eq. (42) is internally consistent; the main caveat is the explicitly analyzed quasi-static rope idealization.","rationale":"The preprint is a compact analytic derivation, and the chain is simple enough to verify by hand. The key physical input—a massless, taut, inextensible rope lies along a spatial geodesic—is derived from stress-energy conservation (Sect. 2.1) and matches the standard characterization of geodesics. The fixed-length constraint is imposed geometrically and gives the quadratic radial lift. The order counting is consistent: radial velocity terms are quartic in the amplitude and do not affect the linearized frequency. The Newtonian limit (Sect. 4.1) and the close-to-horizon effective-length interpretation (Sect. 4.2) both confirm the result. The only soft spot is the quasi-static rope adjustment, exactly as the reader's weakest assumption states. The paper explicitly flags this in Sect. 6 and analyzes a necessary condition for its validity; the analysis shows reasonable regimes where the approximation holds, and the paper honestly states that a finite-wave-speed elastic-string model is beyond scope. Because the main result is explicitly conditional on that idealization, and the idealization is internally consistent, I do not see a load-bearing flaw. The natural confirmatory test is an elastic-string simulation or an analytic v_s→∞ limit of a finite-speed model; such a test would settle whether the quasi-static geodesic rope is the correct physical limit. Given the paper's own caution and the absence of internal inconsistency, the reader's ACCEPT verdict should remain unchanged.","tokens_in":9948,"tokens_out":32084,"duration_ms":272701,"concrete_test":"Build a linearized elastic-string model in Schwarzschild with finite wave speed v_s and small mass density; compute the bob's small-oscillation frequency and take the limit v_s/c → 1 (or string mass density → 0 at fixed tension). Confirm that the period converges to Eq. (42) for at least one near-horizon and one weak-field configuration. This checks whether the quasi-static geodesic rope is the physical v_s → ∞ limit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing flaw identified. The central result Eq. (42) follows from a self-consistent chain: the massless-taut-rope stress-energy conservation implies the rope lies on a spatial geodesic (Sect. 2.1); the fixed-proper-length condition fixes the radial lift δr(θ) to quadratic order (Eq. (31)); substitution into the free-particle Lagrangian yields a harmonic oscillator (Eq. (40)) and the period (Eq. (42)). I re-derived the radial lift directly from the length functional: δr/N2 = J^2/2 ∫ dr/(r^2 N) = J^2 (N1−N2)/rs, and with J = rs θ/[2(N1−N2)] this gives δr = N2 rs θ^2/[4(N1−N2)]. Substituting into L and expanding N reproduces Eq. (41) and then Eq. (42). The Newtonian limit and the near-horizon ∝√N2 scaling check out. The weakest point is the quasi-static rope assumption, which the reader also identifies. The paper acknowledges this in Sect. 6 and gives a necessary signal-propagation condition; it improves as the bob approaches the horizon for fixed fulcrum, and in the worst near-horizon subcase the ratio never exceeds about 0.256. That is an honest scope limitation, not an internal inconsistency. I find no mathematical error that would invalidate the central claim under the stated idealization.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper determines the small-oscillation period of a pendulum in Schwarzschild spacetime under the following idealization: a taut, massless, inextensible rope of fixed proper length L0, with the fulcrum at radius r1 and the bob in equilibrium at radius r2, restricted to a meridional plane. Section 2.1 proves from stress-energy conservation that a massless tension-only rope coincides with a geodesic of the spatial metric of the static slice; the fixed-proper-length condition then implies that a small angular displacement ϑ is accompanied by a radial lift δr = N2 rs ϑ²/[4(N1−N2)] (Eqs. (28)–(31)). Substituting this holonomic constraint into the free-particle Lagrangian and expanding to quadratic order gives a harmonic oscillator with coordinate-time period Tt = 4π r2²/(c rs) √[(N1−N2)/N2] (Eq. (41)), and the central result is the period measured by a static observer at the bob's equilibrium position, T(2) = 4π r2²/(c rs) √[N2(N1−N2)] (Eq. (42)); a static observer at the fulcrum measures T(1) = (N1/N2) T(2). The paper recovers the Newtonian period 2π√(L0/g) in the weak-field short-rope limit (Eq. (53)), gives a near-horizon interpretation in terms of the local acceleration g ≃ c²/(2rsN2) and an effective length ℓeff = 2N1rs (Sec. 4.2), compares the fixed-proper-length model with the coordinate-length model of Ref. [1] and shows they predict different near-horizon scalings (T ∝ √N2 versus T ∝ N2, Eq.","tokens_in":10203,"tokens_out":25329,"duration_ms":199815,"significance":"If Eq. (42) holds, it is a notable result: a closed-form, parameter-free expression for the period of a textbook system in Schwarzschild spacetime, written in terms of the lapse function that governs clock rates and redshifts. The derivation is fully analytic, and I checked the algebra independently: the radial-lift relation (31), the reduced Lagrangian (40), and the resulting period (41)–(42) are internally consistent, as are the Newtonian limit (53) and the effective-length argument (54)–(63). Strengths worth naming: the result is falsifiable in a precise sense, because the fixed-proper-length and fixed-coordinate-length models predict different near-horizon scalings for the same experimental setup (Eq. (77)); the comparison with Ref. [1] is an independent check rather than an input; and the paper does not overclaim the quasi-static rope assumption, since Sec. 6 gives a quantitative necessary condition, shows the approximation improves as the bob approaches a fixed fulcrum, and identifies the near-horizon subcase where the signal time can reach a non-negligible fraction of the period (Eq. (91)).","major_comments":[],"minor_comments":[{"comment":"At Eq. (31), the static quadratic constraint is carried over to the dynamical problem with the phrase \"for an instantaneous bob coordinate θ(t)\"; because this step is precisely the quasi-static assumption whose validity is analyzed only in Section 6, a forward reference at this point would help the reader recognize that the central result is conditional on that assumption.","section":"§2.3, Eq. (31)"},{"comment":"The ordering condition (58) deserves one interpretive sentence: for a fixed amplitude ϑ, the near-horizon limit r2→rs can be taken only while the inequality holds, which for N1 of order unity means roughly ε ≡ (r2−rs)/rs ≫ ϑ⁴; Eq. (54) is therefore an intermediate-asymptotic statement in which ϑ and ε are sent to zero in a correlated way rather than a limit at fixed ϑ. Without such a remark the two limiting statements in Sec. 4.2 can easily be misread as commuting.","section":"§4.2, Eqs. (57)–(58)"},{"comment":"In Eq. (72), the remainder notation O(α²) is potentially misleading because the omitted terms are not uniformly of order α² in this two-parameter expansion: they are α² times functions that are less singular in (r2−rs) but still nonvanishing. Please either give the subleading terms or use a two-parameter order symbol; the surrounding text states the point in words, but the equation itself can be misread.","section":"§5, Eq. (72)"},{"comment":"The criticism of Ref. [1]'s Appendix B would be substantially easier to verify if the corrected Christoffel symbol (78) were derived from the coordinate transformation (64) in a few displayed lines, or if the explicit metric components in the (r′,θ′) coordinates were listed; as written, the reader must reconstruct the reference's full calculation to confirm the allegedly omitted factor. Since this is the paper's only direct charge of an error in another work, completeness matters here.","section":"§5, Eq. (78)"},{"comment":"The abstract's statement that \"after transients decay, the displaced rope coincides with a geodesic of the induced spatial metric\" reads as a dynamical fact; I suggest qualifying it with \"under the quasi-static rope assumption,\" since Section 6 makes clear that a real rope with finite tension-wave speed need not satisfy this condition, and the bound derived there is only a necessary condition for the approximation.","section":"Abstract and Sec. 1"}],"recommendation":"minor_revision","confidential_remarks":"The paper is sound and self-contained, and I expect publication after minor revisions. Two editorial cautions: (i) the pointed criticism of Ref. [1] in Section 5 — the corrected Γ′222 expression and the alleged omission — is correct as far as I can verify by direct computation, but a claim of an error in another published paper should be double-checked by a second reader before it appears in print; (ii) in the typeset version, the denominator structure of the potential term in Eq. (40), with (N1−N2) in the denominator, must be unambiguous, since it is otherwise easy to misread as a numerator factor. The manuscript is within the journal's scope, and the comparison with the coordinate-length model gives it broad pedagogical value."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a good paper that does exactly what it says and no more. It derives the small-oscillation period of a pendulum in Schwarzschild spacetime under a fixed proper-length constraint, Eq. (42), and it carefully separates that from the coordinate-length model of Ref. [1]. The derivation is straightforward and internally consistent: the rope follows a spatial geodesic (from stress-energy conservation), the fixed-length condition determines the radial lift to O(theta^2), and the reduced Lagrangian is a harmonic oscillator. I re-checked the key steps, including the lift formula and the Newtonian limit, and they hold. The near-horizon scaling T ~ sqrt(N2) is a clean consequence of the proper-length constraint, and the effective-length interpretation helps intuition.\n\nWhat is new: the proper-length pendulum is the invariant way to define an inextensible pendulum, and the comparison with Ref. [1] demonstrates that the two constraints are inequivalent in strong fields. That distinction is worth having, since one might otherwise assume the coordinate-length result is the GR pendulum. The paper also does something rare: Section 6 acknowledges the quasi-static rope assumption and quantifies its validity using signal propagation time. That is an honest treatment of a real limitation.\n\nSoft spots: minor. The massless, inextensible rope is an idealization; the result applies to a constraint, not to a real rope with internal modes. The paper says so. The correction to Appendix B of Ref. [1] is plausible but I'd want a referee to verify it; it is a side claim, not load-bearing. The small-oscillation restriction is fine for a first paper but leaves anharmonic corrections open.\n\nThe citation pattern is sensible, with relevant prior work (LaHaye-Poisson, Brown) cited. The paper does not oversell its novelty. I'd be glad to see it published after a routine referee check.\n\nRecommendation: definitely send this to peer review. It is a useful, correct, and carefully scoped contribution to GR mechanics and pedagogy.","headline":"A clean, self-contained derivation of the Schwarzschild pendulum period for a fixed proper-length rope, with an honest analysis of its main idealization; worth publishing.","tokens_in":10681,"tokens_out":3177,"would_cite":true,"duration_ms":29251,"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":"Exact formula gives a pendulum's period near a black hole","keywords":["Schwarzschild spacetime","simple pendulum","small oscillations","spatial geodesic","proper length constraint","lapse function","gravitational redshift","black hole horizon"],"falsifier":"A numerical solution of an elastic rope with finite tension-wave speed, in the same static-slice geometry, should approach Eq. (42) only as the wave speed tends to $c$ and the rope mass tends to zero; if the limiting period still differs from Eq. (42), or if it matches the coordinate-length prediction $T_{MD,(2)}\\propto N_2$ instead, the quasi-static geodesic assumption would be falsified.","tokens_in":9763,"feed_emoji":"⏱️","tokens_out":10427,"duration_ms":81123,"temperature":0.7,"pith_summary":"This paper establishes the small-oscillation period of a simple pendulum in Schwarzschild spacetime when the rope has a fixed proper length. The central result, Eq. (42), says a static observer at the bob's equilibrium position measures $T_{(2)}=4\\pi r_2^2\\sqrt{N_2(N_1-N_2)}/(c r_s)$, where $N(r)=\\sqrt{1-r_s/r}$ is the same lapse function that governs clock rates and gravitational redshifts. The derivation shows that after transients the rope lies along a geodesic of the spatial metric, and that the bob's radial rise is quadratic in the angular amplitude, $\\delta r\\propto\\theta^2$. In the Newtonian weak-field limit the formula reduces to $T=2\\pi\\sqrt{L_0/g}$. The paper also argues that a coordinate-length constraint used in earlier work describes a genuinely different pendulum, with a different behavior near the horizon.","feed_headline":"Exact formula gives a pendulum's period near a black hole","feed_subtitle":"It depends only on the redshift lapse and reduces to Newton's formula on Earth.","key_machinery":"The central object is the static-slice spatial metric $h_{ij}$ with $h_{ij}dx^i dx^j=dr^2/N^2+r^2 d\\theta^2$, together with its geodesics: by stress-energy conservation, a massless taut rope must lie on one, so the rope's shape is fixed by the geodesic equation. The load-bearing identity is the fixed-proper-length constraint, $\\delta r(\\theta)=N_2 r_s(N_1-N_2)\\theta^2/4$, which converts the bob's two-dimensional motion into a one-dimensional harmonic oscillator. Everything else follows from expanding the point-particle Lagrangian in $\\theta$ and reading off the frequency; the lapse $N(r)$ is the same function that appears in redshift and clock-rate formulas.","core_discovery":"The paper's central claim is that the physical period of a fixed-proper-length pendulum in Schwarzschild spacetime, measured by a static observer at the bob at $r=r_2$ with the fulcrum at $r_1$, is $T_{(2)}=4\\pi r_2^2\\sqrt{N_2(N_1-N_2)}/(c r_s)$. After the transients decay, a taut, very light, inextensible rope of fixed proper length coincides with a geodesic of $h_{ij}$, the metric induced on the static hypersurface. The conserved quantity $r^2\\,d\\theta/ds=J$ combines with the arc-length normalization to produce a one-parameter family of geodesics; matching the fixed length $L_0$ and the endpoint angle $\\vartheta$ gives the radial lift $\\delta r=N_2 r_s(N_1-N_2)\\vartheta^2/4$ to quadratic order. Substituting this holonomic constraint into the point-particle Lagrangian of the bob yields a harmonic-oscillator Lagrangian whose coordinate-time frequency corresponds to $T_t=4\\pi r_2^2\\sqrt{(N_1-N_2)/N_2}/(c r_s)$. Since a static observer at $r_2$ measures proper time $d\\tau=N_2\\,dt$, the local period is $T_{(2)}=N_2 T_t=4\\pi r_2^2\\sqrt{N_2(N_1-N_2)}/(c r_s)$.","pith_inferences":["One consequence not drawn in the paper is that any constrained system whose shape follows a spatial geodesic should show the same lapse-combination structure, so Eq. (42) may be a special case of a general proper-length small-oscillation theorem in static spacetimes.","A natural numerical check beyond the paper's scope would simulate a finite-tension-wave-speed rope with small mass: the period should approach Eq. (42) as the wave speed tends to $c$ and the mass goes to zero, while the coordinate-length model will not.","The quasi-static consistency condition implies a practical bound for real pendula near a horizon: the fulcrum cannot be too distant ($r_1-r_s\\ll 2\\pi r_s\\epsilon^{-1/4}$), which could guide whether tabletop black-hole analogues can realize the predicted period."],"forward_implications":["In the Newtonian limit, with $r_{1,2}\\gg r_s$ and $L_0\\ll r_2$, the period reduces to $T=2\\pi\\sqrt{L_0/g}$ with $g=GM/r_2^2$, exactly reproducing the classical pendulum result.","Close to the horizon, the period scales as $T_{(2)}\\propto\\sqrt{N_2}$, and a local observer sees an effective pendulum length $\\ell_{\\mathrm{eff}}=2N_1 r_s$; combining that length with the local gravitational acceleration reproduces the limiting period.","A static observer at the fulcrum measures a period longer by the ratio $N_1/N_2$, so the pendulum itself exhibits the same redshift factor that appears in clock-comparison experiments.","The fixed-proper-length model and the coordinate-length model of earlier work agree only in the weak-field limit; near the horizon they predict different scalings, $T_{(2)}\\propto\\sqrt{N_2}$ versus $T_{MD,(2)}\\propto N_2$, so they describe physically distinct pendula."],"supporting_citations":[{"why":"Supplies the coordinate-length pendulum model whose proper length shortens when displaced; the paper argues it is a different physical pendulum away from the weak field.","marker":"[1]"},{"why":"Provides the Christoffel-symbol identity used in the derivation that a massless taut rope follows a spatial geodesic.","marker":"[8]"},{"why":"Gives the standard theorem that geodesics extremize the length functional, used to identify the rope's shape with a spatial geodesic.","marker":"[9]"},{"why":"Supplies the Shapiro time-delay calculation used to check that the rope adjusts quasi-statically within one oscillation period.","marker":"[13]"}],"fun_headline_variants":["Pendulum period near black hole follows exact redshift formula","Black hole pendulum period set by gravitational redshift law","Exact pendulum period in Schwarzschild spacetime, Newton limit on Earth","New exact pendulum law: period from redshift lapse, Newton on Earth","Pendulum ticks near black hole: exact period from lapse function"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The result assumes the rope always settles instantly into a spatial geodesic of fixed proper length, which requires a tension wave to cross the rope many times during one swing; for slow tension waves or very long ropes the period formula would break down and an elastic-string model would be needed.","fun_headline_variants_meta":{"raw":{"variants":["Pendulum period near black hole follows exact redshift formula","Black hole pendulum period set by gravitational redshift law","Exact pendulum period in Schwarzschild spacetime, Newton limit on Earth","New exact pendulum law: period from redshift lapse, Newton on Earth","Pendulum ticks near black hole: exact period from lapse function"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000642,"raw_usage":{"total_tokens":3005,"prompt_tokens":1045,"completion_tokens":1960,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":661,"completion_tokens_details":{"reasoning_tokens":1875}},"tokens_in":661,"tokens_out":1960,"duration_ms":11042,"temperature":1.0,"reasoning_tokens":1875,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T15:16:55.196403+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A numerical solution of an elastic rope with finite tension-wave speed, in the same static-slice geometry, should approach Eq. (42) only as the wave speed tends to $c$ and the rope mass tends to zero; if the limiting period still differs from Eq. (42), or if it matches the coordinate-length prediction $T_{MD,(2)}\\propto N_2$ instead, the quasi-static geodesic assumption would be falsified.","supporting_citations":[{"cited_title":"A General Relativistic Pendulum: Isochronous vs. Geodesic Motion","cited_arxiv_id":"2205.02509","evidence_quote":"Supplies the coordinate-length pendulum model whose proper length shortens when displaced; the paper argues it is a different physical pendulum away from the weak field."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the Christoffel-symbol identity used in the derivation that a massless taut rope follows a spatial geodesic."},{"cited_title":"Lee,Introduction to Riemannian Manifolds, Springer, Cham, Switzerland, 2nd edition (2019)","cited_arxiv_id":null,"evidence_quote":"Gives the standard theorem that geodesics extremize the length functional, used to identify the rope's shape with a spatial geodesic."},{"cited_title":"Gourgoulhon,Relativité générale(2014),http://luth.obspm.fr/~luthier/gourgoulhon/ fr/master/relat.html","cited_arxiv_id":null,"evidence_quote":"Supplies the Shapiro time-delay calculation used to check that the rope adjusts quasi-statically within one oscillation period."}],"review_version":2}