Skip to main content
Some typos, in particular in the lacunary series
Source Link
Steven Sam
  • 10.7k
  • 3
  • 47
  • 80

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^{k!}$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what it means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't think there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^{k!}$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't think there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^{k!}$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what it means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't think there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^k!$$\sum_{k=0}^\infty z^{k!}$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what is means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't think there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^k!$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what is means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^{k!}$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't think there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).

Source Link
Jason Rute
  • 6.3k
  • 2
  • 30
  • 53

This question is not well formed.

First, I assume by $K(a_1 a_2 \ldots)$ you mean $K(\langle a_1, a_2, \ldots \rangle)$. As the size of the sequence increases (regardless of the choice of $a_i$), the complexity must increase to infinity.

On the other hand, there is nothing computationally complex about the coefficients of certain naturally bounded series. For example, http://planetmath.org/naturalboundary says that $\sum_{k=0}^\infty z^k!$ has a natural boundary. Clearly the coefficients $a_i$ are computable.

Last, it is not very well-defined what is means for a sequence $a_1,a_2,\ldots \in \mathbb{N}^\mathbb{N}$ to be random. In particular Martin-Löf randomness requires a locally finite measure to be well-defined (and usually one uses a probability measure). I don't there is a natural choice of measure on $\mathbb{N}^\mathbb{N}$ (for the same reason there is no infinite dimensional Lebesgue measure).