Embree–Trefethen Constant
   HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, the random Fibonacci sequence is a
stochastic Stochastic (, ) refers to the property of being well described by a random probability distribution. Although stochasticity and randomness are distinct in that the former refers to a modeling approach and the latter refers to phenomena themselv ...
analogue of the Fibonacci sequence defined by the recurrence relation f_n=f_\pm f_, where the signs + or − are chosen at random with equal probability \tfrac12, independently for different n. By a
theorem In mathematics, a theorem is a statement that has been proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of th ...
of
Harry Kesten Harry Kesten (November 19, 1931 – March 29, 2019) was an American mathematician best known for his work in probability, most notably on random walks on groups and graphs, random matrices, branching processes, and percolation theory. Biograph ...
and Hillel Furstenberg, random recurrent sequences of this kind grow at a certain exponential rate, but it is difficult to compute the rate explicitly. In 1999, Divakar Viswanath showed that the growth rate of the random Fibonacci sequence is equal to 1.1319882487943... , a
mathematical constant A mathematical constant is a key number whose value is fixed by an unambiguous definition, often referred to by a symbol (e.g., an alphabet letter), or by mathematicians' names to facilitate using it across multiple mathematical problems. Cons ...
that was later named Viswanath's constant.


Description

A random Fibonacci sequence is an
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
random sequence given by the numbers f_n for
natural number In mathematics, the natural numbers are those numbers used for counting (as in "there are ''six'' coins on the table") and ordering (as in "this is the ''third'' largest city in the country"). Numbers used for counting are called ''Cardinal n ...
s n, where f_1=f_2=1 and the subsequent terms are chosen randomly according to the random recurrence relation f_n = \begin f_+f_, & \text \tfrac12; \\ f_-f_, & \text \tfrac12. \end An instance of the random Fibonacci sequence starts with 1,1 and the value of the each subsequent term is determined by a fair coin toss: given two consecutive elements of the sequence, the next element is either their sum or their difference with probability 1/2, independently of all the choices made previously. If in the random Fibonacci sequence the plus sign is chosen at each step, the corresponding instance is the Fibonacci sequence (''F''''n''), 1,1,2,3,5,8,13,21,34,55,\ldots. If the signs alternate in minus-plus-plus-minus-plus-plus-... pattern, the result is the sequence 1,1,0,1,1,0,1,1,0,1,\ldots. However, such patterns occur with vanishing probability in a random experiment. In a typical run, the terms will not follow a predictable pattern: 1, 1, 2, 3, 1, -2, -3, -5, -2, -3, \ldots \text +, +, +, -, -, +, -, -, \ldots. Similarly to the deterministic case, the random Fibonacci sequence may be profitably described via matrices: = \begin 0 & 1 \\ \pm 1 & 1 \end , where the signs are chosen independently for different ''n'' with equal probabilities for + or −. Thus = M_M_\ldots M_3, where (''M''''k'') is a sequence of independent identically distributed random matrices taking values ''A'' or ''B'' with probability 1/2: A=\begin 0 & 1 \\ 1 & 1 \end, \quad B=\begin 0 & 1 \\ -1 & 1 \end.


Growth rate

Johannes Kepler Johannes Kepler (; ; 27 December 1571 – 15 November 1630) was a German astronomer, mathematician, astrologer, natural philosopher and writer on music. He is a key figure in the 17th-century Scientific Revolution, best known for his laws ...
discovered that as ''n'' increases, the ratio of the successive terms of the Fibonacci sequence (''F''''n'') approaches the golden ratio \varphi=(1+\sqrt)/2, which is approximately 1.61803. In 1765,
Leonhard Euler Leonhard Euler ( , ; 15 April 170718 September 1783) was a Swiss mathematician, physicist, astronomer, geographer, logician and engineer who founded the studies of graph theory and topology and made pioneering and influential discoveries in ma ...
published an explicit formula, known today as the
Binet formula In mathematics, the Fibonacci numbers, commonly denoted , form a sequence, the Fibonacci sequence, in which each number is the sum of the two preceding ones. The sequence commonly starts from 0 and 1, although some authors start the sequence from ...
, F_n = . It demonstrates that the Fibonacci numbers grow at an exponential rate equal to the golden ratio ''φ''. In 1960, Hillel Furstenberg and
Harry Kesten Harry Kesten (November 19, 1931 – March 29, 2019) was an American mathematician best known for his work in probability, most notably on random walks on groups and graphs, random matrices, branching processes, and percolation theory. Biograph ...
showed that for a general class of random matrix products, the
norm Naturally occurring radioactive materials (NORM) and technologically enhanced naturally occurring radioactive materials (TENORM) consist of materials, usually industrial wastes or by-products enriched with radioactive elements found in the envir ...
grows as ''λ''''n'', where ''n'' is the number of factors. Their results apply to a broad class of random sequence generating processes that includes the random Fibonacci sequence. As a consequence, the ''n''th root of , ''f''''n'', converges to a constant value ''
almost surely In probability theory, an event is said to happen almost surely (sometimes abbreviated as a.s.) if it happens with probability 1 (or Lebesgue measure 1). In other words, the set of possible exceptions may be non-empty, but it has probability 0. ...
'', or with probability one: \sqrt \to 1.1319882487943\dots \text n \to \infty. An explicit expression for this constant was found by Divakar Viswanath in 1999. It uses Furstenberg's formula for the
Lyapunov exponent In mathematics, the Lyapunov exponent or Lyapunov characteristic exponent of a dynamical system is a quantity that characterizes the rate of separation of infinitesimally close trajectories. Quantitatively, two trajectories in phase space with ini ...
of a random matrix product and integration over a certain fractal measure on the Stern–Brocot tree. Moreover, Viswanath computed the numerical value above using
floating point In computing, floating-point arithmetic (FP) is arithmetic that represents real numbers approximately, using an integer with a fixed precision, called the significand, scaled by an integer exponent of a fixed base. For example, 12.345 can be ...
arithmetic validated by an analysis of the rounding error.


Generalization

Mark Embree Mark Embree is professor of computational and applied mathematicsbr>at Virginia Tech in Blacksburg, Virginia. Until 2013, he was a professor of computational and applied mathematics at Rice University in Houston, Texas. Mark Embree was awarded ...
and
Nick Trefethen Lloyd Nicholas Trefethen (born 30 August 1955) is an American mathematician, professor of numerical analysis and head of the Numerical Analysis Group at the Mathematical Institute, University of Oxford. Education Trefethen was born 30 August 19 ...
showed in 1999 that the sequence f_n=f_\pm \beta f_ decays almost surely if ''β'' is less than a critical value , known as the Embree–Trefethen constant, and otherwise grows almost surely. They also showed that the asymptotic ratio ''σ''(''β'') between consecutive terms converges almost surely for every value of ''β''. The graph of ''σ''(''β'') appears to have a
fractal In mathematics, a fractal is a geometric shape containing detailed structure at arbitrarily small scales, usually having a fractal dimension strictly exceeding the topological dimension. Many fractals appear similar at various scales, as illu ...
structure, with a global minimum near approximately equal to .


References


External links

* * {{OEIS el, sequencenumber=A078416, name=Decimal expansion of Viswanath's constant
Random Fibonacci Numbers
Numberphile ''Numberphile'' is an educational YouTube channel featuring videos that explore topics from a variety of fields of mathematics. In the early days of the channel, each video focused on a specific number, but the channel has since expanded its s ...
's video about the random Fibonnaci sequence. Fibonacci numbers Mathematical constants Number theory Stochastic processes