arXiv++ Combinatorics

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.

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.

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)$ when $3m\leq n$. In this paper, we determine the Terwilliger algebra of the incidence graph $J(n,m,m+1)$ of Johnson geometry when $3m\leq n$, give two bases of this algebra, and calculate its dimension.

Let $G$ be a (di)graph. A set $W$ of vertices in $G$ is a \emph{resolving set} of $G$ if every vertex $u$ of $G$ is uniquely determined by its vector of distances to all the vertices in $W$. The \emph{metric dimension} $μ(G)$ of $G$ is the minimum cardinality of all the resolving sets of $G$. 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)$ of $G$. In particular, we show that $μ(L(G))=|E(G)|-|V(G)|$ for a strongly connected digraph $G$ except for directed cycles, where $V(G)$ is the vertex set and $E(G)$ is the edge set of $G$. As a corollary, the metric dimension of de Brujin digraphs and Kautz digraphs is given. Moreover, we prove that $\lceil\log_2Δ(G)\rceil\leqμ(L(G))\leq |V(G)|-2$ for a simple connected graph $G$ with at least five vertices, where $Δ(G)$ is the maximum degree of $G$. Finally, we obtain the metric dimension of the line graph of a tree in terms of its parameters.

Let $S_n$ be the symmetric group on $n$ 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 ${\cal F}$ is an intersecting set in $S_n$ then $|{\cal F}|\leq(n-1)!$. In this paper we consider the $q$-analogue version of this result. Let $\mathbb{F}_q^n$ be the $n$-dimensional row vector space over a finite field $\mathbb{F}_q$ and $GL_n(\mathbb{F}_q)$ the general linear group of degree $n$. A set ${\cal F}_q\subseteq GL_n(\mathbb{F}_q)$ is {\it intersecting} if for any $T,S\in{\cal F}_q$ there exists a non-zero vector $α\in \mathbb{F}_q^n$ such that $αT=αS$. Let ${\cal F}_q$ be an intersecting set in $GL_n(\mathbb{F}_q)$. We show that $|{\cal F}_q|\leq q^{(n-1)n/2}\prod_{i=1}^{n-1}(q^i-1)$.

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 $q$ 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.

For any set $S$ of positive integers, a mixed hypergraph ${\cal H}$ is a realization of $S$ if its feasible set is $S$, furthermore, ${\cal H}$ is a one-realization of $S$ if it is a realization of $S$ 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\}$ with $2\leq s\leq t-2$ is $2t-s$. Kr$\acute{\rm a}$l \cite{Kral} proved that there exists a one-realization of $S$ with at most $|S|+2\max{S}-\min{S}$ vertices. In this paper, we improve Kr$\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 Kr$\acute{\rm a}$l in 2004.

Gravier et al. investigated the identifying codes of Cartesian product of two graphs. In this paper we consider the identifying codes of lexicographic product G[H] of a connected graph G and an arbitrary graph H, and obtain the minimum cardinality of identifying codes of G[H] in terms of some parameters of G and H.

As a generalization of singular linear spaces, we introduce the concept of t-singular linear spaces, make some anzahl formulas of subspaces, and determine the suborbits of t-singular linear groups.

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.

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.

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.

Let $S=\{n_1,n_2,...,n_t\}$ be a finite set of positive integers with $\min(S)\geq 3$ and $t\geq 2$. For any positive integers $s_1,s_2,...,s_t$, we construct a family of 3-uniform bi-hypergraphs ${\cal H}$ with the feasible set $S$ and $r_{n_i}=s_i, i=1,2,...,t$, where each $r_{n_i}$ is the $n_i$th component of the chromatic spectrum of ${\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.