Related papers: A quantitative notion of redundancy for infinite f…
We formulate and analyze several finiteness conjectures for linear algebraic groups over higher-dimensional fields. In fact, we prove all of these conjectures for algebraic tori as well as in some other situations. This work relies in an…
Research on summarization has mainly been driven by empirical approaches, crafting systems to perform well on standard datasets with the notion of information Importance remaining latent. We argue that establishing theoretical models of…
We develope a local theory for frames on finite dimensional Hilbert spaces. In particular, a bounded frame on a finite dimensional Hilbert space contains a subset which is a good Riesz basis for a percentage (arbitrarily close to one) of…
We introduce the notion of relative volume entropy for two spacetimes with preferred compact spacelike foliations. This is accomplished by applying the notion of Kullback-Leibler divergence to the volume elements induced on spacelike…
We investigate modifications of quantum mechanics (QM) that replace the unitary group in a finite dimensional Hilbert space with a finite group and determine the minimal sequence of subgroups necessary to approximate QM arbitrarily closely…
An analysis is given of the local phase space of gravity coupled to matter to second order in perturbation theory. Working in local regions with boundaries at finite distance, we identify matter, Coulomb, and additional boundary modes. The…
In this work we introduce a statistical framework in order to analyze the spatial redundancy in natural images. This notion of spatial redundancy must be defined locally and thus we give some examples of functions (auto-similarity and…
The paper studies finite extensions of Bessel sequences in infinite-dimensional Hilbert spaces. We provide a characterization of Bessel sequences that can be extended to frames by adding finitely many vectors. We also characterize frames…
Due to their flexibility, frames of Hilbert spaces are attractive alternatives to bases in approximation schemes for problems where identifying a basis is not straightforward or even feasible. Computing a best approximation using frames,…
The curvature discussed in this paper is a rather far going generalization of the Riemannian sectional curvature. We define it for a wide class of optimal control problems: a unified framework including geometric structures such as…
In this Note we show that the notion of a basis of a finite-dimensional vector space could be introduced by an argument much weaker than Gauss' reduction method. Our aim is to give a short proof of a simply formulated lemma, which in fact…
We propose a new line of attack to create a finite quantum theory which includes general relativity and (perhaps) the standard model in its low energy limit. The theory would emerge from the categorical approach. A structure is observed on…
This work contributes to the programme of studying effective versions of "almost everywhere" theorems in analysis and ergodic theory via algorithmic randomness. We determine the level of randomness needed for a point in a Cantor space $…
Five algebraic notions of termination are formalised, analysed and compared: wellfoundedness or Noetherity, L\"ob's formula, absence of infinite iteration, absence of divergence and normalisation. The study is based on modal semirings,…
We construct a FLRW universe considering an anisotropic scaling between space and time at extremely high and low energies only. In this context, Friedmann equations contain an additional term arising from spatial curvature which implements…
We develop a general theory of jump operators, which is intended to provide an abstraction of the notion of "limit-computability" on represented spaces. Jump operators also provide a framework with a strong categorical flavor for…
Generalizing a definition by Kalra \cite{Kalra}, the purpose of this paper is to analyze cyclic frames in finite-dimensional Hilbert spaces. Cyclic frames form a subclass of the dynamical frames introduced and analyzed in detail by Aldroubi…
Few years ago G\u{a}vru\c{t}a gave the notions of $K$-frame and atomic system for a linear bounded operator $K$ in a Hilbert space $\mathcal{H}$ in order to decompose $\mathcal{R}(K)$, the range of $K$, with a frame-like expansion. These…
A concept of randomness for infinite time register machines (ITRMs) is defined and studied. In particular, we show that for this notion of randomness, computability from mutually random reals implies computability and that an analogue of…
Via a functor from certain Lorentzian to Riemannian manifolds, we obtain a finiteness result.