Implement 'einsum' to overcome intrinsic limitation of 'tensordot'

[tdegeus]

I am trying to evaluate the following partial contraction

c(e,q,i,j) = a(e,q,i,j,k,l) * b(e,q,l,k)

using

#include <xtensor/xtensor.hpp>
#include <xtensor/xio.hpp>
#include <xtensor/xrandom.hpp>
#include <xtensor-blas/xlinalg.hpp>

int main()
{
  xt::xtensor<double,6> a = xt::random::rand<double>({1,4,2,2,2,2});
  xt::xtensor<double,4> b = xt::random::rand<double>({1,4,2,2    });

  auto c = xt::linalg::tensordot(a,b,{5,2},{4,3});
}

But this gives me the error that

libc++abi.dylib: terminating with uncaught exception of type xt::transpose_error: Permutation does not have the same size as shape

[tdegeus]

Ah, it seems that what I want is not possible with tensordot (next to the fact that I have misinterpreted the indices which should have been {5,4},{2,3}). This puts emphasis on the need to have an einsum equivalent.

[amjames]

To clarify if the tensordot function is working correctly; When you use the correct axes arguments is the error raised?

The if xtensordot implementation is faithful to np.tensordot then

auto c = xt::linalg::tensordot(a, b {5,4}, {4,3}); 

should not work, It would not perform the partial contraction you wanted, but it should still be valid.

[tdegeus]

@amjames

Yes, with the correct indices tensordot act as expected, though not what I intended ;) (with auto c = xt::linalg::tensordot(a,b,{5,4},{2,3});).

For me to do the partial contraction (that I will probably do frequently) I want to consider some einsum equivalent. Earlier you said you had ideas for this?

[amjames]

I do have ideas for xtensor einsum. I think that there are very interesting possibilities for doing partial path optimization at compile time, though that would require a divergence from the numpy syntax or some way to parse the string arguments at compile time. Unfortunately I haven't had enough time to to work on even an initial implementation, but it is something I would very much like to do.

[wolfv]

I think one idea could be to pass the index arguments as template parameters, such as:

index<0> I; index<1> J; 
einsum<(I, J), I>(A)... 

I am no expert in einsum's, though.

We've also collected a couple of ideas in this issue: #561

[tdegeus]

I wouldn't mind helping where I can to get einsum in xtensor. Having einsum would simplify my and my student's lives so much, and make several bits of code so much more transparent.

I would strongly suggest a syntax that is also feasible as a one-liner.

[faysou]

Why not try to integrate xtensor with taco for this, as they seem to be the state of the art for tensor contraction ? https://github.com/tensor-compiler/taco
I guess the difficulty will be in switching between data structures without creating a copy.

I discovered the existence of einsum recently for a prototype in python and it's super powerful. Xtensor seems to be the best library for a python like syntax in c++ and an einsum like feature is the last thing missing.

Here's a reference on einsum:
https://rockt.github.io/2018/04/30/einsum

[tdegeus]

@faysou Indeed, einsum would be a great extension. I will try to invest time in the near future.

Personally I'm not in favour of having a wrapper to an external library, in particular for such a core function. But we could surely try to learn from taco.

@SylvainCorlay @wolfv @JohanMabille

[cloudhan]

@tdegeus https://github.com/romeric/Fastor would be a good reference.

[JohanMabille]

I think having a wrapper to an external library in another xtensor-xxxx repo is fine as a first implementation, however I agree with @tdegeus, on the long run such a core feature should be implemented in xtensor itself, without any external dependency.

Regarding the implementation, the idea would be to generalize the GOTO matrix product in N dimensions (and that is not trivial).

Eigen provides a nice implementation of this algorithm, and having a look at Taco and Fastor might be helpful to generalize it. Thanks @faysou and @cloudhan for pointing them out, they look really great!

[jlucier]

Any movement on this recently? I for one would love to see an einsum of one form or another in xtensor! Or is there a recommended workaround these days (beyond, say, iteratively applying tensordot)?

[JohanMabille]

Unfortunately no, we didn't have the time to tackle this, I hope we can do it soon.