Predicate Calculus Research Articles

The Algebraic Entropies of the Leavitt Path Algebra and the Graph Algebra Agree

In this note we prove that the algebras LK(E)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$L_K(E)$$\\end{document} and KE have the same entropy. Entropy is always referred to the standard filtrations in the corresponding kind of algebra. The main argument leans on (1) the holomorphic functional calculus; (2) the relation of entropy with suitable norm of the adjacency matrix; and (3) the Cohn path algebras which yield suitable bounds for the algebraic entropies.

Harmonic functional calculi in Banach algebras with involution

Harmonic functional calculi in Banach algebras with involution

SPECTRAL THEORY AND FUNCTIONAL CALCULI IN THE REFLEXIVE BANACH SPACES

The design and assessment of closed loop control systems must include accurate and stable accuracy analysis and simulation. An overview of the significance of closed loop control systems and its uses in several engineering disciplines is given in this paper. The paper then explores the different techniques used for evaluating the accuracy and stability of closed loop control systems, including steady-state error analysis, stability analysis, and simulation techniques. It also discusses the design and tuning of control algorithms to optimize the performance of the system, and identifies the different factors that can affect the accuracy and stability of closed loop control systems, such as sensor noise, model inaccuracies, and environmental disturbances.

Polygonal functional calculus for operators with finite peripheral spectrum

Polygonal functional calculus for operators with finite peripheral spectrum

A universal knowledge model and cognitive architectures for prototyping AGI

The article identified 56 cognitive architectures for creating general artificial intelligence (AGI) and proposed a set of interrelated functional blocks that an agent approaching AGI in its capabilities should possess. Since the required set of blocks is not found in any of the existing architectures, the article proposes a reference cognitive architecture for intelligent systems approaching AGI in their capabilities. As one of the key solutions within the framework of the architecture, a universal method of knowledge representation is proposed, which allows combining various non-formalized, partially and fully formalized methods of knowledge representation in a single knowledge base, such as texts in natural languages, images, audio and video recordings, graphs, algorithms, databases, neural networks, knowledge graphs, ontologies, frames, essence-property-relation models, production systems, predicate calculus models, conceptual models, and others. To combine and structure various fragments of knowledge, archigraph model are used, constructed as a development of annotated metagraphs. As other components, the reference cognitive architecture being developed includes following modules: machine consciousness, machine subconsciousness, interaction with the external environment, a goal management, an emotional control, social interaction, reflection, ethics, worldview, learning, monitoring, statement problems, solving problems, self-organization and meta learning. Based on the composition of the proposed reference architecture modules, existing cognitive architectures containing the following modules were analyzed: machine consciousness, machine subconsciousness, reflection, worldview.

Differential operators on C⁎-algebras and applications to smooth functional calculus and Schwartz functions on the tangent groupoid

We introduce the notion of a differential operator on C⁎-algebras. This is a noncommutative analogue of a differential operator on a smooth manifold. We show that the common closed domain of all differential operators is closed under smooth functional calculus. As a corollary, we show that Schwartz functions on Connes tangent groupoid are closed under smooth functional calculus.

Functional calculus and quantization commutes with reduction for Toeplitz operators on CR manifolds

Functional calculus and quantization commutes with reduction for Toeplitz operators on CR manifolds

Verification of Taylor's theorem

Multivariate function calculus is an important part of mathematical analysis courses, and most conclusions can be found and generalized in univariate calculus. However, the biggest difficulty in teaching multivariate calculus lies in its abstraction, such as Taylors theorem, multiple integral regions drawing, and integral variable transformation. At the same time, ordinary differential equations are also one of the basic courses of the profession, and dynamic systems based on ordinary differential equations have extensive applications in mathematical models of continuity problems and optimal control problems. Software such as Mathematica, Python, Matlab, etc. can solve similar problems. Therefore, this article will use the visualization and computational capabilities of Mathematica to validate important definitions and conclusions in multivariate calculus, and compare the differences among the three software in solving approximate numerical solutions of dynamic systems of ordinary differential equations from different perspectives.

Quaternionic spherical sectorial and dissipative operators via S-resolvent kernels

In this paper, we treat the quaternionic functional calculus for right linear quaternionic operators whose components do not necessarily commute and develop a theory of quaternionic non-negative operator, spherical sectorial operator and dissipative operator via S-resolvent kernels in quaternionic locally convex spaces (short for q.l.c.s.). The notions of quaternionic non-negative operators and quaternionic (m-)dissipative operators are introduced via S-resolvent operators and H-valued inner product on Hilbert H-bimodule. By choosing the suitable spherical sector, the spherical sectorial operator is introduced to establish the relationship with the quaternionic non-negative operator. It is crucial to note that the quaternionic operators we consider do not necessarily commute.

Analytic Besov functional calculus for several commuting operators

This paper investigates analytic Besov functions of n variables which act on the generators of n commuting C_{0} -semigroups on a Banach space. The theory for n=1 has already been published, and the present paper uses a different approach to that case as well as extending to the cases when n\ge2 . It also clarifies some spectral mapping properties and provides some operator norm estimates.

Decay estimates for Cayley transforms and inverses of semigroup generators via the B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {B}$$\\end{document}-calculus

Let -A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$-A$$\\end{document} be the generator of a bounded C0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$C_0$$\\end{document}-semigroup (e-tA)t≥0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(e^{-tA})_{t \\ge 0}$$\\end{document} on a Hilbert space. First we study the long-time asymptotic behavior of the Cayley transform Vω(A):=(A-ωI)(A+ωI)-1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$V_{\\omega }(A) :=(A-\\omega I) (A+\\omega I)^{-1}$$\\end{document} with ω>0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\omega >0$$\\end{document}. We give a decay estimate for ‖Vω(A)nA-1‖\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Vert V_{\\omega }(A)^nA^{-1}\\Vert $$\\end{document} when (e-tA)t≥0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(e^{-tA})_{t \\ge 0}$$\\end{document} is polynomially stable. Considering the case where the parameter ω\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\omega $$\\end{document} varies, we estimate ‖(∏k=1nVωk(A))A-1‖\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Vert (\\prod _{k=1}^n V_{\\omega _k}(A))A^{-1}\\Vert $$\\end{document} for exponentially stable C0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$C_0$$\\end{document}-semigroups (e-tA)t≥0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(e^{-tA})_{t \\ge 0}$$\\end{document}. Next we show that if the generator -A\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$-A$$\\end{document} of the bounded C0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$C_0$$\\end{document}-semigroup has a bounded inverse, then supt≥0‖e-tA-1A-α‖<∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\sup _{t \\ge 0} \\Vert e^{-tA^{-1}} A^{-\\alpha } \\Vert < \\infty $$\\end{document} for all α>0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\alpha >0$$\\end{document}. We also present an estimate for the rate of decay of ‖e-tA-1A-1‖\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Vert e^{-tA^{-1}} A^{-1} \\Vert $$\\end{document}, assuming that (e-tA)t≥0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$(e^{-tA})_{t \\ge 0}$$\\end{document} is polynomially stable. To obtain these results, we use operator norm estimates offered by a functional calculus called the B\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\mathcal {B}$$\\end{document}-calculus.

Global entropy solutions to a degenerate parabolic–parabolic chemotaxis system for flux-limited dispersal

Existence of global finite-time bounded entropy solutions to a parabolic–parabolic system proposed in Bellomo et al. (2010) is established in bounded domains under no-flux boundary conditions for nonnegative bounded initial data. This modification of the classical Keller–Segel model features degenerate diffusion and chemotaxis that are both subject to flux-saturation. The approach is based on Schauder’s fixed point theorem and calculus of functions of bounded variation.

Fractional calculus of interval-valued functions on time scales

This paper aims to develop fractional interval-valued calculus on time scales that unify the continuous and discrete cases. The definitions of fractional interval-valued calculus, which encompass the integral, Riemann–Liouville (R-L) derivative, and Caputo derivative of nabla type, are established within the framework of time scales. Moreover, some fundamental properties and nabla Laplace transform of these new operators are discussed. Based on these findings, explicit solutions of several nabla fractional interval-valued differential equations on time scales are presented.

Contributions of the anthropological theory of the didactic to the epistemological programme of research in mathematics education

In the early 1980s, the theory of didactic situations put the analysis of mathematical activity at the core of the didactic analysis, thus initiating a new research programme in mathematics education: the epistemological programme. This paper describes and interprets some of the contributions of the anthropological theory of the didactic (ATD) to the development of this programme. These contributions come from the new institutional and ecological perspective provided by the ATD to approach the didactic problem and from the significance it assigns to macrodidactic phenomena characterised by didactic transposition. They are illustrated with research works involving different fields of school mathematics in which the ATD team led by Spanish researchers played a central role: research in school algebra and its relations with functional modelling, differential calculus, and real numbers. The paper concludes by briefly describing the contributions of the ATD to the dialogue between didactic theories, another domain that has notable Spanish contributions.

On state monadic MV-algebras

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. In this paper, we extend monadic MV-algebras with a state operator that describes algebraic properties of states. The resulting variety of algebras will be called state monadic MV-algebras. First, we introduce state monadic MV-algebras and establish a natural equivalence between the category of state monadic MV-algebras and the category of state monadic ℓ-groups with strong units. Moreover, we prove that the class of all state monadic ideals in state monadic MV-algebras is a complete Heyting algebra. In particular, by studying extended state monadic ideals, we prove that the set of all stable state monadic ideals in state monadic MV-algebras is a complete Heyting algebra. Also, the class of all involutory state monadic ideals in state monadic MV-algebras is a complete Boolean algebra. Finally, we introduce and characterize some members in the variety of state monadic MV-algebras, which are subdirectly irreducible, simple, semisimple, local and semilocal, respectively.

On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems

The article is devoted to the development of an approach to solving the main problems of the theory of supervisory control of logical discrete-event systems (DES), based on their representation in the form of positively constructed formulas (PCF). We consider logical DESs in automata form, understood as generators of some regular languages. The PCF language is a complete first-order language, the formulas of which have a regular structure of alternating type quantifiers and do not contain a negation operator in the syntax. It was previously proven that any formula of the classical first-order predicate calculus can be represented as a PCF. PCFs have a visual tree representation and a natural question-and-answer procedure for searching for an inference using a single inference rule. It is shown how the PCF calculus, developed in the 1990s to solve some problems of control of dynamic systems, makes it possible to solve basic problems of the theory of supervisory control, such as checking the criteria for the existence of supervisory control, automatically modifying restrictions on the behavior of the controlled system, and implementing a supervisor. Due to some features of the PCF calculus, it is possible to use a non-monotonic inference. It is demonstrated how the presented PCF-based method allows for additional event processing during inference. The Bootfrost software system, or the so-called prover, designed to refute the obtained PCFs is also presented, and the features of its implementation are briefly described. As an illustrative example, we consider the problem of controlling an autonomous mobile robot.

Rational approximation of operator semigroups via the [formula omitted]-calculus

We improve the classical results by Brenner and Thomée on rational approximations of operator semigroups. In the setting of Hilbert spaces, we introduce a finer regularity scale for initial data, provide sharper stability estimates, and obtain optimal approximation rates. Moreover, we strengthen a result due to Egert-Rozendaal on subdiagonal Padé approximations of operator semigroups. Our approach is direct and based on the theory of the B- functional calculus developed recently. On the way, we elaborate a new and simple approach to construction of the B-calculus thus making the paper essentially self-contained.

The harmonic $H^{\infty}$-functional calculus based on the $S$-spectrum

The aim of this paper is to introduce the H^{\infty} -functional calculus for harmonic functions over the quaternions. More precisely, we give meanring to Df(T) for unbounded sectorial operators T and polynomially growing functions of the form Df , where f is a slice hyperholomorphic function and D=\partial_{q_0}+e_{1}\partial_{q_1}+e_{2}\partial_{q_2}+e_{3}\partial_{q_3} is the Cauchy–Fueter operator. The harmonic functional calculus can be viewed as a modification of the well-known S -functional calculus f(T) , with a different resolvent operator. The harmonic H^{\infty} -functional calculus is defined in two steps. First, for functions with a certain decay property, one can make sense of the bounded operator Df(T) directly via a Cauchy-type formula. In a second step, a regularization procedure is used to extend the functional calculus to polynomially growing functions and consequently unbounded operators Df(T) . The harmonic functional calculus is an important functional calculus of the quaternionic fine structures on the S -spectrum, which arise also in the Clifford setting and they encompass a variety of function spaces and the corresponding functional calculi. These function spaces emerge through all possible factorizations of the second map of the Fueter–Sce extension theorem. This field represents an emerging and expanding research area that serves as a bridge connecting operator theory, harmonic analysis, and hypercomplex analysis.

The H∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^\\infty $$\\end{document}-Functional Calculi for the Quaternionic Fine Structures of Dirac Type

In recent works, various integral representations have been proposed for specific sets of functions. These representations are derived from the Fueter–Sce extension theorem, considering all possible factorizations of the Laplace operator in relation to both the Cauchy–Fueter operator (often referred to as the Dirac operator) and its conjugate. The collection of these function spaces, along with their corresponding functional calculi, are called the quaternionic fine structures within the context of the S-spectrum. In this paper, we utilize these integral representations of functions to introduce novel functional calculi tailored for quaternionic operators of sectorial type. Specifically, by leveraging the aforementioned factorization of the Laplace operator, we identify four distinct classes of functions: slice hyperholomorphic functions (leading to the S-functional calculus), axially harmonic functions (leading to the Q-functional calculus), axially polyanalytic functions of order 2 (leading to the P2\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$P_2$$\\end{document}-functional calculus), and axially monogenic functions (leading to the F-functional calculus). By applying the respective product rule, we establish the four different H∞\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^\\infty $$\\end{document}-versions of these functional calculi.

Spectral triples for noncommutative solenoids and a Wiener’s lemma

In this paper, we construct odd finitely summable spectral triples based on length functions of bounded doubling on noncommutative solenoids. Our spectral triples induce a Leibniz Lip-norm on the state spaces of the noncommutative solenoids, giving them the structure of Leibniz quantum compact metric spaces. By applying methods of R. Floricel and A. Ghorbanpour, we also show that our odd spectral triples on noncommutative solenoids can be considered as inductive limits of spectral triples on rotation algebras. In the final section, we prove a noncommutative version of Wiener’s lemma and show that our odd spectral triples can be defined to have an associated smooth dense subalgebra which is stable under the holomorphic functional calculus, thus answering a question of B. Long and W. Wu. The construction of the smooth subalgebra also extends to the case of nilpotent discrete groups.