arXiv++ Combinatorics

In this article, following [A.~Daneshgar, M.~Hejrati, M.~Madani, {\it On cylindrical graph construction and its applications}, EJC, 23(1) p1.29, 45, 2016] we study the spectra of symmetric cylindrical constructs, generalizing some well-known results on the spectra of a variety of graph products, graph subdivisions by V.~B.~Mnuhin (1980) and the spectra of GI-graphs (see [M.~Conder, T.~Pisanski, and A.~{Ž}itnik, {\it GI-graphs: a new class of graphs with many symmetries}, 40, 209--231 (2014)] and references therein). In particular, we show that for bsymmetric cylinders with no internal vertex the spectra is actually equal to the eigenvalues of a perturbation of the base, and using this, we study the spectra of sparsifications of complete graphs by tree-cylinders. We also, show that a specific version of this construction gives rise to a class of highly symmetric graphs as a generalization of Petersen and Coxeter graphs.

A class of simple graphs such as ${\cal G}$ is said to be {\it odd-girth-closed} if for any positive integer $g$ there exists a graph $G \in {\cal G}$ such that the odd-girth of $G$ is greater than or equal to $g$. An odd-girth-closed class of graphs ${\cal G}$ is said to be {\it odd-pentagonal} if there exists a positive integer $g^*$ depending on ${\cal G}$ such that any graph $G \in {\cal G}$ whose odd-girth is greater than $g^*$ admits a homomorphism to the five cycle (i.e. is $C_{_{5}}$-colorable). In this article, we show that finding the odd girth of generalized Petersen graphs can be transformed to an integer programming problem, and using this we explicitly compute the odd girth of such graphs, showing that the class is odd-girth-closed. Also, motivated by showing that the class of generalized Petersen graphs is odd-pentagonal, we study the circular chromatic number of such graphs.

In this article we introduce the {\it cylindrical construction} for graphs and investigate its basic properties. We state a main result claiming a weak tensor-like duality for this construction. Details of our motivations and applications of the construction will appear elsewhere.

This paper is aimed to investigate some computational aspects of different isoperimetric problems on weighted trees. In this regard, we consider different connectivity parameters called {\it minimum normalized cuts}/{\it isoperimteric numbers} defined through taking minimum of the maximum or the mean of the normalized outgoing flows from a set of subdomains of vertices, where these subdomains constitute a {\it partition}/{\it subpartition}. Following the main result of [A. Daneshgar, {\it et. al.}, {\it On the isoperimetric spectrum of graphs and its approximations}, JCTB, (2010)], it is known that the isoperimetric number and the minimum normalized cut both can be described as $\{0,1\}$-optimization programs, where the latter one does {\it not} admit a relaxation to the reals. We show that the decision problem for the case of taking $k$-partitions and the maximum (called the max normalized cut problem {\rm NCP}$^M$) as well as the other two decision problems for the mean version (referred to as {\rm IPP}$^m$ and {\rm NCP}$^m$) are $NP$-complete problems. On the other hand, we show that the decision problem for the case of taking $k$-subpartitions and the maximum (called the max isoperimetric problem {\rm IPP}$^M$) can be solved in {\it linear time} for any weighted tree and any $k \geq 2$. Based on this fact, we provide polynomial time $O(k)$-approximation algorithms for all different versions of $k$th isoperimetric numbers considered. Moreover, when the number of partitions/subpartitions, $k$, is a fixed constant, as an extension of a result of B. Mohar (1989) for the case $k=2$ (usually referred to as the Cheeger constant), we prove that max and mean isoperimetric numbers of weighted trees as well as their max normalized cut can be computed in polynomial time. We also prove some hardness results for the case of simple unweighted graphs and trees.

We prove that every partial function with finite domain and range can be effectively simulated through sequential colorings of graphs. Namely, we show that given a finite set $S=\{0,1,\ldots,m-1\}$ and a number $n \geq \max\{m,3\}$, any partial function $\varphi:S^{^p} \to S^{^q}$ (i.e. it may not be defined on some elements of its domain $S^{^p}$) can be effectively (i.e. in polynomial time) transformed to a simple graph $\matr{G}_{_{\varphi,n}}$ along with three sets of specified vertices $$X = \{x_{_{0}},x_{_{1}},\ldots,x_{_{p-1}}\}, \ \ Y = \{y_{_{0}},y_{_{1}},\ldots,y_{_{q-1}}\}, \ \ R = \{\Kv{0},\Kv{1},\ldots,\Kv{n-1}\},$$ such that any assignment $σ_{_{0}}: X \cup R \to \{0,1,\ldots,n-1\} $ with $σ_{_{0}}(\Kv{i})=i$ for all $0 \leq i < n$, is {\it uniquely} and {\it effectively} extendable to a proper $n$-coloring $σ$ of $\matr{G}_{_{\varphi,n}}$ for which we have $$\varphi(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))=(σ(y_{_{0}}),σ(y_{_{1}}),\ldots,σ(y_{_{q-1}})),$$ unless $(σ(x_{_{0}}),σ(x_{_{1}}),\ldots,σ(x_{_{p-1}}))$ is not in the domain of $\varphi$ (in which case $σ_{_{0}}$ has no extension to a proper $n$-coloring of $\matr{G}_{_{\varphi,n}}$).

In this paper, based on the contributions of Tucker (1983) and Seb{ő} (1992), we generalize the concept of a sequential coloring of a graph to a framework in which the algorithm may use a coloring rule-base obtained from suitable forcing structures. In this regard, we introduce the {\it weak} and {\it strong sequential defining numbers} for such colorings and as the main results, after proving some basic properties, we show that these two parameters are intrinsically different and their spectra are nontrivial. Also, we consider the natural problems related to the complexity of computing such parameters and we show that in a variety of cases these problems are ${\bf NP}$-complete. We conjecture that this result does not depend on the rule-base for all nontrivial cases.

In this paper we consider higher isoperimetric numbers of a (finite directed) graph. In this regard we focus on the $n$th mean isoperimetric constant of a directed graph as the minimum of the mean outgoing normalized flows from a given set of $n$ disjoint subsets of the vertex set of the graph. We show that the second mean isoperimetric constant in this general setting, coincides with (the mean version of) the classical Cheeger constant of the graph, while for the rest of the spectrum we show that there is a fundamental difference between the $n$th isoperimetric constant and the number obtained by taking the minimum over all $n$-partitions. In this direction, we show that our definition is the correct one in the sense that it satisfies a Federer-Fleming-type theorem, and we also define and present examples for the concept of a supergeometric graph as a graph whose mean isoperimetric constants are attained on partitions at all levels. Moreover, considering the ${\bf NP}$-completeness of the isoperimetric problem on graphs, we address ourselves to the approximation problem where we prove general spectral inequalities that give rise to a general Cheeger-type inequality as well. On the other hand, we also consider some algorithmic aspects of the problem where we show connections to orthogonal representations of graphs and following J.~Malik and J.~Shi ($2000$) we study the close relationships to the well-known $k$-means algorithm and normalized cuts method.