相关论文: Hilbert's machine and w-order
Intelligent systems must maintain and manipulate task-relevant information online to adapt to dynamic environments and changing goals. This capacity, known as working memory, is fundamental to human reasoning and intelligence. Despite…
Well-structured systems, aka WSTSs, are computational models where the set of possible configurations is equipped with a well-quasi-ordering which is compatible with the transition relation between configurations. This structure supports…
Integrable integral operator can be studied by means of a matrix Riemann--Hilbert problem. However, in the case of so-called integrable operators with shifts, the associated Riemann--Hilbert problem becomes operator valued and this…
A regular generalized sampling theory in some structured T-invariant subspaces of a Hilbert space H, where T denotes a bounded invertible operator in H, is established in this paper. This is done by walking through the most important cases…
The global homeomorphism theorem for quasiconformal maps describes the following specifically higher-dimensional phenomenon: {\em Locally invertible quasiconformal mapping $f: {\R}^{n} \to {\R}^{n}$ is globally invertible provided $n > 2$.}…
Despite the impressive success of quantum structures to model long-standing human judgement and decision puzzles, the {\it quantum cognition research programme} still faces challenges about its explanatory power. Indeed, quantum models…
The use of semi-autonomous and autonomous robotic assistants to aid in care of the elderly is expected to ease the burden on human caretakers, with small-stage testing already occurring in a variety of countries. Yet, it is likely that…
In this paper we consider a stronger property than the Bishop-Phelps-Bollob\'{a}s property for various classes of operators on a complex Hilbert space. The Bishop-Phelps-Bollob\'as {\it point} property for some class $\mathcal{A} \subset…
We present a new technique for computing Hilbert series of N=1 supersymmetric QCD in four dimensions with unitary and special unitary gauge groups. We show that the Hilbert series of this theory can be written in terms of determinants of…
Hindman's Theorem is a prototypical example of a combinatorial theorem with a proof that uses the topology of the ultrafilters. We show how the methods of this proof, including topological arguments about ultrafilters, can be translated…
We present a method to construct a chain of reproducing kernel Hilbert spaces controlled by a first-order system of differential equations from a given unimodular function satisfying several conditions. One of the applications of that…
Linear spaces with an Euclidean metric are ubiquitous in mathematics, arising both from quadratic forms and inner products. Operators on such spaces also occur naturally. In recent years, the study of multivariate operator theory has made…
We study mechanism design problems in the {\em ordinal setting} wherein the preferences of agents are described by orderings over outcomes, as opposed to specific numerical values associated with them. This setting is relevant when agents…
In this paper we deal with the connection of frames with the class of Hilbert Schmidt operators. First we give an easy criteria for operators being in this class using frames. It is the equivalent to the criteria using orthonormal bases.…
A MILP model for an extended version of the Flexible Job Shop Scheduling problem is proposed. The extension allows the precedences between operations of a job to be given by an arbitrary directed acyclic graph rather than a linear order.…
An abstract machine is a theoretical model designed to perform a rigorous study of computation. Such a model usually consists of configurations, instructions, programs, inputs and outputs for the machine. In this paper we formalize these…
We consider a scheduling problem where machines need to be rented from the cloud in order to process jobs. There are two types of machines available which can be rented for machine-type dependent prices and for arbitrary durations. However,…
A subproduct system of two-dimensional Hilbert spaces can generate an Arveson system of type I1 only. All possible cases are classified up to isomorphism. This work is triggered by a question of Bhat: can a subproduct system of…
The likelihood of an automated reasoning program being of substantial assistance for a wide spectrum of applications rests with the nature of the options and parameters it offers on which to base needed strategies and methodologies. This…
If an invertible linear dynamical systems is Li-York chaotic or other chaotic, what's about it's inverse dynamics? what's about it's adjoint dynamics? With this unresolved but basic problems, this paper will give a criterion for Lebesgue…