Geometric programming explained

A geometric program (GP) is an optimization problem of the form

\begin{array}{ll} minimize & f _{0(x)} \\ subjectto & f _{i(x)} \leq 1 , i =1 , \ldots, m\\ & g _{i(x)} = 1 , i =1 , \ldots, p, \end{array} where f _{0,...,f} _{m} are posynomials and g _{1,...,g} _{p} are monomials. In the context of geometric programming (unlike standard mathematics), a monomial is a function from R ^{n} _{++} to R defined asx \mapsto c x ^{a _{1}} _{1} x ^{a _{2}} _{2} … x ^{a _{n}} _{n}

where

c > 0 and a _{i} \in R . A posynomial is any sum of monomials.^{[1] [2]}

Geometric programming isclosely related to convex optimization: any GP can be made convex by means of a change of variables.^[2] GPs have numerous applications, including component sizing in IC design,^{[3] [4]} aircraft design,^[5] maximum likelihood estimation for logistic regression in statistics, and parameter tuning of positive linear systems in control theory.^[6]

Convex form

Geometric programs are not in general convex optimization problems, but they can be transformed to convex problems by a change of variables and a transformation of the objective and constraint functions. In particular, after performing the change of variables

y _{i} = log (x _{i)} and taking the log of the objective and constraint functions, the functions f _{i} , i.e., the posynomials, are transformed into log-sum-exp functions, which are convex, and the functions g _{i} , i.e., the monomials, become affine. Hence, this transformation transforms every GP into an equivalent convex program.^[2] In fact, this log-log transformation can be used to convert a larger class of problems, known as log-log convex programming (LLCP), into an equivalent convex form.^[7]

Software

Several software packages exist to assist with formulating and solving geometric programs.

• MOSEK is a commercial solver capable of solving geometric programs as well as other non-linear optimization problems.
• CVXOPT is an open-source solver for convex optimization problems.
• GPkit is a Python package for cleanly defining and manipulating geometric programming models. There are a number of example GP models written with this package here.
• GGPLAB is a MATLAB toolbox for specifying and solving geometric programs (GPs) and generalized geometric programs (GGPs).
• CVXPY is a Python-embedded modeling language for specifying and solving convex optimization problems, including GPs, GGPs, and LLCPs. ^[7]

See also

• Signomial
• Clarence Zener

Notes and References

1. Book: Richard J. Duffin . Elmor L. Peterson . Clarence Zener . Geometric Programming . John Wiley and Sons . 1967 . 278 . 0-471-22370-0.
2. S. Boyd, S. J. Kim, L. Vandenberghe, and A. Hassibi. A Tutorial on Geometric Programming. Retrieved 20 October 2019.
3. M. Hershenson, S. Boyd, and T. Lee. Optimal Design of a CMOS Op-amp via Geometric Programming. Retrieved 8 January 2019.
4. S. Boyd, S. J. Kim, D. Patil, and M. Horowitz. Digital Circuit Optimization via Geometric Programming. Retrieved 20 October 2019.
5. W. Hoburg and P. Abbeel. Geometric programming for aircraft design optimization. AIAA Journal 52.11 (2014): 2414-2426.
6. Ogura. Masaki. Kishida. Masako. Lam. James. 2020. Geometric Programming for Optimal Positive Linear Systems. IEEE Transactions on Automatic Control. 65. 11. 4648–4663. 10.1109/TAC.2019.2960697. 0018-9286. 1904.12976. 140222942 .
7. A. Agrawal, S. Diamond, and S. Boyd. Disciplined Geometric Programming. Retrieved 8 January 2019.