{"id":"https://openalex.org/W7161724366","doi":"https://doi.org/10.48550/arxiv.2605.16853","title":"A Truthful Multiunit Profit-Optimal Mechanism for Synthesizing Social Laws","display_name":"A Truthful Multiunit Profit-Optimal Mechanism for Synthesizing Social Laws","publication_year":2026,"publication_date":"2026-05-16","ids":{"openalex":"https://openalex.org/W7161724366","doi":"https://doi.org/10.48550/arxiv.2605.16853"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.16853","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16853","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.16853","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5136459018","display_name":"Jun Wu","orcid":"https://orcid.org/0000-0002-8657-5475"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wu, Jun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5136467779","display_name":"Jian Huang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Huang, Jian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5136480468","display_name":"Chongjun Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Chongjun","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/T11182","display_name":"Auction Theory and Applications","score":0.9575999975204468,"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"}},"topics":[{"id":"https://openalex.org/T11182","display_name":"Auction Theory and Applications","score":0.9575999975204468,"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"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.011599999852478504,"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/T10991","display_name":"Game Theory and Voting Systems","score":0.004900000058114529,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mechanism-design","display_name":"Mechanism design","score":0.608299970626831},{"id":"https://openalex.org/keywords/payment","display_name":"Payment","score":0.5404000282287598},{"id":"https://openalex.org/keywords/valuation","display_name":"Valuation (finance)","score":0.51419997215271},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.44609999656677246},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.445499986410141},{"id":"https://openalex.org/keywords/encode","display_name":"ENCODE","score":0.43389999866485596},{"id":"https://openalex.org/keywords/lemma","display_name":"Lemma (botany)","score":0.4124999940395355},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.38940000534057617}],"concepts":[{"id":"https://openalex.org/C153517567","wikidata":"https://www.wikidata.org/wiki/Q26090","display_name":"Mechanism design","level":2,"score":0.608299970626831},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5947999954223633},{"id":"https://openalex.org/C145097563","wikidata":"https://www.wikidata.org/wiki/Q1148747","display_name":"Payment","level":2,"score":0.5404000282287598},{"id":"https://openalex.org/C186027771","wikidata":"https://www.wikidata.org/wiki/Q4008379","display_name":"Valuation (finance)","level":2,"score":0.51419997215271},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45159998536109924},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.44609999656677246},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.445499986410141},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.43810001015663147},{"id":"https://openalex.org/C66746571","wikidata":"https://www.wikidata.org/wiki/Q1134833","display_name":"ENCODE","level":3,"score":0.43389999866485596},{"id":"https://openalex.org/C2777759810","wikidata":"https://www.wikidata.org/wiki/Q149316","display_name":"Lemma (botany)","level":3,"score":0.4124999940395355},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.38940000534057617},{"id":"https://openalex.org/C163239763","wikidata":"https://www.wikidata.org/wiki/Q5153637","display_name":"Common value auction","level":2,"score":0.383899986743927},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.3790000081062317},{"id":"https://openalex.org/C89611455","wikidata":"https://www.wikidata.org/wiki/Q6804646","display_name":"Mechanism (biology)","level":2,"score":0.36010000109672546},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.35589998960494995},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.3544999957084656},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.3041999936103821},{"id":"https://openalex.org/C59919655","wikidata":"https://www.wikidata.org/wiki/Q5150821","display_name":"Combinatorial auction","level":3,"score":0.28540000319480896},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28189998865127563},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.2718999981880188},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.2648000121116638},{"id":"https://openalex.org/C201650216","wikidata":"https://www.wikidata.org/wiki/Q829492","display_name":"Procurement","level":2,"score":0.2515999972820282}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.16853","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16853","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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.16853","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.16853","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"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":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5317978262901306}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"studies":[2],"Social":[3],"Law":[4],"Synthesis":[5],"(SLS)":[6],"in":[7,76,85],"strategic":[8,153],"multi-agent":[9],"environments":[10],"as":[11,21,61],"a":[12,22,37,47,62],"new":[13],"multi-unit":[14,86],"mechanism":[15],"design":[16,36],"problem.":[17],"We":[18,44,68,88],"model":[19],"SLS":[20],"Bayesian":[23],"single-parameter":[24],"procurement":[25],"auction":[26],"based":[27],"on":[28,115],"Alternating-time":[29],"Temporal":[30],"Logic":[31],"(ATL)":[32],"and":[33,41,96,128,134,143],"aim":[34],"to":[35,73,106],"truthful,":[38],"individually":[39,126],"rational,":[40,127],"profit-optimal":[42],"mechanism.":[43],"first":[45],"prove":[46],"representation":[48],"lemma":[49],"showing":[50],"that":[51,91,137],"any":[52],"valuation":[53],"respecting":[54],"alternating":[55],"bisimulation":[56],"can":[57],"be":[58],"compactly":[59],"expressed":[60],"feature":[63],"set":[64],"of":[65],"ATL":[66,98],"formulae.":[67],"then":[69],"reduce":[70],"payment":[71,82],"determination":[72,75,93],"allocation":[74,92],"polynomial":[77],"time,":[78],"resolving":[79],"the":[80,108,120],"irregular":[81],"issue":[83],"inherent":[84],"settings.":[87],"further":[89],"show":[90],"is":[94,124],"\\(FP^{NP}\\)-complete":[95],"encode":[97],"semantics":[99],"into":[100],"integer":[101],"linear":[102],"programming":[103],"(ILP)":[104],"constraints":[105],"make":[107],"problem":[109],"tractable":[110],"with":[111],"standard":[112],"solvers.":[113],"Based":[114],"these":[116],"results,":[117],"we":[118],"present":[119],"$\\mathcal{PO\\text{-}ASL}$":[121],"mechanism,":[122],"which":[123],"incentive-compatible,":[125],"maximizes":[129],"expected":[130],"profit.":[131],"Theoretical":[132],"guarantees":[133],"examples":[135],"confirm":[136],"our":[138],"approach":[139],"provides":[140],"an":[141],"effective":[142],"computationally":[144],"feasible":[145],"solution":[146],"for":[147],"synthesizing":[148],"optimal":[149],"social":[150],"laws":[151],"under":[152],"agent":[154],"behavior.":[155]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-05-20T00:00:00"}