A limitation theorem for the differentiable prototypification of shape
type: Item
instance of: scholarly article
title: A limitation theorem for the differentiable prototypification of shape
zbMATH Open document ID: 0631.92024
DOI: 10.1016/0022-2496(87)90018-6
author: Michael Leyton
published in: Journal of Mathematical Psychology
publication date: 1987-01-01T00:00:00Z
review text: In previous papers [the author, Biol. Cybern. 51, 141-153 (1984; Zbl 0572.92030), Comput. Vision Graphics Image Process. 31, 201-241 (1985; Zbl 0623.68080)] it was shown that subjects decompose the global linear prototypification of shape into separate stretch, shear, and rotation components, i.e., the Iwasawa decomposition of the full transformation. The purpose of the present paper is to extend these decompositional results to prototypification that varies differentiably across a region - a process that occurs in complex shape. As a first step we require that local symmetry axes become local eigenspaces in any assigned local transformations. This condition, called the Interaction Law, is substantially validated by previous experimental work. Clearly, the use of the Interaction Law requires, as input to the prototypification process, a local symmetry analysis. The analysis is the Smoothed Local Symmetry (SLS) of \textit{M. Brady} [Criteria for representations of shape. In A. Rosenfield and J. Beck (eds.), Human and machine vision (1983)]. Four alternative local frames are considered in order to characterize the SLS by a moving frame, but we find that only one of the alternatives satisfies the Interaction Law; i.e., the frame is a basis of eigenvectors that are local symmetry vectors. With this basis, the SLS is characterized as a trajectory through the General Linear Group. Prototypification can then take place by applying the Iwasawa decomposition at each point of the group trajectory, and factorizing the Iwasawa subgroups. The culmination of this analysis is the proof of a limitation theorem, which states that the factorization of one subgroup necessarily involves the factorization of one of the other subgroups. Thus one level of prototypification is impossible. Furthermore we find that two levels of prototypification can lead only to a global or flexed symmetry. Thus the theorem shows that the shapes that can result from the local use of the Iwasawa decompositio…
Mathematics Subject Classification ID: 91E99
Mathematics Subject Classification ID: 22E99
Mathematics Subject Classification ID: 20G20
Mathematics Subject Classification ID: 91E30
zbMATH DE Number: 4027259
zbMATH Keywords: global linear prototypification of shape
zbMATH Keywords: stretch
zbMATH Keywords: shear
zbMATH Keywords: rotation components
zbMATH Keywords: Iwasawa decomposition
zbMATH Keywords: complex shape
zbMATH Keywords: local symmetry axes
zbMATH Keywords: local eigenspaces
zbMATH Keywords: local transformations
zbMATH Keywords: Interaction Law
zbMATH Keywords: Smoothed Local Symmetry
zbMATH Keywords: trajectory through the General Linear Group
zbMATH Keywords: Iwasawa subgroups
zbMATH Keywords: limitation theorem
zbMATH Keywords: factorization
MaRDI profile type: Publication
full work available at URL: 0022-2496(87)90018-6
OpenAlex ID: W2099811913
cites work: Perceptual organization as nested control
cites work: Generative systems of analyzers
cites work: Principles of information structure common to six levels of the human cognitive system
cites work: A theory of information structure I. General principles
cites work: A theory of information structure. II. A theory of perceptual organization
cites work: Symmetry-curvature duality
description: scientific article; zbMATH DE number 4027259