Binary matrix factorization on special purpose hardware
- URL: http://arxiv.org/abs/2010.08693v2
- Date: Fri, 7 Jan 2022 15:12:25 GMT
- Title: Binary matrix factorization on special purpose hardware
- Authors: Osman Asif Malik, Hayato Ushijima-Mwesigwa, Arnab Roy, Avradip Mandal,
Indradeep Ghosh
- Abstract summary: We focus on the important binary matrix factorization (BMF) problem which has many applications in data mining.
We propose two QUBO formulations for BMF and show how clustering constraints can easily be incorporated into these formulations.
We also propose a simple baseline algorithm which outperforms our more sophisticated methods in a few situations.
- Score: 5.926928436252818
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Many fundamental problems in data mining can be reduced to one or more
NP-hard combinatorial optimization problems. Recent advances in novel
technologies such as quantum and quantum-inspired hardware promise a
substantial speedup for solving these problems compared to when using general
purpose computers but often require the problem to be modeled in a special
form, such as an Ising or quadratic unconstrained binary optimization (QUBO)
model, in order to take advantage of these devices. In this work, we focus on
the important binary matrix factorization (BMF) problem which has many
applications in data mining. We propose two QUBO formulations for BMF. We show
how clustering constraints can easily be incorporated into these formulations.
The special purpose hardware we consider is limited in the number of variables
it can handle which presents a challenge when factorizing large matrices. We
propose a sampling based approach to overcome this challenge, allowing us to
factorize large rectangular matrices. In addition to these methods, we also
propose a simple baseline algorithm which outperforms our more sophisticated
methods in a few situations. We run experiments on the Fujitsu Digital
Annealer, a quantum-inspired complementary metal-oxide-semiconductor (CMOS)
annealer, on both synthetic and real data, including gene expression data.
These experiments show that our approach is able to produce more accurate BMFs
than competing methods.
Related papers
- Double-Logarithmic Depth Block-Encodings of Simple Finite Difference Method's Matrices [0.0]
Solving differential equations is one of the most computationally expensive problems in classical computing.
Despite recent progress made in the field of quantum computing and quantum algorithms, its end-to-end application towards practical realization still remains unattainable.
arXiv Detail & Related papers (2024-10-07T17:44:30Z) - Optimized QUBO formulation methods for quantum computing [0.4999814847776097]
We show how to apply our techniques in case of an NP-hard optimization problem inspired by a real-world financial scenario.
We follow by submitting instances of this problem to two D-wave quantum annealers, comparing the performances of our novel approach with the standard methods used in these scenarios.
arXiv Detail & Related papers (2024-06-11T19:59:05Z) - Deriving Compact QUBO Models via Multilevel Constraint Transformation [0.8192907805418583]
We propose a novel Multilevel Constraint Transformation Scheme (MLCTS) that derives QUBO models with fewer ancillary binary variables.
For a proof-of-concept, we compare the performance of two QUBO models for the latter problem on both a general-purpose software-based solver and a hardware-based QUBO solver.
The MLCTS-derived models demonstrate significantly better performance for both solvers, in particular, solving up to seven times more instances with the hardware-based approach.
arXiv Detail & Related papers (2024-04-04T17:34:08Z) - Symmetric Tensor Networks for Generative Modeling and Constrained
Combinatorial Optimization [72.41480594026815]
Constrained optimization problems abound in industry, from portfolio optimization to logistics.
One of the major roadblocks in solving these problems is the presence of non-trivial hard constraints which limit the valid search space.
In this work, we encode arbitrary integer-valued equality constraints of the form Ax=b, directly into U(1) symmetric networks (TNs) and leverage their applicability as quantum-inspired generative models.
arXiv Detail & Related papers (2022-11-16T18:59:54Z) - Adiabatic Quantum Computing for Multi Object Tracking [170.8716555363907]
Multi-Object Tracking (MOT) is most often approached in the tracking-by-detection paradigm, where object detections are associated through time.
As these optimization problems are often NP-hard, they can only be solved exactly for small instances on current hardware.
We show that our approach is competitive compared with state-of-the-art optimization-based approaches, even when using of-the-shelf integer programming solvers.
arXiv Detail & Related papers (2022-02-17T18:59:20Z) - Adiabatic Quantum Graph Matching with Permutation Matrix Constraints [75.88678895180189]
Matching problems on 3D shapes and images are frequently formulated as quadratic assignment problems (QAPs) with permutation matrix constraints, which are NP-hard.
We propose several reformulations of QAPs as unconstrained problems suitable for efficient execution on quantum hardware.
The proposed algorithm has the potential to scale to higher dimensions on future quantum computing architectures.
arXiv Detail & Related papers (2021-07-08T17:59:55Z) - Machine Learning Framework for Quantum Sampling of Highly-Constrained,
Continuous Optimization Problems [101.18253437732933]
We develop a generic, machine learning-based framework for mapping continuous-space inverse design problems into surrogate unconstrained binary optimization problems.
We showcase the framework's performance on two inverse design problems by optimizing thermal emitter topologies for thermophotovoltaic applications and (ii) diffractive meta-gratings for highly efficient beam steering.
arXiv Detail & Related papers (2021-05-06T02:22:23Z) - Offline Model-Based Optimization via Normalized Maximum Likelihood
Estimation [101.22379613810881]
We consider data-driven optimization problems where one must maximize a function given only queries at a fixed set of points.
This problem setting emerges in many domains where function evaluation is a complex and expensive process.
We propose a tractable approximation that allows us to scale our method to high-capacity neural network models.
arXiv Detail & Related papers (2021-02-16T06:04:27Z) - Binary Matrix Factorisation via Column Generation [6.445605125467574]
We consider the problem of low-rank binary matrix factorisation (BMF) under arithmetic.
We formulate the problem as a mixed integer linear program and use a large scale optimisation technique of column generation to solve it.
Experimental results on real world datasets demonstrate that our proposed method is effective at producing highly accurate factorisations.
arXiv Detail & Related papers (2020-11-09T14:27:36Z) - Quantum-Inspired Algorithms from Randomized Numerical Linear Algebra [53.46106569419296]
We create classical (non-quantum) dynamic data structures supporting queries for recommender systems and least-squares regression.
We argue that the previous quantum-inspired algorithms for these problems are doing leverage or ridge-leverage score sampling in disguise.
arXiv Detail & Related papers (2020-11-09T01:13:07Z) - Quantum Approximate Optimization for Hard Problems in Linear Algebra [0.0]
We explore using QAOA for Binary Linear Least Squares (BLLS) as a building block of several other hard problems in linear algebra.
For the scope of this work, our experiments were done on noiseless quantum simulators, a simulator including a device-realistic noise-model, and two IBM Q 5-qubit machines.
Our numerics show that Simulated Annealing can outperform QAOA for BLLS at a QAOA depth of $pleq3$ for the probability of sampling the ground state.
arXiv Detail & Related papers (2020-06-27T20:13:24Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.