Conjecture on all occupation times of unit-ball surfaces

About 21 years old · traced to

Let d≥3d\geq 3, let S(1)={z∈Zd:∥z∥=1}\mathcal{S}(1)=\{\mathbf{z}\in\mathcal{Z}_d:\|\mathbf{z}\|=1\}, and define the occupation time of the unit-ball surface centered at z\mathbf{z} by

Ξ(z,n):=Ξ(S(1)+z,n).\Xi(\mathbf{z},n):=\Xi(\mathcal{S}(1)+\mathbf{z},n).

Writing p=Pe1(TS(1)<T)p=\mathbf{P}_{\mathbf{e}_1}(T_{\mathcal{S}(1)}<T) and κ=1/[−log⁡(p+1/(2d))]\kappa=1/[-\log(p+1/(2d))], the occupation-time conjecture. For any ε>0\varepsilon>0 with probability 11 there exists a random variable n0=n0(ε)n_0=n_0(\varepsilon) such that if n≥n0n\geq n_0 then for all k=1,2,…,⌊(1−ε)κlog⁡n⌋k=1,2,\dots,\lfloor(1-\varepsilon)\kappa\log n\rfloor there exists z∈Zd\mathbf{z}\in\mathcal{Z}_d such that

Ξ(z,n)=k.\Xi(\mathbf{z},n)=k.

The preceding result identifies κ\kappa as the almost-sure asymptotic scale of the maximum occupation time, and this conjecture predicts that every smaller positive occupation level occurs somewhere. The statement is presented as a suggested consequence of the known maximum asymptotics; its resolution is not supplied here.

References

Primary source

Endre Csáki, Antónia Földes and Pál Révész, “Joint asymptotic behavior of local and occupation times”, arXiv:math/0511049 (2005).

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.