Solution of the Ovals problem

2025-04-19T07:15:04Z

In this paper, we bring a complete solution to the Ovals problem, as formulated in [3] and [24].

Linear maps preserving product of involutions

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})$.

Interlacing Polynomial Method for Matrix Approximation via Generalized Column and Row Selection

2025-04-18T22:23:55Z

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$.

The C$^*$-algebra of a composition reflection

2025-04-18T19:11:54Z

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.

Boundedness, compactness and Schatten class for Rhaly matrices

2025-04-18T17:01:31Z

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

On monotonicity of comonotonically maxitive functional

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.

On symmetricity of orthogonality in function spaces and space of operators on Banach spaces

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.

Borel complexity of sets of ideal limit points

2025-04-18T06:35:04Z

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.

On best coapproximations and some special subspaces of function spaces

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.

Mixed Fractional Information: Consistency of Dissipation Measures for Stable Laws

2025-04-18T02:49:24Z

Symmetric alpha-stable (S alpha S) distributions with alpha<2 lack finite classical Fisher information. Building on Johnson's framework, we define Mixed Fractional Information (MFI) via the initial rate of relative entropy dissipation during interpolation between S alpha S laws with differing scales, v and s. We demonstrate two equivalent formulations for MFI in this specific S alpha S-to-S alpha S setting. The first involves the derivative D'(v) of the relative entropy between the two S alpha S densities. The second uses an integral expectation E_gv[u(x,0) (pF_v(x) - pF_s(x))] involving the difference between Fisher scores (pF_v, pF_s) and a specific MMSE-related score function u(x,0) derived from the interpolation dynamics. Our central contribution is a rigorous proof of the consistency identity: D'(v) = (1/(alpha v)) E_gv[X (pF_v(X) - pF_s(X))]. This identity mathematically validates the equivalence of the two MFI formulations for S alpha S inputs, establishing MFI's internal coherence and directly linking entropy dissipation rates to score function differences. We further establish MFI's non-negativity (zero if and only if v=s), derive its closed-form expression for the Cauchy case (alpha=1), and numerically validate the consistency identity. MFI provides a finite, coherent, and computable information-theoretic measure for comparing S alpha S distributions where classical Fisher information fails, connecting entropy dynamics to score functions and estimation concepts. This work lays a foundation for exploring potential fractional I-MMSE relations and new functional inequalities tailored to heavy-tailed systems.

A polynomial identity and beyond

2025-04-18T02:45:52Z

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.

Summability Methods for the Greedy Algorithm in Banach spaces

2025-04-17T21:30:09Z

For the past 25 years, one of the most studied algorithms in the field of Nonlinear Approximation Theory has been the Thresholding Greedy Algorithm. In this paper, we propose new summability methods for this algorithm, generating two new types of greedy-like bases - namley Ces\`aro quasi-greedy and de la Vall\'ee-Poussin-quasi-greedy bases. We will analyze the connection between these types of bases and the well-known quasi-greedy bases, and leave some open problems for future research.

Cohomology of Fuchsian groups and Fourier interpolation

2025-04-17T20:22:55Z

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.

Strict comparison in reduced group $C^*$-algebras

2025-04-17T17:41:14Z

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.

Error bounds for composite quantum hypothesis testing and a new characterization of the weighted Kubo-Ando geometric means

2025-04-17T13:32:39Z

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.