A Model for Spacetime: The Role of Interpretation in Some Grothendieck Topoi

We analyse the proposition that the spacetime structure is modified at short distances or at high energies due to weakening of classical logic. The logic assigned to the regions of spacetime is intuitionistic logic of some topoi. Several cases of special topoi are considered. The quantum mechanical effects can be generated by such semi-classical spacetimes. The issues of: background independence and general relativity covariance, field theoretic renormalization of divergent expressions, the existence and definition of path integral measures, are briefly discussed in the proposal. The connection with some problems in foundations of mathematics and differential topology are also discussed.     

Order Embeddings with Irrational Codomain: Debreu Properties of Real Subsets

The objective of this paper is to investigate the role of the set of irrational numbers as the codomain of order-preserving functions defined on topological totally preordered sets. We will show that although the set of irrational numbers does not satisfy the Debreu property it is still nonetheless true that any lower (respectively, upper) semicontinuous total preorder representable by a real-valued strictly isotone function (semicontinuous or not) also admits a representation by means of a lower (respectively, upper) semicontinuous strictly isotone function that takes values in the set of irrational numbers. These results are obtained by means of a direct construction. Moreover, they can be related to Cantor’s characterization of the real line to obtain much more general results on the semicontinuous Debreu properties of a wide family of subsets of the real line.      

The Polyakov path integral over bordered surfaces

Following the general scheme of the convariant path integral quantization of gauge systems, two alternative formulations of the first quantized closed bosonic string in a position representation are presented. In both approaches the covariant path integral representations of the propagator and of the higher order off-shell amplitudes are constructed. For a wide class of gauges the explicit formulae for off-shell amplitudes are obtained. This paper is the continuation of our previous work where the corresponding problems in the open string case were considered [20].     

On bulk-service MAP/PH L,N /1/N G-Queues with repeated attempts

We consider a retrial queue with a finite buffer of size N, with arrivals of ordinary units and of negative units (which cancel one ordinary unit), both assumed to be Markovian arrival processes. The service requirements are of phase type. In addition, a PH^L,N bulk service discipline is assumed. This means that the units are served in groups of size at least L, where 1≤ L≤ N. If at the completion of a service fewer than L units are present at the buffer, the server switches off and waits until the buffer length reaches the threshold L. Then it switches on and initiates service for such a group of units. On the contrary, if at the completion of a service L or more units are present at the buffer, all units enter service as a group. Units arriving when the buffer is full are not lost, but they join a group of unsatisfied units called “orbit”. Our interest is in the continuous-time Markov chain describing the state of the queue at arbitrary times, which constitutes a level dependent quasi-birth-and-death process. We start by analyzing a simplified version of our queueing model, which is amenable to numerical calculation and is based on spatially homogeneous quasi-birth-and-death processes. This leads to modified matrix-geometric formulas that reveal the basic qualitative properties of our algorithmic approach for computing performance measures. AMS Subject Classification: Primary 60K25 Secondary 68M20 90B22.     

Velocity Quantization Approach of the One-Dimensional Dissipative Harmonic Oscillator

Given a constant of motion for the one-dimensional harmonic oscillator with linear dissipation in the velocity, the problem to get the Hamiltonian for this system is pointed out, and the quantization up to second order in the perturbation approach is used to determine the modification on the eigenvalues when dissipation is taken into consideration. This quantization is realized using the constant of motion instead of the Hamiltonian. PACS: 03.20.+i, 03.30.+p, 03.65.−w,03.65.Ca     

More compact invariant manifolds appearing in the non-linear coupling of oscillators

Near partially elliptic rest points of generic families of vector fields or transformations, many types of normally hyperbolic invariant compact manifolds can appear, diffeomorphic to intersections of quadrics. To cite this article: M. Chaperon et al., C. R. Acad. Sci. Paris, Ser. I 342 (2006).     

A high-current electron beam ion trap as an on-line charge breeder for the high precision mass measurement TITAN experiment

The precision of atomic mass measurements in a Penning trap is directly proportional to the charge state q of the ion and, hence, can be increased by using highly charged ions (HCI). For this reason, charge breeding with an electron beam ion trap (EBIT) is employed at TRIUMF’s Ion Trap for Atomic and Nuclear science (TITAN) on-line facility in Vancouver, Canada. By bombarding the injected and trapped singly charged ions with an intense beam of electrons, the charge state of the ions is rapidly increased inside the EBIT. To be compatible with the on-line requirements of short-lived isotopes, very high electron beam current densities are needed. The TITAN EBIT includes a 6 Tesla superconducting magnet and is designed to have electron beam currents and energies of up to 5 A and 60 keV, respectively. Once operational at full capacity, most species can be bred into a He-like configuration within tens of ms. Subsequently, the HCI are extracted, pass a Wien filter to reduce isobaric contamination, are cooled, and injected into a precision Penning trap for mass measurement. We will present the first results and current status of the TITAN EBIT, which has recently been moved to TRIUMF after assembly and commissioning at the Max-Planck-Institute (MPI) for Nuclear Physics in Heidelberg, Germany.     

A Characterization of Cosmological Time Functions

A characterization of time functions on a spacetime is made by using theMöbius equation. It is shown that a time function characterized in this wayyields past timelike geodesic incompleteness and local Lorentzian warpedproduct decomposition of spacetime, provided that the stress-energy tensoris a fluid. Also, by imposing additional assumptions on the stress-energytensor and global analytic structure of the spacetime, more restrictivedecompositions closer to Robertson–Walker spacetimes are obtained.     

Characterization of high-order harmonic radiation on femtosecond and attosecond time scales

We characterize the temporal structure of high-order harmonic radiation on both the femtosecond and attosecond time scales. The harmonic emission is characterized by mixed-color two-photon ionization with an infrared femtosecond laser using a Mach–Zehnder interferometer where both pump and probe arms travel completely separate paths. In a first experiment, we measure the duration and chirp of individual harmonics. In a second experiment, we resolve, for the first time with this type of setup, the attosecond beating of several harmonics generated under conditions similar to the first experiment. We suggest that the results of both measurements can be combined to determine the full attosecond time structure of the harmonic emission. PACS 32.80.Rm; 42.65.Ky