{"id":"https://openalex.org/W7208717699","doi":"https://doi.org/10.48550/arxiv.2609.02939","title":"Structural rigidity in the Erd\u0151s-Graham two-set permutation problem","display_name":"Structural rigidity in the Erd\u0151s-Graham two-set permutation problem","publication_year":2026,"publication_date":"2026-08-31","ids":{"openalex":"https://openalex.org/W7208717699","doi":"https://doi.org/10.48550/arxiv.2609.02939"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.02939","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02939","pdf_url":"https://arxiv.org/pdf/2609.02939","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.02939","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5150037644","display_name":"William Kasel","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kasel, William","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5150037644"],"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.48100000619888306,"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/T11329","display_name":"Limits and Structures in Graph Theory","score":0.48100000619888306,"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.36550000309944153,"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.07410000264644623,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/erdos-graham-problem","display_name":"Erd\u0151s\u2013Graham problem","score":0.9290000200271606},{"id":"https://openalex.org/keywords/three-term-arithmetic-progressions","display_name":"three-term arithmetic progressions","score":0.9470000267028809},{"id":"https://openalex.org/keywords/precedence-constraints","display_name":"precedence constraints","score":0.7850000262260437},{"id":"https://openalex.org/keywords/structural-rigidity","display_name":"structural rigidity","score":0.7120000123977661},{"id":"https://openalex.org/keywords/sat-encoding","display_name":"SAT encoding","score":0.5770000219345093},{"id":"https://openalex.org/keywords/certificate-validation","display_name":"certificate validation","score":0.47999998927116394}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8226000070571899},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5253999829292297},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5138000249862671},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.44859999418258667},{"id":"https://openalex.org/C119770614","wikidata":"https://www.wikidata.org/wiki/Q5516347","display_name":"Gadget","level":2,"score":0.39010000228881836},{"id":"https://openalex.org/C42812","wikidata":"https://www.wikidata.org/wiki/Q1082910","display_name":"Partition (number theory)","level":2,"score":0.37290000915527344},{"id":"https://openalex.org/C78023250","wikidata":"https://www.wikidata.org/wiki/Q657596","display_name":"Unary operation","level":2,"score":0.35679998993873596},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.3359000086784363},{"id":"https://openalex.org/C128107574","wikidata":"https://www.wikidata.org/wiki/Q182003","display_name":"Injective function","level":2,"score":0.33149999380111694},{"id":"https://openalex.org/C2781302577","wikidata":"https://www.wikidata.org/wiki/Q209","display_name":"Rectangle","level":2,"score":0.3303000032901764},{"id":"https://openalex.org/C2776261394","wikidata":"https://www.wikidata.org/wiki/Q315562","display_name":"Impossibility","level":2,"score":0.32739999890327454},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.3208000063896179},{"id":"https://openalex.org/C48659774","wikidata":"https://www.wikidata.org/wiki/Q4907197","display_name":"Bijection, injection and surjection","level":3,"score":0.3179999887943268},{"id":"https://openalex.org/C80899671","wikidata":"https://www.wikidata.org/wiki/Q1304193","display_name":"Vertex (graph theory)","level":3,"score":0.30880001187324524},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.30090001225471497},{"id":"https://openalex.org/C180645754","wikidata":"https://www.wikidata.org/wiki/Q474715","display_name":"Partially ordered set","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C2778134712","wikidata":"https://www.wikidata.org/wiki/Q1047307","display_name":"Bundle","level":2,"score":0.2928999960422516},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.28029999136924744},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.27649998664855957},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.2687000036239624},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C160343418","wikidata":"https://www.wikidata.org/wiki/Q185256","display_name":"Rigidity (electromagnetism)","level":2,"score":0.2531999945640564}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2609.02939","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02939","pdf_url":"https://arxiv.org/pdf/2609.02939","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.02939","doi":"https://doi.org/10.48550/arxiv.2609.02939","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.02939","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.02939","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.02939","pdf_url":"https://arxiv.org/pdf/2609.02939","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/W7208717699.pdf","grobid_xml":"https://content.openalex.org/works/W7208717699.grobid-xml"},"referenced_works_count":5,"referenced_works":["https://openalex.org/W2962977362","https://openalex.org/W4401132386","https://openalex.org/W4401254018","https://openalex.org/W7129265437","https://openalex.org/W7202261796"],"related_works":["https://openalex.org/W2025427063","https://openalex.org/W2157310124","https://openalex.org/W7222970774","https://openalex.org/W7162298105","https://openalex.org/W7096271459","https://openalex.org/W7096115254","https://openalex.org/W2009822693","https://openalex.org/W2295702520","https://openalex.org/W2793045749","https://openalex.org/W7220387094"],"abstract_inverted_index":{"Call":[0],"a":[1,4,139,161],"permutation":[2],"of":[3,6,59,88,105,109,142,205],"set":[5],"positive":[7,31],"integers":[8,32],"admissible":[9,75,180],"if":[10],"it":[11],"contains":[12],"no":[13,179],"increasing":[14],"or":[15],"decreasing":[16],"three-term":[17,121],"arithmetic":[18],"progression":[19],"in":[20,173],"position":[21],"order.":[22],"Davis,":[23],"Entringer,":[24],"Graham,":[25],"and":[26,44,85,123,133,164,199],"Simmons":[27],"proved":[28],"that":[29,138],"the":[30,52,57,60,86,99,116,130,183,190,206],"are":[33],"not":[34,188],"admissibly":[35,41],"permutable,":[36],"partitioned":[37],"them":[38],"into":[39],"three":[40],"permutable":[42],"sets,":[43],"asked":[45],"whether":[46],"two":[47],"sets":[48],"suffice.":[49],"We":[50,69,135],"study":[51],"canonical":[53,184],"dyadic":[54,93,170,185],"candidate":[55],"S_A,":[56],"union":[58],"blocks":[61,94],"(2^{k-1},":[62],"2^k]":[63],"over":[64],"even":[65],"k":[66],">=":[67],"2.":[68],"establish":[70],"several":[71],"structural":[72],"restrictions":[73],"on":[74,113,158],"permutations,":[76],"including":[77],"an":[78,81,110],"orbit":[79],"obstruction,":[80],"asymmetric":[82],"balance":[83],"law,":[84],"impossibility":[87],"placing":[89],"all":[90],"sufficiently":[91],"large":[92],"as":[95],"contiguous":[96],"runs.":[97],"For":[98],"main":[100],"result,":[101],"we":[102],"reduce":[103],"admissibility":[104],"S_A":[106,177],"to":[107,151],"feasibility":[108],"order":[111,117],"gadget":[112,144],"(M,":[114],"2M]:":[115],"must":[118],"avoid":[119],"monotone":[120],"progressions":[122],"satisfy":[124],"fifteen":[125],"precedence":[126],"constraints":[127],"induced":[128],"by":[129],"values":[131],"15":[132],"16.":[134],"then":[136],"prove":[137],"three-constraint":[140],"core":[141],"this":[143,174],"is":[145],"inconsistent":[146],"for":[147],"every":[148,168],"M":[149],"congruent":[150],"0":[152],"mod":[153],"8,":[154],"using":[155],"zigzag":[156],"propagation":[157],"arithmetic-progression":[159],"ladders,":[160],"transfer":[162],"lock,":[163],"mirror-flood":[165],"induction.":[166],"Since":[167],"relevant":[169],"scale":[171],"lies":[172],"residue":[175],"class,":[176],"admits":[178],"permutation.":[181],"Thus":[182],"partition":[186],"does":[187],"solve":[189],"two-set":[191],"problem,":[192],"which":[193],"remains":[194],"open.":[195],"Independent":[196],"SAT":[197],"encodings":[198],"certificate":[200],"checks":[201],"provide":[202],"auxiliary":[203],"verification":[204],"human-readable":[207],"proof.":[208]},"counts_by_year":[],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2026-09-05T00:00:00"}