title: Utilizing Explainability Techniques for Reinforcement Learning Model Assurance

abstract: Explainable Reinforcement Learning (XRL) can provide transparency into the decision-making process of a Deep Reinforcement Learning (DRL) model and increase user trust and adoption in real-world use cases. By utilizing XRL techniques, researchers can identify potential vulnerabilities within a trained DRL model prior to deployment, therefore limiting the potential for mission failure or mistakes by the system. This paper introduces the ARLIN (Assured RL Model Interrogation) Toolkit, an open-source Python library that identifies potential vulnerabilities and critical points within trained DRL models through detailed, human-interpretable explainability outputs. To illustrate ARLIN's effectiveness, we provide explainability visualizations and vulnerability analysis for a publicly available DRL model. The open-source code repository is available for download at https://github.com/mitre/arlin.


title: Ontologising Trustworthy in the Telecommunications Domain

abstract: Based upon trusted and confidential computing platforms, telecommunications systems must provide guaranteed security for the processes and data running atop them. This in turn requires us to provide trustworthy systems. The term trustworthy is poorly defined with corresponding misunderstanding and misapplication. We present a definition of this term, as well as others, demonstrate its application against certain telecommunications use cases and address how the learnings from ontologising these structures contribute to standardisation and the necessity for FAIR ontologies across telecommunications standards and hosting organisations.


title: turbo-RANS: Straightforward and Efficient Bayesian Optimization of Turbulence Model Coefficients

abstract: Industrial simulations of turbulent flows often rely on Reynolds-averaged Navier-Stokes (RANS) turbulence models, which contain numerous closure coefficients that need to be calibrated. In this work, we address this issue by proposing a semi-automated calibration of these coefficients using a new framework (referred to as turbo-RANS) based on Bayesian optimization. We introduce the generalized error and default coefficient preference (GEDCP) objective function, which can be used with integral, sparse, or dense reference data for the purpose of calibrating RANS turbulence closure model coefficients. Then, we describe a Bayesian optimization-based algorithm for conducting the calibration of these model coefficients. An in-depth hyperparameter tuning study is conducted to recommend efficient settings for the turbo-RANS optimization procedure. We demonstrate that the performance of the $k$-$\omega$ shear stress transport (SST) and Generalized $k$-$\omega$ (GEKO) turbulence models can be efficiently improved via turbo-RANS, for three example cases: predicting the lift coefficient of an airfoil; predicting the velocity and turbulent kinetic energy fields for a separated flow; and, predicting the wall pressure coefficient distribution for flow through a converging-diverging channel. This work is the first to propose and provide an open-source black-box calibration procedure for turbulence model coefficients based on Bayesian optimization. We propose a data-flexible objective function for the calibration target. Our open-source implementation of the turbo-RANS framework includes OpenFOAM, Ansys Fluent, STAR-CCM+, and solver-agnostic templates for user application.


title: Learning Disentangled Identifiers for Action-Customized Text-to-Image Generation

abstract: This study focuses on a novel task in text-to-image (T2I) generation, namely action customization. The objective of this task is to learn the co-existing action from limited data and generalize it to unseen humans or even animals. Experimental results show that existing subject-driven customization methods fail to learn the representative characteristics of actions and struggle in decoupling actions from context features, including appearance. To overcome the preference for low-level features and the entanglement of high-level features, we propose an inversion-based method Action-Disentangled Identifier (ADI) to learn action-specific identifiers from the exemplar images. ADI first expands the semantic conditioning space by introducing layer-wise identifier tokens, thereby increasing the representational richness while distributing the inversion across different features. Then, to block the inversion of action-agnostic features, ADI extracts the gradient invariance from the constructed sample triples and masks the updates of irrelevant channels. To comprehensively evaluate the task, we present an ActionBench that includes a variety of actions, each accompanied by meticulously selected samples. Both quantitative and qualitative results show that our ADI outperforms existing baselines in action-customized T2I generation. Our project page is at https://adi-t2i.github.io/ADI.


title: IPv6 Bitcoin-Certified Addresses

abstract: A pivotal feature of IPv6 is its plug-and-play capability that enables hosts to integrate seamlessly into networks. In the absence of a trusted authority or security infrastructure, the challenge for hosts is generating their own address and verifying ownership of others. Cryptographically Generated Addresses (CGA) solves this problem by binding IPv6 addresses to hosts' public keys to prove address ownership. CGA generation involves solving a cryptographic puzzle similar to Bitcoin's Proof-of-Work (PoW) to deter address spoofing. Unfortunately, solving the puzzle often causes undesirable address generation delays, which has hindered the adoption of CGA. In this paper, we present Bitcoin-Certified Addresses (BCA), a new technique to bind IPv6 addresses to hosts' public keys. BCA reduces the computational cost of generating addresses by using the PoW computed by Bitcoin nodes to secure the binding. Compared to CGA, BCA provides better protection against spoofing attacks and improves the privacy of hosts. Due to the decentralized nature of the Bitcoin network, BCA avoids reliance on a trusted authority, similar to CGA. BCA shows how the PoW computed by Bitcoin nodes can be reused, which saves costs for hosts and makes Bitcoin mining more efficient.


title: Robustness-Guaranteed Observer-Based Control Strategy with Modularity for Cleantech EMLA-Driven Heavy-Duty Robotic Manipulator

abstract: This paper introduces an innovative observer-based modular control strategy in a class of $n_a$-degree-of-freedom (DoF) fully-electrified heavy-duty robotic manipulators (HDRMs) to (1) guarantee robustness in the presence of uncertainties and disturbances, (2) address the complexities arising from several interacting mechanisms, (3) ensure uniformly exponential stability, and (4) enhance overall control performance. To begin with, the dynamic model of the HDRM actuation system that exploits the synergy between cleantech electromechanical linear actuators (EMLAs) and permanent magnet synchronous motors (PMSMs) is investigated. In addition, the reference trajectories of each joint are computed based on direct collocation with B-Spline curves, and simulations on the 3-DoF HDRM are conducted to extract its key kinematic and dynamic quantities. To guarantee the robust tracking of the computed trajectories by the actual motion states, a novel control methodology called robust subsystem-based adaptive (RSBA) control is enhanced through an adaptive state observer. The RSBA control addresses inaccuracies inherent in motion sensors, modeling errors, non-triangular uncertainties, and both torque and voltage disturbances, to which the EMLA-driven HDRM is susceptible. Furthermore, this approach is presented in a unified generic equation format for all subsystems to mitigate the complexities of the entire control system. By applying the RSBA architecture, the uniformly exponential stability of the EMLA-driven HDRM is proved based on the Lyapunov stability theory. The proposed control algorithm is simulated for the scrutinized mechanism, whereby its efficacy in precisely and quickly tracking reference trajectories, alongside the reduction of torque effort, is validated.


title: New Developments in the Numerical Conformal Bootstrap

abstract: The numerical conformal bootstrap has become in the last 15 years an indispensable tool for studying strongly coupled CFTs in various dimensions. Here we review the main developments in the field in the last 5 years, since the appearance of the previous comprehensive review \cite{Poland:2018epd}. We describe developments in the software ({\tt SDPB 2.0}, {\tt scalar\_blocks}, {\tt blocks\_3d}, {\tt autoboot}, {\tt hyperion}, {\tt simpleboot}), and on the algorithmic side (Delauney triangulation, cutting surface, tiptop, navigator function, skydive). We also describe the main physics applications which were obtained using the new technology.


title: On Learning the Optimal Regularization Parameter in Inverse Problems

abstract: Selecting the best regularization parameter in inverse problems is a classical and yet challenging problem. Recently, data-driven approaches have become popular to tackle this challenge. These approaches are appealing since they do require less a priori knowledge, but their theoretical analysis is limited. In this paper, we propose and study a statistical machine learning approach, based on empirical risk minimization. Our main contribution is a theoretical analysis, showing that, provided with enough data, this approach can reach sharp rates while being essentially adaptive to the noise and smoothness of the problem. Numerical simulations corroborate and illustrate the theoretical findings. Our results are a step towards grounding theoretically data-driven approaches to inverse problems.


title: Learning with Noisy Low-Cost MOS for Image Quality Assessment via Dual-Bias Calibration

abstract: Learning based image quality assessment (IQA) models have obtained impressive performance with the help of reliable subjective quality labels, where mean opinion score (MOS) is the most popular choice. However, in view of the subjective bias of individual annotators, the labor-abundant MOS (LA-MOS) typically requires a large collection of opinion scores from multiple annotators for each image, which significantly increases the learning cost. In this paper, we aim to learn robust IQA models from low-cost MOS (LC-MOS), which only requires very few opinion scores or even a single opinion score for each image. More specifically, we consider the LC-MOS as the noisy observation of LA-MOS and enforce the IQA model learned from LC-MOS to approach the unbiased estimation of LA-MOS. In this way, we represent the subjective bias between LC-MOS and LA-MOS, and the model bias between IQA predictions learned from LC-MOS and LA-MOS (i.e., dual-bias) as two latent variables with unknown parameters. By means of the expectation-maximization based alternating optimization, we can jointly estimate the parameters of the dual-bias, which suppresses the misleading of LC-MOS via a gated dual-bias calibration (GDBC) module. To the best of our knowledge, this is the first exploration of robust IQA model learning from noisy low-cost labels. Theoretical analysis and extensive experiments on four popular IQA datasets show that the proposed method is robust toward different bias rates and annotation numbers and significantly outperforms the other learning based IQA models when only LC-MOS is available. Furthermore, we also achieve comparable performance with respect to the other models learned with LA-MOS.


title: Cell Maps Representation For Lung Adenocarcinoma Growth Patterns Classification In Whole Slide Images

abstract: Lung adenocarcinoma is a morphologically heterogeneous disease, characterized by five primary histologic growth patterns. The quantity of these patterns can be related to tumor behavior and has a significant impact on patient prognosis. In this work, we propose a novel machine learning pipeline capable of classifying tissue tiles into one of the five patterns or as non-tumor, with an Area Under the Receiver Operating Characteristic Curve (AUCROC) score of 0.97. Our model's strength lies in its comprehensive consideration of cellular spatial patterns, where it first generates cell maps from Hematoxylin and Eosin (H&E) whole slide images (WSIs), which are then fed into a convolutional neural network classification model. Exploiting these cell maps provides the model with robust generalizability to new data, achieving approximately 30% higher accuracy on unseen test-sets compared to current state of the art approaches. The insights derived from our model can be used to predict prognosis, enhancing patient outcomes.


title: Exploring primordial curvature perturbation on small scales with the lensing effect of fast radio bursts

abstract: Cosmological observations, e.g., cosmic microwave background, have precisely measured the spectrum of primordial curvature perturbation on larger scales, but smaller scales are still poorly constrained. Since primordial black holes (PBHs) could form in the very early Universe through the gravitational collapse of primordial density perturbations, constrains on the PBH could encodes much information on primordial fluctuations. In this work, we first derive a simple formula for lensing effect to apply PBH constraints with the monochromatic mass distribution to an extended mass distribution. Then, we investigate the latest fast radio burst observations with this relationship to constrain two kinds of primordial curvature perturbation models on the small scales. It suggests that, from the null search result of lensed fast radio burst in currently available observations, the amplitude of primordial curvature perturbation should be less than $8\times 10^{-2}$ at the scale region of $10^5-10^6~\rm Mpc^{-1}$. This corresponds to an interesting mass range relating to binary black holes detected by LIGO-Virgo-KAGRA and future Einstein Telescope or Cosmic Explorer.


title: Empirical instability strip for classical Cepheids: I. The LMC galaxy

abstract: The instability strip (IS) of classical Cepheids has been extensively studied theoretically. Comparison of the theoretical IS edges with those obtained empirically, using the most recent Cepheids catalogs available, can provide us with insights into the physical processes that determine the position of the IS boundaries. In this study, we investigate the empirical positions of the IS of the classical Cepheids in the Large Magellanic Cloud (LMC), considering any effect that increases its width, to obtain intrinsic edges that can be compared with theoretical models. We use data of classical fundamental-mode (F) and first-overtone (1O) LMC Cepheids from the OGLE-IV variable star catalog, together with a recent high-resolution reddening map from the literature. Our final sample includes 2058 F and 1387 1O Cepheids. We studied their position on the Hertzsprung-Russell diagram and determined the IS borders by tracing the edges of the color distribution along the strip. We obtain the blue and red edges of the IS in V- and I-photometric bands, in addition to $\log T_{\rm eff}$ and $\log L$. The results obtained show a break located at the Cepheids' period of about 3 days, which was not reported before. We compare our empirical borders with theoretical ones published in the literature obtaining a good agreement for specific parameter sets. The break in the IS borders is most likely explained by the depopulation of second and third crossing classical Cepheids in the faint part of the IS, since blue loops of evolutionary tracks in this mass range do not extend blueward enough to cross the IS at the LMC metallicity. Results from the comparison of our empirical borders with theoretical ones prove that our empirical IS is a useful tool for constraining theoretical models.


title: Mixed scalarization of charged black holes: from spontaneous to non-linear scalarization

abstract: Scalarized black holes (BH) have been shown to form dynamically in extended-scalar-tensor theories, either through spontaneous scalarization -- when the BH is unstable against linear perturbations -- or through a non-linear scalarization. In the latter, linearly stable BHs can ignite scalarization when sufficiently perturbed. These phenomena are, however, not incompatible and mixed scalarization is also possible. We explore two aspects of the Einstein-Maxwell-Scalar model: solutions containing, simultaneously, linear (\textit{aka} standard) and non-linear scalarization; and the effects of having one of the coupling constants with an 'opposite sign' to the one leading to scalarization. Both points are addressed by constructing and examining the mixed scalarization's domain of existence. An overall dominance of the spontaneous scalarization over the non-linear scalarization is observed. Thermodynamically, an entropical preference for mixed over the standard scalarization (spontaneous or non-linear) exists. In the presence of counter scalarization, a quench of the scalarization occurs, mimicking the effect of a scalar particle's mass/positive self-interaction term.


title: Single-Model and Any-Modality for Video Object Tracking

abstract: In the realm of video object tracking, auxiliary modalities such as depth, thermal, or event data have emerged as valuable assets to complement the RGB trackers. In practice, most existing RGB trackers learn a single set of parameters to use them across datasets and applications. However, a similar single-model unification for multi-modality tracking presents several challenges. These challenges stem from the inherent heterogeneity of inputs -- each with modality-specific representations, the scarcity of multi-modal datasets, and the absence of all the modalities at all times. In this work, we introduce Un-Track, a Unified Tracker of a single set of parameters for any modality. To handle any modality, our method learns their common latent space through low-rank factorization and reconstruction techniques. More importantly, we use only the RGB-X pairs to learn the common latent space. This unique shared representation seamlessly binds all modalities together, enabling effective unification and accommodating any missing modality, all within a single transformer-based architecture. Our Un-Track achieves +8.1 absolute F-score gain, on the DepthTrack dataset, by introducing only +2.14 (over 21.50) GFLOPs with +6.6M (over 93M) parameters, through a simple yet efficient prompting strategy. Extensive comparisons on five benchmark datasets with different modalities show that Un-Track surpasses both SOTA unified trackers and modality-specific counterparts, validating our effectiveness and practicality. The source code is publicly available at https://github.com/Zongwei97/UnTrack.


title: Exponential Auto-Tuning Fault-Tolerant Control of N Degrees-of-Freedom Manipulators Subject to Torque Constraints

abstract: This paper presents a novel auto-tuning subsystem-based fault-tolerant control (SBFC) system designed for robotic manipulator systems with n degrees of freedom (DoF). It initially proposes a novel model for joint torques, incorporating an actuator fault correction model to account for potential faults and a mathematical saturation function to mitigate issues related to unforeseen excessive torque. This model is designed to prevent the generation of excessive torques even by faulty actuators. Subsequently, a robust subsystem-based adaptive control strategy is proposed to force system states closely along desired trajectories, while tolerating various actuator faults, excessive torques, and unknown modeling errors. Furthermore, optimal SBFC gains are determined by tailoring the JAYA algorithm (JA), a high-performance swarm intelligence technique, standing out for its capacity to optimize without the need for meticulous tuning of algorithm-specific parameters, relying instead on its intrinsic principles. Notably, this control framework ensures uniform exponential stability (UES). The enhancement of accuracy and tracking time for reference trajectories, along with the validation of theoretical assertions, is demonstrated through the presentation of simulation outcomes.


title: Structure of $cc \bar c \bar c$ tetraquarks and interpretation of LHC states

abstract: Motivated by recent experimental evidence for apparent $cc\bar c \bar c$ states at LHCb, CMS and ATLAS, we consider how the mass spectrum and decays of such states can be used to discriminate among their possible theoretical interpretations, with a particular focus on identifying whether quarks or diquarks are the most relevant degrees of freedom. Our preferred scenario is that $X(6600)$ and its apparent partner state $X(6400)$ are the tensor $(2^{++})$ and scalar $(0^{++})$ states of an S-wave multiplet of $cc\bar c \bar c$ states. Using tetraquark mass relations which are independent of (or only weakly dependent on) model parameters, we give predictions for the masses of additional partner states with axial and scalar quantum numbers. Additionally, we give predictions for relations among decay branching fractions to $J/\psi J/\psi$, $J/\psi \eta_c$, $\eta_c\eta_c$ and $D^{(*)} \bar{D}^{(*)}$ channels. The scenario we consider is consistent with existing experimental data on $J/\psi J/\psi$, and our predictions for partner states and their decays can be confronted with future experimental data, to discriminate between quark and diquark models.


title: A systematic study comparing hyperparameter optimization engines on tabular data

abstract: We run an independent comparison of all hyperparameter optimization (hyperopt) engines available in the Ray Tune library. We introduce two ways to normalize and aggregate statistics across data sets and models, one rank-based, and another one sandwiching the score between the random search score and the full grid search score. This affords us i) to rank the hyperopt engines, ii) to make generalized and statistically significant statements on how much they improve over random search, and iii) to make recommendations on which engine should be used to hyperopt a given learning algorithm. We find that most engines beat random search, but that only three of them (HEBO, AX, and BlendSearch) clearly stand out. We also found that some engines seem to specialize in hyperopting certain learning algorithms, which makes it tricky to use hyperopt in comparison studies, since the choice of the hyperopt technique may favor some of the models in the comparison.


title: SiTH: Single-view Textured Human Reconstruction with Image-Conditioned Diffusion

abstract: A long-standing goal of 3D human reconstruction is to create lifelike and fully detailed 3D humans from single-view images. The main challenge lies in inferring unknown body shapes, appearances, and clothing details in areas not visible in the images. To address this, we propose SiTH, a novel pipeline that uniquely integrates an image-conditioned diffusion model into a 3D mesh reconstruction workflow. At the core of our method lies the decomposition of the challenging single-view reconstruction problem into generative hallucination and reconstruction subproblems. For the former, we employ a powerful generative diffusion model to hallucinate unseen back-view appearance based on the input images. For the latter, we leverage skinned body meshes as guidance to recover full-body texture meshes from the input and back-view images. SiTH requires as few as 500 3D human scans for training while maintaining its generality and robustness to diverse images. Extensive evaluations on two 3D human benchmarks, including our newly created one, highlighted our method's superior accuracy and perceptual quality in 3D textured human reconstruction. Our code and evaluation benchmark are available at https://ait.ethz.ch/sith


title: JSSL: Joint Supervised and Self-supervised Learning for MRI Reconstruction

abstract: Magnetic Resonance Imaging represents an important diagnostic modality; however, its inherently slow acquisition process poses challenges in obtaining fully sampled k-space data under motion in clinical scenarios such as abdominal, cardiac, and prostate imaging. In the absence of fully sampled acquisitions, which can serve as ground truth data, training deep learning algorithms in a supervised manner to predict the underlying ground truth image becomes an impossible task. To address this limitation, self-supervised methods have emerged as a viable alternative, leveraging available subsampled k-space data to train deep learning networks for MRI reconstruction. Nevertheless, these self-supervised approaches often fall short when compared to supervised methodologies. In this paper, we introduce JSSL (Joint Supervised and Self-supervised Learning), a novel training approach for deep learning-based MRI reconstruction algorithms aimed at enhancing reconstruction quality in scenarios where target dataset(s) containing fully sampled k-space measurements are unavailable. Our proposed method operates by simultaneously training a model in a self-supervised learning setting, using subsampled data from the target dataset(s), and in a supervised learning manner, utilizing data from other datasets, referred to as proxy datasets, where fully sampled k-space data is accessible. To demonstrate the efficacy of JSSL, we utilized subsampled prostate parallel MRI measurements as the target dataset, while employing fully sampled brain and knee k-space acquisitions as proxy datasets. Our results showcase a substantial improvement over conventional self-supervised training methods, thereby underscoring the effectiveness of our joint approach. We provide a theoretical motivation for JSSL and establish a practical "rule-of-thumb" for selecting the most appropriate training approach for deep MRI reconstruction.


title: A generalization of Markov's approach to the continuity problem for Type 1 computable functions

abstract: We axiomatize and generalize Markov's approach to the continuity problem for Type 1 computable functions, i.e. the problem of finding sufficient conditions on a computable topological space to obtain a theorem of the form "computable functions are (effectively) continuous". In a computable topological space, a point $x$ is called effectively adherent to a set $A$ if there is an algorithm that on input a neighborhood of $x$ produces a point of $A$ in that neighborhood. We say that a space $X$ satisfies a Markov condition if, whenever a point $x$ of $X$ is effectively adherent to a subset $A$ of $X$, the singleton $\{x\}$ is not a semi-decidable subset of $A\cup\{x\}$. We show that this condition prevents functions whose domain is $X$ from having effective discontinuities, provided that their codomain is a space where points have neighborhood bases of co-semi-decidable sets. We then show that results that forbid effective discontinuities can be turned into (abstract) continuity results on spaces where the closure and effective closure of semi-decidable sets naturally agree -this happens for instance on spaces which admit a dense and computable sequence. This work is motivated by the study of the space of marked groups, for which the author has shown that most known continuity results (of Ceitin, Moschovakis, Spreen) do not apply.


title: Multi-Agent Reinforcement Learning for Power Control in Wireless Networks via Adaptive Graphs

abstract: The ever-increasing demand for high-quality and heterogeneous wireless communication services has driven extensive research on dynamic optimization strategies in wireless networks. Among several possible approaches, multi-agent deep reinforcement learning (MADRL) has emerged as a promising method to address a wide range of complex optimization problems like power control. However, the seamless application of MADRL to a variety of network optimization problems faces several challenges related to convergence. In this paper, we present the use of graphs as communication-inducing structures among distributed agents as an effective means to mitigate these challenges. Specifically, we harness graph neural networks (GNNs) as neural architectures for policy parameterization to introduce a relational inductive bias in the collective decision-making process. Most importantly, we focus on modeling the dynamic interactions among sets of neighboring agents through the introduction of innovative methods for defining a graph-induced framework for integrated communication and learning. Finally, the superior generalization capabilities of the proposed methodology to larger networks and to networks with different user categories is verified through simulations.


title: Efficient solution of the non-unitary time-dependent Schrodinger equation on a quantum computer with complex absorbing potential

abstract: We explore the possibility of adding complex absorbing potential at the boundaries when solving the one-dimensional real-time Schr\"odinger evolution on a grid using a quantum computer with a fully quantum algorithm described on a $n$ qubit register. Due to the complex potential, the evolution mixes real- and imaginary-time propagation and the wave function can potentially be continuously absorbed during the time propagation. We use the dilation quantum algorithm to treat the imaginary-time evolution in parallel to the real-time propagation. This method has the advantage of using only one reservoir qubit at a time, that is measured with a certain success probability to implement the desired imaginary-time evolution. We propose a specific prescription for the dilation method where the success probability is directly linked to the physical norm of the continuously absorbed state evolving on the mesh. We expect that the proposed prescription will have the advantage of keeping a high probability of success in most physical situations. Applications of the method are made on one-dimensional wave functions evolving on a mesh. Results obtained on a quantum computer identify with those obtained on a classical computer. We finally give a detailed discussion on the complexity of implementing the dilation matrix. Due to the local nature of the potential, for $n$ qubits, the dilation matrix only requires $2^n$ CNOT and $2^n$ unitary rotation for each time step, whereas it would require of the order of $4^{n+1}$ C-NOT gates to implement it using the best-known algorithm for general unitary matrices.


title: Frequentist Prediction Sets for Species Abundance using Indirect Information

abstract: Citizen science databases that consist of volunteer-led sampling efforts of species communities are relied on as essential sources of data in ecology. Summarizing such data across counties with frequentist-valid prediction sets for each county provides an interpretable comparison across counties of varying size or composition. As citizen science data often feature unequal sampling efforts across a spatial domain, prediction sets constructed with indirect methods that share information across counties may be used to improve precision. In this article, we present a nonparametric framework to obtain precise prediction sets for a multinomial random sample based on indirect information that maintain frequentist coverage guarantees for each county. We detail a simple algorithm to obtain prediction sets for each county using indirect information where the computation time does not depend on the sample size and scales nicely with the number of species considered. The indirect information may be estimated by a proposed empirical Bayes procedure based on information from auxiliary data. Our approach makes inference for under-sampled counties more precise, while maintaining area-specific frequentist validity for each county. Our method is used to provide a useful description of avian species abundance in North Carolina, USA based on citizen science data from the eBird database.


title: Multi-representation associated to the numbering of a subbasis and formal inclusion relations

abstract: We show how the use of a formal inclusion relation associated to a topological (sub)basis, as introduced by Dieter Spreen to study Type 1 computable topological spaces, is also beneficial to the study of represented spaces. We show that different definitions of the multi-representation of a topological space associated to a numbering of a (sub)basis, as considered for instance by Grubba, Weihrauch and Schr\"oder, can be seen as special cases of a more general definition which uses a formal inclusion relation. We show that the use of an appropriate formal inclusion relation guarantees that the representation associated to a computable metric space seen as a topological space always coincides with the Cauchy representation. We also show how the use of a formal inclusion relation guarantees that when defining multi-representations on a set and on one of its subsets, the obtained multi-representations will be compatible, i.e. inclusion will be a computable map. The proposed definitions are also more robust under change of equivalent bases.


title: Evidence for a kilometre-scale seismically slow layer atop the core-mantle boundary from normal modes

abstract: Geodynamic modelling and seismic studies have highlighted the possibility that a thin layer of low seismic velocities, potentially molten, may sit atop the core-mantle boundary but has thus far eluded detection. In this study we employ normal modes, an independent data type to body waves, to assess the visibility of a seismically slow layer atop the core-mantle boundary to normal mode centre frequencies. Using forward modelling and a dataset of 353 normal mode observations we find that some centre frequencies are sensitive to one-dimensional kilometre-scale structure at the core-mantle boundary. Furthermore, a global slow and dense layer 1 - 3 km thick is better-fitting than no layer. The well-fitting parameter space is broad with a wide range of possible seismic parameters, which precludes inferring a possible composition or phase. Our methodology cannot uniquely detect a layer in the Earth but one should be considered possible and accounted for in future studies.


title: Collinear Laser Spectroscopy of $2\,{}^3\!S_1 \rightarrow 2\,{}^3\!P_{\!J}$ transitions in helium-like $^{12}\mathrm{C}^{4+}$

abstract: Transition frequencies and fine-structure splittings of the $2\,{}^3\!S_1 \rightarrow 2\,{}^3\!P_{\!J}$ transitions in helium-like $^{12}\mathrm{C}^{4+}$ were measured by collinear laser spectroscopy on a 1-ppb level. Accuracy is increased by more than three orders of magnitude with respect to previous measurements, enabling tests of recent non-relativistic QED calculations including terms up to $m\alpha^7$. Deviations between the theoretical and experimental values are within theoretical uncertainties and are ascribed to $m\alpha^8$ and higher-order contributions in the series expansion of the NR-QED calculations. Finally, prospects for an all-optical charge radius determination of light isotopes are evaluated.


title: InterControl: Zero-shot Human Interaction Generation by Controlling Every Joint

abstract: Text-conditioned motion synthesis has made remarkable progress with the emergence of diffusion models. However, the majority of these motion diffusion models are primarily designed for a single character and overlook multi-human interactions. In our approach, we strive to explore this problem by synthesizing human motion with interactions for a group of characters of any size in a zero-shot manner. The key aspect of our approach is the adaptation of human-wise interactions as pairs of human joints that can be either in contact or separated by a desired distance. In contrast to existing methods that necessitate training motion generation models on multi-human motion datasets with a fixed number of characters, our approach inherently possesses the flexibility to model human interactions involving an arbitrary number of individuals, thereby transcending the limitations imposed by the training data. We introduce a novel controllable motion generation method, InterControl, to encourage the synthesized motions maintaining the desired distance between joint pairs. It consists of a motion controller and an inverse kinematics guidance module that realistically and accurately aligns the joints of synthesized characters to the desired location. Furthermore, we demonstrate that the distance between joint pairs for human-wise interactions can be generated using an off-the-shelf Large Language Model (LLM). Experimental results highlight the capability of our framework to generate interactions with multiple human characters and its potential to work with off-the-shelf physics-based character simulators.


title: A precise symbolic emulator of the linear matter power spectrum

abstract: Computing the matter power spectrum, $P(k)$, as a function of cosmological parameters can be prohibitively slow in cosmological analyses, hence emulating this calculation is desirable. Previous analytic approximations are insufficiently accurate for modern applications, so black-box, uninterpretable emulators are often used. We utilise an efficient genetic programming based symbolic regression framework to explore the space of potential mathematical expressions which can approximate the power spectrum and $\sigma_8$. We learn the ratio between an existing low-accuracy fitting function for $P(k)$ and that obtained by solving the Boltzmann equations and thus still incorporate the physics which motivated this earlier approximation. We obtain an analytic approximation to the linear power spectrum with a root mean squared fractional error of 0.2% between $k = 9\times10^{-3} - 9 \, h{\rm \, Mpc^{-1}}$ and across a wide range of cosmological parameters, and we provide physical interpretations for various terms in the expression. Our analytic approximation is 950 times faster to evaluate than camb and 36 times faster than the neural network based matter power spectrum emulator BACCO. We also provide a simple analytic approximation for $\sigma_8$ with a similar accuracy, with a root mean squared fractional error of just 0.1% when evaluated across the same range of cosmologies. This function is easily invertible to obtain $A_{\rm s}$ as a function of $\sigma_8$ and the other cosmological parameters, if preferred. It is possible to obtain symbolic approximations to a seemingly complex function at a precision required for current and future cosmological analyses without resorting to deep-learning techniques, thus avoiding their black-box nature and large number of parameters. Our emulator will be usable long after the codes on which numerical approximations are built become outdated.


title: A space dependent Cosmological Constant

abstract: In a specific adiabatic perfect fluid, intrinsic entropy density perturbations are the source of a {\it space dependent} cosmological constant responsible for local void inhomogeneity. Assuming an anisotropic Locally Rotationally Symmetric space time, using the 1+1+2 covariant approach and a Lemaitre space time metric, we study the cosmological implication of such a scenario giving a proper solution to the Hubble constant tension and providing, locally, also an effective equation of state with $w\leq - 1$.


title: Constraining models of hadronic showers using proton-Oxygen collisions at the LHC involving proton/neutron tagging

abstract: The study of hadronic showers, which are produced by cosmic rays penetrating the Earth's atmosphere, is essential for shedding light on the origins and characteristics of high-energy particles originating from space and reaching our planet. At the Large Hadron Collider at CERN, there are plans to conduct a short run of proton--oxygen collisions in 2025 to refine the modeling of hadronic showers. This work explores the potential impact on constraining models of hadronic showers by measuring interactions facilitated by color-neutral objects such as photons, pomerons, and pions. These interactions are often characterized by high-energy protons or neutrons produced at forward rapidities and can be tagged using dedicated forward proton and neutron detectors.


title: Learning with Errors over Group Rings Constructed by Semi-direct Product

abstract: The Learning with Errors (LWE) problem has been widely utilized as a foundation for numerous cryptographic tools over the years. In this study, we focus on an algebraic variant of the LWE problem called Group ring LWE (GR-LWE). We select group rings (or their direct summands) that underlie specific families of finite groups constructed by taking the semi-direct product of two cyclic groups. Unlike the Ring-LWE problem described in \cite{lyubashevsky2010ideal}, the multiplication operation in the group rings considered here is non-commutative. As an extension of Ring-LWE, it maintains computational hardness and can be potentially applied in many cryptographic scenarios. In this paper, we present two polynomial-time quantum reductions. Firstly, we provide a quantum reduction from the worst-case shortest independent vectors problem (SIVP) in ideal lattices with polynomial approximate factor to the search version of GR-LWE. This reduction requires that the underlying group ring possesses certain mild properties; Secondly, we present another quantum reduction for two types of group rings, where the worst-case SIVP problem is directly reduced to the (average-case) decision GR-LWE problem. The pseudorandomness of GR-LWE samples guaranteed by this reduction can be consequently leveraged to construct semantically secure public-key cryptosystems.


title: New Characterizations of $N(p,q,s)$-type spaces on the unit ball of $\mathbb{C}^n$

abstract: We provide some new characterizations of the N(p,q,s)-type spaces on the unit ball. Specifically, we give some Holland-Walsh-type characterizations for functions on the N(p,q,s) spaces, for specific values of the parameter $p$, that have not been found in the literature. The techniques and tools used throught this note are pretty standard.


title: Space Qualifying Silicon Photonic Modulators and Circuits

abstract: Reducing the form factor while retaining the radiation hardness and performance matrix is the goal of avionics. While a compromise between a transistor s size and its radiation hardness has reached consensus in micro-electronics, the size-performance balance for their optical counterparts has not been quested but eventually will limit the spaceborne photonic instruments capacity to weight ratio. Here we performed the first space experiments of photonic integrated circuits (PICs), revealing the critical roles of energetic charged particles. The year long cosmic radiation does not change carrier mobility but reduces free carrier lifetime, resulting in unchanged electro-optic modulation efficiency and well expanded optoelectronic bandwidth. The diversity and statistics of the tested PIC modulator indicate the minimal requirement of shielding for PIC transmitters with small footprint modulators and complexed routing waveguides, towards lightweight space terminals for terabits communications and inter-satellite ranging.


title: On Quantile Treatment Effects, Rank Similarity, and Variation of Instrumental Variables

abstract: This paper investigates how certain relationship between observed and counterfactual distributions serves as an identifying condition for treatment effects when the treatment is endogenous, and shows that this condition holds in a range of nonparametric models for treatment effects. To this end, we first provide a novel characterization of the prevalent assumption restricting treatment heterogeneity in the literature, namely rank similarity. Our characterization demonstrates the stringency of this assumption and allows us to relax it in an economically meaningful way, resulting in our identifying condition. It also justifies the quest of richer exogenous variations in the data (e.g., multi-valued or multiple instrumental variables) in exchange for weaker identifying conditions. The primary goal of this investigation is to provide empirical researchers with tools that are robust and easy to implement but still yield tight policy evaluations.


title: Case study of the validity of truncation schemes of kinetic equations of motion: few magnetic impurities in a semiconductor quantum ring

abstract: We carry out a study on the validity and limitations of truncation schemes customarily employed to treat the quantum kinetic equations of motion of complex interacting systems. Our system of choice is a semiconductor quantum ring with one electron interacting with few magnetic impurities via a Kondo-like Hamiltonian. This system is an interesting prototype which displays the necessary complexity when suitably scaled (large number of magnetic impurities) but can also be solved exactly when few impurities are present. The complexity in this system comes from the indirect electron-mediated impurity-impurity interaction and is reflected in the Heisenberg equations of motion, which form an infinite hierarchy. For the cases of two and three magnetic impurities, we solve for the quantum dynamics of our system both exactly and following a truncation scheme developed for diluted magnetic semiconductors in the bulk. We find an excellent agreement between the two approaches when physical observables like the impurities' spin angular momentum are computed for times that well exceed the time window of validity of perturbation theory. On the other hand, we find that within time ranges of physical interest, the truncation scheme introduces negative populations which represents a serious methodological drawback.


title: Taming Quantum Time Complexity

abstract: Quantum query complexity has several nice properties with respect to composition. First, bounded-error quantum query algorithms can be composed without incurring log factors through error reduction (exactness). Second, through careful accounting (thriftiness), the total query complexity is smaller if subroutines are mostly run on cheaper inputs -- a property that is much less obvious in quantum algorithms than in their classical counterparts. While these properties were previously seen through the model of span programs (alternatively, the dual adversary bound), a recent work by two of the authors (Belovs, Yolcu 2023) showed how to achieve these benefits without converting to span programs, by defining quantum Las Vegas query complexity. Independently, recent works, including by one of the authors (Jeffery 2022), have worked towards bringing thriftiness to the more practically significant setting of quantum time complexity. In this work, we show how to achieve both exactness and thriftiness in the setting of time complexity. We generalize the quantum subroutine composition results of Jeffery 2022 so that, in particular, no error reduction is needed. We give a time complexity version of the well-known result in quantum query complexity, $Q(f\circ g)=O(Q(f)\cdot Q(g))$, without log factors. We achieve this by employing a novel approach to the design of quantum algorithms based on what we call transducers, and which we think is of large independent interest. While a span program is a completely different computational model, a transducer is a direct generalisation of a quantum algorithm, which allows for much greater transparency and control. Transducers naturally characterize general state conversion, rather than only decision problems; provide a very simple treatment of other quantum primitives such as quantum walks; and lend themselves well to time complexity analysis.


title: Sliced optimal transport: is it a suitable replacement?

abstract: We introduce a one-parameter family of metrics on the space of Borel probability measures on Euclidean space with finite $p$th moment for $1\leq p <\infty$, called the $\textit{sliced Monge--Kantorovich metrics}$, which include the sliced Wasserstein and max-sliced Wasserstein metrics. We then show that these are complete, separable metric spaces that are topologically equivalent to the classical Monge--Kantorovich metrics and these metrics have a dual representation. However, we also prove these sliced metrics are $\textit{not}$ bi-Lipschitz equivalent to the classical ones in most cases, and also the spaces are (except for an endpoint case) $\textit{not}$ geodesic. The completeness, duality, and non-geodesicness are new even in the sliced and max-sliced Wasserstein cases, and non bi-Lipschitz equivalence is only known for a few specific cases. In particular this indicates that sliced and max-sliced Wasserstein metrics are not suitable direct replacements for the classical Monge--Kantorovich metrics in problems where the specific metric or geodesic structure are critical.


title: Nodal Hydraulic Head Estimation through Unscented Kalman Filter for Data-driven Leak Localization in Water Networks

abstract: In this paper, we present a nodal hydraulic head estimation methodology for water distribution networks (WDN) based on an Unscented Kalman Filter (UKF) scheme with application to leak localization. The UKF refines an initial estimation of the hydraulic state by considering the prediction model, as well as available pressure and demand measurements. To this end, it provides customized prediction and data assimilation steps. Additionally, the method is enhanced by dynamically updating the prediction function weight matrices. Performance testing on the Modena benchmark under realistic conditions demonstrates the method's effectiveness in enhancing state estimation and data-driven leak localization.


title: LMM-Assisted Breast Cancer Treatment Target Segmentation with Consistency Embedding

abstract: Recent advancements in Artificial Intelligence (AI) have profoundly influenced medical fields, by providing tools to reduce clinical workloads. However, most AI models are constrained to execute unimodal tasks, in stark contrast to the comprehensive approaches utilized by medical professionals. To address this, here we present RO-LMM, a multi-purpose large multimodal model (LMM) tailored for the field of radiation oncology. This model covers series of tasks within clinical workflow, adept at clinical report summarization, radiation treatment plan suggestion, and plan-guided target volume segmentation. In particular, to perform consecutive clinical tasks, we further present a novel Consistency Embedding Fine-Tuning (CEFTune) technique, which boosts LMM's robustness to noisy inputs while preserving the capability of handling clean inputs, and transform this concept into LMM-driven segmentation framework as Consistency Embedding Segmentation~(CESEG). Experimental results on multi-centre cohorts demonstrate our RO-LMM's promising performance for multiple clinical tasks with generalization capabilities.


title: Why the controversy over displacement currents never ends?

abstract: Displacement current is the last piece of the puzzle of electromagnetic theory. Its existence implies that electromagnetic disturbance can propagate at the speed of light and finally it led to the discovery of Hertzian waves. On the other hand, since magnetic fields can be calculated only with conduction currents using Biot-Savart's law, a popular belief that displacement current does not produce magnetic fields has started to circulate. But some people think if this is correct, what is the displacement current introduced for. The controversy over the meaning of displacement currents has been going on for more than hundred years. Such confusion is caused by forgetting the fact that in the case of non-stationary currents, neither magnetic fields created by conduction currents nor those created by displacement currents can be defined. It is also forgotten that the effect of displacement current is automatically incorporated in the magnetic field calculated by Biot-Savart's law. In this paper, mainly with the help of Helmholtz decomposition, we would like to clarify the confusion surrounding displacement currents and provide an opportunity to end the long standing controversy.


title: Policy Learning with Distributional Welfare

abstract: In this paper, we explore optimal treatment allocation policies that target distributional welfare. Most literature on treatment choice has considered utilitarian welfare based on the conditional average treatment effect (ATE). While average welfare is intuitive, it may yield undesirable allocations especially when individuals are heterogeneous (e.g., with outliers) - the very reason individualized treatments were introduced in the first place. This observation motivates us to propose an optimal policy that allocates the treatment based on the conditional quantile of individual treatment effects (QoTE). Depending on the choice of the quantile probability, this criterion can accommodate a policymaker who is either prudent or negligent. The challenge of identifying the QoTE lies in its requirement for knowledge of the joint distribution of the counterfactual outcomes, which is generally hard to recover even with experimental data. Therefore, we introduce minimax policies that are robust to model uncertainty. A range of identifying assumptions can be used to yield more informative policies. For both stochastic and deterministic policies, we establish the asymptotic bound on the regret of implementing the proposed policies. In simulations and two empirical applications, we compare optimal decisions based on the QoTE with decisions based on other criteria. The framework can be generalized to any setting where welfare is defined as a functional of the joint distribution of the potential outcomes.


title: EVCap: Retrieval-Augmented Image Captioning with External Visual-Name Memory for Open-World Comprehension

abstract: Large language models (LLMs)-based image captioning has the capability of describing objects not explicitly observed in training data; yet novel objects occur frequently, necessitating the requirement of sustaining up-to-date object knowledge for open-world comprehension. Instead of relying on large amounts of data and/or scaling up network parameters, we introduce a highly effective retrieval-augmented image captioning method that prompts LLMs with object names retrieved from External Visual--name memory (EVCap). We build ever-changing object knowledge memory using objects' visuals and names, enabling us to (i) update the memory at a minimal cost and (ii) effortlessly augment LLMs with retrieved object names by utilizing a lightweight and fast-to-train model. Our model, which was trained only on the COCO dataset, can adapt to out-of-domain without requiring additional fine-tuning or re-training. Our experiments conducted on benchmarks and synthetic commonsense-violating data show that EVCap, with only 3.97M trainable parameters, exhibits superior performance compared to other methods based on frozen pre-trained LLMs. Its performance is also competitive to specialist SOTAs that require extensive training.


title: Quartz Crystal Microbalance frequency response to discrete adsorbates in liquids

abstract: Quartz Crystal Microbalance with Dissipation monitoring (QCM-D) has become a major tool in the analysis of adsorption of nanometric objects, such as proteins, viruses, liposomes and inorganic particles from the solution. While in vacuum extremely accurate mass measurements are possible, in a liquid phase the quantitative analysis is intricate due to the complex interplay of hydrodynamic and adhesion forces, varying with the physicochemical properties of adsorbent and the quartz resonator surfaces. In the present paper we dissect the role of hydrodynamics for the analytically tractable scenario of a stiff contact, whereas the adsorbed particles oscillate with the resonator as a whole without rotation. Under the assumption of the low surface coverage, we theoretically study the excess shear force exerted on the resonator due to presence of a single adsorbed particle. The excess shear force has two contributions: (i) the fluid-mediated force due to flow disturbance created by the particle and (ii) the viscous force exerted on the particle by the fluid and transmitted to the resonator via contact. We found that for small adsorbates, there is mutual cancellation of the above contributions to the excess shear force at the leading order approximation, reducing the overall effect of the hydrodynamics to the order-of-magnitude of the inertial force. However, accurate numerical solution shows that for small particles the viscous force dominates over the inertia force, rendering the standard Sauerbrey model inapplicable. These findings indicate that the accurate account of hydrodynamics in the analysis of QCM-D response is critical. The resulting dimensionless frequency and dissipation shifts and the corresponding acoustic ratio computed numerically, showing a fair agreement with previously published experimental results at low oscillation frequencies.


title: Equivariant birational types and derived categories

abstract: We investigate equivariant birational geometry of rational surfaces and threefolds from the perspective of derived categories.


title: Droplet control based on pinning and substrate wettability

abstract: Pinning of liquid droplets on solid substrates is ubiquitous and plays an essential role in many applications, especially in various areas, such as microfluidics and biology. Although pinning can often reduce the efficiency of various applications, a deeper understanding of this phenomenon can actually offer possibilities for technological exploitation. Here, by means of molecular dynamics simulation, we identify the conditions that lead to droplet pinning or depinning and discuss the effects of key parameters in detail, such as the height of the physical pinning-barrier and the wettability of the substrates. Moreover, we describe the mechanism of the barrier crossing by the droplet upon depinning, identify the driving force of this process, and, also, elucidate the dynamics of the droplet. Not only does our work provide a detailed description of the pinning and depinning processes, but it also explicitly highlights how both processes can be exploited in nanotechnology applications to control droplet motion. Hence, we anticipate that our study will have significant implications for the nanoscale design of substrates in micro and nano-scale systems and will assist with assessing pinning effects in various applications.


title: Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version)

abstract: Concurrent multi-player mean-payoff games are important models for systems of agents with individual, non-dichotomous preferences. Whilst these games have been extensively studied in terms of their equilibria in non-cooperative settings, this paper explores an alternative solution concept: the core from cooperative game theory. This concept is particularly relevant for cooperative AI systems, as it enables the modelling of cooperation among agents, even when their goals are not fully aligned. Our contribution is twofold. First, we provide a characterisation of the core using discrete geometry techniques and establish a necessary and sufficient condition for its non-emptiness. We then use the characterisation to prove the existence of polynomial witnesses in the core. Second, we use the existence of such witnesses to solve key decision problems in rational verification and provide tight complexity bounds for the problem of checking whether some/every equilibrium in a game satisfies a given LTL or GR(1) specification. Our approach is general and can be adapted to handle other specifications expressed in various fragments of LTL without incurring additional computational costs.


title: Elementary Quantum Recursion Schemes That Capture Quantum Polylogarithmic Time Computability of Quantum Functions

abstract: Quantum computing has been studied over the past four decades based on two computational models of quantum circuits and quantum Turing machines. To capture quantum polynomial-time computability, a new recursion-theoretic approach was taken lately by Yamakami [J. Symb. Logic 80, pp. 1546--1587, 2020] by way of recursion schematic definitions, which constitute six initial quantum functions and three construction schemes of composition, branching, and multi-qubit quantum recursion. By taking a similar approach, we look into quantum polylogarithmic-time computability and further explore the expressing power of elementary schemes designed for such quantum computation. In particular, we introduce an elementary form of the quantum recursion, called the fast quantum recursion and formulate EQS (elementary quantum schemes) of "elementary" quantum functions. This class EQS captures exactly quantum polylogarithmic-time computability, represented by BQPOLYLOGTIME. We also demonstrate the separation of BQPOLYLOGTIME from NLOGTIME and PPOLYLOGTIME. As a natural extension of EQS, we further consider an algorithmic procedural scheme that implements the well-known divide-and-conquer strategy. This divide-and-conquer scheme helps compute the parity function but the scheme cannot be realized within our system EQS.


title: From Quantifier Depth to Quantifier Number: Separating Structures with k Variables

abstract: Given two $n$-element structures, $\mathcal{A}$ and $\mathcal{B}$, which can be distinguished by a sentence of $k$-variable first-order logic ($\mathcal{L}^k$), what is the minimum $f(n)$ such that there is guaranteed to be a sentence $\phi \in \mathcal{L}^k$ with at most $f(n)$ quantifiers, such that $\mathcal{A} \models \phi$ but $\mathcal{B} \not \models \phi$? We present various results related to this question obtained by using the recently introduced QVT games. In particular, we show that when we limit the number of variables, there can be an exponential gap between the quantifier depth and the quantifier number needed to separate two structures. Through the lens of this question, we will highlight some difficulties that arise in analysing the QVT game and some techniques which can help to overcome them. As a consequence, we show that $\mathcal{L}^{k+1}$ is exponentially more succinct than $\mathcal{L}^{k}$. We also show, in the setting of the existential-positive fragment, how to lift quantifier depth lower bounds to quantifier number lower bounds. This leads to almost tight bounds.


title: Semi-stable Lefschetz Pencils

abstract: We study the geometry and cohomology of Lefschetz pencils for semi-stable schemes over a discrete valuation ring. We relate the global cohomological properties of the Lefschetz pencil and the monodromy-weight conjecture, in particular we show that if one assumes the monodromy-weight conjecture in smaller dimensions then one can obtain a rather complete understanding of the relative cohomology of the pencil. This reduces the monodromy-weight conjecture to an arithmetic variant of a conjecture of Kashiwara for the projective line.


title: FLASC: A Flare-Sensitive Clustering Algorithm: Extending HDBSCAN* for Detecting Branches in Clusters

abstract: We present FLASC, an algorithm for flare-sensitive clustering. Our algorithm builds upon HDBSCAN* -- which provides high-quality density-based clustering performance -- through a post-processing step that differentiates branches within the detected clusters' manifold, adding a type of pattern that can be discovered. Two variants of the algorithm are presented, which trade computational cost for noise robustness. We show that both variants scale similarly to HDBSCAN* in terms of computational cost and provide stable outputs using synthetic data sets, resulting in an efficient flare-sensitive clustering algorithm. In addition, we demonstrate the algorithm's benefit in data exploration over HDBSCAN* clustering on two real-world data sets.


title: Towards Adaptive RF Fingerprint-based Authentication of IIoT devices

abstract: As IoT technologies mature, they are increasingly finding their way into more sensitive domains, such as Medical and Industrial IoT, in which safety and cyber-security are of great importance. While the number of deployed IoT devices continues to increase exponentially, they still present severe cyber-security vulnerabilities. Effective authentication is paramount to support trustworthy IIoT communications, however, current solutions focus on upper-layer identity verification or key-based cryptography which are often inadequate to the heterogeneous IIoT environment. In this work, we present a first step towards achieving powerful and flexible IIoT device authentication, by leveraging AI adaptive Radio Frequency Fingerprinting technique selection and tuning, at the PHY layer for highly accurate device authentication over challenging RF environments.


title: Dimensionality reduction of networked systems with separable coupling-dynamics: theory and applications

abstract: Complex dynamical systems are prevalent in various domains, but their analysis and prediction are hindered by their high dimensionality and nonlinearity. Dimensionality reduction techniques can simplify the system dynamics by reducing the number of variables, but most existing methods do not account for networked systems with separable coupling-dynamics, where the interaction between nodes can be decomposed into a function of the node state and a function of the neighbor state. Here, we present a novel dimensionality reduction framework that can effectively capture the global dynamics of these networks by projecting them onto a low-dimensional system. We derive the reduced system's equation and stability conditions, and propose an error metric to quantify the reduction accuracy. We demonstrate our framework on two examples of networked systems with separable coupling-dynamics: a modified susceptible-infected-susceptible model with direct infection and a modified Michaelis-Menten model with activation and inhibition. We conduct numerical experiments on synthetic and empirical networks to validate and evaluate our framework, and find a good agreement between the original and reduced systems. We also investigate the effects of different network structures and parameters on the system dynamics and the reduction error. Our framework offers a general and powerful tool for studying complex dynamical networks with separable coupling-dynamics.


title: Stability-Informed Initialization of Neural Ordinary Differential Equations

abstract: This paper addresses the training of Neural Ordinary Differential Equations (neural ODEs), and in particular explores the interplay between numerical integration techniques, stability regions, step size, and initialization techniques. It is shown how the choice of integration technique implicitly regularizes the learned model, and how the solver's corresponding stability region affects training and prediction performance. From this analysis, a stability-informed parameter initialization technique is introduced. The effectiveness of the initialization method is displayed across several learning benchmarks and industrial applications.


title: Sampling a rare protein transition with a hybrid classical-quantum computing algorithm

abstract: Simulating spontaneous structural rearrangements in macromolecules with classical Molecular Dynamics (MD) is an outstanding challenge. Conventional supercomputers can access time intervals up to tens of $\mu$s, while many key events occur on exponentially longer time scales. Transition path sampling techniques have the advantage of focusing the computational power on barrier-crossing trajectories, but generating uncorrelated transition paths that explore diverse conformational regions remains an unsolved problem. We employ a path-sampling paradigm combining machine learning (ML) with quantum computing (QC) to address this issue. We use ML on a classical computer to perform a preliminary uncharted exploration of the conformational space. The data set generated in this exploration is then post-processed to obtain a network representation of the reactive kinetics. Quantum annealing machines can exploit quantum superposition to encode all the transition pathways in this network in the initial quantum state and ensure the generation of completely uncorrelated transition paths. In particular, we resort to the DWAVE quantum computer to perform an all-atom simulation of a protein conformational transition that occurs on the ms timescale. Our results match those of a special purpose supercomputer designed to perform MD simulations. These results highlight the role of biomolecular simulation as a ground for applying, testing, and advancing quantum technologies.


title: H-COUP Version 3: A program for one-loop corrected decays of any Higgs bosons in non-minimal Higgs models

abstract: The H-COUP program is provided as a package of Fortran codes, which can compute observables related to Higgs bosons including radiative corrections in various extended Higgs sectors. We give a manual for the latest version of H-COUP (H-COUP_3.0), in which decay rates and branching ratios of all the Higgs bosons can be calculated at one-loop level in EW and Higgs interactions with QCD corrections in the Higgs singlet model, four types of the two Higgs doublet model with a softly-broken $Z_2$ symmetry, and the inert doublet model. The previous version (H-COUP_2.0) can evaluate those only for the standard model like Higgs boson with the mass of 125 GeV ($h$). In H-COUP_3.0, renormalized quantities are computed based on the gauge independent on-shell renormalization scheme. The source code of H-COUP_3.0 can be downloaded via the following link: \url{http://www-het.phys.sci.osaka-u.ac.jp/~hcoup}. By using H-COUP_3.0, we can compare the precise measurements of the properties of $h$ and direct searches for additional Higgs bosons with their predictions at one-loop level, by which we can reconstruct the structure of the Higgs sector.


title: Determination of bounds on the dimension of manifolds with involutions fixing $F^n\cup F^4$

abstract: Let $M^m$ be an $m$-dimensional, smooth and closed manifold, equipped with a smooth involution $T\colon M^m \to M^m$ fixing submanifolds $F^n$ and $F^4$ of dimensions $n$ and $4$, respectively, where $4<n<m$ and $F^n\cup F^4$ does not bound. We determine the upper bound for $m$, for each $n$. The existence of these bounds is ensured by the famous Five Halves Theorem of J. Boardman, which establishes that, under the above hypotheses, $m\leqslant\frac{5}{2}n$.


title: Distributed Attacks over Federated Reinforcement Learning-enabled Cell Sleep Control

abstract: Federated learning (FL) is particularly useful in wireless networks due to its distributed implementation and privacy-preserving features. However, as a distributed learning system, FL can be vulnerable to malicious attacks from both internal and external sources. Our work aims to investigate the attack models in a FL-enabled wireless networks. Specifically, we consider a cell sleep control scenario, and apply federated reinforcement learning to improve energy-efficiency. We design three attacks, namely free rider attacks, Byzantine data poisoning attacks and backdoor attacks. The simulation results show that the designed attacks can degrade the network performance and lead to lower energy-efficiency. Moreover, we also explore possible ways to mitigate the above attacks. We design a defense model called refined-Krum to defend against attacks by enabling a secure aggregation on the global server. The proposed refined- Krum scheme outperforms the existing Krum scheme and can effectively prevent wireless networks from malicious attacks, improving the system energy-efficiency performance.


title: Negative single-trace $T\bar T$ holography versus de Sitter holography

abstract: In single-trace $T\bar T$ holography, for the negative sign of the deformation, the geometries dual to high energy states consist of a singular UV wall that separates black strings in the IR from an asymptotically linear dilaton spacetime. In the hologram, the black strings amount to states in a symmetric product of $T\bar T$ deformed $CFT_2$, whose energy and momentum are split equally among the different blocks. The properties of this holographic duality have intriguing similarities with the proposed principles of de Sitter holography. In this note, the analogy between the two is presented. In particular, as the horizon location approaches the UV wall, one obtains a state of maximum finite entropy and infinite temperature. On the other hand, the bulk temperature of the geometry obtained in the limit is small. These properties are identical to those proposed in empty de Sitter holography.


title: Data Generation for Post-OCR correction of Cyrillic handwriting

abstract: This paper introduces a novel approach to post-Optical Character Recognition Correction (POC) for handwritten Cyrillic text, addressing a significant gap in current research methodologies. This gap is due to the lack of large text corporas that provide OCR errors for further training of language-based POC models, which are demanding in terms of corpora size. Our study primarily focuses on the development and application of a synthetic handwriting generation engine based on B\'ezier curves. Such an engine generates highly realistic handwritten text in any amounts, which we utilize to create a substantial dataset by transforming Russian text corpora sourced from the internet. We apply a Handwritten Text Recognition (HTR) model to this dataset to identify OCR errors, forming the basis for our POC model training. The correction model is trained on a 90-symbol input context, utilizing a pre-trained T5 architecture with a seq2seq correction task. We evaluate our approach on HWR200 and School_notebooks_RU datasets as they provide significant challenges in the HTR domain. Furthermore, POC can be used to highlight errors for teachers, evaluating student performance. This can be done simply by comparing sentences before and after correction, displaying differences in text. Our primary contribution lies in the innovative use of B\'ezier curves for Cyrillic text generation and subsequent error correction using a specialized POC model. We validate our approach by presenting Word Accuracy Rate (WAR) and Character Accuracy Rate (CAR) results, both with and without post-OCR correction, using real open corporas of handwritten Cyrillic text. These results, coupled with our methodology, are designed to be reproducible, paving the way for further advancements in the field of OCR and handwritten text analysis. Paper contributions can be found in https://github.com/dbrainio/CyrillicHandwritingPOC


title: Relation of the thermodynamic parameter of disordering with the width of structure factor and defect concentration in a metallic glass

abstract: In this work, we show that above the glass transition there exists a strong unique interrelationship between the thermodynamic parameter of disorder of a metallic glass derived using its excess entropy, diffraction measure of disorder given by the width of the X-ray structure factor and defect concentration derived from shear modulus measurements. Below the glass transition, this relationship is more complicated and depends on both temperature and thermal prehistory.


title: A stochastic programming approach for dynamic allocation of bed capacity and assignment of patients to collaborating hospitals during pandemic outbreaks

abstract: We consider a region containing several hospitals collaborating to treat patients during an infectious outbreak. Collaboration occurs through the dynamic allocation of hospital bed capacity to infectious patients and by assigning infectious patients to specific hospitals. Scaling up capacity for infectious patients means that beds are removed from regular care, which can only be done simultaneously for all beds in a room. Moreover, as opening rooms for infectious patients takes some lead time, we have to decide on preparing to open rooms for infectious patients ahead of time. We apply a stochastic direct lookahead approach. Each day, we make decisions on room allocation and patient assignment based on the solutions of two stochastic programs with scenarios using short-time forecasts of the number of infectious hospitalizations in the region and the bed occupancy in each collaborating hospital. We aim to balance costs for bed shortages and unutilized beds for infectious patients and opening and closing rooms. We demonstrate that a stochastic lookahead is superior to a deterministic one. We furthermore compare our solution approach with two heuristic strategies in a simulation study based on historical COVID-19 data of a region with three hospitals in the Netherlands. In one strategy, hospitals decide on their capacity allocation individually. In another strategy, we assume a pandemic unit, where one hospital is designated to take all regional infectious patients until full. The numerical results show that our stochastic direct lookahead approach considerably outperforms these heuristics.


title: Exact Methods for the Longest Induced Cycle Problem

abstract: The longest induced (or chordless) cycle problem is a graph problem classified as NP-complete and involves the task of determining the largest possible subset of vertices within a graph in such a way that the induced subgraph forms a cycle. Within this paper, we present three integer linear programs specifically formulated to yield optimal solutions for this problem. The branch-and-cut algorithm has been used for two models. To demonstrate the computational efficiency of these methods, we utilize them on a range of real-world graphs as well as random graphs. Additionally, we conduct a comparative analysis against approaches previously proposed in the literature.


title: Asymptotic smoothness, concentration properties in Banach spaces and applications

abstract: We prove an optimal result of stability under $\ell_p$-sums of some concentration properties for Lipschitz maps defined on Hamming graphs into Banach spaces. As an application, we give examples of spaces with Szlenk index arbitrarily high that admit nevertheless a concentration property. In particular, we get the very first examples of Banach spaces with concentration but without asymptotic smoothness property.


title: A novel cryogenic VUV spectrofluorometer for the characterization of wavelength shifters

abstract: We present a novel cryogenic VUV spectrofluorometer designed for the characterization of wavelength shifters (WLS) crucial for experiments based on liquid argon (LAr) scintillation light detection. Wavelength shifters like 1,1,4,4-tetraphenyl-1,3-butadiene (TPB) or polyethylene naphthalate (PEN) are used in these experiments to shift the VUV scintillation light to the visible region. Precise knowledge of the optical properties of the WLS at liquid argon's temperature (87 K) and LAr scintillation wavelength (128 nm) is necessary to model and understand the detector response. The cryogenic VUV spectrofluorometer was commissioned to measure the emission spectra and relative wavelength shifting efficiency (WLSE) of samples between 300 K and 87 K for VUV (128 nm to 190 nm) and UV (310 nm) excitation. New mitigation techniques for surface effects on cold WLS were established. As part of this work, the TPB-based wavelength shifting reflector (WLSR) featured in the neutrinoless double-beta decay experiment LEGEND-200 was characterized. The wavelength shifting efficiency was observed to increase by (54 +/- 5)% from room temperature (RT) to 87 K. PEN installed in LEGEND-200 was also characterized and a first measurement of the relative wavelength shifting efficiency and emission spectrum at RT and 87 K is presented. The WLSE of amorphous PEN was found to be enhanced by at least (37 +/- 4)% for excitation with 128 nm and by (52 +/- 3)% for UV excitation at 87 K compared to RT.


title: Simple Lattice Basis Computation -- The Generalization of the Euclidean Algorithm

abstract: The Euclidean algorithm is one of the oldest algorithms known to mankind. Given two integral numbers $a_1$ and $a_2$, it computes the greatest common divisor (gcd) of $a_1$ and $a_2$ in a very elegant way. From a lattice perspective, it computes a basis of the sum of two one-dimensional lattices $a_1 \mathbb{Z}$ and $a_2 \mathbb{Z}$ as $\gcd(a_1,a_2) \mathbb{Z} = a_1 \mathbb{Z} + a_2 \mathbb{Z}$. In this paper, we show that the classical Euclidean algorithm can be adapted in a very natural way to compute a basis of a general lattice $L(a_1, \ldots , a_m)$ given vectors $a_1, \ldots , a_m \in \mathbb{Z}^n$ with $m> \mathrm{rank}(a_1, \ldots ,a_m)$. Similar to the Euclidean algorithm, our algorithm is very easy to describe and implement and can be written within 12 lines of pseudocode. While the Euclidean algorithm halves the largest number in every iteration, our generalized algorithm halves the determinant of a full rank subsystem leading to at most $\log (\det B)$ many iterations, for some initial subsystem $B$. Therefore, we can compute a basis of the lattice using at most $\tilde{O}((m-n)n\log(\det B) + mn^{\omega-1}\log(||A||_\infty))$ arithmetic operations, where $\omega$ is the matrix multiplication exponent and $A = (a_1, \ldots, a_m)$. Even using the worst case Hadamard bound for the determinant, our algorithm improves upon existing algorithm. Another major advantage of our algorithm is that we can bound the entries of the resulting lattice basis by $\tilde{O}(n^2\cdot ||A||_{\infty})$ using a simple pivoting rule. This is in contrast to the typical approach for computing lattice basis, where the Hermite normal form (HNF) is used. In the HNF, entries can be as large as the determinant and hence can only be bounded by an exponential term.


title: Mass reconstruction and noise reduction with cosmic-web environments

abstract: The clustering of galaxies and their connections to their initial conditions is a major means by which we learn about cosmology. However, the stochasticity between galaxies and their underlying matter field is a major limitation for precise measurements of galaxy clustering. Efforts have been made with an optimal weighting scheme to reduce this stochasticity using the mass-dependent clustering of dark matter haloes. Here, we show that this is not optimal. We demonstrate that the cosmic-web environments (voids, sheets, filaments \& knots) of haloes, when combined linearly with the linear bias, provide extra information for reducing stochasticity in terms of two-point statistics. Using the environmental information alone can increase the signal-to-noise of clustering by a factor of 3 better than the white-noise level at the scales of the baryon acoustic oscillations. The information about the environment and halo mass are complementary. Their combination increases the signal-to-noise by another factor of 2-3. The information about the cosmic web correlates with other properties of haloes, including halo concentrations and tidal forces -- all are related to the assembly bias of haloes.


title: Off-lattice Monte-Carlo approach for studying nucleation and evaporation phenomena at the molecular scale

abstract: Droplet nucleation and evaporation are ubiquitous in nature and many technological applications, such as phase-change cooling and boiling heat transfer. So far, the description of these phenomena at the molecular scale has posed challenges for modelling with most of the models being implemented on a lattice. Here, we propose an {off-lattice} Monte-Carlo approach combined with a grid that can be used for the investigation of droplet formation and evaporation. We provide the details of the model, its implementation as Python code, and results illustrating its dependence on various parameters. The method can be easily extended for any force-field ({e.g.,} coarse-grained, all-atom models, and external fields, such as gravity and electric field). Thus, we anticipate that the proposed model will offer opportunities for a wide range of studies in various research areas involving droplet formation and evaporation and will also form the basis for further method developments for the molecular modelling of such phenomena.


title: Prolongement analytique de fonctions $\zeta$ et de fonctions $L$

abstract: Wiles' work on Fermat's last Theorem highlighted the power of $p$-adic methods to prove the existence of analytic continuations of $\zeta$ and $L$ functions. These methods have become considerably more sophisticated in recent years, and have produced a wealth of beautiful results: Hasse--Weil conjecture for genus $2$ curves, holomorphy of $L$-functions of symmetric powers of modular forms, etc. We present some of these advances.


title: MetaDefa: Meta-learning based on Domain Enhancement and Feature Alignment for Single Domain Generalization

abstract: The single domain generalization(SDG) based on meta-learning has emerged as an effective technique for solving the domain-shift problem. However, the inadequate match of data distribution between source and augmented domains and difficult separation of domain-invariant features from domain-related features make SDG model hard to achieve great generalization. Therefore, a novel meta-learning method based on domain enhancement and feature alignment (MetaDefa) is proposed to improve the model generalization performance. First, the background substitution and visual corruptions techniques are used to generate diverse and effective augmented domains. Then, the multi-channel feature alignment module based on class activation maps and class agnostic activation maps is designed to effectively extract adequate transferability knowledge. In this module, domain-invariant features can be fully explored by focusing on similar target regions between source and augmented domains feature space and suppressing the feature representation of non-similar target regions. Extensive experiments on two publicly available datasets show that MetaDefa has significant generalization performance advantages in unknown multiple target domains.


title: A Choice-Driven Service Network Design and Pricing Including Heterogeneous Behaviors

abstract: The design and pricing of services are two of the most important decisions faced by any intermodal transport operator. The key success factor lies in the ability of meeting the needs of the shippers. Therefore, making full use of the available information about the demand helps to come up with good design and pricing decisions. With this in mind, we propose a Choice-Driven approach, incorporating advanced choice models directly into a Service Network Design and Pricing problem. We evaluate this approach considering three different mode choice models: one deterministic with 4 attributes (cost, time, frequency and accessibility); and two stochastic also accounting for unobserved attributes and shippers heterogeneity respectively. To reduce the computational time for the stochastic instances, we propose a predetermination heuristic. These models are compared to a benchmark, where shippers are solely cost-minimizers. Results show that the operator profits can be significantly improved, even with the deterministic version. The two stochastic versions further increase the realized profits, but considering heterogeneity allows a better estimation of the demand.


title: Enhancing Perceptual Quality in Video Super-Resolution through Temporally-Consistent Detail Synthesis using Diffusion Models

abstract: In this paper, we address the problem of video super-resolution (VSR) using Diffusion Models (DM), and present StableVSR. Our method significantly enhances the perceptual quality of upscaled videos by synthesizing realistic and temporally-consistent details. We turn a pre-trained DM for single image super-resolution into a VSR method by introducing the Temporal Conditioning Module (TCM). TCM uses Temporal Texture Guidance, which provides spatially-aligned and detail-rich texture information synthesized in adjacent frames. This guides the generative process of the current frame toward high-quality and temporally-consistent results. We introduce a Frame-wise Bidirectional Sampling strategy to encourage the use of information from past to future and vice-versa. This strategy improves the perceptual quality of the results and the temporal consistency across frames. We demonstrate the effectiveness of StableVSR in enhancing the perceptual quality of upscaled videos compared to existing state-of-the-art methods for VSR. The code is available at https://github.com/claudiom4sir/StableVSR.


title: The secondary maximum of T CrB caused by irradiation of the red giant by a cooling white dwarf

abstract: Both the 1866 and 1946 outbursts of the recurrent symbiotic nova T CrB have displayed a mysterious secondary maximum peaking in brightness ~5 months past the primary one. Common to all previous modeling attempts was the rejection of plain irradiation of the red giant (RG), on the basis that the secondary maximum of T CrB would have been out of phase with the transit at superior conjunction of the RG. Implicit to this line of reasoning is the assumption of a constant temperature for the white dwarf (WD) irradiating the red giant. I show by radiative modeling that irradiation of the RG by a cooling WD nicely reproduces the photometric evolution of the secondary maximum, both in terms of brightness and color, removes the phasing offset, and provides a straightforward explanation that will be easy to test at the next and imminent outburst.


title: Automorphisms of Leavitt path algebras: Zhang twist and irreducible representations

abstract: In this article, we construct (graded) automorphisms fixing all vertices of Leavitt path algebras of arbitrary graphs in terms of general linear groups over corners of these algebras. As an application, we study Zhang twist of Leavitt path algebras and describe new classes of irreducible representations of Leavitt path algebras of the rose graphs $R_n$ with $n$ petals.


title: What are the emergent fermions and gauge fields in magnetized kagome spin liquid?

abstract: Inspired by the recent quantum oscillation measurement on the kagom\'{e} lattice antiferromagnet in finite magnetic fields, we raise the question about the physical contents of the emergent fermions and the gauge fields if the U(1) spin liquid is relevant for the finite-field kagom\'{e} lattice antiferromagnet. Clearly, the magnetic field is non-perturbative in this regime, and the finite-field state has no direct relation with the U(1) Dirac spin liquid proposal at zero field. Based on the dual vortex theory, we here propose that, the $S^z$ magnetization is the emergent U(1) gauge flux, and the fermionized dual vortex is the emergent fermion. In this formalism, the magnetic field polarizes the spin component along the field direction that modulates the U(1) flux for the fermionized vortices and generates the quantum oscillation. Within the mean-field theory, we further discuss gauge field correlation, vortex-antivortex continuum and thermal Hall effect. We expect this work to provide a bit insight for the magnetized kagom\'{e} spin liquids.


abstract: Real-time situational awareness for the location of assets is critical to ensure missions are completed efficiently and requirements are satisfied. In many commercial settings, the application of global positioning system (GPS) sensors is appropriate to achieve timely knowledge of the position of people and equipment. However, GPS sensors are not appropriate for all situations due to flight clearance and operations security concerns. LIFT OFF: LoRaWAN Installation and Fiducial Tracking Operations for the Flightline of the Future proposes a hybrid framework solution to achieve real-time situational awareness for people, support equipment, and aircraft positions regardless of the environment. This framework included a machine-vision component, which involved setting up cameras to detect AprilTag decals that were installed on the sides of aircraft. The framework included a geolocation sensor component, which involved installing GPS sensors on support equipment and helmets. The framework also included creating a long-range wide area network (LoRaWAN) to transfer data and developing a user interface to display the data. The framework was tested at Naval Air Station Oceana Flightline, the United States Naval Test Pilot School, and at Naval Air Warfare Center Aircraft Division Lakehurst. LIFT OFF successfully provided a real-time updating map of all tracked assets using GPS sensors for people and support equipment and with visual fiducials for aircraft. The trajectories of the assets were recorded for logistical analysis and playback. Future follow-on work is anticipated to apply the technology to other environments including carriers and amphibious assault ships in addition to the flightline.


title: Discrete Adjoint Method for Variational Integration of Constrained ODEs and its application to Optimal Control of Geometrically Exact Beam Dynamics

abstract: Direct methods for the simulation of optimal control problems apply a specific discretization to the dynamics of the problem, and the discrete adjoint method is suitable to calculate corresponding conditions to approximate an optimal solution. While the benefits of structure preserving or geometric methods have been known for decades, their exploration in the context of optimal control problems is a relatively recent field of research. In this work, the discrete adjoint method is derived for variational integrators yielding structure preserving approximations of the dynamics firstly in the ODE case and secondly for the case in which the dynamics is subject to holonomic constraints. The convergence rates are illustrated by numerical examples. Thirdly, the discrete adjoint method is applied to geometrically exact beam dynamics, represented by a holonomically constrained PDE.


title: Computer Vision for Carriers: PATRIOT

abstract: Deck tracking performed on carriers currently involves a team of sailors manually identifying aircraft and updating a digital user interface called the Ouija Board. Improvements to the deck tracking process would result in increased Sortie Generation Rates, and therefore applying automation is seen as a critical method to improve deck tracking. However, the requirements on a carrier ship do not allow for the installation of hardware-based location sensing technologies like Global Positioning System (GPS) sensors. PATRIOT (Panoramic Asset Tracking of Real-Time Information for the Ouija Tabletop) is a research effort and proposed solution to performing deck tracking with passive sensing and without the need for GPS sensors. PATRIOT is a prototype system which takes existing camera feeds, calculates aircraft poses, and updates a virtual Ouija board interface with the current status of the assets. PATRIOT would allow for faster, more accurate, and less laborious asset tracking for aircraft, people, and support equipment. PATRIOT is anticipated to benefit the warfighter by reducing cognitive workload, reducing manning requirements, collecting data to improve logistics, and enabling an automation gateway for future efforts to improve efficiency and safety. The authors have developed and tested algorithms to perform pose estimations of assets in real-time including OpenPifPaf, High-Resolution Network (HRNet), HigherHRNet (HHRNet), Faster R-CNN, and in-house developed encoder-decoder network. The software was tested with synthetic and real-world data and was able to accurately extract the pose of assets. Fusion, tracking, and real-world generality are planned to be improved to ensure a successful transition to the fleet.


title: A corona theorem for an algebra of Radon measures with an application to exact controllability for linear controlled delayed difference equations

abstract: This paper proves a corona theorem for the algebra of Radon measures compactly supported in $\mathbb{R}_-$ and this result is applied to provide a necessary and sufficient Hautus--type frequency criterion for the $L^1$ exact controllability of linear controlled delayed difference equations (LCDDE). Hereby, it solves an open question raised in [6].


title: ADM-Loc: Actionness Distribution Modeling for Point-supervised Temporal Action Localization

abstract: This paper addresses the challenge of point-supervised temporal action detection, in which only one frame per action instance is annotated in the training set. Self-training aims to provide supplementary supervision for the training process by generating pseudo-labels (action proposals) from a base model. However, most current methods generate action proposals by applying manually designed thresholds to action classification probabilities and treating adjacent snippets as independent entities. As a result, these methods struggle to generate complete action proposals, exhibit sensitivity to fluctuations in action classification scores, and generate redundant and overlapping action proposals. This paper proposes a novel framework termed ADM-Loc, which stands for Actionness Distribution Modeling for point-supervised action Localization. ADM-Loc generates action proposals by fitting a composite distribution, comprising both Gaussian and uniform distributions, to the action classification signals. This fitting process is tailored to each action class present in the video and is applied separately for each action instance, ensuring the distinctiveness of their distributions. ADM-Loc significantly enhances the alignment between the generated action proposals and ground-truth action instances and offers high-quality pseudo-labels for self-training. Moreover, to model action boundary snippets, it enforces consistency in action classification scores during training by employing Gaussian kernels, supervised with the proposed loss functions. ADM-Loc outperforms the state-of-the-art point-supervised methods on THUMOS14 and ActivityNet-v1.2 datasets.