{"entities":{"Q1295878":{"pageid":1306628,"ns":120,"title":"Item:Q1295878","lastrevid":67297599,"modified":"2026-04-12T16:41:06Z","type":"item","id":"Q1295878","labels":{"en":{"language":"en","value":"Intersection of independent regenerative sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1309032"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295878$DCB53951-998E-4D60-A528-69A11E8D6CF0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e2e2f6ca31c896c56aa4de045f4464b840e26ad","datavalue":{"value":{"text":"Intersection of independent regenerative sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1295878$0DCA7BDA-9B74-4BDB-8614-09BA8FDA5D85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58f5df7b718b017adcfb28e6a23e298f1404a558","datavalue":{"value":"0937.60043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$E5123470-5340-4D06-B351-0DC9EBDCA904","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06ea19338ca37a83a0d852801512db4f880672a","datavalue":{"value":{"entity-type":"item","numeric-id":321163,"id":"Q321163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295878$70CD49FA-EEB4-413C-8C45-A676C2FA9164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f824e8df8660a01a22c6ea772f84f035aa08b14a","datavalue":{"value":{"time":"+2000-06-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1295878$AE1596B3-5008-4A3B-AF35-39E8C146B9F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c883c829a3bf3f458ca4f52dd41ac2009b6d1061","datavalue":{"value":"A regenerative set \\(\\overline{\\mathcal R}\\) is a closed random subset of \\([0,\\infty)\\) which can be identified with the closed range of a subordinator \\(\\{\\sigma(t)\\}_{t\\geq 0}\\) (i.e. an a.s. increasing L\u00e9vy process with \\(\\sigma(0)=0)\\). The problem addressed in this paper is to find the distribution and other properties of the intersection of two independent regenerative sets \\(\\overline{\\mathcal R}^{(1)}\\cap\\overline{\\mathcal R}^{(2)}\\). Denote by \\(\\sigma^{(i)}\\), \\({\\mathcal R}^{(i)}=\\sigma^{(i)}([0,\\infty))\\) the corresponding subordinators, by \\(U^{(i)}(dx)\\) their potential measures, and by \\(R^{(i)}(t)=\\inf\\{s>0:s+t\\in{\\mathcal R}^{(i)}\\}\\) \\((\\inf\\emptyset=\\infty)\\) the residual life-time process. \\(\\sigma^{(i)}\\) or \\({\\mathcal R}^{(i)}\\) are called heavy [light], if \\(\\sigma^{(i)}\\) has [no] drift. The case where at least one of the sets \\({\\mathcal R}^{(i)}\\) are discrete can be dealt with by arguments of \\textit{H. Kesten} [Mem. Am. Math. Soc. 93 (1969; Zbl 0186.50202)] and is omitted here. The author now distinguishes between two situations: \\((\\sigma^{(1)},\\sigma^{(2)})\\) are both light, or one of them is heavy, say \\(\\sigma^{(2)}\\). If in the latter case \\(U^{(2)}(dx)=u^{(2)}(x)dx\\), then \\(\\mathbb{P}((x+{\\mathcal R}^{(1)})\\cap{\\mathcal R}^{(2)}\\neq\\emptyset)=U^{(1)}u^{(2)}(x)/U^{(1)}u^{(2)}u(0)\\). The proof uses essentially the properties of the local time at \\((0,0)\\) of \\((R^{(1)}(t),R^{(2)}(t))\\). This generalizes a result by \\textit{J. Hawkes} [Z. Wahrscheinlichkeitstheorie Verw. Geb. 37, 243-251 (1977; Zbl 0404.60077)].   The main result of the paper is the (light, light) case. Assuming again \\(U^{(2)}(dx)=u^{(2)}(x)dx\\) it is shown that \\(\\mathbb{P}((x+\\overline{\\mathcal R}^{(1)})\\cap\\overline{\\mathcal R}^{(2)}\\neq\\emptyset)=c_0U^{(1)}u^{(2)}(x)\\) \\((0\\cdot\\infty=0)\\) where \\(c_0\\) is the capacity of \\(\\{0\\}\\) for the subordinate process \\(X(t)=R^{(1)}\\circ\\sigma^{(2)}(t)\\). Moreover, if \\(c_0>0\\), then \\(0\\in{\\mathcal R}^{(1)}\\) is regular for \\(\\sigma^{(2)}\\) if and only if \\(U^{(1)}u^{(2)}\\in C(\\mathbb{R})\\) or \\(c_0^{-1}=U^{(1)}u^{(2)}(0)\\). The proof relies on potential theoretic methods, in particular on the study of the first return time \\(T_0\\) of \\(X(t)\\) to \\(\\{0\\}\\). Note that the (light, light) assumption implies for \\(x\\neq 0\\) that  \\[ \\mathbb{P}(\\exists t>0,\\;\\sigma_t^{(2)}\\in x+{\\mathcal R}^{(1)})=\\mathbb{P}\\bigl((x+\\overline{\\mathcal R}^{(1)})\\cap\\overline{\\mathcal R}^{(2)}\\neq\\emptyset)=\\mathbb{P}(T_0<\\infty\\mid X(0)=x\\bigr). \\]  Immediate corollaries are criteria for (non-)polarity of the set \\({\\mathcal R}^{(1)}\\) for \\(\\sigma^{(2)}\\) which can be expressed in terms of the potential kernels and characteristic exponents of the subordinators. If \\(U^{(1)}u^{(2)}\\in C(\\mathbb{R})\\), then \\(\\overline{\\mathcal R}^{(1)}\\cap\\overline{\\mathcal R}^{(2)}\\) is itself regenerative with potential measure being absolutely continuous w.r.t. \\(U^{(1)}(dx)\\). Moreover, \\(\\{t\\geq 0:\\sigma^{(2)}(t)\\in{\\mathcal R}^{(1)}\\}\\) is also regenerative and its characteristic exponent can be explicitly calculated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295878$D369BE84-64C5-4DD7-8ACB-7A34A9617195","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6fa38271e9e7d141d1f93caf004b4b7fbd32ad38","datavalue":{"value":"60G51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$9EFC1455-64EF-464C-8697-E3685A17D732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"43c201755fcafd36f50e8b92611d32a8e3c1f461","datavalue":{"value":"60G17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$10A0E4EA-89B6-49A4-B76B-26C882AEA723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"671a9141f7533e3d7d525a297ffd04f047259a12","datavalue":{"value":"60D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$F76BE5F2-4ADC-41EE-B6E8-C043794EE3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c5564ecb68d48bc5ba68f0151d94fd30bf936356","datavalue":{"value":"60J45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$1F964750-1829-454F-85ED-2E6CD1001370","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e825f6b0acc5776a5bd67414c2c623bcccb6c215","datavalue":{"value":"1309032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$B571BC2D-83EE-4C9D-AB7D-C8D8AB4CC7AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4db90414972b97bcce035b5b6d29df70a1f0715","datavalue":{"value":"subordinator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295878$D79CD684-20E4-43F8-B3DD-6167A220788F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfcf5b7ef92771a66e89a3cbf69f0cb15bce16b7","datavalue":{"value":"subordination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295878$425B00E0-188E-48FE-AEB5-0D54B50EB0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9ae22a3cdc651f2f469aa0746f93e96f2b4f2ce","datavalue":{"value":"regenerative set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295878$EB45FD04-24CB-4670-B266-E93D921A97EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a019602bf01d05beac7359232d90e6fca6555eec","datavalue":{"value":"potential operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295878$61C4DF72-D38A-4B23-BF7A-FF4B31A53462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd213f517529d2f0d8ea72668343d3ef1b060a92","datavalue":{"value":"polar set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1295878$716B93E5-7B3F-45CB-B47F-BDD153C821F8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"061ad49b5738c36bf8636d2a5ed4e9320148bbe8","datavalue":{"value":{"entity-type":"item","numeric-id":206674,"id":"Q206674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295878$0CE07CEF-4A75-49D7-8196-ABEED5B3E7BF","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295878$2F366B6D-8C71-47BC-858E-2AB9C1E03E94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a64d2de0183c7592faa8a294213dbb83ab2ff17a","datavalue":{"value":"https://doi.org/10.1007/s004400050223","type":"string"},"datatype":"url"},"type":"statement","id":"Q1295878$2A270EE0-81C3-4E87-AF0A-ADF2F663F4A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc627be685ca6cd7c9f2ba0252c9961cc19669a2","datavalue":{"value":"W2082648389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$7341761A-DAAF-4145-8FA9-5A7C40FF7FE4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52223b880971758baed1a8785619c76ef7601b99","datavalue":{"value":"10.1007/S004400050223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1295878$D159A17A-D180-4372-B329-180502FC0692","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3e4ddda27c7b76772b0a1708a44a37e8574d8b29","datavalue":{"value":{"entity-type":"item","numeric-id":3036360,"id":"Q3036360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1295878$82D8C68F-345B-4173-8AD7-CD69A237B9A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccc703c2a3ac6c117258c6c4e044eaacc7accce5","datavalue":{"value":{"entity-type":"item","numeric-id":4866252,"id":"Q4866252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"813f17224fb20fa53dfc79a5bc0de6230e1e1c20","datavalue":{"value":{"amount":"+0.8250362873077393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295878$37ABD63B-18CB-4B83-88FD-F487EF5D075B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7855f60e4cd12a1398228136f819ccfc4b9feb85","datavalue":{"value":{"entity-type":"item","numeric-id":3339903,"id":"Q3339903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d68212c9ae610100eb4bc8ad93022ebab87c4007","datavalue":{"value":{"amount":"+0.8237078189849854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295878$F8DFD5A1-4FE4-4D4E-8907-608C52F2DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd906d7714cbf60ce63e1892815476dc4290b2c4","datavalue":{"value":{"entity-type":"item","numeric-id":1109423,"id":"Q1109423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b972d9036835541793d1d55f396d42f49f1442","datavalue":{"value":{"amount":"+0.7432854771614075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295878$F37961E2-5DD2-405B-A442-370A19C6B676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d7e921d96bda9a7c3298a10fe6c83ae543df9c","datavalue":{"value":{"entity-type":"item","numeric-id":4838526,"id":"Q4838526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0816a4e68f2e2b63d2a1e5b55e332be131f5d595","datavalue":{"value":{"amount":"+0.7132079005241394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1295878$7340F71F-3D9A-4F1C-88B5-2030EA94B6D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intersection of independent regenerative sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intersection_of_independent_regenerative_sets"}}}}}