Nanolasers grown on silicon

Integration of optical interconnects with silicon-based electronics can address the growing limitations facing chip-scale data transport as microprocessors become progressively faster. However, material lattice mismatch and incompatible growth temperatures have fundamentally limited monolithic integration of lasers onto silicon substrates until now. Here, we use a novel growth scheme to overcome this roadblock and directly grow on-chip InGaAs nanopillar lasers, demonstrating the potency of bottom-up nano-optoelectronic integration. Unique helically-propagating cavity modes are employed to strongly confine light within subwavelength nanopillars despite low refractive index contrast between InGaAs and silicon. These modes thereby provide an avenue for engineering on-chip nanophotonic devices such as lasers. Nanopillar lasers are as-grown on silicon, offer tiny footprints and scalability, and are thereby particularly suited to high-density optoelectronics. They may ultimately form the basis of the missing monolithic light sources needed to bridge the existing gap between photonic and electronic circuits.Comment: submitted to Nature Photonic

Enhanced acoustic mode coupling resulting from an internal solitary wave approaching the shelfbreak in the South China Sea

Author Posting. © Acoustical Society of America, 2013. This article is posted here by permission of Acoustical Society of America for personal use, not for redistribution. The definitive version was published in Journal of the Acoustical Society of America 133 (2013): 1306-1319, doi:10.1121/1.4789358.Internal waves and bathymetric variation create time- and space-dependent alterations in the ocean acoustic waveguide, and cause subsequent coupling of acoustic energy between propagating normal modes. In this paper, the criterion for adiabatic invariance is extended to the case of an internal solitary wave (ISW) encountering a sloping bathymetry (i.e., continental shelfbreak). Predictions based on the extended criterion for adiabatic invariance are compared to experimental observations from the Asian Seas International Acoustics Experiment. Using a mode 1 starter field, results demonstrate time-dependent coupling of mode 1 energy to higher adjacent modes, followed by abrupt coupling of mode 5–7 energy to nonadjacent modes 8–20, produces enhanced mode coupling and higher received levels downrange of the oceanographic and bathymetric features. Numerical simulations demonstrate that increasing ISW amplitude and seafloor slope enhance the coupling of energy to adjacent and nonadjacent modes. This enhanced coupling is the direct result of the simultaneous influence of the ISW and its proximity to the shelfbreak, and, compared to the individual effect of the ISW or shelfbreak, has the capacity to scatter 2–4 times the amount of acoustic energy from below the thermocline into the upper water column beyond the shelfbreak in realistic environments.The ASIAEX and NLIWI experiments were supported jointly by the National Science Council of Taiwan and the U.S. Office of Naval Research

Simplifying superstring and D-brane actions in AdS(4) x CP(3) superbackground

By making an appropriate choice for gauge fixing kappa-symmetry we obtain a relatively simple form of the actions for a D=11 superparticle in AdS(4) x S(7)/Z_k, and for a D0-brane, fundamental string and D2-branes in the AdS(4) x CP(3) superbackground. They can be used to study various problems of string theory and the AdS4/CFT3 correspondence, especially in regions of the theory which are not reachable by the OSp(6|4)/U(3) x SO(1,3) supercoset sigma-model. In particular, we present a simple form of the gauge-fixed superstring action in AdS(4) x CP(3) and briefly discuss issues of its T-dualization.Comment: 1+36 pages, v2,v3 clarifications and references adde

To Mask or Not to Mask

Reluctance to adopt mask-wearing as a preventive measure is widely observed in many Western societies since the beginning of the COVID-19 pandemics. This reluctance toward mask adoption, like any other complex social phenomena, will have multiple causes. Plausible explanations have been identified, including political polarization, skepticism about media reports and the authority of public health agencies, and concerns over liberty, amongst others. In this paper, we propose potential explanations hitherto unnoticed, based on the framework of epistemic injustice. We show how testimonial injustice and hermeneutical injustice may be at work to shape the reluctant mask adoption at both the societal and individual levels. We end by suggesting how overcoming these epistemic injustices can benefit the global community in this challenging situation and in the future

Synthetic Optical Coherence Tomography Angiographs for Detailed Retinal Vessel Segmentation Without Human Annotations

Optical coherence tomography angiography (OCTA) is a non-invasive imaging modality that can acquire high-resolution volumes of the retinal vasculature and aid the diagnosis of ocular, neurological and cardiac diseases. Segmenting the visible blood vessels is a common first step when extracting quantitative biomarkers from these images. Classical segmentation algorithms based on thresholding are strongly affected by image artifacts and limited signal-to-noise ratio. The use of modern, deep learning-based segmentation methods has been inhibited by a lack of large datasets with detailed annotations of the blood vessels. To address this issue, recent work has employed transfer learning, where a segmentation network is trained on synthetic OCTA images and is then applied to real data. However, the previously proposed simulations fail to faithfully model the retinal vasculature and do not provide effective domain adaptation. Because of this, current methods are unable to fully segment the retinal vasculature, in particular the smallest capillaries. In this work, we present a lightweight simulation of the retinal vascular network based on space colonization for faster and more realistic OCTA synthesis. We then introduce three contrast adaptation pipelines to decrease the domain gap between real and artificial images. We demonstrate the superior segmentation performance of our approach in extensive quantitative and qualitative experiments on three public datasets that compare our method to traditional computer vision algorithms and supervised training using human annotations. Finally, we make our entire pipeline publicly available, including the source code, pretrained models, and a large dataset of synthetic OCTA images

Natural HLA Class I Polymorphism Controls the Pathway of Antigen Presentation and Susceptibility to Viral Evasion

HLA class I polymorphism creates diversity in epitope specificity and T cell repertoire. We show that HLA polymorphism also controls the choice of Ag presentation pathway. A single amino acid polymorphism that distinguishes HLA-B*4402 (Asp116) from B*4405 (Tyr116) permits B*4405 to constitutively acquire peptides without any detectable incorporation into the transporter associated with Ag presentation (TAP)-associated peptide loading complex even under conditions of extreme peptide starvation. This mode of peptide capture is less susceptible to viral interference than the conventional loading pathway used by HLA-B*4402 that involves assembly of class I molecules within the peptide loading complex. Thus, B*4402 and B*4405 are at opposite extremes of a natural spectrum in HLA class I dependence on the PLC for Ag presentation. These findings unveil a new layer of MHC polymorphism that affects the generic pathway of Ag loading, revealing an unsuspected evolutionary trade-off in selection for optimal HLA class I loading versus effective pathogen evasion

Push-Button Verification for BitVM Implementations

Bitcoin, while being the most prominent blockchain with the largest market capitalization, suffers from scalability and throughput limitations that impede the development of ecosystem projects like Bitcoin Decentralized Finance (BTCFi). Recent advancements in BitVM propose a promising Layer 2 (L2) solution to enhance Bitcoin\u27s scalability by enabling complex computations off-chain with on-chain verification. However, Bitcoin\u27s constrained programming environment—characterized by its non-Turing-complete Script language lacking loops and recursion, and strict block size limits—makes developing complex applications labor-intensive, error-prone, and necessitates manual partitioning of scripts. Under this complex programming model, subtle mistakes could lead to irreversible damage in a trustless environment like Bitcoin. Ensuring the correctness and security of such programs becomes paramount. To address these challenges, we introduce the first formal verifier for BitVM implementations. Our approach involves designing a register-based, higher-level domain-specific language (DSL) that abstracts away complex stack operations, allowing developers to reason about program correctness more effectively while preserving the semantics of the low-level program. We present a formal computational model capturing the semantics of BitVM execution and Bitcoin script, providing a foundation for rigorous verification. To efficiently handle large programs and complex constraints arising from unrolled computations that simulate loops, we summarize repetitive loop-style computations using loop invariant predicates in our DSL. We leverage a counterexample-guided inductive synthesis (CEGIS) procedure to lift low-level Bitcoin script into our DSL, facilitating efficient verification without sacrificing accuracy. Evaluated on 78 benchmarks from BitVM implementations, our tool successfully verifies 83% of cases within 12.55 seconds on average and identified one previously unknown vulnerability, demonstrating its effectiveness in enhancing the security and reliability of BitVM

Acoustics and oceanographic observations collected during the QPE Experiment by Research Vessels OR1, OR2 and OR3 in the East China Sea in the Summer of 2009

This document describes data, sensors, and other useful information pertaining to the ONR sponsored QPE field program to quantify, predict and exploit uncertainty in observations and prediction of sound propagation. This experiment was a joint operation between Taiwanese and U.S. researchers to measure and assess uncertainty of predictions of acoustic transmission loss and ambient noise, and to observe the physical oceanography and geology that are necessary to improve their predictability. This work was performed over the continental shelf and slope northeast of Taiwan at two sites: one that was a relatively flat, homogeneous shelf region and a more complex geological site just shoreward of the shelfbreak that was influenced by the proximity of the Kuroshio Current. Environmental moorings and ADCP moorings were deployed and a shipboard SeaSoar vehicle was used to measure environmental spatial structure. In addition, multiple bottom moored receivers and a horizontal hydrophone array were deployed to sample transmission loss from a mobile source and ambient noise. The acoustic sensors, environmental sensors, shipboard resources, and experiment design, and their data, are presented and described in this technical report.Funding was provided by the Office of Naval Research under Contract No. N00014-08-1-076