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.     

群的根性的一般理论

该文列举了任意群的根性的定义,并给出了任意群的根性的几个例子,同时还研究了群的根性的性质.     

A General Theory of Almost Splitting Sets

Let * be a star-operation of finite type on an integral domain D. In this paper, we generalize and study the concept of almost splitting sets. We define a saturated multiplicative subset S of D to be an almost g*-splitting set of D if for each 0 ≠ d ∈ D, there exists an integer n = n(d) ≥1 such that d ⁿ  = st for some s ∈ S and t ∈ D with (t, s′)_* = D for all s′ ∈ S. Among other things, we prove that every saturated multiplicative subset of D is an almost g*-splitting set if and only if D is an almost weakly factorial domain (AWFD) with *-dim (D) = 1. We also give an example of an almost g*-splitting set which is not a g*-splitting set.     

Basic Module Theory for General Rings

We show how to construct a theory of modules over general rings (i.e., rings which do not necessarily have an identity element) in such a form that most of the known results of the usual theory of modules over unital rings are obtained by particularizing the results of the general theory.     

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.      

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.     

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

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

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.     

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.