Completeness theorem for propositional probabilistic models whose measures have only finite ranges

A propositional logic is defined which in addition to propositional language contains a list of probabilistic operators of the form P_s (with the intended meaning the probability is at least s). The axioms and rules syntactically determine that ranges of probabilities in the corresponding models are always finite. The completeness theorem is proved. It is shown that completeness cannot be generalized to arbitrary theories.This research was supported by Ministarstvo za nauku, tehnologije i razvoj Republike Srbije, through Matematiki institut, under grant 1379Mathematics Subject Classification (2000): 03C70, 03B48     

Mechanistic pathways for the reaction of quercetin with hydroperoxy radical

The extensive theoretical study of the interaction of one of the most abundant and reactive flavonols, quercetin, with hydroperoxy radical (HOO·), using the M052X/6-31 + Gd, p level of theory, was performed. Results indicating that quercetin is not a planar molecule are in accord with the X-ray analysis. The applied method successfully reproduces the bond dissociation enthalpy, and reveals that the reaction of quercetin with the hydroperoxy radical is governed by a hydrogen atom transfer mechanism. It is confirmed that the 3′OH and 4′OH are the most reactive sites, and that the reaction in the 3′OH position is faster than that in the 4′OH position.     

Terahertz imaging through self-mixing in a quantum cascade laser

We demonstrate terahertz (THz) frequency imaging using a single quantum cascade laser (QCL) device for both generation and sensing of THz radiation. Detection is achieved by utilizing the effect of self-mixing in the THz QCL, and, specifically, by monitoring perturbations to the voltage across the QCL, induced by light reflected from an external object back into the laser cavity. Self-mixing imaging offers high sensitivity, a potentially fast response, and a simple, compact optical design, and we show that it can be used to obtain high-resolution reflection images of exemplar structures.     

Wake effect in doped graphene due to moving external charge

We use the dielectric-response formalism to evaluate the induced density of charge carriers in supported graphene due to an external moving charged particle in terms of its velocity and distance from graphene for several equilibrium charge carrier densities due to graphene doping. We show that, when the particle speed exceeds a threshold value, an oscillatory wake effect develops in the induced charge density trailing the particle. Strong effects are observed in the wake pattern due to finite size of the graphene–substrate gap, as well as due to strong coupling effects, and plasmon damping of graphene?s π electrons.     

Plasmonic crystal waveguides

We study the properties of electromagnetic waves propagating along the waveguides with a periodic core created by alternating metal and dielectric layers, the so-called quasi-one-dimensional plasmonic crystal waveguides. Such waveguides can be symmetric or asymmetric, depending on the cladding or substrate material properties, as well as on the termination of the periodic structure. We analyze the dispersion characteristics as well as the profiles of the guided modes for several types of waveguide structure.     

On stretching the interval simplex-permutohedron

A family of polytopes introduced by E.M. Feichtner, A. Postnikov, and B. Sturmfels, which were named nestohedra, consists in each dimension of an interval of polytopes starting with a simplex and ending with a permutohedron. This paper investigates a problem of changing and extending the boundaries of these intervals. An iterative application of Feichtner–Kozlov procedure of forming complexes of nested sets is a solution of this problem. By using a simple algebraic presentation of members of nested sets it is possible to avoid the problem of increasing the complexity of the structure of nested curly braces in elements of the produced simplicial complexes.     

Symmetric Bimonoidal Intermuting Categories and ω × ω Reduced Bar Constructions

A new, self-contained, proof of a coherence result for categories equipped with two symmetric monoidal structures bridged by a natural transformation is given. It is shown that this coherence result is sufficient for ω × ω-indexed family of iterated reduced bar constructions based on such a category.     

Boundary Harnack Principle and Martin Boundary at Infinity for Subordinate Brownian Motions

In this paper we study the Martin boundary of unbounded open sets at infinity for a large class of subordinate Brownian motions. We first prove that, for such subordinate Brownian motions, the uniform boundary Harnack principle at infinity holds for arbitrary unbounded open sets. Then we introduce the notion of κ-fatness at infinity for open sets and show that the Martin boundary at infinity of any such open set consists of exactly one point and that point is a minimal Martin boundary point.