Further results in the theory of generalised inflations of semigroups

We determine the structure of semigroups that satisfy xyzw∈{xy,xw,zy,zw}. These semigroups are precisely those whose power semigroup is a generalised inflation of a band. The structure of generalised inflations of the following types of semigroups is determined: the direct product of a group and a band, a completely simple semigroup and a free semigroup F(X) on a set X. In the latter case the semigroup must be an inflation of F(X). We also prove that in any semigroup that equals its square, the power semigroup is a generalised inflation of a band if and only if it is an inflation of a band.     

RADICAL THEORY FOR SEMIRINGS

Abstract

In this article we continue investigations on a Kurosh-Amitsur radical theory for a universal class U of hemirings as introduced by O.M. Olson et al. We give some necessary and sufficient conditions that such a universal class U consists of all hemirings. Further we consider special and weakly special subclasses M of U which yield hereditary radical classes P = um of U. In this context we correct some statements in the papers of Olson et al. Moreover, a problem posed there concerning the equality of two radicals ?_∞(S) and ?^ε(S) and two similar ideals β_∞ (S) and β^ε(S) is widely solved. We prove ?_∞(S) ? ?^ε(S) = β^∞(S) = β^ε(S) and give necessary and sufficient conditions for equality in the first inclusion. This yields in particular that the weakly special class M_ε(U) is always semisimple, a result which is not true for the special class M_∞(U).     

An entropy addition rule for underdetermined data

Some basic information characteristics are introduced for the underdetermined data. For the general form of underdetermined data, it is proved that the entropy addition rule H(X) + H(Y | X) = H(XY) of classic information theory turns into a more complex relation whose form is found. Moreover, the necessary and sufficient conditions for it to coincide with the ordinary entropy addition rule are obtained.     

Irredundance in inflated graphs

The inflation G_I of a graph G with n(G) vertices and m(G) edges is obtained by replacing every vertex of degree d of G by a clique K_d. We study the lower and upper irredundance parameters ir and IR of an inflation. We prove in particular that if γ denotes the domination number of a graph, γ(G_I) − ir(G_I) can be arbitrarily large, IR(G_I) ≤ m(G) and IR(G_I) ≤ n²(G)/4. These results disprove a conjecture of Dunbar and Haynes (Congr. Num. 118 (1996), 143–154) and answer another open question. © 1998 John Wiley & Sons, Inc. J Graph Theory 28: 97–104, 1998     

The exit problem for small random perturbations of dynamical systems with a hyperbolic fixed point

We consider the Markov diffusion process ξ^∈(t), transforming when ɛ=0 into the solution of an ordinary differential equation with a turning point ℴ of the hyperbolic type. The asymptotic behevior as ɛ→0 of the exit time, of its expectation of the probability distribution of exit points for the process ξ^∈(t) is studied. These indicate also the asymptotic behavior of solutions of the corresponding singularly perturbed elliptic boundary value problems.     

On Quasiperiodic Space Tilings, Inflation, and Dehn Invariants

We introduce Dehn invariants as a useful tool in the study of the inflation of quasiperiodic space tilings. Tilings by ``golden tetrahedra' are considered. We discuss how Dehn invariants can be applied to the study of the inflation properties of the six golden tetrahedra. We also use the geometry of the faces of the golden tetrahedra to analyze their inflation properties. We give inflation rules for decorated Mosseri—Sadoc tiles in the projection class of tilings <I>T<SUP>(MS)</SUP></I> (the tiles of <I>T<SUP>(MS)</SUP></I> are particular packages of the golden tetrahedra). The Dehn invariants of the Mosseri—Sadoc tiles provide two eigenvectors of the inflation matrix with eigenvalues equal to \t = (1+\sqrt 5 )/2 and -1/\t , and allow us to reconstruct the inflation matrix uniquely. Received October 11, 1999, and in revised form July 5, 2000. Online publication May 4, 2001.     

Risk attitudes for nonlinear measurable utility

This paper concerns SSB utility theory in the monetary context. It introduces a measure of risk aversion and establishes necessary and sufficient conditions for comparative risk aversion. Nonseparable decompositions of an SSB utility function that have the form (x, y)=w(x)w(y)f(x–y) are examined. Risk properties such as constant risk aversion and a delta property are shown to give specific functional forms for an SSB utility function.     

Runge-Kutta Methods for the Numerical Solution of Stiff Semilinear Systems

This paper studies the stability and convergence properties of general Runge-Kutta methods when they are applied to stiff semilinear systems y(t) = J(t)y(t) + g(t, y(t)) with the stiffness contained in the variable coefficient linear part.We consider two assumptions on the relative variation of the matrix J(t) and show that for each of them there is a family of implicit Runge-Kutta methods that is suitable for the numerical integration of the corresponding stiff semilinear systems, i.e. the methods of the family are stable, convergent and the stage equations possess a unique solution. The conditions on the coefficients of a method to belong to these families turn out to be essentially weaker than the usual algebraic stability condition which appears in connection with the B-stability and convergence for stiff nonlinear systems. Thus there are important RK methods which are not algebraically stable but, according to our theory, they are suitable for the numerical integration of semilinear problems.This paper also extends previous results of Burrage, Hundsdorfer and Verwer on the optimal convergence of implicit Runge-Kutta methods for stiff semilinear systems with a constant coefficients linear part.     

Degree equality of projective characters

There are many necessary and su?cient conditions on a finite group G to be abelian, for example, G contains no non-trivial commutators or that χ(1) = 1 for all χ∈Irr(G). Here an investigation is instigated into what remains of some of these conditions when a non-trivial 2-cocycle of G and the corresponding irreducible projective characters are considered instead, such as these characters all having the same degree. The conditions no longer imply, in general, that G is abelian, but it is conjectured that they do, at least, imply that G is solvable and some evidence is produced to support this view.     

Best Simultaneous Approximation and Its Applications in C ℝ(Q)

We develop a theory of best simultaneous approximation for closed convex sets in C _?(Q), the space of all real-valued continuous functions on a compact topological space Q endowed with the usual operations and with the norm ‖x‖ = max _q?Q |x(q)|. We give necessary and sufficient conditions for the existence of best simultaneous approximation in a conditionally complete Banach lattice X with a strong unit 1 by elements of the hyperplanes. We study best simultaneous approximation by elements of closed convex sets in C _?(Q) and give various characterizations of best simultaneous approximation.     

On the convergence of quasi-newton methods for nonsmooth problems

We develop a theory of quasi-New ton and least-change update methods for solving systems of nonlinear equations F(x) = 0. In this theory, no differentiability conditions are necessary. Instead, we assume that Fcan be approximated, in a weak sense, by an affine function in a neighborhood of a solution. Using this assumption, we prove local and ideal convergence. Our theory can be applied to B-differentiable functions and to partially differentiable functions.     

Singularities of slice regular functions

Beginning in 2006, G. Gentili and D. C. Struppa developed a theory of regular quaternionic functions with properties that recall classical results in complex analysis. For instance, in each Euclidean ball B(0, R) centered at 0 the set of regular functions coincides with that of quaternionic power series $\sum _{n \in {\mathbb {N}}} q^n a_n$ converging in B(0, R). In 2009 the author proposed a classification of singularities of regular functions as removable, essential or as poles and studied poles by constructing the ring of quotients. In that article, not only the statements, but also the proving techniques were confined to the special case of balls B(0, R). Quite recently, F. Colombo, G. Gentili and I. Sabadini (2010) and the same authors in collaboration with D. C. Struppa (2009) identified a larger class of domains, on which the theory of regular functions is natural and not limited to quaternionic power series. The present article studies singularities in this new context, beginning with the construction of the ring of quotients and of Laurent‐type expansions at points p other than the origin. These expansions, which differ significantly from their complex analogs, allow a classification of singularities that is consistent with the one given in 2009. Poles are studied, as well as essential singularities, for which a version of the Casorati‐Weierstrass Theorem is proven.     

Ideal Structure of Leavitt Path Algebras with Coefficients in a Unital Commutative Ring

For a (countable) graph E and a unital commutative ring R, we analyze the ideal structure of the Leavitt path algebra L _R (E) introduced by Mark Tomforde. We first modify the definition of basic ideals and then develop the ideal characterization of Mark Tomforde. We also give necessary and sufficient conditions for the primeness and the primitivity of L _R (E), and we then determine prime graded basic ideals and left (or right) primitive graded ideals of L _R (E). In particular, when E satisfies Condition (K) and R is a field, they imply that the set of prime ideals and the set of primitive ideals of L _R (E) coincide.     

三角范畴和Abel范畴的Torsion理论

本文主要研究了三角范畴在Abel化过程中torsion理论的保持问题.利用三角范畴的coherent函子范畴是Abel范畴,证明了T的coherent函子范畴A(T)是A(D)的thick子范畴;若(X,Y)是D的torsion理论,且D=X*Y的扩张是可裂的,那么(A(X),A(Y))是A(D)的torsion理论.     

Generalized solutions to semilinear hyperbolic systems

In this article semilinear hyperbolic first order systems in two variables are considered, whose nonlinearity satisfies a global Lipschitz condition. It is shown that these systems admit unique global solutions in the Colombeau algebraG(²). In particular, this provides unique generalized solutions for arbitrary distributions as initial data. The solution inG(²) is shown to be consistent with the locally integrable or the distributional solutions, when they exist.     

Majoration du Nombre de Zéros D’Une Fonction Méromorphe en Dehors D’Une Droite Verticale et Applications

We study the distribution of the zeros of functions of the form f(s) = h(s) ± h(2a − s), where h(s) is a meromorphic function, real on the real line, a is a real number. One of our results establishes sufficient conditions under which all but finitely many of the zeros of f(s) lie on the line ℜs = a, called the critical line for the function f(s), and that they are simple, provided that all but finitely many of the zeros of h(s) lie on the half-plane ℜs < a. This result can be regarded as a generalization of the necessary condition of stability for the function h(s), in the Hermite-Biehler theorem. We apply our results to the study of translations of the Riemann Zeta Function and L functions, and integrals of Eisenstein Series, among others.     

MA(σ-centered): Cohen reals,strong measure zero sets and strongly meager sets

We prove thatMA(σ-centered) + the Dual Borel Conjecture is consistent; and thatMA(σ-centered) + the non-additivity of the ideal of the strong measure zero sets also is consistent. Jaime Ihoda.     

Isometries and almost isometries between spaces of continuous functions

We characterize the isometries fromC(X) intoC(Y) whereX andY are compact metric spaces. We give necessary and sufficient conditions on an isometry from a subset ofC(X) intoC(Y) to have an extension to the whole space. It is also shown that an almost isometry from the unit ball ofC(X) into the unit ball ofC(Y) is near to an isometry.     

On extensions of countable filterbases to ultrafilters and ultrafilter compactness

We show in the Zermelo-Fraenkel set theory ZF without the axiom of choice:

1. Given an infinite set X, the Stone space S(X) is ultrafilter compact.

2. For every infinite set X, every countable filterbase of X extends to an ultra-filter i? for every infinite set X, S(X) is countably compact.

3. ω has a free ultrafilter i? every countable, ultrafilter compact space is countably compact.

   We also show the following:

4. There are a permutation model 𝒩 and a set X ∈ 𝒩 such that X has no free ultrafilters and S(X) is not compact but S(X) is countably compact and every countable filterbase of X extends to an ultrafilter.

5. It is relatively consistent with ZF that every countable filterbase of ω extends to an ultrafilter but there exists a countable filterbase of ? which does not extend to an ultrafilter. Hence, it is relatively consistent with ZF that ? has free ultrafilters but there exists a countable filterbase of ? which does not extend to an ultrafilter.