{"id":"https://openalex.org/W7204239765","doi":"https://doi.org/10.48550/arxiv.2608.24743","title":"$(\\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks","display_name":"$(\\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks","publication_year":2026,"publication_date":"2026-08-25","ids":{"openalex":"https://openalex.org/W7204239765","doi":"https://doi.org/10.48550/arxiv.2608.24743"},"language":null,"primary_location":{"id":"pmh:oai:arXiv.org:2608.24743","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.24743","pdf_url":"https://arxiv.org/pdf/2608.24743","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","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2608.24743","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5046102511","display_name":"Hanna Jiamei Zhang","orcid":"https://orcid.org/0009-0005-7181-2756","observed_orcids":["https://orcid.org/0009-0005-7181-2756"]},"institutions":[{"id":"https://openalex.org/I122879082","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29","country_code":"CA","type":"government","lineage":["https://openalex.org/I122879082"]},{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["CA","US"],"is_corresponding":false,"raw_author_name":"Zhang, Hanna Jiamei","raw_affiliation_strings":["Departments of Computer Science, Electrical and Computer Engineer- ing , and Mathematics Northeastern University , Boston , MA","Natural Sciences and Engineering Research Council of Canada (NSERC) , the Northeastern University Institute for Experiential Robotics Postdoctoral Fellowship , and Army Research Lab"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departments of Computer Science, Electrical and Computer Engineer- ing , and Mathematics Northeastern University , Boston , MA","institution_ids":["https://openalex.org/I12912129"]},{"raw_affiliation_string":"Natural Sciences and Engineering Research Council of Canada (NSERC) , the Northeastern University Institute for Experiential Robotics Postdoctoral Fellowship , and Army Research Lab","institution_ids":["https://openalex.org/I122879082"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084691701","display_name":"Alan Papalia","orcid":"https://orcid.org/0000-0002-6922-135X","observed_orcids":["https://orcid.org/0000-0002-6922-135X"]},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Papalia, Alan","raw_affiliation_strings":["2-0017 ","Department of Naval Architecture and Marine Engineering , University of Michigan , Ann Arbor , MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"2-0017 ","institution_ids":[]},{"raw_affiliation_string":"Department of Naval Architecture and Marine Engineering , University of Michigan , Ann Arbor , MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064513857","display_name":"Michael Everett","orcid":"https://orcid.org/0000-0001-9377-6745","observed_orcids":["https://orcid.org/0000-0001-9377-6745"]},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Everett, Michael","raw_affiliation_strings":["Departments of Computer Science, Electrical and Computer Engineer- ing , and Mathematics Northeastern University , Boston , MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departments of Computer Science, Electrical and Computer Engineer- ing , and Mathematics Northeastern University , Boston , MA","institution_ids":["https://openalex.org/I12912129"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082166133","display_name":"David M. Rosen","orcid":"https://orcid.org/0000-0001-8964-1602","observed_orcids":["https://orcid.org/0000-0001-8964-1602"]},"institutions":[{"id":"https://openalex.org/I12912129","display_name":"Northeastern University","ror":"https://ror.org/04t5xt781","country_code":"US","type":"education","lineage":["https://openalex.org/I12912129"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rosen, David M.","raw_affiliation_strings":["Departments of Computer Science, Electrical and Computer Engineer- ing , and Mathematics Northeastern University , Boston , MA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Departments of Computer Science, Electrical and Computer Engineer- ing , and Mathematics Northeastern University , Boston , MA","institution_ids":["https://openalex.org/I12912129"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"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/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.6679999828338623,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10963","display_name":"Advanced Optimization Algorithms Research","score":0.6679999828338623,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.2572999894618988,"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.009600000455975533,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/deep-neural-network-verification","display_name":"deep neural network verification","score":0.9089999794960022},{"id":"https://openalex.org/keywords/burer-monteiro-factorization","display_name":"Burer-Monteiro factorization","score":0.8339999914169312},{"id":"https://openalex.org/keywords/eigenvalue-maximization","display_name":"eigenvalue maximization","score":0.8149999976158142},{"id":"https://openalex.org/keywords/relaxation-gap","display_name":"relaxation gap","score":0.6480000019073486},{"id":"https://openalex.org/keywords/semidefinite-programming","display_name":"semidefinite programming","score":0.6690000295639038},{"id":"https://openalex.org/keywords/linear-programming-relaxation","display_name":"linear programming relaxation","score":0.6349999904632568},{"id":"https://openalex.org/keywords/rectified-linear-units","display_name":"rectified linear units","score":0.6830000281333923}],"concepts":[{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5386000275611877},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5375000238418579},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5277000069618225},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.45419999957084656},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.44020000100135803},{"id":"https://openalex.org/C124584101","wikidata":"https://www.wikidata.org/wiki/Q1053266","display_name":"Multiplier (economics)","level":2,"score":0.43939998745918274},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.39100000262260437},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.36719998717308044},{"id":"https://openalex.org/C2776330181","wikidata":"https://www.wikidata.org/wiki/Q18358244","display_name":"Maximization","level":2,"score":0.36160001158714294},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.35339999198913574},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.3312000036239624},{"id":"https://openalex.org/C77246614","wikidata":"https://www.wikidata.org/wiki/Q1409400","display_name":"Gramian matrix","level":3,"score":0.3305000066757202},{"id":"https://openalex.org/C81845259","wikidata":"https://www.wikidata.org/wiki/Q290117","display_name":"Quadratic programming","level":2,"score":0.3278999924659729},{"id":"https://openalex.org/C2776029896","wikidata":"https://www.wikidata.org/wiki/Q3935810","display_name":"Relaxation (psychology)","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3176000118255615},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.31450000405311584},{"id":"https://openalex.org/C101901036","wikidata":"https://www.wikidata.org/wiki/Q2269096","display_name":"Semidefinite programming","level":2,"score":0.31049999594688416},{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.3091000020503998},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2989000082015991},{"id":"https://openalex.org/C73684929","wikidata":"https://www.wikidata.org/wiki/Q598870","display_name":"Lagrange multiplier","level":2,"score":0.29409998655319214},{"id":"https://openalex.org/C2776650193","wikidata":"https://www.wikidata.org/wiki/Q264661","display_name":"Obstacle","level":2,"score":0.2754000127315521},{"id":"https://openalex.org/C158693339","wikidata":"https://www.wikidata.org/wiki/Q190524","display_name":"Eigenvalues and eigenvectors","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C187834632","wikidata":"https://www.wikidata.org/wiki/Q188804","display_name":"Factorization","level":2,"score":0.26660001277923584},{"id":"https://openalex.org/C57493831","wikidata":"https://www.wikidata.org/wiki/Q3134666","display_name":"Projection (relational algebra)","level":2,"score":0.25940001010894775},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C34727166","wikidata":"https://www.wikidata.org/wiki/Q515375","display_name":"Cholesky decomposition","level":3,"score":0.25049999356269836}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2608.24743","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.24743","pdf_url":"https://arxiv.org/pdf/2608.24743","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.24743","doi":"https://doi.org/10.48550/arxiv.2608.24743","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2608.24743","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2608.24743","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2608.24743","pdf_url":"https://arxiv.org/pdf/2608.24743","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":[],"sustainable_development_goals_aurora":[{"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17","score":0.4365515112876892}],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7204239765.pdf","grobid_xml":"https://content.openalex.org/works/W7204239765.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Existing":[0],"linear":[1,11],"program":[2,6,31,49],"(LP)":[3],"and":[4,159,182,193],"semidefinite":[5],"(SDP)":[7],"relaxations":[8],"for":[9,86,106,130],"rectified":[10],"unit":[12],"(ReLU)":[13],"neural":[14,190],"network":[15,191],"(NN)":[16],"verification":[17,80,185],"yield":[18],"overly-conservative":[19],"safety":[20],"guarantees":[21,186],"due":[22],"to":[23,40,77,109,188],"significant":[24],"relaxation":[25],"gaps.":[26],"While":[27,70],"the":[28,46,62,87,101,126,150,156],"completely":[29],"positive":[30],"(CPP)":[32],"formulation":[33],"closes":[34],"this":[35],"gap,":[36],"it":[37],"is":[38,95],"NP-hard":[39],"solve.":[41],"Its":[42],"cheapest":[43],"tractable":[44],"relaxation,":[45],"doubly":[47],"non-negative":[48],"(DNN),":[50],"retains":[51],"critical":[52],"constraints":[53,99],"as":[54],"an":[55],"SDP,":[56],"but":[57],"one":[58],"whose":[59],"size":[60],"exceeds":[61],"reach":[63],"of":[64],"interior-point":[65],"methods":[66,115],"at":[67],"practical":[68],"scale.":[69],"Burer-Monteiro":[71],"(BM)":[72],"factorization":[73],"has":[74],"been":[75],"applied":[76],"make":[78],"SDP-based":[79],"scalable,":[81],"no":[82],"such":[83],"result":[84],"exists":[85],"strictly":[88],"tighter":[89,148],"DNN":[90,102],"formulation.":[91],"A":[92],"key":[93,176],"obstacle":[94],"that":[96,124,141,160],"additional":[97],"non-negativity":[98],"in":[100,196],"cause":[103],"dual":[104],"multipliers":[105],"optimality":[107,137,166],"certification":[108,114,162],"be":[110],"non-unique,":[111],"making":[112],"standard":[113,151],"inapplicable.":[116],"We":[117],"propose":[118],"a":[119,131,135,168,175],"novel":[120],"eigenvalue":[121],"maximization":[122],"procedure":[123,163],"searches":[125],"non-unique":[127],"multiplier":[128],"space":[129],"valid":[132,169],"certificate,":[133],"i.e.":[134],"global":[136,165],"guarantee.":[138],"Experiments":[139],"demonstrate":[140],"our":[142,161],"approach":[143],"$(\\text{DNN})^2$":[144],"produces":[145],"bounds":[146],"consistently":[147],"than":[149],"SDP":[152],"method,":[153],"often":[154],"matching":[155],"exact":[157],"solution,":[158],"confirms":[164],"when":[167],"certificate":[170],"exists.":[171],"These":[172],"results":[173],"are":[174],"step":[177],"toward":[178],"providing":[179],"tight,":[180],"certifiable,":[181],"computationally":[183],"scalable":[184],"needed":[187],"deploy":[189],"controllers":[192],"perception":[194],"modules":[195],"safety-critical":[197],"autonomous":[198],"systems.":[199]},"counts_by_year":[],"updated_date":"2026-10-12T09:40:04.860316","created_date":"2026-08-27T00:00:00"}