arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 2070
2506.00330 2026-06-11 physics.data-an cs.IT math.IT stat.ML 版本更新

Accurate Estimation of Mutual Information in High Dimensional Data

高维数据中互信息的准确估计

Eslam Abdelaleem, K. Michael Martini, Ilya Nemenman

AI总结 针对高维欠采样下互信息估计难题,提出基于低维潜在表示的神经估计器,结合统计一致性检验、偏差校正和置信区间,并引入VSIB概率批评器族,在合成与真实图像数据上实现可靠估计。

Comments 15 pages main text, 21 pages SI, 12 Figs overall

详情
AI中文摘要

互信息(MI)量化变量之间的统计依赖性,广泛应用于科学领域,但从有限数据中准确估计仍然非常困难。常见方法在现代实验典型的高维欠采样场景($N \lesssim K$)中失败,且没有公认的测试来检测基于神经网络的估计器何时失效,使其实际上无法作为科学仪器使用。我们证明,当统计依赖关系具有低维潜在表示时,神经MI估计器可以变得可靠。样本复杂度由潜在维度$K_Z \ll K$而非环境维度决定——我们通过随机矩阵理论从经验上确认并从理论上奠定了这一机制转变。基于这一见解,我们开发了一个实用协议,为神经估计器提供显式的统计一致性检查、偏差校正和置信区间。此外,我们引入了一类新的概率批评器(VSIB族),在标准估计器失效的高MI值下显著降低偏差和方差。我们在合成基准($K=500$,$N$低至256)、Czyz等人(2023)的标准40数据集基准套件、噪声MNIST($K=784$)以及使用ResNet-20骨干网络的CIFAR-10/100($K=3072$)上验证了该协议。我们的协议始终匹配或超越现有方法,同时是唯一报告置信区间并标记不可靠估计的方法,在真实图像上实现了远低于环境像素维度的可靠MI检测。

英文摘要

Mutual information (MI) quantifies statistical dependence between variables and is widely used across scientific disciplines, yet accurate estimation from finite data remains notoriously difficult. Common approaches fail in high-dimensional, undersampled regimes ($N \lesssim K$) typical of modern experiments, and no accepted tests exist to detect when neural network-based estimators fail, making them effectively unusable as scientific instruments. We show that neural MI estimators can be made reliable when the statistical dependencies admit a low-dimensional latent representation. Sample complexity is then governed by the latent dimensionality $K_Z \ll K$ rather than the ambient dimension -- a regime shift we confirm empirically and ground theoretically via random matrix theory. Building on this insight, we develop a practical protocol that provides neural estimators with explicit statistical consistency checks, bias correction, and confidence intervals. We additionally introduce a new class of probabilistic critics (the VSIB family) that substantially reduce bias and variance at higher MI values where standard estimators break down. We validate the protocol on synthetic benchmarks ($K=500$, $N$ as low as $256$), on the standard 40-dataset benchmark suite of Czyz et al. (2023), on noisy MNIST ($K=784$), and on CIFAR-10/100 ($K=3072$) with a ResNet-20 backbone. Our protocol consistently matches or exceeds existing methods while being the only approach to report confidence intervals and flag unreliable estimates, achieving reliable MI detection well below the ambient pixel dimension on real images.

2509.19167 2026-06-11 math.DG math.CV 版本更新

Heat kernel asymptotics and analytic torsion on non-degenerate CR manifolds

非退化CR流形上的热核渐近性与解析挠率

Chin-Yu Hsiao, Rung-Tzung Huang, Guokuan Shao

AI总结 本文解决了非退化CR流形上Kohn拉普拉斯热核的小时间渐近性问题,定义了解析挠率并研究了其对度量变化的依赖性,同时建立了$S^1$-等变情形的渐近性。

Comments 92 pages

详情
AI中文摘要

一般CR流形上Kohn拉普拉斯热核的小时间渐近性的存在性一直是一个开放问题。在本文中,我们解决了非退化情形下的这一问题。具体地,设$X$是维数为$2n+1$($n \ge 1$)的紧致可定向CR流形,具有常符号$(n_-, n_+)$的非退化Levi形式。假设在$X$的每一点条件$Y(q)$成立,我们建立了Kohn拉普拉斯热核的小时间渐近性。假设条件$Y(q)$不成立,我们建立了热算子与Szegő投影算子之差的内核的小时间渐近性。作为应用,我们定义了紧致可定向非退化CR流形上的解析挠率,并研究了其对度量变化的依赖性。设$L^k$是$X$上CR复线丛$L$的$k$次幂。在谱间隙条件的变体下,我们建立了取值于$L^k$的解析挠率当$k \to \infty$时的渐近性。此外,当$X$允许一个横截的CR $S^1$-作用时,我们建立了取值于$L^k$的Kohn拉普拉斯$S^1$-等变热核的小时间渐近性。作为应用,我们定义了取值于$L^k$的$S^1$-等变Quillen度量,并研究了其对度量变化的依赖性。最后,我们建立了取值于$L^k$的$S^1$-等变解析挠率当$k \to \infty$时的渐近性。

英文摘要

The existence of small-time asymptotics for the heat kernel of the Kohn Laplacian on a general CR manifold has remained an open problem. In this paper, we resolve the problem in the non-degenerate case. More precisely, let $X$ be a compact oriented CR manifold of dimension $2n+1$, $n \ge 1$, with a nondegenerate Levi form of constant signature $(n_-, n_+)$. Suppose that condition $Y(q)$ holds at each point of $X$, we establish the small-time asymptotics of the heat kernel of Kohn Laplacian. Suppose that condition $Y(q)$ fails, we establish the small-time asymptotics of the kernel of the difference of the heat operator and Szegő projector. As an application we define the analytic torsion on compact oriented nondegenerate CR manifolds and study its dependence on changes of the metrics. Let $L^k$ be the $k$-th power of a CR complex line bundle $L$ over $X$. We establish the asymptotics, as $k \to \infty$, of the analytic torsion with values in $L^k$, under a variant of spectral gap condition. Furthermore, when $X$ admits a transversal CR $S^1$-action, we establish the small-time asymptotics of the $S^1$-equivariant heat kernel of the Kohn Laplacian with values in $L^k$. As an application we define the $S^1$-equivariant Quillen metric with values in $L^k$ and study its dependence on changes of the metrics. Finally, we establish the asymptotics, as $k \to \infty$, of the $S^1$-equivariant analytic torsion with values in $L^k$.

2509.04691 2026-06-11 stat.AP 版本更新

Inferring Piece Value in Chess and Chess Variants

推断国际象棋及其变体中的棋子价值

Steven E. Pav

AI总结 使用逻辑回归从Lichess数据估计标准国际象棋及四种变体的棋子价值,发现主要棋子相对价值与历史估值一致,但象略高于马,且原子棋和反象棋中绝对值较小。

Comments 58 pages

详情
AI中文摘要

我们使用逻辑回归来估计标准国际象棋及几种变体(即Chess 960、原子棋、反象棋和部落棋)中棋子的价值。我们对来自免费开源互联网国际象棋服务器Lichess的多年数据进行回归分析。我们使用已发布的玩家等级分来控制不同玩家技能带来的混杂效应。我们调整了由于观测等级分噪声导致的回归衰减偏差。我们发现,主要棋子的价值相对于兵的价值,与历史估值体系相当一致。然而,我们发现象的价值略高于马。我们发现,在原子棋和反象棋中,棋子的绝对值比标准国际象棋小。我们还给出了当不同技能水平的玩家对战时,使棋局平衡的近似棋子价值。我们简要考虑了使用Stockfish引擎进行自我对弈实验,这提供了关于棋子价值的对比视角。

英文摘要

We use logistic regression to estimate the value of the pieces in standard chess and several chess variants, namely Chess 960, Atomic chess, Antichess, and Horde chess. We perform our regressions on several years of data from Lichess, the free and open-source internet chess server. We use the published player ratings to control for the confounding effect of differential player skill. We adjust for the attenuation bias in regressions due to the noise in observed ratings. We find that major piece values, relative to the value of a pawn, are fairly consistent with historical valuation systems. However we find slightly higher value to bishops than knights. We find that piece values are smaller, in absolute value, in Atomic and Antichess than standard chess. We also present approximate values of the pieces to equalize odds when players of varying skill face off. We briefly consider self-play experiments using the Stockfish engine, which give a contrasting view of piece value.

2504.21785 2026-06-11 math.NA cs.NA 版本更新

Frozen Gaussian Grid-point Correction For Semi-classical Schrödinger Equation

冻结高斯网格点校正用于半经典薛定谔方程

Lihui Chai, Zili Deng

AI总结 提出冻结高斯网格点校正(FGGC)算法,通过最小二乘逼近将高斯波包重构到网格点,显著提升半经典薛定谔方程求解效率,且误差与半经典参数无关。

详情
AI中文摘要

我们提出了一种高效的算法,称为冻结高斯网格点校正(FGGC),用于使用冻结高斯近似(FGA)计算半经典区域中的薛定谔方程。FGA在处理半经典问题和高频波传播方面已显示出其优越的效率。然而,从大量高斯波包重构波函数通常计算量很大。这一困难源于这些波包沿着FGA轨迹传播到非网格位置,使得快速傅里叶变换的应用不可行。在这项工作中,我们引入了“网格校正”的概念,推导了高斯波包的最小二乘逼近公式,并提供了FGGC算法的详细过程。此外,我们严格证明了每个高斯波包上最小二乘逼近引入的误差与半经典参数$\varepsilon$无关。数值实验表明,FGGC算法能够显著提高重构效率,同时仅引入可忽略的误差,使其成为求解半经典薛定谔方程的有力工具,特别是在需要同时保证精度和效率的应用中。

英文摘要

We propose an efficient reconstruction algorithm named the frozen Gaussian grid-point correction (FGGC) for computing the Schrödinger equation in the semi-classical regime using the frozen Gaussian approximation (FGA). The FGA has demonstrated its superior efficiency in dealing with semi-classical problems and high-frequency wave propagations. However, reconstructing the wave function from a large number of Gaussian wave-packets is typically computationally intensive. This difficulty arises because these wave-packets propagate along the FGA trajectories to non-grid positions, making the application of the fast Fourier transform infeasible. In this work, we introduce the concept of ``on-grid correction'' and derive the formulas for the least squares approximation of Gaussian wave-packets, and also provide a detailed process of the FGGC algorithm. Furthermore, we rigorously prove that the error introduced by the least squares approximation on each Gaussian wave-packet is independent of the semi-classical parameter $\varepsilon$. Numerical experiments show that the FGGC algorithm can significantly improve reconstruction efficiency while introducing only negligible error, making it a powerful tool for solving the semi-classical Schrödinger equation, especially in applications requiring both accuracy and efficiency.

2509.19887 2026-06-11 quant-ph cs.NA math.NA 版本更新

Dynamically Optimal Unraveling Schemes for Simulating Lindblad Equations

模拟Lindblad方程的动态最优解缠方案

Yu Cao, Mingfeng He, Xiantao Li

AI总结 研究随机解缠方案模拟Lindblad方程的最优性,提出动态最优量子态扩散(DO-QSD)和动态最优量子跳跃过程(DO-QJP),DO-QSD在方差和表达简洁性上优于跳跃过程,数值实验显示可显著降低可观测量方差和模拟误差。

详情
Journal ref
J. Phys. A: Math. Theor. (2026)
AI中文摘要

随机解缠方案是模拟Lindblad方程的强大计算工具,能显著降低内存需求。然而,这一优势伴随着随机不确定性的增加,且最优解缠问题仍未解决。本文研究了由布朗运动或泊松过程驱动的解缠方案,并给出了这些方法的全面参数化描述。对于单个Lindblad算子和一个噪声项的情况,该参数族提供了具有路径范数保持的解缠方案的完整描述。我们进一步解析推导了动态最优量子态扩散(DO-QSD)和动态最优量子跳跃过程(DO-QJP),它们在局部时间上最小化可观测量方差的增长率。与跳跃过程假设相比,DO-QSD具有两个显著优势:首先,可以严格证明DO-QSD的方差在局部时间上不超过任何跳跃过程假设的方差;其次,其表达式非常简单。数值结果表明,所提出的DO-QSD方案可以显著降低可观测量方差和由此产生的模拟误差。

英文摘要

Stochastic unraveling schemes are powerful computational tools for simulating Lindblad equations, offering significant reductions in memory requirements. However, this advantage is accompanied by increased stochastic uncertainty, and the question of optimal unraveling remains open. In this work, we investigate unraveling schemes driven by Brownian motion or Poisson processes and present a comprehensive parametric characterization of these approaches. For the case of a single Lindblad operator and one noise term, this parametric family provides a complete description for unraveling scheme with pathwise norm-preservation. We further analytically derive dynamically optimal quantum state diffusion (DO-QSD) and dynamically optimal quantum jump process (DO-QJP) that minimize the growth rate of the variance of an observable locally in time. Compared to jump process ansatz, DO-QSD offers two notable advantages: firstly, the variance for DO-QSD can be rigorously shown not to exceed that of any jump-process ansatz locally in time; secondly, it has very simple expressions. Numerical results demonstrate that the proposed DO-QSD scheme may achieve substantial reductions in the variance of observables and the resulting simulation error.

2509.19011 2026-06-11 math.CO math.AC math.AG 版本更新

Addition theorems for Ziegler pairs of hyperplane arrangements

超平面配置的Ziegler对的加法定理

Takuro Abe, Lukas Kühne, Piotr Pokora

AI总结 受Terao自由性猜想启发,本文通过加法定理从复射影平面上的例子构造出任意维数和大小的Ziegler对,即具有相同底层拟阵但不同对数导子模的超平面配置对。

Comments 15 pages, Version 2.0, comments are welcome

详情
AI中文摘要

受Terao自由性猜想的启发,我们研究了Ziegler对,即具有相同底层拟阵但不同对数导子模的超平面配置对。在本文中,我们提出了一种一般构造方法,从复射影平面上的例子出发,得到了首批在任意维数和大小上已知的Ziegler对族。

英文摘要

Inspired by Terao's freeness conjecture, we examine Ziegler pairs, which are pairs of hyperplane arrangements that share the same underlying matroid but have different modules of logarithmic derivations. In this paper, we present a general construction that yields the first known families of Ziegler pairs in arbitrary dimension and size, starting from examples in the complex projective plane.

2403.16673 2026-06-11 stat.ME econ.EM 版本更新

Quasi-randomization tests for network interference: a random graph approach

网络干扰的准随机化检验:一种随机图方法

Supriya Tiwari, Pallavi Basu

AI总结 提出将网络视为随机变量,利用随机图零模型构建无溢出效应的零分布,克服了现有条件随机化检验的计算难题,在有限样本下精确有效,显著提升检验功效。

详情
AI中文摘要

当一个单元的处理状态影响其他单元的潜在结果时,就会产生网络干扰,导致难以检验的溢出效应。我们提出将网络视为随机变量而非固定量来应对这一挑战。这克服了原假设下潜在结果不可插补的关键难题,并避免了现有条件随机化检验的计算复杂性。我们的准随机化检验利用随机图零模型构建无溢出效应的零分布,在网络生成过程的温和假设下,在有限样本中精确有效,并且比现有方法(尤其是在整群随机试验中)提供显著更高的检验功效。我们通过模拟验证了该方法,并通过在中国农村的一项天气保险采纳实验中检验干扰效应进行了说明。

英文摘要

Network interference occurs when the treatment status of one unit affects the potential outcomes of other units, giving rise to spillover effects that are difficult to test for. We propose treating the network as a random variable rather than a fixed quantity to address this challenge. This overcomes a key challenge of non-imputability of potential outcomes under the null and avoids the computational intractability of existing conditional randomization tests. Our quasi-randomization test builds the null distribution of no spillover effects using random graph null models, is exactly valid in finite samples under mild assumptions on the network-generating process, and offers substantially improved power over existing methods, particularly in cluster-randomized trials. We validate our approach via simulation and illustrate it by testing for interference in a weather insurance adoption experiment in rural China.

2509.10947 2026-06-11 astro-ph.EP 版本更新

Hydrocarbon Hazes on Temperate sub-Neptune K2-18b supported by data from the James Webb Space Telescope

詹姆斯·韦伯太空望远镜数据支持温带亚海王星K2-18b上的碳氢化合物雾霾

Ruohan Liu, Panayotis Lavvas, Giovanna Tinetti, Jesus Maldonado, Sushuang Ma, Arianna Saba

AI总结 利用自由化学贝叶斯反演,研究碳氢化合物雾霾能否解释JWST不同仪器间光谱特征振幅的不匹配,发现雾霾模型可再现联合光谱,并揭示行星质量、温度与平均分子量间的强简并性。

Comments Accepted for publication in The Astronomical Journal; 39 pages, 18 figures, and 12 tables

详情
AI中文摘要

K2-18b是一颗围绕M矮星宜居轨道运行的亚海王星,哈勃太空望远镜(HST)和最近的詹姆斯·韦伯太空望远镜(JWST)观测显示其在近红外和中红外存在可探测的大气特征,引起了广泛关注。利用自由化学贝叶斯反演,我们研究了碳氢化合物雾霾能否解释JWST NIRISS/NIRSpec与MIRI LRS数据集之间光谱特征振幅的明显不匹配。我们还评估了恒星参数不确定性对行星整体性质推导的影响,并探讨了行星质量不确定性如何影响大气反演。我们发现,雾霾场景可以再现联合JWST光谱,并为NIRISS/NIRSpec特征振幅相对于更强的MIRI特征减小提供一致的解释。在所有反演中,大气仍与H$_2$主导的亚海王星一致,CH$_4$和CO$_2$是主要吸收体。与无雾霾模型相比,我们的雾霾模型反演出的分子丰度系统性地更低,反映了雾霾不透明度与平均分子量之间的简并性。此外,我们识别出行星质量、温度和平均分子量之间的强简并性。反演出的行星质量尤其难以约束,$2\sigma$不确定性高达约71\\%。我们证明,不同的质量假设会显著偏差推断的大气性质,更高的质量倾向于更温暖、平均分子量更低的大气。打破这些简并性需要改进恒星表征以获得更精确的质量测量。更多的实验室研究和未来的JWST观测对于解释这些温带亚海王星大气至关重要。

英文摘要

K2-18b, a sub-Neptune orbiting in the habitable zone of an M dwarf, has attracted significant interest following observations with the Hubble Space Telescope (HST) and, more recently, with the James Webb Space Telescope (JWST), which reveal detectable atmospheric features across the near- and mid-infrared. Using free-chemistry Bayesian retrievals, we investigate whether hydrocarbon hazes can explain the apparent mismatch of spectral feature amplitudes between the JWST NIRISS/NIRSpec and MIRI LRS datasets. We additionally assess the impact of stellar parameter uncertainties on the derived bulk properties of the planet and explore how planetary mass uncertainties affect atmospheric retrievals. We find that hazy scenarios can reproduce the combined JWST spectrum and provide a consistent explanation for the reduced NIRISS/NIRSpec feature amplitudes relative to the stronger MIRI features. Across all retrievals, the atmosphere remains consistent with an H$_2$-dominated sub-Neptune, with CH$_4$ and CO$_2$ as the dominant absorbers. Our hazy models retrieve systematically lower molecular abundances compared to haze-free models, reflecting the degeneracy between haze opacity and mean molecular weight. In addition, we identify strong degeneracies between planetary mass, temperature, and mean molecular weight. The retrieved planetary mass is particularly poorly constrained, with $2σ$ uncertainties reaching up to $\sim71\%$. We demonstrate that different mass assumptions can significantly bias the inferred atmospheric properties, with higher masses favouring warmer and lower mean molecular weight atmospheres. Breaking these degeneracies will require improved stellar characterisation to obtain more precise mass measurements. More laboratory-focused studies and future JWST observations are essential for interpreting these temperate sub-Neptune atmospheres.

2505.21332 2026-06-11 math.DG gr-qc math-ph math.MP 版本更新

Carrollian $\mathbb{R}^\times$-bundles: Connections and Beyond

Carrollian $\mathbb{R}^\times$-丛:联络与超越

Andrew James Bruce

AI总结 本文提出利用主$\mathbb{R}^\times$-丛研究Carrollian几何,通过选取主联络构造非退化度量,并分析Levi-Civita联络和零测地线。

Comments 18 pages

详情
Journal ref
Class. Quantum Grav 2025
AI中文摘要

我们提出了一种使用主$\mathbb{R}^\times$-丛($\mathbb{R}^\times:= \mathbb{R} \setminus \{0\}$)来研究Carrollian几何的方法,该丛配备了一个退化度量,其核为垂直向量场模。该构造允许非平凡丛,并且一大类Carrollian流形可以用此形式分析。一个关键结果是,一旦选定了一个主联络,就存在一个规范的非退化度量,可以用来规避与退化度量相关的困难。在此框架内,我们研究了Levi-Civita联络和零测地线。

英文摘要

We propose an approach to Carrollian geometry using principal $\mathbb{R}^\times$-bundles ($\mathbb{R}^\times := \matthbb{R} \setminus \{0\}$) equipped with a degenerate metric whose kernel is the module of vertical vector fields. The constructions allow for non-trivial bundles, and a large class of Carrollian manifolds can be analysed in this formalism. A key result in this is that once a principal connection has been selected, there is a canonical non-degenerate metric that can be leveraged to circumvent the difficulties associated with a degenerate metric. Within this framework, we examine the Levi-Civita connection and null geodesics.

2509.12752 2026-06-11 cs.HC 版本更新

Participatory AI: A Scandinavian Approach to Human-Centered AI

参与式人工智能:以人为本的人工智能的斯堪的纳维亚方法

Niklas Elmqvist, Eve Hoggan, Hans-Jörg Schulz, Marianne Graves Petersen, Peter Dalsgaard, Ira Assent, Olav W. Bertelsen, Akhil Arora, Kaj Grønbæk, Susanne Bødker, Clemens Nylandsted Klokmose, Rachel Charlotte Smith, Sebastian Hubenschmid, Christoph A. Johns, Gabriela Molina León, Anton Wolter, Johannes Ellemose, Vaishali Dhanoa, Simon Aagaard Enni, Mille Skovhus Lunding, Karl-Emil Kjær Bilstrup, Juan Sánchez Esquivel, Luke Connelly, Rafael Pablos Sarabia, Morten Birk, Joachim Nyborg, Stefanie Zollmann, Tobias Langlotz, Meredith Siang-Yun Chou, Jens Emil Sloth Grønbæk, Michael Wessely, Yijing Jiang, Caroline Berger, Duosi Dai, Michael Mose Biskjaer, Germán Leiva, Jonas Frich, Eva Eriksson, Kim Halskov, Thorbjørn Mikkelsen, Nearchos Potamitis, Michel Yildirim, Arvind Srinivasan, Jeanette Falk, Nanna Inie, Ole Sejer Iversen, Hugo Andersson, Midas Nouwens

AI总结 针对当前AI不透明、集中化、过于通用的问题,借鉴斯堪的纳维亚参与式设计传统,提出参与式AI方法,将五个PD原则应用于算法自动化的四个设计挑战,以增强人类能动性和民主价值。

Comments 40 pages, 7 figures, 3 tables

详情
AI中文摘要

人工智能对工作、教育和日常生活的变革性影响使其既是技术产物,也是政治产物。当前的AI模型不透明、集中化且过于通用。它们提供的算法自动化在工作场所和日常生活中威胁到人类能动性和民主价值观。为了应对这些挑战,我们转向斯堪的纳维亚参与式设计(PD),该方法于20世纪70年代为应对机械自动化的类似威胁而设计。在PD传统中,技术不仅被视为一种产物,更是民主的场所。借鉴这一传统,我们提出参与式AI作为以人为本的人工智能的PD方法,将五个PD原则应用于算法自动化的四个设计挑战。我们通过具体案例研究说明如何将AI模型视为共享的社会技术系统,而非专有产品,从而增强而非削弱人类能动性、人类尊严和人类价值观。

英文摘要

AI's transformative impact on work, education, and everyday life makes it as much a political artifact as a technological one. Current AI models are opaque, centralized, and overly generic. The algorithmic automation they provide threatens human agency and democratic values in both workplaces and daily life. To confront such challenges, we turn to Scandinavian Participatory Design (PD), which was devised in the 1970s to face a similar threat from mechanical automation. In the PD tradition, technology is seen not just as an artifact, but as a locus of democracy. Drawing from this tradition, we propose Participatory AI as a PD approach to human-centered AI that applies five PD principles to four design challenges for algorithmic automation. We use concrete case studies to illustrate how to treat AI models less as proprietary products and more as shared socio-technical systems that enhance rather than diminish human agency, human dignity, and human values.

2509.11518 2026-06-11 gr-qc astro-ph.HE 版本更新

Charged particle dynamics in magnetosphere generated by current loop around Schwarzschild black hole

施瓦西黑洞周围电流环产生磁层中的带电粒子动力学

Martin Kološ, David Kofroň

AI总结 研究施瓦西黑洞赤道面环形电流产生的磁场中带电粒子的动力学,通过解析和数值方法分类吸引与排斥洛伦兹力构型,发现粒子积累形成类似辐射带的环形结构,并指出广义相对论效应如最内稳定圆轨道对辐射带形成的限制。

Comments Code in Mathematica generating figures for this article: https://github.com/XyhwX/articles_codes

详情
Journal ref
Phys. Rev. D 113, 064056 (2026)
AI中文摘要

我们基于带电粒子动力学,对位于非旋转施瓦西黑洞赤道面内的环形电流环产生的磁场进行了理论研究。利用磁场的精确广义相对论解,我们通过解析和数值方法分析了粒子运动,识别出稳定和不稳定轨道的区域。特别地,我们将带电粒子动力学分为吸引和排斥洛伦兹力构型,并表明在吸引情况下,带电粒子可以在电流环附近积累,形成与原始电流环磁场相反的集体电流。我们证明了带电粒子的积累可以导致在BH磁层中形成类似于辐射带的环形结构。我们将弯曲时空解与平直时空类比进行了比较,并强调了广义相对论效应,例如带电粒子的最内稳定圆轨道的存在,这为辐射带的形成设定了下界。解决了理想化无限小环模型中环位置处矢量势的发散问题,并论证了物理上现实的模型必须考虑有限宽度的电流分布,以避免有效势中的非物理发散。

英文摘要

We present a theoretical study of the magnetic field generated by a toroidal current loop situated in the equatorial plane of a non-rotating Schwarzschild black hole, based on the dynamics of charged particles. Using the exact general relativistic solution for the magnetic field, we analyze particle motion both analytically and numerically, identifying regions of stable and unstable orbits. In particular, we classify charged particle dynamics into attractive and repulsive Lorentz force configurations and show that in the attractive case, charged particles can accumulate near the current loop, forming collective currents that oppose the original current loop magnetic field. We demonstrate that charged particle accumulation can lead to the formation of toroidal structures analogous to radiation belts in the BH magnetosphere. We compare the curved spacetime solution to flat spacetime analogs and highlight general relativistic effects such as the existence of the innermost stable circular orbit for charged particles, which sets a lower bound for radiation belt formation. The divergence of the vector potential at the loop location in the idealized infinitesimal loop model is addressed, and we argue that a physically realistic model must consider a finite-width current distribution to avoid unphysical divergences in the effective potential.

2509.10817 2026-06-11 math.ST stat.ME stat.TH 版本更新

Conditional Independence Testing Using Exchangeable Pairs

使用可交换对的条件独立性检验

Bilol Banerjee

AI总结 提出基于可交换对的条件独立性检验方法,将问题转化为两样本检验,利用能量距离度量偏离,并证明其一致性和最优检测率。

详情
AI中文摘要

本文考虑在给定混杂随机向量 \(\m Z\) 的情况下,检验两个随机向量 \(\m X\) 和 \(\m Y\) 之间的条件独立性问题。引入了一个可交换对框架,通过该框架将条件独立性检验问题重新表述为两样本检验问题。该框架受模型X文献思想的启发,基于在原假设条件独立性下成立的基本可交换性性质。采用能量距离/最大均值差异类型的度量来衡量可交换对与条件独立性的偏离。构建了所提出的差异度量的一致估计量,并在一般假设下建立了其理论性质。然后,使用该估计量作为检验统计量开发了条件独立性检验,并通过适当的重采样程序进行校准。结果表明,所提出的检验对固定备择假设是一致的,对局部邻接备择假设具有非平凡的渐近功效,达到了检测由所提出的差异度量表征的备择假设的极小化最优分离率,并且在数据维度随样本量发散时仍然一致。还研究了用于生成可交换对的条件分布估计的影响,并建立了保持有效性和功效性质的条件。广泛的模拟研究表明,所提出的方法在与一些最先进的方法相比具有竞争力。

英文摘要

This article considers the problem of testing conditional independence between two random vectors \(bm X\) and \(\bm Y\) given a confounding random vector \(\bm Z\). An exchangeable-pairs framework is introduced through which the conditional independence testing problem is reformulated as a two-sample testing problem. The framework is motivated by ideas from the model-X literature and is based on a fundamental exchangeability property that holds under the null hypothesis of conditional independence. An energy-distance/maximum mean discrepancy type measure is employed on the resulting exchangeable pairs to quantify departures from conditional independence. A consistent estimator of the proposed discrepancy measure is constructed and its theoretical properties are established under general assumptions. A conditional independence test is then developed using this estimator as a test statistic and is calibrated through a suitable resampling procedure. It is shown that the proposed test is consistent against fixed alternatives, possesses nontrivial asymptotic power against local contiguous alternatives, attains the minimax separation rate for detecting alternatives characterized by the proposed discrepancy measure, and remains consistent when the data dimension diverges with the sample size. The effect of estimating the conditional distribution used to generate the exchangeable pairs is also investigated, and condition under which validity and power properties are preserved is established. Extensive simulation studies demonstrate that the proposed procedure performs competitively with some state-of-the-art methods.

2509.09035 2026-06-11 math.CO math.MG 版本更新

Asymptotic structure. III. Excluding a fat tree

渐近结构. III. 排除肥树

Tung Nguyen, Alex Scott, Paul Seymour

AI总结 本文证明了粗图论版本的Robertson-Seymour定理:对于每个有限树H和每个c,存在k,L,C使得不含H作为c-肥子式的图可以(L,C)-拟等距到线宽至多为k的图;反之亦然。

Comments v3: 41 pages, major revision

详情
AI中文摘要

Robertson 和 Seymour 证明了对于每个有限树 $H$,存在 $k$ 使得每个不含 $H$ 子式的有限图 $G$ 的路径宽度至多为 $k$;反之,对于每个整数 $k$,存在一个有限树 $H$ 使得每个含有 $H$ 子式的有限图 $G$ 的路径宽度大于 $k$。如果我们(两次)将“路径宽度”替换为“线宽”,则对于无限图 $G$ 同样成立。我们证明了一个“粗图论”类比,如下所述。对于每个有限树 $H$ 和每个 $c$,存在 $k, L, C$ 使得每个不含 $H$ 作为 $c$-肥子式的图都允许一个到线宽至多为 $k$ 的图的 $(L, C)$-拟等距;反之,对于所有 $k, L, C$,存在 $c$ 和一个有限树 $H$ 使得每个含有 $H$ 作为 $c$-肥子式的图都不允许到线宽至多为 $k$ 的图的 $(L, C)$-拟等距。

英文摘要

Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$. We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c$, there exist $k,L,C$ such that every graph that does not contain $H$ as a $c$-fat minor admits an $(L,C)$-quasi-isonetry to a graph with line-width at most $k$; and conversely, for all $k,L,C$ there exist $c$ and a finite tree $H$ such that every graph that contains $H$ as a $c$-fat minor admits no $(L,C)$-quasi-isometry to a graph with line-width at most $k$.

2509.10430 2026-06-11 quant-ph 版本更新

Global vs. Local Discrimination of Locally Implementable Multipartite Unitaries

局部可执行多体酉算子的全局与局部区分

Satyaki Manna, Sneha Suresh, Anandamay Das Bhowmik, Debashis Saha

AI总结 研究在LOCC和全局操作下单次区分局部可执行多体酉算子的能力,发现三类反直觉现象,揭示了酉算子区分的结构限制。

详情
Journal ref
Phys. Rev. A 113, 062209 (2026)
AI中文摘要

我们研究在局部操作和经典通信(LOCC)以及全局操作下,局部可执行多体酉算子的单次区分性。由于酉算子区分依赖于探测态的选择和对演化态的测量,我们将LOCC和全局区分性分为两类:自适应策略(根据其他子系统的测量结果选择探测态)和受限策略(探测态保持固定)。我们的发现在双体设置中揭示了三个令人惊讶的特征,并建立了酉算子区分的新结构限制:(i)某些酉算子对在受限策略下是全局可区分的,但在LOCC下不可区分,即使使用自适应策略也不行。(ii)存在四个酉算子的集合,它们通过LOCC可区分,但在受限策略下全局不可区分。(iii)某些酉算子集合在使用可分离态探测时,在自适应策略下全局不可区分,但通过LOCC变得可区分。

英文摘要

We study single-shot distinguishability of locally implementable multipartite unitaries under Local Operations and Classical Communication (LOCC) and global operations. As unitary discrimination depends on both the choice of probing states and the measurements on the evolved states, we classify LOCC and global distinguishability into two categories: adaptive strategies, where probing states are chosen based on measurement outcomes from other subsystems, and restricted strategies, where probing states remain fixed. Our findings uncover three surprising features in the bipartite setting and establish new structural limits for unitary discrimination: (i) Certain pairs of unitaries are globally distinguishable with restricted strategies but indistinguishable under LOCC, even with adaptive strategies. (ii) There exist sets of four unitaries that are distinguishable via LOCC, yet remain globally indistinguishable with restricted strategies. (iii) Some sets of unitaries are globally indistinguishable under adaptive strategies, when probed with separable states, but become distinguishable via LOCC.

2504.13398 2026-06-11 cs.CR 版本更新

Insecurity Through Obscurity: Veiled Vulnerabilities in Closed-Source Contracts

通过混淆带来的不安全:闭源合约中隐藏的漏洞

Sen Yang, Kaihua Qin, Aviv Yaish, Fan Zhang

AI总结 提出SKANF工具,结合控制流去混淆和基于历史交易的符号执行,分析闭源混淆合约中的资产漏洞,在MEV机器人中检测到1030个漏洞并成功利用394个,潜在损失1060万美元。

Comments Published in ACM CCS 2026

详情
AI中文摘要

大多数区块链无法隐藏其上运行的程序(即智能合约)的二进制代码。为了隐藏专有业务逻辑并可能阻止攻击,许多智能合约是闭源的,并且在许多情况下表现出代码混淆,无论是为了隐藏内部逻辑而有意引入,还是由优化无意产生。然而,我们证明这种混淆可能掩盖关键漏洞,而不是增强安全性,这种现象称为通过混淆带来的不安全。为了大规模系统地分析这些风险,我们提出了SKANF,一种针对闭源和混淆合约的新型EVM字节码分析工具。SKANF结合了控制流去混淆、基于历史交易的符号执行,以识别和利用资产管理漏洞。我们在真实世界的最大可提取价值(MEV)机器人上的评估显示,SKANF在1030个合约中检测到漏洞,并成功为其中394个生成利用,潜在损失为1060万美元。此外,我们发现了104个真实世界的MEV机器人攻击,这些攻击总共造成了276万美元的损失。

英文摘要

Most blockchains cannot hide the binary code of programs (i.e., smart contracts) running on them. To conceal proprietary business logic and to potentially deter attacks, many smart contracts are closed-source and in many cases exhibit code obfuscation, either intentionally introduced to hide internal logic or unintentionally produced by optimizations. However, we demonstrate that such obfuscation can obscure critical vulnerabilities rather than enhance security, a phenomenon known as insecurity through obscurity. To systematically analyze these risks on a large scale, we present SKANF, a novel EVM bytecode analysis tool tailored for closed-source and obfuscated contracts. SKANF combines control-flow deobfuscation, symbolic execution based on historical transactions to identify and exploit asset management vulnerabilities. Our evaluation on real-world Maximal Extractable Value (MEV) bots reveals that SKANF detects vulnerabilities in 1,030 contracts and successfully generates exploits for 394 of them, with potential losses of \$10.6M. Additionally, we uncover 104 real-world MEV bot attacks that collectively resulted in \$2.76M in losses.

2509.01459 2026-06-11 eess.SY cs.SE cs.SY 版本更新

Semantic Technologies in Practical Demand Response: An Informational Requirement-based Roadmap

实际需求响应中的语义技术:基于信息需求的路标图

Ozan Baris Mulayim, Anand Krishnan Prakash, Yuvraj Agarwal, Mario Bergés, Marco Pritoni, Derek Supple, Steve Schaefer, Mitali Shah

AI总结 本文针对商业建筑激励型需求响应,通过形式化本体评估方法定义信息需求,评估现有本体(Brick、DELTA、EFOnt、CIM)的不足,并提出扩展与整合路标图以增强语义互操作性。

Comments Accepted at ACM eEnergy 2026. Not yet published/

详情
AI中文摘要

向现代高效未来电网的转型依赖于分布式能源资源和需求响应(DR)等应用的无缝协调。虽然这种转变带来了更大的灵活性,但也增加了电网的复杂性和去中心化程度,需要有效协调数百万硬件资产和软件代理。实现这一愿景需要互操作性方面的进步,以确保这些异构系统能够在不产生过高定制成本的情况下进行通信。语义互操作性旨在通过利用本体来保证交换数据的无歧义解释。然而,当前商业建筑和DR领域的本体面临两个关键限制。首先,现有本体通常在没有反映实际DR需求的正式框架下开发。其次,通用本体与DR专用本体的集成方案大多停留在概念层面,缺乏形式化或实证验证。在本文中,我们开始通过应用形式化本体评估/开发方法来定义语义互操作性所需的信息需求(IRs),以美国商业建筑中基于激励的DR项目为起点,来填补这些空白。我们识别了与基于激励的DR每个阶段相关的IRs。利用这些IRs,我们评估了现有本体(特别是Brick、DELTA、EFOnt和CIM)对DR参与操作需求的支持程度。我们的发现揭示了当前本体与实际DR需求之间的显著差距,并提出了这些本体必要扩展和整合的路标图。这项工作最终旨在增强当今和未来智能电网的互操作性,从而促进DR系统可扩展地集成到电网复杂的运行框架中。

英文摘要

The transition to a modern and efficient future grid relies on the seamless coordination of distributed energy resources and applications such as Demand Response (DR). While this transformation enables greater flexibility, it increases grid complexity and decentralization, requiring the effective coordination of millions of hardware assets and software agents. Realizing this vision demands advances in interoperability to ensure these heterogeneous systems can communicate without prohibitive customization costs. Semantic interoperability aims to address this by leveraging ontologies to guarantee the unambiguous interpretation of exchanged data. However, current ontologies in the commercial building and DR domains face two critical limitations. First, existing ontologies are often developed without a formal framework that reflects real-world DR requirements. Second, proposals for integrating general and DR-specific ontologies remain mostly conceptual, lacking formalization or empirical validation. In this paper, we begin to address these gaps by applying a formal ontology evaluation/development approach to define the information requirements (IRs) necessary for semantic interoperability, focusing on incentive-based DR programs for commercial buildings in the United States as a starting point. We identify the IRs associated with each stage of the incentive-based DR. Using these IRs, we evaluate how well existing ontologies, specifically Brick, DELTA, EFOnt, and CIM support the operational needs of DR participation. Our findings reveal substantial gaps between current ontologies and practical DR requirements and we propose a roadmap of necessary extensions and integrations for these ontologies. This work ultimately aims to enhance the interoperability of today's and future smart grid, thereby facilitating scalable integration of DR systems into the grid's complex operational framework.

2509.01428 2026-06-11 math.CO cs.DM 版本更新

Large induced subgraphs with prescribed degree parity

具有指定度数奇偶性的大诱导子图

Jiangdong Ai, Qiwen Guo, Gregory Gutin, Yiming Hao, Anders Yeo

AI总结 推广Caro猜想,研究顶点带0/1标签的图,要求诱导子图中0-标签顶点度数为偶、1-标签顶点度数为奇,给出最大阶数的点态下界,并针对连通图得到与最大色数相关的精确下界。

Comments 10 pages

详情
AI中文摘要

Caro(Discrete Math, 1994)的一个长期猜想(由Ferber和Krivelevich(Adv Math, 2022)证实)指出:每个无孤立顶点的$n$顶点图$G$包含一个阶数为$n$的线性阶的诱导子图,其中每个顶点的度数均为奇数。我们将此结果推广到顶点由$\ell: V(G)\to \{0,1\}$标记的图$G$。我们要求,在诱导子图中,所有标记为$0$的顶点度数为偶数,所有标记为$1$的顶点度数为奇数。设$h_{\ell}(G)$表示此类子图的最大阶数。令$f_{oe}(G)=\min_{\ell} h_{\ell}(G)$为最坏标记参数。我们建立了$h_{\ell}(G)$的点态下界,该下界立即得出$f_{oe}(G)$在$|V(G)|$中的线性下界,其中$G$无孤立顶点。对于一个$n$顶点连通图,我们得到$f_{oe}(G)$的精确下界:$f_{oe}(G)\ge \lceil (n-1)/{\chi}_{mm}{(G)} \rceil$,其中${\chi}_{mm}{(G)}$是$G$的某个子式的最大色数。利用Hadwiger猜想的已证情形,我们证明:对于$t\in \{3,4,5,6\}$,若一个$n$顶点连通图$G$是$K_t$-子式自由的,则$f_{oe}(G)\ge \lceil (n-1)/(t-1)\rceil$,且该界对每个$t\in \{3,4,5,6\}$都是紧的。最后,我们猜想对所有图$G$有$f_{oe}(G)\ge f_o(G)/2$,并证实该猜想对所有树和完全多部图成立。

英文摘要

A long-standing conjecture of Caro (Discrete Math, 1994), confirmed by Ferber and Krivelevich (Adv Math, 2022), states that every $n$-vertex graph $G$ without isolated vertices contains an induced subgraph of order linear in $n$ in which every vertex has odd degree. We generalize this result to graphs $G$ whose vertices are labeled by $\ell: V(G)\to \{0,1\}$. We require, in an induced subgraph, all $0$-labeled vertices to have even degree and all $1$-labeled vertices to have odd degree. Let $h_{\ell}(G)$ denote the maximum order of such a subgraph. Let $f_{oe}(G)=\min_{\ell} h_{\ell}(G)$ be the worst-labeling parameter. We establish a pointwise lower bound for $h_{\ell}(G)$ that immediately yields a linear lower bound in $|V(G)|$ for $f_{oe}(G)$, where $G$ has no isolated vertices. For an $n$-vertex connected graph, we obtain a sharp lower bound for $f_{oe}(G)$: $f_{oe}(G)\ge \lceil (n-1)/χ_{mm}{(G)} \rceil ,$ where $χ_{mm}{(G)}$ is the maximum chromatic number of a minor of $G.$ Using proved cases of Hadwiger's Conjecture, we show that for $t\in \{3,4,5,6\}$, if an $n$-vertex connected graph $G$ is $K_t$-minor-free, then $f_{oe}(G)\ge \lceil (n-1)/(t-1)\rceil$ and this bound is sharp for each $t\in \{3,4,5,6\}$. Finally, we conjecture that $f_{oe}(G)\ge f_o(G)/2$ for all graphs $G$ and confirm the conjecture for all trees and complete multipartite graphs.

2506.18401 2026-06-11 cs.DC 版本更新

Impossibility Results for Strong Linearizability: The Difficulty of Consistent Refereeing

强线性化不可能性结果:一致裁判的困难

Hagit Attiya, Armando Castañeda, Constantin Enea

AI总结 研究强线性化实现与一致性之间的关系,定义两种竞赛对象,证明强线性化需要高协调能力,且某些对象无法通过非通用原语实现强线性化。

Comments Full version of a paper in PODC 2026

详情
AI中文摘要

本文研究了各种对象的强线性化实现与一致性之间的关系。这导致了关于从包括窗口寄存器、干扰原语和栈在内的各种原语实现并发对象的新结果。我们发现,多个并发对象的无锁(分别地,无等待)强线性化实现需要一种不需要完全共识但无法通过非通用原语组合以强线性化方式实现的一致性形式。在无锁和无等待两种情况下,这种一致性形式需要一个特殊进程来裁判涉及所有其他进程的竞争。我们的结果表明,这种竞争的一致裁判(即,一旦解决,结果不能在执行的任何扩展中修改)需要高协调能力。更具体地,定义了两个竞赛对象,并分别用于帮助刻画强线性化在无锁和无等待实现中施加的协调约束。这两个对象在严格意义上弱于共识,因为它们具有从读写操作实现的无等待线性化(实际上是决定性线性化)实现。竞赛对象以两种互补方式捕捉强线性化。首先,它们允许从诸如队列、快照和计数器等高级对象实现强线性化,因此竞赛对象的不可能性结果立即适用于这些对象。其次,它们允许关于强线性化的强大不可能性结果,涉及窗口寄存器、干扰原语和栈,这些是非通用的。

英文摘要

This paper studies the relation between agreement and strongly linearizable implementations of various objects. This leads to new results about implementations of concurrent objects from various primitives including window registers, interfering primitives and stacks. We identify that lock-free, respectively, wait-free, strongly linearizable implementations of several concurrent objects entail a form of agreement that does not require full consensus but cannot be implemented in a strongly-linearizable manner with combinations of non-universal primitives. In both cases, lock-free and wait-free, this form of agreement requires a distinguished process to referee a competition that involves all other processes. Our results show that consistent refereeing of such competitions (i.e., once resolved, the outcome cannot be revised in any extension of the execution) requires high coordination power. More specifically, two contest objects are defined and used to help characterize coordination constraints imposed by strong linearizability in lock-free and wait-free implementations, respectively. Both objects are strictly weaker than consensus, in the sense that they have a wait-free linearizable (in fact, decisively linearizable) implementation from reads and writes. The contest objects capture strong linearizability in two complementary ways. First, they admit strongly linearizable implementations from several high-level objects such as queues, snapshots, and counters, so impossibility results for the contest objects immediately carry over to these objects. Second, they admit powerful impossibility results for strong linearizability that involve window registers, interfering primitives and stacks, which are non-universal.

2509.00848 2026-06-11 nlin.CD math.DS 版本更新

Designing learning in high dimensional oscillator networks with low dimensional read-out

高维振荡器网络中低维读出的学习设计

Thomas Geert de Jong

AI总结 研究基于振荡器网络的储层计算,采用低维平均相位读出函数,通过连续极限和分岔分析,发现至少需要4个振荡器群体才能学习混沌目标动力学。

详情
AI中文摘要

本文研究了一种基于振荡器网络的储层计算机,该网络具有大量振荡器和低维读出。读出是关于每个振荡器群体平均相位的函数,因此提供了振荡器状态的鲁棒测量。我们考虑少量群体,从而得到低维读出。任务是时间序列预测。输入时间序列通过强迫项引入。经过训练阶段后,输入被学习。重要的是,训练权重被引入强迫项中,这意味着振荡器网络保持不变。因此,我们可以应用振荡器网络的经典方法。这里,我们通过使用Ott-Antonsen Ansatz考虑Kuramoto振荡器的连续极限。因此,出现了一个平均场储层计算机。然后通过耦合和强迫参数空间中的分岔来研究储层计算机的成功与失败。我们还将展示,当考虑相位状态上的读出时,平均相位读出可以自然出现。最后,我们给出数值证据,表明至少需要4个振荡器群体才能学习混沌目标动力学。

英文摘要

In this paper we investigate a oscillator network based reservoir computer with a large number of oscillators and a low dimensional read-out. The read-out is a function on the average phases with respect to each oscillator population. Hence, this read-out provides a robust measurement of the oscillator states. We consider a low number of populations which leads to a low-dimensional read-out. Here, the task is time-series prediction. The input time-series is introduced via a forcing term. After a training phase the input is learned. Importantly, the training weights are introduced in the forcing term meaning that the oscillator network is left untouched. Hence, we can apply classical methods for oscillator networks. Here, we consider the continuum limit for Kuramoto oscillators by using the Ott-Antonsen Ansatz. Consequently, a mean field reservoir computer arises. The success and failure of the reservoir computer is then studied by bifurcations in the coupling and forcing parameter space. We will also show that the average phase read-out can naturally arise when considering the read-out on the phase states. Finally, we give numerical evidence that at least 4 oscillator populations are necessary to learn chaotic target dynamics.

2508.21805 2026-06-11 astro-ph.SR astro-ph.HE 版本更新

Gaia's promise to detect compact-object binaries: where we stand with the third data release

Gaia对探测致密天体双星的承诺:第三次数据发布现状

Chirag Chawla, Sourav Chatterjee, Katelyn Breivik

AI总结 基于Gaia DR3数据,通过模拟银河系恒星形成历史和双星演化,预测并验证了致密天体-发光伴星双星的探测数量,发现与DR3观测一致,并展望了任务结束时的探测前景。

Comments 25 Pages, 10 figures, 1 table, submitted to the Astrophysical Journal; comments welcome

详情
AI中文摘要

随着第三次数据发布(DR3),Gaia开始揭示过去多项理论研究预测的休眠候选致密天体(CO)双星,这些双星具有发光伴星(LC)。迄今为止,利用天体测量学已识别出3个黑洞(BH)、21个中子星(NS)和3200个白矮星(WD)候选体,它们与LC处于分离轨道。我们采用观测启发的银河系恒星形成历史采样方案和初始零龄主序双星性质,纳入演化过程中所有相关的双星相互作用过程,以获得现实的CO-LC双星当前内在种群。我们应用Gaia的选择标准,识别在DR3及任务结束(EOM)时适用的观测截断下可探测的\colc\\双星。我们发现,在DR3选择截断下,可探测种群中不包含BH-LC,约有10-40个NS-LC,以及约4300个WD-LC。我们预测的NS-LC种群在预测产量、轨道和恒星性质方面与当前DR3普查结果高度一致,并且我们恢复了Gaia NS1候选体的近类似体及其详细形成路径。对于WD-LC,我们发现需要在中子星形成时施加5-15 km/s的中等诞生速度才能匹配DR3中WD-LC候选体的观测轨道性质。我们进一步表明,类似Gaia BH3的双星可以通过标准孤立双星演化形成,无需引入任何额外建模假设,而在此框架内再现Gaia BH1和BH2仍然具有挑战性。展望EOM,我们预测将探测到约30-300个BH-LC、约1500-5000个NS-LC和约10^5-10^6个WD-LC双星,这主要得益于显著更长的观测基线。

英文摘要

With its third data release (DR3), Gaia begins unveiling dormant candidate compact object (CO) binaries with luminous companions (LC) as predicted by several past theoretical studies. To date, 3 black hole (BH), 21 neutron star (NS), and 3200 white dwarf (WD) candidates have been identified with LCs in detached orbits using astrometry. We adopt an observationally motivated sampling scheme for the star formation history of the Milky Way, and initial zero-age main-sequence binary properties, incorporate all relevant binary interaction processes during evolution to obtain a realistic present-day intrinsic population of CO--LC binaries. We apply Gaia's selection criteria to identify the \colc\ binaries detectable using the observational cuts applicable for DR3 as well as its end-of-mission (EOM). We find that under the DR3 selection cuts, our detectable population includes no BH--LCs, approximately 10-40 NS--LCs, and around ~4300 WD--LCs. Our predicted NS--LC population is in good agreement with the current DR3 census, both in its predicted yield and in the orbital and stellar properties, and we recover a close analogue of the Gaia NS1 candidate together with its detailed formation pathway. For WD--LCs, we find that a moderate natal kick of 5-15 km/s imparted at WD formation is required to match the observed orbital properties of WD-LC candidates in DR3. We further show that Gaia BH3-like binaries can form through standard isolated binary evolution without invoking any additional modelling assumptions, whereas reproducing Gaia BH1 and BH2 remains challenging within this framework. Looking ahead to the EOM, we predict detection of ~30-300 BH--LCs, ~1500-5000 NS-LCs, and ~10^5-10^6 WD-LC binaries, primarily due to the significantly longer observational baseline.

2508.14847 2026-06-11 quant-ph cond-mat.other 版本更新

Power-law-graded Ising Interactions Stabilize Time Crystals Realizing Quantum Energy Storage and Sensing

幂律梯度伊辛相互作用稳定时间晶体实现量子能量存储与传感

Ayan Sahoo, Debraj Rakshit

AI总结 研究一维自旋链中幂律梯度伊辛相互作用下的离散时间晶体相,发现其能实现超线性能量存储和超越海森堡极限的量子传感增强。

Comments 16 pages, 15 figures

详情
AI中文摘要

我们研究了在周期性Floquet驱动下具有幂律梯度伊辛相互作用的一维自旋-1/2链中的离散时间晶体(DTC)相。通过将Stark局域化推广到幂律梯度伊辛相互作用分布,我们识别出在广泛的相互作用指数范围内鲁棒的周期倍增动力学,该动力学由相干驱动和空间变化耦合之间的相互作用稳定。在DTC相内,系统中存储的能量(解释为量子电池)随系统尺寸超线性增加,尽管在归一化功率中不存在缩放优势。除了能量存储,我们证明了DTC相支持增强的量子传感。与估计驱动时序偏差相关的量子Fisher信息随系统尺寸超扩展缩放,超越海森堡极限。量子优势的程度可以通过改变相互作用指数来调节,但DTC行为始终保持鲁棒。我们的结果将幂律梯度伊辛相互作用的Floquet系统定位为存储量子能量和实现计量增强的鲁棒平台。

英文摘要

We study discrete time-crystalline (DTC) phases in one-dimensional spin-1/2 chains with power-law-graded Ising interactions under periodic Floquet driving. By generalizing Stark localization to power-law-graded Ising interaction profiles, we identify robust period-doubled dynamics across a wide range of interaction exponents, stabilized by the interplay between coherent driving and spatially varying coupling. Within the DTC phase, the energy stored in the system, interpreted as a quantum battery, increases superlinearly with system size, although no scaling advantage persists in normalized power. Beyond energy storage, we demonstrate that the DTC phase supports enhanced quantum sensing. The quantum Fisher information associated with estimating timing deviations in the drive scales superextensively with system size, surpassing the Heisenberg limit. The degree of quantum advantage can be tuned by varying the interaction exponent, though DTC behavior remains robust throughout. Our results position power-law-graded Ising interacting Floquet systems as robust platforms for storing quantum energy and achieving metrological enhancement.

2508.10706 2026-06-11 math.NT 版本更新

Hasse norm principle for extensions of prime squared degree

素数平方次扩张的Hasse范数原理

Yasuhiro Oki

AI总结 给出整体域上素数平方次有限可分扩张的Hasse范数原理成立的等价条件,推广了Drakokhrust-Platonov关于充分扩张的结果。

Comments 38 pages, some notation and numbering of theorems are changed. Text overlap with arXiv:2504.19453

详情
AI中文摘要

我们给出了整体域上素数平方次有限可分扩张的Hasse范数原理成立的等价条件。我们的定理恢复了Drakokhrust--Platonov的结果,该结果声称Hasse范数原理对于素数平方次的充分扩张成立。

英文摘要

We give an equivalent condition for the validity of the Hasse norm principle for finite separable extensions of prime squared degree of global fields. Our theorem recovers the result of Drakokhrust--Platonov, which claims that the Hasse norm principle holds for adequate extensions of prime squared degree.

2508.10076 2026-06-11 cs.MS cond-mat.str-el quant-ph 版本更新

TensorKit.jl: A Julia package for large-scale tensor computations, with a hint of category theory

TensorKit.jl: 一个用于大规模张量计算的Julia包,带有范畴论色彩

Lukas Devos, Jutho Haegeman

AI总结 介绍Julia包TensorKit.jl,其通过TensorMap类型处理阿贝尔、非阿贝尔和任意子对称性,实现灵活高性能的张量计算。

Comments 69 pages, 4 figures

详情
AI中文摘要

TensorKit.jl是一个基于Julia的软件包,用于张量计算,特别关注具有内部对称性的张量。本文介绍了其设计理念、核心功能和独特特性,包括如何通过“TensorMap”类型处理阿贝尔、非阿贝尔和任意子对称性。我们强调了该软件的灵活性、性能以及扩展到新张量类型和对称性的能力,并通过精选案例研究说明了其实际应用。

英文摘要

TensorKit$.$jl is a Julia-based software package for tensor computations, especially focusing on tensors with internal symmetries. This paper introduces the design philosophy, core functionalities, and distinctive features, including how to handle abelian, non-abelian, and anyonic symmetries through the ``TensorMap'' type. We highlight the software's flexibility, performance, and its capability to extend to new tensor types and symmetries, illustrating its practical applications through select case studies.

2507.10038 2026-06-11 astro-ph.SR 版本更新

Parametric instability of Alfvén wave packets

阿尔文波包的参量不稳定性

S. S Komissarov

AI总结 通过一维磁流体动力学模拟,研究低β等离子体中单色载波阿尔文波包的参量不稳定性,发现波包长度决定扰动进入线性或非线性阶段,并影响波包演化与太阳风物理关联。

Comments Published in MNRAS. A typo in eq.8 has been found and corrected

详情
AI中文摘要

利用一维磁流体动力学模拟研究了低β等离子体中具有单色载波的阿尔文波包的参量不稳定性。结果表明,当入射扰动传播通过母波时,它们会空间增长。对于足够短的波包,扰动在波包下游以小振幅反向阿尔文波和向前慢磁声波的形式出现。对于较大的波包,扰动在仍处于母波内部时达到非线性振幅。在这种情况下,母波的下游部分坍缩,但剩余的上游部分基本保持完整,并进入非常缓慢的演化阶段。区分线性和非线性 regime 的长度尺度,以及确定非线性 regime 中幸存部分的大小,由波包的阿尔文穿越时间、未调制载波的参量不稳定性增长率以及入射扰动的幅度决定。讨论了结果与太阳风物理的联系。

英文摘要

Parametric instability of Alfvén wave packets with monochromatic carrier wave in low-$β$ plasma is studied using one-dimensional magnetohydrodynamic simulations. The results show spatial growth of incoming perturbations as they propagate through the mother wave. For sufficiently short packets, the perturbations emerge downstream of the packet as small-amplitude reverse Alfvén waves and forward slow magnetosonic waves. For larger packets the perturbations reach non-linear amplitude while still inside the mother wave. In this case, a downstream section of the mother wave collapses but the remaining upstream section stays largely intact and enters the phase of very slow evolution. The length scale separating the linear and non-linear regimes, as well as determining the size of the surviving section in the non-linear regime, is set by the Alfvén crossing time of the packet, the growth rate of the parametric instability for the unmodulated carrier wave, and the amplitude of incoming perturbations. The results are discussed in connection with the physics of solar wind.

2508.05859 2026-06-11 stat.ME 版本更新

Doubly robust integration of nonprobability and probability survey data

非概率与概率调查数据的双重稳健整合

Shaun R Seaman, Tommy Nyberg, Anne M Presanis

AI总结 提出双重稳健估计器整合非概率样本与概率调查数据,扩展至子域估计,并与仅使用概率数据的估计器组合,给出方差公式和渐近效率分析。

Comments 66 pages, 31 figures. The preprint v2 extends the paper with: domain estimation; a new Hajek-style version of the Kim--Haziza doubly robust estimator; and, theory on the asymptotic relative efficiency of the combined estimators and a simulation study to assess the relative efficiency

详情
AI中文摘要

针对整合非概率样本的结果和协变量数据与概率调查的协变量数据,已提出用于估计总体均值(或患病率)的双重稳健估计器。这些估计器结合了逆概率加权估计与大规模插补。然而,如何将这些双重稳健估计器与仅使用概率调查结果数据的Horvitz-Thompson或Hajek估计器相结合的问题,仅受到有限关注。本文首先回顾了先前提出的仅使用非概率样本结果数据的双重稳健估计器。我们将这些估计器扩展至能够估计域(子总体)均值(或患病率),可能利用域外个体的数据以改进小域估计。然后,我们考虑如何将此双重稳健估计器与仅使用概率调查数据的Horvitz-Thompson或Hajek估计器相结合。我们描述了有效的组合估计器,并给出了其重复抽样方差以及这些方差估计量的公式。我们还研究了组合估计器相对于其两个分量估计器的渐近相对效率,并进行了模拟研究以评估它们在有限样本中的相对效率。这些相对效率取决于两个分量估计器的方差之比以及协变量对结果的预测能力。

英文摘要

Doubly robust estimators for estimating the population mean (or prevalence) of an outcome have been proposed for integrating outcome and covariate data from a nonprobability sample with covariate data from a probability survey. These estimators combine inverse probability weighting estimation with mass imputation. However, the question of how to combine these doubly robust estimators with a Horvitz-Thompson or Hajek estimator that uses only outcome data from the probability survey has received only limited attention. In this paper, we first review previously proposed doubly robust estimators that use outcome data from only the nonprobability sample. We extend these estimators to enable estimation of domain (subpopulation) means (or prevalences), possibly using data from individuals outside the domain to improve estimation when the domain is small. We then consider how to combine this doubly robust estimator with a Horvitz-Thompson or Hajek estimator that uses only the probability survey data. We describe efficient combined estimators, and provide formulae for their repeated-sampling variances and for estimators of these variances. We also investigate the asymptotic relative efficiencies of the combined estimators compared to their two component estimators, and carry out a simulation study to assess their relative efficiencies in finite samples. These relative efficiencies depend on the ratio of the variances of the two component estimators and on how predictive the covariates are of the outcome.

2508.04879 2026-06-11 nucl-th nucl-ex 版本更新

Ab Initio Study of $^7$7Li with Coupled Mass Partitions

$^7$Li 的耦合质量分区的从头算研究

Jakub Herko, Konstantinos Kravvaris, Petr Navrátil, Sofia Quaglioni, Guillaume Hupin, Mark A. Caprio

AI总结 通过同时耦合 $^4$He+$^3$H、$^6$Li+$n$ 和 $^6$He+$p$ 三个质量/电荷分区,首次采用无核芯壳模型与连续谱方法,实现了对 $^7$Li 束缚态和连续谱性质的统一从头描述,并计算了相关反应截面。

Comments 15 pages, 20 figures

详情
AI中文摘要

背景:锂在核天体物理、聚变能源研究和核技术中具有广泛兴趣。从理论角度看,$^7$Li 核提出了一个显著的挑战,因为其束缚态和共振态可能同时来自 $^4$He + $^3$H 团簇构型以及涉及中子或质子分别耦合到 $^6$Li 或 $^6$He 核的构型。目的:我们旨在通过显式同时包含耦合的质量/电荷分区 $^4$He + $^3$H、$^6$Li + $n$ 和 $^6$He + $p$,实现对 $^7$Li 束缚态和连续谱性质的统一从头描述。具体来说,我们研究了分区间耦合对 $^7$Li 能谱的影响,并计算了 $^6$Li($n,p$)$^6$He、$^6$He($p,n$)$^6$Li 和 $^6$He($p,t$)$^4$He 反应的截面。方法:我们首次在耦合 $^7$Li 聚合核的三个质量/电荷分区的计算中采用了无核芯壳模型与连续谱方法,使用手征核子-核子相互作用作为输入。结果:计算得到的能谱以正确顺序重现了所有实验观测到的 $^7$Li 态,并预测了额外的共振。计算还重现了 $^6$Li$(n,p)^6$He 截面的整体能量依赖性。在唯象调整共振能量后,与测量截面的符合程度得到改善。结论:当前结果表明,耦合相关质量/电荷分区对于一致描述 $^7$Li 能谱和反应截面是重要的,并为解释现有数据和指导未来测量提供了有用的框架。

英文摘要

Background: Lithium is of broad interest in nuclear astrophysics, fusion energy research, and nuclear technology. From a theoretical perspective, the nucleus $^7$Li presents a remarkable challenge, as its bound and resonant states can exhibit contributions from both the $^4$He + $^3$H cluster configuration and configurations involving a neutron or proton coupled to a $^6$Li or $^6$He core, respectively. Purpose: We aim to achieve a unified ab initio description of bound-state and continuum properties of $^7$Li by explicitly including simultaneously the coupled mass/charge partitions $^4$He + $^3$H, $^6$Li + $n$, and $^6$He + $p$. Specifically, we investigate the effect of inter-partition coupling on the spectrum of $^7$Li and calculate cross sections for the $^6$Li($n,p)^6$He, $^6$He($p,n)^6$Li, and $^6$He($p,t)^4$He reactions. Method: We employ the no-core shell model with continuum for the first time in a calculation that couples three mass/charge partitions of the aggregate nucleus $^7$Li, using a chiral nucleon-nucleon interaction as input. Results: The calculated spectrum reproduces all the experimentally observed states of $^7$Li in the correct order and predicts additional resonances. The calculation also reproduces the overall energy dependence of the $^6$Li$(n,p)^6$He cross section. Improved agreement with measured cross sections is obtained after phenomenological adjustment of resonance energies. Conclusions: The present results show that coupling the relevant mass/charge partitions is important for a consistent description of the $^7$Li spectrum and reaction cross sections, and offers a useful framework for interpreting existing data and guiding future measurements.

2507.23490 2026-06-11 math.ST stat.TH 版本更新

Optimal Transport-Based Multivariate Goodness-of-Fit Tests

基于最优传输的多元拟合优度检验

Zdeněk Hlávka, Šárka Hudecová, Simos G. Meintanis

AI总结 提出基于特征函数的多元分布拟合优度检验,利用最优传输构造多元秩,检验统计量计算简单,对简单原假设无分布限制,并通过模拟和实际数据验证其有效性。

详情
AI中文摘要

针对多元分布,提出了基于特征函数的拟合优度检验。检验统计量计算简单,定义为原始观测的多元秩与从待检验参考分布生成的伪样本的秩之间经验特征函数差异的两样本准则。利用最优测度传输理论构造多元秩,使得简单原假设的检验无分布限制,而复合原假设仍需自助法近似。发展了渐近理论,并通过模拟研究(重点与先前提出的多元正态性检验进行比较)表明该方法在有限样本中表现良好。通过实际数据集的应用展示了所提方法的广泛适用性。

英文摘要

Characteristic function-based goodness-of-fit tests are suggested for multivariate distributions. The test statistics, which are straightforward to compute, are defined as two-sample criteria measuring discrepancy of empirical characteristic functions between multivariate ranks of the original observations and the ranks obtained from an artificial sample generated from the reference distribution under test. Multivariate ranks are constructed using the theory of the optimal measure transport, thus rendering the tests of a simple null hypothesis distribution-free, while bootstrap approximations are still necessary for testing composite null hypotheses. Asymptotic theory is developed and a simulation study, concentrating on comparisons with previously proposed tests of multivariate normality, demonstrates that the method performs well in finite samples. The broad applicability of the proposed methods is illustrated through an application to a real dataset.

2507.22852 2026-06-11 econ.TH 版本更新

Robust Contracting with Career Concerns

考虑职业担忧的稳健契约设计

Tan Gan, Hongcheng Li

AI总结 研究工人面临职业担忧时的最优契约设计,通过技能-努力互补性准则刻画策略不确定性,并求解在所有均衡中实现努力的最小成本政策,发现雇主使用分散化奖金。

Comments JEL codes: D23, D62, D86, J31; Keywords: contracting, career concerns, strategic uncertainty, pay inequality

详情
AI中文摘要

我们研究工人面临职业担忧时的最优契约设计。劳动力市场从绩效推断能力,但努力会影响绩效的信息量。这种反馈可能产生策略不确定性:在关于努力的乐观信念下诱导努力的奖金,在悲观信念下可能失效。我们通过一个与技能-努力互补性相关的准则刻画这种力量,并求解在所有均衡中实现努力的最小成本政策。在策略不确定性下,雇主使用分散化的奖金。高奖金排除了悲观信念,提高了声誉赌注,从而让较低的奖金也能激励努力。观察上相同的工人之间的薪酬差异随职业担忧和技能-工资匹配度增加而增大。

英文摘要

We study optimal contracting when workers face career concerns. Labor markets infer ability from performance, but effort affects how informative performance is. This feedback can generate strategic uncertainty: bonuses inducing effort under optimistic beliefs about effort may fail under pessimistic beliefs. We characterize this force through a criterion tied to skill-effort complementarity and solve for the least-cost policy implementing effort in every equilibrium. Under strategic uncertainty, the employer uses dispersed bonuses. High bonuses rule out pessimistic beliefs, raising the reputational stakes and letting lower bonuses motivate effort. Pay dispersion among observationally identical workers grows with career concerns and skill-wage assortativeness.

2507.20830 2026-06-11 hep-ph hep-ex 版本更新

Probing the axion-electron coupling at cavity experiments

探测腔实验中的轴子-电子耦合

Deog Ki Hong, Sang Hui Im, Jinsu Kim, TaeHun Kim, SungWoo Youn

AI总结 本文提出通过轴子-电子耦合在导体中产生的电磁辐射来探测轴子暗物质,并表明现有腔实验可约束该耦合强度,若替换碳基导体可提高灵敏度。

Comments 18 pages, 3 figures: v2 minor changes

详情
AI中文摘要

轴子暗物质通过轴子-电子相互作用(即所谓的手征磁效应)驱动电子的近乎永恒振荡,从而在导体中感应出电磁辐射。因此,它提供了在腔中超越传统轴子-光子耦合 $g_{a \gamma}$ 的轴子-电子耦合 $g_{ae}$ 的互补探针。我们表明,现有的轴子腔实验可以在扫描的轴子质量范围 $1\\,\mu\\,{\rm eV}\lesssim m_a\lesssim 20\\,\mu\\,{\rm eV}$ 内将耦合约束到 $g_{ae}\lesssim 10^{-5}$。尽管我们发现,与通过 $g_{a\gamma}$ 的轴子-光子转换在腔内部产生的辐射相比,在电导率为 $\sigma$ 的铜腔表面由 $g_{ae}$ 产生的辐射被 $m_a^2/\sigma^2\sim 10^{-20}$ 抑制,但如果将铜壁替换为碳基导体,则可以在更宽的 $m_a$ 范围内(包括先前探测过的更高值)实现对 $g_{ae}$ 约 $10^{-9}$ 的灵敏度。

英文摘要

Axion dark matter induces electromagnetic radiation in conductors through nearly perpetual oscillations of electrons, driven by axion-electron interactions through the so-called chiral magnetic effect. It therefore provides a complementary probe of the axion-electron coupling $g_{ae}$ beyond the conventional axion-photon coupling $g_{a γ}$ in cavities. We show that existing axion cavity experiments can constrain the coupling to $g_{ae}\lesssim 10^{-5}$ over the scanned axion mass ranges, $1\,μ\, {\rm eV}\lesssim m_a\lesssim 20\,μ\,{\rm eV}$. Although we find that the radiation due to $g_{ae}$ at the copper cavity surface of electric conductivity $σ$ is suppressed by $m_a^2/σ^2\sim 10^{-20}$, compared to the radiation inside the cavity by the axion-photon conversion due to $g_{aγ}$, a sensitivity of about $10^{-9}$ could be achieved for $g_{ae}$ over a wider range of $m_a$, including values higher than those previously probed, if copper walls are replaced with carbon-based conductors.

2506.03453 2026-06-11 quant-ph math-ph math.MP nucl-th physics.atom-ph physics.optics 版本更新

Permutation-Invariant N-body gates via Tavis-Cummings Hamiltonian

通过Tavis-Cummings哈密顿量的置换不变N体门

Plato Deliyannis, Iman Marvian

AI总结 提出利用Tavis-Cummings相互作用和全局均匀场实现任意数量量子比特上的所有置换不变酉操作,无需单独寻址,并给出两量子比特情况下的显式脉冲序列。

Comments V3: 11 pages + 17 pages of Appendices + 6 Figures

详情
AI中文摘要

全局控制为实现多量子比特门提供了一条有前景的途径,无需单独寻址量子比特。这对于置换不变(PI)门尤其有吸引力,因为当它们被编译为单独寻址的单量子比特和双量子比特门时,其对称性常常被破坏。重要的例子包括SWAP、$\sqrt{i\text{SWAP}}$以及n量子比特受控Z门(等价于多量子比特Toffoli门加上两个单量子比特Hadamard门)。受这一全局控制视角的启发,我们展示了任意数量量子比特上的所有PI酉操作都可以通过Tavis-Cummings(TC)相互作用(Jaynes-Cummings相互作用的多量子比特版本)以及全局均匀的z和x场来实现。这里,$n$个量子比特与单个玻色子模式(振子)相同耦合,该模式初始处于真空态并最终返回真空态。一个推论是,所有PI态(包括GHZ态和Dicke态)都可以使用相同的全局控制来制备。对于量子计算中特别重要的n=2量子比特情况,我们还找到了仅使用TC相互作用和全局z场来实现所有在z方向守恒角动量的PI量子比特酉操作的显式脉冲序列,包括受控Z、SWAP和$\sqrt{i\text{SWAP}}$。

英文摘要

Global control provides a promising route to implementing multi-qubit gates without individual qubit addressing. This is especially appealing for permutation-invariant (PI) gates, whose symmetry is often broken when they are compiled into individually addressed one- and two-qubit gates. Important examples include SWAP, $\sqrt{i\text{SWAP}}$, and the n-qubit controlled-Z gate, which is equivalent, up to two single-qubit Hadamard gates, to the multi-qubit Toffoli gate. Motivated by this global-control perspective, we show that all PI unitaries on an arbitrary number of qubits can be realized using the Tavis-Cummings (TC) interaction, the multi-qubit version of the Jaynes-Cummings interaction, together with global uniform z and x fields. Here, the $n$ qubits are identically coupled to a single bosonic mode (oscillator), which is initialized in and returned to its vacuum state. A corollary is that all PI states, including GHZ and Dicke states, can be prepared using the same global control. For the case n=2 qubits, which is particularly important in quantum computing, we also find explicit pulse sequences for implementing all PI qubit unitaries that conserve angular momentum in the z direction, using only the TC interaction and global z fields. This includes controlled-Z, SWAP, and $\sqrt{i\text{SWAP}}$.