English
Related papers

Related papers: Normal Factor Graphs: A Diagrammatic Approach to L…

200 papers

Network data can be conveniently modeled as a graph signal, where data values are assigned to nodes of a graph that describes the underlying network topology. Successful learning from network data is built upon methods that effectively…

Machine Learning · Computer Science 2021-05-26 Fernando Gama , Elvin Isufi , Geert Leus , Alejandro Ribeiro

In this talk we discuss mathematical structures associated to Feynman graphs. Feynman graphs are the backbone of calculations in perturbative quantum field theory. The mathematical structures -- apart from being of interest in their own…

Mathematical Physics · Physics 2009-12-23 Christian Bogner , Stefan Weinzierl

We present a new graph compressor that works by recursively detecting repeated substructures and representing them through grammar rules. We show that for a large number of graphs the compressor obtains smaller representations than other…

Data Structures and Algorithms · Computer Science 2017-04-19 Sebastian Maneth , Fabian Peternek

!-graphs provide a means of reasoning about infinite families of string diagrams and have proven useful in manipulation of (co)algebraic structures like Hopf algebras, Frobenius algebras, and compositions thereof. However, they have…

Logic in Computer Science · Computer Science 2015-03-05 Aleks Kissinger , David Quick

We propose a novel piecewise smooth image model with piecewise constant local parameters that are automatically adapted to each image. Technically, the model is formulated in terms of factor graphs with NUP (normal with unknown parameters)…

Image and Video Processing · Electrical Eng. & Systems 2026-01-19 Tianyang Wang , Ender Konukoglu , Hans-Andrea Loeliger

It is well-known that the size of propositional classical proofs can be huge. Proof theoretical studies discovered exponential gaps between normal or cut free proofs and their respective non-normal proofs. The aim of this work is to study…

Logic in Computer Science · Computer Science 2014-04-02 Marcela Quispe-Cruz , Edward Hermann Haeusler , Lew Gordeev

We present an overview of some recent developments in the theory of generalized formal series, grounded in diffeological geometric framework. These constructions aim to offer new tools for understanding infinite-dimensional phenomena in…

History and Overview · Mathematics 2025-08-25 Jean-Pierre Magnot

In this paper, we pursue the discussion of the connections between rational conformal field theories (CFT) and graphs. We generalize our recent work on the relations of operator product algebra (OPA) structure constants of $sl(2)\,$…

High Energy Physics - Theory · Physics 2009-10-28 V. B. Petkova , J. -B. Zuber

The present paper provides a method for finding partial differential equations satisfied by the Feynman integrals for diagrams of various types, using the Griffiths theorem on the reduction of poles of rational differential forms. As an…

Mathematical Physics · Physics 2017-05-16 Valentina A. Golubeva , Alexey N. Ivanov

We propose a modal logic in which counting modalities appear in linear inequalities. We show that each formula can be transformed into an equivalent graph neural network (GNN). We also show that a broad class of GNNs can be transformed…

Artificial Intelligence · Computer Science 2025-03-28 Pierre Nunn , Marco Sälzer , François Schwarzentruber , Nicolas Troquard

A general lack of understanding pertaining to deep feedforward neural networks (DNNs) can be attributed partly to a lack of tools with which to analyze the composition of non-linear functions, and partly to a lack of mathematical models…

Machine Learning · Computer Science 2022-06-14 Wen-Liang Hwang , Shih-Shuo Tung

We present results concerning the expressiveness and decidability of a popular graph learning formalism, graph neural networks (GNNs), exploiting connections with logic. We use a family of recently-discovered decidable logics involving…

Logic in Computer Science · Computer Science 2025-01-31 Michael Benedikt , Chia-Hsuan Lu , Tony Tan

Normal forms allow the use of a restricted class of coordinate transformations (typically homogeneous polynomials) to put the bifurcations found in nonlinear dynamical systems into a few standard forms. We investigate here the consequences…

chao-dyn · Physics 2009-10-28 W. H. Warner , P. R. Sethna , James P. Sethna

The paper investigates relationship between algebraic expressions and graphs. We consider a digraph called a Fibonacci graph which gives a generic example of non-series-parallel graphs. Our intention in this paper is to simplify the…

Data Structures and Algorithms · Computer Science 2013-05-14 Mark Korenblit , Vadim E. Levit

Graphs are fundamental mathematical structures used in various fields to represent data, signals and processes. In this paper, we propose a novel framework for learning/estimating graphs from data. The proposed framework includes (i)…

Machine Learning · Computer Science 2017-07-07 Hilmi E. Egilmez , Eduardo Pavez , Antonio Ortega

We study two generalizations of the Pfaffian to non-antisymmetric matrices and derive their properties and relation to each other. The first approach is based on the Wigner normal-form, applicable to conjugate-normal matrices, and retains…

Mathematical Physics · Physics 2022-09-07 Daniel Varjas

Non-negative matrix factorization (NMF) is a recently developed technique for finding parts-based, linear representations of non-negative data. Although it has successfully been applied in several applications, it does not always result in…

Machine Learning · Computer Science 2007-05-23 Patrik O. Hoyer

Graph Neural Networks (GNNs) are a powerful tool for machine learning on graphs.GNNs combine node feature information with the graph structure by recursively passing neural messages along edges of the input graph. However, incorporating…

Machine Learning · Computer Science 2019-11-15 Rex Ying , Dylan Bourgeois , Jiaxuan You , Marinka Zitnik , Jure Leskovec

Algebraic quantum field theory, or AQFT for short, is a rigorous analysis of the structure of relativistic quantum mechanics. It is formulated in terms of a net of operator algebras indexed by regions of a Lorentzian manifold. In several…

Mathematical Physics · Physics 2022-11-07 H Freytes

Large language models have evolved to process multiple modalities beyond text, such as images and audio, which motivates us to explore how to effectively leverage them for graph reasoning tasks. The key question, therefore, is how to…