English
Related papers

Related papers: Term Graph Representations for Cyclic Lambda-Terms

200 papers

We connect several notions relating the structural and dynamical properties of a graph. Among them are the topological entropy coming from the vertex shift, which is related to the spectral radius of the graph's adjacency matrix, the…

Combinatorics · Mathematics 2025-12-29 Fatihcan M. Atay , Türker Bıyıkoğlu

An \emph{outer-string representation} of a graph $G$ is an intersection representation of $G$ where vertices are represented by curves (strings) inside the unit disk and each curve has exactly one endpoint on the boundary of the unit disk…

Combinatorics · Mathematics 2026-05-18 Todor Antić , Vít Jelínek , Jan Kratochvíl , Peter Stumpf

Do higher-order network structures aid graph semi-supervised learning? Given a graph and a few labeled vertices, labeling the remaining vertices is a high-impact problem with applications in several tasks, such as recommender systems, fraud…

Social and Information Networks · Computer Science 2020-02-20 Dhivya Eswaran , Srijan Kumar , Christos Faloutsos

The class of closed graphs by a linear ordering on their sets of vertices is investigated. A recent characterization of such a class of graphs is analyzed by using tools from the proper interval graph theory.

Combinatorics · Mathematics 2015-09-23 Marilena Crupi

Recent advances in data collection and storage have allowed both researchers and industry alike to collect data in real time. Much of this data comes in the form of 'events', or timestamped interactions, such as email and social media…

Social and Information Networks · Computer Science 2019-08-29 Andrew Mellor

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

Graph embedding has become a key component of many data mining and analysis systems. Current graph embedding approaches either sample a large number of node pairs from a graph to learn node embeddings via stochastic optimization or…

Social and Information Networks · Computer Science 2019-12-20 Artem Lutov , Dingqi Yang , Philippe Cudré-Mauroux

Looped Transformers have shown exceptional neural algorithmic reasoning capability in simulating traditional graph algorithms, but their application to more complex structures like hypergraphs remains underexplored. Hypergraphs generalize…

Machine Learning · Computer Science 2026-01-27 Zekai Huang , Yingyu Liang , Zhenmei Shi , Zhao Song , Zhen Zhuang

Graph representation learning based on graph neural networks (GNNs) can greatly improve the performance of downstream tasks, such as node and graph classification. However, the general GNN models do not aggregate node information in a…

Machine Learning · Computer Science 2020-07-30 Fei Ding , Xiaohong Zhang , Justin Sybrandt , Ilya Safro

Graph pattern matching is a routine process for a wide variety of applications such as social network analysis. It is typically defined in terms of subgraph isomorphism which is NP-Complete. To lower its complexity, many extensions of graph…

Databases · Computer Science 2018-04-13 Houari Mahfoud

The symmetries of complex molecular structures can be modeled by the {\em topological symmetry group} of the underlying embedded graph. It is therefore important to understand which topological symmetry groups can be realized by particular…

Geometric Topology · Mathematics 2018-08-14 Kathleen Hake , Blake Mellor , Matthew Pittluck

Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural…

Logic in Computer Science · Computer Science 2015-07-01 Makoto Hamana

We show that any multiple-valued function can be represented by a linear lambda term typed in a second-order polymorphic type system, using two distinct styles. The first is a circuit style, which mimics combinational circuits in switching…

Programming Languages · Computer Science 2026-03-30 Satoshi Matsuoka

The implicit graph conjecture states that every sufficiently small, hereditary graph class has a labeling scheme with a polynomial-time computable label decoder. We approach this conjecture by investigating classes of label decoders defined…

Computational Complexity · Computer Science 2018-02-02 Maurice Chandoo

In this expository paper we present some ideas of algebraic topology (more precisely, of homology theory) in a language accessible to non-specialists in the area. A $1$-cycle in a graph is a set $C$ of edges such that every vertex is…

History and Overview · Mathematics 2026-01-08 A. Miroshnikov , O. Nikitenko , A. Skopenkov

Embedding entities and relations into a continuous multi-dimensional vector space have become the dominant method for knowledge graph embedding in representation learning. However, most existing models ignore to represent hierarchical…

Artificial Intelligence · Computer Science 2019-09-12 Cunxiang Wang , Feiliang Ren , Zhichao Lin , Chenxv Zhao , Tian Xie , Yue Zhang

Many real-world problems are naturally modeled as heterogeneous graphs, where nodes and edges represent multiple types of entities and relations. Existing learning models for heterogeneous graph representation usually depend on the…

We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $\Lambda$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian,…

Operator Algebras · Mathematics 2019-02-12 Elizabeth Gillaspy , Jianchao Wu

Mining graph data has become a popular research topic in computer science and has been widely studied in both academia and industry given the increasing amount of network data in the recent years. However, the huge amount of network data…

Machine Learning · Computer Science 2020-01-03 Wenwu Zhu , Xin Wang , Peng Cui

Graphs are a basic tool for the representation of modern data. The richness of the topological information contained in a graph goes far beyond its mere interpretation as a one-dimensional simplicial complex. We show how topological…

Combinatorics · Mathematics 2018-10-11 Mattia G. Bergomi , Massimo Ferri , Lorenzo Zuffi