Multiplier Hopf Algebras in Categories and the Biproduct Construction

Let B be a regular multiplier Hopf algebra. Let A be an algebra with a non-degenerate multiplication such that A is a left B-module algebra and a left B-comodule algebra. By the use of the left action and the left coaction of B on A, we determine when a comultiplication on A makes A into a “B-admissible regular multiplier Hopf algebra.” If A is a B-admissible regular multiplier Hopf algebra, we prove that the smash product A # B is again a regular multiplier Hopf algebra. The comultiplication on A # B is a cotwisting (induced by the left coaction of B on A) of the given comultiplications on A and B. When we restrict to the framework of ordinary Hopf algebra theory, we recover Majid’s braided interpretation of Radford’s biproduct. Presented by K. Goodearl.     

Beurling algebra analogues of the classical theorems of Wiener and Lévy on absolutely convergent fourier series

Letf be a continuous function on the unit circle Γ, whose Fourier series is ω-absolutely convergent for some weight ω on the set of integersZ. If f is nowhere vanishing on Γ, then there exists a weightv onZ such that 1/f hadv-absolutely convergent Fourier series. This includes Wiener’s classical theorem. As a corollary, it follows that if φ is holomorphic on a neighbourhood of the range off, then there exists a weight Χ on Z such that φ ◯f has Χ-absolutely convergent Fourier series. This is a weighted analogue of Lévy’s generalization of Wiener’s theorem. In the theorems,v and Χ are non-constant if and only if ω is non-constant. In general, the results fail ifv or Χ is required to be the same weight ω.     

A version of Wiener’s and Lévy’s theorems

We obtain weighted algebra analogues of the classical theorems of N. Weiner and P. Lévy on absolutely convergent Fourier series      

Weyl’s theorem and thin spectra

Using the notion of thin sets we prove a theorem of Weyl type for the Wolf essential spectrum ofT ∈β (H). *Further we show that Weyl’s theorem holds for a restriction convexoid operator and consequently modify some results of Berberian. Finally we show that Weyl’s theorem holds for a paranormal operator and that a polynomially compact paranormal operator is a compact perturbation of a diagnoal normal operator. A structure theorem for polynomially compact paranormal operators is also given.     

Ramsey’s theorem and König’s Lemma

We consider the relation between versions of Ramsey’s Theorem and König’s Infinity Lemma, in the absence of the axiom of choice.     

The Chevalley and Costant theorems for Mal’tsev algebras

Centers of universal envelopes for Mal’tsev algebras are explored. It is proved that the center of the universal envelope for a finite-dimensional semisimple Mal’tsev algebra over a field of characteristic 0 is a ring of polynomials in a finite number of variables equal to the dimension of its Cartan subalgebra, and that universal enveloping algebra is a free module over its center. Centers of universal enveloping algebras are computed for some Mal’tsev algebras of small dimensions. Supported by FAPESP grant No. 04/08537-4 and by SO RAN grant No. 1.9. Supported by FAPESP grant Nos. 05/60142-7, 05/60337-2 and by CNPq grant No. 304991/2006-6. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 560–584, September–October, 2007.     

A topological invariant for pairs of maps

In this paper we develop the notion of contact orders for pairs of continuous self-maps (f, g) from ℝⁿ, showing that the set Con(f, g) of all possible contact orders between f and g is a topological invariant (we remark that Con(f, id) = Per(f)). As an interesting application of this concept, we give sufficient conditions for the graphs of two continuous self-maps from ℝ intersect each other. We also determine the ordering of the sets Con(f, 0) and Con(f, h), for h ∈ Hom(ℝ) such that f ∘ h = h ∘ f. For this latter set we obtain a generalization of Sharkovsky’s theorem.     

Categorical Abstract Algebraic Logic: Leibniz Equality and Homomorphism Theorems

The study of structure systems, an abstraction of the concept of first-order structures, is continued. Structure systems have algebraic systems rather than universal algebras as their algebraic reducts. Moreover, their relational component consists of a collection of relation systems on the underlying functors rather than simply a system of relations on a single set. Congruence systems of structure systems are introduced and the Leibniz congruence system of a structure system is defined. Analogs of the Homomorphism, the Second Isomorphism and the Correspondence Theorems of Universal Algebra are provided in this more abstract context. These results generalize corresponding results of Elgueta for equality-free first-order logic. Finally, a version of Gödel’s Completeness Theorem is provided with reference to structure systems.     

Categorical Abstract Algebraic Logic: Ordered Equational Logic and Algebraizable PoVarieties

A syntactic apparatus is introduced for the study of the algebraic properties of classes of partially ordered algebraic systems (a.k.a. partially ordered functors (pofunctors)). A Birkhoff-style order HSP theorem and a Mal’cev-style order SLP theorem are proved for partially ordered varieties and partially ordered quasivarieties, respectively, of partially ordered algebraic systems based on this syntactic apparatus. Finally, the notion of a finitely algebraizable partially-ordered quasi-variety, in the spirit of Pałasińska and Pigozzi, is introduced and some of the properties of these quasi-povarieties are explored in the categorical framework.      

Embedding and Maximal Regular Differential Operators in Sobolev-Lions Spaces

This study focuses on vector-valued anisotropic Sobolev-Lions spaces associated with Banach spaces E0, E. Several conditions are found that ensure the continuity and compactness of embedding operators that are optimal regular in these spaces in terms of interpolations of spaces E0 and E. In particular, the most regular class of interpolation spaces Eα between E0, E depending on α and the order of space are found and the boundedness of differential operators D^α from this space to Eα-valued Lp,γ spaces is proved. These results are applied to partial differential-operator equations with parameters to obtain conditions that guarantee the maximal Lp,γ regularity and R-positivity uniformly with respect to these parameters.     

Some classes of projected dynamical systems in Banach spaces and variational inequalities

We introduce some Projected Dynamical Systems based on metric and generalized Projection Operator in a strictly convex and smooth Banach Space. Then we prove that critical points of these systems coincide with the solution of a Variational Inequality.     

On conditions for and the order of approximation of functions by operators of classS 2m

Following P. P. Korovkin, we study conditions for the convergence of operators of classesS _2m to continuous functions and the asymptotics of approximation by such operators to differentiable functions. Translated fromMatematicheskie Zametki, Vol. 67, No. 5, pp. 654–661, May, 2000.     

Thermodynamics of action and organization in a system

Complexity in nature is astounding yet the explanation lies in the fundamental laws of physics. The Second Law of Thermodynamics and the Principle of Least Action are the two theories of science that have always stood the test of time. In this article, we use these fundamental principles as tools to understand how and why things happen. In order to achieve that, it is of absolute necessity to define things precisely yet preserving their applicability in a broader sense. We try to develop precise, mathematically rigorous definitions of the commonly used terms in this context, such as action, organization, system, process, etc., and in parallel argue the behavior of the system from the first principles. This article, thus, acts as a mathematical framework for more discipline‐specific theories. © 2015 Wiley Periodicals, Inc. Complexity 21: 307–317, 2016     

Clifford Algebras and Euclid’s Parametrization of Pythagorean Triples

We show that the space of Euclid’s parameters for Pythagorean triples is endowed with a natural symplectic structure and that it emerges as a spinor space of the Clifford algebra R₂₁, whose minimal version may be conceptualized as a 4-dimensional real algebra of “kwaternions.” We observe that this makes Euclid’s parametrization the earliest appearance of the concept of spinors. We present an analogue of the “magic correspondence” for the spinor representation of Minkowski space and show how the Hall matrices fit into the scheme. The latter obtain an interesting and perhaps unexpected geometric meaning as certain symmetries of an Apollonian gasket. An extension to more variables is proposed and explicit formulae for generating all Pythagorean quadruples, hexads, and decuples are provided.     

Epr-bohm experiment and Bell’s inequality: Quantum physics meets probability theory

Our main aim in this paper is to inform the physics community (and especially experts in quantum information) about investigations of the problem of the probabilistic compatibility of a family of random variables: the possibility of realizing such a family based on a single probability measure (of constructing a single Kolmogorov probability space). These investigations were started a hundred years ago by Boole. The complete solution of the problem was obtained by the Soviet mathematician Vorobiev in the 1960s. It turns out that probabilists and statisticians obtained inequalities for probabilities and correlations that include the famous Bell’s inequality and its generalizations. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 157, No. 1, pp. 99–115, October, 2008.     

Mechanical theorem proving in the surfaces using the characteristic set method and Wronskian determinant

In this paper, we generalize the method of mechanical theorem proving in curves to prove theorems about surfaces in differential geometry with a mechanical procedure. We improve the classical result on Wronskian determinant, which can be used to decide whether the elements in a partial differential field are linearly dependent over its constant field. Based on Wronskian determinant, we can describe the geometry statements in the surfaces by an algebraic language and then prove them by the characteristic set method.     

Higher-Order Three-Term Recurrences and Asymptotics of Multiple Orthogonal Polynomials

The asymptotic theory is developed for polynomial sequences that are generated by the three-term higher-order recurrence

Absolute and uniform convergence of eigenfunction expansions of integral operators with kernels admitting derivative discontinuities on the diagonals

An analog of Szasz’s theorem on the absolute convergence of trigonometric Fourier series is established for expansions in the eigen and associated functions of integral operators some of whose kernels involve derivatives with discontinuities on the diagonals.     

Comments on purification in continuum games

It is pointed out that Corollary 1 in a recent paper by Khan et al. (Int J Game Theory 34:91–104, 2006), presented there as an extension of the Dvoretzky–Wald–Wolfowitz theorem, is a special case of Lyapunov’s theorem for Young measures (Balder in Rend Instit Mat Univ Trieste 31 Suppl. 1:1–69) It is also pointed out that Theorems 1–4 in Khan et al. (Int J Game Theory 34:91–104, 2006) follow from a single strong purification per se result that is already contained, as an implementation of that Lyapunov theorem for Young measures, in the proof of Theorem 2.2.1 in Balder (J Econ Theory 102:437–470, 2002).