Theory of Concepts

UID/FIL/00183/2013authorsversionpublishe

Analytic Tableaux for Simple Type Theory and its First-Order Fragment

We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction and higher-order variables. As deductive system we employ a cut-free tableau calculus. We consider completeness, compactness, and existence of countable models. We prove these properties for STT with respect to Henkin models and for EFO with respect to standard models. We also show that the tableau system yields a decision procedure for three EFO fragments

Near-field interactions between metal nanoparticle surface plasmons and molecular excitons in thin-films: part I: absorption

In this and the following paper (parts I and II, respectively), we systematically study the interactions between surface plasmons of metal nanoparticles (NPs) with excitons in thin-films of organic media. In an effort to exclusively probe near-field interactions, we utilize spherical Ag NPs in a size-regime where far-field light scattering is negligibly small compared to absorption. In part I, we discuss the effect of the presence of these Ag NPs on the absorption of the embedding medium by means of experiment, numerical simulations, and analytical calculations, all shown to be in good agreement. We observe absorption enhancement in the embedding medium due to the Ag NPs with a strong dependence on the medium permittivity, the spectral position relative to the surface plasmon resonance frequency, and the thickness of the organic layer. By introducing a low index spacer layer between the NPs and the organic medium, this absorption enhancement is experimentally confirmed to be a near field effect In part II, we probe the impact of the Ag NPs on the emission of organic molecules by time-resolved and steady-state photoluminescence measurements

Angular redistribution of near-infrared emission from quantum dots in 3D photonic crystals

We study the angle-resolved spontaneous emission of near-infrared light sources in 3D photonic crystals over a wavelength range from 1200 to 1550 nm. To this end PbSe quantum dots are used as light sources inside titania inverse opal photonic crystals. Strong deviations from the Lambertian emission profile are observed. An attenuation of 60 % is observed in the angle dependent radiant flux emitted from the samples due to photonic stop bands. At angles that correspond to the edges of the stop band the emitted flux is increased by up to 34 %. This increase is explained by the redistribution of Bragg-diffracted light over the available escape angles. The results are quantitatively explained by an expanded escape-function model. This model is based on diffusion theory and adapted to photonic crystals using band structure calculations. Our results are the first angular redistributions and escape functions measured at near-infrared, including telecom, wavelengths. In addition, this is the first time for this model to be applied to describe emission from samples that are optically thick for the excitation light and relatively thin for the photoluminesence light.Comment: 24 pages, 8 figures (current format = single column, double spaced

Plasmon oscillations in ellipsoid nanoparticles: beyond dipole approximation

The plasmon oscillations of a metallic triaxial ellipsoid nanoparticle have been studied within the framework of the quasistatic approximation. A general method has been proposed for finding the analytical expressions describing the potential and frequencies of the plasmon oscillations of an arbitrary multipolarity order. The analytical expressions have been derived for an electric potential and plasmon oscillation frequencies of the first 24 modes. Other higher orders plasmon modes are investigated numerically.Comment: 33 pages, 12 figure

Directional control of weakly localized Raman from a random network of fractal nanowires

Disordered optical media are an emerging class of materials capable of strongly scattering light. Their study is relevant to investigate transport phenomena and for applications in imaging, sensing and energy storage. While such materials can be used to generate coherent light, their directional emission is typically hampered by their very multiple scattering nature. Here, we tune the out-of-plane directionality of coherent Raman light scattered by a fractal network of silicon nanowires. By visualizing Rayleigh scattering, photoluminescence and weakly localized Raman light from the random network of nanowires via real-space microscopy and Fourier imaging, we gain insight on the light transport mechanisms responsible for the material's inelastic coherent signal and for its directionality. The possibility of visualizing and manipulating directional coherent light in such networks of nanowires opens venues for fundamental studies of light propagation in disordered media as well as for the development of next generation optical devices based on disordered structures, inclusive of sensors, light sources and optical switches