Related papers: Notes on countable frames

Given a total sequence in a Hilbert space, we speak of an upper (resp. lower) semi-frame if only the upper (resp. lower) frame bound is valid. Equivalently, for an upper semi-frame, the frame operator is bounded, but has an unbounded…

In this paper we study local stable/unstable sets of sensitive homeomorphisms with the shadowing property defined on compact metric spaces. We prove that local stable/unstable sets always contain a compact and perfect subset of the space.…

A multidimensional sofic shift is called countably covered if it has an SFT cover containing only countably many configurations. In contrast to the one-dimensional setting, not all countable sofic shifts are countably covered. We…

We study the existence of non-separable compact spaces that support a measure and are small from the topological point of view. In particular, we show that under Martin's axiom there is a non-separable compact space supporting a measure…

This paper addresses several questions of Feng, Gruenhage, and Shen which arose from Michael's theory of continuous selections from countable spaces. We construct an example of a space which is $L$-selective but not $\mathbb{Q}$-selective…

We prove that every quasicontinuous domain that fails to be quasialgebraic admits the unit interval [0, 1] as its monotone Lawson-continuous image. As a result, every countable quasicontinuous domain is quasialgebraic.

The classification of separable operator spaces and systems is commonly believed to be intractable. We analyze this belief from the point of view of Borel complexity theory. On one hand we confirm that the classification problems for…

When studying quantum field theories and lattice models, it is often useful to analytically continue the number of field or spin components from an integer to a real number. In spite of this, the precise meaning of such analytic…

Suppose L and M are full-rank lattices in Euclidean space, such that vol(L) < vol(M). Answering a question of Han and Wang from 2001, we show how to construct a bounded measurable set F (we can even take F to be a finite union of polytopes)…

We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the…

Given two graphs, a mapping between their edge-sets is cycle-continuous, if the preimage of every cycle is a cycle. The motivation for this notion is Jaeger's conjecture that for every bridgeless graph there is a cycle-continuous mapping to…

We show the existence of Lipschitz-free spaces verifying the Point of Continuity Property with arbitrarily high weak-fragmentability index. For this purpose, we use a generalized construction of the countably branching diamond graphs. As a…

The main purpose is to introduce the so-called bicomplex (bc)-frames which is a special extension to bicomplex infinite Hilbert spaces of the classical frames. The crucial result is the characterization of bc-frames in terms of their…

We show that countable metric spaces always have quantum isometry groups, thus extending the class of metric spaces known to possess such universal quantum-group actions. Motivated by this existence problem we define and study the notion of…

Since many real-world problems arising in the fields of compiler optimisation, automated software engineering, formal proof systems, and so forth are equivalent to the Halting Problem--the most notorious undecidable problem--there is a…

In this paper, we will introduce the concept of a continuous K-biframe for Hilbert spaces and we present various examples of continuous K-biframes. Furthermore, we investigate their characteristics from the perspective of operator theory by…

We give a notion of Scott rank for separable metric structures based on the definability of the (metric closures of) automorphism orbits in continuous infinitary logic. This is a continuous analogue of work of Montalb\'an for countable…

In analogy to the situation for continuous lattices which were introduced by Dana Scott as precisely the injective T$_0$ spaces via the (nowadays called) Scott topology, we study those metric spaces which correspond to injective T$_0$…

Frames are redundant system which are useful in the reconstruction of certain classes of spaces. Duffin and Schaeffer introduced frames for Hilbert spaces, while addressing some deep problems in non harmonic Fourier series. The dual of a…

The concept of ``countable set'' is attributed to Georg Cantor, who set the boundary between countable and uncountable sets in 1874. The concept of ``computable set'' arose in the study of computing models in the 1930s by the founders of…