Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix SqExponential and GammaExponential + style #158

Merged
merged 8 commits into from
Sep 21, 2020
Merged
Show file tree
Hide file tree
Changes from 2 commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
58 changes: 37 additions & 21 deletions src/KernelFunctions.jl
Original file line number Diff line number Diff line change
Expand Up @@ -53,33 +53,49 @@ abstract type Kernel end
abstract type SimpleKernel <: Kernel end

include("utils.jl")
include("distances/pairwise.jl")
include("distances/dotproduct.jl")
include("distances/delta.jl")
include("distances/sinus.jl")
include("transform/transform.jl")

for f in readdir(joinpath(@__DIR__, "basekernels"))
endswith(f, ".jl") && include(joinpath("basekernels", f))
end

include("kernels/transformedkernel.jl")
include("kernels/scaledkernel.jl")
include("matrix/kernelmatrix.jl")
include("kernels/kernelsum.jl")
include("kernels/kernelproduct.jl")
include("kernels/tensorproduct.jl")
include("approximations/nystrom.jl")
include(joinpath("distances", "pairwise.jl"))
include(joinpath("distances", "dotproduct.jl"))
include(joinpath("distances", "delta.jl"))
include(joinpath("distances", "sinus.jl"))
include(joinpath("transform", "transform.jl"))

include(joinpath("basekernels", "constant.jl"))
include(joinpath("basekernels", "cosine.jl"))
include(joinpath("basekernels", "exponential.jl"))
include(joinpath("basekernels", "exponentiated.jl"))
include(joinpath("basekernels", "fbm.jl"))
include(joinpath("basekernels", "gabor.jl"))
include(joinpath("basekernels", "maha.jl"))
include(joinpath("basekernels", "matern.jl"))
include(joinpath("basekernels", "nn.jl"))
include(joinpath("basekernels", "periodic.jl"))
include(joinpath("basekernels", "piecewisepolynomial.jl"))
include(joinpath("basekernels", "polynomial.jl"))
include(joinpath("basekernels", "rationalquad.jl"))
include(joinpath("basekernels", "sm.jl"))
include(joinpath("basekernels", "wiener.jl"))

include(joinpath("kernels", "transformedkernel.jl"))
include(joinpath("kernels", "scaledkernel.jl"))
include(joinpath("matrix", "kernelmatrix.jl"))
include(joinpath("kernels", "kernelsum.jl"))
include(joinpath("kernels", "kernelproduct.jl"))
include(joinpath("kernels", "tensorproduct.jl"))
include(joinpath("approximations", "nystrom.jl"))
include("generic.jl")

include("mokernels/moinput.jl")
include("mokernels/independent.jl")
include(joinpath("mokernels", "moinput.jl"))
include(joinpath("mokernels", "independent.jl"))

include("zygote_adjoints.jl")

function __init__()
@require Kronecker="2c470bb0-bcc8-11e8-3dad-c9649493f05e" include("matrix/kernelkroneckermat.jl")
@require PDMats="90014a1f-27ba-587c-ab20-58faa44d9150" include("matrix/kernelpdmat.jl")
@require Kronecker="2c470bb0-bcc8-11e8-3dad-c9649493f05e" begin
include(joinpath("matrix", "kernelkroneckermat.jl"))
end
@require PDMats="90014a1f-27ba-587c-ab20-58faa44d9150" begin
include(joinpath("matrix", "kernelpdmat.jl"))
end
end

end
14 changes: 8 additions & 6 deletions src/basekernels/exponential.jl
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ related form of the kernel or [`GammaExponentialKernel`](@ref) for a generalizat
"""
struct SqExponentialKernel <: SimpleKernel end

kappa(κ::SqExponentialKernel, d²::Real) = exp(-d²)
kappa(κ::SqExponentialKernel, d²::Real) = exp(-d² / 2)
devmotion marked this conversation as resolved.
Show resolved Hide resolved

metric(::SqExponentialKernel) = SqEuclidean()

Expand Down Expand Up @@ -50,10 +50,10 @@ const LaplacianKernel = ExponentialKernel

The γ-exponential kernel is an isotropic Mercer kernel given by the formula:
```
κ(x,y) = exp(-‖x-y‖^(2γ))
κ(x,y) = exp(-‖x-y‖^γ)
```
Where `γ > 0`, (the keyword `γ` can be replaced by `gamma`)
For `γ = 1`, see `SqExponentialKernel` and `γ = 0.5`, see `ExponentialKernel`
For `γ = 2`, see `SqExponentialKernel` and `γ = 1`, see `ExponentialKernel`
"""
struct GammaExponentialKernel{Tγ<:Real} <: SimpleKernel
γ::Vector{Tγ}
Expand All @@ -65,10 +65,12 @@ end

@functor GammaExponentialKernel

kappa(κ::GammaExponentialKernel, d²::Real) = exp(-d²^first(κ.γ))
kappa(κ::GammaExponentialKernel, d::Real) = exp(-d^first(κ.γ))

metric(::GammaExponentialKernel) = SqEuclidean()
metric(::GammaExponentialKernel) = Euclidean()
willtebbutt marked this conversation as resolved.
Show resolved Hide resolved

iskroncompatible(::GammaExponentialKernel) = true

Base.show(io::IO, κ::GammaExponentialKernel) = print(io, "Gamma Exponential Kernel (γ = ", first(κ.γ), ")")
function Base.show(io::IO, κ::GammaExponentialKernel)
print(io, "Gamma Exponential Kernel (γ = ", first(κ.γ), ")")
end
25 changes: 9 additions & 16 deletions src/basekernels/gabor.jl
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ struct GaborKernel{K<:Kernel} <: Kernel
kernel::K
function GaborKernel(;ell=nothing, p=nothing)
k = _gabor(ell=ell, p=p)
new{typeof(k)}(k)
return new{typeof(k)}(k)
end
end

Expand Down Expand Up @@ -57,24 +57,17 @@ end

Base.show(io::IO, κ::GaborKernel) = print(io, "Gabor Kernel (ell = ", κ.ell, ", p = ", κ.p, ")")

function kernelmatrix(
κ::GaborKernel,
X::AbstractMatrix;
obsdim::Int=defaultobs)
kernelmatrix(κ.kernel, X; obsdim=obsdim)
function kernelmatrix(κ::GaborKernel, X::AbstractMatrix; obsdim::Int=defaultobs)
return kernelmatrix(κ.kernel, X; obsdim=obsdim)
end

function kernelmatrix(
κ::GaborKernel,
X::AbstractMatrix,
Y::AbstractMatrix;
obsdim::Int=defaultobs)
kernelmatrix(κ.kernel, X, Y; obsdim=obsdim)
κ::GaborKernel, X::AbstractMatrix, Y::AbstractMatrix;
obsdim::Int=defaultobs,
)
return kernelmatrix(κ.kernel, X, Y; obsdim=obsdim)
end

function kerneldiagmatrix(
κ::GaborKernel,
X::AbstractMatrix;
obsdim::Int=defaultobs) #TODO Add test
kerneldiagmatrix(κ.kernel, X; obsdim=obsdim)
function kerneldiagmatrix(κ::GaborKernel, X::AbstractMatrix; obsdim::Int=defaultobs) #TODO Add test
return kerneldiagmatrix(κ.kernel, X; obsdim=obsdim)
end
14 changes: 4 additions & 10 deletions src/matrix/kernelkroneckermat.jl
Original file line number Diff line number Diff line change
Expand Up @@ -2,22 +2,16 @@ using .Kronecker

export kernelkronmat

function kernelkronmat(
κ::Kernel,
X::AbstractVector,
dims::Int
)
function kernelkronmat(κ::Kernel, X::AbstractVector, dims::Int)
@assert iskroncompatible(κ) "The chosen kernel is not compatible for kroenecker matrices (see [`iskroncompatible`](@ref))"
k = kernelmatrix(κ, X)
kronecker(k, dims)
end

function kernelkronmat(
κ::Kernel,
X::AbstractVector{<:AbstractVector};
obsdim::Int=defaultobs
)
@assert iskroncompatible(κ) "The chosen kernel is not compatible for kroenecker matrices"
κ::Kernel, X::AbstractVector{<:AbstractVector}; obsdim::Int=defaultobs,
)
@assert iskroncompatible(κ) "The chosen kernel is not compatible for Kronecker matrices"
Ks = kernelmatrix.(κ, X)
K = reduce(⊗, Ks)
end
Expand Down
20 changes: 4 additions & 16 deletions src/matrix/kernelmatrix.jl
Original file line number Diff line number Diff line change
Expand Up @@ -74,10 +74,7 @@ function kernelmatrix!(K::AbstractMatrix, κ::SimpleKernel, x::AbstractVector)
end

function kernelmatrix!(
K::AbstractMatrix,
κ::SimpleKernel,
x::AbstractVector,
y::AbstractVector,
K::AbstractMatrix, κ::SimpleKernel, x::AbstractVector, y::AbstractVector,
)
willtebbutt marked this conversation as resolved.
Show resolved Hide resolved
validate_inplace_dims(K, x, y)
pairwise!(K, metric(κ), x, y)
Expand All @@ -102,19 +99,13 @@ end
const defaultobs = 2

function kernelmatrix!(
K::AbstractMatrix,
κ::Kernel,
X::AbstractMatrix;
obsdim::Int = defaultobs
K::AbstractMatrix, κ::Kernel, X::AbstractMatrix; obsdim::Int = defaultobs
)
return kernelmatrix!(K, κ, vec_of_vecs(X; obsdim=obsdim))
end

function kernelmatrix!(
K::AbstractMatrix,
κ::Kernel,
X::AbstractMatrix,
Y::AbstractMatrix;
K::AbstractMatrix, κ::Kernel, X::AbstractMatrix, Y::AbstractMatrix;
obsdim::Int = defaultobs
)
x = vec_of_vecs(X; obsdim=obsdim)
Expand All @@ -133,10 +124,7 @@ function kernelmatrix(κ::Kernel, X::AbstractMatrix, Y::AbstractMatrix; obsdim=d
end

function kerneldiagmatrix!(
K::AbstractVector,
κ::Kernel,
X::AbstractMatrix;
obsdim::Int = defaultobs
K::AbstractVector, κ::Kernel, X::AbstractMatrix; obsdim::Int = defaultobs
)
return kerneldiagmatrix!(K, κ, vec_of_vecs(X; obsdim=obsdim))
end
Expand Down
32 changes: 18 additions & 14 deletions src/matrix/kernelpdmat.jl
Original file line number Diff line number Diff line change
Expand Up @@ -3,24 +3,28 @@ using .PDMats: PDMat
export kernelpdmat

"""
Compute a positive-definite matrix in the form of a `PDMat` matrix see [PDMats.jl]() with the cholesky decomposition precomputed
The algorithm recursively tries to add recursively a diagonal nugget until positive definiteness is achieved or that the noise is too big
Compute a positive-definite matrix in the form of a `PDMat` matrix see [PDMats.jl]()
willtebbutt marked this conversation as resolved.
Show resolved Hide resolved
with the cholesky decomposition precomputed.
The algorithm recursively tries to add recursively a diagonal nugget until positive
definiteness is achieved or that the noise is too big.
"""
function kernelpdmat(
κ::Kernel,
X::AbstractMatrix;
obsdim::Int = defaultobs
)
K = kernelmatrix(κ,X,obsdim=obsdim)
Kmax =maximum(K)
function kernelpdmat(κ::Kernel, X::AbstractMatrix; obsdim::Int=defaultobs)
willtebbutt marked this conversation as resolved.
Show resolved Hide resolved
K = kernelmatrix(κ, X; obsdim=obsdim)
Kmax = maximum(K)
α = eps(eltype(K))
while !isposdef(K+α*I) && α < 0.01*Kmax
while !isposdef(K + α * I) && α < 0.01 * Kmax
α *= 2.0
end
if α >= 0.01*Kmax
throw(ErrorException("Adding noise on the diagonal was not sufficient to build a positive-definite matrix:\n\t- Check that your kernel parameters are not extreme\n\t- Check that your data is sufficiently sparse\n\t- Maybe use a different kernel"))
if α >= 0.01 * Kmax
error(
"Adding noise on the diagonal was not sufficient to build a positive-definite" *
" matrix:\n\t- Check that your kernel parameters are not extreme\n\t- Check" *
" that your data is sufficiently sparse\n\t- Maybe use a different kernel",
)
end
return PDMat(K+α*I)
return PDMat(K + α * I)
end

kernelpdmat(κ::Kernel,X::AbstractVector{<:Real};obsdim=defaultobs) = kernelpdmat(κ,reshape(X,1,:),obsdim=2)
function kernelpdmat(κ::Kernel, X::AbstractVector{<:Real}; obsdim=defaultobs)
return kernelpdmat(κ, reshape(X, 1, :); obsdim=2)
end
25 changes: 15 additions & 10 deletions test/basekernels/exponential.jl
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@
v2 = rand(rng, 3)
@testset "SqExponentialKernel" begin
k = SqExponentialKernel()
@test kappa(k,x) ≈ exp(-x)
@test k(v1,v2) ≈ exp(-norm(v1-v2)^2)
@test kappa(k,x) ≈ exp(-x / 2)
@test k(v1,v2) ≈ exp(-norm(v1-v2)^2 / 2)
@test kappa(SqExponentialKernel(),x) == kappa(k,x)
@test metric(SqExponentialKernel()) == SqEuclidean()
@test RBFKernel == SqExponentialKernel
Expand All @@ -30,19 +30,24 @@
@testset "GammaExponentialKernel" begin
γ = 2.0
k = GammaExponentialKernel(γ=γ)
@test kappa(k,x) ≈ exp(-(x)^(γ))
@test k(v1,v2) ≈ exp(-norm(v1-v2)^(2γ))
@test kappa(GammaExponentialKernel(),x) == kappa(k,x)
@test k(v1, v2) ≈ exp(-norm(v1 - v2)^γ)
@test kappa(GammaExponentialKernel(), x) == kappa(k, x)
@test GammaExponentialKernel(gamma=γ).γ == [γ]
@test metric(GammaExponentialKernel()) == SqEuclidean()
@test metric(GammaExponentialKernel(γ=2.0)) == SqEuclidean()
@test metric(GammaExponentialKernel()) == Euclidean()
@test metric(GammaExponentialKernel(γ=2.0)) == Euclidean()
@test repr(k) == "Gamma Exponential Kernel (γ = $(γ))"
@test KernelFunctions.iskroncompatible(k) == true
test_ADs(γ -> GammaExponentialKernel(gamma=first(γ)), [γ], ADs = [:ForwardDiff, :ReverseDiff])
test_ADs(
γ -> GammaExponentialKernel(gamma=first(γ)), [1.0];
ADs = [:ForwardDiff, :ReverseDiff],
)
@test_broken "Zygote gradient given γ"
test_params(k, ([γ],))
#Coherence :
@test GammaExponentialKernel(γ=1.0)(v1,v2) ≈ SqExponentialKernel()(v1,v2)
@test GammaExponentialKernel(γ=0.5)(v1,v2) ≈ ExponentialKernel()(v1,v2)
@test isapprox(
GammaExponentialKernel(γ=2.0)(sqrt(0.5) * v1, sqrt(0.5) * v2),
SqExponentialKernel()(v1,v2),
)
@test GammaExponentialKernel(γ=1.0)(v1, v2) ≈ ExponentialKernel()(v1, v2)
end
end
2 changes: 1 addition & 1 deletion test/basekernels/gabor.jl
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@
@test k.ell ≈ ell atol=1e-5
@test k.p ≈ p atol=1e-5

k_manual = exp(-sqeuclidean(v1, v2) / (k.ell^2)) * cospi(euclidean(v1, v2) / k.p)
k_manual = exp(-sqeuclidean(v1, v2) / (2 * k.ell^2)) * cospi(euclidean(v1, v2) / k.p)
@test k(v1,v2) ≈ k_manual atol=1e-5

lhs_manual = transform(SqExponentialKernel(), 1/k.ell)(v1,v2)
Expand Down
13 changes: 9 additions & 4 deletions test/basekernels/sm.jl
Original file line number Diff line number Diff line change
Expand Up @@ -12,11 +12,16 @@

t = v1 - v2

@test k1(v1, v2) ≈ sum(αs₁ .* exp.(-(t' * γs)'.^2) .*
cospi.((t' * ωs)')) atol=1e-5
@test k1(v1, v2) ≈ sum(αs₁ .* exp.(-(t' * γs)'.^2 ./ 2) .* cospi.((t' * ωs)')) atol=1e-5

@test k2(v1, v2) ≈ prod(sum(αs₂[i,:]' .* exp.(-(γs[i,:]' * t[i]).^2) .*
cospi.(ωs[i,:]' * t[i])) for i in 1:length(t)) atol=1e-5
@test isapprox(
k2(v1, v2),
prod(
[sum(αs₂[i,:]' .* exp.(-(γs[i,:]' * t[i]).^2 ./ 2) .*
cospi.(ωs[i,:]' * t[i])) for i in 1:length(t)],
);
atol=1e-5,
)

@test_throws DimensionMismatch spectral_mixture_kernel(rand(5) ,rand(4,3), rand(4,3))
@test_throws DimensionMismatch spectral_mixture_kernel(rand(3) ,rand(4,3), rand(5,3))
Expand Down
11 changes: 0 additions & 11 deletions test/kernels/custom.jl

This file was deleted.

2 changes: 1 addition & 1 deletion test/matrix/kernelmatrix.jl
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# Custom Kernel implementation that only defines how to evaluate itself. This is used to
# test that fallback kernelmatrix / kerneldiagmatrix methods work properly.
struct BaseSE <: KernelFunctions.Kernel end
(k::BaseSE)(x, y) = exp(-evaluate(SqEuclidean(), x, y))
(k::BaseSE)(x, y) = exp(-evaluate(SqEuclidean(), x, y) / 2)

# Custom kernel to test `SimpleKernel` interface on, independently the `SimpleKernel`s that
# are implemented in the package. That this happens to be an exponentiated quadratic kernel
Expand Down
6 changes: 1 addition & 5 deletions test/runtests.jl
Original file line number Diff line number Diff line change
Expand Up @@ -86,8 +86,8 @@ include("test_utils.jl")
include(joinpath("basekernels", "matern.jl"))
include(joinpath("basekernels", "nn.jl"))
include(joinpath("basekernels", "periodic.jl"))
include(joinpath("basekernels", "polynomial.jl"))
include(joinpath("basekernels", "piecewisepolynomial.jl"))
include(joinpath("basekernels", "polynomial.jl"))
include(joinpath("basekernels", "rationalquad.jl"))
include(joinpath("basekernels", "sm.jl"))
include(joinpath("basekernels", "wiener.jl"))
Expand All @@ -100,10 +100,6 @@ include("test_utils.jl")
include(joinpath("kernels", "scaledkernel.jl"))
include(joinpath("kernels", "tensorproduct.jl"))
include(joinpath("kernels", "transformedkernel.jl"))

# Legacy tests that don't correspond to anything meaningful in src. Unclear how
# helpful these are.
include(joinpath("kernels", "custom.jl"))
end
@info "Ran tests on Kernel"

Expand Down