A covariance formula for topological events of smooth Gaussian fields

We derive a covariance formula for the class of ‘topological events’ of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for example, (i) crossing events for level or excursion sets, (ii) events measurable with respect to the numb...

Full description

Bibliographic Details
Main Authors: Beliaev, D, Muirhead, S, Rivera, A
Format: Journal article
Language:English
Published: Institute of Mathematical Statistics 2020
_version_ 1797075923131957248
author Beliaev, D
Muirhead, S
Rivera, A
author_facet Beliaev, D
Muirhead, S
Rivera, A
author_sort Beliaev, D
collection OXFORD
description We derive a covariance formula for the class of ‘topological events’ of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for example, (i) crossing events for level or excursion sets, (ii) events measurable with respect to the number of connected components of level or excursion sets of a given diffeomorphism class and (iii) persistence events. As an application of the covariance formula, we derive strong mixing bounds for topological events, as well as lower concentration inequalities for additive topological functionals (e.g., the number of connected components) of the level sets that satisfy a law of large numbers. The covariance formula also gives an alternate justification of the Harris criterion, which conjecturally describes the boundary of the percolation university class for level sets of stationary Gaussian fields. Our work is inspired by (Ann. Inst. Henri Poincaré Probab. Stat. 55 (2019) 1679–1711), in which a correlation inequality was derived for certain topological events on the plane, as well as by (Asymptotic Methods in the Theory of Gaussian Processes and Fields (1996) Amer. Math. Soc.), in which a similar covariance formula was established for finite-dimensional Gaussian vectors.
first_indexed 2024-03-06T23:57:03Z
format Journal article
id oxford-uuid:7499d476-bc50-4284-ad29-6eaddc2dc4da
institution University of Oxford
language English
last_indexed 2024-03-06T23:57:03Z
publishDate 2020
publisher Institute of Mathematical Statistics
record_format dspace
spelling oxford-uuid:7499d476-bc50-4284-ad29-6eaddc2dc4da2022-03-26T20:04:00ZA covariance formula for topological events of smooth Gaussian fieldsJournal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7499d476-bc50-4284-ad29-6eaddc2dc4daEnglishSymplectic ElementsInstitute of Mathematical Statistics 2020Beliaev, DMuirhead, SRivera, AWe derive a covariance formula for the class of ‘topological events’ of smooth Gaussian fields on manifolds; these are events that depend only on the topology of the level sets of the field, for example, (i) crossing events for level or excursion sets, (ii) events measurable with respect to the number of connected components of level or excursion sets of a given diffeomorphism class and (iii) persistence events. As an application of the covariance formula, we derive strong mixing bounds for topological events, as well as lower concentration inequalities for additive topological functionals (e.g., the number of connected components) of the level sets that satisfy a law of large numbers. The covariance formula also gives an alternate justification of the Harris criterion, which conjecturally describes the boundary of the percolation university class for level sets of stationary Gaussian fields. Our work is inspired by (Ann. Inst. Henri Poincaré Probab. Stat. 55 (2019) 1679–1711), in which a correlation inequality was derived for certain topological events on the plane, as well as by (Asymptotic Methods in the Theory of Gaussian Processes and Fields (1996) Amer. Math. Soc.), in which a similar covariance formula was established for finite-dimensional Gaussian vectors.
spellingShingle Beliaev, D
Muirhead, S
Rivera, A
A covariance formula for topological events of smooth Gaussian fields
title A covariance formula for topological events of smooth Gaussian fields
title_full A covariance formula for topological events of smooth Gaussian fields
title_fullStr A covariance formula for topological events of smooth Gaussian fields
title_full_unstemmed A covariance formula for topological events of smooth Gaussian fields
title_short A covariance formula for topological events of smooth Gaussian fields
title_sort covariance formula for topological events of smooth gaussian fields
work_keys_str_mv AT beliaevd acovarianceformulafortopologicaleventsofsmoothgaussianfields
AT muirheads acovarianceformulafortopologicaleventsofsmoothgaussianfields
AT riveraa acovarianceformulafortopologicaleventsofsmoothgaussianfields
AT beliaevd covarianceformulafortopologicaleventsofsmoothgaussianfields
AT muirheads covarianceformulafortopologicaleventsofsmoothgaussianfields
AT riveraa covarianceformulafortopologicaleventsofsmoothgaussianfields