{"id":"https://openalex.org/W7164542373","doi":"https://doi.org/10.48550/arxiv.2606.13400","title":"PolyFlow: Safe and Efficient Polytope-Constrained Flow Matching with Constraint Embedding and Projection-free Update","display_name":"PolyFlow: Safe and Efficient Polytope-Constrained Flow Matching with Constraint Embedding and Projection-free Update","publication_year":2026,"publication_date":"2026-06-11","ids":{"openalex":"https://openalex.org/W7164542373","doi":"https://doi.org/10.48550/arxiv.2606.13400"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2606.13400","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13400","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":null,"license_id":null,"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.2606.13400","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5085158197","display_name":"J Y","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ma, Jianming","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100848448","display_name":"Qiyue Yang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yang, Qiyue","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138513892","display_name":"Yang Zhang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5138542234","display_name":"Liyun Yan","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yan, Liyun","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022312971","display_name":"Zhanxiang Cao","orcid":"https://orcid.org/0009-0001-2961-2997"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Cao, Zhanxiang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100711409","display_name":"Yazhou Zhang","orcid":"https://orcid.org/0000-0002-5699-0176"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhang, Yazhou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5138491260","display_name":"Yue Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gao, Yue","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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.43779999017715454,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.43779999017715454,"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/T10142","display_name":"Formal Methods in Verification","score":0.09149999916553497,"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/T10775","display_name":"Generative Adversarial Networks and Image Synthesis","score":0.08529999852180481,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/embedding","display_name":"Embedding","score":0.6313999891281128},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.605400025844574},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.5314000248908997},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.48910000920295715},{"id":"https://openalex.org/keywords/discretization","display_name":"Discretization","score":0.46239998936653137},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.447299987077713},{"id":"https://openalex.org/keywords/flow","display_name":"Flow (mathematics)","score":0.43720000982284546},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.42570000886917114}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6693000197410583},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.6313999891281128},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.605400025844574},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5547000169754028},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.5314000248908997},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.48910000920295715},{"id":"https://openalex.org/C73000952","wikidata":"https://www.wikidata.org/wiki/Q17007827","display_name":"Discretization","level":2,"score":0.46239998936653137},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.447299987077713},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.43720000982284546},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4318000078201294},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.42570000886917114},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.42320001125335693},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.38769999146461487},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.3610000014305115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3411000072956085},{"id":"https://openalex.org/C55660270","wikidata":"https://www.wikidata.org/wiki/Q5164377","display_name":"Constrained optimization","level":2,"score":0.33559998869895935},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.32600000500679016},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.3246999979019165},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.32260000705718994},{"id":"https://openalex.org/C44616089","wikidata":"https://www.wikidata.org/wiki/Q30158686","display_name":"Constraint satisfaction","level":3,"score":0.32019999623298645},{"id":"https://openalex.org/C167966045","wikidata":"https://www.wikidata.org/wiki/Q5532625","display_name":"Generative model","level":3,"score":0.2904999852180481},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.2660999894142151}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2606.13400","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13400","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2606.13400","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2606.13400","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.444629967212677,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"While":[0],"flow-based":[1],"generative":[2,136],"models":[3],"have":[4],"demonstrated":[5],"strong":[6],"performance":[7],"across":[8,108],"a":[9,49,66,71,109,129],"wide":[10],"range":[11,110],"of":[12,83,111],"domains,":[13],"deploying":[14],"them":[15],"in":[16],"safety-critical":[17],"physical":[18],"systems":[19],"remains":[20],"challenging":[21],"due":[22],"to":[23,117],"strict":[24,81],"constraint":[25,101],"requirements.":[26],"Existing":[27],"approaches":[28],"typically":[29],"enforce":[30],"safety":[31],"through":[32],"post-hoc":[33],"corrections,":[34],"which":[35,74],"incur":[36],"substantial":[37],"computational":[38],"overhead":[39],"and":[40,61,70,79,113,127,135],"may":[41],"distort":[42],"the":[43,59,76,88],"learned":[44],"distribution.":[45],"We":[46],"propose":[47],"PolyFlow,":[48],"polytope-constrained":[50],"flow":[51,62,68],"matching":[52],"framework":[53],"that":[54,97],"embeds":[55],"constraints":[56],"directly":[57],"into":[58],"model":[60],"dynamics.":[63],"PolyFlow":[64,98,122],"introduces":[65],"discrete-time":[67],"formulation":[69],"projection-free":[72],"architecture,":[73],"eliminate":[75],"discretization":[77],"error":[78],"guarantee":[80],"satisfaction":[82],"arbitrary":[84],"polyhedral":[85],"constraints,":[86],"without":[87],"need":[89],"for":[90],"expensive":[91],"iterative":[92],"solvers.":[93],"Experimental":[94],"results":[95],"show":[96],"achieves":[99],"zero":[100],"violation":[102],"while":[103],"maintaining":[104],"high":[105],"distributional":[106],"fidelity":[107],"planning":[112],"control":[114],"tasks.":[115],"Compared":[116],"state-of-the-art":[118],"constrained":[119],"generation":[120],"baselines,":[121],"significantly":[123],"reduces":[124],"inference":[125],"latency":[126],"demonstrates":[128],"favorable":[130],"trade-off":[131],"between":[132],"safety,":[133],"efficiency,":[134],"quality.":[137],"Code":[138],"is":[139],"available":[140],"on":[141],"https://github.com/MJianM/PolyFlow.":[142]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-06-13T00:00:00"}