We introduce a new consistency-based approach for defining and solving nonnegative/positive matrix and tensor completion problems. The novelty of the framework is that instead of artificially making the problem well-posed in the form of an application-arbitrary optimization problem, e.g., minimizing a bulk structural measure such as rank or norm, we show that a single property/constraint: preserving unit-scale consistency, guarantees the existence of both a solution and, under relatively weak support assumptions, uniqueness. The framework and solution algorithms also generalize directly to tensors of arbitrary dimensions while maintaining computational complexity that is linear in problem size for fixed dimension d. In the context of recommender system (RS) applications, we prove that two reasonable properties that should be expected to hold for any solution to the RS problem are sufficient to permit uniqueness guarantees to be established within our framework. Key theoretical contributions include a general unit-consistent tensor-completion framework with proofs of its properties, e.g., consensus-order and fairness, and algorithms with optimal runtime and space complexities, e.g., O(1) term-completion with preprocessing complexity that is linear in the number of known terms of the matrix/tensor. From a practical perspective, the seamless ability of the framework to generalize to exploit high-dimensional structural relationships among key state variables, e.g., user and product attributes, offers a means for extracting significantly more information than is possible for alternative methods that cannot generalize beyond direct user-product relationships. Finally, we propose our consensus ordering property as an admissibility criterion for any proposed RS method.
翻译:我们提出了一种基于一致性的新框架,用于定义和求解非负/正矩阵与张量补全问题。该框架的创新之处在于:并非通过构建人为适定的、应用任意的优化问题(例如最小化秩或范数等整体结构度量),而是证明单一性质/约束——保持单位尺度一致性——即可保证解的存在性,且在相对宽松的支持假设条件下保证解的唯一性。该框架及其求解算法可直接推广至任意维度的张量,同时对于固定维度d保持计算复杂度与问题规模的线性关系。在推荐系统(RS)应用场景中,我们证明两个合理性质(任何RS问题解都应满足的基本性质)足以在该框架内建立唯一性保证。关键理论贡献包括:建立通用单位一致性张量补全框架并证明其性质(如共识序与公平性),以及提出具有最优时间与空间复杂度的算法(例如O(1)项补全,且预处理复杂度与矩阵/张量已知项数量呈线性关系)。从实践角度,该框架可无缝推广以利用关键状态变量(如用户与产品属性)的高维结构关系,从而提取比仅能处理直接用户-产品关系的替代方法显著更多的信息。最后,我们提出将共识序性质作为任何推荐系统方法的可接受性准则。