- nxn正方行列から、m x m ()正方行列はたくさん作れる
- 抜き出す行と列とを同じにすれば、個 (0x0行列、nxn行列も含めて)作れるが
- 抜き出す行と列とを違えれば、もっと多くなる
- そんなすべての本当にすべての正方行列の行列式がすべて正になるような行列をTotal positiveと言う(非負になるときは、Total non-negative)
- ちょっと数が多すぎるが、その数を制約するやりかたに、Flag minorと言う取り出し方がある
- これは、n行から、m行を取り出す。この取り出し方は、通り
- 列の取り出し方は、左詰めで、第1列から第m列にする
- このような取り出し方で取り出される部分正方行列の行列式をFlag minorと呼ぶ
- このFlag minorには、次のような関係がある
- 行列の行の順を考慮して、なる関係にあるような、順序番号 があるとする
- それ以外の順番は増えてもよいものとして、それらを、とすると
- , のペアと、,のペアと、,のペアとを考えた時
- という関係がある
- ただし、はいずれも、Flag minor
- この関係があるので、Flag minorの値の間には相互関係がある
- この相互関係をたどると、すべてのFlag minorが正であることを確認するためには、限定されたFlag minorが正であることを確認すれば事足りることが解る
- 実際、Flag minorの数はあるが、符号を確かめるべきFlag minorの数はであることが知られている
- さらに、個のある取り方をしたFlag minorを固定すると、残りの確認すべきFlag minorの数はと知られており、この個のFlag minorsの団同士に団代数的構造が入っていることが知られている
- こちらを参照
- 具体的には、確かめればよい、Flag minorのセットには次のようなものがある
- と。これが固定分で、全部で2(n-1)個
- 入れ替え可能だが、とりあえず固定する例として、,,,....
- この個数は、
- Flag minorのPtolemy 的関係の実験が以下のRコード
n <- 8
M <- matrix(rnorm(n^2),n,n)
a <- 5
b <- c(3,6)
commons <- c(2,4,7)
t1 <- sort(c(commons,b))
t2 <- sort(c(commons,a))
u1 <- sort(c(commons,b[1]))
u2 <- sort(c(commons,b[1],a))
v1 <- sort(c(commons,b[2]))
v2 <- sort(c(commons,b[2],a))
det(M[t1,1:length(t1)]) * det(M[t2,1:length(t2)])
det(M[u1,1:length(u1)]) * det(M[v2,1:length(v2)]) + det(M[u2,1:length(u2)]) * det(M[v1,1:length(v1)])