{"id":"https://openalex.org/W7221150106","doi":"https://doi.org/10.48550/arxiv.2610.12211","title":"Verification with Transfer: Exact Information Frontiers and Their Price in Calls","display_name":"Verification with Transfer: Exact Information Frontiers and Their Price in Calls","publication_year":2026,"publication_date":"2026-10-08","ids":{"openalex":"https://openalex.org/W7221150106","doi":"https://doi.org/10.48550/arxiv.2610.12211"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.12211","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.12211","pdf_url":"https://arxiv.org/pdf/2610.12211","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/2610.12211","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054845541","display_name":"Hazar Yueksel","orcid":"https://orcid.org/0000-0003-1782-3727","observed_orcids":["https://orcid.org/0000-0003-1782-3727"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Yueksel, Hazar","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5054845541"],"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/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.2020999938249588,"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.2020999938249588,"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/T12072","display_name":"Machine Learning and Algorithms","score":0.16990000009536743,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.11270000040531158,"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/curriculum-learning","display_name":"curriculum learning","score":0.7120000123977661},{"id":"https://openalex.org/keywords/nuisance-parameters","display_name":"nuisance parameters","score":0.367000013589859},{"id":"https://openalex.org/keywords/transformer-capacity","display_name":"transformer capacity","score":0.382999986410141},{"id":"https://openalex.org/keywords/lower-bounds","display_name":"lower bounds","score":0.30300000309944153}],"concepts":[{"id":"https://openalex.org/C28034677","wikidata":"https://www.wikidata.org/wiki/Q17092530","display_name":"Interleaving","level":2,"score":0.5476999878883362},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5446000099182129},{"id":"https://openalex.org/C39927690","wikidata":"https://www.wikidata.org/wiki/Q11197","display_name":"Logarithm","level":2,"score":0.5404000282287598},{"id":"https://openalex.org/C48372109","wikidata":"https://www.wikidata.org/wiki/Q3913","display_name":"Binary number","level":2,"score":0.5228000283241272},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.4629000127315521},{"id":"https://openalex.org/C2780813799","wikidata":"https://www.wikidata.org/wiki/Q3274237","display_name":"Zero (linguistics)","level":2,"score":0.39320001006126404},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.3560999929904938},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3547999858856201},{"id":"https://openalex.org/C91810955","wikidata":"https://www.wikidata.org/wiki/Q7731670","display_name":"Incentive compatibility","level":3,"score":0.3109000027179718},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.3037000000476837},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2992999851703644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2863999903202057},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.28299999237060547},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.27619999647140503},{"id":"https://openalex.org/C113336015","wikidata":"https://www.wikidata.org/wiki/Q574010","display_name":"Complete information","level":2,"score":0.27379998564720154},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.2621999979019165},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.258899986743927},{"id":"https://openalex.org/C97399411","wikidata":"https://www.wikidata.org/wiki/Q825367","display_name":"Coin flipping","level":2,"score":0.25839999318122864},{"id":"https://openalex.org/C130367717","wikidata":"https://www.wikidata.org/wiki/Q189791","display_name":"Diagonal","level":2,"score":0.2581999897956848},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2563000023365021},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.12211","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.12211","pdf_url":"https://arxiv.org/pdf/2610.12211","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.2610.12211","doi":"https://doi.org/10.48550/arxiv.2610.12211","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.12211","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:2610.12211","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.12211","pdf_url":"https://arxiv.org/pdf/2610.12211","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/W7221150106.pdf","grobid_xml":"https://content.openalex.org/works/W7221150106.grobid-xml"},"referenced_works_count":18,"referenced_works":["https://openalex.org/W1977529491","https://openalex.org/W2050495532","https://openalex.org/W2066627246","https://openalex.org/W2067842543","https://openalex.org/W2095750723","https://openalex.org/W2097117337","https://openalex.org/W2119336214","https://openalex.org/W2148986322","https://openalex.org/W2151170200","https://openalex.org/W2296073425","https://openalex.org/W3206707647","https://openalex.org/W4310509152","https://openalex.org/W4402733601","https://openalex.org/W4415798283","https://openalex.org/W7128491810","https://openalex.org/W7133191711","https://openalex.org/W7133198832","https://openalex.org/W7133228210"],"related_works":["https://openalex.org/W7204176766","https://openalex.org/W4308036456","https://openalex.org/W2114459948","https://openalex.org/W4390098050","https://openalex.org/W6968274114","https://openalex.org/W7097803985","https://openalex.org/W7214924356","https://openalex.org/W7118119534","https://openalex.org/W3149545503","https://openalex.org/W2068187163"],"abstract_inverted_index":{"A":[0],"verifier":[1,120],"that":[2,59],"accepts":[3],"or":[4,38],"rejects":[5],"whole":[6],"answers":[7,104],"reveals":[8],"little:":[9],"under":[10,145,197],"a":[11,35,75,107,146,168,173,198,235,240,260],"flat":[12],"prior":[13],"over":[14,163],"$k$-bit":[15],"answers,":[16],"zero":[17,195],"error":[18,196],"needs":[19,68],"$2^k-1$":[20],"verifications.":[21],"The":[22],"usual":[23],"remedy":[24,45],"is":[25,74,179,224],"to":[26,69],"solve":[27],"related":[28],"source":[29,63,93],"tasks,":[30],"either":[31],"all":[32,132,244],"first,":[33],"as":[34,234],"curriculum":[36],"does,":[37],"interleaved":[39],"with":[40,71,262],"verification.":[41,85],"We":[42],"price":[43,207],"this":[44],"in":[46,49,110,155,158,181,226,259],"information":[47,58,156,206],"and":[48,65,105,121,157,171,187,251],"calls.":[50],"With":[51,117],"an":[52,118],"exact":[53,119],"verifier,":[54,148],"the":[55,88,128,176,201,204,222,237,271],"least":[56],"causal":[57],"any":[60,84],"interleaving":[61,138],"of":[62,91,270],"calls":[64,101,202],"$n$":[66],"verifications":[67],"succeed":[70],"probability":[72],"$s$":[73],"list":[76],"rate-distortion":[77],"function,":[78],"attained":[79],"by":[80],"one":[81],"observation":[82],"before":[83,127,265],"It":[86],"lower-bounds":[87],"expected":[89,143],"number":[90],"binary":[92],"calls,":[94,136],"which":[95],"designed":[96],"sources":[97,186],"meet":[98],"within":[99,106,255],"$1+\\log_25$":[100],"for":[102,184,194,277],"unique":[103],"logarithmic":[108],"term":[109],"general,":[111],"where":[112],"no":[113],"additive":[114],"constant":[115],"suffices.":[116],"fixed":[122,256],"sources,":[123],"moving":[124],"every":[125],"call":[126],"first":[129],"verification":[130],"preserves":[131],"hard":[133,199],"caps":[134],"on":[135,212],"although":[137],"can":[139,151],"save":[140],"unboundedly":[141],"many":[142],"calls;":[144],"noisy":[147],"source-first":[149],"protocols":[150],"lose":[152],"unbounded":[153],"factors":[154],"error.":[159],"For":[160],"linear":[161],"banks":[162],"$\\mathbb{F}_2$,":[164],"optimal":[165],"accuracy":[166],"has":[167],"closed":[169],"form,":[170],"after":[172],"polynomial-time":[174],"reduction":[175],"budget":[177],"profile":[178],"computable":[180],"time":[182],"$2^{O(h^2)}\\operatorname{poly}(J,k+h)$":[183],"$J$":[185],"nuisance":[188],"dimension":[189,249],"$h$.":[190],"In":[191],"these":[192],"banks,":[193],"cap,":[200],"beyond":[203],"rounded-up":[205],"are":[208],"exactly":[209],"those":[210],"spent":[211],"nuisance.":[213],"Every":[214],"numbered":[215],"result":[216],"apart":[217],"from":[218],"two":[219,230],"clauses":[220],"about":[221],"planner":[223],"machine-checked":[225],"Lean":[227],"4,":[228],"assuming":[229],"published":[231],"results.":[232],"Used":[233],"ruler,":[236],"frontier":[238],"shows":[239],"small":[241],"transformer":[242],"using":[243],"delivered":[245],"bits":[246,273],"at":[247,253],"latent":[248],"$5$":[250],"none":[252],"$11$":[254],"training":[257],"budgets;":[258],"test":[261],"predictions":[263],"recorded":[264],"training,":[266],"low":[267],"XOR":[268],"degree":[269],"target":[272],"did":[274],"not":[275],"suffice":[276],"their":[278],"use.":[279]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-10-10T00:00:00"}