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.     

Alternative syntheses of the D2d symmetric 1,3,5,7-tetraiodotricyclo[3.3.0.0]octane

Three alternative syntheses of 1,3,5,7-tetraiodotricyclo[3.3.0.0^3,7]octane are described. Reaction of this tetraiodide with sodium amalgam in the presence of dienes or with molten sodium in boiling 1,4-dioxane in the absence of trapping agents led to very complex mixtures of products, presumably due to competitive 1,2- and 1,3-deiodination reactions.     

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     

Secret Sharing Schemes with Detection of Cheaters for a General Access Structure

In a secret sharing scheme, some participants can lie about the value of their shares when reconstructing the secret in order to obtain some illicit benefit. We present in this paper two methods to modify any linear secret sharing scheme in order to obtain schemes that are unconditionally secure against that kind of attack. The schemes obtained by the first method are robust, that is, cheaters are detected with high probability even if they know the value of the secret. The second method provides secure schemes, in which cheaters that do not know the secret are detected with high probability. When applied to ideal linear secret sharing schemes, our methods provide robust and secure schemes whose relation between the probability of cheating and the information rate is almost optimal. Besides, those methods make it possible to construct robust and secure schemes for any access structure.     

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.