title: Scalable Estimation for Structured Additive Distributional Regression Through Variational Inference

abstract: Structured additive distributional regression models offer a versatile framework for estimating complete conditional distributions by relating all parameters of a parametric distribution to covariates. Although these models efficiently leverage information in vast and intricate data sets, they often result in highly-parameterized models with many unknowns. Standard estimation methods, like Bayesian approaches based on Markov chain Monte Carlo methods, face challenges in estimating these models due to their complexity and costliness. To overcome these issues, we suggest a fast and scalable alternative based on variational inference. Our approach combines a parsimonious parametric approximation for the posteriors of regression coefficients, with the exact conditional posterior for hyperparameters. For optimization, we use a stochastic gradient ascent method combined with an efficient strategy to reduce the variance of estimators. We provide theoretical properties and investigate global and local annealing to enhance robustness, particularly against data outliers. Our implementation is very general, allowing us to include various functional effects like penalized splines or complex tensor product interactions. In a simulation study, we demonstrate the efficacy of our approach in terms of accuracy and computation time. Lastly, we present two real examples illustrating the modeling of infectious COVID-19 outbreaks and outlier detection in brain activity.


title: Multidimensional Electrical Networks and their Application to Exponential Speedups for Graph Problems

abstract: Recently, Apers and Piddock [TQC '23] strengthened the natural connection between quantum walks and electrical networks by considering Kirchhoff's Law and Ohm's Law. In this work, we develop the multidimensional electrical network by defining Kirchhoff's Alternative Law and Ohm's Alternative Law based on the novel multidimensional quantum walk framework by Jeffery and Zur [STOC '23]. This multidimensional electrical network allows us to sample from the electrical flow obtained via a multidimensional quantum walk algorithm and achieve exponential quantum-classical separations for certain graph problems. We first use this framework to find a marked vertex in one-dimensional random hierarchical graphs as defined by Balasubramanian, Li, and Harrow [arXiv '23]. In this work, they generalised the well known exponential quantum-classical separation of the welded tree problem by Childs, Cleve, Deotto, Farhi, Gutmann, and Spielman [STOC '03] to random hierarchical graphs. Our result partially recovers their results with an arguably simpler analysis. Furthermore, by constructing a $3$-regular graph based on welded trees, this framework also allows us to show an exponential speedup for the pathfinding problem. This solves one of the open problems by Li [arXiv '23], where they construct a non-regular graph and use the degree information to achieve a similar speedup. In analogy to the connection between the (edge-vertex) incidence matrix of a graph and Kirchhoff's Law and Ohm's Law in an electrical network, we also rebuild the connection between the alternative incidence matrix and Kirchhoff's Alternative Law and Ohm's Alternative Law. By establishing this connection, we expect that the multidimensional electrical network could have more applications beyond quantum walks.


title: Optical Darboux Transformer

abstract: The Optical Darboux Transformer is introduced as a photonic device which performs the Darboux transformation directly in the optical domain. This enables two major advances for signal processing based on the nonlinear Fourier transform: (i) the multiplexing of different solitonic waveforms corresponding to arbitrary number of discrete eigenvalues of the Zakharov-Shabat system in the optical domain, and (ii) the selective filtering of an arbitrary number of individual solitons too. The Optical Darboux Transformer can be built using existing commercially available photonic technology components and constitutes a universal tool for signal processing, optical communications, optical rogue waves generation, and waveform shaping and control in the nonlinear Fourier domain.


title: An Empirical Model For Intrinsic Alignments: Insights From Cosmological Simulations

abstract: We extend current models of the halo occupation distribution (HOD) to include a flexible, empirical framework for the forward modeling of the intrinsic alignment (IA) of galaxies. A primary goal of this work is to produce mock galaxy catalogs for the purpose of validating existing models and methods for the mitigation of IA in weak lensing measurements. This technique can also be used to produce new, simulation-based predictions for IA and galaxy clustering. Our model is probabilistically formulated, and rests upon the assumption that the orientations of galaxies exhibit a correlation with their host dark matter (sub)halo orientation or with their position within the halo. We examine the necessary components and phenomenology of such a model by considering the alignments between (sub)halos in a cosmological dark matter only simulation. We then validate this model for a realistic galaxy population in a set of simulations in the IllustrisTNG suite. We create an HOD mock with TNG-like correlations using our method, constraining the associated IA model parameters, with the $\chi^2_{\rm dof}$ between our model's correlations and those of Illustris matching as closely as 1.4 and 1.1 for orientation--position and orientation--orientation correlation functions, respectively. By modeling the misalignment between galaxies and their host halo, we show that the 3-dimensional two-point position and orientation correlation functions of simulated (sub)halos and galaxies can be accurately reproduced from quasi-linear scales down to $0.1~h^{-1}{\rm Mpc}$. We also find evidence for environmental influence on IA within a halo. Our publicly-available software provides a key component enabling efficient determination of Bayesian posteriors on IA model parameters using observational measurements of galaxy-orientation correlation functions in the highly nonlinear regime.


title: Superdiffusive magnetization transport in the XX spin chain with non-local dephasing

abstract: We study a recently discussed XX spin chain with non-local dephasing [arXiv:2310.03069] in a steady-state boundary-driven setting, confirming superdiffusive magnetization transport in the thermodynamic limit. The emergence of superdiffusion is rather interesting as the Lindblad operators causing it are a coherent sum of two terms, each of which would separately cause diffusion. One therefore has a quantum phenomenon where a coherent sum of two diffusive terms results in superdiffusion. We also study perturbations of the superdiffusive model, finding that breaking the exact form of dissipators, as well as adding interactions to the XX chain, results in superdiffusion changing into diffusion.


title: Gravitational Waves on Charged Black Hole Backgrounds in Modified Gravity

abstract: The stability of Reissner-N\"ordstrom black holes with an extremal mass-charge relation was determined by calculating the propagation speed of gravitational waves on this background in an effective field theory (EFT) of gravity. New results for metric components are shown, along with the corresponding new extremal relation, part of which differs by a global factor of 2 from the past published work. This new relation further develops the existing constraints on EFT parameters. The radial propagation speed for gravitational waves in the Regge-Wheeler gauge was calculated linearly for all perturbations, yielding exact luminality for all dimension-4 operators. The dimension-6 radial speed modifications introduce no constraints on the sign of the modified theory parameters from causality arguments, while the deviation from classical theories vanishes at both horizons. The angular speed was found to be altered for the dimension-4 operators, with possible new constraints on the modified theory being suggested from causality arguments. Results are consistent existing literature on Schwarzschild black hole backgrounds, with some EFT terms becoming active only in non-vacuum spacetimes such as Reissner-N\"ordstrom black holes.


title: Testing learning-enabled cyber-physical systems with Large-Language Models: A Formal Approach

abstract: The integration of machine learning (ML) into cyber-physical systems (CPS) offers significant benefits, including enhanced efficiency, predictive capabilities, real-time responsiveness, and the enabling of autonomous operations. This convergence has accelerated the development and deployment of a range of real-world applications, such as autonomous vehicles, delivery drones, service robots, and telemedicine procedures. However, the software development life cycle (SDLC) for AI-infused CPS diverges significantly from traditional approaches, featuring data and learning as two critical components. Existing verification and validation techniques are often inadequate for these new paradigms. In this study, we pinpoint the main challenges in ensuring formal safety for learningenabled CPS.We begin by examining testing as the most pragmatic method for verification and validation, summarizing the current state-of-the-art methodologies. Recognizing the limitations in current testing approaches to provide formal safety guarantees, we propose a roadmap to transition from foundational probabilistic testing to a more rigorous approach capable of delivering formal assurance.


title: Unusual chemical bond and spectrum of beryllium dimer in ground $X^1\Sigma_g^+$ state

abstract: This review outlines the main results which show the dual nature of the chemical bond in diatomic beryllium molecule in the ground $X^1\Sigma_g^+$ state. It has been shown that the beryllium atoms are covalently bound at low-lying vibrational energy levels ({\nu}=0-4), while at higher ones ({\nu}=5-11) they are bound by van der Waals forces near the right turning points. High precision ab initio quantum calculations of Be$_2$ resulted in the development of the modified expanded Morse oscillator potential function which contains all twelve vibrational energy levels [A.V. Mitin, Chem. Phys. Lett. 682, 30 (2017)]. The dual nature of chemical bond in Be$_2$ is evidenced as a sharp corner on the attractive branch of the ground state potential curve. Moreover, it has been found that the Douglas-Kroll-Hess relativistic corrections also show a sharp corner when presented in dependence on the internuclear separation. The difference in energy between the extrapolated and calculated multi-reference configuration interaction energies in dependence on the internuclear separation also exhibits singular point in the same region. The other problems of ab initio quantum calculations of the beryllium dimer are also discussed. Calculated spectrum of vibrational-rotational bound states and new metastable states of the beryllium dimer in the ground state important for laser spectroscopy are presented. The vibration problem was solved for the modified expanded Morse oscillator potential function and for the potential function obtained with Slater-type orbitals [M. Lesiuk et al, Chem. Theory Comput. 15, 2470 (2019)]. The theoretical upper and lower estimates of the spectrum of vibrational-rotational bound states and the spectrum of rotational-vibrational metastable states with complex-valued energy eigenvalues and the scattering length in the beryllium dimer are presented.


title: Impact of correlations on topology in Kane-Mele model decorated with impurities

abstract: We propose an effective model for the study of the interplay between correlation and topology by decorating the Kane-Mele model with a set of localized interacting orbitals hybridized to just one sublattice, breaking the inversion symmetry. We show that in the time-reversal symmetric case, the interplay between interactions and hybridization extends the stability of the topological phase and depending on the driving mechanism very different behaviors are observed after the topological phase transition (TPT). We discuss the fate of the TPT in presence of weak ferromagnetic order, by introducing a weak local magnetic field at the localized orbitals, which splits the two band inversion points. One of the platforms to apply this model to are ferrovalley compounds, which are characterized by two independent band inversion points. Understanding this family of materials is crucial for the development of the valleytronics. An alternative to spintronics, which uses valley polarization as opposed to spin degrees of freedom as the building block, promises great opportunities for the development of information storage.


title: Multiwavelength Campaign Observations of a Young Solar-type Star, EK Draconis. I. Discovery of Prominence Eruptions Associated with Superflares

abstract: Young solar-type stars frequently produce superflares, serving as a unique window into the young Sun-Earth environments. Large solar flares are closely linked to coronal mass ejections (CMEs) associated with filament/prominence eruptions, but its observational evidence for stellar superflares remains scarce. Here, we present a 12-day multi-wavelength campaign observation of young solar-type star EK Draconis (G1.5V, 50-120 Myr age) utilizing TESS, NICER, and Seimei telescope. The star has previously exhibited blueshifted H$\alpha$ absorptions as evidence for a filament eruption associated with a superflare. Our simultaneous optical and X-ray observations identified three superflares of $1.5\times10^{33}$ -- $1.2\times10^{34}$ erg. We report the first discovery of two prominence eruptions on a solar-type star, observed as blueshifted H$\alpha$ emissions at speed of 690 and 430 km s$^{-1}$ and masses of $1.1\times10^{19}$ and $3.2\times10^{17}$ g, respectively. The faster, massive event shows a candidate of post-flare X-ray dimming with the amplitude of up to $\sim$10 \%. Several observational aspects consistently point to the occurrence of a fast CME associated with this event. The comparative analysis of the estimated length scales of flare loops, prominences, possible dimming region, and starspots provides the overall picture of the eruptive phenomena. Furthermore, the energy partition of the observed superflares in the optical and X-ray bands is consistent with flares from the Sun, M-dwarfs, and close binaries, yielding the unified empirical relations. These discoveries provide profound implications of impact of these eruptive events on the early Venus, Earth and Mars and young exoplanets.


title: Smith-Purcell radiation from time grating

abstract: Smith-Purcell radiation (SPR) occurs when an electron skims above a spatial grating, but the fixed momentum compensation from the static grating imposes limitations on the emission wavelength. It has been discovered that a temporally periodic system can provide energy compensation to generate light emissions in free space. Here, we introduce temporal SPR (t-SPR) emerging from a time grating and propose a generalized t-SPR dispersion equation to predict the relationship between radiation frequency, direction, electron velocity, modulation period, and harmonic orders. Compared to conventional SPR, t-SPR can: 1) Provide a versatile platform for manipulating SPR emission through temporal modulation (e.g., period, amplitude, wave shape). 2) Exhibit strong robustness to the electron-grating separation, alleviating the constraints associated with extreme electron near-field excitation. 3) Introduce additional energy channels through temporal modulation, enhancing and amplifying emission.


title: Cylindric Schur functions

abstract: We generalize several classical results about Schur functions to the family of cylindric Schur functions. First, we give a combinatorial proof of a Murnaghan--Nakayama formula for expanding cylindric Schur functions in the power-sum basis. We also explore some cases where this formula is cancellation-free. The second result is polynomiality of Kostka coefficients associated with stretched row-flagged skew Schur functions. This implies polynomiality of stretched cylindric Kostka coefficients. This generalizes a result by E. Rassart from 2004. Finally, we also show the saturation property for the row-flagged skew Kostka coefficients which also implies the saturation property for cylindric Schur functions.


title: LM-Polygraph: Uncertainty Estimation for Language Models

abstract: Recent advancements in the capabilities of large language models (LLMs) have paved the way for a myriad of groundbreaking applications in various fields. However, a significant challenge arises as these models often "hallucinate", i.e., fabricate facts without providing users an apparent means to discern the veracity of their statements. Uncertainty estimation (UE) methods are one path to safer, more responsible, and more effective use of LLMs. However, to date, research on UE methods for LLMs has been focused primarily on theoretical rather than engineering contributions. In this work, we tackle this issue by introducing LM-Polygraph, a framework with implementations of a battery of state-of-the-art UE methods for LLMs in text generation tasks, with unified program interfaces in Python. Additionally, it introduces an extendable benchmark for consistent evaluation of UE techniques by researchers, and a demo web application that enriches the standard chat dialog with confidence scores, empowering end-users to discern unreliable responses. LM-Polygraph is compatible with the most recent LLMs, including BLOOMz, LLaMA-2, ChatGPT, and GPT-4, and is designed to support future releases of similarly-styled LMs.


title: Individual claims reserving using the Aalen--Johansen estimator

abstract: We propose an individual claims reserving model based on the conditional Aalen-Johansen estimator, as developed in Bladt and Furrer (2023b). In our approach, we formulate a multi-state problem, where the underlying variable is the individual claim size, rather than time. The states in this model represent development periods, and we estimate the cumulative density function of individual claim sizes using the conditional Aalen-Johansen method as transition probabilities to an absorbing state. Our methodology reinterprets the concept of multi-state models and offers a strategy for modeling the complete curve of individual claim sizes. To illustrate our approach, we apply our model to both simulated and real datasets. Having access to the entire dataset enables us to support the use of our approach by comparing the predicted total final cost with the actual amount, as well as evaluating it in terms of the continuously ranked probability score.


title: P4-PSFP: P4-Based Per-Stream Filtering and Policing for Time-Sensitive Networking

abstract: Time-Sensitive Networking (TSN) extends Ethernet to enable real-time communication, including the Credit-Based Shaper (CBS) for prioritized scheduling and the Time-Aware Shaper (TAS) for scheduled traffic. Generally, TSN requires streams to be explicitly admitted before being transmitted. To ensure that admitted traffic conforms with the traffic descriptors indicated for admission control, Per-Stream Filtering and Policing (PSFP) has been defined. For credit-based metering, well-known token bucket policers are applied. However, time-based metering requires time-dependent switch behavior and time synchronization with sub-microsecond precision. While TSN-capable switches support various TSN traffic shaping mechanisms, a full implementation of PSFP is still not available. To bridge this gap, we present a P4-based implementation of PSFP on a 100 Gb/s per port hardware switch. We explain the most interesting aspects of the PSFP implementation whose code is available on GitHub. We demonstrate credit-based and time-based policing and synchronization capabilities to validate the functionality and effectiveness of P4-PSFP. The implementation scales up to 35840 streams depending on the stream identification method. P4-PSFP can be used in practice as long as appropriate TSN switches lack this function. Moreover, its implementation may be helpful for other P4-based hardware implementations that require time synchronization.


title: Science as Exploration in a Knowledge Landscape: Tracing Hotspots or Seeking Opportunity?

abstract: The selection of research topics by scientists can be viewed as an exploration process conducted by individuals with cognitive limitations traversing a complex cognitive landscape influenced by both individual and social factors. While existing theoretical investigations have provided valuable insights, the intricate and multifaceted nature of modern science hinders the implementation of empirical experiments. This study leverages advancements in deep learning techniques to investigate the patterns and dynamic mechanisms of topic-transition among scientists. By constructing the knowledge space across 6 large-scale disciplines, we depict the trajectories of scientists' topic transitions within this space, measuring the flow and distance of research regions across different sub-spaces. Our findings reveal a predominantly conservative pattern of topic transition at the individual level, with scientists primarily exploring local knowledge spaces. Furthermore, simulation modeling analysis identifies research intensity, driven by the concentration of scientists within a specific region, as the key facilitator of topic transition. Conversely, the knowledge distance between fields serves as a significant barrier to exploration. Notably, despite potential opportunities for breakthrough discoveries at the intersection of subfields, empirical evidence suggests that these opportunities do not exert a strong pull on scientists, leading them to favor familiar research areas. Our study provides valuable insights into the exploration dynamics of scientific knowledge production, highlighting the influence of individual cognition, social factors, and the intrinsic structure of the knowledge landscape itself. These findings offer a framework for understanding and potentially shaping the course of scientific progress.


title: Assessing Logical Puzzle Solving in Large Language Models: Insights from a Minesweeper Case Study

abstract: Large Language Models (LLMs) have shown remarkable proficiency in language understanding and have been successfully applied to a variety of real-world tasks through task-specific fine-tuning or prompt engineering. Despite these advancements, it remains an open question whether LLMs are fundamentally capable of reasoning and planning, or if they primarily rely on recalling and synthesizing information from their training data. In our research, we introduce a novel task -- Minesweeper -- specifically designed in a format unfamiliar to LLMs and absent from their training datasets. This task challenges LLMs to identify the locations of mines based on numerical clues provided by adjacent opened cells. Successfully completing this task requires an understanding of each cell's state, discerning spatial relationships between the clues and mines, and strategizing actions based on logical deductions drawn from the arrangement of the cells. Our experiments, including trials with the advanced GPT-4 model, indicate that while LLMs possess the foundational abilities required for this task, they struggle to integrate these into a coherent, multi-step logical reasoning process needed to solve Minesweeper. These findings highlight the need for further research to understand the nature of reasoning capabilities in LLMs under similar circumstances, and to explore pathways towards more sophisticated AI reasoning and planning models.


title: Predicting Ising Model Performance on Quantum Annealers

abstract: By analyzing the characteristics of hardware-native Ising Models and their performance on current and next generation quantum annealers, we provide a framework for determining the prospect of advantage utilizing adiabatic evolution compared to classical heuristics like simulated annealing. We conduct Ising Model experiments with coefficients drawn from a variety of different distributions and provide a range for the necessary moments of the distributions that lead to frustration in classical heuristics. By identifying the relationships between the linear and quadratic terms of the models, analysis can be done a priori to determine problem instance suitability on annealers. We then extend these experiments to a prototype of D-Wave's next generation device, showing further performance improvements compared to the current Advantage annealers.


title: Transpose Attack: Stealing Datasets with Bidirectional Training

abstract: Deep neural networks are normally executed in the forward direction. However, in this work, we identify a vulnerability that enables models to be trained in both directions and on different tasks. Adversaries can exploit this capability to hide rogue models within seemingly legitimate models. In addition, in this work we show that neural networks can be taught to systematically memorize and retrieve specific samples from datasets. Together, these findings expose a novel method in which adversaries can exfiltrate datasets from protected learning environments under the guise of legitimate models. We focus on the data exfiltration attack and show that modern architectures can be used to secretly exfiltrate tens of thousands of samples with high fidelity, high enough to compromise data privacy and even train new models. Moreover, to mitigate this threat we propose a novel approach for detecting infected models.


title: Evaluating the Significance of Outdoor Advertising from Driver's Perspective Using Computer Vision

abstract: Outdoor advertising, such as roadside billboards, plays a significant role in marketing campaigns but can also be a distraction for drivers, potentially leading to accidents. In this study, we propose a pipeline for evaluating the significance of roadside billboards in videos captured from a driver's perspective. We have collected and annotated a new BillboardLamac dataset, comprising eight videos captured by drivers driving through a predefined path wearing eye-tracking devices. The dataset includes annotations of billboards, including 154 unique IDs and 155 thousand bounding boxes, as well as eye fixation data. We evaluate various object tracking methods in combination with a YOLOv8 detector to identify billboard advertisements with the best approach achieving 38.5 HOTA on BillboardLamac. Additionally, we train a random forest classifier to classify billboards into three classes based on the length of driver fixations achieving 75.8% test accuracy. An analysis of the trained classifier reveals that the duration of billboard visibility, its saliency, and size are the most influential features when assessing billboard significance.


title: Multi-Layer Monitoring at the Edge for Vehicular Video Streaming: Field Trials

abstract: In an increasingly connected world, wireless networks' monitoring and characterization are of vital importance. Service and application providers need to have a detailed understanding of network performance to offer new solutions tailored to the needs of today's society. In the context of mobility, in-vehicle infotainment services are expected to stand out among other popular connected vehicle services, so it is essential that communication networks are able to satisfy the Quality of Service (QoS) and Quality of Experience (QoE) requirements needed for these type of services. This paper investigates a multi-layer network performance monitoring architecture at the edge providing QoS, QoE, and localization information for vehicular video streaming applications in real-time over 5G networks. In order to conduct field trials and show test results, Mobile Network Operators (MNOs)' 5G Standalone (SA) network and Multi-access Edge Computing (MEC) infrastructure are used to provide connectivity and edge computing resources to a vehicle equipped with a 5G modem.


title: The effects of the antenna power pattern uncertainty within a global 21 cm experiment

abstract: Experimental 21 cm cosmology aims to detect the formation of the first stars during the cosmic dawn and the subsequent epoch of reionization by utilizing the 21 cm hydrogen line transition. While several experiments have published results that begin to constrain the shape of this signal, a definitive detection has yet to be achieved. In this paper, we investigate the influence of uncertain antenna-sky interactions on the possibility of detecting the signal. This paper aims to define the level of accuracy to which a simulated antenna beam pattern is required to agree with the actual observing beam pattern of the antenna to allow for a confident detection of the global 21 cm signal. By utilising singular value decomposition, we construct a set of antenna power patterns that incorporate minor, physically motivated variations. We take the absolute mean averaged difference between the original beam and the perturbed beam averaged over frequency ($\Delta D$) to quantifying this difference, identifying the correlation between $\Delta D$ and antenna temperature. To analyse the impact of $\Delta D$ on making a confident detection, we utilize the REACH Bayesian analysis pipeline and compare the Bayesian evidence $\log \mathcal{Z}$ and root-mean-square error for antenna beams of different $\Delta D$ values. Our calculations suggest that achieving an agreement between the original and perturbed antenna power pattern with $\Delta D$ better than -35 dB is necessary for confident detection of the global 21 cm signal. Furthermore, we discuss potential methods to achieve the required high level of accuracy within a global 21~cm experiment.


title: Emergent lifetime distribution from complex network systems aging

abstract: Most theoretical analysis for lifetime distribution explains origins of specific distribution based on independent failure. We develop a unified framework encompassing different lifetime distribution for failure-coupled network systems. We find three types of system lifetime distributions emerged from competence between system size N and failure coupling strength $\phi$. System lifetime distribution can be describe by modified Weibull model, which degenerates into Gompertz model when N dominates and exponential distribution when $\phi$ dominates. We derive asymptotic lifetime distribution. Specially, we derive a fundamental equation of thermodynamics for failure-coupled systems. Our study will help design highly reliable systems.


title: Transient study using LoTSS -- framework development and preliminary results

abstract: We present a search for transient radio sources on time-scales of seconds to hours at 144 MHz using the LOFAR Two-metre Sky Survey (LoTSS). This search is conducted by examining short time-scale images derived from the LoTSS data. To allow imaging of LoTSS on short time-scales, a novel imaging and filtering strategy is introduced. This includes sky model source subtraction, no cleaning or primary beam correction, a simple source finder, fast filtering schemes and source catalogue matching. This new strategy is first tested by injecting simulated transients, with a range of flux densities and durations, into the data. We find the limiting sensitivity to be 113 and 6 mJy for 8 second and 1 hour transients respectively. The new imaging and filtering strategies are applied to 58 fields of the LoTSS survey, corresponding to LoTSS-DR1 (2% of the survey). One transient source is identified in the 8 second and 2 minute snapshot images. The source shows one minute duration flare in the 8 hour observation. Our method puts the most sensitive constraints on/estimates of the transient surface density at low frequencies at time-scales of seconds to hours; $<4.0\cdot 10^{-4} \; \text{deg}^{-2}$ at 1 hour at a sensitivity of 6.3 mJy; $5.7\cdot 10^{-7} \; \text{deg}^{-2}$ at 2 minutes at a sensitivity of 30 mJy; and $3.6\cdot 10^{-8} \; \text{deg}^{-2}$ at 8 seconds at a sensitivity of 113 mJy. In the future, we plan to apply the strategies presented in this paper to all LoTSS data.


title: Predicting Continuous Locomotion Modes via Multidimensional Feature Learning from sEMG

abstract: Walking-assistive devices require adaptive control methods to ensure smooth transitions between various modes of locomotion. For this purpose, detecting human locomotion modes (e.g., level walking or stair ascent) in advance is crucial for improving the intelligence and transparency of such robotic systems. This study proposes Deep-STF, a unified end-to-end deep learning model designed for integrated feature extraction in spatial, temporal, and frequency dimensions from surface electromyography (sEMG) signals. Our model enables accurate and robust continuous prediction of nine locomotion modes and 15 transitions at varying prediction time intervals, ranging from 100 to 500 ms. In addition, we introduced the concept of 'stable prediction time' as a distinct metric to quantify prediction efficiency. This term refers to the duration during which consistent and accurate predictions of mode transitions are made, measured from the time of the fifth correct prediction to the occurrence of the critical event leading to the task transition. This distinction between stable prediction time and prediction time is vital as it underscores our focus on the precision and reliability of mode transition predictions. Experimental results showcased Deep-STP's cutting-edge prediction performance across diverse locomotion modes and transitions, relying solely on sEMG data. When forecasting 100 ms ahead, Deep-STF surpassed CNN and other machine learning techniques, achieving an outstanding average prediction accuracy of 96.48%. Even with an extended 500 ms prediction horizon, accuracy only marginally decreased to 93.00%. The averaged stable prediction times for detecting next upcoming transitions spanned from 28.15 to 372.21 ms across the 100-500 ms time advances.


title: Exploring Values in Museum Artifacts in the SPICE project: a Preliminary Study

abstract: This document describes the rationale, the implementation and a preliminary evaluation of a semantic reasoning tool developed in the EU H2020 SPICE project to enhance the diversity of perspectives experienced by museum visitors. The tool, called DEGARI 2.0 for values, relies on the commonsense reasoning framework TCL, and exploits an ontological model formalizingthe Haidt's theory of moral values to associate museum items with combined values and emotions. Within a museum exhibition, this tool can suggest cultural items that are associated not only with the values of already experienced or preferred objects, but also with novel items with different value stances, opening the visit experience to more inclusive interpretations of cultural content. The system has been preliminarily tested, in the context of the SPICE project, on the collection of the Hecht Museum of Haifa.


title: AMBER: An LLM-free Multi-dimensional Benchmark for MLLMs Hallucination Evaluation

abstract: Despite making significant progress in multi-modal tasks, current Multi-modal Large Language Models (MLLMs) encounter the significant challenge of hallucinations, which may lead to harmful consequences. Therefore, evaluating MLLMs' hallucinations is becoming increasingly important in model improvement and practical application deployment. Previous works are limited in high evaluation costs (e.g., relying on humans or advanced LLMs) and insufficient evaluation dimensions (e.g., types of tasks and hallucinations). In this paper, we propose an LLM-free multi-dimensional benchmark AMBER, which can be used to evaluate both generative task and discriminative task including existence, attribute and relation hallucination. Based on AMBER, we design a low-cost and efficient evaluation pipeline. Additionally, we conduct a comprehensive evaluation and detailed analysis of mainstream MLLMs including GPT-4V(ision), and also give guideline suggestions for mitigating hallucinations. The data and code of AMBER are available at https://github.com/junyangwang0410/AMBER.


title: Processing and Segmentation of Human Teeth from 2D Images using Weakly Supervised Learning

abstract: Teeth segmentation is an essential task in dental image analysis for accurate diagnosis and treatment planning. While supervised deep learning methods can be utilized for teeth segmentation, they often require extensive manual annotation of segmentation masks, which is time-consuming and costly. In this research, we propose a weakly supervised approach for teeth segmentation that reduces the need for manual annotation. Our method utilizes the output heatmaps and intermediate feature maps from a keypoint detection network to guide the segmentation process. We introduce the TriDental dataset, consisting of 3000 oral cavity images annotated with teeth keypoints, to train a teeth keypoint detection network. We combine feature maps from different layers of the keypoint detection network, enabling accurate teeth segmentation without explicit segmentation annotations. The detected keypoints are also used for further refinement of the segmentation masks. Experimental results on the TriDental dataset demonstrate the superiority of our approach in terms of accuracy and robustness compared to state-of-the-art segmentation methods. Our method offers a cost-effective and efficient solution for teeth segmentation in real-world dental applications, eliminating the need for extensive manual annotation efforts.


title: Context-Aware Adaptive Prefetching for DASH Streaming over 5G Networks

abstract: The increasing consumption of video streams and the demand for higher-quality content drive the evolution of telecommunication networks and the development of new network accelerators to boost media delivery while optimizing network usage. Multi-access Edge Computing (MEC) enables the possibility to enforce media delivery by deploying caching instances at the network edge, close to the Radio Access Network (RAN). Thus, the content can be prefetched and served from the MEC host, reducing network traffic and increasing the Quality of Service (QoS) and the Quality of Experience (QoE). This paper proposes a novel mechanism to prefetch Dynamic Adaptive Streaming over HTTP (DASH) streams at the MEC, employing a Machine Learning (ML) classification model to select the media segments to prefetch. The model is trained with media session metrics to improve the forecasts with application layer information. The proposal is tested with Mobile Network Operators (MNOs)' 5G MEC and RAN and compared with other strategies by assessing cache and player's performance metrics.


title: Virtual invariants of critical loci in GIT quotients of linear spaces

abstract: We use an equivariant version of the localization formula of Jeffrey and Kirwan to prove a formula for virtual invariants $(\text{DT}$, $\chi_y$, $\text{Ell})$ of critical loci in quotients of linear spaces by actions of reductive algebraic groups. In particular we recover formulae for the invariants of critical loci of potentials in moduli spaces of quiver representations predicted by physicists.


title: Translocation of a daughter vesicle in a model system of self-reproducing vesicles

abstract: Translocation of a daughter vesicle from a mother vesicle through a pore is experimentally studied by many groups using a model system of self-reproducing vesicles. However, the theoretical formulation of the problem is not fully understood. In the present study, we present a theoretical formulation of the process based on our previous work [P. Khunpetch et al., Phys. Fluids 33, 077103 (2021)]. In our previous work, we considered the daughter vesicle as a rigid body. In the present work, however, we allow the daughter vesicle to deform during the expulsion process. We thus derive the free energy constituting of the elastic moduli of both the mother and daughter vesicles, and of pressure-driven contribution. The minimum energy path of the translocation is searched by using the string method. Our improved model successfully suggests the disappearance of the energy barrier where all the elastic moduli are in agreement with the experimental reports, while the previous work is unsuccessful to do so. The equations of motion of the daughter vesicle have been derived within the framework of the Onsager principle. We found that the translocation time of the daughter vesicle can be reduced when the pressure inside the mother vesicle increases, or the initial size of the daughter vesicle decreases.


title: Emittance-preserving acceleration of high-quality positron beams using warm plasma filaments

abstract: Preserving the quality of positron beams in plasma-based accelerators, where wakefields are generated in electron filaments, is challenging. These wakefields are characterized by transversely non-linear focusing fields and non-uniform accelerating fields. However, a nonzero plasma temperature linearizes the transverse wakefield within the central region of the electron filament. In this study, we employ 3D particle-in-cell simulations with mesh refinement to demonstrate that beams with emittances on the order of tens of nanometers are contained within the linearized region of the transverse wakefield. This enables emittance preservation to one percent, while positron beams with the same charge and micrometer emittances, which sample the non-linear part of the transverse wakefield, experience a relative emittance growth of ten percent. Additionally, we observe a significant reduction in the growth rate of the slice energy spread for the tens of nanometers emittance beams in comparison to the micrometer emittance beams. The utilization of warm plasmas in conjunction with low-emittance beams opens up new avenues for enhancing the beam quality across various plasma-based positron acceleration approaches.


title: Moving mirrors and event horizons in asymptotically non-flat spacetimes

abstract: Moving mirrors have been used for a long time as simple models for studying various properties of black hole radiation, such as the thermal spectrum and entanglement entropy. These models are typically constructed to mimic the collapse of a spherically symmetric distribution of matter in the asymptotically Minkowski background. We generalize this correspondence to the case of non-trivial background geometry (e.g. a black hole in the AdS spacetime) and somewhat relax the assumption of spherical symmetry.


title: Fast convergence of trust-regions for non-isolated minima via analysis of CG on indefinite matrices

abstract: Trust-region methods (TR) can converge quadratically to minima where the Hessian is positive definite. However, if the minima are not isolated, then the Hessian there cannot be positive definite. The weaker Polyak$\unicode{x2013}${\L}ojasiewicz (P{\L}) condition is compatible with non-isolated minima, and it is enough for many algorithms to preserve good local behavior. Yet, TR with an $\textit{exact}$ subproblem solver lacks even basic features such as a capture theorem under P{\L}. In practice, a popular $\textit{inexact}$ subproblem solver is the truncated conjugate gradient method (tCG). Empirically, TR-tCG exhibits super-linear convergence under P{\L}. We confirm this theoretically. The main mathematical obstacle is that, under P{\L}, at points arbitrarily close to minima, the Hessian has vanishingly small, possibly negative eigenvalues. Thus, tCG is applied to ill-conditioned, indefinite systems. Yet, the core theory underlying tCG is that of CG, which assumes a positive definite operator. Accordingly, we develop new tools to analyze the dynamics of CG in the presence of small eigenvalues of any sign, for the regime of interest to TR-tCG.


title: Superconductivity and spin density wave in AA stacked bilayer graphene

abstract: This work theoretically analyzes electronic instabilities in AA-stacked bilayer graphene and the role of the Coulomb interaction in stabilization of electronic ordered states in this system. The Coulomb interaction screening is accounted with the help of the random phase approximation. We observe that the repulsion between charge carriers located in the same graphene layers is much larger than that between the electrons moving in different layers (moreover, under certain circumstances the inter-layer effective interaction becomes attractive). At zero doping, the intra-layer Coulomb repulsion is responsible for arising of the spin-density wave (SDW) state. The Neel temperature for this phase is estimated to be about several tens K. The SDW is the dominating order in undoped system, but it is destroyed completely by sufficiently strong doping, allowing a superconducting phase to emerge. As for the superconducting mechanism, we demonstrate that the effective inter-layer attraction can give rise to superconductivity. However, the corresponding critical temperature is negligibly small, and phonon-mediated attraction must be introduced into the model to make the superconductivity observable. Strong intra-layer Coulomb repulsion favors the order parameters that couple electrons in different layers. In this case two different types of the superconducting phase can exist in the system. The first type is a usual superconductivity with Copper pairs having zero total momentum in the ground state. Such superconductivity exists if the coupling between electrons with momenta near different Dirac cones dominates. When the interaction between electrons near the same Dirac cones is larger, the Cooper pairs have a non-zero momenta in the ground state. Superconducting gap can increase or decrease with doping depending on the relationship between intra-band and inter-band BCS interaction.


title: On the asymptotic of lottery numbers

abstract: Let $L(n,k,r,p)$ denote the minimum number of $k$-subsets of an $n$-set such that all the $\binom{n}{p}$ $p$-subsets are intersected by one of them in at least $r$ elements. The case $p=r$ corresponds to the covering numbers, while the case $k=r$ corresponds to the Tur\'an numbers. In both cases, there exists a limit of $L(n,k,r,p) / \binom{n}{r}$ as $n\to\infty$. We prove the existence of this limit in the general case.


title: Towards Automatic Honey Bee Flower-Patch Assays with Paint Marking Re-Identification

abstract: In this paper, we show that paint markings are a feasible approach to automatize the analysis of behavioral assays involving honey bees in the field where marking has to be as lightweight as possible. We contribute a novel dataset for bees re-identification with paint-markings with 4392 images and 27 identities. Contrastive learning with a ResNet backbone and triplet loss led to identity representation features with almost perfect recognition in closed setting where identities are known in advance. Diverse experiments evaluate the capability to generalize to separate IDs, and show the impact of using different body parts for identification, such as using the unmarked abdomen only. In addition, we show the potential to fully automate the visit detection and provide preliminary results of compute time for future real-time deployment in the field on an edge device.


title: Boundedness and Decay for the Teukolsky System in Kerr-Newman Spacetime I: The Case $|a|, |Q| \ll M$

abstract: We prove boundedness and polynomial decay statements for solutions of the Teukolsky system for electromagnetic-gravitational perturbations of a Kerr-Newman exterior background, with parameters satisfying $|a|, |Q| \ll M$. The identification and analysis of the Teukolsky system in Kerr-Newman has long been problematic due to the long-standing problem of coupling and failure of separability of the equations. Here, we analyze a system satisfied by novel gauge-invariant quantities representing gravitational and electromagnetic radiations for coupled perturbations of a Kerr-Newman black hole. The bounds are obtained by making use of a generalization of the Chandrasekhar transformation into a system of coupled generalized Regge-Wheeler equations derived in previous work. Crucial in our resolution is the use of a combined energy-momentum tensor for the system which exploits its symmetric structure, performing an effective decoupling of the perturbations. As for other black hole solutions, such bounds on the Teukolsky system provide the first step in proving the non linear stability of the Kerr-Newman metric to gravitational and electromagnetic perturbations.


title: Reducing Entanglement With Physically-Inspired Fermion-To-Qubit Mappings

abstract: In ab-initio electronic structure simulations, fermion-to-qubit mappings represent the initial encoding step of the fermionic problem into qubits. This work introduces a physically-inspired method for constructing mappings that significantly simplify entanglement requirements when simulating states of interest. The presence of electronic excitations drives the construction of our mappings, reducing correlations for target states in the qubit space. To benchmark our method, we simulate ground states of small molecules and observe an enhanced performance when compared to classical and quantum variational approaches from prior research employing conventional mappings. In particular, on the quantum side, our mappings require a reduced number of entangling layers to achieve chemical accuracy for the $LiH$, $H_2$, $(H_2)_2$ and $H_4$ molecules using the RY hardware efficient ansatz. In addition, our mappings also provide an enhanced ground state simulation performance in the density matrix renormalization group algorithm for the $N_2$ molecule.


title: Toward Optimal Psychological Functioning in AI-driven Software Engineering Tasks: The SEWELL-CARE Assessment Framework

abstract: In the field of software engineering, there has been a shift towards utilizing various artificial intelligence techniques to address challenges and create innovative tools. These solutions are aimed at enhancing efficiency, automating tasks, and providing valuable support to developers. While the technical aspects are crucial, the well-being and psychology of the individuals performing these tasks are often overlooked. This paper argues that a holistic approach is essential, one that considers the technical, psychological, and social aspects of software engineering tasks. To address this gap, we introduce SEWELL-CARE, a conceptual framework designed to assess AI-driven software engineering tasks from multiple perspectives, with the goal of customizing the tools to improve the efficiency, well-being, and psychological functioning of developers. By emphasizing both technical and human dimensions, our framework provides a nuanced evaluation that goes beyond traditional technical metrics.


title: A Large Deviations Perspective on Policy Gradient Algorithms

abstract: Motivated by policy gradient methods in the context of reinforcement learning, we identify a large deviation rate function for the iterates generated by stochastic gradient descent for possibly non-convex objectives satisfying a Polyak-{\L}ojasiewicz condition. Leveraging the contraction principle from large deviations theory, we illustrate the potential of this result by showing how convergence properties of policy gradient with a softmax parametrization and an entropy regularized objective can be naturally extended to a wide spectrum of other policy parametrizations.


title: Integrable system on partial isometries: a finite dimensional picture

abstract: The aim of the paper is to present the integrable systems on partial isometries which are related to the restricted Grassmannian in finite dimensional context. Some explicit solutions are obtained.


title: Performance of the electromagnetic and hadronic prototype segments of the ALICE Forward Calorimeter

abstract: We present the performance of a full-length prototype of the ALICE Forward Calorimeter (FoCal). The detector is composed of a silicon-tungsten electromagnetic sampling calorimeter with longitudinal and transverse segmentation (FoCal-E) of about 20$X_0$ and a hadronic copper-scintillating-fiber calorimeter (FoCal-H) of about 5$\lambda_{\rm int}$. The data were taken between 2021 and 2023 at the CERN PS and SPS beam lines with hadron (electron) beams up to energies of 350 (300) GeV. Regarding FoCal-E, we report a comprehensive analysis of its response to minimum ionizing particles across all pad layers. The longitudinal shower profile of electromagnetic showers is measured with a layer-wise segmentation of 1$X_0$. As a projection to the performance of the final detector in electromagnetic showers, we demonstrate linearity in the full energy range, and show that the energy resolution fulfills the requirements for the physics needs. Additionally, the performance to separate two-showers events was studied by quantifying the transverse shower width. Regarding FoCal-H, we report a detailed analysis of the response to hadron beams between 60 and 350 GeV. The results are compared to simulations obtained with a Geant4 model of the test beam setup, which in particular for FoCal-E are in good agreement with the data. The energy resolution of FoCal-E was found to be lower than 3% at energies larger than 100 GeV. The response of FoCal-H to hadron beams was found to be linear, albeit with a significant intercept that is about factor 2 larger than in simulations. Its resolution, which is non-Gaussian and generally larger than in simulations, was quantified using the FWHM, and decreases from about 16% at 100 GeV to about 11% at 350 GeV. The discrepancy to simulations, which is particularly evident at low hadron energies, needs to be further investigated.


title: FIRST: A Million-Entry Dataset for Text-Driven Fashion Synthesis and Design

abstract: Text-driven fashion synthesis and design is an extremely valuable part of artificial intelligence generative content(AIGC), which has the potential to propel a tremendous revolution in the traditional fashion industry. To advance the research on text-driven fashion synthesis and design, we introduce a new dataset comprising a million high-resolution fashion images with rich structured textual(FIRST) descriptions. In the FIRST, there is a wide range of attire categories and each image-paired textual description is organized at multiple hierarchical levels. Experiments on prevalent generative models trained over FISRT show the necessity of FIRST. We invite the community to further develop more intelligent fashion synthesis and design systems that make fashion design more creative and imaginative based on our dataset. The dataset will be released soon.


title: Differentially Private Approximate Pattern Matching

abstract: In this paper, we consider the $k$-approximate pattern matching problem under differential privacy, where the goal is to report or count all substrings of a given string $S$ which have a Hamming distance at most $k$ to a pattern $P$, or decide whether such a substring exists. In our definition of privacy, individual positions of the string $S$ are protected. To be able to answer queries under differential privacy, we allow some slack on $k$, i.e. we allow reporting or counting substrings of $S$ with a distance at most $(1+\gamma)k+\alpha$ to $P$, for a multiplicative error $\gamma$ and an additive error $\alpha$. We analyze which values of $\alpha$ and $\gamma$ are necessary or sufficient to solve the $k$-approximate pattern matching problem while satisfying $\epsilon$-differential privacy. Let $n$ denote the length of $S$. We give 1) an $\epsilon$-differentially private algorithm with an additive error of $O(\epsilon^{-1}\log n)$ and no multiplicative error for the existence variant; 2) an $\epsilon$-differentially private algorithm with an additive error $O(\epsilon^{-1}\max(k,\log n)\cdot\log n)$ for the counting variant; 3) an $\epsilon$-differentially private algorithm with an additive error of $O(\epsilon^{-1}\log n)$ and multiplicative error $O(1)$ for the reporting variant for a special class of patterns. The error bounds hold with high probability. All of these algorithms return a witness, that is, if there exists a substring of $S$ with distance at most $k$ to $P$, then the algorithm returns a substring of $S$ with distance at most $(1+\gamma)k+\alpha$ to $P$. Further, we complement these results by a lower bound, showing that any algorithm for the existence variant which also returns a witness must have an additive error of $\Omega(\epsilon^{-1}\log n)$ with constant probability.


title: Three-dimensional granular flow simulation using graph neural network-based learned simulator

abstract: Reliable evaluations of geotechnical hazards like landslides and debris flow require accurate simulation of granular flow dynamics. Traditional numerical methods can simulate the complex behaviors of such flows that involve solid-like to fluid-like transitions, but they are computationally intractable when simulating large-scale systems. Surrogate models based on statistical or machine learning methods are a viable alternative, but they are typically empirical and rely on a confined set of parameters in evaluating associated risks. Due to their permutation-dependent learning, conventional machine learning models require an unreasonably large amount of training data for building generalizable surrogate models. We employ a graph neural network (GNN), a novel deep learning technique, to develop a GNN-based simulator (GNS) for granular flows to address these issues. Graphs represent the state of granular flows and interactions, like the exchange of energy and momentum between grains, and GNN learns the local interaction law. GNS takes the current state of the granular flow and estimates the next state using Euler explicit integration. We train GNS on a limited set of granular flow trajectories and evaluate its performance in a three-dimensional granular column collapse domain. GNS successfully reproduces the overall behaviors of column collapses with various aspect ratios that were not encountered during training. The computation speed of GNS outperforms high-fidelity numerical simulators by 300 times.


title: Mitigating Backdoors within Deep Neural Networks in Data-limited Configuration

abstract: As the capacity of deep neural networks (DNNs) increases, their need for huge amounts of data significantly grows. A common practice is to outsource the training process or collect more data over the Internet, which introduces the risks of a backdoored DNN. A backdoored DNN shows normal behavior on clean data while behaving maliciously once a trigger is injected into a sample at the test time. In such cases, the defender faces multiple difficulties. First, the available clean dataset may not be sufficient for fine-tuning and recovering the backdoored DNN. Second, it is impossible to recover the trigger in many real-world applications without information about it. In this paper, we formulate some characteristics of poisoned neurons. This backdoor suspiciousness score can rank network neurons according to their activation values, weights, and their relationship with other neurons in the same layer. Our experiments indicate the proposed method decreases the chance of attacks being successful by more than 50% with a tiny clean dataset, i.e., ten clean samples for the CIFAR-10 dataset, without significantly deteriorating the model's performance. Moreover, the proposed method runs three times as fast as baselines.


title: Speech-based Slot Filling using Large Language Models

abstract: Recently, advancements in large language models (LLMs) have shown an unprecedented ability across various language tasks. This paper investigates the potential application of LLMs to slot filling with noisy ASR transcriptions, via both in-context learning and task-specific fine-tuning. Dedicated prompt designs and fine-tuning approaches are proposed to improve the robustness of LLMs for slot filling with noisy ASR transcriptions. Moreover, a linearised knowledge injection (LKI) scheme is also proposed to integrate dynamic external knowledge into LLMs. Experiments were performed on SLURP to quantify the performance of LLMs, including GPT-3.5-turbo, GPT-4, LLaMA-13B and Vicuna-13B (v1.1 and v1.5) with different ASR error rates. The use of the proposed fine-tuning together with the LKI scheme for LLaMA-13B achieved an 8.3% absolute SLU-F1 improvement compared to the strong Flan-T5-base baseline system on a limited data setup.


title: Diaconis-Ylvisaker prior penalized likelihood for $p/n \to \kappa \in (0,1)$ logistic regression

abstract: We characterise the behaviour of the maximum Diaconis-Ylvisaker prior penalized likelihood estimator in high-dimensional logistic regression, where the number of covariates is a fraction $\kappa \in (0,1)$ of the number of observations $n$, as $n \to \infty$. We derive the estimator's aggregate asymptotic behaviour when covariates are independent normal random variables with mean zero and variance $1/n$, and the vector of regression coefficients has length $\gamma \sqrt{n}$, asymptotically. From this foundation, we devise adjusted $Z$-statistics, penalized likelihood ratio statistics, and aggregate asymptotic results with arbitrary covariate covariance. In the process, we fill in gaps in previous literature by formulating a Lipschitz-smooth approximate message passing recursion, to formally transfer the asymptotic results from approximate message passing to logistic regression. While the maximum likelihood estimate asymptotically exists only for a narrow range of $(\kappa, \gamma)$ values, the maximum Diaconis-Ylvisaker prior penalized likelihood estimate not only exists always but is also directly computable using maximum likelihood routines. Thus, our asymptotic results also hold for $(\kappa, \gamma)$ values where results for maximum likelihood are not attainable, with no overhead in implementation or computation. We study the estimator's shrinkage properties and compare it to logistic ridge regression and demonstrate our theoretical findings with simulations.


title: The H0 trouble: Confronting Non-thermal Dark Matter and Phantom Cosmology with the CMB, BAO, and Type Ia Supernovae data

abstract: We have witnessed different values of the Hubble constant being found in the literature in the past years. Albeit, early measurements often result in an $H_0$ much smaller than those from late-time ones, producing a statistically significant discrepancy, and giving rise to the so-called Hubble tension. The trouble with the Hubble constant is often treated as a cosmological problem. However, the Hubble constant can be a laboratory to probe cosmology and particle physics models. In our work, we will investigate if the possibility of explaining the $H_0$ trouble using non-thermal dark matter production aided by phantom-like cosmology is consistent with the Cosmic Background Radiation (CMB) and Baryon Acoustic Oscillation (BAO) data. We performed a full Monte Carlo simulation using CMB and BAO datasets keeping the cosmological parameters $\Omega_b h^2$, $\Omega_c h^2$, $100\theta$, $\tau_{opt}$, and $w$ as priors and concluded that a non-thermal dark matter production aided by phantom-like cosmology yields at most $H_0=70.5$ km s$^{-1}$Mpc$^{-1}$ which is consistent with some late-time measurements. However, if $H_0> 72$ km s$^{-1}$ Mpc$^{-1}$ as many late-time observations indicate, an alternative solution to the Hubble trouble is needed. Lastly, we limited the fraction of relativistic dark matter at the matter-radiation equality to be at most 1\%.


title: Robust semi-supervised segmentation with timestep ensembling diffusion models

abstract: Medical image segmentation is a challenging task, made more difficult by many datasets' limited size and annotations. Denoising diffusion probabilistic models (DDPM) have recently shown promise in modelling the distribution of natural images and were successfully applied to various medical imaging tasks. This work focuses on semi-supervised image segmentation using diffusion models, particularly addressing domain generalisation. Firstly, we demonstrate that smaller diffusion steps generate latent representations that are more robust for downstream tasks than larger steps. Secondly, we use this insight to propose an improved esembling scheme that leverages information-dense small steps and the regularising effect of larger steps to generate predictions. Our model shows significantly better performance in domain-shifted settings while retaining competitive performance in-domain. Overall, this work highlights the potential of DDPMs for semi-supervised medical image segmentation and provides insights into optimising their performance under domain shift.


title: Sidekick compilation with xDSL

abstract: Traditionally, compiler researchers either conduct experiments within an existing production compiler or develop their own prototype compiler; both options come with trade-offs. On one hand, prototyping in a production compiler can be cumbersome, as they are often optimized for program compilation speed at the expense of software simplicity and development speed. On the other hand, the transition from a prototype compiler to production requires significant engineering work. To bridge this gap, we introduce the concept of sidekick compiler frameworks, an approach that uses multiple frameworks that interoperate with each other by leveraging textual interchange formats and declarative descriptions of abstractions. Each such compiler framework is specialized for specific use cases, such as performance or prototyping. Abstractions are by design shared across frameworks, simplifying the transition from prototyping to production. We demonstrate this idea with xDSL, a sidekick for MLIR focused on prototyping and teaching. xDSL interoperates with MLIR through a shared textual IR and the exchange of IRs through an IR Definition Language. The benefits of sidekick compiler frameworks are evaluated by showing on three use cases how xDSL impacts their development: teaching, DSL compilation, and rewrite system prototyping. We also investigate the trade-offs that xDSL offers, and demonstrate how we simplify the transition between frameworks using the IRDL dialect. With sidekick compilation, we envision a future in which engineers minimize the cost of development by choosing a framework built for their immediate needs, and later transitioning to production with minimal overhead.


title: Superconductivity in trilayer nickelate La4Ni3O10 under pressure

abstract: Nickelate superconductors have attracted a great deal of attention over the past few decades due to their similar crystal and electronic structures with high-temperature cuprate superconductors. Here, we report the superconductivity in a pressurized Ruddlesden-Popper phase single crystal, La4Ni3O10 (n = 3), and its interplay with the density wave order in the phase diagram. With increasing pressure, the density wave order as indicated by the anomaly in the resistivity is progressively suppressed, followed by the emergence of the superconductivity around 25 K. Our angle-resolved photoemission spectroscopy measurements reveal that the electronic structure of La4Ni3O10 is very similar to that of La3Ni2O7, suggesting unified electronic properties of nickelates in Ruddlesden-Popper phases. Moreover, theoretical analysis unveils that antiferromagnetic (AFM) super-exchange interactions can serve as the effective pairing interaction for the emergence of superconductivity (SC) in pressurized La4Ni3O10. Our research provides a new platform for the investigation of the unconventional superconductivity mechanism in Ruddlesden-Popper trilayer perovskite nickelates.


title: Hallucination Augmented Recitations for Language Models

abstract: Attribution is a key concept in large language models (LLMs) as it enables control over information sources and enhances the factuality of LLMs. While existing approaches utilize open book question answering to improve attribution, factual datasets may reward language models to recall facts that they already know from their pretraining data, not attribution. In contrast, counterfactual open book QA datasets would further improve attribution because the answer could only be grounded in the given text. We propose Hallucination Augmented Recitations (HAR) for creating counterfactual datasets by utilizing hallucination in LLMs to improve attribution. For open book QA as a case study, we demonstrate that models finetuned with our counterfactual datasets improve text grounding, leading to better open book QA performance, with up to an 8.0% increase in F1 score. Our counterfactual dataset leads to significantly better performance than using humanannotated factual datasets, even with 4x smaller datasets and 4x smaller models. We observe that improvements are consistent across various model sizes and datasets, including multi-hop, biomedical, and adversarial QA datasets.


title: Recurrence of Nonlinear Control Systems: Entropy and Bit Rates

abstract: In this paper, we introduce the notion of recurrence entropy in the context of nonlinear control systems. A set is said to be ($\tau$-)recurrent if every trajectory that starts in the set returns to it (within at most $\tau$ units of time). Recurrence entropy quantifies the complexity of making a set $\tau$-recurrent measured by the average rate of growth, as time increases, of the number of control signals required to achieve this goal. Our analysis reveals that, compared to invariance, recurrence is quantitatively less complex, meaning that the recurrence entropy of a set is no larger than, and often strictly smaller than, the invariance entropy. Our results further offer insights into the minimum data rate required for achieving recurrence. We also present an algorithm for achieving recurrence asymptotically.


title: Optimising Human-AI Collaboration by Learning Convincing Explanations

abstract: Machine learning models are being increasingly deployed to take, or assist in taking, complicated and high-impact decisions, from quasi-autonomous vehicles to clinical decision support systems. This poses challenges, particularly when models have hard-to-detect failure modes and are able to take actions without oversight. In order to handle this challenge, we propose a method for a collaborative system that remains safe by having a human ultimately making decisions, while giving the model the best opportunity to convince and debate them with interpretable explanations. However, the most helpful explanation varies among individuals and may be inconsistent across stated preferences. To this end we develop an algorithm, Ardent, to efficiently learn a ranking through interaction and best assist humans complete a task. By utilising a collaborative approach, we can ensure safety and improve performance while addressing transparency and accountability concerns. Ardent enables efficient and effective decision-making by adapting to individual preferences for explanations, which we validate through extensive simulations alongside a user study involving a challenging image classification task, demonstrating consistent improvement over competing systems.


title: Boolean Variation and Boolean Logic BackPropagation

abstract: The notion of variation is introduced for the Boolean set and based on which Boolean logic backpropagation principle is developed. Using this concept, deep models can be built with weights and activations being Boolean numbers and operated with Boolean logic instead of real arithmetic. In particular, Boolean deep models can be trained directly in the Boolean domain without latent weights. No gradient but logic is synthesized and backpropagated through layers.


title: Quantum Phase Transition in $\rm CeCoIn_5$: Experimental Facts and Theory

abstract: Condensed-matter community is involved in hot debate on the nature of quantum critical points (QCP) governing the low-temperature properties of heavy fermion metals. The smeared jump like behavior revealed both in the residual resistivity $\rho_0$ and the Hall resistivity $R_H$, along with the violation of the time invariance symmetry $\mathcal{T}$ and the charge invariance $\mathcal{C}$, including the violation of quasiparticle-hole symmetry, and providing vital clues on the origin of both the non-Fermi-liquid behavior and QCP. For the first time, based on a number of important experimental data, we show that these experimental observations point out unambiguously that QCP of $\rm CeCoIn_5$ is accompanied by the symmetry violation, and QCP itself is represented by the topological fermion-condensation quantum phase transition (FCQPT) connecting two Fermi surfaces of different topological charges.


title: Hydrodynamical approach to chirality production during axion inflation

abstract: We study chirality production in the pseudoscalar inflation model of magnetogenesis taking into account the Schwinger effect and particle collisions in plasma in the relaxation time approximation. We consider the Schwinger production of one Dirac fermion species by an Abelian gauge field in two cases: (i) the fermion carries only the weak charge with respect to the U(1) group and (ii) it is also charged with respect to another strongly coupled gauge group. While the gradient-expansion formalism is employed for the description of the evolution of gauge field, plasma is described by hydrodynamical approach which allows us to determine the number, energy density, and chirality of produced fermions. It is found that while chirality production is very efficient for both, weakly and strongly interacting fermions, the resulting gauge field is typically stronger in the case of strongly interacting fermions due to suppression of the Schwinger conductivity by particle collisions.


title: Controlled Text Generation for Black-box Language Models via Score-based Progressive Editor

abstract: Controlled text generation is very important for the practical use of language models because it ensures that the produced text includes only the desired attributes from a specific domain or dataset. Existing methods, however, are inapplicable to black-box models or suffer a significant trade-off between controlling the generated text and maintaining its fluency. This paper introduces the Score-based Progressive Editor (ScoPE), a novel approach designed to overcome these issues. ScoPE modifies the context at the token level during the generation process of a backbone language model. This modification guides the subsequent text to naturally include the target attributes. To facilitate this process, ScoPE employs a training objective that maximizes a target score, thoroughly considering both the ability to guide the text and its fluency. Experimental results on diverse controlled generation tasks demonstrate that ScoPE can effectively regulate the attributes of the generated text while fully utilizing the capability of the backbone large language models. Our codes are available at \url{https://github.com/ysw1021/ScoPE}.


title: Harnessing elastic instabilities for enhanced mixing and reaction kinetics in porous media

abstract: Turbulent flows have been used for millennia to mix solutes; a familiar example is stirring cream into coffee. However, many energy, environmental, and industrial processes rely on the mixing of solutes in porous media where confinement suppresses inertial turbulence. As a result, mixing is drastically hindered, requiring fluid to permeate long distances for appreciable mixing and introducing additional steps to drive mixing that can be expensive and environmentally harmful. Here, we demonstrate that this limitation can be overcome just by adding dilute amounts of flexible polymers to the fluid. Flow-driven stretching of the polymers generates an elastic instability (EI), driving turbulent-like chaotic flow fluctuations, despite the pore-scale confinement that prohibits typical inertial turbulence. Using in situ imaging, we show that these fluctuations stretch and fold the fluid within the pores along thin layers (``lamellae'') characterized by sharp solute concentration gradients, driving mixing by diffusion in the pores. This process results in a $3\times$ reduction in the required mixing length, a $6\times$ increase in solute transverse dispersivity, and can be harnessed to increase the rate at which chemical compounds react by $3\times$ -- enhancements that we rationalize using turbulence-inspired modeling of the underlying transport processes. Our work thereby establishes a simple, robust, versatile, and predictive new way to mix solutes in porous media, with potential applications ranging from large-scale chemical production to environmental remediation.

categories: physics.flu-dyn cond-mat.dis-nn cond-mat.soft nlin.CD physics.app-ph


title: Supersampling of Data from Structured-light Scanner with Deep Learning

abstract: This paper focuses on increasing the resolution of depth maps obtained from 3D cameras using structured light technology. Two deep learning models FDSR and DKN are modified to work with high-resolution data, and data pre-processing techniques are implemented for stable training. The models are trained on our custom dataset of 1200 3D scans. The resulting high-resolution depth maps are evaluated using qualitative and quantitative metrics. The approach for depth map upsampling offers benefits such as reducing the processing time of a pipeline by first downsampling a high-resolution depth map, performing various processing steps at the lower resolution and upsampling the resulting depth map or increasing the resolution of a point cloud captured in lower resolution by a cheaper device. The experiments demonstrate that the FDSR model excels in terms of faster processing time, making it a suitable choice for applications where speed is crucial. On the other hand, the DKN model provides results with higher precision, making it more suitable for applications that prioritize accuracy.


title: Third order corrections to the ground state energy of a Bose gas in the Gross-Pitaevskii regime

abstract: For a translation invariant system of $N$ bosons in the Gross-Pitaevskii regime, we establish a precise bound for the ground state energy $E_N$. While the leading, order $N$, contribution to $E_N$ has been known since [30,28] and the second order corrections (of order one) have been first determined in [5], our estimate also resolves the next term in the asymptotic expansion of $E_N$, which is of the order $(\log N) / N$.

categories: math-ph cond-mat.quant-gas math.AP math.MP


title: Understanding Users' Dissatisfaction with ChatGPT Responses: Types, Resolving Tactics, and the Effect of Knowledge Level

abstract: Large language models (LLMs) with chat-based capabilities, such as ChatGPT, are widely used in various workflows. However, due to a limited understanding of these large-scale models, users struggle to use this technology and experience different kinds of dissatisfaction. Researchers have introduced several methods, such as prompt engineering, to improve model responses. However, they focus on enhancing the model's performance in specific tasks, and little has been investigated on how to deal with the user dissatisfaction resulting from the model's responses. Therefore, with ChatGPT as the case study, we examine users' dissatisfaction along with their strategies to address the dissatisfaction. After organizing users' dissatisfaction with LLM into seven categories based on a literature review, we collected 511 instances of dissatisfactory ChatGPT responses from 107 users and their detailed recollections of dissatisfactory experiences, which we released as a publicly accessible dataset. Our analysis reveals that users most frequently experience dissatisfaction when ChatGPT fails to grasp their intentions, while they rate the severity of dissatisfaction related to accuracy the highest. We also identified four tactics users employ to address their dissatisfaction and their effectiveness. We found that users often do not use any tactics to address their dissatisfaction, and even when using tactics, 72% of dissatisfaction remained unresolved. Moreover, we found that users with low knowledge of LLMs tend to face more dissatisfaction on accuracy while they often put minimal effort in addressing dissatisfaction. Based on these findings, we propose design implications for minimizing user dissatisfaction and enhancing the usability of chat-based LLM.


title: Trajectories and Platoon-forming Algorithm for Intersections with Heterogeneous Autonomous Traffic

abstract: The anticipated launch of fully autonomous vehicles presents an opportunity to develop and implement novel traffic management systems. Intersections are one of the bottlenecks for urban traffic, and thus offer tremendous potential for performance improvements of traffic flow if managed efficiently. Platoon-forming algorithms, in which vehicles are grouped together with short inter-vehicular distances just before arriving at an intersection at high speed, seem particularly promising in this aspect. In this work, we present an intersection access control system based on platoon-forming for heterogeneous autonomous traffic. The heterogeneity of traffic arises from vehicles with different acceleration capabilities and safety constraints. We focus on obtaining computationally fast and interpretable closed-form expressions for safe and efficient vehicle trajectories that lead to platoon formation, and show that these trajectories are solutions to certain classes of optimisation problems. Additionally, we conduct a numerical study to obtain approximations for intersection capacity as a result of such platoon formation.


title: Existence and smoothness of extremizers for convolution with compactly supported measures

abstract: In this article, we establish various facts about extremizers for $L^p$-improving convolution operators $T\colon L^p \rightarrow L^q$ associated with compactly-supported probability measures on either $\mathbb{R}^d$ or $\mathbb{T}^d$ . If $\sigma$ has positive Fourier decay, we prove that extremizers exist and extremizing sequences are precompact modulo translation for all "non-endpoint" $(p,q)$. These extremizers also satisfy an interesting positivity property and belong to $C_{loc}^\infty \cap L^\infty$.


title: The simulation of the DarkSide-20k calibration

abstract: DarkSide-20k will be the next liquid argon TPC built to perform direct search for dark matter under the form of WIMPs. Its calibration to both signal and backgrounds is key as very few events are expected in WIMPs search. In the following proceeding, aspects of the calibration of the TPC of DarkSide-20k are presented: the calibration system itself, the simulations of the calibration programs and the simulations of the impact of the calibration system on the rest of the detector (reduction of the light collection efficiency in the veto buffer, induced background by the system in the TPC and veto).


title: Hardest Monotone Functions for Evolutionary Algorithms

abstract: The study of hardest and easiest fitness landscapes is an active area of research. Recently, Kaufmann, Larcher, Lengler and Zou conjectured that for the self-adjusting $(1,\lambda)$-EA, Adversarial Dynamic BinVal (ADBV) is the hardest dynamic monotone function to optimize. We introduce the function Switching Dynamic BinVal (SDBV) which coincides with ADBV whenever the number of remaining zeros in the search point is strictly less than $n/2$, where $n$ denotes the dimension of the search space. We show, using a combinatorial argument, that for the $(1+1)$-EA with any mutation rate $p \in [0,1]$, SDBV is drift-minimizing among the class of dynamic monotone functions. Our construction provides the first explicit example of an instance of the partially-ordered evolutionary algorithm (PO-EA) model with parameterized pessimism introduced by Colin, Doerr and F\'erey, building on work of Jansen. We further show that the $(1+1)$-EA optimizes SDBV in $\Theta(n^{3/2})$ generations. Our simulations demonstrate matching runtimes for both static and self-adjusting $(1,\lambda)$ and $(1+\lambda)$-EA. We further show, using an example of fixed dimension, that drift-minimization does not equal maximal runtime.


title: Investigating Multi-Pivot Ensembling with Massively Multilingual Machine Translation Models

abstract: Massively multilingual machine translation models allow for the translation of a large number of languages with a single model, but have limited performance on low- and very-low-resource translation directions. Pivoting via high-resource languages remains a strong strategy for low-resource directions, and in this paper we revisit ways of pivoting through multiple languages. Previous work has used a simple averaging of probability distributions from multiple paths, but we find that this performs worse than using a single pivot, and exacerbates the hallucination problem because the same hallucinations can be probable across different paths. We also propose MaxEns, a novel combination strategy that makes the output biased towards the most confident predictions, hypothesising that confident predictions are less prone to be hallucinations. We evaluate different strategies on the FLORES benchmark for 20 low-resource language directions, demonstrating that MaxEns improves translation quality for low-resource languages while reducing hallucination in translations, compared to both direct translation and an averaging approach. On average, multi-pivot strategies still lag behind using English as a single pivot language, raising the question of how to identify the best pivoting strategy for a given translation direction.


title: Optimal finite element approximation of unique continuation

abstract: We consider finite element approximations of ill-posed elliptic problems with conditional stability. The notion of {\emph{optimal error estimates}} is defined including both convergence with respect to mesh parameter and perturbations in data. The rate of convergence is determined by the conditional stability of the underlying continuous problem and the polynomial order of the finite element approximation space. A proof is given that no finite element approximation can converge at a better rate than that given by the definition, justifying the concept. A recently introduced class of finite element methods with weakly consistent regularisation is recalled and the associated error estimates are shown to be quasi optimal in the sense of our definition.


title: Adjoint asymptotic multiplier ideal sheaves

abstract: In this paper, we initiate the study of a triple $(X,\Delta,D)$ which consists of a pair $(X,\Delta)$ and a polarizing pseudoeffective divisor $D$. The adjoint asymptotic multiplier ideal sheaf $\mathcal{J}(X,\Delta;\lVert D \rVert)$ associated to the triple gives a simultaneous generalization of the multiplier ideal sheaf $\mathcal{J}(D)$ and asymptotic multiplier ideal sheaf $\mathcal{J}(\lVert D \rVert)$. We describe the closed set defined by the ideal sheaf $\mathcal{J}(X,\Delta;\lVert D \rVert)$ in terms of the minimal model program. We also characterize the case where $\mathcal{J}(X,\Delta;\lVert D \rVert)=\mathcal{O}_X$. Lastly, we also prove a Nadel type vanishing theorem of cohomology using $\mathcal{J}(X,\Delta;\lVert D \rVert)$.


title: Modeling biases from constant stellar mass-to-light ratio assumption in galaxy dynamics and strong lensing

abstract: A constant stellar-mass to light ratio $M_{\star}/L$ has been widely-used in studies of galaxy dynamics and strong lensing, which aim at disentangling the mass density distributions of dark matter and baryons. In this work, we take early-type galaxies from the cosmological hydrodynamic IllustrisTNG-100 simulation to investigate possible systematic bias in the inferences due to a constant $M_{\star}/L$ assumption. To do so, we construct two-component matter density models, where one component describes the dark matter distribution, the other one for the stellar mass, which is made to follow the light profile by assuming a constant factor of $M_{\star}/L$. Specifically, we adopt multiple commonly used dark matter models and light distributions. We fit the two-component models directly to the {\it total} matter density distributions of simulated galaxies to eliminate systematics from other modelling procedures. We find that galaxies in general have more centrally-concentrated stellar mass profile than their light distribution. This is more significant among more massive galaxies, for which the $M_{\star}/L$ profile rises up markedly towards the centre and may often exhibit a dented feature due to on-going star formation at about one effective radius, encompassing a quenched bulge region. As a consequence, a constant $M_{\star}/L$ causes a model degeneracy to be artificially broken under specific model assumptions, resulting in strong and model-dependent biases on estimated properties, such as the central dark matter fraction and the initial mass function. Either a steeper dark matter profile with an over-predicted density fraction, or an over-predicted stellar mass normalization ($M_{\star}/L$) is often obtained through model fitting. The exact biased behaviour depends on the slope difference between mass and light, as well as on the adopted models for dark matter and light.


title: Renormalization group improved photon impact factors and the high energy virtual photon scattering

abstract: We perform the renormalization group improved collinear resummation of the photon-gluon impact factors. We construct the resummed cross section for virtual photon-photon ($\gamma^*\gamma^*$) scattering which incorporates the impact factors and BFKL gluon Green's function up to the next-to-leading logarithmic accuracy in energy. The impact factors include important kinematical effects which are responsible for the most singular poles in Mellin space at next-to-leading order. Further conditions on the resummed cross section are obtained by requiring the consistency with the collinear limits. Our analysis is consistent with previous impact factor calculations at NLO, apart from a new term proportional to $C_F$ that we find for the longitudinal polarization. Finally, we use the resummed cross section to compare with the LEP data on the $\gamma^*\gamma^*$ cross section and with previous calculations. The resummed result is lower than the leading logarithmic approximation but higher than the pure next-to-leading one, and is consistent with the experimental data.


title: On the Robustness of Neural Collapse and the Neural Collapse of Robustness

abstract: Neural Collapse refers to the curious phenomenon in the end of training of a neural network, where feature vectors and classification weights converge to a very simple geometrical arrangement (a simplex). While it has been observed empirically in various cases and has been theoretically motivated, its connection with crucial properties of neural networks, like their generalization and robustness, remains unclear. In this work, we study the stability properties of these simplices. We find that the simplex structure disappears under small adversarial attacks, and that perturbed examples "leap" between simplex vertices. We further analyze the geometry of networks that are optimized to be robust against adversarial perturbations of the input, and find that Neural Collapse is a pervasive phenomenon in these cases as well, with clean and perturbed representations forming aligned simplices, and giving rise to a robust simple nearest-neighbor classifier. By studying the propagation of the amount of collapse inside the network, we identify novel properties of both robust and non-robust machine learning models, and show that earlier, unlike later layers maintain reliable simplices on perturbed data.


title: Think Before You Speak: Cultivating Communication Skills of Large Language Models via Inner Monologue

abstract: The emergence of large language models (LLMs) further improves the capabilities of open-domain dialogue systems and can generate fluent, coherent, and diverse responses. However, LLMs still lack a crucial ability: communication skills. This limitation renders them more like information seeking tools rather than anthropomorphic chatbots. Communication skills, such as topic transition, proactively asking questions, concept guidance, empathy, and summarising often should be taken into consideration, to make LLMs more anthropomorphic and proactive during the conversation, thereby increasing the interest of users and attracting them to chat for longer. However, enabling these communication skills in black-box LLMs remains a key challenge because they do not have the same utterance formation mode as real people: think before speaking. Inspired by linguistics and cognitive science, we empower LLMs with communication skills through inner monologues. To evaluate various communication skills, we construct a benchmark named Cskills, which can also more comprehensively evaluate the dialogue generation ability of the model. Experimental results show that the proposed CSIM strategy improves the backbone models and outperforms the baselines.


title: Story-to-Motion: Synthesizing Infinite and Controllable Character Animation from Long Text

abstract: Generating natural human motion from a story has the potential to transform the landscape of animation, gaming, and film industries. A new and challenging task, Story-to-Motion, arises when characters are required to move to various locations and perform specific motions based on a long text description. This task demands a fusion of low-level control (trajectories) and high-level control (motion semantics). Previous works in character control and text-to-motion have addressed related aspects, yet a comprehensive solution remains elusive: character control methods do not handle text description, whereas text-to-motion methods lack position constraints and often produce unstable motions. In light of these limitations, we propose a novel system that generates controllable, infinitely long motions and trajectories aligned with the input text. (1) We leverage contemporary Large Language Models to act as a text-driven motion scheduler to extract a series of (text, position, duration) pairs from long text. (2) We develop a text-driven motion retrieval scheme that incorporates motion matching with motion semantic and trajectory constraints. (3) We design a progressive mask transformer that addresses common artifacts in the transition motion such as unnatural pose and foot sliding. Beyond its pioneering role as the first comprehensive solution for Story-to-Motion, our system undergoes evaluation across three distinct sub-tasks: trajectory following, temporal action composition, and motion blending, where it outperforms previous state-of-the-art motion synthesis methods across the board. Homepage: https://story2motion.github.io/.


title: Experimental Investigation of nanofluid heat transfer in a square cross-sectional duct

abstract: English version Forced convective heat transfer of two different nanofluids including AL$_2$O$_3$-water and CuO-water in laminar flow through square cross section duct under constant heat flux has been investigated. The Nusselt number and average convective heat transfer coefficient for different nanoparticles concentrations as a function of Peclet number have been analyzed. AL$_2$O$_3$-water nanofluid with 0.2, 0.5, 1.0, 1.5, 2.0 and 2.5 percent volume fractions has been tested. The maximum enhancement of convective heat transfer coefficient for each of the above mentioned concentrations was 7, 10, 13, 18, 22, 27 percent, respectively. Also, CuO-water nanofluid was tested at 0.1, 0.2, 0.5, 0.8, 1.0 and 1.5 percent volume fractions and the results show that the maximum enhancement of convective heat transfer coefficient for each concentration was 8, 10, 14, 16, 19, 21 percent, respectively.


title: Evolution of SLiM-mediated hijack functions in intrinsically disordered viral proteins

abstract: Viruses and their hosts are involved in an 'arms race' where they continually evolve mechanisms to overcome each other. It has long been proposed that intrinsic disorder provides a substrate for the evolution of viral hijack functions and that short linear motifs (SLiMs) are important players in this process. Here, we review evidence in support of this tenet from two model systems: the papillomavirus E7 protein and the adenovirus E1A protein. Phylogenetic reconstructions reveal that SLiMs appear and disappear multiple times across evolution, providing evidence of convergent evolution within individual viral phylogenies. Multiple functionally related SLiMs show strong co-evolution signals that persist across long distances in the primary sequence and occur in unrelated viral proteins. Moreover, changes in SLiMs are associated with changes in phenotypic traits such as host range and tropism. Tracking viral evolutionary events reveals that host switch events are associated with the loss of several SLiMs, suggesting that SLiMs are under functional selection and that changes in SLiMs support viral adaptation. Fine-tuning of viral SLiM sequences can improve affinity, allowing them to outcompete host counterparts. However, viral SLiMs are not always competitive by themselves, and tethering of two suboptimal SLiMs by a disordered linker may instead enable viral hijack. Coevolution between the SLiMs and the linker indicates that the evolution of disordered regions may be more constrained than previously thought. In summary, experimental and computational studies support a role for SLiMs and intrinsic disorder in viral hijack functions and in viral adaptive evolution.


title: Language Grounded QFormer for Efficient Vision Language Understanding

abstract: Large-scale pretraining and instruction tuning have been successful for training general-purpose language models with broad competencies. However, extending to general-purpose vision-language models is challenging due to the distributional diversity in visual inputs. A recent line of work explores vision-language instruction tuning, taking inspiration from the Query Transformer (QFormer) approach proposed in BLIP-2 models for bridging frozen modalities. However, these approaches rely heavily on large-scale multi-modal pretraining for representation learning before eventual finetuning, incurring a huge computational overhead, poor scaling, and limited accessibility. To that end, we propose a more efficient method for QFormer-based vision-language alignment and demonstrate the effectiveness of our strategy compared to existing baselines in improving the efficiency of vision-language pretraining.