Abstract:We introduce determinantal sieving, a new, remarkably powerful tool in the toolbox of algebraic FPT algorithms. Given a polynomial $P(X)$ on a set of variables $X=\{x_1,\ldots,x_n\}$ and a linear matroid $M=(X,\mathcal{I})$ of rank $k$, both over a field $\mathbb{F}$ of characteristic 2, in $2^k$ evaluations we can sieve for those terms in the monomial expansion of $P$ which are multilinear and whose support is a basis for $M$. Alternatively, using $2^k$ evaluations of $P$ we can sieve for those monomials whose odd support spans $M$. Applying this framework, we improve on a range of algebraic FPT algorithms, such as:
1. Solving $q$-Matroid Intersection in time $O^*(2^{(q-2)k})$ and $q$-Matroid Parity in time $O^*(2^{qk})$, improving on $O^*(4^{qk})$ over general fields (Brand and Pratt, ICALP 2021)
2. $T$-Cycle, Colourful $(s,t)$-Path, Colourful $(S,T)$-Linkage in undirected graphs, and the more general Rank $k$ $(S,T)$-Linkage problem, all in $O^*(2^k)$ time, improving on $O^*(2^{k+|S|})$ and $O^*(2^{|S|+O(k^2 \log(k+|\mathbb{F}|))})$ respectively (Fomin et al., SODA 2023)
3. Many instances of the Diverse X paradigm, finding a collection of $r$ solutions to a problem with a minimum mutual distance of $d$ in time $O^*(2^{r(r-1)d/2})$, improving solutions for $k$-Distinct Branchings from time $2^{O(k \log k)}$ to $O^*(2^k)$ (Bang-Jensen et al., ESA 2021), and for Diverse Perfect Matchings from $O^*(2^{2^{O(rd)}})$ to $O^*(2^{r^2d/2})$ (Fomin et al., STACS 2021)
Here, all matroids are assumed to be represented over fields of characteristic 2. Over general fields, we achieve similar results at the cost of using exponential space by working over the exterior algebra. For a class of arithmetic circuits we call strongly monotone, this is even achieved without any loss of running time. However, the odd support sieving result appears to be specific to working over characteristic 2.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to introduce a new and powerful screening tool - Determinantal Sieving - in Algebraic Fixed - Parameter Tractable (FPT) algorithms. Specifically, given a polynomial \(P(x_1,\ldots,x_n)\) over a field of characteristic 2 and a linear matroid \(M=(X, I)\), through \(2^k\) evaluations of \(P\), it is possible to screen out those terms in the polynomial \(P\) that are multilinear in its monomial expansion and whose support set is a matroid base. In addition, it is also possible to screen out those terms whose odd - support sets can generate the matroid \(M\).
### Main Contributions
1. **Basic Screening**:
- A new screening method is proposed, which can test whether the polynomial \(P(X)\) contains a multilinear term \(m\) such that the matrix \(A[:, \text{supp}(m)]\) is non - singular within \(O^*(2^k)\) time. This algorithm uses polynomial space, only requires the evaluation of \(P\), has no false positives, and the probability of false negatives is no more than \(2^k/|F|\).
2. **Odd - Support Screening**:
- A useful variant is provided, which can screen out those terms in the polynomial \(P(X)\) whose odd - support sets can generate the matroid \(M\). This algorithm is also completed within \(O^*(2^k)\) time, uses polynomial space, has no false positives, and the probability of false negatives is no more than \((k + d)/|F|\).
3. **Screening on General Fields**:
- Using Exterior Algebra, a method for screening on arbitrary fields is proposed. For strongly monotone arithmetic circuits, screening can be completed within \(O^*(2^{\omega k/2})\) or \(O^*(2^k)\) time; for general skew arithmetic circuits, screening can be completed within \(O^*(4^k)\) time, but more space is required.
### Applications
The paper shows the applications of Determinantal Sieving in multiple fields, including but not limited to:
- **q - Matroid Intersection**: Solve the problem within \(O^*(2^{(q - 2)k})\) time, which is more efficient than the existing \(O^*(4^{qk})\) method.
- **q - Matroid Matching**: Solve the problem within \(O^*(2^{qk})\) time.
- **Path and Link Problems**: Such as T - cycles, colored \((s, t)\)-paths, colored \((S, T)\)-links, etc., are solved within \(O^*(2^k)\) time in undirected graphs.
- **Diverse X Paradigm**: Find a set of \(r\) solutions, with the minimum distance between each solution being \(d\), and solve the problem within \(O^*(2^{r^2d/2})\) time.
### Conclusion
By introducing Determinantal Sieving, the paper not only simplifies some existing algebraic FPT algorithms but also improves the running time of these algorithms and applies them to a wider range of scenarios. This provides a new and powerful tool for solving combinatorial optimization problems.