{"id":"https://openalex.org/W7203528211","doi":"https://doi.org/10.48550/arxiv.2609.20196","title":"Rigidity of Symmetric Holomorphic Functions on Infinite-Dimensional Sequence Spaces","display_name":"Rigidity of Symmetric Holomorphic Functions on Infinite-Dimensional Sequence Spaces","publication_year":2026,"publication_date":"2026-08-06","ids":{"openalex":"https://openalex.org/W7203528211","doi":"https://doi.org/10.48550/arxiv.2609.20196"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2609.20196","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20196","pdf_url":"https://arxiv.org/pdf/2609.20196","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.20196","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077739339","display_name":"David Victor Feldman","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I161057412","display_name":"University of New Hampshire","ror":"https://ror.org/01rmh9n78","country_code":"US","type":"education","lineage":["https://openalex.org/I161057412"]},{"id":"https://openalex.org/I920285187","display_name":"Siena College","ror":"https://ror.org/01v62m802","country_code":"US","type":"education","lineage":["https://openalex.org/I920285187"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Feldman, David","raw_affiliation_strings":["Department of Mathematics , Siena College , Loudonville , NY 12211 , USA","Department of Mathematics and Statistics , University of New Hampshire , Durham , NH 03824 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics , Siena College , Loudonville , NY 12211 , USA","institution_ids":["https://openalex.org/I920285187"]},{"raw_affiliation_string":"Department of Mathematics and Statistics , University of New Hampshire , Durham , NH 03824 , USA","institution_ids":["https://openalex.org/I161057412"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024103638","display_name":"Jon Bannon","orcid":"https://orcid.org/0000-0002-6347-5447","observed_orcids":["https://orcid.org/0000-0002-6347-5447"]},"institutions":[{"id":"https://openalex.org/I161057412","display_name":"University of New Hampshire","ror":"https://ror.org/01rmh9n78","country_code":"US","type":"education","lineage":["https://openalex.org/I161057412"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bannon, Jon","raw_affiliation_strings":["Department of Mathematics and Statistics , University of New Hampshire , Durham , NH 03824 , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics , University of New Hampshire , Durham , NH 03824 , USA","institution_ids":["https://openalex.org/I161057412"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"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/T11822","display_name":"Analytic and geometric function theory","score":0.7275000214576721,"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/T11822","display_name":"Analytic and geometric function theory","score":0.7275000214576721,"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.10530000180006027,"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"}},{"id":"https://openalex.org/T11545","display_name":"Advanced Banach Space Theory","score":0.07620000094175339,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/null-sequences","display_name":"null sequences","score":0.6460000276565552},{"id":"https://openalex.org/keywords/rigidity","display_name":"rigidity","score":0.6269999742507935},{"id":"https://openalex.org/keywords/constant-functions","display_name":"constant functions","score":0.5260000228881836},{"id":"https://openalex.org/keywords/banach-limits","display_name":"Banach limits","score":0.6320000290870667},{"id":"https://openalex.org/keywords/bounded-sequences","display_name":"bounded sequences","score":0.7020000219345093},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7590000033378601},{"id":"https://openalex.org/keywords/lean-4","display_name":"Lean 4","score":0.9409999847412109},{"id":"https://openalex.org/keywords/mathlib","display_name":"Mathlib","score":0.7319999933242798}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8065999746322632},{"id":"https://openalex.org/C204575570","wikidata":"https://www.wikidata.org/wiki/Q207476","display_name":"Holomorphic function","level":2,"score":0.7384999990463257},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.6470000147819519},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.611299991607666},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.5819000005722046},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.5156000256538391},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.4803999960422516},{"id":"https://openalex.org/C62354387","wikidata":"https://www.wikidata.org/wiki/Q875399","display_name":"Boundary (topology)","level":2,"score":0.4745999872684479},{"id":"https://openalex.org/C160343418","wikidata":"https://www.wikidata.org/wiki/Q185256","display_name":"Rigidity (electromagnetism)","level":2,"score":0.4440999925136566},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.37380000948905945},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.3492000102996826},{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.3416999876499176},{"id":"https://openalex.org/C2779886137","wikidata":"https://www.wikidata.org/wiki/Q21030012","display_name":"Symmetry (geometry)","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C93226319","wikidata":"https://www.wikidata.org/wiki/Q193137","display_name":"Differential (mechanical device)","level":2,"score":0.31690001487731934},{"id":"https://openalex.org/C13336665","wikidata":"https://www.wikidata.org/wiki/Q125977","display_name":"Vector space","level":2,"score":0.3095000088214874},{"id":"https://openalex.org/C70710897","wikidata":"https://www.wikidata.org/wiki/Q680081","display_name":"Separable space","level":2,"score":0.288100004196167},{"id":"https://openalex.org/C107264478","wikidata":"https://www.wikidata.org/wiki/Q3058183","display_name":"Bergman space","level":3,"score":0.2669000029563904},{"id":"https://openalex.org/C192939610","wikidata":"https://www.wikidata.org/wiki/Q188444","display_name":"Differential geometry","level":2,"score":0.25920000672340393},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.2590000033378601},{"id":"https://openalex.org/C142730499","wikidata":"https://www.wikidata.org/wiki/Q934367","display_name":"Function space","level":2,"score":0.257999986410141},{"id":"https://openalex.org/C2456702","wikidata":"https://www.wikidata.org/wiki/Q1375954","display_name":"Vector-valued function","level":2,"score":0.25380000472068787},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.25220000743865967},{"id":"https://openalex.org/C71287196","wikidata":"https://www.wikidata.org/wiki/Q847204","display_name":"Limit of a sequence","level":3,"score":0.2515999972820282}],"mesh":[],"locations_count":6,"locations":[{"id":"pmh:oai:arXiv.org:2609.20196","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20196","pdf_url":"https://arxiv.org/pdf/2609.20196","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.20196","doi":"https://doi.org/10.48550/arxiv.2609.20196","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2609.20196","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"},{"id":"doi:10.5281/zenodo.21944129","doi":"https://doi.org/10.5281/zenodo.21944129","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21944129","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.21944130","doi":"https://doi.org/10.5281/zenodo.21944130","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21944130","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.21944168","doi":"https://doi.org/10.5281/zenodo.21944168","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21944168","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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"},{"id":"doi:10.5281/zenodo.21960636","doi":"https://doi.org/10.5281/zenodo.21960636","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.21960636","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"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.20196","doi":null,"is_oa":true,"landing_page_url":"https://arxiv.org/abs/2609.20196","pdf_url":"https://arxiv.org/pdf/2609.20196","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/W7203528211.pdf","grobid_xml":"https://content.openalex.org/works/W7203528211.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2092405391","https://openalex.org/W2618997682","https://openalex.org/W2006516170","https://openalex.org/W2030847180","https://openalex.org/W2908433014","https://openalex.org/W2167910440","https://openalex.org/W2342363436","https://openalex.org/W4233367120","https://openalex.org/W2028276869","https://openalex.org/W2044264517"],"abstract_inverted_index":{"Symmetric":[0],"holomorphic":[1],"functions":[2],"on":[3,7,53,80],"permutation-invariant":[4],"domains":[5],"modeled":[6],"the":[8,18,35,39,46,54,72,81],"space":[9],"of":[10,38,61],"null":[11],"sequences":[12],"are":[13],"constant:":[14],"permutation":[15],"symmetry":[16],"forces":[17],"differential":[19],"to":[20],"vanish":[21],"along":[22,28],"constant":[23],"tails,":[24],"and":[25,49,77,85],"constancy":[26],"propagates":[27],"finitely":[29],"supported":[30],"segments.":[31],"The":[32],"paper":[33],"locates":[34],"exact":[36],"boundary":[37],"phenomenon,":[40],"with":[41],"a":[42,50],"proved":[43],"obstruction":[44],"at":[45],"exceptional":[47],"coordinates":[48],"Banach-limit":[51],"counterexample":[52],"bounded":[55],"sequences.":[56],"Every":[57],"numbered":[58],"mathematical":[59],"statement":[60],"Sections":[62],"2-5":[63],"is":[64],"formally":[65],"verified":[66],"in":[67],"Lean":[68],"4":[69],"against":[70],"Mathlib;":[71],"development":[73],"compiles":[74],"without":[75],"sorry":[76],"depends":[78],"only":[79],"axioms":[82],"propext,":[83],"Classical.choice,":[84],"Quot.sound.":[86]},"counts_by_year":[],"updated_date":"2026-11-06T12:05:46.655746","created_date":"2026-08-16T00:00:00"}