Related papers: Ends of spaces via linear algebra
We provide a visual and intuitive introduction to effectively calculating in 2-groups along with explicit examples coming from non-abelian 1- and 2-form gauge theory. In particular, we utilize string diagrams, tools similar to tensor…
In these notes we give a brief introduction to decomposition theory and we summarize some classical and well-known results. The main question is that if a partitioning of a topological space (in other words a decomposition) is given, then…
The concept of scaling algebra provides a novel framework for the general structural analysis and classification of the short distance properties of algebras of local observables in relativistic quantum field theory. In the present article…
Boolean spaces with internal semigroups generalize profinite semigroups and are pertinent for the recognition of not-necessarily regular languages. Via recognition, the study of existential quantification in logic on words amounts to the…
We show that any filtering family of closed convex subsets of a finite-dimensional CAT(0) space $X$ has a non-empty intersection in the visual bordification $ \bar{X} = X \cup \partial X$. Using this fact, several results known for proper…
For every operator space $X$ the $C^\ast$-algebra containing it in a universal way is residually finite-dimensional (that is, has a separating family of finite-dimensional representations). In particular, the free $C^\ast$-algebra on any…
The kernel of analysis, to me anyway, is the following idea: A point is arbitrarily close to a set if every neighborhood of the point intersects the set. Defining ``arbitrarily close'' in this way provides a foundation for classical results…
In this paper we define infinite-dimensional algebra and its representation, whose basis is naturally identified with semi-infinite configurations of the square ladder model. We also extrapolate the ideas for the cyclic 3-leg triangular…
We consider the problem of searching for proofs in sequential presentations of logics with multiplicative (or intensional) connectives. Specifically, we start with the multiplicative fragment of linear logic and extend, on the one hand, to…
We introduce linear programs encoding regular expressions of finite languages. We show that, given a language, the optimum value of the associated linear program is a lower bound on the size of any regular expression of the language.…
There are presented certain results on extending continuous linear operators defined on spaces of E-valued continuous functions (defined on a compact Hausdorff space X) to linear operators defined on spaces of E-valued measurable functions…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
In previous work arXiv:2407.13556, we proposed an extended phase space structure at null infinity accommodating large gauge symmetries for sub$^n$-leading soft theorems in Yang-Mills, via dressing fields arising in the Stueckelberg…
Singularities, such as poles and branch points, play a crucial role in investigating the analytic properties of scattering amplitudes that inform new computational techniques. In this note, we point out that scattering amplitudes can also…
On the one hand the algebras of linear operators here act on finite-dimensional vector spaces, and on the other hand the point of view is generally an analysts'. Also, one might think of algebras as being used to add more data to basic…
With the advent of computers, one needs algebraic structures that can simultaneously work with bulk data. One such algebraic structure, namely, n-linear algebras of type I are introduced in this book and its applications to n-Markov chains…
We present an auxiliary space theory that provides a unified framework for analyzing various iterative methods for solving linear systems that may be semidefinite. By interpreting a given iterative method for the original system as an…
We give a self-contained exposition of some mathematical aspects of the Mueller-Stokes formalism. In the first part we review some basic notions of linear algebra and establish a proper notation. In the second part we introduce the…
We give a new proof of a characterization of the closeness of the range of a continuous linear operator and of the closeness of the sum of two closed vector subspaces of a Banach space. Then we state sufficient conditions for the closeness…
This PHD thesis is concerned with uncertainty relations in quantum probability theory, state estimation in quantum stochastics, and natural bundles in differential geometry. After some comments on the nature and necessity of decoherence in…