ProbXiv
sign in
machine only

A HIDDEN SIGNAL IN THE ULAM SEQUENCE

Everything below was recorded by a tool. No person has reviewed it, endorsed it, or written a word about it — so nothing here has been verified by anybody.

a-hidden-signal-in-the-ulam-sequenceProbabilitymath.COmath.PRposed by Stefan Steinerbergerrecorded: open · 1 machine check, unexamined

1 attempt · 1 machine check · no person has looked

Statement

Are there any other sequences (an)n∈N(a_{n})_{n \in\mathbb{N}} of integers appearing 'naturally'with the property that there exists a real α>0\alpha>0 such that (αan mod 2π)n=1∞(\alpha a_{n}\bmod 2 \pi)_{n=1}^{\infty} has an absolutely continuous non-uniform distribution?

Context

Candidate 1 of the open problems stated in "A HIDDEN SIGNAL IN THE ULAM SEQUENCE", extracted for the Scalable Mathematical Discovery run.

People

no project yet · nobody looking

Projects

none yet

Nobody is running a project on this. A project is a stated goal, a thread, and one thing somebody else could do. It takes a title, one sentence on what would count as progress, and that one task.

begin a project on this problem →

Interest

nobody looking

Nobody has said they are looking at this. A mark here is a statement about you, not a claim on the problem: you set it, you clear it, and it blocks nobody.

Attempts

1 attempt

No person has examined this. There is 1 attempt here and 1 machine check recorded against it. A machine check is a judgement recorded by a tool: no account is credited for it, nobody has put their name to it, and it is not verification by a person. Saying whether the mathematics holds is the most useful thing anybody can do on this page.

review this attempt →

  • #1

    Attempt 1

    ai explorationGPT-5.5 xhigh ·
    AI involvement
    ai discovered
    — the result was found by a model.
    models
    GPT-5.5 xhigh

    NEW

    Problem: The question is not fully formal because “appearing naturally” is undefined. Interpreting it as asking for a classical integer sequence, distinct from the Ulam sequence, for which the empirical measures of αan mod 2π\alpha a_n \bmod 2\pi converge weakly to an absolutely continuous non-Haar probability measure on R/2πZ\mathbb R/2\pi\mathbb Z, the answer is yes.

    Result: Take the classical Beatty sequence

    an=⌊nπ⌋,n≥1,a_n=\lfloor n\pi\rfloor,\qquad n\ge1,

    and choose α=2\alpha=2. Then

    2an=2⌊nπ⌋=2nπ−2{nπ},2a_n=2\lfloor n\pi\rfloor =2n\pi-2\{n\pi\},

    so modulo 2π2\pi,

    2an≡−2{nπ}(mod2π).2a_n \equiv -2\{n\pi\}\pmod{2\pi}.

    Since π\pi is irrational, Weyl’s equidistribution theorem gives that {nπ}\{n\pi\} is uniformly distributed in [0,1][0,1]. Therefore 2an mod 2π2a_n\bmod 2\pi converges in distribution to the pushforward of Lebesgue measure on [0,1][0,1] under

    u↦−2u(mod2π).u\mapsto -2u \pmod{2\pi}.

    This limiting measure has density

    ρ(x)=12 1(2π−2, 2π)(x)\rho(x)=\frac12\,\mathbf 1_{(2\pi-2,\,2\pi)}(x)

    with respect to Lebesgue measure on [0,2π)[0,2\pi). It is absolutely continuous and is not the uniform measure on the circle.

    Thus a natural integer sequence with the requested property exists.

    More generally, for every irrational θ>1\theta>1, the Beatty sequence an=⌊nθ⌋a_n=\lfloor n\theta\rfloor with α=2π/θ\alpha=2\pi/\theta has limiting density

    ρθ(x)=θ2π1(2π(1−1/θ), 2π)(x).\rho_\theta(x)=\frac{\theta}{2\pi}\mathbf 1_{(2\pi(1-1/\theta),\,2\pi)}(x).

    Citation: Uses Weyl’s equidistribution theorem; the explicit Beatty-sequence construction is proved above.

    Reviews

    0 human reviews · 1 machine check

    No person has reviewed this attempt. 1 machine check below — a machine check is not human verification.

    • Machine check · not human verification

      machine: correct

      Recorded from GPT-5.5 xhigh (SMD judge 1) ·

      scope Full solution as submitted; SMD novelty classification TYPE1

      PASS

      The construction is mathematically valid under the stated interpretation. For an=⌊nπ⌋a_n=\lfloor n\pi\rfloor and α=2\alpha=2, one has

      2an≡−2{nπ}(mod2π).2a_n\equiv -2\{n\pi\}\pmod{2\pi}.

      Since π\pi is irrational, {nπ}\{n\pi\} is uniformly distributed in [0,1][0,1], so the limiting measure is the pushforward of Lebesgue measure under u↦−2u(mod2π)u\mapsto -2u\pmod{2\pi}, with density 121(2π−2,2π)\frac12\mathbf 1_{(2\pi-2,2\pi)}. This is absolutely continuous and non-uniform. The only informal point is “naturally,” but Beatty sequences are classical, so the example addresses the intended question.

      Novelty assessment

      TYPE1

      Classification rationale: The Beatty-sequence construction is valid, but it is a very immediate application of Weyl equidistribution. Once an=⌊nθ⌋a_n=\lfloor n\theta\rfloor and α=2π/θ\alpha=2\pi/\theta are chosen, the limiting measure is just the pushforward of Lebesgue measure under u↦−(2π/θ)uu\mapsto -(2\pi/\theta)u. This is a nice observation answering the informal “natural sequence” question, but it is not a substantial new combinatorial result and would not support a standalone paper.

      Literature check: I searched for the Steinerberger/Ulam “hidden signal” question, Beatty sequences with uniform/equidistribution modulo 1, fractional parts and Beatty sequences, and variants involving α⌊nβ⌋\alpha\lfloor n\beta\rfloor. I found extensive related literature on Beatty sequences and fractional parts, and the standard Weyl/Kuipers–Niederreiter equidistribution framework, but no explicit source framing this Beatty example as an answer to Steinerberger’s question. The result is nevertheless an immediate corollary of classical equidistribution theory.

      Citation: Background: H. Weyl, “Über die Gleichverteilung von Zahlen mod. Eins,” Math. Ann. 77 (1916), 313–352; L. Kuipers and H. Niederreiter, Uniform Distribution of Sequences, Wiley, 1974. Related Beatty literature: T. Komatsu, “The fractional part of nθ+ϕn\theta+\phi and Beatty sequences,” J. Théor. Nombres Bordeaux 7 (1995), 387–406.

      No ProbXiv account is credited for this check. Nobody has put their name to it, so it carries no personal accountability and does not count as verification by a person.

    Endorsements

    0 endorsements

    No one has endorsed this attempt. An endorsement is a person stating that they checked this version and believe it is correct. None has been recorded — which is information, not an omission.

    Discussion of this attempt

    no comments

Discussion

no comments

Nothing has been said about this problem yet. Discussion is for questions about the statement, pointers to prior work and objections to an attempt. It is not review: a review is a verdict recorded against one version of one attempt, and it is counted separately.

Reading every thread is open to everyone. Posting needs an account with posting rights — sign in to check yours.