title: Unsupervised Candidate Answer Extraction through Differentiable Masker-Reconstructor Model

abstract: Question generation is a widely used data augmentation approach with extensive applications, and extracting qualified candidate answers from context passages is a critical step for most question generation systems. However, existing methods for candidate answer extraction are reliant on linguistic rules or annotated data that face the partial annotation issue and challenges in generalization. To overcome these limitations, we propose a novel unsupervised candidate answer extraction approach that leverages the inherent structure of context passages through a Differentiable Masker-Reconstructor (DMR) Model with the enforcement of self-consistency for picking up salient information tokens. We curated two datasets with exhaustively-annotated answers and benchmark a comprehensive set of supervised and unsupervised candidate answer extraction methods. We demonstrate the effectiveness of the DMR model by showing its performance is superior among unsupervised methods and comparable to supervised methods.


title: Monolithic Integration of Superconducting-Nanowire Single-Photon Detectors with Josephson Junctions for Scalable Single-photon Sensing

abstract: We demonstrate superconducting single-photon detectors that integrate signals locally at each pixel. This capability is realized by the monolithic integration of superconducting-nanowire single-photon detectors with Josephson electronics. The motivation is to realize superconducting sensor elements with integrating capabilities similar to their CMOS-sensor counterparts. The pixels can operate in several modes. First, we demonstrate that photons can be counted individually, with each detection event adding an identical amount of supercurrent to an integrating element. Second, we demonstrate an active gain control option, in which the signal added per detection event can be dynamically adjusted to account for variable light conditions. Additionally, the pixels can either retain signal indefinitely to record all counts incurred over an integration period, or the pixels can record a fading signal of detection events within a decay time constant. We describe additional semiconductor readout circuitry that will be used in future work to realize scalable, large-format sensor arrays of superconducting single photon detectors compatible with CMOS array readout architectures.


title: Streamlining Brain Tumor Classification with Custom Transfer Learning in MRI Images

abstract: Brain tumors are increasingly prevalent, characterized by the uncontrolled spread of aberrant tissues in the brain, with almost 700,000 new cases diagnosed globally each year. Magnetic Resonance Imaging (MRI) is commonly used for the diagnosis of brain tumors and accurate classification is a critical clinical procedure. In this study, we propose an efficient solution for classifying brain tumors from MRI images using custom transfer learning networks. While several researchers have employed various pre-trained architectures such as RESNET-50, ALEXNET, VGG-16, and VGG-19, these methods often suffer from high computational complexity. To address this issue, we present a custom and lightweight model using a Convolutional Neural Network-based pre-trained architecture with reduced complexity. Specifically, we employ the VGG-19 architecture with additional hidden layers, which reduces the complexity of the base architecture but improves computational efficiency. The objective is to achieve high classification accuracy using a novel approach. Finally, the result demonstrates a classification accuracy of 96.42%.


title: The four-loop $\beta$-function from vacuum supergraphs and the NSVZ relation for ${\cal N}=1$ SQED regularized by higher derivatives

abstract: In ${\cal N}=1$ SQED with $N_f$ flavors regularized by higher derivatives we obtain the four-loop beta function using a method based on calculating vacuum supergraphs. For this purpose we use a special C++ program which obtain contributions to the $\beta$-function from supergraphs without external legs in the form of integrals of double total derivatives. After that the result was compared with the three-loop anomalous dimension calculated earlier. We explicitly check the NSVZ relation in this order.


title: Semi-Supervised Learning of Dynamical Systems with Neural Ordinary Differential Equations: A Teacher-Student Model Approach

abstract: Modeling dynamical systems is crucial for a wide range of tasks, but it remains challenging due to complex nonlinear dynamics, limited observations, or lack of prior knowledge. Recently, data-driven approaches such as Neural Ordinary Differential Equations (NODE) have shown promising results by leveraging the expressive power of neural networks to model unknown dynamics. However, these approaches often suffer from limited labeled training data, leading to poor generalization and suboptimal predictions. On the other hand, semi-supervised algorithms can utilize abundant unlabeled data and have demonstrated good performance in classification and regression tasks. We propose TS-NODE, the first semi-supervised approach to modeling dynamical systems with NODE. TS-NODE explores cheaply generated synthetic pseudo rollouts to broaden exploration in the state space and to tackle the challenges brought by lack of ground-truth system data under a teacher-student model. TS-NODE employs an unified optimization framework that corrects the teacher model based on the student's feedback while mitigating the potential false system dynamics present in pseudo rollouts. TS-NODE demonstrates significant performance improvements over a baseline Neural ODE model on multiple dynamical system modeling tasks.


title: Mapping the space of quantum expectation values

abstract: For a quantum system with Hilbert space ${\cal H}$ of dimension $N$ and a set $S$ of $n$ Hermitian operators ${\cal O}_i$, a basic question is to understand the set $E_S \subset \mathbb{R}^n$ of points $\vec{e}$ where $e_i = {\rm tr}(\rho {\cal O}_i)$ for an allowed state $\rho$. A related question is to determine whether a given set of expectation values $\vec{e}$ lies in $E_S$ and in this case to describe the most general state with these expectation values. In this paper, we describe various ways to characterize $E_S$, reviewing basic results that are perhaps not widely known and adding new ones. One important result (originally due to E. Wichmann) is that for a set $S$ of linearly independent traceless operators, every set of expectation values $\vec{e}$ in the interior of $E_S$ is achieved uniquely by a state of the form $\rho({\vec{\beta}}) = e^{-\sum_i \beta_i {\cal O}_i}/{\rm tr}(e^{-\sum_i \beta_i {\cal O}_i})$ for ${\cal O}_i \in S$. In fact, the map $\vec{\beta} \to \vec{E}(\vec{\beta}) = {\rm tr}(\vec{\cal O} \rho({\vec{\beta}}))$ is a diffeomorphism from $\mathbb{R}^n$ to the interior of $E_S$ with symmetric, positive Jacobian; using this fact, we provide an algorithm to invert $\vec{E}(\vec{\beta})$ and thus determine a state $\rho({\vec{\beta}(\vec{e})})$ with specified expectation values $\vec{e}$ provided that these lie in $E_S$. The algorithm is based on defining a first order differential equation in the space of parameters $\vec{\beta}$ that is guaranteed to converge to $\vec{\beta}(\vec{e})$ in a precise way, with $|\vec{E}(\vec{\beta}(t)) - \vec{e}| = C e^{-t}$.


title: Asteroid 2023 NT1: A Cautionary Tale

abstract: We investigate a variety of short warning time, terminal mitigation scenarios via fragmentation for a hypothetical impact of asteroid 2023 NT1, a Near-Earth Object (NEO) that was discovered on July 15, 2023, two days after its closest approach to Earth on July 13. The asteroid passed by Earth within ~0.25 lunar distances with a closest approach distance of ~10$^{5}$ km and speed of 11.27 km/s. Its size remains largely uncertain, with an estimated diameter range of 26 - 58 m and probable diameter estimate (weighted by the NEO size frequency distribution) of 34 m (JPL Sentry, September 12, 2023). The asteroid approached Earth from the direction of the Sun, as did both the Chelyabinsk asteroid in 2013 and comet NEOWISE in 2021. As a result, 2023 NT1 remained undetected until after its closest approach. If it had been on a collision course, it would have had an impact energy of ~1.5 Mt (assuming a spherical asteroid with the probable diameter estimate of 34 m, 2.6 g/cm$^{3}$ uniform density, and impact speed of 15.59 km/s). 2023 NT1 represents a threat that could have caused significant local damage (~3x Chelyabinsk airburst energy). We utilize the PI ("Pulverize It") method for planetary defense to model potential mitigation scenarios of an object like 2023 NT1 through simulations of hypervelocity asteroid disruption and atmospheric ground effects for the case of a terminal defense mode. Simulations suggest that PI is an effective multimodal approach for planetary defense that can operate in extremely short interdiction modes (with intercepts as short as hours prior to impact), in addition to long interdiction time scales with months to years of warning. Our simulations support the proposition that threats like 2023 NT1 can be effectively mitigated with intercepts of one day (or less) prior to impact, yielding minimal to no ground damage, using modest resources and existing technologies.


title: Mass transport at gas-evolving electrodes

abstract: Direct numerical simulations are utilised to investigate mass transfer processes at gas-evolving electrodes that experience successive formation and detachment of bubbles. The gas-liquid interface is modeled employing an Immersed Boundary Method. We simulate the growth phase of the bubbles followed by their departure from the electrode surface in order to study the mixing induced by these processes. We find that the growth of the bubbles switches from a diffusion-limited mode at low to moderate fractional bubble-coverages of the electrode to reaction-limited growth dynamics at high coverages. Furthermore, our results indicate that the net transport within the system is governed by the effective buoyancy driving induced by the rising bubbles and that mechanisms commonly subsumed under the term `microconvection' do not significantly affect the mass transport. Consequently, the resulting gas transport for different bubble sizes, current densities, and electrode coverages can be collapsed onto one single curve and only depends on an effective Grashof number. The same holds for the mixing of the electrolyte when additionally taking the effect of surface blockage by attached bubbles into account. For the gas transport to the bubble, we find that the relevant Sherwood numbers also collapse onto a single curve when accounting for the driving force of bubble growth, incorporated in an effective Jakob number. Finally, linking the hydrogen transfer rates at the electrode and the bubble interface, an approximate correlation for the gas-evolution efficiency has been established. Taken together, these findings enable us to deduce parametrizations for all response parameters of the systems.


title: Generalized Parton Distributions from Lattice QCD with Asymmetric Momentum Transfer: Axial-vector case

abstract: Recently, we made significant advancements in improving the computational efficiency of lattice QCD calculations for Generalized Parton Distributions (GPDs). This progress was achieved by adopting calculations of matrix elements in asymmetric frames, deviating from the computationally-expensive symmetric frame typically used, and allowing freedom in the choice for the distribution of the momentum transfer between the initial and final states. A crucial aspect of this approach involves the adoption of a Lorentz covariant parameterization for the matrix elements, introducing Lorentz-invariant amplitudes. This approach also allows us to propose an alternative definition of quasi-GPDs, ensuring frame independence and potentially reduce power corrections in matching to light-cone GPDs. In our previous work, we presented lattice QCD results for twist-2 unpolarized GPDs ($H$ and $E$) of quarks obtained from calculations performed in asymmetric frames at zero skewness. Building upon this work, we now introduce a novel Lorentz covariant parameterization for the axial-vector matrix elements. We employ this parameterization to compute the axial-vector GPD $\widetilde{H}$ at zero skewness, using an $N_f=2+1+1$ ensemble of twisted mass fermions with clover improvement. The light-quark masses employed in our calculations correspond to a pion mass of approximately 260 MeV.


title: A Whitney Extension Problem for Manifolds

abstract: The purpose of this paper is to address a manifold-based version of Whitney's extension problem: Given a compact set $E\subset\mathbb{R}^n$, how can we tell if there exists a $d$-dimensional, $C^m$-smooth manifold $\mathcal{M}\supset E$? We provide an answer for compact manifolds with boundary in terms of a Glaeser refinement much like that used in the solution of the classical Whitney extension problem and a topological condition. This condition is the existence of a continuous selection for Grassmannian-valued functions, meant to reflect the collection of possible tangent spaces. We demonstrate the necessity of this condition in general and its non-redundancy in an example, while also showing it need not be checked when $d=1$.


title: On Frobenius algebras obtained from stated skein algebras

abstract: When the quantum parameter $q^{\frac{1}{2}}$ is a root of unity of odd order and the punctured bordered surface has nonempty boundary, we prove the fraction ring of the stated skein algebra (that is the localization over all nonzero elements) is a symmetric Frobenius algebra over both the field of fractions of the image of the Frobenius map and the field of fractions of the center of the stated skein algebra. We also calculate Traces of the fraction ring of the stated skein algebra over these two fields.


title: Sparse channel sampling for ultrasound localization microscopy (SPARSE-ULM)

abstract: Ultrasound Localization Microscopy (ULM) has recently enabled the mapping of the cerebral vasculature in vivo with a resolution ten times smaller than the wavelength used, down to ten microns. However, with frame rates up to 20.000 frames per second, this method requires large amount of data to be acquired, transmitted, stored, and processed. The transfer rate is, as of today, one of the main limiting factors of this technology. Herein, we introduce a novel reconstruction framework to decrease this quantity of data to be acquired and the complexity of the required hardware by randomly subsampling the channels of a linear probe. Method performance evaluation as well as parameters optimization were conducted in silico using the SIMUS simulation software in an anatomically realistic phantom and then compared to in vivo acquisitions in a rat brain after craniotomy. Results show that reducing the number of active elements deteriorates the signal-to-noise ratio and could lead to false microbubbles detections but has limited effect on localization accuracy. In simulation, the false positive rate on microbubble detection deteriorates from 3.7% for 128 channels in receive and 7 steered angles to 11% for 16 channels and 7 angles. The average localization accuracy ranges from 10.6 um and 9.93 um for 16 channels/3 angles and 128 channels/13 angles respectively. These results suggest that a compromise can be found between the number of channels and the quality of the reconstructed vascular network and demonstrate feasibility of performing ULM with a reduced number of channels in receive, paving the way for low-cost devices enabling high-resolution vascular mapping.


title: Review of the Gravitomagnetic Clock Effect

abstract: The general relativistic gravitomagnetic clock effect, in its simplest form, consists of the non-vanishing difference in the orbital periods of two counter-orbiting objects moving in opposite directions along circular orbits lying in the equatorial plane of a central rotating source. We briefly review both the theoretical and observational aspects of such an intriguing consequence of Einstein's theory of gravitation.


title: DreamSpace: Dreaming Your Room Space with Text-Driven Panoramic Texture Propagation

abstract: Diffusion-based methods have achieved prominent success in generating 2D media. However, accomplishing similar proficiencies for scene-level mesh texturing in 3D spatial applications, e.g., XR/VR, remains constrained, primarily due to the intricate nature of 3D geometry and the necessity for immersive free-viewpoint rendering. In this paper, we propose a novel indoor scene texturing framework, which delivers text-driven texture generation with enchanting details and authentic spatial coherence. The key insight is to first imagine a stylized 360{\deg} panoramic texture from the central viewpoint of the scene, and then propagate it to the rest areas with inpainting and imitating techniques. To ensure meaningful and aligned textures to the scene, we develop a novel coarse-to-fine panoramic texture generation approach with dual texture alignment, which both considers the geometry and texture cues of the captured scenes. To survive from cluttered geometries during texture propagation, we design a separated strategy, which conducts texture inpainting in confidential regions and then learns an implicit imitating network to synthesize textures in occluded and tiny structural areas. Extensive experiments and the immersive VR application on real-world indoor scenes demonstrate the high quality of the generated textures and the engaging experience on VR headsets. Project webpage: https://ybbbbt.com/publication/dreamspace


title: RSAdapter: Adapting Multimodal Models for Remote Sensing Visual Question Answering

abstract: In recent years, with the rapid advancement of transformer models, transformer-based multimodal architectures have found wide application in various downstream tasks, including but not limited to Image Captioning, Visual Question Answering (VQA), and Image-Text Generation. However, contemporary approaches to Remote Sensing (RS) VQA often involve resource-intensive techniques, such as full fine-tuning of large models or the extraction of image-text features from pre-trained multimodal models, followed by modality fusion using decoders. These approaches demand significant computational resources and time, and a considerable number of trainable parameters are introduced. To address these challenges, we introduce a novel method known as RSAdapter, which prioritizes runtime and parameter efficiency. RSAdapter comprises two key components: the Parallel Adapter and an additional linear transformation layer inserted after each fully connected (FC) layer within the Adapter. This approach not only improves adaptation to pre-trained multimodal models but also allows the parameters of the linear transformation layer to be integrated into the preceding FC layers during inference, reducing inference costs. To demonstrate the effectiveness of RSAdapter, we conduct an extensive series of experiments using three distinct RS-VQA datasets and achieve state-of-the-art results on all three datasets. The code for RSAdapter is available online at https://github.com/Y-D-Wang/RSAdapter.


title: Understanding Addition in Transformers

abstract: Understanding the inner workings of machine learning models like Transformers is vital for their safe and ethical use. This paper provides a comprehensive analysis of a one-layer Transformer model trained to perform n-digit integer addition. Our findings suggest that the model dissects the task into parallel streams dedicated to individual digits, employing varied algorithms tailored to different positions within the digits. Furthermore, we identify a rare scenario characterized by high loss, which we explain. By thoroughly elucidating the model's algorithm, we provide new insights into its functioning. These findings are validated through rigorous testing and mathematical modeling, thereby contributing to the broader fields of model understanding and interpretability. Our approach opens the door for analyzing more complex tasks and multi-layer Transformer models.


title: Light Meson Spectroscopy with GlueX and Beyond

abstract: The GlueX experiment at Jefferson Lab was specifically designed for precision studies of the light-meson spectrum. For this purpose, a photon beam with energies up to 12 GeV is directed onto a liquid hydrogen target contained within a hermetic detector with near-complete neutral and charged particle coverage. Linear polarization of the photon beam with a maximum around 9 GeV provides additional information about the production process. In 2018, the experiment completed its first phase, recording data with a total integrated luminosity above 400 pb$^{-1}$. We highlight a selection of results from this world-leading data set with emphasis on the search for light hybrid mesons. In the mean time, the detector underwent significant upgrades and is currently recording data with an even higher luminosity. The future plans of the GlueX experiment to explore the meson spectrum with unprecedented precision are summarized.


title: Fuel Consumption Prediction for a Passenger Ferry using Machine Learning and In-service Data: A Comparative Study

abstract: As the importance of eco-friendly transportation increases, providing an efficient approach for marine vessel operation is essential. Methods for status monitoring with consideration to the weather condition and forecasting with the use of in-service data from ships requires accurate and complete models for predicting the energy efficiency of a ship. The models need to effectively process all the operational data in real-time. This paper presents models that can predict fuel consumption using in-service data collected from a passenger ship. Statistical and domain-knowledge methods were used to select the proper input variables for the models. These methods prevent over-fitting, missing data, and multicollinearity while providing practical applicability. Prediction models that were investigated include multiple linear regression (MLR), decision tree approach (DT), an artificial neural network (ANN), and ensemble methods. The best predictive performance was from a model developed using the XGboost technique which is a boosting ensemble approach. \rvv{Our code is available on GitHub at \url{https://github.com/pagand/model_optimze_vessel/tree/OE} for future research.


title: Efficient online cross-covariance monitoring with incremental SVD: An approach for the detection of emerging dependency patterns in IoT systems

abstract: The development of the manufacturing systems has made it increasingly necessary to monitor the data generated by multiple interconnected subsystems with rapid incoming of samples. Based on incremental Singular Value Decomposition (ISVD), we develop a general online monitoring approach for the relationship of data generated from two interconnected subsystems, where each subsystem produces big data streams with several variation patterns in normal working condition. When special situation happens and new associations occur, a very small amount of computation is sufficient to update the system status and compute the control statistics by using this approach. The proposed method reduces computational overhead and retains only a small number of pairs of possible dependent patterns at each step. The validation of the method through simulation studies and a case study on semiconductor manufacturing processes further supports its effectiveness.


title: ALMA-IMF IX: Catalog and Physical Properties of 315 SiO Outflow Candidates in 15 Massive Protoclusters

abstract: We present a catalog of 315 protostellar outflow candidates detected in SiO J=5-4 in the ALMA-IMF Large Program, observed with ~2000 au spatial resolution, 0.339 km/s velocity resolution, and 2-12 mJy/beam (0.18-0.8 K) sensitivity. We find median outflow masses, momenta, and kinetic energies of ~0.3 M$_{\odot}$, 4 M$_{\odot}$ km/s, and 10$^{45}$ erg, respectively. Median outflow lifetimes are 6,000 years, yielding median mass, momentum, and energy rates of $\dot{M}$ = 10$^{-4.4}$ M$_{\odot}$ yr$^{-1}$, $\dot{P}$ = 10$^{-3.2}$ M$_{\odot}$ km/s yr$^{-1}$, and $\dot{E}$ = 1 L$_{\odot}$. We analyze these outflow properties in the aggregate in each field. We find correlations between field-aggregated SiO outflow properties and total mass in cores (~3$-$5$\sigma$), and no correlations above 3$\sigma$ with clump mass, clump luminosity, or clump luminosity-to-mass ratio. We perform a linear regression analysis and find that the correlation between field-aggregated outflow mass and total clump mass - which has been previously described in the literature - may actually be mediated by the relationship between outflow mass and total mass in cores. We also find that the most massive SiO outflow in each field is typically responsible for only 15-30% of the total outflow mass (60% upper limit). Our data agree well with the established mechanical force-bolometric luminosity relationship in the literature, and our data extend this relationship up to L $\geq$ 10$^6$ L$_{\odot}$ and $\dot{P}$ $\geq$ 1 M$_{\odot}$ km/s yr$^{-1}$. Our lack of correlation with clump L/M is inconsistent with models of protocluster formation in which all protostars start forming at the same time.


title: An analytical model for tropical cyclone outer-size expansion on the f-plane

abstract: Tropical cyclones are known to expand to an equilibrium size on the $f$-plane, but the expansion process is not understood. In this study, an analytical model for tropical cyclone size expansion on the $f$-plane is proposed. Conceptually, the storm expands because the imbalance between latent heating and radiative cooling drives a lateral inflow that imports absolute vorticity. Volume-integrated latent heating increases more slowly with size than radiative cooling, and hence the storm expands towards an equilibrium size. The predicted expansion rate is given by the ratio of the difference in size from its equilibrium value ($r_{t,eq}$) to an environmentally-determined time scale $\tau_{rt}$ of $10\sim15$ days. The model is fully predictive if given a constant $r_{t,eq}$, which can also be estimated environmentally. The model successfully captures the first-order size evolution across a range of numerical simulation experiments in which the potential intensity and $f$ are varied. The model predictions of the dependencies of lateral inflow velocity and expansion rate on latent heating rate also compare well with numerical simulations. This model provides a useful foundation for understanding storm size dynamics in nature.


title: Auto-Instruct: Automatic Instruction Generation and Ranking for Black-Box Language Models

abstract: Large language models (LLMs) can perform a wide range of tasks by following natural language instructions, without the necessity of task-specific fine-tuning. Unfortunately, the performance of LLMs is greatly influenced by the quality of these instructions, and manually writing effective instructions for each task is a laborious and subjective process. In this paper, we introduce Auto-Instruct, a novel method to automatically improve the quality of instructions provided to LLMs. Our method leverages the inherent generative ability of LLMs to produce diverse candidate instructions for a given task, and then ranks them using a scoring model trained on a variety of 575 existing NLP tasks. In experiments on 118 out-of-domain tasks, Auto-Instruct surpasses both human-written instructions and existing baselines of LLM-generated instructions. Furthermore, our method exhibits notable generalizability even with other LLMs that are not incorporated into its training process.


title: One-dimensional strata of residueless meromorphic differentials

abstract: In projectivized strata of meromorphic $1$-forms on elliptic curves with only one zero, the locus of residueless differentials is a complex curve endowed with a canonical complex projective structure. Drawing on the multi-scale compactification of strata, we provide formulas to compute the genus of these curves and the degree of their natural forgetful map to $\mathcal{M}_{1,1}$. Additionally, we distinguish two non-hyperelliptic components in the residueless locus of the exceptional stratum $\mathcal{H}_{1}(12,-3,-3,-3,-3)$ and hence complete the classification of the connected components of these loci.


title: Deep Reinforcement Learning-based Intelligent Traffic Signal Controls with Optimized CO2 emissions

abstract: Nowadays, transportation networks face the challenge of sub-optimal control policies that can have adverse effects on human health, the environment, and contribute to traffic congestion. Increased levels of air pollution and extended commute times caused by traffic bottlenecks make intersection traffic signal controllers a crucial component of modern transportation infrastructure. Despite several adaptive traffic signal controllers in literature, limited research has been conducted on their comparative performance. Furthermore, despite carbon dioxide (CO2) emissions' significance as a global issue, the literature has paid limited attention to this area. In this report, we propose EcoLight, a reward shaping scheme for reinforcement learning algorithms that not only reduces CO2 emissions but also achieves competitive results in metrics such as travel time. We compare the performance of tabular Q-Learning, DQN, SARSA, and A2C algorithms using metrics such as travel time, CO2 emissions, waiting time, and stopped time. Our evaluation considers multiple scenarios that encompass a range of road users (trucks, buses, cars) with varying pollution levels.


title: Describing the speed of sound peak of isospin-asymmetric cold strongly interacting matter using effective models

abstract: The non-monotonic behavior of the speed of sound for isospin imbalanced strongly interacting matter, found by recent lattice QCD simulations, can be reproduced within the Nambu--Jona-Lasinio model and Linear Sigma Model with quarks when the couplings become isospin chemical potential-dependent. The introduction of medium-dependent couplings can potentially affect the equivalence between the thermodynamic relations and their definitions from statistical mechanics. We describe the procedure to compensate for the introduction of medium-dependent couplings to preserve the correct thermodynamic identities. We find the isospin chemical potential dependence for the couplings from the isospin density LQCD data and, after finding the compensating function to correctly describe the pressure, we show that the description of the square of the speed of sound reported by LQCD is well reproduced when using the found medium-dependent couplings in both models.


title: The Poincar\'e problem for reducible curves

abstract: We provide sharp lower bounds for the multiplicity of a local holomorphic foliation defined in a complex surface in terms of data associated to a germ of invariant curve. Then we apply our methods to invariant curves whose branches are isolated, i.e. they are never contained in non-trivial analytic families of equisingular invariant curves. In this case we show that the multiplicity of an invariant curve is at most twice the multiplicity of the foliation. Finally, we apply the local methods to foliations in the complex projective plane.


title: Better to Ask in English: Cross-Lingual Evaluation of Large Language Models for Healthcare Queries

abstract: Large language models (LLMs) are transforming the ways the general public accesses and consumes information. Their influence is particularly pronounced in pivotal sectors like healthcare, where lay individuals are increasingly appropriating LLMs as conversational agents for everyday queries. While LLMs demonstrate impressive language understanding and generation proficiencies, concerns regarding their safety remain paramount in these high-stake domains. Moreover, the development of LLMs is disproportionately focused on English. It remains unclear how these LLMs perform in the context of non-English languages, a gap that is critical for ensuring equity in the real-world use of these systems.This paper provides a framework to investigate the effectiveness of LLMs as multi-lingual dialogue systems for healthcare queries. Our empirically-derived framework XlingEval focuses on three fundamental criteria for evaluating LLM responses to naturalistic human-authored health-related questions: correctness, consistency, and verifiability. Through extensive experiments on four major global languages, including English, Spanish, Chinese, and Hindi, spanning three expert-annotated large health Q&A datasets, and through an amalgamation of algorithmic and human-evaluation strategies, we found a pronounced disparity in LLM responses across these languages, indicating a need for enhanced cross-lingual capabilities. We further propose XlingHealth, a cross-lingual benchmark for examining the multilingual capabilities of LLMs in the healthcare context. Our findings underscore the pressing need to bolster the cross-lingual capacities of these models, and to provide an equitable information ecosystem accessible to all.


title: Wind-mass transfer in S-type symbiotic binaries IV. Indication of high wind-mass-transfer efficiency from active phases

abstract: Observational indications of wind-mass transfer from an evolved giant to its distant white dwarf (WD) companion in symbiotic binaries are rare. Here, we present a way to examine the neutral wind from the giant in symbiotic binaries, which is temporarily observable throughout the orbital plane during outbursts. We find that the mass-loss rate from giants in the orbital plane of S-type symbiotic binaries is high, indicating a high wind-mass-transfer efficiency in these systems. We modeled hydrogen column densities in the orbital plane between the observer and the WD for all suitable eclipsing S-type symbiotic binaries during outbursts in any orbital phase. The mass-loss rate from the giant in the orbital plane is on the order of 10$^{-6}\,M_{\odot}\,{\rm yr}^{-1}$, which is a factor of $\sim$10 higher than rates derived from nebular emission produced by the ionized wind from normal giants in symbiotic stars. This finding suggests a substantial focusing of the giant's wind toward the orbital plane and, thus, its effective transfer onto the WD companion. Our finding suggests that wind focusing on the orbital plane may be a common property of winds from giants in S-type symbiotic stars. Such wind-focusing resolves a long-standing problem of the large energetic output from their burning WDs and deficient fueling by the giant via a standard Bondi-Hoyle accretion. It also allows the WD to grow faster in mass, which lends support to the possibility that S-type symbiotic binaries are progenitors of Type Ia supernovae.


title: Efficient, Dynamic Locomotion through Step Placement with Straight Legs and Rolling Contacts

abstract: For humans, fast, efficient walking over flat ground represents the vast majority of locomotion that an individual experiences on a daily basis, and for an effective, real-world humanoid robot the same will likely be the case. In this work, we propose a locomotion controller for efficient walking over near-flat ground using a relatively simple, model-based controller that utilizes a novel combination of several interesting design features including an ALIP-based step adjustment strategy, stance leg length control as an alternative to center of mass height control, and rolling contact for heel-to-toe motion of the stance foot. We then present the results of this controller on our robot Nadia, both in simulation and on hardware. These results include validation of this controller's ability to perform fast, reliable forward walking at 0.75 m/s along with backwards walking, side-stepping, turning in place, and push recovery. We also present an efficiency comparison between the proposed control strategy and our baseline walking controller over three steady-state walking speeds. Lastly, we demonstrate some of the benefits of utilizing rolling contact in the stance foot, specifically the reduction of necessary positive and negative work throughout the stride.


title: LeTFuser: Light-weight End-to-end Transformer-Based Sensor Fusion for Autonomous Driving with Multi-Task Learning

abstract: In end-to-end autonomous driving, the utilization of existing sensor fusion techniques and navigational control methods for imitation learning proves inadequate in challenging situations that involve numerous dynamic agents. To address this issue, we introduce LeTFuser, a lightweight transformer-based algorithm for fusing multiple RGB-D camera representations. To perform perception and control tasks simultaneously, we utilize multi-task learning. Our model comprises of two modules, the first being the perception module that is responsible for encoding the observation data obtained from the RGB-D cameras. Our approach employs the Convolutional vision Transformer (CvT) \cite{wu2021cvt} to better extract and fuse features from multiple RGB cameras due to local and global feature extraction capability of convolution and transformer modules, respectively. Encoded features combined with static and dynamic environments are later employed by our control module to predict waypoints and vehicular controls (e.g. steering, throttle, and brake). We use two methods to generate the vehicular controls levels. The first method uses a PID algorithm to follow the waypoints on the fly, whereas the second one directly predicts the control policy using the measurement features and environmental state. We evaluate the model and conduct a comparative analysis with recent models on the CARLA simulator using various scenarios, ranging from normal to adversarial conditions, to simulate real-world scenarios. Our method demonstrated better or comparable results with respect to our baselines in term of driving abilities. The code is available at \url{https://github.com/pagand/e2etransfuser/tree/cvpr-w} to facilitate future studies.


title: Approaches for Uncertainty Quantification of AI-predicted Material Properties: A Comparison

abstract: The development of large databases of material properties, together with the availability of powerful computers, has allowed machine learning (ML) modeling to become a widely used tool for predicting material performances. While confidence intervals are commonly reported for such ML models, prediction intervals, i.e., the uncertainty on each prediction, are not as frequently available. Here, we investigate three easy-to-implement approaches to determine such individual uncertainty, comparing them across ten ML quantities spanning energetics, mechanical, electronic, optical, and spectral properties. Specifically, we focused on the Quantile approach, the direct machine learning of the prediction intervals and Ensemble methods.


title: Mean Estimation Under Heterogeneous Privacy Demands

abstract: Differential Privacy (DP) is a well-established framework to quantify privacy loss incurred by any algorithm. Traditional formulations impose a uniform privacy requirement for all users, which is often inconsistent with real-world scenarios in which users dictate their privacy preferences individually. This work considers the problem of mean estimation, where each user can impose their own distinct privacy level. The algorithm we propose is shown to be minimax optimal and has a near-linear run-time. Our results elicit an interesting saturation phenomenon that occurs. Namely, the privacy requirements of the most stringent users dictate the overall error rates. As a consequence, users with less but differing privacy requirements are all given more privacy than they require, in equal amounts. In other words, these privacy-indifferent users are given a nontrivial degree of privacy for free, without any sacrifice in the performance of the estimator.


title: LHC Hadronic Jet Generation Using Convolutional Variational Autoencoders with Normalizing Flows

abstract: In high energy physics, one of the most important processes for collider data analysis is the comparison of collected and simulated data. Nowadays the state-of-the-art for data generation is in the form of Monte Carlo (MC) generators. However, because of the upcoming high-luminosity upgrade of the LHC, there will not be enough computational power or time to match the amount of needed simulated data using MC methods. An alternative approach under study is the usage of machine learning generative methods to fulfill that task.Since the most common final-state objects of high-energy proton collisions are hadronic jets, which are collections of particles collimated in a given region of space, this work aims to develop a convolutional variational autoencoder (ConVAE) for the generation of particle-based LHC hadronic jets. Given the ConVAE's limitations, a normalizing flow (NF) network is coupled to it in a two-step training process, which shows improvements on the results for the generated jets. The ConVAE+NF network is capable of generating a jet in $18.30 \pm 0.04 \ \mu$s, making it one of the fastest methods for this task up to now.


title: Graph Neural Networks with polynomial activations have limited expressivity

abstract: The expressivity of Graph Neural Networks (GNNs) can be entirely characterized by appropriate fragments of the first order logic. Namely, any query of the two variable fragment of graded modal logic (GC2) interpreted over labeled graphs can be expressed using a GNN whose size depends only on the depth of the query. As pointed out by [Barcelo & Al., 2020, Grohe, 2021], this description holds for a family of activation functions, leaving the possibibility for a hierarchy of logics expressible by GNNs depending on the chosen activation function. In this article, we show that such hierarchy indeed exists by proving that GC2 queries cannot be expressed by GNNs with polynomial activation functions. This implies a separation between polynomial and popular non polynomial activations (such as Rectified Linear Units) and answers an open question formulated by [Grohe, 21].


title: Blind Evaluation Framework for Fully Homomorphic Encryption and Privacy-Preserving Machine Learning

abstract: In the domain of Privacy-Preserving Machine Learning (PPML), Fully Homomorphic Encryption (FHE) is often used for encrypted computation to allow secure and privacy-preserving outsourcing of machine learning modeling. While FHE enables encrypted arithmetic operations, execution of programmatic logic such as control structures or conditional programming have remained a challenge. As a result, progress in encrypted training of PPML with FHE has been relatively stagnant compared to encrypted inference owing to the considerably higher logical complexity required in training. In addition, prior works that have demonstrated encrypted training use Interactive Rounds of Decryption and Evaluation (IRDE), where certain operations are decrypted and evaluated in plaintext using interactive rounds between the untrusted computing party (server) and the trusted private-key owner (client). In decision tree training for example, the current state-of-the-art requires d-rounds of IRDE for tree-depth of d. To address this issue in PPML and FHE, we introduce the Blind Evaluation Framework (BEF), a cryptographically secure programming framework that enables blind, but correct, execution of programming logic without IRDE. This is achieved by deconstructing programming logic into binary circuits and binary arithmetic to find alternative representations of logical statements, and adopting them to FHE for secure logical programming. To the best of our knowledge, this is the first framework to enable both training and inference of PPML models with FHE without decryption rounds. By advancing the state-of-the-art in IRDE efficiency by eliminating IRDE entirely, BEF enables adoption of FHE in use-cases where large amounts of computing services are available without the ability to have trusted clients available to perform decryption rounds.


title: Impartial Rank Aggregation

abstract: We study functions that produce a ranking of $n$ individuals from $n$ such rankings and are impartial in the sense that the position of an individual in the output ranking does not depend on the input ranking submitted by that individual. When $n \geq 4$, two properties concerning the quality of the output in relation to the input can be achieved in addition to impartiality: individual full rank, which requires that each individual can appear in any position of the output ranking; and monotonicity, which requires that an individual cannot move down in the output ranking if it moves up in an input ranking. When $n \geq 5$, monotonicity can be dropped to strengthen individual full rank to weak unanimity, requiring that a ranking submitted by every individual must be chosen as the output ranking. Mechanisms achieving these results can be implemented in polynomial time. Both results are best possible in terms of their dependence on $n$. The second result cannot be strengthened further to a notion of unanimity that requires agreement on pairwise comparisons to be preserved.


title: Stellar Neutrino Emission Across The Mass-Metallicity Plane

abstract: We explore neutrino emission from nonrotating, single star models across six initial metallicities and seventy initial masses from the zero-age main sequence to the final fate. Overall, across the mass spectrum, we find metal-poor stellar models tend to have denser, hotter and more massive cores with lower envelope opacities, larger surface luminosities, and larger effective temperatures than their metal-rich counterparts. Across the mass-metallicity plane we identify the sequence (initial CNO $\rightarrow$ $^{14}$N $\rightarrow$ $^{22}$Ne $\rightarrow$ $^{25}$Mg $\rightarrow$ $^{26}$Al $\rightarrow$ $^{26}$Mg $\rightarrow$ $^{30}$P $\rightarrow$ $^{30}$Si) as making primary contributions to the neutrino luminosity at different phases of evolution. For the low-mass models we find neutrino emission from the nitrogen flash and thermal pulse phases of evolution depend strongly on the initial metallicity. For the high-mass models, neutrino emission at He-core ignition and He-shell burning depends strongly on the initial metallicity. Anti-neutrino emission during C, Ne, and O burning shows a strong metallicity dependence with $^{22}$Ne($\alpha$,$n$)$^{25}$Mg providing much of the neutron excess available for inverse-$\beta$ decays. We integrate the stellar tracks over an initial mass function and time to investigate the neutrino emission from a simple stellar population. We find average neutrino emission from simple stellar populations to be 0.5--1.2 MeV electron neutrinos. Lower metallicity stellar populations produce slightly larger neutrino luminosities and average $\beta$ decay energies. This study can provide targets for neutrino detectors from individual stars and stellar populations. We provide convenient fitting formulae and open access to the photon and neutrino tracks for more sophisticated population synthesis models.


title: GPU-Accelerated Sequential Quadratic Programming Algorithm for Solving ACOPF

abstract: Sequential quadratic programming (SQP) is widely used in solving nonlinear optimization problem, with advantages of warm-starting solutions, as well as finding high-accurate solution and converging quadratically using second-order information, such as the Hessian matrix. In this study we develop a scalable SQP algorithm for solving the alternate current optimal power flow problem (ACOPF), leveraging the parallel computing capabilities of graphics processing units (GPUs). Our methodology incorporates the alternating direction method of multipliers (ADMM) to initialize and decompose the quadratic programming subproblems within each SQP iteration into independent small subproblems for each electric grid component. We have implemented the proposed SQP algorithm using our portable Julia package ExaAdmm.jl, which solves the ADMM subproblems in parallel on all major GPU architectures. For numerical experiments, we compared three solution approaches: (i) the SQP algorithm with a GPU-based ADMM subproblem solver, (ii) a CPU-based ADMM solver, and (iii) the QP solver Ipopt (the state-of-the-art interior point solver) and observed that for larger instances our GPU-based SQP solver efficiently leverages the GPU many-core architecture, dramatically reducing the solution time.


title: Optimal Symbolic Bound Synthesis

abstract: The problem of finding a constant bound on a term given a set of assumptions has wide applications in optimization as well as program analysis. However, in many contexts the objective term may be unbounded. Still, some sort of symbolic bound may be useful. In this paper we introduce the optimal symbolic-bound synthesis problem, and a technique that tackles this problem for non-linear arithmetic with function symbols. This allows us to automatically produce symbolic bounds on complex arithmetic expressions from a set of both equality and inequality assumptions. Our solution employs a novel combination of powerful mathematical objects -- Gr\"obner bases together with polyhedral cones -- to represent an infinite set of implied inequalities. We obtain a sound symbolic bound by reducing the objective term by this infinite set. We implemented our method in a tool, AutoBound, which we tested on problems originating from real Solidity programs. We find that AutoBound yields relevant bounds in each case, matching or nearly-matching upper bounds produced by a human analyst on the same set of programs.


title: On Solving Unit Commitment with Alternating Current Optimal Power Flow on GPU

abstract: We consider the unit commitment (UC) problem that employs the alternating current optimal power flow (ACOPF) constraints, which is formulated as a mixed-integer nonlinear programming problem and thus challenging to solve in practice. We develop a new scalable algorithm based on alternating direction method of multiplier (ADMM), which enables quickly finding a good feasible solution of the UC-ACOPF problem. Our algorithm employs the component-based decomposition that solves a large number of independent small subproblems, each of which represents an individual grid component (e.g., generator, bus, and transmission line), as well as the UC subproblem. We implement the algorithm in Julia, as part of the existing package \texttt{ExaAdmm.jl}, which can efficiently run on GPUs as well as CPUs. The numerical results are reported by using IEEE test instances.


title: CLIFT: Analysing Natural Distribution Shift on Question Answering Models in Clinical Domain

abstract: This paper introduces a new testbed CLIFT (Clinical Shift) for the clinical domain Question-answering task. The testbed includes 7.5k high-quality question answering samples to provide a diverse and reliable benchmark. We performed a comprehensive experimental study and evaluated several QA deep-learning models under the proposed testbed. Despite impressive results on the original test set, the performance degrades when applied to new test sets, which shows the distribution shift. Our findings emphasize the need for and the potential for increasing the robustness of clinical domain models under distributional shifts. The testbed offers one way to track progress in that direction. It also highlights the necessity of adopting evaluation metrics that consider robustness to natural distribution shifts. We plan to expand the corpus by adding more samples and model results. The full paper and the updated benchmark are available at github.com/openlifescience-ai/clift


title: On Data-Driven Surrogate Modeling for Nonlinear Optimal Control

abstract: In this paper, we study the use of state-of-the-art nonlinear system identification techniques for the optimal control of nonlinear systems. We show that the nonlinear systems identification problem is equivalent to estimating the generalized moments of an underlying sampling distribution and is bound to suffer from ill-conditioning and variance when approximating a system to high order, requiring samples combinatorial-exponential in the order of the approximation, i.e., the global nature of the approximation. We show that the iterative identification of "local" linear time varying (LTV) models around the current estimate of the optimal trajectory, coupled with a suitable optimal control algorithm such as iterative LQR (ILQR), is necessary as well as sufficient, to accurately solve the underlying optimal control problem.


title: Persuasion in Veto Bargaining

abstract: We consider the classic veto bargaining model but allow the agenda setter to engage in persuasion to convince the veto player to approve her proposal. We fully characterize the optimal proposal and experiment when Vetoer has quadratic loss, and show that the proposer-optimal can be achieved either by providing no information or with a simple binary experiment. Proposer chooses to reveal partial information when there is sufficient expected misalignment with Vetoer. In this case the opportunity to engage in persuasion strictly benefits Proposer and increases the scope to exercise agenda power.


title: Understanding Generative AI in Art: An Interview Study with Artists on G-AI from an HCI Perspective

abstract: The emergence of Generative Artificial Intelligence (G-AI) has changed the landscape of creative arts with its power to compose novel artwork and thus brought ethical concerns. Despite the efforts by prior works to address these concerns from technical and societal perspectives, there exists little discussion on this topic from an HCI point of view, considering the artists as human factors. We sought to investigate the impact of G-AI on artists, understanding the relationship between artists and G-AI, in order to motivate the underlying HCI research. We conducted semi-structured interviews with artists ($N=25$) from diverse artistic disciplines involved with G-AI in their artistic creation. We found (1) a dilemma among the artists, (2) a disparity in the understanding of G-AI between the artists and the AI developers(3) a tendency to oppose G-AI among the artists. We discuss the future opportunities of HCI research to tackle the problems identified from the interviews.


title: Torsion at different scales: from materials to the Universe

abstract: The concept of torsion in geometry, although known for a long time, has not gained considerable attention by the physics community until relatively recently, due to its diverse and potentially important applications to a plethora of contexts of physical interest. These range from novel materials, such as graphene and graphene-like materials, to advanced theoretical ideas, such as string theory and supersymmetry/supergravity and applications thereof in understanding the dark sector of our Universe. This work reviews such applications of torsion at different physical scales.


title: Geometry and arithmetic of semi-arithmetic Fuchsian groups

abstract: Semi-arithmetic Fuchsian groups is a wide class of discrete groups of isometries of the hyperbolic plane which includes arithmetic Fuchsian groups, hyperbolic triangle groups, groups admitting a modular embedding, and others. We introduce a new geometric invariant of a semi-arithmetic group called stretch. Its definition is based on the notion of the Riemannian center of mass developed by Karcher and collaborators. We show that there exist only finitely many conjugacy classes of semi-arithmetic groups with bounded arithmetic dimension, stretch and coarea. The proof of this result uses the arithmetic Margulis lemma. We also show that when stretch is not bounded there exist infinite sequences of such groups.


title: Computer modelling of accretion processes in binary systems with black holes and neutron stars

abstract: This dissertation is written as an annotated collection of selected articles. The dissertation focuses on the modelling of accretion disks in X-ray binaries with a black hole or neutron star. The main objective is to use advanced numerical methods to reveal the fundamental processes that influence the observed spectral and temporal features. Among the significant results of this modelling is the recognition of the puffy accretion disk, a novel type of accretion disk based purely on the results of numerical simulations. Furthermore, the work focuses on modelling the X-ray variability and quasi-periodic oscillations using analytical models of accretion disks, but an advanced description of the oscillations, and a discussion of the implications of this modelling for observational data.


title: Discovering Novel Halide Perovskite Alloys using Multi-Fidelity Machine Learning and Genetic Algorithm

abstract: Expanding the pool of stable halide perovskites with attractive optoelectronic properties is crucial to addressing current limitations in their performance as photovoltaic (PV) absorbers. In this article, we demonstrate how a high-throughput density functional theory (DFT) dataset of halide perovskite alloys can be used to train accurate surrogate models for property prediction and subsequently perform inverse design using genetic algorithm (GA). Our dataset consists of decomposition energies, band gaps, and photovoltaic efficiencies of nearly 800 pure and mixed composition ABX$_3$ compounds from both the GGA-PBE and HSE06 functionals, and are combined with ~ 100 experimental data points collected from the literature. Multi-fidelity random forest regression models are trained on the DFT + experimental dataset for each property using descriptors that one-hot encode composition, phase, and fidelity, and additionally include well-known elemental or molecular properties of species at the A, B, and X sites. Rigorously optimized models are deployed for experiment-level prediction over > 150,000 hypothetical compounds, leading to thousands of promising materials with low decomposition energy, band gap between 1 and 2 eV, and efficiency > 15%. Surrogate models are further combined with GA using an objective function to maintain chemical feasibility, minimize decomposition energy, maximize PV efficiency, and keep band gap between 1 and 2 eV; hundreds more optimal compositions and phases are thus discovered. We present an analysis of the screened and inverse-designed materials, visualize ternary phase diagrams generated for many systems of interest using ML predictions, and suggest strategies for further improvement and expansion in the future.


title: Quantum Octets in Air Stable High Mobility Two-Dimensional PdSe2

abstract: Two-dimensional (2D) materials have drawn immense interest in scientific and technological communities, owing to their extraordinary properties that are profoundly altered from their bulk counterparts and their enriched tunability by gating, proximity, strain, and external fields. For digital applications, an ideal 2D material would have high mobility, air stability, sizable band gap, and be compatible with large-scale synthesis. Here we demonstrate air-stable field-effect transistors using atomically thin few-layer PdSe2 sheets that are sandwiched between hexagonal BN (hBN), with record high saturation current >350{\mu}A/{\mu}m, and field effect mobilities 700 and 10,000 cm2/Vs at 300K and 2K, respectively. At low temperatures, magnetotransport studies reveal unique octets in quantum oscillations, arising from 2-fold spin and 4-fold valley degeneracies, which can be broken by in-plane and out-of-plane magnetic fields toward quantum Hall spin and orbital ferromagnetism.


title: Reliability of Numerical Solutions in Transient Chaos

abstract: In dealing with nonlinear systems, it is common to use numerical solutions. Unlike the careful behavior towards the numerical results in chaotic regions, the validity of numerical results in regions of transient chaos might not always be taken into consideration. This article demonstrates that using numerical methods to solve systems undergoing transient chaos can be challenging and sometimes unreliable. To illustrate this issue, we use the Lorenz system [1] in the region of transient chaos as an example. We show how the result of the computation might completely change when using different mathematically equivalent expressions. This raises the question of which result should be relied on. To answer this question, we propose a method based on the Lyapunov exponent to determine the reliability of the numerical solution and apply it to the provided example. In fact, this method checks a necessary condition for the validity of the numerical solution. Then, by increasing the precision to the extent suggested by our method, we show that the result of our studied case passes this test. In the end, we briefly discuss the scope and limits of our method.


title: Enlightening the Universe behind the Milky Way Bulge

abstract: Context. The location of the Solar System constrains the detection of extragalactic sources beyond the Milky Way(MW) plane. The optical observations are hampered in the so--called Zone of Avoidance (ZOA) where stellar crowding and Galactic absorption are severe. Observations at longer wavelengths are needed to discover new background galaxies and complete the census in the ZOA. Aims. The goal of this work is to identify galaxies behind the MW Bulge using near-infrared (NIR) data from the VISTA Variables in V\'ia L\'actea (VVV) survey. Methods. To this end we made use of different VISTA Science Archive (VSA) tools in order to extract relevant information from more than 32 billion catalogued sources in the VVV Bulge region. We find that initial photometric restriction on sources from VSA \texttt{vvvSource} table combined with restrictions on star--galaxy separation parameters obtained from Source Extractor is a successful strategy to achieve acceptable levels of contamination (60\%) and a high completeness (75\%) in the construction of a galaxy target sample. To decontaminate the initial target sample from Galactic sources our methodology also incorporates the visual inspection of false colour RGB images, a crucial quality control which was carried out following a specifically defined procedure. Results. Under this methodology we find 14480 galaxy candidates in the VVV Bulge region making this sample the largest catalogue to date in the ZOA. Moreover these new sources provide a \textbf{fresh} picture of the Universe hidden behind the curtain of stars, dust and gas in the unexplored MW Bulge region. Conclusions. The results from this work further demonstrate the potential of the VVV/VVVX survey to find and study a large number of galaxies and extragalactic structures obscured by the MW, enlightening our knowledge of the Universe in this challenging and impressive region of the sky.


title: Conditional Generative Modeling for Images, 3D Animations, and Video

abstract: This dissertation attempts to drive innovation in the field of generative modeling for computer vision, by exploring novel formulations of conditional generative models, and innovative applications in images, 3D animations, and video. Our research focuses on architectures that offer reversible transformations of noise and visual data, and the application of encoder-decoder architectures for generative tasks and 3D content manipulation. In all instances, we incorporate conditional information to enhance the synthesis of visual data, improving the efficiency of the generation process as well as the generated content. We introduce the use of Neural ODEs to model video dynamics using an encoder-decoder architecture, demonstrating their ability to predict future video frames despite being trained solely to reconstruct current frames. Next, we propose a conditional variant of continuous normalizing flows that enables higher-resolution image generation based on lower-resolution input, achieving comparable image quality while reducing parameters and training time. Our next contribution presents a pipeline that takes human images as input, automatically aligns a user-specified 3D character with the pose of the human, and facilitates pose editing based on partial inputs. Next, we derive the relevant mathematical details for denoising diffusion models that use non-isotropic Gaussian processes, and show comparable generation quality. Finally, we devise a novel denoising diffusion framework capable of solving all three video tasks of prediction, generation, and interpolation. We perform ablation studies, and show SOTA results on multiple datasets. Our contributions are published articles at peer-reviewed venues. Overall, our research aims to make a meaningful contribution to the pursuit of more efficient and flexible generative models, with the potential to shape the future of computer vision.


title: All product eigenstates in Heisenberg models from a graphical construction

abstract: Recently, large degeneracy based on product eigenstates has been found in spin ladders, Kagome-like lattices, and motif magnetism, connected to spin liquids, anyonic phases, and quantum scars. We unify these systems by a complete classification of product eigenstates of Heisenberg XXZ Hamiltonians with Dzyaloshinskii-Moriya interaction on general graphs in the form of Kirchhoff rules for spin supercurrent. By this, we construct spin systems with extensive degree of degeneracy linked to exotic condensates which can be studied in atomic gases and quantum spin lattices.


title: Acoustic horizon as a phase-slip surface

abstract: A recent experiment has demonstrated formation of a supersonic region in a convergent two-dimensional flow of a condensate of cesium atoms. Theoretical description of this effect has made use of stationary solutions to the Gross-Pitaevskii equation with a 3-body dissipative term. Here, we further develop that description, focusing on a new stationary solution, linear stability analysis, and properties of the time-dependent "resistive" state.


title: Active Sensing for Localization with Reconfigurable Intelligent Surface

abstract: This paper addresses an uplink localization problem in which the base station (BS) aims to locate a remote user with the aid of reconfigurable intelligent surface (RIS). This paper proposes a strategy in which the user transmits pilots over multiple time frames, and the BS adaptively adjusts the RIS reflection coefficients based on the observations already received so far in order to produce an accurate estimate of the user location at the end. This is a challenging active sensing problem for which finding an optimal solution involves a search through a complicated functional space whose dimension increases with the number of measurements. In this paper, we show that the long short-term memory (LSTM) network can be used to exploit the latent temporal correlation between measurements to automatically construct scalable information vectors (called hidden state) based on the measurements. Subsequently, the state vector can be mapped to the RIS configuration for the next time frame in a codebook-free fashion via a deep neural network (DNN). After all the measurements have been received, a final DNN can be used to map the LSTM cell state to the estimated user equipment (UE) position. Numerical result shows that the proposed active RIS design results in lower localization error as compared to existing active and nonactive methods. The proposed solution produces interpretable results and is generalizable to early stopping in the sequence of sensing stages.


title: A Distributed Approach to Meteorological Predictions: Addressing Data Imbalance in Precipitation Prediction Models through Federated Learning and GANs

abstract: The classification of weather data involves categorizing meteorological phenomena into classes, thereby facilitating nuanced analyses and precise predictions for various sectors such as agriculture, aviation, and disaster management. This involves utilizing machine learning models to analyze large, multidimensional weather datasets for patterns and trends. These datasets may include variables such as temperature, humidity, wind speed, and pressure, contributing to meteorological conditions. Furthermore, it's imperative that classification algorithms proficiently navigate challenges such as data imbalances, where certain weather events (e.g., storms or extreme temperatures) might be underrepresented. This empirical study explores data augmentation methods to address imbalanced classes in tabular weather data in centralized and federated settings. Employing data augmentation techniques such as the Synthetic Minority Over-sampling Technique or Generative Adversarial Networks can improve the model's accuracy in classifying rare but critical weather events. Moreover, with advancements in federated learning, machine learning models can be trained across decentralized databases, ensuring privacy and data integrity while mitigating the need for centralized data storage and processing. Thus, the classification of weather data stands as a critical bridge, linking raw meteorological data to actionable insights, enhancing our capacity to anticipate and prepare for diverse weather conditions.


title: Network Meta-Analysis of Time-to-Event Endpoints with Individual Participant Data using Restricted Mean Survival Time Regression

abstract: Restricted mean survival time (RMST) models have gained popularity when analyzing time-to-event outcomes because RMST models offer more straightforward interpretations of treatment effects with fewer assumptions than hazard ratios commonly estimated from Cox models. However, few network meta-analysis (NMA) methods have been developed using RMST. In this paper, we propose advanced RMST NMA models when individual participant data are available. Our models allow us to study treatment effect moderation and provide comprehensive understanding about comparative effectiveness of treatments and subgroup effects. An extensive simulation study and a real data example about treatments for patients with atrial fibrillation are presented.


title: Potential Lifshitz transition at optimal substitution in nematic pnictide Ba$_{1-x}$Sr$_x$Ni$_2$As$_2$

abstract: BaNi$_2$As$_2$ is a structural analog of the pnictide superconductor BaFe$_2$As$_2$, which, like the iron-based superconductors, hosts a variety of ordered phases including charge density waves (CDWs), electronic nematicity, and superconductivity. Upon isovalent Sr substitution on the Ba site, the charge and nematic orders are suppressed, followed by a sixfold enhancement of the superconducting transition temperature ($T_c$). To understand the mechanisms responsible for enhancement of $T_c$, we present high-resolution angle-resolved photoemission spectroscopy (ARPES) measurements of the Ba$_{1-x}$Sr$_{x}$Ni$_2$As$_2$ series, which agree well with our density functional theory (DFT) calculations throughout the substitution range. Analysis of our ARPES-validated DFT results indicates a Lifshitz transition and reasonably nested electron and hole Fermi pockets near optimal substitution where $T_c$ is maximum. These nested pockets host Ni $d_{xz}$/$d_{yz}$ orbital compositions, which we associate with the enhancement of nematic fluctuations, revealing unexpected connections to the iron-pnictide superconductors. This gives credence to a scenario in which nematic fluctuations drive an enhanced $T_c$.


title: Almost Equivariance via Lie Algebra Convolutions

abstract: Recently, the equivariance of models with respect to a group action has become an important topic of research in machine learning. Analysis of the built-in equivariance of existing neural network architectures, as well as the study of building models that explicitly "bake in" equivariance, have become significant research areas in their own right. However, imbuing an architecture with a specific group equivariance imposes a strong prior on the types of data transformations that the model expects to see. While strictly-equivariant models enforce symmetries, real-world data does not always conform to such strict equivariances. In such cases, the prior of strict equivariance can actually prove too strong and cause models to underperform. Therefore, in this work we study a closely related topic, that of almost equivariance. We provide a definition of almost equivariance and give a practical method for encoding almost equivariance in models by appealing to the Lie algebra of a Lie group. Specifically, we define Lie algebra convolutions and demonstrate that they offer several benefits over Lie group convolutions, including being well-defined for non-compact Lie groups having non-surjective exponential map. From there, we demonstrate connections between the notions of equivariance and isometry and those of almost equivariance and almost isometry. We prove two existence theorems, one showing the existence of almost isometries within bounded distance of isometries of a manifold, and another showing the converse for Hilbert spaces. We extend these theorems to prove the existence of almost equivariant manifold embeddings within bounded distance of fully equivariant embedding functions, subject to certain constraints on the group action and the function class. Finally, we demonstrate the validity of our approach by benchmarking against datasets in fully equivariant and almost equivariant settings.


title: CycleNet: Rethinking Cycle Consistency in Text-Guided Diffusion for Image Manipulation

abstract: Diffusion models (DMs) have enabled breakthroughs in image synthesis tasks but lack an intuitive interface for consistent image-to-image (I2I) translation. Various methods have been explored to address this issue, including mask-based methods, attention-based methods, and image-conditioning. However, it remains a critical challenge to enable unpaired I2I translation with pre-trained DMs while maintaining satisfying consistency. This paper introduces Cyclenet, a novel but simple method that incorporates cycle consistency into DMs to regularize image manipulation. We validate Cyclenet on unpaired I2I tasks of different granularities. Besides the scene and object level translation, we additionally contribute a multi-domain I2I translation dataset to study the physical state changes of objects. Our empirical studies show that Cyclenet is superior in translation consistency and quality, and can generate high-quality images for out-of-domain distributions with a simple change of the textual prompt. Cyclenet is a practical framework, which is robust even with very limited training data (around 2k) and requires minimal computational resources (1 GPU) to train. Project homepage: https://cyclenetweb.github.io/


title: The semiclassical states excitations in the multi-rectangular billiards

abstract: The problem of the quantizations of the $L$-shaped billiards and the like ones, i.e. each angle of which is equal to $\pi/2$ or $3\pi/2$, is considered using as a tool the Fourier series expansion method. The respective wave functions and the quantization conditions are written and discussed looking for and discussing about the superscars effects in such multi-rectangular billiards (MRB). It is found that a special set of POC modes effect the superscars phenomena in MRB in which the billiards are excited as a whole to the modes closest to the semiclassical ones existing in their approximated copies being MRB in which their parallel sides remain in rational relations between themselves.


title: Visualizing Causality in Mixed Reality for Manual Task Learning: An Exploratory Study

abstract: Mixed Reality (MR) is gaining prominence in manual task skill learning due to its in-situ, embodied, and immersive experience. To teach manual tasks, current methodologies break the task into hierarchies (tasks into subtasks) and visualize the current subtask and future in terms of causality. Existing psychology literature also shows that humans learn tasks by breaking them into hierarchies. In order to understand the design space of information visualized to the learner for better task understanding, we conducted a user study with 48 users. The study was conducted using a complex assembly task, which involves learning of both actions and tool usage. We aim to explore the effect of visualization of causality in the hierarchy for manual task learning in MR by four options: no causality, event level causality, interaction level causality, and gesture level causality. The results show that the user understands and performs best when all the level of causality is shown to the user. Based on the results, we further provide design recommendations and in-depth discussions for future manual task learning systems.


title: Optimized Design of a Soft Actuator Considering Force/Torque, Bendability, and Controllability via an Approximated Structure

abstract: This paper introduces a novel design method that enhances the force/torque, bendability, and controllability of soft pneumatic actuators (SPAs). The complex structure of the soft actuator is simplified by approximating it as a cantilever beam. This allows us to derive approximated nonlinear kinematic models and a dynamical model, which is explored to understand the correlation between natural frequency and dimensional parameters of SPA. The design problem is then transformed into an optimization problem, using kinematic equations as the objective function and the dynamical equation as a constraint. By solving this optimization problem, the optimal dimensional parameters are determined. Six prototypes are manufactured to validate the proposed approach. The optimal actuator successfully generates the desired force/torque and bending angle, while its natural frequency remains within the constrained range. This work highlights the potential of using optimization formulation and approximated nonlinear models to boost the performance and dynamical properties of soft pneumatic actuators.


title: A posteriori analysis for a mixed formulation of the Stokes spectral problem

abstract: In two and three dimensions, we design and analyze a posteriori error estimators for the mixed Stokes eigenvalue problem. The unknowns on this mixed formulation are the pseudotress, velocity and pressure. With a lowest order mixed finite element scheme, together with a postprocressing technique, we prove that the proposed estimator is reliable and efficient. We illustrate the results with several numerical tests in two and three dimensions in order to assess the performance of the estimator.


title: Orbital-selective metal skin induced by alkali-metal-dosing Mott-insulating Ca$_2$RuO$_4$

abstract: Doped Mott insulators are the starting point for interesting physics such as high temperature superconductivity and quantum spin liquids. For multi-band Mott insulators, orbital selective ground states have been envisioned. However, orbital selective metals and Mott insulators have been difficult to realize experimentally. Here we demonstrate by photoemission spectroscopy how Ca$_2$RuO$_4$, upon alkali-metal surface doping, develops a single-band metal skin. Our dynamical mean field theory calculations reveal that homogeneous electron doping of Ca$_2$RuO$_4$ results in a multi-band metal. All together, our results provide compelling evidence for an orbital-selective Mott insulator breakdown, which is unachievable via simple electron doping. Supported by a cluster model and cluster perturbation theory calculations, we demonstrate a novel type of skin metal-insulator transition induced by surface dopants that orbital-selectively hybridize with the bulk Mott state and in turn produce coherent in-gap states.


title: Survival in the Neptune desert: LTT 9779 b kept its atmosphere thanks to an unusually X-ray faint host star

abstract: The Neptunian desert is a region in period-radius parameter space with very few Neptune-sized planets at short orbital periods. Amongst these, LTT 9779 b is the only known Neptune with a period shorter than one day to retain a significant H-He atmosphere. If the Neptune desert is the result of X-ray/EUV-driven photoevaporation, it is surprising that the atmosphere of LTT 9779 b survived the intense bombardment of high energy photons from its young host star. However, the star has low measured rotational broadening, which points to the possibility of an anomalously slow spin period and hence a faint X-ray emission history that may have failed to evaporate the planet's atmosphere. We observed LTT 9779 with XMM-Newton and measured an upper limit for its X-ray luminosity that is a factor of fifteen lower than expected for its age. We also simulated the evaporation past of LTT 9779 b and found that the survival of its atmosphere to the present day is consistent with an unusually faint XUV irradiation history that matches both the X-ray and rotation velocity measurements. We conclude that the anomalously low X-ray irradiation of the one Neptune seen to survive in Neptunian desert supports the interpretation of the desert as primarily a result of photoevaporation.


title: ITER-IA 3D MHD Simulations of Shattered Pellet Injection(SPI) -- D1.3 Code Validation (DIII-D)

abstract: This report is in partial fulfillment of deliverable D1.3 Code Validation (DIII-D). These simulations focus on thermal quench phase of the SPI mitigation and are not typically carried beyond it to the current spike and subsequent current quench. NIMROD SPI simulations[1] are validated against DIII-D experiments. The target plasma for these simulations is DIII-D 160606@02990ms.


title: Trudinger-Moser and Hardy-Trudinger-Moser inequalities for the Aharonov-Bohm Magnetic field

abstract: The main results of this paper concern sharp constant of the Trudinger-Moser inequality in $\mathbb{R}^{2}$ for Aharonov-Bohm magnetic fields. This is a borderline case of the Hardy type inequalities for Aharonov-Bohm magnetic fields in $\mathbb{R}^2$ studied by A. Laptev and T. Weidl. As an application, we obtain the exact asymptotic estimates on best constants of magnetic Hardy-Sobolev inequalities. In order to achieve our goal, we introduce a new operator $T_{a}$ on the unit circle $\mathbb{S}^{1}$ and give the asymptotic estimates of the heat kernel $e^{tT_{a}}$ via the Poisson summation formula. Finally, we show that such Trudinger-Moser inequalities in the unit ball $\mathbb{B}^{2}$ can be improved via subtraction of an additional Hardy term to derive a Hardy-Trudinger-Moser inequality.


title: Faster Algorithms for Text-to-Pattern Hamming Distances

abstract: We study the classic Text-to-Pattern Hamming Distances problem: given a pattern $P$ of length $m$ and a text $T$ of length $n$, both over a polynomial-size alphabet, compute the Hamming distance between $P$ and $T[i\, .\, . \, i+m-1]$ for every shift $i$, under the standard Word-RAM model with $\Theta(\log n)$-bit words. - We provide an $O(n\sqrt{m})$ time Las Vegas randomized algorithm for this problem, beating the decades-old $O(n \sqrt{m \log m})$ running time [Abrahamson, SICOMP 1987]. We also obtain a deterministic algorithm, with a slightly higher $O(n\sqrt{m}(\log m\log\log m)^{1/4})$ running time. Our randomized algorithm extends to the $k$-bounded setting, with running time $O\big(n+\frac{nk}{\sqrt{m}}\big)$, removing all the extra logarithmic factors from earlier algorithms [Gawrychowski and Uzna\'{n}ski, ICALP 2018; Chan, Golan, Kociumaka, Kopelowitz and Porat, STOC 2020]. - For the $(1+\epsilon)$-approximate version of Text-to-Pattern Hamming Distances, we give an $\tilde{O}(\epsilon^{-0.93}n)$ time Monte Carlo randomized algorithm, beating the previous $\tilde{O}(\epsilon^{-1}n)$ running time [Kopelowitz and Porat, FOCS 2015; Kopelowitz and Porat, SOSA 2018]. Our approximation algorithm exploits a connection with $3$SUM, and uses a combination of Fredman's trick, equality matrix product, and random sampling; in particular, we obtain new results on approximate counting versions of $3$SUM and Exact Triangle, which may be of independent interest. Our exact algorithms use a novel combination of hashing, bit-packed FFT, and recursion; in particular, we obtain a faster algorithm for computing the sumset of two integer sets, in the regime when the universe size is close to quadratic in the number of elements. We also prove a fine-grained equivalence between the exact Text-to-Pattern Hamming Distances problem and a range-restricted, counting version of $3$SUM.


title: Decidability of distributive l-pregroups

abstract: We show that every distributive lattice-ordered pregroup can be embedded into a functional algebra over an integral chain, thus improving the existing Cayley/Holland-style embedding theorem. We use this to show that the variety of all distributive lattice-ordered pregroups is generated by the single functional algebra on the integers. Finally, we show that the equational theory of the variety is decidable.


title: ITER-IA 3D MHD Simulations of Shattered Pellet Injection(SPI)- D1.1 Optimization of the SPI model

abstract: This report is in partial fulfillment of deliverable D1.1 Optimization of the SPI model and summarizes axisymmetric ITER SPI parameter scans performed by the NIMROD code for several ITER equilibria. These axisymmetric parameter scans are to assess the sensitivity of various injection parameters in preparation for 3D MHD SPI simulations. The scans are comprised of 5 scenarios: S1 - fragment size scan : 3 uniform pencil beam, 1 distributed size pencil beam S2 - velocity scan : v = [250,500,750]m/s S3 - velocity dispersion scan : dv/v = [0.2,0.4] (linear distribution) S4 - poloidal extent of plume : [15' ,45' ] (linear distribution) (dv/v=0.2) S5 - poloidal injection angle : +/-[20' ,45' ] (dv/v=0.2) These scans are performed with several ITER equilibria representative of the operating range, from low current and thermal energy (H123 5MA, 29MJ Hydrogen H-mode) to high current and high thermal energy (DT24 15MA, 370MJ D-T H-mode).


title: Enhancing Building Energy Efficiency through Advanced Sizing and Dispatch Methods for Energy Storage

abstract: Energy storage and electrification of buildings hold great potential for future decarbonized energy systems. However, there are several technical and economic barriers that prevent large-scale adoption and integration of energy storage in buildings. These barriers include integration with building control systems, high capital costs, and the necessity to identify and quantify value streams for different stakeholders. To overcome these obstacles, it is crucial to develop advanced sizing and dispatch methods to assist planning and operational decision-making for integrating energy storage in buildings. This work develops a simple and flexible optimal sizing and dispatch framework for thermal energy storage (TES) and battery energy storage (BES) systems in large-scale office buildings. The optimal sizes of TES, BES, as well as other building assets are determined in a joint manner instead of sequentially to avoid sub-optimal solutions. The solution is determined considering both capital costs in optimal sizing and operational benefits in optimal dispatch. With the optimally sized systems, we implemented real-time operation using the model-based control (MPC), facilitating the effective and efficient management of energy resources. Comprehensive assessments are performed using simulation studies to quantify potential energy and economic benefits by different utility tariffs and climate locations, to improve our understanding of the techno-economic performance of different TES and BES systems, and to identify barriers to adopting energy storage for buildings. Finally, the proposed framework will provide guidance to a broad range of stakeholders to properly design energy storage in buildings and maximize potential benefits, thereby advancing affordable building energy storage deployment and helping accelerate the transition towards a cleaner and more equitable energy economy.


title: Exact Inference for Common Odds Ratio in Meta-Analysis with Zero-Total-Event Studies

abstract: Stemming from the high profile publication of Nissen and Wolski (2007) and subsequent discussions with divergent views on how to handle observed zero-total-event studies, defined to be studies which observe zero events in both treatment and control arms, the research topic concerning the common odds ratio model with zero-total-event studies remains to be an unresolved problem in meta-analysis. In this article, we address this problem by proposing a novel repro samples method to handle zero-total-event studies and make inference for the parameter of common odds ratio. The development explicitly accounts for sampling scheme and does not rely on large sample approximation. It is theoretically justified with a guaranteed finite sample performance. The empirical performance of the proposed method is demonstrated through simulation studies. It shows that the proposed confidence set achieves the desired empirical coverage rate and also that the zero-total-event studies contains information and impacts the inference for the common odds ratio. The proposed method is applied to combine information in the Nissen and Wolski study.


title: The paramodular Hecke algebra

abstract: We give a presentation via generators and relations of the local graded paramodular Hecke algebra of prime level. In particular, we prove that the paramodular Hecke algebra is isomorphic to the quotient of the free $\mathbb{Z}$-algebra generated by four non-commuting variables by an ideal generated by seven relations. Using this description, we derive rationality results at the level of characters and give a characterization of the center of the Hecke algebra. Underlying our results are explicit formulas for the product of any generator with any double coset.


title: Note on the group of vertical diffeomorphisms of a principal bundle, and its relation to the Fr\"olicher-Nijenhuis bracket

abstract: The group of vertical diffeomorphisms of a principal bundle forms the generalised action Lie groupoid associated to the bundle. The former is generated by the group of maps with value in the structure group, which is also the group of bisections of the groupoid. The corresponding Lie algebra of general vertical vector fields is generated by maps with value in the Lie algebra of the structure group. The bracket on these maps, induces by the bracket of vertical vector fields, is an ``extended" bracket on gauge parameters: it has been introduced heuristically in physics, notably in the study asymptotic symmetries of gravity. Seeing the set of Lie algebra-valued maps as sections of the action Lie algebroid associated to the bundle, the extended bracket is understood to be a Lie algebroid bracket on those sections. Here, we highlight that this bracket can also be seen to arise from the Fr\"olicher-Nijenhuis bracket of vector-valued differential forms. The benefit of this viewpoint is to insert this extended bracket within the general framework of derivations of forms on the bundle. Identities relating it to usual operations -- inner product, exterior and (Nijenhuis-) Lie derivative -- are immediately read as special cases of general results. We also look at the generalised gauge transformations induced by vertical diffeomorphisms, and discuss their peculiar features. In particular, locally, and contrary to standard gauge transformations arising from vertical bundle automorphisms, they are distinguishable from local gluings when iterated. Yet, the gauge principle still holds.


title: Locational Marginal Pricing of Energy in Pipeline Transport of Natural Gas and Hydrogen with Carbon Offset Incentives

abstract: We propose an optimization formulation for locational pricing of energy transported through a pipeline network that carries mixtures of natural gas and hydrogen from distributed sources to consumers. The objective includes the economic value provided by the pipeline to consumers of energy and suppliers of natural gas and green hydrogen, as well as incentives to lower carbon emissions by consuming the latter instead of the former. The optimization is subject to the physics of gas flow and mixing in the pipeline network as well as engineering limits. In addition to formulating this mathematical program, we synthesize the Lagrangian and derive analytical expressions for the dual variables. We propose that the dual solution can be used to derive locational marginal prices of natural gas, hydrogen, and energy, as well as the decarbonization premium paid by consumers that receive hydrogen. We derive several properties of solutions obtained using the proposed market mechanism, and demonstrate them using case studies for standard 8-node and 40-node pipeline test networks. Finally, we show that optimization-based analysis of the type proposed here is critical for making sound decisions about economic policy and infrastructure expansion for blending green hydrogen into existing natural gas pipelines.


title: Show Me My Users: A Dashboard Visualizing User Interaction Logs

abstract: This paper describes the design of a dashboard and analysis pipeline to monitor users of visualization tools in the wild. Our pipeline describes how to extract analytical KPIs from extensive log event data involving a mix of user types. The resulting three-page dashboard displays live KPIs, helping analysts understand users, detect exploratory behaviors, plan education interventions, and improve tool features. We propose this case study as a motivation to use the dashboard approach for a more `casual' monitoring of users and building carer mindsets for visualization tools.


title: Breaking through Deterministic Barriers: Randomized Pruning Mask Generation and Selection

abstract: It is widely acknowledged that large and sparse models have higher accuracy than small and dense models under the same model size constraints. This motivates us to train a large model and then remove its redundant neurons or weights by pruning. Most existing works pruned the networks in a deterministic way, the performance of which solely depends on a single pruning criterion and thus lacks variety. Instead, in this paper, we propose a model pruning strategy that first generates several pruning masks in a designed random way. Subsequently, along with an effective mask-selection rule, the optimal mask is chosen from the pool of mask candidates. To further enhance efficiency, we introduce an early mask evaluation strategy, mitigating the overhead associated with training multiple masks. Our extensive experiments demonstrate that this approach achieves state-of-the-art performance across eight datasets from GLUE, particularly excelling at high levels of sparsity.


title: Enhancing Multi-Drone Coordination for Filming Group Behaviours in Dynamic Environments

abstract: Multi-Agent Path Finding (MAPF) is a fundamental problem in robotics and AI, with numerous applications in real-world scenarios. One such scenario is filming scenes with multiple actors, where the goal is to capture the scene from multiple angles simultaneously. Here, we present a formation-based filming directive of task assignment followed by a Conflict-Based MAPF algorithm for efficient path planning of multiple agents to achieve filming objectives while avoiding collisions. We propose an extension to the standard MAPF formulation to accommodate actor-specific requirements and constraints. Our approach incorporates Conflict-Based Search, a widely used heuristic search technique for solving MAPF problems. We demonstrate the effectiveness of our approach through experiments on various MAPF scenarios in a simulated environment. The proposed algorithm enables the efficient online task assignment of formation-based filming to capture dynamic scenes, making it suitable for various filming and coverage applications.


title: The point insertion technique and open $r$-spin theories I: moduli and orientation

abstract: The papers [3, 1, 4, 10] constructed an intersection theory on the moduli space of $r$-spin disks, and proved it satisfies mirror symmetry and relations with integrable hierarchies. That theory considered only disks with a single type of boundary state. In this work, we initiate the study of more general $r$-spin surfaces. We define the notion of graded $r$-spin surfaces with multiple internal and boundary states, and their moduli spaces. In $g=0,$ the disk case, we also define the associated open Witten bundle, and prove that the Witten bundle is canonically oriented relative to the moduli space. Moreover, we describe a method for gluing several moduli spaces along certain boundaries, show that gluing lifts to the Witten bundle and relative cotangent line bundles, and that the result is again canonically relatively oriented. In the sequel [20], we construct, based on the work of this paper, a family of $\lfloor r/2\rfloor$ intersection theories indexed by $\mathfrak{h}\in\{0,\ldots,\lfloor r/2\rfloor-1\},$ where the $\mathfrak{h}$-th one has $\mathfrak{h}+1$ possible boundary states, and calculate their intersection numbers. The $\mathfrak{h}=0$ theory is equivalent to the one constructed in [3, 1].


title: A quantitative pairwise comparison-based constraint handling technique for constrained optimization

abstract: This study proposes a new constraint handling technique for assisting metaheuristic optimization algorithms to solve constrained optimization problems more effectively and efficiently. Given any two solutions of any constrained optimization problems, they are first mapped into a two-dimensional Cartesian coordinate system with their objective function value differences and constraint violation differences as the two axes. To the best of our knowledge, we are the first to deal with constraints by building such a Cartesian coordinate system. Then, the Cartesian coordinate system is divided into a series of grids by assigning ranks to different intervals of differences. In this way, a pairwise comparison criterion is derived with the use of the fused ranks, which achieves non-hierarchical comparison neither preferring objective function values nor constraint violations, resulting in more accurate evaluation compared with existing techniques. Moreover, an evaluation function that is equivalent to the pairwise comparison criterion is proposed, which further improves computational efficiency. The effectiveness and efficiency of the proposed constraint handling technique are verified on two well-known public datasets, that is, CEC 2006 and CEC 2017. The results demonstrate that metaheuristic optimization algorithms with using the proposed constraint handling technique can converge to a feasible optimal solution faster and more reliably. Experimental analysis on the parameters involved reveal guidance for their optimal settings.