{"id":"https://openalex.org/W7206164283","doi":"https://doi.org/10.48550/arxiv.2609.00044","title":"Fixed-Defect Inverse Theorems for Subset Sums","display_name":"Fixed-Defect Inverse Theorems for Subset Sums","publication_year":2026,"publication_date":"2026-08-30","ids":{"openalex":"https://openalex.org/W7206164283","doi":"https://doi.org/10.48550/arxiv.2609.00044"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.00044","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.00044","pdf_url":"https://arxiv.org/pdf/2609.00044","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.00044","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5067222048","display_name":"Lizhong Chen","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I200769079","display_name":"Hong Kong University of Science and Technology","ror":"https://ror.org/00q4vv597","country_code":"HK","type":"education","lineage":["https://openalex.org/I200769079"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Chen, Lizhong","raw_affiliation_strings":["Department of Mathematics , The Hong Kong University of Science and Technology , Clear Water Bay , Kowloon , Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , The Hong Kong University of Science and Technology , Clear Water Bay , Kowloon , Hong Kong","institution_ids":["https://openalex.org/I200769079"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5067222048"],"corresponding_institution_ids":["https://openalex.org/I200769079"],"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.7095000147819519,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.7095000147819519,"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/T11166","display_name":"Analytic Number Theory Research","score":0.14920000731945038,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.10819999873638153,"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/subset-sums","display_name":"subset sums","score":0.972000002861023},{"id":"https://openalex.org/keywords/commensurability","display_name":"commensurability","score":0.9399999976158142},{"id":"https://openalex.org/keywords/integer-partitions","display_name":"integer partitions","score":0.5410000085830688},{"id":"https://openalex.org/keywords/kneser-s-theorem","display_name":"Kneser's theorem","score":0.8019999861717224}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7879999876022339},{"id":"https://openalex.org/C119350121","wikidata":"https://www.wikidata.org/wiki/Q1091134","display_name":"Commensurability (mathematics)","level":2,"score":0.739799976348877},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6355000138282776},{"id":"https://openalex.org/C188521023","wikidata":"https://www.wikidata.org/wiki/Q6795644","display_name":"Maximal set","level":3,"score":0.5913000106811523},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5877000093460083},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5411999821662903},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.503000020980835},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.4246000051498413},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.40709999203681946},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33000001311302185},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.28450000286102295},{"id":"https://openalex.org/C28719098","wikidata":"https://www.wikidata.org/wiki/Q44946","display_name":"Point (geometry)","level":2,"score":0.28220000863075256},{"id":"https://openalex.org/C61994974","wikidata":"https://www.wikidata.org/wiki/Q2297602","display_name":"Integer sequence","level":3,"score":0.27149999141693115}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.00044","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.00044","pdf_url":"https://arxiv.org/pdf/2609.00044","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.00044","doi":"https://doi.org/10.48550/arxiv.2609.00044","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.00044","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2609.00044","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.00044","pdf_url":"https://arxiv.org/pdf/2609.00044","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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W7206164283.pdf","grobid_xml":"https://content.openalex.org/works/W7206164283.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W7160605768"],"related_works":["https://openalex.org/W7214126704","https://openalex.org/W7215131545","https://openalex.org/W2035109956","https://openalex.org/W2098676391","https://openalex.org/W7160605768","https://openalex.org/W7099377410","https://openalex.org/W3026881437","https://openalex.org/W2944474721","https://openalex.org/W7105934869","https://openalex.org/W2010346486"],"abstract_inverted_index":{"Let":[0],"$A$":[1],"be":[2,12],"an":[3,59,70],"$n$-element":[4],"set":[5,14,42,132],"of":[6,15,73,136],"positive":[7],"real":[8],"numbers,":[9],"let":[10],"$FS(A)$":[11],"its":[13],"subset":[16,123],"sums,":[17,124],"and":[18,26,69,166,175],"put":[19],"$T_n=\\binom{n+1}{2}$.":[20],"For":[21],"every":[22,144,192],"fixed":[23],"integer":[24,48,71,193],"$C\\geq-1$":[25],"all":[27],"sufficiently":[28,107],"large":[29,108],"$n$,":[30],"we":[31],"classify":[32],"the":[33,80,83,111,115,130,187],"sets":[34],"satisfying":[35],"$$":[36,39,88,90],"|FS(A)|\\leq":[37],"T_n+n+C+1.":[38],"Each":[40],"such":[41,145],"is":[43,127,133],"commensurable.":[44],"Its":[45],"unique":[46],"primitive":[47,91],"normalisation":[49],"$B$":[50],"either":[51],"satisfies":[52],"$\\sum":[53],"B\\leq":[54],"T_n+n+C$":[55],"or":[56,75],"belongs":[57],"to":[58,114],"explicit":[60],"exceptional":[61,84],"family":[62,85],"specified":[63],"by":[64],"a":[65,97,134,155,162,176],"missing":[66],"element":[67,113],"$m\\in\\{1,2\\}$":[68],"partition":[72,81],"$C+m$":[74],"$C+m+1$.":[76],"If":[77],"$P$":[78],"denotes":[79],"function,":[82],"has":[86,148],"exactly":[87,139],"P(C+1)+2P(C+2)+P(C+3)":[89],"dilation":[92,135],"classes.":[93],"We":[94],"also":[95,171],"prove":[96],"local":[98],"inverse":[99],"theorem":[100],"for":[101,106,183,191],"bounded":[102],"increment":[103,149],"excess.":[104],"If,":[105],"$i$,":[109],"adjoining":[110],"largest":[112],"preceding":[116],"$i-1$":[117],"elements":[118,141],"creates":[119],"only":[120],"$i+e$":[121],"new":[122],"where":[125],"$e$":[126,140],"bounded,":[128],"then":[129],"$i$-element":[131],"$[1,i+e]_{\\mathbb{Z}}$":[137],"with":[138,180],"deleted.":[142],"Conversely,":[143],"deletion":[146],"pattern":[147],"excess":[150],"$e$.":[151],"The":[152],"proof":[153],"combines":[154],"stabiliser":[156],"argument":[157],"in":[158],"$\\mathbb{R}/x\\mathbb{Z}$,":[159],"Kneser's":[160],"theorem,":[161],"quadratic":[163],"subset-sum":[164],"bound,":[165],"endpoint":[167],"propagation.":[168],"These":[169],"arguments":[170],"give":[172],"effective":[173],"commensurability":[174],"finite-state":[177],"encoding.":[178],"Together":[179],"earlier":[181],"results":[182],"$C\\leq-2$,":[184],"this":[185],"completes":[186],"eventual":[188],"fixed-defect":[189],"classification":[190],"$C$.":[194]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-03T00:00:00"}