English
Related papers

Related papers: Phoneme discrimination using KS algebra I

200 papers

We construct algebras of pseudodifferential operators on a continuous family groupoid G that are closed under holomorphic functional calculus, contain the algebra of all pseudodifferential operators of order 0 on G as a dense subalgebra,…

Operator Algebras · Mathematics 2007-05-23 Robert Lauter , Bertrand Monthubert , Victor Nistor

A consistent functional calculus approach to the spectral theorem for strongly commuting normal operators on Hilbert spaces is presented. In contrast to the common approaches using projection-valued measures or multiplication operators,…

Functional Analysis · Mathematics 2020-09-28 Markus Haase

Information divergence functions play a critical role in statistics and information theory. In this paper we show that a non-parametric f-divergence measure can be used to provide improved bounds on the minimum binary classification…

Information Theory · Computer Science 2015-02-11 Visar Berisha , Alan Wisler , Alfred O. Hero , Andreas Spanias

We study the minus order on the algebra of bounded linear operators on a Hilbert space. By giving a characterization in terms of range additivity, we show that the intrinsic nature of the minus order is algebraic. Applications to…

Functional Analysis · Mathematics 2017-01-03 Marko Djikic , Guillermina Fongi , Alejandra Maestripieri

Computer algebra procedures to manipulate pseudo-differential operators are implemented to perform calculations with integrable models. We use lazy evaluation and streams to represent and operate with pseudo-differential operators. No order…

Exactly Solvable and Integrable Systems · Physics 2007-05-23 Jose Carlos Brunelli

For $\delta$ an $m$-tuple of analytic functions, we define an algebra $\hidg$, contained in the bounded analytic functions on the analytic polyhedron $ {|\delta^l(z)| < 1, \ 1 \leq l \leq m}$, and prove a representation formula for it. We…

Complex Variables · Mathematics 2012-12-24 Jim Agler , John E. McCarthy

Linear algebra expressions, which play a central role in countless scientific computations, are often computed via a sequence of calls to existing libraries of building blocks (such as those provided by BLAS and LAPACK). A sequence…

Performance · Computer Science 2024-08-15 Aravind Sankaran , Paolo Bientinesi

We address the problem of unambiguous discrimination among a given set of quantum operations. The necessary and sufficient condition for them to be unambiguously distinguishable is derived in the cases of single use and multiple uses…

Quantum Physics · Physics 2009-11-11 Guoming Wang , Mingsheng Ying

We show that a pair of complementary dagger-Frobenius algebras, equipped with a self-conjugate comonoid homomorphism onto one of the algebras, produce a nontrivial unitary morphism on the product of the algebras. This gives an abstract…

Quantum Physics · Physics 2014-12-31 William Zeng , Jamie Vicary

Given a pair of smooth transversally intersecting manifolds in some ambient manifold, we construct an operator algebra generated by pseudodifferential operators and the (co)boundary operators associated with the submanifolds. We show that…

Analysis of PDEs · Mathematics 2020-08-04 D. A. Loshchenova , A. Yu. Savin , B. Yu. Sternin

In this work, a novel quaternary algebra has been proposed that can be used to implement an arbitrary quaternary logic function in more than one systematic ways. The proposed logic has evolved from and is closely related to the Boolean…

Hardware Architecture · Computer Science 2017-12-21 Ifat Jahangir , Anindya Das , Masud Hasan

We construct embeddings of boundary algebras B into ZF algebras A. Since it is known that these algebras are the relevant ones for the study of quantum integrable systems (with boundaries for B and without for A), this connection allows to…

Quantum Algebra · Mathematics 2007-05-23 E. Ragoucy

A modeling methodology and matrix formalism is presented that permits analysis of arbitrarily complex interferometric waveguide systems, including polarization and backreflection effects. Considerable improvement results from separation of…

Mathematical Physics · Physics 2015-05-20 Robert P. Dahlgren

This work revisits operator learning from a spectral perspective by introducing Polar Linear Algebra, a structured framework based on polar geometry that combines a linear radial component with a periodic angular component. Starting from…

Machine Learning · Computer Science 2026-04-01 Giovanni Guasti

Contractions of Lie algebras are combined with the classical matrix method of Gel'fand to obtain matrix formulae for the Casimir operators of inhomogeneous Lie algebras. The method is presented for the inhomogeneous pseudo-unitary Lie…

High Energy Physics - Theory · Physics 2009-11-11 R. Campoamor-Stursberg

We present simple new Hoare logics and refinement calculi for hybrid systems in the style of differential dynamic logic. (Refinement) Kleene algebra with tests is used for reasoning about the program structure and generating verification…

Logic in Computer Science · Computer Science 2019-10-31 Simon Foster , Jonathan Julián Huerta y Munive , Georg Struth

We classify small binary bibraces, using the correspondence with alternating algebras over the field F2, up to dimension eight, also determining their isomorphism classes. These finite-dimensional algebras, defined by an alternating…

Rings and Algebras · Mathematics 2025-10-08 Roberto Civino , Valerio Fedele

The main purpose of this paper is computing higher algebraic $K$-theory of Koszul complexes over principal ideal domains. The second purpose of this paper is giving examples of comparison techniques on algebraic $K$-theory for Waldhausen…

K-Theory and Homology · Mathematics 2007-05-23 Satoshi Mochizuki

We use the definition of differential operators on noncommutative rings given by V.Lunts and A.Rosenberg to find the differential operators on Azumaya algebras and the Heisenberg algebras.

Algebraic Geometry · Mathematics 2007-05-23 Uma Iyer

Coalgebraic bisimilarity minimization generalizes classical automaton minimization to a large class of automata whose transition structure is specified by a functor, subsuming strong, weighted, and probabilistic bisimilarity. This offers…

Formal Languages and Automata Theory · Computer Science 2022-11-18 Jules Jacobs , Thorsten Wißmann