arXivDaily arXiv每日学术速递 周一至周五更新
全部学科分类 1262
专题追踪
2605.00309 2026-05-04 math.AG

The GIT Boundary of Quintic Threefolds (Announcement of Results)

五次三维流形的GIT边界(结果公告)

Yasutaka Shibata

AI总结 本文宣布了五次三维流形GIT模空间严格半稳定边界的显式描述,分类了38个边界组成部分,并计算了每个部分中一般多项式稳定代表的闭轨道标准形式。

Comments 47 pages, 10 tables, 1 figure. Announcement of results; detailed proofs and complete case-by-case computations forthcoming

详情
AI中文摘要

我们宣布了五次三维流形GIT模空间严格半稳定边界的显式描述。对于自然作用于$\mathbb P(\mathrm{Sym}^5\mathbb C^5)$上的$\mathrm{SL}(5)$,我们分类了由最大严格半稳定支撑产生的38个边界组成部分,并为每个组成部分中的一般多项式稳定代表构建了闭轨道标准形式。我们还确定了这些一般代表的奇点区域,并计算了它们的局部和全局最小指数。孤立的边界奇点是拟齐次的,属于十一类分析类型,所有类型具有局部最小指数等于$1$。因此,每个边界组成部分中一般闭轨道代表的全局最小指数为$1=(4+1)/5$,这是五次超曲面在$\mathbb P^4$中的稳定性准则的临界值。我们进一步宣布了38个商侧边界家族之间的成对非包含关系,并计算了codimension-one墙邻接图,该图有38个顶点和184条边,是连通的,直径为4。详细的证明和完整的逐个情况计算将在即将发表的完整论文中出现。

英文摘要

We announce an explicit description of the strictly semistable boundary of the GIT moduli space of quintic threefolds. For the natural action of \(\mathrm{SL}(5)\) on \(\mathbb P(\mathrm{Sym}^5\mathbb C^5)\), we classify the 38 boundary components arising from maximal strictly semistable supports and construct closed-orbit normal forms for the general polystable representative in each component. We also determine the singular loci of these general representatives and compute their local and global minimal exponents. The isolated boundary singularities are quasi-homogeneous and fall into eleven analytic types, all with local minimal exponent equal to \(1\). Consequently, the global minimal exponent of a general closed-orbit representative in every boundary component is \(1=(4+1)/5\), the critical value in the stability criterion for quintic hypersurfaces in \(\mathbb P^4\). We further announce the pairwise non-inclusion of the 38 quotient-side boundary families and compute the codimension-one wall-adjacency graph, which has 38 vertices and 184 edges, is connected, and has diameter 4. Detailed proofs and complete case-by-case computations will appear in a forthcoming full-length paper.

2605.00308 2026-05-04 math.NA cs.NA

Adaptive anisotropic composite quadratures for residual minimisation in neural PDE approximations

自适应各向异性复合求积法用于神经PDE近似中的残差最小化

Santiago Badia, Kishore Nori

AI总结 本文研究了数值求积在神经网络求解偏微分方程残差最小化方法中的作用,提出了一种自适应各向异性复合求积策略,通过更丰富的参考求积和基于二分法的细化控制求积误差,提升求解精度与效率。

详情
AI中文摘要

我们研究了数值求积在神经网络近似偏微分方程残差最小化方法中的作用。我们首先提出一个抽象误差框架,将近似、求积和优化误差分开,并推导出非线性Strang型估计,量化离散损失中的不准确如何影响最终近似。受此分析启发,我们提出了一种各向异性自适应复合求积策略,通过更丰富的参考求积和基于二分法的细化控制残差损失的相对求积误差。我们随后引入一种基于刷新的训练方法,仅在在线误差指示器超过预设阈值时重建求积,平衡精度与计算成本。数值实验表明,所提方法缩小了训练与参考损失之间的差距,更高效地利用求积点,并相对于非自适应求积策略提供了更强的近似精度。

英文摘要

We study the role of numerical quadrature in residual-minimisation methods for neural network approximation of partial differential equations. We first present an abstract error framework that separates approximation, quadrature and optimisation errors, and derive a nonlinear Strang-type estimate quantifying how inaccuracies in the discrete loss affect the final approximation. Motivated by this analysis, we propose an anisotropic adaptive composite quadrature strategy that controls the relative quadrature error of the residual loss using richer reference quadratures and bisection-based refinement. We then introduce a refresh-based training methodology that rebuilds the quadrature only when an online error indicator exceeds a prescribed threshold, balancing accuracy and computational cost. Numerical experiments on a range of benchmark problems show that the proposed approach narrows the gap between training and reference losses, uses quadrature points more efficiently and delivers strong approximation accuracy relative to non-adaptive quadrature strategies.

2605.00306 2026-05-04 cs.IT eess.SP math.IT

Artificial-Noise Aided Design for Movable-Antenna Enabled Physical-Layer Service Integration

辅助人工噪声的可移动天线赋能物理层服务集成设计

Zhifeng Tang, Guangchen Wang, Nan Yang, Xiangyun Zhou, Salman Durrani

AI总结 本文提出一种新型人工噪声辅助可移动天线赋能的物理层服务集成方案,通过联合利用可移动天线的空间重构能力和人工噪声的干扰整形能力,提升保密性能并保障组播可靠性。

详情
AI中文摘要

本文提出了一种新型人工噪声(AN)辅助可移动天线(MA)赋能的物理层服务集成(PLSI)方案,旨在协调同时传输组播和保密信息。通过联合利用MA的空间重构能力和AN的干扰整形能力,我们旨在提升保密性能并保证组播可靠性。MA位置和发射变量的联合设计导致了一个高度耦合且非凸的优化问题。为此,我们首先提供了关于AN设计中空间自由度作用的关键见解。然后在结构化传输设计下表征了AN方向,并推导出AN到保密功率分配比的闭式表达式,这大大简化了整体设计。为了解决由此产生的问题,我们进一步开发了一种低复杂度的块坐标上升(BCA)基于方案,交替进行发射设计和MA位置优化。数值结果表明,所提出的方案在低计算复杂度和快速收敛的情况下实现了显著的保密性能增益,突显了其在MA赋能的PLSI系统中的有效性。

英文摘要

This paper pioneers a novel scheme for artificial-noise (AN)-aided movable-antenna (MA)-enabled physical-layer service integration (PLSI) to harmonize the simultaneous delivery of multicast and confidential messages. By jointly exploiting the spatial reconfiguration capability of MAs and the interference shaping capability of AN, we aim to enhance secrecy performance while guaranteeing multicast reliability. The joint design of MA positions and transmit variables results in a highly coupled and non-convex optimization problem. To address this, we first provide key insights into the role of spatial degrees of freedom in AN design. We then characterize the AN direction under a structured transmission design and derive a closed-form expression for the AN-to-confidential power allocation ratio, which significantly simplifies the overall design. To solve the resulting problem, we further develop a low-complexity block coordinate ascent (BCA)-based scheme that alternates between transmit design and MA position optimization. Numerical results demonstrate that the proposed scheme achieves significant secrecy performance gains with low computational complexity and fast convergence, highlighting its effectiveness for MA-enabled PLSI systems.

2605.00305 2026-05-04 math.DS

On Aubry's completeness conjecture

关于 Aubry 的完备性猜想

Tianqi Shi, Jinxin Xue

AI总结 本文证明了 Aubry 的完备性猜想,指出在最小配置集一致超曲面的条件下,旋转数随上同调类的变化图是一个纯单连续函数。此现象对 Frenkel-Kontorova 模型中绝缘体链原子链的特征具有关键作用。

详情
AI中文摘要

在本文中,我们证明了 Aubry 的完备性猜想,即对于一个 twist 映射,当所有最小配置集一致超曲面时,旋转数作为上同调类函数的图是一个纯单连续函数(称为 Aubry 的完整魔鬼阶梯)。这种现象对于特征化 Frenkel-Kontorova 模型中绝缘体链的原子链至关重要,并可视为临界圆映射中相位锁定现象以及分数量子霍尔效应的类比。相反,在存在正测度的 KAM 球面的情况下,我们证明魔鬼阶梯是不完整的。

英文摘要

In this paper, we prove Aubry's completeness stating conjecture that for a twist map the graph of rotation numbers as a function of the cohomology classes is a purely singularly continuous function (called complete devil's staircase by Aubry) when the set of all minimal configurations is uniformly hyperbolic. Such a phenomenon is crucial for characterizing the chain of atoms being an insulator for the Frenkel-Kontorova model, and can be considered as the analogue of the phase locking phenomenon in critical circle maps as well as the fractional quantum Hall effect. In contrast, in the presence of a positive measure set of KAM tori, we prove that the devil's staircase is incomplete.

2605.00304 2026-05-04 cond-mat.mtrl-sci physics.app-ph

Tailoring Mechanical Properties of Germanium Anodes via Metal Incorporation for Improved Cycle Stability

通过金属掺杂调节锗阴极的机械性能以提高循环稳定性

Koki Nozawa, Noriyuki Saitoh, Noriko Yoshizawa, Takashi Suemasu, Kaoru Toko

AI总结 通过金属掺杂改善锗阴极的机械性能,提升循环稳定性,发现大原子尺寸元素如Yb可显著增强循环寿命,同时抑制体积变化。

详情
AI中文摘要

实现高容量锂离子电池阴极的长期稳定性仍是一个关键挑战。本研究提出了一种材料内在策略,通过微量掺杂金属元素来延长锗作为下一代阴极材料的循环寿命。我们系统研究了不同金属的小量添加效果,发现大原子尺寸元素,特别是Yb,显著提高了循环稳定性而不牺牲初始容量,适当Yb掺杂使阴极寿命提高约三倍。结构和电化学分析表明,这种改进源于Ge阴极的机械软化,抑制了如裂纹和剥落等锂化诱导损伤。纳米压痕测量进一步显示,掺杂原子尺寸与膜硬度之间存在强负相关,确立了阴极软化作为抗损伤电极的新设计原则。尽管Yb掺杂在高倍率下降低了速率能力,但本研究结果表明设计策略已从体积变化抑制转向机械顺应性。这些发现为通过原子尺度机械控制稳定高容量合金阴极提供了有用的框架。

英文摘要

Achieving long-term stability in high-capacity lithium-ion battery anodes remains a critical challenge. In this study, we present a materials-intrinsic strategy for extending the cycle life of Ge, a promising next-generation anode material, through trace doping with metal elements. We systematically investigated the effects of small additions of various metals and found that elements with large atomic size, particularly Yb, markedly improved the cycling stability without sacrificing the initial capacity, while appropriate Yb doping enhanced the anode lifetime by approximately a factor of three. Structural and electrochemical analyses revealed that this improvement originates from mechanical softening of the Ge anode, which suppresses lithiation-induced damage such as cracking and delamination. Nanoindentation measurements further showed a strong negative correlation between dopant atomic size and film hardness, establishing anode softening as a new design principle for damage-tolerant electrodes. Although Yb doping reduced the rate capability at high C-rates, the present results demonstrate a clear shift in design strategy from volume-change suppression to mechanical compliance. These findings provide a useful framework for stabilizing high-capacity alloy anodes through atomic-scale mechanical control.

2605.00303 2026-05-04 physics.flu-dyn

The rapidly advancing contact line Part-1: Navier slip and microscale inertial effects

快速推进的接触线 Part 1:Navier 滑动和微尺度惯性效应

Yash Kulkarni, Tomas Fullana, Stephane Popinet, Stephane Zaleski

AI总结 研究通过模拟揭示接触线推进中Navier滑动模型与微尺度惯性效应的兼容性,发现惯性效应在实验区域至关重要,不支持滑动模型的否定。

Comments 33 Pages

详情
AI中文摘要

帘式涂覆,即移动板被下落的液体薄层覆盖,在大毛细数Ca~O(1)下维持推进接触线,稳定状态存在至临界毛细数,超过该值则通过空气泡吸入发生润湿失效。在稳态下,实验发现流体-流体界面速度在接触线接近时加速至微米级,这被解释为对Navier滑动模型的反证。本文探讨该加速是否与滑动模型兼容,证明其兼容。尽管Navier滑动模型在接触线处速度消失,但实验可及的微尺度区域位于滑动区域外。帘式涂覆装置揭示了局部雷诺数(基于接触线距离r~10微米)为单位量级,因此可观测的流动由局部惯性主导。本文的两相Navier-Stokes体积-流体模拟结合四叉树自适应网格细化,解析最小尺度并研究具有Navier滑动边界条件和固定接触角的流动。模拟再现了临界毛细数对全局雷诺数的非单调依赖关系,以及在拐点处宏观接触角的变化,与Liu等人(2016)一致。微尺度区域的界面速度由惯性修正的楔形流解描述,楔角由拐点值设定,随着滑动长度减小,拟合度提高;在更大尺度上,界面弯曲遵循Benney解。这些纯斯托克斯流中不存在的惯性效应在实验区域至关重要。因此,定性微尺度观测并未明确否定推进接触线的滑动模型。

英文摘要

Curtain coating, in which a moving plate is coated by a falling liquid sheet, sustains advancing contact lines at large capillary numbers Ca ~ O(1), based on plate speed. Steady states exist up to a critical capillary number, beyond which wetting failure occurs through air-bubble entrainment. In the steady regime, experiments report that velocity along the fluid-fluid interface accelerates as the contact line is approached, down to tens of micrometres; this has been interpreted as evidence against the Navier slip model. We ask whether this acceleration is compatible with slip models, and show that it is. Although Navier slip implies a vanishing velocity at the contact line, the experimentally accessible microscale region lies outside the slip region. The curtain-coating setup is revealing because the local Reynolds number, based on distance from the contact line r ~ 10 microns, is order unity, so the observable flow is governed by local inertia. Our two-phase Navier-Stokes Volume-of-Fluid simulations with quadtree adaptive mesh refinement resolve the smallest scales and study the flow with a Navier slip boundary condition and fixed contact angle. The simulations reproduce the non-monotonic dependence of the critical capillary number on global Reynolds number, based on feed-flow velocity, and the variation of the macroscopic contact angle at the inflection point, in agreement with Liu et al (2016). The interfacial velocity in the microscale region is well described by an inertially corrected wedge flow solution whose wedge angle is set by the inflection-point value, with agreement improving as slip length is reduced; at larger scales, interface bending follows the Benney solution. These inertial effects, absent from pure Stokes flow, are essential in the experimental region. Thus qualitative microscale observations do not decisively invalidate slip models for advancing contact lines.

2605.00301 2026-05-04 math.NT math.CO math.PR

Primitive sets and von Mangoldt chains: Erdős Problem #1196 and beyond

原始集合与von Mangoldt链:埃尔德什问题#1196及其他

Boris Alexeev, Kevin Barreto, Yanyang Li, Jared Duker Lichtman, Liam Price, Jibran Iqbal Shah, Quanyu Tang, Terence Tao

AI总结 本文提出基于马尔可夫链与von Mangoldt权重的新方法,用于界定了原始集合的埃尔德什和,并解决了埃尔德什-萨尔科西-塞泽尔迪问题#1196和#1217,以及埃尔德什原始集合猜想。

Comments 35 pages, 9 figures. Preliminary version for arXiv

详情
AI中文摘要

一个整数集合是原始的,如果集合中的任意一个数都不被另一个数整除。我们介绍了一种新的方法,用于界定了原始集合的埃尔德什和,该方法基于马尔可夫链与von Mangoldt权重,由GPT-5.4 Pro建议。该方法导致了众多应用,但似乎在之前的文献中未被重视,因为埃尔德什在1935年的开创性论文中已经提出了相关问题。作为应用,我们证明了埃尔德什-萨尔科西-塞泽尔迪1966年的两个猜想,关于大数的原始集合(#1196)和可除链(#1217)。该方法还提供了埃尔德什原始集合猜想(#164)的简短证明,以及2是一个“埃尔德什强”素数的相关声明。此外,该方法解决了Banks-Martin猜想的修订形式,该猜想长期以来被视为该领域的一个统一“主定理”。

英文摘要

A set of integers is primitive if no number in the set divides another. We introduce a new method for bounding Erdős sums of primitive sets, suggested from output of GPT-5.4 Pro, based on Markov chains with von Mangoldt weights. The method leads to a host of applications, yet seems to have been overlooked by the prior literature since Erdős's seminal 1935 paper. As applications, we prove two 1966 conjectures of Erdős-Sárközy-Szemerédi, on primitive sets of large numbers (#1196) and on divisibility chains (#1217). The method also provides a short proof of the Erdős Primitive Set Conjecture (#164), as well as the related claim that 2 is an ''Erdős-strong'' prime. Moreover, the method resolves a revised form of the Banks-Martin conjecture, which has long been viewed as a unifying `master theorem' for the area.

2605.00299 2026-05-04 math.MG math.NT

On convex bodies with constant non-central sections

关于具有常数非中心截面的凸体

J. Haddad, D. Ryabogin

AI总结 研究证明,若四维空间中对称旋转凸体C包含单位球体,且与该球体相切的超平面截面面积恒为A>0,则C为欧几里得球体,前提是特定算术条件成立。该值集具有正Hausdorff维度。

详情
AI中文摘要

我们证明,若C是包含单位欧几里得球体B_4的四维对称旋转凸体,且由与B_4相切的超平面截得的截面面积恒为A>0,则C为欧几里得球体,前提是1/π arctan((3A/(4π))^{1/3})满足某些算术性质,这些性质可通过其连续分数展开读取。我们证明满足这些性质的A值集具有正Hausdorff维度。

英文摘要

We prove that if $C$ is a symmetric convex body of revolution in $\mathbb R^4$ containing the unit Euclidean ball $\mathbb B_4$, such that the sections of $C$ by hyperplanes tangent to $\mathbb B_4$ have constant area $A>0$, then $C$ is a Euclidean ball, provided $\frac 1π \arctan((\frac{3A}{4π})^{1/3})$ satisfies certain arithmetic properties that can be read from its expansion as a continued fraction. We show that the set of values $A$ satisfying these properties has positive Hausdorff dimension.

2605.00295 2026-05-04 cs.LO

Polymorphism Meets DHOL

多态性与DHOL

Rhea Ranalter, Florian Rabe, Cezary Kaliszyk

AI总结 本文提出多态性DHOL,通过扩展HOL实现依赖类型,提升高阶逻辑在数据结构、范畴论等领域的应用效率,并通过工具实现自动化证明。

Comments 21 pages incl. references + 9 pages appendix, to be published in the proceedings of FSCD26

详情
AI中文摘要

DHOL是一种扩展性的经典逻辑,通过在著名的高阶逻辑(HOL)中引入依赖类型,使诸如大小受限的数据结构、范畴论或证明论等重要领域能够进行简洁的编码。通过将DHOL翻译为HOL,可以利用现代强大的自动定理证明器来获得自动化支持。然而,DHOL的一个关键缺失特性是多态性。我们开发了多态性DHOL的语法和语义,并相应地扩展了翻译。我们实现了该翻译逻辑嵌入工具,并在一系列TPTP形式化中进行了评估。逻辑嵌入工具结合现成的HOL定理证明器,可以轻松创建PDHOL定理证明器用于实验。

英文摘要

DHOL is an extensional, classical logic that equips the well-known higher-order logic (HOL) with dependent types. This allows for concise encodings of important domains like size-bounded data structures, category theory, or proof theory. Automation support is obtained by translating DHOL to HOL, for which powerful modern automated theorem provers are available. However, a critically missing feature of DHOL is polymorphism. We develop the syntax and semantics of polymorphic DHOL and extend the translation accordingly. We implement the translation in the logic-embedding tool and evaluate it on a range of TPTP formalizations. The logic-embedding tool, together with an off-the-shelf HOL theorem prover easily creates a PDHOL theorem prover for experimenting.

2605.00293 2026-05-04 cond-mat.soft

Surface-Adsorbed Nanodroplets of Symmetric Diblock Copolymers Form Versatile and Stimuli-Responsive Nanostructures

对称双块共聚物表面吸附纳米液滴形成多功能且响应性纳米结构

Artem Petrov, Guillermo A. Hernández-Mendoza, Alfredo Alexander-Katz

AI总结 研究揭示了对称双块共聚物表面吸附纳米液滴可通过外部刺激在单个液滴层面切换多种纳米结构,利用SCFT理论和计算算法构建了4D形态图,并通过实验验证了表面活性剂添加或温度控制可实现液滴形态的可逆转变。

详情
AI中文摘要

块状共聚物在基底上往往形成液滴。这些纳米结构化的液滴可以排列成规则的微结构阵列,从而形成分层组织材料,可用于微电子、等离子体、传感、光子学、超材料制造和密码学。然而,不清楚这些材料是否具有响应性,即能否在单个液滴层面通过外部刺激改变其纳米结构。在本工作中,我们发现小(10-100 nm)表面吸附的对称双块共聚物液滴可以形成多种不同的可外部切换的纳米结构。通过在不同润湿和相分离条件下进行大规模自洽场理论(SCFT)计算,获得了近平衡的、全面的4D液滴形态图。SCFT建模结合了计算算法,该算法在给定系统中建立了平衡的液滴形态,而无需事先假设可能的平衡结构。发现的液滴纳米结构与之前发表的实验数据高度一致。关键的是,我们展示了通过改变组分间的相互作用强度,可以直接且可逆地在不同液滴形态之间转换,这可以通过在实验中添加表面活性剂或控制温度来调节。通过建模表面活性剂的添加,我们确认了这种响应性的实验可行性。本工作证明了即使是最简单的对称双块共聚物在被限制在小纳米液滴中时,也能在表面上产生多功能且响应性的结构。这为生产具有外部可切换分层微-纳米结构的智能涂层打开了可能性。

英文摘要

Block copolymers often create droplets when placed on a substrate. Such nanostructured droplets can be arranged into regular microstructured arrays, thereby forming hierarchically organized materials that can be used in microelectronics, plasmonics, sensing, photonics, metamaterials production, and even cryptography. However, it is unclear if such materials can be stimuli-responsive, i.e., be able to change their nanostructure on a single droplet level upon applying external stimuli. In this work, we discovered that small (10-100 nm) surface-adsorbed droplets of symmetric diblock copolymers can form a multitude of different externally switchable nanostructures. We obtained a near-equilibrium, comprehensive 4D diagram of droplet morphologies by performing large-scale self-consistent field theory (SCFT) calculations under various wetting and phase separation conditions. The SCFT modeling was augmented with a computational algorithm that established an equilibrium droplet morphology in a given system without assuming potentially equilibrium structures prior to simulation. The discovered droplet nanostructures agreed excellently with previously published experimental data. Crucially, we showed that direct and reversible transitions between different droplet morphologies are possible upon changing the interaction strength between components, which can be tuned externally in experiments by adding surfactants or controlling temperature. We confirmed experimental realizability of such stimuli-responsiveness by modeling surfactant addition that led to a switch between droplet nanostructures. This work demonstrates that even the simplest symmetric diblock copolymers are able to produce versatile and stimuli-responsive structures on a surface when confined to a small nanodroplet. This opens the possibility to produce smart coatings with externally switchable hierarchical micro- and nanostructures.

2605.00289 2026-05-04 astro-ph.EP astro-ph.SR

ExoplaNeT accRetion mOnitoring sPectroscopic surveY (ENTROPY) III. Optical He I line profiles of the accreting super Jupiter Delorme 1 (AB)b

ExoplaNeT accRetion mOnitoring sPectroscopic surveY (ENTROPY) III. 光学He I线形貌的吸积超木星Delorme 1 (AB)b

Gayathri Viswanath, Mickaël Bonnefoy, Catherine Dougados, Simon C. Ringqvist, Markus Janson, Dorian Demars, Aurora Sicilia-Aguilar, Jérôme Bouvier, Gabriel-Dominique Marleau, Evelyne Alecian, Gaël Chauvin

AI总结 研究通过高分辨率光谱观测Delorme 1 (AB)b的He I线形貌,揭示吸积几何结构,发现其He I线形貌与经典TTauri星相似但宽度更小,推测其源于吸积过程及后激波区域。

Comments 19 pages, 14 figures, 6 tables; To be published in A&A (accepted on 9 March 2026)

详情
AI中文摘要

高分辨率光谱观测揭示了He I发射线在经典TTauri星中的吸积几何结构,发现氢线无法追踪的区域。本文研究了近邻(47 pc)、宽轨道(~84 au)、~13 MJup的吸积circumbinary伴星Delorme 1 (AB)b的He I发射线,利用解析线形貌约束其起源。分析了33个高信噪比VLT/UVES光谱,覆盖近紫外到可见光波长,R~50,000。检测到7个He I线(3890, 4027, 4473, 4923, 5017, 5877, 6680 Ȧ)具有显著的epoch到epoch变化。He I 5877, 4923, 4473, 4027 Ȧ线不对称,显示接近0 km/s的窄成分和红移约15 km/s的宽成分。从中位数He I线光度推导出吸积光度(1.3+1.6-0.7×10^-5 L☉)和质量吸积率(0.7+0.9-0.4×10^-8 MJup yr^-1),与紫外过剩估计基本一致但略高。结论:Delorme 1 (AB)b的He I线形貌与经典TTauri星相似但宽度更小,三线-单线比、与紫外过剩的强相关性以及窄成分的近零红移速度表明其源于后激波区域,接近行星表面。宽成分的持续红移、线宽和与窄成分速度的相关性表明其源于激波结构,更接近激波前沿。发射似乎主要由吸积主导,但可能有色球活动贡献。

英文摘要

High-resolution spectroscopic observations of helium emission lines provide a powerful probe of accretion geometry in classical T Tauri stars, revealing regions not well traced by hydrogen lines. Parallel studies in the planetary-mass regime are lacking. In this work, we investigate helium emission from the nearby (47 pc), wide-orbit (~84 au), ~13 $M_{Jup}$ accreting circumbinary companion Delorme 1 (AB)b and use resolved line profiles to constrain their origin. We analyse 33 high-S/N VLT/UVES spectra spanning near-ultraviolet to optical wavelengths at R~50,000. We detect seven He I lines at >5$σ$ confidence - 3890, 4027, 4473, 4923, 5017, 5877, and 6680 Ȧ - with significant epoch-to-epoch variability. The He I 5877, 4923, 4473, and 4027 Ȧ lines are asymmetric, showing a narrow component near 0 km/s and a broad component redshifted by ~15 km/s. The accretion luminosity ($1.3^{+1.6}_{-0.7}\times 10^{-5} L_{\odot}$) and mass accretion rate ($0.7^{+0.9}_{-0.4} \times 10^{-8} M_{Jup} yr^{-1}$) inferred from the median He I line luminosities are broadly consistent with, but slightly higher than, estimates from the ultraviolet excess. We conclude that protoplanet Delorme 1 (AB)b shows asymmetric He I profiles analogous to those of classical T Tauri stars, but with much smaller narrow- and broad-component widths. The triplet-singlet line ratio, a strong correlation with ultraviolet excess and the near-zero, redshifted velocities obtained for the narrow component suggest that it originates within the post-shock region, close to the planet surface. The persistent redshift of the broad component, its line width, and velocity correlation with the narrow component imply an origin within the shock structure, closer to the shock front. Emission seems to be dominated by accretion based on the obtained accretion luminosities, but a contribution from chromospheric activity may be present.

2605.00288 2026-05-04 cs.HC

FaceValue: Exploring Real-Time Self-View Overlays to Prompt Meaning-Oriented Self-Awareness in Remote Meetings

FaceValue:探索实时自我视角叠加以促进远程会议中的意义导向自我意识

Gun Woo Warren Park, Anthony Tang, Fanny Chevalier

AI总结 FaceValue通过实时自我视角叠加帮助参与者反思非语言交流可能被误解的风险,提升远程会议中的沟通质量。

Comments 27 pages, 5 figures, accepted to CSCW 2026

详情
AI中文摘要

在远程视频会议中,视觉非语言线索如面部表情或头部动作持续出现但常被部分忽略,相较于面对面场景更具歧义性,可能导致意图与感知意义的错位。受沟通理论启发,我们设计了FaceValue,一种通过私有实时叠加增强自我视角的技术探针。这些叠加是微妙的提示,旨在帮助参与者反思自身线索可能被他人解读的方式。FaceValue避免行为标签,旨在支持意义导向的自我意识:识别可见线索可能无意中(误解)传达意图的情况。我们与十三名知识工作者在多个星期内部署FaceValue,记录参与者对自我意识和行为的变化,以及对设计概念的看法,通过日记和退出访谈进行自我报告。参与者认为FaceValue提高了他们对可能错位线索的意识,并激励会议中的调整,他们相信这导致了与其他参会者更好的沟通。我们贡献了一个概念框架,将视觉非语言线索定位为可操控的沟通资源,一种旨在促进意义导向自我意识的技术探针,以及基于实证的设计洞察以指导未来会议系统。

英文摘要

In remote video meetings, visual non-verbal cues, such as facial expressions or head movements, are seen continuously but often only partially. This increases ambiguity compared to in-person settings and can cause misinterpretation or misalignment between intended and perceived meaning. Motivated by communication theories, we designed FaceValue, a technology probe that augments the self-view with private, real-time overlays. These overlays are subtle, suggestive prompts intended to help attendees reflect on how their cues might be interpreted by others. To invite personal interpretation, FaceValue avoids behavioral labeling and instead aims to support meaning-oriented self-awareness: recognizing when visible cues may unintentionally (mis)communicate intent. We deployed FaceValue in the wild with thirteen knowledge workers over multiple weeks, capturing perceived changes in self-awareness and behavior, and impressions on the design concepts, as self-reported by participants through diary entries and exit interviews. Participants felt FaceValue increased their awareness of potentially misaligned cues and motivated in-meeting adjustments, which they believe resulted in improved communication with other attendees. We contribute a conceptual framing that positions visual non-verbal cues as a manipulable communication resource, a technology probe that aims to foster meaning-oriented self-awareness, and empirically-grounded design insights for future meeting systems.

2605.00287 2026-05-04 quant-ph

Sequential Measurements as a Resource for Quantum Metrology

顺序测量作为量子计量的资源

Koray Mentesoglu, Rahul Trivedi, Sara Mouradian

AI总结 通过顺序弱测量同时估计位移通道的两个正交分量,利用量子 Fisher 信息显示测量反作用可增强信息获取,通过 N 比特字符串分布信息避免相位缠绕损失,提升动态范围并增强抗退相干能力。

Comments 16 pages, 7 figures, including supplemental material

详情
AI中文摘要

我们提出了一种协议,通过量子谐振子的顺序弱测量同时估计位移通道的两个正交分量。量子 Fisher 信息的计算表明,测量反作用可在一定测量强度范围内增加获取的信息。该协议在 N 次弱测量后将信息分布到 N 比特字符串中。因此我们发现,后处理可用于避免因相位缠绕导致的信息损失,从而提高有效动态范围。最后,周期性信息提取使该协议对退相干具有鲁棒性。我们的结果确立了中等传感测量作为单参数和多参数量子计量的资源。

英文摘要

We present a protocol in which sequential weak measurements of a quantum harmonic oscillator enable simultaneous estimation of both quadratures of a displacement channel. Calculations of the quantum Fisher information show that the measurement backaction can increase the information gained for a range of measurement strengths. The protocol distributes information over a $N$-bit string after $N$ weak measurements. Thus we find that post-processing can be used to avoid information loss due to phase wrapping, increasing the effective dynamic range. Finally, the periodic information extraction makes the protocol robust to decoherence. Our results establish mid-sensing measurement as a resource for single- and multi-parameter quantum metrology.

2605.00286 2026-05-04 quant-ph physics.atom-ph physics.chem-ph

Unified approach to time-resolved x-ray and electron diffraction imaging

统一的时间分辨X射线和电子衍射成像方法

Mingrui Yuan, Nikolay V. Golubev

AI总结 本文提出一种统一的量子场描述方法,用于时间分辨X射线衍射和超快电子衍射,揭示两者之间的对应关系并系统区分其异同,展示了衍射成像在解析物质复杂量子过程中的独特能力。

详情
AI中文摘要

时间分辨X射线衍射(TR-XRD)和超快电子衍射(TR-UED)是探测超快量子动态的新兴工具。从理论角度看,它们通常在不同的框架下描述并采用不同的近似方法。本文提出了一种统一的量子场描述,使TR-XRD和TR-UED能够在共同的理论框架下一致考虑。我们的方法阐明了TR-XRD与TR-UED之间的对应关系,并允许系统地区分它们的相似性和差异性。所发展的形式主义足够通用,能够一致且简便地纳入其他感兴趣的物理效应,如相对论电荷-电流和电流-电流耦合。我们将这种方法应用于模拟激光驱动电子动态在石墨烯中的衍射测量,展示了衍射成像在解析物质复杂量子过程中的独特能力。

英文摘要

Time-resolved x-ray diffraction (TR-XRD) and ultrafast electron diffraction (TR-UED) are emerging tools for probing ultrafast quantum dynamics. From a theoretical perspective, they are commonly described within different frameworks and modeled using distinct approximations. Here, we present a unified quantum-field-based description of ultrafast diffraction imaging that permits consistent consideration of TR-XRD and TR-UED within a common theoretical formalism. Our approach elucidates the correspondence between TR-XRD and TR-UED and allows their similarities and differences to be systematically disentangled. The developed formalism is sufficiently general to consistently and straightforwardly incorporate additional physical effects of interest, such as relativistic charge-current and current-current couplings. We apply our approach to simulate diffraction measurements of laser-driven electron dynamics in graphene, demonstrating the unique capabilities of diffraction imaging to unravel intricate quantum processes in matter.

2605.00285 2026-05-04 math.AG

The logarithmic leaf complex and foliated d-semistability

对数叶复形与叶状分解的d-半稳定性

Mauricio Corrêa, Pablo Perrella, Sebastián Velazquez

AI总结 研究正常交叉品种上全纯叶状分解的半稳定性,通过log结构分析d-半稳定性,识别局部和全局障碍,并发展叶状变形理论以证明模态functor具有versal hull。

详情
AI中文摘要

我们研究正常交叉品种上全纯叶状分解作为半稳定性退化的结果。我们通过Fontaine-Illusie意义下的log结构语言探索叶状d-半稳定性概念。首先,我们识别d-半稳定性的局部和全局障碍。为了分析光滑变形的存在性,我们开发了叶状变形理论,并证明相应的模态functor具有versal hull。

英文摘要

We study holomorphic foliations on normal crossings varieties arising as semistable degenerations. We do so by we exploring the notion of foliated d-semistability using the language of logarithmic structures in the sense of Fontaine-Illusie. First, we identify both local and global obstructions to d-semistability. In order to analyze the existence of smoothings, we develop a logarithmic deformation theory of foliations and show that the corresponding moduli functor admits a versal hull.

2605.00283 2026-05-04 cs.CR cs.SE

A Privacy-Preserving Approach to Conformance Checking

一种保护隐私的过程符合性检查方法

Luis Rodríguez-Flores, Luciano García-Bañuelos, Abel Armas-Cervantes, Astrid Rivera-Partida

AI总结 本文提出基于字符串处理算法和同态加密的隐私保护过程符合性检查方法,通过比对过程模型与事件日志实现安全验证,但需付出较高的内存和处理开销。

Comments 9 pages

详情
AI中文摘要

过程符合性检查是过程挖掘的主要操作之一,旨在识别过程模型与事件日志之间的差异。模型代表预期行为,而事件日志代表实际过程行为。传统上,过程模型和事件日志都可被业务分析师访问。然而,在某些情况下,需要保持模型或日志的隐私以保护关键或敏感信息。本文提出了一种基于字符串处理算法和同态加密的安全过程符合性检查方法,其中过程模型和事件日志对模型的所有者或日志的所有者不可见。所提出的技术基于对齐,这是过程符合性检查中广为人知的正式主义。通过使用合成和现实世界的事件日志进行评估,证明了在付出高内存和处理需求的代价下,过程符合性检查可以安全地进行。

英文摘要

Conformance checking, one of the main process mining operations, aims to identify discrepancies between a process model and an event log. The model represents the expected behaviour, whereas the event log represents the actual process behaviour as captured in information systems records. Traditionally, the process model and the event log are both accessible to the business analyst performing the conformance checking. However, in some contexts, it is necessary to keep either the model or the log private to protect critical or sensitive information. In this paper, we propose a secure approach to conformance checking based on string processing algorithms and homomorphic encryption, where the process model and event log ar not visible to either the model's or event log's owner. The proposed technique is based on alignments, a well-known formalism used for conformance checking. An evaluation is performed using a synthetic and a real-world event log, showing that conformance checking can be securely computed at the expense of high memory and processing requirements.

2605.00282 2026-05-04 cs.HC

Developing an AI Concept Envisioning Toolkit to Support Reflective Juxtaposition of Values and Harms

开发一种AI概念展望工具包以支持反思性地比较价值观与危害

Pitch Sinlapanuntakul, Soyun Moon, Yuri Kawada, Yeha Chung, Mark Zachry

AI总结 本文提出AI概念展望工具包,通过价值-危害卡片和价值-张力图,帮助设计者在早期阶段反思价值观与潜在危害,提升伦理透明度。

Comments 22 pages, 10 figures, 5 tables

详情
AI中文摘要

早期阶段的概念展望是AI设计中的关键环节,决定了设计者如何界定问题及后续决策。然而,价值观和潜在危害往往过于抽象或被忽视,导致无法有效影响设计。通过研究-设计(RtD)方法,我们开发了AI概念展望工具包,包含AI能力库、24张价值-危害卡片和价值-张力图,以支持通过在AI技术能力内比较价值观和危害进行推理。通过调查30名设计师和深入访谈12名设计师,发现该工具包清晰且被视为有价值,能够促进价值反思,帮助预见潜在危害,并在早期设计阶段使伦理考量更加透明。我们反思了设计过程,并讨论了促进对价值观和潜在危害的反思、揭示和导航价值张力的设计方法,以及在设计流程中引入有益摩擦的设计方法。

英文摘要

Early-stage concept envisioning is a critical juncture in AI design, shaping how designers frame problems and the decisions that follow. Yet values and potential harms are often too abstract or addressed too late to meaningfully shape design. Using a Research-through-Design (RtD) approach, we developed the AI Concept Envisioning Toolkit, comprising an AI Capability Library, 24 Value--Harm Cards, and a Value--Tension Map, to support reasoning by juxtaposing values and harms within AI technical capabilities. Through a survey with 30 designers and in-depth interviews with 12 designers, we find that the toolkit is clear and perceived as valuable, and that it encourages value reflection, helps anticipate potential harms, and makes ethical considerations more transparent in early-stage design. We reflect on our design process and discuss design approaches for tools that promote reflection on values and potential harms, surface and navigate value tensions, and introduce productive friction throughout design workflows.

2605.00280 2026-05-04 cs.HC

How Designers Envision Value-Oriented AI Design Concepts with Generative AI

设计师如何用生成式AI构思价值导向的人工智能设计概念

Pitch Sinlapanuntakul, Aayushi Dangol, Xiaoyi Xue, Mark Zachry

AI总结 研究探讨设计师在使用生成式AI工具时如何平衡价值与潜在危害,揭示了递归价值冲突及多层级价值张力,提出通过元设计推理进行前瞻性判断的方法。

Comments 19 pages, 2 figures, 3 tables

详情
AI中文摘要

随着AI融入设计实践,设计师越来越多地使用生成式AI工具来构思AI赋能的解决方案,将AI视为既是设计工具又是设计材料。这种双重角色引发了与传统设计工作不同的递归价值冲突。我们通过与18名设计师的概念构思活动和访谈,了解他们如何在这一背景下处理价值观并识别潜在危害。分析发现,设计师与AI进行互为反向的反思-行动;这一过程揭示了工具、设计师和概念层面的多层级价值冲突;设计师对危害识别的敏感度高于对积极价值实现的表达;设计师通过元设计推理进行前瞻性判断,考虑工具假设如何传播到设计概念和未来使用场景中。我们扩展了Schon的反思-行动框架,并讨论了重新设计AI中介设计工具、支持以危害为中心的推理以及将设计作为AI发展基础的含义。

英文摘要

As AI integrates into design practice, designers increasingly use generative AI tools to envision AI-enabled solutions, positioning AI as both design tool and design material. This dual role creates recursive value tensions distinct from traditional design work. We engaged 18 designers in a concept envisioning activity and interviews to understand how they navigate values and recognize potential harms in this context. Our analysis reveals that (i) designers engage in reciprocal reflection-in-action with AI; (ii) this process surfaces multi-level value tensions across tool, designer, and concept; (iii) designers demonstrate greater attunement to harm recognition as a primary design signal than to articulating positive value fulfillment; and (iv) designers exercise anticipatory judgment through meta-design reasoning about how tool assumptions risk propagating into designed concepts and future use contexts. We extend Schon's reflection-in-action framework and discuss implications for redesigning AI-mediated design tools, supporting harm-centered reasoning, and positioning design as foundational to AI development.

2605.00277 2026-05-04 cs.DS

Brief announcement: A special case of maximum flow over time with network changes

简报:具有网络变化的最大流过时间的特殊情形

Shuchi Chawla, Kristin Sheridan

AI总结 研究针对具有均匀边长的网络中边容量随时间变化的最大流过时间问题,提出一种压缩时间扩展网络(cTEN)的方法,实现与原网络相同的最大流过时间值,适用于边容量变化频繁的场景。

Comments to appear as a brief announcement in SAND 2026

详情
AI中文摘要

本文研究了在具有均匀边长的网络中,边容量随时间变化的最大流过时间问题,提出了一种压缩时间扩展网络(cTEN)的方法,实现与原网络相同的最大流过时间值,适用于边容量变化频繁的场景。

英文摘要

We consider the problem of finding the value of a maximum flow over time in a network with uniform edge lengths where the edge capacities change at specific time instants. To solve this problem, we show how to construct a condensed version of a Time Expanded Network (cTEN) whose standard max flow value is the same as the max flow over time on the original network. In particular, for a graph with $n$ nodes, $m$ edges, and $μ$ {\em critical times} where some edge capacity changes, we obtain a cTEN with $O(n^2μ)$ nodes and $O(μmn)$ edges. This implies that the problem can be solved in $O(μ^2n^3m)$ time using the combinatorial max flow algorithm of Orlin [Orl13], or in $O(μ^{(1+o(1))}(nm)^{1+o(1)}\log (UT))$ time using the algorithm of Chen et al. [CKL+22], where $U$ is the maximum capacity of any edge and $T$ is the time horizon. We focus on graphs that experience many time changes across the period of interest, as in such graphs the $μ$ term dominates the runtime.

2605.00275 2026-05-04 cs.HC

Engagement Phenotypes for a Sample of 102,684 AI Mental Health Chatbot Users and Dose-Response Associations with Clinical Outcomes

102684名AI心理健康聊天机器人用户的参与表型及与临床结果的剂量-反应关联

Emma C. Wolfe, Ting Su, Olivier Tieleman, Thomas D. Hull, Matteo Malgaroli, Caitlin A. Stamatis

AI总结 研究通过聚类分析102684名用户的行为特征,发现五种参与表型,并探讨其与临床改善和工作联盟的关系,强调单一参与度指标的局限性。

详情
AI中文摘要

背景:对话式AI聊天机器人正成为可扩展的心理健康工具,但对其真实世界参与度及其与临床结果关系的了解有限。目的:表征Ash目的构建的AI心理健康聊天机器人用户的参与表型,并检验其与临床变化和工作联盟的关系。方法:通过八种行为特征的K均值聚类分析确定102684名用户中的参与表型。子样本完成了PHQ-9(n=298)、GAD-7(n=298)和MSPSS(社会支持;n=194)的基线和3周后测试;11437名用户完成了基线工作联盟量表(WAI)。结果:五种参与表型出现:早期退出者(52.2%)、Power用户(1.6%)、高强度用户(4.1%)、每周用户(25.3%)和新发现的集中用户模式(16.8%);在用户中,66.9%至少有一次夜间会话(晚上9点-早上5点)。显著的前后改善出现在抑郁(d = -0.51)、焦虑(d = -0.57)和社会支持(d = 0.22)。观察到的自我报告抑郁改善的剂量-反应梯度在更大样本中被复制,使用模型预测的PHQ-9(n = 23,813;Power用户d = -0.54;早期退出者d = -0.13)。较高的工作联盟预测抑郁改善并调节参与-社会支持的关系。结论:与AI心理健康工具的互动是多维的,不同的临床结果对不同的使用维度有不同反应。发现提醒不要将会话次数作为主要参与度指标,并提供了自然情境下为构建式对话式AI的临床价值的证据。

英文摘要

Background: Conversational AI chatbots are emerging as scalable mental health tools, but little is known about real world engagement or its relationship to clinical outcomes. Objective: To characterize engagement phenotypes among users of Ash, a purpose-built AI mental health chatbot, and examine associations with clinical change and working alliance. Methods: K-means clustering across eight behavioral features identified engagement phenotypes among 102,684 users. Subsamples completed the PHQ-9 (n=298), GAD-7 (n=298), and MSPSS (social support; n=194) baseline and 3 weeks; 11,437 users completed baseline Working Alliance Inventory (WAI). Results: Five engagement phenotypes emerged: Early Dropouts (52.2%), Power Users (1.6%), Intensive Users (4.1%), Weekly Users (25.3%), and a novel Concentrated User pattern (16.8%); across users, 66.9% had at least one overnight session (9pm-5am). Significant pre-post improvements occurred in depression (d = -0.51), anxiety (d = -0.57), and social support (d = 0.22). An observed dose-response gradient in self-reported depression improvement was replicated in a larger sample with model-predicted PHQ-9 (n = 23,813; Power Users d = -0.54; Early Dropouts d = -0.13). Higher working alliance predicted depression improvement and moderated the engagement-social support relationship. Conclusions: Engagement with AI mental health tools is multidimensional, and different clinical outcomes respond to different dimensions of use. Findings caution against treating session counts as a primary engagement metric and offer naturalistic evidence for the clinical value of purpose-built conversational AI.

2605.00274 2026-05-04 cond-mat.quant-gas cond-mat.stat-mech

Low-temperature Depletion of Superfluid Density in the Absence of Galilean Symmetry

低温下超流密度的耗尽与伽利略对称性的破坏

Viktor Berger, Nikolay Prokof'ev, Boris Svistunov

AI总结 本文提出一种理论,探讨在伽利略对称性被破坏的情况下,低温下超流刚度的依赖关系,通过数值模拟验证,并揭示超流体在低温下的普遍热力学行为。

Comments 5 pages, 2 figures. arXiv admin note: substantial text overlap with arXiv:2506.22683

Journal ref Phys. Rev. Lett. 136, 166001 (2026)

详情
AI中文摘要

Landau理论将低温下正常分量的流动与声子风联系起来。这一图景不适用于Galilean对称性被破坏的超流体,无论是由于杂质、多孔介质还是晶格势,声子风不再单独负责超流分量的耗尽。基于Popov的流体动力学作用量并加入非谐项,我们提出了低温下超流刚度依赖性的通用理论,当通过Galilean对称性固定流体动力学作用量的几个参数时,该理论可以恢复Landau的结果,并通过相互作用晶格玻色子的数值模拟加以验证。在更广泛的意义上,我们的方法揭示了具有内在连接的超流体在低温下的普遍热力学行为,即有限温度和有限尺寸效应分别表现出$T^{d+1}$和$1/L^{d+1}$的普遍缩放关系,适用于大量热力学量。我们讨论了这一定律的实验检测,并将我们的预测与现有文献进行比较。

英文摘要

Landau theory of superfluidity associates low-temperature flow of the normal component with the phonon wind. This picture does not apply to superfluids in which Galilean invariance is broken either by disorder, porous media, or lattice potential, and the phonon wind is no longer solely responsible for depletion of the superfluid component. Based on Popov's hydrodynamic action with anharmonic terms, we present a general theory for low-temperature ($T$) dependence of the superfluid stiffness, which reproduces Landau result as a special case when several parameters of the hydrodynamic action are fixed by Galilean invariance, and validate it with numerical simulations of interacting lattice bosons. In a broader context, our approach reveals universal low-temperature thermodynamics of superfluids with an intrinsic connection between finite-$T$ and finite-size ($L$) effects implying universal scaling, $T^{d+1}$ and $1/L^{d+1}$, respectively, for a large class of thermodynamic quantities. We discuss the experimental detection of this law, and compare our prediction to the existing literature.

2605.00272 2026-05-04 q-bio.QM

LNODE: latent dynamics reveal the shared spatiotemporal structure of amyloid-$β$ progression

LNODE:潜变量揭示阿尔茨海默病β淀粉样蛋白进展的共享时空结构

Zheyu Wen, George Biros

AI总结 LNODE模型通过PET影像校准,揭示阿尔茨海默病β淀粉样蛋白进展的时空结构,具备融合、定量分析和解释能力,展现高参数可识别性和稳定性。

Comments 38 pages, 13 figures

详情
AI中文摘要

我们介绍了LNODE,一种基于机制的表征模型,用于校准阿尔茨海默病β淀粉样蛋白(Aβ)的动力学。Aβ是阿尔茨海默病的关键生物标志物。LNODE旨在支持Aβ PET扫描的融合、和谐、定量分析和解释。我们在ADNI队列的1461名受试者和A4研究的1070名受试者上评估LNODE,使用MUSE和DKT解剖大体图谱。LNODE被建模为区域神经普通微分方程(ODE)模型,该模型在队列内所有可用扫描上联合校准。该模型捕捉了Aβ的空间传播、增殖和清除,并结合了一个潜变量表示,调节Aβ动力学。这些潜变量的时序演变由队列共享参数控制,使LNODE能够表示群体层面的轨迹和受试者特定的偏差。所提模型在合成实验和Hessian条件数分析中表现出强参数可识别性和稳定性。为减轻过拟合和减少虚假相关性,LNODE故意欠参数化,每个受试者使用约五到十个参数。尽管这种简化的参数化,LNODE在ADNI和A4数据集中均达到R²>0.99。LNODE表现出强大的预测性能:在A4队列中,它能准确预测之前未见过的随访扫描中的Aβ PET信号,包括间隔超过四年的病例。在学习的潜变量空间中聚类揭示出不同的亚组,与阿尔茨海默病进展的不同亚型的存在一致。

英文摘要

We introduce LNODE, a mechanism-based phenomenological model for amyloid beta (A$β$) dynamics, calibrated using positron emission tomography (PET) imaging. A$β$ is a key biomarker of Alzheimer's disease. LNODE is designed to support the fusion, harmonization, quantitative analysis, and interpretation of Abeta PET scans. We evaluate LNODE on 1461 subjects in the ADNI cohort and 1070 subjects in the A4 Study, using MUSE and DKT anatomical atlases. LNODE is formulated as a regional neural ordinary differential equation (ODE) model that is jointly calibrated on all available scans within a cohort. The model captures the spatial propagation, proliferation, and clearance of A$β$ and incorporates a latent-state representation that modulates A$β$ dynamics. The temporal evolution of these latent states is governed by cohort-shared parameters, enabling LNODE to represent both population-level trajectories and subject-specific deviations. The proposed model demonstrates strong parameter identifiability and stability properties, supported by synthetic experiments and analytical analysis of the Hessian condition number. To mitigate overfitting and reduce spurious correlations, LNODE is intentionally underparameterized, employing approximately five to ten parameters per subject. Despite this parsimonious parameterization, LNODE achieves $R^2 > 0.99$ in both the ADNI and A4 datasets. LNODE exhibits strong predictive performance: in the A4 cohort, it accurately forecasts the A$β$ PET signal in previously unseen follow-up scans, including cases with inter-scan intervals exceeding four years. Clustering in the learned latent-state space reveals distinct subgroups, consistent with the existence of different subtypes of Alzheimer's disease progression.

2605.00266 2026-05-04 math.LO

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen

算术中的统一一致性与哥德尔第二不完全性定理:一个童话

Harald Grobner

AI总结 本文探讨了足够强的可数理论中一致性的统一验证方法,通过选择器证明实现计算统一性,但无法内部化为哥德尔第二不完全性定理的统一一致性句子。

详情
AI中文摘要

在备受关注的工作中,Artemov 最近表明,对于 PA,一致性方案可以通过选择器证明实现统一验证,尽管对应的统一一致性句子 Con(PA) 无法被证明。在本文中,我们展示这种现象扩展到所有足够强的可数理论。对于此类理论 T,存在一个原始递归的选择器,能够产生所有相关一致性方案实例的证明。这产生了一种计算上的统一性,尽管它不能被内部化为哥德尔第二不完全性定理的统一一致性句子。我们分析这一差距,并将选择器证明置于更广泛的可证明性与反射框架中。

英文摘要

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence $\mathrm{Con}(\mathrm{PA})$. In this note, we show that this phenomenon extends to all sufficiently strong arithmetizable theories. For such theories $T$, there exists a primitive recursive selector producing proofs of all instances of the associated consistency schema. This yields a form of computational uniformity, despite the fact that it cannot be internalized as the uniform consistency sentence of Gödel's Second Incompleteness Theorem. We analyze this gap and locate selector proofs within the broader framework of provability and reflection.

2605.00263 2026-05-04 math.GT

Smoothing of singular intersections of ellipsoids: pyramitoid

椭球体奇异交点的光滑化:pyramitoid

Enrique Artal Bartolo, Santiago López de Medrano, María Teresa Lozano Imízcoz

AI总结 本文研究通过非简单直角柯西特多面体轨道的微覆盖获得的三维流形光滑化,提出n-pyramitoid概念以推广n-pyramid。

详情
AI中文摘要

本文旨在继续研究通过非简单直角柯西特多面体轨道的微覆盖获得的具有奇异性的三维流形的光滑化。这些出现在研究共轴椭球体交点的研究中。特别是我们引入了n-pyramitoid的概念,以推广n-pyramid。

英文摘要

The goal of this work is to continue the study the smoothings of 3-dimensional manifolds with singularities obtained as small covers of non simple right-angle Coxeter polyhedral orbifolds. They appear in the study of coaxial intersections of ellipsoids. In particular we introduce the concept of $n$-pyramitoid generalizing the $n$-pyramid.

2605.00262 2026-05-04 astro-ph.GA

Ultra-deep imaging of nearby dwarf irregular galaxies: stellar haloes and disk structure

近距离矮不规则星系的超深成像:恒星晕和盘结构

Deidre A. Hunter, Bruce G. Elmegreen

AI总结 研究通过超深V图像拟合椭圆,分析10个低恒星质量矮不规则星系的恒星结构,发现恒星形成活动分布影响光学等高线,并发现部分星系存在恒星晕证据,其可能源于内部演化而非外部吸积。

Comments Accepted for publication in AJ

详情
AI中文摘要

我们通过拟合超深V图像上的椭圆,研究了10个近距离、低恒星质量(10^6至6×10^7 Msolar)矮不规则星系的恒星结构。这些结果与远紫外图像相比,后者作为恒星形成的示踪剂。我们发现,矮星系中大块恒星形成活动的非对称分布,即使延伸到低盘面亮度水平,也会扭曲这些星系的宽带光学等高线。我们还寻找恒星晕存在的证据。在几个星系中,椭圆的不规则性提供了可能的线索,但七颗星系的叠加显示,到V面亮度32.3 mag/arcsec^2时,恒星面密度为0.0013±0.0011 Msolar/pc^2,呈现纯指数分布。扩展的恒星成分,很可能是盘结构,而非外部吸积所致。UBVI颜色的一致性表明,远外恒星盘的年龄为1-6 Gyr。

英文摘要

We have examined the stellar structure of 10 nearby, low stellar mass (10^6 to 6 x 10^7 Msolar) dwarf irregular galaxies by fitting ellipses as a function of surface brightness on ultra-deep V images. These are compared to far ultraviolet images as tracers of the star formation. We find that the often asymmetrical distribution of large patches of star formation activity in dwarfs, even out to low disk surface brightness levels, skews the broad-band optical isophotes in these galaxies. We also looked for evidence of the presence of a stellar halo. Possible hints of such are found in several galaxies from irregularities in the ellipses, but a stack of seven of the galaxies shows a pure exponential out to a V surface brightness of 32.3 mag/arcsec^2 where the stellar surface density is 0.0013 +/- 0.0011 Msolar/pc^2. The extended stellar component, most likely a disk structure, is probably due to internal evolutionary processes rather than external accretion. The UBVI colors of the annuli are consistent with ages of 1-6 Gyr for the far outer stellar disk.

2605.00258 2026-05-04 cs.IT cs.SY eess.SY math.IT

Joint Accuracy and Confidentiality in Semantic-Aware Secure Remote Reconstruction

语义感知安全远程重建中的精度与保密性

Bowen Li, Nikolaos Pappas

AI总结 本文研究无线网络中同时保证合法接收端精度和窃听者保密性的远程重建问题,提出保密重建精度(CRA)指标,通过三维稳态分析推导出长期平均CRA和最优传输概率的闭式表达式,揭示传统边际分析的局限性及非平凡行为。

详情
AI中文摘要

本文考虑无线网络中同时要求合法接收端精度和窃听者保密性的远程重建问题。这些目标通常被分别处理,尽管它们源自相同的更新过程且是联合重建事件的边缘。本文引入保密重建精度(CRA),作为衡量合法接收端正确重建而窃听者失败的联合事件的指标。在随机稳定策略下,我们开发了三维稳态分析,并推导出长期平均CRA和最优传输概率的闭式表达式。结果表明,传统边际分析可能错误识别最优策略并误估同时精度-保密性能。此外,结果揭示了非平凡行为:更频繁的传输或更好的合法信道不一定能提高联合准确和保密的重建,且当窃听信道较强时,仅改善合法信道可能不足。最后,该框架在地理围栏设置中诱导了空间安全边界以实现安全远程重建。

英文摘要

In this paper, we consider remote reconstruction over wireless networks when simultaneous accuracy at the legitimate receiver and confidentiality against eavesdropping are required. These two objectives are often treated separately, even though they arise from the same update process and are marginals of a joint reconstruction event. This paper introduces confidential reconstruction accuracy (CRA), a metric to capture the joint event in which the legitimate receiver reconstructs correctly while the eavesdropper fails. Under randomized stationary policies, we develop a three-dimensional stationary analysis and derive closed-form expressions for the long-term average CRA and the optimal transmission probability. The results show that conventional marginal analysis can misidentify the optimal policy and misestimate the achievable simultaneous accuracy-confidentiality performance. They also reveal nontrivial behaviors: more frequent transmissions or better legitimate channels do not necessarily improve joint accurate and confidential reconstruction, and when the eavesdropping channel is strong, improving the legitimate channel alone may be insufficient. Finally, the framework induces the spatial safety boundary in a geofencing setting for secure remote reconstruction.

2605.00249 2026-05-04 eess.SP

The Resurrection of Spectrum Spreading for 6G and Beyond: From Sinusoids to Chirps

频谱扩展的复兴:从正弦波到啁啾波

Hyeon Seok Rou, Giuseppe Thadeu Freitas de Abreu, Emil Björnson, Sunwoo Kim, Marios Kountouris

AI总结 针对未来6G及更高速率环境下的多普勒鲁棒性问题,本文探讨了从正弦波子载波向啁啾波子载波过渡的设计方向,提出通过时频平面能量分布提升抗多普勒性能的方法。

详情
AI中文摘要

正交频分复用(OFDM)及其静态正弦波子载波奠定了4G和5G时代,通过高效的多载波架构实现了高频谱效率和对多径衰落的鲁棒性。然而,随着未来系统向双散射环境发展,受高速移动应用和向毫米波/亚太赫兹波段迁移的驱动,OFDM背后的时间不变性假设变得越来越难以维持,多普勒引起的退化变得显著。虽然增强措施如MIMO、高级编码和调度提供了增量性的解决方案,但它们引入了额外的开销,因为正弦波子载波本身没有内在的波形层面的抗多普勒鲁棒性。因此,两种时频扩展哲学应运而生,通过在时频平面的两个维度上分布每个符号的能量来提高多普勒鲁棒性:(i)通过延迟-多普勒(DD)域进行的二维各向同性扩展,例如正交时频空(OTFS)家族;(ii)通过可参数化的啁啾波进行的倾斜扩展,例如仿射频分复用(AFDM)家族。在本文中,我们探讨了这些范式下的关键考虑因素,并认为从OFDM的正弦波子载波向基于啁啾波的子载波过渡是提高多普勒鲁棒性的可行设计方向,同时保留了大部分成熟的OFDM基础设施。这一观点也突显了基于啁啾波的波形在集成感知与通信(ISAC)中的适用性及其向新兴物理层技术的扩展性。总体而言,我们认为从正弦波到啁啾波的过渡是未来无线物理层设计在技术上具有说服力的、令人振奋的进化方向。

英文摘要

Orthogonal frequency-division multiplexing (OFDM) and its static sinusoidal subcarriers have underpinned the 4G and 5G eras, delivering high spectral efficiency and resilience to multipath fading through an efficient multicarrier architecture. However, as future systems move toward doubly dispersive environments driven by high-mobility applications and migration to mmWave/sub-THz bands, the time-invariance assumption underlying OFDM becomes increasingly difficult to maintain, and Doppler-induced degradation becomes prominent. While enhancements such as MIMO, advanced coding, and scheduling provide incremental remedies, they introduce additional overhead, because the sinusoidal subcarrier itself offers no inherent waveform-level robustness to Doppler impairments. Accordingly, two time-frequency spreading philosophies have emerged to improve Doppler resilience by distributing each symbol's energy across both dimensions of the time-frequency plane: (i) 2D isotropic spreading via the delay-Doppler (DD) domain, exemplified by the orthogonal time frequency space (OTFS) family, and (ii) sheared spreading via parameterizable chirps, exemplified by the affine frequency-division multiplexing (AFDM) family. In this article, we examine key considerations for future waveform design across these paradigms and argue that transitioning from the sinusoidal subcarriers of OFDM to the chirp-based subcarriers offers a viable design direction for improving Doppler robustness while retaining much of the mature OFDM infrastructure. This perspective also highlights the suitability of chirp-based waveforms for integrated sensing and communications (ISAC) and their extensibility to emerging physical-layer techniques. Overall, we argue that the transition from sinusoids to chirps is a technically motivated, compelling evolutionary direction for future wireless physical layer design.

2605.00246 2026-05-04 cs.NI quant-ph

Fidelity-Guaranteed Entanglement Routing with Distributed Purification Planning

具有分布式净化规划的保真度保障纠缠路由

Anthony Gatti, Anoosha Fayyaz, Prashant Krishnamurthy, Kaushik P. Seshadreesan, Amy Babay

AI总结 本文提出Q-GUARD算法,通过分布式协议在节点仅与k跳邻居交换链路状态信息的情况下,实现端到端贝尔对保真度要求。算法结合局部预期吞吐量指标,提升4跳路径合格成功率至85%以上。

Comments 11 pages, 6 figures. Submitted to IEEE QCE 2026

详情
AI中文摘要

许多量子网络应用需要端到端贝尔对保真度超过特定阈值,但现有纠缠路由算法要么只优化吞吐量,要么使用集中式控制器保证保真度。本文提出Q-GUARD算法,通过分布式协议模型在节点仅与k跳邻居交换链路状态信息的情况下,构建每条链路净化成本表,使用Werner态等分规则分配每跳保真度目标,并通过局部预期吞吐量指标选择候选路径段。此外,Q-GUARD-WS扩展利用链路硬件质量估计非均匀分配净化努力。在合成100节点拓扑中,Q-GUARD将4跳路径合格成功率从低于20%提升至超过85%,同时在欧几里得距离上几乎翻倍。Q-GUARD-WS在高硬件异质性下提供额外吞吐量增益。

英文摘要

Many quantum-network applications require end-to-end Bell pairs whose fidelity exceeds a request-specific threshold, but existing entanglement routing algorithms either optimize only throughput without regard for fidelity or enforce fidelity guarantees using centralized controllers with global link-state knowledge. We present Q-GUARD, an online entanglement routing algorithm that enforces per-request fidelity thresholds within a distributed protocol model in which nodes exchange link-state information only with their $k$-hop neighbors. After link outcomes are realized in each slot, Q-GUARD builds per-link purification cost tables from realized Bell pairs, allocates per-hop fidelity targets using a Werner-state equal-split rule, and selects between candidate path segments using a segment-local expected-goodput (EXG) metric that jointly accounts for swap success, purification overhead, and resource availability. We also introduce Q-GUARD-WS, an extension that exploits per-link hardware quality estimates to allocate purification effort non-uniformly across hops. On synthetic 100-node topologies with heterogeneous link fidelity and stochastic BBPSSW purification, Q-GUARD raises the qualified success rate from under 20\% to over 85\% on 4-hop paths and nearly doubles the qualified service radius in Euclidean distance relative to throughput-only and naive-purification baselines, while Q-GUARD-WS provides additional throughput gains under high hardware heterogeneity.

2605.00243 2026-05-04 physics.flu-dyn physics.ao-ph

Frequency spreading of internal wave energy by balanced flows in two dimensions

二维平衡流中内波能量频谱扩散

Nicholas DeFilippis, Oliver Bühler, K. Shafer Smith

AI总结 研究二维平衡流中内波能量频谱扩散机制,发现真实湍流流场中频谱扩散弱于合成流场,推导出频谱扩散时间尺度,揭示大气和海洋中宽带频谱的其他成因。

详情
AI中文摘要

惯性-重力波与平衡流的相互作用导致波动作用的频谱扩散。先前研究显示,在三维情形中这种扩散在常频面上较弱,但在二维情形中非稳态平衡流可产生显著扩散。本文通过数值模拟同时演算湍流准地转平衡流和传播的旋转浅水波包,发现真实湍流流场中波-均流相互作用引起的频谱扩散弱于合成流场。推导出频谱扩散时间尺度,显示真实背景流下的频谱扩散比合成流小一个数量级。缩小了二维和三维诱导扩散理论间的差异,表明大气和海洋中宽带频谱可能由其他机制导致。

英文摘要

Interactions between inertia-gravity waves and balanced flows lead to a spectral diffusion of wave action. Prior work has established that this diffusion is weak across constant frequency surfaces in three-dimensional settings, but can be significant in two dimensions with a non-stationary balanced flow. We investigate the two-dimensional setting through numerical simulations that simultaneously evolve a turbulent quasigeostrophic balanced flow and advect rotating shallow water wave packets. In contrast to earlier predictions based on the synthetic flows used by Dong et al. (J. Fluid Mech., 2020, vol. 905, R3), we find that frequency spreading from wave mean-flow interactions is weaker for realistic turbulent flows. We derive a timescale for frequency diffusion and show that frequency spreading with a realistic background flow is an order of magnitude smaller than with the synthetic flow. We narrow the discrepancy between the two- and three-dimensional induced diffusion theories, which suggests other mechanisms are responsible for the broadband frequency spectra seen in the atmosphere and ocean.

2605.00241 2026-05-04 quant-ph

Exploring the Geometric and Dynamical Properties of Spin Systems and Their Interplay with Quantum Entanglement

探索自旋系统的几何和动力学性质及其与量子纠缠的相互作用

Jamal Elfakir

AI总结 本文从几何和动力学角度探讨自旋系统的性质及其与量子纠缠的关系,分析了经典相空间、量子态的几何描述以及不同相互作用模型下的自旋系统动力学和几何结构。

Comments PhD Thesis

详情
AI中文摘要

本论文从几何和动力学角度探讨量子纠缠和演化的性质。第一部分关注经典相空间及其在哈密顿力学中的核心作用,强调辛结构在描述机械状态中的重要性。第二部分专注于通过希尔伯特空间的射影结构对量子态进行几何描述,强调量子演化的几何解释,特别是通过菲比尼-斯图迪度量、相关的辛结构以及单位元演化的几何相位。最后两部分研究了不同相互作用模型(XXZ Heisenberg 和所有范围 Ising)下的双体和多体自旋系统,分析了动态方面(演化进程、纠缠和量子最速降问题)以及相应量子态的几何和拓扑结构。

英文摘要

This thesis, explores the quantum entanglement and evolution through both a geometric and dynamical perspective. The first part focuses on classical phase space and its central role in Hamiltonian mechanics, emphasizing the importance of symplectic structures in describing mechanical states. The study highlights the formal analogy between classical phase space and the Hilbert space used in quantum mechanics. The second part is devoted to the geometric description of quantum states through the projective structure of Hilbert space. Emphasis is placed on the geometric interpretation of quantum evolution, particularly via the Fubini-Study metric, associated symplectic structures, and the geometric phase acquired during unitary evolutions. The final two parts are dedicated to the study of spin systems (both two-body and many-body) under different interaction models (XXZ Heisenberg and all-range Ising). Both the dynamical aspects (evolution speed, entanglement, and the quantum brachistochrone problem) and the geometric and topological structures of the corresponding quantum states are analyzed.