{"id":"https://openalex.org/W7213232811","doi":"https://doi.org/10.48550/arxiv.2609.13351","title":"A New Upper Bound on the Binary Deletion Channel Capacity","display_name":"A New Upper Bound on the Binary Deletion Channel Capacity","publication_year":2026,"publication_date":"2026-09-11","ids":{"openalex":"https://openalex.org/W7213232811","doi":"https://doi.org/10.48550/arxiv.2609.13351"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.13351","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.13351","pdf_url":"https://arxiv.org/pdf/2609.13351","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"volume":null,"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2609.13351","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5151804423","display_name":"\u00d6zg\u00fcr Soysal","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Soysal, \u00d6zg\u00fcr","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5151804423"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"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/T11321","display_name":"Error Correcting Code Techniques","score":0.9643999934196472,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11321","display_name":"Error Correcting Code Techniques","score":0.9643999934196472,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T11269","display_name":"Algorithms and Data Compression","score":0.022099999710917473,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11130","display_name":"Coding theory and cryptography","score":0.005499999970197678,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/channel-capacity","display_name":"channel capacity","score":0.9089999794960022},{"id":"https://openalex.org/keywords/upper-bounds","display_name":"upper bounds","score":0.6190000176429749},{"id":"https://openalex.org/keywords/description-length","display_name":"description length","score":0.625},{"id":"https://openalex.org/keywords/kullback-leibler-divergence","display_name":"Kullback-Leibler divergence","score":0.7009999752044678},{"id":"https://openalex.org/keywords/mutual-information","display_name":"mutual information","score":0.8859999775886536},{"id":"https://openalex.org/keywords/decoding-errors","display_name":"decoding errors","score":0.8989999890327454},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.5830000042915344},{"id":"https://openalex.org/keywords/lean-theorem-prover","display_name":"Lean theorem prover","score":0.7749999761581421}],"concepts":[{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.7767000198364258},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7688000202178955},{"id":"https://openalex.org/C57273362","wikidata":"https://www.wikidata.org/wiki/Q576722","display_name":"Decoding methods","level":2,"score":0.5683000087738037},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.550599992275238},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5421000123023987},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5281000137329102},{"id":"https://openalex.org/C173988684","wikidata":"https://www.wikidata.org/wiki/Q863510","display_name":"Binary symmetric channel","level":4,"score":0.5131000280380249},{"id":"https://openalex.org/C106301342","wikidata":"https://www.wikidata.org/wiki/Q4117933","display_name":"Entropy (arrow of time)","level":2,"score":0.4681999981403351},{"id":"https://openalex.org/C52622258","wikidata":"https://www.wikidata.org/wiki/Q131222","display_name":"Information theory","level":2,"score":0.4675000011920929},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4438999891281128},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.3928000032901764},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.3772999942302704},{"id":"https://openalex.org/C97744766","wikidata":"https://www.wikidata.org/wiki/Q870845","display_name":"Channel capacity","level":3,"score":0.37119999527931213},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3662000000476837},{"id":"https://openalex.org/C149862233","wikidata":"https://www.wikidata.org/wiki/Q864142","display_name":"Binary erasure channel","level":4,"score":0.34459999203681946},{"id":"https://openalex.org/C92224547","wikidata":"https://www.wikidata.org/wiki/Q1673216","display_name":"Probability of error","level":2,"score":0.3375000059604645},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.29019999504089355},{"id":"https://openalex.org/C44415725","wikidata":"https://www.wikidata.org/wiki/Q4913893","display_name":"Binary entropy function","level":3,"score":0.2890999913215637},{"id":"https://openalex.org/C152139883","wikidata":"https://www.wikidata.org/wiki/Q252973","display_name":"Mutual information","level":2,"score":0.266400009393692},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.26440000534057617},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.25600001215934753},{"id":"https://openalex.org/C171752962","wikidata":"https://www.wikidata.org/wiki/Q255166","display_name":"Kullback\u2013Leibler divergence","level":2,"score":0.2538999915122986}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.13351","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.13351","pdf_url":"https://arxiv.org/pdf/2609.13351","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.13351","doi":"https://doi.org/10.48550/arxiv.2609.13351","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.13351","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"public-domain","license_id":"https://openalex.org/licenses/public-domain","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.13351","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.13351","pdf_url":"https://arxiv.org/pdf/2609.13351","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7213232811.pdf","grobid_xml":"https://content.openalex.org/works/W7213232811.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W7213603319","https://openalex.org/W3136353702","https://openalex.org/W7100485316","https://openalex.org/W2129927675","https://openalex.org/W2119486537","https://openalex.org/W2121189333","https://openalex.org/W2140129757","https://openalex.org/W2952622979","https://openalex.org/W3098382325","https://openalex.org/W7214040541"],"abstract_inverted_index":{"We":[0,35,94],"prove":[1],"that":[2],"the":[3,6,20,37,72,85,120],"capacity":[4],"of":[5,68],"binary":[7],"deletion":[8,92],"channel":[9],"satisfies":[10],"$C(d)\\le":[11],"(1-d)/4$":[12],"for":[13,78],"every":[14,79],"$13/20\\le":[15],"d<1$.":[16],"The":[17,110],"proof":[18,121],"describes":[19],"output":[21,44],"from":[22,87],"right":[23],"to":[24,30,58,89,125],"left,":[25],"using":[26,115],"a":[27,32,76],"six-bit":[28],"context":[29],"assign":[31],"description":[33,41],"length.":[34],"bound":[36,57,77],"increase":[38],"in":[39,127],"expected":[40],"length":[42,69],"minus":[43],"entropy":[45],"when":[46],"one":[47],"input":[48,66,80],"bit":[49],"is":[50,113,122],"added.":[51],"A":[52,63],"relative-entropy":[53],"identity":[54],"reduces":[55],"this":[56],"finitely":[59],"many":[60],"linear":[61],"inequalities.":[62],"potential":[64],"on":[65,99],"windows":[67],"26":[70],"makes":[71],"inequalities":[73],"telescope,":[74],"giving":[75],"word.":[81],"Deletion":[82],"composition":[83],"extends":[84],"result":[86],"$d=13/20$":[88],"all":[90],"larger":[91],"probabilities.":[93],"also":[95],"obtain":[96],"finite-block":[97],"bounds":[98],"mutual":[100],"information":[101],"and":[102,119],"decoding":[103],"error,":[104],"with":[105],"explicit":[106],"$O(\\log":[107],"n/n)$":[108],"corrections.":[109],"finite":[111],"certificate":[112],"checked":[114],"exact":[116],"integer":[117],"arithmetic,":[118],"formalized":[123],"end":[124,126],"Lean.":[128]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-09-16T00:00:00"}