English
Related papers

Related papers: Zeta Functions and the (Linear) Logic of Markov Pr…

200 papers

In this paper we provide a geometric description of the possible poles of the Igusa local zeta function associated to an analytic mapping and a locally constant function, in terms of a log-principalizaton of an ideal naturally attached to…

Algebraic Geometry · Mathematics 2007-05-23 Willem Veys , W. A. Zuniga-Galindo

This paper is a multidisciplinary review of empirical, statistical learning from a graphical model perspective. Well-known examples of graphical models include Bayesian networks, directed graphs representing a Markov chain, and undirected…

Artificial Intelligence · Computer Science 2014-11-17 W. L. Buntine

Stark and Terras introduced the edge zeta function of a finite graph in 1996. The edge zeta function is the reciprocal of a polynomial in twice as many variables as edges in the graph and can be computed in polynomial time. We look at graph…

Combinatorics · Mathematics 2007-08-15 Christopher K. Storm

We demonstrate that graph-based models are fully capable of representing higher-order interactions, and have a long history of being used for precisely this purpose. This stands in contrast to a common claim in the recent literature on…

Physics and Society · Physics 2026-02-20 Tiago P. Peixoto , Leto Peel , Thilo Gross , Manlio De Domenico

Regular logic can be regarded as the internal language of regular categories, but the logic itself is generally not given a categorical treatment. In this paper, we understand the syntax and proof rules of regular logic in terms of the free…

Category Theory · Mathematics 2019-06-21 Brendan Fong , David I Spivak

We present a first-order linear-time temporal logic for reasoning about the evolution of directed graphs. Its semantics is based on the counterpart paradigm, thus allowing our logic to represent the creation, duplication, merging, and…

Logic in Computer Science · Computer Science 2023-05-09 Fabio Gadducci , Andrea Laretto , Davide Trotta

We define a divisorial motivic zeta function for stable curves with marked points which agrees with Kapranov's motivic zeta function when the curve is smooth and unmarked. We show that this zeta function is rational, and give a formula in…

Algebraic Geometry · Mathematics 2019-07-12 Madeline Brandt , Martin Ulirsch

The aim of this chapter is twofold. In the first part we will provide a brief overview of the mathematical and statistical foundations of graphical models, along with their fundamental properties, estimation and basic inference procedures.…

Machine Learning · Statistics 2011-06-29 Marco Scutari , Korbinian Strimmer

Time series and signals are attracting more attention across statistics, machine learning and pattern recognition as it appears widely in the industry especially in sensor and IoT related research and applications, but few advances has been…

Machine Learning · Computer Science 2018-08-15 Lu Liu , Zhiguang Wang

In the series of models with interacting particles in stochastic geometry, a new contribution presents the facet process which is defined in arbitrary Euclidean dimension. In 2D, 3D specially it is a process of interacting segments, flat…

Probability · Mathematics 2015-04-02 Jakub Vecera , Viktor Benes

This survey article gives an elementary introduction to the algebraic approach to Markov process duality, as opposed to the pathwise approach. In the algebraic approach, a Markov generator is written as the sum of products of simpler…

Probability · Mathematics 2018-02-21 Anja Sturm , Jan M. Swart , Florian Völlering

The theory of Ihara zeta functions is extended to infinite graphs which are weighted and of finite total weight. In this case one gets meromorphic instead of rational functions and the classical determinant formulas of Bass and Ihara hold…

Number Theory · Mathematics 2017-09-04 Antonius Deitmar

Building on the mapping relations between analytic functions and periodic functions using the abstract operators $\cos(h\partial_x)$ and $\sin(h\partial_x)$, and by defining the Zeta and related functions including the Hurwitz Zeta function…

Analysis of PDEs · Mathematics 2018-06-27 Guang-Qing Bi

Understanding and interacting with everyday physical scenes requires rich knowledge about the structure of the world, represented either implicitly in a value or policy function, or explicitly in a transition model. Here we introduce a new…

In this paper, we proposed the \textit{link injection}, a novel method that helps any differentiable graph machine learning models to go beyond observed connections from the input data in an end-to-end learning fashion. It finds out (weak)…

Social and Information Networks · Computer Science 2020-09-10 Jie Bu , M. Maruf , Arka Daw

The idea of using unfolding as a way of computing a program semantics has been applied successfully to logic programs and has shown itself a powerful tool that provides concrete, implementable results, as its outcome is actually source…

Programming Languages · Computer Science 2017-08-29 José María Rey-Poza , Julio Mariño-Carballo

We develop a practical method for computing local zeta functions of groups, algebras, and modules in fortunate cases. Using our method, we obtain a complete classification of generic local representation zeta functions associated with…

Group Theory · Mathematics 2016-02-03 Tobias Rossmann

Interacting systems are prevalent in nature. It is challenging to accurately predict the dynamics of the system if its constituent components are analyzed independently. We develop a graph-based model that unveils the systemic interactions…

Machine Learning · Computer Science 2024-10-31 Giangiacomo Mercatali , Andre Freitas , Jie Chen

Order-preserving couplings are elegant tools for obtaining robust estimates of the time-dependent and stationary distributions of Markov processes that are too complex to be analyzed exactly. The starting point of this paper is to study…

Probability · Mathematics 2009-06-02 Lasse Leskelä

In the talk at the workshop my aim was to demonstrate the usefulness of graph techniques for tackling problems that have been studied predominantly as problems on the term level: increasing sharing in functional programs, and addressing…

Logic in Computer Science · Computer Science 2019-02-07 Clemens Grabmayer