相关论文: Hilbert's machine and w-order

In this paper, we extend Busy Beaver function to a class of higher order Busy Beaver functions based on Turing oracle machine. We prove some results about the relation between decidability of number theoretical formula and higher order Busy…

We construct certain Hilbert spaces associated with a class of non-linear dynamical systems X. These are systems which arise from a generalized self-similarity, and an iterated substitution. We show that when a weight function W on X is…

Surprise Machines is a project of experimental museology that sets out to visualize the entire image collection of the Harvard Art Museums, intending to open up unexpected vistas on more than 200,000 objects usually inaccessible to…

Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into either a problem involving a set of infinitely coupled differential equations or a problem involving a Shr\"odinger propagator…

A wavelet is a special case of a vector in a separable Hilbert space that generates a basis under the action of a collection, or system, of unitary operators. We will describe the operator-interpolation approach to wavelet theory using the…

In general, it is a non trivial task to determine the adjoint $S^*$ of an unbounded operator $S$ acting between two Hilbert spaces. We provide necessary and sufficient conditions for a given operator $T$ to be identical with $S^*$. In our…

In this work, we address a task allocation problem for human multi-robot settings. Given a set of tasks to perform, we formulate a general Mixed-Integer Linear Programming (MILP) problem aiming at minimizing the overall execution time while…

We develop a Hilbert space framework for a number of general multi-scale problems from dynamics. The aim is to identify a spectral theory for a class of systems based on iterations of a non-invertible endomorphism. We are motivated by the…

The present report, has been inspired by the need of the author and its colleagues to understand the underlying theory of Wirtinger's Calculus and to further extend it to include the kernel case. The aim of the present manuscript is…

Algebraic methods for solving time dependent Hamiltonians are used to investigate the performance of quantum thermal machines. We investigate the thermodynamic properties of an engine formed by two coupled q-bits, performing an Otto cycle.…

We consider conditions on a given system $\mathcal{F}$ of vectors in Hilbert space $\mathcal{H}$, forming a frame, which turn $\mathcal{H}$ into a reproducing kernel Hilbert space. It is assumed that the vectors in $\mathcal{F}$ are…

We develop a duality theory for unbounded Hermitian operators with dense domain in Hilbert space. As is known, the obstruction for a Hermitian operator to be selfadjoint or to have selfadjoint extensions is measured by a pair of deficiency…

We characterize weak* closed unital vector spaces of operators on a Hilbert space $H$. More precisely, we first show that an operator system, which is the dual of an operator space, can be represented completely isometrically and weak*…

Collaborative filtering is an effective recommendation technique wherein the preference of an individual can potentially be predicted based on preferences of other members. Early algorithms often relied on the strong locality in the…

In this paper, we will introduce the concept of biframes for Hilbert $ C^{\ast}- $modules produced by a pair of sequences, and we present various examples of biframes. Then, we examine the characteristics of biframes from the viewpoint of…

Controlled frames have been the subject of interest because of its ability to improve the numerical efficiency of iterative algorithms for inverting the frame operator. In this paper, we introduce the notion of controlled $K$-frame in…

Multilevel autonomous quantum thermal machines are discussed. In particular, we explore the relation between the size of the machine (captured by Hilbert space dimension), and the performance of the machine. Using the concepts of virtual…

We show that a class of dynamical systems induces an associated operator system in Hilbert space. The dynamical systems are defined from a fixed finite-to-one mapping in a compact metric space, and the induced operators form a covariant…

By establishing a connection between bi-directional Helmholtz machines and information theory, we propose a generalized Helmholtz machine. Theoretical and experimental results show that given \textit{shallow} architectures, the generalized…

We prove a functional identity between the Hilbert metric and the visual angle metric in the unit disk. The proof utilizes the Poincar\'e hyperbolic metric in terms of which both metrics can be expressed. This identity then yields sharp…