Filtering of second order generalized stochastic processes corrupted by additive noise

2025-04-25T16:08:20Z

We treat the optimal linear filtering problem for a sum of two second order uncorrelated generalized stochastic processes. This is an operator equation involving covariance operators. We study both the wide-sense stationary case and the non-stationary case. In the former case the equation simplifies into a convolution equation. The solution is the Radon--Nikodym derivative between non-negative tempered Radon measures, for signal and signal plus noise respectively, in the frequency domain. In the non-stationary case we work with pseudodifferential operators with symbols in Sj\"ostrand modulation spaces which admits the use of its spectral invariance properties.

Refined general weighted $L^{p}$-Hardy and Caffarelli-Kohn-Nirenberg type inequalities and identities related to the Baouendi-Grushin operator

2025-04-25T15:50:41Z

In this paper, we present refined general weighted $L^{p}$-Hardy type inequalities and identities with explicit remainder terms associated with Baouendi-Grushin vector fields, thereby improving previously known results. Furthermore, we obtain the corresponding general weighted Caffarelli-Kohn-Nirenberg type inequalities with remainder terms, which, as a result, imply Heisenberg-Pauli-Weyl type inequalities.

Metric Entropy of Ellipsoids in Banach Spaces: Techniques and Precise Asymptotics

2025-04-25T12:57:31Z

We develop new techniques for computing the metric entropy of ellipsoids -- with polynomially decaying semi-axes -- in Banach spaces. Besides leading to a unified and comprehensive framework, these tools deliver numerous novel results as well as substantial improvements and generalizations of classical results. Specifically, we characterize the constant in the leading term in the asymptotic expansion of the metric entropy of $p$-ellipsoids with respect to $q$-norm, for arbitrary $p,q \in [1, \infty]$, to date known only in the case $p=q=2$. Moreover, for $p=q=2$, we improve upon classical results by specifying the second-order term in the asymptotic expansion. In the case $p=q=\infty$, we obtain a complete, as opposed to asymptotic, characterization of metric entropy and explicitly construct optimal coverings. To the best of our knowledge, this is the first exact characterization of the metric entropy of an infinite-dimensional body. Application of our general results to function classes yields an improvement of the asymptotic expansion of the metric entropy of unit balls in Sobolev spaces and identifies the dependency of the metric entropy of unit balls in Besov spaces on the domain of the functions in the class. Sharp results on the metric entropy of function classes find application, e.g., in machine learning, where they allow to specify the minimum required size of deep neural networks for function approximation, nonparametric regression, and classification over these function classes.

Learning Operators by Regularized Stochastic Gradient Descent with Operator-valued Kernels

2025-04-25T08:57:38Z

This paper investigates regularized stochastic gradient descent (SGD) algorithms for estimating nonlinear operators from a Polish space to a separable Hilbert space. We assume that the regression operator lies in a vector-valued reproducing kernel Hilbert space induced by an operator-valued kernel. Two significant settings are considered: an online setting with polynomially decaying step sizes and regularization parameters, and a finite-horizon setting with constant step sizes and regularization parameters. We introduce regularity conditions on the structure and smoothness of the target operator and the input random variables. Under these conditions, we provide a dimension-free convergence analysis for the prediction and estimation errors, deriving both expectation and high-probability error bounds. Our analysis demonstrates that these convergence rates are nearly optimal. Furthermore, we present a new technique for deriving bounds with high probability for general SGD schemes, which also ensures almost-sure convergence. Finally, we discuss potential extensions to more general operator-valued kernels and the encoder-decoder framework.

Density of irreducible operators in the trace-class norm

2025-04-25T01:44:39Z

In 1968, Paul Halmos initiated the research on density of the set of irreducible operators on a separable Hilbert space. Through the research, a long-standing unsolved problem inquires: is the set of irreducible operators dense in $B(H)$ with respect to the trace-class norm topology? Precisely, for each operator $T $ in $B(H)$ and every $\varepsilon >0$, is there a trace-class operator $K$ such that $T+K$ is irreducible and $\Vert K \Vert_1 < \varepsilon$? For $p>1$, to prove the $\Vert \cdot \Vert_p$-norm density of irreducible operators in $B(H)$, a type of Weyl-von Neumann theorem effects as a key technique. But the traditional method fails for the case $p=1$, where by $\Vert \cdot \Vert_p$-norm we denote the Schatten $p$-norm. In the current paper, for a large family of operators in $B(H)$, we give the above long-term problem an affirmative answer. The result is derived from a combination of techniques in both operator theory and operator algebras. Moreover, we discover that there is a strong connection between the problem and another related operator-theoretical problem related to type $\mathrm{II}_1$ von Neumann algebras.

Heat kernels, intrinsic contractivity and ergodicity of discrete-time Markov chains killed by potentials

2025-04-24T18:39:25Z

We study discrete-time Markov chains on countably infinite state spaces, which are perturbed by rather general confining (i.e.\ growing at infinity) potentials. Using a discrete-time analogue of the classical Feynman--Kac formula, we obtain two-sided estimates for the $n$-step heat kernels $u_n(x,y)$ of the perturbed chain. These estimates are of the form $u_n(x,y)\asymp \lambda_0^n\phi_0(x)\widehat\phi_0(y)+F_n(x,y)$, where $\phi_0$ (and $\widehat\phi_0$) are the (dual) eigenfunctions for the lowest eigenvalue $\lambda_0$; the perturbation $F_n(x,y)$ is explicitly given, and it vanishes if either $x$ or $y$ is in a bounded set. The key assumptions are that the chain is uniformly lazy and that the \enquote{direct step property} (DSP) is satisfied. This means that the chain is more likely to move from state $x$ to state $y$ in a single step rather than in two or more steps. Starting from the form of the heat kernel estimate, we define the intrinsic (or ground-state transformed) chains and we introduce time-dependent ultracontractivity notions -- asymptotic and progressive intrinsic ultracontractivity -- which we can link to the growth behaviour of the confining potential; this allows us to consider arbitrarily slow growing potentials. These new notions of ultracontractivity also lead to a characterization of uniform (quasi-)ergodicity of the perturbed and the ground-state transformed Markov chains. At the end of the paper, we give various examples that illustrate how our findings relate to existing models, e.g.\ nearest-neighbour walks on infinite graphs, subordinate processes or non-reversible Markov chains.

The tempered disk and the tempered cohomology

2025-04-24T17:34:54Z

Consider a non-archimedean valuation ring V (K its fraction field, in mixed characteristic): inspired by some views presented by Scholze, we introduce a new point of view on the non-archimedean analytic setting in terms of derived analytic geometry (then associating a "spectrum" to each ind-Banach algebra). We want to look at the behaviour of this spectrum from a differential point of view. In such a spectrum, for example, there exist open subsets having functions with log-growth as sections for the structural sheaf. In this framework, a transfer theorem for the log-growth of solutions of p-adic differential equations can be interpreted as a continuity theorem (analogue to the transfer theorem for their radii of convergence in the Berkovich spaces). As a dividend of such a theory, we define a new cohomology theory in terms of the Hodge-completed derived de Rham cohomology of the ind-Banach derived analytic space associated to a smooth k-scheme, X_k (k residual field of V), via the use of "tempered tubes". We finally compare our tempered de Rham cohomology with crystalline cohomology.

Semigroups of self-similar actions and higher rank Baumslag-Solitar semigroups

2025-04-24T14:25:41Z

In this paper, we initiate the study of higher rank Baumslag-Solitar semigroups and their related C*-algebras. We focus on two extreme, but interesting, classes - one is related to products of odometers and the other is related to Furstenberg's $\times p,, \times q$ conjecture. For the former class, whose C*-algebras are studied by H. Li and the second author, we here characterize the factoriality of the associated von Neumann algebras and further determine their types; for the latter, we obtain their canonical Cartan subalgebras. In the rank 1 case, we study a more general setting which encompasses (single-vertex) generalized Baumslag-Solitar semigroups. One of our main tools is from self-similar higher rank graphs and their C*-algebras.

A note on Arveson's hyperrigidity and non-degenerate C*-correspondences

2025-04-24T13:58:10Z

We revisit the results of Kim, and of Katsoulis and Ramsey concerning hyperrigidity for non-degenerate C*-correspondences. We show that the tensor algebra is hyperrigid, if and only if Katsura's ideal acts non-degenerately, if and only if Katsura's ideal acts non-degenerately under any representation. This gives a positive answer to the question of Katsoulis and Ramsey, showing that their necessary condition and their sufficient condition for hyperrigidity of the tensor algebra are equivalent. Non-degeneracy of the left action of Katsura's ideal was also shown by Kim to be equivalent to hyperrigidity for the selfadjoint operator space associated with the C*-correspondence, and our approach provides a simplified proof of this result as well. In the process we revisit Arveson's criterion connecting maximality with the unique extension property and hyperrigidity, in conjunction with the work of Salomon on generating sets.

Construction of $p$-energy measures associated with strongly local $p$-energy forms

2025-04-24T13:49:03Z

We construct canonical $p$-energy measures associated with strongly local $p$-energy forms without any assumptions of self-similarity, where $p$-energy forms are $L^p$-versions of Dirichlet forms, which have recently been studied mainly on fractals. Furthermore, we prove that the measures satisfy the chain and Leibniz rules, and that such a "good" energy measures are unique. As an application, we also prove the $p$-energy version of Mosco's domination principle. Moreover, we show a Korevaar--Schoen-type $p$-energies defined by Alonso-Ruiz and Baudoin coincide with our energy measures.

Absolutely dilatable bimodule maps

2025-04-24T13:34:27Z

We characterise absolutely dilatable completely positive maps on the space of all bounded operators on a Hilbert space that are also bimodular over a given von Neumann algebra as rotations by a suitable unitary on a larger Hilbert space followed by slicing along the trace of an additional ancilla. We define the local, quantum and approximately quantum types of absolutely dilatable maps, according to the type of the admissible ancilla. We show that the local absolutely dilatable maps admit an exact factorisation through an abelian ancilla and show that they are limits in the point weak* topology of conjugations by unitaries in the commutant of the given von Neumann algebra. We show that the Connes Embedding Problem is equivalent to deciding if all absolutely dilatable maps are approximately quantum.

Auerbach bases, projection constants, and the joint spectral radius of principal submatrices

2025-04-24T12:48:53Z

It is shown that compact sets of complex matrices can always be brought, via similarity transformation, into a form where all matrix entries are bounded in absolute value by the joint spectral radius (JSR). The key tool for this is that every extremal norm of a matrix set admits an Auerbach basis; any such basis gives rise to a desired coordinate system. An immediate implication is that all diagonal entries - equivalently, all one-dimensional principal submatrices - are uniformly bounded above by the JSR. It is shown that the corresponding bounding property does not hold for higher dimensional principal submatrices. More precisely, we construct finite matrix sets for which, across the entire similarity orbit, the JSRs of all higher-dimensional principal submatrices exceed that of the original set. This shows that the bounding result does not extend to submatrices of dimension greater than one. The constructions rely on tools from the geometry of finite-dimensional Banach spaces, with projection constants of norms playing a key role. Additional bounds of the JSR of principal submatrices are obtained using John's ellipsoidal approximation and known estimates for projection constants.

Band-dominated and Fourier-band-dominated operators on locally compact abelian groups

2025-04-24T11:03:33Z

By relating notions from quantum harmonic analysis and band-dominated operator theory, we prove that over any locally compact abelian group $G$, the operator algebra $\mathcal C_1$ from quantum harmonic analysis agrees with the intersection of band-dominated operators and Fourier band-dominated operators. As an application, we characterize the compactness of operators acting on $L^2(G)$ and compare it with previous results in the discrete case. In particular, our results can be seen as a generalization of the limit operator concept to the non-discrete world. Moreover, we briefly discuss property $A'$ for arbitrary locally compact abelian groups.

On the weak-fragmentability index of some Lipschitz-free spaces

2025-04-24T09:06:04Z

We show the existence of Lipschitz-free spaces verifying the Point of Continuity Property with arbitrarily high weak-fragmentability index. For this purpose, we use a generalized construction of the countably branching diamond graphs. As a consequence, we deduce that to be Lipschitz-universal for countable complete metric spaces, a separable complete metric space cannot be purely 1-unrectifiable. Another corollary is the existence of an uncountable family of pairwise non-isomorphic Lipschitz-free spaces over purely 1-unrectifiable metric spaces. Some results on compact reduction are also obtained.

Higher order error estimates for regularization of inverse problems under non-additive noise

2025-04-24T08:45:53Z

In this work we derive higher order error estimates for inverse problems distorted by non-additive noise, in terms of Bregman distances. The results are obtained by means of a novel source condition, inspired by the dual problem. Specifically, we focus on variational regularization having the Kullback-Leibler divergence as data-fidelity, and a convex penalty term. In this framework, we provide an interpretation of the new source condition, and present error estimates also when a variational formulation of the source condition is employed. We show that this approach can be extended to variational regularization that incorporates more general convex data fidelities.