PPTX

advertisement
A Cheeger inequality of a distance regular graph
using the Green’s function
Gil Chun Kim
Department of Mathematics
Dong-A University, Busan, Korea
1. Some definitions and facts
2. Green’s function
3. A Cheeger inequality of a distance regular graph
4. Explicit expression of the krawtchouk polynomial
𝑆 be a subset of set of vertices in a graph Γ = (𝑉, 𝐸), where 𝑉 is a set
of vertices of Γ and 𝐸 is a set of edges of Γ.
. Let
(π‘Ž) The edge boundary of 𝑆, denoted by πœ•π‘† is defined as follows:
πœ•π‘† = π‘₯, 𝑦 ∈ 𝐸 Γ
π‘₯ ∈ 𝑆 π‘Žπ‘›π‘‘ 𝑦 ∈ 𝑉 − 𝑆},
where 𝐸(Γ) is a edge set of Γ.
(𝑏) If 𝑆 ≠ ∅, then the volume of 𝑆, denoted by π‘£π‘œπ‘™(𝑆) is defined as follows:
π‘£π‘œπ‘™ 𝑆 = 𝑒∈𝑆 π‘˜π‘’
where π‘˜π‘’ is a valency of 𝑒 in Γ. The volume of Γ is denoted by
π‘£π‘œπ‘™ Γ = 𝑒 π‘˜π‘’
(𝑐) The πΆβ„Žπ‘’π‘’π‘”π‘’π‘Ÿ π‘Ÿπ‘Žπ‘‘π‘–π‘œ of 𝑆, denoted by β„Žπ‘† is defined as
|πœ•π‘†|
β„Žπ‘† =
min{π‘£π‘œπ‘™ 𝑆 , π‘£π‘œπ‘™ Γ − π‘£π‘œπ‘™ 𝑆 }
(𝑑) The πΆβ„Žπ‘’π‘’π‘”π‘’π‘Ÿ π‘π‘œπ‘›π‘ π‘‘π‘Žπ‘›π‘‘ of Γ, denoted by β„ŽΓ is defined as
β„ŽΓ = min β„Žπ‘†
𝑆⊂𝑉
In graph theory, the Cheeger constant is an important geometric meaning. The
Cheeger constant give to us answer of the problem of separating the graph into two
large components by making a small edge-cut. The Cheeger constant of a connected
graph is strictly positive.
If the Cheeger constant is “small” but postive, then there are two large sets of
vertices with “few” edges between them.
On the other hand if the Cheeger constant is “large”, then there are two sets of
vertices with “many” edges between those two subsets.
We are interested in finding bounds on the Cheeger constants of graphs.
The Hamming graph is the graph that describes the distance – 1 relation
in the Hamming scheme 𝐻(𝑑, π‘ž)
The Hamming graph is a special class of graphs used in several branches
of Mathematics and Computer Science. The Hamming graphs are
interesting in connection with error-correcting codes and association
schemes.
The Cheeger constant of the Hamming graphs Γ(𝑑, π‘ž)
π‘ž+1
2
β„ŽΓ =
𝑑(π‘ž − 1)
Hamming graph Γ(3,2)
𝑆 = 000, 100, 010, 110
πœ•π‘† = 4, π‘£π‘œπ‘™ 𝑆 = 12
4
1
β„ŽΓ =
=
12
3
The Johnson graph is also an interesting class of graphs.
A vertex set 𝑉 of 𝛀 𝑛, 𝑑 consists of all binary vectors of length 𝑛 with
Hamming weight 𝑑, such that 𝑉 = 𝑛𝑑 . The Johnson graph is the graph
that describes the distance – 1 relation in the Johnson scheme 𝐽(𝑛, 𝑑).
Two vertices are adjacent if they differ in two coordinates.
The Cheeger constant of the Johnson graphs Γ(𝑛, 𝑑)
β„ŽΓ ≤
β„ŽΓ ≤
(𝑛−𝑑+1)2 𝐴2
2𝑑(𝑛−𝑑) 𝑛
𝑑
𝐴2 +
4
𝑛
𝑑
2
𝐴2
2
, if 𝑛 is even and 𝑑 is odd.
, if 𝑛 is even and 𝑑 is even.
β„ŽΓ ≤
β„ŽΓ ≤
(𝑛+1)𝐴2 +(𝑑−1)
4𝑑
𝑛
𝑑
2
𝐴2
2
(𝑛+1)𝐴2 +(𝑛−𝑑−1)
4(𝑛−𝑑)
𝑛
𝑑
2
, if 𝑛 is odd and 𝑑 is odd.
𝐴2
2
, if 𝑛 is odd and 𝑑 is even.
. π‘«π’Šπ’”π’•π’‚π’π’„π’† π’“π’†π’ˆπ’–π’π’‚π’“ π’ˆπ’“π’‚π’‘π’‰
Let Γ be a connected graph. For a vertex π‘₯ ∈ 𝑉 , define Γ𝑖 π‘₯ to be the set of
vertices which are at distance precisely 𝑖 from π‘₯ (0 ≤ 𝑖 ≤ 𝑑), where 𝑑 =
max 𝑑 π‘₯, 𝑦
π‘₯, 𝑦 ∈ 𝑉}. A connected graph Γ with diameter 𝑑 is called
π‘‘π‘–π‘ π‘‘π‘Žπ‘›π‘π‘’ π‘Ÿπ‘’π‘”π‘’π‘™π‘Žπ‘Ÿ if there are integers 𝑏𝑖 , 𝑐𝑖+1 0 ≤ 𝑖 ≤ 𝑑 − 1 such that for
any two vertices π‘₯, 𝑦 with 𝑑 π‘₯, 𝑦 = 𝑖, there are precisely 𝑐𝑖 neighbors of 𝑦 in
Γ𝑖−1 π‘₯ and 𝑏𝑖 neighbors of 𝑦 in Γ𝑖+1 π‘₯ .
. π‘¨π’”π’”π’π’„π’Šπ’‚π’•π’Šπ’π’ π’”π’„π’‰π’†π’Žπ’†
Let 𝑋 be a nonempty finite set and 𝑅 = {𝑅0 , 𝑅1 , β‹― , 𝑅𝑑 } be a family of relations
defined on 𝑋. Let 𝑣 be the order of 𝑋. Then adjacency matrix 𝐴𝑖 of 𝑅𝑖 (𝑖 =
0,1, β‹― , 𝑑) is the 𝑣 × π‘£ matrix defined by
1 , if (π‘₯, 𝑦) ∈ 𝑅𝑖
(𝐴𝑖 )π‘₯,𝑦 = {
0 , otherwise.
We say that the pair 𝔛 = (𝑋, 𝑅) is a symmetric association scheme with 𝑑 classes
if it satisfies the following conditions.
1 𝐴𝑖 is symmetric,
(2) 𝑑𝑖=0 𝐴𝑖 = 𝐽 (the all 1’s matrix),
(3) 𝐴0 = 𝐼,
(4) 𝐴𝑖 𝐴𝑗 = π‘‘π‘˜=0 𝑝𝑖,𝑗 π‘˜ π΄π‘˜ (𝑖, 𝑗 = 0,1,2, β‹― , 𝑑).
Let π’œ be the algebra spanned by the adjacency matrices 𝐴0 , 𝐴1 , β‹― , 𝐴𝑑 . Then
π’œ is called the Bose Mesner algebra of 𝔛 and π’œ has two distinguished bases
𝐴𝑖 and 𝐸𝑖 , where the latter consist of primitive idempotent matrices. For
𝐴𝑖 and 𝐸𝑖 , we express one in terms of the other:
1
𝑑
𝐴𝑗 = 𝑑𝑖=0 𝑝𝑗 (𝑖) 𝐸𝑖 , 𝐸𝑗 =
𝑖=0 π‘žπ‘— (𝑖) 𝐴𝑖
for 𝑗 = 0,1, β‹― , 𝑑.
|𝑋|
The (𝑑 + 1) × π‘‘ + 1 matrix 𝑃 = (𝑝𝑗 𝑖 ) (respectively, Q= (π‘žπ‘— 𝑖 ) ) is called the
first eigenmatrix (respectively, the second eigenmatrix) of the association scheme.
Then 𝑃 = (𝑝𝑗 𝑖 ) and Q= (π‘žπ‘— 𝑖 ) satisfy
π‘žπ‘— 𝑖
π‘šπ‘—
=
𝑝𝑖 𝑗
π‘˜π‘–
, where π‘šπ‘— = π‘Ÿπ‘Žπ‘›π‘˜(𝐸𝑗 ), π‘˜π‘– is the
valency of 𝐴𝑖 ,and 𝑝𝑖 𝑗 is the complex conjugate of 𝑝𝑖 𝑗 .
The adjacency matrices 𝐴𝑖 satisfy
𝐴𝑖 𝐴𝑖 = π‘‘π‘˜=0 𝑝𝑖,𝑗 π‘˜ π΄π‘˜
for all 𝑖, 𝑗, where for (π‘₯, 𝑦) ∈ π‘…π‘˜ , 𝑝𝑖,𝑗 π‘˜ is the number of 𝑧 ∈ 𝑋 such that (π‘₯, 𝑧) ∈ 𝑅𝑖
and 𝑧, 𝑦 ∈ 𝑅𝑗 . The non-negative integers 𝑝𝑖,𝑗 π‘˜ are called the intersection numbers
of 𝔛.
Let 𝐡𝑖 be a matrix with (𝑗, π‘˜)-entries 𝑝𝑖,𝑗 π‘˜ ,and let ℬ be a algebra spanned by 𝐡0 ,
𝐡1 , β‹― , 𝐡𝑑 . Then 𝐡𝑖 is called the 𝑖-th intersection matrix of 𝔛 and ℬ is called the
intersection algebra of 𝔛 . In fact, the Bose-Mesner algebra π’œ of 𝔛 is isomorphic
to ℬ by the map 𝐴𝑖 → 𝐡𝑖 .
Let 𝔛 = 𝑋, 𝑅𝑖 (𝑖 = 0,1, β‹― , 𝑑) be a symmetric association scheme, and let Γ
be the graph whose set and edge set are 𝑋 and 𝑅1 respectively. Then, it is known
that the following are equivalent.
(π‘Ž) Γ is distance regular graph.
(𝑏) 𝔛 is a 𝑃–polynomial scheme with respect to 𝑅0 , 𝑅1 , β‹― , 𝑅𝑑 , that is
𝑣𝑖 𝐴1 (𝑖 = 0,1, β‹― , 𝑑) for some polynomial 𝑣𝑖 π‘₯ of degree 𝑖.
(𝑐) The first eigenmatrix 𝐏 = (𝑝𝑗 𝑖 ) satisfies 𝑝𝑗 𝑖 = 𝑣𝑖 (πœƒπ‘— ) for some
polynomials 𝑣𝑖 π‘₯ of degree 𝑖, where πœƒπ‘— = 𝑝1 𝑗 (𝑖, 𝑗 = 0,1, β‹― , 𝑑).
(𝑑) The first intersection matrix 𝐡1 is a tridiagonal matrix with non-zero
off diagonal entries,
𝐴𝑖 =
π‘ͺπ’‰π’†π’†π’ˆπ’†π’“ π’Šπ’π’†π’’π’–π’‚π’π’Šπ’•π’š
Let Γ be a graph of order 𝑣, and let λ1 be the smallest positive eigenvalue of the
Laplacian of Γ. Then there are Cheeger inequalities as follows:
(π‘Ž) [1]
β„ŽΓ 2
2
≤ πœ†1 ≤ 2β„ŽΓ βŸΉ β„ŽΓ ≤
2πœ†1 ;
[1] J. Dodziuk, W.S. Kendall, Combinatorial Laplacians and isoperimetric inequality,
in: K.D. Elworthy (Ed.), From Local Times to Global Geometry, control and Physics,
Research Notes in Mathematics Series, Vol. 150, Pitman, London, 1986, pp.68-74.
𝑏
2 For 𝑣 ≥ 4, β„ŽΓ ≤
πœ†1 2 − πœ†1 .
[2] J.Tan, On cheeger inequalities of a graph, Discrete Math. 269(2003) 315-323.
Our Cheeger inequality provides an upper bound of the cheeger constant, which
yields an improvement of the bound (π‘Ž), (𝑏).
. [1] Let Γ be a distance regular graph. Then its edge-connectivity
equals its valency π‘˜, and the only disconnecting sets of edges are the sets of
π‘˜ edges incident with a single vertex.
[1] A.Brouwer, W.Haemers, Eigenvalues and perfect matchings, Linear Algebra and its
Applications. 395 (2005). 155-162.
. [2] Let Γ be a non-complete distance regular graph of valency π‘˜ >
2. Then the vertex-connectivity πœ… Γ equals π‘˜, and the only disconnecting sets of
vertices of size not more than π‘˜ are the point neighbourhoods.
[2] A. Brouwer, J. Koolen, the vertex-connectivity of a distance regular graph, European
Journal of Combinatorics. Vol. 30. No. 3. (2009). 668-673.
. [3] Let Γ = (𝑉, 𝐸) be a simple graph with the vertex-connectivity
πœ… Γ and the edge-connectivity πœ†(Γ). Then
2πœ… Γ
|𝑉|
≤
2πœ†(Γ)
|𝑉|
|πœ•π‘†|
|𝑆|
|𝑉|
.
2
≤ 𝑖𝑛𝑓
where 𝑆 is a subset of 𝑉 with |𝑆| ≤
≤ πœ… Γ ≤ πœ†(Γ),
[3] G. Oshikiri, Cheeger constant and connectivity of graphs, Interdisciplinary Information
Sciences, 8 (2) (2002), 147-150.
From Propositions 1,2 and 3 we see that, for a distance regular graph, there are close
connections between the Cheeger constant and vertex and edge connectivity.
Also, we obtain an inequality
2
≤ β„ŽΓ ≤ 1.
|𝑉|
We are thus interested in finding optimal bounds of β„ŽΓ for distance regular graph.
For our Cheeger inequality, we use the Green's function, which is defined as the
inverse of the 𝛽 -Laplacian.
Green’s function
Define a transition probability matrix 𝑃 over 𝔛 by 𝑃 =
1
𝐴 , where
π‘˜1 1
π‘˜1 is the
valency of 𝐴1 . For a function 𝑓 ∢ 𝑋 → ℝ, we define a πΏπ‘Žπ‘π‘™π‘Žπ‘π‘’ π‘œπ‘π‘’π‘Ÿπ‘Žπ‘‘π‘œπ‘Ÿ βˆ† by
βˆ†π‘“(π‘₯) =
Then, we have βˆ†= 𝐼 − 𝑃 = 𝐼 −
1
π‘˜1
𝑓 π‘₯ −𝑓 𝑦 .
𝑦~π‘₯
1
𝐴
π‘˜1 1
and βˆ† is a matrix representation of the
Laplacian β„’. For 𝑗 = 0,1, β‹― , 𝑑 and orthogonal eigenfunction πœ™π‘— ∗ , we have
β„’=
where πœ†π‘— is an eigenvalue of β„’.
𝑑
𝑗=0 πœ†π‘—
πœ™π‘— ∗ πœ™π‘— ,
Let ℒ𝛽 be the 𝛽–normalized Laplacian by 𝛽𝐼 + β„’. For 𝛽 > 0, let a Green’s
function 𝒒𝛽 denote the symmetric matrix satisfying ℒ𝛽 𝒒𝛽 = 𝐼. Then we have
𝒒𝛽 =
1
𝑑
𝑗=0 𝛽+πœ†
𝑗
πœ™π‘— ∗ πœ™π‘— ,
For 𝛽 > 0 we have 𝒒𝛽 (𝛽𝐼 + 𝐼 − 𝑃) = 𝐼. Thus, this implies that
ℒ𝛽 =(𝛽 + 1)𝐼 − 𝑃 =
𝑑
𝑗=0(𝛽
+1−
1
𝑝
π‘˜1 1
𝑗 )𝐸𝑗 .
Hence, a Green’s function 𝒒𝛽 can be expressed by
π‘˜1
𝑑
𝑗=0( 𝛽+1 π‘˜ −𝑝 𝑗
1
1
𝒒𝛽 =
Since 𝐸𝑗 =
1
|𝑋|
) 𝐸𝑗 .
π‘žπ‘— 𝑖 𝐴𝑖 , 𝒒𝛽 is a linear combination of adjacency matrices 𝐴𝑖
as follows:
𝒒𝛽 = π‘Ÿ0
where π‘Ÿπ‘–
(𝛽)
=
1
𝑋
1
𝛽
(𝛽)
( + π‘ž1 𝑖
𝐴0 + π‘Ÿ1
1
𝛽+πœ†1
(𝛽)
𝐴1 + β‹― + π‘Ÿπ‘‘
+ β‹― + π‘žπ‘‘ (𝑖)
1
)
𝛽+πœ†π‘‘
𝛽
𝐴𝑑 ,
(𝑖 = 0,1, β‹― , 𝑑)
Let 𝐿 be a ( 𝑋 − 1) × |𝑋| matrix obtained by the removal of the first row of
1
ℒ𝛽 =(𝛽 + 1)𝐼 − 𝐴1 .
π‘˜1
Since the Bose-Mesner algebra π’œ is isomorphic to the intersection algebra 𝔅 of
1
1
𝔛 then that isomorphism of algebra takes (𝛽 + 1)𝐼 − 𝐴1 to (𝛽 + 1)𝐼 − 𝐡1 .
Let 𝐿′ = −π‘˜1 ( 𝛽 + 1 𝐼 −
matrix. Let 𝐿𝑠𝑒𝑏
(𝛽)
π‘˜1
− π‘˜1 𝛽 + 1 𝐼, which is a 𝑑 + 1 × π‘‘ + 1
be a matrix obtained by the removal of the first row of 𝐿′ .
Then, we obtain 𝐿𝑠𝑒𝑏
𝐿𝑠𝑒𝑏
1
𝐡 )= 𝐡1
π‘˜1 1
π‘˜1
(𝛽)
as follows:
(𝛽)
where 𝑠𝑖 = π‘Žπ‘– − π‘˜1 (𝛽 + 1) for 𝑖 = 1,2, β‹― , 𝑑 and π‘Žπ‘– , 𝑏𝑖 , 𝑐𝑖 are the same entries as
in 𝐡1 .
. For 𝛽 > 0, let 𝒒𝛽 be a Green’s function for a 𝑃–polynomial
scheme. Then we have the following:
(π‘Ž) A Green’s function can be expressed as
𝒒𝛽 = 𝑑𝑒0
(𝛽)
𝐴0 + 𝑑𝑒1
for some nonzero 𝑑 ∈ ℝ, where (𝑒0
basis
(𝛽)
(𝛽)
(𝛽)
𝐴1 + β‹― + 𝑑𝑒𝑑
, 𝑒1
(𝛽)
𝛽
, β‹― , 𝑒𝑑
(𝛽)
(𝛽)
of the nullspace 𝒩(𝐿(𝛽)
) of(𝛽)
𝐿𝑠𝑒𝑏
with 𝑒𝑑𝛽 =1 1.
𝑠𝑒𝑏
(𝑏) For 𝛽 > 0, π‘˜0 π‘Ÿ0
+ π‘˜1 π‘Ÿ1
+ β‹― + π‘˜π‘‘ π‘Ÿπ‘‘
= ,
where π‘˜π‘— is the valency of 𝐴𝑗 for 𝑗 = 0, 1, β‹― , 𝑑.
(𝑐) π‘Ÿ0
(𝛽)
> π‘Ÿ1
(𝛽)
(𝑑) As 𝛽 → 0+ , π‘Ÿ0
> β‹― > π‘Ÿπ‘‘
(𝛽)
≈ π‘Ÿ1
𝛽
(𝛽)
> 0.
≈ β‹― ≈ π‘Ÿπ‘‘
𝛽
.
𝛽
𝐴𝑑
(𝛽)
) is the unique
For 𝛽 > 0, let 𝒒𝛽 be a Green’s function of the distance regular graph of order 𝑣
We denote a subset π‘ͺ𝛽 of 0,1,2, β‹― , 𝑑 by
π‘ͺ𝛽 ≔{ 𝑖 |
1
𝛽
− π‘£π‘Ÿπ‘–
𝛽
> 0}.
It is clear that π‘ͺ𝛽 is a non-empty set.
When 𝛽 is sufficiently close to 0+ , we consider a set
π‘ͺ𝛽 ′ = 𝑖
Since
π›½π‘£π‘Ÿπ‘–
π›½π‘£π‘Ÿπ‘–
𝛽
𝛽
𝛽 + πœ†1 < πœ†1
𝛽
𝛽+πœ†π‘‘
= 1 + π‘ž1 𝑖
lim+ π›½π‘£π‘Ÿπ‘–
𝛽→0
Thus, we have
𝛽
1
𝛽
⇒
π›½π‘£π‘Ÿπ‘–
π›½π‘£π‘Ÿπ‘–
𝛽
𝛽 + πœ†1 < πœ†1 }.
𝛽
+ β‹― + π‘žπ‘‘ (𝑖)
1
𝛽
< πœ†1 ( − π‘£π‘Ÿπ‘–
𝛽
𝛽+πœ†π‘‘
𝛽
)
,
= 1.
− π‘£π‘Ÿπ‘–
𝛽
> 0. That is, π‘ͺ𝛽 ′ is a subset of π‘ͺ𝛽 .
and
. For 𝛽 > 0, let Γ be a distance regular graph of order 𝑣 and let
(𝛽)
(𝛽)
𝒒𝛽 = π‘Ÿ0
𝐴0 + π‘Ÿ1
for 𝑖 ∈ π‘ͺ𝛽 ′ , we have
(a)
𝛽 2 π‘£π‘Ÿπ‘–
1−π›½π‘£π‘Ÿπ‘–
𝛽
𝐴1 + β‹― + π‘Ÿπ‘‘
𝛽
𝐴𝑑 be a Green’s function of Γ. Then,
is decreasing in 𝑖 ∈ π‘ͺ𝛽 ′
𝛽
′
(𝑏) For 𝑖 ∈ π‘ͺ𝛽 , lim+
𝛽 2 π‘£π‘Ÿπ‘–
𝛽→0 1−π›½π‘£π‘Ÿ
𝑖
𝛽
𝛽
= 𝛼𝑖 , where 𝛼𝑖 =
Moreover, for some 𝑖 ∈ π‘ͺ𝛽 ′ , 𝛼𝑖 < πœ†1 .
(𝑐)
𝛽 2 π‘£π‘Ÿπ‘–
1−π›½π‘£π‘Ÿπ‘–
𝛽
𝛽
is decreasing in 𝛽 > 0.
1
−π‘ž1 𝑖
1
−
πœ†1
β‹― −π‘žπ‘‘ 𝑖
1
πœ†π‘‘
.
- A Cheeger inequality of a distance regular graph . Let Γ be a distance regular graph of diameter 𝑑 and let πœ†1 be the
smallest positive eigenvalue of the Laplacian. Then
πœ† 1 β„ŽΓ < 𝛼𝑑 < 𝛼𝑑−1 < β‹― < πœ†1 .
. Let 𝑆 be a subset of vertices of Γ with π‘£π‘œπ‘™(𝑆) ≤ π‘£π‘œπ‘™(Γ)/2.
Let
1−π›½π‘£π‘Ÿπ‘–
π›½π‘£π‘Ÿπ‘–
𝛽
=
𝛽
1
.
𝑐
Then we have lim+
𝛽→0
number such that 𝐴 <
π‘£π‘œπ‘™(𝑆)π›½π‘£π‘Ÿπ‘–
1−π›½π‘£π‘Ÿπ‘–
𝛽
𝛽
1−π›½π‘£π‘Ÿπ‘–
π›½π‘£π‘Ÿπ‘–
𝛽
= 0+ . Let 𝐴 be a positive
𝛽
. Then
𝛽
𝛽
1 − π›½π‘£π‘Ÿπ‘–π›½
𝐴 < π‘£π‘œπ‘™(𝑆)π›½π‘£π‘Ÿπ‘–
⇒
1−π›½π‘£π‘Ÿπ‘–
′
+
Let 𝛽 =
𝛽 . Since lim+ 𝛽 = 0 , we have
′
<
𝛽→0
π›½π‘£π‘Ÿπ‘–
𝐴
π‘£π‘œπ‘™(𝑆)
⇒
𝐴
π‘£π‘œπ‘™(𝑆)
<
𝐴
1
π‘£π‘œπ‘™(𝑆)( ′ )
𝛽
𝛽 ′ π‘£π‘Ÿπ‘–
𝛽′
1−𝛽 ′ π‘£π‘Ÿπ‘–
<
⇒
𝛽′
2
𝛽 ′ π‘£π‘Ÿπ‘–
1−𝛽 ′ π‘£π‘Ÿπ‘–
𝐴
π‘£π‘œπ‘™(𝑆)
𝛽′
𝛽′
⇒
<
𝐴
π‘£π‘œπ‘™ 𝑆 𝑐
2
𝛽 ′ π‘£π‘Ÿπ‘–
1−𝛽 ′ π‘£π‘Ÿπ‘–
<
𝛽′
𝛽′
2
𝛽 ′ π‘£π‘Ÿπ‘–
1−𝛽 ′ π‘£π‘Ÿπ‘–
π›½π‘£π‘Ÿπ‘–
1−π›½π‘£π‘Ÿπ‘–
1
𝛽′
𝛽′
𝛽′
𝛽
𝛽
.
Since πœ•π‘† πœ†1 < π‘£π‘œπ‘™(𝑆) and 𝐴 <
πœ•π‘† πœ†1 𝑐. Therefore
2
𝛽 ′ π‘£π‘Ÿπ‘–
Since 𝛼𝑖 >
2
𝛽 ′ π‘£π‘Ÿπ‘–
1−𝛽 ′ π‘£π‘Ÿπ‘–
𝛽′
1−𝛽 ′ π‘£π‘Ÿπ‘–
𝛽′
𝛽′
𝛽′
>
π‘£π‘œπ‘™(𝑆)π›½π‘£π‘Ÿπ‘–
1−π›½π‘£π‘Ÿπ‘–
πœ•π‘† πœ†1 𝑐
π‘£π‘œπ‘™ 𝑆 𝑐
=
𝛽
𝛽
= π‘£π‘œπ‘™ 𝑆 𝑐, we can choose 𝐴 =
πœ•π‘† πœ†1
π‘£π‘œπ‘™(𝑆)
≥ β„ŽΓ πœ†1 .
and 𝛼𝑑 < 𝛼𝑑−1 < β‹― < πœ†1 , we have
πœ† 1 β„ŽΓ < 𝛼𝑑 < 𝛼𝑑−1 < β‹― < πœ†1 .
∎
. Let Γ be a distance regular graph and let β„ŽΓ be a Cheeger
constant of Γ . Then we have
𝛼𝑑
β„ŽΓ <
≤ πœ†1 2 − πœ†1 ≤ 2πœ†1 ,
πœ†1
where πœ†1 is a smallest positive eigenvalue of the Laplacian.
Let Γ be the Hamming graph 𝐻(𝑑, π‘ž). Then Γ is a distance regular
graph with π‘ž vertices, valency 𝑑(π‘ž − 1) and 𝑑 diameter.
𝑑
We consider two cases: π‘Ž 𝑑 = 3, π‘ž = 2 and 𝑏 𝑑 = 5, π‘ž = 2. Then
2
3
π‘Ž 𝐻 3,2 ∢ 𝑣 = 8, π‘˜1 = 3, πœ†1 = , 𝛼𝑑 =
β„ŽΓ <
𝛼𝑑
πœ†1
≈ 0.545455 <
4
11
πœ†1 2 − πœ†1 = 0.942809 <
2
5
𝑏 𝐻 5,2 ∢ 𝑣 = 32, π‘˜1 = 5, πœ†1 = , 𝛼𝑑 =
β„ŽΓ <
𝛼𝑑
πœ†1
≈ 0.437956 <
.
24
137
πœ†1 2 − πœ†1 = 0.8 <
2πœ†1 = 1.1547.
.
2πœ†1 = 0.894427.
graph with
𝑛
𝑑
Let Γ be the Johnson graph 𝐽(𝑛, 𝑑). Then Γ is a distance regular
vertices, valency 𝑑(𝑛 − 𝑑) and 𝑑 diameter.
We consider two cases: π‘Ž 𝑛 = 10, 𝑑 = 4 and 𝑏 𝑛 = 11, 𝑑 = 5. Then
π‘Ž 𝐽 10,4 ∢ 𝑣 = 210, π‘˜1 = 24, πœ†1 =
β„ŽΓ <
𝛼𝑑
πœ†1
≈ 0.429302 <
𝛼𝑑
πœ†1
≈ 0.382344 <
𝛼𝑑 =
11088
79091
πœ†1 2 − πœ†1 = 0.773879 <
𝑏 𝐽 11,5 ∢ 𝑣 = 462, π‘˜1 = 30, πœ†1 =
β„ŽΓ <
11
,
30
10
,
24
𝛼𝑑 =
105
587
πœ†1 2 − πœ†1 = 0.812233 <
.
2πœ†1 = 0.856349.
.
2πœ†1 = 0.912871.
In fact, 𝛼𝑑 is
1
−π‘ž1 𝑑
1
−
πœ†1
β‹― −π‘žπ‘‘ 𝑑
1
πœ†π‘‘
,
where π‘ž1 𝑑 , β‹― , π‘žπ‘‘ 𝑑 are the π‘ž-numbers of a 𝑃-polynomial scheme.
However, in general, the π‘ž -numbers are not easy to compute. We thus
find an approximated value 𝛼𝑑 of 𝛼𝑑 with some error 𝛽 > 0 in the following
theorem.
If 𝛽 is sufficiently close to 0 then we obtain the estimate 𝛼𝑑 which is close to
𝛼𝑑 and easier to compute.
π‘Ÿ1
(𝛽)
. Let Γ be a distance regular graph of order 𝑣, and let 𝒒𝛽 = π‘Ÿ0
𝐴1 + β‹― + π‘Ÿπ‘‘
𝛽
(𝛽)
𝐴𝑑 be a Green’s function of Γ for 𝛽 > 0. Then we have
π›½π‘£π‘Ÿπ‘‘
𝛼𝑑 − 1
𝛽
−π‘£π‘Ÿπ‘‘
𝛽
𝛽
< 𝛽.
𝐴0 +
𝐿𝑠𝑒𝑏
(𝛽)
For 𝛽 > 0, let 𝐿0
(𝛽)
be the 𝑑 × π‘‘ matrix obtained by the removal of the first
(𝛽)
column of 𝐿𝑠𝑒𝑏 .
Let 𝐿𝑗 (𝛽) be the (𝑑 − 𝑗) × π‘‘ − 𝑗 matrix obtained by the removal from the
first row(respectively, column) to the 𝑗–th row(respectively, column) of 𝐿0
(𝛽)
In the following proposition 5, we find an expression for 𝛼𝑑 in terms of a
basis (𝑒0
(𝛽)
, 𝑒1
(𝛽)
, β‹― , 𝑒𝑑
(𝛽)
) of 𝒩(𝐿𝑠𝑒𝑏
We also find an explicit expression for 𝑒𝑗
𝐿𝑗 (𝛽) of 𝐿𝑠𝑒𝑏
(𝛽)
.
(𝛽)
(𝛽)
) and the valencies π‘˜π‘— ’s. And
by a determinant of a submatrix
.
(𝛽)
Let Γ be a distance regular graph of order 𝑣. For 𝛽 > 0, let
(𝛽)
(𝛽)
(𝛽)
(𝑒0 , 𝑒1
, β‹― , 𝑒𝑑 ) be a basis of 𝒩(𝐿𝑠𝑒𝑏 ) with 𝑒𝑑
𝒒𝛽
be a Green’s function of Γ. Then we have the following:
𝛽𝑣
π‘Ž 𝛼𝑑 = lim+
,
(𝛽)
𝛽→0
𝑏 𝑒𝑗
(𝛽)
where 𝐿𝑗
𝑑 π‘˜ 𝑒
𝑗=0 𝑗 𝑗
= (−1)𝑑−𝑗
𝛽
(𝛽)
= 1, and let
−𝑣
det(𝐿𝑗
𝛽
)
𝑐𝑗+1 𝑐𝑗+2 ⋯𝑐𝑑
, 𝑗 = 0,1, β‹― , 𝑑 − 1,
are submatrices of 𝐿𝑠𝑒𝑏
(𝛽)
and det 𝐿𝑑
𝛽
= 1.
We consider a Johnson scheme 𝐽(8,4) . Let à be a distance regular
graph with respect to 𝐴1 . Then à is a distance regular graph with 70 vertices and
valency 16 . Also, the valencies of 𝐽(8,4) are 1, 16, 36, 16, 1 and
𝐿𝑠𝑒𝑏
(𝛽)
Since
𝛼𝑑 =
1
−π‘ž1 𝑑
1
−
πœ†1
β‹― −π‘žπ‘‘ 𝑑
1
πœ†π‘‘
,
8 14 18 20
, , ),
16 16 16 16
(π‘ž1 4 , β‹― ,π‘ž4 4 ) = (−7,20, −28,14) and πœ†1 , β‹― , πœ†4 = ( ,
have 𝛼𝑑 =
Let 𝛽 =
(𝑒0
315
1522
1
.
1000
(𝛽)
, 𝑒1
we
≈ 0.206965.
By proposition 5, a basis for 𝒩(𝐿𝑠𝑒𝑏
(𝛽)
,𝑒2
(𝛽)
, 𝑒3
(𝛽)
, 𝑒4
(𝛽)
)=
(𝛽)
) is
263196691 15762389 94021 1001
,
,
,
,1
244140625 15625000 93750 1000
.
Thus, we have
(70)
1 𝑒0
(𝛽)
+ 16 𝑒1
(𝛽)
+ 36 𝑒2
1
1000
(𝛽)
+ 16 𝑒3
(𝛽)
+ 1 𝑒4
(𝛽)
− 70
≈ 0.206609.
Also, by Theorem 4, we have 𝛼𝑑 − 𝛼𝑑 < 0.001 and 𝛼𝑑 < 𝛼𝑑 ≈ 0.206609 + 0.001 =
0.207609.
Let 𝑋 be the set of 𝑑 × π‘‘ matrices over 𝐺𝐹(𝑝𝑑 ) (𝑑 ≤ 𝑛). Define the
𝑖–th relation on 𝑋 by π‘₯, 𝑦 ∈ 𝑅𝑖 ⇔ π‘Ÿπ‘Žπ‘›π‘˜ π‘₯ − 𝑦 = 𝑖.
Then 𝔛 = 𝑋, 𝑅𝑖 (0 ≤ 𝑖 ≤ 𝑑) is a 𝑃-polynomial scheme with respect to the
ordering 𝑅0 , 𝑅1 , β‹― , 𝑅𝑑 .
Let 𝑝 = 2, 𝑑 = 1, 𝑑 = 4, 𝑛 = 5. Then, 𝐿𝑠𝑒𝑏
(𝛽)
is as follows:
Also, we have 𝑋 = 𝑣 = 1048576, π‘˜0 = 1, π‘˜1 = 465, π‘˜2 = 32550, π‘˜3 = 390600
π‘˜ 𝑏 𝑏 ⋯𝑏
and π‘˜4 = 624960 by using π‘˜π‘– = 1 1 2 𝑖−1 𝑖 = 2,3, β‹― , 𝑑 .
𝑐2 𝑐3 ⋯𝑐𝑖
1
Let 𝛽 =
. Then by Proposition 5, we obtain the unique basis of𝒩(𝐿𝑠𝑒𝑏
100
as follows:
(𝑒0
(𝛽)
, 𝑒1
(𝛽)
,𝑒2
(𝛽)
, 𝑒3
(𝛽)
, 𝑒4
(𝛽)
)=
3921317781669 486743013 661683 831
,
,
,
,1
358400000
17920000 448000 800
.
(𝛽)
)
Thus, we have
(1048576)
1 𝑒0
(𝛽)
+ 465 𝑒1
(𝛽)
+ 32550 𝑒2
(𝛽)
1
100
+ 390600 𝑒3
(𝛽)
+ 624960 𝑒4
(𝛽)
− 1048576
≈ 0.195023.
Also, by Theorem 4, we have 𝛼𝑑 < 𝛼𝑑 ≈ 0.195023 + 0.01 = 0.205023.
Let Γ be a distance regular graph with respect to 𝐴1 . Since an eigenvalue πœ†1 of
the Laplacian is
β„ŽΓ <
256
,
465
we obtain β„ŽΓ <
𝛼𝑑
≈ 0.372405 <
πœ†1
𝛼𝑑
πœ†1
<
𝛼𝑑
πœ†1
≈ 0.372405. Moreover,
πœ†1 2 − πœ†1 = 0.893299 <
2πœ†1 = 1.04932.
- Explicit expression of the krawtchouk polynomial For 𝛽 > 0, let 𝒒𝛽 be a Green’s function for a 𝑃–polynomial scheme.
Then we have
A Green’s function can be expressed as
𝒒𝛽 = 𝑑𝑒0
(𝛽)
𝐴0 + 𝑑𝑒1
(𝛽)
𝐴1 + β‹― + 𝑑𝑒𝑑
for some nonzero 𝑑 ∈ ℝ, where is the (𝑒0
the nullspace 𝒩(𝐿𝑠𝑒𝑏
𝐿𝑠𝑒𝑏
(𝛽)
) of 𝐿𝑠𝑒𝑏
(𝛽)
(𝛽)
with 𝑒𝑑
, 𝑒1
(𝛽)
(𝛽)
𝛽
𝐴𝑑
, β‹― , 𝑒𝑑
(𝛽)
) unique basis of
= 1.
(𝛽)
where 𝑠𝑖 = π‘Žπ‘– − π‘˜1 (𝛽 + 1) for 𝑖 = 1,2, β‹― , 𝑑 and π‘Žπ‘– , 𝑏𝑖 , 𝑐𝑖 are the same entries as
in 𝐡1 .
A Green's function 𝒒𝛽 is defined only for 𝛽 > 0, and 𝒒𝛽 is expressed as a linear
combination of adjacency matrices 𝐴𝑖 . But, for 𝛽 ≤ 0, 𝒒𝛽 may be a singular matrix,
so there is no Green's function notion for this case.
We however still have π‘Ÿπ‘Žπ‘›π‘˜(𝐿𝑠𝑒𝑏
(𝑒0
(𝛽)
, 𝑒1
(𝛽)
, β‹― , 𝑒𝑑
(𝛽)
(𝛽)
) = 𝑑 for 𝛽 ∈ ℝ, so we can obtain a unique basis
) of 𝒩(𝐿𝑠𝑒𝑏
(𝛽)
) with 𝑒𝑑
(𝛽)
= 1.
We extend a notion of a Green's function associated with any real number 𝛽 as
follows. The following definition plays an important role for computation of the 𝑝number and the π‘ž-number.
with 𝑒𝑑
(𝛽)
. For 𝛽 ∈ ℝ , let (𝑒0
(𝛽)
, 𝑒1
(𝛽)
= 1 and let
(𝛽)
(𝛽)
, β‹― , 𝑒𝑑
(𝛽)
)∈ 𝒩(𝐿𝑠𝑒𝑏
𝛽
(𝛽)
)
𝒒𝛽,𝒩 = 𝑑𝑒0
𝐴0 + 𝑑𝑒1
𝐴1 + β‹― + 𝑑𝑒𝑑 𝐴𝑑 ,
where 𝑑 is some nonzero ∈ ℝ if 𝛽 > 0 and 𝑑 = 1 if 𝛽 ≤ 0. Then 𝒒𝛽,𝒩 is called
The normalized Green’s function.
Let 𝐻(5,3) be a Hamming scheme . Choosing 𝛽 = −
obtain a 5 × 6 matrix 𝐿𝑠𝑒𝑏
(𝛽)
as follows:
40
(𝛽)
1
,
10
26
1
1 4
Also, a basis of 𝒩(𝐿𝑠𝑒𝑏 ) is (− , − , − , , , 1).
3
15
15 2 5
Thus we obtain a normalized Green’s function 𝒒𝛽,𝒩 as follows:
𝒒𝛽,𝒩 = −
40
𝐴
3 0
−
26
𝐴
15 1
−
1
𝐴
15 2
1
2
4
5
+ 𝐴3 + 𝐴4 + 𝐴5 ,
where 𝐴𝑖 (𝑖 = 0,1,2, β‹― , 5) are the adjacency matrices of 𝐻 5,3 .
then we
For some 𝛽𝑗 ∈ ℝ, let (𝑒0
(𝑗)
, 𝑒1
(𝑗)
, β‹― , 𝑒𝑑
(𝑗)
) be a basis of 𝐿𝑠𝑒𝑏
(𝛽𝑗 )
Let 𝔛 = 𝑋, 𝑅𝑖 (𝑖 = 0,1, β‹― , 𝑑) be a 𝑃-polynomial scheme, and let 𝑃 = (𝑝𝑗 𝑖 )
(respectively, Q= (π‘žπ‘— 𝑖 ) ) be the first eigenmatrix (respectively, the second
eigenmatrix) of 𝔛.
In the following proposition 6, we show that the 𝑗-th column vector of the second
eigenmatrix Q belongs to 𝒩(𝐿𝑠𝑒𝑏
(𝛽𝑗 )
𝑝1 𝑗
π‘˜1
(𝑗)
) for 𝛽𝑗 =
− 1 (j = 0,1,2, β‹― , 𝑑) .
That is, we show the relationship between 𝑒𝑖
and component π‘žπ‘— 𝑖 of the second
eigenmatrix Q= (π‘žπ‘— 𝑖 ) over the 𝑃 - polynomial scheme.
Let 𝔛 = 𝑋, 𝑅𝑖
𝛽𝑗 =
𝑝1 𝑗
π‘˜1
(𝑖 = 0,1, β‹― , 𝑑) be a 𝑃-polynomial scheme. For
− 1 j = 0,1,2, β‹― , 𝑑 , let 𝒒𝛽𝑗,𝒩 = 𝑒0
𝑗
a normalized Green’s function with 𝑒𝑑
(𝑗)
𝐴0 + 𝑒1
(𝑗)
𝐴1 + β‹― + 𝑒𝑑
𝑗
= 1. Then π‘žπ‘— 𝑖 satisfy π‘žπ‘— 𝑖 = π‘šπ‘—
𝐴𝑑 be
𝑒𝑖
𝑒0
(𝑗)
(𝑗)
(𝑖 = 0,1, β‹― , 𝑑). That is, the 𝑗-th column of the second eigenmatrix Q= (π‘žπ‘— 𝑖 ) is
equal to
π‘šπ‘—
𝑒0
(𝑗)
(𝑒0
(𝑗)
, 𝑒1
(𝑗)
, β‹― , 𝑒𝑑
Moreover, we have π‘žπ‘— 𝑖 = π‘žπ‘— 𝑑 𝑒𝑖
(𝑗)
)𝑇 , where π‘šπ‘— is the 𝑗-th multiplicity of 𝔛.
(𝑗)
.
By Proposition 5 (b),
𝑒𝑖
(𝑗)
= (−1)𝑑−𝑖
where 𝐿𝑖
𝛽𝑗
det(𝐿𝑖
𝛽𝑗
)
𝑐𝑖+1 𝑐𝑖+2 ⋯𝑐𝑑
, 𝑖 = 0,1, β‹― , 𝑑 − 1,
are submatrices of 𝐿𝑠𝑒𝑏
(𝛽𝑗 )
and det 𝐿𝑑
𝛽𝑗
= 1.
Let 𝐻(𝑑, π‘ž) be a Hamming scheme. Since the Hamming scheme is a self-dual
scheme, 𝑃 = (𝑝𝑗 𝑖 ) is equal to Q= (π‘žπ‘— 𝑖 ) . The 𝑝-number 𝑝𝑗 𝑖 of a Hamming
scheme 𝐻(𝑑, π‘ž) is defined by the Krawtchouk polynomial. Thus, we have
𝑝1 𝑗 = 𝑑 π‘ž − 1 − π‘žπ‘—.
And, π‘˜1 = 𝑑 π‘ž − 1 . Thus 𝛽𝑗 =
𝑝1 𝑗
π‘˜1
−1=
𝑑 π‘ž−1 −π‘žπ‘—−𝑑 π‘ž−1
𝑑 π‘ž−1
=−
π‘žπ‘—
𝑑(π‘ž−1)
.
For 𝛽𝑗 = −
π‘žπ‘—
,
𝑑(π‘ž−1)
we have a matrix 𝐿𝑠𝑒𝑏
(𝛽𝑗 )
as follows:
where 𝑠𝑖 = 𝑖 π‘ž − 2 − 𝑑(π‘ž − 1)(𝛽𝑗 + 1) for 𝑖 = 1,2, β‹― , 𝑑, and π‘‘π‘˜ = (𝑑 − π‘˜)(π‘ž −
1) for π‘˜ = 1,2, β‹― , 𝑑 − 1.
. Let 𝐻 𝑑, π‘ž a Hamming scheme. Let 𝐿𝑖
submatrix of 𝐿𝑠𝑒𝑏
(𝛽𝑗 )
for 𝛽𝑗 = −
π‘žπ‘—
𝑑 π‘ž−1
𝑝𝑗 𝑖 = 𝑝𝑗 𝑑 𝑒𝑖
(𝑗)
𝛽𝑗
be an (𝑑 − 𝑖) × (𝑑 − 𝑖)
(j = 0,1,2, β‹― , 𝑑). Then we have
=
𝑖!det(𝐿𝑖
(−1)𝑑+𝑗−𝑖 𝑑𝑗
𝑑!
𝛽𝑗
)
.
. Let 𝐻(5,3) be a Hamming scheme. Then, the first eigenmatrix 𝑃 =
(𝑝𝑗 𝑖 ) is as follows:
Let 𝑗 = 1, then we obtain the 𝑝-number 𝑝1 𝑖 as the entries of the second
column of the first eigenmatrix 𝑃.
Let 𝐿𝑠𝑒𝑏
(𝛽1 )
be a 5 × 6 matrix for 𝛽1 = −
3 1
5 3−1
=−
3
10
as follows:
Then, the matrices 𝐿0
Also, det 𝐿0
− 4, det 𝐿4
𝛽1
𝛽1
𝛽1
, 𝐿1
𝛽1
, 𝐿2
= 240 , det 𝐿1
𝛽1
𝛽1
, 𝐿3
𝛽1
and 𝐿4
𝛽1
= −168, det 𝐿2
are
𝛽1
= −2. Therefore, 𝑝1 𝑖 (𝑖 = 0,1,2,3,4) are
= 48, det 𝐿3
𝛽1
=
respectively. Thus, (10,7,4,1, −2, −5)𝑇 is the first column vector of the first
eigenmatrix 𝑃.
Thank you
Download