Justifying induction on modal μ-formulae

We define a rank function for formulae of the propositional modal μ-calculus such that the rank of a fixed point is strictly bigger than the rank of any of its finite approximations. A rank function of this kind is needed, for instance, to establish the collapse of the modal μ-hierarchy over transitive transition systems. We show that the range of the rank function is ωω. Further we establish that the rank is computable by primitive recursion, which gives us a uniform method to generate formulae of arbitrary rank below ωω.

Solution of the relativistic Schrödinger equation for the δ ′ -Function potential in one dimension using cutoff regularization

We study the relativistic version of the Schrödinger equation for a point particle in one dimension with the potential of the first derivative of the delta function. The momentum cutoff regularization is used to study the bound state and scattering states. The initial calculations show that the reciprocal of the bare coupling constant is ultraviolet divergent, and the resultant expression cannot be renormalized in the usual sense, where the divergent terms can just be omitted. Therefore, a general procedure has been developed to derive different physical properties of the system. The procedure is used first in the nonrelativistic case for the purpose of clarification and comparisons. For the relativistic case, the results show that this system behaves exactly like the delta function potential, which means that this system also shares features with quantum filed theories, like being asymptotically free. In addition, in the massless limit, it undergoes dimensional transmutation, and it possesses an infrared conformal fixed point. The comparison of the solution with the relativistic delta function potential solution shows evidence of universality.

New Algorithms for M-Estimation of Multivariate Scatter and Location

We present new algorithms for M-estimators of multivariate scatter and location and for symmetrized M-estimators of multivariate scatter. The new algorithms are considerably faster than currently used fixed-point and related algorithms. The main idea is to utilize a second order Taylor expansion of the target functional and to devise a partial Newton-Raphson procedure. In connection with symmetrized M-estimators we work with incomplete U-statistics to accelerate our procedures initially.

On the CFT operator spectrum at large global charge

We calculate the anomalous dimensions of operators with large global charge J in certain strongly coupled conformal field theories in three dimensions, such as the O(2) model and the supersymmetric fixed point with a single chiral superfield and a W = Φ3 superpotential. Working in a 1/J expansion, we find that the large-J sector of both examples is controlled by a conformally invariant effective Lagrangian for a Goldstone boson of the global symmetry. For both these theories, we find that the lowest state with charge J is always a scalar operator whose dimension ΔJ satisfies the sum rule J2ΔJ−(J22+J4+316)ΔJ−1−(J22+J4+316)ΔJ+1=0.04067 up to corrections that vanish at large J . The spectrum of low-lying excited states is also calculable explcitly: for example, the second-lowest primary operator has spin two and dimension ΔJ+3√. In the supersymmetric case, the dimensions of all half-integer-spin operators lie above the dimensions of the integer-spin operators by a gap of order J+12. The propagation speeds of the Goldstone waves and heavy fermions are 12√ and ±12 times the speed of light, respectively. These values, including the negative one, are necessary for the consistent realization of the superconformal symmetry at large J.

Failures and complications in patients with birth defects restored with fixed dental prostheses and single crowns on teeth and/or implants

OBJECTIVES: To assess retrospectively, over at least 5 years, the incidences of technical and biological complications and failures in young adult patients with birth defects affecting the formation of teeth. MATERIAL AND METHODS: All insurance cases with a birth defect that had crowns and fixed dental prostheses (FDPs) inserted more than 5 years ago were contacted and asked to participate in a reexamination. RESULTS: The median age of the patients was 19.3 years (range 16.6-24.7 years) when prosthetic treatment was initiated. Over the median observation period of 15.7 years (range 7.4-24.9 years) and considering the treatment needs at the reexamination, 19 out of 33 patients (58%) with reconstructions on teeth remained free from all failures or complications. From the patients with FDPs and single unit crowns (SCs) on implants followed over a median observation period of 8 years (range 4.6-15.3 years), eight out of 17% or 47% needed a retreatment or repair at some point due to a failure or a complication. From the three groups of patients, the cases with amelogenesis/dentinogenesis imperfecta demonstrated the highest failure and complication rates. In the cases with cleft lip, alveolus and palate (CLAP) or hypodontia/oligodontia, 71% of the SCs and 73% of the FDPs on teeth (FDP T) remained complication free over a median observation period of about 16 years. Sixty-two percent of the SCs and 64% of the FDPs on implants remained complication free over 8 years. Complications occurred earlier with implant-supported reconstructions. CONCLUSIONS: Because healthy, pristine teeth can be left unprepared, implant-supported SCs and FDPs are the treatment choice in young adults with birth defects resulting in tooth agenesis and in whom the edentulous spaces cannot be closed by means of orthodontic therapy. However, the trend for earlier and more frequent complications with implant-supported reconstructions in young adults, expecting many years of function with the reconstructions, has to be weighed against the benefits of keeping teeth unprepared. In cases with CLAP in which anatomical conditions render implant placement difficult and in which teeth adjacent to the cleft require esthetic corrections, the conventional FDP T still remains the treatment of choice.

Information Integration Theory and the Construction of Individually Perceived Group Efficacy

According to Bandura (1997) efficacy beliefs are a primary determinant of motivation. Still, very little is known about the processes through which people integrate situational factors to form efficacy beliefs (Myers & Feltz, 2007). The aim of this study was to gain insight into the cognitive construction of subjective group-efficacy beliefs. Only with a sound understanding of those processes is there a sufficient base to derive psychological interventions aimed at group-efficacy beliefs. According to cognitive theories (e.g., Miller, Galanter, & Pribram, 1973) individual group-efficacy beliefs can be seen as the result of a comparison between the demands of a group task and the resources of the performing group. At the center of this comparison are internally represented structures of the group task and plans to perform it. The empirical plausibility of this notion was tested using functional measurement theory (Anderson, 1981). Twenty-three students (M = 23.30 years; SD = 3.39; 35 % females) of the University of Bern repeatedly judged the efficacy of groups in different group tasks. The groups consisted of the subjects and another one to two fictive group members. The latter were manipulated by their value (low, medium, high) in task-relevant abilities. Data obtained from multiple full factorial designs were structured with individuals as second level units and analyzed using mixed linear models. The task-relevant abilities of group members, specified as fixed factors, all had highly significant effects on subjects’ group-efficacy judgments. The effect sizes of the ability factors showed to be dependent on the respective abilities’ importance in a given task. In additive tasks (Steiner, 1972) group resources were integrated in a linear fashion whereas significant interaction between factors was obtained in interdependent tasks. The results also showed that people take into account other group members’ efficacy beliefs when forming their own group-efficacy beliefs. The results support the notion that personal group-efficacy beliefs are obtained by comparing the demands of a task with the performing groups’ resources. Psychological factors such as other team members’ efficacy beliefs are thereby being considered task relevant resources and affect subjective group-efficacy beliefs. This latter finding underlines the adequacy of multidimensional measures. While the validity of collective efficacy measures is usually estimated by how well they predict performances, the results of this study allow for a somewhat internal validity criterion. It is concluded that Information Integration Theory holds potential to further help understand people’s cognitive functioning in sport relevant situations.

Efficient team actions: Outline of a theory of teams in sport

So far, social psychology in sport has preliminary focused on team cohesion, and many studies and meta analyses tried to demonstrate a relation between cohesiveness of a team and it's performance. How a team really co-operates and how the individual actions are integrated towards a team action is a question that has received relatively little attention in research. This may, at least in part, be due to a lack of a theoretical framework for collective actions, a dearth that has only recently begun to challenge sport psychologists. In this presentation a framework for a comprehensive theory of teams in sport is outlined and its potential to integrate the following presentations is put up for discussion. Based on a model developed by von Cranach, Ochsenbein and Valach (1986), teams are information processing organisms, and team actions need to be investigated on two levels: the individual team member and the group as an entity. Elements to be considered are the task, the social structure, the information processing structure and the execution structure. Obviously, different task require different social structures, communication and co-ordination. From a cognitivist point of view, internal representations (or mental models) guide the behaviour mainly in situations requiring quick reactions and adaptations, were deliberate or contingency planning are difficult. In sport teams, the collective representation contains the elements of the team situation, that is team task and team members, and of the team processes, that is communication and co-operation. Different meta-perspectives may be distinguished and bear a potential to explain the actions of efficient teams. Cranach, M. von, Ochsenbein, G., & Valach, L. (1986).The group as a self-active system: Outline of a theory of group action. European Journal of Social Psychology, 16, 193-229.

Transverse-momentum spectra of electroweak bosons near threshold at NNLO

We obtain the next-to-next-to-leading order corrections to transverse-momentum spectra of W, Z and Higgs bosons near the partonic threshold. In the threshold limit, the electroweak boson recoils against a low-mass jet and all radiation is either soft, or collinear to the jet or the beam directions. We extract the virtual corrections from known results for the relevant two-loop four-point amplitudes and combine them with the soft and collinear two-loop functions as defined in Soft-Collinear Effective Theory. We have implemented these results in a public code PeTeR and present numerical results for the threshold resummed cross section of W and Z bosons at next-to-next-to-next-to-leading logarithmic accuracy, matched to next-to-leading fixed-order perturbation theory. The two-loop corrections lead to a moderate increase in the cross section and reduce the scale uncertainty by about a factor of two. The corrections are significantly larger for Higgs production.

Relations between the attentional blink and aspects of psychometric intelligence: A fixed-links modeling approach

The attentional blink phenomenon (AB) represents impaired identification of the second of two targets presented in rapid succession within a stream of stimuli. Despite the well-known association between attentional processes and psychometric intelligence (PI), evidence for a relationship between AB and PI is highly inconsistent. Theory and empirical findings suggest AB to be multifaceted. Hence, relations between AB and PI may be blurred when AB is measured as a single process. Furthermore, different aspects of PI might be differentially related to AB. The present study explored the relationship between processes underlying AB and general PI as well as specific aspects of PI (Reasoning, Speed, Memory, and Creativity) in 201 female students. Fixed-links modeling revealed three processes underlying AB: (1) a U-shaped process positively related to Speed and negatively related to Memory but unrelated to Reasoning, Creativity, and general PI, (2) an increasing process positively related to Reasoning, Speed, Memory, and general PI but not to Creativity, and (3) a decreasing process positively related to general PI and Memory but not to other aspects of PI. Our findings demonstrate that dissociating processes underlying AB and considering specific aspects of PI is required to understand the relationship between AB and PI.

Fixed and Flexible: Coexistence of Obligate and Facultative Migratory Strategies in a Freshwater Fish

Migration is an important event in many animal life histories, but the degree to which individual animals participate in seasonal migrations often varies within populations. The powerful ecological and evolutionary consequences of such partial migration are now well documented, but the underlying mechanisms are still heavily debated. One potential mechanism of partial migration is between-individual variation in body condition, where animals in poor condition cannot pay the costs of migration and hence adopt a resident strategy. However, underlying intrinsic traits may overrule such environmental influence, dictating individual consistency in migratory patterns. Unfortunately, field tests of individual consistency compared to the importance of individual condition on migratory propensity are rare. Here we analyse 6 years of field data on roach migration, gathered by tagging almost 3000 individual fish and monitoring their seasonal migrations over extended periods of time. Our aims were to provide a field test of the role of condition in wild fish for migratory decisions, and also to assess individual consistency in migratory tendency. Our analyses reveal that (1) migratory strategy, in terms of migration/residency, is highly consistent within individuals over time and (2) there is a positive relationship between condition and the probability of migration, but only in individuals that adopt a migratory strategy at some point during their lives. However, life-long residents do not differ in condition to migrants, hence body condition is only a good predictor of migratory tendency in fish with migratory phenotypes and not a more general determinant of migratory tendency for the population. As resident individuals can achieve very high body condition and still remain resident, we suggest that our data provides some of the first field evidence to show that both facultative and obligate strategies can co-exist within populations of migratory animals.

Applications of random set theory in econometrics

In recent years, the econometrics literature has shown a growing interest in the study of partially identified models, in which the object of economic and statistical interest is a set rather than a point. The characterization of this set and the development of consistent estimators and inference procedures for it with desirable properties are the main goals of partial identification analysis. This review introduces the fundamental tools of the theory of random sets, which brings together elements of topology, convex geometry, and probability theory to develop a coherent mathematical framework to analyze random elements whose realizations are sets. It then elucidates how these tools have been fruitfully applied in econometrics to reach the goals of partial identification analysis.

Applying prospect theory to predict new venture creation

Although prior research on new venture creation has identified several antecedents that differentiate entrepreneurs from non-entrepreneurs, scholars still have an incomplete understanding of the factors and decision processes that lead an individual to become an entrepreneur. By applying prospect theory, we introduce the reference point as an important antecedent of new venture creation. Testing our research model and hypotheses with entrepreneurs and employees, results show that entrepreneurs set more aspiring reference points and therefore find themselves more often in a perceived loss situation. Results are also robust when testing for entrepreneurial intention of business graduate students. According to prospect theory, the perceived loss triggers more risk-seeking behavior. Summing up, the reference point has a positive effect on new venture creation and differentiates entrepreneurs from nonentrepreneurs. We discuss theoretical and managerial implications of the findings and develop avenues for future research.

A second look at gauged supergravities from fluxes in M-theory

We investigate reductions of M-theory beyond twisted tori by allowing the presence of KK6 monopoles (KKO6-planes) compatible with N = 4 supersymmetry in four dimensions. The presence of KKO6-planes proves crucial to achieve full moduli stabilisation as they generate new universal moduli powers in the scalar potential. The resulting gauged supergravities turn out to be compatible with a weak G2 holonomy at N = 1 as well as at some non-supersymmetric AdS4 vacua. The M-theory flux vacua we present here cannot be obtained from ordinary type IIA orientifold reductions including background fluxes, D6-branes (O6-planes) and/or KK5 (KKO5) sources. However, from a four-dimensional point of view, they still admit a description in terms of so-called non-geometric fluxes. In this sense we provide the M-theory interpretation for such non-geometric type IIA flux vacua.

Distortion-free enhancement of terahertz signals measured by electro-optic sampling. I. Theory

We present three methods for the distortion-free enhancement of THz signals measured by electro-optic sampling in zinc blende-type detector crystals, e.g., ZnTe or GaP. A technique commonly used in optically heterodyne-detected optical Kerr effect spectroscopy is introduced, which is based on two measurements at opposite optical biases near the zero transmission point in a crossed polarizer detection geometry. In contrast to other techniques for an undistorted THz signal enhancement, it also works in a balanced detection scheme and does not require an elaborate procedure for the reconstruction of the true signal as the two measured waveforms are simply subtracted to remove distortions. We study three different approaches for setting an optical bias using the Jones matrix formalism and discuss them also in the framework of optical heterodyne detection. We show that there is an optimal bias point in realistic situations where a small fraction of the probe light is scattered by optical components. The experimental demonstration will be given in the second part of this two-paper series [J. Opt. Soc. Am. B, doc. ID 204877 (2014, posted online)].

Long Distance Electron Transfer at the Metal/Alkanethiol/Ionic Liquid Interface

The rate constants of simple electron transfer (ET) reactions in room temperature ionic liquids (ILs) available now are rather high, typically at the edge of experimental accuracy. To consider ET phenomena in these media in view of theory developed earlier for molecular solvents, it is crucial to provide quantitative comparison of experimental kinetic data for certain reactions. We report this comparison for ferrocene/ferrocenium reaction. The ET distance is fixed by Au surface modification by alkanethiol self-assembled monolayers, which were characterized by in situ scanning tunneling microscopy. The dependence of ln kapp on barrier thickness in the range of ca. 6–20 Å is linear, with a slope typical for the same plots in aqueous media. This result confirms diabatic mode of Fc oxidation at long distance. The data for shorter ET distances point to the adiabatic regime of ET at a bare gold surface, although more detailed computational studies are required to justify this conclusion.