Ring semigroups whose subsemigroups form a chain

A multiplicative semigroup S is called a ring semigroup if an addition may be defined on S so that (S,+,⋅) is a ring. Such semigroups have been well-studied in the literature (see Bell in Words, Languages and Combinatorics, pp. 24–31, World Scientific, Singapore, 1994; Jones in Semigroup Forum 47(1):1–6, 1993; Jones and Ligh in Semigroup Forum 17(2):163–173, 1979). In this note, we use Mihăilescu’s Theorem (formerly Catalan’s Conjecture) to characterize the ring semigroups whose subsemigroups containing 0 form a chain with respect to set inclusion.     

A Bicategorical Version of Masuoka’s Theorem

We give a bicategorical version of the main result of Masuoka (Tsukuba J Math 13:353–362, 1989) which proposes a non-commutative version of the fact that for a faithfully flat extension of commutative rings R í SR \subseteq S, the relative Picard group Pic(S/R) is isomorphic to the Amitsur 1–cohomology group H ¹(S/R,U) with coefficients in the units functor U.     

Normal Multi-scale Transforms for Curves

Extending upon Daubechies et al. (Constr. Approx. 20:399–463, 2004) and Runborg (Multiscale Methods in Science and Engineering, pp. 205–224, 2005), we provide the theoretical analysis of normal multi-scale transforms for curves with general linear predictor S, and a more flexible choice of normal directions. The main parameters influencing the asymptotic properties (convergence, decay estimates for detail coefficients, smoothness of normal re-parametrization) of this transform are the smoothness of the curve, the smoothness of S, and its order of exact polynomial reproduction. Our results give another indication why approximating S may not be the first choice in compression applications of normal multi-scale transforms.     

Two cancellative commutative congruences and group diagrams

Remmers (Adv. Math. 36:283–296, 1980) uses group diagrams in the Euclidean plane to demonstrate how equality in a semigroup S “mirrors” that inside the group G sharing the same presentation with S, when S satisfies Adyan’s condition—no cycles in the left/right graphs of the semigroup’s presentation. Goldstein and Teymouri (Semigroup Forum 47:299–304, 1993) introduce a conjugacy equivalence relation for semigroups S. By closely examining the geometry of annular group diagrams in the plane, they show how their equivalence relation mirrors conjugacy inside G, for S satisfying Adyan’s. In this article we introduce two cancellative commutative congruences. Following their leads, we examine the geometry of group diagrams on closed surfaces of higher genera to demonstrate how these congruences mirror equality inside two naturally associated Abelian quotient groups G/[G,G] and G/G ², respectively. In these instances we can drop Adyan’s condition.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

<Emphasis Type="Italic">π</Emphasis>-formulas implied by Dougall’s summation theorem for <Subscript>5</Subscript><Emphasis Type="Italic">F</Emphasis><Subscript>4</Subscript>-series

The general summation theorem for well-poised ₅ F ₄-series discovered by Dougall (Proc. Edinb. Math. Soc. 25:114–132, 1907) is shown to imply several infinite series of Ramanujan-type for 1/π and 1/π ², including those due to Bauer (J. Reine Angew. Math. 56:101–121, 1859) and Glaisher (Q. J. Math. 37:173–198, 1905) as well as some recent ones by Levrie (Ramanujan J. 22:221–230, 2010).     

Order-Compactifications of Totally Ordered Spaces: Revisited

Order-compactifications of totally ordered spaces were described by Blatter (J Approx Theory 13:56–65, 1975) and by Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Their results generalize a similar characterization of order-compactifications of linearly ordered spaces, obtained independently by Fedorčuk (Soviet Math Dokl 7:1011–1014, 1966; Sib Math J 10:124–132, 1969) and Kaufman (Colloq Math 17:35–39, 1967). In this note we give a simple characterization of the topology of a totally ordered space, as well as give a new simplified proof of the main results of Blatter (J Approx Theory 13:56–65, 1975) and Kent and Richmond (J Math Math Sci 11(4):683–694, 1988). Our main tool will be an order-topological modification of the Dedekind-MacNeille completion. In addition, for a zero-dimensional totally ordered space X, we determine which order-compactifications of X are Priestley order-compactifications.     

Irregular abelian semigroups with weakly amenable semigroup algebra

In this paper we give counterexamples for the open problem, posed by Blackmore (Semigroup Forum 55:359–377, 1987) of whether weak amenability of a semigroup algebra ℓ ¹(S) implies complete regularity of the semigroup S. We present a neat set of conditions on a commutative semigroup (involving concepts well known to those working with semigroups, e.g. the counterexamples are nil and 0-cancellative) which ensure that S is irregular (in fact, has no nontrivial regular subsemigroup), but ℓ ¹(S) is weakly amenable. Examples are then given.     

Feynman’s Operational Calculi: Disentangling Away from the Origin

In this paper we develop a method of forming functions of noncommuting operators (or disentangling) using functions that are not necessarily analytic at the origin in ℂ ⁿ . The method of disentangling follows Feynman’s heuristic rules from in (Feynman in Phys. Rev. 84:18–128, 1951) a mathematically rigorous fashion, generalizing the work of Jefferies and Johnson and the present author in (Jefferies and Johnson in Russ. J. Math. 8:153–181, 2001) and (Jefferies et al. in J. Korean Math. Soc. 38:193–226, 2001). In fact, the work in (Jefferies and Johnson in Russ. J. Math. 8:153–181, 2001) and (Jefferies et al. in J. Korean Math. Soc. 38:193–226, 2001) allow only functions analytic in a polydisk centered at the origin in ℂ ⁿ while the method introduced in this paper enable functions that are not analytic at the origin to be used. It is shown that the disentangling formalism introduced here reduces to that of (Jefferies and Johnson in Russ. J. Math. 8:153–181, 2001) and (Jefferies et al. in J. Korean Math. Soc. 38:193–226, 2001) under the appropriate assumptions. A basic commutativity theorem is also established.     

Filters and semigroup compactification properties

Stone-Čech compactifications derived from a discrete semigroup S can be considered as the spectrum of the algebra ℬ(S) or as a collection of ultrafilters on S. What is certain and indisputable is the fact that filters play an important role in the study of Stone-Čech compactifications derived from a discrete semigroup. It seems that filters can play a role in the study of general semigroup compactifications too. In the present paper, first we review the characterizations of semigroup compactifications in terms of filters and then extend some of the results in Papazyan (Semigroup Forum 41:329–338, 1990) concerning the Stone-Čech compactification to a semigroup compactification associated with a Hausdorff semitopological semigroup.     

A few remarks on recurrence relations for geometrically continuous piecewise Chebyshevian B-splines

This works complements a recent article (Mazure, J. Comp. Appl. Math. 219(2):457–470, 2008) in which we showed that T. Lyche’s recurrence relations for Chebyshevian B-splines (Lyche, Constr. Approx. 1:155–178, 1985) naturally emerged from blossoms and their properties via de Boor type algorithms. Based on Chebyshevian divided differences, T. Lyche’s approach concerned splines with all sections in the same Chebyshev space and with ordinary connections at the knots. Here, we consider geometrically continuous piecewise Chebyshevian splines, namely, splines with sections in different Chebyshev spaces, and with geometric connections at the knots. In this general framework, we proved in (Mazure, Constr. Approx. 20:603–624, 2004) that existence of B-spline bases could not be separated from existence of blossoms. Actually, the present paper enhances the powerfulness of blossoms in which not only B-splines are inherent, but also their recurrence relations. We compare this fact with the work by G. Mühlbach and Y. Tang (Mühlbach and Tang, Num. Alg. 41:35–78, 2006) who obtained the same recurrence relations via generalised Chebyshevian divided differences, but only under some total positivity assumption on the connexion matrices. We illustrate this comparison with splines with four-dimensional sections. The general situation addressed here also enhances the differences of behaviour between B-splines and the functions of smaller and smaller supports involved in the recurrence relations.     

A direct approach to the weighted admissibility of observation operators for bounded analytic semigroups

In this note we adopt the approach in Bonnit et al. (Czechoslov. Math. J. 60(2):527–539, 2010) to give a direct proof of some recent results in Haak and Le Merdy (Houst. J. Math., 2005) and Haak and Kunstmann (SIAM J. Control Optim. 45:2094–2118, 2007) which characterizes the L ^p -admissibility of type α depending on p of unbounded observation operators for bounded analytic semigroups.     

The Chow Rings of Generalized Grassmannians

Based on the basis theorem of Bruhat–Chevalley (in Algebraic Groups and Their Generalizations: Classical Methods, Proceedings of Symposia in Pure Mathematics, vol. 56 (part 1), pp. 1–26, AMS, Providence, 1994) and the formula for multiplying Schubert classes obtained in (Duan, Invent. Math. 159:407–436, 2005) and programmed in (Duan and Zhao, Int. J. Algebra Comput. 16:1197–1210, 2006), we introduce a new method for computing the Chow rings of flag varieties (resp. the integral cohomology of homogeneous spaces).     

A Little More on Coz-Unique Frames

Coz-unique frames were defined and characterized by Banaschewski and Gilmour (J Pure Appl Algebra 157:1–22, 2001). In this note we give further characterizations of these frames along the lines of characterizations of absolutely z-embedded spaces obtained by Blair and Hager (Math Z 136:41–52, 1974) on the one hand, and by Hager and Johnson (Canad J Math 20:389–393, 1968) on the other. We also extend to frames certain characterizations of z-embedded spaces; namely, we give a characterization of coz-onto frame homomorphisms in terms of normal covers.      

On Borell-Brascamp-Lieb Inequalities on Metric Measure Spaces

In this paper we introduce the notion of a Borell-Brascamp-Lieb inequality for metric measure spaces (M,d,m) denoted by BBL(K,N) for two numbers K,N ∈ ℝ with N ≥ 1. In the first part we prove that BBL(K,N) holds true on metric measure spaces satisfying a curvature-dimension condition CD(K,N) developed and studied by Lott and Villani in (Ann Math 169:903–991, 2007) as well as by Sturm in (Acta Math 196(1):133–177, 2006). The aim of the second part is to show that BBL(K,N) is stable under convergence of metric measure spaces with respect to the L ₂-transportation distance.     

Extremal dependence analysis of network sessions

We refine a stimulating study by Sarvotham et al. (Comput Networks 48:335–350, 2005) which highlighted the influence of peak transmission rate on network burstiness. From TCP packet headers, we amalgamate packets into sessions where each session is characterized by a 5-tuple (S,D,R,R ^∨,Γ)=(total payload, duration, average transmission rate, peak transmission rate, initiation time). After careful consideration, a new definition of peak rate is required. Unlike Sarvotham et al. (Comput Networks 48:335–350, 2005) who segmented sessions into two groups labelled alpha and beta, we segment into 10 sessions according to the empirical quantiles of the peak rate variable as a demonstration that the beta group is far from homogeneous. Our more refined segmentation reveals additional structure that is missed by segmentation into two groups. In each segment, we study the dependence structure of (S,D,R) and find that it varies across the groups. Furthermore, within each segment, session initiation times are well approximated by a Poisson process whereas this property does not hold for the data set taken as a whole. Therefore, we conclude that the peak rate level is important for understanding structure and for constructing accurate simulations of data in the wild. We outline a simple method of simulating network traffic based on our findings.     

Orders on Multisets and Discrete Cones

We study additive representability of orders on multisets (of size k drawn from a set of size n) which satisfy the condition of independence of equal submultisets (IES) introduced by Sertel and Slinko (Ranking committees, words or multisets. Nota di Laboro 50.2002. Center of Operation Research and Economics. The Fundazione Eni Enrico Mattei, Milan, 2002, Econ. Theory 30(2):265–287, 2007). Here we take a geometric view of those orders, and relate them to certain combinatorial objects which we call discrete cones. Following Fishburn (J. Math. Psychol., 40:64–77, 1996) and Conder and Slinko (J. Math. Psychol., 48(6):425–431, 2004), we define functions f(n,k) and g(n,k) which measure the maximal possible deviation of an arbitrary order satisfying the IES and an arbitrary almost representable order satisfying the IES, respectively, from a representable order. We prove that g(n,k) = n − 1 whenever n ≥ 3 and (n, k) ≠ (5, 2). In the exceptional case, g(5,2) = 3. We also prove that g(n,k) ≤ f(n,k) ≤ n and establish that for small n and k the functions g(n,k) and f(n,k) coincide.      

Some new common fixed point theorems in fuzzy metric spaces

The purpose of this paper is to prove some new common fixed point theorems in (GV)-fuzzy metric spaces. While proving our results, we utilize the idea of compatibility due to Jungck (Int J Math Math Sci 9:771–779, 1986) together with subsequentially continuity due to Bouhadjera and Godet-Thobie (arXiv: 0906.3159v1 [math.FA] 17 Jun 2009) respectively (also alternately reciprocal continuity due to Pant (Bull Calcutta Math Soc 90:281–286, 1998) together with subcompatibility due to Bouhadjera and Godet-Thobie (arXiv:0906.3159v1 [math.FA] 17 Jun 2009) as patterned in Imdad et al. (doi:) wherein conditions on completeness (or closedness) of the underlying space (or subspaces) together with conditions on continuity in respect of any one of the involved maps are relaxed. Our results substantially generalize and improve a multitude of relevant common fixed point theorems of the existing literature in metric as well as fuzzy metric spaces which include some relevant results due to Imdad et al. (J Appl Math Inform 26:591–603, 2008), Mihet (doi:), Mishra (Tamkang J Math 39(4):309–316, 2008), Singh (Fuzzy Sets Syst 115:471–475, 2000) and several others.