Results 41 to 50 of about 64,415 (198)
Coherent States on Hilbert Modules
We generalize the concept of coherent states, traditionally defined as special families of vectors on Hilbert spaces, to Hilbert modules. We show that Hilbert modules over $C^*$-algebras are the natural settings for a generalization of coherent states ...
Adler S L +17 more
core +1 more source
A Perspective on Interactive Theorem Provers in Physics
Into an interactive theorem provers (ITPs), one can write mathematical definitions, theorems and proofs, and the correctness of those results is automatically checked. This perspective goes over the best usage of ITPs within physics and motivates the open‐source community run project PhysLean, the aim of which is to be a library for digitalized physics
Joseph Tooby‐Smith
wiley +1 more source
ALGEBRA OF QUOTIENTS WITH BOUNDED EVALUATION FOR SOME OPERATOR ALGEBRAS [PDF]
In this paper, we find the algebra of quotients with bounded evaluation for operator algebras on a complex Hilbert space, namely: Hilbert - Schmidt and trace -class operators. Also, we study the behavior in computing the algebra of quotients with bounded
Amir A.Mohammad
doaj +1 more source
Abstract The linear‐quadratic regulator (LQR) problem of optimal control of an uncertain discrete‐time linear system (DTLS) is revisited in this paper from the perspective of Tikhonov regularization. We show that an optimally chosen regularization parameter reduces, compared to the classical LQR, the values of a scalar error function, as well as the ...
Fernando Pazos, Amit Bhaya
wiley +1 more source
PSEUDO ALGEBRAS BOOL APPLIED BL-ALGEBRAS [PDF]
In this article we study Boolean algebras in terms of Hilbert algebras and deductive ...
Olimpia-Mioara PECINGINA +1 more
doaj
Abstract We develop a delay‐aware estimation and control framework for a non‐isothermal axial dispersion tubular reactor modelled as a coupled parabolic‐hyperbolic PDE system with recycle‐induced state delay. The infinite‐dimensional dynamics are preserved without spatial discretization by representing the delay as a transport PDE and adopting a late ...
Behrad Moadeli, Stevan Dubljevic
wiley +1 more source
Infinite-dimensional Categorical Quantum Mechanics [PDF]
We use non-standard analysis to define a category *Hilb suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it.
Stefano Gogioso, Fabrizio Genovese
doaj +1 more source
Invariant Measure and Universality of the 2D Yang–Mills Langevin Dynamic
ABSTRACT We prove that the Yang–Mills (YM) measure for the trivial principal bundle over the two‐dimensional torus, with any connected, compact structure group, is invariant for the associated renormalised Langevin dynamic. Our argument relies on a combination of regularity structures, lattice gauge‐fixing and Bourgain's method for invariant measures ...
Ilya Chevyrev, Hao Shen
wiley +1 more source
Study of Hilbert algebras in point of filters
The aim of this work is to introduce some types of filters in Hilbert algebras. Some theorems are stated and proved which determine the relationship between these notions and other filters of Hilbert algebra and by some examples we show that these ...
Nasab Ali Soleimani +1 more
doaj +1 more source
Stability of Viscous Three‐Dimensional Stratified Couette Flow via Dispersion and Mixing
ABSTRACT This article explores the stability of stratified Couette flow in the viscous 3d$3d$ Boussinesq equations. In this system, mixing effects arise from the shearing background, and gravity acts as a restoring force leading to dispersive internal gravity waves.
Michele Coti Zelati +2 more
wiley +1 more source

