Retardation of Particle Evaporation from Excited Nuclear Systems Due to Thermal Expansion

Particle evaporation rates from excited nuclear systems at equilibrium matter density are studied within the Harmonic-Interaction Fermi Gas Model (HIFGM) combined with Weisskopf's detailed balance approach. It is found that thermal expansion of a hot nucleus, as described quantitatively by HIFGM, leads to a significant retardation of particle emission, greatly extending the validity of Weisskopf's approach. The decay of such highly excited nuclei is strongly influenced by surface instabilities

Numerical thermo-elasto-plastic analysis of residual stresses on different scales during cooling of hot forming parts

In current research, more and more attention is paid to the understanding of residual stress states as well as the application of targeted residual stresses to extend e.g. life time or stiffness of a part. In course of that, the numerical simulation and analysis of the forming process of components, which goes along with the evolution of residual stresses, play an important role. In this contribution, we focus on the residual stresses arising from the austenite-to-martensite transformation at microscopic and mesoscopic level of a Cr-alloyed steel. A combination of a Multi-Phase-Field model and a two-scale Finite Element simulation is utilized for numerical analysis. A first microscopic simulation considers the lattice change, such that the results can be homogenized and applied on the mesoscale. Based on this result, a polycrystal consisting of a certain number of austenitic grains is built and the phase transformation from austenite to martensite is described with respect to the mesoscale. Afterwards, in a two-scale Finite Element simulation the plastic effects are considered and resulting residual stress states are computed

Completeness of Flat Coalgebraic Fixpoint Logics

Modal fixpoint logics traditionally play a central role in computer science, in particular in artificial intelligence and concurrency. The mu-calculus and its relatives are among the most expressive logics of this type. However, popular fixpoint logics tend to trade expressivity for simplicity and readability, and in fact often live within the single variable fragment of the mu-calculus. The family of such flat fixpoint logics includes, e.g., LTL, CTL, and the logic of common knowledge. Extending this notion to the generic semantic framework of coalgebraic logic enables covering a wide range of logics beyond the standard mu-calculus including, e.g., flat fragments of the graded mu-calculus and the alternating-time mu-calculus (such as alternating-time temporal logic ATL), as well as probabilistic and monotone fixpoint logics. We give a generic proof of completeness of the Kozen-Park axiomatization for such flat coalgebraic fixpoint logics.Comment: Short version appeared in Proc. 21st International Conference on Concurrency Theory, CONCUR 2010, Vol. 6269 of Lecture Notes in Computer Science, Springer, 2010, pp. 524-53

O⋆O^\star-algebras and quantum dynamics: some existence results

We discuss the possibility of defining an algebraic dynamics within the settings of $O^\star$-algebras. Compared with our previous results on this subject, the main improvement here is that we are not assuming the existence of some hamiltonian for the {\em full} physical system. We will show that, under suitable conditions, the dynamics can still be defined via some limiting procedure starting from a given {\em regularized sequence}

Recurrent proofs of the irrationality of certain trigonometric values

We use recurrences of integrals to give new and elementary proofs of the irrationality of pi, tan(r) for all nonzero rational r, and cos(r) for all nonzero rational r^2. Immediate consequences to other values of the elementary transcendental functions are also discussed

Geometric, Variational Integrators for Computer Animation

We present a general-purpose numerical scheme for time integration of Lagrangian dynamical systems—an important computational tool at the core of most physics-based animation techniques. Several features make this particular time integrator highly desirable for computer animation: it numerically preserves important invariants, such as linear and angular momenta; the symplectic nature of the integrator also guarantees a correct energy behavior, even when dissipation and external forces are added; holonomic constraints can also be enforced quite simply; finally, our simple methodology allows for the design of high-order accurate schemes if needed. Two key properties set the method apart from earlier approaches. First, the nonlinear equations that must be solved during an update step are replaced by a minimization of a novel functional, speeding up time stepping by more than a factor of two in practice. Second, the formulation introduces additional variables that provide key flexibility in the implementation of the method. These properties are achieved using a discrete form of a general variational principle called the Pontryagin-Hamilton principle, expressing time integration in a geometric manner. We demonstrate the applicability of our integrators to the simulation of non-linear elasticity with implementation details

Generic Modal Cut Elimination Applied to Conditional Logics

We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies also to a wide variety of logics outside the realm of normal modal logic. We give extensive example instantiations of our framework to various conditional logics. For these, we obtain fully internalised calculi which are substantially simpler than those known in the literature, along with leaner proofs of cut elimination and complexity. In one case, conditional logic with modus ponens and conditional excluded middle, cut elimination and complexity were explicitly stated as open in the literature

A bright nanowire single photon source based on SiV centers in diamond

The practical implementation of many quantum technologies relies on the development of robust and bright single photon sources that operate at room temperature. The negatively charged silicon-vacancy (SiV-) color center in diamond is a possible candidate for such a single photon source. However, due to the high refraction index mismatch to air, color centers in diamond typically exhibit low photon out-coupling. An additional shortcoming is due to the random localization of native defects in the diamond sample. Here we demonstrate deterministic implantation of Si ions with high conversion efficiency to single SiV- centers, targeted to fabricated nanowires. The co-localization of single SiV- centers with the nanostructures yields a ten times higher light coupling efficiency than for single SiV- centers in bulk diamond. This enhanced photon out-coupling, together with the intrinsic scalability of the SiV- creation method, enables a new class of devices for integrated photonics and quantum science.Comment: 15 pages, 5 figure

Learning and predicting time series by neural networks

Artificial neural networks which are trained on a time series are supposed to achieve two abilities: firstly to predict the series many time steps ahead and secondly to learn the rule which has produced the series. It is shown that prediction and learning are not necessarily related to each other. Chaotic sequences can be learned but not predicted while quasiperiodic sequences can be well predicted but not learned.Comment: 5 page