Schur Functions and Their Realizations in the Slice Hyperholomorphic Setting

In this paper we start the study of Schur analysis in the quaternionic setting using the theory of slice hyperholomorphic functions. The novelty of our approach is that slice hyperholomorphic functions allow to write realizations in terms of a suitable resolvent, the so called S-resolvent operator and to extend several results that hold in the complex case to the quaternionic case. We discuss reproducing kernels and positive definite functions in this setting and we show how they can be obtained using the extension operator and the slice hyperholomorphic product. We define Schur multipliers, and find their co-isometric realization in terms of the associated de Branges–Rovnyak space.     

Bi-Inner Dilations and Bi-Stable Passive Scattering Realizations of Schur Class Operator-Valued Functions

Let S(U; Y) be the class of all Schur functions (analytic contractive functions) whose values are bounded linear operators mapping one separable Hilbert space U into another separable Hilbert space Y , and which are defined on a domain , which is either the open unit disk or the open right half-plane . In the development of the Darlington method for passive linear time-invariant input/state/output systems (by Arov, Dewilde, Douglas and Helton) the following question arose: do there exist simple necessary and sufficient conditions under which a function has a bi-inner dilation mapping into ; here U ₁ and Y ₁ are two more separable Hilbert spaces, and the requirement that Θ is bi-inner means that Θ is analytic and contractive on Ω and has unitary nontangential limits a.e. on ∂Ω. There is an obvious well-known necessary condition: there must exist two functions and (namely and ) satisfying and for almost all . We prove that this necessary condition is also sufficient. Our proof is based on the following facts. 1) A solution ψ _r of the first factorization problem mentioned above exists if and only if the minimal optimal passive realization of θ is strongly stable. 2) A solution ψ _l of the second factorization problem exists if and only if the minimal *-optimal passive realization of θ is strongly co-stable (the adjoint is strongly stable). 3) The full problem has a solution if and only if the balanced minimal passive realization of θ is strongly bi-stable (both strongly stable and strongly co-stable). This result seems to be new even in the case where θ is scalar-valued.      

The Schur Transformation for Generalized Nevanlinna Functions: Interpolation and Self-Adjoint Operator Realizations

The Schur transformation for generalized Nevanlinna functions has been defined and applied in [2]. In this paper we discuss its relation to a basic interpolation problem and study its effect on the minimal self-adjoint operator (or relation) realization of a generalized Nevanlinna function. D. Alpay acknowledges with thanks the Earl Katz family for endowing the chair which supported this research and the Netherlands Organization for Scientific Research, NWO (grant B 61-524). The research of A. Dijksma and H. Langer was partly supported by the Center for Advanced Studies in Mathematics, CASM, of the Department of Mathematics of Ben-Gurion University, that of H. Langer also by the Austrian Science Fund, Project P15540-N05. Received: September 25, 2006. Accepted: October 11, 2006.     

Realizations of Topological Categories

There are functor-preordering-structured categories S(F,P), defined by the Prague School, in which every concrete category over a concretizable basecategory is realizable. Over nice basecategories there are realizations of all topological categories in some topological S(F,L). This gives rise for a new characterization of those concrete categories having a topological hull.     

Realizations of regular apeirotopes

Summary In an earlier paper, a theory of realizations of (finite) regular polytopes in euclidean spaces was developed. Here, the analogous problem of realizing regular apeirotopes (infinite polytopes) is investigated. While no complete theory is expounded, several basic results are established. Among these is the curious fact that, if a regular apeirotope has a discrete realization, then it has one with no translations in its symmetry group.     

Realizations of regular polytopes

Let be a finite regular incidence-polytope. A realization of is given by an imageV of its vertices under a mapping into some euclidean space, which is such that every element of the automorphism group () of induces an isometry ofV. It is shown in this paper that the family of all possible realizations (up to congruence) of forms, in a natural way, a closed convex cone, which is also denoted by The dimensionr of is the number of equivalence classes under () of diagonals of , and is also the number of unions of double cosets ^{** *–1*} ( ^*), where ^* is the subgroup of () which fixes some given vertex of . The fine structure of corresponds to the irreducible orthogonal representations of (). IfG is such a representation, let its degree bed _G , and let the subgroup ofG corresponding to ^* have a fixed space of dimensionw _G . Then the relations

Three-Dimensional Realizations of Braids

Consider a standard braid diagram as a three-dimensional figureviewed from the top; what happens when this figure is lookedat from the side? Then a new braid can be obtained, and studyingthe connection between the initial braid and the derived braidso obtained provides both a new simple proof for the existenceof the right greedy normal form of positive braids and a geometricalinterpretation for the automatic structure of the braid groups.     

Frobenius non-classical curves

We would like to thank M. Homma who pointed out to us the case overlooked and suggested part of the above argument to show that any counterexample would be singular.     

The Frobenius Complex

Motivated by the classical Frobenius problem, we introduce the Frobenius poset on the integers ${\mathbb Z}$ , that is, for a sub-semigroup ?? of the non-negative integers ( ${\mathbb N}$ , +), we define the order by n ??_?? m if ${{m-n \in \Lambda}}$ . When ?? is generated by two relatively prime integers a and b, we show that the order complex of an interval in the Frobenius poset is either contractible or homotopy equivalent to a sphere. We also show that when ?? is generated by the integers {a, a?+?d, a?+?2d, . . . , a?+?(a?1)d}, the order complex is homotopy equivalent to a wedge of spheres.     

Generalized Frobenius groups

A pair (G. K) in whichG is a finite group andK◃G, 1<K<G, is said to satisfy (F2) if |C _G (x)|=|C _G/K (xK)| for allx∈G/K. First we survey all the examples known to us of such pairs in whichG is neither ap-group nor a Frobenius group with Frobenius kernelK. Then we show that under certain restrictions there are, essentially, all the possible examples.     

Characterization of Transfer Functions of Pritchard–Salamon or Other Realizations with a Bounded Input or Output Operator

We show that the transfer functions that have a (continuoustime) well-posed realization with a bounded input operator are exactly those that are strong-H² (plus constant feedthrough) over some right half-plane. The dual condition holds iff the transfer function has a realization with a bounded output operator. Both conditions hold iff the transfer function has a Pritchard–Salamon (PS) realization. A state-space variant of the PS result was proved already in [3], under the additional assumption that the weighting pattern (or impulse response) is a function (whose values are bounded operators). We illustrate by an example that this does not cover all PS systems, not even if the input and output spaces are separable.     

Typical Frobenius coverings

A covering p from a Cayley graph Cay（G, X） onto another Cay（H, Y） is called typical Frobenius if G is a Frobenius group with H as a Frobenius complement and the map p ： G →H is a group epimorphism. In this paper, we emphasize on the typical Frobenius coverings of Cay（H, Y）. We show that any typical Frobenius covering Cay（G, X） of Cay（H, Y） can be derived from an epimorphism /from G to H which is determined by an automorphism f of H. If Cay（G, X1） and Cay（G, X2） are two isomorphic typical Frobenius coverings under a graph isomorphism Ф, some properties satisfied by Фare given.     

Expected Frobenius numbers

Given a primitive positive integer vector a, the Frobenius number F(a) is the largest integer that cannot be represented as a non-negative integral combination of the coordinates of a. We show that for large instances the order of magnitude of the expected Frobenius number is (up to a constant depending only on the dimension) given by its lower bound.     

Double Frobenius groups

Double Frobenius groups are studied. Some properties of a minimal counterexample to V.D. Mazurov’s conjecture about these groups are obtained. Under some additional restrictions the conjecture is confirmed.     

Graphical Frobenius representations

A Frobenius group is a transitive permutation group that is not regular and such that only the identity fixes more than one point. A graphical Frobenius representation (GFR) of a Frobenius group G is a graph whose automorphism group, as a group of permutations of the vertex set, is isomorphic to G. The problem of classifying which Frobenius groups admit a GFR is a natural extension of the classification of groups that have a graphical regular representation (GRR), which occupied many authors from 1958 through 1982. In this paper, we review for graph theorists some standard and deep results about finite Frobenius groups, determine classes of finite Frobenius groups and individual groups that do and do not admit GFRs, and classify those Frobenius groups of order at most 300 having a GFR. Because a Frobenius group, as opposed to a regular permutation group, has a highly restricted structure, the GFR problem emerges as algebraically more complex than the GRR problem. This paper concludes with some further questions and a strong conjecture.