title: Velocity averaging under minimal conditions for deterministic and stochastic kinetic equations with irregular drift

abstract: This study investigates the $L^1_{\operatorname{loc}}$ compactness of velocity averages of sequences of solutions $\{u_n\}$ for a class of kinetic equations. The equations are examined within both deterministic and stochastic heterogeneous environments. The primary objective is to deduce velocity averaging results under conditions on $u_n$ and the drift ${\mathfrak f}={\mathfrak f}(t,{\boldsymbol x},{\boldsymbol \lambda})$ that are more lenient than those stipulated in previous studies. The main outcome permits the inclusion of highly irregular drift vectors ${\mathfrak f} \in L^q$ that adhere to a general non-degeneracy condition. Moreover, the sequence $\{u_n\}$ is uniformly bounded in $L^p$ -- for an exponent $p$ allowed to be strictly smaller than $2$ -- under the requirement $\frac{1}{p} + \frac{1}{q} < 1$. Resolving the matter of strong compactness in velocity averages, considering these assumptions, has remained an open problem for a long time. The cornerstone of our work's progress lies in the strategic employment of the broader concept of $H$-distributions, moving beyond the traditional reliance on $H$-measures. Notably, our study represents one of the first significant uses of $H$-distributions in this context.


title: Advancing the Search Frontier with AI Agents

abstract: As many of us in the information retrieval (IR) research community know and appreciate, search is far from being a solved problem. Millions of people struggle with tasks on search engines every day. Often, their struggles relate to the intrinsic complexity of their task and the failure of search systems to fully understand the task and serve relevant results. The task motivates the search, creating the gap/problematic situation that searchers attempt to bridge/resolve and drives search behavior as they work through different task facets. Complex search tasks require more than support for rudimentary fact finding or re-finding. Research on methods to support complex tasks includes work on generating query and website suggestions, personalizing and contextualizing search, and developing new search experiences, including those that span time and space. The recent emergence of generative artificial intelligence (AI) and the arrival of assistive agents, based on this technology, has the potential to offer further assistance to searchers, especially those engaged in complex tasks. There are profound implications from these advances for the design of intelligent systems and for the future of search itself. This article, based on a keynote by the author at the 2023 ACM SIGIR Conference, explores these issues and how AI agents are advancing the frontier of search system capabilities, with a special focus on information interaction and complex task completion.


title: Together apart: the influence of increased crowd heterogeneity on crowd dynamics at bottlenecks

abstract: Individual differences in mobility (e.g., due to wheelchair use) are often ignored in the prediction of crowd movement. Consequently, engineering tools cannot fully describe the impact of vulnerable populations on egress performance. To contribute to closing this gap, we performed laboratory experiments with 25 pedestrians with varying mobility profiles. The control condition comprised only participants without any additional equipment; in the luggage condition and the wheelchair condition, two participants at the center of the group either carried suitcases or used a wheelchair. We found that individuals using wheelchairs and to a lesser degree those carrying luggage needed longer to pass through the bottleneck, which also affected those walking behind them. This led to slower times to fully clear the bottleneck in the wheelchair and luggage condition compared to the control group. The results challenge the status quo in existing approaches to calculating egress performance and other key performance metrics in crowd dynamics.


title: Log-Likelihood Score Level Fusion for Improved Cross-Sensor Smartphone Periocular Recognition

abstract: The proliferation of cameras and personal devices results in a wide variability of imaging conditions, producing large intra-class variations and a significant performance drop when images from heterogeneous environments are compared. However, many applications require to deal with data from different sources regularly, thus needing to overcome these interoperability problems. Here, we employ fusion of several comparators to improve periocular performance when images from different smartphones are compared. We use a probabilistic fusion framework based on linear logistic regression, in which fused scores tend to be log-likelihood ratios, obtaining a reduction in cross-sensor EER of up to 40% due to the fusion. Our framework also provides an elegant and simple solution to handle signals from different devices, since same-sensor and cross-sensor score distributions are aligned and mapped to a common probabilistic domain. This allows the use of Bayes thresholds for optimal decision-making, eliminating the need of sensor-specific thresholds, which is essential in operational conditions because the threshold setting critically determines the accuracy of the authentication process in many applications.


title: The PL diagram for $\delta$ Sct stars: back in business as distance estimators

abstract: In this work, we focus on the period-luminosity relation (PLR) of $\delta$ Sct stars, in which mode excitation and selection mechanisms are still poorly constrained, and whose structure and oscillations are affected by rotation. We review the PLRs in the recent literature, and add a new inference from a large sample of $\delta$ Sct. We highlight the difficulty in identifying the fundamental mode and show that rotation-induced surface effects can impact the measured luminosities, explaining the broadening of the PLR. We derive a tight relation between the low-order large separation and the fundamental radial mode frequency (F0) that holds for rotating stars, thus paving the way towards mode identification. We show that the PLRs we obtain for different samples are compatible with each other and with the recent literature, and with most observed $\delta$ Sct stars when taking rotation effects into account. We also find that the highest-amplitude peak in the frequency spectrum corresponds to the fundamental mode in most $\delta$ Sct, thus shedding some light on their elusive mode selection mechanism.


title: Intrinsic water transport in moisture-capturing hydrogels

abstract: Moisture-capturing hydrogels have emerged as attractive sorbent materials capable of converting ambient humidity into liquid water. Recent works have demonstrated exceptional water capture capabilities of hydrogels, while simultaneously, exploring different strategies to accelerate water capture and release. However, on the material level, an understanding of the intrinsic transport properties of moisture-capturing hydrogels is currently missing, which hinders their rational design. In this work, we combine absorption and desorption experiments of macroscopic hydrogel samples in pure-vapor with models of water diffusion in the hydrogels to demonstrate the first measurements of the intrinsic water diffusion coefficient in hydrogel-salt composites. Based on these insights, we pattern hydrogels with micropores to significantly decrease the required absorption and desorption time by 19% and 72%, respectively, while reducing the total water capacity of the hydrogel by only 4%. Thereby, we provide an effective strategy towards hydrogel material optimization, with a particular significance in pure-vapor environments.


title: FacadeNet: Conditional Facade Synthesis via Selective Editing

abstract: We introduce FacadeNet, a deep learning approach for synthesizing building facade images from diverse viewpoints. Our method employs a conditional GAN, taking a single view of a facade along with the desired viewpoint information and generates an image of the facade from the distinct viewpoint. To precisely modify view-dependent elements like windows and doors while preserving the structure of view-independent components such as walls, we introduce a selective editing module. This module leverages image embeddings extracted from a pre-trained vision transformer. Our experiments demonstrated state-of-the-art performance on building facade generation, surpassing alternative methods.


title: Exploring Deep Learning Image Super-Resolution for Iris Recognition

abstract: In this work we test the ability of deep learning methods to provide an end-to-end mapping between low and high resolution images applying it to the iris recognition problem. Here, we propose the use of two deep learning single-image super-resolution approaches: Stacked Auto-Encoders (SAE) and Convolutional Neural Networks (CNN) with the most possible lightweight structure to achieve fast speed, preserve local information and reduce artifacts at the same time. We validate the methods with a database of 1.872 near-infrared iris images with quality assessment and recognition experiments showing the superiority of deep learning approaches over the compared algorithms.


title: Pushing the Limits of Quantum Computing for Simulating PFAS Chemistry

abstract: Accurate and scalable methods for computational quantum chemistry can accelerate research and development in many fields, ranging from drug discovery to advanced material design. Solving the electronic Schrodinger equation is the core problem of computational chemistry. However, the combinatorial complexity of this problem makes it intractable to find exact solutions, except for very small systems. The idea of quantum computing originated from this computational challenge in simulating quantum-mechanics. We propose an end-to-end quantum chemistry pipeline based on the variational quantum eigensolver (VQE) algorithm and integrated with both HPC-based simulators and a trapped-ion quantum computer. Our platform orchestrates hundreds of simulation jobs on compute resources to efficiently complete a set of ab initio chemistry experiments with a wide range of parameterization. Per- and poly-fluoroalkyl substances (PFAS) are a large family of human-made chemicals that pose a major environmental and health issue globally. Our simulations includes breaking a Carbon-Fluorine bond in trifluoroacetic acid (TFA), a common PFAS chemical. This is a common pathway towards destruction and removal of PFAS. Molecules are modeled on both a quantum simulator and a trapped-ion quantum computer, specifically IonQ Aria. Using basic error mitigation techniques, the 11-qubit TFA model (56 entangling gates) on IonQ Aria yields near-quantitative results with milli-Hartree accuracy. Our novel results show the current state and future projections for quantum computing in solving the electronic structure problem, push the boundaries for the VQE algorithm and quantum computers, and facilitates development of quantum chemistry workflows.


title: Revisiting MAB based approaches to recursive delegation

abstract: In this paper we examine the effectiveness of several multi-arm bandit algorithms when used as a trust system to select agents to delegate tasks to. In contrast to existing work, we allow for recursive delegation to occur. That is, a task delegated to one agent can be delegated onwards by that agent, with further delegation possible until some agent finally executes the task. We show that modifications to the standard multi-arm bandit algorithms can provide improvements in performance in such recursive delegation settings.


title: Nondegenerate two-photon lasing in a single quantum dot

abstract: We propose two-mode two-photon microlaser using a single semiconductor quantum dot grown inside a two-mode microcavity. We explore both incoherent and coherent pumping at low temperatures to achieve suitable conditions for two-mode two-photon lasing. The two-mode two-photon stimulated emission is strongly suppressed but the single-photon stimulated emission is enhanced by exciton-phonon interactions. In coherently pumped quantum dot one can achieve large two-mode two-photon lasing where single-photon lasing is almost absent. We also discuss generation of steady state two-mode entangled state using two-photon resonant pumping.


title: Robustness for Free: Quality-Diversity Driven Discovery of Agile Soft Robotic Gaits

abstract: Soft robotics aims to develop robots able to adapt their behavior across a wide range of unstructured and unknown environments. A critical challenge of soft robotic control is that nonlinear dynamics often result in complex behaviors hard to model and predict. Typically behaviors for mobile soft robots are discovered through empirical trial and error and hand-tuning. More recently, optimization algorithms such as Genetic Algorithms (GA) have been used to discover gaits, but these behaviors are often optimized for a single environment or terrain, and can be brittle to unplanned changes to terrain. In this paper we demonstrate how Quality Diversity Algorithms, which search of a range of high-performing behaviors, can produce repertoires of gaits that are robust to changing terrains. This robustness significantly out-performs that of gaits produced by a single objective optimization algorithm.


title: Supersolutions and superharmonic functions for nonlocal operators with Orlicz growth

abstract: We study supersolutions and superharmonic functions related to problems involving nonlocal operators with Orlicz growth, which are crucial tools for the development of nonlocal nonlinear potential theory. We provide several fine properties of supersolutions and superharmonic functions, and reveal the relation between them. Along the way we prove some results for nonlocal obstacle problems such as the well-posedness and (both interior and boundary) regularity estimates, which are of independent interest.


title: Emergent (In)Security of Multi-Cloud Environments

abstract: As organizations increasingly use cloud services to host their IT infrastructure, there is a need to share data among these cloud hosted services and systems. A majority of IT organizations have workloads spread across different cloud service providers, growing their multi-cloud environments. When an organization grows their multi-cloud environment, the threat vectors and vulnerabilities for their cloud systems and services grow as well. The increase in the number of attack vectors creates a challenge of how to prioritize mitigations and countermeasures to best defend a multi-cloud environment against attacks. Utilizing multiple industry standard risk analysis tools, we conducted an analysis of multi-cloud threat vectors enabling calculation and prioritization for the identified mitigations and countermeasures. The prioritizations from the analysis showed that authentication and architecture are the highest risk areas of threat vectors. Armed with this data, IT managers are able to more appropriately budget cybersecurity expenditure to implement the most impactful mitigations and countermeasures.


title: Multimodal and Force-Matched Imitation Learning with a See-Through Visuotactile Sensor

abstract: Contact-rich tasks continue to present a variety of challenges for robotic manipulation. In this work, we leverage a multimodal visuotactile sensor within the framework of imitation learning (IL) to perform contact rich tasks that involve relative motion (slipping/sliding) between the end-effector and object. We introduce two algorithmic contributions, tactile force matching and learned mode switching, as complimentary methods for improving IL. Tactile force matching enhances kinesthetic teaching by reading approximate forces during the demonstration and generating an adapted robot trajectory that recreates the recorded forces. Learned mode switching uses IL to couple visual and tactile sensor modes with the learned motion policy, simplifying the transition from reaching to contacting. We perform robotic manipulation experiments on four door opening tasks with a variety of observation and method configurations to study the utility of our proposed improvements and multimodal visuotactile sensing. Our results show that the inclusion of force matching raises average policy success rates by 62.5%, visuotactile mode switching by 30.3%, and visuotactile data as a policy input by 42.5%, emphasizing the value of see-through tactile sensing for IL, both for data collection to allow force matching, and for policy execution to allow accurate task feedback.


title: Viscoelastic mechanics of tidally induced lake drainage in the Amery grounding zone

abstract: Drainage of supraglacial lakes to the ice-sheet bed can occur when a hydrofracture propagates downward, driven by the weight of the water in the lake. For supraglacial lakes in the grounding zones of Antarctic glaciers, the mechanics of drainage is complicated by their proximity to the grounding line. Recently, a series of supraglacial lake-drainage events through hydrofractures was observed in the Amery Ice Shelf grounding zone, East Antarctica. The lake depth at drainage varied considerably between events, raising questions about the mechanisms that induce hydrofracture, even at low lake depths. Here we use a modelling approach to investigate the contribution of tidally driven flexure to hydrofracture propagation. We model the viscoelastic response of a marine ice sheet to tides, the stresses that are induced, and the contribution of tidal stresses to hydrofracture propagation. Our results show that ocean tides and lake-water pressure together control supraglacial lake drainage through hydrofractures in the grounding zone. We give a model-based criterion that predicts supraglacial lake drainage as a function of daily maximum tidal amplitude and lake depth. Our model-based criterion agrees with remotely sensed data, indicating the importance of tidal flexure to processes associated with hydrofracturing such as supraglacial lake drainage, rifting and calving.


title: Methods and Conversations in (Post)Modern Thermodynamics

abstract: Lecture notes after the doctoral school (Post)Modern Thermodynamics held at the University of Luxembourg, December 2022, 5-7, covering and advancing continuous-time Markov chains, network theory, stochastic thermodynamics, large deviations, deterministic and stochastic chemical reaction networks, metastability, martingales, quantum thermodynamics, and foundational issues.


title: Limit theorems for general functionals of Brownian local times

abstract: In this paper, we present the asymptotic theory for integrated functions of increments of Brownian local times in space. Specifically, we determine their first-order limit, along with the asymptotic distribution of the fluctuations. Our key result establishes that a standardized version of our statistic converges stably in law towards a mixed normal distribution. Our contribution builds upon a series of prior works by S. Campese, X. Chen, Y. Hu, W.V. Li, M.B. Markus, D. Nualart and J. Rosen \cite{C17,CLMR10,HN09,HN10,MR08,R11,R11b}, which delved into special cases of the considered problem, such as quadratic, cubic and polynomial cases. We establish the limit theorem for general functions that satisfy mild smoothness and growth conditions. This extends the scope beyond the polynomial cases studied in previous works, providing a more comprehensive understanding of the asymptotic properties of the considered functionals.


title: Sanitized Clustering against Confounding Bias

abstract: Real-world datasets inevitably contain biases that arise from different sources or conditions during data collection. Consequently, such inconsistency itself acts as a confounding factor that disturbs the cluster analysis. Existing methods eliminate the biases by projecting data onto the orthogonal complement of the subspace expanded by the confounding factor before clustering. Therein, the interested clustering factor and the confounding factor are coarsely considered in the raw feature space, where the correlation between the data and the confounding factor is ideally assumed to be linear for convenient solutions. These approaches are thus limited in scope as the data in real applications is usually complex and non-linearly correlated with the confounding factor. This paper presents a new clustering framework named Sanitized Clustering Against confounding Bias (SCAB), which removes the confounding factor in the semantic latent space of complex data through a non-linear dependence measure. To be specific, we eliminate the bias information in the latent space by minimizing the mutual information between the confounding factor and the latent representation delivered by Variational Auto-Encoder (VAE). Meanwhile, a clustering module is introduced to cluster over the purified latent representations. Extensive experiments on complex datasets demonstrate that our SCAB achieves a significant gain in clustering performance by removing the confounding bias. The code is available at \url{https://github.com/EvaFlower/SCAB}.


title: A Concept for User-Centered Delegation of Abstract High-Level Tasks to Cobots for Flexible Lot Sizes

abstract: Technical advances in collaborative robots (cobots) are making them increasingly attractive to companies. However, many human operators are not trained to program complex machines. Instead, humans are used to communicating with each other on a task-based level rather than through specific instructions, as is common with machines. The gap between low-level instruction-based and high-level task-based communication leads to low values for usability scores of teach pendant programming. As a solution, we propose a task-based interaction concept that allows human operators to delegate a complex task to a machine without programming by specifying a task via triplets. The concept is based on task decomposition and a reasoning system using a cognitive architecture. The approach is evaluated in an industrial use case where mineral cast basins have to be sanded by a cobot in a crafts enterprise.


title: Human participants in AI research: Ethics and transparency in practice

abstract: In recent years, research involving human participants has been critical to advances in artificial intelligence (AI) and machine learning (ML), particularly in the areas of conversational, human-compatible, and cooperative AI. For example, around 12% and 6% of publications at recent AAAI and NeurIPS conferences indicate the collection of original human data, respectively. Yet AI and ML researchers lack guidelines for ethical, transparent research practices with human participants. Fewer than one out of every four of these AAAI and NeurIPS papers provide details of ethical review, the collection of informed consent, or participant compensation. This paper aims to bridge this gap by exploring normative similarities and differences between AI research and related fields that involve human participants. Though psychology, human-computer interaction, and other adjacent fields offer historic lessons and helpful insights, AI research raises several specific concerns$\unicode{x2014}$namely, participatory design, crowdsourced dataset development, and an expansive role of corporations$\unicode{x2014}$that necessitate a contextual ethics framework. To address these concerns, this paper outlines a set of guidelines for ethical and transparent practice with human participants in AI and ML research. These guidelines can be found in Section 4 on pp. 4$\unicode{x2013}$7.


title: TIC 378898110: A Bright, Short-Period AM CVn Binary in TESS

abstract: AM CVn-type systems are ultracompact, helium-accreting binary systems which are evolutionarily linked to the progenitors of thermonuclear supernovae and are expected to be strong Galactic sources of gravitational waves detectable to upcoming space-based interferometers. AM CVn binaries with orbital periods $\lesssim$ 20--23 min exist in a constant high state with a permanently ionised accretion disc. We present the discovery of TIC 378898110, a bright ($G=14.3$ mag), nearby ($309.3 \pm 1.8$ pc), high-state AM CVn binary discovered in TESS two-minute-cadence photometry. At optical wavelengths this is the third-brightest AM CVn binary known. The photometry of the system shows a 23.07172(6) min periodicity, which is likely to be the `superhump' period and implies an orbital period in the range 22--23 min. There is no detectable spectroscopic variability. The system underwent an unusual, year-long brightening event during which the dominant photometric period changed to a shorter period (constrained to $20.5 \pm 2.0$ min), which we suggest may be evidence for the onset of disc-edge eclipses. The estimated mass transfer rate, $\log (\dot{M} / \mathrm{M_\odot} \mathrm{yr}^{-1}) = -6.8 \pm 1.0$, is unusually high and may suggest a high-mass or thermally inflated donor. The binary is detected as an X-ray source, with a flux of $9.2 ^{+4.2}_{-1.8} \times 10^{-13}$ erg cm$^{-2}$ s$^{-1}$ in the 0.3--10 keV range. TIC 378898110 is the shortest-period binary system discovered with TESS, and its large predicted gravitational-wave amplitude makes it a compelling verification binary for future space-based gravitational wave detectors.


title: An energy-based comparative analysis of common approaches to text classification in the Legal domain

abstract: Most Machine Learning research evaluates the best solutions in terms of performance. However, in the race for the best performing model, many important aspects are often overlooked when, on the contrary, they should be carefully considered. In fact, sometimes the gaps in performance between different approaches are neglectable, whereas factors such as production costs, energy consumption, and carbon footprint must take into consideration. Large Language Models (LLMs) are extensively adopted to address NLP problems in academia and industry. In this work, we present a detailed quantitative comparison of LLM and traditional approaches (e.g. SVM) on the LexGLUE benchmark, which takes into account both performance (standard indices) and alternative metrics such as timing, power consumption and cost, in a word: the carbon-footprint. In our analysis, we considered the prototyping phase (model selection by training-validation-test iterations) and in-production phases separately, since they follow different implementation procedures and also require different resources. The results indicate that very often, the simplest algorithms achieve performance very close to that of large LLMs but with very low power consumption and lower resource demands. The results obtained could suggest companies to include additional evaluations in the choice of Machine Learning (ML) solutions.


title: New mass-loss rates of Magellanic Cloud B supergiants from global wind models

abstract: We provide global models of line-driven winds of B supergiants for metallicities corresponding to the Large and Small Magellanic Clouds. The velocity and density structure of the models is determined consistently from hydrodynamical equations with radiative force derived in the comoving frame and level populations computed from kinetic equilibrium equations. We provide a formula expressing the predicted mass-loss rates in terms of stellar luminosity, effective temperature, and metallicity. Predicted wind mass-loss rates decrease with decreasing metallicity as $\dot M\sim Z^{0.60}$ and are proportional to the stellar luminosity. The mass-loss rates increase below the region of the bistability jump at about 20\,kK because of iron recombination. In agreement with previous theoretical and observational studies, we find a smooth change of wind properties in the region of the bistability jump. With decreasing metallicity, the bistability jump becomes weaker and shifts to lower effective temperatures. At lower metallicities above the bistability jump, our predictions provide similar rates to those used in current evolutionary models, but our rates are significantly lower than older predictions below the bistability jump. Our predicted mass-loss rates agree with observational estimates derived from H$\alpha$ line assuming that observations of stellar winds from Galaxy and the Magellanic Clouds are uniformly affected by clumping. The models nicely reproduce the dependence of terminal velocities on temperature derived from ultraviolet spectroscopy.


title: Formal Methods for Autonomous Systems

abstract: Formal methods refer to rigorous, mathematical approaches to system development and have played a key role in establishing the correctness of safety-critical systems. The main building blocks of formal methods are models and specifications, which are analogous to behaviors and requirements in system design and give us the means to verify and synthesize system behaviors with formal guarantees. This monograph provides a survey of the current state of the art on applications of formal methods in the autonomous systems domain. We consider correct-by-construction synthesis under various formulations, including closed systems, reactive, and probabilistic settings. Beyond synthesizing systems in known environments, we address the concept of uncertainty and bound the behavior of systems that employ learning using formal methods. Further, we examine the synthesis of systems with monitoring, a mitigation technique for ensuring that once a system deviates from expected behavior, it knows a way of returning to normalcy. We also show how to overcome some limitations of formal methods themselves with learning. We conclude with future directions for formal methods in reinforcement learning, uncertainty, privacy, explainability of formal methods, and regulation and certification.


title: Advantages and developments of Raman spectroscopy for electroceramics

abstract: Despite being applied with success in many fields of materials science, Raman spectroscopy is not yet determinant in the study of electroceramics. Recent experimental and theoretical developments, however, should increase the popularity of Raman spectroscopy in this class of materials. In this Review, we outline the fields of application of Raman spectroscopy and microscopy in various electroceramic systems, defining current key bottlenecks and explaining promising recent developments. We focus our attention to recent experimental developments, including coupling Raman spectroscopy with other methodologies, and modelling approaches involving both the model-based data interpretation and the ab initio calculation of realistic Raman spectra.


title: Expressive TTS Driven by Natural Language Prompts Using Few Human Annotations

abstract: Expressive text-to-speech (TTS) aims to synthesize speeches with human-like tones, moods, or even artistic attributes. Recent advancements in expressive TTS empower users with the ability to directly control synthesis style through natural language prompts. However, these methods often require excessive training with a significant amount of style-annotated data, which can be challenging to acquire. Moreover, they may have limited adaptability due to fixed style annotations. In this work, we present FreeStyleTTS (FS-TTS), a controllable expressive TTS model with minimal human annotations. Our approach utilizes a large language model (LLM) to transform expressive TTS into a style retrieval task. The LLM selects the best-matching style references from annotated utterances based on external style prompts, which can be raw input text or natural language style descriptions. The selected reference guides the TTS pipeline to synthesize speeches with the intended style. This innovative approach provides flexible, versatile, and precise style control with minimal human workload. Experiments on a Mandarin storytelling corpus demonstrate FS-TTS's proficiency in leveraging LLM's semantic inference ability to retrieve desired styles from either input text or user-defined descriptions. This results in synthetic speeches that are closely aligned with the specified styles.


title: Overlap Times in Tandem Queues: Identically Distributed Station Case

abstract: In this paper, we investigate overlap times in a two-dimensional infinite server tandem queue. Specifically, we analyze the amount of time that a pair of customers spend overlapping in any station of the two dimensional tandem network. We assume that both stations have independent and identically distributed exponential service times with the same rate parameter $\mu$. Our main contribution is the derivation of the joint tail distribution, the two marginal tail probabilities, the moments of the overlap times and the tail distribution of the sum of the overlap times in both stations. Our results shed light on how customers overlap downstream in serial queueing systems.


title: The infinitesimal earthquake theorem for vector fields on the circle

abstract: We prove that any continuous vector field on a circle is the extension in a suitable sense, of a unique infinitesimal earthquake of the hyperbolic plane. Furthermore, we obtain other extension results when the vector field is assumed only to be upper or lower semicontinuous. This leads to a generalization of Kerckhoff's and Gardiner's infinitesimal earthquake theorems to a broader setting, using a completely novel approach. The proof is based on the geometry of the dual of Minkowski three-space, also called Half-pipe three-geometry. In this way, we obtain a simple characterization of Zygmund vector fields on the circle in terms of width of convex hulls.


title: Efficient Neural Ranking using Forward Indexes and Lightweight Encoders

abstract: Dual-encoder-based dense retrieval models have become the standard in IR. They employ large Transformer-based language models, which are notoriously inefficient in terms of resources and latency. We propose Fast-Forward indexes -- vector forward indexes which exploit the semantic matching capabilities of dual-encoder models for efficient and effective re-ranking. Our framework enables re-ranking at very high retrieval depths and combines the merits of both lexical and semantic matching via score interpolation. Furthermore, in order to mitigate the limitations of dual-encoders, we tackle two main challenges: Firstly, we improve computational efficiency by either pre-computing representations, avoiding unnecessary computations altogether, or reducing the complexity of encoders. This allows us to considerably improve ranking efficiency and latency. Secondly, we optimize the memory footprint and maintenance cost of indexes; we propose two complementary techniques to reduce the index size and show that, by dynamically dropping irrelevant document tokens, the index maintenance efficiency can be improved substantially. We perform evaluation to show the effectiveness and efficiency of Fast-Forward indexes -- our method has low latency and achieves competitive results without the need for hardware acceleration, such as GPUs.


title: Structure preserving discontinuous Galerkin approximation of a hyperbolic-parabolic system

abstract: We study the numerical approximation of a coupled hyperbolic-parabolic system by a family of discontinuous Galerkin space-time finite element methods. The model is rewritten as a first-order evolutionary problem that is treated by the unified abstract solution theory of R. Picard. For the discretization in space, generalizations of the distribution gradient and divergence operators on broken polynomial spaces are defined. Since their skew-selfadjointness is perturbed by boundary surface integrals, adjustments are introduced such that the skew-selfadjointness of the first-order differential operator in space is recovered. Well-posedness of the fully discrete problem and error estimates for the discontinuous Galerkin approximation in space and time are proved.


title: Biases from spectral leakage in remote sensing of near-surface currents

abstract: Remotely measuring subsurface water currents from imagery of the wave field has become a much-used technique. We study the biases and errors in such measurements due to spectral leakage, and suggest mitigating procedures. Deviations between peak values in the three-dimensional wave spectrum and the known dispersion relation in quiescent water are extracted and interpreted as current-induced Doppler shifts, from which the sub-surface current is inferred. The use of discrete Fourier transforms, however, introduces spectral leakage between nearby frequency bins. Analysing synthetically generated wave data adhering to realistic input spectra we show that although no current is in fact present, spurious currents can be "measured" which can amount to a significant fraction of the phase speed at the spectral peak. We analyse the effects of data tapering, method of Doppler shift extraction, limited wavenumber and frequency resolution, peakedness and angular width of the input spectrum, and average misalignment between waves and Doppler shift velocity direction. The narrower the input wave spectrum in frequency and/or direction, the greater the biases become. The use of a window function reduces the severity in nearly all cases, yet mitigates the effects of limited resolution more effectively in space than in time. When a current is present the absolute biases remain essentially unchanged, when waves and currents are roughly aligned tapering much alleviates the concomitant biases, whereas in the case of a cross-current, biases remain significant even for tapered data.


title: Let's Discover More API Relations: A Large Language Model-based AI Chain for Unsupervised API Relation Inference

abstract: APIs have intricate relations that can be described in text and represented as knowledge graphs to aid software engineering tasks. Existing relation extraction methods have limitations, such as limited API text corpus and affected by the characteristics of the input text.To address these limitations, we propose utilizing large language models (LLMs) (e.g., GPT-3.5) as a neural knowledge base for API relation inference. This approach leverages the entire Web used to pre-train LLMs as a knowledge base and is insensitive to the context and complexity of input texts. To ensure accurate inference, we design our analytic flow as an AI Chain with three AI modules: API FQN Parser, API Knowledge Extractor, and API Relation Decider. The accuracy of the API FQN parser and API Relation Decider module are 0.81 and 0.83, respectively. Using the generative capacity of the LLM and our approach's inference capability, we achieve an average F1 value of 0.76 under the three datasets, significantly higher than the state-of-the-art method's average F1 value of 0.40. Compared to CoT-based method, our AI Chain design improves the inference reliability by 67%, and the AI-crowd-intelligence strategy enhances the robustness of our approach by 26%.


title: UniFolding: Towards Sample-efficient, Scalable, and Generalizable Robotic Garment Folding

abstract: This paper explores the development of UniFolding, a sample-efficient, scalable, and generalizable robotic system for unfolding and folding various garments. UniFolding employs the proposed UFONet neural network to integrate unfolding and folding decisions into a single policy model that is adaptable to different garment types and states. The design of UniFolding is based on a garment's partial point cloud, which aids in generalization and reduces sensitivity to variations in texture and shape. The training pipeline prioritizes low-cost, sample-efficient data collection. Training data is collected via a human-centric process with offline and online stages. The offline stage involves human unfolding and folding actions via Virtual Reality, while the online stage utilizes human-in-the-loop learning to fine-tune the model in a real-world setting. The system is tested on two garment types: long-sleeve and short-sleeve shirts. Performance is evaluated on 20 shirts with significant variations in textures, shapes, and materials. More experiments and videos can be found in the supplementary materials and on the website: https://unifolding.robotflow.ai


title: A connected and automated vehicle readiness framework to support road authorities for C-ITS services

abstract: Connected and Automated Vehicles (CAVs) can have a profound influence on transport systems. However, most levels of automation and connectivity require support from the road infrastructure. Additional support such as Cooperative Intelligent Transport Systems (C-ITS) services can facilitate safe and efficient traffic, and alleviate the environmental impacts of road surface vehicles. However, due to the rapidly evolving technology, C-ITS service deployment requirements are not always clear. Furthermore, the costs and benefits of infrastructure investments are subject to tremendous uncertainty. This study articulates the requirements using a structured approach to propose a CAV-Readiness Framework (CRF). The main purpose of the CRF is allowing road authorities to assess their physical and digital infrastructure readiness, define requirements for C-ITS services, and identify future development paths to reach higher levels of readiness to support CAVs by enabling C-ITS services. The CRF is intended to guide and support road authorities' investment decisions on infrastructure.


title: Non-Fermi liquid behavior in a correlated flatband pyrochlore lattice

abstract: Electronic correlation effects are manifested in quantum materials when either the onsite Coulomb repulsion is large or the electron kinetic energy is small. The former is the dominant effect in the cuprate superconductors or heavy fermion systems while the latter in twisted bilayer graphene or geometrically frustrated metals. However, the simultaneous cooperation of both effects in the same quantum material--the design principle to produce a correlated topological flat bands pinned at the Fermi level--remains rare. Here, using angle-resolved photoemission spectroscopy, we report the observation of a flat band at the Fermi level in a 3$d$ pyrochlore metal CuV$_2$S$_4$. From a combination of first-principles calculations and slave-spin calculations, we understand the origin of this band to be a destructive quantum-interference effect associated with the V pyrochlore sublattice and further renormalization to the Fermi level by electron interactions in the partially filled V $t_{2g}$ orbitals. As a result, we find transport behavior that indicates a deviation from Fermi-liquid behavior as well as a large Sommerfeld coefficient. Our work demonstrates the pathway into correlated topology by constructing and pinning correlated flat bands near the Fermi level out of a pure $d$-electron system by the combined cooperation of local Coulomb interactions and geometric frustration in a pyrochlore lattice system.


title: People Make Better Edits: Measuring the Efficacy of LLM-Generated Counterfactually Augmented Data for Harmful Language Detection

abstract: NLP models are used in a variety of critical social computing tasks, such as detecting sexist, racist, or otherwise hateful content. Therefore, it is imperative that these models are robust to spurious features. Past work has attempted to tackle such spurious features using training data augmentation, including Counterfactually Augmented Data (CADs). CADs introduce minimal changes to existing training data points and flip their labels; training on them may reduce model dependency on spurious features. However, manually generating CADs can be time-consuming and expensive. Hence in this work, we assess if this task can be automated using generative NLP models. We automatically generate CADs using Polyjuice, ChatGPT, and Flan-T5, and evaluate their usefulness in improving model robustness compared to manually-generated CADs. By testing both model performance on multiple out-of-domain test sets and individual data point efficacy, our results show that while manual CADs are still the most effective, CADs generated by ChatGPT come a close second. One key reason for the lower performance of automated methods is that the changes they introduce are often insufficient to flip the original label.


title: An extrapolation result in the variational setting: improved regularity, compactness, and applications to quasilinear systems

abstract: In this paper we consider the variational setting for SPDE on a Gelfand triple $(V, H, V^*)$. Under the standard conditions on a linear coercive pair $(A,B)$, and a symmetry condition on $A$ we manage to extrapolate the classical $L^2$-estimates in time to $L^p$-estimates for some $p>2$ without any further conditions on $(A,B)$. As a consequence we obtain several other a priori regularity results of the paths of the solution. Under the assumption that $V$ embeds compactly into $H$, we derive a universal compactness result quantifying over all $(A,B)$. As an application of the compactness result we prove global existence of weak solutions to a system of second order quasi-linear equations.


title: The existence of inversive distance circle packing on polyhedral surface

abstract: We prove that for any discrete curvature satisfying Gauss-Bonnet formula, there exist a unique up to scaling inversive distance circle packing in the discrete conformal equivalent class, whose polyhedral metric meets the target curvature. We prove it by constructing diffeomorphism between fiber bundles with cell decomposition based on Teichm\"uller spaces, and each discrete conformal equivalent class is a fiber passing through finite cell with respect to triangulations, which means we can do surgery on the discrete Ricci flow by edge flipping using a generalized Ptolemy equation to ensure it converge and never blow up.


title: Finding Common Ground: Annotating and Predicting Common Ground in Spoken Conversations

abstract: When we communicate with other humans, we do not simply generate a sequence of words. Rather, we use our cognitive state (beliefs, desires, intentions) and our model of the audience's cognitive state to create utterances that affect the audience's cognitive state in the intended manner. An important part of cognitive state is the common ground, which is the content the speaker believes, and the speaker believes the audience believes, and so on. While much attention has been paid to common ground in cognitive science, there has not been much work in natural language processing. In this paper, we introduce a new annotation and corpus to capture common ground. We then describe some initial experiments extracting propositions from dialog and tracking their status in the common ground from the perspective of each speaker.


title: Layer-adapted meshes for singularly perturbed problems via mesh partial differential equations and a posteriori information

abstract: We propose a new method for the construction of layer-adapted meshes for singularly perturbed differential equations (SPDEs), based on mesh partial differential equations (MPDEs) that incorporate \emph{a posteriori} solution information. There are numerous studies on the development of parameter robust numerical methods for SPDEs that depend on the layer-adapted mesh of Bakhvalov. In~\citep{HiMa2021}, a novel MPDE-based approach for constructing a generalisation of these meshes was proposed. Like with most layer-adapted mesh methods, the algorithms in that article depended on detailed derivations of \emph{a priori} bounds on the SPDE's solution and its derivatives. In this work we extend that approach so that it instead uses \emph{a posteriori} computed estimates of the solution. We present detailed algorithms for the efficient implementation of the method, and numerical results for the robust solution of two-parameter reaction-convection-diffusion problems, in one and two dimensions. We also provide full FEniCS code for a one-dimensional example.


title: Unravelling the atomic and electronic structure of nanocrystals on superconducting Nb(110): Impact of the oxygen monolayer

abstract: The Niobium surface is almost always covered by a native oxide layer which greatly influences the performance of superconducting devices. Here we investigate the highly stable Niobium oxide overlayer of Nb(110), which is characterised by its distinctive nanocrystal structure as observed by scanning tunnelling microscopy (STM). Our ab-initio density functional theory (DFT) calculations show that a subtle reconstruction in the surface Niobium atoms gives rise to rows of 4-fold coordinated oxygen separated by regions of 3-fold coordinated oxygen. The 4-fold oxygen rows are determined to be the source of the nanocrystal pattern observed in STM, and the two chemical states of oxygen observed in core-level X-ray photoelectron spectroscopy (XPS) are ascribed to the 3-fold and 4-fold oxygens. Furthermore, we find excellent agreement between the DFT calculated electronic structure with scanning tunnelling spectroscopy and valence XPS measurements.


title: Neural Atoms: Propagating Long-range Interaction in Molecular Graphs through Efficient Communication Channel

abstract: Graph Neural Networks (GNNs) have been widely adopted for drug discovery with molecular graphs. Nevertheless, current GNNs mainly excel in leveraging short-range interactions (SRI) but struggle to capture long-range interactions (LRI), both of which are crucial for determining molecular properties. To tackle this issue, we propose a method to abstract the collective information of atomic groups into a few $\textit{Neural Atoms}$ by implicitly projecting the atoms of a molecular. Specifically, we explicitly exchange the information among neural atoms and project them back to the atoms' representations as an enhancement. With this mechanism, neural atoms establish the communication channels among distant nodes, effectively reducing the interaction scope of arbitrary node pairs into a single hop. To provide an inspection of our method from a physical perspective, we reveal its connection to the traditional LRI calculation method, Ewald Summation. The Neural Atom can enhance GNNs to capture LRI by approximating the potential LRI of the molecular. We conduct extensive experiments on four long-range graph benchmarks, covering graph-level and link-level tasks on molecular graphs. We achieve up to a 27.32% and 38.27% improvement in the 2D and 3D scenarios, respectively. Empirically, our method can be equipped with an arbitrary GNN to help capture LRI. Code and datasets are publicly available in https://github.com/tmlr-group/NeuralAtom.


title: Self-dual solutions of a field theory model of two linked rings

abstract: In this work the connection established in [7, 8] between a model of two linked polymers rings with fixed Gaussian linking number forming a 4-plat and the statistical mechanics of non-relativistic anyon particles is explored. The excluded volume interactions have been switched off and only the interactions of entropic origin arising from the topological constraints are considered. An interpretation from the polymer point of view of the field equations that minimize the energy of the model in the limit in which one of the spatial dimensions of the 4-plat becomes very large is provided. It is shown that the self-dual contributions are responsible for the long-range interactions that are necessary for preserving the global topological properties of the system during the thermal fluctuations. The non self-dual part is also related to the topological constraints, and takes into account the local interactions acting on the monomers in order to prevent the breaking of the polymer lines. It turns out that the energy landscape of the two linked rings is quite complex. Assuming as a rough approximation that the monomer densities of half of the 4-plat are constant, at least two points of energy minimum are found. Classes of non-trivial self-dual solutions of the self-dual field equations are derived. ... .


title: Rotating Bose-Einstein Condensate Stars at finite temperature

abstract: We study the effect of temperature on the global properties of static and slowly rotating self-gravitating Bose-Einstein condensate (BEC) stars within general relativity. We employ a recently developed temperature dependent BEC equation of state (EoS) to describe the stellar matter by assuming that the condensate can be described by a non-relativistic EoS. Stellar profiles are obtained using general relativistic Hartle-Thorne slow rotation approximation equations. We find that with increasing temperatures mass-radius values are found to be decreasing for the static and rotating cases; though presence of temperature supports high mass values at lower central densities. Countering effects of rotation and temperature on the BEC stellar structure have been analysed and quantified. We report that inclusion of temperature has significant effect on the rotating stellar profiles but negligible effect on the maximum mass, as in the case of static system. We have also studied the effect of EoS parameters -- boson mass and strength of the self-interaction -- on global properties of static and rotating BEC stars, in presence of temperature.


title: ExPECA: An Experimental Platform for Trustworthy Edge Computing Applications

abstract: This paper presents ExPECA, an edge computing and wireless communication research testbed designed to tackle two pressing challenges: comprehensive end-to-end experimentation and high levels of experimental reproducibility. Leveraging OpenStack-based Chameleon Infrastructure (CHI) framework for its proven flexibility and ease of operation, ExPECA is located in a unique, isolated underground facility, providing a highly controlled setting for wireless experiments. The testbed is engineered to facilitate integrated studies of both communication and computation, offering a diverse array of Software-Defined Radios (SDR) and Commercial Off-The-Shelf (COTS) wireless and wired links, as well as containerized computational environments. We exemplify the experimental possibilities of the testbed using OpenRTiST, a latency-sensitive, bandwidth-intensive application, and analyze its performance. Lastly, we highlight an array of research domains and experimental setups that stand to gain from ExPECA's features, including closed-loop applications and time-sensitive networking.


title: Shorter duration of slow wave sleep is related to symptoms of depression in patients with epilepsy

abstract: Slow wave sleep duration and spectral abnormalities are related to both epilepsy and depression, but it is unclear how depressive symptoms in patients with epilepsy are affected by slow wave sleep duration and clinical factors, and how the spectral characteristics of slow wave sleep reflect a potential interaction of epilepsy and depression. Long-term video-EEG monitoring was conducted in 51 patients with focal epilepsy, 13 patients with generalized epilepsy, and 9 patients without epilepsy. Slow wave sleep segments were manually marked in the EEG and duration as well as EEG power spectra were extracted. Depressive symptoms were documented with the Beck Depression Inventory (BDI). At least mild depressive symptoms (BDI>9) were found among 23 patients with focal epilepsy, 5 patients with generalised epilepsy, and 6 patients who had no epilepsy diagnosis. Slow wave sleep duration was shorter for patients with at least mild depressive symptoms (p=.004), independently from epilepsy diagnosis, antiseizure medication, age, and sex. Psychoactive medication was associated with longer slow wave sleep duration (p=.008). Frontal sigma band power (13-15 Hz) during slow wave sleep was higher for patients without epilepsy and without depressive symptoms as compared to patients without depressive symptoms but with focal epilepsy (p=.005). Depressive symptoms affect slow wave sleep duration of patients with epilepsy similarly as in patients without epilepsy. Since reduced slow wave sleep can increase the likelihood of seizure occurrence, these results stress the importance of adequate treatment for patients with epilepsy who experience depressive symptoms.


title: Classification of measurable functions of several variables and matrix distributions

abstract: We consider the notion of the matrix (tensor) distribution of a measurable function of several variables. On the one hand, it is an invariant of this function with respect to a certain group of transformations of variables; on the other hand, there is a special probability measure in the space of matrices (tensors) that is invariant under actions of natural infinite permutation groups. The intricate interplay of both interpretations of matrix (tensor) distributions makes them an important subject of modern functional analysis. We state and prove a theorem saying that, under certain conditions on a measurable function of two variables, its matrix distribution is a~complete invariant.


title: FlashDecoding++: Faster Large Language Model Inference on GPUs

abstract: As the Large Language Model (LLM) becomes increasingly important in various domains. However, the following challenges still remain unsolved in accelerating LLM inference: (1) Synchronized partial softmax update. The softmax operation requires a synchronized update operation among each partial softmax result, leading to ~20% overheads for the attention computation in LLMs. (2) Under-utilized computation of flat GEMM. The shape of matrices performing GEMM in LLM inference is flat, leading to under-utilized computation and >50% performance loss after padding zeros in previous designs. (3) Performance loss due to static dataflow. Kernel performance in LLM depends on varied input data features, hardware configurations, etc. A single and static dataflow may lead to a 50.25% performance loss for GEMMs of different shapes in LLM inference. We present FlashDecoding++, a fast LLM inference engine supporting mainstream LLMs and hardware back-ends. To tackle the above challenges, FlashDecoding++ creatively proposes: (1) Asynchronized softmax with unified max value. FlashDecoding++ introduces a unified max value technique for different partial softmax computations to avoid synchronization. (2) Flat GEMM optimization with double buffering. FlashDecoding++ points out that flat GEMMs with different shapes face varied bottlenecks. Then, techniques like double buffering are introduced. (3) Heuristic dataflow with hardware resource adaptation. FlashDecoding++ heuristically optimizes dataflow using different hardware resource considering input dynamics. Due to the versatility of optimizations in FlashDecoding++, FlashDecoding++ can achieve up to 4.86x and 2.18x speedup on both NVIDIA and AMD GPUs compared to Hugging Face implementations. FlashDecoding++ also achieves an average speedup of 1.37x compared to state-of-the-art LLM inference engines on mainstream LLMs.


title: Distilling Knowledge from CNN-Transformer Models for Enhanced Human Action Recognition

abstract: This paper presents a study on improving human action recognition through the utilization of knowledge distillation, and the combination of CNN and ViT models. The research aims to enhance the performance and efficiency of smaller student models by transferring knowledge from larger teacher models. The proposed method employs a Transformer vision network as the student model, while a convolutional network serves as the teacher model. The teacher model extracts local image features, whereas the student model focuses on global features using an attention mechanism. The Vision Transformer (ViT) architecture is introduced as a robust framework for capturing global dependencies in images. Additionally, advanced variants of ViT, namely PVT, Convit, MVIT, Swin Transformer, and Twins, are discussed, highlighting their contributions to computer vision tasks. The ConvNeXt model is introduced as a teacher model, known for its efficiency and effectiveness in computer vision. The paper presents performance results for human action recognition on the Stanford 40 dataset, comparing the accuracy and mAP of student models trained with and without knowledge distillation. The findings illustrate that the suggested approach significantly improves the accuracy and mAP when compared to training networks under regular settings. These findings emphasize the potential of combining local and global features in action recognition tasks.


title: Binary Black Holes and Quantum Off-Shell Recursion

abstract: The quantum off-shell recursion provides an efficient and universal computational tool for loop-level scattering amplitudes. In this work, we present a new comprehensive computational framework based on the quantum off-shell recursion for binary black hole systems. Using the quantum perturbiner method, we derive the recursions and solve them explicitly up to two-loop order. We develop a power-counting prescription that enables the straightforward separation of classical diagrams. We also devise a classification scheme that optimizes the integration by parts (IBP) reduction process, which makes higher-loop calculations more tractable. By employing the soft expansion technique, we remove irrelevant terms from the loop integrands and express them in terms of master integrals. We classify the one-loop and the two-loop classical diagrams, and their loop integrands are represented by linear combinations of the master integrals. Finally, we explicitly calculate the classical scalar 2 to 2 amplitudes in the potential region up to the 3PM order and reproduce the known results.


title: Controlling high-harmonic generation from strain engineered monolayer phosphorene

abstract: Phosphorene, a well-studied 2D allotrope of phosphorus, features unique properties such as widely tunable bandgap, high carrier mobility, and remarkable intrinsic in-plane anisotropy. Utilizing these structural and electronic properties, we investigate ultrafast electron dynamics and high harmonic generation (HHG) from phosphorene subject to band structure engineering through external strain, based on ab initio time-dependent density-functional theory approach. We show that strong field processes in such systems can be optimized and controlled by biaxial tensile and compressive strain engineering, that results in electronic structure modification. While -10% strain resulted in closing of band gap, 2% strain increased the gap by 22% with respect to 0.9 eV in pristine phosphorene, consequently affecting the high harmonic yield. With reduction of gap, by applying strain from 2% to -10%, the valence band near $\Gamma-$point becomes more flat and discreet, resulting in large electronic density of states and enhanced electronic excitation, which reflects in their ultrafast sub-cycle dynamics under laser excitation. Moreover, due to its intrinsic in-plane anisotropy, harmonic yield with laser polarization along the armchair (AC) direction is found to be higher than that of the zigzag (ZZ) direction for all the strain cases. Nearly, an order of magnitude enhancement of harmonic intensity is achieved for -10% strain along AC direction. The current study expands the research possibilities of phosphorene into a previously unexplored domain, indicating its potential for future utilization in extreme-ultraviolet and attosecond nanophotonics, and also for efficient table-top HHG sources.


title: Magnetic fields and plasma heating in the Sun's atmosphere

abstract: We use the first publically available data from the Daniel K. Inouye Solar Telescope (DKIST) to track magnetic connections from the solar photosphere into the corona. We scrutinize relationships between chromospheric magnetism and bright chromospheric, transition region and coronal plasmas. In June 2022, the Visible Spectro-Polarimeter (ViSP) instrument targeted unipolar network within a decaying active region. ViSP acquired rastered scans with longitudinal Zeeman sensitivities of 0.25 Mx/cm2 (Fe I 630.2 nm) and 0.5 Mx/cm2 (Ca II 854.2 nm). ViSP was operated in a "low" resolution mode (0.214" slit width, spectral resolution R ~ 70,000) to produce polarization maps over a common area of 105" x 50". Data from SDO and IRIS are combined to ask: Why is only a fraction of emerging flux filled with heated plasma? What is the elemental nature of the plasmas? No correlations were found between heated plasma and properties of chromospheric magnetic fields derived from the WFA, on scales below supergranules. Processes hidden from our observations control plasma heating. While improved magnetic measurements are needed, these data indicate that "the corona is a self-regulating forced system" (Einaudi et al. 2021). Heating depends on the state of the corona, not simply on boundary conditions. Heating models based upon identifiable bipolar fields, including cool loops, tectonics and observable magnetic reconnection, are refuted for these regions with unipolar chromospheric magnetic fields.


title: Semiparametric Latent ANOVA Model for Event-Related Potentials

abstract: Event-related potentials (ERPs) extracted from electroencephalography (EEG) data in response to stimuli are widely used in psychological and neuroscience experiments. A major goal is to link ERP characteristic components to subject-level covariates. Existing methods typically follow two-step approaches, first identifying ERP components using peak detection methods and then relating them to the covariates. This approach, however, can lead to loss of efficiency due to inaccurate estimates in the initial step, especially considering the low signal-to-noise ratio of EEG data. To address this challenge, we propose a semiparametric latent ANOVA model (SLAM) that unifies inference on ERP components and their association to covariates. SLAM models ERP waveforms via a structured Gaussian process prior that encodes ERP latency in its derivative and links the subject-level latencies to covariates using a latent ANOVA. This unified Bayesian framework provides estimation at both population- and subject- levels, improving the efficiency of the inference by leveraging information across subjects. We automate posterior inference and hyperparameter tuning using a Monte Carlo expectation-maximization algorithm. We demonstrate the advantages of SLAM over competing methods via simulations. Our method allows us to examine how factors or covariates affect the magnitude and/or latency of ERP components, which in turn reflect cognitive, psychological or neural processes. We exemplify this via an application to data from an ERP experiment on speech recognition, where we assess the effect of age on two components of interest. Our results verify the scientific findings that older people take a longer reaction time to respond to external stimuli because of the delay in perception and brain processes.


title: Unraveling Diffusion in Fusion Plasma: A Case Study of In Situ Processing and Particle Sorting

abstract: This work starts an in situ processing capability to study a certain diffusion process in magnetic confinement fusion. This diffusion process involves plasma particles that are likely to escape confinement. Such particles carry a significant amount of energy from the burning plasma inside the tokamak to the diverter and damaging the diverter plate. This study requires in situ processing because of the fast changing nature of the particle diffusion process. However, the in situ processing approach is challenging because the amount of data to be retained for the diffusion calculations increases over time, unlike in other in situ processing cases where the amount of data to be processed is constant over time. Here we report our preliminary efforts to control the memory usage while ensuring the necessary analysis tasks are completed in a timely manner. Compared with an earlier naive attempt to directly computing the same diffusion displacements in the simulation code, this in situ version reduces the memory usage from particle information by nearly 60% and computation time by about 20%.


title: Design of an Ultra-Wideband Antenna Feed and Reflector for use in Hydrogen Intensity Mapping Interferometers

abstract: This paper describes the design of a 5.5:1 bandwidth feed antenna and reflector system, intended for use in hydrogen intensity mapping experiments. The system is optimized to reduce systematic effects that can arise in these experiments from scattering within the feed/reflector and cross-coupling between antennas. The proposed feed is an ultra wideband Vivaldi style design and was optimized to have a smooth frequency response, high gain, and minimal shadowing of the reflector dish. This feed can optionally include absorptive elements which reduce systematics but degrade sensitivity. The proposed reflector is a deep parabolic dish with $f/d = 0.216$ along with an elliptical collar to provide additional shielding. The procedure for optimizing these design choices is described.


title: Needlet Karhunen-Lo\`eve (NKL): A Method For Cleaning Foregrounds From 21cm Intensity Maps

abstract: This paper introduces a technique called NKL, which cleans both polarized and unpolarized foregrounds from HI intensity maps by applying a Karhunen-Lo\`eve transform on the needlet coefficients. In NKL, one takes advantage of correlations not only along the line of sight, but also between different angular regions, referred to as ``chunks". This provides a distinct advantage over many of the standard techniques applied to map-space that one finds in the literature, which do not consider such spatial correlations. Moreover, the NKL technique does not require any priors on the nature of the foregrounds, which is important when considering polarized foregrounds. We also introduce a modified version of GNILC, referred to as MGNILC, which incorporates an approximation of the foregrounds to improve performance. The NKL and MGNILC techniques are tested on simulated maps which include polarized foregrounds. Their performance is compared to the GNILC, GMCA, ICA and PCA techniques. Two separate tests were performed. One at $1.84 < z < 2.55$ and the other at $0.31 < z < 0.45$. NKL was found to provide the best performance in both tests, providing a factor of 10 to 50 improvement over GNILC at $k < 0.1\,{\rm hMpc^{-1}}$ in the higher redshift case and $k < 0.03 \,{\rm hMpc^{-1}}$ in the lower redshift case. However, none of the methods were found to recover the power spectrum satisfactorily at all BAO scales.


title: Map-assisted TDOA Localization Enhancement Based On CNN

abstract: For signal processing related to localization technologies, non line of sight (NLOS) multipaths have a significant impact on the localization error level. This study proposes a localization correction method based on convolution neural network (CNN), which extracts obstacle features from maps to predict the localization errors caused by NLOS effects. A novel compensation scheme is developed and structured around the localization error in terms of distance and azimuth angle predicted by the CNN. Four prediction tasks are executed over different building distributions within the maps for typical urban scenario, resulting in CNN models with high prediction accuracy. Finally, a thorough comparison of the accuracy performance between the time difference of arrival (TDOA) localization algorithm and the results after the error compensation reveals that, generally, the CNN prediction approach demonstrates great localization error correction performance, improving TDOA accuracy by 75%. It can be observed that the powerful feature extraction capability of CNN can be exploited by processing surrounding maps to predict the localization error distribution, showing great potential for further enhancement of TDOA performance under challenging scenarios with rich multipath propagation.


title: Joint 3D Shape and Motion Estimation from Rolling Shutter Light-Field Images

abstract: In this paper, we propose an approach to address the problem of 3D reconstruction of scenes from a single image captured by a light-field camera equipped with a rolling shutter sensor. Our method leverages the 3D information cues present in the light-field and the motion information provided by the rolling shutter effect. We present a generic model for the imaging process of this sensor and a two-stage algorithm that minimizes the re-projection error while considering the position and motion of the camera in a motion-shape bundle adjustment estimation strategy. Thereby, we provide an instantaneous 3D shape-and-pose-and-velocity sensing paradigm. To the best of our knowledge, this is the first study to leverage this type of sensor for this purpose. We also present a new benchmark dataset composed of different light-fields showing rolling shutter effects, which can be used as a common base to improve the evaluation and tracking the progress in the field. We demonstrate the effectiveness and advantages of our approach through several experiments conducted for different scenes and types of motions. The source code and dataset are publicly available at: https://github.com/ICB-Vision-AI/RSLF


title: Raoul Gatto and Bruno Touschek's joint legacy in the rise of electron-positron physics

abstract: Raoul Gatto and Bruno Touschek's collaboration in the establishment of electron positron colliders as a fundamental discovery tool in particle physics will be illustrated. In particular, we will tell the little-known story of how Gatto and Touschek's pioneering vision combined to provide the theoretical foundations for AdA, the first matter-antimatter collider, and how their friendship with Wolfgang Pauli and Gerhard L\"uders was crucial to their understanding of the CPT theorem, the basis for AdA's success. We will see how these two exceptional scientists shaped physics between Rome and Frascati, from the proposal to build AdA and, soon after in 1961, the larger machine ADONE, to the discovery of the $J/\Psi$ particle in 1974. We will also highlight Gatto and Touschek's contribution in mentoring an extraordinary cohort of students and collaborators whose work contributed to the renaissance of Italian theoretical physics after the Second World War and to the establishment of the Standard Model of particle physics.


title: Electrical engineering of topological magnetism in two-dimensional heterobilayers

abstract: The emergence of topological magnetism in two-dimensional (2D) van der Waals (vdW) magnetic materials promoted 2D heterostructures as key building-blocks of devices for information technology based on topological concepts. Here, we demonstrate the all-electric switching of the topological nature of individual magnetic objects emerging in 2D vdW heterobillayers. We show from the first principles that an external electric field modifies the vdW gap between CrTe $_2$ and (Rh, Ti)Te$_2$ layers and alters the underlying magnetic interactions. This enables switching between ferromagnetic skyrmions and meron pairs in the CrTe$_2$/RhTe$_2$ heterobilayer while it enhances the stability of frustrated antiferromagnetic merons in the CrTe$_2$/TiTe$_2$ heterobilayer. We envision that the electrical engineering of distinct topological magnetic solitons in a single device could pave the way for novel energy-efficient mechanisms to store and transmit information with applications in spintronics.


title: DP-Mix: Mixup-based Data Augmentation for Differentially Private Learning

abstract: Data augmentation techniques, such as simple image transformations and combinations, are highly effective at improving the generalization of computer vision models, especially when training data is limited. However, such techniques are fundamentally incompatible with differentially private learning approaches, due to the latter's built-in assumption that each training image's contribution to the learned model is bounded. In this paper, we investigate why naive applications of multi-sample data augmentation techniques, such as mixup, fail to achieve good performance and propose two novel data augmentation techniques specifically designed for the constraints of differentially private learning. Our first technique, DP-Mix_Self, achieves SoTA classification performance across a range of datasets and settings by performing mixup on self-augmented data. Our second technique, DP-Mix_Diff, further improves performance by incorporating synthetic data from a pre-trained diffusion model into the mixup process. We open-source the code at https://github.com/wenxuan-Bao/DP-Mix.


title: Unveiling the deep plumbing system of a volcano by a reflection matrix analysis of seismic noise

abstract: In geophysics, volcanoes are particularly difficult to image because of the multi-scale heterogeneities of fluids and rocks that compose them and their complex non-linear dynamics. By exploiting seismic noise recorded by a sparse array of geophones, we are able to reveal the magmatic and hydrothermal plumbing system of La Soufri\`ere volcano in Guadeloupe. Spatio-temporal cross-correlation of seismic noise actually provides the impulse responses between virtual geophones located inside the volcano. The resulting reflection matrix can be exploited to numerically perform an auto-focus of seismic waves on any reflector of the underground. An unprecedented view on the volcano's inner structure is obtained at a half-wavelength resolution. This innovative observable provides fundamental information for the conceptual modeling and high-resolution monitoring of volcanoes.


title: Bias correction in multiple-systems estimation

abstract: If part of a population is hidden but two or more sources are available that each cover parts of this population, dual- or multiple-system(s) estimation can be applied to estimate this population. For this it is common to use the log-linear model, estimated with maximum likelihood. These maximum likelihood estimates are based on a non-linear model and therefore suffer from finite-sample bias, which can be substantial in case of small samples or a small population size. This problem was recognised by Chapman, who derived an estimator with good small sample properties in case of two available sources. However, he did not derive an estimator for more than two sources. We propose an estimator that is an extension of Chapman's estimator to three or more sources and compare this estimator with other bias-reduced estimators in a simulation study. The proposed estimator performs well, and much better than the other estimators. A real data example on homelessness in the Netherlands shows that our proposed model can make a substantial difference.


title: Almost holomorphic curves in real analytic hypersurfaces

abstract: Using the theory of exterior differential systems, we study the existence of germ of pseudo-holomorphic disk in a real analytic hypersurface locally defined in a complex manifold equipped with J a real analytic almost complex structure. The integrable case in C n with J the multiplication by i has been intensively studied by several authors [DF], [DA1] and [DA2] for example. The non integrable case is drastically different essentially due to the following fact : in generic case, there is no J-invariant objects of dimension bigger than one. This simple observation leads to the non existence of some equivalents of Segree varieties or ideals of holomorphic functions which play a fundamental role in the complex case. Nevertheless in the almost complex case, we adopt the exterior differential system point of view of E.Cartan developed and clarified in [BCGGG].


title: Large traveling capillary-gravity waves for Darcy flow

abstract: We study capillary-gravity and capillary surface waves for fluid flows governed by Darcy's law. This includes flows in vertical Hele-Shaw cells and in porous media (the one-phase Muskat problem) with finite or infinite depth. The free boundary is acted upon by an external pressure posited to be in traveling wave form with an arbitrary periodic profile and an amplitude parameter. For any given wave speed, we first prove that there exists a unique local curve of small periodic traveling waves corresponding to small values of the parameter. Then we prove that as the parameter increases but could possibly be bounded, the curve belongs to a connected set $\mathcal{C}$ of traveling waves. The set $\mathcal{C}$ contains traveling waves that either have arbitrarily large gradients or are arbitrarily close to the rigid bottom in the finite depth case. To the best of our knowledge, this is the first construction of large traveling surface waves for a viscous free boundary problem.


title: Waveform Modelling for the Laser Interferometer Space Antenna

abstract: LISA, the Laser Interferometer Space Antenna, will usher in a new era in gravitational-wave astronomy. As the first anticipated space-based gravitational-wave detector, it will expand our view to the millihertz gravitational-wave sky, where a spectacular variety of interesting new sources abound: from millions of ultra-compact binaries in our Galaxy, to mergers of massive black holes at cosmological distances; from the beginnings of inspirals that will venture into the ground-based detectors' view to the death spiral of compact objects into massive black holes, and many sources in between. Central to realising LISA's discovery potential are waveform models, the theoretical and phenomenological predictions of the pattern of gravitational waves that these sources emit. This white paper is presented on behalf of the Waveform Working Group for the LISA Consortium. It provides a review of the current state of waveform models for LISA sources, and describes the significant challenges that must yet be overcome.


title: TRIALSCOPE: A Unifying Causal Framework for Scaling Real-World Evidence Generation with Biomedical Language Models

abstract: The rapid digitization of real-world data offers an unprecedented opportunity for optimizing healthcare delivery and accelerating biomedical discovery. In practice, however, such data is most abundantly available in unstructured forms, such as clinical notes in electronic medical records (EMRs), and it is generally plagued by confounders. In this paper, we present TRIALSCOPE, a unifying framework for distilling real-world evidence from population-level observational data. TRIALSCOPE leverages biomedical language models to structure clinical text at scale, employs advanced probabilistic modeling for denoising and imputation, and incorporates state-of-the-art causal inference techniques to combat common confounders. Using clinical trial specification as generic representation, TRIALSCOPE provides a turn-key solution to generate and reason with clinical hypotheses using observational data. In extensive experiments and analyses on a large-scale real-world dataset with over one million cancer patients from a large US healthcare network, we show that TRIALSCOPE can produce high-quality structuring of real-world data and generates comparable results to marquee cancer trials. In addition to facilitating in-silicon clinical trial design and optimization, TRIALSCOPE may be used to empower synthetic controls, pragmatic trials, post-market surveillance, as well as support fine-grained patient-like-me reasoning in precision diagnosis and treatment.


title: Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version)

abstract: We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification problem for concurrent programs with a fixed number of threads. More precisely, we present petrification, a transformation from programs with dynamic thread management to an existing, Petri net-based formalism for programs with a fixed number of threads. Our approach is implemented in a software model checking tool for C programs that use the pthreads API.


title: Local differential privacy in survival analysis using private failure indicators

abstract: We consider the estimation of the cumulative hazard function, and equivalently the distribution function, with censored data under a setup that preserves the privacy of the survival database. This is done through a $\alpha$-locally differentially private mechanism for the failure indicators and by proposing a non-parametric kernel estimator for the cumulative hazard function that remains consistent under the privatization. Under mild conditions, we also prove lowers bounds for the minimax rates of convergence and show that estimator is minimax optimal under a well-chosen bandwidth.


title: VM-Rec: A Variational Mapping Approach for Cold-start User Recommendation

abstract: The cold-start problem is a common challenge for most recommender systems. The practical application of most cold-start methods is hindered by the deficiency in auxiliary content information for users. Moreover, most methods necessitate simultaneous updates to the extensive parameters of recommender models, leading to significant training costs, particularly in large-scale industrial scenarios. We observe that the model can generate expressive embeddings for warm users with relatively more interactions. Initially, these users were cold-start users, and after transitioning to warm users, they exhibit clustering patterns in their embeddings with consistent initial interactions. Based on this motivation, we propose a Variational Mapping approach for cold-start user Recommendation (VM-Rec), mapping from few initial interactions to expressive embeddings for cold-start users. Specifically, we encode the initial interactions into a latent representation, where each dimension disentangledly signifies the degree of association with each warm user. Subsequently, we utilize this latent representation as the parameters for the mapping function, mapping (decoding) it into an expressive embedding, which can be integrated into a pre-trained recommender model directly. Our method is evaluated on three datasets using the same base model, demonstrating superior performance compared to other popular cold-start methods.


title: AWEQ: Post-Training Quantization with Activation-Weight Equalization for Large Language Models

abstract: Large language models(LLMs) exhibit excellent performance across a variety of tasks, but they come with significant computational and storage costs. Quantizing these models is an effective way to alleviate this issue. However, existing methods struggle to strike a balance between model accuracy and hardware efficiency. This is where we introduce AWEQ, a post-training method that requires no additional training overhead. AWEQ excels in both ultra-low-bit quantization and 8-bit weight and activation (W8A8) quantization. There is an observation that weight quantization is less challenging than activation quantization. AWEQ transfers the difficulty of activation quantization to weights using channel equalization, achieving a balance between the quantization difficulties of both, and thereby maximizing performance. We have further refined the equalization method to mitigate quantization bias error, ensuring the robustness of the model. Extensive experiments on popular models such as LLaMA and OPT demonstrate that AWEQ outperforms all existing post-training quantization methods for large models.


title: Quantum error mitigation in quantum annealing

abstract: Quantum Error Mitigation (QEM) presents a promising near-term approach to reduce error when estimating expectation values in quantum computing. Here, we introduce QEM techniques tailored for quantum annealing, using Zero-Noise Extrapolation (ZNE). We implement ZNE through zero-temperature extrapolation as well as energy-time rescaling. We conduct experimental investigations into the quantum critical dynamics of a transverse-field Ising spin chain, demonstrating the successful mitigation of thermal noise through both of these techniques. Moreover, we show that energy-time rescaling effectively mitigates control errors in the coherent regime where the effect of thermal noise is minimal. Our ZNE results agree with exact calculations of the coherent evolution over a range of annealing times that exceeds the coherent annealing range by almost an order of magnitude.


title: The Effect of Scaling, Retrieval Augmentation and Form on the Factual Consistency of Language Models

abstract: Large Language Models (LLMs) make natural interfaces to factual knowledge, but their usefulness is limited by their tendency to deliver inconsistent answers to semantically equivalent questions. For example, a model might predict both "Anne Redpath passed away in Edinburgh." and "Anne Redpath's life ended in London." In this work, we identify potential causes of inconsistency and evaluate the effectiveness of two mitigation strategies: up-scaling and augmenting the LM with a retrieval corpus. Our results on the LLaMA and Atlas models show that both strategies reduce inconsistency while retrieval augmentation is considerably more efficient. We further consider and disentangle the consistency contributions of different components of Atlas. For all LMs evaluated we find that syntactical form and other evaluation task artifacts impact consistency. Taken together, our results provide a better understanding of the factors affecting the factual consistency of language models.


title: Hybrid-Fusion Transformer for Multisequence MRI

abstract: Medical segmentation has grown exponentially through the advent of a fully convolutional network (FCN), and we have now reached a turning point through the success of Transformer. However, the different characteristics of the modality have not been fully integrated into Transformer for medical segmentation. In this work, we propose the novel hybrid fusion Transformer (HFTrans) for multisequence MRI image segmentation. We take advantage of the differences among multimodal MRI sequences and utilize the Transformer layers to integrate the features extracted from each modality as well as the features of the early fused modalities. We validate the effectiveness of our hybrid-fusion method in three-dimensional (3D) medical segmentation. Experiments on two public datasets, BraTS2020 and MRBrainS18, show that the proposed method outperforms previous state-of-the-art methods on the task of brain tumor segmentation and brain structure segmentation.


title: Comparison of moving and stationary clapping bodies

abstract: We report differences in the flow dynamics and in the body kinematics between a clapping body that is allowed to propel forward freely (Dynamic) and one that is constrained from moving forward (Stationary). The experiments were done in quiescent water. The body consists of two interconnected plates hinged at one end with a 'torsion' spring. Initially, a thread loop holds the plates apart at an interplate angle of 60 degrees. Cutting of the thread initiates the clapping motion, and if allowed, the body propels forward a certain distance. Experiments have been performed for three values of $d^*$(= depth/length): 1.5, 1.0, and 0.5. In both cases, vortex loops initially develop along the three edges of each plate, which reconnect by the end of the clapping motion resulting in the formation of an elliptical vortex loop in the wake for $d^*$ = 1.5, 1.0 bodies, and multiple connected rings for $d^*$ = 0.5 bodies. Three main and unexpected differences are observed between the 'Dynamic' and 'Stationary' bodies. In the dynamic case, the clapping action is faster compared to the stationary case, with the maximum angular plate velocity being twice as high. The mean thrust coefficient, $\overline{C_T}$, based on plate tip velocity, is higher for the stationary. The value of $\overline{C_T}$ and the circulation in the starting vortices is almost independent of $d^*$ for the dynamic case, whereas it increases with $d^*$ for the stationary case. The core separation of starting vortices closely matches in both stationary and dynamic cases although circulation varies.


title: Scattering Vision Transformer: Spectral Mixing Matters

abstract: Vision transformers have gained significant attention and achieved state-of-the-art performance in various computer vision tasks, including image classification, instance segmentation, and object detection. However, challenges remain in addressing attention complexity and effectively capturing fine-grained information within images. Existing solutions often resort to down-sampling operations, such as pooling, to reduce computational cost. Unfortunately, such operations are non-invertible and can result in information loss. In this paper, we present a novel approach called Scattering Vision Transformer (SVT) to tackle these challenges. SVT incorporates a spectrally scattering network that enables the capture of intricate image details. SVT overcomes the invertibility issue associated with down-sampling operations by separating low-frequency and high-frequency components. Furthermore, SVT introduces a unique spectral gating network utilizing Einstein multiplication for token and channel mixing, effectively reducing complexity. We show that SVT achieves state-of-the-art performance on the ImageNet dataset with a significant reduction in a number of parameters and FLOPS. SVT shows 2\% improvement over LiTv2 and iFormer. SVT-H-S reaches 84.2\% top-1 accuracy, while SVT-H-B reaches 85.2\% (state-of-art for base versions) and SVT-H-L reaches 85.7\% (again state-of-art for large versions). SVT also shows comparable results in other vision tasks such as instance segmentation. SVT also outperforms other transformers in transfer learning on standard datasets such as CIFAR10, CIFAR100, Oxford Flower, and Stanford Car datasets. The project page is available on this webpage.\url{https://badripatro.github.io/svt/}.


title: Software Engineering for OpenHarmony: A Research Roadmap

abstract: Mobile software engineering has been a hot research topic for decades. Our fellow researchers have proposed various approaches (with over 7,000 publications for Android alone) in this field that essentially contributed to the great success of the current mobile ecosystem. Existing research efforts mainly focus on popular mobile platforms, namely Android and iOS. OpenHarmony, a newly open-sourced mobile platform, has rarely been considered, although it is the one requiring the most attention as OpenHarmony is expected to occupy one-third of the market in China (if not in the world). To fill the gap, we present to the mobile software engineering community a research roadmap for encouraging our fellow researchers to contribute promising approaches to OpenHarmony. Specifically, we start by presenting a literature review of mobile software engineering, attempting to understand what problems have been targeted by the mobile community and how they have been resolved. We then summarize the existing (limited) achievements of OpenHarmony and subsequently highlight the research gap between Android/iOS and OpenHarmony. This research gap eventually helps in forming the roadmap for conducting software engineering research for OpenHarmony.


title: Statistical Results of Multivariate Fox-H Function for Exact Performance Analysis of RIS-Assisted Wireless Communication

abstract: Existing research provides statistical results on the sum of single-variate Fox-H functions to analyze the performance of diversity receivers and reconfigurable intelligent surfaces (RIS) based wireless systems. There is a research gap in exact performance analysis when more than a single-variate Fox-H function represents the statistical characterization of wireless systems. In this paper, we propose a novel approach to obtain the distribution of the sum of independent and non-identically distributed (i.ni.d) random variables characterized by the multivariate Fox-H function. Further, we develop a general framework for an exact analysis of the ergodic capacity when the multivariate Fox-H function characterizes the statistics of signal-to-noise ratio (SNR). We apply the derived results to conduct an exact performance analysis of outage probability and ergodic capacity, taking an example of RIS-assisted communication over Rician fading channels with phase errors. We conduct computer simulations to validate the exact analysis and demonstrate performance of the RIS-assisted system under various practically relevant scenarios for a better performance assessment.


title: Evolution of helium triplet transits of close-in gas giants orbiting K-dwarfs

abstract: Atmospheric escape in exoplanets has traditionally been observed using hydrogen Lyman-$\alpha$ and H-$\alpha$ transmission spectroscopy, but more recent detections have utilised the metastable helium triplet at 1083$~$nm. Since this feature is accessible from the ground, it offers new possibilities for studying atmospheric escape. Our goal is to understand how the observability of escaping helium evolves during the lifetime of a highly irradiated gas giant. We extend our previous work on 1-D self-consistent hydrodynamic escape from hydrogen-only atmospheres as a function of planetary evolution to the first evolution-focused study of escaping hydrogen-helium atmospheres. Additionally, using these novel models we perform helium triplet transmission spectroscopy. We adapt our previous hydrodynamic escape model to now account for both hydrogen and helium heating and cooling processes and simultaneously solve for the population of helium in the triplet state. To account for the planetary evolution, we utilise evolving predictions of planetary radii for a close-in 0.3$~M_{\rm Jup}$ gas giant and its received stellar flux in X-ray, hard and soft EUV, and mid-UV wavelength bins assuming a K dwarf stellar host. We find that the helium triplet signature diminishes with evolution. Our models suggest that young ($\lesssim 150$~Myr), close-in gas giants ($\sim 1$ to $2~R_{\rm Jup}$) should produce helium 1083$~$nm transit absorptions of $\sim 4\%$ or $\sim 7\%$, for a slow or fast-rotating K dwarf, respectively, assuming a 2$\%$ helium abundance.


title: Recommendations by Concise User Profiles from Review Text

abstract: Recommender systems are most successful for popular items and users with ample interactions (likes, ratings etc.). This work addresses the difficult and underexplored case of supporting users who have very sparse interactions but post informative review texts. Our experimental studies address two book communities with these characteristics. We design a framework with Transformer-based representation learning, covering user-item interactions, item content, and user-provided reviews. To overcome interaction sparseness, we devise techniques for selecting the most informative cues to construct concise user profiles. Comprehensive experiments, with datasets from Amazon and Goodreads, show that judicious selection of text snippets achieves the best performance, even in comparison to LLM-generated rankings and to using LLMs to generate user profiles.