Leader-following Consensus over Jointly Connected Switching Networks is Achievable for Exponentially Unstable Linear Systems

2026-03-19T13:48:09Z

The leader-following consensus problem for general linear multi-agent systems over jointly connected switching networks has been a challenging problem and the solvability of the problem has been limited to the class of linear multi-agent systems whose system matrix is marginally stable. This condition is restrictive since it even excludes the most commonly used double-integrator system. This paper presents a breakthrough by demonstrating that leader-following exponential consensus is achievable for general linear multi-agent systems over jointly connected switching networks, even when the system matrix is exponentially unstable. The degree of instability can be explicitly characterized by two key quantities that arise from the jointly connected condition on a switching graph. By exploiting duality, we further show that the output-based distributed observer design problem for a general leader system is solvable over jointly connected switching networks, even when the system matrix is exponentially unstable. This is also in sharp contrast to the existing distributed observers, which rely on the assumption that the leader system is marginally stable.

Optimal strategies for controlled growth in metastable Kawasaki dynamics

2026-03-19T13:42:35Z

In this paper, we develop a Markov decision process (MDP) formulation for the low--temperature metastable Ising model evolving according to Kawasaki dynamics in a finite box of the two--dimensional square lattice. We analyze how an external controller can guide the system to the all--occupied state by appropriately adding and moving particles at specified moments in time. To this end, we construct a reduced MDP on a constrained family of configurations having a single cluster, a regime where particle attachment is more likely than detachment. We investigate two reward structures: one that depends solely on the time to reach the target configuration, and another that incorporates action--dependent energy costs. Within this MDP framework, we characterize the exact optimal policies under both reward structures, which turn out to have a different behavior: while a purely efficiency--based criterion promotes the growth from the boundary centers of the cluster, an energy--based reward function favours the growth at the corners of the cluster.

Optimal Bilinear control restricted to the three-dimensional chemo-repulsion model with potential production

2026-03-19T13:40:11Z

In this paper we study the following three-dimensional parabolic-parabolic chemo-repulsion model with potential production, logistic reaction and bilinear control, defined in $Q=(0,T)\timesΩ$: \begin{equation*}\label{eq0} \left\{ \begin{array}{rcl} \partial_tu-Δu&=&\nabla\cdot(u\nabla v)+r\,u-μ\, u^p,\\ \partial_tv-Δv+v&=&u^p+f\,v\, 1_{Ω_c}, \end{array} \right. \end{equation*} where $1< p<+\infty$, $r,μ\geq 0$, and $f=f(t,x)$ is the control function acting on a subdomain $(0,T)\times Ω_c $, with $Ω_c\subseteqΩ$. This system is endowed with initial and non-flux boundary conditions. We prove the existence of global weak solutions of this controlled problem when $f\in L^{5/2}(0,T;L^{5/2}(Ω_c))$, analyzing the role of the diffusion and the logistic terms to get energy estimates. In particular, the logistic competition term $μ\, u^p$ is necessary only for $p>5/3$. Secondly, if $f\in L^{5/2}(0,T;L^{5/2+}(Ω_c))$, any weak solution $(u,v)$ satisfying the regularity criterion $u\in L^{5p/2}(Q)\cap L^{10/3}(Q)$ is in fact more regular, arriving in particular to $u,\nabla v\in L^5(Q)$ for $p\le 2$ and $u,\nabla v\in L^{5(p-1)}(Q)$ for $p> 2$ which is the critical regularity to solve a related optimal bilinear control problem. In fact, this setting let us to prove the existence of global optimal solutions, and the differentiability of the control-to-state mapping via the Implicit Function Theorem in Banach spaces. Then, we can identify the gradient of the (reduced) cost with respect to the control solving the adjoint problem by duality. In particular, we derive first-order necessary optimality conditions for local optimal solutions.

Uniform a priori bounds and error analysis for the Adam stochastic gradient descent optimization method

2026-03-19T13:39:53Z

The adaptive moment estimation (Adam) optimizer proposed by Kingma & Ba (2014) is presumably the most popular stochastic gradient descent (SGD) optimization method for the training of deep neural networks (DNNs) in artificial intelligence (AI) systems. Despite its groundbreaking success in the training of AI systems, it still remains an open research problem to provide a complete error analysis of Adam, not only for optimizing DNNs but even when applied to strongly convex stochastic optimization problems (SOPs). Previous error analysis results for strongly convex SOPs in the literature provide conditional convergence analyses that rely on the assumption that Adam does not diverge to infinity but remains uniformly bounded. It is the key contribution of this work to establish uniform a priori bounds for Adam and, thereby, to provide -- for the first time -- an unconditional error analysis for Adam for a large class of strongly convex SOPs.

A new optimal control algorithm for the Keller-Segel problem

2026-03-19T13:29:56Z

In this work we introduce a new optimal control algorithm for the Keller-Segel chemo-attraction system, where both boundary and distributed controls are considered and both are associated with introducing/removing the amount of chemical substances in the system. The key idea of our approach is to design the optimal control algorithm after discretizing the state problem system, which is done using an upwind finite volume scheme in space and a semi-implicit finite difference in time. Then, the discrete optimal control is approximated identifying the gradient of the reduced discrete cost via the discrete adjoint scheme. Finally, to minimize the reduced cost functional, we use a gradient descent type method (Adam scheme). Moreover, several numerical results are presented to illustrate the efficiency of the proposed approach.

The multi-objective portfolio model for oil and gas exploration drilling projects selection and its operator-enhanced NSGA-II based solution

2026-03-19T12:44:30Z

Drilling investment is pivotal to operational planning in oil and gas (O\&G) exploration. Conventional deployment relies heavily on fragmented expert assessments of geological and economic factors, with limited integration ability of information. As the tool of portfolio show strong potential for mitigating uncertainty and selecting superior drilling plans, this study develops a multi-objective mean-variance portfolio model that accounts for geological-parameter uncertainty, enabling an effective risk-return trade-off and optimal selection. First, the probabilistic distribution of geological-parameters for prospect-list projects is obtained through expert-elicited priors. And considering the selection of the drilling projects as a portfolio, an optimization model is formulated jointly to describe the return and risk of short-term plan, under different constraints. Second, an improved OE-NSGA-II algorithm is proposed specifically for this model, in which (1) a directional crossover operator is designed to embed improving directions in objective space-derived from dominance and objective differences-into recombination, and (2) a structure-aware mutation operator is designed to prioritize high-utility bit flips via probabilistic sampling with feasibility repair, thus improving the search ability for superior Pareto solutions. Finally, using the case of 2023 exploration drilling deployment for verification, and then apply the validated method to the 2024 deployment to support decision-making. The results indicate that the proposed approach offers a reusable solution for drilling portfolio optimization in O\&G exploration.

The tangent cone to the real determinantal variety: various expressions and a proof

2026-03-19T11:09:50Z

The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew [SIAM J. Optim., 25 (2015), pp. 622-646]. The present paper shows that the proof therein is incomplete and provides a proof. It also reviews equivalent descriptions of the tangent cone to that variety. Moreover, it shows that the tangent cone and the algebraic tangent cone to that variety coincide, which is not true for all real algebraic varieties.

A Minimal Four-Thruster System for Comet-Based Interstellar Navigation

2026-03-19T10:51:07Z

Interstellar comets arrive with key ingredients for deep-space platforms already in place: volatile inventories convertible to propellant, natural rotation providing continuous attitude variation, and hyperbolic trajectories that carry them through the inner Solar System and back out to interstellar space. Rather than constructing spacecraft from scratch, we ask what \emph{minimal modification} is required to steer such a body along a controlled trajectory. The answer is surprisingly modest. By relaxing full six-degree-of-freedom control to forward-cone steering -- sufficient for practical navigation -- we show that \emph{four thrusters suffice}: one primary jet and three secondary jets at $120^\circ$ intervals. The secondary jets synthesize continuous in-plane steering, while the primary jet provides low-bandwidth attitude shaping: as the body rotates, the primary-jet torque direction sweeps predictably over a cycle, enabling out-of-plane steering via phase-scheduled firing. We formalize reachability under bounded-curvature constraints, characterize the rotation-mediated steering envelope, discuss enabling requirements including non-solar power at large heliocentric distances, and identify operational regimes and observable signatures implied by active trajectory control. The setting of a nutating axis is briefly considered and conjectured to preserve core results. The findings contribute to the broader effort of understanding the dynamics and control of small-body missions and offer a reference architecture relevant to long-horizon deep-space exploration and to potential planetary-defense concepts.

Tropical Fréchet Means: a polyhedral approach to exact optimization

2026-03-19T10:49:43Z

The Fréchet mean is a fundamental notion of central tendency defined as a minimizer of a sum of squared distances in a general metric space. In this paper, we study Fréchet means in tropical geometry -- a piecewise linear, combinatorial, and polyhedral variant of algebraic geometry -- by formulating and solving the associated tropical quadratic optimization problem. We give a geometric characterization of the collection of all tropical Fréchet means as a bounded set that is simultaneously tropically and classically convex, hence a polytrope. We establish the existence of positivity certificates for maxima of finitely many quadratic polynomials in $\mathbb{R}[x_1,\ldots,x_n]$ whose homogeneous quadratic components are sums of squares, which provides a symbolic framework for exact optimization. Using this structure, we develop algorithms for computing tropical Fréchet means and the associated Fréchet mean polytrope. We further describe a combinatorial type decomposition of the objective function induced by braid arrangements, yielding a piecewise quadratic representation and a fully symbolic method for exact computation.

Second-Order Conditions for Infinite-Horizon Semilinear Parabolic Control Problems without Tikhonov Regularization

2026-03-19T10:48:20Z

We consider semilinear parabolic optimal control problems subject to Neumann boundary conditions, control constraints, and an infinite time horizon. The control constraints are pointwise in time, but they can be pointwise or integral in the space variable. Crucially, the optimal control problem does not include a Tikhonov regularization in the cost functional, which provides a major difficulty in the extension of the classical finite-horizon theory to infinite-horizon optimal control problems. As a consequence of our findings, we establish a sufficient second-order optimality condition and prove that local optimal states of the finite-horizon problems approximate local optimal states to the infinite-horizon problem as the horizon tends to infinity.

Scheduling Ground-Based Telescope Observations with Uncertain Nights

2026-03-19T10:25:04Z

The observation of celestial objects is a fundamental activity in astronomy. Ground-based and space telescopes are used to gather electromagnetic radiation from space, allowing astronomers to study a wide range of celestial objects and phenomena, such as stars, planets, galaxies, and black holes. The European Southern Observatory (ESO) charges each night 83 kEUR (Milli et al. 2019), so the schedules of the telescopes are really important in order to optimize every second. Ground-based telescopes are affected by meteorological conditions, such as clouds, wind, and atmospheric turbulence. Accurate scheduling of observations in the presence of such uncertainties can significantly improve the efficiency of telescopes use and support from automated tools is highly desirable. In this paper, we study a mathematical approach for scheduling ground-based telescope observations under an uncertain number of clear nights due to uncertain weather and atmospheric conditions. The model considers multiple targets, uncertain number of nights, and various observing constraints. We demonstrate the viability and effectiveness of an approach based on stochastic optimization and reactive strategy comparing it against other methods.

Non-linear in-band interference cancellation on base of conjugate gradients method

2026-03-19T10:20:44Z

This paper investigates one possible solution to the problem of self-interference cancellation (SIC) arising in the design of in-band full-duplex (IBFD) communication systems. Self-interference cancellation is performed in the digital domain using multilayer nonlinear models adapted via gradient-based optimization. The presence of local minima and saddle points during the adaptation of multilayer models limits the direct use of second-order methods due to the indefiniteness of the hessian matrix. The mixed Newton method can address the saddle-point issue; however, it requires significant computational resources. In this work, a conjugate gradient (CG) method constructed on the base of the mixed Newton method (MNM) is proposed. The method exploits information from mixed second-order derivatives of the loss function without explicit computation the full hessian matrix. As a result, the proposed approach achieves a higher convergence rate than first-order methods while requiring significantly lower computational resources than conventional second-order methods when adapting multilayer nonlinear self-interference cancellers in full-duplex communication systems.

Resource-Constrained Joint Replenishment via Power-of-$m^{1/k}$ Policies

2026-03-19T10:16:44Z

The continuous-time joint replenishment problem has long served as a foundational inventory management model. Even though its unconstrained setting has seen recent algorithmic advances, the incorporation of resource constraints into this domain precludes the application of newly discovered synchronization techniques. Such constraints arise in a broad spectrum of practical environments where resource consumption is bounded as an aggregate rate over time. However, for nearly four decades, the prevailing approximation guarantee for resource-constrained joint replenishment has remained $\frac{ 1 }{ \ln 2 } \approx 1.4427$, achieved via classical power-of-$2$ policies. In this paper, we circumvent these structural policy restrictions by devising generalized rounding frameworks, demonstrating that a well-known convex relaxation is much tighter than previously established. In particular, we expand our analytical scope to encompass fractional base expansion factors, randomized shifting, and staggered interleaved grids. Through this multifaceted methodology, we present a sequence of gradually improving performance guarantees. First, by proposing a best-of-two framework that exploits structural asymmetries between deterministic power-of-$m^{1/k}$ policies, we surpass the classical barrier to obtain a $1.3776$-approximation. Second, by injecting a random shift into the logarithmic grid domain and formulating a factor-revealing linear program to optimize a dual-policy approach, we attain a $1.2512$-approximation. Finally, by superimposing a secondary offset grid to subdivide rounding intervals and suppress holding cost inflation, we utilize interleaved policies to arrive at our ultimate approximation ratio of $\frac{5}{6\ln 2} \approx 1.2023$, which is proven to be best-possible for the class of interleaved power-of-$m^{1/k}$ policies.

A mathematical framework for time-delay reservoir computing analysis

2026-03-19T10:05:31Z

Reservoir computing is a well-established approach for processing data with a much lower complexity compared to traditional neural networks. Despite two decades of experimental progress, the core properties of reservoir computing (namely separation, robustness, and fading memory) still lack rigorous mathematical foundations. This paper addresses this gap by providing a control-theoretic framework for the analysis of time-delay-based reservoir computers. We introduce formal definitions of the separation property and fading memory in terms of functional norms, and establish their connection to well-known stability notions for time-delay systems as incremental input-to-state stability. For a class of linear reservoirs, we derive an explicit lower bound for the separation distance via Fourier analysis, offering a computable criterion for reservoir design. Numerical results on the NARMA10 benchmark and continuous-time system prediction validate the approach with a minimal digital implementation.

Stabilization of Integral Difference Equations by solving a Corona problem

2026-03-19T10:02:55Z

This paper proposes a stabilizing state-feedback control law for vector-valued state systems with a scalar control input, governed by a general class of integral difference equations that incorporate both pointwise and distributed input delays. The proposed controller is expressed through integral operators acting on the state and input histories over a finite time horizon. Closed-loop stability is established by characterizing the controller kernels as solutions to a convolution equation arising from a Corona problem. The existence of such solutions is ensured under a suitable spectral stabilizability condition, and a least-square procedure is implemented to find them numerically. The approach extends existing IDE stabilization results to more general settings, allowing for arbitrary numbers of pointwise delays affecting both the state and input, without requiring commensurability assumptions.