English
Related papers

Related papers: Hilbert's machine and w-order

200 papers

Due to the unfamiliarity to particular words(or proper nouns) for ingredients, non-native English speakers can be extremely confused about the ordering process in restaurants like Subway. Thus, We developed a dialogue system, which supports…

Computation and Language · Computer Science 2022-10-13 Zirong Chen , Haotian Xue

We present an application of Hilbert quasi-polynomials to order domains, allowing the effective check of the second order-domain condition in a direct way. We also provide an improved algorithm for the computation of the related Hilbert…

Commutative Algebra · Mathematics 2018-02-05 Carla Mascia , Giancarlo Rinaldo , Massimiliano Sala

A recommender system is a system that helps users filter irrelevant information and create user interest models based on their historical records. With the continuous development of Internet information, recommendation systems have received…

Information Retrieval · Computer Science 2022-08-11 Junan Pan , Zhihao Zhao

The method of alternating projections involves projecting an element of a Hilbert space cyclically onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm and that one can obtain estimates for…

Numerical Analysis · Mathematics 2019-02-14 Oscar Darwin , Aashraya Jha , Souktik Roy , David Seifert , Rhys Steele , Liam Stigant

We present more than 50 results including some range inclusion results to characterize reverse order law for Moore-Penrose inverse of closed range Hilbert space operators. We use basic properties of Moore-Penrose inverse to prove the…

Functional Analysis · Mathematics 2022-07-14 Athira Satheesh K. , K. Kamaraj , P. Sam Johnson

A Hilbert bimodule is a right Hilbert module X over a C*-algebra A together with a left action of A as adjointable operators on X. We consider families X = {X_s :s\in P} of Hilbert bimodules, indexed by a semigroup P, which are endowed with…

Operator Algebras · Mathematics 2007-05-23 Neal J. Fowler

The two reference lists contain 54/22 references of papers and preprints concerned with the theory and/or various applications of Hilbert modules over Hilbert $*$-algebras and over (non-self-adjoint) operator algebras. They are far from…

funct-an · Mathematics 2008-02-03 Michael Frank

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees…

Logic · Mathematics 2015-01-06 Jeroen Van der Meeren , Michael Rathjen , Andreas Weiermann

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an operator, mapping each set $W$ of prime numbers to $HTP(\mathbb Z[W^{-1}])$,…

Logic · Mathematics 2019-08-20 Ken Kramer , Russell Miller

For operators representing ill-posed problems, an ordering by ill-posedness is proposed, where one operator is considered more ill-posed than another one if the former can be expressed as a cocatenation of bounded operators involving the…

Functional Analysis · Mathematics 2025-02-06 Stefan Kindermann , Bernd Hofmann

Hilbert's Irreducibility Theorem is a cornerstone that joins areas of analysis and number theory. Both the genesis and genius of its proof involved combining real analysis and combinatorics. We try to expose the motivations that led Hilbert…

History and Overview · Mathematics 2017-09-21 Mark B. Villarino , Bill Gasarch , Kenneth Regan

A commuting $n$-tuple $(T_1, \ldots, T_n)$ of bounded linear operators on a Hilbert space $\clh$ associate a Hilbert module $\mathcal{H}$ over $\mathbb{C}[z_1, \ldots, z_n]$ in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times…

Functional Analysis · Mathematics 2014-09-30 Jaydeb Sarkar

In this paper we introduce and study some Hilbert-type operators acting from the function spaces into the sequence spaces. We give some sufficient and necessary conditions for the boundedness and compactness of these Hilbert-type operators.…

Functional Analysis · Mathematics 2023-12-27 Jianjun Jin

In this paper we show that the existence of omega-models of bar induction is equivalent to the principle saying that applying the Howard-Bachmann operation to any well-ordering yields again a well-ordering.

Logic · Mathematics 2014-05-20 Michael Rathjen , Pedro Francisco Valencia Vizcaino

We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. The resulting computability theory leads to a notion of…

Logic · Mathematics 2007-05-23 Joel David Hamkins , Andy Lewis

We report our participation in the SISAP 2025 Indexing Challenge using a novel indexing technique called the Hilbert forest. The method is based on the fast Hilbert sort algorithm, which efficiently orders high-dimensional points along a…

Databases · Computer Science 2025-09-01 Yasunobu Imamura , Takeshi Shinohara , Naoya Higuchi , Kouichi Hirata , Tetsuji Kuboyama

Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…

Functional Analysis · Mathematics 2017-01-19 Palle Jorgensen , Erin Pearse , Feng Tian

A method of induction the distances with Hilbert structure is proposed. Some properties of the method are studied. Typical examples of corresponding metric spaces are discussed. Key words: Hilbert spaces; metric spaces; isometric embedding…

Functional Analysis · Mathematics 2018-04-27 Vesna Gotovac , Katerina Helisova , Lev B. Klebanov , Irina V. Volchenkova

Some new trace inequalities for operators in Hilbert spaces are provided. The superadditivity and monotonicity of some associated functionals are investigated and applications for power series of such operators are given. Some trace…

Functional Analysis · Mathematics 2014-09-24 Silvestru Sever Dragomir

Hilbert's first problem is of importance in relation to work being done in computational systems. It is the question of equipollence of natural and real numbers. By construction equipollence is established for real numbers in open interval…

Logic in Computer Science · Computer Science 2021-03-29 Charles Sauerbier