Ups and Downs of First Order Sentences on Random Graphs

whenever is a fixed positive irrational. This raises the question what zero-one valued functions on the positive irrationals arise as the limit probability of a first order sentence on these graphs. Here we prove two necessary conditions on these functions, a number-theoretic and a complexity condition. We hope to prove in a subsequent paper that these conditions together with two simpler and previously proved conditions are also sufficient and thus they constitute a characterization. Received October 2, 1998     

Some Connections between Dirac-Fock and Electron-Positron Hartree-Fock

We study the ground state solutions of the Dirac-Fock model in the case of weak electronic repulsion, using bifurcation theory. They are solutions of a minmax problem. Then we investigate a max-min problem coming from the electronpositron field theory of Bach-Barbaroux-Helffer-Siedentop. We show that given a radially symmetric nuclear charge, the ground state of Dirac-Fock solves this maxmin problem for certain numbers of electrons. But we also exhibit a situation in which the max-min level does not correspond to a solution of the Dirac-Fock equations together with its associated self-consistent projector.submitted 19/03/04, accepted 30/07/04     

Some Connections between Topological and Modal Logic

We study modal logics based on neighbourhood semantics using methods and theorems having their origin in topological model theory. We thus obtain general results concerning completeness of modal logics based on neighbourhood semantics as well as the relationship between neighbourhood and Kripke semantics. We also give a new proof for a known interpolation result of modal logic using an interpolation theorem of topological model theory.     

On Some Connections between Potential Theory and Excursions of Reflecting Brownian Motion

We consider reflecting Brownian motion in a bounded domain with smooth boundary. Formulas for the moments of the excursion lengths are derived and connections between excursion theory of reflecting Brownian motion and notions from recurrent potential theory are explored.     

Some Invariant Properties of Semi-symmetric Metric Recurrent Connections and Curvature Tensor Expressions

The projective transformation of the special semi-symmetric metric recurrent connection is studied in this paper. First of all, an invariant under this transformation is granted; Secondly, by inducing of the invariant and making use of the properties that the corresponding covariant derivative keeps being fixed under the distinctness connection, the curvature tensor expression of the Riemannian manifold is posed at the same time.     

多元正态分布百分位面和容忍限的估计

针对实践中多个指标的联合分布是多元正态分布或近似多元正态分布的情况,将一元正态分布的置信限及其容忍限的估计推广到多元正态分布的场合,提出了百分位面的置信限和分布的容忍限和及容忍域的估计方法,在一定程度上克服了以往点估计的局限性,该方法具有更大的应用价值.     

On Affine Connections Induced on the (1,1)-Tensor Bundle

Let M be an n-dimensional differentiable manifold with an affine connection without torsion and T_1~1(M) its(1, 1)-tensor bundle. In this paper, the authors define a new affine connection on T_1~1(M) called the intermediate lift connection, which lies somewhere between the complete lift connection and horizontal lift connection. Properties of this intermediate lift connection are studied. Finally, they consider an affine connection induced from this intermediate lift connection on a cross-section σ_ξ(M) of T_1~1(M) defined by a(1, 1)-tensor field ξ and present some of its properties.     

几类特殊图的(2,1)-全标号

研究了与频道分配有关的一种染色-(p,1)-全标号.通过在一个顶点粘结不同的简单图构造了几类有趣图,根据所构造图的特征,利用穷染法,给出了一种标号方法,得到了平凡和非平凡叶子图Gm,4、风车图K3t和图Dm,n的(2,1)-全标号数.(p,1)-全标号是对图的全染色的一种推广.     

当方阵A,B反可交换时,A,B和AB特征值的性质及联系

从矩阵反可交换的定义出发,证明了当两个方阵A,B反可交换时,任取A的特征值λ_A存在B的特征值λB,满足±iλ_Aλ_B是AB的特征值及其它一些相应结论.并举例说明了结论的的有效性.     

Spectra of Some Interesting Combinatorial Matrices Related to Oriented Spanning Trees on a Directed Graph

The Laplacian of a directed graph G is the matrix L(G) = O(G) –, A(G) where A(G) is the adjaceney matrix of G and O(G) the diagonal matrix of vertex outdegrees. The eigenvalues of G are the eigenvalues of A(G). Given a directed graph G we construct a derived directed graph D(G) whose vertices are the oriented spanning trees of G. Using a counting argument, we describe the eigenvalues of D(G) and their multiplicities in terms of the eigenvalues of the induced subgraphs and the Laplacian matrix of G. Finally we compute the eigenvalues of D(G) for some specific directed graphs G. A recent conjecture of Propp for D(H _n ) follows, where H _n stands for the complete directed graph on n vertices without loops.     

On Some Problems of Grothendieck Concerning (F) and (DF) Spaces

This is an expository article devoted to the answers to the 10 open problems of the fundamental paper of Grothendieck (Summa Res. Math. 1954; 3:57–123), some of which were given in the recent years.     

The Geodesics of Metric Connections with Vectorial Torsion

The present note deals with the dynamics of metric connections with vectorial torsion, as already described by E. Cartan in 1925. We show that the geodesics of metric connections with vectorial torsion defined by gradient vector fields coincide with the Levi-Civita geodesics of a conformally equivalent metric. By pullback, this yields a systematic way of constructing invariants of motion for such connections from isometries of the conformally equivalent metric, and we explain in as much this result generalizes the Mercator projection which maps sphere loxodromes to straight lines in the plane. An example shows that Beltrami's theorem fails for this class of connections. We then study the system of differential equations describing geodesics in the plane for vector fields which are not gradients, and show among others that the Hopf–Rinow theorem does also not hold in general.     

Some Congruences on S (X)

Some congruences on S (X) are investigated in this paper. A unique atom in the sublattice [C(E), C (E)] is determined for some spaces X and S-equivalences E and X.AMS Subject Classification (1991): 20M20 54H15     

Some Characterizations of V MO(Rn)

In this paper we give three characterizations of VMO(Rn) space, which are of John-Nirenberg type, Uchiyama-type and Miyachi-type, respectively.