-
An Efficient Quantum Approximate Optimization Algorithm with Fixed Linear Ramp Schedule for Truss Structure Optimization
Authors:
Junsen Xiao,
Naruethep Sukulthanasorn,
Reika Nomura,
Shuji Moriguchi,
Kenjiro Terada
Abstract:
This study proposes a novel structural optimization framework based on quantum variational circuits, in which the multiplier acting on the cross-sectional area of each rod in a truss structure as an updater is used as a design variable. Specifically, we employ a classical processor for structural analysis with the finite element method, and the Quantum Approximate Optimization Algorithm (QAOA) is…
▽ More
This study proposes a novel structural optimization framework based on quantum variational circuits, in which the multiplier acting on the cross-sectional area of each rod in a truss structure as an updater is used as a design variable. Specifically, we employ a classical processor for structural analysis with the finite element method, and the Quantum Approximate Optimization Algorithm (QAOA) is subsequently performed to update the cross-sectional area so that the compliance is minimized. The advantages of this framework can be seen in three key aspects. First, by defining design variables as multipliers, rather than simply reducing the design variable to a binary candidate of inclusion or exclusion (corresponding to qubit states, ``0" and ``1"), it provides greater flexibility in adjusting the cross-sectional area of the rod at each iteration of the optimization process. Second, the multipliers acting on rods are encoded with on-off encoding, eliminating additional constraints in the convergence judgement. As a result, the objective function is in a simple format, enabling efficient optimization using QAOA.Third, a fixed linear ramp schedule (FLRS) for variational parameter setting bypasses the classical optimization process, thereby improving the operational efficiency of the framework. In the two structural cases investigated in this study, the proposed approach highlights the feasibility and applicability potential of quantum computing in advancing engineering design and optimization. Numerical experiments have demonstrated the effectiveness of this framework, providing a firm foundation for future research on quantum-assisted optimization methods in engineering fields.
△ Less
Submitted 23 February, 2025;
originally announced February 2025.
-
A novel design update framework for topology optimization with quantum annealing: Application to truss and continuum structures
Authors:
Naruethep Sukulthanasorn,
Junsen Xiao,
Koya Wagatsuma,
Reika Nomura,
Shuji Moriguchi,
Kenjiro Terada
Abstract:
This paper presents a novel design update strategy for topology optimization, as an iterative optimization. The key contribution lies in incorporating a design updater concept with quantum annealing, applicable to both truss and continuum structures. To align with density-based approaches in topology optimization, these updaters are formulated through a multiplicative relationship to represent the…
▽ More
This paper presents a novel design update strategy for topology optimization, as an iterative optimization. The key contribution lies in incorporating a design updater concept with quantum annealing, applicable to both truss and continuum structures. To align with density-based approaches in topology optimization, these updaters are formulated through a multiplicative relationship to represent the design material and serve as design variables. Specifically, structural analysis is conducted on a classical computer using the finite element method, while quantum annealing is utilized for topology updates. The primary objective of the framework is to minimize compliance under a volume constraint. An encoding formulation for the design variables is derived, and the penalty method along with a slack variable is employed to transform the inequality volume constraint. Subsequently, the optimization problem for determining the updater is formulated as a Quadratic Unconstrained Binary Optimization (QUBO) model. To demonstrate its performance, the developed design framework is tested on different computing platforms to perform design optimization for truss structures, as well as 2D and 3D continuum structures. Numerical results indicate that the proposed framework successfully finds optimal topologies similar to benchmark results. Furthermore, the results show the advantage of reduced time in finding an optimal design using quantum annealing compared to simulated annealing.
△ Less
Submitted 22 January, 2025; v1 submitted 26 June, 2024;
originally announced June 2024.
-
Inclusion and Intersection Relations Between Fundamental Classes of Discrete Convex Functions
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
In discrete convex analysis, various convexity concepts are considered for discrete functions such as separable convexity, L-convexity, M-convexity, integral convexity, and multimodularity. These concepts of discrete convex functions are not mutually independent. For example, M-natural-convexity is a special case of integral convexity, and the combination of L-natural-convexity and M-natural-conve…
▽ More
In discrete convex analysis, various convexity concepts are considered for discrete functions such as separable convexity, L-convexity, M-convexity, integral convexity, and multimodularity. These concepts of discrete convex functions are not mutually independent. For example, M-natural-convexity is a special case of integral convexity, and the combination of L-natural-convexity and M-natural-convexity coincides with separable convexity. This paper aims at a fairly comprehensive analysis of the inclusion and intersection relations for various classes of discrete convex functions. Emphasis is put on the analysis of multimodularity in relation to L-natural-convexity and M-natural-convexity.
△ Less
Submitted 3 February, 2023; v1 submitted 13 November, 2021;
originally announced November 2021.
-
Note on the Polyhedral Description of the Minkowski Sum of Two L-convex Sets
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
L-convex sets are one of the most fundamental concepts in discrete convex analysis. Furthermore, the Minkowski sum of two L-convex sets, called L2-convex sets, is an intriguing object that is closely related to polymatroid intersection. This paper reveals the polyhedral description of an L2-convex set, together with the observation that the convex hull of an L2-convex set is a box-TDI polyhedron.…
▽ More
L-convex sets are one of the most fundamental concepts in discrete convex analysis. Furthermore, the Minkowski sum of two L-convex sets, called L2-convex sets, is an intriguing object that is closely related to polymatroid intersection. This paper reveals the polyhedral description of an L2-convex set, together with the observation that the convex hull of an L2-convex set is a box-TDI polyhedron. Two different proofs are given for the polyhedral description. The first is a structural short proof, relying on the conjugacy theorem in discrete convex analysis, and the second is a direct algebraic proof, based on Fourier-Motzkin elimination. The obtained results admit natural graph representations. Implications of the obtained results in discrete convex analysis are also discussed.
△ Less
Submitted 24 March, 2022; v1 submitted 20 October, 2021;
originally announced October 2021.
-
On Fundamental Operations for Multimodular Functions
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and…
▽ More
Multimodular functions, primarily used in the literature of queueing theory, discrete-event systems, and operations research, constitute a fundamental function class in discrete convex analysis. The objective of this paper is to clarify the properties of multimodular functions with respect to fundamental operations such as permutation and scaling of variables, projection (partial minimization) and convolution. It is shown, in particular, that the class of multimodular functions is stable under projection under a certain natural condition on the variables to be minimized, and the convolution of two multimodular functions is not necessarily multimodular, even in the special case of the convolution of a multimodular function with a separable convex function.
△ Less
Submitted 22 June, 2019; v1 submitted 11 May, 2018;
originally announced May 2018.
-
Projection and Convolution Operations for Integrally Convex Functions
Authors:
Satoko Moriguchi,
Kazuo Murota
Abstract:
This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under projection, and this is also the case with the subclasses of integrally convex functions satisfying local or global discrete midpoint convexity. As is known in…
▽ More
This paper considers projection and convolution operations for integrally convex functions, which constitute a fundamental function class in discrete convex analysis. It is shown that the class of integrally convex functions is stable under projection, and this is also the case with the subclasses of integrally convex functions satisfying local or global discrete midpoint convexity. As is known in the literature, the convolution of two integrally convex functions may possibly fail to be integrally convex. We show that the convolution of an integrally convex function with a separable convex function remains integrally convex. We also point out in terms of examples that the similar statement is false for integrally convex functions with local or global discrete midpoint convexity.
△ Less
Submitted 7 August, 2018; v1 submitted 10 October, 2017;
originally announced October 2017.
-
Discrete Midpoint Convexity
Authors:
Satoko Moriguchi,
Kazuo Murota,
Akihisa Tamura,
Fabio Tardella
Abstract:
For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer la…
▽ More
For a function defined on a convex set in a Euclidean space, midpoint convexity is the property requiring that the value of the function at the midpoint of any line segment is not greater than the average of its values at the endpoints of the line segment. Midpoint convexity is a well-known characterization of ordinary convexity under very mild assumptions. For a function defined on the integer lattice, we consider the analogous notion of discrete midpoint convexity, a discrete version of midpoint convexity where the value of the function at the (possibly noninteger) midpoint is replaced by the average of the function values at the integer round-up and round-down of the midpoint. It is known that discrete midpoint convexity on all line segments with integer endpoints characterizes L$^{\natural}$-convexity, and that it characterizes submodularity if we restrict the endpoints of the line segments to be at $\ell_\infty$-distance one. By considering discrete midpoint convexity for all pairs at $\ell_\infty$-distance equal to two or not smaller than two, we identify new classes of discrete convex functions, called local and global discrete midpoint convex functions, which are strictly between the classes of L$^{\natural}$-convex and integrally convex functions, and are shown to be stable under scaling and addition. Furthermore, a proximity theorem, with the same small proximity bound as that for L$^{\natural}$-convex functions, is established for discrete midpoint convex functions. Relevant examples of classes of local and global discrete midpoint convex functions are provided.
△ Less
Submitted 17 May, 2019; v1 submitted 7 August, 2017;
originally announced August 2017.
-
Scaling, Proximity, and Optimization of Integrally Convex Functions
Authors:
Satoko Moriguchi,
Kazuo Murota,
Akihisa Tamura,
Fabio Tardella
Abstract:
In discrete convex analysis, the scaling and proximity properties for the class of L$^\natural$-convex functions were established more than a decade ago and have been used to design efficient minimization algorithms. For the larger class of integrally convex functions of $n$ variables, we show here that the scaling property only holds when $n \leq 2$, while a proximity theorem can be established f…
▽ More
In discrete convex analysis, the scaling and proximity properties for the class of L$^\natural$-convex functions were established more than a decade ago and have been used to design efficient minimization algorithms. For the larger class of integrally convex functions of $n$ variables, we show here that the scaling property only holds when $n \leq 2$, while a proximity theorem can be established for any $n$, but only with a superexponential bound. This is, however, sufficient to extend the classical logarithmic complexity result for minimizing a discrete convex function of one variable to the case of integrally convex functions of any fixed number of variables.
△ Less
Submitted 11 December, 2017; v1 submitted 30 March, 2017;
originally announced March 2017.
-
Conic relaxation approaches for equal deployment problems
Authors:
Sena Safarina,
Satoko Moriguchi,
Tim J. Mullin,
Makoto Yamashita
Abstract:
An important problem in the breeding of livestock, crops, and forest trees is the optimum of selection of genotypes that maximizes genetic gain. The key constraint in the optimal selection is a convex quadratic constraint that ensures genetic diversity, therefore, the optimal selection can be cast as a second-order cone programming (SOCP) problem. Yamashita et al. (2015) exploits the structural sp…
▽ More
An important problem in the breeding of livestock, crops, and forest trees is the optimum of selection of genotypes that maximizes genetic gain. The key constraint in the optimal selection is a convex quadratic constraint that ensures genetic diversity, therefore, the optimal selection can be cast as a second-order cone programming (SOCP) problem. Yamashita et al. (2015) exploits the structural sparsity of the quadratic constraints and reduces the computation time drastically while attaining the same optimal solution.
This paper is concerned with the special case of equal deployment (ED), in which we solve the optimal selection problem with the constraint that contribution of genotypes must either be a fixed size or zero. This involves a nature of combinatorial optimization, and the ED problem can be described as a mixed-integer SOCP problem.
In this paper, we discuss conic relaxation approaches for the ED problem based on LP (linear programming), SOCP, and SDP (semidefinite programming). We analyze theoretical bounds derivedfrom the SDP relaxation approaches using the work of Tseng (2003) and show that the theoretical bounds are not quite sharp for tree breeding problems. We propose a steepest-ascent method that combines the solution obtained from the conic relaxation problems with a concept from discrete convex optimization in order to acquire an approximate solution for the ED problem in a practical time. From numerical tests, we observed that among the LP, SOCP, and SDP relaxation problems, SOCP gave a suitable solution from the viewpoints of the optimal values and the computation time. The steepest-ascent method starting from the SOCP solution provides high-quality solutions much faster than an existing method that has been widely used for the optimal selection problems and a branch-and-bound method.
△ Less
Submitted 9 March, 2017;
originally announced March 2017.
