Imaging and Nulling with the Space Interferometry Mission

We present numerical simulations for a possible synthesis imaging mode of the Space Interferometer Mission (SIM). We summarize the general techniques that SIM offers to perform imaging of high surface brightness sources, and discuss their strengths and weaknesses. We describe an interactive software package that is used to provide realistic, photometrically correct estimates of SIM performance for various classes of astronomical objects. In particular, we simulate the cases of gaseous disks around black holes in the nuclei of galaxies, and zodiacal dust disks around young stellar objects. Regarding the first, we show that a Keplerian velocity gradient of the line-emitting gaseous disk -- and thus the mass of the putative black hole -- can be determined with SIM to unprecedented accuracy in about 5 hours of integration time for objects with H_alpha surface brigthness comparable to the prototype M 87. Detections and observations of exo-zodiacal dust disks depend critically on the disk properties and the nulling capabilities of SIM. Systems with similar disk size and at least one tenth of the dust content of beta Pic can be detected by SIM at distances between 100 pc and a few kpc, if a nulling efficiency of 1/10000 is achieved. Possible inner clear regions indicative of the presence of massive planets can also be detected and imaged. On the other hand, exo-zodiacal disks with properties more similar to the solar system will not be found in reasonable integration times with SIM.Comment: 28 pages, incl. 8 postscript figures, excl. 10 gif-figures Submitted to Ap

Perturbation Theory for Plasmonic Modulation and Sensing

We develop a general perturbation theory to treat small parameter changes in dispersive plasmonic nanostructures and metamaterials. We specifically apply it to dielectric refractive index, and metallic plasma frequency modulation in metal- dielectric nanostructures. As a numerical demonstration, we verify the theory's accu- racy against direct calculations, for a system of plasmonic rods in air where the metal is defined by a two-pole fit of silver's dielectric function. We also discuss new optical behavior related to plasma frequency modulation in such systems. Our approach provides new physical insight for the design of plasmonic devices for biochemical sensing and optical modulation, and future active metamaterial applications.Comment: 17 pages, 6 figure

lassopack: Model selection and prediction with regularized regression in Stata

This article introduces lassopack, a suite of programs for regularized regression in Stata. lassopack implements lasso, square-root lasso, elastic net, ridge regression, adaptive lasso and post-estimation OLS. The methods are suitable for the high-dimensional setting where the number of predictors $p$ may be large and possibly greater than the number of observations, $n$. We offer three different approaches for selecting the penalization (`tuning') parameters: information criteria (implemented in lasso2), $K$-fold cross-validation and $h$-step ahead rolling cross-validation for cross-section, panel and time-series data (cvlasso), and theory-driven (`rigorous') penalization for the lasso and square-root lasso for cross-section and panel data (rlasso). We discuss the theoretical framework and practical considerations for each approach. We also present Monte Carlo results to compare the performance of the penalization approaches.Comment: 52 pages, 6 figures, 6 tables; submitted to Stata Journal; for more information see https://statalasso.github.io

Familial hypomagnesaemia, Hypercalciuria and Nephrocalcinosis associated with a novel mutation of the highly conserved leucine residue 116 of Claudin 16 in a Chinese patient with a delayed diagnosis: A case report

Background: Sixty mutations of claudin 16 coding gene have been reported in familial hypomagnesemia with hypercalciuria and nephrocalcinosis (FHHNC) patients. Recent investigations revealed that a highly conserved glycine-leucine-tryptophan (115G-L-W117) motif in the first extracellular segment (ESC1) of claudin 16 might be essential for stabilization of the appropriately folded ECS1 structure and conservation of normal claudin 16 function. However, neither missense nor nonsense mutation has ever been described in this motif. Our study aimed at identifying mutations in a Chinese patient with FHHNC and exploring the association between genotype and phenotype. Case presentation: A 33-year-old female presented with 4 years history of recurrent acute pyelonephritis without other notable past medical history. Her healthy parents, who aged 56 and 53 respectively, were second cousins, and her only sibling died from renal failure without definite cause at age 25. Renal ultrasound imaging demonstrated atrophic kidneys and bilateral nephrocalcinosis. The laboratory workup revealed impaired renal function (Stage CKD IV), hypocalcemia and mild hypomagnesemia, accompanied with marked renal loss of magnesium and hypercalciuria. During the follow-up, treatment with calcitriol and calcium but not with magnesium was difficult to achieve normal serum calcium levels, whereas her serum magnesium concentration fluctuated within normal ranges. In the end, the patient unavoidably reached ESRD at 36 years old. The clinical features and family history suggested the diagnosis of FHHNC. To make a definite diagnosis, we use whole-exome sequencing to identify the disease-causing mutations and Sanger sequencing to confirm the mutation co-segregation in the family. As a result, a novel homozygous mutation (c.346C > G, p.Leu116Val) in115G-L-W117motif of claudin 16 was identified. Her parents, grandmother and one of her cousins carried heterozygous p.Leu116Val, whereas 200 unrelated controls did not carry this mutation. Conclusions: We described a delayed diagnosis patient with FHHNC in the Chinese population and identified a novel missense mutation in the highly conserved115G-L-W117motif of claudin 16 for the first time. According to the reported data and the information deduced from 3D modeling, we speculate that this mutation probably reserve partial residual function which might be related to the slight phenotype of the patient

Mechanical Response of He- Implanted Amorphous SiOC/ Crystalline Fe Nanolaminates

This study investigates the microstructural evolution and mechanical response of sputter-deposited amorphous silicon oxycarbide (SiOC)/crystalline Fe nanolaminates, a single layer SiOC film, and a single layer Fe film subjected to ion implantation at room temperature to obtain a maximum He concentration of 5 at. %. X-ray diffraction and transmission electron microscopy indicated no evidence of implantation-induced phase transformation or layer breakdown in the nanolaminates. Implantation resulted in the formation of He bubbles and an increase in the average size of the Fe grains in the individual Fe layers of the nanolaminates and the single layer Fe film, but the bubble density and grain size were found to be smaller in the former. By reducing the thicknesses of individual layers in the nanolaminates, bubble density and grain size were further decreased. No He bubbles were observed in the SiOC layers of the nanolaminates and the single layer SiOC film. Nanoindentation and scanning probe microscopy revealed an increase in the hardness of both single layer SiOC and Fe films after implantation. For the nanolaminates, changes in hardness were found to depend on the thicknesses of the individual layers, where reducing the layer thickness to 14 nm resulted in mitigation of implantation-induced hardening

Computational Soundness for Dalvik Bytecode

Automatically analyzing information flow within Android applications that rely on cryptographic operations with their computational security guarantees imposes formidable challenges that existing approaches for understanding an app's behavior struggle to meet. These approaches do not distinguish cryptographic and non-cryptographic operations, and hence do not account for cryptographic protections: f(m) is considered sensitive for a sensitive message m irrespective of potential secrecy properties offered by a cryptographic operation f. These approaches consequently provide a safe approximation of the app's behavior, but they mistakenly classify a large fraction of apps as potentially insecure and consequently yield overly pessimistic results. In this paper, we show how cryptographic operations can be faithfully included into existing approaches for automated app analysis. To this end, we first show how cryptographic operations can be expressed as symbolic abstractions within the comprehensive Dalvik bytecode language. These abstractions are accessible to automated analysis, and they can be conveniently added to existing app analysis tools using minor changes in their semantics. Second, we show that our abstractions are faithful by providing the first computational soundness result for Dalvik bytecode, i.e., the absence of attacks against our symbolically abstracted program entails the absence of any attacks against a suitable cryptographic program realization. We cast our computational soundness result in the CoSP framework, which makes the result modular and composable.Comment: Technical report for the ACM CCS 2016 conference pape

Bell Inequalities Classifying Bi-separable Three-qubit States

We present a set of Bell inequalities that gives rise to a finer classification of the entanglement for tripartite systems. These inequalities distinguish three possible bi-separable entanglements for three-qubit states. The three Bell operators we employed constitute an external sphere of the separable cube.Comment: 8 page