Related papers: Iterations of V and the core model

We consider a many-fermion model which exhibits a transition from a superconducting to a rotational phase with variation of a parameter in its Hamiltonian. The model has analytical solutions in its two limits due to the presence of…

Cycle-accurate software simulation of multicores with complex microarchitectures is often excruciatingly slow. People use simplified core models to gain simulation speed. However, a persistent question is to what extent the results derived…

Let S be a subring of the ring R. We investigate the question of whether S intersected by U(R) is equal to U(S) holds for the units. In many situations our answer is positive. There is a special emphasis on the case when R is a full matrix…

Let $M$ be a prime $\Gamma$-ring satisfying a certain assumption and $D$ a nonzero derivation on $M$. Let $f:M\rightarrow M$ be a generalized derivation such that $f$ is centralizing and commuting on a left ideal $J$ of $M$. Then we prove…

A graph or hypergraph is said to be vertex-transitive if its automorphism group acts transitively upon its vertices. A classic theorem of Mader asserts that every connected vertex-transitive graph is maximally edge-connected. We generalise…

The aim of this paper is to present an effective field theory description of the conversion transition of the vector meson V into the pseudoscalar P and the lepton-pair l+l-. The normalized form factor for omega to pi^0 gamma^ast transition…

We present a substantial generalisation of a classical result by Lie on integrability by quadratures. Namely, we prove that all vector fields in a finite-dimensional transitive and solvable Lie algebra of vector fields on a manifold can be…

We investigate systems of transitive models of ZFC which are elementarily embeddable into each other and the influence of definability properties on such systems.

Suppose that $M$ is a $2$-dimensional oriented Riemannian manifold, and let $\gamma$ be a simple closed curve on $M$. Let $m \gamma$ denote the curve formed by tracing $\gamma$ $m$ times. We prove that if $m \gamma$ is contractible through…

We associate a group $IMG(f)$ to every covering $f$ of a topological space $M$ by its open subset. It is the quotient of the fundamental group $\pi_1(M)$ by the intersection of the kernels of its monodromy action for the iterates $f^n$.…

We continue the work done by Gitik, Kanovei, Koepke, and later by the authors. We prove that for every set $A$ in a Magidor-Radin generic extension using a coherent sequence such that $o^{\vec{U}}(\kappa)<\kappa$, there is a subset $C'$ of…

We consider the Earth-Moon planar circular restricted three body problem and present a proof of the existence orbits, which approach arbitrarily close to one of the primary masses, and at the same time after each approach they move away…

A vector-circulant matrix is a natural generalization of the classical circulant matrix and has applications in constructing additive codes. This article formulates the concept of a vector-circulant matrix over finite fields and gives an…

We study the computability-theoretic complexity and proof-theoretic strength of the following statements: (1) "If X is a well-ordering, then so is epsilon_X", and (2) "If X is a well-ordering, then so is phi(alpha,X)", where alpha is a…

Linear-constraint loops are programs whose transition relation is specified by a system of linear inequalities. The termination problem asks, given a loop, whether it admits an infinite computation. Decidability of termination remains open…

We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…

Conceptual climate models provide an approach to understanding climate processes through a mathematical analysis of an approximation to reality. Recently, these models have also provided interesting examples of nonsmooth dynamical systems.…

Let X be a coherent configuration associated with a transitive group G. In terms of the intersection numbers of X, a necessary condition for the point stabilizer of G to be a TI-subgroup, is established. Furthermore, under this condition, X…

Let A be a self-injective algebra over an algebraically closed field k. We show that if an A-module M of complexity one has an open orbit in the variety of d-dimensional A-modules, then M is periodic. As a corollary we see that any simple…

The purpose of this paper is to survey the structure of closed and transitive transformation groups acting on a closed surface. In particular, we prove a number of relations between groups acting on the sphere that contain the rotation…