arXiv subjects

Jireh Loreaux

Publications and source records attributed to Jireh Loreaux.

15 recordsLinked to original sources

arXiv2026

The continuous functional calculus in Lean

The continuous functional calculus is perhaps the most fundamental construction in the theory of operator algebras, especially $C^{*}$-algebras. Here we document our formalization of the continuous functional calculus in Lean, which constitutes the first such formalization in any proof assistant. Our implementation is already merged into Lean's mathematical library, Mathlib. We provide a brief introduction to the mathematical theory for those unfamiliar with the subject, and then highlight the design decisions in our formalization which proved to be important for usability. Our exposition is aimed at a general mathematical audience and provides a glimpse into the world of formalization by laying bare the discovery process.

math.OA↗

arXiv2022

k1-injectivity of the Paschke dual algebra for certain simple C*-algebras

Let $\mathcal{B}$ be a nonunital separable simple stable C*-algebra with strict comparison of positive elements and $T(\mathcal{B})$ having finite extreme boundary, and let $\mathcal{A}$ be a simple unital separable nuclear C*-algebra. We prove that the Paschke dual algebra $\mathcal{A}^d_{\mathcal{B}}$ is $K_1$-injective. As a consequence, we obtain interesting $KK$-uniqueness theorems which generalize the Brown-Douglas-Fillmore essential codimension property.

math.OA↗

arXiv2022

On commutators of compact operators via block tridiagonalization: generalizations and limitations of Anderson's approach

We offer a new perspective and some advances on the 1971 Pearcy--Topping problem: Is every compact operator a commutator of compact operators? Our goal is to analyze and generalize the 1970's work in this area of Joel Anderson combined with the work of the last named author of this paper. We reduce the general problem to a simpler sequence of finite matrix equations with norm constraints, while at the same time developing strategies for counterexamples. Our approach is to ask which compact operators $T$ are commutators $AB-BA$ of compact operators $A,B$; and to analyze the implications of Joel Anderson's contributions to this problem, which will yield a generalization of his method. By extending the techniques of Anderson [1] we obtain new classes of operators that are commutators of compact operators beyond those obtained in [17] and [2]. And by employing the techniques of the last named author [22], we found obstructions to extending Anderson's techniques in terms of certain constraints for $T$, with special focus on when $T$ is a strictly positive compact diagonal operator. Some of these constraints involve general universal block tridiagonal matrix forms for operators, and some involve $\mathcal{B(H)}$-ideal constraints. And in terms of these matrix forms, we give some equivalences, some sufficient conditions and some necessary conditions for this Pearcy--Topping problem and its various offshoots to hold true. These matrix forms are a sparsification of matrix representations of an operator (an increase in the proportion of zeros in its corners by a change of basis) and we measure the support density of these forms. And finally we provide some necessary conditions for the Pearcy--Topping problem involving singular numbers and $\mathcal{B(H)}$-ideal constraints.

math.FA↗

arXiv2021

$K_1$-injectivity of the Paschke dual algebra, and uniqueness

We prove that a large class of Paschke dual algebras of simple unital C*-algebras are $K_1$-injective. As a consequence, we obtain interesting $KK$-uniqueness theorems which generalize the Brown--Douglas--Fillmore essential codimension property.

math.OA↗

arXiv2021

Closedness of the orbit-closed $C$-numerical range and submajorization

For a positive trace-class operator $C$ and a bounded operator $A$, we provide an explicit description of the closure of the orbit-closed $C$-numerical range of $A$ in terms of those operators submajorized by $C$ and the essential numerical range of $A$. This generalizes and subsumes recent work of Chan, Li and Poon for the $k$-numerical range, as well as some of our own previous work on the orbit-closed $C$-numerical range.

math.FA↗

arXiv2021

Matrix splitting and ideals in $\mathcal{B}(\mathcal{H})$

We investigate the relationship between ideal membership of an operator and its pieces relative to several canonical types of partitions of the entries of its matrix representation with respect to a given orthonormal basis. Our main theorems establish that if $T$ lies in an ideal $\mathcal{I}$, then $\sum P_n T P_n$ (or more generally $\sum Q_n T P_n$) lies in the arithmetic mean closure of $\mathcal{I}$ whenever $\{P_n\}$ (and also $\{Q_n\}$) is a sequence of mutually orthogonal projections; and in any basis for which $T$ is a block band matrix, in particular, when in Patnaik--Petrovic--Weiss universal block tridiagonal form, then all the sub/super/main-block diagonals of $T$ are in $\mathcal{I}$. And in particular, the principal ideal generated by this $T$ is the finite sum of the principal ideals generated by each sub/super/main-block diagonals.

math.FA↗

arXiv2020

Convexity of the orbit-closed $C$-numerical range and majorization

We introduce and investigate the orbit-closed $C$-numerical range, a natural modification of the $C$-numerical range of an operator introduced for $C$ trace-class by Dirr and vom Ende. Our orbit-closed $C$-numerical range is a conservative modification of theirs because these two sets have the same closure and even coincide when $C$ is finite rank. Since Dirr and vom Ende's results concerning the $C$-numerical range depend only on its closure, our orbit-closed $C$-numerical range inherits these properties, but we also establish more. For $C$ selfadjoint, Dirr and vom Ende were only able to prove that the closure of their $C$-numerical range is convex, and asked whether it is convex without taking the closure. We establish the convexity of the orbit-closed $C$-numerical range for selfadjoint $C$ without taking the closure by providing a characterization in terms of majorization, unlocking the door to a plethora of results which generalize properties of the $C$-numerical range known in finite dimensions or when $C$ has finite rank. Under rather special hypotheses on the operators, we also show the $C$-numerical range is convex, thereby providing a partial answer to the question posed by Dirr and vom Ende.

math.FA↗

arXiv2019

On diagonals of operators: selfadjoint, normal and other classes

We provide a survey of the current state of the study of diagonals of operators, especially selfadjoint operators. In addition, we provide a few new results made possible by recent work of Müller-Tomilov and Kaftal-Loreaux. This is an expansion of the second author's lecture part II at OT27.

math.FA↗

arXiv2019

Remarks on Essential Codimension

We look for generalizations of the Brown-Douglas-Fillmore essential codimension result, leading to interesting local uniqueness theorems in $KK$-theory. We also study the structure of Paschke dual algebras.

math.OA↗

arXiv2017

Traces on ideals and the commutator property

We propose a new class of traces motivated by a trace/trace class property discovered by Laurie, Nordgren, Radjavi and Rosenthal concerning products of operators outside the trace class. Spectral traces, traces that depend only on the spectrum and algebraic multiplicities, possess this property and we suspect others do, but we know of no other traces that do. This paper is intended to be part survey. We provide here a brief overview of some facts concerning traces on ideals, especially involving Lidskii formulas and spectral traces. We pose the central question: whenever the relevant products, $AB$, $BA$ lie in an ideal, do bounded operators $A$, $B$ always commute under any trace on that ideal, i.e.,$τ(AB) = τ(BA)$? And if not, characterize which traces/ideals do possess this property.

math.FA↗

arXiv2017

Restricted diagonalization of finite spectrum normal operators and a theorem of Arveson

Kadison characterized the diagonals of projections and observed the presence of an integer. Arveson later recognized this integer as a Fredholm index obstruction applicable to any normal operator with finite spectrum coincident with its essential spectrum whose elements are the vertices of a convex polygon. Recently, in joint work with Kaftal, the author linked the Kadison integer to essential codimension of projections. This paper provides an analogous link between Arveson's obstruction and essential codimension as well as a new approach to Arveson's theorem which also allows for generalization to any finite spectrum normal operator. In fact, we prove that Arveson's theorem is a corollary of a trace invariance property of arbitrary normal operators. An essential ingredient is a formulation of Arveson's theorem in terms of diagonalization by a unitary which is a Hilbert-Schmidt perturbation of the identity.

math.OA↗

arXiv2016

Kadison's Pythagorean Theorem and essential codimension

Kadison's Pythagorean theorem (2002) provides a characterization of the diagonals of projections with a subtle integrality condition. Arveson (2007), Kaftal, Ng, Zhang (2009), and Argerami (2015) all provide different proofs of that integrality condition. In this paper we interpret the integrality condition in terms of the essential codimension of a pair of projections introduced by Brown, Douglas and Fillmore (1973), or, equivalently of the index of a Fredholm pair of projections introduced by Avron, Seiler, and Simon (1994). The same techniques explain the integer occurring in the characterization of diagonals of selfadjoint operators with finite spectrum by Bownik and Jasper (2015).

math.OA↗

arXiv2016

Thompson's theorem for compact operators and diagonals of unitary operators

As applications of Kadison's Pythageorean and carpenter's theorems, the Schur-Horn theorem, and Thompson's theorem, we obtain an extension of Thompsons theorem to compact operators and use these ideas to give a characterization of diagonals of unitary operators. Thompson's mysterious inequality concerning the last terms of the diagonal and singular value sequences plays a central role.

math.FA↗

arXiv2015

Diagonality and idempotents with applications to problems in operator theory and frame theory

We prove that a nonzero idempotent is zero-diagonal if and only if it is not a Hilbert-Schmidt perturbation of a projection, along with other useful equivalences. Zero-diagonal operators are those whose diagonal entries are identically zero in some basis. We also prove that any bounded sequence appears as the diagonal of some idempotent operator, thereby providing a characterization of inner products of dual frame pairs in infinite dimensions. Furthermore, we show that any absolutely summable sequence whose sum is a positive integer appears as the diagonal of a finite rank idempotent.

math.FA↗

arXiv2015

Majorization and a Schur-Horn Theorem for positive compact operators, the nonzero kernel case

Schur-Horn theorems focus on determining the diagonal sequences obtainable for an operator under all possible basis changes, formally described as the range of the canonical conditional expectation of its unitary orbit. Following a brief background survey, we prove an infinite dimensional Schur-Horn theorem for positive compact operators with infinite dimensional kernel, one of the two open cases posed recently by Kaftal- Weiss. There, they characterized the diagonals of operators in the unitary orbits for finite rank or zero kernel positive compact operators. Here we show how the characterization problem depends on the dimension of the kernel when it is finite or infinite dimensional. We obtain exact majorization characterizations of the range of the canonical conditional expectation of the unitary orbits of positive compact operators with infinite dimensional kernel, unlike the approximate characterizations of Arveson-Kadison, but extending the exact characterizations of Gohberg-Markus and Kaftal-Weiss. Recent advances in this subject and related subjects like traces on ideals show the relevance of new kinds of sequence majorization as in the work of Kaftal-Weiss (e.g., strong majorization and another majorization similar to what here we call $p$-majorization), and of Kalton-Sukochev (e.g., uniform Hardy-Littlewood majorization), and of Bownik-Jasper (e.g., Riemann and Lebesgue majorization). Likewise key tools here are new kinds of majorization, which we call $p$- and approximate $p$-majorization ($0\le p\le \infty$).

math.FA↗