Inverse proximity effect in superconductors near ferromagnetic material

We study the electronic density of states in a mesoscopic superconductor near a transparent interface with a ferromagnetic metal. In our tunnel spectroscopy experiment, a substantial density of states is observed at sub-gap energies close to a ferromagnet. We compare our data with detailed calculations based on the Usadel equation, where the effect of the ferromagnet is treated as an effective boundary condition. We achieve an excellent agreement with theory when non-ideal quality of the interface is taken into account.Comment: revised, 7 pages, 3 figure

Observation of shot-noise-induced asymmetry in the Coulomb blockaded Josephson junction

We have investigated the influence of shot noise on the IV-curves of a single mesoscopic Josephson junction. We observe a linear enhancement of zero-bias conductance of the Josephson junction with increasing shot noise power. Moreover, the IV-curves become increasingly asymmetric. Our analysis on the asymmetry shows that the Coulomb blockade of Cooper pairs is strongly influenced by the non-Gaussian character of the shot noise.Comment: 4 pages, 5 figures, RevTE

Theory of the propagation of coupled waves in arbitrarily-inhomogeneous stratified media

We generalize the invariant imbedding theory of the wave propagation and derive new invariant imbedding equations for the propagation of arbitrary number of coupled waves of any kind in arbitrarily-inhomogeneous stratified media, where the wave equations are effectively one-dimensional. By doing this, we transform the original boundary value problem of coupled second-order differential equations to an initial value problem of coupled first-order differential equations, which makes the numerical solution of the coupled wave equations much easier. Using the invariant imbedding equations, we are able to calculate the matrix reflection and transmission coefficients and the wave amplitudes inside the inhomogeneous media exactly and efficiently. We establish the validity and the usefulness of our results by applying them to the propagation of circularly-polarized electromagnetic waves in one-dimensional photonic crystals made of isotropic chiral media. We find that there are three kinds of bandgaps in these structures and clarify the nature of these bandgaps by exact calculations.Comment: 7 pages, 1 figure, to appear in Europhys. Let

Full-wave invisibility of active devices at all frequencies

There has recently been considerable interest in the possibility, both theoretical and practical, of invisibility (or "cloaking") from observation by electromagnetic (EM) waves. Here, we prove invisibility, with respect to solutions of the Helmholtz and Maxwell's equations, for several constructions of cloaking devices. Previous results have either been on the level of ray tracing [Le,PSS] or at zero frequency [GLU2,GLU3], but recent numerical [CPSSP] and experimental [SMJCPSS] work has provided evidence for invisibility at frequency $k\ne 0$. We give two basic constructions for cloaking a region $D$ contained in a domain $\Omega$ from measurements of Cauchy data of waves at \p \Omega; we pay particular attention to cloaking not just a passive object, but an active device within $D$, interpreted as a collection of sources and sinks or an internal current.Comment: Final revision; to appear in Commun. in Math. Physic

Loftid Aeroshell Engineering Development Unit Structural Testing

NASAs Hypersonic Inflatable Aerodynamic Decelerator (HIAD) technology was selected for a Technology Demonstration Mission under the Space Technology Mission Directorate in 2017. HIAD is an enabling technology that can facilitate atmospheric entry of heavy payloads to planets such as Earth and Mars using a deployable aeroshell. The deployable nature of the HIAD technology allows it to avoid the size constraints imposed on current rigid aeroshell entry systems. This enables use of larger aeroshells resulting in increased entry system performance (e.g. higher pay-load mass and/or volume, higher landing altitude at Mars). The Low Earth Orbit Flight Test of an Inflatable Decelerator (LOFTID) is currently scheduled for late-2021. LOFTID will be launched out of Vandenberg Air Force Base as a secondary payload on an Atlas V rocket. The flight test features a 6m diameter, 70-deg sphere-cone aeroshell and will provide invaluable high-energy orbital re-entry flight data. This data will be essential in supporting the HIAD team to mature the technology to diameters of 10m and greater. Aeroshells of this scale are applicable to potential near-term commercial applications and future NASA missions. Currently the LOFTID project has completed fabrication of the engineering design unit (EDU) inflatable structure (IS) and the flexible thermal protection system (F-TPS). These two components along with the rigid nose and center body comprise the HIAD aeroshell system. This EDU aeroshell is the precursor to the LOFTID aeroshell that will be used for flight. The EDU was built to verify the design given the subtle differences between the LOFTID aeroshell and past aeroshell designs that have been fabricated under the NASA HIAD project. To characterize the structural performance of the LOFTID aeroshell design, three structural tests will be performed. The first test to be conducted is static load testing, which will induce a uniform load across the forward surface of the aeroshell to simulate the expected pressure forces during atmospheric entry. The IS integrated with the rigid center body will first be tested alone to provide data for analytical model correlation, and then the F-TPS will be integrated for a second series of static load testing of the full aeroshell system. Instrumentation will be employed during the test series to measure component loads during testing, and a laser scanner will be used to generate a 3D map of the aeroshell surface to verify that the shape of the structure is acceptable at the simulated flight loads. After static load testing, pack and deployment testing will be conducted multiple times on the integrated system to demonstrate the aeroshells ability to fit within the required packed volume for the LOFTID mission without experiencing significant damage. Finally, the aeroshell will undergo modal testing to characterize its structural response. This presentation will discuss the setup and execution of each of the three tests that the EDU aeroshell will undergo. In addition, initial results of the testing will be presented outlining key findings as LOFTID moves for-ward with fabrication of the flight aeroshell

On handling urban informality in southern Africa

In this article I reconsider the handling of urban informality by urban planning and management systems in southern Africa. I argue that authorities have a fetish about formality and that this is fuelled by an obsession with urban modernity. I stress that the desired city, largely inspired by Western notions of modernity, has not been and cannot be realized. Using illustrative cases of top–down interventions, I highlight and interrogate three strategies that authorities have deployed to handle informality in an effort to create or defend the modern city. I suggest that the fetish is built upon a desire for an urban modernity based on a concept of formal order that the authorities believe cannot coexist with the “disorder” and spatial “unruliness” of informality. I question the authorities' conviction that informality is an abomination that needs to be “converted”, dislocated or annihilated. I conclude that the very configuration of urban governance and socio-economic systems in the region, like the rest of sub-Saharan Africa, renders informality inevitable and its eradication impossible

On Second-Order Monadic Monoidal and Groupoidal Quantifiers

We study logics defined in terms of second-order monadic monoidal and groupoidal quantifiers. These are generalized quantifiers defined by monoid and groupoid word-problems, equivalently, by regular and context-free languages. We give a computational classification of the expressive power of these logics over strings with varying built-in predicates. In particular, we show that ATIME(n) can be logically characterized in terms of second-order monadic monoidal quantifiers