Formulating the Net Gain of MISO-SFN in the Presence of Self-Interferences

In this study, an analytical formula for multiple-input single-output single frequency network gain (MISO-SFNG) is investigated. To formulate the net MISO-SFNG, we derived the average signal to interference plus noise ratio (SINR) where the gain achieved by the distributed MISO diversity as a function of power imbalance is curve-fitted. Further, we analyzed the losses owing to self-interferences resulting from the delay spread and imperfect channel estimation. We verified the accuracy and effectiveness of the derived formula by comparing the measurement results with the analytical results. The derived formula helps to understand how various system factors affect the gain under a given condition. The formula can be used to evaluate the MISO-SFNG and to predict the MISO-SFN coverage in various system configurations

Synthesizing framework models for symbolic execution

Symbolic execution is a powerful program analysis technique, but it is difficult to apply to programs built using frameworks such as Swing and Android, because the framework code itself is hard to symbolically execute. The standard solution is to manually create a framework model that can be symbolically executed, but developing and maintaining a model is difficult and error-prone. In this paper, we present Pasket, a new system that takes a first step toward automatically generating Java framework models to support symbolic execution. Pasket's focus is on creating models by instantiating design patterns. Pasket takes as input class, method, and type information from the framework API, together with tutorial programs that exercise the framework. From these artifacts and Pasket's internal knowledge of design patterns, Pasket synthesizes a framework model whose behavior on the tutorial programs matches that of the original framework. We evaluated Pasket by synthesizing models for subsets of Swing and Android. Our results show that the models derived by Pasket are sufficient to allow us to use off-the-shelf symbolic execution tools to analyze Java programs that rely on frameworks.National Science Foundation (U.S.) (CCF-1139021)National Science Foundation (U.S.) (CCF-1139056)National Science Foundation (U.S.) (CCF-1161775

Long-range supercurrents through a chiral non-collinear antiferromagnet in lateral Josephson junctions

The proximity-coupling of a chiral non-collinear antiferromagnet (AFM)1,2,3,4,5 with a singlet superconductor allows spin-unpolarized singlet Cooper pairs to be converted into spin-polarized triplet pairs6,7,8, thereby enabling non-dissipative, long-range spin correlations9,10,11,12,13,14. The mechanism of this conversion derives from fictitious magnetic fields that are created by a non-zero Berry phase15 in AFMs with non-collinear atomic-scale spin arrangements1,2,3,4,5. Here we report long-ranged lateral Josephson supercurrents through an epitaxial thin film of the triangular chiral AFM Mn3Ge (refs. 3,4,5). The Josephson supercurrents in this chiral AFM decay by approximately one to two orders of magnitude slower than would be expected for singlet pair correlations9,10,11,12,13,14 and their response to an external magnetic field reflects a clear spatial quantum interference. Given the long-range supercurrents present in both single- and mixed-phase Mn3Ge, but absent in a collinear AFM IrMn16, our results pave a way for the topological generation of spin-polarized triplet pairs6,7,8 via Berry phase engineering15 of the chiral AFMs

Production and optical properties of liquid scintillator for the JSNS2^{2} experiment

The JSNS$^{2}$ (J-PARC Sterile Neutrino Search at J-PARC Spallation Neutron Source) experiment will search for neutrino oscillations over a 24 m short baseline at J-PARC. The JSNS$^{2}$ inner detector will be filled with 17 tons of gadolinium-loaded liquid scintillator (LS) with an additional 31 tons of unloaded LS in the intermediate $\gamma$-catcher and outer veto volumes. JSNS$^{2}$ has chosen Linear Alkyl Benzene (LAB) as an organic solvent because of its chemical properties. The unloaded LS was produced at a refurbished facility, originally used for scintillator production by the RENO experiment. JSNS$^{2}$ plans to use ISO tanks for the storage and transportation of the LS. In this paper, we describe the LS production, and present measurements of its optical properties and long term stability. Our measurements show that storing the LS in ISO tanks does not result in degradation of its optical properties.Comment: 7 pages, 4 figures

Isobar of an ideal Bose gas within the grand canonical ensemble

We investigate the isobar of an ideal Bose gas confined in a cubic box within the grand canonical ensemble, for a large yet finite number of particles, N. After solving the equation of the spinodal curve, we derive precise formulae for the supercooling and the superheating temperatures which reveal an N^{-1/3} or N^{-1/4} power correction to the known Bose-Einstein condensation temperature in the thermodynamic limit. Numerical computations confirm the accuracy of our analytical approximation, and further show that the isobar zigzags on the temperature-volume plane if N is greater than or equal to 14393. In particular, for the Avogadro's number of particles, the volume expands discretely about 10^5 times. Our results quantitatively agree with a previous study on the canonical ensemble within 0.1% error.Comment: 6 pages, 2 figures; Reference added. Accepted for publication in Phys. Rev.

Role of two-dimensional ising superconductivity in the nonequilibrium quasiparticle spin-to-charge conversion efficiency

Nonequilibrium studies of two-dimensional (2D) superconductors (SCs) with Ising spin–orbit coupling are prerequisite for their successful application to equilibrium spin-triplet Cooper pairs and, potentially, Majorana Fermions. By taking advantage of the recent discoveries of 2D SCs and their compatibility with any other materials, we fabricate here nonlocal magnon devices to examine how such 2D Ising superconductivity affects the conversion efficiency of magnon spin to quasiparticle charge in superconducting flakes of 2H-NbSe2 transferred onto ferrimagnetic insulating Y3Fe5O12. Comparison with a reference device based on a conventionally paired superconductor shows that the Y3Fe5O12-induced in-plane (IP) exchange spin-splitting in the NbSe2 flake is hindered by its inherent out-of-plane (OOP) spin–orbit field, which, in turn, limits the transition-state enhancement of the spin-to-charge conversion efficiency. Our out-of-equilibrium study highlights the significance of symmetry matching between underlying Cooper pairs and exchange-induced spin-splitting for the giant transition-state spin-to-charge conversion and may have implications toward proximity-engineered spin-polarized triplet pairing via tuning the relative strength of IP exchange and OOP spin–orbit fields in ferromagnetic insulator/2D Ising SC bilayers

Syntactic comprehension of relative clauses and center embedding using pseudowords

Relative clause (RC) formation and center embedding (CE) are two primary syntactic operations fundamental for creating and understanding complex sentences. Ample evidence from previous cross-linguistic studies has revealed several similarities and differences between RC and CE. However, it is not easy to investigate the effect of pure syntactic constraints for RC and CE without the interference of semantic and pragmatic interactions. Here, we show how readers process CE and RC using a self-paced reading task in Korean. More interestingly, we adopted a novel self-paced pseudoword reading task to exploit syntactic operations of the RC and CE, eliminating the semantic and pragmatic interference in sentence comprehension. Our results showed that the main effects of RC and CE conform to previous studies. Furthermore, we found a facilitation effect of sentence comprehension when we combined an RC and CE in a complex sentence. Our study provides a valuable insight into how the purely syntactic processing of RC and CE assists comprehension of complex sentences