Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2008.11924

Routing and Wavelength Assignment with Protection: A Quadratic Unconstrained Binary Optimization Approach

Oylum Şeker·Merve Bodur·Hamed Pouya
View original source ↗Read source document ↗Export metadata ↓

Abstract

The routing and wavelength assignment with protection is an important problem in telecommunications. Given an optical network and incoming connection requests, a commonly studied variant of the problem aims to grant maximum number of requests by assigning lightpaths at minimum network resource usage level, while ensuring the provided services remain functional in case of a single-link failure through dedicated path protection. We consider a practically relevant version where alternative lightpaths for requests are assumed to be given as a precomputed set, and show that it is NP-hard. We formulate the problem as an integer programming (IP) model, and also use it as a foundation to develop a novel quadratic unconstrained binary optimization (QUBO) model, which can be both directly solved by a state-of-the-art solver like GUROBI. We present necessary and sufficient conditions on objective function parameters to prioritize request granting objective over wavelength-link usage for both models, and a sufficient condition to ensure the exactness of the QUBO model. Moreover, we implement a problem-specific branch-and-cut algorithm for the IP model, and employ a new quantum-inspired technology, Digital Annealer (DA), for the QUBO model. We conduct computational experiments on a large suite of instances that are hard to optimally solve in order to assess the efficiency and efficacy of all of these approaches as well as a problem-specific heuristic. The results show that the emerging technology DA outperforms the considered established techniques coupled with GUROBI, in finding mostly significantly better or as good solutions in only two minutes compared to two hours of run time, whereas the problem-specific heuristic fails to be competitive.

Explore related subjects

math.OC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Oylum Şeker, Merve Bodur, Hamed Pouya. 2021-06-08. Routing and Wavelength Assignment with Protection: A Quadratic Unconstrained Binary Optimization Approach. https://arxiv.org/abs/2008.11924

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

KEEP EXPLORING

Related papers

arXiv2026

Dynamic Programming-Compatible Uncertainty Sets in Robust Markov Decision Processes

In this paper, we investigate the compatibility of robust Markov Decision Processes (RMDPs) with dynamic programming under various assumptions on the uncertainty set, i.e., we investigate when one can solve an RMDP by solving a fixed point equation. We show that in all generality, s-rectangular and sa-rectangular uncertainty sets are the only models of uncertainty that are compatible with dynamic programming. Our analysis shows that existing non-rectangular models, including r-rectangularity, are only weakly compatible with dynamic programming, as they require the assumption that rewards do not depend on the next state. In this case, our results imply that one can always construct a rectangular uncertainty set that is equivalent, for both policy evaluation and optimization, to the dynamic programming-compatible non-rectangular model. This highlights a key limitation: dynamic-programming-compatible non-rectangular uncertainty sets, although practically relevant for uncertainty quantification, do not provide a genuinely distinct assessment of policy performance. Interestingly, our proof techniques rely on identifying a novel simultaneous solvability property, which we show is central to several important properties of RMDPs, including the existence of stationary optimal policies and dynamic programming-based formulations. The simultaneous solvability property enables a unified approach to studying all existing models of uncertainty, rectangular and non-rectangular alike.

math.OC↗
arXiv2026

A simple and practical adaptive trust-region method

We present an adaptive trust-region method for unconstrained optimization that allows inexact solutions to the trust-region subproblems. Our method is a simple variant of the classical trust-region method of Ssorensen. The method achieves the best possible convergence bound up to an additive logarithmic term for finding an $ε$-approximate stationary point, i.e., $O( Δ_f L^{1/2} ε^{-3/2}) + \tilde{O}(1)$ iterations, where $L$ is the Lipschitz constant of the Hessian, $Δ_f$ is the optimality gap, and $ε$ is the termination tolerance for the gradient norm. This improves over existing trust-region methods whose worst-case bound is at least a factor of $L$ worse. We compare our performance with state-of-the-art trust-region (TRU) and cubic regularization (ARC) methods from the GALAHAD library on the CUTEst benchmark problems with at least 100 variables. We also compare with the recently developed Universal trust-region (UTR) method, using the same subproblem solver. In terms of shifted geometric mean of wall-clock times our method's is between $1.2\times$ and $2\times$ faster. We report similar improvements for number of function evaluations, factorizations, gradient evaluations and Hessian evaluations. Compared to the conference version of this paper, our revised method includes several practical enhancements. These modifications dramatically improved performance, including almost an order of magnitude reduction in the shifted geometric mean of wall-clock times. We also show that it suffices for the function to be continuously twice-differentiable to guarantee that either the minimum gradient norm converges to zero or the objective value tends towards negative infinity, even when the iterates diverge.

math.OC↗
arXiv2026

Robust stabilization of hyperbolic PDE-ODE systems via Neural Operator-approximated gain kernels

This paper investigates the mean square exponential stabilization problem for a class of coupled PDE-ODE systems with Markov jump parameters. The considered system consists of multiple coupled hyperbolic PDEs and a finite-dimensional ODE, where all system parameters evolve according to a homogeneous continuous-time Markov process. The control design is based on a backstepping approach. To address the computational complexity of solving kernel equations, a DeepONet framework is proposed to learn the mapping from system parameters to the backstepping kernels. By employing Lyapunov-based analysis, we further prove that the controller obtained from the neural operator ensures stability of the closed-loop stochastic system. Numerical simulations demonstrate that the proposed approach achieves more than two orders of magnitude speedup compared to traditional numerical solvers, while maintaining high accuracy and ensuring robust closed-loop stability under stochastic switching.

math.OC↗