arXivDaily arXiv每日学术速递 周一至周五更新
重置
MATH数学412
2606.07469 2026-06-08 econ.EM cs.NA econ.TH math.NA math.PR 新提交

Statistical and Numerical Convergence in Stochastic Equilibrium

随机均衡中的统计与数值收敛

David Staines

AI总结 本文基于SELCKE的严格随机均衡理论,发现系统以特征值或逆特征值中更接近单位圆者与最大冲击持久性中较大者给出的速率几何收敛至长期均衡,并开发了检验随机均衡存在的模拟程序。

详情
Comments
91 Pages: 63 Main Text, 28 Suppelementary Materials
AI中文摘要

本文阐述了来自SELCKE(Staines (2024a))arXiv:2312.16214的严格随机均衡理论的最一般的计算和计量经济学含义。分析基础是发现系统几何收敛至长期均衡,其速率由特征值或逆特征值(来自外部)中更接近单位圆者与最大冲击持久性中的较大者给出。高阶冲击收敛更快。我开发了一个模拟程序,用于渐近检验特定模型是否存在随机均衡。基本逼近结果断言,无论展开阶数或损失函数如何,随机稳态都能提供最准确的摄动解。我还证明了当二阶项消失时,会出现超一致参数估计量$O(1/T)$。除了Calvo模型,我还研究了两种替代定价模型中的随机均衡。动力学显著简化。我通过误差中的最大滞后限制了脉冲响应达到峰值的时间。这为泰勒合同提供了经验支持,尽管存在单位根和强成本渠道的问题。对于菜单成本,我证明了初始价格分布超指数衰减,产生了一个等价于具有内生重置概率的Calvo模型的系统。异质性扰动的影响表现为实际产出与有效产出之间的额外楔子。借助新的分布论证,证明了目标函数在边界处的爆破,因此该模型满足递归均衡的现有特征值存在条件。在此过程中,为现有的理论模型和统计程序提供了新的见解。

英文摘要

This paper sets out the most general computational and econometric implications of the rigorous stochastic equilibrium theory from SELCKE (Staines (2024a)) arXiv:2312.16214. The analytical backbone is the discovery that the system converges geometrically to long-run equilibrium, at a rate given by the greater of the eigenvalue or inverse eigenvalue (from outside) closest to the unit circle and the maximum shock persistence. High-order shocks converge faster. I develop a simulation procedure to test, with asymptotic power, whether stochastic equilibrium exists for a particular model. The fundamental approximation result asserts that, whatever the order of expansion or loss function, the stochastic steady state delivers the most accurate perturbation solution. I also show that super-consistent parameter estimators $O(1/T)$ arise whenever second-order terms vanish. Besides Calvo, I study stochastic equilibrium in two alternative pricing models. Dynamics simplify considerably. I bound the time the impulse response peaks, by the maximum lag in the errors. This lends empirical support to Taylor contracts, although there are issues surrounding unit roots and the strong cost-channel. For menu costs, I demonstrate that the initial price distribution decays away super-exponentially, producing a system equivalent to Calvo with an endogenous reset probability. The impact of idiosyncratic disturbances appears as an additional wedge between actual and efficient output. Blow-up of the objective function at the boundary is proven, with the help of new distributional arguments, so the model meets existing eigenvalue existence conditions for the recursive equilibrium. Along the way, new light is shone on existing theoretical models and statistical procedures.

2606.07447 2026-06-08 stat.ME math.ST stat.TH 新提交

Community Detection on a Randomly Growing Network

随机增长网络上的社区检测

Jianxiang Wang, Min Xu

AI总结 针对非随机块模型的马尔可夫随机网络,提出两阶段算法,先分类高度节点再扩展社区标签,理论证明无法一致恢复所有节点但可恢复中心子集。

详情
Comments
69 pages, 16 figures, 7 tables
AI中文摘要

我们在随机块模型框架之外研究马尔可夫随机网络上的社区检测。具体来说,我们考虑一个随机网络增长过程,该过程生成$K$个独立的优先连接树,并通过Erdős–Rényi边连接它们,使得每棵树代表一个社区,每个节点继承其所属树的标签。该模型能够产生许多在SBM下不太可能出现的真实网络特征,例如幂律度分布以及链和枢纽的存在。仅给定最终图,对增长过程一无所知,我们试图恢复节点的未观察到的社区成员身份。我们首先证明任何算法都无法一致地恢复所有节点的社区标签。然而,我们设计了算法,这些算法能够证明地恢复中心节点子集的社区标签,对于节点中心性的几种不同概念,例如到达时间或度数。我们的过程包括两个阶段,在第一阶段,我们对高度节点进行分类,然后在第二阶段,将社区分配扩展到剩余顶点。数值实验和合著网络上的真实数据应用证明了我们提出方法的有效性。

英文摘要

We study community detection on Markovian random networks outside of the Stochastic Block Model (SBM) framework. Specifically, we consider a random network growth process which generates $K$ separate preferential attachment trees and connects them with Erdős--Rényi edges, so that each tree represents a community and each node inherits the label of the tree to which it belongs. This model is able to produce many features of real world networks that are improbable under SBM, such as power law degree distribution and the existence of chains and hubs. Given only the final graph, without any knowledge of the growth process, we seek to recover the unobserved community membership of the nodes. We first prove that it is impossible for any algorithm to consistently recover the community label of all the nodes. However, we design algorithms which are provably able to recover the community labels of subsets of central nodes, for several different notions of node centrality such as arrival time or degree. Our procedure consists of two stages where, in the first stage, we classify high degree nodes and then, in the second stage, extend the community assignments to the remaining vertices. Numerical experiments and a real data application on a coauthorship network demonstrate the effectiveness of our proposed approach.

2606.07213 2026-06-08 stat.ME math.ST stat.ML stat.TH 新提交

Principal Component Analysis for Multivariate Extremes

多元极值的主成分分析

Dan Cooley, Anne Sabourin, Troy Wixson

AI总结 提出一种针对多元极值数据的降维方法,通过主成分分析保留极值相关信息,解决高维极值分析中的维度灾难问题。

详情
Comments
Chapter 11 in "Handbook of of Statistic of Extremes", edited by Miguel de Carvalho, Raphaël Huser, Philippe Naveau, and Brian Reich
AI中文摘要

本章探讨在保留与多元极值分析相关的关键信息的同时,降低数据维度的各种方法。

英文摘要

This chapter explores ways to reduce the dimensionality of the data while preserving key information relevant to the analysis of multivariate extreme values.

2606.07169 2026-06-08 stat.ME math.ST stat.TH 新提交

When can a posterior predictive check identify the learning rate? Exact degeneracy in Gaussian models and implications for Generalised Bayesian Inerence

后验预测检查何时能识别学习率?高斯模型中的精确退化及其对广义贝叶斯推断的影响

Nam Anh Le

AI总结 本文通过精确有限样本分析,揭示了在高斯线性模型中,基于后验预测检查的学习率选择器存在退化现象,即p值不依赖于学习率或数据,导致选择器失效,并提出了数据无关的预筛选诊断方法。

详情
Comments
6 pages, 4 figures
AI中文摘要

广义贝叶斯推断通过学习率$\eta$对似然进行退火以缓解模型误设定,而$\eta$的选择至关重要。Zafar和Nicholls (2024) 提出通过后验预测检查(PPC)选择$\eta$:选择使对数似然PPC $p$值不被拒绝的最小$\eta$。本文给出了该选择器在高斯线性模型上的精确有限样本分析。在方差已知且使用平坦先验时,对于每个$\eta$,PPC $p$值等于$P(\chi^2_n > \mathrm{RSS}/\sigma_0^2)$,因此选择器对$\eta$不变;在方差误设定下,它是双侧非识别的。在方差未知且使用参考先验时,$p$值仅依赖于$(n,d,\eta)$,而不依赖于实际数据或数据生成过程。因此,选择器的输出在观察到任何数据之前就已固定,通常会坍缩到最小的网格值,这会导致过度退火并相对于留出选择扩大预测区间。该现象是高斯尺度-位置族和参考先验特有的枢轴性质;在信息先验下消失。这些结果界定了选择器的适用范围,识别了它无法识别学习率的典型类别,并激发了一种廉价、无数据的预筛选诊断方法。

英文摘要

Generalised Bayesian inference tempers the likelihood by a learning rate $η$ to mitigate model misspecification, and the choice of $η$ is consequential. Zafar and Nicholls (2024) proposed selecting $η$ by a posterior predictive check (PPC): one chooses the smallest $η$ at which a log-likelihood PPC $p$-value is not rejected. An exact, finite-sample analysis of this selector on the Gaussian linear model is given. With known variance and a flat prior, the PPC $p$-value equals $P(χ^2_n > \mathrm{RSS}/σ_0^2)$ for every $η$, so the selector is $η$-invariant; under variance misspecification it is two-sided non-identifying. With unknown variance and the reference prior, the $p$-value depends only on $(n,d,η)$ and not on the realised data or the data-generating process. Consequently the selector's output is fixed before any data are seen, typically collapsing to the smallest grid value, which over-tempers and inflates predictive intervals relative to held-out selection. The phenomenon is a pivotality property specific to the Gaussian scale--location family and the reference prior; it disappears under informative priors. These results delineate the selector's scope, identify a canonical class on which it cannot identify the learning rate, and motivate a cheap, data-free pre-screening diagnostic.

2606.06855 2026-06-08 stat.ML cs.LG math.ST stat.TH 新提交

Stability beyond Bounded Differences: Sharp Generalization Bounds under Finite $L_p$ Moments

超越有界差分的稳定性:有限 $L_p$ 矩下的尖锐泛化界

Qianqian Lei, Soham Bonnerjee, Yuefeng Han, Wei Biao Wu

AI总结 针对重尾或无界损失,提出仅需有限 $L_p$ 矩条件的稳定性框架,导出尖锐高概率泛化界,覆盖经验风险最小化、转导回归和元学习。

详情
AI中文摘要

虽然算法稳定性是理解学习算法泛化能力的核心工具,但现有的高概率保证通常依赖于一致有界或次高斯/次韦布尔尾部假设,这对于现代设置中重尾或无界损失可能过于严格。我们开发了一个仅需有限 $L_p$ 矩条件的稳定性框架。我们的第一个贡献是在 $L_p$ 约束下独立随机变量函数的尖锐集中不等式,将 McDiarmid 的有界差分技术扩展到经典范围之外。利用这些结果,我们在一系列学习范式中推导出尖锐的高概率泛化界,包括经验风险最小化、转导回归和元学习。这些保证表明,即使有界性不成立,$L_p$ 稳定性也足以实现鲁棒泛化,显著削弱了稳定性文献中的标准假设。

英文摘要

While algorithmic stability is a central tool for understanding generalization of learning algorithms, existing high-probability guarantees typically rely on uniform boundedness or sub-Gaussian/sub-Weibull tail assumptions, which can be overly restrictive for modern settings with heavy-tailed or unbounded losses. We develop a stability-based framework that requires only a finite $L_p$ moment condition. Our first contribution is sharp concentration inequalities for functions of independent random variables under $L_p$ constraints, extending McDiarmid's bounded-differences techniques beyond the classical regime. Leveraging these results, we derive sharp high-probability generalization bounds across a range of learning paradigms, including empirical risk minimization, transductive regression, and meta-learning. These guarantees show that $L_p$ stability suffices for robust generalization even when boundedness fails, substantially weakening the standard assumptions in the stability literature.

2606.06814 2026-06-08 stat.ML cs.LG math.ST stat.AP stat.TH 新提交

The Effect of Training Task Diversity on In-Context Learning through the Lens of Low-Dimensional Subspaces

训练任务多样性对上下文学习的影响:基于低维子空间的视角

Soo Min Kwon, Alec S. Xu, Can Yaras, Dogyoon Song, Laura Balzano, Qing Qu

AI总结 本文通过低秩高斯混合模型分析训练任务多样性(由子空间非重叠列数定义)如何提升线性注意力上下文学习的泛化与优化,解释训练多样性缩短学习平台期及实现分布外泛化的现象,并扩展至非线性场景。

详情
AI中文摘要

Transformer执行上下文学习(ICL)的涌现能力引发了大量旨在理解其底层机制的研究。现有工作通常研究训练任务多样性(定义为ICL训练任务向量的数量或任务向量所来自的函数类数量)如何塑造ICL的学习动态和泛化能力。尽管这两种定义都揭示了许多有趣的现象,但后一定义下的许多观察结果在理论上仍未得到解释。本文提出了一个最小分析模型,在这些现象下,这些现象可以从训练数据的属性中可靠地涌现。通过将训练任务向量建模为低秩高斯的混合,我们展示了训练任务多样性(由参数化协方差矩阵的子空间之间的非重叠列数定义)如何改善线性注意力ICL的泛化和优化轨迹。特别地,我们表明我们的模型可以解释(i)为什么任务多样性训练缩短了ICL的平台期,以及(ii)为什么ICL似乎实现了分布外泛化。最后,我们通过实验证明了我们的结果如何扩展到非线性Transformer和非线性函数类。总体而言,我们的工作提出了一个可处理的框架来统一现有的观察结果。

英文摘要

The transformer's emergent ability to perform in-context learning (ICL) has sparked a wide range of studies designed to understand its underlying mechanisms. Existing works often study how training task diversity, defined either as the number of ICL training task vectors or as the number of function classes from which the task vectors are drawn, shapes both the learning dynamics and generalization capabilities of ICL. While both definitions have uncovered many interesting phenomena, many observations under the latter definition remain theoretically unexplained. This paper presents a minimal analytical model under which these phenomena provably emerge from the properties of the training data. By modeling the training task vectors as a mixture of low-rank Gaussians, we show how training task diversity, defined by the number of non-overlapping columns between subspaces that parameterize the covariance matrices, improves both the generalization and optimization trajectory of ICL with linear attention. In particular, we show that our model can explain (i) why training with task diversity shortens the ICL plateau and (ii) why ICL appears to achieve out-of-distribution generalization. We conclude by empirically demonstrating how our results extend to nonlinear transformers and nonlinear function classes. Overall, our work presents a tractable framework to unify existing observations.

2606.06785 2026-06-08 stat.ML cs.LG math.DS 新提交

Empirical Transfer Operators and Finite-Sample Change Detection for Noisy Expanding Interval Maps

经验转移算子与含噪扩张区间映射的有限样本变化检测

Aparna Rajput

AI总结 针对一维含噪动力系统,提出基于分区经验转移矩阵的有限样本变化检测方法,通过比较滑动窗口与基线段的平稳分布L1距离来检测不变密度变化,并给出有限样本界和误报保证。

详情
Comments
27 pages, 2 tables, 1 figure
AI中文摘要

我们研究了一维含噪动力系统的有限样本变化检测,使用基于分区的经验近似来刻画平稳行为。给定区间值过程的观测,我们对状态空间进行划分,从观测到的分区元素之间的转移中估计一个有限转移矩阵,并应用一个小的Doeblin型正则化以确保唯一的平稳分布。从初始参考段,我们计算基线经验平稳分布\(\widehat{\pi}_{0,\rho}\)。对于每个后续滑动窗口,我们计算\(\widehat{\pi}_{t,\rho}\)并定义得分\[ S_t=\|\widehat{\pi}_{t,\rho}-\widehat{\pi}_{0,\rho}\|_1. \] \(S_t\)的大值表示相对于基线的平稳行为发生变化。该统计量检测不变密度或平稳定律的变化,但不检测转移动态的所有可能变化。在关于经验转移集中性、有限状态平稳分布稳定性、分区近似、正则化偏差和噪声稳定性的明确假设下,我们推导了经验平稳密度的有限样本界。该界将采样误差、正则化偏差、分区近似误差和噪声偏差分开。然后,我们得到了单窗口误报保证,以及当不变密度变化超过估计误差时的充分检测条件。我们在合成含噪beta映射变点实验中展示了该方法。

英文摘要

We study finite-sample change detection for one-dimensional noisy dynamical systems using partition-based empirical approximations of stationary behaviour. Given observations from an interval-valued process, we partition the state space, estimate a finite transition matrix from observed transitions between partition elements, and apply a small Doeblin-type regularisation to ensure a unique stationary distribution. From an initial reference segment, we compute a baseline empirical stationary distribution \(\widehatπ_{0,ρ}\). For each later sliding window, we compute \(\widehatπ_{t,ρ}\) and define the score \[ S_t=\|\widehatπ_{t,ρ}-\widehatπ_{0,ρ}\|_1. \] Large values of \(S_t\) indicate a change in stationary behaviour relative to the baseline. The statistic detects changes in invariant density or stationary law, but not all possible changes in transition dynamics. Under explicit assumptions on empirical transition concentration, finite-state stationary distribution stability, partition approximation, regularisation bias, and noise stability, we derive a finite-sample bound for the empirical stationary density. The bound separates sampling error, regularisation bias, partition approximation error, and noise bias. We then obtain a single-window false-alarm guarantee and a sufficient detection condition when the invariant density changes by more than the estimation error. We illustrate the method on synthetic noisy beta-map change-point experiments.

2606.06652 2026-06-08 econ.GN cs.CE cs.IT eess.SP math.IT q-fin.EC 新提交

Probabilistic Risk Sensitivity and Loss Aversion in Cumulative Prospect Theory

累积前景理论中的概率风险敏感性和损失厌恶

Symeon Vaidanis, Marios Kountouris

AI总结 提出二元赌博框架,定义概率风险敏感性指标为概率阈值比,用于分析累积前景理论中的接受和偏好阈值,并与效用溢价、概率溢价及Arrow-Pratt曲率度量进行比较。

详情
Comments
This paper has been submitted for publication
AI中文摘要

本文开发了一个二元赌博框架,用于表征累积前景理论(CPT)中的风险敏感性和损失厌恶。所提出的概率风险敏感性度量被定义为一个概率阈值比,该比率决定了涉及确定结果与二元赌博或两个二元赌博的选择问题中的接受阈值和偏好阈值。我们展示了如何在该框架中恢复对称和非对称赌博厌恶的标准概念,并将所得的基于阈值的条件与效用溢价、概率溢价和Arrow-Pratt曲率度量进行比较。分析阐明了这些准则何时一致、何时分歧,特别是在递增厌恶条件、概率分布不等的二元赌博以及涉及概率权重函数的情形中。我们还识别了当使用CPT效用函数表示参考点处的损失厌恶时出现的技术限制。所得框架提供了直接与概率阈值相关的风险敏感性的决策理论解释,并补充了现有的基于溢价的方法。

英文摘要

This paper develops a binary-gamble framework for characterizing risk sensitivity and loss aversion in Cumulative Prospect Theory (CPT). The proposed probabilistic risk-sensitivity metric is defined as a probability-threshold ratio that determines acceptance and preference thresholds in choice problems involving either a certain outcome and a binary gamble or two binary gambles. We show how standard notions of symmetric and non-symmetric bet aversion can be recovered within this framework, and we compare the resulting threshold-based conditions with utility premia, probability premia, and Arrow--Pratt curvature measures. The analysis clarifies when these criteria coincide and when they diverge, particularly for increasing aversion conditions, binary gambles with unequal probability distributions, and settings involving probability weighting functions. We also identify technical restrictions that arise when CPT-utility functions are used to represent loss aversion at the reference point. The resulting framework provides a decision-theoretic interpretation of risk sensitivity that is directly tied to probability thresholds and complements existing premium-based approaches.

2606.07372 2026-06-08 q-bio.PE math.DS 新提交

Nullclines, Subnullclines and the Asymptotic and Transient Attractors in Eco-Evolutionary Dynamics

生态进化动力学中的零线、子零线以及渐近和瞬态吸引子

Krzysztof Argasinski, Manjyot Singh Bedi, Mark Broom

AI总结 本文通过分析经典鹰鸽博弈的生态进化动力学,发现频率和密度零线交点决定的稳定与不稳定平衡点由异宿轨道连接,并引入子零线概念,进而考虑环境季节性导致复杂循环行为,子零线作为扰动传播的屏障。

详情
AI中文摘要

在人口统计学框架中,死亡率支付函数描述交互的成本,而生育率支付函数描述其回报。因此,虽然死亡率成本取决于对手的策略,但生育率奖励可能受到密度依赖的幼体补充存活率的影响。这激发了对经典鹰鸽博弈的生态进化动力学的分析。结果表明,由频率和密度零线的交点决定的稳定和不稳定平衡点通过异宿轨道连接,这些轨道吸引附近的轨迹。由此产生的轨迹束导致发现了所谓的子零线(位于频率和密度零线之间的流形),然后它们收敛到稳定不动点。然后通过添加环境季节性(周期性背景死亡率)作为外部因素来扩展初始孤立系统。这导致复杂的循环行为,子零线作为扰动传播的屏障(弹性/抵抗阈值)。因此,从某种意义上说,本文完成并扩展了先前关于具有人口统计支付的博弈的生态进化动力学的工作。

英文摘要

In the demographic framework, mortality payoff function describes the cost of an interaction and fertility payoff function describes its reward. So while mortality cost depends on opponent's strategy, fertility reward can be affected by the density-dependent juvenile recruitment survival. This motivates an analysis of the eco-evolutionary dynamics of the classical Hawk-Dove game. It is shown that the stable and unstable equilibria (determined by the intersections of frequency and density nullclines) are connected by heteroclinic orbits, which attract nearby trajectories. The resulting bundle of trajectories leads to the discovery of the so-called subnullcines (manifolds placed between frequency and density nullcline) before they converge to the stable rest point. The initial isolated system is then extended by adding environmental seasonality (periodic background mortality), which acts as an external factor. This leads to complex cycling behavior and the subnullclines act as barriers to the propagation of the perturbation (resilience/resistance threshold). Thus, in a way, this paper completes, yet extends, previous works on the eco-evolutionary dynamics of games with demographic payoffs.

2606.07515 2026-06-08 cs.CL cs.AI cs.HC math.PR 新提交

How reliable are LLMs when it comes to playing dice?

LLM 在掷骰子时有多可靠?

Luca Avena, Gianmarco Bet, Bernardo Busoni

发表机构 * Università degli Studi di Firenze

AI总结 通过离散概率问题基准测试,发现 LLM 在标准问题上准确率 0.96,但在反直觉问题上仅 0.59,且存在 token 偏差和误导提示的脆弱性。

详情
AI中文摘要

我们通过离散概率问题的受控基准研究,调查了大语言模型的概率推理能力。我们构建了两个数据集,分别是一组标准习题和一组反直觉习题,旨在触发启发式推理,并评估了 8 个最先进的模型,每个模型分别在有无思维链提示的情况下进行测试。模型在标准问题上的平均准确率为 0.96,但在反直觉问题上仅为 0.59。我们进一步提供了 token 偏差的经验证据:当规范表述被伪装变体替换时,性能下降超过 20%。在提示中嵌入误导性建议会使性能降低高达 34%,且没有模型被证明免疫。综合来看,报告的结果表明,尽管当前 LLM 在高级数学问题上取得了成功,但它们尚未成为真正的概率推理者。

英文摘要

We investigate the probabilistic reasoning capabilities of large language models through a controlled benchmarking study on discrete probability problems. We constructed two datasets, respectively a set of standard exercises and a set of counterintuitive exercises, designed to trigger heuristic reasoning, and evaluated 8 state-of-the-art models, each tested with and without Chain-of-Thought prompting. Models achieve an average accuracy of 0.96 on standard problems but only 0.59 on counterintuitive ones. We further provide empirical evidence of token bias: performance drops by over 20% when canonical formulations are replaced by disguised variants. Embedding misleading suggestions in the prompt reduces performance by up to 34%, with no model proving immune. Taken together, the reported findings suggest that current LLMs are not yet genuine probabilistic reasoners, despite their success in advanced mathematical problems.

2606.07496 2026-06-08 cs.LG math.OC 新提交

Accelerated Decentralized Stochastic Gradient Descent for Strongly Convex Optimization

加速去中心化随机梯度下降用于强凸优化

Ming Sun, Kun Yuan

发表机构 * Peking University

AI总结 提出MG-ADSGD算法,结合Nesterov型原始-对偶外推与多轮快速八卦平均,通过耦合八卦深度与小批量大小,同时实现加速收敛和通信高效,达到最优通信复杂度。

详情
AI中文摘要

去中心化随机优化是网络大规模学习的基本范式,其中智能体仅与邻居通信,无需中央协调器。对于强凸问题,通信效率主要由条件数 \(\kappa=L/\mu\) 和网络谱间隙 \(1-\beta\) 决定。尽管确定性去中心化方法可以同时实现加速的 \(\sqrt{\kappa}\) 和 \(1/\sqrt{1-\beta}\) 依赖,但现有随机方法未能同时获得这两种改进。本文提出 \emph{Multi-Gossip Accelerated DSGD} (MG-ADSGD),一种结合Nesterov型原始-对偶外推与多轮快速八卦平均的去中心化随机算法。关键思想是将八卦深度与小批量大小耦合,使得额外的通信轮次同时改善共识精度并减少梯度方差。我们证明MG-ADSGD达到通信复杂度 \[ \widetilde{\mathcal O}\!\left( \frac{\sigma^2}{\mu n\epsilon}\log\frac{1}{\epsilon} + \sqrt{\frac{\kappa}{1-\beta}}\log\frac{1}{\epsilon} \right), \] 其中 \(\epsilon\) 表示目标精度,\(n\) 是节点数,\(\sigma^2\) 是梯度方差。据我们所知,该界提供了去中心化随机强凸优化目前最佳的通信复杂度,仅含与 \(\epsilon\) 无关的对数因子。

英文摘要

Decentralized stochastic optimization is a fundamental paradigm for large-scale learning over networks, where agents communicate only with their neighbors and no central coordinator is required. For strongly convex problems, communication efficiency is mainly determined by the condition number \(κ=L/μ\) and the network spectral gap \(1-β\). Although deterministic decentralized methods can simultaneously achieve accelerated \(\sqrtκ\) and \(1/\sqrt{1-β}\) dependences, no existing stochastic method attains both improvements at once. In this paper, we propose \emph{Multi-Gossip Accelerated DSGD} (MG-ADSGD), a decentralized stochastic algorithm that combines Nesterov-type primal--dual extrapolation with multi-round fast gossip averaging. The key idea is to couple the gossip depth with the mini-batch size so that additional communication rounds simultaneously improve consensus accuracy and reduce gradient variance. We show that MG-ADSGD achieves the communication complexity \[ \widetilde{\mathcal O}\!\left( \frac{σ^2}{μnε}\log\frac{1}ε + \sqrt{\fracκ{1-β}}\log\frac{1}ε \right), \] where \(ε\) denotes the target accuracy, \(n\) is the number of nodes, and \(σ^2\) is the gradient variance. To the best of our knowledge, this bound yields the best currently available communication complexity for decentralized stochastic strongly convex optimization, up to logarithmic factors that are independent of $ε$.

2606.07348 2026-06-08 cs.LO math.LO 新提交

Four intuitionistic modal connectives

四个直觉主义模态连接词

Philippe Balbiani, Çigdem Gencer

AI总结 本文引入基于Prenosil和Wijesekera两种风格的菱形及其对偶方框的直觉主义模态逻辑,分析框架类的模态可定义性、完全公理化,并证明最小直觉主义模态逻辑的可判定性。

详情
AI中文摘要

我们介绍了基于Prenosil风格的菱形连接词、其对偶方框连接词、Wijesekera风格的菱形连接词及其对偶方框连接词的直觉主义模态逻辑的语法和语义。我们分析了一些基本框架类的模态可定义性。我们研究了由这些框架类确定的有效公式集合的完全公理化。我们证明了由所有框架类确定的最小直觉主义模态逻辑的可判定性。

英文摘要

We introduce the syntax and the semantics of intuitionistic modal logics based on a diamond connective à la Prenosil, its dual box connective, a diamond connective à la Wijesekera and its dual box connective. We analyze the modal definability of some elementary classes of frames. We study the complete axiomatizability of the sets of valid formulas determined by these classes of frames. We prove the decidability of the minimal intuitionistic modal logic determined by the class of all frames.

2606.07114 2026-06-08 cs.NI cs.AI cs.IT math.IT 新提交

DIFFRACT: Neuralized Utility Maximization for Wireless Networks by Differentiable Programming

DIFFRACT: 通过可微编程实现无线网络的神经化效用最大化

Chee Wei Tan, Siya Chen

AI总结 提出DIFFRACT框架,利用可微编程将深度学习与优化结合,通过算法展开将干扰管理算法映射为可微神经网络,实现分布式端到端梯度学习,以应对动态多用户干扰和随机服务质量约束。

详情
Comments
IEEE INFOCOM 2026
AI中文摘要

下一代无线网络,包括卫星到开放RAN系统,需要敏捷且智能的资源管理,能够在随机服务质量约束下处理动态多用户干扰。本文介绍了DIFFRACT,一个神经化效用最大化框架,利用可微编程将深度学习与无线网络中的优化相结合。我们方法的核心是利用标准干扰函数的数学结构,这些函数是无线功率控制的基础。通过为这些函数开发对偶理论,我们通过算法展开将迭代干扰管理算法映射为可微神经网络架构。这使得在网络边缘进行分布式、端到端的基于梯度的学习成为可能,支持在地面和非地面环境中实时适应干扰。DIFFRACT通过建模复杂的信道动态并利用可微模型的表达能力,实现了可扩展且稳健的效用最大化。实验结果证实了该框架在下一代无线系统中的理论合理性和实际有效性。

英文摘要

Next-generation wireless networks, including satellite-to-Open RAN systems, demand agile and intelligent resource management capable of handling dynamic multi-user interference under stochastic quality of service constraints. This paper introduces DIFFRACT, a neuralized utility maximization framework that leverages differentiable programming to integrate deep learning with optimization in wireless networks. Central to our approach is the exploitation of the mathematical structure of standard interference functions, which are foundational in wireless power control. By developing a duality theory for these functions, we map iterative interference management algorithms into differentiable neural network architectures via algorithm unrolling. This enables distributed, end-to-end gradient-based learning at the network edge, supporting real-time adaptation to interference in both terrestrial and non-terrestrial environments. DIFFRACT allows for scalable and robust utility maximization by modeling complex channel dynamics and leveraging the expressiveness of differentiable models. Experimental results confirm the framework's theoretical soundness and practical effectiveness for next-generation wireless systems.

2606.07058 2026-06-08 cs.LG cs.CV math.AT stat.ML 新提交

Constructing VAE Latent Spaces with Prescribed Topology

构建具有指定拓扑的VAE潜在空间

Jilles S. van Hulst, Jakub M. Tomczak, W. P. M. H. Heemels, Duarte J. Antunes

发表机构 * Eindhoven University of Technology Nature Innovation Laboratory (NatInLab)

AI总结 针对数据流形非欧几里得拓扑导致标准高斯先验不匹配的问题,提出一种构造性数学框架,通过因子化分布和重参数化技巧,为乘积覆盖空间流形(如圆柱、环面、莫比乌斯带等)设计拓扑匹配的先验,提升重建质量和表示忠实性。

详情
Comments
16 pages, 7 figures
AI中文摘要

变分自编码器(VAE)学习高维数据的低维潜在表示。当数据位于具有非欧几里得拓扑的流形上时,标准高斯先验会引入拓扑不匹配,从而降低重建质量并阻碍忠实表示。我们提出了一个构造性数学框架,解决了所有允许乘积覆盖空间的流形的这种不匹配问题。这些流形可表示为基本因子(圆、区间或直线)的乘积,或此类乘积在有限对称群下的商。该类包括圆柱、环面、莫比乌斯带、克莱因瓶和实射影空间。基本因子上的因子化分布产生具有闭式解耦KL散度的乘积拓扑,使得每个潜在因子可以独立塑造,同时保持训练可处理。我们为周期、有界和无界支撑编目了可重参数化的编码器-先验对,并提供了坐标变换,允许标准神经网络输出具有平滑梯度的非欧几里得参数。对于商流形,解码器接收覆盖空间坐标的群不变特征,使得识别点产生相同输出。锚点约束相对于数据固定坐标系或创建软拓扑孔。在合成流形和真实图像数据集(旋转和循环移位MNIST)上的实验证实,拓扑匹配的先验使KL正则化与数据流形对齐。所得到的拓扑感知模型在所有实际相关的正则化强度下均优于高斯基线。代码可从此https URL获取。

英文摘要

Variational autoencoders (VAEs) learn low-dimensional latent representations of high-dimensional data. When the data lies on a manifold with non-Euclidean topology, the standard Gaussian prior introduces a topological mismatch that degrades reconstruction quality and prevents faithful representation. We present a constructive mathematical framework that resolves this mismatch for all manifolds that admit a product covering space. These are manifolds expressible as products of elementary factors (circles, intervals, or lines) or as quotients of such products by a finite symmetry group. The class includes cylinders, tori, Möbius strips, Klein bottles, and real projective spaces. Factorized distributions over the elementary factors yield product topologies with closed-form, decoupled KL divergences, so that each latent factor can be shaped independently while keeping training tractable. We catalogue reparametrizable encoder-prior pairs for periodic, bounded, and unbounded supports, and provide coordinate transformations that allow standard neural networks to output non-Euclidean parameters with smooth gradients. For quotient manifolds, the decoder receives group-invariant features of the covering-space coordinates, so that identified points produce identical outputs. Anchor constraints fix the coordinate system relative to the data or create soft topological holes. Experiments on synthetic manifolds and real-image datasets (rotated and cyclically shifted MNIST) confirm that a topology-matched prior aligns KL regularization with the data manifold. The resulting topology-aware models outperform the Gaussian baseline at all practically relevant regularization strengths. The code is available at https://github.com/JvHulst/VAE-Topology.

2606.07009 2026-06-08 cs.CR cs.IT math.IT 新提交

Fast Bounded-Independence Functions and Their Duals

快速有界独立函数及其对偶

Martijn Brehm, Yuval Ishai, Nicolas Resch

AI总结 本文构造了具有线性电路规模的快速函数,实现了最优代数度的t-wise独立哈希函数,改进了快速码及其对偶的构造,并首次实现了将任意t个线性独立输入映射到均匀统计独立输出的快速线性函数族,应用于密码学。

详情
Comments
Full version of paper to appear in ITC 2026. 34 pages
AI中文摘要

我们继续研究{\em 快速}函数,即可由线性规模电路计算、且具有随机函数有用性质的函数。受密码学应用驱动,我们推广并改进了该领域的先前结果,得到以下结果:- 对于任意常数$t$,我们构造了一个快速$t$元独立哈希函数,其代数次数为$\log_2 t$(在$\mathbb F_2$上),同时优化了渐近电路规模和次数。- 我们简化并改进了近期(ITCS 2026)的一个快速码族及其快速对偶的构造,两者均达到Gilbert-Varshamov界。与先前构造不同,我们的构造具有可忽略的失败概率,可适应一般域和速率,支持系统编码,并具有快速通用编码器。- 我们加强了上述结果以支持更强的随机性质,例如最优组合列表解码。这是通过为任意常数$t$构造一个快速线性函数族实现的,该函数族将任意$t$个线性独立输入映射到均匀且统计独立的输出。在我们的工作之前,这仅对$t=1$已知。我们展示了上述结果对密码学的有用性。这包括首个电路复杂度随参与方数量线性扩展的完美安全多方计算协议,以及计算加密矩阵-向量积且具有最优渐近电路复杂度的协议。

英文摘要

We continue the study of {\em fast} functions, computable by linear-size circuits, that share useful properties of random functions. Motivated by cryptographic applications, we generalize and improve on previous results in this area, obtaining the following results: - For any constant $t$, we construct a fast $t$-wise independent hash function with algebraic degree $\log_2 t$ (over $\mathbb F_2$), simultaneously optimizing both asymptotic circuit size and degree. - We simplify and improve a recent construction (ITCS 2026) of a family of fast codes with fast duals, both meeting the Gilbert-Varshamov bound. Unlike the previous construction, our construction has negligible failure probability, can accommodate general fields and rates, supports a systematic encoding, and admits fast universal encoders. - We strengthen the above to support stronger random-like properties, such as optimal combinatorial list-decoding. This is achieved by constructing, for any constant $t$, a family of fast linear functions that map any $t$ linearly independent inputs to uniform and statistically independent outputs. Prior to our work, this was only known for $t=1$. We demonstrate the usefulness of the above results to cryptography. This includes the first nontrivial protocols for perfectly secure multiparty computation whose circuit complexity scales linearly with the number of parties, as well as protocols for computing encrypted matrix-vector products with optimal asymptotic circuit complexity.

2606.06910 2026-06-08 cs.DC math-ph math.MP 新提交

Communication Strategy Selection for Multi-GPU 3D FDTD with Convolutional Perfectly Matched Boundary Layers

面向卷积完美匹配边界层的多GPU三维FDTD通信策略选择

Victory C. Obieke

AI总结 针对带CPML边界条件的多GPU三维FDTD计算,研究直接GPU间对等交换相比主机中转的加速效果,并评估扩大鬼域区域的影响。

详情
AI中文摘要

本文描述了一项针对使用CUDA进行卷积完美匹配层边界条件的三维时域有限差分计算的多GPU通信策略研究。用于确定最有效实现的指标包括运行时间、每秒百万输出点的吞吐量、强扩展效率、CPML开销、主机中转与直接GPU间对等交换的加速比,以及扩大鬼域区域的加速比。在单个NVIDIA Quadro RTX 6000 GPU上,CPML实现维持每秒2,889–3,290百万输出点,边界层开销小于1%,为多GPU研究提供了单GPU基线。结果表明,直接GPU间对等交换是主导优化,相比主机中转交换实现了2.46–2.76倍的加速,而扩大鬼域区域仅带来适度收益,因为通信频率降低部分被冗余计算和额外内存流量抵消。在NVIDIA Quadro RTX 8000 GPU上,对于测试的强扩展情况,该实现在两个GPU上提供了高达1.51倍的加速,而四个GPU能够处理接近或超过单GPU内存容量的大网格。

英文摘要

In this paper we describe a communication-strategy study for multi-GPU three-dimensional finite-difference time-domain computation with convolutional perfectly matched layer boundary conditions using CUDA. The metrics used to determine the most effective implementation include runtime, throughput in millions of output points per second, strong-scaling efficiency, CPML overhead, host-staged versus direct GPU-to-GPU exchange speedup, and enlarged-ghost speedup. On a single NVIDIA Quadro RTX 6000 GPU, the CPML implementation sustains 2,889--3,290 million output points per second with less than 1\% boundary-layer overhead, providing the single-GPU baseline for the multi-GPU study. The results show that direct GPU-to-GPU peer exchange is the dominant optimization with a 2.46--2.76$\times$ speedup over host-staged exchange, while enlarged ghost regions give only modest benefits because the reduced communication frequency is partly offset by redundant computation and additional memory traffic. On NVIDIA Quadro RTX 8000 GPUs, the implementation gives up to a 1.51$\times$ speedup on two GPUs for the tested strong-scaling cases, while four GPUs enable larger grids that approach or exceed single-GPU memory capacity.

2606.06705 2026-06-08 eess.SY cs.SY math.ST stat.ME stat.TH 新提交

Estimating Evolving Functions with Dynamic Gaussian Processes

使用动态高斯过程估计演化函数

J. S. van Hulst, W. P. M. H. Heemels, D. J. Antunes

AI总结 提出动态高斯过程框架,通过积分-差分方程建模演化函数,将高斯过程回归扩展到时变函数,并利用可分离核结构简化为有限维卡尔曼滤波,支持向量值状态和高阶偏微分方程。

详情
Comments
This manuscript is a preprint submitted to a SIAM journal
AI中文摘要

本文发展了动态高斯过程(DGP),一个用于估计由积分-差分方程(IDE)支配的函数的框架。IDE 对具有离散时间动态的连续函数进行建模,并自然地从线性偏微分方程(PDE)的时间离散化中产生。DGP 将高斯过程回归扩展到时变函数,并将卡尔曼滤波扩展到无限维状态。DGP 后验仍为高斯过程,具有闭式均值和协方差更新,且可分离核结构将问题简化为基函数系数上的有限维卡尔曼滤波。本文将 DGP 扩展到向量值状态,从而能够处理高阶 PDE,并提供了基函数近似的稳定性和逼近误差分析。函数 L2 估计误差精确分解为子空间内和子空间外贡献,且所有逼近误差随基函数数量增长而消失。该框架在热方程和波动方程(后者具有向量值状态)上进行了演示。代码可在 https://this URL 获取。

英文摘要

This paper develops the Dynamic Gaussian Process (DGP), a framework for estimating functions governed by integro-difference equations (IDEs). IDEs model continuous functions that evolve with discrete-time dynamics and arise naturally from time-discretization of linear partial differential equations (PDEs). The DGP extends Gaussian process regression to time-varying functions and extends Kalman filtering to infinite-dimensional states. The DGP posterior remains a Gaussian process with closed-form mean and covariance updates, and separable kernel structure reduces the problem to a finite-dimensional Kalman filter on basis function coefficients. This paper extends the DGP to vector-valued states, enabling the treatment of higher-order PDEs, and provides a stability and approximation error analysis for the basis function approximation. The functional L2 estimation error decomposes exactly into in-subspace and out-of-subspace contributions, and all approximation errors vanish as the number of basis functions grows. The framework is demonstrated on the heat equation and on the wave equation, the latter with a vector-valued state. Code is available at https://github.com/JvHulst/Dynamic_Gaussian_Processes.

2606.06625 2026-06-08 cs.GT math.ST stat.TH 新提交

N-Player Binary Games with Unidirectional Dependencies: Cycle Robustness and Induced Indifference

具有单向依赖性的N人二元博弈:循环鲁棒性与诱导无差异

Jose Maria Sanchez-Saez, Nana Odishelidze, Francisco Criado-Aldeanueva

AI总结 本文针对具有单向依赖性的N人二元博弈,给出了纳什均衡的闭式刻画,重点研究了有向循环图博弈,提出了鲁棒激励结构,在O(N)时间内求解均衡,并揭示了奇偶条件与诱导无差异的作用。

详情
Journal ref
Communications in Nonlinear Science and Numerical Simulation, Volume 161, Part 2, 2026, 110151, ISSN 1007-5704
AI中文摘要

本研究提供了具有单向依赖性的N人二元博弈中纳什均衡的闭式刻画。虽然一般网络博弈是PPAD完全的,但先前的工作已证明树或路径可通过动态规划在多项式时间内求解。我们为有向循环图博弈的子类提供了确定性刻画,表明非零边界激励将拓扑线性化为前馈传播。在这种鲁棒激励结构下,可在O(N)时间内求解:严格优势保证唯一均衡;在无严格优势时,纯策略均衡由奇偶条件支配,而通过诱导支付无差异保证唯一完全混合均衡。对于非鲁棒情形,我们给出了分支规则。转移矩阵公式可预先评估搜索树大小。这种透明性使得循环网络中目标均衡的逆向设计成为可能,明确了数值求解器中晦涩的机制。

英文摘要

The present study provides a closed-form characterisation of Nash equilibria in N-player binary games with unidirectional dependencies. While general network games are PPAD-complete, prior work has established that trees or paths admit polynomial-time solutions via dynamic programming. We provide a deterministic characterisation for the subclass of directed cycle graphical games, demonstrating that non-zero boundary incentives linearize the topology into a feed-forward propagation. Under this Robust Incentive Structure, resolution is achieved in O(N) time: strict dominance guarantees a unique equilibrium; in its absence, pure strategy equilibria are governed by the Parity Condition, while a unique fully mixed equilibrium is guaranteed via induced payoff indifference. For non-robust regimes, we deliver branching rules. The transition-matrix formulation evaluates the search tree size beforehand. This transparency enables the inverse design of target equilibria in circular networks, making explicit the mechanics that remain opaque in numerical solvers.

2606.06513 2026-06-08 cs.DM math.CO 新提交

Alternative Inductive Proof of Dilworth's Theorem

Dilworth定理的另一种归纳证明

Tao Zhang

AI总结 基于合并引理,提出一种具有算法风格的Dilworth定理的归纳证明。

详情
AI中文摘要

文献中可以找到几个Dilworth定理的优雅归纳证明。在这篇笔记中,我提出了另一种基于合并引理的具有算法风格的归纳证明。

英文摘要

Several elegant inductive proofs of Dilworth's theorem can be found in the literature. In this note, I present another inductive proof with an algorithmic flavor based on a merging lemma.

2606.06505 2026-06-08 cs.CG cs.AI cs.CV math.DG 新提交

A Geometric Gaussian Mixture Representation of Plane Curves

平面曲线的几何高斯混合表示

Ali Darijani, Benedikt Stratmann, Jürgen Beyerer

AI总结 提出一种用户定义的平面曲线概率多边形表示,通过为每个线段赋予法向不确定性参数,构造高斯混合模型,保留局部几何与法向不确定性,适用于多种曲线类型。

详情
AI中文摘要

我们引入了一种用户定义的平面曲线概率多边形表示。给定一条曲线,我们在曲线上选择顶点,并通过线段连接相邻顶点以获得多边形近似。每个线段在法线方向上配备一个用户定义的不确定性参数。这产生了一组薄的概率几何基元,它们保留了底层曲线的几何形状,同时将其扩展到理想化的确定性一维公式之外。对于每个线段,我们定义一个随机变量,该变量在线段的切线方向上均匀分布,在线段的法线方向上高斯分布。通过匹配第一和第二中心矩,该构造诱导出一个高斯分量,其均值位于线段中点,协方差编码了切向和法向不确定性。将逐段分量与适当的权重相结合,得到平面曲线的用户定义概率多边形表示的高斯混合模型(GMM)。所提出的框架提供了一个解析上可处理的概率模型,保留了局部几何和法向不确定性。它适用于光滑、封闭、开放、非正则和自交的平面曲线,允许自适应离散化和法向方向上的变化不确定性,从而支持不确定性感知的几何建模。在一组典型平面曲线上的实验表明,所得的GMM捕获了局部切线、局部法线和局部弧长;从而也真实地捕获了底层曲线的全局形状。该表示特别适用于不确定性感知的CAD和数字孪生、机器人中的概率障碍物建模以及概率轨迹规划等应用。

英文摘要

We introduce a user defined probabilistic polygonal representation for plane curves. Given a curve, we select vertices on the curve and connect consecutive vertices by line segments to obtain a polygonal approximation. Each segment is equipped with a user defined uncertainty parameter in the normal direction. This yields a collection of thin probabilistic geometric primitives that retain the geometrz of the underlying curve while extending it beyond the idealized deterministic one dimensional formulation. For each segment, we define a Random Variable that is uniform distributed in the tangent direction of the segment and Gaussian distributed in the normal direction of the segment. By matching the first and the second central moments, this construction induces a Gaussian component whose mean lies at the segment midpoint and whose covariance encodes both tangential and normal uncertainty. Combining the segment wise components with appropriate weights yields a Gaussian Mixture Model (GMM) representation of the user defined probabilistic polygonal representation of the plane curve. The proposed framework provides an analytically tractable probabilistic model that preserves local geometry, and uncertainty in the normal direction. It applies to smooth, closed, open, non regular, and self intersecting plane curves, allows adaptive discretization and varying uncertainty in the normal direction, and as a result supports uncertainty aware geometric modeling. Experiments on a collection of canonical plane curves show that the resulting GMM capture local tangent, local normal, and local arc length; resulting in the global shape of the underlying curves to be truthfully captured as well. The representation is particularly relevant for applications in uncertainty aware CAD and digital twins, probabilistic obstacle modeling in robotics, and probabilistic trajectory planning.

2606.07516 2026-06-08 math.PR 新提交

Counterintuitive problems in discrete probability

离散概率中的反直觉问题

Luca Avena, Gianmarco Bet, Bernardo Busoni

AI总结 本文收集了一系列离散概率中的反直觉问题及详细解答,旨在挑战启发式推理,评估大语言模型在概率推理中的认知偏差。

详情
Comments
Feedback on possible mistakes or typos and suggested additions to the list of problems are welcome at the email address of the authors
AI中文摘要

本手稿包含一系列离散概率中的反直觉问题及其详细解答。该数据集是更广泛研究项目的一部分,该项目旨在调查最新一代大语言模型在解决离散概率问题方面的能力,以评估LLM是否倾向于犯与已知认知偏差相关的系统性推理错误。这里收集的问题专门设计用于挑战启发式推理策略,这些策略通常会导致直观上吸引人但数学上不正确的结论。该数据集结合了几种类型的问题。有些改编自经典概率悖论和认知偏差文献,而另一些则源自娱乐数学资源,或者由我们自己按照类似原则开发。本文档的主要目的是为我们在语言模型实验评估中使用的问题提供透明且公开可访问的参考,并提供详细的人工解决方案。同时,我们相信这个集合也可能对未来的概率推理、认知偏差以及人工智能系统推理能力评估的研究有用。

英文摘要

This manuscript contains a collection of counterintuitive problems in discrete probability, together with detailed solutions. The dataset was constructed as part of a broader research project investigating the capabilities of the latest-generation Large Language Models (LLMs) in solving discrete probability problems, in order to assess whether LLMs tend to make systematic reasoning errors associated with known cognitive biases. The problems collected here are specifically designed to challenge heuristic reasoning strategies that often lead to intuitively appealing but mathematically incorrect conclusions. The dataset combines several types of problems. Some are adapted from classical probabilistic paradoxes and cognitive-bias literature, while others originate from recreational mathematics sources or were developed by ourselves following similar principles. The primary purpose of this document is to provide a transparent and publicly accessible reference for the problems used in our experimental evaluation of language models, as well as providing detailed human-made solutions. At the same time, we believe that this collection may also prove useful for future research on probabilistic reasoning, cognitive biases, and the evaluation of reasoning capabilities in artificial intelligence systems.

2606.07507 2026-06-08 math.CO math.AC math.AG 新提交

Ideals defining components of two-row Springer fibers

定义两行Springer纤维分支的理想

Cristina Sabando-Alvarez, Martha Precup

AI总结 本文针对两行Springer纤维,通过非交叉匹配定义多项式理想,证明这些理想定义了Springer纤维的对应分支,并给出分支上同调类的两个猜想公式。

详情
AI中文摘要

Springer纤维是由幂零矩阵参数化的旗簇的子簇,是几何表示论中的核心研究对象。本文聚焦于两行Springer纤维,即对应于具有两个Jordan块的幂零矩阵的那些纤维。两行Springer纤维的不可约分支与两行标准Young表以及非交叉匹配一一对应。受矩阵Schubert簇的交换代数组合学启发,我们为每个非交叉匹配定义一个多项式理想,并证明这些理想定义了Springer纤维的对应分支。我们的证明利用了Fung、Stroppel--Webster、Fresse以及Goldwasser--Nadeem--Sun--Tymoczko建立的Springer纤维的几何描述。通过使用这些理想计算例子,我们给出了两行Springer纤维每个分支上同调类的两个猜想公式。我们应用交换代数技巧证明了这些猜想对于特定两行表族成立。

英文摘要

Springer fibers are subvarieties of the flag variety parameterized by nilpotent matrices. They are central objects of study in geometry representation theory. This paper focuses on two-row Springer fibers, those corresponding to nilpotent matrices with two Jordan blocks. Irreducible components of two-row Springer fibers are in bijection with two-row standard Young tableaux and also with noncrossing matchings. Inspired by the combinatorial commutative algebra of matrix Schubert varieties, we define a polynomial ideal for each noncrossing matching and prove that these ideals define the corresponding components of the Springer fiber. Our proofs leverage geometric descriptions of Springer fibers established by Fung, Stroppel--Webster, Fresse, and Goldwasser--Nadeem--Sun--Tymoczko. Using these ideals to compute examples, we give two conjectural formulas for the cohomology class of each component of a two-row Springer fiber. We apply commutative algebra techniques to prove these conjectures for a specific family of two-row tableaux.

2606.07501 2026-06-08 math.AP 新提交

On the non-uniqueness of solutions of the axi-symmetric swirl-free Navier-Stokes equations, I

轴对称无旋Navier-Stokes方程解的非唯一性,I

Alexandru D. Ionescu, Hao Jia, Stan Palasek

AI总结 本文数值构造了三维不可压Navier-Stokes方程的一类新的不稳定自相似解,具有轴对称且无穷远齐次-1度,在轴对称无旋向量场空间中存在,全局点态残差达10^{-10},用于证明解的非唯一性。

详情
Comments
24 pages, 9 figures
AI中文摘要

本文数值构造了$\mathbb{R}^3$中不可压Navier-Stokes方程的一类新的不稳定自相似解。我们的解是轴对称的,在无穷远处齐次度为$-1$,并且在线性化围绕这些解时包含不稳定模式的意义上是不稳定的。这类解已由Guillod和Šverák以及Hou、Wang和Yang数值发现,并应用于证明非唯一性结果。本文的主要新颖之处在于,我们在轴对称无旋(ASSF)向量场空间中发现了这类解的存在性。这些近似解定义在整个$\mathbb{R}^3$上,并实现了$10^{-10}$量级的全局点态残差。我们详细讨论了这些解的数值构造,以及它们与三维不可压Navier-Stokes方程在ASSF解空间中解的非唯一性问题的相关性。

英文摘要

In this paper we construct numerically a new class of unstable self-similar solutions of the incompressible Navier-Stokes equations in $\mathbb{R}^3$. Our solutions are axially symmetric and homogeneous of degree $-1$ at $\infty$, and are unstable in the sense that the linearization around these solutions contains unstable modes. Solutions of this type have been discovered numerically by Guillod and Šverák and Hou, Wang, and Yang, and have applications to proving non-uniqueness results. The main novelty in this paper is that we discover the existence of such solutions in the space of axially symmetric swirl-free (ASSF) vector fields. These approximate solutions are defined on all of $\mathbb R^3$ and achieve global pointwise residuals of order $10^{-10}$. We discuss the numerical construction of these solutions in detail, as well as their relevance to the problem of non-uniqueness of solutions of the incompressible Navier-Stokes equations in 3D, in the space of ASSF solutions.

2606.07499 2026-06-08 math.ST math.PR stat.TH 新提交

Non-asymptotic bounds for quasi-MLE, misspecified models, and dependence under group sequential sampling

分组序贯抽样下拟极大似然估计、误设定模型及依赖性的非渐近界

Julian Aronowitz, Jay Bartroff

AI总结 针对分组序贯拟极大似然估计,在模型可能误设定且组内存在依赖性的情况下,推导了渐近多元正态极限和显式非渐近正态逼近界,并应用于癫痫临床试验数据。

详情
AI中文摘要

我们推导了分组序贯拟极大似然估计在可能的模型误设定和组内依赖性下的渐近多元正态极限和显式非渐近正态逼近界。这些界通过Stein方法获得,具有已知常数,并适用于一类依赖数据估计问题,其中用于估计的似然可能不同于真实数据生成机制。我们针对具有随机组效应的泊松广义线性混合模型明确计算了极限协方差结构和有限样本界,并使用癫痫临床试验数据说明了结果。

英文摘要

We derive asymptotic multivariate normal limits and explicit non-asymptotic normal approximation bounds for group sequential quasi-maximum likelihood estimators under possible model misspecification and within-group dependence. The bounds, obtained using Stein's method, have known constants and apply to a class of dependent-data estimating problems in which the likelihood used for estimation may differ from the true data-generating mechanism. We compute the limiting covariance structure and finite-sample bound explicitly for a Poisson generalized linear mixed model with random group effects and illustrate the results using data from an epilepsy clinical trial.

2606.07493 2026-06-08 math.RT math.CO math.RA 新提交

A Comparison of cluster algebra structures arising from $i$-boxes and Demazure weaves

由 $i$-盒子和 Demazure 编织产生的簇代数结构的比较

JiSun Huh, Woo-Seok Jung, Myungho Kim, Euiyong Park

AI总结 本文比较了与有限 ADE 型辫群中正元素 $\mathtt{b}$ 相关的两个簇代数,通过构造 Demazure 编织并证明代数同构,建立了 $i$-盒子链与 Demazure 编织种子之间的联系。

详情
Comments
43 pages
AI中文摘要

我们比较了两个与有限 $ADE$ 型辫群中正元素 $\mathtt{b}$ 相关的簇代数。一个是局域化的玻色子扩展 ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$,配备有由 $i$-盒子的可容许链 $\mathfrak{C}$ 导出的初始种子,这与幺半范畴化密切相关。另一个是辫簇 $X({\underline{\Delta}} {\boldsymbol{i}})$ 的坐标环 $\mathbb{C}[X({\underline{\Delta}} {\boldsymbol{i}})]$,配备有由 Demazure 编织 $\mathfrak{W}$ 导出的初始种子,其中 ${\boldsymbol{i}}$ 和 ${\underline{\Delta}}$ 分别是 $\mathtt{b}$ 和半扭转 $\Delta$ 的表达式序列。我们为每个与 ${\boldsymbol{i}}$ 相关的可容许链 $\mathfrak{C}$ 显式构造了一个 Demazure 编织 $\mathfrak{W}_{\underline{\Delta}}(\mathfrak{C})$,并证明存在一个代数同构 $\varphi_{\boldsymbol{i}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underline{\Delta}} {\boldsymbol{i}})]$,该同构与由 $\mathfrak{C}$ 和 $\mathfrak{W}_{\underline{\Delta}}(\mathfrak{C})$ 导出的两个种子相容。此外,同构 $\varphi_{\boldsymbol{i}}$ 将 ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ 中的 PBW 向量 ${\overline{\mathsf{p}}}_{{\boldsymbol{i}},k}$ 映到由 ${\boldsymbol{i}}$ 的字母索引的坐标 $z_k \in \mathfrak{C}[X({\underline{\Delta}} {\boldsymbol{i}})]$。作为应用,我们通过 $i$-盒子研究了 Demazure 编织与带符号词之间的联系,并使用 Hernandez--Leclerc 范畴从幺半范畴化的角度解释了同构 $\varphi_{\boldsymbol{i}}$。

英文摘要

We compare two cluster algebras related to a positive element $\mathtt{b}$ in the braid group of finite $ADE$ type. One is the localized bosonic extension ${\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ equipped with an initial seed arising from an admissible chain $\mathfrak{C}$ of $i$-boxes, which is deeply connected to monoidal categorification. The other is the coordinate ring $\mathbb{C}[X({\underlineΔ} {\boldsymbol{i}})]$ of the braid variety $X({\underlineΔ} {\boldsymbol{i}})$ equipped with an initial seed arising from a Demazure weave $\mathfrak{W}$, where ${\boldsymbol{i}}$ and ${\underlineΔ}$ are expression sequences of $\mathtt{b}$ and the half twist $Δ$, respectively. We explicitly construct a Demazure weave $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$ for each admissible chain $\mathfrak{C}$ associated with ${\boldsymbol{i}}$, and prove that there exists an algebra isomorphism $φ_{\boldsymbol{i}}\colon {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})\to\mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ which is compatible with the two seeds arising from $\mathfrak{C}$ and $\mathfrak{W}_{\underlineΔ}(\mathfrak{C})$. Moreover, the isomorphism $φ_{\boldsymbol{i}}$ sends the PBW vectors ${\overline{\mathsf{p}}}_{\boldsymbol{i},k} \in {\widetilde{\mathbb{A}}}_\mathbb{C}(\mathtt{b})$ to the coordinates $z_k \in \mathfrak{C}[X({\underlineΔ} {\boldsymbol{i}})]$ indexed by the letters of ${\boldsymbol{i}}$. As applications, we investigate a connection between Demazure weaves and signed words via the $i$-boxes and interpret the isomorphism $φ_{\boldsymbol{i}}$ from the viewpoint of monoidal categorification using Hernandez--Leclerc categories.

2606.07490 2026-06-08 math.CO math.AG 新提交

The singular cohomology ring of a uniform matroid: combinatorics and Lefschetz properties

均匀拟阵的奇异上同调环:组合与Lefschetz性质

Kyle Binder

AI总结 本文研究均匀拟阵奇异上同调环的组合结构与Lefschetz性质,通过Koszul同调构造显式基,推导Hodge数公式并证明其满足拟射影强Lefschetz性质。

详情
Comments
21 pages; comments welcome
AI中文摘要

拟阵的奇异上同调环是一个代数不变量,它推广了拟阵的Chow环。我们研究均匀拟阵的奇异上同调环的组合与Lefschetz性质。在组合方面,我们利用Koszul同调构造了奇异上同调环的一个显式基。从这个基出发,我们推导出上同调环的Hodge数的多个公式,这些公式恢复并扩展了均匀拟阵的Chow多项式的已知公式。我们还利用这个基证明均匀拟阵的奇异上同调环满足“拟射影强Lefschetz性质”——这是拟阵的Chow环中Hard Lefschetz性质的一个弱化版本。

英文摘要

The singular cohomology ring of a matroid is an algebraic invariant which generalizes the Chow ring of a matroid. We study combinatorial and Lefschetz properties of the singular cohomology ring of a uniform matroid. Combinatorially, we construct an explicit basis for the singular cohomology ring in terms of Koszul homology. From this basis we derive multiple formulas for the Hodge numbers of the cohomology ring that recover and extend known formulas for the Chow polynomial of a uniform matroid. We also use this basis to show that the singular cohomology ring of a uniform matroid satisfies the "quasi-projective strong Lefschetz property" -- a slight weakening of the Hard Lefschetz property found in the Chow ring of a matroid.

2606.07482 2026-06-08 math.PR 新提交

Moments in Rough Bergomi and Boundary Attainment in Rough Heston

粗糙Bergomi模型中的矩与粗糙Heston模型中的边界到达

Arthur Bourdon, Thibault Jeannin

AI总结 本文证明了粗糙Bergomi价格过程在负相关下整个次临界范围内的有限正矩,并证明了粗糙Heston方差过程在任意正时间以正概率到达零边界。

详情
AI中文摘要

我们解决了粗糙波动率文献中的两个开放问题。首先,我们证明了粗糙Bergomi价格过程以及更广泛的高斯Volterra Bergomi模型在负相关下整个次临界范围内的有限正矩。更精确地说,如果\(\rho\in[-1,0)\),则对于每个\(0<p<p_\rho\),有\(\E[S_T^p]<\infty\),其中\(p_{-1}=\infty\),对于\(-1<\rho<0\)有\(p_\rho=(1-\rho^2)^{-1}\)。对于分数阶粗糙Bergomi核,这给出了尖锐临界矩阈值的有限侧,补充了阈值以上已知的爆炸结果。其次,我们证明了粗糙Heston方差过程,即具有分数阶核\(K_\alpha(t)=t^{\alpha-1}/\Gamma(\alpha)\)和\(\alpha\in(1/2,1)\)的标量Volterra平方根过程,在任意正时间在零点处有一个正原子。因此,在任意正时间水平之前,以正概率到达零点。这排除了在分数阶粗糙Heston模型中使零边界不可达的任何Feller型条件。

英文摘要

We address two open questions in the rough volatility literature. First, we prove finite positive moments for the rough Bergomi price process, and for a wider class of Gaussian Volterra Bergomi models, in the whole subcritical range under negative correlation. More precisely, if \(ρ\in[-1,0)\), then \(\E[S_T^p]<\infty\) for every \(0<p<p_ρ\), where \(p_{-1}=\infty\) and \(p_ρ=(1-ρ^2)^{-1}\) for \(-1<ρ<0\). For the fractional rough Bergomi kernel, this gives the finite side of the sharp critical moment threshold, complementing the known explosion result above the threshold. Second, we prove that the rough Heston variance process, equivalently the scalar Volterra square-root process with fractional kernel \(K_α(t)=t^{α-1}/Γ(α)\) and \(α\in(1/2,1)\), has a positive atom at zero at every positive time. Consequently, zero is hit with positive probability before every positive time horizon. This rules out any Feller-type condition making the zero boundary inaccessible in the fractional rough Heston model.

2606.07480 2026-06-08 math.NT math.PR 新提交

Erdős-Kac theorems for discriminants of number fields

数域判别式的 Erdős-Kac 定理

Jack B. Miller

AI总结 本文证明了当 G 为阿贝尔群时,随机 G-扩张中分歧素数个数的中心极限定理,推广了 Lemke Oliver 和 Thorne 在 G=S_d (2≤d≤5) 情形的工作,并首次给出不同素数处分歧事件不独立的例子。

详情
Comments
32 pages
AI中文摘要

经典的 Erdős-Kac 定理给出了随机整数素因子个数的中心极限定理。我们证明了当 G 为阿贝尔群时,数域随机 G-扩张中分歧素数个数的类似结果。这建立在 Lemke Oliver 和 Thorne 在 G=S_d (2≤d≤5) 情形先前工作的基础上,并首次提供了不同素数处分歧事件不独立的例子。我们发展了可“开箱即用”的概率结果,用于证明数域中理想序列的 Erdős-Kac 定理,只需满足涉及欧拉乘积有限和的 Tauber 型假设。

英文摘要

The classical Erdős-Kac theorem gives a central limit theorem for the number of prime divisors of a random integer. We prove an analog for the number of ramified primes in a random $G$-extension of a number field when $G$ is abelian. This builds on previous work of Lemke Oliver and Thorne in the cases $G = S_d$ ($2 \le d \le 5$), and provides the first examples where local ramification events at distinct primes are not independent. We develop probability results that can be used "out of the box" to prove Erdős-Kac theorems for sequences of ideals in a number field, subject to Tauberian hypotheses involving finite sums of Euler products.

2606.07478 2026-06-08 math.CO 新提交

Minimal Posets Realizing \texorpdfstring{$\mathbb{Z}_2 \times \mathbb{Z}_4$} as Automorphism Group

实现自同构群为 Z₂ × Z₄ 的最小偏序集

Ponaki Das, Sainkupar Marwein Mawiong

AI总结 本文证明 β(Z₂ × Z₄) = 14,通过轨道分解和高度函数论证,构造了一个14元偏序集并分析其覆盖关系的刚性。

详情
AI中文摘要

我们证明 β(Z₂ × Z₄) = 14,其中 β(G) 表示满足 Aut(P) ≅ G 的有限偏序集 P 的最小基数 |P|。下界通过对 P 在忠实 G-作用下的轨道分解进行完全情形分析得到,并按最大轨道大小组织。上界由一个显式的 14 元偏序集实现,其自同构群通过高度函数论证及其覆盖关系的刚性分析计算得出。

英文摘要

We prove $β(\mathbb{Z}_2 \times \mathbb{Z}_4) = 14$, where $β(G)$ denotes the minimum cardinality $|P|$ among finite posets $P$ with $\Aut(P) \cong G$. The lower bound is established by a complete case analysis of orbit decompositions of $P$ under faithful $G$-actions, organized by the largest orbit size. The upper bound is realized by an explicit $14$-element poset whose automorphism group is computed by a height-function argument together with a rigidity analysis of its covering relations.

2606.07477 2026-06-08 math.NA cs.NA 新提交

A Mixed Virtual Element Method for the p-Laplace equation

p-Laplace方程的混合虚拟元方法

Kirubell B. Haile, Giuseppe Vacca

AI总结 针对p-Laplace方程,提出一种混合虚拟元方法,覆盖p∈(1,∞)全范围,通过非线性稳定项保证稳定性,并推导先验误差估计。

详情
AI中文摘要

我们引入并分析了一种混合虚拟元方法,用于非Hilbert空间中的$p$-Laplace方程,覆盖$p \in (1, \infty)$全范围。该离散框架结合了标准混合虚拟元空间与一种新颖的非线性稳定项,旨在模拟连续算子的幂律结构。我们在非Hilbert范数下建立了离散inf-sup稳定性,并严格证明了离散形式的连续性和强制性。这保证了问题的适定性,并使我们能够推导出原始变量和通量的先验误差估计。一组数值测试支持了理论推导。

英文摘要

We introduce and analyze a mixed Virtual Element Method for the $p$-Laplace equation in a non-Hilbertian setting, covering the full range $p \in (1, \infty)$. The discrete framework combines standard mixed Virtual Element spaces with a novel non-linear stabilization term designed to mimic the power-law structure of the continuous operator. We establish discrete inf-sup stability under non-Hilbertian norms and rigorously prove the continuity and coercivity of the discrete form. This guarantees the well-posedness of the problem and allows us to derive a priori error estimates for the primal variable and the flux. A set of numerical tests supports the theoretical derivations.