Dmitry Beliaev
email: belyaev@maths.ox.ac.uk

Bertrand Duplantier
email: bertrand.duplantier@cea.fr

MAPMO, UNIVERSIT É D'ORL Michel Zinsmeister

ÉANS B Âtiment

INTEGRAL MEANS SPECTRUM OF WHOLE-PLANE SLE

, a phase transition has been shown to occur for high enough moments from the bulk spectrum towards a novel spectrum related to the point at infinity. For the bounded version of whole-plane SLE of Ref.

[2], a similar transition phenomenon, now associated with the SLE origin, is proved to exist for low enough moments, but we show that it is superseded by the earlier occurrence of the transition to the SLE tip spectrum.

INTRODUCTION

Harmonic measure is one of the fundamental objects in geometric function theory and its fine structure provides much information about the underlying geometry. We refer the reader to the survey by Makarov [START_REF] Makarov | Fine structure of harmonic measure[END_REF] or to the recent monograph [START_REF] Garnett | of New Mathematical Monographs[END_REF]. In this article, we focus on the integral means spectrum of the harmonic measure (see definition below).

Schramm-Loewner Evolution (SLE) curves are (in part conjecturally) the conformally invariant scaling limits of interfaces in critical lattice models of statistical physics. Since its introduction by the late Oded Schramm [START_REF] Schramm | Scaling limits of loop-erased random walks and uniform spanning trees[END_REF] fifteen years ago, the SLE process has sparked intense interest both in mathematical and physical communities. (See Ref. [START_REF] Lawler | Conformally Invariant Processes in the Plane[END_REF] for a detailed study of SLE.) One direction of research is the study of geometrical properties of these curves, one approach to which is precisely to compute the multifractal spectra for the harmonic measure.

The first result in this direction is due to the second author who computed the SLE bulk spectrum by means of quantum gravity methods [START_REF] Duplantier | Conformally invariant fractals and potential theory[END_REF][START_REF] Duplantier | Conformal fractal geometry & boundary quantum gravity[END_REF], followed by Hastings who also computed a spectrum associated with the neighborhood of the SLE tip [START_REF] Hastings | Exact multifractal spectra for arbitrary Laplacian random walks[END_REF]. In Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], the first author and Smirnov provided a rigorous approach to the average integral means spectrum for whole-plane SLE, and showed that in a certain range of parameters (i.e., large enough negative moment orders), the tip spectrum dominates.

An unbounded version of whole-plane SLE was also studied in Refs. [START_REF] Duplantier | Coefficient estimates for whole-plane SLE processes[END_REF][START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF] and [START_REF] Loutsenko | SLE κ : correlation functions in the coefficient problem[END_REF][START_REF] Loutsenko | On exact multi-fractal spectrum of the whole-plane SLE[END_REF][START_REF] Loutsenko | Average harmonic spectrum of the whole-plane SLE[END_REF] for which it was shown that for a large enough positive moment order, the (average) bulk integral mean spectrum undergoes a phase transition towards a novel form, which was argued to be related to the point at infinity. For the bounded version of whole-plane SLE as studied in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], which is related by inversion to the unbounded one, a similar transition phenomenon may thus occur near the origin, which can be interpreted as the starting point of the random curve (see Definition 1.1 below). Indeed, it was observed in Refs. [START_REF] Loutsenko | Average harmonic spectrum of the whole-plane SLE[END_REF][START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF] that the analysis provided in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF] is incomplete, and that the integral means spectrum could a priori be dominated by a novel spectrum, thought of as arising from the neighborhood of the starting point, and to be distinguished from that brought in by the vicinity of the tip.

The purpose of this work is to complete the analysis undertaken in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], so as to rigorously establish, for the bounded version of whole-plane SLE as studied there, the form of the averaged integral means spectrum for all moment orders. In particular, we show that for large enough negative moments, the new spectrum dominates the bulk one, but that both are still dominated by the tip spectrum in the same range of parameters. The results are summarized in Theorem 1.2. The existence of the new spectrum is established starting in Section 3.4. Following Ref. [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF], the last Section 5.2 briefly discusses the relation of this spectrum to the derivative exponents of Ref. [START_REF] Lawler | Values of Brownian intersection exponents. II. Plane exponents[END_REF] for standard radial SLE, or, equivalently, to the non-standard tip exponents of Ref. [START_REF] Duplantier | Conformal fractal geometry & boundary quantum gravity[END_REF]; it further heuristically suggests why the new spectrum should be associated with the 'second tip' of bounded whole-plane SLE, the image by inversion of the point at infinity in the unbounded version.

Before we proceed with the details of the analysis, let us also mention the work by Johansson Viklund and Lawler [START_REF] Viklund | Almost sure multifractal spectrum for the tip of an SLE curve[END_REF], who established the almost sure version of the SLE tip multifractal spectrum, that by Alberts, Binder and Viklund [START_REF] Alberts | A dimension spectrum for SLE boundary collisions[END_REF] on the almost sure dimension spectrum for SLE boundary collisions, as well as the recent preprint by Gwynne, Miller, and Sun [START_REF] Gwynne | Almost sure multifractal spectrum of SLE[END_REF], who used the so-called "Imaginary Geometry" of Miller and Sheffield [START_REF] Miller | Imaginary geometry I: interacting SLEs[END_REF][START_REF] Miller | Imaginary geometry II: reversibility of SLE κ (ρ 1 ; ρ 2 ) for κ ∈ (0, 4)[END_REF][START_REF] Miller | Imaginary geometry III: reversibility of SLE κ for κ ∈ (4, 8)[END_REF][START_REF] Miller | Imaginary geometry IV: interior rays, whole-plane reversibility, and spacefilling trees[END_REF] to compute the a.s. value of the SLE bulk multifractal spectrum.

1.1. Definitions and Statements. Let Ω = C \ K where K is a simply-connected compact set and let φ be a Riemann mapping from D -(i.e., the complement of the unit disk D) onto Ω such that φ(∞) = ∞. The integral means spectrum of φ (or Ω) is defined as

β φ (t) = β Ω (t) = lim sup r→1 + log 2π 0 |φ (re iθ )| t dθ -log(r -1)
.

For random fractals, it is natural to study the average integral means spectrum, which is defined as

β(t) = lim sup r→1 + log 2π 0 E |φ (re iθ )| t dθ -log |r -1| .
In this work, we are interested in the average integral means spectrum of whole-plane SLE curves.

Definition 1.1. Let ξ(t) = exp(i √ κB t ) be a two-sided Brownian motion on the unit circle with t ∈ R and κ > 0. The whole-plane SLE κ is the family of conformal maps g t satisfying

∂ t g t (z) = g t (z) ξ(t) + g t (z) ξ(t) -g t (z) , (1.1)
with initial condition lim

t→-∞ e t g t (z) = z, z ∈ C \ {0}.
This map g t is a conformal map from C \ K t onto D -, where the compact set K t is the so-called hull of the SLE process, and it describes a family of hulls that grow from the origin towards infinity. This is the so-called exterior version of whole-plane SLE, as the map g 0 may be seen as the limit of a rescaled version of a radial SLE process growing from the unit disc towards infinity [START_REF] Beliaev | Harmonic measure and SLE[END_REF]. The integral means spectrum of whole-plane SLE is then defined as that of the inverse map φ = g -1 0 . Another version describes hulls growing from infinity towards the origin, and is called interior whole-plane SLE. The integral means spectrum of this unbounded process is studied in Ref. [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF].

Remark. The interior and exterior versions of whole-plane SLE are conjugate under the map z → 1/z, and their integral means spectra can be unified in a single formalism by considering mixed moments, involving powers of the moduli of the conformal map and of its derivative, as studied in Ref. [START_REF] Duplantier | Logarithmic Coefficients and Generalized Multifractality of Whole-Plane SLE[END_REF].

The main result of this paper is (Fig. 1) Theorem 1.2. i) The average integral means spectrum of the exterior whole-plane SLE κ is given by

β tip (t) = -t -1 + 1 4 4 + κ -(4 + κ) 2 -8κt , t ≤ t 2 , β 0 (t) = -t + 4 + κ 4κ 4 + κ -(4 + κ) 2 -8κt , t 2 ≤ t ≤ t 3 , β lin (t) = t - (4 + κ) 2 16κ , t 3 ≤ t.
ii) If in the definition of the spectrum we integrate over any set that excludes the neighbourhood of θ = 0, which corresponds to excluding the influence of the tip of the curve, then the average spectrum is given by

β 1 (t) = -t - 1 2 1 + √ 1 -2κt , t ≤ t 1 , β 0 (t) = -t + 4 + κ 4κ 4 + κ -(4 + κ) 2 -8κt , t 1 ≤ t ≤ t 3 , β lin (t) = t - (4 + κ) 2 16κ , t 3 ≤ t.
In the above, the transition values for the moment order t are given by

t 1 := - 1 128 (4 + κ) 2 (8 + κ), t 2 := -1 - 3κ 8 , t 3 := 3(4 + κ) 2 32κ ,
and such that t 1 < t 2 < t 3 .

FIGURE 1.

Plot showing the relative positions of the various forms taken by the integral means spectrum in Theorem 1.2: tip spectrum β tip , novel spectrum β 1 , bulk spectrum β 0 and linear spectrum β lin . The β 1 spectrum is the analogue for the exterior whole-plane SLE of the spectrum at infinity of Refs. [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF][START_REF] Loutsenko | Average harmonic spectrum of the whole-plane SLE[END_REF] for the interior case (see also Ref. [START_REF] Duplantier | Logarithmic Coefficients and Generalized Multifractality of Whole-Plane SLE[END_REF]). Note that β 1 supersedes the bulk spectrum below t 1 , but stays below the tip spectrum.

Remark. Point i) in Theorem 1.2 agrees with Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], while Statement ii) pertains to this work.

DIFFERENTIAL OPERATOR

As seen above, the integral means spectrum is defined for a map from D -onto some domain, i.e., in terms of the inverse of the SLE map. The Loewner equation for g -1 t is a PDE instead of an ODE and is much harder to work with. Instead, we study the backward evolution. It is well-known that for a standard radial [exterior] SLE process ĝt (i.e., obeying Eq. (1.1) for t ≥ 0 with ĝ0 (z) = z), reversing time, i.e., changing sign in front of Eq. (1.1), leads to solutions f t := ĝ-t , t ≥ 0, also called [backward] radial SLE, that have, up to conjugation by rotation, the same distribution as ĝ-1 t (see Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], Lemma 1, which is an analog of Lemma 3.1 in Ref. [START_REF] Rohde | Basic properties of SLE[END_REF]).

To compute the average integral means spectrum, let us then introduce the function

F (z; τ ) := E [|f τ (z)| t ],
where f τ (z), τ ≥ 0, is such a backward radial SLE κ process. (Actually, this function depends also on the moment order t and on κ, but these are fixed throughout the proof and we will no longer mention the dependence thereof.) The function F is C ∞,1 in z, τ , since f τ (z) is by Loewner theory, and this remains true under expectation by standard dominated convergence and distortion theorems. As was shown in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], it satisfies a parabolic PDE:

Lemma 2.1. The function F (z; τ ) is a solution to the PDE in variables r, θ, τ , t r 4 + 4r 2 (1 -r cos θ) -1 (r 2 -2r cos θ + 1) 2 F + r(r 2 -1) r 2 -2r cos θ + 1 Fr - 2r sin θ r 2 -2r cos θ + 1 Fθ + κ 2 Fθ,θ -Fτ = 0, (2.1)
where z = re iθ .

Lemma 3 in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF] further shows that there exists a limit to e -τ f τ (z) as τ → +∞, which has the same distribution as g -1 0 (z), where g t is a whole-plane SLE process as in Definition 1.1; hence we introduce

F (z) := lim τ →+∞ e -τ t F (z; τ ),
where limit and expectation commute by the same arguments as above. The average integral means spectrum of the exterior whole-plane SLE is thus associated with the singular behavior of 2π 0 F (re iθ )dθ as r → 1 + . Multiplying Eq. (2.1) by e -τ t , and passing to the limit, shows that F is a solution to the PDE in r, θ,

t r 4 + 4r 2 (1 -r cos θ) -1 (r 2 -2r cos θ + 1) 2 -1 F + r(r 2 -1) r 2 -2r cos θ + 1 F r - 2r sin θ r 2 -2r cos θ + 1 F θ + κ 2 F θ,θ = 0.
(2.

2)

The exchange above, of the τ → +∞ limit and of partial derivativation of F (z; τ ) with respect to r and θ, is justified by the fact that the τ -family, e -τ f τ (z), and all its z-derivatives are normal, i.e., uniformly bounded in any compact of D -, so that the spatial derivatives of e -τ t F (z; τ ) form an equicontinuous family. A further requirement is that

lim τ →+∞ ∂ ∂τ e -τ t F = 0. Use of the Schramm-Loewner equation (1.1) for f τ shows that ∂ ∂τ |e -τ f τ (z)| t = 2t|e -τ f τ (z)| t Re ξ(τ ) 2 (f τ (z) -ξ(τ )) 2 .
Classical Koebe distortion theorems then show that the right-hand side is bounded by C(z)e -2τ , with C defined on D -; this insures both the validity of the exchange of expectation and τ -derivation, and the vanishing limit above.

It is easy to see that after a change of variables, this equation is still of parabolic type, where θ plays the rôle of a spatial variable, and r → 1 + corresponds to time going to infinity [START_REF] Beliaev | Harmonic measure and SLE[END_REF].

Instead of polar coordinates, it turns out to be more convenient to work with (z, z) coordinates, where F = F (z, z) now formally depends on both complex variables, and where Eq. (2.2) becomes,

ΛF (z, z) = 0, (2.3)
Λ := - κ 2 z∂ -z ∂ 2 + z + 1 z -1 z∂ + z + 1 z -1 z ∂ -t 1 (z -1) 2 + 1 (z -1) 2 .
(See Ref. [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF] for details.)

We wish to study how the solutions to Eq. ( 2.3) behave when z approaches the unit circle. In contradistinction to the interior case [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF], it seems difficult to construct explicit solutions, so we are left with constructing sub-and super-solutions with same boundary behaviors [START_REF] Beliaev | Harmonic measure and SLE[END_REF].

Following Refs. [START_REF] Beliaev | Harmonic measure and SLE[END_REF][START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF], we consider the action of Λ on functions of the peculiar form,

ψ(z, z) := (z z -1) -β g(u) = (|z| 2 -1) -β g(u), (2.4)
where

g is a C 2 function of u := (1 -z)(1 -z) = |1 -z| 2
. By looking at the leading terms in Eq. ( 2.3) for ψ as r → 1 + , one obtains a 'boundary equation' for g (see Refs [START_REF] Beliaev | Harmonic measure and SLE[END_REF][START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF] for details),

(t(2 -u) -2β) g(u) + κ 2 (2 -u) -(4 -u) ug (u) + κ 2 (4 -u)u 2 g (u) = 0; (2.5)
from now on, we assume that g in (2.4) satisfies this equation. Let us then consider the action of the differential operator (2.3) on ψ (2.4) in D -and follow Ref. [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF]Section 4.2.]. Making use of Eq. (2.5) to eliminate the second derivative of g, one obtains after some computation,

Λψ ψ = (z z -1) 1 u (t -β) + 1 4 -u (β + t) - κ 2 -1 - 2κ 4 -u g (u) g(u) + (z z -1) 2 u 2 1 4 -u -2t -2β -κu g (u) g(u) + κ 2 + 1 u g (u) g(u) . (2.6)
We are also interested in the action of Λ on ψ functions with logarithmic corrections [START_REF] Beliaev | Harmonic measure and SLE[END_REF]. Let us introduce

δ = δ (z, z) := (-log(z z -1)) δ .
It is then easy to see that,

Λ(ψ δ ) ψ δ = Λ(ψ) ψ - 2δz z u(-log(z z -1)) . (2.7)
For certain choices of exponent β and of g, some leading terms in (2.6) may cancel out so that the second term on the r.h.s. of Eq. (2.7) dominates. The latter has a sign opposite to the arbitrary sign of δ, which means that if ψ is positive, we shall be able construct suband super-solutions ψ δ with growth rate arbitrary close to that of ψ.

BOUNDARY SOLUTIONS AND THEIR EXTENSION TO D -

3.1. Hypergeometric equation. We shall be interested in functions g of the form g(u) = u γ g 0 (u), γ ∈ R, and such that Eq. (2.5) may reduce to a hypergeometric-type equation on g 0 [START_REF] Beliaev | Harmonic measure and SLE[END_REF]. Upon substituting this into (2.5) and factoring out u γ , we obtain,

(2β(γ) -2β + A(γ)u) g 0 (u) (3.1) + κ 2 (2 -u) + (κγ -1)(4 -u) ug 0 (u) + κ 2 (4 -u) u 2 g 0 (u) = 0,
in terms of the quadratic polynomials,

β(γ) := κγ 2 - κ 2 + 2 γ + t, (3.2)
A(γ) := - κ 2 γ 2 + γ -t. (3.3)
For the choice of parameter β = β(γ), Eq. (3.1) then reduces to an hypergeometric equation,

A(γ)g 0 (u) + κ 2 (2 -u) + (κγ -1)(4 -u) g 0 (u) + κ 2 (4 -u)ug 0 (u) = 0, (3.4)
which is the same as Eqs. [7, (184)] or [2, (17)]. Following either of these papers, we see that the general solution is,

g 0 (u) = C 0 2 F 1 (a, b, c, u/4) -C 0 (u/4) 1/2-a-b 2 F 1 (a , b , c , u/4), (3.5)
where

a = a(γ) = γ -γ + , b = b(γ) = γ -γ -, c = 1 2 + a + b, (3.6)
a = 1 2 -a, b = 1 2 -b, c = 1 2 + a + b ,
and where γ ± := (1 ± √ 1 -2κt)/κ are the two roots in A(γ) = -κ 2 (γ -γ + )(γ -γ -). Hypergeometric functions are singular at u = 4, but the solution should be smooth at z = -1, which means that the coefficients C 0 and C 0 should be chosen in such a way that the singular parts cancel out [START_REF] Beliaev | Harmonic measure and SLE[END_REF]. This precisely happens, up to a constant factor, for

g 0 (0) = C 0 = Γ(3/2 -a -b) Γ(1/2 -a)Γ(1/2 -b) , C 0 = Γ(c) Γ(a)Γ(b) , (3.7)
such that near u = 4 (see Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF]), ), this time for ψ(z, z) = (z z -1) -β u γ g 0 (u), and for the choice β = β(γ) (3.2). Using ug /g = ug 0 /g 0 + γ, we finally obtain,

g 0 (u) = 1 √ π 1 2 -a -b + O(4 -u). ( 3
Λψ ψ =(z z -1) 1 u t + γ -β(γ) - 2A(γ) 4 -u - κ 2 -1 - 2κ 4 -u g 0 (u) g 0 (u) + (z z -1) 2 u 2 1 4 -u 4A(γ) -κu g 0 (u) g 0 (u) + 1 + κ 2 γ + u g 0 (u) g 0 (u) .
(3.9)

In Eq. (3.9), there seems to be an unexpected singularity at u = 4 (z = -1), but in fact the choice of constants C 0 and C 0 in Eq. (3.7), made to ensure that g 0 (u) is regular at u = 4, further yields g 0 (u)

g 0 (u) = - 1 2 ab + O(4 -u) = 1 κ A(γ) + O(4 -u),
so that the singularity at u = 4 cancels out in the action (3.9). In the u → 0 limit, Eq. (3.5) shows that (up to a non-vanishing coefficient)

u g 0 (u) g 0 (u) ∼ u α , α := min 1 2 -a -b, 1 , (3.10)
Remark. In the case where

C 0 vanishes, α = 1/2 -a -b.
The second line in Eq. (3.9) is in this limit,

(z z -1) 2 u 2 [C(γ) + O(u α )] , (3.11)
with

C(γ) := A(γ) + 1 + κ 2 γ = - κ 2 γ 2 + 2 + κ 2 γ -t.
(3.12)

3.3. Beliaev-Smirnov solution. The first pair of exponents β and γ that we are interested in have been introduced in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], so as to cancel the leading singularity in (3.11). For a given t, there are two solutions to C(γ 0 ) = 0, and we consider the particular values,

γ 0 = 1 2κ (4 + κ -(4 + κ) 2 -8κt), β 0 = β(γ 0 ) = κ 2 γ 2 0 = -t + (2 + κ 2 )γ 0 = -t + 4+κ 4κ (4 + κ -(4 + κ) 2 -8κt).
(3.13) The first condition is for the boundary solution g 0 (3.5) to be bounded (i.e., u γ 0 should be the only singular term in g), which means that 1/2 -a -b ≥ 0, where now a = a(γ 0 ), b = b(γ 0 ) as in Eqs. (3.6). Simple algebra shows that this is equivalent to t ≤ t 3 .

The second condition is that g 0 (u) should be positive for the whole range u ∈ [0, 4] when z describes the unit circle. It was observed in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF] that this happens when 1/2 -b > 0. It was erroneously stated there that this is always true, while in fact this holds only for t 1 < t. (See Proposition 5.1 below.)

For t ∈ (t 1 , t 3 ) we thus have that g 0 is bounded and positive, and the arguments in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], which we detail and refine here, stay valid. To study the spectrum, one has to analyze the behavior of Λψ 0 , where ψ 0 (z, z) = (z z -1) -β 0 u γ 0 g 0 (u) for values β 0 , γ 0 as in Eq. (3.13), and the associated hypergeometric function g 0 (3.5). This is provided by Eq. (3.9), where (3.12) and (3.13) give the explicit coefficients, t + γ 0 -β(γ 0 ) = 2t -1 + κ 2 γ 0 , and A(γ 0 ) = -1 + κ 2 γ 0 . As a preparation also for a complete analysis below, let us detail various radial limits as |z| → 1 in action (3.9), while recalling the geometrical constraint, |z|-1 ≤ |z -1| = u 1/2 . Generic case: z z -1 → 0, but u is bounded away from 0. In this case, Λψ 0 /ψ 0 = O(z z -1). Special case: z approaches 1, u → 0, so that z z -1 = O(u 1/2 ). In this case g 0 /g 0 = O(u α /u) in (3.10) is dominated by 1/u, as we have shown before that 1/2 -a -b > 0 for t < t 3 , so that α > 0. Thus the first line in (3.9) is of order O(u -1/2 ). The second line, as given by Eq. (3.11), seems to be of order O(u -1 ), but because of the very choice of γ = γ 0 such that C(γ 0 ) = 0, it is of order O(u α-1 ), with α > 0 for t < t 3 . The results of this discussion can simply be recast as,

Λψ 0 ψ 0 = z z -1 u O(u 0 ) + (z z -1) 2 u 2 O(u α ), |z| -1 ≤ u 1/2 . (3.14)
To complete the proof of Theorem 1.2 in the range t ∈ (t 1 , t 3 ), one then considers as in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], the set of logarithmic modifications of ψ 0 for all δ, δ ψ 0 (z, z) = (-log(z z -1)) δ (z z -1) -β 0 u γ 0 g 0 (u).

Recalling the action (2.7), one sees that for |z| close enough to 1 and for all u, both terms in Λψ 0 /ψ 0 (3.14) are dominated by the logarithmic second term on the r.h.s. of (2.7):

Λψ 0 ψ 0 ≤ 2|δ|z z u(-log(z z -1)) . (3.15)
The positive function ψ 0 δ is thus a sub-solution for δ > 0 or a super-solution for δ < 0, so that the integral means spectrum is β 0 (t) for t ∈ [t 2 , t 3 ), or β tip (t) = β 0 (t) -2γ 0 (t) -1, for t ∈ (t 1 , t 2 ) where 2γ 0 (t) + 1 < 0. By Hölder's inequality, the spectrum is convex, and by standard distortion theorems, bounded by t for t > 0. This, together with the fact that ∂ t β 0 (t 3 ) = 1, establishes Theorem 1.2 for t ≥ t 3 .

3.4. Below t 1 . At t 1 , b = 1/2, and g 0 (0) = C 0 = 0 in Eq. (3.7). Actually, this vanishing also happens for higher half-integer values b = n + 1/2. Proposition 5.2 below shows that there indeed exist a finite set of integers J κ , and a finite discrete set T κ of moment orders,

J κ := {n ∈ N, 0 ≤ n ≤ κ -1 } (3.16) T κ := {t 1-n , n ∈ J κ } (3.17) t 1-n = t 1-n (κ) := - (1 + 2n)(8 + κ -2nκ)(4 + κ + 2nκ)(4 + κ -2nκ) 128(1 -nκ) 2 , (3.18) such that, b = b(γ 0 (t 1-n )) = n + 1 2 , n ∈ J κ , g 0 (0) = C 0 = 0, t ∈ T κ . (3.19)
The n = 0 case corresponds, for any value of κ, to the point t 1 as above; note also that for κ > 1, T κ = {t 1 }, whereas strictly positive values of n exist in J κ only for 0 < κ ≤ 1.

In Eq. (3.7), observe now that 1/2 -a > 0, because a = a(γ 0 ) < 0 in Eq. (3.6), and recall that 1/2 -a -b > 0 for t < t 3 . Therefore, the sign of g 0 (0) (3.7) is given by that of Γ(1/2 -b), and by the very property of analytical continuation of the Γ-function, is thus alternating in the successive intervals t ∈ (t -n , t 1-n ), being positive or negative for n odd or even, respectively. For later convenience, let us then introduce,

σ = σ(t) := sgn g 0 (0) = (-1) n-1 , t ∈ (t -n , t 1-n ), n ∈ J κ .
(3.20)

Notice that owing to Eq. (3.8), g 0 (4) is always positive for t < t 3 . Then, in the interval of moment orders, t ∈ (t -n , t 1-n ), with n ∈ J κ , the graph of g 0 (u) possesses exactly n + 1 simple zeroes over the interval u ∈ (0, 4).

3.5.

Power-law solution. Note that the hypergeometric equation (3.4) becomes degenerate when A(γ) = 0, with g 0 a constant solution and g of the form u γ . As before, there are two solutions, γ ± , to this system, which correspond to the degenerate cases a = 0 or b = 0 in Eqs. (3.5) and (3.6), and to C 0 = 0 in Eq. (3.7). As in the case of interior whole-plane SLE [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF], we are especially interested in the pair, When plugging ψ 1 = ψ 1 (z, z) := (z z -1) -β 1 u γ 1 into Eq. (3.9), because A(γ 1 ) = 0 and g 0 = 0, many terms disappear, and the result is simply,

γ 1 := γ + = 1 κ (1 + √ 1 -2κt), β 1 = β(γ 1 ) = -t -κ 2 γ 1 = -t -1 2 (1 + √ 1 -2κt). ( 3
Λψ 1 ψ 1 = z z -1 u 2t + 1 + κ 2 γ 1 + (z z -1) 2 u 2 1 + κ 2 γ 1 . (3.22)
As before, we distinguish two cases: |z| → 1, but u is bounded away from 0; u → 0, and |z| -1 = O(u 1/2 ). In the first case, Λψ 1 /ψ 1 is O(|z| -1); in the second case, it is O(u -1 ).

MIXING THE TWO SOLUTIONS

For t < t 1 , g 0 (u) changes sign at least once over the interval (0, 4), invaliding the proof of Section 3.3. Recall that at the origin its sign alternates, as described in Eq. (3.20). The idea is thus to try and combine the two functions ψ 0 and ψ 1 into

ψ := σψ 0 + ψ 1 = σg 0 (u)u γ 0 (z z -1) -β 0 + u γ 1 (z z -1) -β 1 , (4.1)
where σ is as in Eq. (3.20), so as to restore overall positivity for ψ. Then, in the action Λ(ψ δ ), the differential operator Λ will act differently on ψ 0 and ψ 1 , still maintaining the possibility to build sub-and super-solutions in this way. In this section, we are mostly interested in t < t 1 , but some arguments are independent of that assumption, provided one assumes that, e.g., t < 0, so that both ψ 0 and ψ 1 are defined.

Lemma 4.1. There is r 0 > 1 such that ψ = σψ 0 + ψ 1 > 0 for all z such that 1 < |z| < r 0 .

Proof. First of all, note that both ψ 0 and ψ 1 are continuous in the complement of the unit disc, and that ψ 1 > 0 everywhere. For t > t 1 we have g 0 > 0, hence both terms in ψ are positive. For t = t 1 , g 0 (u) > 0 for u > 0, so that ψ > 0. For t < t 1 , this is no longer true, but σg 0 (u) ≥ 0 in some neighborhood u ∈ [0, u 0 ] of z = 1, hence ψ > 0 there. Outside of this neighborhood, u is uniformly bounded away from 0, and also bounded above by (|z| + 1) 2 ; therefore, for any r 0 > 1, there exist positive constants c 0 , c 1 such that for all z such that 1 < |z| < r 0 and u = |z -1| 2 > u 0 ,

0 ≤|ψ 0 | ≤ c 0 (z z -1) -β 0 , 1 c 1 (z z -1) -β 1 <ψ 1 < c 1 (z z -1) -β 1 .
For t < t 1 , we have that β 1 > β 0 (See Prop. 5.3 below and Fig. 1), so that for |z| sufficiently close to 1, we have

ψ 1 > |ψ 0 |, hence ψ > 0.
Lemma 4.2. For t < t 1 and t / ∈ T κ , there is r 0 > 1 such that Λ(ψ δ ) for ψ (4.1) has a constant sign in the annulus 1 < |z| < r 0 , which depends only on that of δ.

Proof. As shown by Eq. (2.7), multiplying ψ by a logarithmic factor δ results in an additional term in the action of the differential operator, whose sign depends on that of δ only. We shall show that near the boundary of the unit disc, this additional term is the main one, hence Λ(ψ δ ) has constant sign there. Since ψ is positive, this implies that ψ δ is a sub-or super-solution for δ > 0 or δ < 0, respectively.

As was shown in (2.7), (3.14), (3.15) and (3.22), Λ(ψ δ )/ δ can be written (up to smaller order terms) as the sum of four terms

Λ(ψ δ ) δ = σψ 0 -2δr 2 u(-log(r -1)) + ψ 1 r -1 u + ψ 1 (r -1) 2 u 2 + ψ 1 -2δr 2 u(-log(r -1)) , (4.2)
where r = |z|. We denote these terms by I -IV. Here, we omitted the positive constants in front of II, III, but terms I and IV are written in their complete form. For functions A and B of r, we shall use the short-hand notations, A B for A ≥ cB with c some positive constant, and A ≈ B when both A B and A B hold. Below, we consider three cases, and show that in each case one of the logarithmic terms (either I or IV) is the leading one when r → 1 + .

Case 1: u is bounded away from zero. It is obvious that IV II, III as (r -1) → 0. For u bounded away from zero, we have ψ 0 ≈ (r -1) -β 0 and ψ 1 ≈ (r -1) -β 1 . Since β 1 > β 0 for t < t 1 (Proposition 5.3), we have IV I. Also notice that ψ 1 is positive, hence for sufficiently small r -1, the sign of Λ(ψ δ ) is opposite to that of δ.

Case 2: We assume that (r -1) 2-ε < u < u 0 , where ε > 0 and where, as above, u 0 > 0 is chosen such that σg 0 (u) > 0 for 0 < u < u 0 . Then,

II = ψ 1 r -1 u , III ψ 1 (r -1) 2 u 1 (r -1) 2-ε = ψ 1 (r -1) ε u , IV ≈ ψ 1 -δ u(-log(r -1)) ,
and obviously IV dominates II and III. Since σψ 0 is positive for our choice of u 0 , we have that both main terms I and IV in (4.2) have a sign opposite to that of δ. Case 3: We assume that r -1 > u 1/2+ε for some ε > 0 that will be determined later. We also recall that r -1 ≤ u 1/2 . In this case -log(r -1) ≈ -log u. First, we notice that

I ≈ ψ 0 -δ u(-log u)
,

II ψ 1 u 1/2 u , III ψ 1 1 u , IV ≈ ψ 1 -δ u(-log u)
, so that both III and IV are dominated by III := ψ 1 /u. We would like to show that III I, and this requests comparing ψ 1 to ψ 0 . Proposition 5.4 below precisely gives that for t < t 1 , one has β tip = β 0 -2γ 0 -1 > β 1 , hence (r -1) -β 1 < (r -1) -β 0 (r -1) 2γ 0 +1 , and

ψ 1 ≈ (r -1) -β 1 u γ 1 < (r -1) -β 0 u γ 0 u γ 1 -γ 0 (r -1) 2γ 0 +1 ≈ σψ 0 u γ 1 -γ 0 (r -1) 2γ 0 +1 .
Note that the last estimate requires that g 0 (0) = 0, hence the condition t / ∈ T κ in Lemma 4.2. We expect u γ 1 -γ 0 (r -1) 2γ 0 +1 to be bounded by some positive power of u. As was shown in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], the definition of the threshold t 2 for the tip relevance is that 2γ 0 + 1 < 0 for t < t 2 , and we have here t < t 1 < t 2 . Hence, for r -1 > u 1/2+ε , u γ 1 -γ 0 (r -1) 2γ 0 +1 < u γ 1 -γ 0 +(1/2+ε)(2γ 0 +1) = u γ 1 +1/2+ε(2γ 0 +1) .

Since γ 1 > 0, for sufficiently small ε, the latter is bounded by some positive power of u, e.g., by u 1/2 . Hence for this ε, we have that

ψ 1 σψ 0 u 1/2 . (4.3)
Thus we see that III I, and that the sign of Λ(ψ δ ) is given by that of I in Eq. (4.2), which is opposite to the sign of δ.

Altogether, these three cases show that in some neighborhood of the unit circle, the sign of Λ(ψ δ ) is constant and opposite to that of δ. Lemmas 4.1 and 4.2 together show that ψ δ is a sub-or super-solution, depending on the sign of δ. Following Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF], one obtains that for F such that ΛF = 0, there exist positive constants c 2 and c 3 , such that in some annulus adherent to D, c 2 ψ -δ < F < c 3 ψ δ , with δ > 0. We conclude that F behaves like ψ (4.1), up to arbitrary small logarithmic correction. 1 This completes the proof of Theorem 1.2 for t < t 1 and t / ∈ T κ . Lastly, when t belongs to the discrete set T κ (3.17), because of (3.19), g 0 (u) (3.5) vanishes too fast at u = 0, and neither an upper bound like (4.3) holds, nor Lemma 4.2. But having established Theorem 1.2 for t / ∈ T κ suffices to prove it for all t, by simply invoking the convexity property of the integral means spectrum [START_REF] Makarov | Fine structure of harmonic measure[END_REF].

PHASE TRANSITIONS

5.1. Loci of various spectra. In this section, we prove that Figure 1 gives an accurate description of the phase transitions between different parts of the integral means spectrum. Since all β's and γ's are given by simple algebraic equations, all inequalities are in principle elementary, but could be a bit fiddly if not addressed in the right way.

First, notice that γ 0 is increasing and negative for t < 0, whereas γ 1 is decreasing and positive. Next, we shall need to study γ 0 + γ 1 . Differentiating with respect to t yields ∂ ∂t

(γ 0 + γ 1 ) = 1 (4 + κ) 2 /4 -2tκ - 1 √ 1 -2tκ < 0,
so that γ 0 +γ 1 is decreasing; since γ 0 (0) = 0 and γ 1 (0) = 2/κ, this gives that γ 0 +γ 1 > 2/κ iff t < 0. Proposition 5.2. The set of equations, b = n + 1 2 , n ∈ N, is realized at the finite set of points T κ := {t 1-n , n ∈ J κ }, where J κ := {n ∈ N, 0 ≤ n ≤ κ -1 } and where t 1-n is given by Eq. (3.18). [START_REF] Alberts | A dimension spectrum for SLE boundary collisions[END_REF] We believe that the logarithmic correction is not really there and that F/ψ is bounded.

Proof. For t ∈ (-∞, 0], we have that b ∈ [0, 1 2 + 1 κ ), which defines the possible range of values n ∈ J κ where b = n + 1 2 . Solving the latter equation yields (3.18). Proposition 5.3. We have that β 1 (t) > β 0 (t) if and only if t < t 1 .

Proof. First of all, recall that all exponents β's are given by the same quadratic function β(γ) (3.2). Since γ 0 = γ 1 , β(γ 1 ) = β(γ 0 ) if and only if γ 1 + γ 0 = (4 + κ)/2κ. We know that this happens at t = t 1 only. Computing at t = 0, we have β 0 (0) = 0 and β 1 (0) = -1, hence β 1 (t) > β 0 (t) if and only if t < t 1 .

Note that Propositions 5.1 and 5.3 imply that the point where the construction in Ref. [START_REF] Beliaev | Harmonic measure and SLE[END_REF] breaks down and the point where β 1 exceeds β 0 coincide. Proposition 5.4. We have that β 1 < β tip = β 0 -2γ 0 -1 if and only if t < 0.

Proof. From Eqs. (3.13) and (3.21) we have,

β 0 = -t + 4 + κ 2 γ 0 , β 1 = -t - κ 2 γ 1 , so that β tip -β 1 = κ 2 (γ 0 + γ 1 ) -1 = κ 2 b(γ 0 ),
which is positive iff t < 0.

5.2.

Second tip and derivative exponents. Of particular interest here is the packing spectrum associated with the β 1 spectrum of whole-plane SLE κ (see Ref. [START_REF] Makarov | Fine structure of harmonic measure[END_REF] for a detailed discussion of the different spectra of the harmonic measure and their relations),

s(t) := β 1 (t) -t + 1 = -2t + 1 2 - 1 2 √ 1 -2κt. (5.1)
In the domain t ≤ t 1 < 0, s(t) is decreasing; its inverse is where, as remarked in Ref. [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF]Section 4.4], ν(s) coincides with the non-standard multifractal tip exponents as obtained in Ref. [START_REF] Duplantier | Conformal fractal geometry & boundary quantum gravity[END_REF]Eq. (12.19)], or with the so-called derivative exponents as obtained in Ref. [START_REF] Lawler | Values of Brownian intersection exponents. II. Plane exponents[END_REF]Eq. (3.1)] for standard (interior or exterior) radial SLE.

For ĝτ such a radial SLE κ of hull K τ , the exponent ν describes the exponential decay e -ν τ in time τ > 0, of the moment of the boundary derivative modulus, E [|ĝ τ (z)| s ], for z ∈ ∂D \ K τ . It also governs the same exponential decay of the moment of order s, E [L s t ], of the harmonic measure L t of ∂D \ K τ in D \ K τ , as seen from the origin in the interior case, or from infinity in the exterior case.

In the case of the interior whole-plane SLE, of map f 0 from D to a slit domain [START_REF] Duplantier | The Coefficient Problem and Multifractality of Whole-Plane SLE and LLE[END_REF], one has f 0 = lim τ →+∞ e τ ĝ-τ , which is in law the same as lim τ →+∞ e τ ĝ-1 τ , with ĝτ standard interior radial SLE; in this limit, the unit circle is pushed back to infinity as e τ ∂D. Ref. [7, Section 4.4, Figure 8] then provides a heuristic explanation of the inverse relation between (5.1) and (5.2) as due, in the integral means r∂D |f 0 (z)| t |dz| where r → 1 -, to the local boundary contribution of the image under ĝτ of ∂D \ K τ , i.e., in the limit τ → +∞, of the pre-image under f 0 of the point at infinity.

The two whole-plane maps, interior f 0 and exterior g -1 0 , are naturally conjugate under the inversion map z → 1/z, as are the interior and exterior versions of radial SLE ĝτ ; in the exterior case, the unit circle shrinks as e -τ ∂D to a vanishingly small circle around the origin, to which the whole-plane SLE curve is anchored via this 'second tip'. This strongly suggests that for bounded whole-plane SLE, the β 1 -spectrum is due to the presence of the second tip, image of the point at infinity in the unbounded case.

. 21 )

 21 Remark. Both β 0 (3.13) and β 1(3.21) are given by the same quadratic function β(γ) (3.2), in terms of γ 0 and γ 1 , respectively.

Proposition 5 . 1 .

 51 Let b = b(γ 0 ) be as in (3.6), then 1/2 -b > 0 if and only if t > t 1 . Proof. Owing to (3.6), b = γ 0 + γ 1 -2/κ. Solving the equation b = 1/2 yields t = t 1 . Since b is decreasing with t, we obtain that 1/2 -b > 0 if and only if t > t 1 .

t

  = -ν(s), ν(s)

  .8) 3.2. Action of Λ on trial functions ψ. Following Ref. [7, Section 4.2.3], let us now return to the action (2.6

ACKNOWLEDGEMENTS

The authors acknowledge partial funding in 2012 by Oxford Platform Grant BKRSZE0. They wish to thank the Simons Center for Geometry and Physics at Stony Brook University for its hospitality and support during the Spring 2013 program "Conformal Geometry". They also wish to thank the Isaac Newton Institute (INI) for Mathematical Sciences at Cambridge University for its hospitality and support during the 2015 program "Random Geometry", supported by EPSRC Grant Number EP/K032208/1. B.D. also gratefully acknowledges the support of a Simons Foundation fellowship at INI during the Random Geometry program. D.B. was partially funded by Engineering & Physical Sciences Research Council (EPSRC) Fellowship ref. EP/M002896/1. B.D. acknowledges financial support from the French Agence Nationale de la Recherche via the grant ANR-14-CE25-0014 "GRAAL"; he is also partially funded by the CNRS Projet international de coopération scientifique (PICS) "Conformal Liouville Quantum Gravity" n o PICS06769. B.D. and M.Z. are partially funded by the CNRS-INSMI Groupement de Recherche (GDR 3475) "Analyse Multifractale".