圖形的張量產品

圖形的張量產物。

圖理論中,GH張量g × h是一個圖,以至於

  • G × H頂點集是笛卡爾產品VG )× VH ;和
    • GG中的G相鄰,並且
    • HH相鄰H'

張量產品也稱為直接產品Kronecker產品分類產品主要產品關係產品弱直接產品連詞。作為二進制關係的運營,張量產品是由Alfred North WhiteheadBertrand Russell引入了Mathematica的Principia1912 )。它也等同於圖形的鄰接矩陣kronecker產物

符號g × h (以前通常是)代表另一種稱為圖形的笛卡爾產物的結構,但如今更常見的是張量產品。十字符號以兩個邊的張量產物產生的兩個邊顯示。該產品不應與圖形的強產物混淆。

例子

特性

張量產品是圖和圖同構類別中的類別理論產品。也就是說,對G × H的同態對應於GH的一對同態。特別是,當且僅當它接受G × H中的同態時,我將同態允許在G中並進入H中。

要在一個方向上看到一對同構f g gigf hih產生同態

在另一個方向上,同構fig × h可以與投影同構組成

GH產生同態。

G × H的鄰接矩陣是GH鄰接矩陣Kronecker(張量)

如果圖將圖表示為張量產品,則可能存在多個不同的表示(張量產品不滿足唯一分解),但是每個表示形式都具有相同數量的不可減至的因素。 Imrich(1998)給出了一種多項式時間算法,用於識別張量的產品圖並找到任何此類圖的分解。

如果GH雙方的,則其張量產品也是如此。當兩個因素連接並且至少一個因子是非分數時G × H才連接。特別是,當G連接和非分數時, G連接了G的雙分蓋。

Hedetniemi猜想為張量產品的色數提供了一個公式,而Yaroslav Shitov( 2019 )被駁斥了。

圖形的張量產品將圖和圖同構類別與對稱閉合單體類別的結構相提並論。令G 0表示圖G的基礎頂點集。內部HOM [ GH ]具有函數fg 0H 0作為頂點,從fg 0h 0f'g 0h 0時,每當g時g 0→ h 0 { fx ), f'y )}h

也可以看看