English
Related papers

Related papers: Algorithmic definition of means acting on positive…

200 papers

Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in computer algebra systems, they can be surprisingly difficult to…

Logic in Computer Science · Computer Science 2019-05-07 Jacques Carette , William M. Farmer

This work presents a formalization of analogy on numbers that relies on generalized means. It is motivated by recent advances in artificial intelligence and applications of machine learning, where the notion of analogy is used to infer…

Artificial Intelligence · Computer Science 2024-07-29 Yves Lepage , Miguel Couceiro

This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word "semantics" is used in different meanings. We discuss a general approach at defining semantics…

Software Engineering · Computer Science 2014-09-25 Bernhard Rumpe

The present research deals with generalizations of the Salem function with arguments defined in terms of certain alternating expansions of real numbers. The special attention is given to modelling such functions by systems of functional…

General Mathematics · Mathematics 2024-03-12 Symon Serbenyuk

In the present paper we introduce positive flows and processes, which generalize the ordinary dynamical systems and stochastic processes. We develop a branch of theory of positive operators based on the concepts of phase and positive…

Dynamical Systems · Mathematics 2011-10-04 V. I. Bakhtin

We construct measure which determines a two-variable mean in a very natural way. Using that measure we can extend the mean to infinite sets as well. E.g. we can calculate the geometric mean of any set with positive Lebesgue measure. We also…

Classical Analysis and ODEs · Mathematics 2023-12-06 Attila Losonczi

Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.

Functional Analysis · Mathematics 2023-07-21 Daniel Alpay , Liora Mayats-Alpay

This article contains ideas and their elaboration for quantifiers, which appeared after checking in practice the experimental language of the formal knowledge representation YAFOLL [1]: - looking at for_all and exists quantifiers as…

Logic in Computer Science · Computer Science 2019-08-30 Alex Shkotin

We consider some multivariate rational functions which have (or are conjectured to have) only positive coefficients in their series expansion. We consider an operator that preserves positivity of series coefficients, and apply the inverse…

Combinatorics · Mathematics 2007-08-27 Manuel Kauers , Doron Zeilberger

Multi-agent approach has become popular in computer science and technology. However, the conventional models of multi-agent and multicomponent systems implicitly or explicitly assume existence of absolute time or even do not include time in…

Multiagent Systems · Computer Science 2017-11-23 Mark Burgin

The representation of numbers by product states in quantum mechanics can be extended to the representation of words and word sequences in languages by product states. This can be used to study quantum systems that generate text that has…

Quantum Physics · Physics 2009-11-07 Paul Benioff

In this paper, the formal derivative operator defined with respect to context-free grammars is used to prove some properties about binomial coefficients and multifactorial numbers. In addition, we extend the formal derivative operator to…

Combinatorics · Mathematics 2018-08-21 Juan Triana , Rodrigo De Castro

An operatorial method, already employed to formulate a generalization of the Ramanujan master theorem, is applied to the evaluation of integrals of various type. This technique provide a very flexible and powerful tool yielding new results…

Classical Analysis and ODEs · Mathematics 2012-11-07 D. Babusci , G. Dattoli , G. H. E. Duchamp , K. Górska , K. A. Penson

In this paper, the notion of operator means in the setting of JB-algebras is introduced and their properties are studied. Many identities and inequalities are established, most of them have origins from operators on Hilbert space but they…

Functional Analysis · Mathematics 2023-05-03 Shuzhou Wang , Zhenhua Wang

In this article we consider means of positive operators on a Hilbert space. We extend the theory of matrix power means to arbitrary operator means in the sense of Kubo-Ando. The basis of the extension is relying on ideas coming from…

Functional Analysis · Mathematics 2013-03-22 Miklós Pálfia

In this paper, we give one possible definition for functions of several variables applied to endomorphisms of finite dimensional C-vector spaces. This definition is consistent with the usual notion of a function of a square matrix. Some…

Rings and Algebras · Mathematics 2017-12-22 Laurent Veysseire

The tools, ideas, and insights from linear algebra, abstract algebra, and functional analysis can be extremely useful to signal processing and system theory in various areas of engineering, science, and social science including…

Signal Processing · Electrical Eng. & Systems 2019-09-12 C. Sidney Burrus

This is the second of two coupled papers estimating the mean values of multiplicative functions, of unknown support, on arithmetic progressions with large differences. Applications are made to the study of primes in arithmetic progression…

Number Theory · Mathematics 2014-05-29 P. D. T. A. Elliott , Jonathan Kish

We will consider about some inequalities on operator means for more than three operators, for instance, ALM and BMP geometric means will be considered. Moreover, log-Euclidean and logarithmic means for several operators will be treated.

Functional Analysis · Mathematics 2019-12-19 Shuhei Wada , Takeaki Yamazaki

We investigate a linear operator associated with a functional equation that arises from studying some class of invariant measures under multidimensional transformations. By examining its iterates, we derive an explicit solution formula for…

Functional Analysis · Mathematics 2026-03-09 Oleksandr V. Maslyuchenko , Janusz Morawiec , Thomas Zürcher