Академический Документы
Профессиональный Документы
Культура Документы
&
MAP THEORY WITH APPLICATIONS(I)
Linfan MAO
SMARANDACHEJ<EG I ( )
7 N
2006
Linfan Mao
SMARANDACHE GEOMETRIES
&
MAP THEORY WITH APPLICATIONS(I)
xp!
/ |HFHue|HOk
V
d 100080
maolinfan@163.com
SMARANDACHE J<EG I
( )
2006
This book can be ordered in a paper bound reprint from:
Books on Demand
ProQuest Information & Learning
(University of Microfilm International)
300 N.Zeeb Road
P.O.Box 1346, Ann Arbor
MI 48106-1346, USA
Tel:1-800-521-0600(Customer Service)
http://wwwlib.umi.com/bod
Peer Reviewers:
Y.P.Liu,Department of Applied Mathematics, Beijing Jiaotong University, Beijing
100044, P.R.China.
F.Tian, Academy of Mathematics and Systems, Chinese Academy of Sciences, Bei-
jing 100080, P.R.China.
J.Y.Yan, Graduate Student College, Chinese Academy of Sciences, Beijing 100083,
P.R.China.
E.L.Wei, Information school, China Renmin University, Beijing 100872, P.R.China.
Many books can be downloaded from the following Digital Library of Science:
http://www.gallup.unm.edu/∼smarandache/eBooks-otherformats.htm
ISBN:1-59973-019-7
Printed in China
ry
I1
= X[-r1p+r& W lo P>FW =
1F
P;ov^C*L = I-r?7k = IIds W lQ
(
p+p
= ' ; 1q[ i z
Pp+l BIj = =q>
^CI zq Pw1q1Ij = Yl> b ?# D k Tou m !-'
p
= 23 &I1q B m !-'Ij o=& K W 9i 5Nk
v7=%r\jÆ[B m !-'/\</ =o & K BM/\/M- /\
=1 [ i pBp+ d W B 1 = r&K4
1 o=
N1[X = u%&#< 7 = O\uJ%&#<}
1~? ; r%
1Ae / = > H 1V j = 27 0 d I R / =
q 5%
L> H r%I1x d /
o8 B m !%-'
; h
$hJI-
u>L $ Zu%&I&IZ a
1Q ; X
^bLIIZ = X q l1VP% =
j-
7 V
$ 13 s Ei
= k _ _ por& W l = L97F - 5%-Q1Ei _ _ = u ; r/K
VI
$ 1 =_ _ =_ Pj>o = k1q[ i >P
j
[p+l BIj =2 > $
$j1 m !%-'Im !%-'I1 _ _ = I1
J I =_ _ =
_ ÆE = o<"1: m !%-'
j o z = o<u 12o
,
[8%du
J I 7 V 7 = }q i uk = II 7 % R / / }q[
}q
,# 7vPh g P | QX; /p+ = QXuI 7
;8 B[%XsP
%' ℄ 5BP ; I _ _vQx[ id I o 1Q>\ 3 1
FB
V>d ℄ = 10 0\/Æ %0% 7 J
fS+kN
VEi
D\iEN\/J%0u 7 J 2005 \V _ _IJ$DE
ii Linfan Mao: H'^5<GI1/
N5!>dk0\/y*u%dJ$ KV
*<0~ o M
1 d '0\/[s5SwK
=4d91s =A ~ d1%.GZj0u N FHHBN)$
eR==%0YE\/E&p
umJk℄
*=Automorphism groups
of maps, surfaces and Smarandache geometries[Smarandache multi-space
theory ? KF7 Y [Cf
> 7 SBI _ _vZX = p
L _ _
QXu + I _ _v℄ _ _v 7= 1Q, _ _QXu _ _W B joN1
M- /\K = 5 &6 &W B j 7= 1Q > v
juXj~({-N1s -Smarandache eSju1
:~8
Td7 7 v[XH[SP + IV</[u.GZj0
u N FHHBN)$e5! = %0 Y E\/> = 1S m !%-'I
= o;dE zq [%dO\> 7 WJSBW B) 7 qSmarandache
= 1Smarandache ℄D V D ℄( ^ 1℄ > v` k d /
\</&1q[sB%dL2 = n\pEB
= %d> H
Smarandache 4d~ =Cu^"g1^C Smarandache QXp
_ _ D %dk = j z [ = %0\/ u 7 J
fIVI
jf[
:_E):CII[s5!> 7d Iseri H?p
= 2- & Smarandache N
r^C _ _ D =zq [sBÆEP= p
B D ℄ = n\B D
℄ = %d Xv 4 [ +/p
B%d
J I R /O\ =_ _v1qd
dD .I _ _vj = pV52
C Smarandache H:~u1% 2005 j0uNFH W .Z
H
j0:HBN)$R = = %0 Y E\/> 7 SB D D ℄o
N14vD ℄ 7" u4sTG =
y< > v
,
1%j4v D
℄ 7 5 E 80 i [s = -
y Q;\ eS~kEY#Z[ y Q;\1s~kE
Y#Z1
umJ Xiquan Publishing House
*B 4)W#f ')
y K r l#Z -Smarandache eS~k
%Bk:mJ America Research
Press
* = F Perze S+?3 N^C8/[ 7 /f
= ?0I\/?
0/ YLV1&p 7 J Æ LL q WF R= j R7 Lpy<= ^CI
zq ?7L7,sI = I q[ i Aj R 7L d
= %0/ / 7)
B 7 J Æ L 2^ K = L7,sI1%&LS h Lw
1qp
B
#
q / Nn\B Smarandache = 1
f * $ = & '; j = I1q[
2 NL7,sI 7" u = 1q:^b =d
DR iii
zHCL1[CCK b Cayley CC >,E
L
11
Nu 2004 5 k[ 2001 11 k = ?0\// 7 ^Ck
C
zq N d av = VL)h D [ %LSk = %+ Cayley = V > ,
Px[sB!I0
R [VV
R [? ; [rÆEB White >pp
= u
avV > ,Px = !I zq 1
J I zq :CP _ _I = ?0/
Riemann z Hurwitz jÆ =F21^C _ _ D zq j Rie-
mann av W 3[ id >[s _ _ÆE = %0/ u.GZ / |H
h u
3rUuN H|HB0X[sEN1 _ _ zq :CP
J IIZ
= %0/ 0/ & K B
u KFAutomorphism groups of maps,
surfaces and Smarandache geometries7 p
BI _ _vZX[I!&
J
IO\ =_ _v1q
U1s r1%t2XuT d7 7 v[ha5!
= %0/ / 7 WJ~:B
F%&? H -p
L W 3
''?
H D?/paS+[S+kjpa = hL ,L 7 VJI( =
E/7z~:B
p
I _ _vZX = C5J$%dj_ _d
j-
= < J> .Z
|HOk'L)7wU'` V '|H= |H℄'Ok7`)'
D d
H o'w7ebOk{ " )3 Y|H0'I 7 H o' P
di i
{ + '^gj
Dpu0'I P_0' SCIEI )DR
i
Bh_>)3bZ
)|HOkZ Q =$'$%}, P6L2Q
'p U r$%'Ok 7;℄ |Hr S 'ud
mJ </[
5 =E F Dimtri Rabounski H?k℄u> E F = 5
;?< N^C8/[ q / oMB%00~mDeclaration of Academic Free-
dom: Scientific Human Rights WJpEBE> H 1
j[x m !
%-'[?7 W l[p+e Po 2[X = Np"1 m !%-'I W
o [> >Pp+ = D
$ R
m !%-'I\/
%ID BT
*x;E ) I-
?
iE>1KDO&IZ = I\/
1uj00 N 0?&|'FH N &|'0
R
23 A
0 F 3 A? 3 AVW4!xY4)
&|' N ℄00
3odj0,j
00h FHÆ
$x'jm
iv Linfan Mao: H'^5<GI1/
4 d&B00h w 7 Æ
H / 'jm
5
0/M-
0 / 'FH
0
6w 7 Æ"'hTD;0hFH
0)
bL$
,LKV G</mTm< z) & KV %2p D( d9
3 / | / |HFHue|HOkG F`100080
V
KV mV: maolinfan@163.com
gG s
m OO OkP:_
Preface
also the result for mathematics consistency with the scientific research in the 21st
century. In the mathematics of 21st century, we can encounter some incorrect con-
clusions in classical mathematics maybe true in this time, and even a claim with its
non-claim are true simultaneously in a new mathematical system.
For introducing the combinatorization for classical mathematics, this collection
contains 10 papers finished by the author or the author with other mathematicians.
All these papers have been published in an e-print form on the internet unless two
papers, one reported at The Symposia of 2004 Postdoctoral Forum on Frontal &
Interdisciplinary Sciences of Chinese Academy of Sciences, Dec. 2004, Beijing ,
another reported at The 2005 International Conference on Graph Theory and
Combinatorics of China, June, 2005, Zejiang .
Now we outline contents in each paper.
TheCombinatorial speculations and the combinatorial conjecture
for mathematics is a survey paper submitted to The 2th Conference on Graph
Theory and Combinatorics of China . This paper introduces the idea of combinato-
rial conjecture for mathematics and the contributions of combinatorial speculations
to mathematics such as those of algebra and geometries and to combinatorial cos-
moses, particularly for 5 or 6-dimensional cosmos based on the materials in my two
monographs published recently, i.e., Automorphism groups of maps, surfaces
and Smarandache geometries (American Research Press, 2005) and Smaran-
dache multi-space theory (Hexis, America, 2006).
The mathematics of 21st century aroused by theoretical physics-
Smarandache multi-space theory is a paper for introducing the background,
approaches and results appeared in mathematics of the 21st century, such as those
of Big Bang in cosmological physics, Smarandache multi-spaces, Smarandache ge-
ometries, maps, map geometries and pseudo-metric space geometries, also includes
discussion for some open problems in theoretical physics. This paper is reported to
teachers and students of Wanyuan School in Mar. 2006, also a paper submitted to
The 2th Conference on Graph Theory and Combinatorics of China .
A new view of combinatorial maps by Smarandache’s notionis a
speculation paper for combinatorial maps by applying that of Smarandache’s no-
tion, reported at the Chinese Academy of Mathematics and System Science and the
Department of Applied Mathematics of Beijing Jiaotong University in May, 2005.
Preface vii
This paper firstly introduces the conception of map geometries, which are generaliza-
tion of these 2-dimensional Smarandache manifolds defined by Dr.Iseri, also includes
some elementary properties and classification for map geometries. Open problems
for the combinatorization of some results in classical mathematics are also given in
the final section of this paper, which are benefit for mathematicians researching or
wish researching the combinatorization problem for classical mathematics.
An introduction to Smarandache geometries on mapsis a survey
paper reported at The 2005 International Conference on Graph Theory and Com-
binatorics of China . This paper introduces maps, map geometries, particularly the
necessary and sufficient conditions for parallel bundles in planar map geometries,
which are generalized works for the 5th postulate in Euclid plane geometry.
A multi-space model for Chinese bid evaluation with analyzing and
A mathematical model for Chinese bid evaluation with its solution ana-
lyzing are two papers coped with the suggestion of Dr.Perze, the editor of American
Research Press after I published a Chinese book Chinese Construction Project
Bidding Technique & Cases Analyzing-Smarandache Multi-Space Model
of Bidding in Xiquan Publishing House (2006). These papers firstly constructed
a mathematical model for bids evaluation system, pointed out that it is a decision
problem for finite multiple objectives under the law and regulations system for ten-
dering, also gave a graphical method for analyzing the order of bids. Some open
problems for weighted Smarandache multi-spaces and suggestions for solving prob-
lems existed in current bids evaluation system in China are presented in the final
section.
The number of complete maps on surfacesandOn automorphisms
and enumeration of maps of Cayley graphs of a finite group are two
papers finished in May, 2004 and Nov. 2001. Applying the group action idea, these
papers enumerate the unrooted complete maps and non-equivalent maps underlying
a Cayley graph of a finite group on orientable and non-orientable surfaces, which
generalize a scheme for enumerating non-equivalent embeddings of a graph presented
by White et.al. They are applications of classical mathematics to combinatorics.
A combinatorial refinement of Hurwitz theorem on Riemann Sur-
faces is a paper by applying combinatorial maps to determine automorphisms of
Riemann surfaces and getting combinatorial refinement for some classical results.
viii Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
the choice of research theme and research methods is freedom without limitation;
all scientists are equal before research themes regardless their position in our society;
to participate and publish scientific results is freedom, can not be rejected if the
results disagrees with or contradicts preferred theory or not favor with the editors,
the referees, or other expert censors; every scientist bears a moral responsibility in
her or his research, can not allow her/his research work injurious to mankind.
Recently, Prof. Dimtri Rabounski, the chief editor of Progress in Physics ,
issued an open letter Declaration of academic freedom: scientific human
rights in Vol. 1,2006, to clarify those opinions for scientific research. This is a
precondition for sciences in the 21st century and the harmonizing development of
the human society with the natural world, also an indispensable path for developing
mathematics of 21st century and bringing benefit to mankind by mathematics.
The Mathematics of 21st Century–A Collection of Selected Papers is
a serial collections in publication. Papers on the following 6 fields are welcome.
L.F.Mao
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . i
_ _QXVI _ _vZX . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
2. /\</7 o=m !%-'I -Smarandache = 1/\ . . . . . . . . . . . . . . . . . 24
D = Smarandache ℄7\ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5. A multi-space model for Chinese bid evaluation with analyzing . . . . . . . . . . . . . . 84
Æ L7,sI == 1 q^P A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
6. Æ L7,sI = I q^P A . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
A mathematical model for Chinese bid evaluation with its solution analyzing . . 104
avh D = !I . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 122
8. Automorphisms and enumeration of maps of Cayley graphs of a finite group147
10. 2 = I $ R . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
The mathematical steps of mine. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .183
Linfan Mao
maolinfan@163.com
>5eF2t>Be
#hW?_'I
z {
^ A&|'p1rr FH G&4;'
. S "
BFHr J℄+q Z'r 7J
N
1
Reported at the 2th Conference on Combinatorics and Graph Theory of China, Aug. 16-
19 2006, Tianjing, P.R.China
2
e-print: arXiv: math.GM/0606702 and Sciencepaper Online:200607-128
2 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
o
N ? - m 2 L)BFH0w 7 Æ
H'Okr S aR f
[
! ℄2HBxÆ ' 9 ZJ' r J C`f! FHuw
z
7 Æ
HOk / ' N L)8 3 A,j4N w 7 ))
)Z0 S 2005 R\FH N ) / o N L)B
21 4;FHI Æ \'℄2ZOkÆUt'℄
l R
Key words: combinatorial speculation, combinatorial conjecture for math-
ematics, Smarandache multi-space, M-theory, combinatorial cosmos.
Modern science has so advanced that to find a universal genus in the society of
sciences is nearly impossible. Thereby a scientist can only give his or her contribution
in one or several fields. The same thing also happens for researchers in combinatorics.
Generally, combinatorics deals with twofold:
(i) This conjecture assumes that one can select finite combinatorial rulers and
axioms to reconstruct or make generalization for classical mathematics.
4 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Therefore, a branch in mathematics can not be ended if it has not been com-
binatorization and all mathematics can not be ended if its combinatorization has
not completed. There is an assumption in one’s realization of our world, i.e., every
science can be made mathematization. Whence, we similarly get the combinatorial
conjecture for science.
S = (· · · , A, a, B, a−1 , C, · · ·),
a1 b1 a−1 −1 −1 −1 −1 −1
1 b1 a2 b2 a2 b2 · · · an bn an bn ;
a1 a1 a2 a2 · · · an an .
(i) αP = P −1 α;
For a given map M = (Xα,β , P), it can be shown that M ∗ = (Xβ,α , Pαβ) is also
a map, call it the dual of the map M. The vertices of M are defined as the pairs
of conjugatcy orbits of P action on Xα,β by the condition (i) and edges the orbits
of K on Xα,β , for example, for ∀x ∈ Xα,β , {x, αx, βx, αβx} is an edge of the map
M. Define the faces of M to be the vertices in the dual map M ∗ . Then the Euler
characteristic χ(M) of the map M is
where,ν(M), ε(M), φ(M) are the number of vertices, edges and faces of the map M,
respectively. For each vertex of a map M, its valency is defined to be the length of
the orbits of P action on a quadricell incident with u.
6 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
For example, the graph K4 on the tours with one face length 4 and another 8
shown in Fig.2.1
can be algebraically represented by (Xα,β , P) with Xα,β = {x, y, z, u, v, w, αx, αy, αz,
αu, αv, αw, βx, βy, βz, βu, βv, βw, αβx, αβy, αβz, αβu, αβv, αβw} and
S 2 = {(x, y, z) ∈ R3 |x2 + y 2 + z 2 = 1}
along the orientation N. The map N :S → S 2 , thus defined, is called the Gauss
mapping.
Combinatorial Speculations and the Combinatorial Conjecture for Mathematics 7
we know that for a point P ∈ S such that the Gaussian curvature K(P ) 6= 0
and V a connected neighborhood of P with K does not change sign,
N(A)
K(P ) = lim ,
A→0 A
where A is the area of a region B ⊂ V and N(A) is the area of the image of B by
the Gauss mapping N : S → S 2 ([2],[4]). Now the questions are
(i) what is its combinatorial meaning of the Gauss mapping? How to realizes it
by combinatorial maps?
(ii) how can we define various curvatures for maps and rebuilt the results in the
classical differential geometry?
Z Z
Kdσ = 2πχ(S),
S
(i) How can we define various metrics for combinatorial maps, such as those of
length, distance, angle, area, curvature,· · ·?
(ii) Can we rebuilt the Gauss-Bonnet theorem by maps for dimensional 2 or
higher dimensional compact manifolds without boundary?
One can see references [15] and [16] for more open problems for the classical
mathematics motivated by this CCM Conjecture, also raise new open problems for
his or her research works.
n
[
(Ai , O(Ai))
i=1
Zi+1 = P i (Z1 )
n
[
Zi
i=1
is an n multi-algebra system .
The conception of multi-algebra systems can be extensively used for general-
izing conceptions and results in the algebraic structure, such as those of groups,
rings, bodies, fields and vector spaces, · · ·, etc.. Some of them are explained in the
following.
n
e = S G be a complete multi-algebra system with a binary
Definition 3.2 Let G i
i=1
e = {× , 1 ≤ i ≤ n}. If for any integer i, 1 ≤ i ≤ n, (G ; × ) is a
operation set O(G) i i i
e and any two binary operations
group and for ∀x, y, z ∈ G ×and ◦ , × =6 ◦,
there is one operation, for example the operation × satisfying the distribution law
to the operation ◦ provided their operation results exist , i.e.,
x × (y ◦ z) = (x × y) ◦ (x × z),
(y ◦ z) × x = (y × x) ◦ (z × x),
e is called a multi-group.
then G
Combinatorial Speculations and the Combinatorial Conjecture for Mathematics 9
e O(G)), G
For a multi-group (G, f ⊂ G
e and O(G
f ) ⊂ O(G),
e call (G
f , O(G
f ))
1 1 1 1
e O(G)) if G
a sub-multi-group of (G, f is also a multi-group under the operations in
1
f ), denoted by G
O(G e For two sets A and B, if A T B = ∅, we denote the
f G.
1 1
S L
union A B by A B. Then we get a generalization of the Lagrange theorem of
finite group.
f of a finite multi-group G,
Theorem 3.1([18]) For any sub-multi-group H e there is
e such that
a representation set T , T ⊂ G,
M
e =
G f
xH.
x∈T
f of G,
For a sub-multi-group H e × ∈ O(H)
f and ∀g ∈ G(×),
e f
if for ∀h ∈ H,
f
g × h × g −1 ∈ H,
f a normal sub-multi-group of G.
then call H e An order of operations in O(G)
e is said
−
→ e
an oriented operation sequence, denoted by O (G). We get a generalization of the
Jordan-Hölder theorem for finite multi-groups.
n
S
Theorem 3.2([18]) For a finite multi-group G e = Gi and an oriented opera-
i=1
−
→ e
tion sequence O (G), the length of maximal series of normal sub-multi-groups is a
e itself.
constant, only dependent on G
e Then G
In Definition 2.2, choose n = 2, G1 = G2 = G. e is a body. If (G ; × )
1 1
e is a field. For multi-algebra
and (G2 ; ×2 ) both are commutative groups, then G
system with two or more operations on one set, we introduce the conception of
multi-rings and multi-vector spaces in the following.
m
S
e =
Definition 3.3 Let R Ri be a complete multi-algebra system with double binary
i=1
e = {(+ , × ), 1 ≤ i ≤ m}. If for any integers i, j, i 6= j, 1 ≤ i, j ≤
operation set O(R) i i
e
m, (Ri ; +i , ×i ) is a ring and for ∀x, y, z ∈ R,
(x +i y) +j z = x +i (y +j z), (x ×i y) ×j z = x ×i (y ×j z)
and
10 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
x ×i (y +j z) = x ×i y +j x ×i z, (y +j z) ×i x = y ×i x +j z ×i x
Similar to multi-groups, we can also obtain results for multi-rings and multi-
vector spaces to generalize classical results in rings or linear spaces. Certainly, results
can be also found in the references [17] and [18].
+∞
T
Then B(ǫn , xn ) only has one point.
n=1
m
S
f =
Theorem 3.4([19]) Let M Mi be a completed multi-metric space and T a
i=1
f . Then
contraction on M
1 ≤# Φ(T ) ≤ m.
(ii) The axiom that through any two distinct points there exists one line
passing through them is now replaced by; one s-line and no s-line. Notice that
through any two distinct s-points D, E collinear with one of A, B and C, there is
one s-line passing through them and through any two distinct s-points F, G lying
on AB or non-collinear with one of A, B and C, there is no s-line passing through
them such as those shown in Fig.3.1(b).
Definition 3.7 For a combinatorial map M with each vertex valency≥ 3, associates
4π
a real number µ(u), 0 < µ(u) < ρM (u)
, to each vertex u, u ∈ V (M). Call (M, µ) a
map geometry without boundary, µ(u) an angle factor of the vertex u and orientablle
or non-orientable if M is orientable or not.
Definition 3.8 For a map geometry (M, µ) without boundary and faces f1 , f2 , · · · , fl
∈ F (M), 1 ≤ l ≤ φ(M) − 1, if S(M) \ {f1 , f2 , · · · , fl } is connected, then call
(M, µ)−l = (S(M) \ {f1 , f2 , · · · , fl }, µ) a map geometry with boundary f1 , f2 , · · · , fl ,
where S(M) denotes the locally orientable surface underlying map M.
respectively.
Generally, we can ever generalize the ideas in Definitions 3.7 and 3.8 to a metric
space and find new geometries.
Definition 3.9 Let U and W be two metric spaces with metric ρ, W ⊆ U. For
∀u ∈ U, if there is a continuous mapping ω : u → ω(u), where ω(u) ∈ Rn for an
integer n, n ≥ 1 such that for any number ǫ > 0, there exists a number δ > 0 and a
point v ∈ W , ρ(u − v) < δ such that ρ(ω(u) − ω(v)) < ǫ, then U is called a metric
pseudo-space if U = W or a bounded metric pseudo-space if there is a number N > 0
such that ∀w ∈ W , ρ(w) ≤ N, denoted by (U, ω) or (U − , ω), respectively.
For the case n = 1, we can also explain ω(u) being an angle function with
14 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
0 < ω(u) ≤ 4π as in the case of map geometries without or with boundary, i.e.,
ω(u)(mod4π), if u ∈ W,
ω(u) =
2π, if u ∈ U \ W (∗)
and get some interesting metric pseudo-space geometries. For example, let U =
P
W = Euclid plane = , then we obtained some interesting results for pseudo-plane
P
geometries ( , ω) as shown in the following([17]).
P
Theorem 3.6 In a pseudo-plane ( , ω), if there are no euclidean points, then all
P
points of ( , ω) is either elliptic or hyperbolic.
Theorem 3.7 There are no saddle points and stable knots in a pseudo-plane plane
P
( , ω).
ρ0 ρ0
ω(ρ, θ) = 2(π − ) or ω(ρ, θ) = 2(π + )
θ0 ρ θ0 ρ
such that
ρ = ρ0
P
is a limiting ring in ( , ω).
1 ∂ 2 F 2 (y + su + tv)
gy (u, v) = |t=s=0
2 ∂s∂t
is positive definite and a Finsler manifold is a manifold M m endowed with a function
F : T M m → [0, +∞) such that
Combinatorial Speculations and the Combinatorial Conjecture for Mathematics 15
S
(i) F is smooth on T M m \ {0} = {Tx M m \ {0} : x ∈ M m };
(ii) F |Tx M m → [0, +∞) is a Minkowski norm for ∀x ∈ M m .
The progress of theoretical physics in last twenty years of the 20th century enables
human beings to probe the mystic cosmos: where are we came from? where are we
going to?. Today, these problems still confuse eyes of human beings. Accompanying
with research in cosmos, new puzzling problems also arose: Whether are there finite
or infinite cosmoses? Is just one? What is the dimension of our cosmos? We do not
even know what the right degree of freedom in the universe is, as Witten said([3]).
We are used to the idea that our living space has three dimensions: length,
breadth and height, with time providing the fourth dimension of spacetime by Ein-
stein. Applying his principle of general relativity, i.e. all the laws of physics take
the same form in any reference system and equivalence principle, i.e., there are no
difference for physical effects of the inertial force and the gravitation in a field small
enough., Einstein got the equation of gravitational field
1
Rµν − Rgµν + λgµν = −8πGTµν .
2
α
where Rµν = Rνµ = Rµiν ,
α ∂Γiµi ∂Γiµν
Rµiν = ν
− i
+ Γαµi Γiαν − Γαµν Γiαi ,
∂x ∂x
16 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
2 2 2 2 dr 2
ds = −c dt + a (t)[ 2
+ r 2 (dθ2 + sin2 θdϕ2 )]
1 − Kr
and
R2 (t)
gtt = 1, grr = − , gφφ = −r 2 R2 (t) sin2 θ.
1 − Kr 2
The standard model of cosmos enables the birth of big bang model of our cosmos
in thirties of the 20th century. The following diagram describes the developing
process of our cosmos in different periods after the big bang.
The M-theory was established by Witten in 1995 for the unity of those five already
known string theories and superstring theories, which postulates that all matter
and energy can be reduced to branes of energy vibrating in an 11 dimensional space,
then in a higher dimensional space solve the Einstein’s equation of gravitational
field under some physical conditions ([1],[3],[22]-[23]). Here, a brane is an object or
subspace which can have various spatial dimensions. For any integer p ≥ 0, a p-
brane has length in p dimensions. For example, a 0-brane is just a point or particle;
a 1-brane is a string and a 2-brane is a surface or membrane, · · ·.
We mainly discuss line elements in differential forms in Riemann geometry. By
a geometrical view, these p-branes in M-theory can be seen as volume elements
in spaces. Whence, we can construct a graph model for p-branes in a space and
combinatorially research graphs in spaces.
Definition 4.1 For each m-brane B of a space Rm , let (n1 (B), n2 (B), · · · , np (B))
be its unit vibrating normal vector along these p directions and q : Rm → R4 a
continuous mapping. Now construct a graph phase (G, ω, Λ) by
and
where
1 m m+2
φ(t) = (ln K(t) − 3λ0 t), S 2 = K m−1 e− m−1 λ0 t
m−1
and
λ0 ζrc
K(t) =
(m − 1) sin[λ0 ζ|t + t1 |]
q
with ζ = 3 + 6/m. This solution is obtainable from space-like brane solution and
if the proper time ς is defined by dς = S 3 (t)dt, then the conditions for expansion
dS d2 S
and acceleration are dς
> 0 and dς 2
> 0. For example, the expansion factor is 3.04
if m = 7, i.e., a really expanding cosmos.
According to M-theory, the evolution picture of our cosmos started as a perfect
11 dimensional space. However, this 11 dimensional space was unstable. The original
11 dimensional space finally cracked into two pieces, a 4 and a 7 dimensional cosmos.
The cosmos made the 7 of the 11 dimensions curled into a tiny ball, allowing the
remaining 4 dimensional cosmos to inflate at enormous rates.
[ [
Ω= Ωi , ∆= Oi
i≥0 i≥0
and T = {ti ; i ≥ 0} are respectively called the cosmos, the operation or the time set
with the following conditions hold.
in the cosmos (Ωi , Oi ) and for two sub-cosmoses (Ωij , Oi ) and (Ωil , Oi), if Ωij ⊃ Ωil ,
then there is a homomorphism ρΩij ,Ωil : (Ωij , Oi ) → (Ωil , Oi ) such that
(i) for ∀(Ωi1 , Oi), (Ωi2 , Oi)(Ωi3 , Oi) ∈ (S), if Ωi1 ⊃ Ωi2 ⊃ Ωi3 , then
By this definition, there is just one cosmos Ω and the sub-cosmos sequence is
R4 ⊃ R3 ⊃ R2 ⊃ R1 ⊃ R0 = {P } ⊃ R− − −
7 ⊃ · · · ⊃ R1 ⊃ R0 = {Q}.
2
X
2 2 2 2
ds = −n (t, y, z)dt + a (t, y, z)d +b2 (t, y, z)dy 2 + d2 (t, y, z)dz 2
k
P2
where d k represents the 3-dimensional spatial sections metric with k = −1, 0, 1 re-
spective corresponding to the hyperbolic, flat and elliptic spaces. For 5-dimensional
spacetime, deletes the undefinite z in this metric form. Now consider a 4-brane
moving in a 6-dimensional Schwarzschild-ADS spacetime, the metric can be written
as
2
z2 X
ds2 = −h(z)dt2 + d +h−1 (z)dz 2 ,
l2 k
where
2
X dr 2
d = + r 2 dΩ2(2) + (1 − kr 2 )dy 2
k 1 − kr 2
and
z2 M
− 3.
h(z) = k +
l2 z
Then the equation of a 4-dimensional cosmos moving in a 6-spacetime is
R̈ Ṙ κ4(6) 2 κ4(6) κ 5
+ 3( )2 = −3
2 ρ − ρp − 3 2 − 2
R R 64 8 R l
by applying the Darmois-Israel conditions for a moving brane. Similarly, for the
case of a(z) 6= b(z), the equations of motion of the brane are
q
d d˙Ṙ − dR̈
2
1 + d2 Ṙ2 ∂z n 2
κ4(6)
q − (dṅṘ + − (d∂z n − n∂z d)Ṙ ) = − (3(p + ρ) + p̂),
1 + d2 Ṙ2 n d 8
q
∂z a κ4(6)
1 + d2 Ṙ2 = − (ρ + p − p̂),
ad 8
q
∂z b κ4(6)
2 2
1 + d Ṙ = − (ρ − 3(p − p̂)),
bd 8
Combinatorial Speculations and the Combinatorial Conjecture for Mathematics 21
1
T̂µν = hνα Tµα − T hµν
4
with Tµα = diag(−ρ, p, p, p, p̂) and the Darmois-Israel conditions
For example, we have gotten the following result for graphs in spaces in [17].
Further research of the combinatorial cosmos will richen the knowledge of com-
binatorics and cosmology, also get the combinatorization for cosmology.
References
[1] I.Antoniadis, Physics with large extra dimensions: String theory under experi-
mental test, Current Science, Vol.81, No.12, 25(2001),1609-1613
[2] S.S.Chern and W.H.Chern, Lectures in Differential Geometry(in Chinese), Peking
University Press, 2001.
[3] M.J.Duff, A layman’s guide to M-theory, arXiv: hep-th/9805177, v3, 2 July(1998).
[4] B.J.Fei, Relativity Theory and Non-Euclid Geometries, Science Publisher Press,
Beijing, 2005.
22 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
kvYk)|.O2t
Smarandche eSju ∗
gG s
(. {G~EGtd{GNj~
100080) U
'℄z m4;G&Rw/
0Æ
H=℄
.
e℄
02
rIÆ
H
k~ 4Æ
H=
%*
'Trm4;GG } 1 m7
0Æ
00
2 Theory of everything 2
/ M-
0'ÆÆ
H=
)
,#I e℄
0'N0 rFH 2
=:pIu&Bj'FH
0mT>'Jm7G&℄4;'
Æ
H`fIl , hOkuI Æ 'ha rFH=:p
IlG&℄4;'FH
0+:Æ
H=P y
0u M-
0I'
)FH=[I℄ 2 a " {G&℄4; | i
FH'
0m7Smarandache3A
0hjm'B- 7
0Æ
H=Sk~'S {℄ 2 FH
0h`f}Q
0Æ
'
[
~Z S&C ' 9ZJ' re,X ℄
0' " g
}
Ok'9Z℄L)9ZTLa0 9 ZOk ), /ay N
xX
[
FHL) hÆ / l#'l; S m 9 Z r S 7a
N [ km
< '℄ ?: [16] / ' Y
m
The Mathematics of 21st Century Aroused by
Theoretical Physics
Abstract. Begin with 20s in last century, physicists devote their works to
establish a unified field theory for physics, i.e., the Theory of Everything. The
aim is near in 1980s while the String/M-theory has been established. They
also realize the bottleneck for developing the String/M-theory is there are no
applicable mathematical theory for their research works. the Problem is
that 21st-century mathematics has not been invented yet , They said. In fact,
mathematician has established a new theory, i.e., the Smarandache multi-space
theory applicable for their needing while the the String/M-theory was estab-
lished. The purpose of this paper is to survey its historical background, main
thoughts, research problems, approaches and some results based on the mono-
graph [16] of mine. We can find the central role of combinatorial speculation
in this process.
§1. vÆ~k81sS9
Xj*e
1.1.
eh1^Ctwf"t = x, = y = z }%&eh1
,C
}&aI[swf d L (x, y, z) W h1^Ct#1wfwK"
#1H% t}%&W h1
,^C d L (x, y, z, t) wfeh1>Hv:
1.1#1
%&HvI A }p+u%&# 8= W B rh%$1
&W B= %&Mv (section)
1.1. d LI = #1Hv
p+ = o%9M{p+ = W B 1Vv W h11% 0=
p+ = 11 3 & = wK)#1H}1 4 & =, l1 Einstein = #
>
26 Linfan Mao: H'^5<GI1/
1.2. &wju
&pp+IJ = >koN1 Einstein =79rz </(?7BW B=)
7 /\; /\r%W B CdP%&℄UP O h = yn℄ O 1 &
1rL Qy< = Hv' &yn = L = ℄1 o B7
_ 8 V 3 | - O hK 8 V _ B ` ; 5 . < 4
u
L℄ 137 . = vr BVv = X j W B
&p Hawking =>H 7oL +UPK 7 G%p W= OK ([6] − [7])w
1.2 b*
1.2. K 7 G% = p W
1.3 7 WJwEBW B F ) 7 ~( = vV+ &/ oVvp+>
e ;8= W B L
1.3. W B) 7 = L
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 27
we
Robertson-Walker ;8 B79r z= % ; ℄ d ~P
dr 2
ds2 = −c2 dt2 + a2 (t)[ + r 2 (dθ2 + sin2 θdϕ2 )].
1 − Kr 2
1
q q
3± 3m(m + 2) 3∓ 3m(m + 2)
µ= ,ν = ,
3(m + 3) 3(m + 3)
} Kasner ^ F
ds2 = −dt2 + a(t)2 d2R3 + b(t)2 ds2 (T m )
1.4. = p W
&p M /\WB~(# = &℄r1&I1 11 &= )7~(k
> 7 4 & z [&ut = !
Æi J 7 & z [&}utua`_
r2oVv ;8= 4 &g>WB [V: = 7 & >WB 4 &g>WB
=
C9_ Einstein 79r z i 7 & >W B =
C9_ A "Æ z
F ;8 Kv &O\
j 1.1 M-
0')7℄m ;m0s℄m 7 |A R ' 4 |A R 7 4
1
1 m m+2
φ(t) = (ln K(t) − 3λ0 t), S 2 = K m−1 e− m−1 λ0 t
m−1
V
λ0 ζrc
K(t) = ,
(m − 1) sin[λ0 ζ|t + t1 |]
1 + 1 = 2, 2 + 1 = 3, 3 + 1 = 4, 4 + 1 = 5, · · · ;
#z ;8 B
1 + 2 = 3, 1 + 3 = 4, 1 + 4 = 5, 1 + 5 = 6, · · ·
∗(x, y) = z.
2.1. ;T
f zq
J / ;d :1 1 − 1 = " S d : = % G[S]PuwK2oX 8 %&
e \ 1 + 1 = 3 = p[I2o
,L(
1 + 1, 2 + 1, · · · >' PL P$
|
} 2.1 ℄mFe (A; ◦) {℄' ℄ml ̟ : A → A .&B
∀a, b ∈ A ( Z a ◦ b ∈ A
℄mz℄'y c ∈ A, c ◦ ̟(b) ∈ A &j, ̟|
{℄l
2o
v- ;8 ,K<P + II (A; ◦) V G[A] = <I = %&OK
j 2.1 (A; ◦) {℄mFe
_}
q (A; ◦) ..
G[A] 7℄ms' 3 2- jw;m60
℄
i
m.&
60 " A' {&B 2- Q " b _
d PLS&^ = [r
,^C% ; LS =z )F R
bLp[OK 2.2
(
B |S| = 3 = ? ; p[sI
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 33
2.2. 3 &^ = ) q p[
F 2.2(a) L
F 2.2(b) L
F1 ≤ i ≤ n
u = 1 = -K2o
,[%XÆE
J+ I 7 kyZ[1
= i;8= k= y= Z = [1 = P ;8 U: =+ IO3
m
i Z
} 2.3 Re = S R {℄ms ' m- 3 AwB
F i, j, i 6= j, 1 ≤
i, j ≤ m, (R ; + , × ) {℄mwB
y ∀x, y, z ∈ R
e ( Z&j' PTv
i=1
i i i
p
34 Linfan Mao: H'^5<GI1/
(x +i y) +j z = x +i (y +j z), (x ×i y) ×j z = x ×i (y ×j z)
a0
x ×i (y +j z) = x ×i y +j x ×i z, (y +j z) ×i x = y ×i x +j z ×i x,
|
{℄m
{℄m
x
e
R
3
m- 3 B
F i, 1 ≤ i ≤ m, (R; +i , ×i ) 7℄mx
| e
R
Z
m-
B
F i, j, 1 ≤ i, j ≤ k 0
y ∀a, b, c ∈ Ve , k , k ∈ Fe , ( ZBj' PT
i=1
1 2
F 2o #9 M- /\ 7= 1 q%$1% ;= 1 q
j 2.2 P = (x , x , · · · , x ) { n- |W8A R / '℄m0
B
F
R
n
1 2 n
s, 1 ≤ s ≤ n 0 P
℄m s ' G A
; R 7= q/ H (x , x , · · · , x )
,M*%
n
1 2 n
(x1 , x2 , · · · , xn ) = x1 e1 + x2 e2 + · · · + xn en
uL a , a , · · · , a ' ;
1 2 s
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 35
······························;
R− − − −
0 ⊂ R1 ⊂ · · · ⊂ Rn−1 ⊂ Rn
.& R −
n = {P } w G A R '|F{ n − i 1 ≤ i ≤ n
−
i
§3.
C CH:
3.1. Smarandache H:
; E zq
o7 % %q'℄0n ℄` % %uo7' % % &N i
W 500W,$po% & v ; > E 80V:
%0
Pe
d%u:1%&}q% } h I( 0 9P^CNTy0 ! { E 80
0 % & kL /P1LpXC>d* + t5 E 804 ;8= 0/sI
1=1 " uh g !k-'Lobachevshy [ BolyaiRiemann N^CV
= *b + 5 E 80 ; /do^C = * N1
Lobachevshy-Bolyai *o7 % %q'℄0) ` % %uo7'
i
% % &N
i
Riemann *o7 % %q'℄0 % %uo7' % % &N i
Riemann * ;8= 9 = _5uPF
,?7,f℄k > Einstein C
%>U d \ 7= 79#!79r
%&,f1
D 2o1
,[%XdH50 ;8 k = ℄ i S_L = 5
℄Lobachevshy-Bolyai ℄Riemann ℄[ Finsler ℄/Q [16] 7PwB
&1q1q = Pw ; 9P:C Smarandache ℄QX i ?7( ^ 1℄
1 d Smarandache ℄
%&5SwKK%NsS( ^ 1℄
Smarandache ℄0R U 04V4Qk4[Q4 > T ; N
&pV= 0?7> 7 U 04^C = 0%501-4,Kvq
℄%y0
(P − 1) ) ℄` % %Æd % %q'℄0.&fd0' % %vu `
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 37
i} |
} 3.1 ℄mt {Smarandache\7'h
℄mA /
) !
' ' ) a 2 aT0 ! d i} | d }
℄m
p Smarandache \7t'4 {Smarandache4
Kv &5 V ,Kv?_NM{ Smarandache ℄1;J " u =
l 3.1 A, B, C %54v}&V2T=H R0&T%54vL A, B, C
7 IV%& H=& T}2o ;8 %& Smarandache ℄5%V5℄0/s
IUAI> 7 ?y01 Smarandache R=
38 Linfan Mao: H'^5<GI1/
5 E 80Pu%f℄` % %q'℄0 ℄`' % %`>
(i)
rd` % %bb + * & T L
L H C V4sP & T AB J /
Lq℄%&
i
Vu AB =HIVL%y & T4sP Li
L&T AB =q℄%H yV " u
4sP L =& Tw 3.2(a) b*
i
(ii) 0f
m
0 ℄` % %Pu%f
m
0 ℄
i
`%%' % %b + J /
L?& H D, E 1 D, E V A, B, C 7=%H
i
w H C 2Tw 3.2(b) b*IVL%y & T
L D, E id q/?&u & T
AB H F, G VV A, B, C 7 %& H 2T = ?& H G, H yV " u
Leo =&
Tw 3.2(b) b*
3.2. s- & T = [
3.2+y/C
: 7 %&
F | =R /M;m' {}'
\r }p 2p
\ o
m<;m< " A m℄m ; ~ G&'
\r }p q m<
o _
;m< m3
K' Wuh&
r {7,l7d{ p
i
{ 7,l7d{ q 1
R [ = /Q1%& & Pav = [
T avp W %ek~ 8
oH 1H[ =z [& > #9 ℄v1
R [ =
i
A3N * }1V
R [ = w 3.3 b*> 7 (a) %6~ =, v(b) % _
k =
A3N *
3.3.
A3N *= r
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 39
[
tvy' . X '℄m( + P w4 L 't
1 Æt
2
Q
α,β
+j 2
Ψ = hα, β, Pi X o
J α,β
)2o ;8
|V (M)| − |E(M)| + |F (M)| = χ(M),
1 V (M), E(M), F (M) NM* D M =QH E[vχ(M ) M* D
M = Euler %>I '> P D M bPx = &av = Euler %~%&
i
D M = (Xα,β , P) 1 7,'z 1 {k ΨI = hαβ, Pi u Xα,β 1
K =
}~%7,'
C D M = (X , P) M*wK 1
α,β
[
Xα,β = {e, αe, βe, αβe},
e∈{x,y,z,w}
3.4 7=D L 2 QH v 1 = {(x, y, z, w), (αx, αw, αz, αy)}, v2 = {(αβx, αβy, βz,
βw), (βx, αβw, αβz, βy)}, 4 yE e 1 = {x, αx, βx, αβx}, e2 = {y, αy, βy, αβy}, e3 =
{z, αz, βz, αβz}, e4 = {w, αw, βw, αβw} , 2 &v f = {(x, αβy, z, βy, αx, αβw),
2
(βx, αw, αβx, y, βz, αy)}, f2 = {(βw, αz), (w, αβz)} > Euler %%
χ(M) = 2 − 4 + 2 = 0
v = Px
+℄T/\</j = z2oz
,%'v D V u1, h= av
= Px u = av = Px R 0wK
} 3.3 j G '60.rpY V (G) = S V , B
F 1 ≤ i, j ≤ k
i
S , S , · · · , S ' 3 s
2 2
hVi i
|
1 2 k
S , S , · · · , S ' ;d q/ I j, 1 ≤ j ≤ k S 1 S
i1 i2 ik =V 1#~% G u ij ij+1
S , S , · · · , S = O
3 s<P℄vLKv = O\
1 2 k
(i) G 7`'
i=1
i
(ii) B
∀v ∈ V (G ), N (x) ⊆ (
S i+1
V (G )).
i G j
j=i−1
3.3CH:
,j4 1u D 3? = Smarandache ℄#"1:I _ _IV
J I = * D ℄ = =Lu/Q [13] 7 p
℄ku/Q [14] − [16] 7
oN1 [16] [sBJ 0= j> R 0wK
} 3.4 ,j M ;m60 u, u ∈ V (M) as℄m+F µ(u), µ(u)ρ (u)(mod2π) M
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 41
|%H℄m'H4mD
{℄m,j4 {0 'Og F: B' i
(M, µ)
|d,j4_W'p_W
µ(u) u G B'
3.7. %&4v D ℄ = 5 V
3.8 7 s
B 3.7 R 0 = 4v D ℄ 7& T = [r+U D 3.9 7
s
B4v D ℄ 7= ;h Er
3.8. 4v D ℄ =& T
3.9. 4v D ℄ =h Er
§4.NneSH:
Einstein = E0U d \ a B1u79
CK1a = / CT"V5
%Hu%$>e 7 *
;8! %D ℄ = QX%$
,%' DR 0P%& ^
1u ^ 1 = l& H
T%&[ i ?7( ^ 1℄
5 8;(&18 $&1.+
} 4.1 U ρ W ⊆ U '2<
∀u ∈ U 3"?;(
Æ1ÆiJ(H'^5<GI –Smarandche 4 BÆ1 43
0:=4-"?;(7 A/);(%
'2<B7
ω : u → ω(u)
6# 6#'2<$C7
n, n ≥ 1 ω(u) ∈ Rn
3 ! !8;(9&1.+
ǫ>0
U = W *8 3"?C7
δ>0
8;(>,9&1.+ *8
∀w ∈ W , ρ(w) ≤ N
U
U
6# v ∈ W , ρ(u − v) < δ
(U, ω)
−
ρ(ω(u) − ω(v)) < ǫ
(U , ω)
N > 0
w^ F (x , y ) = 0 wB
∀(x, y) ∈ D
0 0
ω(x, y) dy
(π − )(1 + ( )2 ) = sign(x, y).
2 dx
H ∀u ∈ M b U = W = M n = 1 V ω(u) %%&CrTI}2o ;8 Nr
m m
M = (Nr℄ (M , ω)
m m
M → [0, +∞)
m
1 ∂ 2 F 2 (y + su + tv)
gy (u, v) = |t=s=0
2 ∂s∂t
.
=d ~JTvq gy : M m × M m → R 1 R=
Finsler)=%$l1
TB Minkowski v I = Nrrs$Bl1Nr M m
>U1 = %&TI F : T M m → [0, +∞) Pe \ wKy<
44 Linfan Mao: H'^5<GI1/
(i) Fu T M \ {0} = S{T M \ {0} : x ∈ M } Cr
m
x
m m
(ii) d q/ ∀x ∈ M F | m
→ [0, +∞) 1%& Minkowski v I
Tx M m
R
D
Riemann 4
m
M
j 4.4 ~?A4 (M , ω)℄ ,Smarandache 4 /
Finsler 4 R
§5.pz[{ | u^S9
m !%-' = /\</%Ijp
B ) zj = 1q 12oZDo
&
juXjS9 5.1 pCmw 7{*9I! hTw 7 A 7\uh
rAp|
i
#l
,L5I&n℄2 llo}L h &W B l1/Q [10] 74sWB
= > H "1</Q;JK = > H Einstein a B1u79
CK1a
= ; /0B51u %-Q 7 1V " u = %>e = G ^ p+
Z>ee: 8W lQ 7 ; U i V1>5\1&1z1 ? &1=
8 4 &1/Q [16] 7d*Ld Xs
J ℄ 7 4CU[
sa=zq &%P%do R= :_F}%'v = ja1:{ Bd ( ^
1 (M , ω) [sj P } 4 & 1 = j
, o P/ uIo}4s
m
aP`
[1] A.D.Aleksandrov and V.A.Zalgaller, Intrinsic Geometry of Surfaces, American
Mathematical Society, Providence, Rhode Island, 1976.
[2] I.Antoniadis, Physics with large extra dimensions: String theory under experi-
mental test, Current Science, Vol.81, No.12, 25(2001),1609-1613
[3] }[}&e, xY4Ld, :_ )
*, 2001.
46 Linfan Mao: H'^5<GI1/
[4] M.J.Duff, A layman’s guide to M-theory, arXiv: hep-th/9805177, v3, 2 July(1998).
[5] 3{, &B0uVW4,
*, :_, 2005.
[6] S.Hawking, )AE-, n
*,2005.
[7] S.Hawking, ~'w 7, n
*,2005.
[8] H.Iseri, Smarandache Manifolds, American Research Press, Rehoboth, NM,2002.
[9] H.Iseri, Partially Paradoxist Smarandache Geometries, http://www.gallup.unm.
edu/s̃marandache/Howard-Iseri-paper.htm.
[10] M.Kaku, Hyperspace: A Scientific Odyssey through Parallel Universe, Time
Warps and 10th Dimension, Oxford Univ. Press.
[11] L.Kuciuk and M.Antholy, An Introduction to Smarandache Geometries, Math-
ematics Magazine, Aurora, Canada, Vol.12(2003)
[12] Y.P.Liu, Enumerative Theory of Maps, Kluwer Academic Publishers, Dordrecht/
Boston/ London, 1999.
[13] L.F.Mao, On Automorphisms groups of Maps, Surfaces and Smarandache ge-
ometries, Sientia Magna, Vol.1(2005), No.2, 55-73.
[14] L.F.Mao, A new view of combinatorial maps by Smarandache’s notion, arXiv:
math.GM/0506232.
[15] L.F.Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geome-
tries, American Research Press, 2005.
[16] L.F.Mao, Smarandache multi-space theory, Hexis, Phoenix, AZ 2006.
[17] F.Smarandache, Mixed noneuclidean geometries, eprint arXiv: math/0010119,
10/2000.
[18] F.Smarandache, A Unifying Field in Logics. Neutrosopy: Neturosophic Proba-
bility, Set, and Logic, American research Press, Rehoboth, 1999.
[19] F.Smarandache, Neutrosophy, a new Branch of Philosophy, Multi-Valued Logic,
Vol.8, No.3(2002)(special issue on Neutrosophy and Neutrosophic Logic), 297-
384.
[20] F.Smarandache, A Unifying Field in Logic: Neutrosophic Field, Multi-Valued
Logic, Vol.8, No.3(2002)(special issue on Neutrosophy and Neutrosophic Logic),
385-438.
A New View of Combinatorial Maps by Smarandache’s Notion∗ 47
Linfan MAO
(Chinese Academy of Mathematics and System Science, Beijing 100080, P.R.China)
e-mail: maolinfan@163.com
1
Reported at the Chinese Academy of Mathematics and System Science and the Department of
Applied Mathematics of Beijing Jiaotong University.
2
e-print: arXiv: math.GM/0506232.
48 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Fig.1
(i) αP = P −1 α;
For a given map M = (Xα,β , P), it can be shown that M ∗ = (Xβ,α , Pαβ) is also
a map, call it the dual of the map M. The vertices of M are defined as the pairs
of conjugatcy orbits of P action on Xα,β by the condition (Ci) and edges the orbits
of K on Xα,β , for example, for ∀x ∈ Xα,β , {x, αx, βx, αβx} is an edge of the map
M. Define the faces of M to be the vertices in the dual map M ∗ . Then the Euler
characteristic χ(M) of the map M is
A New View of Combinatorial Maps by Smarandache’s Notion∗ 49
where, ν(M), ε(M), φ(M) are the number of vertices, edges and faces of the map
M, respectively. For each vertex of a map M, its valency is defined to be the length
of the orbits of P action on a quadricell incident with u.
Fig.2
For example, the graph K4 on the tours with one face length 4 and another 8 ,
shown in the Fig.2, can be algebraically represented as follows.
A map (Xα,β , P) with Xα,β = {x, y, z, u, v, w, αx, αy, αz, αu, αv, αw, βx, βy, βz,
βu, βv, βw, αβx, αβy, αβz, αβu, αβv, αβw} and
The four vertices of this map are {(x, y, z), (αx, αz, αy)}, {(αβx, u, w), (βx, αw, αu)},
{(αβz, αβu, v), (βz, αv, βu)} and {(αβy, αβv, αβw), (βy, βw, βv)} and six edges are
{e, αe, βe, αβe}, where, e ∈ {x, y, z, u, v, w}. The Euler characteristic χ(M) is
χ(M) = 4 − 6 + 2 = 0.
As we known, mathematics is a powerful tool of sciences for its unity and neatness,
without any shade of mankind. On the other hand, it is also a kind of aesthetics
deep down in one’s mind. There is a famous proverb says that only the beautiful
things can be handed down to today, which is also true for the mathematics.
Here, the term unity and neatness is relative and local, also have various con-
ditions. For acquiring the target, many unimportant matters are abandoned in the
process. Whether are those matters in this time still unimportant in another time?
It is not true. That is why we need to think the question: what are lost in the
classical mathematics?
For example, a compact surface is topological equivalent to a polygon with even
number of edges by identifying each pairs of edges along a given direction on it([17]).
If label each pair of edges by a letter e, e ∈ E, a surface S is also identifying to a
cyclic permutation such that each edge e, e ∈ E just appears two times in S, one
is e and another is e−1 . Let a, b, c, · · · denote the letters in E and A, B, C, · · · the
sections of successive letters in linear order on a surface S (or a string of letters on
S). Then, a surface can be represented as follows:
S = (· · · , A, a, B, a−1 , C, · · ·),
where a ∈ E andA, B, C denote a string of letters. Define three elementary trans-
formations by
a1 b1 a−1 −1 −1 −1 −1 −1
1 b1 a2 b2 a2 b2 · · · an bn an bn ;
a1 a1 a2 a2 · · · an an .
Fig.3
52 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Whether can we say it is the sphere? Certainly NOT. Since any point u on a
sphere has a neighborhood N(u) homeomorphic to the open disc, therefore, all
angles incident with the point 1 must all be 120◦ degree on a sphere. But in Π4 ,
they are all 60◦ degree. For making them topologically same, i.e., homeomorphism,
we must blow up the Π4 to a sphere, as shown in the Fig.3. Whence, for getting the
classification theorem of compact surfaces, we lose the angle,area, volume, distance,
curvature,· · ·, etc, which are also lost in the combinatorial maps.
Klein Erlanger Program says that any geometry is finding invariant prop-
erties under a transformation group of this geometry. This is essentially the group
action idea and widely used in mathematics today. In combinatorial maps, we know
the following problems are applications of the Klein Erlanger Program:
All the problems are extensively investigated by researches in the last century
and papers related those problems are still appearing frequently on journals to-
day. Then, what are their importance to classical mathematics? and what are their
contributions to sciences? These are the central topics of this paper.
(A5’)given a line l and a point u exterior this line, there is one line passing
through u parallel to the line l.
(L5) there are infinitely many line parallels to a given line passing through an
exterior point.
The Riemann geometry, also called elliptic geometry, is a geometry with axioms
(A1) − (A4) and the following axiom (R5):
Paradoxist geometries
In these geometries, their axioms are (A1) − (A4) and with one of the following
as the axiom (P 5):
(i)there are at least a straight line and a point exterior to it in this space for
which any line that passes through the point and intersect the initial line.
(ii)there are at least a straight line and a point exterior to it in this space for
54 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
which only one line passes through the point and does not intersect the initial line.
(iii)there are at least a straight line and a point exterior to it in this space for
which only a finite number of lines l1 , l2 , · · · , lk , k ≥ 2 pass through the point and do
not intersect the initial line.
(iv)there are at least a straight line and a point exterior to it in this space for
which an infinite number of lines pass through the point (but not all of them) and
do not intersect the initial line.
(v)there are at least a straight line and a point exterior to it in this space for
which any line that passes through the point and does not intersect the initial line.
Non-Geometries
(A1− )it is not always possible to draw a line from an arbitrary point to another
arbitrary point.
(A2− )it is not always possible to extend by continuity a finite line to an infinite
line.
(A3− )it is not always possible to draw a circle from an arbitrary point and of
an arbitrary interval.
(A4− )not all the right angles are congruent.
(A5− )if a line, cutting two other lines, forms the interior angles of the same
side of it strictly less than two right angle, then not always the two lines extended
towards infinite cut each other in the side where the angles are strictly less than two
right angle.
Counter-Projective geometries
Denoted by P the point set, L the line set and R a relation included in P × L.
A counter-projective geometry is a geometry with the following counter-axioms:
(C1)there exist: either at least two lines, or no line, that contains two given
distinct points.
(C2)let p1 , p2 , p3 be three non-collinear points, and q1 , q2 two distinct points.
Suppose that {p1 .q1 , p3 } and {p2 , q2 , p3 } are collinear triples. Then the line contain-
A New View of Combinatorial Maps by Smarandache’s Notion∗ 55
Anti-Geometries
Classical Type:
Smarandache Type:
4. Map geometries
Combinatorial maps can be used to construct new geometries, which are nice models
for the Smarandache geometries, also a generalization of Isier’s model and Poincaré’s
model for the hyperbolic geometry.
For a given map on a surface, the map geometries without boundary are defined as
follows.
Definition 4.1 For a combinatorial map M with each vertex valency≥ 3, endows
a real number µ(u), 0 < µ(u) < π, with each vertex u, u ∈ V (M). Call (M, µ)
a map geometry with out boundary, µ(u) the angle factor of the vertex u and to be
orientablle or non-orientable if M is orientable or not.
Fig.4
As pointed out in Section 2, this kind of realization is not a surface, but it is
A New View of Combinatorial Maps by Smarandache’s Notion∗ 57
Proposition 4.1 Let M be a map with ∀u ∈ V (M), ρ(u) ≥ 3. Then for ∀u ∈ V (M),
there is a map geometries (M, µ) without boundary such that u is elliptic, euclidean
or hyperbolic in this geometry.
Proof Since ρ(u) ≥ 3, we can choose the angle factor µ(u) such that µ(u)ρ(u) <
2π, µ(u)ρ(u) = 2π or µ(u)ρ(u) > 2π. Notice that
2π
0 < < π.
ρ(u)
Whence, we can also choose µ(u) satisfying that 0 < µ(u) < π ♮
Proof According to the Proposition 4.1, we can choose an angle factor µ such
that a vertex u, u ∈ V (M) to be elliptic, or euclidean, or hyperbolic. Since |V (M)| ≥
3, we can also choose the angle factor µ such that any two vertices v, w ∈ V (M)\{u}
to be elliptic, or euclidean, or hyperbolic as we wish. Then the map geometry (M, µ)
makes the assertion holding. ♮
A geodesic in a manifold is a curve as straight as possible. Similarly, in a map
geometry, its m-lines and m-points are defined as follows.
Examples for an m-line on the torus and Klein bottle are shown in Fig.5.
58 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Fig.5
If an m-line pass through an elliptic point or a hyperbolic point u, it must has
µ(u)ρ(u)
the angle 2
with the entering line, not 180◦ , which are explained in Fig.6.
µ(u)ρ(u) µ(u)ρ(u)
a= 2
< π a= 2
> π
Fig.6
The following proposition asserts that map geometries without boundary are
Smarandache geometries.
Proposition 4.3 For a map M on a locally orientable surface with order≥ 3 and
vertex valency≥ 3, there is an angle factor µ such that (M, µ) is a Smarandache
geometry by denial the axiom (A5) with the axioms (A5),(L5) and (R5).
A New View of Combinatorial Maps by Smarandache’s Notion∗ 59
Proof According to Proposition 4.1, we know that there exist an angle factor
µ such that there are elliptic vertices, euclidean vertices and hyperbolic vertices in
(M, µ) simultaneously. The proof is divided into three cases.
Notice that for a given line L not pass through the vertices in the map M and
a point u in (M, µ), if u is an euclidean point, then there is one and only one line
passing through u not intersecting with L, and if u is an elliptic point, then there
are infinite lines passing through u not intersecting with L, but if u is a hyperbolic
point, then each line passing through u will intersect with L, see also the Fig.7,
in where, the planar graph is the complete graph K4 and the points 1, 2 is elliptic
vertices, the point 3 is euclidean and the point 4 hyperbolic. Then all m-lines in
the filed A do not intersect with L and each m-line passing through the point 4 will
intersect with the line L. Therefore, (M, µ) is a Smarandache geometry by denial
the axiom (A5) with the axioms (A5), (L5) and (R5).
Fig.7
prove this result for the torus. Notice that on the torus, an m-line has the following
properties ([15]):
Fig.8
Then any m-line L in the shade filed passing through the point v will not intersect
with L2 . Therefore, (M, µ) is a Smarandache geometry by denial the axiom (A5)
with the axioms (A5),(L5) and (R5).
point.
Fig.9
Now let the m-line passes through the center in the circle. Then if u is an euclidean
point, there is only one m-line passing through u, see (a) in the Fig.10. If v is an
elliptic point and there is an m-line passes through it and intersect with L, see (b)
in Fig.10, assume the point 1 is a point such that the m-line 1v passes through 0,
then any m-line in the shade of (b) passing through the point v will intersect with
L.
Fig.10
If w is a hyperbolic point and there is an m-line passing through it and does not
intersect with L, see Fig.10(c), then any m-line in the shade of (c) passing through
the point w will not intersect with L. Since the position of vertices of the map M
on the projective plane can be choose as we wish, the proof is complete. ♮.
The Poincaré’s model for the hyperbolic geometry hints us to introduce the map
geometries with boundary, which are defined as follows.
62 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Definition 4.4 For a map geometry (M, µ) without boundary and faces f1 , f2 , · · · , fl ∈
F (M), 1 ≤ l ≤ φ(M)−1, if (M, µ)\{f1 , f2 , · · · , fl } is connected, then call (M, µ)−l =
(M, µ) \ {f1 , f2 , · · · , fl } a map geometry with boundary f1 , f2 , · · · , fl and orientable
or not if (M, µ) is orientable or not.
A connected curve with constant curvature in (M, µ)−l is called an m− -line and
points m− -points.
Two m− -lines on the torus and projective plane are shown in Fig.11 and Fig.12.
Fig.11
Fig.12
The map geometries with boundary also are Smarandache geometries, which is
convince by the following result.
A New View of Combinatorial Maps by Smarandache’s Notion∗ 63
Proposition 4.4 For a map M on a locally orientable surface with order≥ 3, vertex
valency≥ 3 and a face f ∈ F (M), there is an angle factor µ such that (M, µ)−1 is
a Smarandache geometry by denial the axiom (A5) with the axioms (A5),(L5) and
(R5).
Proof Similar to the proof of Proposition 4.3, consider the map M being a
planar map, an orientable map on a torus or a non-orientable map on a projective
plane, respectively. We get the assertion. ♮
Notice that for an one face map geometry (M, µ)−1 with boundary, if we choose
all points being euclidean, then (M, µ)−1 is just the Poincaré’s model for the hyper-
bolic geometry.
Definition 4.5 Two map geometries (M1 , µ1 ), (M2 , µ2 ) or (M1 , µ1 )−l , (M2 , µ2 )−l are
called to be equivalent if there is a bijection θ : M1 → M2 such that for ∀u ∈ V (M),
θ(u) is euclidean, elliptic or hyperbolic iff u is euclidean, elliptic or hyperbolic.
The relation of the numbers of unrooted maps with the map geometries is in
the following.
Proposition 4.6 The numbers nO (Γ, g), nN (Γ, g) of non-equivalent orientable, non-
orientable map geometries without boundary underlying a simple graph Γ by denial
the axiom (A5) by (A5), (L5) or (R5) are
64 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Q
3|Γ| (ρ(v) − 1)!
O v∈V (Γ)
n (Γ, g) = ,
2|AutΓ|
and
Q
(2β(Γ) − 1)3|Γ| (ρ(v) − 1)!
N v∈V (Γ)
n (Γ, g) = ,
2|AutΓ|
where β(Γ) = ε(Γ) − ν(Γ) + 1 is the Betti number of the graph Γ.
Proof Denote by M(Γ) the set of all non-isomorphic maps underlying the graph
Γ on locally orientable surfaces and by E(Γ) the set of all embeddings of the graph Γ
3|M |
on locally orientable surfaces. For a map M, M ∈ M(Γ), there are |AutM |
different
map geometries without boundary by choosing the angle factor µ on a vertex u such
that u is euclidean, elliptic or hyperbolic. From permutation groups, we know that
X 3|M |
nO (Γ, g) =
M ∈M(Γ)
|AutM|
3|Γ| X |AutΓ × hαi |
=
|AutΓ × hαi | M ∈M(Γ) |AutM|
3|Γ| X
= |M AutΓ×hαi |
|AutΓ × hαi | M ∈M(Γ)
3|Γ|
= |E O (Γ)|
|AutΓ × hαi |
Q
3|Γ| (ρ(v) − 1)!
v∈V (Γ)
= .
2|AutΓ|
Similarly, we get that
3|Γ|
nN (Γ, g) = |E N (Γ)|
|AutΓ × hαi |
Q
(2β(Γ) − 1)3|Γ| (ρ(v) − 1)!
v∈V (Γ)
= .
2|AutΓ|
A New View of Combinatorial Maps by Smarandache’s Notion∗ 65
Proposition 4.7 The numbers nO (Γ, −g), nN (Γ, −g) of non-equivalent orientable,
non-orientable map geometries with one face being its boundary and underlying a
simple graph Γ by denial the axiom (A5) by (A5), (L5) or (R5) are respective
3|Γ| Y 2d(g[Γ](x))
nO (Γ, −g) = [(β(Γ) + 1) (ρ(v) − 1)! − |x=1 ]
2|AutΓ| v∈V (Γ)
dx
and
where g[Γ](x) is the genus polynomial of the graph Γ ( see [12]), i.e., g[Γ](x) =
γm
P (Γ)
gk [Γ]xk with gk [Γ] being the number of embeddings of Γ on the orientable sur-
k=γ(Γ)
face of genus k.
Proof Notice that ν(M) − ε(M) + φ(M) = 2 − 2g(M) for an orientable map M
by the Euler characteristic. Similar to the proof of Proposition 4.6 with the notation
M(Γ), by Proposition 4.5 we know that
X φ(M)3|M |
nO (Γ, −g) =
M ∈M(Γ)
|AutM|
X (2 + ε(Γ) − ν(Γ) − 2g(M))3|M |
=
M ∈M(Γ)
|AutM|
X (2 + ε(Γ) − ν(Γ))3|M | X 2g(M)3|M |
= −
M ∈M(Γ)
|AutM| M ∈M(Γ)
|AutM|
(2 + ε(Γ) − ν(Γ))3|M | X |AutΓ × hαi |
=
|AutΓ × hαi | M ∈M(Γ)
|AutM|
2 × 3|Γ| X g(M)|AutΓ × hαi |
−
|AutΓ × hαi | M ∈M(Γ) |AutM|
(β(Γ) + 1)3|M | X
= (Γ)|M AutΓ×hαi |
|AutΓ × hαi | M ∈M
66 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
3|Γ| X
− g(M)|M AutΓ×hαi |
|AutΓ| M ∈M(Γ)
γ (Γ)
(β(Γ) + 1)3|Γ| Y 3|Γ| X
m
Notice that nL (Γ, −g) = nO (Γ, −g)+nN (Γ, −g) and the number of re-embeddings
of an orientable map M on surfaces is 2β(M ) (see also [13]). We have that
A k-polygon in a map geometry is a k-polygon with each line segment being m-lines
or m− -lines. For the sum of the internal angles in a k-polygon, we have the following
result.
Proposition 4.8 Let P be a k-polygon in a map geometry with each line segment
passing through at most one elliptic or hyperbolic point. If H is the set of elliptic
points and hyperbolic points on the line segment of P , then the sum of the internal
angles in P is
1 X
(k + |H| − 2)π − ρ(u)µ(u).
2 u∈H
A New View of Combinatorial Maps by Smarandache’s Notion∗ 67
Proof Denote by U, V the sets of elliptic points and hyperbolic points in H and
|U| = p, |V | = q. If an m-line segment passes through an elliptic point u, add an
auxiliary line segment in the plane as shown in Fig.13(1). Then we get that
ρ(u)µ(u)
angle a = angle1 + angle2 = π − .
2
If an m-line passes through an hyperbolic point v, also add an auxiliary line
segment in the plane as shown in Fig.13(2). Then we get that
ρ(v)µ(v)
angle b = angle3 + angle4 = − π.
2
Fig.13
Since the sum of the internal angles of a k-polygon in the plane is (k − 2)π, we
know that the sum of the internal angles in P is
X ρ(u)µ(u) X ρ(u)µ(u)
(k −2)π + (π − )− ( − π)
u∈U 2 v∈V 2
1 X
= (k + p + q − 2)π − ρ(u)µ(u)
2 u∈H
1 X
= (k + |H| − 2)π − ρ(u)µ(u).
2 u∈H
This completes the proof. ♮
As a corollary, we get the sum of the internal angles of a triangle in a map
geometry as follows, which is consistent with the classical results.
68 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
The uniformization theorem for simple connected Riemann surfaces is one of those
beautiful results in the Riemann surface theory, which is stated as follows([2]).
(d(ϕ(S)) − 1)(d(ϕ(S)) − 2)
g(S) = .
2
By map theory, we know a combinatorial map also is on a surface with genus.
Then whether can we get an algebraic curve by all edges in a map or by make
operations on the vertices or edges of the map to get plane algebraic curve with
given k-multiple points? and how do we find the equation f (x, y, z) = 0?
(i) how can we combinatorially classify the general s-manifolds by maps with
boundary?
(iv) find rulers for drawing an s-manifold on a surface, such as, the torus, the
projective plane or Klein bottle, not only the plane.
As we have seen in the previous section, map geometries are nice models of the
Smarandache geometries. More works should be dong for them.
(ii) For a given locally orientable surface S, determine the properties of map
70 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
geometries on S.
S 2 = {(x, y, z) ∈ R3 |x2 + y 2 + z 2 = 1}
along the orientation N. The map N : S → S 2 , thus defined, is called the Gauss
mapping.
We know that for a point P ∈ S such that the Gaussian curvature K(P ) 6= 0
and V a connected neighborhood of P with K does not change sign,
N(A)
K(P ) = lim ,
A→0 A
where A is the area of a region B ⊂ V and N(A) is the area of the image of B by
the Gauss mapping N : S → S 2 . The questions are
(i) what is its combinatorial meaning of the Gauss mapping? How to realizes
it by maps?
(ii) how can we define various curvatures for maps and rebuilt the results in
the classical differential geometry?
(ii) how can we define the angle, area, volume, curvature, · · ·, of a map?
(iii) can we rebuilt the Gauss-Bonnet theorem by maps? or can we get a gen-
eralization of the classical Gauss-Bonnet theorem by maps?
A Riemann surface is just a Riemann 2-manifold, which has become a source of the
mathematical creative power. A Riemann n-manifold (M, g) is a n-manifold M with
a Riemann metric g. Many important results in Riemann surfaces are generalized to
Riemann manifolds with a higher dimension ([6]). For example, let M be a complete,
simple-connected Riemann n-manifold with constant sectional curvature c, then we
know that M is isometric to one of the model spaces Rn , SRn or HRn . Whether can
we systematically rebuilt the Riemann manifold theory by combinatorial maps? or
can we make a combinatorial generalization of results in the Riemann geometry, for
example, the Chern-Gauss-Bonnet theorem ([6])?
References
[8] Yanpei Liu, Enumerative Theory of Maps, Kluwer Academic Publisher, Dor-
drecht / Boston / London (1999).
[9] Y.P.Liu, Embeddability in Graphs, Kluwer Academic Publisher, Dordrecht /
Boston / London (1995).
[10] Mantredo P.de Carmao, Differential Geometry of Curves and Surfaces, Pearson
Education asia Ltd (2004).
[11] L.F.Mao, Automorphism groups of maps, surfaces and Smarandache geome-
tries, American Research Press, Rehoboth, NM,2005.
[12] L.F.Mao and Y.P.Liu, A new approach for enumerating maps on orientable
surfaces, Australasian J. Combinatorics, vol.30(2004), 247-259.
[13] L.F.Mao and Y.P.Liu, Group action approach for enumerating maps on sur-
faces,J.Applied Math. & Computing, vol.13, No.1-2,201-215.
[14] W.S.Massey, Algebraic topology: an introduction, Springer-Verlag,New York,
etc.(1977).
[15] V.V.Nikulin and I.R.Shafarevlch, Geometries and Groups, Springer-Verlag Berlin
Heidelberg (1987)
[16] F. Smarandache, Mixed noneuclidean geometries, eprint arXiv: math/0010119,
10/2000.
[17] J.Stillwell, Classical topology and combinatorial group theory, Springer-Verlag
New York Inc., (1980).
[18] W.T.Tutte, What is a maps? in New Directions in the Theory of Graphs (ed.by
F.Harary), Academic Press (1973), 309 325.
An Introduction to Smarandache Geometries on Maps 73
An Introduction to
Smarandache Geometries on Maps∗
Linfan Mao
(Chinese Academy of Mathematics and System Science, Beijing 100080, P.R.China)
maolinfan@163.com
Key Words: map, Smarandache geometry, map geometry, planar map ge-
ometry, parallel bundle.
The topic introduced in this report has stood a trial by the four questions.
indefinitely, meet on that side on which are the angles less than the two right angles.
The axiom (A5) can be also replaced by:
(A5’)given a line and a point exterior this line, there is one line parallel to this
line.
The Lobachevshy-Bolyai-Gauss geometry, also called hyperbolic geometry, is a
geometry with axioms (A1) − (A4) and the following axiom (L5):
(L5) there are infinitely many line parallels to a given line passing through an
exterior point.
The Riemann geometry is a geometry with axioms (A1)−(A4) and the following
axiom (R5):
there is no parallel to a given line passing through an exterior point.
• Further applications
3. What is a map?
mutation P, i.e, for any x ∈ Xα,β , no integer k exists such that P k x = αx, act-
ing on Xα,β , the disjoint union of quadricells Kx of x ∈ X (the base set), where
K = {1, α, β, αβ} is the Klein group, with the following two conditions holding:
(i) αP = P −1 α;
(ii) the group ΨJ =< α, β, P > is transitive on Xα,β .
W.T.Tutte, What is a maps? in New Directions in the Theory of Graphs (ed.by F.Harary),
Academic Press (1973), 309 325.
Y.P.Liu, Advances in Combinatorial Maps(in Chinese), Northern Jiaotong University Pub-
lisher, Beijing (2003).
Y.P.Liu, Enumerative Theory of Maps, Kluwer Academic Publisher, Dordrecht / Boston
/ London (1999).
• Orientation:
If the group ΨI = hαβ, Pi is transitive on Xα,β , then M is non-orientable.
Otherwise, orientable.
• An Example of Maps: K4 on the torus.
Fig.1
M = (Xα,β , P):
Vertices:
v1 = {(x, y, z), (αx, αz, αy)}
v2 = {(αβx, u, w), (βx, αw, αu)}
v3 = {(αβz, αβu, v), (βz, αv, βu)}
v4 = {(αβy, αβv, αβw), (βy, βw, βv)}
Edges:
{e, αe, βe, αβe}, e ∈ {x, y, z, u, v, w}
Faces:
f1 = {(x, u, v, αβw, αβx, y, αβv, αβz), (βx, αz, αv, βy, αx, αw, βv, βu)}
f2 = {(z, αβu, w, αβy), (βz, αy, βw, αu)}
4. Map geometries
Definition 4.1 For a combinatorial map M, endows a real number µ(u), 0 <
µ(u) < π, with each vertex u, u ∈ V (M). Call (M, µ) a map geometry without
boundary, µ(u) the angle factor of the vertex u and to be orientablle or non-orientable
if M is orientable or not.
Fig.2
78 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Theorem 4.1 For a map M on a locally orientable surface with order≥ 3, there is
an angle factor µ such that (M, µ) is a Smarandache geometry by denial the axiom
(A5) with the axioms (A5),(L5) and (R5).
Definition 4.2 For a map geometry (M, µ) without boundary and faces f1 , f2 , · · · , fl ∈
F (M), 1 ≤ l ≤ φ(M)−1, if (M, µ)\{f1 , f2 , · · · , fl } is connected, then call (M, µ)−l =
(M, µ) \ {f1 , f2 , · · · , fl } a map geometry with boundary f1 , f2 , · · · , fl and orientable
or not if (M, µ) is orientable or not.
• An one face map geometry (M, µ)−1 with boundary is just the Poincaré’s model
for the hyperbolic geometry if we choose all points being euclidean.
Theorem 4.2 For a map M on a locally orientable surface with order≥ 3 and a face
f ∈ F (M), there is an angle factor µ such that (M, µ)−1 is a Smarandache geometry
by denial the axiom (A5) with the axioms (A5),(L5) and (R5).
Theorem 4.3 The numbers nO (Γ, g), nN (Γ, g) of non-equivalent orientable, non-
orientable map geometries without boundary underlying a simple graph Γ by denial
the axiom (A5) by (A5), (L5) or (R5) are
Q
3|Γ| (ρ(v) − 1)!
O v∈V (Γ)
n (Γ, g) = ,
2|AutΓ|
and
Q
(2β(Γ) − 1)3|Γ| (ρ(v) − 1)!
N v∈V (Γ)
n (Γ, g) = ,
2|AutΓ|
where β(Γ) = ε(Γ) − ν(Γ) + 1 is the Betti number of the graph Γ.
Similarly, we can also get enumeration results for map geometries with boundary.
Definition 5.1 A family L of infinite lines not intersecting each other in a planar
geometry is called a parallel bundle.
An Introduction to Smarandache Geometries on Maps 79
Fig.3
Fig.4
Then a family L of parallel lines passing through C is a parallel bundle iff for any
x, x ≥ 0,
f1′ (x) ≥ 0
′ ′
f1+ (x) + f2+ (x) ≥ 0
′ ′ ′
f1+ (x) + f2+ (x) + f3+ (x) ≥ 0
············
′ ′ ′
f1+ (x) + f2+ (x) + · · · + fl+ (x) ≥ 0.
cut of the map M with order u1 v1 , u2 v2 , · · · , ul vl from the left to the right, l ≥ 1 and
the angle functions on them are f1 , f2 , · · · , fl . Then the parallel lines parallel the
initial parallel lines after them passing through C iff for ∀x ≥ 0,
f1′ (x) ≥ 0
′ ′
f1+ (x) + f2+ (x) ≥ 0
′ ′ ′
f1+ (x) + f2+ (x) + f3+ (x) ≥ 0
············
′ ′ ′
f1+ (x) + f2+ (x) + · · · + fl−1+ (x) ≥ 0
and
• Linear criterion
············
ρ(v1 )µ(v1 ) ρ(v2 )µ(v2 ) ρ(vl )µ(vl ) ρ(u1 )µ(u1) ρ(ul )µ(ul )
+ +···+ ≥ +···+ .
d(u1 v1 ) d(u2 v2 ) d(ul vl ) d(u1 , v1 ) d(ul , vl )
Corollary 5.1 Let (M, µ) be a planar map geometry with M underlying a regular
graph, C = {u1 v1 , u2v2 , · · · , ul vl } a cut of the map M with order u1 v1 , u2v2 , · · · , ul vl
An Introduction to Smarandache Geometries on Maps 81
from the left to the right, l ≥ 1. Then under the linear assumption, a family L of
parallel lines passing through C is a parallel bundle iff the angle factor µ satisfies
the following linear inequality system
µ(v1 ) ≥ µ(u1 )
············
and particularly, if assume that all the lengths of edges in C are the same, then
µ(v1 ) ≥ µ(u1 )
µ(v1 ) + µ(v2 ) ≥ µ(u1 ) + µ(u2)
······ ··· ······
µ(v1 ) + µ(v2 ) + · · · + µ(vl ) ≥ µ(u1 ) + µ(u2) + · · · + µ(ul ).
ρ(ui ) µ(vi )
≤ ,
ρ(vi ) µ(ui)
then under the linear assumption, a family L of parallel lines passing through C is
a parallel bundle.
Fig.5
6. Open Problems
Problem 6.1: How can we define the conformal equivalence for maps enabling us
to get the uniformization theorem of maps?
Problem 6.2 What is the correspondence class maps with the three type (a) − (c)
Riemann surfaces?
Z Z
Kdσ = 2πχ(S),
S
• Map Geometries
Problem 6.6 For a given graph, determine the properties of map geometries under-
lying this graph.
Problem 6.7 For a given locally orientable surface, determine the properties of map
geometries on this surface.
Problem 6.8 Classify map geometries on a given locally orientable surface.
Problem 6.9 Enumerate non-equivalent map geometries underlying a graph or on
a locally orientable surface.
Problem 6.10 Establish the surface geometry by map geometries.
84 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
maolinfan@163.com
zR<℄fTlFZ$[
zbbb7 bVYIY'℄ Y{g
. b _qY{/NY b I
YZ { o x'℄ T04
7 J 9 y >{##L.= } b g b L
N$ E ' / C
.L^QB b g b D;0hb?^'Ok℄
/
2 /
%
1
e-print: arXiv: math.GM/0605495.
A Multi-Space Model for Chinese Bids Evaluation with Analyzing 85
N [ [
3SKe℄'
0^ ' 9 ZJ' r_q S 7a <
' ?: [7][8]Ihb?^' Smarandache 3 AD;
fo b q
mCJ t TLÆ? & r
0Bh_>~UYI g
bj [
'FH
0 P \|r~ 3 A'4mFH℄{_℄
b
jm / 'L)rCJ t ' T,
Key Words:
bq
tendering, bidding, evaluation, Smarandache multi-space,
condition of successful bidding, decision of multiple objectives, decision of
simply objective, pseudo-multiple evaluation, pseudo-multi-space.
AMS(2000): 90B50,90C35,90C90
§1. Introduction
The tendering is an efficient way for purchasing in the market economy. According to
the Contract Law of the People’s Republic of China (Adopted at the second meeting
of the Standing Committee of the 9th National People’s Congress on March 15,1999),
it is just a civil business through by a tenderer issuing a tendering announcement
or an invitation, bidders submitting bidding documents compiled on the tendering
document and the tenderer accepting a bidding after evaluation by sending out a
notification of award. The process of this business forms a negotiating process of a
contract. In China, there is an interval time for the acceptation of a bidding and
becoming effective of the contract, i.e., the bidding is accepted as the tenderer send
out the notification of award, but the contract become effective only as the tenderer
and the successful bidder both sign the contract.
In the Tendering and Bidding Law of the People’s Republic of China (Adopted
at the 11th meeting of the Standing Committee of the 9th National People’s Congress
on August 30,1999), the programming and liability or obligation of the tenderer,
the bidders, the bid evaluation committee and the government administration are
stipulated in detail step by step. According to this law, the tenderer is on the side
of raising and formulating rulers for a tender project and the bidders are on the
side of response each ruler of the tender. Although the bid evaluation committee is
organized by the tenderer, its action is independent on the tenderer. In tendering
and bidding law and regulations of China, it is said that any unit or person can
not disturbs works of the bid evaluation committee illegally. The action of them
should consistent with the tendering and bidding law of China and they should place
86 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Fig.1
The 41th item in the Tendering and Bidding Law of the People’s Republic of
China provides conditions for a successful bidder:
(1) optimally responsive all of the comprehensive criterions in the tendering
document;
(2) substantially responsive criterions in the tender document with the lowest
evaluated bidding price unless it is lower than this bidder’s cost.
The conditions (1) and (2) are often called the comprehensive evaluation method
and the lowest evaluated price method. In the same time, these conditions also
imply that the tendering system in China is a multiple objective system, not only
evaluating in the price, but also in the equipments, experiences, achievements, staff
and the programme, etc.. However, nearly all the encountered evaluation methods
in China do not apply the scientific decision of multiple objectives. In where, the
comprehensive evaluation method is simply replaced by the 100 marks and the lowest
evaluated price method by the lowest bidding price method. Regardless of whether
different objectives being comparable, there also exist problems for the ability of
bidders and specialists in the bid evaluation committee creating a false impression
for the successful bidding price or the successful bidder. The tendering and bidding
is badly in need of establishing a scientific evaluation system in accordance with
these laws and regulations in China. Based on the reference [7] for Smarandache
multi-spaces and the mathematical model for the tendering in [8], the main purpose
A Multi-Space Model for Chinese Bids Evaluation with Analyzing 87
of this paper is to establish a multi-space model for the tendering and a scientific
evaluation system for bids by applying the approach in the multiple objectives and
value engineering, which enables us to find a scientific approach for tendering and
its management in practice. Some cases are also presented in this paper.
The terminology and notations are standard in this paper. For terminology and
notation not defined in this paper can be seen in [7] for multi-spaces, in [1] − [3] and
[6] for programming, decision and graphs and in [8] for the tendering and bidding
laws and regulations in China.
X m
[
= Ai ,
i=1
where 1 ≤ m < +∞ and there is an operation or ruler ◦i on each set Ai such that
(Ai , ◦i) is an algebraic system for any integer i, 1 ≤ i ≤ m.
T
Notice that if i 6= j, 1 ≤ i, j ≤ m, there must not be Ai Aj = ∅, which are just
correspondent with the characteristics of a tendering. Thereby, we can construct a
Smarandache multi-space model for a tendering as follows.
Assume there are m evaluation items A1 , A2 , · · · , Am for a tendering Ae and there
are ni evaluation indexes ai1 , ai2 , · · · , aini for each evaluation item Ai , 1 ≤ i ≤ m.
By applying mathematics, this tendering can be represented by
m
[
Ae = Ai ,
i=1
88 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
is an algebraic system. Notice that we do not define other relations of the tendering
Ae and evaluation indexes aij with Ai , 1 ≤ i ≤ m unless Ai ⊆ Ae and aij ∈ Ai in this
multi-space model.
Now assume there are k, k ≥ 3 bidders R1 , R2 , · · · , Rk in the tendering Ae and
the bidding of bidder Rj , 1 ≤ j ≤ k is
A1 Rj (A1 )
e =
A2 Rj (A2 )
Rj (A) Rj
=
···
···
Am Rj (Am )
.
According to the successful bidding criterion in the Tendering and Bidding Law
of the People’s Republic of China and regulations, the bid evaluation committee
needs to determine indexes i1 , i2 , · · · , ik , where {i1 , i2 , · · · , ik } = {1, 2, · · · , k} such
that there is an ordered sequence
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A)
e
i2 ik
e R (A),
for these bidding R1 (A), e · · · , R (A)
e of bidders R , R , · · · , R . Here, these
2 k 1 2 k
bidders Ri1 , Ri2 and Ri3 are pre-successful bidders in succession determined by the
bid evaluation committee in the laws and regulations in China.
(s1 , s2 , · · · , sh , t, · · ·) ≻ (s1 , s2 , · · · , sh , l, · · ·)
A Multi-Space Model for Chinese Bids Evaluation with Analyzing 89
e ∈ O × O × O × · · · for
Theorem 2.1 Let O1 , O2 , O3 · · · be ordered sets. If Rj (A) 1 2 3
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
e ∈ O × O × O × ···.
Rj (A) 1 2 3
e can be represented by
Whence, Rj (A)
e = (x , x , x , · · ·),
Rj (A) j1 j2 j3
St = {xjt ; 1 ≤ j ≤ m}.
Then the set St ⊆ Ot is finite. Because the set Ot is an ordered set, so there exists
an order for elements in St . Not loss of generality, assume the order is
e R (A),
for elements in St . Then we can apply the alphabetical approach to Ri1 (A), e
i2
e and get indexes i , i , · · · , i such that
· · · , Rik (A) 1 2 k
e R (A)
Ri1 (A) e · · · R (A).
e ♮
i2 ik
90 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
We also get the following consequence for evaluation numbers by Theorem 2.2.
Corollary 2.1 If Rj (Ai ) ∈ [−∞, +∞] × [−∞, +∞] × [−∞, +∞] × · · · for any
integers i, j, 1 ≤ i ≤ m, 1 ≤ j ≤ k, then there exists an arrangement i1 , i2 , · · · , ik for
indexes 1, 2, · · · , k such that
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
Notice that in the above ordered sequence, if we arrange Ris ≻ Ril or Ril ≻ Ris
further in the case of Ris ≈ Ril , s 6= l, then we can get an ordered sequence
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A),
e
i2 ik
and the pre-successful bidders accordance with the laws and regulations in China.
them by the ruler of lower price preferable and get an ordered sequence
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A)
e
i2 ik
e R (A),
of these bids R1 (A), e · · · , R (A).
e
2 k
Notice that we can also get an ordered sequence through by defining the weight
functions
and
Theorem 3.1 The ordered sequence of bids of a tendering Ae can be gotten by the
above programming.
Proof Assume there are k bidders in this tendering. Then we can alphabetically
e R (A),
arrange these bids Ri1 (A), e · · · , R (A)
e and get
i2 ik
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
e ≈ R (A),
Now applying the arranging approach in the case of Rj1 (A) e we finally
j2
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A).
e ♮
i2 ik
1 ≤ j1 , j2 ≤ k =bidders by the ruler of lower price first for two equal bids in order
e ≈ R (A).
Rj1 (A) e
j2
bidder R1 R2 R3 R4
A1 3526 3166 3280 3486
table 1
Applying the arrangement ruler for A1 , the order for R2 (A1 ), R3 (A1 ), R4 (A1 ),
R1 (A1 ) is
bidder R1 R2 R3 R4
A3 (m2 ) 250806 210208 290108 300105
table 2
Whence the order of R4 (A3 ), R3 (A3 ), R1 (A3 ), R2 (A3 ) is
is
e ≻ R (A)
R3 (A) e ≻ R (A)
e ≻ R (A).
e
2 4 1
Fig.2
e ≻ R (A)
R3 (A) e ≻ R (A)
e ≻ R (A).
e
2 4 1
This approach is established under the following considerations for Problems 1 and
2.
e seek
Consideration 1 In these evaluation items A1 , A2 , · · · , Am of a tendering A,
the optimum of one evaluation item. For example, seek the lowest bidding price in a
construction tendering for a simply building or seek the optimum of design scheme
in a design project tendering, etc..
Consideration 2 The value of these evaluation items A1 , A2 , · · · , Am is comparable
which enables us to measure each of them by a unify unit and to construct various
weighted functions on them. For example, the 100 marks and the lowest evaluated
price method widely used in China are used under this consideration.
Theorem 3.2 The approach of one optimal objective can get an ordered sequence
e
of bids for a tendering A.
Example 3.2 The optimum of design scheme is the objective in a design project
tendering Ae which is divided into 5 ranks A, B, C, D, E and other evaluation items
such as human resources, design period and bidding price by a qualifiable approach
if the bidding price is in the interval of the service fee norm of China. The final
order of bids is determined by the order of design schemes with qualifiable human
resources, design period and bidding price and applying the ruler of lower price first
for two equal design scheme in order.
There were 8 bidders in this tendering. Their bidding prices are in table 3.
bidder R1 R2 R3 R4 R5 R6 R7 R8
bidding price 251 304 268 265 272 283 278 296
table 3
After evaluation for these human resources, design period and bidding price,
4 bidders are qualifiable unless the bidder R5 in human resources. The evaluation
result for bidding design schemes is in table 4.
rank A B C D E
design scheme
R3 R6 R1
R2 R8 R7 R4
table 4
g e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A).
e
R3 (A) ≻ R6 (A) 1 8 2 7 4
7
P
( Ai − max{Ri (A1 )|1 ≤ i ≤ 7} − min{Ri (A1 )|1 ≤ i ≤ 7}
i=1
S= ,
5
Ri (A1 ) − S
Ni = 100 − t × | | × 100, 1 ≤ i ≤ 7,
S
where, if Ri (A1 ) − S > 0 then t = 6 and if Ri (A1 ) − S < 0 then t = 3.
After evaluation, all bidders are qualifiable in qualifications, management per-
sons and equipments. Their bidding prices are in table 5.
bidder R1 R2 R3 R4 R5 R6 R7
A1 3518 3448 3682 3652 3490 3731 3436
table 5
According to these formulae, we get that S = 3558 and the mark of each bidder
as those shown in table 6.
bidder R1 R2 R3 R4 R5 R6 R7
mark 96.70 91.27 79.12 84.16 94.27 73.84 89.68
table 6
e ≻ R (A)
R1 (A) e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A).
e
5 2 7 4 3 6
This approach assumes that there is a unifying unit between these evaluation items
A1 , A2 , · · · , Am in an interval [a, b]. Whence it can be transformed into case 3.2.1
and sought the optimum of one objective. Not loss of generality, we assume the
unifying unit is ̟ and
̟(Ai ) = fi (̟), 1 ≤ i ≤ m,
A Multi-Space Model for Chinese Bids Evaluation with Analyzing 97
where fi denotes the functional relation of the metric ̟(Ai) with unit ̟. Now the
objective of tendering turns to a programming of one objective
max F (f1 (̟), f2 (̟), · · · , fm (̟)) or min F (f1 (̟), f2(̟), · · · , fm (̟)),
̟ ̟
where F denotes the functional relation of the tendering Ae with these evaluation
items A1 , A2 , · · · , Am , which can be a weighted function, such as a linear function
m
X
F (f1 (̟), f2(̟), · · · , fm (̟)) = fi (̟)
i=1
Theorem 3.3 If the function F of a tendering Ae only has one maximum value in
e 1 ≤ i ≤ k after
[a, b], then there exists an ordered sequence for these bids Ri (A),
e and R (A)
determined how to arrange Ri (A) e when F (R (A))
e = F (R (A)),
e i 6= j.
j i j
The 100 marks and the lowest evaluated price method widely used in China
both are applications of this approach. In the 100 marks, the weight function is a
linear function
m
X
F (f1 (̟), f2 (̟), · · · , fm (̟)) = fi (̟),
i=1
where S(Ai ) is the standard line for Ai , ̟(Ai) is one unit difference of Ai in terms
of A1 . The weighted function of the lowest evaluated price method is
m
X
F (̟(A1 ), f2 (̟(A1 )), · · · , fm (̟(A1 ))) = (1 + (R(Ai ) − S(Ai )))̟(A1 ).
j=2
For example, we can fix one unit difference of a technological parameter 15, i.e.,
̟(A1 ) = 15 ten thousand dollars in terms of the bidding price.
98 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
can not compare. There are two choice for the weighted function ω(Ai ).
Choice 1 the monotone functions in the interval [a, b], such as the linear functions.
Choice 2 The continuous functions only with one maximum value in the interval
[a, b], such as ω(Ai ) = −2x2 + 6x + 12 or
x, if 0 ≤ x ≤ 2,
ω(Ai) =
−x + 4, if x ≥ 4.
Let A1 be the bidding price. We often encounter the following weighted function
ω(A1 ) in practice.
Ri (A1 ) − S
ω(Ri (A1 )) = −ς × +ζ
S
where,
or
R1 (A1 )+R2 (A1 )+···+Rk (A1 )−M −N
k−2
, k ≥ 5,
S=
R1 (A1 )+R2 (A1 )+···+Rk (A1 )
, 3≤k≤4
k
or
Ri (A1 ) − N
ω(Ri (A1 )) = −p × +q
M −N
in the interval [N, M], where M, N are the maximum and minimum bidding prices
p is the deduction constant and q is a constant such that Ri (ω(A1 )) ≥ 0, 1 ≤ i ≤ k.
The objective of this approach is seek a lower bidding price.
P
k
T+ Ri (A1 )
j=1
Ri (A1 ) − k+1
ω(Ri (A1 )) = −p × q,
+
q
Ri (A1 ) − k+1
R1 (A1 )R2 (A1 ) · · · Rk (A1 )T
ω(Ri (A1 )) = −p × q +q
k+1
R1 (A1 )R2 (A1 ) · · · Rk (A1 )T
100 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
or
r
R21 (A1 )+R22 (A1 )+···+R2k (A1 )+T 2
Ri (A1 ) − k+1
ω(Ri (A1 )) = −p × r +q
R21 (A1 )+R22 (A1 )+···+R2k (A1 )+T 2
k+1
etc.. If we wish to analog a curve for these bidding prices and choose a point on this
curve as ω(Ri (A1 )), we can apply the value of a polynomial of degree k + 1
by the undetermined coefficient method. Arrange the bidding prices and pre-price
of the tender from lower to higher. Not loss of generality, let it be Rj1 (A1 ) ≻
R( j2 )(A1 ) ≻ · · · ≻ T ≻ · · · ≻ Rjk (A1 ). Choose k + 2 constants c1 > c2 > · · · >
ck+1 > 0, for instance k + 1 > k > · · · > 1 > 0. Solving the equation system
Let A2 be the evaluation item of programming with evaluation indexes {a21 , a22 ,
· · · , a2n2 }. It is difficult to evaluating a programming in quantify, which is not only
for the tender, but also for the evaluation specialists. In general, any two indexes of
A2 are not comparable. Whence it is not scientific assigning numbers for each index
since we can not explain why the mark of a programming is 96 but another is 88.
This means that it should qualitatively evaluate a programming or a quantify after
a qualitatively evaluation. Its weight function ω(Ri (A2 )), 1 ≤ i ≤ k can be chosen
as a linear function
A Multi-Space Model for Chinese Bids Evaluation with Analyzing 101
For example, there are 4 evaluation indexes for the programming, and each
with A, B, C, D ranks in a tendering. The corespondent mark for each rank is in
table 7.
table 7
order set, which enables us to find the ordered sequence for all bids in a tendering.
e is continuous and Θ(A)
Particularly, if Θ(A) e ⊆ [−∞, +∞], then Θ is a weighted
5.2 The evaluation approach in this paper can be also applied to evaluate any multi-
ple objectives, such as the evaluation of a scientific project, a personal management
system, an investment of a project, · · ·, etc..
References
zR<℄2tlFZ$[ ∗
gG s
{G~EGtd{GNj~U
. 100080
1
e-print: . {6/ $200607-112.
_(GIE<1VZ 105
In China, there is a law and regulation system for tendering and bidding. How-
ever, few works on the mathematical model of a tendering and its evaluation
can be found in publication. The main purpose of this paper is to construct a
Smarandache multi-space model for a tendering, establish an evaluation sys-
tem for bidding based on those ideas in the references [7] and [8] and analyze
its solution by applying the decision approach for multiple objectives and value
engineering. The final section discusses some questions for the bids evaluation
system already existed in China today. Some suggestions for solving these
b b b b b
questions are presented in this section.
1. x
ÆL17r
7= % ; s $ Lb = ^4 z )&p 7 qpz2[J_ q
1. Æ L W ' z= <I
7 qpz2[J Æ LL q
E T!%yF R B 7 Lp: 2 _KEy< $
%
15 `) S ^D e \Æ L/< 7 F R= 'Z Y _7,L R
25e \Æ L/< = % 4 v^PV
7 = L,% `? 0 1L
,% ? P , =Æ
1 = y<1[2%$l1s: 8= Y _76 q [
7 =`? 7
L, q %y#"℄* T u 7 JJ%s =Æ Ls 2 1% ;h Ls 2 V
. V,%5W#zVD M =%9pa O [ z = DF > 5W
l i Ns: 8= 7L zq }>5 . vVdV h Lw
=
zq [:
V = 1qw Y _76 q %$m# 2' b + i
7 =`? 7L, q
}%5.=`? L, q b + VV\ ;h Ls 2 KVL $ 11 " u,
'
Av. lNLp[7L K ( K #W 4 uL7" 7 l " u} h 1q
& Kz Z 7 L 7 LOK jw℄u q WQ R= y<K?7
%;
=7,sIl B 2 > $ / =E = uP&p
k℄umJ
*=KF [7] 7 Smardanche =1/\[ [8] 7=ÆLI q^C h Lw
[, ' - /\?7% ; % =Æ L7,sI = I qP[s/\ A[%
9 d A,< ^% ;
=Æ L7,sI[ i e \ %$ Æ L?/ = z
/7L<=1=DX:/Q [7]>eFtw
[ \zv=DX: [1]-[3]
[ [6]7 J Æ LL q W q F z v = DX:/Q [8]
2. zAz2tl
&p>p
= u Q& h \QXSmarandache P 1969 p
B = 1
_(GIE<1VZ 107
n { F1 ≤ i ≤ m
& Æ LZ%
m
[
Ae = Ai ,
i=1
> 7 d q/ I i, 1 ≤ i ≤ m,
(Ai , ◦i) = {ai1 , ai2 , · · · , aini |◦i }
,7L ) L a V A , 1 ≤ i ≤ m = <I
ij i
R , 1 ≤ j ≤ k = L[1
j
A1 Rj (A1 )
e =
A2 Rj (A2 )
Rj (A) Rj
=
···
···
Am Rj (Am )
.
108 8!O H'^5<GI1/
:
7 qpz2[J Æ LL q
>U< q FF R= j R7 Lp zq % 4
z&pLp R , R , · · · , R = L R (A), 1 2
e R (A),
k
e `: j R
GL
e · · · , R (A)
1 2 k
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A),
e
i2 ik
i Ri , Ri [ Ri l1 7 J q W q Fj R= & Æ8 =7 Lip
|
1 2 3
I 1XC
(i) B
+ P ∈ S (1, 0 · · · , 0) P n
(s , s , · · · , s , l, · · ·) ∈ S
1 2 h n
|
(s1 , s2 , · · · , sh , t, · · ·) ≻ (s1 , s2 , · · · , sh , l, · · ·)
n
σi 1 1 2 n i n
C {x } {℄m I 1XCC
| | i
n
σi 1
x ≻ x
x Cnr x x x
x C r x q x x
σ
w x x > x u x
C
τ σ
τ
| σ
σ
τ
τ σ τ σ τ σ τ
O × O × O × · · ·,
O 1, 2, · · · , k '℄ 2 XCTL i , i , · · · , i .& b 3
1 2 k
j
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
C &p*d q/ I j, 1 ≤ j ≤ k,
e ∈ O × O × O × ···,
Rj (A) 1 2 3
9 R (A)e
,M*
j
e = (x , x , x , · · ·),
Rj (A) j1 j2 j3
St = {xjt ; 1 ≤ j ≤ m},
}
,^C XJ =zqd R e e e
i1 (A), Ri2 (A), · · · , Rik (A) [s ` k ;8 GL
i , i , · · · , i ' ;
1 2 k
e R (A)
Ri1 (A) e · · · R (A).
e ♮
i2 ik
b
t
j 2.2 R : A → R, 1 ≤ i ≤ m, 1 ≤ j ≤ k {4F,
O
j i
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
oN D R / 2.2 LwKÆ\
Fu 2.1 B
F i, j, 1 ≤ i ≤ m, 1 ≤ j ≤ k p R (A ) ∈ R × R × R × · · ·
b
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
J /uE
7 z&p%$[[%Xg R Ri ≈ Ril , s 6= l #= z
q }2ol
, ;8 e \7 J q W q F^ =
s
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A),
e
i2 ik
i & q Æ8
7 Lip
3. zR<℄2t
u%NÆLLI q ?7 Æ L7,sIzPw,K?&1q
110 8!O H'^5<GI1/
:
S9 1 B
F i, j, 1 ≤ i, j ≤ m X_qg R ' a , a , · · · ,
b
a / 'g 7 R (A )?
b j b i1 i2
ini j i
S9 2 B
F j, 1 ≤ j ≤ mX_q, (R (A ), R (A ), · · · , R (A )) j 1 j 2 j m
t
ZA R (A)? j
e
; sI = I oH 1r%1q 2 7= R (A ), R (A ), · · · , R (A ) Up \ j 1 j 2 j m
i b d bT
5
2 | Bm
'g R (A ), R (A ), j 6= j , 1 ≤ i ≤ m 7
R (A ) ≈ A (A ) '`H A g
1
j1
?7 |R (A) − R (A )| ≤
2
i
3 4
j2 i
5
1 2
j1 i j2
℄ 2
100 tyB
R (A ) ≈ R (A ) j1 1
1
j2 1
3 | B
F i, 1 ≤ i ≤ m 7 R (A ), R (A ), · · · , R (A ) 'XCT
j1 j2 1
bo bT
B7B m ? =beBg ? mo*#h 7XC)
F
4 | I 1XCL 7 R (A),
o e 'XC>
A 7
1 i 2 i k i
bT
e R (A), e · · · , R (A)
1 2 k
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A).
e
i2 ik
e R (A)
Ri1 (A) e · · · R (A).
e
i2 ik
s4C
P [ R j1 (A)
e e
≈ Rj2 (A) #= zq 2o `:;8 %
e ≻ R (A)
Ri1 (A) e ≻ · · · ≻ R (A).
e ♮
b bT
i2 ik
3 2
R (A ) '*F
bT
j2 3 wi j1 1 j2 1
r 40000m ) R (A ) ≈ R (A ), 1 ≤ i ≤ 3
)7
I bb
g ?XCo*#h7BT XCob ? =_q 7ÆaRO+J
2
j1
j1
2
i
j2
j2
2
i
j1 3
\,a*FC_>XCa0
Cg P1 XCa?*n'z
_>X
C
b p b bT d
d+Jvp 4 mg R , R , R , R >g hg ? 1
b
1 2 3 4
g R R R R 1 2 3 4
d gbT?d
X_q 7' B g b T'XC{
1.
,
A1
b
R2 (A1 ) ≈ R3 (A1 ) ≻ R4 (A1 ) ≈ R1 (A1 ).
b }{$B A 'bT{ R (A ) ≈ R (A ) ≻ R (A ) ≻ R (A )
)
I!hBb+J A 'g T 2
2
b d
3 2 2 2 1 2 4 2
b
3
g R R R R 1 2 3 4
2
A3 (m ) 250806 210208 290108 300105
d 2. aRO+J'*F
zhXCT{
R4 (A3 ) ≈ R3 (A3 ) ≻ R1 (A3 ) ≈ R2 (A3 ).
X_q I 1XC'z
P XCT{
112 8!O H'^5<GI1/ :
e ≻ R (A)
R3 (A) e ≻ R (A)
e ≻ R (A).
e
2 4 1
LpIV h= [r1! G4 =
b
} 3.1 B℄mp k mg R , R , · · · , R >g ' +J Ae = S A 1 2 k p b b m
i
e = {R , R , · · · , R } × {A , A , · · · , A },
V (G[A]) 1 2 k 1 2 m
_ }
e =E S S
E(G[A]) 1 E2 E3 ,
h / E oSpp, (R (A ), R (A )) w 1 ≤ i ≤ m, 1 ≤ j , j ≤ k w
1 j1 i j2 i 1 2
R (A ) ≻ R (A ) {&"C>
R (A ) ≈ R (A ) ≻ R (A )
) R (A ) ≻
j1
j i
i j2
l i
i
R (A ) Æ R (A ) ≻ R (A ) E , E v{, h / E o R (A )R (A ), 1 ≤
j
}i 2 3
i ≤ m, 1 ≤ j , j ≤ k w R (A ) ≈ R (A ); E = {R (A )R (A )|1 ≤ i ≤
s i
_ l i
2
j
_ i
j1 i j2
s
i
i
1 2 j1 i j2 i 3 j i j i+1
m − 1, 1 ≤ j ≤ k}
5wv5 3.1 d : = L[ %
2. 5 3.1 d : = L[
Pu2ozu 2 7jR%yF R (A ) R (A ) %CH
LbLL 2 1 3 1
3.2. y `;\
T I n)
< B P / B
*b b ?L)
P / / ,
P
3.2.1. . L ` Dv
;zq ,Q^=.%7,Z`D2:>d7,Z%L*ÆLZ
Ai b Q ^ =` D7,Z% A1 }z d >d7,Z A2 , A3 , · · · , Ak
m
S
Ae =
1
`?=
K R lku d A2, A3, · · · , Ak
K=L, % R1, R2, · · · , Rl
i=1
bT b
g R R R R1 R R 2 R R
g ? (ty) 251 304 268 265 272 283 278 296
3 4 5 6 7 8
d gbT?d
fbgb ℄Z'{i^ b Z~qhTg b ' T?
3.
bI
g T R3 R6
A
B
R1
C
R2 R8
D
R7
E
R4
d 4. 8T bT I
114 8!O H'^5<GI1/
:
g
e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A).
e
R3 (A) ≻ R6 (A) 1 8 2 7 4
Z v b
l 3.3 Heb = r %r +J Ae Bg F l+J~
{
Æ7BA b , '( _>?l A b'TLvp 7 mg R , 1 ≤
bo b
pb b o
i ≤ 7 >g h?lb mF'TL2< 7b ( C ? S
8Pg &Y N
1
b i
7
P
( Ai − max{Ri (A1 )|1 ≤ i ≤ 7} − min{Ri (A1 )|1 ≤ i ≤ 7}
i=1
S= ,
5
Ri (A1 ) − S
Ni = 100 − t × | | × 100, 1 ≤ i ≤ 7,
S
Ri (A1 ) − S > 0
t = 6 Ri (A1 ) − S < 0
t = 3
)7&Y&
F
) *?nz
XCfb7 mg ' F l+J~
{Æ7
ZZ
B A ℄ %r N$ 8v^Z~g ' ? 5
b
b T d
g
A (ty)
b R1 R2 R3
3518 3448 3682 3652 3490 3731 3436
R4 R5 R6 R7
1
d gbT?d
Æg b &Y
5.
_qa8PTL&# S = 3558
b
g
&Y
N1 N2 N3 N4
96.70 91.27 79.12 84.16 94.27 73.84 89.68
N5 N6 N7
d T?&Yd
b
6.
zg XCT{
e ≻ R (A)
R1 (A) e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A)
e ≻ R (A).
e
5 2 7 4 3 6
3.2.2. ( Y _7, ` D
_(GIE<1VZ 115
1 fi M*TI<I}Pu =Æ Ll L v B . LFt
min F (f1 (̟), f2 (̟), · · · , fm (̟)),
̟
R (A),
j
b b
i
B +J Ae g T R (A),
j
e 1 ≤ i ≤ k 'MlC
i
i
m
X
F (̟(A1), f2 (̟(A1)), · · · , fm (̟(A1 ))) = (1 + (l(Ai ) − l0 (Ai )))̟(A1).
i=2
72F-
4.
l, s, 1 ≤ l, s ≤ k R (A) l
e ' R (A)
e ≻ R (A)
s
e )p R (ω(A))
e ≈ R (A) e > R (ω(A))
l
e '
s l s
e ' R (A ) ≻ R (A ) ' R (A ) ≈ R (A ), 1 ≤ i ≤ m )p
| b
R (ω(A)) e = R (ω(A))
l s l i s i l i s i
J A , 1 ≤ i ≤ m '℄mF
i
L![7L R , S
R1 (A1 ) + R2 (A1 ) + · · · + Rk (A1 )
S=
k
_(GIE<1VZ 117
R1 (A1 )+R2 (A1 )+···+Rk (A1 )−M −N
k−2
, k ≥ 5,
S=
R1 (A1 )+R2 (A1 )+···+Rk (A1 )
, 3≤k≤4
k
uLL B #^C
R1 (A1 ) + R2 (A1 ) + · · · + Rk (A1 )
S = T × A% + × (1 − A%).
k
1Ri (A1), i = 1, 2, · · · , k M*L5,k %Lp = &IM N N% `
`? L5,T %L B ,%A% %L B ,%u7L R , 7 b f = }fT
I Ri(ω(A1)), 1 ≤ i ≤ k = ![0)%
Ri (A1 ) − S
Ri (ω(A1 )) = −ς × +ζ
S
1ς % sIi ζ %%&' ω(A1) ≥ 0 = sI %![ zq *5
, q1h Ww ^CI/! =zq
,[
` K℄%$- ,% = %
Lp5, = [D4yI0 %$Æ L 7= L5,V1% ; ℄
.<>5,
LmqLLp =E >e[< ' ; < ' u} h [rKV^C R z
q $db,
w
G ^ B;zq VL1% ; 7" i}
w
F}
&p Æ Lp = ,%<[7rs[
,^CwKfTI
(1) A [N, M] '%?F
Ri (A1 ) − N
z z
Ri (ω(A1)) = −p × + q,
M −N
p {Y FD {℄m. ' F2 TL
Bg bT ?b) ~?l *
q Ri (ω(A1 )) ≥ 0, 1 ≤ i ≤ k
B P
(2) A [N, M] 'V%?F
P
k
T+ Ri (A1 )
j=1
Ri (A1 ) − k+1
Ri (ω(A1)) = −p × q,
+
q
Ri (A1 ) − k+1
R1 (A1 )R2 (A1 ) · · · Rk (A1 )T
Ri (ω(A1 )) = −p × q +q
k+1
R1 (A1 )R2 (A1 ) · · · Rk (A1 )T
'
118 8!O H'^5<GI1/
:
r
R21 (A1 )+R22 (A1 )+···+R2k (A1 )+T 2
Ri (A1 ) − k+1
Ri (ω(A1 )) = −p × r +q
R21 (A1 )+R22 (A1 )+···+R2k (A1 )+T 2
k+1
) p, q
d
wKVd
5, = J 1l}z
,^
5, = k + 1 h Z)aT
* R L5,% k + 1 h Z)
f (x) = ak+1 xk+1 + ak xk + · · · + a1 x + a0
,b%TvTI
Ri (ω(A2 )) = Ri (ω(a21 )) + Ri (ω(a22 )) + · · · + Ri (ω(a2n2 )).
_(GIE<1VZ 119
M 7. z 4 d : =;
wK%&L R =Rv7OK% R (ω(a )) = A,R (ω(a
i i 21 i 22 )) = B, Ri (ω(a23 ))
= B,R (ω(a )) = A }Lp =z ; %
i 24
7 qpz2[J Æ LL q
LO h= %9*
u 7 J Æ LLIZ
q2 v? z vd
B% ) X0 +℄ Tq W = %"T6Q
%du%$-
7 D{Pw = 1qwV#[sF v /Dz V q W 9= ; 9i 1
2o d &1q[s%d X AVn\
S9 1: y =>1jÆ.\ 5> 1 (Æ L1%_?/ > = < `i V
1 = ? $ 1 = <I R +u q Wfv1! Z = 0 ℄ = %9M{
7 JJ Æ L ) L% ; ,r) + tv, [ <[ + t_?/ = _/
& Kz B Æ L [ LrÆ LL ) ) [- U 2 bXLb D Pw
V &1qD{&p q W R +r&Z Æ LV_?/ = 1q)R Æ Lp
120 8!O H'^5<GI1/
:
[2]
1986.
s
}h Lw
zq !r FH; , E IV u E 77 01357-1410q
7 -f
*1987
[3] P.C.Fishburn, Utility Theory for Decision Making, New York, Wiley, 1970.
[4] D.L.Lu, X.S.Zhang and Y.Y.Mi, An offer model for civil engineering construc-
tion, Chinese OR Transaction, Vol.5, No.4(2001)41-52.
[5] L.F.Mao, On Automorphisms groups of Maps, Surfaces and Smarandache ge-
ometries, Sientia Magna, Vol.1(2005), No.2, 55-73.
[6] L.F.Mao, Automorphism Groups of Maps, Surfaces and Smarandache Geome-
tries, American Research Press, 2005.
[8] b I
[7] L.F.Mao, Smarandache multi-space theory, Hexis, Phoenix, AZ 2006.
gG s / r I+J%r 7uu Y –Smarandache 3 A
bD;Xiquan Publishing House (Chinese Branch), America, 2006.
[9] F.Smarandache, Mixed noneuclidean geometries, eprint arXiv: math/0010119,
10/2000.
[10] F.Smarandache, A Unifying Field in Logics. Neutrosopy: Neturosophic Proba-
bility, Set, and Logic, American research Press, Rehoboth, 1999.
[11] F.Smarandache, Neutrosophy, a new Branch of Philosophy, Multi-Valued Logic,
Vol.8, No.3(2002)(special issue on Neutrosophy and Neutrosophic Logic), 297-
384.
[12] F.Smarandache, A Unifying Field in Logic: Neutrosophic Field, Multi-Valued
Logic, Vol.8, No.3(2002)(special issue on Neutrosophy and Neutrosophic Logic),
385-438.
122 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Linfan Mao
Yanpei Liu
(Institute of Applied Mathematics, Beijing Jiaotong University, Beijing,100044, P.R.China)
Feng Tian
{IDM2
℄m,j7℄mj ' Q tsO,℄ms,
jz7℄msj
.
' Qts_sj'60Æ
2-
s,j'FJ
Key words: embedding, complete map, isomorphism, automorphism group,
Burnside Lemma.
Classification: AMS(2000) 05C10,05C25, 05C30
1
Finished in May, 2004, e-print: arXiv: math.GM/0607790
The Number of Complete Maps on Surfaces 123
1. Introduction
All surfaces considered in this paper are 2-dimensional compact closed manifolds
without boundary, graphs are connected and simple graphs with the maximum va-
lency ≥ 3 and groups are finite. For terminologies and notations not defined here
can be seen in [21] for maps, [20] for graphs and in [2] for permutation groups.
The enumeration of rooted maps on surfaces, especially, the sphere, has been
intensively investigated by many researchers after the Tutte’s pioneer work in 1962
(see [21]). Comparing with rooted maps, observation for the enumeration of un-
rooted maps on surface is not much. By applying the automorphisms of the sphere,
Liskovets gave an enumerative scheme for unrooted planar maps(see [12]). Liskovets,
Walsh and Liskovets got many enumeration results for general planar maps, regular
planar maps, Eulerian planar maps, self-dual planar maps and 2-connected planar
maps, etc (see [12] − [14]).
General results for the enumeration of unrooted maps on surface other than
sphere are very few. Using the well known Burnside Lemma in permutation group
theory, Biggs and White presented a formula for enumerating non-equivalent em-
beddings of a given graph on orientable surfaces[2] , which are the classification of em-
beddings by orientation-preserving automorphisms of orientable surfaces. Following
their idea, the numbers of non-equivalent embeddings of complete graphs,complete
bipartite graphs, wheels and graphs whose automorphism group action on its or-
dered pair of adjacent vertices is semi-regular are gotten in references [15] − [16], [20]
and [11]. Although this formula is not very efficient and need more clarifying for the
actual enumeration of non-equivalent embeddings of a graph, the same idea is more
practical for enumerating rooted maps on orientable or non-orientable surfaces with
given underlying graphs(see [8] − [10]).
For projective maps with a given 3-connected underlying graph, Negami got an
enumeration result for non-equivalent embeddings by establishing the double planar
covering of projective maps(see [18]). In [7], Jin Ho Kwak and Jaeun Lee obtained
the number of non-congruent embeddings of a graph, which is also related to the
topic discussed in this paper.
Combining the idea of Biggs and White for non-equivalent embeddings of a
graph on orientable surfaces and the Tutte’s algebraic representation for maps on
124 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
STEP 2. Calculation the the fixing set F ix(ς) for each automorphism ς of
maps;
Notice that this programming can be used for orientable or non-orientable sur-
faces, respectively and get the numbers of orientable or non-orientable unrooted
maps underlying a given graph.
The main purpose of this paper is to enumerate the orientable or non-orientable
complete maps. In 1971, Biggs proved[1] that the order of automorphism group of
an orientable complete map of order n divides n(n − 1), and equal n(n − 1) only if
the automorphism group of the complete map is a Frobenius group. In this paper,
we get a representation by the permutation on its vertices for the automorphisms of
orientable or non-orientable complete maps. Then as soon as we completely calculate
the fixing set F ix(ς) for each automorphism ς of complete maps, the enumeration
of unrooted orientable or non-orientable complete maps can be well done by our
programming.
The problem of determining which automorphism of a graph is an automor-
phism of a map is also interesting for Riemann surfaces or Klein surfaces - surfaces
equipped with an analytic or dianalytic structure, for example, automorphisms
of Riemann or Klein surfaces have be given more attention since 1960s, see for
example,[3] − [4], [6], [17], but it is difficult to get a concrete representation for an
automorphism of Riemann or Klein surfaces. The approach used in this paper can be
also used for combinatorial discussion automorphisms of Riemann or Klein surface.
Terminologies and notations used in this paper are standard. Some of them are
mentioned in the following.
For a given connected graph Γ, an embedding of Γ is a pair (J , λ), where J is
a rotation system of Γ, and λ : E(Γ) → Z2 . The edge with λ(e) = 0 or λ(e) = 1 is
The Number of Complete Maps on Surfaces 125
Fig.1
The four vertices of this map are {(x, y, z), (αx, αz, αy)}, {(αβx, u, w), (βx, αw, αu)},
{(αβz, αβu, v), (βz, αv, βu)} and {(αβy, αβv, αβw), (βy, βw, βv)} and six edges are
{e, αe, βe, αβe} for ∀e ∈ {x, y, z, u, v, w}.
1 2
Two maps M1 = (Xα,β , P1 ) and M2 = (Xα,β , P2 ) are said to be isomorphic if
1 2 1
there exists a bijection τ : Xα,β −→ Xα,β such that for ∀x ∈ Xα,β ,τ α(x) = ατ (x),
τ β(x) = βτ (x) and τ P1 (x) = P2 τ (x). τ is called an isomorphism between them. If
M1 = M2 = M, then an isomorphism between M1 and M2 is called an automorphism
of M. All automorphisms of a map M form a group, called the automorphism group
of M and denoted by AutM. Similarly, two rooted maps M1r , M2r are said to be
isomorphic if there is an isomorphism θ between them such that θ(r1 ) = r2 , where
r1 , r2 are the roots of M1r , M2r , respectively and denote the automorphism group of
M r by AutMr . It has been known that AutMr is a trivial group.
According to their action, isomorphisms between maps can divided into two
classes: cyclic order-preserving isomorphism and cyclic order-reversing isomorphism,
defined as follows, which is useful for determining automorphisms of a map under-
lying a graph.
For two maps M1 and M2 , a bijection ξ between M1 and M2 is said to be cyclic
1
order-preserving if for ∀x ∈ Xα,β ,τ α(x) = ατ (x), τ β(x) = βτ (x), τ P1 (x) = P2 τ (x)
and cyclic order-reversing if τ α(x) = ατ (x), τ β(x) = βτ (x) τ P1 (x) = P2−1 τ (x).
Now let Γ be a connected graph. The notations E O (Γ), E N (Γ) and E L (Γ) denote
the embeddings of Γ on the orientable surfaces, non-orientable surfaces and locally
surfaces, M(Γ) and AutΓ denote the set of non-isomorphic maps underlying Γ and
its automorphism group, respectively.
A permutation p on set Ω is called semi-regular if all of its orbits have the same
length. For a given connected graph Γ, ∀g ∈ AutΓ, M = (Xα,β , P) ∈ M(Γ), define
an extended action of g on M to be
The Number of Complete Maps on Surfaces 127
g ∗ : Xα,β −→ Xα,β ,
∗
such that M g = gMg −1 with gα = αg and gβ = βg.
We have already known the following two results.
Theorem 2.1 For a connected graph Γ, let E ⊂ E L(Γ). Then the number n(E, Γ)
of unrooted maps in E is
1 X
n(E, Γ) = |Φ(g)|,
|AutΓ × hαi | g∈AutΓ×hαi
where, Φ(g) = {P|P ∈ E and P g = P}.
128 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
1 X
n(E, Γ) = |Φ(g)|. ♮
|AutΓ × hαi | g∈AutΓ×hαi
Corollary 2.1 For a given graph Γ, the numbers of unrooted maps in E O (Γ), E N (Γ)
and E L(Γ) are
1 X
nO (Γ) = |ΦO (g)|; (2.1)
|AutΓ × hαi | g∈AutΓ×hαi
1 X
nN (Γ) = |ΦN (g)|; (2.2)
|AutΓ × hαi | g∈AutΓ×hαi
1 X
nL (Γ) = |ΦL (g)|, (2.3)
|AutΓ × hαi | g∈AutΓ×hαi
where, ΦO (g) = {P|P ∈ E O (Γ) and P g = P}, ΦN (g) = {P|P ∈ E N (Γ) and P g =
P}, ΦL (g) = {P|P ∈ E L(Γ) and P g = P}.
Corollary 2.2 Let E(S, Γ) be the embeddings of Γ in the surface S, then the number
n(Γ, S) of unrooted maps on S with underlying gΓ is
1 X
n(Γ, S) = |Φ(g)|,
|AutΓ × hαi | g∈AutΓ×hαi
Directly using these formulae (2.1)-(2.3) to count unrooted maps with a given
underlying graph is not straightforward. More observation should be considered.
The following two lemmas give necessary conditions for an induced automorphism
of a graph Γ to be an cyclic order-preserving automorphism of a surface.
The Number of Complete Maps on Surfaces 129
Proof For a subgroup H < AutM, we know that |H| = |xH ||Hx |. Since
Hx < AutMx , where M x is a rooted map with root x, we know that |Hx | = 1 by
Lemma 2.1. Whence, |xH | = |H|. Now take H = AutM or < g >, we get the
assertions (i) and (ii). ♮
Lemma 2.5 Let Γ be a connected graph and g ∈ AutΓ. If there is a map M ∈ E L (Γ)
such that the induced action g ∗ ∈ AutM, then for ∀(u, v), (x, y) ∈ E(Γ),
where, lg (w) denotes the length of the cycle containing the vertex w in the cycle
decomposition of g and [a, b] the least common multiple of integers a and b.
Proof According to Lemma 2.4, we know that the length of any quadricell uv+
or uv− under the action of g ∗ is [lg (u), lg (v)]. Since g ∗ is an automorphism of map,
therefore, g ∗ is semi-regular. Whence, we get that
(ξα)α = α(ξα).
Y
ξ= (x1 , x2 , · · · , xk )(αx1 , αx2 , · · · , αxk ),
k
Q
where, k denotes the product of disjoint cycles with length k = o(ξ).
Therefore, if k ≡ 0(mod2), we get that
Y
ξα = (x1 , αx2 , x3 , · · · , αxk )
k
Y
ξα = (x1 , αx2 , x3 , · · · , xk , αx1 , x2 , αx3 , · · · , αxk ).
2k
Now we can prove the following result for cyclic order-reversing automorphisms
of maps.
Lemma 2.8 For a connected graph Γ, let K be all automorphisms in AutΓ whose
extending action on Xα,β , X = E(Γ), are automorphisms of maps underlying the
graph Γ. Then for ∀ξ ∈ K, o(ξ ∗) ≥ 2, ξ ∗ α ∈ K if and only if o(ξ ∗) ≡ 0(mod2).
P = C1 C2 · · · Ck ,
where,Ci = (xi1 , xi2 , · · · , xiji ) is a cycle in the decomposition of ξ|V (Γ) and xit =
{(ei1 , ei2 , · · · , eiti )(αei1 , αeiti , · · · , αei2 )},
ξ|E(Γ) = (e11 , e12 , · · · , es1 )(e21 , e22 , · · · , e2s2 ) · · · (el1 , el2 , · · · , elsl ),
and
ξ ∗ = C(αC −1 α),
The Number of Complete Maps on Surfaces 131
where, C = (e11 , e12 , · · · , es1 )(e21 , e22 , · · · , e2s2 ) · · · (el1 , el2 , · · · , elsl ). Now since ξ ∗ is
an automorphism of a map, we get that s1 = s2 = · · · = sl = o(ξ ∗ ) = s.
If o(ξ ∗ ) ≡ 0(mod2), define a map M ∗ = (Xα,β , P ∗ ) with
[
Xα,β (Kn ) = {ij+ : 1 ≤ i, j ≤ n, i 6= j} {ij− : 1 ≤ i, j ≤ n, i 6= j},
Y
α= (ij+ , ij− ),
1≤i,j≤n,i6=j
Y
β= (ij+ , ij+ )(ij− , ij− ).
1≤i,j≤n,i6=j
Recall that the automorphism group of Kn is just the symmetry group of de-
gree n, i.e., AutKn = Sn . The above representation enables us to determine all
automorphisms of complete maps of order n on surfaces.
E[s ns ] , E n−1 ,
[1,s s ]
where, Eθ denotes the conjugate class containing element θ in the symmetry group
Sn
[
ξ ∈ Es ns E n−1
[1,s s ]
Assume the cycle index of ξ is [1k1 , 2k2 , ..., nkn ]. If there exist two integers
ki , kj 6= 0, and i, j ≥ 2, i 6= j, then in the cycle decomposition of ξ , there are two
cycles
Since
[lξ (u1 ), lξ (u2)] = i and [lξ (v1 ), lξ (v2 )] = j
If there is a cycle (w, ...) in the cycle decomposition of ξ whose length greater
or equal to two, we get that
Now we only need to prove that for each element ξ in E n−1 and E[s ns ] , there
[1,s s ]
Case 1 ξ ∈ E[s ns ]
[
1
Xα,β = {ij+ : 1 ≤ i, j ≤ n, i(j} {ij− : 1 ≤ i, j ≤ n, i 6= j},
Y
P1 = (C(x))(αC(x)−1 α),
x∈{a,b,···,c,···,x,y,···,z,u,v,···,w}
where,
C(x) = (xa+ , · · · , xx∗ , · · · , xu+ , xb+ , xy+ , · · · , · · · , xv+ , xc+ , · · · , xz+ , · · · , xw+ ),
αC(x)−1 α = (xa− , xw− , · · · , xz− , · · · , xc− , xv− , · · · , xb− , xu− , · · · , xy− , · · ·).
∗
It is clear that M1ξ = M1 . Therefore, ξ ∗ is an cyclic order-preserving automor-
phism of the map M1 .
where, the length of each cycle is k beside the final cycle, and 1 ≤ a, b...c, x, y..., z,
u, v, ..., w, t ≤ n . In this case, we construct a non-orientable complete map M2 =
2
(Xα,β , P2 ) as follows.
[
2
Xα,β = {ij+ : 1 ≤ i, j ≤ n, i 6= j} {ij− : 1 ≤ i, j ≤ n, i 6= j},
Y
P2 = (A)(αA−1 ) (C(x))(αC(x)−1 α),
x∈{a,b,...,c,...,x,y,...z,u,v,...,w}
where,
A = (ta+ , tx+ , ...tu+ , tb+ , ty+ , ..., tv+ , ..., tc+ , tz+ , ..., tw+ ),
αA−1 α = (ta− , tw− , ...tz− , tc− , tv− , ..., ty− , ..., tb− , tu− , ..., tx− ),
C(x) = (xa+ , ..., xx∗ , ..., xu+ , xb+ , ..., xy+ , ..., xv+ , ..., xc+ , ..., xz+ , ..., xw+ )
and
αC(x)−1 α = (xa− , xw− , .., xz− , ..., xc− , ..., xv− , ..., xy− , ..., xb− , xu− , ...).
∗
It is also clear that M2ξ = M2 . Therefore, ξ ∗ is an automorphism of the map
M2 .
ξ∈E n1 n−n1 .
[k k ,(2k) 2k ]
Case 3 n1 = n
Without loss of generality, we can assume the cycle decomposition of ξ has the
following form in this case.
The Number of Complete Maps on Surfaces 135
Y
P3 = (C(i))(αC(i)−1 α),
i∈{1,2,···,n}
C(i) = (i1+ , ik+1+ , · · · , in−k+1+ , i2+ , · · · , in−k+2+ , · · · , ii∗ , · · · , ik+ , i2k+ , · · · , in+ ),
C(i) = (i1− , ik+1− , · · · , in−k+1− , i2− , · · · , in−k+2− , · · · , ii∗ , · · · , ik− , i2k− , · · · , in− ),
Where, ii∗ denotes the empty position, for example, (21 , 22∗ , 23 , 24 , 25) = (21 , 23 , 24 , 25 ).
It is clear that P3ξα = P3 , that is, ξα is an automorphism of map M3 .
Case 4 n1 6= n
Consider the orbits of 12+ and n1 + 2k + 11+ under the action of < ξα >, we
get that
|orb((12+ )<ξα> )| = k
and
ξ ∈ E[1n1 ,2n2 ] .
where, l1i ∈ {+2, −2, +3, −3, · · · , +n, −n} and l1i 6= l1j if i 6= j.
Then we get that
4
M4 = (Xα,β , P4 ),
where,
P4 = (12+ , 13+ , 14+ )(21+ , 23+ , 24+ )(31+ , 32+ , 34+ )(41+ , 42+ , 43+ )
× (12− , 14− , 13− )(21− , 24− , 23− )(31− , 34− , 32− )(41− , 43− , 42− ).
E[s ns ] , E n−1
[1,s s ]
E[s ns ] , E n−1
[1,s s ]
Proof The proof is similar to that of Theorem 3.1. For completion, we only
need to construct orientable maps MiO , i = 1, 2, 3, 4 to replace these non-orientable
maps M1 , i = 1, 2, 3, 4 in the proof of Theorem 3.1.
In fact, for cyclic order-preserving case, we only need to take M1O , M2O to be
the resultant maps eliminating the signs + - in M1 , M2 constructed in the proof of
Theorem 3.1.
For the cyclic order-reversing case, we take M3O = (E(Kn )α,β , P3O ) with
Y
P3 = (C(i)),
i∈{1,2,···,n}
where ii∗ denotes the empty position and M4O = (E(K4 )α,β , P4 ) with
It can be shown that (MiO )g∗ = MiO , i = 1, 2 and (MiO )ξα = MiO for i = 3, 4. ♮
All results in this section are useful for the enumeration of complete maps in
the next section.
We firstly consider the permutation and its stabilizer . The permutation with the
following form (x1 , x2 , ..., xn )(αxn , αx2 , ..., αx1 ) is called a pair permutation. The
following result is obvious.
Lemma 4.1 Let g be a permutation on the set Ω = {x1 , x2 , ..., xn } such that gα =
αg. If
The Number of Complete Maps on Surfaces 139
g(x1 , x2 , ..., xn )(αxn , αxn−1 , ..., αx1 )g −1 = (x1 , x2 , ..., xn )(αxn , αxn−1 , ..., αx1 ),
then
g = (x1 , x2 , ..., xn )k
and if
gα(x1 , x2 , ..., xn )(αxn , αxn−1 , ..., αx1 )(gα)−1 = (x1 , x2 , ..., xn )(αxn , αxn−1 , ..., αx1 ),
then
2φ(k)(n − 1)!
,
|E[k nk ] |
where φ(k) denotes the Euler function.
Proof Denote the number of stable pair permutations under the action of g
or gα by n(g) and C the set of pair permutations. Define the set A = {(g, C)|g ∈
E[k nk ] , C ∈ C and C g = C or C gα = C}. Clearly, for ∀g1 , g2 ∈ E[k nk ] , we have
n(g1 ) = n(g2 ). Whence, we get that
On the other hand, by Lemma 4.1, for any pair permutation C = (x1 , x2 , ..., xn )
(αxn , αxn−1 , ..., αx1 ), since C is stable under the action of g, there must be g =
(x1 , x2 , ..., xn )l or gα = (αxn , αxn−1 , ..., αx1 )l , where l = s nk , 1 ≤ s ≤ k and (s, k) =
1. Therefore, there are 2φ(k) permutations in E[k nk ] acting on it stable. Whence, we
also have
140 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
n n−1
L 1 X X 2α(n,k) (n − 2)! k X φ(k)2β(n,k)(n − 2)! k
n (Kn ) = ( + ) n + ,
2 k|n k|n,k≡0(mod2) k k ( nk )! k|(n−1),k6=1
n−1
where,
n(n−3)
2k
, if k ≡ 1(mod2);
α(n, k) =
n(n−2)
, if k ≡ 0(mod2),
2k
and
(n−1)(n−2)
2k
, if k ≡ 1(mod2);
β(n, k) = (n−1)(n−3)
2k
, if k ≡ 0(mod2).
Proof According to (2.3) in Corollary 2.1 and Theorem 3.1 for n ≥ 5, we know
that
1 X X
nL (Kn ) = ×( |Φ(g1 )| + |Φ(g2 α)|
2|AutKn | g1 ∈E n g2 ∈E n
[k k ] [(2s) 2s ]
X
+ |Φ(h)|)
h∈E n−1
[1,k k ]
1 X X
= × ( |E[k nk ] ||Φ(g1 )| + |E[l nl ] ||Φ(g2 α)|
2n! k|n l|n,l≡0(mod2)
X
+ |E n−1 ||Φ(h)|),
[1,l l ]
l|(n−1)
The Number of Complete Maps on Surfaces 141
n n
g = (1, 2, ..., k)(k + 1, k + 2, ..., 2k)...(( − 1)k + 1, ( − 1)k + 2, ..., n)
k k
and
Y Y
P= 1
× 2
,
where,
Y
1
= (1i21 , 1i31 , ..., 1in1 )(2i12 , 2i32 , ..., 2in2 )...(ni1n , ni2n , ..., ni(n−1)n ),
and
Y Y −1
2
= α( 1
)α−1
being a complete map which is stable under the action of g, where sij ∈ {k+, k−|k =
1, 2, ...n}.
Notice that the quadricells adjacent to the vertex ”1” can make 2n−2 (n − 2)!
different pair permutations and for each chosen pair permutation, the pair permu-
tations adjacent to the vertices 2, 3, ..., k are uniquely determined since P is stable
under the action of g.
Similarly, for each given pair permutation adjacent to the vertex k + 1, 2k +
1, ..., ( nk − 1)k + 1, the pair permutations adjacent to k + 2, k + 3, ..., 2k and 2k +
2, 2k + 3, ..., 3k and,...,and ( nk −1)k + 2, ( nk −1)k + 3, ...n are also uniquely determined
because P is stable under the action of g.
Now for an orientable embedding M1 of Kn , all the induced embeddings by
exchanging two sides of some edges and retaining the others unchanged in M1 are
the same as M1 by the definition of maps. Whence, the number of different stable
embeddings under the action of g gotten by exchanging x and αx in M1 for x ∈
S n
U, U ⊂ Xβ , where Xβ = {x, βx} , is 2g(ε)− k , where g(ε) is the number of
x∈E(Kn )
n
orbits of E(Kn ) under the action of g and we substract k
because we can chosen
2+ 1+ 1+ 1+
1 , k + 1 , 2k + 1 , · · · , n − k + 1 first in our enumeration.
142 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Notice that the length of each orbit under the action of g is k for ∀x ∈ E(Kn )
k k
if k is odd and is 2
for x = ii+ 2 , i = 1, k + 1, · · · , n − k + 1, or k for all other edges
if k is even. Therefore, we get that
ε(Kn )
k
, if k ≡ 1(mod2);
g(ε) = ε(Kn )− n
2
, if k ≡ 0(mod2).
k
and
n
|Φ(g)| = 2α(n,k) (n − 2)! k , (4.3)
n
|Φ(gα)| = 2α(n,k) (n − 2)! k (4.4)
Where
ε(Kn−1 ) n−1 (n−1)(n−4)
k
− k
= 2k
, if k ≡ 1(mod2);
β(n, k) = h(ε) =
ε(Kn−1 )
− n−1
= (n−1)(n−3)
, if k ≡ 0(mod2).
k k 2k
1 X X
nL (Kn ) = × ( |E[k nk ] ||Φ(g0 )| + |E[l nl ] ||Φ(g1 α)|
2n! k|n l|n,l≡0(mod2)
The Number of Complete Maps on Surfaces 143
X
+ |E n−1 ||Φ(h)|)
[1,l l ]
l|(n−1)
n n
1 X n!2α(n,k) (n − 2)! k X n!2α(n,k) (n − 2)! k
= ×( n n + n
2n! k|n k k ( k )! k|n,k≡0(mod2) k k ( nk )!
n−1
X n! 2φ(k)(n − 2)!2β(n,k) (n − 2)! k
+ n−1 × (n−1)!
)
k|(n−1),k6=1 k k ( n−1
k
)! n−1
k k ( n−1
k
)!
n n−1
1 X X 2α(n,k) (n − 2)! X φ(k)2β(n,k)(n − 2)!
k k
= ( + ) n n + .
2 k|n k|n,k≡0(mod2) k k ( k )! k|(n−1),k6=1
n−1
For orientable complete maps, we get the number nO (Kn ) of orientable complete
maps of order n as follows.
n n−1
O 1 X X (n − 2)! k X φ(k)(n − 2)! k
n (Kn ) = ( + ) n n + .
2 k|n k|n,k≡0(mod2) k k ( k )! k|(n−1),k6=1
n−1
and n(K4 ) = 3.
n n−1
1 X X (n − 2)! k X φ(k)(n − 2)! k
nO (Kn ) = ( + ) n n + .
2 k|n k|n,k≡0(mod2) k k ( k )! k|(n−1),k6=1
n−1
Notice that nO (Kn )+nN (Kn ) = nL (Kn ). Therefore, we can also get the number
nN (Kn ) of unrooted complete maps of order n on non-orientable surfaces by Theorem
4.1 and Theorem 4.2.
144 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
n
N 1 X X (2α(n,k) − 1)(n − 2)! k
n (Kn ) = ( + ) n
2 k|n k|n,k≡0(mod2) k k ( nk )!
n−1
X φ(k)(2β(n,k) − 1)(n − 2)! k
+ ,
k|(n−1),k6=1
n−1
and nN (K4 ) = 8. Where, α(n, k) and β(n, k) are same as in Theorem 4.1.
For n = 5, calculation shows that nL (K5 ) = 1080 and nO (K5 ) = 45 based
on Theorem 4.1 and 4.2. For n = 4, there are 3 unrooted orientable maps and 8
non-orientable maps shown in the Fig.2.
Fig.2
The Number of Complete Maps on Surfaces 145
References
No.2(2005), 225-236.
[12] V.A.Liskovets, Enumeration of non-isomorphic planar maps,Sel.Math.Sov., 4;4
(1985), 303 323.
[13] V.A.Liskovets, A reductive technique for Enumerating non-isomorphic planar
maps,Discrete Math, 156(1996), 197 217.
[14] V.A.Liskovets and T.R.S.Walsh, The enumeration of non-isomorphic 2-connected
planar maps,Canad.J.Math., 35(1983), 417 435.
[15] B.P.Mull,R.G.Rieper and A.T.White, Enumeration 2-cell imbeddings of con-
nected graphs,Proc.Amer.Math.Soc., 103(1988), 321 330.
[16] B.P.Mull, Enumerating the orientable 2-cell imbeddings of complete bipartite
graphs, J.Graph Theory, vol 30, 2(1999),77-90.
[17] K. Nakagama, On the order of automorphisms of a closed Riemann surface,
Pacific J. Math., vol.115,No.2,435-443(1984)
[18] S.Negami, Enumeration of projective -planar embeddings of graphs, Discrete
Math, 62(1986), 299 306.
[19] W.T.Tutte, What is a maps? in New Directions in the Theory of Graphs (ed.by
F.Harary), Academic Press (1973), 309 325.
[20] A.T.White, Graphs of Group on Surfaces- interactions and models, Elsevier
Science B.V. (2001).
[21] Yanpei Liu, Enumerative Theory of Maps, Kluwer Academic Publisher, Dor-
drecht / Boston / London (1999).
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 147
Yanpei Liu
DDL
! Cayley DD ?-FM2
d [
z. ℄m,j7℄mbj' 2- tsjm Tutte \'
,j'F 1TL \8Fj 7,u 7,
Q i
i
)?s'8PTLb 7( j{ Cayley j Γ = Cay(G :
S) AutΓ ∼
= G × H ',j H
w P Γ 7,u [
i i
7, )?s'8Pt0
)mp#
' GRR d
1
Finished in Nov.,2001, e-print: arXiv: math.GM/0607791
148 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
ÆN
' GRR j'7, 7,' )?s i |i }
Key words: embedding, map, finite group, Cayley graph, graphical regular
representation, automorphism group, Burnside Lemma.
1. Introduction
Maps originate from the decomposition of surfaces. A typical example in this field
is the Heawood map coloring theorem. Combinatorially, a map is a connected topo-
logical graph Γ cellularly embedded in a surface. Motivated by the four color prob-
lem, the enumeration of maps on surfaces, especially, the planar rooted maps, has
been intensively investigated by many researchers after the Tutte’s pioneer work
in 1962 (see [10]). By using the automorphisms of the sphere, Liskovets gives an
enumerative scheme for unrooted planar maps[8] . Liskovets, Walsh and Liskovets
got many enumeration results for general planar maps, regular planar maps, Eu-
[7]−[9]
lerian planar maps, self-dual planar maps and 2-connected planar maps, etc .
Applying the well-known Burnside Lemma in permutation groups and the Edmonds
embedding scheme[2] , Biggs and White presented a formula for enumerating the non-
equivalent maps (also a kind of unrooted maps) of a graph on orientable surfaces(see
[1],[14],[19]), which has been successfully used for the complete graphs, wheels and
complete bipartite graphs by determining the fix set Fv (α) for each vertex v and
automorphism α of a graph[14]−[15],[19].
Notice that Biggs and White’s formula can be only used for orientable surfaces.
For counting non-orientable maps of graphs, new mechanism should be devised.
In 1973,Tutte presented an algebraic representation for maps on locally orientable
surface([10],[17]−[18]) . Applying the Tutte’s map representation, a general scheme for
enumerating the non-equivalent maps of a graph on surfaces can be established
(Lemma 3.1 in section 3), which can be used for orientable or non-orientable sur-
faces. This enumeration scheme has been used to enumerate complete maps on sur-
faces (orientable,non-orientable or locally orientable) by determining all orientation-
preserving automorphisms of maps of a complete graph[13] . In orientable case, re-
sult is the same as in [14]. The approach of counting orbits under the action of a
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 149
permutation group is also used to enumerate the rooted maps and non-congruent
embeddings of a graph[6],[11],[16] . Notice that an algebraic approach for construction
non-hamiltonian cubic maps on every surface is presented in [12]. The main purpose
of this paper is to enumerate the non-equivalent maps of Cayley graph Γ of a finite
group G satisfying AutΓ = R(G) × H ∼ = G × H on orientable, non-orientable or lo-
cally orientable surfaces, where H is a subgroup of AutΓ. For this objective, we get
all orientation-preserving automorphisms of maps of Γ in the Section 2. The scheme
for enumerating non-equivalent maps of a graph is re-established in Section 3. Us-
ing this scheme, results for non-equivalent maps of Cayley graphs are obtained. For
concrete examples, in Section 4, we calculate the numbers of non-equivalent maps of
GRR graphs for symmetric groups, groups generated by 3 involutions and abelian
groups. Terminologies and notations used in this paper are standard. Some of them
are mentioned in the following.
All surfaces are 2-dimensional compact closed manifolds without boundary,
graphs are connected and groups are finite in the context.
For a finite group G, choose a subset S ⊂ G such that S −1 = S and 1G 6∈ S,
the Cayley graph Γ = Cay(G : S) of G with respect to S is defined as follows:
V (Γ) = G;
E(Γ) = {(g, sg)|g ∈ G, s ∈ S}.
It has been shown that Γ is transitive, the right regular representation R(G) is a
subgroup of AutΓ and it is connected if and only if G = hSi. If there exists a Cayley
set S such that Aut(Cay(G : S)) = R(G) ∼ = G, then G is called to have a graphical
regular representation, abbreviated to GRR and say Cay(G : S) is the GRR graph of
the finite group G. Notice that which groups have GRR are completely determined
(see [4] − [5] and [21] for details).
A map M = (Xα,β , P) is defined ] to be a permutation P acting on Xα,β of a
disjoint union of quadricells Kx of x ∈ X , where K = {1, α, β, αβ} is the Klein
group, satisfying the following conditions:
(i) for ∀x ∈ Xα,β , there does not exist an integer k such that P k x = αx;
(ii) αP = P −1 α;
(iii) the group ΨJ = hα, β, Pi is transitive on Xα,β .
According to the condition (ii), the vertices of a map are defined to be the
pairs of conjugate of P action on Xα,β and edges the orbits of K on Xα,β . For
150 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
example, {x, αx, βx, αβx} is an edge for ∀x ∈ Xα,β of M. Geometrically, any map
M is an embedding of a graph Γ on a surface ( see also [10], [17] − [18] ), denoted by
M = M(Γ) and Γ = Γ(M). The graph Γ is called the underlying graph. If r ∈ Xα,β
is marked beforehand, then M is called a rooted map, denoted by M r .
For example, the graph K4 on the tours with one face length 4 and another 8
shown in Fig. 1,
Fig.1
The four vertices of this map are {(x, y, z), (αx, αz, αy)}, {(αβx, u, w), (βx, αw, αu)},
{(αβz, αβu, v), (βz, αv, βu)} and {(αβy, αβv, αβw), (βy, βw, βv)} and six edges are
{e, αe, βe, αβe} for ∀e ∈ {x, y, z, u, v, w}.
1 2
Two maps M1 = (Xα,β , P1 ) and M2 = (Xα,β , P2 ) are called to be isomorphic if
1 2 1
there exists a bijection τ : Xα,β −→ Xα,β such that for ∀x ∈ Xα,β ,τ α(x) = ατ (x),
τ β(x) = βτ (x) and τ P1 (x) = P2 τ (x) and τ is called an isomorphism between
them. Similarly, two maps M1 , M2 are called to be equivalent if there exists an
1
isomorphism ξ between M1 and M2 such that for ∀x ∈ Xα,β , τ P1 (x) 6= P2−1 τ (x).
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 151
Proof According to the Tutte’s algebraic representation for maps, we can as-
sume that M = (Xα,β , P) with X = E(Γ). For ∀x, y ∈ V (M), we know that
xτ = {(τ (e1 ), τ (e2 ), · · · , τ (es )), (ατ (es ), ατ (es−1), · · · , ατ (e1 ))};
y τ = {(τ (e1 ), τ (e2 ), · · · , τ (et )), (ατ (et ), ατ (et−1 ), · · · , ατ (e1 ))}.
Therefore,
Proof For any subgroup H ≺ AutM, we know that |H| = |xH ||Hx |. Since
Hx ≺ AutMx by definition, where M x is the rooted map with root x, and AutMx is
trivial, we know that |Hx | = 1. Whence, |xH | = |H|. Now take H = AutM or hgi,
we get the assertions (i) and (ii). ♮
For ∀g ∈ AutΓ, M = (Xα,β , P) ∈ M(Γ), define an extending action of g on M
by
g ∗ = g |Xα,β : Xα,β −→ Xα,β ,
∗
such that M g = gMg −1 and gα = αg, gβ = βg. A permutation p on set Ω is called
semi-regular if all of its orbits have the same length. Whence, an automorphism of
a map is semi-regular. The next result is followed by Lemma 2.1 and the definition
of extending action of elements in AutΓ gives a necessary and sufficient condition
for an automorphism of a map to be an orientation-preserving automorphism of this
map.
Y
α= (g sg+ , g sg−);
g∈G,s∈S
Y
β= (g sg+ , (sg)g+)(g sg− , (sg)g− ).
g∈G,s∈S
Proof The proof is divided into two parts. First, we prove each automorphism
of the graph Γ is semi-regular and second, construct a stable embedding of Γ for
∀θ ∈ AutΓ.
(i) For ∀g ∈ AutΓ, since AutΓ = R(G) × H, there must exist γ ∈ R(G), δ ∈ H
such that g = γδ = δγ. Now for ∀x ∈ G, the action of elements in hgi on x are as
follows.
xg = (xδ )γ = xδ γ;
2 2 2 2
xg = (xδ )γ = xδ γ 2 ;
························;
n n n n
xg = (xδ )γ = xδ γ n ;
························.
Therefore, the orbit of hgi acting on x is
2 n
xhgi = (x, xδ γ, xδ γ 2 , · · · , xδ γ n , · · ·).
Y Y
P= (Cx )(αCx−1 α−1 ),
g∈T x∈C(g)
where C(g) denotes the cycle containing g and let x = θf (g), then
f (s f (s f (s
Cx = (θf (g)θ 1 g+)
, θf (g)θ 2 g+)
, · · · , θf (g)θ t g+)
)
and
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 155
f (s f (s f (s
αCx−1 α−1 = (αθf (g)θ t g−)
, αθf (g)θ t−1 g−)
, · · · , αθf (g)θ 1 g−)
).
Notices that a GRR graph Γ of a finite group G satisfies AutΓ = R(G). Since
R(G) ∼
= R(G) × {1AutΓ }, by Theorems 2.2 and 2.3, we get all orientation-preserving
automorphisms of maps of GRR graphs of a finite group as follows.
According to Theorem 2.1, we can get a general scheme for enumerating the non-
equivalent maps of a graph Γ on surfaces.
Lemma 3.1 For any connected graph Γ, let E ⊂ E L(Γ), then the number n(E, M)
of non-equivalent maps in E is
1 X
n(E, M) = |Φ(g)|,
|AutΓ| g∈AutΓ
156 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
Corollary 3.1 The numbers of non-equivalent maps in E O (Γ), E N (Γ) and E L (Γ) are
1 X
n(E O (Γ), M) = |ΦO (g)|; (3.1)
|AutΓ| g∈AutΓ
1 X
n(E N (Γ), M) = |ΦN (g)|; (3.2)
|AutΓ| g∈AutΓ
1 X
n(E L (Γ), M) = |ΦL (g)|, (3.3)
|AutΓ| g∈AutΓ
where, ΦO (g) = {P|P ∈ E O (Γ) and P g = P}, ΦN (g) = {P|P ∈ E N (Γ) and P g =
P}, ΦL (g) = {P|P ∈ E L(Γ) and P g = P}.
The formula (3.1) is obtained by Biggs and White in [1]. Applying Theorems
2.2 − 2.3 and the formulae (3.1) − (3.3), we can enumerate the non-equivalent maps
underlying a Cayley graph Γ of a finite group G satisfying AutΓ = R(G) × H on
orientable surfaces, non-orientable surfaces and locally orientable surfaces.
1 X |G|
nLM (G : S) = |Eξ |2α(S,ξ)(|S| − 1)! o(ξ) ,
|G||H| ξ∈OG
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 157
where OG denotes the representation set of conjugate class of AutΓ , Eξ the conjugate
class in AutΓ containing ξ and
|G||S|−2|G|
2o(ξ)
, if ξ∈Θ
α(S, ξ) =
|G||S|+2l−2|G|
, if ξ ∈ ∆.
2o(ξ)
that si = tiξ
2
}.
1 X
nLM (G : S) = × |ΦL (ξ)|
|AutΓ| ξ∈AutΓ
1 X
= |ΦL (g)|. (3.4)
|G||H| ξ∈R(G)×H
Y Y
P= (Cx )(αCx−1 ),
g∈T x∈C(g)
being a map underlying the graph Γ and stable under the action of ξ, C(g) denotes
the cycle containing g and T is the representation set of cycles in ξ. Let S =
{s1 , s2 , · · · , sk } and x = ξ f (g), then
f (s f (s f (s
1 gν1 ) 2 gν2 ) t gνk )
Cx = (ξ f (g)ξ , ξ f (g)ξ , · · · , ξ f (g)ξ ), (3.5)
to the vertex x, x ∈ C(a) are uniquely determined by (3.5) since P is stable under
the action of ξ.
Similarly, for each given pair permutation adjacent to a vertex u ∈ T , the pair
permutations adjacent to the vertices v, v ∈ C(u) are also uniquely determined by
(3.5) since P is stable under the action of ξ.
Notice that any non-orientable embedding can be obtained by exchanging some
x with αx, x ∈ Xα,β (M) in an orientable embedding M underlying Γ. Now for an
orientable embedding M1 of Γ, all the induced embeddings by exchanging some
edge’s two sides and retaining the others unchanged in M1 are the same as M1 by
the definition of embedding. Therefore, the number of different stable maps under
the action of ξ gotten by exchanging x and αx in M1 for x ∈ U, U ⊂ Xβ , where
S |G|
ξ(ε)− o(ξ)
Xβ = {x, βx} , is 2 , where ξ(ε) is the number of orbits of E(Γ) under
x∈E(Γ)
|G|
the action of ξ, and we subtract o(ξ)
because we can choose ab+ , · · · , g a+ , · · · , xa+
first in our enumeration.
Since the length of each orbit under the action of ξ is o(ξ) for ∀e ∈ E(Γ)
if o(ξ) ≡ 1(mod2) or o(ξ) ≡ 0(mod2) but there are not s ∈ S, t ∈ G such that
o(ξ)
o(ξ)
s = tξ 2
and is 2
for each edge tsi i ti , 1 ≤ i ≤ l(ξ), if o(ξ) ≡ 0(mod2) and there
o(ξ)
Now for ∀π ∈ AutΓ, since θ = πξπ −1 ∈ AutΓ, we know that θ(ε) = ξ(ε).
Therefore, we get that
|G||S|−2|G|
2o(ξ)
, if ξ∈Θ
α(S, ξ) =
|G||S|+2l(ξ)−2|G|
, if ξ ∈ ∆.
2o(ξ)
and
|G|
|ΦT (ξ)| = 2α(S,ξ) (|S| − 1)! o(ξ) . (3.6)
1 X |G|
nTM (G : S) = |Eξ |2α(S,ξ)(|S| − 1)! o(ξ) ,
|G||H| ξ∈OG
and the proof is complete. ♮
According to the formula (3.1) and Theorem 2.3, we also get the number nO
M (G :
S) of non-equivalent maps of a Cayley graph Cay(G : S) on orientable surfaces.
Theorem 3.2 Let Γ = Cay(G : S) be a Cayley graph with AutΓ = R(G) × H. Then
the number nO
M (G : S) of non-equivalent maps underlying Γ on orientable surfaces
is
1 X |G|
nO
M (G : S) = |Eξ |(|S| − 1)! o(ξ) ,
|G||H| ξ∈OG
where,the means of notations Eξ , OG are the same as in Theorem 3.1.
1 X
nO
M (G : S) = × |ΦO (ξ)|.
|G||H| ξ∈R(G)×H
Similar to the proof of Theorem 3.1 by applying Theorem 2.3 and Corollary 3.1, we
get that for ∀ξ ∈ R(G) × H,
|G|
|ΦO (ξ)| = (|S| − 1)! o(ξ) .
Therefore,
1 X |G|
nO
M (G : S) = |Eξ |(|S| − 1)! o(ξ) . ♮
|G||H| ξ∈OG
Notice that for a given Cayley graph Cay(G : S) of a finite group G, nO
M (G : S)+
nN L
M (G : S) = nM (G : S). Whence, we get the number of non-equivalent maps
underlying a graph Cay(G : S) on non-orientable surfaces.
where OG denotes the representation set of conjugate class of AutΓ, Eξ the conjugate
class in AutΓ containing ξ and α(S, ξ) is the same as in Theorem 3.1.
o(ξ)
Since R(G) ∼
= R(G)×{1AutΓ } and the condition s ∈ S, t ∈ G such that s = tξ 2
o(ξ)
turns to s = tξ 2 t−1 when AutΓ = R(G), we get the number of non-equivalent maps
underlying a GRR graph of a finite group by Theorems 3.1 − 3.3 as follows.
Corollary 3.3 Let G be a finite group with a GRR graph Γ = Cay(G : S). Then the
numbers of non-equivalent maps underlying Γ on locally orientable, orientable and
non-orientable surfaces are respective
1 X |G|
nLM (G : S) = |Eg |2α1 (S,g) (|S| − 1)! o(g) ,
|G| g∈OG
1 X |G|
nO
M (G : S) = |Eg |(|S| − 1)! o(g)
|G| g∈OG
and
1 X |G|
nN
M (G : S) = |Eg |(2α1 (S,g) − 1)(|S| − 1)! o(g) ,
|G| g∈OG
where OG denotes the representation set of conjugate class of G, Eg the conjugate
class in G containing g and
|G||S|−2|G|
2o(g)
, if g ∈ Θ′
α1 (S, g) =
|G||S|+2l(g)−2|G|
, if g ∈ ∆′ .
2o(g)
∈ S}.
Corollary 3.4 Let G be a finite group of odd order with a GRR graph Γ = Cay(G :
S). Then the number nLM (G : S) of non-equivalent maps of graph Γ on surfaces is
1 X |G||S|−2|G| |G|
nLM (G : S) = |Eg |2 2o(g) (|S| − 1)! o(g) .
|G| g∈OG
Hetze and Godsil investigated GRR for solvable, non-solvable finite groups, respec-
tively. They proved[4],[21] that every group has GRR unless it belongs to one of the
following groups:
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 161
and
1 X |Σn |
nO
M (Σn : S) = × 2! o(g)
n! g∈Σn
n!
1 X n! n! X 2 lcm(k̄)
= × n × 2 lcm(k̄) =
n ,
n! (k̄) Q iki k ! (k̄)
Q
iki ki !
i
i=1 i=1
and
162 Linfan Mao: Mathematics of 21st Century–A Collection of Selected Papers
1 X n!
nN
M (Σn : S) = × 2 o(g) (2α1 (S,g) − 1)
n! g∈Σn
and
b2 = b1 (n − 12, n − 9).
Notice that b1 ∈ E[13 23m−1 ] and b2 ∈ E[15 23m−2 ] . We define the sets A1 , B1 , A2 and
B2 as follows.
o(g)
A1 = {g|g ∈ Σn , o(g) ≡ 1(mod2) or o(g) ≡ 0(mod2) but g 2 6∈ E[13 23m−1 ] },
o(g)
B1 = {g|g ∈ Σn , o(g) ≡ 0(mod2) but g 2 6∈ E[13 23m−1 ] }
and
o(g)
A2 = {g|g ∈ Σn , o(g) ≡ 1(mod2) or o(g) ≡ 0(mod2) but g 2 6∈ E[15 23m−2 ] },
o(g)
B2 = {g|g ∈ Σn , o(g) ≡ 0(mod2) but g 2 6∈ E[15 23m−2 ] }.
P n!
2α1 (S,g)+ o(g)
g∈Σn
nLM (Σn : S)|m≡1(mod2) =
n!
1 X n! n!
α1 (S,(k̄))+ lcm(
= × n × 2 k̄)
n! (k̄) Q k
i k!
i
i
i=1
n!
α1 (S,(k̄))+ lcm(
X 2 k̄)
= n
Q ,
(k̄) iki ki !
i=1
where,
n!
2·lcm(k̄)
, if E(k̄) ⊂ A1
α1 (S, (k̄)) =
n!+12(n−3)!!
, if E(k̄) ⊂ B1
2·lcm(k̄)
and
P n!
α′1 (S,g)+ o(g)
2
g∈Σn
nLM (Σn : S)|m≡0(mod2) =
n!
n!
α′1 (S,(k̄))+ lcm(
X 2 k̄)
= n
Q ,
(k̄) iki ki !
i=1
where
n!
, if E(k̄) ⊂ A2
α1′ (S, (k̄)) = 2·lcm(k̄)
n!+240(n−5)!!
, if E(k̄) ⊂ B2 .
2·lcm(k̄)
n
2o(g)
, if o(g) ≡ 1(mod2)
α1 (S, g) =
3n
, if o(g) ≡ 0(mod2),
2o(g)
P 3n P 5n
2 2o(g) + 2 2o(g)
o(g)≡1(mod2) o(g)≡0(mod2)
nLM (G : S) = ,
n
P n
2 o(g)
g∈G
nO
M (G : S) =
n
and
P n n P n 3n
2 o(g) (2 2o(g) − 1) + 2 o(g) (2 2o(g) − 1)
o(g)≡1(mod2) o(g)≡0(mod2)
nN
M (G : S) =
n
Let k = |S|. It has been proved that an abelian group G has GRR if and
only if G = (Z2 )n for n = 1 or n ≥ 5. Now for the abelian group G = (Z2 )n =
hai × hbi × · · · × hci, every element in G has order 2. Calculation shows that
2n , if g∈S
l(g) =
0, if g 6∈ S.
Whence, we get that
(k − 2)2n−2, if g 6∈ S
α1 (S, g) =
k2 n−2
, if g ∈ S.
Therefore, the numbers of non-equivalent maps underlying a GRR graph of (Z2 )n
on locally orienatble or orientable surfaces are
1 X |G|
nLM ((Z2 )n : S) = × 2α1 (S,g) (k − 1)! o(g)
|G| g∈(Z2 )n
1 X X
k2n−2 2n−1 (k−2)2n−2 2n−1
= × ( 2 (k − 1)! + 2 (k − 1)! )
2n g∈S g6∈S,g6=e
n−2 n−1 n−2 n−1
2k2 k(k − 1)!2 + (2n − k − 1)2(k−2)2 (k − 1)!2
=
2n
n−2 n
2(k−2)2 (k − 1)!2
+ ,
2n
On Automorphisms and Enumeration of Maps of Cayley Graphs of a Finite Group 165
and
1 X 2n
nO n
M ((Z2 ) : S) = × (k − 1)! o(g)
2n g∈(Z2 )n
n n−1
(k − 1)!2 + (2n − 1)(k − 1)!2
= .
2n
References
Riemann{!Hurwitzk >G3 ∗
gG s x
W
0}J HJvf}JPl e100080
f"'UTw'h
z℄m 7 ℄m7,asoho k b `
Riemann
w7d{d
H 'SO
Riemann
T
H
\|r Riemann ' H
w
f1'To Hurwitz 19 4
;
℄ml g ≥ 2 ' Riemann S h'=, H
w
+
o
|Aut S| ≤ 84(g − 1) m Fuchsian
'TLrm4; 60
RlBT_>BC * 'l ) \ )Py# T'0 i
[
'9 ZJ' rm,j
0B Riemann H
w_> N
&#j' H
w G
{,j H
w
'Y Z`HÆ,j H ^
f
w
'[?0S'W Coal Hurwitz 7
a0
'℄2l
)\ N ℄2Bj'OkT,
A Combinatorial Refinement of Hurwitz Theorem
on Riemann surfaces
1
g t
t-FY.{G~ 2qTtM G{GA/WDM, 2004 12 j9^
168 8!O H'^5<GI1/
:
[5][16]
(C ) l& U 1 S = ~PV U = M;
S
1 i i
(C ) = Φ : U → C 1 U 8 Æ4v C = &=
2 i i
1
i
1
(C ) d ∀i, j, Æ_=
3
\ \
Φi ◦ Φ−1
j : Φj (Ui Uj ) → Φi (Ui Uj )
84(g(S) − 1).
+j 2 k Ψ = hα, β, Pi u X
G
J α,β
V
R [ = }
R [ =
5w 1 7 (
B 4 Lh K uyv = % ; Px>%&vt% 4 i
4
J%&vt% 8
170 8!O H'^5<GI1/
:
C1
, + IM*wK:
D (X , P) 1 X
α,β α,β = {x, y, z, u, v, w, αx, αy, αz, αu, αv, αw, βx, βy, βz, βu,
βv, βw, αβx, αβy, αβz, αβu, αβv, αβw} i
D = 4 & QH % {(x, y, z), (αx, αz, αy)}, {(αβx, u, w), (βx, αw, αu)}, {(αβz,
αβu, v), (βz, αv, βu)} [ {(αβy, αβv, αβw), (βy, βw, βv)}6 yE% {e, αe, βe, αβe},
1e ∈ {x, y, z, u, v, w}.
?& D M1 = (Xα,β1 , P1) [ M2 = (Xα,β2 , P2) ~%
w'z " u%& 1 − 1
= τ : Xα,β1 −→ Xα,β2 '; ∀x ∈ Xα,β1 ,τ α(x) = ατ (x), τ β(x) = βτ (x) V τ P1(x) =
P2 τ (x) ~ τ % ?& D 1 = %&
wz M1 = M2 = M, } M1 V M2 1 =
3~% D M = H
wD M = bL W 3uÆ_p[K3 %&k~%
D M =W 3k"% AutM +U D ?&L) D M1r M2r ~%3z
eo$1"u%& D 3 θ '; θ(r1) = r2 1r1 , r2 NM*D M1r M2r
= )"L) D M r =W 3k% AutM r 2o*
#9 k AutM r %4 t k
Riemann avD =W 3Vav = }G9 =W 3k $ 1L%&C
#= <I&p Jones [ Singerman (
=
R [av =D /\[ Tucker d
avk
C = j2o
, #9 Riemann av =W 3V D W 3 $ 1
= KE<IF 7
Bj Riemann av =_ _ zq
Riemann A Hurwitz 8Æ(Om 171
3. C >,E
t 4
[
Xα,β = {x, αx, βx, βαβx},
x∈X
''F{ 2 'G
QH v =M*% v = (x , x , · · · , x )(αx , · · · , αx , αx ), 1 2 ρ(v) ρ(v) 2 1
∀v ∈ V (M), h ∈ G , L v = v * RQH
v
h
172 8!O H'^5<GI1/
:
}L
[(x1 , x2 , · · · , xρ(v) )(αxρ(v) , · · · , αx2 , αx1 )]h = (x1 , x2 , · · · , xρ(v) )(αxρ(v) , · · · , αx2 , αx1 ).
z h(x ) = αx
1 ρ(v)−k+1 , 1 ≤ k ≤ ρ(v) }L
h = [(x1 , x2 , · · · , xρ(v) )(αxρ(v) , αxρ(v)−1 , · · · , αx1 )]k α = v k α.
(ii) d ∀g ∈ Gv L v g = v
g ∈ hvi g ∈ hvi α
Gv hvi × hαi . ♮
xg = x, y1g = y1 , · · · , yρ(u)−1
g
= yρ(u)−1
[
(αx)g = αx, (αy1 )g = αy1 , · · · , (αyρ(u)−1 )g = αyρ(u)−1
dq%&<:P QH u = 4 ^.Q e , e u
g
u = eu &pW3k AutΓ u X α,β
C =R 0#
(βx)g = βx, (βy1)g = βy1 , · · · , (βyρ(u)−1 )g = βyρ(u)−1
V
(αβx)g = αβx, (αβy1)g = αβy1, · · · , (αβyρ(u)−1 )g = αβyρ(u)−1
e , }
, ! {q℄%&<:P QH v
vi = 4 ^.Q e u g
CKV W. & i+1 vi+1
G 9 t ^ y% |G|
G u V (Γ)
C2L s yG9 O , O , · · · , O 1 O = {u , u , · · · , u },
1 2 s 1 1 2 k
u G
CKV W=1 { P
174 8!O H'^5<GI1/
:
8 A = {u , g (u ), · · · , Q g (u )} [ αA = {αu , αg (u ), · · · , α Q g (u )}
m−1 m−1
b b b b b b
2 1 1 1 m−i 1 2 1 1 1 m−i 1
A S A 7= ^ %
i=1 i=1
1 2
−−−[
−−→ m−1
Y m−1
Y
A1 A2 = ua1 , g1 (ua1 ), · · · , gm−i (ua1 ); ub1, g1 (ub1 ), · · · , gm−i (ub1 )
i=1 i=1
z N(u
g )\(A S A S αA S αA ) = ∅ } A S A 7= ^ =
1 1 2 OK%
1
−−−[
A 2 A
−−→
1 2 1 2
} g ) \ (A
N(u
S
A αA αA ) 6= ∅
,b 4 ^.Q u ∈ N(u
S
1
S
1 2
g ) \ (A
1
S
2A
S c
1 1 1 2
jR
B> −−−[
A
−−−−−
A · · · A z N(u
[−−−− −−→
[
g ) \ (A S A S · · · S A S αA S αA S
1 2 r 1 1 2 r 1 2
· · · αA ) 6= ∅ }
,b 4 ^.Q u ∈ N(u
S g )\(A S A S · · · S A S αA S αA S · · ·
d
r 1 1 1 2 r 1 2
αA ) R 0 4 ^.Q V
S
r
m−1
Y
Ar+1 = {ud1 , g1 (ud1 ), · · · , gm−i (ud1 )}
i=1
m−1
Y
αAr+1 = {αud1 , αg1 (ud1 ), · · · , α gm−i (ud1 )}
i=1
A 7^= r+1
m−1
Y
−−→
Ar+1 = ud1 , g1 (ud1 ), · · · , gm−i (ud1 ).
i=1
FR r+1
S
j=1
Aj 7^= OK%
Riemann A Hurwitz 8Æ(Om 175
−−−→
r+1 −−
r−→
[ [ −−→
Aj = Ai ; Ar+1 .
j=1 i=1
9L
k
[ [ k
[
g)=(
N(u Aj ) (α Aj )
1
j=1 j=1
A ^= OK [ A
k k
S
j j
j=1
R 0 QH u = %
j=1
1
m−1
Y m−1
Y m−1
Y
C = (ua1 , ub1, · · · , ue1; g1 (ua1 ), g1 (ub1 ), · · · , g1(ue1 ), · · · , (ua1 ), (ub1 ), · · · , (ue1 )).
i=1 i=1 i=1
k
Y k
Y
( ̺ui )G = ̺ui .
i=1 i=1
·····················
176 8!O H'^5<GI1/
:
t
Y t
Y
( ̺wi )G = ̺wi .
i=1 i=1
PR01{
k
Y l
Y t
Y
P=( ̺ui ) × ( ̺vi ) × · · · × ( ̺wi )
i=1 i=1 i=1
}FP O , O , · · · , O 1 G u Γ =
CG 9 L
1 2 s
k
Y l
Y t
Y
PG = ( ̺ui )G × ( ̺vi )G × · · · × ( ̺wi )G
i=1 i=1 i=1
Yk l
Y t
Y
= ( ̺ui ) × ( ̺vi ) × · · · × ( ̺wi ) = P.
i=1 i=1 i=1
R 0 D M = (Xα,β , P) } G % M =W 3k ♮
4. C >,
(R%& Γ>q/%;V P 5w}V eFnZ > ~% Γ =
P - V X = E(Γ) R 0 X 7=V A rL v 4 P z A = 1 Γ
α,β
Riemann A Hurwitz 8Æ(Om 177
= P - V d P D =W 3k2oLKEOK
j 4.1 Γ {℄mbj G AutΓ w ∀v ∈ V (Γ), 7 G
G
Q
hvi × hαi
B 4 y t. X / Sprp? - P ' G . A w '. A(P ) p
α,β } v
d1 Y
|G|||A||A|
[a, b, · · ·] ' P 0t F
a, b, · · ·
|v G | | |G| i L
L |G | = 1
x
|T |
_
|G| | (l|T r2 |, l = |T | = ≥ 1, T ∈ T r 2 , ).
2
DBj Γ / 3 b'+. T r1 p
178 8!O H'^5<GI1/
:
|T |
e d1,j {
|G| | (2l|T r 1 |, l = |T | = ≥ 1, T ∈ T r 1 , ).
2
[ , G {,j M ' H
w
{ ih / i
_
f F{ j 'F
p
φ(i, j) M /
d1
|G| | ((2i − j)φ(i, j), i, j ≥ 1)
(a, b, · · ·) ' P t F
a, b, · · ·
tl Γ / l G DmF
d
|G| | (2ivi , i ≥ 1),
vi 1j { '60mF
Γ / i
:CEO\2o
, ;8D Riemann W 3 = Q
j 4.2 Γ {℄mbj
(i) G AutΓ 7( j{ Γ ',j M, g(M) ≥ 2 '=, H
w
p
|G| ≤ 84(g(M) − 1)
1 X
φ(M) = jφj
φ(M) j≥1
b I k = ⌈ν(M)⌉ [ l = ⌈φ(M)⌉}L
2(g(M) − 1)
ε(M) ≤ .
1 − k2 − 2l
Vk G %>[ = }
|G| ≤ 84(g(M) − 1)).
Æ
8g(S) + 4 ≤ |AutS| ≤ 168(g(S) − 1),
(X , P ) 1 k = 2g + 1 wK
k k
Xk = {x1 , x2 , · · · , xk , αx1 , αx2 , · · · , αxk , βx1 , βx2 , · · · , βxk , αβx1 , αβx2 , · · · , αβxk }
Pk = (x1 , x2 , · · · , xk , αβx1 , αβx2 , · · · , αβxk )(βxk , · · · , βx2 , βx1 , αxk , · · · , αx2 , αx1 ).
\ 2.1#
|Aut+ S| ≥ 2ε(Mk ) ≥ 4g + 2.
#
|AutS| ≥ 4ε(Mk ) ≥ 8g + 4. ♮
5. =~$
1.^C__=zq 2o ! {B Hurwitz R/#! {B> > W 7 2 VZ 2 >
d : D =QH % 3, vt% 7 u$ QH % 7 i vt% 3 V% d ~ D
+ d ~ D =" uv Macbeath u/Q [12] 7 Pw Hurwitz R /7 =
J%+1q1o7℄mbjah{( j',j H
w
' P S7C
|
hBj'p-B ?',jp X'Tw[ %+1q = PwUm d x
j Riemann av D =W 3kL/0
Riemann A Hurwitz 8Æ(Om 181
[
|AutM| ≤ 84(g(M) − 2).
[
|AutS| ≤ 84(g(S) − 2).
V2t s ∗
gG s
/ |HFHue|HOk d 100080 V
R [
z: _q)A' "{o℄mI < r {℄mFH
=' / H)f ℄=I < tMr S TNbHs
}{
Vb
h h
> 3H / |H6 3Oka0 9 p#
t
MrS)/ * "{ 1985 R -2006 R6|HOk'C6
} R
["{℄2Ok '&# FH N )'\
l
The Mathematical Steps of Mine
Abstract: This paper historically recalls each step that I passed from a
scaffold erector to a mathematician, including the period in a middle school,
in a construction company, in Northern Jiaotong University, also in Chinese
Academy of Sciences and in Guoxin Tendering Co.LTD. Achievements of mine
on mathematics and engineering management gotten in the period from 1985
to 2006 can be also found. There are many rough and bumpy, also delightful
matters on this road. The process for raising the combinatorial conjecture for
mathematics is also called to mind.
.U : 7 -p- ?/S+S+kI(I _ _
vZX
AMS(2000): 01A25,01A70
m OO 88k}!%u9 10 00 7 J
fIVI
jf
5!}2 = On Automorphism Groups of Maps, surfaces and Smarandache
Geometries 0,j0 Smarandache 4' H
w
= S+k5!w<
1
2006 3 j 26 t$S
6 6 g`4
2
e-print: www.K12.com.cn Z www.wyszx.cn
184 8!O H'^5<GI1/
:
/(2e
2v ;7 IF Æ /P% R ha FqPLFq[%X/P
=SV"1 &I =FFW0V%R d a1qV;qk
x )h I1%dI(uIj 7= ; \l^C > I =zq
,Pw
0d7 $M>TV zq= S1ÆP/P =
" ;2 # =7 L0sR0/
`_h >, doy1a℄ !=
V sl1 2 # 103 - ) |Y℄ 2 )-u = 5 + VF dok$yu 7 J? H
Em - nI-
7 B#ka)hR:2 ; BAIV = Æ VdRhR
: 7= N 100 | Z8 d 7 FN 50 | 7 u 1 %51-100 |u
2 %i ' ; 2L
8 dR 7 80 1 %F5%I Æ
;
I'm 7 = hdV#(2B% H qoA = Pq zq> PÆ82
a)B 1979 }k % R D ` 7 Ih| ; B D ` E 18 | = Æ
7 #<2Gx ℄ %dI ℄ <w} p= )4N 2
=f
= )FHb0Ok
q℄+ = W!OYl
z =
=
Yl
aCH[ h)FH
E %d>
_
1980 4 k2h(FdR& 8 `:m, a)m k}Æ?. 2a
) 1980 kd = m
7 #< = IH\ Æ H( # &* hD :)R = IW 4
H\id qH = I'}p
BI^#BZR / = SV
N #9 >p
= QR, d *%fI =
C 1AIÆ = %
$z } h VGxI = %& & K_51HuB#
V a
8xO
%:: gf x) D F` k : 60 OG
d P$M}z h 1&%$j%$jp
&%$j p
LkL>d*V = p q & R /C$j
CLkL*V = OK >> #
7 #<%$"1[sp7 .= #< 1HV?& z v Z :7C = 9 =
1q
W )
( )
t1994 3 k>8%\%-
1995 1 k -1998 9 kq:_K 9o P^) | 7 l Z - - |-
k>7%J(P%A- 1998 10 k -12 kq 7 qz ℄ `Z Z -
%&#<Ij % ^7a L % ^ ,.Æ-DÆq%qAw
188 8!O H'^5<GI1/
:
E 2 d[ E 7 d = Ff
s
\lw FI 8 I+
/5 = X q P) | H/ ;# :_7
L:CI K #
=W :P1 1991 4 k~(a):_7 > H\ W
:8 1995 6 k B# & I 8 :_ ) ( o= :CI K #
/
5[++
%#<"ua)J = %dD31988 uvX
~ ) a)=T 7
J__`DvJ$n\1989 uTX6a)hJE OT \DEN
>
1993 7 <q'$mm2Vd%CP 1994 8 kdg_a)h
J E T \DEN 2N# 1 B℄ 4 = Ij = k"C$2
# = o
*
L8 B hamiltonian = j
L d 1991 o MuJ$ \
q. Gould H?%0YE/= FU<\/ = ℄ 2T B%.<P
hamiltonian = \/ Nu g_
gf5
IjV7\
> q .
o M
a)hJE T \DEN= #2r&Bq' =)
:_ ) = |{ H?, d1J + I \ =* pd = %&> H/ Vsl<Y
^ n
T 2l1 AC>C> ?: X Pi . }
1989 p zE
R >.*Zj0HBN)$9x!
u P>!_ 6 Hk
(GI#- 189
1994 p KV
R >. Zj0HBN)$Vz Szn&k
&#<Lku 9 FH
FHOkub0
FHujmFH
>
D< o MB 5 0I\/
1994-1998 2u:_ K 9o P^) | 7 l- - q Z 0 Z - S+
L `o M = <P hamiltonian = %d\/%$1u %#< = 7℄
P _ }
aD '*!℄ 4 S s '2 # LV<: . + 8 2D2dd
_
o1-
V 8 ( _5ykd% l =
u:_ ) : 8 S+ Æ
So P + I _ _\ z [ = :
2yLL = z o ML\/P1&p
o% ; ?X% Ra
)H'[s> 3H h
1996 C2 = F,LS+x:%L`: P 1998
bB: z E ) /fL)H? = S+
W * { ,sO
( )
h30a&k
(GI#- 191
R l '6MG#
q { ,u^
( )
2002 p
R >4WFH=$ N :$e(=
R lu FG#
t6M
pp
C3|2004 R 8 >.℄Zj0u N FHHBN)$e7K
o#vQX = <Y' ;
j/℄4Vd a "V
a
%d )
KJN=
s 2& Kz B
-
,Q ^\/I\/ = 4aN
Ve/ a "V
d[s%d~ v =)= j-
j = FW~
v=j%'z 5-10 =#1\o M
\/uJ =
payl>
y q SBu ; /℄4QX<YKuD#Vu
3 .Ij%$
1% = 2&p = P31m m\ 'pI Æ 'FHOkK ℄`FHO
k'7,; > H ;8 B 7 J
fIVI
jf ="
zoN )
= 1mJ+,Mm2uS+k5! 7 ) = v1J$I
j%&k = 8 H F
,' ; I # & kHwW B) 7 # + % ~
X o i 2uS+kL `= %d> H VVdo = X q V i [N z v*
L = -
PV h 2*
[8 BN2BV(BJ} h sy ; V
7mJ Perze S+7,MYour book is very good. High research you have done.
q T v) %+H?7,MB =v #E Ry ?
0 * h= 1zmJsBP2 = QX[ &hh =z [P1u 2005
2u:_ = b ) 7 J
fIVI
jf,J = %d
D3d 2 =; I _ _v> H %dj-
[sB5! ; B% 0 V
194 8!O H'^5<GI1/
:
R 8 ug G ÆUE 7K
+Ij&k
2004
'two #uP t
1985
1990
V
1.The maximum size of r-partite subgraphs of a K3-free graph, 9 FH, 4
1990),417-424.
1992
1993
E
1. L( R ,g W7 l =`) EI 2 G |7HH vol 23(1996),
6-10
T
2. _5 A {5 I < |721996
1997
1999
s
m; 7 J? H -#
*1999
2. J - - _% !|([ E FI < r %r N$ 8+jm;
s 7 J? H -#
*1999
3. :_ l `saJ O3-, 7 J? H - Z 0RFI <
s
r %r+; (2), 7 J? H -#
*1999
2000
T
1. nYv Fan y< = %&ÆE
$RHH H |H vol 26 3(2000),
25-28
N
2. :_ K 9o P^7 l- 4 2 V?/I < |722000
3. :_ K 9o P^7 l M 4- -I < r %r+; (7), 7 J? H
-#
*1999
s
2001
2002
1.A census of maps on surfaces with given underlying graphs, A Doctorial Dis-
sertation, Northern Jiaotong University,2002.
2.On the panfactorical property of Cayley graphs, FHOkub0,383-390,3
(2002)
3. 70E_
v = JfFt q/ t,H T
,88-91,3 2002
4.Localized neighborhood unions condition for hamiltonian graphs, M$R
T N
HH H |H ),16-22,1(2002)
2003
1.(with Liu Yanpei) New automorphism groups identity of trees, FH_ Æ,113-
117,5(2002)
198 8!O H'^5<GI1/
:
1. (with Yanpei Liu)A new approach for enumerating maps on orientable sur-
faces, Australasian J. Combinatorics, vol.30(2004), 247-259.
Vx_ FRiemann av Hurwitz R / =_ _ÆE/ |H 3
2.
u
rUuN H|HB0X0.2004 12 k,75-89
h
2005
1.(with Feng Tian)On oriented 2-factorable graphs, J.Applied Math. & Com-
puting, vol.17, No.1-2. 25-38.
2.(with Liu Yanpei and Tian Feng)Automorphisms of maps with a given under-
lying graph and their application to enumeration,Acta.Math.Sinica, Vol.21, 2(2005),
225-236.
3.On Automorphisms of Maps and Klein Surfaces,/ h T
|H 3 k2005.6.
4.A new view of combinatorial maps by Smarandache’ notion, e-print: arXiv:
math.GM/0506232.
5.Automorphism Groups of Maps, Surfaces and Smarandache Geometries, Amer-
ican Research Press, 2005.
6.On automorphism groups of maps, surfaces and Smarandache geometries,
Scientia Magna, Vol.1(2005), No.2,55-73.
7.Parallel bundles in planar map geometries, Scientia Magna, Vol.1(2005),
No.2,120-133.
8.On algebraic multi-ring spaces, arXiv:math.GM/05010478.
9.On algebraic multi-vector spaces, arXiv:math.GM/05010479.
2006
1.with Yanpei Liu and Erling Wei) The semi-arc automorphism group of a
graph with application to map enumeration, Graphs and Combinatorics, Vol.22,
(GI#- 199
No.1(2006)93-101.
b I
2.Smarandache Multi-Space Theory, Hexis, Phoenix,American 2006.
3./ r I+J%r 7uu Y Smarandache 3 A D
;Xiquan Publishing House, 2006.
b
4.On algebraic multi-group spaces, Scientia Magna, Vol.2,No.1(2006), 64-70.
5.On multi-metric spaces, Scientia Magna, Vol.2,No.1(2006), 87-94
6. /\</7 o=m !%-'I Smarandache = 1/\/ |70
%200607-91
7. Æ L7,sI = I q^P A, / |70 %200607-112
8.Combinatorial speculation and the combinatorial conjecture for mathematics,
arXiv: math.GM/0606702 and Sciencepaper Online:200607-128, will also appear in
Scientia Magna.
9.A multi-space model for Chinese bidding evaluation with analyzing, arXiv:
math.GM/0605495, will also appear in Scientia Magna.
10.Smarandache = 1U<I _ _/\, :- k _YF Smarandache
℄Ok
, High American Press2006.
Linfan Mao is a researcher in the Chinese Academy of Mathematics and System
Science, also a consultor in the Guoxin Tendering Co., Ltd, in Beijing. His main
interesting focus on Smarandache geometries with applications to other sciences,
combinatorial map theory and differential geometry. Now he has published more
than 35 papers and 2 monographs on Smarandache geometries, combinatorial maps,
graphs and operation research.
He was born in December 31,1962 in Deyang of Sichuan in China. Graduated
from Sichuan Wanyuan School in July, 1980. Then worked in the China Construction
Second Engineering Bureau First Company, began as a scaffold erector then learnt in
the Beijing Urban Construction School from 1983 to 1987. After then he came back
to this company again. Began as a technician then an engineer from 1987 to 1998.
In this period, he published 8 papers on Architecture Technology, also the co-author
in three books on architecture technology and 5 papers on Graph Theory. He got
his BA in applied mathematics in Peking University in 1995 learnt by himself.
In 1999, he leaved this engineering company and began his postgraduate study
in the Northern Jiaotong University, also worked as a general engineer in the Con-
struction Department of Chinese Law Committee. In 2002, he got a PhD with a
doctoral thesis A census of maps on surface with given underlying graphs under the
supervision of Professor Yanpei Liu. From June, 2003 to May, 2005, he worked in
the Chinese Academy of Mathematics and Systems as a post-doctor and finished his
post-doctor report: On Automorphisms of maps, surfaces and Smarandache geome-
tries. Now he is a researcher in the Chinese Academy of Mathematics and Systems.
Abstract: The mathematics of the 21st century is the combinatorization with its gen-
eralization for classical mathematics, also a result for mathematics consistency with the
scientific research in the 21st century. This collection contains 10 papers finished by
the author or the author with other mathematicians for introducing mathematics of the
21st century, including the combinatorial conjecture for mathematics, Smarandache multi-
spaces, map geometries, enumeration of maps and a application of multi-spaces to bids
evaluation system in China, which can be seen as a combinatorial speculation for classical
mathematics, are also benefit for researchers working in mathematics of the 21st century.
Dh
P z l $,&H0bIH<^^u=
Dj <n;!0$29 l $,&
^ ^ n< n;$R l $,&H < B
n ?./Q b ?o b
U=
H,b < 10 /H[.
Smarandache <0.[C\C
H+<0.[t>66I
K6+rHHpyu<9B+b0
bIH<
^ ^P
K - OH jO=O i < oU41