《Fractal and Fractional》：Fractional-Order Event-Triggered Control of HIV on Heterogeneous Networks: Robust Contraction and Spectral Targeting
编辑推荐：
研究人员分析了一个具有风险触发筛查和抗逆转录病毒治疗（ART）链接的、在异质接触网络上传播的Caputo模型，该模型具有运动更新（campaign-renewed）特征。该模型具有谱下一代阈值（spectral next-generation threshol
研究人员分析了一个具有风险触发筛查和抗逆转录病毒治疗（ART）链接的、在异质接触网络上传播的Caputo模型，该模型具有运动更新（campaign-renewed）特征。该模型具有谱下一代阈值（spectral next-generation threshold）和显式的正矩阵Mittag–Leffler跳跃–流动算子（jump–flow operator）。在不假设非线性感染–治疗子系统具有协作性（cooperative）的条件下，建立了正性、在正线性预解比较（positive linear resolvent comparison）下的全局灭绝性以及条件鲁棒混合收缩定理（conditional robust hybrid-contraction theorems）。需要采用共同加权范数（common weighted norm）和看门狗有界干预区间（watchdog-bounded intervention intervals）；这些断言不能未经修改地应用于固定历史（fixed-history）Caputo系统。对完整80维循环矩阵的独立重构给出了所述名义基线（??=0.85，一年周期）的谱半径为1.0688，纠正了先前被描述为稳定化的非收缩设定。一个独立的六模式干预族允许共同加权范数界低于0.9981。新执行的20年非线性实验（包括强制看门狗事件）报告了单因素和名义预算匹配比较下的实际运动计数、ART转移和负担；在相同的总名义脉冲预算下，周期性策略可以优于风险触发干预。三个带种子的100图合成集合阐明了结构变异性，但不能证明任意切换。2005年至2020年的北京监测计数被独立重绘，其中一个缺失的AIDS观测被明确标记；这些数据不能经验性地识别分数阶、接触网络或控制器。
**研究背景与问题**
网络异质性是区分人口平均流行病模型与接触驱动传播过程的主要结构机制之一。度变异性、同配混合以及感染个体在接触图中的位置可以改变入侵阈值和靶向干预的边际价值。然而，在HIV控制中，拓扑结构本身并不能决定干预问题：抗逆转录病毒治疗（ART）和暴露前预防可以大幅降低传播风险，因此一个分析上有用的框架应不仅决定干预努力最有价值的地点，还应决定运动应在何时激活。这促使研究人员构建一种控制架构，其中网络结构决定分配，而状态依赖的流行病负担决定时机。
第二个问题是时间记忆，这促使研究人员探索分数阶表述作为时间依赖性的一种可能现象学描述，而非声称特定分数阶在经验上是必要的。标准整数阶流行病模型在状态给定后是马尔可夫的，而Caputo系统通过其卷积核保留非局部幂律历史。相关的稳定性理论由分数阶扇形条件和Mittag–Leffler衰减而非普通指数半群支配。对于当前的控制问题，这一区别是操作性的：在运动之间，整数阶线性化流动为指数型，而分数阶流动为Mittag–Leffler型。因此，分数阶改变了运动后松弛、触发穿越时间和完整干预周期的增益，即使代数入侵阈值不变。
第三条工作线涉及事件触发和脉冲控制。事件触发反馈被开发用于在保持稳定性的同时减少不必要的通信或 actuation，事件触发脉冲控制已扩展到具有显式Zeno排除条件的非线性和延迟系统。混合系统理论为结合连续流动与状态依赖跳跃提供了通用语言。这些研究确立了分数阶事件触发控制的相关性，但它们并未解决此处考虑的特定组合：异质HIV接触网络、风险触发的筛查到治疗跳跃、分数阶跳跃–流动稳定性算子，以及从该算子导出的拓扑感知有限预算靶向规则。因此，未解决的差距不是分数阶记忆、事件触发或网络靶向能否单独使用，而是它们能否通过一个在不确定性下保持分析可解释性并产生具体分配规则的单一稳定性对象耦合起来。
**研究内容与结论**
研究人员通过使分数阶事件到事件算子成为连接稳定性分析、触发时机和网络靶向的共同对象来弥补这一差距。具体而言，论文：(i) 在异质接触网络上建立运动更新的Caputo HIV模型；(ii) 协同设计风险触发器和度依赖的筛查到治疗跳跃；(iii) 推导网络谱入侵阈值并建立正性、不变性和Mittag–Leffler无病稳定性；(iv) 发展分数阶跳跃–流动理论，给出非Zeno触发、一致周期收缩、非线性灭绝以及在记忆阶数、拓扑、参数和时机不确定性下的鲁棒稳定性；(v) 推导Perron谱敏感性评分和预算约束下相关网络的一阶分配规则；(vi) 组织数值研究，使每个主要分析声明与相应的诊断配对。研究表明，分数阶记忆并非孤立的建模装饰；它直接与干预激活时机和有限资源部署地点相互作用。数值诊断将非收缩基线与一个满足共同加权范数证书的独立理想化六模式控制族区分开来。原始基线因此不自动保证灭绝。这些结果表明，复杂网络上的有效HIV干预源于遗传动力学、事件触发、网络结构和有限资源靶向的联合调优。
**关键技术方法**
研究人员采用运动更新的Caputo分数阶微分方程刻画干预周期内的记忆动力学，并利用Diethelm–Ford–Freed的预测–校正Adams–Bashforth–Moulton乘积积分方法进行数值求解。通过矩阵Mittag–Leffler函数构造事件到事件的跳跃–流动算子，并借助正矩阵预解核进行逐分量比较分析。利用下一代矩阵法推导谱入侵阈值。采用Perron–Frobenius特征值扰动理论推导谱敏感性靶向评分和预算约束贪心分配规则。合成网络实验使用Erd?s–Rényi、Watts–Strogatz和Barabási–Albert三种生成器各100个带种子图实例（180节点）。北京监测数据来自2005年1月至2020年12月的192个月度记录CSV文件。
**研究结果**
**记忆驱动的瞬态、触发激活与收缩诊断**：通过新计算的非线性运动更新Caputo模拟（$\alpha=0.85, 0.95$，看门狗2年），研究人员发现不同分数阶导致不同的瞬态松弛和触发穿越时间。对原始超临界基线（$\alpha=0.85$，一年周期），独立重构的80维跳跃–流动矩阵谱增益$\rho(\Phi_\alpha(\Delta)J_U)=1.0688>1$，因此观察到的有限时域负担减少不能重新标记为一致收缩证书。
**控制努力权衡、鲁棒性与跨网络性能**：通过非线性负担–努力响应重构，研究人员区分了名义运动努力$\mathcal{E}$与实际转移到ART的人口比例$\mathcal{T}$，二者不可互换。100个带种子ER/WS/BA图集合的图投影再生阈值分布仅提供集合描述，不验证定理7的任意切换共同权重不等式，也不识别真实北京HIV接触网络。静态结构干预代理（度评分与Perron行敏感性代理）在相同名义覆盖下比较，属于独立于治疗跳跃定理的结构诊断。
**数值可靠性与控制参数诊断**：通过将时间步长从$10^{-2}$减小到$10^{-3}$再到$10^{-4}$年，累积未治疗患病年分别为$1.219\times10^2$、$1.215\times10^2$和$1.214\times10^2$，所有三次计算均有13次运动（7次风险触发）。时间步细化检验为实际收敛检查而非数学全局误差界。阈值和脉冲强度的双因素敏感性研究揭示了实际运动计数随参数变化。
**网络异质性、混合与靶向有效性**：通过保持40类度分布固定而改变混合矩阵从非相关到完全同配，研究人员发现混合结构变化可改变事件规则和度律固定下的非线性负担。精确周期实验分别改变分数阶、规定区间和类靶向与均匀链接，所有原始基线增益超过1。非线性20年比较中，风险触发干预在相同每次运动脉冲强度下减少负担但导致更多运动和更高名义总努力；当总名义努力匹配时，周期性度靶向策略在该例中实现更小模拟负担，因此数值证据不能确立触发的普遍优越性。
**敏感性优先级与集成设计综合**：通过精确线性周期谱半径的归一化局部弹性（中心差分扰动），研究人员提供了定义明确的模型内敏感性指数，而非从报告月度发病率估计分数阶。集成示意图综合了分数阶记忆、触发、谱风险靶向、负担减少、网络异质性和鲁棒稳定性之间的概念依赖关系。
**记忆约定敏感性与经验监测背景**：通过新求解器重新生成的运动更新Caputo与明确定义的固定历史脉冲Volterra积分约定的有限时域比较，研究人员说明两种混合模型在数学上不同，不将定理5–7转移到全历史Caputo系统。北京2005–2020年月度HIV/AIDS报告计数从192行源CSV重建，2008年12月AIDS值标记为缺失（非零或插值），2008年AIDS年度总和因此不完整。这些监测计数为描述性报告背景，不能识别分数阶、拟合事件规则或验证合成网络靶向政策。
**讨论与结论**
讨论部分指出，主要控制理论结果是条件性的而非无限制的灭绝断言。对于运动更新的Caputo表述，正Mittag–Leffler事件间矩阵后跟非负治疗跳跃产生完整周期算子。当每个可允许周期在共同单调范数中收缩且看门狗确保运动间隔有限上界时，重复更新混合轨迹的一致衰减随之而来。所得物理时间指数包络是严格收缩周期反复相乘的结果，而非单一不间断分数阶系统的衰减律。这一区别防止稳定性声明在无新分析的情况下转移到全历史Caputo动力学。
数学比较问题同样实质性。未治疗感染动力学包括易感者耗竭，非线性感染–治疗子系统不必是协作的。修正后的证明使用非负强迫残差和无病Metzler比较矩阵的正预解，支持区间上比较和在共同周期范数下的非线性灭绝。完整矩阵审计说明这些条件为何重要：基线$\alpha=0.85$、$\Delta=1$年的度脉冲周期谱半径为1.0688，因此该设置不能标记为收缩。在明确不同且理想化的参数政策（$\alpha=0.85$，完全链接$U_k=1$）下，有限六模式族拥有单一共同权重和最大诱导增益0.9981。该示例仅对确切声明的可允许模式建立可行性，而非连续记忆阶数、网络拓扑或事件时间不确定性下的一致边际。
操作上，记忆重置最好理解为缩减记忆监测近似，其中有效观测片段在筛查/链接后重新开始。在保留运动前历史有限的队列或数据系统中这可能是合理的，但它不是消除过去感染或行为暴露的生物机制。北京监测面板仅为描述性背景。没有纵向治疗事件、接触拓扑、观测模型和充分原始数据，无法识别分数阶、估计靶向效应或验证干预时机。
结论部分总结：本文为异质接触网络上的HIV传播开发了分数阶事件触发控制框架，将分数阶动力学置于控制问题的中心。模型在统一数学设置中结合了Caputo记忆、网络感染压力、度靶向干预和运动触发跳跃。分析方面，研究建立了正性和生物不变性，推导了网络谱阈值，并通过分数阶跳跃–流动收缩论证证明了局部阈值稳定性和充分全局灭绝条件。控制贡献是双重的：首先，在记忆阶数、拓扑、参数和触发时机不确定性下推导了鲁棒混合稳定性准则，表明重复跳跃–流动算子的收缩提供可验证的灭绝途径；其次，获得了Perron敏感性干预评分，产生拓扑感知靶向规则，推广了纯基于度的控制。数值诊断将非收缩基线与满足共同加权范数证书的独立理想化六模式控制族区分开来，原始基线因此不自动保证灭绝。结合记忆约定敏感性实验和北京监测背景，这些结果表明复杂网络上的有效HIV干预源于遗传动力学、事件触发、网络结构和有限资源靶向的联合调优。未来工作应从纵向数据估计记忆参数，用经验解析的接触或移动结构替代合成网络闭合，并将当前理论扩展到非瞬时和全历史脉冲干预。
