arXiv subjects
Publications and source records attributed to Kaishun Wang.
Suzuki (2004) [7] classified thin weakly distance-regular digraphs and pro- posed the project to classify weakly distance-regular digraphs of valency 3. The case of girth 2 was classified by the third author (2004) [9] under the assumption of the commutativity. In this paper, we continue this project and classify these digraphs with girth more than 2 and two types of arcs.
An identifying code in a graph $G$ is a dominating set $C$ such that the closed neighborhood of each vertex in $G$ has a distinct intersection with $C$. In 2008, Gravier et al. determined the minimum cardinality of an identifying code of the Cartesian product of two cliques with the same size. In this note, we generalize this result to the Cartesian product of any two nontrivial cliques.
We describe the full automorphism group of the power (di)graph of a finite group. As an application, we solve a conjecture proposed by Doostabadi, Erfanian and Jafarzadeh in 2013.
The power graph $\mathcal P_G$ of a finite group $G$ is the graph with the vertex set $G$, where two elements are adjacent if one is a power of the other. We first show that $\mathcal P_G$ has an transitive orientation, so it is a perfect graph and its core is a complete graph. Then we use the poset on all cyclic subgroups (under usual inclusion) to characterise the structure of $\mathcal P_G$. Finally, the closed formula for the metric dimension of $\mathcal P_G$ is established. As an application, we compute the metric dimension of the power graph of a cyclic group.
In [H. Suzuki, Association schemes with multiple $Q$-polynomial structures, J. Algebraic Combin. 7 (1998) 181-196], Suzuki gave a classification of association schemes with multiple $Q$-polynomial structures, allowing for one exceptional case which has five classes. In this paper, we rule out the existence of this case. Hence Suzuki's theorem mirrors exactly the well-known counterpart for association schemes with multiple $P$-polynomial structures, a result due to Eiichi Bannai and Etsuko Bannai in 1980.
Assume that $ν$ is a positive integer and $δ=0, 1$ or $2$. In this paper we introduce the orthogonal graph $Γ^{2ν+δ}$ over a Galois ring of odd characteristic and prove that it is arc transitive. Moreover, we compute its parameters as a quasi-strongly regular graph. In particular, we show that $Γ^{2+δ}$ is a strongly regular graph and $Γ^{2ν+1}$ is a strictly Deza graph when $ν\geq 2$.
The set of all subspaces of a given dimension in a finite classical polar space has a structure of a symmetric association scheme. If the dimension is zero, this is the scheme of the collinearity graph of the space; If the dimension is maximum, it is the dual polar scheme. In this note, we determine the full automorphism group of this scheme.
Let $Π$ be a polar space of rank $n\ge 3$. Denote by ${\mathcal G}_{k}(Π)$ the polar Grassmannian formed by singular subspaces of $Π$ whose projective dimension is equal to $k$. Suppose that $k$ is an integer not greater than $n-2$ and consider the relation ${\mathfrak R}_{i,j}$, $0\le i\le j\le k+1$ formed by all pairs $(X,Y)\in {\mathcal G}_{k}(Π)\times {\mathcal G}_{k}(Π)$ such that $\dim_{p}(X^{\perp}\cap Y)=k-i$ and $\dim_{p} (X\cap Y)=k-j$ ($X^{\perp}$ consists of all points of $Π$ collinear to every point of $X$). We show that every bijective transformation of ${\mathcal G}_{k}(Π)$ preserving ${\mathfrak R}_{1,1}$ is induced by an automorphism of $Π$ and the same holds for the relation ${\mathfrak R}_{0,t}$ if $n\ge 2t\ge 4$ and $k=n-t-1$. In the case when $Π$ is a finite classical polar space, we establish that the valencies of ${\mathfrak R}_{i,j}$ and ${\mathfrak R}_{i',j'}$ are distinct if $(i,j)\ne (i',j')$.
Let $S$ be a finite set of positive integers. A mixed hypergraph ${\cal H}$ is a one-realization of $S$ if its feasible set is $S$ and each entry of its chromatic spectrum is either 0 or 1. In [P. Zhao, K. Diao, Y. Chang and K. Wang, The smallest one-realization of a given set \uppercase\expandafter{\romannumeral2}, Discrete Math. 312 (2012) 2946--2951], we determined the minimum number of vertices of a 3-uniform bi-hypergraph which is a one-realization of $S$. In this paper, we generalize this result to $r$-uniform bi-hypergraphs.
In [F. Levstein, C. Maldonado, The Terwilliger algebra of the Johnson schemes, Discrete Math. 307 (2007) 1621--1635], the Terwilliger algebra of the Johnson scheme $J(n,d)$ was determined when $n\geq 3d$. In this paper, we determine the Terwilliger algebra ${\mathcal T}$ for the remaining case $2d\leq n<3d$.
For a vertex $x$ of a graph $G$, let $N_G[x]$ be the set of $x$ with all of its neighbors in $G$. A set $C$ of vertices is an {\em identifying code} of $G$ if the sets $N_G[x]\cap C$ are nonempty and distinct for all vertices $x$. If $G$ admits an identifying code, we say that $G$ is identifiable and denote by $γ^{ID}(G)$ the minimum cardinality of an identifying code of $G$. In this paper, we study the identifying code of the corona product $H\odot G$ of graphs $H$ and $G$. We first give a necessary and sufficient condition for the identifiable corona product $H\odot G$, and then express $γ^{ID}(H\odot G)$ in terms of $γ^{ID}(G)$ and the (total) domination number of $H$. Finally, we compute $γ^{ID}(H\odot G)$ for some special graphs $G$.
A set of vertices $W$ {\em resolves} a graph $G$ if every vertex of $G$ is uniquely determined by its vector of distances to the vertices in $W$. The {\em metric dimension} for $G$, denoted by $\dim(G)$, is the minimum cardinality of a resolving set of $G$. In order to study the metric dimension for the hierarchical product $G_2^{u_2}\sqcap G_1^{u_1}$ of two rooted graphs $G_2^{u_2}$ and $G_1^{u_1}$, we first introduce a new parameter, the {\em rooted metric dimension} $\rdim(G_1^{u_1})$ for a rooted graph $G_1^{u_1}$. If $G_1$ is not a path with an end-vertex $u_1$, we show that $\dim(G_2^{u_2}\sqcap G_1^{u_1})=|V(G_2)|\cdot\rdim(G_1^{u_1})$, where $|V(G_2)|$ is the order of $G_2$. If $G_1$ is a path with an end-vertex $u_1$, we obtain some tight inequalities for $\dim(G_2^{u_2}\sqcap G_1^{u_1})$. Finally, we show that similar results hold for the fractional metric dimension.
The set of subspaces with a given dimension in an attenuated space has a structure of a symmetric association scheme, which is a generalization of both Grassmann schemes and bilinear forms schemes. In [K. Wang, J. Guo, F. Li, Association schemes based on attenuated space, European J. Combin. 31 (2010) 297--305], its intersection numbers were computed. In this paper, we determine its full automorphism group.
In [The smallest one-realization of a given set, Electronic J. Combin. 19 (2012), $\sharp$P19], we determined the minimum number of vertices of one-realizations of a given finite set $S$, and constructed the corresponding mixed hypergraphs. In this paper, by finding some of their spanning sub-hypergraphs, we determine the minimum number of ${\cal D}$-deges (resp. ${\cal C}$-edges) of one-realizations of $S$. As a result, we partially solve an open problem proposed by Tuza and Voloshin in 2008.
A vertex $x$ in a graph $G$ resolves two vertices $u$, $v$ of $G$ if the distance between $u$ and $x$ is not equal to the distance between $v$ and $x$. A function $g$ from the vertex set of $G$ to $[0,1]$ is a resolving function of $G$ if $g(R_G\{u,v\})\geq 1$ for any two distinct vertices $u$ and $v$, where $R_G\{u,v\}$ is the set of vertices resolving $u$ and $v$. The real number $\sum_{v\in V(G)}g(v)$ is the weight of $g$. The minimum weight of all resolving functions for $G$ is called the fractional metric dimension of $G$, denoted by $\dim_f(G)$. In this paper we reduce the problem of computing the fractional metric dimension of corona product graphs and lexicographic product graphs, to the problem of computing some parameters of the factor graphs.
In [S. Arumugam, V. Mathew and J. Shen, On fractional metric dimension of graphs, preprint], Arumugam et al. studied the fractional metric dimension of the cartesian product of two graphs, and proposed four open problems. In this paper, we determine the fractional metric dimension of vertex-transitive graphs, in particular, the fractional metric dimension of a vertex-transitive distance-regular graph is expressed in terms of its intersection numbers. As an application, we calculate the fractional metric dimension of Hamming graphs and Johnson graphs, respectively. Moreover, we give an inequality for metric dimension and fractional metric dimension of an arbitrary graph, and determine all graphs when the equality holds. Finally, we establish bounds on the fractional metric dimension of the cartesian product of graphs. As a result, we completely solve the four open problems.
In [The Terwilliger algebra of the Johnson schemes, Discrete Mathematics 307 (2007) 1621--1635], Levstein and Maldonado computed the Terwilliger algebra of the Johnson scheme $J(n,m)$ when $3m\leq n$. The distance-$m$ graph of $J(2m+1,m)$ is the Odd graph $O_{m+1}$. In this paper, we determine the Terwilliger algebra of $O_{m+1}$ and give its basis.
For any set $S$ of positive integers, a mixed hypergraph ${\cal H}$ is a one-realization of $S$ if its feasible set is $S$ and each entry of its chromatic spectrum is either 0 or 1. In this paper, we determine the minimum size of 3-uniform bi-hypergraphs which are one-realizations of a given set $S$. As a result, we partially solve an open problem proposed by Bujt$\acute{\rm a}$s and Tuza in 2008.