Transformed $\ell_p$ Minimization Model and Sparse Signal Recovery

2026-03-10T14:28:50Z

In this article, we introduce a minimization model via a non-convex transformed $\ell_p$ (TLp) penalty function with two parameters $a\in(0,\infty)$ and $p\in(0,1]$, where the case $p=1$ is known and was established by S. Zhang and J. Xin. Using the sparse convex-combination technique, we establish the exact and the stable sparse signal recovery based on the restricted isometry property (RIP). We apply a modified iteratively re-weighted least squares method and the difference of convex functions algorithm (DCA) to give the IRLSTLp algorithm for unconstrained TLp minimization and prove some related convergence results. Finally, we conduct some numerical experiments to show the robustness of the IRLSTLp and the flexibility of the TLp minimization model. The novelty of these results lies in three aspects: (i) We introduce the concept of the relaxation degree RD$_P$ of a separable penalty function $P$ to quantitatively measure how closely $P$ approaches $\ell_0$. (ii) We introduce the TLp penalty, which includes two aforementioned adjustable parameters, offering more flexibility and stronger sparsity-promotion capability of the TLp minimization model, compared with the $\ell_p$ and the TL1 minimization models. (iii) The obtained RIP upper bound for signal recovery via TLp minimization can reduce, when $p\in(0,1]$ and as $a\to \infty$, to the sharp RIP bound obtained by R. Zhang and S. Li and, especially, can recover, when $p=1$, the well-known sharp bound $δ_{2s}<\frac{\sqrt{2}}{2}$.

$(λ^+)$-injective Banach spaces

2026-03-10T14:19:32Z

In a companion paper (Studia Math., 2023), we proved for every $λ\in(1,2]$ the existence of a $(λ^+)$-injective renorming of $\ell_\infty$ that is not $λ$-injective, thereby establishing a~forgotten theorem of Pełczyński in that range. The complementary range $λ\in(2,\infty)$ was left open. In the present paper, we resolve this remaining case: for every $λ>2$ we construct a Banach space that is $(λ^+)$-injective but not $λ$-injective, completing Pełczyński's theorem for all $λ>1$. The construction uses a single device: the `zero-sum' subspace $Σ_N(Y)\subset Z_\infty^N$, which multiplies the relative projection constant by $μ_N=2-2/N$ while preserving non-attainment. Iterating this operation reduces the problem to the range $(1,2]$ already covered by the companion paper. Since the ambient spaces arising in the iteration are finite $\ell_\infty$-sums of $\ell_\infty$, the resulting examples may be realised as subspaces of~$\ell_\infty$. We also prove that if two Banach spaces are each isometrically isomorphic to their own square and each is isometric to a $1$-complemented subspace of the other, then their Banach--Mazur distance is at most $9+6\sqrt{3}$. Consequently, we obtain the estimate $\operatorname{dist}(L_\infty[0,1],\ell_\infty)\le 9+6\sqrt{3}$, thereby improving a recent result of Korpalski and Plebanek.

Dunford-Pettis Multilinear Operators and their variations: A revisit to the classic concepts of Operator Ideals

2026-03-10T13:56:18Z

In this paper, we will address broader concepts for Dunford-Pettis operators, presenting new classes and results that correlate this class with others already well-studied in the literature, as well as an approach outside the origin. We also investigate the inclusion results and conditions for the coincidence of this class with others previously studied and also with new classes that will emerge throughout this text.

Convex body domination for the commutator of vector valued operators with matrix multi-symbol

2026-03-10T13:06:53Z

We provide convex body domination results for the generalized vector-valued commutator of those operators that admit specific forms of convex body domination themselves. We also prove some strong type estimates and other consequences of these results, and we study the BMO spaces that appear naturally in this context.

Uniform Concentration for $α$-subexponential Random Operators

2026-03-10T10:43:28Z

Random matrices acting on structured sets play a fundamental role in high-dimensional geometry, compressed sensing, and randomized algorithms. Existing results primarily focus on subgaussian models, when random matrices act as near-isometries on sets with optimal tail behavior. Nevertheless, very often in applications we deal with distributions with heavy tails that are not subgaussian but have at least exponential-type tails. In this work, we study random matrices A whose rows (or columns) have $α$-subexponential tail distributions with $α\in (0,2]$. So subgaussian and sub-exponential models are included in as special cases. We establish concentration type inequality for $Ax$, where x belongs to the bounded subsets of $\mathbb{R}^n$, showing that their geometric distortion is governed by Talagrand's functional of the set and depends on the tail parameter $α$. Our results extend the known optimal inequalities in the subgaussian regime ($α=2$), and provide new guarantees for heavier-tailed, yet exponentially integrable, random matrices. These findings extend the theory of random matrices beyond the subgaussian framework. Moreover, they yield near-isometric embedding results applicable to dimension reduction and allow us to make robust high-dimensional inference under non-Gaussian measurements.

Nonlinear Lebesgue spaces: Curves and geometry

2026-03-10T10:13:43Z

This paper is the second in a series by the author and collaborators devoted to the study of geometric and analytic properties of nonlinear Lebesgue spaces, that is, L^p spaces of mappings taking values in arbitrary metric spaces. The present article formalizes the pointwise description of their geometric properties -- their length structure, bounds on their Alexandrov curvature as well as the definition of a speed for absolutely continuous curves despite the lack of differential structure. To obtain this pointwise description, we first prove a nonlinear analogue of the Fubini--Lebesgue theorem, which yields an identification of L^p curves in nonlinear Lebesgue spaces to mappings taking values in the space of L^p curves. This identification of L^p curves then enables a similar identification for absolutely continuous curves, from which the pointwise description of the geometric properties of nonlinear Lebesgue spaces follows.

Invertibility of the Fourier Diffraction Relation in Raster Scan Diffraction Tomography

2026-03-10T10:10:04Z

Diffraction tomography aims to recover an object's scattering potential from measured wave fields. In the classical setting, the object is illuminated by plane waves from many directions, and the Fourier diffraction theorem provides a direct relation between the Fourier transform of the object's scattering potential and the Fourier transform of the measurements. In many practical imaging systems, however, focused beams are used instead of plane waves. These beams are then translated across the object to bring different regions of interest into focus. This article discusses what information about the scattering potential can be extracted from such measurements. As in the classical case, the analysis is based on a recently derived Fourier diffraction relation that relates the measurements to the Fourier coefficients of the scattering potential. However, this relation does not immediately provide an explicit reconstruction formula, but instead leads to a linear equation system for the Fourier coefficients. We therefore prove in this work that all Fourier coefficients appearing in these relations are in dimensions higher than two generically uniquely determined. In the two-dimensional case, on the other hand, only a particular subset of the Fourier coverage is uniquely recoverable, while on the remaining region distinct coefficients may produce identical data.

Classifying Wavelet Coorbit Spaces in Dimension 2

2026-03-10T10:03:48Z

Coorbit spaces provide a rigorous framework for the assessment of the approximation theoretic properties of generalized wavelet systems. It is therefore useful to understand when two different wavelet systems give rise to the same scales of coorbit spaces. This paper provides an exhaustive answer to this question for the case of continuous wavelet transforms associated with matrix groups in dimension two.

Raster Scan Diffraction Tomography

2026-03-10T10:02:25Z

Diffraction tomography is a widely used inverse scattering technique for quantitative imaging of weakly scattering media. In its conventional formulation, diffraction tomography assumes monochromatic plane wave illumination. This assumption, however, represents a simplification that often fails to reflect practical imaging systems such as medical ultrasound, where focused beams are used to scan a region of interest of the human body. Such measurement setups, combining focused illumination with scanning, have not yet been incorporated into the diffraction tomography framework. To bridge this gap, we extend diffraction tomography by modeling incident fields as Herglotz waves, thereby incorporating focused beams into the theory. Within this setting, we derive a new Fourier diffraction relation, which forms the basis for quantitative tomographic reconstruction from scanning data. Using this result, we systematically analyze how different scan geometries influence the reconstruction.

Jensen's inequality for partial traces in von Neumann algebras

2026-03-10T09:53:00Z

Motivated by a recent result on finite-dimensional Hilbert spaces, we prove a Jensen's inequality for partial traces in semifinite von Neumann algebras. We also prove a similar inequality in the framework of general (non-tracial) von Neumann algebras.

The maximal operator on variable Lebesgue spaces: an ${\mathcal A}_{\infty}$-characterization

2026-03-10T08:59:27Z

In this paper we obtain a new boundedness criterion for the maximal operator $M$ on variable exponent spaces $L^{p(\cdot)}$. It is formulated in terms of the variable exponent analogue of the well known weighted $A_{\infty}$ condition.

Non-Trivial Renormalization of Spin-Boson Models with Supercritical Form Factors

2026-03-10T06:54:02Z

In this paper we construct the non-trivial, renormalized Hamiltonian for a class of spin-boson models with supercritical form factors, including the one describing the Weisskopf-Wigner spontaneous emission. The renormalization is performed through both a self-energy and mass renormalization, in the so-called Hamiltonian formalism of constructive quantum field theory, implemented by a non-unitary dressing transformation. This solves the problem of triviality for unitarily-renormalized supercritical spin-boson models.

Demi Weakly Dunford-Pettis on Banach Spaces

2026-03-09T20:42:09Z

In this paper, our main goal is to define the class of weakly Demi Dunford-Pettis applications. We also study their relationship with the classes of weakly Dunford-Pettis and Demi Dunford-Pettis operators, including a condition where these operators coincide with Demi Dunford-Pettis and Demicompacts. In the last section, we study some of the behavior of this class in the Banach Lattice environment.

Outgoing monotone geodesics of standard subspaces

2026-03-09T17:06:28Z

We prove a real version of the Lax-Phillips Theorem and classify outgoing reflection positive orthogonal one-parameter groups. Using these results, we provide a normal form for outgoing monotone geodesics in the set Stand(H) of standard subspaces on some complex Hilbert space H. As the modular operators of a standard subspace are closely related to positive Hankel operators, our results are obtained by constructing some explicit symbols for positive Hankel operators. We also describe which of the monotone geodesics in Stand(H) arise from the unitary one-parameter groups described in Borchers' Theorem and provide explicit examples of monotone geodesics that are not of this type.

Two-Variable Compressions of Shifts, Toeplitz Operators, and Numerical Ranges

2026-03-09T16:20:32Z

This paper studies two-variable compressions of shifts associated to rational inner functions on the bidisk; these generalize the classical compressions of the shift associated to finite Blasckhe products and are unitarily equivalent to one-variable, matrix-valued Toeplitz operators. This paper proves that a rational inner function is almost completely determined by these Toeplitz operator symbols but provides examples showing that (unlike in the one-variable case) rational inner functions are not determined by the numerical ranges of their compressed shifts. This paper also investigates related questions including methods of constructing these compressed-shift Toeplitz operators and when the associated numerical ranges are open and closed.