Merge #888

888: Remove rules for matrix exponential r=DhairyaLGandhi a=sethaxen

JuliaDiff/ChainRules.jl#351 added rules for the dense matrix exponential to ChainRules. This PR removes the corresponding adjoint from Zygote.

Co-authored-by: Seth Axen <[email protected]>

Author: bors[bot]

Project.toml

@@ -1,6 +1,6 @@
 name = "Zygote"
 uuid = "e88e6eb3-aa80-5325-afca-941959d7151f"
-version = "0.6.1"
+version = "0.6.2"
 
 [deps]
 AbstractFFTs = "621f4979-c628-5d54-868e-fcf4e3e8185c"
@@ -22,7 +22,7 @@ ZygoteRules = "700de1a5-db45-46bc-99cf-38207098b444"
 
 [compat]
 AbstractFFTs = "0.5, 1.0"
-ChainRules = "0.7.47"
+ChainRules = "0.7.49"
 DiffRules = "1.0"
 FillArrays = "0.8, 0.9, 0.10, 0.11"
 ForwardDiff = "0.10"

src/lib/array.jl

@@ -555,29 +555,6 @@ Base.@propagate_inbounds function _pairdiffquotmat(f, n, x, fx, dfx, d²fx = not
   return Δfij.(Base.OneTo(n), Base.OneTo(n)')
 end
 
-# Adjoint based on the Theano implementation, which uses the differential as described
-# in Brančík, "Matlab programs for matrix exponential function derivative evaluation"
-@adjoint exp(A::AbstractMatrix) = exp(A), function(F̄)
-  n = size(A, 1)
-  E = eigen(A)
-  w = E.values
-  ew = exp.(w)
-  X = _pairdiffquotmat(exp, n, w, ew, ew, ew)
-  V = E.vectors
-  VF = factorize(V)
-  Āc = (V * ((VF \ F̄' * V) .* X) / VF)'
-  Ā = isreal(A) && isreal(F̄) ? real(Āc) : Āc
-  return (Ā,)
-end
-
-# The adjoint for exp(::AbstractArray) intercepts ChainRules' rrule for exp(::Hermitian),
-# so we call it manually. This can be removed when the generic rule for exp is moved to
-# ChainRules
-@adjoint function exp(A::LinearAlgebra.RealHermSymComplexHerm)
-    Y, back = chain_rrule(exp, A)
-    return Y, Δ -> (back(Δ)[2],)
-end
-
 # Hermitian/Symmetric matrix functions that can be written as power series
 _realifydiag!(A::AbstractArray{<:Real}) = A
 function _realifydiag!(A)