arXiv:1904.11127v1 [math.GT] 25 Apr 2019 Keywords. a eeaie yZo 3]t h aeo bueage.For 37]. angles. 31, obtuse 28, of 27, 22, case 9, the [8, to see [37] Theorem, Andreev-Thurston Zhou by generalized was h iceecraueo h ragltdsrae hc i which Andreev globally surface, The is triangulated packing the on 2 circle part. curvature the rigidity discrete that the the states theorem, and Andreev-Thurston theorem part rigidity the Andr existence proved by the Thurston studied cludes packing circle [24]. intersecti the Koebe non-obtuse generalized with which packing faces, circle introduced [31] 7 sagnrlzto fTuso’ icepcigo surf on Suppose packing circle separate. to Thurston’s circles of adjacent generalization a as [7] conjecture. euse We { map a where egtdtinuae ufc sdntdb ( by denoted is surface triangulated weighted ento 1.1. Definition nesv itnecrl akn erci map a is metric packing circle distance inversive π ,E F E, V, ahmtc ujc lsicto (2010). Classification Subject Mathematics ntesuyo yeblcsrcueo -iesoa manif 3-dimensional on structure hyperbolic of study the In nesv itnecrl akn a nrdcdb Bowers by introduced was packing circle distance Inversive estecn nl tavre.Rcnl,Andreev-Thurston Recently, vertex. a at angle cone the less ,j k j, i, I akn ihivriedsac n( in rig global distance the inversive proved with [34] author packing The respectively. [25] by proved Luo rig were global distance and inversive nonnegative infinitesimal with The packing rigid. be to Thurston’s conjectured of and generalization a as [7] Bowers-Stephenson by itnei ( conjecture in Bowers-Stephenson the distance of proof variational new Abstract. ol egnrlzdt he iesoa case. dimensional three to generalized be could i } , E RO FBOWERS-STEPHENSON OF PROOF NEW A : where , { E ij r aua ubr.Awih ntetinuae ufc is surface triangulated the on weight A numbers. natural are nesv itne icepcig iiiy Bowers-Ste Rigidity; packing; Circle distance, Inversive → } , { ( ,E F E, V, − ijk Suppose nesv itnecrl akn nsrae a introduc was surfaces on packing circle distance Inversive − 1 1 , } , + + odnt etx neg n aerespectively, face a and edge an vertex, a denote to ∞ ∞ r h eso etcs de n ae respectively. faces and edges vertices, of sets the are ,wihsmlfistepof n[9 5 4 and 34] 25, [19, in proofs the simplifies which ), .W use We ). ( M, 1. CONJECTURE T Introduction I , UXU XU ) I sawihe ragltdsrae An surface. triangulated weighted a is M 1 ij − 1 sasraewt triangulation a with surface a is odenote to , + ∞ .I hsppr egv a give we paper, this In ). M, T r I I , : ( V { nti paper. this in ) 22,52C26. 52C25, ij → } icepacking circle o ipiiy A simplicity. for ) dt fcircle of idity dt fcircle of idity u 1]and [19] Guo nage nsur- on angles on (0 o inversive for cs loigthe allowing aces, , endt be to defined s + eemndby determined ls Thurston olds, e 1 ]and 2] [1, eev ∞ -Stephenson ) ro of proof a -Thurston hc in- which ed uhthat such theorem phenson T = 2 XU XU

(1): The edge length lij of ij is { } 2 2 lij = ri + rj + 2rirjIij (1.1) q for Euclidean background geometry and 1 lij = cosh− (cosh ri cosh rj + Iij sinh ri sinh rj) (1.2) for hyperbolic background geometry; (2): With the assignment of edge lengths lij, ljk, lik by (1.1) (respectively (1.2)), the triangle ijk could be embedded in 2-dimensional Eu- clidean space E2 (respectively{ } 2-dimensional hyperbolic space H2) as a nondegenerate triangle. The condition (2) in Definition 1.1 is called a nondegenerate condition. If two circles Ci and Cj with radii ri and rj respectively are put in the plane with lij as the distance of the centers of Ci,Cj, then the inversive distance of the two circles is Iij. If Iij [0, 1] for any edge ij E, the inversive distance circle packing is reduced∈ to Thurston’s circle{ packing} ∈ [31]. If Iij ( 1, 1] for any edge ij E, the inversive distance circle packing is ∈ − { }∈ reduced to the circle packing studied by Zhou [37]. If Iij [0, + ) for any edge ij E, the inversive distance circle packing was studied∈ by∞ Guo [19] and Luo{ }∈ [25]. For more information on inversive distance circle packing, see [6, 7, 19, 28]. Bowers-Stephenson [7] conjectured that the inversive distance circle pack- ing on surfaces is rigid. The infinitesimal rigidity and global rigidity were proved by Guo [19] and Luo [25] respectively for circle packings with non- negative inversive distance, which generalized the Andreev-Thurston rigidity theorem. Following the proof in [19, 25], the author [34] proved the rigidity of circle packing for inversive distance in ( 1, + ) recently. − ∞ Theorem 1.1 ([19, 25, 34]). Suppose (M, ,I) is a weighted triangulated surface with the weight I : E ( 1, + ) satisfyingT the structure condition → − ∞ Iij + IikIjk 0,Iik + IijIjk 0,Ijk + IijIik 0, ijk F. (1.3) ≥ ≥ ≥ ∀{ }∈ Then the inversive distance circle packing metric on (M, ,I) is uniquely determined by the discrete curvature (up to scaling for theT Euclidean back- ground geometry). The basic strategy in [19, 25, 34] to prove Theorem 1.1 is to apply the variational principle introduced by de Verdi`ere [9] to inversive distance circle packing, which could be separated into the following three steps. The first step is to prove the admissible space of inversive distance packing metrics for a single triangle is simply connected; The second step is to prove that the Jacobian matrix of the inner angles of a triangle in terms of some appropriate parametrization of the circle radii is symmetric and negative semi-definite (or negative definite), which ensures the definition of a locally concave function; The third step is to extend the locally concave function to be a globally A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 3 defined concave function, which has been systematically studied in [3, 25], and use this concave function to prove the rigidity. In this paper, we give a new proof of Theorem 1.1. In the first step, the proof in [19, 25, 34] for simply connectivity of the admissible space for a sin- gle triangle is based on the triangle inequalities, which can not be generalized to three or higher dimensional cases. In this paper, we give a new proof of the simply connectivity using the Cayley-Menger determinant, which could be used to characterize the nondegeneracy of a simplex in any dimension. This proof enables us to prove the simply connectivity of admissible space of Thurston’s sphere packing metrics for a single tetrahedron in three di- mension [20, 21]. In the second step, the arguments in [19, 34] to prove the negative semi-definiteness (or negative definiteness) of the Jacobian matrix of inner angles in a triangle is based on a lengthy estimate of the eigenvalues of the matrix under the nondegenerate condition. In this paper, we give a new and short proof of the negative definiteness involving only the rank of the Jacobian matrix and connectivity of the parameterized admissible space for a triangle, which greatly simplifies the arguments in [19, 34]. The third step is the same as that in [19, 25, 34]. In this paper, we only study the rigidity of inversive distance circle packing in Euclidean and hyperbolic background geometry. For the rigidity of inver- sive distance circle packing in spherical background geometry, see [4, 5, 26]. Deformation of inversive distance circle packing metrics on surfaces by dis- crete curvature flows was also studied recently, see [11, 12, 13, 15]. Inversive distance circle packing has lots of practical applications, see [6, 23, 35, 36]. This paper is organized as follows. In Section 2, we give a new proof of Theorem 1.1 in Euclidean background geometry. In Section 3, we give a new proof of Theorem 1.1 in hyperbolic background geometry.

2. Rigidity of Euclidean inversive distance circle packing 2.1. Admissible space of Euclidean inversive distance circle packing metrics for a single triangle. Suppose σ = 123 F is a topological triangle in (M, ,I). The corresponding edge set{ of the} ∈ triangle is denoted T by Eσ = 12 , 13 , 23 . We denote η as the restriction of the weight {{ } { } { }} I : E ( 1, + ) on the edge set Eσ. Given a weight η on the edge set → − ∞ E Eσ satisfying the structure condition (1.3), the admissible space Ω123(η) of Euclidean inversive distance circle packing metrics for the triangle 123 is defined to be the set of Euclidean inversive distance circle packing{ metrics} (r , r , r ) R3 such that the triangle 123 with the edge lengths given 1 2 3 ∈ >0 { } by (1.1) exists in 2-dimensional Euclidean space E2. To simplify the notations, we set

Ii = Ijk, i, j, k = 1, 2, 3 . { } { } 4 XU XU

2 2 2 Then lij = ri + rj + 2rirjIk. Set 01 1 1  1 0 l2 l2  G (l)= 12 13 0 1 l2 0 l2  12 23   1 l2 l2 0   13 23  to be the Cayley-Menger 4 4-matrix. Recall the following result charac- terizing the nondegeneracy of× a Euclidean triangle 123 with positive edge { } lengths l12, l13, l23. Lemma 2.1 ([29], Proposition 2.4.1). A triangle with positive edge lengths 2 l12, l13, l23 exists in E if and only if det G0(l) < 0. Remark 2.1. By direct calculations, we have det G (l)= (l + l + l )(l + l l )(l + l l )(l + l l ), 0 − 12 13 23 12 13 − 23 12 23 − 13 13 23 − 12 which implies det G0(l) < 0 is equivalent to the triangle inequalities. This was also observed in [19]. The advantage of using det G0(l) < 0 to charac- terize the nondegeneracy is that we just need one inequality det G0(l) < 0 instead of three triangle inequalities. Furthermore, this characterization of nondegeneracy of simplex could be generalized to high dimensional case [29].

Submitting (1.1) into det G0(l), we have det G (l)= 4[r2r2(1 I2)+ r2r2(1 I2)+ r2r2(1 I2) 0 − 1 2 − 3 1 3 − 2 2 3 − 1 2 2 2 + 2r1r2r3(I1 + I2I3) + 2r1r2r2(I2 + I1I3) + 2r1r2r3(I3 + I1I2)]. Set 1 γi = Ii + IjIk, κi = ri− and Q = κ2(1 I2)+ κ2(1 I2)+ κ2(1 I2) + 2κ κ γ + 2κ κ γ + 2κ κ γ , 1 − 1 1 − 2 3 − 3 1 2 3 1 3 2 2 3 1 then we have det G (l)= 4r2r2r2Q. 0 − 1 2 3 Lemma 2.2 ([19, 34, 37]). A Euclidean triangle 123 with edge lengths 2 { } l12, l13, l23 given by (1.1) exists in E if and only if Q> 0. Set h =κ (1 I2)+ κ γ + κ γ , 1 1 − 1 2 3 3 2 h =κ (1 I2)+ κ γ + κ γ , (2.1) 2 2 − 2 1 3 3 1 h =κ (1 I2)+ κ γ + κ γ . 3 3 − 3 1 2 2 1 R3 By Lemma 2.2, (r1, r2, r3) >0 generates a degenerate Euclidean triangle if and only if ∈ Q = κ1h1 + κ2h2 + κ3h3 0. (2.2) ≤ A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 5

Remark 2.2. For a nondegenerate inversive distance circle packing metric of the triangle 123 , there exists a geometric center C123 of the triangle 123 , which has{ the} same circle power to the circles attached to the vertices { } 1, 2, 3 . hi in (2.1) is a positive multiplication of the signed distance hjk,i { } of C123 to the edge jk , which is defined to be positive if C123 is on the same side of the line{ determined} by jk as the triangle 123 and negative { } { } otherwise (or zero if C123 is on the line). By direct calculations, we have 2 2 2 2 2 2 r1r2r3 2 2 r1r2r3 hij,k = [κk(1 Ik )+ κjκkγi + κiκkγj]= κkhk, (2.3) 2lijA123 − 2lijA123 where A123 is the area of the triangle 123 . Note that h1, h2, h3 are well- R3 { } defined for any (r1, r2, r3) >0, while h12,3, h13,2, h23,1 are defined for non- degenerate inversive distance∈ circle packing metrics. Refer to [16, 17, 18, 30] for more information on the geometric center of triangles. R3 Suppose (r1, r2, r3) >0 is a degenerate inversive distance circle packing metric, then one of the∈ following two cases happens by (2.2).

(1): At least one of h1, h2, h3 is zero; (2): None of h1, h2, h3 is zero. We will prove that case (1) never happens. Furthermore, we will prove that only one of hi, hj, hk is negative and the others are positive in case (2). Note that Q 0 is equivalent to the following quadratic inequality of κi ≤ 2 Aiκ + Biκi + Ci 0, (2.4) i ≥ where 2 Ai =I 1, i − Bi = 2(κj γk + κkγj) 0, (2.5) − ≤ 2 2 2 2 Ci =κ (I 1) + κ (I 1) 2κjκkγi. j j − k k − − with i, j, k = 1, 2, 3 . By direct calculations, the determinant ∆i = 2 { } { } B 4AiCi is given by i − 2 2 2 2 2 ∆i = 4(I + I + I + 2I I I 1)(κ + κ + 2κjκkIi). (2.6) 1 2 3 1 2 3 − j k Lemma 2.3. Suppose η = (I1,I2,I3) is a weight on the edges of a triangle 123 satisfying the structure condition (1.3). If Ii > 1, then ∆i > 0. { } 2 2 Proof. It is straight forward to check that κj + κk + 2κjκkIi > 0. We just 2 2 2 need to check I + I + I + 2I I I 1 > 0 by (2.6). If Ij 0,Ik 0, then 1 2 3 1 2 3 − ≥ ≥ I2 + I2 + I2 + 2I I I 1 >I2 + I2 + 2I I I 0. 1 2 3 1 2 3 − j k 1 2 3 ≥ If Ij < 0, then Ij ( 1, 0) and ∈ − 2 2 2 2 2 2 I + I + I + 2I I I 1 = (Ik + IiIj) + (1 I )(I 1) > 0. 1 2 3 1 2 3 − − j i − Similar argument applies for the case Ik < 0. Therefore, under the structure 2 2 2 condition (1.3) and Ii > 1, we have I + I + I + 2I I I 1 > 0. Q.E.D. 1 2 3 1 2 3 − Now we can prove that the case (1) never happens. 6 XU XU

Lemma 2.4. Suppose (r , r , r ) R3 is a degenerate Euclidean inversive 1 2 3 ∈ >0 distance circle packing metric for a triangle 123 with a weigh η : Eσ { } → ( 1, + ) satisfying the structure condition (1.3), then none of h1, h2, h3 is zero.− ∞ Proof. We prove the lemma by contradiction. By the degenerate condition (2.2), if one of h1, h2, h3 is zero, then there is another one of h1, h2, h3 that is nonpositive. Without loss of generality, we assume h = 0, h 0 for a 1 2 ≤ degenerate Euclidean inversive distance circle packing metric (r1, r2, r3) R3 ∈ >0. 2 By h1 = 0, we have κ1(I1 1) = κ2γ3 + κ3γ2, which implies I1 1 by the structure condition (1.3). If−I > 1, then we can take Q 0 as a≥ quadratic 1 ≤ inequality in κ1 A κ2 + B κ + C 0, (2.7) 1 1 1 1 1 ≥ where A ,B ,C are given by (2.5) with A = I2 1 > 0. By Lemma 2.3, 1 1 1 1 1 − we have ∆1 > 0. Then (2.7) implies

B1 + √∆1 B1 √∆1 κ1 − or κ1 − − , ≥ 2A1 ≤ 2A1 which is equivalent to

2h1 = 2A1κ1 + B1 ∆1 > 0 or 2h1 = 2A1κ1 + B1 ∆1 < 0. − ≥ p − ≤−p This contradicts h1 = 0. Therefore, I1 = 1. By h1 = 0 again, we have γ2 = γ3 = 0, which implies I2 + I3 = 0. 2 By h2 = κ2(1 I2 )+ κ1γ3 + κ3γ1 0, we have I2 1, which implies I = I 1. This− is impossible.≤ ≥ Q.E.D. 3 − 2 ≤− By Lemma 2.4, if (r , r , r ) R3 is a degenerate Euclidean inversive 1 2 3 ∈ >0 distance circle packing metric for a triangle 123 , at least one of h1, h2, h3 is negative and the others are nonzero. Furthermore,{ } we have the following result.

Lemma 2.5. Suppose 123 is a triangle with a weigh η : Eσ ( 1, + ) satisfying the structure{ condition} (1.3) and (r , r , r ) R3 .→ Then− there∞ 1 2 3 ∈ >0 exists no subset i, j 1, 2, 3 such that hi < 0 and hj < 0. { } ⊂ { } Proof. Without loss of generality, we consider the case h1 < 0, h2 < 0. By h1 < 0, h2 < 0, we have (I2 1)κ > κ γ + κ γ , (I2 1)κ > κ γ + κ γ , 1 − 1 2 3 3 2 2 − 2 1 3 3 1 2 2 2 which implies I1 > 1,I2 > 1 and (I1 1)(I2 1) > γ3 by the structure condition (1.3). Note that − − (I2 1)(I2 1) γ2 = I2 I2 I2 2I I I + 1 < 0 1 − 2 − − 3 − 1 − 2 − 3 − 1 2 3 by the proof of Lemma 2.3. This is a contradiction. Q.E.D. A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 7

R3 Remark 2.3. No matter (r1, r2, r3) >0 is a nondegenerate or degenerate inversive distance circle packing metric∈ for the triangle 123 , Lemma 2.5 is valid. For nondegenerate inversive distance circle packin{ g metrics,} Lemma 2.5 implies that the geometric center does not lie in some special regions in the plane relative to the triangle. Now we can prove the main result of this subsection. Proposition 2.1 ([19, 34]). Suppose σ = 123 F is a triangle in (M, ) { }∈ T with a weight η : Eσ ( 1, + ) satisfying the structure condition (1.3). → − E ∞ Then the admissible space Ω123(η) of Euclidean inversive distance circle R3 packing metrics (r1, r2, r3) >0 is nonempty and simply connected. Fur- thermore, the set of degenerate∈ inversive distance circle packing metric is a disjoint union i P Vi, where P = i 1, 2, 3 Ii > 1 and ∪ ∈ { ∈ { }| } √ R3 Bi + ∆i Vi = (r1, r2, r3) >0 κi −  ∈ | ≥ 2Ai  R2 is bounded by an analytic graph on >0. R3 Proof. Suppose (r1, r2, r3) >0 is a degenerate inversive distance circle packing metric for the triangle∈ 123 , then we have Q = κ h +κ h +κ h { } 1 1 2 2 3 3 ≤ 0. By Lemma 2.4 and Lemma 2.5, one of h1, h2, h3 is negative and the others are positive. Suppose hi < 0 and hj > 0, hk > 0 with i, j, k = 1, 2, 3 . Then { } { } we have Ii > 1 by hi < 0. Take Q 0 as a quadratic inequality of κi, 2 ≤ we have Aiκi + Biκi + Ci 0, where Ai,Bi,Ci are defined by (2.5) with 2 ≥ 2 Ai = Ii 1 > 0. By Lemma 2.3, we have ∆i > 0. Then Aiκi +Biκi +Ci 0 implies − ≥ Bi + √∆i Bi √∆i κi − or κi − − . ≥ 2Ai ≤ 2Ai

Bi Bi+√∆i Note that hi < 0 is equivalent to κi > − . This implies κi − . 2Ai ≥ 2Ai Therefore, the set of degenerate inversive distance circle packing metrics is contained in i P Vi. ∪ ∈ On the other hand, if Ii > 1, then for any (r , r , r ) Vi, we have 1 2 3 ∈ Q 0, which implies any element (r1, r2, r3) Vi is a degenerate inversive ≤ E∈ R3 distance circle packing metric. Therefore, Ω123(η) = >0 i P Vi, where \∪ ∈ P = i 1, 2, 3 Ii > 1 . { ∈ { }| } Bi For any (r1, r2, r3) Vi, we have κi > − , which is equivalent to hi < 0. ∈ 2Ai This implies Vi Vj = if Ii > 1 and Ij > 1 by Lemma 2.5. ∩ ∅ R2 Note that Vi is bounded by an analytic graph on >0 R3 2Ai Vi = (r1, r2, r3) >0 ri . { ∈ | ≤ Bi + √∆i } − E R3 R3 This implies Ω123(η)= >0 i P Vi is homotopy equivalent to >0. There- E \∪ ∈ fore, Ω123(η) is simply connected. Q.E.D. 8 XU XU

Remark 2.4. Suppose σ = 123 F is a triangle with a weight η : Eσ { }∈ → ( 1, + ) satisfying the structure condition (1.3). For (r , r , r ) Vi, we − ∞ 1 2 3 ∈ have hi < 0 and hj > 0, hk > 0. Remark 2.5. The simply connectivity of the admissible space of nondegen- erate inversive distance circle packing metrics was first proved by Guo [19] for nonnegative inversive distance and then by the author [34] for inversive distance in ( 1, + ) satisfying the structure condition (1.3). The proof of simply connectivity− ∞ presented here is motivated by the proof of simply con- nectivity of admissible space of sphere packing metrics of a tetrahedron in 3- dimension [10, 14, 33]. The advantage of the proof of Proposition 2.1 is that we have a precise description of the boundary of the admissible space, each R2 connected component of which is an analytic graph on >0, and the proof could be generalized to 3-dimensional case to prove the simply connectivity of admissible space of Thurston’s sphere packing metrics for a tetrahedron [10, 14, 20, 21, 33].

In a single triangle 123 , we denote θi as the angle at vertex i. We have the following result. { } Lemma 2.6 ([25, 34]). Suppose 123 F is a triangle with a weight { } ∈ η : Eσ ( 1, + ) satisfying the structure condition (1.3). Then θ1,θ2,θ3 → − ∞ E defined for (r1, r2, r3) Ω123(η) could be extended by constants to be contin- ∈ R3 uous functions θ1, θ2, θ3 defined on >0. E Proof. If r = (re1, re2, re3) Ω123(η) tends to a point r = (r1, r2, r3) in the R3∈ boundary ∂Vi of Vi in >0, we have the area A123 0, lij(r) lij(r) > 0 2A123 → → and lik(r) lik(r) > 0, which implies sin θi = 0. Therefore, θi π → lij lik → → or 0. Take ui = ln ri. By Lemma 2.9, we have ∂θ ∂θ ∂θ h h i = j k = ij,k ik,j . ∂ui −∂ui − ∂ui − lij − lik

∂θi E As hj > 0, hk > 0 for r ∂Vi by Remark 2.4, we have < 0 for r Ω (η) ∈ ∂ui ∈ 123 around r by (2.3). Therefore, if we increase ri at r, which results the triangle does not degenerate, we shall have θi decrease. This implies θi π as → (r1, r2, r3) (r1, r2, r3). By θi + θj + θk = π, we have θj,θk 0. → E → Then we can extend θ1,θ2,θ3 defined on Ω123(η) to be continuous func- R3 tions defined on >0 by setting E θi, if (r , r , r ) Ω (η); 1 2 3 ∈ 123 θi(r1, r2, r3)=  π, if (r1, r2, r3) Vi;  0, otherwise. ∈ e  Q.E.D. Denote Γ= (I ,I ,I ) ( 1, + )3 γ 0, γ 0, γ 0 { 1 2 3 ∈ − ∞ | 1 ≥ 2 ≥ 3 ≥ } A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 9 as the space of weights on the edges of a triangle 123 satisfying the struc- ture condition (1.3). { } Lemma 2.7. Γ is connected. 3 Proof. It is obviously that [0, + ) Γ. By γi = Ii + IjIk 0, i = 1, 2, 3, we have I + I 0,I + I ∞0,I ⊂+ I 0, which implies≥ that at most 1 2 ≥ 1 3 ≥ 2 3 ≥ one of I1,I2,I3 is negative. Without loss of generality, we consider the case (I1,I2,I3) Γ with I1 < 0,I2 0,I3 0. It is straight forward to check that (tI ,I∈,I ) Γ for any t ≥[0, 1], which≥ implies Γ is connected. Q.E.D. 1 2 3 ∈ ∈ Using the space Γ, we can further define the following 6-dimensional pa- rameterized admissible space E E Ω123 = η ΓΩ123(η). ∪ ∈ E Lemma 2.8. Ω123 is connected. E Proof. Suppose η0 Γ, then there exists r0 Ω123(η0) with Q(η0, r0) > 0 ∈ E ∈ by the nonempty property of Ω123(η0) in Proposition 2.1. Consider the continuous function Q(η, r0) of η. As Q(η0, r0) > 0, there is a connected neighborhood Uη0 Γ of η0 such that Q(η, r0) > 0 for any η Uη0 . This ⊂ E ∈ implies that for any η Uη0 , any two points (η, rA) Ω123 and (η0, rB) E ∈ E ∈ ∈ Ω123 could be connected by a path in Ω123 by Proposition 2.1. In this case, E E we call the space Ω123(η) and Ω123(η0) could be connected by a path in Uη0 . E Taking Ω123(η) as a point. Then for any ηA, ηB Γ, the existence of a path E E ∈ from Ω123(ηA) toΩ123(ηB) in Γ follows from the connectivity of Γ and finite E covering theorem, which implies that Ω123 is connected. Q.E.D.

2.2. Negative semi-definiteness of the Jacobian matrix. Set ui = r E ∂(θ1,θ2,θ3) ln i. The following result on the matrix Λ123 = ∂(u1,u2,u3) is known.

Lemma 2.9 ([8, 19, 31, 34, 37]). Suppose (r1, r2, r3) is a nondegenerate Euclidean inversive distance circle packing metric for a triangle 123 with a weight η satisfying the structure condition (1.3), then { } 2 2 2 ∂θi ∂θj r1r2r3 2 2 = = κ (1 I )+ κjκkγi + κiκkγj (2.8) ∂u ∂u 2A l2 k − k j i 123 ij   for any adjacent vertices i, j, where A123 is the area of the triangle 123 , and { } ∂θ ∂θ ∂θ i = i i . (2.9) ∂ui −∂uj − ∂uk E Specially, for η = (I1,I2,I3) = (1, 1, 1) Γ, the Jacobian matrix Λ123 = ∂(θ1,θ2,θ3) ∈ ∂(u1,u2,u3) is negative semi-definite with a zero eigenvalue and two negative eigenvalues.

Remark 2.6. By (2.3), (2.9) and Remark 2.4, if η Γ and (r1, r2, r3) E ∂θ∈i ∂θi ∈ Ω (η) tends to a point (r1, r2, r3) ∂Vi, we have + , + 123 ∈ ∂uj → ∞ ∂uk → ∞ and ∂θi . ∂ui → −∞ 10 XU XU

Set d = ∂lij and d = ∂lij . Then d = ri(ri+rj Ik) , d = rj (rj +riIk) and ij ∂ui ji ∂uj ij lij ji lij dij + dji = lij. This is a type of conformal metric studied in [16, 17, 18, 30]. R3 Lemma 2.10 ([19, 34]). Suppose r = (r1, r2, r3) >0 is a nondegenerate Euclidean inversive distance circle packing metric∈ for a triangle 123 with a weight η satisfying the structure condition (1.3), then the Jacobian{ matrix} E η ∂(θ1,θ2,θ3) Λ123( ) = ∂(u1,u2,u3) is negative semi-definite with one dimensional kernel t(1, 1, 1) t R . { | ∈ } Proof. By the chain rules, we have

E ∂(θ1,θ2,θ3) ∂(l23, l13, l12) Λ123 = . ∂(l23, l13, l12) · ∂(u1, u2, u3) By direct calculations,

0 d23 d32 ∂(l23, l13, l12) det = det  d13 0 d31  ∂(u1, u2, u3) d12 d21 0   r1r2r3 2 2 = [2r1r2r3(1 + I1I2I3)+ r1(r2 + r3)(I1 + I2I3) l12l13l23 2 2 2 2 + r2(r1 + r3)(I2 + I1I3)+ r3(r1 + r2)(I3 + I1I2)] 2 2 2 2r1r2r3 (1 + I1I2I3 + I1 + I2I3 + I2 + I1I3 + I3 + I1I2) ≥l12l13l23 2 2 2 2r1r2r3 = (1 + I1)(1 + I2)(1 + I3) > 0, l12l13l23

∂(l23,l13,l12) which implies the matrix ∂(u1,u2,u3) is nondegenerate. Therefore, the rank E ∂(θ1,θ2,θ3) of Λ123 is the same as that of the matrix ∂(l23,l13,l12) , which is known to be 2 for nondegenerate Euclidean triangles. E E Taking Λ123 as a matrix-valued function defined on Ω123, then the two E E nonzero eigenvalues of Λ123 are continuous functions of (η, r) Ω123. By the E ∈ connectivity of Ω123 in Lemma 2.8, the nonzero eigenvalues do not change E E sign in Ω123. Note that Λ123(η0) is negative semi-definite with two negative E eigenvalues for η0 = (1, 1, 1) by Lemma 2.9. This implies that Λ123(η) is negative semi-definite with two negative eigenvalues for any η Γ. The kernel of ΛE (η) is t(1, 1, 1) t R follows from the scaling invariance∈ of 123 { | ∈ } θ1,θ2,θ3. Q.E.D.

E Remark 2.7. The negative semi-definiteness of the Jacobian matrix Λ123 for Thurston’s circle packing metric is well-known, see [8, 31, 37]. The nega- E tive semi-definiteness of Λ123 for inversive distance circle packing metrics is proved by Guo [19] for nonnegative inversive distance and by the author [34] for inversive distance in ( 1, + ) satisfying the structure condition (1.3). The proof we give here simplifies− ∞ the proof in [19, 34]. A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 11

2.3. Proof of the rigidity for Euclidean inversive distance circle packing. As the rest of the proof for the rigidity is standard and the same as that in [19, 25, 34], we just give a sketch of the proof here. For more details of the proof, see [19, 25, 34]. By Lemma 2.9 and Proposition 2.1, we can define the following function

(ui,uj ,uk) Fijk(ui, uj, uk)= θidui + θjduj + θkduk Z(ui,uj ,uk) E on ln(Ωijk(η)), which is locally concave by Lemma 2.10. Recall the following definition and extension theorem of Luo [25]. n i Definition 2.1. A differential 1-form w = i=1 ai(x)dx in an open set Rn U is said to be continuous if each ai(x)Pis continuous on U. A con- ⊂ tinuous differential 1-form w is called closed if ∂τ w = 0 for each triangle τ U. R ⊂ Theorem 2.1 ([25], Corollary 2.6). Suppose X Rn is an open convex set and A X is an open subset of X bounded by a⊂ real analytic codimension-1 ⊂ n submanifold in X. If w = i=1 ai(x)dxi is a continuous closed 1-form on x A so that F (x) = a w is locallyP convex on A and each ai can be extended continuous to X byR constant functions to a function ai on X, then F (x)= x n a (x)dx is a C1-smooth convex function on X extending F . a i=1 i i e R P e By Propositione 2.1, Lemma 2.6 and Theorem 2.1, Fijk could be extended to be a C1-smooth concave function

(ui,uj ,uk) Fijk(ui, uj, uk)= θidui + θjduj + θkduk Z(ui,uj ,uk) e e e e 3 1 defined on R . Using Fijk, we can further define the following C convex F R V function on | | e e F (u1, , u V ) = 2π ui Fijk(ui, uj, uk), · · · | | − Xi V ijkX F e ∈ { }∈ e jk which has gradient u F = 2π θ = Ki, where Ki is a continuous ∇ i − ijk F i extension of K . Then the global{ rigidity}∈ of K on the admissible space of i e P e e e Euclidean inversive distance circle packing metrics for (M, ,I) follows from T the convexity of F and the null space of ΛE (η) is t(1, 1, 1) t R . Q.E.D. ijk { | ∈ } e 3. Rigidity of hyperbolic inversive distance circle packing 3.1. The admissible space of hyperbolic inversive distance circle packing metrics for a single triangle. Similar to the Euclidean case, we can define the admissible space of hyperbolic inversive distance circle packing metrics for a triangle σ = 123 F . Given a weight η on the { } ∈ edge set Eσ of 123 satisfying the structure condition (1.3), the admissible H { } space Ω123(η) of hyperbolic inversive distance circle packing metrics for the 12 XU XU triangle σ = 123 is defined to be the set of hyperbolic inversive distance circle packing{ metrics} (r , r , r ) R3 such that the triangle with edge 1 2 3 ∈ >0 lengths given by (1.2) exists in 2-dimensional hyperbolic space H2. Set 01 1 1  1 0 cosh l12 cosh l13  G (l)= − − . − 1 cosh l 0 cosh l  − 12 − 23   1 cosh l13 cosh l23 0   − −  Recall the following result characterizing nondegeneracy of a hyperbolic tri- angle 123 with positive edge lengths l , l , l . { } 12 13 23 Lemma 3.1 ([29], Proposition 2.4.1). A triangle with positive edge lengths 2 l12, l13, l23 exists in H if and only if det G (l) < 0. − Remark 3.1. By direct calculations, we have

det G (l)= 4sinh s sinh(s l12) sinh(s l13) sinh(s l23), − − − − − 1 where s = 2 (l12+l13+l23) is the semiperimeter. This implies that det G (l) < 0 is equivalent to the triangle inequalities. This was also observed by Guo− in [19]. Similar to the Euclidean case, this approach has the advantage that we just need one inequality to characterize the nondegeneracy instead of three triangle inequalities. Furthermore, this approach could be generalized to high dimensions [29]. For simplicity, we set

Ci = cosh ri,Si = sinh ri.

Submitting the definition of lij (1.2) into G (l), we have − 2 2 2 det G (l) =2S1 S2 S3 (1 + I1I2I3) − − + S2S2(1 I2)+ S2S2(1 I2)+ S2S2(1 I2) 1 2 − 3 1 3 − 2 2 3 − 1 2 2 2 + 2C2C3S1 S2S3γ1 + 2C1C3S1S2 S3γ2 + 2C1C2S1S2S3 γ3. Set κi = coth ri, then 2 2 2 det G (l)= S1 S2 S3 Q, − − where Q =κ2(1 I2)+ κ2(1 I2)+ κ2(1 I2) + 2κ κ γ + 2κ κ γ + 2κ κ γ 1 − 1 2 − 2 3 − 3 1 2 3 1 3 2 2 3 1 + I2 + I2 + I2 + 2I I I 1. 1 2 3 1 2 3 − Then we have the following criterion of nondegeneracy for hyperbolic trian- gles.

Lemma 3.2 ([19, 34]). A hyperbolic triangle 123 with edge lengths l12, l13, l23 given by (1.2) exists in H2 if and only if Q>{ 0. } A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 13

Similar to the Euclidean case, set h =κ (1 I2)+ κ γ + κ γ , 1 1 − 1 2 3 3 2 h =κ (1 I2)+ κ γ + κ γ , 2 2 − 2 1 3 3 1 h =κ (1 I2)+ κ γ + κ γ , 3 3 − 3 1 2 2 1 we have Q =κ h + κ h + κ h + I2 + I2 + I2 + 2I I I 1. 1 1 2 2 3 3 1 2 3 1 2 3 − R3 Then (r1, r2, r3) >0 is a degenerate hyperbolic inversive distance circle packing metric for∈ a single triangle 123 if and only if { } Q = κ h + κ h + κ h + I2 + I2 + I2 + 2I I I 1 0. (3.1) 1 1 2 2 3 3 1 2 3 1 2 3 − ≤ 2 If I1,I2,I3 ( 1, 1], we have hi 1 Ii + γj + γk by κi = coth ri > 1, which implies∈ − ≥ − Q (1 I2)+ γ + γ + (1 I2)+ γ + γ + ≥ − 1 3 2 − 2 3 1 (1 I2)+ γ + γ + I2 + I2 + I2 + 2I I I 1 − 3 2 1 1 2 3 1 2 3 − =2(1 + I1)(1 + I2)(1 + I3) > 0 R3 R3 for any (r1, r2, r3) >0. Therefore, if (r1, r2, r3) >0 is a degenerate hyperbolic inversive∈ distance circle packing metric for∈ a triangle 123 , at 2 {2 } 2 least one of I1,I2,I3 is strictly larger than 1, which implies I1 + I2 + I3 + 2I1I2I3 1 > 0 by the proof of Lemma 2.3. − R3 Therefore, if (r1, r2, r3) >0 is a degenerate inversive distance circle packing metric for a triangle∈ 123 , we have { } κ1h1 + κ2h2 + κ3h3 < 0 by (3.1), which implies one of the following two cases happens.

(1): At least one of h1, h2, h3 is zero; (2): None of h1, h2, h3 is zero. Similar to the Euclidean case, we can prove that case (1) never happens. Furthermore, we can prove that only one of hi, hj , hk is negative and the others are positive in case (2). Similar to the Euclidean case, we can rewrite Q 0 as a quadratic in- ≤ equality of κi 2 Aiκ + Biκi + Ci 0, i ≥ where 2 Ai =I 1, i − Bi = 2(κj γk + κkγj) 0, i, j, k = 1, 2, 3 , − ≤ { } { } 2 2 2 (3.2) Ci =κ (I 1) + κk(I 1) 2κj κkγi j j − k − − (I2 + I2 + I2 + 2I I I 1) − 1 2 3 1 2 3 − 14 XU XU with i, j, k = 1, 2, 3 . By direct calculations, we have the determinant { 2 } { } ∆i = B 4AiCi is given by i − 2 2 2 2 2 ∆i =4(κj + κk + 2κjκkIi)(I1 + I2 + I3 + 2I1I2I3 1) − (3.3) + 4(I2 1)(I2 + I2 + I2 + 2I I I 1). i − 1 2 3 1 2 3 − Similar to the Euclidean case, we have the following results.

Lemma 3.3. If Ii > 1 and the structure condition (1.3) is satisfied, then ∆i > 0. Lemma 3.4. Suppose (r , r , r ) R3 is a degenerate hyperbolic inversive 1 2 3 ∈ >0 distance circle packing metric for a triangle 123 with a weight η : Eσ { } → ( 1, + ) satisfying the structure condition (1.3), then none of h1, h2, h3 is zero.− ∞

Lemma 3.5. Suppose 123 F is a triangle with a weight η : Eσ ( 1, + ) satisfying the{ structure} ∈ condition (1.3) and (r , r , r ) R3→. − ∞ 1 2 3 ∈ >0 Then there exists no subset i, j 1, 2, 3 such that hi < 0 and hj < 0. { } ⊂ { } Proposition 3.1 ([19, 34]). Suppose σ = 123 F is a triangle in (M, ) { }∈ T with a weight η : Eσ ( 1, + ) satisfying the structure condition (1.3). → − H ∞ Then the admissible space Ω123(η) of hyperbolic inversive distance circle R3 packing metrics (r1, r2, r3) >0 is nonempty and simply connected. Fur- thermore, the set of degenerate∈ inversive distance circle packing metric is a disjoint union i P Vi, where P = i 1, 2, 3 Ii > 1 and ∪ ∈ { ∈ { }| } √ R3 Bi + ∆i Vi = (r1, r2, r3) >0 κi −  ∈ | ≥ 2Ai  R2 is bounded by an analytic graph on >0 with Ai,Bi,Ci, ∆i given by (3.2)(3.3). Lemma 3.3, Lemma 3.4, Lemma 3.5 and Proposition 3.1 could be proved similarly to that of Lemma 2.3, Lemma 2.4, Lemma 2.5 and Proposition 2.1 by repeating the proof line by line. We omit the details of the proof here. Similar to Remark 2.4, we have the following remark.

Remark 3.2. If (r , r , r ) Vi is a degenerate hyperbolic inversive distance 1 2 3 ∈ circle packing metric for a triangle 123 with a weight η : Eσ ( 1, + ) { } → − ∞ satisfying the structure condition (1.3), then hi < 0, hj > 0, hk > 0, where i, j, k = 1, 2, 3 . { } { } Similar to the Euclidean case, the inner angles of a hyperbolic triangle could be extended by constants to be globally defined continuous functions. Lemma 3.6 ([25, 34]). Suppose 123 F is a triangle with a weight η : { } ∈ Eσ ( 1, + ) satisfying the structure condition (1.3). Then the functions → − ∞ H θ1,θ2,θ3 defined for (r1, r2, r3) Ω123(η) could be extended by constants to ∈ R3 be continuous functions θ1, θ2, θ3 defined on >0. e e e A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 15

H Proof. Suppose (r1, r2, r3) Ω123(η) tends to a point (r1, r2, r3) ∂Vi. By direct calculations, we have∈ ∈

det G (l) =4sinh s sinh(s lij) sinh(s lik) sinh(s ljk) − − − − − =(cosh(ljk + lik) cosh lij)(cosh lij cosh(ljk lik)) − − − 2 2 2 =(cosh ljk 1)(cosh l 1) (cosh ljk cosh lik cosh lij) − ik − − − 2 2 2 2 2 =sinh ljk sinh lik sinh ljk sinh lik cos θk − 2 2 2 =sinh ljk sinh lik sin θk, H where i, j, k = 1, 2, 3 . As (r , r , r ) Ω (η) tends to (r , r , r ) ∂Vi, { } { } 1 2 3 ∈ 123 1 2 3 ∈ we have det G (l) 0, which implies θ1,θ2,θ3 0 or π. By Lemma− 3.8, we→ have → 2 2 2 2 ∂θ S S Sk S S Skhk j = i j [κ (1 I2)+ κ γ + κ γ ]= i j , 2 k k i j j i 2 ∂ui 2A123 sinh lij − 2A123 sinh lij

ri 1 where ui = lne tanh 2 and A123 = 2 sinh lik sinh lij sin θei. Note that for (r1, r2, r3) ∂Vi, we have hk > 0 by Remark 3.2. Therefore, for (r1, r2, r3) H ∈ e ∂θj ∈ Ω (η) sufficiently close to (r1, r2, r3) ∂Vi, we have > 0, which implies 123 ∈ ∂ui θj,θk 0 as (r , r , r ) (r , r , r ) ∂Vi. → 1 2 3 → 1 2 3 ∈ Furthermore, we have the following formula [32] for the area A123 of the hyperbolic triangle 123 { } A p p l p l p l tanh2 123 = tanh tanh − 12 tanh − 13 tanh − 23 4 2 2 2 2 det G (l) = − − , 2 p 2 p l12 2 p l13 2 p l23 64 cosh 2 cosh −2 cosh −2 cosh −2 where p = 1 (l + l + l ). This implies A 0 as (r , r , r ) 2 12 13 23 123 → 1 2 3 → (r , r , r ) ∂Vi. Further note that A = π θ θ θ and θj,θk 0, 1 2 3 ∈ 123 − 1 − 2 − 3 → we have θi π as (r1, r2, r3) (r1, r2, r3) Vi. → → ∈ H Therefore, we can extend θ1,θ2,θ3 defined on Ω123(η) to be continuous R3 functions defined on >0 by setting H θi, if (r , r , r ) Ω (η); 1 2 3 ∈ 123 θi(r1, r2, r3)=  π, if (r1, r2, r3) Vi;  0, otherwise. ∈ e  Q.E.D. Similar to the Euclidean case, we can define the following 6-dimensional parameterized admissible space H H Ω123 = η ΓΩ123(η). ∪ ∈ H Lemma 3.7. Ω123 is connected. The proof of Lemma 3.7 is the same as that of Lemma 2.8, we omit the proof here. 16 XU XU

ri 3.2. Negative definiteness of the Jacobian matrix. Set ui = ln tanh 2 . H ∂(θ1,θ2,θ3) The following result on the matrix Λ123 = ∂(u1,u2,u3) is known. R3 Lemma 3.8 ([8, 19, 31, 34, 37]). Suppose (r1, r2, r3) >0 is a nondegen- erate hyperbolic inversive distance circle packing metric∈ for a triangle 123 with a weight η satisfying the structure condition (1.3), then { }

2 2 ∂θi ∂θj Si Sj Sk 2 = = κk(1 I )+ κjγi + κiγj , (3.4) ∂u ∂u 2 − k j i 2A123 sinh lij   1 where A = sinh lik sinhelij sin θi and i, j, k = 1, 2, 3 . Specially, for 2 { } { } η = (I ,I ,I ) = (1, 1, 1), the matrix ΛH = ∂(θ1,θ2,θ3) is negative definite 1e 2 3 123 ∂(u1,u2,u3) at (r1, r2, r3) = (1, 1, 1). H Remark 3.3. By (3.4) and Remark 3.2, if η Γ and (r1, r2, r3) Ω123(η) ∂θi∈ ∂θi ∈ tends to a point (r1, r2, r3) ∂Vi, we have + , + . Recall ∈ ∂uj → ∞ ∂uk → ∞ the following formula obtained in Proposition 9 of [18]

∂A123 ∂θj ∂θk = (cosh lij 1) + (cosh lik 1), ∂ui ∂ui − ∂ui − we have ∂A123 + , which implies ∂ui → ∞ ∂θ ∂A ∂θ ∂θ i = 123 j k . ∂ui − ∂ui − ∂ui − ∂ui → −∞ R3 Lemma 3.9. Suppose r = (r1, r2, r3) >0 is a nondegenerate hyperbolic inversive distance circle packing metric∈ for a triangle 123 with a weight η { } . H η ∂(θ1,θ2,θ3) satisfying the structure condition (1 3), then the matrix Λ123( )= ∂(u1,u2,u3) is negative definite. Proof. By the chain rules, we have

H ∂(θ1,θ2,θ3) ∂(l23, l13, l12) Λ123 = . ∂(l23, l13, l12) · ∂(u1, u2, u3) By direct calculations, we have ∂(l , l , l ) S S S det 23 13 12 = 1 2 3 ∂(u1, u2, u3) sinh l12 sinh l13 sinh l23 · 2 2 2 2 2C1C2C3S1S2S3(1 + I1I2I3)+ C1S1γ1(C2 S3 + C3 S2 )  2 2 2 2 2 2 2 2 + C2S2γ2(C1 S3 + C3 S1 )+ C3S3γ3(C1 S2 + C2 S1 ) 2 2 2  2C1C2C3S1 S2 S3 (1 + I1I2I3 + γ1 + γ2 + γ3) ≥sinh l12 sinh l13 sinh l23 2 2 2 2C1C2C3S1 S2 S3 = (1 + I1)(1 + I2)(1 + I3) > 0, sinh l12 sinh l13 sinh l23 A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 17

∂(l23,l13,l12) which implies the matrix ∂(u1,u2,u3) is nondegenerate. Therefore, the rank H ∂(θ1,θ2,θ3) of Λ123 is the same as that of the matrix ∂(l23,l13,l12) , which is 3 for nonde- generate hyperbolic triangles. H H Taking Λ123 as a matrix-valued function defined on Ω123, then the three H H nonzero eigenvalues of Λ123 are continuous functions of (η, r) Ω123. By H ∈ the connectivity of Ω123 in Lemma 3.7, the three nonzero eigenvalues do not H H change sign on Ω123. Note that Λ123(η0) is negative definite at (r1, r2, r3)= H (1, 1, 1) for η0 = (1, 1, 1) by Lemma 3.9, we have Λ123(η) is negative definite for any η Γ. Q.E.D. ∈ 3.3. Proof of the rigidity for hyperbolic inversive distance circle packing metrics. Similar to the Euclidean case, we just sketch the proof of rigidity for hyperbolic inversive distance circle packing here. For more details of the proof, see [19, 25, 34]. By Lemma 3.8 and Proposition 3.1, we can define the following function

(ui,uj ,uk) Fijk(ui, uj, uk)= θidui + θjduj + θkduk Z(ui,uj ,uk)

H ri on the image of Ωijk(η) under the map ui = ln tanh 2 , which is locally concave by Lemma 3.9. By Proposition 3.1, Lemma 3.6 and Theorem 2.1, 1 Fijk could be extended to be a C -smooth concave function

(ui,uj ,uk) Fijk(ui, uj, uk)= θidui + θjduj + θkduk Z(ui,uj ,uk) e e e e R3 1 defined on <0. Using Fijk, we can further define the following C convex R V function F on <| 0| e

e F (u1, , u V ) = 2π ui Fijk(ui, uj, uk), · · · | | − Xi V ijkX F e ∈ { }∈ e jk which has gradient u F = 2π θ = Ki, where Ki is a contin- ∇ i − ijk F i uous extension of K . Then the global{ }∈ injectivity of K on the admissible i e P e e e space of hyperbolic inversive distance circle packing metrics for (M, ,I) T follows from the convexity of F . This is equivalent to the global rigidity of the curvature map K. Q.E.D. e Acknowledgements This work was partially done when the author was visiting the Department of Mathematics, Rutgers University. The author thanks Professor Feng Luo for invitation and communications. The research of the author is supported by Hubei Provincial Natural Science Foundation of China under grant no. 2017CFB681, Fundamental Research Funds for the Central Universities un- der grant no. 2042018kf0246 and National Natural Science Foundation of China under grant no. 61772379 and no. 11301402. 18 XU XU

References

[1] E. M. Andreev, Convex polyhedra in Lobachevsky spaces. (Russian) Mat. Sb. (N.S.) 81 (123) 1970 445-478. [2] E. M. Andreev, Convex polyhedra of finite volume in Lobachevsky space. (Rus- sian) Mat. Sb. (N.S.) 83 (125) 1970 256-260. [3] A. Bobenko, U. Pinkall, B. Springborn, Discrete conformal maps and ideal hyperbolic polyhedra. Geom. Topol. 19 (2015), no. 4, 2155-2215. [4] J.C. Bowers, P.L. Bowers, Ma-Schlenker c-Octahedra in the 2-Sphere. Discrete Comput. Geom. 60 (2018), no. 1, 9-26. [5] J.C. Bowers, P.L. Bowers, K. Pratt, Rigidity of circle polyhedra in the 2-sphere and of hyperideal polyhedra in hyperbolic 3-space, To appear in Trans. Amer. Math. Soc. DOI: https://doi.org/10.1090/tran/7483 [6] P. L. Bowers, M. K. Hurdal, Planar conformal mappings of piecewise flat sur- faces. Visualization and mathematics III, 3-34, Math. Vis., Springer, Berlin, 2003. [7] P. L. Bowers, K. Stephenson, Uniformizing dessins and Bely˘i maps via circle packing. Mem. Amer. Math. Soc. 170 (2004), no. 805 [8] B. Chow, F. Luo, Combinatorial Ricci flows on surfaces, J. Differential Geom- etry, 63 (2003), 97-129. [9] Y. C. de Verdi`ere, Un principe variationnel pour les empilements de cercles, Invent. Math. 104(3) (1991) 655-669. [10] H. Ge, B. Hua, 3-dimensional combinatorial Yamabe flow in hyperbolic back- ground geometry, arXiv:1805.10643 [math.DG]. [11] H. Ge, W. Jiang, On the deformation of inversive distance circle packings, I. To appear in Trans. Amer. Math. Soc, arXiv:1604.08317 [math.GT]. [12] H. Ge, W. Jiang, On the deformation of inversive distance circle packings, II. J. Funct. Anal. 272 (2017), no. 9, 3573-3595. [13] H. Ge, W. Jiang, On the deformation of inversive distance circle packings, III. J. Funct. Anal. 272 (2017), no. 9, 3596-3609. [14] H. Ge, W. Jiang, L. Shen, On the deformation of ball packings, arXiv:1805.10573 [math.DG]. [15] H. Ge, X. Xu, On a combinatorial curvature for surfaces with inversive distance circle packing metrics. J. Funct. Anal. 275 (2018), no. 3, 523-558. [16] D. Glickenstein, Discrete conformal variations and scalar curvature on piece- wise flat two and three dimensional manifolds, J.Differential Geometry, 87 (2011), 201-238. [17] D. Glickenstein, Geometric triangulations and discrete Laplacians on mani- folds, arXiv:math/0508188 [math.MG]. [18] D. Glickenstein, J.Thomas, Duality structures and discrete conformal varia- tions of piecewise constant curvature surfaces. Adv. Math. 320 (2017), 250-278. [19] R. Guo, Local rigidity of inversive distance circle packing, Trans. Amer. Math. Soc. 363 (2011) 4757-4776. [20] X. He, X. Xu, Thurston’s sphere packing on 3-dimensional manifolds, I, Preprint. [21] X. He, X. Xu, Thurston’s sphere packing on 3-dimensional manifolds, II, In preparation. [22] Z.-X. He, Rigidity of infinite disk patterns. Ann. of Math. (2) 149 (1999), no. 1, 1-33. [23] M. K. Hurdal, K. Stephenson, Discrete conformal methods for cortical brain flattening. Neuroimage, 45 (2009) S86-S98. A NEW PROOF OF BOWERS-STEPHENSON CONJECTURE 19

[24] P. Koebe, Kontaktprobleme der konformen Abbildung. Ber. S¨achs. Akad. Wiss. Leipzig, Math.- Phys. Kl. 88 (1936), 141-164. [25] F. Luo, Rigidity of polyhedral surfaces, III, Geom. Topol. 15 (2011), 2299-2319. [26] J. Ma, J. Schlenker, Non-rigidity of spherical inversive distance circle packings. Discrete Comput. Geom. 47 (2012), no. 3, 610-617. [27] A. Marden, B. Rodin, On Thurston’s formulaton and proof of Andreeev’s theo- rem. Computational methods and function theory (Valpara´ıso, 1989), 103-116, Lecture Notes in Math., 1435, Springer, Berlin, 1990. [28] K. Stephenson, Introduction to circle packing: The theory of discrete analytic functions, Cambridge Univ. Press (2005) [29] Y.U. Taylor, C.T. Woodward, 6j symbols for Uq(sl2) and non-Euclidean tetra- hedra. Selecta Math. (N.S.) 11 (2005), no. 3-4, 539-571. [30] J. Thomas, Conformal variations of piecewise constant two and three dimen- sional manifolds, Thesis (Ph.D.), The University of Arizona, 2015, 120 pp. [31] W. Thurston, Geometry and topology of 3-manifolds, Princeton lecture notes 1976, http://www.msri.org/publications/books/gt3m. [32] E.B. Vinberg, Geometry. II, Encyclopaedia of Mathematical Sciences, 29, Springer-Verlag, New York, 1988. [33] X. Xu, On the global rigidity of sphere packings on 3-dimensional manifolds, To appear in J.Differential Geometry, arXiv:1611.08835v4 [math.GT]. [34] X. Xu, Rigidity of inversive distance circle packings revisited, Adv. Math. 332 (2018), 476-509. [35] W. Zeng, X, Gu, Ricci Flow for Shape Analysis and Surface Registration, Springer Briefs in Mathematics. Springer, New York (2013). [36] M. Zhang, W. Zeng, R. Guo, F. Luo, G. Gu, Survey on discrete surface Ricci flow. J. Comput. Sci. Tech. 30 (2015), no. 3, 598-613. [37] Z. Zhou, Circle patterns with obtuse exterior intersection angles, arXiv:1703.01768v2 [math.GT]. (Xu Xu) School of Mathematics and Statistics, Wuhan University, Wuhan 430072, P.R. China E-mail: [email protected]