Search results for "Mathematica"
showing 10 items of 7971 documents
Partially hyperbolic diffeomorphisms on Heisenberg nilmanifolds and holonomy maps
2014
Abstract In this note we show that all partially hyperbolic automorphisms on a 3-dimensional non-Abelian nilmanifold can be C 1 -approximated by structurally stable C ∞ -diffeomorphisms, whose chain recurrent set consists of one attractor and one repeller. In particular, all these partially hyperbolic automorphisms are not robustly transitive. As a corollary, the holonomy maps of the stable and unstable foliations of the approximating diffeomorphisms are twisted quasiperiodically forced circle homeomorphisms, which are transitive but non-minimal and satisfy certain fiberwise regularity properties.
A generalized transitive closure for relational queries
1988
We augment relational algebra with a generalized transitive closure operator that allows for the efficient evaluation of a subclass of recursive queries. The operator is based on a composition operator which is as general as possible when the operator is required to be associative and when only relational algebra operators are used in its definition. The closure of such a composition can be computed using the well-known efficient algorithms designed for the computation of the usual transitive closure. Besides the case in which complete materialization of recursive relations are required, our strategy also yields an efficient solution in the case in which a selection is applied to the closur…
Rate of growth of frequently hypercyclic functions
2010
AbstractWe study the rate of growth of entire functions that are frequently hypercyclic for the differentiation operator or the translation operator. Moreover, we prove the existence of frequently hypercyclic harmonic functions for the translation operator and we study the rate of growth of harmonic functions that are frequently hypercyclic for partial differentiation operators.
Towards efficient inductive synthesis: Rapid construction of local regularities
2006
Given several input/output examples of some function we can state the problem: what is the “simplest” function which complies with these examples. This problem is well studied and is known to be very hard in the general case. In this paper we address a special case of the problem, when the target function can be expressed as a simple composition of known functions. We propose a new inductive synthesis algorithm for this case and show that it is efficient enough to synthesize complex geometry formulas.
Air Traffic, Boarding and Scaling Exponents
2014
The air traffic is a very important part of the global transportation network. In distinction from vehicular traffic, the boarding of an airplane is a significant part of the whole transportation process. Here we study an airplane boarding model, introduced in 2012 by Frette and Hemmer, with the aim to determine precisely the asymptotic power–law scaling behavior of the mean boarding time 〈t b 〉 and other related quantities for large number of passengers N. Our analysis is based on an exact enumeration for small system sizes N ≤ 14 and Monte Carlo simulation data for very large system sizes up to \(N = 2^{16} = 65,536\). It shows that the asymptotic power–law scaling 〈t b 〉 ∝ N α holds with…
A new rotational integral formula for intrinsic volumes in space forms
2010
A new rotational version of Crofton's formula is derived for the intrinsic volumes of a domain Y in a space form. More precisely, a functional is defined on the intersection between Y and a totally geodesic submanifold (plane) through a fixed point, such that the rotational average of this functional is equal to the intrinsic volumes of Y. Particular cases of interest in stereology are considered for the Euclidean case. © 2009 Elsevier Inc. All rights reserved.
Transverse instability of periodic and generalized solitary waves for a fifth-order KP model
2017
We consider a fifth-order Kadomtsev-Petviashvili equation which arises as a two-dimensional model in the classical water-wave problem. This equation possesses a family of generalized line solitary waves which decay exponentially to periodic waves at infinity. We prove that these solitary waves are transversely spectrally unstable and that this instability is induced by the transverse instability of the periodic tails. We rely upon a detailed spectral analysis of some suitably chosen linear operators.
Invariants of transverse foliations
2012
Abstract We construct two invariants for a pair of transverse one-dimensional foliations on the plane. If the set of separatrices is Hausdorff in the space of leaves, the invariant is a distinguished graph. In case there are a finite number of separatrices the invariant is an indexed link.
The Stockholm–Mainz ion trap project
1993
A new ion trap facility is described which is dedicated to studies of highly charged ions in a Penning trap. Such a trap will be connected to sources of highly charged ions, in particular the electron beam ion source CRYSIS, at the Manne Siegbahn Institute for Physics. The use of highly charged ions in a Penning trap increases the cyclotron frequency with a factor proportional to the charge which leads to a higher resolution. Also, the possibility to vary the charge state makes it possible to search for and identify different systematic effects. Thus, a substantial increase in accuracy can be expected. In addition, the combination of high charge state ions and a Penning trap allows new appl…
Efficient GRASP+VND and GRASP+VNS metaheuristics for the traveling repairman problem
2011
Abstract: The traveling repairman problem is a customer-centric routing problem, in which the total waiting time of the customers is minimized, rather than the total travel time of a vehicle. To date, research on this problem has focused on exact algorithms and approximation methods. This paper presents the first metaheuristic approach for the traveling repairman problem.