arXivDaily arXiv每日学术速递 周一至周五更新
重置
全部学科分类 1502
2606.17884 2026-06-17 math.AG 新提交

Naive atoms of blowups: examples

爆破的朴素原子:例子

Christian Böhning, Hans-Christian Graf von Bothmer, Zac Su'a

AI总结 本文定义光滑射影簇的朴素原子分解,并通过若干例子验证其满足Iritani爆破公式的朴素版本,这些例子足够复杂以展示一般理论的有趣特征,又足够简单以用初等方法计算。

Comments 30 pages

详情
AI中文摘要

我们定义了光滑射影簇的朴素原子分解。我们通过几个例子证明它们满足Iritani爆破公式的朴素版本,这些例子足够复杂以展示一般理论的大多数有趣特征,同时足够简单以用初等方法计算。

英文摘要

We define naive atomic decompositions of smooth projective varieties. We show that they satisfy a naive version of Iritani's blowup formula in several examples that are complicated enough to show most interesting features of the general theory while being simple enough to be computable by elementary methods.

2606.17880 2026-06-17 math.DS 新提交

Pair correlation statistics for dynamical systems

动力系统的对关联统计

Simon Baker, Mike Todd

AI总结 研究区间映射轨道对关联统计,在混合与多重分形假设下证明其几乎必然与独立同分布序列渐近行为一致,并给出反例。

详情
AI中文摘要

我们研究区间上映射生成的轨道的对关联统计。我们证明,在适当的混合和多重分形假设下,轨道的对关联统计几乎必然表现出与适当的独立同分布随机变量序列相同的渐近行为。我们还将证明,在适当假设下,由两个轨道定义的对关联统计几乎必然表现出与两个适当的独立同分布随机变量序列相同的行为。我们的结果适用的具体动力系统包括Gibbs-Markov映射和高斯映射。我们还给出了一个慢混合系统的例子,其中轨道的对关联统计几乎必然表现出与独立同分布序列不同的行为。

英文摘要

We study the pair correlation statistics of orbits generated by maps on the interval. We show that under suitable mixing and multifractal assumptions, the pair correlation statistics of an orbit will almost surely exhibit the same asymptotic behaviour as a suitable sequence of i.i.d. random variables. We will also show that, under suitable hypotheses, the pair correlation statistics defined by two orbits will almost surely exhibit the same behaviour as two suitable sequences of i.i.d. random variables. Specific dynamical systems to which our results apply to include Gibbs-Markov maps and the Gauss map. We also give an example of a slowly mixing system for which the pair correlation statistics of an orbit almost surely behave distinctly to an i.i.d. sequence.

2606.17878 2026-06-17 math.DS 新提交

Forcing confidence: a Process Tracing approach with a dynamical systems model

强制信心:基于动力系统模型的过程追踪方法

Alexandra Gheondea-Eladi, Aurelian Gheondea

AI总结 提出一个连续时间动力系统模型,追踪小决策群体通过共识达成时信心的演化,并考虑强制因素对参与者信心的影响。实验验证强制因素的存在、起止及其对演化的影响,发现强制因素降低信心均衡值并引发额外振荡。

Comments 35 pages, 5 figures

详情
AI中文摘要

我们提出了一个连续时间动力系统模型,用于追踪小型决策群体通过共识达成时信心的演化过程,并考虑了强制因素可能对参与者信心施加的影响。我们通过实验检验强制因素是否出现、何时开始和结束,以及它如何影响演化过程。我们发现,在包含强制因素的模型中,信心的均衡值低于不含强制因素的模型,并且强制因素可以被识别,同时会引发信心水平的额外振荡。这可能是数学模型首次能够通过信心水平的变化来揭示信心过程追踪中的可见效应。从实用角度看,我们找到了一个通过观察振荡和均衡来捕捉参与者信心水平影响的模型,并通过测量个体在群体决策过程中“对决策正确的信心”进行了实验验证。

英文摘要

We propose a continuous time dynamical system model for tracing the evolution of confidence in a small decision making group by consensus with the possibility that a forcing factor is exerted onto the confidence of the participants. We experimentally check whether a forcing factor appears, where it begins and ends and how it affects the evolution. We find that the equilibrium value of the confidence is lower in the model with the forcing factor than without it, and that the forcing factor can be identified and induces additional oscillations of the confidence level. This is probably one of the first times when a mathematical model is able to speak about visible effects on the confidence process tracing under alterations of its levels. Pragmatically we find a model that captures influence of participants' confidence level by observing oscillations and equilibrium and we experimentally test it with measures of individual "confidence that the decision is correct" throughout the group decision-making.

2606.17864 2026-06-17 math.CA 新提交

Weak and strong $q$-analogs of the Laguerre--Pólya class

弱和强 $q$-模拟的 Laguerre--Pólya 类

D. K. Dimitrov, B. Shapiro

AI总结 本文比较了 Laguerre-Pólya 类的两种 $q$-模拟:系数侧类通过 $q$-Borel 变换定义,零点侧类由零点对数 $q$-分离的多项式闭包定义,证明了 $q$-Borel 变换保持经典类,并得到严格包含链。

Comments 12 pages

详情
AI中文摘要

对于 $0<q<1$,我们比较了 Laguerre--Pólya 类的两种自然 $q$-模拟。第一种是系数侧类,定义为在归一化 $q$-Borel 变换下经典 Laguerre--Pólya 类的原像:\\[ \Bq\left(\sum_{k\ge 0}a_k\frac{z^k}{k!}\right) =\sum_{k\ge 0}a_k\frac{q^{k(k-1)/2}(1-q)^k}{(q;q)_k}z^k. \\] 第二种是零点侧类,定义为实多项式的局部一致闭包,这些多项式的非零零点在原点两侧是对数 $q$-分离的。我们证明归一化 $q$-Borel 变换将经典 Laguerre--Pólya 类及其 I 型子类映射到自身。这给出了一个 $q$-Jensen-多项式准则,并表明系数侧类严格包含经典 Laguerre--Pólya 类。在零点侧,我们证明了亏格为零的乘积表示。对数分离条件阻止零点逃逸到无穷远产生残余指数因子;因此不可能出现非常数指数因子。对于每个 $q\in(0,1)$,我们得到严格链:\\[ \qLPs\subsetneq \LP\subsetneq \qLPw, \qquad \qLPIs\subsetneq \LPI\subsetneq \qLPIw. \\]

英文摘要

For $0<q<1$ we compare two natural $q$-analogs of the Laguerre--Pólya class. The first one is a coefficient-side class, defined as the inverse image of the classical Laguerre--Pólya class under the normalized $q$-Borel transform \[ \Bq\left(\sum_{k\ge 0}a_k\frac{z^k}{k!}\right) =\sum_{k\ge 0}a_k\frac{q^{k(k-1)/2}(1-q)^k}{(q;q)_k}z^k . \] The second one is a zero-side class, defined as the locally uniform closure of real polynomials whose nonzero zeros are logarithmically $q$-separated on each side of the origin. We prove that the normalized $q$-Borel transform maps the classical Laguerre--Pólya class, and its type-I subclass, into themselves. This yields a $q$-Jensen-polynomial criterion and shows that the coefficient-side class strictly contains the classical Laguerre--Pólya class. On the zero side, we prove a genus-zero product representation. The logarithmic separation condition prevents zeros escaping to infinity from producing a residual exponential factor; consequently no nonconstant exponential factor can occur. For every $q\in(0,1)$ we obtain the strict chains \[ \qLPs\subsetneq \LP\subsetneq \qLPw, \qquad \qLPIs\subsetneq \LPI\subsetneq \qLPIw . \]

2606.17863 2026-06-17 math.AP 新提交

High Mach number limit for the 3D Euler-Poisson equations of ion dynamics

离子动力学三维Euler-Poisson方程的高马赫数极限

Zihao Song

AI总结 研究三维离子Euler-Poisson方程在马赫数参数下的全局适定性和散射,证明高马赫数极限下解收敛到无压方程,结合能量估计、色散估计和正规形方法克服参数均匀性困难。

详情
AI中文摘要

本文研究了带有马赫数参数$\varepsilon$的三维离子Euler-Poisson方程的全局动力学。我们首先建立了高马赫数情形$0<\varepsilon\leq1$和无压情形$\varepsilon=0$的全局适定性和散射。此外,我们证明了高马赫数极限,表明离子Euler-Poisson方程的解的轮廓在$\varepsilon\rightarrow0$时收敛到无压方程的解的轮廓。我们的方法结合了能量估计、色散估计和正规形方法。主要困难在于建立关于参数的均匀估计,因为当$\varepsilon$趋于0时,色散或共振结构退化。一个关键的观察是,尽管压力消失($\varepsilon\rightarrow0$),色散相位函数在零频率处始终保持波型结构,这使我们能够推导出适应于马赫数参数均匀性的线性和双线性乘子估计。

英文摘要

In this paper, we study the global dynamics of the 3D ionic Euler-Poisson equations with the parameter of Mach number $\varepsilon$. We first establish the global well-posedness and scattering for the high Mach number regime $0<\varepsilon\leq1$ and pressureless case $\varepsilon=0$. Moreover, we prove the high Mach number limit, showing that the profile of the solution for ionic Euler-Poisson equations converged to that of the pressureless equation as $\varepsilon\rightarrow0$. Our approach combines energy estimates, dispersive estimates and the normal form method. The major difficulty lies in establishing the uniform estimates with respect to the parameter, as the dispersive or resonance structure degenerates when $\varepsilon$ tends to 0. A crucial observation is that despite the disappearance of the pressure ($\varepsilon\rightarrow0$), dispersive phase function always remains a wave-type structure in zero frequencies, which enables us to derive linear and bilinear multiplier estimates adapted to the uniformity of Mach number parameter.

2606.17862 2026-06-17 math.NA cs.NA 新提交

Riemann invariant-based alternative WENO scheme for a two-layer thin film model

基于黎曼不变量的两层薄膜模型交替WENO格式

Biswarup Biswas, Rahul Barthwal, Rakesh Kumar

AI总结 提出一种基于黎曼不变量的局部特征分解WENO方法(RI-WENO),用于求解两层薄膜模型,通过变量变换降低计算成本并保持高精度。

详情
AI中文摘要

在本文中,我们开发了一个多维两层薄膜模型,扩展了文献\cite{barthwal2025hyperbolic}中提出的薄膜模型。文献\cite{barthwal2025hyperbolic}中考虑的模型通过选择两层中的马兰戈尼数均为$1$,考虑了一个非常特定的马兰戈尼尺度。我们在此放宽这一条件,并证明所得系统具有完整的黎曼不变量集。基于这些发现,我们开发了一种基于黎曼不变量的局部特征分解WENO(RI-WENO)方法,用于一维和二维的两层薄膜模型。该方法建立在由系统的黎曼不变量构造的特殊设计的变量变换之上。该变换部分对角化了控制方程,并在变换后的特征向量矩阵中产生了稀疏结构。因此,所提出的RI-WENO框架显著降低了标准局部特征分解WENO方法的计算成本,同时保留了其抑制虚假振荡的强大能力。数值实验,包括新的基准测试案例,表明RI-WENO方法在精度和计算效率之间实现了有效平衡,使其成为求解两层薄膜模型的一种有前景且实用的选择。

英文摘要

In this article, we develop a multi-dimensional two-layer thin film model extending the thin film model proposed in \cite{barthwal2025hyperbolic}. The model considered in \cite{barthwal2025hyperbolic} considered a very specific Marangoni scale by choosing Marangoni numbers in both layers to be $1$. We relax this condition here and prove that the obtained system possesses a full set of Riemann invariants. Based on these findings, we develop a Riemann Invariant-based Local Characteristic Decomposition WENO (RI-WENO) method for the two-layer thin film model in one and two dimensions. The method is built upon a specially designed variable transformation constructed from the derived Riemann invariants of the system. This transformation partially diagonalizes the governing equations and yields a sparse structure in the transformed eigenvector matrices. As a result, the proposed RI-WENO framework significantly reduces the computational cost of the standard Local Characteristic Decomposition WENO approach while retaining its strong capability to suppress spurious oscillations. Numerical experiments, including new benchmark test cases, demonstrate that the RI-WENO method achieves an effective balance between accuracy and computational efficiency, making it a promising and practical choice for solving the two-layer thin film model.

2606.17859 2026-06-17 math.PR 新提交

Full $Γ-$expansion for the level-two large deviation rate functionals of non-reversible one-dimensional diffusions with periodic boundary conditions

非可逆一维周期边界扩散的二级大偏差率泛函的完整Γ展开

Claudio Landim, Christian Maura

AI总结 针对一维环面上非可逆扩散过程,在温度趋于零时,将其二级大偏差率泛函展开为与亚稳态时间尺度相关的Γ级数,得到各阶率泛函。

详情
AI中文摘要

考虑一维环面 $\bb T = [0,1)$ 上的扩散过程 \begin{equation*} dX_{\epsilon}(t) = \mss b(X_{\epsilon}(t)) \\, dt + \sqrt{2\\, \epsilon\\, \mss a(X_\epsilon(t))} \\, dW_{t}, \end{equation*} 其中 $\epsilon$ 是温度,$W_{t}$ 是 $\bb T$ 上的布朗运动,$\mss a$, $\mss b$ 是满足进一步条件的 $C^{2}(\bb T)$ 类函数。记 $\mss P(\bb T)$ 为 $\bb T$ 上赋予弱拓扑的概率测度集,$\ms I_{\epsilon}\colon \mss P(\bb T)\to [0,+\infty)$ 为扩散 $X_{\epsilon}(\cdot)$ 的二级大偏差率泛函。我们推导出当 $\epsilon \to 0$ 时 $\ms I_{\epsilon}$ 的完整 $\Gamma-$展开,将其表示为 \begin{equation*} \ms I_{\epsilon} = \frac{1}{\epsilon} \\;\ms J^{(-1)} \\;+\\; \ms J^{(0)} \\;+\\; \sum_{p=1}^{\widehat{\mf q}}\frac{1}{\theta^{(p)}_{\epsilon}}\\;\ms J^{(p)}\\,, \end{equation*} 其中 $\ms J^{(-1)}$, $\ms J^{(0)}$, $\ms J^{(p)} \colon \mss P(\bb T)\to [0,+\infty]$ 是独立于 $\epsilon$ 的率泛函,$\theta^{(p)}_{\epsilon}$ 是 Markov 过程 $X_{\epsilon}(\cdot)$ 表现出亚稳态行为的时间尺度。

英文摘要

Consider the diffusion process \begin{equation*} dX_ε(t) = \mss b(X_ε(t)) \, dt + \sqrt{2\, ε\, \mss a(X_ε(t))} \, dW_{t}, \end{equation*} on the one-dimensional torus $\bb T = [0,1)$. Here $ε$ is the temperature, $W_{t}$ a Brownian motion on $\bb T$ and $\mss a$, $\mss b$ functions of class $C^{2}(\bb T)$ satisfying further conditions. Denote by $\mss P(\bb T)$ the set of probability measures on $\bb T$ equipped with the weak topology, and by $\ms I_ε\colon \mss P(\bb T)\to [0,+\infty)$ the level two large deviation rate functional of the diffusion $X_ε(\cdot)$. We derive a full $Γ-$expansion of $\ms I_ε$, as $ε\to 0$, expressing it as \begin{equation*} \ms I_ε = \frac{1}ε \;\ms J^{(-1)} \; +\; \ms J^{(0)} \;+\; \sum_{p=1}^{\widehat{\mf q}}\frac{1}{θ^{(p)}_ε}\;\ms J^{(p)}\,, \end{equation*} where $\ms J^{(-1)}$, $\ms J^{(0)}$, $\ms J^{(p)} \colon \mss P(\bb T)\to [0,+\infty]$ represent rate functionals, independent of $ε$, and $θ^{(p)}_ε$ are the time-scales at which the Markov process $X_ε(\cdot)$ exhibits a metastable behaviour.

2606.17857 2026-06-17 math.DS 新提交

From Ergodic Theory and Probability to Fractal Geometry and Dynamics: Themes in the Work of Manfred Denker

从遍历论与概率论到分形几何与动力学:Manfred Denker 工作中的主题

Suzanne Boyd, Herold Dehling, Martin Schmoll, Manuel Stadlbauer, Christian Wolf

AI总结 本文综述Manfred Denker的数学贡献,聚焦连接遍历论、概率论、动力系统、分形几何和统计学的主题,包括动力系统统计性质、相依过程极限定理、热力学形式化等。

Comments 37 pages, prepared for Contemporary Math Proceedings of AMS Special Session in honor of Manfred Denker's 80th birthday

详情
AI中文摘要

本文综述了Manfred Denker的数学贡献,重点关注连接遍历论、概率论、动力系统、分形几何和统计学的主题。Denker极具影响力的工作包括对动力系统统计性质的系统研究、相依过程极限定理的发展,以及利用热力学形式化建立几何与测度性质之间的联系。特别强调了在弱相依假设或无穷测度下,确定性系统中概率行为的涌现,包括中心极限定理、不变原理或局部极限定理。进一步的主题包括平衡态与转移算子方法、共形测度在分形几何中的作用,以及相依数据统计过程(如秩统计量和U统计量)的渐近理论。除了这些理论发展,该综述还强调了将严格分析与计算和统计方法相结合的贡献。总的来说,这些工作展示了一个统一的视角,其中遍历、概率、几何和统计方法在动力系统研究中相互作用。

英文摘要

This article surveys the mathematical contributions of Manfred Denker, with a focus on themes that connect ergodic theory, probability theory, dynamical systems, fractal geometry, and statistics. Denker's highly influential work includes a systematic study of the statistical properties of dynamical systems, the development of limit theorems for dependent processes, and the use of thermodynamic formalism to relate geometric and measure-theoretic properties. Particular emphasis is placed on the emergence of probabilistic behavior in deterministic systems, including central limit theorems, invariance principles or local limit theorems, under weak dependence assumptions or in infinite measure. Further topics include equilibrium states and transfer operator methods, the role of conformal measures in fractal geometry, and the asymptotic theory of statistical procedures for dependent data, such as rank statistics and U-statistics. In addition to these theoretical developments, the survey highlights contributions connecting rigorous analysis with computational and statistical methods. Taken together, these works illustrate a unifying perspective in which ergodic, probabilistic, geometric, and statistical methods interact in the study of dynamical systems.

2606.17844 2026-06-17 math.AP 新提交

Multiple solutions and simulations for an Ion Flow Field problem applied to HVDC transmission lines

应用于高压直流输电线路的离子流场问题的多解与模拟

Madeline Chauvier, Serge Nicaise, Christophe Troestler, Juliette Venel

AI总结 研究高压直流输电线路PDE模型,证明无穷多解存在性,给出存在必要条件,显式计算所有径向解连续统,并开发新数值算法。

详情
AI中文摘要

本文对架空线路高压直流输电的PDE模型进行了数学研究。我们证明了无穷多解的存在性,给出了存在的必要条件,显式计算了所有径向解的连续统,并针对该问题开发了一种新的数值算法。

英文摘要

This paper initiates a mathematical investigation of a PDE model for the transport of high voltage direct current via overhead lines. We prove the existence of infinitely many solutions, give necessary conditions for existence, explicitly compute the continuum of all radial solutions, and develop a new numerical algorithm for this problem.

2606.17840 2026-06-17 math.AP 新提交

Uniqueness of bound states for sublinear elliptic equations

次线性椭圆方程束缚态的唯一性

Chengxiang Zhang, Xu Zhang

AI总结 研究次线性椭圆方程径向束缚态解的唯一性,证明对任意给定节点数k,方程恰有一个具有k个简单零点的径向束缚态解,并将超线性情形的唯一性结果推广到二维。

详情
AI中文摘要

我们研究次线性椭圆方程 \\[ \begin{cases} -\Delta u - u + |u|^{q-2}u = 0 & \text{in } \mathbb{R}^n, \\\\ u(x) \to 0 & \text{as } |x| \to \infty, \end{cases} \\] 其中 $q\in(1,2)$ 且 $n\geq 2$ 的径向束缚态解的唯一性。我们证明,对任意给定的整数 $k\geq 1$,该方程恰好存在一个具有 $k$ 个简单零点的径向束缚态解。此外,我们考虑超线性方程 \\[ \begin{cases} -\Delta u + u -|u|^{p-1}u = 0 & \text{in } \mathbb{R}^n, \\\\ u(x) \to 0 & \text{as } |x| \to \infty, \end{cases} \\] 虽然 Tang (2026) 对 $n\geq 3$ 和 $1<p<\frac{n+2}{n-2}$ 建立了该方程径向束缚态解的唯一性,但我们提供了必要的论证,表明该唯一性结果对 $n=2$ 且 $p>1$ 的情形仍然成立。

英文摘要

We investigate the uniqueness of radial bound state solutions to the sublinear elliptic equation \[ \begin{cases} -Δu - u + |u|^{q-2}u = 0 & \text{in } \mathbb{R}^n, \\ u(x) \to 0 & \text{as } |x| \to \infty, \end{cases} \] where $q\in(1,2)$ and $n\geq 2$. We prove that for any prescribed integer $k\geq 1$, the equation admits exactly one radial bound state solution with $k$ simple zeros. Furthermore, we consider the superlinear equation \[ \begin{cases} -Δu + u -|u|^{p-1}u = 0 & \text{in } \mathbb{R}^n, \\ u(x) \to 0 & \text{as } |x| \to \infty. \end{cases} \] While the uniqueness of radial bound state solutions for this equation was established by Tang (2026) for $n\geq 3$ and $1<p<\frac{n+2}{n-2}$, we provide the necessary arguments to show that this uniqueness result remains valid for the case $n=2$ with $p>1$.

2606.17837 2026-06-17 cs.IT math.IT 新提交

High-throughput Low-latency Hardware Implementation of BCH Decoders

BCH解码器的高吞吐量低延迟硬件实现

Jasper Lagendijk, Wenqing Song, Yunus Can Gültekin, Andreas Burg, Alex Alvarado, Alexios Balatsoukas-Stimming

AI总结 针对BCH码,提出基于Berlekamp-Massey算法与Chien搜索的常规解码和直接解码的硬件架构,首次实现纠错能力t=4的直接BCH解码器,在FPGA和16nm FinFET上验证,直接解码器在t=2、3及长码长t=4时面积效率更优,16nm下吞吐量达239 Gb/s。

详情
AI中文摘要

BCH码的两种著名解码算法是常规解码(基于Berlekamp-Massey算法结合Chien搜索)和直接解码(使用直接求解找到错误位置多项式及其根)。我们介绍了用于扩展BCH码的常规解码和直接解码的硬件架构。两种架构都支持任意码长的实现。我们的常规解码器支持任意纠错能力,而直接解码支持最高纠错能力t=4。据我们所知,我们的工作是首次实现纠错能力为4的直接BCH解码器。我们在Xilinx Ultrascale+ XCZU48DR现场可编程门阵列和16 nm FinFET上综合了码长高达1024比特且t=4的解码器。我们表明,对于t=2、t=3以及码长大于256的t=4,直接解码器在面积效率上优于常规解码器。16 nm FinFET的后综合结果显示,在1 GHz时钟频率下每时钟周期输出一个码字,对于(256, 239) eBCH码,在2 ns延迟下达到239 Gb/s的吞吐量;对于(256, 223) eBCH码,在8 ns延迟下达到223 Gb/s的吞吐量。

英文摘要

Two well-known decoding algorithms for BCH codes are conventional decoding, based on the Berlekamp-Massey algorithm in combination with Chien search, and direct decoding, which uses direct solutions to find the error locator polynomial and its roots. We introduce hardware architectures for conventional and direct decoding of extended BCH codes. Both architectures support implementation for any blocklength. Our conventional decoder supports any error-correction capability, whereas direct decoding is supported up to error correcting capability t = 4. To the best of our knowledge, our work is the first to implement a direct BCH decoder with an error-correction capability 4. We synthesize for the Xilinx Ultrascale+ XCZU48DR field-programmable gate-array and 16 nm FinFET for blocklengths up to 1024 bits and t = 4. We show that the direct decoder outperforms the conventional decoder in area efficiency for t = 2, t = 3, and for t = 4 for blocklengths longer than 256. Post-synthesis results for 16 nm FinFET show codeword per clock-cycle throughput at 1 GHz, achieving 239 Gb/s for the (256, 239) eBCH code and 223 Gb/s for (256, 223) eBCH code at 2 ns and 8 ns latency, respectively.

2606.17834 2026-06-17 math.DG math.MG 新提交

Total curvature and length estimates for timelike curves in Lorentzian length spaces

洛伦兹长度空间中类时曲线的总曲率与长度估计

Darius Erös, Felix Rott, Zhe-Feng Xu

AI总结 本文在具有上曲率界的洛伦兹长度空间中引入类时曲线的合成总曲率概念,证明其与光滑情形一致,并给出类时曲线长度的尖锐下界。

Comments 24 pages, 2 figures

详情
AI中文摘要

我们引入并研究了具有上曲率界的洛伦兹长度空间中曲线的合成类时总曲率。特别地,我们证明了我们的概念与其光滑对应物一致,并且我们表明有限总曲率的类时曲线是可求长的。作为主要应用,我们仅根据端点之间的时间分离和总曲率,给出了类时曲线长度的尖锐下界。

英文摘要

We introduce and study a synthetic notion of timelike total curvature for curves in Lorentzian length spaces with upper curvature bounds. In particular, we prove that our notion agrees with its smooth counterpart, and we show that timelike curves of finite total curvature are rectifiable. As the main application, we provide a sharp lower bound for the length of timelike curves solely in terms of the time separation between their endpoints and their total curvature.

2606.17828 2026-06-17 math.CO 新提交

Extremal problems on the $p$-Seidel energy of graphs

图的$p$-Seidel能量的极值问题

Alexander Guterman, Shib Sankar Saha

AI总结 本文刻画了固定阶数$n$下最小化$p$-Seidel能量($p>2$)的图,以及最大化$p$-Seidel能量($0<p<2$)的图,并针对特定正则图给出了极值刻画。

详情
AI中文摘要

设$G$是一个顶点集为$\{v_1,\dots,v_n\}$的图。$G$的Seidel矩阵是一个$n\times n$矩阵,其对角元为零,若$v_i$与$v_j$相邻则$ij$元为$-1$,否则为$1$。图$G$的$p$-Seidel能量定义为$G$的Seidel矩阵所有特征值的$p$次幂的绝对值之和,该概念由[European Journal of Combinatorics, (86) (2020), 103078]引入。本文中,我们刻画了在固定阶数$n$的所有图中,对于$p>2$,最小化$p$-Seidel能量的图。同时,对于$0<p<2$,刻画了在固定阶数$n$的所有图中,最大化$p$-Seidel能量的图。此外,对于每个$p>2$,我们刻画了在固定阶数$n$的所有$r$-正则图中,最小化$p$-Seidel能量的图,其中$n$是素数幂且$n\equiv 1\pmod 4$,$r=\frac{n-1}{2}$。对于每个$p>2$,我们还刻画了在固定阶数$n=2r$的所有$r$-正则图中,最大化$p$-Seidel能量的图。最后,我们提出了几个关于不同$p$值下$p$-Seidel能量的开放问题。

英文摘要

Let $G$ be a graph with vertex set $\{v_1,\dots,v_n\}$. The Seidel matrix of $G$ is an $ n\times n$ matrix whose diagonal entries are zero, $ij$-th entry is $-1$ if $v_i$ and $v_j$ are adjacent, and otherwise is $1$. The $p$-Seidel energy of the graph $G$ is defined as the sum of the absolute values of the $p$-th powers of all eigenvalues of the Seidel matrix of $G$ and introduced in [European Journal of Combinatorics, (86) (2020), 103078]. In this article, we characterize the graph that minimizes the $p$-Seidel energy among all graphs with fixed order $n$, for $p>2$. We also characterize the graph that maximizes the $p$-Seidel energy among all graphs with fixed order $n$, for $0<p<2$. In addition, for every $p>2$, we characterize the graph that minimizes the $p$-Seidel energy among all $r$-regular graphs with fixed order $n$, where $n$ is a prime power with $n\equiv 1\pmod 4$, $r=\frac{n-1}{2}$. For every $p>2$, we also characterize the graph that maximizes the $p$-Seidel energy among all $r$-regular graphs with fixed order $n=2r$. Finally, we pose several open problems concerning the $p$-Seidel energy for different values of $p$.

2606.17822 2026-06-17 math.CO math.RT 新提交

Congruences of shifted Jack Littlewood-Richardson coefficients

平移Jack Littlewood-Richardson系数的同余性

Ryan Mickler

AI总结 本文证明了关于平移Jack Littlewood-Richardson系数的同余猜想,该猜想涉及两个三元组(其中一个分区通过单框移动变化)的系数模移动框的α-钩长同余。

Comments 13 pages, 3 figures

详情
AI中文摘要

平移Jack Littlewood-Richardson系数 $g^\lambda_{\mu\nu}(\alpha)$ 由Alexandersson-Féray首次研究,是附着于分区三元组的Jack参数 $\alpha$ 的Laurent多项式,推广了Stanley等人研究的经典Jack Littlewood-Richardson系数。在作者先前的工作中,猜想两个三元组(其中一个分区通过单框移动变化)的Littlewood-Richardson系数模该移动框的 $\alpha$-钩长同余。本文证明了该猜想。我们还研究了该猜想向平移Macdonald函数的推广,该推广在Lassalle平移映射的两种性质下仍待解决。

英文摘要

The shifted Jack Littlewood-Richardson coefficients $g^λ_{μν}(α)$, first studied by Alexandersson-Féray, are Laurent polynomials in the Jack parameter $α$ attached to triples of partitions, which generalize the classical Jack Littlewood-Richardson coefficients investigated by Stanley, et al. In a previous work of the author's, it was conjectured that the Littlewood-Richardson coefficients for two triples, in which one of the partitions differ by a single box move, are congruent modulo the $α$-hook length of the pivot box for that move. In this note we prove that conjecture. We also investigate the extension of that conjecture to shifted Macdonald functions, which remains open pending two properies of Lassalle's shift map in that case.

2606.17817 2026-06-17 math.CO 新提交

Characterizing uniform hypergraphs via Seidel matrix and Seidel energy

通过Seidel矩阵和Seidel能量刻画一致超图

Alexander Guterman, Shib Sankar Saha

AI总结 本文通过Seidel矩阵的Frobenius范数和Seidel能量,刻画了固定阶数的k-一致超图,否定了Haemers猜想在超图上的类比,并证明了几乎所有k-一致超图是Seidel非低能的。

详情
AI中文摘要

Seidel能量定义为超图Seidel矩阵特征值的绝对值之和。我们首先刻画了固定阶数n的k-一致超图中Seidel矩阵Frobenius范数最小和最大的超图,然后推导了Seidel能量的界。基于这些结果,我们通过证明完全k-一致超图通常不最小化Seidel能量,对Haemers猜想的超图类比给出了否定答案。受低能图和非低能图理论的启发,我们定义了Seidel低能超图和Seidel非低能超图,并证明了几乎所有k-一致超图都是Seidel非低能的。

英文摘要

The Seidel energy is defined as the sum of the absolute values of the eigenvalues of the Seidel matrix of a hypergraph. We first characterize the k-uniform hypergraphs of fixed order n with minimum and maximum Frobenius norms of Seidel matrices and then derive bounds for the Seidel energy. Building on these results, we obtain a negative answer to the hypergraph analogue of Haemers Conjecture by showing that the complete k-uniform hypergraph does not, in general, minimize Seidel energy. Motivated by the theory of hypoenergetic and non-hypoenergetic graphs, we define Seidel hypoenergetic and Seidel non-hypoenergetic hypergraphs and prove that almost all k-uniform hypergraphs are Seidel non-hypoenergetic.

2606.17814 2026-06-17 math.OC 新提交

Kalman structure and observability for transport systems

传输系统的卡尔曼结构与可观测性

Yacouba Simpore

AI总结 研究常系数一阶双曲系统在仅观测部分状态时的可观测性与可控性,提出卡尔曼结构决定可观测性估计,并引入卡尔曼自适应观测空间。

详情
AI中文摘要

我们研究实线上常系数一阶双曲系统在仅观测或控制部分状态时的可观测性与可控性。即使卡尔曼秩条件成立,通常的 \(L^2(\mathbb R)^N\)-可观测性估计也可能失效,因为某些分量仅通过动力学被检测到。我们证明卡尔曼结构决定了合适的可观测性估计。一个在 \(k\) 步代数步骤后变得可见的分量,在傅里叶变量中以权重 \(|\xi|^{2k}\) 在低频傅里叶频率处被测量。这为系统生成了一个自然的卡尔曼自适应观测空间。我们还证明了可对角化系统在具有一致有界间隙的观测集上的局部可观测性,并分别将整条直线上的构造推广到具有实谱和若尔当块的系统。

英文摘要

We study observability and controllability for constant-coefficient first-order hyperbolic systems on the real line when only part of the state is observed or controlled. Even when the Kalman rank condition holds, the usual \(L^2(\mathbb R)^N\)-observability estimate may fail because some components are detected only through the dynamics. We show that the Kalman structure determines the appropriate observability estimate. A component that becomes visible after \(k\) algebraic steps is measured at low Fourier frequencies with a weight of order \(|ξ|^{2k}\) in the Fourier variable. This yields a natural Kalman-adapted observation space for the system. We also prove localized observability for diagonalizable systems on observation sets with uniformly bounded gaps and, separately, extend the whole-line construction to systems with real spectrum and Jordan blocks.

2606.17797 2026-06-17 math.OC 新提交

Koopman Lifting with Certified Error Bounds for Joint Inference in Nonlinear Networks

具有认证误差界的Koopman提升用于非线性网络中的联合推断

Chuansen Peng, Xiaojing Shen, Yunmin Zhu

AI总结 提出Koopman-GKFA框架,通过Koopman算子嵌入将非线性网络动力学提升为近似线性系统,结合组稀疏ADMM实现状态估计与拓扑推断的联合优化,并给出三项认证误差界。

详情
AI中文摘要

在非线性图动力学系统中联合推断潜在节点状态和未知网络拓扑是一个基本但 largely 未解决的问题,其中连续状态和离散结构的相互纠缠使得任一量的准确恢复都严重依赖于另一个。我们提出 \textbf{Koopman-GKFA}(Koopman 组稀疏卡尔曼滤波--ADMM),这是一个统一框架,通过具有可分离节点字典的Koopman算子嵌入将非线性网络动力学提升为近似线性系统,从而能够进行状态估计的最优线性滤波和拓扑推断的可证明收敛的凸优化。该框架有三个理论贡献:(i)~一个 \emph{结构同态引理},证明在可分离字典条件下,提升耦合算子的块稀疏性与图拓扑同构,为组稀疏正则化提供了严格基础;(ii)~一个具有认证线性收敛性的块结构组稀疏ADMM拓扑子问题,通过指数遗忘因子扩展以跟踪时变拓扑;以及(iii)~一个 \emph{三项认证均方误差界},将总估计误差分解为Koopman截断、观测噪声和拓扑残差分量,并建立了随字典维度增长的单调一致性。在合成基准(Kuramoto振荡器、Hill动力学基因调控网络)和真实数据集(NGSIM US-101、DREAM4)上的大量实验表明,Koopman-GKFA在状态估计和拓扑恢复方面始终优于基于EKF、UKF和粒子滤波的联合估计器,同时在高维非线性设置中表现出多项式计算规模和强鲁棒性。

英文摘要

Jointly inferring latent node states and unknown network topology in nonlinear graphical dynamical systems is a fundamental yet largely unsolved problem, where the mutual entanglement of continuous states and discrete structure renders accurate recovery of either quantity critically dependent on the other. We propose \textbf{Koopman-GKFA} (Koopman Group-sparse Kalman Filter--ADMM), a unified framework that lifts nonlinear network dynamics into an approximately linear system via Koopman operator embedding with a separable node-wise dictionary, enabling optimal linear filtering for state estimation and provably convergent convex optimization for topology inference. Three theoretical contributions underpin the framework: (i)~a \emph{structural homomorphism lemma} proving that, under a separable-dictionary condition, block sparsity of the lifted coupling operator is isomorphic to the graph topology, providing the rigorous foundation for group-sparse regularization; (ii)~a block-structured group-sparse ADMM topology subproblem with certified linear convergence, extended by an exponential forgetting factor to track time-varying topologies; and (iii)~a \emph{three-term certified mean-squared error bound} that decomposes total estimation error into Koopman truncation, observation noise, and topology residual components, with monotone consistency established as the dictionary dimension grows. Extensive experiments on synthetic benchmarks (Kuramoto oscillators, Hill-kinetics gene-regulatory networks) and real-world datasets (NGSIM US-101, DREAM4) demonstrate that Koopman-GKFA consistently outperforms EKF-, UKF-, and particle-filter-based joint estimators in both state estimation and topology recovery, while exhibiting polynomial computational scaling and strong robustness in high-dimensional nonlinear settings.

2606.17796 2026-06-17 math.FA math.CT 新提交

Cross-connections of the normed algebra of finite rank bounded operators on a Hilbert space

希尔伯特空间上有限秩有界算子的赋范代数的交叉连接

A. Anju, P. G. Romeo

AI总结 本文研究希尔伯特空间的有限维子空间及其对偶空间的规范范畴的交叉连接,描述了一个与有限秩有界算子赋范代数同构的锥的交叉连接半群,并利用规范锥刻画了紧算子及其谱。

Comments 15 pages 1 figure

详情
AI中文摘要

在本文中,我们研究了希尔伯特空间的有限维子空间及其对偶空间的规范范畴的交叉连接。进一步,我们描述了锥的交叉连接半群,该半群是一个与希尔伯特空间上有限秩有界算子的赋范代数同构的赋范代数。我们还通过希尔伯特空间真子空间的规范范畴中的规范锥刻画了紧算子及其谱。

英文摘要

In this article we examine the cross-connections of the normal category of finite dimensional subspaces of a Hilbert space and it's dual space. Further, we describe the cross-connection semigroup of cones, which is a normed algebra isomrphic to the normed algebra of finite rank bounded operators on a Hilbert space. We also characterize compact operators and their spectrum by the normal cones in the normal category of proper subspaces of a Hilbert space.

2606.17794 2026-06-17 math.DS 新提交

Invariant complex structures for affine automorphisms: a cocycle viewpoint

仿射自同构的不变复结构:一个上循环观点

Jiesong Zhang

AI总结 本文证明紧复流形上的全纯微分同胚若双Lipschitz共轭于齐性空间上的遍历仿射自同构,则共轭光滑;若该自同构弱混合,则诱导复结构左不变。应用包括全纯Anosov微分同胚的正则性提升及高秩交换Anosov作用的刚性定理的全纯类比。

Comments 13 pages

详情
AI中文摘要

我们证明,如果紧复流形上的全纯微分同胚双Lipschitz共轭于 $\Gamma\backslash G$ 上的遍历仿射自同构 $A$,则共轭是 $C^\infty$ 的。此外,如果 $A$ 是弱混合的,则 $\Gamma\backslash G$ 上诱导的复结构是左不变的。作为应用,我们建立了双Lipschitz共轭于仿射模型的全纯Anosov微分同胚的正则性提升结果,以及Hertz--Wang的高秩交换Anosov作用刚性定理的全纯类比。关键观察是,微分同胚保持复结构的条件与中心化子研究中出现的上循环相容关系具有相同形式。这将不变复结构和中心化子置于一个共同的 $\mathbb Z^2$-上循环框架中。从这个观点看,我们的主要结果可视为Damjanović--Wilkinson--Wu--Xu关于仿射自同构的Lipschitz中心化子刚性定理的全纯对应。

英文摘要

We prove that if a holomorphic diffeomorphism of a compact complex manifold is bi-Lipschitz conjugate to an ergodic affine automorphism $A$ on $Γ\backslash G$, then the conjugacy is $C^\infty$. Moreover, if $A$ is weakly mixing, then the induced complex structure on $Γ\backslash G$ is left-invariant. As applications, we establish a regularity bootstrap result for holomorphic Anosov diffeomorphisms bi-Lipschitz conjugate to affine models, as well as a holomorphic analogue of the rigidity theorem for higher-rank abelian Anosov actions by Hertz--Wang. The key observation is that the condition for a diffeomorphism to preserve a complex structure has the same form as the cocycle compatibility relation appearing in the study of centralizers. This places invariant complex structures and centralizers within a common $\mathbb Z^2$-cocycle framework. From this viewpoint, our main result may be regarded as a holomorphic counterpart of the Lipschitz centralizer rigidity theorem of Damjanović--Wilkinson--Wu--Xu for affine automorphisms.

2606.17792 2026-06-17 math.PR 新提交

The Loss of Tension in an Infinite Membrane with Holes of Decaying Spatial Density

具有衰减空间密度的孔洞的无限膜的张力损失

Lukas Early, Stanislav Volkov

AI总结 研究非均匀泊松点过程下随机孔洞对无限膜张力的影响,给出张力完全损失与不损失的相变条件。

详情
AI中文摘要

从无限拉伸膜中随机移除材料会产生什么影响?在什么条件下膜仍能维持张力?这个问题由Robert Connelly在刚性理论在自然科学中的应用中提出,后来在M. V. Menshikov、K. A. Rybnikov和S. E. Volkov的论文“具有泊松分布孔洞的无限膜的张力损失”(2002)中进行了研究;离散版本也在Robert Connelly、Konstantin Rybnikov和Stanislav Volkov的论文“无限三角晶格中的渗流与张力损失”(2001)中考虑。我们研究了一个基于非齐次泊松点过程的数学框架,其强度$\lambda$在无穷远处趋于零。孔洞形状是独立同分布的,且与它们的位置独立。我们证明,如果强度衰减得不够快,那么张力仍会在整个平面上损失,如同2002年研究的齐次模型一样。相反,我们给出了张力不会完全损失的充分条件。因此,即使强度趋于零,破坏和非破坏状态都可能存在,表明模型中存在相变。这里研究的过程与自举渗流密切相关。

英文摘要

What is the effect of randomly removing material from an infinite stretched membrane? Under what conditions can the membrane still sustain tension? This problem was introduced by Robert Connelly in connection with applications of rigidity theory in the natural sciences, and was later studied in M. V. Menshikov, K. A. Rybnikov, and S. E. Volkov, "The loss of tension in an infinite membrane with holes distributed according to a Poisson law" (2002); a discrete version was also considered in Robert Connelly, Konstantin Rybnikov, and Stanislav Volkov, "Percolation and the Loss of Tension in an Infinite Triangular Lattice" (2001). We study a mathematical framework based on a non-homogeneous Poisson point process whose intensity $λ$ tends to zero at infinity. The hole shapes are i.i.d.\ and independent of their locations. We show that if the intensity does not decay too quickly, then tension is still lost throughout the whole plane, as in the homogeneous model studied in 2002. Conversely, we give sufficient conditions under which complete loss of tension does not occur. Thus, both destruction and non-destruction regimes are possible even when the intensity tends to zero, indicating a phase transition in the model. The processes studied here are closely related to bootstrap percolation.

2606.17788 2026-06-17 math.OC 新提交

Optimizing the Principal Coefficient of Elliptic Equations using $L^p$-regularity, $p < \infty$

利用 $L^p$-正则性优化椭圆方程的主系数,$p < \infty$

Ala' Alalabi, Lorena Bociu, Paul Manns

AI总结 针对带全变差正则化和控制约束的椭圆方程系数识别问题,利用$W^{1,s}$-正则性建立控制-状态算子关于$L^q$范数的可微性,推导最优性条件,并分析基于$L^r$信赖域的非光滑信赖域方法的收敛性。

详情
AI中文摘要

我们研究带全变差正则化和控制约束的椭圆偏微分方程的系数识别问题。现有相关文献依赖于控制-状态算子关于$L^\infty$-范数的连续性和可微性。虽然这足以推导最优性条件,但它不适合数值算法,因为它忽略了扰动的空间范围,并且与$q < \infty$的$L^q$-范数相比存在定性差异。在这项工作中,我们通过利用$W^{1,s}$-正则性结果来建立控制-状态算子关于有限$q$的$L^q$-范数的可微性,从而弥补了这一差距。基于这一框架,我们推导了简化目标泛函的一阶和二阶可微性结果,并建立了涉及全变差半范数的受限次微分刻画及相关乘子正则性的一阶最优性条件。在此基础上,我们分析了一种基于$L^r$信赖域($r > 0.5 q$)的非光滑信赖域方法,并证明了其收敛到一阶稳定点。

英文摘要

We study coefficient identification problems for elliptic partial differential equations with total variation regularization and control constraints. Existing related literature relies on continuity and differentiability properties of the control-to-state operator with respect to the $L^\infty$-norm. While this is sufficient for deriving optimality conditions, it is not well-suited for numerical algorithms, as it neglects the spatial extent of perturbations and leads to a qualitative discrepancy compared to $L^q$-norms with $q < \infty$. In this work, we address this gap by exploiting $W^{1,s}$-regularity results to establish differentiability properties of the control-to-state operator with respect to $L^q$-norms for finite $q$. Based on this framework, we derive first- and second-order differentiability results for the reduced objective functional and establish first-order optimality conditions involving a restricted subdifferential characterization of the total variation seminorm and corresponding regularity of the associated multipliers. Building on this, we analyze a nonsmooth trust-region method based on an $L^r$-trust region for $r > 0.5 q$ and prove its convergence to first-order stationary points.

2606.17780 2026-06-17 math.DS 新提交

A symmetric mechanism for symmetry-breaking in oscillator networks with strong nonlinear coupling

具有强非线性耦合的振荡器网络中对称性破缺的对称机制

Theodore Vo, Yangyang Wang

AI总结 研究强非线性耦合的对称慢快振荡器网络中,对称折叠节点通过canard动力学诱导对称性破缺的几何机制,并应用于细胞周期模型。

详情
AI中文摘要

本文描述并分析了一种新颖的对称性破缺机制,该机制出现在最小对称耦合的相同慢快振荡器网络中,网络具有强非线性相互抑制耦合。我们令人惊讶地发现,对称性破缺源于位于对称轴上的折叠节点的canard动力学。通过将几何奇异摄动理论和爆破技术应用于规范型,我们确定了对称折叠节点诱导对称性破缺的几何机制。更具体地说,我们证明了:(i) 耦合系统的折叠曲线在对称折叠节点处与对称轴正交;(ii) 只有一个主要的最大canard(根据参数为强或弱),它始终位于对称轴上,并且是解扭转的旋转轴;(iii) 旋转次数是打破对称性的关键局部诊断特征。我们的工作与Kristiansen和Pedersen [SIAM J. Appl. Dyn. Syst., 22 (2023)]关于具有强线性抑制间隙连接耦合的对称耦合FitzHugh-Nagumo振荡器的工作密切相关,然而我们考虑非线性耦合,并识别和研究了他们的“尖点奇点”的多个子类型。我们通过将理论结果应用于真核细胞周期模型来展示,其中对称折叠节点在节律发生中起关键作用。更具体地说,我们研究了细胞周期模型的周期和准周期对称性破缺混合模式振荡吸引子。我们表明,由对称折叠节点引起的局部扭转是既打破对称性又在混合模式动力学中产生小振幅振荡的局部机制。

英文摘要

In this article, we describe and analyse a novel mechanism for symmetry-breaking in minimal symmetrically coupled identical slow/fast oscillator networks with strong nonlinear mutually inhibitory coupling. We show that the symmetry-breaking, surprisingly, originates from the canard dynamics of a folded node that lies on the axis of symmetry. By applying geometric singular perturbation theory and the blow-up technique to a normal form, we determine the geometric mechanisms by which the {\em symmetric folded node} induces symmetry-breaking. More specifically, we show that (i) the fold curve of the coupled system is orthogonal to the axis of symmetry at the symmetric folded node; (ii) there is only one primary maximal canard (either strong or weak, depending on parameters), which always lies on the axis of symmetry and is the axis of rotation for the twisting of solutions; and (iii) the number of rotations is the key local diagnostic feature that breaks the symmetry. Our work is closely related to that of Kristiansen and Pedersen [SIAM J. Appl. Dyn. Syst., {\bf 22} (2023)] on symmetrically coupled FitzHugh-Nagumo oscillators with strong linear inhibitory gap junctional coupling, however, we consider nonlinear coupling and we identify and study multiple sub-types of their `cusped singularities'. We demonstrate our theoretical results by applying them to a model of the eukaryotic cell cycle in which the symmetric folded node plays a key role in rhythmogenesis. More specifically, we study periodic and quasi-periodic symmetry-breaking mixed-mode oscillatory attractors of the cell cycle model. We show that the local twisting induced by the symmetric folded node is the local mechanism that both breaks the symmetry and generates the small-amplitude oscillations in the mixed-mode dynamics.

2606.17779 2026-06-17 math.AG 新提交

Sphericality of spaces of conics on homogeneous spaces

齐性空间上二次曲线空间的球面性

Minseong Kwon, Nicolas Perrin

AI总结 本文证明了在Picard秩为1的射影有理齐性空间X=G/P上,二次曲线的Hilbert scheme是G-球面的当且仅当P与Dynkin图的长根相关。

Comments 37 pages

详情
AI中文摘要

我们证明了在$X = G/P$(一个Picard秩为1的射影有理齐性空间)上,二次曲线的Hilbert scheme是$G$-球面的当且仅当$P$与Dynkin图的长根相关。

英文摘要

We prove that the Hilbert scheme of conics on $X = G/P$, a projective rational homogeneous space with Picard rank one, is $G$-spherical if and only if $P$ is associated to a long root of the Dynkin diagram.

2606.17778 2026-06-17 math.CV 新提交

Third-Order Toeplitz Determinant for a Subclass of Starlike Mappings in Higher Dimensions

高维星形映射子类的三阶Toeplitz行列式

Surya Giri

AI总结 本文建立了复Banach空间单位球和C^n中有界星形圆形域上一类星形映射的三阶Toeplitz行列式的精确界。

详情
AI中文摘要

本文建立了复Banach空间单位球和$\mathbb{C}^n$中有界星形圆形域上一类星形映射的三阶Toeplitz行列式的精确界。

英文摘要

The manuscript establishes sharp bound of the third-order Toeplitz determinant for a subclass of starlike mappings defined on the unit ball in a complex Banach space and on bounded starlike circular domains in $\mathbb{C}^n.$

2606.17772 2026-06-17 math.NA cs.NA 新提交

Finite Difference Implementation of a High-order Space-Time Coupled Compact Gas-Kinetic Scheme

高阶时空耦合紧致气体动理学格式的有限差分实现

Fengxiang Zhao, Yibing Chen, Kun Xu

AI总结 提出一种高阶紧致有限差分气体动理学格式,通过双网格策略和GENO方法实现时空耦合的高精度重构,有效模拟从光滑多尺度到强间断的流动。

详情
AI中文摘要

本研究提出一种高阶紧致有限差分气体动理学格式(FD-CGKS),该格式引入了一种新颖的空间离散化策略,用于在结构化网格上高效实现时空耦合高阶格式。通过从节点和界面位置的物理通量构造数值通量,实现了保守的非线性紧致离散化。为了简化GKS通量评估所需的多维空间重构,我们提出了一种双网格方法,在主网格和与其偏移半个网格间距的相同对偶网格上同时更新守恒变量。利用气体动理学演化模型的时间精确界面解,该格式显式更新虚拟界面之间的平均空间导数,自然地实现了紧致高阶重构。此外,结合非线性GENO方法以高分辨率和鲁棒性捕捉流动间断,有效抑制了虚假振荡。所提出的框架也为基于时空解耦Riemann求解器设计格式提供了新视角,并得到了系统验证。对无粘和粘性流动的全面基准计算表明,该格式在解析从光滑多尺度结构到强激波间断的广泛流动特征方面具有高精度。

英文摘要

This study presents a high-order compact finite difference gas-kinetic scheme (FD-CGKS) that introduces a novel spatial discretization strategy for the efficient implementation of space-time coupled high-order schemes on structured grids. A conservative nonlinear compact discretization is achieved by formulating numerical fluxes from physical fluxes at both nodal and interfacial locations. To simplify the multidimensional spatial reconstruction required for the GKS flux evaluation, we propose a dual-grid approach that updates conservative variables on both a primary grid and an identical dual grid, offset by half the mesh spacing. By leveraging the time-accurate interface solutions from the gas-kinetic evolution model, the scheme explicitly updates averaged spatial derivatives between virtual interfaces, naturally enabling compact high-order reconstruction. Furthermore, a nonlinear GENO method is incorporated to capture flow discontinuities with high resolution and robustness, effectively suppressing spurious oscillations. The proposed framework, which also offers new perspectives for designing schemes based on space-time decoupled Riemann solvers, is systematically validated. Comprehensive benchmark computations of inviscid and viscous flows demonstrate the scheme's high accuracy in resolving a wide spectrum of flow features, from smooth multiscale structures to strong shock discontinuities.

2606.17770 2026-06-17 math.FA math.AP 新提交

Generalized Sobolev-Orlicz spaces based on the Riesz fractional gradient as interpolation and potential spaces

基于Riesz分数阶梯度的广义Sobolev-Orlicz空间作为插值和位势空间

Pedro Miguel Campos, Guillermo García-Sáez

AI总结 本文证明基于Riesz分数阶梯度的Musielak-Orlicz函数分数阶Sobolev空间与广义Orlicz框架下的Bessel位势空间一致,并识别为复插值空间,进而获得空间的结构性质。

详情
AI中文摘要

本文中,我们建立了由一位作者最近引入的基于Riesz分数阶梯度的Musielak-Orlicz函数的分数阶Sobolev空间,与这种广义Orlicz框架下的Bessel位势函数空间的一致性。此外,我们将它们识别为复插值空间,并利用算子插值的已知性质,获得了这些空间的若干结构性质。

英文摘要

In this work we establish that the recently introduced fractional Sobolev spaces based on the Riesz fractional gradient of Musielak-Orlicz functions by one of the authors, coincide with the space of Bessel potentials of functions on such generalized Orlicz setting. Moreover, we identify them as complex interpolation spaces, and exploiting the well known properties for interpolation of operators we obtain several structural properties for those spaces.

2606.17769 2026-06-17 math.OC 新提交

A Bilevel Optimization Model for Bottom-Up Coordination of Multiple Low-Voltage Energy Communities and the Medium-Voltage Network

一种用于多个低压能源社区与中压网络自下而上协调的双层优化模型

Fernando García-Muñoz, Sebastián Dávila, Luis Rojo-González, Cristian Duran-Mateluna

AI总结 提出一种Stackelberg双层优化模型,由本地市场运营商聚合多个低压社区作为领导者,中压网络作为跟随者,通过KKT条件精确单层重构和LDD-ADMM分布式算法实现协调,验证表明算法精度高但领导者决策可能增加跟随者成本。

详情
AI中文摘要

分布式能源(DER)的日益普及正在将低压(LV)网络转变为主动系统,包括能源社区,其发电、储能和能源交换活动需要与上游中压(MV)网络加强协调。在所提出的Stackelberg结构中,本地市场运营商聚合多个LV社区并作为单一领导者,确定DER运行和边界能量交换,而MV网络作为跟随者,通过包含常规发电和公用事业规模光伏发电的经济调度确保系统可行性。所提出的自下而上协调方案将离散的DER调度集中在LV层面,而MV层面保持凸连续形式,通过Karush-Kuhn-Tucker(KKT)条件实现精确的单层重构。此外,开发了一种结合拉格朗日对偶分解(LDD)和交替方向乘子法(ADMM)的分布式协调算法,以并行协调LV社区同时保护数据隐私。该框架使用MV层面的IEEE 33节点系统和六个欧洲206节点LV测试馈线进行验证。结果表明,LDD-ADMM算法与精确重构高度吻合,平均相对偏差为1.7e-4,偏差仅限于廉价资源稀缺的时段。此外,领导者的决策可能诱导运行条件,使跟随者的成本相对于其独立最优调度增加,这一模式通过与基于可行性的单层松弛(满足所需能量交换但未能实现MV资源的成本有效分配)的比较得到加强。

英文摘要

The increasing penetration of distributed energy resources (DERs) is transforming low-voltage (LV) networks into active systems, including energy communities, whose generation, storage, and energy exchange activities require enhanced coordination with upstream medium-voltage (MV) networks. In the proposed Stackelberg structure, a local market operator aggregates multiple LV communities and acts as a single leader, determining DER operations and boundary energy exchanges, while the MV network serves as the follower, ensuring efficient system feasibility through an economic dispatch that includes both conventional and utility-scale PV generation. The proposed bottom-up coordination scheme concentrates discrete DER scheduling at the LV level while the MV level retains a convex continuous formulation, enabling an exact single-level reformulation via the Karush-Kuhn-Tucker (KKT) conditions. In addition, a distributed coordination algorithm that combines Lagrangian Dual Decomposition (LDD) with the Alternating Direction Method of Multipliers (ADMM) is developed to coordinate LV communities in parallel while preserving data confidentiality. The framework is validated using the IEEE 33-bus system at the MV level and six European 206-bus LV test feeders. Results indicate that the LDD-ADMM algorithm closely matches the exact reformulation, with an average relative deviation of 1.7e-4, with deviations confined to periods of scarcity for the cheap resource. Furthermore, leaders' decisions can induce operating conditions that increase followers' costs relative to their independently optimal dispatch, a pattern reinforced by comparison with a feasibility-based single-level relaxation that satisfies the required energy exchanges but fails to achieve a cost-efficient allocation of MV resources.

2606.17768 2026-06-17 math.OC 新提交

Description of the set of admissible piecewise linear routes with n turns in the three dimensional case

三维情形下具有 n 个转弯的可行分段线性路径集合的描述

Nefedov V. N

AI总结 针对三维空间中连接两点、含 n 个转弯且转角受限的分段线性路径,描述了所有内部顶点所属的集合,并证明了该集合中任意点均可构造出满足参数的路径,进而得到所有角点序列的显式公式。

Comments 13 pages, 3 figures

详情
AI中文摘要

我们考虑连接给定两点 $A, B \in \mathbb{R}^3$ 且恰好由 $n+1$ 段组成(即具有 $n$ 个转折点)的分段线性多边形链。每个内点处的转弯角绝对值受给定数 $\varphi \in (0,\pi)$ 限制。在条件 $n\varphi \leq \pi$ 下,我们描述了此类多边形链的所有内部顶点所属的集合(定理1)。证明对于该集合中的任意点 $B^{(1)}$,存在具有指定参数的多边形链(引理1)。基于这些结果,我们得到了描述多边形链所有可行角点序列 $(B^{(1)}, \ldots, B^{(n)})$ 的显式公式。所获得的描述可作为构建枚举可行多边形链算法以及解决考虑段穿越成本和转弯成本的目标函数优化问题的基础。

英文摘要

We consider piecewise linear polygonal chains connecting two given points $A, B \in \mathbb{R}^3$ and consisting of exactly $n+1$ segments (i.e., having $n$ turning points). The absolute value of the turning angle at each interior point is bounded by a given number $φ\in (0,π)$. Under the condition $nφ\leq π$, we describe the set to which all interior vertices of such a polygonal chain belong (Theorem 1). It is proved that for any point $B^{(1)}$ from this set, there exists a polygonal chain with the specified parameters (Lemma 1). Based on these results, we obtain an explicit formula describing the set of all admissible sequences $(B^{(1)}, \ldots, B^{(n)})$ of the angular points of the polygonal chain. The obtained description can serve as a basis for constructing algorithms to enumerate admissible polygonal chains and to solve optimization problems for an objective function that accounts for the cost of traversing the segments and the cost of turns.

2606.17766 2026-06-17 math.OC 新提交

Operator Learning for PDE Backstepping Control of Parabolic Equations on Time-Varying Domains

时变域上抛物型方程PDE反步控制的算子学习

Jinrun Yan, Kai Liu, Zhong-Jie Han

AI总结 针对时变空间域上的抛物型方程,提出基于神经算子学习的边界控制框架,通过DeepONet学习时变反步核算子,避免在线重复求解核PDE,实现近三个数量级的加速和实时镇定。

详情
AI中文摘要

本文开发了一种基于学习的边界控制框架,用于镇定定义在时变空间域上的抛物型方程。尽管偏微分方程(PDE)反步法为此类移动边界系统提供了系统的理论框架,但其实时实现因需要在演化域上重复求解时变核PDE而受到阻碍。为克服这一限制,我们首先将时变反步设计表述为一个算子,该算子将移动边界轨迹映射到相应的反步核。通过将反步核方程的时变域映射到固定参考域,我们建立了核关于移动边界轨迹的连续依赖性,这为通过神经算子逼近反步设计算子提供了理论基础。基于近似核算子,我们构造相应的边界反馈控制器以镇定系统。结果表明,闭环系统在任何给定的有限时间区间上具有指数衰减估计。在数值实现中,采用DeepONet从离线生成的数值核解中学习时变核算子,随后在线部署以生成所需的时变核,而无需重复求解核PDE。数值基准测试表明,所提出的基于神经算子的实现避免了时变核PDE的在线重复求解,与传统数值核求解器相比实现了近三个数量级的显著加速,从而能够在时变空间域上实时镇定系统。

英文摘要

This paper develops a learning-based boundary control framework for stabilizing a parabolic equation defined on time-varying spatial domain. Although the partial differential equation (PDE) backstepping method provides a systematic theoretical framework for such moving-boundary systems, its real-time implementation is hindered by the need to repeatedly solve time-varying kernel PDEs on evolving domains. To overcome this limitation, we first formulate the time-varying backstepping design as an operator that maps the moving-boundary trajectory to the corresponding backstepping kernel. By mapping the time-varying domain of the backstepping kernel equation onto a fixed reference domain, we establish the continuous dependence of the kernel on the moving-boundary trajectory, which provides the theoretical basis for approximating the backstepping design operator by a neural operator. Based on the approximate kernel operator, we construct the corresponding boundary feedback controller to stabilize the system. It is shown that the closed-loop system admits an exponential decay estimate on any prescribed finite time interval. For numerical implementation, DeepONet is employed to learn the time-varying kernel operator from offline-generated numerical kernel solutions and is subsequently deployed online to generate the required time-varying kernels without repeatedly solving the kernel PDE. Numerical benchmarks demonstrate that the proposed neural-operator-based implementation bypasses repeated online solution of the time-varying kernel PDE, achieves a significant acceleration of close to three orders of magnitude compared with conventional numerical kernel solvers, and thus enables real-time stabilization of the system on time-varying spatial domain.

2606.17759 2026-06-17 math.NA cs.NA 新提交

Time integration as filtering: a space-time discretization-aware LES formulation

时间积分作为滤波:一种时空离散感知的大涡模拟公式

Syver Døving Agdestein

AI总结 提出一种时空离散感知的大涡模拟公式,通过将前向欧拉时间差分视为单边顶帽滤波,推导出包含时间项的通量分解,并利用Lax-Wendroff型扩散修正提高粗时间步下的精度。

Comments 6 pages, 2 figures, submitted to DLES 15 proceedings

详情
AI中文摘要

离散感知的大涡模拟通过认识到粗有限差分是顶帽滤波后的精确导数(“滤波-交换”性质),给出了有限体积大涡模拟中离散目标通量的精确表达式。该论证纯粹是空间上的;这里我们观察到前向欧拉时间差分本身就是一个(单边)顶帽滤波后的精确时间导数,并在时空中重复这一构造。由此产生的精确离散通量分解在空间分解的基础上增加了一个时间项:一个通量求积误差,该误差随着时间积分器的求积阶数增加而减小。在Burgers实验中,该项随CFL数增长而空间项不增长,并且用其主导项(Lax-Wendroff型扩散)增强的Smagorinsky封闭在粗时间步长下保持精度,而纯空间封闭则退化。

英文摘要

Discretization-aware LES yields an exact expression for the discrete target flux in finite-volume LES by recognizing that a coarse finite difference is a top-hat-filtered exact derivative (the "filter-swap" property). That argument is purely spatial; here we observe that the forward-Euler time difference is itself a (one-sided) top-hat-filtered exact time derivative, and repeat the construction in space-time. The resulting exact discrete flux decomposition extends the spatial one with a single temporal term: a flux-quadrature error that shrinks with the quadrature order of the time integrator. In a Burgers experiment this term grows with the CFL number while the spatial terms do not, and a Smagorinsky closure augmented with its leading order - a Lax-Wendroff-type diffusion - stays accurate at coarse time steps where space-only closures degrade.