{"id":"https://openalex.org/W7207531302","doi":"https://doi.org/10.48550/arxiv.2609.01690","title":"Iterated-sumset spectra: The complete exponent law and its rank geometry","display_name":"Iterated-sumset spectra: The complete exponent law and its rank geometry","publication_year":2026,"publication_date":"2026-09-01","ids":{"openalex":"https://openalex.org/W7207531302","doi":"https://doi.org/10.48550/arxiv.2609.01690"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.01690","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.01690","pdf_url":"https://arxiv.org/pdf/2609.01690","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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.01690","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066757848","display_name":"Henry Shin","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Shin, Henry","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5066757848"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"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/T11166","display_name":"Analytic Number Theory Research","score":0.5297999978065491,"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"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.5297999978065491,"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.3882000148296356,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.05299999937415123,"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/sumset-size","display_name":"sumset size","score":0.36500000953674316},{"id":"https://openalex.org/keywords/sets-of-integers","display_name":"integer sets","score":0.5450000166893005},{"id":"https://openalex.org/keywords/addition-tables","display_name":"addition tables","score":0.503000020980835},{"id":"https://openalex.org/keywords/cohen-macaulay-rings","display_name":"Cohen-Macaulay rings","score":0.9890000224113464},{"id":"https://openalex.org/keywords/additive-combinatorics","display_name":"additive combinatorics","score":0.5009999871253967},{"id":"https://openalex.org/keywords/extremal-set-theory","display_name":"extremal set theory","score":0.38600000739097595}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8705000281333923},{"id":"https://openalex.org/C2780388253","wikidata":"https://www.wikidata.org/wiki/Q5421508","display_name":"Exponent","level":2,"score":0.8345000147819519},{"id":"https://openalex.org/C164226766","wikidata":"https://www.wikidata.org/wiki/Q7293202","display_name":"Rank (graph theory)","level":2,"score":0.691100001335144},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6506999731063843},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6328999996185303},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.5823000073432922},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.5252000093460083},{"id":"https://openalex.org/C87040749","wikidata":"https://www.wikidata.org/wiki/Q428971","display_name":"Power law","level":2,"score":0.44020000100135803},{"id":"https://openalex.org/C131584629","wikidata":"https://www.wikidata.org/wiki/Q4308705","display_name":"Coupling (piping)","level":2,"score":0.4106999933719635},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40779998898506165},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.35850000381469727},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.3346000015735626},{"id":"https://openalex.org/C93446932","wikidata":"https://www.wikidata.org/wiki/Q1972803","display_name":"Perfect power","level":2,"score":0.31470000743865967},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.29840001463890076},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.2635999917984009}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.01690","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.01690","pdf_url":"https://arxiv.org/pdf/2609.01690","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"doi:10.48550/arxiv.2609.01690","doi":"https://doi.org/10.48550/arxiv.2609.01690","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.01690","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":"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.01690","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.01690","pdf_url":"https://arxiv.org/pdf/2609.01690","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","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/W7207531302.pdf","grobid_xml":"https://content.openalex.org/works/W7207531302.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W4414430093","https://openalex.org/W4414456817","https://openalex.org/W4414987661","https://openalex.org/W7101696101","https://openalex.org/W7104255983","https://openalex.org/W7170050833","https://openalex.org/W7170655584","https://openalex.org/W7170957451","https://openalex.org/W7172320852"],"related_works":["https://openalex.org/W4416978636","https://openalex.org/W7220453305","https://openalex.org/W7172473239","https://openalex.org/W4402278688","https://openalex.org/W3116860877","https://openalex.org/W7101696101","https://openalex.org/W7214703384","https://openalex.org/W4417464805","https://openalex.org/W1932410633","https://openalex.org/W7100224384"],"abstract_inverted_index":{"For":[0,151],"integers":[1],"$h,k\\geq":[2],"1$,":[3],"let":[4],"$hA$":[5],"be":[6],"the":[7,17,35,41,132,187,195],"$h$-fold":[8],"sumset":[9],"of":[10,67,199,212],"$A$":[11],"and":[12,93,126,154,165,220],"put":[13],"$\\mathcal{R}(h,k)=\\{|hA|:A\\subset\\mathbb{Z},":[14],"|A|=k\\}$.":[15],"Previously,":[16],"fixed-cardinality":[18,43],"exponent":[19,44,133],"law":[20],"was":[21],"known":[22],"only":[23],"for":[24,61,182,194,210],"$k\\leq":[25],"3$;":[26],"every":[27,123],"fixed":[28,62],"$k\\geq":[29,63,155],"4$":[30],"remained":[31],"open.":[32],"We":[33],"settle":[34],"problem":[36],"in":[37,85,120],"full":[38],"by":[39],"determining":[40],"complete":[42],"law:":[45],"$|\\mathcal{R}(h,k)|=\\begin{cases}1,&k\\leq":[46],"2,\\\\":[47],"h,&k=3,\\\\":[48],"h^{k-1+o_k(1)},&k\\geq":[49],"4\\end{cases}$.":[50],"Here":[51],"$o_k(1)\\to":[52],"0$":[53],"as":[54,214],"$h\\to\\infty$":[55],"with":[56,81,174],"$k$":[57],"fixed.":[58],"More":[59],"sharply,":[60],"4$,":[64],"an":[65,117],"interval":[66],"length":[68,140],"$\u0398_k(h^{k-1})$":[69],"contains":[70],"at":[71],"least":[72,196],"$h^{k-1-o_k(1)}$":[73],"attainable":[74],"values.":[75],"At":[76,179],"$k=4$":[77],"we":[78],"prove":[79],"$|\\mathcal{R}(h,4)|=\u0398(h^3)$":[80],"positive":[82],"lower":[83],"density":[84],"its":[86],"ambient":[87],"interval,":[88],"disproving":[89],"Nathanson's":[90,148,217],"proposed":[91],"$o(h^3)$":[92],"$O(h^2)$":[94],"bounds.":[95],"One":[96],"bounded":[97],"addition-table":[98],"geometry":[99],"drives":[100],"these":[101],"results,":[102],"coupling":[103],"Hilbert-energy":[104],"amplification":[105],"to":[106],"optimal":[107],"finite-observation":[108],"compression.":[109],"Every":[110],"ordered":[111],"real":[112],"$k$-set":[113],"($k\\geq":[114],"2$)":[115],"has":[116,171],"integer":[118],"model":[119],"$[0,O_k(h^{k-2})]$":[121],"preserving":[122],"sum":[124],"equality":[125],"strict":[127],"comparison":[128],"through":[129],"degree":[130],"$h$;":[131],"$k-2$":[134],"is":[135,141],"sharp.":[136],"The":[137],"universal":[138],"label-realization":[139],"therefore":[142],"$\u0398_k(h^{k-2})$,":[143],"one":[144],"power":[145],"sharper":[146],"than":[147],"$O_k(h^{k-1})$":[149],"bound.":[150],"$h\\geq":[152,183],"2$":[153],"3$,":[156],"minimum":[157],"active":[158],"rank":[159,180],"equals":[160],"realization-frequency":[161],"codimension,":[162,164],"exponent-shape":[163],"sampling-rarity":[166],"exponent;":[167],"a":[168,200],"full-exponent":[169],"family":[170],"maximal-rank":[172],"witnesses":[173],"Cohen-Macaulay":[175],"toric":[176],"coordinate":[177],"rings.":[178],"zero,":[181],"2$,":[184],"it":[185],"proves":[186],"conjectural":[188],"OEIS":[189],"A227589":[190],"formula":[191],"$\\binom{h+2}{2}+\\mathbf{1}_{\\{2\\nmid":[192],"h\\}}$":[193],"normalized":[197],"diameter":[198],"four-point":[201],"$B_h$-set.":[202],"It":[203],"also":[204],"gives":[205],"exact":[206],"fixed-$(h,k)$":[207],"popularity":[208],"laws":[209],"$k$-subsets":[211],"$\\{1,\\ldots,q\\}$":[213],"$q\\to\\infty$,":[215],"resolving":[216],"Problems":[218],"9":[219],"10.":[221]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-04T00:00:00"}