{"id":"https://openalex.org/W7204873947","doi":"https://doi.org/10.48550/arxiv.2608.28813","title":"Unconditional $V^0_1$-independence of a certified hitting-set principle","display_name":"Unconditional $V^0_1$-independence of a certified hitting-set principle","publication_year":2026,"publication_date":"2026-08-28","ids":{"openalex":"https://openalex.org/W7204873947","doi":"https://doi.org/10.48550/arxiv.2608.28813"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2608.28813","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28813","pdf_url":"https://arxiv.org/pdf/2608.28813","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","is_traditional":true,"indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.28813","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085037377","display_name":"Martin Kol\u00e1\u0159","orcid":"https://orcid.org/0000-0003-4514-5636","observed_orcids":["https://orcid.org/0000-0003-4514-5636"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kol\u00e1\u0159, Martin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5085037377"],"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.7523999810218811,"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.7523999810218811,"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.10559999942779541,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.0357000008225441,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/independence-results","display_name":"independence results","score":0.6850000023841858},{"id":"https://openalex.org/keywords/certified-computation","display_name":"certified computation","score":0.4830000102519989},{"id":"https://openalex.org/keywords/bounded-arithmetic","display_name":"bounded arithmetic","score":0.7379999756813049},{"id":"https://openalex.org/keywords/reverse-mathematics","display_name":"reverse mathematics","score":0.621999979019165},{"id":"https://openalex.org/keywords/derandomization","display_name":"derandomization","score":0.8740000128746033}],"concepts":[{"id":"https://openalex.org/C171988527","wikidata":"https://www.wikidata.org/wiki/Q188276","display_name":"Pigeonhole principle","level":2,"score":0.8431000113487244},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6015999913215637},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5436999797821045},{"id":"https://openalex.org/C2776175482","wikidata":"https://www.wikidata.org/wiki/Q1195816","display_name":"Transfer (computing)","level":2,"score":0.460999995470047},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.45080000162124634},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.446399986743927},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.41909998655319214},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.414900004863739},{"id":"https://openalex.org/C2780980858","wikidata":"https://www.wikidata.org/wiki/Q110022","display_name":"Dual (grammatical number)","level":2,"score":0.414000004529953},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.39980000257492065},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.3944000005722046},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3659000098705292},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.3571000099182129},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.33880001306533813},{"id":"https://openalex.org/C180016635","wikidata":"https://www.wikidata.org/wiki/Q2712821","display_name":"Compression (physics)","level":2,"score":0.30300000309944153},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.27469998598098755},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.2630000114440918},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2596000134944916},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.2572000026702881}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.28813","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28813","pdf_url":"https://arxiv.org/pdf/2608.28813","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.2608.28813","doi":"https://doi.org/10.48550/arxiv.2608.28813","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.28813","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":"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":"pmh:oai:arXiv.org:2608.28813","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.28813","pdf_url":"https://arxiv.org/pdf/2608.28813","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":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204873947.pdf","grobid_xml":"https://content.openalex.org/works/W7204873947.grobid-xml"},"referenced_works_count":3,"referenced_works":["https://openalex.org/W3019062846","https://openalex.org/W3165959018","https://openalex.org/W4411319935"],"related_works":["https://openalex.org/W2185541742","https://openalex.org/W6995858497","https://openalex.org/W2116335551","https://openalex.org/W2593125389","https://openalex.org/W3198408569","https://openalex.org/W27636909","https://openalex.org/W6891854472","https://openalex.org/W1996835746","https://openalex.org/W2115500515","https://openalex.org/W4417092764"],"abstract_inverted_index":{"We":[0],"show":[1],"that":[2,59,89],"a":[3,56,70,112,135],"certified":[4,46,122],"formalization":[5],"of":[6,10,21,25,30,63,73,88,94,103,159],"the":[7,16,26,44,64,80,85,91,100,104,108,130,140,147,150,155],"hitting-set-existence":[8],"axiom":[9],"Atserias":[11],"and":[12,107,143,154],"Tzameret,":[13],"instantiated":[14],"on":[15],"parity-based":[17],"Nisan-Wigderson":[18,105,152],"compression":[19,109],"class":[20],"Khaniki,":[22],"is":[23,53,69,97,118],"independent":[24],"two-sorted":[27],"theory":[28],"$V^0_1$":[29,33],"$\\mathrm{AC}^0$-reasoning,":[31],"unconditionally:":[32],"proves":[34],"neither":[35],"it":[36,144],"nor":[37],"its":[38,95,121],"negation.":[39],"The":[40,67],"same":[41],"holds":[42],"for":[43,134],"corresponding":[45],"dual":[47,81],"weak":[48,82],"pigeonhole":[49,83],"principle,":[50],"whose":[51],"refutation":[52],"witnessed":[54],"by":[55,120],"single":[57],"seed":[58],"certified-computes":[60],"every":[61],"string":[62],"model":[65],"simultaneously.":[66],"mechanism":[68],"bounded-arithmetic":[71],"transfer":[72],"Atserias-Tzameret's":[74],"reduction":[75],"from":[76],"hitting":[77,160],"sets":[78],"to":[79,127],"principle:":[84],"amplification":[86],"half":[87,110],"reduction,":[90],"sole":[92],"source":[93],"NP-oracle,":[96],"unnecessary":[98],"at":[99,139],"native":[101],"stretch":[102],"map,":[106],"becomes":[111],"$V^0_1$-provable":[113],"implication":[114],"once":[115],"circuit":[116],"evaluation":[117],"replaced":[119],"$\u03a3^B_0$":[123],"unfolding.":[124],"This":[125],"is,":[126],"our":[128],"knowledge,":[129],"first":[131],"independence":[132],"result":[133],"derandomization-flavoured":[136],"existence":[137],"principle":[138],"$\\mathrm{AC}^0$-reasoning":[141],"level,":[142],"makes":[145],"explicit":[146],"bridge":[148],"between":[149],"Khaniki":[151],"line":[153],"Atserias-Tzameret":[156],"reverse":[157],"mathematics":[158],"sets.":[161]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-02T00:00:00"}