Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
28works
0followers
15topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2026arXiv

Multi-Agent Collaborative Reward Design for Enhancing Reasoning in Reinforcement Learning

We present CRM (Multi-Agent Collaborative Reward Model), a framework that replaces a single black-box reward model with a coordinated team of specialist evaluators to improve robustness and interpretability in RLHF. Conventional reward models struggle to jointly optimize multiple, sometimes conflicting, preference dimensions (e.g., factuality, helpfulness, safety) and offer limited transparency into why a score is assigned. CRM addresses these issues by decomposing preference evaluation into domain-specific agents that each produce partial signals, alongside global evaluators such as ranker-based and embedding-similarity rewards. A centralized aggregator fuses these signals at each timestep, balancing factors like step-wise correctness, multi-agent agreement, and repetition penalties, yielding a single training reward compatible with standard RL pipelines. The policy is optimized with advantage-based updates (e.g., GAE), while a value model regresses to the aggregated reward, enabling multi-perspective reward shaping without requiring additional human annotations beyond those used to train the evaluators. To support training and assessment, we introduce rewardBench, a benchmark and training suite aligned with the collaborative structure of CRM. Together, CRM and rewardBench provide a practical, modular path to more transparent reward modeling and more stable optimization.

preprint2026arXiv

S$^2$F: Principled Hybrid Testing With Fuzzing, Symbolic Execution, and Sampling

Hybrid testing that integrates fuzzing, symbolic execution, and sampling has demonstrated superior testing efficiency compared to individual techniques. However, the state-of-the-art (SOTA) hybrid testing tools do not fully exploit the capabilities of symbolic execution and sampling in two key aspects. First, the SOTA hybrid testing tools employ tailored symbolic execution engines that tend to over-prune branches, leading to considerable time wasted waiting for seeds from the fuzzer and missing opportunities to discover crashes. Second, existing methods do not apply sampling to the appropriate branches and therefore cannot utilize the full capability of sampling. To address these two limitations, we propose a novel hybrid testing architecture that combines the precision of conventional symbolic execution with the scalability of tailored symbolic execution engines. Based on this architecture, we propose several principles for combining fuzzing, symbolic execution, and sampling. We implement our method in a hybrid testing tool S$^2$F. To evaluate its effectiveness, we conduct extensive experiments on 15 real-world programs. Experimental results demonstrate that S$^2$F outperforms the SOTA tool, achieving an average improvement of 6.14% in edge coverage and 32.6% in discovered crashes. Notably, our tool uncovers three previously unknown crashes in real-world programs.

preprint2025arXiv

CUT: Pruning Pre-Trained Multi-Task Models into Compact Models for Edge Devices

Multi-task learning has garnered widespread attention in the industry due to its efficient data utilization and strong generalization capabilities, making it particularly suitable for providing high-quality intelligent services to users. Edge devices, as the primary platforms directly serving users, play a crucial role in delivering multi-task services. However, current multi-task models are often large, and user task demands are increasingly diverse. Deploying such models directly on edge devices not only increases the burden on these devices but also leads to task redundancy. To address this issue, this paper innovatively proposes a pre-trained multi-task model pruning method specifically designed for edge computing. The goal is to utilize existing pre-trained multi-task models to construct a compact multi-task model that meets the needs of edge devices. The specific implementation steps are as follows: First, decompose the tasks within the pre-trained multi-task model and select tasks based on actual user needs. Next, while retaining the knowledge of the original pre-trained model, evaluate parameter importance and use a parameter fusion method to effectively integrate shared parameters among tasks. Finally, obtain a compact multi-task model suitable for edge devices. To validate the effectiveness of the proposed method, we conducted experiments on three public image datasets. The experimental results fully demonstrate the superiority and efficiency of this method, providing a new solution for multi-task learning on edge devices.

preprint2025arXiv

Dynamical Architectures of S-type Transiting Planets in Binaries II: A Dichotomy in Orbital Alignment of Small Planets in Close Binary Systems

Stellar multiplicity plays a crucial role in shaping planet formation and dynamical evolution. We present a survey of 54 TESS Objects of Interest (TOIs) within 300 pc that exhibit significant Hipparcos-Gaia astrometric accelerations. We identified 35 TOIs with stellar companions at projected separations between $0.1^{\prime\prime}$ to $2^{\prime\prime}$ (or $10-200$ AU). We also identified 12 TOIs that could host planetary-mass or brown dwarf companions, including 6 that are newly discovered. Furthermore, we perform three-dimensional orbital characterization for 12 binaries hosting confirmed planets or planet candidates, allowing us to constrain the line-of-sight mutual inclination, $ΔI_{\mathrm{los}}$, between the planetary and binary orbits. Combining our sample with previous measurements, we apply Bayesian hierarchical analysis to a total of 26 binary systems with S-type transiting planets ($r_p<5R_{\oplus}$). Specifically, we fit the $ΔI_{\mathrm{los}}$ distribution with both single (Rayleigh) and mixture models (two-component Rayleigh and Rayleigh-isotropic mixture). We find the mixture models are strongly favored ($\log Z\gtrsim13.9$, or $\approx$5$σ$), indicating the observed planet-binary $ΔI_{\mathrm{los}}$ values likely originate from two underlying populations: one nearly aligned ($σ_1 = 2^{\circ}.4^{+0.7}_{-0.9}$) and one with more scattered mutual inclinations ($σ_2 = 23^{\circ}.6^{+8.8}_{-7.1}$). Alternatively, the misaligned systems can be equally well described by an isotropic distribution of inclinations. This observed dichotomy likely reflects different dynamical histories. Notably, the misaligned population only emerges in systems with stellar periastron distances $>40$ AU while systems with close-in or eccentric stellar companions (periastron distances $<40$ AU) preserve planet-binary alignment.

preprint2025arXiv

Multi-task Federated Learning with Encoder-Decoder Structure: Enabling Collaborative Learning Across Different Tasks

Federated learning has been extensively studied and applied due to its ability to ensure data security in distributed environments while building better models. However, clients participating in federated learning still face limitations, as clients with different structures or tasks cannot participate in learning together. In view of this, constructing a federated learning framework that allows collaboration between clients with different model structures and performing different tasks, enabling them to share valuable knowledge to enhance model efficiency, holds significant practical implications for the widespread application of federated learning. To achieve this goal, we propose a multi-task federated learning with encoder-decoder structure (M-Fed). Specifically, given the widespread adoption of the encoder-decoder architecture in current models, we leverage this structure to share intra-task knowledge through traditional federated learning methods and extract general knowledge from the encoder to achieve cross-task knowledge sharing. The training process is similar to traditional federated learning, and we incorporate local decoder and global decoder information into the loss function. The local decoder iteratively updates and gradually approaches the global decoder until sufficient cross-task knowledge sharing is achieved. Our method is lightweight and modular, demonstrating innovation compared to previous research. It enables clients performing different tasks to share general knowledge while maintaining the efficiency of traditional federated learning systems. We conducted experiments on two widely used benchmark datasets to verify the feasibility of M-Fed and compared it with traditional methods. The experimental results demonstrate the effectiveness of M-Fed in multi-task federated learning.

preprint2025arXiv

PEPSI Investigation, Retrieval, and Atlas of Numerous Giant Atmospheres (PIRANGA). IV. High-Resolution Phased-Resolved Spectroscopy of The Ultra Hot Jupiter KELT-20 b

We present five datasets of high-resolution optical emission spectra of the ultra-hot Jupiter KELT-20 b with the PEPSI spectrograph. Using a Bayesian retrieval framework, we constrain its dayside pressure-temperature profile and abundances of Fe, Ni, and Ca, providing the first measurements for Ni and Ca for KELT-20 b in emission. We retrieve the pre- and post-eclipse datasets separately (corresponding to the evening and morning sides, respectively), and compare the constraints on their thermal structures and chemical abundances. We constrain lower abundances in the pre-eclipse datasets compared to the post-eclipse datasets. We interpret these results with an equilibrium chemistry model which suggests ~10-30x supersolar refractory abundances. Due to the well-known degeneracy between absolute abundances and continuum opacities, the abundance ratios are more precise probes of the planetary abundances. Therefore we measure the abundance ratios [Ni/Fe] and [Ca/Fe] across these datasets and find they agree within 1-sigma. We constrain [Ni/Fe] to be consistent with solar within 2-sigma, and [Ca/Fe] to be 0.001-0.01x solar, not accounting for ionization. We compare these abundance ratios with literature results for KELT-20 b in transmission, and find they agree within 2-sigma, suggesting that even though the abundances vary significantly as a function of phase, the abundance ratios of these species remain relatively constant. We find a ~100 K difference in temperature at the top of the thermal inversion, suggesting a hotter evening side than morning side and underscoring the importance of considering 3D effects when studying ultra-hot Jupiters.

preprint2022arXiv

A Super-Earth Orbiting Near the Inner Edge of the Habitable Zone around the M4.5-dwarf Ross 508

We report the near-infrared radial-velocity (RV) discovery of a super-Earth planet on a 10.77-day orbit around the M4.5 dwarf Ross 508 ($J_\mathrm{mag}=9.1$). Using precision RVs from the Subaru Telescope IRD (InfraRed Doppler) instrument, we derive a semi-amplitude of $3.92^{+0.60}_{-0.58}$ ${\rm m\,s}^{-1}$, corresponding to a planet with a minimum mass $m \sin i = 4.00^{+0.53}_{-0.55}\ M_{\oplus}$. We find no evidence of significant signals at the detected period in spectroscopic stellar activity indicators or MEarth photometry. The planet, Ross 508 b, has a semimajor-axis of $0.05366^{+0.00056}_{-0.00049}$ au. This gives an orbit-averaged insolation of $\approx$1.4 times the Earth&#39;s value, placing Ross 508 b near the inner edge of its star&#39;s habitable zone. We have explored the possibility that the planet has a high eccentricity and its host is accompanied by an additional unconfirmed companion on a wide orbit. Our discovery demonstrates that the near-infrared RV search can play a crucial role to find a low-mass planet around cool M dwarfs like Ross 508.

preprint2022arXiv

A Unified Spectroscopic and Photometric Model to Infer Surface Inhomogeneity: Application to Luhman 16B

Extremely large telescopes (ELTs) provide an opportunity to observe surface inhomogeneities for ultracool objects including M dwarfs, brown dwarfs (BDs), and gas giant planets via Doppler imaging and spectro-photometry techniques. These inhomogeneities can be caused by star spots, clouds, and vortices. Star spots and associated stellar flares play a significant role in habitability, either stifling life or catalyzing abiogenesis depending on the emission frequency, magnitude, and orientation. Clouds and vortices may be the source of spectral and photometric variability observed at the L/T transition of BDs and are expected in gas giant exoplanets. We develop a versatile analytical framework to model and infer surface inhomogeneities which can be applied to both spectroscopic and photometric data. This model is validated against a slew of numerical simulations. Using archival spectroscopic and photometric data, we infer star spot parameters (location, size, and contrast) and generate global surface maps for Luhman 16B (an early T dwarf and one of our solar system&#39;s nearest neighbors at a distance of approximately 2 pc). We confirm previous findings that Luhman 16B&#39;s atmosphere is inhomogeneous with time-varying features. In addition, we provide tentative evidence of longer timescale atmospheric structures such as dark equatorial and bright mid-latitude to polar spots. These findings are discussed in the context of atmospheric circulation and dynamics for ultracool dwarfs. Our analytical model will be valuable in assessing the feasibility of using ELTs to study surface inhomogeneities of gas giant exoplanets and other ultracool objects.

preprint2022arXiv

KELT-9 as an eclipsing double-lined spectroscopic binary: a unique and self-consistent solution to the system

Transiting hot Jupiters present a unique opportunity to measure absolute planetary masses due to the magnitude of their radial velocity signals and known orbital inclination. Measuring planet mass is critical to understanding atmospheric dynamics and escape under extreme stellar irradiation. Here, we present the ultra-hot Jupiter system, KELT-9, as a double-lined spectroscopic binary. This allows us to directly and empirically constrain the mass of the star and its planetary companion, without reference to any theoretical stellar evolutionary models or empirical stellar scaling relations. Using data from the PEPSI, HARPS-N, and TRES spectrographs across multiple epochs, we apply least-squares deconvolution to measure out-of-transit stellar radial velocities. With the PEPSI and HARPS-N datasets, we measure in-transit planet radial velocities using transmission spectroscopy. By fitting the circular orbital solution that captures these Keplerian motions, we recover a planetary dynamical mass of 2.17 $\pm$ 0.56 $\mathrm{M_J}$ and stellar dynamical mass of 2.11 $\pm$ 0.78 $\mathrm{M_\odot}$, both of which agree with the discovery paper. Furthermore, we argue that this system, as well as systems like it, are highly overconstrained, providing multiple independent avenues for empirically cross-validating model-independent solutions to the system parameters. We also discuss the implications of this revised mass for studies of atmospheric escape.

preprint2022arXiv

Measuring Elemental Abundances of JWST Target Stars for Exoplanet Characterization I. FGK Stars

With the launch of the JWST, we will obtain more precise data for exoplanets than ever before. However, this data can only inform and revolutionize our understanding of exoplanets when placed in the larger context of planet-star formation. Therefore, gaining a deeper understanding of their host stars is equally important and synergistic with the upcoming JWST data. We present detailed chemical abundance profiles of 17 FGK stars that will be observed in exoplanet-focused Cycle 1 JWST observer programs. The elements analyzed (C, N, O, Na, Mg, Si, S, K, and Fe) were specifically chosen as being informative to the composition and formation of planets. Using archival high-resolution spectra from a variety of sources, we perform an LTE equivalent width analysis to derive these abundances. We look to literature sources to correct the abundances for non-LTE effects, especially for O, S, and K, where the the corrections are large (often $> 0.2~\textrm{dex}$). With these abundances and the ratios thereof, we will begin to paint clearer pictures of the planetary systems analyzed by this work. With our analysis, we can gain insight into the composition and extent of migration of Hot Jupiters, as well as the possibility of carbon-rich terrestrial worlds.

preprint2022arXiv

Nodal Precession and Tidal Evolution of Two Hot-Jupiters: WASP-33 b and KELT-9 b

Hot Jupiters orbiting rapidly rotating stars on inclined orbits undergo tidally induced nodal precession measurable over several years of observations. The Hot Jupiters WASP-33 b and KELT-9 b are particularly interesting targets as they are among the hottest planets found to date, orbiting relatively massive stars. Here, we analyze archival and new data that span 11 and 5 years for WASP-33 b and KELT-9 b, respectively, in order to to model and improve upon their tidal precession parameters. Our work confirms the nodal precession for WASP-33 b and presents the first clear detection of the precession of KELT-9 b. We determine that WASP-33 and KELT-9 have gravitational quadrupole moments $(6.3^{+1.2}_{-0.8})\times10^{-5}$ and $(3.26^{+0.93}_{-0.80})\times10^{-4}$, respectively. We estimate the planets&#39; precession periods to be $1460^{+170}_{-130}$ years and $890^{+200}_{-140}$ years, respectively, and that they will cease to transit their host stars around the years $2090^{+17}_{-10}$~CE and $2074^{+12}_{-10}$~CE, respectively. Additionally, we investigate both planets&#39; tidal and orbital evolution, suggesting that a high-eccentricity tidal migration scenario is possible to produce both system architectures and that they will most likely not be engulfed by their hosts before the end of their main sequence lifetimes.

preprint2022arXiv

Reach-avoid Verification Based on Convex Optimization

In this paper we propose novel optimization-based methods for verifying reach-avoid (or, eventuality) properties of continuous-time systems modelled by ordinary differential equations. Given a system, an initial set, a safe set and a target set of states, we say that the reach-avoid property holds if for all initial conditions in the initial set, any trajectory of the system starting at them will eventually, i.e.\ in unbounded yet finite time, enter the target set while remaining inside the safe set until that first target hit. Based on a discount value function, two sets of quantified constraints are derived for verifying the reach-avoid property via the computation of exponential/asymptotic guidance-barrier functions (they form a barrier escorting the system to the target set safely at an exponential or asymptotic rate). It is interesting to find that one set of constraints whose solution is termed exponential guidance-barrier functions is just a simplified version of the existing one derived from the moment based method, while the other one whose solution is termed asymptotic guidance-barrier functions is completely new. Furthermore, built upon this new set of constraints, we derive a set of more expressive constraints, which includes the aforementioned two sets of constraints as special instances, providing more chances for verifying the reach-avoid properties successfully. When the involved datum are polynomials, i.e., the initial set, safe set and target set are semi-algebraic, and the system has polynomial dynamics, the problem of solving these sets of constraints can be framed as a semi-definite optimization problem using sum-of-squares decomposition techniques and thus can be efficiently solved in polynomial time via interior point methods. Finally, several examples demonstrate the theoretical developments and performance of proposed methods.

preprint2022arXiv

Retrieving the C and O Abundances of HR 7672~AB: a Solar-Type Primary Star with a Benchmark Brown Dwarf

A benchmark brown dwarf (BD) is a BD whose properties (e.g., mass and chemical composition) are precisely and independently measured. Benchmark BDs are valuable in testing theoretical evolutionary tracks, spectral synthesis, and atmospheric retrievals for sub-stellar objects. Here, we report results of atmospheric retrieval on a synthetic spectrum and a benchmark BD -- HR 7672~B -- with \petit. First, we test the retrieval framework on a synthetic PHOENIX BT-Settl spectrum with a solar composition. We show that the retrieved C and O abundances are consistent with solar values, but the retrieved C/O is overestimated by 0.13-0.18, which is $\sim$4 times higher than the formal error bar. Second, we perform retrieval on HR 7672~B using high spectral resolution data (R=35,000) from the Keck Planet Imager and Characterizer (KPIC) and near infrared photometry. We retrieve [C/H], [O/H], and C/O to be $-0.24\pm0.05$, $-0.19\pm0.04$, and $0.52\pm0.02$. These values are consistent with those of HR 7672~A within 1.5-$σ$. As such, HR 7672~B is among only a few benchmark BDs (along with Gl 570~D and HD 3651~B) that have been demonstrated to have consistent elemental abundances with their primary stars. Our work provides a practical procedure of testing and performing atmospheric retrieval, and sheds light on potential systematics of future retrievals using high- and low-resolution data.

preprint2022arXiv

The PEPSI Exoplanet Transit Survey (PETS) I: Investigating the presence of a silicate atmosphere on the super-Earth 55 Cnc e

The study of exoplanets and especially their atmospheres can reveal key insights on their evolution by identifying specific atmospheric species. For such atmospheric investigations, high-resolution transmission spectroscopy has shown great success, especially for Jupiter-type planets. Towards the atmospheric characterization of smaller planets, the super-Earth exoplanet 55 Cnc e is one of the most promising terrestrial exoplanets studied to date. Here, we present a high-resolution spectroscopic transit observation of this planet, acquired with the PEPSI instrument at the Large Binocular Telescope. Assuming the presence of Earth-like crust species on the surface of 55 Cnc e, from which a possible silicate-vapor atmosphere could have originated, we search in its transmission spectrum for absorption of various atomic and ionized species such as Fe , Fe+, Ca , Ca+, Mg and K , among others. Not finding absorption for any of the investigated species, we are able to set absorption limits with a median value of 1.9 x RP. In conclusion, we do not find evidence of a widely extended silicate envelope on this super-Earth reaching several planetary radii.

preprint2022arXiv

Variable and super-sonic winds in the atmosphere of an ultra-hot giant planet

Hot Jupiters receive intense irradiation from their stellar hosts. The resulting extreme environments in their atmospheres allow us to study the conditions that drive planetary atmospheric dynamics, e.g., global-scale winds. General circulation models predict day-to-nightside winds and equatorial jets with speeds on the order of a few km $\mathrm{s^{-1}}$. To test these models, we apply high-resolution transmission spectroscopy using the PEPSI spectrograph on the Large Binocular Telescope to study the atmosphere of KELT-9 b, an ultra-hot Jupiter and currently the hottest known planet. We measure $\sim$10 km $\mathrm{s^{-1}}$ day-to-nightside winds traced by Fe II features in the planet&#39;s atmosphere. This is at odds with previous literature (including data taken with PEPSI), which report no significant day-to-nightside winds on KELT-9 b. We identify the cause of this discrepancy as due to an inaccurate ephemeris for KELT-9 b in previous literature. We update the ephemeris, which shifts the mid-transit time by up to 10 minutes for previous datasets, resulting in consistent detections of blueshifts in all the datasets analyzed here. Furthermore, a comparison with archival HARPS-N datasets suggests temporal wind variability $\sim$5-8 km $\mathrm{s^{-1}}$ over timescales between weeks to years. Temporal variability of atmospheric dynamics on hot Jupiters is a phenomenon anticipated by certain general circulation models that has not been observed over these timescales until now. However, such large variability as we measure on KELT-9 b challenges general circulation models, which predict much lower amplitudes of wind variability over timescales between days to weeks.

preprint2021arXiv

DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures

Applications depend on libraries to avoid reinventing the wheel. Libraries may have incompatible changes during evolving. As a result, applications will suffer from compatibility failures. There has been much research on addressing detecting incompatible changes in libraries, or helping applications co-evolve with the libraries. The existing solution helps the latest application version work well against the latest library version as an afterthought. However, end users have already been suffering from the failures and have to wait for new versions. In this paper, we propose DepOwl, a practical tool helping users prevent compatibility failures. The key idea is to avoid using incompatible versions from the very beginning. We evaluated DepOwl on 38 known compatibility failures from StackOverflow, and DepOwl can prevent 32 of them. We also evaluated DepOwl using the software repository shipped with Ubuntu-19.10. DepOwl detected 77 unknown dependency bugs, which may lead to compatibility failures.

preprint2021arXiv

Detecting Biosignatures in the Atmospheres of Gas Dwarf Planets with the James Webb Space Telescope

Exoplanets with radii between those of Earth and Neptune have stronger surface gravity than Earth, and can retain a sizable hydrogen-dominated atmosphere. In contrast to gas giant planets, we call these planets gas dwarf planets. The James Webb Space Telescope (JWST) will offer unprecedented insight into these planets. Here, we investigate the detectability of ammonia (NH$_{3}$, a potential biosignature) in the atmospheres of seven temperate gas dwarf planets using various JWST instruments. We use petitRadTRANS and PandExo to model planet atmospheres and simulate JWST observations under different scenarios by varying cloud conditions, mean molecular weights (MMWs), and NH$_{3}$ mixing ratios. A metric is defined to quantify detection significance and provide a ranked list for JWST observations in search of biosignatures in gas dwarf planets. It is very challenging to search for the 10.3--10.8 $μ$m NH$_{3}$ feature using eclipse spectroscopy with MIRI in the presence of photon and a systemic noise floor of 12.6 ppm for 10 eclipses. NIRISS, NIRSpec, and MIRI are feasible for transmission spectroscopy to detect NH$_{3}$ features from 1.5 $μ$m to 6.1 $μ$m under optimal conditions such as a clear atmosphere and low MMWs for a number of gas dwarf planets. We provide examples of retrieval analyses to further support the detection metric that we use. Our study shows that searching for potential biosignatures such as NH$_{3}$ is feasible with a reasonable investment of JWST time for gas dwarf planets given optimal atmospheric conditions.

preprint2021arXiv

Elemental abundances of nearby M dwarfs based on high-resolution near-infrared spectra obtained by the Subaru/IRD survey: Proof of concept

Detailed chemical analyses of M dwarfs are scarce but necessary to constrain the formation environment and internal structure of planets being found around them. We present elemental abundances of 13 M dwarfs (2900 < Teff < 3500 K) observed in the Subaru/IRD planet search project. They are mid-to-late M dwarfs whose abundance of individual elements has not been well studied. We use the high-resolution (~70,000) near-infrared (970-1750 nm) spectra to measure the abundances of Na, Mg, Si, K, Ca, Ti, V, Cr, Mn, Fe, and Sr by the line-by-line analysis based on model atmospheres, with typical errors ranging from 0.2 dex for [Fe/H] to 0.3-0.4 dex for other [X/H]. We measure radial velocities from the spectra and combine them with Gaia astrometry to calculate the Galactocentric space velocities UVW. The resulting [Fe/H] values agree with previous estimates based on medium-resolution K-band spectroscopy, showing a wide distribution of metallicity (-0.6 < [Fe/H] < +0.4). The abundance ratios of individual elements [X/Fe] are generally aligned with the solar values in all targets. While the [X/Fe] distributions are comparable to those of nearby FGK stars, most of which belong to the thin disk population, the most metal-poor object, GJ 699, could be a thick disk star. The UVW velocities also support this. The results raise the prospect that near-infrared spectra of M dwarfs obtained in the planet search projects can be used to grasp the trend of elemental abundances and Galactic stellar population of nearby M dwarfs.

preprint2021arXiv

Time-resolved rotational velocities in the upper atmosphere of WASP-33 b

While steady empirical progress has been made in understanding the structure and composition of hot planet atmospheres, direct measurements of velocity signatures, including winds, rotation, and jets, have lagged behind. Quantifying atmospheric dynamics of hot planets is critical to a complete understanding of their atmospheres and such measurements may even illuminate other planetary properties, such as magnetic field strengths. In this manuscript we present the first detection of the Balmer lines H$α$ and H$β$ in the atmosphere of the ultra-hot Jupiter WASP-33 b. Using atmospheric models which include the effects of atmospheric dynamics, we show that the shape of the average Balmer line transmission spectrum is consistent with rotational velocities in the planet&#39;s thermosphere of $v_\text{rot} = 10.1^{+0.8}_{-1.0}$ km s$^{-1}$. We also measure a low-significance day-to-night side velocity shift of $-4.6^{+3.4}_{-3.4}$ km s$^{-1}$ in the transmission spectrum which is naturally explained by a global wind across the planet&#39;s terminator. In a separate analysis the time-resolved velocity centroids of individual transmission spectra show unambiguous evidence of rotation, with a best-fit velocity of $10.0^{+2.4}_{-2.0}$ km s$^{-1}$, consistent with the value of $v_\text{rot}$ derived from the shape of the average Balmer line transmission spectrum. Our observations and analysis confirm the power of high signal-to-noise, time-resolved transmission spectra to measure the velocity structures in exoplanet atmospheres. The large rotational and wind velocities we measure highlight the need for more detailed 3D global climate simulations of the rarefied upper-atmospheres of ultra-hot gas giants.

preprint2020arXiv

Combining Symbolic Execution and Model Checking to Verify MPI Programs

Message passing is the standard paradigm of programming in high-performance computing. However, verifying Message Passing Interface (MPI) programs is challenging, due to the complex program features (such as non-determinism and non-blocking operations). In this work, we present MPI symbolic verifier (MPI-SV), the first symbolic execution based tool for automatically verifying MPI programs with non-blocking operations. MPI-SV combines symbolic execution and model checking in a synergistic way to tackle the challenges in MPI program verification. The synergy improves the scalability and enlarges the scope of verifiable properties. We have implemented MPI-SV (footnote: https://mpi-sv.github.io) and evaluated it with 111 real-world MPI verification tasks. The pure symbolic execution-based technique successfully verifies 61 out of the 111 tasks (55\%) within one hour, while in comparison, MPI-SV verifies 100 tasks (90\%). On average, compared with pure symbolic execution, MPI-SV achieves 19x speedups on verifying the satisfaction of the critical property and 5x speedups on finding violations.

preprint2020arXiv

Delay-Compensated Control of Sandwiched ODE-PDE-ODE Hyperbolic Systems for Oil Drilling and Disaster Relief

Motivated by engineering applications of subsea installation by deepwater construction vessels in oil drilling, and of aid delivery by unmanned aerial vehicles in disaster relief, we develop output-feedback boundary control of heterodirectional coupled hyperbolic PDEs sandwiched between two ODEs, where the measurement is the output state of one ODE and suffers a time delay. After rewriting the time-delay dynamics as a transport PDE of which the left boundary connects with the sandwiched system, a state observer is built to estimate the states of the overall system of ODE-heterodirectional coupled hyperbolic PDEs-ODE-transport PDE using the right boundary state of the last transport PDE. An observer-based output-feedback controller acting at the first ODE is designed to stabilize the overall system using backstepping transformations and frequency-domain designs. The exponential stability results of the closed-loop system, boundedness and exponential convergence of the control input are proved. The obtained theoretical result is applied to control of a deepwater oil drilling construction vessel as a simulation case, where the simulation results show the proposed control design reduces cable oscillations and places the oil drilling equipment to be installed in the target area on the sea floor. Performance deterioration under extreme and unmodeled disturbances is also illustrated.

preprint2020arXiv

EarthFinder Probe Mission Concept Study: Characterizing nearby stellar exoplanet systems with Earth-mass analogs for future direct imaging

EarthFinder is a NASA Astrophysics Probe mission concept selected for study as input to the 2020 Astrophysics National Academies Decadal Survey. The EarthFinder concept is based on a dramatic shift in our understanding of how PRV measurements should be made. We propose a new paradigm which brings the high precision, high cadence domain of transit photometry as demonstrated by Kepler and TESS to the challenges of PRV measurements at the cm/s level. This new paradigm takes advantage of: 1) broad wavelength coverage from the UV to NIR which is only possible from space to minimize the effects of stellar activity; 2) extremely compact, highly stable, highly efficient spectrometers (R>150,000) which require the diffraction-limited imaging possible only from space over a broad wavelength range; 3) the revolution in laser-based wavelength standards to ensure cm/s precision over many years; 4) a high cadence observing program which minimizes sampling-induced period aliases; 5) exploiting the absolute flux stability from space for continuum normalization for unprecedented line-by-line analysis not possible from the ground; and 6) focusing on the bright stars which will be the targets of future imaging missions so that EarthFinder can use a ~1.5 m telescope.

preprint2020arXiv

Keck/NIRC2 $L$&#39;-Band Imaging of Jovian-Mass Accreting Protoplanets around PDS 70

We present $L$&#39;-band imaging of the PDS 70 planetary system with Keck/NIRC2 using the new infrared pyramid wavefront sensor. We detected both PDS 70 b and c in our images, as well as the front rim of the circumstellar disk. After subtracting off a model of the disk, we measured the astrometry and photometry of both planets. Placing priors based on the dynamics of the system, we estimated PDS 70 b to have a semi-major axis of $20^{+3}_{-4}$~au and PDS 70 c to have a semi-major axis of $34^{+12}_{-6}$~au (95\% credible interval). We fit the spectral energy distribution (SED) of both planets. For PDS 70 b, we were able to place better constraints on the red half of its SED than previous studies and inferred the radius of the photosphere to be 2-3~$R_{Jup}$. The SED of PDS 70 c is less well constrained, with a range of total luminosities spanning an order of magnitude. With our inferred radii and luminosities, we used evolutionary models of accreting protoplanets to derive a mass of PDS 70 b between 2 and 4 $M_{\textrm{Jup}}$ and a mean mass accretion rate between $3 \times 10^{-7}$ and $8 \times 10^{-7}~M_{\textrm{Jup}}/\textrm{yr}$. For PDS 70 c, we computed a mass between 1 and 3 $M_{\textrm{Jup}}$ and mean mass accretion rate between $1 \times 10^{-7}$ and $5 \times~10^{-7} M_{\textrm{Jup}}/\textrm{yr}$. The mass accretion rates imply dust accretion timescales short enough to hide strong molecular absorption features in both planets&#39; SEDs.

preprint2020arXiv

Not Just Cloud Privacy: Protecting Client Privacy in Teacher-Student Learning

Ensuring the privacy of sensitive data used to train modern machine learning models is of paramount importance in many areas of practice. One recent popular approach to study these concerns is using the differential privacy via a &#34;teacher-student&#34; model, wherein the teacher provides the student with useful, but noisy, information, hopefully allowing the student model to perform well on a given task. However, these studies only solve the privacy concerns of the teacher by assuming the student owns a public but unlabelled dataset. In real life, the student also has privacy concerns on its unlabelled data, so as to inquire about privacy protection on any data sent to the teacher. In this work, we re-design the privacy-preserving &#34;teacher-student&#34; model consisting of adopting both private arbitrary masking and local differential privacy, which protects the sensitive information of each student sample. However, the traditional training of teacher model is not robust on any perturbed data. We use the adversarial learning techniques to improve the robustness of the perturbed sample that supports returning good feedback without having all private information of each student sample. The experimental results demonstrate the effectiveness of our new privacy-preserving &#34;teacher-student&#34; model.

preprint2020arXiv

On the Chemical Abundance of HR 8799 and the Planet c

Comparing chemical abundances of a planet and the host star reveals the origin and formation path. Stellar abundance is measured with high-resolution spectroscopy. Planet abundance, on the other hand, is usually inferred from low-resolution data. For directly imaged exoplanets, the data are available from a slew of high-contrast imaging/spectroscopy instruments. Here, we study the chemical abundance of HR 8799 and its planet c. We measure stellar abundance using LBT/PEPSI (R=120,000) and archival HARPS data: stellar [C/H], [O/H], and C/O are 0.11$\pm$0.12, 0.12$\pm$0.14, and 0.54$^{+0.12}_{-0.09}$, all consistent with solar values. We conduct atmospheric retrieval using newly obtained Subaru/CHARIS data together with archival Gemini/GPI and Keck/OSIRIS data. We model the planet spectrum with petitRADTRANS and conduct retrieval using PyMultiNest. Retrieved planetary abundance can vary by $\sim$0.5 dex, from sub-stellar to stellar C and O abundances. The variation depends on whether strong priors are chosen to ensure a reasonable planet mass. Moreover, comparison with previous works also reveals inconsistency in abundance measurements. We discuss potential issues that can cause the inconsistency, e.g., systematics in individual data sets and different assumptions in the physics and chemistry in retrieval. We conclude that no robust retrieval can be obtained unless the issues are fully resolved.

preprint2020arXiv

SIR Model-based Prediction of Infected Population of Coronavirus in Hubei Province

After the sudden outbreak of Coronavirus in Wuhan, continuous and rich data of the epidemic has been made public as the vital fact for decision support in control measures and aggressive implementation of containment strategies and plans. With the further growth and spreading of the virus, future resource allocation and planning under updated strategies and measures rely on careful study of the epidemic data and characteristics for accurate prediction and estimation. By using the SIR model and reported data, key parameters are obtained from least sum of squared errors for an accurate prediction of epidemic trend in the last four weeks.

preprint2020arXiv

Vibration Suppression for Coupled Wave PDEs in Deep-Sea Construction

A deep-sea construction vessel is used to install underwater parts of an off-shore oil drilling platform at the designated locations on the seafloor. By using extended Hamilton&#39;s principle, a nonlinear PDE system governing the lateral-longitudinal coupled vibration dynamics of the deep-sea construction vessel consisting of a time-varying-length cable with an attached item is derived, and it is linearized at the steady state generating a linear PDE model, which is extended to a more general system including two coupled wave PDEs connected with two interacting ODEs at the uncontrolled boundaries. Through a preliminary transformation, an equivalent reformulated plant is generated as a 4*4 coupled heterodirectional hyperbolic PDE-ODE system characterized by spatially-varying coefficients on a time-varying domain. To stabilize such a system, an observer-based output-feedback control design is proposed, where the measurements are only placed at the actuated boundary of the PDE, namely, at the platform at the sea surface. The exponential stability of the closed-loop system, boundedness and exponential convergence of the control inputs, are proved via Lyapunov analysis. The obtained theoretical result is tested on a nonlinear model with ocean disturbances, even though the design is developed in the absence of such real-world effects.

preprint2014arXiv

Thickness-shear Frequencies of an Infinite Quartz Plate with Material Property Variation Along the Thickness

Properties of the quartz crystal blank of a resonator is assumed homogeneous, uniform, and perfect in design, manufacturing, and applications. As end products, quartz crystal resonators are frequently exposed to gases and liquids which can cause surface damage and internal degradation of blanks under increasingly hostile conditions. The combination of service conditions and manufacturing process including chemical etching and polishing can inevitably modify the surface of quartz crystal blanks with changes of material properties, raising the question of what will happen to vibrations of quartz crystal resonators of thickness-shear type if such modifications to blanks are to be evaluated for sensitive applications. Such questions have been encountered in other materials and structures with property variations either on purpose or as the effect of environmental or natural processes commonly referred to as functionally graded materials, or FGMs. Analyses have been done in applications as part of studies on FGMs in structural as well as in acoustic wave device applications. A procedure based on series solutions has been developed in the evaluation of frequency changes and features in an infinite quartz crystal plate of AT-cut with the symmetric material variation pattern given in a cosine function with the findings that the vibration modes are now closely coupled. These results can be used in the evaluation of surface damage and corrosion of quartz crystal blanks of resonators in sensor applications or development of new structures of resonators.