{"id":"https://openalex.org/W7203984506","doi":"https://doi.org/10.48550/arxiv.2609.22804","title":"Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing","display_name":"Sharp Edge-Edit Bounds at Every Level for Leaky Positive Semidefinite Forcing","publication_year":2026,"publication_date":"2026-08-22","ids":{"openalex":"https://openalex.org/W7203984506","doi":"https://doi.org/10.48550/arxiv.2609.22804"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.22804","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.22804","pdf_url":"https://arxiv.org/pdf/2609.22804","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/2609.22804","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5121352928","display_name":"Domenico Frijio","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I4210090142","display_name":"Horizon Research (United States)","ror":"https://ror.org/00ekxed29","country_code":"US","type":"company","lineage":["https://openalex.org/I4210090142"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Frijio, Domenico","raw_affiliation_strings":["Horizon Research ,"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Horizon Research ,","institution_ids":["https://openalex.org/I4210090142"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5121352928"],"corresponding_institution_ids":["https://openalex.org/I4210090142"],"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/T11476","display_name":"Graph theory and applications","score":0.7689999938011169,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11476","display_name":"Graph theory and applications","score":0.7689999938011169,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T10374","display_name":"Advanced Graph Theory Research","score":0.18930000066757202,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.007499999832361937,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/extremal-graph-theory","display_name":"extremal graph theory","score":0.7160000205039978},{"id":"https://openalex.org/keywords/bridge-graphs","display_name":"bridge graphs","score":0.578000009059906}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8374000191688538},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7182999849319458},{"id":"https://openalex.org/C2780990831","wikidata":"https://www.wikidata.org/wiki/Q319141","display_name":"Conjecture","level":2,"score":0.7091000080108643},{"id":"https://openalex.org/C197115733","wikidata":"https://www.wikidata.org/wiki/Q1003136","display_name":"Forcing (mathematics)","level":2,"score":0.5821999907493591},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4722999930381775},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.46230000257492065},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4462999999523163},{"id":"https://openalex.org/C162307627","wikidata":"https://www.wikidata.org/wiki/Q204833","display_name":"Enhanced Data Rates for GSM Evolution","level":2,"score":0.3619000017642975},{"id":"https://openalex.org/C101901036","wikidata":"https://www.wikidata.org/wiki/Q2269096","display_name":"Semidefinite programming","level":2,"score":0.33959999680519104},{"id":"https://openalex.org/C49712288","wikidata":"https://www.wikidata.org/wiki/Q77601250","display_name":"Positive-definite matrix","level":3,"score":0.3370000123977661},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.28200000524520874},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.2815999984741211},{"id":"https://openalex.org/C2780378346","wikidata":"https://www.wikidata.org/wiki/Q1349983","display_name":"Leak","level":2,"score":0.2678999900817871},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.2612999975681305},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.2540999948978424}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:2609.22804","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.22804","pdf_url":"https://arxiv.org/pdf/2609.22804","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.2609.22804","doi":"https://doi.org/10.48550/arxiv.2609.22804","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.22804","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":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.22062158","doi":"https://doi.org/10.5281/zenodo.22062158","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22062158","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.22062159","doi":"https://doi.org/10.5281/zenodo.22062159","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.22062159","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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:2609.22804","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.22804","pdf_url":"https://arxiv.org/pdf/2609.22804","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/W7203984506.pdf","grobid_xml":"https://content.openalex.org/works/W7203984506.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1761150673","https://openalex.org/W1996839950","https://openalex.org/W2002518435","https://openalex.org/W2099618798","https://openalex.org/W2155115013","https://openalex.org/W2175011670","https://openalex.org/W2607369640","https://openalex.org/W3021958117","https://openalex.org/W3049764454","https://openalex.org/W3086919551","https://openalex.org/W4404404452","https://openalex.org/W4412760852","https://openalex.org/W4417105319"],"related_works":["https://openalex.org/W4412760852","https://openalex.org/W4417105319","https://openalex.org/W3086919551","https://openalex.org/W6922680874","https://openalex.org/W7162327296","https://openalex.org/W1972879641","https://openalex.org/W4290052327","https://openalex.org/W2289106815","https://openalex.org/W1163355052","https://openalex.org/W2155115013"],"abstract_inverted_index":{"This":[0],"work":[1],"disproves":[2],"the":[3,103,133,139],"1-leaky":[4],"positive":[5,76],"semidefinite":[6],"edge-deletion":[7],"conjecture":[8],"and":[9,21,89,121,128,137],"replaces":[10],"it":[11],"with":[12,37,119],"a":[13,85,95],"sharp":[14,73],"theorem.":[15],"For":[16,91],"every":[17,75,92],"leak":[18,77],"level":[19],"$\\ell$":[20],"edge":[22],"$e$,":[23],"one":[24,58],"has":[25],"$|Z^+_{(\\ell)}(G)-Z^+_{(\\ell)}(G-e)|\\le":[26],"2$.":[27],"More":[28],"generally,":[29],"if":[30],"two":[31,80],"graphs":[32,115],"differ":[33,44],"only":[34],"on":[35,116],"edges":[36],"both":[38],"endpoints":[39],"in":[40],"$S$,":[41],"their":[42],"parameters":[43],"by":[45,84,113],"at":[46,56],"most":[47,57],"$|S|$.":[48],"An":[49],"endpoint-sensitive":[50],"refinement":[51],"recovers":[52],"an":[53,66,129],"increase":[54],"of":[55,68,82,99],"whenever":[59],"some":[60],"minimum":[61],"set":[62],"for":[63,74],"$G-e$":[64],"contains":[65],"endpoint":[67],"$e$.":[69],"Both":[70],"signs":[71],"are":[72],"level.":[78],"Joining":[79],"copies":[81],"$K_{\\ell+1}$":[83],"bridge":[86],"gives":[87,102],"$Z^+_{(\\ell)}(G)=2\\ell$":[88],"$Z^+_{(\\ell)}(G-e)=2\\ell+2$.":[90],"$\\ell\\ge":[93],"2$,":[94],"connected":[96,114],"clique-leaf":[97],"pair":[98],"order":[100],"$2\\ell+3$":[101],"opposite":[104],"difference.":[105],"The":[106],"remaining":[107],"positive-difference":[108],"one-leak":[109],"case":[110],"is":[111],"attained":[112],"nine":[117],"vertices":[118],"$Z^+_{(1)}(H)=4$":[120],"$Z^+_{(1)}(G)=6$.":[122],"Explicit":[123],"forcing":[124],"sequences,":[125],"fort":[126],"certificates,":[127],"exact":[130],"verifier":[131],"check":[132],"finite":[134],"extremal":[135],"example":[136],"stress-test":[138],"general":[140],"results.":[141]},"counts_by_year":[],"updated_date":"2026-11-08T12:12:28.789561","created_date":"2026-08-23T00:00:00"}