A necessary and sufficient condition for bound on the sum of a list of real numbers and its applications

Xiwu Yang

2024-02-29

Abstract:Let $x_1,...,x_n$ be a list of real numbers, let $s :=\sum_{i=1}^{n}x_i$, and let $h:\mathbb{N} \rightarrow \mathbb{R}$ be a function. We gave a necessary and sufficient condition for $s>h(n)$ (respectively, $s<h(n)$). Let $G=(V,E)$ be a graph, let $\{H_1,...,H_n\}$ and $\{V_1,...,V_n\}$ be a decomposition and a partition of $G$, respectively. $G$ is \emph{generalized periodic} or \emph{partition-transitive} if for each pair of integers $(i,j), 1\leq i\leq j\leq n$, there exists an automorphism $\theta_{i,j}$ of $G$ such that $\theta_{i,j}(H_{i+k})=H_{j+k}$ or $\theta_{i,j}(V_{i+k})=V_{j+k}$ for all $k$, $1\leq k\leq n$, respectively, where subscripts are taken modulo $n$. Let $f:E \rightarrow \mathbb{R}$ and $g:V \rightarrow \mathbb{R}$ be mappings, and let the \emph{weight} of $f$ or $g$ on $G$ be $\Sigma_{e\in E}f(e)$ or $\Sigma_{v\in V}g(v)$, respectively. Suppose that parameters $\lambda$ and $\xi$ of $G$ can be expressed as the minimum or maximum weight of specified $f$ and $g$, respectively. Then our conditions imply a necessary and sufficient condition for $\lambda(G_1)=h(n)$ (respectively, $\xi(G_2)=h(n)$), where $G_1$ is generalized periodic and $G_2$ is partition-transitive. For example, $\textrm{cr}(\odot(T^n))=h(n)$, where $\textrm{cr}(\odot(T^n))$ is the crossing number of a periodic graph $\odot(T^n)$. As applications, we determined the crossing number of the circulant $C(4n;\{1,4\})$, the paired domination number of $C_5\Box C_n$ and the upper total domination number of $C_4\Box C_n$.

Combinatorics