{"id":"https://openalex.org/W4402019089","doi":"https://doi.org/10.46298/lmcs-20(3:18)2024","title":"Zeta Functions and the (Linear) Logic of Markov Processes","display_name":"Zeta Functions and the (Linear) Logic of Markov Processes","publication_year":2024,"publication_date":"2024-08-29","ids":{"openalex":"https://openalex.org/W4402019089","doi":"https://doi.org/10.46298/lmcs-20(3:18)2024"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-20(3:18)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:18)2024","pdf_url":"https://lmcs.episciences.org/14129/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/14129/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083813801","display_name":"Thomas Seiller","orcid":"https://orcid.org/0000-0001-6313-0898"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210091279","display_name":"Universit\u00e9 Sorbonne Paris Nord","ror":"https://ror.org/0199hds37","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210091279"]},{"id":"https://openalex.org/I4210115747","display_name":"Laboratoire des Sciences des Proc\u00e9d\u00e9s et des Mat\u00e9riaux","ror":"https://ror.org/01yr0r787","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I4210095849","https://openalex.org/I4210115747"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Thomas Seiller","raw_affiliation_strings":["CNRS , LIPN - UMR 7030 Universit Sorbonne Paris Nord Current address : 99 Avenue Jean-Baptiste Clment , 93430 Villetaneuse , FRANCE San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","San Francisco, CA 94105, USA, or Eisenacher Strasse 2, 10777 Berlin, Germany","CNRS, LIPN -UMR 7030 Universit\u00e9 Sorbonne Paris Nord Current address: 99 Avenue Jean-Baptiste Cl\u00e9ment, 93430 Villetaneuse, FRANCE"],"affiliations":[{"raw_affiliation_string":"CNRS , LIPN - UMR 7030 Universit Sorbonne Paris Nord Current address : 99 Avenue Jean-Baptiste Clment , 93430 Villetaneuse , FRANCE San Francisco , CA 94105 , USA , or Eisenacher Strasse 2 , 10777 Berlin , Germany","institution_ids":["https://openalex.org/I4210115747","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]},{"raw_affiliation_string":"San Francisco, CA 94105, USA, or Eisenacher Strasse 2, 10777 Berlin, Germany","institution_ids":[]},{"raw_affiliation_string":"CNRS, LIPN -UMR 7030 Universit\u00e9 Sorbonne Paris Nord Current address: 99 Avenue Jean-Baptiste Cl\u00e9ment, 93430 Villetaneuse, FRANCE","institution_ids":["https://openalex.org/I39804081","https://openalex.org/I1294671590","https://openalex.org/I4210091279"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5083813801"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I39804081","https://openalex.org/I4210091279","https://openalex.org/I4210115747"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.11861025,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 20, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9984999895095825,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9943000078201294,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9886999726295471,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/markov-chain","display_name":"Markov chain","score":0.5817173719406128},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.5248808264732361},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5169750452041626},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4816516935825348},{"id":"https://openalex.org/keywords/connection","display_name":"Connection (principal bundle)","score":0.45639440417289734},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.43000033497810364},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4296911060810089},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.425481915473938},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.40894049406051636},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3930705487728119},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3314320147037506},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32244765758514404},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2083895206451416},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.198204904794693},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.0729362964630127}],"concepts":[{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5817173719406128},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.5248808264732361},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5169750452041626},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4816516935825348},{"id":"https://openalex.org/C13355873","wikidata":"https://www.wikidata.org/wiki/Q2920850","display_name":"Connection (principal bundle)","level":2,"score":0.45639440417289734},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.43000033497810364},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4296911060810089},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.425481915473938},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.40894049406051636},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3930705487728119},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3314320147037506},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32244765758514404},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2083895206451416},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.198204904794693},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0729362964630127},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.46298/lmcs-20(3:18)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:18)2024","pdf_url":"https://lmcs.episciences.org/14129/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-02458330v6","is_oa":true,"landing_page_url":"https://hal.science/hal-02458330","pdf_url":"https://hal.science/hal-02458330v6/file/Markov-zeta-lmcs-final.pdf","source":{"id":"https://openalex.org/S4406922454","display_name":"SPIRE - Sciences Po Institutional REpository","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, 2024, Volume 20 (3), ⟨10.46298/lmcs-20(3:18)2024⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:fe749c58e7b14f36b2ed877c61a493b6","is_oa":true,"landing_page_url":"https://doaj.org/article/fe749c58e7b14f36b2ed877c61a493b6","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-20(3:18)2024","is_oa":true,"landing_page_url":"http://dx.doi.org/10.46298/lmcs-20(3:18)2024","pdf_url":"https://lmcs.episciences.org/14129/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1134578003","display_name":null,"funder_award_id":"H2020-MSCA-IF-2014","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1624666441","display_name":"Dynamical Systems and Computation: a logical approach","funder_award_id":"ANR-22-CE48-0003","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3345895242","display_name":null,"funder_award_id":"H2020-MSCA","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G4265824550","display_name":null,"funder_award_id":"659920","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4937468798","display_name":null,"funder_award_id":"H2020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G526393511","display_name":null,"funder_award_id":"MSCA-IF-2014","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"},{"id":"https://openalex.org/G5820914970","display_name":null,"funder_award_id":"ANR-22-CE48-0003-01","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G583963735","display_name":null,"funder_award_id":"MSCA-IF","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8512683158","display_name":null,"funder_award_id":"H2020-MSCA","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8574376095","display_name":null,"funder_award_id":"H2020-MSCA-IF","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8732794959","display_name":null,"funder_award_id":"H2020-MSCA-IF-2014","funder_id":"https://openalex.org/F4320332999","funder_display_name":"Horizon 2020 Framework Programme"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320332999","display_name":"Horizon 2020 Framework Programme","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320336508","display_name":"Institut des sciences de l'information et de leurs interactions","ror":"https://ror.org/04z22qz54"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402019089.pdf","grobid_xml":"https://content.openalex.org/works/W4402019089.grobid-xml"},"referenced_works_count":52,"referenced_works":["https://openalex.org/W123620504","https://openalex.org/W168980225","https://openalex.org/W332750750","https://openalex.org/W624912723","https://openalex.org/W766779143","https://openalex.org/W1485153875","https://openalex.org/W1524811322","https://openalex.org/W1525298231","https://openalex.org/W1532754343","https://openalex.org/W1552101395","https://openalex.org/W1738130509","https://openalex.org/W1961717322","https://openalex.org/W1971681260","https://openalex.org/W1976228570","https://openalex.org/W2024189573","https://openalex.org/W2029191352","https://openalex.org/W2033104047","https://openalex.org/W2033823998","https://openalex.org/W2043558432","https://openalex.org/W2056300881","https://openalex.org/W2065359627","https://openalex.org/W2094685149","https://openalex.org/W2100660799","https://openalex.org/W2102357532","https://openalex.org/W2102548545","https://openalex.org/W2107359728","https://openalex.org/W2165835453","https://openalex.org/W2178993149","https://openalex.org/W2275176909","https://openalex.org/W2282784424","https://openalex.org/W2323746695","https://openalex.org/W2485912473","https://openalex.org/W2602408076","https://openalex.org/W2798278864","https://openalex.org/W2798338833","https://openalex.org/W2895574907","https://openalex.org/W2903995849","https://openalex.org/W2911816136","https://openalex.org/W2930835146","https://openalex.org/W2962736508","https://openalex.org/W2963573740","https://openalex.org/W3137954959","https://openalex.org/W3182369688","https://openalex.org/W4212954719","https://openalex.org/W4235233694","https://openalex.org/W4238692953","https://openalex.org/W4240164025","https://openalex.org/W4251352152","https://openalex.org/W4254907987","https://openalex.org/W4285803936","https://openalex.org/W4309182565","https://openalex.org/W4399793546"],"related_works":["https://openalex.org/W587735977","https://openalex.org/W1978142926","https://openalex.org/W3157395178","https://openalex.org/W2379651310","https://openalex.org/W2113019827","https://openalex.org/W1541249122","https://openalex.org/W830459867","https://openalex.org/W2413828414","https://openalex.org/W4236062181","https://openalex.org/W2367222340"],"abstract_inverted_index":{"The":[0],"author":[1],"introduced":[2],"models":[3,26],"of":[4,16,39,53,71,81,93,101,108],"linear":[5,103],"logic":[6,104],"known":[7],"as":[8,42],"''Interaction":[9],"Graphs''":[10],"which":[11],"generalise":[12],"Girard's":[13],"various":[14],"geometry":[15],"interaction":[17],"constructions.":[18],"In":[19],"this":[20],"work,":[21],"we":[22,65],"establish":[23],"how":[24,68],"these":[25],"essentially":[27],"rely":[28],"on":[29,62],"a":[30,43,78,98],"deep":[31],"connection":[32],"between":[33],"zeta":[34,94],"functions":[35],"and":[36,90],"the":[37,50,69,87,91,106],"execution":[38],"programs,":[40],"expressed":[41],"cocycle.":[44],"This":[45],"is":[46],"first":[47],"shown":[48],"in":[49,74],"simple":[51],"case":[52],"graphs,":[54],"before":[55],"begin":[56],"lifted":[57],"to":[58,96],"dynamical":[59],"systems.":[60],"Focussing":[61],"probabilistic":[63],"models,":[64],"then":[66,85],"explain":[67],"notion":[70,92],"graphings":[72],"used":[73],"Interaction":[75],"Graphs":[76],"captures":[77],"natural":[79],"class":[80],"sub-Markov":[82,111],"processes.":[83,112],"We":[84],"extend":[86],"realisability":[88,99],"constructions":[89],"function":[95],"provide":[97],"model":[100],"second-order":[102],"over":[105],"set":[107],"all":[109],"(discrete-time)":[110]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}