arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 1967
2605.14238 2026-05-15 cond-mat.str-el

Ultrafast decoupling of quasiparticles and spin fluctuations in superconducting cuprates

Yuto Taniguchi, Ryo Kato, Tatsuya Amano, Hirotake Itoh, Yohei Kawakam, Yuto Nakamura, Hideo Kishida, Christian Bernhard, Jure Demsar, Takahiko Sasaki, Terukazu Nishizaki, Kenji Yonemitsu, Shinichiro Iwai

AI总结 本研究探讨了高温超导铜氧化物中,超导性被快速扰动后准粒子的生成机制。通过宽带和超快时间分辨反射光谱技术,研究人员发现准粒子在飞秒尺度内迅速与自旋涨落解耦,这一过程由电子-电子散射主导,并受光学能隙的反演时间尺度控制。该成果揭示了准粒子生成过程中的多体关联动力学,为理解非常规配对机制提供了新的线索。

Comments 24 pages , 5 figure (main text) and 14 pages (supplemental material)

详情
英文摘要

Understanding how quasiparticles are generated following a rapid quench of superconductivity in high-Tc cuprates is a key unresolved problem in nonequilibrium superconductivity. Here we resolve these processes in optimally doped YBCO [YBa2Cu3Oy(y=6.94, Tc=92 K)] using broadband (0.16 -4.1 eV, ca. 100 fs) and nearly single-cycle (6 fs) transient reflectivity spectroscopy. We show that within a few femtosecond, enhanced electron-electron Umklapp scattering dominates, signaling a transient modulation of long-range Coulomb interactions on the eV scale. This regime is followed by a rapid suppression of the scattering rate of the mid-infrared absorption associated with carriers dressed by spin fluctuations. We attribute this observation to an ultrafast decoupling of quasiparticles from the spin-fluctuation background, occurring on a 90 fs timescale set by the inverse optical gap. These findings reveal the correlated many-body dynamics underlying quasiparticle generation in cuprates and provide further clues for unconventional pairing mechanism.

2605.14234 2026-05-15 math.GR

Group Theory of the Kolakoski Sequence

Noah MacAulay

AI总结 本文研究了与Kolakoski序列相关的运行长度解码操作所生成的变换群。通过引入与之关联的置换自动机,作者分析了其变换群的结构,并将其嵌入到深度为$n+1$的二叉树自同构群中。研究揭示了这些群与具有递归结构的特定群之间的关系,并探讨了其极限群可能具有的弱正则分支性质,同时给出了奇数$n$情形下自动机在任意输入序列下的最大长度轨道数目。

详情
英文摘要

Run-length decoding is an operation on sequences in which a positive integer $a$ is replaced by a run(sequence of repeated elements) of length $a$. Iterated run-length decodings applied to sequences with alphabets consisting of pairs of positive integers $\{p, q\}$ have attracted attention from mathematicians, most notably in their role defining the well-known Kolakoski sequence. $n$-th-iterated run-length decodings are controlled by naturally associated permutation automata $A^{p,q}_n$. Here we study the transformation groups $\mathcal{K}^{p,q}_n$ of these automata. They are subgroups of the automorphism group of binary trees of depth $n+1$. They are naturally subgroups of(and likely equal to) a certain group $\mathcal{J}_n^{p,q}$ with an intricate recursive structure; their limit group is plausibly weakly regular branch. As an application we determine the number of maximal-length orbits of the automata given an arbitrary input sequence for odd $n$.

2605.14233 2026-05-15 astro-ph.GA

A new sample of Little Red Dots at $z<0.45$ in DESI DR1: Broad Balmer lines, low ionization spectrum and no variability

Kevin Park, Alberto Torralba, Jorryt Matthee, Sara Mascia, Zoltán Haiman, Rohan P. Naidu, Anna de Graaff

AI总结 该研究在DESI DR1数据中发现了一批红移小于0.45的“小红点”(Little Red Dots, LRDs),这些天体表现出宽巴尔末线、陡峭的巴尔末减幅、致密形态以及弱或无内在变光特性,与高红移LRDs的光谱特征相似,但不同于典型的I型活动星系核。研究通过发射线特性筛选出8个LRD候选体,并发现其数量密度仅为宇宙早期的约万分之一,暗示其活动可能与后期宇宙中金属丰度较高、气体供料速率较低有关。

Comments 21 pages, 17 figures, submitted to Astronomy & Astrophysics

详情
英文摘要

JWST has unveiled an abundant population of compact broad-line emitters largely at $z\gtrsim4$, the Little Red Dots (LRDs), which might represent a previously unprobed supermassive black hole evolution channel predominant at high redshift. However, the LRDs have remained mostly elusive at lower redshift ($z\lesssim2$) where detailed studies are possible from ground-based observatories. We searched for low-redshift LRDs in the Dark Energy Spectroscopic Instrument (DESI) survey. Our search is primarily based on emission line properties, as opposed to earlier approaches that searched for compact sources with specific photometric spectral energy distributions. We report the discovery of eight LRDs at $z=0.2-0.45$, which show spectral features akin to the high-redshift LRDs in the rest-frame optical. The sources are characterized by broad Balmer lines, steep Balmer decrements, compact morphologies, Balmer absorption features and/or strong He I emission, but weak or absent He II, [Ne V] or other high excitation lines typical of Type I AGN. For 7 out of 8 sources, we retrieve dense-cadence light curves from time-domain surveys and for most sources we find weak to no intrinsic variability ($0.0-0.1$ mag) over $4-17$ years in the rest-frame. We also highlight the identification of a quasar with similar Balmer line profiles as LRDs, but shows differences in Balmer decrement, significant variability, and high-ionisation lines. Given the effective volume $4.9{\rm Gpc^3}$ covered by DESI DR1 at $z<0.45$, our sample corresponds to a number density of $1.6\times10^{-9}$Mpc$^{-3}$, indicating a number density $\sim$10,000 times lower than in the first billion years of cosmic time. We find a dearth of luminous and red LRDs at $z<1$ compared to higher-redshift, which could suggest lower gas feeding rates of LRD activity due to higher metallicities at later cosmic epochs.

2605.14226 2026-05-15 math.NT

Kodaira-Neron statistics for rational elliptic curves with $j$-invariant 0 and 1728

John Cullinan, Sebastian Sargenti

AI总结 本文研究了$ j $-不变量为0和1728的有理椭圆曲线,这些曲线在所有坏约化素数处都具有加法约化。作者通过高度对这类曲线进行计数,并确定了在素数3和2处各类 Kodaira-Néron 类型的渐进行为,同时还在固定挠子群和同源-挠图的情况下给出了相关统计结果。

Comments 14 pages

详情
英文摘要

Elliptic curves over $\Q$ with $j$-invariant 0 or 1728 have additive reduction at all primes of bad reduction. In addition, all elliptic curves with $j$-invariant 0 have bad reduction at $p=3$ and all elliptic curves with $j$-invariant 1728 have bad reduction at $p=2$. In this paper we count elliptic curves with $j$-invariant 0 and 1728 by height and determine asymptotics for the various Kodaira-Néron types at 3 and 2, respectively. We also give related statistics by holding the torsion subgoup and isogeny-torsion graph constant.

2605.14225 2026-05-15 cond-mat.str-el

The thermopower properties of interacting systems

M. A. Habitzreuter, Willdauany C. de Freitas da Silva, Rodrigo A. Fontenele, Natanael C. Costa, Thereza Paiva

AI总结 本文研究了相互作用系统中的热电势特性,重点探讨了Seebeck系数在不同相互作用条件下的行为。通过引入吸引相互作用、近邻相互作用、子晶格势和电子-声子耦合等因素,发现这些相互作用可以显著增强Seebeck系数,并导致其随掺杂浓度变化时出现多次符号反转。研究还表明,这种异常行为与基态能隙的形成以及费米面结构的重构密切相关,为理解高温超导材料中的热电效应提供了新的视角。

详情
英文摘要

The quest for efficient devices has fueled research in thermoelectric materials. In these materials, the goal is to maximize the Figure of Merit $ZT$. One of the components of this quantity is the Seebeck coefficient, which measures the voltage generated in response to a temperature gradient. Recent studies have revealed that strong electronic correlations can enhance the Seebeck coefficient, leading to anomalous behavior near half-filling. However, the impact of interactions beyond the on-site Hubbard remains mostly unexplored. In this work, we investigate the Seebeck coefficient considering attractive interactions, nearest-neighbor interactions, sublattice potentials and electron-phonon coupling. We find that additional interaction scales can enhance the Seebeck coefficient, while also leading to multiple anomalous changes of sign as a function of doping. We also show that the anomalous behavior is connected to a gap opening in the ground state. Moreover, electron-phonon coupling also lead to a Seebeck anomaly, even without on-site repulsion. We connect these changes of sign in the Seebeck coefficient with a restructuring of the Fermi surface and a change in its topology, an effect commonly seen in cuprates.

2605.14223 2026-05-15 hep-ph

$τ^- \to ωπ^- ν_τ$ decay in R$χ$T with tensor sources

Feng-Zhi Chen, Xin-Qiang Li, Yuan-He Zou

AI总结 本文研究了τ⁻→ωπ⁻ν_τ衰变过程,在低能有效场论框架下,分析了夸克流和ωπ末态的J^{PG}量子数,发现只有标准模型的矢量相互作用和非标准的张量相互作用可以贡献于该衰变。通过构建包含外在张量源的共振手征理论拉格朗日量,计算了矢量和张量形式因子,并利用QCD短距离约束、谱函数拟合和手征微扰理论匹配确定共振耦合。研究发现谱函数主要由标准模型主导,而仅由非零张量相互作用引起的正反向不对称性分布是探测新物理效应的敏感探针,未来在Belle II、Tera-Z和STCF等实验中对此进行测量具有重要意义。

Comments 8 pages, 1 figure, and 2 tables; proceedings to the 7th International Workshop on Future Tau Charm Facilities (FTCF2025)

详情
英文摘要

We present a study of the $τ^- \to ωπ^-ν_τ$ decay in the framework of low-energy effective field theory. By analyzing the $J^{PG}$ quantum numbers of the quark currents and the $ωπ$ final state, we find that only the Standard Model (SM) vector interaction and the non-standard tensor interaction can contribute to this decay. We construct the resonance chiral theory Lagrangian with external tensor sources and calculate both the vector and tensor form factors, with resonance couplings determined through QCD short-distance constraints, spectral function fitting, and chiral perturbation theory matching. The new physics (NP) effect is investigated in the spectral function and forward-backward asymmetry distributions. Our results show that the spectral function is dominated by the SM, while the forward-backward asymmetry, which can only arise from a non-zero tensor interaction, provides a sensitive probe of this NP effect. Future measurements at Belle II, Tera-Z, and STCF facilities are therefore strongly motivated.

2605.14222 2026-05-15 stat.ME

Robust and Data-Adaptive Integration of Nonconcurrent Data in Platform Trials via Gaussian Processes

Yuhan Qian, Yu Du, Jingning Zhang, Yanyao Yi, Patrick J. Heagerty, Ting Ye

AI总结 本文研究了如何在平台试验中稳健且数据自适应地整合非同期数据,以提高试验效率。作者提出了一种基于高斯过程的框架,利用平台试验中的时间平滑特性,有效融合非同期数据,并提供了不确定性量化。该方法不仅具有清晰的频率学解释,还理论证明了其在降低治疗效应后验方差和控制偏差方面的优势,并通过实例和R包展示了其应用。

详情
英文摘要

A platform trial is an innovative clinical trial design that enables simultaneous and continuous evaluation of multiple treatments within a single master protocol. Existing robust methods restrict analyses to concurrently randomized participants due to concerns that including nonconcurrent data may introduce bias from temporal trends. However, this exclusion represents a missed opportunity to improve efficiency. We propose a Gaussian process framework for incorporating nonconcurrent data that exploits temporal smoothness, a key feature of platform trials. The framework includes single-task and multi-task formulations and provides data-adaptive integration of nonconcurrent data with uncertainty quantification. The connection to kernel ridge regression yields a transparent frequentist interpretation of how nonconcurrent data are integrated. We establish two theoretical guarantees: incorporating nonconcurrent controls reduces the posterior variance of the treatment effect, and the resulting bias is controlled by a non-increasing bound. We extend the framework to discrete outcomes and to covariate adjustment, illustrate it on a hypothetical platform trial constructed from SURMOUNT-1, and provide an implementation in the R package RobinCID.

2605.14219 2026-05-15 cs.SE quant-ph

Failure-Guided Fuzzing for Hybrid Quantum-Classical Programs

Lei Zhang

AI总结 本文研究了针对混合量子-经典程序的故障引导模糊测试方法,旨在发现如变分量子本征求解器(VQE)和量子近似优化算法(QAOA)等算法中的非收敛或错误配置。该方法将混合输入建模为经典优化器超参数与量子电路参数的组合,提出了一种两阶段策略,先寻找非收敛种子,再围绕这些种子进行局部模糊测试。实验表明,基于故障信息的局部模糊测试显著优于随机测试,而结合符号执行的种子发现方法在VQE中效果更佳,但在QAOA中稳定性较差,表明故障信息复用是提升混合量子-经典程序测试的有效方向。

Comments 7 pages, 4 figures

详情
英文摘要

Hybrid quantum-classical (HQC) algorithms, such as the Variational Quantum Eigensolver (VQE) and the Quantum Approximate Optimization Algorithm (QAOA), are central to near-term quantum computing but remain challenging to test. Sampling-based fuzzing can expose faulty or non-convergent configurations, but under realistic execution budgets, it may miss failure-prone regions in the joint space of classical optimizer settings and quantum circuit parameters. This paper studies failure-guided fuzzing for HQC programs. It models a hybrid input as a pair of classical optimizer hyperparameters and quantum circuit parameters, and evaluates a two-phase strategy that first searches for non-convergent seeds and then locally fuzzes circuit parameters around those seeds. To understand where the gains come from, five budgeted strategies are compared: random hybrid testing, classical enumeration without fuzzing, random-seed local fuzzing, enumeration-seed local fuzzing, and concolic-seed local fuzzing. The study is implemented on a VQE instance and a QAOA MaxCut instance in Qiskit. The results show that failure-guided local fuzzing is the main driver of improvement over random testing, while concolic seed discovery provides additional benefits on VQE but is less stable on QAOA. These findings suggest that reusing failure information is a promising direction for HQC testing, but that the value of concolic seed discovery is workload-dependent.

2605.14216 2026-05-15 cond-mat.mes-hall

Engineering Delocalization in Graphene Nanoribbons via Quasiperiodic Edges and Electronic Interactions

Diego B. Fonseca, Anderson L. R. Barbosa, Luiz Felipe C. Pereira

AI总结 本研究探讨了具有准周期斐波那契型边缘结构的锯齿型石墨烯纳米带中的局域化效应,并考虑了电子-电子相互作用的影响。通过结合紧束缚模型和自洽平均场Hubbard近似,研究发现准周期几何结构与电子相互作用的协同作用可以引发非平凡的输运现象,包括几何局域化、弱相互作用下的传导态与传输振荡,以及强相互作用下的局域化恢复。该成果表明,通过调控准周期边缘结构和电子相互作用,可以有效调控石墨烯纳米带的输运特性。

Comments 12 pages, 9 figures, 53 references

详情
英文摘要

We investigate localization effects in zigzag graphene nanoribbons with quasiperiodic Fibonacci-type edge extensions, accounting for electron-electron interactions. We employ a tight-binding model that includes first- and third-nearest-neighbor hoppings, in which electronic interactions are treated within a self-consistent mean-field Hubbard approximation. Charge transport properties are calculated using the Landauer-Büttiker formalism. Our results reveal that the combination of quasiperiodic geometry and electronic interactions gives rise to nontrivial transport phenomena. Specifically, the system exhibits three transport regimes: in the non-interacting case, we observe geometric localization. For weak interactions, the system shows a conductive regime with transmission oscillations, whose multiplicity increases with the Fibonacci generation order. In this regime, delocalization emerges from the interplay between geometry and interaction-induced correlations. Finally, for strong interactions, repulsion dominates, and the system returns to a localized state. Our results demonstrate that quasiperiodic edge engineering, combined with electronic interaction control, offers a promising path to modulate transport in graphene nanoribbons.

2605.14214 2026-05-15 cond-mat.mes-hall

Spin Hall effect in electronic Lévy glasses: Enhanced spin current generation in the superdiffusive regime

Diego B. Fonseca, Luiz Felipe C. Pereira, Anderson L. R. Barbosa

AI总结 本文研究了由高自旋轨道耦合区域随机分布的石墨烯条带构成的电子Lévy玻璃中的自旋霍尔效应,探讨了在不同输运 regime 下自旋电流的生成机制。通过调整费米能级,系统可分别表现出超扩散和扩散两种输运行为,其中超扩散 regime 具有更长的自旋扩散长度和更高的自旋霍尔角。研究发现,在超扩散 regime 中,较小的电荷电流可产生较大的自旋霍尔电流,自旋霍尔角可达30%,远高于扩散 regime 的5%。该成果为调控自旋输运和优化自旋电子器件性能提供了新的平台。

Comments 9 pages, 5 figures, 68 references. This work is a follow-up to arXiv:2302.02197 and arXiv:2405.10066

详情
英文摘要

In spintronics, both electronic charge and spin are used to process and store information. Generation, manipulation, and detection of spin currents are essential for the development of next-generation spintronic technologies. Here, we investigate the spin Hall effect in electronic Lévy glasses composed of graphene ribbons with randomly distributed circular regions of high spin-orbit coupling. These systems exhibit two transport regimes that can be tuned by adjusting the Fermi energy. The superdiffusive regime is characterized by low Fermi energy, low resistivity, and low magnetoresistivity, resulting in a long spin diffusion length, in contrast to the diffusive regime. Employing the Landauer-Büttiker approach in conjunction with numerically exact tight-binding simulations, we compute spin-resolved transmission coefficients to assess the spin Hall current and the spin Hall angle as functions of Fermi energy, spin-orbit coupling strength, and on-site electrostatic potential. Our findings reveal that, in the superdiffusive regime, a low charge current can be converted into a large spin Hall current, whereas in the diffusive regime, the same charge current generates a modest spin Hall current. Moreover, we observe that the spin Hall angle can reach 30% in the superdiffusive regime, whereas in the diffusive regime it is only 5%. These results demonstrate that electronic Lévy glasses provide a versatile platform for controlling spin transport and optimizing the spin Hall effect for spintronic applications.

2605.14213 2026-05-15 math.CO

A short proof of Mathar's 2013 recurrence conjecture for the reversible-binary-string sequence A032123

Tong Niu

AI总结 本文给出了对OEIS序列A032123的一个五阶递推猜想的简短证明。该序列统计的是长度为$2n$、含$n$个黑珠的黑白字符串在反转作用下等价类的个数。作者利用Burnside引理推导出该序列的闭式表达,并证明该递推关系对每个项都成立,从而验证了Mathar在2013年提出的猜想。研究还提供了符号计算脚本以验证递推关系的正确性。

Comments 10 pages

详情
英文摘要

For the OEIS sequence A032123, the number of length-$2n$ black-and-white strings with $n$ black beads, considered up to reversal, R. J. Mathar contributed in November 2013 the conjectured order-5 P-recursive recurrence \[ \begin{aligned} &n(n-1)\,a(n) - 2(n-1)(3n-4)\,a(n-1) + 4(2n^{2}-14n+19)\,a(n-2) &\qquad + 8(n^{2}+5n-19)\,a(n-3) - 16(n-3)(3n-10)\,a(n-4) &\qquad + 32(n-4)(2n-9)\,a(n-5) \;=\; 0, \qquad n \ge 6. \end{aligned} \] We give a short proof. Burnside's lemma applied to the reversal action gives the closed form $a(n) = \tfrac{1}{2}\bigl(\binom{2n}{n} + [n \text{ even}]\binom{n}{n/2}\bigr)$; the two summands satisfy elementary recurrences of order $1$ and $2$ respectively; and Mathar's order-5 operator, applied to each summand separately, reduces to a polynomial identity that simplifies to zero after a brief calculation. The supplementary archive includes a SymPy script which verifies the polynomial identities symbolically and checks Mathar's recurrence numerically for $n = 6, \ldots, 5000$.

2605.14209 2026-05-15 cs.CR cs.NI

Characterizing AI-Assisted Bot Traffic in Darknet Data: Implications for ICS and IIoT Security

Alex Carbajal, Caleb Faultersack, Jonahtan Vasquez, Shereen Ismail, Asma Jodeiri Akbarfam

AI总结 本文研究了人工智能辅助的自动化扫描工具对暗网流量的影响,分析了2021年至2025年间捕获的1.92亿个被动暗网数据包,揭示了针对工业控制系统(ICS)和工业物联网(IIoT)的自动化攻击流量显著增长的趋势。研究提出了一套模块化的分析方法,发现现代僵尸网络通过微调流量节奏规避检测,并指出现有入侵检测系统难以有效识别此类攻击,突显了关键基础设施网络安全防护的不足。

Comments This work has been accepted for publication at IEEE AIIIoT 2026

详情
英文摘要

The rise of automated scanning tools and AI assisted reconnaissance agents has significantly altered internet background traffic patterns, threatening the baseline assumptions underlying intrusion detection systems (IDS) deployed in critical infrastructure networks. This paper characterizes the evolution of automated bot traffic by analyzing a longitudinal dataset of 192 million passive darknet packets captured across 2021 and 2025 from the Merit ORION Network Telescope. A modular analysis pipeline was developed to compute metrics including average packet rate, global Shannon entropy, inter-arrival time (IAT) burstiness, geographic attribution, and destination port targeting across key industrial protocols. Results reveal a highly distributed yet focused reconnaissance landscape, with traffic targeting ICS-relevant ports nearly doubling from 0.82% to 1.51% over the four-year period. Furthermore, burstiness analysis exposes intentional micro-pacing behaviors (1ms to 100ms delays) that allow modern botnets to artificially smooth their overall volume. Our simulated anomaly-based IDS demonstrates that these evasion techniques enable 97.47% of modern bot traffic to bypass standard volumetric thresholds undetected. Compensatory sensitivity tuning triggers a 68.10% false-positive rate, highlighting fundamental visibility and alerting gaps in operational technology (OT) environments.

2605.14208 2026-05-15 astro-ph.SR

The Close Binary V486 Carinae

Ahmet Erdem, Volkan Bakis, Burcu Ozkardes, Edwin Budding, Mark G. Blackford, Tom Love, Michael D. Rhodes, Timothy S. Banks

AI总结 本文研究了被长期忽视的密接双星系统V486 Carinae,利用HIPPARCOS、TESS卫星光度数据以及HERCULES高色散光谱仪和地面B、V波段光度观测,对其质量、半径、温度等参数进行了测定,并分析了其光变特征和掩食现象。研究发现该系统由一颗质量约2.1倍太阳质量的主星和一颗约0.4倍太阳质量的次星组成,存在明显的光度不对称性和周期性微幅波动,并推测可能存在一颗约0.3倍太阳质量的第三天体。研究为理解近接触双星系统的演化提供了新的观测依据。

Comments 17 pages, 15 figures, accepted by MNRAS

详情
英文摘要

The hitherto neglected close binary V486 Car is studied with the aid of newly applied satellite photometry (HIPPARCOS and TESS), high dispersion spectrometry (HERCULES) and ground-based B and V photometry. While the sinusoidal light variations are suggestive of a near-contact system, the stars have only shallow eclipse, so highly confident parametrization becomes challenging. We find: $M_1 = 2.1 \pm 0.1$, $M_2 = 0.4 \pm 0.1$; $R_1 = 3.20 \pm 0.02$, $R_2 = 1.48 \pm 0.01$; (${\odot}$); $T_{e1} = 10000 \pm 500$, $T_{e2} = 6200 \pm 200$ (K); distance = 162 $\pm$ 12 (pc). New times of minima for V486 Car have been examined, including recent observations from TESS. The role of the relatively significant O'Connell effect is examined. As well as the conspicuous asymmetry from the main effect of about 0.036 mag (V), a jitter, with amplitude of about 0.005 V mag and quasi-period of order $\sim$ 10 d is noticed. There is a tendency for such photometric excursions at one maximum to precede those at the other. As well, the O -- C data indicate the presence of a low mass star $\sim$0.3 M$_{\odot}$ in an orbit separated by a few AU from the close binary. More accurate and plentiful spectroscopic data would be requisite for further investigations. A brief discussion reviews possible approaches to understanding the system in the context of near-contact binary scenarios.

2605.14207 2026-05-15 cs.HC

What Should Explanations Contain? A Human-Centered Explanation Content Model for Local, Post-Hoc Explanations

Helmut Degen

AI总结 本文提出了一种以用户为中心的本地事后解释内容模型,旨在明确工业AI系统用户所需的解释内容类别及其组织方式。通过分析六个用户研究中的325个意义单元,研究构建了一个包含14个代码的模型,分为规则基础、因果、认识论(实际)和认识论(相似)四类,并通过专家评审和编码一致性检验验证了其内容充分性和可重复性。该模型为工业AI系统中解释内容的生成与评估提供了理论框架和实践指导。

Comments paper has 36 pages (without references), 2 figures, and 2 tables; appendix has 165 pages; submitted to International Journal of Human-Computer Studies

详情
英文摘要

Which categories of explanation content are relevant for users of industrial AI systems, and how can those categories be organized for local, post-hoc explanations? To address these questions, a hybrid inductive-deductive qualitative content analysis was applied to 325 meaning units drawn from six user studies in building technology, manufacturing, AI software development, and hospital cybersecurity. The inductive phase produced an initial twelve-code structure. A theory-informed coverage assessment and expert review then added two further codes, Rule base and What-if backward, that were not instantiated in the corpus but correspond to system architectures documented in the XAI literature. The resulting fourteen-code model is organized into four groups: rule-based, causal, epistemic (actual), and epistemic (similar), with twelve codes grounded in the corpus and two as theoretical extensions. An eleven-member expert panel supported the content adequacy of all codes (I-CVI $\geq$ 0.82; scale-level agreement of 0.93 for relevance, 0.92 for boundary clarity, and 0.94 for understandability). A stratified subsample of 82 units (25\% of the corpus), coded independently by two researchers using the finalized codebook, yielded Krippendorff's $α= 0.920$ and Cohen's $κ= 0.920$. The paper therefore establishes content adequacy and coding reproducibility for a content-level explanation model intended to support elicitation, specification, and later evaluation of explanation content in industrial AI systems. Behavioral validation of downstream effects remains future work.

2605.14206 2026-05-15 math.PR

The clumsy coupon collector's problem

Luke J. Attrill, Timothy M. Garoni

AI总结 本文研究了经典优惠券收集问题的一个推广版本,即“笨拙优惠券收集问题”,其中每次收集时,收集者要么获得一个随机优惠券的新副本,要么丢失之前收集的该优惠券的所有副本。文章分析了收集完整 $m$ 种优惠券所需时间的渐进行为,根据丢失概率 $p$ 随 $m$ 的变化方式,区分出三种情形,并分别建立了相应的极限定理,揭示了其均值和方差的渐近性质。

Comments 21 pages, 1 figure

详情
英文摘要

We consider a generalisation of the classical coupon collector's problem, in which at each time step a collector either receives a new copy of a randomly chosen coupon, or loses all their previously collected copies of that coupon. We consider the amount of time it takes this clumsy coupon collector to obtain the full set of $m$ coupons. We establish limit theorems as $m\to\infty$ for the clumsy coupon collection time, and describe the large $m$ asymptotics of its mean and variance. We identify three regimes, depending on how the probability of a clumsy update, $p$, scales with $m$. If $p=o(1/m)$, we obtain a Gumbel limit theorem, as is the case for the classical coupon collector. If $p=ω(1/m)$, we instead show weak convergence to an exponential random variable. In the critical case, $p=c/m$, we give a full characterisation of the limiting distribution in terms of a birth-death process.

2605.14204 2026-05-15 eess.SY cs.CR cs.SY math.OC

Day-to-Day Traffic Network Modeling under Route-Guidance Misinformation: Endogenous Trust and Resilience in CAV Environments

Eunhan Ka, Satish V. Ukkusuri

AI总结 本文研究了在自动驾驶车辆(CAV)环境下,由于路线引导信息失真导致的日常交通网络建模问题,提出了一种结合日常交通分配与信任演化机制的耦合框架。该方法基于有限理性学习模型,考虑用户对路线引导信息的信任变化,并通过贝塔证据模型对信任状态进行动态更新。研究发现,内生信任机制能够形成基于阈值的韧性机制,在信任激活阈值之上可显著降低攻击影响,同时揭示了CAV渗透率对系统脆弱性和恢复能力的影响。

Comments 10 pages, 7 figures. Under review at IEEE Transactions on Intelligent Transportation Systems

详情
英文摘要

Connected and autonomous vehicles and smart mobility services increasingly use digital route guidance as an operational input to traffic network management. When this information becomes unreliable or adversarial, day-to-day traffic models must represent not only flow adaptation but also the evolution of user trust in the information source. This paper develops a coupled day-to-day traffic assignment and trust-evolution framework for route-guidance misinformation. Within-day congestion is represented by Lighthill-Whitham-Richards network loading, while day-to-day route choice follows bounded-rationality logit learning with trust-dependent reliance on external guidance. Trust is modeled as an aggregate class-level behavioral reliance state encoded by a Beta evidence model and updated from repeated guidance errors. Theoretical analysis establishes stationary equilibria, a conservative stability guide, a weighted compliance index for population-level vulnerability, and an asymmetric recovery law that explains post-attack trust hysteresis. Numerical experiments on Sioux Falls, with an Anaheim robustness check, show that endogenous trust creates a threshold-based resilience mechanism. Below the trust-activation threshold, the attack remains behaviorally stealthy and dynamic trust provides almost no attenuation. Above the threshold, trust erosion reduces the impact of the fixed-trust attack by about 91 percent in Sioux Falls and 85 percent in Anaheim. The experiments also show that CAV penetration increases fixed-trust vulnerability while preserving dynamic attenuation, and that traffic performance can recover before trust, resulting in a 77-day hidden vulnerability window. The results provide a trust-aware modeling basis for resilience analysis in CAV-enabled traffic networks.

2605.14203 2026-05-15 math.AC math.AG

Numerical characterizations for integral dependence of graded modules

Suprajo Das, Sudeshna Roy, Vijaylaxmi Trivedi

AI总结 本文研究了在分层结构下自由模的整闭性问题,构造了adic密度函数、饱和密度函数和ε-密度函数,并基于这些函数给出了判断两个分层模之间整闭关系的若干简洁判准,为相关不变量的研究提供了新的工具和视角。

Comments Preliminary version, comments are welcome

详情
英文摘要

In this paper we construct {\em adic}, {\em saturated} and $\varepsilon$-density functions for a torsion-free module in a graded setup. Then we give some simple criteria for checking the integral dependence of two graded modules $N\subseteq M$ in terms of various well-studied invariants.

2605.14198 2026-05-15 cond-mat.stat-mech

A microcanonical approach to criticality in the mean-field $ϕ^4$ model: evidence of intrinsic microcanonical structure before the thermodynamic limit

Loris Di Cairano, Roberto Franzosi

AI总结 本文提出了一种基于微正则系综的分析方法,用于研究有限系统中临界行为的内在结构,挑战了传统认为临界性仅在无限系统极限下出现的观点。通过微正则熵导数和微正则拐点分析(MIPA),研究揭示了有限大小系统中临界结构的特征形态,并将其作为有限尺寸下的临界标志。以平均场ϕ⁴模型为基准,验证了该方法能够准确重构临界参数并收敛于热力学临界点,为有限系统中的临界现象提供了新的理论框架和可测量的预测工具。

详情
英文摘要

Collective critical behavior is often identified with thermodynamic nonanalyticities and divergences emerging only in the infinite-size limit. Here we adopt a complementary viewpoint: criticality is a structural property due to the rearrangement of the interactions among system's constituents that already exists at finite size and becomes singular only asymptotically. We show that the microcanonical entropy derivatives provide a natural finite-$N$ arena where such structure is encoded in intrinsic extremal/inflection morphologies, and that microcanonical inflection-point analysis (MIPA) turns these morphologies into a unique finite-size critical marker and a well-defined critical trajectory. Using the mean-field $ϕ^4$ model as a stringent benchmark, we reconstruct $β_N(\varepsilon)$ and $γ_N(\varepsilon)$ from microcanonical simulations, validate them against analytic results, and demonstrate that the MIPA trajectory converges to the exact thermodynamic critical point while simultaneously organizing the approach of other observables to their asymptotic behavior. Our results elevate finite-size criticality from a rounded remnant of the thermodynamic limit to a measurable and predictive object in its own right, with direct relevance to modern finite-system platforms and numerical studies.

2605.14197 2026-05-15 math.LO math.GR

Modal group theory

Wojciech Aleksander Wołoszyn

AI总结 本文引入了模态群论,研究所有群的范畴,将嵌入性视为模态可能性的来源。通过HNN扩张和Britton引理,作者证明了群的模态语言比一阶语言更具表达力,并展示了真算术理论可以在模态群论中解释。此外,作者解决了Berger、Block和Loewe提出的一个开放问题,证明群在嵌入下的公式化模态有效性恰好是S4.2,并分析了S5所验证的世界的句法有效性。

详情
英文摘要

I introduce modal group theory, in which we study the category of all groups, considering embeddability as providing a notion of modal possibility. Using HNN extensions and Britton's lemma, I demonstrate that the modal language of groups is more expressive than the first-order language of groups. I interpret the theory of true arithmetic in modal group theory, and show that, as sets of Goedel numbers, it is computably isomorphic to the modal theory of finitely presented groups. I answer an open question of Berger, Block, and Loewe by showing that the formulaic propositional modal validities of groups under embeddings are precisely S4.2. I also analyze sentential validities and worlds validating S5.

2605.14193 2026-05-15 math.ST stat.TH

Equilibrium and Pricing in Consumer Networks with Nonlinear Utilities: An Online Shape-Constrained Learning Approach

Daniele Bracale, George Michailidis

AI总结 本文研究了具有非线性效用函数的消费者网络中的均衡与最优垄断定价问题,考虑消费者效用不仅依赖于个人价格,还受其社交网络中同伴消费行为的影响。作者提出了一个统一的理论框架,涵盖多种非线性效用形式,并建立了在一般条件下消费者均衡的存在性与唯一性。为应对未知效用函数的挑战,本文引入了一种无需调参的形状约束学习方法,实现了无悔收敛,为垄断定价提供了理论支持与实用工具。

详情
英文摘要

We study optimal monopoly pricing over consumer networks governed by general nonlinear utilities. In our framework, a consumer's utility is jointly determined by an individualized price and the consumption choices of their peers, propagated through a directed and signed social graph. This formulation encapsulates a broad class of utility functions; it strictly generalizes the traditional linear-quadratic framework to include logit-type discrete choice, isoelastic, and Stone-Geary utilities under a single theoretical umbrella. We first establish the existence and uniqueness of the consumer-side equilibrium under general contraction and variational conditions, explicitly accommodating asymmetric and signed network externalities. Leveraging this equilibrium characterization, we analyze targeted price discrimination within community-structured and influencer-driven markets. To this end, we introduce a generalized measure of network influence that extends classical Katz-Bonacich centrality beyond the Euclidean domain. Finally, addressing the challenge of unknown consumer utility functions, we develop a shape-constrained, tuning-parameter-free learning approach utilizing isotonic regression, for which we establish strict no-regret convergence guarantees. Supported by extensive simulations, our results seamlessly integrate equilibrium analysis and nonparametric learning into a cohesive monopoly pricing framework.

2605.14190 2026-05-15 math.CO math.LO

Relation Algebra Representations from Distance-Regular Graphs

Eli Atkins

AI总结 本文提出了一种从距离正则图构造有限整积分对称关系代数表示的一般方法。给定直径为 $d$ 的距离正则图,其顶点间的距离可诱导出一个 $d$ 色的完全图着色,并由此构造出具有 $d+1$ 个原子的关系代数表示。研究还给出了该表示为代数表示的充要条件,并详细分析了直径为 3 的情形,进一步应用于回答 Roger Maddux 提出的一个开放问题,证明关系代数 $30_{65}$ 存在有限集上的表示,并给出了 $26_{65}$ 和 $31_{65}$ 的有限表示类及其最小表示。

详情
英文摘要

We describe a general method for constructing representations of finite integral symmetric relation algebras from distance-regular graphs. Given a distance-regular graph of diameter $d$, the distances between vertices induces a coloring of the complete graph with $d$ colors, and we show that this coloring yields a representation of finite integral symmetric relation algebra on $d+1$ atoms. We then introduce a necessary and sufficient condition for when such a representation is algebraic, proving that this occurs if and only if the distance-regular graph is also distance-transitive. We study the diameter-3 case of this method in detail, and we express a condition for the representation's mandatory cycles in terms of the distance-regular graph's intersection array. We apply this result to give a positive answer to an open question of Roger Maddux; namely, whether the relation algebra $30_{65}$ has a representation on a finite set. The representation is given on 42 points, and arises from the second subconstituent of the Hoffman-Singleton graph. We further use this method to describe an infinite class of finite representations of $26_{65}$ and the smallest possible representation of $31_{65}$.

2605.14189 2026-05-15 math.GT

The KnotMosaics Package for SageMath

Mary Y. Deng, Allison K. Henrich, Sean H. Kawano, Andrew R. Tawfeek

AI总结 本文介绍了一个名为 KnotMosaics 的 SageMath 软件包,用于构建、可视化和分析结点镶嵌图。该软件包通过矩阵形式表示 n 阶镶嵌图,并实现了验证镶嵌图、追踪分量、计算平面图编码等核心功能,支持生成随机示例和有理纠缠镶嵌图。该工具通过平面图接口与现有结和链软件连接,能够进行琼斯多项式和结弗洛尔同调等计算,为结镶嵌理论的计算研究提供了有力支持。

Comments 12 pages, 9 figures

详情
英文摘要

We introduce KnotMosaics, a SageMath package for constructing, visualizing, and analyzing knot mosaic diagrams. The package represents an n-mosaic as a matrix of standard tile labels and implements the local connectivity rules needed to validate mosaics, trace strands and components, compute planar diagram codes, generate random examples, and construct rational tangle mosaics. The planar diagram interface connects the mosaic representation to existing knot and link software, enabling computations such as Jones polynomials and knot Floer homology checks. We describe the package design, its main algorithms, and representative examples that illustrate how KnotMosaics can support computational exploration in knot mosaic theory.

2605.13903 2026-05-15 hep-ph nucl-th

Radiative decays of the 1$P$, 1$D$, 2$S$, and 2$P$ $Λ_c$ and 1$D$, 2$S$, and 2$P$ $Ξ_c$ charmed baryons

R. Gamboa-Goni, Ailier Rivero-Acosta, H. García-Tecocoatzi, A. Gutierrez-Rodriguez, A. Ramirez-Morales, E. Santopinto, Carlos Alberto Vaquera-Araujo

AI总结 本文研究了 flavor anti-triplet($\bf {\bar 3}_{\rm F}$)重子中 $Λ_c$ 和 $Ξ_c$ 族的 1$P$、1$D$、2$S$ 和 2$P$ 态的辐射衰变过程,采用组分夸克模型计算了从基态和 $P$-波态到基态,以及从次壳层态到基态和 $P$-波末态的电磁跃迁。研究提供了有助于识别共振态的电磁衰变宽度和分支比,特别是对 LHCb 实验观测到的 $Ξ_c(3055)$ 和 $Ξ_c(3080)$ 的能级分配具有重要意义。本文首次对 flavor anti-triplet 单重子中的 $D_ρ$-波态、$ρ-λ$ 混合态和径向激发态的电磁衰变进行了系统计算,并考虑了实验和模型相关的不确定性。

Comments 16 pages, 2 figures

详情
英文摘要

We analyze the radiative decays of the the 1$P$, 1$D$, 2$S$, and 2$P$ $Λ_c$ and 1$D$, 2$S$, and 2$P$ $Ξ_c$ charmed baryons, which belong to the flavor anti-triplet ($\bf {\bar 3}_{\rm F}$), using the constituent quark model. We compute electromagnetic transitions from ground and $P$-wave states to ground states, as well as from second-shell states to both ground and $P$-wave final states. Electromagnetic decay widths are especially valuable for identifying resonances when multiple states share the same mass and total decay width. We give branching ratios which can confirm the assignment of the $Ξ_c(3055)$ reported by LHCb. We also give branching ratios that can support the assignment of the $Ξ_c(3080)$, and discuss the possibilities for the $Ξ_c(3080)$ to be the 1$D$ state with $J^P=5/2^{+}$ or the 2$S$ with $J^P=1/2^{+}$. For the first time, this work provides calculations of electromagnetic decays for $D_ρ$-wave states, $ρ-λ$ mixed configurations, and $ρ$-mode radially excited states in singly charmed baryons of the flavor anti-triplet. Both experimental and model-dependent uncertainties are taken into account throughout our analysis.

2605.13868 2026-05-15 math.GM

On the Constructive Dimension Spectrum of Polynomials

Prajval Koul, Satyadev Nandakumar

AI总结 本文研究了多项式曲线的有效豪斯多夫维数谱问题,探讨了其是否包含连续区间。通过引入经典多项式实根理论的新方法,作者证明了每条多项式曲线的维数谱中至少包含两个点,解决了Stull提出的开放问题。此外,还构造了一类维数宽度严格大于1的多项式,进一步推进了相关猜想的研究。

详情
英文摘要

Recently, Stull [18], [17] resolved a long-standing open problem posed by Lutz, on whether the set of effective Hausdorff dimensions of points on a straight line in $\mathbb{R}^2$ -- the effective dimension spectrum of the line -- contains a unit interval. This question is related to problems in classical fractal geometry like the Kakeya conjecture and Furstenberg sets. Stull posed an open question on the dimension spectra of polynomial curves. For the first result, with new techniques which adapt the theory of classical real root-finding of polynomials to the current setting, we show that the dimension spectra of every polynomial curve contains at least two points. This answers an open question posed by Stull [18], [17]. We use the main result to construct a class of polynomials which have width strictly greater than 1, answering a second problem stated in [18],[17]. Stull [18] resolved the dimension spectrum conjecture for planar lines, showing that it contains a unit interval. For the second result, we resolve the conjecture for a subfamily of polynomials whose coefficients form a "low" dimension point in $\mathbb{R}^{d+1}$.

2605.13735 2026-05-15 astro-ph.GA astro-ph.CO astro-ph.IM

A New PSF Deconvolution Algorithm: Simultaneous Spatial Resolution Enhancement and Point Source Removal for Morphological Analysis of AGN Host Galaxies

Ren Kawase, Takatoshi Shibuya, Kazunori Matsuda

AI总结 本文提出了一种新的点扩散函数(PSF)去卷积算法,旨在同时提升活动星系核(AGN)寄主星系的图像空间分辨率并去除中心明亮点源。该算法通过将观测图像分解为延展结构图像和点源图像两部分,并施加平滑约束、稀疏约束以及新的点源平衡约束,实现了对星系结构的清晰重构和点源的精确去除。实验表明,该方法在提升图像分辨率和去除点源方面效果显著,有望应用于未来大视场巡天数据,推动对遥远AGN寄主星系形态的统计研究。

Comments 15 pages, 10 figures, 2 tables. Submitted to PASJ. Minor formatting changes and typo fixes

详情
英文摘要

We propose a new point-spread function (PSF) deconvolution algorithm for images of galaxies hosting an active galactic nucleus (AGN), designed to simultaneously enhance the spatial resolution of the host galaxy and remove the bright central point source. In this algorithm, an intrinsic image is reconstructed by decomposing an observed image into two components: an image $I_{\rm sm}$ of an extended component (i.e., a host galaxy) and an image $I_{\rm sp}$ of a point-source component (i.e., an AGN). During image reconstruction, three constraints are imposed: (1) a smooth constraint on the image $I_{\rm sm}$ , which spatially smooths the host-galaxy structures; (2) a sparse constraint on the image $I_{\rm sp}$ , which localizes the point source to a small number of pixels; and (3) a new constraint, the point-source balance constraint, based on the pixel-wise product $I_{\rm sm} \times I_{\rm sp}$ , which removes the point source from the host galaxy without over- or under-subtraction. As a test, we apply this algorithm to images of artificial and $z \sim 0-1$ real AGNs observed with Hyper Suprime-Cam on the Subaru Telescope. We find that the spatial resolution of the host-galaxy images is improved to a level comparable to that of images from the Hubble Space Telescope and that the bright central point sources are removed. This algorithm is expected to enable statistical morphological studies of distant AGN host galaxies when applied to wide-field survey data from the Vera C. Rubin Observatory, the Euclid Space Telescope, and the Roman Space Telescope.

2605.13440 2026-05-15 astro-ph.HE

Magnetar-powered long gamma-ray bursts and connection to superluminous supernovae and fast radio bursts

Yu-Qi Zhou, Shuang-Xi Yi, Yu-Peng Yang, Yan-Kun Qu, Ning Gai, Yan-Ke Tang, Fa-Yin Wang

AI总结 本文基于Swift卫星的X射线余晖观测,构建了一个包含169个长伽马射线暴(LGRBs)的样本,这些暴表现出典型的磁星平台特征,即平台期后接$t^{-2}$衰减。通过马尔可夫链蒙特卡洛(MCMC)方法拟合光变曲线,研究推导出每个爆发的平台期光度和转折时间,并利用Amati关系估计了红移未知样本的伪红移。研究发现,LGRBs磁星的表面极磁场强度和初始自转周期存在显著相关性,并且与超新星爆发和快速射电暴磁星相比,LGRBs磁星具有更强的磁场,可能暗示其形成机制存在本质差异。

Comments Accepted for publication in ApJL; 28 pages, 5 figures and 2 tables

详情
英文摘要

Based on X-ray afterglow observations from the Swift satellite, we construct a sample of 169 long gamma-ray bursts (LGRBs) exhibiting the canonical magnetar plateau signature, i.e., a plateau followed by a $t^{-2}$ decay. We derive the plateau luminosity $L_0$ and break time $t_b$ for each burst by performing Markov Chain Monte Carlo (MCMC) fits to the light curves, and estimate pseudo-redshifts for bursts lacking known redshifts via the Amati relation. The fundamental magnetar parameters are subsequently inferred: the surface polar magnetic field strength $B_p \in [0.39,\ 23.08] \times 10^{15}$G and the initial spin period $P_0 \in [0.95,\ 13.79]$ms. Statistical analysis shows that both the known-redshift subsample and the full sample follow the Dainotti correlation between $L_0$ and $t_b$ with a slope close to $-1$, supporting a constant energy injection rate during the plateau phase. Furthermore, we identify a significant correlation between $B_p$ and $P_0$: $B_p \propto P_0^{0.83 \pm 0.09}$ for the full sample and $B_p \propto P_0^{0.80 \pm 0.16}$ for the known-redshift subsample, with both slopes consistent within uncertainties. Compared to magnetars powering superluminous supernovae (SLSNe), GRB magnetars possess systematically stronger magnetic fields (by approximately one order of magnitude), suggesting fundamental differences in their progenitor systems or collapse conditions; while their magnetic field strengths show no significant difference from those powering fast radio bursts (FRBs), suggesting a possible common evolutionary pathway. This study provides a physics-motivated, model-consistent sample of magnetar-candidate GRBs, offering a robust foundation for statistical investigations within the magnetar central engine model and placing new observational constraints on the birth properties of these extreme compact objects.

2605.13422 2026-05-15 hep-ph

Pion parton distribution functions and pion-nucleus induced $J/ψ$ production in extended light-front holographic QCD

Jiangshan Lan, Satvir Kaur, Chandan Mondal

AI总结 本文利用扩展的光前沿全息QCD模型,结合大$N_c$下(1+1)维QCD中的't Hooft方程,从π介子的光前沿波函数出发,确定了π介子的部分子分布函数(PDFs),并分析了其高$x$行为,结果与全局分析一致。基于这些π介子和核子的PDFs,研究计算了π介子与核子碰撞中$J/ψ$产生的微分截面,结果在不同能量和核靶条件下与实验数据吻合良好,为理解强子结构和核效应提供了重要参考。

Comments 8 pages, 5 figures

详情
英文摘要

We determine the pion parton distribution functions (PDFs) from its light-front wave functions, obtained using the holographic Schrödinger equation of light-front chiral QCD combined with the 't Hooft equation in (1+1)-dimensional QCD at large $N_c$. We analyze the large-$x$ behavior of the valence PDF, $\sim (1-x)^{β^{\rm eff}_v}$, finding overall consistency with global analyses. These pion PDFs, together with nuclear PDFs, are then used to compute the differential cross sections up to next-to-leading order for inclusive $J/ψ$ production in pion--nucleus collisions, which show good agreement with experimental data across different energies and nuclear targets.

2605.13348 2026-05-15 cs.LO math.LO

Quantitative Linear Logic

Matteo Capucci, Robert Atkey, Charles Grellois, Ekaterina Komendantskaya

AI总结 本文研究了如何为线性逻辑中的加法连接词赋予“软”(即可微)语义,以支持在概率和量化系统(如机器学习模型)中的应用。作者提出了一种称为“定量 sequent calculus”的新框架,结合了实数上加法和乘法的性质分析以及对 sequent calculus 的重大改进,使得证明的有效性和 sequent 的可证性成为实数值。该框架通过参数 $p$ 索引的一组逻辑系统 pQLL 实现,并证明了其剪切消除定理和对软格的完备性,当 $p$ 趋近于无穷时,pQLL 收敛于经典线性逻辑 MALL。

Comments Preliminary version (25 pages + 17 pages appendix), comments welcome

详情
英文摘要

Real-valued logics have seen a renewed interest in verification for probabilistic and quantitative systems, in particular machine learning models, where they can be used to directly integrate specifications in the training objective. To do so effectively one has to strike a balance between the logical properties of the connectives and their semantics. A major hurdle in this sense is to give ``soft'' (i.e. differentiable) semantics to additive connectives -- in linear and fuzzy logics, additives are necessarily ``hard'' lattice operations. In this paper, we solve this problem by combining an accurate analysis of the properties of sum and product on the reals with a significant revision of sequent calculus. We introduce `quantitative sequent calculi', which simultaneously generalize hypersequent calculi of fuzzy logics and deep inference, and in which validity of a proof and provability of a sequent are real-valued quantities. We present a family of calculi, pQLL, indexed by a hardness degree $p$, prove cut-elimination theorem for them, and show completeness for enriched residuated `soft' lattices. For $p = \infty$, pQLL reduces to MALL, with provability in pQLL converging to provability in MALL when $p \to \infty$.

2605.13271 2026-05-15 quant-ph

OAM-Induced Lattice Rotation Reveals a Fractional Optimum in Fault-Tolerant GKP Quantum Sensing

Simanshu Kumar, Nandan S Bisht

AI总结 本文研究了如何通过轨道角动量(OAM)编码与GKP晶格结构的结合,提升量子传感器在光子损耗和退相干噪声下的鲁棒性。研究发现,OAM拓扑电荷会诱导相空间旋转,从而形成一系列扭曲的GKP稳定子晶格。通过联合优化OAM电荷、晶格纵横比和有限能量包络,研究在误码率限制下实现了量子费舍尔信息的最大化,并发现分数电荷$\ell=1.5$可使误码率降低23.9倍,同时保持量子灵敏度几乎不变,优于整数电荷方案,揭示了噪声自适应量子传感的几何设计原理。

Comments 21 pages (18 main + 3 appendix), 16 figures, 14 tables, and 42 references. Code available at https://github.com/simanshukumar369/oam-gkp-quantum-metrology (Zenodo: doi:10.5281/zenodo.20099263)

详情
英文摘要

Photon loss and dephasing rapidly degrade the sensitivity of quantum sensors, yet systematic methods for designing error-correcting codes whose geometry is simultaneously adapted to the sensing task and the noise channel do not exist. Here we establish that orbital-angular-momentum (OAM) encoding and Gottesman-Kitaev-Preskill (GKP) lattice geometry are structurally coupled: an OAM mode of topological charge $\ell$ induces a phase-space rotation $θ_\ell=\ellπ/\ell_{\max}$, corresponding to a family of twisted GKP stabilizer lattices. Using an end-to-end differentiable Strawberry Fields--TensorFlow circuit, we jointly optimise $\ell$, the lattice aspect ratio $r$, and the finite-energy envelope $ε$ to maximise quantum Fisher information subject to $P_{\rm err}\leq10^{-3}$. The optimum occurs at the fractional charge $\ell=1.5$ ($θ=67.5^\circ$), implementable with a half-integer spiral phase plate, which reduces $P_{\rm err}$ by $23.9\times$ relative to the square-lattice baseline while leaving $\mathcal{F}_Q$ unchanged to within $0.2\%$. This surpasses the best integer value ($\ell=2$, $15.7\times$) and arises from an exact $180^\circ$ periodicity of the $P_{\rm err}(θ)$ landscape, confirmed analytically and numerically. We derive a transcendental balance equation for the optimal angle $θ^*(η,γ,r)$ and prove that it decreases with both $γ$ and $η$. A Shannon-inspired metrological capacity $\mathcal{C}=\mathcal{F}_Q\cdot(-\ln P_{\rm err})$, maximised at $\ell=1.5$ with a $41\%$ gain over the square lattice, quantifies the joint sensitivity--fault-tolerance resource. These results establish a geometric design principle for noise-adaptive quantum sensors and a fully open-source differentiable template extensible to other bosonic code families.

2605.13249 2026-05-15 physics.class-ph cond-mat.mtrl-sci cond-mat.other

Acoustic Chirality

Alex J. Vernon, Konstantin Y. Bliokh

AI总结 本文揭示了各向同性弹性力学方程中一个此前未知的连续对称性及相应的守恒定律,阐明了弹性波的手性特性。研究指出整体手性由右旋和左旋横波声子的数量差异决定,而局部手性密度则涉及横波和纵波的共同作用。文章还引入了声学螺旋度和“虚假手性”等概念,并通过简单干涉场实例展示了手性、自旋角动量和虚假手性的分布特征,为理解弹性波手性现象提供了理论基础。

Comments 6 pages, 1 figure

详情
英文摘要

We reveal a previously unknown continuous symmetry and conservation law in the equations of linear isotropic elasticity, which describe the chirality of elastic waves. We show that the integral chirality is determined by the population imbalance between right- and left-handed transverse phonons, whereas the local chirality density generally involves both transverse and longitudinal wave components. We also introduce the related concepts of acoustic helicity and ``false chirality''. The theory is illustrated with simple interference fields exhibiting distinct distributions of chirality, spin angular momentum, and false chirality. Our results establish chirality as a fundamental property of elastic waves and provide a general theoretical framework for chiral acoustic phenomena.