Bijective Digitized Rigid Motions on Subsets of the Plane

Kacper Pluta; Pascal Romon; Yukiko Kenmochi; Nicolas Passat

doi:10.1007/s10851-017-0706-8

Journal of Mathematical Imaging and Vision

September 2017, Volume 59, Issue 1, pp 84–105 | Cite as

Bijective Digitized Rigid Motions on Subsets of the Plane

Authors
Authors and affiliations

Kacper Pluta
Pascal Romon
Yukiko Kenmochi
Nicolas Passat

Article

First Online: 10 March 2017

136 Downloads
4 Citations

Abstract

Rigid motions in \(\mathbb {R}^2\) are fundamental operations in 2D image processing. They satisfy many properties: in particular, they are isometric and therefore bijective. Digitized rigid motions, however, lose these two properties. To investigate the lack of injectivity or surjectivity and more generally their local behavior, we extend the framework initially proposed by Nouvel and Rémila to the case of digitized rigid motions. Yet, for practical applications, the relevant information is not global bijectivity, which is seldom achieved, but bijectivity of the motion restricted to a given finite subset of \(\mathbb {Z}^2\). We propose two algorithms testing that condition. Finally, because rotation angles are rarely given with infinite precision, we propose a third algorithm providing optimal angle intervals that preserve this restricted bijectivity.

Keywords

Digital geometry Rigid motions Combinatorial analysis Local characterization Bijective transformations

This is a preview of subscription content, to check access.

Appendix 1: Neighborhood Motion Maps for \(\mathcal {G}_1^U\) (4-Neighborhood Case)

Neighborhood motion maps for \(\mathcal {G}_1^U\) are depicted as label maps, for \(\theta \in \left( 0,\frac{\pi }{6}\right) \) in Fig. 18; and \(\theta \in \left( \frac{\pi }{6},\frac{\pi }{4}\right) \) in Fig. 19. Some neighborhood motion maps are symmetric with respect to the origin, i.e., neighborhood motion map of the indices (0, 0)

Fig. 19
Neighborhood motion maps of \(\mathcal {G}^U_1\), as label maps, for \(\theta \in \left( \frac{\pi }{6}, \frac{\pi }{4}\right) \) that differ from these for \(\theta \in \big (0,\frac{\pi }{6}\big )\). Each label (i, j) corresponds to the frame \(f_{i,j}^\theta \). Neighborhood motion maps which correspond to non-injective zones are marked by *red dashed frames* (Color figure online)

Fig. 20
Neighborhood motion maps of \(\mathcal {G}^U_{2}\), as label maps, for \(\theta \in (0, \alpha _1)\). Each label (i, j) corresponds to the frame \(f_{i,j}^\theta \). Neighborhood motion maps which correspond to non-injective zones are marked by *brown dashed frames* (Color figure online)

Fig. 21
Neighborhood motion maps \(\mathcal {G}^U_{2}\), as label maps, for \(\theta \in (\alpha _1, \alpha _2)\) that differ from those for \(\theta \in (0, \alpha _1)\). Each label (i, j) corresponds to the frame \(f_{i,j}^\theta \). Neighborhood motion maps which correspond to non-injective zones are marked by *brown dashed frames* (Color figure online)

Fig. 22
Neighborhood motion maps \(\mathcal {G}^U_{2}\), as label maps, for \(\theta \in (\alpha _2, \alpha _3)\) that differ from those for \(\theta \in (\alpha _1, \alpha _2)\). Each label (i, j) corresponds to the frame \(f_{i,j}^\theta \). Neighborhood motion maps which correspond to non-injective zones are marked by *brown dashed frames* (Color figure online)

Appendix 2: Neighborhood Motion Maps for \(\mathcal {G}^U_{2}\) (8-Neighborhood Case)

Neighborhood motion maps for \(\mathcal {G}^U_{2}\) are depicted as label maps, for \(\theta \in (0, \alpha _1)\) in Fig. 20; \(\theta \in (\alpha _1, \alpha _2)\) in Fig. 21; \(\theta \in (\alpha _2, \alpha _3)\) in Fig. 22; \(\theta \in (\alpha _3, \alpha _4)\) in Fig. 23; and \(\theta \in \big (\alpha _4,\frac{\pi }{4}\big )\) in Fig. 24. For more information about angles \(\alpha _n, n \in [1, 4]\) we refer the reader to Fig. 10. Some neighborhood motion maps are symmetric with respect to the origin, i.e., the neighborhood motion map of the indices (0, 0).

Fig. 23
Neighborhood motion maps \(\mathcal {G}^U_{2}\), as label maps, for \(\theta \in (\alpha _3, \alpha _4)\) that differ from those for \(\theta \in (\alpha _2, \alpha _3)\). Each label (i, j) corresponds to the frame \(f_{i,j}^\theta \). Neighborhood motion maps which correspond to non-injective zones are marked by *brown dashed frames* (Color figure online)

Fig. 24
Neighborhood motion maps \(\mathcal {G}^U_{2}\), as label maps, for \(\theta \in \big (\alpha _4,\frac{\pi }{4}\big )\) that differ from those for \(\theta \in (\alpha _3, \alpha _4)\). Each label (i, j) corresponds to the frame \(f_{i,j}^\theta \). Neighborhood motion maps which correspond to non-injective zones are marked by *brown dashed frames* (Color figure online)

References

1.
Anglin, W.S.: Using Pythagorean triangles to approximate angles. Am. Math. Mon. 95(6), 540–541 (1988)MathSciNetCrossRefzbMATHGoogle Scholar
2.
Fredriksson, K.: Rotation Invariant Template Matching. Ph.D. thesis, University of Helsinki (2001)Google Scholar
3.
Galarza, A.I.R., Seade, J.: Introduction to Classical Geometries. Birkhäuser, Cambridge (2007)zbMATHGoogle Scholar
4.
Hunter, D.J.: Essentials of Discrete Mathematics, 2nd edn. Jones & Bartlett Learning, Burlington (2010)zbMATHGoogle Scholar
5.
Jacob, M.A., Andres, E.: On discrete rotations. In: 5th International Workshop on Discrete Geometry for Computer Imagery, pp. 161–174 (1995)Google Scholar
6.
Nouvel, B., Rémila, E.: On colorations induced by discrete rotations. In: DGCI, Proceedings, Lecture Notes in Computer Science, vol. 2886, pp. 174–183. Springer (2003)Google Scholar
7.
Nouvel, B., Rémila, E.: Characterization of bijective discretized rotations. In: IWCIA, Proceedings, Lecture Notes in Computer Science, vol. 3322, pp. 248–259. Springer (2004)Google Scholar
8.
Nouvel, B., Rémila, E.: Configurations induced by discrete rotations: periodicity and quasi-periodicity properties. Discrete Appl. Math. 147(2–3), 325–343 (2005)MathSciNetCrossRefzbMATHGoogle Scholar
9.
Nouvel, B., Rémila, E.: Incremental and transitive discrete rotations. In: IWCIA, Lecture Notes in Computer Science, vol. 4040, pp. 199–213. Springer (2006)Google Scholar
10.
Pluta, K., Moroz, G., Kenmochi, Y., Romon, P.: Quadric arrangement in classifying rigid motions of a 3D digital image. In: CASC, Lecture Notes in Computer Science, vol. 9890, pp. 426–443 (2016)Google Scholar
11.
Pluta, K., Romon, P., Kenmochi, Y., Passat, N.: Bijective rigid motions of the 2D Cartesian grid. In: DGCI, Lecture Notes in Computer Science, vol. 9647, pp. 359–371. Springer (2016)Google Scholar
12.
Roussillon, T., Cœurjolly, D.: Characterization of bijective discretized rotations by Gaussian integers. Research Report. LIRIS UMR CNRS 5205 (2016). https://hal.archives-ouvertes.fr/hal-01259826
13.
Thibault, Y.: Rotations in 2D and 3D discrete spaces. Ph.D. thesis, Université Paris-Est (2010)Google Scholar
14.
Thibault, Y., Kenmochi, Y., Sugimoto, A.: Computing upper and lower bounds of rotation angles from digital images. Pattern Recogn. 42(8), 1708–1717 (2009)CrossRefzbMATHGoogle Scholar
15.
Yilmaz, A., Javed, O., Shah, M.: Object tracking: a survey. ACM Comput. Surv. 38(4), 1–45 (2006)CrossRefGoogle Scholar

Copyright information

Authors and Affiliations

Kacper Pluta
- 1
Email authorView author's OrcID profile return OK on get
Pascal Romon
- 2
Yukiko Kenmochi
- 3
Nicolas Passat
- 4

1.LIGM (UMR 8049), LAMA (UMR 8050), UPEM, UPEC, CNRSUniversité Paris-EstMarne-la-ValléeFrance
2.LAMA (UMR 8050), UPEM, UPEC, CNRSUniversité Paris-EstMarne-la-ValléeFrance
3.LIGM (UMR 8049), UPEM, CNRS, ESIEE Paris, ENPCUniversité Paris-EstMarne-la-ValléeFrance
4.CReSTICUniversité de Reims Champagne-ArdenneReimsFrance

Bijective Digitized Rigid Motions on Subsets of the Plane

Abstract

Keywords

References

Copyright information

Authors and Affiliations

Personalised recommendations

Cite article