{"id":"https://openalex.org/W3154638618","doi":"https://doi.org/10.1007/s00454-023-00513-0","title":"Computing Homotopy Classes for Diagrams","display_name":"Computing Homotopy Classes for Diagrams","publication_year":2023,"publication_date":"2023-07-20","ids":{"openalex":"https://openalex.org/W3154638618","doi":"https://doi.org/10.1007/s00454-023-00513-0","mag":"3154638618","pmid":"https://pubmed.ncbi.nlm.nih.gov/37808960"},"language":"lv","primary_location":{"id":"doi:10.1007/s00454-023-00513-0","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s00454-023-00513-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00454-023-00513-0.pdf","source":{"id":"https://openalex.org/S103671469","display_name":"Discrete & Computational Geometry","issn_l":"0179-5376","issn":["0179-5376","1432-0444"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete &amp; Computational Geometry","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00454-023-00513-0.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026931301","display_name":"Marek Filakovsk\u00fd","orcid":"https://orcid.org/0000-0001-5978-2623"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Marek Filakovsk\u00fd","raw_affiliation_strings":["Department of Algebra, Charles University, Sokolovsk\u00e1 49/83, 186 75 Prague 8, Czech Republic","Department of Algebra, Charles University, Sokolovsk\u00e1 49/83, 186 75, Prague 8, Czech Republic"],"raw_orcid":"https://orcid.org/0000-0001-5978-2623","affiliations":[{"raw_affiliation_string":"Department of Algebra, Charles University, Sokolovsk\u00e1 49/83, 186 75 Prague 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Algebra, Charles University, Sokolovsk\u00e1 49/83, 186 75, Prague 8, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067861585","display_name":"Luk\u00e1\u0161 Vok\u0159\u00ednek","orcid":"https://orcid.org/0000-0002-9722-518X"},"institutions":[{"id":"https://openalex.org/I21449261","display_name":"Masaryk University","ror":"https://ror.org/02j46qs45","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21449261"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Luk\u00e1\u0161 Vok\u0159\u00ednek","raw_affiliation_strings":["Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1\u00a02, 611\u00a037 Brno, Czech Republic","Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1\u00a02, 611\u00a037, Brno, Czech Republic"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1\u00a02, 611\u00a037 Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]},{"raw_affiliation_string":"Department of Mathematics and Statistics, Masaryk University, Kotl\u00e1\u0159sk\u00e1\u00a02, 611\u00a037, Brno, Czech Republic","institution_ids":["https://openalex.org/I21449261"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5026931301"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":{"value":2290,"currency":"EUR","value_usd":2890},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.0041993,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"70","issue":"3","first_page":"866","last_page":"920"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12536","display_name":"Topological and Geometric Data Analysis","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10896","display_name":"Homotopy and Cohomology in Algebraic Topology","score":0.9984999895095825,"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/T10287","display_name":"Algebraic structures and combinatorial models","score":0.9764999747276306,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.8452461957931519},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7025607228279114},{"id":"https://openalex.org/keywords/simplicial-complex","display_name":"Simplicial complex","score":0.6921144723892212},{"id":"https://openalex.org/keywords/equivariant-map","display_name":"Equivariant map","score":0.6247092485427856},{"id":"https://openalex.org/keywords/homotopy","display_name":"Homotopy","score":0.53883957862854},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.4598565697669983},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.4546324610710144},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.4251222312450409},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4151308536529541},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.41387084126472473},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.13523739576339722}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.8452461957931519},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7025607228279114},{"id":"https://openalex.org/C187929450","wikidata":"https://www.wikidata.org/wiki/Q994399","display_name":"Simplicial complex","level":2,"score":0.6921144723892212},{"id":"https://openalex.org/C171036898","wikidata":"https://www.wikidata.org/wiki/Q256355","display_name":"Equivariant map","level":2,"score":0.6247092485427856},{"id":"https://openalex.org/C5961521","wikidata":"https://www.wikidata.org/wiki/Q746083","display_name":"Homotopy","level":2,"score":0.53883957862854},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.4598565697669983},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.4546324610710144},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.4251222312450409},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4151308536529541},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.41387084126472473},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.13523739576339722},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/s00454-023-00513-0","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s00454-023-00513-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00454-023-00513-0.pdf","source":{"id":"https://openalex.org/S103671469","display_name":"Discrete & Computational Geometry","issn_l":"0179-5376","issn":["0179-5376","1432-0444"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete &amp; Computational Geometry","raw_type":"journal-article"},{"id":"pmid:37808960","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/37808960","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete & computational geometry","raw_type":null},{"id":"pmh:oai:pubmedcentral.nih.gov:10550898","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/10550898","pdf_url":"https://pmc.ncbi.nlm.nih.gov/articles/PMC10550898/pdf/454_2023_Article_513.pdf","source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Discrete Comput Geom","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.1007/s00454-023-00513-0","is_oa":true,"landing_page_url":"http://dx.doi.org/10.1007/s00454-023-00513-0","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00454-023-00513-0.pdf","source":{"id":"https://openalex.org/S103671469","display_name":"Discrete & Computational Geometry","issn_l":"0179-5376","issn":["0179-5376","1432-0444"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Discrete &amp; Computational Geometry","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2782452195","display_name":null,"funder_award_id":"P201/12/G028","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G3302707727","display_name":null,"funder_award_id":"PRIMUS/21/SCI/014","funder_id":"https://openalex.org/F4320309755","funder_display_name":"Univerzita Karlova v Praze"},{"id":"https://openalex.org/G4801178892","display_name":null,"funder_award_id":"project P201/12/G028","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G7902505330","display_name":null,"funder_award_id":"P31312-N35","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320309755","display_name":"Univerzita Karlova v Praze","ror":"https://ror.org/024d6js02"},{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3154638618.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W162494057","https://openalex.org/W643831557","https://openalex.org/W1992656112","https://openalex.org/W1995509853","https://openalex.org/W2022649188","https://openalex.org/W2053842335","https://openalex.org/W2055243938","https://openalex.org/W2087071350","https://openalex.org/W2092719679","https://openalex.org/W2314051058","https://openalex.org/W2316187542","https://openalex.org/W2317753836","https://openalex.org/W2582993360","https://openalex.org/W2595003524","https://openalex.org/W2962842780","https://openalex.org/W2963067068","https://openalex.org/W2963127806","https://openalex.org/W2963587701","https://openalex.org/W2964114287"],"related_works":["https://openalex.org/W3148895720","https://openalex.org/W34611251","https://openalex.org/W4360104573","https://openalex.org/W2617189160","https://openalex.org/W3034499888","https://openalex.org/W4287759975","https://openalex.org/W2775480746","https://openalex.org/W2738179514","https://openalex.org/W4297823904","https://openalex.org/W3034184866"],"abstract_inverted_index":{"Abstract":[0],"We":[1,330],"present":[2],"an":[3,176,189],"algorithm":[4,155,177,325],"that,":[5,178],"given":[6,122,179,236],"finite":[7,180,193],"diagrams":[8,106],"of":[9,100,103,105,153,191,215,218,378],"simplicial":[10,181,345],"sets":[11,182],"X":[12,44,183],",":[13,15,17,40,45,69,82,149,184,186,196,294,323,348,399],"A":[14,46,185],"Y":[16,187],"i.e.,":[18],"functors":[19],"$${\\mathcal":[20],"{I}}^\\textrm{op}\\rightarrow":[21],"{\\textsf":[22,24],"{s}}":[23],"{Set}}$$":[25],"<mml:math":[26,57,73,87,110,125,140,201,224,241,260,282,300,314,356,383],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[27,58,74,88,111,126,141,202,225,242,261,283,301,315,357,384],"<mml:mrow>":[28,30,59,75,90,112,127,142,204,226,243,262,284,302,316,358,362,385],"<mml:msup>":[29,89,264,272,286,361],"<mml:mi>I</mml:mi>":[31],"</mml:mrow>":[32,38,67,80,96,118,133,147,210,232,249,276,292,306,321,364,367,397],"<mml:mtext>op</mml:mtext>":[33],"</mml:msup>":[34,98,267,275,289,366],"<mml:mo>\u2192</mml:mo>":[35,116,131,230,247,360],"<mml:mi>s</mml:mi>":[36],"<mml:mi>Set</mml:mi>":[37],"</mml:math>":[39,68,81,99,119,134,148,214,233,250,277,293,307,322,368,398],"such":[41],"that":[42],"(":[43],")":[47],"is":[48,156,162,166,349,402],"a":[49,121,192,235,342,351],"cellular":[50],"pair,":[51],"$$\\dim":[52,255],"X\\le":[53],"2\\cdot":[54,257],"{\\text":[55,258],"{conn}}Y$$":[56],"<mml:mo>dim</mml:mo>":[60,145,263,319],"<mml:mi>X</mml:mi>":[61,92,115,146,206,229,265,320],"<mml:mo>\u2264</mml:mo>":[62,268,304],"<mml:mn>2</mml:mn>":[63,269],"<mml:mo>\u00b7</mml:mo>":[64,270],"<mml:mtext>conn</mml:mtext>":[65,76,271,285],"<mml:mi>Y</mml:mi>":[66,77,94,117,132,208,231,248,273,287],"$${\\text":[70,279],"{conn}}Y\\ge":[71],"1$$":[72,281],"<mml:mo>\u2265</mml:mo>":[78,290,388],"<mml:mn>1</mml:mn>":[79,291,392],"computes":[83,197],"the":[84,150,154,159,164,198,252,324,375,400],"set":[85,199],"$$[X,Y]^A$$":[86],"<mml:mo>[</mml:mo>":[91,205],"<mml:mo>,</mml:mo>":[93,207],"<mml:mo>]</mml:mo>":[95,209],"<mml:mi>A</mml:mi>":[97,130,212,246],"homotopy":[101,216],"classes":[102,217],"maps":[104,220],"$$\\ell":[107,221],":X\\rightarrow":[108,222],"Y$$":[109,124,223,240],"<mml:mi>\u2113</mml:mi>":[113,227],"<mml:mo>:</mml:mo>":[114,129,228,245],"extending":[120,234],"$$f:A\\rightarrow":[123,239],"<mml:mi>f</mml:mi>":[128,244],".":[135,308],"For":[136],"fixed":[137,311],"$$n=\\dim":[138,312],"X$$":[139,313],"<mml:mi>n</mml:mi>":[143,317],"<mml:mo>=</mml:mo>":[144,318],"running":[151],"time":[152],"polynomial.":[157],"When":[158],"stability":[160,253],"condition":[161],"dropped,":[163],"problem":[165,337,401],"known":[167],"to":[168,335],"be":[169],"undecidable.":[170],"Using":[171],"Elmendorf\u2019s":[172],"theorem,":[173],"we":[174],"deduce":[175],"with":[188],"action":[190],"group":[194],"G":[195],"$$[X,Y]^A_G$$":[200],"<mml:msubsup>":[203],"<mml:mi>G</mml:mi>":[211,305],"</mml:msubsup>":[213],"equivariant":[219,237],"map":[238,352],"under":[251],"assumption":[254],"X^H\\le":[256],"{conn}}Y^H$$":[259],"<mml:mi>H</mml:mi>":[266,274,288,303],"and":[278],"{conn}}Y^H\\ge":[280],"for":[295,310],"all":[296],"subgroups":[297],"$$H\\le":[298],"G$$":[299],"Again,":[309],"runs":[326],"in":[327,338,406],"polynomial":[328,407],"time.":[329],"further":[331],"apply":[332],"our":[333],"results":[334],"Tverberg-type":[336],"computational":[339],"topology:":[340],"Given":[341],"k":[343],"-dimensional":[344],"complex":[346],"K":[347],"there":[350],"$$K\\rightarrow":[353],"{\\mathbb":[354],"{R}}^d$$":[355],"<mml:mi>K</mml:mi>":[359],"<mml:mi>R</mml:mi>":[363],"<mml:mi>d</mml:mi>":[365,387],"without":[369],"r":[370],"-tuple":[371],"intersection":[372],"points?":[373],"In":[374],"metastable":[376],"range":[377],"dimensions,":[379],"$$rd\\ge":[380],"(r+1)":[381],"k+3$$":[382],"<mml:mi>r</mml:mi>":[386,390],"<mml:mo>(</mml:mo>":[389],"<mml:mo>+</mml:mo>":[391,395],"<mml:mo>)</mml:mo>":[393],"<mml:mi>k</mml:mi>":[394],"<mml:mn>3</mml:mn>":[396],"shown":[403],"algorithmically":[404],"decidable":[405],"ti":[408]},"counts_by_year":[],"updated_date":"2026-05-16T08:24:45.110214","created_date":"2025-10-10T00:00:00"}