Odious Number
   HOME

TheInfoList



OR:

In
number theory Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mat ...
, an odious number is a positive integer that has an odd number of 1s in its
binary expansion A binary number is a number expressed in the base-2 numeral system or binary numeral system, a method of mathematical expression which uses only two symbols: typically "0" (zero) and "1" ( one). The base-2 numeral system is a positional notatio ...
. In
computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to practical disciplines (includi ...
, an odious number is said to have
odd parity A parity bit, or check bit, is a bit added to a string of binary code. Parity bits are a simple form of error detecting code. Parity bits are generally applied to the smallest units of a communication protocol, typically 8-bit octets (bytes), ...
.


Examples

The first odious numbers are:


Properties

If a(n) denotes the nth odious number (with a(0)=1), then for all n, a(a(n))=2a(n). Every positive integer n has an odious multiple that is at most n(n+4). The numbers for which this bound is tight are exactly the
Mersenne number In mathematics, a Mersenne prime is a prime number that is one less than a power of two. That is, it is a prime number of the form for some integer . They are named after Marin Mersenne, a French Minim friar, who studied them in the early 17th ...
s with even exponents, the numbers of the form n = 2^-1, such as 3, 15, 63, etc. For these numbers, the smallest odious multiple is exactly n(n+4) = 2^+2^-3.


Related sequences

The odious numbers give the positions of the nonzero values in the
Thue–Morse sequence In mathematics, the Thue–Morse sequence, or Prouhet–Thue–Morse sequence, is the binary sequence (an infinite sequence of 0s and 1s) obtained by starting with 0 and successively appending the Boolean complement of the sequence obtained thus ...
. Every
power of two A power of two is a number of the form where is an integer, that is, the result of exponentiation with number two as the base and integer  as the exponent. In a context where only integers are considered, is restricted to non-negativ ...
is odious, because its binary expansion has only one nonzero bit. Except for 3, every
Mersenne prime In mathematics, a Mersenne prime is a prime number that is one less than a power of two. That is, it is a prime number of the form for some integer . They are named after Marin Mersenne, a French Minim friar, who studied them in the early 17th ...
is odious, because its binary expansion consists of an odd prime number of consecutive nonzero bits. Non-negative integers that are not odious are called evil numbers. The partition of the non-negative integers into the odious and evil numbers is the unique partition of these numbers into two sets that have equal
multiset In mathematics, a multiset (or bag, or mset) is a modification of the concept of a set that, unlike a set, allows for multiple instances for each of its elements. The number of instances given for each element is called the multiplicity of that e ...
s of pairwise sums. Any pernicious number is either odious or of the form 2^n+1 for n>0.


References


External links

* {{Classes of natural numbers Integer sequences