title: Compton Scattering on 4He with Nuclear One- and Two-Body Densities

abstract: We present the first \emph{ab initio} calculation of elastic Compton scattering from 4He. It is carried out to $\mathcal{O}(e^2 \delta^3)$ [N3LO] in the $\delta$ expansion of $\chi$EFT. At this order and for this target, the only free parameters are the scalar-isoscalar electric and magnetic dipole polarisabilities of the nucleon. Adopting current values for these yields a parameter-free prediction. This compares favourably with the world data from HI$\gamma$S, Illinois and Lund for photon energies $50\;\mathrm{MeV}\lesssim\omega\lesssim120\;\mathrm{MeV}$ within our theoretical uncertainties of $\pm10\%$. We predict a cross section up to 7 times that for deuterium. As in 3He, this emphasises and tests the key role of meson-exchange currents between np pairs in Compton scattering on light nuclei. We assess the sensitivity of the cross section and beam asymmetry to the nucleon polarisabilities, providing clear guidance to future experiments seeking to further constrain them. The calculation becomes tractable by use of the Transition Density Method. The one- and two-body densities generated from 5 chiral potentials and the AV18$+$UIX potential are available using the python package provided at \url{https://pypi.org/project/nucdens/}.


title: Kudla Millson lift of toric cycles and restriction of Hilbert modular forms

abstract: Let $V$ be quadratic space of even dimension and of signature $(p, q)$ with $p \geq q > 0$. We show that the Kudla-Millson lift of toric cycles - attached to algebraic tori - is a cusp form that is the diagonal restriction of a Hilbert modular form of parallel weight one. We deduce a formula relating the dimension of the span of such diagonal restrictions and the dimension of the span of toric and special cycles.


title: Spatial Distribution of Data Capacity for the Reduction of Number of Repeaters in Ultra Long-Haul Links

abstract: We present a novel method to reduce the number of repeaters and amplifiers in trans-oceanic links by distributing a given data capacity in spatial channels. We analytically, numerically and experimentally demonstrate the principle and show that about 40% of the repeaters can be omitted compared to a recently deployed cable. The method predicts that a single-fiber transmission link with 50 km amplifier spacing would be better off, repeater-wise, if the targeted single-fiber capacity is distributed in two fibers, each with an amplifier spacing of 150 km. In this scenario, one would thus only require 2/3 of the original number of amplifiers, and only 1/3 of the number of repeaters, housing the amplifiers. To test the principle of the proposed method, we experimentally and numerically investigate a 6900-km long link with amplifier spacing of 50 and 150 km using a recirculating fiber transmission loop,and find that the result supports the analytical model and thus the proposed method. We then use this concept to analytically investigate a realistic 12-fiber pair cable, and find that the same capacity could be distributed in 16 fiber pairs requiring only about 60% of the original number of repeaters.


title: The Sherali-Adams and Weisfeiler-Leman hierarchies in (Promise Valued) Constraint Satisfaction Problems

abstract: In this paper we study the interactions between so-called fractional relaxations of the integer programs (IPs) which encode homomorphism and isomorphism of relational structures. We give a combinatorial characterization of a certain natural linear programming (LP) relaxation of homomorphism in terms of fractional isomorphism. As a result, we show that the families of constraint satisfaction problems (CSPs) that are solvable by such linear program are precisely those that are closed under an equivalence relation which we call Weisfeiler-Leman invariance. We also generalize this result to the much broader framework of Promise Valued Constraint Satisfaction Problems, which brings together two well-studied extensions of the CSP framework. Finally, we consider the hierarchies of increasingly tighter relaxations of the homomorphism and isomorphism IPs obtained by applying the Sherali-Adams and Weisfeiler-Leman methods respectively. We extend our combinatorial characterization of the basic LP to higher levels of the Sherali-Adams hierarchy, and we generalize a well-known logical characterization of the Weisfeiler-Leman test from graphs to relational structures.


title: The fate of optical excitons in FAPbI3 nanocube superlattices

abstract: Understanding the nature of the photoexcitation and ultrafast charge dynamics pathways in organic halide perovskite superlattices is key for their potential applications as tunable light emitters, photon harvesting materials and light-amplification systems. In this work we apply two-dimensional coherent electronic spectroscopy (2DES) to track in real time the formation of near-infrared optical excitons and their ultrafast decay into bi-excitons in CH(NH2)2PbI3 nanocube superlattices. On the picosecond timescale, the strong coupling between localized charges and specific lattice distortions leads to the progressive formation of long-lived localized trap states. The analysis of the temperature dependence of the excitonic intrinsic linewidth, as extracted by the anti-diagonal components of the 2D spectra, unveils a dramatic change of the excitonic coherence time across the cubic to tetragonal structural transition. Our results offer a new way to control and enhance the ultrafast coherent dynamics of photocarrier generation in hybrid halide perovskite synthetic solids.


title: Multiple intermediate phases in the interpolating Aubry-Andr\'{e}-Fibonacci model

abstract: We investigate a generalized interpolating Aubry-Andr\'{e}-Fibonacci (IAAF) model with p-wave superconducting pairing. In the Aubry-Andr\'{e} limit, we demonstrate that the system experiences transitions from a pure phase, either extended or critical, to a variety of intermediate phases and ultimately enters a localized phase with increasing potential strength. These intermediate phases include those with coexisting extended and localized states, extended and critical states, localized and critical states and a mix of extended, critical and localized states. Each intermediate phase exhibits at least one type of mobility edge separating different states. As the system approaches the Fibonacci limit, both the extended and localized phases diminish, and the system tends towards a critical phase.


title: A Framework of Data Assimilation for Wind Flow Fields by Physics-informed Neural Networks

abstract: Various types of measurement techniques, such as Light Detection and Ranging (LiDAR) devices, anemometers, and wind vanes, are extensively utilized in wind energy to characterize the inflow. However, these methods typically gather data at limited points within local wind fields, capturing only a fraction of the wind field's characteristics at wind turbine sites, thus hindering detailed wind field analysis. This study introduces a framework using Physics-informed Neural Networks to assimilate diverse sensor data types. This includes line-of-sight wind speed, velocity magnitude and direction, velocity components, and pressure. Moreover, the parameterized Navier-Stokes equations are integrated as physical constraints, ensuring that the neural networks accurately represent atmospheric flow dynamics. The framework accounts for the turbulent nature of atmospheric boundary layer flow by including artificial eddy viscosity in the network outputs, enhancing the model's ability to learn and accurately depict large-scale flow structures. The reconstructed flow field and the effective wind speed are in good agreement with the actual data. Furthermore, a transfer learning strategy is employed for the online deployment of pre-trained PINN, which requires less time than that of the actual physical flow. This capability allows the framework to reconstruct wind flow fields in real time based on live data. In the demo cases, the maximum error between the effective wind speed reconstructed online and the actual value at the wind turbine site is only 3.7%. The proposed data assimilation framework provides a universal tool for reconstructing spatiotemporal wind flow fields using various measurement data. Additionally, it presents a viable approach for the online assimilation of real-time measurements. To facilitate the utilization of wind energy, our framework's source code is openly accessible.


title: Isolated and group environment dependence of stellar mass and different star formation rates

abstract: In this study, we explored the impact of isolated and group environments on stellar mass, star formation rate (SFR), and specific star formation rate (SSFR, i.e., the rate of star formation per unit stellar mass) using the galaxy dataset from the Sloan Digital Sky Survey Data Release 12 (SDSS DR12) for $z\lesssim0.2$. To mitigate the Malmquist bias, we partitioned the entire dataset into fifteen subsamples with a redshift bin size of $\Delta z = 0.01$ and examined the environmental dependencies of these properties within each redshift bin. A strong correlation between environment, stellar mass, SFR, and SSFR was observed across nearly all redshift bins. In the lower redshift bins $(z<0.1)$, the proportion of galaxies within the isolated environment exceeded that within the group environment. On the other hand, in the higher redshift bins $(z\geq 0.12)$, the isolated environment's galaxy fraction is found to be lower than that of the group environment. For the intermediate redshift bins $(0.1 \leq z < 0.12)$, an approximately equal proportion of galaxies is observed in both isolated and group environments.


title: Characterization of the BOLDPET optical prototype, an innovative Cherenkov detector for 511 keV $\gamma$ radiation

abstract: In the present work we describe the design, construction, and testing of the optical prototype developed for the BOLDPET project, with the objective of creating a PET detection module with high spatial and time resolution. The BOLDPET technology uses an innovative detection liquid, trimethylbismuth, for detecting 511 keV $\gamma$-quanta resulting from positron annihilation. The optical signal is exclusively produced through the Cherenkov mechanism, and the produced photons are detected using Planacon microchannel-plate photomultiplier. We achieve an excellent time resolution of 150 ps (FWHM) within a sizable detection volume measuring 55 mm x 55 mm x 25 mm. Through detailed Geant4 simulations, we examine the limiting factors affecting time resolution and explore potential avenues for improvement. Furthermore, we demonstrate the feasibility of coarse 2D localization of interactions using the optical signal alone, achieving a precision of about 5-8 mm (FWHM) within the homogeneous detection volume.


title: Profiles of static liquid-gas interfaces in axisymmetrical containers under different accelerations

abstract: Second order perturbation solutions of profiles of bubbles suspended in liquid and liquid gas interfaces when liquid all sinks in the bottom under different accelerations are derived. Six procedures are developed based on these solutions, and they are divided into two types. One takes coordinates of endpoints of profiles as inputs, and the other takes liquid volume or gas volume as inputs. Numerical simulation are performed with the Volume of Fluid method and numerical results are in good agreement with predictions of these procedures. Besides, the bigger the acceleration, the more flatter the bubble will be until all liquid sinks to the bottom. Effects of accelerations on bubbles shape must be considered. When liquid all sinks to the bottom, predictions of liquid volume with the same liquid meniscus height as inputs differs a lot under different accelerations. The most significant change of liquid volume is when Bond is much smaller than 1. Effects of accelerations and liquid contact angle on liquid gas interfaces must be considered during evaluating liquid residue, and these findings will be great helpful for liquid residue measurement and fine management in space.


title: SAL-PIM: A Subarray-level Processing-in-Memory Architecture with LUT-based Linear Interpolation for Transformer-based Text Generation

abstract: Text generation is a compelling sub-field of natural language processing, aiming to generate human-readable text from input words. In particular, the decoder-only generative models, such as generative pre-trained transformer (GPT), are widely used for text generation, with two major computational stages: summarization and generation. Unlike the summarization stage, which can process the input tokens in parallel, the generation stage is difficult to accelerate due to its sequential generation of output tokens through iteration. Moreover, each iteration requires reading a whole model with little data reuse opportunity. Therefore, the workload of transformer-based text generation is severely memory-bound, making the external memory bandwidth system bottleneck. In this paper, we proposed a subarray-level processing-in-memory architecture named SAL-PIM, HBM-based PIM architecture for the end-to-end acceleration of transformer-based text generation. The SAL-PIM architecture includes three architectural features. First, the SAL-PIM architecture utilizes higher internal bandwidth by integrating multiple subarray-level arithmetic logic units with optimized data mapping schemes. Second, the SAL-PIM architecture adopts LUT-based linear interpolation to perform complex non-linear functions in PIM. Third, the SAL-PIM architecture accelerates end-to-end inference on PIM in text generation. Furthermore, to validate the SAL-PIM architecture, we built cycle-accurate simulator and implemented the SAL-PIM's logic units in 28-nm CMOS technology. As a result, when the input size is from 32 to 128 and the output size is from 1 to 256, SAL-PIM achieves a maximum of 4.72 times speedup and an average of 1.83 times speedup for the text generation based on the GPT-2 medium model compared to the server-level GPU.


title: Classical certification of quantum gates under the dimension assumption

abstract: We develop an efficient method for certifying single-qubit quantum gates in a black-box scenario, assuming only the dimension of the quantum system is known. The method is based on testing the outcomes of exact quantum computations on a single qubit, with no auxiliary systems required. We prove that the method's sample complexity grows as $\mathrm{O}(\varepsilon^{-1})$ with respect to the average gate infidelity $\varepsilon$ for the certification of a relevant single-qubit gate, which experimentally corresponds to a $\pi/2$-pulse. Furthermore, we show that the proposed method can be used to certify a gate set universal for single-qubit quantum computation. Our approach takes a first step in bridging the gap between strong notions of certification from self-testing and practically highly relevant approaches from quantum system characterization.


title: Asymmetric pulse effects on pair production in chirped electric fields

abstract: We investigate the effects of the asymmetric pulse shapes on electron-positron pair production in three distinct fields: chirp-free, small frequency chirp, and large frequency chirp fields via the real-time Dirac-Heisenberg-Wigner formalism. Our findings reveal the disappearance of interference effects with shorter falling pulse length, and the peak is concentrated on the left side of the momentum spectrum. As the falling pulse length extends, an incomplete multi-ring structure appears in the momentum spectrum. The number density of particles are very sensitive to the asymmetry of the pulse. With a long falling pulse, the number density can be significantly enhanced by over four orders of magnitude when certain frequency chirps are utilized. These results highlight the impact of the effective dynamically assisted mechanism and the frequency chirp on pair creation.


title: A Unified Three-State Model Framework for Analysis of Treatment Crossover in Survival Trials

abstract: We present a unified three-state model (TSM) framework for evaluating treatment effects in clinical trials in the presence of treatment crossover. Researchers have proposed diverse methodologies to estimate the treatment effect that would have hypothetically been observed if treatment crossover had not occurred. However, there is little work on understanding the connections between these different approaches from a statistical point of view. Our proposed TSM framework unifies existing methods, effectively identifying potential biases, model assumptions, and inherent limitations for each method. This can guide researchers in understanding when these methods are appropriate and choosing a suitable approach for their data. The TSM framework also facilitates the creation of new methods to adjust for confounding effects from treatment crossover. To illustrate this capability, we introduce a new imputation method that falls under its scope. Using a piecewise constant prior for the hazard, our proposed method directly estimates the hazard function with increased flexibility. Through simulation experiments, we demonstrate the performance of different approaches for estimating the treatment effects.


title: Quantum Transfer Learning with Adversarial Robustness for Classification of High-Resolution Image Datasets

abstract: The application of quantum machine learning to large-scale high-resolution image datasets is not yet possible due to the limited number of qubits and relatively high level of noise in the current generation of quantum devices. In this work, we address this challenge by proposing a quantum transfer learning (QTL) architecture that integrates quantum variational circuits with a classical machine learning network pre-trained on ImageNet dataset. Through a systematic set of simulations over a variety of image datasets such as Ants & Bees, CIFAR-10, and Road Sign Detection, we demonstrate the superior performance of our QTL approach over classical and quantum machine learning without involving transfer learning. Furthermore, we evaluate the adversarial robustness of QTL architecture with and without adversarial training, confirming that our QTL method is adversarially robust against data manipulation attacks and outperforms classical methods.


title: Finetuning Large Language Models for Vulnerability Detection

abstract: This paper presents the results of finetuning large language models (LLMs) for the task of detecting vulnerabilities in source code. We leverage WizardCoder, a recent improvement of the state-of-the-art LLM StarCoder, and adapt it for vulnerability detection through further finetuning. To accelerate training, we modify WizardCoder's training procedure, also we investigate optimal training regimes. For the imbalanced dataset with many more negative examples than positive, we also explore different techniques to improve classification performance. The finetuned WizardCoder model achieves improvement in ROC AUC and F1 measures on balanced and imbalanced vulnerability datasets over CodeBERT-like model, demonstrating the effectiveness of adapting pretrained LLMs for vulnerability detection in source code. The key contributions are finetuning the state-of-the-art code LLM, WizardCoder, increasing its training speed without the performance harm, optimizing the training procedure and regimes, handling class imbalance, and improving performance on difficult vulnerability detection datasets. This demonstrates the potential for transfer learning by finetuning large pretrained language models for specialized source code analysis tasks.


title: Age of Actuated Information and Age of Actuation in a Data-Caching Energy Harvesting Actuator

abstract: In this paper, we introduce two metrics, namely, age of actuation (AoA) and age of actuated information (AoAI), within a discrete-time system model that integrates data caching and energy harvesting (EH). AoA evaluates the timeliness of actions irrespective of the age of the information, while AoAI considers the freshness of the utilized data packet. We use Markov Chain analysis to model the system's evolution. Furthermore, we employ three-dimensional Markov Chain analysis to characterize the stationary distributions for AoA and AoAI and calculate their average values. Our findings from the analysis, validated by simulations, show that while AoAI consistently decreases with increased data and energy packet arrival rates, AoA presents a more complex behavior, with potential increases under conditions of limited data or energy resources. These metrics go towards the semantics of information and goal-oriented communications since they consider the timeliness of utilizing the information to perform an action.


title: On the Algorithmic Verification of Nonlinear Superposition for Systems of First Order Ordinary Differential Equations

abstract: This paper belongs to a group of work in the intersection of symbolic computation and group analysis aiming for the symbolic analysis of differential equations. The goal is to extract important properties without finding the explicit general solution. In this contribution, we introduce the algorithmic verification of nonlinear superposition properties and its implementation. More exactly, for a system of nonlinear ordinary differential equations of first order with a polynomial right-hand side, we check if the differential system admits a general solution by means of a superposition rule and a certain number of particular solutions. It is based on the theory of Newton polytopes and associated symbolic computation. The developed method provides the basis for the identification of nonlinear superpositions within a given system and for the construction of numerical methods which preserve important algebraic properties at the numerical level.


title: Evaluation of Out-of-Distribution Detection Performance on Autonomous Driving Datasets

abstract: Safety measures need to be systemically investigated to what extent they evaluate the intended performance of Deep Neural Networks (DNNs) for critical applications. Due to a lack of verification methods for high-dimensional DNNs, a trade-off is needed between accepted performance and handling of out-of-distribution (OOD) samples. This work evaluates rejecting outputs from semantic segmentation DNNs by applying a Mahalanobis distance (MD) based on the most probable class-conditional Gaussian distribution for the predicted class as an OOD score. The evaluation follows three DNNs trained on the Cityscapes dataset and tested on four automotive datasets and finds that classification risk can drastically be reduced at the cost of pixel coverage, even when applied on unseen datasets. The applicability of our findings will support legitimizing safety measures and motivate their usage when arguing for safe usage of DNNs in automotive perception.


title: Near-Field Fading Channel Modeling for ELAAs: From Communication to ISAC

abstract: Extremely large aperture array (ELAA) is anticipated to serve as a pivotal feature of future multiple-input multiple-output (MIMO) systems in 6G. Near-field (NF) fading channel models are essential for reliable link-level simulation and ELAA system design. In this article, we propose a framework designed to generate NF fading channels for both communication and integrated sensing and communication (ISAC) applications. The framework allows a mixed of line of sight (LoS) and non-LoS (NLoS) links. It also considers spherical wave model and spatially non-stationary shadow fading. Based on this framework, we propose a three-dimensional (3D) fading channel model for ELAA systems deployed with a uniform rectangular array (URA). It can capture the impact of sensing object for ISAC applications. Moreover, all parameters involved in the framework are based on specifications or measurements from the 3rd Generation Partnership Project (3GPP) documents. Therefore, the proposed framework and channel model have the potential to contribute to the standard in various aspects, including ISAC, extra-large (XL-) MIMO, and reconfigurable intelligent surface (RIS) aided MIMO systems. Finally, future directions for ELAA are presented, including not only NF channel modeling but also the design of next-generation transceivers.


title: DeepH-2: Enhancing deep-learning electronic structure via an equivariant local-coordinate transformer

abstract: Deep-learning electronic structure calculations show great potential for revolutionizing the landscape of computational materials research. However, current neural-network architectures are not deemed suitable for widespread general-purpose application. Here we introduce a framework of equivariant local-coordinate transformer, designed to enhance the deep-learning density functional theory Hamiltonian referred to as DeepH-2. Unlike previous models such as DeepH and DeepH-E3, DeepH-2 seamlessly integrates the simplicity of local-coordinate transformations and the mathematical elegance of equivariant neural networks, effectively overcoming their respective disadvantages. Based on our comprehensive experiments, DeepH-2 demonstrates superiority over its predecessors in both efficiency and accuracy, showcasing state-of-the-art performance. This advancement opens up opportunities for exploring universal neural network models or even large materials models.


title: Coupling strongly correlated electron systems to a tunable electronic reservoir

abstract: We study the effect of coupling an electronic reservoir to a Hubbard model and to a Dimer Hubbard Model. This is motivated by recent experiments on the effect of illumination on the insulator-metal transition in a vanadium oxides and photo-conductive cadmium sulfide heterostructure. We model the system as an electronic reservoir hybridized to the correlated system. We assume that the light intensity controls the hybridization coupling strength. We find that the light intensity acts similarly as the temperature in the weak interaction regime. This is consistent with the role played by electronic reservoirs in out-of-equilibrium systems. In contrast, qualitative differences appear at strong coupling. We show that modeling the V$_2$O$_3$ compound with a Hubbard model, our results describe qualitatively well the observed illumination-driven suppression of the insulator-metal transition. In contrast, in the DHM results fail to capture the mild suppression observed in the case of VO$_2$. This indicates that the lattice may play an important role in this case.


abstract: We prove a synthetic Bonnet-Myers rigidity theorem for globally hyperbolic Lorentzian length spaces with global curvature bounded below by $K<0$ and an open distance realizer of length $L=\frac{\pi}{\sqrt{|K|}}$. In the course of the proof, we show that the space necessarily is a warped product with warping function $\cos:(-\frac{\pi}{2},\frac{\pi}{2})\to\mathbb{R}_+$.


abstract: Subgraph matching has garnered increasing attention for its diverse real-world applications. Given the dynamic nature of real-world graphs, addressing evolving scenarios without incurring prohibitive overheads has been a focus of research. However, existing approaches for dynamic subgraph matching often proceed serially, retrieving incremental matches for each updated edge individually. This approach falls short when handling batch data updates, leading to a decrease in system throughput. Leveraging the parallel processing power of GPUs, which can execute a massive number of cores simultaneously, has been widely recognized for performance acceleration in various domains. Surprisingly, systematic exploration of subgraph matching in the context of batch-dynamic graphs, particularly on a GPU platform, remains untouched. In this paper, we bridge this gap by introducing an efficient framework, GAMMA (GPU-Accelerated Batch-Dynamic Subgraph Matching). Our approach features a DFS-based warp-centric batch-dynamic subgraph matching algorithm. To ensure load balance in the DFS-based search, we propose warp-level work stealing via shared memory. Additionally, we introduce coalesced search to reduce redundant computations. Comprehensive experiments demonstrate the superior performance of GAMMA. Compared to state-of-the-art algorithms, GAMMA showcases a performance improvement up to hundreds of times.


title: Towards Generating Executable Metamorphic Relations Using Large Language Models

abstract: Metamorphic testing (MT) has proven to be a successful solution to automating testing and addressing the oracle problem. However, it entails manually deriving metamorphic relations (MRs) and converting them into an executable form; these steps are time-consuming and may prevent the adoption of MT. In this paper, we propose an approach for automatically deriving executable MRs (EMRs) from requirements using large language models (LLMs). Instead of merely asking the LLM to produce EMRs, our approach relies on a few-shot prompting strategy to instruct the LLM to perform activities in the MT process, by providing requirements and API specifications, as one would do with software engineers. To assess the feasibility of our approach, we conducted a questionnaire-based survey in collaboration with Siemens Industry Software, a worldwide leader in providing industry software and services, focusing on four of their software applications. Additionally, we evaluated the accuracy of the generated EMRs for a Web application. The outcomes of our study are highly promising, as they demonstrate the capability of our approach to generate MRs and EMRs that are both comprehensible and pertinent for testing purposes.


title: Terahertz crystal electric field transitions in a Kondo-lattice antiferromagnet

abstract: Hybridization between the localized f-electrons and the delocalized conduction electrons together with the crystal electric field (CEF) play a determinant role in governing the many-body ground state of a correlated-electron system. Here, we investigate the low-energy CEF states in CeAg_2Ge_2, a prototype Kondo-lattice antiferromagnet where Kondo correlation is found to exist within the antiferromagnetic phase. Using time-domain THz reflection spectroscopy, we show the first direct evidence of two low-energy CEF transitions at 0.6 THz (2.5 meV) and 2.1 THz (8.7 meV). The presence of low-frequency infrared-active phonon modes further manifests as a Fano-modified lineshape of the 2.1 THz CEF conductivity peak. The temporal spectral weights obtained directly from the THz time traces, in addition, corroborate the corresponding CEF temperature scales of the compound.


title: Classical Dynamical Symmetries and Geometry of Trajectories

abstract: It is shown that all spherical symmetric potentials are capable of producing dynamical symmetries in classical one-body motions, thanks to the inevitable existence of symmetry axes associated with turning points for corresponding trajectories. This will definitely expand the class of maximally superintegrable one-body motions in central potentials that until now was considered to include only the Newtonian and Hookean cases. A simple method is proposed to identify and characterize these dynamical symmetries.


title: Realization of fractional quantum Hall state with interacting photons

abstract: Fractional quantum Hall (FQH) states, known for their robust topological order and the emergence of non-Abelian anyons, have captured significant interest due to the appealing applications in fault-tolerant quantum computing. Bottom-up approach on an engineered quantum platform will provide opportunities to operate FQH states without external magnetic field and enhance local and coherent manipulation of these exotic states. Here we demonstrate a lattice version of photon FQH state using a programmable on-chip platform based on photon blockade and engineering gauge fields on a novel two-dimensional circuit quantum electrodynamics (QED) system. We first observe the effective photon Lorentz force and butterfly spectrum in the artificial gauge field, a prerequisite for FQH states. After adiabatic assembly of Laughlin FQH wavefunction of 1/2 filling factor from localized photons, we observe strong density correlation and chiral topological flow among the FQH photons. We then verify the unique features of FQH states in response to external fields, including the incompressibility of generating quasiparticles and the smoking-gun signature of fractional quantum Hall conductivity. Our work represents a significant advance in the bottom-up creation and manipulation of novel strongly correlated topological quantum matter composed of photons and opens up possibilities for fault-tolerant quantum information devices.


title: MF-MOS: A Motion-Focused Model for Moving Object Segmentation

abstract: Moving object segmentation (MOS) provides a reliable solution for detecting traffic participants and thus is of great interest in the autonomous driving field. Dynamic capture is always critical in the MOS problem. Previous methods capture motion features from the range images directly. Differently, we argue that the residual maps provide greater potential for motion information, while range images contain rich semantic guidance. Based on this intuition, we propose MF-MOS, a novel motion-focused model with a dual-branch structure for LiDAR moving object segmentation. Novelly, we decouple the spatial-temporal information by capturing the motion from residual maps and generating semantic features from range images, which are used as movable object guidance for the motion branch. Our straightforward yet distinctive solution can make the most use of both range images and residual maps, thus greatly improving the performance of the LiDAR-based MOS task. Remarkably, our MF-MOS achieved a leading IoU of 76.7% on the MOS leaderboard of the SemanticKITTI dataset upon submission, demonstrating the current state-of-the-art performance. The implementation of our MF-MOS has been released at https://github.com/SCNU-RISLAB/MF-MOS.


title: Prediction of ambient pressure superconductivity in cubic ternary hydrides with MH$_6$ octahedra

abstract: Exploring high-temperature superconducting (high-$T_c$) material at ambient pressure holds immense significance for physics, chemistry, and materials science. In this study, we perform a high-throughput screening of strong electron-phonon interactions in X$_2$MH$_6$ compounds (X = Li, Na, Mg, Al, K, Ca, Ga, Rb, Sr, and In; M are $3d$, $4d$, and $5d$ transition metals). These compounds have a cubic structure featuring an MH$_6$ octahedron motif. Our screening calculations suggest that 26 compounds exhibit dynamic stability and strong electron-phonon coupling. Among these 26 compounds, Mg$_2$RhH$_6$, Mg$_2$IrH$_6$, Al$_2$MnH$_6$, and Li$_2$CuH$_6$ show promising energetic stability and $T_c$ of more than 50 K at ambient pressure. This study underscores promising high-$T_c$ compounds at ambient pressure with distinctive MH$_6$ motifs.


title: Bayesian $\mathcal{F}$-statistic-based parameter estimation of continuous gravitational waves from known pulsars

abstract: We present a new method and implementation to obtain Bayesian posteriors on the amplitude parameters $\{h_0, \cos \iota, \psi, \phi_0\}$ of continuous-gravitational waves emitted by known pulsars. This approach leverages the well-established $\mathcal{F}$-statistic framework and software. We further explore the benefits of employing a likelihood function that is analytically marginalized over $\phi_0$, which avoids signal degeneracy problems in the $\psi$-$\phi_0$ subspace. The method is tested on simulated signals, hardware injections in Advanced-LIGO detector data, and by performing percentile-percentile (PP) self-consistency tests of the posteriors via Monte-Carlo simulations. We apply our methodology to PSR J1526-2744, a recently discovered millisecond pulsar. We find no evidence for a signal and obtain a Bayesian upper limit $h_0^{95\%}$ on the gravitational-wave amplitude of approximately $7 \times 10^{-27}$, comparable with a previous frequentist upper limit.


title: Static and Dynamic Synthesis of Bengali and Devanagari Signatures

abstract: Developing an automatic signature verification system is challenging and demands a large number of training samples. This is why synthetic handwriting generation is an emerging topic in document image analysis. Some handwriting synthesizers use the motor equivalence model, the well-established hypothesis from neuroscience, which analyses how a human being accomplishes movement. Specifically, a motor equivalence model divides human actions into two steps: 1) the effector independent step at cognitive level and 2) the effector dependent step at motor level. In fact, recent work reports the successful application to Western scripts of a handwriting synthesizer, based on this theory. This paper aims to adapt this scheme for the generation of synthetic signatures in two Indic scripts, Bengali (Bangla), and Devanagari (Hindi). For this purpose, we use two different online and offline databases for both Bengali and Devanagari signatures. This paper reports an effective synthesizer for static and dynamic signatures written in Devanagari or Bengali scripts. We obtain promising results with artificially generated signatures in terms of appearance and performance when we compare the results with those for real signatures.


title: Heterogeneous treatment effect estimation with subpopulation identification for personalized medicine in opioid use disorder

abstract: Deep learning models have demonstrated promising results in estimating treatment effects (TEE). However, most of them overlook the variations in treatment outcomes among subgroups with distinct characteristics. This limitation hinders their ability to provide accurate estimations and treatment recommendations for specific subgroups. In this study, we introduce a novel neural network-based framework, named SubgroupTE, which incorporates subgroup identification and treatment effect estimation. SubgroupTE identifies diverse subgroups and simultaneously estimates treatment effects for each subgroup, improving the treatment effect estimation by considering the heterogeneity of treatment responses. Comparative experiments on synthetic data show that SubgroupTE outperforms existing models in treatment effect estimation. Furthermore, experiments on a real-world dataset related to opioid use disorder (OUD) demonstrate the potential of our approach to enhance personalized treatment recommendations for OUD patients.


title: In situ measurement and control of the laser-induced strong field ionization phenomena

abstract: Accurately characterizing the intensity and duration of strong-field femtosecond pulses within the interaction volume is crucial for attosecond science. However, this remains a major bottleneck, limiting accuracy of the strong-field, and in particular, high harmonic generation experiments. We present a novel scheme for the in situ measurement and control of spatially resolved strong-field femtosecond pulse intensity and duration within the interaction focal region. Our approach combines conjugate focal imaging with in situ ion measurements using gas densities pertinent to attosecond science experiments. Independent measurements in helium and argon, accompanied by a fitting to a strong field ionization dynamic model, yield accurate and consistent results across a wide range of gas densities and underscores the significance of double ionization, as well as barrier suppression ionization. Direct spatially resolved characterization of the driving laser is a critical step towards resolving the averaging problem in the interaction volume, paving the way for more accurate and reliable attosecond experiments.


title: LADDER: Revisiting the Cosmic Distance Ladder with Deep Learning Approaches and Exploring its Applications

abstract: We investigate the prospect of reconstructing the ``cosmic distance ladder'' of the Universe using a novel deep learning framework called LADDER - Learning Algorithm for Deep Distance Estimation and Reconstruction. LADDER is trained on the apparent magnitude data from the Pantheon Type Ia supernovae compilation, incorporating the full covariance information among data points, to produce predictions along with corresponding errors. After employing several validation tests with a number of deep learning models, we pick LADDER as the best performing one. We then demonstrate applications of our method in the cosmological context, that include serving as a model-independent tool for consistency checks for other datasets like baryon acoustic oscillations, calibration of high-redshift datasets such as gamma ray bursts, use as a model-independent mock catalog generator for future probes, etc. Our analysis advocates for interesting yet cautious consideration of machine learning applications in these contexts.


title: On the existence of solutions to generalized Navier--Stokes--Fourier system with dissipative heating

abstract: We consider a flow of non-Newtonian incompressible heat conducting fluids with dissipative heating. Such system can be obtained by scaling the classical Navier--Stokes--Fourier problem. As one possible singular limit may be obtained the so-called Oberbeck--Boussinesq system. However, this model is not suitable for studying the systems with high temperature gradient. These systems are described in much better way by completing the Oberbeck--Boussinesq system by an additional dissipative heating. The satisfactory existence result for such system was however not available. In this paper we show the large-data and the long-time existence of dissipative and suitable weak solution. This is the starting point for further analysis of the stability properties of such problems.


title: Partial tidal disruptions of spinning eccentric white dwarfs by spinning intermediate mass black holes

abstract: Intermediate mass black holes (IMBHs, $\sim 10^2-10^5M_{\odot}$) are often dubbed as the missing link between stellar mass ($\lesssim 10^2M_{\odot}$) and super-massive ($\gtrsim 10^{5-6} M_{\odot}$) black holes. Observational signatures of these can result from tidal disruptions of white dwarfs (WDs), which would otherwise be captured as a whole by super-massive black holes. Recent observations indicate that IMBHs might be rapidly spinning, while it is also known that isolated white dwarfs might have large spins, with spin periods of the order of minutes. Here, we aim to understand the effects of ``coupling'' between black hole and stellar spin, focussing on the tidal disruption of spinning WDs in the background of spinning IMBHs. Using smoothed particle hydrodynamics, we perform a suite of numerical simulations of partial tidal disruptions, where spinning WDs are in eccentric orbits about spinning IMBHs. We take a hybrid approach, where we integrate the Kerr geodesic equations while being in a regime where we can treat the internal stellar fluid dynamics in the Newtonian limit. We observe strong dependence of quantities like the core mass and the mass differences between tidal tails on such coupled spin effects. However, observable quantities such as mass fallback rates and gravitational wave amplitudes show minimal variations with these, in the parameter range that we consider.


title: M2CURL: Sample-Efficient Multimodal Reinforcement Learning via Self-Supervised Representation Learning for Robotic Manipulation

abstract: One of the most critical aspects of multimodal Reinforcement Learning (RL) is the effective integration of different observation modalities. Having robust and accurate representations derived from these modalities is key to enhancing the robustness and sample efficiency of RL algorithms. However, learning representations in RL settings for visuotactile data poses significant challenges, particularly due to the high dimensionality of the data and the complexity involved in correlating visual and tactile inputs with the dynamic environment and task objectives. To address these challenges, we propose Multimodal Contrastive Unsupervised Reinforcement Learning (M2CURL). Our approach employs a novel multimodal self-supervised learning technique that learns efficient representations and contributes to faster convergence of RL algorithms. Our method is agnostic to the RL algorithm, thus enabling its integration with any available RL algorithm. We evaluate M2CURL on the Tactile Gym 2 simulator and we show that it significantly enhances the learning efficiency in different manipulation tasks. This is evidenced by faster convergence rates and higher cumulative rewards per episode, compared to standard RL algorithms without our representation learning approach.


title: Multilayer Graph Approach to Deep Subspace Clustering

abstract: Deep subspace clustering (DSC) networks based on self-expressive model learn representation matrix, often implemented in terms of fully connected network, in the embedded space. After the learning is finished, representation matrix is used by spectral clustering module to assign labels to clusters. However, such approach ignores complementary information that exist in other layers of the encoder (including the input data themselves). Herein, we apply selected linear subspace clustering algorithm to learn representation matrices from representations learned by all layers of encoder network including the input data. Afterward, we learn a multilayer graph that in a multi-view like manner integrates information from graph Laplacians of all used layers. That improves further performance of selected DSC network. Furthermore, we also provide formulation of our approach to cluster out-of-sample/test data points. We validate proposed approach on four well-known datasets with two DSC networks as baseline models. In almost all the cases, proposed approach achieved statistically significant improvement in three performance metrics. MATLAB code of proposed algorithm is posted on https://github.com/lovro-sinda/MLG-DSC.


title: Multiple equilibria in mean-field game models for large oligopolies with strategic complementarities

abstract: We consider continuous-time mean-field stochastic games with strategic complementarities. The interaction between the representative productive firm and the population of rivals comes through the price at which the produced good is sold and the intensity of interaction is measured by a so-called "strenght parameter" $\xi$. Via lattice-theoretic arguments we first prove existence of equilibria and provide comparative statics results when varying $\xi$. A careful numerical study based on iterative schemes converging to suitable maximal and minimal equilibria allows then to study in relevant financial examples how the emergence of multiple equilibria is related to the strenght of the strategic interaction.


title: Robust Kernel Sparse Subspace Clustering

abstract: Kernel methods are applied to many problems in pattern recognition, including subspace clustering (SC). That way, nonlinear problems in the input data space become linear in mapped high-dimensional feature space. Thereby, computationally tractable nonlinear algorithms are enabled through implicit mapping by the virtue of kernel trick. However, kernelization of linear algorithms is possible only if square of the Froebenious norm of the error term is used in related optimization problem. That, however, implies normal distribution of the error. That is not appropriate for non-Gaussian errors such as gross sparse corruptions that are modeled by -norm. Herein, to the best of our knowledge, we propose for the first time robust kernel sparse SC (RKSSC) algorithm for data with gross sparse corruptions. The concept, in principle, can be applied to other SC algorithms to achieve robustness to the presence of such type of corruption. We validated proposed approach on two well-known datasets with linear robust SSC algorithm as a baseline model. According to Wilcoxon test, clustering performance obtained by the RKSSC algorithm is statistically significantly better than corresponding performance obtained by the robust SSC algorithm. MATLAB code of proposed RKSSC algorithm is posted on https://github.com/ikopriva/RKSSC.


title: Intrinsic Data Constraints and Upper Bounds in Binary Classification Performance

abstract: The structure of data organization is widely recognized as having a substantial influence on the efficacy of machine learning algorithms, particularly in binary classification tasks. Our research provides a theoretical framework suggesting that the maximum potential of binary classifiers on a given dataset is primarily constrained by the inherent qualities of the data. Through both theoretical reasoning and empirical examination, we employed standard objective functions, evaluative metrics, and binary classifiers to arrive at two principal conclusions. Firstly, we show that the theoretical upper bound of binary classification performance on actual datasets can be theoretically attained. This upper boundary represents a calculable equilibrium between the learning loss and the metric of evaluation. Secondly, we have computed the precise upper bounds for three commonly used evaluation metrics, uncovering a fundamental uniformity with our overarching thesis: the upper bound is intricately linked to the dataset's characteristics, independent of the classifier in use. Additionally, our subsequent analysis uncovers a detailed relationship between the upper limit of performance and the level of class overlap within the binary classification data. This relationship is instrumental for pinpointing the most effective feature subsets for use in feature engineering.


title: Bayesian Optimization with Noise-Free Observations: Improved Regret Bounds via Random Exploration

abstract: This paper studies Bayesian optimization with noise-free observations. We introduce new algorithms rooted in scattered data approximation that rely on a random exploration step to ensure that the fill-distance of query points decays at a near-optimal rate. Our algorithms retain the ease of implementation of the classical GP-UCB algorithm and satisfy cumulative regret bounds that nearly match those conjectured in arXiv:2002.05096, hence solving a COLT open problem. Furthermore, the new algorithms outperform GP-UCB and other popular Bayesian optimization strategies in several examples.


title: Towards Assessing the Synthetic-to-Measured Adversarial Vulnerability of SAR ATR

abstract: Recently, there has been increasing concern about the vulnerability of deep neural network (DNN)-based synthetic aperture radar (SAR) automatic target recognition (ATR) to adversarial attacks, where a DNN could be easily deceived by clean input with imperceptible but aggressive perturbations. This paper studies the synthetic-to-measured (S2M) transfer setting, where an attacker generates adversarial perturbation based solely on synthetic data and transfers it against victim models trained with measured data. Compared with the current measured-to-measured (M2M) transfer setting, our approach does not need direct access to the victim model or the measured SAR data. We also propose the transferability estimation attack (TEA) to uncover the adversarial risks in this more challenging and practical scenario. The TEA makes full use of the limited similarity between the synthetic and measured data pairs for blind estimation and optimization of S2M transferability, leading to feasible surrogate model enhancement without mastering the victim model and data. Comprehensive evaluations based on the publicly available synthetic and measured paired labeled experiment (SAMPLE) dataset demonstrate that the TEA outperforms state-of-the-art methods and can significantly enhance various attack algorithms in computer vision and remote sensing applications. Codes and data are available at https://github.com/scenarri/S2M-TEA.


title: Taking Action Towards Graceful Interaction: The Effects of Performing Actions on Modelling Policies for Instruction Clarification Requests

abstract: Clarification requests are a mechanism to help solve communication problems, e.g. due to ambiguity or underspecification, in instruction-following interactions. Despite their importance, even skilful models struggle with producing or interpreting such repair acts. In this work, we test three hypotheses concerning the effects of action taking as an auxiliary task in modelling iCR policies. Contrary to initial expectations, we conclude that its contribution to learning an iCR policy is limited, but some information can still be extracted from prediction uncertainty. We present further evidence that even well-motivated, Transformer-based models fail to learn good policies for when to ask Instruction CRs (iCRs), while the task of determining what to ask about can be more successfully modelled. Considering the implications of these findings, we further discuss the shortcomings of the data-driven paradigm for learning meta-communication acts.


title: Condensates Breaking Up Under Rotation

abstract: The ground state of a rotating Bose-Einstein condensate trapped in a two-dimensional anharmonic--anisotropic potential is analyzed numerically at the limit of an infinite number of particles. We find that the density breaks up along the $x$ direction in position space and along the $p_y$ direction in momentum space together with the acquisition of angular momentum. Side by side, the anisotropies of the many-particle position variances along the $x$ and $y$ directions and of the many-particle momentum variances along the $p_y$ and $p_x$ directions become opposite when computed at the many-body and mean-field levels of theory. All in all, the rotating bosons are found to possess unique correlations at the limit of an infinite number of particles, both in position and momentum spaces, although their many-body and mean-field energies per particle and densities per particle coincide and the condensate fraction is 100\%. Implications are briefly discussed.


title: Gower's similarity coefficients with automatic weight selection

abstract: Nearest-neighbor methods have become popular in statistics and play a key role in statistical learning. Important decisions in nearest-neighbor methods concern the variables to use (when many potential candidates exist) and how to measure the dissimilarity between units. The first decision depends on the scope of the application while second depends mainly on the type of variables. Unfortunately, relatively few options permit to handle mixed-type variables, a situation frequently encountered in practical applications. The most popular dissimilarity for mixed-type variables is derived as the complement to one of the Gower's similarity coefficient. It is appealing because ranges between 0 and 1, being an average of the scaled dissimilarities calculated variable by variable, handles missing values and allows for a user-defined weighting scheme when averaging dissimilarities. The discussion on the weighting schemes is sometimes misleading since it often ignores that the unweighted "standard" setting hides an unbalanced contribution of the single variables to the overall dissimilarity. We address this drawback following the recent idea of introducing a weighting scheme that minimizes the differences in the correlation between each contributing dissimilarity and the resulting weighted Gower's dissimilarity. In particular, this note proposes different approaches for measuring the correlation depending on the type of variables. The performances of the proposed approaches are evaluated in simulation studies related to classification and imputation of missing values.


title: Forecasting VIX using Bayesian Deep Learning

abstract: Recently, deep learning techniques are gradually replacing traditional statistical and machine learning models as the first choice for price forecasting tasks. In this paper, we leverage probabilistic deep learning for inferring the volatility index VIX. We employ the probabilistic counterpart of WaveNet, Temporal Convolutional Network (TCN), and Transformers. We show that TCN outperforms all models with an RMSE around 0.189. In addition, it has been well known that modern neural networks provide inaccurate uncertainty estimates. For solving this problem, we use the standard deviation scaling to calibrate the networks. Furthermore, we found out that MNF with Gaussian prior outperforms Reparameterization Trick and Flipout models in terms of precision and uncertainty predictions. Finally, we claim that MNF with Cauchy and LogUniform prior distributions yield well calibrated TCN and WaveNet networks being the former that best infer the VIX values.


title: CRUD-RAG: A Comprehensive Chinese Benchmark for Retrieval-Augmented Generation of Large Language Models

abstract: Retrieval-Augmented Generation (RAG) is a technique that enhances the capabilities of large language models (LLMs) by incorporating external knowledge sources. This method addresses common LLM limitations, including outdated information and the tendency to produce inaccurate "hallucinated" content. However, the evaluation of RAG systems is challenging, as existing benchmarks are limited in scope and diversity. Most of the current benchmarks predominantly assess question-answering applications, overlooking the broader spectrum of situations where RAG could prove advantageous. Moreover, they only evaluate the performance of the LLM component of the RAG pipeline in the experiments, and neglect the influence of the retrieval component and the external knowledge database. To address these issues, this paper constructs a large-scale and more comprehensive benchmark, and evaluates all the components of RAG systems in various RAG application scenarios. Specifically, we have categorized the range of RAG applications into four distinct types-Create, Read, Update, and Delete (CRUD), each representing a unique use case. "Create" refers to scenarios requiring the generation of original, varied content. "Read" involves responding to intricate questions in knowledge-intensive situations. "Update" focuses on revising and rectifying inaccuracies or inconsistencies in pre-existing texts. "Delete" pertains to the task of summarizing extensive texts into more concise forms. For each of these CRUD categories, we have developed comprehensive datasets to evaluate the performance of RAG systems. We also analyze the effects of various components of the RAG system, such as the retriever, the context length, the knowledge base construction, and the LLM. Finally, we provide useful insights for optimizing the RAG technology for different scenarios.


title: Scalable Mechanism Design for Multi-Agent Path Finding

abstract: Multi-Agent Path Finding (MAPF) involves determining paths for multiple agents to travel simultaneously and collision-free through a shared area toward given goal locations. This problem is computationally complex, especially when dealing with large numbers of agents, as is common in realistic applications like autonomous vehicle coordination. Finding an optimal solution is often computationally infeasible, making the use of approximate, suboptimal algorithms essential. Adding to the complexity, agents might act in a self-interested and strategic way, possibly misrepresenting their goals to the MAPF algorithm if it benefits them. Although the field of mechanism design offers tools to align incentives, using these tools without careful consideration can fail when only having access to approximately optimal outcomes. In this work, we introduce the problem of scalable mechanism design for MAPF and propose three strategyproof mechanisms, two of which even use approximate MAPF algorithms. We test our mechanisms on realistic MAPF domains with problem sizes ranging from dozens to hundreds of agents. We find that they improve welfare beyond a simple baseline.


title: Explaining Explanations in Probabilistic Logic Programming

abstract: The emergence of tools based on artificial intelligence has also led to the need of producing explanations which are understandable by a human being. In most approaches, the system is considered a black box, making it difficult to generate appropriate explanations. In this work, though, we consider a setting where models are transparent: probabilistic logic programming (PLP), a paradigm that combines logic programming for knowledge representation and probability to model uncertainty. However, given a query, the usual notion of explanation is associated with a set of choices, one for each random variable of the model. Unfortunately, such a set does not explain why the query is true and, in fact, it may contain choices that are actually irrelevant for the considered query. To improve this situation, we present in this paper an approach to explaining explanations which is based on defining a new query-driven inference mechanism for PLP where proofs are labeled with "choice expressions", a compact and easy to manipulate representation for sets of choices. The combination of proof trees and choice expressions allows us to produce comprehensible query justifications with a causal structure.


title: Six years of Venus winds at the upper cloud level from UV, visible and near infrared observations from VIRTIS on Venus Express

abstract: Venus Express provided a long-term monitoring of Venus atmosphere. Several works focused on the dynamics of the upper cloud visible on the day-side in ultraviolet images sensitive to the 65-70 km altitude and in the lower cloud level (50 km height) observable in the night-side of the planet in 1.74 microns. Here we use VIRTIS-M spectral images to study the upper cloud layer in ultraviolet (360-400 nm), visible (570-680 nm) and near infrared (900-955 nm) extending in time previous analysis of VIRTIS-M data. UV images show relatively well contrasted cloud features at the cloud top. Cloud features in the visible and near infrared images lie a few kilometers below the upper cloud top, have low contrast and are distinct to the features observed in the uv. Wind measurements were obtained over a six-year period using a semi-automatic cloud correlation algorithm. Results for the upper cloud confirm analysis based on images obtained by the Venus Monitoring Camera (Khatuntsev et al. 2013). At the cloud top the mean zonal and meridional winds vary with local time accelerating towards the local afternoon. The upper branch of the Hadley cell reaches maximum velocities at 45deg latitude and local times of 14-16h. The mean zonal winds in the uv cloud accelerated in the course of the 2006-2012 period 15 ms-1. The near infrared and visible images show a more constant circulation without time variability or longitudinal variations. The meridional circulation is absent in near infrared and visible images indicating thatthe Hadley-cell circulation in Venus atmosphere is shallow or the returning branch of the meridional circulation extends to levels below levels sensed in near infrared images. At the clod tops observed in UV images there are signatures of a long-term acceleration of the zonal winds when comparing winds from 2006-2008 to 2009-2012 with a mean acceleration of 17 ms-1 between both time periods


title: Determinants of well-being

abstract: Traditionally, European social policies have focused on material well-being and social justice, neglecting subjective indicators. This review systematically examines the scientific understanding of well-being, its indicators, and its relationship with governance. It suggests that political systems and institutions significantly impact well-being, and that subjective indicators should be incorporated into public policy decisions. The findings advocate for a more holistic approach to well-being measurement, encompassing both objective and subjective dimensions.


title: Exploring Spatial Segregation Induced by Competition Avoidance as Driving Mechanism for Emergent Coexistence in Microbial Communities

abstract: This study investigates the role of spatial segregation, prompted by competition avoidance, as a key mechanism for emergent coexistence within microbial communities. Recognizing these communities as complex adaptive systems, we challenge the sufficiency of mean-field pairwise interaction models and consider the impact of spatial dynamics. We developed an individual-based spatial simulation depicting bacterial movement through a pattern of random walks influenced by competition avoidance, leading to the formation of spatially segregated clusters. This model was integrated with a Lotka-Volterra metapopulation framework focused on competitive interactions. Our findings reveal that spatial segregation combined with low diffusion rates and high compositional heterogeneity among patches can lead to emergent coexistence in microbial communities. This reveals a novel mechanism underpinning the formation of stable, coexisting microbe clusters, which is nonetheless incapable of promoting coexistence in the case of isolated pairs of species. This study underscores the importance of considering spatial factors in understanding the dynamics of microbial ecosystems.


title: Movable Antenna-Enabled Co-Frequency Co-Time Full-Duplex Wireless Communication

abstract: Movable antenna (MA) provides an innovative way to arrange antennas that can contribute to improved signal quality and more effective interference management. This method is especially beneficial for co-frequency co-time full-duplex (CCFD) wireless communication, which struggles with self-interference (SI) that usually overpowers the desired incoming signals. By dynamically repositioning transmit/receive antennas, we can mitigate the SI and enhance the reception of incoming signals. Thus, this paper proposes a novel MA-enabled point-to-point CCFD system and formulates the minimum achievable rate of two CCFD terminals. To maximize the minimum achievable rate and determine the near-optimal positions of the MAs, we introduce a solution based on projected particle swarm optimization (PPSO), which can circumvent common suboptimal positioning issues. Moreover, numerical results reveal that the PPSO method leads to a better performance compared to the conventional alternating position optimization (APO). The results also demonstrate that an MA-enabled CCFD system outperforms the one using fixed-position antennas (FPAs).


title: ViTree: Single-path Neural Tree for Step-wise Interpretable Fine-grained Visual Categorization

abstract: As computer vision continues to advance and finds widespread applications across various domains, the need for interpretability in deep learning models becomes paramount. Existing methods often resort to post-hoc techniques or prototypes to explain the decision-making process, which can be indirect and lack intrinsic illustration. In this research, we introduce ViTree, a novel approach for fine-grained visual categorization that combines the popular vision transformer as a feature extraction backbone with neural decision trees. By traversing the tree paths, ViTree effectively selects patches from transformer-processed features to highlight informative local regions, thereby refining representations in a step-wise manner. Unlike previous tree-based models that rely on soft distributions or ensembles of paths, ViTree selects a single tree path, offering a clearer and simpler decision-making process. This patch and path selectivity enhances model interpretability of ViTree, enabling better insights into the model's inner workings. Remarkably, extensive experimentation validates that this streamlined approach surpasses various strong competitors and achieves state-of-the-art performance while maintaining exceptional interpretability which is proved by multi-perspective methods. Code can be found at https://github.com/SJTU-DeepVisionLab/ViTree.


title: Quantitative Fattorini-Hautus test and minimal null control time for parabolic problems

abstract: This paper investigates the link between the null controllability property for some abstract parabolic problems and an inequality that can be seen as a quantified Fattorini-Hautus test. Depending on the hypotheses made on the abstract setting considered we prove that this inequality either gives the exact minimal null control time or at least gives the qualitative property of existence of such a minimal time. We also prove that for many known examples of minimal time in the parabolic setting, this inequality recovers the value of this minimal time.


title: Making Parametric Anomaly Detection on Tabular Data Non-Parametric Again

abstract: Deep learning for tabular data has garnered increasing attention in recent years, yet employing deep models for structured data remains challenging. While these models excel with unstructured data, their efficacy with structured data has been limited. Recent research has introduced retrieval-augmented models to address this gap, demonstrating promising results in supervised tasks such as classification and regression. In this work, we investigate using retrieval-augmented models for anomaly detection on tabular data. We propose a reconstruction-based approach in which a transformer model learns to reconstruct masked features of \textit{normal} samples. We test the effectiveness of KNN-based and attention-based modules to select relevant samples to help in the reconstruction process of the target sample. Our experiments on a benchmark of 31 tabular datasets reveal that augmenting this reconstruction-based anomaly detection (AD) method with non-parametric relationships via retrieval modules may significantly boost performance.


title: BlockFusion: Expandable 3D Scene Generation using Latent Tri-plane Extrapolation

abstract: We present BlockFusion, a diffusion-based model that generates 3D scenes as unit blocks and seamlessly incorporates new blocks to extend the scene. BlockFusion is trained using datasets of 3D blocks that are randomly cropped from complete 3D scene meshes. Through per-block fitting, all training blocks are converted into the hybrid neural fields: with a tri-plane containing the geometry features, followed by a Multi-layer Perceptron (MLP) for decoding the signed distance values. A variational auto-encoder is employed to compress the tri-planes into the latent tri-plane space, on which the denoising diffusion process is performed. Diffusion applied to the latent representations allows for high-quality and diverse 3D scene generation. To expand a scene during generation, one needs only to append empty blocks to overlap with the current scene and extrapolate existing latent tri-planes to populate new blocks. The extrapolation is done by conditioning the generation process with the feature samples from the overlapping tri-planes during the denoising iterations. Latent tri-plane extrapolation produces semantically and geometrically meaningful transitions that harmoniously blend with the existing scene. A 2D layout conditioning mechanism is used to control the placement and arrangement of scene elements. Experimental results indicate that BlockFusion is capable of generating diverse, geometrically consistent and unbounded large 3D scenes with unprecedented high-quality shapes in both indoor and outdoor scenarios.


title: The quality control programme for ITk strip tracker module assembly

abstract: The assembly of the ATLAS Inner Tracker requires the construction of 19,000 silicon strip sensor detector modules in eight different geometries. Modules will be assembled and tested at 31 institutes on four continents from sensors, readout chips, and flexes. In order to adhere to the module specifications defined for sufficient tracking performance, a rigorous programme of quality control (QC) was established to cover components at every stage of assembly. This contribution presents an overview of the QC programme for ITk strip tracker modules, issues encountered during the pre-production phase (5% of the production volume), and their solutions.


title: Ultralight scalar and axion dark matter detection with atom interferometers

abstract: The detection of dark matter is a challenging problem in modern physics. The ultralight scalar and axion dark matter could induce the oscillation of the nuclear charge radii and then oscillate the atomic transition frequency by interacting with standard model particles. We compute the differential phase shift caused by the scalar and axion dark matter in a pair of separated atom interferometers and give the proposed constraints on the scalar dark matter coupling parameters $d_g$ and $d_{\hat{m}}$ as well as the axion dark matter coupling parameter $1/f_a$. Our results are expected to improve the current detection level and complement with other experiments.


title: Floor extraction and door detection for visually impaired guidance

abstract: Finding obstacle-free paths in unknown environments is a big navigation issue for visually impaired people and autonomous robots. Previous works focus on obstacle avoidance, however they do not have a general view of the environment they are moving in. New devices based on computer vision systems can help impaired people to overcome the difficulties of navigating in unknown environments in safe conditions. In this work it is proposed a combination of sensors and algorithms that can lead to the building of a navigation system for visually impaired people. Based on traditional systems that use RGB-D cameras for obstacle avoidance, it is included and combined the information of a fish-eye camera, which will give a better understanding of the user's surroundings. The combination gives robustness and reliability to the system as well as a wide field of view that allows to obtain many information from the environment. This combination of sensors is inspired by human vision where the center of the retina (fovea) provides more accurate information than the periphery, where humans have a wider field of view. The proposed system is mounted on a wearable device that provides the obstacle-free zones of the scene, allowing the planning of trajectories for people guidance.


title: What can Information Guess? Guessing Advantage vs. R\'enyi Entropy for Small Leakages

abstract: We leverage the Gibbs inequality and its natural generalization to R\'enyi entropies to derive closed-form parametric expressions of the optimal lower bounds of $\rho$th-order guessing entropy (guessing moment) of a secret taking values on a finite set, in terms of the R\'enyi-Arimoto $\alpha$-entropy. This is carried out in an non-asymptotic regime when side information may be available. The resulting bounds yield a theoretical solution to a fundamental problem in side-channel analysis: Ensure that an adversary will not gain much guessing advantage when the leakage information is sufficiently weakened by proper countermeasures in a given cryptographic implementation. Practical evaluation for classical leakage models show that the proposed bounds greatly improve previous ones for analyzing the capability of an adversary to perform side-channel attacks.


title: Atlanta Scaled layouts from non-central panoramas

abstract: In this work we present a novel approach for 3D layout recovery of indoor environments using a non-central acquisition system. From a non-central panorama, full and scaled 3D lines can be independently recovered by geometry reasoning without geometric nor scale assumptions. However, their sensitivity to noise and complex geometric modeling has led these panoramas being little investigated. Our new pipeline aims to extract the boundaries of the structural lines of an indoor environment with a neural network and exploit the properties of non-central projection systems in a new geometrical processing to recover an scaled 3D layout. The results of our experiments show that we improve state-of-the-art methods for layout reconstruction and line extraction in non-central projection systems. We completely solve the problem in Manhattan and Atlanta environments, handling occlusions and retrieving the metric scale of the room without extra measurements. As far as the authors knowledge goes, our approach is the first work using deep learning on non-central panoramas and recovering scaled layouts from single panoramas.


title: Learning Approximation Sets for Exploratory Queries

abstract: In data exploration, executing complex non-aggregate queries over large databases can be time-consuming. Our paper introduces a novel approach to address this challenge, focusing on finding an optimized subset of data, referred to as the approximation set, for query execution. The goal is to maximize query result quality while minimizing execution time. We formalize this problem as Approximate Non-Aggregates Query Processing (ANAQP) and establish its NP-completeness. To tackle this, we propose an approximate solution using advanced Reinforcement Learning architecture, termed ASQP-RL. This approach overcomes challenges related to the large action space and the need for generalization beyond a known query workload. Experimental results on two benchmarks demonstrate the superior performance of ASQP-RL, outperforming baselines by 30% in accuracy and achieving efficiency gains of 10-35X. Our research sheds light on the potential of reinforcement learning techniques for advancing data management tasks. Experimental results on two benchmarks show that ASQP-RL significantly outperforms the baselines both in terms of accuracy (30% better) and efficiency (10-35X). This research provides valuable insights into the potential of RL techniques for future advancements in data management tasks.


title: Finite rank perturbations of normal operators: hyperinvariant subspaces and a problem of Pearcy

abstract: Finite rank perturbations of diagonalizable normal operators acting boundedly on infinite dimensional, separable, complex Hilbert spaces are considered from the standpoint of view of the existence of invariant subspaces. In particular, if $T=D_\Lambda+u\otimes v$ is a rank-one perturbation of a diagonalizable normal operator $D_\Lambda$ with respect to a basis $\mathcal{E}=\{e_n\}_{n\geq 1}$ and the vectors $u$ and $v$ have Fourier coefficients $\{\alpha_n\}_{n\geq 1}$ and $\{\beta_n\}_{n\geq 1}$ with respect to $\mathcal{E}$ respectively, it is shown that $T$ has non trivial closed invariant subspaces provided that either $u$ or $v$ have a Fourier coefficient which is zero or $u$ and $v$ have non zero Fourier coefficients and $$ \sum_{n\geq 1} |\alpha_n|^2 \log \frac{1}{|\alpha_n|} + |\beta_n|^2 \log \frac{1}{|\beta_n|} < \infty.$$ As a consequence, if $(p,q)\in (0,2]\times (0,2]$ are such $\sum_{n\geq 1} (|\alpha_n|^p + |\beta_n|^q )< \infty,$ it is shown the existence of non trivial closed invariant subspaces of $T$ whenever $$(p,q)\in (0,2]\times (0,2]\setminus \{(2, r), (r, 2):\; r\in(1,2]\}.$$ Moreover, such operators $T$ have non trivial closed hyperinvariant subspaces whenever they are not a scalar multiple of the identity. Likewise, analogous results hold for finite rank perturbations of $D_\Lambda$. This improves considerably previous theorems of Foia\c{s}, Jung, Ko and Pearcy, Fang and Xia and the authors on an open question explicitly posed by Pearcy in the seventies.


title: OmniSCV: An Omnidirectional Synthetic Image Generator for Computer Vision

abstract: Omnidirectional and 360{\deg} images are becoming widespread in industry and in consumer society, causing omnidirectional computer vision to gain attention. Their wide field of view allows the gathering of a great amount of information about the environment from only an image. However, the distortion of these images requires the development of specific algorithms for their treatment and interpretation. Moreover, a high number of images is essential for the correct training of computer vision algorithms based on learning. In this paper, we present a tool for generating datasets of omnidirectional images with semantic and depth information. These images are synthesized from a set of captures that are acquired in a realistic virtual environment for Unreal Engine 4 through an interface plugin. We gather a variety of well-known projection models such as equirectangular and cylindrical panoramas, different fish-eye lenses, catadioptric systems, and empiric models. Furthermore, we include in our tool photorealistic non-central-projection systems as non-central panoramas and non-central catadioptric systems. As far as we know, this is the first reported tool for generating photorealistic non-central images in the literature. Moreover, since the omnidirectional images are made virtually, we provide pixel-wise information about semantics and depth as well as perfect knowledge of the calibration parameters of the cameras. This allows the creation of ground-truth information with pixel precision for training learning algorithms and testing 3D vision approaches. To validate the proposed tool, different computer vision algorithms are tested as line extractions from dioptric and catadioptric central images, 3D Layout recovery and SLAM using equirectangular panoramas, and 3D reconstruction from non-central panoramas.


title: Outline of an Independent Systematic Blackbox Test for ML-based Systems

abstract: This article proposes a test procedure that can be used to test ML models and ML-based systems independently of the actual training process. In this way, the typical quality statements such as accuracy and precision of these models and system can be verified independently, taking into account their black box character and the immanent stochastic properties of ML models and their training data. The article presents first results from a set of test experiments and suggest extensions to existing test methods reflecting the stochastic nature of ML models and ML-based systems.


title: SPViz: A DSL-Driven Approach for Software Project Visualization Tooling

abstract: For most service architectures, such as OSGi and Spring, architecture-specific tools allow software developers and architects to visualize otherwise obscure configurations hidden in the project files. Such visualization tools are often used for documentation purposes and help to better understand programs than with source code alone. However, such tools often do not address project-specific peculiarities or do not exist at all for less common architectures, requiring developers to use different visualization and analysis tools within the same architecture. Furthermore, many generic modeling tools and architecture visualization tools require their users to create and maintain models manually. We here propose a DSL-driven approach that allows software architects to define and adapt their own project visualization tool. The approach, which we refer to as Software Project Visualization (SPViz), uses two DSLs, one to describe architectural elements and their relationships, and one to describe how these should be visualized. We demonstrate how SPViz can then automatically synthesize a customized, project-specific visualization tool that can adapt to changes in the underlying project automatically. We implemented our approach in an open-source library, also termed SPViz and discuss and analyze four different tools that follow this concept, including open-source projects and projects from an industrial partner in the railway domain.


title: Efficient Gesture Recognition on Spiking Convolutional Networks Through Sensor Fusion of Event-Based and Depth Data

abstract: As intelligent systems become increasingly important in our daily lives, new ways of interaction are needed. Classical user interfaces pose issues for the physically impaired and are partially not practical or convenient. Gesture recognition is an alternative, but often not reactive enough when conventional cameras are used. This work proposes a Spiking Convolutional Neural Network, processing event- and depth data for gesture recognition. The network is simulated using the open-source neuromorphic computing framework LAVA for offline training and evaluation on an embedded system. For the evaluation three open source data sets are used. Since these do not represent the applied bi-modality, a new data set with synchronized event- and depth data was recorded. The results show the viability of temporal encoding on depth information and modality fusion, even on differently encoded data, to be beneficial to network performance and generalization capabilities.


title: Platoon Fundamental Diagram estimation can be Markovian: evidence from human- and self-driven vehicle trajectories

abstract: We propose a simple and effective method to derive the Fundamental Diagram (FD) from platoon vehicle trajectories. Average traffic state variables are computed using Edie's generalized definitions within time-dependent trapezoidal space-time areas. To obtain a clear FD, we employ a bivariate data aggregation technique to eliminate scatter. Our findings are as follows: (i) The proposed method demonstrates a remarkably consistent relation between the traffic variables and a clear triangular shape for autonomously-driven vehicles. (ii) The FDs are invariant to several factors of heterogeneity such as the platoon length, vehicle characteristics, road particularities, and data acquisition accuracy. (iii) ACC-driven vehicle platoons with minimum headway setting achieve much higher capacity, roughly 90\% than those with a large headway setting. (iv) Connectivity might increase capacity. (v) Human drivers have a wider near-capacity operation area, showing different behaviors at high speeds than low ones, and (vi) Safety concerns might arise due to high values of backward wave speed for ACC-driven vehicles. Comparative analysis with the state-of-the-art confirms the validity of our approach. The proposed method stands out due to its simplicity and accuracy, which paves the way for practical applications in real-time traffic flow monitoring and control within modern intelligent transportation systems.


title: Markovian to non-Markovian phase transition in the operator dynamics of a mobile impurity

abstract: We study a random unitary circuit model of an impurity moving through a chaotic medium. By varying the velocity of the impurity, $v_d$, relative to the speed of information propagation within the medium, $v_B$, we control the exchange of information between the medium and impurity. Above supersonic velocities, $v_d> v_B$, information cannot flow back to the impurity after it has moved into the medium, and the resulting dynamics are Markovian. Below supersonic velocities, $v_d< v_B$, the dynamics of the impurity and medium are non-Markovian, and information is able to flow back onto the impurity. We show the two regimes are separated by a continuous phase transition with exponents directly related to the diffusive spreading of operators in the medium. This is demonstrated by monitoring an out-of-time-order correlator (OTOC) in a scenario where the impurity is substituted at an intermediate time. During the Markovian phase, information from the medium cannot transfer onto the replaced impurity, manifesting in no significant operator development. Conversely, in the non-Markovian phase, we observe that operators acquire support on the newly introduced impurity. We also characterize the dynamics using the coherent information and provide two decoders which can efficiently probe the transition between Markovian and non-Markovian information flow. Our work demonstrates that Markovian and non-Markovian dynamics can be separated by a phase transition, and we propose an efficient protocol for observing this transition.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech hep-th


title: Boundary controllability of a one-dimensional phase-field system with one control force

abstract: In this paper, we present some controllability results for linear and nonlinear phase-field systems of Caginalp type considered in a bounded interval of $\mathbb R$ when the scalar control force acts on the temperature equation of the system by means of the Dirichlet condition on one of the endpoints of the interval. In order to prove the linear result we use the moment method providing an estimate of the cost of fast controls. Using this estimate and following the methodology developed in~\cite{tucsnack}, we prove a local exact boundary controllability result to constant trajectories of the nonlinear phase-field system. To the authors' knowledge, this is the first nonlinear boundary controllability result in the framework of non-scalar parabolic systems, framework in which some ``hyperbolic'' behaviors could arise.


title: NuTag: proof-of-concept study for a long-baseline neutrino beam

abstract: The study of neutrino oscillation at accelerators is limited by systematic uncertainties, in particular on the neutrino flux, cross-section, and energy estimates. These systematic uncertainties could be eliminated by a novel experimental technique: neutrino tagging. This technique relies on a new type of neutrino beamline and its associated instrumentation which would enable the kinematical reconstruction of the neutrinos produced in $\pi^{\pm} \to \mu^{\pm} \nu_\mu$ and $K^{\pm} \to \mu^{\pm} \nu_\mu$ decays. This article presents a proof-of-concept study for such a tagged beamline, aiming to serve a long baseline neutrino experiment exploiting a megaton scale natural water Cherenkov detector. After optimizing the target and the beamline optics to first order, a complete Monte Carlo simulation of the beamline has been performed. The results show that the beamline provides a meson beam compatible with the operation of the spectrometer, and delivers a neutrino flux sufficient to collect neutrino samples with a size comparable with similar experiments and with other un-tagged long-baseline neutrino experimental proposals.


title: A Class of New Cutting Planes for SDP Relaxations of Stable Set and Coloring Problems

abstract: We propose a class of new cutting planes to strengthen the Lov\'asz theta function, a well-known semidefinite programming (SDP) relaxation for the stable set and the graph coloring problems. For both problems, we introduce two new cutting planes that are derived from odd-cycle constraints and triangle inequalities and are valid for certain subgraphs induced by odd cycles. Computational experiments on graphs from the literature show that for each problem, one of the proposed cutting planes gives very good bounds.


title: Ultra-low power sensor devices for monitoring physical activity and respiratory frequency in farmed fish

abstract: Integration of technological solutions aims to improve accuracy, precision and repeatability in farming operations, and biosensor devices are increasingly used for understanding basic biology during livestock production. The aim of this study was to design and validate a miniaturized tri-axial accelerometer for non-invasive monitoring of farmed fish with re-programmable schedule protocols.The device was attached to the operculum of gilthead sea bream and European sea bass juveniles for monitoring their physical activity by measurements of movement accelerations in x and y-axes, while records of operculum beats served as a measurement of respiratory frequency. Data post-processing of exercised fish in swimming test chambers revealed an exponential increase of fish accelerations with the increase of fish speed from 1 body-length to 4 body-lengths per second, while a close relationship between oxygen consumption and opercular frequency was consistently found.The usefulness of low computational load for data pre-processing with on-board algorithms was verified from low to submaximal exercise, increasing this procedure the autonomy of the system up to 6 h of data recording with different programmable schedules. Visual observations regarding tissue damage, feeding behavior and circulating levels of stress markers did not reveal at short term a negative impact of device tagging. Reduced plasma levels of triglycerides revealed a transient inhibition of feed intake in small fish, but this disturbance was not detected in larger fish. All this considered together is the proof of concept that miniaturized devices are suitable for non-invasive and reliable metabolic phenotyping of farmed fish to improve their overall performance and welfare. Further work is underway for improving the attachment procedure and the full device packaging.


title: Influence of the Reynolds number from $Re_\tau= 150$ to $210$ on size-dependent bipolar charging

abstract: We recently found wall-bounded turbulence to suppress and control bipolar triboelectric charging of particles of identical material. This control is due to fluid modifying the motion of light particles. Thus, the particles' charge distribution depends on their Stokes number distribution. More specifically, fluid forces narrow the bandwidth of the charge distribution, and bipolar charging reduces dramatically. Consequently, not the smallest but mid-sized particles collect the most negative charge. However, the influence of the Reynolds number or particle concentration on bipolar charging of polydisperse particles is unknown. This paper presents the charging simulations of same-material particles the in different wall-bounded flows. In a comprehensive study, we vary the Reynolds number from $Re_\tau=$ $150$ to $210$ and the particle number density from $4 \times 10^9 \ \mathrm{m}^{-3}$ to $1 \times 10^{10} \ \mathrm{m}^{-3}$ to further explore the influence of the carrier flow on bipolar charging. We model charge transfer based on the balance of transferable charge species. Such species can represent adsorbed ions transferred during collisions or free electrons captured into a lower energy state on the other surface. The turbulent flow is modeled via Direct Numerical Simulations (DNS) and is coupled to the particulate phase modeled via the Discrete Element Method (DEM). Overall, our multiphysics approach couples the fluid dynamics, electric field, triboelectric charging, and particle momentum into one complex simulation.


title: SemScore: Automated Evaluation of Instruction-Tuned LLMs based on Semantic Textual Similarity

abstract: Instruction-tuned Large Language Models (LLMs) have recently showcased remarkable advancements in their ability to generate fitting responses to natural language instructions. However, many current works rely on manual evaluation to judge the quality of generated responses. Since such manual evaluation is time-consuming, it does not easily scale to the evaluation of multiple models and model variants. In this short paper, we propose a straightforward but remarkably effective evaluation metric called SemScore, in which we directly compare model outputs to gold target responses using semantic textual similarity (STS). We conduct a comparative evaluation of the model outputs of 12 prominent instruction-tuned LLMs using 8 widely-used evaluation metrics for text generation. We find that our proposed SemScore metric outperforms all other, in many cases more complex, evaluation metrics in terms of correlation to human evaluation. These findings indicate the utility of our proposed metric for the evaluation of instruction-tuned LLMs.


title: A note on colour-bias perfect matchings in hypergraphs

abstract: A result of Balogh, Csaba, Jing and Pluh\'ar yields the minimum degree threshold that ensures a $2$-coloured graph contains a perfect matching of significant colour-bias (i.e., a perfect matching that contains significantly more than half of its edges in one colour). In this note we prove an analogous result for perfect matchings in $k$-uniform hypergraphs. More precisely, for each $2\leq \ell <k$ and $r\geq 2$ we determine the minimum $\ell$-degree threshold for forcing a perfect matching of significant colour-bias in an $r$-coloured $k$-uniform hypergraph.


title: High-order thread-safe lattice Boltzmann model for HPC turbulent flow simulations

abstract: We present a highly-optimized thread-safe lattice Boltzmann model in which the non-equilibrium part of the distribution function is locally reconstructed via recursivity of Hermite polynomials. Such a procedure allows the explicit incorporation of non-equilibrium moments of the distribution up to the order supported by the lattice. Thus, the proposed approach increases accuracy and stability at low viscosities without compromising performances and amenability to parallelization with respect to standard lattice Boltzmann models. The high-order thread-safe LB is tested on two types of turbulent flows, namely the turbulent channel flow at $Re_{\tau}=180$ and the axisymmetric turbulent jet at $Re = 7000$, it delivers results in excellent agreement with reference data (both DNS, theory, and experiments) and a) achieves peak performances ($\sim 5 \; TeraFlop/s$ and an arithmetic intensity of $\sim 7\; FLOP/byte$ on single GPU) by significantly reducing the memory footprint, b) retains the algorithmic simplicity of standard lattice Boltzmann computing and c) allows to perform stable simulations at vanishingly low viscosities. Our findings open attractive prospects for high-performance simulations of realistic turbulent flows on GPU-based architectures. Such expectations are confirmed by the excellent agreement among lattice Boltzmann, experimental, and DNS reference data.


title: Non-central panorama indoor dataset

abstract: Omnidirectional images are one of the main sources of information for learning based scene understanding algorithms. However, annotated datasets of omnidirectional images cannot keep the pace of these learning based algorithms development. Among the different panoramas and in contrast to standard central ones, non-central panoramas provide geometrical information in the distortion of the image from which we can retrieve 3D information of the environment [2]. However, due to the lack of commercial non-central devices, up until now there was no dataset of these kinds of panoramas. In this data paper, we present the first dataset of non-central panoramas for indoor scene understanding. The dataset is composed by {\bf 2574} RGB non-central panoramas taken in around 650 different rooms. Each panorama has associated a depth map and annotations to obtain the layout of the room from the image as a structural edge map, list of corners in the image, the 3D corners of the room and the camera pose. The images are taken from photorealistic virtual environments and pixel-wise automatically annotated.