{"id":"https://openalex.org/W7221054992","doi":"https://doi.org/10.48550/arxiv.2610.10416","title":"The local dynamical structure of $\u0394^*$ sets via a new Furstenberg family algebra","display_name":"The local dynamical structure of $\u0394^*$ sets via a new Furstenberg family algebra","publication_year":2026,"publication_date":"2026-10-07","ids":{"openalex":"https://openalex.org/W7221054992","doi":"https://doi.org/10.48550/arxiv.2610.10416"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.10416","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10416","pdf_url":"https://arxiv.org/pdf/2610.10416","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","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2610.10416","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5157969636","display_name":"Angelina Blahodatna","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I133738476","display_name":"University of Massachusetts Lowell","ror":"https://ror.org/03hamhx47","country_code":"US","type":"education","lineage":["https://openalex.org/I133738476"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Blahodatna, Angelina","raw_affiliation_strings":["Dept. of Mathematics and Statistics , U. of Massachusetts Lowell , Lowell , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics and Statistics , U. of Massachusetts Lowell , Lowell , MA , USA","institution_ids":["https://openalex.org/I133738476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5157966687","display_name":"Lauren Detmold","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I133738476","display_name":"University of Massachusetts Lowell","ror":"https://ror.org/03hamhx47","country_code":"US","type":"education","lineage":["https://openalex.org/I133738476"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Detmold, Lauren","raw_affiliation_strings":["Dept. of Mathematics and Statistics , U. of Massachusetts Lowell , Lowell , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics and Statistics , U. of Massachusetts Lowell , Lowell , MA , USA","institution_ids":["https://openalex.org/I133738476"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015438673","display_name":"Daniel Glasscock","orcid":"https://orcid.org/0000-0002-3107-8375","observed_orcids":["https://orcid.org/0000-0002-3107-8375"]},"institutions":[{"id":"https://openalex.org/I133738476","display_name":"University of Massachusetts Lowell","ror":"https://ror.org/03hamhx47","country_code":"US","type":"education","lineage":["https://openalex.org/I133738476"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Glasscock, Daniel","raw_affiliation_strings":["Dept. of Mathematics and Statistics , U. of Massachusetts Lowell , Lowell , MA , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics and Statistics , U. of Massachusetts Lowell , Lowell , MA , USA","institution_ids":["https://openalex.org/I133738476"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5083174238","display_name":"ANH NGOC LE","orcid":"https://orcid.org/0000-0003-4928-4932","observed_orcids":["https://orcid.org/0000-0003-4928-4932"]},"institutions":[{"id":"https://openalex.org/I131651094","display_name":"University of Denver","ror":"https://ror.org/04w7skc03","country_code":"US","type":"education","lineage":["https://openalex.org/I131651094"]},{"id":"https://openalex.org/I4210147635","display_name":"Denver School of Nursing","ror":"https://ror.org/043j8fa20","country_code":"US","type":"education","lineage":["https://openalex.org/I4210147635"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Le, Anh N.","raw_affiliation_strings":["Dept. of Mathematics , U. of Denver , Denver , CO , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of Mathematics , U. of Denver , Denver , CO , USA","institution_ids":["https://openalex.org/I131651094","https://openalex.org/I4210147635"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.6977999806404114,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T10588","display_name":"Mathematical Dynamics and Fractals","score":0.6977999806404114,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.2542000114917755,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"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/T10884","display_name":"Holomorphic and Operator Theory","score":0.0035000001080334187,"subfield":{"id":"https://openalex.org/subfields/2604","display_name":"Applied Mathematics"},"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/difference-sets","display_name":"difference sets","score":0.8550000190734863},{"id":"https://openalex.org/keywords/commutative-semigroups","display_name":"commutative semigroups","score":0.9179999828338623},{"id":"https://openalex.org/keywords/group-rotation","display_name":"group rotation","score":0.7919999957084656},{"id":"https://openalex.org/keywords/furstenberg-family","display_name":"F\u00fcrstenberg family","score":0.8289999961853027},{"id":"https://openalex.org/keywords/de-morgan-algebras","display_name":"De Morgan algebras","score":0.7279999852180481},{"id":"https://openalex.org/keywords/minimal-actions","display_name":"minimal actions","score":0.9160000085830688},{"id":"https://openalex.org/keywords/local-dynamics","display_name":"local dynamics","score":0.5630000233650208},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.6959999799728394},{"id":"https://openalex.org/keywords/lean-theorem-prover","display_name":"Lean theorem prover","score":0.8479999899864197}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7562000155448914},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.6686000227928162},{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.6287000179290771},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.6044999957084656},{"id":"https://openalex.org/C207405024","wikidata":"https://www.wikidata.org/wiki/Q207348","display_name":"Semigroup","level":2,"score":0.5968999862670898},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5943999886512756},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4821999967098236},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.47870001196861267},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.44040000438690186},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4221000075340271},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4088999927043915},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.39579999446868896},{"id":"https://openalex.org/C2781311116","wikidata":"https://www.wikidata.org/wiki/Q83306","display_name":"Group (periodic table)","level":2,"score":0.3538999855518341},{"id":"https://openalex.org/C2777044963","wikidata":"https://www.wikidata.org/wiki/Q5384707","display_name":"Equivalence class (music)","level":2,"score":0.3434000015258789},{"id":"https://openalex.org/C78313660","wikidata":"https://www.wikidata.org/wiki/Q727659","display_name":"Commutative algebra","level":2,"score":0.33719998598098755},{"id":"https://openalex.org/C2988750069","wikidata":"https://www.wikidata.org/wiki/Q60790315","display_name":"Automorphism group","level":3,"score":0.32679998874664307},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C46149467","wikidata":"https://www.wikidata.org/wiki/Q7574800","display_name":"Special classes of semigroups","level":3,"score":0.32179999351501465},{"id":"https://openalex.org/C161491579","wikidata":"https://www.wikidata.org/wiki/Q858656","display_name":"Commutative ring","level":3,"score":0.31869998574256897},{"id":"https://openalex.org/C150591576","wikidata":"https://www.wikidata.org/wiki/Q739925","display_name":"Family of sets","level":3,"score":0.303600013256073},{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.29339998960494995},{"id":"https://openalex.org/C16101541","wikidata":"https://www.wikidata.org/wiki/Q1350838","display_name":"Symbolic dynamics","level":2,"score":0.27390000224113464},{"id":"https://openalex.org/C47600822","wikidata":"https://www.wikidata.org/wiki/Q7825032","display_name":"Topological dynamics","level":5,"score":0.2669000029563904},{"id":"https://openalex.org/C115179944","wikidata":"https://www.wikidata.org/wiki/Q371133","display_name":"Incidence algebra","level":5,"score":0.2615000009536743},{"id":"https://openalex.org/C2778753846","wikidata":"https://www.wikidata.org/wiki/Q6554239","display_name":"Link (geometry)","level":2,"score":0.2605000138282776},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.2535000145435333},{"id":"https://openalex.org/C51287006","wikidata":"https://www.wikidata.org/wiki/Q63565120","display_name":"Quotient algebra","level":4,"score":0.2508000135421753}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.10416","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10416","pdf_url":"https://arxiv.org/pdf/2610.10416","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.2610.10416","doi":"https://doi.org/10.48550/arxiv.2610.10416","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.10416","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:2610.10416","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.10416","pdf_url":"https://arxiv.org/pdf/2610.10416","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/W7221054992.pdf","grobid_xml":"https://content.openalex.org/works/W7221054992.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2010014812","https://openalex.org/W7127595093","https://openalex.org/W2025399672","https://openalex.org/W2583185337","https://openalex.org/W7135206498","https://openalex.org/W3216430835","https://openalex.org/W2941068856","https://openalex.org/W3044002133","https://openalex.org/W39627172","https://openalex.org/W2493544404"],"abstract_inverted_index":{"In":[0],"this":[1,62,111],"paper,":[2],"we":[3,125],"strengthen":[4],"the":[5,8,14,54,71,108,134],"connection":[6],"between":[7],"combinatorics":[9],"of":[10,16,33,44,82,107],"difference":[11,31],"sets":[12,24],"and":[13,47,49,51,85,101,124],"dynamics":[15],"group":[17],"rotations.":[18],"Our":[19],"main":[20,116],"result":[21,68],"shows":[22],"that":[23,70,96],"which":[25],"have":[26],"non-empty":[27],"intersection":[28],"with":[29],"all":[30,106],"subsets":[32],"a":[34,66,89,121,128],"commutative":[35,58,83],"semigroup":[36],"possess":[37],"local":[38],"Bohr":[39],"structure.":[40],"This":[41],"generalizes":[42],"results":[43,109,117],"Bergelson,":[45],"Furstenberg,":[46],"Weiss":[48],"Host":[50],"Kra":[52],"from":[53],"integers":[55],"to":[56,127],"arbitrary":[57],"semigroups.":[59],"We":[60,103],"accomplish":[61],"by":[63,86],"A)":[64],"utilizing":[65],"recent":[67],"showing":[69],"regionally":[72],"proximal":[73],"relation":[74,78],"is":[75],"an":[76],"equivalence":[77],"for":[79,98,133],"minimal":[80],"actions":[81],"semigroups":[84],"B)":[87],"describing":[88],"new,":[90],"DeMorgan-type":[91],"algebra":[92],"on":[93],"Furstenberg":[94],"families":[95],"allows":[97],"efficient":[99],"manipulation":[100],"computation.":[102],"formally":[104],"verify":[105],"in":[110,113,120],"paper":[112],"Lean.":[114],"The":[115],"are":[118],"verified":[119],"Palomar":[122],"submission,":[123],"link":[126],"Github":[129],"repository":[130],"containing":[131],"code":[132],"complete":[135],"verification.":[136]},"counts_by_year":[],"updated_date":"2026-10-28T10:33:24.094632","created_date":"2026-10-09T00:00:00"}