Source author record

Kaishun Wang

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

55works
3topics
4close collaborators

Published work

55 publications

preprint2026arXiv

ss-almost tt-intersecting families for finite sets

A family F\mathcal{F} of kk-subsets of an nn-set is called ss-almost tt-intersecting if each member is tt-disjoint with at most ss members. In this paper, we prove that, if ∣F∣\left|\mathcal{F}\right| is maximum, then F\mathcal{F} consists of all kk-subsets containing a fixed tt-subset. Consequently, it is natural to consider the maximum-sized F\mathcal{F} with ∣⋂F∈FF∣<t\left|\bigcap_{F\in\mathcal{F}} F\right|<t. The famous Hilton-Milner theorem settles the case where F\mathcal{F} is tt-intersecting. We characterize the remaining case completely.

preprint2022arXiv

rr-cross tt-intersecting families for vector spaces

Let VV be an nn-dimensional vector space over the finite field Fq\mathbb{F}_q, and [Vk]{V\brack k} denote the family of all kk-dimensional subspaces of VV. The families F1⊆[Vk1],F2⊆[Vk2],…,Fr⊆[Vkr]\mathcal{F}_1\subseteq{V\brack k_1},\mathcal{F}_2\subseteq{V\brack k_2},\ldots,\mathcal{F}_r\subseteq{V\brack k_r} are said to be rr-cross tt-intersecting if dim⁡(F1∩F2∩⋯∩Fr)≥t\dim(F_1\cap F_2\cap\cdots\cap F_r)\geq t for all Fi∈Fi, 1≤i≤r.F_i\in\mathcal{F}_i,\ 1\leq i\leq r. The rr-cross tt-intersecting families F1\mathcal{F}_1, F2,…,Fr\mathcal{F}_2,\ldots,\mathcal{F}_r are said to be non-trivial if dim⁡(∩1≤i≤r∩F∈FiF)<t\dim(\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F)<t. In this paper, we first determine the structure of rr-cross tt-intersecting families with maximum product of their sizes. As a consequence, we partially prove one of Frankl and Tokushige's conjectures about rr-cross 11-intersecting families for vector spaces. Then we describe the structure of non-trivial rr-cross tt-intersecting families F1\mathcal{F}_1, F2,…,Fr\mathcal{F}_2,\ldots,\mathcal{F}_r with maximum product of their sizes under the assumptions r=2r=2 and F1=F2=⋯=Fr=F\mathcal{F}_1=\mathcal{F}_2=\cdots=\mathcal{F}_r=\mathcal{F}, respectively, where the F\mathcal{F} in the latter assumption is well known as rr-wise tt-intersecting family. Meanwhile, stability results for non-trivial rr-wise tt-intersecting families are also been proved.

preprint2022arXiv

Cross tt-intersecting families for finite affine spaces

Denote the collection of all kk-flats in AG(n,Fq)AG(n,\mathbb{F}_q) by M(k,n)\mathscr{M}(k,n). Let F1⊂M(k1,n)\mathscr{F}_1\subset\mathscr{M}(k_1,n) and F2⊂M(k2,n)\mathscr{F}_2\subset\mathscr{M}(k_2,n) satisfy dim⁡(F1∩F2)≥t\dim(F_1\cap F_2)\ge t for any F1∈F1F_1\in\mathscr{F}_1 and F2∈F2F_2\in\mathscr{F}_2. We say they are cross tt-intersecting families. Moreover, we say they are trivial if each member of them contains a fixed tt-flats in AG(n,Fq)AG(n,\mathbb{F}_q). In this paper, we show that cross tt-intersecting families with maximum product of sizes are trivial. We also describe the structure of non-trivial tt-intersecting families with maximum product of sizes.

preprint2022arXiv

Cross tt-intersecting families for symplectic polar spaces

Let P\mathscr{P} be a symplectic polar space over a finite field Fq\mathbb{F}_q, and Pm\mathscr{P}_m denote the collection of all kk-dimensional totally isotropic subspace in P\mathscr{P}. Let F1⊂Pm1\mathscr{F}_1\subset\mathscr{P}_{m_1} and F2⊂Pm2\mathscr{F}_2\subset\mathscr{P}_{m_2} satisfy dim⁡(F1∩F2)≥t\dim(F_1\cap F_2)\ge t for any F1∈F1F_1\in\mathscr{F}_1 and F2∈F2F_2\in\mathscr{F}_2. We say they are cross tt-intersecting families. Moreover, we say they are trivial if each member of them contains a fixed tt-dimensional totally isotropic subspace. In this paper, we show that cross tt-intersecting families with maximum product of sizes are trivial. We also describe the structure of non-trivial tt-intersecting families with maximum product of sizes.

preprint2022arXiv

Some intersection theorems for finite sets

Let nn, rr, k1,…,krk_1,\ldots,k_r and tt be positive integers with r≥2r\geq 2, and Fi (1≤i≤r)\mathcal{F}_i\ (1\leq i\leq r) a family of kik_i-subsets of an nn-set VV. The families F1, F2,…,Fr\mathcal{F}_1,\ \mathcal{F}_2,\ldots,\mathcal{F}_r are said to be rr-cross tt-intersecting if ∣F1∩F2∩⋯∩Fr∣≥t|F_1\cap F_2\cap\cdots\cap F_r|\geq t for all Fi∈Fi (1≤i≤r),F_i\in\mathcal{F}_i\ (1\leq i\leq r), and said to be non-trivial if ∣∩1≤i≤r∩F∈FiF∣<t|\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F|<t. If the rr-cross tt-intersecting families F1,…,Fr\mathcal{F}_1,\ldots,\mathcal{F}_r satisfy F1=⋯=Fr=F\mathcal{F}_1=\cdots=\mathcal{F}_r=\mathcal{F}, then F\mathcal{F} is well known as rr-wise tt-intersecting family. In this paper, we describe the structure of non-trivial rr-wise tt-intersecting families with maximum size, and give a stability result for these families. We also determine the structure of non-trivial 22-cross tt-intersecting families with maximum product of their sizes.

preprint2020arXiv

Extremal even-cycle-free subgraphs of the complete transposition graphs

Given graphs GG and HH, the generalized Turán number ex(G,H){\rm ex}(G,H) is the maximum number of edges in an HH-free subgraph of GG. In this paper, we obtain an asymptotic upper bound on ex(CTn,C2l){\rm ex}(CT_n,C_{2l}) for any n≥3n \ge 3 and l≥2l\geq2, where C2lC_{2l} is the cycle of length 2l2l and CTnCT_n is the complete transposition graph which is defined as the Cayley graph on the symmetric group Sn{\rm S}_n with respect to the set of all transpositions of Sn{\rm S}_n.

preprint2020arXiv

Intersecting families of vector spaces with maximum covering number

Let VV be an nn-dimensional vector space over the finite field Fq\mathbb{F}_q. Suppose that F\mathscr{F} is an intersecting family of mm-dimensional subspaces of VV. The covering number of F\mathscr{F} is the minimum dimension of a subspace of VV which intersects all elements of F\mathscr{F}. In this paper, we give the tight upper bound for the size of F\mathscr{F} whose covering number is mm, and describe the structure of F\mathscr{F} which reaches the upper bound. Moreover, we determine the structure of an maximum intersecting family of singular linear space with the maximum covering number.

preprint2020arXiv

Non-trivial tt-intersecting families for vector spaces

Let VV be an nn-dimensional vector space over a finite field Fq\mathbb{F}_q. In this paper we describe the structure of maximal non-trivial tt-intersecting families of kk-dimensional subspaces of VV with large size. We also determine the non-trivial tt-intersecting families with maximum size. In the special case when t=1t=1 our result gives rise to the well-known Hilton-Milner Theorem for vector spaces.

preprint2020arXiv

Perfect codes in Cayley sum graphs

A subset CC of the vertex set of a graph ΓΓ is called a perfect code of ΓΓ if every vertex of ΓΓ is at distance no more than one to exactly one vertex in CC. Let AA be a finite abelian group and TT a square-free subset of AA. The Cayley sum graph of AA with respect to the connection set TT is a simple graph with AA as its vertex set, and two vertices xx and yy are adjacent whenever x+y∈Tx+y\in T. A subgroup of AA is said to be a subgroup perfect code of AA if the subgroup is a perfect code of some Cayley sum graph of AA. In this paper, we give some necessary and sufficient conditions for a subset of AA to be a perfect code of a given Cayley sum graph of AA. We also characterize all subgroup perfect codes of AA.

preprint2020arXiv

Subgroup perfect codes in Cayley graphs

Let ΓΓ be a graph with vertex set V(Γ)V(Γ). A subset CC of V(Γ)V(Γ) is called a perfect code in ΓΓ if CC is an independent set of ΓΓ and every vertex in V(Γ)∖CV(Γ)\setminus C is adjacent to exactly one vertex in CC. A subset CC of a group GG is called a perfect code of GG if there exists a Cayley graph of GG which admits CC as a perfect code. A group GG is said to be code-perfect if every proper subgroup of GG is a perfect code of GG. In this paper we prove that a group is code-perfect if and only if it has no elements of order 44. We also prove that a proper subgroup HH of an abelian group GG is a perfect code of GG if and only if the Sylow 22-subgroup of HH is a perfect code of the Sylow 22-subgroup of GG. This reduces the problem of determining when a given subgroup of an abelian group is a perfect code to the case of abelian 22-groups. Finally, we determine all subgroup perfect codes in any generalized quaternion group.

preprint2016arXiv

Finite groups with star-free noncyclic graphs

For a finite noncyclic group GG, let $\Cyc(G)$ be a set of elements aa of GG such that ⟨a,b⟩\langle a,b\rangle is cyclic for each bb of GG. The noncyclic graph of GG is a graph with the vertex set $G\setminus \Cyc(G)$, having an edge between two distinct vertices xx and yy if ⟨x,y⟩\langle x, y\rangle is not cyclic. In this paper, we classify all finite noncyclic groups whose noncyclic graphs are K1,nK_{1,n}-free, where 3≤n≤63\leq n\leq 6.

preprint2015arXiv

On finite groups all of whose cubic Cayley graphs are integral

For any positive integer kk, let Gk\mathcal{G}_k denote the set of finite groups GG such that all Cayley graphs Cay(G,S){\rm Cay}(G,S) are integral whenever ∣S∣≤k|S|\le k. Esteˊ{\rm \acute{e}}lyi and Kovaˊ{\rm \acute{a}}cs \cite{EK14} classified Gk\mathcal{G}_k for each k≥4k\ge 4. In this paper, we characterize the finite groups each of whose cubic Cayley graphs is integral. Moreover, the class G3\mathcal{G}_3 is characterized. As an application, the classification of Gk\mathcal{G}_k is obtained again, where k≥4k\ge 4.

preprint2015arXiv

Rainbow connectivity of the non-commuting graph of a finite group

Let GG be a finite non-abelian group. The non-commuting graph ΓGΓ_G of GG has the vertex set G∖Z(G)G\setminus Z(G) and two distinct vertices xx and yy are adjacent if xy≠yxxy\ne yx, where Z(G)Z(G) is the center of GG. We prove that the rainbow 22-connectivity of ΓGΓ_G is 22. In particular, the rainbow connection number of ΓGΓ_G is 22. Moreover, for any positive integer kk, we prove that there exist infinitely many non-abelian groups GG such that the rainbow kk-connectivity of ΓGΓ_G is 22.

preprint2015arXiv

The rainbow connection number of the power graph of a finite group

This paper studies the rainbow connection number of the power graph ΓGΓ_G of a finite group GG. We determine the rainbow connection number of ΓGΓ_G if GG has maximal involutions or is nilpotent, and show that the rainbow connection number of ΓGΓ_G is at most three if GG has no maximal involutions. The rainbow connection numbers of power graphs of some nonnilpotent groups are also given.

preprint2014arXiv

On the power graph of a finite group

The power graph PG\mathcal P_G of a finite group GG is the graph with the vertex set GG, where two elements are adjacent if one is a power of the other. We first show that PG\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 PG\mathcal P_G. Finally, the closed formula for the metric dimension of PG\mathcal P_G is established. As an application, we compute the metric dimension of the power graph of a cyclic group.

preprint2013arXiv

Identifying codes of corona product graphs

For a vertex xx of a graph GG, let NG[x]N_G[x] be the set of xx with all of its neighbors in GG. A set CC of vertices is an {\em identifying code} of GG if the sets NG[x]∩CN_G[x]\cap C are nonempty and distinct for all vertices xx. If GG admits an identifying code, we say that GG is identifiable and denote by γID(G)γ^{ID}(G) the minimum cardinality of an identifying code of GG. In this paper, we study the identifying code of the corona product H⊙GH\odot G of graphs HH and GG. We first give a necessary and sufficient condition for the identifiable corona product H⊙GH\odot G, and then express γID(H⊙G)γ^{ID}(H\odot G) in terms of γID(G)γ^{ID}(G) and the (total) domination number of HH. Finally, we compute γID(H⊙G)γ^{ID}(H\odot G) for some special graphs GG.

preprint2013arXiv

Nonexistence of Exceptional 5-class Association Schemes with Two QQ-polynomial Structures

In [H. Suzuki, Association schemes with multiple QQ-polynomial structures, J. Algebraic Combin. 7 (1998) 181-196], Suzuki gave a classification of association schemes with multiple QQ-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 PP-polynomial structures, a result due to Eiichi Bannai and Etsuko Bannai in 1980.

preprint2013arXiv

Orthogonal graphs over Galois rings of odd characteristic

Assume that νν is a positive integer and δ=0,1δ=0, 1 or 22. In this paper we introduce the orthogonal graph Γ2ν+δΓ^{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+δΓ^{2+δ} is a strongly regular graph and Γ2ν+1Γ^{2ν+1} is a strictly Deza graph when ν≥2ν\geq 2.

preprint2013arXiv

The smallest one-realization of a given set IV

Let SS be a finite set of positive integers. A mixed hypergraph H{\cal H} is a one-realization of SS if its feasible set is SS 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 SS. In this paper, we generalize this result to rr-uniform bi-hypergraphs.

preprint2013arXiv

Transformations of polar Grassmannians preserving certain intersecting relations

Let ΠΠ be a polar space of rank n≥3n\ge 3. Denote by Gk(Π){\mathcal G}_{k}(Π) the polar Grassmannian formed by singular subspaces of ΠΠ whose projective dimension is equal to kk. Suppose that kk is an integer not greater than n−2n-2 and consider the relation Ri,j{\mathfrak R}_{i,j}, 0≤i≤j≤k+10\le i\le j\le k+1 formed by all pairs (X,Y)∈Gk(Π)×Gk(Π)(X,Y)\in {\mathcal G}_{k}(Π)\times {\mathcal G}_{k}(Π) such that dim⁡p(X⊥∩Y)=k−i\dim_{p}(X^{\perp}\cap Y)=k-i and dim⁡p(X∩Y)=k−j\dim_{p} (X\cap Y)=k-j (X⊥X^{\perp} consists of all points of ΠΠ collinear to every point of XX). We show that every bijective transformation of Gk(Π){\mathcal G}_{k}(Π) preserving R1,1{\mathfrak R}_{1,1} is induced by an automorphism of ΠΠ and the same holds for the relation R0,t{\mathfrak R}_{0,t} if n≥2t≥4n\ge 2t\ge 4 and k=n−t−1k=n-t-1. In the case when ΠΠ is a finite classical polar space, we establish that the valencies of Ri,j{\mathfrak R}_{i,j} and Ri′,j′{\mathfrak R}_{i',j'} are distinct if (i,j)≠(i′,j′)(i,j)\ne (i',j').

preprint2012arXiv

Full automorphism groups of association schemes based on attenuated spaces

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.

preprint2012arXiv

On the fractional metric dimension of corona product graphs and lexicographic product graphs

A vertex xx in a graph GG resolves two vertices uu, vv of GG if the distance between uu and xx is not equal to the distance between vv and xx. A function gg from the vertex set of GG to [0,1][0,1] is a resolving function of GG if g(RG{u,v})≥1g(R_G\{u,v\})\geq 1 for any two distinct vertices uu and vv, where RG{u,v}R_G\{u,v\} is the set of vertices resolving uu and vv. The real number ∑v∈V(G)g(v)\sum_{v\in V(G)}g(v) is the weight of gg. The minimum weight of all resolving functions for GG is called the fractional metric dimension of GG, denoted by dim⁡f(G)\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.

preprint2012arXiv

On the fractional metric dimension of 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.

preprint2012arXiv

On the metric dimension and fractional metric dimension for hierarchical product of graphs

A set of vertices WW {\em resolves} a graph GG if every vertex of GG is uniquely determined by its vector of distances to the vertices in WW. The {\em metric dimension} for GG, denoted by dim⁡(G)\dim(G), is the minimum cardinality of a resolving set of GG. In order to study the metric dimension for the hierarchical product G2u2⊓G1u1G_2^{u_2}\sqcap G_1^{u_1} of two rooted graphs G2u2G_2^{u_2} and G1u1G_1^{u_1}, we first introduce a new parameter, the {\em rooted metric dimension} $\rdim(G_1^{u_1})$ for a rooted graph G1u1G_1^{u_1}. If G1G_1 is not a path with an end-vertex u1u_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(G2)∣|V(G_2)| is the order of G2G_2. If G1G_1 is a path with an end-vertex u1u_1, we obtain some tight inequalities for dim⁡(G2u2⊓G1u1)\dim(G_2^{u_2}\sqcap G_1^{u_1}). Finally, we show that similar results hold for the fractional metric dimension.

preprint2012arXiv

The smallest one-realization of a given set

In [The smallest one-realization of a given set, Electronic J. Combin. 19 (2012), ♯\sharpP19], we determined the minimum number of vertices of one-realizations of a given finite set SS, and constructed the corresponding mixed hypergraphs. In this paper, by finding some of their spanning sub-hypergraphs, we determine the minimum number of D{\cal D}-deges (resp. C{\cal C}-edges) of one-realizations of SS. As a result, we partially solve an open problem proposed by Tuza and Voloshin in 2008.

preprint2011arXiv

A construction of pooling designs with surprisingly high degree of error correction

It is well-known that many famous pooling designs are constructed from mathematical structures by the "containment matrix" method. In this paper, we propose another method and obtain a family of pooling designs with surprisingly high degree of error correction based on a finite set. Given the numbers of items and pools, the error-tolerant property of our designs is much better than that of Macula's designs when the size of the set is large enough.

preprint2011arXiv

An Erdős-Ko-Rado theorem in general linear groups

Let SnS_n be the symmetric group on nn points. Deza and Frankl [M. Deza and P. Frankl, On the maximum number of permutations with given maximal or minimal distance, J. Combin. Theory Ser. A 22 (1977) 352--360] proved that if F{\cal F} is an intersecting set in SnS_n then ∣F∣≤(n−1)!|{\cal F}|\leq(n-1)!. In this paper we consider the qq-analogue version of this result. Let Fqn\mathbb{F}_q^n be the nn-dimensional row vector space over a finite field Fq\mathbb{F}_q and GLn(Fq)GL_n(\mathbb{F}_q) the general linear group of degree nn. A set Fq⊆GLn(Fq){\cal F}_q\subseteq GL_n(\mathbb{F}_q) is {\it intersecting} if for any T,S∈FqT,S\in{\cal F}_q there exists a non-zero vector α∈Fqnα\in \mathbb{F}_q^n such that αT=αSαT=αS. Let Fq{\cal F}_q be an intersecting set in GLn(Fq)GL_n(\mathbb{F}_q). We show that ∣Fq∣≤q(n−1)n/2∏i=1n−1(qi−1)|{\cal F}_q|\leq q^{(n-1)n/2}\prod_{i=1}^{n-1}(q^i-1).

preprint2011arXiv

Fissioned triangular schemes via sharply 3-transitive groups

n [D. de Caen, E.R. van Dam. Fissioned triangular schemes via the cross-ratio, {Europ. J. Combin.}, 22 (2001) 297-301], de Caen and van Dam constructed a fission scheme $\FT(q+1)$ of the triangular scheme on $\PG(1,q)$. This fission scheme comes from the naturally induced action of $\PGL(2,q)$ on the 2-element subsets of $\PG(1,q)$. The group $\PGL(2,q)$ is one of two infinite families of finite sharply 3-transitive groups. The other such family $\Mq(q)$ is a "twisted" version of $\PGL(2,q)$, where qq is an even power of an odd prime. The group $\PSL(2,q)$ is the intersection of $\PGL(2,q)$ and $\Mq(q)$. In this paper, we investigate the association schemes coming from the actions of $\PSL(2,q)$, $\Mq(q)$ and $\PML(2,q)$, respectively. Through the conic model introduced in [H.D.L. Hollmann, Q. Xiang. Association schemes from the actions of $\PGL(2, q) $ fixing a nonsingular conic, {J. Algebraic Combin.}, 24 (2006) 157-193], we introduce an embedding of $\PML(2,q)$ into $\PML(3,q)$. For each of the three groups mentioned above, this embedding produces two more isomorphic association schemes: one on hyperbolic lines and the other on hyperbolic points (via a null parity) in a 3-dimensional orthogonal geometry. This embedding enables us to treat these three isomorphic association schemes simultaneously.

preprint2011arXiv

On the metric dimension of line graphs

Let GG be a (di)graph. A set WW of vertices in GG is a \emph{resolving set} of GG if every vertex uu of GG is uniquely determined by its vector of distances to all the vertices in WW. The \emph{metric dimension} μ(G)μ(G) of GG is the minimum cardinality of all the resolving sets of GG. Cáceres et al. \cite{Ca2} computed the metric dimension of the line graphs of complete bipartite graphs. Recently, Bailey and Cameron \cite{Ba} computed the metric dimension of the line graphs of complete graphs. In this paper we study the metric dimension of the line graph L(G)L(G) of GG. In particular, we show that μ(L(G))=∣E(G)∣−∣V(G)∣μ(L(G))=|E(G)|-|V(G)| for a strongly connected digraph GG except for directed cycles, where V(G)V(G) is the vertex set and E(G)E(G) is the edge set of GG. As a corollary, the metric dimension of de Brujin digraphs and Kautz digraphs is given. Moreover, we prove that ⌈log⁡2Δ(G)⌉≤μ(L(G))≤∣V(G)∣−2\lceil\log_2Δ(G)\rceil\leqμ(L(G))\leq |V(G)|-2 for a simple connected graph GG with at least five vertices, where Δ(G)Δ(G) is the maximum degree of GG. Finally, we obtain the metric dimension of the line graph of a tree in terms of its parameters.

preprint2011arXiv

Pooling designs with surprisingly high degree of error correction in a finite vector space

Pooling designs are standard experimental tools in many biotechnical applications. It is well-known that all famous pooling designs are constructed from mathematical structures by the "containment matrix" method. In particular, Macula's designs (resp. Ngo and Du's designs) are constructed by the containment relation of subsets (resp. subspaces) in a finite set (resp. vector space). Recently, we generalized Macula's designs and obtained a family of pooling designs with more high degree of error correction by subsets in a finite set. In this paper, as a generalization of Ngo and Du's designs, we study the corresponding problems in a finite vector space and obtain a family of pooling designs with surprisingly high degree of error correction. Our designs and Ngo and Du's designs have the same number of items and pools, respectively, but the error-tolerant property is much better than that of Ngo and Du's designs, which was given by D'yachkov et al. \cite{DF}, when the dimension of the space is large enough.

preprint2011arXiv

Suborbits of a point stabilizer in the orthogonal group on the last subconstituent of orthogonal dual polar graphs

As one of the serial papers on suborbits of point stabilizers in classical groups on the last subconstituent of dual polar graphs, the corresponding problem for orthogonal dual polar graphs over a finite field of odd characteristic is discussed in this paper. We determine all the suborbits of a point-stabilizer in the orthogonal group on the last subconstituent, and calculate the length of each suborbit. Moreover, we discuss the quasi-strongly regular graphs and the association schemes based on the last subconstituent, respectively.

preprint2011arXiv

The chromatic spectrum of 3-uniform bi-hypergraphs

Let S={n1,n2,...,nt}S=\{n_1,n_2,...,n_t\} be a finite set of positive integers with min⁡(S)≥3\min(S)\geq 3 and t≥2t\geq 2. For any positive integers s1,s2,...,sts_1,s_2,...,s_t, we construct a family of 3-uniform bi-hypergraphs H{\cal H} with the feasible set SS and rni=si,i=1,2,...,tr_{n_i}=s_i, i=1,2,...,t, where each rnir_{n_i} is the nin_ith component of the chromatic spectrum of H{\cal H}. As a result, we solve one open problem for 3-uniform bi-hypergraphs proposed by Bujtás and Tuza in 2008. Moreover, we find a family of sub-hypergraphs with the same feasible set and the same chromatic spectrum as it's own. In particular, we obtain a small upper bound on the minimum number of vertices in 3-uniform bi-hypergraphs with any given feasible set.

preprint2011arXiv

The smallest 3-uniform bi-hypergraphs which are one-realization of a given set

For any set SS of positive integers, a mixed hypergraph H{\cal H} is a one-realization of SS if its feasible set is SS 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 SS. As a result, we partially solve an open problem proposed by Bujtaˊ\acute{\rm a}s and Tuza in 2008.

preprint2011arXiv

The smallest one-realization of a given set

For any set SS of positive integers, a mixed hypergraph H{\cal H} is a realization of SS if its feasible set is SS, furthermore, H{\cal H} is a one-realization of SS if it is a realization of SS and each entry of its chromatic spectrum is either 0 or 1. Jiang et al. \cite{Jiang} showed that the minimum number of vertices of realization of {s,t}\{s,t\} with 2≤s≤t−22\leq s\leq t-2 is 2t−s2t-s. Kraˊ\acute{\rm a}l \cite{Kral} proved that there exists a one-realization of SS with at most ∣S∣+2max⁡S−min⁡S|S|+2\max{S}-\min{S} vertices. In this paper, we improve Kraˊ\acute{\rm a}l's result, and determine the size of the smallest one-realization of a given set. As a result, we partially solve an open problem proposed by Jiang et al. in 2002 and by Kraˊ\acute{\rm a}l in 2004.

preprint2011arXiv

The Terwilliger algebra of the incidence graphs of Johnson geometry

Levstein and Maldonado [F. Levstein, C. Maldonado, The Terwilliger algebra of the Johnson schemes, Discrete Mathematics 307 (2007) 1621--1635] computed the Terwilliger algebra of the Johnson scheme J(n,m)J(n,m) when 3m≤n3m\leq n. In this paper, we determine the Terwilliger algebra of the incidence graph J(n,m,m+1)J(n,m,m+1) of Johnson geometry when 3m≤n3m\leq n, give two bases of this algebra, and calculate its dimension.

preprint2010arXiv

Four-class Skew-symmetric Association Schemes

An association scheme is called skew-symmetric if it has no symmetric adjacency relations other than the diagonal one. In this paper, we study 4-class skew-symmetric association schemes. In J. Ma [On the nonexistence of skew-symmetric amorphous association schemes, submitted for publication], we discovered that their character tables fall into three types. We now determine their intersection matrices. We then determine the character tables and intersection numbers for 4-class skew-symmetric pseudocyclic association schemes, the only known examples of which are cyclotomic schemes. As a result, we answer a question raised by S. Y. Song [Commutative association schemes whose symmetrizations have two classes, J. Algebraic Combin. 5(1) 47-55, 1996]. We characterize and classify 4-class imprimitive skew-symmetric association schemes. We also prove that no 2-class Johnson scheme can admit a 4-class skew-symmetric fission scheme. Based on three types of character tables above, a short list of feasible parameters is generated.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.