Dual-Matrix Domain-Wall: A Novel Technique for Generating Permutations
by QUBO and Ising Models with Quadratic Sizes
- URL: http://arxiv.org/abs/2308.01024v2
- Date: Wed, 1 Nov 2023 23:54:11 GMT
- Title: Dual-Matrix Domain-Wall: A Novel Technique for Generating Permutations
by QUBO and Ising Models with Quadratic Sizes
- Authors: Koji Nakano and Shunsuke Tsukiyama and Yasuaki Ito and Takashi Yazane
and Junko Yano and Takumi Kato and Shiro Ozaki and Rie Mori and Ryota Katsuki
- Abstract summary: This paper introduces a novel permutation encoding technique called dual-matrix domain-wall.
It significantly reduces the number of quadratic terms and the maximum absolute coefficient values in the kernel.
We also demonstrate the applicability of our encoding technique to partial permutations and Quadratic Unconstrained Binary Optimization (QUBO) models.
- Score: 0.14454647768189902
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The Ising model is defined by an objective function using a quadratic formula
of qubit variables. The problem of an Ising model aims to determine the qubit
values of the variables that minimize the objective function, and many
optimization problems can be reduced to this problem. In this paper, we focus
on optimization problems related to permutations, where the goal is to find the
optimal permutation out of the $n!$ possible permutations of $n$ elements. To
represent these problems as Ising models, a commonly employed approach is to
use a kernel that utilizes one-hot encoding to find any one of the $n!$
permutations as the optimal solution. However, this kernel contains a large
number of quadratic terms and high absolute coefficient values. The main
contribution of this paper is the introduction of a novel permutation encoding
technique called dual-matrix domain-wall, which significantly reduces the
number of quadratic terms and the maximum absolute coefficient values in the
kernel. Surprisingly, our dual-matrix domain-wall encoding reduces the
quadratic term count and maximum absolute coefficient values from $n^3-n^2$ and
$2n-4$ to $6n^2-12n+4$ and $2$, respectively. We also demonstrate the
applicability of our encoding technique to partial permutations and Quadratic
Unconstrained Binary Optimization (QUBO) models. Furthermore, we discuss a
family of permutation problems that can be efficiently implemented using
Ising/QUBO models with our dual-matrix domain-wall encoding.
Related papers
- Kissing to Find a Match: Efficient Low-Rank Permutation Representation [33.880247068298374]
We propose to tackle the curse of dimensionality of large permutation matrices by approximating them using low-rank matrix factorization, followed by a nonlinearity.
We demonstrate the applicability and merits of the proposed approach through a series of experiments on a range of problems.
arXiv Detail & Related papers (2023-08-25T08:59:03Z) - Quasi-binary encoding based quantum alternating operator ansatz [7.681120805934572]
This paper proposes a quasi-binary encoding based algorithm for solving a specific quadratic optimization models with discrete variables.
In other parts of the QAOA framework, we also incorporate ideas such as CVaR-QAOA and parameter scheduling methods into our QAOA algorithm.
arXiv Detail & Related papers (2023-04-14T03:49:26Z) - 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) - Kernelized multi-graph matching [0.0]
We introduce a novel kernelized multigraph matching technique that handles both the attributes of the pair and the edges of the graphs.
We propose several projectors leading to improved stability of the results.
arXiv Detail & Related papers (2022-10-11T07:22:47Z) - Optimal Diagonal Preconditioning: Theory and Practice [23.79536881427839]
This paper presents the problem of optimal diagonal preconditioning to achieve maximal reduction in any full-rank number of rows or columns or simultaneously.
We provide a baseline bisection algorithm that is easy to implement in practice.
Next, we specialize to one-sided optimal diagonal preconditioning problems, and demonstrate that they can be formulated as standard dual SDP problems.
arXiv Detail & Related papers (2022-09-02T04:21:28Z) - Twisted hybrid algorithms for combinatorial optimization [68.8204255655161]
Proposed hybrid algorithms encode a cost function into a problem Hamiltonian and optimize its energy by varying over a set of states with low circuit complexity.
We show that for levels $p=2,ldots, 6$, the level $p$ can be reduced by one while roughly maintaining the expected approximation ratio.
arXiv Detail & Related papers (2022-03-01T19:47:16Z) - Minimax Optimal Quantization of Linear Models: Information-Theoretic
Limits and Efficient Algorithms [59.724977092582535]
We consider the problem of quantizing a linear model learned from measurements.
We derive an information-theoretic lower bound for the minimax risk under this setting.
We show that our method and upper-bounds can be extended for two-layer ReLU neural networks.
arXiv Detail & Related papers (2022-02-23T02:39:04Z) - Fast Differentiable Matrix Square Root and Inverse Square Root [65.67315418971688]
We propose two more efficient variants to compute the differentiable matrix square root and the inverse square root.
For the forward propagation, one method is to use Matrix Taylor Polynomial (MTP), and the other method is to use Matrix Pad'e Approximants (MPA)
A series of numerical tests show that both methods yield considerable speed-up compared with the SVD or the NS iteration.
arXiv Detail & Related papers (2022-01-29T10:00:35Z) - Fast Differentiable Matrix Square Root [65.67315418971688]
We propose two more efficient variants to compute the differentiable matrix square root.
For the forward propagation, one method is to use Matrix Taylor Polynomial (MTP)
The other method is to use Matrix Pad'e Approximants (MPA)
arXiv Detail & Related papers (2022-01-21T12:18:06Z) - Sparse Quadratic Optimisation over the Stiefel Manifold with Application
to Permutation Synchronisation [71.27989298860481]
We address the non- optimisation problem of finding a matrix on the Stiefel manifold that maximises a quadratic objective function.
We propose a simple yet effective sparsity-promoting algorithm for finding the dominant eigenspace matrix.
arXiv Detail & Related papers (2021-09-30T19:17:35Z) - Combinatorial optimization through variational quantum power method [0.0]
We present a variational quantum circuit method for the power iteration.
It can be used to find the eigenpairs of unitary matrices and so their associated Hamiltonians.
The circuit can be simulated on the near term quantum computers with ease.
arXiv Detail & Related papers (2020-07-02T10:34:16Z)
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.