Steady state speed distribution analysis for a combined cellular automaton traffic model

Cellular Automaton （CA） based traffic flow models have been extensively studied due to their effectiveness and simplicity in recent years. This paper develops a discrete time Markov chain （DTMC） analytical framework for a Nagel-Schreckenberg and Fukui Ishibashi combined CA model （W^2H traffic flow model） from microscopic point of view to capture the macroscopic steady state speed distributions. The inter-vehicle spacing Maxkov chain and the steady state speed Markov chain are proved to be irreducible and ergodic. The theoretical speed probability distributions depending on the traffic density and stochastic delay probability are in good accordance with numerical simulations. The derived fundamental diagram of the average speed from theoretical speed distributions is equivalent to the results in the previous work.     

Exchange Relation Planar Algebras

An inclusion of II ₁ factors NM of finite index has as an invariant, a double sequence of finite-dimensional algebras known as the standard invariant. Planar algebras were introduced by V. Jones as a geometric tool for computing standard invariants of existing subfactors as well as generating standard invariants for new subfactors. In this paper we define a class of planar algebras, termed exchange relation planar algebras, that provides a general framework for understanding several classes of known subfactor inclusions: the Fuss–Catalan algebras (i.e. those coming from the presence of intermediate subfactors) and all depth 2 subfactors. In addition, we present a new class of planar algebras (and thus a new class of subfactors) coming from automorphism subgroups of finite groups.     

Intertwining operator superalgebras and vertex tensor categories for superconformal algebras, II

We construct the intertwining operator superalgebras and vertex tensor categories for the superconformal unitary minimal models and other related models.

     

Bosonic Formulas for \widehat{\mathfrak{s}\mathfrak{l}} 2 Coinvariants

We derive bosonic-type formulas for the characters of ₂ coinvariants.     

The Two-Step Nilpotent Representations of the Extended Affine Hecke Algebra of Type A

We define a set of cell modules for the extended affine Hecke algebra of type A which are parametrised by SL_n()-conjugacy classes of pairs (s, N), where s SL_n() is semisimple and N is a nilpotent element of the Lie algebra which has at most two Jordan blocks and satisfies Ad(s)·N=q ² N. When q ²–1, each of these has irreducible head, and the irreducible representations of the affine Hecke algebra so obtained are precisely those which factor through its Temperley–Lieb quotient. When q ²=–1, the above remarks apply to a subset of the cell modules. Using our work on the cellular nature of those quotients, we are able to obtain complete information on the decomposition of the cell modules in all cases, even when q is a root of unity. They turn out to be multiplicity free, and the composition factors may be precisely described in terms of a partial order on the pairs (s, N). These results give explicit formulae for the dimensions of the irreducibles. Assuming our modules are identified with the standard modules earlier defined by Bernstein–Zelevinski, Kazhdan–Lusztig and others, our results may be interpreted as the determination of certain Kazhdan–Lusztig polynomials. [This has now been proved and will appear in a subsequent work of the authors.]The second author thanks the Australian Research Council and the Alexander von Humboldt Stiftung for support and the Universität Bielefeld for hospitality during the preparation of this work.     

Sur l'' application de réciprocité pour une surface fibrée en coniques définie sur un corps local

For a proper smooth variety X defined over a local field k, unramified class field theory investigates the reciprocity map _X: SK₁(X) ^ab ₁(X) as introduced by S. Saito. We study this map in the case when X is a surface admitting a proper surjection onto a smooth geometrically connected curve C with a smooth conic as generic fibre. Without any assumption on the reduction of C, we prove that _X is injective modulo n for all n invertible in k and its cokernel is the same as that of _C.     

Topological density of ccc Boolean algebras--Every cardinality occurs

For every uncountable cardinal there is a ccc Boolean algebra whose topological density is .

     

Discrete threshold growth dynamics are omnivorous for box neighborhoods

In the discrete threshold model for crystal growth in the plane we begin with some set of seed crystals and observe crystal growth over time by generating a sequence of subsets of by a deterministic rule. This rule is as follows: a site crystallizes when a threshold number of crystallized points appear in the site's prescribed neighborhood. The growth dynamics generated by this model are said to be omnivorous if finite and imply . In this paper we prove that the dynamics are omnivorous when the neighborhood is a box (i.e. when, for some fixed , the neighborhood of is . This result has important implications in the study of the first passage time when is chosen randomly with a sparse Bernoulli density and in the study of the limiting shape to which converges.

     

Homotopy Structures for Algebras over a Monad

Let T be a monad over a category A. Then a homotopy structure for A, defined by a cocylinder P : A A, or path-endofunctor, can be lifted to the category A ^T of Eilenberg–Moore algebras over T, provided that P is consistent with T in a natural sense, i.e. equipped with a natural transformation : T P P T satisfying some obvious axioms. In this way, homotopy can be lifted from well-known, basic situations to various categories of algebras for instance, from topological spaces to topological semigroups, or spaces over a fixed space (fibrewise homotopy), or actions of a fixed topological group (equivariant homotopy); from categories to strict monoidal categories; from chain complexes to associative chain algebras. The interest is given by the possibility of lifting the homotopy operations (as faces, degeneracy, connections, reversion, interchange, vertical composition, etc.) and their axioms from A to A ^T , just by verifying the consistency between these operations and : T P P T. When this holds, the structure we obtain on our category of algebras is sufficiently powerful to ensure the main general properties of homotopy.