Multiprojective witness sets and a trace test (Q2194709)

The authors study a special version of the witness set procedure, suitable in particular for the study of properties of varieties defined in a product of projective spaces. Such varieties are relevant for the application of geometry to problems in multilinear algebra and tensor analysis. Given a multiprojective variety \(V\) of dimension \(c\), defined by a set of multihomogeneous polynomials in a product of projective spaces \(\mathbb P =\mathbb P^{n_1}\times\cdots\times\mathbb P^{n_k}\), the authors consider a multiprojective space \(L\) of codimension \(c\) defined as the intersection of the pull-backs of general linear spaces in projections \(\mathbb P\to \mathbb P^{n_i}\). The intersection of \(L\) with \(V\) provides what the authors call a \textit{multiprojective witness set} for \(V\). The authors propose several algorithms in which multiprojective witness sets are employed to test membership of points and confinement to subvarieties, with application to tensor decomposition and inverse kinematics problems.