https://arxiv.org/api/x2LBPm8bXBRQa4THS47sDW11lV4 2026-07-21T20:11:37Z 62890 90 15 http://arxiv.org/abs/2511.04848v2 2026-07-17T22:36:40Z

We introduce a new paradigm for geometry denoising using prior knowledge about the surface normal vector. This prior knowledge comes in the form of a set of preferred normal vectors, which we refer to as label vectors. A segmentation problem is naturally embedded in the denoising process. The segmentation is based on the similarity of the normal vector to the elements of the set of label vectors. Regularization is achieved by a total variation term. We formulate a split Bregman (ADMM) approach to solve the resulting optimization problem. The vertex update step is based on second-order shape calculus. We present various examples including the denoising of an eroded medieval gravestone inscription.

2025-11-06T22:27:00Z Manuel Weiß Lukas Baumgärtner Roland Herzog Stephan Schmidt http://arxiv.org/abs/2607.16538v1 2026-07-17T22:25:09Z

In finite horizon dynamic programming with history-dependent preferences, the relevant state may be the entire realized history, even when the physical state is Markov. This paper develops a behavioral state-reduction theory for such Markov decision processes. Under behavioral axioms and a certainty-equivalent richness condition, the full-history problem admits a recursive representation composed of time and risk aggregators. We then derive a canonical preference-augmented (PA) state by quotienting histories that have the same current physical Markov state, are indifferent under every common continuation plan, and remain equivalent after every common one-step extension. This canonical PA state is minimal among reachable recursive factorizations of the underlying preferences. Under Markov feasibility and standard dynamic-programming regularity, a PA Bellman selector induces an optimal full-history policy. With additional rectangularity and exhaustiveness conditions, we reparameterize the preference memory into distinct belief and taste coordinates, and obtain a separated representation and Bellman recursion. We give a taxonomy of examples to illustrate the scope of our framework.

2026-07-17T22:25:09Z William B. Haskell http://arxiv.org/abs/2607.16526v1 2026-07-17T22:02:58Z

Batteries are becoming a central part of modern energy systems, especially as electricity, transport and heat are decarbonised. In Great Britain, batteries already play an important role by providing flexibility and acting as a buffer for the system, and their importance will continue to grow as the system moves towards net zero by 2050. This perspective reviews how the role of batteries in Great Britain is evolving, their current value, and the growing contribution of batteries in the transport sector.Itarguesthatthefullvalueofelectricvehiclebatterieswillonlyberealisedthroughcoordinated dispatchandbetterintegrationintosystemoperation.Evidencefromfuturescenariosdevelopedbythe NationalEnergySystemOperatorshowsthatwhileelectricvehiclescouldprovidemostofthestorage capacity, unmanaged charging could create challenges for the system rather than benefits. Unlocking this valuewill require improvements in market design, optimisation, and control strategies.

2026-07-17T22:02:58Z 5 Waqquas Bukhsh http://arxiv.org/abs/2502.19499v4 2026-07-17T19:46:53Z

Diffusion models have achieved remarkable progress in various domains with an intriguing ability to produce new data that do not exist in the training set. In this work, we study the hypothesis that such creativity arises from the neural network backbone learning a smoothed version of the empirical score function, which guides the denoising dynamics to generate data points that interpolate the training data. Focusing mainly on settings where the training set lies uniformly in a one-dimensional subspace, we elucidate the interplay between score smoothing and the denoising dynamics with analytical solutions and numerical experiments, demonstrating how smoothing the score function can cause the denoised data samples to interpolate the training set along the subspace. Moreover, we present theoretical and empirical evidence that learning score functions with neural networks - either with or without explicit regularization - can naturally achieve a similar effect, including when the data belong to simple nonlinear manifolds.

2025-02-26T19:04:01Z 35 pages, 14 figures. Code available at: https://github.com/google-research/diffusion-score-smoothing 14th International Conference on Learning Representations (ICLR 2026) Zhengdao Chen http://arxiv.org/abs/2507.06788v3 2026-07-17T19:28:46Z

In this paper we propose dynamic output-feedback controller synthesis methods for discrete-time linear time-invariant systems. The synthesis goal is to achieve dissipativity with respect to a given quadratic supply rate or a given $H_2$ performance level. It is assumed that the model of system dynamics is unknown, expect for the disturbance term. Instead, we have a recorded trajectory of the control input and the state, which can be corrupted by an unknown but bounded disturbance. The state data is used only for the purpose of controller synthesis, while the designed controller is output feedback controller, i.e., the full state is not used for control in real time. The presented synthesis method is formulated in terms of linear matrix inequalities parametrized by a scalar variable, while in noiseless case it reduces to linear matrix inequalities. Within the considered setting, the synthesis procedure is non-conservative.

2025-07-09T12:24:25Z 9 pages, 4 figures; some statements are added or reformulated; numerical example is updated Pietro Kristović Andrej Jokić Mircea Lazar http://arxiv.org/abs/2607.16444v1 2026-07-17T18:46:02Z

We study regularity properties of minimizers for the one-phase Alt--Caffarelli problem associated with the fractional $p$-Laplacian in the range $p\geq2$. We consider minimizers of the fractional $p$-energy penalized by the measure of the positivity set, with prescribed nonnegative exterior datum. We prove existence of minimizers and derive their basic variational properties: minimizers are nonnegative and are weak subsolutions of the homogeneous fractional $p$-Laplace equation. The main regularity argument combines fractional $p$-harmonic replacements, energy-gap estimates, nonlocal tail bounds, and a Campanato-type iteration. This yields local Hölder continuity of minimizers and implies that they solve the homogeneous equation in their positivity set. Finally, we prove the optimal free boundary growth estimate, showing that the sharp order known in the linear fractional Bernoulli problem persists in the fractional $p$-Laplacian setting.

2026-07-17T18:46:02Z 24 pages Rafael Costa Diego Marcon http://arxiv.org/abs/2607.16430v1 2026-07-17T18:23:28Z

The integration of distributed energy resources (DERs) into the power grid has introduced new challenges to AC optimal power flow (AC-OPF) problems. Traditional OPF optimize consider transmission systems, treating distribution networks as static loads. However, the growing presence of DERs makes accurate distribution system modeling crucial for grid operations. Consequently, efficiently solving the resultant large-scale, nonconvex transmission and distribution (T&D) AC-OPF problem remains a significant challenge. This paper proposes a Smoothed Two-Stage Decomposition Optimizer (StsDOpt) to address these complexities by decomposing the T&D AC-OPF problem into a master-subproblem(s) structure, enabling parallel solving. Unlike traditional methods, StsDOpt does not rely on approximations or relaxations. It uses a smoothing technique to render the subproblems responses differentiable with respect to the master problem, leveraging the barrier problem properties inherent in primal-dual interior point methods. This approach is crucial for accurately modeling and solving distribution systems, which are multiphase, unbalanced, and nonlinear, distinguishing StsDOpt apart from other methods. Integrated into the PowerModelsITD framework, StsDOpt has been validated through numerical experiments, demonstrating reduced wall-clock solve time and increased scalability. Results highlight its efficacy as a robust, scalable solution for large-scale T&D AC-OPF problems, facilitating the reliable integration of DERs into complex T&D systems.

2026-07-17T18:23:28Z Juan Ospina Manuel Garcia Xinyi Luo Andreas Wachter David M. Fobes Russell Bent http://arxiv.org/abs/2209.15130v3 2026-07-17T18:22:16Z

We study a general matrix optimization problem with a fixed-rank positive semidefinite (PSD) constraint. We perform the Burer-Monteiro factorization and consider a particular Riemannian quotient geometry in a search space that has a total space equipped with the Euclidean metric. When the original objective f satisfies standard restricted strong convexity and smoothness properties, we characterize the global landscape of the factorized objective under the Riemannian quotient geometry. We show the entire search space can be divided into three regions: (R1) the region near the target parameter of interest, where the factorized objective is geodesically strongly convex and smooth; (R2) the region containing neighborhoods of all strict saddle points; (R3) the remaining regions, where the factorized objective has a large gradient. To our best knowledge, this is the first global landscape analysis of the Burer-Monteiro factorized objective under the Riemannian quotient geometry. Our results provide a fully geometric explanation for the superior performance of vanilla gradient descent under the Burer-Monteiro factorization. When f satisfies a weaker restricted strict convexity property, we show there exists a neighborhood near local minimizers such that the factorized objective is geodesically convex. To prove our results, we provide a comprehensive landscape analysis of a matrix factorization problem with a least squares objective, which serves as a critical bridge. Our conclusions are also based on a result of independent interest stating that the geodesic ball centered at Y with a radius 1/3 of the least singular value of Y is a geodesically convex set under the Riemannian quotient geometry, which as a corollary, also implies a quantitative bound of the convexity radius in the Bures-Wasserstein space. The convexity radius obtained is sharp up to constants.

2022-09-29T23:08:41Z Accepted to Mathematical Programming, Series A. The abstract is shortened to meet the arXiv submission requirement Yuetian Luo Nicolas Garcia Trillos 10.1007/s10107-026-02400-x http://arxiv.org/abs/2605.26751v2 2026-07-17T18:04:15Z

In this paper we propose dynamic output-feedback controller synthesis methods for discrete-time linear time-invariant systems. The synthesis goal is either to achieve dissipativity with respect to a given quadratic supply rate, or to achieve given $H_2$ performance level. It is assumed that the autoregressive model of system dynamics is unknown, expect for the noisy disturbance term which is not part of the performance channel. Instead, we have a recorded trajectory of inputs and outputs which can be corrupted by an unknown but bounded disturbance. Methods are formulated in terms of linear matrix inequalities parametrized by a scalar variable, while in noiseless case they reduce to linear matrix inequalities. Within the considered setting, synthesis procedures are non-conservative.

2026-05-26T09:24:49Z 12 pages, 5 figures; some statements are added or reformulated; numerical example is updated Pietro Kristović Andrej Jokić Mircea Lazar http://arxiv.org/abs/2607.16188v1 2026-07-17T17:59:13Z

We study the problem of optimal control for dynamical systems near a pitchfork bifurcation, motivated by the role of external cues in guiding symmetry-breaking transitions in cell-fate selection and other natural processes. Using an asymptotic expansion of the optimality conditions obtained from the Pontryagin maximum principle, the leading-order optimal control law for a general n-dimensional system is examined across three dynamical regimes distinguished by scaling of control strength with respect to the distance from criticality. While in the strong control limit the results reduce to known approximations from linear-quadratic control, we derive generalized amplitude equations for the co-evolution of state and costate variables describing the optimized trajectory in the weak and intermediate control regimes. These control normal forms are validated against numerical solutions of the full optimal control problem for a canonical model of a bistable biochemical switch. The bifurcation structure of the optimal control problem is analyzed in the weak control regime. Finally, we demonstrate the construction of asymptotic solutions in the long time limit in this regime using boundary-layer methods.

2026-07-17T17:59:13Z Pearson W. Miller http://arxiv.org/abs/2607.16177v1 2026-07-17T17:56:05Z

Reinforcement learning (RL) has recently emerged as a promising feedback control strategy for nonlinear and complex dynamical systems. However, RL algorithms are sample inefficient and require a large number of interaction with the environment to synthesize optimal control strategies. Consequently, applications of RL are typically limited to sparse sensors and actuators due to the curse of dimensionality entailed by the exploration-exploitation dilemma in high-dimensional spaces. In this work, we bridge RL and traditional optimal control for dynamical system with a novel Physics-EnhAnced Reinforcement Learning (PEARL) paradigm tailored to the control of high-dimensional and parametric dynamical systems, exploiting the differentibility of their dynamics. Specifically, PEARL employs an actor-adjoint algorithm that leverages automatic differentiation to compute policy gradients over short horizons and adjoint-based sensitivities of future returns approximated via neural networks, significantly reducing the number of environment interactions, while mitigating long-term gradient instabilities. Through two challenging parametric navigation problems in unsteady flows, we show that PEARL (i) effectively exploits differentiable environments to outperform state-of-the-art RL algorithms, (ii) is sample efficient, thanks to the physics-guided policy learning, (iii) generalizes across multiple scenarios, which is crucial when dealing with parametric systems, and (iv) enables scaling RL to high-dimensional state and action spaces, without requiring low-dimensional state representations or multi-agent strategies.

2026-07-17T17:56:05Z Matteo Tomasetto Nicolò Botteghi Gabriele Bruni Andrea Manzoni http://arxiv.org/abs/2607.16171v1 2026-07-17T17:50:02Z

We disprove the conjecture that every globally asymptotically stable homogeneous polynomial vector field admits a homogeneous polynomial Lyapunov function. The counterexample is a planar homogeneous cubic polynomial vector field with integer coefficients. It admits no positive definite homogeneous polynomial with nonpositive Lie derivative and, more strongly, no real-analytic Lyapunov function even locally. Nevertheless, it has an explicit degree-two homogeneous Lyapunov function that is radially unbounded, continuously differentiable everywhere, and smooth away from the origin. We also provide a machine-checked Lean 4 formalization of the main result.

2026-07-17T17:50:02Z Jun Liu Maxwell Fitzsimmons http://arxiv.org/abs/2604.01347v2 2026-07-17T17:46:17Z

In this paper we propose a data-driven output-feedback controller synthesis method for discrete-time linear time-invariant systems in the form of autoregressive model with exogenous input. The synthesis goal is either to achieve dissipativity with respect to a given quadratic supply rate, or to achieve given $H_2$ performance level. It is assumed that the model of the plant is unknown, except for the disturbance term. To compensate for the lack of model knowledge, we have a recorded trajectory of the controlled input and the output available for control, which can be corrupted by an unknown but bounded disturbance. Derived controller synthesis method is in the form of linear matrix inequalities and is nonconservative within the considered problem setting.

2026-04-01T19:58:47Z 9 pages, 1 figure; some statements are added or reformulated Pietro Kristović Andrej Jokić Mircea Lazar http://arxiv.org/abs/2607.12550v2 2026-07-17T17:45:07Z

The key-value (KV) cache has become the dominant memory cost of transformer inference: it grows with batch size, context length, and depth, and at long context it, rather than the model weights, sets the throughput ceiling. Existing reductions fall into two families. Low-rank methods factor two-dimensional slices of the cache, either per-head matrices or cross-layer feature blocks, and quantization methods lower the bit-width of every entry. Neither exploits the fact that the cache at a layer is naturally a third-order tensor whose three axes, the heads, the tokens, and the features, carry very different amounts of redundancy. We take this tensor view directly. Our method, JoLT (Joint Lagrangian Tucker), applies a partial Tucker decomposition that compresses only the token and feature axes while leaving the head and layer axes intact, then restores the energy that truncation discards with a rotated low-bit residual: a random orthogonal rotation followed by low-bit quantization. A single Lagrangian dual allocates the Tucker ranks and the residual bit-widths together, per layer group and separately for keys and values, under one byte budget. The result is a near-lossless 2-3x compression. Perplexity stays near-lossless on both a grouped-query-attention model (Mistral-7B-v0.3) and a multi-head-attention model (LLaMA-2-13B), and GSM8K accuracy and needle-in-a-haystack retrieval hold at the uncompressed baseline at 2x on both architectures and through 3x on the GQA model. At 2x, JoLT reconstructs the cache to relative Frobenius error 0.009 (K) and 0.006 (V) on both architectures. A randomized-SVD variant, FlashJoLT, delivers a 5-13x compression-time speedup at 1024-token context and matched quality.

2026-07-14T09:23:20Z 11 pages, 1 figure Rahul Krishnan Volker Schulz http://arxiv.org/abs/2607.16384v1 2026-07-17T17:22:46Z

For stochastic gradient descent (SGD) with a constant stepsize $α$, the invariant law of the iterates, centered at a minimizer, describes the behavior of the algorithm over long time horizons. In the strongly convex case, this invariant law has the familiar $\sqrtα$ scaling and a Gaussian limit as $α\downarrow 0$. We show that this behavior changes fundamentally for convex objectives $H$ with flat minima and (sub)quadratic tails. More specifically, we study SGD with Markovian noise generated by a contractive driving chain. For every sufficiently small constant stepsize $α$, we prove existence, uniqueness, and geometric convergence to an augmented invariant law in a Wasserstein distance induced by an $α$-dependent metric. When the minimizer $x_\star$ has local flatness exponent $m\ge2$, meaning that $\nabla^2 H(x)\asymp \lVert x-x_\star\rVert^{m-2} I_d$ as $x\to x_\star$, we obtain a contraction bound with factor $1-cα^{m-1}$, where $c>0$ is a constant. This recovers the factor $1-cα$ in the quadratic case $m=2$. We then analyze the small-stepsize scaling limit. We show that the invariant law concentrates on the scale $α^{1/m}$ and that the rescaled iterates converge weakly to the stationary distribution of the stochastic differential equation $$ dY_t=-h_0(Y_t)\,dt+Σ^{1/2}\,dB_t , $$ where $h_0$ is the limiting drift at the minimizer and $Σ$ denotes the asymptotic covariance. This recovers the Gaussian limit when $m=2$ and gives generally non-Gaussian stationary limits in the flat case $m>2$. Finally, we give corresponding results for coordinate-separable objectives with unequal flatness exponents.

2026-07-17T17:22:46Z 52 pages, 3 figures, 1 table Jingyi Zhang Cheng Mao Debankur Mukherjee