Exchangeable interval hypergraphs and limits of ordered discrete structures

From MaRDI portal
Publication:784163

DOI10.1214/19-AOP1384zbMATH Open1464.60030arXiv1802.09015MaRDI QIDQ784163FDOQ784163


Authors: Julian Gerstenberg Edit this on Wikidata


Publication date: 31 July 2020

Published in: The Annals of Probability (Search for Journal in Brave)

Abstract: A hypergraph (V,E) is called an interval hypergraph if there exists a linear order l on V such that every edge einE is an interval w.r.t. l; we also assume that jinE for every jinV. Our main result is a de Finetti-type representation of random exchangeable interval hypergraphs on mathbbN (EIHs): the law of every EIH can be obtained by sampling from some random compact subset K of the triangle (x,y):0leqxleqyleq1 at iid uniform positions U1,U2,dots, in the sense that, restricted to the node set [n]:=1,dots,n every non-singleton edge is of the form e=iin[n]:x<Ui<y for some (x,y)inK. We obtain this result via the study of a related class of stochastic objects: erased-interval processes (EIPs). These are certain transient Markov chains (In,etan)ninmathbbN such that In is an interval hypergraph on V=[n] w.r.t. the usual linear order (called interval system). We present an almost sure representation result for EIPs. Attached to each transient Markov chain is the notion of Martin boundary. The points in the boundary attached to EIPs can be seen as limits of growing interval systems. We obtain a one-to-one correspondence between these limits and compact subsets K of the triangle with (x,x)inK for all xin[0,1]. Interval hypergraphs are a generalizations of hierarchies and as a consequence we obtain a representation result for exchangeable hierarchies, which is close to a result of Forman, Haulk and Pitman. Several ordered discrete structures can be seen as interval systems with additional properties, i.e. Schr"oder trees and binary trees. We describe limits of Schr"oder trees as certain tree-like compact sets. Considering binary trees we thus obtain a homeomorphic description of the Martin boundary of R'emy's tree growth chain, which has been analyzed by Evans, Gr"ubel and Wakolbinger.


Full work available at URL: https://arxiv.org/abs/1802.09015




Recommendations




Cites Work


Cited In (5)





This page was built for publication: Exchangeable interval hypergraphs and limits of ordered discrete structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q784163)