Apollonian Circle Packings: Geometry and Group Theory I. The Apollonian Group

Apollonian circle packings arise by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. We observe that there exist Apollonian packings which have strong integrality properties, in which all circles in the packing have integer curvatures and rational centers such that (curvature) $\times$ (center) is an integer vector. This series of papers explain such properties. A Descartes configuration is a set of four mutually tangent circles with disjoint interiors. An Apollonian circle packing can be described in terms of the Descartes configuration it contains. We describe the space of all ordered, oriented Descartes configurations using a coordinate system $M_ D$ consisting of those $4 \times 4$ real matrices $W$ with $W^T Q_{D} \bW = Q_{W}$ where $Q_D$ is the matrix of the Descartes quadratic form $Q_D= x_1^2 + x_2^2+ x_3^2 + x_4^2 - \frac{1}{2}(x_1 +x_2 +x_3 + x_4)^2$ and $Q_W$ of the quadratic form $Q_W = -8x_1x_2 + 2x_3^2 + 2x_4^2$. On the parameter space $M_ D$ the group $\mathop{\it Aut}(Q_D)$ acts on the left, and $\mathop{\it Aut}(Q_W)$ acts on the right, giving two different "geometric" actions. Both these groups are isomorphic to the Lorentz group $O(3, 1)$. The right action of $\mathop{\it Aut}(Q_W)$ (essentially) corresponds to Mobius transformations acting on the underlying Euclidean space $\rr^2$ while the left action of $\mathop{\it Aut}(Q_D)$ is defined only on the parameter space. We observe that the Descartes configurations in each Apollonian packing form an orbit of a single Descartes configuration under a certain finitely generated discrete subgroup of $\mathop{\it Aut}(Q_D)$, which we call the Apollonian group. This group consists of $4 \times 4$ integer matrices, and its integrality properties lead to the integrality properties observed in some Apollonian circle packings. We introduce two more related finitely generated groups in $\mathop{\it Aut}(Q_D)$, the dual Apollonian group produced from the Apollonian group by a "duality" conjugation, and the super-Apollonian group which is the group generated by the Apollonian and dual Apollonian groups together. These groups also consist of integer $4 \times 4$ matrices. We show these groups are hyperbolic Coxeter groups.     

带粗糙初始值向列型液晶流的适定性

考虑了R~n上n(n≥2)维向列型液晶流(u,d)当初值属于Q_α~(-1)(R~n,R~n)×Q_α(R~n,S~2)(其中α∈(0,1))时Cauchy问题的适定性,这里的Q_α(R~n)最早由Essen,Janson,Peng和Xiao(见[Essen M,Janson S,Peng L,Xiao J.Q space of several real variables,Indiana Univ Math J,2000,49:575-615])引入,是指由R~n中满足的所有可测函数f全体所组成的空间.上式左端在取遍Rn中所有以l(I)为边长且边平行于坐标轴的立方体I的全体中取上确界,而Q_α~(-1)(R~n):=▽·Q_α(R~n).最后证明了解(u,d)在类C([0,T);Q_(α,T)~(-1)(R~n,R~n))∩L_(loc)~∞((0,T);L~∞(R~n,R~n))×C([0,T);Q_α,T(R~n,S~2))∩L_(loc)~∞((0,T);W~(1,∞)(R~n,S~2))(其中0T≤∞)中是唯一的.     

一类带齐次核的奇异重积分算子的范数及其应用

设核函数K(u,v)具有对称性和齐次性,对如下定义的奇异重积分算子T:(Tf)(y)=∫R_+~n K(‖x‖α,‖y‖α)f(x)dx,y∈R_+~n,其中‖x‖α=(x_1~α+…+x_n~α)~1/α(α>0),研究了T的范数及其应用.     

关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

广义超特殊p-群的自同构群Ⅲ

确定了广义超特殊p-群G的自同构群的结构.设|G|=p~(2n+m),|■G|=p~m,其中n≥1,m≥2,Aut_fG是AutG中平凡地作用在Frat G上的元素形成的正规子群,则(1)当G的幂指数是p~m时,(i)如果p是奇素数,那么AutG/AutfG≌Z_((p-1)p~(m-2)),并且AutfG/InnG≌Sp(2n,p)×Zp.(ii)如果p=2,那么AutG=Aut_fG(若m=2)或者AutG/AutfG≌Z_(2~(m-3))×Z_2(若m≥3),并且AutfG/InnG≌Sp(2n,2)×Z_2.(2)当G的幂指数是p~(m+1)时,(i)如果p是奇素数,那么AutG=〈θ〉■Aut_fG,其中θ的阶是(p-1)p~(m-1),且Aut_f G/Inn G≌K■Sp(2n-2,p),其中K是p~(2n-1)阶超特殊p-群.(ii)如果p=2,那么AutG=〈θ_1,θ_2〉■Aut_fG,其中〈θ_1,θ_2〉=〈θ_1〉×〈θ_2〉≌Z_(2~(m-2))×Z_2,并且Aut_fG/Inn G≌K×Sp(2n-2,2),其中K是2~(2n-1)阶初等Abel 2-群.特别地,当n=1时...     

限制零点个数的亚纯函数的正规定则

设k,n(≥k+1)是两个正整数,a(≠0),b是两个有穷复数,F为区域D内的一族亚纯函数.如果对于任意的f∈F,f的零点重级大于等于k+1,并且在D内满足f+a[L(f)]~n-b至多有n-k-1个判别的零点,那么F在D内正规·这里L(f)=f~((k))(z)+a_1f~((k-1))(z)+…+a_(k-1)f'(z)+a_kf(z),其中a_1(z),a_2(z),…,a_k(z)是区域D上的全纯函数.     

阶极小渐近基

Let N denote the set of all nonnegative integers and A be a subset of N.Let W be a nonempty subset of N.Denote by F~*(W) the set of all finite,nonempty subsets of W.Fix integer g≥2,let A_g(W) be the set of all numbers of the form sum f∈Fa_fg~f where F∈F~*(W)and 1≤a_f≤g-1.For i=0,1,2,3,let W_i = {n∈N|n≡ i(mod 4)}.In this paper,we show that the set A = U_i~3=0 A_g(W_i) is a minimal asymptotic basis of order four.     

ON LINEAR AND NONLINEAR RIEMANN-HILBERT PROBLEMS FOR REGULAR FUNCTION WITH VALUES IN A CLIFFORD ALGEBRA

This paper deals with the boundary value problems for regular function with valuesin a Clifford algebra: ()W=O, x∈R~n\Г, w~+(x)=G(x)W~-(x)+λf(x, W~+(x), W~-(x)), x∈Г; W~-(∞)=0,where Г is a Liapunov surface in R~n the differential operator ()=()/()x_1+()/()x_2+…+()/()x_ne_n, W(x) =∑_A, ()_AW_A(x) are unknown functions with values in a Clifford algebra ()_n Undersome hypotheses, it is proved that the linear baundary value problem (where λf(x, W~+(x),W~-(x)) =g(x)) has a unique solution and the nonlinear boundary value problem has atleast one solution.     

拟线性次椭圆方程组在Morrey空间上的部分正则性

证明了拟线性次椭圆方程组-X_α~*(a_(ij)~(αβ)(x,u)X_βu~j)=-X_α~*f_i~α+g_i,i=1,2,…,N,x∈Ω的弱解广义梯度Xu在Morrey空间L_x~(p,λ)(Ω,R~(mN))(p2)上的部分正则性,其中光滑实向量场族X=(X_1,X_2,…,X_m)满足H(o|¨)rmander有限秩条件,X_α~*是X_α的共轭;而且主项系数a_(ij)~(αβ)(x,u)关于x一致VMO(Vanishing Mean Oscillation的缩写,消失平均震荡)间断,且关于u为一致连续.     

ASYMPTOTICALLY OPTIMAL EMPIRICAL BAYES ESTIMATION FOR PARAMETERS OF TWO-SIDED TRUNCATION DISTRIBUTION FAMILIES

Consider the two-sided truncation distrbution families written in the formf(x,θ)dx=w(θ_1, θ_2)h(x)I_([θ_1,θ_2])(x)dx, where θ=(θ_1,θ_2).T(x)=(t_1(x), t_2(x))=(min(x_1,…,x_m), max(x_1, …,x_m))is a sufficient statistic and its marginal density is denoted by f(t)dμ~T. The prior distribution of θ belongs to the familyF={G:∫‖θ‖~2dG(θ)<∞}.In this paper, the author constructs the empirical Bayes estimator (EBE) of θ, φ_n (t), by using the kernel estimation of f(t). Under a quite general assumption imposed upon f(t) and h(x), it is shown that φ_n(t) is an asymptotically optimal EBE of θ.