{"id":"https://openalex.org/W7225779487","doi":"https://doi.org/10.5281/zenodo.24125388","title":"A filtration bound for the erasure entropies of Boolean functions","display_name":"A filtration bound for the erasure entropies of Boolean functions","publication_year":2026,"publication_date":"2026-11-11","ids":{"openalex":"https://openalex.org/W7225779487","doi":"https://doi.org/10.5281/zenodo.24125388"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24125388","doi":"https://doi.org/10.5281/zenodo.24125388","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24125388","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.24125388","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041315596","display_name":"Yitzchak Shmalo","orcid":"https://orcid.org/0000-0002-2886-3049","observed_orcids":["https://orcid.org/0000-0002-2886-3049"]},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shmalo, Yitzchak","raw_affiliation_strings":["Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Einstein Institute of Mathematics, The Hebrew University of Jerusalem, Jerusalem, Israel","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041315596"],"corresponding_institution_ids":["https://openalex.org/I197251160"],"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.2581000030040741,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.2581000030040741,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11329","display_name":"Limits and Structures in Graph Theory","score":0.22439999878406525,"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"}},{"id":"https://openalex.org/T11130","display_name":"Coding theory and cryptography","score":0.10010000318288803,"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":[],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8460999727249146},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.5396000146865845},{"id":"https://openalex.org/C2778790127","wikidata":"https://www.wikidata.org/wiki/Q484885","display_name":"Erasure","level":2,"score":0.4959999918937683},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.4794999957084656},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4781000018119812},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.47209998965263367},{"id":"https://openalex.org/C102519508","wikidata":"https://www.wikidata.org/wiki/Q6520159","display_name":"Fourier transform","level":2,"score":0.4551999866962433},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.43779999017715454},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4120999872684479},{"id":"https://openalex.org/C44415725","wikidata":"https://www.wikidata.org/wiki/Q4913893","display_name":"Binary entropy function","level":3,"score":0.40549999475479126},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.39259999990463257},{"id":"https://openalex.org/C60507348","wikidata":"https://www.wikidata.org/wiki/Q6795892","display_name":"Maximum entropy probability distribution","level":3,"score":0.38019999861717224},{"id":"https://openalex.org/C101721835","wikidata":"https://www.wikidata.org/wiki/Q813908","display_name":"Conditional entropy","level":3,"score":0.37459999322891235},{"id":"https://openalex.org/C42047476","wikidata":"https://www.wikidata.org/wiki/Q6269544","display_name":"Joint quantum entropy","level":3,"score":0.34220001101493835},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.3319999873638153},{"id":"https://openalex.org/C43555835","wikidata":"https://www.wikidata.org/wiki/Q2300258","display_name":"Conditional probability distribution","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C171752962","wikidata":"https://www.wikidata.org/wiki/Q255166","display_name":"Kullback\u2013Leibler divergence","level":2,"score":0.3041999936103821},{"id":"https://openalex.org/C124551494","wikidata":"https://www.wikidata.org/wiki/Q3055345","display_name":"Differential entropy","level":4,"score":0.2939999997615814},{"id":"https://openalex.org/C151376022","wikidata":"https://www.wikidata.org/wiki/Q168698","display_name":"Exponential function","level":2,"score":0.2865999937057495},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.27219998836517334},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.2628999948501587},{"id":"https://openalex.org/C110121322","wikidata":"https://www.wikidata.org/wiki/Q865811","display_name":"Distribution (mathematics)","level":2,"score":0.26249998807907104},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.2590999901294708},{"id":"https://openalex.org/C9679016","wikidata":"https://www.wikidata.org/wiki/Q1417473","display_name":"Principle of maximum entropy","level":2,"score":0.2578999996185303},{"id":"https://openalex.org/C197055811","wikidata":"https://www.wikidata.org/wiki/Q207522","display_name":"Probability density function","level":2,"score":0.25760000944137573},{"id":"https://openalex.org/C80551277","wikidata":"https://www.wikidata.org/wiki/Q11210","display_name":"Coordinate system","level":2,"score":0.25099998712539673},{"id":"https://openalex.org/C72396439","wikidata":"https://www.wikidata.org/wiki/Q16000505","display_name":"Symmetric probability distribution","level":3,"score":0.25060001015663147},{"id":"https://openalex.org/C196083917","wikidata":"https://www.wikidata.org/wiki/Q17103874","display_name":"Min entropy","level":5,"score":0.25060001015663147}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.5281/zenodo.24125388","doi":"https://doi.org/10.5281/zenodo.24125388","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24125388","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.24125389","doi":"https://doi.org/10.5281/zenodo.24125389","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24125389","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.24126499","doi":"https://doi.org/10.5281/zenodo.24126499","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24126499","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.24126603","doi":"https://doi.org/10.5281/zenodo.24126603","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24126603","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.24144344","doi":"https://doi.org/10.5281/zenodo.24144344","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24144344","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.24125388","doi":"https://doi.org/10.5281/zenodo.24125388","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24125388","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":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"For":[0],"a":[1,6,53,70,95,101,133,184,203,214],"Boolean":[2],"function":[3],"$f$":[4,51],"and":[5,72,114,119,125,152,181],"coordinate":[7,54,79,185],"$i$,":[8],"the":[9,14,18,29,41,65,76,81,91,98,105,109,120,142,144,154,162,208],"erasure":[10],"entropy":[11,16,103,122],"$E_i(f)$":[12],"is":[13,26,38,94,148,168],"conditional":[15],"of":[17,43,100,104,108,112,123,165,193,217],"event":[19],"$i\\in":[20],"U$":[21],"given":[22],"$U\\setminus\\{i\\}$,":[23],"where":[24],"$U$":[25],"drawn":[27],"from":[28,61],"spectral":[30,82],"distribution":[31],"$\\hat":[32],"f^2$.":[33],"The":[34,85],"Fourier":[35],"entropy-influence":[36],"conjecture":[37],"equivalent":[39],"to":[40],"existence":[42],"an":[44,173],"absolute":[45],"$c$":[46],"such":[47],"that":[48,80,138,146,183,219],"every":[49],"non-constant":[50],"has":[52,200],"with":[55,197],"$E_i(f)\\le":[56],"c\\,\\mathrm{Inf}_i(f)$.":[57],"We":[58,136,170],"bound":[59],"$E_i$":[60,118,177,221],"above":[62],"by":[63,132],"revealing":[64],"other":[66],"coordinates":[67,158,212],"one":[68,191],"at":[69,222],"time":[71],"conditioning":[73],"only":[74,189],"on":[75,90,207],"last":[77,209],"revealed":[78,157,211],"sample":[83],"contains.":[84],"resulting":[86],"quantity":[87],"$L^\\pi_i$":[88],"depends":[89],"order":[92],"$\\pi$,":[93],"sum,":[96],"over":[97,129],"steps,":[99],"two-variable":[102],"squared":[106],"increments":[107],"Doob":[110],"martingales":[111],"$E_if$":[113],"$D_if$,":[115],"lies":[116],"between":[117],"binary":[121],"$\\mathrm{Inf}_i$,":[124],"can":[126],"be":[127],"minimised":[128],"all":[130],"orders":[131],"shortest-path":[134],"recursion.":[135],"show":[137,182],"$L^\\pi_i=O(\\mathrm{Inf}_i)$":[139],"whenever,":[140],"along":[141],"order,":[143],"probability":[145,198],"$i$":[147],"pivotal":[149,196],"both":[150],"before":[151],"after":[153],"not":[155],"yet":[156],"are":[159],"resampled,":[160],"times":[161],"block":[163,179],"influence":[164],"those":[166],"coordinates,":[167],"$O(\\mathrm{Inf}_i^2)$.":[169],"also":[171],"give":[172],"exact":[174],"formula":[175],"for":[176,202],"under":[178],"composition,":[180],"whose":[186],"variable":[187],"enters":[188],"through":[190],"AND":[192],"$k+1$":[194],"variables,":[195],"$\\rho$,":[199],"$L^\\pi_i/\\mathrm{Inf}_i\\le2+2^{-k}(2k+\\log_2(1/\\rho))$":[201],"suitable":[204],"order.":[205],"Conditioning":[206],"$r$":[210],"gives":[213],"decreasing":[215],"family":[216],"bounds":[218],"reaches":[220],"$r=n-1$.":[223]},"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2026-11-12T00:00:00"}