An independent axiomatisation for free short-circuit logic

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Free short-circuit logic is the equational logic in which compound statements are evaluated from left to right, while atomic evaluations are not memorised throughout the evaluation, i.e., evaluations of distinct occurrences of an atom in a compound statement may yield different truth values. We provide a simple semantics for free SCL and an independent axiomatisation. Finally, we discuss evaluation strategies, some other SCLs, and side effects.Comment: 36 pages, 4 tables. Differences with v2: Section 2.1: theorem Thm.2.1.5 and further are renumbered; corrections: p.23, line -7, p.24, lines 3 and 7. arXiv admin note: substantial text overlap with arXiv:1010.367

Propositional logic with short-circuit evaluation: a non-commutative and a commutative variant

Short-circuit evaluation denotes the semantics of propositional connectives in which the second argument is evaluated only if the first argument does not suffice to determine the value of the expression. Short-circuit evaluation is widely used in programming, with sequential conjunction and disjunction as primitive connectives. We study the question which logical laws axiomatize short-circuit evaluation under the following assumptions: compound statements are evaluated from left to right, each atom (propositional variable) evaluates to either true or false, and atomic evaluations can cause a side effect. The answer to this question depends on the kind of atomic side effects that can occur and leads to different "short-circuit logics". The basic case is FSCL (free short-circuit logic), which characterizes the setting in which each atomic evaluation can cause a side effect. We recall some main results and then relate FSCL to MSCL (memorizing short-circuit logic), where in the evaluation of a compound statement, the first evaluation result of each atom is memorized. MSCL can be seen as a sequential variant of propositional logic: atomic evaluations cannot cause a side effect and the sequential connectives are not commutative. Then we relate MSCL to SSCL (static short-circuit logic), the variant of propositional logic that prescribes short-circuit evaluation with commutative sequential connectives. We present evaluation trees as an intuitive semantics for short-circuit evaluation, and simple equational axiomatizations for the short-circuit logics mentioned that use negation and the sequential connectives only.Comment: 34 pages, 6 tables. Considerable parts of the text below stem from arXiv:1206.1936, arXiv:1010.3674, and arXiv:1707.05718. Together with arXiv:1707.05718, this paper subsumes most of arXiv:1010.367

Nuclear signatures in high-harmonic generation from laser-driven muonic atoms

High-harmonic generation from muonic atoms exposed to intense laser fields is considered. Our particular interest lies in effects arising from the finite nuclear mass and size. We numerically perform a fully quantum mechanical treatment of the muon-nucleus dynamics by employing modified soft-core and hard-core potentials. It is shown that the position of the high-energy cutoff of the harmonic spectrum depends on the nuclear mass, while the height of the spectral plateau is sensitive to the nuclear radius. We also demonstrate that $\gamma$-ray harmonics can be generated from muonic atoms in ultrastrong VUV fields, which have potential to induce photo-nuclear reactions.Comment: 5 pages, 3 figure

Light curing time reduction: in vitro evaluation of new intensive light-emitting diode curing units

The aim of the present in vitro study was to establish the minimum necessary curing time to bond stainless steel brackets (Mini Diamond Twin™) using new, intensive, light-emitting diode (LED) curing units. Seventy-five bovine primary incisors were divided into five equal groups. A standard light curing adhesive (Transbond™ XT) was used to bond the stainless steel brackets using different lamps and curing times. Two groups were bonded using an intensive LED curing lamp (Ortholux™ LED) for 5 and 10 seconds. Two more groups were bonded using another intensive LED curing device (Ultra-Lume™ LED 5) also for 5 and 10 seconds. Finally, a high-output halogen lamp (Optilux™ 501) was used for 40 seconds to bond the final group, which served as a positive control. All teeth were fixed in hard acrylic and stored for 24 hours in water at 37°C. Shear bond strength (SBS) was measured using an Instron testing machine. Weibull distribution and analysis of variance were used to test for significant differences. The SBS values obtained were significantly different between groups (P < 0.001). When used for 10 seconds, the intensive LED curing units achieved sufficient SBS, comparable with the control. In contrast, 5 seconds resulted in significantly lower SBS. The adhesive remnant index (ARI) was not significantly affected. A curing time of 10 seconds was found to be sufficient to bond metallic brackets to incisors using intensive LED curing units. These new, comparatively inexpensive, curing lamps seem to be an advantageous alternative to conventional halogen lamps for bonding orthodontic bracket

Altitude Cooling Investigation of the R-2800-21 Engine in the P-47G Airplane. IV - Engine Cooling-Air Pressure Distribution

A study of the data obtained in a flight investigation of an R-2800-21 engine in a P-47G airplane was made to determine the effect of the flight variables on the engine cooling-air pressure distribution. The investigation consisted of level flights at altitudes from 5000 to 35,000 feet for the normal range of engine and airplane operation. The data showed that the average engine front pressures ranged from 0.73 to 0.82 of the impact pressure (velocity head). The average engine rear pressures ranged from 0.50 to 0.55 of the impact pressure for closed cowl flaps and from 0.10 to 0.20 for full-open cowl flaps. In general, the highest front pressures were obtained at the bottom of the engine. The rear pressures for the rear-row cylinders were .lower and the pressure drops correspondingly higher than for the front-row cylinders. The rear-pressure distribution was materially affected by cowl-flap position in that the differences between the rear pressures of the front-row and rear-row cylinders markedly increased as the cowl flaps were opened. For full-open cowl flaps, the pressure drops across the rear-row cylinders were in the order of 0.2 of the impact pressure greater than across the front-row cylinders. Propeller speed and altitude had little effect on the -coolingair pressure distribution, Increase in angle of inclination of the thrust axis decreased the front ?pressures for the cylinders at the top of the engine and increased them for the cylinders at the bottom of the engine. As more auxiliary air was taken from the engine cowling, the front pressures and, to a lesser extent, the rear pressures for the cylinders at the bottom of the engine decreased. No correlation existed between the cooling-air pressure-drop distribution and the cylinder-temperature distribution

Interference of Spontaneous Emission of Light from two Solid-State Atomic Ensembles

We report an interference experiment of spontaneous emission of light from two distant solid-state ensembles of atoms that are coherently excited by a short laser pulse. The ensembles are Erbium ions doped into two LiNbO3 crystals with channel waveguides, which are placed in the two arms of a Mach-Zehnder interferometer. The light that is spontaneously emitted after the excitation pulse shows first-order interference. By a strong collective enhancement of the emission, the atoms behave as ideal two-level quantum systems and no which-path information is left in the atomic ensembles after emission of a photon. This results in a high fringe visibility of 95%, which implies that the observed spontaneous emission is highly coherent

The impact of free convection on late morning ozone decreases on an Alpine foreland mountain summit

Exceptional patterns in the diurnal course of ozone mixing ratio at a mountain top site (998 m a.s.l.) were observed during a field experiment (September 2005). They manifested themselves as strong and sudden decreases of ozone mixing ratio with a subsequent return to previous levels. The evaluation of corresponding long-term time series (2000–2005) revealed that such events occur mainly during summer, and affect the mountain top site on about 18% of the summer days. Combining (a) surface layer measurements at mountain summit and at the foot of the mountain, (b) in-situ (tethered balloon) and remote sensing (SODAR-RASS) measurements within the atmospheric boundary layer, the origin of these events of sudden ozone decrease could be attributed to free convection. The free convection was triggered by a rather frequently occurring wind speed minimum around the location of the mountain

A solid state light-matter interface at the single photon level

Coherent and reversible mapping of quantum information between light and matter is an important experimental challenge in quantum information science. In particular, it is a decisive milestone for the implementation of quantum networks and quantum repeaters. So far, quantum interfaces between light and atoms have been demonstrated with atomic gases, and with single trapped atoms in cavities. Here we demonstrate the coherent and reversible mapping of a light field with less than one photon per pulse onto an ensemble of 10 millions atoms naturally trapped in a solid. This is achieved by coherently absorbing the light field in a suitably prepared solid state atomic medium. The state of the light is mapped onto collective atomic excitations on an optical transition and stored for a pre-programmed time up of to 1 mu s before being released in a well defined spatio-temporal mode as a result of a collective interference. The coherence of the process is verified by performing an interference experiment with two stored weak pulses with a variable phase relation. Visibilities of more than 95% are obtained, which demonstrates the high coherence of the mapping process at the single photon level. In addition, we show experimentally that our interface allows one to store and retrieve light fields in multiple temporal modes. Our results represent the first observation of collective enhancement at the single photon level in a solid and open the way to multimode solid state quantum memories as a promising alternative to atomic gases.Comment: 5 pages, 5 figures, version submitted on June 27 200

Interference of multi-mode photon echoes generated in spatially separated solid-state atomic ensembles

High-visibility interference of photon echoes generated in spatially separated solid-state atomic ensembles is demonstrated. The solid state ensembles were LiNbO$_3$ waveguides doped with Erbium ions absorbing at 1.53 $\mu$m. Bright coherent states of light in several temporal modes (up to 3) are stored and retrieved from the optical memories using two-pulse photon echoes. The stored and retrieved optical pulses, when combined at a beam splitter, show almost perfect interference, which demonstrates both phase preserving storage and indistinguishability of photon echoes from separate optical memories. By measuring interference fringes for different storage times, we also show explicitly that the visibility is not limited by atomic decoherence. These results are relevant for novel quantum repeaters architectures with photon echo based multimode quantum memories