Related papers: $n$-Subspaces in linear and unitary spaces

Motivated by the theory of locally definable groups, we study the theory of $K$-vector spaces with a predicate for the union $X$ of an infinite family of independent subspaces. We show that if $K$ is infinite then the theory is complete and…

We consider the notion of unitary transformations forming bases for subspaces of $M(d,\mathbb{C})$ such that the square of Hilbert-Schmidt inner product of matrices from the differing bases is a constant. Moving from the qubit case,…

Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…

In complex vector spaces maximal sets of equiangular lines, known as SICs, are related to real quadratic number fields in a dimension dependent way. If the dimension is of the form $n^2+3$ the base field has a fundamental unit of negative…

This paper presents a type theory in which it is possible to directly manipulate $n$-dimensional cubes (points, lines, squares, cubes, etc.) based on an interpretation of dependent type theory in a cubical set model. This enables new ways…

If $\fA$ is a unital weak-$*$ closed algebra of multiplication operators on a reproducing kernel Hilbert space which has the property $\bA_1(1)$, then the cyclic invariant subspaces index a Nevanlinna-Pick family of kernels. This yields an…

Let X be a proper CAT(0) space. A halfspace system (or cubulation) of X is a set H of open halfspaces closed under closure-complementation and such that every point in X has a neighbourhood intersecting only finitely many walls of H. Given…

We prove that every bounded self-adjoint operator in Hilbert space is a real linear combination of $4$ orthoprojections. Also we show that operators of the form identity minus compact positive operator can not be decomposed in a real linear…

A set of reproducing kernel Hilbert spaces are obtained on Hilbert spaces over quaternion slices with the aid of coherent states. It is proved that the so obtained set forms a measurable field of Hilbert spaces and their direct integral…

Let X be a real Banach space. We prove that the existence of an injective, positive, symmetric and not strictly singular operator from X into its dual implies that either X admits an equivalent Hilbertian norm or it contains a nontrivially…

Bender, Coley, Robbins and Rumsey posed the problem of counting the number of subspaces which have a given profile with respect to a linear endomorphism defined on a finite vector space. Several special cases of this problem have been…

Basic algebraic and combinatorial properties of finite vector spaces in which individual vectors are allowed to have multiplicities larger than $ 1 $ are derived. An application in coding theory is illustrated by showing that multispace…

Symmetries impose structure on the Hilbert space of a quantum mechanical model. The mathematical units of this structure are the irreducible representations of symmetry groups and I consider how they function as conceptual units of…

A well-known theorem due to R. E. Curto and N. Salinas gives a necessary and sufficient condition for the unitary equivalence of commuting tuples of bounded linear operators acting on reproducing kernel Hilbert spaces. Inspired by this…

We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural…

Let T:=[T_1,..., T_n] be an n-tuple of operators on a Hilbert space such that T is a completely non-coisometric row contraction. We establish the existence of a "one-to-one" correspondence between the joint invariant subspaces under…

Gaussian elimination answers any question about a finitely presented vector space. However, a "uniform family" of such presentations--given as generic relations among an unspecified number of generators--is susceptible to elimination only…

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

In this paper we study a relationship between systems of $n$ subspaces and representations of $*$-algebras generated by projections. We prove that irreducible nonequivalent $*$-representations of $*$-algebras $\mathcal P_{4,com}$ generate…

Higher idempotent completion gives a formal inductive construction of the $n$-category of finite dimensional $n$-vector spaces starting with the complex numbers. We propose a manifestly unitary construction of low dimensional higher Hilbert…