{"id":"https://openalex.org/W7214355131","doi":"https://doi.org/10.48550/arxiv.2609.28791","title":"Packing Tails of Reciprocal Rectangles into Squares of Equal Area","display_name":"Packing Tails of Reciprocal Rectangles into Squares of Equal Area","publication_year":2026,"publication_date":"2026-09-23","ids":{"openalex":"https://openalex.org/W7214355131","doi":"https://doi.org/10.48550/arxiv.2609.28791"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.28791","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28791","pdf_url":"https://arxiv.org/pdf/2609.28791","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.28791","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5152881120","display_name":"Yu Jiang","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Jiang, Yu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5152881120"],"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/T12176","display_name":"Optimization and Packing Problems","score":0.9800000190734863,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12176","display_name":"Optimization and Packing Problems","score":0.9800000190734863,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.002899999963119626,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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.0027000000700354576,"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/rectangle-packing","display_name":"rectangle packing","score":0.5899999737739563},{"id":"https://openalex.org/keywords/random-permutations","display_name":"random permutations","score":0.37700000405311584},{"id":"https://openalex.org/keywords/compactness-arguments","display_name":"compactness arguments","score":0.5910000205039978},{"id":"https://openalex.org/keywords/lean-4-formal-verification","display_name":"Lean 4 formal verification","score":0.7089999914169312}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8400999903678894},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.8375999927520752},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7509999871253967},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.7251999974250793},{"id":"https://openalex.org/C7356347","wikidata":"https://www.wikidata.org/wiki/Q1307838","display_name":"Unit square","level":2,"score":0.6690000295639038},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.6007999777793884},{"id":"https://openalex.org/C135692309","wikidata":"https://www.wikidata.org/wiki/Q111124","display_name":"Square (algebra)","level":2,"score":0.5728999972343445},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.5512999892234802},{"id":"https://openalex.org/C184898388","wikidata":"https://www.wikidata.org/wiki/Q1435712","display_name":"Pairwise comparison","level":2,"score":0.5436999797821045},{"id":"https://openalex.org/C18648836","wikidata":"https://www.wikidata.org/wiki/Q381892","display_name":"Compact space","level":2,"score":0.5095000267028809},{"id":"https://openalex.org/C2777742833","wikidata":"https://www.wikidata.org/wiki/Q1964083","display_name":"Reciprocal","level":2,"score":0.49300000071525574},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44200000166893005},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.387800008058548},{"id":"https://openalex.org/C56086750","wikidata":"https://www.wikidata.org/wiki/Q6042592","display_name":"Integer programming","level":2,"score":0.33809998631477356},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.32359999418258667},{"id":"https://openalex.org/C130253271","wikidata":"https://www.wikidata.org/wiki/Q3851477","display_name":"Packing problems","level":2,"score":0.3154999911785126},{"id":"https://openalex.org/C122637931","wikidata":"https://www.wikidata.org/wiki/Q118084","display_name":"Unit (ring theory)","level":2,"score":0.3125},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.2741999924182892},{"id":"https://openalex.org/C53118041","wikidata":"https://www.wikidata.org/wiki/Q45867","display_name":"Parallelogram","level":3,"score":0.2685999870300293},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.2621000111103058}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.28791","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28791","pdf_url":"https://arxiv.org/pdf/2609.28791","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.28791","doi":"https://doi.org/10.48550/arxiv.2609.28791","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.28791","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.28791","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.28791","pdf_url":"https://arxiv.org/pdf/2609.28791","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/W7214355131.pdf","grobid_xml":"https://content.openalex.org/works/W7214355131.grobid-xml"},"referenced_works_count":1,"referenced_works":["https://openalex.org/W4309591052"],"related_works":["https://openalex.org/W4405767456","https://openalex.org/W4323320569","https://openalex.org/W4309591052","https://openalex.org/W2810047227","https://openalex.org/W2033869542","https://openalex.org/W3133809200","https://openalex.org/W142499401","https://openalex.org/W2017982477","https://openalex.org/W2064729796","https://openalex.org/W4382793646"],"abstract_inverted_index":{"The":[0,81,96,130,184,211],"Meir--Moser":[1,240],"rectangle-packing":[2,241],"problem":[3,242],"asks":[4],"whether":[5],"all":[6,93],"rectangles":[7],"with":[8,23,40,77,200],"side":[9,42,74],"lengths":[10],"\\(1/n\\)":[11],"and":[12,67,107,123,156,178,196,234],"\\(1/(n+1)\\),":[13],"for":[14,54,243],"\\(n\\ge1\\),":[15],"can":[16,179],"be":[17,180],"packed":[18],"into":[19,70],"the":[20,38,58,84,87,90,94,117,124,152,165,176,238,244],"unit":[21],"square":[22,72,85],"pairwise":[24,78],"disjoint":[25,79],"interiors.":[26,80],"We":[27,44,114],"establish":[28],"a":[29,63,71,137,146,157,170,188,197,201],"tail":[30],"version":[31],"of":[32,73,83,89,92,120,151,167,175],"this":[33],"problem.":[34],"Let":[35],"\\(R_n\\)":[36],"denote":[37],"rectangle":[39],"these":[41],"lengths.":[43],"prove":[45],"that":[46,172],"there":[47],"exists":[48],"an":[49,143,208],"integer":[50,112],"\\(m_0\\)":[51],"such":[52],"that,":[53],"every":[55,161],"\\(m\\ge":[56],"m_0\\),":[57],"family":[59],"\\(\\{R_n:n\\ge":[60],"m\\}\\)":[61],"admits":[62],"packing,":[64],"by":[65],"translations":[66],"right-angle":[68],"rotations,":[69],"length":[75],"\\(m^{-1/2}\\),":[76],"area":[82,119,144],"equals":[86],"sum":[88],"areas":[91],"rectangles.":[95],"geometric":[97,140],"construction":[98],"recursively":[99],"decomposes":[100],"rectangular":[101],"gaps,":[102],"while":[103],"local":[104],"randomized":[105],"quotas":[106],"random":[108],"permutations":[109],"assign":[110],"subsequent":[111],"indices.":[113],"separately":[115],"control":[116,150],"total":[118],"waiting":[121],"gaps":[122],"assignment":[125],"load":[126,190],"at":[127,248],"each":[128],"index.":[129],"proof":[131],"is":[132,173,224],"organized":[133],"in":[134,218],"six":[135],"steps:":[136],"finite-prefix":[138],"reduction,":[139],"row":[141],"decompositions,":[142],"bootstrap,":[145],"sharp":[147],"source-load":[148],"estimate,":[149],"actual":[153,192],"adaptive":[154,185],"construction,":[155],"compactness":[158],"limit.":[159],"For":[160],"finite":[162],"time":[163],"horizon,":[164],"probability":[166],"failure":[168],"has":[169],"bound":[171],"independent":[174],"horizon":[177],"made":[181],"arbitrarily":[182],"small.":[183],"step":[186],"uses":[187],"permanent":[189],"ledger,":[191],"fresh":[193],"height":[194],"queries,":[195],"one-sided":[198],"comparison":[199],"frozen":[202],"source":[203],"experiment.":[204],"Compactness":[205],"then":[206],"yields":[207],"infinite":[209],"packing.":[210],"final":[212],"packing":[213],"statements":[214],"have":[215],"been":[216],"checked":[217],"Lean":[219],"4.":[220],"A":[221],"sufficient":[222],"threshold":[223],"\\(m_0=10^{1000}\\).":[225],"This":[226],"result":[227],"applies":[228],"only":[229],"to":[230],"sufficiently":[231],"late":[232],"tails":[233],"does":[235],"not":[236],"resolve":[237],"original":[239],"full":[245],"sequence":[246],"starting":[247],"\\(n=1\\),":[249],"which":[250],"remains":[251],"open.":[252]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-26T00:00:00"}