arXiv++ Combinatorics

Let $Γ$ denote a distance-regular graph with vertex set $X$ and diameter $D \geq 3$. Fix a vertex $x \in X$. Let the field $\mathbb{F}$ be either $\mathbb{R}$ or $\mathbb{C}$. Let $\operatorname{Mat}_X(\mathbb{F})$ denote the $\mathbb{F}$-algebra of matrices whose rows and columns are indexed by $X$ and all entries in $\mathbb{F}$. The Terwilliger algebra $T^\mathbb{F} = T^\mathbb{F}(x)$ is the subalgebra of $\operatorname{Mat}_X(\mathbb{F})$ generated by the adjacency matrix $A$ of $Γ$ and the dual primitive idempotents $\{E_i^*\}_{i=0}^D$ of $Γ$ with respect to $x$. Let $\{E_i\}_{i=0}^D$ denote the primitive idempotents of $A$. Assume that the ordering $\{E_i\}_{i=0}^D$ is $Q$-polynomial. Let $W$ denote an irreducible $T^\mathbb{F}$-module. We say that $W$ is sharp over $\mathbb{F}$ whenever $\dim (E_r^* W) = 1$, where $r$ is the endpoint of $W$. It is known, by Nomura and Terwilliger (2008), that every irreducible $T^\mathbb{C}$-module is sharp. In this paper, we prove that every irreducible $T^\mathbb{R}$-module is sharp. Once this is established, we obtain four additional results: (i) if $W$ is an irreducible $T^\mathbb{R}$-module, then its complexification $W^\mathbb{C}= W \otimes_{\mathbb{R}} \mathbb{C}$ is an irreducible $T^\mathbb{C}$-module; (ii) two irreducible $T^\mathbb{R}$-modules $W_1$ and $W_2$ are isomorphic if and only if their complexifications $W_1^\mathbb{C}$ and $W_2^\mathbb{C}$ are isomorphic as $T^\mathbb{C}$-modules; (iii) if $\bigoplus_{i=1}^h \operatorname{Mat}_{n_i}(\mathbb{C})$ is the Wedderburn decomposition of $T^\mathbb{C}$, then $\bigoplus_{i=1}^h \operatorname{Mat}_{n_i}(\mathbb{R})$ is the Wedderburn decomposition of $T^\mathbb{R}$; (iv) each of the subalgebras $E_1^* T E_1^*$, $E_1 T E_1$, $E_D^* T E_D^*$, and $E_D T E_D$ is commutative and every element of these algebras is a symmetric matrix.

We construct a new family of distance-biregular graphs related to hyperovals and a new sporadic example of a distance-biregular graph related to Mathon's perp system. The infinite family can be explained using 2-Y- homogeneity, while the sporadic example belongs to a generalization of a construction by Delorme. Additionally, we give a new non-existence criteria for distance-biregular graphs.

Let $Γ$ denote a finite, connected graph with vertex set $X$. Fix $x \in X$ and let $\varepsilon \ge 3$ denote the eccentricity of $x$. For mutually distinct scalars $\{θ^*_i\}_{i=0}^\varepsilon$ define a diagonal matrix $A^*=A^*(θ^*_0, θ^*_1, \ldots, θ^*_{\varepsilon}) \in M_X(\mathbb{R})$ as follows: for $y \in X$ we let $(A^*)_{yy} = θ^*_{\partial(x,y)}$, where $\partial$ denotes the shortest path length distance function of $Γ$. We say that $A^*$ is a dual adjacency matrix candidate of $Γ$ with respect to $x$ if the adjacency matrix $A \in M_X(\mathbb{R})$ of $Γ$ and $A^*$ satisfy $$ A^3 A^* - A^* A^3+(β+1)( A A^* A^2 - A^2 A^* A)= γ(A^2A^*-A^*A^2)+ρ( A A^* - A^* A) $$ for some scalars $β, γ, ρ\in \mathbb{R}$. Assume now that $Γ$ is uniform with respect to $x$ in the sense of Terwilliger [Coding theory and design theory, Part I, IMA Vol. Math. Appl., 20, 193-212 (1990)]. In this paper, we give sufficient conditions on the uniform structure of $Γ$, such that $Γ$ admits a dual adjacency matrix candidate with respect to $x$. As an application of our results, we show that the full bipartite graphs of dual polar graphs are $Q$-polynomial.

The $Q$-polynomial property is an algebraic property of distance-regular graphs, that was introduced by Delsarte in his study of coding theory. Many distance-regular graphs admit the $Q$-polynomial property. Only recently the $Q$-polynomial property has been generalized to graphs that are not necessarily distance-regular. In [ J. Combin. Theory Ser. A, 205:105872, 2024 ], it was shown that graphs arising from the Hasse diagrams of the so-called attenuated space posets are $Q$-polynomial. These posets could be viewed as $q$-analogs of the Hamming posets, which were not studied in [ J. Combin. Theory Ser. A, 205:105872, 2024 ]. The main goal of this paper is to fill this gap by showing that the graphs arising from the Hasse diagrams of the Hamming posets are $Q$-polynomial.

Let $Γ=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $Γ$. Observe that the graph $Γ_f=(X,\mathcal{R}_f)$ is bipartite. We say that $Γ$ supports a uniform structure with respect to $x$ whenever $Γ_f$ has a uniform structure with respect to $x$ in the sense of Miklavič and Terwilliger \cite{MikTer}. Assume that $Γ$ is a distance-regular graph with classical parameters $(D,q,α,β)$ and diameter $D\geq 4$. Recall that $q$ is an integer such that $q \not \in \{-1,0\}$. The purpose of this paper is to study when $Γ$ supports a uniform structure with respect to $x$. We studied the case $q \le 1$ in \cite{FMMM}, and so in this paper we assume $q \geq 2$. Let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Under an additional assumption that every irreducible $T$-module with endpoint $1$ is thin, we show that if $Γ$ supports a uniform structure with respect to $x$, then either $α= 0$ or $α=q$, $β=q^2(q^D-1)/(q-1)$, and $D \equiv 0 \pmod{6}$.

The characterization of bipartite distance-regularized graphs, where some vertices have eccentricity less than four, in terms of the incidence structures of which they are incidence graphs, is known. In this paper we prove that there is a one-to-one correspondence between the incidence graphs of quasi-symmetric SPBIBDs with parameters $(v,b,r,k, λ_1,0)$ of type $(k-1,t)$ with intersection numbers $x=0$ and $y>0$, where $0< y\leq t<k$ , and bipartite distance-regularized graphs with $D=D'=4$.

Let $Γ=(X,\mathcal{R})$ denote a finite, simple, connected, and undirected non-bipartite graph with vertex set $X$ and edge set $\mathcal{R}$. Fix a vertex $x \in X$, and define $\mathcal{R}_f = \mathcal{R} \setminus \{yz \mid \partial(x,y) = \partial(x,z)\}$, where $\partial$ denotes the path-length distance in $Γ$. Observe that the graph $Γ_f=(X,\mathcal{R}_f)$ is bipartite. We say that $Γ$ supports a uniform structure with respect to $x$ whenever $Γ_f$ has a uniform structure with respect to $x$. Assume that $Γ$ is a distance-regular graph with classical parameters $(D,q,α,β)$ with $q \le 1$. Recall that $q$ is an integer, which is not equal to $0$ or $-1$. The purpose of this paper is to study when $Γ$ supports a uniform structure with respect to $x$. The main result of the paper is a complete classification of graphs with classical parameters with $q\leq 1$ and $D \ge 4$ that support a uniform structure with respect to $x$.

Let $Γ$ denote a finite, simple and connected graph. Fix a vertex $x$ of $Γ$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $Γ$ with respect to $x$. Assume that the unique irreducible $T$-module with endpoint $0$ is thin, or equivalently that $Γ$ is pseudo-distance-regular around $x$. We consider the property that $Γ$ has, up to isomorphism, a unique irreducible $T$-module with endpoint $1$, and that this $T$-module is thin. The main result of the paper is a combinatorial characterization of this property.

Let $Γ=(V,E)$ be a graph of order $n$. A {\em closed distance magic labeling} of $Γ$ is a bijection $\ell : V \to \{1,2, \ldots, n\}$ for which there exists a positive integer $r$ such that $\sum_{x \in N[u]} \ell(x) = r$ for all vertices $u \in V$, where $N[u]$ is the closed neighborhood of $u$. A graph is said to be {\em closed distance magic} if it admits a closed distance magic labeling. In this paper, we classify all connected closed distance magic circulants with valency at most $5$, that is, Cayley graphs $\operatorname{Cay}(\mathbb{Z}_n;S)$ where $|S| \le 5$ and $S$ generates $\mathbb{Z}_n$.

Katona and Varga showed that for any rational number $t \in (1/2,1]$, no chordal graph is minimally $t$-tough, while Katona and Khan characterized all minimally $t$-tough, chordal graphs with $t \le 1/2$. We conjecture that no chordal graph is minimally $t$-tough for any $t>1$ and prove several results supporting the conjecture. In particular, we show that for any $t>1/2$, no strongly chordal graph is minimally $t$-tough%, no split graph is minimally $t$-tough, and no chordal graph with a universal vertex is minimally $t$-tough.

Let $Γ$ denote a bipartite graph with vertex set $X$, color partitions $Y$, $Y'$, and assume that every vertex in $Y$ has eccentricity $D\ge 3$. For $z\in X$ and a non-negative integer $i$, let $Γ_{i}(z)$ denote the set of vertices in $X$ that are at distance $i$ from $z$. Graph $Γ$ is almost $2$-$Y$-homogeneous whenever for all $i \; (1\leq i \leq D-2)$ and for all $x\in Y$, $y \in Γ_2(x)$ and $z \in Γ_{i}(x)\capΓ_i(y)$, the number of common neighbours of $x$ and $y$ which are at distance $i-1$ from $z$ is independent of the choice of $x$, $y$ and $z$. In addition, if the above condition holds also for $i=D-1$, then we say that $Γ$ is $2$-$Y$-homogeneous. Now, let $Γ$ denote a distance-biregular graph. In this paper we study the intersection arrays of $Γ$ and we give sufficient and necessary conditions under which $Γ$ is (almost) $2$-$Y$-homogeneous. In the case when $Γ$ is $2$-$Y$-homogeneous we write the intersection numbers of the color class $Y$ in terms of three parameters.

A graph $Γ$ is said to be distance-balanced if for any edge $uv$ of $Γ$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$, and it is called nicely distance-balanced if in addition this number is independent of the chosen edge $uv$. A graph $Γ$ is said to be strongly distance-balanced if for any edge $uv$ of $Γ$ and any integer $k$, the number of vertices at distance $k$ from $u$ and at distance $k+1$ from $v$ is equal to the number of vertices at distance $k+1$ from $u$ and at distance $k$ from $v$. In this paper we answer an open problem posed by Kutnar and Miklavič [European J. Combin. 39 (2014), 57-67] by constructing several infinite families of nonbipartite nicely distance-balanced graphs which are not strongly distance-balanced. We disprove a conjecture regarding characterization of strongly distance-balanced graphs posed by Balakrishnan et al. [European J. Combin. 30 (2009), 1048-1053] by providing infinitely many counterexamples, and answer an open question posed by Kutnar et al. in [Discrete Math. 306 (2006), 1881-1894] regarding existence of semisymmetric distance-balanced graphs which are not strongly distance-balanced by providing an infinite family of such examples. We also show that for a graph $Γ$ with $n$ vertices and $m$ edges it can be checked in $O(mn)$ time if $Γ$ is strongly-distance balanced and if $Γ$ is nicely distance-balanced.

A connected graph $\G$ is called {\em nicely distance--balanced}, whenever there exists a positive integer $γ=γ(\G)$, such that for any two adjacent vertices $u,v$ of $\G$ there are exactly $γ$ vertices of $\G$ which are closer to $u$ than to $v$, and exactly $γ$ vertices of $\G$ which are closer to $v$ than to $u$. Let $d$ denote the diameter of $\G$. It is known that $d \le γ$, and that nicely distance-balanced graphs with $γ= d$ are precisely complete graphs and cycles of length $2d$ or $2d+1$. In this paper we classify regular nicely distance-balanced graphs with $γ=d+1$.

The canonical double cover $B(X)$ of a graph $X$ is the direct product of $X$ and $K_2$. If $Aut(B(X)) \cong Aut(X) \times \mathbb{Z}_2$ then $X$ is called stable; otherwise $X$ is called unstable. An unstable graph is nontrivially unstable if it is connected, non-bipartite and distinct vertices have different neighborhoods. Circulant is a Cayley graph on a cyclic group. Qin et al. conjectured in [J. Combin. Theory Ser. B 136 (2019), 154-169] that there are no nontrivialy unstable circulants of odd order. In this paper we prove this conjecture.