Extended general structure conjecture for the projected drift

Let Assumption hold, with even ν\nu. Assume that ak,lz=0a_{k,l}^z=0 whenever k≢l(mod2)k\not\equiv l\pmod 2, for every z{+,,0,1}z\in\{+,-,0,1\}, and suppose that P0ϕ[2l]=0P_0\phi[2l]=0 for every lNl\in\mathbb{N} such that 2l<ν2l<\nu. Here P0P_0 is the projection onto the relevant kernel component, ϕ[2l]\phi[2l] are the recursively defined correction terms, and ψ[ν]\psi[\nu] is the ν\nuth recursively defined coefficient.

Extended general structure conjecture. The projected coefficient satisfies

P0ψ[ν](x,y)=o(1)+0μνμ even[aν+1,μ+10+n2i1++in=ν+nij1 for j{1,n}r1++rn=μ+nrjijalljr1,rn evenrj odd for j{1,n}(1)n1ai1,r1(j=2n1aij,rj1)ain,rn+(a1,11)n1]xμ+1ψx(x).P_0 \psi[\nu](x,y) = o(1) + \sum_{\substack{0 \leq \mu \leq \nu \\ \mu \text{ even}}}\left[a_{\nu+1,\mu + 1}^0 + \sum_{n \geq 2} \sum_{\substack{i_1 + \dots + i_n = \nu + n \\ i_j \neq 1 \text{ for } j \notin \{1,n\} \\ r_1 + \dots + r_n = \mu + n \\ r_j \leq i_j \, \text{all} \, j \\ r_1, r_n \text{ even} \\ r_j \text{ odd for } j \notin \{1,n\} }} (-1)^{n-1}\frac{a_{i_1,r_1}^- \left(\prod_{j = 2}^{n-1} a_{i_j,r_j}^1 \right)a_{i_n,r_n}^+}{(a_{1,1}^1)^{n-1}} \right] x^{\mu +1} \psi_x(x).

This extends the preceding conjectural formula to the setting with additional coefficient indices and surviving terms; the supplied text gives no resolution status beyond presenting it as a conjecture.

Sources & referencesView supporting material

Primary source

Francesca Collet and Richard C. Kraaij, “Path-space moderate deviation principles for the random field Curie-Weiss model”, arXiv:1705.00988 (2018).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.