Testing exchangeability: Fork-convexity, supermartingales and e-processes
Suppose we observe an infinite series of coin flips X1,X2,…, and wish to sequentially test the null that these binary random variables are exchangeable. Nonnegative supermartingales (NSMs) are a workhorse of sequential inference, but we prove that they are powerless for this problem. First, utilizin...
Gespeichert in:
| Veröffentlicht in: | International journal of approximate reasoning Jg. 141; S. 83 - 109 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
Elsevier Inc
01.02.2022
|
| Schlagworte: | |
| ISSN: | 0888-613X, 1873-4731 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Abstract | Suppose we observe an infinite series of coin flips X1,X2,…, and wish to sequentially test the null that these binary random variables are exchangeable. Nonnegative supermartingales (NSMs) are a workhorse of sequential inference, but we prove that they are powerless for this problem. First, utilizing a geometric concept called fork-convexity (a sequential analog of convexity), we show that any process that is an NSM under a set of distributions, is also necessarily an NSM under their “fork-convex hull”. Second, we prove that the fork-convex hull of the exchangeable null consists of all possible laws over binary sequences; this implies that any NSM under exchangeability is necessarily nonincreasing, hence always yields a powerless test for any alternative. Since testing arbitrary deviations from exchangeability is information theoretically impossible, we focus on Markovian alternatives. We combine ideas from universal inference and the method of mixtures to derive a “safe e-process”, which is a nonnegative process with expectation at most one under the null at any stopping time, and is upper bounded by a martingale, but is not itself an NSM. This in turn yields a level α sequential test that is consistent; regret bounds from universal coding also demonstrate rate-optimal power. We present ways to extend these results to any finite alphabet and to Markovian alternatives of any order using a “double mixture” approach. We provide a wide array of simulations, and give general approaches based on betting for unstructured or ill-specified alternatives. Finally, inspired by Shafer, Vovk, and Ville, we provide game-theoretic interpretations of our e-processes and pathwise results. |
|---|---|
| AbstractList | Suppose we observe an infinite series of coin flips X1,X2,…, and wish to sequentially test the null that these binary random variables are exchangeable. Nonnegative supermartingales (NSMs) are a workhorse of sequential inference, but we prove that they are powerless for this problem. First, utilizing a geometric concept called fork-convexity (a sequential analog of convexity), we show that any process that is an NSM under a set of distributions, is also necessarily an NSM under their “fork-convex hull”. Second, we prove that the fork-convex hull of the exchangeable null consists of all possible laws over binary sequences; this implies that any NSM under exchangeability is necessarily nonincreasing, hence always yields a powerless test for any alternative. Since testing arbitrary deviations from exchangeability is information theoretically impossible, we focus on Markovian alternatives. We combine ideas from universal inference and the method of mixtures to derive a “safe e-process”, which is a nonnegative process with expectation at most one under the null at any stopping time, and is upper bounded by a martingale, but is not itself an NSM. This in turn yields a level α sequential test that is consistent; regret bounds from universal coding also demonstrate rate-optimal power. We present ways to extend these results to any finite alphabet and to Markovian alternatives of any order using a “double mixture” approach. We provide a wide array of simulations, and give general approaches based on betting for unstructured or ill-specified alternatives. Finally, inspired by Shafer, Vovk, and Ville, we provide game-theoretic interpretations of our e-processes and pathwise results. |
| Author | Ramdas, Aaditya Larsson, Martin Ruf, Johannes Koolen, Wouter M. |
| Author_xml | – sequence: 1 givenname: Aaditya orcidid: 0000-0003-0497-311X surname: Ramdas fullname: Ramdas, Aaditya email: aramdas@cmu.edu organization: Departments of Statistics and Data Science, and Machine Learning, Carnegie Mellon University, United States of America – sequence: 2 givenname: Johannes orcidid: 0000-0003-3616-2194 surname: Ruf fullname: Ruf, Johannes email: j.ruf@lse.ac.uk organization: Department of Mathematical Sciences, London School of Economics, United Kingdom – sequence: 3 givenname: Martin orcidid: 0000-0001-8219-4395 surname: Larsson fullname: Larsson, Martin email: martinl@andrew.cmu.edu organization: Department of Mathematical Sciences, Carnegie Mellon University, United States of America – sequence: 4 givenname: Wouter M. orcidid: 0000-0002-1053-6701 surname: Koolen fullname: Koolen, Wouter M. email: wmkoolen@cwi.nl organization: Machine Learning Group, Centrum Wiskunde & Informatica, Netherlands |
| BookMark | eNp9kMFKw0AQhhepYFt9AU95ABNns8lmK16kWC0UvFTwtkw2k7o1bspuLO3bm1BPHnoaBuYb_v-bsJFrHTF2yyHhwOX9NrFb9EkKKU9AJsCLCzbmqhBxVgg-YmNQSsWSi48rNglhCwCyyNSYLdcUOus2ER3MJ7oNYWkb2x0fokXrv2LTuj0d-v0uCj878t_oh2tsKEToqojinW8NhUDhml3W2AS6-ZtT9r54Xs9f49Xby3L-tIqNAOhiU6PiSmW1MCpTuREFYpkTCm4qXqlcpJhzIUuVZVLOSlGDyGfIpVBmBpiSmLL09Nf4NgRPtd552-c6ag56kKG3epChBxkapO5l9JD6BxnbYWdb13m0zXn08YRSX2pvyetgLDlDlfVkOl219hz-C9erfeM |
| CitedBy_id | crossref_primary_10_1093_jrsssb_qkae069 crossref_primary_10_1093_jrsssb_qkae066 crossref_primary_10_1287_opre_2021_0792 crossref_primary_10_1093_jrsssb_qkaf014 crossref_primary_10_1093_jrsssb_qkae062 crossref_primary_10_1016_j_trc_2023_104118 crossref_primary_10_1214_23_STS894 crossref_primary_10_1016_j_ijar_2025_109550 crossref_primary_10_1016_j_spl_2025_110515 crossref_primary_10_1214_24_AOS2434 crossref_primary_10_3150_24_BEJ1823 crossref_primary_10_1080_07474946_2024_2428245 crossref_primary_10_1109_TIT_2023_3305867 crossref_primary_10_1007_s11749_023_00899_2 crossref_primary_10_1007_s10994_024_06720_x crossref_primary_10_1080_01621459_2023_2205607 crossref_primary_10_1016_j_rse_2023_113682 crossref_primary_10_1093_biomet_asae023 |
| Cites_doi | 10.1016/S0022-0531(03)00097-8 10.1214/aos/1176342704 10.1287/moor.1040.0129 10.1016/j.tcs.2014.09.030 10.1214/07-PS119 10.1109/TIT.2012.2219171 10.1073/pnas.1922664117 10.1287/moor.1120.0566 10.1214/aoms/1177731118 10.1214/20-AOS2020 10.1016/j.spl.2010.10.013 10.1090/S0002-9947-1955-0076206-8 10.1214/20-AOS1991 10.1109/TIT.1981.1056331 10.1214/10-STS347 10.1214/aoms/1177696787 10.1023/A:1013885121598 10.1214/aoms/1177730197 10.1214/18-PS321 10.1073/pnas.58.1.66 10.1109/TIT.2013.2273353 10.1214/aoms/1177696786 10.1214/20-STS817 10.1109/18.382012 10.1287/opre.2015.1466 |
| ContentType | Journal Article |
| Copyright | 2021 |
| Copyright_xml | – notice: 2021 |
| DBID | AAYXX CITATION |
| DOI | 10.1016/j.ijar.2021.06.017 |
| DatabaseName | CrossRef |
| DatabaseTitle | CrossRef |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1873-4731 |
| EndPage | 109 |
| ExternalDocumentID | 10_1016_j_ijar_2021_06_017 S0888613X21000980 |
| GroupedDBID | --K --M .~1 0R~ 1B1 1RT 1~. 1~5 29J 4.4 457 4G. 5GY 5VS 6I. 7-5 71M 8P~ 9JN 9JO AAAKF AACTN AAEDT AAEDW AAFTH AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABAOU ABBOA ABFNM ABJNI ABMAC ABUCO ABVKL ABXDB ABYKQ ACAZW ACDAQ ACGFS ACNCT ACNNM ACRLP ACZNC ADBBV ADEZE ADMUD ADTZH AEBSH AECPX AEKER AENEX AEXQZ AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHJVU AHZHX AIALX AIEXJ AIGVJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ARUGR ASPBG AVWKF AXJTR AZFZN BJAXD BKOJK BLXMC CS3 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 F5P FDB FEDTE FGOYB FIRID FNPLU FYGXN GBLVA GBOLZ HAMUX HVGLF HZ~ IHE IXB J1W JJJVA KOM LG9 LY1 M41 MHUIS MO0 N9A NCXOZ O-L O9- OAUVE OK1 OZT P-8 P-9 P2P PC. Q38 R2- RIG ROL RPZ SDF SDG SES SEW SPC SPCBC SSB SSD SST SSV SSW SSZ T5K UHS WUQ XPP ~G- 9DU AATTM AAXKI AAYWO AAYXX ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO ADVLN AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD |
| ID | FETCH-LOGICAL-c300t-cfa81884f3c8485c37aab5ea31cd1d8532a5136b844669b3f0359a1638c90a2e3 |
| ISICitedReferencesCount | 33 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000829957300006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0888-613X |
| IngestDate | Sat Nov 29 07:17:51 EST 2025 Tue Nov 18 20:50:48 EST 2025 Fri Feb 23 02:40:15 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Universal coding Composite Snell envelope Anytime-valid sequential inference Method of mixtures Optional stopping Game-theoretic probability |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c300t-cfa81884f3c8485c37aab5ea31cd1d8532a5136b844669b3f0359a1638c90a2e3 |
| ORCID | 0000-0001-8219-4395 0000-0002-1053-6701 0000-0003-3616-2194 0000-0003-0497-311X |
| PageCount | 27 |
| ParticipantIDs | crossref_primary_10_1016_j_ijar_2021_06_017 crossref_citationtrail_10_1016_j_ijar_2021_06_017 elsevier_sciencedirect_doi_10_1016_j_ijar_2021_06_017 |
| PublicationCentury | 2000 |
| PublicationDate | February 2022 2022-02-00 |
| PublicationDateYYYYMMDD | 2022-02-01 |
| PublicationDate_xml | – month: 02 year: 2022 text: February 2022 |
| PublicationDecade | 2020 |
| PublicationTitle | International journal of approximate reasoning |
| PublicationYear | 2022 |
| Publisher | Elsevier Inc |
| Publisher_xml | – name: Elsevier Inc |
| References | Shafer, Vovk (br0290) 2005 Vovk, Wang (br0360) 2021 de la Peña, Klass, Lai (br0050) 2007; 4 Waudby-Smith, Ramdas (br0430) 2020 Föllmer, Schied (br0090) 2004; vol. 27 Takeuchi, Kawabata, Barron (br0330) 2013; 59 Krichevsky, Trofimov (br0200) March 1981; 27 Bladt (br0010) 2019 Koolen, Vovk (br0190) 2014; 558 Willems, Shtarkov, Tjalkens (br0450) 1995; 41 Howard, Ramdas, McAuliffe, Sekhon (br0130) 2021 Shafer, Vovk (br0300) 2019 Darling, Robbins (br0020) July 1967; 58 Robbins, Siegmund (br0260) 1972 Koolen, de Rooij (br0180) 2013; 59 Delbaen (br0060) 2006; vol. 1874 Wald (br0400) 1947 Robbins (br0230) October 1970; 41 Shapiro (br0320) 2016; 64 Wasserman, Ramdas, Balakrishnan (br0420) 2020 Wald (br0390) 1945; 16 Philip Dawid, de Rooij, Grunwald, Koolen, Shafer, Shen, Vereshchagin, Vovk (br0030) 2011 Kaufmann, Koolen (br0160) 2018 Philip Dawid, de Rooij, Shafer, Shen, Vereshchagin, Vovk (br0040) 2011; 81 Robbins, Siegmund (br0250) October 1970; 41 Hewitt, Savage (br0110) 1955; 80 Wiesemann, Kuhn, Rustem (br0440) 2013; 38 Ville (br0340) 1939 Ramdas, Ruf, Larsson, Koolen (br0220) 2020 Shafer, Shen, Vereshchagin, Vovk (br0310) February 2011; 26 Robbins, Siegmund (br0240) 1968 Žitković (br0380) 2002; 15 Iyengar (br0140) 2005; 30 Epstein, Schneider (br0080) 2003; 113 Kirsch (br0170) 2018 Vovk, Petej, Nouretdinov, Ahlberg, Carlsson, Gammerman (br0370) 2021 Manole, Ramdas (br0210) 2021 Grünwald, de Heide, Koolen (br0100) 2019 Shin, Ramdas, Rinaldo (br0460) 2016; 64 Howard, Ramdas, McAuliffe, Sekhon (br0120) 2020; 17 Durrett (br0070) 2017 Kallenberg (br0150) 2006 Robbins, Siegmund (br0270) May 1974; 2 Wald, Wolfowitz (br0410) 1948; 19 Shafer (br0280) 2020 Vovk (br0350) 2021 Takeuchi (10.1016/j.ijar.2021.06.017_br0330) 2013; 59 Shin (10.1016/j.ijar.2021.06.017_br0460) 2016; 64 Vovk (10.1016/j.ijar.2021.06.017_br0360) 2021 Žitković (10.1016/j.ijar.2021.06.017_br0380) 2002; 15 Kaufmann (10.1016/j.ijar.2021.06.017_br0160) Shafer (10.1016/j.ijar.2021.06.017_br0290) 2005 Philip Dawid (10.1016/j.ijar.2021.06.017_br0040) 2011; 81 Koolen (10.1016/j.ijar.2021.06.017_br0190) 2014; 558 Robbins (10.1016/j.ijar.2021.06.017_br0230) 1970; 41 Shapiro (10.1016/j.ijar.2021.06.017_br0320) 2016; 64 Robbins (10.1016/j.ijar.2021.06.017_br0260) 1972 Wald (10.1016/j.ijar.2021.06.017_br0400) 1947 Wald (10.1016/j.ijar.2021.06.017_br0410) 1948; 19 Bladt (10.1016/j.ijar.2021.06.017_br0010) Vovk (10.1016/j.ijar.2021.06.017_br0350) 2021 Ramdas (10.1016/j.ijar.2021.06.017_br0220) Waudby-Smith (10.1016/j.ijar.2021.06.017_br0430) Robbins (10.1016/j.ijar.2021.06.017_br0240) 1968 Epstein (10.1016/j.ijar.2021.06.017_br0080) 2003; 113 Hewitt (10.1016/j.ijar.2021.06.017_br0110) 1955; 80 Manole (10.1016/j.ijar.2021.06.017_br0210) Föllmer (10.1016/j.ijar.2021.06.017_br0090) 2004; vol. 27 Wiesemann (10.1016/j.ijar.2021.06.017_br0440) 2013; 38 Willems (10.1016/j.ijar.2021.06.017_br0450) 1995; 41 Delbaen (10.1016/j.ijar.2021.06.017_br0060) 2006; vol. 1874 Wasserman (10.1016/j.ijar.2021.06.017_br0420) 2020 Darling (10.1016/j.ijar.2021.06.017_br0020) 1967; 58 Grünwald (10.1016/j.ijar.2021.06.017_br0100) Shafer (10.1016/j.ijar.2021.06.017_br0280) 2020 Ville (10.1016/j.ijar.2021.06.017_br0340) 1939 de la Peña (10.1016/j.ijar.2021.06.017_br0050) 2007; 4 Koolen (10.1016/j.ijar.2021.06.017_br0180) 2013; 59 Philip Dawid (10.1016/j.ijar.2021.06.017_br0030) Durrett (10.1016/j.ijar.2021.06.017_br0070) 2017 Howard (10.1016/j.ijar.2021.06.017_br0120) 2020; 17 Kirsch (10.1016/j.ijar.2021.06.017_br0170) Vovk (10.1016/j.ijar.2021.06.017_br0370) Krichevsky (10.1016/j.ijar.2021.06.017_br0200) 1981; 27 Robbins (10.1016/j.ijar.2021.06.017_br0250) 1970; 41 Iyengar (10.1016/j.ijar.2021.06.017_br0140) 2005; 30 Shafer (10.1016/j.ijar.2021.06.017_br0310) 2011; 26 Robbins (10.1016/j.ijar.2021.06.017_br0270) 1974; 2 Shafer (10.1016/j.ijar.2021.06.017_br0300) 2019 Kallenberg (10.1016/j.ijar.2021.06.017_br0150) 2006 Howard (10.1016/j.ijar.2021.06.017_br0130) 2021 Wald (10.1016/j.ijar.2021.06.017_br0390) 1945; 16 |
| References_xml | – year: 2017 ident: br0070 article-title: Probability: Theory and Examples – volume: 80 start-page: 470 year: 1955 end-page: 501 ident: br0110 article-title: Symmetric measures on cartesian products publication-title: Trans. Am. Math. Soc. – year: 1939 ident: br0340 article-title: Étude Critique de la Notion de Collectif – volume: 16 start-page: 117 year: 1945 end-page: 186 ident: br0390 article-title: Sequential tests of statistical hypotheses publication-title: Ann. Math. Stat. – start-page: 267 year: 1968 end-page: 279 ident: br0240 article-title: Iterated logarithm inequalities and related statistical procedures publication-title: Mathematics of the Decision Sciences, Part II – volume: vol. 1874 start-page: 215 year: 2006 end-page: 258 ident: br0060 article-title: The structure of m-stable sets and in particular of the set of risk neutral measures publication-title: Memoriam Paul-André Meyer: Séminaire de Probabilités XXXIX – volume: 4 start-page: 172 year: 2007 end-page: 192 ident: br0050 article-title: Pseudo-maximization and self-normalized processes publication-title: Probab. Surv. – year: 2021 ident: br0350 article-title: Testing randomness online publication-title: Stat. Sci. – volume: 58 start-page: 66 year: July 1967 end-page: 68 ident: br0020 article-title: Confidence sequences for mean, variance, and median publication-title: Proc. Natl. Acad. Sci. – volume: 59 start-page: 438 year: 2013 end-page: 457 ident: br0330 article-title: Properties of Jeffreys mixture for Markov sources publication-title: IEEE Trans. Inf. Theory – volume: 64 start-page: 528 year: 2016 end-page: 541 ident: br0320 article-title: Rectangular sets of probability measures publication-title: Oper. Res. – volume: 19 start-page: 326 year: 1948 end-page: 339 ident: br0410 article-title: Optimum character of the sequential probability ratio test publication-title: Ann. Math. Stat. – volume: 15 start-page: 41 year: 2002 end-page: 61 ident: br0380 article-title: A filtered version of the bipolar theorem of Brannath and Schachermayer publication-title: J. Theor. Probab. – volume: 17 start-page: 257 year: 2020 end-page: 317 ident: br0120 article-title: Time-uniform Chernoff bounds via nonnegative supermartingales publication-title: Probab. Surv. – volume: 30 start-page: 257 year: 2005 end-page: 280 ident: br0140 article-title: Robust dynamic programming publication-title: Math. Oper. Res. – year: 2019 ident: br0010 article-title: Characterisation of exchangeable sequences through empirical distributions – volume: 26 start-page: 84 year: February 2011 end-page: 101 ident: br0310 article-title: Test martingales, Bayes factors and publication-title: Stat. Sci. – year: 2021 ident: br0360 article-title: E-values: calibration, combination, and applications publication-title: Ann. Stat. – year: 1947 ident: br0400 article-title: Sequential Analysis – volume: vol. 27 year: 2004 ident: br0090 article-title: Stochastic Finance publication-title: De Gruyter Studies in Mathematics – year: 2019 ident: br0100 article-title: Safe testing – year: 2020 ident: br0420 article-title: Universal inference publication-title: Proc. Natl. Acad. Sci. – volume: 59 start-page: 7168 year: 2013 end-page: 7185 ident: br0180 article-title: Universal codes from switching strategies publication-title: IEEE Trans. Inf. Theory – volume: 41 start-page: 1410 year: October 1970 end-page: 1429 ident: br0250 article-title: Boundary crossing probabilities for the Wiener process and sample sums publication-title: Ann. Math. Stat. – volume: 558 start-page: 144 year: 2014 end-page: 158 ident: br0190 article-title: Buy low, sell high publication-title: Theor. Comput. Sci. – year: 2011 ident: br0030 article-title: Probability-free pricing of adjusted American lookbacks. Preprint – volume: 2 start-page: 415 year: May 1974 end-page: 436 ident: br0270 article-title: The expected sample size of some tests of power one publication-title: Ann. Stat. – year: 2006 ident: br0150 article-title: Probabilistic Symmetries and Invariance Principles – year: 2018 ident: br0160 article-title: Mixture martingales revisited with applications to sequential tests and confidence intervals – volume: 41 start-page: 653 year: 1995 end-page: 664 ident: br0450 article-title: The context-tree weighting method: basic properties publication-title: IEEE Trans. Inf. Theory – volume: 113 start-page: 1 year: 2003 end-page: 31 ident: br0080 article-title: Recursive multiple-priors publication-title: J. Econ. Theory – volume: 81 start-page: 157 year: 2011 end-page: 162 ident: br0040 article-title: Insuring against loss of evidence in game-theoretic probability publication-title: Stat. Probab. Lett. – volume: 27 start-page: 199 year: March 1981 end-page: 207 ident: br0200 article-title: The performance of universal encoding publication-title: IEEE Trans. Inf. Theory – year: 1972 ident: br0260 article-title: A Class of Stopping Rules for Testing Parametric Hypotheses – year: 2020 ident: br0430 article-title: Estimating means of bounded random variables by betting – year: 2005 ident: br0290 article-title: Probability and Finance: It's Only a Game, vol. 491 – year: 2021 ident: br0210 article-title: Sequential estimation of convex divergences using reverse submartingales and exchangeable filtrations – year: 2019 ident: br0300 article-title: Game-Theoretic Foundations for Probability and Finance, vol. 455 – volume: 38 start-page: 153 year: 2013 end-page: 183 ident: br0440 article-title: Robust Markov decision processes publication-title: Math. Oper. Res. – year: 2018 ident: br0170 article-title: An elementary proof of de Finetti's theorem – year: 2020 ident: br0280 article-title: The language of betting as a strategy for statistical and scientific communication (with discussion) publication-title: J. R. Stat. Soc. A – year: 2021 ident: br0370 article-title: Retrain or not retrain: conformal test martingales for change-point detection – volume: 41 start-page: 1397 year: October 1970 end-page: 1409 ident: br0230 article-title: Statistical methods related to the law of the iterated logarithm publication-title: Ann. Math. Stat. – volume: 64 start-page: 528 year: 2016 end-page: 541 ident: br0460 article-title: Nonparametric iterated-logarithm extensions of the sequential generalized likelihood ratio test publication-title: IEEE J. Sel. Areas Inf. Theory – year: 2021 ident: br0130 article-title: Time-uniform, nonparametric, nonasymptotic confidence sequences publication-title: Ann. Stat. – year: 2020 ident: br0220 article-title: Admissible anytime-valid sequential inference must rely on nonnegative martingales – volume: 113 start-page: 1 issn: 0022-0531 issue: 1 year: 2003 ident: 10.1016/j.ijar.2021.06.017_br0080 article-title: Recursive multiple-priors publication-title: J. Econ. Theory doi: 10.1016/S0022-0531(03)00097-8 – ident: 10.1016/j.ijar.2021.06.017_br0210 – volume: 2 start-page: 415 issue: 3 year: 1974 ident: 10.1016/j.ijar.2021.06.017_br0270 article-title: The expected sample size of some tests of power one publication-title: Ann. Stat. doi: 10.1214/aos/1176342704 – ident: 10.1016/j.ijar.2021.06.017_br0220 – volume: 30 start-page: 257 issn: 0364-765X issue: 2 year: 2005 ident: 10.1016/j.ijar.2021.06.017_br0140 article-title: Robust dynamic programming publication-title: Math. Oper. Res. doi: 10.1287/moor.1040.0129 – year: 1939 ident: 10.1016/j.ijar.2021.06.017_br0340 – ident: 10.1016/j.ijar.2021.06.017_br0160 – year: 1947 ident: 10.1016/j.ijar.2021.06.017_br0400 – volume: 558 start-page: 144 year: 2014 ident: 10.1016/j.ijar.2021.06.017_br0190 article-title: Buy low, sell high publication-title: Theor. Comput. Sci. doi: 10.1016/j.tcs.2014.09.030 – start-page: 267 year: 1968 ident: 10.1016/j.ijar.2021.06.017_br0240 article-title: Iterated logarithm inequalities and related statistical procedures – volume: 4 start-page: 172 issn: 1549-5787 year: 2007 ident: 10.1016/j.ijar.2021.06.017_br0050 article-title: Pseudo-maximization and self-normalized processes publication-title: Probab. Surv. doi: 10.1214/07-PS119 – volume: 59 start-page: 438 issue: 1 year: 2013 ident: 10.1016/j.ijar.2021.06.017_br0330 article-title: Properties of Jeffreys mixture for Markov sources publication-title: IEEE Trans. Inf. Theory doi: 10.1109/TIT.2012.2219171 – issn: 0027-8424 year: 2020 ident: 10.1016/j.ijar.2021.06.017_br0420 article-title: Universal inference publication-title: Proc. Natl. Acad. Sci. doi: 10.1073/pnas.1922664117 – year: 2020 ident: 10.1016/j.ijar.2021.06.017_br0280 article-title: The language of betting as a strategy for statistical and scientific communication (with discussion) publication-title: J. R. Stat. Soc. A – volume: 38 start-page: 153 issn: 0364-765X issue: 1 year: 2013 ident: 10.1016/j.ijar.2021.06.017_br0440 article-title: Robust Markov decision processes publication-title: Math. Oper. Res. doi: 10.1287/moor.1120.0566 – ident: 10.1016/j.ijar.2021.06.017_br0100 – year: 2006 ident: 10.1016/j.ijar.2021.06.017_br0150 – volume: 16 start-page: 117 issue: 2 year: 1945 ident: 10.1016/j.ijar.2021.06.017_br0390 article-title: Sequential tests of statistical hypotheses publication-title: Ann. Math. Stat. doi: 10.1214/aoms/1177731118 – year: 2021 ident: 10.1016/j.ijar.2021.06.017_br0360 article-title: E-values: calibration, combination, and applications publication-title: Ann. Stat. doi: 10.1214/20-AOS2020 – volume: 81 start-page: 157 issn: 0167-7152 issue: 1 year: 2011 ident: 10.1016/j.ijar.2021.06.017_br0040 article-title: Insuring against loss of evidence in game-theoretic probability publication-title: Stat. Probab. Lett. doi: 10.1016/j.spl.2010.10.013 – volume: 80 start-page: 470 issue: 2 year: 1955 ident: 10.1016/j.ijar.2021.06.017_br0110 article-title: Symmetric measures on cartesian products publication-title: Trans. Am. Math. Soc. doi: 10.1090/S0002-9947-1955-0076206-8 – year: 2021 ident: 10.1016/j.ijar.2021.06.017_br0130 article-title: Time-uniform, nonparametric, nonasymptotic confidence sequences publication-title: Ann. Stat. doi: 10.1214/20-AOS1991 – volume: vol. 27 year: 2004 ident: 10.1016/j.ijar.2021.06.017_br0090 article-title: Stochastic Finance – volume: vol. 1874 start-page: 215 year: 2006 ident: 10.1016/j.ijar.2021.06.017_br0060 article-title: The structure of m-stable sets and in particular of the set of risk neutral measures – ident: 10.1016/j.ijar.2021.06.017_br0030 – volume: 27 start-page: 199 issue: 2 year: 1981 ident: 10.1016/j.ijar.2021.06.017_br0200 article-title: The performance of universal encoding publication-title: IEEE Trans. Inf. Theory doi: 10.1109/TIT.1981.1056331 – volume: 26 start-page: 84 issue: 1 year: 2011 ident: 10.1016/j.ijar.2021.06.017_br0310 article-title: Test martingales, Bayes factors and p-values publication-title: Stat. Sci. doi: 10.1214/10-STS347 – year: 2005 ident: 10.1016/j.ijar.2021.06.017_br0290 – volume: 64 start-page: 528 issn: 2641-8770 issue: 2 year: 2016 ident: 10.1016/j.ijar.2021.06.017_br0460 article-title: Nonparametric iterated-logarithm extensions of the sequential generalized likelihood ratio test publication-title: IEEE J. Sel. Areas Inf. Theory – volume: 41 start-page: 1410 issue: 5 year: 1970 ident: 10.1016/j.ijar.2021.06.017_br0250 article-title: Boundary crossing probabilities for the Wiener process and sample sums publication-title: Ann. Math. Stat. doi: 10.1214/aoms/1177696787 – year: 1972 ident: 10.1016/j.ijar.2021.06.017_br0260 – volume: 15 start-page: 41 issn: 0894-9840 issue: 1 year: 2002 ident: 10.1016/j.ijar.2021.06.017_br0380 article-title: A filtered version of the bipolar theorem of Brannath and Schachermayer publication-title: J. Theor. Probab. doi: 10.1023/A:1013885121598 – year: 2019 ident: 10.1016/j.ijar.2021.06.017_br0300 – volume: 19 start-page: 326 issue: 3 year: 1948 ident: 10.1016/j.ijar.2021.06.017_br0410 article-title: Optimum character of the sequential probability ratio test publication-title: Ann. Math. Stat. doi: 10.1214/aoms/1177730197 – volume: 17 start-page: 257 year: 2020 ident: 10.1016/j.ijar.2021.06.017_br0120 article-title: Time-uniform Chernoff bounds via nonnegative supermartingales publication-title: Probab. Surv. doi: 10.1214/18-PS321 – ident: 10.1016/j.ijar.2021.06.017_br0170 – volume: 58 start-page: 66 issue: 1 year: 1967 ident: 10.1016/j.ijar.2021.06.017_br0020 article-title: Confidence sequences for mean, variance, and median publication-title: Proc. Natl. Acad. Sci. doi: 10.1073/pnas.58.1.66 – volume: 59 start-page: 7168 issue: 11 year: 2013 ident: 10.1016/j.ijar.2021.06.017_br0180 article-title: Universal codes from switching strategies publication-title: IEEE Trans. Inf. Theory doi: 10.1109/TIT.2013.2273353 – volume: 41 start-page: 1397 issue: 5 year: 1970 ident: 10.1016/j.ijar.2021.06.017_br0230 article-title: Statistical methods related to the law of the iterated logarithm publication-title: Ann. Math. Stat. doi: 10.1214/aoms/1177696786 – year: 2021 ident: 10.1016/j.ijar.2021.06.017_br0350 article-title: Testing randomness online publication-title: Stat. Sci. doi: 10.1214/20-STS817 – ident: 10.1016/j.ijar.2021.06.017_br0370 – ident: 10.1016/j.ijar.2021.06.017_br0430 – volume: 41 start-page: 653 year: 1995 ident: 10.1016/j.ijar.2021.06.017_br0450 article-title: The context-tree weighting method: basic properties publication-title: IEEE Trans. Inf. Theory doi: 10.1109/18.382012 – ident: 10.1016/j.ijar.2021.06.017_br0010 – volume: 64 start-page: 528 issn: 0030-364X issue: 2 year: 2016 ident: 10.1016/j.ijar.2021.06.017_br0320 article-title: Rectangular sets of probability measures publication-title: Oper. Res. doi: 10.1287/opre.2015.1466 – year: 2017 ident: 10.1016/j.ijar.2021.06.017_br0070 |
| SSID | ssj0006748 |
| Score | 2.5693905 |
| Snippet | Suppose we observe an infinite series of coin flips X1,X2,…, and wish to sequentially test the null that these binary random variables are exchangeable.... |
| SourceID | crossref elsevier |
| SourceType | Enrichment Source Index Database Publisher |
| StartPage | 83 |
| SubjectTerms | Anytime-valid sequential inference Composite Snell envelope Game-theoretic probability Method of mixtures Optional stopping Universal coding |
| Title | Testing exchangeability: Fork-convexity, supermartingales and e-processes |
| URI | https://dx.doi.org/10.1016/j.ijar.2021.06.017 |
| Volume | 141 |
| WOSCitedRecordID | wos000829957300006&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1873-4731 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0006748 issn: 0888-613X databaseCode: AIEXJ dateStart: 20211209 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1La9wwEBbbTQ699JGkNH3hQ2-pgiWt11JvS0loQhtKk8LejCzLsJvUu-wj-Lf013ZGkr2PlpAUejHGWLbQjOchf_MNIe-tjTVXPKUllvhAgmKp7ElDudHS5MZARlC4ZhPpxYUcDtW3TudXUwtze5NWlaxrNf2vooZrIGwsnX2AuNuHwgU4B6HDEcQOx_sJHnkzIP-3tS_q9UTcjtjpdDK7pg5nXodmAPPlFE0zUgmgq_CEzZZOfflAwBeOV2j31ebhGuWE4yWvRxD7Yg8WPXc7vKsfSD8LXzQ20AW8tXUD35dlwAJrsPVtaP8FMu1QBeYpDlqXMEEIgcMETrAPxdHX4_UtC8h24w34R1tLswH1BHMnIZF13YHBM3lzLFNBe2nwE4299kxZweL6NjjBdzNHtfCnW_A7FOPj0VgjByxnjrPVF41u0W1f4jxwGhz_fCgZPyI7PE2U7JKdwdnJ8Lz189imxecoft6hJMujB7ff9PewZy2UuXpGnoQcJBp43XlOOrbaI0-b_h5RMPf75CyoUrSlSh-jTUX6EG2rUQRqFK2p0QH5cXpy9ekzDa03qBFxvKCm1BDJyV4pDHy6iRGp1nlitWCmYAWEeFwnTPRziXAAlYsSmSA1xvZGwcdvxQvSrSaVfUmifsEsK0SeGwnRYk8ro4QyXPULaznT8SFhzcpkJvDSY3uUm6wBII4zXM0MVzNDFCZLD8lRO2bqWVnuvDtpFjwLcaWPFzPQjzvGvfrHca_J45XWvyHdxWxp35Jdc7sYzWfvghr9BuNjoEs |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Testing+exchangeability%3A+Fork-convexity%2C+supermartingales+and+e-processes&rft.jtitle=International+journal+of+approximate+reasoning&rft.au=Ramdas%2C+Aaditya&rft.au=Ruf%2C+Johannes&rft.au=Larsson%2C+Martin&rft.au=Koolen%2C+Wouter+M.&rft.date=2022-02-01&rft.pub=Elsevier+Inc&rft.issn=0888-613X&rft.eissn=1873-4731&rft.volume=141&rft.spage=83&rft.epage=109&rft_id=info:doi/10.1016%2Fj.ijar.2021.06.017&rft.externalDocID=S0888613X21000980 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0888-613X&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0888-613X&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0888-613X&client=summon |