https://arxiv.org/api/kWThZPNXc+vSRKWdnaAtP2KoEJ0 2026-03-24T08:25:00Z 35671 210 15 http://arxiv.org/abs/2603.07583v1 2026-03-08T10:49:53Z

In this paper, we investigate $\mathbb T^d$-invariant Hilbert modules $\mathscr H$ over the polynomial ring $\mathbb C[z_1, \ldots, z_d]$ and their quotients, with primary emphasis on the classification of subnormal quotient modules of the form $\mathscr H/[p],$ where $p$ is a homogeneous polynomial in $d$ complex variables. The motivation for this classification arises from the case $p(z_1, z_2)=z_1-z_2,$ in which the subnormality of the quotient module $\widehat{\mathscr H_{κ_1} \otimes \mathscr H_{κ_2}}/[p]$ is equivalent to that of the module tensor product $\mathscr H_{κ_1} \otimes_{\mathbb C[z]} \mathscr H_{κ_2}$ of $\mathbb T$-invariant Hilbert modules $\mathscr H_{κ_1}$ and $\mathscr H_{κ_2}$, a problem first considered by N. Salinas. In addition to general structural results on principal homogeneous submodules $[p]$ of $\mathscr H$, we prove that if $\mathscr H/[p]$ is subnormal, then $p$ must be square-free. Furthermore, when $\mathscr H$ is either $H^2(\mathbb D^d)$ or $H^2(\mathbb B^d),$ $d \ge 1,$ the subnormality of the quotient module $\mathscr H/[p]$ implies that $\mathrm{deg}\,p \le 1.$ We further show that $H^2(\mathbb D^2)/[p]$ (resp. $H^2(\mathbb B^2)/[p]$) is subnormal if and only if $\mathrm{deg} \,p \le 1.$ If $H^2_d$ denotes the Drury-Arveson module in $d$ dimensions, then $H^2_2/[p]$ is subnormal if and only if $p$ is nonzero and $\mathrm{deg} \,p \le 1$. This is surprising, especially since $H^2_d$ is not a subnormal Hilbert module for $d \ge 2.$ Moreover, the phenomenon above does not occur for the Dirichlet module $D_2(\mathbb B^2)$. Finally, we present an example demonstrating that a $\mathcal U_d$-invariant subnormal Hilbert module $\mathscr H$ may have a subnormal quotient module $\mathscr H/[p]$ even when $\mathrm{deg}\, p = 2.$

2026-03-08T10:49:53Z 24 pages. Comments are welcome K. S. Amritha S. Bera S. Chavan S. S. Sequeira http://arxiv.org/abs/2603.07503v1 2026-03-08T07:17:47Z

The aim of this paper is to study the problem of the integration of Stepanov remotely almost periodic functions. We prove that every compact primitive of a Stepanov remotely almost periodic function with a minimal $ω$-limit set is remotely almost periodic. This fact proves the conjecture previously formulated by the author.

2026-03-08T07:17:47Z David Cheban http://arxiv.org/abs/2603.07498v1 2026-03-08T06:57:48Z

Some questions raised in [K. Ziętak, From the strict Chebyshev approximant of a vector to the strict spectral approximant of a matrix, Warsaw: Banach Center Publ., 112 Polish Acad. Sci. Inst. Math.(2017)] are discussed. To do so, the subdifferential set of Ky Fan $p$-$k$ norm is computed. A characterization for the best approximations with respect to the Ky Fan $p$-$k$ norms is given. Further, necessary and sufficient conditions for $\varepsilon$-orthogonality with respect to the Ky Fan $p$-$k$ norm are also derived.

2026-03-08T06:57:48Z 18 Pages Priyanka Grover Krishna Kumar Gupta http://arxiv.org/abs/2603.07423v1 2026-03-08T02:43:27Z

Dating back to the remarkable 1997 work of S.~M.~Rump \cite{Rum97b}, the celebrated 100 Euro Conjecture has remained open for nearly 30 years. It asserts that for every matrix $A \in \mathbb{R}^{n\times n}$ with $|A|e = ne$, where $|A|$ is the matrix of entrywise absolute values and $e=(1,\dots,1)^T$ is the all-ones vector in $\mathbb{R}^n$, there exists a nonzero vector $x \in \mathbb{R}^n$ such that $|Ax| \ge |x|$ entrywise. In this paper, we confirm this conjecture by means of a finite-dimensional reformulation of Ball's plank theorem. We also record a unified $\ell_p$-escape statement that contains both the cube and Euclidean versions as special cases and yields a weaker form of the 200 Euro Conjecture.

2026-03-08T02:43:27Z 9 pages. All comments are welcome! Teng Zhang http://arxiv.org/abs/2603.07407v1 2026-03-08T01:40:06Z

We study two closely related yet different localization operators: the time-frequency localization operator to the pair of intervals $S_{I, J} = P_I \mathcal{F}^{-1} P_J\mathcal{F} P_I$ and the localization of the coherent state transform to the square $L_Q$. Eigenvalues of both of them exhibit the same phase transition: if $|I| |J| = |Q| = c$ then first $\approx c$ eigenvalues are very close to $1$, then there are $o(c)$ intermediate eigenvalues and the rest of the eigenvalues are very close to $0$. Moreover, for both of them if $n < (1-\varepsilon)c$ for fixed $\varepsilon > 0$ then the eigenvalues are exponentially close to $1$. The goal of this paper is to establish sharp uniform bounds on these eigenvalues when $n$ is close to $c$ and see if there is a qualitative difference between the spectrums of $S_{I, J}$ and $S_Q$. We show that for $n < c -c^{0.99}$, say, in the time-frequency localization case we have $-\log(1-λ_n(c))\asymp\frac{c-n}{\log(\frac{2c}{c-n})}$ while in the coherent state transform case we have $-\log(1-μ_n(c))\asymp (\sqrt{c}-\sqrt{n})^2,$ which is much smaller if $c-n = o(c)$, so there is indeed a difference between these two cases. The proofs crucially rely on the complex-analytic interpretations of these localization operators.

2026-03-08T01:40:06Z 30 pages Aleksei Kulikov http://arxiv.org/abs/2603.07359v1 2026-03-07T21:53:24Z

In this note, we summarize known results and open questions on the existence of isometric embeddings between different Schatten classes as well as obtain a new non-embeddability result using a novel method. We also provide a brief overview of the relevant methods.

2026-03-07T21:53:24Z Initial draft Arup Chattopadhyay Chandan Pradhan Anna Skripka http://arxiv.org/abs/2506.06529v8 2026-03-07T21:25:53Z

In this paper, we consider operators that are a composition of an isometric isomorphism and a left multiplier on a normed algebra, and we characterize disjoint F-semi-transitive and disjoint supercyclic such operators on a large class of non-unital normed algebras. Generalized weighted composition operators on the normed algebra of operator-valued continuous functions vanishing at infinity on a locally compact, non-compact Hausdorff space are a special case of our theory. At the end of the paper, we characterize disjoint F-semi-transitive adjoints of weighted composition operators acting on the weighted space of Radon measures.

2025-06-06T20:50:28Z Stefan Ivkovic http://arxiv.org/abs/2603.07324v1 2026-03-07T20:07:36Z

This article was initially motivated by our goal to show that the Banach space $\mathbb{G}$ constructed by Gowers in [W. T. Gowers, A solution to Banach's hyperplane problem, Bull. London Math. Soc. 26 (1994), no. 6, 523-530] to settle Banach's hyperplane problem has a unique unconditional basis. This uniqueness result served as a springboard to ask whether further structural insights could be derived by rigging Gowers' original construction. As it turned out, the $p$-convexification of $\mathbb{G}$ for $1< p<\infty$, $p\not=2$, provides a family of Banach spaces, each of them with a unique unconditional basis containing block bases whose spreading models are not equivalent to the unit vector basis of $\ell_1$, $\ell_2$, or $c_0$. This solves in the negative a forty-year-old open problem raised by Bourgain et al. in their 1985 \textit{Memoir}, [J. Bourgain, P. G. Casazza, J. Lindenstrauss, and L. Tzafriri, Banach spaces with a unique unconditional basis, up to permutation, Mem. Amer. Math. Soc. 54 (1985), no. 322, iv+111] where they studied the uniqueness of unconditional structure in infinite direct sums of those three spaces with the aim to classify all Banach spaces with a unique unconditional basis. As a by-product of our work, we also disprove the conjecture in structure theory that a space having a unique unconditional basis must be isomorphic to its square, and evince that when a Banach space $\mathbb{X}$ with an unconditional basis has few operators, then the space itself and all its complemented subspaces have a unique unconditional structure.

2026-03-07T20:07:36Z Fernando Albiac Jose L. Ansorena http://arxiv.org/abs/2509.03235v2 2026-03-07T18:12:28Z

We study one-dimensional Schrödinger operators defined as closed operators that are exactly solvable in terms of the Gauss hypergeometric function. We allow the potentials to be complex. These operators fall into three groups. The first group can be reduced to the Gegenbauer equation, up to an affine transformation, a special case of the hypergeometric equation. The two other groups, which we call {\em hypergeometric of the first}, resp. {\em second kind}, can be reduced to the general Gauss hypergeometric equation. Each of the group is subdivided in three families, acting to on the Hilbert space $L^2]-1,1[,$ $L^2(\rr_+)$ resp. $L^2(\rr)$. Motivated by geometric applications of these families, we call them {\em spherical}, {\em hyperbolic}, resp. {\em deSitterian}. All these families are known from applications in Quantum Mechanics: e.g. spherical hypergeometric Schrödinger operators of the first kind are often called {\em trigonometric Pöschl-Teller Hamiltonians}. For operators belonging to each family we compute their spectrum and determine their Green function (the integral kernel of their resolvent). We also describe transmutation identities that relate these Green functions. These identities interchange spectral parameters with coupling constants across different operator families. Finally, we describe how these operators arise from separation of variables of (pseudo-)Laplacians on symmetric manifolds. Our paper can be viewed as a sequel to \cite{DL}, where closed realizations of one-dimensional Schrödinger operators solvable in terms Kummer's confluent equation were studied.

2025-09-03T11:50:02Z 60 Pages, 2 Tables, 3 Figures, V2: Minor typos corrected; 2 appendices and additional references added Jan Dereziński Pedram Karimi http://arxiv.org/abs/2603.07257v1 2026-03-07T15:19:05Z

We study one class of continuous functions $f$ defined on segment $[0,1]$ by equality $$ f(x)=δ_{α_1(x)1}+\sum^{\infty}_{k=2}\left[δ_{α_k(x)k}\prod^{k-1}_{j=1}g_{α_j (x)j}\right]\equivΔ^{G^*_3}_{α_1α_2\ldotsα_k\ldots}, $$ where $||q^*_{ik}||$ is given infinite stochastic positive matrix ($i=0,1,2$; $k \in N$); $β_{0k}=0$, $β_{1k}=q_{0k}$, $β_{2k}=q_{0k}+q_{1k}$; $(\varepsilon_k)$ is given sequence of numbers such that $0\leqslant \varepsilon_k \leqslant 1 $; $g_{0k}=\dfrac{1+\varepsilon_k}{3}=g_{2k}$, $g_ {1k}=\dfrac{1-2\varepsilon_k}{3}$, $δ_{0k}=0$, $δ_{1k}=g_{0k}$, $δ_{2k}=g_{0k}+g_{1k}$, $k\in N$. We found criteria of strict monotonicity, non monotonicity and nowhere monotonicity, non-differentiability and singularity of the functions. We pay attention to properties of level sets of the functions.

2026-03-07T15:19:05Z Collection of Proceedings of the Institute of Mathematics of the NAS of Ukraine, 2017, p. 23-37 S. O. Klymchuk M. V. Pratsiovytyi http://arxiv.org/abs/2603.07242v1 2026-03-07T14:54:03Z

In this paper, a universal approximation theorem (UAT) for shallow neural networks whose inputs belong to a topological vector space (TVS) and whose outputs take values in a Hausdorff locally convex TVS is established. The networks are constructed using scalar activation functions applied to continuous linear functionals of the input, while the output coefficients lie in the target space. It is shown that this class of neural networks is dense in the space of continuous mappings from a compact subset of the input space into the target space with respect to the topology of uniform convergence induced by the defining seminorms. The result extends existing scalar-valued approximation theorems on TVS and includes Banach and Hilbert-valued approximation as special cases. Several corollaries and examples are provided, illustrating applications to operator approximation between function spaces.

2026-03-07T14:54:03Z 16 pages, 1 figure Sachin Saini http://arxiv.org/abs/2603.07221v1 2026-03-07T14:02:39Z

Margin-based learning, exemplified by linear and kernel methods, is one of the few classical settings where generalization guarantees are independent of the number of parameters. This makes it a central case study in modern highly over-parameterized learning. We ask what minimal mathematical structure underlies this phenomenon. We begin with a simple margin-based problem in arbitrary metric spaces: concepts are defined by a center point and classify points according to whether their distance lies below $r$ or above $R$. We show that whenever $R>3r$, this class is learnable in \emph{any} metric space. Thus, sufficiently large margins make learnability depend only on the triangle inequality, without any linear or analytic structure. Our first main result extends this phenomenon to concepts defined by bounded linear combinations of distance functions, and reveals a sharp threshold: there exists a universal constant $γ>0$ such that above this margin the class is learnable in every metric space, while below it there exist metric spaces where it is not learnable at all. We then ask whether margin-based learnability can always be explained via an embedding into a linear space -- that is, reduced to linear classification in some Banach space through a kernel-type construction. We answer this negatively by developing a structural taxonomy of Banach spaces: if a Banach space is learnable for some margin parameter $γ\geq 0$, then it is learnable for all such $γ$, and in infinite-dimensional spaces the sample complexity must scale polynomially in $1/γ$. Specifically, it must grow as $(1/γ)^p$ for some $p\ge 2$, and every such rate is attainable.

2026-03-07T14:02:39Z Yair Ashlagi Roi Livni Shay Moran Tom Waknine http://arxiv.org/abs/2507.23584v2 2026-03-07T09:27:00Z

We define the speed measure $ν$ for mappings $γ:I\to X$ from an interval to a metric space that are locally of bounded variation. We characterize continuity and absolute continuity of $γ$ in terms of $ν$ and identify the Radon-Nikodým derivative of $ν$ with respect to Lebesgue measure as the metric speed of $γ$. In doing so we prove an extension of the Banach-Zaretsky theorem.

2025-07-31T14:17:50Z Sebastian Boldt Peter Stollmann Felix Wirth http://arxiv.org/abs/2505.01672v4 2026-03-07T01:07:37Z

In this paper, we study the weakest possible conditions for fixed point theorems involving two classes of mappings defined by Kannan and Chatterjea. Our approach relies on the so-called CJM condition, which was originally introduced by Ćirić [5], and later, Suzuki [18] showed that the CJM condition is necessary for the existence of fixed points and the convergence of all Picard sequences of Banach type mappings. Our aim is to extend Suzuki's approach to the case of Kannan and Chatterjea mappings. In particular, in the first case, we discuss the equivalence of previously known conditions and establish that our conditions are optimal for ensuring that all Picard sequences converge to a fixed point of a mapping.

2025-05-03T03:36:43Z 10 pages, no figures Shunya Hashimoto Misako Kikkawa Shuji Machihara Aqib Saghir http://arxiv.org/abs/2512.13249v2 2026-03-06T22:41:01Z

We study Raja's covering index $Θ_X(n)$ for classical $L_p$-spaces and their non-commutative counterparts. For infinite-dimensional Hilbert spaces we compute the covering index exactly, proving \[ Θ_H(n)=n^{-1/2}\qquad(n\in\mathbb N); \] in particular $Θ_H(2)=1/\sqrt2$, thus answering a question of Raja about the precise two-piece covering index of $\elltwo$. For scalar-valued Lebesgue spaces $L_p(μ)$, $1\le p<\infty$, we construct an explicit block decomposition of the unit ball yielding the upper bound $Θ_{L_p(μ)}(n)\le n^{-1/p}$ for all $n\in\mathbb{N}$; in particular $Θ_{\ell_p}(n)\le n^{-1/p}$. For $1<p<\infty$, under the corresponding $p$-AUS renormability hypothesis, this combines with Raja's general lower bound to give the sharp asymptotic estimate $Θ_{L_p(μ)}(n)\asymp n^{-1/p}$. We also obtain uniform upper bounds $Θ_{L_p(μ;E)}(n)\le n^{-1/p}$ for Bochner spaces $L_p(μ;E)$ over non-atomic $σ$-finite measure spaces, with constants independent of the Banach space $E$; this shows that, at the level of power-type upper estimates, the covering index decays at the same rate regardless of the asymptotic geometry of~$E$ and provides a partial negative answer to a problem of Raja. Finally, using non-commutative Clarkson inequalities, we derive power-type lower bounds $Θ_{L_p(M,τ)}(n)\gtrsim n^{-1/r}$ for non-commutative $L_p(M,τ)$ spaces associated with semifinite von Neumann algebras, where $r=\min\{p,2\}$. We do not attempt to optimise the exponent or constants in the non-commutative setting.

2025-12-15T12:01:53Z 12 pp Tomasz Kania Natalia Maślany