We examine the problem of finite-state representability of infinitestate processes w.r.t. certain behavioural equivalences. We show that the classical notion of regularity becomes insufficient in case of all equivalences of van Glabbeek’s hierarchy except bisimilarity, and we design and justify a generalization in the form of strong regularity and finite characterizations. We show that the cond...

We show for many strongly regular graphs ∆, and for all Taylor graphs ∆ except the hexagon, that locally ∆ graphs have bounded diameter.

An n-tournament is an orientation of a complete n-partite graph. It was proved by J.A. Bondy in 1976 that every strongly connected n-partite tournament has an n-cycle. We characterize strongly connected n-partite tournaments in which a longest cycle is of length n and, thus, settle a problem in L. Volkmann, Discrete Math. 245 (2002) 19-53.

This paper begins the project of adapting the 1992 book by Adams, Barbasch and Vogan on the Langlands classification of admissible representations of real groups, to padic groups, continuing in the direction charted by Vogan in his 1993 paper on the Langlands correspondence. This paper presents three theorems in that direction. The first theorem shows how Lusztig’s work on perverse sheaves aris...

A quasi-symmetric design (QSD) is a (v, k, λ) design with two intersection numbers x, y, where 0 ≤ x < y < k. The block graph of a QSD is a strongly regular graph (SRG), whereas the converse is not true. Using Neumaier’s classification of SRGs related to the smallest eigenvalue, a complete parametric classification of QSDs whose block graph is an SRG with smallest eigenvalue −3, or second large...

in this article we study two different generalizations of von neumann regularity, namely strong topological regularity and weak regularity, in the banach algebra context. we show that both are hereditary properties and under certain assumptions, weak regularity implies strong topological regularity. then we consider strong topological regularity of certain concrete algebras. moreover we obtain ...

valdis laan in [5] introduced an extension of strong flatness which is called weak pullback flatness. in this paper we introduce a new property of acts over monoids, called u-wpf which is an extension of weak pullback flatness and give a classification of monoids by this property of their acts and also a classification of monoids when this property of acts implies others. we also show that regu...

The Class 0 protostar IRAS 16293$-$2422 Source A is known to be a binary system (A1 and A2) or even multiple system, which processes complex outflow structure. We have observed this source in the C$^{34}$S, SO, OCS lines at 3.1 mm with Atacama Large Millimeter/submillimeter Array (ALMA). substructure of traced by our high angular-resolution observation (0\farcs12; 20 au) continuum emission. nor...