मशीन लर्निंग का गणना
Type: Learn
Language:पायथन
Prerequisites: Phase 1, Lessons 01-03
Time: ~60 minutes
सीखने के लक्ष्य
- सामान्य ML फ़ंक्शन के लिए संख्यात्मक और विश्लेषणात्मक व्युत्पन्न गणना करें (x^2, सिग्मोइड, क्रॉस-एंट्रोपी)
- 1D और 2D में हानि फ़ंक्शन को कम करने के लिए खरोंच से ग्रेडिएंट गिरावट लागू करें
- रैखिक प्रतिगमन मॉडल का ग्रेडिएंट निकालें और इसे मैनुअल वजन अद्यतन के माध्यम से प्रशिक्षित करें
- हेसन मैट्रिक्स, टेलर श्रृंखला अनुमानों और अनुकूलन विधियों से उनका संबंध समझाएं
समस्या
आपके पास एक तंत्रिका नेटवर्क है जिसमें लाखों वजन हैं. प्रत्येक वजन एक बटन है. आपको यह पता लगाने की आवश्यकता है कि प्रत्येक बटन को किस दिशा में मोड़ना है ताकि मॉडल थोड़ा कम गलत हो सके। गणना आपको उस दिशा को देती है।
गणना के बिना, एक तंत्रिका नेटवर्क को प्रशिक्षित करने का मतलब है यादृच्छिक परिवर्तनों की कोशिश करना और सबसे अच्छा उम्मीद करना। व्युत्पन्न के साथ, आप जानते हैं कि प्रत्येक वजन त्रुटि को कैसे प्रभावित करता है। आप हर बार हर बटन को सही दिशा में मोड़ते हैं।
अवधारणा
व्युत्पन्न क्या है?
एक व्युत्पन्न परिवर्तन की दर को मापता है. एक फ़ंक्शन y = f(x के लिए, व्युत्पन्न f'(x) आपको बताता हैः यदि आप x को एक छोटी राशि से धक्का देते हैं, तो y कितना बदलता है?
ज्यामितीय रूप से, व्युत्पन्न एक बिंदु पर स्पर्श रेखा का ढलान है।
f(x) = x^2:
| x | f(x) | f'(x) (slope) |
|---|---|---|
| 0 | 0 | 0 (flat, at the bottom) |
| 1 | 1 | 2 |
| 2 | 4 | 4 (tangent line slope at this point) |
| 3 | 9 | 6 |
x=2 पर, ढलान 4 है. अगर आप x को थोड़ा सा दाईं ओर ले जाते हैं, तो y उस राशि से लगभग 4 गुना बढ़ जाता है. x=0 पर ढलान 0 है. आप कटोरे के निचले भाग में हैं.
औपचारिक परिभाषाः
f'(x) = lim f(x + h) - f(x)
h->0 -----------------
hकोड में, आप सीमा को छोड़ दें और बस एक बहुत ही छोटे h का उपयोग करें. यह संख्यात्मक व्युत्पन्न है.
आंशिक व्युत्पन्नः एक समय में एक चर
वास्तविक कार्यों में कई इनपुट होते हैं। एक तंत्रिका नेटवर्क हानि हजारों वजन पर निर्भर करती है। एक आंशिक व्युत्पन्न एक को छोड़कर सभी चर को स्थिर रखता है, फिर उस एक के संबंध में व्युत्पन्न लेता है।
f(x, y) = x^2 + 3xy + y^2
df/dx = 2x + 3y (treat y as a constant)
df/dy = 3x + 2y (treat x as a constant)प्रत्येक आंशिक व्युत्पन्न उत्तर देता हैः यदि मैं केवल इस एक वजन को धक्का देता हूं, तो नुकसान कैसे बदलता है?
ग्रेडिएंटः सभी आंशिक व्युत्पन्नों का वेक्टर
ग्रेडिएंट प्रत्येक आंशिक व्युत्पन्न को एक वेक्टर में एकत्र करता है। f ((x, y, z) फ़ंक्शन के लिए ग्रेडिएंट हैः
grad f = [ df/dx, df/dy, df/dz ]एक कार्य को कम करने के लिए, विपरीत दिशा में जाएं।
Contour plot of f(x,y) = x^2 + y^2:
फ़ंक्शन एक कटोरी के आकार को बनाती है जिसमें समोच्च रेखाओं के रूप में एकाग्र वृत्त होते हैं। न्यूनतम (0, 0) है।
| Point | grad f | -grad f (descent direction) |
|---|---|---|
| (1, 1) | [2, 2] (points uphill, away from minimum) | [-2, -2] (points downhill, toward minimum) |
| (0, 0) | [0, 0] (flat, at the minimum) | [0, 0] |
यह एक चित्र में ग्रेडिएंट गिरावट है. ग्रेडिएंट की गणना करें, इसे नकारें, एक कदम उठाएं.
अनुकूलन से संबंध
एक तंत्रिका नेटवर्क को प्रशिक्षित करना अनुकूलन है. आपके पास एक हानि फ़ंक्शन L ((w1, w2, ..., wn) है जो मापता है कि मॉडल कितना गलत है. आप इसे कम करना चाहते हैं।
Gradient descent update rule:
w_new = w_old - learning_rate * dL/dw
For every weight:
1. Compute the partial derivative of loss with respect to that weight
2. Subtract a small multiple of it from the weight
3. Repeatसीखने की दर कदम के आकार को नियंत्रित करती है बहुत बड़ा और आप ओवरस्केप. बहुत छोटा और आप क्रॉल.
Loss landscape (1D slice):
हानि फ़ंक्शन L ((w) एक वक्र के साथ शिखर और घाटियों के साथ बनाता है क्योंकि वजन w भिन्न होता है।
| Feature | Description |
|---|---|
| Global minimum | The lowest point on the entire curve -- the best solution |
| Local minimum | A valley that is lower than its neighbors but not the lowest overall |
| Slope | Gradient descent follows the slope downhill from any starting point |
ग्रेडिएंट डाउनहिल की ओर ढलान का अनुसरण करता है। यह स्थानीय न्यूनतम में फंस सकता है, लेकिन उच्च आयामी स्थानों (मिलियंस वजन) में यह शायद ही कभी एक व्यावहारिक समस्या है।
संख्यात्मक बनाम विश्लेषणात्मक व्युत्पन्न
व्युत्पन्न की गणना करने के दो तरीके हैं।
विश्लेषणात्मकः गणना के नियमों को हाथ से लागू करें। f'(x) = x^2 के लिए, व्युत्पन्न f'(x) = 2x है। सटीक। तेजी से।
संख्यात्मकः परिभाषा का उपयोग करके अनुमानित करें। एक छोटे से h के लिए f ((x+h) और f ((x-h) की गणना करें, फिर अंतर का उपयोग करें।
Numerical (central difference):
f'(x) ~= f(x + h) - f(x - h)
-----------------------
2h
h = 0.0001 works well in practiceसंख्यात्मक व्युत्पन्न धीमी होती है लेकिन किसी भी कार्य के लिए काम करती है। विश्लेषणात्मक व्युत्पन्न तेज़ होते हैं लेकिन आपको सूत्र प्राप्त करने की आवश्यकता होती है। तंत्रिका नेटवर्क फ्रेमवर्क एक तीसरा दृष्टिकोण का उपयोग करते हैंः स्वचालित विभेदन, जो सटीक व्युत्पन्नों की मैकेनिकल रूप से गणना करता है। आप चरण 3 में देखेंगे।
सरल कार्यों के लिए हाथ से व्युत्पन्न
ये व्युत्पन्न हैं जो आप एमएल में बार-बार देखेंगे।
Function Derivative Used in
-------- ---------- -------
f(x) = x^2 f'(x) = 2x Loss functions (MSE)
f(x) = wx + b f'(w) = x Linear layer (gradient w.r.t. weight)
f'(b) = 1 Linear layer (gradient w.r.t. bias)
f'(x) = w Linear layer (gradient w.r.t. input)
f(x) = e^x f'(x) = e^x Softmax, attention
f(x) = ln(x) f'(x) = 1/x Cross-entropy loss
f(x) = 1/(1+e^-x) f'(x) = f(x)(1-f(x)) Sigmoid activationf ((x) = x^2: के लिए
f(x) = x^2 f'(x) = 2x
x f(x) f'(x) meaning
-2 4 -4 slope tilts left (decreasing)
-1 1 -2 slope tilts left (decreasing)
0 0 0 flat (minimum!)
1 1 2 slope tilts right (increasing)
2 4 4 slope tilts right (increasing)f(w) = wx + b के लिए x=3, b=1:
f(w) = 3w + 1 f'(w) = 3
The derivative with respect to w is just x.
If x is big, a small change in w causes a big change in output.श्रृंखला नियम
जब फ़ंक्शन गठित होते हैं, तो चेन नियम आपको बताता है कि कैसे अंतर करना है।
If y = f(g(x)), then dy/dx = f'(g(x)) * g'(x)
Example: y = (3x + 1)^2
outer: f(u) = u^2 f'(u) = 2u
inner: g(x) = 3x + 1 g'(x) = 3
dy/dx = 2(3x + 1) * 3 = 6(3x + 1)तंत्रिका नेटवर्क कार्यों की श्रृंखलाएं हैंः इनपुट -> रैखिक -> सक्रियण -> रैखिक -> सक्रियण -> हानि। बैकप्रॉपेगेशन आउटपुट से इनपुट तक बार-बार लागू श्रृंखला नियम है। यही संपूर्ण एल्गोरिथ्म है।
हेसियन मैट्रिक्स
ग्रेडिएंट आपको ढलान बताता है. हेसियन आपको वक्रता बताता है.
हेसियन द्वितीय क्रम के आंशिक व्युत्पन्नों का मैट्रिक्स है। फंक्शन f ((x1, x2, ..., xn) के लिए हेसियन का प्रविष्टि (i, j) हैः
H[i][j] = d^2f / (dx_i * dx_j)2-variable function f ((x, y) के लिएः
H = | d^2f/dx^2 d^2f/dxdy |
| d^2f/dydx d^2f/dy^2 |What the Hessian tells you at a critical point (where gradient = 0):
| Hessian property | Meaning | Example surface |
|---|---|---|
| Positive definite (all eigenvalues > 0) | Local minimum | Bowl pointing up |
| Negative definite (all eigenvalues < 0) | Local maximum | Bowl pointing down |
| Indefinite (mixed eigenvalues) | Saddle point | Horse saddle shape |
Example:f(x, y) = x^2 - y^2 (सैडल फ़ंक्शन)
df/dx = 2x df/dy = -2y
d^2f/dx^2 = 2 d^2f/dy^2 = -2 d^2f/dxdy = 0
H = | 2 0 |
| 0 -2 |
Eigenvalues: 2 and -2 (one positive, one negative)
--> Saddle point at (0, 0)f ((x, y) = x^2 + y^2 (एक कटोरा) के साथ तुलना करेंः
H = | 2 0 |
| 0 2 |
Eigenvalues: 2 and 2 (both positive)
--> Local minimum at (0, 0)Why the Hessian matters in ML:
न्यूटन की विधि ग्रेडिएंट अवतरण की तुलना में बेहतर अनुकूलन चरणों को लेने के लिए हेसनियन का उपयोग करती है। यह केवल ढलान का पालन करने के बजाय, वक्रता को ध्यान में रखता हैः
Newton's update: w_new = w_old - H^(-1) * gradient
Gradient descent: w_new = w_old - lr * gradientन्यूटन की विधि तेजी से अभिसरण करती है क्योंकि हेसियन "पुनः पैमाने" ग्रेडिएंट - तीखी दिशाओं में छोटे कदम होते हैं, सपाट दिशाओं में बड़े कदम होते हैं।
एक नेवल नेटवर्क के लिए N पैरामीटर के साथ, Hessian N x N है. 1 मिलियन पैरामीटर के साथ एक मॉडल 1 ट्रिलियन प्रविष्टि मैट्रिक्स की आवश्यकता होगी. यही कारण है कि हम अनुमान का उपयोग करते हैं.
| Method | What it uses | Cost | Convergence |
|---|---|---|---|
| Gradient descent | First derivatives only | O(N) per step | Slow (linear) |
| Newton's method | Full Hessian | O(N^3) per step | Fast (quadratic) |
| L-BFGS | Approximate Hessian from gradient history | O(N) per step | Medium (superlinear) |
| Adam | Per-parameter adaptive rates (diagonal Hessian approx) | O(N) per step | Medium |
| Natural gradient | Fisher information matrix (statistical Hessian) | O(N^2) per step | Fast |
अभ्यास में, एडम गहन सीखने के लिए डिफ़ॉल्ट अनुकूलक है। यह प्रति पैरामीटर ग्रेडिएंट के चल रहे औसत और भिन्नता को ट्रैक करके सस्ते में दूसरी श्रेणी की जानकारी का अनुमान लगाता है।
टेलर श्रृंखला अनुमान
किसी भी चिकनी फ़ंक्शन को स्थानीय रूप से बहुपद द्वारा अनुमानित किया जा सकता हैः
f(x + h) = f(x) + f'(x)*h + (1/2)*f''(x)*h^2 + (1/6)*f'''(x)*h^3 + ...आप अधिक शब्द शामिल, बेहतर अनुमान है - लेकिन केवल बिंदु x के पास.
Why Taylor series matter for ML:
- First-order Taylor = gradient descent.जब आप f(x + h) ~ f(x) + f'(x) h का उपयोग करते हैं, तो आप एक रैखिक अनुमान बना रहे हैं। ग्रेडिएंट अवतरण इस रैखिक मॉडल को कम से कम करने के लिए h = -lr f'(x चुनता है।
- Second-order Taylor = Newton's method.f(x + h) ~ f(x) + f'(x) h + (1/2) f'(x) *h^2 का उपयोग करके, आपको एक वर्ग मॉडल मिलता है। इसे न्यूनतम करने से h = -f'(x) / f'(x) - न्यूटन का कदम मिलता है।
- Loss function design.एमएसई और क्रॉस-एंट्रोपी चिकनी हैं, जिसका अर्थ है कि उनके टेलर विस्तार अच्छी तरह से व्यवहार किया जाता है। यह कोई दुर्घटना नहीं है। चिकनी नुकसान अनुकूलन पूर्वानुमान योग्य बनाते हैं।
Approximation order What it captures Optimization method
------------------- ----------------- -------------------
0th order (constant) Just the value Random search
1st order (linear) Slope Gradient descent
2nd order (quadratic) Curvature Newton's method
Higher orders Finer structure Rarely used in MLमुख्य अंतर्दृष्टिः सभी ग्रेडिएंट आधारित अनुकूलन वास्तव में स्थानीय रूप से हानि समारोह के करीब आने और उस अनुमान के न्यूनतम पर कदम उठाने के बारे में है।
एमएल में इंटीग्रल
व्युत्पन्न आपको परिवर्तन की दर बताता है. पूर्णांक एक वक्र के नीचे क्षेत्र के साथ संचय की गणना करते हैं.
एमएल में, आप शायद ही कभी हाथ से इंटीग्रल गणना, लेकिन अवधारणा हर जगह हैः
Probability.घनत्व p ((x) के साथ निरंतर यादृच्छिक चर के लिएः
P(a < X < b) = integral from a to b of p(x) dxa और b के बीच संभावना घनत्व वक्र के अंतर्गत क्षेत्र उस सीमा में उतरने की संभावना है।
Expected value.संभावनाओं द्वारा भारित औसत परिणामः
E[f(X)] = integral of f(x) * p(x) dxडेटा वितरण पर अपेक्षित हानि एक अभिन्न है। प्रशिक्षण इसका अनुभवजन्य अनुमान कम करता है।
KL divergence.दो वितरणों की भिन्नता को मापता हैः
KL(p || q) = integral of p(x) * log(p(x) / q(x)) dxVAEs, ज्ञान डिस्टिलिशन और बेयसियन इन्फेरेंस में प्रयोग किया जाता है।
Normalization constants.बेयसियन निष्कर्ष मेंः
p(w | data) = p(data | w) * p(w) / integral of p(data | w) * p(w) dwनामक सभी संभावित पैरामीटर मानों पर एक अभिन्न है। यह अक्सर अपूरणीय होता है, यही कारण है कि हम MCMC और भिन्नता निष्कर्ष जैसे अनुमानों का उपयोग करते हैं।
| Integral concept | Where it appears in ML |
|---|---|
| Area under curve | Probability from density functions |
| Expected value | Loss functions, risk minimization |
| KL divergence | VAEs, policy optimization, distillation |
| Normalization | Bayesian posteriors, softmax denominator |
| Marginal likelihood | Model comparison, evidence lower bound (ELBO) |
गणना ग्राफ में बहुवयाब श्रृंखला नियम
श्रृंखला नियम केवल एक रेखा में स्केलर कार्यों पर लागू नहीं होता है। एक तंत्रिका नेटवर्क में, चर फैले और मिलते हैं। यहां बताया गया है कि कैसे व्युत्पन्न एक साधारण आगे के पास से बहते हैंः
graph LR
x["x (input)"] -->|"*w"| z1["z1 = w*x"]
z1 -->|"+b"| z2["z2 = w*x + b"]
z2 -->|"sigmoid"| a["a = sigmoid(z2)"]
a -->|"loss fn"| L["L = -(y*log(a) + (1-y)*log(1-a))"]पीछे की ओर जाने से दाएं से बाएं तक ग्रेडिएंट की गणना होती हैः
graph RL
dL["dL/dL = 1"] -->|"dL/da"| da["dL/da = -y/a + (1-y)/(1-a)"]
da -->|"da/dz2 = a(1-a)"| dz2["dL/dz2 = dL/da * a(1-a)"]
dz2 -->|"dz2/dw = x"| dw["dL/dw = dL/dz2 * x"]
dz2 -->|"dz2/db = 1"| db["dL/db = dL/dz2 * 1"]प्रत्येक तीर स्थानीय व्युत्पन्न से गुणा होता है। किसी भी पैरामीटर के लिए ग्रेडिएंट हानि से उस पैरामीटर तक के रास्ते के साथ सभी स्थानीय व्युत्पन्नों का उत्पाद है। जब पथ शाखा और विलय करते हैं, तो आप योगदानों का योग बनाते हैं (बहुवयांतर श्रृंखला नियम) ।
यह सब बैकप्रॉपेगेशन हैः आउटपुट से इनपुट तक एक गणना ग्राफ के माध्यम से व्यवस्थित रूप से लागू श्रृंखला नियम।
जैकोबियन मैट्रिक्स
जब कोई फ़ंक्शन किसी वेक्टर को वेक्टर (जैसे कि तंत्रिका नेटवर्क परत) में मानचित्रित करता है, तो उसका व्युत्पन्न एक मैट्रिक्स होता है। जैकोबियन में प्रत्येक इनपुट के संबंध में प्रत्येक आउटपुट का प्रत्येक आंशिक व्युत्पन्न होता है।
f: R^n -> R^m के लिए, जैकोबियन J एक m x n मैट्रिक्स हैः
| x1 | x2 | ... | xn | |
|---|---|---|---|---|
| f1 | df1/dx1 | df1/dx2 | ... | df1/dxn |
| f2 | df2/dx1 | df2/dx2 | ... | df2/dxn |
| ... | ... | ... | ... | ... |
| fm | dfm/dx1 | dfm/dx2 | ... | dfm/dxn |
आप तंत्रिका नेटवर्क के लिए हाथ से जैकोबियन की गणना नहीं करेंगे। PyTorch इसे संभालता है। लेकिन यह जानना कि यह मौजूद है आपको बैकप्रॉपेगरेशन में आकारों को समझने में मदद करता हैः यदि एक परत R^n से R^m तक मैप करता है, तो इसका जैकोबियन m x n है। ग्रेडिएंट इस मैट्रिक्स के ट्रांसपोस के माध्यम से पीछे की ओर बहता है।
न्यूरल नेटवर्क के लिए यह महत्वपूर्ण क्यों है
न्यूरल नेटवर्क में हर वजन का एक ग्रेडिएंट होता है. ग्रेडिएंट आपको बताता है कि नुकसान को कम करने के लिए उस वजन को कैसे समायोजित किया जाए।
graph LR
subgraph Forward["Forward Pass"]
I["input"] --> W1["W1"] --> R["relu"] --> W2["W2"] --> S["softmax"] --> L["loss"]
endgraph RL
subgraph Backward["Backward Pass"]
dL["dL/dloss"] --> dW2["dL/dW2"] --> d2["..."] --> dW1["dL/dW1"]
endप्रत्येक वजन अद्यतनः
W1 = W1 - lr * dL/dW1W2 = W2 - lr * dL/dW2
आगे की ओर जाने से अनुमान और नुकसान की गणना होती है, पीछे की ओर जाने से हर वजन के संबंध में नुकसान की गति की गणना होती है, फिर हर वजन एक छोटा कदम नीचे की ओर ले जाता है, लाखों कदम दोहराएं, यह गहरी शिक्षा है।
इसे बनाओ
चरण 1: खरोंच से संख्यात्मक व्युत्पन्न
pythondef numerical_derivative(f, x, h=1e-7):
return (f(x + h) - f(x - h)) / (2 * h)
def f(x):
return x ** 2
for x in [-2, -1, 0, 1, 2]:
numerical = numerical_derivative(f, x)
analytical = 2 * x
print(f"x={x:2d} f'(x) numerical={numerical:.6f} analytical={analytical:.1f}")संख्यात्मक व्युत्पन्न विश्लेषणात्मक एक से कई दशमलव स्थानों से मेल खाता है।
चरण 2: आंशिक व्युत्पन्न और ग्रेडिएंट
pythondef numerical_gradient(f, point, h=1e-7):
gradient = []
for i in range(len(point)):
point_plus = list(point)
point_minus = list(point)
point_plus[i] += h
point_minus[i] -= h
partial = (f(point_plus) - f(point_minus)) / (2 * h)
gradient.append(partial)
return gradient
def f_multi(point):
x, y = point
return x**2 + 3*x*y + y**2
grad = numerical_gradient(f_multi, [1.0, 2.0])
print(f"Numerical gradient at (1,2): {[f'{g:.4f}' for g in grad]}")
print(f"Analytical gradient at (1,2): [2*1+3*2, 3*1+2*2] = [{2*1+3*2}, {3*1+2*2}]")चरण 3: न्यूनतम f ((x) = x^2 को खोजने के लिए ग्रेडिएंट अवतरण
pythonx = 5.0
lr = 0.1
for step in range(20):
grad = 2 * x
x = x - lr * grad
print(f"step {step:2d} x={x:8.4f} f(x)={x**2:10.6f}")x=5 से शुरू होकर, प्रत्येक कदम x=0 (न्यूनतम) के करीब जाता है।
चरण 4: 2D फ़ंक्शन पर ग्रेडिएंट गिरावट
pythondef f_2d(point):
x, y = point
return x**2 + y**2
point = [4.0, 3.0]
lr = 0.1
for step in range(30):
grad = numerical_gradient(f_2d, point)
point = [p - lr * g for p, g in zip(point, grad)]
loss = f_2d(point)
if step % 5 == 0 or step == 29:
print(f"step {step:2d} point=({point[0]:7.4f}, {point[1]:7.4f}) f={loss:.6f}")चरण 5: संख्यात्मक और विश्लेषणात्मक व्युत्पन्न की तुलना
pythonimport math
test_functions = [
("x^2", lambda x: x**2, lambda x: 2*x),
("x^3", lambda x: x**3, lambda x: 3*x**2),
("sin(x)", lambda x: math.sin(x), lambda x: math.cos(x)),
("e^x", lambda x: math.exp(x), lambda x: math.exp(x)),
("1/x", lambda x: 1/x, lambda x: -1/x**2),
]
x = 2.0
print(f"{'Function':<12} {'Numerical':>12} {'Analytical':>12} {'Error':>12}")
print("-" * 50)
for name, f, df in test_functions:
num = numerical_derivative(f, x)
ana = df(x)
err = abs(num - ana)
print(f"{name:<12} {num:12.6f} {ana:12.6f} {err:12.2e}")चरण 6: हेसियन संख्यात्मक रूप से गणना करना
pythondef hessian_2d(f, x, y, h=1e-5):
fxx = (f(x + h, y) - 2 * f(x, y) + f(x - h, y)) / (h ** 2)
fyy = (f(x, y + h) - 2 * f(x, y) + f(x, y - h)) / (h ** 2)
fxy = (f(x + h, y + h) - f(x + h, y - h) - f(x - h, y + h) + f(x - h, y - h)) / (4 * h ** 2)
return [[fxx, fxy], [fxy, fyy]]
def saddle(x, y):
return x ** 2 - y ** 2
def bowl(x, y):
return x ** 2 + y ** 2
H_saddle = hessian_2d(saddle, 0.0, 0.0)
H_bowl = hessian_2d(bowl, 0.0, 0.0)
print(f"Saddle Hessian: {H_saddle}") # [[2, 0], [0, -2]] -- mixed signs
print(f"Bowl Hessian: {H_bowl}") # [[2, 0], [0, 2]] -- both positiveसaddle फ़ंक्शन के Hessian के पास स्वयं के मान 2 और -2 (मिश्रित संकेत, सaddle point की पुष्टि करते हैं) हैं। कटोरे में स्वयं के मान 2 और 2 (दोनों सकारात्मक, न्यूनतम की पुष्टि करते हैं) हैं।
चरण 7: कार्रवाई में टेलर अनुमान
pythonimport math
def taylor_approx(f, f_prime, f_double_prime, x0, h, order=2):
result = f(x0)
if order >= 1:
result += f_prime(x0) * h
if order >= 2:
result += 0.5 * f_double_prime(x0) * h ** 2
return result
x0 = 0.0
for h in [0.1, 0.5, 1.0, 2.0]:
true_val = math.sin(h)
t1 = taylor_approx(math.sin, math.cos, lambda x: -math.sin(x), x0, h, order=1)
t2 = taylor_approx(math.sin, math.cos, lambda x: -math.sin(x), x0, h, order=2)
print(f"h={h:.1f} sin(h)={true_val:.4f} order1={t1:.4f} order2={t2:.4f}")x0=0 के पास, sin(x) ~ x (पहले क्रम के टेलर) । छोटे h के लिए अनुमान उत्कृष्ट है लेकिन बड़े h के लिए टूट जाता है। यही कारण है कि ग्रेडिएंट अवतरण छोटे सीखने की दरों के साथ सबसे अच्छा काम करता है - प्रत्येक चरण में लाइनर अनुमान सटीक है।
चरण 8: यह तंत्रिका नेटवर्क के लिए महत्वपूर्ण क्यों है
pythonimport random
random.seed(42)
w = random.gauss(0, 1)
b = random.gauss(0, 1)
lr = 0.01
xs = [1.0, 2.0, 3.0, 4.0, 5.0]
ys = [3.0, 5.0, 7.0, 9.0, 11.0]
for epoch in range(200):
total_loss = 0
dw = 0
db = 0
for x, y in zip(xs, ys):
pred = w * x + b
error = pred - y
total_loss += error ** 2
dw += 2 * error * x
db += 2 * error
dw /= len(xs)
db /= len(xs)
total_loss /= len(xs)
w -= lr * dw
b -= lr * db
if epoch % 40 == 0 or epoch == 199:
print(f"epoch {epoch:3d} w={w:.4f} b={b:.4f} loss={total_loss:.6f}")
print(f"\nLearned: y = {w:.2f}x + {b:.2f}")
print(f"Actual: y = 2x + 1")प्रत्येक ग्रेडिएंट आधारित प्रशिक्षण लूप इस पैटर्न का पालन करता हैः भविष्यवाणी, गणना हानि, गणना ग्रेडिएंट, अद्यतन वजन।
इसका प्रयोग करें
NumPy के साथ, एक ही संचालन तेजी से और अधिक संक्षिप्त हैंः
pythonimport numpy as np
x = np.array([1, 2, 3, 4, 5], dtype=float)
y = np.array([3, 5, 7, 9, 11], dtype=float)
w, b = np.random.randn(), np.random.randn()
lr = 0.01
for epoch in range(200):
pred = w * x + b
error = pred - y
loss = np.mean(error ** 2)
dw = np.mean(2 * error * x)
db = np.mean(2 * error)
w -= lr * dw
b -= lr * db
print(f"Learned: y = {w:.2f}x + {b:.2f}")आप सिर्फ खरोंच से ग्रेडिएंट गिरावट बनाया है। PyTorch ग्रेडिएंट गणना स्वचालित करता है, लेकिन अद्यतन लूप समान है.
व्यायाम
- कार्यान्वयन
numerical_second_derivative(f, x)उपयोग करनाnumerical_derivativex^3 के दूसरे व्युत्पन्न x=2 है कि 12 है कि सत्यापित करें - फ् ((x, y) = (x - 3) ^ 2 + (y + 1) ^ 2 के न्यूनतम का पता लगाने के लिए ग्रेडिएंट अवतरण का उपयोग करें। (0, 0) से शुरू करें। उत्तर को (3, -1) के लिए अभिसरण करना चाहिए।
- ग्रेडिएंट अवतरण लूप में गति जोड़ेंः एक गति वेक्टर बनाए रखें जो पिछले ग्रेडिएंट को जमा करता है। f ((x) = x^4 - 3x^2 पर गति के साथ और बिना अभिसरण गति की तुलना करें।
प्रमुख शर्तें
| Term | What people say | What it actually means |
|---|---|---|
| Derivative | "The slope" | The rate of change of a function at a point. Tells you how much the output changes per unit change in input. |
| Partial derivative | "Derivative of one variable" | The derivative with respect to one variable while all others are held constant. |
| Gradient | "Direction of steepest ascent" | A vector of all partial derivatives. Points in the direction that increases the function fastest. |
| Gradient descent | "Go downhill" | Subtract the gradient (times a learning rate) from the parameters to reduce the loss. The core of neural network training. |
| Learning rate | "Step size" | A scalar that controls how big each gradient descent step is. Too large: diverge. Too small: converge slowly. |
| Chain rule | "Multiply the derivatives" | The rule for differentiating composed functions: df/dx = df/dg * dg/dx. The mathematical basis of backpropagation. |
| Jacobian | "Matrix of derivatives" | When a function maps vectors to vectors, the Jacobian is the matrix of all partial derivatives of outputs with respect to inputs. |
| Numerical derivative | "Finite differences" | Approximating a derivative by evaluating the function at two nearby points and computing the slope between them. |
| Backpropagation | "Reverse-mode autodiff" | Computing gradients layer by layer from output to input using the chain rule. How neural networks learn. |
| Hessian | "Matrix of second derivatives" | The matrix of all second-order partial derivatives. Describes the curvature of a function. Positive definite Hessian at a critical point means local minimum. |
| Taylor series | "Polynomial approximation" | Approximating a function near a point using its derivatives: f(x+h) ~ f(x) + f'(x)h + (1/2)f''(x)h^2 + ... The basis for understanding why gradient descent and Newton's method work. |
| Integral | "Area under the curve" | The accumulation of a quantity over a range. In ML, integrals define probabilities, expected values, and KL divergence. |
आगे पढ़ना
- 3Blue1Brown: Essence of Calculus- व्युत्पन्न, अभिन्न और श्रृंखला नियम के लिए दृश्य अंतर्ज्ञान
- Stanford CS231n: Backpropagation- कैसे तंत्रिका नेटवर्क की परतों के माध्यम से ग्रेडिएंट प्रवाह
This free lesson is part of the AI Engineering from Scratch curriculum. Read the full explanation, run the lesson code, and verify the result in the interactive reader or from the repository source.
Browse the complete course catalog or open this lesson on GitHub.