Tracking Through Decoupling Singularities: A Singularity-Robust Homotopy-Continuation Extension of Feedback Linearization

2026-07-18T21:46:41Z

Input--output feedback linearization fails at decoupling singularities, where the decoupling matrix loses rank, the relative degree is lost, and the linearizing control becomes unbounded. This paper develops a singularity-robust trajectory-tracking controller for square nonlinear control-affine systems that tracks through isolated decoupling singularities with bounded control. The method recasts tracking as real-time arc-length homotopy continuation, equivalently a continuous-time Newton/Davidenko flow, and replaces the inverse decoupling matrix by the least-norm Moore--Penrose solution of an augmented matrix $A=[Λ\mid b]$, where $b$ is the homotopy direction. A transversality condition $w^T b \ne 0$, with $w$ in the left null space of the decoupling matrix, keeps the augmented matrix full row rank through a generic rank-one loss. The resulting flow agrees with feedback linearization away from the singular set, tracks with $O(1/k)$ error, and re-locks after each crossing. The theory also characterizes the reflection-versus-branch-crossing dichotomy at Whitney folds and relates the reflection case to a Filippov sliding mode. Extensions cover dynamic relative-degree-one minimum-phase systems and arbitrary relative degree via filtered-error reduction. Simulations include a redundant 2-DOF manipulator, relative-degree-one and relative-degree-two plants, and a dual-active-bridge series-resonant DC/DC converter, where the method performs bounded inversion across buck/boost and resonance singularities while preserving zero-voltage soft switching.

Computation of structured stability radii for Dissipative-Hamiltonian systems

2026-07-18T21:42:38Z

We study linear time-invariant Dissipative Hamiltonian (DH) systems arising in energy-based modeling of dynamical systems. An advantage of DH systems is that they are always stable due to the structure of their coefficient matrices, and, under further weak conditions, even asymptotically stable. In this paper, we discuss the computation of the stability radii for a given asymptotically stable DH system; i.e., the smallest structured perturbation that puts a DH system on the boundary of the region of asymptotic stability, so that it has purely imaginary eigenvalues. We obtain explicit computable formulas for various structured stability radii. For this, the problem of computing stability radii is reformulated in terms of minimizing the Rayleigh quotient of a Hermitian matrix or the sum of two generalized Rayleigh quotients of Hermitian semidefinite matrices. This reformulation results in the problem of minimizing the largest eigenvalue of an eigenvector-dependent Hermitian matrix or minimizing the smallest eigenvalue of a Hermitian matrix which depends on the eigenvector. It is also demonstrated (via numerical experiments) that, under structure-preserving perturbations, the asymptotic stability of a DH system is much more robust than under general perturbations, since the distance to instability is typically much larger when structure-preserving perturbations are considered. Finally, similar results are obtained for optimally robust representations of stable systems.

Exploiting Low-Rank Objective Structure in Discrete Quadratic Optimization

2026-07-18T21:06:06Z

We study the problem of maximizing a complex-valued quadratic form over the $K^{\text{th}}$ roots of unity. We show that when the objective matrix $\mathbf{Q}^\star \in \mathbb{C}^{n \times n}$ of the quadratic has rank $r$, the global maximizer belongs to a candidate set of size $O(rn^{2r-1})$. This set can be constructed deterministically in $O(rn^{2r+1})$ time by enumerating the vertices of a hyperplane arrangement in $\mathbb{R}^{2r}.$ The algorithm is embarrassingly parallel; with~$P$ processors, the time complexity drops to $O(r n^{2r+1}/P)$. For approximately low-rank settings, where the objective matrix is a noise-perturbed variant of a rank-$r$ matrix, we prove that applying our framework to a spectral truncation yields a multiplicative $(1 - O(\left\|\mathbf{H}\right\|_2 / δ^{\star}))$-approximation guarantee, where $δ^{\star}$ denotes the eigengap of the underlying rank-$r$ matrix and $\mathbf{H}$ represents the perturbation. To scale to high-dimensional problems, we establish a randomized sampling variant. We prove that uniformly sampling $S \geq O(1/\varepsilon^{r-1})$ candidates achieves a $(1-\varepsilon)\cos^2(π/ K)$-approximation of the optimal rank-$r$ solution with high probability. Crucially, this sample size is entirely independent of $n$, reducing the overall runtime to $O(S \cdot n^2)$. Computational experiments on synthetic benchmarks and large-scale graphs for \textsc{Max-3-Cut} confirm that our algorithms match or exceed semi-definite programming solution quality on structured instances while enabling massive parallelization across heterogeneous hardware and scaling seamlessly to problems where $n \geq 10^6$.

Structural Vibration Control of Offshore Wind Turbines Using Tuned Mass Damper Inerter in OpenFAST: Implementation, Validation, and Illustration

2026-07-18T20:40:29Z

The tuned mass damper inerter (TMDI) is a passive vibration absorber that suppresses structural vibrations by leveraging the inertance property of inerter devices. Previous studies have demonstrated TMDI effectiveness in wind turbines, but relied on simplified structural models. To date, no study has implemented multi-directional TMDIs within aero-hydro-servo-elastic tools such as OpenFAST to enable independent vibration control across multiple turbine components, including the tower, blades, and substructure. This paper addresses this gap by implementing the TMDI in OpenFAST. The governing equations of motion are derived and implemented within the Structural Control (StC) Module, supporting arbitrary TMDI connectivity and independent multi-directional configurations across turbine components. Verification against independent numerical models confirms the implementation's accuracy across all supported configurations. An application study examines the IEA 15MW reference wind turbine equipped with a tower-top TMDI under combined wind-wave loading. Optimal tuning is performed using a simplified two-degree-of-freedom model, with modal properties extracted from an OpenSeesPy finite element model of the IEA 15MW. Results show that TMDIs with secondary mass up to 100 times smaller than a conventional TMD achieve matching or superior vibration suppression in the fore-aft and side-side directions, in terms of peak and standard deviation of tower-top displacement and acceleration. Notably, TMDI stroke is markedly reduced compared to the TMD, better suiting the spatially constrained wind turbine environment. These results support the practical merit of lightweight TMDIs for wind turbine vibration control, with the OpenFAST implementation enabling performance-driven design under realistic loading conditions.

Optimal Scheduling for Remote State Estimation over Hybrid Channels

2026-07-18T20:06:08Z

We study optimal scheduling for remote state estimation over a network with two heterogeneous communication channels: a fast but unreliable channel and a slow but reliable channel. To capture temporal correlations in packet losses, we model the unreliable channel as a Gilbert-Elliott (GE) channel. The remote estimation setup consists of a source, a sensor, and a remote estimator. The source evolves as a discrete-time autoregressive (AR) process, and the sensor decides at each time whether to use the fast unreliable channel or the slow reliable channel. We formulate the scheduling problem faced by the sensor as a Markov decision process (MDP) with a continuous state-space and consider minimizing the infinite horizon average cost criterion, where the cost consists of the squared estimation error and the transmission energy consumed. We establish the existence of an optimal stationary policy. We then characterize the structure of an optimal policy, and show that it has a threshold structure with respect to the estimation error. An optimal policy chooses from amongst the two channels based on whether the error exceeds certain thresholds, where the threshold value depends upon the GE channel state. When the system parameters are unknown, we propose an actor-critic (AC) learning algorithm that exploits the threshold structure of an optimal policy. Numerical results demonstrate that the proposed AC algorithm learns the policy structure effectively and achieves performance close to that of the optimal policy computed using the relative value iteration (RVI).

Robust Control for Marked Point Processes under Transition-Rate Uncertainty

2026-07-18T19:07:56Z

We consider a novel robust utility maximisation problem under bounded cumulative transition rate uncertainty within the class of non-Markovian marked point processes on a finite state-space. Utility is maximised over the class of admissible controls, while Nature chooses a worst-case biometric scenario from the class of admissible, path-dependent cumulative transition rates restricted by path-dependent upper and lower bounds. We prove a martingale optimality principle and a novel existence and uniqueness result for a non-standard worst-case backwards stochastic differential equation, which allows us to establish existence and uniqueness of worst-case and best-case prospective reserves of life and health insurance contracts with reserve-dependent payments. Finally, we find an explicit solution of a novel robust consumption-insurance problem with power utility preferences.

Gradient Span Algorithms Make Predictable Progress in High Dimension

2026-07-18T18:32:33Z

We prove that all 'gradient span algorithms' have asymptotically deterministic behavior on scaled Gaussian random functions as the dimension tends to infinity. This is a functional generalization of similar results for random quadratic functions and spin glasses. They explain the counterintuitive phenomenon that different training runs of many large machine learning models result in approximately equal cost curves despite random initialization on a complicated non-convex landscape. This 'predictable progress' phenomenon is exploited by the AutoML community: Since the optimization progress of a single run is already representative, multiple retries with the same hyperparameters are not necessary.

Algorithms for Standard-form ILP Problems via Komlós' Discrepancy Setting

2026-07-18T18:02:29Z

We study the standard-form ILP problem $\max\{ c^\top x \colon A x = b,\; x \in Z_{\geq 0}^n \}$, where $A\in Z^{k\times n}$ has full row rank. We obtain refined FPT algorithms parameterized by $k$ and $Δ$, the maximum absolute value of a $k\times k$ minor of $A$. Our approach combines discrepancy-based dynamic programming with matrix discrepancy bounds in Komlós' setting. Let $κ_k$ denote the maximum discrepancy over all matrices with $k$ columns whose columns have Euclidean norm at most $1$. Up to polynomial factors in the input size, the optimization problem can be solved in time $O(κ_k)^{2k}Δ^2$, and the corresponding feasibility problem in time $O(κ_k)^kΔ$. Using the best currently known bound $κ_k=\widetilde O(\log^{1/4}k)$, this yields running times $O(\log k)^{\frac{k}{2}(1+o(1))}Δ^2$ and $O(\log k)^{\frac{k}{4}(1+o(1))}Δ$, respectively. Under the Komlós conjecture, the dependence on $k$ in both running times reduces to $2^{O(k)}$.

Certified-Gap Dual-Price Policies for Real-Time Truckload Bid Acceptance with Relocating, Clock-Constrained Resources

2026-07-18T17:16:42Z

A truckload carrier must accept or reject each load tender within seconds. The decision depends on fleet state, hours-of-service (HOS) clocks, and appointment windows. We model this as a weakly coupled dynamic program in which the resources relocate and carry clocks: serving a request moves the truck to a new market and depletes its clocks, and whether a truck can serve a request depends on its state. Occupancy-based reusable-resource models do not cover this setting. We build a real-time dual-price policy from the same Lagrangian relaxation that gives the problem's upper bound. Policy and bound come from one object, so every run reports a certified optimality gap. We prove three things. First, the certificate is valid for any duals, any discretization, and any surrogate quality. Second, the policy's same-time spatial-gradient rule is exactly fluid complementary slackness, and the policy is asymptotically optimal in the subcritical fluid regime; the fitted prices are also portable across sample paths, by linear-programming basis stability. Third, certificates have limits: per-resource Lagrangian slack can stay bounded away from zero at every fleet size. We exhibit a three-truck kernel with an exact rational certificate and a replication lemma. On a public closed-loop benchmark with thirty paired seeds, the policy -- which needs no rollout labels, only one offline dual solve -- beats a rollout-trained surrogate on two of three scenarios (tight: +2.0 pp, 95% CI [+0.5, +3.6], Wilcoxon p = 0.023; mild: +3.5 pp, CI [+2.4, +4.5]) and ties the third. It decides in 0.04-0.09 ms, three orders of magnitude faster than the Monte Carlo rollout teacher. Its certificates are stable across ten bounded instances per scenario, at 57-64% of optimal, within 3-6 points of what the 1000x-slower teacher certifies.

Entropic optimal transport need not select a zero-temperature limit

2026-07-18T16:43:29Z

We construct a compact metric space with an atomless probability measure and a bounded Lipschitz cost for which the entropic optimal-transport minimisers have no zero-temperature weak limit. More precisely, $P_\varepsilon$ does not converge as $\varepsilon\downarrow0$. In the example, every unregularised minimiser is singular with respect to $μ\otimesμ$, so that the entropy on the optimal face is identically $+\infty$. We describe the cluster set by \[ \operatorname{Clust}(P_\varepsilon)=\{P_w:w\in\mathcal W\}, \] where $P_w$ is the mixture of the two zero-cost graph couplings with weight $w$, and where $\mathcal W\subset[0,1]$ is a non-degenerate compact interval. We then compute two explicit points $w^-

A Deep Reinforcement Learning Algorithm for the Vehicle Routing Problem with Stochastic Demands and Outsourcing

2026-07-18T16:27:05Z

We introduce the vehicle routing problem with stochastic demands and outsourcing options (VRP-SDO), in which a logistics service provider partitions customer requests into customers outsourced to a common carrier and customers committed to its fixed fleet. The latter induces a vehicle routing problem with stochastic demands (VRP-SD), solved dynamically. Demands are revealed upon visit; residual demand may be served by other vehicles or after restocking at the depot. Work beyond the regular shift incurs overtime costs, and the unit outsourcing cost decreases with the expected outsourced demand. The objective is to minimize expected travel, overtime, and outsourcing costs. We propose an iterative two-level methodology whose first level partitions customers into committed and outsourced subsets, while the second level estimates the expected VRP-SD routing cost. To avoid solving this problem from scratch at every iteration, we learn an offline routing policy that estimates costs almost instantly for any committed subset. An iterated local search establishes the first-level partitions. We formulate the second level as a Markov decision process and solve it with a deep Q-network whose state is represented by a graph attention network aggregating customer and vehicle information by relevance to the acting vehicle. Trained offline on instances with variable customer cardinality and locations, the policy applies to any daily customer realization; online fine-tuning improves the cost approximation. Experiments show that our policy reduces routing costs by 19.6% relative to a state-of-the-art method and by at least 29.6% over classical heuristics. Our overall algorithm saves 13.7% on average over the version without the attention-based representation and generates high-quality decisions within minutes, whereas benchmarks without an offline-trained estimator require over an hour.

Treasure Search Optimization

2026-07-18T15:59:19Z

We introduce Treasure Search Optimization (TSO), an interacting particle method for global optimization. Most swarm methods balance exploration and exploitation within a single population, and typically switch between the two by degenerating the noise, annealing a temperature, or tuning a parameter. TSO instead splits these tasks across two kinds of agents. A swarm of explorers stays in exploration mode and a single treasure hunter performs exploitation. The hunter drifts toward an objective-weighted average of the explorers and may teleport to it when the move lowers the objective. The swarm then re-centers around the hunter, creating a feedback loop between search and capture. We model the dynamics as coupled jump-diffusion stochastic differential equations (SDEs). The hunter's jumps are shared by all explorers and act as a common noise. The mean-field limit is therefore a conditional McKean-Vlasov jump-diffusion SDE, whose well-posedness we prove. We also characterize the steady state and prove, via Laplace approximation techniques, that the hunter settles near the global minimum with error of order $1/α$, where $α$ is the weight parameter. Linking the consensus drift to a smoothed free energy, we explain why the swarm ignores spurious local traps and demonstrate how to quantify uncertainty in inverse problems using post-processing Kalman steps after TSO iterations. Numerical experiments on ODE-constrained problems and a low dimensional Bayesian inverse problem demonstrate the effectiveness of the TSO method.

Ideal Gårding polynomials

2026-07-18T14:07:17Z

We introduce ideal Gårding polynomials, a convexity-enhanced subclass of Gårding polynomials whose Gårding components are recursively convex under partial differentiation. This class strictly contains real stable polynomials and, after translation and homogenization, lies in the Lorentzian class. Our main result is that ideal Gårding polynomials still admit a robust structure theory despite this additional convexity: they are preserved under polarization, satisfy natural closure properties, and support a linear preserver theory. A key contribution of this paper is a universal model for univariate Gårding polynomials, described by monotone root sequences and equivalently by volume polynomials of Pitman--Stanley polytopes. We establish quotient concavity, and Newton--Maclaurin type inequalities, which leads to the polarization theorem, and suggests further connections with convex geometry and Lorentzian polynomials.

Sub-Finslerian Interpolation Inequalities

2026-07-18T13:21:11Z

In this paper, we prove that forward ideal sub-Finslerian manifolds support interpolation inequalities for optimal transport, extending the results of Barilari and Rizzi, arXiv:1705.05380, from the sub-Riemannian to the sub-Finslerian setting. A key role is played by the introduction of sub-Finslerian Jacobi fields and the establishment of optimal transport theory on sub-Finslerian manifolds. By combining this transport framework with sub-Finslerian Jacobian estimates, we characterize the generalized distortion coefficients. As an application, we deduce several fundamental geometric inequalities, including the Brunn-Minkowski and Borell-Brascamp-Lieb inequalities. Finally, for the case of the Randers sub-Finslerian Heisenberg group, whose metric is defined by a sub-Riemannian metric perturbed by a drift term, we explicitly show that it satisfies the measure contraction property.

Singularity-aware Optimization via Randomized Geometric Probing: Towards Stable Non-smooth Optimization

2026-07-18T13:19:03Z

Deep learning optimization relies heavily on the assumption of smooth loss landscapes, a condition systematically violated by modern architectures due to non-smooth components such as ReLU activations and quantization operators. In such non-smooth regimes, adaptive optimizers such as Adam suffer from gradient chattering, violent oscillations caused by conflicting signals within the Clarke subdifferential, leading to poor convergence and suboptimal generalization. To address this, we introduce Singularity-aware Adam (S-Adam), a novel optimizer that stabilizes training by dynamically modulating step sizes based on local geometric instability. Our key contribution is the Local Geometric Instability (LGI) metric, a computationally efficient estimator of the Clarke subdifferential diameter derived from the variance of randomized directional derivatives. S-Adam incorporates an adaptive damping mechanism exp(-$λ$$ρ$) that decelerates updates in high-instability regions while preserving fast convergence in smooth basins. We provide a rigorous convergence analysis using differential inclusions, proving that S-Adam converges almost surely to ($δ$,$ε$)-Clarke stationary points at the optimal O(1/$\sqrt(T)$) rate. Empirical evaluations on Quantization-Aware Training (QAT) and high-noise small-batch learning demonstrate that S-Adam consistently outperforms AdamW and Prox-SGD, achieving accuracy gains of up to +4.54% on CIFAR-100 and +4.27% on TinyImageNet while effectively mitigating gradient oscillations.