Hyperfine splitting in non-relativistic QED: uniqueness of the dressed hydrogen atom ground state

We consider a free hydrogen atom composed of a spin-1/2 nucleus and a spin-1/2 electron in the standard model of non-relativistic QED. We study the Pauli-Fierz Hamiltonian associated with this system at a fixed total momentum. For small enough values of the fine-structure constant, we prove that the ground state is unique. This result reflects the hyperfine structure of the hydrogen atom ground state.Comment: 22 pages, 3 figure

Ground State and Resonances in the Standard Model of Non-relativistic QED

We prove existence of a ground state and resonances in the standard model of the non-relativistic quantum electro-dynamics (QED). To this end we introduce a new canonical transformation of QED Hamiltonians and use the spectral renormalization group technique with a new choice of Banach spaces.Comment: 50 pages change

Towards Interpretable Deep Learning Models for Knowledge Tracing

As an important technique for modeling the knowledge states of learners, the traditional knowledge tracing (KT) models have been widely used to support intelligent tutoring systems and MOOC platforms. Driven by the fast advancements of deep learning techniques, deep neural network has been recently adopted to design new KT models for achieving better prediction performance. However, the lack of interpretability of these models has painfully impeded their practical applications, as their outputs and working mechanisms suffer from the intransparent decision process and complex inner structures. We thus propose to adopt the post-hoc method to tackle the interpretability issue for deep learning based knowledge tracing (DLKT) models. Specifically, we focus on applying the layer-wise relevance propagation (LRP) method to interpret RNN-based DLKT model by backpropagating the relevance from the model's output layer to its input layer. The experiment results show the feasibility using the LRP method for interpreting the DLKT model's predictions, and partially validate the computed relevance scores from both question level and concept level. We believe it can be a solid step towards fully interpreting the DLKT models and promote their practical applications in the education domain

Blade loss transient dynamics analysis, volume 1. Task 1: Survey and perspective

An analytical technique was developed to predict the behavior of a rotor system subjected to sudden unbalance. The technique is implemented in the Turbine Engine Transient Rotor Analysis (TETRA) computer program using the component element method. The analysis was particularly aimed toward blade-loss phenomena in gas turbine engines. A dual-rotor, casing, and pylon structure can be modeled by the computer program. Blade tip rubs, Coriolis forces, and mechanical clearances are included. The analytical system was verified by modeling and simulating actual test conditions for a rig test as well as a full-engine, blade-release demonstration

Blade loss transient dynamics analysis, volume 2. Task 2: Theoretical and analytical development. Task 3: Experimental verification

The component element method was used to develop a transient dynamic analysis computer program which is essentially based on modal synthesis combined with a central, finite difference, numerical integration scheme. The methodology leads to a modular or building-block technique that is amenable to computer programming. To verify the analytical method, turbine engine transient response analysis (TETRA), was applied to two blade-out test vehicles that had been previously instrumented and tested. Comparison of the time dependent test data with those predicted by TETRA led to recommendations for refinement or extension of the analytical method to improve its accuracy and overcome its shortcomings. The development of working equations, their discretization, numerical solution scheme, the modular concept of engine modelling, the program logical structure and some illustrated results are discussed. The blade-loss test vehicles (rig full engine), the type of measured data, and the engine structural model are described

On the resistivity at low temperatures in electron-doped cuprate superconductors

We measured the magnetoresistance as a function of temperature down to 20mK and magnetic field for a set of underdoped PrCeCuO (x=0.12) thin films with controlled oxygen content. This allows us to access the edge of the superconducting dome on the underdoped side. The sheet resistance increases with increasing oxygen content whereas the superconducting transition temperature is steadily decreasing down to zero. Upon applying various magnetic fields to suppress superconductivity we found that the sheet resistance increases when the temperature is lowered. It saturates at very low temperatures. These results, along with the magnetoresistance, cannot be described in the context of zero temperature two dimensional superconductor-to-insulator transition nor as a simple Kondo effect due to scattering off spins in the copper-oxide planes. We conjecture that due to the proximity to an antiferromagnetic phase magnetic droplets are induced. This results in negative magnetoresistance and in an upturn in the resistivity.Comment: Accepted in Phys. Rev.

Importance of Different Regions of H-2 for MLC Stimulation 1

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/65829/1/j.1399-0039.1973.tb01008.x.pd

Absence of Ground States for a Class of Translation Invariant Models of Non-relativistic QED

We consider a class of translation invariant models of non-relativistic QED with net charge. Under certain natural assumptions we prove that ground states do not exist in the Fock space

The Tabby cat locus maps to feline chromosome B1.

The Tabby markings of the domestic cat are unique coat patterns for which no causative candidate gene has been inferred from other mammals. In this study, a genome scan was performed on a large pedigree of cats that segregated for Tabby coat markings, specifically for the Abyssinian (Ta-) and blotched (tbtb) phenotypes. There was linkage between the Tabby locus and eight markers on cat chromosome B1. The most significant linkage was between marker FCA700 and Tabby (Z = 7.56, theta = 0.03). Two additional markers in the region supported linkage, although not with significant LOD scores. Pairwise analysis of the markers supported the published genetic map of the cat, although additional meioses are required to refine the region. The linked markers cover a 17-cM region and flank an evolutionary breakpoint, suggesting that the Tabby gene has a homologue on either human chromosome 4 or 8. Alternatively, Tabby could be a unique locus in cats