Sufficient Conditions for a Digraph to be Supereulerian

A (di)graph is supereulerian if it contains a spanning eulerian sub(di)graph. This property is a relaxation of hamiltonicity. Inspired by this analogy with hamiltonian cycles and by similar results in supereulerian graph theory, we analyze a number of sufficient Ore type conditions for a digraph to be supereulerian. Furthermore, we study the following conjecture due to Thomassé and the first author: if the arc‐connectivity of a digraph is not smaller than its independence number, then the digraph is supereulerian. As a support for this conjecture we prove it for digraphs that are semicomplete multipartite or quasitransitive and verify the analogous statement for undirected graphs.     

Free probability and the von Neumann algebrasof free groups

This short note summarizes the circumstances of the birth of free probability theory andsome of the recent achievements.     

A Note on Topological Entropy of Maps

For a given collection of subsets of a compact metric space X which cover X,the entropies,hm(f)and hi(f),are introduced for a continuous map f of X to itseif. Also the concept of shadowing property with same end point (SPSEP for short) is introduced. The main results are,(1)H(f)≤hi(f)+hm(f)and,(2)h(f)=hm(f)whenever f has SPSEP,where h(f) is the topological entropy of f. Moreover,several corollaries are obtained.     

广义分解定理与两个不等式

本文给出了Banach空间广义分解定理的一个初等证明,并利用它来证明两个对称不等式.这是首次在Banach空间获得这样的不等式.     

Analytic Independence of an Ideal Relative to Certain Injective Module Over a Commutative Noetherian Ring

In this paper we will introduce the concepts of analytic independence and analytic spread for ideals relative to certain injective module over a commutative Noetherian ring.     

Hyperbolic spaces are of strictly negative type

We study finite metric spaces with elements picked from, and distances consistent with, ambient Riemannian manifolds. The concepts of negative type and strictly negative type are reviewed, and the conjecture that hyperbolic spaces are of strictly negative type is settled, in the affirmative. The technique of the proof is subsequently applied to show that every compact manifold of negative type must have trivial fundamental group, and to obtain a necessary criterion for product manifolds to be of negative type.

     

States and Structure of von Neumann Algebras

We summarize and deepen recent results on the interplay between properties of states and the structure of von Neumann algebras. We treat Jauch–Piron states and the concept of independence in noncommutative probability theory.     

Some remarks on indiscernible sequences

We prove a property of generic homogeneity of tuples starting an infinite indiscernible sequence in a simple theory and we use it to give a shorter proof of the Independence Theorem for Lascar strong types. We also characterize the relation of starting an infinite indiscernible sequence in terms of coheirs.     

A Relationship Among Gentzen's Proof-Reduction,Kirby-Paris' Hydra Game and Buchholz's Hydra Game

We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game (Section 1 and Appendix). Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game (which is two-dimensional but without labels), by a simple and natural interpretation (Section 2). Jervell proposed another type of a combinatorial game, by abstracting Gentzen's proof-reductions and showed that his game is independent of PA. We show (Section 3) that this Jervell's game is actually much stronger than PA, by showing that the critical ordinal of Jervell's game is φ_ω (0) (while that of PA or of Kirby-Paris' Game is φ₁ (0) = ?₀) in the Veblen hierarchy of ordinals.     

Martingale property of empirical processes

It is shown that for a large collection of independent martingales, the martingale property is preserved on the empirical processes. Under the assumptions of independence and identical finite-dimensional distributions, it is proved that a large collection of stochastic processes are martingales essentially if and only if the empirical processes are also martingales. These two results have implications on the testability of the martingale property in scientific modeling. Extensions to submartingales and supermartingales are given.