Pith. sign in

REVIEW 6 minor 7 references

Ramanujan's oscillator

T0 review · 0 major / 6 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper shows that setting the paired rolling masses' ratio to $(\sqrt{1729}-1)/36$ makes the oscillator's dimensionless angular frequency exactly 1.

desk verdict The mass-ratio condition (14) is correct and the 1729 is genuine, but the paper overreaches in Section 3: the equal-frequency claim is false because two zero modes exist. read the letter →

arxiv 2507.16837 v1 pith:MLUAXKOX submitted 2025-07-17 physics.class-ph

Gergely Nyitray This is my paper · ORCID
classification physics.class-ph
keywords Hardy-RamanujannumbercoupledoscillatorrollingwithoutslippingEuler-Lagrangeequationsnaturalfrequencymassratiotaxicabdimensionless
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper tries to establish that a specific three-degree-of-freedom rolling oscillator has dimensionless angular frequency exactly one only when the ratio $\varepsilon=m'/m$ of the paired rolling bodies' mass to the other masses is $(\sqrt{1729}-1)/36$. The condition emerges from the discriminant of a quadratic equation, and because $1729=1^3+12^3=9^3+10^3$, the Hardy-Ramanujan number enters classical mechanics as a physical tuning parameter. A reader should care because it gives a concrete mechanical example in which a famous number-theoretic quantity controls the dynamics of a constructible system.

What carries the argument

The central object is the reduced equation of motion for the rolling angle $\phi$, whose effective frequency-squared is a rational function of the mass ratio $\varepsilon$. Requiring that function to equal $k/m$ produces a cancellation condition that simplifies to the quadratic $18\varepsilon^2+\varepsilon-24=0$, and its positive root is $\varepsilon=(\sqrt{1729}-1)/36$. The Hardy-Ramanujan number, the smallest positive integer expressible as a sum of two positive cubes in two distinct ways, enters because the discriminant is $1+4\cdot18\cdot24=1729=1^3+12^3=9^3+10^3$. The Lagrangian with rolling-without-slipping constraints is the machinery that converts the geometry of the coupled oscillator into this polynomial condition.

What would settle it

Construct or simulate the oscillator with masses chosen so that $\varepsilon=(\sqrt{1729}-1)/36$ and measure the natural period; the paper's prediction is $T=2\pi\sqrt{m/k}$, so a measured frequency that deviates from $\sqrt{k/m}$ by more than experimental uncertainty, or visible slipping at the contacts, would refute the central claim.

Watch

Extended reading notes

Core claim

The central claim is that, for the described no-slip rolling oscillator, the condition $\Omega^2/(k/m)=1$ holds exactly when $\varepsilon=m'/m=(\sqrt{1729}-1)/36$, and this gives a dynamic interpretation of the Hardy-Ramanujan number as $(36\varepsilon+1)^2=1729$. The paper derives this by writing the Euler-Lagrange equations for the three independent coordinates $X$, $\varphi$, and $\phi$, eliminating the accelerations, and requiring the effective frequency-squared to equal $k/m$. That requirement reduces to the quadratic $18\varepsilon^2+\varepsilon-24=0$, whose physically acceptable positive root contains $\sqrt{1729}$. Thus the paper establishes a mechanical condition in which the celebrated taxicab number appears naturally from the rolling constraints and mass ratios.

Load-bearing premise

The entire derivation rests on the assumption that every rolling body and the slab never slips, so the velocity relations written into the Lagrangian remain exact throughout the motion.

Editorial extensions

If this is right

  • If the central claim holds, all three coordinates $X$, $\varphi$, and $\phi$ oscillate with the same natural frequency $\Omega=\sqrt{k/m}$, so the entire system moves in a single normal mode at the tuned mass ratio.
  • If the central claim holds, 1729 can be characterized dynamically by $(36\varepsilon+1)^2$, giving a mass-ratio version of the taxicab number alongside its usual sum-of-two-cubes definition.
  • For equal masses the dimensionless frequency squared is approximately 1.0506, so increasing the rolling bodies' mass by about 12.7 percent moves the oscillator from near-unity to exact unit frequency.
  • The result is independent of the radius $R$ and the spring constant $k$, so the 1729 condition describes a family of physical realizations rather than one particular apparatus.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Going beyond the paper: replacing the hoop-and-cylinder pair with other rolling shapes changes the moment-of-inertia coefficients and therefore the coefficients of the quadratic, so the discriminant would no longer be 1729; testing other shapes could reveal whether 1729 is unique to this layout or part of a family of taxicab-like discriminants.
  • Going beyond the paper: because the condition is fixed by the geometry and mass ratios, a classroom prototype with $\varepsilon=(\sqrt{1729}-1)/36$ could serve as a direct experimental check of the no-slip model, while any measured slip would show where the Lagrangian description breaks down.
  • Going beyond the paper: the paper leaves open whether the appearance of 1729 has a deeper number-theoretic reason; one test is to vary the rolling constraints or the spring placement and ask whether the resulting discriminants form a recognizable arithmetic sequence.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. This paper presents a coupled mechanical oscillator with three degrees of freedom: a large block sliding on a frictionless ground, two rolling bodies (a hoop and a cylinder) on the block, a slab on top connected to the block by a spring, and an additional cylinder on a higher surface. The author derives the Lagrangian and Euler-Lagrange equations, computes the frequency of the oscillatory mode, and finds that for equal masses the dimensionless frequency is near unity. By allowing the rolling bodies' mass m' to differ from the mass m of the other elements, the condition for the frequency to equal sqrt(k/m) yields a quadratic equation in ε = m'/m whose discriminant is 1729, giving ε = (√1729 − 1)/36. The paper calls this a "Ramanujan's oscillator."

Significance. The central algebraic derivation is correct and self-contained. The appearance of 1729 is a genuine consequence of the discriminant of the quadratic, not an input. The paper is a nice pedagogical example connecting classical mechanics to number theory, with transparent steps that are easy to verify. The no-slip assumptions are explicitly stated and are appropriate for an idealized model. However, Section 3 contains an incorrect claim that all three modes have the same natural frequency; the stiffness matrix has rank 1, so there are two zero-frequency modes and one finite-frequency mode. This error does not affect the 1729 result but should be corrected.

minor comments (6)
  1. [Section 3] The statement that all three modes have the same natural frequency (Ω_X = Ω_φ = Ω_ϕ) is incorrect: because the potential energy depends only on ϕ, the stiffness matrix has rank 1, so the generalized eigenvalue problem has two zero-frequency modes and only one finite-frequency mode; the correct statement is that in the single oscillatory mode the three coordinates are proportional and oscillate at the same frequency.
  2. [Eq. (13)] The phrase "if the first and third terms in the denominator of Ω² is just cancel out each other" is inaccurate; the condition actually sets the term 7m' equal to the fraction 8(m'+m)^2/(7m/3+2m'), so the wording should be revised to describe the equality rather than a cancellation.
  3. [Eq. (8)] The displayed approximate equality Ω²/(k/m) ≈ 1 is misleading, since 104/99 = 1.0505... is not within a few percent of 1; suggest writing Ω² ≈ 1.0506 k/m and explicitly noting that this is about 5% above the unit value.
  4. [Throughout] There are several typographical errors: "Ramanujan mentor" should be "Ramanujan's mentor", "extra ordinary" should be "extraordinary", and "Euler-Lagrange and Hamilton's equations" should use en dashes (Euler–Lagrange, Hamilton's).
  5. [Figure 1 and text] The two angular coordinates ϕ and φ are visually very similar; consider using distinct symbols such as θ and ψ to help the reader follow the expressions.
  6. [Section 4 (Conclusion)] The final sentence speculates about an underlying number-theoretic reason for the appearance of 1729; this is unnecessary and could be removed or rephrased as an open question outside the scope of the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the 1729 condition is solved, not assumed.

full rationale

The derivation is self-contained and does not assume the target result. The mass ratio epsilon = m'/m is introduced as a free parameter in the re-parameterized Lagrangian (9). The Euler-Lagrange equations (10a-c) are then used to derive the frequency expression in Eq. (12). Setting the dimensionless frequency squared equal to unity gives the algebraic condition (13), 18ε^2 + ε - 24 = 0, whose discriminant is 1729. Thus 1729 appears as a consequence of solving the quadratic, not as an input or fitted value. There are no self-citations, no imported uniqueness theorems, and no renamed empirical patterns. The only notable flaw is in Section 3, where the claim Ω_X = Ω_φ = Ω_ϕ is false because the potential depends only on ϕ and the system has zero-frequency modes; however, this is a correctness error in a peripheral section, not circular reasoning, and it does not affect the existence of the mass ratio in Eq. (14) for the nonzero normal mode.

Assumptions & free parameters 1 free parameters · 4 assumptions · 0 invented entities

The calculation is a standard Lagrangian mechanics problem. The only free design choice is the mass ratio, which is solved for rather than fitted to data.

free parameters (1)
  • mass ratio epsilon = m'/m = (sqrt(1729)-1)/36 approx 1.127256827
    Chosen by solving Eq. (13) to enforce the target unit angular frequency. The central claim holds only for this value, so it is a design parameter on which the result depends.
assumptions (4)
  • domain assumption Rolling bodies do not slip on the block or slab; velocities are (R*phidot - Xdot) for centers and (2R*phidot - Xdot) for top points.
    Used to write the Lagrangian in Eq. (1). If slip occurs, the kinetic-energy relations and the resulting frequency condition do not hold.
  • domain assumption The large block slides on the ground without friction.
    Assumed in the statement of the problem; affects the equations of motion.
  • domain assumption The spring is ideal (linear) and its deformation is exactly 2R*phi because the slab does not slip relative to the rolling bodies.
    Gives potential energy U=2kR^2 phi^2 in Eq. (1).
  • domain assumption The system is initially at rest with the spring undeformed, and after a slight compression it oscillates in a normal mode.
    Used to justify seeking solutions of the form q_ddot + Omega^2 q = 0 (Eq. (5)).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Ramanujan's oscillator." pith.science (2026). https://pith.science/paper/MLUAXKOX

@misc{pith2026250716837,
  author       = {Pith},
  title        = {Pith review of: Ramanujan's oscillator},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MLUAXKOX}},
  note         = {Machine review of arXiv:2507.16837}
}
read the original abstract

We aim to show that the dimensionless unit angular frequency of a certain mechanical oscillator is realized by a condition involving the Hardy-Ramanujan number 1729. This type of coupled oscillator can be called a Ramanujan's oscillator.

Figures

Figures reproduced from arXiv: 2507.16837 by the authors.

Figure 1
Figure 1. Coupled mechanical system. If the surface is also moving in the opposite direction with instantaneous velocity X˙ , only velocities relative to the inertial reference frame (IRF) can be written into the Lagrangian as  Rϕ˙ − X˙  . So the Lagrangian of the system takes the following form: L = 1 2 mX˙ 2 + 1 2 m′  Rϕ˙ − X˙ 2 + 1 2 IHoop ϕ˙ 2 + 1 2 m′  Rϕ˙ − X˙ 2 + 1 2 I ′ Cyl ϕ˙ 2 + . . . 1 2 m  2Rϕ˙ − X˙ 2 + 1 … view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages

  1. [4]

    Taxicab numbers and the expr ession of numbers as a sum of two cubes,

    G. H. Hardy, & S. Ramanujan, “Taxicab numbers and the expr ession of numbers as a sum of two cubes,” Proceedings of the London Mathematical Society , 2 (17), 75–115 (1918)

    work page 1918

  2. [6]

    D. S. Marcus, The Music of the Primes: Searching to Solve the Greatest Myst ery in Mathematics . (Scribner, 2003)

    work page 2003

  3. [1]

    Goldstein, C

    H. Goldstein, C. Poole, & J. Safko, Classical Mechanics (3rd ed.) . (Addison-Wesley, 2002)

    work page 2002

  4. [2]

    J. B. Marion, & S. T. Thornton, Classical Dynamics of Particles and Systems. (Brooks Cole, 2003)

    work page 2003

  5. [3]

    Stillwell, Elements of Number Theory

    J. Stillwell, Elements of Number Theory . (Springer, 2002)

    work page 2002

  6. [5]

    B. C. Berndt, Ramanujan ’s Notebooks: Part IV. (Springer-Verlag, 1994)

    work page 1994

  7. [7]

    Kanigel, The Man Who Knew Infinity: A Life of the Genius Ramanujan

    R. Kanigel, The Man Who Knew Infinity: A Life of the Genius Ramanujan . (Scribner, 1991). 5

    work page 1991

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.