Twisting 2-cocycles for the construction of new non-standard quantum groups

We introduce a new class of 2-cocycles defined explicitly on the generators of certain multiparameter standard quantum groups. These allow us, through the process of twisting the familiar standard quantum groups, to generate new as well as previously known examples of non-standard quantum groups. In particular we are able to construct generalisations of both the Cremmer-Gervais deformation of SL(3) and the so called esoteric quantum groups of Fronsdal and Galindo in an explicit and straightforward manner.Comment: 21 pages, AMSLaTeX, expanded introduction and a few other minor corrections, to appear in JM

Deductive Verification of Unmodified Linux Kernel Library Functions

This paper presents results from the development and evaluation of a deductive verification benchmark consisting of 26 unmodified Linux kernel library functions implementing conventional memory and string operations. The formal contract of the functions was extracted from their source code and was represented in the form of preconditions and postconditions. The correctness of 23 functions was completely proved using AstraVer toolset, although success for 11 functions was achieved using 2 new specification language constructs. Another 2 functions were proved after a minor modification of their source code, while the final one cannot be completely proved using the existing memory model. The benchmark can be used for the testing and evaluation of deductive verification tools and as a starting point for verifying other parts of the Linux kernel.Comment: 18 pages, 2 tables, 6 listings. Accepted to ISoLA 2018 conference. Evaluating Tools for Software Verification trac

Large-scale aerodynamic characteristics of airfoils as tested in the variable density wind tunnel

In order to give the large-scale characteristics of a variety of airfoils in a form which will be of maximum value, both for airplane design and for the study of airfoil characteristics, a collection has been made of the results of airfoil tests made at full-scale values of the reynolds number in the variable density wind tunnel of the National Advisory Committee for Aeronautics. They have been corrected for tunnel wall interference and are presented not only in the conventional form but also in a form which facilitates the comparison of airfoils and from which corrections may be easily made to any aspect ratio. An example showing the method of correcting the results to a desired aspect ratio has been given for the convenience of designers. In addition, the data have been analyzed with a view to finding the variation of the aerodynamic characteristics of airfoils with their thickness and camber

Affective iconic words benefit from additional sound–meaning integration in the left amygdala

Recent studies have shown that a similarity between sound and meaning of a word (i.e., iconicity) can help more readily access the meaning of that word, but the neural mechanisms underlying this beneficial role of iconicity in semantic processing remain largely unknown. In an fMRI study, we focused on the affective domain and examined whether affective iconic words (e.g., high arousal in both sound and meaning) activate additional brain regions that integrate emotional information from different domains (i.e., sound and meaning). In line with our hypothesis, affective iconic words, compared to their non‐iconic counterparts, elicited additional BOLD responses in the left amygdala known for its role in multimodal representation of emotions. Functional connectivity analyses revealed that the observed amygdalar activity was modulated by an interaction of iconic condition and activations in two hubs representative for processing sound (left superior temporal gyrus) and meaning (left inferior frontal gyrus) of words. These results provide a neural explanation for the facilitative role of iconicity in language processing and indicate that language users are sensitive to the interaction between sound and meaning aspect of words, suggesting the existence of iconicity as a general property of human language

Magnetic and structural properties of GeMn films: precipitation of intermetallic nanomagnets

We present a comprehensive study relating the nanostructure of Ge_0.95Mn_0.05 films to their magnetic properties. The formation of ferromagnetic nanometer sized inclusions in a defect free Ge matrix fabricated by low temperature molecular beam epitaxy is observed down to substrate temperatures T_S as low as 70 deg. Celsius. A combined transmission electron microscopy (TEM) and electron energy-loss spectroscopy (EELS) analysis of the films identifies the inclusions as precipitates of the ferromagnetic compound Mn_5Ge_3. The volume and amount of these precipitates decreases with decreasing T_S. Magnetometry of the films containing precipitates reveals distinct temperature ranges: Between the characteristic ferromagnetic transition temperature of Mn_5Ge_3 at approximately room temperature and a lower, T_S dependent blocking temperature T_B the magnetic properties are dominated by superparamagnetism of the Mn_5Ge_3 precipitates. Below T_B, the magnetic signature of ferromagnetic precipitates with blocked magnetic moments is observed. At the lowest temperatures, the films show features characteristic for a metastable state.Comment: accepted for publication in Phys. Rev. B 74 (01.12.2006). High resolution images ibide

A Model for the Production of Regular Fluorescent Light from Coherently Driven Atoms

It has been shown in recent years that incoherent pumping through multiple atomic levels provides a mechanism for the production of highly anti-bunched light, and that as the number of incoherent steps is increased the light becomes increasingly regular. We show that in a resonance fluorescence situation, a multi-level atom may be multiply coherently driven so that the fluorescent light is highly anti-bunched. We show that as the number of coherently driven levels is increased, the spontaneous emissions may be made increasingly more regular. We present a systematic method for designing the level structure and driving required to produce highly anti-bunched light in this manner for an arbitrary even number of levels.Comment: 6 pages multicol revtex, including figure

On compatibility and improvement of different quantum state assignments

When Alice and Bob have different quantum knowledges or state assignments (density operators) for one and the same specific individual system, then the problems of compatibility and pooling arise. The so-called first Brun-Finkelstein-Mermin (BFM) condition for compatibility is reobtained in terms of possessed or sharp (i. e., probability one) properties. The second BFM condition is shown to be generally invalid in an infinite-dimensional state space. An argument leading to a procedure of improvement of one state assifnment on account of the other and vice versa is presented.Comment: 8 page

Heavy Quarkonium Potential Model and the 1P1{}^1P_1 State of Charmonium

A theoretical explanation of the observed splittings among the P~states of charmonium is given with the use of a nonsingular potential model for heavy quarkonia. We also show that the recently observed mass difference between the center of gravity of the ${}^3P_J$ states and the ${}^1P_1$ state of $c\bar{c}$ does not provide a direct test of the color hyperfine interaction in heavy quarkonia. Our theoretical value for the mass of the ${}^1P_1$ state is in agreement with the experimental result, and its E1 transition width is 341.8~keV. The mass of the $\eta_c'$ state is predicted to be 3622.3~MeV.Comment: 15 page REVTEX documen

Magnetization Process of the S=1 and 1/2 Uniform and Distorted Kagome Heisenberg Antiferromagnets

The magnetization process of the S=1 and 1/2 kagome Heisenberg antiferromagnet is studied by means of the numerical exact diagonalization method. It is found that the magnetization curve at zero temperature has a plateau at 1/3 of the full magnetization. In the presence of $\sqrt{3} \times \sqrt{3}$ lattice distortion, this plateau is enhanced and eventually the ferrimagnetic state is realized. There also appear the minor plateaux above the main plateau. The physical origin of these phenomena is discussed.Comment: 5 pages, 10 figures included, to be published in J. Phys. Soc. Jp

The Expectation Monad in Quantum Foundations

The expectation monad is introduced abstractly via two composable adjunctions, but concretely captures measures. It turns out to sit in between known monads: on the one hand the distribution and ultrafilter monad, and on the other hand the continuation monad. This expectation monad is used in two probabilistic analogues of fundamental results of Manes and Gelfand for the ultrafilter monad: algebras of the expectation monad are convex compact Hausdorff spaces, and are dually equivalent to so-called Banach effect algebras. These structures capture states and effects in quantum foundations, and also the duality between them. Moreover, the approach leads to a new re-formulation of Gleason's theorem, expressing that effects on a Hilbert space are free effect modules on projections, obtained via tensoring with the unit interval.Comment: In Proceedings QPL 2011, arXiv:1210.029