In mathematics, a fusion frame of a vector space is a natural extension of a frame. It is an additive construct of several, potentially "overlapping" frames. The motivation for this concept comes from the event that a signal can not be acquired by a single sensor alone (a constraint found by limitations of hardware or data throughput), rather the partial components of the signal must be collected via a network of sensors, and the partial signal representations are then fused into the complete signal.
By construction, fusion frames easily lend themselves to parallel or distributed processing of sensor networks consisting of arbitrary overlapping sensor fields.
Given a Hilbert space                                           H                                  , let                     {                  W                      i                                    }                      i            ∈                                          I                                                             be closed subspaces of                                           H                                  , where                                           I                                   is an index set. Let                     {                  v                      i                                    }                      i            ∈                                          I                                                             be a set of positive scalar weights. Then                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                             is a fusion frame of                                           H                                   if there exist constants                     0        <        A        ≤        B        <        ∞                 such that for all                     f        ∈                              H                                   we have
                    A        ∥        f                  ∥                      2                          ≤                  ∑                      i            ∈                                          I                                                              v                      i                                2                                                ∥                                    P                                    W                              i                                                    f                                            ∥                                            2                          ≤        B        ∥        f                  ∥                      2                                  ,
where                               P                                    W                              i                                                             denotes the orthogonal projection onto the subspace                               W                      i                                  . The constants                     A                 and                     B                 are called lower and upper bound, respectively. When the lower and upper bounds are equal to each other,                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                             becomes a                     A                -tight fusion frame. Furthermore, if                     A        =        B        =        1                , we can call                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                             Parseval fusion frame.
Assume                     {                  f                      i            j                                    }                      i            ∈                                          I                                      ,            j            ∈                          J                              i                                                             is a frame for                               W                      i                                  . Then                     {                  (                      W                          i                                ,                      v                          i                                ,          {                      f                          i              j                                            }                          j              ∈                              J                                  i                                                              )                          }                      i            ∈                                          I                                                             is called a fusion frame system for                                           H                                  .
Theorem for the relationship between fusion frames and global frames
Let                     {                  W                      i                                    }                      i            ∈                                          H                                                             be closed subspaces of                                           H                                   with positive weights                     {                  v                      i                                    }                      i            ∈                                          I                                                            . Suppose                     {                  f                      i            j                                    }                      i            ∈                                          I                                      ,            j            ∈                          J                              i                                                             is a frame for                               W                      i                                   with frame bounds                               C                      i                                   and                               D                      i                                  . Let                     C        =        i        n                  f                      i            ∈                                          I                                                              C                      i                                   and                     D        =        i        n                  f                      i            ∈                                          I                                                              D                      i                                  , which satisfy that                     0        <        C        ≤        D        <        ∞                . Then                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                             is a fusion frame of                                           H                                   if and only if                     {                  v                      i                                    f                      i            j                                    }                      i            ∈                                          I                                      ,            j            ∈                          J                              i                                                             is a frame of                                           H                                  .
Additionally, if                     {                  (                      W                          i                                ,                      v                          i                                ,          {                      f                          i              j                                            }                          j              ∈                              J                                  i                                                              )                          }                      i            ∈                                          I                                                             is called a fusion frame system for                                           H                                   with lower and upper bounds                     A                 and                     B                , then                     {                  v                      i                                    f                      i            j                                    }                      i            ∈                                          I                                      ,            j            ∈                          J                              i                                                             is a frame of                                           H                                   with lower and upper bounds                     A        C                 and                     B        D                . And if                     {                  v                      i                                    f                      i            j                                    }                      i            ∈                                          I                                      ,            j            ∈                          J                              i                                                             is a frame of                                           H                                   with lower and upper bounds                     E                 and                     F                , then                     {                  (                      W                          i                                ,                      v                          i                                ,          {                      f                          i              j                                            }                          j              ∈                              J                                  i                                                              )                          }                      i            ∈                                          I                                                             is called a fusion frame system for                                           H                                   with lower and upper bounds                     E                  /                D                 and                     F                  /                C                .
Let                     W        ⊂                              H                                   be a closed subspace, and let                     {                  x                      n                          }                 be an orthonormal basis of                     W                . Then for all                     f        ∈                              H                                  , the orthogonal projection of                     f                 onto                     W                 is given by                               P                      W                          f        =        ∑        ⟨        f        ,                  x                      n                          ⟩                  x                      n                                  .
We can also express the orthogonal projection of                     f                 onto                     W                 in terms of given local frame                     {                  f                      k                          }                 of                     W                ,
                              P                      W                          f        =        ∑        ⟨        f        ,                  f                      k                          ⟩                                                            f                ~                                                          k                                  ,
where                     {                                                            f                ~                                                          k                          }                 is a dual frame of the local frame                     {                  f                      k                          }                .
Let                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                             be a fusion frame for                                           H                                  . Let                     {        ∑        ⨁                  W                      i                                    }                                    l                              2                                                             be representation space for projection. The analysis operator                               T                      W                          :                              H                          →        {        ∑        ⨁                  W                      i                                    }                                    l                              2                                                             is defined by
                              T                      W                                    (          f          )                =        {                  v                      i                                    P                                    W                              i                                                              (          f          )                          }                      i            ∈                                          I                                                            .
Then The adjoint operator                               T                      W                                ∗                          :        {        ∑        ⨁                  W                      i                                    }                                    l                              2                                                    →                              H                                  , which we call the synthesis operator, is given by
                              T                      W                                ∗                                    (          g          )                =        ∑                  v                      i                                    f                      i                                  ,
where                     g        =        {                  f                      i                                    }                      i            ∈                                          I                                                    ∈        {        ∑        ⨁                  W                      i                                    }                                    l                              2                                                            .
The fusion frame operator                               S                      W                          :                              H                          →                              H                                   is defined by
                              S                      W                                    (          f          )                =                  T                      W                                ∗                                    T                      W                                    (          f          )                =        ∑                  v                      i                                2                                    P                                    W                              i                                                              (          f          )                        .
Given the lower and upper bounds of the fusion frame                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                            ,                     A                 and                     B                , the fusion frame operator                               S                      W                                   can be bounded by
                    A        I        ≤                  S                      W                          ≤        B        I                , where                     I                 is the identity operator. Therefore, the fusion frame operator                               S                      W                                   is positive and invertible.
Given a fusion frame system                     {                  (                      W                          i                                ,                      v                          i                                ,                                                    F                                                    i                                )                          }                      i            ∈                                          I                                                             for                                           H                                  , where                                                         F                                            i                          =        {                  f                      i            j                                    }                      j            ∈                          J                              i                                                            , and                                                                                           F                                ~                                                          i                          =        {                                                            f                ~                                                          i            j                                    }                      j            ∈                          J                              i                                                            , which is a dual frame for                                                         F                                            i                                  , the fusion frame operator                               S                      W                                   can be expressed as
                              S                      W                          =        ∑                  v                      i                                2                                    T                                                                                                                F                                        ~                                                                              i                                                          ∗                                    T                                                                      F                                                            i                                                    =        ∑                  v                      i                                2                                    T                                                                      F                                                            i                                                          ∗                                    T                                                                                                                F                                        ~                                                                              i                                                            ,
where                               T                                                                      F                                                            i                                                            ,                               T                                                                                                                F                                        ~                                                                              i                                                             are analysis operators for                                                         F                                            i                                   and                                                                                           F                                ~                                                          i                                   respectively, and                               T                                                                      F                                                            i                                                          ∗                                  ,                               T                                                                                                                F                                        ~                                                                              i                                                          ∗                                   are synthesis operators for                                                         F                                            i                                   and                                                                                           F                                ~                                                          i                                   respectively.
For finite frames (i.e.,                     dim                                      H                          =:        N        <        ∞                 and                               |                                      I                                    |                <        ∞                ), the fusion frame operator can be constructed with a matrix. Let                     {                  W                      i                          ,                  v                      i                                    }                      i            ∈                                          I                                                             be a fusion frame for                                                         H                                            N                                  , and let                     {                  f                      i            j                                    }                      j            ∈                                                            J                                                            i                                                             be a frame for the subspace                               W                      i                                   and                               J                      i                                   an index set for each                     i        ∈                              I                                  . With
                              F                      i                          =                                            [                                                                    ⋮                                                        ⋮                                                                          ⋮                                                                                                              f                                              i                        1                                                                                                                        f                                              i                        2                                                                                                  ⋯                                                                              f                                              i                                                  |                                                                          J                                                      i                                                                                                    |                                                                                                                                                          ⋮                                                        ⋮                                                                          ⋮                                                              ]                                            N            ×                          |                                      J                              i                                                    |                                              
and
                                                                        F                ~                                                          i                          =                                            [                                                                    ⋮                                                        ⋮                                                                          ⋮                                                                                                                                                                                            f                            ~                                                                                                                      i                        1                                                                                                                                                                                                      f                            ~                                                                                                                      i                        2                                                                                                  ⋯                                                                                                                                                            f                            ~                                                                                                                      i                                                  |                                                                          J                                                      i                                                                                                    |                                                                                                                                                          ⋮                                                        ⋮                                                                          ⋮                                                              ]                                            N            ×                          |                                      J                              i                                                    |                                      ,                
where                                                                         f                ~                                                          i            j                                   is the canonical dual frame of                               f                      i            j                                  , the fusion frame operator                     S        :                              H                          →                              H                                   is given by
                    S        =                  ∑                      i            ∈                                          I                                                              v                      i                                2                                    F                      i                                                                              F                ~                                                          i                                T                                  .
The fusion frame operator                     S                 is then given by an                     N        ×        N                 matrix.