title: Vision-Language Models Meet Meteorology: Developing Models for Extreme Weather Events Detection with Heatmaps

abstract: Real-time detection and prediction of extreme weather protect human lives and infrastructure. Traditional methods rely on numerical threshold setting and manual interpretation of weather heatmaps with Geographic Information Systems (GIS), which can be slow and error-prone. Our research redefines Extreme Weather Events Detection (EWED) by framing it as a Visual Question Answering (VQA) problem, thereby introducing a more precise and automated solution. Leveraging Vision-Language Models (VLM) to simultaneously process visual and textual data, we offer an effective aid to enhance the analysis process of weather heatmaps. Our initial assessment of general-purpose VLMs (e.g., GPT-4-Vision) on EWED revealed poor performance, characterized by low accuracy and frequent hallucinations due to inadequate color differentiation and insufficient meteorological knowledge. To address these challenges, we introduce ClimateIQA, the first meteorological VQA dataset, which includes 8,760 wind gust heatmaps and 254,040 question-answer pairs covering four question types, both generated from the latest climate reanalysis data. We also propose Sparse Position and Outline Tracking (SPOT), an innovative technique that leverages OpenCV and K-Means clustering to capture and depict color contours in heatmaps, providing ClimateIQA with more accurate color spatial location information. Finally, we present Climate-Zoo, the first meteorological VLM collection, which adapts VLMs to meteorological applications using the ClimateIQA dataset. Experiment results demonstrate that models from Climate-Zoo substantially outperform state-of-the-art general VLMs, achieving an accuracy increase from 0% to over 90% in EWED verification. The datasets and models in this study are publicly available for future climate science research: https://github.com/AlexJJJChen/Climate-Zoo.


title: Rapport-Driven Virtual Agent: Rapport Building Dialogue Strategy for Improving User Experience at First Meeting

abstract: Rapport is known as a conversational aspect focusing on relationship building, which influences outcomes in collaborative tasks. This study aims to establish human-agent rapport through small talk by using a rapport-building strategy. We implemented this strategy for the virtual agents based on dialogue strategies by prompting a large language model (LLM). In particular, we utilized two dialogue strategies-predefined sequence and free-form-to guide the dialogue generation framework. We conducted analyses based on human evaluations, examining correlations between total turn, utterance characters, rapport score, and user experience variables: naturalness, satisfaction, interest, engagement, and usability. We investigated correlations between rapport score and naturalness, satisfaction, engagement, and conversation flow. Our experimental results also indicated that using free-form to prompt the rapport-building strategy performed the best in subjective scores.


title: Sensitivities of Free-Air RANS and DDES Methods on the High-Lift NASA CRM

abstract: To reduce the time-to-market of future aircraft, it is crucial to predict the flight envelope accurately before building prototypes for flight tests. The High-Lift Prediction Workshop (HLPW) series aims to assess the numerical prediction capability of current CFD technology considering NASA's high-lift version of the Common Research Model (CRM-HL). The present work contributes to these collaborative efforts, quantifying sensitivities for RANS-based steady, unsteady, and hybrid RANS/LES scale-resolving approaches. Uncertainties associated with the choice of turbulence model, initialization strategies, grid resolution, and iterative convergence at free-air conditions are covered. Near stall, a large spread of RANS results was observed for different turbulence models and initialization strategies, while iterative convergence appeared less crucial for the present simulations. Steady and unsteady RANS simulations were unable to predict the correct flow physics near CLmax, even for large grids. Delayed Detached Eddy Simulations (DDES), however, showed good accuracy compared with wind-tunnel experiments and predicted CLmax with an error of around 5%. Compared to steady RANS, the computational cost of DDES was a factor of ten higher. Lessons learned and potential best-practice strategies are shared to aid future studies. While warm-started RANS simulations using SA models are recommended at lower angles of attack, scale-resolving methods are required near stall.


title: Learning Multi-view Molecular Representations with Structured and Unstructured Knowledge

abstract: Capturing molecular knowledge with representation learning approaches holds significant potential in vast scientific fields such as chemistry and life science. An effective and generalizable molecular representation is expected to capture the consensus and complementary molecular expertise from diverse views and perspectives. However, existing works fall short in learning multi-view molecular representations, due to challenges in explicitly incorporating view information and handling molecular knowledge from heterogeneous sources. To address these issues, we present MV-Mol, a molecular representation learning model that harvests multi-view molecular expertise from chemical structures, unstructured knowledge from biomedical texts, and structured knowledge from knowledge graphs. We utilize text prompts to model view information and design a fusion architecture to extract view-based molecular representations. We develop a two-stage pre-training procedure, exploiting heterogeneous data of varying quality and quantity. Through extensive experiments, we show that MV-Mol provides improved representations that substantially benefit molecular property prediction. Additionally, MV-Mol exhibits state-of-the-art performance in multi-modal comprehension of molecular structures and texts. Code and data are available at https://github.com/PharMolix/OpenBioMed.


title: Charmoniumlike Channels $1^{+}$ with Isospin $1$ from Lattice and Effective Field Theory

abstract: Many exotic charmoniumlike mesons have already been discovered experimentally, of which the $Z_c$ mesons with isospin 1 are prominent examples. We investigate $J^{PC}=1^{+\pm}$ states with flavor $\bar cc \bar qq$ ($q=u,d$) in isospin 1 using lattice QCD. This is the first study of these mesons employing more than one volume and involving frames with nonzero total momentum. We utilize two $N_f=2+1$ CLS ensembles with $m_{\pi}\simeq 280\,$MeV. As the simulations are performed with unphysical quark masses and at a single lattice spacing of $a=0.086\,$fm, our results provide only qualitative insights. Resulting eigenenergies are compatible or just slightly shifted down with respect to noninteracting energies, where the most significant shifts occur for certain $D\bar D^*$ states. Both channels $1^{+\pm}$ have a virtual pole slightly below the threshold if $D\bar D^*$ is assumed to be decoupled from other channels. In addition, we perform a coupled channel analysis of $J/\psi \pi$ and $D\bar D^*$ scattering with $J^{PC}=1^{+-}$ within an effective field theory framework. The $J/\psi \pi$ and $D\bar D^*$ invariant-mass distributions from BESIII and finite-volume energies from several lattice QCD simulations, including this work, are fitted simultaneously. All fits yield two poles relatively close to the $D\bar D^*$ threshold and reasonably reproduce the experimental $Z_c$ peaks. They also reproduce lattice energies up to slightly above the $D\bar{D}^*$ threshold, while reproduction at even higher energies is better for fits that put more weight on the lattice data. Our findings suggest that the employed effective field theory can reasonably reconcile the peaks in the experimental line shapes and the lattice energies, although those lie close to noninteracting energies. We also study $J/\psi \pi$ scattering in s-wave and place upper bounds on the phase shift.


title: An Exploratory Study on Using Large Language Models for Mutation Testing

abstract: The question of how to generate high-utility mutations, to be used for testing purposes, forms a key challenge in mutation testing literature. %Existing approaches rely either on human-specified syntactic rules or learning-based approaches, all of which produce large numbers of redundant mutants. Large Language Models (LLMs) have shown great potential in code-related tasks but their utility in mutation testing remains unexplored. To this end, we systematically investigate the performance of LLMs in generating effective mutations w.r.t. to their usability, fault detection potential, and relationship with real bugs. In particular, we perform a large-scale empirical study involving 4 LLMs, including both open- and closed-source models, and 440 real bugs on two Java benchmarks. We find that compared to existing approaches, LLMs generate more diverse mutations that are behaviorally closer to real bugs, which leads to approximately 18% higher fault detection than current approaches (i.e., 87% vs. 69%) in a newly collected set of bugs, purposely selected for evaluating learning-based approaches, i.e., mitigating potential data leakage concerns. Additionally, we explore alternative prompt engineering strategies and the root causes of uncompilable mutations, produced by the LLMs, and provide valuable insights for the use of LLMs in the context of mutation testing.


title: Vec-Tok-VC+: Residual-enhanced Robust Zero-shot Voice Conversion with Progressive Constraints in a Dual-mode Training Strategy

abstract: Zero-shot voice conversion (VC) aims to transform source speech into arbitrary unseen target voice while keeping the linguistic content unchanged. Recent VC methods have made significant progress, but semantic losses in the decoupling process as well as training-inference mismatch still hinder conversion performance. In this paper, we propose Vec-Tok-VC+, a novel prompt-based zero-shot VC model improved from Vec-Tok Codec, achieving voice conversion given only a 3s target speaker prompt. We design a residual-enhanced K-Means decoupler to enhance the semantic content extraction with a two-layer clustering process. Besides, we employ teacher-guided refinement to simulate the conversion process to eliminate the training-inference mismatch, forming a dual-mode training strategy. Furthermore, we design a multi-codebook progressive loss function to constrain the layer-wise output of the model from coarse to fine to improve speaker similarity and content accuracy. Objective and subjective evaluations demonstrate that Vec-Tok-VC+ outperforms the strong baselines in naturalness, intelligibility, and speaker similarity.


title: An infinite-rank Lie algebra associated to SL$(2,\mathbb R)$ and SL$(2,\mathbb R)/U(1)$

abstract: We construct a generalised notion of Kac-Moody algebras using smooth maps from the non-compact manifolds ${\cal M}=$SL$(2,\mathbb R)$ and ${\cal M}=$ SL$(2,\mathbb R)/U(1)$ to a finite-dimensional simple Lie group $G$. This construction is achieved through two equivalent ways: by means of the Plancherel Theorem and by identifying a Hilbert basis within $L^2(\mathcal{M})$. We analyse the existence of central extensions and identify those in duality with Hermitean operators on $\cal M$. By inspecting the Clebsch-Gordan coefficients of $\mathfrak{sl}(2,\mathbb{R})$, we derive the Lie brackets characterising the corresponding generalised Kac-Moody algebras. The root structure of these algebras is identified, and it is shown that an infinite number of simultaneously commuting operators can be defined. Furthermore, we briefly touch upon applications of these algebras within the realm of supergravity, particularly in scenarios where the scalar fields coordinatize the non-compact manifold $\text{SL}(2,\mathbb{R})/U(1)$.


title: Multiple Intelligent Reflecting Surfaces Collaborative Wireless Localization System

abstract: This paper studies a multiple intelligent reflecting surfaces (IRSs) collaborative localization system where multiple semi-passive IRSs are deployed in the network to locate one or more targets based on time-of-arrival. It is assumed that each semi-passive IRS is equipped with reflective elements and sensors, which are used to establish the line-of-sight links from the base station (BS) to multiple targets and process echo signals, respectively. Based on the above model, we derive the Fisher information matrix of the echo signal with respect to the time delay. By employing the chain rule and exploiting the geometric relationship between time delay and position, the Cramer-Rao bound (CRB) for estimating the target's Cartesian coordinate position is derived. Then, we propose a two-stage algorithmic framework to minimize CRB in single- and multi-target localization systems by joint optimizing active beamforming at BS, passive beamforming at multiple IRSs and IRS selection. For the single-target case, we derive the optimal closed-form solution for multiple IRSs coefficients design and propose a lowcomplexity algorithm based on alternating direction method of multipliers to obtain the optimal solution for active beaming design. For the multi-target case, alternating optimization is used to transform the original problem into two subproblems where semi-definite relaxation and successive convex approximation are applied to tackle the quadraticity and indefiniteness in the CRB expression, respectively. Finally, numerical simulation results validate the effectiveness of the proposed algorithm for multiple IRSs collaborative localization system compared to other benchmark schemes as well as the significant performance gains.


title: Optimisation of ultrafast singlet fission in 1D rings towards unit efficiency

abstract: Singlet fission (SF) is an electronic transition that in the last decade has been under the spotlight for its applications in optoelectronics, from photovoltaics to spintronics. Despite considerable experimental and theoretical advancements, optimising SF in extended solids remains a challenge, due to the complexity of its analysis beyond perturbative methods. Here, we tackle the case of 1D rings, aiming to promote singlet fission and prevent its back-reaction. We study ultrafast SF non-perturbatively, by numerically solving a spin-boson model, via exact propagation and tensor network methods. By optimising over a parameter space relevant to organic molecular materials, we identify two classes of solutions that can take SF efficiency beyond 85% in the non-dissipative (coherent) regime, and to 99% when exciton-phonon interactions can be tuned. After discussing the experimental feasibility of the optimised solutions, we conclude by proposing that this approach can be extended to a wider class of optoelectronic optimisation problems.


title: On Isolated Gaps of Numerical Semigroups of embedding dimension two

abstract: We explicitly describe all the isolated gaps of any numerical semigroup of embedding dimension two, and we give an exact formula for the number of isolated gaps of these numerical semigroups.


title: Steady Contiguous Vortex-Patch Dipole Solutions of the 2D Incompressible Euler Equation

abstract: We rigorously construct the first steady traveling wave solutions of the 2D incompressible Euler equation that take the form of a contiguous vortex-patch dipole, which can be viewed as the vortex-patch counterpart of the well-known Lamb-Chaplygin dipole. Our construction is based on a novel fixed-point approach that determines the patch boundary as the fixed point of a certain nonlinear map. Smoothness and other properties of the patch boundary are also obtained.


title: GradeADreamer: Enhanced Text-to-3D Generation Using Gaussian Splatting and Multi-View Diffusion

abstract: Text-to-3D generation has shown promising results, yet common challenges such as the Multi-face Janus problem and extended generation time for high-quality assets. In this paper, we address these issues by introducing a novel three-stage training pipeline called GradeADreamer. This pipeline is capable of producing high-quality assets with a total generation time of under 30 minutes using only a single RTX 3090 GPU. Our proposed method employs a Multi-view Diffusion Model, MVDream, to generate Gaussian Splats as a prior, followed by refining geometry and texture using StableDiffusion. Experimental results demonstrate that our approach significantly mitigates the Multi-face Janus problem and achieves the highest average user preference ranking compared to previous state-of-the-art methods. The project code is available at https://github.com/trapoom555/GradeADreamer.


title: Large deviations for the largest singular value of sparse non-Hermitian matrices

abstract: We prove a large deviation principle for the largest singular value of sparse non-Hermitian random matrices, or directed Erd\H{o}s-R\'enyi networks in the constant average degree regime $p =\frac{d}{n}$ where $d$ is fixed. Entries are assumed to have Weibull distributions with tail decaying at rate $e^{-t^{\alpha}}$ for $\alpha >0$. While the law of large number results agree with the largest eigenvalue of sparse Hermitian matrices given in (Ganguly and Nam, '22) and (Ganguly, Hiesmayr and Nam, '22), large deviation results are surprisingly simpler, exhibiting a single transition at $\alpha =2$. The rate function for undirected networks with $0<\alpha \leq 2$ involved a transition at $\alpha =1$ and a complicated variational formula due to the emergence of cliques with large edge-weights (Ganguly, Hiesmayr and Nam, '22). For directed networks, we introduce a clique reduction technique which reformulates the problem for undirected networks with maximum clique size $2$, and the rate function is greatly simplified. For $\alpha >2$, both the law of large numbers and large deviation results are identical to the sparse Hermitian case. Our results easily generalize to rectangular i.i.d. ensembles.


title: Asymptotic behavior of some strongly critical decomposable 3-type Galton-Watson processes with immigration

abstract: We study the asymptotic behaviour of a critical decomposable 3-type Galton-Watson process with immigration when its offspring mean matrix is triangular with diagonal entries 1. It is proved that, under second or fourth order moment assumptions on the offspring and immigration distributions, a sequence of appropriately scaled random step processes formed from such a Galton-Watson process converges weakly. The limit process can be described using independent squared Bessel processes $(\mathcal{X}_{t,1})_{t\geq0}$, $(\mathcal{X}_{t,2})_{t\geq0}$, and $(\mathcal{X}_{t,3})_{t\geq0}$, the linear combinations of the integral processes of $(\mathcal{X}_{t,1})_{t\geq0}$ and $(\mathcal{X}_{t,2})_{t\geq0}$, and possibly the 2-fold iterated integral process of $(\mathcal{X}_{t,1})_{t\geq0}$. The presence of the 2-fold iterated integral process in the limit distribution is a new phenomenon in the description of asymptotic behavior of critical multi-type Galton-Watson processes with immigration. Our results complete and extend some results of Foster and Ney (1978) for some strongly critical decomposable 3-type Galton-Watson processes with immigration.


title: Reciprocal Dunford--Pettis sets and V$^*$-sets in Banach lattices

abstract: In this short note, we show that one cannot differentiate between reciprocal Dunford--Pettis sets and V$^*$-sets in a Banach lattice. That is, for a bounded subset $K$ of a Banach lattice $E$, $K$ is a V$^*$-set if and only if $K$ is a reciprocal Dunford--Pettis set, or equivalently, if and only if every disjoint sequence in the solid hull of $K$ is weakly null (i.e. $K$ is disjointly weakly compact).


title: Three-Receiver Quantum Broadcast Channels: Classical Communication with Quantum Non-unique Decoding

abstract: In network communication, it is common in broadcasting scenarios for there to exist a hierarchy among receivers based on information they decode due, for example, to different physical conditions or premium subscriptions. This hierarchy may result in varied information quality, such as higher-quality video for certain receivers. This is modeled mathematically as a degraded message set, indicating a hierarchy between messages to be decoded by different receivers, where the default quality corresponds to a common message intended for all receivers, a higher quality is represented by a message for a smaller subset of receivers, and so forth. We extend these considerations to quantum communication, exploring three-receiver quantum broadcast channels with two- and three-degraded message sets. Our technical tool involves employing quantum non-unique decoding, a technique we develop by utilizing the simultaneous pinching method. We construct one-shot codes for various scenarios and find achievable rate regions relying on various quantum R\'enyi mutual information error exponents. Our investigation includes a comprehensive study of pinching across tensor product spaces, presenting our findings as the asymptotic counterpart to our one-shot codes. By employing the non-unique decoding, we also establish a simpler proof to Marton's inner bound for two-receiver quantum broadcast channels without the need for more involved techniques. Additionally, we derive no-go results and demonstrate their tightness in special cases.


title: On the Encoding of Gender in Transformer-based ASR Representations

abstract: While existing literature relies on performance differences to uncover gender biases in ASR models, a deeper analysis is essential to understand how gender is encoded and utilized during transcript generation. This work investigates the encoding and utilization of gender in the latent representations of two transformer-based ASR models, Wav2Vec2 and HuBERT. Using linear erasure, we demonstrate the feasibility of removing gender information from each layer of an ASR model and show that such an intervention has minimal impacts on the ASR performance. Additionally, our analysis reveals a concentration of gender information within the first and last frames in the final layers, explaining the ease of erasing gender in these layers. Our findings suggest the prospect of creating gender-neutral embeddings that can be integrated into ASR frameworks without compromising their efficacy.


title: Liouville-type theorems for Axisymmetric solutions to steady Navier-Stokes system in a layer domain

abstract: In this paper, we investigate the Liouville-type theorems for axisymmetric solutions to steady Navier-Stokes system in a layer domain. The both cases for the flows supplemented with no-slip boundary and Navier boundary conditions are studied. If the width of the outlet grows at a rate less than $R^{\frac{1}{2}}$, any bounded solution is proved to be trivial. Meanwhile, if the width of the outlet grows at a rate less than $R^{\frac{4}{5}}$, every D-solution is proved to be trivial. The key idea of the proof is to establish a Saint-Venant type estimate that characterizes the growth of Dirichlet integral of nontrivial solutions.


title: Sparse Tensors and Subdivision Methods for Finding the Zero Set of Polynomial Equations

abstract: Finding the solutions to a system of multivariate polynomial equations is a fundamental problem in mathematics and computer science. It involves evaluating the polynomials at many points, often chosen from a grid. In most current methods, such as subdivision, homotopy continuation, or marching cube algorithms, polynomial evaluation is treated as a black box, repeating the process for each point. We propose a new approach that partially evaluates the polynomials, allowing us to efficiently reuse computations across multiple points in a grid. Our method leverages the Compressed Sparse Fiber data structure to efficiently store and process subsets of grid points. We integrated our amortized evaluation scheme into a subdivision algorithm. Experimental results show that our approach is efficient in practice. Notably, our software \texttt{voxelize} can successfully enclose curves defined by two trivariate polynomial equations of degree $100$, a problem that was previously intractable.


title: Vision Language Modeling of Content, Distortion and Appearance for Image Quality Assessment

abstract: The visual quality of an image is confounded by a number of intertwined factors including its semantic content, distortion characteristics and appearance properties such as brightness, contrast, sharpness, and colourfulness. Distilling high level knowledge about all these quality bearing attributes is crucial for developing objective Image Quality Assessment (IQA).While existing solutions have modeled some of these aspects, a comprehensive solution that involves all these important quality related attributes has not yet been developed. In this paper, we present a new blind IQA (BIQA) model termed Self-supervision and Vision-Language supervision Image QUality Evaluator (SLIQUE) that features a joint vision-language and visual contrastive representation learning framework for acquiring high level knowledge about the images semantic contents, distortion characteristics and appearance properties for IQA. For training SLIQUE, we have developed a systematic approach to constructing a first of its kind large image database annotated with all three categories of quality relevant texts. The Text Annotated Distortion, Appearance and Content (TADAC) database has over 1.6 million images annotated with textual descriptions of their semantic contents, distortion characteristics and appearance properties. The method for constructing TADAC and the database itself will be particularly useful for exploiting vision-language modeling for advanced IQA applications. Extensive experimental results show that SLIQUE has superior performances over state of the art, demonstrating the soundness of its design principle and the effectiveness of its implementation.


title: Cosmological simulations of the generation of cluster-scale radio emission from turbulent re-acceleration

abstract: Context. The recent discovery of so-called mega radio halos as a new class of diffuse, steep-spectrum radio sources in clusters of galaxies has raised questions about the origin and the evolution of cluster-wide radio emission. Aims. We investigate whether the formation mechanisms of radio halos and mega radio halos differ, or whether they can be produced by different modalities of the same (re)acceleration mechanism. Here we present results of a cosmological simulation of a disturbed galaxy cluster, with the aim to study the origin of mega radio halos. Methods. We analysed the evolution of cosmic-ray electrons, subject to gains and losses using a Fokker-Planck solver. In particular, we included the effects of Adiabatic Stochastic Acceleration (ASA) which is caused by the stochastic interaction of cosmic rays with diffusing magnetic field lines in super-Alfvenic turbulence. Moreover, we included shock acceleration and the seeding of cosmic-ray electrons by galaxies. Results. Our simulations generate cluster-scale radio sources during mergers, with properties that are in agreement with those observed for real radio halos. Furthermore, we find evidence of additional emission on larger scales. This emission resembles the radial distribution and the spectrum of a mega radio halo, but only when viewed close to the merger axis. Conclusions. In our simulation, the mechanism responsible for the formation of diffuse radio emission, both in the form of classical and mega radio halos, is cosmic-ray re-acceleration by turbulence. This turbulence is more solenoidal and more subsonic in the classical radio halo region, than in the mega radio halo region.


title: Dataset Condensation with Latent Quantile Matching

abstract: Dataset condensation (DC) methods aim to learn a smaller synthesized dataset with informative data records to accelerate the training of machine learning models. Current distribution matching (DM) based DC methods learn a synthesized dataset by matching the mean of the latent embeddings between the synthetic and the real dataset. However two distributions with the same mean can still be vastly different. In this work we demonstrate the shortcomings of using Maximum Mean Discrepancy to match latent distributions i.e. the weak matching power and lack of outlier regularization. To alleviate these shortcomings we propose our new method: Latent Quantile Matching (LQM) which matches the quantiles of the latent embeddings to minimize the goodness of fit test statistic between two distributions. Empirical experiments on both image and graph-structured datasets show that LQM matches or outperforms previous state of the art in distribution matching based DC. Moreover we show that LQM improves the performance in continual graph learning (CGL) setting where memory efficiency and privacy can be important. Our work sheds light on the application of DM based DC for CGL.


title: Dissipation through combinations of nonlocal and gradient nonlinearities in chemotaxis models

abstract: This work concerns with a class of chemotaxis models in which external sources, comprising nonlocal and gradient-dependent damping reactions, influence the motion of a cell density attracted by a chemical signal. The mechanism of the two densities is studied in bounded and impenetrable regions. In particular, it is seen that no gathering effect for the cells can appear in time provided that the damping impacts are sufficiently strong.


title: Output-feedback stabilization of a class of n+m linear hyperbolic ODE-PDE-ODE systems

abstract: In this paper, we design an output-feedback controller to stabilize n +m hetero-directional transport partial differential equations (PDEs) coupled on both domain boundaries to ordinary differential equations (ODEs). This class of systems can represent, for instance, actuator and load dynamics at the boundaries of a hyperbolic system. The actuator is located at the connection point between the PDE and one of the ODEs, and we consider anti-collocated PDE measurements. We first design a state-observer by combining the backstepping methodology with time-delay system approaches. We then introduce a state feedback controller using analogous techniques before designing the wanted output-feedback control law.


title: Evidence for Morning-to-Evening Limb Asymmetry on the Cool Low-Density Exoplanet WASP-107b

abstract: Transmission spectroscopy has enabled unprecedented insights into the makeup of exoplanet atmospheres. A transmission spectrum combines contributions from a planet's morning and evening limbs, but these limbs may have different temperatures, compositions, and aerosol properties due to atmospheric circulation. High-resolution ground-based observations have detected limb asymmetry on several ultra-hot (>2000 K) exoplanets, but space-based investigation into limb asymmetry is in its infancy, and limb asymmetry's prevalence in the broader exoplanet population remains unexplored. We find evidence for limb asymmetry on the exoplanet WASP-107b via transmission spectroscopy from 2.5 to 4.0 micrometers with JWST/NIRCam. This is one of the first low-resolution space-based measurements of limb asymmetry and is unique because, at 770 K, WASP-107b is in a relatively cool regime where planetary terminators are expected to be homogeneous. These observations imply a difference in temperature and cloud properties between WASP-107b's limbs, challenging our models of limb asymmetry in this cooler regime.


title: LUMA: A Benchmark Dataset for Learning from Uncertain and Multimodal Data

abstract: Multimodal Deep Learning enhances decision-making by integrating diverse information sources, such as texts, images, audio, and videos. To develop trustworthy multimodal approaches, it is essential to understand how uncertainty impacts these models. We introduce LUMA, a unique benchmark dataset, featuring audio, image, and textual data from 50 classes, for learning from uncertain and multimodal data. It extends the well-known CIFAR 10/100 dataset with audio samples extracted from three audio corpora, and text data generated using the Gemma-7B Large Language Model (LLM). The LUMA dataset enables the controlled injection of varying types and degrees of uncertainty to achieve and tailor specific experiments and benchmarking initiatives. LUMA is also available as a Python package including the functions for generating multiple variants of the dataset with controlling the diversity of the data, the amount of noise for each modality, and adding out-of-distribution samples. A baseline pre-trained model is also provided alongside three uncertainty quantification methods: Monte-Carlo Dropout, Deep Ensemble, and Reliable Conflictive Multi-View Learning. This comprehensive dataset and its tools are intended to promote and support the development and benchmarking of trustworthy and robust multimodal deep learning approaches.


title: Stable network inference in high-dimensional graphical model using single-linkage

abstract: Stability, akin to reproducibility, is crucial in statistical analysis. This paper examines the stability of sparse network inference in high-dimensional graphical models, where selected edges should remain consistent across different samples. Our study focuses on the Graphical Lasso and its decomposition into two steps, with the first step involving hierarchical clustering using single linkage.We provide theoretical proof that single linkage is stable, evidenced by controlled distances between two dendrograms inferred from two samples. Practical experiments further illustrate the stability of the Graphical Lasso's various steps, including dendrograms, variable clusters, and final networks. Our results, validated through both theoretical analysis and practical experiments using simulated and real datasets, demonstrate that single linkage is more stable than other methods when a modular structure is present.


title: Globally Optimal GNSS Multi-Antenna Lever Arm Calibration

abstract: Sensor calibration is crucial for autonomous driving, providing the basis for accurate localization and consistent data fusion. Enabling the use of high-accuracy GNSS sensors, this work focuses on the antenna lever arm calibration. We propose a globally optimal multi-antenna lever arm calibration approach based on motion measurements. For this, we derive an optimization method that further allows the integration of a-priori knowledge. Globally optimal solutions are obtained by leveraging the Lagrangian dual problem and a primal recovery strategy. Generally, motion-based calibration for autonomous vehicles is known to be difficult due to cars' predominantly planar motion. Therefore, we first describe the motion requirements for a unique solution and then propose a planar motion extension to overcome this issue and enable a calibration based on the restricted motion of autonomous vehicles. Last we present and discuss the results of our thorough evaluation. Using simulated and augmented real-world data, we achieve accurate calibration results and fast run times that allow online deployment.


title: Rethinking the Evaluation of Out-of-Distribution Detection: A Sorites Paradox

abstract: Most existing out-of-distribution (OOD) detection benchmarks classify samples with novel labels as the OOD data. However, some marginal OOD samples actually have close semantic contents to the in-distribution (ID) sample, which makes determining the OOD sample a Sorites Paradox. In this paper, we construct a benchmark named Incremental Shift OOD (IS-OOD) to address the issue, in which we divide the test samples into subsets with different semantic and covariate shift degrees relative to the ID dataset. The data division is achieved through a shift measuring method based on our proposed Language Aligned Image feature Decomposition (LAID). Moreover, we construct a Synthetic Incremental Shift (Syn-IS) dataset that contains high-quality generated images with more diverse covariate contents to complement the IS-OOD benchmark. We evaluate current OOD detection methods on our benchmark and find several important insights: (1) The performance of most OOD detection methods significantly improves as the semantic shift increases; (2) Some methods like GradNorm may have different OOD detection mechanisms as they rely less on semantic shifts to make decisions; (3) Excessive covariate shifts in the image are also likely to be considered as OOD for some methods. Our code and data are released in https://github.com/qqwsad5/IS-OOD.


title: Addition in Dumont-Thomas Numeration Systems in Theory and Practice

abstract: Given a fixpoint of a substitution, the associated Dumont-Thomas numeration system provides a convenient immediate way to describe the fixpoint as an automatic sequence. In order to study first-order properties of these fixpoints using B\"uchi-Bruy\`ere characterization, it is necessary for the numeration system to be addable. This means that its addition relation must be computable by a finite automaton. Dumont-Thomas numeration systems can be regarded as an extension of positional numeration systems with states where the greediness is state-dependent. We introduce sequence automata as a tool to extend the results of Bruy\`ere-Hansel and Frougny-Solomyak on the regularity of the addition of Bertrand numeration systems to the case of Dumont-Thomas numeration systems related to some Pisot number. We present a practical implementation of the addition compatible with the Walnut computation tool, along with some experimental results.


title: MMM: Multi-Layer Multi-Residual Multi-Stream Discrete Speech Representation from Self-supervised Learning Model

abstract: Speech discrete representation has proven effective in various downstream applications due to its superior compression rate of the waveform, fast convergence during training, and compatibility with other modalities. Discrete units extracted from self-supervised learning (SSL) models have emerged as a prominent approach for obtaining speech discrete representation. However, while discrete units have shown effectiveness compared to spectral features, they still lag behind continuous SSL representations. In this work, we propose MMM, a multi-layer multi-residual multi-stream discrete units extraction method from SSL. Specifically, we introduce iterative residual vector quantization with K-means for different layers in an SSL model to extract multi-stream speech discrete representation. Through extensive experiments in speech recognition, speech resynthesis, and text-to-speech, we demonstrate the proposed MMM can surpass or on-par with neural codec's performance under various conditions.


title: IGL-Bench: Establishing the Comprehensive Benchmark for Imbalanced Graph Learning

abstract: Deep graph learning has gained grand popularity over the past years due to its versatility and success in representing graph data across a wide range of domains. However, the pervasive issue of imbalanced graph data distributions, where certain parts exhibit disproportionally abundant data while others remain sparse, undermines the efficacy of conventional graph learning algorithms, leading to biased outcomes. To address this challenge, Imbalanced Graph Learning (IGL) has garnered substantial attention, enabling more balanced data distributions and better task performance. Despite the proliferation of IGL algorithms, the absence of consistent experimental protocols and fair performance comparisons pose a significant barrier to comprehending advancements in this field. To bridge this gap, we introduce IGL-Bench, a foundational comprehensive benchmark for imbalanced graph learning, embarking on 16 diverse graph datasets and 24 distinct IGL algorithms with uniform data processing and splitting strategies. Specifically, IGL-Bench systematically investigates state-of-the-art IGL algorithms in terms of effectiveness, robustness, and efficiency on node-level and graph-level tasks, with the scope of class-imbalance and topology-imbalance. Extensive experiments demonstrate the potential benefits of IGL algorithms on various imbalanced conditions, offering insights and opportunities in the IGL field. Further, we have developed an open-sourced and unified package to facilitate reproducible evaluation and inspire further innovative research, which is available at https://github.com/RingBDStack/IGL-Bench.


title: Envelope vector solitons in nonlinear flexible mechanical metamaterials

abstract: In this paper, we employ a combination of analytical and numerical techniques to investigate the dynamics of lattice envelope vector soliton solutions propagating within a one-dimensional chain of flexible mechanical metamaterial. To model the system, we formulate discrete equations that describe the longitudinal and rotational displacements of each individual rigid unit mass using a lump element approach. By applying the multiple-scales method in the context of a semi-discrete approximation, we derive an effective nonlinear Schr\"odinger equation that characterizes the evolution of rotational and slowly varying envelope waves from the aforementioned discrete motion equations. We thus show that this flexible mechanical metamaterial chain supports envelope vector solitons where the rotational component has the form of either a bright or a dark soliton. In addition, due to nonlinear coupling, the longitudinal displacement displays kink-like profiles thus forming the 2-components vector soliton. These findings, which include specific vector envelope solutions, enrich our knowledge on the nonlinear wave solutions supported by flexible mechanical metamaterials and open new possibilities for the control of nonlinear waves and vibrations.


title: A-posteriori-steered $p$-robust multigrid and domain decomposition methods with optimal step-sizes for mixed finite element discretizations of elliptic problems

abstract: In this work, we develop algebraic solvers for linear systems arising from the discretization of second-order elliptic problems by saddle-point mixed finite element methods of arbitrary polynomial degree $p \ge 0$. We present a multigrid and a two-level domain decomposition approach in two or three space dimensions, which are steered by their respective a posteriori estimators of the algebraic error. First, we extend the results of [A. Mira\c{c}i, J. Pape\v{z}, and M. Vohral\'ik, SIAM J. Sci. Comput. 43 (2021), S117--S145] to the mixed finite element setting. Extending the multigrid procedure itself is rather natural. To obtain analogous theoretical results, however, a multilevel stable decomposition of the velocity space is needed. In two space dimensions, we can treat the velocity space as the curl of a stream-function space, for which the previous results apply. In three space dimensions, we design a novel stable decomposition by combining a one-level high-order local stable decomposition of [Chaumont-Frelet and Vohral\'ik, SIAM J. Numer. Anal. 61 (2023), 1783--1818] and a multilevel lowest-order stable decomposition of [Hiptmair, Wu, and Zheng, Numer. Math. Theory Methods Appl. 5 (2012), 297--332]. This allows us to prove that our multigrid solver contracts the algebraic error at each iteration and, simultaneously, that the associated a posteriori estimator is efficient. A $p$-robust contraction is shown in two space dimensions. Next, we use this multilevel methodology to define a two-level domain decomposition method where the subdomains consist of overlapping patches of coarse-level elements sharing a common coarse-level vertex. We again establish a ($p$-robust) contraction of the solver and efficiency of the a posteriori estimator. Numerical results presented both for the multigrid approach and the domain decomposition method confirm the theoretical findings.


title: Perceiver-Prompt: Flexible Speaker Adaptation in Whisper for Chinese Disordered Speech Recognition

abstract: Disordered speech recognition profound implications for improving the quality of life for individuals afflicted with, for example, dysarthria. Dysarthric speech recognition encounters challenges including limited data, substantial dissimilarities between dysarthric and non-dysarthric speakers, and significant speaker variations stemming from the disorder. This paper introduces Perceiver-Prompt, a method for speaker adaptation that utilizes P-Tuning on the Whisper large-scale model. We first fine-tune Whisper using LoRA and then integrate a trainable Perceiver to generate fixed-length speaker prompts from variable-length inputs, to improve model recognition of Chinese dysarthric speech. Experimental results from our Chinese dysarthric speech dataset demonstrate consistent improvements in recognition performance with Perceiver-Prompt. Relative reduction up to 13.04% in CER is obtained over the fine-tuned Whisper.


title: Vertically Graded FeNi Alloys with Low Damping and a Sizeable Spin-Orbit Torque

abstract: Energy-efficient spintronic devices require a large spin-orbit torque (SOT) and low damping to excite magnetic precession. In conventional devices with heavy-metal/ferromagnet bilayers, reducing the ferromagnet thickness to $\sim$1 nm enhances the SOT but dramatically increases damping. Here, we investigate an alternative approach based on a 10 nm thick single-layer ferromagnet to attain both low damping and a sizable SOT. Instead of relying on a single interface, we continuously break the bulk inversion symmetry with a vertical compositional gradient of two ferromagnetic elements: Fe with low intrinsic damping and Ni with sizable spin-orbit coupling. We find low effective damping parameters of $\alpha_\mathrm{eff} < 5\times10^{-3}$ in the FeNi alloy films, despite the steep compositional gradients. Moreover, we reveal a sizable anti-damping SOT efficiency of $\theta_\mathrm{AD} \approx 0.05$, even without an intentional compositional gradient. Through depth-resolved x-ray diffraction, we identify a lattice strain gradient as crucial symmetry breaking that underpins the SOT. Our findings provide fresh insights into damping and SOTs in single-layer ferromagnets for power-efficient spintronic devices.


title: The Chorioallantoic Membrane Model: A 3D in vivo Testbed for Design and Analysis of MC Systems

abstract: Molecular Communications (MC) research is increasingly focused on applications within the human body, such as health monitoring and drug delivery. These applications require testing in realistic and living environments. Thus, advancing experimental MC research to the next level requires the development of in vivo experimental testbeds. In this paper, we introduce the Chorioallantoic Membrane ( CAM ) model as a versatile 3D in vivo MC testbed. The CAM is a highly vascularized membrane formed in fertilized chicken eggs and has gained significance in various research fields, including bioengineering, cancer research, and drug development. Its versatility, reproducibility, and realistic biological properties make the CAM model perfectly suited for next-generation MC testbeds, facilitating the transition from proof-of-concept systems to practical applications. We provide a comprehensive introduction to the CAM model, its properties, and its applications in practical research. Additionally, we present a characterization of the CAM model as an MC system. As a preliminary experimental study, we investigate the distribution of fluorescent molecules in the closed-loop vascular system of the CAM model. We also derive an approximate analytical model for the propagation of molecules in closed-loop systems, and show that the proposed model is able to approximate molecule propagation in the CAM model.


title: Sailing in high-dimensional spaces: Low-dimensional embeddings through angle preservation

abstract: Low-dimensional embeddings (LDEs) of high-dimensional data are ubiquitous in science and engineering. They allow us to quickly understand the main properties of the data, identify outliers and processing errors, and inform the next steps of data analysis. As such, LDEs have to be faithful to the original high-dimensional data, i.e., they should represent the relationships that are encoded in the data, both at a local as well as global scale. The current generation of LDE approaches focus on reconstructing local distances between any pair of samples correctly, often out-performing traditional approaches aiming at all distances. For these approaches, global relationships are, however, usually strongly distorted, often argued to be an inherent trade-off between local and global structure learning for embeddings. We suggest a new perspective on LDE learning, reconstructing angles between data points. We show that this approach, Mercat, yields good reconstruction across a diverse set of experiments and metrics, and preserve structures well across all scales. Compared to existing work, our approach also has a simple formulation, facilitating future theoretical analysis and algorithmic improvements.


abstract: Traditional federated learning (FL) methods have limited support for clients with varying computational and communication abilities, leading to inefficiencies and potential inaccuracies in model training. This limitation hinders the widespread adoption of FL in diverse and resource-constrained environments, such as those with client devices ranging from powerful servers to mobile devices. To address this need, this paper introduces Federated Learning with Flexible Architectures (FedFA), an FL training algorithm that allows clients to train models of different widths and depths. Each client can select a network architecture suitable for its resources, with shallower and thinner networks requiring fewer computing resources for training. Unlike prior work in this area, FedFA incorporates the layer grafting technique to align clients' local architectures with the largest network architecture in the FL system during model aggregation. Layer grafting ensures that all client contributions are uniformly integrated into the global model, thereby minimizing the risk of any individual client's data skewing the model's parameters disproportionately and introducing security benefits. Moreover, FedFA introduces the scalable aggregation method to manage scale variations in weights among different network architectures. Experimentally, FedFA outperforms previous width and depth flexible aggregation strategies. Furthermore, FedFA demonstrates increased robustness against performance degradation in backdoor attack scenarios compared to earlier strategies.


title: Theory of Josephson scanning microscopy with $s$-wave tip on unconventional superconducting surface: application to Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$

abstract: Josephson scanning tunneling microscopy (JSTM) is a powerful probe of the local superconducting order parameter, but studies have been largely limited to cases where superconducting sample and superconducting tip both have the same gap symmetry -- either s-wave or d-wave. It has been generally assumed that in an ideal $s$-to-$d$ JSTM experiment the critical current would vanish everywhere, as expected for ideal $c$-axis planar junctions. We show here that this is not the case. Employing first-principles Wannier functions for Bi$_2$Sr$_2$CaCu$_2$O$_{8+\delta}$, we develop a scheme to compute Josephson critical current ($I_{c}$) and quasiparticle tunneling current measured by JSTM with sub-angstrom resolution. We demonstrate that the critical current for tunneling between an s-wave tip and a superconducting cuprate sample has largest magnitude above O sites and it vanishes above Cu sites. $I_{c}$ changes sign under $\pi/2$-rotation and its average over a unit cell vanishes, as a direct consequence of the $d$-wave gap symmetry in cuprates. Further, we show that $I_{c}$ is strongly suppressed in the close vicinity of a Zn-like impurity owing to suppression of the superconducting order parameter. More interestingly, $I_{c}$ acquires non-vanishing values above the Cu sites near the impurity. The critical current modulations produced by the impurity occur at characteristic wavevectors distinct from the quasiparticle interference (QPI) analogue. Furthermore, the quasiparticle tunneling spectra in the JSTM set-up shows coherence peaks and impurity-induced resonances shifted by the $s$-wave tip gap. We discuss similarities and differences in JSTM observables and conventional STM observables, making specific predictions that can be tested in future JSTM experiments.


title: Dualit\'e relative de type Kleiman I: Cas propre

abstract: The goal of this papers is to extending to the complex analytic framework the relative Kleiman duality for quasi coherent sheaves. Precisely, he show that for any flat,locally projectivea and finitely presented morphism of schemes $\pi:X\rightarrow S$ whose fibers are of pure dimension $n$, the functor ${\rm I}\!{\rm R}^{n}\pi_{*}:{\rm Q}coh(X) \rightarrow {\rm Q}coh(S)$ admits a right adjoint covariant functor (noted $\pi^{!}_{\mathcal K}$) inducing, for any quasi-coherent sheaves ${\mathcal F}$ and ${\mathcal G}$ on $X$ and $S$ respectively, a relative duality isomorphism ${\rm I}\!{\rm H}om(X; {\mathcal F},\pi^{!}_{\mathcal K}({\mathcal G}))\simeq {\rm I}\!{\rm H}om(S; {\rm I}\!{\rm R}^{n}\pi_{*}{\mathcal F}, {\mathcal G})$ bifunctorial in ${\mathcal F}$, ${\mathcal G}$ satisfying many nice functorial properties. Furthermore, he shows that full duality is achieved if and only if $\pi$ is Cohen Macaulay morphism. We show in the first part which concerns proper morphism of complex spaces with constant fibers dimension that we have a similar duality in this context with the same conclusion for the full duality. In the secod part, the morphism are not necessarly proper but equidimensional or open with constant fibers dimension. The situation is much more complicated because we must use a specific analytic geometry tools. Infinite dimensional cohomology groups considered as locally convex vectorial topological spaces are generally not Hausdorff, the higher direct image with propre support ${\rm I}\!{\rm R}^{n}\pi_{!}$ are generally never coherent. Despite all this problems, we are able to give a semi-relative duality theorem as mentioned above and in a certain sense.


title: Nanosecond pulsed barrier discharge in argon for various frequencies and theoretical analysis of 2p states density ratios for E/N determination

abstract: Nanosecond pulsed barrier discharges in atmospheric pressure argon are simulated using spatially one- and two-dimensional fluid-Poisson models using the reaction kinetics model presented by Stankov et al. [1], which considers all ten argon 2p states (Paschen notation) separately. The very first (single) discharge and repetitive discharges with frequencies from 5kHz to 100kHz are considered and a semi-automated procedure is utilized to find appropriate 2p states for electric field determination using an intensity ratio method. The proposed method is based on a time-dependent collisional-radiative model enabling a sub-nanosecond plasma diagnostics, it links the 2p state density ratios to the reduced electric field strength E/N by quantifying the excitation rate coefficients and by computing 2p states effective lifetimes from the fluid model simulation. The semi-automated procedure identifies several candidates for determination of E/N from given temporal profiles of the 2p state densities. Different approaches for effective lifetime determination are tested and applied also to measured data. The influence of radial and axial 2p state density integration on the intensity ratio method is discussed. The above mentioned models and procedures result in a flexible theory-based methodology applicable for development of new diagnostic techniques.


title: A Unified Data Augmentation Framework for Low-Resource Multi-Domain Dialogue Generation

abstract: Current state-of-the-art dialogue systems heavily rely on extensive training datasets. However, challenges arise in domains where domain-specific training datasets are insufficient or entirely absent. To tackle this challenge, we propose a novel data \textbf{A}ugmentation framework for \textbf{M}ulti-\textbf{D}omain \textbf{D}ialogue \textbf{G}eneration, referred to as \textbf{AMD$^2$G}. The AMD$^2$G framework consists of a data augmentation process and a two-stage training approach: domain-agnostic training and domain adaptation training. We posit that domain corpora are a blend of domain-agnostic and domain-specific features, with certain representation patterns shared among diverse domains. Domain-agnostic training aims to enable models to learn these common expressive patterns. To construct domain-agnostic dialogue corpora, we employ a \textit{\textbf{de-domaining}} data processing technique used to remove domain-specific features. By mitigating the effects of domain-specific features, the model trained on the de-domained corpora can effectively learn common expression patterns in different domains. Subsequently, we adapt the learned domain-agnostic features to the target domain through domain adaptation training. We conduct experiments on Chinese dialogue datasets from five different domains and show that AMD$^2$G achieves superior performance compared to both direct training on the target domain corpus and collective training on all five domain corpora. Our work underscores AMD$^2$G as a viable alternative solution for low-resource multi-domain dialogue generation. Code and data associated with our work are available on GitHub repository$^{\text 1}$.


title: Harm Mitigation in Recommender Systems under User Preference Dynamics

abstract: We consider a recommender system that takes into account the interplay between recommendations, the evolution of user interests, and harmful content. We model the impact of recommendations on user behavior, particularly the tendency to consume harmful content. We seek recommendation policies that establish a tradeoff between maximizing click-through rate (CTR) and mitigating harm. We establish conditions under which the user profile dynamics have a stationary point, and propose algorithms for finding an optimal recommendation policy at stationarity. We experiment on a semi-synthetic movie recommendation setting initialized with real data and observe that our policies outperform baselines at simultaneously maximizing CTR and mitigating harm.


title: A Gentle Introduction to CAT(0) Spaces

abstract: In this project we explore the geometry of general metric spaces, where we do not necessarily have the tools of differential geometry on our side. Some metric spaces (X,d) allow us to define geodesics, permitting us to compare geodesic triangles in (X,d) to geodesic triangles in a so called model space. In Chapters 1 and 2 we first discuss how to define the length of curves, and geodesics on (X,d), and then using these to portray the notion of ``non-positive curvature'' for a metric space. Chapter 3 concerns itself with special cases of such non-positively curved metric spaces, called CAT(0) spaces. These satisfy particularly nice properties, such as being uniquely geodesic, contractible, and having a convex metric, among others. We mainly follow the book by Martin R. Bridson and Andr\'e Haefliger, with some differences. Firstly, we restrict ourselves to using the Euclidean plane E^2 as our model space, which is all that is necessary to define CAT(0) spaces. Secondly, we skip many sections of the mentioned book, as many are not relevant for our specific purposes. Finally, we add details to some of the proofs, which can be sparse in details or completely non-existent in the original literature. In this way we hope to create a more streamlined, self-contained, and accessible introduction to CAT(0) spaces.


title: Enhancing Fake News Detection in Social Media via Label Propagation on Cross-modal Tweet Graph

abstract: Fake news detection in social media has become increasingly important due to the rapid proliferation of personal media channels and the consequential dissemination of misleading information. Existing methods, which primarily rely on multimodal features and graph-based techniques, have shown promising performance in detecting fake news. However, they still face a limitation, i.e., sparsity in graph connections, which hinders capturing possible interactions among tweets. This challenge has motivated us to explore a novel method that densifies the graph's connectivity to capture denser interaction better. Our method constructs a cross-modal tweet graph using CLIP, which encodes images and text into a unified space, allowing us to extract potential connections based on similarities in text and images. We then design a Feature Contextualization Network with Label Propagation (FCN-LP) to model the interaction among tweets as well as positive or negative correlations between predicted labels of connected tweets. The propagated labels from the graph are weighted and aggregated for the final detection. To enhance the model's generalization ability to unseen events, we introduce a domain generalization loss that ensures consistent features between tweets on seen and unseen events. We use three publicly available fake news datasets, Twitter, PHEME, and Weibo, for evaluation. Our method consistently improves the performance over the state-of-the-art methods on all benchmark datasets and effectively demonstrates its aptitude for generalizing fake news detection in social media.


title: Chaotic measures as an alternative to spectral measures for analysing turbulent flow

abstract: Turbulence has associated chaotic features. In the past couple of decades there has been growing interest in the study of these features as an alternative means of understanding turbulent systems. Our own input to this effort has been in contributing to the initial studies of chaos in Eulerian flow using direct numerical simulation (DNS). In this review we discuss the progress achieved in the turbulence community in understanding chaotic measures including our own work. A central relation between turbulence and chaos is one by Ruelle that connects the maximum Lyapunov exponent and the Reynolds number. The first DNS studies, ours amongst them, in obtaining this relation has shown the viability of chaotic simulation studies of Eulerian flow. Such chaotic measures and associated simulation methodology provides an alternative means to probe turbulent flow. Building on this, we have analyzed the finite time Lyapunov exponent (FTLE) and studied its fluctuations, and found that chaotic measures could be quantified accurately even at small simulation box sizes where for comparative sizes spectral measures would be inconclusive. We further highlight applications of chaotic measures in analyzing phase transition behavior in turbulent flow and two dimensional thin layer turbulent systems. This work has shown chaotic measures are an excellent tool that can be used alongside spectral measures in studying turbulent flow.


title: Occupation times and areas derived from random sampling

abstract: We consider the occupation area of spherical (fractional) Brownian motion, i.e. the area where the process is positive, and show that it is uniformly distributed. For the proof, we introduce a new simple combinatorial view on occupation times of stochastic processes that turns out to be surprisingly effective. A sampling method is used to relate the moments of occupation times to persistence probabilities of random walks that again relate to combinatorial factors in the moments of beta distributions. Our approach also yields a new and completely elementary proof of L\'evy's second arcsine law for Brownian motion. Further, combined with Spitzer's formula and the use of Bell polynomials, we give a characterisation of the distribution of the occupation times for all L\'evy processes.


title: Split-Apply-Combine with Dynamic Grouping

abstract: Partitioning a data set by one or more of its attributes and computing an aggregate for each part is one of the most common operations in data analyses. There are use cases where the partitioning is determined dynamically by collapsing smaller subsets into larger ones, to ensure sufficient support for the computed aggregate. These use cases are not supported by software implementing split-apply-combine types of operations. This paper presents the \texttt{R} package \texttt{accumulate} that offers convenient interfaces for defining grouped aggregation where the grouping itself is dynamically determined, based on user-defined conditions on subsets, and a user-defined subset collapsing scheme. The formal underlying algorithm is described and analyzed as well.


title: Magneto-optical transport in tilted type-I double-Weyl semimetals in the presence of orbital magnetic moment

abstract: The magneto-optical transport of gapless type-I tilted-single Weyl semimetals exhibits suppression of total magnetoconductivities in the presence of orbital magnetic moment in linear and non-linear responses (Yang Gao et al, Phys.\ Rev.\ B {\bf 105}, 165307 (2022)). In this work, we extend our study to investigate magnetoconductivities in gapless type-I tilted double-Weyl semimetals within the semiclassical Boltzmann approach and show the differences that arise compared to single-Weyl semimetals.


title: Managing Singular Kernels and Logarithmic Corrections in the Staggered Six-Vertex Model

abstract: In this paper, we investigate the spectral properties of the staggered six-vertex model with ${\cal Z}_2$ symmetry for arbitrary system sizes $L$ using non-linear integral equations (NLIEs). Our study is motivated by two key questions: what is the accuracy of results based on the ODE/IQFT correspondence in the asymptotic regime of large system sizes, and what is the optimal approach based on NLIE for analyzing the staggered six-vertex model? We demonstrate that the quantization conditions for low-lying primary and descendant states, derived from the ODE/IQFT approach in the scaling limit, are impressively accurate even for relatively small system sizes. Specifically, in the anisotropy parameter range $\pi/4 < \gamma < \pi/2$, the difference between NLIE and ODE/IQFT results for energy and quasi-momentum eigenvalues is of order $\mathcal{O}(L^{-2})$. Furthermore, we present a unifying framework for NLIEs, distinguishing between versions with singular and regular kernels. We provide a compact derivation of NLIE with a singular kernel, followed by an equivalent set with a regular kernel. We address the stability issues in numerical treatments and offer solutions to achieve high-accuracy results, validating our approach for system sizes ranging from $L=2$ to $L=10^{24}$. Our findings not only validate the ODE/IQFT approach for finite system sizes but also enhance the understanding of NLIEs in the context of the staggered six-vertex model. We hope the insights gained from this study have significant implications for resolving the spectral problem of other lattice systems with emergent non-compact degrees of freedom and provide a foundation for future research in this domain.


title: ALMA Lensing Cluster Survey: Physical characterization of near-infrared-dark intrinsically faint ALMA sources at z=2-4

abstract: We present results from Atacama Large Millimeter/submillimeter Array (ALMA) spectral line-scan observations at 3-mm and 2-mm bands of three near-infrared-dark (NIR-dark) galaxies behind two massive lensing clusters MACS J0417.5-1154 and RXC J0032.1+1808. Each of these three sources is a faint (de-lensed $S_{\text{1.2 mm}}$ $<$ 1 mJy) triply lensed system originally discovered in the ALMA Lensing Cluster Survey. We have successfully detected CO and [C I] emission lines and confirmed that their spectroscopic redshifts are $z=3.652$, 2.391, and 2.985. By utilizing a rich multi-wavelength data set, we find that the NIR-dark galaxies are located on the star formation main sequence in the intrinsic stellar mass range of log ($M_*$/$M_\odot$) = 9.8 - 10.4, which is about one order of magnitude lower than that of typical submillimeter galaxies (SMGs). These NIR-dark galaxies show a variety in gas depletion times and spatial extent of dust emission. One of the three is a normal star-forming galaxy with gas depletion time consistent with a scaling relation, and its infrared surface brightness is an order of magnitude smaller than that of typical SMGs. Since this galaxy has an elongated axis ratio of $\sim 0.17$, we argue that normal star-forming galaxies in an edge-on configuration can be heavily dust-obscured. This implies that existing deep WFC3/F160W surveys may miss a fraction of typical star-forming main-sequence galaxies due to their edge-on orientation.


title: Benchmarking Generative Models on Computational Thinking Tests in Elementary Visual Programming

abstract: Generative models have demonstrated human-level proficiency in various benchmarks across domains like programming, natural sciences, and general knowledge. Despite these promising results on competitive benchmarks, they still struggle with seemingly simple problem-solving tasks typically carried out by elementary-level students. How do state-of-the-art models perform on standardized tests designed to assess computational thinking and problem-solving skills at schools? In this paper, we curate a novel benchmark involving computational thinking tests grounded in elementary visual programming domains. Our initial results show that state-of-the-art models like GPT-4o and Llama3 barely match the performance of an average school student. To further boost the performance of these models, we fine-tune them using a novel synthetic data generation methodology. The key idea is to develop a comprehensive dataset using symbolic methods that capture different skill levels, ranging from recognition of visual elements to multi-choice quizzes to synthesis-style tasks. We showcase how various aspects of symbolic information in synthetic data help improve fine-tuned models' performance. We will release the full implementation and datasets to facilitate further research on enhancing computational thinking in generative models.


title: On identifying dynamic length scales in crystal plasticity

abstract: Materials are often heterogeneous at various length scales, with variations in grain structure, defects, and composition which has a strong influence on the emergent macroscopic plastic behavior. In particular, heterogeneities lead to fluctuations in the plastic response in the form of jerky flow and ubiquitous strain bursts. One of the crucial aspects of plasticity modeling is scale bridging: In order to deliver physically correct crystal plasticity models, one needs to determine relevant microstructural length scales. In this paper we advance the idea that continuum descriptions of dislocation mediated plasticity cannot neglect dynamic correlations related to the avalanche behavior. We present an extensive weakest link analysis of crystal plasticity by means of three-dimensional discrete dislocation dynamics simulations with and without spherical precipitates. We investigate strain bursts and related length scales and conclude that while sufficiently strong obstacles to dislocation motion tend to confine the dislocation avalanches within well-defined sub-volumes, in pure dislocation systems the avalanches may span the system, implying that the dynamic length scale is, in fact, the size of the entire sample. Consequences of this finding on continuum modeling are thoroughly discussed.


title: The nucleosynthetic fingerprint of the outermost protoplanetary disk and early Solar System dynamics

abstract: Knowledge of the nucleosynthetic isotope composition of the outermost protoplanetary disk is critical to understand the formation and early dynamical evolution of the Solar System. We report the discovery of outer disk material preserved in a pristine meteorite based on its chemical composition, organic-rich petrology, and 15N-rich, deuterium-rich, and 16O-poor isotope signatures. We infer that this outer disk material originated in the comet-forming region. The nucleosynthetic Fe, Mg, Si and Cr compositions of this material reveal that, contrary to current belief, the isotope signature of the comet-forming region is ubiquitous amongst outer Solar System bodies, possibly reflecting an important planetary building block in the outer Solar System. This nucleosynthetic component represents fresh material added to the outer disk by late accretion streamers connected to the ambient molecular cloud. Our results show that most Solar System carbonaceous asteroids accreted material from the comet-forming region, a signature lacking in the terrestrial planet region.


title: Period Singer: Integrating Periodic and Aperiodic Variational Autoencoders for Natural-Sounding End-to-End Singing Voice Synthesis

abstract: In this paper, we present Period Singer, a novel end-to-end singing voice synthesis (SVS) model that utilizes variational inference for periodic and aperiodic components, aimed at producing natural-sounding waveforms. Recent end-to-end SVS models have demonstrated the capability of synthesizing high-fidelity singing voices. However, owing to deterministic pitch conditioning, they do not fully address the one-to-many problem. To address this problem, we present the Period Singer architecture, which integrates variational autoencoders for the periodic and aperiodic components. Additionally, our methodology eliminates the dependency on an external aligner by estimating the phoneme alignment through a monotonic alignment search within note boundaries. Our empirical evaluations show that Period Singer outperforms existing end-to-end SVS models on Mandarin and Korean datasets. The efficacy of the proposed method was further corroborated by ablation studies.


title: Lasso Multinomial Performance Indicators for in-play Basketball Data

abstract: A typical approach to quantify the contribution of each player in basketball uses the plus/minus approach. Such plus/minus ratings are estimated using simple regression models and their regularised variants with response variable either the points scored or the point differences. To capture more precisely the effect of each player and the combined effects of specific lineups, more detailed possession-based play-by-play data are needed. This is the direction we take in this article, in which we investigate the performance of regularized adjusted plus/minus (RAPM) indicators estimated by different regularized models having as a response the number of points scored in each possession. Therefore, we use possession play-by-play data from all NBA games for the season 2021-22 (322,852 possessions). We initially present simple regression model-based indices starting from the implementation of ridge regression which is the standard technique in the relevant literature. We proceed with the lasso approach which has specific advantages and better performance than ridge regression when compared with selected objective validation criteria. Then, we implement regularized binary and multinomial logistic regression models to obtain more accurate performance indicators since the response is a discrete variable taking values mainly from zero to three. Our final proposal is an improved RAPM measure which is based on the expected points of a multinomial logistic regression model where each player's contribution is weighted by his participation in the team's possessions. The proposed indicator, called weighted expected points (wEPTS), outperforms all other RAPM measures we investigate in this study.


title: Exploring the Benefits of Vision Foundation Models for Unsupervised Domain Adaptation

abstract: Achieving robust generalization across diverse data domains remains a significant challenge in computer vision. This challenge is important in safety-critical applications, where deep-neural-network-based systems must perform reliably under various environmental conditions not seen during training. Our study investigates whether the generalization capabilities of Vision Foundation Models (VFMs) and Unsupervised Domain Adaptation (UDA) methods for the semantic segmentation task are complementary. Results show that combining VFMs with UDA has two main benefits: (a) it allows for better UDA performance while maintaining the out-of-distribution performance of VFMs, and (b) it makes certain time-consuming UDA components redundant, thus enabling significant inference speedups. Specifically, with equivalent model sizes, the resulting VFM-UDA method achieves an 8.4$\times$ speed increase over the prior non-VFM state of the art, while also improving performance by +1.2 mIoU in the UDA setting and by +6.1 mIoU in terms of out-of-distribution generalization. Moreover, when we use a VFM with 3.6$\times$ more parameters, the VFM-UDA approach maintains a 3.3$\times$ speed up, while improving the UDA performance by +3.1 mIoU and the out-of-distribution performance by +10.3 mIoU. These results underscore the significant benefits of combining VFMs with UDA, setting new standards and baselines for Unsupervised Domain Adaptation in semantic segmentation.


title: 3D-RPE: Enhancing Long-Context Modeling Through 3D Rotary Position Encoding

abstract: Inspired by the Bloch Sphere representation, we propose a novel rotary position encoding on a three-dimensional sphere, named 3D Rotary Position Encoding (3D-RPE). 3D-RPE is an advanced version of the widely used 2D Rotary Position Encoding (RoPE), with two major advantages for modeling long contexts: controllable long-term decay and improved position resolution. For controllable long-term decay, 3D-RPE allows for the regulation of long-term decay within the chunk size, ensuring the modeling of relative positional information between tokens at a distant relative position. For enhanced position resolution, 3D-RPE can mitigate the degradation of position resolution caused by position interpolation on RoPE. We have conducted experiments on long-context Natural Language Understanding (NLU) and long-sequence Language Modeling (LM) tasks. From the experimental results, 3D-RPE achieved performance improvements over RoPE, especially in long-context NLU tasks.


title: Positive-Unlabelled Learning for Identifying New Candidate Dietary Restriction-related Genes among Ageing-related Genes

abstract: Dietary Restriction (DR) is one of the most popular anti-ageing interventions, prompting exhaustive research into genes associated with its mechanisms. Recently, Machine Learning (ML) has been explored to identify potential DR-related genes among ageing-related genes, aiming to minimize costly wet lab experiments needed to expand our knowledge on DR. However, to train a model from positive (DR-related) and negative (non-DR-related) examples, existing ML methods naively label genes without known DR relation as negative examples, assuming that lack of DR-related annotation for a gene represents evidence of absence of DR-relatedness, rather than absence of evidence; this hinders the reliability of the negative examples (non-DR-related genes) and the method's ability to identify novel DR-related genes. This work introduces a novel gene prioritization method based on the two-step Positive-Unlabelled (PU) Learning paradigm: using a similarity-based, KNN-inspired approach, our method first selects reliable negative examples among the genes without known DR associations. Then, these reliable negatives and all known positives are used to train a classifier that effectively differentiates DR-related and non-DR-related genes, which is finally employed to generate a more reliable ranking of promising genes for novel DR-relatedness. Our method significantly outperforms the existing state-of-the-art non-PU approach for DR-relatedness prediction in three relevant performance metrics. In addition, curation of existing literature finds support for the top-ranked candidate DR-related genes identified by our model.


title: Learning Solution-Aware Transformers for Efficiently Solving Quadratic Assignment Problem

abstract: Recently various optimization problems, such as Mixed Integer Linear Programming Problems (MILPs), have undergone comprehensive investigation, leveraging the capabilities of machine learning. This work focuses on learning-based solutions for efficiently solving the Quadratic Assignment Problem (QAPs), which stands as a formidable challenge in combinatorial optimization. While many instances of simpler problems admit fully polynomial-time approximate solution (FPTAS), QAP is shown to be strongly NP-hard. Even finding a FPTAS for QAP is difficult, in the sense that the existence of a FPTAS implies $P = NP$. Current research on QAPs suffer from limited scale and computational inefficiency. To attack the aforementioned issues, we here propose the first solution of its kind for QAP in the learn-to-improve category. This work encodes facility and location nodes separately, instead of forming computationally intensive association graphs prevalent in current approaches. This design choice enables scalability to larger problem sizes. Furthermore, a \textbf{S}olution \textbf{AW}are \textbf{T}ransformer (SAWT) architecture integrates the incumbent solution matrix with the attention score to effectively capture higher-order information of the QAPs. Our model's effectiveness is validated through extensive experiments on self-generated QAP instances of varying sizes and the QAPLIB benchmark.


title: GEB-1.3B: Open Lightweight Large Language Model

abstract: Recently developed large language models (LLMs) such as ChatGPT, Claude, and Llama have demonstrated impressive abilities, and even surpass human-level performance in several tasks. Despite their success, the resource-intensive demands of these models, requiring significant computational power for both training and inference, limit their deployment to high-performance servers. Additionally, the extensive calculation requirements of the models often lead to increased latency in response times. With the increasing need for LLMs to operate efficiently on CPUs, research about lightweight models that are optimized for CPU inference has emerged. In this work, we introduce GEB-1.3B, a lightweight LLM trained on 550 billion tokens in both Chinese and English languages. We employ novel training techniques, including ROPE, Group-Query-Attention, and FlashAttention-2, to accelerate training while maintaining model performance. Additionally, we fine-tune the model using 10 million samples of instruction data to enhance alignment. GEB-1.3B exhibits outstanding performance on general benchmarks such as MMLU, C-Eval, and CMMLU, outperforming comparative models such as MindLLM-1.3B and TinyLLaMA-1.1B. Notably, the FP32 version of GEB-1.3B achieves commendable inference times on CPUs, with ongoing efforts to further enhance speed through advanced quantization techniques. The release of GEB-1.3B as an open-source model marks a significant contribution to the development of lightweight LLMs, promising to foster further research and innovation in the field.


title: A penalty barrier framework for nonconvex constrained optimization

abstract: Focusing on minimization problems with structured objective function and smooth constraints, we present a flexible technique that combines the beneficial regularization effects of (exact) penalty and interior-point methods. Working in the fully nonconvex setting, a pure barrier approach requires careful steps when approaching the infeasible set, thus hindering convergence. We show how a tight integration with a penalty scheme overcomes such conservatism, does not require a strictly feasible starting point, and thus accommodates equality constraints. The crucial advancement that allows us to invoke generic (possibly accelerated) subsolvers is a marginalization step: amounting to a conjugacy operation, this step effectively merges (exact) penalty and barrier into a smooth, full domain functional object. When the penalty exactness takes effect, the generated subproblems do not suffer the ill-conditioning typical of penalty methods, nor do they exhibit the nonsmoothness of exact penalty terms. We provide a theoretical characterization of the algorithm and its asymptotic properties, deriving convergence results for fully nonconvex problems. Illustrative examples and numerical simulations demonstrate the wide range of problems our theory and algorithm are able to cover.


title: Flight-Scope: microscopy with microfluidics in microgravity

abstract: With the European Space Agency (ESA) and NASA working to return humans to the moon and onwards to Mars, it has never been more important to study the impact of altered gravity conditions on biological organisms. These include astronauts but also useful micro-organisms they may bring with them to produce food, medicine, and other useful compounds by synthetic biology. Parabolic flights are one of the most accessible microgravity research platforms but present their own challenges: relatively short periods of altered gravity (~20s) and aircraft vibration. Live-imaging is necessary in these altered-gravity conditions to readout any real-time phenotypes. Here we present Flight-Scope, a new microscopy and microfluidics platform to study dynamic cellular processes during the short, altered gravity periods on parabolic flights. We demonstrated Flight-Scopes capability by performing live and dynamic imaging of fluorescent glucose uptake by yeast, S. cerevisiae, on board an ESA parabolic flight. Flight-Scope operated well in this challenging environment, opening the way for future microgravity experiments on biological organisms.


title: Asymptotic quadratic convergence of the Gauss-Newton method for complex phase retrieval

abstract: In this paper, we introduce a Gauss-Newton method for solving the complex phase retrieval problem. In contrast to the real-valued setting, the Gauss-Newton matrix for complex-valued signals is rank-deficient and, thus, non-invertible. To address this, we utilize a Gauss-Newton step that moves orthogonally to certain trivial directions. We establish that this modified Gauss-Newton step has a closed-form solution, which corresponds precisely to the minimal-norm solution of the associated least squares problem. Additionally, using the leave-one-out technique, we demonstrate that $m\ge O( n\log^3 n)$ independent complex Gaussian random measurements ensures that the entire trajectory of the Gauss-Newton iterations remains confined within a specific region of incoherence and contraction with high probability. This finding allows us to establish the asymptotic quadratic convergence rate of the Gauss-Newton method without the need of sample splitting.


title: QQQ: Quality Quattuor-Bit Quantization for Large Language Models

abstract: Quantization is a proven effective method for compressing large language models. Although popular techniques like W8A8 and W4A16 effectively maintain model performance, they often fail to concurrently speed up the prefill and decoding stages of inference. W4A8 is a promising strategy to accelerate both of them while usually leads to a significant performance degradation. To address these issues, we present QQQ, a Quality Quattuor-bit Quantization method with 4-bit weights and 8-bit activations. QQQ employs adaptive smoothing and Hessian-based compensation, significantly enhancing the performance of quantized models without extensive training. Furthermore, we meticulously engineer W4A8 GEMM kernels to increase inference speed. Our specialized per-channel W4A8 GEMM and per-group W4A8 GEMM achieve impressive speed increases of 3.67$\times$ and 3.29 $\times$ over FP16 GEMM. Our extensive experiments show that QQQ achieves performance on par with existing state-of-the-art LLM quantization methods while significantly accelerating inference, achieving speed boosts up to 2.24 $\times$, 2.10$\times$, and 1.25$\times$ compared to FP16, W8A8, and W4A16, respectively.


title: Nymeria: A Massive Collection of Multimodal Egocentric Daily Motion in the Wild

abstract: We introduce Nymeria - a large-scale, diverse, richly annotated human motion dataset collected in the wild with multiple multimodal egocentric devices. The dataset comes with a) full-body 3D motion ground truth; b) egocentric multimodal recordings from Project Aria devices with RGB, grayscale, eye-tracking cameras, IMUs, magnetometer, barometer, and microphones; and c) an additional "observer" device providing a third-person viewpoint. We compute world-aligned 6DoF transformations for all sensors, across devices and capture sessions. The dataset also provides 3D scene point clouds and calibrated gaze estimation. We derive a protocol to annotate hierarchical language descriptions of in-context human motion, from fine-grain pose narrations, to atomic actions and activity summarization. To the best of our knowledge, the Nymeria dataset is the world largest in-the-wild collection of human motion with natural and diverse activities; first of its kind to provide synchronized and localized multi-device multimodal egocentric data; and the world largest dataset with motion-language descriptions. It contains 1200 recordings of 300 hours of daily activities from 264 participants across 50 locations, travelling a total of 399Km. The motion-language descriptions provide 310.5K sentences in 8.64M words from a vocabulary size of 6545. To demonstrate the potential of the dataset we define key research tasks for egocentric body tracking, motion synthesis, and action recognition and evaluate several state-of-the-art baseline algorithms. Data and code will be open-sourced.


title: Label-Efficient Semantic Segmentation of LiDAR Point Clouds in Adverse Weather Conditions

abstract: Adverse weather conditions can severely affect the performance of LiDAR sensors by introducing unwanted noise in the measurements. Therefore, differentiating between noise and valid points is crucial for the reliable use of these sensors. Current approaches for detecting adverse weather points require large amounts of labeled data, which can be difficult and expensive to obtain. This paper proposes a label-efficient approach to segment LiDAR point clouds in adverse weather. We develop a framework that uses few-shot semantic segmentation to learn to segment adverse weather points from only a few labeled examples. Then, we use a semi-supervised learning approach to generate pseudo-labels for unlabelled point clouds, significantly increasing the amount of training data without requiring any additional labeling. We also integrate good weather data in our training pipeline, allowing for high performance in both good and adverse weather conditions. Results on real and synthetic datasets show that our method performs well in detecting snow, fog, and spray. Furthermore, we achieve competitive performance against fully supervised methods while using only a fraction of labeled data.


title: Balance with Memory in Signed Networks via Mittag-Leffler Matrix Functions

abstract: Structural balance is an important characteristic of graphs/networks where edges can be positive or negative, with direct impact on the study of real-world complex systems. When a network is not structurally balanced, it is important to know how much balance still exists in it. Although several measures have been proposed to characterize the degree of balance, the use of matrix functions of the signed adjacency matrix emerges as a very promising area of research. Here, we take a step forward to using Mittag-Leffler (ML) matrix functions to quantify the notion of balance of signed networks. We show that the ML balance index can be obtained from first principles on the basis of a nonconservative diffusion dynamic, and that it accounts for the memory of the system about the past, by diminishing the penalization that long cycles typically receive in other matrix functions. Finally, we demonstrate the important information in the ML balance index with both artificial signed networks and real-world networks in various contexts, ranging from biological and ecological to social ones.


title: What Does Softmax Probability Tell Us about Classifiers Ranking Across Diverse Test Conditions?

abstract: This work aims to develop a measure that can accurately rank the performance of various classifiers when they are tested on unlabeled data from out-of-distribution (OOD) distributions. We commence by demonstrating that conventional uncertainty metrics, notably the maximum Softmax prediction probability, possess inherent utility in forecasting model generalization across certain OOD contexts. Building on this insight, we introduce a new measure called Softmax Correlation (SoftmaxCorr). It calculates the cosine similarity between a class-class correlation matrix, constructed from Softmax output vectors across an unlabeled test dataset, and a predefined reference matrix that embodies ideal class correlations. A high resemblance of predictions to the reference matrix signals that the model delivers confident and uniform predictions across all categories, reflecting minimal uncertainty and confusion. Through rigorous evaluation across a suite of datasets, including ImageNet, CIFAR-10, and WILDS, we affirm the predictive validity of SoftmaxCorr in accurately forecasting model performance within both in-distribution (ID) and OOD settings. Furthermore, we discuss the limitations of our proposed measure and suggest avenues for future research.


title: On Bourgain's approach to stochastic homogenization

abstract: In 2018, Bourgain pioneered a novel perturbative harmonic-analytic approach to the stochastic homogenization theory of discrete elliptic equations with weakly random i.i.d. coefficients. The approach was subsequently refined to show that homogenized approximations of ensemble averages can be derived to a precision four times better than almost sure homogenized approximations, which was unexpected by the state-of-the-art homogenization theory. In this paper, we grow this budding theory in various directions: First, we prove that the approach is robust by extending it to the continuum setting with exponentially mixing random coefficients. Second, we give a new proof via Malliavin calculus in the case of Gaussian coefficients, which avoids the main technicality of Bourgain's original approach. This new proof also applies to strong Gaussian correlations with power-law decay. Third, we extend Bourgain's approach to the study of fluctuations by constructing weak correctors up to order $2d$, which also clarifies the link between Bourgain's approach and the standard corrector approach to homogenization. Finally, we draw several consequences from those different results, both for quantitative homogenization of ensemble averages and for asymptotic expansions of the annealed Green's function.


title: Theories for charge-driven nematicity in kagome metals

abstract: Starting from a low-energy model for the band dispersion of the $2 \times 2$ charge-ordered phase of the kagome metals $A$V$_3$Sb$_5$ ($A=$ K, Rb, Cs), we show that nematicity can develop in this state driven either by $4 \times 4$ charge fluctuations preemptive of a $1 \times 4$ charge order (CO), or by an actual zero momentum $d$-wave charge Pomeranchuk instability (PI). We perform an analysis that starts from a Kohn-Luttinger theory in the particle-hole sector, which allows us to establish a criterion for the development of an attractive nematic channel near the onset of the $1 \times 4$ CO and near the $d$-wave charge PI, respectively. We derive an effective charge-fermion model for the $d$-wave PI with a nematic susceptibility given via a random phase approximation (RPA) summation. By contrast, for the finite momentum CO, the RPA scheme breaks down and needs to be improved upon by including Aslamazov-Larkin contributions to the nematic pairing vertex. We then move to the derivation of the Ginzburg-Landau potentials for the $4 \times 4$ CO and for the $d$-wave PI, and we obtain the corresponding expression for the nematic susceptibility at the nematic transition temperature T $ \sim \text{T}_\text{nem}$ in both cases. Our work establishes a relation between the nematicity observed in some of the iron-based superconductors, where the nematic phase might be driven by spin fluctuations, and the vanadium-based kagome metals, where charge fluctuations likely induce nematicity. The two microscopic mechanisms we propose for the stabilization of the nematic state in $A$V$_3$Sb$_5$ are distinguishable by diffusive scattering experiments, meaning that it is possible to gauge which of the two theories, if any, is the most likely to describe this phase. Both mechanisms might also be relevant for the recently discovered titanium-based family $A$Ti$_3$Sb$_5$.


title: Metallicity relations in LMC and SMC from the slope of Red Giant Branch stars in globular clusters

abstract: Red giants are an excellent tool for probing the history of star formation and subsequent metallicity evolution in the galaxies. The well-defined red giant branch (RGB) stars of the globular clusters can be used to determine their slopes and to calibrate the RGB slope parameters, age, and metallicity relations. We obtained deep near-IR $JHK$ stellar photometry of 23 LMC/SMC globular clusters. The cluster sample covers a wide range in metallicities $(-1.76<{\rm [Fe/H]}<-0.32)$ and ages $(0.6\,{\rm Gyr}<t<14\,{\rm Gyr})$. The slope of the RGBs of each cluster was calculated and used to derive the relations between slope-age-metallicity. We have found that the RGB slope do not shows any statistically significant age dependence. The young and old clusters are found to be distributed differently in RGB slope-metallicity space, and the younger populations show a slightly less steep RGB slope dependence than the whole cluster sample. The population of the younger clusters shows a negative slope, whereas the older clusters show a positive slope.


title: Proper good quotients for $\mathbf{G}_m$-actions

abstract: We give an algebraic proof of a result, due to Bialynicki-Birula and Sommese, characterizing the invariant open subsets of a normal proper variety equipped with a $\mathbf{G}_m$-action that admit a proper good quotient. A major ingredient is the existence result for moduli spaces of algebraic stacks due to Alper, Halpern-Leistner and Heinloth.