一维紧邻时间随机环境下可逗留随机游动的有关性质

给出了可数状态空间中时间随机环境下可逗留随机游动的一个统一模型,对于一维紧邻时间随机环境下的随机游动,在一定的条件下,讨论它的极限性质和中心极限定理,该结论类似于空间随机环境下的随机游动的有关结论.     

Bohr topologies and partition theorems for vector spaces

We prove a Ramsey-style theorem for sequences of vectors in an infinite-dimensional vector space over a finite field. As an application of this theorem, we prove that there are countably infinite Abelian groups whose Bohr topologies are not homeomorphic.     

Finite covers of random 3-manifolds

A 3-manifold is Haken if it contains a topologically essential surface. The Virtual Haken Conjecture posits that every irreducible 3-manifold with infinite fundamental group has a finite cover which is Haken. In this paper, we study random 3-manifolds and their finite covers in an attempt to shed light on this difficult question. In particular, we consider random Heegaard splittings by gluing two handlebodies by the result of a random walk in the mapping class group of a surface. For this model of random 3-manifold, we are able to compute the probabilities that the resulting manifolds have finite covers of particular kinds. Our results contrast with the analogous probabilities for groups coming from random balanced presentations, giving quantitative theorems to the effect that 3-manifold groups have many more finite quotients than random groups. The next natural question is whether these covers have positive betti number. For abelian covers of a fixed type over 3-manifolds of Heegaard genus 2, we show that the probability of positive betti number is 0.In fact, many of these questions boil down to questions about the mapping class group. We are led to consider the action of the mapping class group of a surface Σ on the set of quotients π₁(Σ)→Q. If Q is a simple group, we show that if the genus of Σ is large, then this action is very mixing. In particular, the action factors through the alternating group of each orbit. This is analogous to Goldman’s theorem that the action of the mapping class group on the SU(2) character variety is ergodic. Mathematics Subject Classification (2000) 57M50, 57N10     

Poincaré polynomials of moduli spaces of stable bundles over curves

Given a curve over a finite field, we compute the number of stable bundles of not necessarily coprime rank and degree over it. We apply this result to compute the virtual Poincaré polynomials of the moduli spaces of stable bundles over a curve. A similar formula for the virtual Hodge polynomials and motives is conjectured.     

Random Walks on Trees with Finitely Many Cone Types

This paper is devoted to the study of random walks on infinite trees with finitely many cone types (also called periodic trees). We consider nearest neighbour random walks with probabilities adapted to the cone structure of the tree, which include in particular the well studied classes of simple and homesick random walks. We give a simple criterion for transience or recurrence of the random walk and prove that the spectral radius is equal to 1 if and only if the random walk is recurrent. Furthermore, we study the asymptotic behaviour of return probabilitites and prove a local limit theorem. In the transient case, we also prove a law of large numbers and compute the rate of escape of the random walk to infinity, as well as prove a central limit theorem. Finally, we describe the structure of the boundary process and explain its connection with the random walk.     

A continuity theorem in the ruin problem

For a random walk, we prove a continuity theorem for the exit time from a strip containing the abscissa axis, including the case of the exit time from a strip through an a priori chosen boundary. In particular, we compute the ruin probabilities for two classes of centered distributions.     

Martingales and character ratios

Some general connections between martingales and character ratios of finite groups are developed. As an application we sharpen the convergence rate in a central limit theorem for the character ratio of a random representation of the symmetric group on transpositions. A generalization of these results is given for Jack measure on partitions. We also give a probabilistic proof of a result of Burnside and Brauer on the decomposition of tensor products.

     

Probabilities of Pure Nash Equilibria in Matrix Games when the Payoff Entries of One Player Are Randomly Selected

The Nash equilibrium in pure strategies represents an important solution concept in nonzero sum matrix games. Existence of Nash equilibria in games with known and with randomly selected payoff entries have been studied extensively. In many real games, however, a player may know his own payoff entries but not the payoff entries of the other player. In this paper, we consider nonzero sum matrix games where the payoff entries of one player are known, but the payoff entries of the other player are assumed to be randomly selected. We are interested in determining the probabilities of existence of pure Nash equilibria in such games. We characterize these probabilities by first determining the finite space of ordinal matrix games that corresponds to the infinite space of matrix games with random entries for only one player. We then partition this space into mutually exclusive spaces that correspond to games with no Nash equilibria and with r Nash equilibria. In order to effectively compute the sizes of these spaces, we introduce the concept of top-rated preferences minimal ordinal games. We then present a theorem which provides a mechanism for computing the number of games in each of these mutually exclusive spaces, which then can be used to determine the probabilities. Finally, we summarize the results by deriving the probabilities of existence of unique, nonunique, and no Nash equilibria, and we present an illustrative example.     

A family of quintic cyclic fields with even class number parameterized by rational points on an elliptic curve

We give a family of quintic cyclic fields with even class number parametrized by rational points on an elliptic curve associated with Emma Lehmer's quintic polynomial. Further, we use the arithmetic of elliptic curves and the Chebotarev density theorem to show that there are infinitely many such fields.     

A finite compensation procedure for a class of two-dimensional random walks

Motivated by queueing applications, we consider a class of two-dimensional random walks, the invariant measure of which can be written as a linear combination of a finite number of product-form terms. In this work, we investigate under which conditions such an elegant solution can be derived by applying a finite compensation procedure. The conditions are formulated in terms of relations among the transition probabilities in the inner area, the boundaries as well as the origin. A discussion on the importance of these conditions is also given.     

L0-线性函数的Hahn-Banach扩张定理的几何形式与随机赋范模中的Goldstine-Weston定理

本文给出了关于L⁰- 线性函数的Hahn-Banach 扩张定理的几何形式并证明这个几何形式等价于它的代数形式. 进一步, 我们利用这个几何形式给出了随机局部凸模中熟知的基本分离定理的一个新的且简单的证明. 最后, 利用这个分离定理, 我们同时在两种拓扑 —(ε, λ)- 拓扑和局部L⁰- 凸拓扑下证明了随机赋范模中的Goldstine-Weston 稠密性定理, 并举出一个反例说明在局部L⁰- 凸拓扑下如果随机赋范模不具有可数连接性质, 则Goldstine-Weston 稠密性定理不一定成立.     

Application of a Tauberian theorem to finite model theory

An extension of a Tauberian theorem of Hardy and Littlewood is proved. It is used to show that, for classes of finite models satisfying certain combinatorial and growth properties, Cesàro probabilities (limits of average probabilities over second order sentences) exist. Examples of such classes include the class of unary functions and the class of partial unary functions. It is conjectured that the result holds for the usual notion of asymptotic probability as well as Cesàro probability. Evidence in support of the conjecture is presented.     

利用有限局部环Z/pkZ上的幂等矩阵的标准型构作认证码

In this paper,we determine the normal forms of idempotent matrices for similarity over finite local rings Z/p~kZ,from which we construct a Cartesian au- thentication code and compute its size parameters and the probabilities of successful impersonation and substitution attack under the hypothesis that the cecoding rules are chosen according to a uniform probability distribution.     

Using Normal Form of Idempotent Matrices over Finite Local Ring Z/p^kZ to Construct Cartesian Authentication Codes

In this paper, we determine the normal forms of idempotent matrices for similarity over finite local rings Z/p^kZ, from which we construct a Cartesian authentication code and compute its size parameters and the probabilities of successful impersonation and substitution attack under the hypothesis that the cecoding rules are chosen according to a uniform probability distribution.     

On the modularity of rigid Calabi−Yau threefolds: epilogue

In a recent paper by F. Gouvea and N. Yui, a detailed account is given of a patching argument due to Serre that proves that the modularity of all rigid Calabi–Yau threefolds defined over \mathbbQ \mathbb{Q} follows from Serre’s modularity conjecture (now a theorem). In this note, we give an alternative proof of this implication. The main difference with Serre’s argument is that instead of using as a main input residual modularity in infinitely many characteristics, we just require residual modularity in a suitable characteristic. This is combined with the effective Chebotarev theorem.     

Viability Theorem for Deterministic Mean Field Type Control Systems

A mean field type control system is a dynamical system in the Wasserstein space describing an evolution of a large population of agents with mean-field interaction under a control of a unique decision maker. We develop the viability theorem for the mean field type control system. To this end we introduce a set of tangent elements to the given set of probabilities. Each tangent element is a distribution on the tangent bundle of the phase space. The viability theorem for mean field type control systems is formulated in the classical way: the given set of probabilities on phase space is viable if and only if the set of tangent distributions intersects with the set of distributions feasible by virtue of dynamics.     

Computing genus 2 curves from invariants on the Hilbert moduli space

We give a new method for generating genus 2 curves over a finite field with a given number of points on the Jacobian of the curve. We define two new invariants for genus 2 curves as values of modular functions on the Hilbert moduli space and show how to compute them. We relate them to the usual three Igusa invariants on the Siegel moduli space and give an algorithm to construct curves using these new invariants. Our approach simplifies the complex analytic method for computing genus 2 curves for cryptography and reduces the amount of computation required.     

Eventually minimal curves

A curve defined over a finite field is maximal or minimal according to whether the number of rational points attains the upper or the lower bound in Hasse-Weils theorem, respectively. In the study of maximal curves a fundamental role is played by an invariant linear system introduced by Rück and Stichtenoth in [6]. In this paper we define an analogous invariant system for minimal curves, and we compute its orders and its Weierstrass points. In the last section we treat the case of curves having genus three in characteristic two.     

Finite Affine Groups: Cycle Indices, Hall–Littlewood Polynomials, and Probabilistic Algorithms

The study of asymptotic properties of the conjugacy class of a random element of the finite affine group leads one to define a probability measure on the set of all partitions of all positive integers. Four different probabilistic understandings of this measure are given—three using symmetric function theory and one using Markov chains. This leads to non-trivial enumerative results. Cycle index generating functions are derived and are used to compute the large dimension limiting probabilities that an element of the affine group is separable, cyclic, or semisimple and to study the convergence to these limits. The semisimple limit involves both Rogers–Ramanujan identities. This yields the first examples of such computations for a maximal parabolic subgroup of a finite classical group.     

Hyperelliptic curves of genus three over finite fields of even characteristic

In this paper we classify hyperelliptic curves of genus 3 defined over a finite field k of even characteristic. We consider rational models representing all k-isomorphy classes of curves with a given arithmetic structure for the ramification divisor and we find necessary and sufficient conditions for two models of the same type to be k-isomorphic. Also, we compute the automorphism group of each curve and an explicit formula for the total number of curves.