 # Agreement of valueWithDifferential and value

This is to continue a discussion I was having with @rxwei at NeurIPS.
Because it matters for the similar work we are doing in JuliaLang.
And is generally interesting

Consider that one has `v, dv = valueWithDifferential(body, x)`
or `valueWithPullback`, or `valueWithGradient` etc
where the general promise is that `v = body(x)`.

As I recollect the discussion:

It was @rxwei's position that `v` had to be exactly equal to `body(x)`.

It was my position that it had to be fairly close, but that some error due to floating point math was permitted.
In particular if I had to quanify it,
I would argue that for `v_true` being the actual result of `body(x)` according to the math, and `v` beiing the value according to `v, dv = valueWithDifferential(body, x)`
then `| body(x) - v_true | >= | v - v_true |` for all `x`.

i.e. if you have some operation like normal `sin` from a good LibM, that is accurate to 1 ulp,
then the value according to some operation that also calculates or tracks derivitive information
should also be accurate to 1 ulp.
But its error could be in the oposite direction.
If however it was something like SLEEF's fast implementation of `sin` which is only accurate to 3 ulp, then it too only has to be accurate te 3 ulp, again it could be in opposite direction.

The reason for allowing this disagreement is that to allow efficient computing of the deriviatives, it is sometimes useful to change how one compute the value, so as to calculate useful intermediary values that get reused when calculating the derivative information.
And it is really fiddly to be ensure floating point math remains the same.
Given it is not even associative (i.e. `a + (b + c) != (a + b) + c`).

And example of this is `/`, here is code from some of our AD tooling for Julia showing how that is useful.
I just would have no confidence that this will give identical ansers to performing the operation directly.
The math is correct but floating points are not to be trusted.

That final point is why I think this is OK.
everyone doing this kind of thing should be aware that floating points are not to be trusted.
TensorFlow documents that exact floating point values returned by functions are excluded from their SemVer promise.

Anyway, this is an interesting conversation worth having.

5 Likes

Thanks for starting this interesting discussion!

I also assumed that `valueWithDifferential(at: x, in: f).value == f(x)` and `valueWithPullback(at: x, in: f).value == f(x)` are reasonable semantic requirements, but it seems there may be performance-related motivations for relaxing these requirements.

I'm not familiar with Julia, so here's my interpretation of the linked Julia code:

``````function rrule(::typeof(/), A::AbstractVecOrMat{<:Real}, B::AbstractVecOrMat{<:Real})
Cᵀ, dS_pb = rrule(\, Bᵀ, Aᵀ)
function slash_pullback(Ȳ)
# Optimization note: dAᵀ, dBᵀ, dC are calculated no matter which partial you want
# this is not a problem if you want the 2nd or 3rd, but if you want the first, it
# is fairly wasteful
_, dC = dC_pb(Ȳ)
_, dBᵀ, dAᵀ = dS_pb(extern(dC))

# need to extern as  dAᵀ, dBᵀ  are generally `Thunk`s, which don't support adjoint
∂A = @thunk last(dA_pb(extern(dAᵀ)))
∂B = @thunk last(dA_pb(extern(dBᵀ)))

(NO_FIELDS, ∂A, ∂B)
end
return C, slash_pullback
end
``````

The derivative of matrix division (`A / B`) is defined in terms of complex conjugate operations (`adjoint`) and matrix inverse division (`A \ B`, i.e. `B / A`).

The original result `C` is computed as `adjoint(adjoint(B) \ adjoint(A))`. This `C` may differ slightly from `C_true = A / B`, but the computed intermediate values `d{A,B,S,C}_pb` enable a more efficient `slash_pullback` implementation. This motivates relaxing the strict `C == C_true` requirement.

I wonder if you meant to flip the inequality? i.e. `∀x. abs(v - v_true) <= abs(f(x) - v_true)`

The flipped inequality makes sense to me: it's okay for `valueWithDifferential(at: x, in: f).value` to be more accurate than `f(x)` for all x. The original inequality doesn't quite make sense to me, since it doesn't restrict `abs(v - v_true)`.

1 Like

Ah yes, I had, I have editted opening post to correct.

We should be bounding the operation that is not yet defined with the operation that is.

1 Like

That sounds correct to me.
(Its a bit hard as I am not familar with Swift; else I would write the Swift equiv.
Maybe when I am done with Dex, I will move on to Swift)

Interesting! Thanks for bringing this up. My main concern was that there's no static compiler diagnostics or runtime assertion to guarantee `value` is calculating the right thing, and it's an issue regardless of whether it's an approximation or equality. Allowing an approximated result is definitely making this problem harder, though.

2 Likes

I don't actually have a fantastic example handy.
In retrospect, the `\` example is not actually more performant as doing it directly -- it is equally performant, and avoids duplication of the fiddly part of the code.

We've long had the opinion that there were intermediate values that were useful in defining the pullback.
But maybe there are not or at least they are kinda rare.

I guess one obvious one though would be for various kinda of triple product `f(a,b,c) = a*b*c` which I think shows up in various forms of vectors, matrixes and transposes there of.
There is various efficient ways of doing this all at once,
But if you know you are going to want the pullback for `a` you really want to compute and store `b*c` for later use.

One example of "efficient pullback captures intermediate value" is the sigmoid function:

``````// `σ(x) = 1 / (1 + exp(-x))`
// Could also be defined for a multi-dimensional array type.
func sigmoid(_ x: Float) -> Float {
return 1 / (1 + exp(-x))
}

// Optimized derivative: `σ'(x) = σ(x) * 1 - σ(x)`
// Derivation: https://math.stackexchange.com/a/1225116/277269
@derivative(of: sigmoid)
func derivative(_ x: Float) -> (value: Float, pullback: (Float) -> Float) {
let y = sigmoid(x)
return (y, { dy in
// Capture intermediate value `y` to avoid recomputation.
dy * y * (1 - y)
})
}
``````

Pullbacks of n-d array reduction operations often need to perform broadcasting. It's more efficient for these pullbacks to selectively capture just the shape of the input array (an "intermediate value") rather than the entire input array.

Example for a sum reduction operation (adapted from here):

``````extension Tensor where Scalar: Numeric {
/// Returns the sum along the specified axes. The reduced dimensions are retained with value 1.
/// - Parameter axes: The dimensions to reduce.
/// - Precondition: Each value in `axes` must be in the range `-rank..<rank`.
func sum(alongAxes axes: Tensor<Int32>) -> Tensor { ... }
}

internal extension Tensor where Scalar: TensorFlowFloatingPoint {
@derivative(of: sum(alongAxes:))
func derivative(alongAxes axes: Tensor<Int32>) -> (Tensor, (Tensor) -> Tensor) {
let value = sum(alongAxes: axes)
return (value, { [shape = shapeTensor] in
// Use capture list to capture just `self.shapeTensor` instead
// of all of `self`.
})
}
}
``````
1 Like

In your `sigmoid` example, `y` is not an intermediary value -- it's the output.
You can thus be computing it with the same function as if you were not differentiating, thus it will be exactly equal.

Discovering the Axes is valid though I think. If it is used in both the forwards and reverse path.
I don't speak swift well enough.
So I am not sure

Capturing tensor/array shapes in the pullback is a good example of this. The pullback needs the shape to create a zero tangent vector of the same shape, but it should not capture the original tensor/array value because it may be very large.

A more general use case is to allow users to write arbitrary custom derivatives for any function. They should be enabled to capture anything they need in the pullback to achieve the best performance.

In response to @oxinabox , a good example where we want to cache computations from the forwards-pass for use in the pullback is in our `\` operator for abstract matrices, here -- the results of `triu` / `tril` / `lu` / `qr` should all be stored for the reverse-pass (if they're computed). We're not currently doing that, but only because no one has gotten around to doing it yet.

4 Likes