1,313 research outputs found
Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
We have recently presented a general method of proving the fundamental
logical properties of Craig and Lyndon Interpolation (IPs) by induction on
derivations in a wide class of internal sequent calculi, including sequents,
hypersequents, and nested sequents. Here we adapt the method to a more general
external formalism of labelled sequents and provide sufficient criteria on the
Kripke-frame characterization of a logic that guarantee the IPs. In particular,
we show that classes of frames definable by quantifier-free Horn formulas
correspond to logics with the IPs. These criteria capture the modal cube and
the infinite family of transitive Geach logics
Colloid-stabilized emulsions: behaviour as the interfacial tension is reduced
We present confocal microscopy studies of novel particle-stabilized
emulsions. The novelty arises because the immiscible fluids have an accessible
upper critical solution temperature. The emulsions have been created by
beginning with particles dispersed in the single-fluid phase. On cooling,
regions of the minority phase nucleate. While coarsening these nuclei become
coated with particles due to the associated reduction in interfacial energy.
The resulting emulsion is arrested, and the particle-coated interfaces have
intriguing properties. Having made use of the binary-fluid phase diagram to
create the emulsion we then make use of it to study the properties of the
interfaces. As the emulsion is re-heated toward the single-fluid phase the
interfacial tension falls and the volume of the dispersed phase drops.
Crumpling, fracture or coalescence can follow. The results show that the
elasticity of the interfaces has a controlling influence over the emulsion
behaviour.Comment: Submitted for the proceedings of the 6th Liquid Matter Conference,
held in Utrecht (NL) in July 200
Single-photon-emitting optical centers in diamond fabricated upon Sn implantation
The fabrication of luminescent defects in single-crystal diamond upon Sn
implantation and annealing is reported. The relevant spectral features of the
optical centers (emission peaks at 593.5 nm, 620.3 nm, 630.7 nm and 646.7 nm)
are attributed to Sn-related defects through the correlation of their
photoluminescence (PL) intensity with the implantation fluence. Single
Sn-related defects were identified and characterized through the acquisition of
their second-order auto-correlation emission functions, by means of
Hanbury-Brown-Twiss interferometry. The investigation of their single-photon
emission regime as a function of excitation laser power revealed that
Sn-related defects are based on three-level systems with a 6 ns radiative decay
lifetime. In a fraction of the studied centers, the observation of a blinking
PL emission is indicative of the existence of a dark state. Furthermore,
absorption dependence from the polarization of the excitation radiation with
about 45 percent contrast was measured. This work shed light on the existence
of a new optical center associated with a group-IV impurity in diamond, with
similar photo-physical properties to the already well-known Si-V and Ge-V
emitters, thus providing results of interest from both the fundamental and
applicative points of view.Comment: 10 pages, 4 figure
Optical properties of an ensemble of G-centers in silicon
We addressed the carrier dynamics in so-called G-centers in silicon
(consisting of substitutional-interstitial carbon pairs interacting with
interstitial silicons) obtained via ion implantation into a
silicon-on-insulator wafer. For this point defect in silicon emitting in the
telecommunication wavelength range, we unravel the recombination dynamics by
time-resolved photoluminescence spectroscopy. More specifically, we performed
detailed photoluminescence experiments as a function of excitation energy,
incident power, irradiation fluence and temperature in order to study the
impact of radiative and non-radiative recombination channels on the spectrum,
yield and lifetime of G-centers. The sharp line emitting at 969 meV (1280
nm) and the broad asymmetric sideband developing at lower energy share the same
recombination dynamics as shown by time-resolved experiments performed
selectively on each spectral component. This feature accounts for the common
origin of the two emission bands which are unambiguously attributed to the
zero-phonon line and to the corresponding phonon sideband. In the framework of
the Huang-Rhys theory with non-perturbative calculations, we reach an
estimation of 1.60.1 \angstrom for the spatial extension of the
electronic wave function in the G-center. The radiative recombination time
measured at low temperature lies in the 6 ns-range. The estimation of both
radiative and non-radiative recombination rates as a function of temperature
further demonstrate a constant radiative lifetime. Finally, although G-centers
are shallow levels in silicon, we find a value of the Debye-Waller factor
comparable to deep levels in wide-bandgap materials. Our results point out the
potential of G-centers as a solid-state light source to be integrated into
opto-electronic devices within a common silicon platform
The Detectability of Pair-Production Supernovae at z < 6
Nonrotating, zero metallicity stars with initial masses 140 < M < 260 solar
masses are expected to end their lives as pair-production supernovae (PPSNe),
in which an electron-positron pair-production instability triggers explosive
nuclear burning. Interest in such stars has been rekindled by recent
theoretical studies that suggest primordial molecular clouds preferentially
form stars with these masses. Since metal enrichment is a local process, the
resulting PPSNe could occur over a broad range of redshifts, in pockets of
metal-free gas. Using the implicit hydrodynamics code KEPLER, we have
calculated a set of PPSN light curves that addresses the theoretical
uncertainties and allows us to assess observational strategies for finding
these objects at intermediate redshifts. The peak luminosities of typical PPSNe
are only slightly greater than those of Type Ia, but they remain bright much
longer (~ 1 year) and have hydrogen lines. Ongoing supernova searches may soon
be able to limit the contribution of these very massive stars to < 1% of the
total star formation rate density out to z=2 which already provides useful
constraints for theoretical models. The planned Joint Dark Energy Mission
satellite will be able to extend these limits out to z=6.Comment: 12 pages, 6 figures, ApJ in press; slightly revised version, a few
typos correcte
Propositional update operators based on formula/literal dependence
International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators
- …