Asymptotic Feynman-Kac formulae for large symmetrised systems of random walks
Annales de l'I.H.P. Probabilités et statistiques, Tome 44 (2008) no. 5, p. 837-875
Nous étudions les principes de grandes déviations pour $N$ processus aléatoires sur réseaux ${ℤ}^{d}$ pour des temps $\left[0,\beta \right]$ finis et sous la condition que la mesure correspondante soit symétrisée, c’est-à-dire que tous les points initiaux et finaux soient uniformément moyennés par rapport aux perturbations aléatoires. Plus précisément, cela signifie que, pour toute permutation $\sigma$ de $N$ éléments et pour tout vecteur $\left({x}_{1},...,{x}_{N}\right)$ de $N$ points initiaux, le processus aléatoire peut se terminer aux points $\left({x}_{\sigma \left(1\right)},...,{x}_{\sigma \left(N\right)}\right)$ et nous sommons donc ensuite sur toutes les permutations possibles ainsi que sur tous les points initiaux avec, pour poids respectif, une distribution initiale. Nous démontrons le principe de grandes déviations de niveau deux pour la valeur moyenne de la mesure des chemins empiriques, pour la valeur moyenne des chemins, ainsi que pour la valeur moyenne de la mesure empirique sur l’espace des chemins via la mesure symétrisée. Nous donnons également quelques applications de ces résultats en mécanique statistique quantique via la formule de Feynman-Kac représentant la trace de certains opérateurs. En particulier, nous montrons un lemme de Varadhan non commutatif pour des systèmes de spins quantiques définis via la statistique de Bose-Einstein et avec une interaction de champ moyen. Un cas spécial de notre principe de grandes déviations pour la valeur moyenne des temps locaux d’occupation de $N$ marches aléatoires montre que la fonction de taux est celle de Donsker-Varadhan dans la limite $N\to \infty$ mais pour un temps $\beta$ fini. Nous donnons une interprétation en mécanique statistique quantique de ce résultat surprenant.
We study large deviations principles for $N$ random processes on the lattice ${ℤ}^{d}$ with finite time horizon $\left[0,\beta \right]$ under a symmetrised measure where all initial and terminal points are uniformly averaged over random permutations. That is, given a permutation $\sigma$ of $N$ elements and a vector $\left({x}_{1},...,{x}_{N}\right)$ of $N$ initial points we let the random processes terminate in the points $\left({x}_{\sigma \left(1\right)},...,{x}_{\sigma \left(N\right)}\right)$ and then sum over all possible permutations and initial points, weighted with an initial distribution. We prove level-two large deviations principles for the mean of empirical path measures, for the mean of paths and for the mean of occupation local times under this symmetrised measure. The symmetrised measure cannot be written as a product of single random process distributions. We show a couple of important applications of these results in quantum statistical mechanics using the Feynman-Kac formulae representing traces of certain trace class operators. In particular we prove a non-commutative Varadhan lemma for quantum spin systems with Bose-Einstein statistics and mean field interactions. A special case of our large deviations principle for the mean of occupation local times of $N$ simple random walks has the Donsker-Varadhan rate function as the rate function for the limit $N\to \infty$ but for finite time $\beta$. We give an interpretation in quantum statistical mechanics for this surprising result.
DOI : https://doi.org/10.1214/07-AIHP132
Classification:  60F10,  60J65,  82B10,  82B26
@article{AIHPB_2008__44_5_837_0,
author = {Adams, Stefan and Dorlas, Tony},
title = {Asymptotic Feynman-Kac formulae for large symmetrised systems of random walks},
journal = {Annales de l'I.H.P. Probabilit\'es et statistiques},
publisher = {Gauthier-Villars},
volume = {44},
number = {5},
year = {2008},
pages = {837-875},
doi = {10.1214/07-AIHP132},
zbl = {1186.60020},
mrnumber = {2453847},
language = {en},
url = {http://www.numdam.org/item/AIHPB_2008__44_5_837_0}
}

Adams, Stefan; Dorlas, Tony. Asymptotic Feynman-Kac formulae for large symmetrised systems of random walks. Annales de l'I.H.P. Probabilités et statistiques, Tome 44 (2008) no. 5, pp. 837-875. doi : 10.1214/07-AIHP132. http://www.numdam.org/item/AIHPB_2008__44_5_837_0/

 S. Adams. Complete equivalence of the Gibbs ensembles for one-dimensional Markov systems. J. Statist. Phys. 105 (2001) 879-908. | MR 1869569 | Zbl 1017.82004

 S. Adams. Large deviations for empirical path measures in cycles of integer partitions, preprint. Available at arXiV:math.PR/0702053, 2007.

 S. Adams. Interacting Brownian bridges and probabilistic interpretation of Bose-Einstein condensation, Habilitation thesis, University of Leipzig, 2008.

 S. Adams, J. B. Bru and W. König. Large deviations for trapped interacting Brownian particles and paths. Ann. Probab. 34 (2006) 1340-1422. | MR 2257650 | Zbl 1105.60021

 S. Adams, W. König and J. B. Bru. Large systems of path-repellent Brownian motions in a trap at positive temperature. Electron. J. Probab. 11 (2006) 460-485. | MR 2242652 | Zbl 1113.60086

 S. Adams and W. König. Large deviations for many Brownian bridges with symmetrised initial-terminal condition. Probab. Theory Related Fields 142 (2008) 79-124. | MR 2413267 | Zbl 1156.60017

 G. Benfatto, M. Cassandro, I. Merola and E. Presutti. Limit theorems for statistics of combinatorial partitions with applications to mean field Bose gas. J. Math. Phys. 46 (2005) 033303. | MR 2125575 | Zbl 1067.82035

 W. Cegla, J. T. Lewis and G. A. Raggio. The free energy of quantum spin systems and large deviations. Comm. Math. Phys. 118 (1988) 337-354. | MR 956171 | Zbl 0657.60041

 D. A. Dawson and J. Gärtner. Multilevel large deviations and interacting diffusions. Probab. Theory Related Fields 98 (1994) 423-487. | MR 1271106 | Zbl 0794.60015

 T. Dorlas. A non-commutative central limit theorem. J. Math. Phys. 37 (1996) 4662-4682. | MR 1408113 | Zbl 0863.60024

 T. Dorlas. Probabilistic derivation of a noncommutative version of Varadhan's Theorem. Proceedings of the Royal Irish Academy, 2007. To appear. | MR 2475797 | Zbl 1169.82005

 J.-D. Deuschel and D. W. Stroock. Large Deviations. AMS Chelsea Publishing, Amer. Math. Soc., 2001.

 M. D. Donsker and S. R. S. Varadhan. Asymptotic evaluation of certain Markov process expectations for large time, I-IV. Comm. Pure Appl. Math. 28 (1975) 1-47, 279-301, 29 (1979) 389-461, 36 (1983) 183-212. | Zbl 0512.60068

 I. H. Dinwoodie and S. L. Zabell. Large deviations for exchangeable random vectors. Ann. Probab. 20 (1992) 1147-1166. | MR 1175254 | Zbl 0760.60025

 A. Dembo and O. Zeitouni. Large Deviations Techniques and Applications, 2nd edition. Springer, New York, Berlin, 1998. | MR 1619036 | Zbl 0896.60013

 R. P. Feynman. Atomic theory of the λ transition in Helium. Phys. Rev. 91 (1953) 1291-1301. | Zbl 0053.48001

 H. Föllmer. Random fields and diffusion processes. Ecole d'Eté de Saint Flour XV-XVII 101-203. Lecture Notes in Math. 1362. Springer, 1988. | MR 983373 | Zbl 0661.60063

 J. Ginibre. Some applications of functional integration in statistical mechanics, and field theory. C. de Witt and R. Storaeds (Eds). Gordon and Breach, New York, 1970.

 F. Den Hollander. Large Deviations. Amer. Math. Soc., Providence, RI, 2000. | MR 1739680 | Zbl 0949.60001

 O. Kallenberg. Foundations of Modern Probability. Springer, New York, 2001. | MR 1876169 | Zbl 0996.60001

 E. H. Lieb, R. Seiringer, J. P. Solovej and Y. Yngvason. The Mathematics of the Bose Gas and Its Condensation. Birkhäuser, Basel, 2005. | MR 2143817 | Zbl 1104.82012

 D. Petz, G. A. Raggio and A. Verbeure. Asymptotics of Varadhan-type and the Gibbs variational principle. Comm. Math. Phys. 121 (1989) 271-282. | MR 985399 | Zbl 0682.46054

 K. R. Parthasarathy. Probability Measures on Metric Spaces. Academic Press, New York, 1967. | MR 226684 | Zbl 0153.19101

 D. Revuz and M. Yor. Continuous Martingales and Brownian Motion. Springer, Berlin, 1999. | MR 1725357 | Zbl 0917.60006

 E. Schrödinger. Über die Umkehrung der Naturgesetze. Sitzungsber. Preuß. Akad. Wiss., Phys.-Math. Kl. 1931 (1931) 144-153. | Zbl 0001.37503

 E. Seneta. Non-negative Matrices and Markov Chains. Springer, New York, 1981. | MR 2209438 | Zbl 0471.60001

 A. Sütö. Percolation transition in the Bose gas: II. J. Phys. A: Math. Gen. 35 (2002) 6995-7002. | MR 1945163 | Zbl 1066.82006

 B. Tóth. Phase transition in an interacting bose system. An application of the theory of Ventsel' and Freidlin, J. Statist. Phys. 61 (1990) 749-764. | MR 1086297

 J. Trashorras. Large deviations for a triangular array of exchangeable random variables. Ann. Inst. H. Poincaré Probab. Statist. 35 (2002) 649-680. | Numdam | MR 1931582 | Zbl 1034.60033