王新長(zhǎng)，劉滿鳳，歐陽(yáng)培昌

1.江西財(cái)經(jīng)大學(xué) 信息管理學(xué)院，南昌 330013 2.井岡山大學(xué) 數(shù)理學(xué)院，江西 吉安 343009

具有反射群對(duì)稱性的球面圖案自動(dòng)生成

王新長(zhǎng)1，2，劉滿鳳1，歐陽(yáng)培昌2

1.江西財(cái)經(jīng)大學(xué) 信息管理學(xué)院，南昌 330013 2.井岡山大學(xué) 數(shù)理學(xué)院，江西 吉安 343009

利用計(jì)算機(jī)技術(shù)自動(dòng)生成藝術(shù)圖案是一個(gè)實(shí)用的新興課題，借助迅猛發(fā)展精工技藝（如激光噴墨、3D打印等），其研究結(jié)果可以廣泛地應(yīng)用到壁紙、瓷磚、包裝材料、紡織等與裝飾領(lǐng)域有關(guān)的行業(yè)，生成美觀的工藝品，不僅可以滿足人們對(duì)于美的追求與賞析，而且具有可觀的經(jīng)濟(jì)價(jià)值。

球面圖案指的是單位球面 S2={(x，y，z)∈R3|x2+y2+ z2=1}上具有對(duì)稱結(jié)構(gòu)的球面拼貼（tilings）[1]。關(guān)于球面圖案的分類，文獻(xiàn)[2]給予了詳盡而嚴(yán)密的討論。Breda等人自20世紀(jì)90年代初，一直致力于球面拼貼的探索，獲得了一系列重要的球面拼貼分類，其研究結(jié)果可在文獻(xiàn)[3]中列出的文獻(xiàn)進(jìn)一步了解到。

歐氏空間是人們最熟悉的空間，文獻(xiàn)[4-5]研究了歐氏平面上的藝術(shù)圖案自動(dòng)生成。盡管雙曲對(duì)稱圖案比較奇特，但雙曲藝術(shù)圖案的研究比較豐富，其諸多實(shí)現(xiàn)方法可參考文獻(xiàn)[6]及其列出文獻(xiàn)。與歐氏或雙曲幾何空間相比，探討球面幾何空間中球面藝術(shù)圖案生成的研究不多。荷蘭藝術(shù)家Escher憑借他非凡的藝術(shù)造詣，在球面上完成過(guò)幾幅極具欣賞價(jià)值的球面木雕[7]。Yen等人在文獻(xiàn)[8]中發(fā)展了一套人工交互的半自動(dòng)化設(shè)備，用于生成簡(jiǎn)單的球面圖案。

文獻(xiàn)[9]是首篇借助計(jì)算機(jī)來(lái)生成球面圖案的研究論文，基于動(dòng)力系統(tǒng)與群論工具，Chung等給出了生成球面圖案自動(dòng)化方法。Reitor在文獻(xiàn)[10-12]中研究了具有正多面體對(duì)稱性混沌吸引子的生成。Chung和Reitor的論文中采納了一種被稱為等變映射的方法，該方法具有以下缺點(diǎn)：（1）映射構(gòu)造困難；（2）可供選擇的映射類型受到較大的限制；（3）群的階數(shù)是制約這類方法的瓶頸。有鑒于此，本文借鑒有限反射群不變式論的相關(guān)結(jié)果，通過(guò)引入從不變論的經(jīng)典結(jié)果來(lái)解決等變映射方法所面臨的困難。這種策略不僅可以繞過(guò)對(duì)稱群階數(shù)這一制約瓶頸，且可以類似地推廣到高維歐氏空間上。

1 三維歐氏空間中反射對(duì)稱群的生成元

正多面體具有反射群對(duì)稱性，關(guān)于三維歐氏空間中反射群的討論，許多文獻(xiàn)對(duì)這一經(jīng)典結(jié)果有詳細(xì)剖析，如文獻(xiàn)[13-15]。因此，本文略去確定這些反射群生成元的討論，而把核心結(jié)果做扼要介紹。

定義1對(duì)稱是空間中的等距（或全等）變換，稱所有對(duì)稱所構(gòu)成的群為該空間的對(duì)稱群。

定義2歐氏空間中，稱由反射變換生成的對(duì)稱群為反射群（reflection group）。

定義3群G中的元素 g1，g2，…，gn稱為生成元集，如果G中的每個(gè)元素可以表示為這些元素的冪指數(shù)乘積（包括負(fù)指數(shù)），記為G=＜g1，g2，…，gn＞。稱G中元素的個(gè)數(shù)為G的階，記為|| G。

反射群在群論中值得特別注意的原因有兩個(gè)：（1）有一套完備的理論描述它；（2）晶體學(xué)中非常重要的點(diǎn)群（point group）是它的子群。三維歐氏空間中的一個(gè)經(jīng)典結(jié)論是：給定正整數(shù) p和q，若 p和q滿足：

則S2中有一個(gè)球面圖案{p，q}與其相對(duì)應(yīng)，該球面圖案具有正多面體反射群對(duì)稱性[12]。

本文采用文獻(xiàn)[12]的記法，把球面圖案{p，q}所對(duì)應(yīng)的對(duì)稱群記為[p，q]。由式（1），三維歐氏空間的反射群共有3個(gè)：[3，3]，[3，4]和[3，5]。眾所周知，三維歐氏空間只有5個(gè)正多面體，其中正四面體具有[3，3]對(duì)稱性，正六面體和正八面體具有[3，4]對(duì)稱性，正十二面體和正二十面體具有[3，5]對(duì)稱性。設(shè)的三個(gè)反射生成元，則

是群[p，q]的一個(gè)表現(xiàn)形式[12]，其中I3為單位矩陣。

式（2）可以用來(lái)判別三個(gè)矩陣是否是群[p，q]的生成元。查閱文獻(xiàn)[9-15]，經(jīng)簡(jiǎn)單演算后可確定出群[p，q]的生成元，詳細(xì)結(jié)果如下：

（1）群[3，3]的生成元：

2 等變映射法的缺陷

為生成具有正多面體對(duì)稱性的藝術(shù)圖案，Chung和 Reitor所使用的方法是流行的等變映射方法，本章分析此方法的缺陷。

定義4設(shè)G是一個(gè)對(duì)稱群，稱映射F與G是等變的（equivarant），如果F與G是可交換，即，F(xiàn)?γ=γ?F，?γ∈G。

對(duì)稱變換具有直觀的幾何意義，要構(gòu)造一個(gè)與對(duì)稱群的所有對(duì)稱變換都可交換的等變映射，這對(duì)映射提出了苛刻的要求。當(dāng)對(duì)稱群具有復(fù)雜生成元時(shí)，在實(shí)際中更是難以構(gòu)造，文獻(xiàn)[16]特別對(duì)該問(wèn)題做了詳細(xì)論述。有鑒于此，Reitor在構(gòu)造與反射群[p，q]可交換等變映射時(shí)，考慮的是簡(jiǎn)單的多項(xiàng)式[10，12]。而對(duì)于具有復(fù)雜生成元的對(duì)稱群，如[3，5]的生成元，即使是多項(xiàng)式不變映射也不易建立。Chung和Reitor在文獻(xiàn)[9，11]中運(yùn)用了一種巧妙的求和技巧，他們構(gòu)造的與[3，5]等變的映射M具有以下形式：

由于群[3，5]的階數(shù)是120，因而式（3）中是一個(gè)120項(xiàng)求和構(gòu)造的映射，此時(shí)群的階數(shù)成為此類方法的瓶頸（高維歐氏空間的反射對(duì)稱群的階數(shù)則更高了）。

從以上分析可知，現(xiàn)有等變映射方法的缺陷主要表現(xiàn)為：（1）構(gòu)造困難；（2）可供選擇的映射類型受到較大的限制；（3）群的階數(shù)是制約這類方法的瓶頸。

3 反射群[p，q]的基底多項(xiàng)式

本章介紹反射群的不變式論，通過(guò)引入該領(lǐng)域的相關(guān)結(jié)果，建立可以生成具有[p，q]對(duì)稱性球面圖案的映射。

對(duì)稱函數(shù)的基本定理是代數(shù)學(xué)中最為優(yōu)美的結(jié)論之一：n個(gè)未定元的對(duì)稱多項(xiàng)式一定可以表示為n個(gè)初等對(duì)稱多項(xiàng)式的多項(xiàng)式[17]。不變式論（invariant theory）和反射群是目前代數(shù)學(xué)中比較活躍的分支，近年來(lái)，在Noether，Molien，Shephard，Todd，Chevalley，Steinberg等人的辛勤耕耘下成果卓著。關(guān)于這方面的基本結(jié)果，萬(wàn)哲先編寫了一本非常好的入門書籍[18]。詳細(xì)介紹反射群的不變式論不免偏離本文的主題，因此，對(duì)于本文要用到的相關(guān)結(jié)論，在盡可能嚴(yán)謹(jǐn)?shù)那闆r下，如何用簡(jiǎn)明易懂的方式概述它們是本文所期望達(dá)到的目標(biāo)。

定義5設(shè)G是作用在n維歐氏空間En上的反射群，稱映射M在G下是不變的，若En上的對(duì)稱點(diǎn)z和τz在M的映射下相等，即M(z)=M(τz)，?τ∈G。

定理1設(shè) R1，R2和 R3是三維歐氏空間 E3上反射群[p，q]的生成元，若映射M滿足：

則M是關(guān)于[p，q]的不變映射。

證明 依定義，此處需證明 M(z)=M(τz)，?τ∈[p，q]，?z∈E3。?τ∈[p，q]，由于R2和R3是[p，q]的生成元，因此τ可由 R1，R2和 R3表出，注意到===I3，不妨設(shè) τ=Rk1Rk2…Rkn，Rki∈{R1，R2，R3}，且相鄰的 Rki和 Rki+1不相等(1≤i≤(n-1))，?z∈E3，由式（4），M(τ(z))=M(Rk1Rk2…Rkn(z))=M(Rk2…Rkn(z))=M(Rkn(z))=M(z)，結(jié)論得證。

一個(gè)自然的問(wèn)題是：某個(gè)多項(xiàng)式，當(dāng)它要滿足什么條件時(shí)是反射對(duì)稱群[p，q]的不變映射?眾所周知的空間向量表示定理是：向量空間中任一向量可由一確定基底唯一地線性表出。與此類似，Hilbert于1890年證明了不變論中著名的有限生成定理，該定理稱：若M是有限群G的任一多項(xiàng)式不變映射，則M一定可以表示成若干個(gè)齊次多項(xiàng)式不變映射的多項(xiàng)式[17-18]。Hilbert給出的是存在性證明，Noether，Molien，Chevalley，Coxeter等近年來(lái)的工作對(duì)有限生成定理做了更明確表述[18]。特別地，對(duì)于三維空間中的反射群，本文不加證明地把該定理轉(zhuǎn)述為下面的定理2。為方便描述，先給出基底多項(xiàng)式的概念。

定義6設(shè)[p，q]是E3上的反射群，[p，q]的任一多項(xiàng)式不變映射M可以表示成關(guān)于[p，q]不變的三個(gè)齊次多項(xiàng)式的多項(xiàng)式，稱這三個(gè)齊次多項(xiàng)式是[p，q]的基底多項(xiàng)式。

定理2指明了什么條件下，一組多項(xiàng)式是反射群群[p，q]的基底多項(xiàng)式?；诙ɡ?，本文給出[3，3]，[3，4]和[3，5]的一組基底多項(xiàng)式，分別列出如下：

上面給出的基底多項(xiàng)式，[3，3]和[3，4]的構(gòu)造比較簡(jiǎn)單，而[3，5]的基底多項(xiàng)式形式參考了文獻(xiàn)[19]。[3，5]包含一個(gè)較復(fù)雜的基底多項(xiàng)式，這是因?yàn)樗哂幸粋€(gè)非常復(fù)雜的生成元。結(jié)合第1章給出的反射群[p，q]的生成元可以驗(yàn)證上面構(gòu)造的齊次多項(xiàng)式是關(guān)于不變的。

4 自動(dòng)生成球面藝術(shù)圖案的不變論方法

有了前面的準(zhǔn)備工作后，現(xiàn)在可以描述如何在單位球面S2上生成具有反射群[p，q]對(duì)稱性的藝術(shù)圖案。詳細(xì)步驟如下：

步驟3考慮r=M2(f1，f2，f3)/R的迭代值，其中R∈[1，10]是由經(jīng)驗(yàn)給定的常數(shù)。若r＜1，則參數(shù)r用來(lái)給點(diǎn)(x，y，z)著色。

注1為使生成的球面圖案更美觀，步驟3中所使用的著色方案是改進(jìn)的軌跡井（orbit trap）方法，該方法能極大地提高圖案的美觀度，關(guān)于此算法的詳細(xì)描述可參考文獻(xiàn)[6，20]。

注2 ?τ∈[p，q]，?(x，y，z)∈S2，則(x，y，z)和 τ(x，y，z)是S2上的對(duì)稱點(diǎn)。因?yàn)椴襟E2中構(gòu)造的映射M具有反射群[p，q]不變性，M在這兩個(gè)對(duì)稱點(diǎn)的處具有相同的迭代序列。因此，對(duì)稱點(diǎn)(x，y，z)和τ(x，y，z)在步驟3中將獲取相同的著色參數(shù)r。相應(yīng)地，對(duì)稱點(diǎn)(x，y，z)和 τ(x，y，z)點(diǎn)將被賦予相同的顏色。這解釋了為什么生成的球面圖案具有[p，q]對(duì)稱性。

注3為了方便生成的球面藝術(shù)圖案，本文借用了Silicon Graphics Company提供的OpenGL三維繪圖包。通過(guò)調(diào)節(jié)步驟2中的函數(shù) fi(P1，P2，P3)，可以構(gòu)造無(wú)窮無(wú)盡的映射M，生成無(wú)窮無(wú)盡的球面藝術(shù)圖案。圖1～3展出了本文生成的6幅藝術(shù)圖案。

圖1 具有[3，3]對(duì)稱性的兩個(gè)球面藝術(shù)圖案

圖2 具有[3，4]對(duì)稱性的兩個(gè)球面藝術(shù)圖案

圖3 具有[3，5]對(duì)稱性的兩個(gè)球面藝術(shù)圖案

5 結(jié)束語(yǔ)

等變映射是生成對(duì)稱藝術(shù)圖案的重要方法，但此類映射構(gòu)造困難，不僅映射形式受到很大限制，而且還受到群階數(shù)瓶頸的限制。本文通過(guò)借鑒有限反射群不變論的相關(guān)結(jié)論，給出自動(dòng)生成球面圖案的不變映射方法。這種策略不僅克服了等變映射方法面臨的問(wèn)題，而且可以類似地推廣到高維空間中。該方法可生成無(wú)窮無(wú)盡的球面藝術(shù)圖案。

[1]Grünbaum B，ShephardG C.Tilings andpatterns[M].New York：Freeman，1986.

[2]Grünbaum B，Shephard G C.Patternson the2-sphere[J]. Mathematicka，1981，28：1-35.

[3]Breda A N，Santos A F.Dihedral F-tilings of the sphere by triangles and well-centered quadrangles[J].Hiroshima Math，2006，36：235-288.

[4]魯堅(jiān)，李文俠，鄒玉茹.Chair Tilings非周期藝術(shù)圖案的生成[J].計(jì)算機(jī)輔助設(shè)計(jì)與圖形學(xué)學(xué)報(bào)，2006，18（4）：498-501.

[5]魯堅(jiān)，鄒玉茹.動(dòng)力系統(tǒng)生成晶體群圓極限分形圖[J].計(jì)算機(jī)應(yīng)用與軟件，2009，26（8）：18-20.

[6]Ouyang P C，Cheng D S，Cao Y H，et al.The visualization ofhyperbolicpatternsfrom invariantmapping method[J]. Computers&Graphics，2012，36：92-100.

[7]Escher M C.Escher on Escher：exploring the infinity[M]. New York：Harry N Abrams，1989.

[8]Yen J，Séuin C.Escher sphere construction kit[C]//Proceedings of the 2001 Symposium on Interactive 3D Graphics，2001.

[9]Chung K W，Chan H S Y.Spherical symmetries from dynamics[J].Computers&Mathematics with Applications，1995，29（7）：67-81.

[10]Reiter C A.Chaotic attractors with the symmetry of a tetrahedron[J].Computer&Graphics，1997，21：841-848.

[11]Reiter C A.Chaotic attractors with the symmetry of the dodecahedron[J].Visual Computer，1999，15：211-215.

[12]Reiter C A，Brisson G F，Gartz K M，et al.Symmetric attractors in three-dimensional space[J].Chaos，Solitons& Fractals，1996，7（7）：1033-1051.

[13]Coxeter H S M.Discrete groups generated by reflections[J]. Ann of Math，1934，35：588-621.

[14]Coxeter H S M.Regular polytopes[M].3rd ed.New York：Dover，1973.

[15]Humphreys J E.Reflection groups and Coxeter groups[M]. Cambridge：Cambridge University Press，1992.

[16]Field M，Golubitsky M.Symmetry in chaos[M].New York：Oxford University Press，1992.

[17]Benson D J.Polynomial invariant of finite groups[M]//London mathsoclecturenotesseries.Cambridge：Cambridge University Press，1993.

[18]萬(wàn)哲先.有限反射群的不變式論[M].上海：上海交通出版社，1997.

[19]Mehta M L.Basic sets of invariant polynominals for finite reflection groups[J].Comm Algebra，1988，16：1083-1098.

[20]Lu J，Ye Z X，Zou Y R，et al.Orbit rendering method for generating artistic images with crystallographic symmetries[J]. Computer&Graphics，2005，29：787-794.

WANG Xinchang1，2,LIU Manfeng1,OUYANG Peichang2

1.School of Information Management,Jiangxi University of Finance and Economics,Nanchang 330013,China 2.School of Mathematics&Physics,Jinggangshan University,Ji’an,Jiangxi 343009,China

Equivariant mapping method is not only difficult to be implemented,but also constrained by the order of symmetry group.Drawn on the experience of the invariant theory of finite reflection group,this paper proposes an invariant mapping method to yield aesthetical spherical patterns and establishes a method to create infinite spherical patterns automatically.This method not only is easy to be implemented,but also can be extended to deal with the cases in the higher dimensional spaces.

finite reflection group;regular solids;invariant theory;invariant mapping

等變映射方法在生成藝術(shù)圖案中具有構(gòu)造困難，受對(duì)稱群階數(shù)瓶頸限制等缺點(diǎn)。借鑒有限反射群不變論的結(jié)論，提出不變映射方法生成具有正多面體反射群對(duì)稱性的球面藝術(shù)圖案，建立了一種可生成無(wú)窮無(wú)盡球面圖案的自動(dòng)化方法。該方法不僅實(shí)施容易，且可類似地推廣到高維空間中。

有限反射群；正多面體；不變論；不變映射

A

TP391

10.3778/j.issn.1002-8331.1307-0149

WANG Xinchang,LIU Manfeng,OUYANG Peichang.Automatic generation of aesthetical spherical patterns.Computer Engineering and Applications,2013,49（23）：27-30.

國(guó)家科技支撐計(jì)劃課題（No.2012BAC11B01）；國(guó)家自然科學(xué)基金（No.70961002）；江西省教育廳科學(xué)技術(shù)研究項(xiàng)目（No.GJJ10535）。

王新長(zhǎng)（1971—），男，博士研究生，副教授，主研方向?yàn)橛?jì)算機(jī)圖形學(xué)；劉滿鳳（1964—），通訊作者，女，博士，教授，博士生導(dǎo)師，主研方向?yàn)橛?jì)算機(jī)圖形學(xué)；歐陽(yáng)培昌（1981—），男，博士，講師，主研方向?yàn)橛?jì)算機(jī)圖形學(xué)。E-mail：wangxinchang@163.com

2013-07-11

2013-11-04

1002-8331（2013）23-0027-04

◎理論研究、研發(fā)設(shè)計(jì)◎