The hierarchies of identities and closed products for multiple complexes

2026-03-05T12:18:53Z

We consider infinite $\Z_\Z$-index complexes $\mathcal C$ of spaces with elements depending on a number of parameters, complete with respect to a linear associative regular inseparable multilinear product. The existence of nets of vanishing ideals of orders of and powers of differentials is assumed for subspaces of $\mathcal C$-spaces. In the polynomial case of orders and powers of the differentials, we derive the hierarchies of differential identities and closed multiple products. We prove that a set of maximal orders and powers for differentials, differential conditions, together with coherence conditions on indices of a complex $\mathcal C$ elements generate families of multi-graded differential algebras.

Global versus local internal-external field separation on the sphere: a Hardy-Hodge perspective

2026-03-05T07:25:49Z

Internal-external field separation is crucial for many aspects of geomagnetism, aiming at distinguishing contributions of the magnetic field generated within the Earth (or any other planet) from those produced in the exterior. When data is available on a full spherical observation surface, this separation is a standard, stable, and widely used procedure dating back to Gauss. However, when data is only available in a subdomain of the observation surface (as is the case for aeromagnetic and ground-based surveys), the situation changes. Here we show that, without prior assumptions, an internal-external field separation is not uniquely possible. Given the geophysically reasonable assumption that the exterior sources (e.g., ionospheric current systems) are located above a source-free spherical shell, we show that a unique separation becomes possible but that it is highly unstable. The results are based on a Hardy-Hodge decomposition of spherical vector fields and provide an explanation of the intrinsic difficulties of regional data-based internal-external field separation.

Frequency of a Digit in the Representation of a Number and the Asymptotic Mean Value of the Digits

2026-03-05T07:07:01Z

We study the relationship between the frequency of a ternary digit in a number and the asymptotic mean value of the digits. The conditions for the existence of the asymptotic mean of digits in a ternary number are established. We indicate an infinite everywhere dense set of numbers without frequency of digits but with the asymptotic mean of the digits.

Transformations and functions that preserve the asymptotic mean of digits in the ternary representation of a number

2026-03-05T06:57:48Z

In the paper we study transformations of the interval $[0;1)$ and functions that preserve the asymptotic mean $r$ of the digits in the $s$--adic representation of a number $x$, $$r(x)=\lim\limits_{n\to\infty}\frac{1}{n}\sum\limits^{n}_{i=1}α_i(x)$$ specify the necessary and sufficient conditions for a transformation to belong to this class

Cotype of random polytopes

2026-03-05T02:54:10Z

For $N\geq n$, let $P_{N,n}$ be a random polytope in ${\mathbb R}^n$ with vertices $\pm X_i$, $1\leq i\leq N$, where $X_1,\dots,X_N$ are i.i.d standard Gaussian vectors in ${\mathbb R}^n$. Random polytopes $P_{N,n}$, as well as their duals, are classical objects of interest in high-dimensional convex geometry and local Banach space theory. In this paper, we provide a {\it dimension-independent} bound on the cotype of the corresponding normed space $({\mathbb R}^n,\|\cdot\|_{P_{N,n}})$, generated by $P_{N,n}$. Let $K'\geq K>1$, and assume that $K'\geq \frac{N}{n}\geq K$. We show that with probability $1-o(1)$, for any $k\geq 1$, and any collection $y_1,\dots,y_k$ of vectors in ${\mathbb R}^n$, $$ {\mathbb E}_σ\,\Big\|\sum_{i=1}^k σ_i y_i\Big\|_{P_{N,n}}^q \geq \frac{1}{C_q^q}\sum_{i=1}^k \big\|y_i\big\|_{P_{N,n}}^q, $$ where $σ=(σ_1,\dots,σ_k)$ is a vector of random signs, and where $q\in [2,\infty)$ and $C_q\in[1,\infty)$ may only depend on $K,K'$. We discuss the result in context of infinite-dimensional Banach spaces.

The Hölder regularity of harmonic function on bounded and unbounded p.c.f self-similar sets

2026-03-05T01:39:13Z

In this paper, we prove a generalized reverse Hölder inequality of harmonic functions on cable systems induced by post-critically finite (p.c.f.) self-similar sets. Furthermore, we also establish the Hölder regularity of harmonic functions on both bounded and unbounded p.c.f. self-similar sets, which does not involve heat kernel estimates and resistance estimates.

On a conjecture of $λ$-Aluthge transforms and Hilbert--Schmidt self-commutators

2026-03-04T22:36:58Z

Let $A$ be a complex square matrix, and write its polar decomposition as $A=U|A|$. For $0<λ<1$, the $λ$-Aluthge transform of $A$ is defined by $$ Δ_λ(A)=|A|^λU|A|^{1-λ}. $$ In 2007, Huang and Tam conjectured that the Frobenius norm of the self-commutator is contractive under $Δ_λ$: for every $0<λ<1$, $$ \|A^*A-AA^*\|_{F} \ \ge\ \|Δ_λ(A)^*Δ_λ(A)-Δ_λ(A)Δ_λ(A)^*\|_{F}. $$ If this inequality held, then the iterated self-commutator norms $$ \Bigl\{\bigl\|Δ_λ^{\,m}(A)^*Δ_λ^{\,m}(A) -Δ_λ^{\,m}(A)Δ_λ^{\,m}(A)^*\bigr\|_F\Bigr\}_{m\in\mathbb N} $$ would form a nonincreasing sequence and necessarily converge to $0$. In this paper we provide a counterexample, thereby disproving the conjecture. We also obtain the quantitative bounds $$ \sqrt{\frac32}\ \le\ \sup_{\substack{A\in\mathbb{M}_n(\mathbb{C}),\ A^*A\neq AA^*\\ 0<λ<1}} \frac{\|Δ_λ(A)^*Δ_λ(A)-Δ_λ(A)Δ_λ(A)^*\|_F}{\|A^*A-AA^*\|_F} \ \le\ 2. $$

Drinfeld Correspondence in Infinite Dimensions

2026-03-04T21:49:59Z

In this article, we establish the Drinfeld correspondence between Poisson Lie groups and their infinitesimal counterparts, Lie bialgebras, in the infinite-dimensional setting. Specifically, we extend this correspondence to regular Lie groups modeled on convenient vector spaces, with a particular focus on those modeled on nuclear Fréchet and nuclear Silva spaces. Important examples of interest include the smooth loop group $C^{\infty}(\mathbb{S}^{1}, G)$ and the analytic loop group $C^ω(\mathbb{S}^{1}, G)$ of a 1-connected real Lie group $G$, as well as $\widetilde{\mathrm{Diff}^{\infty}(M)_0}$ and $\widetilde{\mathrm{Diff}^ω(M)_0}$ -- the universal covering groups of the identity components of the groups of smooth and real-analytic diffeomorphisms of a compact manifold $M$.

A new class of function spaces generalizing the Arias-de-Reyna space

2026-03-04T21:43:50Z

This paper studies the structure and properties of a rearrangement-invariant quasi-Banach space $QA_{\varphi,ψ}$ which generalizes the classical space $QA$ introduced by Arias-de-Reyna in connection with the study of the pointwise almost everywhere convergence of Fourier series. We present basic properties of $QA_{\varphi,ψ}$ and explore the relationship between $QA_{\varphi,ψ}$ and other rearrangement-invariant Banach spaces.

Characterization of the (fractional) Malliavin-Watanabe-Sobolev spaces $\mathcal{D}^{α,2}$ via the Bargmann-Segal norm

2026-03-04T20:46:24Z

Motivated by an open question going back to P.Malliavin and P.-A.Meyer (and closely related to the foundational work of S.Watanabe) on whether Malliavin-Watanabe-Sobolev regularity admits a characterization in terms of a holomorphic Laplace image similar as for Hida distributions, we establish a characterization of the spaces $\mathcal{D}^{α,2}$ for all $α\in\mathbb{R}$ via the Bargmann-Segal norm of the $S$-transform. More precisely, we express $\mathcal{D}^{α,2}$-regularity, $α> 0$, of $F\in L^{2}(μ)$, as well as dual regularity of distributions, in terms of integrability, differentiability and growth properties of the function \[ (0,1) \ni λ\longmapsto \int_{\mathcal{S}'_{\mathbb{C}}} |SF(λu)|^{2}\,dν(u) \] involving integer-order derivatives in $λ$ for $α\in\mathbb{N}$ and Riemann-Liouville fractional derivatives/integrals for non-integer $α$. Here $ν$ is the Gaussian Bargmann-Segal measure. This yields practical criteria for both positive and negative (including fractional) orders of Malliavin regularity and thereby bridges Malliavin calculus and Bargmann-Segal techniques from white noise analysis. Applications are worked out for Donsker's delta, self-intersection local times of Gaussian processes, and Gauss kernels.

$\mathrm{L}^p$-based Sobolev theory on closed manifolds of minimal regularity: Vector-valued problems

2026-03-04T20:22:33Z

This paper is the second part of a two-paper series, initiated in arXiv:2603.02163 for scalar PDEs on hypersurfaces, and is concerned with the well-posedness and $\mathrm{L}^p$-based Sobolev regularity of vector-valued PDEs of interest in fluid dynamics. This family of PDEs includes the (stationary) Bochner Laplace, tangent Stokes and Oseen, and tangent Navier--Stokes equations. We present several strong, weak and ultra-weak formulations of these problems on compact, connected $d$-dimensional manifolds without boundary embedded in $\mathrm{R}^{d+1}$. We prove $\mathrm{W}^{m,p}$-regularity for any $p \in (1,\infty)$ for manifolds of minimal regularity $C^{m+1}$ or $C^{m,1}$ for $m\ge1$. Building upon the $\mathrm{L}^p$-based scalar elliptic theory from arXiv:2603.02163, we develop a parametrization-free and purely variational approach that resorts to classical results such as the Banach--Nečas--Babuška theorem and the generalized Babuška--Brezzi theory in reflexive Banach spaces. In particular, by exploiting the manifold closedness, we decouple the velocity and pressure variables in the tangent Stokes problem to establish their higher-regularity $\mathbf{W}^{m,p} \times \mathrm{W}^{m-1,p}$ ($m \geq 2$) as a consequence of the $\mathrm{L}^p$-based well-posedness and regularity theory for the Laplace--Beltrami and Bochner--Laplace operators. We study spectral and regularity properties of an appropriate Stokes operator, and apply them to show existence of solutions for the Navier--Stokes equations for $p=2$ and $d \leq 4$. We next extend the well-posedness to $p > 2$ and prove higher-order $\mathrm{L}^p$-based regularity. We finally examine alternative choices to the Bochner Laplace operator that are useful in fluid dynamics.

Some Sharp bounds for the generalized Davis-Wielandt radius

2026-03-04T18:51:18Z

This paper presents a study of the generalized Davis-Wielandt radius of Hilbert space operators. New lower bounds for the generalized Davis-Wielandt radius and numerical radius are provided. An alternative of the triangular inequality for operators is also derived.

Some Plancherel identities for unbounded subsets of $\mathbb R$ in duality

2026-03-04T17:09:48Z

In relation to Fuglede's conjecture, we establish several Plancherel-type identities and demonstrate the surjectivity of the Fourier transform between certain unbounded tiling sets of $\mathbb{R}$ that are in duality. In the terminology commonly used in the context of Fuglede's conjecture, our result states that an open set tiles $\mathbb{R}$ by the finite set $\{0,1,\dots,p-1\}$ if and only if it admits a spectrum (or, equivalently, a dual pair measure) given by the Lebesgue measure on $\left[-\tfrac{1}{2p}, \tfrac{1}{2p}\right] + \mathbb{Z}$.

Extreme and exposed points of shift-invariant spaces generated by Gaussian kernel and hyperbolic secant

2026-03-04T16:51:56Z

We characterize the extreme and exposed points of the unit ball (with respect to the $L^1$-norm) in the shift-invariant space generated by the Gaussian function, as well as in the quasi shift-invariant space generated by the hyperbolic secant.

Khinchin inequalities for uniforms on spheres with a deficit

2026-03-04T16:26:30Z

We sharpen the moment comparison inequalities with sharp constants for sums of random vectors uniform on Euclidean spheres, providing a deficit term (optimal in high dimensions).