English
Related papers

Related papers: Limitations of Algebraic Approaches to Graph Isomo…

200 papers

We propose a new family of combinatorial inference problems for graphical models. Unlike classical statistical inference where the main interest is point estimation or parameter testing, combinatorial inference aims at testing the global…

Statistics Theory · Mathematics 2018-02-14 Matey Neykov , Junwei Lu , Han Liu

The graph isomorphism (GI) problem, which asks whether two graphs are structurally identical, occupies a unique position in computational complexity -- it is neither known to be solvable in polynomial time, nor proven to be NP-complete. We…

Optimization and Control · Mathematics 2026-05-21 Wenjie Xiao , Mathieu Besançon , Patrick Gelß , Deborah Hendrych , Stefan Klus , Sebastian Pokutta

Graph Transformer has recently received wide attention in the research community with its outstanding performance, yet its structural expressive power has not been well analyzed. Inspired by the connections between Weisfeiler-Lehman (WL)…

Machine Learning · Computer Science 2023-05-24 Wenhao Zhu , Tianyu Wen , Guojie Song , Liang Wang , Bo Zheng

Border bases can be considered to be the natural extension of Gr\"obner bases that have several advantages. Unfortunately, to date the classical border basis algorithm relies on (degree-compatible) term orderings and implicitly on reduced…

Commutative Algebra · Mathematics 2010-02-05 Gábor Braun , Sebastian Pokutta

Graph neural networks are prominent models for representation learning over graph-structured data. While the capabilities and limitations of these models are well-understood for simple graphs, our understanding remains incomplete in the…

Machine Learning · Computer Science 2023-10-27 Xingyue Huang , Miguel Romero Orth , İsmail İlkan Ceylan , Pablo Barceló

The $k$-dimensional Weisfeiler-Leman algorithm ($k$-WL) is a very useful combinatorial tool in graph isomorphism testing. We address the applicability of $k$-WL to recognition of graph properties. Let $G$ be an input graph with $n$…

Combinatorics · Mathematics 2020-07-31 Frank Fuhlbrück , Johannes Köbler , Ilia Ponomarenko , Oleg Verbitsky

Building on work of Cai, F\"urer, and Immerman \cite{CFI92}, we show two hardness results for the Graph Isomorphism problem. First, we show that there are pairs of nonisomorphic $n$-vertex graphs $G$ and $H$ such that any sum-of-squares…

Computational Complexity · Computer Science 2014-01-13 Ryan O'Donnell , John Wright , Chenggang Wu , Yuan Zhou

For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time. This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first…

Data Structures and Algorithms · Computer Science 2015-11-10 Ken-ichi Kawarabayashi

We present a method for associating labeled directed graphs to finite-dimensional Lie algebras, thereby enabling rapid identification of key structural algebraic features. To formalize this approach, we introduce the concept of…

Mathematical Physics · Physics 2026-01-23 Tim Heib , David Edward Bruschi

We investigate the computational complexity of the graph primality testing problem with respect to the direct product (also known as Kronecker, cardinal or tensor product). In [1] Imrich proves that both primality testing and a unique prime…

Computational Complexity · Computer Science 2025-11-06 Luca Calderoni , Luciano Margara , Moreno Marzolla

In this paper, we relate a beautiful theory by Lov\'asz with a popular heuristic algorithm for the graph isomorphism problem, namely the color refinement algorithm and its k-dimensional generalization known as the Weisfeiler-Leman…

Data Structures and Algorithms · Computer Science 2018-05-23 Holger Dell , Martin Grohe , Gaurav Rattan

In the field of parameterized complexity theory, the study of graph width measures has been intimately connected with the development of width-based model checking algorithms for combinatorial properties on graphs. In this work, we…

Data Structures and Algorithms · Computer Science 2026-05-21 Mateus de Oliveira Oliveira , Sam Urmian

A classical difficult isomorphism testing problem is to test isomorphism of p-groups of class 2 and exponent p in time polynomial in the group order. It is known that this problem can be reduced to solving the alternating matrix space…

Data Structures and Algorithms · Computer Science 2017-10-03 Yinan Li , Youming Qiao

Graph Neural Networks (GNNs) have emerged as a dominant paradigm for graph classification. Specifically, most existing GNNs mainly rely on the message passing strategy between neighbor nodes, where the expressivity is limited by the…

Machine Learning · Computer Science 2025-12-12 Lin Du , Lu Bai , Jincheng Li , Lixin Cui , Hangyuan Du , Lichi Zhang , Yuting Chen , Zhao Li

We establish an isomorphism between the Grothendieck-Teichm\"uller Lie algebra $\mathfrak{grt}_1$ in depth two modulo higher depth and the cohomology of the two-loop part of the graph complex of internally connected graphs…

Quantum Algebra · Mathematics 2017-07-04 Matteo Felder

The graph isomorphism problem is theoretically interesting and also has many practical applications. The best known classical algorithms for graph isomorphism all run in time super-polynomial in the size of the graph in the worst case. An…

Quantum Physics · Physics 2011-04-26 David Rosenbaum

The Graph Isomorphism (GI) problem is a theoretically interesting problem because it has not been proven to be in P nor to be NP-complete. Babai made a breakthrough in 2015 when announcing a quasipolynomial time algorithm for GI problem.…

Data Structures and Algorithms · Computer Science 2020-02-13 Duc Hung Pham , Krishna V. Palem , M. V. Panduranga Rao

In this paper, we demonstrate that considering experiments in a graph-theoretic manner allows us to exploit automorphisms of the graph to reduce the number of evaluations of candidate designs for those experiments, and thus find optimal…

Methodology · Statistics 2018-02-28 Ben M. Parker , Steven G Gilmour , Vasiliki Koutra

In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show…

Data Structures and Algorithms · Computer Science 2016-06-23 Daniel Neuen

The problem of Subgraph Isomorphism is defined as follows: Given a pattern H and a host graph G on n vertices, does G contain a subgraph that is isomorphic to H? Eppstein [SODA 95, J'GAA 99] gives the first linear time algorithm for…

Data Structures and Algorithms · Computer Science 2009-09-28 Frederic Dorn