Affine shape adaptation explained
Affine shape adaptation is a methodology for iteratively adapting the shape of the smoothing kernels in an affine group of smoothing kernels to the local image structure in neighbourhood region of a specific image point. Equivalently, affine shape adaptation can be accomplished by iteratively warping a local image patch with affine transformations while applying a rotationally symmetric filter to the warped image patches. Provided that this iterative process converges, the resulting fixed point will be affine invariant. In the area of computer vision, this idea has been used for defining affine invariant interest point operators as well as affine invariant texture analysis methods.
Affine-adapted interest point operators
The interest points obtained from the scale-adapted Laplacian blob detector or the multi-scale Harris corner detector with automatic scale selection are invariant to translations, rotations and uniform rescalings in the spatial domain. The images that constitute the input to a computer vision system are, however, also subject to perspective distortions. To obtain interest points that are more robust to perspective transformations, a natural approach is to devise a feature detector that is invariant to affine transformations.
Affine invariance can be accomplished from measurements of the same multi-scale windowed second moment matrix
as is used in the multi-scale Harris operator provided that we extend the regular
scale space concept obtained by
convolution with rotationally symmetric Gaussian kernels to an
affine Gaussian scale-space obtained by shape-adapted Gaussian kernels (;). For a two-dimensional image
, let
and let
be a positive definite 2×2 matrix. Then, a non-uniform Gaussian kernel can be defined as
g(\bar{x};\Sigma)=
| 1 |
2\pi\sqrt{\operatorname{det |
\Sigmat}}e-\bar{x
\bar{x}/2}
and given any input image
the affine Gaussian scale-space is the three-parameter scale-space defined as
L(\bar{x};\Sigmat)=\int\bar{xi
} I_L(x-\xi) \, g(\bar; \Sigma_t) \, d\bar.Next, introduce an affine transformation
where
is a 2×2-matrix, and define a transformed image
as
IL(\bar{\xi})=IR(\bar{η})
.Then, the affine scale-space representations
and
of
and
, respectively, are related according to
L(\bar{\xi},\SigmaL)=R(\bar{η},\SigmaR)
provided that the affine shape matrices
and
are related according to
.Disregarding mathematical details, which unfortunately become somewhat technical if one aims at a precise description of what is going on, the important message is that
the affine Gaussian scale-space is closed under affine transformations.
If we, given the notation
as well as local shape matrix
and an integration shape matrix
, introduce an
affine-adapted multi-scale second-moment matrix according to
\muL(\bar{x};\Sigmat,\Sigmas)=g(\bar{x}-\bar{\xi};\Sigmas)\left(\nablaL(\bar{\xi};\Sigmat)
\Sigmat)\right)
it can be shown that under any affine transformation
the affine-adapted multi-scale second-moment matrix transforms according to
\muL(\bar{p};\Sigmat,\Sigmas)=BT\muR(\bar{q};B\SigmatBT,B\SigmasBT)B
.Again, disregarding somewhat messy technical details, the important message here is that
given a correspondence between the image points
and
, the affine transformation
can be estimated from measurements of the multi-scale second-moment matrices
and
in the two domains.An important consequence of this study is that if we can find an affine transformation
such that
is a constant times the unit matrix, then we obtain a
fixed-point that is invariant to affine transformations (;). For the purpose of practical implementation, this property can often be reached by in either of two main ways. The first approach is based on
transformations of the smoothing filters and consists of:
- estimating the second-moment matrix
in the image domain,
- determining a new adapted smoothing kernel with covariance matrix proportional to
,
- smoothing the original image by the shape-adapted smoothing kernel, and
- repeating this operation until the difference between two successive second-moment matrices is sufficiently small.
The second approach is based on warpings in the image domain and implies:
in the image domain,
- estimating a local affine transformation proportional to
where
denotes the square root matrix of
,
- warping the input image by the affine transformation
and
- repeating this operation until
is sufficiently close to a constant times the unit matrix.
This overall process is referred to as affine shape adaptation (; ; ; ; ;). In the ideal continuous case, the two approaches are mathematically equivalent. In practical implementations, however, the first filter-based approach is usually more accurate in the presence of noise while the second warping-based approach is usually faster.
In practice, the affine shape adaptation process described here is often combined with interest point detection automatic scale selection as described in the articles on blob detection and corner detection, to obtain interest points that are invariant to the full affine group, including scale changes. Besides the commonly used multi-scale Harris operator, this affine shape adaptation can also be applied to other types of interest point operators such as the Laplacian/Difference of Gaussian blob operator and the determinant of the Hessian . Affine shape adaptation can also be used for affine invariant texture recognition and affine invariant texture segmentation.
Closely related to the notion of affine shape adaptation is the notion of affine normalization, which defines an affine invariant reference frame as further described in Lindeberg (. plain.,plain.,,. plain. :Appendix I.3), such that any image measurement performed in the affine invariant reference frame is affine invariant.
See also
References
- A.. Baumberg. Reliable feature matching across widely separated views . Proceedings of IEEE Conference on Computer Vision and Pattern Recognition. I:1774–1781. 2000. 10.1109/CVPR.2000.855899.
- Book: Lindeberg, T. . Scale-Space Theory in Computer Vision . Springer . 1994 . 0-7923-9418-6.
- T.. Lindeberg. J.. Garding. Shape-adapted smoothing in estimation of 3-D depth cues from affine distortions of local 2-D structure. Image and Vision Computing. 1997. 15. 6. 415–434. 10.1016/S0262-8856(97)01144-X.
- Encyclopedia: T.. Lindeberg. Scale-space. Encyclopedia of Computer Science and Engineering (Benjamin Wah, ed), John Wiley and Sons. IV. 2495–2504. 2008. 10.1002/9780470050118.ecse609. 978-0470050118.
- T.. Lindeberg . Invariance of visual operations at the level of receptive fields. 2013a. PLOS ONE. 8 . 7. e66990:1–33. 10.1371/journal.pone.0066990. 23894283. 3716821. 1210.0754. 2013PLoSO...866990L. free.
- T.. Lindeberg . Generalized axiomatic scale-space theory. 2013b. Advances in Imaging and Electron Physics. 178 . 7. 1–96. 10.1016/B978-0-12-407701-0.00001-7. 9780124077010.
- T.. Lindeberg . Normative theory of visual receptive fields. 2021. Heliyon. 7 . 1. e05897. 10.1016/j.heliyon.2021.e05897. 33521348. 7820928. free.
- K.. Mikolajczyk. C.. Schmid. Scale and affine invariant interest point detectors. 2004. International Journal of Computer Vision. 60. 1. 63–86. Integration of the multi-scale Harris operator with the methodology for automatic scale selection as well as with affine shape adaptation.. 10.1023/B:VISI.0000027790.02288.f2. 1704741.
- T. . Tuytelaars . L. . van Gool . Matching Widely Separated Views Based on Affine Invariant Regions . 2004 . International Journal of Computer Vision . 59 . 1 . 63–86 . 10.1023/B:VISI.0000020671.28016.e8 . 5107897 . dead . https://web.archive.org/web/20100612233617/http://vis.uky.edu/~dnister/Teaching/CS684Fall2005/tuytelaars_ijcv2004.pdf . 2010-06-12 .
- Shaping receptive fields for affine invariance . Proceedings of the 2004 IEEE Computer Society Conference on Computer Vision and Pattern Recognition, 2004. CVPR 2004 . 2004 . Ravela . S. . 2 . 725–730 . 0-7695-2158-4 . 10.1109/CVPR.2004.1315236.