arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2060
2605.31322 2026-06-01 math.AP

Strong well-posedness of a fluid--poro-viscoelastic interaction problem: An approach by Spectral analysis

流体-多孔粘弹性相互作用问题的强适定性:一种谱分析方法

Tim Binz, Matthias Hieber, Arnab Roy

AI总结 本文通过谱分析证明了三维空间中不可压缩粘性流体与多孔粘弹性介质耦合的Navier-Stokes-Biot系统在小初始数据下存在唯一全局强解,并建立了Serrin型爆破准则。

详情
AI中文摘要

本文研究了一个耦合的粘弹性Navier-Stokes-Biot系统,该系统描述了三维空间中不可压缩粘性流体与多孔粘弹性介质之间的相互作用。流体与多孔介质之间的耦合通过Beavers-Joseph-Saffman型界面条件实现。利用谱分析,证明了该耦合系统在小初始数据下存在唯一的全局强解。此外,还建立了一个Serrin型爆破准则。

英文摘要

This article investigates a coupled viscoelastic Navier--Stokes--Biot system describing the interaction between an incompressible viscous fluid and a poro--viscoelastic medium in three spatial dimensions. The coupling between the fluid and the porous medium is realized through Beavers--Joseph--Saffman type interface conditions. Using spectral analysis, it is proved that the coupled system admits a unique, strong, global solution for small initial data. In addition, a Serrin--type blow-up criterion is established.

2605.31320 2026-06-01 physics.optics physics.app-ph physics.ins-det

Size, Shape, and Material matter: All-optical Mie void sensor for complex nanoplastic mixtures

尺寸、形状和材料至关重要:用于复杂纳米塑料混合物的全光学Mie空穴传感器

Dominik Ludescher, Julian Schwab, Serkan Arslan, Evelyn Kubacki, Monika Ubl, Markus Retsch, Harald Giessen, Mario Hentschel

AI总结 提出一种基于纳米空穴的全光学传感平台,通过空穴阵列的几何形状和材料折射率对比实现亚500nm纳米塑料的形态与材料同时检测。

Comments 22 pages, 7 figures, in revision

详情
AI中文摘要

塑料碎片的碎裂和纳米塑料的直接释放已成为紧迫的生态问题。一旦扩散,这些持久性颗粒会渗入食物网,在生物体内积累,并吸附有毒共污染物,对生态系统和人类健康构成长期风险。尽管认识不断提高,但由于纳米塑料尺寸微小,其检测和表征仍然极具挑战性。此外,获取颗粒形状或材料组成等额外关键信息进一步加剧了这些检测难题。能够提供更详细信息的传统分析技术通常需要大量的实验和实验室工作、昂贵的仪器和漫长的测量时间。本文介绍了一种基于纳米空穴的新型光子传感平台,能够同时实现亚500nm颗粒的材料和形态敏感检测。嵌入高折射率材料中的空穴阵列同时充当分选元件和直接颜色报告器。球形和细长颗粒被选择性地捕获在圆形和椭圆形空穴中,而PS、PMMA和PET等聚合物类型则通过其折射率对比产生的特定颜色特征进行区分。该方法为复杂环境和生物环境中纳米塑料的快速光学识别提供了一条廉价且可扩展的途径。其与快速高通量分析的兼容性使其成为异质纳米塑料群体实时监测和比较研究的有前景工具。

英文摘要

The fragmentation of plastic debris and the direct release of nanoplastics have emerged as a pressing ecological concern. Once dispersed, these enduring particles infiltrate food webs, accumulate within organisms, and bind toxic co-contaminants, posing long-term risks to ecosystems and human health. Despite growing awareness, the detection and characterization of nanoplastics remain highly challenging due to their minute size. Moreover, obtaining additional critical information, such as the particle shape or material composition, further exacerbates these detection hurdles. Conventional analytical techniques capable of providing more detailed information often demand substantial experimental and lab-bound effort, costly instrumentation, and lengthy measurement times. Here, we introduce a novel photonic sensing platform based on nanoscale voids that enables the simultaneous material- and morphology-sensitive detection of particles below 500 nm. Arrays of voids embedded in a high-refractive-index material act in parallel as both sorting elements and direct color reporters. Spherical and elongated particles are selectively trapped in circular and elliptical voids, while polymer types such as PS, PMMA, and PET are distinguished via the specific color signatures arising from their refractive index contrasts. This approach offers a cheap and scalable route toward rapid optical identification of nanoplastics in complex environmental and biological settings. Its compatibility with quick, high-throughput analysis positions it as a promising tool for real-time monitoring and comparative studies of heterogeneous nanoplastic populations.

2605.31319 2026-06-01 quant-ph

Two-qubit charger-battery system subject to weak, continuous measurements with quantum point contacts

两量子比特充电器-电池系统受量子点接触弱连续测量影响

Banumathy Manickam, Anil Shaji

AI总结 研究通过量子点接触弱连续测量增强两量子比特充电器-电池系统的充电速率,发现增强非单调且存在近最优平台,相干测量优于独立双QPC和单QPC。

Comments 14 pages, 6 figures

详情
AI中文摘要

建模为耦合到马尔可夫热库的两量子比特系统的量子电池已被证明受益于测量辅助充电,其中投影测量以无限热力学资源成本提高充电速率。在这项工作中,我们考虑通过量子点接触探测器(QPC)实现的弱连续测量,以确定且可量化的资源成本提高充电速率。我们分析了三种测量配置,即单个QPC、两个独立QPC和串联耦合(相干)双QPC方案,并研究了它们对稳态充电速率的影响,该速率定义为相对于未测量基线的从充电器量子比特到电池量子比特的能量流速率。我们发现,充电速率增强作为驱动QPC所需的温度梯度和电势梯度的函数是非单调的,表现出近最优增强的平台。比较三种配置,与单QPC情况相比,双QPC两种情况下最优增强的平台都向较低温度和化学势收缩。与两个独立QPC情况相比,相干测量进一步降低了实现相同增强所需的资源。在充电速率增强幅度和测量资源最小化方面,层次结构为相干测量优于两个独立QPC,后者优于单QPC。

英文摘要

Quantum batteries modeled as two-qubit systems coupled to Markovian thermal reservoirs have been shown to benefit from measurement-assisted charging, where projective measurements enhance the charging rate at an infinite thermodynamic resource cost. In this work, we consider weak, continuous measurements implemented via quantum point contact detectors (QPC), which enhance the charging rate at a definite and quantifiable resource cost. We analyze three measurement configurations namely, a single QPC, two independent QPCs, and a series-coupled (coherent) two-QPC scheme, and study their effect on the steady-state charging rate, defined as the rate of energy flow from the charger qubit to the battery qubit, relative to the unmeasured baseline. We find that the charging rate enhancement is non-monotonic as a function of the temperature gradient and potential gradient required to drive the QPCs, exhibiting a plateau of near-optimal enhancement. Comparing the three configurations, the plateau of optimal enhancement contracts toward lower temperature and chemical potential for both the cases with two QPCs compared to the single QPC case. The coherent measurement further shows a lowering of the resource requirement relative to the two independent QPC case for achieving the same enhancement. The hierarchy is coherent greater than two independent QPCs which is greater than single QPC with respect to both the magnitude of the charging rate enhancement and the minimization of measurement resources.

2605.31316 2026-06-01 cs.SE cs.CY

Governance-Aware Software Architecture for Multi-Stakeholder Platforms

面向多利益相关方平台的治理感知软件架构

Michael Nwankwo, Eric Umuhoza

AI总结 提出治理-架构对应框架,将多利益相关方平台的治理原则映射到架构决策空间,使隐含治理决策显式化,并以卢旺达养猪知识平台为例说明。

详情
AI中文摘要

多利益相关方平台(MSP)协调多样化的利益相关方群体,这些群体通常具有竞争性或冲突的需求。随着这些平台日益数字化,构建它们的工程师在数据可见性、服务分解和算法设计方面做出架构决策,这些决策直接决定了当冲突出现时哪些利益相关方的需求被优先考虑。软件架构文献提供了租户间数据隔离和访问控制的模式,但未涉及架构决策如何解决具有结构性分歧利益的利益相关方之间的冲突。MSP治理文献指出了所涉及的原则,但将技术视为中立基础设施。两者均未解决治理原则与架构决策空间之间的转换问题。本文提出了一个治理-架构对应框架,该框架揭示隐含的治理决策,使其在部署前变得明确且可辩论。该框架将五种MSP治理原则映射到必须解决的架构决策空间,为每个原则识别出治理感知的设计选择以及它所覆盖的技术上方便的默认选择。我们在一个为卢旺达养猪业构建的知识平台中说明了该框架,该平台中五种利益相关方类型提出了结构上冲突的需求。作为正在进行的工作,该框架被提出但尚未经过实证验证;计划对所有利益相关方类型的平台用户进行前后判断研究,以测试关于治理结果的可证伪预测。

英文摘要

Multi-stakeholder platforms (MSPs) coordinate diverse stakeholder groups, often with competing or conflicting requirements. As these platforms increasingly take digital form, engineers building them make architectural decisions about data visibility, service decomposition, and algorithm design that directly determine which stakeholder requirements are prioritized when conflicts arise. Software architecture literature provides patterns for data isolation and access control among tenants but does not address how architectural decisions resolve conflicts among stakeholders with structurally divergent interests. MSP governance literature identifies the principles at stake but treats technology as neutral infrastructure. Neither addresses the translation between governance principles and architectural decision spaces. This paper proposes a governance-architecture correspondence framework that surfaces implicit governance decisions, making them explicit and debatable before deployment. The framework maps five MSP governance principles to the architectural decision spaces where they must be addressed, identifying for each the governance-aware design choice and the technically convenient default it overrides. We illustrate the framework in a constructed knowledge platform for pig farming in Rwanda, where five stakeholder types present structurally conflicting requirements. As work in progress, the framework is proposed but not yet empirically validated; a planned pre/post judgment study with platform users across all stakeholder types will test falsifiable predictions about governance outcomes.

2605.31313 2026-06-01 physics.plasm-ph

Gyrokinetic global simulation of Alfvenic ion temperature gradient mode in reversed magnetic shear

反向磁剪切中阿尔芬离子温度梯度模的陀动理学全局模拟

Gengxian Li, Zhixin Lu, Philipp Lauber, Matthias Hoelzl, Guo Meng, Yong Xiao

AI总结 使用陀动理学粒子-网格模拟系统研究了反向磁剪切磁约束聚变等离子体中由温度梯度驱动的电磁不稳定性,识别出一种弱剪切阿尔芬离子温度梯度模(WSAITG),并发现其由通行粒子共振驱动。

详情
AI中文摘要

在这项工作中,利用陀动理学粒子-网格模拟对反向磁剪切磁约束聚变等离子体中由温度梯度驱动的电磁不稳定性进行了系统研究。研究了低β区域中出现的一种电磁不稳定性,其中β=8*pi*nT/B^2表示等离子体压力与磁压力之比。在反向剪切安全因子(q)剖面中,当模有理面与零剪切位置重合时,出现了一种仅由一个极向谐波主导的不稳定性,而非传统的离子温度梯度(ITG)模。模拟结果表明,即使在低β区域,该不稳定性也表现出显著的电磁极化,实频明显高于ITG模,并且它是由温度梯度而非密度梯度去稳定的。即使在弱磁剪切的单调q剖面中也能观察到这种不稳定性。基于与其他典型静电和电磁不稳定性的系统比较,该不稳定性被识别为弱剪切阿尔芬离子温度梯度模(WSAITG),这可能为实验中观测到的低频阿尔芬模(LFAM)提供解释。相空间中的波-粒子共振分析表明,与ITG模不同,良通行粒子提供了额外的共振粒子群,驱动了WSAITG模。

英文摘要

In this work, a systematic study of electromagnetic instabilities driven by the temperature gradient in magnetically confined fusion plasmas with reversed magnetic shear is conducted using gyrokinetic particle-in-cell simulations. An electromagnetic instability arising in the low-beta regime is investigated, where beta=8*pi*nT/B^2 denotes the ratio of plasma pressure to magnetic pressure. Within a reversed shear safety factor (q) profile, when a mode rational surface coincides with the position of zero shear, an instability dominated by only one poloidal harmonic emerges, rather than the conventional ion-temperature-gradient (ITG) mode. Simulation results demonstrate that the instability exhibits pronounced electromagnetic polarization even in the low-beta regime, with a real frequency significantly higher than that of ITG modes, and show that it is destabilized by the temperature gradient and not by the density gradient. This instability can be observed even for a monotonic q profile with weak magnetic shear. Based on a systematic comparison with other typical electrostatic and electromagnetic instabilities, this instability is identified as a weak shear Alfvenic-ion-temperature-gradient (WSAITG) mode, which may provide an explanation for the low-frequency Alfven modes (LFAM) observed in experiments. Wave-particle resonance analysis in phase space reveals that, in contrast to the ITG mode, well-passing particles provide an additional resonant population that drives the WSAITG mode.

2605.31310 2026-06-01 eess.SY cs.SY

Model-free LQG Control with Chance Constraints

带机会约束的无模型LQG控制

Arunava Naha, Subhrakanti Dey

AI总结 针对带概率风险约束的线性时不变系统,提出一种基于自然策略梯度的演员-评论家算法,在无模型情况下实现线性收敛并保证闭环稳定性,数值验证其有效性。

Comments Under review at IEEE OPEN JOURNAL OF CONTROL SYSTEMS

详情
AI中文摘要

本文研究了线性时不变系统在概率风险或机会约束下的无模型最优控制设计及其收敛性质。具体地,我们研究了一种基于自然策略梯度(NPG)的双时间尺度演员-评论家(AC)算法,使用拉格朗日原始-对偶框架来强制执行约束。此外,风险被定义为一步超前状态的函数超过用户指定阈值的概率。据我们所知,这是首个在无模型知识的机会约束线性二次高斯(LQG)调节器设置中研究基于NPG的AC算法解析收敛性质的工作。我们建立了拉格朗日函数的强制性和梯度优势性质,这确保了训练过程中演员的线性收敛和闭环稳定性。另一方面,我们应用随机逼近理论分析了评论家的时序差分(TD(0))学习的收敛性质。此外,我们证明了约束优化问题中无对偶间隙。另外,我们对所提方法的收敛性质和精度进行了数值分析,并与基于模型的机会约束LQR和基于场景的MPC进行了比较。结果表明,我们的方法在无需完整模型知识或实时优化的情况下,有效限制了风险,同时保持了接近最优的性能。

英文摘要

This paper studies model-free optimal control design and its convergence properties for linear time-invariant systems subject to probabilistic risk or chance constraints. In particular, we study a natural policy gradient (NPG)-based actor-critic (AC) algorithm with two timescales, using a Lagrangian primal-dual framework to enforce the constraint. Furthermore, the risk is defined as the probability that a function of the one-step-ahead state exceeds a user-specified threshold. To our knowledge, this is the first work to study the analytical convergence properties for NPG-based AC in a chance-constrained linear-quadratic Gaussian (LQG) regulator setting without model knowledge. We establish the coercivity and gradient dominance properties of the Lagrangian function, which ensure linear convergence and closed-loop stability during training for the actor. On the other hand, we analyse the convergence properties of the temporal difference (TD(0)) learning for the critic, applying stochastic approximation theory. Also, we demonstrate no duality gap in the constrained optimisation problem. Additionally, we have performed numerical analysis of the convergence properties and accuracy of the proposed method, comparing it with model-based chance-constrained LQR and scenario-based MPC. Results show that our approach effectively limits risk while maintaining near-optimal performance, without requiring full model knowledge or real-time optimisation.

2605.31307 2026-06-01 cond-mat.mes-hall physics.app-ph

Feasibility study of continuous electronic Pomeranchuk cooling with a flavor-degenerate Wigner crystal

利用味简并维格纳晶体的连续电子波梅兰丘克冷却可行性研究

Robin J. Dolleman, Ammon Fischer, Lennart Klebl, Alexander Rothstein, Dante M. Kennes, Bernd Beschoten, Florian Libisch, Christoph Stampfer

AI总结 提出并模拟了一种基于味简并平带材料中电子液体与维格纳晶体之间熵差的片上连续冷却方案,通过电流驱动实现亚毫开尔文电子温度。

详情
AI中文摘要

在纳米电子器件中实现亚毫开尔文电子温度可以揭示新的输运现象、延长量子相干时间并提高量子计量精度。然而,持续维持如此低的温度仍然是一个长期挑战。在这里,我们提出并模拟了一种片上冷却循环,该循环利用味简并平带材料中电子液体(EL)和维格纳晶体(WC)之间的熵差。冷却由通过具有局部栅极区域的器件的电流驱动。在该区域内,载流子密度被调节,使得栅极下方形成WC。当载流子从EL相转变为WC相时,其熵增加,从而提取热量,并且滑动的WC将热量沿器件输送。当载流子转变回EL相时,热量被释放,从而在器件上建立不同的热区和冷区以及稳定的温度梯度。模拟显示,在足够低的电流密度(通常低于$1~\mathrm{nA}/\mu\mathrm{m}$)下可实现净冷却,而在较高电流下焦耳热占主导。在栅极区域内,我们估计在$4~\mathrm{mK}$的浴温度下冷却功率高达$8.4~\mathrm{aW}/\mu\mathrm{m}$。在适当条件下,我们的方法可以实现远低于$1~\mathrm{mK}$的电子温度,为在该温度范围内实现连续片上冷却提供了一条途径。我们的方法适用于任何具有低能味简并(谷和/或轨道)和低无序的平带材料,包括有隙的伯纳尔堆叠双层石墨烯、菱面体堆叠多层石墨烯和魔角扭曲双层石墨烯。

英文摘要

Achieving sub-millikelvin electron temperatures in nanoelectronic devices could unveil new transport phenomena, extend quantum coherence times, and enhance the precision of quantum metrology. However, maintaining such low temperatures continuously remains a long-standing challenge. Here, we propose and simulate an on-chip cooling cycle that harnesses the entropy difference between an electron liquid (EL) and a Wigner crystal (WC) in flavor-degenerate flat-band materials. Cooling is driven by a current through a device with a locally gated region. Within this region, the charge carrier density is tuned such that a WC forms beneath the gate. As carriers transition from an EL to WC phase, their entropy increases, extracting heat and the sliding WC advects this heat along the device. The heat is then released when carriers transition back to the EL phase, which establishes distinct hot and cold regions and a steady temperature gradient over the device. Simulations show net cooling for sufficiently low current densities, typically below $1~\mathrm{nA}/μ\mathrm{m}$, whereas Joule heating dominates at higher currents. Within the gated region, we estimate cooling powers of up to $8.4~\mathrm{aW}/μ\mathrm{m}$ at a bath temperature of $4~\mathrm{mK}$. Our approach can achieve electron temperatures well below $1~\mathrm{mK}$ under suitable conditions, promising a route towards continuous on-chip cooling in this temperature regime. Our approach applies to any flat-band material with low-energy flavor degeneracy (valley and/or orbital) and low disorder, including gapped Bernal-stacked bilayer graphene, rhombohedral-stacked multilayer graphene, and magic-angle twisted bilayer graphene.

2605.31306 2026-06-01 math.OC cs.SY econ.EM eess.SY stat.ME

Posterior and Likelihood Sensitivity in Bayesian Distributionally Robust Optimization

贝叶斯分布鲁棒优化中的后验和似然敏感性

Jun-ya Gotoh, Andrew E. B. Lim, Michael Jong Kim

AI总结 本文提出最坏情况后验和似然敏感性的概念,用于量化贝叶斯模型对后验和似然扰动的鲁棒性,并证明分布鲁棒优化可实现性能与鲁棒性的近似帕累托最优权衡。

详情
AI中文摘要

我们引入了最坏情况后验和似然敏感性的概念。这些分别衡量期望成本对后验分布最坏情况扰动和贝叶斯模型似然最坏情况扰动的敏感性。每个都定义了鲁棒性的定量度量。关心样本外期望成本对其假设偏差敏感性的决策者将希望两个敏感性都较小的决策。我们推导了由偏差度量定义的不确定性集的后验和似然敏感性。当后验方差缩小到零时,后验敏感性消失,这发生在参数不确定性通过学习消除时。参数学习不能消除似然敏感性。贝叶斯优化问题的分布鲁棒公式在性能(期望成本)和鲁棒性(后验和似然敏感性)之间实现了近似帕累托最优的权衡。

英文摘要

We introduce the notion of worst-case posterior and worst-case likelihood sensitivity. These measure, respectively, the sensitivity of the expected cost to worst-case perturbations of the posterior distribution and worst-case perturbations of the likelihood of a Bayesian model. Each defines a quantitative measure of robustness. A decision maker concerned about the sensitivity of the out-of-sample expected cost to deviations from her assumptions will want a decision for which both sensitivities are small. We derive posterior and likelihood sensitivities for uncertainty sets defined in terms of deviation measures. Posterior sensitivity vanishes when the posterior variance shrinks to zero, which occurs when parameter uncertainty is eliminated from learning. Parameter learning does not eliminate likelihood sensitivity. A distributionally robust formulation of a Bayesian optimization problem makes a near-Pareto-optimal tradeoff between performance (expected cost) and robustness (posterior and likelihood sensitivity).

2605.31305 2026-06-01 q-bio.PE stat.ME

Consensus-level substitution rates are distinct from the virion-level rate

共识水平替代率不同于病毒颗粒水平替代率

David J Pascall

AI总结 本文区分了病毒颗粒水平替代率(VLSR)和共识水平替代率(CLSRs),指出两者生物学意义不同且不可互换,并强调共识生成规则应作为常规报告要求。

详情
AI中文摘要

估计病毒替代率是进化流行病学的核心,最近对宿主内进化的兴趣加剧了对此类速率测量内容的疑问。我区分了系统发育分析中很少被分开的两类进化速率估计量:病毒颗粒水平替代率(VLSR),一种沿谱系计数突变事件的分子量;以及共识水平替代率(CLSRs),计数共识序列变化的种群汇总量。CLSRs由共识生成规则索引。VLSR和CLSRs都具有生物学意义,但不可互换。由于共识生成规则定义了给定的CLSR,它应作为常规报告要求。这一反思应有助于分析人员在处理病毒序列集时做出更明智的方法选择。

英文摘要

Estimating viral substitution rates is central to evolutionary epidemiology, and recent interest in within-host evolution has sharpened the question of what such rates measure. I distinguish two classes of evolutionary rate estimand that are rarely separated in phylogenetic analysis: the virion-level substitution rate (VLSR), a molecular quantity counting mutational events along lineages, and consensus-level substitution rates (CLSRs), population-summary quantities counting changes in the consensus sequences. CLSRs are indexed by the consensus-generation rule. The VLSR and CLSRs are both biologically meaningful, but not interchangeable. Because the consensus-generation rule defines a given CLSR, it should be a routine reporting requirement. This reflection should help analysts make more informed methodological choices when working with sets of virus sequences.

2605.31303 2026-06-01 cond-mat.mtrl-sci

A Practical Guide for Diagnosing Imaginary Phonon Modes in Metal--Organic Frameworks: The Case of MOF-5

诊断金属有机框架中虚声子模式的实用指南:以MOF-5为例

Julia Santana-Andreo, Caterina Cocchi

AI总结 提出一种有限位移工作流,通过识别和排除数值噪声,可靠诊断MOF-5等金属有机框架中的虚声子模式,并利用模式映射或随机蒙特卡洛对称性破缺畸变定位低能局域极小值。

详情
AI中文摘要

评估计算预测的金属有机框架(MOF)的动力学稳定性对于区分合成上可行的结构与动力学不稳定的结构至关重要。然而,对这些体系进行可靠的第一性原理声子计算仍然具有挑战性:它们的大尺寸、柔性晶胞和软集体模式使得振动谱对数值设置高度敏感。以MOF-5作为代表性案例,我们建立了一个有限位移工作流来识别和分离虚声子模式的起源。我们展示了数值力收敛阈值、实空间网格分辨率、对称性标准化协议以及替代晶胞表示如何定性地、虚假地改变预测的晶格稳定性。一旦数值噪声被可靠排除,剩余的虚模式可以通过模式映射或随机蒙特卡洛对称性破缺畸变进行分析,以定位更低能量的局域极小值。该协议为柔性多孔框架的动力学稳定性和晶格振动的可靠评估提供了一种稳健、可转移的策略。

英文摘要

Assessing the dynamical stability of computationally predicted metal--organic frameworks (MOFs) is essential to distinguish synthetically feasible structures from dynamically unstable ones. However, reliable first-principles phonon calculations on these systems remain challenging: their large, flexible unit cells and soft collective modes make the vibrational spectrum highly sensitive to the numerical settings. Using MOF-5 as a representative case study, we establish a finite-displacement workflow to identify and isolate the origins of imaginary phonon modes. We demonstrate how numerical force convergence thresholds, real-space grid resolutions, symmetry-standardization protocols, and alternative unit-cell representations can qualitatively and spuriously alter the predicted lattice stability. Once numerical noise is confidently excluded, the remaining imaginary modes can be analyzed through mode mapping or stochastic Monte Carlo symmetry-breaking distortions to locate lower-energy local minima. This protocol provides a robust, transferable strategy for the reliable assessment of dynamical stability and lattice vibrations in flexible porous frameworks.

2605.31301 2026-06-01 astro-ph.IM

An Automated Photometric Pipeline for the 80cm Xizang University Telescope

西藏大学80厘米望远镜的自动测光流水线

Chao Xu, Jie Zheng, Tian-Lu Chen, Lin-Qiao Jiang, Hua Bao, Ying-Gang Li, SuoNan-DaJi, Xing-Lan Feng

AI总结 针对西藏大学80厘米望远镜缺乏数据处理程序的问题,开发了一套基于Python 3的自动测光流水线,实现高速、易用、模块化的测光数据处理,为变星研究提供高效可靠支持。

Comments Accepted by New Astronomy

详情
Journal ref
New Astronomy, 127, 102586 (2026)
AI中文摘要

处理天文数据可能占用研究人员大量时间。西藏大学80厘米望远镜目前处于试运行阶段,但缺乏数据处理程序,这使得高效处理其产生的数据成为紧迫问题。为解决这一问题,我们使用Python 3开发了一套自动流水线,用于处理测光数据并提取光变曲线。该流水线具有高速、易用和模块化等优点。其差分测光精度与其他类似望远镜使用的数据处理程序相当。这一开发有效克服了手动处理数据的局限性,为未来的变星研究提供了高效可靠的支持。该流水线已集成到望远镜的运行系统中。

英文摘要

Processing astronomical data can take up a significant amount of researchers' time. The 80cm telescope at Xizang University is currently in its trial operation phase; however, it lacks a data processing program, which makes efficient handling of the data it generates an urgent concern. To address this issue, we have developed an automatic pipeline for processing photometric data and extracting light curves using Python 3. This pipeline has several advantages, including high speed, ease of use, and modularity. The differential photometric accuracy of this pipeline is comparable to that of data processing programs used by other similar telescopes. This development effectively overcomes the limitations of manually processing data, providing efficient and reliable support for future studies of variable stars. The pipeline has already been integrated into the telescope's operational system.

2605.31300 2026-06-01 math.PR

Cone-Additive Functions for Random Walks on Free Products of Graphs

图自由积上随机游走的锥加性函数

Lorenz A. Gilch, Hanna Oppelmayer

AI总结 本文定义了可数图自由积上随机游走的锥加性函数,并在温和假设下证明了极限定理,通过空间分离性为自由积上的旅行商问题等推导出新的极限定理。

Comments 42 pages, 2 figures

详情
AI中文摘要

我们定义了可数图自由积上随机游走的锥加性函数。这些函数在温和假设下满足一个极限定理。事实上,锥加性出现在几个被充分研究的概念中,如熵、渐近范围和漂移。锥加性可以被视为一种空间分离性质——这与自由积群背景下被充分研究的次加性概念(时间分离)截然不同。在我们图自由积的非齐次设定中,这种空间分离使我们能够为旅行商问题(即自由积上点灯随机游走的距离函数)、边上的权重函数以及第 $r$ 次访问的范围推导出新的极限定理。

英文摘要

We define cone-additive functions for random walks on free products of countable graphs. These functions satisfy a limit theorem under mild assumptions. In fact, cone-additivity is present in several well-studied notions, like entropy, asymptotic range and drift. Cone-additivity can be seen as a separation property by space -- a quite different perspective than the well-studied concept of sub-additivity in the context of free products of groups, which is a separation by time. In our inhomogeneous setting of free products of graphs, this separation by space allows us to deduce new limit theorems for travelling salesman problems (that is, distance functions of lamplighter random walks on free products), for weight functions on edges and the range of the $r$-th visit.

2605.31299 2026-06-01 cs.NE cs.ET

Memristor-Based Spiking Neural Network Accelerator for Bio-inspired Interception Task

基于忆阻器的脉冲神经网络加速器用于仿生拦截任务

Qianhou Qu, Sheng Lu, Liuting Shang, Jaihan Utailawon, Sungyong Jung, Qilian Liang, Chenyun Pan

AI总结 提出一种模拟忆阻器脉冲神经网络加速器,通过内存计算和模拟积分点火神经元实现异步事件驱动,在捕食者-猎物追踪任务中能耗降低12.7倍、延迟降低1.26倍。

Comments 6 pages, 8 figures. Accepted for presentation at the 19th IEEE Dallas Circuits and Systems Conference

详情
AI中文摘要

脉冲神经网络(SNN)受生物神经系统启发,提供事件驱动和低功耗计算,但当前实现依赖于冯·诺依曼图形处理单元(GPU)和中央处理单元(CPU)平台,其中存储和计算瓶颈限制了能效。为应对这一挑战,本文提出一种基于模拟忆阻器的脉冲神经网络(SNN)加速器,该加速器将内存突触计算与模拟积分点火(IF)神经元集成,消除了多晶体管CMOS突触电路,并在45nm技术节点实现异步事件驱动操作。此外,在5nm技术节点设计和优化了数字SNN加速器以进行比较。使用模拟追逐行为的捕食者-猎物追踪任务对所提出的架构进行评估。在该任务中,模拟SNN加速器的推理与理想软件推理高度吻合,均方误差(MSE)为0.004。HSPICE仿真结果表明,与数字基线相比,所提出的模拟SNN加速器实现了12.7倍的能耗降低和1.26倍的延迟降低,展示了基于忆阻器的神经形态电路在节能实时边缘智能中的潜力。

英文摘要

Spiking neural networks (SNNs) provide event-driven and low-power computation inspired by biological neural systems, but current implementations rely on von Neumann graphics processing units (GPUs) and central processing units (CPUs) platforms, where memory and computation bottlenecks limit energy efficiency. To address this challenge, this paper proposes an analog memristor-based spiking neural network (SNN) accelerator that integrates in-memory synaptic computation with analog integrate-and-fire (IF) neurons, eliminating multi-transistor CMOS synapse circuits and enabling asynchronous event-driven operation at the 45nm technology node. Additionally, a digital SNN accelerator is designed and optimized at the 5 nm technology node for comparison. The proposed architecture is evaluated using a predator-prey tracking task that emulates pursuit behavior. In this task, the analog SNN accelerator's inference closely matches the ideal software inference with a mean squared error (MSE) of 0.004. HSPICE simulation results show that the proposed analog SNN accelerator achieves 12.7 times lower energy consumption and 1.26 times lower delay compared to the digital baseline, demonstrating the potential of memristor-based neuromorphic circuits for energy-efficient real-time edge intelligence.

2605.31298 2026-06-01 math.RT math.GR

Multi-welded twin groups

多焊接孪生群

Mohamad N. Nasser, Oscar Ocampo

AI总结 本文引入多焊接孪生群 $M_kWT_n$,证明其作为通用焊接辫群 $UW_n(k)$ 的商群,并研究其结构性质、交换化、换位子群完美性及表示理论。

详情
AI中文摘要

对于 $k\geq 1$ 和 $n\geq 2$,我们引入了多焊接孪生群 $M_kWT_n$,它是多虚拟孪生群的自然焊接类比。我们证明 $M_kWT_n$ 自然地作为通用焊接辫群 $UW_n(k)$ 的商群出现,将其置于通用虚拟和焊接辫型群的统一框架中。我们建立了将 $M_kWT_n$ 与多虚拟孪生群 $M_kVT_n$、焊接孪生群 $WT_n$ 以及相应的虚拟和焊接辫型群联系起来的自然商映射。获得了 $M_kWT_n$ 的若干结构性质。特别地,我们计算了它的交换化,证明了对于 $n\ge5$ 其换位子群是完美的,并表明对称群 $S_n$ 是其最小的非交换有限商群。我们还研究了 $M_kWT_n$ 的表示理论。事实上,我们分类了 $M_kWT_n$ 的所有非平凡复齐次 $2$-局部表示,表明在附加的孪生和焊接关系下仅有一族幸存。此外,我们分类了 $M_2WT_n$ 的所有非平凡复齐次 $3$-局部表示。我们进一步研究了 $2$-局部和 $3$-局部表示的可约性和忠实性性质。

英文摘要

For $k\geq 1$ and $n\geq 2$, we introduce the multi-welded twin group $M_kWT_n$, a natural welded analogue of the multi-virtual twin group. We show that $M_kWT_n$ arises naturally as a quotient of the universal welded braid group $UW_n(k)$, placing it within the unified framework of universal virtual and welded braid-type groups. We establish natural quotient maps relating $M_kWT_n$ to the multi-virtual twin group $M_kVT_n$, the welded twin group $WT_n$, and the corresponding virtual and welded braid-type groups. Several structural properties of $M_kWT_n$ are obtained. In particular, we compute its abelianization, prove that its commutator subgroup is perfect for $n\ge5$, and show that the symmetric group $S_n$ is its smallest non-abelian finite quotient. We also investigate the representation theory of $M_kWT_n$. In fact, we classify all non-trivial complex homogeneous $2$-local representations of $M_kWT_n$, showing that only one family survives under the additional twin and welded relations. Furthermore, we classify all non-trivial complex homogeneous $3$-local representations of $M_2WT_n$. We further investigate the reducibility and faithfulness properties of both the $2$-local and $3$-local representations.

2605.31297 2026-06-01 cond-mat.soft

Limits of the Non-Linear Generalized Langevin Equation: Cross-Correlations, Irreversibility and Desynchronization

非线性广义朗之万方程的局限性:互相关、不可逆性和去同步化

Bernd Jung, Gerhard Jung

AI总结 通过简化模型研究非线性广义朗之万方程中非线性力导致的噪声互相关、不可逆性和去同步化问题,评估其适用性。

详情
AI中文摘要

广义朗之万方程(GLE)通过将记忆效应和有色噪声纳入粗粒化描述,广泛用于模拟复杂软物质系统,包括生物分子动力学。然而,最近的结果表明,将记忆与软物质中普遍存在的非线性力相结合会引入基本的分析不一致性。这里,我们使用一个简化模型,研究这些分析结果的实际数值后果。我们表明,非线性力会产生与噪声的互相关,修改涨落-耗散定理,并使噪声变得位置依赖且不可逆。这意味着GLE模拟中通常假设的可逆高斯噪声无法捕捉微观涨落的基本特征。对于弱非线性,这些问题可以通过使用记忆的迭代优化或使用微观一致的噪声部分解决,后者意外地使GLE轨迹与底层微观动力学同步。然而,对于外部势中的高势垒或肩部等更强的非线性,迭代重建失败,我们观察到去同步化,表明非线性GLE不再正确再现微观动力学。我们的结果展示了在哪些情况下非线性GLE可以准确应用以及何时失败,从而为它们应用于粗粒化软物质系统提供实践指导。

英文摘要

The generalized Langevin equation (GLE) is widely used to model complex soft-matter systems, including biomolecular dynamics, by incorporating memory effects and colored noise into coarse-grained descriptions. However, recent results suggest that combining memory with non-linear forces, ubiquitous in soft matter, introduces fundamental analytical inconsistencies. Here, using a simplified model, we investigate the practical numerical consequences of these analytical results. We show that non-linear forces generate cross-correlations with the noise, modifying the fluctuation-dissipation theorem and rendering the noise position-dependent and irreversible. This implies that the commonly assumed reversible Gaussian noise in GLE simulations fails to capture essential features of the microscopic fluctuations. For weak non-linearities, these issues can be partially resolved either by using an iterative optimization of memory or by using microscopically consistent noise, which unexpectedly synchronizes GLE trajectories with the underlying microscopic dynamics. For stronger non-linearities like high barriers or shoulders in the external potential, however, iterative reconstruction fails and we observe desynchronization, indicating that the non-linear GLE no longer correctly reproduces the microscopic dynamics. Our results show in which situations non-linear GLEs can be accurately applied and when they fail, thus providing practical guidance for their application to coarse-grain soft-matter systems.

2605.31290 2026-06-01 astro-ph.SR astro-ph.HE

Ongoing and Post-Mass-Transfer Binaries: A Living Catalog and Unified Review of Binary Mass Transfer Products

正在进行和经过质量传递的双星:一个活目录及双星质量传递产物的统一综述

Lieke A. C. van Son, Natsuko Yamaguchi, Pranav Nagarajan, Tomer Shenar, Koushik Sen, Alexander Laroche, Emily M. Leiner, Hugues Sana, Onno R. Pols

AI总结 本文通过构建包含5452个系统的活目录,统一综述了16类双星相互作用产物,揭示了轨道周期、偏心率、质量等全局趋势,并指出理论与观测之间的若干矛盾。

Comments 22 pages, 4 Figures, 1 Table, submitted to ApJS. Catalog at 10.5281/zenodo.20441988 and corresponding website: https://binary-observations.github.io/post_mt_catalog/

详情
AI中文摘要

质量传递可以说是双星系统中最重要的相互作用,但其物理的许多方面,从稳定性到终点和可观测产物,仍然知之甚少。比较理论和观测具有挑战性,因为经过质量传递的系统由不同的研究群体使用不同的方法、命名法和演化框架进行研究。我们提出了一个统一综述和目录,涵盖正在进行和经过质量传递的双星,跨越整个恒星质量范围,但仅限于可能只经历了一次质量传递事件(即只有一颗子星演化)的系统。我们回顾了16类双星相互作用产物,并将精心挑选的5452个系统样本汇编成一个公开可用、社区驱动的目录,网址为https://binary-observations.github.io/post_mt_catalog/。利用该目录,我们研究了经过质量传递双星在轨道周期、偏心率、质量和质量比方面的全局趋势。我们发现:I)非零偏心率在所有周期和系统类别中都很常见,中值和离散度随周期增加而增加;II)$e(\log P)$关系依赖于供体前身星质量,中子星和黑洞双星显示出最高的中值偏心率,可能反映了诞生冲量的影响;III)周期分布广泛且在不同演化通道间重叠;IV)Gaia BH和NS系统在质量比上极端,但在其他方面与一般的经过质量传递群体一致。这些结果共同支持了经过质量传递双星的统一经验观点,并突出了理论与观测之间的若干矛盾。

英文摘要

Mass transfer is arguably the most defining interaction in binary stellar systems, yet many aspects of its physics remain poorly understood, from stability to endpoints and observable products. Comparing theory and observations is challenging because post-mass-transfer systems are studied across largely independent communities with different methods, nomenclature, and evolutionary frameworks. % We present a unified review and catalog of ongoing and post-mass-transfer binaries spanning the full stellar mass range, but restricted to systems likely to have experienced only a single episode of mass transfer (i.e., only one component is evolved). We review 16 observational classes of binary interaction products and compile a curated sample of 5,452 systems into a publicly available, community-driven catalog at https://binary-observations.github.io/post_mt_catalog/. % Using this catalog, we investigate global trends in orbital periods, eccentricities, masses, and mass ratios across post-mass-transfer binaries. We find I) non-zero eccentricities are common at all periods and system classes, with both median values and scatter increasing with period, II) the $e(\log P)$ relation depends on donor progenitor mass, with neutron-star and black-hole binaries showing the highest median eccentricities, likely reflecting effects of natal kicks, III) period distributions are broad and overlapping across evolutionary channels, and IV) the Gaia BH and NS systems are extreme in mass ratio but otherwise consistent with the general post-mass-transfer population. Together, these results support a unified empirical view of post-mass-transfer binaries that highlights several tensions between theory and observations.

2605.31288 2026-06-01 math.NA cs.NA math.DS

Stochastic bifurcation analysis via polynomial chaos: consistency and convergence of branch-approximating solutions

基于多项式混沌的随机分岔分析:分支逼近解的一致性与收敛性

Giacomo Venier, Isabella Carla Gonnella, Federico Pichi, Gianluigi Rozza

AI总结 提出一种利用广义多项式混沌展开将参数视为随机变量,通过Galerkin投影在单次求解中全局重构分岔图分支的方法,并证明分支逼近解的一致性与收敛性。

详情
AI中文摘要

呈现分岔的参数依赖动力系统给计算带来巨大挑战,因为传统的延续方法需要在大量参数值范围内重复进行昂贵的模拟,以捕捉解的突然定性变化。在这项工作中,我们提出了一种系统方法,利用广义多项式混沌(PC)展开在单个数值求解器中重构整个分岔图的分支。通过将参数视为随机变量,我们将确定性参数依赖模型转化为弱随机形式,然后使用Galerkin投影在参数域上全局恢复分岔分支,无需迭代逐点延续。我们证明,在非唯一性区域中,所得的Galerkin系统产生许多离散代数根,这些根自然分为两类:高度振荡解和分支逼近解。我们建立了一个严格的理论框架,确立了一致性,证明了分支逼近解收敛到真实稳态,并在适当假设下保证了Galerkin解的唯一性。最后,我们通过几个参数依赖常微分方程(ODE)的数值实验验证了这些理论结果,展示了我们的单次运行框架在捕捉标量和向量值系统的复杂分岔图方面的准确性和计算效率。

英文摘要

Parameter-dependent dynamical systems that exhibit bifurcations pose significant computational challenges, as traditional continuation methods require repeated, costly simulations across large ranges of parameter values to capture sudden qualitative changes in the solution. In this work, we propose a systematic approach to reconstruct the branches of the entire bifurcation diagram in a single numerical solver leveraging generalized Polynomial Chaos (PC) expansion. By treating the parameter as a random variable, we cast the deterministic parameter-dependent model in a weak stochastic form, and then use a Galerkin projection to recover bifurcation branches globally across the parameter domain without iterative pointwise continuation. We show that the resulting Galerkin system, in the non-uniqueness regime, produces many discrete algebraic roots that naturally split into two classes: highly oscillatory solutions and branch-approximating ones. We develop a rigorous theoretical framework that establishes consistency, proves convergence of the branch-approximating solutions to the true steady states, and guarantees uniqueness of the Galerkin solution under suitable assumptions. Finally, we confirm these theoretical results with numerical experiments on several parameter-dependent ordinary differential equations (ODEs), demonstrating the accuracy and computational efficiency of our single-run framework in capturing complex bifurcation diagrams for both scalar and vector-valued systems.

2605.31285 2026-06-01 physics.flu-dyn

The effect of bubble induced turbulent structures on the mass transfer of non-spherical bubbles

气泡诱导湍流结构对非球形气泡传质的影响

Veerle Dijke, Ruben Meijer, Maike Baltussen

AI总结 采用前追踪方法和亚网格尺度模型模拟了Eötvös数为2、Morton数为10^-11的摇摆气泡的传质过程,发现气泡产生的涡旋结构受物性影响并改变传质,同时涡旋结构形成输运屏障阻碍尾流与液体主体的对流传质。

Comments 16 pages, 4 figures, preprint for the special issue of the ETMM-15 conference, submitted to International Journal of Heat and Fluid Flow

详情
AI中文摘要

尽管气泡向液体的传质对于预测反应器效率至关重要,但气泡的传质尚未完全理解。为了确定局部速度分布对Eötvös数为2、Morton数为10^-11的摇摆气泡传质的影响,采用前追踪方法和界面附近传质的亚网格尺度模型进行了15次模拟。气泡产生的涡旋结构受到所选液体和气体精确物理性质的影响。这些涡旋结构的变化也导致了传质的变化。此外,涡旋结构在尾流和液体主体之间形成了输运屏障,这些屏障通过高值的有限时间李雅普诺夫指数识别。这些屏障阻止了从气泡尾流到液体主体的对流传质。因此,从气相到液体主体的传质应同时考虑从气体到液体的传质以及从尾流到液体主体的传质。

英文摘要

Although mass transfer from bubbles to liquid is essential for the prediction of the efficiency of reactors, the mass transfer from bubbles is not fully understood. To determine the effect of the local velocity profile on the mass transfer for a wobbling bubble with an Eötvös number of 2 and a Morton number of 10-11, 15 simulations were performed with a Front Tracking method using a sub-grid scale model for the mass transfer in the vicinity of the interface. The vortical structures created by the bubble are influenced by the exact physical properties chosen for the liquid and gas. These changes in the vortical structures also resulted in changes in mass transfer. In addition, the vortical structures created transport barriers between the wake and the bulk of liquid, which were identified by the high-value Finite Time Lyapunov Exponents. These barriers prevent convective mass transfer from the bubble wake to the bulk of the liquid. Therefore, mass transfer from the gas phase to the bulk liquid should take into account both the mass transfer from the gas to the liquid and the transfer from the wake to the bulk of the liquid.

2605.31282 2026-06-01 cs.SI stat.AP

The Effect of Mobility Trajectory Sparsity on Epidemic Modeling Outcomes

移动轨迹稀疏性对流行病建模结果的影响

Federico Delussu, Francisco Barreras, Yuan Liao, Duncan J. Watts, Laura Alessandretti

AI总结 通过对比近完整与稀疏GPS轨迹数据,量化轨迹稀疏性对流行病模型关键指标的偏差,并提出基于逆概率加权的校正方法。

Comments 15 pages, 4 figures

详情
AI中文摘要

GPS移动数据越来越多地用于流行病建模,以构建共定位网络或人口流动。这些轨迹通常表现出高度的时间稀疏性,因为数据收集是机会性的且与手机使用相关。尽管对这一局限性的认识日益增强,但现有流行病建模研究在很大程度上忽视了对其产生的偏差的分析和处理,引发了对下游推断稳健性的担忧。我们引入了一个原则性框架,以量化轨迹稀疏性在不同缺失程度下对关键流行病建模结果的影响。我们的方法利用了一个高度完整的数据集,该数据集同时包含近完整和稀疏的GPS轨迹。近完整轨迹提供基线流行病结果,而稀疏轨迹提供现实的缺失模式,我们将其强加于基线上以测量偏差。通过这种方式,我们展示了缺失记录如何导致对流行病强度关键指标的显著低估,这不仅由缺失数据量解释,还由数据缺失的更复杂特征解释,在设计校正方法时应考虑这些特征。最后,我们提出并评估了一种基于逆概率加权的网络边校正方法,在流行病模型校准前应用,该方法被证明可以减少偏差和参数错误指定。我们还在一个来自商业GPS移动数据集的单独匿名样本上展示了这种校正,并报告了其效果。总之,我们的发现首次严格量化了流行病建模中的轨迹稀疏性偏差,为处理该问题提供了初步指导。

英文摘要

GPS mobility data are increasingly used in epidemic modeling, allowing the construction of co-location networks or population flows. These trajectories typically exhibit high temporal sparsity because data collection is opportunistic and tied to phone use. Despite growing awareness of this limitation, the analysis and treatment of biases derived from it have been largely overlooked in existing epidemic modeling studies, raising concerns about the robustness of downstream inferences. We introduce a principled framework to quantify the impact of trajectory sparsity on key epidemic modeling outcomes across different levels of missingness. Our approach leverages a highly-complete dataset that exhibits both near-complete and sparse GPS trajectories. Near-complete trajectories provide baseline epidemic outcomes, while sparse trajectories provide realistic missingness patterns that we impose on the baseline to measure bias. In this way, we show how missing records can result in substantial underestimation of key measures of epidemic intensity, explained not only by the amount of missing data, but by more complex features of data missingness that should be taken into account when designing correction methods. Finally, we propose and evaluate a correction based on inverse probability weighting of network edges before epidemic model calibration, which is shown to reduce bias and parameter misspecification. We also demonstrate this correction on a separate anonymized sample from a commercial GPS mobility dataset and report on its effect. Together, our findings provide a first rigorous quantification of trajectory-sparsity bias in epidemic modeling, offering initial guidance on the treatment of this issue.

2605.31280 2026-06-01 hep-ph hep-th

Thermodynamics of the Isospectral family of holographic vector mesons

全息矢量介子等谱族的热力学

Miguel Angel Martin Contreras, Saulo Diles, Alfredo Vega

AI总结 利用软墙AdS/QCD模型的等谱族,通过计算不同成员的谱函数,研究了基态电磁衰变常数f1对ρ(770)介子熔化温度Tm的影响,发现Tm随f1单调增加,支持f1作为夸克偶素解离关键尺度的解释。

Comments 15 pages, 7 figures, 1 table

详情
AI中文摘要

我们利用软墙AdS/QCD模型的等谱族研究了ρ介子的热行为。通过计算该族不同成员在有限温度和化学势下的谱函数,我们分离了基态电磁衰变常数$f_1$对$\rho(770)$介子熔化温度$T_m$的影响。发现$T_m$随$f_1$单调增加,支持将$f_1$解释为控制夸克偶素解离的关键尺度。对于激发态,出现了相同的定性趋势,但随着径向量子数的增加而强烈抑制。使用等谱参数将$f_1$固定为其实验值($226$ MeV)得到一个全息模型,其谱函数给出熔化温度$T_m = 157$ MeV以及从禁闭到退禁闭的平滑交叉。热质量在临界点附近略有下降,而宽度单调增加。我们的结果表明,等谱变换提供了一种可控的方式来调整基态衰变常数而不改变质量谱,从而能够精确研究介质对矢量介子的影响。

英文摘要

We study the thermal behavior of the $ρ$ meson using the isospectral family of the softwall AdS/QCD model. By computing spectral functions at finite temperature and chemical potential for different members of this family, we isolate the effect of the ground-state electromagnetic decay constant $f_1$ on the melting temperature $T_m$ of the $ρ(770)$ meson. A clear monotonic increase of $T_m$ with $f_1$ is found, supporting the interpretation of $f_1$ as a key scale controlling quarkonium dissociation. For excited states, the same qualitative trend appears but is strongly suppressed as the radial quantum number increases. Using the isospectral parameter to fix $f_1$ to its experimental value ($226$ MeV) yields a holographic model whose spectral function gives a melting temperature $T_m = 157$ MeV and a smooth crossover from confinement to deconfinement. The thermal mass shows a mild decrease near the critical point, while the width grows monotonically. Our results demonstrate that the isospectral transformation provides a controlled way to adjust ground-state decay constants without altering the mass spectrum, enabling precise studies of medium effects on vector mesons.

2605.31274 2026-06-01 math.AP q-bio.PE

Derivation, Analysis and Simulation of a Spatio-Temporal Epidemiology Model with Memory

具有记忆的时空流行病学模型的推导、分析与模拟

Hassan El Bouz, Karim Faraj, Anthony Khairallah, Fatima Mroue

AI总结 提出一个包含积分记忆项的反应扩散系统,用于模拟无症状传播的传染病时空演化,并通过Faedo-Galerkin方法证明弱解的局部存在性,最后应用于黎巴嫩疾病地理演化模拟。

Comments 23 pages, 5 figures

详情
AI中文摘要

在本文中,我们提出了一个用于具有无症状传播的传染病时空演化的积分微分模型。该模型由一个带有积分记忆项的反应扩散系统组成,该记忆项用于描述潜伏期的分布。我们首先分析了该积分微分模型的渐近行为及其性质。然后,通过Faedo-Galerkin方法和紧性论证,证明了系统弱解的局部存在性。该模型被应用于模拟黎巴嫩疾病的地理演化。

英文摘要

In this paper, we propose an integro-differential model for the spatio-temporal evolution of infectious diseases with asymptomatic transmission. The model consists of a reaction-diffusion system with an integral memory term accounting for the distribution of the incubation period. We first analyze the asymptotic behavior and the properties of the integro-differential model. Then, we prove the local existence of a weak solution of the system by means of the Faedo-Galerkin method and a compactness argument. The model is applied to simulate the geographical evolution of a disease in Lebanon.

2605.31270 2026-06-01 eess.SY cs.SY

Steering Fractional-Order Network Dynamics via Joint Parameter and State Control

通过联合参数与状态控制引导分数阶网络动力学

Alessandro Varalda, Sergio Pequito

AI总结 本文研究离散时间线性分数阶网络的控制问题,通过联合调节分数阶指数和网络耦合矩阵,实现了网络参数与状态的协同引导,并提出了能量约束下的二次规划求解方法。

详情
AI中文摘要

本文研究离散时间线性分数阶网络的控制问题,这是一种适用于具有长程记忆系统的灵活建模框架,例如电网、生物网络和神经元回路。与分数阶指数(时间尺度)是固定参数的常见观点相反,我们证明可以通过适当设计的输入序列系统地引导它们以及网络耦合矩阵。我们首先推导出代数条件,在这些条件下,给定网络的耦合矩阵和分数阶指数向量可以重新配置为所需值,并描述了截断无限记忆项对所得动力学的影响。基于这些结果,我们构建了一个等价的线性表示,隔离了记忆的贡献,并引入了一个分数阶可达性矩阵,该矩阵提供了在有限步数内联合引导网络参数和状态的显式条件。为了解决实际实现问题,我们进一步将能量约束引导问题(包含执行器限制和有限记忆近似)表述为二次规划。该框架在低维玩具示例、具有Erdos-Renyi、Barabasi-Albert和Watts-Strogatz拓扑的更大网络以及从癫痫患者皮层电图记录中推断出的脑网络模型上进行了说明,我们展示了发作前和发作状态之间的转换。

英文摘要

This paper studies the control of discrete-time linear fractional-order networks, a flexible modeling framework for systems with long-range memory such as power grids, biological networks, and neuronal circuits. In contrast to the common view that fractional exponents (time-scales) are fixed parameters, we show that they can be systematically steered, together with the network coupling matrix, by appropriately designed input sequences. We first derive algebraic conditions under which the coupling matrix and the vector of fractional exponents of a given network can be reconfigured to desired values, and we characterize how truncating the infinite-memory term impacts the resulting dynamics. Building on these results, we construct an equivalent linear representation that isolates the contribution of memory, and we introduce a fractional reachability matrix that provides explicit conditions for jointly steering both network parameters and state in a finite number of steps. To address practical implementations, we further formulate an energy-constrained steering problem that incorporates actuator bounds and finite-memory approximations as a quadratic program. The framework is illustrated on low-dimensional toy examples, on larger networks with Erdos-Renyi, Barabasi-Albert, and Watts-Strogatz topologies, and on a brain network model inferred from electrocorticography recordings of an epilepsy patient, where we showcase transitions between pre-seizure and seizure configurations.

2605.31269 2026-06-01 cs.LO cs.CC

Aspects of Coherence in Dependence Logic

依赖逻辑中的相干性方面

Timon Barlag, Nicolas Fröhlich, Miika Hannula, Phokion G. Kolaitis, Juha Kontinen, Arne Meier, Jouko Väänänen

AI总结 本文研究依赖逻辑公式的k-相干性,证明无量词依赖逻辑公式的相干性等价于一阶可重写性,并分析了相干性判定问题的计算复杂性。

详情
AI中文摘要

依赖逻辑通过依赖原子扩展了一阶逻辑,这些原子断言一个变量的值由某些其他变量的值决定。依赖逻辑的语义具有二阶特征,并涉及赋值集合(称为团队),而不是经典Tarski语义中的单个赋值。由于即使对于无量词依赖逻辑(DQF)公式,模型检验问题已知是NP完全的,研究人员一直在寻找使该问题易于处理的公式条件。2010年,Jarmo Kontinen引入了依赖逻辑公式的k-相干性概念,其中k为正整数。该概念断言:如果公式在某个结构中被给定团队的所有k元素子团队满足,那么该团队本身也满足该公式。已经证明,k-相干的DQF公式具有温和的模型检验问题,因为此类公式允许一阶重写。在本文中,我们研究了相干性的结构和算法方面。我们证明,如果一个DQF公式是一阶可重写的,那么它对某个正整数k是k-相干的。因此,对于DQF公式,相干性等价于一阶可重写性。此外,我们证明,在更强的相干性概念下,全称量化依赖逻辑公式也有类似的结果。之后,我们关注判定给定依赖逻辑公式是否为k-相干的复杂性。我们确定,对于任意依赖逻辑公式,该判定问题是高度不可判定的,而对于DQF公式,该问题是共递归可枚举的。此外,我们通过证明命题依赖逻辑公式的相干性问题对于指数层次结构的第二层是完备的,精确指出了其计算复杂性。

英文摘要

Dependence logic extends first-order logic with dependence atoms asserting that the value of a variable is determined by the values of certain other variables. The semantics of dependence logic has a second-order character and involves sets of assignments, called teams, instead of individual assignments as in the classical Tarski semantics. Since the model-checking problem is known to be NP-complete even for quantifier-free dependence logic (DQF) formulas, researchers have pursued conditions on formulas that make this problem tractable. In 2010, Jarmo Kontinen introduced the notion of k-coherence for dependence logic formulas, where k is a positive integer. This notion asserts that if the formula is satisfied in a structure by all k-element subteams of a given team, then the given team itself satisfies the formula. It has been proved that k-coherent DQF-formulas have a tame model-checking problem, because such formulas admit a first-order rewriting. In this paper, we investigate the structural and algorithmic aspects of coherence. We show that if a DQF-formula is first-order ewritable, then it is k-coherent for some positive integer k. Thus, for DQF-formulas, coherence is equivalent to first-order rewritability. Furthermore, we show that an analogous result holds for universally quantified dependence logic formulas under a stronger notion of coherence. After this, we focus on the complexity of deciding if a given dependence logic formula is k-coherent. We establish that this decision problem is highly undecidable for arbitrary dependence logic formulas, while for DQF-formulas this problem is co-recursively enumerable. Furthermore, we pinpoint the computational complexity of the coherence problem for propositional dependence logic formulas by showing that this problem is complete for the second level of the exponential hierarchy.

2605.31267 2026-06-01 eess.SP

Super-Resolution Experimental Validation and Polarimetric Extension of the Effective Roughness Diffuse Scattering Models

有效粗糙度漫散射模型的超分辨率实验验证与极化扩展

Giacomo Melloni, Jack Chuang, Samuel Berweger, Enrico M. Vitucci, Vittorio Degli-Esposti, Camillo Gentile, Nada Golmie

AI总结 结合超分辨率多径分量提取与数字孪生辅助几何,首次通过测量验证了有效粗糙度模型,并提出了角度相关的交叉极化鉴别模型,实现了毫米波信道的高保真建模。

详情
AI中文摘要

漫散射模型的实验验证长期以来受限于无法在测量信道中空间分离镜面分量和漫散射分量。本文通过结合超分辨率多径分量(MPC)提取(可解析包括镜面分量在内的各个传播路径)与数字孪生辅助几何,克服了这一限制,实现了28 GHz双站测量中镜面和漫散射贡献的空间分离。利用该框架,我们首次提供了有效粗糙度(ER)模型的测量驱动验证,独立表征了十种常见建筑材料的漫散射特性,每种材料在266个角度配置和所有极化组合(HH、HV、VH、VV)下进行了测量。此外,我们通过提出一种新颖的角度相关交叉极化鉴别(XPD)模型扩展了ER框架,捕捉了现有方法忽略的依赖于几何的去极化特性。所提出的方法再现了测量的漫散射功率趋势,在测试材料上实现了低至3 dB的RMSE值,并且在几乎所有材料-极化情况下,XPD预测优于基线恒定XPD模型。这些结果为毫米波系统中的高保真信道建模建立了一种物理一致且实际可行的方法。

英文摘要

The experimental validation of diffuse scattering models has long been limited by the inability to spatially separate specular and diffuse contributions in measured channels. This paper overcomes this limitation by combining super-resolution multipath component (MPC) extraction, which resolves individual propagation paths including the specular component, with digital-twin-assisted geometry, enabling the spatial separation of specular and diffuse contributions from bistatic measurements at 28~GHz. Using this framework, we provide the first measurement-driven validation of the Effective Roughness (ER) model with independent characterization of diffuse scattering across ten common building materials, each measured over 266 angular configurations and all polarization combinations (HH, HV, VH, VV). Furthermore, we extend the ER framework by proposing a novel angle-dependent cross-polarization discrimination (XPD) model, capturing the geometry-dependent nature of depolarization that is neglected in existing approaches. The proposed method reproduces the measured diffuse power trends, achieving RMSE values as low as 3 dB across the tested materials, and improves XPD prediction over the baseline constant-XPD model for nearly all material-polarization cases. These results establish a physically consistent and practically viable approach for high-fidelity channel modeling in mmWave systems.

2605.31265 2026-06-01 stat.AP

Subjective Time Deformation in Intertemporal Choice: A Functional Data Analysis Approach

跨期选择中的主观时间变形:一种函数型数据分析方法

Fabrizio Maturo, Salvador Cruz Rambaud, Vincenzo Li Calzi, Andrea Mazzitelli, Annamaria Porreca

AI总结 本文提出函数型数据分析框架,从离散跨期等价判断中重建主观时间轨迹,通过导数汇总、函数主成分分析和聚类揭示跨期选择的异质性,发现两个主成分解释97.44%变异,并识别出三个稳定的时间变形轮廓。

Comments 49 pages, 4 tables, 8 figures

详情
AI中文摘要

跨期选择数据通常通过标量折扣率参数进行总结,或由预先确定的参数折扣函数拟合,尽管相关信息可能存在于整个折扣轨迹的形状中。本文提出了一种函数型数据分析框架,用于从离散的跨期等价判断中重建和分析隐含的主观时间轨迹。来自多语言问卷的货币等价反应被转化为个体折扣曲线,通过单调平滑进行正则化,并用于恢复归一化的隐含主观时间轨迹。通过导数汇总、函数主成分分析和标准化成分得分的聚类来检查这些轨迹。基于107名参与者的实证应用表明,跨期选择的异质性不能完全由标量折扣率变化捕捉。前两个函数主成分解释了97.44%的变异,表明存在低维结构。函数聚类识别出三个稳定的时间变形轮廓,并通过bootstrap稳定性分析以及成分、算法、距离、平滑规范和异常值处理的敏感性检查得到支持。基于指数、韦伯-费希纳和史蒂文斯规范的参数基准为许多个体提供了准确的拟合,但未能完全恢复函数聚类结构。与显式主观时间感知测量的比较显示,从选择中重建的隐含轨迹与直接报告的时间感知之间仅部分对齐。函数型数据分析提供了一个应用统计框架,将跨期选择异质性表示为函数形状的变化,补充了标量折扣率和参数主观时间模型。

英文摘要

Intertemporal choice data are usually summarized through scalar discount-rate parameters or fitted by predetermined parametric discount functions, although relevant information may lie in the shape of the whole discounting trajectory. This paper proposes a Functional Data Analysis framework for reconstructing and analyzing implicit subjective-time trajectories from discrete intertemporal equivalence judgments. Monetary equivalence responses from a multilingual questionnaire are transformed into individual discount curves, regularized by monotone smoothing, and used to recover normalized implicit subjective-time trajectories. The trajectories are examined through derivative summaries, Functional Principal Component Analysis, and clustering on standardized component scores. The empirical application, based on 107 participants, shows that heterogeneity in intertemporal choice is not fully captured by scalar discount-rate variation. The first two functional principal components explain 97.44% of the variability, indicating a low-dimensional structure. Functional clustering identifies three stable profiles of temporal deformation, supported by bootstrap stability analysis and sensitivity checks on components, algorithms, distances, smoothing specifications, and outlier treatment. Parametric benchmarks based on exponential, Weber-Fechner, and Stevens specifications provide accurate fits for many individuals, but do not fully recover the functional clustering structure. The comparison with explicit subjective-time perception measures reveals only partial alignment between implicit trajectories reconstructed from choices and directly reported temporal perception. Functional Data Analysis provides an applied statistical framework for representing intertemporal choice heterogeneity as variation in functional shape, complementing scalar discount-rate and parametric subjective-time models.

2605.31263 2026-06-01 cond-mat.mes-hall cond-mat.mtrl-sci

Valley-polarized Orbital and Spin Magnetism Induced by Femtosecond Optical Pulses in Two-Dimensional Semiconductors

飞秒光脉冲在二维半导体中诱导的谷极化轨道和自旋磁性

M. S. Mrudul, Peter M. Oppeneer

AI总结 利用含时密度矩阵方法,研究了圆偏振激光脉冲在具有自旋-轨道耦合的二维带隙狄拉克系统中产生非平衡自旋和轨道磁性的超快过程,揭示了通过光子能量和偏振控制自旋与轨道磁矩的不同机制及其动力学差异。

详情
AI中文摘要

我们理论研究了具有自旋-轨道耦合的二维带隙狄拉克系统中自旋和轨道磁性的超快产生。该系统代表二维六角半导体,例如过渡金属二硫化物,其能带结构的谷对比磁织构导致了谷选择性光学选择定则。利用含时密度矩阵形式,我们证明了圆偏振激光脉冲在共振和多光子共振条件下产生非平衡磁化。我们表明,诱导的自旋和轨道磁矩可以通过驱动场的光子能量和偏振进行独特控制。此外,自旋和轨道动力学源于根本不同的光-物质耦合机制,导致定性不同的时间行为。轨道磁矩直接耦合到外部电场,导致更快的动力学和显著的拉比振荡,而自旋响应通过自旋-轨道耦合逐渐发展。因此,轨道动力学对电子-空穴退相干的敏感性显著高于自旋响应。我们的结果强调了在利用飞秒控制磁性的未来技术中正确考虑轨道贡献的重要性。

英文摘要

We theoretically investigate the ultrafast generation of spin and orbital magnetism in a two-dimensional gapped Dirac system with spin-orbit coupling. This system is representative of two-dimensional hexagonal semiconductors, such as transition-metal dichalcogenides that exhibit valley-selective optical selection rules arising from the valley-contrasting magnetic texture of their band structure. Using a time-dependent density-matrix formalism, we demonstrate that circularly polarized laser pulses generate nonequilibrium magnetization under both resonant and multiphoton resonant conditions. We show that the induced spin and orbital magnetic moments can be distinctly controlled via the photon energy and polarization of the driving field. Furthermore, spin and orbital dynamics originate from fundamentally different light-matter coupling mechanisms, leading to qualitatively dissimilar temporal behaviors. The orbital magnetic moment couples directly to the external electric field, resulting in faster dynamics and pronounced Rabi-like oscillations, whereas the spin response develops gradually through spin-orbit coupling. Consequently, orbital dynamics is significantly more sensitive to electron-hole dephasing than the spin response. Our results highlight the importance of properly accounting for orbital contributions in future technologies that utilize femtosecond control of magnetism.

2605.31262 2026-06-01 quant-ph

Non-linear density scaling of spin noise reveals atomic correlations in warm vapors

自旋噪声的非线性密度标度揭示暖蒸气中的原子关联

Joseph Delpy, Elwyn Cardoz, Adwaith KV, Nikos Fayard, Nadia Belabas, Fabien bretenaker, Fabienne Goldfarb

AI总结 通过实验发现暖碱金属蒸气中自旋噪声方差随原子密度呈非线性依赖,归因于共振偶极-偶极相互作用导致的原子交叉关联。

Comments 12 pages, 3 appendix sections, 10 figures

详情
AI中文摘要

我们实验证明了暖碱金属蒸气中自旋噪声方差对原子密度的非线性依赖。在铷的D2跃迁附近实施高带宽自旋噪声光谱学(SNS),发现高密度下出现二次自旋噪声贡献,与无相互作用系综中有效的线性依赖形成对比。这种非线性标度被证明关键依赖于探测光束对蒸气的残余光学激发,表明它源于蒸气中由共振偶极-偶极相互作用(DDI)引起的原子交叉关联。我们通过引入额外的实验协议来淬灭DDI,从而抑制了自旋方差的二次标度和由相互作用引起的自旋噪声谱畸变,支持了这一论断。这些结果将SNS的应用扩展到复杂量子系统中多体关联的表征。

英文摘要

We experimentally demonstrate a non-linear dependence of the spin noise variance on atomic density in a warm alkali vapor. Implementing high-bandwidth spin noise spectroscopy (SNS) near the D2 transition of rubidium, a quadratic spin noise contribution is shown to arise at high densities, in contrast with the linear dependence valid in non-interacting ensembles. This non-linear scaling is shown to crucially depend on the residual optical excitation of the vapor by the probe beam, suggesting it stems from atomic cross-correlations due to resonant dipole-dipole interaction (DDI) in the vapor. We support this claim by introducing an additional experimental protocol to quench the ddi, resulting in a suppression of both the quadratic scaling of the spin variance and the distortions of the spin noise spectrum induced by the interaction. These results extend the applications of SNS to the characterization of many-body correlations in complex quantum systems.

2605.31260 2026-06-01 cs.LO

On first-order definable operations on relational structures

关系结构上的一阶可定义操作

Bruno Courcelle

AI总结 本文综述了关系结构上的一阶可定义一元操作(FO-转导)和基于不相交并及笛卡尔积的二元操作,重点研究了反向翻译定理和分裂定理,并推广到模计数存在量词的一阶句子。

详情
AI中文摘要

我们综述了关系结构上的一阶(FO)可定义一元操作(称为FO-转导)以及基于不相交并和笛卡尔积的FO可定义二元操作的定义和主要性质。我们的研究重点在于反向翻译定理和分裂定理,这些定理允许用有限多个输入结构的FO性质来表达输出结构的FO性质。在操作由无量词(QF)公式定义的特定情况下,所得句子的量词高度不超过输入句子的量词高度。由此可知,FO句子的有限模型类关于所考虑的QF操作是可识别的。对于具有有界树宽或团宽的结构,可识别性具有基于项上有限自动机的有趣算法性质。我们将结果推广到用模计数存在量词构造的FO句子。

英文摘要

We survey the definitions and main properties of first-order (FO) definable unary operations on relational structures, called FO-transductions, and of FO-definable binary operations based on disjoint union and Cartesian product. We focus our study on Backwards Translation Theorems and Splitting Theorems that permit to express FO properties of output structures in terms of finitely many FO properties of the corresponding input ones. In the particular cases where the operations are defined by quantifier-free (QF) formulas, the quantifier-heights of the obtained sentences are no larger than those of the input ones. It follows that the class of finite models of a FO sentence is recognizable with respect to the considered QF operations. Recognizability has interesting algorithmic properties based on finite automata on terms, for structures having bounded tree-width or clique-width. We extend our results to FO sentences constructed with modulo counting existential quantifiers.

2605.31258 2026-06-01 cond-mat.soft

Droplets sitting on thin elastic sheets: A study with the boundary element method

液滴位于薄弹性片上的研究:边界元方法

Salik Sultan, Josua Grawitter, Gonçalo C. Antunes, Holger Stark

AI总结 采用边界元方法模拟液滴在弹性片上的平衡形状,研究片材厚度、各向同性拉伸和单向拉伸对液滴形态及弹性应力的影响。

Comments 18 pages, 9 figures

详情
AI中文摘要

液滴润湿弹性片的弹-毛细作用为基础和应用研究提供了一个有趣的系统。液滴沉入片中并呈现透镜形状。为了在模拟中确定平衡形状,我们制定了一种边界元方法(BEM),扩展了我们之前的方法,并将BEM应用于片材边界条件的三种特定协议。对于夹紧的弹性片,我们使用各种形态指标证明透镜形状关键取决于片材厚度。各向同性拉伸片材,允许额外的控制参数影响液滴形状和片材中的张力,我们通过方位角和径向弹性应力的径向剖面来量化。我们进一步展示了如何通过改变施加的张力来调节液体透镜的焦距。最后,沿一个方向拉伸片材,使液滴拉长,片材出现褶皱和凹坑。

英文摘要

Elasto-capillarity of a droplet wetting an elastic sheet provides an interesting system, both for fundamental and applied research. The droplet sinks into the sheet and assumes the shape of a lens. To determine the equilibrium shape in simulations, we formulate a boundary element method (BEM) extending our earlier approaches, and apply the BEM to three specific protocols for the boundary conditions of the sheet. For a clamped elastic sheet, we use various morphological metrics to demonstrate that the lens shape crucially depends on the sheet thickness. Stretching the sheet isotropically, allows for an additional control parameter to influence the droplet shape and the tension in the sheet, which we quantify by radial profiles of the azimuthal and radial elastic stresses. We further demonstrate how the focal length of a liquid lens can be tuned by varying the applied tension. Finally, stretching the sheet along one direction, elongates the droplet, and the sheet shows folds and dimples.

2605.31253 2026-06-01 cs.GT

Envy Cycle Elimination with Strategic Agents: Best Responses and Fairness Guarantees

具有策略性代理的嫉妒循环消除:最佳响应与公平性保证

Georgios Amanatidis, Georgios Birmpas, Rebecca Reiffenhäuser

AI总结 研究在策略性代理环境下,嫉妒循环消除(E-C-E)程序的均衡存在性及公平性保证,发现激励因素会破坏算法直观性,但某些版本仍能近似保持公平性。

详情
AI中文摘要

文献中有强有力的证据表明公平性和真实性不相容,最近一系列工作关注简单公平分配机制(尤其是Round-Robin)均衡的公平性。我们考虑Lipton等人[23]的嫉妒循环消除(E-C-E)程序,这是公平分配中最通用的工具之一。尽管这个简单直观的算法对于任意数量的代理和一般单调估值函数都能实现至多一项物品无嫉妒(EF1)的分配,但令人惊讶的是,关于其在代理策略性行为下的表现知之甚少。我们展示了激励的存在(尽管在大多数应用中高度自然且相关)如何完全消除了算法执行的直观清晰性,即使对于少数代理和非常简单的估值函数也是如此。此外,虽然在标准算法设置中E-C-E的实现细节有很大的灵活性,但在这里,在程序明确定义之前需要额外的规范,其选择对代理行为有潜在巨大影响。尽管存在这些障碍,对于E-C-E的各种自然版本,我们给出了关于结果机制纯纳什均衡存在的首个结果,并表明存在某些版本,其中公平性保证对于采取最佳响应的代理近似保留。

英文摘要

With strong evidence in the literature showing that fairness and truthfulness are incompatible, there is a recent line of work focusing on the fairness properties of equilibria of simple fair division mechanisms, especially Round-Robin. We consider the Envy Cycle Elimination (E-C-E) procedure of Lipton et al. [23], one of the most versatile tools in fair division. While this simple and intuitive algorithm achieves allocations that are envy-free up to one item (EF1) for any number of agents and general monotone valuation functions, surprisingly little is known about its behavior when agents act strategically. We demonstrate how the presence of incentives, although highly natural and relevant for the majority of applications, completely removes the intuitive clarity in the algorithm's execution, even for a few agents and very simple valuation functions. Additionally, while in the standard algorithmic setting there is great flexibility in how the details of E-C-E are implemented, here additional specifications are needed before the procedure is clearly defined, the choice of which has a potentially huge impact on the agents' behavior. Despite these obstacles, for various natural versions of E-C-E, we give the first results on the existence of Pure Nash Equilibria of the resulting mechanisms, and show there exist versions where fairness guarantees are approximately preserved for agents who play best responses.