![](http://image.absoluteastronomy.com/images//topicimages/noimage.gif)
Carleman matrix
Encyclopedia
In mathematics, a Carleman matrix is a matrix that is used to convert function composition
into matrix multiplication
. They are used in iteration theory to find the continuous iteration of functions that cannot be iterated by pattern recognition
alone. Other uses of Carleman matrices are in the theory of probability
generating functions, and Markov chains.
is defined as:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-2.gif)
so as to satisfy the equation:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-3.gif)
----
So for instance we have the computation of
by![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-5.gif)
which is simply the dot-product of row 1 of
by a columnvector ![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-7.gif)
The entries of
of the next row give the 2nd power of
:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-10.gif)
and also, for to have the zero'th power of
in
we assume the row 0 containing zeros everywhere except the first position, such that![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-13.gif)
Thus the dot-product of
with the column-vector
gives the columnvector ![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-16.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-17.gif)
is defined as:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-19.gif)
so as to satisfy the equation:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-20.gif)
which means it is basically the transpose
of the Carleman matrix.
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-21.gif)
or
where
. This allows the matrix power to be related as:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-24.gif)
which makes the Carleman matrix M a (direct) representation of
, and the Bell matrix B an anti-representation of
. Here the term
means the composition of functions ![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-30.gif)
Other properties include:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-35.gif)
The Carleman matrix of the identity function is:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-36.gif)
The Carleman matrix of a constant addition is:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-37.gif)
The Carleman matrix of a constant multiple is:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-38.gif)
The Carleman matrix of a linear function is:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-39.gif)
The Carleman matrix of a function
is:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-41.gif)
The Carleman matrix of a function
is:
Function composition
In mathematics, function composition is the application of one function to the results of another. For instance, the functions and can be composed by computing the output of g when it has an argument of f instead of x...
into matrix multiplication
Matrix multiplication
In mathematics, matrix multiplication is a binary operation that takes a pair of matrices, and produces another matrix. If A is an n-by-m matrix and B is an m-by-p matrix, the result AB of their multiplication is an n-by-p matrix defined only if the number of columns m of the left matrix A is the...
. They are used in iteration theory to find the continuous iteration of functions that cannot be iterated by pattern recognition
Pattern recognition
In machine learning, pattern recognition is the assignment of some sort of output value to a given input value , according to some specific algorithm. An example of pattern recognition is classification, which attempts to assign each input value to one of a given set of classes...
alone. Other uses of Carleman matrices are in the theory of probability
Probability
Probability is ordinarily used to describe an attitude of mind towards some proposition of whose truth we arenot certain. The proposition of interest is usually of the form "Will a specific event occur?" The attitude of mind is of the form "How certain are we that the event will occur?" The...
generating functions, and Markov chains.
Definition
The Carleman matrix of a function![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-1.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-2.gif)
so as to satisfy the equation:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-3.gif)
----
So for instance we have the computation of
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-4.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-5.gif)
which is simply the dot-product of row 1 of
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-6.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-7.gif)
The entries of
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-8.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-9.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-10.gif)
and also, for to have the zero'th power of
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-11.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-12.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-13.gif)
Thus the dot-product of
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-14.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-15.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-16.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-17.gif)
Bell matrix
The Bell matrix of a function![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-18.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-19.gif)
so as to satisfy the equation:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-20.gif)
which means it is basically the transpose
Transpose
In linear algebra, the transpose of a matrix A is another matrix AT created by any one of the following equivalent actions:...
of the Carleman matrix.
Generalization
A generalization of the Carleman matrix of a function can be defined around any point, such as:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-21.gif)
or
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-22.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-23.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-24.gif)
Matrix properties
These matrices satisfy the fundamental relationships:which makes the Carleman matrix M a (direct) representation of
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-27.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-28.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-29.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-30.gif)
Other properties include:
, where
is function iteration and
, where
is the inverse function
Inverse functionIn mathematics, an inverse function is a function that undoes another function: If an input x into the function ƒ produces an output y, then putting y into the inverse function g produces the output x, and vice versa. i.e., ƒ=y, and g=x...
(if the Carleman matrix is invertible).
Examples
The Carleman matrix of a constant is:![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-35.gif)
The Carleman matrix of the identity function is:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-36.gif)
The Carleman matrix of a constant addition is:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-37.gif)
The Carleman matrix of a constant multiple is:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-38.gif)
The Carleman matrix of a linear function is:
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-39.gif)
The Carleman matrix of a function
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-40.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-41.gif)
The Carleman matrix of a function
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-42.gif)
![](http://image.absoluteastronomy.com/images/formulas/8/4/3848941-43.gif)