arXivDaily arXiv每日学术速递 周一至周五更新
全部学科分类 1938
专题追踪
2605.20236 2026-05-21 cs.CC math.OC

Information Redistribution Under Reductions in NP Search

NP搜索中的信息再分配与缩减

Jing-Yuan Wei

AI总结 本文通过将结构P矩阵违反搜索问题缩减到经典NP完全问题如3-SAT和子集和问题,探讨了表示扩展、辅助变量、局部可推导性和信息可访问性之间的关系,提出了一种信息再分配的概念框架。

Comments 18 pages, Exploratory paper on information accessibility, reductions, and local inferability in NP search

详情
AI中文摘要

通过将结构P矩阵违反搜索问题缩减到经典NP完全问题如3-SAT和子集和问题,我们研究了表示扩展、辅助变量、局部可推导性和信息可访问性之间的关系。不同于将缩减纯粹视为计算转换,我们将它们视为机制,将隐藏的证人信息重新分配到扩展的表示中。从这一视角来看,缩减、工具和辅助结构可能将全局编码的证人信息暴露给局部传播和推断,而搜索算法则作为解码程序,试图恢复原始隐藏的证人信息。由此得出的观察表明,表示扩展可能通过引入辅助变量和一致性结构来提高局部可推导性,同时保持恢复底层证人信息的需求。这项工作具有探索性,并提出了一种理解缩减如何重塑NP搜索中信息可访问性的概念框架。

英文摘要

Using reductions from structured P-matrix violation search to classical NP-complete formulations such as 3-SAT and Subset Sum, we examine the relationship between representational expansion, auxiliary variables, local inferability, and information accessibility. Rather than viewing reductions purely as computational transformations, we interpret them as mechanisms that redistribute hidden witness information across enlarged representations. From this perspective, reductions, gadgets, and auxiliary structures may expose globally encoded witness information to local propagation and inference, while search algorithms act as decoding procedures attempting to recover the original hidden witness. The resulting observations suggest that representational expansion may improve local inferability by introducing auxiliary variables and consistency structures, while preserving the need to recover the underlying witness information. This work is exploratory in nature and proposes a conceptual framework for understanding how reductions reshape information accessibility in NP search.

2605.20230 2026-05-21 math.GM

A Maxwell Quadratic-Form Representation of the Parallel-Plate Casimir Trace from Codimension-Three Riesz Reduction

平行板Casimir迹的Maxwell二次型表示:基于三维余维Riesz约简

Irshadullah Khan, Bilal Khan

AI总结 本文提出一个Maxwell版本的三维余维Riesz/Gaussian二次型表示,用于完美导体平行板的Casimir迹计算,通过有限体积分析证明了谱间隙、紧致解集和热迹可接受性,并给出了在平面几何中Maxwell平行板迹的表示定理。

Comments 48 pages

详情
AI中文摘要

我们提出了一个Maxwell版本的三维余维Riesz/Gaussian二次型表示,用于完美导体平行板。本文是之前arXiv:2605.06693(2026)中提出的标量三维余维Riesz/Gaussian表示定理的Maxwell延续:此处将相同的横向Riesz约简和指定协方差二次型机制应用于物理平行板Maxwell算子。该构造在有限横向体积$Ω_{L,a}=T_L^2 imes[0,a]$中进行,使用满足完美导体切向条件$n imes E=0$的物理电场Hilbert空间,其中静电力正常零模已被移除。Maxwell旋度旋度算子通过其闭合二次型定义,并通过显式傅里叶域分析证明了有限体积谱间隙、紧致解集和热迹可接受性,这些对于随机构造是必需的。对于这个约简的Maxwell算子$\mathcal L_{\mathrm{Mx}}$,三维余维Riesz积分给出了横向约简Riesz介质$g\mathcal L_{\mathrm{Mx}}^{-1}$。一个指定的热正则化高斯源,其协方差为$(\hbar c/g)\mathcal L_{\mathrm{Mx}}^{3/2}e^{-τ\mathcal L_{\mathrm{Mx}}}$,则具有期望二次格林能量等于热正则化的物理Maxwell迹。该有限体积迹被证明在谱上等价于一个标量狄利克雷通道加上一个其常数零模被移除的标量尼曼通道。在标准平行板相互作用有限部分预设下,大面积能量密度为$$ - rac{π^2\hbar c}{720a^3} $$。结果是在此处考虑的平面几何中,Maxwell平行板迹在指定协方差下的表示定理。

英文摘要

We formulate a Maxwell version of the codimension-three Riesz/Gaussian quadratic-form representation for perfectly conducting parallel plates. This paper is the Maxwell follow-up to the scalar codimension-three Riesz/Gaussian representation theorem presented earlier in arXiv:2605.06693(2026): the same transverse Riesz reduction and prescribed-covariance quadratic-form mechanism are carried over here to the physical parallel-plate Maxwell operator. The construction is carried out in finite lateral volume $Ω_{L,a}=T_L^2\times[0,a]$, using the physical electric-field Hilbert space of divergence-free fields satisfying the perfect-conductor tangential condition $n\times E=0$, with the static normal zero mode removed. The Maxwell curl-curl operator is defined by its closed quadratic form, and an explicit Fourier-domain analysis proves the finite-volume spectral gap, compact resolvent, and heat-trace admissibility needed for the stochastic construction. For this reduced Maxwell operator $\mathcal L_{\mathrm{Mx}}$, the codimension-three Riesz integral gives the transversely reduced Riesz mediator $g\mathcal L_{\mathrm{Mx}}^{-1}$. A prescribed heat-regularized Gaussian source with covariance $(\hbar c/g)\mathcal L_{\mathrm{Mx}}^{3/2}e^{-τ\mathcal L_{\mathrm{Mx}}}$ then has expected quadratic Green energy equal to the heat-regularized physical Maxwell trace. The finite-volume trace is shown to be spectrally equivalent to a scalar Dirichlet channel plus a scalar Neumann channel with its constant zero mode removed. Under the standard parallel-plate interaction finite-part prescription, the large-area energy density is $$ -\frac{π^2\hbar c}{720a^3}. $$ The result is a representation theorem for the Maxwell parallel-plate trace under a prescribed covariance in the flat-plate geometry considered here.

2605.20229 2026-05-21 math.GM

The Arithmetic of Chess Piece Strength on the n x n Board

国际象棋棋子强度的算术学

Frank M. V. Feys

AI总结 本文研究了n x n棋盘上不同棋子的移动总数的算术特性,发现棋子强度在特定棋盘大小时才会出现重合,并证明了棋子强度的分类、稳定排序、强度重合分类以及强度代数定理。

Comments 36 pages, 1 figure

详情
AI中文摘要

在n x n的国际象棋棋盘上,不同棋子的移动总数满足少量显著的算术恒等式。象的总对角线移动性和国王的总8邻居移动性恰好成正比,比例常数为n/12,适用于所有n。在非平凡棋盘中,从自然十三种棋子中选取的两种不同棋子强度仅在n属于{6, 8, 12}时才会重合。我们定义棋子P在n x n棋盘上的强度为:在空棋盘上,随机选择的两个不同棋盘位置形成合法P移动的概率。我们证明了四个主要结果:(1)渐近二元分类将棋子分为骑手(强度Theta(1/n))和跃子(强度Theta(1/n^2)),并有明确的有理数主导常数。(2)稳定排序定理确定了阈值n* = 24,超过此阈值后强度顺序固定,并对4 ≤ n ≤ 24的所有过渡进行了完整列举。(3)完整强度重合分类显示,只有在n属于{6, 8, 12}的三个魔板上才会出现强度重合,并伴随闭式恒等式str(K) - str(N) = 12/(n^2(n+1)),即在n = 10时,象与马的强度近似重合(差距0.0606%),以及象-王的比例关系str(B)/str(K) = n/12。(4)强度代数定理表示任何复合军队的强度可以表示为四维原子向量的线性函数,并将不同单个棋子之间的强度重合限制在三个魔板上。作为直接后果,我们得到了每个魔板上显式的强度保持单个棋子替换规则,并将8 x 8棋盘描述为唯一非平凡棋盘,使得车的强度被另一个棋子匹配(即大主教)。

英文摘要

On the n x n chessboard, the move totals of distinct pieces satisfy a small number of striking arithmetic identities. The total diagonal mobility of the bishop and the total 8-neighbor mobility of the king are exactly proportional, with constant n/12, valid for every n. Among nontrivial boards, the strengths of two distinct pieces drawn from a natural thirteen-piece alphabet coincide only for n in {6, 8, 12}. We define the strength of a piece P on the n x n board as the probability that a uniformly random ordered pair of distinct squares forms a legal P-move on the empty board, and prove four main results. (1) An asymptotic dichotomy classifies pieces into riders (Theta(1/n) strength) and leapers (Theta(1/n^2) strength), with explicit rational leading constants. (2) A stable-ordering theorem identifies the threshold n* = 24 beyond which the strength order becomes fixed, with a complete tabulation of every transition for 4 <= n <= 24. (3) A complete classification of strength coincidences shows they occur only at the three magic boards n in {6, 8, 12}, accompanied by the closed-form identity str(K) - str(N) = 12/(n^2(n+1)), the unique near-coincidence between bishop and knight at n = 10 (gap 0.0606%), and the bishop-king proportionality str(B)/str(K) = n/12. (4) A Strength Algebra Theorem expresses the strength of any compound army as a linear functional of a four-dimensional atomic vector, and confines strength coincidences between distinct single pieces to the three magic boards. As immediate consequences we obtain explicit strength-preserving single-piece substitution rules on each magic board, and a characterization of the 8 x 8 board as the unique nontrivial board on which the rook attains a strength matched by another piece in the alphabet (the archbishop).

2605.20228 2026-05-21 math.GM

A Limit-Free Algebraic-Geometric Construction of Derivatives for Elementary Functions

无极限的代数几何构造初等函数的导数

Davit Kapanadze

AI总结 本文基于之前的工作,将极限-free的代数几何方法扩展到初等函数,通过几何解释切线、反称性和局部线性结构来构造初等函数的导数,无需将极限作为初始定义机制。

Comments 25 pages, 4 figures. Continuation of arXiv:2604.20888

详情
AI中文摘要

本文继续作者之前关于多项式函数类中无极限的代数几何导数构造的工作,并将所提出的框架扩展到初等函数。通过切线的几何解释、反称性和局部线性结构,构造了有理幂函数、指数函数、对数函数、三角函数和反三角函数的导数,而无需将极限作为初始定义机制。在所提出的方法中,导数从一开始就作为函数对应关系引入,将每个点映射到切线的斜率系数。本文证明了经典微分公式自然地从相互关联的几何和代数结构中产生,并随后与基于极限的标准分析一致。从方法论角度来看,该研究提出了逻辑序列:切线、局部线性结构、极限形式化。因此,本文建立了几何直觉、代数构造和经典微分学之间的概念桥梁。

英文摘要

This paper continues the author's previous work on a limit-free algebraic-geometric construction of the derivative in the class of polynomial functions and extends the proposed framework to elementary functions. Derivatives of rational power, exponential, logarithmic, trigonometric, and inverse trigonometric functions are constructed through the geometric interpretation of the tangent line, inverse symmetry, and local linear structure, without treating the limit as the initial defining mechanism. Within the proposed approach, the derivative is introduced from the outset as a functional correspondence assigning to each point the slope coefficient of the tangent line. The paper demonstrates that the classical differentiation formulas arise naturally from interconnected geometric and algebraic structures and are subsequently consistent with standard limit-based analysis. From a methodological perspective, the study proposes the logical sequence: Tangent, Local Linear Structure, Limit formalisation. Thus, the paper presents a conceptual bridge between geometric intuition, algebraic construction, and classical differential calculus.

2605.20227 2026-05-21 astro-ph.CO gr-qc

Cosmological perturbations with $f(R)$ gravity scalarons : Galaxy power spectra and the scalaron mass

$f(R)$引力理论中的宇宙扰动:星系功率谱与标量子质量

Abhijit Talukdar, Sanjeev Kalita, Shadab Alam

AI总结 本文研究了$ f(R) $引力理论中的宇宙扰动,通过比较星系功率谱与$ \Lambda $CDM模型的差异,探讨了标量子质量在星系和大质量黑洞尺度上的行为。

Comments 22 pages, 9 figures, 1 table

详情
AI中文摘要

在本文中,我们研究了$ f(R) $引力理论中的宇宙扰动。我们考虑了从早期广义相对论(GR)阶段向晚期非GR阶段过渡的宇宙历史时期,针对一个接近$ \Lambda $CDM理论的可行$ f(R) $引力拉格朗日量。我们研究了物质功率谱与$ \Lambda $CDM场景的偏差。星系功率谱的各阶乘子通过星系偏差、速度分散和修改引力参数生成。在$ f(R) $理论中,单极和四极物质功率随着$ k $增大(小尺度)而增加,而四极功率谱在较小的$ k $(大尺度)范围内相对于$ \Lambda $CDM保持较高水平,直到$ k\approx 0.02 $。这些功率谱为通过当前和未来如DESI、EUCLID、4MOST和PFS等星系巡天任务测试引力提供了观测指标。我们报告了在星系和大质量黑洞尺度上标量子质量的适当GR极限。不同宇宙结构中标量子质量及其广义相对论极限的演化被报告。宇宙形成过程中偏离GR的原因归因于标量子质量随宇宙时间减小。

英文摘要

In this paper we study cosmological perturbations with $f(R)$ gravity scalaron. We consider epoch of transition from early general relativity (GR) phase to late time non-GR phase of cosmogenic history for a viable $f(R)$ gravity Lagrangian close to the $Λ$CDM theory at early cosmic history. We study deviation in matter power spectra from $Λ$CDM scenario. Galaxy power spectra multipoles are generated using galaxy bias, velocity dispersion and modified gravity parameters. While monopole and quadrupole matter power in $f(R)$ theory increase towards larger $k$ (small scales), quadrupole power spectrum remains elevated relative to $Λ$CDM for smaller $k$ (large scales), upto $k\approx 0.02$. These power spectra provide observables for testing gravity through the current and future galaxy survey missions such as DESI, EUCLID, 4MOST and PFS. We report appropriate GR limit of scalaron mass in galactic and massive black hole scales. Evolution of the scalaron mass and its general relativistic limit for various cosmic structures are reported. Deviation from GR in cosmogenic evolution is attributed to decrease in scalaron mass with cosmic time.

2605.20226 2026-05-21 math.HO math.LO

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention

艾丽丝·阿姆罗兹关于逻辑、先验概念以及惯例的形而上学

Juan J. Colomina-Alminana

AI总结 本文通过分析艾丽丝·阿姆罗兹在1931年的工作,指出她早于奎因对真理惯例论和分析-综合区分的批判,揭示了她在逻辑原则作为惯例的悖论、规定性定义中的无限回归、逻辑对惯例的先决作用以及分析-综合界限的不稳定性等方面的贡献。

详情
AI中文摘要

本文论证艾丽丝·阿姆罗兹早于奎因对真理惯例论(奎因,1936)和分析-综合区分(奎因,1951)的批判。作者展示了阿姆罗兹早在1931年就指出了四个关键点:(1)将逻辑原则视为纯粹惯例的悖论;(2)规定性定义中的无限回归;(3)逻辑对任何惯例的先决作用;(4)分析-综合界限的不稳定性。因此,阿姆罗兹预示了玛格丽特·麦克唐纳德(1934)未发表的博士论文(参见Spinney,2025),并且早于奎因在将其推广之前在逻辑哲学方面做出了一些重要贡献。

英文摘要

This essay argues that Alice Ambrose precedes key elements later critiques by Quine, first of Truth by convention (Quine 1936) and later of the analytic-synthetic distinction (Quine 1951). I demonstrate how Ambrose identifies in writing as early as in 1931: (1) the paradox of treating logical principles as mere conventions, (2) the infinite regress in stipulative definitions, (3) the preconditional role of logic for any convention, and (4) the instability of the analytic/synthetic divide. Ambrose, therefore, prefigures Margaret Macdonald (1934) unpublished dissertation (Cf. Spinney 2025) and predates some major contributions to the philosophy of logic by Quine a few years before he made them popular.

2605.20225 2026-05-21 math.HO math.LO math.NT

Extensionalism without Logicism: Ambrose and Extensional Logic

扩展主义无逻辑主义:阿姆布罗斯与扩展逻辑

Juan J. Colomina-Alminana

AI总结 本文通过阿姆布罗斯早期工作,探讨其在保持扩展逻辑严谨性的同时拒绝逻辑主义的哲学项目,主要贡献是提出一种以有限停止规则定义的有限主义扩展主义。

Comments 31pp

详情
AI中文摘要

主要基于她早期工作(1931-1934),我论证了Alice Ambrose发展了一个以保持扩展逻辑的严谨性为核心,同时拒绝逻辑主义的哲学项目,因为后者对物质无穷性的承诺。将阿姆布罗斯定位为从形式主义( Russell)向构造主义转向( Brouwer)之间的过渡人物,我展示了阿姆布罗斯如何提供一种以有限停止规则定义的有限主义扩展主义的实践陈述。仅使用扩展方法(通过成员和真值考虑类、关系和命题,而不是心理过程),阿姆布罗斯重新表述了关于π作为一个显式无穷析取的现实实例的存在性主张,反对意向性项目,坚持此类主张只有通过产生见证的有限停止规则才获得意义。

英文摘要

Drawing primarily on her early work (1931-1934), I argue that Alice Ambrose develops a philosophical project centered on preserving the rigor of extensional logic while rejecting the metaphysical and epistemological endorsements of logicism because of its commitment to the notion of material infinity. Positioning Ambrose as a transitional figure between formalism (Russell) and the constructivist turn represented by intuitionism (Brouwer), I demonstrate how Ambrose offers a practice oriented statement of finitist extensionalism. Employing only extensional methods (considering classes, relations, and propositions by reference to their members and truth values instead of mental processes), Ambrose reformulates an existential claim about pi as an explicit infinite disjunction of concrete instances insisting, against intensional projects, that such claims gain meaning only through a finite stopping rule that produces a witness.

2605.20224 2026-05-21 math.NT

High-Precision Approximation of Riemann Zeros via the Truncated Weil Form

通过截断Weil形式高精度近似黎曼零点

Akiva Groskin

AI总结 本文提出了一种基于截断Weil二次形式的高精度近似方法,通过在不同截断参数下计算得到的特征值,验证了该方法在逼近黎曼零点方面的高精度表现,并展示了其在不同参数下的收敛性。

Comments 42 pages, 9 figures, ancillary numerical data and reproduction scripts in anc/. Python package: pip install connes-cvs (github.com/akivag613/connes-cvs-). Full versioned data archive on Zenodo: doi.org/10.5281/zenodo.19546514

详情
AI中文摘要

Connes-van Suijlekom截断Weil二次形式,由截断参数c控制进入算子的素数p≤c,其基态的傅里叶-梅林零点已被证明位于临界线上;是否随着c→∞趋近于黎曼零点仍是一个开放问题(Connes 2026;Connes-Consani-Moscovici 2025)。我们首次公开实现了CvS伽辽金矩阵,在十六个截断参数(c=13到67,加上c=100)下进行计算。在c=13到c=67,N=100的情况下,第一个零点的绝对误差|γ₁-γ₁_Riemann|单调递减,从约2×10⁻⁵⁵减少到约1.5×10⁻¹⁶⁸——在十五个截断参数下实现了113个数量级的收敛。最小的正偶数区特征值λ_min^even在c=100,N=250时分别达到约10⁻³³⁴(从c=13到c=100的跨度为275个数量级),并且相同特征向量在N=250,dps=500时恢复γ₁,…,γ₁₀到307-329位匹配数字。在与CCM 2025引理5.1的幺正等价下,每个γ_k(除了c=100的假设状态除外)是CCM秩一算子D_{log}^{(λ,N)}在λ=√c处的特征值。在四点N次扫描下,Aitken-Δ²在两个连续三元组上给出log₁₀|λ_∞^even|≈-536.76和≈-533.70,随着N的增加单调接近Connes 2026第6.4节的启发式连续预测(≈-530.38)。在c≤67,N=100时,经验拟合|log₁₀λ_min|≈13.24c^0.634被证明是一个有限N的速率,但在c=100,N=200时被49个数量级所否定。在c=100时的原始谱中,N=100,150,200,250时分别有3,5,8,11个负号特征值;QW_λ的连续正性与RH等价,但我们在λ=√100时不做假设。我们不声称证明。

英文摘要

The Connes-van Suijlekom truncated Weil quadratic form, indexed by a cutoff parameter $c$ that controls the primes $p\leq c$ entering the operator, has a ground state whose Fourier-Mellin zeros provably lie on the critical line; whether they converge to the Riemann zeros as $c\to\infty$ is open (Connes 2026; Connes-Consani-Moscovici 2025). We present, to our knowledge, the first public implementation of the CvS Galerkin matrix at sixteen cutoffs ($c=13$ through $67$, plus $c=100$). Across $c=13$ through $c=67$ at $N=100$, the first-zero absolute error $|γ_1-γ_1^{\mathrm{Riemann}}|$ shrinks monotonically from $\sim 2\times 10^{-55}$ to $\sim 1.5\times 10^{-168}$ -- a 113-OOM convergence across fifteen cutoffs. The smallest-positive even-sector eigenvalue $λ_{\min}^{\mathrm{even}}$ separately reaches $\sim 10^{-334}$ at $c=100$, $N=250$ (275-OOM span from $c=13$), and the same eigenvector recovers $γ_1,\ldots,γ_{10}$ to 307-329 matching digits at $N=250$, $\mathrm{dps}=500$. Under the unitary equivalence with CCM 2025 Lemma 5.1, each $γ_k$ is (modulo a hypothesis-status caveat at $c=100$) an eigenvalue of the CCM rank-one operator $D_{\log}^{(λ,N)}$ at $λ=\sqrt c$. On the four-point $N$-sweep at $c=100$, Aitken-$Δ^2$ on two consecutive triples gives $\log_{10}|λ_\infty^{\mathrm{even}}|\approx -536.76$ and $\approx -533.70$, approaching the Connes 2026 Section 6.4 heuristic continuum prediction ($\approx -530.38$) monotonically with $N$. The empirical fit $|\log_{10}λ_{\min}|\approx 13.24 c^{0.634}$ on $c\leq 67$, $N=100$ is shown to be a finite-$N$ rate, falsified at $c=100, N=200$ by 49 OOM. The raw spectrum at $c=100$ carries 3, 5, 8, 11 negative-sign eigenvalues for $N=100,150,200,250$; continuum positivity of $QW_λ$ is RH-equivalent and we do not assume it at $λ=\sqrt{100}$. We make no claim of proof.

2605.20221 2026-05-21 physics.gen-ph

Traversable Wormhole Geometry Reconstruction from the Rotation Curve of NGC 3198: A Comparative Study of Dark Matter Halo Profiles

从NGC 3198的旋转曲线重建可穿越虫洞几何:暗物质晕剖面的比较研究

Saibal Ray Aritra Sanyal

AI总结 本文通过NGC 3198的旋转曲线数据,利用χ²最小化方法拟合四种暗物质晕剖面,重建虫洞度规,并发现Burkert剖面在拟合度、虫洞指标和NEC违反程度上表现最佳,表明观测到的暗物质分布可以支持可穿越虫洞。

详情
AI中文摘要

我们开发了一个以观测驱动的框架,逆转了标准虫洞方法:而不是假设Morris-Thorne可穿越虫洞几何并推导支撑物质,我们直接从螺旋星系NGC 3198的观测旋转曲线重建虫洞度规。利用SPARC数据(D=13.8 Mpc;0.32-44.08 kpc范围内43个测量值),我们通过Nelder-Mead算法进行χ²最小化,拟合四种暗物质晕剖面——Hernquist、Navarro-Frenk-White(NFW)、Burkert和Einasto。对于每个最佳拟合密度剖面ρ(r),通过圆周测地关系f′(r)=v²(r)/r重建红移函数,而形状函数则由爱因斯坦场方程得出,b′(r)=8πGρ(r)r²/c²。我们定义无量纲虫洞指标W(r)=b(r)/r,并在观测的银河域内评估其值。所有四种剖面均满足W(r)≪1,表明观测区域完全位于重建的虫洞几何可穿越外部区域。 flare-out条件b′(r)<1在多个数量级上得到满足。核心化的Burkert和Einasto剖面在银河中心附近表现出null能量条件(NEC)违反,表明有效的奇异物质与虫洞支撑相容,而尖峰状的Hernquist和NFW剖面保持NEC。在所有模型中,Burkert剖面提供最佳拟合(χ² dof=2.545),最大的虫洞指标(W_max=5.62×10⁻⁷)和最强的NEC违反,表明观测上偏好的暗物质分布也可以支撑可穿越虫洞。这些结果确立了银河旋转曲线作为虫洞物理观测探测的潜在可能性。

英文摘要

We develop an observation-driven framework that reverses the standard wormhole approach: instead of assuming a Morris--Thorne traversable wormhole geometry and deriving the supporting matter, we reconstruct the wormhole metric directly from the observed rotation curve of the spiral galaxy \mbox{NGC\,3198}. Using SPARC data ($D=13.8\,\mathrm{Mpc}$; 43 measurements over $0.32$--$44.08\,\mathrm{kpc}$), we fit four dark-matter halo profiles -- Hernquist, Navarro--Frenk--White (NFW), Burkert, and Einasto -- through $χ^2$ minimisation with the Nelder--Mead algorithm. For each best-fit density profile $ρ(r)$, the redshift function is reconstructed from the circular geodesic relation $f'(r)=v^2(r)/r$, while the shape function follows from the Einstein field equations, $b'(r)=8πGρ(r)r^2/c^2$. We define the dimensionless wormhole indicator $\mathcal{W}(r)=b(r)/r$ and evaluate it across the observed galactic domain. All four profiles satisfy $\mathcal{W}(r)\ll1$, implying that the observed region lies entirely within the traversable exterior of the reconstructed wormhole geometry. The flare-out condition $b'(r)<1$ is satisfied everywhere by several orders of magnitude. The cored Burkert and Einasto profiles exhibit null energy condition (NEC) violation near the galactic centre, indicating effective exotic matter compatible with wormhole support, whereas the cuspy Hernquist and NFW profiles preserve the NEC. Among all models, the Burkert profile provides the best fit ($χ^2_{\rm dof}=2.545$), the largest wormhole indicator ($\mathcal{W}_{\max}=5.62\times10^{-7}$), and the strongest NEC violation, suggesting that the observationally favoured dark-matter distribution can also sustain a traversable wormhole. These results establish galactic rotation curves as a potential observational probe of wormhole physics.

2605.20219 2026-05-21 cond-mat.soft cond-mat.mtrl-sci

A Design Framework for Compositional Hierarchical Mechanical Metamaterials via a Qualitative Unit-Cell Library

通过定性单元格库设计复合级联机械元材料的框架

Shammo Dutta, Girish Krishnan, Sree Kalyan Patiballa

AI总结 本文提出了一种两步设计框架,用于设计具有复合级联结构的机械元材料,通过参数化弹性矩阵优化设计域并选择合适的微观结构几何形状以满足所需的运动学或刚度要求。

Comments 12 pages, 10 figures, Under Review in ASME Journal of Mechanical Design

详情
AI中文摘要

层次化设计的机械元材料涉及嵌套的结构组织层次,模仿自然结构(如骨骼、木材和鸟羽毛)来创建先进的功能材料。复合级联,一种特定的层次化策略,通过系统地组装离散的构建块,因其模块化特性在工程设计中具有独特优势。这涉及对不同微观结构的适当选择和空间安排,从而实现所需的宏观机械行为。为了设计此类复合级联元材料,本文提出了一种两步设计框架。首先,使用参数化弹性矩阵对设计域进行材料优化,以获得最优的概念设计。其次,从定性库中选择构建块微观结构几何形状,并进行形状-尺寸细化以满足所需的运动学或刚度要求。为了构建定性库,首先引入了一种新的参数化方案,将平面各向异性弹性矩阵分为四个不同的类别。利用运动静力载荷流可视化技术,候选微观结构几何形状随后被填充到这四个类别中。该框架通过设计具有指定横向刚度要求的悬臂梁和具有指定目标变形模式的平面板进行验证。因此,本文的工作提供了一种系统且物理直观的方法,适用于任意运动学变形和刚度要求。

英文摘要

Hierarchically designed mechanical metamaterials involve nested levels of structural organization, mimicking natural structures (such as bones, wood, and bird feathers) to create advanced functional materials. Compositional hierarchy, a specific type of hierarchical strategy that involves the methodical assembly of discrete building blocks, offers unique advantages in engineering design due to its modular nature. This involves proper selection and spatial arrangements of distinct microstructures, as a result of which the desired macro-scale mechanical behavior can be achieved. Towards the design of such compositional hierarchical metamaterials, this paper presents a two-step design framework. First, material optimization of the design domain is performed using a parameterized elasticity matrix to obtain optimal conceptual designs. Second, building-block microstructure geometries are selected from a qualitative library and subjected to shape-size refinement to satisfy the desired kinematic or stiffness requirements. To construct the qualitative library, a novel parametrization scheme is initially introduced, which categorizes the planar orthotropic elasticity matrix into four distinct classes. Utilizing a kinetostatic load flow visualization technique, the candidate microstructure geometries are then populated within these four classes. The framework is validated for the design of a cantilever beam with a specified lateral stiffness requirement and the design of planar sheets that exhibit specified target deformation patterns. Thus, the present work provides a systematic and physically intuitive methodology applicable to arbitrary kinematic deformation and stiffness requirements.

2605.20216 2026-05-21 math.HO

Besant quadrilaterals

Besant四边形

Alan Horwitz

AI总结 本文通过椭圆内接于四边形的系数公式,解决了Besant提出的问题,并证明了其逆定理及额外结果,特别是当四边形为梯形时的情况,同时证明了只有当四边形为正交对角线时,才存在内接椭圆。

Comments 13 pages, 5 figures

详情
AI中文摘要

我们使用一个内接于四边形Q的椭圆系数公式,解决了W.H. Besant提出的问题:如果一个椭圆内接于四边形,使得一个焦点到四个顶点等距(称为EP点),另一个焦点必须在对角线交点(称为IP点)。我们还证明了不仅仅是解决Besant的问题本身,还证明了逆定理及额外结果,当Q为梯形时。最后,我们证明了这样的内接椭圆存在当且仅当Q是正交对角线的四边形。

英文摘要

We solve the following problem of W.H. Besant using a formula for the coefficients of an ellipse inscribed in a quadrilateral, $Q$: \enquote{If an ellipse be inscribed in a quadrilateral so that one focus is equidistant from the four vertices(call that point $EP$), the other focus must be at the intersection of the diagonals(call that point $IP$).} We also prove somewhat more than just solving Besant's problem itself, though it would be nice to see the details of the geometric approach proposed by Besant. More precisely, we also prove the converse result and additional results when $Q$ is a trapezoid. Finally, we show that such an inscribed ellipse exists if and only if $Q$ is orthodiagonal.

2605.20215 2026-05-21 cs.CC cs.LO math.LO math.NT

Measuring Decidability as Related to Busy Beaver Numbers

根据Busy Beaver数测量可判定性

Gurpreet Tandi, Josue Gonzalez-Hendrix, Jonathan Brown

AI总结 本文通过构造特定的图灵机来探索布罗卡德问题和费马素数的解,利用Busy Beaver数的概念来分类逻辑系统对猜想的描述能力。

Comments Preprint. 19 pages. 4 tables. 4 Turing machine diagrams. 12 tape state diagrams

详情
AI中文摘要

理论上的Busy Beaver数的存在提供了一种新的可判定性概念和相应的猜想猜测方法。最小状态数用于将猜想建模,从而分类哪些逻辑系统可以描述该猜想。在本工作中,我们构造了显式的图灵机,用于寻找大于7的布罗卡德问题的解以及超出第4个的费马素数的解,这些图灵机在解存在时才会停止。

英文摘要

The theoretical existence of Busy Beaver numbers provides a new notion for decidability and corresponding heuristic for conjectures. The minimum number of states in which a conjecture can be modeled gives a classification of what logic system can describe said conjecture. In this work, we construct explicit Turing machines that search for a solution to Brocard's problem greater than 7 and a Fermat prime beyond the 4th which halt if and only if such a solution exists.

2605.20213 2026-05-21 math.GM

Phase Transitions in Turnpike Theory For Mean-Field Games

Mean-Field Games 中的相变现象:关于趋近于平衡的相变理论

Siddharth Karuturi

AI总结 本文研究了在平坦 торus 上的 translation-invariant 平均场博弈,其中相互作用函数为 F(x,m)=γ(K*m)(x),K 是光滑、偶函数且均值为零。通过线性化均匀平衡态,得到 mode-wise 的 2×2 系统,其色散关系为 σ_ξ(γ)=ν²(2π|ξ|)⁴ + γ(2π|ξ|)²\hat K(ξ)。如果 \hat K 在某些模式下为负,那么临界阈值 γ_c 标志着稳定性丧失;否则 γ_c=+∞。在临界点附近,谱间隙随 γ_c-γ 的平方根缩放。对于 γ<γ_c,均匀态在有限时间问题中呈指数稳定,速率为 ρ(γ)。在 γ=γ_c,谱间隙关闭,经过相位固定和中心流形约简后,得到阶数为 T^{-1/2} 的代数中点衰减。对于 γ>γ_c,非均匀稳态解分支通过 pitchfork 型振幅方程,通过平移生成完整家族。最后,在 subcritical regime 下,对称 N-player 均衡的渐近一致性假设下,获得质量传播混沌的定性结果,但无定量速率。

Comments 19 pages, 0 figures

详情
AI中文摘要

我们研究了在平坦 торus 上的 translation-invariant 平均场博弈,其中相互作用函数为 F(x,m)=γ(K*m)(x),其中 K 是光滑、偶函数且均值为零。该相互作用为势能型,来源于二次能量的第一变分,尽管稳态系统不通过变分方法处理。在均匀平衡态附近线性化得到 mode-wise 的 2×2 系统,其色散关系为 σ_ξ(γ)=ν²(2π|ξ|)⁴ + γ(2π|ξ|)²\hat K(ξ)。如果 \hat K 在某些模式下为负,那么有限阈值 γ_c= min_{\hat K(ξ)<0} [ν²(2π|ξ|)² / | \hat K(ξ) | ] 标志着稳定性丧失;否则 γ_c=+∞。在临界点附近,谱间隙随 γ_c-γ 的平方根缩放。对于 γ<γ_c,均匀态在有限时间问题中呈指数稳定,速率为 ρ(γ)。在 γ=γ_c,谱间隙关闭,经过相位固定和中心流形约简后,得到阶数为 T^{-1/2} 的代数中点衰减。对于 γ>γ_c,非均匀稳态解分支通过 pitchfork 型振幅方程,通过平移生成完整家族。最后,在 subcritical regime 下,对称 N-player 均衡的渐近一致性假设下,获得质量传播混沌的定性结果,但无定量速率。

英文摘要

We study a translation-invariant mean-field game on the flat torus with interaction $F(x,m)=γ(K*m)(x)$, where $K$ is smooth, even, and mean-zero. The interaction is of potential type, arising as the first variation of a quadratic energy, though the stationary system is not treated variationally. Linearizing around the uniform equilibrium yields mode-wise $2\times 2$ systems with dispersion $σ_ξ(γ)=ν^2(2π|ξ|)^4+γ(2π|ξ|)^2\hat K(ξ)$. If $\hat K$ is negative for some mode, a finite threshold \[ γ_c=\min_{\hat K(ξ)<0}\frac{ν^2(2π|ξ|)^2}{|\hat K(ξ)|} \] marks loss of stability; otherwise $γ_c=+\infty$. Near criticality, the spectral gap scales as $ρ(γ)\sim C_*\sqrt{γ_c-γ}$. For $γ<γ_c$, the uniform state is exponentially stable in the turnpike sense for finite-horizon problems, with rate $ρ(γ)$. At $γ=γ_c$, the gap closes and, after phase fixing and center-manifold reduction, one obtains algebraic midpoint decay of order $T^{-1/2}$. For $γ>γ_c$, a branch of nonuniform stationary solutions bifurcates via a pitchfork-type amplitude equation, with translations generating the full family. Finally, under standard asymptotic-consistency assumptions on symmetric $N$-player equilibria in the subcritical regime, we obtain qualitative propagation of chaos, without quantitative rates.

2605.20212 2026-05-21 math.GM

Robust Chance Constrained Complex Zero-Sum Games

鲁棒机会约束复零和博弈

Raneem Madani, Abdel Lisser, Zeno Toffano

AI总结 本文提出了一种统一的零和博弈框架,其中纯策略和收益矩阵都包含复数元素。通过利用复数和实向量空间之间的线性同构关系,将实值凸分析的关键结果扩展到复数域,建立了极小极大定理的有效性和鞍点结构的保持。在此基础上,提出了一种复零和博弈模型,使混合策略能够与收益矩阵的实部和虚部相互作用,并通过关联的对偶问题来表征其鞍点均衡。为引入不确定性,我们引入了一个复机会约束零和博弈模型(3CP),该模型处理由复线性泛函定义的个体概率约束。首先在已知的精确分布下研究3CP公式,专注于复椭圆对称随机变量,这扩展了复高斯家族。然后将框架扩展到基于矩的模糊集,包括:(i) 具有已知第一二矩的分布,(ii) 具有未知二阶矩的分布,以及(iii) 完全分布未知矩的分布。在所有情况下,概率约束都允许确定性的二次锥表示,确保了凸可行策略集,并能够显式表征复博弈值。数值实验,包括发射机-干扰机波形交互模型,展示了所提框架如何捕捉复混合策略的行为。此外,我们评估了外推率,并确认了实际行为与理论保证高度一致。

详情
AI中文摘要

本文开发了一种统一的零和博弈框架,其中纯策略和收益矩阵都包含复数元素。通过利用复数和实向量空间之间的线性同构关系,我们将实值凸分析的关键结果扩展到复数域,从而建立了极小极大定理的有效性和鞍点结构的保持。在此基础上,我们提出了一个复零和博弈模型,使混合策略能够与收益矩阵的实部和虚部相互作用,并通过关联的对偶问题来表征其鞍点均衡。为引入不确定性,我们引入了一个复机会约束零和博弈模型(3CP),该模型处理由复线性泛函定义的个体概率约束。首先在已知的精确分布下研究3CP公式,专注于复椭圆对称随机变量,这扩展了复高斯家族。然后将框架扩展到基于矩的模糊集,包括:(i) 具有已知第一二矩的分布,(ii) 具有未知二阶矩的分布,以及(iii) 完全分布未知矩的分布。在所有情况下,概率约束都允许确定性的二次锥表示,确保了凸可行策略集,并能够显式表征复博弈值。数值实验,包括发射机-干扰机波形交互模型,展示了所提框架如何捕捉复混合策略的行为。此外,我们评估了外推率,并确认了实际行为与理论保证高度一致。

英文摘要

This paper develops a unified framework for zero-sum games in which both the pure strategies and the payoff matrices contain complex-valued entries. By leveraging a linear isomorphism between complex and real vector spaces, we extend key results from real-valued convex analysis to the complex domain, establishing the validity of the minimax theorem and the preservation of saddle-point structure. Building on this foundation, we formulate a complex zero-sum game model that enables mixed strategies to interact with the real and imaginary components of the payoff matrix, and we characterize its saddle-point equilibrium through associated primal and dual problems. To incorporate uncertainty, we introduce a complex chance-constrained zero-sum game model (3CP) that handles individual probabilistic constraints defined by complex linear functionals. We first study the 3CP formulation under known exact distributions, focusing on Complex Elliptically Symmetric random variables, which generalize the complex Gaussian family. The framework is then extended to moments-based ambiguity sets, including: (i) distributions with known first two moments, (ii) distributions with unknown second-order moments, and (iii) fully distributed with unknown moments. In all cases, the probabilistic constraints admit deterministic second-order cone representations, ensuring convex feasible strategy sets and enabling explicit characterization of the complex game value. Numerical experiments, including a transmitter--jammer waveform interaction model, show how the proposed framework captures the behavior of complex mixed strategies. Additionally, we evaluate out-of-sample rates and confirm that practical behavior closely aligns with the theoretical guarantees.

2605.20208 2026-05-21 cs.CR cs.CY q-bio.TO

Artificial Pancreas Implantables -- How Healthcare Professionals May Deal With DIY Bio Cases

人工胰腺植入体——医疗专业人员如何应对DIY生物案例

Austin James, Xavier-Lewis Palmer, Lucas Potter, Celisha Oscar

AI总结 本文探讨了医疗专业人员在处理受监管和DIY人工胰岛素输注系统时面临的网络安全风险及临床实践挑战。

详情
AI中文摘要

自动化胰岛素输送(AID)和人工胰腺系统越来越多地作为安全关键的网络物理技术应用于临床护理,整合传感器、算法、软件和胰岛素输送硬件,以自动化维持生命的治疗。尽管受监管的商业系统受到正式批准途径、制造商治理和市场后监控的支持,但临床医生也遇到依赖自制(DIY)人工胰腺系统患者,这些系统在传统监管和机构控制结构之外运行。本文研究了常规临床处理实践如何与受监管和DIY AID系统之间的网络生物安全风险交叉。当胰岛素输送系统被根本性重新配置为定制AID系统时,患者用户成为主要威胁来源,通过承担制造商级别的角色而没有强制性的治理,整个利益相关者的生态系统都处于法律和临床不确定性之中。

英文摘要

Automated insulin delivery (AID) and artificial pancreas systems increasingly serve as safety-critical cyber-physical technologies in clinical care, integrating sensors, algorithms, software, and insulin-delivery hardware to automate a life-sustaining therapy. While regulated commercial systems are supported by formal approval pathways, manufacturer governance, and post-market surveillance, clinicians are also encountering patients who rely on do-it-yourself (DIY) artificial pancreas systems that operate outside conventional regulatory and institutional control structures. This paper examines how routine clinical handling practices intersect with cyberbiosecurity risk across both regulated and DIY AID systems. When insulin delivery systems are fundamentally reconfigured into a bespoke AID system, with the patient-user becoming the primary threat vector by assuming manufacturer-level roles without mandated governance, the entire ecosystem of stakeholders is placed in legal and clinical uncertainty.

2605.20207 2026-05-21 cs.HC

HealthTale: A Patient-Centric Health Story Visualization Tool

HealthTale: 一种以患者为中心的健康故事可视化工具

Ryan Smith, Kyle D. Chin, Tamara Munzner

AI总结 本文提出HealthTale,一种以患者为中心的健康故事可视化工具,旨在帮助患者表达和组织他们的健康经历,从而在初次临床交流中促进沟通。

详情
AI中文摘要

患者在时间有限的临床会诊中往往难以提供连贯的健康史叙述。这些叙述,我们称之为健康故事,包括临床事件和生活体验。现有系统优先考虑结构化的、以医生为中心的数据,并在提取和传达患者生成的叙述方面提供有限的支持。我们提出了HealthTale,一种以患者为中心的可视化系统,旨在从患者处获取健康故事并将其结构化,以促进初次临床交流中的沟通。其设计源于多阶段的定性研究,包括领域专家讨论、在线叙述(n=20)、患者(n=11)和医生(n=6)的访谈,以及提取的健康故事(n=22),识别出个体如何构建和传达健康故事的重复模式。HealthTale将自由叙述转化为结构化的时间线表示,基于一种数据抽象,将健康故事建模为按健康问题和时间分组的事件,捕捉临床和上下文信息,并能够处理时间不精确的数据和事件在时间上的非线性分布。通过与患者(n=34)和医生(n=3)的评估,我们发现HealthTale支持回忆、组织和自我倡导,同时使医生能够快速解读患者生成的叙述并建立共同的理解。

英文摘要

Patients often struggle to communicate coherent accounts of their health histories during time-constrained clinical encounters. These accounts, which we refer to as health stories, include both clinical events and lived experiences. Existing systems prioritize structured, clinician-centered data and provide limited support for eliciting and communicating patient-generated narratives. We present HealthTale, a patient-centric visualization system designed to elicit health stories from patients and structure them to facilitate communication during initial clinical conversations. Its design arises from a multi-stage qualitative investigation across domain expert discussions, online narratives (n=20), patient (n=11) and clinician (n=6) interviews, and elicited health stories (n=22), identifying recurring patterns in how individuals construct and communicate their health stories. HealthTale transforms freeform narratives into structured timeline representations, grounded in a data abstraction that models health stories as events that are grouped by health concern and time, capturing both clinical and contextual information, with the flexibility to handle temporally imprecise data and non-linear distributions of events across time. Through evaluation with patients (n=34) and clinicians (n=3), we find that HealthTale supports recall, organization, and self-advocacy, while enabling clinicians to rapidly interpret patient-generated narratives and establish a shared understanding.

2605.20205 2026-05-21 cs.HC

Challenges in Working Towards Patient Engagement in Developing Technology Prototypes

在开发技术原型过程中实现患者参与的挑战

Fateme Rajabiyazdi, Julie Babione, Doreen M. Rabi, Foroozan Daneshzand, Sheelagh Carpendale

AI总结 本文探讨了在开发支持多慢性病患者日常自我管理的数字健康干预措施时面临的挑战,总结了在复杂慢性病护理中设计患者参与的关键经验。

Comments Accepted to the CHI 2026 Workshop on Engagement in Digital Health Interventions

详情
AI中文摘要

为患有多种慢性病的人创造支持性技术极为具有挑战性。这些患者常常面临大量的可见和不可见的治疗工作,以及日常责任,包括协调不同提供者、跟踪信息以及在情绪紧张的背景下重复沟通。在累积复杂性模型(CuCoM)中,患者的工作量与患者能力之间的平衡决定了患者能够实际承担的任务,包括数字工具是否能够被采用和持续使用。在本文中,我们报告了在实施MyCareCompass这一面向患者的数字健康干预措施(DHI)时的参与经验。我们定义参与为在平台为期两个月的试点研究期间的患者使用和持续使用,基于使用分析和后续反馈,并总结了三个设计用于复杂慢性病护理中参与的关键经验。

英文摘要

Creating supportive technologies for people living with multiple chronic conditions is extremely challenging. These patients are often faced with substantial visible and invisible treatment work as well as their everyday responsibilities, including coordinating across providers, tracking information, and repeating communication in emotionally charged contexts. In the Cumulative Complexity Model (CuCoM), the balance between patient workload and patient capacity shapes what patients can realistically take on, including whether a digital tool can be adopted and sustained. In this paper, we report engagement lessons from implementing MyCareCompass, a patient-facing digital health intervention (DHI) intended to support day-to-day self-management for people living with multiple chronic conditions. We define engagement as patient uptake and sustained use during a two-month pilot study of our platform, drawing on usage analytics and follow-up feedback, and distill three implementation lessons for designing for engagement in complex chronic care.

2605.18461 2026-05-21 cs.SE

One Developer Is All You Need: A Case Study of an AI-Augmented One-Person Squad in a Brownfield Enterprise

一个开发者就够了:在棕色场企业中一个AI增强的单人小队的案例研究

Marcelo Vilas Boas, Gustavo Pinto, Edward Roberto Monteiro, Vinicius Fernandes Carida, Danilo Ribeiro

AI总结 本研究探讨了在受监管的企业环境中如何设计和评估一个由AI增强的单人小队,发现AI工具能提高单个工程师的效率,而规范质量和机构知识是单人小队成功的关键约束。

Comments 10 pages

详情
AI中文摘要

AI工具使工程师能够吸收原本分布在跨职能小队中的角色,但目前缺乏有关如何在受监管的企业环境中设计或评估此类单人小队的结构化证据。没有这种证据,采用该模型的组织缺乏指导,无法确定哪些设计决策使其可行,哪些条件会导致其失效。我们报告了一个案例研究,其中一位工作人员工程师在特定驱动开发流程的支持下,利用四个AI代理,完成了原本四人小队计划的棕色场产品倡议,耗时仅为计划的一半,首次审查中90%的AI生成代码被接受,完整集成测试通过率,以及直接人力成本减少超过85%。结果表明,AI并不取代团队成员,而是提高了剩余经验工程师的吞吐量,使规范质量和机构知识,而非模型能力,成为单人小队成功的关键约束。

英文摘要

AI tools are enabling engineers to absorb roles previously distributed across cross-functional squads, yet there is little structured evidence on how to design or evaluate such a one-person squad in a regulated enterprise setting. Without that evidence, organizations adopting this model lack guidance on which design decisions make it viable and which conditions cause it to break down. We report a case study in which a single staff engineer, supported by four AI agents under a Spec-Driven Development workflow, delivered a brownfield product initiative scoped for a four-person squad in half the planned time, with 90\% acceptance of AI-generated code on first review, full integration test pass rates, and an above-85\% reduction in direct staffing cost. The results indicate that AI does not replace team members it multiplies the throughput of the experienced engineer who remains, making specification quality and institutional knowledge, not model capability, the binding constraints on one-person squad success.

2605.17982 2026-05-21 math.OC

A Benders Decomposition Approach for the k-Defensive Domination Problem

一个用于k-防御支配问题的Benders分解方法

Bilge Varol, Tınaz Ekim, Kübra Tanınmış

AI总结 本文提出了一种基于Benders分解的算法,用于解决k-防御支配问题,通过引入组合方法和多重切分策略,提高了计算效率,并提出了两种新的增强策略,包括基于聚类覆盖的启发式方法和初始切分启发式方法,实验表明该方法能解决传统方法无法处理的问题。

详情
AI中文摘要

k-防御支配问题是一个强大的建模工具,用于网络安全和灾难/紧急管理中的战略决策,其中多个节点可能同时受到攻击。尽管其实际应用相关性高,但该问题研究较少,主要由于计算难度大。本研究探讨了将Benders分解应用于k-防御支配问题,以提高计算效率。提出了几种切分生成策略,包括组合方法和同时添加多个切分策略。理论结果展示了可行性切分的强度。此外,还提出了两种新的增强策略:基于聚类覆盖的启发式方法,是文献中首次可行解方法,能将上界改进达98%;以及初始切分生成启发式方法,在某些情况下无需进一步分支即可解决问题。在Erdos-Renyi、chordal和Barabasi-Albert实例上的实验表明,包含所有提出组件的算法变体能够解决传统方法和标准Benders分解无法处理的实例。

英文摘要

The k-defensive domination problem is a powerful modeling tool for strategic decision-making in network security and disaster/emergency management, where multiple nodes may be simultaneously under attack. Despite its practical relevance, the problem has been poorly studied, largely due to its high computational difficulty. This study investigates the application of Benders decomposition to the k-defensive domination problem, aiming to improve computational efficiency over standard integer programming formulations. Several cut generation strategies, including a combinatorial approach and the simultaneous addition of multiple cuts, are proposed. Theoretical results on the strength of feasibility cuts are presented. In addition, two novel enhancement strategies are proposed: a clique-cover-based heuristic, the first feasible solution method in the literature for this problem, achieving up to 98% improvement over the trivial upper bound, and an initial cut generation heuristic that in some cases resolves the problem without further branching. Experiments on Erdos-Renyi, chordal, and Barabasi-Albert instances show that the algorithm variant involving all of the proposed components is able to solve instances that remain out of reach for classical formulations and standard Benders decomposition.

2605.17657 2026-05-21 cs.DL cs.DB

General Science Ranking (GSR): An Open-Source, Citation-Normalized Journal and Conference Classification System for Computer Science and Medicine

通用科学排名(GSR):一个用于计算机科学和医学的开源、引用标准化的期刊和会议分类系统

Zhikai Yu

AI总结 本文提出了一种基于开源数据的多维文献计量框架GSR,用于对计算机科学和医学领域的期刊和会议进行分类,提供了一种免费、可重复、领域标准化的排名系统,适用于机构评估政策。

详情
AI中文摘要

学术期刊分区系统在评估研究人才、资金和机构方面至关重要。CAS期刊分区系统是东亚最广泛使用的工具之一,将于2026年3月停止运行,造成政策空白。现有替代方案存在重大局限:JCR依赖付费数据库并排除会议;Scimago/CiteScore依赖Elsevier专有数据;专家基于的排名如CCF和CORE缺乏定量基础且更新缓慢。本文提出了通用科学排名(GSR),一个完全基于开源数据的多维文献计量框架。GSR涵盖500个计算机科学领域(397个期刊和103个会议)和500个医学期刊,使用OpenAlex和Semantic Scholar。得分结合四个指标:领域加权引用影响(FWCI)、两年影响因子(IF2)、五年h指数(h5)和引用CAGR。对于缺乏引用时间序列数据的计算机科学会议,通过在141万篇OpenAlex期刊论文上校准估算IF2-近似值。排名采用固定配额:Q1(1-50)、Q2(51-100)、Q3(101-200)和Q4(201+)。所有代码和数据都是开源的。在计算机科学排名中,会议和期刊各占据前50名Q1中的25个位置。领先的会议是NeurIPS、ICCV、ILSR和CVPR。在医学领域,CA:A Cancer Journal for Clinicians排名第一,随后是《新英格兰医学杂志》和《柳叶刀》。与JCR Q1的吻合度在医学领域达到84%,在计算机科学领域达到71%。敏感性分析显示,仅1.7%到2.5%的计算机科学会议改变分区,表明了鲁棒性。GSR提供了一种免费、可重复、领域标准化的排名系统,涵盖期刊和会议,适用于机构评估政策。

英文摘要

The academic journal zoning system is central to evaluating research talent, funding, and institutions. The CAS journal partition system, one of East Asia's most widely used tools, will cease operation in March 2026, creating a policy gap. Existing alternatives have major limitations: JCR depends on paid databases and excludes conferences; Scimago/CiteScore relies on Elsevier proprietary data; expert-based rankings such as CCF and CORE lack quantitative foundations and update slowly. This paper proposes the General Science Ranking (GSR), a multidimensional bibliometric framework built entirely on open-source data. GSR covers 500 computer science venues (397 journals and 103 conferences) and 500 medical journals using OpenAlex and Semantic Scholar. Scores combine four indicators: field-weighted citation impact (FWCI), two-year impact factor (IF2), five-year h-index (h5), and citation CAGR. For CS conferences lacking citation time-series data, IF2-approx was estimated from calibration on 1.41 million OpenAlex journal papers. Rankings adopt fixed quotas: Q1 (1-50), Q2 (51-100), Q3 (101-200), and Q4 (201+). All code and data are open source. In CS rankings, conferences and journals each occupy 25 of the top 50 Q1 positions. The leading conferences are NeurIPS, ICCV, ICLR, and CVPR. In medicine, CA: A Cancer Journal for Clinicians ranks first, followed by New England Journal of Medicine and The Lancet. Agreement with JCR Q1 reaches 84 percent in medicine and 71 percent in CS. Sensitivity analysis shows only 1.7 percent to 2.5 percent of CS conferences change partitions, indicating robustness. GSR provides a free, reproducible, field-normalized ranking system covering both journals and conferences, making it suitable for institutional evaluation policies.

2605.16517 2026-05-21 cs.SE

Customizing an LLM for Enterprise Software Engineering

为企业软件工程定制LLM

Aditya Kini, Satish Chandra, Milad Hashemi, Saksham Thakur, Aditya Pandey, Vincent Nguyen, Marc Brockschmidt, Franjo Ivančić, Danny Tarlow, Parthasarathy Ranganathan, Petros Maniatis, Ahmed Omran, Zaheer Abbas, Anita Gergely, Martin Sevenich, Gufeng Zhang, Amy Hua, Alexander Frömmgen

AI总结 本文提出Gemini for Google,一种专为企业内部软件工程生态系统定制的LLM,通过端到端开发和中间训练策略,显著提升了开发效率和代码存活率,为其他组织提供了可复制的数据利用路径。

Comments 11 pages, 8 figures

详情
AI中文摘要

企业软件开发是一个持续演化的过程,以增量添加、架构修订、生产部署和严格维护为特征。这些活动生成有价值的数据,现代LLM可以在此基础上进行微调,以解锁企业软件工程中的更多工具可能性。尽管前沿LLM已经非常强大,但这种定制方法为企业特定的优化提供了有吸引力的路径。我们介绍了Gemini for Google(GfG),一种专为Google内部软件工程生态系统定制的模型。本文详细描述了该模型的端到端开发过程,从构建一个包含万亿token的专有数据集到实施一种缓解灾难性遗忘的中间训练策略。在涉及29,000名开发者的大型盲测A/B研究中,Gemini for Google显著优于基线:将每轮迭代的平均次数减少了23%,并提高了代码存活率约17%。除了指标外,我们还提供了一个全面的企业模型定制蓝图,涵盖:(1)从软件工程数据中提取高价值信号,(2)数据准备策略,(3)全栈模型调优(持续预训练和后训练),以及(4)下游应用的部署。我们相信这种方法为其他组织解锁内部工程数据的全部潜力提供了可复制的路径。

英文摘要

Enterprise software development is a continuous evolutionary process, characterized by incremental additions, architectural revisions, production deployments and rigorous maintenance. These activities generate valuable data that modern LLMs could be finetuned on, to unlock additional tool possibilities for enterprise software engineering. While frontier LLMs are already very capable, this form of customization offers a compelling path for enterprise-specific optimization. We introduce Gemini for Google (GfG)}, an adaptation of Gemini specialized for Google's internal software engineering ecosystem. This paper details the model's end-to-end development, from curating a trillion-token proprietary dataset to implementing a mid-training strategy that mitigates catastrophic forgetting. In a large-scale blind A/B study across 29,000 developers, Gemini for Google significantly outperformed baselines: reducing the mean number of iterations per turn by 23\%, and increasing code survival rates by about 17%. Beyond metrics, we provide a comprehensive blueprint for enterprise model adaptation, covering: (1)The extraction of high-value signals from software engineering data, (2)Data preparation strategies, (3)Full-stack model tuning (continued pre-training and post-training), and (4)The deployment of downstream applications. We believe this methodology offers a replicable path for other organizations to unlock the full potential of their internal engineering data.

2605.15955 2026-05-21 eess.SP stat.ML

Topological Kalman Filtering on Cell Complexes

拓扑卡尔曼过滤在细胞复形上的应用

Chengen Liu, Rohan Money, Ting Gao, Mohammad Sabbaqi, Baltasar Beferull-Lozano, Elvin Isufi

AI总结 本文提出了一种基于拓扑结构的状态空间框架,用于从定义在拓扑细胞复形上的多变量时间序列中推断潜在动态,通过拓扑扩散和非线性映射恢复复杂的高阶交互结构。

详情
AI中文摘要

从定义在拓扑细胞复形上的多变量时间序列中推断潜在动态对于捕捉现实世界系统中固有的复杂高阶相互作用至关重要,例如水、传感器和交通网络。然而,由于信号在更高阶拓扑结构之间耦合,高维性、非线性观测和未知结构增加了重建这些潜在状态的难度。为此,我们提出了一种基于细胞复形上的随机偏微分方程的拓扑感知状态空间框架。状态演化遵循类似于热的拓扑扩散,扰动沿边界算子传播。在部分可观测的情况下,我们利用细胞复形卷积将潜在状态与非线性映射结合,以建模观测。我们通过扩展卡尔曼滤波进行递归状态估计,同时通过在线期望最大化算法学习模型参数和不确定性。最后,对于仅已知低阶拓扑结构的情况,例如节点和边,如在关键基础设施网络中,我们引入了一种启发式的细胞识别算法,以显式推断第二阶细胞结构。在合成和真实数据集上的验证表明,我们的方法在部分可观测情况下能够产生可靠的估计,并成功恢复底层拓扑结构。

英文摘要

Inferring latent dynamics from multivariate time-series defined over topological cell complexes is crucial for capturing the complex, higher-order interactions inherent in real-world systems such as in water, sensor, and transportation networks. However, reconstructing these latent states is challenging because the signals are coupled across higher-order topologies, while high dimensionality, nonlinear observations, and unknown structures increase the difficulty. To address this, we propose a topology-aware state space framework derived from stochastic partial differential equations on cell complexes. State evolution follows heat-like topological diffusion, with perturbations propagating along boundary operators. Under partial observability, we model observations using a cell complex convolution of latent states coupled with a nonlinear mapping. We perform recursive state estimation via an Extended Kalman Filter, simultaneously learning model parameters and uncertainties through an online Expectation-Maximization algorithm. Finally, for scenarios where only lower-order topological structure is known, e.g., nodes and edges, as in critical infrastructure networks, we introduce a heuristic cell identification algorithm to explicitly infer the second-order cell structures. Validations on synthetic and real datasets from water, sensor and transportation networks demonstrate that our approach yields reliable estimates under partial observability and successfully recovers the underlying topological structures.

2605.09620 2026-05-21 cs.HC

MiXR: Harvesting and Recomposing Geometry from Real-World Objects for In-Situ 3D Design

MiXR: 从现实物体中采集和重组几何结构用于现场3D设计

Faraz Faruqi, Demircan Tas, Arthur Caetano, Niccolò Meniconi, Oğuz Arslan, Misha Sra, Ruofei Du, Stefanie Mueller, Mustafa Doga Dogan

AI总结 本文提出MiXR系统,通过从环境中采集几何结构并进行重组,实现现场3D设计,结合生成式AI合成连贯模型,使用户能明确定义空间结构并利用生成模型进行几何优化,实验表明其在设计精度和用户控制感方面优于传统方法。

Comments 12 pages, 12 figures

详情
AI中文摘要

近期3D生成式AI的发展使用户能够从文本或图像提示中创建定制化的3D模型。然而,这些方法对空间结构的控制有限,难以满足需要精确几何组合的任务需求。本文提出MiXR,一种用于现场组合建模的XR系统,使用户能够通过从环境中提取物体的几何部分并进行直接3D操控来创建新的3D模型。生成式AI则根据用户定义的组合合成一个连贯的模型。这种混合工作流程使用户能够显式定义空间结构,同时将几何优化任务委托给生成模型,从而能够表达出通过单纯语言提示难以表达的空间意图。在受控用户研究(N=12)中,使用MiXR的参与者认为其设计更接近目标,感觉更受控,并且认知负荷更低,相比生成式组合基线方法。

英文摘要

Recent developments in 3D generative AI enable users to create bespoke 3D models from text or image prompts. However, these approaches provide limited control over spatial structure, making them ill suited for tasks requiring precise geometric composition. We present MiXR, an XR system for in-situ compositional modeling that enables users to create new 3D models by harvesting geometry from their environment. Users extract segments from captured objects and assemble new artifacts through direct 3D manipulation, while generative AI synthesizes a coherent model from the user-defined composition. This hybrid workflow allows users to define spatial structure explicitly while delegating geometric refinement to generative models, enabling them to specify spatial intent that is difficult to express through verbal prompts alone. In a controlled user study ($N=12$), participants using MiXR rated their designs as significantly closer to the target, felt more in control, and experienced lower cognitive workload compared to a generative composition baseline.

2605.08674 2026-05-21 eess.SP

Fair and Efficient Scheduling for Sensor Networks via Online Whittle Index Policy

通过在线Whittle指数策略实现传感器网络的公平与高效调度

Sokipriala Jonah, Seong Ki Yoo, Saurav Sthapit, Anita Khadka

AI总结 本文提出基于Age of Incorrect Information(AoII)指标的公平Whittle指数策略,通过在线学习框架在无需已知过程动态的情况下,实现低功耗WUR传感器网络的高效节点调度,实验表明该策略可将数据包传输减少70%,同时保持合理的RMSE值。

Comments 16 pages,8 figures

详情
AI中文摘要

Wake-Up Radio (WUR) enables resource-constrained, battery-powered sensor nodes to remain in a low-power deep sleep state while continuously listening for a Wake-Up Signal (WUS). Sensor nodes only wake and transmit data after receiving the WUS, significantly reducing energy consumption. However, polling nodes whose transmitted data provides little or no meaningful update to the remote monitor can still result in unnecessary energy usage and increased storage overhead. To address this issue, this paper uses the Age of Incorrect Information (AoII) metric to prioritise the polling of nodes that provide informative updates to the remote monitor. Determining the optimal set of nodes to poll based on AoII can be formulated as a Restless Multi-Armed Bandit (RMAB) problem, which traditionally requires prior knowledge of the monitored process transition dynamics. Since such dynamics are often unknown in practical deployments, we propose an online learning framework based on state estimation to derive Whittle Index AoII (WAoII) and Fair Whittle Index AoII (FWAoII) policies without assuming known transition probabilities. The proposed policies efficiently schedule node polling while adapting to unknown process behaviour. Experimental evaluation using both real-world and synthetic datasets demonstrates that the proposed online WAoII policy can reduce packet transmissions by up to 70\% compared to the widely used Round Robin (RR) polling strategy, while maintaining Root Mean Squared Error (RMSE) values within acceptable application error tolerances. These results demonstrate the effectiveness of WAoII and FWAoII as energy-efficient polling techniques for low-power WUR sensor networks.

英文摘要

Wake-Up Radio (WUR) enables resource-constrained, battery-powered sensor nodes to remain in a low-power deep sleep state while continuously listening for a Wake-Up Signal (WUS). Sensor nodes only wake and transmit data after receiving the WUS, significantly reducing energy consumption. However, polling nodes whose transmitted data provides little or no meaningful update to the remote monitor can still result in unnecessary energy usage and increased storage overhead. To address this issue, this paper uses the Age of Incorrect Information (AoII) metric to prioritise the polling of nodes that provide informative updates to the remote monitor. Determining the optimal set of nodes to poll based on AoII can be formulated as a Restless Multi-Armed Bandit (RMAB) problem, which traditionally requires prior knowledge of the monitored process transition dynamics. Since such dynamics are often unknown in practical deployments, we propose an online learning framework based on state estimation to derive Whittle Index AoII (WAoII) and Fair Whittle Index AoII (FWAoII) policies without assuming known transition probabilities. The proposed policies efficiently schedule node polling while adapting to unknown process behaviour. Experimental evaluation using both real-world and synthetic datasets demonstrates that the proposed online WAoII policy can reduce packet transmissions by up to 70\% compared to the widely used Round Robin (RR) polling strategy, while maintaining Root Mean Squared Error (RMSE) values within acceptable application error tolerances. These results demonstrate the effectiveness of WAoII and FWAoII as energy-efficient polling techniques for low-power WUR sensor networks.

2605.08418 2026-05-21 cs.CR cs.CY

Binge, Bot, Repeat: Unpacking the Ecosystem of Video Piracy on Telegram

binge, bot, repeat: 解构 Telegram 上视频盗版的生态系统

Sadikshya Gyawali, Jaishnoor Kaur, Taylor Graham, Josef Horacek, Nowshin Tabassum, Shirin Nilizadeh, Sayak Saha Roy

AI总结 本文研究了 Telegram 上视频盗版生态系统的结构和运作,通过混合方法分析 1057 个频道的 209k 独特帖子,揭示了盗版内容的分布策略和生态系统的持续机制,并开发了 Anti-RIP 框架来检测和打击新兴盗版社区。

详情
AI中文摘要

Telegram 已经成为大规模视频盗版的主要平台,其中受版权保护的内容在用户之间迅速传播。尽管其重要性突出,但该生态系统结构和运作动态仍不够了解。为了填补这一空白,我们通过混合方法分析了 1057 个频道在 2023 年 12 月至 2026 年 1 月期间共享的 209k 独特帖子,系统地描述了它们的内容、分布策略以及该生态系统如何在大规模上持续存在。我们的方法核心是开发了一个细粒度的分类法,使能够对这些频道在每条帖子层面的活动和意图进行结构化理解。这些频道共同分发了 19,033 个独特的受版权保护的标题,来自 175 个国家,累计超过 4.85B 个独特观看量,并导致内容权利持有人的最低估计经济损失为 17.49 亿美元。我们还发现,该生态系统是故意设计成对删除努力具有抗性,频繁通过中介频道和自动机器人链重定向用户,这些机器人共同处理托管、访问控制、盈利和频道发现。该生态系统的规模和持续性促使开发了 Anti-RIP,一个实时框架,用于检测 Telegram 上新兴的视频盗版社区。Anti-RIP 利用我们的分类法生成上下文相关、可解释的见解,这些见解得到了利益相关者的确认,证明可以改善对报告帖子和频道的三重处理行动。在 61 天的期间内,该框架促成了 524 个之前未知的盗版频道和 71 个机器人的删除。为了支持可重复性和未来研究,我们开源了数据集和 Anti-RIP 框架。

英文摘要

Telegram has emerged as a major platform for large-scale video piracy, where copyrighted content is rapidly distributed among users. Despite its prominence, the structural and operational dynamics of this ecosystem remain insufficiently understood. To address this gap, we present the first large-scale study of video piracy on Telegram through a mixed-method analysis of 1,057 channels that shared 209k unique posts between December 2023 and January 2026 - systematically characterizing their content, distribution strategies, and how the ecosystem is sustained at scale. Central to our approach is the development of a fine-grained taxonomy that enables a structured understanding of the activity and intent of these channels on a per-post level. The channels collectively distributed 19,033 unique copyrighted titles originating from 175 countries, accumulating over 4.85B unique views and resulting in a lower-bound estimated financial loss of $17.49B for content rights holders. We also find that this ecosystem is deliberately engineered to be resilient against takedown efforts, frequently redirecting users through chains of intermediary channels and automated bots that collectively handle hosting, access control, monetization, and channel discovery. The scale and persistence of this ecosystem motivated the development of Anti-RIP, a real-time framework for detecting emerging video piracy communities on Telegram. Anti-RIP utilizes our taxonomy to generate contextual, interpretable insights that stakeholders confirmed improve the triaging action against reported posts and channels. Over a 61-day period, the framework facilitated the takedown of 524 previously unknown piracy channels and 71 bots. To support reproducibility and future research, we open-source both the dataset and the Anti-RIP framework.

2605.06633 2026-05-21 quant-ph hep-th

Machine Learning Approaches to Building Quantum Circuits for Sets of Matrices

利用机器学习构建矩阵集合的量子电路

Matvei Fedin, Andrei Morozov

AI总结 本文通过可解释性机器学习方法,构建了适用于任意大小任意对角矩阵的通用最短解析量子算法。

详情
AI中文摘要

如今,机器学习已成为许多领域有用的工具。在本文中,我们利用可解释性机器学习来构建量子算法。通过研究机器学习算法的参数,我们能够构造出适用于任意大小任意对角矩阵的通用最短解析量子算法。

英文摘要

Machine learning nowadays becomes a useful instrument in many subjects. In this paper we use interpretable machine learning to build quantum algorithm. By studying the parameters of the machine learning algorithm we were able to construct universal shortest analytic quantum algorithm for arbitrary diagonal matrix of any size.

2605.06075 2026-05-21 cond-mat.dis-nn quant-ph

Probing critical phases in quasiperiodic systems via subsystem information capacity

通过子系统信息容量探测准周期系统中的临界相

Huaijin Dong, Long Zhang

AI总结 本文研究准周期系统在扩展、临界和局域相中的纠缠和信息动力学,通过子系统信息容量(SIC)揭示临界态的多标度空间结构,并区分临界相与其他相。

Comments 10 pages, 5 figures. Terminology and phrasing have been refined

详情
AI中文摘要

我们系统地研究了准周期系统在扩展、临界和局域相中的纠缠和信息动力学,旨在识别能够揭示临界态多标度空间结构的动力学特征,并区分临界相与其他相。聚焦于广义的 Aubry-André-Harper 模型,我们补充了半链纠缠熵,结合空间解析的子系统信息容量(SIC),证明临界态表现出在扩展和局域相中不存在的显著空间异质性。在稳态下,SIC 随子系统大小呈现阶梯状上升,反映链被弱连接子区域碎片化的内在结构。动态上,信息初始局部化在这样的子区域中可以经历相干的长寿命振荡,称为子区域回声,其周期与子区域长度成比例,与准粒子图景中的受限准粒子反射相定量一致。我们追溯这种内在碎片化到哈密顿量非对角跃迁项中无理分布的零点(IDZs)。为验证 SIC 作为诊断工具的通用性,我们进一步将其应用于具有扩展和局域态共存的运动边相以及不源自 IDZ 碎片化的临界相,并显示 SIC 可通过其不同的稳态特征、初始位点敏感性和子区域回声的存在与否清晰区分这些场景。我们的结果确立了 SIC 作为强大实空间探针诊断临界相和揭示临界态多标度结构下受限连接性的能力。

英文摘要

We systematically investigate the entanglement and information dynamics of quasiperiodic systems across their extended, critical, and localized phases, aiming to identify dynamical signatures that can reveal the multifractal spatial structure of critical states and distinguish critical phases from the extended and localized regimes. Focusing on the generalized Aubry-André-Harper model, we complement the half-chain entanglement entropy with the spatially resolved subsystem information capacity (SIC) and demonstrate that critical states exhibit pronounced spatial heterogeneity absent in the extended and localized phases. In the steady state, the SIC reveals a stepwise ramp as a function of subsystem size, reflecting an underlying fragmentation of the chain into weakly connected subregions. Dynamically, information initially localized within such a subregion can undergo coherent long-lived oscillations, dubbed subregion echoes, whose period scales with the subregion length, in quantitative agreement with a quasiparticle picture of confined quasiparticle reflections. We trace this internal fragmentation to the incommensurately distributed zeros (IDZs) in the off-diagonal hopping terms of the Hamiltonian. To establish the generality of the SIC as a diagnostic tool, we further apply it to a mobility-edge phase with coexisting extended and localized states and to a critical phase that does not originate from IDZ fragmentation, and show that the SIC can cleanly distinguish these scenarios through their distinct steady-state profiles, initial-site sensitivities, and the presence or absence of subregion echoes. Our results establish the SIC as a powerful real-space probe for diagnosing critical phases and uncovering the bottlenecked connectivity that underlies the multifractal structure of critical states.

2605.05253 2026-05-21 cs.IR

EnterpriseRAG-Bench: A RAG Benchmark for Company Internal Knowledge

EnterpriseRAG-Bench: 一个用于企业内部知识的RAG基准测试

Yuhong Sun, Joachim Rahmfeld, Chris Weaver, Weijia Chen, Roshan Desai, Wenxi Huang, Mark H. Butler

AI总结 本文提出EnterpriseRAG-Bench,一个包含50万文档和500个问题的基准测试,用于评估和比较基于检索增强生成(RAG)方法在企业内部知识处理中的性能。

Comments Code and dataset available at https://github.com/onyx-dot-app/EnterpriseRAG-Bench or https://huggingface.co/datasets/onyx-dot-app/EnterpriseRAG-Bench

详情
AI中文摘要

检索增强生成(RAG)已成为将大型语言模型接地在训练期间不可用信息的标准方法。尽管现有的数据集和基准测试集中在网页或其他公共来源,但仍然没有广泛采用的数据集能够真实反映企业内部知识的性质。同时,初创公司、企业及研究人员正在越来越多地开发AI代理,这些代理专门针对这种专有数据进行操作。为弥合这一差距,我们发布了一个合成企业语料库、其生成框架以及一个排行榜。我们提出了EnterpriseRAG-Bench,一个包含约500,000个文档,涵盖九种企业来源类型(Slack、Gmail、Linear、Google Drive、HubSpot、Fireflies、GitHub、Jira和Confluence)和十个类别中的500个问题的数据集,这些问题测试了不同的检索和推理能力。语料库通过跨文档一致性(基于共享的项目、人员和倡议)生成,并加入了现实噪声,如错位文档、近似副本和冲突信息。问题集从简单的单文档查找扩展到多文档推理、受约束检索、冲突解决以及识别信息缺失的情况。生成框架允许团队根据自己的行业、规模和来源混合生成定制变体。数据集、代码、评估工具和排行榜可在https://github.com/onyx-dot-app/EnterpriseRAG-Bench上获得。

英文摘要

Retrieval-Augmented Generation (RAG) has become the standard approach for grounding large language models in information that was not available during training. While existing datasets and benchmarks focus on web or other public sources, there is still no widely adopted dataset that realistically reflects the nature of company-internal knowledge. Meanwhile, startups, enterprises, and researchers are increasingly developing AI Agents designed to operate over exactly this kind of proprietary data. To close this gap, we release a synthetic enterprise corpus, its generation framework, and a leaderboard. We present EnterpriseRAG-Bench, a dataset consisting of approximately 500,000 documents spanning nine enterprise source types (Slack, Gmail, Linear, Google Drive, HubSpot, Fireflies, GitHub, Jira, and Confluence) and 500 questions across ten categories that test distinct retrieval and reasoning capabilities. The corpus is generated with cross-document coherence (grounded in shared projects, people, and initiatives) and augmented with realistic noise such as misfiled documents, near-duplicates, and conflicting information. The question set ranges from simple single-document lookups to multi-document reasoning, constrained retrieval, conflict resolution, and recognizing when information is absent. The generation framework lets teams generate variants tailored to their own industry, scale, and source mix. The dataset, code, evaluation harness, and leaderboard are available at https://github.com/onyx-dot-app/EnterpriseRAG-Bench.

2604.26117 2026-05-21 quant-ph

One knob to tune them all: Phase-controlled photon statistics and linewidth in partially pumped atomic ensembles

一个 knobs 调节所有:相控光子统计和线宽在部分泵浦原子集体中的研究

Oksana Chelpanova, Martino Stefanini, Dusan Sarenac, Tim Thomay, Jamir Marino

AI总结 本文研究了在不相干驱动下,仅对原子子集施加不相干驱动的最小集体光发射模型,展示了线宽和光子统计可以在单一框架内被控制。通过引入泵浦部分和未泵浦部分之间的相位差并调节泵浦速率,证明了发射光的性质可以在广范围内变化。特别是,线宽可以独立于系统规模或与之成比例扩展,而光子统计可以从抗 bunch 或量子变为 bunch。此外,相对相位在控制干涉中的作用可以由相干相互作用代替。通过调节相互作用强度和泵浦速率,可以访问与仅耗散模型相同的区域。此外,相干相互作用稳定了具有窄线宽的相干发射,类似于超辐射激光。

Comments 15 pages, 7 figures

详情
AI中文摘要

我们研究了一个最小的集体光发射模型,其中对原子集合中的不相干驱动仅施加到子集上,并展示线宽和光子统计可以在单一框架内被控制。在此设置中,集体耗散在泵浦部分和未泵浦部分之间诱导相关性,导致它们的发射贡献之间的干涉。通过引入这些贡献之间的相对相位并调节泵浦速率,我们证明了发射光的性质可以在广范围内变化。特别是,线宽可以独立于系统规模或与之成比例扩展,而光子统计可以调节为抗 bunch 或量子到 bunch。我们进一步表明,相对相位在控制干涉中的作用可以由相干相互作用代替。通过调节相互作用强度和泵浦速率,可以访问与仅耗散模型相同的区域。此外,相干相互作用稳定了具有窄线宽的相干发射,类似于超辐射激光。我们的结果说明了干涉在部分驱动集体系统中如何提供一种灵活的机制,用于定制光的光谱和统计特性。

英文摘要

We study a minimal model of collective light emission from an incoherently driven ensemble of atoms where incoherent drive is applied to only a subset of the atoms and show that both the linewidth and the photon statistics can be controlled within a single framework. In this setting, collective dissipation induces correlations between the pumped and unpumped parts of the system, leading to interference between their emission contributions. By introducing a relative phase between these contributions and tuning the pump rate, we demonstrate that the properties of the emitted light can be varied over a broad range. In particular, the linewidth can be made either independent of system size or scale extensively with it, while the photon statistics can be tuned from antibunched or quantum to bunched. We further show that the role of the relative phase in controlling the interference can alternatively be played by the coherent interaction. By tuning the interaction strength together with the pump rate, one can access the same regimes as in the dissipation-only model. In addition, coherent interactions stabilize regimes of coherent emission with narrow linewidth, reminiscent of superradiant lasing. Our results illustrate how interference in partially driven collective systems provides a flexible mechanism for tailoring both spectral and statistical properties of light.

2604.25682 2026-05-21 math-ph cond-mat.quant-gas math.MP nlin.SI physics.flu-dyn

Co-rotating Vortices on Surfaces of Variable Negative Curvature: Hamiltonian Structure and Curvature-Induced Drift

共旋涡在变负曲率表面上的运动:哈密顿结构和曲率诱导漂移

Gaurang Mangesh Joshi, Rickmoy Samanta

AI总结 本文研究了在变负曲率表面(如猫眼面)上共旋涡对的哈密顿运动,推导了运动方程和守恒量,并发现曲率梯度主导涡旋运动,而非曲率本身,同时揭示了曲率诱导的漂移现象。

Comments Prepared for submission to Transport Phenomena, De Gruyter Brill, Berlin

详情
AI中文摘要

流体和超流体中的涡旋在从玻色-爱因斯坦凝聚体和超流薄膜到中子星和流体微旋转器的现象中起着根本性作用,背景几何往往起重要作用。曲率可以诱导不同于平面域的涡旋运动。我们研究了在猫眼面(变负曲率的最小面)上的哈密顿涡旋运动,并推导了共旋涡对的运动方程和守恒量。对于两个相同涡旋,我们发现一个精确的解析解,其中涡旋对在固定纬度上刚性旋转,角速度$Ω=(Γ/16π)\,K'(V)/\sqrt{-K(V)}$,其中$K(V)$是高斯曲率。因此,运动由曲率梯度而非曲率本身所主导。该状态线性不稳定,增长率为$λ=\sqrt{3}|Ω|$,与数值模拟一致。对于一般的共旋涡对,哈密顿量和旋转动量的守恒将非线性动力学简化为一个二次积分,产生有界的相对振荡以及 secular 地 azimuthal 漂移。对完整方程的模拟证实了这一点,并揭示了在局部化的多涡旋簇中相同的曲率诱导 azimuthal 漂移,推动了关于曲面上集体涡旋漂移的更广泛理论。

英文摘要

Vortices in fluids and superfluids are fundamental to phenomena ranging from Bose-Einstein condensates and superfluid films to neutron stars and hydrodynamic micro-rotors, where background geometry often plays an important role. Curvature can induce vortex motion distinct from planar domains. We study Hamiltonian vortex motion on a catenoid, a minimal surface of variable negative curvature, and derive explicit equations of motion and conserved quantities for co-rotating vortex pairs. For two identical vortices we find an exact analytic solution in which the pair rotates rigidly at fixed latitude, with angular velocity $Ω=(Γ/16π)\,K'(V)/\sqrt{-K(V)}$, where $K(V)$ is the Gaussian curvature. Thus the motion is governed by the curvature gradient rather than the curvature itself. This state is linearly unstable, with growth rate $λ=\sqrt{3}|Ω|$, in agreement with numerical simulations. For generic co-rotating pairs, conservation of the Hamiltonian and rotational momentum reduces the nonlinear dynamics to a single quadrature, yielding bounded relative oscillations together with a secular azimuthal drift. Simulations of the full equations confirm this and reveal the same curvature-induced azimuthal drift in a localized many-vortex cluster, motivating a broader theory of collective vortex drift on curved surfaces.