The Möbius function of permutations with an indecomposable lower bound

We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequalities.     

Spacelike Möbius Hypersurfaces in Four Dimensional Lorentzian Space Form

In this paper, we first set up an alternative fundamental theory of Möbius geometry for any umbilic-free spacelike hypersurfaces in four dimensional Lorentzian space form, and prove the hypersurfaces can be determined completely by a system consisting of a function W and a tangent frame {E_i}. Then we give a complete classification for spacelike Möbius homogeneous hypersurfaces in four dimensional Lorentzian space form. They are either Möbius equivalent to spacelike Dupin hypersurfaces or to some cylinders constructed from logarithmic curves and hyperbolic logarithmic spirals. Some of them have parallel para-Blaschke tensors with non-vanishing Möbius form.     

The Möbius invariants for circle packings

Möbius invariants of general circle packings are defined in terms of cross ratios. The necessary and sufficient conditions of existence of circle packings are established by the techniques of Möbius invariants. It is shown that circle packings are uniquely determined, up to Möbius transformations, by their Möbius invariants. The rigidity of infinite circle packings with bounded degree is proved using the approach of Möbius invariants.     

Möbius Regular Maps of Order pq

M?bius regular maps are surface embeddings of graphs with doubled edges such that(i)the automorphism group of the embedding acts regularly on flags and(ii) each doubled edge is a center of a M?bius band on the surface. In this paper, we classify M?bius regular maps of order pq for any two primes p and q, where p≠q.     

Two meromorphic functions on annuli sharing some pairs of values

In this article, we prove that two admissible meromorphic functions $f$ and $g$ on an annulus must be linked by a Möbius transformation if they share a pair of values ignoring multiplicities and share other four pairs of values with multiplicities truncated by 2. We also show that two admissible meromorphic functions which share $q(q\ge 6)$ pairs of values ignoring multiplicities are linked by a Möbius transformation. Moreover, in our results, the zeros with multiplicities more than a certain number are not needed to be counted in the sharing pairs of values condition of meromorphic functions.     

The Möbius function of a composition poset

We determine the Möbius function of a poset of compositions of an integer. In fact, we give two proofs of this formula, one using an involution and one involving discrete Morse theory. This composition poset turns out to be intimately connected with subword order, whose Möbius function was determined by Björner. We show that, using a generalization of subword order, we can obtain both Björner’s results and our own as special cases.     

Modular posets and semigroups

Posets and poset homomorphisms (preserving both order and parallelism) have been shown to form a category which is equivalent to the category of pogroupoids and their homomorphisms. Among the posets those posets whose associated pogroupoids are semigroups are identified as being precisely those posets which are (C ₂+1)-free. In the case of lattices this condition means that the lattice is alsoN ₅-free and hence modular. Using the standard connection: semigroup to poset to pogroupoid, it is observed that in many cases the image pogroupoid obtained is a semigroup even if quite different from the original one. The nature of this mapping appears intriguing in the poset setting and may well be so seen from the semigroup theory viewpoint.     

A short remark on Fibonacci-type sequences,Möbius strips and the ψ-function

A base for linear recursive sequences, such as the sequence of Fibonacci numbers, is defined within the framework of the sum of the digits of a number. Examples of bases of a number of such sequences are then outlined, and a Möbius strip is also used to illustrate the effects diagrammatically.     

An Application of Groupoids of Fractions to Inverse Semigroups

We describe an application of category theory to the theory of inverse semigroups: we prove the P-theorem for E-unitary inverse semigroups using groupoids of fractions of their associated division categories.     

Catégories de Möbius et fonctorialités: un cadre général pour l'inversion de Möbius

This paper proposes a general setting for Möbius inversion which includes the cases of locally finite partially ordered sets and monoids with the finite decomposition property (f.d.p.). The unifying concept is that of categories with the f.d.p., called Möbius categories, which we characterize in four different ways. The established theory of incidence algebras, Möbius functions, product formulas, reduced algebras, etc., is carried over. Furthermore, the study of functors between Möbius categories yields results in two directions: firstly, inspired from the substitution of formal power series is the construction of a homomorphism between incidence algebras which allows the transfer of Möbius inversions; secondly, surjective functors often give rise to a reduced incidence algebra, thus shedding new light on many important reduced algebras in combinatorial theory.     

Hua’s theorem on five squares of primes

We give an alternative proof of Hua’s theorem that each large N≡5 (mod 24) can be written as a sum of five squares of primes. The proof depends on an estimate of exponential sums involving the Möbius function.     

Algebras of Ehresmann semigroups and categories

E-Ehresmann semigroups are a commonly studied generalization of inverse semigroups. They are closely related to Ehresmann categories in the same way that inverse semigroups are related to inductive groupoids. We prove that under some finiteness condition, the semigroup algebra of an E-Ehresmann semigroup is isomorphic to the category algebra of the corresponding Ehresmann category. This generalizes a result of Steinberg who proved this isomorphism for inverse semigroups and inductive groupoids and a result of Guo and Chen who proved it for ample semigroups. We also characterize E-Ehresmann semigroups whose corresponding Ehresmann category is an EI-category and give some natural examples.     

Field theoretical Lie symmetry analysis: The Möbius group,exact solutions of conformal autonomous systems,and predictive model-building

We study single and coupled first-order differential equations (ODEs) that admit symmetries with tangent vector fields, which satisfy the N-dimensional Cauchy–Riemann equations. In the two-dimensional case, classes of first-order ODEs which are invariant under Möbius transformations are explored. In the N dimensional case we outline a symmetry analysis method for constructing exact solutions for conformal autonomous systems. A very important aspect of this work is that we propose to extend the traditional technical usage of Lie groups to one that could provide testable predictions and guidelines for model-building and model-validation. The Lie symmetries in this paper are constrained and classified by field theoretical considerations and their phenomenological implications. Our results indicate that conformal transformations are appropriate for elucidating a variety of linear and nonlinear systems which could be used for, or inspire, future applications. The presentation is pragmatic and it is addressed to a wide audience.     

MBIUS-TODA HIERARCHY AND ITS INTEGRABILITY

In this paper, we construct a new integrable equation called Mbius-Toda equation which is a generalization of q-Toda equation. Meanwhile its soliton solutions are constructed to show its integrable property. Further the Lax pairs of the Mbius-Toda equation and a whole integrable Mbius-Toda hierarchy are also constructed. To show the integrability, the bi-Hamiltonian structure and tau symmetry of the Mbius-Toda hierarchy are given and this leads to the existence of the tau function.     

Numerably Contractible Categories

We develop the notion of numerably contractible category and use it for describing conditions when a homotopy associative H-category has a homotopy inverse. We prove that complex categories are numerably contractible. The results play a role in Bak’s program for constructing delooping machines for global actions, small categories and related objects. (Received: February 2006)     

Möbius Polynomials of Face Posets of Convex Polytopes

The Möbius polynomial is an invariant of ranked posets, closely related to the Möbius function. In this paper, we study the Möbius polynomial of face posets of convex polytopes. We present formulas for computing the Möbius polynomial of the face poset of a pyramid or a prism over an existing polytope, or of the gluing of two or more polytopes in terms of the Möbius polynomials of the original polytopes. We also present general formulas for calculating Möbius polynomials of face posets of simplicial polytopes and of Eulerian posets in terms of their f-vectors and some additional constraints.