The linear targeting problem

2025-04-24T05:57:58Z

For given real or complex $m \times n$ data matrices $X$, $Y$, we investigate when there is a matrix $A$ such that $AX = Y$, and $A$ is invertible, Hermitian, positive (semi)definite, unitary, an orthogonal projection, a reflection, complex symmetric, or normal.

Quasitubal Tensor Algebra Over Separable Hilbert Spaces

2025-04-24T05:28:41Z

The tubal tensor framework provides a clean and effective algebraic setting for tensor computations, supporting matrix-mimetic features like Singular Value Decomposition and Eckart-Young-like optimality results. Underlying the tubal tensor framework is a view of a tensor as a matrix of finite sized tubes. In this work, we lay the mathematical and computational foundations for working with tensors with infinite size tubes: matrices whose elements are elements from a separable Hilbert space. A key challenge is that existence of important desired matrix-mimetic features of tubal tensors rely on the existence of a unit element in the ring of tubes. Such unit element cannot exist for tubes which are elements of an infinite-dimensional Hilbert space. We sidestep this issue by embedding the tubal space in a commutative unital C*-algebra of bounded operators. The resulting quasitubal algebra recovers the structural properties needed for decomposition and low-rank approximation. In addition to laying the theoretical groundwork for working with tubal tensors with infinite dimensional tubes, we discuss computational aspects of our construction, and provide a numerical illustration where we compute a finite dimensional approximation to a infinitely-sized synthetic tensor using our theory. We believe our theory opens new exciting avenues for applying matrix mimetic tensor framework in the context of inherently infinite dimensional problems.

Composition Operators on the Little Lipschitz space of a rooted tree

2025-04-23T23:39:18Z

In this work, we study the composition operators on the little Lipschitz space ${\mathcal L}_0$ of a rooted tree $T$, defined as the subspace of the Lipschitz space ${\mathcal L}$ consisting of the complex-valued functions $f$ on $T$ such that $$\lim_{|v|\to\infty}|f(v)-f(v^-)|=0,$$ where $v^-$ is the vertex adjacent to the vertex $v$ in the path from the root to $v$ and $|v|$ denotes the number of edges from the root to $v$. Specifically, we give a complete characterization of the self-maps $\phi$ of $T$ for which the composition operator $C_\phi$ is bounded and we estimate its operator norm. In addition, we study the spectrum of $C_\phi$ and the hypercyclicity of the operators $\lambda C_\phi$ for $\lambda \in {\mathbb C}$.

The CKN inequality for spinors: symmetry and symmetry breaking

2025-04-23T17:37:38Z

This paper is devoted to Sobolev interpolation inequalities for spinors, with weights of Caffarelli-Kohn-Nirenberg (CKN) type. In view of the corresponding results for scalar functions, a natural question is to determine whether optimal spinors have symmetry properties, or whether spinors with symmetry properties are linearly unstable, in which case we shall say that symmetry breaking occurs. What symmetry means has to be carefully defined and the overall picture turns out to be richer than in the scalar case. So far, no symmetrization technique is available in the spinorial case. We can however determine a range of the parameters for which symmetry holds using a detailed analysis based mostly on spectral methods.

On the Bredies-Chenchene-Lorenz-Naldi algorithm

2025-04-23T15:37:38Z

Monotone inclusion problems occur in many areas of optimization and variational analysis. Splitting methods, which utilize resolvents or proximal mappings of the underlying operators, are often applied to solve these problems. In 2022, Bredies, Chenchene, Lorenz, and Naldi introduced a new elegant algorithmic framework that encompasses various well known algorithms including Douglas-Rachford and Chambolle-Pock. They obtained powerful weak and strong convergence results, where the latter type relies on additional strong monotonicity assumptions. In this paper, we complement the analysis by Bredies et al. by relating the projections of the fixed point sets of the underlying operators that generate the (reduced and original) preconditioned proximal point sequences. We also obtain strong convergence results in the case of linear relations. Various examples are provided to illustrate the applicability of our results.

On homogeneous Newton-Sobolev spaces of functions in metric measure spaces of uniformly locally controlled geometry

2025-04-23T15:26:31Z

We study the large-scale behavior of Newton-Sobolev functions on complete, connected, proper, separable metric measure spaces equipped with a Borel measure $\mu$ with $\mu(X) = \infty$ and $0 < \mu(B(x, r)) < \infty$ for all $x \in X$ and $r \in (0, \infty)$ Our objective is to understand the relationship between the Dirichlet space $D^{1,p}(X)$, defined using upper gradients, and the Newton-Sobolev space $N^{1,p}(X)+\mathbb{R}$, for $1\le p<\infty$. We show that when $X$ is of uniformly locally $p$-controlled geometry, these two spaces do not coincide under a wide variety of geometric and potential theoretic conditions. We also show that when the metric measure space is the standard hyperbolic space $\mathbb{H}^n$ with $n\ge 2$, these two spaces coincide precisely when $1\le p\le n-1$. We also provide additional characterizations of when a function in $D^{1,p}(X)$ is in $N^{1,p}(X)+\mathbb{R}$ in the case that the two spaces do not coincide.

Zero Products of Toeplitz operators on the Hardy and Bergman spaces over an annulus

2025-04-23T15:10:12Z

We study the zero product problem of Toeplitz operators on the Hardy space and Bergman space over an annulus. Assuming a condition on the Fourier expansion of the symbols, we show that there are no zero divisors in the class of Toeplitz operators on the Hardy space of the annulus. Using the reduction theorem due to Abrahamse, we characterize compact Hankel operators on the Hardy space of the annulus, which also leads to a zero product result. Similar results are proved for the Bergman space over the annulus.

Optimal growth of upper frequently hypercyclic functions for some weighted Taylor shifts

2025-04-23T14:42:45Z

We are interested in the optimal growth in terms of $L^p$-averages of hypercyclic and $\mathcal{U}$-frequently hypercyclic functions for some weighted Taylor shift operators acting on the space of analytic function on the unit disc. We unify the results obtained by considering intermediate notions of upper frequent hypercyclicity between the $\mathcal{U}$-frequent hypercyclicity and the hypercyclicity.

A new characterization of Sobolev spaces on Lipschitz differentiability spaces

2025-04-23T12:24:33Z

We prove a new characterization of metric Sobolev spaces, in the spirit of Brezis--Van Schaftingen--Yung's asymptotic formula. A new feature of our work is that we do not need Poincar\'e inequality which is a common tool in the literature. Another new feature is that we find a direct link between Brezis--Van Schaftingen--Yung's asymptotic formula and Cheeger's Lipschitz differentiability.

The Vectorial Hadwiger Theorem on Convex Functions

2025-04-23T11:47:40Z

A complete classification of continuous, dually epi-translation invariant, and rotation equivariant valuations on convex functions is established. This characterizes the recently introduced functional Minkowski vectors, which naturally extend the classical Minkowski relations. For this, the existence of these operators with singular densities is shown, along with additional representations involving mixed Monge-Amp\`ere measures, Kubota-type formulas, and area measures of higher dimensional convex bodies. Dual results are formulated for valuations on super-coercive convex functions.

Inducing spectral gaps for the cohomological Laplacians of $\operatorname{Sp}_{2n}(\mathbb{Z})$

2025-04-23T11:31:53Z

We show that the spectral gap of the first cohomological Laplacian $\Delta_1$ for $\operatorname{Sp}_{2n}(\mathbb{Z})$ follows once a slightly stronger assumption holds for some $\operatorname{Sp}_{2m}(\mathbb{Z})$, where $n\geq m$. As an application of this result, we provide explicit lower bounds for some quotients of $\operatorname{Sp}_{2n}(\mathbb{Z})$ for any $n\geq 2$.

A note on a question of Garth Dales: Arens regularity as a three space property

2025-04-22T21:39:12Z

Garth Dales asked whether a Banach algebra $\mathcal{A}$ having an Arens regular closed ideal $\mathcal{J}$ with Arens regular quotient $\mathcal{A}/\mathcal{J}$ is necessarily Arens regular. We prove in this note that, for a class of Banach algebras including the standard algebras in harmonic analysis, Garth's conditions force the algebra to be even reflexive. We also give examples of Banach algebras with Garth's conditions, that are not Arens regular.

A positive solution of the elliptic equation on a starshaped domain with boundary singularities

2025-04-22T21:32:37Z

We consider the elliptic equation with boundary singularities \begin{equation} \begin{cases} -\Delta u=-\lambda |x|^{-s_{1}}|u|^{p-2}u+|x|^{-s_{2}}|u|^{q-2}u &\text { in } \varOmega , u(x)=0 &\text { on } \partial \varOmega , \end{cases} \end{equation} where $0\leq s_1 < s_2 < 2$, $2q>\frac{2-s_2}{2-s_1}p+\frac{2s_2-2s_1}{2-s_1}$. We also discuss the asymptotic behavior of the positive solution and find a new class of blow-up points by blowing up analysis. These blow-up points are on the boundary of the domain, which are not similar with the usual.

Extremizers and Stability for Fractional $L^p$ Uncertainty Principles

2025-04-22T20:20:21Z

We extend the classical Heisenberg uncertainty principle to a fractional $L^p$ setting by investigating a novel class of uncertainty inequalities derived from the fractional Schr\"odinger equation. In this work, we establish the existence of extremal functions for these inequalities, characterize their structure as fractional analogues of Gaussian functions, and determine the sharp constants involved. Moreover, we prove a quantitative stability result showing that functions nearly attaining the equality in the uncertainty inequality must be close -- in an appropriate norm -- to the set of extremizers. Our results provide new insights into the fractional analytic framework and have potential applications in the analysis of fractional partial differential equations.

Asymptotic Equipartition Theorems in von Neumann algebras

2025-04-22T20:00:13Z

The Asymptotic Equipartition Property (AEP) in information theory establishes that independent and identically distributed (i.i.d.) states behave in a way that is similar to uniform states. In particular, with appropriate smoothing, for such states both the min and the max relative entropy asymptotically coincide with the relative entropy. In this paper, we generalize several such equipartition properties to states on general von Neumann algebras. First, we show that the smooth max relative entropy of i.i.d. states on a von Neumann algebra has an asymptotic rate given by the quantum relative entropy. In fact, our AEP not only applies to states, but also to quantum channels with appropriate restrictions. In addition, going beyond the i.i.d. assumption, we show that for states that are produced by a sequential process of quantum channels, the smooth max relative entropy can be upper bounded by the sum of appropriate channel relative entropies. Our main technical contributions are to extend to the context of general von Neumann algebras a chain rule for quantum channels, as well as an additivity result for the channel relative entropy with a replacer channel.