title: Hybridizing Traditional and Next-Generation Reservoir Computing to Accurately and Efficiently Forecast Dynamical Systems

abstract: Reservoir computers (RCs) are powerful machine learning architectures for time series prediction. Recently, next generation reservoir computers (NGRCs) have been introduced, offering distinct advantages over RCs, such as reduced computational expense and lower training data requirements. However, NGRCs have their own practical difficulties, including sensitivity to sampling time and type of nonlinearities in the data. Here, we introduce a hybrid RC-NGRC approach for time series forecasting of dynamical systems. We show that our hybrid approach can produce accurate short term predictions and capture the long term statistics of chaotic dynamical systems in situations where the RC and NGRC components alone are insufficient, e.g., due to constraints from limited computational resources, sub-optimal hyperparameters, sparsely-sampled training data, etc. Under these conditions, we show for multiple model chaotic systems that the hybrid RC-NGRC method with a small reservoir can achieve prediction performance approaching that of a traditional RC with a much larger reservoir, illustrating that the hybrid approach can offer significant gains in computational efficiency over traditional RCs while simultaneously addressing some of the limitations of NGRCs. Our results suggest that hybrid RC-NGRC approach may be particularly beneficial in cases when computational efficiency is a high priority and an NGRC alone is not adequate.


title: JWST Photometric Time-Delay and Magnification Measurements for the Triply-Imaged Type Ia "Supernova H0pe" at z = 1.78

abstract: Supernova (SN) H0pe is a gravitationally lensed, triply-imaged, Type Ia SN (SN Ia) discovered in James Webb Space Telescope imaging of the PLCK G165.7+67.0 cluster of galaxies. Well-observed multiply-imaged SNe provide a rare opportunity to constrain the Hubble constant ($H_0$), by measuring the relative time delay between the images and modeling the foreground mass distribution. SN H0pe is located at $z=1.783$, and is the first SN Ia with sufficient light curve sampling and long enough time delays for an $H_0$ inference. Here we present photometric time-delay measurements and SN properties of SN H0pe. Using JWST/NIRCam photometry we measure time delays of $\Delta t_{ab}=-116.6^{+10.8}_{-9.3}$ and $\Delta t_{cb}=-48.6^{+3.6}_{-4.0}$ observer-frame days relative to the last image to arrive (image 2b; all uncertainties are $1\sigma$), which corresponds to a $\sim5.6\%$ uncertainty contribution for $H_0$ assuming $70 \rm{km s^{-1} Mpc^{-1}}$. We also constrain the absolute magnification of each image to $\mu_{a}=4.3^{+1.6}_{-1.8}$, $\mu_{b}=7.6^{+3.6}_{-2.6}$, $\mu_{c}=6.4^{+1.6}_{-1.5}$ by comparing the observed peak near-IR magnitude of SN H0pe to the non-lensed population of SNe Ia.


title: Structurally Prune Anything: Any Architecture, Any Framework, Any Time

abstract: Neural network pruning serves as a critical technique for enhancing the efficiency of deep learning models. Unlike unstructured pruning, which only sets specific parameters to zero, structured pruning eliminates entire channels, thus yielding direct computational and storage benefits. However, the diverse patterns for coupling parameters, such as residual connections and group convolutions, the diverse deep learning frameworks, and the various time stages at which pruning can be performed make existing pruning methods less adaptable to different architectures, frameworks, and pruning criteria. To address this, we introduce Structurally Prune Anything (SPA), a versatile structured pruning framework that can prune neural networks with any architecture, from any framework, and at any stage of training. SPA leverages a standardized computational graph and ONNX representation to prune diverse neural network architectures without the need for manual intervention. SPA employs a group-level importance estimation method, which groups dependent computational operators, estimates their importance, and prunes unimportant coupled channels. This enables the transfer of various existing pruning criteria into a structured group style. As a result, SPA supports pruning at any time, either before training, after training with fine-tuning, or after training without fine-tuning. In the context of the latter, we introduce Optimal Brain SPA (OBSPA), an algorithm that achieves state-of-the-art pruning results needing neither fine-tuning nor calibration data. In extensive experiments, SPA shows competitive to state-of-the-art pruning performance across various architectures, from popular frameworks, at different pruning times.


title: Characterizing Controllability and Observability for Systems with Locality, Communication, and Actuation Constraints

abstract: This paper presents a closed-form notion of controllability and observability for systems with communication delays, actuation delays, and locality constraints. The formulation reduces to classical notions of controllability and observability in the unconstrained setting. As a consequence of our formulation, we show that the addition of locality and communication constraints may not affect the controllability and observability of the system, and we provide an efficient sufficient condition under which this phenomenon occurs. This contrasts with actuation and sensing delays, which cause a gradual loss of controllability and observability as the delays increase. We illustrate our results using linearized swing equations for the power grid, showing how actuation delay and locality constraints affect controllability.


title: Moderating Illicit Online Image Promotion for Unsafe User-Generated Content Games Using Large Vision-Language Models

abstract: Online user-generated content games (UGCGs) are increasingly popular among children and adolescents for social interaction and more creative online entertainment. However, they pose a heightened risk of exposure to explicit content, raising growing concerns for the online safety of children and adolescents. Despite these concerns, few studies have addressed the issue of illicit image-based promotions of unsafe UGCGs on social media, which can inadvertently attract young users. This challenge arises from the difficulty of obtaining comprehensive training data for UGCG images and the unique nature of these images, which differ from traditional unsafe content. In this work, we take the first step towards studying the threat of illicit promotions of unsafe UGCGs. We collect a real-world dataset comprising 2,924 images that display diverse sexually explicit and violent content used to promote UGCGs by their game creators. Our in-depth studies reveal a new understanding of this problem and the urgent need for automatically flagging illicit UGCG promotions. We additionally create a cutting-edge system, UGCG-Guard, designed to aid social media platforms in effectively identifying images used for illicit UGCG promotions. This system leverages recently introduced large vision-language models (VLMs) and employs a novel conditional prompting strategy for zero-shot domain adaptation, along with chain-of-thought (CoT) reasoning for contextual identification. UGCG-Guard achieves outstanding results, with an accuracy rate of 94% in detecting these images used for the illicit promotion of such games in real-world scenarios.


title: A State-of-the-practice Release-readiness Checklist for Generative AI-based Software Products

abstract: This paper investigates the complexities of integrating Large Language Models (LLMs) into software products, with a focus on the challenges encountered for determining their readiness for release. Our systematic review of grey literature identifies common challenges in deploying LLMs, ranging from pre-training and fine-tuning to user experience considerations. The study introduces a comprehensive checklist designed to guide practitioners in evaluating key release readiness aspects such as performance, monitoring, and deployment strategies, aiming to enhance the reliability and effectiveness of LLM-based applications in real-world settings.


title: Action of the relative Weyl group on partial Springer sheaf

abstract: In the context of the Springer correspondence, the Weyl group action on the Springer sheaf can be defined in two ways: via restriction or the Fourier transform. It is well-known that these two actions differ by the sign character. This was proven by Hotta for sheaves with characteristic 0 coefficients in 1981, and more recently extended to arbitrary coefficients by Achar, Henderson, Juteau, and Riche in 2014. In this short article, we study an extension of this problem to the partial Springer sheaf with arbitrary field coefficients. This involves an action of the so-called relative Weyl group $W(L)$.


title: Robust In-Hand Manipulation with Extrinsic Contacts

abstract: We present in-hand manipulation tasks where a robot moves an object in grasp, maintains its external contact mode with the environment, and adjusts its in-hand pose simultaneously. The proposed manipulation task leads to complex contact interactions which can be very susceptible to uncertainties in kinematic and physical parameters. Therefore, we propose a robust in-hand manipulation method, which consists of two parts. First, an in-gripper mechanics model that computes a na\"ive motion cone assuming all parameters are precise. Then, a robust planning method refines the motion cone to maintain desired contact mode regardless of parametric errors. Real-world experiments were conducted to illustrate the accuracy of the mechanics model and the effectiveness of the robust planning framework in the presence of kinematics parameter errors.


title: Spatial confounding under infill asymptotics

abstract: The estimation of regression parameters in spatially referenced data plays a crucial role across various scientific domains. A common approach involves employing an additive regression model to capture the relationship between observations and covariates, accounting for spatial variability not explained by the covariates through a Gaussian random field. While theoretical analyses of such models have predominantly focused on prediction and covariance parameter inference, recent attention has shifted towards understanding the theoretical properties of regression coefficient estimates, particularly in the context of spatial confounding. This article studies the effect of misspecified covariates, in particular when the misspecification changes the smoothness. We analyze the theoretical properties of the generalize least-square estimator under infill asymptotics, and show that the estimator can have counter-intuitive properties. In particular, the estimated regression coefficients can converge to zero as the number of observations increases, despite high correlations between observations and covariates. Perhaps even more surprising, the estimates can diverge to infinity under certain conditions. Through an application to temperature and precipitation data, we show that both behaviors can be observed for real data. Finally, we propose a simple fix to the problem by adding a smoothing step in the regression.


title: High Recall, Small Data: The Challenges of Within-System Evaluation in a Live Legal Search System

abstract: This paper illustrates some challenges of common ranking evaluation methods for legal information retrieval (IR). We show these challenges with log data from a live legal search system and two user studies. We provide an overview of aspects of legal IR, and the implications of these aspects for the expected challenges of common evaluation methods: test collections based on explicit and implicit feedback, user surveys, and A/B testing. Next, we illustrate the challenges of common evaluation methods using data from a live, commercial, legal search engine. We specifically focus on methods for monitoring the effectiveness of (continuous) changes to document ranking by a single IR system over time. We show how the combination of characteristics in legal IR systems and limited user data can lead to challenges that cause the common evaluation methods discussed to be sub-optimal. In our future work we will therefore focus on less common evaluation methods, such as cost-based evaluation models.


title: Using Quantum Computing to Infer Dynamic Behaviors of Biological and Artificial Neural Networks

abstract: The exploration of new problem classes for quantum computation is an active area of research. An essentially completely unexplored topic is the use of quantum algorithms and computing to explore and ask questions \textit{about} the functional dynamics of neural networks. This is a component of the still-nascent topic of applying quantum computing to the modeling and simulations of biological and artificial neural networks. In this work, we show how a carefully constructed set of conditions can use two foundational quantum algorithms, Grover and Deutsch-Josza, in such a way that the output measurements admit an interpretation that guarantees we can infer if a simple representation of a neural network (which applies to both biological and artificial networks) after some period of time has the potential to continue sustaining dynamic activity. Or whether the dynamics are guaranteed to stop either through 'epileptic' dynamics or quiescence.


title: Chirality-Induced Magnet-Free Spin Generation in a Semiconductor

abstract: Electrical generation and transduction of polarized electron spins in semiconductors are of central interest in spintronics and quantum information science. While spin generation in semiconductors has been frequently realized via electrical injection from a ferromagnet, there are significant advantages in nonmagnetic pathways of creating spin polarization. One such pathway exploits the interplay of electron spin with chirality in electronic structures or real space. Here, utilizing chirality-induced spin selectivity (CISS), we demonstrate efficient creation of spin accumulation in n-doped GaAs via electric current injection from a normal metal (Au) electrode through a self-assembled monolayer of chiral molecules ({\alpha}-helix L-polyalanine, AHPA-L). The resulting spin polarization is detected as a Hanle effect in the n-GaAs, which is found to obey a distinct universal scaling with temperature and bias current consistent with chirality-induced spin accumulation. The experiment constitutes a definitive observation of CISS in a fully nonmagnetic device structure and demonstration of its ability to generate spin accumulation in a conventional semiconductor. The results thus place key constraints on the physical mechanism of CISS and present a new scheme for magnet-free semiconductor spintronics.


title: LORD: Large Models based Opposite Reward Design for Autonomous Driving

abstract: Reinforcement learning (RL) based autonomous driving has emerged as a promising alternative to data-driven imitation learning approaches. However, crafting effective reward functions for RL poses challenges due to the complexity of defining and quantifying good driving behaviors across diverse scenarios. Recently, large pretrained models have gained significant attention as zero-shot reward models for tasks specified with desired linguistic goals. However, the desired linguistic goals for autonomous driving such as "drive safely" are ambiguous and incomprehensible by pretrained models. On the other hand, undesired linguistic goals like "collision" are more concrete and tractable. In this work, we introduce LORD, a novel large models based opposite reward design through undesired linguistic goals to enable the efficient use of large pretrained models as zero-shot reward models. Through extensive experiments, our proposed framework shows its efficiency in leveraging the power of large pretrained models for achieving safe and enhanced autonomous driving. Moreover, the proposed approach shows improved generalization capabilities as it outperforms counterpart methods across diverse and challenging driving scenarios.


title: Prony's Method in Banach Modules

abstract: We show that the classical Prony's method for recovery of a sparse signal from its consecutive Fourier coefficients can be viewed as a spectral identification problem for an unknown restriction of a known linear operator. This presents a unified point of view on various existing and novel generalizations and applications of the method, some of which are discussed in this paper.


title: Stabilization of linear Port-Hamiltonian Descriptor Systems via Output Feedback

abstract: The structure preserving stabilization of (possibly non-regular) linear port-Hamiltonian descriptor (pHDAE) systems by output feedback is discussed. While for general descriptor systems the characterization when there exist output feedbacks that lead to an asymptotically stable closed loop system is a very hard and partially open problem, for systems in pHDAE representation this problem can be completely solved. Necessary and sufficient conditions are presented that guarantee that there exist a proportional output feedback such that the resulting closed-loop port-Hamiltonian descriptor system is (robustly) asymptotically stable. For this it is also necessary that the output feedback also makes the problem regular and of index at most one. A complete characterization when this is possible is presented as well.


title: Oscillating dark energy in light of the latest observations and its impact on the Hubble tension

abstract: In this paper we have performed a comparative study of different types of oscillating dark energy models using the Metropolis algorithm of MCMC. Eight different oscillating parameterization being examined herein which have demonstrated considerable ability to fit the overall cosmological observations including Pantheon sample of SnIa, Baryon Acoustic Oscillations, Cosmic Chronometer Hubble data and distance priors of Planck CMB. In order to compare the consistency of these models with observations, we have used both Akaike and Deviation information criteria. Although, the values of Akaike information criteria for different models indicate that there is no support for oscillating DE models, Deviation information criteria showed that there is significant support for some of these models. Our results showed that these models are capable of solving cosmic coincidence problem and alleviating the Hubble tension. Comparing the $H_0$ values obtained for different oscillating scenarios, with that of $\Lambda$CDM, we observe that our oscillating models led to $\bar{H_0}=69.78$ which is $0.29$ greater than $H_{0,\Lambda}$ and thus reduce the Hubble tension. Among all of models, Model(1) with $H_0=70.00 \pm 0.71$ is the most capable of alleviating the $H_0$ tension. Furthermore, we examined our models assuming $H_0=73.0 \pm 1.4$ from SHoES measurements. We find that adding this data point to our data combination, led to a $\Delta \bar{H_0}=0.95$ increase in $H_0$ value for different models.


title: A Survey on Large Language Models from Concept to Implementation

abstract: Recent advancements in Large Language Models (LLMs), particularly those built on Transformer architectures, have significantly broadened the scope of natural language processing (NLP) applications, transcending their initial use in chatbot technology. This paper investigates the multifaceted applications of these models, with an emphasis on the GPT series. This exploration focuses on the transformative impact of artificial intelligence (AI) driven tools in revolutionizing traditional tasks like coding and problem-solving, while also paving new paths in research and development across diverse industries. From code interpretation and image captioning to facilitating the construction of interactive systems and advancing computational domains, Transformer models exemplify a synergy of deep learning, data analysis, and neural network design. This survey provides an in-depth look at the latest research in Transformer models, highlighting their versatility and the potential they hold for transforming diverse application sectors, thereby offering readers a comprehensive understanding of the current and future landscape of Transformer-based LLMs in practical applications.


title: Two-level overlapping Schwarz preconditioners with universal coarse spaces for $2m$th-order elliptic problems

abstract: We propose a novel universal construction of two-level overlapping Schwarz preconditioners for $2m$th-order elliptic boundary value problems, where $m$ is a positive integer. The word "universal" here signifies that the coarse space construction can be applied to any finite element discretization for any $m$ that satisfies some common assumptions. We present numerical results for conforming, nonconforming, and discontinuous Galerkin-type finite element discretizations for high-order problems to demonstrate the scalability of the proposed two-level overlapping Schwarz preconditioners.


title: Concurrent level set and fiber orientation optimization of composite structures

abstract: By adjusting both the structural shape and fiber orientation, this research aims to optimize the design of Fiber Reinforced Composite structures. The structural geometry is represented by a level set function, which is approximated by quadratic B-spline functions. The fiber orientation field is parameterized with quadratic/cubic B-splines on hierarchically refined meshes. Different levels for B-spline mesh refinement for the level set and fiber orientation fields are studied to obtain a smooth fiber layout. To facilitate FRC manufacturing, the parallel alignment, and smoothness of fiber paths are enforced by introducing penalty terms referred to as "misalignment penalty and curvature penalty", which are incorporated into the optimization process. A geometric interpretation of the penalties is provided. The material behavior of the FRCs is modeled by the Mori-Tanaka homogenization scheme and the macroscopic structure response is modeled by linear elasticity under static mutiloading conditions. The Governing equations are discretized by a Heaviside-enriched eXtended IsoGeometric Analysis to avoid the need to generate conformal meshes. Instabilities in XIGA are mitigated by the facet-oriented ghost stabilization technique. This work considers mass and strain energy in the formulation of the optimization objective, along with misalignment and curvature penalties and additional regularization terms. Constraints are imposed on the volume of the structure. The resulting optimization problems are solved by a gradient-based algorithm. The design sensitivities are computed by the adjoint method. Numerical examples demonstrate with two-dimensional and three-dimensional configurations that the proposed method is efficient in simultaneously optimizing the macroscopic shape and the fiber layout while improving manufacturability by promoting parallel and smooth fiber paths.


title: Risk-Aware Robotics: Tail Risk Measures in Planning, Control, and Verification

abstract: The need for a systematic approach to risk assessment has increased in recent years due to the ubiquity of autonomous systems that alter our day-to-day experiences and their need for safety, e.g., for self-driving vehicles, mobile service robots, and bipedal robots. These systems are expected to function safely in unpredictable environments and interact seamlessly with humans, whose behavior is notably challenging to forecast. We present a survey of risk-aware methodologies for autonomous systems. We adopt a contemporary risk-aware approach to mitigate rare and detrimental outcomes by advocating the use of tail risk measures, a concept borrowed from financial literature. This survey will introduce these measures and explain their relevance in the context of robotic systems for planning, control, and verification applications.


title: Conformal Intent Classification and Clarification for Fast and Accurate Intent Recognition

abstract: We present Conformal Intent Classification and Clarification (CICC), a framework for fast and accurate intent classification for task-oriented dialogue systems. The framework turns heuristic uncertainty scores of any intent classifier into a clarification question that is guaranteed to contain the true intent at a pre-defined confidence level. By disambiguating between a small number of likely intents, the user query can be resolved quickly and accurately. Additionally, we propose to augment the framework for out-of-scope detection. In a comparative evaluation using seven intent recognition datasets we find that CICC generates small clarification questions and is capable of out-of-scope detection. CICC can help practitioners and researchers substantially in improving the user experience of dialogue agents with specific clarification questions.


title: Granular gases under resetting

abstract: We investigate the granular temperatures in force-free granular gases under exponential resetting. When a resetting event occurs, the granular temperature attains its initial value, whereas it decreases due to inelastic collisions between the resetting events. We study the dependence of the mean granular temperature and its variance on the resetting rate. Our theory may help to understand the behavior of non-periodically driven granular systems.


title: A Novel Corpus of Annotated Medical Imaging Reports and Information Extraction Results Using BERT-based Language Models

abstract: Medical imaging is critical to the diagnosis, surveillance, and treatment of many health conditions, including oncological, neurological, cardiovascular, and musculoskeletal disorders, among others. Radiologists interpret these complex, unstructured images and articulate their assessments through narrative reports that remain largely unstructured. This unstructured narrative must be converted into a structured semantic representation to facilitate secondary applications such as retrospective analyses or clinical decision support. Here, we introduce the Corpus of Annotated Medical Imaging Reports (CAMIR), which includes 609 annotated radiology reports from three imaging modality types: Computed Tomography, Magnetic Resonance Imaging, and Positron Emission Tomography-Computed Tomography. Reports were annotated using an event-based schema that captures clinical indications, lesions, and medical problems. Each event consists of a trigger and multiple arguments, and a majority of the argument types, including anatomy, normalize the spans to pre-defined concepts to facilitate secondary use. CAMIR uniquely combines a granular event structure and concept normalization. To extract CAMIR events, we explored two BERT (Bi-directional Encoder Representation from Transformers)-based architectures, including an existing architecture (mSpERT) that jointly extracts all event information and a multi-step approach (PL-Marker++) that we augmented for the CAMIR schema.


title: "Sorry, Come Again?" Prompting -- Enhancing Comprehension and Diminishing Hallucination with [PAUSE]-injected Optimal Paraphrasing

abstract: Hallucination has emerged as the most vulnerable aspect of contemporary Large Language Models (LLMs). In this paper, we introduce the Sorry, Come Again (SCA) prompting, aimed to avoid LLM hallucinations by enhancing comprehension through: (i) optimal paraphrasing and (ii) injecting [PAUSE] tokens to delay LLM generation. First, we provide an in-depth analysis of linguistic nuances: formality, readability, and concreteness of prompts for 21 LLMs, and elucidate how these nuances contribute to hallucinated generation. Prompts with lower readability, formality, or concreteness pose comprehension challenges for LLMs, similar to those faced by humans. In such scenarios, an LLM tends to speculate and generate content based on its imagination (associative memory) to fill these information gaps. Although these speculations may occasionally align with factual information, their accuracy is not assured, often resulting in hallucination. Recent studies reveal that an LLM often neglects the middle sections of extended prompts, a phenomenon termed as lost in the middle. While a specific paraphrase may suit one LLM, the same paraphrased version may elicit a different response from another LLM. Therefore, we propose an optimal paraphrasing technique to identify the most comprehensible paraphrase of a given prompt, evaluated using Integrated Gradient (and its variations) to guarantee that the LLM accurately processes all words. While reading lengthy sentences, humans often pause at various points to better comprehend the meaning read thus far. We have fine-tuned an LLM with injected [PAUSE] tokens, allowing the LLM to pause while reading lengthier prompts. This has brought several key contributions: (i) determining the optimal position to inject [PAUSE], (ii) determining the number of [PAUSE] tokens to be inserted, and (iii) introducing reverse proxy tuning to fine-tune the LLM for [PAUSE] insertion.


title: Semiclassical wave-packets for weakly nonlinear Schr\"odinger equations with rotation

abstract: We consider semiclassically scaled, weakly nonlinear Schr\"odinger equations with external confining potentials and additional angular-momentum rotation term. This type of model arises in the Gross-Pitaevskii theory of trapped, rotating quantum gases. We construct asymptotic solutions in the form of semiclassical wave-packets, which are concentrated in both space and in frequency around an classical Hamiltonian phase-space flow. The rotation term is thereby seen to alter this flow, but not the corresponding classical action.


title: TextCraftor: Your Text Encoder Can be Image Quality Controller

abstract: Diffusion-based text-to-image generative models, e.g., Stable Diffusion, have revolutionized the field of content generation, enabling significant advancements in areas like image editing and video synthesis. Despite their formidable capabilities, these models are not without their limitations. It is still challenging to synthesize an image that aligns well with the input text, and multiple runs with carefully crafted prompts are required to achieve satisfactory results. To mitigate these limitations, numerous studies have endeavored to fine-tune the pre-trained diffusion models, i.e., UNet, utilizing various technologies. Yet, amidst these efforts, a pivotal question of text-to-image diffusion model training has remained largely unexplored: Is it possible and feasible to fine-tune the text encoder to improve the performance of text-to-image diffusion models? Our findings reveal that, instead of replacing the CLIP text encoder used in Stable Diffusion with other large language models, we can enhance it through our proposed fine-tuning approach, TextCraftor, leading to substantial improvements in quantitative benchmarks and human assessments. Interestingly, our technique also empowers controllable image generation through the interpolation of different text encoders fine-tuned with various rewards. We also demonstrate that TextCraftor is orthogonal to UNet finetuning, and can be combined to further improve generative quality.


title: Complexity of emerging magnetic flux during lifetime of solar ephemeral regions

abstract: As a relatively active region, ephemeral region (ER) exhibits highly complex pattern of magnetic flux emergence. We aim to study detailed secondary flux emergences (SFEs) which we define as bipoles that they appear close to ERs and finally coalesce with ERs after a period. We study the SFEs during the whole process from emergence to decay of 5 ERs observed by the Helioseismic and Magnetic Imager (HMI) aboard Solar Dynamics Observatory (SDO) . The maximum unsigned magnetic flux for each ER is around $10^{20}$ Mx. Each ER has tens of SFEs with an average emerging magnetic flux of approximately 5$\times10^{18}$ Mx. The frequency of normalized magnetic flux for all the SFEs follows a power law distribution with an index of -2.08 . The majority of SFEs occur between the positive and negative polarities of ER , and their growth time is concentrated within one hour. The magnetic axis of SFE is found to exhibit a random distribution in the 5 ERs. We suggest that the relationship between SFEs and ERs can be understood by regarding the photospheric magnetic field observations as cross-sections of an emerging magnetic structure. Tracking the ERs' evolution, we propose that these SFEs in ERs may be sequent emergences from the bundle of flux tube of ERs, and that SFEs are partially emerged $\Omega$-loops.


title: A census of graph-drawing algorithms based on generalized transversal structures

abstract: We present two graph drawing algorithms based on the recently defined "grand-Schnyder woods", which are a far-reaching generalization of the classical Schnyder woods. The first is a straight-line drawing algorithm for plane graphs with faces of degree 3 and 4 with no separating 3-cycle, while the second is a rectangular drawing algorithm for the dual of such plane graphs. In our algorithms, the coordinates of the vertices are defined in a global manner, based on the underlying grand-Schnyder woods. The grand-Schnyder woods and drawings are computed in linear time. When specializing our algorithms to special classes of plane graphs, we recover the following known algorithms: (1) He's algorithm for rectangular drawing of 3-valent plane graphs, based on transversal structures, (2) Fusy's algorithm for the straight-line drawing of triangulations of the square, based on transversal structures, (3) Bernardi and Fusy's algorithm for the orthogonal drawing of 4-valent plane graphs, based on 2-orientations, (4) Barriere and Huemer's algorithm for the straight-line drawing of quadrangulations, based on separating decompositions. Our contributions therefore provide a unifying perspective on a large family of graph drawing algorithms that were originally defined on different classes of plane graphs and were based on seemingly different combinatorial structures.


title: Revisiting the Vertical Distribution of HI Absorbing Clouds in the Solar Neighborhood

abstract: The vertical distribution of cold neutral hydrogen (HI) clouds is a constraint on models of the structure, dynamics, and hydrostatic balance of the interstellar medium. In 1978, Crovisier pioneered a method to infer the vertical distribution of HI absorbing clouds in the solar neighborhood. Using data from the Nan\c{c}ay 21-cm absorption survey, they determine the mean vertical displacement of cold HI clouds, $\langle|z|\rangle$. We revisit Crovisier's analysis and explore the consequences of truncating the HI absorption sample in Galactic latitude. For any non-zero latitude limit, we find that the quantity inferred by Crovisier is not the mean vertical displacement but rather a ratio involving higher moments of the vertical distribution. The resultant distribution scale heights are thus ${\sim}1.5$ to ${\sim}3$ times smaller than previously determined. In light of this discovery, we develop a Bayesian Monte Carlo Markov Chain method to infer the vertical distribution of HI absorbing clouds. We fit our model to the original Nan\c{c}ay data and find a vertical distribution moment ratio $\langle|z|^3\rangle/\langle|z|^2\rangle = 97 \pm 15\,\text{pc}$, which corresponds to a Gaussian scale height $\sigma_z = 61 \pm 9\,\text{pc}$, an exponential scale height $\lambda_z = 32 \pm 5\,\text{pc}$, and a rectangular half-width $W_{z, 1/2} = 129 \pm 20\,\text{pc}$. Consistent with recent simulations, the vertical scale height of cold HI clouds appears to remain constant between the inner-Galaxy and the Galactocentric distance of the solar neighborhood. Local fluctuations might explain the large scale height observed at the same Galactocentric distance on the far side of the Galaxy.


title: Insights on the dip of fault zones in Southern California from modeling of seismicity with anisotropic point processes

abstract: Accurate models of fault zone geometry are important for scientific and hazard applications. While seismicity can provide high-resolution point measurements of fault geometry, extrapolating these measurements to volumes may involve making strong assumptions. This is particularly problematic in distributed fault zones, which are commonly observed in immature faulting regions. In this study, we focus on characterizing the dip of fault zones in Southern California with the goal of improving fault models. We introduce a novel technique from spatial point process theory to quantify the orientation of persistent surficial features in seismicity, even when embedded in wide shear zones. The technique makes relatively mild assumptions about fault geometry and is formulated with the goal of determining the dip of a fault zone at depth. The method is applied to 11 prominent seismicity regions in Southern California. Overall, the results compare favorably with the geometry models provided by the SCEC Community Fault Model and other focused regional studies. More specifically, we find evidence that the Southern San Andreas and San Jacinto fault zones are both northeast dipping at seismogenic depths at the length scales of 1.0-4.0 km. In addition, we find more limited evidence for some depth dependent variations in dip that suggest a listric geometry. The developed technique can provide an independent source of information from seismicity to augment existing fault geometry models.


title: Anyon braiding and telegraph noise in a graphene interferometer

abstract: The search for anyons, quasiparticles with fractional charge and exotic exchange statistics, has inspired decades of condensed matter research. Quantum Hall interferometers enable direct observation of the anyon braiding phase via discrete interference phase jumps when the quasiparticle number changes. Here, we observe the universal anyonic braiding phase in both the $\nu = 1/3$ and $4/3$ fractional quantum Hall states by probing three-state random telegraph noise (RTN) in real-time. We find that the observed RTN stems from anyon quasiparticle number $n$ fluctuations and reconstruct three Aharonov-Bohm oscillation signals phase shifted by $2\pi/3$, corresponding to the three possible interference branches from braiding around $n$ (mod 3) anyons. Hence, we fully characterize the anyon exchange statistics using new methods that can readily extend to non-abelian states.


title: Extension method in Dirichlet spaces with sub-Gaussian estimates and applications to regularity of jump processes on fractals

abstract: We investigate regularity properties of some non-local equations defined on Dirichlet spaces equipped with sub-gaussian estimates for the heat kernel associated to the generator. We prove that weak solutions for homogeneous equations involving pure powers of the generator are actually H\"older continuous and satisfy an Harnack inequality. Our methods are based on a version of the Caffarelli-Silvestre extension method which is valid in any Dirichlet space and our results complement the existing literature on solutions of PDEs on classes of Dirichlet spaces such as fractals.


title: Robustness and Visual Explanation for Black Box Image, Video, and ECG Signal Classification with Reinforcement Learning

abstract: We present a generic Reinforcement Learning (RL) framework optimized for crafting adversarial attacks on different model types spanning from ECG signal analysis (1D), image classification (2D), and video classification (3D). The framework focuses on identifying sensitive regions and inducing misclassifications with minimal distortions and various distortion types. The novel RL method outperforms state-of-the-art methods for all three applications, proving its efficiency. Our RL approach produces superior localization masks, enhancing interpretability for image classification and ECG analysis models. For applications such as ECG analysis, our platform highlights critical ECG segments for clinicians while ensuring resilience against prevalent distortions. This comprehensive tool aims to bolster both resilience with adversarial training and transparency across varied applications and data types.


title: The Sun's differential rotation is controlled by high-latitude baroclinically unstable inertial modes

abstract: Rapidly rotating fluids have a rotation profile which depends only on the distance from the rotation axis, in accordance with the Taylor-Proudman theorem. Although the Sun was expected to be such a body, helioseismology showed that the rotation rate in the convection zone is closer to constant on radii. It has been postulated that this deviation is due to the poles being warmer than the equator by a few degrees. Using numerical simulations, we show that the pole-to-equator temperature difference cannot exceed 7 Kelvin as a result of the back-reaction of the high-latitude baroclinically unstable inertial modes. The observed amplitudes of the modes further indicate that this maximum temperature difference is reached in the Sun. We conclude that the Sun's latitudinal differential rotation reaches its maximum allowed value.


title: Reconfigurable multiplex setup for high throughput electrical characterisation at cryogenic temperature

abstract: In this paper, we present a reconfigurable multiplex (MUX) setup that increases the throughput of electrical characterisation at cryogenic temperature. The setup separates the MUX circuitry from quantum device under test (qDUT), allowing qDUT chips to be exchanged easily and MUX chips to be reused. To interface with different types of qDUTs, board-level designs are incorporated to allow interconnects flexibly routed into different topology. MUXs are built based on a multiple level selective gating (MLSG) scheme, where the number of multiplexed output channels (interconnects) is exponentially dependent on the number of control lines. In the prototype setup presented in this paper, with 14 out of 44 existing wires from room temperature, 4 MUXs at cryogenic temperature can supply in total 128 interconnects to interface with qDUTs. We validate the MUX setup operation and assess the various limits existed by measuring k$\Omega$ resistors made of $\mu$m-size graphene ribbons. We further demonstrate the setup by performing charge transport measurement on 128 nm-size graphene quantum devices in a single cooling down.


title: Wave Reflection in the Solar Atmosphere

abstract: We present evidence supporting wave reflection in the lower solar chromosphere based on helioseismic analysis of multi-height Doppler data. This evidence is derived through a wave propagation model that incorporates both upward- and downward-traveling (reflected) waves. Moreover, we find that the height of the reflecting region varies with magnetic field strengths in a way that suggests a connection with the the plasma $\beta\sim1$ region. We measure an effective reflection coefficient of $13\,\%$ in a magnetically quiet region of the Sun.


title: Dealing with Imbalanced Classes in Bot-IoT Dataset

abstract: With the rapidly spreading usage of Internet of Things (IoT) devices, a network intrusion detection system (NIDS) plays an important role in detecting and protecting various types of attacks in the IoT network. To evaluate the robustness of the NIDS in the IoT network, the existing work proposed a realistic botnet dataset in the IoT network (Bot-IoT dataset) and applied it to machine learning-based anomaly detection. This dataset contains imbalanced normal and attack packets because the number of normal packets is much smaller than that of attack ones. The nature of imbalanced data may make it difficult to identify the minority class correctly. In this thesis, to address the class imbalance problem in the Bot-IoT dataset, we propose a binary classification method with synthetic minority over-sampling techniques (SMOTE). The proposed classifier aims to detect attack packets and overcome the class imbalance problem using the SMOTE algorithm. Through numerical results, we demonstrate the proposed classifier's fundamental characteristics and the impact of imbalanced data on its performance.


title: Turbulence properties and kinetic signatures of electron in Kelvin-Helmholtz waves during a geomagnetic storm

abstract: We present a comprehensive study of Magnetospheric Multiscale (MMS) spacecraft encounter with KHI during a geomagnetic storm, focusing on elucidating key turbulence properties and reconnection signatures observed at the edges of KH vortices. The spectral slope for electric field stays approximately constant for frequencies below the ion cyclotron frequency and exhibits a break around the lower hybrid frequency, indicating wave activity. Furthermore, MMS observes a current sheet accompanied by intense electron jets and features consistent with strong guide-field asymmetric reconnection across the magnetopause. Substantial agyrotropy (by a factor of 10) in electron distribution functions is observed in the reconnecting current sheet and at the edges of KH. Our observation presents a multi-scale view into KH turbulence under strongly driven conditions and into the dynamics occurring at electron dissipation scales.


title: Stau pairs from natural SUSY at high luminosity LHC

abstract: Natural supersymmetry (SUSY) with light higgsinos is perhaps the most plausible of all weak scale SUSY models while a variety of motivations point to (right) tau sleptons as the lightest of all the sleptons. We examine a SUSY model line with rather light right-staus embedded within natural SUSY. For light stau_1 of a few hundred GeV, then the decays stau_1 -> \tau\tchi_{1,2}^0 and \nu_\tau\tchi_1^- occur at comparable rates where the (higgsino-like) \tchi_1^\pm and \tchi_2^0 release only small visible energy: in this case, the expected \tau^+\tau^- +\eslt signature is diminished from usual expectations due to the presence of the nearly invisible decay mode \ttau_1 -> \nu_\tau\tchi_1^-. However, once m_{\ttau_1}> ~m(bino), then decays to binos such as \ttau_1 -> \tau\tchi_3^0 open up where \tchi_3^0 decays to higgsinos plus W^\pm, Z^0 and h at comparable rates. For these heavier staus, then stau pair production gives rise to diboson+\eslt events which may contain 0, 1 or 2 additional hard \tau leptons. From these considerations, we examine the potential for future discovery of tau-slepton pair production at high-luminosity LHC. While we do not find a 5\sigma HL-LHC discovery reach for 3000 fb^{-1}, we do find a 95\% CL exclusion reach, ranging between m_{\ttau_1}:100-450 GeV for m_{\tchi_1^0}~ 100 GeV. This latter reach disappears for m_{\tchi_1^0}>~ 200 GeV.


title: Tractography with T1-weighted MRI and associated anatomical constraints on clinical quality diffusion MRI

abstract: Diffusion MRI (dMRI) streamline tractography, the gold standard for in vivo estimation of brain white matter (WM) pathways, has long been considered indicative of macroscopic relationships with WM microstructure. However, recent advances in tractography demonstrated that convolutional recurrent neural networks (CoRNN) trained with a teacher-student framework have the ability to learn and propagate streamlines directly from T1 and anatomical contexts. Training for this network has previously relied on high-resolution dMRI. In this paper, we generalize the training mechanism to traditional clinical resolution data, which allows generalizability across sensitive and susceptible study populations. We train CoRNN on a small subset of the Baltimore Longitudinal Study of Aging (BLSA), which better resembles clinical protocols. Then, we define a metric, termed the epsilon ball seeding method, to compare T1 tractography and traditional diffusion tractography at the streamline level. Under this metric, T1 tractography generated by CoRNN reproduces diffusion tractography with approximately two millimeters of error.


title: Parallel refreshed cryogenic charge-locking array with low power dissipation

abstract: To build a large scale quantum circuit comprising millions of cryogenic qubits will require an efficient way to supply large numbers of classic control signals. Given the limited number of direct connections allowed from room temperature, multiple level of signal multiplexing becomes essential. The stacking of hardware to accomplish this task is highly dependent on the lowest level implementation of control electronics, of which an open question is the feasibility of mK integration. Such integration is preferred for signal transmission and wire interconnection, provided it is not limited by the large power dissipation involved. Novel cryogenic electronics that prioritises power efficiency has to be developed to meet the tight thermal budget. In this paper, we present a power efficient approach to implement charge-locking array.


title: Causal-StoNet: Causal Inference for High-Dimensional Complex Data

abstract: With the advancement of data science, the collection of increasingly complex datasets has become commonplace. In such datasets, the data dimension can be extremely high, and the underlying data generation process can be unknown and highly nonlinear. As a result, the task of making causal inference with high-dimensional complex data has become a fundamental problem in many disciplines, such as medicine, econometrics, and social science. However, the existing methods for causal inference are frequently developed under the assumption that the data dimension is low or that the underlying data generation process is linear or approximately linear. To address these challenges, this paper proposes a novel causal inference approach for dealing with high-dimensional complex data. The proposed approach is based on deep learning techniques, including sparse deep learning theory and stochastic neural networks, that have been developed in recent literature. By using these techniques, the proposed approach can address both the high dimensionality and unknown data generation process in a coherent way. Furthermore, the proposed approach can also be used when missing values are present in the datasets. Extensive numerical studies indicate that the proposed approach outperforms existing ones.


title: Algebraic Reasoning Meets Automata in Solving Linear Integer Arithmetic (Technical Report)

abstract: We present a new angle on solving quantified linear integer arithmetic based on combining the automata-based approach, where numbers are understood as bitvectors, with ideas from (nowadays prevalent) algebraic approaches, which work directly with numbers. This combination is enabled by a fine-grained version of the duality between automata and arithmetic formulae. In particular, we employ a construction where states of automaton are obtained as derivatives of arithmetic formulae: then every state corresponds to a formula. Optimizations based on techniques and ideas transferred from the world of algebraic methods are used on thousands of automata states, which dramatically amplifies their effect. The merit of this combination of automata with algebraic methods is demonstrated by our prototype implementation being competitive to and even superior to state-of-the-art SMT solvers.


title: Envisioning MedCLIP: A Deep Dive into Explainability for Medical Vision-Language Models

abstract: Explaining Deep Learning models is becoming increasingly important in the face of daily emerging multimodal models, particularly in safety-critical domains like medical imaging. However, the lack of detailed investigations into the performance of explainability methods on these models is widening the gap between their development and safe deployment. In this work, we analyze the performance of various explainable AI methods on a vision-language model, MedCLIP, to demystify its inner workings. We also provide a simple methodology to overcome the shortcomings of these methods. Our work offers a different new perspective on the explainability of a recent well-known VLM in the medical domain and our assessment method is generalizable to other current and possible future VLMs.


title: Quantum to Classical Neural Network Transfer Learning Applied to Drug Toxicity Prediction

abstract: Toxicity is a roadblock that prevents an inordinate number of drugs from being used in potentially life-saving applications. Deep learning provides a promising solution to finding ideal drug candidates; however, the vastness of chemical space coupled with the underlying $\mathcal{O}(n^3)$ matrix multiplication means these efforts quickly become computationally demanding. To remedy this, we present a hybrid quantum-classical neural network for predicting drug toxicity, utilizing a quantum circuit design that mimics classical neural behavior by explicitly calculating matrix products with complexity $\mathcal{O}(n^2)$. Leveraging the Hadamard test for efficient inner product estimation rather than the conventionally used swap test, we reduce the number qubits by half and remove the need for quantum phase estimation. Directly computing matrix products quantum mechanically allows for learnable weights to be transferred from a quantum to a classical device for further training. We apply our framework to the Tox21 dataset and show that it achieves commensurate predictive accuracy to the model's fully classical $\mathcal{O}(n^3)$ analog. Additionally, we demonstrate the model continues to learn, without disruption, once transferred to a fully classical architecture. We believe combining the quantum advantage of reduced complexity and the classical advantage of noise-free calculation will pave the way to more scalable machine learning models.


title: Few-Shot Cross-System Anomaly Trace Classification for Microservice-based systems

abstract: Microservice-based systems (MSS) may experience failures in various fault categories due to their complex and dynamic nature. To effectively handle failures, AIOps tools utilize trace-based anomaly detection and root cause analysis. In this paper, we propose a novel framework for few-shot abnormal trace classification for MSS. Our framework comprises two main components: (1) Multi-Head Attention Autoencoder for constructing system-specific trace representations, which enables (2) Transformer Encoder-based Model-Agnostic Meta-Learning to perform effective and efficient few-shot learning for abnormal trace classification. The proposed framework is evaluated on two representative MSS, Trainticket and OnlineBoutique, with open datasets. The results show that our framework can adapt the learned knowledge to classify new, unseen abnormal traces of novel fault categories both within the same system it was initially trained on and even in the different MSS. Within the same MSS, our framework achieves an average accuracy of 93.26\% and 85.2\% across 50 meta-testing tasks for Trainticket and OnlineBoutique, respectively, when provided with 10 instances for each task. In a cross-system context, our framework gets an average accuracy of 92.19\% and 84.77\% for the same meta-testing tasks of the respective system, also with 10 instances provided for each task. Our work demonstrates the applicability of achieving few-shot abnormal trace classification for MSS and shows how it can enable cross-system adaptability. This opens an avenue for building more generalized AIOps tools that require less system-specific data labeling for anomaly detection and root cause analysis.


title: Deciding Boolean Separation Logic via Small Models (Technical Report)

abstract: We present a novel decision procedure for a fragment of separation logic (SL) with arbitrary nesting of separating conjunctions with boolean conjunctions, disjunctions, and guarded negations together with a support for the most common variants of linked lists. Our method is based on a model-based translation to SMT for which we introduce several optimisations$\unicode{x2013}$the most important of them is based on bounding the size of predicate instantiations within models of larger formulae, which leads to a much more efficient translation of SL formulae to SMT. Through a series of experiments, we show that, on the frequently used symbolic heap fragment, our decision procedure is competitive with other existing approaches, and it can outperform them outside the symbolic heap fragment. Moreover, our decision procedure can also handle some formulae for which no decision procedure has been implemented so far.


title: Quantum Random Access Codes Implementation for Resource Allocation and Coexistence with Classical Telecommunication

abstract: In a world where Quantum Networks are rapidly becoming a reality, the development of the Quantum Internet is gaining increasing interest. Nevertheless, modern quantum networks are still in the early stages of development and have limited capacity to distribute resources among different users -- a constraint that needs to be taken into account. In this work we aim to investigate these constraints, using a novel setup for implementing Quantum Random Access Codes (QRACs), communication protocols known for their quantum advantage over their classical counterparts and semi-device-independent self-testing applications. Our QRAC states, made for the first time using weak coherent pulses instead of entangled single photons, allow us to experimentally test our encoding and decoding strategy from the resource allocation perspective. Moreover, by emulating a coexistent classical communication, we test the resilience of our implementation in presence of noise. The achieved results represent a significant milestone both for theoretical studies of quantum resource allocation and for the implementation of quantum infrastructures capable of coexisting with regular telecommunication networks.


title: Cross-domain Fiber Cluster Shape Analysis for Language Performance Cognitive Score Prediction

abstract: Shape plays an important role in computer graphics, offering informative features to convey an object's morphology and functionality. Shape analysis in brain imaging can help interpret structural and functionality correlations of the human brain. In this work, we investigate the shape of the brain's 3D white matter connections and its potential predictive relationship to human cognitive function. We reconstruct brain connections as sequences of 3D points using diffusion magnetic resonance imaging (dMRI) tractography. To describe each connection, we extract 12 shape descriptors in addition to traditional dMRI connectivity and tissue microstructure features. We introduce a novel framework, Shape--fused Fiber Cluster Transformer (SFFormer), that leverages a multi-head cross-attention feature fusion module to predict subject-specific language performance based on dMRI tractography. We assess the performance of the method on a large dataset including 1065 healthy young adults. The results demonstrate that both the transformer-based SFFormer model and its inter/intra feature fusion with shape, microstructure, and connectivity are informative, and together, they improve the prediction of subject-specific language performance scores. Overall, our results indicate that the shape of the brain's connections is predictive of human language function.


title: Robust Active Speaker Detection in Noisy Environments

abstract: This paper addresses the issue of active speaker detection (ASD) in noisy environments and formulates a robust active speaker detection (rASD) problem. Existing ASD approaches leverage both audio and visual modalities, but non-speech sounds in the surrounding environment can negatively impact performance. To overcome this, we propose a novel framework that utilizes audio-visual speech separation as guidance to learn noise-free audio features. These features are then utilized in an ASD model, and both tasks are jointly optimized in an end-to-end framework. Our proposed framework mitigates residual noise and audio quality reduction issues that can occur in a naive cascaded two-stage framework that directly uses separated speech for ASD, and enables the two tasks to be optimized simultaneously. To further enhance the robustness of the audio features and handle inherent speech noises, we propose a dynamic weighted loss approach to train the speech separator. We also collected a real-world noise audio dataset to facilitate investigations. Experiments demonstrate that non-speech audio noises significantly impact ASD models, and our proposed approach improves ASD performance in noisy environments. The framework is general and can be applied to different ASD approaches to improve their robustness. Our code, models, and data will be released.


title: Finding Birkhoff Averages via Adaptive Filtering

abstract: In many applications, one is interested in classifying trajectories of Hamiltonian systems as invariant tori, islands, or chaos. The convergence rate of ergodic Birkhoff averages can be used to categorize these regions, but many iterations of the return map are needed to implement this directly. Recently, it has been shown that a weighted Birkhoff average can be used to accelerate the convergence, resulting in a useful method for categorizing trajectories. In this paper, we show how a modified version the reduced rank extrapolation method (named Birkhoff RRE) can also be used to find optimal weights for the weighted average with a single linear least-squares solve.Using these, we classify trajectories with fewer iterations of the map than the standard weighted Birkhoff average. Furthermore, for the islands and invariant circles, a subsequent eigenvalue problem gives the number of islands and the rotation number. Using these numbers, we find Fourier parameterizations of invariant circles and islands. We show examples of Birkhoff RRE on the standard map and on magnetic field line dynamics.


title: Discrete Poincar\'e inequality and Discrete Trace inequality in Piece-wise Polynomial Hybridizable Spaces

abstract: In this paper, we establish discrete versions of the Poincar\'e and trace inequalities for hybridizable finite element spaces. These spaces are made of piecewise polynomial functions defined both within the interiors of elements and across all faces in a mesh's skeleton, serving as the basis for both the hybridizable discontinuous Galerkin (HDG) and hybrid high-order (HHO) methods. Additionally, we present a specific adaptation of these inequalities for the HDG method and apply them to demonstrate the stability of the related numerical schemes for second-order elliptic equations under the minimal regularity assumptions for the source term and boundary data.


title: The bending rigidity exponent of a two-dimensional crystalline membrane with arbitrary number of flexural phonon modes

abstract: We investigate the elastic behavior of two-dimensional crystalline membrane embedded into real space taking into account the presence an arbitrary number of flexural phonon modes $d_c$ (the number of out-of-plane deformation field components). The bending rigidity exponent $\eta$ is extracted by numerical simulation via Fourier Monte Carlo technique of the system behaviour in the universal regime. This universal quantity governess the correlation function of out-of-plane deformations at long wavelengths and defines the behaviour of renormalized bending rigidity at small momentum $\varkappa~\sim~1/q^{\eta}$. The resulting numerical estimates of the exponent for various $d_c$ are compared with the numbers obtained from the approximate analytical techniques.


title: Ensuring Safe Autonomy: Navigating the Future of Autonomous Vehicles

abstract: Autonomous driving vehicles provide a vast potential for realizing use cases in the on-road and off-road domains. Consequently, remarkable solutions exist to autonomous systems' environmental perception and control. Nevertheless, proof of safety remains an open challenge preventing such machinery from being introduced to markets and deployed in real world. Traditional approaches for safety assurance of autonomously driving vehicles often lead to underperformance due to conservative safety assumptions that cannot handle the overall complexity. Besides, the more sophisticated safety systems rely on the vehicle's perception systems. However, perception is often unreliable due to uncertainties resulting from disturbances or the lack of context incorporation for data interpretation. Accordingly, this paper illustrates the potential of a modular, self-adaptive autonomy framework with integrated dynamic risk management to overcome the abovementioned drawbacks.


title: Policy iteration for discrete-time systems with discounted costs: stability and near-optimality guarantees

abstract: Given a discounted cost, we study deterministic discrete-time systems whose inputs are generated by policy iteration (PI). We provide novel near-optimality and stability properties, while allowing for non stabilizing initial policies. That is, we first give novel bounds on the mismatch between the value function generated by PI and the optimal value function, which are less conservative in general than those encountered in the dynamic programming literature for the considered class of systems. Then, we show that the system in closed-loop with policies generated by PI are stabilizing under mild conditions, after a finite (and known) number of iterations.


title: On the algebraizability of formal deformations in $K$-cohomology

abstract: We show that algebraizability of the functors $R^1\pi_*\mathcal{K}^M_{2,X}$ and $R^2\pi_*\mathcal{K}^M_{2,X}$ is a stable birational invariant for smooth and proper varieties $\pi:X\rightarrow k$ defined over an algebraic extension $k$ of $\mathbb{Q}$. The same is true for the \'etale sheafifications of these functors as well. To get these results we introduce a notion of relative $K$-homology for schemes of finite type over a finite dimensional, Noetherian, excellent base scheme over a field. We include this material in an appendix.


title: Towards Sustainable SecureML: Quantifying Carbon Footprint of Adversarial Machine Learning

abstract: The widespread adoption of machine learning (ML) across various industries has raised sustainability concerns due to its substantial energy usage and carbon emissions. This issue becomes more pressing in adversarial ML, which focuses on enhancing model security against different network-based attacks. Implementing defenses in ML systems often necessitates additional computational resources and network security measures, exacerbating their environmental impacts. In this paper, we pioneer the first investigation into adversarial ML's carbon footprint, providing empirical evidence connecting greater model robustness to higher emissions. Addressing the critical need to quantify this trade-off, we introduce the Robustness Carbon Trade-off Index (RCTI). This novel metric, inspired by economic elasticity principles, captures the sensitivity of carbon emissions to changes in adversarial robustness. We demonstrate the RCTI through an experiment involving evasion attacks, analyzing the interplay between robustness against attacks, performance, and carbon emissions.


title: Gaussian Process-based Traversability Analysis for Terrain Mapless Navigation

abstract: Efficient navigation through uneven terrain remains a challenging endeavor for autonomous robots. We propose a new geometric-based uneven terrain mapless navigation framework combining a Sparse Gaussian Process (SGP) local map with a Rapidly-Exploring Random Tree* (RRT*) planner. Our approach begins with the generation of a high-resolution SGP local map, providing an interpolated representation of the robot's immediate environment. This map captures crucial environmental variations, including height, uncertainties, and slope characteristics. Subsequently, we construct a traversability map based on the SGP representation to guide our planning process. The RRT* planner efficiently generates real-time navigation paths, avoiding untraversable terrain in pursuit of the goal. This combination of SGP-based terrain interpretation and RRT* planning enables ground robots to safely navigate environments with varying elevations and steep obstacles. We evaluate the performance of our proposed approach through robust simulation testing, highlighting its effectiveness in achieving safe and efficient navigation compared to existing methods.


title: Sequential Inference of Hospitalization Electronic Health Records Using Probabilistic Models

abstract: In the dynamic hospital setting, decision support can be a valuable tool for improving patient outcomes. Data-driven inference of future outcomes is challenging in this dynamic setting, where long sequences such as laboratory tests and medications are updated frequently. This is due in part to heterogeneity of data types and mixed-sequence types contained in variable length sequences. In this work we design a probabilistic unsupervised model for multiple arbitrary-length sequences contained in hospitalization Electronic Health Record (EHR) data. The model uses a latent variable structure and captures complex relationships between medications, diagnoses, laboratory tests, neurological assessments, and medications. It can be trained on original data, without requiring any lossy transformations or time binning. Inference algorithms are derived that use partial data to infer properties of the complete sequences, including their length and presence of specific values. We train this model on data from subjects receiving medical care in the Kaiser Permanente Northern California integrated healthcare delivery system. The results are evaluated against held-out data for predicting the length of sequences and presence of Intensive Care Unit (ICU) in hospitalization bed sequences. Our method outperforms a baseline approach, showing that in these experiments the trained model captures information in the sequences that is informative of their future values.


title: ReflectSumm: A Benchmark for Course Reflection Summarization

abstract: This paper introduces ReflectSumm, a novel summarization dataset specifically designed for summarizing students' reflective writing. The goal of ReflectSumm is to facilitate developing and evaluating novel summarization techniques tailored to real-world scenarios with little training data, %practical tasks with potential implications in the opinion summarization domain in general and the educational domain in particular. The dataset encompasses a diverse range of summarization tasks and includes comprehensive metadata, enabling the exploration of various research questions and supporting different applications. To showcase its utility, we conducted extensive evaluations using multiple state-of-the-art baselines. The results provide benchmarks for facilitating further research in this area.


title: Antiferromagnetic domains in a single crystal of the A-type spin-7/2 trigonal topological insulator EuSn$_2$As$_2$

abstract: EuSn$_2$As$_2$ is a trigonal A-type antiferromagnetic topological insulator with the moments aligned in the $ab$ plane and with a N\'eel temperature $T_{\rm N} = 23.5$ K. Here we report that an EuSn$_2$As$_2$ crystal exhibits a broad peak at $H_{\rm c1} = 1100$ Oe in the field derivative $dM_{ab}/dH$ of the $ab$-plane magnetization $M_{ab}(H)$ at temperature $T=2$ K, demonstrating the presence of trigonal antiferromagnetic domains. We model these $M_{ab}(H,\,T=2\,{\rm K})$ data and obtain the trigonal anisotropy-energy coefficient $K_3$ that is 13.3 and 3.7 times larger than those we previously reported for single crystals of the trigonal compounds EuMg$_2$Sb$_2$ and EuMg$_2$Bi$_2$, respectively.


title: Thelxino\"e: Recognizing Human Emotions Using Pupillometry and Machine Learning

abstract: In this study, we present a method for emotion recognition in Virtual Reality (VR) using pupillometry. We analyze pupil diameter responses to both visual and auditory stimuli via a VR headset and focus on extracting key features in the time-domain, frequency-domain, and time-frequency domain from VR generated data. Our approach utilizes feature selection to identify the most impactful features using Maximum Relevance Minimum Redundancy (mRMR). By applying a Gradient Boosting model, an ensemble learning technique using stacked decision trees, we achieve an accuracy of 98.8% with feature engineering, compared to 84.9% without it. This research contributes significantly to the Thelxino\"e framework, aiming to enhance VR experiences by integrating multiple sensor data for realistic and emotionally resonant touch interactions. Our findings open new avenues for developing more immersive and interactive VR environments, paving the way for future advancements in virtual touch technology.


title: Constraints on Primordial Black Holes from $N$-body simulations of the Eridanus II Stellar Cluster

abstract: The tidal disruption of old, compact stellar structures provides strong constraints on macroscopic dark matter candidates such as primordial black holes. In view of recent, new observational data on the Eridanus II dwarf galaxy and on its central stellar cluster, we employ, for the first time, $N$-body simulations to assess the impact of compact massive dark matter candidates on the gravitational stability of the cluster. We find evidence that such candidates must be lighter than about one solar mass if they constitute the totality of the dark matter. We additionally derive robust constraints on the fraction of the dark matter in macroscopic objects as a function of mass, by suitably modeling the remainder of the dark matter as standard fluid-like cold dark matter.


title: Resource Allocation in Large Language Model Integrated 6G Vehicular Networks

abstract: In the upcoming 6G era, vehicular networks are shifting from simple Vehicle-to-Vehicle (V2V) communication to the more complex Vehicle-to-Everything (V2X) connectivity. At the forefront of this shift is the incorporation of Large Language Models (LLMs) into vehicles. Known for their sophisticated natural language processing abilities, LLMs change how users interact with their vehicles. This integration facilitates voice-driven commands and interactions, departing from the conventional manual control systems. However, integrating LLMs into vehicular systems presents notable challenges. The substantial computational demands and energy requirements of LLMs pose significant challenges, especially in the constrained environment of a vehicle. Additionally, the time-sensitive nature of tasks in vehicular networks adds another layer of complexity. In this paper, we consider an edge computing system where vehicles process the initial layers of LLM computations locally, and offload the remaining LLM computation tasks to the Roadside Units (RSUs), envisioning a vehicular ecosystem where LLM computations seamlessly interact with the ultra-low latency and high-bandwidth capabilities of 6G networks. To balance the trade-off between completion time and energy consumption, we formulate a multi-objective optimization problem to minimize the total cost of the vehicles and RSUs. The problem is then decomposed into two sub-problems, which are solved by sequential quadratic programming (SQP) method and fractional programming technique. The simulation results clearly indicate that the algorithm we have proposed is highly effective in reducing both the completion time and energy consumption of the system.


title: Pole Placement and Feedback Stabilization for Discrete Linear Ensemble Systems

abstract: We consider discrete ensembles of linear, scalar control systems with single-inputs. Assuming that all the individual systems are unstable, we investigate whether there exist linear feedback control laws that can asymptotically stabilize the ensemble system. We provide necessary/sufficient conditions for feasibility of pole placement in the left half plane and for feedback stabilizability of the ensemble systems.


title: Efficient global estimation of conditional-value-at-risk through stochastic kriging and extreme value theory

abstract: We consider the problem of evaluating risk for a system that is modeled by a complex stochastic simulation with many possible input parameter values. Two sources of computational burden can be identified: the effort associated with extensive simulation runs required to accurately represent the tail of the loss distribution for each set of parameter values, and the computational cost of evaluating multiple candidate parameter values. The former concern can be addressed by using Extreme Value Theory (EVT) estimations, which specifically concentrate on the tails. Meta-modeling approaches are often used to tackle the latter concern. In this paper, we propose a framework for constructing a particular meta-modeling framework, stochastic kriging, that is based on EVT-based estimation for a class of coherent measures of risk. The proposed approach requires an efficient estimator of the intrinsic variance, and so we derive an EVT-based expression for it. It then allows us to avoid multiple replications of the risk measure in each design point, which was required in similar previously proposed approaches, resulting in a substantial reduction in computational effort. We then perform a case study, outlining promising use cases, and conditions when the EVT-based approach outperforms simpler empirical estimators.


title: The Correlations of Scene Complexity, Workload, Presence, and Cybersickness in a Task-Based VR Game

abstract: This investigation examined the relationships among scene complexity, workload, presence, and cybersickness in virtual reality (VR) environments. Numerous factors can influence the overall VR experience, and existing research on this matter is not yet conclusive, warranting further investigation. In this between-subjects experimental setup, 44 participants engaged in the Pendulum Chair game, with half exposed to a simple scene with lower optic flow and lower familiarity, and the remaining half to a complex scene characterized by higher optic flow and greater familiarity. The study measured the dependent variables workload, presence, and cybersickness and analyzed their correlations. Equivalence testing was also used to compare the simple and complex environments. Results revealed that despite the visible differences between the environments, within the 10% boundaries of the maximum possible value for workload and presence, and 13.6% of the maximum SSQ value, a statistically significant equivalence was observed between the simple and complex scenes. Additionally, a moderate, negative correlation emerged between workload and SSQ scores. The findings suggest two key points: (1) the nature of the task can mitigate the impact of scene complexity factors such as optic flow and familiarity, and (2) the correlation between workload and cybersickness may vary, showing either a positive or negative relationship.


title: The sticky particle dynamics of the 1D pressureless Euler-alignment system as a gradient flow

abstract: We show how the sticky dynamics for the one-dimensional pressureless Euler-alignment system can be obtained as an $L^2$-gradient flow of a convex functional. This is analogous to the Lagrangian evolution introduced by Natile and Savar\'{e} for the pressureless Euler system, and by Brenier et al. for the corresponding system with a self-interacting force field. Our Lagrangian evolution can be seen as the limit of sticky particle Cucker-Smale dynamics, similar to the solutions obtained by Leslie and Tan from a corresponding scalar balance law, and provides us with a uniquely determined distributional solution of the original system in the space of probability measures with quadratic moments and corresponding square-integrable velocities. Moreover, we show that the gradient flow also provides an entropy solution to the balance law of Leslie and Tan, and how their results on cluster formation follow naturally from (non-)convexity properties of the so-called natural velocity of the flow.


title: IDGenRec: LLM-RecSys Alignment with Textual ID Learning

abstract: Generative recommendation based on Large Language Models (LLMs) have transformed the traditional ranking-based recommendation style into a text-to-text generation paradigm. However, in contrast to standard NLP tasks that inherently operate on human vocabulary, current research in generative recommendations struggles to effectively encode recommendation items within the text-to-text framework using concise yet meaningful ID representations. To better align LLMs with recommendation needs, we propose IDGen, representing each item as a unique, concise, semantically rich, platform-agnostic textual ID using human language tokens. This is achieved by training a textual ID generator alongside the LLM-based recommender, enabling seamless integration of personalized recommendations into natural language generation. Notably, as user history is expressed in natural language and decoupled from the original dataset, our approach suggests the potential for a foundational generative recommendation model. Experiments show that our framework consistently surpasses existing models in sequential recommendation under standard experimental setting. Then, we explore the possibility of training a foundation recommendation model with the proposed method on data collected from 19 different datasets and tested its recommendation performance on 6 unseen datasets across different platforms under a completely zero-shot setting. The results show that the zero-shot performance of the pre-trained foundation model is comparable to or even better than some traditional recommendation models based on supervised training, showing the potential of the IDGen paradigm serving as the foundation model for generative recommendation. Code and data are open-sourced at https://github.com/agiresearch/IDGenRec.


title: WALT3D: Generating Realistic Training Data from Time-Lapse Imagery for Reconstructing Dynamic Objects under Occlusion

abstract: Current methods for 2D and 3D object understanding struggle with severe occlusions in busy urban environments, partly due to the lack of large-scale labeled ground-truth annotations for learning occlusion. In this work, we introduce a novel framework for automatically generating a large, realistic dataset of dynamic objects under occlusions using freely available time-lapse imagery. By leveraging off-the-shelf 2D (bounding box, segmentation, keypoint) and 3D (pose, shape) predictions as pseudo-groundtruth, unoccluded 3D objects are identified automatically and composited into the background in a clip-art style, ensuring realistic appearances and physically accurate occlusion configurations. The resulting clip-art image with pseudo-groundtruth enables efficient training of object reconstruction methods that are robust to occlusions. Our method demonstrates significant improvements in both 2D and 3D reconstruction, particularly in scenarios with heavily occluded objects like vehicles and people in urban scenes.


title: Two-sided Lieb-Thirring bounds

abstract: We prove upper and lower bounds for the number of eigenvalues of semi-bounded Schr\"odinger operators in all spatial dimensions. As a corollary, we obtain two-sided estimates for the sum of the negative eigenvalues of atomic Hamiltonians with Kato potentials. Instead of being in terms of the potential itself, as in the usual Lieb-Thirring result, the bounds are in terms of the landscape function, also known as the torsion function, which is a solution of $(-\Delta + V +M)u_M =1$ in $\mathbb{R}^d$; here $M\in\mathbb{R}$ is chosen so that the operator is positive. We further prove that the infimum of $(u_M^{-1} - M)$ is a lower bound for the ground state energy $E_0$ and derive a simple iteration scheme converging to $E_0$.


title: Exploiting Symmetry in Dynamics for Model-Based Reinforcement Learning with Asymmetric Rewards

abstract: Recent work in reinforcement learning has leveraged symmetries in the model to improve sample efficiency in training a policy. A commonly used simplifying assumption is that the dynamics and reward both exhibit the same symmetry. However, in many real-world environments, the dynamical model exhibits symmetry independent of the reward model: the reward may not satisfy the same symmetries as the dynamics. In this paper, we investigate scenarios where only the dynamics are assumed to exhibit symmetry, extending the scope of problems in reinforcement learning and learning in control theory where symmetry techniques can be applied. We use Cartan's moving frame method to introduce a technique for learning dynamics which, by construction, exhibit specified symmetries. We demonstrate through numerical experiments that the proposed method learns a more accurate dynamical model.


title: Analysis of data on $B$ decays into two light vector mesons

abstract: An important experimental effort has been accomplished in recent years in the measurement of rates, polarization and CP observables in $B$ decays into two light vector mesons. On the theoretical side, after a very consistent effort done within the framework of QCD Factorization, the comparison of the theory with the present experimental data has not been updated, to our knowledge. In the present paper we compare this wealth of data to the theory, in tree color-allowed, tree color-suppressed and pure penguin decays, and present predictions for the observables that have not yet been measured in these decays. In our fits we find acceptable values of $\chi^2$ for the branching ratios and for the direct CP asymmetries. However, this is not the case for the longitudinal polarization fractions, essentially due to disagreement between theory and experiment for the modes $B_{d,s}\to K^{*0}\overline{K}^{*0}$ and $B_d \to \rho^+ \rho^-$. Although we rely on previous work by other authors, we summarize the formalism so that the paper is self-contained and its results can be checked.


title: Egocentric Scene-aware Human Trajectory Prediction

abstract: Wearable collaborative robots stand to assist human wearers who need fall prevention assistance or wear exoskeletons. Such a robot needs to be able to predict the ego motion of the wearer based on egocentric vision and the surrounding scene. In this work, we leveraged body-mounted cameras and sensors to anticipate the trajectory of human wearers through complex surroundings. To facilitate research in ego-motion prediction, we have collected a comprehensive walking scene navigation dataset centered on the user's perspective. We present a method to predict human motion conditioning on the surrounding static scene. Our method leverages a diffusion model to produce a distribution of potential future trajectories, taking into account the user's observation of the environment. We introduce a compact representation to encode the user's visual memory of the surroundings, as well as an efficient sample-generating technique to speed up real-time inference of a diffusion model. We ablate our model and compare it to baselines, and results show that our model outperforms existing methods on key metrics of collision avoidance and trajectory mode coverage.


title: Should I Help a Delivery Robot? Cultivating Prosocial Norms through Observations

abstract: We propose leveraging prosocial observations to cultivate new social norms to encourage prosocial behaviors toward delivery robots. With an online experiment, we quantitatively assess updates in norm beliefs regarding human-robot prosocial behaviors through observational learning. Results demonstrate the initially perceived normativity of helping robots is influenced by familiarity with delivery robots and perceptions of robots' social intelligence. Observing human-robot prosocial interactions notably shifts peoples' normative beliefs about prosocial actions; thereby changing their perceived obligations to offer help to delivery robots. Additionally, we found that observing robots offering help to humans, rather than receiving help, more significantly increased participants' feelings of obligation to help robots. Our findings provide insights into prosocial design for future mobility systems. Improved familiarity with robot capabilities and portraying them as desirable social partners can help foster wider acceptance. Furthermore, robots need to be designed to exhibit higher levels of interactivity and reciprocal capabilities for prosocial behavior.


title: Nonlinear Model Predictive Control for Enhanced Navigation of Autonomous Surface Vessels

abstract: This article proposes an approach for collision avoidance, path following, and anti-grounding of autonomous surface vessels under consideration of environmental forces based on Nonlinear Model Predictive Control (NMPC). Artificial Potential Fields (APFs) set the foundation for the cost function of the optimal control problem in terms of collision avoidance and anti-grounding. Depending on the risk of a collision given by the resulting force of the APFs, the controller optimizes regarding an adapted heading and travel speed by additionally following a desired path. For this purpose, nonlinear vessel dynamics are used for the NMPC. To extend the situational awareness concerning environmental disturbances impacted by wind, waves, and sea currents, a nonlinear disturbance observer is coupled to the entire NMPC scheme, allowing for the correction of an incorrect vessel motion due to external forces. In addition, the most essential rules according to the Convention on the International Regulations for Preventing Collisions at Sea (COLREGs) are considered. The results of the simulations show that the proposed framework can control an autonomous surface vessel under various challenging scenarios, including environmental disturbances, to avoid collisions and follow desired paths.


title: JWST Spectroscopy of SN H0pe: Classification and Time Delays of a Triply-imaged Type Ia Supernova at z = 1.78

abstract: SN H0pe is a triply imaged supernova (SN) at redshift $z=1.78$ discovered using the James Webb Space Telescope (JWST). In order to classify the SN spectroscopically and measure the relative time delays of its three images (designated A, B, and C), we acquired NIRSpec follow-up spectroscopy spanning 0.6 to 5 microns. From the high signal-to-noise spectra of the two bright images B and C, we first classify the SN, whose spectra most closely match those of SN 1994D and SN 2013dy, as a Type Ia SN. We identify prominent blueshifted absorption features corresponding to Si II $\lambda6355$ and Ca II H $\lambda3970$ and K $\lambda3935$. We next measure the absolute phases of the three images from our spectra, which allows us to constrain their relative time delays. The absolute phases of the three images, determined by fitting the three spectra to Hsiao07 SN templates, are $6.5_{-1.8}^{+2.4}$d, $24.3_{-3.9}^{+3.9}$d, and $50.6_{-15.3}^{+16.1}$d for the brightest to faintest images. These correspond to relative time delays between Image A and Image B and between Image B and Image C of $-122.3_{-43.8}^{+43.7}$d and $49.3_{-14.7}^{+12.2}$d, respectively. The SALT3-NIR model yields phases and time delays consistent with these values. After unblinding, we additionally explored the effect of using Hsiao07 template spectra for simulations through eighty instead of sixty days past maximum, and found a small (11.5 and 1.0 days, respectively) yet statistically insignificant ($\sim$0.25$\sigma$ and $\sim$0.1$\sigma$) effect on the inferred image delays.


title: Symmetry criteria for the equality of interior and exterior shape factors

abstract: Lienhard (2019) reported that the shape factor of the interior of a simply-connected region ($\Omega$) is equal to that of its exterior ($\mathbb{R}^2\backslash\Omega$) under the same boundary conditions. In that study, numerical examples supported the claim in particular cases; for example, it was shown that for certain boundary conditions on circles and squares, the conjecture holds. In the present paper, we show that the conjecture is not generally true, unless some additional condition is met. We proceed by elucidating why the conjecture does in fact hold in all of the examples analysed by Lienhard. We thus deduce a simple criterion which, when satisfied, ensures the equality of interior and exterior shape factors in general. Our criterion notably relies on a beautiful and little-known symmetry method due to Hersch (1982) which we introduce in a tutorial manner.

categories: physics.class-ph math-ph math.CA math.MP


title: Evaluating Large Language Models for Health-Related Text Classification Tasks with Public Social Media Data

abstract: Large language models (LLMs) have demonstrated remarkable success in NLP tasks. However, there is a paucity of studies that attempt to evaluate their performances on social media-based health-related natural language processing tasks, which have traditionally been difficult to achieve high scores in. We benchmarked one supervised classic machine learning model based on Support Vector Machines (SVMs), three supervised pretrained language models (PLMs) based on RoBERTa, BERTweet, and SocBERT, and two LLM based classifiers (GPT3.5 and GPT4), across 6 text classification tasks. We developed three approaches for leveraging LLMs for text classification: employing LLMs as zero-shot classifiers, us-ing LLMs as annotators to annotate training data for supervised classifiers, and utilizing LLMs with few-shot examples for augmentation of manually annotated data. Our comprehensive experiments demonstrate that employ-ing data augmentation using LLMs (GPT-4) with relatively small human-annotated data to train lightweight supervised classification models achieves superior results compared to training with human-annotated data alone. Supervised learners also outperform GPT-4 and GPT-3.5 in zero-shot settings. By leveraging this data augmentation strategy, we can harness the power of LLMs to develop smaller, more effective domain-specific NLP models. LLM-annotated data without human guidance for training light-weight supervised classification models is an ineffective strategy. However, LLM, as a zero-shot classifier, shows promise in excluding false negatives and potentially reducing the human effort required for data annotation. Future investigations are imperative to explore optimal training data sizes and the optimal amounts of augmented data.


title: Locational Marginal Prices Obey DC Circuit Laws

abstract: Electricity markets often utilize the DC approximation of the AC power flow equations to facilitate solving an otherwise complex nonconvex optimization problem. These DC power flow equations have analogies to DC circuit laws such as Kirchhoff's Laws, resulting in an intuitive understanding of power flows under this model. Variables derived from the Lagrangian dual of the DC optimal power flow problem, such as locational marginal prices (LMPs) and congestion cost, are less intuitive without an understanding of optimization theory. Even with this understanding, LMP behavior, such as the conditions in which negative prices occur or the impact of individual congested lines on network-wide LMPs, remain somewhat mysterious. In this paper, we show that prices also obey DC circuit laws, which can help facilitate an intuitive understanding of their behavior and relationships throughout a network without explicitly understanding duality. In particular, prices can be modeled as voltages, and their differences can be modeled as flows, allowing for a physical interpretation of prices. This analogy also lends itself to the use of well-understood DC circuit concepts such as superposition and Kirchhoff's Laws, which can further facilitate a clearer understanding of price behavior.


title: Carleman factorization of layer potentials on smooth domains

abstract: One of the unexplored benefits of studying layer potentials on smooth, closed hypersurfaces of Euclidean space is the factorization of the Neumann-Poincar\'e operator into a product of two self-adjoint transforms. Resurrecting some pertinent indications of Carleman and M. G. Krein, we exploit this grossly overlooked structure by confining the spectral analysis of the Neumann-Poincar\'e operator to the amenable $L^2$-space setting, rather than bouncing back and forth the computations between Sobolev spaces of negative or positive fractional order. An enhanced, fresh new look at symmetrizable linear transforms enters into the picture in the company of geometric-microlocal analysis techniques. The outcome is manyfold, complementing recent advances on the theory of layer potentials, in the smooth boundary setting.


title: Note on Klein-Nishina effect in strong-field QED: the case of nonlinear Compton scattering

abstract: Suitably normalized differential probabilities of one-photon emission in external electromagnetic fields are compared to quantify the transit of nonlinear Compton scattering to linear Compton scattering, described by the Klein-Nishina formula, and to constant crossed field treatment. The known Klein-Nishina suppression at large energies is further enforced by increasing field intensity. In view of the Ritus-Narozhny conjecture, we demonstrate that different paths in the field intensity vs. energy plane towards large values of the quantum non-linearity parameter $\chi$ facilitate significantly different asymptotic dependencies, both in the Klein-Nishina regime and the constant crossed field regime and in between.


title: MiMiC: A High-Performance Framework for Multiscale Molecular Dynamics Simulations

abstract: MiMiC is a framework for performing multiscale simulations, where individual subsystems are handled at different resolutions and/or levels of theory by loosely coupled external programs. To make it highly efficient and flexible, we adopt an interoperable approach based on a multiple-program multiple-data paradigm, serving as an intermediary responsible for fast data exchange and interactions between the subsystems. The main goal of MiMiC is to avoid interfering with the underlying parallelization of the external programs, including the operability on hybrid architectures (e.g., CPU/GPU), and keep their setup and execution as close as possible to the original. At the moment, MiMiC offers an efficient implementation of electrostatic embedding QM/MM that has demonstrated unprecedented parallel scaling in simulations of large biomolecules using CPMD and GROMACS as QM and MM engines, respectively. However, as it is designed for high flexibility with general multiscale models in mind, it can be straightforwardly extended beyond QM/MM. In this article, we illustrate the software design and the features of the framework, which make it a compelling choice for multiscale simulations in the upcoming era of exascale high-performance computing.