“Ulam number”的意思、由来-开放百科全书

An Ulam number is a member of an integer sequence devised by and named after Stanislaw Ulam, who introduced it in 1964.^[1] The standard Ulam sequence (the (1, 2)-Ulam sequence) starts with U₁ = 1 and U₂ = 2. Then for n > 2, U_n is defined to be the smallest integer that is the sum of two distinct earlier terms in exactly one way and larger than all earlier terms.

Examples

As a consequence of the definition, 3 is an Ulam number (1+2); and 4 is an Ulam number (1+3). (Here 2+2 is not a second representation of 4, because the previous terms must be distinct.) The integer 5 is not an Ulam number, because 5 = 1 + 4 = 2 + 3. The first few terms are

There are infinitely many Ulam numbers. For, after the first n numbers in the sequence have already been determined, it is always possible to extend the sequence by one more element: {{nowrap|U_{n − 1} + U_n}} is uniquely represented as a sum of two of the first n numbers, and there may be other smaller numbers that are also uniquely represented in this way, so the next element can be chosen as the smallest of these uniquely representable numbers.^[2]

Ulam is said to have conjectured that the numbers have zero density,^[3] but they seem to have a density of approximately 0.07398.^[4]

Hidden structure

It has been observed^[5] that the first 10 million Ulam numbers satisfy

except for the four elements

(this has now been verified up to

). Inequalities of this type are usually true for sequences exhibiting some form of periodicity but the Ulam sequence does not seem to be periodic and the phenomenon is not understood. It can be exploited to do a fast computation of the Ulam sequence (see external links).

Generalizations

The idea can be generalized as (u, v)-Ulam numbers by selecting different starting values (u, v). A sequence of (u, v)-Ulam numbers is regular if the sequence of differences between consecutive numbers in the sequence is eventually periodic. When v is an odd number greater than three, the (2, v)-Ulam numbers are regular. When v is congruent to 1 (mod 4) and at least five, the (4, v)-Ulam numbers are again regular. However, the Ulam numbers themselves do not appear to be regular.^[6]

A sequence of numbers is said to be s-additive if each number in the sequence, after the initial 2s terms of the sequence, has exactly s representations as a sum of two previous numbers. Thus, the Ulam numbers and the (u, v)-Ulam numbers are 1-additive sequences.^[7]

If a sequence is formed by appending the largest number with a unique representation as a sum of two earlier numbers, instead of appending the smallest uniquely representable number, then the resulting sequence is the sequence of Fibonacci numbers.^[8]

Notes

1. ^{{harvs|last=Ulam|year=1964a|year2=1964b|txt|authorlink=Stanislaw Ulam}}.
2. ^{{harvtxt|Recaman|1973}} gives a similar argument, phrased as a proof by contradiction. He states that, if there were finitely many Ulam numbers, then the sum of the last two would also be an Ulam number – a contradiction. However, although the sum of the last two numbers would in this case have a unique representation as a sum of two Ulam numbers, it would not necessarily be the smallest number with a unique representation.
3. ^The statement that Ulam made this conjecture is in OEIS {{OEIS2C|id=A002858}}, but Ulam does not address the density of this sequence in {{harvtxt|Ulam|1964a}}, and in {{harvtxt|Ulam|1964b}} he poses the question of determining its density without conjecturing a value for it. {{harvtxt|Recaman|1973}} repeats the question from {{harvtxt|Ulam|1964b}} of the density of this sequence, again without conjecturing a value for it.
4. ^OEIS {{OEIS2C|id=A002858}}
5. ^{{harvtxt|Steinerberger|2015}}
6. ^{{harvtxt|Queneau|1972}} first observed the regularity of the sequences for u = 2 and v = 7 and v = 9. {{harvtxt|Finch|1992}} conjectured the extension of this result to all odd v greater than three, and this conjecture was proven by {{harvtxt|Schmerl|Spiegel|1994}}. The regularity of the (4, v)-Ulam numbers was proven by {{harvtxt|Cassaigne|Finch|1995}}.
7. ^{{harvtxt|Queneau|1972}}.
8. ^{{harvtxt|Finch|1992}}.

Examples

Hidden structure

Generalizations

Notes

References

External links