-
Extending Exact SDP Relaxations of Quadratically Constrained Quadratic Programs
Authors:
Masakazu Kojima,
Sunyoung Kim,
Naohiko Arima
Abstract:
The semidefinite (SDP) relaxation of a quadratically constrained quadratic program (QCQP) is called exact if it has a rank-$1$ optimal solution corresponding to a QCQP optimal solution. Given an arbitrary QCQP whose SDP relaxation is exact, this paper investigates incorporating additional quadratic inequality constraints while maintaining the exactness of the SDP relaxation of the resulting QCQP.…
▽ More
The semidefinite (SDP) relaxation of a quadratically constrained quadratic program (QCQP) is called exact if it has a rank-$1$ optimal solution corresponding to a QCQP optimal solution. Given an arbitrary QCQP whose SDP relaxation is exact, this paper investigates incorporating additional quadratic inequality constraints while maintaining the exactness of the SDP relaxation of the resulting QCQP. Three important classes of QCQPs with exact SDP relaxations include (a) those characterized by rank-one generated cones, (b) those by convexity, and (c) those by the sign pattern of the data coefficient matrices. These classes have been studied independently until now. By adding quadratic inequality constraints satisfying the proposed conditions to QCQPs in these classes, we extend the exact SDP relaxation to broader classes of QCQPs. Illustrative QCQP instances are provided.
△ Less
Submitted 4 April, 2025;
originally announced April 2025.
-
Constructing QCQP Instances Equivalent to Their SDP Relaxations
Authors:
Masakazu Kojima,
Naohiko Arima,
Sunyoung Kim
Abstract:
General quadratically constrained quadratic programs (QCQPs) are challenging to solve as they are known to be NP-hard. A popular approach to approximating QCQP solutions is to use semidefinite programming (SDP) relaxations. It is well-known that the optimal value $η$ of the SDP relaxation problem bounds the optimal value $ζ$ of the QCQP from below, i.e., $η\leq ζ$. The two problems are considered…
▽ More
General quadratically constrained quadratic programs (QCQPs) are challenging to solve as they are known to be NP-hard. A popular approach to approximating QCQP solutions is to use semidefinite programming (SDP) relaxations. It is well-known that the optimal value $η$ of the SDP relaxation problem bounds the optimal value $ζ$ of the QCQP from below, i.e., $η\leq ζ$. The two problems are considered equivalent if $η= ζ$. In the recent paper by Arima, Kim and Kojima [arXiv:2409.07213], a class of QCQPs that are equivalent to their SDP relaxations are proposed with no condition imposed on the quadratic objective function, which can be chosen arbitrarily. In this work, we explore the construction of various QCQP instances within this class to complement the results in [arXiv:2409.07213]. Specifically, we first construct QCQP instances with two variables and then extend them to higher dimensions. We also discuss how to compute an optimal QCQP solution from the SDP relaxation.
△ Less
Submitted 20 February, 2025;
originally announced February 2025.
-
Exact SDP relaxations for a class of quadratic programs with finite and infinite quadratic constraints
Authors:
Naohiko Arima,
Sunyoung Kim,
Masakazu Kojima
Abstract:
We investigate exact semidefinite programming (SDP) relaxations for the problem of minimizing a nonconvex quadratic objective function over a feasible region defined by both finitely and infinitely many nonconvex quadratic inequality constraints (semi-infinite QCQPs). Specifically, we present two sufficient conditions on the feasible region under which the QCQP, with any quadratic objective functi…
▽ More
We investigate exact semidefinite programming (SDP) relaxations for the problem of minimizing a nonconvex quadratic objective function over a feasible region defined by both finitely and infinitely many nonconvex quadratic inequality constraints (semi-infinite QCQPs). Specifically, we present two sufficient conditions on the feasible region under which the QCQP, with any quadratic objective function over the feasible region, is equivalent to its SDP relaxation. The first condition is an extension of a result recently proposed by the authors (arXiv:2308.05922, to appear in SIAM J. Optim.) from finitely constrained quadratic programs to semi-infinite QCQPs. The newly introduced second condition offers a clear geometric characterization of the feasible region for a broad class of QCQPs that are equivalent to their SDP relaxations. Several illustrative examples, including quadratic programs with ball-, parabola-, and hyperbola-based constraints, are also provided.
△ Less
Submitted 11 September, 2024;
originally announced September 2024.
-
On a Fujita critical time-fractional semilinear heat equation in the uniformly local weak Zygmund type space
Authors:
Mizuki Kojima
Abstract:
In this paper, we derive sufficient conditions on initial data for the local-in-time solvability of a time-fractional semilinear heat equation with the Fujita exponent in a uniformly local weak Zygmund type space. It is known that the time-fractional problem with the Fujita exponent in the scale critical space $L^1(\mathbb{R}^N)$ exhibits the local-in-time solvability in contrast to the unsolvabil…
▽ More
In this paper, we derive sufficient conditions on initial data for the local-in-time solvability of a time-fractional semilinear heat equation with the Fujita exponent in a uniformly local weak Zygmund type space. It is known that the time-fractional problem with the Fujita exponent in the scale critical space $L^1(\mathbb{R}^N)$ exhibits the local-in-time solvability in contrast to the unsolvability of the Fujita critical classical semilinear heat equation. Our new sufficient conditions take into account the fine structure of singularities of the initial data, in order to show a natural correspondance between the time-fractional and the classical case for the local-in-time solvability. We also apply our arguments to life span estimates for some typical initial data.
△ Less
Submitted 29 August, 2024; v1 submitted 27 August, 2024;
originally announced August 2024.
-
An Exceptionally Difficult Binary Quadratic Optimization Problem with Symmetry: a Challenge for The Largest Unsolved QAP Instance Tai256c
Authors:
Koichi Fujii,
Sunyoung Kim,
Masakazu Kojima,
Hans D. Mittelmann,
Yuji Shinano
Abstract:
Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB. It is known that QAP tai256c can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary variables to be 92. As the BQOP is much simpler than the original QAP, the conversion increases the possibility to solve the…
▽ More
Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB. It is known that QAP tai256c can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary variables to be 92. As the BQOP is much simpler than the original QAP, the conversion increases the possibility to solve the QAP. Solving exactly the BQOP, however, is still very difficult. Indeed, a 1.48\% gap remains between the best known upper bound (UB) and lower bound (LB) of the unknown optimal value. This paper shows that the BQOP admits a nontrivial symmetry, a property that makes the BQOP very hard to solve. The symmetry induces equivalent subproblems in branch and bound (BB) methods. To effectively improve the LB, we propose an efficient BB method that incorporates a doubly nonnegative relaxation, the standard orbit branching and a technique to prune equivalent subproblems. With this BB method, a new LB with 1.25\% gap is successfully obtained, and computing an LB with $1.0\%$ gap is shown to be still quite difficult.
△ Less
Submitted 30 September, 2024; v1 submitted 20 December, 2023;
originally announced January 2024.
-
Further Development in Convex Conic Reformulation of Geometric Nonconvex Conic Optimization Problems
Authors:
Naohiko Arima,
Sunyoung Kim,
Masakazu Kojima
Abstract:
A geometric nonconvex conic optimization problem (COP) was recently proposed by Kim, Kojima and Toh as a unified framework for convex conic reformulation of a class of quadratic optimization problems and polynomial optimization problems. The nonconvex COP minimizes a linear function over the intersection of a nonconvex cone $\mathbb{K}$, a convex subcone $\mathbb{J}$ of the convex hull co…
▽ More
A geometric nonconvex conic optimization problem (COP) was recently proposed by Kim, Kojima and Toh as a unified framework for convex conic reformulation of a class of quadratic optimization problems and polynomial optimization problems. The nonconvex COP minimizes a linear function over the intersection of a nonconvex cone $\mathbb{K}$, a convex subcone $\mathbb{J}$ of the convex hull co$\mathbb{K}$ of $\mathbb{K}$, and an affine hyperplane with a normal vector $H$. Under the assumption co$(\mathbb{K} \cap \mathbb{J}) = \mathbb{J}$, the original nonconvex COP in their paper was shown to be equivalently formulated as a convex conic program by replacing the constraint set with the intersection of $\mathbb{J}$ and the affine hyperplane. This paper further studies some remaining issues, not fully investigated there, such as the key assumption co$(\mathbb{K} \cap \mathbb{J}) = \mathbb{J}$ in the framework. More specifically, we provide three sets of necessary-sufficient conditions for the assumption. As an application, we propose a new wide class of quadratically constrained quadratic programs with multiple nonconvex equality and inequality constraints that can be solved exactly by their semidefinite relaxation.
△ Less
Submitted 10 September, 2024; v1 submitted 10 August, 2023;
originally announced August 2023.
-
On solvability of a time-fractional semilinear heat equation, and its quantitative approach to the classical counterpart
Authors:
Kotaro Hisa,
Mizuki Kojima
Abstract:
We are concerned with the following time-fractional semilinear heat equation in the $N$-dimensional whole space ${\bf R}^N$ with $N \geq 1$.
\[
{\rm (P)}_α\qquad
\partial_t^αu -Δu = u^p,\quad t>0,\,\,\, x\in{\bf R}^N, \qquad
u(0) = μ\quad \mbox{in}\quad {\bf R}^N,
\]
where $\partial_t^α$ denotes the Caputo derivative of order $α\in (0,1)$, $p>1$, and $μ$ is a nonnegative Radon measure…
▽ More
We are concerned with the following time-fractional semilinear heat equation in the $N$-dimensional whole space ${\bf R}^N$ with $N \geq 1$.
\[
{\rm (P)}_α\qquad
\partial_t^αu -Δu = u^p,\quad t>0,\,\,\, x\in{\bf R}^N, \qquad
u(0) = μ\quad \mbox{in}\quad {\bf R}^N,
\]
where $\partial_t^α$ denotes the Caputo derivative of order $α\in (0,1)$, $p>1$, and $μ$ is a nonnegative Radon measure on ${\bf R}^N$. The case $α=1$ formally gives the Fujita-type equation (P)$_1$ \ $\partial_tu-Δu=u^p$. In particular, we mainly focus on the Fujita critical case where $p=p_F:=1+2/N$. It is well known that the Fujita exponent $p_F$ separates the ranges of $p$ for the global-in-time solvability of (P)$_1$. In particular, (P)$_1$ with $p=p_F$ possesses no global-in-time solutions, and does not locally-in-time solvable in its scale critical space $L^1(\mathbf{R}^N)$. It is also known that the exponent $p_F$ plays the same role for the global-in-time solvability for (P)$_α$. However, the problem (P)$_α$ with $p=p_F$ is globally-in-time solvable, and exhibites local-in-time solvability in its scale critical space $L^1(\mathbf{R}^N)$. The purpose of this paper is to clarify the collapse of the global and local-in-time solvability of (P)$_α$ as $α$ approaches $1-0$.
△ Less
Submitted 29 July, 2024; v1 submitted 31 July, 2023;
originally announced July 2023.
-
Equivalent Sufficient Conditions for Global Optimality of Quadratically Constrained Quadratic Program
Authors:
Sunyoung Kim,
Masakazu Kojima
Abstract:
We study the equivalence of several well-known sufficient optimality conditions for a general quadratically constrained quadratic program (QCQP). The conditions are classified in two categories. The first one is for determining an optimal solution and the second one is for finding an optimal value. The first category of conditions includes the existence of a saddle point of the Lagrangian function…
▽ More
We study the equivalence of several well-known sufficient optimality conditions for a general quadratically constrained quadratic program (QCQP). The conditions are classified in two categories. The first one is for determining an optimal solution and the second one is for finding an optimal value. The first category of conditions includes the existence of a saddle point of the Lagrangian function and the existence of a rank-1 optimal solution of the primal SDP relaxation of QCQP. The second category includes $η_p = ζ$, $η_d = ζ$, and $\varphi = ζ$, where $ζ$, $η_p$, $η_d$, and $\varphi$ denote the optimal values of QCQP, the dual SDP relaxation, the primal SDP relaxation and the Lagrangian dual, respectively. We show the equivalence of these conditions with or without the existence of an optimal solution of QCQP and/or the Slater constraint qualification for the primal SDP relaxation. The results on the conditions are also extended to the doubly nonnegative relaxation of equality constrained QCQP in nonnegative variables.
△ Less
Submitted 12 March, 2023; v1 submitted 10 March, 2023;
originally announced March 2023.
-
On solvability of a time-fractional doubly critical semilinear equation, and its quantitative approach to the non-existence result on the classical counterpart
Authors:
Mizuki Kojima
Abstract:
We study a time-fractional semilinear heat equation $$\partial^α_t u -Δu = u^{p},\ \ \mbox{in}\ (0,T)\times\mathbb{R}^N,\ \ u(0)=u_0\ge0$$ with $u_0\in L^{1}(\mathbb{R}^N)$ and $p=1+2/N$. Here $\partial_t^α$ denotes the Caputo derivative of order $α\in (0,1)$. Since the space $L^1(\mathbb{R}^N)$ is scale critical with $p=1+2/N$, this type of equation is known as a doubly critical problem. It is kn…
▽ More
We study a time-fractional semilinear heat equation $$\partial^α_t u -Δu = u^{p},\ \ \mbox{in}\ (0,T)\times\mathbb{R}^N,\ \ u(0)=u_0\ge0$$ with $u_0\in L^{1}(\mathbb{R}^N)$ and $p=1+2/N$. Here $\partial_t^α$ denotes the Caputo derivative of order $α\in (0,1)$. Since the space $L^1(\mathbb{R}^N)$ is scale critical with $p=1+2/N$, this type of equation is known as a doubly critical problem. It is known that the usual doubly critical equation $\partial_t u-Δu=u^p$ does not have nonnegative global-in-time solutions, while the time-fractional problem does. Moreover, there exists a singular initial data which admits no local-in-time solution, while the time-fractional equation is solvable for any $L^{1}(\mathbb{R}^N)$ initial data. In this paper, we deduce a necessary condition imposed on $u_0$ for the existence of a nonnegative solution. Furthermore, we obtain corollaries that describe the collapse of the local and global solvability for the time-fractional equation as $α\rightarrow 1$.
△ Less
Submitted 2 February, 2023; v1 submitted 30 January, 2023;
originally announced January 2023.
-
The Largest Unsolved QAP Instance Tai256c Can Be Converted into A 256-dimensional Simple BQOP with A Single Cardinality Constraint
Authors:
Koichi Fujii,
Sunyoung Kim,
Masakazu Kojima,
Hans D. Mittelmann,
Yuji Shinano
Abstract:
Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB; a 1.48\% gap remains between the best known feasible objective value and lower bound of the unknown optimal value. This paper shows that the instance can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary vari…
▽ More
Tai256c is the largest unsolved quadratic assignment problem (QAP) instance in QAPLIB; a 1.48\% gap remains between the best known feasible objective value and lower bound of the unknown optimal value. This paper shows that the instance can be converted into a 256 dimensional binary quadratic optimization problem (BQOP) with a single cardinality constraint which requires the sum of the binary variables to be 92. The converted BQOP is much simpler than the original QAP tai256c and it also inherits some of the symmetry properties. However, it is still very difficult to solve. We present an efficient branch and bound method for improving the lower bound effectively. A new lower bound with 1.36\% gap is also provided.
△ Less
Submitted 28 October, 2022;
originally announced October 2022.
-
Strong duality of a conic optimization problem with a single hyperplane and two cone constraints
Authors:
Sunyoung Kim,
Masakazu Kojima
Abstract:
Strong (Lagrangian) duality of general conic optimization problems (COPs) has long been studied and its profound and complicated results appear in different forms in a wide range of literatures. As a result, characterizing the known and unknown results can sometimes be difficult. The aim of this article is to provide a unified and geometric view of strong duality of COPs for the known results. For…
▽ More
Strong (Lagrangian) duality of general conic optimization problems (COPs) has long been studied and its profound and complicated results appear in different forms in a wide range of literatures. As a result, characterizing the known and unknown results can sometimes be difficult. The aim of this article is to provide a unified and geometric view of strong duality of COPs for the known results. For our framework, we employ a COP minimizing a linear function in a vector variable $x$ subject to a single hyperplane constraint $x \in H$ and two cone constraints $x \in K_1$, $x \in K_2$. It can be identically reformulated as a simpler COP with the single hyperplane constraint $x \in H$ and the single cone constraint $x \in K_1 \cap K_2$. This simple COP and its dual as well as their duality relation can be represented geometrically, and they have no duality gap without any constraint qualification. The dual of the original target COP is equivalent to the dual of the reformulated COP if the Minkowski sum of the duals of the two cones $K_1$ and $K_2$ is closed or if the dual of the reformulated COP satisfies a certain Slater condition. Thus, these two conditions make it possible to transfer all duality results, including the existence and/or boundedness of optimal solutions, on the reformulated COP to the ones on the original target COP, and further to the ones on a standard primal-dual pair of COPs with symmetry.
△ Less
Submitted 4 July, 2022; v1 submitted 5 November, 2021;
originally announced November 2021.
-
Adaptive Contrast Test for Dose-Response Studies and Modeling
Authors:
Masahiro Kojima
Abstract:
We propose a powerful adaptive contrast test with ordinal constraint contrast coefficients determined by observed responses. The adaptive contrast test can perform using easily calculated contrast coefficients and existing statistical software. We provide the sample SAS program codes of analysis and calculation of power for the adaptive contrast test. After the adaptive contrast test shows the sta…
▽ More
We propose a powerful adaptive contrast test with ordinal constraint contrast coefficients determined by observed responses. The adaptive contrast test can perform using easily calculated contrast coefficients and existing statistical software. We provide the sample SAS program codes of analysis and calculation of power for the adaptive contrast test. After the adaptive contrast test shows the statistically significant dose-response, we consider to select the best dose-response model from multiple dose-response models. Based on the best model, we identify a recommended dose. We demonstrate the adaptive contrast test for sample data. In addition, we show the calculation of coefficient, test statistic, and recommended dose for the actual study. We perform the simulation study with eleven scenarios to evaluate the performance of the adaptive contrast test. We confirmed the statistically significant dose-response for the sample data and the actual study. In the simulation study, we confirmed that the adaptive contrast test has higher power in most scenarios compared to the conventional method. In addition, we confirmed that the type 1 error rate of the adaptive contrast test was maintained at a significance level when there was no difference between the treatment groups. We conclude that the adaptive contrast test can be applied unproblematically to the dose-response study.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Generating Cutting Inequalities Successively for Quadratic Optimization Problems in Binary Variables
Authors:
Sunyoung Kim,
Masakazu Kojima
Abstract:
We propose a successive generation of cutting inequalities for binary quadratic optimization problems. Multiple cutting inequalities are successively generated for the convex hull of the set of the optimal solutions $\subset \{0, 1\}^n$, while the standard cutting inequalities are used for the convex hull of the feasible region. An arbitrary linear inequality with integer coefficients and the righ…
▽ More
We propose a successive generation of cutting inequalities for binary quadratic optimization problems. Multiple cutting inequalities are successively generated for the convex hull of the set of the optimal solutions $\subset \{0, 1\}^n$, while the standard cutting inequalities are used for the convex hull of the feasible region. An arbitrary linear inequality with integer coefficients and the right-hand side value in integer is considered as a candidate for a valid inequality. The validity of the linear inequality is determined by solving a conic relaxation of a subproblem such as the doubly nonnegative relaxation, under the assumption that an upper bound for the unknown optimal value of the problem is available. Moreover, the candidates generated for the multiple cutting inequalities are tested simultaneously for their validity in parallel. Preliminary numerical results on 60 quadratic unconstrained binary optimization problems with a simple implementation of the successive cutting inequalities using an 8- or 32-core machine show that the exact optimal values are obtained for 70\% of the tested problems, demonstrating the strong potential of the proposed technique.
△ Less
Submitted 19 July, 2021;
originally announced July 2021.
-
The existence and regularity theory for abstract semilinear time-fractional evolution equations
Authors:
Mizuki Kojima
Abstract:
In this paper, we investigate abstract time-fractional evolution equations with nonlinear perturbations. We construct solutions of Lipschitz perturbation problems in arbitrary large time interval independent of the Lipschitz constants. We will extend well-known results for standard evolution equations such as the blow-up alternative, to the time-fractional evolution equations. We also prove the di…
▽ More
In this paper, we investigate abstract time-fractional evolution equations with nonlinear perturbations. We construct solutions of Lipschitz perturbation problems in arbitrary large time interval independent of the Lipschitz constants. We will extend well-known results for standard evolution equations such as the blow-up alternative, to the time-fractional evolution equations. We also prove the differentiability with respect to time of the solution when the perturbation is sufficiently smooth. The differentiability enables us to use the maximum principle. The theory on general Banach spaces enables us to deduce space regularity result easily.
△ Less
Submitted 19 September, 2021; v1 submitted 1 June, 2021;
originally announced June 2021.
-
Solving Challenging Large Scale QAPs
Authors:
Koichi Fujii,
Naoki Ito,
Sunyoung Kim,
Masakazu Kojima,
Yuji Shinano,
Kim-Chuan Toh
Abstract:
We report our progress on the project for solving larger scale quadratic assignment problems (QAPs). Our main approach to solve large scale NP-hard combinatorial optimization problems such as QAPs is a parallel branch-and-bound method efficiently implemented on a powerful computer system using the Ubiquity Generator (UG) framework that can utilize more than 100,000 cores. Lower bounding procedures…
▽ More
We report our progress on the project for solving larger scale quadratic assignment problems (QAPs). Our main approach to solve large scale NP-hard combinatorial optimization problems such as QAPs is a parallel branch-and-bound method efficiently implemented on a powerful computer system using the Ubiquity Generator (UG) framework that can utilize more than 100,000 cores. Lower bounding procedures incorporated in the branch-and-bound method play a crucial role in solving the problems. For a strong lower bounding procedure, we employ the Lagrangian doubly nonnegative (DNN) relaxation and the Newton-bracketing method developed by the authors' group. In this report, we describe some basic tools used in the project including the lower bounding procedure and branching rules, and present some preliminary numerical results.
Our next target problem is QAPs with dimension at least 50, as we have succeeded to solve tai30a and sko42 from QAPLIB for the first time.
△ Less
Submitted 23 January, 2021;
originally announced January 2021.
-
A Newton-bracketing method for a simple conic optimization problem
Authors:
Sunyoung Kim,
Masakazu Kojima,
Kim-Chuan Toh
Abstract:
For the Lagrangian-DNN relaxation of quadratic optimization problems (QOPs), we propose a Newton-bracketing method to improve the performance of the bisection-projection method implemented in BBCPOP [to appear in ACM Tran. Softw., 2019]. The relaxation problem is converted into the problem of finding the largest zero $y^*$ of a continuously differentiable (except at $y^*$) convex function…
▽ More
For the Lagrangian-DNN relaxation of quadratic optimization problems (QOPs), we propose a Newton-bracketing method to improve the performance of the bisection-projection method implemented in BBCPOP [to appear in ACM Tran. Softw., 2019]. The relaxation problem is converted into the problem of finding the largest zero $y^*$ of a continuously differentiable (except at $y^*$) convex function $g : \mathbb{R} \rightarrow \mathbb{R}$ such that $g(y) = 0$ if $y \leq y^*$ and $g(y) > 0$ otherwise. In theory, the method generates lower and upper bounds of $y^*$ both converging to $y^*$. Their convergence is quadratic if the right derivative of $g$ at $y^*$ is positive. Accurate computation of $g'(y)$ is necessary for the robustness of the method, but it is difficult to achieve in practice. As an alternative, we present a secant-bracketing method. We demonstrate that the method improves the quality of the lower bounds obtained by BBCPOP and SDPNAL+ for binary QOP instances from BIQMAC. Moreover, new lower bounds for the unknown optimal values of large scale QAP instances from QAPLIB are reported.
△ Less
Submitted 29 May, 2019;
originally announced May 2019.
-
Doubly nonnegative relaxations are equivalent to completely positive reformulations of quadratic optimization problems with block-clique graph structures
Authors:
Sunyoung Kim,
Masakazu Kojima,
Kim-Chuan Toh
Abstract:
We study the equivalence among a nonconvex QOP, its CPP and DNN relaxations under the assumption that the aggregated and correlative sparsity of the data matrices of the CPP relaxation is represented by a block-clique graph $G$. By exploiting the correlative sparsity, we decompose the CPP relaxation problem into a clique-tree structured family of smaller subproblems. Each subproblem is associated…
▽ More
We study the equivalence among a nonconvex QOP, its CPP and DNN relaxations under the assumption that the aggregated and correlative sparsity of the data matrices of the CPP relaxation is represented by a block-clique graph $G$. By exploiting the correlative sparsity, we decompose the CPP relaxation problem into a clique-tree structured family of smaller subproblems. Each subproblem is associated with a node of a clique tree of $G$. The optimal value can be obtained by applying an algorithm that we propose for solving the subproblems recursively from leaf nodes to the root node of the clique-tree. We establish the equivalence between the QOP and its DNN relaxation from the equivalence between the reduced family of subproblems and their DNN relaxations by applying the known results on: (i) CPP and DNN reformulation of a class of QOPs with linear equality, complementarity and binary constraints in 4 nonnegative variables. (ii) DNN reformulation of a class of quadratically constrained convex QOPs with any size. (iii) DNN reformulation of LPs with any size. As a result, we show that a QOP whose subproblems are the QOPs mentioned in (i), (ii) and (iii) is equivalent to its DNN relaxation, if the subproblems form a clique-tree structured family induced from a block-clique graph.
△ Less
Submitted 18 March, 2019;
originally announced March 2019.
-
A Geometrical Analysis of a Class of Nonconvex Conic Programs for Convex Conic Reformulations of Quadratic and Polynomial Optimization Problems
Authors:
Sunyoung Kim,
Masakazu Kojima,
Kim-Chuan Toh
Abstract:
We present a geometrical analysis on the completely positive programming reformulation of quadratic optimization problems and its extension to polynomial optimization problems with a class of geometrically defined nonconvex conic programs and their covexification. The class of nonconvex conic programs is described with a linear objective functionin a linear space $V$, and the constraint set is rep…
▽ More
We present a geometrical analysis on the completely positive programming reformulation of quadratic optimization problems and its extension to polynomial optimization problems with a class of geometrically defined nonconvex conic programs and their covexification. The class of nonconvex conic programs is described with a linear objective functionin a linear space $V$, and the constraint set is represented geometrically as the intersection of a nonconvex cone $K \subset V$, a face $J$ of the convex hull of $K$ and a parallel translation $L$ of a supporting hyperplane of the nonconvex cone $K$. We show that under a moderate assumption, the original nonconvex conic program can equivalently be reformulated as a convex conic program by replacing the constraint set with the intersection of $J$ and the hyperplane $L$. The replacement procedure is applied to derive the completely positive programming reformulation of quadratic optimization problems and its extension to polynomial optimization problems.
△ Less
Submitted 8 January, 2019;
originally announced January 2019.
-
BBCPOP: A Sparse Doubly Nonnegative Relaxation of Polynomial Optimization Problems with Binary, Box and Complementarity Constraints
Authors:
Naoki Ito,
Sunyoung Kim,
Masakazu Kojima,
Akiko Takeda,
Kim-Chuan Toh
Abstract:
The software package BBCPOP is a MATLAB implementation of a hierarchy of sparse doubly nonnegative (DNN) relaxations of a class of polynomial optimization (minimization) problems (POPs) with binary, box and complementarity (BBC) constraints. Given a POP in the class and a relaxation order, BBCPOP constructs a simple conic optimization problem (COP), which serves as a DNN relaxation of the POP, and…
▽ More
The software package BBCPOP is a MATLAB implementation of a hierarchy of sparse doubly nonnegative (DNN) relaxations of a class of polynomial optimization (minimization) problems (POPs) with binary, box and complementarity (BBC) constraints. Given a POP in the class and a relaxation order, BBCPOP constructs a simple conic optimization problem (COP), which serves as a DNN relaxation of the POP, and then solves the COP by applying the bisection and projection (BP) method. The COP is expressed with a linear objective function and constraints described as a single hyperplane and two cones, which are the Cartesian product of positive semidefinite cones and a polyhedral cone induced from the BBC constraints. BBCPOP aims to compute a tight lower bound for the optimal value of a large-scale POP in the class that is beyond the comfort zone of existing software packages. The robustness, reliability and efficiency of BBCPOP are demonstrated in comparison to the state-of-the-art software SDP package SDPNAL+ on randomly generated sparse POPs of degree 2 and 3 with up to a few thousands variables, and ones of degree 4, 5, 6. and 8 with up to a few hundred variables. Comparison with other BBC POPs that arise from combinatorial optimization problems such as quadratic assignment problems are also reported. The software package BBCPOP is available at https://sites.google.com/site/bbcpop1/.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
Relations Between the Conditional Normalized Maximum Likelihood Distributions and the Latent Information Priors
Authors:
Mutsuki Kojima,
Fumiyasu Komaki
Abstract:
We reveal the relations between the conditional normalized maximum likelihood (CNML) distributions and Bayesian predictive densities based on the latent information priors (LIPs). In particular, CNML3, which is one type of CNML distributions, is investigated. The Bayes projection of a predictive density, which is an information projection of the predictive density on a set of Bayesian predictive d…
▽ More
We reveal the relations between the conditional normalized maximum likelihood (CNML) distributions and Bayesian predictive densities based on the latent information priors (LIPs). In particular, CNML3, which is one type of CNML distributions, is investigated. The Bayes projection of a predictive density, which is an information projection of the predictive density on a set of Bayesian predictive densities, is considered. We prove that the sum of the Bayes projection divergence of CNML3 and the conditional mutual information is asymptotically constant. This result implies that the Bayes projection of CNML3 (BPCNML3) is asymptotically identical to the Bayesian predictive density based on LIP. In addition, under some stronger assumptions, we show that BPCNML3 exactly coincides with the Bayesian predictive density based on LIP.
△ Less
Submitted 25 December, 2014;
originally announced December 2014.
-
Some Fundamental Properties of Successive Convex Relaxation Methods on LCP and Related Problems
Authors:
Levent Tuncel,
Masakazu Kojima
Abstract:
General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the s…
▽ More
General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the specialized lift-and-project methods and some of the possible ways of applying the general SCRMs to LCPs and related problems.
△ Less
Submitted 23 May, 2000;
originally announced May 2000.
-
Some fundamental properties of successive convex relaxation methods on LCP and related problems
Authors:
Masakazu Kojima,
Levent Tuncel
Abstract:
General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the s…
▽ More
General Successive Convex Relaxation Methods (SRCMs) can be used to compute the convex hull of any compact set, in an Euclidean space, described by a system of quadratic inequalities and a compact convex set which is not very complicated. Linear Complementarity Problems (LCPs) make an interesting and rich class of structured nonconvex optimization problems. In this paper, we study a few of the specialized lift-and-project methods and some of the possible ways of applying the general SCRMs to LCPs and related problems.
△ Less
Submitted 30 April, 1999;
originally announced May 1999.
