{"id":"https://openalex.org/W4412452135","doi":"https://doi.org/10.46298/afm.13477","title":"Derandomization with Pseudorandomness","display_name":"Derandomization with Pseudorandomness","publication_year":2025,"publication_date":"2025-07-15","ids":{"openalex":"https://openalex.org/W4412452135","doi":"https://doi.org/10.46298/afm.13477"},"language":"en","primary_location":{"id":"doi:10.46298/afm.13477","is_oa":true,"landing_page_url":"https://doi.org/10.46298/afm.13477","pdf_url":"https://afm.episciences.org/15945/pdf","source":{"id":"https://openalex.org/S7407055943","display_name":"Annals of Formalized Mathematics","issn_l":"3117-4604","issn":["3117-4604"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Formalized Mathematics","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://afm.episciences.org/15945/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5095912741","display_name":"Emin Karayel","orcid":null},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Emin Karayel","raw_affiliation_strings":["Technical University of Munich , School of Computation , Information and Technology , Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich , School of Computation , Information and Technology , Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5095912741"],"corresponding_institution_ids":["https://openalex.org/I62916508"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17396401,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 1","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.373199999332428,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.373199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pseudorandomness","display_name":"Pseudorandomness","score":0.8619319200515747},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43029534816741943},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3482837677001953},{"id":"https://openalex.org/keywords/pseudorandom-number-generator","display_name":"Pseudorandom number generator","score":0.1875799000263214},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.14652305841445923}],"concepts":[{"id":"https://openalex.org/C19086982","wikidata":"https://www.wikidata.org/wiki/Q2115856","display_name":"Pseudorandomness","level":3,"score":0.8619319200515747},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43029534816741943},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3482837677001953},{"id":"https://openalex.org/C140642157","wikidata":"https://www.wikidata.org/wiki/Q1623338","display_name":"Pseudorandom number generator","level":2,"score":0.1875799000263214},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.14652305841445923}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.46298/afm.13477","is_oa":true,"landing_page_url":"https://doi.org/10.46298/afm.13477","pdf_url":"https://afm.episciences.org/15945/pdf","source":{"id":"https://openalex.org/S7407055943","display_name":"Annals of Formalized Mathematics","issn_l":"3117-4604","issn":["3117-4604"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Formalized Mathematics","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.46298/afm.13477","is_oa":true,"landing_page_url":"https://doi.org/10.46298/afm.13477","pdf_url":"https://afm.episciences.org/15945/pdf","source":{"id":"https://openalex.org/S7407055943","display_name":"Annals of Formalized Mathematics","issn_l":"3117-4604","issn":["3117-4604"],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Formalized Mathematics","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412452135.pdf","grobid_xml":"https://content.openalex.org/works/W4412452135.grobid-xml"},"referenced_works_count":76,"referenced_works":["https://openalex.org/W198177064","https://openalex.org/W342302233","https://openalex.org/W1569612250","https://openalex.org/W1592261758","https://openalex.org/W1631603072","https://openalex.org/W1835740177","https://openalex.org/W1973779036","https://openalex.org/W1985623009","https://openalex.org/W2005644627","https://openalex.org/W2007643787","https://openalex.org/W2018047324","https://openalex.org/W2025051251","https://openalex.org/W2026797659","https://openalex.org/W2031246048","https://openalex.org/W2040709138","https://openalex.org/W2044116584","https://openalex.org/W2048958388","https://openalex.org/W2069919161","https://openalex.org/W2080745194","https://openalex.org/W2095087473","https://openalex.org/W2106110343","https://openalex.org/W2111405401","https://openalex.org/W2132890668","https://openalex.org/W2137149976","https://openalex.org/W2139964991","https://openalex.org/W2150795250","https://openalex.org/W2154231274","https://openalex.org/W2256286306","https://openalex.org/W2293070524","https://openalex.org/W2399133307","https://openalex.org/W2405825422","https://openalex.org/W2484880499","https://openalex.org/W2490124688","https://openalex.org/W2494065672","https://openalex.org/W2503198908","https://openalex.org/W2543198443","https://openalex.org/W2553301976","https://openalex.org/W2562825158","https://openalex.org/W2584017554","https://openalex.org/W2604226932","https://openalex.org/W2612111289","https://openalex.org/W2774678809","https://openalex.org/W2776009846","https://openalex.org/W2807469900","https://openalex.org/W2900190845","https://openalex.org/W2934534750","https://openalex.org/W2950821440","https://openalex.org/W2951586102","https://openalex.org/W2981188613","https://openalex.org/W2987877727","https://openalex.org/W2993415324","https://openalex.org/W3004733293","https://openalex.org/W3039200488","https://openalex.org/W3167599539","https://openalex.org/W3177469998","https://openalex.org/W3215996134","https://openalex.org/W4205550388","https://openalex.org/W4230962939","https://openalex.org/W4231852886","https://openalex.org/W4232276257","https://openalex.org/W4234528212","https://openalex.org/W4235946010","https://openalex.org/W4254355229","https://openalex.org/W4300991981","https://openalex.org/W4317401272","https://openalex.org/W4320702628","https://openalex.org/W4375869809","https://openalex.org/W4382318036","https://openalex.org/W4383180398","https://openalex.org/W4384471238","https://openalex.org/W4400973336","https://openalex.org/W4406027970","https://openalex.org/W4412231149","https://openalex.org/W6676123022","https://openalex.org/W6929202999","https://openalex.org/W6948137316"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1998608784","https://openalex.org/W2408373662","https://openalex.org/W2143898630","https://openalex.org/W2951129724","https://openalex.org/W4297454411","https://openalex.org/W2176553175","https://openalex.org/W1548021824"],"abstract_inverted_index":{"Derandomization":[0],"techniques":[1,108],"are":[2,20],"often":[3],"used":[4,88],"within":[5],"advanced":[6,74],"randomized":[7,75],"algorithms.":[8,76],"In":[9],"particular,":[10],"pseudorandom":[11,48],"objects,":[12],"such":[13,24,36],"as":[14],"hash":[15],"families":[16],"and":[17,41,45,69],"expander":[18],"graphs,":[19],"key":[21],"components":[22],"of":[23,73,80,105],"algorithms,":[25],"but":[26],"their":[27],"verification":[28,72],"presents":[29,46,61],"a":[30,47],"challenge.":[31],"This":[32],"work":[33],"shows":[34],"how":[35,65],"algorithms":[37],"can":[38],"be":[39],"expressed":[40],"verified":[42],"in":[43],"Isabelle":[44],"objects":[49],"library":[50,67],"that":[51,63,84],"abstracts":[52],"away":[53],"the":[54,66,71,78,91,103],"deep":[55],"algebraic/analytic":[56],"results":[57],"involved.":[58],"Moreover,":[59],"it":[60,85],"examples":[62],"show":[64],"eases":[68],"enables":[70],"Highlighting":[77],"value":[79],"this":[81],"framework":[82],"is":[83],"was":[86],"recently":[87],"to":[89,109],"verify":[90],"space-optimal":[92],"distinct":[93],"elements":[94],"algorithm":[95],"by":[96],"Blasiok":[97],"from":[98],"2018,":[99],"which":[100],"relies":[101],"on":[102],"combination":[104],"many":[106],"derandomization":[107],"achieve":[110],"its":[111],"optimality.":[112]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}