Try   HackMD

Sigmoid 推導至 Softmax

Latex 數學式: https://hackmd.io/@sysprog/B1RwlM85Z
Hackmd 各種嵌入語法: https://hackmd.io/s/features-tw

  • 假設
    • 令 Classes 數量: C
  • Softmax:
    • 說明: 將C個實數轉換成 Multi-classes 的機率分佈,可由Sigmoid推廣而成
    • 功能1: 輸入 C 個數值,輸出分數總和為 1 (即機率)
    • 功能2: exp() 可以使數值差距加大
    • 數學式: 機率 = Softmax( C 個數值 )
      • σ(x)j=exji=1Cexiwhere j=1,...,C.
    • 條件機率意義: 樣本向量 x 屬於第 j 個分類的機率
      • P(y=j|x)=exji=1Cexiwhere j=1,...,C.
  • Sigmoid:
    • 本身功能1: 將實數轉換成 [0,1] 之間的實數
    • 本身功能2: exp(x) 可以使數值差距加大,並使x趨近零的時候,Sigmoid(x)的斜率增大
    • 本身功能3: 本身是連續型函數,可以微分
    • 說明: 將2個實數轉換成 Binary-classes 的機率分佈
    • 功能1: 輸入 2 個數值,輸出分數總和為 1 (即機率)
    • 功能2: exp() 可以使數值差距加大
      • 數學式: 機率 = Sigmoid( x )
        • σ(x)=11+ex
      • 理論上 Binary classes 轉換應為:
        • σ(x)j=P(y=j|x=a)=11+e(ab)where j=a,b
  • Sigmoid推導
    • 核心想法1: 設計一個類似階層函數的連續型邏輯函數,(類似電波學的脈衝信號),推測性質有:
      1. 將線性函數轉變成非線性
      2. 疊加多個脈衝信號,(傅立葉的概念),理論上可以產生各種函數變化
      3. 限制數值在 [0,1],並明確描述信號的有與無
    • 核心想法2: 輸出 [0,1] 之間,可以視為一種機率分布
    • 核心想法3: 可以計算兩個輸入數值之間的比率 (Ratio),並 Ratio 總和為 1,象徵其機率關係
    • 推導自: 兩輸入數值 a,b 之比率關係 (a 在 a,b 兩者總和之中所佔有的量),
      a:b=>R=aa+b
    • Claim:
      σ(x)=11+ex
    • 將原式的變數先取標準指數 exp(.),則兩變數仍存在一個比率關係,只是
      ea
      ,
      eb
      兩者的比例較 a:b 更加懸殊。
      PS. exp(.) 是微分等於自己
      [ex]=ex
      ,負數趨近0且斜率逐漸平緩、正數趨近無窮且斜率逐漸陡峭。
      • eaea+eb
    • 分數的性質是上下可同時提出一個公因數使之化簡,將此推廣,我們可以上下同除
      eb
      (對此Ratio用
      eb
      做標準化__Normalize with
      eb
      )
      • eaebea+ebeb=eaebeaeb+ebeb=eabeab+e0=eabeab+1
    • 令 x = a-b
      • σ(x)=exex+1
      • 這就是 sigmoid 的第一種型態
    • 但這作為函數不好看,可以再簡化,用上一步的方法,Ratio再用
      ex
      做標準化 (Normalize with
      ex
      )
      • σ(x)=11+ex
      • 這就是最常見的 sigmoid 的第二種型態
  • Sigmoid 的意義
    • 解釋 Sigmoid 的意義要從第一型態來說明,先將
      ex
      視為一個正實數 N,則函數意義就是「給出 N 與 1 之間的比率」
    • 則應用到深度學習就會有些奇怪,Sigmoid 是 Binary Classifier (Logistic Regression) 的輸出,既然是二元分類,則兩相比較的變數應該是
      ea
      eb
      ,若要使用
      σ(x)=exex+1
      ,則應輸入 x = a-b,先進行標準化轉換,如此一來
      σ(x)
      的輸出才會是二元機率分布。
    • 但實際上,也許不必特地做這件事情,由於神經網路其實就是線性轉換,我們可以期待神經網路透過梯度下降可以學會將權重值包含做正規化這件事情,畢竟只要讓輸入值減去一個 bias,這應該並非難事,或是可以嘗試直接設 bias 就是 -b (?)
  • 推廣至 Softmax
    • 由 Sigmoid 推導過程可知,binary condition probility 應寫成:
      • P(y|x)=σ(x)=exea+ebwhere x={a,b}, y={1,belong to class 10,belong to class 2
      • exea+eb
        可以改寫成
        exji=12exiwhere xj={a,b}, x1=a, x2=b
      • 當分類不止兩類,而是 C 類,便得到 Softmax 函數:
        • σ(x)j=exji=1Cexiwhere j=1,...,C.

補充

  • Softmax with predicted-label smoothing (控制Softmax標籤平滑化程度)

    • 公式:
      • σ(x)j=e(xj/τ)i=1Ce(xi/τ)where j=1,...,C.
        τ
        is called a temperature parameter (溫度參數) and
        >τ>0
    • τ
      越大,則所有類別的輸入值都會變得越趨近 0,反應在標準指數的輸出就會越趨近 1,最後所有類別的 Softmax 輸出都會接近等分
    • 在 Reinforcement learning 稱為 Action probabilities function
    • 在 Knowledge distillation 為產生 Soft-label 的方法 (可解釋為蒸餾?)
    • 速記法:可以聯想成溫度越高,(假設時間蒸餾時間一致),則原液中的酒精就蒸散越快,最後每一瓶原本濃度不同的原液都會趨近相同。溫度越低則原液異質性越高,溫度越低異質性越低
  • Logit Function (羅吉特函數)

    • Logit Function 並不是指 Logistic Regression!!!

    • Logit Function 就是 Sigmoid Function 的反函數 (Inverse)

    • 公式:

      • logit(p)=σ1(p)=ln(p1p)=ln(p)ln(1p)=ln(1pp)for p[0,1]
    • 這個名稱常常出現在 Tensorflow 的 Loss Function中,例如:

      • from_logits
      ​​​​​​​​tf.keras.losses.CategoricalCrossentropy( ​​​​​​​​ from_logits=False, label_smoothing=0.0, axis=-1, ​​​​​​​​ reduction=losses_utils.ReductionV2.AUTO, ​​​​​​​​ name='categorical_crossentropy' ​​​​​​​​)
      • logits
      ​​​​​​​​tf.nn.sigmoid_cross_entropy_with_logits( ​​​​​​​​ labels=None, logits=None, name=None ​​​​​​​​)
    • 官方解釋:

      • Per-label activations, typically a linear output. These activation energies are interpreted as unnormalized log probabilities.
    • 其實 Tensorflow 的意思就是將尚未套用 Sigmoid 系列 Activation 的 Tensor,都稱其為 Logits tensor。例如:

      ​​​​​​​​out = tf.keras.layers.Dense(n_units) # <-- linear activation function
    • 當 CategoricalCrossentropy 設定 from_logits=True,函式會幫你把輸入 Tensor 補通過一個 Softmax Function,使 Tensor 轉成機率。當然預設為 False,表示預期你輸入的 Tensor 已經是 probability distribution。(相關連結)

    • 由下圖可知 logit 就是 sigmoid 反函數,即未套用 sigmoid 的輸入值。

  • CrossEntropy

    • CrossEntropy 的直觀解釋: 通訊傳輸上,
      p(x)
      是壓縮前 (或送出前) 的訊號,
      q(x)
      是解壓縮後 (接收後) 的訊號,CrossEntropy 就是計算兩者的一致程度。
      Image Not Showing Possible Reasons
      • The image file may be corrupted
      • The server hosting the image is unavailable
      • The image path is incorrect
      • The image format is not supported
      Learn More →
    • Binary cross entropy loss function
      • 最簡單來看就是 2 元分類的情況
        Image Not Showing Possible Reasons
        • The image file may be corrupted
        • The server hosting the image is unavailable
        • The image path is incorrect
        • The image format is not supported
        Learn More →
      • n 是第 n 筆資料 (n = 1 ~ N)
      • 假設 C 是類別維度,目前 C = 2,可以發現其實當 label 是類別型 (又稱硬標籤 hard labeling),則 cross entropy 稱為 category cross entropy,錯的類別維度 ground truth 都是 0,可以直接忽略其差異度,最後 category cross entropy 加總這 C 類的差異程度其實相當於 只計算正確的那個類別的 loss,相當快速,但這表是模型只會讓要輸出正確類別的 neuron 有正確的 gradient 方向,而其他 neurons 不一定會更新到 或 更新錯誤 (?),其他類別就得靠其他種類的 data 來更新。
      • 若是標籤是呈現機率,又稱軟標籤 (soft labeling),則為 sparse cross entropy,這就會更新到其他的輸出,希望 neurons 接近軟標籤各維度的值。
    • 多類別算法
tags: sigmoid softmax logits temperature soft-label softmax推導 CrossEntropy entropy