arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 1925
2606.04544 2026-06-17 cond-mat.mes-hall quant-ph 版本更新

Probing PbTe-Pb nanowire devices with radio-frequency reflectometry

利用射频反射法探测PbTe-Pb纳米线器件

Xin-Yi Tang, Lin Li, Zezhou Xia, Jierong Huo, Wenyu Song, Lining Yang, Zonglin Li, Jiaye Xu, Peilin Li, Runan Shang, Qi-Kun Xue, Ke He, Hao Zhang

AI总结 本研究在CdTe衬底上选择性生长的PbTe-Pb纳米线器件中实现了射频反射测量,验证了电阻和电容传感的兼容性,并讨论了介电损耗及有限磁场下的可行性,为拓扑量子计算中的快速控制铺平道路。

详情
AI中文摘要

我们报告了在CdTe衬底上选择性生长的PbTe-Pb纳米线器件中实现射频反射测量的结果。这些纳米线被预测可承载马约拉纳零模。我们证明了射频技术(包括电阻传感和电容传感)与这些纳米线的兼容性。还讨论了CdTe衬底介电损耗的影响。在出现零能模的有限磁场下,射频反射测量的可行性也得到了验证。我们的结果实现了对PbTe量子器件的快速控制,为其在拓扑量子计算中的应用铺平了道路。

英文摘要

We report the implementation of radio-frequency (rf) reflectometry on selective-area-grown PbTe-Pb nanowire devices on a CdTe substrate. These nanowires are predicted to host Majorana zero modes. We demonstrate the compatibility of the rf technique, including both resistive and capacitive sensing, with these nanowires. The effect of dielectric loss from the CdTe substrate is quantitatively characterized. Furthermore, the feasibility of rf reflectometry is verified under finite magnetic fields where zero-energy modes can emerge. Our results establish the fast control of PbTe quantum devices, paving the way for their applications in topological quantum computation.

2606.04352 2026-06-17 cs.PL 版本更新

Negative and Fractional Types in the Fidelity Framework

保真度框架中的负类型与分数类型

Houston Haynes

AI总结 本文在保真度框架中引入负类型和分数类型作为原生一等构造,利用紧致闭范畴的对偶性,通过阿贝尔群代数模式保持可判定性和主类型,并应用于贝叶斯推断、量子计算和绝热计算等领域。

Comments 23 pages, 1 figure, sample code appendix

详情
AI中文摘要

我们的原生类型宇宙(NTU)已通过五篇先前论文详细阐述,这些论文建立了我们的框架编译流水线在多个硬件平台上所针对的基础。在这项工作中,我们发现该基础提供了更深远的可能性:负类型和分数类型作为原生一等构造。James和Sabry于2012年建立了这些对偶性;Chen和Sabry后来在紧致闭范畴中发展了它们的范畴解释。这些对偶性在我们的保真度框架中对计算模态具有实际益处,而现有的通用计算框架缺乏承载它们作为原生构造的基础。我们看到了这些类型形式在通过Kennedy维度类型建立的阿贝尔群代数模式保持可判定性和主类型方面的实用性。由此产生的同构将允许在我们的新颖降阶策略中采用新的、简洁的解析形式,并且我们勾勒了一个概念性的Clef语言语法,该语法将允许有理维度指数进入我们的代数。我们追溯了这些类型形式将为我们的编译和验证学科开放的几个问题空间的影响:贝叶斯推断中分数类型将表达条件化义务,量子计算(及模拟)中负类型将提供类型级伴随,最后是绝热计算中组合的学科将把哈密顿变形表达为可逆约束传播过程。我们的NTU的固有结构连同支持框架似乎非常适合当前软件生态系统未直接解决的问题空间,同时保持可接近的开发人体工程学和成熟的工具,与框架旨在提供的操作保证保持一致。

英文摘要

Our Native Type Universe (NTU) has been detailed through five previous papers establishing the substrate our framework's compilation pipeline targets across multiple hardware platforms. We have found in the course of that work a deeper reach this foundation makes available: negative and fractional types as native first-class constructs. James and Sabry established these dualities in 2012; Chen and Sabry later developed their categorical interpretation in compact closed categories. These dualities have practical benefit for compute modalities in our Fidelity Framework where extant general purpose compute framings lack the substrate to host them as native constructs. We see practicality with these type forms in preserving decidability and principal types through the abelian-group algebraic pattern Kennedy's dimensional types establish. The resulting isomorphisms would admit new, concise forms of resolution within our novel lowering strategy, and we sketch a notional Clef language syntax that would admit rational dimensional exponents into our algebra. We trace the implications across several problem spaces these type forms would open to our compilation and verification disciplines: Bayesian inference where fractional types would express conditioning obligations, quantum computation (and simulations) where negative types would provide the type-level adjoint, and finally adiabatic computation where the combined discipline would express Hamiltonian deformation as a reversible constraint-propagation process. The inherent structure of our NTU together with the supporting framework appears well-suited to problem spaces that current software ecosystems do not directly address, while keeping approachable development ergonomics and mature tooling aligned with operational guarantees the framework aspires to provide.

2606.04147 2026-06-17 cond-mat.mes-hall 版本更新

Electronic primary thermometry -- experimental comparison of the Coulomb Blockade and Shot Noise Thermometer

电子初级测温——库仑阻塞温度计与散粒噪声温度计的实验比较

Eemil Praks, Libin Wang, Yu-Cheng Chang, Renan P. Loreto, Mika Prunnila, Joonas T. Peltonen, Jukka P. Pekola

AI总结 通过实验比较库仑阻塞温度计和散粒噪声温度计在20 mK至235 mK范围内的性能,验证两者基于自然常数k_B和e的测温一致性在2.5%以内,并分析测量频率不确定性对低温测温的影响。

Comments 7 pages, 7 figures

详情
AI中文摘要

自2019年开尔文重新定义以来,人们开始考虑新的初级测温方法,以取代目前在极高和极低温度极限下公认的温度标尺。这些新方法应提供改进的不确定度,最重要的是,更直接地与开尔文的定义相联系。在低温范围内,可以实现不需要任何已知参考温度或外部校准参数的温度计。我们展示了两种此类温度计的实验比较:库仑阻塞温度计(CBT)和散粒噪声温度计(SNT)。两种温度计仅依赖于自然常数$k_\mathrm{B}$和$e$来测量温度。此外,它们都基于电子隧穿电流,因此只需要电学测量,增强了实用性。CBT和SNT在20 mK至235 mK范围内进行了相互比较。结果表明,在此范围内,SNT和CBT的一致性大约在2.5%以内。分析了基本测量不确定度,并表明测量频率的不确定性可能导致在低温下SNT温度测量的显著误差,其中有限频率起作用。

英文摘要

Since the redefinition of the kelvin in 2019, new methods of primary thermometry have been considered to replace the currently agreed temperature scale in the very high and low temperature limits. These new methods should provide improved uncertainties and, most importantly, a more direct link to the definition of the kelvin. We present an experimental comparison of two such primary thermometers working in the mK region: the Coulomb Blockade Thermometer (CBT) and the Shot Noise Thermometer (SNT). Both thermometers measure temperature hinging only on the natural constants $k_\mathrm{B}$, and $e$. Furthermore both of them are based on electron tunneling current and, thereby, need only electrical measurements, enhancing the practicality. CBT and the SNT are inter-compared in a range of 20 mK to 235 mK. The results show that the agreement of SNT and CBT is approximately within 2.5 % in this range. Basic measurement uncertainty is analyzed and we show that uncertainty in the measurement frequency can cause significant error to temperature measurement of the SNT at low temperatures where finite frequency plays a role.

2606.03767 2026-06-17 econ.TH q-fin.GN 版本更新

Trading Frictions in Dynamic Cap-and-Trade Markets

动态总量控制与交易市场中的交易摩擦

Nicola Borri, Yukun Liu, Aleh Tsyvinski, Xi Wu

AI总结 本文通过构建包含多种交易摩擦的动态随机市场模型,研究总量控制与交易市场中交易摩擦如何影响市场有效性,并利用欧盟排放交易体系(EU ETS)2005-2021年的270万笔交易和合规记录进行量化分析。

详情
AI中文摘要

我们开发了一个具有外部性和多种交易摩擦的市场动态随机模型,以总量控制与交易作为主要应用。缓慢参与、有限中介和异质信息在均衡中相互作用:代理人选择昂贵的市场准入,准入决定剩余合规需求,中介约束将剩余需求转化为交割月溢价,而溢价又反馈到准入激励中。这些相互作用塑造了市场纠正外部性的有效性。我们以闭式解刻画了准入选择,证明了均衡溢价的唯一性,并表明内生准入削弱了对单个摩擦的反应,而多种摩擦的相互作用是非加性的,且可能放大价格反应。我们使用2005-2021年欧盟排放交易体系(EU ETS)的270万笔注册交易和合规记录对模型进行了量化。约40%的运营商每年不进行交易,购买集中在4月,此时回报系统性偏高,且运营商流量预测未来回报。

英文摘要

We develop a dynamic stochastic model of markets with an externality and multiple trading frictions, and cap-and-trade as the leading application. Slow participation, limited intermediation, and heterogeneous information interact in equilibrium: agents choose costly market access, access determines residual compliance demand, intermediary constraints translate residual demand into a surrender-month premium, and the premium feeds back into access incentives. These interactions shape how effectively the market corrects the externality. We characterize access choices in closed form, prove that the equilibrium premium is unique, and show that endogenous access dampens the response to each friction in isolation, while the interaction of multiple frictions is non-additive and can amplify the price response. We quantify the model using 2.7 million EU ETS registry transactions and compliance records from 2005-2021. About 40% of operators do not trade annually, purchases concentrate in April when returns are systematically high, and operator flow predicts future returns.

2606.03835 2026-06-17 cs.DB cs.HC math.CT 版本更新

Formalizing all indexed mathematics as a benchmark for general reasoning, with the example of implementing dilatations of categories

形式化所有索引数学作为通用推理的基准,以范畴膨胀的实现为例

A. Mayeux

AI总结 本文提出将全部已发表数学形式化为机器可验证知识库的基准问题,并以范畴代数中的范畴膨胀为例展示实现过程。

Comments Minor revisions from previous version; to appear in Lecture Notes in Networks and Systems (Springer)

详情
AI中文摘要

形式严谨性将数学与其他学科区分开来,因为数学陈述是通过逻辑可验证的步骤从显式公理推导出来的。交互式定理证明器通过用完全形式化的语言表达定义、定理和证明并机械地验证它们来支持这一点。我们考虑了将所有已发表数学形式化为机器可验证且持续更新的数学知识语料库的基准问题。这种观点将数学视为一个相互依赖结果的结构化数据库,并引发了关于大规模形式库的可扩展性和组织的问题。作为案例研究,我们展示了范畴代数中正在进行的形式化工作,即范畴的膨胀,它扩展了经典局部化,并说明了这种实现在实践中是什么样的。

英文摘要

Formal rigor distinguishes mathematics from other disciplines, in the sense that mathematical statements are derived from explicit axioms by logically verifiable steps. Interactive theorem provers support this by expressing definitions, theorems, and proofs in a fully formal language and verifying them mechanically. We consider the benchmark problem of formalizing all published mathematics as a machine verifiable and continuously updated corpus of mathematical knowledge. This viewpoint treats mathematics as a structured database of interdependent results and raises questions about scalability and organization of large formal libraries. As a case study, we present an ongoing formalization in categorical algebra, namely dilatations of categories, extending classical localizations and illustrating what such an implementation looks like in practice.

2606.02854 2026-06-17 cs.PL cs.LO math.CT 版本更新

Fixed-Point Scaffolding in the Clef Programming Language

Clef 编程语言中的不动点脚手架

Houston Haynes

AI总结 本文提出一种基于不动点组合子的编译器中间表示方法,通过范畴论构造实现类型结构保持和正确性验证,并利用 MLIR 工具链支撑实际编译。

Comments 16 pages, 2 figures

详情
AI中文摘要

对于 Gabriel 的“更糟即更好”的粉丝来说,讽刺的是,C++ 通过 MLIR 充当了编译 ML 家族语言的脚手架,而该语言的正确性属性是结构性的。在我们的 Composer 编译器中,一个关键的交叉点以不动点组合子开始其降级,该组合子保留了程序语义图中的维度、等级、转义和数值表示结构。而来自 PSG 的 MLIR 并非被动宿主。它使用静态单赋值、属性系统和方言来实质性地承载这些结构。我们展示了编译器中间端使用范畴论构造来降级代码,并伴随该层级的验证:一个从编译偏序集到目标范畴的函子,满足组合性方程。我们方法的依据来自三个来源,每个都基于自身的代数对象:Ohori 的机器码证明理论为编译轴提供基础,参数性为底层内容提供基础,伴随模态逻辑为验证层级之间的遍历提供基础。为了扩展论点,我们引入了紧闭负类型和分数类型,并展示了类型机制可以在保持结构的情况下实现,并通过 MLIR 提供的工具实现。更广泛地说,通过编译保持类型的相同不动点原语也提供了证明项,这些证明项可以在 MLIR 中继续使用,以验证其完整性,因为降级过程通过流水线进行。我们认为,这个基础是我们框架预期的一个独特附加点,包括维度类型、Tarau 的群胚和细胞层。在整个过程中,形式化被实现为内部脚手架:抽象支持编译器的机制,开发者永远不需要接触范畴论就能依赖编译器提供的保证。

英文摘要

For fans of Gabriel's "Worse is Better" it may be ironic that C++, by way of MLIR, serves as the scaffold for compiling an ML-family language whose correctness properties are structural. A crucial intersection in our Composer compiler initiates its lowering with a fixed-point combinator that preserves the dimensional, grade, escape, and numeric-representation structure from the Program Semantic Graph. And the MLIR that's witnessed from the PSG is no passive host. Its use of static single assignment, attribute system and dialects carry that structure materially. We show that our compiler middle end uses categorical construction for lowering code with companion verification to that strata: a functor from the compilation poset to a target category, subject to the compositionality equation. The grounding of our approach comes from three sources, each on its own algebraic object: Ohori's machine-code proof theory grounds the compilation axis, parametricity grounds the content at the base, and adjoint mode logic grounds the traversal between our verification tiers. To extend the thesis we introduce compact-closed negative and fractional types, and show the type machinery can be carried with preserved structure and realized through tooling MLIR provides. More broadly, the same fixed-point primitive that preserves types through compilation also supplies proof terms that can continue to be exercised in MLIR to verify its integrity as lowering proceeds through the pipeline. We argue that this foundation is a unique additional point anticipated by our framework that includes dimensional types, Tarau's groupoid, and cellular sheaves. Throughout, the formalism is instrumented as an internal scaffold: the abstractions support the compiler's mechanics, where a developer is never required to reach for category theory in order to rely on the guarantees the compiler provides.

2606.03799 2026-06-17 math.GT 版本更新

The 2-Twist Spun Trefoil Has Crossing Number Six

2-扭转旋转三叶结的交叉数为六

Sherry Gong, Samuel Lewis-Monkman, Jesse Osnes

AI总结 通过研究三平面交叉数,证明了在S^4中最多五个交叉的桥三剖分2-纽结都是带状的,从而得出三叶结的2-扭转旋转的交叉数为6。

Comments 10 pages, 14 figures. Comments welcome

详情
AI中文摘要

我们研究了三平面交叉数,即$S^4$中纽结球面的桥三剖分在三平面图中的最小交叉数。我们证明了在$S^4$中每个允许最多五个交叉的桥三剖分的2-纽结都是带状的。作为推论,我们证明了三叶结的2-扭转旋转的交叉数为6。这是对非平凡纽结曲面的首次此类计算。

英文摘要

We study the tri-plane crossing number, that is, the minimal number of crossings in a tri-plane diagram for a bridge trisection of a knotted sphere in $S^4$. We show that every 2-knot in $S^4$ that admits a bridge trisection with at most five crossings is ribbon. As a consequence, we show that the 2-twist spin of the trefoil has crossing number 6. This is the first such computation for a non-trivial knotted surface.

2606.03706 2026-06-17 math.AG math.AT math.CO 版本更新

Modular inequalities and Alexander polynomials of pencil type conic-line arrangements

模不等式与铅笔型圆锥-线排列的亚历山大多项式

Anca Macinic

AI总结 利用曲线模不等式等最新结果,确定铅笔型圆锥-线排列的亚历山大多项式,并证明其至少部分具有组合性质。

Comments Minor changes; some typos corrected, references updated

详情
AI中文摘要

我们利用最新结果(其中包括曲线的模不等式)来确定某些铅笔型圆锥-线排列类的亚历山大多项式。对于这些曲线类,我们证明亚历山大多项式(至少部分地)是组合的。为此,我们举例说明了适用于更广泛用途的新技术,这些技术可推广到更一般的曲线类。

英文摘要

We use recent results, among which modular inequalities for curves, to determine the Alexander polynomials for some classes of pencil-type conic-line arrangements. For these classes of curves we prove that the Alexander polynomial is (at least partially) combinatorial. To this end, we exemplify new techniques that are suitable for broader use, lending themselves to more general classes of curves.

2606.02717 2026-06-17 astro-ph.GA 版本更新

The Radio-IR Correlation in the Context of Deep Radio Source Counts

深射电源计数背景下的射电-红外相关性

Tirth D. Surti (1), Vikram Ravi (1), Allison Matthews (2), Viviana A. Rosero (1) ((1) Cahill Center for Astronomy and Astrophysics, California Institute of Technology, (2) Carnegie Observatories)

AI总结 通过射电-远红外相关性参数化红移演化,缓解MeerKAT深场射电源计数与紫外/远红外测量在z~1-2的恒星形成率密度历史中的张力。

Comments Now considering thermal fraction dependence on radio luminosity. Submitted to ApJ

详情
AI中文摘要

日益加深的、受混淆噪声限制的射电巡天已将直接射电源计数测量推至1.4 GHz的数十微央斯基。混淆噪声$P(D)$分析将统计计数延伸至$1\,\mathrm{\mu Jy}$以下。射电源计数通过局域射电光度函数的反向演化模型,利用射电-远红外相关性$q \propto \log(L_{\mathrm{FIR}}/L_{1.4})$将射电光度转换为远红外光度进而得到恒星形成率,从而约束了射电导出的恒星形成率密度历史。MeerKAT最近的深射电源计数表明,在$1\lesssim z\lesssim 2$处,射电与紫外/远红外测量的恒星形成率密度历史存在潜在张力。这对应于$10\,\mathrm{\mu Jy}$附近预测与实测源计数之间${>}3\sigma$的差异。我们基于宇宙线损失的变化,引入一种纯射电光度参数化的射电-远红外相关性红移演化。我们发现证据(${\gtrsim}2\sigma$)表明,射电-远红外相关性的演化(与$q$在$z{\sim}2$内因磁场增强而轻微下降一致)可以缓解源计数张力。我们还表明,如果$q$下降,在这些红移处射电-远红外相关性的内禀弥散很可能有界$\sigma_q\lesssim 0.3\,\mathrm{dex}$。尽管我们未发现当前射电源计数暗示射电-远红外相关性失效的证据,但未来深场巡天阵列(DSA)的深射电巡天将能把射电源计数推至数纳央斯基,为允许的演化提供更强约束。

英文摘要

Increasingly deep, confusion-limited radio surveys have pushed direct radio source-count measurements down to tens of $\mu$Jy at 1.4 GHz. Confusion-noise $P(D)$ analyses extend the statistical counts down below $1\,\mathrm{\mu Jy}$. Radio source counts have allowed for constraints on the radio-derived star formation rate density (SFRD) history through models of the backwards evolution of the local radio luminosity function, using the radio-FIR correlation, $q \propto \log(L_{\mathrm{FIR}}/L_{1.4})$, to convert radio luminosities to FIR luminosities and hence star-formation rates. Recent deep radio source counts from MeerKAT suggest a potential tension in the SFRD history between radio and UV/IR measurements at $1\lesssim z\lesssim 2$. This corresponds to a ${>}3\sigma$ discrepancy between the predicted and measured source counts near $10\,\mathrm{\mu Jy}$. We introduce a purely radio-luminosity based parameterization of the redshift evolution of the radio-FIR correlation based on changing cosmic ray losses. We find evidence (${\gtrsim}2\sigma$) that an evolution in the radio-FIR correlation consistent with a mild decrease in $q$ out to $z{\sim}2$ arising from strengthening magnetic fields can mitigate the source count tension. We additionally show that intrinsic scatter in the radio-FIR correlation is likely bounded $\sigma_q\lesssim 0.3\,\mathrm{dex}$ at these redshifts if $q$ decreases. Although we find no evidence that current radio source counts imply a breakdown in the radio-FIR correlation, future deep radio surveys from the Deep Synoptic Array (DSA) will be able to push radio source counts down to several nJy, providing stronger constraints on the allowed evolution.

2606.01517 2026-06-17 cs.CY 版本更新

The Main Barrier to AI Adoption in the Public Sector is Lack of Training: How a Structured Method Accompanied Productivity Gains in Two Brazilian Government Cases Without Incidents

公共部门采用AI的主要障碍是缺乏培训:一种结构化方法如何在两起巴西政府案例中无事故地提高生产力

Vinicius Santana Gomes

AI总结 本文通过巴西公共服务中的两个可审计案例,论证了公共部门采用生成式AI的主要障碍是培训不足而非技术问题,并提出了一种四层结构化教学方法,该方法在两家机构中显著提高了生产力且未发生安全事件。

Comments 58 pages, 14 figures. Bilingual document. English version, pp. 1 to 30, followed by the Portuguese version, pp. 31 to 58

详情
AI中文摘要

公共部门采用生成式人工智能主要被视为技术问题,期望生产力提升会随着日益强大的模型可用性而自然实现。本文基于巴西公共服务中的两个可审计案例,论证了在这些单位中观察到的采用障碍并非技术问题,而是与培训相关,并描述了作者开发的一种四层结构化教学方法。该方法应用于两个具有不同机构概况的单位:联邦区卫生部部门内部控制办公室(SES/CONT)在2024年全年,以及联邦区经济发展、劳动和收入部内部控制单位(UCI/SEDET)在2025年全年。在两个案例中,联邦区政府电子信息系统(SEI-GDF)的官方指标(可由第三方验证)记录了显著提升:SES/CONT的平均处理时间下降了18.2%,UCI/SEDET下降了50%,UCI还记录了技术报告产量增加92%,向公共管理者发布了288项正式建议,并分析了总金融规模达1.043亿美元的案例。在考察期间,两个单位的内部控制机制均未发现任何信息安全事件、敏感数据泄露或来自外部监督机构的正式合规挑战。该分析支持以下假设:该方法可在不同任务机构间移植,在符合国际和国家数据保护法及公共行政原则的协议内运行,并且由于使用免费AI模型,预算有限的公共实体也可使用。

英文摘要

The adoption of generative artificial intelligence in the public sector has been treated predominantly as a technological problem, with the expectation that productivity gains would follow from increasingly capable models. This paper argues, drawing on two auditable cases in the Brazilian Public Service, that the determining barrier to adoption observed in these units was not technological but training-related, and describes the four-layer structured pedagogical methodology developed by the author. The method was applied in two units with distinct institutional profiles: the Sectoral Internal Control Office of the Federal District Department of Health (SES/CONT) throughout 2024, and the Internal Control Unit of the Federal District Department of Economic Development, Labor and Income (UCI/SEDET) throughout 2025. In both cases, the official indicators from the Electronic Information System of the Federal District Government (SEI-GDF), verifiable by third parties, recorded substantial gains: average processing time fell by 18.2% at SES/CONT and by 50% at UCI/SEDET, with UCI also recording a 92% increase in technical-report production, the issuance of 288 formal recommendations to public managers, and the review of cases whose financial volume totaled US$ 104.3 million (the value of the cases reviewed, not an estimate of funds saved). In neither unit did internal control mechanisms identify any information-security incident, sensitive-data leakage, or formal compliance challenge from external oversight bodies during the period examined. The analysis is consistent with the hypothesis that the method is portable across agencies with distinct mandates, operates within protocols designed to comply with international and national data-protection law and with the principles of public administration, and is accessible to public entities under budget constraints, since it used free AI models.

2606.01388 2026-06-17 math.SG math-ph math.AG math.DG 版本更新

Lie-Rinehart and Poisson algebras over $C^\infty$-rings

Lie-Rinehart 和 Poisson 代数在 $C^\infty$-环上

Eugene Lerman, Ruben Louis

AI总结 本文在 $C^\infty$-环上定义了 Lie-Rinehart 代数的类似物,证明了 Poisson $C^\infty$-环的 $C^\infty$-Kähler 微分模构成 Lie-Rinehart 代数,反之,给定 Lie-Rinehart 代数可构造 Poisson 结构,并联系到流形上的 Lie algebroid。

Comments 62 pages. v3: added a reference and updated another reference. v2: addition of Examples 2.3 and 2.11. Comments welcome

详情
AI中文摘要

我们在 $C^\infty$-环上定义了 Lie-Rinehart 代数的类似物。我们证明,给定一个 Poisson $C^\infty$-环 $\mathcal{A}$,其 $C^\infty$-Kähler 微分模 $\Omega_{\mathcal{A}}^{1}$ 是(一部分)Lie-Rinehart 代数。反之,给定一个 $C^\infty$-环 $\mathcal{A}$ 上的 Lie-Rinehart 代数 $\mathcal{M} \xrightarrow{\rho} C^\infty\mathrm{Der}(\mathcal{A})$,在与 $\mathcal{A}$-模 $\mathcal{M}$(由模 $\mathcal{M}$ 自由生成的 $\mathcal{A}$-代数的 $C^\infty$-环类似物)相关联的 $C^\infty$-环 $\mathcal{F}(\mathcal{M})$ 上存在一个自然的 Poisson 括号。当 $\mathcal{A}$ 是流形 $M$ 上光滑函数的 $C^\infty$-环,且 $\mathcal{M}$ 是 Lie algebroid $E \to M$ 的截面模 $\Gamma(E)$ 时,$C^\infty$-环 $\mathcal{F}(\Gamma(E))$ 是对偶于向量丛 $E$ 的向量丛 $E^\vee \to M$ 的全空间上的函数环 $C^\infty(E^\vee)$。

英文摘要

We define the analogue of Lie-Rinehart algebras over $C^\infty$-rings. We show that given a Poisson $C^\infty$-ring $\mathcal{A}$ its module $\Omega_{\mathcal{A}}^{1}$ of $C^\infty$-Kähler differentials is (part of) a Lie-Rinehart algebra. Conversely, given a Lie-Rinehart algebra $\mathcal{M} \xrightarrow{\rho} C^\infty\mathrm{Der}(\mathcal{A})$ over a $C^\infty$-ring $\mathcal{A}$, there is a natural Poisson bracket on the $C^\infty$-ring $\mathcal{F}(\mathcal{M})$ associated with the $\mathcal{A}$-module $\mathcal{M}$ (the $C^\infty$-ring analogue of an $\mathcal{A}$-algebra freely generated by the module $\mathcal{M}$). In the case where $\mathcal{A}$ is the $C^\infty$-ring of smooth functions on a manifold $M$ and $\mathcal{M}$ is the module $\Gamma(E)$ of sections of a Lie algebroid $E \to M$, the $C^\infty$-ring $\mathcal{F}(\Gamma(E))$ is the ring of functions $C^\infty(E^\vee)$ on the total space of the vector bundle $E^\vee \to M$ dual to the vector bundle $E$.

2606.01245 2026-06-17 cs.IT math.CO 版本更新

Bounds on Multiple $b$-Burst Deletion-Correcting Codes

多重 $b$ 突发删除纠正码的上界

Chen Wang, Xiangliang Kong, Eitan Yaakobi, Tolga M. Duman

AI总结 本文研究多重 $b$ 突发删除纠正码的容量,通过分析删除球的结构性质,推导出码字最大尺寸的上界和组合下界,改进了已知结果并在某些情况下渐近最优。

详情
AI中文摘要

受其在基于DNA的存储系统中的应用驱动,能够纠正连续删除的码引起了广泛关注。这类码的一个重要类别是能够纠正多个连续删除错误的码,通常称为多重 $b$ 突发删除纠正码。在本文中,我们研究了多重 $b$ 突发删除纠正码的基本极限。具体来说,我们首先刻画了相关删除球的几个结构性质。然后,利用这些性质,我们推导了此类码的最大尺寸的几个上界和一个组合下界。因此,我们的界改进了先前已知的一般参数范围的结果,并在某些情况下被证明是渐近最优的。

英文摘要

Motivated by their applications in DNA-based storage systems, codes capable of correcting consecutive deletions have attracted significant attention. An important class of such codes consists of those that can correct multiple consecutive deletion errors, commonly referred to as multiple $b$-burst deletion-correcting codes. In this paper, we investigate the fundamental limits of multiple $b$-burst deletion-correcting codes. Specifically, we first characterize several structural properties of the associated deletion balls. Then, leveraging these properties, we derive several upper bounds and a combinatorial lower bound on the maximum size of such codes. As a consequence, our bounds improve upon the previously known results for general parameter regimes and are shown to be asymptotically optimal for certain cases.

2606.00420 2026-06-17 math.CO 版本更新

Counterexamples regarding elementary symmetric partitions

关于初等对称划分的反例

Vixail Hadelyn, Harper Niergarth, Weiyou Li, Wenhui Li

AI总结 本文通过构造反例,证明了Ballantine、Beck和Merca定义的初等对称划分映射pre_j在长度为2j(j≥3)的分划集上不是单射,并证明了完全齐次对称多项式定义的映射prh_j在所有分划集上是单射。

Comments 17 pages. Comments welcome! v2. Small correction to Conjecture 1.3, updated a reference

详情
AI中文摘要

Ballantine、Beck和Merca定义了初等对称划分映射pre$_j$,该映射将分划$λ$映射到一个更大的分划,其部分是在$λ$上计算第$j$个初等对称多项式时出现的加数。他们猜想pre$_j$在长度为$\ell \geq j$的$n$的分划集上是单射。$\ell = j$的情况被Devnani和Eyyunni否定;他们转而猜想该命题对$\ell > j$成立。在本文中,我们通过证明对于$j \geq 3$,pre$_j$在长度为$2j$的$n$的分划集上不是单射,从而否定了这个改进的猜想。我们还证明了通过完全齐次对称多项式定义的类似映射prh$_j$在所有分划集上是单射。

英文摘要

Ballantine, Beck, and Merca defined the elementary symmetric partition map pre$_j$ that sends a partition $\lambda$ to a larger partition whose parts are the summands appearing in the evaluation of the $j$-th elementary symmetric polynomial on $\lambda$. They conjectured that pre$_j$ is injective on the set of partitions of $n$ with length $\ell \geq j$. The $\ell = j$ case was disproved by Devnani and Eyyunni; they instead conjectured the statement to be true for $\ell > j$. In this article, we answer this refined conjecture in the negative by proving that pre$_j$ is not injective on partitions of $n$ with length $2j$ for $j \geq 3$. We also prove that the analogous map prh$_j$ defined via the complete homogenous symmetric polynomial is injective on the set of all partitions.

2605.30746 2026-06-17 cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con quant-ph 版本更新

Superconductor-"Metal" Transition of One-dimensional Interacting Bosons with Ohmic Quantum Dissipation

具有欧姆量子耗散的一维相互作用玻色子的超导体-“金属”转变

Miguel A. Cazalilla

AI总结 通过解析方法研究了一维晶格上具有原位相位耗散(描述与邻近扩散正常金属电极的约瑟夫森隧穿)的相互作用玻色子(库珀对)系统的相图,揭示了耗散玻色-爱因斯坦凝聚(超导体)与耗散莫特绝缘体(“金属”)之间的量子相变,并推导了其临界行为属于Wilson-Fisher普适类。

Comments 23 pages + 3 figures; v2: typos corrected

详情
AI中文摘要

研究了一维(1D)晶格上具有原位相位耗散(描述与邻近扩散正常金属电极的约瑟夫森隧穿)的相互作用玻色子(库珀对)系统的相图。从系统处于公度晶格填充开始,通过解析技术的组合表明,相图包含两个量子相:具有长程相位相干的耗散玻色-爱因斯坦凝聚(D-BEC)或超导体,以及具有空间指数衰减相位关联和局域虚时关联(衰减为电极的局域配对关联)的耗散莫特绝缘体(D-Mott)或“金属”。D-Mott/金属相可以描述为一维耗散玻色子液滴阵列,通过约瑟夫森隧穿弱耦合。液滴尺寸大致对应于相位滑移抑制相位相干性的长度尺度。Sachdev、Werner和Troyer [Phys. Rev. Lett. \textbf{92} 237003 (2004)] 在准一维导线中超导体-金属转变现象学上使用的耗散含时金兹堡-朗道理论是从这个微观液滴图像推导出来的。因此,D-Mott/D-BEC转变的临界性被证明属于Wilson-Fisher普适类,动力学指数$z\approx 2$。在小掺杂下,D-Mott/金属相由于其有限压缩性而保持稳定,该压缩性通过耗散强度和液滴间约瑟夫森耦合的微扰展开到领头阶计算得到。在较大掺杂下,通过映射到赝自旋链并结合玻色化,对于非零但任意小的耗散,D-BEC/超导体相是基态。还讨论了与各向异性光晶格中一维玻色子莫特绝缘体阵列的去禁闭转变的异同。

英文摘要

The phase diagram of a system of interacting bosons (Cooper pairs) hoping on a one-dimensional (1D) lattice with onsite phase dissipation describing the Josephson tunneling to a nearby diffusive normal-metal electrode is studied. Starting from the system at commensurate lattice filling, it is shown by a combination of analytical techniques that the phase diagram contains two quantum phases: A dissipative Bose-Einstein condensate (D-BEC) or superconductor with long-range phase coherence, and a dissipative Mott insulator (D-Mott) or "metal" with exponentially decaying phase correlations in space and local imaginary-time correlations decaying as the local pairing correlations of the electrode. The D-Mott/metal phase can be described as a 1D array of dissipative boson puddles, weakly coupled by Josephson tunneling. The puddle size roughly corresponds to the length scale beyond which phase slips suppress phase coherence. The dissipative time-dependent Ginsburg-Landau theory phenomenologically used by Sachdev, Werner, and Troyer [Phys. Rev. Lett. {\bf 92} 237003 (2004)] for the superconductor-metal transition in quasi-1D wires is derived from this microscopic puddle picture. Thus, the criticality of the D-Mott/D-BEC transition is shown to belong to the Wilson-Fisher universality class with dynamical exponent $z\approx 2$. At small doping, the D-Mott/metal phase remains stable due to its finite compressibility, which is computed to leading order in a perturbation expansion of the dissipation strength and the inter-puddle Josephson coupling. At larger doping, using a mapping to a pseudospin chain combined with bosonization, the D-BEC/superconductor phase is the ground state for non-vanishing but arbitrarily small dissipation. Similarities and differences with deconfinement transition of an array 1D bosonic Mott insulators in anisotropic optical lattices are also discussed.

2605.30494 2026-06-17 math.RA 版本更新

Graded identities for matrix algebras of order two over a finite field

有限域上二阶矩阵代数的分次恒等式

Diogo Diniz, Eduardo Pinto da Fonsêca, Luis Filipe Ramos

AI总结 本文确定了有限域上二阶矩阵代数 $M_2(\mathbb{F})$ 在所有可能群分次下的分次多项式恒等式的 $T_G$-理想基,基由有限个非平凡分次恒等式组成,且当群有限时基有限。

Comments 19 pages

详情
AI中文摘要

设 $G$ 为任意群,$\mathbb{F}$ 为有限域。本文确定了代数 $M_2(\mathbb{F})$ 在所有可能的 $G$-分次下的分次多项式恒等式的 $T_G$-理想基。所得基由有限个非平凡分次恒等式组成,且当 $G$ 有限时基是有限的。

英文摘要

Let $G$ be an arbitrary group and let $\mathbb{F}$ be a finite field. In this paper, we determine bases for the $T_G$-ideals of graded polynomial identities of the algebra $M_2(\mathbb{F})$ for all possible $G$-gradings. The bases obtained consist of finitely many non-trivial graded identities, and are finite whenever $G$ is finite.

2605.28793 2026-06-17 math.CO 版本更新

Off-diagonal Ramsey numbers

非对角 Ramsey 数的几乎紧指数

Domagoj Bradač

AI总结 通过构造新的无 K_s 图族,改进了非对角 Ramsey 数的下界,几乎匹配已知上界,并证明了当 s, k/s → ∞ 时 r(s,k) = (k/s)^{(1+o(1))s}。

Comments The new version achieves the tight exponent $r(s, k) \ge k^{s-1+o(1)}$ compared to the previous $r(s, k) \ge k^{s-2+o(1)}$

详情
AI中文摘要

我们构造了一个新的无 $K_s$ 图族,该图族在广泛参数范围内改进了 Ramsey 数的下界。对于任意固定的 $s \ge 4$,我们证明非对角 Ramsey 数满足 $r(s, k) \ge k^{s-2 + o(1)}$。对于 $s \ge 6$,这改进了自 1977 年 Spencer 首次建立以来仅经过对数改进的最佳已知下界 $r(s, k) \ge k^{\frac{s+1}{2} + o(1)}$。这几乎匹配了最佳已知上界 $r(s, k) \le k^{s-1 + o(1)}$,该上界被广泛认为给出了正确的指数。更一般地,我们证明如果 $s, k/s \rightarrow \infty$,则 $r(s, k) = \left(\frac{k}{s}\right)^{(1+o(1)) s}$,其中上界源自 1935 年 Erdős 和 Szekeres 的开创性工作。我们还获得了非常接近对角线的 Ramsey 数以及对角多色 Ramsey 数的改进下界。

英文摘要

For positive integers $s$ and $k$, the Ramsey number $r(s,k)$ is the minimum integer $n$ such that any graph on $n$ vertices contains a clique of size $s$ or an independent set of size $k$. We prove that for any fixed $s \ge 3$ and $k$ tending to infinity, the off-diagonal Ramsey numbers satisfy \[ r(s, k) \ge \Omega \left(\frac{k^{s-1}}{(\log k)^{2s-4}} \right), \] which matches, up to polylogarithmic factors, the upper bound established over 90 years ago by Erdős and Szekeres. For $s \ge 5,$ this improves the best known lower bound of the form $r(s, k) \ge k^{\frac{s+1}{2} + o(1)}$ which was first established by Spencer in 1977 and has since only seen polylogarithmic improvements.

2605.27841 2026-06-17 quant-ph 版本更新

Coherent Dark State Formation of a Lead-Vacancy Spin Qubit in Diamond

金刚石中铅空位自旋量子比特的相干暗态形成

Yiyang Chen, Koyo Hirai, Tzyy Zheng Neo, Eiki Ota, Takashi Taniguchi, Masashi Miyakawa, Shinobu Onoda, Toshiharu Makino, Mutsuko Hatano, Takayuki Iwasaki

AI总结 本文报道了金刚石中铅空位中心在低温下的磁光与自旋性质,通过相干布居俘获观测到相干暗态的形成,并展示了其相比其他IV族中心在4K以上的热稳定性优势。

详情
AI中文摘要

金刚石中的铅空位(PbV)中心在液氦温度以上表现出相干发射,使其在量子网络应用中极具吸引力。本文报道了金刚石中PbV中心的磁光和自旋性质。我们在7.5 K下、大离轴磁场中记录到12 ms的自旋寿命。此外,通过相干布居俘获观察到相干暗态的形成,并估计出6.5 K下354 ns的自旋退相干时间。这项工作证明了PbV自旋在4 K以上相比其他IV族中心具有出色的热鲁棒性。

英文摘要

A lead-vacancy (PbV) center in diamond exhibits coherent emission above the liquid helium temperature, making it highly attractive for quantum network applications. Here, we report the magneto-optical and spin properties of PbV centers in diamond. We record a spin lifetime of 12 ms at 7.5 K under large off-axis magnetic field. Furthermore, we observe formation of the coherent dark state by coherent population trapping and estimate a spin dephasing time of 177 ns at 6.5 K. This work demonstrates the outstanding thermal robustness of the PbV spin compared to other group-IV centers above 4 K.

2605.27663 2026-06-17 astro-ph.GA 版本更新

Bar-driven gas redistribution suppresses star formation in spiral galaxies: Evidence from dust lanes in NGC 3351

棒驱动气体再分布抑制旋涡星系中的恒星形成:来自NGC 3351尘埃带的证据

Koshy George, Smitha Subramanian

AI总结 基于HST、ALMA和AstroSat/UVIT的高分辨率成像,观测发现正面旋涡星系NGC 3351中棒驱动的气体再分布导致其中心区域恒星形成被抑制。

Comments Accepted for publication in A&A Letter to the Editor

详情
AI中文摘要

我们基于HST、ALMA和AstroSat/UVIT的高分辨率成像,提供了观测证据,表明正面旋涡星系NGC 3351中棒驱动的气体再分布导致其中心区域恒星形成被抑制。尘埃和分子气体在星系中共存,因此观测到的尘埃带可用于探测气体的分布。在NGC 3351的中心区域,被恒星棒覆盖的区域,HST F438W-F814W彩色图中可见尘埃带,但令人惊讶的是,这些区域缺乏分子气体和近期恒星形成。尘埃带形态朝向星系中心向内,表明该区域可能曾经存在分子气体,但由于恒星棒的作用而被重新分布到中心。因此,尘埃带的方向指示了过去气体向星系中心的流入,其形态一致地沿棒向内定向。这些发现支持了一个情景,即恒星棒有效地将分子气体输送到核区,构建了中心气体库,同时抑制了沿棒的恒星形成。

英文摘要

We present observational evidence, based on high-resolution imaging from HST, ALMA, and AstroSat/UVIT, that the redistribution of gas driven by the bar in the face-on spiral galaxy NGC 3351 results in suppressed star formation in its central regions. Dust and molecular gas coexist in galaxies, allowing dust lanes observed in galaxies to be used to probe the distribution of gas. In the central regions of NGC 3351, covered by the stellar bar, dust lanes are visible in the HST F438W-F814W color map, but surprisingly, these areas lack molecular gas and recent star formation. The inward orientation of the dust lane morphology towards the galaxy's center suggests that molecular gas may have once been present in this region, but was redistributed to the center due to the stellar bar's action. The direction of dust lanes, therefore, indicates the past inflows of gas toward the galaxy center, with their morphology consistently oriented inward along the bar. These findings support a scenario where the stellar bar has efficiently channeled molecular gas into the nucleus, building the central reservoir while suppressing star formation along the bar.

2605.27624 2026-06-17 math.CO 版本更新

Proper Additive Edge Colorings of Regular Graphs

正则图的正常加性边着色

Ian Gossett

AI总结 本文研究正则图的正常加性边色数,证明了对于d-正则Vizing-1类图,其正常加性边色数等于边色数,并给出了Vizing-2类图的上界。

Comments notation errors fixed in the proof of Proposition 16

详情
AI中文摘要

我们证明,如果$G$是一个$d$-正则Vizing-1类图,则$G$的正常加性边色数,记为$η'_p(G)$,等于其边色数。这验证了Czerwiński等人提出的加性着色猜想的一个加强形式对于$d$-正则Vizing-1类图的线图成立。我们证明,如果$G$是一个$d$-正则Vizing-2类图,则$η'_{p}(G)\leq rac{(2^{\lceil \log_2 (d+1) ceil})^2+2}{3}$,并且如果$G$是一个$d$-正则Vizing-2类图,它有一个正常边着色,其中最小颜色类的大小为$r$,且$ ext{girth}(G)\geq 6r-5$,则$η_p'(G)\leq 2d$,以及其他结果。

英文摘要

We show that if $G$ is a $d$-regular Vizing-class-1 graph, then the proper additive chromatic index of $G$, denoted $\eta'_p(G)$, is equal to its chromatic index. This verifies that a strengthening of the Additive Coloring Conjecture of Czerwiński et al. holds for line graphs of $d$-regular Vizing-class-1 graphs. We show that if $G$ is a $d$-regular Vizing-class-2 graph, $\eta'_{p}(G)\leq \frac{(2^{\lceil \log_2 (d+1)\rceil})^2+2}{3}$, and if $G$ is a $d$-regular Vizing-class-2 graph that admits a proper edge-coloring with a smallest color class of size $r$ and $\text{girth}(G)\geq 6r-5$, then $\eta_p'(G)\leq 2d$, among other results.

2605.26716 2026-06-17 cond-mat.soft 版本更新

Chirality-Driven Hierarchical Phase Morphologies in Self-Assembled Biaxial Amphiphiles

手性驱动的自组装双亲分子中的层级形态

Sayantan Mondal, Jayashree Saha

AI总结 通过分子动力学模拟,研究分子疏水性、形状各向异性和手性之间的相互作用,发现分子手性的变化驱动了层状、圆柱和囊泡相的一系列扭曲液晶变体,建立了微观手性与介观结构形成及其不稳定性之间的直接联系。

详情
AI中文摘要

手性在决定自然界许多系统的结构中起着关键作用。自组装产生的扭曲或螺旋聚集体可以在许多生物和合成材料中看到。尽管有广泛的理论和实验努力,分子尺度的手性如何导致双亲分子中复杂的扭曲形态仍然未被探索。在这里,我们使用分子动力学模拟研究分子疏水性、形状各向异性和手性之间的相互作用。相对分子浓度和分子内在手性的变化驱动了层状、圆柱和囊泡相的一系列扭曲液晶变体。这些结构在平衡条件下自发出现,并通过取向相关函数进行表征。我们证明分子手性的变化导致系统内层级手性序的发展。手性的进一步增加与疏水相互作用竞争,导致形态不稳定性。我们的发现建立了微观手性与介观结构形成及其不稳定性之间的直接联系。观察到的相形态的流动性和螺距与手性量的定性比较已被报道。

英文摘要

Chirality plays a crucial role in determining the structure of many systems in nature. Twisted or helical aggregates as a consequence of self-assembly can be seen in many biological and synthetic materials. Despite extensive theoretical and experimental efforts, how molecular-scale chirality gives rise to complex twisted morphologies in amphiphiles still remains unexplored. Here we study the interplay between molecular hydrophobicity, shape anisotropy and chirality using molecular dynamics simulation. Variation of relative molecular concentration and intrinsic chirality of molecules drive a sequence of twisted liquid crystalline variants of lamellar, cylindrical and vesicular phases. These structures emerge spontaneously under equilibrium conditions and are characterized by orientational correlation functions. We demonstrate that variation in molecular chirality gives rise to the development of hierarchical chiral order within the system. Further increment of chirality competes with hydrophobic interactions, leading to morphological instabilities. Our findings establish a direct link between microscopic chirality and mesoscale structure formation and their instabilities. Qualitative comparison of liquidity and pitch of the observed phase morphologies with the amount of chirality has been reported.

2605.26276 2026-06-17 physics.optics 版本更新

GHz-bandwidth InAs/InAsSbP barrier infrared detectors for the 3.0-3.7 μm spectral region operating at room temperature

用于3.0-3.7 μm光谱区域室温工作的GHz带宽InAs/InAsSbP势垒红外探测器

Grzegorz Gomółka, Krzysztof Kłos, Jarosław Pawluczyk, Maciej Kowalczyk, Piotr Martyniuk, Łukasz A. Sterczewski

AI总结 本文报道了一种InAs/InAsSbP nBp势垒探测器,在室温下实现2.4 GHz电带宽和19 GHz以上高频探测,为3.0-3.7 μm波段提供了高速、灵敏的解决方案。

详情
AI中文摘要

高速中波红外光电探测器的需求由高速自由空间光通信和光学频率梳光谱学推动。迄今为止,只有少数多GHz光电探测器在3.0-3.7 μm波段实现了灵敏的室温工作,但其商业可用性仍然稀缺。在这项工作中,我们展示了InAs/InAsSbP nBp势垒探测器——一种通常与高频操作无关的类型——的显著响应速度。直径为121 μm的弱反向偏置光电二极管实现了2.4 GHz的-3 dB电带宽和8.0 GHz的-20 dB带宽。这是这类中红外光电探测器中经光学确认的最佳结果。在超过19 GHz的频率下也展示了高信噪比光电探测。相对简单的器件结构(无级联结构或II型超晶格)在成熟的InAs材料平台上实现,这为3.0-3.7 μm光谱区域的可获取、灵敏的多GHz光电探测器开辟了新前景。

英文摘要

The demand for fast mid-wave infrared photodetectors is fueled by high-rate free-space optical communication and optical frequency comb spectroscopy. To date, only a few multi-GHz photodetectors have shown sensitive room-temperature operation in the 3.0-3.7 {\mu}m band, yet their commercial availability remains scarce. In this work, we present the remarkable response speed of an InAs/InAsSbP nBp barrier detector - a type typically not associated with high-frequency operation. A weakly reverse-biased photodiode with a diameter of 121 {\mu}m achieves a -3 dB electrical bandwidth of 2.4 GHz and -20 dB bandwidth of 8.0 GHz. This is the best result in this class of mid-infrared photodetectors confirmed optically. High signal-to-noise photodetection is also demonstrated at frequencies exceeding 19 GHz. The relatively simple device structure (devoid of cascaded structure or type-II superlattice) was realized on the mature InAs material platform, which opens new perspectives for accessible, sensitive, multi-GHz photodetectors for the 3.0-3.7 {\mu}m spectral region.

2605.26218 2026-06-17 quant-ph cond-mat.stat-mech 版本更新

Practical Tests and Witnesses of Fermionic non-Gaussianity

费米子非高斯性的实用测试与见证

Tobias Haug, Xhek Turkeshi, Piotr Sierant

AI总结 基于费米子反平坦度(FAF)开发两种互补协议(双副本贝尔测量和单副本马约拉纳双线性对易匹配方案),实现纯态和混合态非高斯性的高效检测与见证,并在IQM量子计算机上验证噪声的影响,同时揭示伪随机态生成需要大量费米子非高斯性。

Comments 11+13 pages, updated version with clarifications, comments welcome!

详情
AI中文摘要

检测量子态何时离开可高效模拟的费米子高斯区域是基准测试量子设备和认证费米子魔法资源的核心任务。我们基于费米子反平坦度(FAF)——一种基于协方差矩阵的非高斯性度量——开发了实用测试与见证。对于$n$量子比特态,我们使用两种互补协议估计FAF:双副本贝尔测量和基于马约拉纳双线性对易匹配的单副本方案。这些方案产生了区分纯高斯态与距离高斯集$ε$远的态的测试器,分别使用$O(n^2/ε^2)$次双副本贝尔测量或$O(n^3/ε^4)$次单副本测量,在$n$和$ε$的依赖关系上改进了现有技术水平。对于混合态,我们引入了一种纯度校正的FAF见证,该见证可认证非高斯性并对噪声高度鲁棒。利用我们的见证,我们在IQM量子计算机上展示了噪声既能降低也能增强非高斯性。最后,通过检查伪非高斯性,我们表明伪随机态生成的密码学任务需要大量的费米子非高斯性。这些结果共同为检测、见证和量化非高斯费米子资源提供了实验上可用的工具。

英文摘要

Fermionic Gaussian states describe free fermions and underlie the mean-field picture of matter, from metals to superconductors; they are also efficiently simulable on classical computers. Departures from Gaussianity -- the correlations produced by interactions -- are therefore what make a fermionic system hard to simulate classically and useful for quantum computation, analogous to the role of magic in stabilizer-based quantum computation. Yet detecting and quantifying such non-Gaussianity at scale has remained challenging. Here we introduce practical tests and witnesses of fermionic non-Gaussianity built on fermionic antiflatness, a measure derived from the two-point covariance matrix. We estimate it with two protocols -- a two-copy Bell measurement and a single-copy scheme using commuting Majorana bilinears -- that determine whether a state is Gaussian or far from it at lower measurement cost than existing approaches, using only operations native to fault-tolerant hardware. For mixed states, a purity-corrected witness certifies non-Gaussianity and remains robust under strong noise; running it on the IQM quantum processor, we find that noise can both reduce and enhance non-Gaussianity. Finally, we show that preparing pseudorandom fermionic states requires extensive non-Gaussianity. Together, these tools enable the study and certification of non-Gaussian fermionic resources on present-day quantum devices.

2605.30028 2026-06-17 cond-mat.mtrl-sci cond-mat.mes-hall 版本更新

Hysteretic phononic band structures arising from martensitic phase transformations

形状记忆复合细棒中的滞回声学带结构

R. Esquivel-Sirvent, B. Manzanares-Martínez, J. Manzanares-Martínez

AI总结 研究形状记忆合金(NiTiCu)与聚合物间隔层(Parylene C)交替组成的一维周期复合棒中纵向弹性波的传播,发现材料滞回性导致周期结构的集体声学响应出现滞回现象,带隙边缘在温度-频率平面形成闭环。

Comments 5 figures

详情
AI中文摘要

我们研究了一维周期复合棒中纵向弹性波的传播,该复合棒由形状记忆合金(NiTiCu)和聚合物间隔层(Parylene C)交替组成。在细棒条件下,纵向相速度简化为 $c=\sqrt{E/ρ}$,这与通过马氏体相变过程中的声学响应直接测量NiTiCu弹性模量的条件一致。分别沿加热和冷却分支使用标准传递矩阵方法,我们计算了无限周期系统的Bloch带结构和有限复合棒的透射谱。由于NiTiCu的弹性模量在加热和冷却时遵循不同路径,相变区间内的相同外部温度对应两种不同的相分数,从而对应两种不同的声子谱。因此,底层材料的滞回性被传递到周期结构的集体声学响应:带隙边缘在温度-频率平面形成闭环,且有限棒在固定温度下的透射系数取决于先前的热历史。我们进一步表明,活性段的几何填充分数提供了额外的调谐机制,独立于温度改变谱滞回环的宽度和特定带隙闭合的位置。这些结果说明具有本征热滞回的一级结构相变如何在周期弹性介质的色散关系中体现。

英文摘要

Thermal tuning of phononic crystals typically treats each constituent's elastic modulus as a single-valued function of temperature. Here we show that when one constituent undergoes a first-order martensitic transformation (NiTiCu), paired with a Parylene C spacer in a thin one-dimensional composite rod, the intrinsic thermal hysteresis of the transformation is transferred to the collective acoustic response, making it depend on thermal history. Transfer-matrix calculations performed separately along the heating and cooling branches reveal that the same temperature within the transformation interval can correspond to two distinct Bloch band structures and two distinct transmission spectra. As temperature is cycled, stop-band edges trace closed loops in the temperature-frequency plane, producing hysteretic phononic band structures. At a fixed probe frequency, the rod can switch between transmitting and strongly attenuating states depending solely on whether the sample was last heated or cooled, with transmission contrasts exceeding 50 dB in a six-cell structure, thereby realizing a form of acoustic memory. The filling fraction of the active segment provides an independent geometric control parameter that modifies the width of the hysteresis loops and the positions of gap closures. These predictions can be tested directly using immersion-ultrasonic measurements on NiTiCu/Parylene C composite rods.

2605.26822 2026-06-17 hep-th 版本更新

Null Strings Gauged and Reloaded, II: Consistent Classical Treatment of the Null Strings

零弦的规范与重载,II:零弦的一致经典处理

M.M. Sheikh-Jabbari, H. Yavartanoo

AI总结 本文通过哈密顿分析,发现零弦(具有Carroll世界面的无张力弦)存在额外的Carroll-Weyl规范对称性,并由此将约束的BMS$_3$代数扩展为包含权重一算符的代数,从而建立了该对称性的存在性和必要性。

Comments 12 pages, a companion to arXiv:2605.12414 (https://arxiv.org/abs/2605.12414) and arXiv:2605.25817 (https://arxiv.org/abs/2605.25817), references updated, comments added

详情
AI中文摘要

我们观察到,零弦(具有Carroll世界面的无张力弦)表现出一种额外的规范对称性,即Carroll-Weyl规范对称性,这种对称性无法从有张力弦的超相对论Carroll极限得到。由于这种对称性的存在,约束的BMS$_3$代数(作为标准有张力弦的两个Virasoro代数的Carroll极限)应被一个由权重一算符扩展的BMS$_3$代数所取代。为了进一步确立Carroll-Weyl规范对称性的存在性和必要性,我们仔细研究了约束/规范系统的哈密顿分析。我们还讨论了扩展的约束BMS$_3$代数。

英文摘要

We observed that the null strings, tensionless strings with Carrollian worldsheets, exhibit an extra gauge symmetry, \textit{Carroll-Weyl} gauge symmetry, which cannot be obtained from ultra-relativistic Carrollian limit of tensile strings. Due to the existence of this symmetry, the BMS$_3$ algebra of constraints, which is obtained as the Carrollian limit of two Virasoro algebras of the standard tensile strings, should be replaced with an BMS$_3$ algebra extended by a weight one operator. To establish further the existence and necessity of the Carroll-Weyl gauge symmetry, we carefully work through Hamiltonian analyses of constrained/gauged systems. We also discuss the extended BMS$_3$ algebra of constraints.

2604.22983 2026-06-17 astro-ph.SR astro-ph.EP astro-ph.GA 版本更新

The POKEMON Speckle Survey of Nearby M dwarfs. IV. Distance-Limited Catalog (POKEMON-DLC)

附近M矮星的POKEMON散斑巡天. IV. 距离限制星表 (POKEMON-DLC)

Catherine A. Clark, Zafar Rustamkulov, Gerard T. van Belle, Mark E. Everett, Colin Littlefield, Sarah J. Deveny, David R. Ciardi, Kaspar von Braun

AI总结 基于Gaia识别的66颗额外M矮星主星,通过散斑观测补充POKEMON星表,更新了投影分离分布和多重性率。

Comments 22 pages, 7 figures. Accepted for publication in the Astronomical Journal

详情
AI中文摘要

太阳邻域主要由比太阳更小、更冷、更暗的恒星——M矮星主导。为了理解太阳形成和演化的背景,我们必须研究这些低质量邻居的系统结构。因此,我们开展了附近M矮星主星的POKEMON散斑巡天。该巡天旨在以衍射极限分辨率观测一个体积限制(北纬-30度以上)的M矮星主星样本,范围至M9型、距离15 pc。Gaia之前的视差测量给出了454颗附近M矮星主星星表。然而,Gaia的精确天体测量表明,15 pc内存在额外的低质量源。本文介绍POKEMON距离限制星表(POKEMON-DLC),这是一个补充星表,包含对Gaia识别的66颗额外M矮星主星的散斑观测,使POKEMON星表中的超冷矮星(晚于M6.5型)主星数量增加了1.6倍。在我们的观测中,探测到4个可能的束缚伴星。通过文献检索补充伴星后,我们更新了投影分离分布,发现峰值在7.91 au(σlog(a) = 1.1, SElog(a) = 0.10)。我们还更新了M矮星恒星多重性和伴星率,分别得到22.7 ± 1.8%和27.5 ± 2.0%。这些结果强调了Gaia在识别低质量、附近源方面的实用性,并发现SPHEREx对这些源的后续表征将继续阐明太阳邻域的性质。

英文摘要

The Solar Neighborhood is dominated by stars smaller, colder, and fainter than the Sun: the M dwarfs. If we are to understand the context in which the Sun formed and evolved, then we must investigate the system architectures of our low-mass neighbors. We have therefore carried out the Pervasive Overview of Kompanions of Every M Dwarf in Our Neighborhood (POKEMON) speckle survey of nearby M-dwarf primaries. We created the survey with the goal of observing a volume-limited (north of -30 degrees) sample of M-dwarf primaries through M9 out to 15 pc at diffraction-limited resolution. Pre-Gaia parallax measurements yielded a catalog of 454 nearby M-dwarf primaries. However, the precise astrometry from Gaia indicated that there are additional low-mass sources within 15 pc. Here we present the POKEMON-Distance Limited Catalog (POKEMON-DLC), a supplemental catalog that consists of speckle observations for the 66 additional M-dwarf primaries identified by Gaia, increasing the number of ultracool dwarf (later than M6.5) primaries in the POKEMON catalog by a factor of 1.6. In our observations we detect four likely bound companions. After carrying out a literature search for additional companions, we update the projected separation distribution and find a peak at 7.91 au ({\sigma}log(a) = 1.1, SElog(a) = 0.10). We also update the M-dwarf stellar multiplicity and companion rates, and find values of 22.7 p/m 1.8% and 27.5 p/m 2.0%, respectively. These results emphasize the utility of Gaia for identifying low-mass, nearby sources, and we find that ensuing characterization of these sources by SPHEREx will continue to clarify the nature of the Solar Neighborhood.

2603.29951 2026-06-17 cond-mat.mes-hall physics.chem-ph 版本更新

Negative Electronic Friction and Non-Markovianity in Nonequilibrium Quantum Systems

非平衡量子系统中的负电子摩擦与非马尔可夫性

Riley J. Preston, Samuel L. Rudge, Daniel S. Kosov, Michael Thoss

AI总结 本文通过分子纳米结中的振动耦合给体-受体模型,研究非平衡条件下负电子摩擦与非马尔可夫效应的关联,并验证非马尔可夫效应对非平衡动力学和朗之万方程稳定性的显著影响。

详情
AI中文摘要

我们探讨了非平衡条件下分子与金属表面相互作用中非绝热振动动力学中负电子摩擦与非马尔可夫效应之间的联系。我们证明,一种导致负马尔可夫电子摩擦的通用非平衡机制(其中分子振动直接与非弹性电子跃迁耦合)也会引入电子摩擦的显著非马尔可夫贡献。为了演示这些想法,我们研究了通过包含振动耦合给体-受体模型的分子纳米结的非平衡电荷输运,其中负电子摩擦反映了振动模式超越标准焦耳加热的驱动。通过与数值精确的全量子分层运动方程模拟的比较,我们验证了这些非马尔可夫效应对非平衡动力学甚至对所得朗之万方程的稳定性有显著影响。

英文摘要

We address the connection between negative electronic friction and non-Markovian effects in the nonadiabatic vibrational dynamics of molecules interacting with metal surfaces under nonequilibrium conditions. We show that a generic nonequilibrium mechanism leading to negative Markovian electronic friction, where molecular vibrations couple directly to inelastic electronic transitions, also introduces significant non-Markovian contributions to the electronic friction. To demonstrate these ideas, we investigate nonequilibrium charge transport through a molecular nanojunction containing a vibrationally coupled donor-acceptor model, where negative electronic friction reflects driving of the vibrational mode beyond standard Joule heating. By comparison to numerically exact, fully quantum hierarchical equations of motion simulations, we verify that these non-Markovian effects have a significant impact on the nonequilibrium dynamics and even on the stability of the resulting Langevin equation.

2605.29200 2026-06-17 stat.ME 版本更新

Approximating full conformal prediction: distribution free guarantees via the tournament correction

近似全共形预测:通过锦标赛校正实现无分布保证

Aabesh Bhattacharyya, Boxuan Zhang, Rina Foygel Barber

AI总结 提出基于锦标赛思想的一类新近似方法,在保证边际覆盖率为1-2α的同时降低计算成本,并可在稳定性条件下收紧至约1-α。

Comments 23 pages, 2 figures

详情
AI中文摘要

共形预测是一个提供预测区间的框架,具有无分布有效性的保证,确保对来自任何分布的数据的预测覆盖率。它的两个主要变体是全共形预测和分裂共形预测(也称为转导和归纳)。全共形预测被广泛认为在统计上更有效(因为分裂共形预测需要数据分割,因此由于样本量的损失可能导致更宽的预测区间),但其实现计算上不可行,因为它需要对响应空间中的每个候选值重新拟合底层模型。现有的计算捷径,例如使用离散值网格来近似全共形预测构造,通常缺乏边际覆盖率的理论保证,并且可能在实际中失败。为了解决这一限制,我们引入了一类新的全共形预测方法近似,基于锦标赛思想,使得能够构建具有严格边际覆盖率保证为$1-2α$的预测集。在稳定性条件下,理论覆盖率保证收紧至约$1-α$。这个新框架推广了现有的留一法交叉共形预测方法,同时允许灵活使用各种现有的近似策略。

英文摘要

Conformal prediction is a framework for providing prediction intervals with distribution-free validity, guaranteeing predictive coverage for data drawn from any distribution. Its two main variants are full conformal prediction and split conformal prediction (also called transductive and inductive). Full conformal prediction is widely considered to be statistically more efficient (since split conformal prediction requires data splitting, and therefore can lead to wider prediction intervals due to the resulting loss in sample size), but its implementation is computationally prohibitive, as it requires the underlying model to be refit for every candidate value in the response space. Existing computational shortcuts, such as using a discrete grid of values to approximate the full conformal prediction construction, frequently lack theoretical guarantees on marginal coverage and can fail in practice. To address this limitation, we introduce a novel class of approximations to the full conformal prediction method, based on the idea of \emph{tournaments}, which enables the construction of prediction sets with a rigorous marginal coverage guarantee of $1-2\alpha$. Under stability conditions, the theoretical coverage guarantee tightens to approximately $1-\alpha$. This new framework generalizes the existing method of leave-one-out cross-conformal prediction, while allowing for flexible use of various existing approximation strategies.

2605.22948 2026-06-17 math.GM 版本更新

A Formal Graph-Theoretic Framework for Pitch Class Set Analysis

通过闭包和可加性对 Z-关系的组合刻画

Aleksa Joksimović

AI总结 本文将音高类集合建模为完全加权图,通过可加性规则编码区间内容,引入实现数并证明 Z-关系等价于实现数≥2,给出若干构造性结果和缩放定理。

Comments Special thanks to Emmanuel Amiot and Drew Flieder for advice and feedback

详情
AI中文摘要

本文通过将音高类集合建模为完全加权图,并利用可加性规则将它们的区间内容编码为 $n$ 的一个组合,从而给出 Z-关系的结构性解释。我们引入实现数 $\mathcal{R}(\mu,n)$ —— 产生相同区间多重集 $\mu$ 的 T/I-不等价组合的计数 —— 并证明 Z-关系恰好是条件 $\mathcal{R}(\mu,n)\geq 2$。我们证明在任意 $\mathbb{Z}_n$ 中,基数 $k=3$ 时不可能出现 Z-关系;对于每个被 $4$ 整除且 $n\geq 8$ 的 $n$,在 $k=4$ 时构造了一个显式的原始 Z-相关对;并建立了一个缩放定理,表明 $\mathbb{Z}_m$ 中的任何 Z-对都会传播到所有 $d\geq 1$ 的 $\mathbb{Z}_{dm}$ 中。所有结果均在 $\mathbb{Z}_{12}$ 和 $\mathbb{Z}_{19}$ 上通过计算验证。

英文摘要

We present a graph-theoretic reformulation of pitch-class set theory in which each set in $\mathbb{Z}_n$ is represented as a complete weighted graph whose edge weights are interval classes. We show that this construction is invariant under the dihedral group $D_n$, and that the full interval structure is encoded by a cyclic step composition, from which all interval data are recovered via an additivity principle. This framework yields a direct correspondence between T/I equivalence and graph isomorphism, and reinterprets Z-relation as non-isomorphic graphs with identical edge-weight multisets. We extend the model to weighted clique complexes, linking higher-order homometry to simplex-weight structure, and introduce a cent-weighted formulation enabling comparisons across different equal temperaments. Finally, we define a polynomial invariant derived from antipodal step pairings for algebraic analysis of pitch class space.

2506.09679 2026-06-17 math.NA 版本更新

Geometric flow regularization in latent spaces for smooth dynamics with the efficient variations of curvature

潜空间中的几何流正则化:基于曲率有效变分的平滑动力学

Andrew Gracyk

AI总结 本文通过引入几何流正则化(包括高斯曲率流、参数化流及基于时间微分的策略),在编码器-解码器方法的潜空间中控制结构,以缓解对抗学习的影响,并提升零样本与对抗保真度。

详情
AI中文摘要

我们设计了非线性几何分析中的策略,通过使用几何流正则化,在编码器-解码器方法(变分和确定性方法)中,针对数值方法型动力学的充分光滑数据,来缓和对抗学习的影响。我们通过曲率和里奇流的适应性调整,用几何流增强潜空间以控制结构。所有流均使用物理信息学习求解。传统的几何意义被牺牲以换取计算能力,但我们保持了关键的几何不变量,其中主要的不变量包括:内在低结构、由曲率充分下界保证的非平凡性、体积元的扭曲,这些在推理阶段提升了质量。我们引入了规范、光滑、曲率感知、测地线感知且非拓扑空洞或稀疏的表示。里奇曲率流的主要瓶颈在于里奇曲率是高阶的,因此计算昂贵,我们将尝试通过合理验证的代理来克服这一点。我们的主要贡献有四个方面。我们基于高斯曲率开发了一种损失函数,利用闭合路径环量积分处理曲面,通过斯托克斯定理绕过了克里斯托费尔符号的自动微分。我们发明了一种新的参数化流,该流在高斯方程导出的泰勒展开下有效。我们基于泛函的时间微分开发了两种策略:一种针对共形变化度量的标量曲率特例,另一种针对调和映射、其能量及诱导度量。我们的损失函数在解析上被简化且大多是启发式的,但保持了整体的积分潜结构。我们展示了曲率流以及中间编码环境中几何结构的公式化能够增强学习以及整体的零样本和对抗保真度。

英文摘要

We design strategies in nonlinear geometric analysis to temper the effects of adversarial learning for sufficiently smooth data of numerical method-type dynamics in encoder-decoder methods, variational and deterministic, through the use of geometric flow regularization. We augment latent spaces with geometric flows to control structure, relying on adaptations of curvature and Ricci flow. All of our flows are solved using physics-informed learning. Traditional geometric meaning is traded for computing ability, but we maintain key geometric invariants, the primary of which are maintained, intrinsically-low structure, nontriviality due to sufficient lower bounds on curvature, distortion of volume element, that develop quality in the inference stage. We instill representations that are canonical, smooth, curvature-aware, geodesic-aware, and non-topologically void or sparse. The primary bottleneck of a Ricci curvature flow is that Ricci curvature is high order, thus expensive to compute, so we will attempt to overcome this with properly justified proxies. Our primary contributions are fourfold. We develop a loss based on Gaussian curvature using closed path circulation integration for surfaces, bypassing automatic differentiation of the Christoffel symbols through use of Stokes' theorem. We invent a new parametric flow valid under a Taylor expansion derived from the Gauss equation. We develop two strategies based on time differentiation of functionals, one with a special case of scalar curvature for conformally-changed metrics, and another with harmonic maps, their energy, and induced metrics. Our losses are diminished analytically and mostly heuristic but maintain overall integral latent structure. We showcase that curvature flows and the formulation of geometric structure in intermediary encoded settings enhance learning and overall zero-shot and adversarial fidelity.

2605.25277 2026-06-17 math-ph 版本更新

Cyclic F-manifolds, distinguished connections and integrability

循环F-流形、特殊联络与可积性

Alessandro Arsie, Paolo Lorenzoni

AI总结 本文证明Hertling-Manin F-流形为研究形如${\bf u}_t=X\circ {\bf u}_x$的一阶拟线性演化偏微分方程组的可积性提供了合适的理论框架,在X关于F-积∘是循环向量场的温和假设下,该方法能处理非正则系统,并将可积性条件归结为联络的黎曼张量与乘积结构函数的几何条件。

Comments 54 pages, improved version

详情
AI中文摘要

我们证明Hertling-Manin F-流形为研究形如${\bf u}_t=X\circ {\bf u}_x$的一阶拟线性演化偏微分方程组的可积性提供了合适的理论框架,在X关于F-积∘是循环向量场的温和假设下。该方法非常通用,允许我们处理甚至非正则系统,这些系统以前超出了现有技术的范围。与正则情形类似,可积性信息包含在与系统相关的无挠联络中,可积性条件归结为联络的黎曼张量与乘积结构函数的几何条件。

英文摘要

We show that the geometry of Hertling-Manin F-manifolds $(M,\circ,e)$ provide the appropriate theoretical framework for studying the integrability of quasilinear systems of first-order evolutionary partial differential equations of the form ${\bf u}_t=X\circ {\bf u}_x$ (F-systems) under the mild assumption that the unit vector field is cyclic with respect to the operator of multiplication by the vector field $X$. This approach is very general and allows us to treat even non-regular systems that were previously beyond the scope of existing techniques. Like in the regular case the information about integrability is contained in a torsionless connection associated with the system and the integrability condition reduces to a geometric condition involving the Riemann tensor of the connection and the structure functions of the product. We prove that a locally conservative F-system is integrable and, in the analytic setting, also the converse statement, thereby providing a full characterization of integrability. Moreover, in the analytic case, we prove the existence of a family of analytic symmetries providing, in principle, the unique local analytic solution of the Cauchy problem through the generalised hodograph method.