Diads and their Application to Topoi

It is well known that the category of coalgebras for a finite-limit preserving comonad on a topos is again a topos, and the category of algebras for a finite-limit preserving monad is a topos if the monad is idempotent, but not in general. A generalisation of this result (Paré et al., Bull Aus Math Soc 39(3):421–431, 1989) is that the full subcategory of fixed points for any idempotent finite-limit preserving endofunctor is again a topos (and indeed a subquotient in the category of topoi and geometric morphisms). Here, we present a common generalisation of all the above results, based on a notion which we call a diad, which is a common generalisation of a monad and a comonad. Many of the constructions that can be applied to monads and comonads can be extended to all diads. In particular, the category of algebras or coalgebras can be generalised to a category of dialgebras for a diad. The generalisation we present here is that the category of dialgebras for a finite-limit preserving left diad (for example, the diad corresponding to a comonad, or any idempotent endofunctor) on a topos is again a topos.     

The General Theory of Linear Difference Equations over the Max-Plus Semi-Ring

We present the mathematical theory underlying systems of linear difference equations over the max-plus semi-ring. The result provides an analog of isomonodromy theory for ultradiscrete Painlevé equations, which are extended cellular automata, and provide evidence for their integrability. Our theory is analogous to that developed by Birkhoff and his school for linear q -difference equations, but stands independently of the latter. As an example, we derive linear problems in this algebra for ultradiscrete versions of the symmetric P_IV equation and show how it is a necessary condition for isomonodromic deformation of a linear system.     

Prime Ideal Theory for General Algebras

We introduce ideals, radicals and prime ideals in arbitrary algebras with at least one binary operation, and we show that various separation lemmas and prime ideal theorems are special instances of one general theorem which, in turn, is equivalent to the Boolean Prime Ideal Theorem (or Ultrafilter Principle).     

Applications of General Infimum Principles to Fixed-Point Theory and Game Theory

The main result of the paper is a series of theorems, called here Infimum Principles. As applications, we derive some well-known results related to fixed point, minimax, and equilibrium theorems including the Nash equilibrium theorem and Gale–Nikaido theorem. Our study is based on and utilizes the techniques of simplicial structures and CO families. This approach enables us to derive not only classical theorems but also stimulates new research.      

离散空间中的一般均衡理论

在消费者偏好函数是强凸、连续和严格单调的条件下给出了不可分市场的一般均衡存在定理,因而也给出了离散空间中一般均衡存在的一个充分条件.     

Stability Theory of General Contractions for Delay Equations

We study the persistence of the asymptotic stability of delay equations both under linear and nonlinear perturbations. Namely, we consider nonautonomous linear delay equations v′ = L(t)v _t with a nonuniform exponential contraction. Our main objective is to establish the persistence of the nonuniform exponential stability of the zero solution both under nonautonomous linear perturbations, i.e., for the equation v′ = (L(t) + M(t))v _t , thus discussing the so-called robustness problem, and under a large class of nonlinear perturbations, namely for the equation v′ = L(t)v _t + f(t, v _t ). In addition, we consider general contractions e ^−λρ(t) determined by an increasing function ρ that includes the usual exponential behavior with ρ(t) = t as a very special case. We also obtain corresponding results in the case of discrete time.     

MARM Processes Part I: General Theory

This paper introduces a new class of real vector-valued stochastic processes, called MARM (Multivariate Autoregressive Modular) processes, which generalizes the class of (univariate) ARM (Autoregressive Modular) processes. Like ARM processes, the key advantage of MARM processes is their ability to fit a strong statistical signature consisting of first-order and second-order statistics. More precisely, MARM processes exactly fit an arbitrary multi-dimensional marginal distribution and approximately fit a set of leading autocorrelations and cross-correlations. This capability appears to render the MARM modeling methodology unique in its ability to fit a multivariate model to such a class of strong statistical signatures. The paper describes the construction of two flavors of MARM processes, MARM ⁺ and MARM ^? , studies the statistics of MARM processes (transition structure and second order statistics), and devises MARM-based fitting and forecasting algorithms providing point estimators and confidence intervals. The efficacy of the MARM fitting and forecasting methodology will be illustrated on real-life data in a companion paper.     

Two-Dimensional Field Reduction of the General Theory of Relativity

Theoretical and Mathematical Physics - In the framework of general relativity theory, we consider a space-time whose metric depends on only one coordinate and time. We choose a gauge class such...     

The Mathematicians’ Happy Hunting Ground: Einstein’s General Theory of Relativity

There is hardly any doubt that for physics special relativity theory is of much greater consequence than the general theory. The reverse situation prevails with respect to mathematics: there special relativity theory had comparatively little, general relativity theory very considerable, influence, above all upon the development of a general scheme for differential geometry. —Hermann Weyl, “Relativity as a Stimulus to Mathematical Research,” pp. 536–537.     

Focal Loci of Algebraic Hypersurfaces: A General Theory

The focal locus is traditionally defined for a differentiable submanifold of R ⁿ. However, since it depends essentially only on the notion of orthogonality, a focal locus can be also associated to an algebraic subvariety of the space , once we have chosen an orthogonal structure on this space. In this paper, we establish somebasic results in the theory of focal loci of algebraichypersurfaces in . Our main results concern the irreducibility of the ramification divisor of the end-point map and the dimension of the singular locus of this divisor, the birationality of the focal map and the degree of the focal locus of an algebraic hypersurface.     

Five-Dimensional General Relativity and Kaluza–Klein Theory

In five-dimensional gravity, we consider spaces admitting a family of maximally symmetric three-dimensional subspaces. We construct five-dimensional vacuum Einstein equations and introduce the analogue of the five-dimensional mass function for these spaces. The charge conservation law for this function results in the five-dimensional analogue of the Birkhoff theorem. Hence, for the spaces under consideration, the cylindricity condition is realized dynamically. For some of the obtained metrics, the regularity condition results in the closedness of the fifth coordinate. We can then relate the period of the fifth coordinate with the value of the conserved charge. We discuss the problem of separating dynamical degrees of freedom of scalar and gravitational fields obtained when reducing the initial five-dimensional action to the four-dimensional form and the related problem of the conformal ambiguity of the four-metric gauge. The parameterization of the scalar field and the four-metric that results in a conformally invariant theory of interacting scalar and gravitational fields seems most natural.     

前苏联和俄罗斯模糊理论研究与应用情况概述

对前苏联20世纪80年代及苏联解体后俄罗斯20世纪90年代的模糊理论研究与应用情况作了概述,列举了在人工智能认知的模糊原理、信息论的模糊性和模糊空间、随机模糊规划、工业用综合模糊控制系统等领域的研究成果,并列出90多篇（部）俄文文献资料。     

General Theory of Acoustic Wave Propagation in Liquids and Gases

We study the propagation of small-amplitude acoustic waves in liquids and gases and use the hydrodynamic equations to obtain an exact dispersion equation. This equation in dimensionless variables contains only two material constants p and q. We solve the dispersion equation, obtaining an exact solution that holds for all values of the parameters and all frequencies up to hypersonic, and thus analytically establish exactly how the speed of sound c, the wave vector k, and the damping factor x depend on the frequency ω and the dimensionless material constants p and q. Studying the behavior of the solution in the sonic and ultrasonic frequency bands for ω < 10⁷ sec^-1 results in an expression for the damping factor, which differs from the Kirchhoff formula. The speed of sound c and the wave vector k are shown to have finite nonzero values for all hypersonic frequencies. At the same time, there exists a certain maximum frequency value, ω_max ≈ 10¹¹-10¹² sec^-1, at which the damping factor x is zero. This frequency determines the boundary of the applicability domain for the hydrodynamic equations. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 146, No. 2, pp. 340–352, February, 2006.     

Ito游程理论与一般Markov链的平稳分布

在本文中,我们利用Ito游程理论给出一般Markov链的平稳分布,该公式包含了极小过程中断和含瞬时态的情形。最后我们给出一个含瞬时态的Markov链的计算例子。