English
Related papers

Related papers: Equivalence Hypergraphs: DPO Rewriting for Monoida…

200 papers

We address the problem of reasoning on graph transformations featuring actions such as \emph{addition} and \emph{deletion} of nodes and edges, node \emph{merging} and \emph{cloning}, node or edge \emph{labelling} and edge…

Logic in Computer Science · Computer Science 2018-03-08 Jon Haël Brenas , Rachid Echahed , Martin Strecker

We consider the complexity of counting homomorphisms from an $r$-uniform hypergraph $G$ to a symmetric $r$-ary relation $H$. We give a dichotomy theorem for $r>2$, showing for which $H$ this problem is in FP and for which $H$ it is…

Computational Complexity · Computer Science 2010-01-04 Martin Dyer , Leslie Ann Goldberg , Mark Jerrum

With a view on applications in computing, in particular concurrency theory and higher-dimensional rewriting, we develop notions of $n$-fold monoid and comonoid objects in $n$-fold monoidal categories and bicategories. We present a series of…

Category Theory · Mathematics 2024-11-07 James Cranch , Georg Struth

Graph embeddings, wherein the nodes of the graph are represented by points in a continuous space, are used in a broad range of Graph ML applications. The quality of such embeddings crucially depends on whether the geometry of the space…

Machine Learning · Statistics 2022-02-03 Francesco Di Giovanni , Giulia Luise , Michael Bronstein

Hypergraphs provide a natural way to represent polyadic relationships in network data. For large hypergraphs, it is often difficult to visually detect structures within the data. Recently, a scalable polygon-based visualization approach was…

Graphics · Computer Science 2024-07-30 Peter Oliver , Eugene Zhang , Yue Zhang

Automated fact-checking aims to assess the truthfulness of textual claims based on relevant evidence. However, verifying complex claims that require multi-hop reasoning remains a significant challenge. We propose GraphCheck, a novel…

Computation and Language · Computer Science 2025-11-10 Hyewon Jeon , Jay-Yoon Lee

Many real-world graphs involve different types of nodes and relations between nodes, being heterogeneous by nature. The representation learning of heterogeneous graphs (HGs) embeds the rich structure and semantics of such graphs into a…

Machine Learning · Computer Science 2021-09-16 Costas Mavromatis , George Karypis

In graphs, the concept of adjacency is clearly defined: it is a pairwise relationship between vertices. Adjacency in hypergraphs has to integrate hyperedge multi-adicity: the concept of adjacency needs to be defined properly by introducing…

Combinatorics · Mathematics 2018-09-05 Xavier Ouvrard , Jean-Marie Le Goff , Stephane Marchand-Maillet

In this research, we investigate methods for entity retrieval using graph embeddings. While various methods have been proposed over the years, most utilize a single graph embedding and entity linking approach. This hinders our understanding…

Information Retrieval · Computer Science 2025-06-05 Emma J. Gerritse , Faegheh Hasibi , Arjen P. de Vries

Hierarchical structure and repetition are prevalent in graphs originating from nature or engineering. These patterns can be represented by a class of parametric-structure graphs, which are defined by templates that generate structure by way…

Data Structures and Algorithms · Computer Science 2020-11-16 Tal Ben-Nun , Lukas Gianinazzi , Torsten Hoefler , Yishai Oltchik

Learning faithful graph representations as sets of vertex embeddings has become a fundamental intermediary step in a wide range of machine learning applications. The quality of the embeddings is usually determined by how well the geometry…

Machine Learning · Computer Science 2021-05-13 Federico López , Beatrice Pozzetti , Steve Trettel , Anna Wienhard

Representing patterns as labeled graphs is becoming increasingly common in the broad field of computational intelligence. Accordingly, a wide repertoire of pattern recognition tools, such as classifiers and knowledge discovery procedures,…

Computer Vision and Pattern Recognition · Computer Science 2017-05-11 Lorenzo Livi

Graph Transformers (GTs) facilitate the comprehension of graph-structured data by calculating the self-attention of node pairs without considering node position information. To address this limitation, we introduce an innovative and…

Machine Learning · Computer Science 2023-12-12 Kushal Bose , Swagatam Das

A hypergraph as a generalization of graphs records higher-order interactions among nodes, yields a more flexible network model, and allows non-linear features for a group of nodes. In this article, we propose a hypergraph echo state network…

Machine Learning · Computer Science 2023-10-17 Justin Lien

We prove a rectification theorem for enriched infinity-categories: If V is a nice monoidal model category, we show that the homotopy theory of infinity-categories enriched in V is equivalent to the familiar homotopy theory of categories…

Algebraic Topology · Mathematics 2020-11-03 Rune Haugseng

This paper has two objectives. The first is to develop the theory of bicategories enriched in a monoidal bicategory -- categorifying the classical theory of categories enriched in a monoidal category -- up to a description of the free…

Category Theory · Mathematics 2015-11-10 Richard Garner , Michael Shulman

The main result of the paper is motivated by the following two, apparently unrelated graph optimization problems: (A) as an extension of Edmonds' disjoint branchings theorem, characterize digraphs comprising $k$ disjoint branchings $B_i$…

Combinatorics · Mathematics 2017-09-05 Kristóf Bérczi , András Frank

This thesis investigates the central role of homomorphism problems (structure-preserving maps) in two complementary domains: database querying over finite, graph-shaped data, and constraint solving over (potentially infinite) structures.…

Logic in Computer Science · Computer Science 2025-10-10 Rémi Morvan

With the increasing prevalence of graph-structured data, multi-view graph clustering has been widely used in various downstream applications. Existing approaches primarily rely on a unified message passing mechanism, which significantly…

Artificial Intelligence · Computer Science 2024-10-07 Jianpeng Chen , Yawen Ling , Yazhou Ren , Zichen Wen , Tianyi Wu , Shufei Zhang , Lifang He

We describe a graph-based semi-supervised learning framework in the context of deep neural networks that uses a graph-based entropic regularizer to favor smooth solutions over a graph induced by the data. The main contribution of this work…

Machine Learning · Statistics 2018-06-05 Sunil Thulasidasan , Jeffrey Bilmes