Search arXiv⌕ Search

arXiv · 2610.28132

Solving a PDE-constrained antenna design problem by mixed-integer programming

Abstract

This paper shows that a mixed integer PDE-constrained design optimization problem can be made amenable to be solved to optimality using standard mixed-integer programming solvers. The concrete problem that we consider is the optimal design of the topology of an antenna, a problem that keeps haunting the engineering community. Indeed, up to this point no exact method was known. Existing methods rely on iterative use of PDE-solvers, embedded in either gradient methods or metaheuristics. However, none of these methods come with performance guarantees. We break this barrier, showing that important antenna design problems can be solved optimally using a mixed integer linear program, plus one singleton second order cone constraint in two variables. The main contribution of the paper is to develop such a formulation. There are two major methodological steps to get there. The first is to show how a standard boundary element method (BEM), based on a discretized design space, translates into a mixed integer program at all. Approached intuitively, this yields a maximization problem with non-concave objective, which is hence not tractable. The second is to make the objective function linear, using a new Charnes-Cooper transform for mathematical programming over complex numbers. We evaluate our approach on the classic dipole antenna, reconfirming well-known experimental results, and apply it to a widely-used test case, the Yagi-Uda antenna. In a successor paper, we report on further computational enhancements using physics-informed cuts.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ruben Hoeksma, Jesse van Rhijn, Marc Uetz, Wick Wijnholds. 2026-10-20. Solving a PDE-constrained antenna design problem by mixed-integer programming. https://arxiv.org/abs/2610.28132

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Accelerated Primal-Dual Proximal Gradient Splitting Methods for Convex-Concave Saddle-Point Problems

In this paper, based a novel primal-dual dynamical model with adaptive scaling parameters and Bregman divergences, we propose new accelerated primal-dual proximal gradient splitting methods for solving bilinear saddle-point problems with optimal nonergodic convergence rates. For the first, using the spectral analysis, we show that a naive extension of acceleration to a quadratic game is unstable. Motivated by this, we present an accelerated primal-dual gradient flow which combines acceleration with careful velocity correction. To work with non-Euclidean distances, we also equip our continuous model with general Bregman divergences and prove the exponential decay of a Lyapunov function. Then, new primal-dual splitting methods are developed based on proper semi-implicit Euler schemes of the continuous model, and the theoretical convergence rates are nonergodic and optimal with respect to the matrix norms, Lipschitz constants and convexity parameters. Moreover, we introduce efficient restart variants to further improve the proposed methods and provide some numerical results to validate the practical performance.

math.OC↗

An Inexact Variable Metric Proximal Gradient-subgradient Algorithm for a Class of Fractional Optimization Problems

In this paper, we study a class of fractional optimization problems, in which the numerator of the objective is the sum of a convex function and a differentiable function with a Lipschitz continuous gradient, while the denominator is a nonsmooth convex function. This model captures ratio-type formulations arising in sparse learning and related applications. To address this class of problems, we propose an inexact variable metric proximal gradient-subgradient algorithm (iVPGSA), which, to the best of our knowledge, is the first inexact proximal algorithm specifically designed for such type of fractional problems. By incorporating a variable metric proximal term and allowing for approximate subproblem solutions under a flexible error criterion, the proposed algorithm is highly adaptable to a broader range of problems while achieving favorable computational efficiency. Under suitable assumptions, we establish that any accumulation point of the generated sequence is a critical point of the target problem. Moreover, we develop a Kurdyka-Łojasiewicz (KL)-based analysis framework, relying only on the classical KL property and its associated exponent, to prove the global convergence of the entire sequence and characterize its convergence rate, \textit{without} requiring a strict sufficient descent property. Our results clarify how the classical KL exponent and inexactness jointly influence the convergence rate. Finally, numerical experiments on the $\ell_1/\ell_2$ Lasso problem and the constrained $\ell_1/\ell_2$ sparse optimization problem demonstrate the computational advantages of the iVPGSA over existing representative algorithms.

math.OC↗

Stackelberg stopping games

We study a Stackelberg variant of the classical discrete-time Dynkin game, in which Player 1 (the leader) commits to a stopping strategy first and Player 2 (the follower) responds optimally. This leader-follower structure induces an optimal control problem for the leader and gives rise to intrinsic time-inconsistency. We first clarify notions of precommitment and equilibrium strategies in the Stackelberg setting, and contrast them with the Nash equilibrium in the standard Dynkin game using a finite-horizon example. We then consider an infinite-horizon framework with a time-homogeneous Markov process on a general Polish state space. We characterize the leader's value function under randomized precommitment strategies and show that randomized exact equilibrium strategies may fail to exist via a counterexample. Motivated by this nonexistence phenomenon, we introduce an entropy-regularized Stackelberg stopping game. The regularization induces a continuous response rule and yields the existence of randomized regular equilibria. We further show that these regular equilibria induce epsilon-equilibria for the original Stackelberg stopping game when the regularization parameter is sufficiently small. In the finite-state setting, we also establish a limiting result as the regularization parameter converges to zero.

math.OC↗