{"id":"https://openalex.org/W7161150979","doi":"https://doi.org/10.48550/arxiv.2605.12537","title":"Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses","display_name":"Biprofile Deviation Logic: Report-Replacement Frames and Audit Witnesses","publication_year":2026,"publication_date":"2026-05-04","ids":{"openalex":"https://openalex.org/W7161150979","doi":"https://doi.org/10.48550/arxiv.2605.12537"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.12537","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12537","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,"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"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.12537","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136175806","display_name":"Faruk Alpay","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alpay, Faruk","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136135844","display_name":"Baris Basaran","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Basaran, Baris","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"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/T10991","display_name":"Game Theory and Voting Systems","score":0.7074000239372253,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10991","display_name":"Game Theory and Voting Systems","score":0.7074000239372253,"subfield":{"id":"https://openalex.org/subfields/2002","display_name":"Economics and Econometrics"},"field":{"id":"https://openalex.org/fields/20","display_name":"Economics, Econometrics and Finance"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.0754999965429306,"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/T11182","display_name":"Auction Theory and Applications","score":0.07000000029802322,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.6955000162124634},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.5903000235557556},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.45399999618530273},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.4260999858379364},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4106000065803528},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.38769999146461487},{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.3353999853134155},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.30230000615119934}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.6955000162124634},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.5903000235557556},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5072000026702881},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.45399999618530273},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.4260999858379364},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4106000065803528},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.38769999146461487},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3549000024795532},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.35179999470710754},{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.3353999853134155},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.30309998989105225},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.30230000615119934},{"id":"https://openalex.org/C2776157432","wikidata":"https://www.wikidata.org/wiki/Q1375683","display_name":"Normality","level":2,"score":0.30140000581741333},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3005000054836273},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.28209999203681946},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.2782999873161316},{"id":"https://openalex.org/C121955636","wikidata":"https://www.wikidata.org/wiki/Q4116214","display_name":"Accounting","level":1,"score":0.2721000015735626},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.26570001244544983},{"id":"https://openalex.org/C108598597","wikidata":"https://www.wikidata.org/wiki/Q124255","display_name":"Conic section","level":2,"score":0.2653000056743622},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.26330000162124634},{"id":"https://openalex.org/C2779462738","wikidata":"https://www.wikidata.org/wiki/Q17146409","display_name":"Realisation","level":2,"score":0.25929999351501465},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.25110000371932983},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.25040000677108765}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.12537","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12537","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,"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":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.12537","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.12537","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,"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"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","score":0.7207797765731812,"id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Biprofile":[0],"deviation":[1],"logic":[2],"models":[3],"strategic":[4],"social":[5],"choice":[6],"states":[7],"as":[8],"pairs":[9],"$(R,P)$,":[10],"where":[11],"$R$":[12],"is":[13,23,104],"the":[14,24,30,36,39,45,64,70,75,91,94,98,101,105,131,143],"true":[15],"profile":[16,27],"used":[17,28],"for":[18,63,108,117,124,142],"welfare":[19],"comparisons":[20],"and":[21,41,59,120,139,147,153],"$P$":[22],"submitted":[25],"report":[26],"by":[29,87],"rule.":[31],"Coalition":[32],"modalities":[33],"replace":[34],"only":[35],"reports":[37],"of":[38,61],"coalition,":[40],"their":[42],"relations":[43],"satisfy":[44],"fixed":[46],"law":[47],"$E_C":[48],"\\circ":[49],"E_D":[50],"=":[51],"E_{C":[52],"\\cup":[53],"D}$.":[54],"The":[55,127],"paper":[56],"proves":[57],"soundness":[58],"completeness":[60],"$H_{\\mathrm{bp}}$":[62],"abstract":[65,81],"frame":[66],"class":[67],"$\\mathrm{Dev}(N)$,":[68],"with":[69],"reverse-composition":[71],"midpoint":[72],"displayed":[73],"inside":[74],"canonical":[76],"proof.":[77],"It":[78],"then":[79],"separates":[80],"$\\mathrm{Dev}(N)$-components":[82],"from":[83],"genuine":[84],"report-coordinate":[85],"products":[86],"coordinate":[88],"separation.":[89],"On":[90],"social-choice":[92],"side,":[93],"classical":[95],"facts":[96],"supply":[97],"source":[99],"notions;":[100],"paper-specific":[102],"contribution":[103],"audit":[106],"layer":[107],"representation":[109],"changes:":[110],"typed":[111],"manipulation":[112],"witnesses,":[113],"a":[114,121],"boundary-row":[115],"theorem":[116],"off-domain":[118],"extensions,":[119],"factor-closure":[122],"criterion":[123],"public":[125],"deletions.":[126],"ancillary":[128],"material":[129],"contains":[130],"input":[132],"formats,":[133],"an":[134],"executable":[135],"certificate":[136],"checker,":[137],"Lean":[138],"Alloy":[140],"companions":[141],"finite":[144],"relational":[145],"lemmas":[146],"update":[148],"patterns,":[149],"recorded":[150],"run":[151],"logs,":[152],"checksums.":[154]},"counts_by_year":[],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2026-05-15T00:00:00"}