On some developments in the representation theory of cylindric-like algebras

In this survey paper we recall the representation problem of certain classes of algebras of relations. Two specific recent research directions in algebraic logic are surveyed: the one is connected with the representation theory of cylindric relativized set algebras including Resek’s representation theorem and merry-go-round axioms, the other discusses the representation problem in some non-well-founded set theories where the axiom of foundation is replaced by Boffa’s weak anti-foundation axiom. This paper is dedicated to Walter Taylor. Received September 8, 2005; accepted in final form January 12, 2006. The first author was supported by Hungarian National Foundation for Scientific Research grants T43242 and T035192. The second author was supported by Hungarian National Foundation for Scientific Research grants D042177, T43242 and T035192.     

A Generalization of the Second Quantization Method to the Case of Special Tensor Products of Fock Spaces and Quantization of Free Energy

The many-particle Schrödinger operator in Fock spaces is averaged by a method that is a generalization of the averaging given in the previous author's paper. This provides a new representation of the Schröodinger equation, which is a direct generalization of the second quantization representation. The resulting correspondence between symbols and operators permits one to quantize entropy as well as free energy.     

On a robust version of the integral representation formula of nonlinear filtering

The paper is concerned with completing “unfinished business” on a robust representation formula for the conditional expectation operator of nonlinear filtering. Such a formula, robust in the sense that its dependence on the process of observations is continuous, was stated in [2] without proof. The main purpose of this paper is to repair this deficiency.The formula is “almost obvious” as it can be derived at a formal level by a process of integration-by-parts applied to the stochastic integrals that appear in the integral representation formula. However, the rigorous justification of the formula is quite subtle, as it hinges on a measurability argument the necessity of which is easy to miss at first glance. The continuity of the representation (but not its validity) was proved by Kushner [9] for a class of diffusions.Here we follow the definition given in [11].     

Theorem about the conjugacy representation ofS n

Every group has two natural representations on itself, the regular representation and the conjugacy representation. We know everything about the construction of the regular representation, but we know very little about the conjugacy representation (for uncommutative groups). In this paper we will see that every irreducible complex character ofS _n (n>2) is a constituent of conjugacy character ofS _n .     

Representation of the Variational Sequence by Differential Forms

In the paper the representation of the finite order variational sequence on fibered manifolds in field theory is studied. The representation problem is completely solved by a generalization of the integration by parts procedure using the concept of the Lie derivative of forms with respect to vector fields along canonical maps of prolongations of fibered manifolds. A close relationship between the obtained coordinate invariant representation of the variational sequence and some familiar objects of physics, such as Lagrangians, dynamical forms, Euler–Lagrange mapping and Helmholtz–Sonin mapping is pointed out and illustrated by examples.Mathematics Subject Classifications (2000) 58E99, 49F99.Jana Musilová: Research of both authors supported by grants MSM 0021622409 and 201/03/0512.     

On the Characteristic of Proper Lattice Implication Algebras

ＯｎｔｈｅＣｈａｒａｃｔｅｒｉｓｔｉｃｏｆＰｒｏｐｅｒＬａｔｔｉｃｅＩｍｐｌｉｃａｔｉｏｎＡｌｇｅｂｒａｓ￥ＸｕＹａｎｇ；ＱｉｎＫｅｙｕｎ（ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ）（ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ）Ａｂｓｔ...     

信息不完备条件下地震应急案例结构化方法研究

地震突发事件具有紧迫性、破坏性和信息不完备性,给人民群众生命财产安全造成了重大危害。案例推理是处置突发事件的有效方法。其中,案例表示是案例推理的基础,但是目前的案例表示方法并没有考虑突发事件的信息不完备性。这削弱了突发事件应急案例表示效果,并影响案例检索的准确性和案例适配的效果。本文在研究案例表示方法的基础上,结合案例推理的结构化和定量化需求,将证据理论的基本信任分配函数引入框架表示法中,提出了信息不完备条件下地震应急案例的框架表示法。接下来,本文提出了信息不完备条件下地震应急案例检索方法。最后,文章对提出的信息不完备条件下地震应急案例的结构化方法进行了应用验证。     

Two-dimensional l-adic representations of the Galois group of a global field of characteristic P and automorphic forms on Gl(2)

It is well known (Ref. Zh. Mat., 1978, 1A405) that to each parabolic representation of the group GL (2) over adeles of a global field k of characteristic p there corresponds an irreducible two-dimensionall-adic representation of the Galois group of this field. In this paper, it is proved that, conversely also, to each irreducible two-dimensionall-adic representation of the Galois group there corresponds a parabolic representation of the group GL(2) over adeles. The proof of Langland's hypotheses for GL(2,k) is thereby completed.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Maternaticheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 134, pp. 138–156, 1984.     

Integral representation of the four-parametric generalized Mittag-Leffler function

In this paper, we give a new integral representation of the four-parametric generalized Mittag-Leffler function introduced and studied by Djrbashian (Dzherbashian). The representation, obtained in this paper, contains an iterated integral, wherein the internal integral is a Cauchy-type integral, and the external one is a simple improper integral along the so-called Hankel path. The representation also contains the values of the special Wright functions.     

A Berry-Essen Inequality for the Kaplan-Meier L-Estimator

Let be the Kaplan-Meier estimator of distribution function F. Let J(˙) be a measurable real-valued function. In this paper, a U-statistic representation for the Kaplan-Meier L-estimator, , is derived. Furthermore, the representation is also used to establish a Berry-Essen inequality for . Received September 28, 1998, Accepted March 10, 1999     

Analysis on the minimal representation of O(p,q) I. Realization via conformal geometry

This is the first in a series of papers devoted to an analogue of the metaplectic representation, namely the minimal unitary representation of an indefinite orthogonal group; this representation corresponds to the minimal nilpotent coadjoint orbit in the philosophy of Kirillov–Kostant. We begin by applying methods from conformal geometry of pseudo-Riemannian manifolds to a general construction of an infinite-dimensional representation of the conformal group on the solution space of the Yamabe equation. By functoriality of the constructions, we obtain different models of the unitary representation, as well as giving new proofs of unitarity and irreducibility. The results in this paper play a basic role in the subsequent papers, where we give explicit branching formulae, and prove unitarization in the various models.     

On the sensitivity of generators for the QR factorization of quasiseparable matrices with total nonpositivity

In this paper, we provide a relatively robust representation for the QR factorization of quasiseparable matrices with total nonpositivity. This representation allows us to develop a structure-preserving perturbation analysis. Consequently, stronger perturbation bounds are obtained to show that its generators determine the factors Q and R to high relative accuracy, independent of any conventional condition number. This means that it is possible to accurately compute the QR factorization by operating on these generators.     

Resolvable Representation of Polyhedra

The paper proposes a new method for the boundary representation of three-dimensional (not necessarily convex) polyhedra, called a resolvable representation , in which small numerical errors do not violate the symbolic part of the representation. In this representation, numerical data are represented partly by the coordinates of vertices and partly by the coefficients of face equations in such a way that the polyhedron can be reconstructed from the representation in a step-by-step manner. It is proved that any polyhedron homeomorphic to a sphere has a resolvable representation, and an algorithm for finding such a representation is constructed. Received January 21, 1997, and in revised form April 29, 1998.     

On the continuity of Mackey's extension process

If N is a closed normal subgroup of a locally compact group H, and if L is an H-invariant unitary irreducible representation of N, then it is known that there exists an irreducible unitary representation ? of H whose restriction to N is a multiple of L. The representation ? is important in Mackey's theory, but it is not constructively defined and it is often difficult to determine ? explicitly. In this paper the continuity properties of the assignment L to ? are studied. The kinds of continuity conditions possible are investigated and a theorem for a special case is proved.     

A Munn tree type representation for the elements of the bifree locally inverse semigroup

The Munn tree representation for the elements of the free inverse monoid is an elegant and useful tool in the theory of inverse semigroups. It has been the starting point for many of the subsequent developments in this theory. In the present paper we generalize this representation for the elements of the bifree locally inverse semigroup. We will represent each element of the bifree locally inverse semigroup as an undirected tree whose vertices, called blocks, are special vertex-labeled graphs themselves. Another distinctive characteristic of these graphs is that they have different types of edges.

     

Algebraic Methods for Condiagonalization Under Consimilarity of Quaternion Matrices in Quaternionic Quantum Mechanics

By means of complex representation and real representation of quaternion matrices, paper [7] studied the problem of diagonalization of quaternion matrices. This paper introduces two new complex representation and real representation of quaternion matrices, studies the problem of condiagonalization under consimilarity of quaternion matrices, and gives two algebraic methods for the condiagonalization under consimilarity of quaternion matrices.     

A direct integral decomposition of the wavelet representation

In this paper we use the concept of wavelet sets, as introduced by X. Dai and D. Larson, to decompose the wavelet representation of the discrete group associated to an arbitrary integer dilation matrix as a direct integral of irreducible monomial representations. In so doing we generalize a result of F. Martin and A. Valette in which they show that the wavelet representation is weakly equivalent to the regular representation for the Baumslag-Solitar groups.

     

Finite Factor Representations of 2-Step Nilpotent Groups and the Orbit Method

In this paper, we describe factor representations of discrete 2-step nilpotent groups with 2-divisible center in the spirit of the orbit method. We show that some standard theorems of the orbit method are valid for these groups. In the case of countable 2-step nilpotent groups we explain how to construct a factor representation starting with an orbit of the “coadjoint representation.” We also prove that every factor representation (more precisely, every trace) can be obtained by this construction, and prove a theorem on the decomposition of a factor representation restricted to a subgroup. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 307, 2004, pp. 120–140.     

Hardy空间上复合算子的伴随表示

Hardy空间上的复合算子的伴随算子具有很好的性质,但对一般情形而言,一直没有关于它的明确表达式．Cowen于1988年给出了(?)为D上的线性分式自映射情形时C*(?)的表达式,并且于2000年给出了n个变量情形的推广．他指出,正是由于没有一般情形的C*(?)的表达式,在很大程度上,阻碍了复合算子理论的发展．该文给出了Hardy空间上的复合算子伴随的准确表达式．