title: Position-Aware Subgraph Neural Networks with Data-Efficient Learning

abstract: Data-efficient learning on graphs (GEL) is essential in real-world applications. Existing GEL methods focus on learning useful representations for nodes, edges, or entire graphs with ``small'' labeled data. But the problem of data-efficient learning for subgraph prediction has not been explored. The challenges of this problem lie in the following aspects: 1) It is crucial for subgraphs to learn positional features to acquire structural information in the base graph in which they exist. Although the existing subgraph neural network method is capable of learning disentangled position encodings, the overall computational complexity is very high. 2) Prevailing graph augmentation methods for GEL, including rule-based, sample-based, adaptive, and automated methods, are not suitable for augmenting subgraphs because a subgraph contains fewer nodes but richer information such as position, neighbor, and structure. Subgraph augmentation is more susceptible to undesirable perturbations. 3) Only a small number of nodes in the base graph are contained in subgraphs, which leads to a potential ``bias'' problem that the subgraph representation learning is dominated by these ``hot'' nodes. By contrast, the remaining nodes fail to be fully learned, which reduces the generalization ability of subgraph representation learning. In this paper, we aim to address the challenges above and propose a Position-Aware Data-Efficient Learning framework for subgraph neural networks called PADEL. Specifically, we propose a novel node position encoding method that is anchor-free, and design a new generative subgraph augmentation method based on a diffused variational subgraph autoencoder, and we propose exploratory and exploitable views for subgraph contrastive learning. Extensive experiment results on three real-world datasets show the superiority of our proposed method over state-of-the-art baselines.


title: On the Analysis and Optimization of Fast Conditional Handover with Hand Blockage for Mobility

abstract: Although frequency range 2 (FR2) systems are an essential part of 5G-Advanced and future 3GPP releases, the mobility performance of multi-panel user equipment (MPUE) with hand blockage is still an area open for research and standardization. In this article, a comprehensive study on the mobility performance of MPUE with hand blockage is performed for conditional handover (CHO) and its potential enhancement denoted by fast conditional handover (FCHO). In contrast to CHO, in FCHO the MPUE can reuse earlier target cell preparations after each handover to autonomously execute subsequent handovers. This saves both the signaling overhead associated with the reconfiguration and re-preparation of target cells after each handover and reduces mobility failures. Results have shown that FCHO offers considerable mobility performance gains as compared to CHO for different hand blockage cases that are dependent on the hand position around the MPUE. For the worst-case hand blockage scenario, it is seen that mobility failures reduce by 10.5% and 19.3% for the 60 km/h and 120 km/h mobility scenarios, respectively. This gain comes at the expense of reserving the handover resources of an MPUE for a longer time given that the target cell configurations are not necessarily released after each handover. In this article, the longer resource reservation problem in FCHO is analysed and three different resource reservation optimization techniques are introduced. Results have shown that these optimization techniques not only reduce the resource reservation time but also significantly reduce the signaling overhead at the possible expense of a tolerable degradation in mobility performance.


title: Volume rigidity and algebraic shifting

abstract: We study the generic volume rigidity of $(d-1)$-dimensional simplicial complexes in $\mathbb R^{d-1}$, and show that the volume rigidity of a complex can be identified in terms of its exterior shifting. In addition, we establish the volume rigidity of triangulations of several $2$-dimensional surfaces and prove that, in all dimensions $>1$, volume rigidity is {\em not} characterized by a corresponding hypergraph sparsity property.


title: Text-Only Training for Image Captioning using Noise-Injected CLIP

abstract: We consider the task of image-captioning using only the CLIP model and additional text data at training time, and no additional captioned images. Our approach relies on the fact that CLIP is trained to make visual and textual embeddings similar. Therefore, we only need to learn how to translate CLIP textual embeddings back into text, and we can learn how to do this by learning a decoder for the frozen CLIP text encoder using only text. We argue that this intuition is "almost correct" because of a gap between the embedding spaces, and propose to rectify this via noise injection during training. We demonstrate the effectiveness of our approach by showing SOTA zero-shot image captioning across four benchmarks, including style transfer. Code, data, and models are available on GitHub.


title: Event Tables for Efficient Experience Replay

abstract: Experience replay (ER) is a crucial component of many deep reinforcement learning (RL) systems. However, uniform sampling from an ER buffer can lead to slow convergence and unstable asymptotic behaviors. This paper introduces Stratified Sampling from Event Tables (SSET), which partitions an ER buffer into Event Tables, each capturing important subsequences of optimal behavior. We prove a theoretical advantage over the traditional monolithic buffer approach and combine SSET with an existing prioritized sampling strategy to further improve learning speed and stability. Empirical results in challenging MiniGrid domains, benchmark RL environments, and a high-fidelity car racing simulator demonstrate the advantages and versatility of SSET over existing ER buffer sampling approaches.


title: Fine-tuned Generative Adversarial Network-based Model for Medical Image Super-Resolution

abstract: In the field of medical image analysis, there is a substantial need for high-resolution (HR) images to improve diagnostic accuracy. However, it is a challenging task to obtain HR medical images, as it requires advanced instruments and significant time. Deep learning-based super-resolution methods can help to improve the resolution and perceptual quality of low-resolution (LR) medical images. Recently, Generative Adversarial Network (GAN) based methods have shown remarkable performance among deep learning-based super-resolution methods. Real-Enhanced Super-Resolution Generative Adversarial Network (Real-ESRGAN) is a practical model for recovering HR images from real-world LR images. In our proposed approach, we use transfer learning technique and fine-tune the pre-trained Real-ESRGAN model using medical image datasets. This technique helps in improving the performance of the model. We employ the high-order degradation model of the Real-ESRGAN which better simulates real-world image degradations. This adaptation allows for generating more realistic degraded medical images, resulting in improved performance. The focus of this paper is on enhancing the resolution and perceptual quality of chest X-ray and retinal images. We use the Tuberculosis chest X-ray (Shenzhen) dataset and the STARE dataset of retinal images for fine-tuning the model. The proposed model achieves superior perceptual quality compared to the Real-ESRGAN model, effectively preserving fine details and generating images with more realistic textures.


title: Investigating the Hubble Tension: Effect of Cepheid Calibration

abstract: Recent observations of Type Ia supernovae (SNe) by SH0ES collaboration (R11 and R16) diverge from the value reported by recent CMBR observations utilising the Planck satellite and application of the $\Lambda CDM$ cosmological model by at least $3 \sigma$. It is among the most challenging problems in contemporary cosmology and is known as the Hubble tension. The SNe Ia in R11 and R16 were calibrated through cepheid variables in three distinct galaxies: Milky Way, LMC, and NGC4258. Carnegie Hubble Program (CHP) observations of type Ia SNe calibrated using the tip of the red giant approach yielded a somewhat different estimate for the Hubble constant. This decreased the Hubble tension from over 3$\sigma$ to below 2$\sigma$. It is a legitimate question to answer whether there are any issues with SNe Ia calibration and to investigate whether the Hubble tension is real or not. We use statistical techniques namely, ANOVA, K-S test, and t-test to examine whether the cepheid calibration is host-dependent. Our analysis shows that (i) both R11 and R16 data suffer from non-Gaussian systematic effects, (ii) $H_0$ values in the sub-samples (different anchor-based) in both R11 and R16 groups are significantly different at a 99\% confidence level, and (iii) neglecting the metal-rich MW sample does not reduce the $H_0$ value significantly, and thus Hubble tension persists. A small reduction in the Hubble constant could be linked to the differences in the host environment. Hence instead of using a single universal relation environment based slope and zero point should be preferred.


title: Analyzing X-ray Thomson scattering experiments of warm dense matter in the imaginary-time domain: theoretical models and simulations

abstract: The rigorous diagnostics of experiments with warm dense matter (WDM) is notoriously difficult. A key method is given by X-ray Thomson scattering (XRTS), but the interpretation of XRTS measurements is usually based on theoretical models that entail various approximations. Recently, Dornheim et al. [arXiv:2206.12805] have introduced a new framework for temperature diagnostics of XRTS experiments that is based on imaginary-time correlation functions (ITCF). On the one hand, switching from the frequency- to the imaginary-time domain gives one direct access to a number of physical properties, which facilitates the extraction of the temperature of arbitrarily complex materials without any models or approximations. On the other hand, the bulk of theoretical works in dynamic quantum many-body theory is devoted to the frequency-domain, and, to our knowledge, the manifestation of physics properties within the ITCF remains poorly understood. In the present work, we aim to change this unsatisfactory situation by introducing a simple, semi-analytical model for the imaginary-time dependence of two-body correlations within the framework of imaginary-time path integrals. As a practical example, we compare our new model to extensive ab initio path integral Monte Carlo results for the ITCF of a uniform electron gas, and find excellent agreement over a broad range of wave numbers, densities, and temperatures.


title: $K$-theory of two-dimensional substitution tiling spaces from $AF$-algebras

abstract: Given a two-dimensional substitution tiling space, we show that, under some reasonable assumptions, the $K$-theory of the groupoid $C^\ast$-algebra of its unstable groupoid can be explicitly reconstructed from the $K$-theory of the $AF$-algebras of the substitution rule and its analogue on the $1$-skeleton. We prove this by generalizing the calculations done for the chair tiling in [JS16] using relative $K$-theory and excision, and packaging the result into an exact sequence purely in topology. From this exact sequence, it appears that one cannot use only ordinary $K$-theory to compute using the dimension-filtration on the unstable groupoid. Several examples are computed using Sage and the results are compiled in a table.


title: Evolutionary Innovation by Polyploidy

abstract: The preferred conditions for evolutionary innovation is a fundamental question, but little is known, in part because the question involves rare events. We focused on the potential role of polyploidy in the evolution of novel traits. There are two hypotheses regarding the effects of polyploidy on evolution: Polyploidy reduces the effect of a single mutation and slows evolution. In contrast, the gene redundancy introduced by polyploidy will promote neofunctionalization and accelerate evolution. Does polyploidy speed up or slow down evolution? In this study, we proposed a simple model of polyploid cells and showed that the evolutionary rate of polyploids is similar to or much slower than that of haploids under neutral selection or during gradual evolution. However, on a fitness landscape where cells should jump over a lethal valley to increase their fitness, the probability of evolution in polyploidy could be drastically increased, and the optimal number of chromosomes was identified. We theoretically discussed the existence of this optimal chromosome number from the large deviation theory. Furthermore, we proposed that the optimization for achieving evolutionary innovation could determine the range of chromosome numbers in polyploid bacteria.


title: ClassActionPrediction: A Challenging Benchmark for Legal Judgment Prediction of Class Action Cases in the US

abstract: The research field of Legal Natural Language Processing (NLP) has been very active recently, with Legal Judgment Prediction (LJP) becoming one of the most extensively studied tasks. To date, most publicly released LJP datasets originate from countries with civil law. In this work, we release, for the first time, a challenging LJP dataset focused on class action cases in the US. It is the first dataset in the common law system that focuses on the harder and more realistic task involving the complaints as input instead of the often used facts summary written by the court. Additionally, we study the difficulty of the task by collecting expert human predictions, showing that even human experts can only reach 53% accuracy on this dataset. Our Longformer model clearly outperforms the human baseline (63%), despite only considering the first 2,048 tokens. Furthermore, we perform a detailed error analysis and find that the Longformer model is significantly better calibrated than the human experts. Finally, we publicly release the dataset and the code used for the experiments.


title: Ambisonic Encoding of Signals From Spherical Microphone Arrays

abstract: This document illustrates how to process the signals from the microphones of a rigid-sphere higher-order ambisonic microphone array so that they are encoded with N3D normalization and ACN channel order and thereby can be used with the standard ambisonic software tools such as SPARTA and the IEM Plugin Suite. A MATLAB script is provided.


title: Ambisonic Encoding of Signals From Equatorial Microphone Arrays

abstract: The equatorial microphone array presented in (Ahrens et al., 2021) computes a spherical harmonic (SH) representation of a sound field based on pressure sensors along the equator of a rigid spherical baffle. The original formulation uses complex-valued SH basis functions. This is inconvenient if the SH representation of the captured sound field is intended to be stored in time domain by means of real-valued audio signals as it is common in the spatial audio format of ambisonics. The present document summarizes the modifications that need to be applied to the mathematical formulation from (Ahrens et al., 2021) to produce an ambisonic representation of the captured sound field that is compatible with the established ambisonic software tools like SPARTA and the IEM Plugin Suite. An example MATLAB script that implements this formulation is provided.


title: Adapter-Based Extension of Multi-Speaker Text-to-Speech Model for New Speakers

abstract: Fine-tuning is a popular method for adapting text-to-speech (TTS) models to new speakers. However this approach has some challenges. Usually fine-tuning requires several hours of high quality speech per speaker. There is also that fine-tuning will negatively affect the quality of speech synthesis for previously learnt speakers. In this paper we propose an alternative approach for TTS adaptation based on using parameter-efficient adapter modules. In the proposed approach, a few small adapter modules are added to the original network. The original weights are frozen, and only the adapters are fine-tuned on speech for new speaker. The parameter-efficient fine-tuning approach will produce a new model with high level of parameter sharing with original model. Our experiments on LibriTTS, HiFi-TTS and VCTK datasets validate the effectiveness of adapter-based method through objective and subjective metrics.


title: T5lephone: Bridging Speech and Text Self-supervised Models for Spoken Language Understanding via Phoneme level T5

abstract: In Spoken language understanding (SLU), a natural solution is concatenating pre-trained speech models (e.g. HuBERT) and pretrained language models (PLM, e.g. T5). Most previous works use pretrained language models with subword-based tokenization. However, the granularity of input units affects the alignment of speech model outputs and language model inputs, and PLM with character-based tokenization is underexplored. In this work, we conduct extensive studies on how PLMs with different tokenization strategies affect spoken language understanding task including spoken question answering (SQA) and speech translation (ST). We further extend the idea to create T5lephone(pronounced as telephone), a variant of T5 that is pretrained using phonemicized text. We initialize T5lephone with existing PLMs to pretrain it using relatively lightweight computational resources. We reached state-of-the-art on NMSQA, and the T5lephone model exceeds T5 with other types of units on end-to-end SQA and ST.


title: Moduli spaces of flat Riemannian metrics on 3- and 4-dimensional closed manifolds

abstract: We describe the topology of the moduli spaces of flat metrics for all the 3-dimensional closed manifolds. We give an algebraic description of the moduli spaces for the 4-dimensional closed flat manifolds with a single generator in their holonomy and, in some cases, also study their topology.


title: The detection of possible transient Quasi-Periodic Oscillations in the $\gamma$-ray light curve of PKS 0244-470 and 4C+38.41

abstract: The continuous monitoring capability of Fermi-LAT has enabled the exploration of Quasi-Periodic Oscillations (QPOs) in the $\gamma$-ray light curve of blazar that has given a new perspective to probe these sources over a wide range of time scales. We report the presence of transient QPOs in the long-term $\gamma$-ray light curve of blazars PKS 0244-470 and 4C +38.41. We first identified different flux states using the Bayesian Block algorithm and then explored the possible transient QPOs in the segments of each flux phase where the flux level changes over fairly regular intervals. Combining this with the source's intrinsic variance, we identified two flux phases for PKS 0244-470: one activity (AP-1) and one quiescent phase (QP-1). For 4C+38.41, we similarly identified four activity (AP-1, AP-2, AP-3, AP-4) and two quiescent (QP-1, QP-2) phases. AP-1 phase of PKS 0244-470 shows QPO of $\sim$225 days persisting for 8 cycles ($\sim$ 4.1$\sigma$). In 4C+38.41, AP-1 and AP-2 phases show QPO-like behavior of $\sim$110 days and $\sim$ 60 days, respectively, persisting for 5 cycles. In AP-3, we identified three sub-phases, and all show a $\sim$ week scale possible recurrent rise with five complete cycles, while in QP-1, we could identify 2 sub-phases (Q1, and Q2). Q1 phase shows a period of $\sim$ 104 days with six complete cycles. Q2 phase also shows QPO but with only $\sim$3.7 cycles. We discuss the possible origin and argue that the current driven kink instability and curved jet model seem the most likely cause for shorter and longer QPOs.


title: SCA: Streaming Cross-attention Alignment for Echo Cancellation

abstract: End-to-End deep learning has shown promising results for speech enhancement tasks, such as noise suppression, dereverberation, and speech separation. However, most state-of-the-art methods for echo cancellation are either classical DSP-based or hybrid DSP-ML algorithms. Components such as the delay estimator and adaptive linear filter are based on traditional signal processing concepts, and deep learning algorithms typically only serve to replace the non-linear residual echo suppressor. This paper introduces an end-to-end echo cancellation network with a streaming cross-attention alignment (SCA). Our proposed method can handle unaligned inputs without requiring external alignment and generate high-quality speech without echoes. At the same time, the end-to-end algorithm simplifies the current echo cancellation pipeline for time-variant echo path cases. We test our proposed method on the ICASSP2022 and Interspeech2021 Microsoft deep echo cancellation challenge evaluation dataset, where our method outperforms some of the other hybrid and end-to-end methods.


title: Reliability-Aware Deployment of DNNs on In-Memory Analog Computing Architectures

abstract: Conventional in-memory computing (IMC) architectures consist of analog memristive crossbars to accelerate matrix-vector multiplication (MVM), and digital functional units to realize nonlinear vector (NLV) operations in deep neural networks (DNNs). These designs, however, require energy-hungry signal conversion units which can dissipate more than 95% of the total power of the system. In-Memory Analog Computing (IMAC) circuits, on the other hand, remove the need for signal converters by realizing both MVM and NLV operations in the analog domain leading to significant energy savings. However, they are more susceptible to reliability challenges such as interconnect parasitic and noise. Here, we introduce a practical approach to deploy large matrices in DNNs onto multiple smaller IMAC subarrays to alleviate the impacts of noise and parasitics while keeping the computation in the analog domain.


title: Norm optimal factorizations of scalar and block matrices

abstract: For an $m \times n$ complex matrix $X$ of rank $r$ with Schur multiplier $S_X$ we show that there exist an $ r \times m $ complex matrix $L$ and an $ r\times n $ complex matrix $R$ such that $X = L^*R$ and $\|S_X\|\, =\, \|\mathrm{diag} (L^*L) \|^{\frac{1}{2}} \| \mathrm{diag} (R^*R) \| ^{\frac{1}{2}},$ and the norm condition is optimal. Let the completely bounded norm of the bilinear form $B_X$ induced by $X$ on $(\mathbb{C}^m, \|.\|_\infty) \times (\mathbb{C}^n, \|.\|_\infty)$ be denoted $\|B_X\|_{cb},$ then $X$ has a factorization $ X = \Delta(\eta)^* C \Delta(\xi)$ with $\eta $ in $\mathbb{C}^m,$ $\xi$ in $\mathbb{C}^n$ such that the outer factors are diagonal operators with $\|\xi\|_2 = \|\eta\|_2=1 $ and $C$ has operator norm equal to $\|B_X\|_{cb},$ and the norm condition is optimal. A generalization to operator valued Schur block multipliers is presented too.


title: High-Pressure CO$_2$ Dissociation with Nanosecond Pulsed Discharges

abstract: The efficiency of the conversion of CO$_2$ into CO with nanosecond repetitively pulsed discharges (NRP) is investigated in a high pressure batch reactor. Stable discharges are obtained at up to 12~bar. By-products of CO$_2$ splitting are measured with gas chromatography. The energy efficiency is determined for a range of processing times, pulse energy, and fill pressures. The energy efficiency is found to be approximately 20% and is only weakly sensitive to the plasma operating parameters, i.e., the extent of CO$_2$ conversion is almost linearly-dependent on the specific energy input. A conversion rate of up to 14% is achieved with an energy efficiency of 23%. For long processing times, a drop in efficiency is observed, due to the increasing significance of recombination reactions, as described by a macroscopic kinetic mechanism. Reaction pathways that are believed to play an important role in nanosecond pulsed discharges are discussed. It appears that vibrational excitation does not play a significant role in CO$_2$ conversion in these types of short-pulse discharge. Results also draw attention to the relative importance of two particular electronic excitation reactions.


title: Interpretability in the Wild: a Circuit for Indirect Object Identification in GPT-2 small

abstract: Research in mechanistic interpretability seeks to explain behaviors of machine learning models in terms of their internal components. However, most previous work either focuses on simple behaviors in small models, or describes complicated behaviors in larger models with broad strokes. In this work, we bridge this gap by presenting an explanation for how GPT-2 small performs a natural language task called indirect object identification (IOI). Our explanation encompasses 26 attention heads grouped into 7 main classes, which we discovered using a combination of interpretability approaches relying on causal interventions. To our knowledge, this investigation is the largest end-to-end attempt at reverse-engineering a natural behavior "in the wild" in a language model. We evaluate the reliability of our explanation using three quantitative criteria--faithfulness, completeness and minimality. Though these criteria support our explanation, they also point to remaining gaps in our understanding. Our work provides evidence that a mechanistic understanding of large ML models is feasible, opening opportunities to scale our understanding to both larger models and more complex tasks.


title: Reheating and particle creation in unimodular f(R, T) gravity

abstract: We study cosmological inflation and reheating in the unimodular f(R,T) gravity. During the reheating era, which takes place just after the end of inflation, the energy density of inflaton is converted to radiation energy through, for instance, rapid oscillation about the minimum of the potential. We quantify our investigation by calculating the reheating temperature. This quantity is written in terms of the spectral index and the power spectrum, which provides a suitable framework to constrain the parameter space of the model. We discuss the massless particle creation for a spatially flat, homogeneous and isotropic universe in the context of unimodular f(R, T) gravity. We obtain the number of created particles per unit volume of space. In order to avoid the complexity of field equations, we conformally transform in Einstein frame and investigate the reheating by considering some specific illustrative examples. Also we obtain the corresponding analytical solutions in addition to some numerical estimations.


title: Fine multibubble analysis in the higher-dimensional Brezis-Nirenberg problem

abstract: For a bounded set $\Omega \subset \mathbb R^N$ and a perturbation $V \in C^1(\overline{\Omega})$, we analyze the concentration behavior of a blow-up sequence of positive solutions to \[ -\Delta u_\epsilon + \epsilon V = N(N-2) u_\epsilon^\frac{N+2}{N-2} \] for dimensions $N \geq 4$, which are non-critical in the sense of the Brezis--Nirenberg problem. For the general case of multiple concentration points, we prove that concentration points are isolated and characterize the vector of these points as a critical point of a suitable function derived from the Green's function of $-\Delta$ on $\Omega$. Moreover, we give the leading order expression of the concentration speed. This paper, with a recent one by the authors (arXiv:2208.12337) in dimension $N = 3$, gives a complete picture of blow-up phenomena in the Brezis-Nirenberg framework.


title: Algebra of N-event synchronization

abstract: We have previously defined synchronization (Gomez, E. and K. Schubert 2011) as a relation between the times at which a pair of events can happen, and introduced an algebra that covers all possible relations for such pairs. In this work we introduce the synchronization matrix, to make it easier to calculate the properties and results of $N$ event synchronizations, such as are commonly encountered in parallel execution of multiple processes. The synchronization matrix leads to the definition of N-event synchronization algebras as specific extensions to the original algebra. We derive general properties of such synchronization, and we are able to analyze effects of synchronization on the phase space of parallel execution introduced in (Gomez E Kai R, Schubert KE 2017)


title: Mixed Reality Interface for Digital Twin of Plant Factory

abstract: An easier and intuitive interface architecture is necessary for digital twin of plant factory. I suggest an immersive and interactive mixed reality interface for digital twin models of smart farming, for remote work rather than simulation of components. The environment is constructed with UI display and a streaming background scene, which is a real time scene taken from camera device located in the plant factory, processed with deformable neural radiance fields. User can monitor and control the remote plant factory facilities with HMD or 2D display based mixed reality environment. This paper also introduces detailed concept and describes the system architecture to implement suggested mixed reality interface.


title: Blow-up radial solutions for elliptic systems with monotonic non-linearities

abstract: We are concerned with the existence and boundary behaviour of positive radial solutions for the system \begin{equation*} \left\{ \begin{aligned} \Delta u&=g(|x|,v(x)) &&\quad\mbox{in}\ \Omega, \\ \Delta v&=f(|x|,|\nabla u(x)|) &&\quad\mbox{in}\ \Omega, \end{aligned} \right. \end{equation*} where $\Omega \subset \mathbb{R}^N$ is either a ball centered at the origin or the whole space $\mathbb{R}^N$, and $f,g\in C^{1}([0,\infty)\times [0,\infty))$, are non-negative, and increasing. Firstly, we study the existence of positive radial solutions in the case when the system is posed in a ball corresponding to their behaviour at the boundary. Next, we discuss the existence of positive radial solutions in case when $g(|x|,v(x)) = |x|^{a} v^p$ and $f(|x|, |\nabla u (x)|) = |x|^{b} h(|\nabla u|)$. Finally, we take $h(t) = t^s$, $s> 1$, $\Omega = \mathbb{R}^N$ and by the use of dynamical system techniques we are able to describe the behaviour at infinity of such positive radial solutions.


title: UNFIS: A Novel Neuro-Fuzzy Inference System with Unstructured Fuzzy Rules for Classification

abstract: An important constraint of Fuzzy Inference Systems (FIS) is their structured rules defined based on evaluating all input variables. Indeed, the length of all fuzzy rules and the number of input variables are equal. However, in many decision-making problems evaluating some conditions on a limited set of input variables is sufficient to decide properly (unstructured rules). Therefore, this constraint limits the performance, generalization, and interpretability of the FIS. To address this issue, this paper presents a neuro-fuzzy inference system for classification applications that can select different sets of input variables for constructing each fuzzy rule. To realize this capability, a new fuzzy selector neuron with an adaptive parameter is proposed that can select input variables in the antecedent part of each fuzzy rule. Moreover, in this paper, the consequent part of the Takagi-Sugeno-Kang FIS is also changed properly to consider only the selected set of input variables. To learn the parameters of the proposed architecture, a trust-region-based learning method (General quasi-Levenberg-Marquardt (GqLM)) is proposed to minimize cross-entropy in multiclass problems. The performance of the proposed method is compared with some related previous approaches in some real-world classification problems. Based on these comparisons the proposed method has better or very close performance with a parsimonious structure consisting of unstructured fuzzy.


title: Interactive Imitation Learning in Robotics: A Survey

abstract: Interactive Imitation Learning (IIL) is a branch of Imitation Learning (IL) where human feedback is provided intermittently during robot execution allowing an online improvement of the robot's behavior. In recent years, IIL has increasingly started to carve out its own space as a promising data-driven alternative for solving complex robotic tasks. The advantages of IIL are its data-efficient, as the human feedback guides the robot directly towards an improved behavior, and its robustness, as the distribution mismatch between the teacher and learner trajectories is minimized by providing feedback directly over the learner's trajectories. Nevertheless, despite the opportunities that IIL presents, its terminology, structure, and applicability are not clear nor unified in the literature, slowing down its development and, therefore, the research of innovative formulations and discoveries. In this article, we attempt to facilitate research in IIL and lower entry barriers for new practitioners by providing a survey of the field that unifies and structures it. In addition, we aim to raise awareness of its potential, what has been accomplished and what are still open research questions. We organize the most relevant works in IIL in terms of human-robot interaction (i.e., types of feedback), interfaces (i.e., means of providing feedback), learning (i.e., models learned from feedback and function approximators), user experience (i.e., human perception about the learning process), applications, and benchmarks. Furthermore, we analyze similarities and differences between IIL and RL, providing a discussion on how the concepts offline, online, off-policy and on-policy learning should be transferred to IIL from the RL literature. We particularly focus on robotic applications in the real world and discuss their implications, limitations, and promising future areas of research.


title: A unified method of data assimilation and turbulence modeling for separated flows at high Reynolds numbers

abstract: In recent years, machine learning methods represented by deep neural networks (DNN) have been a new paradigm of turbulence modeling. However, in the scenario of high Reynolds numbers, there are still some bottlenecks, including the lack of high-fidelity data and the convergence and stability problem in the coupling process of turbulence models and the RANS solvers. In this paper, we propose an improved ensemble kalman inversion method as a unified approach of data assimilation and turbulence modeling for separated flows at high Reynolds numbers. The trainable parameters of the DNN are optimized according to the given experimental surface pressure coefficients in the framework of mutual coupling between the RANS equations and DNN eddy-viscosity models. In this way, data assimilation and model training are combined into one step to get the high-fidelity turbulence models agree well with experiments efficiently. The effectiveness of the method is verified by cases of separated flows around airfoils(S809) at high Reynolds numbers. The results show that through joint assimilation of vary few experimental states, we can get turbulence models generalizing well to both attached and separated flows at different angles of attack. The errors of lift coefficients at high angles of attack are significantly reduced by more than three times compared with the traditional SA model. The models obtained also perform well in stability and robustness.


title: A new gauge for gravitational perturbations of Kerr spacetimes I: The linearised theory

abstract: We propose a new geometric framework to address the stability of the Kerr solution to gravitational perturbations in the full sub-extremal range $|a|<M$. Central to our framework is a new formulation of nonlinear gravitational perturbations of Kerr, whose two novel ingredients are the choice of a geometric gauge and non-integrable null frames both tailored to the outgoing principal null geodesics of Kerr. The vacuum Einstein equations for the perturbations are formulated in our gauge as a system of equations for the connection coefficients and curvature components relative to the chosen frames. When renormalised with respect to Kerr, the null structure equations with the form of outgoing transport equations do not possess any derivatives of renormalised connection coefficients on the right hand side. In this work, we derive the linearised vacuum Einstein equations around Kerr in the new framework. Our new framework is designed to effectively capture the stabilising properties of the red-shifted transport equations, thereby isolating one of the crucial structures of the problem. Such a feature is suggestive of future simplifications in the analysis. As an illustration, our companion work \cite{benomio_schwarzschild} employs the system of linearised gravity and its enhanced red-shifted transport equations, specialised to the $|a|=0$ case, to produce a new simplified proof of linear stability of the Schwarzschild solution. The full linear stability analysis in the full sub-extremal range $|a|<M$ is deferred to future work. As already apparent from \cite{benomio_schwarzschild}, our framework will allow to combine the new structure in the transport equations with the elliptic part of the system to establish a linear orbital stability result without loss of derivatives, indicating that the framework may be well suited to address nonlinear stability in the full sub-extremal range $|a|<M$.


title: On Medians of (Randomized) Pairwise Means

abstract: Tournament procedures, recently introduced in Lugosi & Mendelson (2016), offer an appealing alternative, from a theoretical perspective at least, to the principle of Empirical Risk Minimization in machine learning. Statistical learning by Median-of-Means (MoM) basically consists in segmenting the training data into blocks of equal size and comparing the statistical performance of every pair of candidate decision rules on each data block: that with highest performance on the majority of the blocks is declared as the winner. In the context of nonparametric regression, functions having won all their duels have been shown to outperform empirical risk minimizers w.r.t. the mean squared error under minimal assumptions, while exhibiting robustness properties. It is the purpose of this paper to extend this approach in order to address other learning problems, in particular for which the performance criterion takes the form of an expectation over pairs of observations rather than over one single observation, as may be the case in pairwise ranking, clustering or metric learning. Precisely, it is proved here that the bounds achieved by MoM are essentially conserved when the blocks are built by means of independent sampling without replacement schemes instead of a simple segmentation. These results are next extended to situations where the risk is related to a pairwise loss function and its empirical counterpart is of the form of a $U$-statistic. Beyond theoretical results guaranteeing the performance of the learning/estimation methods proposed, some numerical experiments provide empirical evidence of their relevance in practice.


title: Does fluid structure encode predictions of glassy dynamics?

abstract: Data-driven approaches to inferring the local structures responsible for plasticity in amorphous materials have made substantial contributions to our understanding of the failure, flow, and rearrangement dynamics of supercooled fluids. Some of these methods, such as the ``softness'' approach based on linear support vector machines, have identified combinations of local structural features of a supercooled particle's environment that predict energy barriers associated with particle rearrangements. This approach also predicts the onset temperature, often characterized as the temperature below which the system's dynamics becomes non-Arrhenius and above which local structures are no longer predictive of dynamical activity. We implement a transfer-learning approach in which we first show that classifiers can be trained to predict dynamical activity even far above the onset temperature. We then show that applying these classifiers to data from the supercooled phase recovers essentially the same physical information about the relationship between local structures and energy barriers that softness does.


title: Verifying a stochastic model for the spread of a SARS-CoV-2-like infection: opportunities and limitations

abstract: There is a growing interest in modeling and analyzing the spread of diseases like the SARS-CoV-2 infection using stochastic models. These models are typically analyzed quantitatively and are not often subject to validation using formal verification approaches, nor leverage policy syntheses and analysis techniques developed in formal verification. In this paper, we take a Markovian stochastic model for the spread of a SARSCoV-2-like infection. A state of this model represents the number of subjects in different health conditions. The considered model considers the different parameters that may have an impact on the spread of the disease and exposes the various decision variables that can be used to control it. We show that the modeling of the problem within state-of-the-art model checkers is feasible and it opens several opportunities. However, there are severe limitations due to i) the espressivity of the existing stochastic model checkers on one side, and ii) the size of the resulting Markovian model even for small population sizes.


title: Eigenvalue Gaps of Random Perturbations of Large Matrices

abstract: The current work applies some recent combinatorial tools due to Jain to control the eigenvalue gaps of a matrix $M_n = M + N_n$ where $M$ is deterministic, symmetric with large operator norm and $N_n$ is a random symmetric matrix with subgaussian entries. One consequence of our tail bounds is that $M_n$ has simple spectrum with probability at least $1 - \exp(-n^{2/15})$ which improves on a result of Nguyen, Tao and Vu in terms of both the probability and the size of the matrix $M$.


title: Magnitude or Phase? A Two Stage Algorithm for Dereverberation

abstract: In this work we present a new single-microphone speech dereverberation algorithm. First, a performance analysis is presented to interpret that algorithms focused on improving solely magnitude or phase are not good enough. Furthermore, we demonstrate that few objective measurements have high correlation with the clean magnitude while others with the clean phase. Consequently ,we propose a new architecture which consists of two sub-models, each of which is responsible for a different task. The first model estimates the clean magnitude given the noisy input. The enhanced magnitude together with the noisy-input phase are then used as inputs to the second model to estimate the real and imaginary portions of the dereverberated signal. A training scheme including pre-training and fine-tuning is presented in the paper. We evaluate our proposed approach using data from the REVERB challenge and compare our results to other methods. We demonstrate consistent improvements in all measures, which can be attributed to the improved estimates of both the magnitude and the phase.


title: ReachLipBnB: A branch-and-bound method for reachability analysis of neural autonomous systems using Lipschitz bounds

abstract: We propose a novel Branch-and-Bound method for reachability analysis of neural networks in both open-loop and closed-loop settings. Our idea is to first compute accurate bounds on the Lipschitz constant of the neural network in certain directions of interest offline using a convex program. We then use these bounds to obtain an instantaneous but conservative polyhedral approximation of the reachable set using Lipschitz continuity arguments. To reduce conservatism, we incorporate our bounding algorithm within a branching strategy to decrease the over-approximation error within an arbitrary accuracy. We then extend our method to reachability analysis of control systems with neural network controllers. Finally, to capture the shape of the reachable sets as accurately as possible, we use sample trajectories to inform the directions of the reachable set over-approximations using Principal Component Analysis (PCA). We evaluate the performance of the proposed method in several open-loop and closed-loop settings.


title: A Simple, Yet Effective Approach to Finding Biases in Code Generation

abstract: Recently, high-performing code generation systems based on large language models have surfaced. They are trained on massive corpora containing much more natural text than actual executable computer code. This work shows that current code generation systems exhibit undesired biases inherited from their large language model backbones, which can reduce the quality of the generated code under specific circumstances. To investigate the effect, we propose the "block of influence" concept, which enables a modular decomposition and analysis of the coding challenges. We introduce an automated intervention mechanism reminiscent of adversarial testing that exposes undesired biases through the failure modes of the models under test. Finally, we demonstrate how our framework can be used as a data transformation technique during fine-tuning, acting as a mitigation strategy for these biases.


title: Fast Staircase Detection and Estimation using 3D Point Clouds with Multi-detection Merging for Heterogeneous Robots

abstract: Robotic systems need advanced mobility capabilities to operate in complex, three-dimensional environments designed for human use, e.g., multi-level buildings. Incorporating some level of autonomy enables robots to operate robustly, reliably, and efficiently in such complex environments, e.g., automatically "returning home" if communication between an operator and robot is lost during deployment. This work presents a novel method that enables mobile robots to robustly operate in multi-level environments by making it possible to autonomously locate and climb a range of different staircases. We present results wherein a wheeled robot works together with a quadrupedal system to quickly detect different staircases and reliably climb them. The performance of this novel staircase detection algorithm that is able to run on the heterogeneous platforms is compared to the current state-of-the-art detection algorithm. We show that our approach significantly increases the accuracy and speed at which detections occur.


title: MedSegDiff: Medical Image Segmentation with Diffusion Probabilistic Model

abstract: Diffusion probabilistic model (DPM) recently becomes one of the hottest topic in computer vision. Its image generation application such as Imagen, Latent Diffusion Models and Stable Diffusion have shown impressive generation capabilities, which aroused extensive discussion in the community. Many recent studies also found it is useful in many other vision tasks, like image deblurring, super-resolution and anomaly detection. Inspired by the success of DPM, we propose the first DPM based model toward general medical image segmentation tasks, which we named MedSegDiff. In order to enhance the step-wise regional attention in DPM for the medical image segmentation, we propose dynamic conditional encoding, which establishes the state-adaptive conditions for each sampling step. We further propose Feature Frequency Parser (FF-Parser), to eliminate the negative effect of high-frequency noise component in this process. We verify MedSegDiff on three medical segmentation tasks with different image modalities, which are optic cup segmentation over fundus images, brain tumor segmentation over MRI images and thyroid nodule segmentation over ultrasound images. The experimental results show that MedSegDiff outperforms state-of-the-art (SOTA) methods with considerable performance gap, indicating the generalization and effectiveness of the proposed model. Our code is released at https://github.com/WuJunde/MedSegDiff.


title: Holography in CGHS supergravity

abstract: We study holographic aspects of 2D dilaton-supergravity in flat space-time using gauge theoretic BF formulation. The asymptotic symmetries in Bondi gauge and at finite temperature span a supersymmetric extension of the warped Virasoro algebra at level zero. The boundary action is determined such that the bulk variational principle is ensured and turns out to be a super-warped Schwarzian theory at the vanishing level. We also study the thermodynamics of the black hole saddle in this model.


title: Building an Acceleration Ladder with Tidal Streams and Pulsar Timing

abstract: We analyze stellar streams in action-angle coordinates combined with recent local direct acceleration measurements to provide joint constraints on the potential of our Galaxy. Our stream analysis uses the Kullback-Leibler divergence with a likelihood analysis based on the two-point correlation function. We provide joint constraints from pulsar accelerations and stellar streams for local and global parameters that describe the potential of the Milky Way (MW). Our goal is to build an ``acceleration ladder", where direct acceleration measurements that are currently limited in dynamic range are combined with indirect techniques that can access a much larger volume of the MW. To constrain the MW potential with stellar streams, we consider the Palomar 5, Orphan, Nyx, Helmi and GD1 streams. Of the potential models that we have considered here, the preferred potential for the streams is a two-component Staeckel potential. We also compare the vertical accelerations from stellar streams and pulsar timing, defining a function $f(z) = \alpha_{1pulsar}z - \frac{\partial\Phi}{\partial z}$, where $\Phi$ is the MW potential determined from stellar streams, and $\alpha_{1~\rm pulsar}z$ is the vertical acceleration determined from pulsar timing observations. Our analysis indicates that the Oort limit determined from streams is consistently (regardless of the choice of potential) lower than that determined from pulsar timing observations. The calibration we have derived here may be used to correct the estimate of the acceleration from stellar streams.


title: Natural Language Deduction with Incomplete Information

abstract: A growing body of work studies how to answer a question or verify a claim by generating a natural language "proof": a chain of deductive inferences yielding the answer based on a set of premises. However, these methods can only make sound deductions when they follow from evidence that is given. We propose a new system that can handle the underspecified setting where not all premises are stated at the outset; that is, additional assumptions need to be materialized to prove a claim. By using a natural language generation model to abductively infer a premise given another premise and a conclusion, we can impute missing pieces of evidence needed for the conclusion to be true. Our system searches over two fringes in a bidirectional fashion, interleaving deductive (forward-chaining) and abductive (backward-chaining) generation steps. We sample multiple possible outputs for each step to achieve coverage of the search space, at the same time ensuring correctness by filtering low-quality generations with a round-trip validation procedure. Results on a modified version of the EntailmentBank dataset and a new dataset called Everyday Norms: Why Not? show that abductive generation with validation can recover premises across in- and out-of-domain settings.


title: Quantum Natural Gradient with Efficient Backtracking Line Search

abstract: We consider the Quantum Natural Gradient Descent (QNGD) scheme which was recently proposed to train variational quantum algorithms. QNGD is Steepest Gradient Descent (SGD) operating on the complex projective space equipped with the Fubini-Study metric. Here we present an adaptive implementation of QNGD based on Armijo's rule, which is an efficient backtracking line search that enjoys a proven convergence. The proposed algorithm is tested using noisy simulators on three different models with various initializations. Our results show that Adaptive QNGD dynamically adapts the step size and consistently outperforms the original QNGD, which requires knowledge of optimal step size to {perform competitively}. In addition, we show that the additional complexity involved in performing the line search in Adaptive QNGD is minimal, ensuring the gains provided by the proposed adaptive strategy dominates any increase in complexity. Additionally, our benchmarking demonstrates that a simple SGD algorithm (implemented in the Euclidean space) equipped with the adaptive scheme above, can yield performances similar to the QNGD scheme with optimal step size. Our results are yet another confirmation of the importance of differential geometry in variational quantum computations. As a matter of fact, we foresee advanced mathematics to play a prominent role in the NISQ era in guiding the design of faster and more efficient algorithms.


title: A new gauge for gravitational perturbations of Kerr spacetimes II: The linear stability of Schwarzschild revisited

abstract: We present a new proof of linear stability of the Schwarzschild solution to gravitational perturbations. Our approach employs the system of linearised gravity in the new geometric gauge of \cite{benomio_kerr}, specialised to the $|a|=0$ case. The proof fundamentally relies on the novel structure of the transport equations in the system. Indeed, while exploiting the well-known decoupling of two gauge invariant linearised quantities into spin $\pm 2$ Teukolsky equations, we make enhanced use of the red-shifted transport equations and their stabilising properties to control the gauge dependent part of the system. As a result, an initial-data gauge normalisation suffices to establish both orbital and asymptotic stability for all the linearised quantities in the system. The absence of future gauge normalisations is a novel element in the linear stability analysis of black hole spacetimes in geometric gauges governed by transport equations. In particular, our approach simplifies the proof of \cite{DHR}, which requires a future normalised (double-null) gauge to establish asymptotic stability for the full system.


title: Convergence of policy gradient methods for finite-horizon exploratory linear-quadratic control problems

abstract: We study the global linear convergence of policy gradient (PG) methods for finite-horizon continuous-time exploratory linear-quadratic control (LQC) problems. The setting includes stochastic LQC problems with indefinite costs and allows additional entropy regularisers in the objective. We consider a continuous-time Gaussian policy whose mean is linear in the state variable and whose covariance is state-independent. Contrary to discrete-time problems, the cost is noncoercive in the policy and not all descent directions lead to bounded iterates. We propose geometry-aware gradient descents for the mean and covariance of the policy using the Fisher geometry and the Bures-Wasserstein geometry, respectively. The policy iterates are shown to satisfy an a-priori bound, and converge globally to the optimal policy with a linear rate. We further propose a novel PG method with discrete-time policies. The algorithm leverages the continuous-time analysis, and achieves a robust linear convergence across different action frequencies. A numerical experiment confirms the convergence and robustness of the proposed algorithm.


title: Optimal Covariance Steering for Discrete-Time Linear Stochastic Systems

abstract: In this paper, we study the optimal control problem for steering the state covariance of a discrete-time linear stochastic system over a finite time horizon. First, we establish the existence and uniqueness of the optimal control law for a quadratic cost function. Then, we show the separation of the optimal mean and the covariance steering problems. We also develop efficient computational methods for solving for the optimal control law, which is identified as the solution to a semi-definite program. The effectiveness of the proposed approach is demonstrated through numerical examples. In the process, we also obtain some novel theoretical results for a matrix Riccati difference equation, which may be of independent interest.


title: Asymmetric Hashing for Fast Ranking via Neural Network Measures

abstract: Fast item ranking is an important task in recommender systems. In previous works, graph-based Approximate Nearest Neighbor (ANN) approaches have demonstrated good performance on item ranking tasks with generic searching/matching measures (including complex measures such as neural network measures). However, since these ANN approaches must go through the neural measures several times during ranking, the computation is not practical if the neural measure is a large network. On the other hand, fast item ranking using existing hashing-based approaches, such as Locality Sensitive Hashing (LSH), only works with a limited set of measures. Previous learning-to-hash approaches are also not suitable to solve the fast item ranking problem since they can take a significant amount of time and computation to train the hash functions. Hashing approaches, however, are attractive because they provide a principle and efficient way to retrieve candidate items. In this paper, we propose a simple and effective learning-to-hash approach for the fast item ranking problem that can be used for any type of measure, including neural network measures. Specifically, we solve this problem with an asymmetric hashing framework based on discrete inner product fitting. We learn a pair of related hash functions that map heterogeneous objects (e.g., users and items) into a common discrete space where the inner product of their binary codes reveals their true similarity defined via the original searching measure. The fast ranking problem is reduced to an ANN search via this asymmetric hashing scheme. Then, we propose a sampling strategy to efficiently select relevant and contrastive samples to train the hashing model. We empirically validate the proposed method against the existing state-of-the-art fast item ranking methods in several combinations of non-linear searching functions and prominent datasets.


title: On Lagrangian tori in K3 surfaces

abstract: Every Maslov-zero Lagrangian torus in a K3 surface has non-trivial homology class. The purpose of this note is to extend this result to Lagrangian tori with even Maslov indices. On the other hand, it is shown that every homologically non-trivial Lagrangian torus is Maslov-zero.


title: Expression Acceleration: Seamless Parallelization of Typed High-Level Languages

abstract: Efficient parallelization of algorithms on general-purpose GPUs is today essential in many areas. However, it is a non-trivial task for software engineers to utilize GPUs to improve the performance of high-level programs in general. Although many domain-specific approaches are available for GPU acceleration, it is difficult to accelerate existing high-level programs without rewriting parts of the programs using low-level GPU code. In this paper, we propose a different approach, where expressions are marked for acceleration, and the compiler automatically infers which code needs to be accelerated. We call this approach expression acceleration. We design a compiler pipeline for the approach and show how to handle several challenges, including expression extraction, well-formedness, and compiling using multiple backends. The approach is designed and implemented within a statically-typed functional intermediate language and evaluated using three distinct non-trivial case studies.


title: The List Square Coloring Conjecture fails for bipartite planar graphs and their line graphs

abstract: Kostochka and Woodall (2001) conjectured that the square of every graph has the same chromatic number and list chromatic number. In 2015 Kim and Park disproved this conjecture for non-bipartite and bipartite graphs. It was asked by several authors whether this conjecture holds for bipartite graphs with small degrees, claw-free graphs, or line graphs. In this paper, we introduce cubic counterexamples to this conjecture to solve three open problems posed by Kim and Park~(2015), Kim, Kwon, and Park~(2015), and Dai, Wang, Yang, and Yu~(2018). In particular, we disprove a planar version of this conjecture proposed by Havet, Heuvel, McDiarmid, and Reed (2017). Moreover, we formulated a revised version for this conjecture in bipartite graphs $G$ by imposing the condition $\chi(G^2) \ge \frac{1}{2} \Delta(G^2)+1$, where $G^2$ denotes the square of $G$ and the other two parameter denote its chromatic number and maximum degree. This new version still implies the List Total Coloring Conjecture. On the other hand, we introduce a family of counterexamples obtained from line graphs $L(G)$ of bipartite planar graphs $G$ with sufficiently large maximum degree satisfying $\chi(L(G)^2) \ge \frac{1}{2} \Delta(L(G)^2)$+n, where $n$ is a sufficiently large integer. Finally, we investigate non-chromatic-choosable graphs with bounded maximum degree in bipartite and planar graphs. Consequently, we improve a result due to Bessy, Havet, and Palaysi (2002) and strengthen a result due to Glebov, Kostochka, and Tashkinov~(2005). In addition, we characterize non-chromatic-choosable graphs of order at most $9$ and settle a question posed by Nelsen~(2019).


title: Estimating phase transition of perturbed J1-J2 Heisenberg quantum chain in mixtures of ground and first excited states

abstract: We show that the nearest neighbour entanglement in a mixture of ground and first excited states - a subjacent state - of the J1-J2 Heisenberg quantum spin chain can be used as an order parameter to detect the phase transition of the chain from a gapless spin fluid to a gapped dimer phase. We study the effectiveness of the order parameter for varying relative mixing probabilities between the ground and first excited states in the subjacent state for different system sizes, and extrapolate the results to the thermodynamic limit. We observe that the nearest neighbour concurrence can play a role of a good order parameter even if the system is in the ground state, but with a small finite probability of leaking into the first excited state. Moreover, we apply the order parameter of the subjacent state to investigate the response to separate introductions of anisotropy and of glassy disorder on the phase diagram of the model, and analyse the corresponding finite-size scale exponents and the emergent tricritical point in the former case. The anisotropic J1-J2 chain has a richer phase diagram which is also clearly visible by using the same order parameter.


title: Two new functional inequalities and their application to the eventual smoothness of solutions to a chemotaxis-Navier-Stokes system with rotational flux

abstract: We prove two new functional inequalities of the forms\[ \int_G \varphi (\psi - \overline{\psi}) \leq \frac{1}{a}\int_G \psi \ln \left(\frac{\;\psi\;}{ \overline{\psi}}\right) + \frac{a}{4\beta_0} \left\{ \int_G \psi \right\}\int_G|\nabla \varphi|^2 \] and \[ \int_G \psi \ln \left(\frac{\;\psi\;}{ \overline{\psi}}\right) \leq \frac{1}{\beta_0}\left\{ \int_G \psi \right\}\int_G |\nabla \ln(\psi)|^2 \] for any finitely connected, bounded $C^2$-domain $G \subseteq \mathbb{R}^2$, a constant $\beta_0 > 0$, any $a > 0$ and sufficiently regular functions $\varphi$, $\psi$. We then illustrate their usefulness by proving long time stabilization and eventual smoothness properties for certain generalized solutions to the chemotaxis-Navier-Stokes system\[ \left\{\;\; \begin{aligned} n_t + u \cdot \nabla n &\;\;=\;\; \Delta n - \nabla \cdot (nS(x,n,c) \nabla c), \\ c_t + u\cdot \nabla c &\;\;=\;\; \Delta c - n f(c), \\ u_t + (u\cdot \nabla) u &\;\;=\;\; \Delta u + \nabla P + n \nabla \phi, \;\;\;\;\;\; \nabla \cdot u = 0, \end{aligned} \right. \] on a smooth, bounded, convex domain $\Omega \subseteq \mathbb{R}^2$ with no-flux boundary conditions for $n$ and $c$ as well as a Dirichlet boundary condition for $u$. We further allow for a general chemotactic sensitivity $S$ attaining values in $\mathbb{R}^{2\times 2}$ as opposed to a scalar one.


title: Machine learning can guide experimental approaches for protein digestibility estimations

abstract: Food protein digestibility and bioavailability are critical aspects in addressing human nutritional demands, particularly when seeking sustainable alternatives to animal-based proteins. In this study, we propose a machine learning approach to predict the true ileal digestibility coefficient of food items. The model makes use of a unique curated dataset that combines nutritional information from different foods with FASTA sequences of some of their protein families. We extracted the biochemical properties of the proteins and combined these properties with embeddings from a Transformer-based protein Language Model (pLM). In addition, we used SHAP to identify features that contribute most to the model prediction and provide interpretability. This first AI-based model for predicting food protein digestibility has an accuracy of 90% compared to existing experimental techniques. With this accuracy, our model can eliminate the need for lengthy in-vivo or in-vitro experiments, making the process of creating new foods faster, cheaper, and more ethical.


title: Determinants of Simple Theta Curves and Symmetric Graphs

abstract: A theta curve is a spatial embedding of the $\theta$-graph in the three-sphere, taken up to ambient isotopy. We define the determinant of a theta curve as an integer-valued invariant arising from the first homology of its Klein cover. When a theta curve is simple, containing a constituent unknot, we prove that the determinant of the theta curve is the product of the determinants of the constituent knots. Our proofs are combinatorial, relying on Kirchhoff's Matrix Tree Theorem and spanning tree enumeration results for symmetric, signed, planar graphs.


title: Discrete Exponential-Family Models for Multivariate Binary Outcomes

abstract: Studies that collect multi-outcome data such as tobacco and alcohol use are becoming increasingly common. In principle, multi-outcomes studies investigate the correlations between outcomes, including, causal links and/or joint distributions. Although there are many methods for studying multivariate outcomes, significant limitations regarding scale and interpretation persist. Here we introduce a model based on the exponential-family for discrete binary outcomes that provides a flexible framework for hypothesis testing of multiple binary outcomes in a computationally efficient fashion.


title: Study of the $^{22}$Mg waiting point relevant for x-ray burst nucleosynthesis via the $^{22}$Mg($\alpha$,$p$)$^{25}$Al reaction

abstract: The $^{22}$Mg($\alpha$,$p$)$^{25}$Al reaction rate has been identified as a major source of uncertainty for understanding the nucleosynthesis flow in Type-I x-ray bursts (XRBs). We report a direct measurement of the energy- and angle-integrated cross sections of this reaction in a 3.3-6.9 MeV center-of-mass energy range using the MUlti-Sampling Ionization Chamber (MUSIC). The new $^{22}$Mg($\alpha$,$p$)$^{25}$Al reaction rate is a factor of $\sim$4 higher than the previous direct measurement of this reaction within temperatures relevant for XRBs, resulting in the $^{22}$Mg waiting point of x-ray burst nucleosynthesis flow to be significantly bypassed via the ($\alpha,p$) reaction


title: Discovery of a red backsplash galaxy candidate near M81

abstract: Understanding quenching mechanisms in low-mass galaxies is essential for understanding galaxy evolution overall. In particular, isolated galaxies are important tools to help disentangle the complex internal and external processes that impact star formation. Comparisons between quenched field and satellite galaxies in the low mass regime offer a substantial opportunity for discovery, although very few quenched galaxies with masses below $M_{\star}$$\sim$$10^{9} M_{\odot}$ are known outside the virial radius, $R_{vir}$, of any host halo. Importantly, simulations and observations suggest that an in-between population of backsplash galaxies also exists that may complement interpretations of environmental quenching. Backsplash galaxies -- like field galaxies -- reside outside the virial radius of a host halo, but their star formation can be deeply impacted by previous interactions with more massive systems. In this paper, we report the discovery of a low-mass ($M_{\star}$$\sim$$10^{7} M_{\odot}$) quenched galaxy approximately $1 R_{vir}$ in projection from the M81 group. We use surface brightness fluctuations (SBF) to investigate the possibility that the new galaxy, dubbed dw0910p7326 (nicknamed Blobby), is a backsplash galaxy or a more distant field galaxy. The measured SBF distance of $3.21\substack{+0.15 +0.41 \\ -0.15 -0.36}$ Mpc indicates that Blobby likely lies between $1.0 < R/R_{vir} < 2.7$ outside the combined M81--M82 system. Given its distance and quiescence, Blobby is a good candidate for a backsplash galaxy and could provide hints about the formation and evolution of these interesting objects.


title: Estimating the Long-term Behavior of Biologically Inspired Agent-based Models

abstract: An agent-based model (ABM) is a computational model in which the local interactions of autonomous agents with each other and with their environment give rise to global properties within a given domain. As the detail and complexity of these models has grown, so too has the computational expense of running several simulations to perform sensitivity analysis and evaluate long-term model behavior. Here, we generalize a framework for mathematically formalizing ABMs to explicitly incorporate features commonly found in biological systems: appearance of agents (birth), removal of agents (death), and locally dependent state changes. We then use our broader framework to extend an approach for estimating long-term behavior without simulations, specifically changes in population densities over time. The approach is probabilistic and relies on treating the discrete, incremental update of an ABM via "time steps" as a Markov process to generate expected values for agents at each time step. As case studies, we apply our extensions to both a simple ABM based on the Game of Life and a published ABM of rib development in vertebrates.


title: Composite Feature Selection using Deep Ensembles

abstract: In many real world problems, features do not act alone but in combination with each other. For example, in genomics, diseases might not be caused by any single mutation but require the presence of multiple mutations. Prior work on feature selection either seeks to identify individual features or can only determine relevant groups from a predefined set. We investigate the problem of discovering groups of predictive features without predefined grouping. To do so, we define predictive groups in terms of linear and non-linear interactions between features. We introduce a novel deep learning architecture that uses an ensemble of feature selection models to find predictive groups, without requiring candidate groups to be provided. The selected groups are sparse and exhibit minimum overlap. Furthermore, we propose a new metric to measure similarity between discovered groups and the ground truth. We demonstrate the utility of our model on multiple synthetic tasks and semi-synthetic chemistry datasets, where the ground truth structure is known, as well as an image dataset and a real-world cancer dataset.


title: Low-mass doubly-charged Higgs bosons at LHC

abstract: Search for light (within the mass range 84-200 GeV) doubly-charged Higgs bosons decaying into a pair of W-bosons has been deemed challenging using the conventional LHC searches with leptons, jets and missing transverse momentum in the final state. Such Higgses together with slightly heavier singly-charged and neutral Higgses, when arranged in an $SU(2)_L$ triplet as in the type-II see-saw model, are lately shown to accommodate the recent measurement of the $W$-boson mass by the CDF collaboration. These, when produced in a highly Lorentz-boosted regime, tend to manifest themselves as a single fat-jet or a pair of adjacent same-sign leptons plus missing transverse momentum. First, we perform a multivariate analysis to discern such exotic jets from the SM jets. Then, we present a novel search in the final state with an exotic jet and two same-sign leptons plus missing transverse momentum. We find that such low-mass doubly-charged Higgsses could be directly probed with the already collected Run 2 LHC data.


title: Clouds form on the hot Saturn JWST ERO target WASP-96b

abstract: WASP-96b is a hot Saturn exoplanet, with an equilibrium temperature well within the regime of thermodynamically expected extensive cloud formation. Prior observations with Hubble/WFC3, Spitzer/IRAC, and VLT/FORS2 have been combined into a single spectra for which retrievals suggest a cold but cloud-free atmosphere. Recently, the planet was observed with the James Webb Space Telescope (JWST) as part of the Early Release Observations (ERO). 1D profiles are extracted from the 3D GCM expeRT/MITgcm results and used as input for a kinetic, non-equilibrium model to study the formation of mineral cloud particles of mixed composition. The ARCiS retrieval framework is applied to the pre-JWST WASP-96b transit spectra to investigate the apparent contradiction between cloudy models and assumed cloud-free transit spectra. Clouds are predicted to be ubiquitous throughout the atmosphere of WASP-96b. Silicate materials contribute between 40% and 90%, hence, also metal oxides contribute with up to 40% in the low-pressure regimes that effect the spectra. We explore how to match these cloudy models with currently available atmospheric transit spectra. A reduced vertical mixing acts to settle clouds to deeper in the atmosphere, and an increased cloud particles porosity reduces the opacity of clouds in the near-IR and optical region. Both these effects allow for clearer molecular features to be observed, while still allowing clouds to be in the atmosphere. The atmosphere of WASP-96b is unlikely to be cloud free. Also retrievals of HST, Spitzer and VLT spectra show that multiple cloudy solutions reproduce the data. JWST observations will be affected by clouds, where within even the NIRISS wavelength range the cloud top pressure varies by an order of magnitude. The long wavelength end of NIRSpec and short end of MIRI may probe atmospheric asymmetries between the limbs of the terminator on WASP-96b.


title: GRB 221009A Gamma Rays from Radiative Decay of Heavy Neutrinos?

abstract: We consider a mechanism which allows to decrease attenuation of high energy gamma ray flux from gamma ray burst GRB 221009A. The mechanism is based on the existence of a heavy $m_N\sim0.1\,\mathrm{MeV}$ mostly sterile neutrino $N$ which mixes with active neutrinos. $N$'s are produced in GRB in $\pi$ and $K$ decays via mixing with $\nu_\mu$. They undergo the radiative decay $N\rightarrow \nu \gamma$ on the way to the Earth. The usual exponential attenuation of gamma rays is lifted to an attenuation inverse in the optical depth. Various restrictions on this scenario are discussed. We find that the high energy $\gamma$ events at $18\,\mathrm{TeV}$ and potentially $251\,\mathrm{TeV}$ can be explained if (i) the GRB active neutrino fluence is close to the observed limit, (ii) the branching ratio of $N\rightarrow \nu \gamma$ is at least of the order 10%.


title: Two-stage LLM Fine-tuning with Less Specialization and More Generalization

abstract: Pretrained large language models (LLMs) are general purpose problem solvers applicable to a diverse set of tasks with prompts. They can be further improved towards a specific task by fine-tuning on a specialized dataset. However, fine-tuning usually makes the model narrowly specialized on this dataset with reduced general in-context learning performances, which is undesirable whenever the fine-tuned model needs to handle additional tasks where no fine-tuning data is available. In this work, we first demonstrate that fine-tuning on a single task indeed decreases LLMs' general in-context learning performance. We discover one important cause of such forgetting, format specialization, where the model overfits to the format of the fine-tuned task.We further show that format specialization happens at the very beginning of fine-tuning. To solve this problem, we propose Prompt Tuning with MOdel Tuning (ProMoT), a simple yet effective two-stage fine-tuning framework that reduces format specialization and improves generalization.ProMoT offloads task-specific format learning into additional and removable parameters by first doing prompt tuning and then fine-tuning the model itself with this soft prompt attached. With experiments on several fine-tuning tasks and 8 in-context evaluation tasks, we show that ProMoT achieves comparable performance on fine-tuned tasks to standard fine-tuning, but with much less loss of in-context learning performances across a board range of out-of-domain evaluation tasks. More importantly, ProMoT can even enhance generalization on in-context learning tasks that are semantically related to the fine-tuned task, e.g. ProMoT on En-Fr translation significantly improves performance on other language pairs, and ProMoT on NLI improves performance on summarization. Experiments also show that ProMoT can improve the generalization performance of multi-task training.


title: Pi theorem formulation of flood mapping

abstract: While physical phenomena are stated in terms of physical laws that are homogeneous in all dimensions, the mechanisms and patterns of the physical phenomena are independent of the form of the units describing the physical process. Accordingly, across different conditions, the similarity of a process may be captured through a dimensionless reformulation of the physical problem with Buckingham $\Pi$ theorem. Here, we apply Buckingham $\Pi$ theorem for creating dimensionless indices for capturing the similarity of the flood process, and in turn, these indices allow machine learning to map the likelihood of pluvial (flash) flooding over a landscape. In particular, we use these dimensionless predictors with a logistic regression machine learning (ML) model for a probabilistic determination of flood risk. The logistic regression derived flood maps compare well to 2D hydraulic model results that are the basis of the Federal Emergency Management Agency (FEMA) maps. As a result, the indices and logistic regression also provide the potential to expand existing FEMA maps to new (unmapped) areas and a wider spectrum of flood flows and precipitation events. Our results demonstrate that the new dimensionless indices capture the similarity of the flood process across different topographies and climate regions. Consequently, these dimensionless indices may expand observations of flooding (e.g., satellite) to the risk of flooding in new areas, as well as provide a basis for the rapid, real-time estimation of flood risk on a worldwide scale.


title: A group from a map and orbit equivalence

abstract: In two papers published in 1979, R. Bowen and R. Bowen and C. Series introduced a dynamical system from a Fuchsian group, acting on the hyperbolic plane $\mathbb{H}^2$. The dynamics is a map on $S^1$ which is, in particular, an expanding piecewise homeomorphism of the circle. In this paper we consider a reverse question: which dynamical conditions for an expanding piecewise homeomorphism of $S^1$ are sufficient for the map to be a ``Bowen-Series-type" map (see below) for some group $G$ and which groups can occur? We give a partial answer to these questions.


title: Perfecting one-loop BCJ numerators in SYM and supergravity

abstract: We take a major step towards computing $D$-dimensional one-loop amplitudes in general gauge theories, compatible with the principles of unitarity and the color-kinematics duality. For $n$-point amplitudes with either supersymmetry multiplets or generic non-supersymmetric matter in the loop, simple all-multiplicity expressions are obtained for the maximal cuts of kinematic numerators of $n$-gon diagrams. At $n=6,7$ points with maximal supersymmetry, we extend the cubic-diagram numerators to encode all contact terms, and thus solve the long-standing problem of \emph{simultaneously} realizing the following properties: color-kinematics duality, manifest locality, optimal power counting of loop momenta, quadratic rather than linearized Feynman propagators, compatibility with double copy as well as all graph symmetries. Color-kinematics dual representations with similar properties are presented in the half-maximally supersymmetric case at $n=4,5$ points. The resulting gauge-theory integrands and their supergravity counterparts obtained from the double copy are checked to reproduce the expected ultraviolet divergences.


title: A General Language for Modeling Social Media Account Behavior

abstract: Malicious actors exploit social media to inflate stock prices, sway elections, spread misinformation, and sow discord. To these ends, they employ tactics that include the use of inauthentic accounts and campaigns. Methods to detect these abuses currently rely on features specifically designed to target suspicious behaviors. However, the effectiveness of these methods decays as malicious behaviors evolve. To address this challenge, we propose a general language for modeling social media account behavior. Words in this language, called BLOC, consist of symbols drawn from distinct alphabets representing user actions and content. The language is highly flexible and can be applied to model a broad spectrum of legitimate and suspicious online behaviors without extensive fine-tuning. Using BLOC to represent the behaviors of Twitter accounts, we achieve performance comparable to or better than state-of-the-art methods in the detection of social bots and coordinated inauthentic behavior.


title: CascadeXML: Rethinking Transformers for End-to-end Multi-resolution Training in Extreme Multi-label Classification

abstract: Extreme Multi-label Text Classification (XMC) involves learning a classifier that can assign an input with a subset of most relevant labels from millions of label choices. Recent approaches, such as XR-Transformer and LightXML, leverage a transformer instance to achieve state-of-the-art performance. However, in this process, these approaches need to make various trade-offs between performance and computational requirements. A major shortcoming, as compared to the Bi-LSTM based AttentionXML, is that they fail to keep separate feature representations for each resolution in a label tree. We thus propose CascadeXML, an end-to-end multi-resolution learning pipeline, which can harness the multi-layered architecture of a transformer model for attending to different label resolutions with separate feature representations. CascadeXML significantly outperforms all existing approaches with non-trivial gains obtained on benchmark datasets consisting of up to three million labels. Code for CascadeXML will be made publicly available at \url{https://github.com/xmc-aalto/cascadexml}.


title: Transposed Variational Auto-encoder with Intrinsic Feature Learning for Traffic Forecasting

abstract: In this technical report, we present our solutions to the Traffic4cast 2022 core challenge and extended challenge. In this competition, the participants are required to predict the traffic states for the future 15-minute based on the vehicle counter data in the previous hour. Compared to other competitions in the same series, this year focuses on the prediction of different data sources and sparse vertex-to-edge generalization. To address these issues, we introduce the Transposed Variational Auto-encoder (TVAE) model to reconstruct the missing data and Graph Attention Networks (GAT) to strengthen the correlations between learned representations. We further apply feature selection to learn traffic patterns from diverse but easily available data. Our solutions have ranked first in both challenges on the final leaderboard. The source code is available at \url{https://github.com/Daftstone/Traffic4cast}


title: Farm-wide virtual load monitoring for offshore wind structures via Bayesian neural networks

abstract: Offshore wind structures are subject to deterioration mechanisms throughout their operational lifetime. Even if the deterioration evolution of structural elements can be estimated through physics-based deterioration models, the uncertainties involved in the process hurdle the selection of lifecycle management decisions. In this scenario, the collection of relevant information through an efficient monitoring system enables the reduction of uncertainties, ultimately driving more optimal lifecycle decisions. However, a full monitoring instrumentation implemented on all wind turbines in a farm might become unfeasible due to practical and economical constraints. Besides, certain load monitoring systems often become defective after a few years of marine environment exposure. Addressing the aforementioned concerns, a farm-wide virtual load monitoring scheme directed by a fleet-leader wind turbine offers an attractive solution. Fetched with data retrieved from a fully-instrumented wind turbine, a model can be trained and then deployed, thus yielding load predictions of non-fully monitored wind turbines, from which only standard data remains available. In this paper, we propose a virtual load monitoring framework formulated via Bayesian neural networks (BNNs) and we provide relevant implementation details needed for the construction, training, and deployment of BNN data-based virtual monitoring models. As opposed to their deterministic counterparts, BNNs intrinsically announce the uncertainties associated with generated load predictions and allow to detect inaccurate load estimations generated for non-fully monitored wind turbines. The proposed virtual load monitoring is thoroughly tested through an experimental campaign in an operational offshore wind farm and the results demonstrate the effectiveness of BNN models for fleet-leader-based farm-wide virtual monitoring.


title: A Federated Learning Scheme for Neuro-developmental Disorders: Multi-Aspect ASD Detection

abstract: Autism Spectrum Disorder (ASD) is a neuro-developmental syndrome resulting from alterations in the embryological brain before birth. This disorder distinguishes its patients by special socially restricted and repetitive behavior in addition to specific behavioral traits. Hence, this would possibly deteriorate their social behavior among other individuals, as well as their overall interaction within their community. Moreover, medical research has proved that ASD also affects the facial characteristics of its patients, making the syndrome recognizable from distinctive signs within an individual's face. Given that as a motivation behind our work, we propose a novel privacy-preserving federated learning scheme to predict ASD in a certain individual based on their behavioral and facial features, embedding a merging process of both data features through facial feature extraction while respecting patient data privacy. After training behavioral and facial image data on federated machine learning models, promising results are achieved, with 70\% accuracy for the prediction of ASD according to behavioral traits in a federated learning environment, and a 62\% accuracy is reached for the prediction of ASD given an image of the patient's face. Then, we test the behavior of regular as well as federated ML on our merged data, behavioral and facial, where a 65\% accuracy is achieved with the regular logistic regression model and 63\% accuracy with the federated learning model.


title: minoHealth.ai: A Clinical Evaluation Of Deep Learning Systems For the Diagnosis of Pleural Effusion and Cardiomegaly In Ghana, Vietnam and the United States of America

abstract: A rapid and accurate diagnosis of cardiomegaly and pleural effusion is of the utmost importance to reduce mortality and medical costs. Artificial Intelligence has shown promise in diagnosing medical conditions. With this study, we seek to evaluate how well Artificial Intelligence (AI) systems, developed my minoHealth AI Labs, will perform at diagnosing cardiomegaly and pleural effusion, using chest x-rays from Ghana, Vietnam and the USA, and how well AI systems will perform when compared with radiologists working in Ghana. The evaluation dataset used in this study contained 100 images randomly selected from three datasets. The Deep Learning models were further tested on a larger Ghanaian dataset containing five hundred and sixty one (561) samples. Two AI systems were then evaluated on the evaluation dataset, whilst we also gave the same chest x-ray images within the evaluation dataset to 4 radiologists, with 5 - 20 years experience, to diagnose independently. For cardiomegaly, minoHealth-ai systems scored Area under the Receiver operating characteristic Curve (AUC-ROC) of 0.9 and 0.97 while the AUC-ROC of individual radiologists ranged from 0.77 to 0.87. For pleural effusion, the minoHealth-ai systems scored 0.97 and 0.91 whereas individual radiologists scored between 0.75 and 0.86. On both conditions, the best performing AI model outperforms the best performing radiologist by about 10%. We also evaluate the specificity, sensitivity, negative predictive value (NPV), and positive predictive value (PPV) between the minoHealth-ai systems and radiologists.


title: An open-source software package for on-the-fly deskewing and live viewing of volumetric lightsheet microscopy data

abstract: Oblique plane microscopy, OPM, is a form of lightsheet microscopy that permits volumetric imaging of biological samples at high temporal and spatial resolution. However, the imaging geometry of OPM, and related variants of light sheet microscopy, distorts the coordinate frame of the presented image sections with respect to real space coordinate frame in which the sample is moved to navigate to regions of interest. This makes live viewing and practical operation of such microscopes difficult. We present an open-source software package that utilises GPU acceleration and multiprocessing to transform the display of OPM imaging data in real time to produce live views that mimic that produced by standard widefield microscopes. Image stacks can be acquired, processed and plotted at rates of several Hz, making live operation of OPMs, and similar microscopes, more user friendly and intuitive.


title: Learning Melanocytic Cell Masks from Adjacent Stained Tissue

abstract: Melanoma is one of the most aggressive forms of skin cancer, causing a large proportion of skin cancer deaths. However, melanoma diagnoses by pathologists shows low interrater reliability. As melanoma is a cancer of the melanocyte, there is a clear need to develop a melanocytic cell segmentation tool that is agnostic to pathologist variability and automates pixel-level annotation. Gigapixel-level pathologist labeling, however, is impractical. Herein, we propose a means to train deep neural networks for melanocytic cell segmentation from hematoxylin and eosin (H&E) stained sections and paired immunohistochemistry (IHC) of adjacent tissue sections, achieving a mean IOU of 0.64 despite imperfect ground-truth labels.


title: Global Carleman estimates for the fourth order parabolic equations and application to null controllability

abstract: The main objective of this paper is to establish the null controllability for the fourth order semilinear parabolic equations with the nonlinearities involving the state and its gradient up to second order. First of all, based on optimal control theory of partial differential equations and global Carleman estimates obtained in \cite{gs} for fourth order parabolic equation with $L^2(Q)$-external force, we establish the global Carleman estimates for the $L^2(Q)$ weak solutions of the same system with a low regularity external term and some linear terms including the derivatives of the state up to second order. Then we prove the null controllability of the fourth order semilinear parabolic equations by such global Carleman estimates and the Leray-Schauder's fixed points theorem.


title: Non-line-of-sight imaging with arbitrary illumination and detection pattern

abstract: Non-line-of-sight (NLOS) imaging aims at reconstructing targets obscured from the direct line of sight. Existing NLOS imaging algorithms require dense measurements at rectangular grid points in a large area of the relay surface, which severely hinders their availability to variable relay scenarios in practical applications such as robotic vision, autonomous driving, rescue operations and remote sensing. In this work, we propose a Bayesian framework for NLOS imaging with no specific requirements on the spatial pattern of illumination and detection points. By introducing virtual confocal signals, we design a confocal complemented signal-object collaborative regularization (CC-SOCR) algorithm for high quality reconstructions. Our approach is capable of reconstructing both albedo and surface normal of the hidden objects with fine details under the most general relay setting. Moreover, with a regular relay surface, coarse rather than dense measurements are enough for our approach such that the acquisition time can be reduced significantly. As demonstrated in multiple experiments, the new framework substantially enhances the applicability of NLOS imaging.


title: Exploring the Ability of HST WFC3 G141 to Uncover Trends in Populations of Exoplanet Atmospheres Through a Homogeneous Transmission Survey of 70 Gaseous Planets

abstract: We present the analysis of the atmospheres of 70 gaseous extrasolar planets via transit spectroscopy with Hubble's Wide Field Camera 3 (WFC3). For over half of these, we statistically detect spectral modulation which our retrievals attribute to molecular species. Among these, we use Bayesian Hierarchical Modelling to search for chemical trends with bulk parameters. We use the extracted water abundance to infer the atmospheric metallicity and compare it to the planet's mass. We also run chemical equilibrium retrievals, fitting for the atmospheric metallicity directly. However, although previous studies have found evidence of a mass-metallicity trend, we find no such relation within our data. For the hotter planets within our sample, we find evidence for thermal dissociation of dihydrogen and water via the H$^-$ opacity. We suggest that the general lack of trends seen across this population study could be due to i) the insufficient spectral coverage offered by HST WFC3 G141, ii) the lack of a simple trend across the whole population, iii) the essentially random nature of the target selection for this study or iv) a combination of all the above. We set out how we can learn from this vast dataset going forward in an attempt to ensure comparative planetology can be undertaken in the future with facilities such as JWST, Twinkle and Ariel. We conclude that a wider simultaneous spectral coverage is required as well as a more structured approach to target selection.


title: Chromosome maps of Globular Clusters from wide-field ground-based photometry

abstract: Hubble Space Telescope (HST) photometry is providing an extensive analysis of globular clusters (GCs). In particular, the pseudo two-colour diagram dubbed 'chromosome map (ChM)' allowed to detect and characterize their multiple populations with unprecedented detail. The main limitation of these studies is the small field of view of HST, which makes it challenging to investigate some important aspects of the multiple populations, such as their spatial distributions and the internal kinematics in the outermost cluster regions. To overcome this limitation, we analyse state-of-art wide-field photometry of 43 GCs obtained from ground-based facilities. We derived high-resolution reddening maps and corrected the photometry for differential reddening when needed. We use photometry in the U, B, and I bands to introduce the $\Delta c_{\rm U,B,I}$ vs. $\Delta_{\rm B,I}$ ChM of red-giant branch (RGB) and asymptotic-giant branch (AGB) stars. We demonstrate that this ChM, which is built with wide-band ground-based photometry, is an efficient tool to identify first- and second-generation stars (1G and 2G) over a wide field of view. To illustrate its potential, we derive the radial distribution of multiple populations in NGC 288 and infer their chemical composition. We present the ChMs of RGB stars in 29 GCs and detect a significant degree of variety. The fraction of 1G and 2G stars, the number of subpopulations, and the extension of the ChMs significantly change from one cluster to another. Moreover, the metal-poor and metal-rich stars of Type II GCs define distinct sequences in the ChM. We confirm the presence of extended 1G sequences.


title: Gas-rich, field ultra-diffuse galaxies host few globular clusters

abstract: We present Hubble Space Telescope imaging of 14 gas-rich, low surface brightness galaxies in the field at distances of 25-36 Mpc, with mean effective radii and $g$-band central surface brightnesses of 1.9 kpc and 24.2 mag arcsec$^{-2}$. Nine meet the standard criteria to be considered ultra-diffuse galaxies (UDGs). An inspection of point-like sources brighter than the turnover magnitude of the globular cluster luminosity function and within twice the half-light radii of each galaxy reveals that, unlike those in denser environments, gas-rich, field UDGs host very few old globular clusters (GCs). Most of the targets (nine) have zero candidate GCs, with the remainder having one or two candidates each. These findings are broadly consistent with expectations for normal dwarf galaxies of similar stellar mass. This rules out gas-rich, field UDGs as potential progenitors of the GC-rich UDGs that are typically found in galaxy clusters. However, some in galaxy groups may be directly accreted from the field. In line with other recent results, this strongly suggests that there must be at least two distinct formation pathways for UDGs, and that this sub-population is simply an extreme low surface brightness extension of the underlying dwarf galaxy population. The root cause of their diffuse stellar distributions remains unclear, but the formation mechanism appears to only impact the distribution of stars (and potentially dark matter), without strongly impacting the distribution of neutral gas, the overall stellar mass, or the number of GCs.