A Further Generalization of the Gale-Nikaido-Kuhn-Debreu Market Equilibrium Theorem

2026-03-10T19:31:30Z

We extend the important generalizations by Yannelis [25] and Cornet et al [7] of the classical result of Gale, Nikaido, Kuhn and Debreu (the "GNKD theorem") regarding existence of market equilibrium, by broadening the applicability of their results, which apply only to economies with commodity space that can be modeled by a locally convex Hausdorff space, to the wider class of economies with commodity spaces describable by any Hausdorff topological vector space with nontrivial continuous dual.

Anchor-Based Function Extrapolation with Proven Bounds and Projection Guarantees

2026-03-10T17:30:47Z

Classical approximation and learning methods are typically optimized for interpolation over a sampled domain Ω, with no guarantees on their behavior in an extrapolation region Ξ, where small in-domain errors may amplify. We develop a model-agnostic framework that recasts extrapolation as a feasibility and projection problem with rigorous guarantees. The approach is built around anchor functions, auxiliary constructions for which one can certify an upper bound on the Ξ-distance to the unknown target function. Such certificates define feasible sets that are proven to contain the true function. Given any baseline approximation (e.g., least-squares or regularized regression), we obtain a corrected extrapolation by projecting the baseline onto the feasible set; the resulting predictor is proven not to increase the error on Ξ, and we prove quantitative bounds on the improvement. We establish new stability constants governing extrapolation, including a tight spectral condition number and a numerically stable inner-domain bound that connects in-domain error to extrapolation risk. To reduce conservatism of worst-case certification, we also propose probabilistic anchor functions that yield high-confidence feasible sets. Numerical experiments, including geomagnetic field modeling and nonlinear oscillators, demonstrate substantial reductions in extrapolation error and corroborate the theoretical predictions.

Kippenhahn's Conjecture Revisited

2026-03-10T17:11:34Z

In 1951 paper \cite{Ki} Kippenhahn conjectured that if the characteristic polynomial \ $P_A(x_1,x_2,x_3)=\mbox{det}(x_1A_1+x_2A_2-x_3I)$, \ where $A_1$ and $A_2$ are $n\times n$ Hermitian matrices, has a repeated factor in the polynomial ring $\C[x_1,x_2,x_3]$, then the pair $(A_1,A_2)$ is unitary equivalent to a direct sum $(C_1\oplus C_2, \ D_1\oplus D_2)$ where $C_i, D_i\in M_{n_i}(\C) $ for some $1\leq n_i

On some Sobolev and Pólya-Szegö type inequalities with weights and applications

2026-03-10T14:57:20Z

We are motivated by studying a boundary-value problem for a class of semilinear degenerate elliptic equations \begin{align}\tag{P}\label{P} \begin{cases} - Δ_x u - |x|^{2α} \dfrac{\partial^2 u}{\partial y^2} = f(x,y,u) & \textrm{in } Ω, u = 0 & \textrm{on } \partial Ω, \end{cases} \end{align} where $x = (x_1, x_2) \in \mathbb{R}^2$, $Ω$ is a bounded smooth domain in $\mathbb{R}^3$, $(0,0,0) \in Ω$, and $α> 0$. In this paper, we will study this problem by establishing embedding theorems for weighted Sobolev spaces. To this end, we need a new Pólya-Szegö type inequality, which can be obtained by studying an isoperimetric problem for the corresponding weighted area. Our results then extend the existing ones in \cite{nga, Luyen2} to the three-dimensional context.

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.