ject (curve, surface, etc) in an appropriate R
n
and R be
a plane of reflection in R
n
. R will be denoted by the
vector v ∈ R
n
perpendicular to R. Assuming that β is
centered in that coordinate system, define a measure
of asymmetry as:
ρ(β) = argmin
v∈R
n
kβ−H(v)βk
2
, H(v) = (I −2
vv
T
v
T
v
), (1)
where k·k is the two norm integrated over the points
in the object. H(v) is the Householder reflection op-
erator which rotates any vector into its reflection in a
plane orthogonal to v. In case ρ(β) is zero, the ob-
ject is said to be symmetric and the corresponding v
provides the the plane of symmetry. Zabrodsky et al.
(Zabrodsky et al., 1995) suggested a slightly differ-
ent formulation where they find the nearest symmetric
object to the given object. That is, define
SD(β) = argmin
v∈R
n
,s.t. H(v)α=α
kβ −αk
2
. (2)
This idea has been called the symmetry distance
(Zabrodsky et al., 1995). Mitra et al. (Mitra et al.,
2007) formulate the search for symmetrization defor-
mation in a similar way, but based on points sampled
from the original model. Sun et al. (Sun and Sherrah,
1997) proposed a method to detect symmetry based
on the Extended Gaussian Image (EGI).
Since symmetry analysis is intimately tied to
quantification of differences in shapes of objects and
their reflections, one should look more carefully at
how shape quantification is being performed. It is
a common trend in papers on symmetry to use Eu-
clidean norms between points sets to form cost func-
tions. Additionally, the authors have invariably used a
linear registration of points, between the original ob-
ject and its reflection, to evaluate these norms. In con-
trast, the literature in shape analysis of curves sug-
gests a larger variety of metrics and nonlinear reg-
istrations in measuring shapes (Michor and Mum-
ford, 2006). In particular, the use of elastic defor-
mations to compare and analyze shapes is gaining
popularity. Here, the curves are allowed to optimally
stretch/shrink and bend to match one another during
comparisons. Mathematically, this is accomplished
by applying all possible re-parameterizations, includ-
ing nonlinear registrations, on curves to find the opti-
mal registration. In this paper, we utilize the frame-
work of Joshi et al. (Joshi et al., 2007a), on elastic
shape analysis of curves, for performing symmetry
analysis of 2D shapes. To extend this idea to sym-
metry analysis of surfaces, we use the approach of
Samir et al. (Samir et al., 2006) where a facial sur-
face is represented as a collection of level curves, and
faces can be elastically compared by comparing the
corresponding curves.
The rest of this paper is organized as follows. We
present the general framework in Section 2, particu-
larize it for 2D shapes in Section 3 and for surfaces in
Section 4.
2 GENERAL FRAMEWORK
We advocate the use of geometric approaches in sym-
metry analysis. In particular, we suggest the use of
elastic shape analysis of curves and surfaces to help
quantify differences between objects and their reflec-
tions. A geometric approach for shape analysis in-
volves: (i) defining a space of shapes using their
mathematical representations, (ii) imposing a Rie-
mannian structure on it, and (iii) numerically com-
puting geodesic paths between arbitrary shapes. Care
is taken to remove symmetry-preserving transforma-
tions from the representation using algebraic equiva-
lences.
More precisely, one starts with a space, say C , of
mathematical representations of objects, e.g. closed
curves, and studies its differential geometry to iden-
tify tangent spaces TC . Then, choosing a Riemannian
metric – a positive-definite, bilinear, symmetric form
on tangent spaces – one can define lengths of paths
on C . Given any two objects, i.e. two elements of C ,
one can use a numerical approach to find a shortest
geodesic path between them. Let d
c
denote the length
of this geodesic.
Symmetry of a curve or a surface is invariant to its
translation, scaling, rotation, and re-parametrization.
Scaling and translation are usually accounted for in
defining C , but the other two are handled explicitly as
follows. One defines the action of the rotation group
SO(n) and the re-parametrization group Γ on C , and
defines the orbits of objects under these actions as
equivalence classes. In other words, for a q ∈ C, if
[q] is the set of all variations of q obtained by rotat-
ing and re-parameterizing it, then [q] is defined to be
an equivalence class. The set of all such equivalence
classes is the quotient space S = C /(SO(n)×Γ). The
distance between any two elements of S , say [q
1
] and
[q
2
], is the length of the shortest geodesic in C be-
tween elements of those two sets:
d
s
([q
1
],[q
2
]) = inf
p
1
∈[q
1
],p
2
∈[q
2
]
d
c
(p
1
, p
2
)
= inf
p
2
∈[q
2
]
d
c
(p
1
, p
2
) . (3)
The last equality assumes that SO(n) and Γ act on C
as isometries. The distance d
s
is invariant to rotation,
ON ANALYZING SYMMETRY OF OBJECTS USING ELASTIC DEFORMATIONS
195