arXiv++ Combinatorics

Let $Γ$ be a group of order $mnk$ and $MRS_Γ(m,n;k)=(a_{i,j}^s)_{m\times n}$ be a collection of $k$ arrays $m\times n$ whose entries are all distinct elements of $Γ$. If there exist elements $ρ,σ\inΓ$ such that for every row $i$, there exists an ordering of elements such that $$ a_{i,j_1}^s a_{i,j_2}^s \dots a_{i,j_{n-1}}^s a_{i,j_n}^s= ρ $$ and for every column $j$ there exists an ordering of elements such that $$ a_{i_1,j}^s a_{i_2,j}^s \dots a_{i_{m-1},j}^s a_{i_m,j}^s = σ, $$ then $MRS_Γ(m,n;k)$ is called a \emph{$Γ$-magic rectangle set}. We investigate magic rectangle sets over dihedral groups and prove that $\mathrm{MRS}_Γ(m,n;k)$ exists for every dihedral group $Γ$ of order $mnk$, provided that $m$ and $n$ are even. As a consequence, we obtain broad existence results for magic rectangles and magic squares over dihedral groups.

Let $(Γ,+)$ be an Abelian group of order $n^2$. A $Γ$-magic square of order $n$ is an $n\times n$ array whose entries are pairwise distinct elements of $Γ$ such that all row sums, column sums, and the two main diagonal sums are equal to the same element $μ\in Γ$, called the magic constant. A combinatorial design is called $Γ$-additive if its point set is a subset of an Abelian group $Γ$ and every block has sum zero. If the point set coincides with $Γ$, the design is said to be strictly $Γ$-additive. Motivated by this notion, we construct $Γ$-magic squares with magic constant $μ=0$ whose rows, columns, and two main diagonals can be used as blocks of a strictly $Γ$-additive design. We call such a square zero-sum $Γ$-magic square. In this paper, we establish necessary and sufficient conditions for the existence of zero-sum $Γ$-magic squares.

Let $Γ$ be a group of order $n^2$ and $SMS_Γ(n)=(a_{i,j})_{n\times n}$ be an $n\times n$ array whose entries are all distinct elements of $Γ$. If there exists an element $μ\inΓ$ such that for every row $i$, there exists an ordering of elements such that $$ a_{i,j_1} a_{i,j_2} \dots a_{i,j_{n-1}} a_{i,j_n} = μ $$ and for every column $j$ there exists an ordering of elements such that $$ a_{i_1,j} a_{i_2,j} \dots a_{i_{m-1},j} a_{i_m,j} = μ, $$ then $SMS_Γ(n)$ is called a \emph{$Γ$-semi-magic square of side $n$} and $μ$ is called a \emph{magic constant}. We provide a complete characterization of semi-magic squares of side $n$ whose entries belong to a dihedral group $D_k$. Moreover, we show that in our constructions a single semi-magic square may admit two distinct magic constants, depending on the order in which the products are computed.

XOR-magic graph labelings form a special subclass of group distance magic labelings. A simple connected graph of order $2^n$ is called an open (respectively, closed) XOR-magic graph of power $n$ if its vertices can be labeled bijectively with vectors from $(\mathbb{Z}_2)^n$ such that the sum (over $(\mathbb{Z}_2)^n$) of labels in each open (respectively, closed) neighborhood of every vertex is equal to the zero vector. In one paper, Batal asked whether there exists any odd-regular open XOR-magic graph or any even-regular closed XOR-magic graph. In this paper, with partial help of MILP solver, we answer this question in the affirmative. More precisely, we prove that for every integer $n>3$, there exists an odd-regular open XOR-magic graph of power $n$ and an even-regular closed XOR-magic graph of power $n$. We also show some applications of the spectra of graphs for an open XOR-magic labeling.

Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.

Given a finite Abelian group $(A,+)$, consider a tree $T$ with $|A|$ vertices. The labeling $f \colon V (T) \rightarrow A$ of the vertices of some graph $G$ induces an edge labeling in $G$, thus the edge $uv$ receives the label $f (u) + f (v)$. The tree $T$ is $A$-rainbow colored if $f$ is a bijection and edges have different colors. In this paper, we give necessary and sufficient conditions for a caterpillar with three spine vertices to be $A$-rainbow, when $A$ is an elementary $p$-group.

Let $(Γ,+)$ be an Abelian group of order $n^2$ and MS$_Γ(n)$ be an $n\times n$ array whose entries are all elements of $Γ$. Then MS$_Γ(n)$ is a $Γ$-magic square if all row, column, main and backward main diagonal sums are equal to the same element $μ\inΓ$. We prove that for every Abelian group $Γ$ of order $n^2$, $n>2$, there exists a magic square MS$_Γ(n)$ where the square entries are elements of $Γ$.

The path eccentricity of a connected graph $G$ is the minimum integer $k$ such that $G$ has a path such that every vertex is at distance at most $k$ from the path. A result of Duffus, Jacobson, and Gould from 1981 states that every connected $\{\text{claw}, \text{net}\}$-free graph $G$ has a Hamiltonian path, that is, $G$ has path eccentricity $0$. Several more recent works identified various classes of connected graphs with path eccentricity at most $1$, or, equivalently, graphs having a spanning caterpillar, including connected $P_5$-free graphs, AT-free graphs, and biconvex graphs. Generalizing all these results, we apply the work on structural distance domination of Bacsó and Tuza [Discrete Math., 2012] and characterize, for every positive integer $k$, graphs such that every connected induced subgraph has path eccentricity less than $k$. More specifically, we show that every connected $\{S_{k}, T_{k}\}$-free graph has a path eccentricity less than $k$, where $S_k$ and $T_k$ are two specific graphs of path eccentricity $k$ (a subdivided claw and the line graph of such a graph). As a consequence, every connected $H$-free graph has path eccentricity less than $k$ if and only if $H$ is an induced subgraph of $3P_{k}$ or $P_{2k+1} + P_{k-1}$. For such cases, we also provide a robust polynomial-time algorithm that finds a path witnessing the upper bound on the path eccentricity. Our main result also answers an open question of Bastide, Hilaire, and Robinson [Discrete Math., 2025].

A $Γ$\emph{-distance magic labeling} of a graph $G = (V, E)$ with $|V| = n$ is a bijection $\ell$ from $V$ to an Abelian group $Γ$ of order $n$, for which there exists $μ\in Γ$, such that the weight $w(x) =\sum_{y\in N(x)}\ell(y)$ of every vertex $x \in V$ is equal to $μ$. In this case, the element $μ$ is called the \emph{magic constant of} $G$. A graph $G$ is called a \emph{group distance magic} if there exists a $Γ$-distance magic labeling of $G$ for every Abelian group $Γ$ of order $n$. In this paper, we focused on cubic $Γ$-distance magic graphs as well as some properties of such graphs.

We provide a summary of research on disjoint zero-sum subsets in finite Abelian groups, which is a branch of additive group theory and combinatorial number theory. An orthomorphism of a group $Γ$ is defined as a bijection $\varphi$ $Γ$ such that the mapping $g \mapsto g^{-1}\varphi(g)$ is also bijective. In 1981, Friedlander, Gordon, and Tannenbaum conjectured that when $Γ$ is Abelian, for any $k \geq 2$ dividing $|Γ| -1$, there exists an orthomorphism of $Γ$ fixing the identity and permuting the remaining elements as products of disjoint $k$-cycles. Using the idea of disjoint-zero sum subset we provide a solution of this conjecture for $k=3$ and $|Γ|\cong 4\pmod{24}$. We also present some applications of zero-sum sets in graph labeling.

If $A$ is a finite Abelian group, then a labeling $f \colon E (G) \rightarrow A$ of the edges of some graph $G$ induces a vertex labeling on $G$; the vertex $u$ receives the label $\sum_{v\in N(u)}f (v)$, where $N(u)$ is an open neighborhood of the vertex $u$. A graph $G$ is $E_A$-cordial if there is an edge-labeling such that (1) the edge label classes differ in size by at most one and (2) the induced vertex label classes differ in size by at most one. Such a labeling is called $E_A$-cordial. In the literature, so far only $E_A$-cordial labeling in cyclic groups has been studied. The corresponding problem was studied by Kaplan, Lev and Roditty. Namely, they introduced $A^*$-antimagic labeling as a generalization of antimagic labeling \cite{ref_KapLevRod}. Simply saying, for a tree of order $|A|$ the $A^*$-antimagic labeling is such $E_A$-cordial labeling that the label $0$ is prohibited on the edges. In this paper, we give necessary and sufficient conditions for paths to be $E_A$-cordial for any cyclic $A$. We also show that the conjecture for $A^*$-antimagic labeling of trees posted in \cite{ref_KapLevRod} is not true.

A complete mapping of a group $Γ$ is a bijection $\varphi\colon Γ\to Γ$ for which the mapping $x \mapsto x+\varphi(x)$ is a bijection. In this paper we consider the existence of a complete mapping $\varphi$ of $Γ$ and a partition $S_1,S_2,\ldots S_t$ of elements of $Γ$, such that $\sum_{s\in S_i}s=\sum_{s\in S_i}\varphi(s)=0$ for every $i$, $1 \leq i \leq t$. A $Γ$-magic rectangle set $MRS_Γ(a, b; c)$ of order $abc$ is a collection of $c$ arrays $(a\times b)$ whose entries are elements of group $Γ$ of order $abc$, each appearing once, with all row sums in every rectangle equal to a constant $ω\in Γ$ and all column sums in every rectangle equal to a constant $δ\in Γ$. While a complete characterization of MRS$_Γ(a,b;c)$ exists for cases where $\{a,b\}\not=\{2k+1,2^α\}$, the scenario where $\{a,b\}=\{2k+1,2^α\}$ remains unsolved for $α>1$. Using the partition of $Γ$ into zero-sum sets by complete mappings, we give some sufficient conditions that a $Γ$-magic rectangle set MRS$_Γ(2k+1, 2^α;c)$ exists.

In this paper we would like to introduce some new methods for studying magic type-colorings of graphs or domination of graphs, based on combinatorial spectrum on polynomial rings. We hope that this concept will be potentially useful for the graph theorists.

We study the problem of finding a minimum $k$-critical-bipartite graph of order $(n,m)$: a bipartite graph $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical-bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical-bipartite if deleting at most $k=n-m$ vertices from $U$ yields $G'$ that has a complete matching, i.e., a matching of size $m$. Cichacz and Suchan solved the problem for biregular bipartite graphs. Here, we extend their results to bipartite graphs that are not biregular. We also prove tight lower bounds on the connectivity of $k$-critical-bipartite graphs.

We investigate the \textit{group irregular strength} $(s_g(G))$ of graphs, i.e the smallest value of $s$ such that for any Abelian group $Γ$ of order $s$ exists a function $g\colon E(G) \rightarrow Γ$ such that sums of edge labels at every vertex is distinct. We give results for bound and exact values of $(s_g(G))$ for graphs without small stars as components.

Let $\overrightarrow{G}$ be a directed graph of order $n$ with no component of order less than $4$, and let $Γ$ be a finite Abelian group such that $|Γ|\geq n+6$. We show that there exists a mapping $ψ$ from the arc set $E(\overrightarrow{G})$ of $\overrightarrow{G}$ to an Abelian group $Γ$ such that if we define a mapping $\varphi_ψ$ from the vertex set $V(\overrightarrow{G})$ of $\overrightarrow{G}$ to $Γ$ by $$\varphi_ψ(x)=\sum_{y\in N^+(x)}ψ(xy)-\sum_{y\in N^-(x)}ψ(yx),\;\;\;(x\in V(\overrightarrow{G})),$$ then $\varphi_ψ$ is injective. Such a labeling $ψ$ is called \textit{irregular}.

Vertex-fault-tolerance was introduced by Hayes~\cite{Hayes1976} in 1976, and since then it has been systematically studied in different aspects. In this paper we study $k$-vertex-fault-tolerant graphs for $p$ disjoint complete graphs of order $c$, i.e., graphs in which removing any $k$ vertices leaves a graph that has $p$ disjoint complete graphs of order $c$ as a subgraph. The main contribution is to describe such graphs that have the smallest possible number of edges for $k=1$, $p \geq 1$, and $c \geq 3$. Moreover, we analyze some properties of such graphs for any value of $k$.

Let $G$ be a graph. We introduce the acyclic b-chromatic number of $G$ as an analogue to the b-chromatic number of $G$. An acyclic coloring of a graph $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the induced subgraph on vertices of any two colors $i,j\in \{1,\dots,k\}$ induces a forest. On the set of all acyclic colorings of $G$ we define a relation whose transitive closure is a strict partial order. The minimum cardinality of its minimal element is then the acyclic chromatic number $A(G)$ of $G$ and the maximum cardinality of its minimal element is the acyclic b-chromatic number $A_b(G)$ of $G$. We present several properties of $A_b(G)$. In particular, we derive $A_b(G)$ for several known graph families, derive some bounds for $A_b(G)$, compare $A_b(G)$ with some other parameters and generalize some influential tools from b-colorings to acyclic b-colorings.

The following problem has been known since the 80s. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $\{m_i\}_{i=1}^{t}$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $\{S_i\}_{i=1}^{t}$ such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $1 \leq i \leq t$. Such a subset partition is called a \textit{zero-sum partition}. $|I(Γ)|\neq 1$, where $I(Γ)$ is the set of involutions in $Γ$, is a necessary condition for the existence of zero-sum partitions. In this paper, we show that the additional condition of $m_i\geq 4$ for every $1 \leq i \leq t$, is sufficient. Moreover, we present some applications of zero-sum partitions to magic- and antimagic-type labelings of graphs.

The following problem has been known since the 80's. Let $Γ$ be an Abelian group of order $m$ (denoted $|Γ|=m$), and let $t$ and $m_i$, $1 \leq i \leq t$, be positive integers such that $\sum_{i=1}^t m_i=m-1$. Determine when $Γ^*=Γ\setminus\{0\}$, the set of non-zero elements of $Γ$, can be partitioned into disjoint subsets $S_i$, $1 \leq i \leq t$, such that $|S_i|=m_i$ and $\sum_{s\in S_i}s=0$ for every $i$, $1 \leq i \leq t$. It is easy to check that $m_i\geq 2$ (for every $i$, $1 \leq i \leq t$) and $|I(Γ)|\neq 1$ are necessary conditions for the existence of such partitions, where $I(Γ)$ is the set of involutions of $Γ$. It was proved that the condition $m_i\geq 2$ is sufficient if and only if $|I(Γ)|\in\{0,3\}$. For other groups (i.e., for which $|I(Γ)|\neq 3$ and $|I(Γ)|>1$), only the case of any group $Γ$ with $Γ\cong(Z_2)^n$ for some positive integer $n$ has been analyzed completely so far, and it was shown independently by several authors that $m_i\geq 3$ is sufficient in this case. Moreover, recently Cichacz and Tuza proved that, if $|Γ|$ is large enough and $|I(Γ)|>1$, then $m_i\geq 4$ is sufficient. In this paper we generalize this result for every Abelian group of order $2^n$. Namely, we show that the condition $m_i\geq 3$ is sufficient for $Γ$ such that $|I(Γ)|>1$ and $|Γ|=2^n$, for every positive integer $n$. We also present some applications of this result to graph magic- and anti-magic-type labelings.