English
Related papers

Related papers: Normalization for planar string diagrams and a qua…

200 papers

This paper studies the problem of recovering a hidden vertex correspondence between two correlated graphs when both edge weights and node features are observed. While most existing work on graph alignment relies primarily on edge…

Statistics Theory · Mathematics 2026-04-07 Dong Huang , Chenyang Tian , Pengkun Yang

The counting of alternating tangles in terms of their crossing number, number of external legs and connected components is presented here in a unified framework using quantum field-theoretic methods applied to a matrix model of colored…

Mathematical Physics · Physics 2009-11-07 P. Zinn-Justin

The parametric geometry of numbers has allowed to visualize the simultaneous approximation properties of a collection of real numbers through the combined graph of the related successive minima functions. Several inequalities among…

Number Theory · Mathematics 2021-03-18 Wolfgang M. Schmidt , Leonhard Summerer

This thesis studies the graph alignment problem, the noisy version of the graph isomorphism problem, which aims to find a matching between the nodes of two graphs which preserves most of the edges. Focusing on the planted version where the…

Data Structures and Algorithms · Computer Science 2024-04-22 Luca Ganassali

Binary jumbled pattern matching asks to preprocess a binary string $S$ in order to answer queries $(i,j)$ which ask for a substring of $S$ that is of length $i$ and has exactly $j$ 1-bits. This problem naturally generalizes to…

Data Structures and Algorithms · Computer Science 2014-07-01 Travis Gagie , Danny Hermelin , Gad M. Landau , Oren Weimann

We investigate the problem of constructing planar drawings with few bends for two related problems, the partially embedded graph problem---to extend a straight-line planar drawing of a subgraph to a planar drawing of the whole graph---and…

Computational Geometry · Computer Science 2014-10-31 Timothy M. Chan , Fabrizio Frati , Carsten Gutwenger , Anna Lubiw , Petra Mutzel , Marcus Schaefer

Sufficient conditions for synchronization of coupled Lienard-type oscillators are investigated via averaging technique. Coupling considered here is pairwise, unidirectional, and described by a nonlinear function (whose graph resides in the…

Dynamical Systems · Mathematics 2010-03-15 S. Emre Tuna

We tackle the problem of attributed graph transformations and propose a new algorithmic approach for defining parallel graph transformations allowing overlaps. We start by introducing some abstract operations over graph structures. Then, we…

Logic in Computer Science · Computer Science 2018-08-10 Thierry Boy de la Tour , Rachid Echahed

We present the first parallel fixed-parameter algorithm for subgraph isomorphism in planar graphs, bounded-genus graphs, and, more generally, all minor-closed graphs of locally bounded treewidth. Our randomized low depth algorithm has a…

Data Structures and Algorithms · Computer Science 2020-07-03 Lukas Gianinazzi , Torsten Hoefler

We define joint exchangeability on arrays indexed by a vector of natural numbers with coordinates being the vertices of directed acyclic graphs (DAGs) using local isomorphisms. The notion provides a new version of exchangeability, which is…

Probability · Mathematics 2021-04-23 Jiho Lee

We derive representation theorems for exchangeable distributions on finite and infinite graphs using elementary arguments based on geometric and graph-theoretic concepts. Our results elucidate some of the key differences, and their…

Statistics Theory · Mathematics 2018-09-18 Steffen L. Lauritzen , Alessandro Rinaldo , Kayvan Sadeghi

We investigate the dynamical sampling space-time trade-off problem within a graph setting. Specifically, we derive necessary and sufficient conditions for space-time sampling that enable the reconstruction of an initial band-limited signal…

Information Theory · Computer Science 2024-11-20 Akram Aldroubi , Victor Bailey , Ilya Krishtal , Brendan Miller , Armenak Petrosyan

We introduce a quantitative method to compare arbitrary pairs of graph centrality measures, based on the ordering of vertices induced by them. The proposed method is conceptually simple, mathematically elegant, and allows for a quantitative…

Social and Information Networks · Computer Science 2026-01-26 G. Exarchakos , R. van der Hofstad , O. Nagy , M. Pandey

In this paper, we consider the problem of counting and sampling structures in graphs. We define a class of "edge universal labeling problems"---which include proper $k$-colorings, independent sets, and downsets---and describe simple…

Data Structures and Algorithms · Computer Science 2020-08-20 Christine T. Cheng , Will Rosenbaum

Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a…

Logic in Computer Science · Computer Science 2020-10-09 Ryu Hasegawa

In this paper we introduce a diagrammatic equation for the planar sector of square non hermitian random matrix models strongly reminiscent of Polchinski's equation in quantum field theory. Our fundamental equation is first obtained by a…

High Energy Physics - Theory · Physics 2015-03-13 Razvan Gurau

A graph is 1-planar if it can be drawn on a plane so that each edge is crossed by at most one other edge. In this paper, we first give a useful structural theorem for 1-planar graphs, and then apply it to the list edge and list total…

Combinatorics · Mathematics 2019-12-17 Xin Zhang , Bei Niu , Jiguo Yu

Two planar graphs G1 and G2 sharing some vertices and edges are `simultaneously planar' if they have planar drawings such that a shared vertex [edge] is represented by the same point [curve] in both drawings. It is an open problem whether…

Data Structures and Algorithms · Computer Science 2011-12-12 Bernhard Haeupler , Krishnam Raju Jampani , Anna Lubiw

String diagrams are a powerful tool for reasoning about composite structures in symmetric monoidal categories. By representing string diagrams as graphs, equational reasoning can be done automatically by double-pushout rewriting. !-graphs…

Logic in Computer Science · Computer Science 2016-02-22 Aleks Kissinger , Vladimir Zamdzhiev

We introduce graph normalizing flows: a new, reversible graph neural network model for prediction and generation. On supervised tasks, graph normalizing flows perform similarly to message passing neural networks, but at a significantly…

Machine Learning · Computer Science 2019-05-31 Jenny Liu , Aviral Kumar , Jimmy Ba , Jamie Kiros , Kevin Swersky