{"id":"https://openalex.org/W7203972353","doi":"https://doi.org/10.5281/zenodo.22063028","title":"One-Way Permutations and the Conditional Unprovability of Exact Semantic Carrier Separation in PV","display_name":"One-Way Permutations and the Conditional Unprovability of Exact Semantic Carrier Separation in PV","publication_year":2026,"publication_date":"2026-08-23","ids":{"openalex":"https://openalex.org/W7203972353","doi":"https://doi.org/10.5281/zenodo.22063028"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.22063028","doi":"https://doi.org/10.5281/zenodo.22063028","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063028","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.22063028","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044045109","display_name":"Karim Daghbouche","orcid":"https://orcid.org/0000-0002-4351-2861","observed_orcids":["https://orcid.org/0000-0002-4351-2861"]},"institutions":[{"id":"https://openalex.org/I4405263739","display_name":"GridSAT Stiftung","ror":"https://ror.org/05mn98c95","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I4405263739"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Daghbouche, Karim","raw_affiliation_strings":["GridSAT Stiftung"],"raw_orcid":"https://orcid.org/0000-0002-4351-2861","affiliations":[{"raw_affiliation_string":"GridSAT Stiftung","institution_ids":["https://openalex.org/I4405263739"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5044045109"],"corresponding_institution_ids":["https://openalex.org/I4405263739"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"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/T10237","display_name":"Cryptography and Data Security","score":0.5259000062942505,"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/T10237","display_name":"Cryptography and Data Security","score":0.5259000062942505,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.36570000648498535,"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/T10126","display_name":"Logic, programming, and type systems","score":0.019500000402331352,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/one-way-permutations","display_name":"one-way permutations","score":0.9940000176429749}],"concepts":[{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.6761000156402588},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6509000062942505},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.564300000667572},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5508000254631042},{"id":"https://openalex.org/C160471959","wikidata":"https://www.wikidata.org/wiki/Q17082552","display_name":"Mutual fund separation theorem","level":3,"score":0.42329999804496765},{"id":"https://openalex.org/C109271563","wikidata":"https://www.wikidata.org/wiki/Q7451830","display_name":"Separation property","level":5,"score":0.3898000121116638},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.37860000133514404},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.3781999945640564},{"id":"https://openalex.org/C2777530160","wikidata":"https://www.wikidata.org/wiki/Q41796","display_name":"Sentence","level":2,"score":0.35519999265670776},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.3330000042915344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3140999972820282},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.30959999561309814},{"id":"https://openalex.org/C90805587","wikidata":"https://www.wikidata.org/wiki/Q10944557","display_name":"Word (group theory)","level":2,"score":0.3052999973297119},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.3034999966621399},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.2962000072002411},{"id":"https://openalex.org/C84140500","wikidata":"https://www.wikidata.org/wiki/Q851512","display_name":"Permutation matrix","level":3,"score":0.28439998626708984},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C122890649","wikidata":"https://www.wikidata.org/wiki/Q7834016","display_name":"Transfer matrix","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C51329190","wikidata":"https://www.wikidata.org/wiki/Q1076349","display_name":"Ising model","level":2,"score":0.2574000060558319},{"id":"https://openalex.org/C43555835","wikidata":"https://www.wikidata.org/wiki/Q2300258","display_name":"Conditional probability distribution","level":2,"score":0.2524000108242035},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.2513999938964844},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.25130000710487366}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.22063028","doi":"https://doi.org/10.5281/zenodo.22063028","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063028","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.22063029","doi":"https://doi.org/10.5281/zenodo.22063029","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063029","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.22063028","doi":"https://doi.org/10.5281/zenodo.22063028","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22063028","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":2,"referenced_works":["https://openalex.org/W7204000955","https://openalex.org/W7204012386"],"related_works":["https://openalex.org/W2076039329","https://openalex.org/W2004881597","https://openalex.org/W7020550967","https://openalex.org/W2993955937","https://openalex.org/W1518875360","https://openalex.org/W3160840761","https://openalex.org/W2049198367","https://openalex.org/W7134995171","https://openalex.org/W2404265072","https://openalex.org/W2515317913"],"abstract_inverted_index":{"The":[0,175],"Exact":[1],"Semantic":[2],"Carrier":[3],"condition":[4],"EC1b":[5],"requires":[6],"a":[7,21,37,56,62,68,90,117,124,148,158],"distinguishing":[8],"admitted":[9,42,134],"query":[10,45],"whenever":[11],"two":[12],"carrier":[13,80],"codes":[14,46],"differ.":[15],"We":[16,88],"study":[17],"this":[18],"requirement":[19],"in":[20,84,169],"fixed":[22,109,118,171],"conservative":[23],"definitional":[24],"extension":[25],"of":[26,100,142],"Cook's":[27],"universal":[28,110,172],"theory":[29],"\\(\\mathbf{PV}\\).":[30],"A":[31],"width":[32],"\\(n\\)":[33],"is":[34,81,96,130,177,187],"represented":[35],"by":[36,49],"supplied":[38],"marker":[39],"\\(M=2^n\\),":[40],"so":[41],"state":[43],"and":[44,77,179],"are":[47],"bounded":[48,102],"the":[50,73,78,85,108,133,163,170],"\\(\\mathcal{L}_{\\mathbf{PV}}\\)-term":[51],"\\(M\\);":[52],"no":[53,181],"exponentiation":[54],"from":[55],"binary-coded":[57],"security":[58],"parameter":[59],"occurs.":[60],"For":[61],"uniformly":[63],"polynomial-time,":[64],"length-preserving":[65],"permutation":[66,160],"family,":[67],"named":[69],"evaluation":[70],"function":[71],"induces":[72],"preimage-membership":[74],"response":[75,185],"map,":[76],"identity":[79],"full-response":[82],"exact":[83],"standard":[86],"model.":[87],"give":[89],"normalized":[91,165],"separation":[92,166],"sentence":[93,167],"whose":[94,128],"matrix":[95],"open":[97],"after":[98],"expansion":[99],"its":[101],"existential.":[103],"Relative":[104],"Herbrand":[105],"witnessing":[106],"for":[107],"presentation":[111,173],"\\(\\mathbf{PV}_f\\)":[112],"yields":[113],"finitely":[114],"many":[115],"terms;":[116],"first-success":[119],"selector":[120],"combines":[121],"them":[122],"into":[123],"deterministic":[125],"\\(\\mathbf{FP}\\)":[126],"separator":[127,138],"output":[129],"provably":[131],"within":[132],"width.":[135],"Calling":[136],"that":[137],"on":[139],"both":[140],"orders":[141],"an":[143,190],"independent":[144],"challenge--comparison":[145],"pair":[146],"gives":[147],"probabilistic":[149],"inverter":[150],"with":[151],"success":[152],"probability":[153],"at":[154],"least":[155],"\\(1/2+2^{-n-1}\\).":[156],"Hence":[157],"one-way":[159],"family":[161],"makes":[162],"true":[164],"unprovable":[168],"\\(\\mathbf{PV}_f\\).":[174],"conclusion":[176],"conditional":[178],"construction-specific;":[180],"transfer":[182],"to":[183],"another":[184],"model":[186],"claimed":[188],"without":[189],"explicit":[191],"reduction.":[192]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-10-07T09:51:55.459714","created_date":"2026-08-23T00:00:00"}