A radio labeling of a simple connected graph \( G \) is a function \( f: V(G) \to \mathbb{Z}^+ \) such that for every two distinct vertices \( u \) and \( v \) of \( G \),
$$distance(u, v) + |f(u) – f(v)| \geq 1 + diameter(G).$$
The radio number of a graph \( G \) is the smallest integer \( M \) for which there exists a labeling \( f \) with \( f(v) \leq M \) for all \( v \in V(G) \). An edge-balanced caterpillar graph is a caterpillar graph that has an edge such that removing this edge results in two components with an equal number of vertices. In this paper, we determine the radio number of particular edge-balanced caterpillars as well as improve the lower bounds of the radio number of other edge-balanced caterpillars.
It is known that an ordered \(\rho\)-labeling of a bipartite graph \( G \) with \( n \) edges yields a cyclic \( G \)-decomposition of \( K_{2nx+1} \) for every positive integer \( x \). We extend the concept of an ordered \(\rho\)-labeling to bipartite digraphs and show that an ordered directed \(\rho\)-labeling of a bipartite digraph \( D \) with \( n \) arcs yields a cyclic \( D \)-decomposition of \( K_{nx+1}^* \) for every positive integer \( x \). We also find several classes of bipartite digraphs that admit an ordered directed \(\rho\)-labeling.
Compressed sensing (CS), which is a rising technique of signal processing, successfully manages the huge expenditure of increasing the sampling rate as well as the intricate issues to our work. Hence, more and more attention has been paid to CS during recent years. In this paper, we construct a family of error-correcting pooling designs based on singular linear space over finite fields, which can be efficiently applied to signal processing in terms of CS.
It is proven that for all positive integers \( k \), \( n \), and \( r \), every sufficiently large positive integer is the sum of \( r \) or more \( k \)th powers of distinct elements of \(\{n,n + 1,n + 2,\ldots\}\). The case \( n = 1 \) is the conjecture in the title of [1].
In 1770, Waring conjectured that for each positive integer \( k \) there exists a \( g(k) \) such that every positive integer is a sum of \( g(k) \) or fewer \( k \)th powers of positive integers. Hilbert proved this theorem in 1909, giving rise to Waring’s problem, which asks, for each \( k \), what is the smallest \( g(k) \) such that the statement holds. For further details, see [3].
As a natural question arising from this problem, Johnson and Laughlin [1] proposed what they called an anti-Waring conjecture, which is the following: If \( k \) and \( r \) are positive integers, then every sufficiently large positive integer is the sum of \( r \) or more distinct \( k \)th powers of positive integers. When this holds for a pair \( k, r \), let \( N(k,r) \) denote the smallest positive integer such that each integer \( n \) greater than or equal to \( N(k,r) \) is the sum of \( r \) or more \( k \)th powers of distinct positive integers. As noted in [1], it is easy to see that, for all \( r \), \( N(1,r) = 1 + 2 + \cdots + r = \frac{r(r+1)}{2} \). It is also shown in [1] that \( N(2,1) = N(2, 2) = N(2,3) = 129 \).
Johnson and Laughlin further posed the question of whether given any positive integers \( k \), \( n \), \( r \), there exists an integer \( N(k,n,r) \) such that every integer \( z \) greater than or equal to \( N(k,n,r) \) can be written as a sum of \( r \) or more distinct elements from the set \( \{m^k \mid m \in \mathbb{N}, m \geq n\} \). The aim of this paper is to prove both this statement and the anti-Waring conjecture to be true.
We consider an optimization problem motivated by the tradeoff between connectivity and resilience in key predistribution schemes (KPS) for sensor networks that are based on certain types of combinatorial designs. For a specific class of designs, we show that there is no real disadvantage in requiring the underlying design to be regular.
We define three new pebbling parameters of a connected graph \( G \), the \( r \)-, \( g \)-, and \( u \)-\emph{critical pebbling numbers}. Together with the pebbling number, the optimal pebbling number, the number of vertices \( n \) and the diameter \( d \) of the graph, this yields \( 7 \) graph parameters. We determine the relationships between these parameters. We investigate properties of the \( r \)-critical pebbling number, and distinguish between greedy graphs, thrifty graphs, and graphs for which the \( r \)-critical pebbling number is \( 2^d \).
A set \( S \subset V \) of vertices in a graph \( G = (V, E) \) is called open irredundant if for every vertex \( v \in S \) there exists a vertex \( w \in V \setminus S \) such that \( w \) is adjacent to \( v \) but to no other vertex in \( S \). The upper open irredundance number \( OIR(G) \) equals the maximum cardinality of an open irredundant set in \( G \). A real-valued function \( g: V \to [0,1] \) is called open irredundant if for every vertex \( v \in V \), \( g(v) > 0 \) implies there exists a vertex \( w \) adjacent to \( v \) such that \( g(N[w]) = 1 \). An open irredundant function \( g \) is maximal if there does not exist an open irredundant function \( h \) such that \( g \neq h \) and \( g(v) \leq h(v) \), for every \( v \in V \). The fractional upper open irredundance number equals \( OIR_f(G) = \sup\{|g|: g \text{ is an open irredundant function on } G\} \). In this paper we prove that for any graph \( G \), \( OIR(G) = OIR_f(G) \).
A graph \( G \) is \( H \)-saturated if \( G \) does not contain \( H \) as a subgraph, but the addition of any edge between two nonadjacent vertices in \( G \) results in a copy of \( H \) in \( G \). The saturation number \( \operatorname{sat}(n, H) \) is the smallest possible number of edges in an \( n \)-vertex \( H \)-saturated graph. The values of saturation numbers for small graphs and \( H \) are obtained computationally, and some general results for specific path unions are also obtained.
A path \( P \) in a graph \( G \) is said to be a degree monotone path if the sequence of degrees of the vertices of \( P \) in the order in which they appear on \( P \) is monotonically non-decreasing. The length of the longest degree monotone path in \( G \) is denoted by \( \operatorname{mp}(G) \). This parameter was first studied in an earlier paper by the authors where bounds in terms of other parameters of \( G \) were obtained.
In this paper we concentrate on the study of how \( \operatorname{mp}(G) \) changes under various operations on \( G \). We first consider how \( \operatorname{mp}(G) \) changes when an edge is deleted, added, contracted or subdivided. We similarly consider the effects of adding or deleting a vertex. We sometimes restrict our attention to particular classes of graphs.
Finally we study \( \operatorname{mp}(G \times H) \) in terms of \( \operatorname{mp}(G) \) and \( \operatorname{mp}(H) \) where \( \times \) is either the Cartesian product or the join of two graphs.
In all these cases we give bounds on the parameter \( \operatorname{mp} \) of the modified graph in terms of the original graph or graphs and we show that all the bounds are sharp.
Given a graph \( G \), a \( k \)-ranking is a labeling of the vertices such that any path connecting two vertices with the same label contains a vertex with a larger label. A \( k \)-ranking is minimal if and only if reducing any label violates the ranking property. The arank number of a graph \( \psi_r(G) \), is the maximum \( k \) such that \( G \) has a minimal \( k \)-ranking. The arank number of a cycle was first investigated by Kostyuk and Narayan. They determined precise arank numbers for most cycles, and determined the arank number within \( 1 \) for all other cases. In this paper we introduce a new concept called the flanking number, which is used to solve all open cases. We prove that \( \psi_r(C_n) = \lfloor\log_2(n + 1)\rfloor + \lfloor\log_2 \left(\frac{n+2}{3}\right)\rfloor + 1 \) for all \( n > 6 \), which completely solves the problem that has been open since \( 2003 \).
A DI-pathological graph is a graph in which every minimum dominating set intersects every maximal independent set. DI-pathological graphs are related to the Inverse Domination Conjecture; hence, it is useful to characterize properties of them. One characterization question is how large or small a graph can be relative to the domination number. Two useful characterizations of size seem relevant, namely the number of vertices and the number of edges. In this paper, we provide two results related to this question. In terms of the number of vertices, we show that every connected, DI-pathological graph has at least \(2\gamma(G) + 4\) vertices except \(K_{3,3}\), \(K_{3,4}\), and six graphs on nine vertices and show that our lower bound is best possible. We then show that with one exception, every connected, DI-pathological graph with no isolated vertices has at least \(2\gamma(G) + 5\) edges and show that our lower bound is best possible.
A dominating set in a graph \( G \) is a subset \( S \) of vertices such that any vertex not in \( S \) is adjacent to some vertex of \( S \). The domination number, \( \gamma(G) \), of \( G \) is the minimum cardinality of a dominating set. A dominating set of cardinality \( \gamma(G) \) is called a \( \gamma(G) \)-set. A fair dominating set in a graph \( G \) (or FD-set) is a dominating set \( S \) such that all vertices not in \( S \) are dominated by the same number of vertices from \( S \); that is, every two vertices not in \( S \) have the same number of neighbors in \( S \). The fair domination number, \( fd(G) \), of \( G \) is the minimum cardinality of an FD-set. A fair dominating set of \( G \) of cardinality \( fd(G) \) is called an \( fd(G) \)-set. We say that \( fd(G) \) and \( \gamma(G) \) are \emph{strongly equal} and denote by \( fd(G) \equiv \gamma(G) \), if every \( \gamma(G) \)-set is an \( fd(G) \)-set. In this paper, we provide a constructive characterization of trees \( T \) with \( fd(T) \equiv \gamma(T) \).
We consider edge-colorings of complete graphs in which each color induces a subgraph that does not contain an induced copy of \( K_{1,t} \), for some \( t \geq 3 \). It turns out that such colorings, if the underlying graph is sufficiently large, contain spanning monochromatic \( k \)-connected subgraphs. Furthermore, there exists a color, say blue, such that every vertex has very few incident edges in colors other than blue.
Multi-sender authentication codes allow a group of senders to construct an authenticated message for a receiver such that the receiver can verify the authenticity of the received message. In this paper, we construct one multi-sender authentication code from polynomials over finite fields. Some parameters and the probabilities of deceptions of this code are also compute
For graphs \(G\) and \(H\), Ramsey number \(R(G, H)\) is the smallest natural number \(n\) such that no \((G, H)\)-free graph on \(n\) vertices exists. In 1981, Burr [5] proved the general lower bound \(R(G, H) \geq (n – 1)(\chi(H) – 1) + \sigma(H)\), where \(G\) is a connected graph of order \(n\), \(\chi(H)\) denotes the chromatic number of \(H\) and \(\sigma(H)\) is its chromatic surplus, namely, the minimum cardinality of a color class taken over all proper colorings of \(H\) with \(\chi(H)\) colors. A connected graph \(G\) of order \(n\) is called good with respect to \(H\), \(H\)-good, if \(R(G, H) = (n – 1)(\chi(H) – 1) + \sigma(H)\). The notation \(tK_m\) represents a graph with \(t\) identical copies of complete graph \(K_m\). In this note, we discuss the goodness of cycle \(C_n\) with respect to \(tK_m\) for \(m, t \geq 2\) and sufficiently large \(n\). Furthermore, it is also provided the Ramsey number \(R(G, tK_m)\), where \(G\) is a disjoint union of cycles.
If \(T\) is a tree on \(n\) vertices, \(n \geq 3\), and if \(G\) is a connected graph such that \(d(u) + d(v) + d(u,v) \geq 2n\) for every pair of distinct vertices of \(G\), it has been conjectured that \(G\) must have a non-separating copy of \(T\). In this note, we prove this result for the special case in which \(d(u) + d(v) + d(u,v) \geq 2n + 2\) for every pair of distinct vertices of \(G\), and improve this slightly for trees of diameter at least four and for some trees of diameter three.
Let $G$ be a finite simple group, \(M\) be a maximal subgroup of \(G\) and \(C_g = nX\) be the conjugacy class of $G$ containing \(g\). In this paper we discuss a new method for constructing \(1-(v,k,\lambda)\) designs \(\mathcal{D} = (\mathcal{P},\mathcal{B})\), where \(\mathcal{P} = nX\) and \(\mathcal{B} = \{(M\cap nX)^y \mid y \in G\}\). The parameters \(v\), \(k\), \(\lambda\) and further properties of \(\mathcal{D}\) are determined. We also study codes associated with these designs.
Let \(G\) be a graph and \(H\) a subgraph of \(G\). A \(D(G, H, \lambda)\) design is a collection \(\mathcal{D}\) of subgraphs of \(G\) each isomorphic to \(H\) so that every \(2\)-path (path of length \(2\)) in \(G\) lies in exactly \(\lambda\) subgraphs in \(\mathcal{D}\). The problem of constructing \(D(K_n,C_n,1)\) designs is the so-called Dudeney’s round table problem. We denote by \(C_k\), a cycle on \(k\) vertices and by \(P_k\), a path on \(k\) vertices.
In this paper, we construct \(D(K_{n,n},C_{2n},1)\) designs and \(D(K_n,P_n,1)\) designs when \(n \equiv 0,1,3 \pmod{4}\); and \(D(K_{n,n},C_{2n},2)\) designs and \(D(K_n,P_n,2)\) designs when \(n \equiv 2 \pmod{4}\). The existence problems of \(D(K_{n,n},C_{2n},1)\) designs and \(D(K_n,P_n,1)\) designs for \(n \equiv 2 \pmod{4}\) remain open.
The spread of a graph \(G\) is defined as the difference between the largest and smallest eigenvalues of \(G\). Using the lower bounds obtained by Liu and Liu in [4] on the spread of a graph, we in this note present spread conditions for some Hamiltonian properties of a graph.
A \emph{vertex cover} of a graph \(G = (V, E)\) is a subset \(S \subseteq V\) such that every edge is incident with at least one vertex in \(S\), and \(\alpha(G)\) is the cardinality of a smallest vertex cover. For a given vertex cover \(S\), a defense by \(S\) to an attack on an edge \(e = \{v, w\}\), where \(v \in S\), is a one-to-one function \(f : S \to V\), such that:
Informally, a set is an \emph{eternal vertex cover} if it can defend an “attack” on any edge and the process can be repeated indefinitely. The cardinality of a smallest eternal vertex cover is denoted \(\alpha_{m}^\infty(G)\). A set of vertices which is not an eternal vertex cover is \emph{mortal}. A formal definition of eternal vertex cover is provided and demonstrated to be equivalent to a characterization using closed families of vertex covers.
Eternal vertex covers are shown to be closed under taking supersets and a lower bound for \(\alpha_{m}^\infty(G)\) is given which depends on the vertex connectivity number and the independent domination number. A corresponding upper bound is given for the size of a mortal set. The \emph{death spiral number} of a mortal vertex cover is defined and used to partition the collection of all mortal sets. Mortal sets are shown to be closed under taking subsets implying the collection of mortal sets for a graph with at least one edge is an independence system. The death spiral number of a graph is the maximum of the death spiral numbers of all mortal sets.
An optimal attack/defense strategy is determined for a set of size \(\alpha_{m}^\infty(T) – 1\) in a tree \(T\), along with a polynomial labeling algorithm which computes its death spiral number.
1970-2025 CP (Manitoba, Canada) unless otherwise stated.