Abstract:SIAM Journal on Optimization, Volume 34, Issue 1, Page 563-589, March 2024. Given closed convex sets [math], [math], and some nonzero linear maps [math], [math], of suitable dimensions, the multiset split feasibility problem aims at finding a point in [math] based on computing projections onto [math] and multiplications by [math] and [math]. In this paper, we consider the associated best approximation problem, i.e., the problem of computing projections onto [math]; we refer to this problem as the best approximation problem in multiset split feasibility settings (BA-MSF). We adapt the Dykstra's projection algorithm, which is classical for solving the BA-MSF in the special case when all [math], to solve the general BA-MSF. Our Dykstra-type projection algorithm is derived by applying (proximal) coordinate gradient descent to the Lagrange dual problem, and it only requires computing projections onto [math] and multiplications by [math] and [math] in each iteration. Under a standard relative interior condition and a genericity assumption on the point we need to project, we show that the dual objective satisfies the Kurdyka-Łojasiewicz property with an explicitly computable exponent on a neighborhood of the (typically unbounded) dual solution set when each [math] is [math]-cone reducible for some [math]: this class of sets covers the class of [math]-cone reducible sets, which include all polyhedrons, second-order cone, and the cone of positive semidefinite matrices as special cases. Using this, explicit convergence rate (linear or sublinear) of the sequence generated by the Dykstra-type projection algorithm is derived. Concrete examples are constructed to illustrate the necessity of some of our assumptions.

How to project onto the intersection of a closed affine subspace and a hyperplane

Closed-form algorithms for computing the intersection of two subspaces

New Methods for Projecting a 3D Object Onto a Free-Form Surface

PROJECTION ALGORITHMS FOR CONVEX FEASIBILITY PROBLEMS ON HADAMARD MANIFOLDS

Convergence rate of alternating projection method for the intersection of an affine subspace and the second-order cone

The projection onto the cross

The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets

A Blaschke-Petkantschin formula for linear and affine subspaces with application to intersection probabilities

Proximal Point Algorithms on Hadamard Manifolds: Linear Convergence and Finite Termination

An Intersection Matrix for Affine Hyperplane Arrangements

Computational performance of a projection and rescaling algorithm

Projection Methods in Conic Optimization

Approximations of unbounded convex projections and unbounded convex sets

Projection onto hyperbolicity cones and beyond: a dual Frank-Wolfe approach

Convergence Rate Analysis of a Dykstra-Type Projection Algorithm

SVD‐Based Low‐Complexity Methods for Computing the Intersection of K ≥2 Subspaces

An inertial hyperplane projection method for split feasibility problems and applications

Computing the Projection on the Intersection of Linear Equality and Cardinality Constraints

Multilinear Hyperplane Hashing

Inequalities for linear combinations of orthogonal projections and applications

Fractions, Projective Representation, Duality, Linear Algebra and Geometry