arXivDaily arXiv每日学术速递 周一至周五更新
全部学科分类 1530
2606.19789 2026-06-19 math.OC stat.ME 新提交

Dynamic Core Allocation for Malleable Jobs with Unknown Speed-up Parameters

具有未知加速参数的可变作业的动态核心分配

S. ~A. Bodas, J. ~L. Dorsman, M. Mandjes, L. Ravner

AI总结 针对多核系统中具有未知加速参数的可变作业,提出一种迭代学习-控制框架,通过最大似然估计未知参数并求解马尔可夫决策过程更新分配策略,以最小化长期平均作业数。

详情
AI中文摘要

我们研究了具有固定数量处理核心和可变形作业流的多核计算系统中的动态资源分配问题。每个作业可以在执行期间调整其并行度,从而允许在并发活动作业之间自适应地重新分配资源。作业属于两个可观测类别之一,每个类别由具有未知参数的独特加速函数表征。目标是学习一种核心分配策略,以最小化系统中长期平均作业数,即稳态下的平均响应时间。为了解决这种不确定性,我们开发了一个迭代学习与控制框架。系统在根据观察到的作业完成情况估计未知加速参数和求解相关马尔可夫决策过程以更新分配策略之间交替。在每个作业类别内,核心在活动作业之间平均共享;分配给每个类别的容量比例来自文献[17]的MDP公式,并在当前参数估计下进行评估。我们基于状态相关的离开时间构建了最大似然估计器,并证明了在固定分配策略下其强一致性。我们进一步提出了两种学习算法,将该估计步骤与基于动态规划的策略更新相结合,并通过数值实验说明了它们的性能。

英文摘要

We study dynamic resource allocation in a multicore computing system with a fixed number of processing cores and a stream of {\it malleable} jobs. Each job may adjust its level of parallelism during execution, allowing adaptive redistribution of resources across concurrently active jobs. Jobs belong to one of two observable classes, each characterized by a distinct speed-up function with unknown parameters. The objective is to learn a core-allocation policy that minimizes the long-run mean number of jobs in the system, equivalently the mean response time in steady state. \noindent To address this uncertainty, we develop an iterative learning-and-control framework. The system alternates between estimating the unknown speed-up parameters from observed job completions and solving the associated Markov decision process (MDP) to update the allocation policy. Within each job class, cores are shared equally among active jobs; the fraction of capacity assigned to each class is obtained from the MDP formulation of \cite{berg2017}, evaluated at the current parameter estimates. We construct a maximum likelihood estimator based on state-dependent inter-departure times and prove its strong consistency under a fixed allocation policy. We further propose two learning algorithms that combine this estimation step with dynamic programming-based policy updates, and illustrate their through numerical experiments.

2606.19783 2026-06-19 math.RT 新提交

Convolution algebras associated to representations

与表示相关的卷积代数

Dragos Crisan

AI总结 本文研究复约化群表示相关的Steinberg型簇的卷积代数,在可粘合性条件下证明其等变Borel-Moore同调或K-理论等于两个nil-Hecke代数局部化的交,并给出极点和留数描述,推广了仿射Hecke代数、DAHA及Coulomb分支的经典结果。

详情
AI中文摘要

给定一个复约化群$G$,$G$的一个表示$V$和一个Borel-稳定子空间$M \subset V$,我们考虑相关的Steinberg型簇$Z$。我们证明,在$(V,M)$满足一个称为可粘合性的条件下,$Z$的等变Borel-Moore同调或$K$-理论(配备卷积积)等于两个nil-Hecke代数在其局部化中的交。我们还给出了这些新代数在极点和留数方面的描述。当$G$被其环路群替换时,也得到了类似的结果。这推广了Ginzburg、Kapranov和Vasserot描述仿射Hecke代数和DAHA的结果,以及Teleman和Gannon--Webster通过粘合两个万有中心化子实现某些Coulomb分支的结果。

英文摘要

Given a complex reductive group $G$, a representation $V$ of $G$ and a Borel-stable subspace $M \subset V$, we consider the associated Steinberg-type variety $Z$. We prove that, under a certain condition on $(V,M)$, called gluability, the equivariant Borel-Moore homology or $K$-theory of $Z$, equipped with the convolution product, is obtained as the intersection of two copies of the nil-Hecke algebra inside its localization. We also provide a description of these new algebras in terms of poles and residues. Similar results are obtained when $G$ is replaced by its loop group. This generalizes results of Ginzburg, Kapranov and Vasserot describing the affine Hecke algebra and DAHA, as well as a result of Teleman and Gannon--Webster that realizes certain Coulomb branches by gluing two copies of the universal centralizer.

2606.19779 2026-06-19 math.GT math.DS math.GR 新提交

A global shadow lemma for relatively Morse groups in higher rank

高秩相对Morse群的全局阴影引理

Dongryul M. Kim, Hee Oh

AI总结 本文证明了高秩半单李群中相对Morse子群的Patterson-Sullivan测度的全局阴影引理,扩展了Stratmann-Velani的结果,并应用于测度的局部估计和与Hausdorff测度的比较。

Comments 45 pages

详情
AI中文摘要

Patterson-Sullivan测度编码了离散群作用轨道在边界附近的分布。本文证明了与高秩半单李群中相对Morse子群相关的Patterson-Sullivan测度的全局阴影引理。该估计对于以Gromov模型中任意点(包括尖点部分深处的点)为中心的阴影是一致的。这扩展了Stratmann-Velani关于几何有限实双曲群的全局阴影引理。作为应用,我们获得了Patterson-Sullivan测度的均匀局部估计,并给出了这些测度在尺度意义下与由相关视觉拟度量定义的Hausdorff测度一致的充分条件。

英文摘要

Patterson-Sullivan measures encode the distribution of orbits of discrete group actions near the boundary. In this paper, we prove a global shadow lemma for Patterson-Sullivan measures associated to relatively Morse subgroups of higher-rank semisimple Lie groups. The estimate is uniform for shadows centered at arbitrary points in a Gromov model, including points deep in the cuspidal part. This extends the global shadow lemma of Stratmann-Velani for geometrically finite real hyperbolic groups. As applications, we obtain uniform local estimates for Patterson-Sullivan measures, and we give sufficient conditions under which these measures agree, up to scale, with the Hausdorff measure defined by the associated visual quasi-metric.

2606.19772 2026-06-19 math.OC 新提交

Signature Methods for Optimal Market Making

最优做市商的签名方法

Alberto Gennaro, Thibaut Mastrolia, Francesca Primavera

AI总结 提出基于签名的均值-方差最优做市方法,通过签名线性化将问题转化为伪线性优化,并开发Sig-REINFORCE算法学习最优报价。

Comments v1

详情
AI中文摘要

我们提出了一种基于签名的方法来解决均值-方差准则下的最优做市问题。通过利用签名线性化技术,我们将做市问题简化为对增强市场路径期望签名的伪线性优化,并开发了一种名为Sig-REINFORCE的签名算法来学习最优买卖报价。我们在两种场景下测试了该方法,其中市价单到达遵循泊松过程或自激霍克斯过程,并将其与近端策略优化(PPO)基线进行了比较。

英文摘要

We propose a signature-based method to solve the optimal market-making problem under a mean-variance criterion. By exploiting signature linearization techniques, we reduce the market-making problem to a pseudo-linear optimization over the expected signature of an augmented market path, and we develop a signature algorithm named Sig-REINFORCE to learn the optimal bid and ask quotes. We test our method in two scenarios, in which market-order arrivals follow either a Poisson or a self-exciting Hawkes process, and we benchmark it against a Proximal Policy Optimization (PPO) baseline.

2606.19764 2026-06-19 math.NA cs.NA 新提交

Well-balanced second-order approximation of the compressible atmospheric Euler equations

可压缩大气欧拉方程的二阶近似:平衡态保持与不变域保持

Crystal Farris, Matthias Maier, Eric J. Tovar

AI总结 针对带重力的可压缩大气欧拉方程,提出一种二阶近似方法,通过静力重构密度构造辅助状态,实现平衡态保持和不变域保持,并用解析解和基准问题验证。

详情
AI中文摘要

我们提出了一种针对带重力的可压缩大气欧拉方程的二阶近似方法,该方法具有不变域保持性,并且相对于静止状态是平衡态保持的。该近似基于从密度的静力重构导出的离散辅助状态。这些辅助状态与数值状态的仿射偏移一起,为保持方法的平衡态保持和不变域保持性质提供了局部界限。然后,通过解析解、平衡态保持测试以及典型的大气流动基准问题,对该数值方法进行了验证和确认。

英文摘要

We introduce a second-order approximation to the compressible atmospheric Euler equations with gravity that is invariant domain preserving and well-balanced with respect to rest states. The approximation is built upon discrete auxiliary states derived from a hydrostatic reconstruction of the density. These auxiliary states, together with an affine shift of the numerical state, provide local bounds needed for maintaining well-balancing and invariant domain preserving properties of the method. The numerical method is then verified and validated with analytic solutions, well-balancing tests, and typical benchmark problems for atmospheric flows.

2606.19763 2026-06-19 math.PR cs.DS 新提交

Optimal Sparsification of Gaussian Processes

高斯过程的最优稀疏化

Shivam Nadimpalli

AI总结 针对中心高斯过程的上确界,提出一种维度无关的最优稀疏化定理,通过指数因子改进现有结果,并证明依赖关系紧致。

Comments 38 pages, 1 figure

详情
AI中文摘要

我们证明了中心高斯过程上确界的最优无维度稀疏化定理。给定有界集 $T\subseteq\mathbb{R}^n$,我们证明 $T$ 上的典范高斯过程的上确界可以被一个由仅 $\exp(O(1/\varepsilon^2))$ 个点索引的平移子过程的上确界在 $L^2$ 意义下逼近,误差至多为 $\varepsilon$ 乘以 $T$ 的高斯宽度。特别地,逼近过程的大小与原始索引集的维度和基数均无关。这比 De、Nadimpalli、O'Donnell 和 Servedio (2026) 最近的稀疏化定理改进了一个指数因子,并且我们证明了对 $\varepsilon$ 的依赖在指数上是紧的(至多常数因子)。作为推论,我们得到了高斯空间上范数的指数改进的 junta 定理,并改进了高斯测度下凸集的学习、性质测试和多面体逼近的结果。证明基于一个结合 Sudakov 下界与 Brascamp–Lieb 不等式的插值论证。

英文摘要

We prove an optimal dimension-free sparsification theorem for suprema of centered Gaussian processes. Given a bounded set $T\subseteq\mathbb{R}^n$, we show that the supremum of the canonical Gaussian process on $T$ can be $L^2$-approximated by the supremum of a shifted subprocess indexed by only $\exp(O(1/\varepsilon^2))$ points, with error at most $\varepsilon$ times the Gaussian width of $T$. In particular, the size of the approximating process is independent of both the ambient dimension and the cardinality of the original index set. This improves a recent sparsification theorem of De, Nadimpalli, O'Donnell, and Servedio (2026) by an exponential factor, and we show that the dependence on $\varepsilon$ is tight up to constants in the exponent. As consequences, we obtain an exponentially improved junta theorem for norms over Gaussian space and sharpen results on learning, property testing, and polyhedral approximation of convex sets under the Gaussian measure. The proof is based on an interpolation argument that combines Sudakov's minoration with the Brascamp--Lieb inequality.

2606.19742 2026-06-19 math.CO 新提交

An upper bound on the largest eigenvalue of the Helmholtzian of a graph

图 Helmholtz 算子最大特征值的上界

Suil O

AI总结 通过将问题转化为补图上的不等式,证明了图的上拉普拉斯算子最大特征值不超过最大拉普拉斯特征值加上补图代数连通度的三分之一,改进了 Duval 和 Reiner 的整数界。

详情
AI中文摘要

图 $G$ 的 Helmholtz 算子是其团复形上的 Hodge $1$-Laplacian $L_1=L_1^{\mathrm{up}}+L_1^{\mathrm{down}}$,由三角形-边和边-顶点边界算子 $\partial_2$ 和 $\partial_1$ 构造。Lu、Shi、Stanić、Wang 和 Wang 的问题~5.5 询问是否对于每个图 $G$ 都有 $\lambda_{\max}(L_1)=\mu_1(G)$,其中 $\mu_1(G)$ 是最大的 Laplacian 特征值;由 Hodge 分解,这等价于 $\lambda_{\max}(L_1^{\mathrm{up}})\le\mu_1(G)$。我们将其重新表述为关于 $G$ 的补图的问题:将 $L_1^{\mathrm{up}}$ 局部化到 $K_n$ 的圈空间上,它转化为不等式 $\lambda_{\min}(\bar L|_{Z_1})\ge a(\overline{G})$,其中 $\bar L$ 是 $G$ 的缺失三角形的上 Laplacian,$a(\overline{G})=n-\mu_1(G)$ 是补图的代数连通度。从这个观点出发,我们证明无条件界 \[ \lambda_{\max}\!\big(L_1^{\mathrm{up}}(G)\big)\ \le\ \mu_1(G)+\frac13\big(n-\mu_1(G)\big), \] 它改进了 Duval 和 Reiner 的整数上界 $\lambda_{\max}(L_1^{\mathrm{up}})\le n$,并且当该上界达到时是精确的。然后我们隔离出阻止该方法完全解决问题~5.5 的唯一尖锐不等式(在 $\overline{G}$ 的稠密部分),并证明局部化、该界以及这一障碍对于任意有限单纯复形的上 Laplacian 在所有维度上都成立。

英文摘要

The Helmholtzian of a graph $G$ is the Hodge $1$-Laplacian $L_1=L_1^{\mathrm{up}}+L_1^{\mathrm{down}}$ of its clique complex, built from the triangle--edge and edge--vertex boundary operators $\partial_2$ and $\partial_1$. Problem~5.5 of Lu, Shi, Stanić, Wang and Wang asks whether $λ_{\max}(L_1)=μ_1(G)$ for every graph $G$, where $μ_1(G)$ is the largest Laplacian eigenvalue; by the Hodge decomposition this is equivalent to $λ_{\max}(L_1^{\mathrm{up}})\leμ_1(G)$. We recast it as a question about the complement of $G$: localizing $L_1^{\mathrm{up}}$ on the cycle space of $K_n$ turns it into the inequality $λ_{\min}(\bar L|_{Z_1})\ge a(\overline{G})$, where $\bar L$ is the up Laplacian of the missing triangles of $G$ and $a(\overline{G})=n-μ_1(G)$ is the algebraic connectivity of the complement. From this viewpoint, we prove the unconditional bound \[ λ_{\max}\!\big(L_1^{\mathrm{up}}(G)\big)\ \le\ μ_1(G)+\frac13\big(n-μ_1(G)\big), \] which refines the integrality ceiling $λ_{\max}(L_1^{\mathrm{up}})\le n$ of Duval and Reiner and is sharp exactly when that ceiling is attained. We then isolate the single sharp inequality, on the dense part of $\overline{G}$, that stops the method short of Problem~5.5, and we show that the localization, the bound, and this obstruction all persist for the up Laplacian of an arbitrary finite simplicial complex, in every dimension.

2606.19738 2026-06-19 math.FA 新提交

Normaloid Operators and the Root Problem

Normaloid 算子与根问题

B. P. Duggal, C. S. Kubrusly, H. M. Stankovic

AI总结 本文将n次根问题的先前结果推广到一大类Hilbert空间算子,即具有normaloid部分的normaloid算子(包括亚正规算子和k-亚正规算子),证明若此类算子的n次幂正规,则其本身正规。

详情
AI中文摘要

本文将关于n次根问题的先前结果推广到一大类Hilbert空间算子,即所有具有normaloid部分的normaloid算子类,这包括亚正规算子,以及$k$-亚正规算子。证明表明,如果一个具有normaloid部分的normaloid算子的n次幂是正规的,那么它本身也是正规的。

英文摘要

The paper extends previous results on the nth root problem to a large class of Hilbert-space operators, namely, the class of all normaloid operators with normaloid parts, which includes the paranormal operators, and also the $k$-paranormal operators. It is shown that if a normaloid operator with normaloid parts has a normal nth power, then it is normal.

2606.19726 2026-06-19 math.ST stat.TH 新提交

A Laplace equation approach to the Behrens--Fisher problem

Behrens-Fisher问题的拉普拉斯方程方法

Nagananda K G, Jong Sung Kim

AI总结 针对两独立正态样本方差未知且不等的情况,提出偏微分方程公式,通过正交分解和球面楔概率将分布问题转化为拉普拉斯-狄利克雷边值问题,导出累积分布函数和概率密度的精确有限样本表示,并得到尾部分布展开。

Comments 31 pages, 4 figures

详情
AI中文摘要

我们针对两个独立正态样本(方差未知且不等)的Behrens-Fisher问题,发展了一种偏微分方程公式。通过正交分解分离均值分量和残差分量(对应于去除均值方向后中心化的样本内变异),并将样本均值的学生化差异重新表述为尺度不变的几何约束。这种简化将分布问题转化为球面楔概率的评估,这些概率被识别为调和测度以及拉普拉斯-狄利克雷边值问题在原点的值。在此框架下,我们导出了累积分布函数和概率密度函数的精确有限样本表示,形式为贝塔函数,仅依赖于样本量和方差比。这些表示将Behrens-Fisher分布置于标准特殊函数形式中,可直接在广泛可用的商业软件(包括Microsoft Excel)中使用,从而便于分布评估和分位数计算。我们还得到了相关调和延拓及其阈值导数的Gegenbauer分离变量展开,系数为封闭的贝塔-伽马形式,并导出了具有显式首项常数和高阶修正的尖锐尾部分布展开。

英文摘要

We develop a partial differential equation formulation of the Behrens-Fisher problem for two independent normal samples with unknown and unequal variances. An orthogonal decomposition separates mean and residual components (corresponding to the centered within-sample variation left after removal of the mean directions) and recasts the studentized difference of sample means as a scale-invariant geometric constraint. This reduction transforms the distributional problem into the evaluation of spherical wedge probabilities, which are identified with harmonic measure and with the value at the origin of a Laplace-Dirichlet boundary value problem. From this framework, we derive exact finite-sample representations for the cumulative distribution function and the probability density function in terms of beta functions, with dependence only on the sample sizes and the variance ratio. These representations place the Behrens-Fisher law in a standard special-function form that is directly accessible in widely available commercial software -- including Microsoft Excel -- thereby facilitating distributional evaluation and quantile computation. We also obtain a Gegenbauer separation-of-variables expansion for the associated harmonic extension and its threshold derivative, with coefficients in closed Beta-Gamma form, and derive sharp tail expansions with explicit leading constants and higher-order corrections.

2606.19717 2026-06-19 math.CO 新提交

Counting triangles in graphs with no wheels of order at least five

不含阶至少为5的轮图的图中的三角形计数

Chunyang Dou, Bo Ning, Xing Peng

AI总结 研究不含阶至少为4的轮图的图中三角形的最大数量,确定了极值结构并刻画了所有极图。

Comments 14 pages

详情
AI中文摘要

对于图族 $\mathcal F$,若图 $G$ 不包含 $\mathcal F$ 中任何成员作为子图,则称 $G$ 是 $\mathcal F$-free 的。轮图 $W_k$ 是在一个 $k$ 圈上添加一个新顶点并连接该顶点到圈的所有顶点所构成的图,具有 $k+1$ 个顶点。给定整数 $k\ge 3$,我们考虑确定 $W_{\geq k}$-free 图中三角形的最大数量的问题,其中 $W_{\geq k}=\{W_\ell: \ell \geq k\}$。情况 $k=3$ 由 Gallai 提出,他对此情况提出了一个猜想(见 Erdős [5])。Gallai 的猜想被 Zhou [17] 以及独立地由 Füredi, Goemans 和 Kleitman [9] 反驳。在本文中,我们研究 $k=4$ 的情况。即,对于每个整数 $n\ge 3$,我们确定 $n$ 个顶点的 $W_{\geq 4}$-free 图中三角形的最大数量,并刻画所有极图。

英文摘要

For a family of graphs $\mathcal F$, a graph $G$ is said to be $\mathcal F$-free if it contains no member of $\mathcal F$ as a subgraph. A wheel graph $W_k$ is a graph on $k+1$ vertices formed by joining a new vertex to all vertices of a $k$-cycle. Given an integer $k\ge 3$, we consider the problem of determining the maximum number of triangles in a $W_{\geq k}$-free graph, where $W_{\geq k}=\{W_\ell: \ell \geq k\}$. The case $k=3$ was raised by Gallai, who proposed a conjecture for this case (see Erdős [5]. Gallai's conjecture was disproved by Zhou [17] and independently by Füredi, Goemans, and Kleitman [9]. In this paper, we study the case $k=4$. Namely, for every integer $n\ge 3$, we determine the maximum number of triangles in an $n$-vertex $W_{\geq 4}$-free graph and characterize all extremal graphs.

2606.19716 2026-06-19 math.NA cs.NA 新提交

A Gradient Recovery Method for Electron Magnetohydrodynamics with Fractional Dissipation

分数阶耗散的电子磁流体动力学梯度恢复方法

Hailong Guo, Ruimeng Hu, Qirui Peng, Xu Yang

AI总结 提出一种结构保持数值方法求解周期环面上带分数阶耗散的2.5维电子磁流体动力学系统,通过梯度恢复算子、半隐式能量稳定格式和显式Hall积分因子实现高效计算,数值实验验证了二阶空间收敛性和稳定Hall动力学。

详情
AI中文摘要

我们提出并分析了一种用于周期环面上带分数阶耗散的$2\ frac{1}{2}$维(2.5D)电子磁流体动力学系统的结构保持数值方法。该方法直接处理磁场分量,并将该分量公式与[T. Chu, H. Guo, and Z. Zhang, SIAM J. Numer. Anal., 63 (2025), pp. 23--53]中的梯度恢复算子相结合。我们为半隐式结构保持格式建立了离散能量稳定性,并使用显式Hall积分因子实现在周期网格上的高效计算。分数阶耗散在傅里叶空间中被精确处理,面内散度约束通过谱Hodge投影强制执行。数值实验在多个基准测试中展示了二阶空间收敛性和稳定的Hall驱动动力学。

英文摘要

We propose and analyze a structure-preserving numerical method for the $2\tfrac{1}{2}$-dimensional (2.5D) electron magnetohydrodynamics system with fractional dissipation on the periodic torus. The method works directly with the magnetic field components and combines this component formulation with the gradient recovery operator of [T. Chu, H. Guo, and Z. Zhang, SIAM J. Numer. Anal., 63 (2025), pp. 23--53]. We establish discrete energy stability for a semi-implicit structure-preserving formulation and use an explicit-Hall integrating-factor implementation for efficient computation on periodic grids. The fractional dissipation is treated exactly in Fourier space, and the in-plane divergence constraint is enforced by a spectral Hodge projection. Numerical experiments demonstrate second-order spatial convergence and stable Hall-driven dynamics across several benchmark tests.

2606.19713 2026-06-19 math.AP math.CV 新提交

The Cauchy-Dirichlet Problem for Complex Hessian Flows: From A Priori Estimates to Pluripotential Theory

复Hessian流的Cauchy-Dirichlet问题:从先验估计到多复势理论

Haoyuan Sun

AI总结 研究Hermitian流形和有界严格m-伪凸域上抛物复Hessian方程的Cauchy-Dirichlet问题,通过先验估计建立光滑解的存在唯一性,并发展退化右端项的势理论框架。

Comments 73 pages, comments are welcome!

详情
AI中文摘要

我们研究Hermitian流形和有界严格m-伪凸域上抛物复Hessian方程的Cauchy-Dirichlet问题。在光滑情形下,通过建立直到抛物边界的先验估计,我们在存在允许抛物子解的条件下证明了经典解的整体存在唯一性。这些估计将复Hessian方程的抛物边界技术与内部二阶估计及爆破论证相结合。然后,我们为具有L^p密度(p>n/m)和有界Cauchy-Dirichlet数据的退化右端项发展了一个一般的多复势框架。由于通常的自同构和Walsh型论证不能直接应用于变Hermitian背景,我们采用光滑数据逼近、balayage、抛物Perron包络以及基于Harvey-Lawson-Plis子方程理论的连续障碍逼近。所得解在正时间连续,关于时间局部一致Lipschitz和半凹,并且当初值连续时连续到初始切片。我们还通过时间正则化、Riemann和逼近和混合Hessian不等式证明了抛物比较原理。

英文摘要

We study the Cauchy--Dirichlet problem for parabolic complex Hessian equations on Hermitian manifolds and on bounded strictly m-pseudoconvex domains. In the smooth setting, we prove global existence and uniqueness of classical solutions under the presence of an admissible parabolic subsolution, by establishing a priori estimates up to the parabolic boundary. The estimates combine parabolic boundary techniques for complex Hessian equations with interior second order estimates and a blow-up argument. We then develop a general pluripotential framework for degenerate right-hand sides with L^p densities, p>n/m, and bounded Cauchy--Dirichlet data. Since the usual automorphism and Walsh-type arguments do not directly apply in a variable Hermitian background, we use approximation by smooth data, balayage, parabolic Perron envelopes, and a continuous obstacle approximation based on Harvey--Lawson--Plis subequation theory. The resulting solution is continuous for positive time, locally uniformly Lipschitz and semi-concave in time, and continuous up to the initial slice when the initial datum is continuous. We also prove a parabolic comparison principle via time regularization, Riemann sum approximations, and mixed Hessian inequalities.

2606.19708 2026-06-19 math.QA math.RT 新提交

Geometric realization of affine bases: the Kronecker quiver case

仿射基的几何实现:Kronecker箭图情形

Yumeng Wu, Jie Xiao

AI总结 本文从几何角度研究Kronecker箭图量子包络代数负部分中PBW基与标准基之间的转移矩阵,通过旗层复形构造PBW基元素的几何实现,并证明转移系数由交上同调复形限制到小子层的局部系统重数决定。

详情
AI中文摘要

本文从几何角度研究Kronecker箭图量子包络代数负部分中PBW基与标准基之间的转移矩阵。基于Lusztig对标准基的几何构造,我们通过表示簇的层$X(\alpha,m)$上的旗层复形构造了PBW基元素的层-复形实现。我们的第一个目标是给出这些旗层复形限制到层$X(\alpha,m)$时出现的简单组成的几何描述。这使我们能够将PBW型层复形与Lusztig构造中出现的简单反常层$IC(X(\alpha),L_\chi)$进行比较。利用这一描述以及相关$\mathbb{F}_q$结构的纯度结果,我们得到了Lusztig反常层所定义的元素确实构成合成代数基的另一个证明。第二个目标是使PBW基与标准基之间的转移系数几何显式化。更精确地说,我们证明这些系数由交上同调复形限制到更小子层时局部系统的重数决定。因此,从标准基到PBW基的转移矩阵是上三角的,对角元为$1$,且其系数具有直接的几何解释。特别地,在Kronecker箭图情形,我们恢复了转移矩阵的三角性,并得到了相应系数多项式的正性性质。

英文摘要

In this paper, we study the transition matrix between the PBW basis and the canonical basis for the negative part of the quantized enveloping algebra of the Kronecker quiver from a geometric viewpoint. Building on Lusztig's geometric construction of the canonical basis, we construct sheaf-complex realizations of PBW basis elements by means of flag sheaf complexes over the strata $X(α,m)$ of representation varieties. Our first goal is to give a geometric description of the simple constituents appearing in the restrictions of these flag sheaf complexes to the strata $X(α,m)$. This allows us to compare the PBW-type sheaf complexes with the simple perverse sheaves $IC(X(α),L_χ)$ arising in Lusztig's construction. Using this description together with a purity result for the relevant $\mathbb{F}_q$-structures, we obtain another proof that the elements defined by Lusztig's perverse sheaves indeed form a basis of the composition algebra.Our second goal is to make the transition coefficients between the PBW basis and the canonical basis geometrically explicit. More precisely, we show that these coefficients are governed by the multiplicities of local systems in the restrictions of intersection cohomology complexes to smaller strata. As a consequence, the transition matrix from the canonical basis to the PBW basis is upper triangular with diagonal entries equal to $1$, and its coefficients admit a direct geometric interpretation. In particular, in the Kronecker quiver case we recover the triangularity of the transition matrix and obtain positivity properties of the corresponding coefficient polynomials.

2606.19707 2026-06-19 math.LO 新提交

Axiomatic Justification in Constructive Morse Set Theory

构造性莫尔斯集合论中的公理化辩护

Douglas S. Bridges

AI总结 在构造性莫尔斯集合论中引入新概念jst Pp的公理,以捕捉BHK解释下P证明或辩护p的含义,并推导其与直觉主义逻辑公理的一致性。

详情
AI中文摘要

在构造性莫尔斯集合论(CMST)中,我们引入了一个新概念jst Pp的公理,旨在捕捉在直觉主义逻辑的BHK解释下,P证明或辩护p的含义。由于CMST不区分项和公式——每个项也是公式,反之亦然——它非常适合我们在集合论内部进行辩护理论的公理化发展。在陈述了jst Pp的公理之后,我们推导出许多推论。特别地,我们证明了(在特定限制下)我们的jst Pp公理与直觉主义逻辑公理的预期BHK解释一致。

英文摘要

Working within Constructive Morse Set Theory (CMST), we introduce axioms for a new notion, jst Pp, intended to capture what it means for P to prove, or justify, p under the BHK interpretation of intuitionistic logic. Since it makes no distinction between terms and formulae -- every term is also a formula, and vice versa -- CMST is well suited to our axiomatic development of justification theory within set theory itself. After stating our axioms for jst Pp, we derive many consequences thereof. In particular, we show that (with certain restrictions) our axioms for jst Pp align with the intended BHK interpretations of the axioms of intuitionistic logic.

2606.19705 2026-06-19 math.OC 新提交

Stochastic Representations of Stationary HJBI-Type Variational Inequalities with Bilateral Constraints

双边约束下平稳HJBI型变分不等式的随机表示

Sheng Huang, Qingmeng Wei

AI总结 本文通过增广无限时域二人零和随机微分博弈和混合控制-停止博弈,给出了双边约束下平稳HJBI型变分不等式的两种随机表示,并证明了值函数是相应变分不等式的唯一有界粘性解。

详情
AI中文摘要

本文研究了双边约束下平稳HJBI型变分不等式的概率表示。我们提供了两种互补的随机表示。第一种表示通过增广无限时域二人零和随机微分博弈获得。通过用两个额外的停止符号扩大控制空间,障碍项被纳入运行收益。利用无限时域随机递归微分博弈的框架,我们证明了所得的下值和上值函数是相应HJBI变分不等式的唯一有界粘性解。第二种表示由二人零和混合控制-停止随机微分博弈给出。在该公式中,每个玩家同时选择连续控制和停止决策,收益由具有随机终止时间的BSDE定义。为了使停止分量与Elliott-Kalton策略框架兼容,我们引入了依赖于对手控制过程的非预期停止策略。证明基于带自身值函数的惩罚无限时域随机微分博弈,结合动态规划论证和后向半群的稳定性估计。我们证明了混合控制-停止博弈的值函数与双边HJBI变分不等式的唯一有界粘性解一致。

英文摘要

In this paper, we study probabilistic representations for stationary HJBI-type variational inequalities with bilateral constraints. We provide two complementary stochastic representations.The first representation is obtained through an augmented infinite-horizon two-player zero-sum stochastic differential game (SDG). By enlarging the control spaces with two additional stopping symbols, the obstacle terms are incorporated into the running payoff. Using the framework of infinite-horizon stochastic recursive differential games, we show that the resulting lower and upper value functions are the unique bounded viscosity solutions of the corresponding HJBI variational inequalities. The second representation is given by a two-player zero-sum mixed control--stopping SDG. In this formulation, each player chooses both a continuous control and a stopping decision, and the payoff is defined by a BSDE with a random terminal time. To make the stopping component compatible with the Elliott--Kalton strategy framework, we introduce nonanticipative stopping strategies depending on the opponent's control process. The proof is based on penalized infinite-horizon SDGs coupled with their own value functions, together with dynamic programming arguments and stability estimates for backward semigroups. We prove that the value functions of the mixed control--stopping game coincide with the unique bounded viscosity solutions of the bilateral HJBI variational inequalities.

2606.19702 2026-06-19 cs.IT math.IT 新提交

Parity Selection Rule for Information and Dissipation in Driven Steady States

驱动稳态中信息与耗散的宇称选择规则

Mengqi Li, Lixin Li, Wensheng Lin, Zhu Han

AI总结 针对旋转驱动线性非平衡稳态,发现宇称选择规则禁止信息与熵产之间的严格等式,并给出宇称破坏的线性依赖关系及平面互信息的闭式解。

Comments 13 pages, 2 figures (Main text: 6 pages, 2 figures; Supplementary Material: 7 pages)

详情
AI中文摘要

驱动稳态中对称信息与熵产之间的严格等式仍然难以捉摸。我们证明,对于旋转驱动的线性非平衡稳态,宇称选择规则禁止此类等式。当弛豫矩阵和扩散矩阵对易时,两个时间切片之间的快照互信息在驱动反转下恰好是偶函数,而当对齐被破坏时,宇称破坏随对易子范数线性增长。完全各向同性将这一性质强化为驱动无关性,平面互信息取约0.145 nats的闭式值。在相同对齐条件下,熵产精确为驱动的二次函数,其前因子以两个矩阵的迹和行列式给出显式闭式形式。偶宇称与奇宇称部分的正交性仅留下单边热力学不确定度界限。该规则仅依赖于漂移的旋转对称性,并适用于尾部指数低于2的重尾各向同性稳定噪声,此时基于方差的界限失效。提出了一个可证伪的测试:在电布朗回转器上增加独立驱动控制,并注入电路级稳定噪声。

英文摘要

Tight equalities between symmetric information and entropy production in driven steady states remain elusive. We show that they are forbidden by a parity selection rule for rotation-driven linear nonequilibrium steady states. Whenever the relaxation and diffusion matrices commute, the snapshot mutual information between two time slices is exactly even under drive reversal, and parity violation rises linearly in the commutator norm when alignment is broken. Full isotropy strengthens this to drive-independence, and the planar mutual information takes the closed-form value of about 0.145 nats. Under the same alignment, the entropy production is exactly quadratic in the drive, and its prefactor admits an explicit closed form in the traces and determinant of the two matrices. The orthogonality of even and odd sectors leaves only one-sided thermodynamic-uncertainty bounds. The rule rests on the rotational symmetry of the drift alone and survives heavy-tailed isotropic stable noise with tail index below two, where variance-based bounds become vacuous. A falsifiable test is proposed on an electrical Brownian gyrator augmented for independent drive control with circuit-level stable-noise injection.

2606.19696 2026-06-19 math.CO 新提交

Two-colored generalized Frobenius partitions and minimal-excludant sums over bipartitions

双色广义Frobenius划分与双划分的最小排除和

Rong Chen, Kang-Yu Wang, Yi-ning Wang

AI总结 研究两种双色Frobenius划分的计数,通过组合证明将其与双划分的最小排除统计量之和及相等情况联系起来。

详情
AI中文摘要

设$\cpsi_{2,a}(n)$表示权重为$n$的$(2,a)$-色Frobenius划分的个数,其中两行具有指定的长度差。我们研究$a=0$和$a=1$两种情况,并将它们与双划分上的最小排除统计量联系起来。设$\sigma\mex_2(n)$是$n$的所有双划分的Lin-Liu双划分最小排除数之和,并设$E_2(n)$是两个分量最小排除数相等的双划分的个数。对于所有$n\geq 0$,我们给出了以下等式的组合证明:\\[ \cpsi_{2,0}(n)=2\sigma\mex_2(n) \qquad\text{和}\qquad \cpsi_{2,1}(n)=2\sigma\mex_2(n)-E_2(n). \\] 这些恒等式给出了双色Frobenius划分函数在双划分最小排除和方面的直接组合解释。

英文摘要

Let $\cpsi_{2,a}(n)$ denote the number of $(2,a)$-colored Frobenius partitions of weight $n$, where the two rows have prescribed length difference. We study the two cases $a=0$ and $a=1$ and connect them with minimal-excludant statistics on bipartitions. Let $σ\mex_2(n)$ be the sum of the Lin--Liu bipartition minimal excludants over all bipartitions of $n$, and let $E_2(n)$ be the number of bipartitions whose two component minimal excludants are equal. For all $n\geq 0$, we give a combinatorial proof of \[ \cpsi_{2,0}(n)=2σ\mex_2(n) \qquad\text{and}\qquad \cpsi_{2,1}(n)=2σ\mex_2(n)-E_2(n). \] These identities give direct combinatorial interpretations of two-colored Frobenius partition functions in terms of bipartition minimal-excludant sums.

2606.19691 2026-06-19 math.QA math.RT 新提交

Twisted quantum loop algebras via semi-derived Ringel-Hall algebras

通过半导出Ringel-Hall代数构造扭量子环代数

Ming Lu, Shiquan Ruan

AI总结 利用更一般加权射影直线的半导出Ringel-Hall代数,实现了与赋值星形图相关的扭量子环代数,包括Drinfeld新展示中的扭量子仿射代数。

Comments 42 pages

详情
AI中文摘要

扭量子环代数是Drinfeld新展示中扭量子仿射代数的推广。Schiffmann和Dou--Jiang--Xiao利用Geigle--Lenzing加权射影直线的Hall代数实现了与星形图相关的单边型(未扭)量子环代数。本文使用更一般加权射影直线的半导出Ringel-Hall代数,实现了与赋值星形图相关的扭量子环代数,包括Drinfeld新展示中的扭量子仿射代数。

英文摘要

Twisted quantum loop algebras are a generalization of twisted quantum affine algebras in Drinfeld new presentation. The Hall algebras of Geigle--Lenzing's weighted projective lines are used to realize (untwisted) quantum loop algebras of simply-laced type associated to star-shaped graphs by Schiffmann and Dou--Jiang--Xiao. In this paper, we use the semi-derived Ringel-Hall algebras of more general weighted projective lines to realize the twisted quantum loop algebras associated to the valued star-shaped graphs, including the twisted quantum affine algebras in Drinfeld new presentation.

2606.19681 2026-06-19 math.DS 新提交

A Moment-Based Eulerian Method for Variance-Based Finite-Time Lyapunov Exponent Computation in Stochastic Flows

基于矩的欧拉方法用于随机流中基于方差的有限时间李雅普诺夫指数计算

Shingyu Leung

AI总结 提出一种基于矩的欧拉近似方法,通过推导闭合协方差方程并嵌入物理空间,高效计算随机流中的方差型有限时间李雅普诺夫指数,避免了逐点求解Fokker-Planck方程的高成本。

详情
AI中文摘要

基于方差的有限时间李雅普诺夫指数(vFTLEs)通过测量随机到达位置的协方差,提供了确定性FTLE的随机类比。现有的基于PDF的公式通过为每个初始点求解Fokker-Planck方程来计算该协方差,当需要在密集网格上计算该诊断量时,计算成本高昂。在这项工作中,我们开发了一种在小噪声条件下基于矩的欧拉近似方法用于vFTLE。从确定性流周围的随机轨迹展开出发,我们推导了主导随机位移的闭合协方差方程。通过将该轨迹协方差动力学嵌入物理空间,我们得到了对称协方差张量场的欧拉输运-反应方程。每个初始点对应的协方差通过在该张量场的确定性到达位置处求值恢复,然后从其最大特征值定义基于矩的vFTLE。所提出的方法用单个协方差张量场的演化替代了一族Fokker-Planck求解,在$d$维空间中仅需$d(d+1)/2$个标量场。它还通过协方差张量的特征向量保留了方向信息,使得随机扩散的主导方向可视化。我们建立了该方法在小噪声极限下与基于PDF的vFTLE的领先阶一致性,阐明了其与标量随机敏感性的关系,并展示了相同的协方差方程如何将过程噪声扩散与确定性变形联系起来。特别地,当没有过程噪声时,确定性FTLE(加上一个常数)可以从各向同性初始协方差恢复,而连续过程噪声则产生时间积分的变形协方差。

英文摘要

Variance-based finite-time Lyapunov exponents (vFTLEs) provide a stochastic analogue of deterministic FTLE by measuring the covariance of stochastic arrival locations. Existing PDF-based formulations compute this covariance by solving a Fokker--Planck equation for each initial point, which becomes expensive when the diagnostic is required on a dense grid. In this work, we develop a moment-based Eulerian approximation to vFTLE in the small-noise regime. Starting from a stochastic trajectory expansion about the deterministic flow, we derive a closed covariance equation for the leading stochastic displacement. By embedding this trajectory-wise covariance dynamics into physical space, we obtain an Eulerian transport--reaction equation for a symmetric covariance tensor field. The covariance associated with each initial point is recovered by evaluating this tensor field at the deterministic arrival location, and a moment-based vFTLE is then defined from its largest eigenvalue. The proposed method replaces a family of Fokker--Planck solves by the evolution of a single covariance tensor field, requiring only $d(d+1)/2$ scalar fields in $d$ dimensions. It also retains directional information through the eigenvectors of the covariance tensor, allowing the dominant directions of stochastic spreading to be visualized. We establish the leading-order consistency of the method with PDF-based vFTLE in the small-noise limit, clarify its relation to scalar stochastic sensitivity, and show how the same covariance equation connects process-noise spreading with deterministic deformation. In particular, deterministic FTLE is recovered, up to an additive constant, from an isotropic initial covariance when no process noise is present, while continuous process noise produces a time-integrated deformation covariance.

2606.19677 2026-06-19 math.NT math.CO 新提交

Randomly piercing algebraic sets

随机穿刺代数集

Daniel Altman, Nathan Tung

AI总结 本文研究了在有限域上随机采样点以几乎必然与所有低次代数集相交的最小数量,给出了精确阈值,并应用于改进随机Szemerédi定理的下界。

Comments 20 pages

详情
AI中文摘要

我们证明,例如,如果在$\mathbb{F}_p^n$中随机采样\\[\frac{\log p}{2\log(1+(p-1)^{-1})} \cdot n^2(1 + o_{n\to \infty}(1))\\]个点,则当$n\to\infty$时,几乎必然地这个点集与每个二次超曲面相交。此外,我们证明这是紧的,即采样少$o_{n\to\infty}(n^2)$个点几乎必然无法与某个二次超曲面相交。我们的主要结果是以下问题的尖锐阈值:在$\mathbb{F}_p^n$中需要随机采样多少个点才能几乎必然地与每个由至多$s$个多项式(每个多项式次数至多为$k$)定义的代数集相交?作为应用,我们改进了$\mathbb{F}_p^n$中随机Szemerédi定理的下界,特别地,得到了一个主常数,该常数随着Szemerédi定理中“稠密”集合的阈值缩小而增长。

英文摘要

We show, for example, that if one samples \[\frac{\log p}{2\log(1+(p-1)^{-1})} \cdot n^2(1 + o_{n\to \infty}(1))\] points in $\mathbb{F}_p^n$ at random then asymptotically almost surely this set intersects every quadratic hypersurface. We furthermore show that this is tight in that sampling $o_{n\to\infty}(n^2)$ fewer points almost surely fails to intersect some quadratic hypersurface. Our main result is a sharp threshold for the following problem: how many points in $\mathbb{F}_p^n$ does one need to randomly sample to almost surely intersect every algebraic set defined by at most $s$ polynomials each of degree at most $k$? As an application we improve lower bounds in the random Szemerédi theorem in $\mathbb{F}_p^n$, in particular obtaining a leading constant which grows as the threshold for what is considered a `dense' set in Szemerédi's theorem shrinks.

2606.19669 2026-06-19 math.OC cs.SY eess.SY 新提交

Learning Neural Maximal Lyapunov Functions on $\mathsf{SO}(n)$

在 $\mathsf{SO}(n)$ 上学习神经最大李雅普诺夫函数

Adeel Akhtar, Matthieu Barreau

AI总结 提出基于对数映射的神经李雅普诺夫架构,通过Zubov型表征学习最大吸引域,并推导对数映射导数的显式公式,实现两阶段训练算法。

Comments Accepted to IEEE Control Systems Letters (L-CSS), 6 pages, 2 figures,

详情
AI中文摘要

为李群上的动力系统建立稳定性保证是一个基本挑战,因为为欧几里得空间开发的经典李雅普诺夫方法不能直接转移到弯曲几何上。在本文中,我们提出了一个框架,用于学习在特殊正交群 $\mathsf{SO}(n)$ 上演化的系统的最大李雅普诺夫函数。理论上,我们引入了一种基于对数映射的神经李雅普诺夫架构,具有可证明的逼近能力,并通过最大吸引域的Zubov型表征来形式化学习问题。一个关键的技术贡献是推导了对数映射导数的显式、数值可处理的公式,使得通过一个平衡计算效率和精度的两阶段算法进行训练成为可能。实证上,我们在一个低维非线性系统上验证了该方法。

英文摘要

Establishing stability guarantees for dynamical systems on Lie groups is a fundamental challenge, as classical Lyapunov methods developed for Euclidean spaces do not directly transfer to curved geometries. In this paper, we propose a framework for learning maximal Lyapunov functions for systems evolving on the special orthogonal group $\mathsf{SO}(n)$. Theoretically, we introduce a neural Lyapunov architecture based on the logarithmic map with proven approximation capabilities, and we formulate the learning problem via a Zubov-type characterization of the maximal region of attraction. A key technical contribution is the derivation of explicit, numerically tractable formulas for the derivative of the logarithmic map, enabling training through a two-phase algorithm that balances computational efficiency and accuracy. Empirically, we validate the approach on a low-dimensional nonlinear system.

2606.19663 2026-06-19 math.OC math.PR 新提交

Counterexample to a conjecture on the pairwise independent correlation gap using AI

利用AI对成对独立相关间隙猜想的反例

Arjun Ramachandra, Karthik Natarajan

AI总结 借助AI工具GPT5.5 Pro,构造了一个反例,反驳了Ramachandra和Natarajan(2025)关于成对独立相关间隙的猜想。

详情
AI中文摘要

借助AI工具GPT5.5 Pro,我们为Ramachandra和Natarajan(2025)[成对独立相关间隙,Operations Research Letters, 107255, 6040]提出的一个猜想提供了一个反例。

英文摘要

Aided by the AI tool GPT5.5 Pro, we provide a counterexample to a conjecture made by Ramachandra and Natarajan (2025) [Pairwise independent correlation gap, Operations Research Letters, 107255, 6040].

2606.19650 2026-06-19 math.AP 新提交

A Capacitary Approach to Semilinear Elliptic Inequalities with Potentials on Weighted Graphs

加权图上带势的半线性椭圆不等式的容量方法

Mohamed Jleli, Bessem Samet

AI总结 通过容量方法研究加权图上带势的半线性椭圆不等式非平凡非负解的不存在性,利用H-拉普拉斯算子转化势项,提出基于截断函数及其H-拉普拉斯控制区域的判据,并证明条件的尖锐性。

详情
AI中文摘要

我们发展了一种容量方法来处理加权图上带势的半线性椭圆不等式。更精确地说,我们研究如下方程的非平凡非负解的不存在性:\\[ \Delta u+w(x)u+v(x)u^\sigma\le0 \qquad\text{在 }V \text{中}, \\] 其中 \\((V,\omega,\mu)\\) 是一个连通、局部有限的加权图,\\(\Delta\\) 是关联的图拉普拉斯算子,\\(\sigma>1\\),\\(v>0\\),\\(w\\) 是一个实值势。势项通过一个正解 \\(H\\) 处理,该解满足 \\(\Delta H+wH=0\\),它将算子 \\(\Delta+w\\) 转化为与新加权图关联的 \\(H\\)-拉普拉斯算子。我们的主要不存在性判据直接以截断函数及其 \\(H\\)-拉普拉斯算子受控的区域来表述。与基于伪度量环的度量准则不同,我们的表述从截断函数的 \\(H\\)-拉普拉斯估计的支持集确定容量集。我们提供了一个例子,表明我们的结果适用于先前基于结构下界或伪度量环体积估计的不存在性判据未覆盖的情形。我们还通过构造一个例子,其中条件以任意幂次 \\(R^\varepsilon\\) 失败,而存在一个正的非平凡解,证明了容量条件中增长指数的尖锐性。

英文摘要

We develop a capacitary approach to semilinear elliptic inequalities on weighted graphs with a potential. More precisely, we study the nonexistence of nontrivial nonnegative solutions of \[ Δu+w(x)u+v(x)u^σ\le0 \qquad\text{in }V, \] where \((V,ω,μ)\) is a connected, locally finite weighted graph, \(Δ\) is the associated graph Laplacian, \(σ>1\), \(v>0\), and \(w\) is a real-valued potential. The potential term is handled by means of a positive solution \(H\) of \(ΔH+wH=0\), which transforms the operator \(Δ+w\) into the \(H\)-Laplacian associated with a new weighted graph. Our main nonexistence criterion is formulated directly in terms of cut-off functions and the regions where their \(H\)-Laplacian is controlled. Unlike metric criteria based on pseudo-metric annuli, our formulation determines the capacitary sets from the support of the \(H\)-Laplacian estimates for the cut-off functions. We provide an example showing that our result applies in situations not covered by previous nonexistence criteria based on structural lower bounds or pseudo-metric annular volume estimates. We also show that the growth exponent in our capacitary condition is sharp by constructing an example for which the condition fails by an arbitrary power \(R^\varepsilon\), while a positive nontrivial solution exists.

2606.19648 2026-06-19 math.NA cs.NA 新提交

Explicit Fourier Integrator for the Periodic dNLS via Gauge Transformation: Low-Regularity Estimates in Discrete Bourgain Spaces

通过规范变换的周期dNLS显式傅里叶积分器:离散Bourgain空间中的低正则性估计

Lun Ji, Hang Li, Alexander Ostermann, Gangfan Zhong

AI总结 针对周期导数非线性薛定谔方程,提出一种过滤显式傅里叶积分器,通过规范变换和离散Bourgain空间框架,证明在H^{1/2}范数下误差阶为O(τ^{s/2-1/4}),适用于s>1/2的初始数据。

Comments 31 pages, 6 figures

详情
AI中文摘要

导数非线性薛定谔方程是描述非线性色散波传播的基本模型,例如在等离子体物理和非线性光学中。本文考虑一维环面上的该模型,并研究对应的周期问题的过滤显式傅里叶积分器。在应用周期规范变换后,我们考虑一个频率截断模型及其过滤指数-欧拉离散化。主要困难来自周期设置中的导数三次非线性,因为局部光滑性不可用且共振相互作用比非周期情况更强。为解决此问题,我们开发了一个适应规范变换方程的离散Bourgain空间框架。对于初始数据$u_0 \in H^s(\mathbb{T})$,$1/2 < s \le 5/2$,我们证明数值误差在$H^{1/2}(\mathbb{T})$中为$\mathcal{O}(\tau^{s/2-1/4})$阶,其中$\tau$表示所采用的时间步长。数值实验证实了预测的收敛行为,并展示了过滤方案对于粗糙解的有效性。

英文摘要

The derivative nonlinear Schrödinger equation is a fundamental model for the propagation of nonlinear dispersive waves in, for example, plasma physics and nonlinear optics. In this work, we consider this model on the one-dimensional torus and study a filtered explicit Fourier integrator for the corresponding periodic problem. After applying a periodic gauge transformation, we consider a frequency-truncated model and its filtered exponential-Euler discretization. The main difficulty comes from the derivative cubic nonlinearity in the periodic setting, since local smoothing is unavailable and resonant interactions are stronger than in the non-periodic case. To address this issue, we develop a discrete Bourgain-space framework adapted to the gauge-transformed equation. For initial data $u_0 \in H^s(\mathbb{T})$ with $1/2 < s \le 5/2$, we prove that the numerical error is of order $\mathcal{O}(τ^{s/2-1/4})$ in $H^{1/2}(\mathbb{T})$, where $τ$ denotes the employed time step size. Numerical experiments confirm the predicted convergence behavior and demonstrate the effectiveness of the filtered scheme for rough solutions.

2606.19645 2026-06-19 math.DS math.MG 新提交

Renormalisation techniques for inflation systems and some of their applications

膨胀系统重整化技术及其一些应用

Michael Baake, Franz Gähler, Anna Klick, Neil Mañibo, Jan Mazáč

AI总结 综述膨胀系统的精确重整化技术,展示如何通过重整化原理获得高度不规则函数的精确值,并应用于计算新单瓷砖铺砌的衍射图样,同时讨论纯点谱系统的轨道分离维数及其与重整化的关系。

Comments 19 pages, Summary of renormalisation-based results. Contribution to the Proceedings of the 16th International Conference on Quasicrystals (ICQ), (Nancy, 2025)

Journal ref Acta Cryst. A82 (2026)

详情
AI中文摘要

精确重整化技术对于膨胀生成的系统尤为重要且强大。我们回顾了该方向的最新结果。我们回顾了膨胀系统的必要概念,并展示了重整化原理,该原理允许我们获得高度不规则函数(如窗口协方差图)的精确值。我们将这些技术应用于以任意精度计算新单瓷砖铺砌的衍射图样。我们还回顾了纯点谱系统的一个近期不变量——轨道分离维数,及其与重整化的关系。最后,我们回顾了超出纯点谱设置的结果,并展示了如何使用重整化和李雅普诺夫指数来排除谱中绝对连续部分的存在。

英文摘要

Exact renormalisation techniques are important and powerful, particularly for inflation-generated systems. We review recent results in this direction. We recall the necessary notions for inflation systems and show the renormalisation principle, which allows us to obtain exact values of highly erratic functions, such as window covariograms. We apply these techniques to compute the diffraction pattern of the new monotile tilings with arbitrary precision. We also recall a recent invariant for system with pure-point spectrum, the orbit separation dimension, and its relation to renormalisation. Lastly, we recall results beyond the pure-point spectrum setting and show how renormalisation and Lyapunov exponents can be used to exclude the presence of absolutely continuous part of the spectra.

2606.19639 2026-06-19 math.OC 新提交

Mean-Field Control with a Common Hidden State under Decentralized Observations

分散观测下具有共同隐藏状态的均值场控制

Erhan Bayraktar, Ali D. Kara

AI总结 研究多个决策者通过相同信道接收分散观测并共享隐藏状态的最优控制问题,通过均值场极限简化为单代理控制问题,证明了随机化控制的必要性并建立了有限人口问题的近似最优收敛率。

详情
AI中文摘要

我们研究具有多个决策者的系统的最优控制,这些决策者共享一个共同的隐藏状态,并通过相同的信道接收完全分散的观测。隐藏状态的动态和代理产生的成本仅通过其经验分布依赖于代理的动作。在具有无限多个代理的极限问题中,问题简化为单代理控制问题,其中代理通过给定隐藏状态过程过去值的动作条件律影响隐藏状态动态。我们将该问题表述为策略空间上的确定性测度值控制问题,并给出动态规划递归。我们首先证明,对于极限问题,控制动作的随机化对于最优性是必要的。然而,策略选择的随机化(即混合策略)是不需要的。然后我们证明,为无限人口问题设计的最优对称策略对于有限人口问题是近似最优的。特别地,我们建立了收敛速率,该速率随代理数量以 $\frac{1}{\sqrt{N}}$ 衰减,并随策略中使用的记忆长度指数增长。

英文摘要

We study optimal control of a system with multiple decision makers who share a common hidden state and receive fully decentralized observations through identical channels. The dynamics of the hidden state and the cost incurred by the agents depend on the agents' actions only through their empirical distribution. In the limit problem with infinitely many agents, the problem reduces to a single agent control problem where the agent affects the hidden state dynamics via the conditional law of the actions given the past values of the hidden state process. We formulate this problem as a deterministic measure valued control problem over the space of policies and provide a dynamic programming recursion. We first show that for the limiting problem randomization over the control actions is necessary for optimality. However, randomization over the selection of policies (i.e., mixture policies) is not required. We then show that the optimal symmetric policies designed for the infinite population problem are near optimal for the finite population problem. In particular, we establish convergence rates that decay with number of agents as $\frac{1}{\sqrt{N}}$, and grow exponentially with the memory length used in the policy.

2606.19634 2026-06-19 math.AP 新提交

Scattering for the 4D Zakharov system below the ground state

四维Zakharov系统在基态以下的散射

Timothy Candy, Kenji Nakanishi

AI总结 研究四维Zakharov系统在基态势阱内所有能量空间解的全局存在性与散射,通过排除预紧解完成证明。

详情
AI中文摘要

对于四维空间中的Zakharov系统,我们证明了在基态势阱内的所有解在能量空间中是全局存在的且具有散射性质,无需对称性等其他限制。证明已由[3]简化为排除沿某轨迹预紧的最小非散射解的存在性。本文完成了证明的最后一步,即通过结合两种依赖于轨迹运动的论证,排除了势阱内预紧解的可能性。

英文摘要

For the Zakharov system in four space dimensions, we prove that all solutions inside the potential well of the ground states are global and scattering in the energy space, with no other restriction such as symmetry. The proof has already been reduced by [3] to ruling out the existence of a minimal non-scattering solution that is precompact along some trajectory. This paper carries out the final step in the proof, namely we exclude the possibility of precompact solutions inside the potential well by combining two distinct arguments depending on the motion of trajectory.

2606.19631 2026-06-19 math.AP 新提交

Optimal transport of signed fractal measures with dimensional distortion: a variational characterization

带维度扭曲的有符号分形测度的最优输运:变分刻画

Bwo'nyahre Baidi Barthelemy, Kouakep Tchaptchie Yannick, Houpa Danga Duplex Elvis

AI总结 本文扩展了有符号测度的最优输运理论,通过引入惩罚项控制源和目标之间分形支撑的豪斯多夫维度扭曲,证明了最优输运映射的存在唯一性、推广的Monge-Ampère方程以及双Legendre-Fenchel变分刻画。

Comments We extended optimal transport for signed fractal measures to controlled dimensional distortion, establishing a well-posed penalized problem with a unique map~$T^{\varepsilon}$ for~$\varepsilon \in (0, \varepsilon_{\max})$ and coupled Monge--Ampère equations. Future work will optimize~$\varepsilon$, assess window-size consistency, and test sensitivity to gradual versus abrupt dimension shifts

详情
AI中文摘要

我们将支撑在Ahlfors正则分形集上的有符号测度的最优输运理论(Bwo'Nyahre等,2026)扩展到允许源和目标之间存在受控的维度扭曲。在符号间区域,输运成本中加入惩罚项$\varepsilon \Phi(d_s(x) - d_t(y))$,其中$\Phi$是固定的光滑严格凸函数,$d_s, d_t$是分形支撑的局部豪斯多夫维度,$\varepsilon \ge 0$控制扭曲容忍度。在假设H1-H7下,我们证明:对于每个$\varepsilon > 0$,存在唯一的最优输运映射$T^{\varepsilon}$;带有扭曲修正项的耦合Monge-Ampère方程,推广了经典的Brenier-Caffarelli方程;最优势函数的双Legendre-Fenchel刻画,给出了四个符号区域中每个区域输运的完整变分描述。双Legendre-Fenchel系统(定理4.2)是核心贡献:它表明最优势函数是共轭方程组(每个输运区域一个)的唯一不动点,并为数值算法和渐近分析提供了基础。

英文摘要

We extend the optimal transport theory for signed measures supported on Ahlfors-regular fractal sets (Bwo'Nyahre et al., 2026) to allow a controlled dimensional distortion between source and target. A penalization term $\varepsilon Φ(d_s(x) - d_t(y))$ -- where $Φ$ is a fixed smooth strictly convex function and $d_s, d_t$ are the local Hausdorff dimensions of the fractal supports -- is added to the transport cost on inter-sign regions, with~$\varepsilon \ge 0$ controlling the tolerance for distortion. Under hypotheses H1--H7, we prove: the existence and uniqueness of an optimal transport map~$T^{\varepsilon}$ for every~$\varepsilon > 0$; coupled Monge--Ampère equations with a distortion correction term, generalizing the classical Brenier--Caffarelli equation; a double Legendre--Fenchel characterization of the optimal potentials, giving a complete variational description of the transport in each of the four sign regimes. The double Legendre--Fenchel system (Theorem~4.2) is the central contribution: it shows that the optimal potentials are the unique fixed points of a system of conjugacy equations, one per transport regime, and it provides the foundation for numerical algorithms and asymptotic analysis.

2606.19622 2026-06-19 math.QA math.RT 新提交

One-point functions for $C_2$-cofinite VOAs: pseudo-traces and trace spaces of projective modules

关于 $C_2$-共有限顶点算子代数的一点函数:伪迹与投射模的迹空间

Max-Niklas Steffen

AI总结 通过将环面上的一点函数空间与顶点算子代数表示范畴中投射对象的迹对象关联,利用Arike-Nagatomo伪迹证明Gainutdinov-Runkel映射的满射性,并在分离共形权模$\mathbb{Z}$条件下证明单射性。

Comments 25 pages

详情
AI中文摘要

我们通过将环面上的一点函数空间与顶点算子代数 $V$ 的表示范畴中投射对象的子范畴的迹对象相关联,研究了一个可能非有理的 $C_2$-共有限顶点算子代数 $V$ 的一点函数空间。我们将迹空间的对偶与投射生成子的自同态代数 $E$ 上的对称函数等同起来。受 Gainutdinov-Runkel 猜想(最近由 Gui 和 Zhang 用不同方法建立)的启发,我们提出了一种基于 Arike-Nagatomo 伪迹的互补表示论方法。在此框架下,我们证明了从 $E$ 上的对称函数到一点函数的 Gainutdinov-Runkel 映射的满射性。在分离共形权模 $\mathbb{Z}$ 的额外假设下,我们还利用受 Huang 启发的投射覆盖技术证明了单射性。

英文摘要

We study the space of one-point functions on the torus for a possibly nonrational $C_2$-cofinite vertex operator algebra $V$ by relating it to a trace object of the subcategory of projective objects in the representation category of $V$. We identify the dual of the trace space with symmetric functions on the endomorphism algebra $E$ of a projective generator. Motivated by the Gainutdinov-Runkel conjecture, recently established using different methods by Gui and Zhang, we present a complementary representation-theoretic approach based on Arike-Nagatomo pseudo-traces. In this framework, we prove surjectivity of the Gainutdinov-Runkel map from symmetric functions on $E$ to one-point functions. Under the additional assumption of separated conformal weights modulo $\mathbb{Z}$, we also prove injectivity, using projective-cover techniques inspired by Huang.

2606.19621 2026-06-19 math.AP 新提交

Regularity of the positional penalization function in inter-sign optimal transport on real measures

实测度间符号间最优输运中的位置惩罚函数的正则性

Bwo'nyahre Baidi Barthelemy, Kouakep Tchaptchie Yannick, Houpa Danga Duplex Elvis

AI总结 研究实测度间带位置惩罚函数的Monge-Kantorovich最优输运问题,证明可行集非空条件、强对偶性,并推导惩罚函数的Lipschitz正则性及修正Monge-Ampère方程。

Comments Together with Bwo'nyahre et al. (2026), this completes a three-part framework for signed measure optimal transport: (1) existence, uniqueness, and fractal preservation; (2) local regularity, governing equations, and well-posedness; and (3) a variational characterization of dimensional distortion in signed fractal measures

详情
AI中文摘要

我们研究了$\mathbb{R}^d$凸紧子集上两个符号测度$\mu$和$\nu$之间的Monge--Kantorovich最优输运问题,其中位置惩罚函数$\lambda(x, y)$调节符号间输运的成本。使用四个独立的正测度$(\pi^{++}, \pi^{+-}, \pi^{-+}, \pi^{--})$作为决策变量,我们证明可行集$\mathcal{A}(\mu, \nu)$是弱-$*$紧的,且非空当且仅当$\mu^+(X) = \nu^+(Y)$和$\mu^-(X) = \nu^-(Y)$。通过Kantorovich极小极大定理建立了强对偶性,得到了$\lambda$在符号间支撑交集处的一个新的相容性条件。惩罚函数$\lambda$被证明是Lipschitz的,并且几乎处处具有Alexandrov二阶导数。在Alexandrov意义下推导了控制符号间输运映射的修正Monge--Ampère方程,其适定性由$\sigma \det(D^2_{yx}\Lambda) e > 0$刻画。在极限$\lambda \to 0$下恢复了经典的Brenier方程。

英文摘要

We study the Monge--Kantorovich optimal transport problem between two signed measures~$μ$ and~$ν$ on convex compact subsets of~$\mathbb{R}^d$, with a positional penalization function~$λ(x, y)$ that modulates the cost of inter-sign transport. Using four independent positive measures~$(π^{++}, π^{+-}, π^{-+}, π^{--})$ as decision variables, we prove that the admissible set~$\mathcal{A}(μ, ν)$ is weakly-$*$ compact and non-empty if and only if $μ^+(X) = ν^+(Y)$ and~$μ^-(X) = ν^-(Y)$. Strong duality is established via the Kantorovich minimax theorem, yielding a new compatibility condition on~$λ$ at the intersection of inter-sign supports. The penalization~$λ$ is shown to be Lipschitz and to admit Alexandrov second derivatives almost everywhere. Modified Monge--Ampère equations governing inter-sign transport maps are derived in the Alexandrov sense, with well-posedness characterized by $σ\det(D^2_{yx}Λ) e > 0$. The classical Brenier equation is recovered in the limit~$λ\to 0$.