http://arxiv.org/api/ooQrC4lMjEvHjJ7yB9oS1OIZz7o 2025-05-08T00:00:00-04:00 33157 195 15 http://arxiv.org/abs/2504.14198v1 2025-04-19T06:25:39Z 2025-04-19T06:25:39Z

An element of the algebra $M_n(\mathbb{F})$ of $n \times n$ matrices over a field $\mathbb{F}$ is called an involution if its square equals the identity matrix. Gustafson, Halmos, and Radjavi proved that any product of involutions in $M_n(\mathbb{F})$ can be expressed as a product of at most four involutions. In this article, we investigate the bijective linear preservers of the sets of products of two, three, or four involutions in $M_n(\mathbb{F})$.

Chi-Kwong Li Tejbir Lohan Sushil Singla 22 pages, comments are welcome! http://arxiv.org/abs/2312.01715v2 2025-04-18T22:23:55Z 2023-12-04T08:14:23Z

This paper delves into the spectral norm aspect of the Generalized Column and Row Subset Selection (GCRSS) problem. Given a target matrix $\mathbf{A}\in \mathbb{R}^{n\times d}$, the objective of GCRSS is to select a column submatrix $\mathbf{B}_{:,S}\in\mathbb{R}^{n\times k}$ from the source matrix $\mathbf{B}\in\mathbb{R}^{n\times d_B}$ and a row submatrix $\mathbf{C}_{R,:}\in\mathbb{R}^{r\times d}$ from the source matrix $\mathbf{C}\in\mathbb{R}^{n_C\times d}$, such that the residual matrix $(\mathbf{I}_n-\mathbf{B}_{:,S}\mathbf{B}_{:,S}^{\dagger})\mathbf{A}(\mathbf{I}_d-\mathbf{C}_{R,:}^{\dagger} \mathbf{C}_{R,:})$ has a small spectral norm. By employing the method of interlacing polynomials, we show that the smallest possible spectral norm of a residual matrix can be bounded by the largest root of a related expected characteristic polynomial. A deterministic polynomial time algorithm is provided for the spectral norm case of the GCRSS problem. We next focus on two specific GCRSS scenarios: the Generalized Column Subset Selection (GCSS) problem ($r=0$), and the submatrix selection problem ($\mathbf{B}=\mathbf{C}=\mathbf{I}_d$). In the GCSS scenario, we connect the expected characteristic polynomials to the convolution of multi-affine polynomials, leading to the derivation of the first provable reconstruction bound on the spectral norm of a residual matrix. In the submatrix selection scenario, we show that for any sufficiently small $\varepsilon>0$ and any square matrix $\mathbf{A}\in\mathbb{R}^{d\times d}$, there exist two subsets $S\subset [d]$ and $R\subset [d]$ of sizes $O(d\cdot \varepsilon^2)$ such that $\Vert\mathbf{A}_{S,R}\Vert_2\leq \varepsilon\cdot \Vert\mathbf{A}\Vert_2$.

Jian-Feng Cai Zhiqiang Xu Zili Xu Accepted by Foundations of Computational Mathematics http://arxiv.org/abs/2504.11614v2 2025-04-18T19:11:54Z 2025-04-15T21:00:13Z

We study the C$^*$ algebra generated by the composition operator $C_a$ acting on the Hardy space $H^2$ of the unit disk, given by $C_af=f\circ\varphi_a$, where $$ \varphi_a(z)=\frac{a-z}{1-\bar{a}z}, $$ for $|a|<1$. Also several operators related to $C_a$ are examined.

Esteban Andruchow http://arxiv.org/abs/2503.21930v2 2025-04-18T17:01:31Z 2025-03-27T19:16:42Z

In this article we present new proofs for the boundedness and the compactness on $\ell^2$ of the Rhaly matrices, also known as terraced matrices. We completely characterize when such matrices belong to the Schatten class $\mathcal{S}^q(\ell^2)$, for $1<q<\infty$. Finally, we apply our results to study the Hadamard multipliers in weighted Dirichlet spaces, answering a question left open by Mashreghi-Ransford.

Carlo Bellavita Eugenio Dellepiane Georgios Stylogiannis http://arxiv.org/abs/2504.13761v1 2025-04-18T15:59:25Z 2025-04-18T15:59:25Z

The comonotonic maxitivity property of functionals frequently appears in the characterization of fuzzy integrals based on the maximum operation. In some special cases, comonotonic maxitivity implies monotonicity of functionals. The question of whether this implication holds in general was posed by T. Radul (2023). It was shown in that paper that the implication is valid for finite compacta. In this article, we provide a negative answer to the general problem and discuss additional properties that need to be imposed to ensure the implication holds.

Taras Radul http://arxiv.org/abs/2504.13663v1 2025-04-18T12:47:19Z 2025-04-18T12:47:19Z

We study symmetric points with respect to $(\rho_+)$-orthogonality, $(\rho_{-})$-orthogonality and $\rho$-orthogonality in the space $C(K, \mathbb{X}),$ where $K$ is a perfectly normal, compact space and $ \mathbb X$ is a Banach space. We characterize left symmetric points and right symmetric points in $C(K, \mathbb{X})$ with respect to $(\rho_{+})$-orthogonality and $(\rho_{-})$-orthogonality, separately. Furthermore, we provide necessary conditions for left symmetric and right symmetric points with respect to $\rho$-orthogonality. As an application of these results we also study these symmetric points in the space of operators defined on some special Banach spaces.

Shamim Sohel Debmalya Sain Kallol Paul arXiv admin note: text overlap with arXiv:2504.11849 http://arxiv.org/abs/2411.10866v2 2025-04-18T06:35:04Z 2024-11-16T19:22:27Z

Let $X$ be an uncountable Polish space and let $\mathcal{I}$ be an ideal on $\omega$. A point $\eta \in X$ is an $\mathcal{I}$-limit point of a sequence $(x_n)$ taking values in $X$ if there exists a subsequence $(x_{k_n})$ convergent to $\eta$ such that the set of indexes $\{k_n: n \in \omega\}\notin \mathcal{I}$. Denote by $\mathscr{L}(\mathcal{I})$ the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$ or $S$ is empty. In this paper, we study the relationships between the topological complexity of ideals $\mathcal{I}$, their combinatorial properties, and the families of sets $\mathscr{L}(\mathcal{I})$ which can be attained. On the positive side, we provide several purely combinatorial (not dependind on the space $X$) characterizations of ideals $\mathcal{I}$ for the inclusions and the equalities between $\mathscr{L}(\mathcal{I})$ and the Borel classes $\Pi^0_1$, $\Sigma^0_2$, and $\Pi^0_3$. As a consequence, we prove that if $\mathcal{I}$ is a $\Pi^0_4$ ideal then exactly one of the following cases holds: $\mathscr{L}(\mathcal{I})=\Pi^0_1$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^1_1$ (however we do not have an example of a $\Pi^0_4$ ideal with $\mathscr{L}(\mathcal{I})=\Sigma^1_1$). In addition, we provide an explicit example of a coanalytic ideal $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})=\Sigma^1_1$. On the negative side, we show that there are no ideals $\mathcal{I}$ such that $\mathscr{L}(\mathcal{I})=\Pi^0_2$ or $\mathscr{L}(\mathcal{I})=\Sigma^0_3$. We conclude with several open questions.

Rafal Filipow Adam Kwela Paolo Leonetti http://arxiv.org/abs/2504.13464v1 2025-04-18T05:05:21Z 2025-04-18T05:05:21Z

The purpose of this article is to study the anti-coproximinal and strongly anti-coproximinal subspaces of the Banach space of all bounded (continuous) functions. We obtain a tractable necessary condition for a subspace to be stronsgly anti-coproximinal. We prove that for a subspace $\mathbb{Y}$ of a Banach space $\mathbb{X}$ to be strongly anti-coproximinal, $\mathbb Y$ must contain all w-ALUR points of $\mathbb{X}$ and intersect every maximal face of $B_{\mathbb{X}}.$ We also observe that the subspace $\mathbb{K}(\mathbb{X}, \mathbb{Y})$ of all compact operators between the Banach spaces $ \mathbb X $ and $ \mathbb Y$ is strongly anti-coproximinal in the space $\mathbb{L}(\mathbb{X}, \mathbb{Y})$ of all bounded linear operators between $ \mathbb X $ and $ \mathbb Y$, whenever $\mathbb{K}(\mathbb{X}, \mathbb{Y})$ is a proper subset of $\mathbb{L}(\mathbb{X}, \mathbb{Y}),$ and the unit ball $B_{\mathbb{X}}$ is the closed convex hull of its strongly exposed points.

Shamim Sohel Souvik Ghosh Debmalya Sain Kallol Paul http://arxiv.org/abs/2407.07911v3 2025-04-18T02:45:52Z 2024-07-02T12:35:16Z

We introduce a novel polynomial identity and use it to prove an unexpected result on linear algebra of quadratic forms. Besides its counterintuitive nature which is of independent interest, our result happens to be closely related to Druzkowski's reduction of the Jacobian Conjecture to which the mystery can be partially attributed.

Li Chen http://arxiv.org/abs/2406.19511v2 2025-04-17T20:22:55Z 2024-06-27T20:16:24Z

We give a new proof of a Fourier interpolation result first proved by Radchenko-Viazovska, deriving it from a vanishing result of the first cohomology of a Fuchsian group with coefficients in the Weil representation.

Mathilde Gerbelli-Gauthier Akshay Venkatesh 29 pages. Minor edits and new example in Section 6. Comments Welcome! http://arxiv.org/abs/2412.06031v3 2025-04-17T17:41:14Z 2024-12-08T19:00:56Z

We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert's selflessness problem for $C^*_r(G)$; uniqueness of embeddings of the Jiang-Su algebra $\mathcal{Z}$ up to approximate unitary equivalence into $C^*_r(G)$; full computations of the Cuntz semigroup of $C^*_r(G)$ and future directions in the $C^*$-classification program.

Tattwamasi Amrutam David Gao Srivatsav Kunnawalkam Elayavalli Gregory Patchell In memory of Dr S Balachander. 14 pages. Comments welcome. In v2: added a new family of examples groups fitting into our result, heirarchically hyperbolic groups. Thanks to J. Behrstock for pointing this out to us. In v3: fixed some typographical errors and made minor edits, also added alternative argument in free group case shared by M. Magee http://arxiv.org/abs/2503.13379v3 2025-04-17T13:32:39Z 2025-03-17T17:06:27Z

The optimal error exponents of binary composite i.i.d. state discrimination are trivially bounded by the worst-case pairwise exponents of discriminating individual elements of the sets representing the two hypotheses, and in the finite-dimensional classical case, these bounds in fact give exact single-copy expressions for the error exponents. In contrast, in the non-commutative case, the optimal exponents are only known to be expressible in terms of regularized divergences, resulting in formulas that, while conceptually relevant, practically not very useful. In this paper, we develop further an approach initiated in [Mosonyi, Szil\'agyi, Weiner, IEEE Trans. Inf. Th. 68(2):1032--1067, 2022] to give improved single-copy bounds on the error exponents by comparing not only individual states from the two hypotheses, but also various unnormalized positive semi-definite operators associated to them. Here, we show a number of equivalent characterizations of such operators giving valid bounds, and show that in the commutative case, considering weighted geometric means of the states, and in the case of two states per hypothesis, considering weighted Kubo-Ando geometric means, are optimal for this approach. As a result, we give a new characterization of the weighted Kubo-Ando geometric means as the only $2$-variable operator geometric means that are block additive, tensor multiplicative, and satisfy the arithmetic-geometric mean inequality. We also extend our results to composite quantum channel discrimination, and show an analogous optimality property of the weighted Kubo-Ando geometric means of two quantum channels, a notion that seems to be new. We extend this concept to defining the notion of superoperator perspective function and establish some of its basic properties, which may be of independent interest.

Péter E. Frenkel Milán Mosonyi Péter Vrana Mihály Weiner 36 pages. v3: Added explicit example with strict improvement in the strong converse exponent using geometric means http://arxiv.org/abs/2504.12827v1 2025-04-17T10:40:54Z 2025-04-17T10:40:54Z

In this paper, structural properties of lower semi-frames in separable Hilbert spaces are explored with a focus on transformations under linear operators (may be unbounded). Also, the direct sum of lower semi-frames, providing necessary and sufficient conditions for the preservation of lower semi-frame structure, is examined.

Hemalatha M P. Sam Johnson Harikrishnan P. K http://arxiv.org/abs/2504.12783v1 2025-04-17T09:29:31Z 2025-04-17T09:29:31Z

In this paper, we investigate a spline frame generated by oversampling against the well-known Battle-Lemari\'e wavelet system of nonnegative integer order, $n$. We establish a characterization of the Besov and Triebel-Lizorkin (quasi-) norms for the smoothness parameter up to $s < n+1$, which includes values of $s$ where the Battle-Lemari\'e system no longer provides an unconditional basis; we, additionally, prove a result for the endpoint case $s=n+1$. This builds off of earlier work by G. Garrig\'os, A. Seeger, and T. Ullrich, where they proved the case $n=0$, i.e. that of the Haar wavelet, and work of R. Srivastava, where she gave a necessary range for the Battle-Lemari\'e system to give an unconditional basis of the Triebel-Lizorkin spaces.

Andrew Haar 39 pages, 1 figure http://arxiv.org/abs/2504.12725v1 2025-04-17T08:06:18Z 2025-04-17T08:06:18Z

This seminal paper marks the beginning of our investigation into on the spectral theory based on $S$-spectrum applied to the Dirac operator on manifolds. Specifically, we examine in detail the cases of the Dirac operator $\mathcal{D}_H$ on hyperbolic space and the Dirac operator $\mathcal{D}_S$ on the spherical space, where these operators, and their squares $\mathcal{D}_H^2$ and $\mathcal{D}_S^2$, can be written in a very explicit form. This fact is very important for the application of the spectral theory on the $S$-spectrum. In fact, let $T$ denote a (right) linear Clifford operator, the $S$-spectrum is associated with a second-order polynomial in the operator $T$, specifically the operator defined as $ Q_s(T) := T^2 - 2s_0T + |s|^2. $ This allows us to associate to the Dirac operator boundary conditions that can be of Dirichlet type but also of Robin-like type. Moreover, our theory is not limited to Hilbert modules; it is applicable to Banach modules as well. The spectral theory based on the $S$-spectrum has gained increasing attention in recent years, particularly as it aims to provide quaternionic quantum mechanics with a solid mathematical foundation from the perspective of spectral theory. This theory was extended to Clifford operators, and more recently, the spectral theorem has been adapted to this broader context. The $S$-spectrum is crucial for defining the so-called $S$-functional calculus for quaternionic and Clifford operators in various forms. This includes bounded as well as unbounded operators, where suitable estimates of sectorial and bi-sectorial type for the $S$-resolvent operator are essential for the convergence of the Dunford integrals in this setting.

Ivan Beschastnyi Fabrizio Colombo Simão Andrade Lucas Irene Sabadini