Powerful digraphs

We introduce the concept of a powerful digraph and establish that a powerful digraph structure is included into the saturated structure of each nonprincipal powerful type p possessing the global pairwise intersection property and the similarity property for the theories of graph structures of type p and some of its first-order definable restrictions (all powerful types in the available theories with finitely many (> 1) pairwise nonisomorphic countable models have this property). We describe the structures of the transitive closures of the saturated powerful digraphs that occur in the models of theories with nonprincipal powerful 1-types provided that the number of nonprincipal 1-types is finite. We prove that a powerful digraph structure, considered in a model of a simple theory, induces an infinite weight, which implies that the powerful digraphs do not occur in the structures of the available classes of the simple theories (like the supersimple or finitely based theories) that do not contain theories with finitely many (> 1) countable models.     

Finite character of finitely stable domains

A commutative domain is finitely stable if every nonzero finitely generated ideal is stable, i.e. invertible over its endomorphism ring. A domain satisfies the local stability property provided that every locally stable ideal is stable.We prove that a finitely stable domain satisfies the local stability property if and only if it has finite character, that is every nonzero ideal is contained in at most finitely many maximal ideals. This result allows us to answer the open problem of whether every Clifford regular domain is of finite character.     

Analytic smoothing of geometric maps with applications to KAM theory

We show that finitely differentiable diffeomorphisms which are either symplectic, volume-preserving, or contact can be approximated with analytic diffeomorphisms that are, respectively, symplectic, volume-preserving or contact. We prove that the approximating functions are uniformly bounded on some complex domains and that the rate of convergence, in Cr-norms, of the approximation can be estimated in terms of the size of such complex domains and the order of differentiability of the approximated function. As an application to this result, we give a proof of the existence, the local uniqueness and the bootstrap of regularity of KAM tori for finitely differentiable symplectic maps. The symplectic maps considered here are not assumed either to be written in action-angle variables or to be perturbations of integrable systems. Our main assumption is the existence of a finitely differentiable parameterization of a maximal dimensional torus that satisfies a non-degeneracy condition and that is approximately invariant. The symplectic, volume-preserving and contact forms are assumed to be analytic.     

Virtually Nilpotent Groups with (almost) All Localizations Trivial

A group G is generically trivial if and only if, for all prime numbers p the localization of G with respect to p is trivial. Taking off from a theorem of Casacuberta and Castellet , we prove that a virtually nilpotent group E is generically trivial if and only if E is perfect. Inspired by this result, we introduce the concept of almost generically trivial groups. Those are groups G such that, for only finitely many primes p the localization of G with respect to p is not trivial. We prove that a virtually nilpotent group E with finitely generated abelianization is almost generically trivial if and only if the abelianization of E is finite.     

On ω-categorical,generically stable groups and rings

We prove that every ω-categorical, generically stable group is nilpotent-by-finite and that every ω-categorical, generically stable ring is nilpotent-by-finite.     

Construction of pure states in mean field models for spin glasses

If a mean field model for spin glasses is generic in the sense that it satisfies the extended Ghirlanda–Guerra identities, and if the law of the overlaps has a point mass at the largest point q* of its support, we prove that one can decompose the configuration space into a sequence of sets (A _k ) such that, generically, the overlap of two configurations is equal to q* if and only if they belong to the same set A _k . For the study of the overlaps each set A _k can be replaced by a single point. Combining this with a recent result of Panchenko (A connection between Ghirlanda–Guerra identities and ultrametricity. Ann Probab (2008, to appear)) this proves that if the overlaps take only finitely many values, ultrametricity occurs. We give an elementary, self-contained proof of this result based on simple inequalities and an averaging argument.     

Statistical properties of subgroups of free groups

The usual way to investigate the statistical properties of finitely generated subgroups of free groups, and of finite presentations of groups, is based on the so‐called word‐based distribution: subgroups are generated (finite presentations are determined) by randomly chosen k ‐tuples of reduced words, whose maximal length is allowed to tend to infinity. In this paper we adopt a different, though equally natural point of view: we investigate the statistical properties of the same objects, but with respect to the so‐called graph‐based distribution, recently introduced by Bassino, Nicaud and Weil. Here, subgroups (and finite presentations) are determined by randomly chosen Stallings graphs whose number of vertices tends to infinity. Our results show that these two distributions behave quite differently from each other, shedding a new light on which properties of finitely generated subgroups can be considered frequent or rare. For example, we show that malnormal subgroups of a free group are negligible in the graph‐based distribution, while they are exponentially generic in the word‐based distribution. Quite surprisingly, a random finite presentation generically presents the trivial group in this new distribution, while in the classical one it is known to generically present an infinite hyperbolic group. © 2012 Wiley Periodicals, Inc. Random Struct. Alg., 2013     

Non-Commutative Fejér Theorems

In this paper we prove that there are operators in the uniform Roe algebra ${C_u^*(G)}$ which cannot be approximated by the truncations of themselves, where G is a finitely generated group. We also give a sufficient condition for the operators which can be approximated by the truncations of themselves. For a countable discrete metric space X, we obtain the similar conclusions.     

Existence of Non-degenerate Continua of Singular Radial Solutions for Several Classes of Semilinear Elliptic Problems

We establish the existence of countably many branches of uncountably many solutions to elliptic boundary value problems with subcritical, and subsuper critical growth. We also prove the existence of two branches of uncountably many solutions to a problem with jumping nonlinearities. This case is remarkable since, generically, this problem has only finitely many regular solutions.     

Lawvere theories enriched over a general base

We generalise the correspondence between Lawvere theories and finitary monads on in two ways. First, we allow our theories to be enriched in a category V that is locally finitely presentable as a symmetric monoidal closed category: symmetry is convenient but not necessary. And second, we allow the arities of our theories to be finitely presentable objects of a locally finitely presentable V-category A. We call the resulting notion that of a Lawvere A-theory. We extend the correspondence for ordinary Lawvere theories to one between Lawvere A-theories and finitary V-monads on A. We illustrate this with examples leading up to that of the Lawvere -theory for cartesian closed categories, i.e., the -enriched theory on the category for which the models are all small cartesian closed categories. We also briefly investigate change-of-base.     

The dynamics ofn weakly coupled identical oscillators

Summary We present a framework for analysing arbitrary networks of identical dissipative oscillators assuming weak coupling. Using the symmetry of the network, we find dynamically invariant regions in the phase space existing purely by virtue of their spatio-temporal symmetry (the temporal symmetry corresponds to phase shifts). We focus on arrays which are symmetric under all permutations of the oscillators (this arises with global coupling) and also on rings of oscillators with both directed and bidirectional coupling. For these examples, we classify all spatio-temporal symmetries, including limit cycle solutions such as in-phase oscillation and those involving phase shifts. We also show the existence of “submaximal” limit cycle solutions under generic conditions. The canonical invariant region of the phase space is defined and used to investigate the dynamics. We discuss how the limit cycles lose and gain stability, and how symmetry can give rise to structurally stable heteroclinic cycles, a phenomenon not generically found in systems without symmetry. We also investigate how certain types of coupling (including linear coupling between oscillators with symmetric waveforms) can give rise to degenerate behaviour, where the oscillators decouple into smaller groups.     

Coupling leads to chaos

The main goal of this paper is to prove analytically the existence of strange attractors in a family of vector fields consisting of two Brusselators linearly coupled by diffusion. We will show that such a family contains a generic unfolding of a 4-dimensional nilpotent singularity of codimension 4. On the other hand, we will prove that in any generic unfolding Xμ of an n-dimensional nilpotent singularity of codimension n there are bifurcation curves of (n−1)-dimensional nilpotent singularities of codimension n−1 which are in turn generically unfolded by Xμ. Arguments conclude recalling that any generic unfolding of the 3-dimensional nilpotent singularity of codimension 3 exhibits strange attractors.     

Spectrum is periodic for n-intervals

In this paper we study spectral sets which are unions of finitely many intervals in R. We show that any spectrum associated with such a spectral set Ω is periodic, with the period an integral multiple of the measure of Ω. As a consequence we get a structure theorem for such spectral sets and observe that the generic case is that of the equal interval case.     

Stability of quantization dimension and quantization for homogeneous Cantor measures

We effect a stabilization formalism for dimensions of measures and discuss the stability of upper and lower quantization dimension. For instance, we show for a Borel probability measure with compact support that its stabilized upper quantization dimension coincides with its packing dimension and that the upper quantization dimension is finitely stable but not countably stable. Also, under suitable conditions explicit dimension formulae for the quantization dimension of homogeneous Cantor measures are provided. This allows us to construct examples showing that the lower quantization dimension is not even finitely stable. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Friedman-reflexivity

In the present paper, we explore an idea of Harvey Friedman to obtain a coordinate-free presentation of consistency. For some range of theories, Friedman's idea delivers actual consistency statements (modulo provable equivalence). For a wider range, it delivers consistency-like statements.We say that a sentence C is an interpreter of a finitely axiomatised A over U iff it is the weakest statement C over U, with respect to U-provability, such that $U+C$ interprets A. A theory U is Friedman-reflexive iff every finitely axiomatised A has an interpreter over U. Friedman shows that Peano Arithmetic, PA, is Friedman-reflexive.We study the question which theories are Friedman-reflexive. We show that a very weak theory, Peano Corto, is Friedman-reflexive. We do not get the usual consistency statements here, but bounded, cut-free, or Herbrand consistency statements. We illustrate that Peano Corto as a base theory has additional desirable properties.We prove a characterisation theorem for the Friedman-reflexivity of sequential theories. We provide an example of a Friedman-reflexive sequential theory that substantially differs from the paradigm cases of Peano Arithmetic and Peano Corto.Interpreters over a Friedman-reflexive U can be used to define a provability-like notion for any finitely axiomatised A that interprets U. We explore what modal logics this idea gives rise to. We call such logics interpreter logics. We show that, generally, these logics satisfy the Löb Conditions, aka K4. We provide conditions for when interpreter logics extend S4, K45, and Löb's Logic. We show that, if either U or A is sequential, then the condition for extending Löb's Logic is fulfilled. Moreover, if our base theory U is sequential and if, in addition, its interpreters can be effectively found, we prove Solovay's Theorem. This holds even if the provability-like operator is not necessarily representable by a predicate of Gödel numbers.At the end of the paper, we briefly discuss how successful the coordinate-free approach is.     

Local analysis near a folded saddle-node singularity

Folded saddle-nodes occur generically in one parameter families of singularly perturbed systems with two slow variables. We show that these folded singularities are the organizing centers for two main delay phenomena in singular perturbation problems: canards and delayed Hopf bifurcations. We combine techniques from geometric singular perturbation theory—the blow-up technique—and from delayed Hopf bifurcation theory—complex time path analysis—to analyze the flow near such folded saddle-nodes. In particular, we show the existence of canards as intersections of stable and unstable slow manifolds. To derive these canard results, we extend the singularly perturbed vector field into the complex domain and study it along elliptic paths. This enables us to extend the invariant slow manifolds beyond points where normal hyperbolicity is lost. Furthermore, we define a way-in/way-out function describing the maximal delay expected for generic solutions passing through a folded saddle-node singularity. Branch points associated with the change from a complex to a real eigenvalue structure in the variational equation along the critical (slow) manifold make our analysis significantly different from the classical delayed Hopf bifurcation analysis where these eigenvalues are complex only.     

Multi-valued solutions and branch point singularities for nonlinear hyperbolic or elliptic systems

Multi-valued solutions are constructed for 2 × 2 first-order systems using a generalization of the hodograph transformation. The solution is found as a complex analytic function on a complex Riemann surface for which the branch points move as part of the solution. The branch point singularities are envelopes for the characteristics and thus move at the characteristic speeds. We perform an analysis of stability of these singularities with respect to perturbations of the initial data. The generic singularity types are folds, cusps, and nondegenerate umbilic points with non-zero 3-jet. An isolated singularity is generically a square root branch point corresponding to a fold. Two types of collisions between singularities are generic: At a “tangential” collision between two singularities moving at the same characteristic speed, a cube root branch point is formed, corresponding to a cusp. A “non-tangential” collision, between two square root branch points moving at different characteristic speeds, remains a square root branch point at the collision and corresponds to a nondegenerate umbilic point. These results are also valid for a diagonalizable n-th order system for which there are exactly two speeds. © 1993 John Wiley & Sons, Inc.     

Heights for line bundles on arithmetic varieties

Let X be an arithmetic variety and L be an element of the Néron-Severi group of its generic fiber X _K . Then there are only finitely many line bundles on X, generically belonging to L, such that the degrees of on the irreducible components of the special fibers of X and the height of are bounded. The concept of a height used here is recalled. Several elementary properties of this height are proven. Received: 9 March 1996     

The Generic Stability and Existence of Essentially Connected Components of Solutions for Nonlinear Complementarity Problems

The aim of this paper is to develop the general generic stability theory for nonlinear complementarity problems in the setting of infinite dimensional Banach spaces. We first show that each nonlinear complementarity problem can be approximated arbitrarily by a nonlinear complementarity problem which is stable in the sense that the small change of the objective function results in the small change of its solution set; and thus we say that almost all complementarity problems are stable from viewpoint of Baire category. Secondly, we show that each nonlinear complementarity problem has, at least, one connected component of its solutions which is stable, though in general its solution set may not have good behaviour (i.e., not stable). Our results show that if a complementarity problem has only one connected solution set, it is then always stable without the assumption that the functions are either Lipschitz or differentiable.     

Generic super-exponential stability of elliptic equilibrium positions for symplectic vector fields

In this article, we consider linearly stable elliptic fixed points (equilibrium) for a symplectic vector field and prove generic results of super-exponential stability for nearby solutions. We will focus on the neighborhood of elliptic fixed points but the case of linearly stable isotropic reducible invariant tori in a Hamiltonian system should be similar. More specifically, Morbidelli and Giorgilli have proved a result of stability over superexponentially long times if one considers an analytic Lagrangian torus, invariant for an analytic Hamiltonian system, with a diophantine translation vector which admits a sign-definite torsion. Then, the solutions of the system move very little over times which are super-exponentially long with respect to the inverse of the distance to the invariant torus. The proof proceeds in two steps: first one constructs a high-order Birkhoff normal form, then one applies the Nekhoroshev theory. Bounemoura has shown that the second step of this construction remains valid if the Birkhoff normal form linked to the invariant torus or the elliptic fixed point belongs to a generic set among the formal series. This is not sufficient to prove this kind of super-exponential stability results in a general setting. We should also establish that the most strongly non resonant elliptic fixed point or invariant torus in a Hamiltonian system admits Birkhoff normal forms fitted for the application of the Nekhoroshev theory. Actually, the set introduced by Bounemoura is already very large but not big enough to ensure that a typical Birkhoff normal form falls into this class. We show here that this property is satisfied generically in the sense of the measure (prevalence) through infinite-dimensional probe spaces (that is, an infinite number of parameters chosen at random) with methods similar to those developed in a paper of Gorodetski, Kaloshin and Hunt in another setting.