On divergence operators: Free space and vanishing charges

2026-03-19T03:00:12Z

We use localized topologies to prove existence and optimal regularity results for the divergence equation $\mathrm{div} (v) = F$ in critical cases $v \in L_1(Ω;\mathbb{R}^m)$ or $v \in C_0(Ω;\mathbb{R}^m)$, i.e. we characterize those $F$ for which a solution $v$ exists whose norm is bounded by an appropriate norm of $F$. We assume $Ω$ satisfies a Poincaré inequality or an extension property. We apply the general theory to give examples of admissible $F$ in each case.

Regularity of the Semigroup of Regular Probability Measures on Locally Compact Hausdorff Topological Groups in which every element is of finite order

2026-03-19T02:40:25Z

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular elements in certain subsemigroups of P(G) (Theorem 4.1 [11]) for compact G remains true for locally compact G. In addition, a complete description of algebraically regular elements in P(G) has been established when G is countable or uncountable where every proper subgroup is countable. In this case the standing assumption that every element is of finite order is not required. For compact Lie groups, Fourier transform techniques are also used to get more information on P(G). Several concrete examples are provided to illustrate the observations.

Bourgain-uo sequential completeness in vector lattices

2026-03-19T02:14:18Z

We revisit Bourgain's 1981 counterexample to the sequential completeness of the `pointwise plus domination' convergence on $\ell_1$ from the perspective of vector lattices. In this setting, we show that for sequences the associated notion of Bourgain--uo convergence coincides with ordinary order convergence. Motivated by Bourgain's construction, we introduce a strengthened, subsequence-invariant notion of Cauchy sequence: a sequence $(x_n)$ in a vector lattice $E$ is called Buo-Cauchy if for every strictly increasing sequence $(n_k)$ the differences $x_{n_{k+1}}-x_{n_k}$ converge to $0$ in order in $E$. We first show that sequential Buo-completeness forces $σ$-order completeness. Thus every non-$σ$-order complete vector lattice fails sequential \Buo-completeness. In particular, free Banach lattices $\mathrm{FBL}(E)$ are not sequentially Buo-complete whenever $\dim E>1$. On the positive side, we prove that the classical sequence lattices $c_0$ and $\ell_\infty$ are sequentially Buo-complete: every Buo-Cauchy sequence converges in order, and hence in the Buo sense. Finally, we obtain a sharp metric characterisation for bounded Lipschitz function lattices: the vector lattice $\mathrm{Lip}_b(X)$ of bounded Lipschitz functions on a metric space $(X,d)$ is sequentially Buo-complete if and only if $X$ is uniformly discrete.

Lower and upper bounds of joint $(f,δ)$-numerical radius functions

2026-03-19T01:59:35Z

In this study, the classical results on the joint numerical radius for $n$-tuples of Hilbert space operators are extended to the setting of the joint $(f,δ)$-numerical radius. New and diverse contributions to this area are provided, including novel estimates for the lower and upper bounds of the $(f,δ)$-numerical radius in the context of sectorial operators.

Duality for Delsarte's extremal problem on locally compact Abelian groups

2026-03-18T21:18:32Z

The Delsarte extremal problem for positive definite functions, originally introduced by Delsarte in coding theory to bound the size of error-correcting codes, has since found applications in diverse areas such as sphere packing, Fuglede's spectral set conjecture, and $1$-avoiding sets. Recent developments have established the existence of extremizers in fairly general settings and identified precise linear programming dual formulations, together with strong duality results, in several important cases including finite groups and $\mathbb{R}^d$. In this paper, we consider a generalized Delsarte problem on locally compact Abelian groups, providing a natural framework for harmonic analysis. We extend both the normalization and the objective functional to encompass a wide range of previously studied cases, while avoiding restrictive topological assumptions common in the literature. Within this general setting, we derive the corresponding dual problem and prove a strong duality theorem, thereby unifying and extending earlier results. Naturally, our proof uses harmonic analysis, but the key is a functional analytic approach which distinguishes our proof from existing methods.

Exact Banach-Mazur distances of certain $\ell_p$-sums and cones

2026-03-18T20:41:37Z

We determine certain Banach-Mazur distances involving $\ell_p$-direct sums of finite-dimensional real normed spaces and related cone constructions of convex bodies. Using a recent characterization of the optimal Banach-Mazur position with respect to the Euclidean ball, we derive a closed formula for the distance from $X_1 \oplus_p \cdots \oplus_p X_k$ to Euclidean space in terms of the distances of the spaces $X_i$ to Euclidean space. For $p = 1$ we show that if $d_{BM}(X,\ell_1^n) \leq 3$, then $d_{BM}(X \oplus_1 \ell_1^m, \ell_1^{n+m}) = d_{BM}(X,\ell_1^n)$. Interpreting $\ell_1$-sums geometrically as double cones motivates a study of single cones over arbitrary convex bases, for which we establish an analogous result with the simplex replacing $\ell_1$. We further show that in dimension $3$ the distance between single cones with symmetric bases equals the distance between the bases, and that the same equality holds for double cones over planar symmetric bases in arbitrary dimension, under an additional assumption on the distance of the bases to $\ell_1^2$. As consequences, we obtain an explicit isometric embedding of the $2$-dimensional symmetric Banach-Mazur compactum into the $3$-dimensional (non-symmetric) compactum and lift a recent construction of arbitrarily large equilateral sets in the $2$-dimensional symmetric compactum to all higher dimensions.

A new class of orthogonal polynomials

2026-03-18T17:45:23Z

We consider random walk polynomial sequences $(P_n(x))_{n\in\mathbb{N}_0}\subseteq\mathbb{R}[x]$ given by recurrence relations of the form $P_0(x)=1$, $P_1(x)=x$ and $x P_n(x)=a_n P_{n+1}(x)+c_n P_{n-1}(x)\;(n\in\mathbb{N})$, where $a_n$ and $c_n$ are positive and sum up to $1$. $(P_n(x))_{n\in\mathbb{N}_0}$ is said to satisfy nonnegative linearization of products if the product of any two polynomials $P_m(x)$, $P_n(x)$ is a convex combination of $P_{|m-n|}(x),\ldots,P_{m+n}(x)$. This property gives rise to a hypergroup structure and a sophisticated harmonic analysis. We are interested in examples such that both the original sequence $(P_n(x))_{n\in\mathbb{N}_0}$ and the sequence $(\widetilde{P_n}(x))_{n\in\mathbb{N}_0}$ which corresponds to switched roles of $(a_n)_{n\in\mathbb{N}}$ and $(c_n)_{n\in\mathbb{N}}$ satisfy nonnegative linearization of products. Such considerations were recently started by Lasser and Obermaier and can be motivated from a harmonic analytic, combinatorial or probabilistic point of view. However, Lasser and Obermaier left open the question whether examples besides the trivial example of the Chebyshev polynomials of the first kind $(T_n(x))_{n\in\mathbb{N}_0}$ (with $a_n\equiv c_n\equiv1/2$) actually exist. We provide a sufficient criterion and explicitly construct such nontrivial examples. Moreover, we provide characterizations of $(T_n(x))_{n\in\mathbb{N}_0}$ by additionally involving properties of the duals and Haar measures. Our criterion also enables us to solve open problems concerning the Haar measure of polynomial hypergroups stated by Kahler and Szwarc.

Positivity is undecidable in tensor products of free algebras

2026-03-18T17:14:49Z

It is well known that an element of the algebra of noncommutative *-polynomials is positive in all *-representations if and only if it is a sum of squares. This provides an effective way to determine if a given *-polynomial is positive, by searching through sums of squares decompositions. We show that no such procedure exists for the tensor product of two noncommutative *-polynomial algebras: determining whether a *-polynomial of such an algebra is positive is coRE-hard. We also show that it is coRE-hard to determine whether a noncommutative *-polynomial is trace-positive. Our results hold if noncommutative *-polynomial algebras are replaced by other sufficiently free algebras such as group algebras of free groups or free products of cyclic groups.

Existence of Decreasing Nambu Solutions to the Rainbow Ladder Gap Equation of QCD by Cone Compression

2026-03-18T16:41:13Z

Studying Nambu solutions of the rainbow-ladder gap equation in QCD at zero temperature and chemical potential, we prove that the mass function emerges continuously from zero as the interaction strength is increased past the critical point for all positive, asymptotically perturbative kernels almost everywhere continuous in $L^1$ using the Krasnosel'skii-Guo Cone Compression Theorem. We prove that the coupled system of equations must have a positive, continuous Nambu solution with decreasing mass function for all current quark masses for a class of models which includes the physical point of a popular model of QCD by using a hybrid Krasnosel'skii-Schauder Fixed Point Theorem.

Embedding $\ell_2$ and $J$ into subspaces of $JT$ and $JT^*$

2026-03-18T16:09:20Z

In the first part of the paper we show that every closed subspace of $JT$ or $JT^*$ contains $\ell_2$ complemented in $JT$ or $JT^*$ respectively, and $JT$ contains uncomplemented copies of $\ell_2$. As a result, the predual $\B$ of $JT$, as well as the spaces $JT$ and $JT^*$, are subprojective and superprojective. In the second part, we prove that every weakly Cauchy sequence that is not weakly convergent in $JT$ has a subsequence equivalent to the basis of $J$. Hence, every non-reflexive subspace of $JT$ contains an isomorphic copy of $J$, and every Schauder basic sequence in $JT$ has a subsequence which is equivalent either to the basis of $\ell_2$ or to the basis of $J$. Moreover these subspaces may be selected to be complemented in $JT$.

An order-theoretic characterization of JB-algebras

2026-03-18T15:22:42Z

We give an order-theoretic characterization of the JB-algebras among the complete order unit spaces in terms of the existence of an order-anti-automorphism of the interior of the cone that is homogeneous of degree -1. More geometrically, we characterize JB-algebras as those complete order unit spaces for which the interior of the cone is a symmetric Banach--Finsler manifold under Thompson's metric. Furthermore, we show that two order unit spaces are isomorphic if there exists a gauge-reversing bijection between them, thus answering a question raised by Noll--Schäfer. These results have previously been established for finite-dimensional resp. reflexive order unit spaces by Walsh and Lemmens--R.--Wortel.

Constructive Peter--Weyl Theory: What is Known and What Remains Open

2026-03-18T11:30:50Z

This survey-style note reviews constructive versions of the Peter--Weyl theorem in the Bishop--Coquand--Spitters line. Its main purpose is to clarify which parts of the classical Peter--Weyl package admit constructive reformulations, which parts survive only in weaker or reorganized form, and which questions still appear to remain open. The term ``constructive'' is used here primarily in the Bishop-style sense, together with the related locale-theoretic and formal-topological developments that occur in the work of Coquand and Spitters. We review the constructive compact-group results of Coquand and Spitters, the later role of almost periodic functions and compact completions, and the interaction with constructive Gelfand representation and locale-theoretic compactness. The guiding theme is that the constructive theory exists, but it is often most naturally expressed not as a literal transcription of the classical theorem in terms of irreducible decompositions alone, but rather through finite-rank approximation, characters, and compactifications attached to functions or groups. For orientation and comparison, we also include an appendix giving a standard classical form of the Peter--Weyl theorem together with a pedagogical Haar-measure-based proof, followed by comments indicating where the classical argument relies on steps that are not automatically constructive. Possible later extensions to topological loops and quasigroups are included as a programmatic direction rather than as part of the currently established core.

Functional calculus and semilinear evolution equations for the Taibleson operator on non-Archimedean local fields

2026-03-18T10:05:45Z

For any non-Archimedean local field $\mathbb{K}$ and any integer $n \geq 1$, we show that the Taibleson operator admits a bounded $\mathrm{H}^\infty(Σ_θ)$ functional calculus on the Bochner space $\mathrm{L}^p(\mathbb{K}^n,Y)$ for any $\mathrm{UMD}$ Banach function space $Y$ and any angle $θ> 0$, where $Σ_θ=\{ z \in \mathbb{C}^*: |\arg z| < θ\}$ and $1 < p < \infty$. Moreover, we prove that it even admits a bounded Hörmander functional calculus of order $\frac{3}{2}$. In our study, we explore harmonic analysis on locally compact Spector-Vilenkin groups and establish the $R$-boundedness of a family of convolution operators. Our results contribute to the theory of functional calculi for operators acting on vector-valued $\mathrm{L}^p$-spaces over totally disconnected spaces. As an application, we obtain maximal regularity results and well-posedness for a class of evolution equations driven by the Taibleson operator.

Computing Characteristic Polynomials of p-Curvatures in Average Polynomial Time

2026-03-18T09:14:38Z

We design a fast algorithm that computes, for a given linear differential operator with coefficients in $Z[x ]$, all the characteristic polynomials of its p-curvatures, for all primes $p < N$ , in asymptotically quasi-linear bit complexity in N. We discuss implementations and applications of our algorithm. We shall see in particular that the good performances of our algorithm are quickly visible.

Time frequency localization in the Fourier Symmetric Sobolev space

2026-03-18T07:59:51Z

We study concentration operators acting on the Fourier symmetric Sobolev space $H$ consisting of functions $f$ such that $\int_{\mathbb{R}} |f(x)|^2(1+x^2) dx + \int_{\mathbb{R}} |\hat{f}(ξ)|^2(1+ξ^2) dξ< \infty $. We find that the Bargmann transform is a unitary operator from $H$ to a weighted Fock space. After identifying the reproducing kernel of $H$, we discover an unexpected phenomenon about the decay of the eigenvalues of a two-sided concentration operator, namely that the plunge region is of the same order of magnitude as the region where the eigenvalues are close to 1, contrasting the classical case of Paley--Wiener spaces.