arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2081
2403.05566 2026-05-11 stat.AP

Bringing Age Back In: Accounting for Population Age Distribution in Forecasting Migration

Nathan G. Welch, Hana Ševčíková, Adrian E. Raftery

AI总结 该研究探讨了人口年龄结构对国际净迁入率的影响,指出现有模型在预测国家层面的净迁移率时忽略了这一关键因素。研究提出了一种基于年龄标准化的估计方法,结合迁移年龄结构指数(MASI),对1990年至2020年间200个人口大国的净迁移率进行分解与重构,并利用贝叶斯分层模型对未来五十年的净迁移率进行联合概率预测。结果表明,考虑人口年龄结构后,多数国家的预测区间更窄,且能更准确地反映快速老龄化国家的人口变化趋势。

Comments 29 pages, 8 figures, 3 tables

详情
Journal ref
Demography 2026
英文摘要

The link between age and migration propensity is long established, but existing models of country-level net migration ignore the effect of population age distribution on past and projected migration rates. We propose a method to estimate and forecast international net migration rates for the 200 most populous countries, taking account of changes in population age structure. We use age-standardized estimates of country-level net migration rates and in-migration rates over quinquennial periods from 1990 through 2020 to decompose past net migration rates into in-migration rates and out-migration rates. We then recalculate historic migration rates on a scale that removes the influence of the population age distribution. This is done by scaling past and projected migration rates in terms of a reference population and period. We show that this can be done very simply, using a quantity we call the migration age structure index (MASI). We use a Bayesian hierarchical model to generate joint probabilistic forecasts of total and age- and sex- specific net migration rates over five-year periods for all countries from 2020 through 2100. We find that accounting for population age structure in historic and forecast net migration rates leads to narrower prediction intervals by the end of the century for most countries. Also, applying a Rogers & Castro-like migration age schedule to migration outflows reduces uncertainty in population pyramid forecasts. Finally, accounting for population age structure leads to less out-migration among countries with rapidly aging populations that are forecast to contract most rapidly by the end of the century. This leads to less drastic population declines than are forecast without accounting for population age structure.

2309.06508 2026-05-11 quant-ph

Exceptional point induced quantum phase synchronization and entanglement dynamics in mechanically coupled gain-loss oscillators

Joy Ghosh, Souvik Mondal, Shailendra K. Varshney, kapil Debnath

AI总结 本文研究了机械耦合增益-损耗振荡器系统中量子相位同步与双量子纠缠动力学的关系,通过调控腔体的蓝失谐和红失谐激光来设计增益与损耗速率。研究发现,在临界驱动功率以上,异常点诱导的自持振荡能够实现稳定的量子相位同步和强量子关联,相关现象通过机械压缩和维格纳分布的相空间旋转得到了验证。该成果为基于声子的量子通信与信息处理提供了新的思路。

Comments 10 pages, 9 figures

详情
Journal ref
Physical Review A 109, 023512 (2024)
英文摘要

The optomechanical cavity (OMC) system has been a paradigm in the manifestation of continuous variable quantum information over the past decade. This paper investigates how quantum phase synchronization relates to bipartite Gaussian entanglement in coupled gain-loss mechanical oscillators, where the gain and loss rates are engineered by driving the cavity with blue and red detuned lasers, respectively. We examine the role of exceptional point in a deterministic way of producing self-sustained oscillations that induce robust quantum correlations among quadrature fluctuations of the oscillators. Particularly, steady phase synchronization dynamics along with the entanglement phenomena are observed in the effective weak coupling regime above a critical driving power. These phenomena are further verified by observing the mechanical squeezing and phase space rotations of the Wigner distributions. Additionally, we discuss how the oscillators frequency mismatches and decoherence due to thermal phonons impact the system dynamics. These findings hold promise for applications in phonon-based quantum communication and information processing.

2307.16830 2026-05-11 math.OC cs.DC

Accelerating Optimal Power Flow with GPUs: SIMD Abstraction of Nonlinear Programs and Condensed-Space Interior-Point Methods

Sungho Shin, François Pacaud, Mihai Anitescu

AI总结 本文提出了一种基于图形处理器(GPU)的框架,用于求解交流最优潮流(ACOPF)问题。为克服在GPU上实现稀疏自动微分和稀疏线性求解器的困难,研究引入了单指令多数据(SIMD)形式的非线性规划抽象,并采用了一种结合不等式松弛的压缩空间内点法(IPM)。该方法通过将KKT系统压缩为正定系统,避免了数值选主元操作,从而提升了算法在GPU上的并行效率。实验结果表明,该方法在NVIDIA GPU上实现的性能相比传统CPU工具提升了数量级。

Comments Accepted for publication in PSCC 2024

详情
Journal ref
Electric Power Systems Research, 2024
英文摘要

This paper introduces a framework for solving alternating current optimal power flow (ACOPF) problems using graphics processing units (GPUs). While GPUs have demonstrated remarkable performance in various computing domains, their application in ACOPF has been limited due to challenges associated with porting sparse automatic differentiation (AD) and sparse linear solver routines to GPUs. We address these issues with two key strategies. First, we utilize a single-instruction, multiple-data abstraction of nonlinear programs. This approach enables the specification of model equations while preserving their parallelizable structure and, in turn, facilitates the parallel AD implementation. Second, we employ a condensed-space interior-point method (IPM) with an inequality relaxation. This technique involves condensing the Karush--Kuhn--Tucker (KKT) system into a positive definite system. This strategy offers the key advantage of being able to factorize the KKT matrix without numerical pivoting, which has hampered the parallelization of the IPM algorithm. By combining these strategies, we can perform the majority of operations on GPUs while keeping the data residing in the device memory only. Comprehensive numerical benchmark results showcase the advantage of our approach. Remarkably, our implementations -- MadNLP.jl and ExaModels.jl -- running on NVIDIA GPUs achieve an order of magnitude speedup compared with state-of-the-art tools running on contemporary CPUs.

2307.15949 2026-05-11 quant-ph cond-mat.str-el

Logarithmic growth of peripheral entanglement concentrated via noisy measurements in a star network of spins

Jithin G. Krishnan, Harikrishnan K. J., Amit Kumar Pal

AI总结 本文研究了在具有XYZ型海森堡相互作用的星型自旋网络中,通过噪声测量集中化的边缘纠缠的对数增长特性。研究发现,当xy各向异性消失时,边缘可局域化纠缠随外围节点数量增加呈对数增长,而这一特性在非零xy各向异性下会消失,但可通过局域磁场使系统脱离平衡态加以抵消。研究还比较了不同系统极限下边缘纠缠的行为差异,并展示了在大外围极限下,无论噪声强度如何,边缘可局域化纠缠均表现出对数增长的趋势。

Comments 23 pages, 11 figures

详情
Journal ref
Physics Letters A 531 (2025) 130170
英文摘要

In a star-network of qubits interacting via Heisenberg interaction of XYZ-type, we demonstrate a logarithmic growth of the localizable bipartite peripheral entanglement with increasing periphery-size and vanishing xy-anisotropy. This feature disappears when xy-anisotropy becomes non-zero, exhibiting an anisotropy effect, which can be negated by taking the system out of equilibrium by a qubit-local magnetic field. In the large-center and the competing-center limits of the model, the behaviour of LBPE is qualitatively different from that of the large-periphery limit. Also, the bipartite peripheral entanglement computed via a partial trace-based approach behaves qualitatively similarly to the LBPE in the large periphery limit, while in the other two limits, it behaves differently. We further consider the generalized description of localizable entanglement using unsharp measurements, and demonstrate that the logarithmic growth of LBPE is present for all noise strengths in the large-periphery limit, while in the competing-center limit, it does not.

2306.04716 2026-05-11 math.DS math.AP

Frequency conditions for the global stability of nonlinear delay equations with several equilibria

Mikhail Anikushin, Andrey Romanov

AI总结 本文研究具有多个平衡点的非线性延迟方程的全局稳定性问题,提出了一种基于频率不等式的稳定性判据,并发展了相应的近似验证方法。通过将延迟方程生成的复合共轭与平稳问题进行比较,利用谱比较原理推导出频率不等式,进而分析系统在参数空间中无闭合不变环的区域。该方法在标量方程中的应用展示了其有效性,并为无限维系统中全局稳定性的研究提供了新思路。

详情
Journal ref
J. Math. Anal. Appl., 563(2), 130775 (2026)
英文摘要

In our adjacent work, we developed a spectral comparison principle for compound cocycles generated by delay equations. It allows to derive frequency inequalities for the uniform exponential stability of such cocycles by means of their comparison with stationary problems. Such inequalities are hard to verify purely analytically, and in this work we develop approximation schemes to verify some of the arising frequency inequalities. Besides some general theoretical results, in applications we stick to the case of scalar equations. By means of the Suarez-Schopf delayed oscillator and the Mackey-Glass equations, we demonstrate applications of the theory to reveal regions in the space of parameters where the absence of closed invariant contours can be guaranteed. Since the frequency inequalities are robust, so close systems also satisfy them, we expect the method to actually imply the global stability, as in known finite-dimensional results utilizing variants of the closing lemma, which is still awaiting developments in infinite dimensions.

2304.09037 2026-05-11 physics.hist-ph quant-ph

Carnap on Quantum Mechanics

Sebastian Horvat, Iulian D. Toader

AI总结 本文回顾了鲁道夫·卡尔纳普对当时量子力学的哲学观点,探讨了他对量子力学基础问题的理解与立场。文章还尝试推测卡尔纳普可能对近年来量子力学基础研究中的一些新进展做出的反应。研究有助于理解20世纪哲学家对量子理论发展的思考及其对当代讨论的潜在影响。

Comments 8 pages; forthcoming in Carnap Handbuch, Metzler, ed. by Georg Schiemer and Christian Damböck

详情
英文摘要

This entry reviews Rudolf Carnap's philosophical views on the quantum mechanics of his time. It also offers some thoughts on how Carnap might have reacted to some recent developments in the foundations of quantum mechanics.

2303.10822 2026-05-11 math.AT math.CT

Non-Abelian homology and homotopy colimit of classifying spaces for a diagram of groups

Ahmet A. Husainov

AI总结 本文研究了群图的非阿贝尔同调群,并将其与分类空间图的同伦余极限的同伦群建立了联系。作者证明了群图的非阿贝尔同调群与分类空间图的同伦余极限的同伦群在维数平移后是同构的,并推广了Bousfield和Kan关于阿贝尔单子群的同伦群与同调群之间同构的结果。此外,文章还提出了一种方法用于确定分类空间同伦余极限的最小非零同伦群,并给出了在自由范畴上群图的非阿贝尔与阿贝尔同调群同构的判定条件。

Comments 26 pages

详情
英文摘要

This paper considers non-Abelian homology groups of a group diagram introduced as homotopy groups of a simplicial change. We prove a theorem stating that the non-Abelian homology groups of a group diagram are isomorphic to the homotopy groups of the homotopy colimit of a classifying space diagram, with the dimension shifted by 1. Bousfield and Kan proved an isomorphism between the homotopy groups of an Abelian simplicial group and the homology groups of this simplicial group. We generalize this to non-Abelian simplicial groups. We also develop a method for finding a non-zero homotopy group of smallest dimension for the homotopy colimit of classifying spaces. For a group diagram over a free category with a zero colimit, we obtain a criterion for the isomorphism of the first non-Abelian and Abelian homology groups.

2302.03249 2026-05-11 quant-ph

Qualitative quantum simulation of resonant tunneling and localization with the shallow quantum circuits

J. L. Shen, P. Wang

AI总结 本文研究了在基于电路的量子计算机中,如何利用浅层量子线路定性观察连续时间演化中的典型量子现象,如共振隧穿和局域化。通过构建由XY门、受控-Rx门和单量子比特Rz门组成的 Trotter 电路,作者展示了在较大时间步长下,仅需较浅的电路深度即可实现对这些现象的定性模拟。研究结果表明,定性观察某些重要量子现象所需的电路深度远低于精确计算的要求,为近期量子计算机的应用提供了可行路径。

Comments 16 pages,4 figures

详情
英文摘要

In a circuit-based quantum computer, the computing is performed via the discrete-time evolution driven by quantum gates. Accurate simulation of continuoustime evolution requires a large number of quantum gates and therefore suffers from more noise. In this paper, we find that shallow quantum circuits are sufficient to qualitatively observe some typical quantum phenomena in the continuous-time evolution limit, such as resonant tunneling and localization phenomena. We study the propagation of a spin excitation in Trotter circuits with a large step size. The circuits are formed of two types of two-qubit gates, i.e. XY gates and controlled- Rx gates, and single-qubit Rz gates. The configuration of the Rz gates determines the distribution of the spin excitation at the end of evolution. We demonstrate the resonant tunneling with up to four steps and the localization phenomenon with dozens of steps in Trotter circuits. Our results show that the circuit depth required for qualitative observation of some significant quantum phenomena is much smaller than that required for quantitative computation, suggesting that it is feasible to apply qualitative observations to near-term quantum computers. We also provide a way to use the physics laws to understand the error propagation in quantum circuits.

2301.05636 2026-05-11 stat.ME

Improving Power by Conditioning on Less in Post-selection Inference for Changepoints

Rachel Carrington, Paul Fearnhead

AI总结 该研究旨在提高在变点检测后选择推断中的统计检验功效。通过减少条件信息,提出了一种更高效的条件p值计算方法,尽管其形式难以直接求解,但可通过蒙特卡洛方法进行近似。实验表明,即使使用较小的蒙特卡洛样本量,该方法也能显著提升检测能力,在人类基因组GC含量数据上,将检测到的显著变点数量从17个提升至27个。

Comments 32 pages, 14 figures

详情
Journal ref
Statistics and Computing 35 (2025) 8
英文摘要

Post-selection inference has recently been proposed as a way of quantifying uncertainty about detected changepoints. The idea is to run a changepoint detection algorithm, and then re-use the same data to perform a test for a change near each of the detected changes. By defining the p-value for the test appropriately, so that it is conditional on the information used to choose the test, this approach will produce valid p-values. We show how to improve the power of these procedures by conditioning on less information. This gives rise to an ideal selective p-value that is intractable but can be approximated by Monte Carlo. We show that for any Monte Carlo sample size, this procedure produces valid p-values, and empirically that noticeable increase in power is possible with only very modest Monte Carlo sample sizes. Our procedure is easy to implement given existing post-selection inference methods, as we just need to generate perturbations of the data set and re-apply the post-selection method to each of these. On genomic data consisting of human GC content, our procedure increases the number of significant changepoints that are detected from e.g. 17 to 27, when compared to existing methods.

2209.13050 2026-05-11 math.OC

Constrained Policy Optimization for Stochastic Optimal Control under Nonstationary Uncertainties

Sungho Shin, François Pacaud, Emil Contantinescu, Mihai Anitescu

AI总结 本文提出了一种用于非平稳不确定性下随机最优控制的约束策略优化方法。通过引入马尔可夫嵌入性假设,将原问题转化为扩展状态空间上的策略优化问题,并利用函数逼近、确定性采样和时间截断将其近似为有限维非线性规划问题。该问题通过自动微分和压缩空间内点法求解,最后通过数值实验验证了所提方法的有效性。

详情
Journal ref
2023 American Control Conference (ACC)
英文摘要

This article presents a constrained policy optimization approach for the optimal control of systems under nonstationary uncertainties. We introduce an assumption that we call Markov embeddability that allows us to cast the stochastic optimal control problem as a policy optimization problem over the augmented state space. Then, the infinite-dimensional policy optimization problem is approximated as a finite-dimensional nonlinear program by applying function approximation, deterministic sampling, and temporal truncation. The approximated problem is solved by using automatic differentiation and condensed-space interior-point methods. We formulate several conceptual and practical open questions regarding the asymptotic exactness of the approximation and the solution strategies for the approximated problem. As a proof of concept, we provide a numerical example demonstrating the performance of the control policy obtained by the proposed method.

2209.13049 2026-05-11 math.OC

Exploiting GPU/SIMD Architectures for Solving Linear-Quadratic MPC Problems

David Cole, Sungho Shin, François Pacaud, Victor M. Zavala, Mihai Anitescu

AI总结 本文研究了如何利用GPU/SIMD架构高效求解带约束的线性二次模型预测控制(MPC)问题。通过消去状态变量并采用压缩空间内点法,将KKT系统中的不等式约束去除,得到一个正定的压缩矩阵,可在GPU/SIMD架构上并行高效分解。该方法在状态变量多而控制变量少、预测时域适中的情况下表现尤为突出,数值实验表明其求解速度比标准CPU实现快一个数量级,并提供了用于GPU上MPC问题建模与求解的开源Julia框架。

详情
Journal ref
2023 American Control Conference (ACC)
英文摘要

We report numerical results on solving constrained linear-quadratic model predictive control (MPC) problems by exploiting graphics processing units (GPUs). The presented method reduces the MPC problem by eliminating the state variables and applies a condensed-space interior-point method to remove the inequality constraints in the KKT system. The final condensed matrix is positive definite and can be efficiently factorized in parallel on GPU/SIMD architectures. In addition, the size of the condensed matrix depends only on the number of controls in the problem, rendering the method particularly effective when the problem has many states but few inputs and moderate horizon length. Our numerical results for PDE-constrained problems show that the approach is an order of magnitude faster than a standard CPU implementation. We also provide an open-source Julia framework that facilitates modeling (DynamicNLPModels.jl) and solution (MadNLP.jl) of MPC problems on GPUs.

2206.07731 2026-05-11 quant-ph cond-mat.str-el

Controlling gain with loss: Bounds on localizable entanglement in multi-qubit systems

Jithin G. Krishnan, Harikrishnan K. J., Amit Kumar Pal

AI总结 本文研究了多量子比特系统中,通过在剩余子系统上进行局域测量所局域化的纠缠量与测量过程中损失的双粒子纠缠之间的关系。作者分析了包括广义GHZ态、广义W态、Dicke态等典型纯态,并给出了局域化纠缠的理论界。研究还表明,在系统规模增大时,局域化纠缠趋于等于测量前特定分划下的双粒子纠缠,并进一步在存在单量子比特相位翻转噪声和一维量子自旋模型中验证了这一关系的鲁棒性。

Comments 23 pages, 9 figures, 2 tables

详情
Journal ref
Phys. Rev. A 107, 042411(2023)
英文摘要

We investigate the relation between the amount of entanglement localized on a chosen subsystem of a multi-qubit system via local measurements on the rest of the system, and the bipartite entanglement that is lost during this measurement process. We study a number of paradigmatic pure states, including the generalized GHZ, the generalized W, Dicke, and the generalized Dicke states. For the generalized GHZ and W states, we analytically derive bounds on localizable entanglement in terms of the entanglement present in the system prior to the measurement. Also, for the Dicke and the generalized Dicke states, we demonstrate that with increasing system size, localizable entanglement tends to be equal to the bipartite entanglement present in the system over a specific partition before measurement. We extend the investigation numerically in the case of arbitrary multi-qubit pure states. We also analytically determine the modification of these results, including the proposed bounds, in situations where these pure states are subjected to single-qubit phase-flip noise on all qubits. Additionally, we study one-dimensional paradigmatic quantum spin models, namely the transverse-field XY model and the XXZ model in an external field, and numerically demonstrate a cubic dependence of the localized entanglement on the lost entanglement. We show that this relation is robust even in the presence of disorder in the strength of the external field.

2204.05264 2026-05-11 math.OC

A Julia Framework for Graph-Structured Nonlinear Optimization

David L Cole, Sungho Shin, Victor Zavala

AI总结 本文提出了一种基于 Julia 语言的框架,用于建模和求解具有图结构的非线性优化问题。该框架结合了用于构建和操作图模型的 Plasmo.jl 包以及能够利用图结构加速求解的非线性优化求解器 MadNLP.jl,实现了模型的直观构建与高效求解。通过一个简单示例和大规模随机天然气网络问题,展示了框架在易用性和可扩展性方面的优势。

Comments 30 pages, 14 figures

详情
Journal ref
Industrial & Engineering Chemistry Research, 2022
英文摘要

Graph theory provides a convenient framework for modeling and solving structured optimization problems. Under this framework, the modeler can arrange/assemble the components of an optimization model (variables, constraints, objective functions, and data) within nodes and edges of a graph, and this representation can be used to visualize, manipulate, and solve the problem. In this work, we present a ${\tt Julia}$ framework for modeling and solving graph-structured nonlinear optimization problems. Our framework integrates the modeling package ${\tt Plasmo.jl}$ (which facilitates the construction and manipulation of graph models) and the nonlinear optimization solver ${\tt MadNLP.jl}$ (which provides capabilities for exploiting graph structures to accelerate solution). We illustrate with a simple example how model construction and manipulation can be performed in an intuitive manner using ${\tt Plasmo.jl}$ and how the model structure can be exploited by ${\tt MadNLP.jl}$. We also demonstrate the scalability of the framework by targeting a large-scale, stochastic gas network problem that contains over 1.7 million variables.

2204.02209 2026-05-11 quant-ph cond-mat.stat-mech

Robust multipartite entanglement in dirty topological wires

Luca Pezzè, Luca Lepori

AI总结 本文研究了在存在长程关联和空间无序的情况下,拓扑线中多体纠缠的鲁棒性问题。通过推广Kitaev链模型,引入可变范围配对和位置依赖的化学势,分析了不同调制方式和安德森无序下的基态多体纠缠特性,发现量子费舍尔信息的标度行为能够有效表征拓扑相和长程关联相。研究结果表明,多体纠缠在面对空间不均匀性时具有良好的鲁棒性,为利用多体纠缠研究拓扑体系提供了重要参考。

Comments Phys. Rev. B 113, 205112 (2026)

详情
英文摘要

Identifying and characterizing quantum phases of matter in the presence of long range correlations and/or spatial disorder is, generally, a challenging and relevant task. Here, we study a generalization of the Kiteav chain with variable-range pairing and different site-dependence of the chemical potential, addressing commensurable and incommensurable modulations as well as Anderson disorder. In particular, we analyze multipartite entanglement (ME) in the ground state of the dirty topological wires by studying the scaling of the quantum Fisher information (QFI) with the system's size. For nearest-neighbour pairing the Heisenberg scaling of the QFI is found in one-to-one correspondence with topological phases hosting Majorana modes. For finite-range pairing, we recognize long-range phases by the super-extensive scaling of the QFI and characterize complex lobe-structured phase diagrams. Overall, we observe that ME is robust against finite strengths of spatial inhomogeneity. This work contributes to establish ME as a central quantity to study intriguing aspects of topological systems.

2110.02590 2026-05-11 math.OC

A Feasible Reduced Space Method for Real-Time Optimal Power Flow

François Pacaud, Daniel Adrian Maldonado, Sungho Shin, Michel Schanen, Mihai Anitescu

AI总结 本文提出了一种适用于实时应用的新型可行路径算法,用于求解最优潮流(OPF)问题。该方法在功率潮流方程所诱导的约化空间中引入二阶导数,仅保留操作约束的不等式约束,并通过增广拉格朗日罚项软性处理操作约束。与传统的内点法不同,该算法在每一步迭代中都保持可行性,且借助图形处理器加速计算约化海森矩阵,证明了该二阶方法在求解静态和实时OPF问题中的数值可行性和有效性。

Comments 7 pages, 3 figures, conference proceeding

详情
Journal ref
Electric Power Systems Research, 2022
英文摘要

We propose a novel feasible-path algorithm to solve the optimal power flow (OPF) problem for real-time use cases. The method augments the seminal work of Dommel and Tinney with second-order derivatives to work directly in the reduced space induced by the power flow equations. In the reduced space, the optimization problem includes only inequality constraints corresponding to the operational constraints. While the reduced formulation directly enforces the physical constraints, the operational constraints are softly enforced through Augmented Lagrangian penalty terms. In contrast to interior-point algorithms (state-of-the art for solving OPF), our algorithm maintains feasibility at each iteration, which makes it suitable for real-time application. By exploiting accelerator hardware (Graphic Processing Units) to compute the reduced Hessian, we show that the second-order method is numerically tractable and is effective to solve both static and real-time OPF problems.

2101.06350 2026-05-11 math.OC

Controllability and Observability Imply Exponential Decay of Sensitivity in Dynamic Optimization

Sungho Shin, Victor M. Zavala

AI总结 本文研究动态优化问题中的一种性质——灵敏度指数衰减(EDS),即解在某一阶段对另一阶段数据扰动的灵敏度随阶段间距离指数衰减。作者基于之前的结果,证明在拉格朗日函数的海森矩阵有界、统一二阶充分条件和统一线性独立约束资格等条件下,EDS 成立,并进一步表明统一可控性和可观测性可推导出这些条件,从而保证 EDS。该结果揭示了扰动沿时间轴传播的特性,为设计近似和求解方法提供了理论依据。

详情
英文摘要

We study a property of dynamic optimization (DO) problems (as those encountered in model predictive control and moving horizon estimation) that is known as exponential decay of sensitivity (EDS). This property indicates that the sensitivity of the solution at stage $i$ against a data perturbation at stage $j$ decays exponentially with $|i-j|$. {Building upon our previous results, we show that EDS holds under uniform boundedness of the Lagrangian Hessian, a uniform second order sufficiency condition (uSOSC), and a uniform linear independence constraint qualification (uLICQ). Furthermore, we prove that uSOSC and uLICQ can be obtained under uniform controllability and observability. Hence, we have that uniform controllability and observability imply EDS.} These results provide insights into how perturbations propagate along the horizon and enable the development of approximation and solution schemes. We illustrate the developments with numerical examples.

2101.03067 2026-05-11 math.OC

Exponential Decay of Sensitivity in Graph-Structured Nonlinear Programs

Sungho Shin, Mihai Anitescu, Victor M. Zavala

AI总结 本文研究了由图结构诱导的非线性规划问题的解对数据扰动的敏感性。作者证明了在图结构中,任意两个节点之间的解敏感性会随着它们之间的距离呈指数衰减,即扰动的影响会随着远离扰动点而迅速减弱。该结论在强二阶充分条件和线性独立约束资格条件下成立,并进一步给出了保证衰减率一致有界的条件,从而能够分析无限图子图上定义的非线性规划的敏感性行为。

详情
Journal ref
SIAM Journal on Optimization, 2022
英文摘要

We study solution sensitivity for nonlinear programs (NLPs) whose structures are induced by graphs. These NLPs arise in many applications such as dynamic optimization, stochastic optimization, optimization with partial differential equations, and network optimization. We show that for a given pair of nodes, the sensitivity of the primal-dual solution at one node against a data perturbation at the other node decays exponentially with respect to the distance between these two nodes on the graph. In other words, the solution sensitivity decays as one moves away from the perturbation point. This result, which we call exponential decay of sensitivity, holds under the strong second-order sufficiency condition and the linear independence constraint qualification. We also present conditions under which the decay rate remains uniformly bounded; this allows us to characterize the sensitivity behavior of NLPs defined over subgraphs of infinite graphs. The theoretical developments are illustrated with numerical examples.

2010.02404 2026-05-11 math.OC

Graph-Based Modeling and Decomposition of Energy Infrastructures

Sungho Shin, Carleton Coffrin, Kaarthik Sundar, Victor M. Zavala

AI总结 该论文研究了基于图结构的能源基础设施优化建模与分解方法,针对实时运行中涉及复杂时空动态的非线性优化问题,提出了一种利用图结构进行模型并行化和求解器并行化的策略。核心方法是引入受限加法施瓦茨方法,在内点算法中实现复杂图结构的灵活分解,并开发了一个通用非线性规划求解器MadNLP.jl与图建模工具Plasmo.jl集成。实验表明,该框架在天然气管网优化和多时段交流最优潮流问题上显著提升了求解效率,相比现有工具加速超过300%。

详情
英文摘要

Nonlinear optimization problems are found at the heart of real-time operations of critical infrastructures. These problems are computationally challenging because they embed complex physical models that exhibit space-time dynamics. We propose modeling these problems as graph-structured optimization problems, and illustrate how their structure can be exploited at the modeling level (for parallelizing function/derivative computations) and at the solver level (for parallelizing linear algebra operations). Specifically, we present a restricted additive Schwarz scheme that enables flexible decomposition of complex graph structures within an interior-point algorithm. The proposed approach is implemented as a general-purpose nonlinear programming solver that we call MadNLP.jl; this Julia-based solver is interfaced to the graph-based modeling package Plasmo.jl. The efficiency of this framework is demonstrated via problems arising in transient gas network optimization and multi-period AC optimal power flow. We show that our framework accelerates the solution (compared to off-the-shelf tools) by over 300%; specifically, solution times are reduced from 72.36 sec to 23.84 sec for the gas problem and from 515.81 sec to 149.45 sec for the power flow problem.

2006.05378 2026-05-11 math.OC

A Graph-Based Modeling Abstraction for Optimization: Concepts and Implementation in Plasmo.jl

Jordan Jalving, Sungho Shin, Victor M. Zavala

AI总结 本文提出了一种基于图的优化问题建模抽象方法,称为OptiGraph,将优化问题表示为层次化的超图结构,其中节点代表子问题,边表示子问题之间的连接关系。该方法支持复杂模型的模块化构建,便于使用图分析工具进行划分、聚合和可视化,并有助于与分解算法进行结构通信。作者在Julia语言的Plasmo.jl包中实现了该抽象,并通过教程示例和实际应用案例展示了其有效性。

详情
Journal ref
Mathematical Programming Computation, 2022
英文摘要

We present a general graph-based modeling abstraction for optimization that we call an OptiGraph. Under this abstraction, any optimization problem is treated as a hierarchical hypergraph in which nodes represent optimization subproblems and edges represent connectivity between such subproblems. The abstraction enables the modular construction of highly complex models in an intuitive manner, facilitates the use of graph analysis tools (to perform partitioning, aggregation, and visualization tasks), and facilitates communication of structures to decomposition algorithms. We provide an open-source implementation of the abstraction in the Julia-based package Plasmo.jl. We provide tutorial examples and large application case studies to illustrate the capabilities.

2004.13043 2026-05-11 cond-mat.mes-hall cond-mat.str-el cond-mat.supr-con

Color degeneracy of competing orders near topological defects cores in planar quadratic band touching systems

Bitan Roy

AI总结 本文研究了具有二次能带接触特性的二维费米子系统中,拓扑缺陷核心附近竞争序的色简并现象。通过引入绝缘体和超导体质量的涡旋和斯格明子,作者分析了这些缺陷如何打破对称性并引发多种零能模的分裂,从而产生不同的竞争序。研究揭示了在涡旋和斯格明子核心中,不同质量序之间的竞争与对称性破缺之间的关系,并探讨了这些现象在不同晶格结构中的实现方式。

Comments Published version in PRB: 17 Pages, 4 Figures, 2 Tables

详情
Journal ref
Phys. Rev. B 113, 205410 (2026)
英文摘要

We study two-dimensional fermionic systems, displaying quadratic band touching in the normal state, in the presence of vortices and skyrmions of insulating and superconducting masses in the ordered phase. A prototypical example of such systems is the Bernal bilayer graphene that supports eight zero-energy modes in the presence of a mass vortex with the requisite U(1) symmetry. Near the vortex core, additional ten masses that close an SO(5) algebra can develop local expectation values by splitting the manifold of zero modes in five and ten different ways by lifting its SO(4) and SU(2) chiral symmetries, respectively. In particular, each SU(2) chiral symmetry can be broken by three distinct copies of chiral-triplet mass orders, giving rise to the notion of the color degeneracy among the competing orders near the vortex core. By contrast, a skyrmion of three anticommuting masses supports additional six masses in its core, and possesses an SU(2) isospin quantum number, besides the usual generalized U(1) charge. Consequently, charge $4e$ Kekulé pair density waves can develop in the skyrmion core of Néel layer antiferromagnet, while a skyrmion of quantum spin Hall insulator in addition supports an $s$ wave pairing. We also analyze the internal algebra of competing orders in the core of these defects on checkerboard or Kagome lattice that supports only a single copy of quadratic band touching in the normal state.

2002.08556 2026-05-11 math.OC

Diffusing-Horizon Model Predictive Control

Sungho Shin, Victor M. Zavala

AI总结 本文提出了一种称为“扩散地平线模型预测控制”(Diffusing-Horizon MPC)的时间粗化策略,旨在解决多时间尺度最优控制问题中的计算挑战。该方法通过构建一个随时间推进而指数稀疏的时间离散网格,利用最优控制问题中参数扰动影响随时间后退呈指数衰减的特性,从而减少计算量。研究还证明了该策略在具有线性动态和成本的约束MPC问题中满足指数衰减条件,并通过暖通空调系统的实际案例验证了其有效性,计算时间减少了一个数量级,闭环成本仅增加3%。

详情
Journal ref
IEEE Transactions on Automatic Control, 2023
英文摘要

We analyze a time-coarsening strategy for model predictive control (MPC) that we call diffusing-horizon MPC. This strategy seeks to overcome the computational challenges associated with optimal control problems that span multiple timescales. The coarsening approach uses a time discretization grid that becomes exponentially more sparse as one moves forward in time. This design is motivated by a recently established property of optimal control problems that is known as exponential decay of sensitivity. This property states that the impact of a parametric perturbation at a future time decays exponentially as one moves backward in time. We establish conditions under which this property holds for a constrained MPC formulation with linear dynamics and costs. Moreover, we show that the proposed coarsening scheme can be cast as a parametric perturbation of the MPC problem and thus the exponential decay condition holds. We use a heating, ventilation, and air conditioning plant case study with real data to demonstrate the proposed approach. Specifically, we show that computational times can be reduced by two orders of magnitude while increasing the closed-loop cost by only 3%.

2605.07516 2026-05-11 hep-ph hep-th nucl-ex nucl-th

Collinear matching for leading power gluon transverse momentum distributions

Alessio Carmelo Alvaro, Nanako Kato, Barbara Pasquini, Cristian Pisano, Simone Rodini

AI总结 本文研究了导出领头阶胶子横向动量依赖部分子分布函数的树级和一阶环匹配关系。作者在自旋符形式下,分别考虑了扭度为2和3的贡献,推导了T偶和T奇分布的完整质量修正系列。在一阶环精度下,扩展了部分子在部分子框架,纳入小b展开中的次导头项,并首次获得了胶子虫齿T分布的Wandzura-Wilczek近似,同时发展了一种包含质量修正的计算方法,并提供了适用于数值实现的质量级数闭合表达式。

Comments 19 pages, 1 figure, 1 table

详情
英文摘要

We compute the tree-level and one-loop matching relations for leading power gluon transverse momentum dependent parton distribution functions. At tree-level, working within the spinor formalism, we focus on twist-2 and twist-3 contributions, deriving the complete series of mass corrections for both T-even and T-odd distributions. At one-loop accuracy, we extend the parton-in-parton framework to include contributions beyond the leading term in the small-b expansion. Applying this methodology to the gluon sector, we obtain for the first time the Wandzura-Wilczek approximation for the gluon worm-gear T distribution. Furthermore, we develop a method to include the mass corrections in one-loop results and provide a closed-form expression for the mass series suitable for numerical implementations.

2605.07515 2026-05-11 cs.CR

An Automated Framework for Cybersecurity Policy Compliance Assessment Against Security Control Standards

Bikash Saha, Sandeep Kumar Shukla

AI总结 本文提出了一种名为PROPARAG的自动化框架,用于评估组织网络安全政策是否符合标准安全控制要求。该框架能够自动检索相关政策证据,评估覆盖范围,识别缺失内容,并生成解释与改进建议。实验结果表明,该方法在两个真实组织政策语料库上取得了较高的F1分数,并能有效识别政策中的不足并提出针对性建议,为基于大语言模型的自主政策合规评估奠定了基础。

详情
英文摘要

Organizational cybersecurity policies are often examined to determine whether they adequately comply standard security controls. This task is difficult because control statements are abstract, whereas policy documents describe governance practices in varied natural language. As a result, policy-based control assessment is time-consuming, difficult to standardize, and often difficult to document in a traceable manner. To address this gap, we present PROPARAG, an audit support approach for evaluating organizational cybersecurity policies against security controls autonomously. For each control, the approach retrieves relevant policy evidence, assesses coverage, identifies missing elements, and generates supporting explanations and recommendations. We evaluate PROPARAG on two real-world organizational policy corpora using 1,007 NIST SP 800-53 controls across both closed-source and open-source large language models (LLMs). The framework achieves F1 scores of 88.54 on OrgA and 82.31 on OrgB. The evaluation also shows that PROPARAG identifies relevant gaps in documented organizational policies and generates grounded recommendations for each identified gap. This research provides foundation for LLM-powered autonomous control-level assessment of organizational cybersecurity policies.

2605.07511 2026-05-11 astro-ph.GA

Dynamical evolution of Milky Way globular clusters on the cosmological timescale II. Terzan 2, 4, and 5 mass loss and collision tracking

M. Ishchenko, P. Berczik, D. Kuvatova

AI总结 本文研究了银河系球状星团特南2、4和5在宇宙学时间尺度上的长期动力学演化,重点关注它们之间的相互作用、质量损失行为及其在银河系中心高密度环境中的生存能力。通过高分辨率的N体模拟,作者发现这些星团之间发生了多次近距离接触,显著影响了它们的质量损失率和形状演化,尤其是特南2和特南5由近似球形演变为明显的扁球形。研究强调了在银河系势场中考虑多星团相互作用对于理解这些星团长期演化和生存能力的重要性。

详情
英文摘要

We investigate the long-term dynamical evolution of Ter2, Ter4, and Ter5, focusing on their mutual interactions, mass-loss behaviour, and survivability in the dense Galactic centre environment. We performed a suite of high-resolution direct N-body simulations over 8 Gyr, modelling three individual clusters that we also modelled as combined systems. We compared reference runs of isolated clusters with simulations of the full three-cluster system to quantify possible differences in mass loss, potential energy, and orbital behaviour. Our simulations reveal multiple close encounters between the Terzan clusters. The most significant encounters occur between Ter2-Ter4 and Ter4-Ter5, with their tidal radii exceeding the minimum separation. A notable case is the pair Ter2-Ter4, which approaches within 10 pc at a relative velocity of ~320 km/s. We found that the mass-loss rate is higher for the low-mass Ter2 and Ter4 systems in the combined three-cluster simulations than in our similar isolated runs, highlighting the importance of mutual cluster interactions. The common run clearly demonstrates that mutual gravitational interactions between clusters drive significant triaxial deformations, especially for Ter2 and Ter5, which evolve from nearly spherical to distinctly prolate shapes. In contrast, the isolated runs show clusters that remained almost perfectly spherical, confirming that the observed shape changes are correlated with the mutual interactions. The survivability and dynamical evolution of Galactic centre globular clusters cannot be fully understood without accounting for collective interactions among all systems within a few kiloparsecs. Our results emphasise the necessity of complex multi-cluster modelling in realistic Galactic potentials to capture the long-term fate of surviving and dissolved clusters

2605.07508 2026-05-11 physics.ins-det hep-ex

Measurements of the micro-spill structure of medical cyclotron and synchrotron beams and its impact on pulse pileup

Matthias Knopf, Simon Waid, Stefan Gundacker, Sebastian Onder, Daniel Radmanovac, Philipp Gaggl, Giulio Bordieri, Francesco Cordoni, Marta Missiaggia, Enrico Verroi, Giulio Magrin, Thomas Bergauer, Albert Hirtl

AI总结 本文研究了医用回旋加速器和同步加速器束流的微束流结构及其对粒子堆叠(pileup)的影响。通过使用碳化硅(SiC)粒子传感器和高频读出系统,作者在亚纳秒时间尺度上精确测量了两种加速器的束流时间结构,并发现其到达时间分布与加速器射频频率相关,反映了束流提取过程的特征。该研究为未来读出电子设备的设计提供了重要依据,并突显了束流时间结构表征在高精度实验中的关键作用。

详情
英文摘要

Detector characterization and instrumentation testing are often performed at cyclotron and synchrotron facilities, many of which were originally developed for medical applications in cancer therapy. For particle physics experiments requiring a single-particle resolution, pileup can significantly degrade data quality, making precise knowledge of the beam time structure essential for selecting appropriate readout parameters. However, such information is often unavailable from the facilities and challenging to determine experimentally. Here, we report measurements of the spill time structure at two medical accelerator facilities using a silicon carbide (SiC) particle sensor coupled to a high-frequency readout system. Owing to its high carrier saturation velocity and the tolerance to large bias voltages, SiC is well suited for fast readout and measurements requiring precise timing. Using a 6 GHz readout with custom SiC diodes, we characterize the micro-spill structure of both cyclotron and synchrotron beams on a sub-nanosecond timescale. The measured arrival-time distributions exhibit modulation with the accelerator RF frequencies, reflecting features of the extraction process. The resolved micro-spill structure enables quantitative estimation of pileup contributions and provides design constraints for future readout electronics. The presented results emphasize the importance of the characterization of the beam time-structure characterization for the development of precise readout systems.

2605.07506 2026-05-11 math.FA

On posinormality of weighted composition-differentiation operators on $H^2(\mathbb{D})$

Gour Hait, Sarita Ojha, Nirupam Ghosh, Riddhick Birbonshi

AI总结 本文研究了在Hardy空间$H^2(\mathbb{D})$上加权复合-微分算子的正正规性和共正正规性。作者发现,普通的复合-微分算子$D_{ϕ,n}$不具有正正规性,但通过适当选择权重函数$ψ$和映射$ϕ$,加权复合-微分算子$D_{ψ,ϕ,n}$可以成为正正规的。文中还给出了该算子正正规性和共正正规性的一些必要条件,并推导了其伴随算子的表达式,为相关性质的分析提供了基础。

Comments 13 pages

详情
英文摘要

In this article, the posinormality and coposinormality of weighted composition-differentiation operators on Hardy space $H^2(\mathbb{D})$ are investigated. It is observed that while a composition-differentiation operator $D_{ϕ,n}$ fails to be posinormal, the weighted composition-differentiation operator $D_{ψ,ϕ,n}$ can be posinormal for specific choices of $ψ, ϕ$. Some necessary conditions are obtained for posinormality and coposinormality of the operator $D_{ψ,ϕ,n}$. Furthermore, the adjoint formula for this operator is derived which also helped us to examine some results regarding posinormality of this operator.

2605.07500 2026-05-11 math.DS

Computer-Assisted Proofs in Dynamical Systems: A Case Study of a Heteroclinic Orbit in the Shimizu--Morioka System

Olivier Hénot, Akitoshi Takayasu

AI总结 本文研究了Shimizu-Morioka系统中异宿轨道的存在性,采用后验验证方法中的半牛顿算子收缩策略,结合参数化方法和边值问题,给出了计算机辅助证明。通过零点寻找、近似解、近似逆和误差估计四步流程,系统验证了平衡点、特征对、局部不变流形及连接轨道的性质,展示了后验验证方法的统一结构,并提供了基于Julia的实现代码。

详情
英文摘要

The radii polynomial approach is an a posteriori validation method based on the contraction of a quasi-Newton operator. We apply this strategy to give a computer-assisted proof of a transverse heteroclinic orbit in the Shimizu--Morioka system, validating the equilibria and eigenpairs, the local invariant manifolds via the parameterization method, and the connecting orbit via a boundary-value problem. For each subproblem we present a four-step procedure: $(i)$ zero-finding formulation, $(ii)$ approximate zero, $(iii)$ approximate inverse, and $(iv)$ bound estimates. This highlights the unifying structure behind the a posteriori validation method. Alongside the analysis, we include code snippets implemented in Julia using the RadiiPolynomial library.

2605.07498 2026-05-11 q-bio.PE cs.CY

Modeling the Impact of Exposed Cases in a Hantavirus Outbreak on a Cruise Ship

Jiaming Cui

AI总结 本文研究了某邮轮上汉坦病毒疫情中隐性感染者对疫情传播的影响,构建了一个离散时间随机SEIRD模型,用于估计疫情传播动态、隐性感染情况及爆发风险。通过卡尔曼滤波方法结合世界卫生组织和欧洲疾病预防控制中心的疫情数据,推算了基本再生数为2.76,表明疫情在严格隔离措施实施前具有持续传播的潜力。研究还指出,疫情初期可能存在未被发现的隐性感染者,仅依赖症状监测难以有效识别,强调了在密闭旅行环境中快速监测、广泛检测和针对性隔离的重要性。

详情
英文摘要

The emergence of a hantavirus variant aboard a commercial cruise ship presents a significant public health concern. This study develops a discrete-time stochastic Susceptible-Exposed-Infectious-Recovered-Dead model to estimate transmission dynamics, hidden exposed infections, and outbreak risk among passengers and crew. Epidemiological parameters and latent disease states were inferred using an Ensemble Adjustment Kalman Filter calibrated to reported case data from WHO and ECDC situation reports. The estimated basic reproduction number was 2.76, with a 95\% confidence interval of 2.52-2.99, indicating substantial potential for sustained onboard transmission before strict quarantine measures. Simulations further suggest that several exposed individuals may remain unidentified during the early outbreak phase, creating a hidden reservoir that symptom-based surveillance alone may fail to detect. These findings highlight the importance of rapid surveillance, widespread testing, targeted quarantine, and active monitoring of exposed individuals in confined travel settings. The proposed modeling framework can support timely outbreak assessment and intervention planning for infectious-disease events in similarly dense and spatially constrained populations.

2605.07497 2026-05-11 math.RA math.CT math.QA

Opposite brace triples, Hopf braces and matched pairs of Hopf algebras

Ramón González Rodríguez, Brais Ramos Pérez

AI总结 本文在一般的辫状单范畴中引入了对偶brace三元组的概念,并证明在共交换条件下,该范畴与Hopf brace范畴是同构的。此外,当固定其中一个Hopf代数时,所得到的子范畴也与该Hopf代数上的匹配对范畴同构,从而建立了Hopf代数匹配对与Hopf brace之间的新联系。

详情
英文摘要

In this paper the category of opposite brace triples is introduced in a general braided monoidal setting. Under cocommutativity, it is proved to be isomorphic to the category of Hopf braces. Furthermore, if one considers the subcategories arising from fixing one of the underlying Hopf algebras, then these two categories are also isomorphic to the category of matched pairs over that Hopf algebra.

2605.07493 2026-05-11 math.AG

Geometry of weak contact conics to irreducible quartics with 2 nodes and 1 cusp via rational elliptic surfaces and Zariski pairs

Khulan Tumenbayar

AI总结 本文研究具有两个节点和一个拐点的不可约四次曲线 $\mathcal{Q}$ 与满足特定相交条件的二次曲线 $\mathcal{C}$ 之间的几何关系,通过构造由 $\mathcal{Q}$ 导出的有理椭圆曲面及其整体截面来分析其结构。研究进一步应用该方法构造了度数为7和8的 Zariski 对,其不可约分量包括 $\mathcal{Q}$、$\mathcal{C}$ 以及通过 $\mathcal{Q}$ 两个奇点的直线。

Comments 14 pages, 11 tables, 7 figures

详情
英文摘要

Let $\mathcal{Q}$ be an irreducible quartic with two nodes and one cusp as its singularities and let $\mathcal{C}$ be a conic such that the intersection multiplicity at each point of $\mathcal{C} \cap \mathcal{Q}$ is even and $\mathcal{C} \cap \mathcal{Q}$ contain at least one smooth point $z_o$ of $\mathcal{Q}$. In this paper, for every $\mathcal{Q}$ we find all possible conics $\mathcal{C}$ as above via studying geometry of $\mathcal{C}$ and $\mathcal{Q}$ through that of integral sections of a rational elliptic surface which canonically arises from $\mathcal{Q}$ and $z_o \in \mathcal{C} \cap \mathcal{Q}$. As an application, we construct Zariski pairs of degree 7 and degree 8, whose irreducible components consist of $\mathcal{Q}$, $\mathcal{C}$ and line passing through two of the singular points of $\mathcal{Q}$ .