A related problem is to develop lower bounds: given a model of algebraic computation, find an explicit polynomial f which is expensive to compute in this model. As efficient deterministic PIT algorithms for a model of algebraic computation can be shown to imply lower bounds for that model, developing lower bounds is often a precursor to developing such PIT algorithms. Recently, a new lower bounds technique called "the method of shifted partial derivatives" has been introduced and has been used to obtain a number of new lower bounds for various models, however its potential for yielding PIT algorithms is largely unexplored.
In this work, we use give the first usage of the method of shifted partial derivatives to develop PIT algorithms. In particular, we will highlight the relation to divisibility testing questions, that is, testing whether a given multivariate polynomial f divides another given multivariate polynomial g.