{"id":"https://openalex.org/W7225575326","doi":"https://doi.org/10.5281/zenodo.24045786","title":"Decaimento Combinat\u00f3rio de D\u00edgitos de Unidade e de Dezena em Loterias: Distribui\u00e7\u00e3o Exata por Invers\u00e3o de M\u00f6bius, Janelas de Ciclo, Auditoria i.i.d. com Calibra\u00e7\u00e3o por Monte Carlo e Montagem Verificada de Cartelas.","display_name":"Decaimento Combinat\u00f3rio de D\u00edgitos de Unidade e de Dezena em Loterias: Distribui\u00e7\u00e3o Exata por Invers\u00e3o de M\u00f6bius, Janelas de Ciclo, Auditoria i.i.d. com Calibra\u00e7\u00e3o por Monte Carlo e Montagem Verificada de Cartelas.","publication_year":2026,"publication_date":"2026-11-08","ids":{"openalex":"https://openalex.org/W7225575326","doi":"https://doi.org/10.5281/zenodo.24045786"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24045786","doi":"https://doi.org/10.5281/zenodo.24045786","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24045786","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24045786","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5139555600","display_name":"Paulo Henrique Gomes Ferreira","orcid":"https://orcid.org/0009-0001-5687-3922","observed_orcids":["https://orcid.org/0009-0001-5687-3922"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Gomes Ferreira, Paulo Henrique","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0001-5687-3922","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5139555600"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13500","display_name":"Probability and Statistical Research","score":0.9375,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13500","display_name":"Probability and Statistical Research","score":0.9375,"subfield":{"id":"https://openalex.org/subfields/2613","display_name":"Statistics and Probability"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.026399999856948853,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.01140000019222498,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/exact-distribution","display_name":"exact distribution","score":0.5559999942779541},{"id":"https://openalex.org/keywords/mobius-inversion-formula","display_name":"M\u00f6bius inversion","score":0.9710000157356262},{"id":"https://openalex.org/keywords/inclusion-exclusion-principle","display_name":"inclusion-exclusion","score":0.8840000033378601},{"id":"https://openalex.org/keywords/coupon-collector-s-problem","display_name":"coupon collector problem","score":0.7929999828338623},{"id":"https://openalex.org/keywords/cycle-time","display_name":"cycle time","score":0.4350000023841858},{"id":"https://openalex.org/keywords/monte-carlo-calibration","display_name":"Monte Carlo calibration","score":0.6679999828338623},{"id":"https://openalex.org/keywords/lottery-tickets","display_name":"lottery tickets","score":0.5009999871253967},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.3409999907016754},{"id":"https://openalex.org/keywords/boolean-lattice","display_name":"Boolean lattice","score":0.36399999260902405},{"id":"https://openalex.org/keywords/expected-number-of-trials","display_name":"expected number of trials","score":0.34200000762939453}],"concepts":[{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3971000015735626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38260000944137573},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.359499990940094},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.32670000195503235},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.3050999939441681},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.26510000228881836},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.24699999392032623},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.23330000042915344},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.22460000216960907},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.22130000591278076}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24045786","doi":"https://doi.org/10.5281/zenodo.24045786","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24045786","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24045787","doi":"https://doi.org/10.5281/zenodo.24045787","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24045787","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24045786","doi":"https://doi.org/10.5281/zenodo.24045786","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24045786","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7167226030","https://openalex.org/W7167342828","https://openalex.org/W7171844893","https://openalex.org/W206224485","https://openalex.org/W6996503706","https://openalex.org/W7172491383","https://openalex.org/W7169722913","https://openalex.org/W7168017149","https://openalex.org/W2092708548","https://openalex.org/W6992287086"],"abstract_inverted_index":{"Apresentamos":[0],"o":[1,99,144,194,221,256,268,275,278,305,315,362,393,396,415],"SubSet":[2],"Digit":[3],",":[4],"aplica\u00e7\u00e3o":[5],"autocontida":[6],"em":[7,152,443],"HTML/JavaScript":[8],"(v2.7.1)":[9],"que":[10,143,177,193,276,408],"descreve,":[11],"com":[12,79,131,149,173,267,354],"matem\u00e1tica":[13],"exata,":[14],"como":[15],"os":[16,51,189,207],"d\u00edgitos":[17,42,77,112,147,160,431],"de":[18,40,96,104,111,126,128,146,161,167,196,204,213,217,224,236,244,258,260,263,273,292,298,317,327,329,344,349,356,365,370,398,403,410,430],"unidade":[19,162],"(n":[20],"mod":[21],"10)":[22],"ou":[23,428],"dezena":[24,62],"([n/10])":[25],"dos":[26,33,75,301,391],"n\u00fameros":[27],"sorteados":[28],"ser\u00e3o":[29],"cobertos":[30],"ao":[31,72],"longo":[32],"concursos.":[34],"Um":[35],"subconjunto":[36],"\u00e9":[37,67,154,270,377,417],"um":[38],"conjunto":[39,110],"k":[41,46,139,227],"diferentes":[43,163],"(1":[44,289],"\u2264":[45,47,53,81,83],"8),":[48],"escolhido":[49],"entre":[50,341],"c":[52],"10":[54],"valores":[55],"poss\u00edveis":[56],"(0\u20139":[57],"na":[58,61],"unidade;":[59],"0\u20135":[60],"da":[63],"Mega-Sena,":[64],"etc.),":[65],"e":[66,192,240,285,321,361,395,406,422,435],"coberto":[68],"num":[69,114],"sorteio":[70,115,212],"quando":[71,188],"menos":[73],"m":[74,82,137],"seus":[76],"aparecem,":[78],"1":[80,229],"min(k,":[84],"d).":[85],"O":[86],"trabalho":[87],"tem":[88],"seis":[89,159],"contribui\u00e7\u00f5es":[90],"formais.":[91],"(i)":[92],"Deduzimos,":[93],"por":[94,134,206,287,333,358],"invers\u00e3o":[95],"M\u00f6bius":[97],"sobre":[98],"reticulado":[100],"booleano":[101],"das":[102],"classes":[103],"d\u00edgitos,":[105,330],"a":[106,122,186,200,234,242,253,296,311,382,384,400,436],"distribui\u00e7\u00e3o":[107],"exata":[108,124,166],"do":[109,171,202,281,307,324,338,387,438],"presentes":[113],"sem":[116],"reposi\u00e7\u00e3o":[117],"(Proposi\u00e7\u00e3o":[118,230,247,283,335,346],"3.1)":[119],"e,":[120],"dela,":[121],"probabilidade":[123,165],"pK":[125,190],"cobertura":[127,350,369],"cada":[129],"sub-conjunto,":[130],"forma":[132,404],"fechada":[133],"inclus\u00e3o\u2013exclus\u00e3o":[135],"para":[136,226,304,310],"=":[138,179,228,374],"(Corol\u00e1rio":[140],"3.2);":[141],"mostramos":[142],"modelo":[145,172],"independentes":[148],"reposi\u00e7\u00e3o,":[150],"usado":[151],"planilhas,":[153],"sistematicamente":[155],"impreciso":[156],"(por":[157],"exemplo,":[158],"t\u00eam":[164],"19,5705%,":[168],"contra":[169,314],"15,12%":[170],"reposi\u00e7\u00e3o).":[174],"(ii)":[175],"Provamos":[176,250],"E[A(t)]":[178],"\u2211":[180],"K(1":[181],"\u2212":[182],"pK)^t":[183],"exatamente,":[184],"flex\u00edveis-se":[185],"A0e^\u2212\u03bbt":[187],"coincidem,":[191],"tempo":[195],"ciclo":[197],"n\u00e3o":[198,440],"segue":[199],"f\u00f3rmula":[201],"colecionador":[203],"cupons,":[205],"cupons":[208],"serem":[209],"conjuntos":[210,343],"(um":[211],"cobre":[214],"v\u00e1rios":[215],"subconjuntos":[216],"uma":[218,271,418],"vez);":[219],"obtemos":[220],"valor":[222],"exato":[223,332],"E[T]":[225],"3.8).":[231],"(iii)":[232],"Formalizamos":[233],"matriz":[235],"janelas":[237],"As(t)":[238],"(O(nA0))":[239],"provamos":[241,322],"estacionariedade":[243],"sua":[245],"esperan\u00e7a":[246],"4.2).":[248],"(iv)":[249],"que,":[251],"sob":[252],"hip\u00f3tese":[254],"iid,":[255,313],"excesso":[257],"acertos":[259],"qualquer":[261],"regra":[262],"sele\u00e7\u00e3o":[264],"constru\u00edda":[265],"apenas":[266],"passado":[269],"diferen\u00e7a":[272],"martingale,":[274],"fundamenta":[277],"teste":[279],"walk-forward":[280,306],"software":[282,416],"5.4),":[284],"calibramos":[286],"simula\u00e7\u00e3o":[288],"000":[290,294],"hist\u00f3ricos":[291],"2":[293],"sorteios)":[295],"taxa":[297],"falso":[299],"positivo":[300],"testes:":[302],"5,0%":[303],"ranking,":[308,426],"3,7%\u20135,8%":[309],"auditoria":[312],"nominal":[316],"5%.":[318],"(v)":[319],"Descrevemos":[320],"propriedades":[323],"Montador:":[325],"enumera\u00e7\u00e3o":[326],"multiconjuntos":[328],"perfil":[331],"grau":[334],"7.2),":[336],"invari\u00e2ncia":[337],"retorno":[339],"esperado":[340],"quaisquer":[342],"cartelas":[345],"7.3),":[347],"gerador":[348],"\u201ct":[351],"se":[352],"s\u201d":[353],"restri\u00e7\u00e3o":[355],"estrutura":[357],"multiconjunto":[359],"(v2.7)":[360],"c\u00f3digo":[363],"tern\u00e1rio":[364],"73":[366],"padr\u00f5es,":[367],"cuja":[368],"todas":[371],"as":[372],"3^6":[373],"729":[375],"palavras":[376],"verificada":[378],"exaustivamente.":[379],"(vi)":[380],"Documentamos":[381],"arquitetura,":[383],"reprodutibilidade":[385],"(SHA-256":[386],"arquivo,":[388],"semente,":[389],"retrato":[390],"par\u00e2metros),":[392],"autoteste":[394],"hist\u00f3rico":[397],"2.0":[399],"2.7.1.":[401],"Enfatizamos,":[402],"expl\u00edcita":[405],"reiterada,":[407],"sorteios":[409],"loteria":[411],"s\u00e3o":[412],"processos":[413],"iid:":[414],"ferramenta":[419],"descritiva,":[420],"diagn\u00f3stica":[421],"educacional;":[423],"nenhuma":[424,444],"pontua\u00e7\u00e3o,":[425],"fechamento":[427],"sugest\u00e3o":[429],"conferem":[432],"vantagem":[433],"preditiva,":[434],"fal\u00e1cia":[437],"apostador":[439],"encontra":[441],"amparo":[442],"formula\u00e7\u00e3o":[445],"aqui":[446],"apresentada.":[447]},"counts_by_year":[],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2026-11-09T00:00:00"}