title: Recent development in biconservative submanifolds

abstract: A submanifold $\phi:M\to \mathbb E^{m}$ is called {\it biharmonic} if it satisfies $\Delta^{2}\phi=0$ identically, according to the author. On the other hand, G.-Y. Jiang studied biharmonic maps between Riemannian manifolds as critical points of the bienergy functional, and proved that biharmonic maps $\varphi$ are characterized by vanishing of bitension $\tau_{2}$ of $\varphi$. During last three decades there has been a growing interest in the theory of biharmonic submanifolds and biharmonic maps. The study of $H$-submanifolds of $\mathbb E^{m}$ were derived from biharmonic submanifolds by only requiring the vanishing of the tangential component of $\Delta^{2}\phi$. In 2014, R. Caddeo et. al. named a submanifold $M$ in any Riemannian manifold ``biconservative'' if the stress-energy tensor $\hat S_{2}$ of bienergy satisfies ${\rm div}\, \hat S_{2}=0$. Caddeo et. al. also shown that a Euclidean submanifolds is an $H$-submanifold if and only if the tangential component of $\tau_{2}$ vanishes and hence the notions of $H$-submanifolds and of biconservative submanifolds coincide for Euclidean submanifolds. The first results on biconservative hypersurfaces were proved by T. Hasanis and T. Vlachos, where they called such hypersurfaces {\it H-hypersurfaces} in 1995. Since then biconservative submanifolds has attracted many researchers and a lot of interesting results were obtained. The aim of this article is to provide a comprehensive survey on recent developments on biconservative submanifolds done most during the last decade.


title: Generating proof systems for three-valued propositional logics

abstract: In general, providing an axiomatization for an arbitrary logic is a task that may require some ingenuity. In the case of logics defined by a finite logical matrix (three-valued logics being a particularly simple example), the generation of suitable finite axiomatizations can be completely automatized, essentially by expressing the matrix tables via inference rules. In this chapter we illustrate how two formalisms, the 3-labelled calculi of Baaz, Ferm\"uller and Zach and the multiple-conclusion (or Set-Set) Hilbert-style calculi of Shoesmith and Smiley, may be uniformly employed to axiomatize logics defined by a three-valued logical matrix. The generating procedure common to both formalisms can be described as follows: first (i) convert the matrix semantics into rule form (we refer to this step as the generating subprocedure) and then (ii) simplify the set of rules thus obtained, essentially relying on the defining properties of any Tarskian consequence relation (we refer to this step as the streamlining subprocedure). We illustrate through some examples that, if a minimal expressiveness assumption is met (namely, if the matrix defining the logic is monadic), then it is straightforward to define effective translations guaranteeing the equivalence between the 3-labelled and the Set-Set approach.


title: Real Time Human Detection by Unmanned Aerial Vehicles

abstract: One of the most important problems in computer vision and remote sensing is object detection, which identifies particular categories of diverse things in pictures. Two crucial data sources for public security are the thermal infrared (TIR) remote sensing multi-scenario photos and videos produced by unmanned aerial vehicles (UAVs). Due to the small scale of the target, complex scene information, low resolution relative to the viewable videos, and dearth of publicly available labeled datasets and training models, their object detection procedure is still difficult. A UAV TIR object detection framework for pictures and videos is suggested in this study. The Forward-looking Infrared (FLIR) cameras used to gather ground-based TIR photos and videos are used to create the ``You Only Look Once'' (YOLO) model, which is based on CNN architecture. Results indicated that in the validating task, detecting human object had an average precision at IOU (Intersection over Union) = 0.5, which was 72.5\%, using YOLOv7 (YOLO version 7) state of the art model \cite{1}, while the detection speed around 161 frames per second (FPS/second). The usefulness of the YOLO architecture is demonstrated in the application, which evaluates the cross-detection performance of people in UAV TIR videos under a YOLOv7 model in terms of the various UAVs' observation angles. The qualitative and quantitative evaluation of object detection from TIR pictures and videos using deep-learning models is supported favorably by this work.


title: Robust Discrete Choice Model for Travel Behavior Prediction With Data Uncertainties

abstract: Discrete choice models (DCMs) are the canonical methods for travel behavior modeling and prediction. However, in many scenarios, the collected data for DCMs are subject to measurement errors. Previous studies on measurement errors mostly focus on "better estimating model parameters" with training data. In this study, we focus on "better predicting new samples' behavior" when there are measurement errors in testing data. To this end, we propose a robust discrete choice model framework that is able to account for data uncertainties in both features and labels. The model is based on robust optimization theory that minimizes the worst-case loss over a set of uncertainty data scenarios. Specifically, for feature uncertainties, we assume that the $\ell_p$-norm of the measurement errors in features is smaller than a pre-established threshold. We model label uncertainties by limiting the number of mislabeled choices to at most $\Gamma$. Based on these assumptions, we derive a tractable robust counterpart for robust-feature and robust-label DCM models. The derived robust-feature binary logit (BNL) and the robust-label multinomial logit (MNL) models are exact. However, the formulation for the robust-feature MNL model is an approximation of the exact robust optimization problem. The proposed models are validated in a binary choice data set and a multinomial choice data set, respectively. Results show that the robust models (both features and labels) can outperform the conventional BNL and MNL models in prediction accuracy and log-likelihood. We show that the robustness works like "regularization" and thus has better generalizability.


title: Quantitative in vitro to in vivo extrapolation for human toxicology and drug development

abstract: Traditional animal testing for toxicity is expensive, time consuming, ethically questioned, sometimes inaccurate because of the necessity to extrapolate from animal to human, and in most cases not formally validated according to modern standards. This is driving regulatory bodies and companies in backing alternative methods focusing on in silico and in vitro approaches. These are complex to implement and validate, and their wide adoption is not yet established despite legal directives providing an imperative. It is difficult to link a cell level response to effects on a whole organism, but the advances in high-throughput toxicogenomics towards elucidating the mechanism of action of substances are gradually reducing this gap and fostering the adoption of Next Generation Safety Assessment approaches. Quantitative in vitro to in vivo extrapolation (QIVIVE) methods hold the promise to reveal how to use in vitro -omics data to predict the potential for in vivo toxicity. They could improve lead compounds prioritisation, reduce time and costs, also in numbers of animal lives, and help with the complexity of extrapolating between species. We provide a description of QIVIVE state of the art, including how the problems of dosing and timing are being approached, how in silico simulation can take into account the variability of individuals, and how multiple techniques can be integrated to face complex tasks like the prediction of long term toxicity, including a close look into the open problems and challenges ahead.


title: Bounds on tree distribution in number theory

abstract: The occurrence and the distribution of patterns of trees associated to natural numbers are investigated. Bounds from above and below are proven for certain natural quantities.


title: Entropy and forecasting complexity of hidden Markov models, matrix product states, and observable operator models

abstract: In a series of three papers, Jurgens and Crutchfield recently proposed a supposedly novel method to compute entropies of hidden Markov models (HMMs), discussed in detail its relationship to iterated function systems, and applied it to compute their ``ambiguity rates", a concept supposedly introduced by Claude Shannon. We point out that the basic formalism is not new (it is the well known ``forward algorithm" for HMMs), and that all three papers have also serious other faults.


title: Improving MMA judging with consensus scoring: A Statistical analysis of MMA bouts from 2003 to 2023

abstract: Boxing and MMA have a longstanding issue with judging, as evidenced by frequent controversial decisions. Like boxing, MMA bouts are scored following the 10-Point Must System, by which judges score each round individually. In the present study, we compare the performance of two methods of round scores aggregation: the standard method (aggregation over rounds and then over judges) and an alternative method known as consensus scoring (aggregation over judges and then over rounds). For that purpose, we conducted a statistical analysis of 4,129 MMA bouts that went to decision between 2003 and 2023. Our findings indicate that standard and consensus scoring yield the same result in 97.53% of the bouts. Noteworthy, this percentage may be underestimated, as judges may not always score each round individually; instead, they may balance their scores across rounds. Regarding the bouts in which the two methods disagree, the outcome of consensus scoring aligns more with the opinion of the fans (48.96%) than that of standard scoring (43.75%). This results from the fact that consensus scoring can counteract the impact of an incorrect score (especially a 10-8 score) given by a judge in a specific round. From a cost-benefit perspective, we argue that state commissions should consider consensus scoring in MMA as an alternative to standard scoring as it can avoid controversial decisions while it does not imply a major change in the judging system.


title: Statistical Response of ENSO Complexity to Initial Condition and Model Parameter Perturbations

abstract: Studying the response of a climate system to perturbations has practical significance. Standard methods in computing the trajectory-wise deviation caused by perturbations may suffer from the chaotic nature that makes the model error dominate the true response after a short lead time. Statistical response, which computes the return described by the statistics, provides a systematic way of reaching robust outcomes with an appropriate quantification of the uncertainty and extreme events. In this paper, information theory is applied to compute the statistical response and find the most sensitive perturbation direction of different El Ni\~no-Southern Oscillation (ENSO) events to initial value and model parameter perturbations. Depending on the initial phase and the time horizon, different state variables contribute to the most sensitive perturbation direction. While initial perturbations in sea surface temperature (SST) and thermocline depth usually lead to the most significant response of SST at short- and long-range, respectively, initial adjustment of the zonal advection can be crucial to trigger strong statistical responses at medium-range around 5 to 7 months, especially at the transient phases between El Ni\~no and La Ni\~na. It is also shown that the response in the variance triggered by external random forcing perturbations, such as the wind bursts, often dominates the mean response, making the resulting most sensitive direction very different from the trajectory-wise methods. Finally, despite the strong non-Gaussian climatology distributions, using Gaussian approximations in the information theory is efficient and accurate for computing the statistical response, allowing the method to be applied to sophisticated operational systems.


title: The Kinematic and Dynamic Properties of HBC 494's Wide-Angle Outflows

abstract: We present Atacama Large Millimeter/sub-millimeter Array (ALMA) Cycle-5 observations of HBC 494, as well as calculations of the kinematic and dynamic variables which represent the object's wide-angle bipolar outflows. HBC 494 is a binary FU Orionis type object located in the Orion A molecular cloud. We take advantage of combining the ALMA main array, Atacama Compact Array (ACA), and Total Power (TP) array in order to map HBC 494's outflows and thus, estimate their kinematic parameters with higher accuracy in comparison to prior publications. We use $^{12}$CO, $^{13}$CO, C$^{18}$O and SO observations to describe the object's outflows, envelope, and disc, as well as estimate the mass, momentum, and kinetic energy of the outflows. After correcting for optical opacity near systemic velocities, we estimate a mass of $3.0\times10^{-2}$ M$_{\odot}$ for the southern outflow and $2.8\times10^{-2}$ M$_{\odot}$ for the northern outflow. We report the first detection of a secondary outflow cavity located approximately $15$" north of the central binary system, which could be a remnant of a previous large-scale accretion outburst. Furthermore, we find CO spatial features in HBC 494's outflows corresponding to position angles of $\sim35^{\circ}$ and $\sim145^{\circ}$. This suggests that HBC 494's outflows are most likely a composite of overlapping outflows from two different sources, i.e., HBC 494a and HBC 494b, the two objects in the binary system.


title: Two Memorable Dates in Seismology

abstract: 130 years ago, Omori formulated the first law of earthquake physics. The essence of the law is that the frequency of aftershocks decreases hyperbolically over time. 100 years ago, Hirano doubted the universality of Omori law and proposed a power law for the evolution of aftershocks. Our paper is devoted to these two outstanding events, which played a significant role in the development of seismology. The paper also contains a brief summary of the modern approach to the construction of a phenomenological theory of aftershocks. Within the framework of the phenomenological approach, the epoch of harmonic evolution of the source, cooling down after the main shock, the bifurcation of the source, the cumulative effect of a round-the-world echo, the modulation of global seismicity by spheroidal oscillations of the Earth, mirror triads, migration of aftershocks, and a number of other previously unknown geophysical phenomena were discovered. It is emphasized that the phenomenological theory has been formed in recent years on the basis of a thorough analysis of the fundamental research of the pioneers who laid the foundations of modern seismology. Keywords: earthquake, aftershock, Omori law, Hirano-Utsu law, source deactivation, proper time, evolution equation.


title: A General and Scalable Method for Optimizing Real-Time Systems

abstract: In real-time systems optimization, designers often face a challenging problem posed by the non-convex and non-continuous schedulability conditions, which may even lack an analytical form to understand their properties. To tackle this challenging problem, we treat the schedulability analysis as a black box that only returns true/false results. We propose a general and scalable framework to optimize real-time systems, named Numerical Optimizer with Real-Time Highlight (NORTH). NORTH is built upon the gradient-based active-set methods from the numerical optimization literature but with new methods to manage active constraints for the non-differentiable schedulability constraints. In addition, we also generalize NORTH to NORTH+, to collaboratively optimize certain types of discrete variables (\eg priority assignments, categorical variables) with continuous variables based on numerical optimization algorithms. We demonstrate the algorithm performance with two example applications: energy minimization based on dynamic voltage and frequency scaling (DVFS), and optimization of control system performance. In these experiments, NORTH achieved $10^2$ to $10^5$ times speed improvements over state-of-the-art methods while maintaining similar or better solution quality. NORTH+ outperforms NORTH by 30\% with similar algorithm scalability. Both NORTH and NORTH+ support black-box schedulability analysis, ensuring broad applicability.


title: Extending the definition of atomic basis sets to atoms with fractional nuclear charge

abstract: Alchemical transformations showed that perturbation theory can be applied also to changes in the atomic nuclear charges of a molecule. The alchemical path that connects two different chemical species involves the conceptualization of a non-physical system in which atom possess a non-integer nuclear charge. A correct quantum mechanical treatment of these systems is limited by the fact that finite size atomic basis sets do not define exponents and contraction coefficients for fractional charge atoms. This paper is proposes a solution to this problem, and shows that a smooth interpolation of the atomic orbital coefficients and exponents across the periodic table is a convenient way to produce accurate alchemical predictions, even using small size basis sets.


title: Theoretical Framework for the Optimization of Microphone Array Configuration for Humanoid Robot Audition

abstract: An important aspect of a humanoid robot is audition. Previous work has presented robot systems capable of sound localization and source segregation based on microphone arrays with various configurations. However, no theoretical framework for the design of these arrays has been presented. In the current paper, a design framework is proposed based on a novel array quality measure. The measure is based on the effective rank of a matrix composed of the generalized head related transfer functions (GHRTFs) that account for microphone positions other than the ears. The measure is shown to be theoretically related to standard array performance measures such as beamforming robustness and DOA estimation accuracy. Then, the measure is applied to produce sample designs of microphone arrays. Their performance is investigated numerically, verifying the advantages of array design based on the proposed theoretical framework.


title: Advancing Stepped Wedge Cluster Randomized Trials Analysis: Bayesian Hierarchical Penalized Spline Models for Immediate and Time-Varying Intervention Effects

abstract: Stepped wedge cluster randomized trials (SWCRTs) often face challenges with potential confounding by time trends. Traditional frequentist methods can fail to provide adequate coverage of the intervention's true effect using confidence intervals, whereas Bayesian approaches show potential for better coverage of intervention effects. However, Bayesian methods have seen limited development in SWCRTs. We propose two novel Bayesian hierarchical penalized spline models for SWCRTs. The first model is for SWCRTs involving many clusters and time periods, focusing on immediate intervention effects. To evaluate its efficacy, we compared this model to traditional frequentist methods. We further developed the model to estimate time-varying intervention effects. We conducted a comparative analysis of this Bayesian spline model against an existing Bayesian monotone effect curve model. The proposed models are applied in the Primary Palliative Care for Emergency Medicine stepped wedge trial to evaluate the effectiveness of primary palliative care intervention. Extensive simulations and a real-world application demonstrate the strengths of the proposed Bayesian models. The Bayesian immediate effect model consistently achieves near the frequentist nominal coverage probability for true intervention effect, providing more reliable interval estimations than traditional frequentist models, while maintaining high estimation accuracy. The proposed Bayesian time-varying effect model exhibits advancements over the existing Bayesian monotone effect curve model in terms of improved accuracy and reliability. To the best of our knowledge, this is the first development of Bayesian hierarchical spline modeling for SWCRTs. The proposed models offer an accurate and robust analysis of intervention effects. Their application could lead to effective adjustments in intervention strategies.


title: The local lifting problem for $(\mathbb{Z}/2\mathbb{Z})^3$

abstract: Let $k$ be an algebraically closed field of characteristic $2$. In this paper we describe the $(\mathbb{Z}/2\mathbb{Z})^3$-actions on $k[[z]]$ for which there is a discrete valuation ring $R$, a finite extension of the ring of Witt vectors $W(k)$, such that they can be lifted as a group of $R$-automorphisms of $R[[Z]]$. In fact the necessary and sufficient condition for such an action to lift involves only the conductor type of the corresponding extension.


title: NuSTAR and Swift observations of two supergiant fast X-ray transients: AX J1841.0-0536 and SAX J1818.6-1703

abstract: Supergiant fast X-ray transients are wind-fed binaries hosting neutron star accretors, which display a peculiar variability in the X-ray domain. Different models have been proposed to explain this variability and the strength of the compact object magnetic field is generally considered a key parameter to discriminate among possible scenarios. We present here the analysis of two simultaneous observational campaigns carried out with Swift and NuSTAR targeting the supergiant fast X-ray transient sources AX J1841.0-0536 and SAX J1818.6-1703. A detailed spectral analysis is presented for both sources, with the main goal of hunting for cyclotron resonant scattering features that can provide a direct measurement of the neutron star magnetic field intensity. AX J1841.0-0536 was caught during the observational campaign at a relatively low flux. The source broad-band spectrum was featureless and could be well described by using a combination of a hot blackbody and a power-law component with no measurable cut-off energy. In the case of SAX J1818.6-1703, the broad-band spectrum presented a relatively complex curvature which could be described by an absorbed cut-off power-law (including both a cut-off and a folding energy) and featured a prominent edge at $\sim$7 keV, compatible with being associated to the presence of a "screen" of neutral material partly obscuring the X-ray source. The fit to the broad-band spectrum also required the addition of a moderately broad ($\sim$1.6 keV) feature centered at $\sim$14 keV. If interpreted as a cyclotron resonant scattering feature, our results would indicate for SAX J1818.6-1703 a relatively low magnetized neutron star ($\sim$1.2$\times$10$^{12}$ G).


title: Comparison of spectrum models as applied to single-particle $\bf p_t$ spectra from high-energy p-p collisions and their physical interpretations

abstract: A parametrized mathematical model is required to extract the information carried by transverse momentum $p_t$ spectra from high-energy nuclear collisions and subject it to physical interpretation in terms of possible hadron production mechanisms. The importance of proper model construction and implementation has increased with the emergence of claims for ``collectivity'' (flows) associated with small collision systems (e.g. $p$-$p$ and $p$-Pb). A two-element spectrum model, denoted herein as the Bylinkin model, includes an exponential element and a ``power-law'' element interpreted by the authors to represent emission from a thermalized source and from jet production respectively. Application of the Bylinkin model to various collision systems has led to conclusions about achievement of thermalization and other characteristics of nuclear dynamics. In connection with the Bylinkin model there has emerged theoretical conjecture that the thermalization mechanism signaled by the exponential element is hard processes interacting with quantum entanglement within projectile protons. Predating the Bylinkin model is a two-component (soft+hard) model (TCM) derived empirically from the evolution of $p$-$p$ spectrum data with event multiplicity as a form of data compression. The TCM has been applied to many collision systems and hadron species from which a systematic description of high-energy nuclear collisions has emerged. The Bylinkin model can be seen as a limiting case of the TCM model functions that is unsuited to represent underlying production mechanisms. The present study provides detailed comparisons of the two models for a variety of situations and contrasts two very different data interpretations that result.


title: Design framework for spherical microphone and loudspeaker arrays in a multiple-input multiple-output system

abstract: Spherical microphone arrays (SMAs) and spherical loudspeaker arrays (SLAs) facilitate the study of room acoustics due to the three-dimensional analysis they provide. More recently, systems that combine both arrays, referred to as multiple-input multiple-output (MIMO) systems, have been proposed due to the added spatial diversity they facilitate. The literature provides frameworks for designing SMAs and SLAs separately, including error analysis from which the operating frequency range (OFR) of an array is defined. However, such a framework does not exist for the joint design of a SMA and a SLA that comprise a MIMO system. This paper develops a design framework for MIMO systems based on a model that addresses errors and highlights the importance of a matched design. Expanding on a free-field assumption, errors are incorporated separately for each array and error bounds are defined, facilitating error analysis for the system. The dependency of the error bounds on the SLA and SMA parameters is studied and it is recommended that parameters should be chosen to assure matched OFRs of the arrays in MIMO system design. A design example is provided, demonstrating the superiority of a matched system over an unmatched system in the synthesis of directional room impulse responses.


title: Geometry and topology of maximal antipodal sets and related topics

abstract: Maximal antipodal sets of Riemannian manifolds were introduced by the author and T. Nagano in [Un invariant g\'eom\'etrique riemannien, C. R. Acad. Sci. Paris S\'er. I Math. 295 (1982), no. 5, 389--391]. Since then maximal antipodal sets have been studied by many mathematicians and they shown that maximal antipodal sets are related to several important areas in mathematics. The main purpose of this paper is thus to present a comprehensive survey on geometry and topology of maximal antipodal sets and also on their applications to several related topics.


title: Counterfactuals in factor models

abstract: We study a new model where the potential outcomes, corresponding to the values of a (possibly continuous) treatment, are linked through common factors. The factors can be estimated using a panel of regressors. We propose a procedure to estimate time-specific and unit-specific average marginal effects in this context. Our approach can be used either with high-dimensional time series or with large panels. It allows for treatment effects heterogenous across time and units and is straightforward to implement since it only relies on principal components analysis and elementary computations. We derive the asymptotic distribution of our estimator of the average marginal effect and highlight its solid finite sample performance through a simulation exercise. The approach can also be used to estimate average counterfactuals or adapted to an instrumental variables setting and we discuss these extensions. Finally, we illustrate our novel methodology through an empirical application on income inequality.


title: Detecting magneto-optical interactions in nanostructures

abstract: Effects due to magneto-optical interactions are responsible for most of the phenomena discovered in optoelectronics and spintronics. Magneto-optical interactions can generate elementary excitations of the order of light-magnetic matter, which can flow under certain conditions. Here, we observe the intensities of magneto-optical interactions in hexagonal arrays of magnetic nanowires using experimental measurements and simulations. Nanowires of three materials (cobalt-Co, iron-Fe, and nickel-Ni) were electrodeposited on alumina membranes by the AC electrodeposition method. Our results reveal that the magneto-optical behavior can produce, under certain conditions, a kind of avalanche of magneto-optical interactions, which is dynamic. Such an observation shows the possibility of generating a magneto-optical current (spin-opto current).


title: The impact of asymmetric dark matter on the thermal evolution of nucleonic and hyperonic compact stars

abstract: We investigate the impact of asymmetric fermionic dark matter (DM) on the thermal evolution of neutron stars (NSs), considering a scenario where DM interacts with baryonic matter (BM) through gravity. Employing the two-fluid formalism, our analysis reveals that DM accrued within the NS core exerts an inward gravitational pull on the outer layers composed of BM. This gravitational interaction results in a noticeable increase in baryonic density within the core of the NS. Consequently, it strongly affects the star's thermal evolution by triggering an early onset of the direct Urca (DU) processes, causing an enhanced neutrino emission and rapid star cooling. Moreover, the photon emission from the star's surface is modified due to a reduction of radius. We demonstrate the effect of DM gravitational pull on nucleonic and hyperonic DU processes that become kinematically allowed even for NSs of low mass. We then discuss the significance of observing NSs at various distances from the Galactic center. Given that the DM distribution peaks toward the Galactic center, NSs within this central region are expected to harbor higher fractions of DM, potentially leading to distinct cooling behaviors.


title: Formation of the Methyl Cation by Photochemistry in a Protoplanetary Disk

abstract: Forty years ago it was proposed that gas phase organic chemistry in the interstellar medium was initiated by the methyl cation CH3+, but hitherto it has not been observed outside the Solar System. Alternative routes involving processes on grain surfaces have been invoked. Here we report JWST observations of CH3+ in a protoplanetary disk in the Orion star forming region. We find that gas-phase organic chemistry is activated by UV irradiation.


abstract: The Colored Points Traveling Salesman Problem (Colored Points TSP) is introduced in this work as a novel variation of the traditional Traveling Salesman Problem (TSP) in which the set of points is partitioned into multiple classes, each of which is represented by a distinct color (or label). The goal is to find a minimum cost cycle $C$ that visits all the colors and only makes each one appears once. This issue has various applications in the fields of transportation, goods distribution network, postal network, inspection, insurance, banking, etc. By reducing the traditional TSP to it, we can demonstrate that Colored Points TSP is NP-hard. Here, we offer a $\frac{2\pi r}{3}$-approximation algorithm to solve this issue, where $r$ denotes the radius of the points' smallest color-spanning circle. The algorithm has been implemented, executed on random datasets, and compared against the brute force method.


title: Multi-View 3D Instance Segmentation of Structural Anomalies for Enhanced Structural Inspection of Concrete Bridges

abstract: For effective structural damage assessment, the instances of damages need to be localized in the world of a 3D model. Due to a lack of data, the detection of structural anomalies can currently not be directly learned and performed in 3D space. In this work, a three-stage approach is presented, which uses the good performance of detection models on image level to segment instances of anomalies in the 3D space. In the detection stage, semantic segmentation predictions are produced on image level. The mapping stage transfers the image-level prediction onto the respective point cloud. In the extraction stage, 3D anomaly instances are extracted from the segmented point cloud. Cloud contraction is used to transform cracks into their medial axis representation. For areal anomalies the bounding polygon is extracted by means of alpha shapes. The approach covers the classes crack, spalling, and corrosion and the three image-level segmentation models TopoCrack, nnU-Net, and DetectionHMA are compared. Granted a localization tolerance of 4cm, IoUs of over 90% can be achieved for crack and corrosion and 41% for spalling, which appears to be a specifically challenging class. Detection on instance-level measured in AP is about 45% for crack and spalling and 73% for corrosion.


title: Discrete delayed perturbation of Mittag-Leffler function and its application to linear fractional delayed difference system

abstract: The linear nonhomogeneous fractional difference system with constant coefficients is introduced. An explicit solution to the system is acquired by proposing a newly discrete retarded perturbation of the nabla Mittag-Leffer-type function containing such matrix equations that provide non-permutability. A couple of special cases obtained from our results are discussed.


title: Coordinating Guidance, Matching, and Charging Station Selection for Electric Vehicle Ride-Hailing Services through Data-Driven Stochastic Optimization

abstract: Electric vehicles (EVs) play a pivotal role in sustainable ride-hailing services primarily due to their potential in reducing carbon emissions and enhancing environmental protection. Despite their significance, current research in the realm of EV batched matching frequently overlooks critical aspects such as rider demand uncertainty and charging station (CS) selection, leading to inefficiencies like decreased matching rates and prolonged waiting times for both riders and EV drivers. To fill the research gap, we propose a data-driven optimization framework that incorporates two inter-connected stochastic optimization models to address the challenges. The first model aims to relocate the idle EVs under satisfied conditions to the designated regions based on the probabilistic rider demand forecasting result before the real rider demand is revealed. Taking the solutions of the first model as the input, the second model optimizes the batched matching results by minimizing the rider's average waiting time and EV charging waiting time at CS. This integrated framework not only elevates the matching rate through the incorporation of rider demand uncertainties in the guidance module but also substantially curtails both rider and EV charging waiting times by synergizing guidance with CS selection choices. Empirical validation of our framework was conducted through an extensive case study in New York City, utilizing real-world data sets. The validation results demonstrate that the proposed data-driven optimization framework outperforms the benchmark models in terms of the proposed evaluation metrics. Most importantly, when deploying our framework, the charging waiting time of the EVs with low SOC can be reduced up to 73.6% compared to the benchmark model without CS selection.


title: On Sample-Efficient Offline Reinforcement Learning: Data Diversity, Posterior Sampling, and Beyond

abstract: We seek to understand what facilitates sample-efficient learning from historical datasets for sequential decision-making, a problem that is popularly known as offline reinforcement learning (RL). Further, we are interested in algorithms that enjoy sample efficiency while leveraging (value) function approximation. In this paper, we address these fundamental questions by (i) proposing a notion of data diversity that subsumes the previous notions of coverage measures in offline RL and (ii) using this notion to {unify} three distinct classes of offline RL algorithms based on version spaces (VS), regularized optimization (RO), and posterior sampling (PS). We establish that VS-based, RO-based, and PS-based algorithms, under standard assumptions, achieve \emph{comparable} sample efficiency, which recovers the state-of-the-art sub-optimality bounds for finite and linear model classes with the standard assumptions. This result is surprising, given that the prior work suggested an unfavorable sample complexity of the RO-based algorithm compared to the VS-based algorithm, whereas posterior sampling is rarely considered in offline RL due to its explorative nature. Notably, our proposed model-free PS-based algorithm for offline RL is {novel}, with sub-optimality bounds that are {frequentist} (i.e., worst-case) in nature.


title: Realism in Action: Anomaly-Aware Diagnosis of Brain Tumors from Medical Images Using YOLOv8 and DeiT

abstract: In the field of medical sciences, reliable detection and classification of brain tumors from images remains a formidable challenge due to the rarity of tumors within the population of patients. Therefore, the ability to detect tumors in anomaly scenarios is paramount for ensuring timely interventions and improved patient outcomes. This study addresses the issue by leveraging deep learning (DL) techniques to detect and classify brain tumors in challenging situations. The curated data set from the National Brain Mapping Lab (NBML) comprises 81 patients, including 30 Tumor cases and 51 Normal cases. The detection and classification pipelines are separated into two consecutive tasks. The detection phase involved comprehensive data analysis and pre-processing to modify the number of image samples and the number of patients of each class to anomaly distribution (9 Normal per 1 Tumor) to comply with real world scenarios. Next, in addition to common evaluation metrics for the testing, we employed a novel performance evaluation method called Patient to Patient (PTP), focusing on the realistic evaluation of the model. In the detection phase, we fine-tuned a YOLOv8n detection model to detect the tumor region. Subsequent testing and evaluation yielded competitive performance both in Common Evaluation Metrics and PTP metrics. Furthermore, using the Data Efficient Image Transformer (DeiT) module, we distilled a Vision Transformer (ViT) model from a fine-tuned ResNet152 as a teacher in the classification phase. This approach demonstrates promising strides in reliable tumor detection and classification, offering potential advancements in tumor diagnosis for real-world medical imaging scenarios.


title: Guiding Effort Allocation in Open-Source Software Projects Using Bus Factor Analysis

abstract: A critical issue faced by open-source software projects is the risk of key personnel leaving the project. This risk is exacerbated in large projects that have been under development for a long time and experienced growth in their development teams. One way to quantify this risk is to measure the concentration of knowledge about the project among its developers. Formally known as the Bus Factor (BF) of a project and defined as 'the number of key developers who would need to be incapacitated to make a project unable to proceed'. Most of the proposed algorithms for BF calculation measure a developer's knowledge of a file based on the number of commits. In this work, we propose using other metrics like lines of code changes (LOCC) and cosine difference of lines of code (change-size-cos) to calculate the BF. We use these metrics for BF calculation for five open-source GitHub projects using the CST algorithm and the RIG algorithm, which is git-blame-based. Moreover, we calculate the BF on project sub-directories that have seen the most active development recently. Lastly, we compare the results of the two algorithms in accuracy, similarity in results, execution time, and trends in BF values over time.


title: Analysis of Static Wilson Line Correlators from Lattice QCD at Finite Temperature with $T$-matrix Approach

abstract: We employ a thermodynamic $T$-matrix approach to study Wilson line correlators (WLCs) for a static quark-antiquark pair within the quark-gluon plasma (QGP). By refining earlier determined input parameters, self-consistent $T$-matrix calculations can approximately reproduce the WLCs from 2+1-flavor lattice-QCD (lQCD) computations, while also satisfying constraints on the bulk medium from the QGP equation of state. The main difference from earlier results is a reduced screening in the input potential toward higher temperatures. When elaborating the consequences of this scenario on transport properties we find a more pronounced temperature dependence of the low-momentum relaxation rate of heavy quarks in the QGP. This, in particular, leads to a rather weak increase of the (temperature-scaled) spatial diffusion coefficient, which turns out to be in fair agreement with the most recent pertinent lQCD data.


title: Optimal Order Execution subject to Reservation Strategies under Execution Risk

abstract: The paper addresses the problem of meta order execution from a broker-dealer's point of view in Almgren-Chriss model under order fill uncertainty. A broker-dealer agency is authorized to execute an order of trading on client's behalf. The strategies that the agent is allowed to deploy is subject to a benchmark, referred to as the reservation strategy, regulated by the client. We formulate the broker's problem as a utility maximization problem in which the broker seeks to maximize his utility of excess profit-and-loss at the execution horizon. Optimal strategy in feedback form is obtained in closed form. In the absence of execution risk, the optimal strategies subject to reservation strategies are deterministic. We establish an affine structure among the trading trajectories under optimal strategies subject to general reservation strategies using implementation shortfall and target close orders as basis. We conclude the paper with numerical experiments illustrating the trading trajectories as well as histograms of terminal wealth and utility at investment horizon under optimal strategies versus those under TWAP strategies.


title: MOTO: Offline Pre-training to Online Fine-tuning for Model-based Robot Learning

abstract: We study the problem of offline pre-training and online fine-tuning for reinforcement learning from high-dimensional observations in the context of realistic robot tasks. Recent offline model-free approaches successfully use online fine-tuning to either improve the performance of the agent over the data collection policy or adapt to novel tasks. At the same time, model-based RL algorithms have achieved significant progress in sample efficiency and the complexity of the tasks they can solve, yet remain under-utilized in the fine-tuning setting. In this work, we argue that existing model-based offline RL methods are not suitable for offline-to-online fine-tuning in high-dimensional domains due to issues with distribution shifts, off-dynamics data, and non-stationary rewards. We propose an on-policy model-based method that can efficiently reuse prior data through model-based value expansion and policy regularization, while preventing model exploitation by controlling epistemic uncertainty. We find that our approach successfully solves tasks from the MetaWorld benchmark, as well as the Franka Kitchen robot manipulation environment completely from images. To the best of our knowledge, MOTO is the first method to solve this environment from pixels.


title: Modeling Processes of Neighborhood Change

abstract: An urban planner might design the spatial layout of transportation amenities so as to improve accessibility for underserved communities -- a fairness objective. However, implementing such a design might trigger processes of neighborhood change that change who benefits from these amenities in the long term. If so, has the planner really achieved their fairness objective? Can algorithmic decision-making anticipate second order effects? In this paper, we take a step in this direction by formulating processes of neighborhood change as instances of no-regret dynamics; a collective learning process in which a set of strategic agents rapidly reach a state of approximate equilibrium. We mathematize concepts of neighborhood change to model the incentive structures impacting individual dwelling-site decision-making. Our model accounts for affordability, access to relevant transit amenities, community ties, and site upkeep. We showcase our model with computational experiments that provide semi-quantitative insights on the spatial economics of neighborhood change, particularly on the influence of residential zoning policy and the placement of transit amenities.


title: On von Neumann regularity of ample groupoid algebras

abstract: We study the question of when the algebra of an ample groupoid over a field is von Neumann regular and, more generally, when the algebra of a graded ample groupoid is graded von Neumann regular. For fields of characteristic $0$ we are able to provide a complete characterization. Over fields of positive characteristic, we merely have some sufficient and some necessary conditions for regularity. As applications we recover known results on regularity and graded regularity of Leavitt path algebras and inverse semigroups. We also prove a number of new results, in particular concerning graded regularity of algebras of Deaconu-Renault groupoids and Nekrashevych-Exel-Pardo algebras of self-similar groups.


title: A regularity result for quasilinear elliptic systems with an equation of energy-type

abstract: We study the continuity of weak solutions for quasilinear elliptic systems with source terms of critical growth arising from a transport-energy structure. The latter occurs frequently in connection with the first balance principles of physics for internal energy or entropy. Relying on the properties of diffusive measures, we prove a H\"older continuity result for these PDE systems in the case of vectorial p-growth and of low regularity features such as mixed boundary conditions on Lipschitz domains. This result is valid in all space dimensions. In the special case where the principal part is linear in the second order, we also study the higher integrability of the gradients and the uniqueness principle in the small. Finally two illustrations in the context of electrothermal coupling are considered, the stationary thermistor model and the Nernst-Planck equations of electrochemistry with variable temperature.


title: CAVIAR: Co-simulation of 6G Communications, 3D Scenarios and AI for Digital Twins

abstract: Digital twins are an important technology for advancing mobile communications, specially in use cases that require simultaneously simulating the wireless channel, 3D scenes and machine learning. Aiming at providing a solution to this demand, this work describes a modular co-simulation methodology called CAVIAR. Here, CAVIAR is upgraded to support a message passing library and enable the virtual counterpart of a digital twin system using different 6G-related simulators. The main contributions of this work are the detailed description of different CAVIAR architectures, the implementation of this methodology to assess a 6G use case of UAV-based search and rescue mission (SAR), and the generation of benchmarking data about the computational resource usage. For executing the SAR co-simulation we adopt five open-source solutions: the physical and link level network simulator Sionna, the simulator for autonomous vehicles AirSim, scikit-learn for training a decision tree for MIMO beam selection, Yolov8 for the detection of rescue targets and NATS for message passing. Results for the implemented SAR use case suggest that the methodology can run in a single machine, with the main demanded resources being the CPU processing and the GPU memory.


title: Projectively flat foliations

abstract: We describe the structure of regular codimension $1$ foliations with numerically projectively flat tangent bundle on complex projective manifolds of dimension at least $4$. Along the way, we prove that either the normal bundle of a regular codimension $1$ foliation is pseudo-effective, or its conormal bundle is nef.


title: Exploiting Data Hierarchy as a New Modality for Contrastive Learning

abstract: This work investigates how hierarchically structured data can help neural networks learn conceptual representations of cathedrals. The underlying WikiScenes dataset provides a spatially organized hierarchical structure of cathedral components. We propose a novel hierarchical contrastive training approach that leverages a triplet margin loss to represent the data's spatial hierarchy in the encoder's latent space. As such, the proposed approach investigates if the dataset structure provides valuable information for self-supervised learning. We apply t-SNE to visualize the resultant latent space and evaluate the proposed approach by comparing it with other dataset-specific contrastive learning methods using a common downstream classification task. The proposed method outperforms the comparable weakly-supervised and baseline methods. Our findings suggest that dataset structure is a valuable modality for weakly-supervised learning.


title: Unruh-De Witt detectors, Bell-CHSH inequality and Tomita-Takesaki theory

abstract: The interaction between Unruh-De Witt spin $1/2$ detectors and a real scalar field is scrutinized by making use of the Tomita-Takesaki modular theory as applied to the Von Neumann algebra of the Weyl operators. The use of the modular theory enables to evaluate in an exact way the trace over the quantum field degrees of freedom. The resulting density matrix is employed to the study of the Bell-CHSH correlator. It turns out that, as a consequence of the interaction with the quantum field, the violation of the Bell-CHSH inequality exhibits a decreasing as compared to the case in which the scalar field is absent.


title: Enhancing Context Through Contrast

abstract: Neural machine translation benefits from semantically rich representations. Considerable progress in learning such representations has been achieved by language modelling and mutual information maximization objectives using contrastive learning. The language-dependent nature of language modelling introduces a trade-off between the universality of the learned representations and the model's performance on the language modelling tasks. Although contrastive learning improves performance, its success cannot be attributed to mutual information alone. We propose a novel Context Enhancement step to improve performance on neural machine translation by maximizing mutual information using the Barlow Twins loss. Unlike other approaches, we do not explicitly augment the data but view languages as implicit augmentations, eradicating the risk of disrupting semantic information. Further, our method does not learn embeddings from scratch and can be generalised to any set of pre-trained embeddings. Finally, we evaluate the language-agnosticism of our embeddings through language classification and use them for neural machine translation to compare with state-of-the-art approaches.


title: Malla: Demystifying Real-world Large Language Model Integrated Malicious Services

abstract: The underground exploitation of large language models (LLMs) for malicious services (i.e., Malla) is witnessing an uptick, amplifying the cyber threat landscape and posing questions about the trustworthiness of LLM technologies. However, there has been little effort to understand this new cybercrime, in terms of its magnitude, impact, and techniques. In this paper, we conduct the first systematic study on 212 real-world Mallas, uncovering their proliferation in underground marketplaces and exposing their operational modalities. Our study discloses the Malla ecosystem, revealing its significant growth and impact on today's public LLM services. Through examining 212 Mallas, we uncovered eight backend LLMs used by Mallas, along with 182 prompts that circumvent the protective measures of public LLM APIs. We further demystify the tactics employed by Mallas, including the abuse of uncensored LLMs and the exploitation of public LLM APIs through jailbreak prompts. Our findings enable a better understanding of the real-world exploitation of LLMs by cybercriminals, offering insights into strategies to counteract this cybercrime.


title: Freeform terahertz structures fabricated by multi-photon lithography and metal coating

abstract: Direct-write multi-photon laser lithography (MPL) combines highest resolution on the nanoscale with essentially unlimited 3D design freedom. Over the previous years, the groundbreaking potential of this technique has been demonstrated in various application fields, including micromechanics, material sciences, microfluidics, life sciences as well as photonics, where in-situ printed optical coupling elements offer new perspectives for package-level system integration. However, millimeter-wave (mmW) and terahertz (THz) devices could not yet leverage the unique strengths of MPL, even though the underlying devices and structures could also greatly benefit from 3D freeform microfabrication. One of the key challenges in this context is the fact that functional mmW and THz structures require materials with high electrical conductivity and low dielectric losses, which are not amenable to structuring by multi-photon polymerization. In this work, we introduce and experimentally demonstrate a novel approach that allows to leverage MPL for fabricating high-performance mmW and THz structures with hitherto unachieved functionalities. Our concept exploits in-situ printed polymer templates that are selectively coated through highly directive metal deposition techniques in combination with precisely aligned 3D-printed shadowing structures. The resulting metal-coated freeform structures offer high surface quality in combination with low dielectric losses and conductivities comparable to bulk material values, while lending themselves to fabrication on planar mmW/THz circuits. We experimentally show the viability of our concept by demonstrating a series of functional THz structures such as THz interconnects, probe tips, and suspended antennas. We believe that our approach offers disruptive potential in the field of mmW and THz technology and may unlock an entirely new realm of laser-based 3D manufacturing.


title: Spatiotemporally adaptive compression for scientific dataset with feature preservation -- a case study on simulation data with extreme climate events analysis

abstract: Scientific discoveries are increasingly constrained by limited storage space and I/O capacities. For time-series simulations and experiments, their data often need to be decimated over timesteps to accommodate storage and I/O limitations. In this paper, we propose a technique that addresses storage costs while improving post-analysis accuracy through spatiotemporal adaptive, error-controlled lossy compression. We investigate the trade-off between data precision and temporal output rates, revealing that reducing data precision and increasing timestep frequency lead to more accurate analysis outcomes. Additionally, we integrate spatiotemporal feature detection with data compression and demonstrate that performing adaptive error-bounded compression in higher dimensional space enables greater compression ratios, leveraging the error propagation theory of a transformation-based compressor. To evaluate our approach, we conduct experiments using the well-known E3SM climate simulation code and apply our method to compress variables used for cyclone tracking. Our results show a significant reduction in storage size while enhancing the quality of cyclone tracking analysis, both quantitatively and qualitatively, in comparison to the prevalent timestep decimation approach. Compared to three state-of-the-art lossy compressors lacking feature preservation capabilities, our adaptive compression framework improves perfectly matched cases in TC tracking by 26.4-51.3% at medium compression ratios and by 77.3-571.1% at large compression ratios, with a merely 5-11% computational overhead.


title: Separating symmetric polynomials over finite fields

abstract: The set $S(n)$ of all elementary symmetric polynomials in $n$ variables is a minimal generating set for the algebra of symmetric polynomials in $n$ variables, but over a finite field ${\mathbb F}_q$ the set $S(n)$ is not a minimal separating set for symmetric polynomials in general. We determined when $S(n)$ is a minimal separating set for the algebra of symmetric polynomials having the least possible number of elements.


title: Comparison of Microservice Call Rate Predictions for Replication in the Cloud

abstract: Today, many users deploy their microservice-based applications with various interconnections on a cluster of Cloud machines, subject to stochastic changes due to dynamic user requirements. To address this problem, we compare three machine learning (ML) models for predicting the microservice call rates based on the microservice times and aiming at estimating the scalability requirements. We apply the linear regression (LR), multilayer perception (MLP), and gradient boosting regression (GBR) models on the Alibaba microservice traces. The prediction results reveal that the LR model reaches a lower training time than the GBR and MLP models. However, the GBR reduces the mean absolute error and the mean absolute percentage error compared to LR and MLP models. Moreover, the prediction results show that the required number of replicas for each microservice by the gradient boosting model is close to the actual test data without any prediction.


title: Rings Whose Non-Invertible Elements Are Uniquely Strongly Clean

abstract: We define and explore in details the class of GUSC rings, that are those rings whose non-invertible elements are uniquely strongly clean. These rings are a common generalization of the so-called USC rings, introduced by Chen-Wang-Zhou in J. Pure & Appl. Algebra (2009), which are rings whose elements are uniquely strongly clean. These rings also generalize the so-called GUC rings, defined by Guo-Jiang in Bull. Transilvania Univ. Bra\c{s}ov (2023), which are rings whose non-invertible elements are uniquely clean.


title: PIXAR: Auto-Regressive Language Modeling in Pixel Space

abstract: Recent work showed the possibility of building open-vocabulary large language models (LLMs) that directly operate on pixel representations. These models are implemented as autoencoders that reconstruct masked patches of rendered text. However, these pixel-based LLMs are limited to discriminative tasks (e.g., classification) and, similar to BERT, cannot be used to generate text. Therefore, they cannot be used for generative tasks such as free-form question answering. In this work, we introduce PIXAR, the first pixel-based autoregressive LLM that performs text generation. Consisting of only a decoder, PIXAR can perform free-form generative tasks while keeping the number of parameters on par with previous encoder-decoder models. Furthermore, we highlight the challenges of generating text as non-noisy images and show this is due to using a maximum likelihood objective. To overcome this problem, we propose an adversarial pretraining stage that improves the readability and accuracy of PIXAR by 8.1 on LAMBADA and 8.5 on bAbI -- making it comparable to GPT-2 on text generation tasks. This paves the way to build open-vocabulary LLMs that operate on perceptual input only and calls into question the necessity of the usual symbolic input representation, i.e., text as (sub)tokens.


title: Attention and Autoencoder Hybrid Model for Unsupervised Online Anomaly Detection

abstract: This paper introduces a hybrid attention and autoencoder (AE) model for unsupervised online anomaly detection in time series. The autoencoder captures local structural patterns in short embeddings, while the attention model learns long-term features, facilitating parallel computing with positional encoding. Unique in its approach, our proposed hybrid model combines attention and autoencoder for the first time in time series anomaly detection. It employs an attention-based mechanism, akin to the deep transformer model, with key architectural modifications for predicting the next time step window in the autoencoder's latent space. The model utilizes a threshold from the validation dataset for anomaly detection and introduces an alternative method based on analyzing the first statistical moment of error, improving accuracy without dependence on a validation dataset. Evaluation on diverse real-world benchmark datasets and comparing with other well-established models, confirms the effectiveness of our proposed model in anomaly detection.


title: Mixing, heating and ion-neutral decoupling induced by Rayleigh-Taylor instability in prominence-corona transition regions

abstract: This study explores non-linear development of the magnetized Rayleigh-Taylor instability (RTI) in a prominence-corona transition region. Using a two-fluid model of a partially ionized plasma, we compare RTI simulations for several different magnetic field configurations. We follow prior descriptions of the numerical prominence model [Popescu Braileanu et al., 2021a,b, 2023] and explore the charged-neutral fluid coupling and plasma heating in a two-dimensional mixing layer for different magnetic field configurations. We also investigate how the shear in magnetic field surrounding a prominence may impact the release of the gravitational potential energy of the prominence material. We show that the flow decoupling is strongest in the plane normal to the direction of the magnetic field, where neutral pressure gradients drive ion-neutral drifts and frictional heating is balanced by adiabatic cooling of the expanding prominence material. We also show that magnetic field within the mixing plane can lead to faster non-linear release of the gravitational energy driving the RTI, while more efficiently heating the plasma via viscous dissipation of associated plasma flows. We relate the computational results to potential observables by highlighting how integrating over under-resolved two-fluid sub-structure may lead to misinterpretation of observational data.


title: Addressing The Knapsack Challenge Through Cultural Algorithm Optimization

abstract: The "0-1 knapsack problem" stands as a classical combinatorial optimization conundrum, necessitating the selection of a subset of items from a given set. Each item possesses inherent values and weights, and the primary objective is to formulate a selection strategy that maximizes the total value while adhering to a predefined capacity constraint. In this research paper, we introduce a novel variant of Cultural Algorithms tailored specifically for solving 0-1 knapsack problems, a well-known combinatorial optimization challenge. Our proposed algorithm incorporates a belief space to refine the population and introduces two vital functions for dynamically adjusting the crossover and mutation rates during the evolutionary process. Through extensive experimentation, we provide compelling evidence of the algorithm's remarkable efficiency in consistently locating the global optimum, even in knapsack problems characterized by high dimensions and intricate constraints.


title: The Pitch-class Integer Theorem

abstract: Mathematical music theory has assumed without proof that musical notes can be associated with the equivalence classes of $\mathbb{Z}_n$. We contest the triviality of this assertion, which we call the Pitch-class Integer Theorem (PCIT). Since the existing literature assumes the PCIT without proof, the mathematics to rigorously treat the PCIT does not yet exist. Thus, we construct an axiomatic proof of the PCIT to support the existing mathematical models of music theory.


title: Optimal Adaptive SMART Designs with Binary Outcomes

abstract: In a sequential multiple-assignment randomized trial (SMART), a sequence of treatments is given to a patient over multiple stages. In each stage, randomization may be done to allocate patients to different treatment groups. Even though SMART designs are getting popular among clinical researchers, the methodologies for adaptive randomization at different stages of a SMART are few and not sophisticated enough to handle the complexity of optimal allocation of treatments at every stage of a trial. Lack of optimal allocation methodologies can raise serious concerns about SMART designs from an ethical point of view. In this work, we develop an optimal adaptive allocation procedure to minimize the expected number of treatment failures for a SMART with a binary primary outcome. Issues related to optimal adaptive allocations are explored theoretically with supporting simulations. The applicability of the proposed methodology is demonstrated using a recently conducted SMART study named M-Bridge for developing universal and resource-efficient dynamic treatment regimes (DTRs) for incoming first-year college students as a bridge to desirable treatments to address alcohol-related risks.


title: Surface recoil force on dielectric nano--particles enhancement via graphene acoustic surface plasmons excitation: non--local effects consideration

abstract: Controlling opto--mechanical interactions at sub--wavelength levels is of great importance in academic science and nano--particle manipulation technologies. This letter focuses on the improvement of the recoil force on nano--particles placed close to a graphene--dielectric--metal structure. The momentum conservation involving the non--symmetric excitation of acoustic surface plasmons (ASPs), via near field circularly polarized dipolar scattering, % induced by the circular dipole moment on the nano--particle, implies the occurrence of a huge momentum kick on the nano--particle. Owing to the high wave--vector values entailed in the near field scattering process, it has been necessary to consider %apply the non--locality of the graphene electrical conductivity to explore the influence of the scattering loss on this large--wave--vector region, which is neglected by the semi--classical model. Surprisingly, %our results show that %, \textcolor{red}{depending on the particle position and the dielectric thickness layer}, the contribution of ASPs to the recoil force %can be is negligibly modified when the non--local effects are incorporated through the graphene conductivity. On the contrary, our results show that the contribution of the non--local scattering loss to this force becomes dominant when the particle is placed very close to the graphene sheet and that it is mostly independent of the dielectric thickness layer. Our work can be helpful for designing new and better performing large--plasmon momentum opto--mechanical structures using scattering highly dependent of the polarization for moving dielectric nano--particles.


title: Negatively dependent optimal risk sharing

abstract: We analyze the problem of optimally sharing risk using allocations that exhibit counter-monotonicity, the most extreme form of negative dependence. Counter-monotonic allocations take the form of either "winner-takes-all" lotteries or "loser-loses-all" lotteries, and we respectively refer to these (normalized) cases as jackpot or scapegoat allocations. Our main theorem, the counter-monotonic improvement theorem, states that for a given set of random variables that are either all bounded from below or all bounded from above, one can always find a set of counter-monotonic random variables such that each component is greater or equal than its counterpart in the convex order. We show that Pareto optimal allocations, if they exist, must be jackpot allocations when all agents are risk seeking. We essentially obtain the opposite when all agents have discontinuous Bernoulli utility functions, as scapegoat allocations maximize the probability of being above the discontinuity threshold. We also consider the case of rank-dependent expected utility (RDU) agents and find conditions which guarantee that RDU agents prefer jackpot allocations. We provide an application for the mining of cryptocurrencies and show that in contrast to risk-averse miners, RDU miners with small computing power never join a mining pool. Finally, we characterize the competitive equilibria with risk-seeking agents, providing a first and second fundamental theorem of welfare economics where all equilibrium allocations are jackpot allocations.


title: Designing a Socially Assistive Robot to Support Older Adults with Low Vision

abstract: Socially assistive robots (SARs) have shown great promise in supplementing and augmenting interventions to support the physical and mental well-being of older adults. However, past work has not yet explored the potential of applying SAR to lower the barriers of long-term low vision rehabilitation (LVR) interventions for older adults. In this work, we present a user-informed design process to validate the motivation and identify major design principles for developing SAR for long-term LVR. To evaluate user-perceived usefulness and acceptance of SAR in this novel domain, we performed a two-phase study through user surveys. First, a group (n=38) of older adults with LV completed a mailed-in survey. Next, a new group (n=13) of older adults with LV saw an in-clinic SAR demo and then completed the survey. The study participants reported that SARs would be useful, trustworthy, easy to use, and enjoyable while providing socio-emotional support to augment LVR interventions. The in-clinic demo group reported significantly more positive opinions of the SAR's capabilities than did the baseline survey group that used mailed-in forms without the SAR demo.


title: Extended block Hessenberg process for the evaluation of matrix functions

abstract: In the present paper, we propose a block variant of the extended Hessenberg process for computing approximations of matrix functions and other problems producing large-scale matrices. Applications to the computation of a matrix function such as f(A)V, where A is an nxn large sparse matrix, V is an nxp block with p<<n, and f is a function are presented. Solving shifted linear systems with multiple right hand sides are also given. Computing approximations of these matrix problems appear in many scientific and engineering applications. Different numerical experiments are provided to show the effectiveness of the proposed method for these problems.


title: Walnut Detection Through Deep Learning Enhanced by Multispectral Synthetic Images

abstract: The accurate identification of walnuts within orchards brings forth a plethora of advantages, profoundly amplifying the efficiency and productivity of walnut orchard management. Nevertheless, the unique characteristics of walnut trees, characterized by their closely resembling shapes, colors, and textures between the walnuts and leaves, present a formidable challenge in precisely distinguishing between them during the annotation process. In this study, we present a novel approach to improve walnut detection efficiency, utilizing YOLOv5 trained on an enriched image set that incorporates both real and synthetic RGB and NIR images. Our analysis comparing results from our original and augmented datasets shows clear improvements in detection when using the synthetic images.


title: Generalized Ricci flow on aligned homogeneous spaces

abstract: The fixed points of the generalized Ricci flow are the Bismut Ricci flat metrics, i.e., a generalized metric $(g,H)$ on a manifold $M$, where $g$ is a Riemannian metric and $H$ a closed $3$-form, such that $H$ is $g$-harmonic and $\operatorname{Rc}(g)=\tfrac{1}{4} H_g^2$. Given two standard Einstein homogeneous spaces $G_i/K$, where each $G_i$ is a compact simple Lie group and $K$ is a closed subgroup of them holding some extra assumption, we consider $M = G_1 \times G_2 / \Delta K$. Recently, Lauret and Will proved the existence of a Bismut Ricci flat metric on any of these spaces. We proved that this metric is always asymptotically stable for the generalized Ricci flow on $M$ among a subset of $G$-invariant metrics and, if $G_1 = G_2$, then it is globally stable.


title: 3GPP Release 18 Wake-up Receiver: Feature Overview and Evaluations

abstract: Enhancing the energy efficiency of devices stands as one of the key requirements in the fifth-generation (5G) cellular network and its evolutions toward the next generation wireless technology. Specifically, for battery-limited Internet-of-Things (IoT) devices where downlink monitoring significantly contributes to energy consumption, efficient solutions are required for power saving while addressing performance tradeoffs. In this regard, the use of a low-power wake-up receiver (WUR) and wake-up signal (WUS) is an attractive solution for reducing the energy consumption of devices without compromising the downlink latency. This paper provides an overview of the standardization study on the design of low-power WUR and WUS within Release 18 of the third-generation partnership project (3GPP). We describe design principles, receiver architectures, waveform characteristics, and device procedures upon detection of WUS. In addition, we provide representative results to show the performance of the WUR in terms of power saving, coverage, and network overhead along with highlighting design tradeoffs.


title: On Shifted Contact Derived Artin Stacks

abstract: This is a sequel of our previous work, arXiv:2209.09686, on the development of derived contact geometry, in which we formally introduced shifted contact structures on derived stacks and proved some results for $k$-shifted contact derived schemes, with $k<0$. In this paper, we extend these results from derived schemes to derived Artin stacks. In brief, we first show that for $k<0$, every $k$-shifted contact derived Artin stack admits a contact Darboux atlas. Secondly, we canonically describe the symplectification of a derived Artin stack equipped with a $k$-shifted contact structure, where $k<0$. Lastly, we give several constructions of contact derived stacks using certain cotangent stacks and shifted prequantization structures.


title: A remark on normal closures in free products of groups

abstract: It is shown that a nontrivial normal subgroup $N$ of a group $G$ is a free factor of the $N$'s normal closure in the $G$'s free product with arbitrary nontrivial groups.


title: A deep learning framework for jointly extracting spectra and source-count distributions in astronomy

abstract: Astronomical observations typically provide three-dimensional maps, encoding the distribution of the observed flux in (1) the two angles of the celestial sphere and (2) energy/frequency. An important task regarding such maps is to statistically characterize populations of point sources too dim to be individually detected. As the properties of a single dim source will be poorly constrained, instead one commonly studies the population as a whole, inferring a source-count distribution (SCD) that describes the number density of sources as a function of their brightness. Statistical and machine learning methods for recovering SCDs exist; however, they typically entirely neglect spectral information associated with the energy distribution of the flux. We present a deep learning framework able to jointly reconstruct the spectra of different emission components and the SCD of point-source populations. In a proof-of-concept example, we show that our method accurately extracts even complex-shaped spectra and SCDs from simulated maps.

categories: astro-ph.IM astro-ph.CO astro-ph.HE cs.LG


title: MTAC: Hierarchical Reinforcement Learning-based Multi-gait Terrain-adaptive Quadruped Controller

abstract: Urban search and rescue missions require rapid first response to minimize loss of life and damage. Often, such efforts are assisted by humanitarian robots which need to handle dynamic operational conditions such as uneven and rough terrains, especially during mass casualty incidents like an earthquake. Quadruped robots, owing to their versatile design, have the potential to assist in such scenarios. However, control of quadruped robots in dynamic and rough terrain environments is a challenging problem due to the many degrees of freedom of these robots. Current locomotion controllers for quadrupeds are limited in their ability to produce multiple adaptive gaits, solve tasks in a time and resource-efficient manner, and require tedious training and manual tuning procedures. To address these challenges, we propose MTAC: a multi-gait terrain-adaptive controller, which utilizes a Hierarchical reinforcement learning (HRL) approach while being time and memory-efficient. We show that our proposed method scales well to a diverse range of environments with similar compute times as state-of-the-art methods. Our method showed greater than 75% on most tasks, outperforming previous work on the majority of test cases.


title: Modelling pathwise uncertainty of Stochastic Differential Equations samplers via Probabilistic Numerics

abstract: Probabilistic ordinary differential equation (ODE) solvers have been introduced over the past decade as uncertainty-aware numerical integrators. They typically proceed by assuming a functional prior to the ODE solution, which is then queried on a grid to form a posterior distribution over the ODE solution. As the queries span the integration interval, the approximate posterior solution then converges to the true deterministic one. Gaussian ODE filters, in particular, have enjoyed a lot of attention due to their computational efficiency, the simplicity of their implementation, as well as their provable fast convergence rates. In this article, we extend the methodology to stochastic differential equations (SDEs) and propose a probabilistic simulator for SDEs. Our approach involves transforming the SDE into a sequence of random ODEs using piecewise differentiable approximations of the Brownian motion. We then apply probabilistic ODE solvers to the individual ODEs, resulting in a pathwise probabilistic solution to the SDE\@. We establish worst-case strong $1.5$ local and $1.0$ global convergence orders for a specific instance of our method. We further show how we can marginalise the Brownian approximations, by incorporating its coefficients as part of the prior ODE model, allowing for computing exact transition densities under our model. Finally, we numerically validate the theoretical findings, showcasing reasonable weak convergence properties in the marginalised version.


title: Revisiting the Fr\'echet distance between piecewise smooth curves

abstract: Since its introduction to computational geometry by Alt and Godau in 1992, the Fr\'echet distance has been a mainstay of algorithmic research on curve similarity computations. The focus of the research has been on comparing polygonal curves, with the notable exception of an algorithm for the decision problem for planar piecewise smooth curves due to Rote (2007). We present an algorithm for the decision problem for piecewise smooth curves that is both conceptually simpler and naturally extends to the first algorithm for the problem for piecewise smooth curves in $\mathbb{R}^d$. We assume that the algorithm is given two continuous curves, each consisting of a sequence of $m$, resp.\ $n$, smooth pieces, where each piece belongs to a sufficiently well-behaved class of curves, such as the set of algebraic curves of bounded degree. We introduce a decomposition of the free space diagram into a controlled number of pieces that can be used to solve the decision problem similarly to the polygonal case, in $O(mn)$ time, leading to a computation of the Fr\'echet distance that runs in $O(mn\log(mn))$ time. Furthermore, we study approximation algorithms for piecewise smooth curves that are also $c$-packed for some fixed value $c$. We adapt the existing framework for $(1+\epsilon)$-approximations and show that an approximate decision can be computed in $O(cn/\epsilon)$ time for any $\epsilon > 0$.


title: Classifying cow stall numbers using YOLO

abstract: This paper introduces the CowStallNumbers dataset, a collection of images extracted from videos focusing on cow teats, designed to advance the field of cow stall number detection. The dataset comprises 1042 training images and 261 test images, featuring stall numbers ranging from 0 to 60. To enhance the dataset, we performed fine-tuning on a YOLO model and applied data augmentation techniques, including random crop, center crop, and random rotation. The experimental outcomes demonstrate a notable 95.4\% accuracy in recognizing stall numbers.


title: Weakly Augmented Variational Autoencoder in Time Series Anomaly Detection

abstract: Due to their unsupervised training and uncertainty estimation, deep Variational Autoencoders (VAEs) have become powerful tools for reconstruction-based Time Series Anomaly Detection (TSAD). Existing VAE-based TSAD methods, either statistical or deep, tune meta-priors to estimate the likelihood probability for effectively capturing spatiotemporal dependencies in the data. However, these methods confront the challenge of inherent data scarcity, which is often the case in anomaly detection tasks. Such scarcity easily leads to latent holes, discontinuous regions in latent space, resulting in non-robust reconstructions on these discontinuous spaces. We propose a novel generative framework that combines VAEs with self-supervised learning (SSL) to address this issue.


title: The Hartogs extension phenomenon and open embeddings, proper maps, compactifications, cohomologies

abstract: We use classical homological algebra methods to get results on the Hartogs extension phenomenon for holomorphic sections of holomorphic vector bundles over complex analytic varieties. Namely, we study behaviours of the Hartogs extension property with respect to the open embeddings, proper maps, compactifications, and relations with the compact supports first cohomology and with properties of boundaries of complex analytic varieties. As an application, we get a convex-geometric criterion of the Hartogs phenomenon for complex almost homogeneous algebraic $G$-varieties, where $G$ is a semiabelian variety.


title: Rediscovering Ranganathan: A Prismatic View of His Life through the Knowledge Graph Spectrum

abstract: The present study puts forward a novel biographical knowledge graph (KG) on Prof. S. R. Ranganathan, one of the pioneering figures in the Library and Information Science (LIS) domain. It has been found that most of the relevant facts about Ranganathan exist in a variety of resources (e.g., books, essays, journal articles, websites, blogs, etc.), offering information in a fragmented and piecemeal way. With this dedicated KG (henceforth known as RKG), we hope to furnish a 360-degree view of his life and achievements. To the best of our knowledge, such a dedicated representation is unparalleled in its scope and coverage: using state-of-the-art technology for anyone to openly access, use/re-use, and contribute. Inspired by Ranganathan's theories and ideas, the KG was developed using a "facet-based methodology" at two levels: in the identification of the vital biographical aspects and the development of the ontological model. Finally, with this study, we call for a community-driven effort to enhance the KG and pay homage to the Father of Library Science on the hundredth anniversary of his revitalizing the LIS domain through his enduring participation.


title: Nuclear Thermo-Electric Thruster

abstract: We present a theoretical analysis of an innovative combination of a nuclear thermal and electromagnetic (EM) thruster. Specifically, we scrutinize the thermodynamics involved in integrating a nuclear thermal reactor with an expansion turbine. This configuration facilitates the generation of substantial electrical power, which is then utilized to power an EM thruster (similar to an afterburner). This process results in a notable increase in the ISP from 900 to 1200 without the necessity for thermal radiators. Furthermore, by incorporating thermal radiators, the ISP can be further increased to approximately 4000. This enhancement allows for a significant reduction in transit time to destinations such as Mars and the outer and inner planets. We provide several examples to illustrate the potential applications of this innovative propulsion system.


title: Volatility models in practice: Rough, Path-dependent or Markovian?

abstract: An extensive empirical study of the class of Volterra Bergomi models using SPX options data between 2011 and 2022 reveals the following fact-check on two fundamental claims echoed in the rough volatility literature: Do rough volatility models with Hurst index $H \in (0,1/2)$ really capture well SPX implied volatility surface with very few parameters? No, rough volatility models are inconsistent with the global shape of SPX smiles. They suffer from severe structural limitations imposed by the roughness component, with the Hurst parameter $H \in (0,1/2)$ controlling the smile in a poor way. In particular, the SPX at-the-money skew is incompatible with the power-law shape generated by rough volatility models. The skew of rough volatility models increases too fast on the short end, and decays too slow on the longer end where "negative" $H$ is sometimes needed. Do rough volatility models really outperform consistently their classical Markovian counterparts? No, for short maturities they underperform their one-factor Markovian counterpart with the same number of parameters. For longer maturities, they do not systematically outperform the one-factor model and significantly underperform when compared to an under-parametrized two-factor Markovian model with only one additional calibratable parameter. On the positive side: our study identifies a (non-rough) path-dependent Bergomi model and an under-parametrized two-factor Markovian Bergomi model that consistently outperform their rough counterpart in capturing SPX smiles between one week and three years with only 3 to 4 calibratable parameters. \end{abstract}


title: An Investigation of Large Language Models for Real-World Hate Speech Detection

abstract: Hate speech has emerged as a major problem plaguing our social spaces today. While there have been significant efforts to address this problem, existing methods are still significantly limited in effectively detecting hate speech online. A major limitation of existing methods is that hate speech detection is a highly contextual problem, and these methods cannot fully capture the context of hate speech to make accurate predictions. Recently, large language models (LLMs) have demonstrated state-of-the-art performance in several natural language tasks. LLMs have undergone extensive training using vast amounts of natural language data, enabling them to grasp intricate contextual details. Hence, they could be used as knowledge bases for context-aware hate speech detection. However, a fundamental problem with using LLMs to detect hate speech is that there are no studies on effectively prompting LLMs for context-aware hate speech detection. In this study, we conduct a large-scale study of hate speech detection, employing five established hate speech datasets. We discover that LLMs not only match but often surpass the performance of current benchmark machine learning models in identifying hate speech. By proposing four diverse prompting strategies that optimize the use of LLMs in detecting hate speech. Our study reveals that a meticulously crafted reasoning prompt can effectively capture the context of hate speech by fully utilizing the knowledge base in LLMs, significantly outperforming existing techniques. Furthermore, although LLMs can provide a rich knowledge base for the contextual detection of hate speech, suitable prompting strategies play a crucial role in effectively leveraging this knowledge base for efficient detection.


title: Optimal quantum reservoir computing for market forecasting: An application to fight food price crises

abstract: The emerging technology of quantum reservoir computing (QRC) stands out in the noisy-intermediate scale quantum era (NISQ) for its exceptional efficiency and adaptability. By harnessing the power of quantum computing, it holds a great potential to untangle complex economic markets, as demonstrated here in an application to food price crisis prediction - a critical effort in combating food waste and establishing sustainable food chains. Nevertheless, a pivotal consideration for its success is the optimal design of the quantum reservoirs, ensuring both high performance and compatibility with current devices. In this paper, we provide an efficient criterion for that purpose, based on the complexity of the reservoirs. Our results emphasize the crucial role of optimal design in the algorithm performance, especially in the absence of external regressor variables, showcasing the potential for novel insights and transformative applications in the field of time series prediction using quantum computing.


title: Enhancement of Ising superconductivity in monolayer NbSe$_2$ via surface fluorination

abstract: Recently discovered Ising superconductors have garnered considerable interest due to their anomalously large in-plane upper critical fields ($B_{c2}$). However, the requisite strong spin-orbital coupling in the Ising pairing mechanism generally renders these superconductors heavy-element dominant with notably low superconducting transition temperatures ($T_c$). Here, based on the Migdal-Eliashberg theory and the mean-field Bogoliubov-de Gennes Hamiltonian, we demonstrate a significant enhancement of Ising superconductivity in monolayer NbSe$_2$ through surface fluorination, as evidenced by concomitant improvements in $T_c$ and $B_{c2}$. This enhancement arises from three predominant factors. Firstly, fluorine atoms symmetrically and stably adhere to both sides of the monolayer NbSe$_2$, thereby maintaining the out-of-plane mirror symmetry and locking carrier spins out-of-plane. Secondly, fluorination suppresses the charge density wave in monolayer NbSe$_2$ and induces a van Hove singularity in the vicinity of the Fermi level, leading to a marked increase in the number of carriers and, consequently, strengthening the electron-phonon coupling (EPC). Lastly, the appearance of fluorine-related, low-frequency phonon modes further augments the EPC. Our findings suggest a promising avenue to elevate $T_c$ in two-dimensional Ising superconductors without compromising their Ising pairing.


title: Image Inpainting via Tractable Steering of Diffusion Models

abstract: Diffusion models are the current state of the art for generating photorealistic images. Controlling the sampling process for constrained image generation tasks such as inpainting, however, remains challenging since exact conditioning on such constraints is intractable. While existing methods use various techniques to approximate the constrained posterior, this paper proposes to exploit the ability of Tractable Probabilistic Models (TPMs) to exactly and efficiently compute the constrained posterior, and to leverage this signal to steer the denoising process of diffusion models. Specifically, this paper adopts a class of expressive TPMs termed Probabilistic Circuits (PCs). Building upon prior advances, we further scale up PCs and make them capable of guiding the image generation process of diffusion models. Empirical results suggest that our approach can consistently improve the overall quality and semantic coherence of inpainted images across three natural image datasets (i.e., CelebA-HQ, ImageNet, and LSUN) with only ~10% additional computational overhead brought by the TPM. Further, with the help of an image encoder and decoder, our method can readily accept semantic constraints on specific regions of the image, which opens up the potential for more controlled image generation tasks. In addition to proposing a new framework for constrained image generation, this paper highlights the benefit of more tractable models and motivates the development of expressive TPMs.


title: Accurate and Scalable Estimation of Epistemic Uncertainty for Graph Neural Networks

abstract: While graph neural networks (GNNs) are widely used for node and graph representation learning tasks, the reliability of GNN uncertainty estimates under distribution shifts remains relatively under-explored. Indeed, while post-hoc calibration strategies can be used to improve in-distribution calibration, they need not also improve calibration under distribution shift. However, techniques which produce GNNs with better intrinsic uncertainty estimates are particularly valuable, as they can always be combined with post-hoc strategies later. Therefore, in this work, we propose G-$\Delta$UQ, a novel training framework designed to improve intrinsic GNN uncertainty estimates. Our framework adapts the principle of stochastic data centering to graph data through novel graph anchoring strategies, and is able to support partially stochastic GNNs. While, the prevalent wisdom is that fully stochastic networks are necessary to obtain reliable estimates, we find that the functional diversity induced by our anchoring strategies when sampling hypotheses renders this unnecessary and allows us to support G-$\Delta$UQ on pretrained models. Indeed, through extensive evaluation under covariate, concept and graph size shifts, we show that G-$\Delta$UQ leads to better calibrated GNNs for node and graph classification. Further, it also improves performance on the uncertainty-based tasks of out-of-distribution detection and generalization gap estimation. Overall, our work provides insights into uncertainty estimation for GNNs, and demonstrates the utility of G-$\Delta$UQ in obtaining reliable estimates.


title: Algorithms for synthesis of three-dimensional warehouse systems configurations optimal in terms of minimum cost and maximum speed

abstract: Algorithms for creating optimal configurations of warehouse threedimensional systems consisting of unified transport and warehouse modules are presented in the article. The constructions of these modules, and methods for constructing a warehouse array map are described. Each module has a cubic shape and is connected to each other with any of the 6 faces. In order to save money, some of the modules do not have drives to move the load in the vertical direction. When building a warehouse, a problem to determine the optimal warehouse configuration in terms of cost-performance ratio arises.


title: Dynamic and Memory-efficient Shape Based Methodologies for User Type Identification in Smart Grid Applications

abstract: Detecting behind-the-meter (BTM) equipment and major appliances at the residential level and tracking their changes in real time is important for aggregators and traditional electricity utilities. In our previous work, we developed a systematic solution called IRMAC to identify residential users' BTM equipment and applications from their imported energy data. As a part of IRMAC, a Similarity Profile (SP) was proposed for dimensionality reduction and extracting self-join similarity from the end users' daily electricity usage data. The proposed SP calculation, however, was computationally expensive and required a significant amount of memory at the user's end. To realise the benefits of edge computing, in this paper, we propose and assess three computationally-efficient updating solutions, namely additive, fixed memory, and codebook-based updating methods. Extensive simulation studies are carried out using real PV users' data to evaluate the performance of the proposed methods in identifying PV users, tracking changes in real time, and examining memory usage. We found that the Codebook-based solution reduces more than 30\% of the required memory without compromising the performance of extracting users' features. When the end users' data storage and computation speed are concerned, the fixed-memory method outperforms the others. In terms of tracking the changes, different variations of the fixed-memory method show various inertia levels, making them suitable for different applications.


title: HPX -- An open source C++ Standard Library for Parallelism and Concurrency

abstract: To achieve scalability with today's heterogeneous HPC resources, we need a dramatic shift in our thinking; MPI+X is not enough. Asynchronous Many Task (AMT) runtime systems break down the global barriers imposed by the Bulk Synchronous Programming model. HPX is an open-source, C++ Standards compliant AMT runtime system that is developed by a diverse international community of collaborators called The Ste||ar Group. HPX provides features which allow application developers to naturally use key design patterns, such as overlapping communication and computation, decentralizing of control flow, oversubscribing execution resources and sending work to data instead of data to work. The Ste||ar Group comprises physicists, engineers, and computer scientists; men and women from many different institutions and affiliations, and over a dozen different countries. We are committed to advancing the development of scalable parallel applications by providing a platform for collaborating and exchanging ideas. In this paper, we give a detailed description of the features HPX provides and how they help achieve scalability and programmability, a list of applications of HPX including two large NSF funded collaborations (STORM, for storm surge forecasting; and STAR (OctoTiger) an astro-physics project which runs at 96.8% parallel efficiency on 643,280 cores), and we end with a description of how HPX and the Ste||ar Group fit into the open source community.


title: Impulsive Control on Invariant Surfaces

abstract: An impulsive feedback-adaptive control is developed in order to drive trajectories of a dynamical system towards an invariant manifold with fixed and spaced impulsive controls. The approach requires the explicit knowledge of the set of equations defining the invariant manifold and is based on the concept of stability exponents of invariant manifolds.


title: Periodic cohomology

abstract: We offer a direct proof of an elementary result concerning cohomological periods. As a corollary we show that given a finitely generated stably free resolution of Z over a finite group, two of its modules are free.


title: Hamiltonian isotopies of relatively exact Lagrangians are orientation-preserving

abstract: Given a closed, orientable Lagrangian submanifold $L$ in a symplectic manifold $(X, \omega)$, we show that if $L$ is relatively exact then any Hamiltonian diffeomorphism preserving $L$ setwise must preserve its orientation. In contrast to previous results in this direction, there are no spin hypotheses on $L$. Curiously, the proof uses only mod-2 coefficients in its singular and Floer cohomology rings.