https://arxiv.org/api/gJqAhJMzaNgJOnahWEl2p5EOGFY 2026-07-21T22:33:35Z 62890 120 15 http://arxiv.org/abs/2309.00963v2 2026-07-17T10:02:36Z

In this note, we prove the quantitative observability with an explicit control cost for the 1D Schrödinger equation over $\mathbb{R}$ with real-valued, bounded continuous potential on thick sets. Our proof relies on different techniques for low-frequency and high-frequency estimates. In particular, we extend the large time observability result for the 1D free Schrodinger equation in Theorem 1.1 of Huang-Wang-Wang [20] to any short time. As another byproduct, we extend the spectral inequality of Lebeau-Moyano [27] for real-analytic potentials to bounded continuous potentials in the one-dimensional case.

2023-09-02T15:16:12Z In this post-published version, we corrected several minor mistakes in the published version: J. Funct. Analysis (2025), Vol.288, 2. More precisely, the statement of Corollary 4.4 has been corrected, and the Proposition 5.1 has been modified accordingly. The final resut in Theorem 1.2 with the desired control cost remains valid Pei Su Chenmin Sun Xu Yuan http://arxiv.org/abs/2607.03651v2 2026-07-17T08:58:34Z

While traditional hub capacity planning models optimize effectively for quantitative inputs, they often fail to digest qualitative business context. We propose a novel framework where a large language model (LLM) agent iteratively proposes hub capacity decisions guided by natural-language business context descriptions. The key mechanism is a chain-of-thought reasoning protocol: the LLM constructs a structured decision table that maps each contextual item to specific capacity adjustments based on the implied direction and magnitude of changes. The new capacity decision is then validated through a feedback loop with an optimization model, which provides routing-based performance metrics to guide the agent's selection. On a real-world 13-hub freight network in the southeastern US, our framework achieves a 2.8% optimality gap relative to the hidden ground-truth, a significant improvement over the 11.0% gap produced by the traditional optimization model without textual business inputs. This demonstrates that LLMs can serve as a contextual bridge, integrating qualitative business insights into Operations Research workflows.

2026-07-04T00:26:19Z Xiaoyue Liu Zheng Dong http://arxiv.org/abs/2607.15735v1 2026-07-17T08:15:07Z

We consider the Burgers equation with a scalar control acting through a fixed spatial profile, in a regime where the linearized system is not controllable. We identify natural conditions on the control profile leading to quadratic obstructions to small-time local null-controllability, quantified by negative Sobolev norms of the control of arbitrary integer order. We show that these conditions are related to iterated Lie brackets. The proof relies on repeated integrations by parts in the quadratic expansion combined with nonlinear remainder estimates. Finally, we construct smooth spatial profiles that produce obstructions at every negative integer order.

2026-07-17T08:15:07Z Companion paper to arXiv:2606.28106 Thomas Perrin http://arxiv.org/abs/2501.07400v3 2026-07-17T07:58:27Z

We derive explicit equations governing the cumulative biases and weights in Deep Learning with ReLU activation function, based on gradient descent for the Euclidean loss in the input layer, and under the assumption that the weights are, in a precise sense, adapted to the coordinate system distinguished by the activations. We show that gradient descent corresponds to a dynamical process in the input layer, whereby clusters of data are progressively reduced in complexity ("truncated") at an exponential rate that increases with the number of data points that have already been truncated. We provide a detailed discussion of several types of solutions to the gradient flow equations. A main motivation for this work is to shed light on the interpretability question in supervised learning.

2025-01-13T15:17:28Z AMS Latex, 37 pages Thomas Chen http://arxiv.org/abs/2503.18053v2 2026-07-17T07:28:37Z

We present a variational characterization of mechanical equilibrium in the planar strain regime for systems with incompatible kinematics. For non-simply connected domains, we show that the equilibrium problem for a non-liftable strain-stress pair can be reformulated as a well-posed minimization problem for the Airy potential of the system. We characterize kinematic incompatibilities on internal boundaries as rotational or translational mismatches, in agreement with Volterra's modeling of disclinations and dislocations. Finally, we establish that the minimization problem for the Airy potential can be reduced to a finite-dimensional optimization involving cell formulas.

2025-03-23T12:51:29Z J Elast 157, 71 (2025) Pierluigi Cesana Edoardo Fabbrini Marco Morandotti 10.1007/s10659-025-10161-5 http://arxiv.org/abs/2504.11023v2 2026-07-17T07:05:52Z

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 scale-invariant 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 new 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.

2025-04-15T09:48:27Z arXiv admin note: text overlap with arXiv:2406.04646 Lei Yang Xiangrui Kong Min Zhang Yaohua Hu http://arxiv.org/abs/2406.08992v6 2026-07-17T07:02:06Z

As the title suggests, this is the third paper in a series addressing bilevel optimization problems that are governed by the Kantorovich problem of optimal transport. These tasks can be reformulated as mathematical problems with complementarity constraints in the space of regular Borel measures. Due to the nonsmoothness that is introduced by the complementarity constraints, such problems are often regularized, for instance, using entropic regularization. In this series of papers, however, we apply a quadratic regularization to the Kantorovich problem. By doing so, we enhance its numerical properties while preserving the sparsity structure of the optimal transportation plan as much as possible. While the first two papers in this series focus on the well-posedness of the regularized bilevel problems and the approximation of solutions to the bilevel optimization problem in the infinite-dimensional case, in this paper, we reproduce these results for the finite-dimensional case and present findings that go well beyond the ones of the previous papers and pave the way for the numerical treatment of the bilevel problems.

2024-06-13T10:39:11Z 27 pages, 15 figures Sebastian Hillbrecht http://arxiv.org/abs/2510.26147v2 2026-07-17T06:07:26Z

In this paper, we investigate the beamforming design problem in an integrated sensing and communication (ISAC) system, where a multi-antenna base station simultaneously serves multiple communication users while performing radar sensing. We formulate the problem as the minimization of the total transmit power, subject to signal-to-interference-plus-noise ratio (SINR) constraints for communication users and mean-squared-error (MSE) constraints for radar sensing. The core challenge arises from the complex coupling between communication SINR requirements and sensing performance metrics. To efficiently address this challenge, we first establish the equivalence between the original ISAC beamforming problem and its semidefinite relaxation (SDR), derive its Lagrangian dual formulation, and further reformulate it as a generalized downlink beamforming (GDB) problem with potentially indefinite weighting matrices. Compared to the classical DB problem, the presence of indefinite weighting matrices in the GDB problem introduces substantial analytical and computational challenges. Our key technical contributions include (i) a necessary and sufficient condition for the boundedness of the GDB problem, and (ii) a tailored efficient fixed point iteration (FPI) algorithm with a provable convergence guarantee for solving the GDB problem. Building upon these results, we develop a duality-based fixed point iteration (Dual-FPI) algorithm, which integrates an outer subgradient ascent loop with an inner FPI loop. Simulation results demonstrate that the proposed Dual-FPI algorithm achieves globally optimal solutions while significantly reducing computational complexity compared with existing baseline approaches.

2025-10-30T05:07:41Z 13 pages, 4 figures Xilai Fan Ya-Feng Liu http://arxiv.org/abs/2505.17678v3 2026-07-17T05:48:07Z

This work investigates the optimal control of the variable-exponent subdiffusion, which extends the work [Gunzburger and Wang, SIAM J. Control Optim. 2019] to the variable-exponent case to account for the multiscale and crossover diffusion behavior. To resolve the difficulties caused by the leading variable-exponent operator, we adopt the convolution method to reformulate the model into an equivalent but more tractable form, and then prove the well-posedness and weighted regularity of the optimal control. As the convolution kernels in reformulated models are indefinite-sign, non-positive-definite, and non-monotonic, we adopt the discrete convolution kernel approach in numerical analysis to show the $O(τ(1+|\lnτ|)+h^2)$ accuracy of the schemes for state and adjoint equations. Numerical experiments are performed to substantiate the theoretical findings.

2025-05-23T09:45:19Z Yiqun Li Mengmeng Liu Wenlin Qiu http://arxiv.org/abs/2510.11539v5 2026-07-17T03:49:57Z

Accurate state estimation is critical for legged and aerial robots operating in dynamic, uncertain environments. A key challenge lies in specifying process and measurement noise covariances, which are typically unknown or manually tuned. In this work, we introduce a bi-level optimization framework that jointly calibrates covariance matrices and kinematic parameters in an estimator-in-the-loop manner. The upper level treats noise covariances and model parameters as optimization variables, while the lower level executes a full-information estimator. Differentiating through the estimator allows direct optimization of trajectory-level objectives, resulting in accurate and consistent state estimates. We validate our approach on quadrupedal and humanoid robots, demonstrating significantly improved estimation accuracy and uncertainty calibration compared to hand-tuned baselines. Our method unifies state estimation, sensor, and kinematics calibration into a principled, data-driven framework applicable across diverse robotic platforms.

2025-10-13T15:39:21Z Denglin Cheng Jiarong Kang Xiaobin Xiong http://arxiv.org/abs/2404.13301v3 2026-07-17T02:59:43Z

We investigate the minimization of a quadratic function over Stiefel manifolds (the set of all orthogonal $r$- frames in $\mathbf{R}^n$), which has applications in high-dimensional semi-supervised classification tasks. To reduce the computational complexity, we employ sequential subspace methods(SSM) to transform the high-dimensional problem to a series of low-dimensional ones. In this paper, our goal is to achieve an optimal solution of high quality, referred to as a ''qualified critical point". Qualified critical points are defined as those where the associated multiplier matrix meets specific upper-bound conditions. These points exhibit near-global optimality in quadratic optimization problems. In the context of a general quadratic, SSM generates a sequence of qualified critical points through low-dimensional surrogate regularized models. The convergence to a qualified critical point is guaranteed, when each SSM subspace is constructed from the following vectors: (i) a set of orthogonal unit vectors associated with the current iterate, (ii) a set of vectors representing the gradient of the objective, and (iii) a set of eigenvectors links to the smallest $r$ eigenvalues of the system matrix. Furthermore, incorporating Newton direction vectors into the subspaces can significantly accelerate the convergence of SSM.

2024-04-20T07:14:17Z 29 pages Pengwen Chen Chung-Kuan Cheng Chester Holtz http://arxiv.org/abs/2512.02769v2 2026-07-17T01:56:39Z

This paper studies the continuous-time reinforcement learning for stochastic singular control with the application to an infinite-horizon irreversible reinsurance problem. The singular control is equivalently characterized as a pair of regions of time and the augmented states, called the singular control law. To encourage the exploration in the learning procedure, we propose a randomization method by considering an auxiliary singular control and entropy regularization. The exploratory singular control problem is formulated as a two-stage optimal control problem, in which the time-inconsistency issue arises in the outer problem. Existence of equilibrium singular control law for the time-inconsistent outer problem is rigorously established. Taking advantage of the solution structure, we utilize a proper parameterization and neural networks to devise the actor-critic reinforcement learning algorithm. In the numerical experiment, we show the superior convergence of parameter iterations based on the randomized equilibrium policy and illustrate how the exploration may advance the learning performance.

2025-12-02T13:49:13Z Zongxia Liang Xiaodong Luo Xiang Yu http://arxiv.org/abs/2507.15234v2 2026-07-17T01:37:41Z

Forward-backward stochastic differential equations have recently become a key focus in the computational field, and their role in continuous-time stochastic optimal control and reinforcement learning has grown increasingly prominent. In this paper, we develop an optimization-based framework for solving coupled forward-backward stochastic differential equations, which naturally arise in stochastic optimal control through the stochastic maximum principle and related Hamiltonian systems. We introduce an integral-form objective function and prove its equivalence to the error between consecutive Picard iterates. Our convergence analysis establishes that minimizing this objective generates sequences that converge to the true solution. We provide explicit upper and lower bounds that relate the objective value to the error between trial and exact solutions. We validate the proposed objective and its theoretical interpretation using two analytical test cases, and further illustrate its numerical applicability on a nonlinear stochastic optimal control problem with up to 1000 dimensions.

2025-07-21T04:30:17Z Yutian Wang Yuan-Hua Ni Xun Li http://arxiv.org/abs/2607.15532v1 2026-07-17T00:46:08Z

Logic and optimization can, in combination, make valuable contributions to rule-based AI. Logic is the obvious medium for encoding a rule base and drawing inferences from it, while optimization provides a powerful technology for computing inferences. Their combination has taken on new relevance amid a growing concern for transparency in AI. which is important for reproducibility, explainability, trustworthiness, and fairness. Rule-based AI provides a natural solution to transparency that is becoming increasingly practical due to today's highly advanced optimization methods. This article surveys several areas of logic-optimization partnership, including probabilistic logic, Bayesian logic, belief logics and Dempster-Shafer theory, nonmonotonic (default) logic, many-valued logics, and inference of logical formulas from noisy data based on Boolean regression. It shows how to compute projections, the fundamental problem of both logic and optimization, using decision diagrams and logic-based Benders decomposition. It describes the use of postoptimality analysis to explain how conclusions are reached, further enhancing transparency, as well as the role of optimization in answer set programming modulo theories. The paper concludes by suggesting possible future research directions.

2026-07-17T00:46:08Z J. N. Hooker http://arxiv.org/abs/2603.17401v2 2026-07-17T00:16:13Z

This letter studies the dynamical properties of safety filters designed based on Control Barrier Functions (CBF). This mechanism, which is popular in safety-critical applications, takes a nominal controller and minimally modifies it to render it safe. Although CBF-based safety filters make the closed-loop system safe, characterizing their additional dynamical properties, such as stability, boundedness, or existence of spurious equilibria, remains a challenging problem. Here, we address this problem for the case of linear systems and an affine CBF constraint. We provide conditions under which the closed-loop system presents undesired equilibria, unbounded trajectories, or the origin is globally exponentially stable.

2026-03-18T06:23:00Z Pol Mestres Shima Sadat Mousavi Aaron D. Ames