The metric dimension of the total graph of a semiring

David Dolžan

2024-06-05

Abstract:We calculate the metric dimension of the total graph of a direct product of finite commutative antinegative semirings with their sets of zero-divisors closed under addition.

Rings and Algebras

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to calculate the metric dimension of the total graph of the direct product of finite commutative non - negative semirings. Specifically, the paper focuses on the metric dimension of the total graph of the direct product of those finite commutative non - negative semirings whose sets of zero - divisors are closed under addition.

### Background and Motivation

1. **Definition of Total Graph**:
- The total graph is a graph related to an algebraic structure. Its vertex set is all elements of the semiring \(S\). For different \(x, y\in S\), if \(x + y\) is a zero - divisor in \(S\), then the vertices \(x\) and \(y\) are adjacent.
- A zero - divisor means that there exists a non - zero element \(y\) such that \(xy = 0\) or \(yx = 0\).

2. **Metric Dimension**:
- Metric dimension is a concept of a graph, which is used to describe the distinguishing ability of vertices in the graph. The metric dimension of a graph is defined as the size of the smallest resolving set. A resolving set is a set of vertices such that the representation (i.e., the distance vector to these vertices) of each vertex in the graph is unique under this set.

### Research Objectives

The main objective of the paper is to determine the metric dimension of the total graph of the direct product of finite commutative non - negative semirings. Specifically, the research object is those semirings whose sets of zero - divisors are closed under addition.

### Main Results

1. **Special Case of Boolean Semirings**:
- For the direct product \(S = B_1\times B_2\times\cdots\times B_n\) of \(n\geq2\) Boolean semirings:
- When \(n\neq2\), the metric dimension is \(n\).
- When \(n = 2\), the metric dimension is \(n - 1\).

2. **General Case**:
- For any finite commutative non - negative semiring \(S = S_1\times S_2\times\cdots\times S_n\), where the set of zero - divisors of each \(S_i\) is closed under addition and satisfies certain conditions (for example, \(\vert Z(S_i)\vert\geq2\) or there exists \(j\neq i\) such that \(\vert S_j\setminus Z(S_j)\vert\geq2\)), the metric dimension is \(\vert Z(S)\vert - 2n + 1\).

3. **Other Special Cases**:
- The paper also discusses some other special cases, such as the direct product containing Boolean semirings and other specific types of semirings, and gives the corresponding metric dimension formulas.

### Methods and Techniques

- **Graph - Theoretical Methods**: Use concepts and techniques in graph theory, such as neighborhood, path, distance, etc., to analyze and calculate the metric dimension.
- **Algebraic Methods**: Use the algebraic properties of semirings, especially the properties of the set of zero - divisors, to derive and prove the metric dimension formulas.

### Conclusions

Through the above research, the paper completely determines the metric dimension of the total graph of the direct product of finite commutative non - negative semirings, providing a theoretical basis for further research in related fields.