Photometric support for future astonomical research

The I.A.P.P.P. is described and how that organization can provide photometric support for future astronomical research projects such as the 1982-1984 eclipse of epsilon Aurigae discussed at this workshop. I.A.P.P.P., International Amateur-Professional Photoelectric Photometry, is an organization founded in Fairborn, Ohio by the authors in 1980. Its purpose is to encourage contact between amateur and professional astronomers interested in photoelectric photometry, for their mutual benefit and for the benefit of astronomical research. Aspects dealt with include instrumentation, electronics, computer hardware and software, observing techniques, data reduction, and observing programs. Starting with the June 1980 issue, I.A.P.P.P. has published the quarterly I.A.P.P.P. Communications. The Communications contain articles dealing with all the above aspects of photoelectric photometry, although it does not publish observational results as such. Photoelectric photometry obtained by amateurs is published in the same journals which publish photometry obtained by professionals

Verifying Temporal Regular Properties of Abstractions of Term Rewriting Systems

The tree automaton completion is an algorithm used for proving safety properties of systems that can be modeled by a term rewriting system. This representation and verification technique works well for proving properties of infinite systems like cryptographic protocols or more recently on Java Bytecode programs. This algorithm computes a tree automaton which represents a (regular) over approximation of the set of reachable terms by rewriting initial terms. This approach is limited by the lack of information about rewriting relation between terms. Actually, terms in relation by rewriting are in the same equivalence class: there are recognized by the same state in the tree automaton. Our objective is to produce an automaton embedding an abstraction of the rewriting relation sufficient to prove temporal properties of the term rewriting system. We propose to extend the algorithm to produce an automaton having more equivalence classes to distinguish a term or a subterm from its successors w.r.t. rewriting. While ground transitions are used to recognize equivalence classes of terms, epsilon-transitions represent the rewriting relation between terms. From the completed automaton, it is possible to automatically build a Kripke structure abstracting the rewriting sequence. States of the Kripke structure are states of the tree automaton and the transition relation is given by the set of epsilon-transitions. States of the Kripke structure are labelled by the set of terms recognized using ground transitions. On this Kripke structure, we define the Regular Linear Temporal Logic (R-LTL) for expressing properties. Such properties can then be checked using standard model checking algorithms. The only difference between LTL and R-LTL is that predicates are replaced by regular sets of acceptable terms

Schur elements for the Ariki-Koike algebra and applications

We study the Schur elements associated to the simple modules of the Ariki-Koike algebra. We first give a cancellation-free formula for them so that their factors can be easily read and programmed. We then study direct applications of this result. We also complete the determination of the canonical basic sets for cyclotomic Hecke algebras of type $G(l,p,n)$ in characteristic 0.Comment: The paper contains the results of arXiv:1101.146

Casimir energy and geometry : beyond the Proximity Force Approximation

We review the relation between Casimir effect and geometry, emphasizing deviations from the commonly used Proximity Force Approximation (PFA). We use to this aim the scattering formalism which is nowadays the best tool available for accurate and reliable theory-experiment comparisons. We first recall the main lines of this formalism when the mirrors can be considered to obey specular reflection. We then discuss the more general case where non planar mirrors give rise to non-specular reflection with wavevectors and field polarisations mixed. The general formalism has already been fruitfully used for evaluating the effect of roughness on the Casimir force as well as the lateral Casimir force or Casimir torque appearing between corrugated surfaces. In this short review, we focus our attention on the case of the lateral force which should make possible in the future an experimental demonstration of the nontrivial (i.e. beyond PFA) interplay of geometry and Casimir effect.Comment: corrected typos, added references, QFEXT'07 special issue in J. Phys.

Propriétés spectroscopiques de U4+ dans ThBr4

L'indexation de raies à zéro phonon du spectre d'absorption de ThBr4 : U4+ est discutée, compte tenu du spectre de vibration de la matrice et des spectres d'émission de ces monocristaux excites par laser

The Scattering Approach to the Casimir Force

We present the scattering approach which is nowadays the best tool for describing the Casimir force in realistic experimental configurations. After reminders on the simple geometries of 1d space and specular scatterers in 3d space, we discuss the case of stationary arbitrarily shaped mirrors in electromagnetic vacuum. We then review specific calculations based on the scattering approach, dealing for example with the forces or torques between nanostructured surfaces and with the force between a plane and a sphere. In these various cases, we account for the material dependence of the forces, and show that the geometry dependence goes beyond the trivial {\it Proximity Force Approximation} often used for discussing experiments.Comment: Proceedings of the QFEXT'09 conference (Oklahoma, 2009

Lateral projection as a possible explanation of the nontrivial boundary dependence of the Casimir force

We find the lateral projection of the Casimir force for a configuration of a sphere above a corrugated plate. This force tends to change the sphere position in the direction of a nearest corrugation maximum. The probability distribution describing different positions of a sphere above a corrugated plate is suggested which is fitted well with experimental data demonstrating the nontrivial boundary dependence of the Casimir force.Comment: 5 pages, 1 figur

Coupled surface polaritons and the Casimir force

The Casimir force between metallic plates made of realistic materials is evaluated for distances in the nanometer range. A spectrum over real frequencies is introduced and shows narrow peaks due to surface resonances (plasmon polaritons or phonon polaritons) that are coupled across the vacuum gap. We demonstrate that the Casimir force originates from the attraction (repulsion) due to the corresponding symmetric (antisymmetric) eigenmodes, respectively. This picture is used to derive a simple analytical estimate of the Casimir force at short distances. We recover the result known for Drude metals without absorption and compute the correction for weakly absorbing materials.Comment: revised version submitted to Phys. Rev. A, 06 November 200