J
,
....
ISSN 1311-8080
. \
0
International Journal of Pure and
Applied Mathematics
Vol. 99, No. 3, March 2015
Contents
K. Kannan: Amenable action and invariant mean
C . Promsakon: The partial order on category of semigroups and Endo-Cayley digraphs
K . Paykan, A. Moussavi: A generalization of bear rings
S. Noeiaghdam: Numerical solution of n-th order Fredholm integro-differential equations by integral mean value theorem method
D.W. Yoon: On translation surfaces with zero Gaussian curvature in H2 x R
D. Hac helfi, Y . Las kri , M.L. Sahari: Trust region with nonlinear conjugate gradient method
T. Bakhtiar, Siswadi: On the symmetrical property of Procrustes measure of distance
S.B. Belhaouari: The density of the process of coalescing random walks
M.A. Alqudah: Construction of Tchebyshev-ll weighted orthogonal polynomials on triangular
M.K. Bansal, R . Jain: Application of generalized differential transform method to fractional order Riccati differential equation and numerical result
S. Acharjee: Fixed point theorem in structure fuzzy metric space
H. Rahimpoor, A. Ebadian, M.E. Gordji, A . Zohri:
Common fixed point theorems in modular metric spaces
227 - 244 245 - 256
257 - 276
277 - 288
289 - 298
299 - 314
315 - 324
325 - 342
343 - 354
355 - 366
367 - 372
373 - 383
..,
.
セ@
International Journal of Pure and Applied Mathematics
ISSN 1311-8080, Academic Publications, Ltd., Kliment Ohridski Blvd., 8, Sofia 1756, Bulgaria, Email: ijpam@mmu.uctm.edu, Web: www.ijpam.eu
J. Abadie {France) R. Agarwal (USA) A. Baker (USA)
M. Balas (USA)
R.E. Bank (USA) H.T . Banks (USA)
V. Barbu (Romania)
P. Bates (USA)
G. Beer (USA)
A. Bensoussan (USA)
H. Berestycki (France)
M . Bohner (USA)
J. Bona (USA) L. Bunimovich (USA)
G. Butta.zzo (Italy) F. Calogero (Italy)
J . Cash (UK)
G.-Q. Chen (USA)
Founding Publisher: Drumi Bainov
Managing Editor: Svetoslav Nenov
Editorial Board:
R. Freund (USA)
B. Ga\'ish (USA) C. Gear (USA) L. Gelman (UK)
I. Gladwell (USA)
J. Graef (USA) B. Gramsch (Germany)
C. Grebogi (UK) P. Cresho (USA) C. Groetsch (USA)
J. Henderson (USA)
C. Hess {France) S. Hristova (Bulgaria)
M . Jri (Japan) M. Ito (Japan) J . Jeffers (U K)
D.S. Jones (UK)
Y. Kannai (Israel)
J . Osborn (USA)
セヲN@ Otani (Japan)
::". Pavel (USA) G . Pinder (USA)
A. Rahnev (Bulgaria)
S. Reich (Israel)
E. Saff (USA)
M . Sambandham (USA)
P. Sabatier (France)
M. Schechter (USA)
B.-W. Schulze (Germany)
0 . Serre (France)
J. Serrin (USA) R. Showalter (USA)
C.-W. Shu (USA)
M . Shub (USA}
E. Cheney (USA)
F.L. Chernousko (Russia)
II. Kawarada (Japan)
N. Kenmochi (Japan)
0 . Kinderlehrer (USA)
P. Souganidis (USA) S. Suzuki (Japan) E. Tadmor (USA)
K. Tamma (USA)
M. Chipot (Switzerland)
J . Conway (USA) R. Cools (Belgium) G. Cooperman (USA)
C . Da Prato (Italy)
C. Dafermos (USA) K. Deimling (Germany)
F. Deutsch (USA)
E. DiBenedetto {USA)
A. Dishliev (Bulgaria)
K. Dishlieva (Bulgaria)
D. Evans (UK) R. Finn (USA)
H. Frankowska (France)
M. Konstantinov (Bulgaria)
G. Ladas (USA)
D. Larson (USA)
C. Lcitmann (USA) P.-L. Lions (France)
M. Luskin (USA)
M. Susai Manuel (INDIA)
N. Mastronardi (Italy)
C. Mitchell (U K) K. Morgan (UK) S . .\enov (Bulgaria)
H . .\icdcrreiter (Singapore)
D. O'Rcgan (Ireland)
A. Tani (Japan)
R. Thomas (USA)
K.K. Tomma (USA)
M. Tsutsumi (Japan)
R. Varga (USA)
W. Vasconcelos (USA)
V. Vazirani {USA)
N. Velkov (Bulgaria)
R. Verma (USA)
J . Vines (France) T . Ward (USA) G . Watson (Scotland)
R. Wets (USA)
0. Widlund (USA)
ernational Journal of Pure and Applied Mathematics
Scope: International Journal of P ure and Applied セ。エィ・ュ。エャ」ウ@ (IJP AM) Is a
rigorously journal for publishing early, high-impact results in the areas of mathematics and computer science/informatics. The journal also emphasizes mathematical articles devoted to the mathematical treatment of questions arising in physics, c hemistry, biology, engineering and all applied sciences. Although the journal focuses on the original research articles, it also welcomes reviews and short notes.
Indexed/ Abstracted: With the publication of the December 2014 issue, ijpaセエ@ has
concluded its 13-th year o f publication of high-quality research articles. Over the past years, we have seen significant growth: the metric factor "cites per paper" (impact of
the journal) has become 2.80 {The ijpaセQ@ indexes and impact are calculated using only
Harzing's Publish or Peris h software, based on Google Scholar on 12.12.2014). For this
success, we are thankful to our Editorial Board, authors especially, and readers. IJP Al\1
is indexed/abstracted in: ELSEVIER, Index Copernicus, Hub SciVerse, Google Scholar,
SCimago Journal & Country Rank , SCIRUS, SCOPUS. We would like to thank these
institutions for cooperation and support.
Instructions for Authors: Submission of an article for evaluation in all journals published by Academic Publications, Ltd. implies that the work has not been published
previo usly (except in the form of an abst ract or as part of
a
published lecture oracademic thesis or as an electronic preprint). :\itoreover, it is not under consideration for publication elsewhere, the publication is approved by all authors, and if accepted it
will not be published elsewhere (including electronically in the same form. in English or
in any other language) without the written consent of the copyright-holder.
The manuscript should be prepared only using LaTeX processing system (please use the LaTeX template provided in the journal web), basic font 12pt size, and must remain legible after small reduction. The papers should be in English and typed in frames 12x20 cm. Authors arc cordially invited to submit papers in two differe nt ways. Online: Please visit our Submission Center. Electronically: Please, send the pdf (or
ps) file of your paper as an attachment to: ゥェー。ュ セ ュュオ N オ」エュN・、オ@ (our primary
address) and ・「セゥェー。ュ N ・オ@ (the address is over-spammed).
organization in the form of page-charge. These page-charges replace subscription charges and allow our publishing house to make the full-text of every published article or book freely available to all interested readers.
Copyright: In order to meet recent modern public demands for publication and
electronic access to academic resources, we asking authors to agree with following
items:
• Academic Publications, Ltd. have the rights to reproduce, translate to any language
and transmit to the public the whole article or any part of it for academic purposes
• The author(s) retains the right to keep the article on servers approved by Academic
Publications, Ltd. and/ or on the author's own Web sites in its published form for academic purposes, provided that the author(s) acknowledges that it was published
in IJP AM or its predecessors.
• Upon request of the author(s), Academic Publications, Ltd. may grant the
author(s), free of charge, the right to publish the article or its revision for
publication with academic value, including the complete works of the author(s),
provided that the author(s) acknowledges that it was published in IJPAM or its
•
•
•
predecessors.
Upon request of a third party with intention of publication for academic purposes, Academic Publications, Ltd. may permit them to use the rights described in the
item l.
To the author whose articles are newly accepted, we are sending a form of
agreement to be signed and sent back as promptly as possible.
If we receive any message of disagreement, we arc ready to cancel the copyright
agreement and take a process to withdraw the paper from the Web site of Project
Euclid or from the Web site of OCU セャ」、ゥ。@ Center Library Service.
International Journal of Pure and Applied Mathematics
Volume 99 No. 3 2015, 315-324
ISSN: 1311-8080 (printed version): ISS!': 1314-3395 (on-line version) url: http://www.ijpam.eu
doi: http://dx.doi.ol"g/10 l2732/ijpam.,·99i3.i
ON THE SYMMETRICAL PROPERTY OF PROCRUSTES MEASURE OF DISTANCE
Toni
Bakhtiar1S,
Siswadi2L 2Department of ).lathematics
Bogor Agricultural University
Dramaga Campus, Bogor. 16680. INDONESIA
セ@
ijpam.euAbstract: セi」。ウオイ・ュ・ョエ@ the degree of differe11c:e bctwl'C'n two matric:<>s by
using Procrustes analysis is preceded by a series of Euclidean si 111ila rit.v
trans-formations namely translation , rotation. and dilation, performed i11 rc:;pcctccl
order. for gai11i11g maximal matching. It b easy. by a counter cxainplc. to show
that Procrustes measure 、ッ\Nセ@ not obey the symmetrical property, something
s hould he owned by any distnne<.' function. In thi:-. paper we analytically proved
that normalization uvc>r co11figuratio11 mat ri<"es as au ct<l<lit io11al t ra11sfonnatio11
r<'::.ults in the satisfaction of the sy111metrical property hy Procrustc•:-. a11alysis .
\Ve also proved that normalizatio11 can be undertaken prior to or aftl'r rotatio11
to preserve symmetrical property. ).forc'Ovcr, we proved that Procru:-.t<'s
mea-sure can be expressed in term of sint:,'Ular value.'> of the matrix. We here very
much exploited the characteristic of full セゥQQゥNLGQ Qャ 。イ@ ,·al11<' 」ャ」」ッQQQーッセゥエゥッQQ@ under
similarity trausformations.
AMS Subject Classification: OOA35. 62H20
Key Words: procrustc.·s atmlysis, simi larit y trn11sforuint io11. si11guh1r ntltH•
cleco111po:-.ition. sy111111rtrical property
1. Procrus tes Measure
316
T.
Bakhtiar. Siswadiand scaling e ffects are filtered out from a n object. Two con figura tion
matri-」セ@ as representation of objects ha,·e the sam e s h ape if they can be tra nslat ed.
ro t ated, and dilated to each other so that they match exactly [3]. Procrus t es
analysis refers to a technique of comparing objects with different s hapes and
producing a m easure of the match. It eliminates possible ゥョ 」ッ ュセョ ・オウオイ。「 ゥャᆳ
ity or variables wi t hin the individual data sets and size difference:> between
data sets by employing data and configuration scalings i11 calculating the
dis-tance. rcspcd i\'cly. Thus, a series of Euclidean s imilarity tn.msfonnations. i.e ..
trans lation- rotation-dilation, is carried-out to b est match up to their m<:Lximal
agreement. Init ially. the difference d between mat rice:;; X
=
(l' 1j) and Y = (Yii)in Rmxn can be quantified by
m 11
d( X , Y) =
L
L (.r,
1 - y,J)2 .= tr (X - } ')'( X - Y). (1)1=1 j=l
\Ve mean by translation a moving ーイッ」」ウセ@ o f all (•lements of m a trix within
fixed distance and into the sam e direction with res pt•(:t to its ce11t roid. \Ye can
minimize the distance between X and }r a ft er translation by coi11ciding their
centroids at the origin, without loss of generalit y. tィオセN@ matrices X a11d } ·
after optimal translation arc gi\·cn by
XT
=
X -Cx.
)'1-
= }' -
C\ .
(2)where C'x := セ
Q
QQQQ
QセLx@ a ud C )· := [ィャュ ャ セLLy@ arc, イ」ウー・」エゥョ セ ャケN@ cent roids of.\'a 11d Y , with 1111 is them x 1 v<X'tor ofo11c:,.
fl otntiou is a procCfiS o f moving all clem ent s or matrix 1111cler the tix('d
rottttio11 a 11gll' without any changes in the poi11t-to-ce11troid clistanc<'s. R otatio n
011 YT over XT is carried-out by pos t-multiplyi11g Y:r by a rot at ion 111at rix
Q.
The minimum di:-;tancc after rotntiou is o btained by srlcct iug
Q
= VU'. wh<'reUE \I' is the' full :-;ingular value decomposilio11 ( fSVD ) of
X4-}'i" [2. 5J.
It isohvions t hnt Q is orthogonal, i.e ..
QQ'
= Q' Q=
I .Dilation is a dat a scaling which :-;trl'lchcs or s hrinkng<.'!-i the point-t o-cC'ntroicl
distn11c<' inn configuration by multiplication of a fi x<'d scaling factor. Dilatiou
011 }i-Q owr .\'T is undertaken hy 111nltipl.\'i11g }1·Q ィセ ᄋ@ a scalar r E IR. when·
tr
x.;.
FrQ · · · · I 1· I ' ' I } . Q ft 1·1 .,. エイHセIᄋイ@ 1111111m1z111g t 1c c 1stancc Jetwccn · ' T nuc T a er< 1 at1011.
S i11nilt 。ョcGッ ョ ウ ャセ ᄋN@ it is pron'<l in
11 J
that a scric:-. o f si111ilarit \' t rnnsformations i11the ord c•r of t ranslation-rotatiou-dilation prO\'ide'!'i t lw ャッキcGセi@ ーッセセゥィャ\G@ cl ゥセエ@ amT
ON THE SV1Il\1ETRICAL PROPERTY OF ...
317
Theorem 1. Give11 two matrices X aud Y in R111
x".
tlie Procrustesmeasure p bct\\·ecn X and Y after optimal translatio11-rotation-dilntio11 process is pro\'idcd by
( , , 1,.) = . , ,, , , _ tr2 Xl-YTQ
PA. t1 ."'T""T }"''}'
tr T T (-1)
P roo f For complet e proof, see
!I].
2. Singular Value Decomposition
Ju this section we provide a s hort review on the :;;ing ular value <lecornpositio11.
which could be de:>cribed as the most useful tool i11 matrix algebra because th i:-.
factorization ca11 be applied to a11y real or complex matrix. sq uan• or rectangu-la r.
Theorem 2
([-tj).
If A is an m x ll matrix of ra1Jk r :=; 111 i11{111.11}, t/1£'11 t/Jcrc exists 01t /Jogomi/ m x rn nwtrix U (rcspcctfrcly 111Jitmy). ur t l wgo1wl 11 x"1w1trix ll · H Q ᄋセー・」エゥ|Gcャケ@ 1111itl1ry}, am/ m x 11 1JWtrix .S'
=-
(s,J) s11d1 tlwtA = US !\''.
(5)
Supp ost• t hat <'igcnvalue:-; of AA' can be urckrecl a:-.
>.,
2
..\22 · · ·
セ@>.r
>
>-r+I
- · · ·
=>.,,,
-
0 with t he <'Orrcspo11di11g l'igl'H\'l'Ctors11
1 (iセ@
1, .... r.1·,..I. ... ,m) and those of A'A arc>.,
2
>.2
2 · · · 2
>.,.
>
>.,.+J
- · · ·
=>.,,
-
0 wi ththl• corrcspo11d i11g cigcn vC'ctors 11•, (i = l. .... r. r
+
I , .. .. 11 ). To co111p ly wit It(5). it is rcquirl'cl thnt. ci t hc•r
Au·; A'1t,
u, · "- - - or w, ·.:....
-.c.; 11 811 (6)
11111st IH' sath;fic•d. with s., =
4;.
The Su is call<·d t he' si11g1dar nil11eor
A.which is d<'fii1Pcl to h<' t hC' positi\'C' :squnr<' root oft h<' rn11k<'d <'ig<•nvalt 1t• of AA'
or A'A ( no t e thnt AA' a nd A'A pus:-.es the SHiil<' sl'I of positin• 1•igt>m·al11<•s).
Tltc11 it ca11 hl' written that
318 T. Bakhtiar. Siswadi
where ilr = diag(Siii ... , Srr) is an r x r diagonal matrix and 0 is a matrix
of zeros with compatible dimension. Note that we baYe S in the form of (8)
wheu r
<
m and r<
n.If
r=
m=
n then it reduces to S=
セイᄋ@
If
r
=
m<
n then S = (6. 0). and if r=
n<
m then S=
(6. O)'. Sinceu, (i = 1. ... , r) and
u.·
1(i
= 1. ....r)
are. respectively.・ゥァ・オョセ」エッイウ@
correspondto positive cigc1walucs of
AA'
andA' A.
theuU
andn·
should be constructedby orthonormal columns. In fact. if the number of orthonormal columns is
less t h an 111 or 11 then we should expand this set to orthononual basb.
If
zeroeigenvalues are included a long with their corresponding eigenn,'Ctors. then we
have an FSVD of matrix
A
as given by Theorem 2.As an illustrative example of FSVD let consider a -1
x
3 matrix A of rank 2:(3 -1]
A=
セ@
セ@
.
セ ャ 。エイゥク@
A' A posscsse:> eigenvalues .A1 = 12 and>.2
= 10 with corrcspo11cli11geigenvectors construct lhe followi n g H' matrix:
ff =
[l/
.J2.
- 1/
v12l
1/.J'i. l/v'2
j'
\Yhilc. matrix
.4A'
has cige11rnlues A1 = 12.>.2
= 10. and >.:1 - 0. According to(6). we obtaiu
(
1]
1 1 '
'Ill=
JG
2(-2]
1 0 .
IL2 =
j5
513y expanding {u1• u2} t o an ortltouormal basis in Ra and hy cxploitiug
Grn111-Schmidt orthonormalizntion procedure
[-tJ
we get1 -5 .
( 1 ]
U3
=
J3(}
2Thus, the corrc::.pon<ling cigcuYcctors of AA' form tlw followi11g C.: matrix:
u
=
l/./G
o
-5/-ISO .
[
1/./6 - 2//5 1/J30]
2/./G 1//5 2/JJf>
Obviously. W<' ran avoid ba.'iiS cxpm1sion and Grn111-Scl1111idt orthonorurnlization
ィセᄋ@
initially starting with AA'. 13ut inエィゥセ@
キ。セ ᄋ@
wt-haw toセッィt@
th<' t hi rel or<l<•r... ;_,,
ON T HE SYMMETRICAL PROPERTY OF ...
319
F\trthcr, it is easy to verify that both U and W arc orthonormal, i.e .. UU' =
U'U = [3 and TVl·V' = H"W = /2. Since m
=
4, n = 3. and r = 2. then thematrix Sis provided
by
S=
[
vTI
セ@
v;;o .
0 ]Alternatively. the FSVD wit h economic ::.ize. i.e .. reduced order FSVD. can be
obtained by removing columns a n d rows relate to zero eigenvalues. i.e ..
-
{ャOセ@
-
2
/J
rm
0
]
[l/-/2
-l/V2]'
A -
ROセ@
I/y'6
00
v1Q
1/-/2 1/ -/2
J
l/Vs
3 . Symme trical P rop erty
A distance is
a
fu 11ction which associates to any pair of vector:, a n.•alnonucga-tivc n umber. The notion of distance is essential becam;e many statistical
tech-nique::;. such as principal component
。ョ。ャケセ「N@
mult idime11sio11al scaling analysis.and cor respondcu ce analysis, arc equiva lent to t he analysis of a sp0ci fic: dista11cC'
table. A distance function
ーッZZゥmNAsscセ@
the followi ng prop<?rticsHJ.
Defi11itio11 3. For any vectors .r. y. m1cl ::: i11 V(.'Ctor spncC' §. a funct ion d
is a distanct• function 011 S if the following prop<'rti<'S Hr<' satisfi<-<l:
1. d(x,
y)
2".
0,2. d(:i:.y)
=
0 if and only if .r=
!J. 3. d(:r. y) = d(y, :r),·L d(.r. z) セ@ d(.r, y)
+
d(y, z).The concept of distance over VC'ctors might lie adopted for cak11lati11g tlte
d<'gr<'<' of diff<'r<'11<T• of matri<·<·s of tit<' SHiil<' di111C'11sion . For i11i:;tm1ce. to
。オセᄋ@
matrices X = (:r,j) a11d Y .;... (y,j) i11
lll"'"'".
we• 111ay d<>fi11<'cl th<' cliff<'rC'W'<'bct \vecu t h C'111 a . .., (1). as
」ュィイ。セクᄋ」ャ@
h.'· Procrusl<•:-. measure witlii11 translation-rotalion-dilation
ーイッ」・セNNLN@
How('\·C'r. it is l'a:-;y to sho"' that Procrustes lll<'a:-.11rc•do<'s not comply wit It distann• propc·rti0s provided i11 Dd1nit ion 3.
By
taki11gtwo diff<'rf'nt matri<"<'S
[
:3
o']
.\ =
セ@ セ@
.[
j
r.]
)' =
セ@ セ@
.
320 T. Bakhtiar. Siswadi
from (4) we have p(X, Y) = 0. which re,·eals a violation of the second property.
This fact, however, provides another kind of idiosyncrasies of matrix algebra.
in addition to the well-known fact that
AB
= 0 can happen although neitherA
norB
is itselfa
zero matrix. Another pair of matrices[
-3 OJ
x
=セ@ セ@
.y
= [3 2 5 3l
.4 -5
(11)
produces µ(X, Y)
=
3.t.67 and p(}·. X) - -!7.13. which show::; tlu\t in generalProcruste:; measure disobeys the third property. i.e .. the symmetrical property. This paper deals with the embedding of the symmetrical property of Pro-crustes measure. Its primary objecti,·e i::; to ascertain that an additional
trarn;-formation, namely a normalization. can set the symmetrical property i11to
Pro-cru::;tes m easure.
In
fact. normalization is already consideredby
::\IATLAn®built-i11 functio11 pro crust es (X, Y). Pre-scaling to normal matric(>s 1-trl' abo
employed b.r
13]
iu calculating Procrustc::; dbtancc by using shape anulysi:;ap-proach. \\'e here provide the proof of the !>ymrnctrical properly and discuss
the effect of n ormalization place in orde r of thc transformation ::.t'C)uencL'S. \Ye greatly exploit the characteristic of FSVD under similarity transformations.
Let given two data matrices
X
and } · with the same number of objects. Ifthe number of variables of both matrices is not the same. we may place 11 1111mber
of columns of zeros either in the last or QQQQセ ᄋ L|ィ」イ・@ such that th(• di11w11sio11 of
matrices arc the same
IGJ.
Thus. without loss of generality W(' assume thatX
aud Y <UC in the snnw space. i.e ..
X. }'
E JR111x11 •In thb analysis, ,..,·c mean by normali:wt ion making the nor111 of 111111 rix oil<'
by dividing it by its FrobC'nius norm. \\'c i11troclucc a nonnalization proc-edun.·
following a translation. Hence, th<· 11on11aliwtion o\·N
X1
andl'T
prodncc-sRT =
ax,..
f'1 = M;..
( 12)where
1 1 1 1
(I :3)
Cl:- = .
,, .__
-llKrllF
Jtr xセxt@.- 1111-llF -
JtrY.p;-'with
XT
and>1-
arc given by (2). [11 {13) we• deuotc byII· II,.-
fh(• Froheniusnorm of a matrix. hence Q Q Mセtャャf@
=
lif:r llF
= I.Theore1n 4. GfrC'11 t\m 1m1trkes X 1111</ } • i11 IR"''°'. tlw Pmcrnst<'s
mmsurc' JJ bct\1·('('11 .\" all(/}" after optinwl
trn11.-;/;itio11-11ornw/ix;itio11-rot:rtio11-dilatiu11 prncc;.;s olJ<'ys t/I(' sym111<' tric:1/ JH"OfJ<'rty rwd is f>W\·ic/NI 11.' ·
p(X. r·) =
J,p· .
.Y) I -(t.
a,.)'
(I .I )ON THE snn.tETRICAL PROPERTY OF ...
321
where r and <1ii
(i
= l, ... , r) respectfrely arc the rank ruid singular ,•alucs ofX1-YT
orY.f.XT
withXT
and YT are given in(12).
Proof. By performing optimal rotation over XT and
YT
and subsequentlyoptimal dilation. then by considering (1) we obtain the Procrustes measure of
X and Y as follows
p(X. Y) =inf d(XT.CYTQi) = inftr(XT - cfi-Q1)'(XT - cfi-Qi) ,
c c
where Q1 = |GQuセ@ and U1E1 V{ is the FSVD of X1-f'T· \Ye can expand the above
equation to get a quadratic form in c:
v(X, Y) = inf(tr
x.;. ...
tT - 2ctr(X4-f'TQi)+
c2 tr Y.f.YT ). ( 15)c
By optimally selecting
tr(X1-f:rQ1) c
-- trf'.p;. {16)
a11cl sub::.tituting it back into quadratic form in (15) alongside with (12) ( 13)
we have
v(X,Y) = 1-tr2
(X4-YTQ
1 )=
1-
tr2E1. ( 17)Note that the last <'Xpr<•:-.sio11 is obtained by remembering that
QI
=Vi
オセ@ andXl-YT
=
U1E1V{.
\Ye now consider the opposite direction, where the matrix Xセィッオャ、@ be· fitt<'cl by similarity transformations for obtainiug the bc:-.l matching
to the observed matrix
Y .
In other words. we aim to calculate the Procru:-.tl's111cH.">ttrl' JJ(Y • .\' ). By following the similar tcd111iquc, we may shortly arriw at
11(> '. X)
=
I - tr2(Y.fXTQ2) = 1 - tr2 E2. {18)where Q2 = |QRuセ@ and uReR|iセ@ is the FSVD of Y.fXT. Since for auy matrix A.
the S\K'<'lrnm of .4'
A
is the sn.mc <'I.'> that ofAA'.
tlienr
trE1 = trE2
=La,,.
1- l
where• r and a11 (i
=
1. .. . r) respl'cli,·el.'· ar<' llH• rank aud singular ,·ninesof
s.;.
f;.
or f:f.XT. tィオセN@ Wt' pron'd the symmetrical prope rty of Prun11:-.I ('S322 T. Bakhtiar. Siswadi
Remark 5. Procrustes measure p in (14) is basically calculated by using
( 1). Since tr A' A
2:
0 for auy matrix A, then it is gunrantet.>d that thenonnega-tivity property of a distance function is satisfied. i.e .. p(X. Y)
2:
0. Furthermore.suppose that there exists matrices X and }' such that p(X. Y)
>
l. Then wehm·c 1 -
ッ]セ]i@
0'11 )2
>
1. Or equivaJent}yHlセ]ャ@
u,,)2<
0. which is acontradic-tion . It must be the case that p(X. Y ) $ I. aセ@ a consequence of th(':)e facts. we
conclude 0 $ p(X. Y) $ I for any matrices X and l · of the セ 。ュ 」@ dimension.
R('Sult presented in Theorem -1 is in agreement with that of
l3J.
Remark 6. Note that the optimal scaling parameter c in (16) ·can further
be written as
r
c= L aii· r= l
Remark 7. Suppose that we have the following FSVD: Xl-l"T = U3E3
\':f.
Together with (17) we obtain
X1'f'T
=
U1E1V{ <=> abX1-Yr = U1E1 \ '{Y' }'
[ ! E1 , .,· T T - 1-b 1·
(I (19)
<=>
from which W(.' conclude
u.
= オセェᄋ@\'i
= i ;j. E1 "'- o/JEa. a11cl furtlwnnurc \\'(.'hnw• t lac relation 「」エキエNセョ@ singular values
o,,
=aM,,.
wlwrc6;
1 i:-. the si11b11ilarmluc of XJ.. Yr . Tims we can al tern at i,·l'ly l'l'\\Tite ( I .J) a_..,
2 p(X. }') = p(}'. X) = l -
n
2t/
1(t
<>,,)
1- 1
Remark 8. 13y (H). if we lim·t• p(X. }.) - 0 llH·11 it 111c•a11:-. that .\and
} · lmv<' <'Xac-t ly tltc :-;wnc shape. Convcrsl'ly . .\ a1HI } • with 11( X. } ·) = l han·
<•11tird.v diff<'n·11t shapc. In this r<'gmd we· mil 11 a clissi111ilarity 111('as111·l'. If
we would likl· to liavc Procrustc:-; lllL•;u,urc fl with ッーーッセゥャ」@ i11t erpr<'tatio11. tlic·n
we· d<'tillP p(X. Y) :=I -11(X. } ')
=
0:::·""
1 a,,)2. It 111ea11:-; that the biggl'r the'mC'ffidC'11t p , th<.• closer the similarity of 111<1trircs X a11cl }'. Thus we• <'all 11 a
si111il11rity HINlSt1rc' which tall conrluct ru; a good11<'ss-of-fit of tllC' hc·:-.t 111atd1i11g.
4. Whe n Should We Normalize?
In the prcvio11:-. セ」イエゥッョ@ we have ;rnalyzC'd the inrorporat ing 11un11alizntion as
an additional similarity transformation into tlw proct•<l11n•. It i:-. :-.how11 that
ON THE SYMMETRICAL PROPERTY OF ...
323
by normalizing the matrices after translation, the symmetrical property is as-serted by Procrustes measure. In this section we examine the situation where normalization is performed sequentially different. As an illustrative example.
Jet consider again matrices X and Y in (11). Table below provides Procrustes
measure under different sequence of transformations. e.g .. we mean by T-N-R-D the degree o f difference between matrices is calculated after translation {T), normalization (N), rotation (R), and dilation (D). respectively.
No Transformations p(X, Y) p(Y, X)
1 N-T-R-D 0.5174 0.5355
2 T-N-R-D 0.8125 0.8125
3
T-R-N-D 0.8125 0.81254 T-R-D-N 1.1340 1.1340
It is shown that normalizing prior to rotation (T-N-R-D) or after rota-tion (T-R-N-D) provides a consistent result and guarantees the symmetrical property. It can generally be explained as follows. After translation a nd
ro-tation we have XT and
YTQ3,
whereQ3
= V3U£ and U3E3 V3 is the FSVDof Xl-YT. Normalizing both matrices provides XT
=
aXT as in (12) andZT
:=QQ
セOqアセ
if@
= bYTQ3. The procrustcs measure after optimal dilatio11 isachieved by selecting c = tr
セイZt@
withlr T T
p(X, Y) = 1 - tr2 Xl-ZT = 1 - tr2(abE3) = 1 - tr2 E1, {20)
where the last expression is came from (19). Equation (20), however , proves that
Procrustes measures under T-N-R-D and T-R- N-D are the same. o「カゥッオウAセ GN@
we can a lso prove the symmetrical property similarly.
From the table we can also see that when normalization is applied in the first stngc. i.e .. we consider N-T-R-D. then the symmetrical property is generally not satisfied. even though this sequence may provide a srnalll'r mcru;urc. While, when we put normalization in the last stage, i.e., we consider T-fl-D-N, then we get a diffen•nt magnitude of measure with the symmetri<'al property convinced.
However, the measure is 11ot always staying in
!O, 1J
interval, somethi ng whichis not expected for a goodness of fit coefficient.. l n fact. Procrustes measure under T-R-D-N scheme is given by
T. Bakhtiar, Siswadi
5. Conclusion
this paper we have shortly reviewed the optimal similarity transformations of
Procrustes analysis. It has been shown that
by
performing translation, rotation,and dilation consecutively over configuration matrices. then their differenC"e is
minimized. However, by simple example it has also been re\'ealed that
Pro-crustes measure violates the symmetrical property. To overcome the problem,
we
propose the inclusion of normalization, that is a di\'ision by its Frobeniusnorm, as an additional similarity transformation. We analytically proved that
Procrustes measure can assert the symmetrical property
as
longas
normal-ization procedure is accomplished prior to or after rotation.
By
this we alsoguarantee that the measure belongs to the interval of
[O, l]. In
particular. wehave shown that the goodness-of-fit between X and Y can be expressed as the
squared sum of singular values of
X-'rYT.
R eferen ces
11)
T. Bakhtiar, Siswadi, Orthogonal procrustcs analysis: its transformationarrangement a11d minimal distance,
Int.
J. App. Math. Stat., 20, No. セQQQ@(2011), Hi-24, doi: 10.12988/ams.
[2}
J.M.F. ten Berge, Orthogornil procrnst<'S rotation for two or more matrices.Psychometrika, 42, No. 2 ( 1977). 2G7- 27G, doi: 10.1007 /Df'0229-1053.
l3J
I.L. Dryden, K.V. セャ。イ、ゥ。L@ Sta'1st1cal Shape Analysis, John Wiley&
Sons,New York (1998).
l4J
J.R. Schott, Matrix Analysis for Statistics, John Wiley & Sons, New Jersey(2005).
!SJ
R. Sibson, Studies in the robustness of multidimensional scaling:pro-crustcs statistics, J.
R. Statist. Soc. B,
40 , No. 2 {1978), 234-238.[6]
Siswadi,T.
Dakhtiar.It
セャ。ィ。イウゥ L@ Procrustes analysis a nd the goodncss-of-fit of biplots: some thoughts and findings. App. Math. Sci .. 6. No. 72
(2012). 3579-3590. doi: 10.12!:>88/am:-..
I
セゥ]ゥゥjV@
First Author1, Second Author•
1Fi rst Author's address, COUNTRY
Email: authorl @hostname
2Second Author's address, COUNTRY
Email : author2@hostname
Abstract: The abstract must not exceed 200 words.
AMS Subject Classification: You may find aセis@ Subject Classification at the following
website: http://www.ams.org/rnsc/
K ey Words: key words and phrases.
1. irir&t i!iae uon
The manuscript should be prepared only using LaTeX processing system (please use the
sample), basic font 12pt size, and must remain legible after small reduction. T he papers
should be in English and typed in frames 12x20 cm (margins 3.5 cm on left and right and 4
cm on top and bottom) on A4-format white paper. On the first page leave 3.5 cm space on
the top for the journal's headings, then type the title of the paper in capital letters bold face, leave two lines and type the authors' names and addresses, centered.
2 . Sections, Propositions, Text a nd Figures
Titles of all principals S ectio ns, A cknowledgement, References, Appe ndices should
be typed centered in bold face . Appendices should follow R eferences and be indexed
(A,B, ... ) or enumerated (1,2, ... ). Paragraphs should have 18pt indent. All subheadings like
Definition, Theorem, Lemma , R emark, Example should be indented and in bold face,
the
text
of the propositions (theorems, lemmas, etc.) should be slanted, subheading Proof,also slanted. Reference citations should be typed in the text as follows: 11) and 121. but not
ll,21. All figures should be prepared and included as Post Script (ps-file, or eps-file), and
enclosed with the LaTeX-source file. For useful information on preparing your figures for publication, go to http://cpc.cadmus.com/da.
Acknowledgements
The acknowledgements should go in the special section, which follows the text but precedes the references.
References
111
D.H. Ackeley, G.E. Hilton, T.J. Sejnovski, A learning algorithm for Bolzmann machine.Cognitive Science, 62 (1985), 147-169.
Academic Publications Ltd.
We are committed to working with the global science community to bring the highest quality research to the widest possible audience and to protecting the environment by implementing environmentally friendly policies and practices wherever possible.
Books and Monographs
1. Author: Fabio Botelho. Title: Topics on Functional Analysis, Calculus of
1
Variations and Duality. ISBN: 978-954-2940-08-1. Publisher: Academic }
Publications, Ltd. Date: September, 2011. Pages: 397.
2. Author: Leslie cッセョN@ Title: On the Ubiquity of Gorenstein Quasi-Orders. ISBN:
978-954-2940-05-0. Publisher: Academic Publications, Ltd. Date: July, 2011. Pages: 336.
3. Authors: A. Dishliev, K. Dishlieva, S. Xenov. Title: Specific Asymptotic
Properties of the Solutions of Impulsive Differential Equations. セャ・エィッ、ウ@ and
Applications. ISBN: 978-954-2940-09-8. Publisher: Academic Publications, Ltd. Date: :ri.larch, 2012. Pages: 309.
4. Author: Liaqat Ali Khan. Title: Linear tッーッャッァゥ」セj@ Spaces of Continuous Vector
Valued Functions. DOI: 10.12732/acadpubl.201301. Publisher: Academic
Publications, Ltd. Date: April , 2013. Pages: 350.
5. Guest Editor: Hare Krishna :\igam. Title: Proceedings of :'\ational Conference on
Recent Trends in セQ。エィ・ュ。エゥ」。ャ@ Sciences and Their Applications HncrtセisaMRPQRIN@
ISSN: 1311-8080. Publisher: Academic Publications, Ltd. Date: セQ。イ」ィL@ 2013.
Special issue of IJP AM: vol. 83, no. 5.
Journals
International Journal of Pure and Applied Mathematics ISSN 1311-8080, http://www.ijpam .eu
International Electronic Journal of Pure and Applied ).lathcmatics ISS): 1314-0744, http://www.c.ijpam.cu
International Journal of Differential Equations an<l Applications ISS): 1311-2872, http://www.ijpam.cu/cn/indcx.php/ ijdea
Advances in Natural Science: Theory and Applications