title: Phase behaviour and self-assembly of semiflexible polymers in poor-solvent solutions

abstract: Using Langevin dynamics complemented by Wang-Landau Monte Carlo simulations, we study the phase behavior of single and multiple semiflexible polymer chains in solution under poor-solvent conditions. In the case of a single chain, we obtain the full phase diagram in the temperature-bending rigidity (stiffness) plane and we provide connections with a classical mean field result on a lattice as well as with past results on the same model. At low bending rigidity and upon cooling, we find a second order coil-globule transition, followed by a subsequent first order globule-crystal transition at lower temperatures. The obtained crystals have the shape of a twisted rod whose length increases with the increase of the stiffness of the chain. Above a critical value of the stiffness, we also find a direct first order globule-crystal transition, with the crystal having the form of a twisted toroid. Close to the triple point, we find a region with isoenergetic structures with frequent switching from rods to toroids, with the toroid eventually becoming the only observed stable phase at higher stiffness. The model is then extended to many thermally equilibrated chains in a box and the analogous phase diagram is deduced where the chains are observed to first fold into a globule bundle at low stiffness upon cooling, and then rearrange into a nematic bundle via a nucleation process involving an isotropic-nematic transition. As in the single chain counterpart, above a critical stiffness the chains are observed to undergo a direct transition from a gas of isotropically distributed chains to a nematic bundle as the temperature decreases in agreement with recent suggestions from mean field theory. The consequences of these findings for self-assembly of biopolymers in solutions are discussed.


title: Rota-Baxter groups with weight zero and integration on topological groups

abstract: Rota-Baxter groups with weights $\pm 1$ have attracted quite much attention since their recent introduction, thanks to their connections with Rota-Baxter Lie algebras, factorizations of Lie groups, post- and pre-Lie algebras, braces and set-theoretic solutions of the Yang-Baxter equation. Despite their expected importance from integrals on groups to pre-groups and Yang-Baxter equations, Rota-Baxter groups with weight zero and other weights has been a challenge to define and their search has been the focus of several attempts. By composing an operator with a section map as a perturbation device, we first generalize the notion of a Rota-Baxter operator on a group from the existing case of weight $\pm 1$ to the case where the weight is given by a pair of maps and then a sequence limit of such pairs. From there, two candidates of Rota-Baxter operators with weight zero are given. One of them is the Rota-Baxter operator with limit-weight zero detailed here, with the other candidate introduced in a companion work. This operator is shown to have its tangent map the Rota-Baxter operator with weight zero on Lie algebras. It also gives concrete applications in integrals of maps with values in a class of topological groups called $\RR$-groups, satisfying a multiplicative version of the integration-by-parts formula. In parallel, differential groups in this framework is also developed and a group formulation of the First Fundamental Theorem of Calculus is obtained.


title: Diffusion Model Driven Test-Time Image Adaptation for Robust Skin Lesion Classification

abstract: Deep learning-based diagnostic systems have demonstrated potential in skin disease diagnosis. However, their performance can easily degrade on test domains due to distribution shifts caused by input-level corruptions, such as imaging equipment variability, brightness changes, and image blur. This will reduce the reliability of model deployment in real-world scenarios. Most existing solutions focus on adapting the source model through retraining on different target domains. Although effective, this retraining process is sensitive to the amount of data and the hyperparameter configuration for optimization. In this paper, we propose a test-time image adaptation method to enhance the accuracy of the model on test data by simultaneously updating and predicting test images. We modify the target test images by projecting them back to the source domain using a diffusion model. Specifically, we design a structure guidance module that adds refinement operations through low-pass filtering during reverse sampling, regularizing the diffusion to preserve structural information. Additionally, we introduce a self-ensembling scheme automatically adjusts the reliance on adapted and unadapted inputs, enhancing adaptation robustness by rejecting inappropriate generative modeling results. To facilitate this study, we constructed the ISIC2019-C and Dermnet-C corruption robustness evaluation benchmarks. Extensive experiments on the proposed benchmarks demonstrate that our method makes the classifier more robust across various corruptions, architectures, and data regimes. Our datasets and code will be available at \url{https://github.com/minghu0830/Skin-TTA_Diffusion}.


title: MBIAS: Mitigating Bias in Large Language Models While Retaining Context

abstract: In addressing the critical need for safety in Large Language Models (LLMs), it is crucial to ensure that the outputs are not only safe but also retain their contextual accuracy. Many existing LLMs are safe fine-tuned either with safety demonstrations, or rely only on adversarial testing. While able to get safe outputs, they often risk losing contextual meaning as they mitigate bias and toxicity. In response, we present MBIAS, a LLM framework instruction fine-tuned on a custom dataset specifically designed for safety interventions. MBIAS aims to address the significant issues of bias and toxicity in LLMs generations that typically manifest as underrepresentation or negative portrayals across various demographics, including inappropriate linguistic mentions and biased content in social media. We experiment on MBIAS for safety interventions using various configurations, and demonstrate more than a 30\% reduction in overall bias and toxicity while successfully retaining key information. Additionally, a demographic analysis on an out-of-distribution test set confirms the robustness of our approach, with reductions in bias and toxicity exceeding 90\% across various demographics. The dataset and instruction fine-tuned MBIAS are made available to the research community at https://huggingface.co/newsmediabias/MBIAS.


title: Spatial asymptotic behaviors of fractional stochastic heat equations driven by additive L\'evy white noise

abstract: We establish explicit integral tests for spatial asymptotic behaviors of fractional stochastic heat equations driven by additive L\'evy white noise. Our results indicate that fractional stochastic heat equations enjoy the so-called additive physical intermittent property in all dimensions when the driven L\'evy white noise is sufficiently light-tailed. The proofs are based on heat kernel estimates for the fractional Laplacian and exact tail behaviors for Poissonian functionals associated with the driven L\'evy white noise.


title: The MAGPI Survey: Using kinematic asymmetries in stars and gas to dissect drivers of galaxy dynamical evolution

abstract: We present a study of kinematic asymmetries from the integral field spectroscopic surveys MAGPI and SAMI. By comparing the asymmetries in the ionsied gas and stars, we aim to disentangle the physical processes that contribute to kinematic disturbances. We normalise deviations from circular motion by $S_{05}$, allowing us to study kinematic asymmetries in the stars and gas, regardless of kinematic temperature. We find a similar distribution of stellar asymmetries in galaxies where we do and do not detect ionised gas, suggesting that whatever is driving the stellar asymmetries does not always lead to gas removal. In both MAGPI and SAMI, we find an anti-correlation between stellar asymmetry and stellar mass, that is absent in the gas asymmetries. After stellar mass and mean-stellar-age matching distributions, we find that at all stellar masses, MAGPI galaxies display larger stellar asymmetry compared to SAMI galaxies. In both MAGPI and SAMI galaxies, we find that star-forming galaxies with old mean-stellar-ages typically have larger asymmetries in their gas compared to their stars, whereas galaxies with young mean-stellar-ages have larger asymmetries in their stars compared to their gas. We suggest that this results from continuous, clumpy accretion of gas.


title: InfRS: Incremental Few-Shot Object Detection in Remote Sensing Images

abstract: Recently, the field of few-shot detection within remote sensing imagery has witnessed significant advancements. Despite these progresses, the capacity for continuous conceptual learning still poses a significant challenge to existing methodologies. In this paper, we explore the intricate task of incremental few-shot object detection in remote sensing images. We introduce a pioneering fine-tuningbased technique, termed InfRS, designed to facilitate the incremental learning of novel classes using a restricted set of examples, while concurrently preserving the performance on established base classes without the need to revisit previous datasets. Specifically, we pretrain the model using abundant data from base classes and then generate a set of class-wise prototypes that represent the intrinsic characteristics of the data. In the incremental learning stage, we introduce a Hybrid Prototypical Contrastive (HPC) encoding module for learning discriminative representations. Furthermore, we develop a prototypical calibration strategy based on the Wasserstein distance to mitigate the catastrophic forgetting problem. Comprehensive evaluations on the NWPU VHR-10 and DIOR datasets demonstrate that our model can effectively solve the iFSOD problem in remote sensing images. Code will be released.


title: Serializing Java Objects in Plain Code

abstract: In managed languages, serialization of objects is typically done in bespoke binary formats such as Protobuf, or markup languages such as XML or JSON. The major limitation of these formats is readability. Human developers cannot read binary code, and in most cases, suffer from the syntax of XML or JSON. This is a major issue when objects are meant to be embedded and read in source code, such as in test cases. To address this problem, we propose plain-code serialization. Our core idea is to serialize objects observed at runtime in the native syntax of a programming language. We realize this vision in the context of Java, and demonstrate a prototype which serializes Java objects to Java source code. The resulting source faithfully reconstructs the objects seen at runtime. Our prototype is called ProDJ and is publicly available. We experiment with ProDJ to successfully plain-code serialize 174,699 objects observed during the execution of 4 open-source Java applications. Our performance measurement shows that the performance impact is not noticeable.


title: Medical Image Analysis for Detection, Treatment and Planning of Disease using Artificial Intelligence Approaches

abstract: X-ray is one of the prevalent image modalities for the detection and diagnosis of the human body. X-ray provides an actual anatomical structure of an organ present with disease or absence of disease. Segmentation of disease in chest X-ray images is essential for the diagnosis and treatment. In this paper, a framework for the segmentation of X-ray images using artificial intelligence techniques has been discussed. Here data has been pre-processed and cleaned followed by segmentation using SegNet and Residual Net approaches to X-ray images. Finally, segmentation has been evaluated using well known metrics like Loss, Dice Coefficient, Jaccard Coefficient, Precision, Recall, Binary Accuracy, and Validation Accuracy. The experimental results reveal that the proposed approach performs better in all respect of well-known parameters with 16 batch size and 50 epochs. The value of validation accuracy, precision, and recall of SegNet and Residual Unet models are 0.9815, 0.9699, 0.9574, and 0.9901, 0.9864, 0.9750 respectively.


title: Entanglement production through a cosmological bounce

abstract: In quantum gravity, it is expected that the Big Bang singularity is resolved and the universe undergoes a bounce. We find that for generic initial data, matter-gravity entanglement entropy rises rapidly during the bounce, declines, and then approaches a steady-state value following the bounce. These observations suggest that matter-gravity entanglement is a feature of the macroscopic universe and that there is no Second Law of entanglement entropy.


title: Unveiling Key Aspects of Fine-Tuning in Sentence Embeddings: A Representation Rank Analysis

abstract: The latest advancements in unsupervised learning of sentence embeddings predominantly involve employing contrastive learning-based (CL-based) fine-tuning over pre-trained language models. In this study, we analyze the latest sentence embedding methods by adopting representation rank as the primary tool of analysis. We first define Phase 1 and Phase 2 of fine-tuning based on when representation rank peaks. Utilizing these phases, we conduct a thorough analysis and obtain essential findings across key aspects, including alignment and uniformity, linguistic abilities, and correlation between performance and rank. For instance, we find that the dynamics of the key aspects can undergo significant changes as fine-tuning transitions from Phase 1 to Phase 2. Based on these findings, we experiment with a rank reduction (RR) strategy that facilitates rapid and stable fine-tuning of the latest CL-based methods. Through empirical investigations, we showcase the efficacy of RR in enhancing the performance and stability of five state-of-the-art sentence embedding methods.


title: Visual Episodic Memory-based Exploration

abstract: In humans, intrinsic motivation is an important mechanism for open-ended cognitive development; in robots, it has been shown to be valuable for exploration. An important aspect of human cognitive development is $\textit{episodic memory}$ which enables both the recollection of events from the past and the projection of subjective future. This paper explores the use of visual episodic memory as a source of intrinsic motivation for robotic exploration problems. Using a convolutional recurrent neural network autoencoder, the agent learns an efficient representation for spatiotemporal features such that accurate sequence prediction can only happen once spatiotemporal features have been learned. Structural similarity between ground truth and autoencoder generated images is used as an intrinsic motivation signal to guide exploration. Our proposed episodic memory model also implicitly accounts for the agent's actions, motivating the robot to seek new interactive experiences rather than just areas that are visually dissimilar. When guiding robotic exploration, our proposed method outperforms the Curiosity-driven Variational Autoencoder (CVAE) at finding dynamic anomalies.


title: The CAP Principle for LLM Serving: A Survey of Long-Context Large Language Model Serving

abstract: We survey the large language model (LLM) serving area to understand the intricate dynamics between cost-efficiency and accuracy, which is magnified by the growing need for longer contextual understanding when deploying models at a massive scale. Our findings reveal that works in this space optimize along three distinct but conflicting goals: improving serving context length (C), improving serving accuracy (A), and improving serving performance (P). Drawing inspiration from the CAP theorem in databases, we propose a CAP principle for LLM serving, which suggests that any optimization can improve at most two of these three goals simultaneously. Our survey categorizes existing works within this framework. We find the definition and continuity of user-perceived measurement metrics are crucial in determining whether a goal has been met, akin to prior CAP databases in the wild. We recognize the CAP principle for LLM serving as a guiding principle, rather than a formal theorem, to inform designers of the inherent and dynamic trade-offs in serving models. As serving accuracy and performance have been extensively studied, this survey focuses on works that extend serving context length and address the resulting challenges.


title: Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

abstract: In this work, we propose an approach for ensuring the safety of vehicles passing through an intelligent intersection. There are many proposals for the design of intelligent intersections that introduce central decision-makers to intersections for enhancing the efficiency and safety of the vehicles. To guarantee the safety of such designs, we develop a safety framework for intersections based on temporal logic and reachability analysis. We start by specifying the required behavior for all the vehicles that need to pass through the intersection as linear temporal logic formula. Then, using temporal logic trees, we break down the linear temporal logic specification into a series of Hamilton-Jacobi reachability analyses in an automated fashion. By successfully constructing the temporal logic tree through reachability analysis, we verify the feasibility of the intersection specification. By taking this approach, we enable a safety framework that is able to automatically provide safety guarantees on new intersection behavior specifications. To evaluate our approach, we implement the framework on a simulated T-intersection, where we show that we can check and guarantee the safety of vehicles with potentially conflicting paths.


title: Enhancing Fine-Grained Image Classifications via Cascaded Vision Language Models

abstract: Fine-grained image classification, particularly in zero/few-shot scenarios, presents a significant challenge for vision-language models (VLMs), such as CLIP. These models often struggle with the nuanced task of distinguishing between semantically similar classes due to limitations in their pre-trained recipe, which lacks supervision signals for fine-grained categorization. This paper introduces CascadeVLM, an innovative framework that overcomes the constraints of previous CLIP-based methods by effectively leveraging the granular knowledge encapsulated within large vision-language models (LVLMs). Experiments across various fine-grained image datasets demonstrate that CascadeVLM significantly outperforms existing models, specifically on the Stanford Cars dataset, achieving an impressive 85.6% zero-shot accuracy. Performance gain analysis validates that LVLMs produce more accurate predictions for challenging images that CLIPs are uncertain about, bringing the overall accuracy boost. Our framework sheds light on a holistic integration of VLMs and LVLMs for effective and efficient fine-grained image classification.


title: Particle identification with a longitudinally segmented homogeneous calorimeter composed of oriented crystals

abstract: Recent studies have shown that the electromagnetic shower induced by a high-energy electron, positron or photon incident along the axis of an oriented crystal in Strong Field regime is significantly accelerated. Since the hadronic interactions are not affected by the lattice orientation, a calorimeter composed of oriented crystals could exploit the increased difference between the electromagnetic and hadronic showers to perform particle identification, achieving a better accuracy than a calorimeter composed only of non-aligned crystals. In this work, we report the first quantitative evaluation of the particle identification capability of such a calorimeter, focusing on the case of neutron-gamma discrimination. We demonstrate through Geant4 simulations that the use of oriented crystals significantly improves the performance of a Random Forest classifier trained on the detector data. This work is a proof that oriented calorimeters could be a viable option for future high-intensity particle physics experiments and satellite-based gamma-ray telescopes.


title: On the radius of concavity for certain classes of functions

abstract: Let $\mathcal{A}$ denote the class of all analytic functions $f$ defined in the open unit disc $\mathbb{D}$ with the normalization $f(0)=0=f'(0)-1$ and let $P'$ be the class of functions $f\in\mathcal{A}$ such that ${\rm{Re}}\,f'(z)>0$, $z\in\mathbb{D}$. In this article, we obtain radii of concavity of $P'$ and for the class $P'$ with the fixed second coefficient. After that, we consider linearly invariant family of functions, along with the class of starlike functions of order $1/2$ and investigate their radii of concavity. Next, we obtain a lower bound of radius of concavity for the class of functions $\mathcal{U}_0(\lambda)=~\{f\in\mathcal{U}(\lambda) : f''(0)=0\}$, where $$ \mathcal{U}(\lambda)=\left\{f\in\mathcal{A} : \left|\left(\frac{z}{f(z)}\right)^2f'(z)-1\right|<\lambda,~z\in \mathbb{D}\right\},\quad \lambda \in (0,1]. $$ We also investigate the meromorphic analogue of the class $\mathcal{U}(\lambda)$ and compute its radius of concavity.


title: Quantum-Train: Rethinking Hybrid Quantum-Classical Machine Learning in the Model Compression Perspective

abstract: We introduces the Quantum-Train(QT) framework, a novel approach that integrates quantum computing with classical machine learning algorithms to address significant challenges in data encoding, model compression, and inference hardware requirements. Even with a slight decrease in accuracy, QT achieves remarkable results by employing a quantum neural network alongside a classical mapping model, which significantly reduces the parameter count from $M$ to $O(\text{polylog} (M))$ during training. Our experiments demonstrate QT's effectiveness in classification tasks, offering insights into its potential to revolutionize machine learning by leveraging quantum computational advantages. This approach not only improves model efficiency but also reduces generalization errors, showcasing QT's potential across various machine learning applications.


title: Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming

abstract: We propose Large Neighborhood Prioritized Search (LNPS) for solving combinatorial optimization problems in Answer Set Programming (ASP). LNPS is a metaheuristic that starts with an initial solution and then iteratively tries to find better solutions by alternately destroying and prioritized searching for a current solution. Due to the variability of neighborhoods, LNPS allows for flexible search without strongly depending on the destroy operators. We present an implementation of LNPS based on ASP. The resulting heulingo solver demonstrates that LNPS can significantly enhance the solving performance of ASP for optimization. Furthermore, we establish the competitiveness of our LNPS approach by empirically contrasting it to (adaptive) large neighborhood search.


title: Meta Reinforcement Learning for Resource Allocation in Multi-Antenna UAV Network with Rate Splitting Multiple Access

abstract: Unmanned aerial vehicles (UAVs) with multiple antennas have recently been explored to improve capacity in wireless networks. However, the strict energy constraint of UAVs, given their simultaneous flying and communication tasks, renders the exploration of energy-efficient multi-antenna techniques indispensable for UAVs. Meanwhile, lens antenna subarray (LAS) emerges as a promising energy-efficient solution that has not been previously harnessed for this purpose. In this paper, we propose a LAS-aided multi-antenna UAV to serve ground users in the downlink transmission of the terahertz (THz) band, utilizing rate splitting multiple access (RSMA) for effective beam division multiplexing. We formulate an optimization problem of maximizing the total system spectral efficiency (SE). This involves optimizing the UAV's transmit beamforming and the common rate of RSMA. By recasting the optimization problem into a Markov decision process (MDP), we propose a deep deterministic policy gradient (DDPG)-based resource allocation mechanism tailored to capture problem dynamics and optimize its variables. Moreover, given the UAV's frequent mobility and consequential system reconfigurations, we fortify the trained DDPG model with a meta-learning strategy, enhancing its adaptability to system variations. Numerically, more than 20\% energy efficiency gain is achieved by our proposed LAS-aided multi-antenna UAV equipped with 4 lenses, compared to a single-lens UAV. Simulations also demonstrate that at a signal-to-noise (SNR) of 10 dB, the incorporation of RSMA results in a 22\% SE enhancement over conventional orthogonal beam division multiple access. Furthermore, the overall system SE improves by 27\%, when meta-learning is employed for fine-tuning the conventional DDPG method in literature.


title: Different driving protocols and multiple Majorana modes in a Rashba coupled superconducting nanowire

abstract: We perform systematic analyses of single and multi-frequency driving protocols on a Rashba nanowire with superconducting correlations induced by proximity effects. The results for the single-mode drive reveal interesting frequency dependencies of the Majorana modes, in the sense that the parameters corresponding to the trivial and topological limits of the undriven (static) case host Majorana zero modes, respectively at low and high frequencies. Further, emergence of long-range interactions are noted that give rise to multiple gap-closing scenarios, which imply occurrence of multiple Majorana modes. On the other hand, the multi-frequency driving protocol, sub-grouped into commensurate and incommensurate ratios of the frequencies, demonstrates intriguing consequences. The commensurate case yields dynamical control over the stability of the edge modes. Moreover, complex driving protocols harm the Majoranas by pushing them into the bulk. Finally, the incommensurate case yields independent Majorana modes occurring at low-symmetry points in the Brillouin zone. While the single and the commensurate multi-frequency driving protocols admit the usage of symmetric time frames for the computation of the topological invariants, the incommensurate case relies on the framework of many-mode Floquet theory, where the topological properties are ascertained via calculating the Berry phase. We present band structure and phase diagrams to substantiate all our results. The robustness and concurrent existence of these unique Majorana modes, even amidst a very dense energy spectrum along with a lack of global time-periodicity, hold promise for applications in quantum computing and the development of Floquet time crystals.


title: Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages

abstract: We propose a local, past-oriented fragment of propositional dynamic logic to reason about concurrent scenarios modelled as Mazurkiewicz traces, and prove it to be expressively complete with respect to regular trace languages. Because of locality, specifications in this logic are efficiently translated into asynchronous automata, in a way that reflects the structure of formulas. In particular, we obtain a new proof of Zielonka's fundamental theorem and we prove that any regular trace language can be implemented by a cascade product of localized asynchronous automata, which essentially operate on a single process. These results refine earlier results by Adsul et al. which involved a larger fragment of past propositional dynamic logic and used Mukund and Sohoni's gossip automaton. Our new results avoid using this automaton, or Zielonka's timestamping mechanism and, in particular, they show how to implement a gossip automaton as a cascade product.


title: Klein-Nishina Corrections to the Spectra and Light Curves of Gamma-ray Burst Afterglows

abstract: Multi-wavelength modeling of the synchrotron radiation from relativistic transients such as Gamma-ray Burst (GRB) afterglows is a powerful means of exploring the physics of relativistic shocks and of deriving properties of the explosion, such as the kinetic energy of the associated relativistic outflows. Capturing the location and evolution of the synchrotron cooling break is critical to break parameter degeneracies associated with such modeling. However, the shape of the spectrum above the cooling break, as well as the location and evolution of the break itself can be significantly altered by synchrotron self-Compton (SSC) cooling. We present an observer's guide to applying SSC cooling with and without Klein-Nishina (KN) corrections to GRB afterglow modeling. We provide a publicly available python code to calculate the Compton $Y$-parameter as a function of electron Lorentz factor, from which we compute changes to the electron distribution, along with KN-corrected afterglow spectra and light curves. In this framework, the canonical synchrotron spectral shapes split into multiple sub-regimes. We summarize each new spectral shape and describe its observational significance. We discuss how KN corrections can account for harder spectra and shallower decline rates observed in some GRB X-ray afterglows. Our overall aim is to provide an easy application of SSC+KN corrections into analytical multi-wavelength modeling frameworks for relativistic transients.


title: Boundary homogenization for partially reactive patches

abstract: A wide variety of physical, chemical, and biological processes involve diffusive particles interacting with surfaces containing reactive patches. The theory of boundary homogenization seeks to encapsulate the effective reactivity of such a patchy surface by a single trapping rate parameter. In this paper, we derive the trapping rate for partially reactive patches occupying a small fraction of a surface. We use matched asymptotic analysis, double perturbation expansions, and homogenization theory to derive formulas for the trapping rate in terms of the far-field behavior of solutions to certain partial differential equations (PDEs). We then develop kinetic Monte Carlo (KMC) algorithms to rapidly compute these far-field behaviors. These KMC algorithms depend on probabilistic representations of PDE solutions, including using the theory of Brownian local time. We confirm our results by comparing to KMC simulations of the full stochastic system. We further compare our results to prior heuristic approximations.


title: A Dual Power Grid Cascading Failure Model for the Vulnerability Analysis

abstract: Considering the attacks against the power grid, one of the most effective approaches could be the attack to the transmission lines that leads to large cascading failures. Hence, the problem of locating the most critical or vulnerable transmission lines for a Power Grid Cascading Failure (PGCF) has drawn much attention from the research society. There exists many deterministic solutions and stochastic approximation algorithms aiming to analyze the power grid vulnerability. However, it has been challenging to reveal the correlations between the transmission lines to identify the critical ones. In this paper, we propose a novel approach of learning such correlations via attention mechanism inspired by the Transformer based models that were initially designated to learn the correlation of words in sentences. Multiple modifications and adjustments are proposed to support the attention mechanism producing an informative correlation matrix, the Attention Matrix. With the Attention Ranking algorithm, we are able to identify the most critical lines. The proposed Dual PGCF model provide a novel and effective analysis to improve the power grid resilience against cascading failure, which is proved by extensive experiment results.


title: Cardinal characteristics associated with small subsets of reals

abstract: Inspired by Bartoszy\'nski's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszy\'nski's and Shelah's characterization of $F_\sigma$ measure zero sets. We demonstrate that they are $\sigma$-ideals and provide characterizations of the families of all small sets and the ideal induced by $F_\sigma$ measure zero sets. We also study the cardinal characteristics associated with the introduced ideals. We discuss their connection to Cicho\'n's diagram and present related consistency results.


title: Revisiting $O(N)$ $\sigma$ model at unphysical pion masses and high temperatures. II. The vacuum structure and thermal $\sigma$ pole trajectory with cross-channel improvements

abstract: The effective potential of $O(N)$ model at large $N$ limit is reinvestigated for varying pion mass and temperature. For large pion masses and high temperatures, we find the phenomenologically favored vacuum, located on the upper branch of the double-branched effective potential for physical $m_\pi$, moves to the lower branch and becomes no longer a local minimum but a saddle point. The existence and running of the tachyon pole are also discussed. With the effective coupling constant defined from the effective potential, the possible correspondence relation between the two branches of the effective potential and the two phases of the theory (distinguished by positive or negative coupling) is verified even with nonzero explicit symmetry breaking and at finite temperature. Also, we generalize the $N/D$ modified $O(N)$ model to study the thermal trajectory of the $\sigma$ pole with the cross-channel contributions considered and find the thermal $\sigma$ pole trajectory resembles its counterpart with varying pion mass at zero temperature.


title: Multi-indices coproducts from ODEs to singular SPDEs

abstract: In this work, we introduce explicit formulae for the coproducts at play for multi-indices in ODEs and in singular SPDEs. The two coproducts described correspond to versions of the Butcher-Connes-Kreimer and extraction/contraction coproducts with multi-indices. The main idea is to use the fact that these coproducts are the adjoints of dual products for which one has explicit simple formulae. We are able to derive the explicit formulae via an inner product defined from a symmetry factor easily computable for multi-indices.


title: MediCLIP: Adapting CLIP for Few-shot Medical Image Anomaly Detection

abstract: In the field of medical decision-making, precise anomaly detection in medical imaging plays a pivotal role in aiding clinicians. However, previous work is reliant on large-scale datasets for training anomaly detection models, which increases the development cost. This paper first focuses on the task of medical image anomaly detection in the few-shot setting, which is critically significant for the medical field where data collection and annotation are both very expensive. We propose an innovative approach, MediCLIP, which adapts the CLIP model to few-shot medical image anomaly detection through self-supervised fine-tuning. Although CLIP, as a vision-language model, demonstrates outstanding zero-/fewshot performance on various downstream tasks, it still falls short in the anomaly detection of medical images. To address this, we design a series of medical image anomaly synthesis tasks to simulate common disease patterns in medical imaging, transferring the powerful generalization capabilities of CLIP to the task of medical image anomaly detection. When only few-shot normal medical images are provided, MediCLIP achieves state-of-the-art performance in anomaly detection and location compared to other methods. Extensive experiments on three distinct medical anomaly detection tasks have demonstrated the superiority of our approach. The code is available at https://github.com/cnulab/MediCLIP.


title: Securing 3rd Party App Integration in Docker-based Cloud Software Ecosystems

abstract: Open software ecosystems are beneficial for customers; they benefit from 3rd party services and applications, e.g. analysis of data using apps, developed and deployed by other companies or open-source communities. One significant advantage of this approach is that other customers may benefit from these newly developed applications as well. Especially software ecosystems utilizing container technologies are prone to certain risks. Docker, in particular, is more vulnerable to attacks than hypervisor based virtualisation as it directly operates on the host system. Docker is a popular representative of containerisation technology which offers a lightweight architecture in order to facilitate the set-up and creation of such software ecosystems. Popular Infrastructure as a Service cloud service providers, like Amazon Web Services or Microsoft Azure, jump on the containerisation bandwagon and provide interfaces for provisioning and managing containers. Companies can benefit from that change of technology and create software ecosystems more efficiently. In this paper, we present a new concept for significant security improvements for cloud-based software ecosystems using Docker for 3rd party app integration. Based on the security features of Docker we describe a secure integration of applications in the cloud environment securely. Our approach considers the whole software lifecycle and includes sandbox testing of potentially dangerous 3rd party apps before these became available to the customers.


title: Neural Randomized Planning for Whole Body Robot Motion

abstract: Robot motion planning has made vast advances over the past decades, but the challenge remains: robot mobile manipulators struggle to plan long-range whole-body motion in common household environments in real time, because of high-dimensional robot configuration space and complex environment geometry. To tackle the challenge, this paper proposes Neural Randomized Planner (NRP), which combines a global sampling-based motion planning (SBMP) algorithm and a local neural sampler. Intuitively, NRP uses the search structure inside the global planner to stitch together learned local sampling distributions to form a global sampling distribution adaptively. It benefits from both learning and planning. Locally, it tackles high dimensionality by learning to sample in promising regions from data, with a rich neural network representation. Globally, it composes the local sampling distributions through planning and exploits local geometric similarity to scale up to complex environments. Experiments both in simulation and on a real robot show \NRP yields superior performance compared to some of the best classical and learning-enhanced SBMP algorithms. Further, despite being trained in simulation, NRP demonstrates zero-shot transfer to a real robot operating in novel household environments, without any fine-tuning or manual adaptation.


title: Smooth Kolmogorov Arnold networks enabling structural knowledge representation

abstract: Kolmogorov-Arnold Networks (KANs) offer an efficient and interpretable alternative to traditional multi-layer perceptron (MLP) architectures due to their finite network topology. However, according to the results of Kolmogorov and Vitushkin, the representation of generic smooth functions by KAN implementations using analytic functions constrained to a finite number of cutoff points cannot be exact. Hence, the convergence of KAN throughout the training process may be limited. This paper explores the relevance of smoothness in KANs, proposing that smooth, structurally informed KANs can achieve equivalence to MLPs in specific function classes. By leveraging inherent structural knowledge, KANs may reduce the data required for training and mitigate the risk of generating hallucinated predictions, thereby enhancing model reliability and performance in computational biomedicine.


title: Projective Closure of Semigroup Algebras

abstract: This paper investigates the projective closure of simplicial affine semigroups in $\mathbb{N}^{d}$, $d \geq 2$. We present a characterization of the Cohen-Macaulay property for the projective closure of these semigroups using Gr\"{o}bner bases. Additionally, we establish a criterion, based on Gr\"{o}bner bases, for determining the Buchsbaum property of non-Cohen-Macaulay projective closures of numerical semigroup rings. Lastly, we introduce the concept of $k$-lifting for simplicial affine semigroups in $\mathbb{N}^d$, and investigate its relationship with the original simplicial affine semigroup.


title: Sampling Strategies for Mitigating Bias in Face Synthesis Methods

abstract: Synthetically generated images can be used to create media content or to complement datasets for training image analysis models. Several methods have recently been proposed for the synthesis of high-fidelity face images; however, the potential biases introduced by such methods have not been sufficiently addressed. This paper examines the bias introduced by the widely popular StyleGAN2 generative model trained on the Flickr Faces HQ dataset and proposes two sampling strategies to balance the representation of selected attributes in the generated face images. We focus on two protected attributes, gender and age, and reveal that biases arise in the distribution of randomly sampled images against very young and very old age groups, as well as against female faces. These biases are also assessed for different image quality levels based on the GIQA score. To mitigate bias, we propose two alternative methods for sampling on selected lines or spheres of the latent space to increase the number of generated samples from the under-represented classes. The experimental results show a decrease in bias against underrepresented groups and a more uniform distribution of the protected features at different levels of image quality.


title: HCN as a probe of the inner disk in a candidate proto-brown dwarf

abstract: The detection of Keplerian rotation is rare among Class 0 protostellar systems. We have investigated the high-density tracer HCN as a probe of the inner disk in a Class 0 proto-brown dwarf candidate. Our ALMA high angular resolution observations show the peak in the HCN (3-2) line emission arises from a compact component near the proto-brown dwarf with a small bar-like structure and a deconvolved size of $\sim$50 au. Radiative transfer modelling indicates that this HCN feature is tracing the innermost, dense regions in the proto-brown dwarf where a small Keplerian disk is expected to be present. The limited velocity resolution of the observations, however, makes it difficult to confirm the rotational kinematics of this feature. A brightening in the HCN emission towards the core center suggests that HCN can survive in the gas phase in the inner, dense regions of the proto-brown dwarf. In contrast, modelling of the HCO$^{+}$ (3-2) line emission indicates that it originates from the outer pseudo-disk/envelope region and is centrally depleted. HCN line emission can reveal the small-scale structures and can be an efficient observational tool to study the inner disk properties in such faint compact objects where spatially resolving the disk is nearly impossible.


title: New Uncertainty Principle for a particle on a Torus Knot

abstract: The present work deals with quantum Uncertainty Relations (UR) subjected to the Standard Deviations (SD) of the relevant dynamical variables for a particle constrained to move on a torus knot. It is important to note that these variables have to obey the two distinct periodicities of the knotted paths embedded on the torus. We compute generalized forms of the SDs and the subsequent URs (following the Kennard-Robertson formalism). These quantities explicitly involve the torus parameters and the knot parameters where restrictions on the latter have to be taken into account. These induce restrictions on the possible form of wave functions that are used to calculate the SDs and URs and in our simple example, two distinct SDs and URs are possible. In a certain limit (thin torus limit), our results will reduce to the results for a particle moving in a circle. An interesting fact emerges that in the case of the SDs and URs, the local geometry of the knots plays the decisive role and not their topological properties.


title: High-yield fabrication of bubble-free magic-angle twisted bilayer graphene devices with high twist-angle homogeneity

abstract: Magic-angle twisted bilayer graphene (MATBG) stands as one of the most versatile materials in condensed-matter physics due to its hosting of a wide variety of exotic phases while also offering convenient tunability. However, the fabrication of MATBG is still manual, and remains to be a challenging and inefficient process, with devices being highly dependent on specific fabrication methods, that often result in inconsistency and variability. In this work, we present an optimized protocol for the fabrication of MATBG samples, for which we use deterministic graphene anchoring to stabilize the twist-angle, and a careful bubble removal techniques to ensure a high twist-angle homogeneity. We use low-temperature transport experiments to extract the average twist-angle between pairs of leads. We find that up to 38 percent of the so fabricated devices show micrometer square sized regions with a twist-angle in the range 1.1 plus/minus 0.1 degrees, and a twist-angle variation of only 0.02 degrees, where in some instances such regions were up to 36 micrometer square large. We are certain that the discussed protocols can be directly transferred to non-graphene materials, and will be useful for the growing field of moire materials.


title: Transverse polarization measurement of $\Lambda$ hyperons in $p$Ne collisions at $\sqrt{s_{NN}}$ = 68.4 GeV with the $\mbox{LHCb}$ detector

abstract: A measurement of the transverse polarization of the $\Lambda$ and $\bar{\Lambda}$ hyperons in $p$Ne fixed-target collisions at $\sqrt{s_{NN}}$ = 68.4 GeV is presented using data collected by the LHCb detector. The polarization is studied using the decay $\Lambda \rightarrow p \pi^-$ together with its charge conjugated process, the integrated values measured are $$ P_{\Lambda} = 0.029 \pm 0.019 \, (\rm{stat}) \pm 0.012 \, (\rm{syst}) \, , $$ $$ P_{\bar{\Lambda}} = 0.003 \pm 0.023 \, (\rm{stat}) \pm 0.014 \,(\rm{syst}) \,. $$ Furthermore, the results are shown as a function of the Feynman~$x$~variable, transverse momentum, pseudorapidity and rapidity of the hyperons, and are compared with previous measurements.


title: Fox's H-Functions: A Gentle Introduction Through Astrophysical Thermonuclear Functions

abstract: Needed for cosmological and stellar nucleosynthesis, we are studying the closed-form analytic evaluation of thermonuclear reaction rates. In this context, we undertake a comprehensive analysis of three distinct velocity distributions, namely the Maxwell-Boltzmann distribution, the pathway distribution, and the Mittag-Leffer distribution. We emphasize the utilization of Meijer G-function and Fox H-function which are special functions of mathematical physics.


title: On the Trajectory Regularity of ODE-based Diffusion Sampling

abstract: Diffusion-based generative models use stochastic differential equations (SDEs) and their equivalent ordinary differential equations (ODEs) to establish a smooth connection between a complex data distribution and a tractable prior distribution. In this paper, we identify several intriguing trajectory properties in the ODE-based sampling process of diffusion models. We characterize an implicit denoising trajectory and discuss its vital role in forming the coupled sampling trajectory with a strong shape regularity, regardless of the generated content. We also describe a dynamic programming-based scheme to make the time schedule in sampling better fit the underlying trajectory structure. This simple strategy requires minimal modification to any given ODE-based numerical solvers and incurs negligible computational cost, while delivering superior performance in image generation, especially in $5\sim 10$ function evaluations.


title: SMT-based Symbolic Model-Checking for Operator Precedence Languages

abstract: Operator Precedence Languages (OPL) have been recently identified as a suitable formalism for model checking recursive procedural programs, thanks to their ability of modeling the program stack. OPL requirements can be expressed in the Precedence Oriented Temporal Logic (POTL), which features modalities to reason on the natural matching between function calls and returns, exceptions, and other advanced programming constructs that previous approaches, such as Visibly Pushdown Languages, cannot model effectively. Existing approaches for model checking of POTL have been designed following the explicit-state, automata-based approach, a feature that severely limits their scalability. In this paper, we give the first symbolic, SMT-based approach for model checking POTL properties. While previous approaches construct the automaton for both the POTL formula and the model of the program, we encode them into a (sequence of) SMT formulas. The search of a trace of the model witnessing a violation of the formula is then carried out by an SMT-solver, in a Bounded Model Checking fashion. We carried out an experimental evaluation, which shows the effectiveness of the proposed solution.


title: PENELLOPE\,VI. -- Searching the PENELLOPE/UVES sample with spectro-astrometry: Two new microjets of Sz 103 and XX Cha

abstract: The main goal of this study is to screen the PENELLOPE/UVES targets for outflow activity and find microjets via spectro-astrometry in, e.g., the [OI]$\lambda$6300 line. In total, 34 T\,Tauri stars of the PENELLOPE survey have been observed with the high resolution slit spectrograph UVES in three different slit positions rotated by $120^\text{o}$. Our spectro-astrometric analysis in the [OI]$\lambda$6300 wind line reveals two newly discovered microjets associated with Sz\,103 and XX\,Cha. Both microjets have an extent of about $0.04$ arcseconds, that is, $<10\,\text{au}$, and we confined their orientation by the three slit observations. Furthermore, we confirm the binary nature of VW\,Cha and CVSO\,109. We present (further) evidence that DK\,Tau\,B and CVSO\,104\,A are spectroscopic binaries. Sz\,115 is tentatively a spectroscopic binary. The origin of the LVC, that is, MHD winds versus photoevaporative winds, of the Sz\,103 and XX\,Cha microjets remains unclear.


title: Risk-neutral valuation of options under arithmetic Brownian motions

abstract: On April 22, 2020, the CME Group switched to Bachelier pricing for a group of oil futures options. The Bachelier model, or more generally the arithmetic Brownian motion (ABM), is not so widely used in finance, though. This paper provides the first comprehensive survey of options pricing under ABM. Using the risk-neutral valuation, we derive formulas for European options for three underlying types, namely an underlying that does not pay dividends, an underlying that pays a continuous dividend yield, and futures. Further, we derive Black-Scholes-Merton-like partial differential equations, which can in principle be utilized to price American options numerically via finite difference.


title: The Muon Anomalous Magnetic Moment in the Excited Fermion Paradigm

abstract: Extensions of the Standard Model featuring excited fermions present an interesting framework that motivates the search for exotic particles at the LHC. Additionally, these extensions offer potential explanations for the muon's anomalous magnetic moment and other precision observables, shedding light on the energy scale and key parameters of the new theory. Our analysis focuses on the one-loop radiative correction originating from excited lepton doublet and triplet states using the effective Lagrangian approach. The bounds derived from the $(g-2)_\mu$ anomaly can be complemented with the ones arising from other observables like the electroweak precision observable $\Delta \rho$ and the signals from direct LHC searches to constraint the effective theory. Our results suggest that the $(g-2)_\mu$ anomaly can be addressed within a very narrow region of the effective theory scale. Consequently, this imposes indirect constraints on the parameter space of excited fermions.


title: Generalized Multi-Objective Reinforcement Learning with Envelope Updates in URLLC-enabled Vehicular Networks

abstract: We develop a novel multi-objective reinforcement learning (MORL) framework to jointly optimize wireless network selection and autonomous driving policies in a multi-band vehicular network operating on conventional sub-6GHz spectrum and Terahertz frequencies. The proposed framework is designed to 1. maximize the traffic flow and 2. minimize collisions by controlling the vehicle's motion dynamics (i.e., speed and acceleration), and enhance the ultra-reliable low-latency communication (URLLC) while minimizing handoffs (HOs). We cast this problem as a multi-objective Markov Decision Process (MOMDP) and develop solutions for both predefined and unknown preferences of the conflicting objectives. Specifically, deep-Q-network and double deep-Q-network-based solutions are developed first that consider scalarizing the transportation and telecommunication rewards using predefined preferences. We then develop a novel envelope MORL solution which develop policies that address multiple objectives with unknown preferences to the agent. While this approach reduces reliance on scalar rewards, policy effectiveness varying with different preferences is a challenge. To address this, we apply a generalized version of the Bellman equation and optimize the convex envelope of multi-objective Q values to learn a unified parametric representation capable of generating optimal policies across all possible preference configurations. Following an initial learning phase, our agent can execute optimal policies under any specified preference or infer preferences from minimal data samples.Numerical results validate the efficacy of the envelope-based MORL solution and demonstrate interesting insights related to the inter-dependency of vehicle motion dynamics, HOs, and the communication data rate. The proposed policies enable autonomous vehicles to adopt safe driving behaviors with improved connectivity.


title: First Order Linear Proportional Difference Equation with Integration Factor the $(s,t)$-Pantograph Function

abstract: In this paper, we find solutions to first-order linear proportional difference equations via the $(s,t)$-integration factor method. The $(s,t)$-integration factor involves the $(s,t)$-Pantograph function, which is a generalization of the partial Theta function. Other equations are solved including the $(s,t)$-analog of the Bernoulli equation.


title: GinAR: An End-To-End Multivariate Time Series Forecasting Model Suitable for Variable Missing

abstract: Multivariate time series forecasting (MTSF) is crucial for decision-making to precisely forecast the future values/trends, based on the complex relationships identified from historical observations of multiple sequences. Recently, Spatial-Temporal Graph Neural Networks (STGNNs) have gradually become the theme of MTSF model as their powerful capability in mining spatial-temporal dependencies, but almost of them heavily rely on the assumption of historical data integrity. In reality, due to factors such as data collector failures and time-consuming repairment, it is extremely challenging to collect the whole historical observations without missing any variable. In this case, STGNNs can only utilize a subset of normal variables and easily suffer from the incorrect spatial-temporal dependency modeling issue, resulting in the degradation of their forecasting performance. To address the problem, in this paper, we propose a novel Graph Interpolation Attention Recursive Network (named GinAR) to precisely model the spatial-temporal dependencies over the limited collected data for forecasting. In GinAR, it consists of two key components, that is, interpolation attention and adaptive graph convolution to take place of the fully connected layer of simple recursive units, and thus are capable of recovering all missing variables and reconstructing the correct spatial-temporal dependencies for recursively modeling of multivariate time series data, respectively. Extensive experiments conducted on five real-world datasets demonstrate that GinAR outperforms 11 SOTA baselines, and even when 90% of variables are missing, it can still accurately predict the future values of all variables.


abstract: In this paper, we determine the relativistic and nonrelativistic energy levels for Dirac fermions in a spinning conical G\"odel-type spacetime in $(2+1)$-dimensions, where we work with the curved Dirac equation in polar coordinates and we use the tetrads formalism. Solving a second-order differential equation for the two components of the Dirac spinor, we obtain a generalized Laguerre equation, and the relativistic energy levels of the fermion and antifermion, where such levels are quantized in terms of the radial and total magnetic quantum numbers $n$ and $m_j$, and explicitly depends on the spin parameter $s$ (describes the ``spin''), spinorial parameter $u$ (describes the two components of the spinor), curvature and rotation parameters $\alpha$ and $\beta$ (describes the conical curvature and the angular momentum of the spinning cosmic string), and on the vorticity parameter $\Omega$ (describes the G\"odel-type spacetime). In particular, the quantization is a direct result of the existence of $\Omega$ (i.e., $\Omega$ acts as a kind of ``external field or potential''). We see that for $m_j>0$, the energy levels do not depend on $s$ and $u$; however, depend on $n$, $m_j$, $\alpha$, and $\beta$. In this case, $\alpha$ breaks the degeneracy of the energy levels and such levels can increase infinitely in the limit $\frac{4\Omega\beta}{\alpha}\to 1$. Already for $m_j<0$, we see that the energy levels depends on $s$, $u$ and $n$; however, it no longer depends on $m_j$, $\alpha$ and $\beta$. In this case, it is as if the fermion ``lives only in a flat G\"odel-type spacetime''. Besides, we also study the low-energy or nonrelativistic limit of the system. In both cases (relativistic and nonrelativistic), we graphically analyze the behavior of energy levels as a function of $\Omega$, $\alpha$, and $\beta$ for three different values of $n$ (ground state and the first two excited states).


title: Detecting Complex Multi-step Attacks with Explainable Graph Neural Network

abstract: Complex multi-step attacks have caused significant damage to numerous critical infrastructures. To detect such attacks, graph neural network based methods have shown promising results by modeling the system's events as a graph. However, existing methods still face several challenges when deployed in practice. First, there is a lack of sufficient real attack data especially considering the large volume of normal data. Second, the modeling of event graphs is challenging due to their dynamic and heterogeneous nature. Third, the lack of explanation in learning models undermines the trustworthiness of such methods in production environments. To address the above challenges, in this paper, we propose an attack detection method, Trace2Vec. The approach first designs an erosion function to augment rare attack samples, and integrates them into the event graphs. Next, it models the event graphs via a continuous-time dynamic heterogeneous graph neural network. Finally, it employs the Monte Carlo tree search algorithm to identify events with greater contributions to the attack, thus enhancing the explainability of the detection result. We have implemented a prototype for Trace2Vec, and the experimental evaluations demonstrate its superior detection and explanation performance compared to existing methods.


title: UPAM: Unified Prompt Attack in Text-to-Image Generation Models Against Both Textual Filters and Visual Checkers

abstract: Text-to-Image (T2I) models have raised security concerns due to their potential to generate inappropriate or harmful images. In this paper, we propose UPAM, a novel framework that investigates the robustness of T2I models from the attack perspective. Unlike most existing attack methods that focus on deceiving textual defenses, UPAM aims to deceive both textual and visual defenses in T2I models. UPAM enables gradient-based optimization, offering greater effectiveness and efficiency than previous methods. Given that T2I models might not return results due to defense mechanisms, we introduce a Sphere-Probing Learning (SPL) scheme to support gradient optimization even when no results are returned. Additionally, we devise a Semantic-Enhancing Learning (SEL) scheme to finetune UPAM for generating target-aligned images. Our framework also ensures attack stealthiness. Extensive experiments demonstrate UPAM's effectiveness and efficiency.


title: A Unified Approach Towards Active Learning and Out-of-Distribution Detection

abstract: When applying deep learning models in open-world scenarios, active learning (AL) strategies are crucial for identifying label candidates from a nearly infinite amount of unlabeled data. In this context, robust out-of-distribution (OOD) detection mechanisms are essential for handling data outside the target distribution of the application. However, current works investigate both problems separately. In this work, we introduce SISOM as the first unified solution for both AL and OOD detection. By leveraging feature space distance metrics SISOM combines the strengths of the currently independent tasks to solve both effectively. We conduct extensive experiments showing the problems arising when migrating between both tasks. In these evaluations SISOM underlined its effectiveness by achieving first place in two of the widely used OpenOOD benchmarks and second place in the remaining one. In AL, SISOM outperforms others and delivers top-1 performance in three benchmarks


title: EyeFound: A Multimodal Generalist Foundation Model for Ophthalmic Imaging

abstract: Artificial intelligence (AI) is vital in ophthalmology, tackling tasks like diagnosis, classification, and visual question answering (VQA). However, existing AI models in this domain often require extensive annotation and are task-specific, limiting their clinical utility. While recent developments have brought about foundation models for ophthalmology, they are limited by the need to train separate weights for each imaging modality, preventing a comprehensive representation of multi-modal features. This highlights the need for versatile foundation models capable of handling various tasks and modalities in ophthalmology. To address this gap, we present EyeFound, a multimodal foundation model for ophthalmic images. Unlike existing models, EyeFound learns generalizable representations from unlabeled multimodal retinal images, enabling efficient model adaptation across multiple applications. Trained on 2.78 million images from 227 hospitals across 11 ophthalmic modalities, EyeFound facilitates generalist representations and diverse multimodal downstream tasks, even for detecting challenging rare diseases. It outperforms previous work RETFound in diagnosing eye diseases, predicting systemic disease incidents, and zero-shot multimodal VQA. EyeFound provides a generalizable solution to improve model performance and lessen the annotation burden on experts, facilitating widespread clinical AI applications for retinal imaging.


title: Lowest-order Nonstandard Finite Element Methods for Time-Fractional Biharmonic Problem

abstract: In this work, we consider an initial-boundary value problem for a time-fractional biharmonic equation in a bounded convex polygonal domain in $\mathbb{R}^2$ with clamped boundary conditions. After establishing the well-posedness, we focus on some regularity results of the solution with respect to the regularity of the problem data. The spatially semidiscrete scheme covers several popular lowest-order piecewise-quadratic finite element schemes, namely, Morley, discontinuous Galerkin, and $C^0$ interior penalty methods, and includes both smooth and nonsmooth initial data. Optimal order error bounds with respect to the regularity assumptions on the data are proved for both homogeneous and nonhomogeneous problems. The numerical experiments validate the theoretical convergence rate results.


title: Detection and Prediction of Future Massive Black Hole Mergers with Machine Learning and Truncated Waveforms

abstract: We present a novel machine learning framework tailored to detect massive black hole binaries observed by spaceborne gravitational wave detectors like the Laser Interferometer Space Antenna (LISA) and predict their future merger times. The detection is performed via convolutional neural networks that analyze time-evolving Time-Delay Interferometry (TDI) spectrograms and utilize variations in signal power to trigger alerts. The prediction of future merger times is accomplished with reinforcement learning. Here, the proposed algorithm dynamically refines time-to-merger predictions by assimilating new data as it becomes available. Deep Q-learning serves as the core technique of the approach, utilizing a neural network to estimate Q-values throughout the observational state space. To enhance robust learning in a noisy environment, we integrate an actor-critic mechanism that segregates action proposals from their evaluation, thus harnessing the advantages of policy-based and value-based learning paradigms. We leverage merger estimation obtained via template matching with truncated waveforms to generate rewards for the reinforcement learning agent. These estimations come with uncertainties, which magnify as the merger event stretches further into the future. The reinforcement learning setup is shown to adapt to these uncertainties by employing a policy fine-tuning approach, ensuring the reliability of predictions despite the varying degrees of template-matching precision. The algorithm denotes a first step toward a low-latency model that provides early warnings for impending transient phenomena. By delivering timely and accurate forecasts of merger events, the framework supports the coordination of gravitational wave observations with accompanied electromagnetic counterparts, thus enhancing the prospects of multi-messenger astronomy. We use the LISA Spritz data challenge for validation.


title: A Secure and Privacy-Friendly Logging Scheme

abstract: Finding a robust security mechanism for audit trail logging has long been a poorly satisfied goal. There are many reasons for this. The most significant of these is that the audit trail is a highly sought after goal of attackers to ensure that they do not get caught. Thus they have an incredibly strong incentive to prevent companies from succeeding in this worthy aim. Regulation, such as the European Union General Data Protection Regulation, has brought a strong incentive for companies to achieve success in this area due to the punitive level of fines that can now be levied in the event of a successful breach by an attacker. We seek to resolve this issue through the use of an encrypted audit trail process that saves encrypted records to a true immutable database, which can ensure audit trail records are permanently retained in encrypted form, with no possibility of the records being compromised. This ensures compliance with the General Data Protection Regulation can be achieved.


title: Entanglement Entropy of Free Fermions with a Random Matrix as a One-Body Hamiltonian

abstract: We consider a quantum system of large size $N$ and its subsystem of size $L$ assuming that $N$ is much larger than $L$, which can also be sufficiently large, i.e., $1 \ll L \lesssim N $. A widely accepted mathematical version of this heuristic inequality is the asymptotic regime of successive limits: first the macroscopic limit $N \to \infty$, then an asymptotic analysis of the entanglement entropy as $L \to \infty$. In this paper, we consider another version of the above heuristic inequality: the regime of asymptotically proportional $L$ and $N$, i.e., the simultaneous limits $L \to \infty,\; N \to \infty, L/N \to \lambda >0$. Specifically, we consider the system of free fermions which is in its ground state and such that its one-body Hamiltonian is a large random matrix, that is often used to model the long-range hopping. By using random matrix theory, we show that in this case, the entanglement entropy obeys the volume law known for systems with short-ranged hopping but described either by a mixed state or a pure strongly excited state of the Hamiltonian. We also give a streamlined proof of Page's formula for the entanglement entropy of the black hole radiation for a wide class of typical ground states, thereby proving the universality of the formula.


title: Sub-relativistic Outflow and Hours-Timescale Large-amplitude X-ray Dips during Super-Eddington Accretion onto a Low-mass Massive Black Hole in the Tidal Disruption Event AT2022lri

abstract: We present the tidal disruption event (TDE) AT2022lri, hosted in a nearby ($\approx\!144$ Mpc) quiescent galaxy with a low-mass massive black hole ($10^4\,M_\odot < M_{\rm BH} < 10^6\,M_\odot$). AT2022lri belongs to the TDE-H+He subtype. More than 1 Ms of X-ray data were collected with NICER, Swift, and XMM-Newton from 187 d to 672 d after peak. The X-ray luminosity gradually declined from $1.5\times 10^{44}\,{\rm erg\,s^{-1}}$ to $1.5\times 10^{43}\,{\rm erg\,s^{-1}}$ and remains much above the UV and optical luminosity, consistent with a super-Eddington accretion flow viewed face-on. Sporadic strong X-ray dips atop a long-term decline are observed, with variability timescale of $\approx\!0.5$ hr--1 d and amplitude of $\approx\!2$--8. When fitted with simple continuum models, the X-ray spectrum is dominated by a thermal disk component with inner temperature going from $\sim\! 146$ eV to $\sim\! 86$ eV. However, there are residual features that peak around 1 keV, which, in some cases, cannot be reproduced by a single broad emission line. We analyzed a subset of time-resolved spectra with two physically motivated models describing either a scenario where ionized absorbers contribute extra absorption and emission lines or where disk reflection plays an important role. Both models provide good and statistically comparable fits, show that the X-ray dips are correlated with drops in the inner disk temperature, and require the existence of sub-relativistic (0.1--0.3$c$) ionized outflows. We propose that the disk temperature fluctuation stems from episodic drops of the mass accretion rate triggered by magnetic instabilities or/and wobbling of the inner accretion disk along the black hole's spin axis.


title: Improved Content Understanding With Effective Use of Multi-task Contrastive Learning

abstract: In enhancing LinkedIn core content recommendation models, a significant challenge lies in improving their semantic understanding capabilities. This paper addresses the problem by leveraging multi-task learning, a method that has shown promise in various domains. We fine-tune a pre-trained, transformer-based LLM using multi-task contrastive learning with data from a diverse set of semantic labeling tasks. We observe positive transfer, leading to superior performance across all tasks when compared to training independently on each. Our model outperforms the baseline on zero shot learning and offers improved multilingual support, highlighting its potential for broader application. The specialized content embeddings produced by our model outperform generalized embeddings offered by OpenAI on Linkedin dataset and tasks. This work provides a robust foundation for vertical teams across LinkedIn to customize and fine-tune the LLM to their specific applications. Our work offers insights and best practices for the field to build on.


title: City-Scale Multi-Camera Vehicle Tracking System with Improved Self-Supervised Camera Link Model

abstract: Multi-Target Multi-Camera Tracking (MTMCT) has broad applications and forms the basis for numerous future city-wide systems (e.g. traffic management, crash detection, etc.). However, the challenge of matching vehicle trajectories across different cameras based solely on feature extraction poses significant difficulties. This article introduces an innovative multi-camera vehicle tracking system that utilizes a self-supervised camera link model. In contrast to related works that rely on manual spatial-temporal annotations, our model automatically extracts crucial multi-camera relationships for vehicle matching. The camera link is established through a pre-matching process that evaluates feature similarities, pair numbers, and time variance for high-quality tracks. This process calculates the probability of spatial linkage for all camera combinations, selecting the highest scoring pairs to create camera links. Our approach significantly improves deployment times by eliminating the need for human annotation, offering substantial improvements in efficiency and cost-effectiveness when it comes to real-world application. This pairing process supports cross camera matching by setting spatial-temporal constraints, reducing the searching space for potential vehicle matches. According to our experimental results, the proposed method achieves a new state-of-the-art among automatic camera-link based methods in CityFlow V2 benchmarks with 61.07% IDF1 Score.


title: Decision support system for Forest fire management using Ontology with Big Data and LLMs

abstract: Forests are crucial for ecological balance, but wildfires, a major cause of forest loss, pose significant risks. Fire weather indices, which assess wildfire risk and predict resource demands, are vital. With the rise of sensor networks in fields like healthcare and environmental monitoring, semantic sensor networks are increasingly used to gather climatic data such as wind speed, temperature, and humidity. However, processing these data streams to determine fire weather indices presents challenges, underscoring the growing importance of effective forest fire detection. This paper discusses using Apache Spark for early forest fire detection, enhancing fire risk prediction with meteorological and geographical data. Building on our previous development of Semantic Sensor Network (SSN) ontologies and Semantic Web Rules Language (SWRL) for managing forest fires in Monesterial Natural Park, we expanded SWRL to improve a Decision Support System (DSS) using a Large Language Models (LLMs) and Spark framework. We implemented real-time alerts with Spark streaming, tailored to various fire scenarios, and validated our approach using ontology metrics, query-based evaluations, LLMs score precision, F1 score, and recall measures.


title: Cooperative Multi-agent Approach for Automated Computer Game Testing

abstract: Automated testing of computer games is a challenging problem, especially when lengthy scenarios have to be tested. Automating such a scenario boils down to finding the right sequence of interactions given an abstract description of the scenario. Recent works have shown that an agent-based approach works well for the purpose, e.g. due to agents' reactivity, hence enabling a test agent to immediately react to game events and changing state. Many games nowadays are multi-player. This opens up an interesting possibility to deploy multiple cooperative test agents to test such a game, for example to speed up the execution of multiple testing tasks. This paper offers a cooperative multi-agent testing approach and a study of its performance based on a case study on a 3D game called Lab Recruits.


title: Chiral symmetry and Atiyah-Patodi-Singer index theorem for staggered fermions

abstract: We consider the Atiyah-Patodi-Singer (APS) index theorem corresponding to the chiral symmetry of a continuum formulation of staggered fermions called K\"ahler-Dirac fermions, which have been recently investigated as an ingredient in lattice constructions of chiral gauge theories. We point out that there are two notions of chiral symmetry for K\"ahler-Dirac fermions, both having a mixed perturbative anomaly with gravity leading to index theorems on closed manifolds. By formulating these theories on a manifold with boundary, we find the APS index theorems corresponding to each of these symmetries, necessary for a complete picture of anomaly inflow, using a recently discovered physics-motivated proof. We comment on a fundamental difference between the nature of these two symmetries by showing that a sensible local, symmetric boundary condition only exists for one of the two symmetries. This sheds light on how these symmetries behave under lattice discretization, and in particular on their use for recent symmetric-mass generation proposals.


title: Unlock the Power of Algorithm Features: A Generalization Analysis for Algorithm Selection

abstract: In the algorithm selection research, the discussion surrounding algorithm features has been significantly overshadowed by the emphasis on problem features. Although a few empirical studies have yielded evidence regarding the effectiveness of algorithm features, the potential benefits of incorporating algorithm features into algorithm selection models and their suitability for different scenarios remain unclear. In this paper, we address this gap by proposing the first provable guarantee for algorithm selection based on algorithm features, taking a generalization perspective. We analyze the benefits and costs associated with algorithm features and investigate how the generalization error is affected by different factors. Specifically, we examine adaptive and predefined algorithm features under transductive and inductive learning paradigms, respectively, and derive upper bounds for the generalization error based on their model's Rademacher complexity. Our theoretical findings not only provide tight upper bounds, but also offer analytical insights into the impact of various factors, such as the training scale of problem instances and candidate algorithms, model parameters, feature values, and distributional differences between the training and test data. Notably, we demonstrate how models will benefit from algorithm features in complex scenarios involving many algorithms, and proves the positive correlation between generalization error bound and $\chi^2$-divergence of distributions.


title: Cloud Security and Security Challenges Revisited

abstract: In recent years, Cloud Computing has transformed local businesses and created new business models on the Internet- and Cloud services are still flourishing. But after the emphatic hype in the early years, a more realistic perception of Cloud services has emerged. One reason for this surely is that today, Cloud Computing is considered as an established and well-accepted technology and no longer as a technical novelty. But the second reason for this assessment might also be numerous security issues that Cloud Computing in general or specific Cloud services have experienced since then. In this paper, we revisit attacks on Cloud services and Cloud-related attack vectors that have been published in recent years. We then consider successful or proposed solutions to cope with these challenges. Based on these findings, we apply a security metric in order to rank all these Cloud-related security challenges concerning their severity. This should assist security professionals to prioritize their efforts toward addressing these issues.


title: PlantTracing: Tracing Arabidopsis Thaliana Apex with CenterTrack

abstract: This work applies an encoder-decoder-based machine learning network to detect and track the motion and growth of the flowering stem apex of Arabidopsis Thaliana. Based on the CenterTrack, a machine learning back-end network, we trained a model based on ten time-lapsed labeled videos and tested against three videos.


title: Hierarchical Reinforcement Learning Empowered Task Offloading in V2I Networks

abstract: Edge computing plays an essential role in the vehicle-to-infrastructure (V2I) networks, where vehicles offload their intensive computation tasks to the road-side units for saving energy and reduce the latency. This paper designs the optimal task offloading policy to address the concerns involving processing delay, energy consumption and edge computing cost. Each computation task consisting of some interdependent sub-tasks is characterized as a directed acyclic graph (DAG). In such dynamic networks, a novel hierarchical Offloading scheme is proposed by leveraging deep reinforcement learning (DRL). The inter-dependencies among the DAGs of the computation tasks are extracted using a graph neural network with attention mechanism. A parameterized DRL algorithm is developed to deal with the hierarchical action space containing both discrete and continuous actions. Simulation results with a real-world car speed dataset demonstrate that the proposed scheme can effectively reduce the system overhead.


title: NTTSuite: Number Theoretic Transform Benchmarks for Accelerating Encrypted Computation

abstract: Privacy concerns have thrust privacy-preserving computation into the spotlight. Homomorphic encryption (HE) is a cryptographic system that enables computation to occur directly on encrypted data, providing users with strong privacy (and security) guarantees while using the same services they enjoy today unprotected. While promising, HE has seen little adoption due to extremely high computational overheads, rendering it impractical. Homomorphic encryption (HE) is a cryptographic system that enables computation to occur directly on encrypted data. In this paper we develop a benchmark suite, named NTTSuite, to enable researchers to better address these overheads by studying the primary source of HE's slowdown: the number theoretic transform (NTT). NTTSuite constitutes seven unique NTT algorithms with support for CPUs (C++), GPUs (CUDA), and custom hardware (Catapult HLS).In addition, we propose optimizations to improve the performance of NTT running on FPGAs. We find our implementation outperforms the state-of-the-art by 30%.


title: On differences of two harmonic numbers

abstract: We prove that the existence of infinitely many $(m_k, n_k) \in \mathbb{N}^2$ such that the difference of harmonic numbers $H_{m_k} - H_{n_k}$ approximates 1 well $$ \lim_{k \rightarrow \infty} \left| \sum_{\ell = n}^{m_k} \frac{1}{\ell} - 1 \right|\cdot n_k^2 = 0.$$ This answers a question of Erd\H{o}s and Graham. The construction uses asymptotics for harmonic numbers, the precise nature of the continued fraction expansion of $e$ and a suitable rescaling of a subsequence of convergents. We also prove a quantitative rate by appealing to techniques of Heilbronn, Danicic, Harman, Hooley and others regarding $\min_{1 \leq n \leq N} \min_{m \in \mathbb{N}}\| n^2 \theta - m\|$.


title: Control-Aware Transmit Power Allocation for 6G In-Factory Subnetwork Control Systems

abstract: In this paper, we develop a novel power control solution for subnetworks-enabled distributed control systems in factory settings. We propose a channel-independent control-aware (CICA) policy based on the logistic model and learn the parameters using Bayesian optimization with a multi-objective tree-structured Parzen estimator. The objective is to minimize the control cost of the plants, measured as a finite horizon linear quadratic regulator cost. The proposed policy can be executed in a fully distributed manner and does not require cumbersome measurement of channel gain information, hence it is scalable for large-scale deployment of subnetworks for distributed control applications. With extensive numerical simulation and considering different densities of subnetworks, we show that the proposed method can achieve competitive stability performance and high availability for large-scale distributed control plants with limited radio resources.


title: Charging a Quantum Battery Mediated by Parity-Deformed Fields

abstract: We study the effect of parity deformation of the environmental field modes on the wireless charging performance of a qubit-based open quantum battery (QB) consisting of a qubit-battery and a qubit-charger, where there is no direct interaction between the qubits and battery is charged by the mediation of the environment. The parity deformation introduces field nonlinearities as well as qubit-environment intensity-dependent couplings. We analyze in detail charging characteristics, including the charging energy, efficiency and ergotropy in both the weak and strong coupling regimes, and show that the memory effects of mediator environment are critical in enhancing the charging performance. In the strong coupling regime, parity deformation of the environment fields can further trigger non-Markovian quantum memory of the charger-battery system, thereby enhancing the QB charging performance based on the non-Markovianity. Surprisingly, if the charging process is Markovian in the absence of the parity deformation, parity deformation is able to induce memory effects in the charger-battery dynamics and transforms the Markovian process to the non-Markovian one. This work highlights that proper engineering of the coupling to an environment can introduce an extra quantum memory source to the underlying charging process in favor of environment-mediated charging of the battery.


title: Large Language Models Lack Understanding of Character Composition of Words

abstract: Large language models (LLMs) have demonstrated remarkable performances on a wide range of natural language tasks. Yet, LLMs' successes have been largely restricted to tasks concerning words, sentences, or documents, and it remains questionable how much they understand the minimal units of text, namely characters. In this paper, we examine contemporary LLMs regarding their ability to understand character composition of words, and show that most of them fail to reliably carry out even the simple tasks that can be handled by humans with perfection. We analyze their behaviors with comparison to token level performances, and discuss the potential directions for future research.


title: A Bayesian Nonparametric Approach for Clustering Functional Trajectories over Time

abstract: Functional concurrent, or varying-coefficient, regression models are commonly used in biomedical and clinical settings to investigate how the relation between an outcome and observed covariate varies as a function of another covariate. In this work, we propose a Bayesian nonparametric approach to investigate how clusters of these functional relations evolve over time. Our model clusters individual functional trajectories within and across time periods while flexibly accommodating the evolution of the partitions across time periods with covariates. Motivated by mobile health data collected in a novel, smartphone-based smoking cessation intervention study, we demonstrate how our proposed method can simultaneously cluster functional trajectories, accommodate temporal dependence, and provide insights into the transitions between functional clusters over time.


title: Optimizing Layerwise Microservice Management in Heterogeneous Wireless Networks

abstract: Small cells with edge computing are densely deployed in 5G mobile networks to provide high throughput communication and low-latency computation. The flexibility of edge computation is empowered by the deployment of lightweight container-based microservices. In this paper, we take the first step toward optimizing the microservice management in small-cell networks. The prominent feature is that each microservice consists of multiple image layers and different microservices may share some basic layers, thus bringing deep coupling in their placement and service provision. Our objective is to minimize the expected total latency of microservice requests under the storage, communication and computing constraints of the sparsely interconnected small cell nodes. We formulate a binary quadratic program (BQP) with the multi-dimensional strategy of the image layer placement, the access selection and the task assignment. The BQP problem is then transformed into an ILP problem, and is solved by use of a novel sphere-box alternating direction multipliers method (ADMM) with reasonable complexity $O(q^{4})$, where $q$ is the number of variables in the transformed problem. Trace-driven experiments show that the gap between our proposed algorithm and the optimal is reduced by 35$\%$ compared with benchmark algorithms.


title: Extinctions as a vestige of instability: the geometry of stability and feasibility

abstract: Species coexistence is a complex, multifaceted problem. At an equilibrium, coexistence requires two conditions: stability under small perturbations; and feasibility, meaning all species abundances are positive. Which of these two conditions is more restrictive has been debated for many years, with many works focusing on statistical arguments for systems with many species. Within the framework of the Lotka-Volterra equations, we examine the geometry of the region of coexistence in the space of interaction strengths, for symmetric competitive interactions and any finite number of species. We consider what happens when starting at a point within the coexistence region, and changing the interaction strengths continuously until one of the two conditions breaks. We find that coexistence generically breaks through the loss of feasibility, as the abundance of one species reaches zero. An exception to this rule - where stability breaks before feasibility - happens only at isolated points, or more generally on a lower dimensional subset of the boundary. The reason behind this is that as a stability boundary is approached, some of the abundances generally diverge towards minus infinity, and so go extinct at some earlier point, breaking the feasibility condition first. These results define a new sense in which feasibility is a more restrictive condition than stability, and show that these two requirements are closely interrelated. We then show how our results affect the changes in the set of coexisting species when interaction strengths are changed: a system of coexisting species loses a species by its abundance continuously going to zero, and this new fixed point is unique. As parameters are further changed, multiple alternative equilibria may be found. Finally, we discuss the extent to which our results apply to asymmetric interactions.


title: An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models

abstract: Large language models (LLMs) have shown impressive results at a wide-range of tasks. However, they have limitations, such as hallucinating facts and struggling with arithmetic. Recent work has addressed these issues with sophisticated decoding techniques. However, performant decoding, particularly for sophisticated techniques, relies crucially on parallelization and batching, which are difficult for developers. We make two observations: 1) existing approaches are high-level domain-specific languages for gluing expensive black-box calls, but are not general or compositional; 2) LLM programs are essentially pure (all effects commute). Guided by these observations, we develop a novel, general-purpose lambda calculus for automatically parallelizing a wide-range of LLM interactions, without user intervention. The key difference versus standard lambda calculus is a novel "opportunistic" evaluation strategy, which steps independent parts of a program in parallel, dispatching black-box external calls as eagerly as possible, even while data-independent parts of the program are waiting for their own external calls to return. To maintain the simplicity of the language and to ensure uniformity of opportunistic evaluation, control-flow and looping constructs are implemented in-language, via Church encodings. We implement this approach in a framework called EPIC, embedded in--and interoperating closely with--Python. We demonstrate its versatility and performance with three case studies drawn from the machine learning literature: Tree-of-Thoughts (LLMs embedded in classic search procedures), nested tool use, and constrained decoding. Our experiments show that opportunistic evaluation offers a $1.5\times$ to $4.8\times$ speedup over sequential evaluation, while still allowing practitioners to write straightforward and composable programs, without any manual parallelism or batching.


title: The Role of a Diluent in Deformation-Induced Bonding of Glassy Polymer Bidisperse Blends

abstract: Bonding between polymers below the glass transition temperature through molecular-scale dilatation (or densification)-based interdiffusion of macromolecules has recently been introduced. In this mechanism, short timeframe plastic deformation enables polymer chains to interdiffuse and form entanglements at the interface, facilitating rapid bonding below the glass transition temperature ($T_g$). Here, we are addressing the role of a lower molecular weight diluent in bonding polymer interfaces of bidisperse blends through deformation-induced bonding (DIB) at temperatures well below both the surface and bulk glass transition temperatures, $T_g^s$ and $T_g^b$, respectively, by using molecular simulations. These simulations reveal that addition of the diluent ($\phi\le$20\%) drastically enhances the number of chain-ends at the interfacial region compared to a pure glass sample ($\phi=0\%$) during deformation below $T_g^s$, which improves the possibility of opposite side entanglement formation. The changes in stress-strain response of debonded samples correlate with the normalized entanglement density. Likewise, the maximum interfacial fracture energy $G_{I,max}$ of debonded samples is correlated with the diluent concentration ($\phi$), below $T_g^s$. Furthermore, the optimization of material and process conditions for DIB has yielded a notable advancement for the conditions tested here: achieving a higher bonding strength, approximately one-third of the bulk, all while remaining below $T_g$.


title: Optimal recovery of linear operators from information of random functions

abstract: The paper concerns problems of the recovery of linear operators defined on sets of functions from information of these functions given with stochastic errors. The constructed optimal recovery methods, in general, do not use all the available information. As a consequence, optimal methods are obtained for recovering derivatives of functions from Sobolev classes by the information of their Fourier transforms given with stochastic errors. A similar problem is considered for solutions of the heat equation.


title: On a Generalization of Heyting Algebras I

abstract: $\nabla$-algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of $\nabla$-algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for $\nabla$-algebras by which we establish the amalgamation property for some varieties of $\nabla$-algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories.


title: A Position Allocation Approach to the Scheduling of Battery-Electric Bus Charging

abstract: Robust charging schedules in a growing market of battery electric bus (BEB) fleets are a critical component to successful adoption. In this paper, a BEB charging scheduling framework that considers spatiotemporal schedule constraints, route schedules, fast and slow charging, and battery dynamics is modeled as a mixed integer linear program (MILP). The MILP is modeled after the Berth Allocation Problem (BAP) in a modified form known as the Position Allocation Problem (PAP). Linear battery dynamics are included to model the charging of buses while at the station. To model the BEB discharges over their respective routes, it is assumed each BEB has an average kWh charge loss while on route. The optimization coordinates BEB charging to ensure that each vehicle remains above a specified state-of-charge (SOC). The model also minimizes the total number of chargers utilized and prioritizes slow charging for battery health. The model validity is demonstrated with a set of routes sampled from the Utah Transit Authority (UTA) for \A buses and \N visits to the charging station. The model is also compared to a heuristic algorithm based on charge thresholds referred to as the Qin-Modified method. The results presented show that the slow chargers are more readily selected and the charging and spatiotemporal constraints are met while considering the battery dynamics and minimizing both the charger count and consumption cost.


title: All, most, some? On diffeomorphisms of the interval that are distorted and/or conjugate to powers of themselves

abstract: We study the problem of conjugating a diffeomorphism of the interval to (positive) powers of itself. Although this is always possible for homeomorphisms, the smooth setting is rather interesting. Besides the obvious obstruction given by hyperbolic fixed points, several other aspects need to be considered. As concrete results we show that, in class $C^1$, if we restrict to the (closed) subset of diffeomorphisms having only parabolic fixed points, then the set of diffeomorphisms that are conjugate to their powers is dense, but its complement is generic. In higher regularity, however, the complementary set contains an open and dense set. The text is complemented with several remarks and results concerning distortion elements of the group of diffeomorphisms of the interval in several regularities.


title: Rapid mixing and superpolynomial equidistribution for torus extensions of hyperbolic flows

abstract: In this paper, we study error estimates on the equidistribution of holonomies around closed orbits and mixing rates for $\mathbb{T}^{d}$-extensions of hyperbolic flows. Given three closed orbits with their holonomies, we can relate them to a point in $\mathbb{R}^{d+1}$. We prove that the extension flow enjoys rapid mixing as well as superpolynomial equidistribution, if the associated point is an inhomogeneously Diophantine number. Additionally, we also provide examples of frame flows that meet this criterion.