OMEinsum.jl

One More Einsum for Julia! With runtime order-specification and high-level adjoints for AD
Popularity
180 Stars
Updated Last
1 Month Ago
Started In
May 2019
OMEinsum logo

OMEinsum - One More Einsum

Dev CI Codecov

This is a repository for the Google Summer of Code project on Differentiable Tensor Networks. It implements one function that both computer scientists and physicists love, the Einstein summation

einsum definition

To find out the details about einsum, please check out my nextjournal-article or the numpy-manual.

Einstein summation can be implemented in no more than 20 lines of Julia code, the automatic differentiation is also straightforward. The main effort of this package is improving the performance utilizing Julia multiple dispatch on traits. So that people can enjoy the speed of faster specific implementations like BLAS functions, sum and permutedims on both CPU and GPU without suffering from runtime overhead.

Note: why the test coverage is not 100% - GPU-code coverage is not evaluated although we test the GPU code properly on gitlab. Ignoring the GPU-code, the actual coverage is at about 97%.

Warning: since v0.4, OMEinsum does not optimize the contraction order anymore. One has to use nested einsum to specify the contraction order manually, e.g. ein"(ijk,jkl),klm->im"(x, y, z). Please check out the documentation for more details.

Install

To install, type ] in a julia (>=1.5) REPL and then input

pkg> add OMEinsum

Learn by Examples

To avoid runtime overhead, we recommend users to use non-standard string literal @ein_str. The following examples illustrates how einsum works

julia> using OMEinsum, SymEngine

julia> catty = fill(Basic(:๐Ÿฑ), 2, 2)
2ร—2 Array{Basic,2}:
 ๐Ÿฑ  ๐Ÿฑ
 ๐Ÿฑ  ๐Ÿฑ

julia> fish = fill(Basic(:๐ŸŸ), 2, 3, 2)
2ร—3ร—2 Array{Basic,3}:
[:, :, 1] =
 ๐ŸŸ  ๐ŸŸ  ๐ŸŸ
 ๐ŸŸ  ๐ŸŸ  ๐ŸŸ

[:, :, 2] =
 ๐ŸŸ  ๐ŸŸ  ๐ŸŸ
 ๐ŸŸ  ๐ŸŸ  ๐ŸŸ

julia> snake = fill(Basic(:๐Ÿ), 3, 3)
3ร—3 Array{Basic,2}:
 ๐Ÿ  ๐Ÿ  ๐Ÿ
 ๐Ÿ  ๐Ÿ  ๐Ÿ
 ๐Ÿ  ๐Ÿ  ๐Ÿ

julia> medicine = ein"ij,jki,kk->k"(catty, fish, snake)
3-element Array{Basic,1}:
 4*๐Ÿฑ*๐Ÿ*๐ŸŸ
 4*๐Ÿฑ*๐Ÿ*๐ŸŸ
 4*๐Ÿฑ*๐Ÿ*๐ŸŸ

julia> ein"ik,kj -> ij"(catty, catty) # multiply two matrices `a` and `b`
2ร—2 Array{Basic,2}:
 2*๐Ÿฑ^2  2*๐Ÿฑ^2
 2*๐Ÿฑ^2  2*๐Ÿฑ^2

julia> ein"ij -> "(catty)[] # sum a matrix, output 0-dimensional array
4*๐Ÿฑ

julia> ein"->ii"(asarray(snake[1,1]), size_info=Dict('i'=>5)) # get 5 x 5 identity matrix
5ร—5 Array{Basic,2}:
 ๐Ÿ  0  0  0  0
 0  ๐Ÿ  0  0  0
 0  0  ๐Ÿ  0  0
 0  0  0  ๐Ÿ  0
 0  0  0  0  ๐Ÿ

Alternatively, people can specify the contraction with a construction approach, which is useful when the contraction code can only be obtained at run time

julia> einsum(EinCode((('i','k'),('k','j')),('i','j')),(a,b))

or a macro based interface, @ein macro, which is closer to the standard way of writing einsum-operations in physics

julia> @ein c[i,j] := a[i,k] * b[k,j];

It is sometimes helpful to specify the order of operations, by inserting brackets, either because you know this will be more efficient, or to help the computer see what kernels can be used. For example:

julia> @ein Z[o,s] := x[i,s] * (W[o,i,j] * y[j,s]);   # macro style

julia> Z = ein"is, (oij, js) -> os"(x, W, y);         # string style

This performs matrix multiplication (summing over j) followed by batched matrix multiplication (summing over i, batch label s). Without the brackets, instead it uses the fallback loop_einsum, which is slower. Calling allow_loops(false) will print an error to help you spot such cases:

julia> @ein Zl[o,s] := x[i,s] * W[o,i,j] * y[j,s];

julia> Z โ‰ˆ Zl
true

julia> allow_loops(false);

julia> Zl = ein"is, oij, js -> os"(x, W, y);
โ”Œ Error: using `loop_einsum` to evaluate
โ”‚   code = is, oij, js -> os
โ”‚   size.(xs) = ((10, 50), (20, 10, 10), (10, 50))
โ”‚   size(y) = (20, 50)
โ”” @ OMEinsum ~/.julia/dev/OMEinsum/src/loop_einsum.jl:26

Comparison with other packages

Similar packages include:

Comparing with the above packages, OMEinsum is optimized over large scale tensor network (or einsum, sum-product network) contraction.

Contribute

Suggestions and Comments in the Issues are welcome.