paper-with-me

홈 › Papers

Graph Neural Networks for Predicting Solvability of Finite Groups

2026-05-30 · Tal Weissblat arxiv

We present a Graph Neural Network (GNN) framework for the classification of finite groups according to their solvability. Using undirected Cayley graph representations, the proposed framework learns to distinguish solvable and non-solvable groups directly from structural graph information, without relying on explicit algebraic features. The framework is evaluated on a benchmark dataset of 200 finite groups, comprising 120 solvable and 80 non-solvable groups. The experiments investigate the extent to which GNNs can learn the algebraic property of solvability from Cayley graph representations and generalize to previously unseen finite groups. The selected GNN architecture achieved a balanced accuracy (BA) of 1.000 on the independent test set. Furthermore, repeated experiments using different random seeds and learning rates consistently produced BAs between 0.956 and 1.000, demonstrating the robustness of the proposed framework with respect to the training configuration. To further evaluate generalization, the entire PSL(2,q) family was excluded from the training and validation sets and reserved exclusively for testing. The selected model correctly classified every previously unseen group in this family, demonstrating successful generalization to an entirely unseen family of finite groups.

📄 PDF Abstract BibTeX arXiv:2606.07619

Code (0)

등록된 구현이 없습니다.

Tasks

Graph Neural Network

Similar Papers 제목 키워드 기반

A General Framework for Learning Algebraic Properties from Cayley Graphs using Graph Neural Networks

2026-06-24 · Tal Weissblat arxiv

A Graph Neural Network (GNN) framework for predicting the solvability of finite groups from their Cayley graph representations was introduced in [1]. In the present work, we generalize this approach and develop a propert…

Graph Representation LearningGraph Neural Network

Viewing Graph Solvability via Cycle Consistency

2021-01-01 · ICCV 2021 10 · Federica Arrigoni, Andrea Fusiello, Elisa Ricci, Tomas Pajdla

In structure-from-motion the viewing graph is a graph where vertices correspond to cameras and edges represent fundamental matrices. We provide a new formulation and an algorithm for establishing whether a viewing gr…

Viewing Graph Solvability in Practice

2023-01-01 · ICCV 2023 1 · Federica Arrigoni, Tomas Pajdla, Andrea Fusiello

We present an advance in understanding the projective Structure-from-Motion, focusing in particular on the viewing graph: such a graph has cameras as nodes and fundamental matrices as edges. We propose a practical me…

Solvability of orbit-finite systems of linear equations

2022-01-22 · Arka Ghosh, Piotr Hofman, Sławomir Lasota

We study orbit-finite systems of linear equations, in the setting of sets with atoms. Our principal contribution is a decision procedure for solvability of such systems. The procedure works for every field (and even comm…

More Capable, Less Faithful: A Multilingual Analysis of Mathematical (Un)Solvability Detection in LLMs

2026-08-31 · Maria-Eleni Zoumpoulidi, Nikolaos Xiros, Georgios Paraskevopoulos arxiv

Solvability detection is one of the most challenging aspects of mathematical reasoning for Large Language Models (LLMs). While prior work has studied this capability extensively, these analyses have been limited to Engli…

Mathematical Reasoning