title: Empirical Contrast Model for High-Contrast Imaging -- A VLT/SPHERE Case Study

abstract: The ability to accurately predict the contrast achieved from high contrast imagers is important for efficient scheduling and quality control measures in modern observatories. We aim to consistently predict and measure the raw contrast achieved by SPHERE/IRDIS on a frame by frame basis to improve the efficiency and scientific yield with SPHERE at the Very Large Telescope (VLT).Contrast curves were calculated for over 5 years of archival data using the most common SPHERE/IRDIS coronagraphic mode in the H2/H3 dual band filter, consisting of approximately 80,000 individual frames. These were merged and interpolated with atmospheric data to create a large data-base of contrast curves with associated features. An empirical power law model for contrast, motivated by physical considerations, was then trained and finally tested on an out-of-sample test data set. At an angular separation of 300 mas, the contrast model achieved a mean (out-of-sample) test error of 0.13 magnitudes with the residual 5-95% percentiles between -0.23 and 0.64 magnitude respectively. The models test set root mean square error (RMSE) between 250-600 mas was between 0.31 - 0.40 magnitudes which is equivalent with other state-of-the-art contrast models presented in the literature. In general, the model performed best for targets between 5-9 G-band magnitude, with degraded performance for targets outside this range. This model is currently being incorporated into the Paranal SCUBA software for first level quality control and real time scheduling support.


title: Charged spinning fermionic configurations and a mass gap

abstract: We consider a self-consistent axially symmetric system supported by a classical nonlinear spinor field minimally coupled to electric and magnetic Maxwell fields. The presence of the nonlinearity of the spinor field ensures the existence of a minimum positive energy of the system (a mass gap), of a minimum charge (a charge gap), and of a minimum magnetic moment. In turn, the presence of the electric charge results in qualitative changes in the behavior of physical characteristics of the systems under consideration as compared with the case of an electrically neutral spinor field. It is shown that, with a suitable choice of free system parameters, there exists a regular finite-energy particlelike solution describing a localized spinning object whose physical parameters correspond to the main characteristics of an electron/positron (including the spin equal to $1/2$), but with the characteristic size comparable to the corresponding Compton wavelength. Also, we show that four local Dirac equations are equivalent to two nonlocal equations.


title: Equivalence between definitions of the gravitational deflection angle of light for a stationary spacetime

abstract: The Gibbons-Werner-Ono-Ishihara-Asada method for gravitational lensing in a stationary spacetime has been recently reexamined [Huang and Cao, arXiv:2306.04145], in which the gravitational deflection angle of light based on the Gauss-Bonnet theorem can be rewritten as a line integral of two functions $H$ and $T$. The present paper proves that the Huang-Cao line integral definition and the Ono-Ishihara-Asada one [Phys. Rev. D 96, 104037 (2017)] are equivalent to each other, whatever asymptotic regions are. A remark is also made concerning the direction of a light ray in a practical use of these definitions.


title: Two Types of Gaussian Processes and their Application to Statistical Estimations for Non-ergodic Vasicek Model

abstract: For the non-ergodic Vasicek model driven by one of two types of Gaussian process $(G_t)_{t\in[0,T]}$, we obtain the joint asymptotic distribution of the estimations of the three parameters $ \theta,\mu$ and $\alpha=\mu\theta$ of the model. A novel contribution is the identification of three different types of scaling in the asymptotic behavior of the estimator $\hat{\theta}_T$ of $\theta$. The proof is based on a slight modification of the idea of Es-Sebaiy(2021). The two types of Gaussian process $(G)$ satisfy that either its first-order partial derivative of the covariance function or the difference between its covariance function and that of the fractional Brownian motion $(B^H)_{t\in[0,T]}$ is a normalized bounded variation function. There are ten Gaussian processes with nonstationary increments in the literature that belong to this category, and nine of them can be used as driven noise for the Vasicek model to obtain the joint asymptotic distribution. The same result concerning the non-ergodic Ornstein Uhlenbeck process is a by-product.


title: Quantum spin nematic phase in a square-lattice iridate

abstract: Spin nematic (SN) is a magnetic analog of classical liquid crystals, a fourth state of matter exhibiting characteristics of both liquid and solid. Particularly intriguing is a valence-bond SN, in which spins are quantum entangled to form a multi-polar order without breaking time-reversal symmetry, but its unambiguous experimental realization remains elusive. Here, we establish a SN phase in the square-lattice iridate Sr$_2$IrO$_4$, which approximately realizes a pseudospin one-half Heisenberg antiferromagnet (AF) in the strong spin-orbit coupling limit. Upon cooling, the transition into the SN phase at T$_C$ $\approx$ 263 K is marked by a divergence in the static spin quadrupole susceptibility extracted from our Raman spectra, and concomitant emergence of a collective mode associated with the spontaneous breaking of rotational symmetries. The quadrupolar order persists in the antiferromagnetic (AF) phase below T$_N$ $\approx$ 230 K, and becomes directly observable through its interference with the AF order in resonant x-ray diffraction, which allows us to uniquely determine its spatial structure. Further, we find using resonant inelastic x-ray scattering a complete breakdown of coherent magnon excitations at short-wavelength scales, suggesting a resonating-valence-bond-like quantum entanglement in the AF state. Taken together, our results reveal a quantum order underlying the N\'eel AF that is widely believed to be intimately connected to the mechanism of high temperature superconductivity (HTSC).


title: GRID: A Platform for General Robot Intelligence Development

abstract: Developing machine intelligence abilities in robots and autonomous systems is an expensive and time consuming process. Existing solutions are tailored to specific applications and are harder to generalize. Furthermore, scarcity of training data adds a layer of complexity in deploying deep machine learning models. We present a new platform for General Robot Intelligence Development (GRID) to address both of these issues. The platform enables robots to learn, compose and adapt skills to their physical capabilities, environmental constraints and goals. The platform addresses AI problems in robotics via foundation models that know the physical world. GRID is designed from the ground up to be extensible to accommodate new types of robots, vehicles, hardware platforms and software protocols. In addition, the modular design enables various deep ML components and existing foundation models to be easily usable in a wider variety of robot-centric problems. We demonstrate the platform in various aerial robotics scenarios and demonstrate how the platform dramatically accelerates development of machine intelligent robots.


title: Ultrahigh-performance superlattice mid-infrared nBn photodetectors at high operating temperatures

abstract: While advancing a physics-based comprehensive photodetector-simulation model, we propose a novel device design of the mid-wavelength infrared nBn photodetectors by exploiting the inherit flexibility of the $InAs_{1-x}Sb_{x}$ ternary alloy material system. To further explicate the physics of such photodetectors, we calculate several crucial transport and optoelectronic parameters, including the dark current density, absorption coefficient, responsivity, and the quantum efficiency of nBn photodetectors. A remarkable maximum efficiency of 57.39\% is achieved at room temperature at a bias of -0.25 V, coupled with a radiation power density of 50 mW/$cm^{2}$. The proposed structure features a maximum quantum efficiency of 44.18\% and 37.87\% at 60\% and 70\% of the $\lambda_c$, respectively. Furthermore, a maximum responsivity of 0.9257 A/W is shown within the mid-wavelength infrared spectrum. Through our comprehensive analysis, we also demonstrate that our proposed device design effectively reduces the dark current density by confining the electric field inside the barrier while preserving a superior level of quantum efficiency, and the current in such detectors is diffusion-limited. Insights uncovered here could be of broad interest to critically evaluate the potential of the nBn structures for mid-wavelength infrared photodetectors.


title: Efficient Convergent Boundary Integral Methods for Slender Bodies

abstract: The interaction of fibers in a viscous (Stokes) fluid plays a crucial role in industrial and biological processes, such as sedimentation, rheology, transport, cell division, and locomotion. Numerical simulations generally rely on slender body theory (SBT), an asymptotic, nonconvergent approximation whose error blows up as fibers approach each other. Yet convergent boundary integral equation (BIE) methods which completely resolve the fiber surface have so far been impractical due to the prohibitive cost of layer-potential quadratures in such high aspect-ratio 3D geometries. We present a high-order Nystr\"om quadrature scheme with aspect-ratio independent cost, making such BIEs practical. It combines centerline panels (each with a small number of poloidal Fourier modes), toroidal Green's functions, generalized Chebyshev quadratures, HPC parallel implementation, and FMM acceleration. We also present new BIE formulations for slender bodies that lead to well conditioned linear systems upon discretization. We test Laplace and Stokes Dirichlet problems, and Stokes mobility problems, for slender rigid closed fibers with (possibly varying) circular cross-section, at separations down to $1/20$ of the slender radius, reporting convergence typically to at least 10 digits. We use this to quantify the breakdown of numerical SBT for close-to-touching rigid fibers. We also apply the methods to time-step the sedimentation of 512 loops with up to $1.65$ million unknowns at around 7 digits of accuracy.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: Femtosecond electron diffraction reveals local disorder and local anharmonicity in thermoelectric SnSe

abstract: The microscopic arrangement of atoms and molecules is the determining factor in how materials behave and perform. Beyond the long-range periodicity, the local disorder with local structures deviating from the average lattice structure plays a vital role in determining the physical properties of the phonon, electron and spin subsystems in crystalline functional materials. Experimentally characterizing the 3D atomic configuration of such local disorder and correlating it with the advanced functions remain a big challenge. Time-domain evolution of the local disorder, either static or dynamical, is lost due to the characterization at equilibrium state with conventional probing techniques. With the combination of femtosecond electron diffraction, structure factor calculation and TDDFT-MD simulation, we exclusively identify the static local disorder and the local anharmonicity of it in thermoelectric SnSe. The ultrafast structural dynamics in time domain reveal a dominant static off-symmetry displacement of Sn (~0.4 angstrom) and the anharmonicity of this local disorder induces an ultrafast atomic displacement within 100 fs after photoexcitation. The microscopic picture of the local anharmonicity indicates a direct and first signature of the THz Einstein oscillators in real space. Therefore, a glass-like thermal transport channel with the local disorder, the Einstein oscillators and the local anharmonicity, updates the fundamental insight into the long-debated ultralow thermal conductivity in SnSe. The local disorder over one to a few unit cells is pervasive and indispensable in thermoelectric materials, multiferroic materials and correlated electronic materials. Our method of revealing the 3D local disorder and the local correlated interactions by ultrafast structural dynamics will inspire broad interest in construction of the structure-property relationship in material science.


title: Photon Spacecraft and Aerocapture: Enabling Small Low-Circular Orbiters at Mars and Venus

abstract: With advancements in low-cost launchers and small interplanetary spacecraft, NASA has recognized the potential of small missions to perform focused planetary science investigations at Mars and Venus. The EscaPADE, part of the NASA SIMPLEx program will deliver two small spacecraft to elliptical orbits around Mars using the Photon spacecraft. Orbit insertion, particularly to low-circular orbits requires significant propellant, taking up a substantial fraction of the Photon wet mass and present a significant challenge for small missions. The large $\Delta$V requirements for low-circular orbit make it difficult to insert small satellites into these orbits even with the highly capable Photon, as the total $\Delta$V for Earth escape and orbit insertion exceeds its capability. Drag modulation aerocapture offers a promising alternative, using the atmospheric drag to obtain the large $\Delta$V. The study shows how the Photon when combined with drag modulation aerocapture can deliver small orbiters to low-circular orbits, enabling a wide range of small orbiter missions. Aerocapture eliminates the need for Photon to provide 2 to 3.5 km/s of $\Delta$V for orbit insertion, which translate into mass and cost savings, and can enable frequent low-cost small orbiters and small satellite constellations at Mars and Venus in the near future.


title: No Offense Taken: Eliciting Offensiveness from Language Models

abstract: This work was completed in May 2022. For safe and reliable deployment of language models in the real world, testing needs to be robust. This robustness can be characterized by the difficulty and diversity of the test cases we evaluate these models on. Limitations in human-in-the-loop test case generation has prompted an advent of automated test case generation approaches. In particular, we focus on Red Teaming Language Models with Language Models by Perez et al.(2022). Our contributions include developing a pipeline for automated test case generation via red teaming that leverages publicly available smaller language models (LMs), experimenting with different target LMs and red classifiers, and generating a corpus of test cases that can help in eliciting offensive responses from widely deployed LMs and identifying their failure modes.


title: Engineering the Neural Collapse Geometry of Supervised-Contrastive Loss

abstract: Supervised-contrastive loss (SCL) is an alternative to cross-entropy (CE) for classification tasks that makes use of similarities in the embedding space to allow for richer representations. In this work, we propose methods to engineer the geometry of these learnt feature embeddings by modifying the contrastive loss. In pursuit of adjusting the geometry we explore the impact of prototypes, fixed embeddings included during training to alter the final feature geometry. Specifically, through empirical findings, we demonstrate that the inclusion of prototypes in every batch induces the geometry of the learnt embeddings to align with that of the prototypes. We gain further insights by considering a limiting scenario where the number of prototypes far outnumber the original batch size. Through this, we establish a connection to cross-entropy (CE) loss with a fixed classifier and normalized embeddings. We validate our findings by conducting a series of experiments with deep neural networks on benchmark vision datasets.


title: JPEG Information Regularized Deep Image Prior for Denoising

abstract: Image denoising is a representative image restoration task in computer vision. Recent progress of image denoising from only noisy images has attracted much attention. Deep image prior (DIP) demonstrated successful image denoising from only a noisy image by inductive bias of convolutional neural network architectures without any pre-training. The major challenge of DIP based image denoising is that DIP would completely recover the original noisy image unless applying early stopping. For early stopping without a ground-truth clean image, we propose to monitor JPEG file size of the recovered image during optimization as a proxy metric of noise levels in the recovered image. Our experiments show that the compressed image file size works as an effective metric for early stopping.


title: Multivariate Simulation Using A Locally Varying Coregionalization Model

abstract: Multivariate spatial modeling is key to understanding the behavior of materials downstream in a mining operation. The ore recovery depends on the mineralogical composition, which needs to be properly captured by the model to allow for good predictions. Multivariate modeling must also capture the behavior of tailings and waste materials to understand the environmental risks involved in their disposal. However, multivariate spatial modeling is challenging when the variables show complex relationships, such as non-linear correlation, heteroscedastic behavior, or spatial trends. This contribution proposes a novel methodology for general multivariate contexts, with the idea of disaggregating the global non-linear behavior among variables into the spatial domain in a piece-wise linear fashion. We demonstrate that the complex multivariate behavior can be reproduced by looking at local correlations between variables at sample locations, inferred from a local neighborhood, and interpolating these local linear dependencies by using a non-stationary version of the Linear Model of Coregionalization. This mixture of locally varying linear correlations is combined to reproduce the global complex behavior seen in the multivariate distribution. The main challenge is to solve appropriately the interpolation of the known correlation matrices over the domain, as these local correlations defined at sample locations can be endowed with a manifold structure, on which the Euclidean distance is not a suitable metric for interpolation of such correlations. This is addressed by using tools from Riemannian geometry: correlation matrices are interpolated using a weighted Fr\'echet mean of the correlations inferred at sample locations. An application of the procedure is shown in a real case study with good results in terms of accuracy and reproduction of the reference multivariate distributions and semi-variograms.


title: Organized Event Participant Prediction Enhanced by Social Media Retweeting Data

abstract: Nowadays, many platforms on the Web offer organized events, allowing users to be organizers or participants. For such platforms, it is beneficial to predict potential event participants. Existing work on this problem tends to borrow recommendation techniques. However, compared to e-commerce items and purchases, events and participation are usually of a much smaller frequency, and the data may be insufficient to learn an accurate model. In this paper, we propose to utilize social media retweeting activity data to enhance the learning of event participant prediction models. We create a joint knowledge graph to bridge the social media and the target domain, assuming that event descriptions and tweets are written in the same language. Furthermore, we propose a learning model that utilizes retweeting information for the target domain prediction more effectively. We conduct comprehensive experiments in two scenarios with real-world data. In each scenario, we set up training data of different sizes, as well as warm and cold test cases. The evaluation results show that our approach consistently outperforms several baseline models, especially with the warm test cases, and when target domain data is limited.


title: Practical Radar Sensing Using Two Stage Neural Network for Denoising OTFS Signals

abstract: Noise contamination affects the performance of orthogonal time frequency space (OTFS) signals in real-world environments, making radar sensing challenging. Our objective is to derive the range and velocity from the delay-Doppler (DD) domain for radar sensing by using OTFS signaling. This work introduces a two-stage approach to tackle this issue. In the first stage, we use a convolutional neural network (CNN) model to classify the noise levels as moderate or severe. Subsequently, if the noise level is severe, the OTFS samples are denoised using a generative adversarial network (GAN). The proposed approach achieves notable levels of accuracy in the classification of noisy signals and mean absolute error (MAE) for the entire system even in low signal-to-noise ratio (SNR) scenarios.


title: Enabling Language Models to Implicitly Learn Self-Improvement

abstract: Large Language Models (LLMs) have demonstrated remarkable capabilities in open-ended text generation tasks. However, the inherent open-ended nature of these tasks implies that there is always room for improvement in the quality of model responses. To address this challenge, various approaches have been proposed to enhance the performance of LLMs. There has been a growing focus on enabling LLMs to self-improve their response quality, thereby reducing the reliance on extensive human annotation efforts for collecting diverse and high-quality training data. Recently, prompting-based methods have been widely explored among self-improvement methods owing to their effectiveness, efficiency, and convenience. However, those methods usually require explicitly and thoroughly written rubrics as inputs to LLMs. It is expensive and challenging to manually derive and provide all necessary rubrics with a real-world complex goal for improvement (e.g., being more helpful and less harmful). To this end, we propose an ImPlicit Self-ImprovemenT (PIT) framework that implicitly learns the improvement goal from human preference data. PIT only requires preference data that are used to train reward models without extra human efforts. Specifically, we reformulate the training objective of reinforcement learning from human feedback (RLHF) -- instead of maximizing response quality for a given input, we maximize the quality gap of the response conditioned on a reference response. In this way, PIT is implicitly trained with the improvement goal of better aligning with human preferences. Experiments on two real-world datasets and one synthetic dataset show that our method significantly outperforms prompting-based methods.


title: Space-Efficient and Noise-Robust Quantum Factoring

abstract: We provide two improvements to Regev's recent quantum factoring algorithm (arXiv:2308.06572), addressing its space efficiency and its noise-tolerance. Our first contribution is to improve the quantum space efficiency of Regev's algorithm while keeping the circuit size the same. Our main result constructs a quantum factoring circuit using $O(n \log n)$ qubits and $O(n^{3/2} \log n)$ gates. We achieve the best of Shor and Regev (upto a logarithmic factor in the space complexity): on the one hand, Regev's circuit requires $O(n^{3/2})$ qubits and $O(n^{3/2} \log n)$ gates, while Shor's circuit requires $O(n^2 \log n)$ gates but only $O(n)$ qubits. As with Regev, to factor an $n$-bit integer $N$, we run our circuit independently $\approx \sqrt{n}$ times and applies Regev's classical postprocessing procedure. Our optimization is achieved by implementing efficient and reversible exponentiation with Fibonacci numbers in the exponent, rather than the usual powers of 2, adapting work by Kaliski (arXiv:1711.02491) from the classical reversible setting to the quantum setting. This technique also allows us to perform quantum modular exponentiation that is efficient in both space and size without requiring significant precomputation, a result that may be useful for other quantum algorithms. A key ingredient of our exponentiation implementation is an efficient circuit for a function resembling in-place quantum-quantum modular multiplication. Our second contribution is to show that Regev's classical postprocessing procedure can be modified to tolerate a constant fraction of the quantum circuit runs being corrupted by errors. In contrast, Regev's analysis of his classical postprocessing procedure requires all $\approx \sqrt{n}$ runs to be successful. In a nutshell, we achieve this using lattice reduction techniques to detect and filter out corrupt samples.


title: uSee: Unified Speech Enhancement and Editing with Conditional Diffusion Models

abstract: Speech enhancement aims to improve the quality of speech signals in terms of quality and intelligibility, and speech editing refers to the process of editing the speech according to specific user needs. In this paper, we propose a Unified Speech Enhancement and Editing (uSee) model with conditional diffusion models to handle various tasks at the same time in a generative manner. Specifically, by providing multiple types of conditions including self-supervised learning embeddings and proper text prompts to the score-based diffusion model, we can enable controllable generation of the unified speech enhancement and editing model to perform corresponding actions on the source speech. Our experiments show that our proposed uSee model can achieve superior performance in both speech denoising and dereverberation compared to other related generative speech enhancement models, and can perform speech editing given desired environmental sound text description, signal-to-noise ratios (SNR), and room impulse responses (RIR). Demos of the generated speech are available at https://muqiaoy.github.io/usee.


title: PACIT: Unlocking the Power of Examples for Better In-Context Instruction Tuning

abstract: Instruction tuning enhances the instruction following ability of large language models by finetuning with supervised instruction data. Previous work proposes in-context instruction tuning (ICIT) where specific positive or negative examples are incorporated into the prompt for better performance. In this work, we propose PACIT, a simple and effective in-context instruction tuning method, inspired by the pedagogical concept of desirable difficulty. The PACIT method unlocks the power of examples by encouraging the model to actively learn to grasp the distinctions between the positive and negative examples instead of merely reading. The model is expected to first verify the correctness of the provided example according to the task description, which is then set as the condition for generating a better response to the task instance. Our extensive experiments prove the effectiveness of PACIT, outperforming ICIT baseline on both in-domain and out-domain tasks up to 9.16 and 3.14 average ROUGE-L scores, respectively. Moreover, PACIT can notably enhance the performance of instruction tuning even when all positive and negative examples are generated with a self-instruct method.


title: DataInf: Efficiently Estimating Data Influence in LoRA-tuned LLMs and Diffusion Models

abstract: Quantifying the impact of training data points is crucial for understanding the outputs of machine learning models and for improving the transparency of the AI pipeline. The influence function is a principled and popular data attribution method, but its computational cost often makes it challenging to use. This issue becomes more pronounced in the setting of large language models and text-to-image models. In this work, we propose DataInf, an efficient influence approximation method that is practical for large-scale generative AI models. Leveraging an easy-to-compute closed-form expression, DataInf outperforms existing influence computation algorithms in terms of computational and memory efficiency. Our theoretical analysis shows that DataInf is particularly well-suited for parameter-efficient fine-tuning techniques such as LoRA. Through systematic empirical evaluations, we show that DataInf accurately approximates influence scores and is orders of magnitude faster than existing methods. In applications to RoBERTa-large, Llama-2-13B-chat, and stable-diffusion-v1.5 models, DataInf effectively identifies the most influential fine-tuning examples better than other approximate influence scores. Moreover, it can help to identify which data points are mislabeled.


title: Symmetric Solutions to Symmetric Partial Difference Equations

abstract: This paper studies systems of linear difference equations on the lattice $\Z^n$ that are invariant under a finite group of symmetries, and shows that there exist solutions to such systems that are also invariant under this group of symmetries.


title: Exclusion of ALP Cogenesis Dark Matter in a Mass Window Above 100 $\mu$eV

abstract: We report the results of Phase 1b of The ORGAN Experiment, a microwave cavity haloscope searching for dark matter axions in the $107.42-111.93~\mu$eV mass range. The search excludes axions with two-photon coupling $g_{a\gamma\gamma}\geq 4\times 10^{-12}\, \textrm{GeV}^{-1}$ with $95\%$ confidence interval, setting the best upper bound to date and with the required sensitivity to exclude the axion-like particle cogenesis model for dark matter in this range. This result was achieved using a tunable rectangular cavity, which mitigated several practical issues that become apparent when conducting high mass axion searches, and was the first such axion search to be conducted with such a cavity. It also represents the most sensitive axion haloscope experiment to date in the $\sim100~\mu$eV mass region.


title: All Languages Matter: On the Multilingual Safety of Large Language Models

abstract: Safety lies at the core of developing and deploying large language models (LLMs). However, previous safety benchmarks only concern the safety in one language, e.g. the majority language in the pretraining data such as English. In this work, we build the first multilingual safety benchmark for LLMs, XSafety, in response to the global deployment of LLMs in practice. XSafety covers 14 kinds of commonly used safety issues across 10 languages that span several language families. We utilize XSafety to empirically study the multilingual safety for 4 widely-used LLMs, including both close-API and open-source models. Experimental results show that all LLMs produce significantly more unsafe responses for non-English queries than English ones, indicating the necessity of developing safety alignment for non-English languages. In addition, we propose several simple and effective prompting methods to improve the multilingual safety of ChatGPT by evoking safety knowledge and improving cross-lingual generalization of safety alignment. Our prompting method can significantly reduce the ratio of unsafe responses from 19.1% to 9.7% for non-English queries. We release our data at https://github.com/Jarviswang94/Multilingual_safety_benchmark.


title: A Decentralized Cooperative Navigation Approach for Visual Homing Networks

abstract: Visual homing is a lightweight approach to visual navigation. Given the stored information of an initial 'home' location, the navigation task back to this location is achieved from any other location by comparing the stored home information to the current image and extracting a motion vector. A challenge that constrains the applicability of visual homing is that the home location must be within the robot's field of view to initiate the homing process. Thus, we propose a blockchain approach to visual navigation for a heterogeneous robot team over a wide area of visual navigation. Because it does not require map data structures, the approach is useful for robot platforms with a small computational footprint, and because it leverages current visual information, it supports a resilient and adaptive path selection. Further, we present a lightweight Proof-of-Work (PoW) mechanism for reaching consensus in the untrustworthy visual homing network.


title: The Participatory Turn in AI Design: Theoretical Foundations and the Current State of Practice

abstract: Despite the growing consensus that stakeholders affected by AI systems should participate in their design, enormous variation and implicit disagreements exist among current approaches. For researchers and practitioners who are interested in taking a participatory approach to AI design and development, it remains challenging to assess the extent to which any participatory approach grants substantive agency to stakeholders. This article thus aims to ground what we dub the "participatory turn" in AI design by synthesizing existing theoretical literature on participation and through empirical investigation and critique of its current practices. Specifically, we derive a conceptual framework through synthesis of literature across technology design, political theory, and the social sciences that researchers and practitioners can leverage to evaluate approaches to participation in AI design. Additionally, we articulate empirical findings concerning the current state of participatory practice in AI design based on an analysis of recently published research and semi-structured interviews with 12 AI researchers and practitioners. We use these empirical findings to understand the current state of participatory practice and subsequently provide guidance to better align participatory goals and methods in a way that accounts for practical constraints.


title: A bright radio burst from FRB 20200120E in a globular cluster of the nearby galaxy M81

abstract: Fast radio bursts (FRBs) are immensely energetic millisecond-duration radio pulses. Observations indicate that nearby FRBs can be produced by both young stellar populations, as suggested by the detection of FRB 20200428 from a Galactic magnetar SGR 1935+2154, and old stellar populations, as suggested by the localization of the repeating source FRB 20200120E in a globular cluster of M81. Nevertheless, the burst energies of FRB 20200120E are significantly smaller than those of other cosmological FRBs, even falling below the energy of the Galactic event FRB 20200428. Additionally, its burst energy distribution displays a steep power law tail at high fluences. It is unclear whether this type of source can contribute to the cosmological FRB population. Here we report the detection of a burst from FRB 20200120E in 1.1-1.7 GHz, with a fluence of approximately 31.4 Jy ms, which is more than 44 times larger than the previous detected bursts 1.4 GHz frequencies and five times more energetic than FRB 20200428. It reaches one-third of the energy of the weakest burst from FRB 20121102A detected so far and is detectable at a distance exceeding 200Mpc. This suggests that globular clusters can host cosmological FRBs, and the currently localized FRB sample could contain FRBs from globular clusters. Together with SGR 1935+2154, these two most nearby sources support multiple progenitor sources for FRBs.


title: The period bouncer system SDSS J105754.25+275947.5: first radial velocity study

abstract: We report the first radial velocity spectroscopic study of the eclipsing period bouncer SDSS J105754.25+275947.5. Together with eclipse light curve modeling, we redetermined the system parameters and studied the accretion disk structure. We confirm that the system contains a white dwarf with $M_{\mathrm{WD}}=0.83(3) M_\odot$ and an effective temperature of 11,500(400)K. The mass of the secondary is $M_2 = 0.056 M_\odot$ with an effective temperature of T$_2$=2,100K or below. The system inclination is $i=84.3(6)$. The data is in good agreement with our determination of $K_1$ = 33(4) km s$^{-1}$. We estimate the mass transfer rate as $\dot{M}=$1.9(2)$\times 10^{-11} M_\odot yr^{-1}$. Based on an analysis of the SDSS and OSIRIS spectra, we conclude that the optical continuum is formed predominantly by the radiation from the white dwarf. The contribution of the accretion disk is low and originates from the outer part of the disk. The Balmer emission lines are formed in a plasma with $\log$ $N_0$ = 12.7 [cm$^{-1}$] and a kinetic temperature of T$\sim$10,000K. The size of the disk, where the emission lines are formed, expands up to $R_\mathrm{d,out}=0.29 R_\odot$. The inner part of the emission line forming region goes down to $R_\mathrm{d,in}\approx 2 R_\mathrm{WD}$ . The Doppler tomography and trailed spectra show the presence of a hot spot and a clumpy structure in the disk, with variable intensity along the disk position angle. There is an extended region at the side opposite the hot spot with two bright clumps caused more probably by non-Keplerian motion there.


title: Dielectric Detection of Single Nanoparticles Using a Microwave Resonator Integrated with a Nanopore

abstract: The characterization of individual nanoparticles in a liquid constitutes a critical challenge for environmental, material, and biological sciences. To detect nanoparticles, electronic approaches are especially desirable owing to their compactness and lower costs. Indeed, for single-molecule and single-nanoparticle detection, resistive pulse sensing has advanced significantly during the last two decades. While resistive pulse sensing was widely used to obtain the geometric size information, impedimetric measurements to obtain dielectric signatures of nanoparticles have scarcely been reported. To explore this orthogonal sensing modality, we developed an impedimetric sensor based on a microwave resonator with a nanoscale sensing gap surrounding a nanopore. The approach of single nanoparticles near the sensing region and their translocation through the nanopore induced sudden changes in the impedance of the structure. The impedance changes in turn were picked up by the phase response of the microwave resonator. We worked with 100 nm and 50 nm polystyrene nanoparticles to observe single-particle events. Our current implementation was limited by the non-uniform electric field at the sensing region. The work provides a complementary sensing modality for nanoparticle characterization where the dielectric response, rather than the ionic current, determines the signal.

categories: physics.app-ph physics.chem-ph physics.ins-det physics.med-ph


title: Dynamic Manipulation of a Deformable Linear Object: Simulation and Learning

abstract: We show that it is possible to learn an open-loop policy in simulation for the dynamic manipulation of a deformable linear object (DLO) -- e.g., a rope, wire, or cable -- that can be executed by a real robot without additional training. Our method is enabled by integrating an existing state-of-the-art DLO model (Discrete Elastic Rods) with MuJoCo, a robot simulator. We describe how this integration was done, check that validation results produced in simulation match what we expect from analysis of the physics, and apply policy optimization to train an open-loop policy from data collected only in simulation that uses a robot arm to fling a wire precisely between two obstacles. This policy achieves a success rate of 76.7% when executed by a real robot in hardware experiments without additional training on the real task.


title: A Resource-efficient FIR Filter Design Based on an RAG Improved Algorithm

abstract: In modern digital filter chip design, efficient resource utilization is a hot topic. Due to the linear phase characteristics of FIR filters, a pulsed fully parallel structure can be applied to address the problem. To further reduce hardware resource consumption, especially related to multiplication functions, an improved RAG algorithm has been proposed. Filters with different orders and for different algorithms have been compared, and the experimental results show that the improved RAG algorithm excels in terms of logic resource utilization, resource allocation, running speed, and power consumption under various application scenarios. The proposed algorithm introduces a better circuit structure for FIR filters, fully leveraging resource allocation strategies to reduce logic resource consumption. The proposed circuit is faster and more stable, making it suitable for a variety of complex application scenarios.


title: Refining Bounds for Snyder and GUP Models through Seismic Wave Analysis

abstract: This study investigates possibility of placing bounds on the parameters, arising from the non-commutative Snyder space-time model and Generalized Uncertainty Principle (GUP) approach, by utilizing seismic data. We investigate the dependence of constraints on the type of realization used for the quantum phase space. Results indicate improved bounds compared to prior studies, with the model parameter $\beta_0$ constrained to be less than $5.2\times 10^{44}$ for certain choice of realizations. This approach demonstrates the potential for using Earth's empirical data to refine constraints on GUP parameters.


title: Discovery of a large-scale bent radio jet in the merging cluster Abell 514

abstract: We report a discovery of a large-scale bent radio jet in the merging galaxy cluster Abell 514 ($z = 0.071$). The radio emission originates from the two radio lobes of the AGN located near the center of the southern subcluster and extends towards the southern outskirts with multiple bends. Its peculiar morphology is characterized by a $400$-kpc ``bridge'', a $300$-kpc ``arc'', and a $400$-kpc ``tail'', which together contribute to its largest linear size of $\sim0.7$ Mpc. We find that both the flux and spectral features of the emission change with the distance from the AGN. Also, the ``bridge'' presents a $60\%$ polarized radio emission, which coincided with an X-ray cold front. Based on our multi-wavelength observations, we propose that A514 presents a clear case for the redistribution of an old AGN plasma due to merger-driven gas motions. We support our interpretation with idealized cluster merger simulations employing a passive tracer field to represent cosmic-ray electrons and find that merger-driven motions can efficiently create a cloud of these particles in the cluster outskirts, which later can be re-accelerated by the cluster merger shock and produce radio relics.


title: A discussion on two celebrated examples of application of linear regression

abstract: This work aims at providing some (further) perspective into the analysis of two well-known datasets in terms of the methods of linear regression. The first set has been taken from Hubble's 1929 investigation of the relation between the distances of galaxies and their recessional velocities. The second set relates to Galton's family data on human stature, collected for the purposes of his 1889 book on natural inheritance.


title: VMC Optimization of Ultra-Compact, Explicitly-Correlated Wave Functions of the Li Isoelectronic Sequence in Its Lowest 1s2s2p Quartet State

abstract: A compact yet accurate approach for representing the wave functions of members of the He and Li isoelectronic series is using explicitly correlated wave functions. These wave functions, however, often have nonlinear forms, which make them challenging to optimize. In this work, we show how Variational Monte Carlo (VMC) can efficiently optimize explicitly correlated wave functions that accurately describe the quartet 1s2s2p state of the Li isoelectronic sequence with ten or fewer parameters. We find that our compact wave functions correctly describe cusp conditions and reproduce at least 99.9% percent of the exact energy.


title: Harnessing the Power of Multi-Lingual Datasets for Pre-training: Towards Enhancing Text Spotting Performance

abstract: The adaptation capability to a wide range of domains is crucial for scene text spotting models when deployed to real-world conditions. However, existing state-of-the-art (SOTA) approaches usually incorporate scene text detection and recognition simply by pretraining on natural scene text datasets, which do not directly exploit the intermediate feature representations between multiple domains. Here, we investigate the problem of domain-adaptive scene text spotting, i.e., training a model on multi-domain source data such that it can directly adapt to target domains rather than being specialized for a specific domain or scenario. Further, we investigate a transformer baseline called Swin-TESTR to focus on solving scene-text spotting for both regular and arbitrary-shaped scene text along with an exhaustive evaluation. The results clearly demonstrate the potential of intermediate representations to achieve significant performance on text spotting benchmarks across multiple domains (e.g. language, synth-to-real, and documents). both in terms of accuracy and efficiency.


title: Comment on "Multivariable quantum signal processing (M-QSP): prophecies of the two-headed oracle"

abstract: Multivariable Quantum Signal Processing (M-QSP) [1] is expected to provide an efficient means to handle polynomial transformations of multiple variables simultaneously. However, we noticed several inconsistencies in the main Theorem 2.3 and its proof in Ref. [1]. Moreover, a counterexample for Conjecture 2.1 in Ref. [1], which is used as an assumption in the proof of Theorem 2.3, is presented at Quantum Information Processing 2023 [2], meaning the requirement of the conjecture should be included as a condition in Theorem 2.3. Here we note our observations and propose the revised necessary conditions of M-QSP. We also show that these necessary conditions cannot be sufficient conditions, and thus some additional condition on top of these revisions is essentially required for complete M-QSP Theorem.


title: BAAF: A Benchmark Attention Adaptive Framework for Medical Ultrasound Image Segmentation Tasks

abstract: The AI-based assisted diagnosis programs have been widely investigated on medical ultrasound images. Complex scenario of ultrasound image, in which the coupled interference of internal and external factors is severe, brings a unique challenge for localize the object region automatically and precisely in ultrasound images. In this study, we seek to propose a more general and robust Benchmark Attention Adaptive Framework (BAAF) to assist doctors segment or diagnose lesions and tissues in ultrasound images more quickly and accurately. Different from existing attention schemes, the BAAF consists of a parallel hybrid attention module (PHAM) and an adaptive calibration mechanism (ACM). Specifically, BAAF first coarsely calibrates the input features from the channel and spatial dimensions, and then adaptively selects more robust lesion or tissue characterizations from the coarse-calibrated feature maps. The design of BAAF further optimizes the "what" and "where" focus and selection problems in CNNs and seeks to improve the segmentation accuracy of lesions or tissues in medical ultrasound images. The method is evaluated on four medical ultrasound segmentation tasks, and the adequate experimental results demonstrate the remarkable performance improvement over existing state-of-the-art methods. In addition, the comparison with existing attention mechanisms also demonstrates the superiority of BAAF. This work provides the possibility for automated medical ultrasound assisted diagnosis and reduces reliance on human accuracy and precision.


title: Every Dataset Counts: Scaling up Monocular 3D Object Detection with Joint Datasets Training

abstract: Monocular 3D object detection plays a crucial role in autonomous driving. However, existing monocular 3D detection algorithms depend on 3D labels derived from LiDAR measurements, which are costly to acquire for new datasets and challenging to deploy in novel environments. Specifically, this study investigates the pipeline for training a monocular 3D object detection model on a diverse collection of 3D and 2D datasets. The proposed framework comprises three components: (1) a robust monocular 3D model capable of functioning across various camera settings, (2) a selective-training strategy to accommodate datasets with differing class annotations, and (3) a pseudo 3D training approach using 2D labels to enhance detection performance in scenes containing only 2D labels. With this framework, we could train models on a joint set of various open 3D/2D datasets to obtain models with significantly stronger generalization capability and enhanced performance on new dataset with only 2D labels. We conduct extensive experiments on KITTI/nuScenes/ONCE/Cityscapes/BDD100K datasets to demonstrate the scaling ability of the proposed method.


title: Extensions realizing affine datum : the Well's derivation

abstract: We develop the Well's derivation for extensions realizing affine datum in arbitrary varieties; in particular, we show there is an exact sequence connecting the group of compatible automorphisms determined by the datum and the subgroup of automorphisms of an extension which preserves the extension's kernel. This implies a homomorphism between $2^{\mathrm{nd}}$-cohomology groups which realizes a group of kernel-preserving automorphisms of an extension as itself an extension of a subgroup of compatible automorphisms by the group of derivations of the datum. The same results are obtained for nonabelian extensions in any variety of $R$-modules expanded by multilinear operations.


title: How Close are Other Computer Vision Tasks to Deepfake Detection?

abstract: In this paper, we challenge the conventional belief that supervised ImageNet-trained models have strong generalizability and are suitable for use as feature extractors in deepfake detection. We present a new measurement, "model separability," for visually and quantitatively assessing a model's raw capacity to separate data in an unsupervised manner. We also present a systematic benchmark for determining the correlation between deepfake detection and other computer vision tasks using pre-trained models. Our analysis shows that pre-trained face recognition models are more closely related to deepfake detection than other models. Additionally, models trained using self-supervised methods are more effective in separation than those trained using supervised methods. After fine-tuning all models on a small deepfake dataset, we found that self-supervised models deliver the best results, but there is a risk of overfitting. Our results provide valuable insights that should help researchers and practitioners develop more effective deepfake detection models.


title: Lightweight Regression Model with Prediction Interval Estimation for Computer Vision-based Winter Road Surface Condition Monitoring

abstract: Winter conditions pose several challenges for automated driving applications. A key challenge during winter is accurate assessment of road surface condition, as its impact on friction is a critical parameter for safely and reliably controlling a vehicle. This paper proposes a deep learning regression model, SIWNet, capable of estimating road surface friction properties from camera images. SIWNet extends state of the art by including an uncertainty estimation mechanism in the architecture. This is achieved by including an additional head in the network, which estimates a prediction interval. The prediction interval head is trained with a maximum likelihood loss function. The model was trained and tested with the SeeingThroughFog dataset, which features corresponding road friction sensor readings and images from an instrumented vehicle. Acquired results highlight the functionality of the prediction interval estimation of SIWNet, while the network also achieved similar point estimate accuracy as the previous state of the art. Furthermore, the SIWNet architecture is several times more lightweight than the previously applied state-of-the-art model, resulting in more practical and efficient deployment.


title: Simulation Assessment Guidelines towards Independent Safety Assurance of Autonomous Vehicles

abstract: This Simulation Assessment Guidelines document is a public guidelines document developed by the Centre of Excellence for Testing & Research of AVs - NTU (CETRAN) in collaboration with the Land Transport Authority (LTA) of Singapore. It is primarily intended to help the developers of Autonomous Vehicles (AVs) in Singapore to prepare their software simulations and provide recommendations that can ensure their readiness for independent assessment of their virtual simulation results according to the Milestone-testing framework adopted by the assessor and the local authority in Singapore, namely, CETRAN and LTA respectively.


title: A representation formula for viscosity solutions of nonlocal Hamilton--Jacobi equations and applications

abstract: This paper is concerned with geometric motion of a closed surface whose velocity depends on a nonlocal quantity of the enclosed region. Using the level set formulation, we study a class of nonlocal Hamilton--Jacobi equations and establish a control-based representation formula for solutions. We also apply the formula to discuss the fattening phenomenon and large-time asymptotics of the solutions.


title: Integration of Graph Neural Network and Neural-ODEs for Tumor Dynamic Prediction

abstract: In anti-cancer drug development, a major scientific challenge is disentangling the complex relationships between high-dimensional genomics data from patient tumor samples, the corresponding tumor's organ of origin, the drug targets associated with given treatments and the resulting treatment response. Furthermore, to realize the aspirations of precision medicine in identifying and adjusting treatments for patients depending on the therapeutic response, there is a need for building tumor dynamic models that can integrate both longitudinal tumor size as well as multimodal, high-content data. In this work, we take a step towards enhancing personalized tumor dynamic predictions by proposing a heterogeneous graph encoder that utilizes a bipartite Graph Convolutional Neural network (GCN) combined with Neural Ordinary Differential Equations (Neural-ODEs). We applied the methodology to a large collection of patient-derived xenograft (PDX) data, spanning a wide variety of treatments (as well as their combinations) on tumors that originated from a number of different organs. We first show that the methodology is able to discover a tumor dynamic model that significantly improves upon an empirical model which is in current use. Additionally, we show that the graph encoder is able to effectively utilize multimodal data to enhance tumor predictions. Our findings indicate that the methodology holds significant promise and offers potential applications in pre-clinical settings.


title: Understanding Transferable Representation Learning and Zero-shot Transfer in CLIP

abstract: Multi-modal learning has become increasingly popular due to its ability to leverage information from different data sources (e.g., text and images) to improve the model performance. Recently, CLIP has emerged as an effective approach that employs vision-language contrastive pretraining to learn joint image and text representations and exhibits remarkable performance in zero-shot learning and text-guided natural image generation. Despite the huge practical success of CLIP, its theoretical understanding remains elusive. In this paper, we formally study transferrable representation learning underlying CLIP and demonstrate how features from different modalities get aligned. We also analyze its zero-shot transfer performance on the downstream tasks. Inspired by our analysis, we propose a new CLIP-type approach, which achieves better performance than CLIP and other state-of-the-art methods on benchmark datasets.


title: A limit theory for controlled McKean-Vlasov SPDEs

abstract: We develop a limit theory for controlled mean field stochastic partial differential equations in a variational framework. More precisely, we prove existence results for mean field limits and particle approximations, and we establish a set-valued propagation of chaos result which shows that sets of empirical distributions converge to sets of mean field limits in the Hausdorff metric topology. Further, we discuss limit theorems related to stochastic optimal control theory. To illustrate our findings, we apply them to a controlled interacting particle system of stochastic porous media equations.


title: Single-Shot Laser-Driven Neutron Resonance Spectroscopy for Temperature Profiling

abstract: The temperature measurement of material inside of an object is one of the key technologies for control of dynamical processes. For this purpose, various techniques such as laser-based thermography and phase-contrast imaging thermography have been studied. However, it is, in principle, impossible to measure the temperature of an element inside of an object using these techniques. One of the possible solutions is measurements of Doppler brooding effect in neutron resonance absorption (NRA). Here we present a method to measure the temperature of an element or an isotope inside of an object using NRA with a single neutron pulse of approximately 100 ns width provided from a high-power laser. We demonstrate temperature measurements of a tantalum (Ta) metallic foil heated from the room temperature up to 617 K. Although the neutron energy resolution is fluctuated from shot to shot, we obtain exactly the temperature using a reference of a silver (Ag) foil kept to the room temperature. A free gas model well reproduces the results. This method enables element(isotope)-sensitive thermometry to detect the instantaneous temperature rise in dynamical processes.


title: Thermoelectric properties of high-entropy wolframite oxide: (CoCuNiFeZn)$_{1-x}$Ga$_x$WO$_4$

abstract: In this report, the synthesis of high-entropy wolframite oxide (CoCuNiFeZn)$_{1-x}$Ga$_x$WO$_4$ through standard solid-state route followed by spark plasma sintering (SPS) and their structural, microstructural, and thermoelectric properties are investigated. X-ray diffraction pattern followed by pattern matching refinement shows monoclinic structure with volume of the unit cell decreasing with increasing Ga content. The optical band gap for these oxides shows a cocktail effect in high entropy configuration. The Seebeck coefficient indicates electrons as dominating charge carriers with a non-degenerate behavior. The electrical resistivity decreases with increasing temperature depicting a semiconducting nature. Thermal conductivity in high-entropy samples ($\kappa\sim$2.1 W/mK @ 300\,K) is significantly lower as compared to MgWO$_4$ ($\kappa\sim$11.5 W/mK @ 300\,K), which can be explained by the strong phonon scattering due to large lattice disorder in high entropy configuration. The thermoelectric figure of merit zT increases with Ga doping via modifying all three thermoelectric parameters positively.


title: Beyond the Pseudoforest Strong Nine Dragon Tree Theorem

abstract: The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by showing that we can find such a decomposition where additionally $F$ is acyclic, the diameter of the components of $F$ is at most $2\ell + 2$, where $\ell = \lfloor\frac{d-1}{k+1} \rfloor$, and at most $2\ell + 1$ if $d \equiv 1 \bmod k+1$. Furthermore, for any component $K$ of $F$ and any $z \in \mathbb N$, we have $diam(K) \leq 2z$ if $e(K) \geq d - z(k-1) + 1$. We also show that both diameter bounds are best possible as an extension for both the Strong Nine Dragon Tree Conjecture for pseudoforests and its original conjecture for forests. In fact, they are still optimal even if we only enforce $F$ to have any constant maximum degree, instead of enforcing every component of $F$ to have at most $d$ edges.


title: Improving Hydrogen evolution catalytic activity of 2D carbon allotrope Biphenylene with B, N, P doping: Density Functional Theory Investigations

abstract: Using a first principles approach, we studied the hydrogen evolution reaction activity of newly synthesized biphenylene and B, N, P decorated biphenylene sheet. hydrogen evolution reaction activity of pristine biphenylene sheet is not encouraging, as it is similar to pristine graphene. The Gibbs free energy and overpotential of P(N) doped on biphenylene sheet are 0.022 (-0.092) eV and 22 (92) mV, respectively. The reported Gibbs free energy and overpotential of Pt are 0.9 eV and 90 mV. Hence doping of P(N) atom on top of biphenylene sheet improves hydrogen evolution reaction activity much better (near to) Pt metal. We analyzed the adsorption mechanism of dopants (B, N, P) and hydrogen with Bader charge analysis and density of states analysis. P and N-decoration on biphenylene sheet change its electronic structure so that one obtains improved hydrogen evolution reaction activity for P and N-doped biphenylene sheet. Furthermore, the stability of N, P decorated biphenylene at room temperature with ab initio molecular dynamics and formation energy near that of biphenylene indicate experimental feasibility. We have compared all our best hydrogen evolution reaction activity results in the reaction coordinate and volcano plots of pristine, B, N, and P-doped BPh sheets. They indicate that P-doped biphenylene is a metal-free, powerful catalyst for hydrogen evolution reaction activities.


title: Case Study: Securing MMU-less Linux Using CHERI

abstract: MMU-less Linux variant lacks security because it does not have protection or isolation mechanisms. It also does not use MPUs as they do not fit with its software model because of the design drawbacks of MPUs (\ie coarse-grained protection with fixed number of protected regions). We secure the existing MMU-less Linux version of the RISC-V port using CHERI. CHERI is a hardware-software capability-based system that extends the ISA, toolchain, programming languages, operating systems, and applications in order to provide complete pointer and memory safety. We believe that CHERI could provide significant security guarantees for high-end dynamic MMU-less embedded systems at lower costs, compared to MMUs and MPUs, by: 1) building the entire software stack in pure-capability CHERI C mode which provides complete spatial memory safety at the kernel and user-level, 2) isolating user programs as separate ELFs, each with its own CHERI-based capability table; this provides spatial memory safety similar to what the MMU offers (\ie user programs cannot access each other's memory), 3) isolating user programs from the kernel as the kernel has its own capability table from the users and vice versa, and 4) compartmentalising kernel modules using CompartOS' linkage-based compartmentalisation. This offers a new security front that is not possible using the current MMU-based Linux, where vulnerable/malicious kernel modules (\eg device drivers) executing in the kernel space would not compromise or take down the entire system. These are the four main contributions of this paper, presenting novel CHERI-based mechanisms to secure MMU-less embedded Linux.


title: Towards a control-theoretic trivialization of ABR video streaming

abstract: Combining flatness-based control, model-free control and algebraic estimation techniques permits to trivialize several key issues in the adaptive bitrate (ABR) setting, now the dominant industry approach in video streaming: 1) A straightforward open-loop strategy for the bitrate and the buffer level; 2) closing the loop permits not only to take into account unavoidable mismatches and disturbances, like Internet fluctuations, but also the inherently discrete nature of the bitrate; 3) an easily implementable closed-form estimate for a bandwidth allows to handle severe variations of the channel capacity. Several computer experiments and metrics for evaluating the Quality of Experience (QoE) are displayed and discussed.


title: Resolving Knowledge Conflicts in Large Language Models

abstract: Large language models (LLMs) often encounter knowledge conflicts, scenarios where discrepancy arises between the internal parametric knowledge of LLMs and non-parametric information provided in the prompt context. In this work we ask what are the desiderata for LLMs when a knowledge conflict arises and whether existing LLMs fulfill them. We posit that LLMs should 1) identify knowledge conflicts, 2) pinpoint conflicting information segments, and 3) provide distinct answers or viewpoints in conflicting scenarios. To this end, we introduce KNOWLEDGE CONFLICT, an evaluation framework for simulating contextual knowledge conflicts and quantitatively evaluating to what extent LLMs achieve these goals. KNOWLEDGE CONFLICT includes diverse and complex situations of knowledge conflict, knowledge from diverse entities and domains, two synthetic conflict creation methods, and settings with progressively increasing difficulty to reflect realistic knowledge conflicts. Extensive experiments with the KNOWLEDGE CONFLICT framework reveal that while LLMs perform well in identifying the existence of knowledge conflicts, they struggle to determine the specific conflicting knowledge and produce a response with distinct answers amidst conflicting information. To address these challenges, we propose new instruction-based approaches that augment LLMs to better achieve the three goals. Further analysis shows that abilities to tackle knowledge conflicts are greatly impacted by factors such as knowledge domain and prompt text, while generating robust responses to knowledge conflict scenarios remains an open research question.


title: Trained Latent Space Navigation to Prevent Lack of Photorealism in Generated Images on Style-based Models

abstract: Recent studies on StyleGAN variants show promising performances for various generation tasks. In these models, latent codes have traditionally been manipulated and searched for the desired images. However, this approach sometimes suffers from a lack of photorealism in generated images due to a lack of knowledge about the geometry of the trained latent space. In this paper, we show a simple unsupervised method that provides well-trained local latent subspace, enabling latent code navigation while preserving the photorealism of the generated images. Specifically, the method identifies densely mapped latent spaces and restricts latent manipulations within the local latent subspace. Experimental results demonstrate that images generated within the local latent subspace maintain photorealism even when the latent codes are significantly and repeatedly manipulated. Moreover, experiments show that the method can be applied to latent code optimization for various types of style-based models. Our empirical evidence of the method will benefit applications in style-based models.


title: Data Efficient Training of a U-Net Based Architecture for Structured Documents Localization

abstract: Structured documents analysis and recognition are essential for modern online on-boarding processes, and document localization is a crucial step to achieve reliable key information extraction. While deep-learning has become the standard technique used to solve document analysis problems, real-world applications in industry still face the limited availability of labelled data and of computational resources when training or fine-tuning deep-learning models. To tackle these challenges, we propose SDL-Net: a novel U-Net like encoder-decoder architecture for the localization of structured documents. Our approach allows pre-training the encoder of SDL-Net on a generic dataset containing samples of various document classes, and enables fast and data-efficient fine-tuning of decoders to support the localization of new document classes. We conduct extensive experiments on a proprietary dataset of structured document images to demonstrate the effectiveness and the generalization capabilities of the proposed approach.


title: An FPRAS for two terminal reliability in directed acyclic graphs

abstract: We give a fully polynomial-time randomized approximation scheme (FPRAS) for two terminal reliability in directed acyclic graphs (DAGs). In contrast, we also show the complementing problem of approximating two terminal unreliability in DAGs is #BIS-hard.


title: Estimation of In-Vitro Free Radical Scavenging and Cytotoxic Activities of Thiocarbohydrazones Derivatives

abstract: Objective: To investigate free radical scavenging potential of thiocarbohydrazones derivatives for the discovery of antioxidant compounds of synthetic origin. Method: Eighteen thiocarbohydrazones derivatives were screened for antioxidant activities by using in vitro radical inhibition assay. Cytotoxicity all derivatives were evaluated using invitro cytotoxicity assay on mouse fibroblast cell line. Results: various compounds of the have shown significant radical scavenging activities as compared with the standard drug butylated hydroxytoluene. In addition in an in vitro cell cytotoxicity assay selected analogues were found to be non-cytotoxic against fibroblast 3T3 cell line. Conclusion: Taken together, these findings all compound this series could be further evaluated in in vivo model of oxidative stress to develop as a therapeutic agent against oxidative stress related disorders due to exhibiting excellent free radical scavenging properties and having their non cytotoxic nature against normal cells.


title: 1-planar unit distance graphs

abstract: A matchstick graph is a plane graph with edges drawn as unit distance line segments. This class of graphs was introduced by Harborth who conjectured that a matchstick graph on $n$ vertices can have at most $\lfloor 3n - \sqrt{12n - 3}\rfloor$ edges. Recently his conjecture was settled by Lavoll\'ee and Swanepoel. In this paper we consider $1$-planar unit distance graphs. We say that a graph is a $1$-planar unit distance graph if it can be drawn in the plane such that all edges are drawn as unit distance line segments while each of them are involved in at most one crossing. We show that such graphs on $n$ vertices can have at most $3n-\sqrt[4]{n}/10$ edges.


title: Improved Variational Bayesian Phylogenetic Inference using Mixtures

abstract: We present VBPI-Mixtures, an algorithm designed to enhance the accuracy of phylogenetic posterior distributions, particularly for tree-topology and branch-length approximations. Despite the Variational Bayesian Phylogenetic Inference (VBPI), a leading-edge black-box variational inference (BBVI) framework, achieving remarkable approximations of these distributions, the multimodality of the tree-topology posterior presents a formidable challenge to sampling-based learning techniques such as BBVI. Advanced deep learning methodologies such as normalizing flows and graph neural networks have been explored to refine the branch-length posterior approximation, yet efforts to ameliorate the posterior approximation over tree topologies have been lacking. Our novel VBPI-Mixtures algorithm bridges this gap by harnessing the latest breakthroughs in mixture learning within the BBVI domain. As a result, VBPI-Mixtures is capable of capturing distributions over tree-topologies that VBPI fails to model. We deliver state-of-the-art performance on difficult density estimation tasks across numerous real phylogenetic datasets.


title: Easier Said Than Done: The Failure of Top-Level Cybersecurity Advice for Consumer IoT Devices

abstract: Consumer IoT devices are generally assumed to lack adequate default security, thus requiring user action. However, it may not be immediately clear to users what action to take and how. This uncertainty begs the question of what the minimum is that the user-base can reliably be asked to do as a prompt to secure their devices. To explore this question, we analyze security actions advocated at a national level and how these connect to user materials for a range of specific devices. We identify four pieces of converging advice across three nation-level initiatives. We then assess the extent to which these pieces of advice are aligned with instruction materials for 40 different IoT devices across five device classes (including device manuals and manufacturer websites). We expose a disconnect between the advice and the device materials. A stunning finding is that there is not a single assessed device to which all four top pieces of converging advice can be applied. At best, the supporting materials for 36 of the 40 devices provide sufficient information to apply just two of the four pieces of advice, typically the installation and enabling of (auto)updates. As something of a contradiction, it is necessary for a non-expert user to assess whether expert advice applies to a device. This risks additional user burden and proxy changes being made without the proposed security benefits. We propose recommendations, including that governments and researchers alike should declare their own working models of IoT devices when considering the user view.


title: Semi-Blind Image Deblurring Based on Framelet Prior

abstract: The problem of image blurring is one of the most studied topics in the field of image processing. Image blurring is caused by various factors such as hand or camera shake. To restore the blurred image, it is necessary to know information about the point spread function (PSF). And because in the most cases it is not possible to accurately calculate the PSF, we are dealing with an approximate kernel. In this paper, the semi-blind image deblurring problem are studied. Due to the fact that the model of the deblurring problems is an ill-conditioned problem, it is not possible to solve this problem directly. One of the most efficient ways to solve this problem is to use the total variation (TV) method. In the proposed algorithm, by using the framelet transform and fractional calculations, the TV method is improved. The proposed method is used on different types of images and is compared with existing methods with different types of tests.


title: Towards Robust 3D Object Detection In Rainy Conditions

abstract: LiDAR sensors are used in autonomous driving applications to accurately perceive the environment. However, they are affected by adverse weather conditions such as snow, fog, and rain. These everyday phenomena introduce unwanted noise into the measurements, severely degrading the performance of LiDAR-based perception systems. In this work, we propose a framework for improving the robustness of LiDAR-based 3D object detectors against road spray. Our approach uses a state-of-the-art adverse weather detection network to filter out spray from the LiDAR point cloud, which is then used as input for the object detector. In this way, the detected objects are less affected by the adverse weather in the scene, resulting in a more accurate perception of the environment. In addition to adverse weather filtering, we explore the use of radar targets to further filter false positive detections. Tests on real-world data show that our approach improves the robustness to road spray of several popular 3D object detectors.


title: Modeling non-planar coils in a full-scale stellarator

abstract: Design and modeling of a stellarator fusion reactor is a multidisciplinary effort that requires a tight integration between simulation of highly nonlinear multi-physics and representation of non-planar complex geometries. The critical current calculation and the design of the mechanical structures are among the most crucial aspects as they set size, cost, and time to build the stellarator. Because of the asymmetric and non-planar nature of its components the modeling of such figures of merit needs to be carried out at large scale, without the possibility of taking advantage of any particular symmetry. In this work we develop a three-dimensional model for the analysis of the magnetic field and forces, necessary for such considerations, for complex coil geometries, such as stellarators, where a two-dimensional approach can not provide accurate analyses and verification of assumptions. Moreover, this method can quickly generate a large amount of critical modeling data (e.g. Lorentz load, displacement and stresses) that could be integrated into a workflow for coil design optimization based on machine learning or other recent optimization tools.


title: Distilling Influences to Mitigate Prediction Churn in Graph Neural Networks

abstract: Models with similar performances exhibit significant disagreement in the predictions of individual samples, referred to as prediction churn. Our work explores this phenomenon in graph neural networks by investigating differences between models differing only in their initializations in their utilized features for predictions. We propose a novel metric called Influence Difference (ID) to quantify the variation in reasons used by nodes across models by comparing their influence distribution. Additionally, we consider the differences between nodes with a stable and an unstable prediction, positing that both equally utilize different reasons and thus provide a meaningful gradient signal to closely match two models even when the predictions for nodes are similar. Based on our analysis, we propose to minimize this ID in Knowledge Distillation, a domain where a new model should closely match an established one. As an efficient approximation, we introduce DropDistillation (DD) that matches the output for a graph perturbed by edge deletions. Our empirical evaluation of six benchmark datasets for node classification validates the differences in utilized features. DD outperforms previous methods regarding prediction stability and overall performance in all considered Knowledge Distillation experiments.


title: Benzophenone Semicarbazones as Potential alpha-glucosidase and Prolyl Endopeptidase Inhibitor: In-vitro free radical scavenging, enzyme inhibition, mechanistic, and molecular docking studies

abstract: $\alpha$-glucosidase and prolylendopeptidase has altered expression and activity patterns in neurological disease, type 2diabetes respectively and several cancers. Here we screened a series 1-29 benzophenone semicarbazone derivatives for in vitro free radical scavenging, alpha-glucosidase and prolylendopeptidase inhibition activities. Seven derivatives were identified as potential free radical scavengers, 14 as alpha-glucosidase, and 9 as prolylendopeptidase inhibitors. Kinetic studies on the most promising inhibitors were performed. Compounds 23, 27, 25 and 28 were found as inhibitor of alpha-glucosidase, while compound 26 inhibited both prolylendopeptidase and alpha-glucosidase. The binding modes and binding free energy of the multi targeted inhibitor 26 were predicted by molecular docking studies. These results provide insights on prolylendopeptidase and alpha-glucosidase inhibition of compound 26 for further development as therapeutic agents for neoplastic, neurological, and endocrine disorders.


title: Topological rigidity of quoric manifolds

abstract: Quoric manifolds are the quaternionic analogue of toric manifolds. They admit a locally nice action of $(S^3)^n$ and the quotient is a manifold with corners. We show that they satisfy equivariant rigidity. More precisely, any locally linear $(S^3)^n$-manifold that it is equivariantly homotopic equivalent to a quoric manifold is equivariantly homeomorphic to it. The proof is given by generalising the methods of used in Coxeter and toric manifolds.


title: Unveiling Technorelief: Enhancing Neurodiverse Collaboration with Media Capabilities

abstract: As the workforce settles into flexible work arrangements, researchers have focused on the collaborative and psychological consequences of the shift. While nearly a fifth of the world's population is estimated to be neurodivergent, the implications of remote collaboration on the cognitive, sensory, and socio-affective experiences of autistic workers are poorly understood. Prior literature suggests that information and communication technologies (ICTs) introduce major psychological stressors. Theoretically, these stressors ought to be exceptionally straining considering autistic traits $\unicode{x2013}$ yet, studies describe a strong attraction to ICTs. We thus ask: how do digital technologies alleviate autistic workers' experiences of their collaborative work environment? Thirty-three interviews were conducted to address this question. Findings suggest that digital media present capabilities that filter input from the environment, turning it into a virtual stage that lets workers "time out". The resulting "technorelief" enables autistic workers to tune into their perceptions and regain control of their collaborative experiences.


title: Autonomous Navigation of Micro Air Vehicles in Warehouses Using Vision-based Line Following

abstract: In this paper, we propose a vision-based solution for indoor Micro Air Vehicle (MAV) navigation, with a primary focus on its application within autonomous warehouses. Our work centers on the utilization of a single camera as the primary sensor for tasks such as detection, localization, and path planning. To achieve these objectives, we implement the HSV color detection and the Hough Line Transform for effective line detection within warehouse environments. The integration of a Kalman filter into our system enables the camera to track yellow lines reliably. We evaluated the performance of our vision-based line following algorithm through various MAV flight tests conducted in the Gazebo 11 platform, utilizing ROS Noetic. The results of these simulations demonstrate the system capability to successfully navigate narrow indoor spaces. Our proposed system has the potential to significantly reduce labor costs and enhance overall productivity in warehouse operations. This work contributes to the growing field of MAV applications in autonomous warehouses, addressing the need for efficient logistics and supply chain solutions.


title: Quantisation of the gauge-invariant models for massive higher-spin bosonic fields

abstract: In 2001, Zinoviev proposed a gauge-invariant formulation for a massive bosonic field with spin $s \geq 2$ in a spacetime of constant curvature. In this paper we carry out the Faddeev-Popov quantisation of this theory in $d$-dimensional Minkowski space. We also make use of the Zinoviev theory to derive a generalisation of the Singh-Hagen model for a massive integer-spin field in $d>4 $ dimensions.


title: LS-VOS: Identifying Outliers in 3D Object Detections Using Latent Space Virtual Outlier Synthesis

abstract: LiDAR-based 3D object detectors have achieved unprecedented speed and accuracy in autonomous driving applications. However, similar to other neural networks, they are often biased toward high-confidence predictions or return detections where no real object is present. These types of detections can lead to a less reliable environment perception, severely affecting the functionality and safety of autonomous vehicles. We address this problem by proposing LS-VOS, a framework for identifying outliers in 3D object detections. Our approach builds on the idea of Virtual Outlier Synthesis (VOS), which incorporates outlier knowledge during training, enabling the model to learn more compact decision boundaries. In particular, we propose a new synthesis approach that relies on the latent space of an auto-encoder network to generate outlier features with a parametrizable degree of similarity to in-distribution features. In extensive experiments, we show that our approach improves the outlier detection capabilities of a state-of-the-art object detector while maintaining high 3D object detection performance.


title: A Novel IoT Trust Model Leveraging Fully Distributed Behavioral Fingerprinting and Secure Delegation

abstract: With the number of connected smart devices expected to constantly grow in the next years, Internet of Things (IoT) solutions are experimenting a booming demand to make data collection and processing easier. The ability of IoT appliances to provide pervasive and better support to everyday tasks, in most cases transparently to humans, is also achieved through the high degree of autonomy of such devices. However, the higher the number of new capabilities and services provided in an autonomous way, the wider the attack surface that exposes users to data hacking and lost. In this scenario, many critical challenges arise also because IoT devices have heterogeneous computational capabilities (i.e., in the same network there might be simple sensors/actuators as well as more complex and smart nodes). In this paper, we try to provide a contribution in this setting, tackling the non-trivial issues of equipping smart things with a strategy to evaluate, also through their neighbors, the trustworthiness of an object in the network before interacting with it. To do so, we design a novel and fully distributed trust model exploiting devices' behavioral fingerprints, a distributed consensus mechanism and the Blockchain technology. Beyond the detailed description of our framework, we also illustrate the security model associated with it and the tests carried out to evaluate its correctness and performance.


title: How Helpful do Novice Programmers Find the Feedback of an Automated Repair Tool?

abstract: Immediate feedback has been shown to improve student learning. In programming courses, immediate, automated feedback is typically provided in the form of pre-defined test cases run by a submission platform. While these are excellent for highlighting the presence of logical errors, they do not provide novice programmers enough scaffolding to help them identify where an error is or how to fix it. To address this, several tools have been developed that provide richer feedback in the form of program repairs. Studies of such tools, however, tend to focus more on whether correct repairs can be generated, rather than how novices are using them. In this paper, we describe our experience of using CLARA, an automated repair tool, to provide feedback to novices. First, we extended CLARA to support a larger subset of the Python language, before integrating it with the Jupyter Notebooks used for our programming exercises. Second, we devised a preliminary study in which students tackled programming problems with and without support of the tool using the 'think aloud' protocol. We found that novices often struggled to understand the proposed repairs, echoing the well-known challenge to understand compiler/interpreter messages. Furthermore, we found that students valued being told where a fix was needed - without necessarily the fix itself - suggesting that 'less may be more' from a pedagogical perspective.


title: Optimally truncated WKB approximation for the highly oscillatory stationary 1D Schr\"odinger equation

abstract: We discuss the numerical solution of initial value problems for $\varepsilon^2\,\varphi''+a(x)\,\varphi=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We analyze and implement an approximate solution based on the well-known WKB-ansatz. The resulting approximation error is of magnitude $\mathcal{O}(\varepsilon^{N})$ where $N$ refers to the truncation order of the underlying asymptotic series. When the optimal truncation order $N_{opt}$ is chosen, the error behaves like $\mathcal{O}(\varepsilon^{-2}\exp(-c\varepsilon^{-1}))$ with some $c>0$.


title: Semiframes: algebras of heterogeneous consensus

abstract: Semitopologies model consensus in distributed system by equating the notion of a quorum -- a set of participants sufficient to make local progress -- with that of an open set. This yields a topology-like theory of consensus, but semitopologies generalise topologies, since the intersection of two quorums need not necessarily be a quorum. The semitopological model of consensus is naturally heterogeneous and local, just like topologies can be heterogenous and local, and for the same reasons: points may have different quorums and there is no restriction that open sets / quorums be uniformly generated (e.g. open sets can be something other than two-thirds majorities of the points in the space). Semiframes are an algebraic abstraction of semitopologies. They are to semitopologies as frames are to topologies. We give a notion of semifilter, which plays a role analogous to filters, and show how to build a semiframe out of the open sets of a semitopology, and a semitopology out of the semifilters of a semiframe. We define suitable notions of category and morphism and prove a categorical duality between (sober) semiframes and (spatial) semitopologies, and investigate well-behavedness properties on semitopologies and semiframes across the duality. Surprisingly, the structure of semiframes is not what one might initially expect just from looking at semitopologies, and the canonical structure required for the duality result -- a compatibility relation *, generalising sets intersection -- is also canonical for expressing well-behavedness properties. Overall, we deliver a new categorical, algebraic, abstract framework within which to study consensus on distributed systems, and which is also simply interesting to consider as a mathematical theory in its own right.


title: On the Truncated Matricial Moment Problem. I

abstract: This paper is about the general truncated matrix-valued moment problem. Let $\mathcal{H}_q$ denote the complex Hermitian $q\times q$-matrices, $q\in \mathbb{N}$. Suppose that $(\mathcal{X},\mathfrak{X})$ is a measurable space and $\mathcal{E}$ is a finite-dimensional vector space of measurable mappings of $\mathcal{X}$ into $\mathcal{H}_q$. A linear functional $\Lambda$ on $\mathcal{E}$ is called a moment functional if there exists a positive $\mathcal{H}_q$-valued measure $\mu$ on $(\mathcal{X},\mathfrak{X})$ such that $\Lambda(F)=\int_\mathcal{X} \langle F,\mathrm{d}\mu\rangle$ for $F\in \mathcal{E}$. We prove a matricial version of the Richter-Tchakaloff theorem which states that each moment functional on $\mathcal{E}$ has a finitely atomic representing measure. It is shown that strictly positive linear functionals on $\mathcal{E}$ are moment functionals. For a moment functional $\Lambda$, we study the set of atoms $\mathcal{W}(\Lambda)$ and the Carath\'eodory numbers $\mathrm{Car}(\Lambda)$, $\mathrm{car}(\Lambda)$ and we define and investigate the core set $\mathcal{V}(\Lambda)$. A main result of the paper is the equality $\mathcal{W}(\Lambda)=\mathcal{V}(\Lambda)$.


title: Constant Approximation for Private Interdependent Valuations

abstract: The celebrated model of auctions with interdependent valuations, introduced by Milgrom and Weber in 1982, has been studied almost exclusively under private signals $s_1, \ldots, s_n$ of the $n$ bidders and public valuation functions $v_i(s_1, \ldots, s_n)$. Recent work in TCS has shown that this setting admits a constant approximation to the optimal social welfare if the valuations satisfy a natural property called submodularity over signals (SOS). More recently, Eden et al. (2022) have extended the analysis of interdependent valuations to include settings with private signals and private valuations, and established $O(\log^2 n)$-approximation for SOS valuations. In this paper we show that this setting admits a constant factor approximation, settling the open question raised by Eden et al. (2022).


title: Parabolic John-Nirenberg spaces with time lag

abstract: We introduce a parabolic version of the so-called John-Nirenberg space that is a generalization of functions of parabolic bounded mean oscillation. Parabolic John-Nirenberg inequalities, which give weak type estimates for the oscillation of a function, are shown in the setting of the parabolic geometry with a time lag. Our arguments are based on a parabolic Calder\'{o}n-Zygmund decomposition and a good lambda estimate. Chaining arguments are applied to change the time lag in the parabolic John-Nirenberg inequality.


title: A pragmatic workflow for research software engineering in computational science

abstract: University research groups in Computational Science and Engineering (CSE) generally lack dedicated funding and personnel for Research Software Engineering (RSE), which, combined with the pressure to maximize the number of scientific publications, shifts the focus away from sustainable research software development and reproducible results. The neglect of RSE in CSE at University research groups negatively impacts the scientific output: research data - including research software - related to a CSE publication cannot be found, reproduced, or re-used, different ideas are not combined easily into new ideas, and published methods must very often be re-implemented to be investigated further. This slows down CSE research significantly, resulting in considerable losses in time and, consequentially, public funding. We propose a RSE workflow for Computational Science and Engineering (CSE) that addresses these challenges, that improves the quality of research output in CSE. Our workflow applies established software engineering practices adapted for CSE: software testing, result visualization, and periodical cross-linking of software with reports/publications and data, timed by milestones in the scientific publication process. The workflow introduces minimal work overhead, crucial for university research groups, and delivers modular and tested software linked to publications whose results can easily be reproduced. We define research software quality from a perspective of a pragmatic researcher: the ability to quickly find the publication, data, and software related to a published research idea, quickly reproduce results, understand or re-use a CSE method, and finally extend the method with new research ideas.


title: Adiabatic demagnetization refrigeration to mK temperatures with the distorted square lattice magnet NaYbGeO$_{4}$

abstract: We report the synthesis, characterization, low-temperature magnetic, and thermodynamic measurements of the novel milli-Kelvin adiabatic demagnetization refrigeration (mK-ADR) candidate material NaYbGeO$_4$ which exhibits a distorted square lattice arrangement of YbO$_{6}$ magnetic units. Magnetization and specific heat indicate weakly interacting effective spin-1/2 moments below 10~K, with a Curie-Weiss temperature of only 15~mK, that can be polarized by magnetic fields of order 1~T. For the ADR performance test, we start the demagnetization from 5~T at a temperature of $\sim 2$~K and reach a minimum temperature of 150~mK at zero field. The warming curve indicates a sharp magnetic transition in the heat capacity at 210~mK, implying only weak magnetic frustration. The entropy density of $S_{\rm GS}\simeq 101$ mJ K$ ^{-1}$cm$^{-3}$ and hold time below 2~K of 220~min are competitive while the minimal temperature is higher compared to frustrated Ytterbium-oxide ADR materials studied under similar conditions.


title: Multi-Agent Bayesian Optimization with Coupled Black-Box and Affine Constraints

abstract: This paper studies the problem of distributed multi-agent Bayesian optimization with both coupled black-box constraints and known affine constraints. A primal-dual distributed algorithm is proposed that achieves similar regret/violation bounds as those in the single-agent case for the black-box objective and constraint functions. Additionally, the algorithm guarantees an $\mathcal{O}(N\sqrt{T})$ bound on the cumulative violation for the known affine constraints, where $N$ is the number of agents. Hence, it is ensured that the average of the samples satisfies the affine constraints up to the error $\mathcal{O}({N}/{\sqrt{T}})$. Furthermore, we characterize certain conditions under which our algorithm can bound a stronger metric of cumulative violation and provide best-iterate convergence without affine constraint. The method is then applied to both sampled instances from Gaussian processes and a real-world optimal power allocation problem for wireless communication; the results show that our method simultaneously provides close-to-optimal performance and maintains minor violations on average, corroborating our theoretical analysis.


title: High-order WKB-based Method For The 1D Stationary Schr\"odinger Equation In The Semi-classical Limit

abstract: We consider initial value problems for $\varepsilon^2\,\varphi''+a(x)\,\varphi=0$ in the highly oscillatory regime, i.e., with $a(x)>0$ and $0<\varepsilon\ll 1$. We discuss their efficient numerical integration on coarse grids, but still yielding accurate solutions. The $\mathcal{O}(h^2)$ one-step method from [2] is based on an analytic WKB-preprocessing of the equation. Here we extend this method to $\mathcal{O}(h^3)$ accuracy.


title: All by Myself: Learning Individualized Competitive Behaviour with a Contrastive Reinforcement Learning optimization

abstract: In a competitive game scenario, a set of agents have to learn decisions that maximize their goals and minimize their adversaries' goals at the same time. Besides dealing with the increased dynamics of the scenarios due to the opponents' actions, they usually have to understand how to overcome the opponent's strategies. Most of the common solutions, usually based on continual learning or centralized multi-agent experiences, however, do not allow the development of personalized strategies to face individual opponents. In this paper, we propose a novel model composed of three neural layers that learn a representation of a competitive game, learn how to map the strategy of specific opponents, and how to disrupt them. The entire model is trained online, using a composed loss based on a contrastive optimization, to learn competitive and multiplayer games. We evaluate our model on a pokemon duel scenario and the four-player competitive Chef's Hat card game. Our experiments demonstrate that our model achieves better performance when playing against offline, online, and competitive-specific models, in particular when playing against the same opponent multiple times. We also present a discussion on the impact of our model, in particular on how well it deals with on specific strategy learning for each of the two scenarios.