{"id":"https://openalex.org/W7224965186","doi":"https://doi.org/10.48550/arxiv.2610.39354","title":"Construction and formal verification of a special topology on {\\mathbb{Z}}^{n}: characterization of connected subsets","display_name":"Construction and formal verification of a special topology on {\\mathbb{Z}}^{n}: characterization of connected subsets","publication_year":2026,"publication_date":"2026-10-29","ids":{"openalex":"https://openalex.org/W7224965186","doi":"https://doi.org/10.48550/arxiv.2610.39354"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2610.39354","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.39354","pdf_url":"https://arxiv.org/pdf/2610.39354","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.39354","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009924299","display_name":"Ignacio Vega-Paez","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I68368234","display_name":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional","ror":"https://ror.org/009eqmr18","country_code":"MX","type":"facility","lineage":["https://openalex.org/I59361560","https://openalex.org/I68368234"]}],"countries":["MX"],"is_corresponding":true,"raw_author_name":"Vega-P\u00e1ez, Ignacio","raw_affiliation_strings":["Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional (CINVESTAV-IPN) , Mexico City , Mexico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Centro de Investigaci\u00f3n y de Estudios Avanzados del Instituto Polit\u00e9cnico Nacional (CINVESTAV-IPN) , Mexico City , Mexico","institution_ids":["https://openalex.org/I68368234"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5009924299"],"corresponding_institution_ids":["https://openalex.org/I68368234"],"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.823199987411499,"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"}},"topics":[{"id":"https://openalex.org/T11151","display_name":"Advanced Topology and Set Theory","score":0.823199987411499,"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/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.03889999911189079,"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/T10126","display_name":"Logic, programming, and type systems","score":0.02630000002682209,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/connected-subsets","display_name":"connected subsets","score":0.7900000214576721},{"id":"https://openalex.org/keywords/consecutive-integers","display_name":"consecutive integers","score":0.9750000238418579},{"id":"https://openalex.org/keywords/neighborhood","display_name":"neighborhood","score":0.38999998569488525},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.8320000171661377},{"id":"https://openalex.org/keywords/lean-4","display_name":"Lean 4","score":0.9760000109672546},{"id":"https://openalex.org/keywords/mathlib","display_name":"Mathlib","score":0.9629999995231628}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.651199996471405},{"id":"https://openalex.org/C201943243","wikidata":"https://www.wikidata.org/wiki/Q7551008","display_name":"Social connectedness","level":2,"score":0.6079999804496765},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.5557000041007996},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5016000270843506},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.4674000144004822},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.4366999864578247},{"id":"https://openalex.org/C97137487","wikidata":"https://www.wikidata.org/wiki/Q729138","display_name":"Integer (computer science)","level":2,"score":0.4097000062465668},{"id":"https://openalex.org/C162392398","wikidata":"https://www.wikidata.org/wiki/Q272404","display_name":"Finite set","level":2,"score":0.4025000035762787},{"id":"https://openalex.org/C98184364","wikidata":"https://www.wikidata.org/wiki/Q1780131","display_name":"Argument (complex analysis)","level":2,"score":0.3630000054836273},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.3612000048160553},{"id":"https://openalex.org/C12426560","wikidata":"https://www.wikidata.org/wiki/Q189569","display_name":"Basis (linear algebra)","level":2,"score":0.325300008058548},{"id":"https://openalex.org/C201640847","wikidata":"https://www.wikidata.org/wiki/Q2362924","display_name":"Complete lattice","level":3,"score":0.3230000138282776},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.28459998965263367},{"id":"https://openalex.org/C164953516","wikidata":"https://www.wikidata.org/wiki/Q320357","display_name":"Closed set","level":2,"score":0.2815000116825104},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.28029999136924744},{"id":"https://openalex.org/C2777151079","wikidata":"https://www.wikidata.org/wiki/Q141160","display_name":"Parity (physics)","level":2,"score":0.2678000032901764},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.26579999923706055},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.2606000006198883},{"id":"https://openalex.org/C81332173","wikidata":"https://www.wikidata.org/wiki/Q179899","display_name":"Topological space","level":2,"score":0.2590000033378601},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C110729354","wikidata":"https://www.wikidata.org/wiki/Q185478","display_name":"Countable set","level":2,"score":0.25780001282691956},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.25119999051094055}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:arXiv.org:2610.39354","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.39354","pdf_url":"https://arxiv.org/pdf/2610.39354","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.39354","doi":"https://doi.org/10.48550/arxiv.2610.39354","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2610.39354","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.39354","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2610.39354","pdf_url":"https://arxiv.org/pdf/2610.39354","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/W7224965186.pdf","grobid_xml":"https://content.openalex.org/works/W7224965186.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2328612796","https://openalex.org/W4308498421","https://openalex.org/W1998382667","https://openalex.org/W2008228633","https://openalex.org/W905952661","https://openalex.org/W4224021285","https://openalex.org/W2182235615","https://openalex.org/W1573971499","https://openalex.org/W2909174759","https://openalex.org/W746798075"],"abstract_inverted_index":{"We":[0,40,73],"examine":[1],"whether":[2],"the":[3,13,30,43,47,50,53,80,94,98,123,128],"integers":[4],"admit":[5],"a":[6,22,38,56,76,86,132,136],"topology":[7],"whose":[8],"connected":[9],"subsets":[10],"are":[11],"precisely":[12],"sets":[14],"of":[15,49,52,69,102],"consecutive":[16],"integers.":[17],"The":[18,105],"main":[19],"result":[20,109],"gives":[21],"construction":[23,106],"for":[24,32],"every":[25],"integer":[26,103],"lattice":[27,71],"{\\mathbb{Z}}^{n},":[28],"n>0;":[29],"answer":[31],"Z":[33],"is":[34],"then":[35],"obtained":[36],"as":[37],"corollary.":[39],"prove":[41],"that":[42,59],"neighborhoods":[44],"determined":[45],"by":[46,66,115,122],"parity":[48],"sum":[51],"coordinates":[54],"form":[55],"basis":[57],"and":[58,79,85,91,97,107,118,135],"topological":[60],"connectedness":[61],"agrees":[62],"exactly":[63],"with":[64],"accessibility":[65],"finite":[67],"paths":[68],"unit":[70],"steps.":[72],"also":[74],"present":[75,129],"deductive":[77],"audit":[78],"correspondence":[81],"between":[82],"this":[83],"argument":[84],"verification":[87],"in":[88,111,120],"Lean":[89],"4":[90],"Mathlib,":[92],"including":[93],"empty":[95],"set":[96],"independent":[99],"formal":[100,139],"characterization":[101],"intervals.":[104],"mathematical":[108],"originate":[110],"Problem":[112],"5712,":[113],"proposed":[114],"Dan":[116],"Marcus":[117],"solved":[119],"1970":[121],"Cleveland":[124],"State":[125],"University":[126],"group;":[127],"article":[130],"contributes":[131],"detailed":[133],"exposition":[134],"report":[137],"on":[138],"verification.":[140]},"counts_by_year":[],"updated_date":"2026-11-02T09:45:03.842371","created_date":"2026-10-31T00:00:00"}