On the equivalence of the Langevin and auxiliary field quantization methods for absorbing dielectrics

Recently two methods have been developed for the quantization of the electromagnetic field in general dispersing and absorbing linear dielectrics. The first is based upon the introduction of a quantum Langevin current in Maxwell's equations [T. Gruner and D.-G. Welsch, Phys. Rev. A 53, 1818 (1996); Ho Trung Dung, L. Kn\"{o}ll, and D.-G. Welsch, Phys. Rev. A 57, 3931 (1998); S. Scheel, L. Kn\"{o}ll, and D.-G. Welsch, Phys. Rev. A 58, 700 (1998)], whereas the second makes use of a set of auxiliary fields, followed by a canonical quantization procedure [A. Tip, Phys. Rev. A 57, 4818 (1998)]. We show that both approaches are equivalent.Comment: 7 pages, RevTeX, no figure

The essence of nationhood: how ordinary people make sense of nationality, and how essentialist beliefs create acculturative problems

Objectives: Two studies (one qualitative, one quantitative) introduce new conceptual and methodological angles on national identity. Design and Methods: The qualitative study used a focus group approach in order to examine how nationality operates as an individual as well as collective experience. British, German and French volunteers talked about their national identities in six nationally homogeneous groups (3-6 participants each) and in their native language. The quantitative study asked a British opportunity sample (N = 90) to complete an online questionnaire on the relationship between acculturation attitudes, national essentialism, and rejection of immigrants. Results: The qualitative study shows how conversations between ordinary nationals can serve as a valuable method for researchers to understand the everyday meanings and feelings involved in national identity. People individually made sense of their nationality and their affective relationship with it; but they did so with reference to shared experience of how it feels to belong to a particular nation. We argue that this allows insights into the individual and systemic levels of national identity and productively joins discursive notions with a phenomenological approach. Meanwhile, the quantitative study brings together ideas from the literature on acculturation, essentialism and prejudice in showing that essentialist beliefs relate to feelings of cultural adaptation among immigrants being at once highly desirable and extremely difficult. This discrepancy, in turn, was associated with rejection of immigrants. Conclusions: Our work adds new conceptual and methodological perspectives to a genuinely social-psychological analysis of complex national identities, to complement less empirically based, interdisciplinary accounts

Sawja: Static Analysis Workshop for Java

Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a realistic language such as Java. This paper describes the Sawja library: a static analysis framework fully compliant with Java 6 which provides OCaml modules for efficiently manipulating Java bytecode programs. We present the main features of the library, including (i) efficient functional data-structures for representing program with implicit sharing and lazy parsing, (ii) an intermediate stack-less representation, and (iii) fast computation and manipulation of complete programs

Structure elucidation of sildenafil analogues in herbal products.

The structure of unknown compounds present in herbal products was elucidated using liquid chromatography-electrospray ionization-mass spectrometry, direct-infusion electrospray ionization-mass spectrometry, and nuclear magnetic resonance. Compounds 1-3 were identified as sildenafil analogues, 1 bearing an N-ethylpiperazine moiety instead of an N-methylpiperazine, and an acetyl group instead of the sulfonyl group, named acetildenafil, 2 bearing an N-ethylpiperazine moiety instead of an N-methylpiperazine (homosildenafil), and 3 bearing an N-hydroxylethylpiperazine moiety instead of an N-methylpiperazine, named hydroxyhomosildenafil. When analysing products marketed for penile erectile dysfunction or marketed as aphrodisiacs, attention should be given to the possible presence of these components

Resonance-Induced Effects in Photonic Crystals

For the case of a simple face-centered-cubic photonic crystal of homogeneous dielectric spheres, we examine to what extent single-sphere Mie resonance frequencies are related to band gaps and whether the width of a gap can be enlarged due to nearby resonances. Contrary to some suggestions, no spectacular effects may be expected. When the dielectric constant of the spheres $\epsilon_s$ is greater than the dielectric constant $\epsilon_b$ of the background medium, then for any filling fraction $f$ there exists a critical $\epsilon_c$ above which the lowest lying Mie resonance frequency falls inside the lowest stop gap in the (111) crystal direction, close to its midgap frequency. If $\epsilon_s <\epsilon_b$, the correspondence between Mie resonances and both the (111) stop gap and a full gap does not follow such a regular pattern. If the Mie resonance frequency is close to a gap edge, one can observe a resonance-induced widening of a relative gap width by $\approx 5$.Comment: 14 pages, 3 figs., RevTex. For more info look at http://www.amolf.nl/external/wwwlab/atoms/theory/index.htm

Photonic Band Gaps of Three-Dimensional Face-Centered Cubic Lattices

We show that the photonic analogue of the Korringa-Kohn-Rostocker method is a viable alternative to the plane-wave method to analyze the spectrum of electromagnetic waves in a three-dimensional periodic dielectric lattice. Firstly, in the case of an fcc lattice of homogeneous dielectric spheres, we reproduce the main features of the spectrum obtained by the plane wave method, namely that for a sufficiently high dielectric contrast a full gap opens in the spectrum between the eights and ninth bands if the dielectric constant $\epsilon_s$ of spheres is lower than the dielectric constant $\epsilon_b$ of the background medium. If $\epsilon_s> \epsilon_b$, no gap is found in the spectrum. The maximal value of the relative band-gap width approaches 14% in the close-packed case and decreases monotonically as the filling fraction decreases. The lowest dielectric contrast $\epsilon_b/\epsilon_s$ for which a full gap opens in the spectrum is determined to be 8.13. Eventually, in the case of an fcc lattice of coated spheres, we demonstrate that a suitable coating can enhance gap widths by as much as 50%.Comment: 19 pages, 6 figs., plain latex - a section on coated spheres, two figures, and a few references adde

Electromagnetic-field quantization and spontaneous decay in left-handed media

We present a quantization scheme for the electromagnetic field interacting with atomic systems in the presence of dispersing and absorbing magnetodielectric media, including left-handed material having negative real part of the refractive index. The theory is applied to the spontaneous decay of a two-level atom at the center of a spherical free-space cavity surrounded by magnetodielectric matter of overlapping band-gap zones. Results for both big and small cavities are presented, and the problem of local-field corrections within the real-cavity model is addressed.Comment: 15 pages, 5 figures, RevTe

Validation of Memory Accesses Through Symbolic Analyses

International audienceThe C programming language does not prevent out-of- bounds memory accesses. There exist several techniques to secure C programs; however, these methods tend to slow down these programs substantially, because they populate the binary code with runtime checks. To deal with this prob- lem, we have designed and tested two static analyses - sym- bolic region and range analysis - which we combine to re- move the majority of these guards. In addition to the analy- ses themselves, we bring two other contributions. First, we describe live range splitting strategies that improve the effi- ciency and the precision of our analyses. Secondly, we show how to deal with integer overflows, a phenomenon that can compromise the correctness of static algorithms that validate memory accesses. We validate our claims by incorporating our findings into AddressSanitizer. We generate SPEC CINT 2006 code that is 17% faster and 9% more energy efficient than the code produced originally by this tool. Furthermore, our approach is 50% more effective than Pentagons, a state- of-the-art analysis to sanitize memory accesses

System dependence graphs in sequential Erlang

The system dependence graph (SDG) is a data structure used in the imperative paradigm for different static analysis, and particularly, for program slicing. Program slicing allows us to determine the part of a program (called slice) that influences a given variable of interest. Thanks to the SDG, we can produce precise slices for interprocedural programs. Unfortunately, the SDG cannot be used in the functional paradigm due to important features that are not considered in this formalism (e.g., pattern matching, higher-order, composite expressions, etc.). In this work we propose the first adaptation of the SDG to a functional language facing these problems. We take Erlang as the host language and we adapt the algorithms used to slice the SDG to produce precise slices of Erlang interprocedural programs. As a proof-of-concept, we have implemented a program slicer for Erlang based on our SDGs.This work has been partially supported by the Spanish Ministerio de Ciencia e Innovaci´on under grant TIN2008-06622-C03-02 and by the Generalitat Valenciana under grant PROMETEO/2011/052. Salvador Tamarit was partially supported by the Spanish MICINN under FPI grant BES-2009-015019Silva Galiana, JF.; Tamarit Muñoz, S.; Tomás Franco, C. (2012). System dependence graphs in sequential Erlang. En Fundamental Approaches to Software Engineering. Springer Verlag (Germany). 486-500. https://doi.org/10.1007/978-3-642-28872-2_33S486500Agrawal, H., Horgan, J.R.: Dynamic program slicing. In: Programming Language Design and Implementation (PLDI), pp. 246–256 (1990)Brown, C.: Tool Support for Refactoring Haskell Programs. PhD thesis, School of Computing, University of Kent, Canterbury, Kent, UK (2008)Cheda, D., Silva, J., Vidal, G.: Static slicing of rewrite systems. Electron. Notes Theor. Comput. Sci. 177, 123–136 (2007)Ferrante, J., Ottenstein, K.J., Warren, J.D.: The Program Dependence Graph and Its Use in Optimization. ACM Transactions on Programming Languages and Systems 9(3), 319–349 (1987)Field, J., Ramalingam, G., Tip, F.: Parametric program slicing. In: Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 1995, pp. 379–392. ACM, New York (1995)Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Transactions Programming Languages and Systems 12(1), 26–60 (1990)Korel, B., Laski, J.: Dynamic Program Slicing. Information Processing Letters 29(3), 155–163 (1988)Larsen, L., Harrold, M.J.: Slicing object-oriented software. In: Proceedings of the 18th International Conference on Software Engineering, ICSE 1996, pp. 495–505. IEEE Computer Society, Washington, DC (1996)Liang, D., Harrold, M.J.: Slicing objects using system dependence graphs. In: Proceedings of the International Conference on Software Maintenance, ICSM 1998, pp. 358–367. IEEE Computer Society, Washington, DC (1998)Lindahl, T., Sagonas, K.F.: Typer: a type annotator of erlang code. In: Sagonas, K.F., Armstrong, J. (eds.) Erlang Workshop, pp. 17–25. ACM (2005)Lindahl, T., Sagonas, K.F.: Practical type inference based on success typings. In: Bossi, A., Maher, M.J. (eds.) PPDP, pp. 167–178. ACM (2006)Ochoa, C., Silva, J., Vidal, G.: Dynamic slicing based on redex trails. In: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM 2004, pp. 123–134. ACM, New York (2004)Reps, T., Turnidge, T.: Program Specialization via Program Slicing. In: Danvy, O., Thiemann, P., Glück, R. (eds.) Dagstuhl Seminar 1996. LNCS, vol. 1110, pp. 409–429. Springer, Heidelberg (1996)Rodrigues, N.F., Barbosa, L.S.: Component identification through program slicing. In: Proc. of Formal Aspects of Component Software (FACS 2005). Elsevier ENTCS, pp. 291–304. Elsevier (2005)Tip, F.: A survey of program slicing techniques. Journal of Programming Languages 3(3), 121–189 (1995)Tóth, M., Bozó, I., Horváth, Z., Lövei, L., Tejfel, M., Kozsik, T.: Impact Analysis of Erlang Programs Using Behaviour Dependency Graphs. In: Horváth, Z., Plasmeijer, R., Zsók, V. (eds.) CEFP 2009. LNCS, vol. 6299, pp. 372–390. Springer, Heidelberg (2010)Walkinshaw, N., Roper, M., Wood, M., Roper, N.W.M.: The java system dependence graph. In: Third IEEE International Workshop on Source Code Analysis and Manipulation, p. 5 (2003)Weiser, M.: Program Slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439–449. IEEE Press (1981)Widera, M.: Flow graphs for testing sequential erlang programs. In: Proceedings of the 2004 ACM SIGPLAN Workshop on Erlang, ERLANG 2004, pp. 48–53. ACM, New York (2004)Widera, M., Informatik, F.: Concurrent erlang flow graphs. In: Proceedings of the Erlang/OTP User Conference (2005)Zhao, J.: Slicing aspect-oriented software. In: Proceedings of the 10th International Workshop on Program Comprehension, IWPC 2002, pp. 251–260. IEEE Computer Society, Washington, DC (2002