From fbe15352d369fffbc8ffb1f21924af15ec2ee8b7 Mon Sep 17 00:00:00 2001 From: Simon Parten Date: Mon, 24 Feb 2025 23:00:44 +0100 Subject: [PATCH 1/2] experimental jet docs --- .gitignore | 1 + docs/directory.conf | 1 + docs/jet.md | 142 +++++++++++++++++++++++++++++++++++++++ project/build.properties | 2 +- 4 files changed, 145 insertions(+), 1 deletion(-) create mode 100644 docs/jet.md diff --git a/.gitignore b/.gitignore index 8535d9f1e..6f9047606 100644 --- a/.gitignore +++ b/.gitignore @@ -15,3 +15,4 @@ project/metals.sbt .bloop/ .bsp/ project/project/ +.vscode \ No newline at end of file diff --git a/docs/directory.conf b/docs/directory.conf index 84ce9aeb4..5d1f18a21 100644 --- a/docs/directory.conf +++ b/docs/directory.conf @@ -7,4 +7,5 @@ laika.navigationOrder = [ DESIGN.md AUTHORS.md FRIENDS.md + jet.md ] diff --git a/docs/jet.md b/docs/jet.md new file mode 100644 index 000000000..ea957594b --- /dev/null +++ b/docs/jet.md @@ -0,0 +1,142 @@ +# Example - Jet + +Spire scaladoc is excellent and worth reading - for `Jet` reproduced here to aid discoverability. + +While a complete treatment of the mechanics of automatic differentiation is beyond the scope of this header (see http://en.wikipedia.org/wiki/Automatic_differentiation for details), the basic idea is to extend normal arithmetic with an extra element "h" such that + + h + 2 + + = + 0 + + +h itself is non zero - an infinitesimal. + +Dual numbers are extensions of the real numbers analogous to complex numbers: whereas complex numbers augment the reals by introducing an imaginary unit i such that + + i + 2 + + = + - + 1 + + +Dual numbers introduce an "infinitesimal" unit h such that + + h + 2 + + = + 0 +. Analogously to a complex number + c + = + x + + + y + ⋅ + i +, a dual number + d + = + x + + + y + ⋅ + h + has two components: the "real" component x, and an "infinitesimal" component y. Surprisingly, this leads to a convenient method for computing exact derivatives without needing to manipulate complicated symbolic expressions. + +For example, consider the function + + + f + ( + x + ) + = + x + ⋅ + x + + + + evaluated at 10. Using normal arithmetic, + +``` +f(10 + h) = (10 + h) * (10 + h) + = 100 + 2 * 10 * h + h * h + = 100 + 20 * h +--- + +----- | + | +--- This is zero + | + +----------------- This is df/dx +``` +Spire offers us the ability to compute derivatives using Dual numbers through it's `Jet` implementation. + +```scala mdoc +import spire._ +import spire.math._ +import spire.implicits.* +import spire.math.Jet.* + +implicit val jd: JetDim = JetDim(1) + +val y = Jet(10.0) + Jet.h[Double](0) +y * y + +``` +Hopefully, you'll recall that the derivative of x^2 is 2x. We would this expect a derivative of 20 at this point. + +# Forward Mode Automatic Differentiation + + +We've already seen that Spire provides the abillity to get the derivate of a function at a point through it's `Jet` class. Through function composition, we can find the partial derivatives of a pretty much arbitrary function at a point. + +```scala mdoc:reset + +import spire._ +import spire.math._ +import spire.implicits.* +import _root_.algebra.ring.Field +import spire.algebra.Trig + +import spire.math.Jet.* + +def softmax[T: Trig: ClassTag](x: Array[T])(implicit f: Field[T]) = { + val exps = x.map(exp(_)) + val sumExps = exps.foldLeft(f.zero)(_ + _) + exps.map(t => t / sumExps) +} + +val dim = 4 +implicit val jd2: JetDim = JetDim(dim) +val range = (1 to dim).toArray.map(_.toDouble) +val jets = range.zipWithIndex.map{case (i, j) => Jet(i.toDouble) + Jet.h[Double](j)} + +softmax[Double](range) +softmax[Jet[Double]](jets) + +``` + +Note that by using Spire's typeclasses, we can write out a function that is valid for both the sorts of numbers we would "normally" want as well as the dual numbers we use here for automatic differentiation. + +## For fun + +Let's consider an example of using a `Jet` with a complex number. Spire provides support for complex numbers, and we can combine this with `Jet` to perform automatic differentiation on functions involving complex numbers. + +```scala mdoc:reset +import spire._ +import spire.math._ +import spire.implicits._ +import spire.math.Jet._ +import spire.math.Complex +import spire.algebra.Trig + +implicit val jd: JetDim = JetDim(1) + +val z = Jet(Complex(2.0, 3.0)) + Jet.h[Complex[Double]](0) +z * z + +``` \ No newline at end of file diff --git a/project/build.properties b/project/build.properties index abbbce5da..73df629ac 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1 +1 @@ -sbt.version=1.9.8 +sbt.version=1.10.7 From c3c786f3ebe26ec9519292c6bcd7c4126b046c26 Mon Sep 17 00:00:00 2001 From: Simon Parten Date: Mon, 24 Feb 2025 23:05:43 +0100 Subject: [PATCH 2/2] Put sbt back --- project/build.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/project/build.properties b/project/build.properties index 73df629ac..abbbce5da 100644 --- a/project/build.properties +++ b/project/build.properties @@ -1 +1 @@ -sbt.version=1.10.7 +sbt.version=1.9.8