https://arxiv.org/api/Gb3y7GBmmhIN/mz6P/hqeKMtxVk 2026-07-20T04:38:48Z 62825 15 15 http://arxiv.org/abs/2607.15862v1 2026-07-17T11:21:54Z

Urban transit electrification requires balancing energy efficiency, schedule reliability, and ride comfort for electric buses (EBs), particularly when interacting with transit-priority adaptive signals in congested networks. This paper proposes PriEco-DRL, a joint optimization framework that integrates EB eco-driving with transit-priority adaptive signal control using deep reinforcement learning (DRL). The signal layer employs a priority-weighted max-pressure (Priority-MP) controller to allocate green time based on occupancy-aware pressures, while the vehicle layer adapts longitudinal control based on uncertain and dynamically evolving local signal cues. A structured reward combines guidance and event-based reinforcement to align EB arrivals with green opportunities while considering energy, time, comfort, and safety. The framework uses centralized training and decentralized execution (CTDE) with parameter sharing, allowing a single DRL agent to learn from multiple buses and routes using local observations. Experiments on a real-world corridor show that PriEco-DRL reduces EB energy consumption while maintaining network efficiency and transit priority compared with fixed-time, actuated, and rule-based signal-vehicle coordination baselines. Energy- and trajectory-based analyses reveal that the improvements stem from fewer unscheduled stop-start events and smoother speed regulation under adaptive signals. The results highlight a tunable energy-time trade-off, allowing flexible operational choices through reward weighting.

2026-07-17T11:21:54Z Dingshan Sun Ang Li Chaopeng Tan Zicheng Su Wanjing Ma Marco Rinaldi http://arxiv.org/abs/2607.15837v1 2026-07-17T10:48:20Z

The length-constrained cycle partition problem (LCCP) is a graph optimization problem in which a set of nodes must be partitioned into a minimum number of cycles. Every node is associated with a critical time and the length of every cycle must not exceed the critical time of any node in the cycle. We formulate LCCP as a set partitioning model and solve it using an exact branch-price-and-cut approach. Our dynamic programming-based pricing algorithm to generate improving cycles exploits the particular structure of the pricing problem for efficient bidirectional search and symmetry breaking. Computational results show that the LP relaxation of the set partitioning model produces very strong dual bounds and our branch-price-and-cut method improves significantly over the state of the art. It is able to solve previously solved instances in a fraction of the time and closes 14 previously unsolved instances with numerically safe bounds, one of which has 76 nodes, a notable improvement over the previous limit of 52 nodes.

2026-07-17T10:48:20Z arXiv admin note: text overlap with arXiv:2401.17937 Mohammed Ghannam Ambros Gleixner Gioni Mexi Edward Lam http://arxiv.org/abs/2607.15834v1 2026-07-17T10:45:17Z

We introduce a Monte-Carlo Tree Search solver for SAT and XSAT that pairs WalkSAT-style rollouts with a two-thread symmetry-breaking initialisation: one thread starts from all-true, the other from all-false, bounding each thread's initial Hamming distance to a satisfying assignment by $\lfloor n/2 \rfloor$. Empirically the solver closes 100/100 SATLIB graph-colouring encodings (flat200-479, sw100) in tens of milliseconds each, 20/20 planted 3-XOR-SAT at $n{=}200$ (median 10~s), 6/6 at $n{=}300$ (median 138~s), and one SAT Competition 2025 instance (Break-triple-04-06.xml.cnf) in 50~ms via the polarity split alone. On a full 16-round DES key-recovery encoding ($n{=}1976$, $m{=}30072$) it drives the negative-clause count from $\sim 200$ down to 24 (99.9% clauses satisfied) over 7 hours before hitting the S-box plateau.

2026-07-17T10:45:17Z Marcel Crasmaru http://arxiv.org/abs/2607.15821v1 2026-07-17T10:29:10Z

We address the problem of optimally placing a limited number of sensors to reconstruct high-dimensional signals without knowledge of the underlying dynamics. The task is formulated as a nonconvex combinatorial optimisation problem and recast as a weakly convex constrained projection problem. This reformulation allows us to compute $\varepsilon$-global solutions using the Inexact Cutting Sphere algorithm. We further propose the Inverse Cutting Sphere algorithm, which starts from any feasible heuristic solution and either improves it by a prescribed tolerance $\varepsilon$ or certifies its $\varepsilon$-global optimality. The framework is evaluated on pressure reconstruction for NACA airfoils using XFOIL data.

2026-07-17T10:29:10Z Giovanni Bruccola http://arxiv.org/abs/2607.15802v1 2026-07-17T10:13:38Z

We present frequency-domain models of a controlled mechanical system consisting of a flexible beam and a rigid body. The transfer function for the beam, governed by the Timoshenko equations under the body-beam interface conditions, is derived analytically. Based on this infinite-dimensional representation, reduced-order models are constructed within the framework of Loewner matrices. A comparative analysis of the Bode plots is presented for the beam model using different choices of sensor-actuator pairs to validate the proposed frequency-domain modeling framework.

2026-07-17T10:13:38Z Alexander Zuyev Julia Kalosha http://arxiv.org/abs/2607.15801v1 2026-07-17T10:13:15Z

This paper solves the targeting problem focusing on accuracy, computational efficiency, and reliability. The trajectory optimization problem is first recast as a polynomial optimization problem (POP) by leveraging differential algebra to compute high-order Taylor expansions of the nonlinear dynamics and constraints. Moment-sum-of-squares (SOS) optimization is then utilized to solve this POP. A convex formulation based on a second-order expansion of the dynamics is also proposed. For impulsive targeting, the moment-SOS and convex approaches are compared against traditional nonlinear programming (NLP) solvers and map inversion techniques. Results indicate that the moment-SOS approach provides solutions as accurate as traditional NLP, but with the critical advantage of guaranteeing convergence to the global optimum under mild assumptions. Furthermore, the method excels at handling large maneuvers and long propagation times, conditions in which standard linear approximations rapidly degrade. To demonstrate its versatility, the methodology is extended to a continuous low-thrust station keeping (SK) scenario in the Earth-Moon Circular Restricted Three-Body Problem. The algorithm's performance is then evaluated in the presence of significant state errors. The ability to directly handle non-convex constraints and recast complex, nonlinear dynamics into formulations with reliable convergence properties makes the moment-SOS approach suitable for autonomous onboard applications.

2026-07-17T10:13:15Z Adam Evans Alberto Fossa Roberto Armellin Didier Henrion Renato Zanetti 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