Quadratic & additive mappings on operator commuting elements in JBW*-algebras

2026-03-17T15:45:33Z

Let $\mathfrak{A}$ and $\mathfrak{B}$ be JBW$^*$-algebras whose sets of unitaries are denoted by $\mathcal{U}(\mathfrak{A})$ and $\mathcal{U}(\mathfrak{B})$, respectively. We show that $\mathcal{U}(\mathfrak{A})$ is closed for Jordan products of operator commuting pairs inside itself. Assuming that $\mathfrak{A}$ and $\mathfrak{B}$ are JBW$^*$-algebras without direct summands of type $I_1$ or $I_2$, we prove that for each bicontinuous bijection $Φ: \mathcal{U}(\mathfrak{A}) \rightarrow \mathcal{U}(\mathfrak{B})$ satisfying $Φ(u \circ v) = Φ(u)\circ Φ(v),$ whenever $u$ and $v$ are operator commuting unitaries in $\mathfrak{A}$, there exist a linear Jordan $^*$-isomorphism $θ: \mathfrak{A} \rightarrow \mathfrak{B}$, a real linear mapping $β: \mathfrak{A_{sa}}\rightarrow Z(\mathfrak{B}_{sa})$, and an invertible central element $c \in \mathfrak{B}_{sa}$ such that $$ Φ(e^{i a}) = e^{i β(a)}\circ e^{i c\circθ(a)} = e^{i β(a)} \circ θ\left( e^{i θ^{-1}( c )\circ a}\right),$$ for all $a\in \mathfrak{A}_{sa}$. The conclusion improves when $\mathfrak{A}$ is a JBW$^*$-algebra factor not of type $I_2$.

A note on differentials of holomorphic functions

2026-03-17T14:33:52Z

Recently, in arXiv:2304.07149, a bridge was made between the very active area of spaces of Lipschitz real functions on a metric space and holomorphic functions on an open subset of a Banach space. This was done by introducing and studying the space $\mathcal HL_0(B_X)$ of holomorphic Lipschitz functions defined on $B_X$, the open unit ball of the complex Banach space $X$ vanishing at 0. There it was proved that this space is isometrically isomorphic to a subspace of $\mathcal H^\infty(B_X, X^*)$, the space of bounded holomorphic mapping with values in the topological dual of $X$. In that paper it was shown that this subspace was a proper one, except in the one dimensional case. The goal of this note is to give an intrinsic characterization of the elements of that subspace. Moreover, in the case where $X$ additionally has a Schauder basis, it is shown that there is an explicit way to calculate whether and element of $\mathcal H^\infty(B_X, X^*)$ belongs or not to that subspace.

Dynamical localization and eigenvalue asymptotics: long-range hopping lattice operators with electric field

2026-03-17T13:42:08Z

We prove power-law dynamical localization for polynomial long-range hopping lattice operators with uniform electric field under any bounded perturbation. Actually, we introduce new arguments in the study of dynamical localization for long-range models with unbounded potentials, involving the Min-Max Principle and a notion of Power-Law ULE. Unlike existing results in the literature, our approach does not rely on KAM techniques or on Green's function estimates, but rather on the asymptotic behavior of the eigenvalues and the potential. It is worth underlining that our general results can be applied to other models, such as Maryland-type potentials.

Characterizations of Hardy spaces on tube domains over polyhedral cones

2026-03-17T03:41:25Z

This paper is devoted to the equivalence of various characterizations of holomorphic $H^1$ Hardy spaces on tube domains over polyhedral cones. We establish a new iterated Poisson integral formula which reproduces holomorphic functions on such domains. However, this formula shows that holomorphic $H^1$ functions have boundary values in a new type of Hardy space of real variables on their Shilov boundaries $\mathbb{R}^n$, which cannot be treated by standard classical multi-parameter harmonic analysis. We overcome this difficulty by developing techniques suitably adapted in this setting. Using the iterated Poisson integral as our approximation to the identity, and employing a lifting technique, we introduce various notions of multi-parameter analysis adapted to tube domains, such as twisted rectangles, new non-tangential approach regions, non-tangential maximal functions and Littlewood-Paley type functions. All these notions exhibit new geometric features associated with polyhedral cones and involve hidden parameters, as in the flag setting. We develop the necessary multi-parameter tools to investigate these new Hardy spaces. In particular, we apply these tools to obtain equivalent characterizations of the holomorphic $H^1$ Hardy spaces on tube domains in terms of non-tangential maximal, Lusin-Littlewood-Paley area and Littlewood-Paley $g$-functions.

Trichotomy for the HRT Conjecture for mixed integer configuration

2026-03-17T00:25:18Z

We consider the HRT conjecture in the mixed-integer setting, where a finite configuration in $\R^d\times\R^d$ consists of $N-1$ points in $\Z^d\times\Z^d$ and one point $(α,β)$ outside the lattice. Assuming a linear dependence among the corresponding time-frequency shifts of a nonzero Schwartz function, we apply the Zak transform to obtain a cocycle over translation by $γ=(-α,β)$ on $\T^{2d}$ and study the orbit closure \[ H=\overline{\{nγ\bmod \Z^{2d}:n\in\Z\}}. \] We show that this reduction yields a trichotomy. The dense-orbit case is impossible because a Zak zero propagates to a dense zero set, forcing the Zak transform to vanish identically. The finite-orbit case reduces to a rational configuration, and hence to the lattice case covered by Linnell's theorem. Thus any mixed-integer counterexample for a Schwartz window must occur in the infinite proper case. For that remaining case, we prove that the nonvanishing set of the Zak transform is $H$-saturated, that the averaged logarithmic growth of the modulus cocycle along $H$ exists and vanishes identically, and that the restriction to each nonvanishing $H_0$-coset satisfies a smooth cohomological equation. This yields small-divisor compatibility conditions for the induced translation on $H_0$. We further obtain an arithmetic rigidity condition. These results isolate a collection of necessary dynamical, cohomological, and arithmetic constraints that any mixed-integer counterexample must satisfy.

Boundedness of Bilinear Bessel Potentials

2026-03-16T22:23:38Z

In analogy with bilinear Riesz potentials, we introduce bilinear Bessel potentials and characterize their boundedness from $L^p\times L^q$ into Lebesgue and Lorentz spaces $L^{r,α}.$ In several cases we identify the optimal Lorentz indices by constructing explicit counterexamples.

$q$-Numerical Ranges and Spectral Sets

2026-03-16T17:00:31Z

We study spectral constants for convex domains $Ω$ containing the spectrum of an operator. We extend the Crouzeix--Palencia framework by obtaining bounds depending on a parameter $γ$ and relating these bounds to geometric properties of $Ω$ and the numerical range $W(A)$. We generalise the proof that the numerical range is a $1+\sqrt{2}$-spectral set to scaled $q$-numerical ranges. We also propose a generalisation of Crouzeix's Conjecture in the context of $q$-numerical ranges.

Positive Berezin liminf does not imply essential positivity for radial Toeplitz operators on Bergman and Fock spaces

2026-03-16T16:04:48Z

We study whether essential positivity \[ σ_{\mathrm{ess}}(T_f)\subset [0,\infty) \] of a radial Toeplitz operator on Bergman and Fock spaces can be detected from the asymptotic behavior of its Berezin transform. For bounded real-valued radial symbols on $A^2(\mathbb{D})$, Perälä and Virtanen conjectured that \[ \liminf_{|z|\to 1^-} \widetilde{f}(z)\ge 0 \] should be equivalent to essential positivity, and they asked the analogous question on Fock space. Such a criterion would turn a spectral question into a scalar asymptotic test. We prove that this fails even in the radial setting in which the conjecture was formulated. For every complex dimension $d\ge 1$, we construct explicit bounded real-valued radial symbols on the Bergman spaces $A^2(\mathbb{B}_d)$ and the Fock spaces $F^2(\mathbb{C}^d)$ whose Berezin transform has strictly positive limit inferior at the boundary (respectively, at infinity), while the essential spectrum of the corresponding Toeplitz operator contains a negative point. In particular, this disproves the Perälä--Virtanen conjecture in its original one-dimensional Bergman form and answers the analogous Fock-space question negatively; more generally, the radial Berezin liminf criterion fails in all dimensions in both settings. The underlying reason is that, for radial symbols, the Toeplitz eigenvalue sequence and the Berezin transform are different asymptotic averages of the same oscillatory symbol, and these averages damp the oscillation by different amounts.

Mixed Bourgain-Morrey spaces and their applications to boundedness of operators

2026-03-16T14:36:23Z

We introduce the mixed Bourgain-Morrey spaces and obtain their preduals. The boundedness of Hardy-Littlewood maximal operator, iterated maximal operator, fractional integral operator, singular integral operator on these spaces is proved. In addition, we give a description of the dual of mixed Bourgain-Morrey spaces and conclude the reflexivity of these spaces.

The resolvent equations for the Harmonic and bi-Harmonic functional calculi in dimension five

2026-03-16T14:35:06Z

The fine structures on the $S$-spectrum constitute a new research area that includes a class of functional calculi based on the $S$-spectrum and on integral transforms determined by the Fueter--Sce mapping theorem and the Cauchy formula for slice hyperholomorphic functions. This strategy, based on integral transforms, allows us to construct functional calculi that include harmonic and polyharmonic functional calculi. The resolvent operators in this setting do not arise directly from a Cauchy kernel, but rather from suitable manipulations of it. For this reason the corresponding resolvent equations differ substantially from those associated with the classical Cauchy kernel. In this paper, we investigate the harmonic and biharmonic resolvent equations in dimension five, as well as the corresponding product rules and Riesz projectors for these functional calculi.

Orbit misbehavior, isotropy discontinuity, and large isotypic components

2026-03-16T14:16:56Z

Let $\mathbb{G}$ be a compact Hausdorff group acting on a compact Hausdorff space $X$, $α$ an irreducible $\mathbb{G}$-representation, and $C(X)$ the $C^*$-algebra of complex-valued continuous functions on $X$. We prove that the isotypic component $C(X)_α$ is finitely generated as a module over the invariant subalgebra $C(X/\mathbb{G})\subseteq C(X)$ precisely when the map sending $x\in X$ to the dimension of the space of vectors in $α$ invariant under the isotropy group $\mathbb{G}_x$ is locally constant. This (a) specializes back to an observation of De Commer-Yamashita equating the finite generation of all $C(X)_α$ with the Vietoris continuity of $x\mapsto \mathbb{G}_x$, and (b) recovers and extends Watatani's examples of infinite-index expectations resulting from non-free finite-group actions. We also show that the action of a compact group $\mathbb{G}$ on the maximal equivariant compactification on the disjoint union of its Lie-group quotients has tubes about all orbits precisely when $\mathbb{G}$ is Lie. This is the converse (via a canonical construction) of the well-known fact that actions of compact Lie groups on Tychonoff spaces admit tubes.

Riesz transforms associated with the Grushin operator with drift

2026-03-16T14:10:06Z

We consider the Grushin operator with drift which is symmetric with respect to a measure having exponential growth. For the corresponding Riesz transforms, we study strong-type $(p, p)$, $1 < p < \infty$, and weak-type $(1, 1)$ boundedness.

Classification in Active Dimension 2 for Weighted Residual Dynamics

2026-03-16T13:54:00Z

We study weighted residual dynamics associated with a rank-one projection in finite dimension. The iteration reduces, after finitely many steps, to a nonlinear recursion on a stabilized active subspace. We prove that this recursion can be classified when the active dimension is two: either a transverse reducing direction persists unchanged, or the coupled part collapses completely. As a consequence, we obtain a description of the limit in the active two-dimensional case and identify the threshold beyond which higher-dimensional behavior becomes more flexible.

Empirical bounds for commuting dilations of free unitaries and the universal commuting dilation constant

2026-03-16T13:46:01Z

For a tuple $T$ of Hilbert space operators, the 'commuting dilation constant' is the smallest number $c$ such that the operators of $T$ are a simultaneous compression of commuting normal operators of norm at most $c$. We present numerical experiments giving a strong indication that the commuting dilation constant of a pair of independent random $N{\times}N$ unitary matrices converges to $\sqrt2$ as $N \to \infty$ almost surely. Under the assumption that this is the case, we prove that the commuting dilation constant of an arbitrary pair of contractions is strictly smaller than $2$. Our experiments are based on a simple algorithm that we introduce for the purpose of computing dilation constants between tuples of matrices.

Determinant representations for Garvan formulas

2026-03-16T11:27:05Z

In this note, we demonstrate how determinant representations for correlation functions in conformal field theory can be used to derive explicit determinant formulas for powers of the classical $η$-function, expressed via deformed elliptic functions with parameters. In particular, we obtain counterparts of Garvan's formulas for the modular discriminant corresponding to the genus two Riemann surface case.