Python tf.linalg.LinearOperatorHouseholder用法及代碼示例

LinearOperator 像 [batch] Householder 轉換。

繼承自：LinearOperator，Module

用法

tf.linalg.LinearOperatorHouseholder(
    reflection_axis, is_non_singular=None, is_self_adjoint=None,
    is_positive_definite=None, is_square=None,
    name='LinearOperatorHouseholder'
)

參數

reflection_axis 形狀 [B1,...,Bb, N] Tensor 與 b >= 0 N >= 0 。定義要反射的超平麵的向量。允許的數據類型：float16 , float32 , float64 , complex64 , complex128。
is_non_singular 期望這個運算符是非奇異的。
is_self_adjoint 期望這個算子等於它的厄米轉置。這是自動設置為 true
is_positive_definite 期望這個算子是正定的，意思是二次形式x^H A x對所有非零具有正實部x.請注意，我們不要求算子自伴是正定的。看：https://en.wikipedia.org/wiki/Positive-definite_matrix#Extension_for_non-symmetric_matrices這是自動設置為假。
is_square 期望此運算符的行為類似於方形 [batch] 矩陣。這是自動設置為真。
name 此 LinearOperator 的名稱。

拋出

ValueError is_self_adjoint is not True , is_positive_definite is not False 或 is_square is not True 。

屬性

H 返回當前的伴隨LinearOperator.
給定 A 表示此 LinearOperator ，返回 A* 。請注意，調用self.adjoint() 和self.H 是等效的。
batch_shape TensorShape這批尺寸的LinearOperator.
如果此運算符的作用類似於帶有 A.shape = [B1,...,Bb, M, N] 的批處理矩陣 A，則返回 TensorShape([B1,...,Bb]) ，相當於 A.shape[:-2]
domain_dimension 此運算符的域的維度(在向量空間的意義上)。
如果此運算符的作用類似於帶有 A.shape = [B1,...,Bb, M, N] 的批處理矩陣 A ，則返回 N 。
dtype Tensor 的 DType 由此 LinearOperator 處理。
graph_parents 這個的圖依賴列表LinearOperator. (已棄用)
警告：此函數已棄用。它將在未來的版本中刪除。更新說明：請勿調用 graph_parents 。
is_non_singular
is_positive_definite
is_self_adjoint
is_square 返回 True/False 取決於此運算符是否為正方形。
parameters 用於實例化此 LinearOperator 的參數字典。
range_dimension 此運算符範圍的維度(在向量空間的意義上)。
如果此運算符的作用類似於帶有 A.shape = [B1,...,Bb, M, N] 的批處理矩陣 A ，則返回 M 。
reflection_axis
shape TensorShape這個的LinearOperator.
如果此運算符的作用類似於帶有 A.shape = [B1,...,Bb, M, N] 的批處理矩陣 A ，則返回 TensorShape([B1,...,Bb, M, N]) ，等效於 A.shape 。
tensor_rank 與此運算符對應的矩陣的秩(在張量的意義上)。
如果此運算符的作用類似於帶有 A.shape = [B1,...,Bb, M, N] 的批處理矩陣 A ，則返回 b + 2 。

對於某些 b >= 0，該運算符的作用類似於形狀為 [B1,...,Bb, N, N] 的 [batch] 家庭反射。第一個 b 索引索引批處理成員。對於每個批次索引 (i1,...,ib) , A[i1,...,ib,::] 是一個 N x N 矩陣。這個矩陣A 沒有具體化，但是為了廣播這個形狀是相關的。

LinearOperatorHouseholder 使用(批量)向量進行初始化。

Householder 反射，通過向量 v 定義，它反射 R^n 中關於與 v 正交的超平麵並穿過原點的點。

# Create a 2 x 2 householder transform.
vec = [1 / np.sqrt(2), 1. / np.sqrt(2)]
operator = LinearOperatorHouseholder(vec)

operator.to_dense()
==> [[0.,  -1.]
     [-1., -0.]]

operator.shape
==> [2, 2]

operator.log_abs_determinant()
==> scalar Tensor

x = ... Shape [2, 4] Tensor
operator.matmul(x)
==> Shape [2, 4] Tensor

形狀兼容性

該運算符作用於具有兼容形狀的 [batch] 矩陣。 x 是與 matmul 和 solve 的形狀兼容的批處理矩陣，如果

operator.shape = [B1,...,Bb] + [N, N],  with b >= 0
x.shape =   [C1,...,Cc] + [N, R],
and [C1,...,Cc] broadcasts with [B1,...,Bb] to [D1,...,Dd]

矩陣屬性提示

此 LinearOperator 使用 is_X 形式的布爾標誌初始化，用於 X = non_singular, self_adjoint, positive_definite, square 。它們具有以下含義：

如果 is_X == True ，調用者應該期望操作符具有屬性 X 。這是一個應該實現的承諾，但不是運行時斷言。例如，有限的浮點精度可能會導致違反這些承諾。
如果 is_X == False ，調用者應該期望操作符沒有 X 。
如果is_X == None(默認)，調用者應該沒有任何期望。

相關用法

注：本文由純淨天空篩選整理自tensorflow.org大神的英文原創作品 tf.linalg.LinearOperatorHouseholder。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。