SearcharxivSearch

arXiv subjects

David Young

Publications and source records attributed to David Young.

At least 19 recordsLinked to original sources

Preference-based Antibody Expression Ranking: Scaling with Large-scale Weak Supervision

Antibody expression ranking is a critical task in antibody design, yet its modelling is severely hindered by the scarcity of labeled experimental data. To address this, we propose a unified preference-based learning framework that integrates scarce quantitative expression data with large-scale weak positive supervision from immunization data. We adapt Direct Preference Optimization (DPO) to protein language models by introducing a union-masked log-likelihood approximation and IMGT-based alignment, enabling efficient training on variable-length sequences. Evaluating on a diverse internal dataset of 1254 labeled sequences and 4 million unlabeled camelid-derived antibodies, we show that our method consistently outperforms baselines on most metrics. Our results demonstrate that preference learning can effectively learn from weak supervision, providing a scalable solution for antibody expressibility optimization in data-constrained settings. Project page: https://kisoji-biotechnology-inc.github.io/Preference-Expression-Ranking/.

cs.LG

Energy-Conserved Neural Pipelines: Attenuating Error Propagation in Modular Neural Networks via Physical Conservation Constraints

Modular neural network pipelines suffer from error compounding: noise at any module boundary propagates and potentially amplifies through subsequent modules. We introduce energy conservation as a hard physical constraint on inter-module information flow. Activation energy (the squared L2 norm of feature vectors) is enforced to be exactly preserved at every module boundary. Unlike soft energy penalties, conservation is an inviolable law: the network may redistribute energy across neurons but cannot create or destroy it. Four experiments on CIFAR-10 demonstrate: (1) conservation retains 77.4% of clean accuracy at noise sigma=0.2, versus 35.1% for baselines and 30.9% for energy-penalized models (p<0.001, 5 seeds); (2) pipelines become depth-invariant, retaining 93.3% at depths 2 through 5 with noise at every boundary; (3) the advantage generalizes to systematic bias (+45.1%), Gaussian (+40.4%), and adversarial noise (+4.8%), with a principled non-effect on dropout (-0.3%); (4) on ResNet-18, the conservation advantage scales inversely with intrinsic normalization: +0.3 pp with BatchNorm, +26.2 pp without at sigma=0.2, reaching +58.0 pp at sigma=0.5. Experiment 5 validates the operator on a real modular robotic pipeline (MuJoCo physics, Franka Panda). Across three independent runs on separate machines (90 trials per cell), conservation provides +18.9 pp average advantage on monocular-depth-style noise. A formal bound proves conserved noise energy is strictly less than input noise energy.

cs.LG

The SOXS Spectrograph Instrument Control Software

SOXS (Son Of X-Shooter) is a new spectrograph for the European Southern Observatory (ESO), recently installed at the New Technology Telescope (NTT) at the La Silla Observatory, Chile. The main instrument goal consists in the characterization of transient sources, based on alerts. It covers from (partially) ultra-violet to visible and near-infrared bands, with a spectral resolution of R $\sim 4500$, using two separate, wavelength-optimized spectrographs. A scientific grade visible camera, primarily intended for target acquisition, also provides a "light imaging" mode. In this paper, we present the design of the SOXS Instrument Control Software, which is in charge of controlling all motors, calibration lamps and detectors, monitoring sensors and components' status, coordinating the execution of exposures, and implementing all observation, calibration and maintenance procedures. Given the extensive experience of the SOXS consortium in the development of instruments for the ESO Very Large Telescope (VLT), we decided to base the design of the Control System on the same standards, both for hardware and software control. We illustrate the control network, the instrument functions and detectors to be controlled, the overall design of SOXS Instrument Software (INS) and its main components. Then, we provide details about the control software for the most SOXS-specific components, and peculiar features: the piezoelectric tip-tilt corrector used for active compensation of mechanical flexures of the instrument; the cryogenic piezoelectric slit exchanger for the NIR spectrograph; the co-rotator monitoring system; and the control of the Commercial-Off-the-Shelf (COTS)- based imaging camera.

astro-ph.IM

Smule Renaissance Small: Efficient General-Purpose Vocal Restoration

Vocal recordings on consumer devices commonly suffer from multiple concurrent degradations: noise, reverberation, band-limiting, and clipping. We present Smule Renaissance Small (SRS), a compact single-stage model that performs end-to-end vocal restoration directly in the complex STFT domain. By incorporating phase-aware losses, SRS enables large analysis windows for improved frequency resolution while achieving 10.5x real-time inference on iPhone 12 CPU at 48 kHz. On the DNS 5 Challenge blind set, despite no speech training, SRS outperforms a strong GAN baseline and closely matches a computationally expensive flow-matching system. To enable evaluation under realistic multi-degradation scenarios, we introduce the Extreme Degradation Bench (EDB): 87 singing and speech recordings captured under severe acoustic conditions. On EDB, SRS surpasses all open-source baselines on singing and matches commercial systems, while remaining competitive on speech despite no speech-specific training. We release both SRS and EDB under the MIT License.

cs.SD

Narrowband Electromagnetic Coupling Matrix in Coupled-Resonator Microwave Circuits

A novel methodology to unleash electromagnetic coupling matrix information in coupled-resonator microwave circuits has been recently proposed [1]. This information is derived from Maxwell's equations and the natural language of electromagnetics is employed. As a result, the coupling matrix coefficients stand only for electromagnetics. In this work, we enhance this approach to reveal valuable design information for microwave engineering, showing the electromagnetic (EM) coupling among all EM resonators and ports. By the same token, the similarities with the well-known classical coupling matrix theory are addressed. We bridge this gap since the classical theory is the preferential language among microwave engineers. Classical coupling matrix theory is a narrowband model for electromagnetics. Thus, we carry out a narrowband approximation in the electromagnetic coupling matrix. This makes it possible to describe the EM coupling coefficients in the same framework as classical circuits. As a result, proper comparison between both coupling matrices is allowed. Finally, both coupling matrix approaches have a common ground, namely, get physical insight and valuable information for design purposes in coupled-resonator microwave circuits. However, only the electromagnetic coupling matrix details all EM behavior, including parasitic and leakage couplings, and the higher-order mode influence in the microwave circuit. Several microwave circuits, such as filters and diplexers, will show the possibilities of this new technique and its relation to classical coupling matrix theory.

eess.SY

The SOXS Instrument Control Software approaching the PAE

The Instrument Control Software of SOXS (Son Of X-Shooter), the forthcoming spectrograph for the ESO New Technology Telescope at the La Silla Observatory, has reached a mature state of development and is approaching the crucial Preliminary Acceptance in Europe phase. Now that all the subsystems have been integrated in the laboratories of the Padova Astronomical Observatory, the team operates for testing purposes with the whole instrument at both engineering and scientific level. These activities will make use of a set of software peculiarities that will be discussed in this contribution. In particular, we focus on the synoptic panel, the co-rotator system special device, on the Active Flexure Compensation system which controls two separate piezo tip-tilt devices.

astro-ph.IM

The status of the NIR arm of the SOXS Instrument toward the PAE

The Son Of X-Shooter (SOXS) is a single object spectrograph, built by an international consortium for the 3.58-m ESO New Technology Telescope at the La Silla Observatory [1]. It offers a simultaneous spectral coverage over 350-2000 nm, with two separate spectrographs. In this paper we present the status of the Near InfraRed (NIR) cryogenic echelle cross-dispersed spectrograph [1], in the range 0.80-2.00 {\mu}m with 15 orders, equipped with an 2k x 2k Hawaii H2RG IR array from Teledyne, working at 40K, that is currently assembled and tested on the SOXS instrument, in the premises of INAF in Padova. We describe the different tests and results of the cryo, vacuum, opto-mechanics and detector subsystems that finally will be part of the PAE by ESO.

astro-ph.IM

What is your favorite transient event? SOXS is almost ready to observe!

The Son Of X-Shooter (SOXS) will be the specialized facility to observe any transient event with a flexible scheduler at the ESO New Technology Telescope (NTT) at La Silla, Chile. SOXS is a single object spectrograph offering simultaneous spectral coverage in UV-VIS (350-850 nm) and NIR (800-2000 nm) wavelength regimes with an average of R~4500 for a 1arcsec slit. SOXS also has imaging capabilities in the visible wavelength regime. Currently, SOXS is being integrated at the INAF-Astronomical Observatory of Padova. Subsystem- and system-level tests and verification are ongoing to ensure and confirm that every requirement and performance are met. In this paper, we report on the integration and verification of SOXS as the team and the instrument prepare for the Preliminary Acceptance Europe (PAE).

astro-ph.IM

The integration of the SOXS control electronics towards the PAE

SOXS (Son Of X-Shooter) is the new single object spectrograph for the ESO New Technology Telescope (NTT) at the La Silla Observatory, able to cover simultaneously both the UV-VIS and NIR bands (350-2000 nm). The instrument is currently in the integration and test phase, approaching the Preliminary Acceptance in Europe (PAE) before shipment to Chile for commissioning. After the assembly and preliminary test of the control electronics at INAF - Astronomical Observatory of Capodimonte (Napoli), the two main control cabinets of SOXS are now hosted in Padova, connected to the real hardware. This contribution describes the final electronic cabinets layout, the control strategy and the different integration phases, waiting for the Preliminary Acceptance in Europe and the installation of the instrument in Chile.

astro-ph.IM

Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Extended Version)

Synthetic Separation Logic (SSL) is a formalism that powers SuSLik, the state-of-the-art approach for the deductive synthesis of provably-correct programs in C-like languages that manipulate Heap-based linked data structures. Despite its expressivity, SSL suffers from two shortcomings that hinder its utility. First, its main specification component, inductive predicates, only admits first-order definitions of data structure shapes, which leads to the proliferation of ''boiler-plate'' predicates for specifying common patterns. Second, SSL requires concrete definitions of data structures to synthesise programs that manipulate them, which results in the need to change a specification for a synthesis task every time changes are introduced into the layout of the involved structures. We propose to significantly lift the level of abstraction used in writing Separation Logic specifications for synthesis -- both simplifying the approach and making the specifications more usable and easy to read and follow. We avoid the need to repetitively re-state low-level representation details throughout the specifications -- allowing the reuse of different implementations of the same data structure by abstracting away the details of a specific layout used in memory. Our novel high-level front-end language called Pika significantly improves the expressiveness of SuSLik. We implemented a layout-agnostic synthesiser from Pika to SuSLik enabling push-button synthesis of C programs with in-place memory updates, along with the accompanying full proofs that they meet Separation Logic-style specifications, from high-level specifications that resemble ordinary functional programs. Our experiments show that our tool can produce C code that is comparable in its performance characteristics and is sometimes faster than Haskell.

cs.PL

Bandit Convex Optimisation Revisited: FTRL Achieves $\tilde{O}(t^{1/2})$ Regret

We show that a kernel estimator using multiple function evaluations can be easily converted into a sampling-based bandit estimator with expectation equal to the original kernel estimate. Plugging such a bandit estimator into the standard FTRL algorithm yields a bandit convex optimisation algorithm that achieves $\tilde{O}(t^{1/2})$ regret against adversarial time-varying convex loss functions.

cs.LG

Laboratory test of the VIS detector system of SOXS for the ESO-NTT telescope

SOXS is the new spectrograph for the ESO NTT telescope able to cover the optical and NIR bands thanks to two different arms: the UV-VIS (350-850 nm), and the NIR (800-2000 nm). In this article, we describe the final design of the visible camera cryostats, the test facilities for the CCD characterization, and the first results with the scientific detector. The UV-VIS detector system is based on a e2v CCD 44-82, a custom detector head coupled with the ESO Continuous Flowing Cryostat (CFC) cooling system and the New General Detector Controller (NGC) developed by ESO. The laboratory facility is based on an optical bench equipped with a Xenon lamp, filter wheels to select the wavelength, an integrating sphere, and a calibrated diode to measure the flux. This paper outlines the visible camera cryostat, the test facilities for the CCD characterization and the first results with the scientific detector in the laboratory and after the integration to the instrument.

astro-ph.IM

Progress on the SOXS NIR Spectrograph AIT

The Son Of X-Shooter (SOXS) is a single object spectrograph, built by an international consortium for the 3.58-m ESO New Technology Telescope at the La Silla Observatory, ranging from 350 to 2000 nm. In this paper, we present the progress in the AIT phase of the Near InfraRed (NIR) arm. We describe the different AIT phases of the cryo, vacuum, opto-mechanics and detector subsystems, that finally converged at the INAF-OAB premises in Merate (Italy), where the NIR spectrograph is currently being assembled and tested, before the final assembly on SOXS.

astro-ph.IM

SOXS AIT: a paradigm for system engineering of a medium class telescope instrument

SOXS (SOn of X-Shooter) is a high-efficiency spectrograph with a mean Resolution-Slit product of 3500 over the entire band capable of simultaneously observing the complete spectral range 350-2000 nm. It consists of three scientific arms (the UV-VIS Spectrograph, the NIR Spectrograph and the Acquisition Camera) connected by the Common Path system to the NTT, and the Calibration Unit. We present an overview of the flow from the scientific to the technical requirements, and the realization of the sub-systems. Further, we give an overview of the methodologies used for planning and managing the assembly of the sub-systems, their integration and tests before the acceptance of the instrument in Europe (PAE) along with the plan for the integration of SOXS to the NTT. SOXS could be used as an example for the system engineering of an instrument of moderate complexity, with a large geographic spread of the team.

astro-ph.IM

SN 2016dsg: A Thermonuclear Explosion Involving A Thick Helium Shell

A thermonuclear explosion triggered by a helium-shell detonation on a carbon-oxygen white dwarf core has been predicted to have strong UV line blanketing at early times due to the iron-group elements produced during helium-shell burning. We present the photometric and spectroscopic observations of SN 2016dsg, a sub-luminous peculiar Type I SN consistent with a thermonuclear explosion involving a thick He shell. With a redshift of 0.04, the $i$-band peak absolute magnitude is derived to be around -17.5. The object is located far away from its host, an early-type galaxy, suggesting it originated from an old stellar population. The spectra collected after the peak are unusually red, show strong UV line blanketing and weak O I $\lambda$7773 absorption lines, and do not evolve significantly over 30 days. An absorption line around 9700-10500 \AA is detected in the near-infrared spectrum and is likely from the unburnt helium in the ejecta. The spectroscopic evolution is consistent with the thermonuclear explosion models for a sub-Chandrasekhar mass white dwarf with a thick helium shell, while the photometric evolution is not well described by existing models.

astro-ph.SR

The AIV strategy of the Common Path of Son of X-Shooter

Son Of X-Shooter (SOXS) is a double-armed (UV-VIS, NIR) spectrograph designed to be mounted at the ESO-NTT in La Silla, now in its Assembly Integration and Verification (AIV) phase. The instrument is designed following a modular approach so that each sub-system can be integrated in parallel before their assembly at system level. INAF-Osservatorio Astronomico di Padova will deliver the Common Path (CP) sub-system, which represents the backbone of the entire instrument. In this paper, we describe the foreseen operation for the CP alignment and we report some results already achieved, showing that we envisaged the suitable setup and the strategy to meet the opto-mechanical requirements.

astro-ph.IM

SOXS: Effects on optical performances due to gravity flexures, temperature variations, and subsystems alignment

SOXS (Son Of X-Shooter) is the new medium resolution wide-band spectrograph to be installed at the 3.6m New Technology Telescope (NTT) in La Silla. SOXS will offer simultaneous wavelength coverage from 0.35 to 2.0 {\mu}m and will be dedicated to the study of transient and variable sources. While nominal optical performances of the system were presented in previous proceedings (arXiv:1809.01521), we here present a set of further analyses aimed to identify and quantify optical effects, due to changes in temperature and orientation of the instrument during alignment and operations.

astro-ph.IM