The Hamilton-Waterloo Problem for Triangle-Factors and Heptagon-Factors

Given 2-factors $R$ and $S$ of order $n$, let $r$ and $s$ be nonnegative integers with $r+s=\lfloor \frac{n-1}{2}\rfloor$, the Hamilton-Waterloo problem asks for a 2-factorization of $K_n$ if $n$ is odd, or of $K_n-I$ if $n$ is even, in which $r$ of its 2-factors are isomorphic to $R$ and the other $s$ 2-factors are isomorphic to $S$. In this paper, we solve the problem for the case of triangle-factors and heptagon-factors for odd $n$ with 3 possible exceptions when $n=21$.Comment: in Graphs and Combinatorics, 201

Real-time Structural Health Monitoring System Using Internet of Things and Cloud Computing

Real-time monitoring of various structural behaviors, particularly displacement and acceleration, serves important and valuable information for people; for example, they can be used for active control or damage warning. With recent advancement of the Internet of Things and client-side web technologies, wireless integrated sensor devices nowadays can process real-time raw sensor signal data into target measurements, such as displacement, and then send the results through a standard protocol to the servers on the Internet. The monitoring results are further processed for visualization purpose in the servers and the computed results are pushed to connected clients like browsers or mobile applications in real-time. We build a real-time cloud-based system that can receive heterogeneous IoT data, allow users to create a three-dimensional model online according to the real world structure, and the monitoring results can be visualized in that model. In this paper, we illustrate the software architecture of the proposed system and focus on the technologies that are used, like client-side scripting, NoSql database, and socket communication. We also present the challenges of displaying the overall movement and shape transformation of the 3D structural model. Thus, each internal-connected element's rotations and translations are obtained by converting the monitoring results of each sensor device measured in the global coordinate system. To overcome this, we create an inverted movement calculation method. A simple 3D two-level structural model and simulated sensor displacements are used to demonstrate system function and validate the inverted movement calculation method.Comment: 10 page

Multicolored Isomorphic Spanning Trees in Complete Graphs

In this paper, we first prove that if the edges of $K_{2m}$ are properly colored by $2m-1$ colors in such a way that any two colors induce a 2-factor of which each component is a 4-cycle, then $K_{2m}$ can be decomposed into $m$ isomorphic multicolored spanning trees. Consequently, we show that there exist three disjoint isomorphic multicolored spanning trees in any properly (2$m-$1)-edge-colored $K_{2m}$ for $m\geq 14$.Comment: 10 pages, 6 figures. This paper has been accepted for publication in Ars Combinatori

The Hamilton-Waterloo problem for Hamilton cycles and C4k-factors

In this paper we give a complete solution to the Hamilton-Waterloo problem for the case of Hamilton cycles and C4k-factors for all positive integers k

Edge-colorings of Km,nK_{m,n} which Forbid Multicolored Cycles

A subgraph in an edge-colored graph is multicolored if all its edges receive distinct colors. In this paper, we study the proper edge-colorings of the complete bipartite graph $K_{m,n}$ which forbid multicolored cycles. Mainly, we prove that (1) for any integer $k\geq 2$, if $n\geq 5k-6$, then any properly $n$-edge-colored $K_{k,n}$ contains a multicolored $C_{2k}$, and (2) determine the order of the properly edge-colored complete bipartite graphs which forbid multicolored $C_6$.Comment: 8 pages, 6 figure

Sparseness of 4-cycle systems

An avoidance problem of configurations in 4-cycle systems is investigated by generalizing the notion of sparseness, which is originally from Erd\H{o}s' r-sparse conjecture on Steiner triple systems. A 4-cycle system of order v, 4CS(v), is said to be r-sparse if for every integer j satisfying 1 < j < r+1 it contains no configurations consisting of j 4-cycles whose union contains precisely j+3 vertices. If an r-sparse 4CS(v) is also free from copies of a configuration on two 4-cycles sharing a diagonal, called the double-diamond, we say it is strictly r-sparse. In this paper, we show that for every admissible order v there exists a strictly 4-sparse 4CS(v). We also prove that for any positive integer r > 1 and sufficiently large integer v there exists a constant number c such that there exists a strictly r-sparse 4-cycle packing of order v with cv^2 4-cycles.Comment: 11 pages, no figure

The Undirected Optical Indices of Complete mm-ary Trees

The routing and wavelength assignment problem arises from the investigation of optimal wavelength allocation in an optical network that employs Wavelength Division Multiplexing (WDM). Consider an optical network that is represented by a connected, simple graph $G$. An all-to-all routing $R$ in $G$ is a set of paths connecting all pairs of vertices of $G$. The undirected optical index of $G$ is the minimum integer $k$ to guarantee the existence of a mapping $\phi:R\to\{1,2,\ldots,k\}$, such that $\phi(P)\neq\phi(P')$ if $P$ and $P'$ have common edge(s), over all possible routings $R$. A natural lower bound of the undirected optical index of $G$ is the (undirected) edge-forwarding index, which is defined to be the minimum of the maximum edge-load over all possible all-to-all routings. In this paper, we first derive the exact value of the optical index of the complete $m$-ary trees, and then investigate the gap between undirected optical and edge-forwarding indices.Comment: 12 pages, 3 figure

On the integer {k}-domination number of circulant graphs

Let $G=(V,E)$ be a simple undirected graph. $G$ is a circulant graph defined on $V=\mathbb{Z}_n$ with difference set $D\subseteq \{1,2,\ldots,\lfloor\frac{n}{2}\rfloor\}$ provided two vertices $i$ and $j$ in $\mathbb{Z}_n$ are adjacent if and only if $\min\{|i-j|, n-|i-j|\}\in D$. For convenience, we use $G(n;D)$ to denote such a circulant graph. A function $f:V(G)\rightarrow\mathbb{N}\cup\{0\}$ is an integer $\{k\}$-domination function if for each $v\in V(G)$, $\sum_{u\in N_G[v]}f(u)\geq k.$ By considering all $\{k\}$-domination functions $f$, the minimum value of $\sum_{v\in V(G)}f(v)$ is the $\{k\}$-domination number of $G$, denoted by $\gamma_k(G)$. In this paper, we prove that if $D=\{1,2,\ldots,t\}$, $1\leq t\leq \frac{n-1}{2}$, then the integer $\{k\}$-domination number of $G(n;D)$ is $\lceil\frac{kn}{2t+1}\rceil$

The Global Packing Number for an Optical Network

The global packing number problem arises from the investigation of optimal wavelength allocation in an optical network that employs Wavelength Division Multiplexing (WDM). Consider an optical network that is represented by a connected, simple graph $G$. We assume all communication channels are bidirectional, so that all links and paths are undirected. It follows that there are ${|G|\choose 2}$ distinct node pairs associated with $G$, where $|G|$ is the number of nodes in $G$. A path system $\mathcal{P}$ of $G$ consists of ${|G|\choose 2}$ paths, one path to connect each of the node pairs. The global packing number of a path system $\mathcal{P}$, denoted by $\Phi(G,\mathcal{P})$, is the minimum integer $k$ to guarantee the existence of a mapping $\omega:\mathcal{P}\to\{1,2,\ldots,k\}$, such that $\omega(P)\neq\omega(P')$ if $P$ and $P'$ have common edge(s). The global packing number of $G$, denoted by $\Phi(G)$, is defined to be the minimum $\Phi(G,\mathcal{P})$ among all possible path systems $\mathcal{P}$. If there is no wavelength conversion along any optical transmission path for any node pair in the network, the global packing number signifies the minimum number of wavelengths required to support simultaneous communication for all pairs in the network. In this paper, the focus is on ring networks, so that $G$ is a cycle. Explicit formulas for the global packing number of a cycle is derived. The investigation is further extended to chain networks. A path system, $\mathcal{P}$, that enjoys $\Phi(G,\mathcal{P})=\Phi(G)$ is called ideal. A characterization of ideal path systems is also presented. We also describe an efficient heuristic algorithm to assign wavelengths that can be applied to a general network with more complicated traffic load.Comment: 23 pages, 3 figure

Codes with the Identifiable Parent Property for Multimedia Fingerprinting

Let ${\cal C}$ be a $q$-ary code of length $n$ and size $M$, and ${\cal C}(i) = \{{\bf c}(i) \ | \ {\bf c}=({\bf c}(1), {\bf c}(2), \ldots, {\bf c}(n))^{T} \in {\cal C}\}$ be the set of $i$th coordinates of ${\cal C}$. The descendant code of a sub-code ${\cal C}^{'} \subseteq {\cal C}$ is defined to be ${\cal C}^{'}(1) \times {\cal C}^{'}(2) \times \cdots \times {\cal C}^{'}(n)$. In this paper, we introduce a multimedia analogue of codes with the identifiable parent property (IPP), called multimedia IPP codes or $t$-MIPPC$(n, M, q)$, so that given the descendant code of any sub-code ${\cal C}^{'}$ of a multimedia $t$-IPP code ${\cal C}$, one can always identify, as IPP codes do in the generic digital scenario, at least one codeword in ${\cal C}^{'}$. We first derive a general upper bound on the size $M$ of a multimedia $t$-IPP code, and then investigate multimedia $3$-IPP codes in more detail. We characterize a multimedia $3$-IPP code of length $2$ in terms of a bipartite graph and a generalized packing, respectively. By means of these combinatorial characterizations, we further derive a tight upper bound on the size of a multimedia $3$-IPP code of length $2$, and construct several infinite families of (asymptotically) optimal multimedia $3$-IPP codes of length $2$.Comment: 7 pages, submitted to IEEE transction on information theor