01Veriyi değil, güncellemeyi gönder#
Telefonlardaki yazı alışkanlığı gibi verilerle bir model eğitmek istediğini düşün. Bu verileri bir veri merkezinde toplamak hem gizlilik hem iletişim açısından sorunludur. McMahan ve arkadaşlarının federe öğrenme önerisinde veri cihazlarda kalır; her cihaz modeli yerelde biraz eğitir; sunucuya yalnızca güncellemeler gider ve sunucu bunları birleştirerek ortak modeli günceller. En yaygın birleştirme yöntemi iteratif model ortalamasıdır (FedAvg). Yazarlar, yöntemin dengesiz ve bağımsız-aynı dağılımlı olmayan (non-IID) verilerle de çalıştığını; eşzamanlı SGD’ye göre gereken iletişim turlarını 10–100 kat azalttığını bildirdi. McMahan ve diğerleri, AISTATS 2017 ↗
02Her tur, ne kadar yerelde adım atmalı?#
İletişim pahalı olduğundan, cihazların turda çok sayıda yerel adım atması cazip gelir. Ama her cihaz yalnızca kendi verisini görür; çok adım atarsa kendi verisine fazla uyar. Bu etkiye istemci sapması denir.
Aşağıdaki deneyde üç cihaz, aynı gerçek fonksiyonu (y = x²) farklı x aralıklarında görür: A cihazı 0–1, B cihazı 1–2, C cihazı 2–3. Ortak model düz bir çizgidir (bilerek yetersiz); en iyi doğru, üç cihazın tüm verisine birlikte uydurulan merkezi çözümdür (hatası yaklaşık 0,449). Turda yerel adım sayısını ve tur sayısını değiştir.
Veri cihazda kalır, güncelleme gelir
Yerel adım sayısını artır: iletişim azalır ama ne oluyor? Merkezi eğitimin (tüm veri tek yerde) en iyi çözümüyle karşılaştır.
Turda tek yerel adımla FedAvg, merkezi eğitime çok yakın davranıyor: ama her adımda iletişim gerekiyor.
Ham verinin cihazda kalması tek başına gizliliği garanti etmez: gönderilen güncellemeler de bilgi taşıyabilir.
Sonuçlar (bu kurulumda, 10 / 100 / 200 tur sonunda ortak modelin tüm veriye hatası):
| Turda yerel adım | 10 tur | 100 tur | 200 tur |
|---|---|---|---|
| 1 | 2,24 | 0,75 | 0,51 |
| 5 | 1,31 | 0,46 | 0,46 |
| 20 | 1,02 | 0,51 | 0,51 |
| 100 | 0,78 | 0,64 | 0,64 |
Ne görüyoruz? Yerel adım arttıkça ilk turlarda ilerleme hızlanıyor (10 turda hata 2,24’ten 0,78’e iniyor). Ama uzun vadede, çok yerel adım, merkezi çözümden uzakta bir noktaya yerleşiyor: 100 yerel adımla hata 0,64’te kalıyor; 5 adım merkezi çözüme (0,449) çok yakın. Yani en az iletişimle en iyi sonuç arasında bir denge noktası var ve bu nokta veriye ve modele göre değişir.
Bunlar, bu oyuncak kurulumun sayılarıdır. Cihaz verisinin ne kadar farklı olduğuna ve modelin ne kadar yetersiz olduğuna bağlıdır; “5 adım en iyidir” gibi bir sonuç çıkarılamaz.
03Veri cihazda kalır; ama bu tek başına gizlilik değildir#
Federe öğrenmede ham veri cihazdan çıkmaz; bu önemli bir adımdır, ama gizliliğin garantisi değildir: gönderilen güncellemeler de verinin izlerini taşıyabilir. Güçlü bir güvence için federe öğrenme genellikle ek mekanizmalarla (güvenli toplama, gürültü eklemek) birleştirilir. Bunların en kuramsal olanı bir sonraki notun konusu: diferansiyel mahremiyet.
Bu yazıyı bitirdiğinde:
- Federe öğrenmenin veriyi değil güncellemeyi gönderdiğini anlatabilirsin.
- Çok yerel adımın bedelini ve federe öğrenmenin tek başına gizlilik olmadığını açıklayabilirsin.
Cümlelerden birini kendi sözlerinle anlatamıyorsan, ilgili bölüme dön ve demoyu yeniden dene.
Diferansiyel mahremiyet: bir kişiyi saklayan gürültü
İleri · 8 dk okuma