English
Related papers

Related papers: A graphic generalization of arithmetic

200 papers

In this paper we present a proof system that operates on graphs instead of formulas. Starting from the well-known relationship between formulas and cographs, we drop the cograph-conditions and look at arbitrary undirected) graphs. This…

Logic in Computer Science · Computer Science 2023-06-22 Matteo Acclavio , Ross Horne , Lutz Straßburger

By considering generalized logarithm and exponential functions used in nonextensive statistics, the four usual algebraic operators : addition, subtraction, product and division, are generalized. The properties of the generalized operators…

Mathematical Physics · Physics 2009-11-10 L. Nivanen , A. Le Mehaute , Q. A. Wang

We present a new general theory of function-based hypergraph transformations on finite families of finite hypergraphs. A function-based hypergraph transformation formalises the action of structurally modifying hypergraphs from a family in a…

Combinatorics · Mathematics 2023-09-26 Sean Trinity Vittadello

Federated graph learning collaboratively learns a global graph neural network with distributed graphs, where the non-independent and identically distributed property is one of the major challenges. Most relative arts focus on traditional…

Machine Learning · Computer Science 2024-07-02 Wenke Huang , Guancheng Wan , Mang Ye , Bo Du

We introduce the concept of a family of finite directed graphs (\emph{positive integer order,} $f(x) = mx + c; x,m \in \Bbb N$ and $c \in \Bbb N_0)$ which are directed graphs derived from an infinite directed graph called the $f(x)$-root…

Combinatorics · Mathematics 2015-06-23 Johan Kok , Susanth C. , Sunny Joseph Kalayathankal

A generalization of the classical statistics ``maj'' and ``inv'' (the major index and number of inversions) on words is introduced, parameterized by arbitrary graphs on the underlying alphabet. The question of characterizing those graphs…

Combinatorics · Mathematics 2008-02-03 Dominique Foata , Doron Zeilberger

Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound…

Logic in Computer Science · Computer Science 2023-06-22 Bruno Courcelle

Recently, the deep learning community has given growing attention to neural architectures engineered to learn problems in relational domains. Convolutional Neural Networks employ parameter sharing over the image domain, tying the weights of…

Machine Learning · Computer Science 2019-02-26 Marcelo O. R. Prates , Pedro H. C. Avelar , Henrique Lemos , Marco Gori , Luis Lamb

The arithmetic of N, Z, Q, R can be extended to a graph arithmetic where N is the semiring of finite simple graphs and where Z and Q are integral domains, culminating in a Banach algebra R. A single network completes to the Wiener algebra.…

Discrete Mathematics · Computer Science 2021-07-20 Oliver Knill

Suppose a finite, unweighted, combinatorial graph $G = (V,E)$ is the union of several (degree-)regular graphs which are then additionally connected with a few additional edges. $G$ will then have only a small number of vertices $v \in V$…

Combinatorics · Mathematics 2023-10-25 Tony Zeng

In this paper, we study the arithmetical structures on Fan Graphs Fn. Let G be a finite and connected graph. An arithmetical structure on G is a pair (d, r) of positive integer vectors such that r is primitive (the greatest common divisor…

Combinatorics · Mathematics 2025-03-05 Dilli Ram Chhetri , Namita Behera , Raj Bhawan Yadav

We consider the normalized Laplace operator for directed graphs with positive and negative edge weights. This generalization of the normalized Laplace operator for undirected graphs is used to characterize directed acyclic graphs. Moreover,…

Combinatorics · Mathematics 2012-02-01 Frank Bauer

The purpose of this paper is to outline a generalised model for representing hybrids of relational-categorical, symbolic, perceptual-sensory and perceptual-latent data, so as to embody, in the same architectural data layer, representations…

Machine Learning · Computer Science 2020-04-29 Bogdan Bocse , Ioan Radu Jinga

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

Rings and Algebras · Mathematics 2017-08-04 Nathan BeDell

We establish a correspondence between automorphisms and derivations on certain algebras of generalised power series. In particular, we describe a Lie algebra of derivations on a field $k(\!(G)\!)$ of generalised power series, exploiting our…

Rings and Algebras · Mathematics 2025-09-23 Vincent Bagayoko , Lothar Sebastian Krapp , Salma Kuhlmann , Daniel Panazzolo , Michele Serra

In this paper, we extend the recently introduced concept of partially dual ribbon graphs to graphs. We then go on to characterize partial duality of graphs in terms of bijections between edge sets of corresponding graphs. This result…

Combinatorics · Mathematics 2012-03-01 Iain Moffatt

Traditionally, graph algorithms get a single graph as input, and then they should decide if this graph satisfies a certain property $\Phi$. What happens if this question is modified in a way that we get a possibly infinite family of graphs…

Formal Languages and Automata Theory · Computer Science 2021-10-13 Volker Diekert , Henning Fernau , Petra Wolf

We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We…

Commutative Algebra · Mathematics 2026-03-05 Hans Cuypers

Let R be a commutative ring and M be an R-module. We define the large sum graph, denoted by \acute{G}(M), as a graph with the vertex set of non-large submodules of M and two distinct vertices are adjacent if and only if N + K is a non-large…

Commutative Algebra · Mathematics 2019-07-22 H. Ansari-Toroghy , F. Mahboobi-Abkenar

Coverings of undirected graphs are used in distributed computing, and unfoldings of directed graphs in semantics of programs. We study these two notions from a graph theoretical point of view so as to highlight their similarities, as they…

Logic in Computer Science · Computer Science 2026-04-08 Bruno Courcelle