title: Harmonic chain far from equilibrium: single-file diffusion, long-range order, and hyperuniformity

abstract: In one dimension, particles can not bypass each other. As a consequence, the mean-squared displacement (MSD) in equilibrium shows sub-diffusion ${\rm MSD}(t)\sim t^{1/2}$, instead of normal diffusion ${\rm MSD}(t)\sim t$. This phenomenon is the so-called single-file diffusion. Here, we investigate how the above equilibrium behaviors are modified far from equilibrium. In particular, we want to uncover what kind of non-equilibrium driving force can suppress diffusion and achieve the long-range crystalline order in one dimension, which is prohibited by the Mermin-Wagner theorem in equilibrium. For that purpose, we investigate the harmonic chain driven by the following four types of driving forces that do not satisfy the detailed balance: (i) temporally correlated noise with the noise spectrum $D(\omega)\sim \omega^{-2\theta}$, (ii) center-of-mass conserving noise, (iii) periodic driving force, and (iv) periodic deformations of particles. For the driving force (i) with $\theta>-1/4$, we observe ${\rm MSD}(t)\sim t^{1/2+2\theta}$ for large $t$. On the other hand, for the driving forces (i) with $\theta<-1/4$ and (ii)-(iv), MSD remains finite. As a consequence, the harmonic chain exhibits the crystalline order even in one dimension. Furthermore, the density fluctuations of the model are highly suppressed in a large scale for the driving forces (i) with $\theta<0$ and (ii)-(iv). This phenomenon is known as hyperuniformity. We discuss that hyperuniformity of the noise fluctuations themselves is the relevant mechanism to stabilize the long-range crystalline order in one dimension and yield hyperuniformity of the density fluctuations.


title: Characterization of natural convection between spherical shells

abstract: In this manuscript, it is analysed the onset and evolution of natural convection of an incompressible fluid between spherical shells. The shells are kept at a fixed temperature difference and aspect ratio, and the Rayleigh-Benard convection is driven by different radial gravity profiles. The analysis has been carried out by using a finite difference scheme to solve the three-dimensional Navier-Stokes equations in spherical coordinates. Numerical results are compared with theoretical predictions from linear and non-linear stability analysis, and differ from the expected critical Rayleigh number Ra_c = 1708 by less than 1 percent. In the range of Prandlt numbers Pr studied, and for all the different gravity profiles analysed, the system presents a dependence on its starting condition and flow history. Even in the region just above the onset of convection, two stable states are observed, with qualitative and quantitative differences, and exploring higher values of Ra introduces new modes and time dependency phenomena in the flow. These results are corroborated by spectral analysis.


title: Learning to Recharge: UAV Coverage Path Planning through Deep Reinforcement Learning

abstract: Coverage path planning (CPP) is a critical problem in robotics, where the goal is to find an efficient path that covers every point in an area of interest. This work addresses the power-constrained CPP problem with recharge for battery-limited unmanned aerial vehicles (UAVs). In this problem, a notable challenge emerges from integrating recharge journeys into the overall coverage strategy, highlighting the intricate task of making strategic, long-term decisions. We propose a novel proximal policy optimization (PPO)-based deep reinforcement learning (DRL) approach with map-based observations, utilizing action masking and discount factor scheduling to optimize coverage trajectories over the entire mission horizon. We further provide the agent with a position history to handle emergent state loops caused by the recharge capability. Our approach outperforms a baseline heuristic, generalizes to different target zones and maps, with limited generalization to unseen maps. We offer valuable insights into DRL algorithm design for long-horizon problems and provide a publicly available software framework for the CPP problem.


title: Global Solutions of the Compressible Euler-Poisson Equations for Plasma with Doping Profile for Large Initial Data of Spherical Symmetry

abstract: We establish the global-in-time existence of solutions of finite relative-energy for the multidimensional compressible Euler-Poisson equations for plasma with doping profile for large initial data of spherical symmetry. Both the total initial energy and the initial mass are allowed to be {\it unbounded}, and the doping profile is allowed to be of large variation. This is achieved by adapting a class of degenerate density-dependent viscosity terms, so that a rigorous proof of the inviscid limit of global weak solutions of the Navier-Stokes-Poisson equations with the density-dependent viscosity terms to the corresponding global solutions of the Euler-Poisson equations for plasma with doping profile can be established. New difficulties arise when tackling the non-zero varied doping profile, which have been overcome by establishing some novel estimates for the electric field terms so that the neutrality assumption on the initial data is avoided. In particular, we prove that no concentration is formed in the inviscid limit for the finite relative-energy solutions of the compressible Euler-Poisson equations with large doping profiles in plasma physics.


title: Magnetic curvature and existence of closed magnetic geodesics on low energy levels

abstract: To a Riemannian manifold ${(M, g)}$ endowed with a magnetic form ${\sigma}$ and its Lorentz operator ${\Omega}$ we associate an operator ${M^{\Omega}}$, called the magnetic curvature operator. Such an operator encloses the classical Riemannian curvature of the metric ${g}$ together with terms of perturbation due to the magnetic interaction of ${\sigma}$. From ${M^{\Omega}}$ we derive the magnetic sectional curvature ${\mathrm{Sec}^{\Omega}}$ and the magnetic Ricci curvature ${\mathrm{Ric}^{\Omega}}$. On closed manifolds, with a Bonnet-Myers argument, we show that if ${\mathrm{Ric}^{\Omega}}$ is positive on an energy level below the critical value then, on that energy level, the magnetic dynamics carries a contractible periodic orbit. In particular, when ${\sigma}$ is nowhere vanishing, this implies the existence of contractible periodic orbits on every energy level close to zero. Finally, on closed oriented even dimensional manifolds, we discuss about the topological restrictions which appear when one requires ${\mathrm{Sec}^{\Omega}}$ to be positive.


title: ResFields: Residual Neural Fields for Spatiotemporal Signals

abstract: Neural fields, a category of neural networks trained to represent high-frequency signals, have gained significant attention in recent years due to their impressive performance in modeling complex 3D data, such as signed distance (SDFs) or radiance fields (NeRFs), via a single multi-layer perceptron (MLP). However, despite the power and simplicity of representing signals with an MLP, these methods still face challenges when modeling large and complex temporal signals due to the limited capacity of MLPs. In this paper, we propose an effective approach to address this limitation by incorporating temporal residual layers into neural fields, dubbed ResFields. It is a novel class of networks specifically designed to effectively represent complex temporal signals. We conduct a comprehensive analysis of the properties of ResFields and propose a matrix factorization technique to reduce the number of trainable parameters and enhance generalization capabilities. Importantly, our formulation seamlessly integrates with existing MLP-based neural fields and consistently improves results across various challenging tasks: 2D video approximation, dynamic shape modeling via temporal SDFs, and dynamic NeRF reconstruction. Lastly, we demonstrate the practical utility of ResFields by showcasing its effectiveness in capturing dynamic 3D scenes from sparse RGBD cameras of a lightweight capture system.


title: ACEpotentials.jl: A Julia Implementation of the Atomic Cluster Expansion

abstract: We introduce ACEpotentials.jl, a Julia-language software package that constructs interatomic potentials from quantum mechanical reference data using the Atomic Cluster Expansion (Drautz, 2019). As the latter provides a complete description of atomic environments, including invariance to overall translation and rotation as well as permutation of like atoms, the resulting potentials are systematically improvable and data efficient. Furthermore, the descriptor's expressiveness enables use of a linear model, facilitating rapid evaluation and straightforward application of Bayesian techniques for active learning. We summarize the capabilities of ACEpotentials.jl and demonstrate its strengths (simplicity, interpretability, robustness, performance) on a selection of prototypical atomistic modelling workflows.


title: On the Line-Separable Unit-Disk Coverage and Related Problems

abstract: Given a set $P$ of $n$ points and a set $S$ of $m$ disks in the plane, the disk coverage problem asks for a smallest subset of disks that together cover all points of $P$. The problem is NP-hard. In this paper, we consider a line-separable unit-disk version of the problem where all disks have the same radius and their centers are separated from the points of $P$ by a line $\ell$. We present an $O((n+m)\log(n+m))$ time algorithm for the problem. This improves the previously best result of $O(nm+ n\log n)$ time. Our techniques also solve the line-constrained version of the problem, where centers of all disks of $S$ are located on a line $\ell$ while points of $P$ can be anywhere in the plane. Our algorithm runs in $O((n+m)\log (m+ n)+m \log m\log n)$ time, which improves the previously best result of $O(nm\log(m+n))$ time. In addition, our results lead to an algorithm of $O(n^3\log n)$ time for a half-plane coverage problem (given $n$ half-planes and $n$ points, find a smallest subset of half-planes covering all points); this improves the previously best algorithm of $O(n^4\log n)$ time. Further, if all half-planes are lower ones, our algorithm runs in $O(n\log n)$ time while the previously best algorithm takes $O(n^2\log n)$ time.


title: Asymptotic expansions for blocks estimators: PoT framework

abstract: We consider disjoint and sliding blocks estimators of cluster indices for multivariate, regularly varying time series in the Peak-over-Threshold framework. We aim to provide a complete description of the limiting behaviour of these estimators. This is achieved by a precise expansion for the difference between the sliding and the disjoint blocks statistics. The rates in the expansion stem from internal clusters and boundary clusters. To obtain these rates we need to extend the existing results on vague convergence of cluster measures. We reveal dichotomous behaviour between small blocks and large blocks scenario.


title: J-Guard: Journalism Guided Adversarially Robust Detection of AI-generated News

abstract: The rapid proliferation of AI-generated text online is profoundly reshaping the information landscape. Among various types of AI-generated text, AI-generated news presents a significant threat as it can be a prominent source of misinformation online. While several recent efforts have focused on detecting AI-generated text in general, these methods require enhanced reliability, given concerns about their vulnerability to simple adversarial attacks. Furthermore, due to the eccentricities of news writing, applying these detection methods for AI-generated news can produce false positives, potentially damaging the reputation of news organizations. To address these challenges, we leverage the expertise of an interdisciplinary team to develop a framework, J-Guard, capable of steering existing supervised AI text detectors for detecting AI-generated news while boosting adversarial robustness. By incorporating stylistic cues inspired by the unique journalistic attributes, J-Guard effectively distinguishes between real-world journalism and AI-generated news articles. Our experiments on news articles generated by a vast array of AI models, including ChatGPT (GPT3.5), demonstrate the effectiveness of J-Guard in enhancing detection capabilities while maintaining an average performance decrease of as low as 7% when faced with adversarial attacks.


title: A Semiparametric Generalized Exponential Regression Model with a Principled Distance-based Prior for Analyzing Trends in Rainfall

abstract: The Western Ghats mountain range holds critical importance in regulating monsoon rainfall across Southern India, with a profound impact on regional agriculture. Here, we analyze daily wet-day rainfall data for the monsoon months between 1901-2022 for the Northern, Middle, and Southern Western Ghats regions. Motivated by an exploratory data analysis, we introduce a semiparametric Bayesian generalized exponential (GE) regression model; despite the underlying GE distribution assumption being well-known in the literature, including in the context of rainfall analysis, no research explored it in a regression setting, as of our knowledge. Our proposed approach involves modeling the GE rate parameter within a generalized additive model framework. An important feature is the integration of a principled distance-based prior for the GE shape parameter; this allows the model to shrink to an exponential regression model that retains the advantages of the exponential family. We draw inferences using the Markov chain Monte Carlo algorithm. Extensive simulations demonstrate that the proposed model outperforms simpler alternatives. Applying the model to analyze the rainfall data over 122 years provides insights into model parameters, temporal patterns, and the impact of climate change. We observe a significant decreasing trend in wet-day rainfall for the Southern Western Ghats region.


title: Possible wormholes in a Friedmann universe

abstract: We study the properties of evolving wormholes able to exist in a closed Friedmann dust-filled universe and described by a particular branch of the well-known Lema{\i}tre-Tolman-Bondi solution to the Einstein equations and its generalization with a nonzero cosmological constant and an electromagnetic field. Most of the results are obtained with pure dust solutions. It is shown, in particular, that the lifetime of wormhole throats is much shorter than that of the whole wormhole region in the universe (which coincides with the lifetime of the universe as a whole), and that the density of matter near the boundary of the wormhole region is a few times smaller than the mean density of matter in the universe. Explicit examples of wormhole solutions and the corresponding numerical estimates are presented. The traversability of the wormhole under study is shown by a numerical analysis of radial null geodesics.


title: Split-Boost Neural Networks

abstract: The calibration and training of a neural network is a complex and time-consuming procedure that requires significant computational resources to achieve satisfactory results. Key obstacles are a large number of hyperparameters to select and the onset of overfitting in the face of a small amount of data. In this framework, we propose an innovative training strategy for feed-forward architectures - called split-boost - that improves performance and automatically includes a regularizing behaviour without modeling it explicitly. Such a novel approach ultimately allows us to avoid explicitly modeling the regularization term, decreasing the total number of hyperparameters and speeding up the tuning phase. The proposed strategy is tested on a real-world (anonymized) dataset within a benchmark medical insurance design problem.


title: UMS: Live Migration of Containerized Services across Autonomous Computing Systems

abstract: Containerized services deployed within various computing systems, such as edge and cloud, desire live migration support to enable user mobility, elasticity, and load balancing. To enable such a ubiquitous and efficient service migration, a live migration solution needs to handle circumstances where users have various authority levels (full control, limited control, or no control) over the underlying computing systems. Supporting the live migration at these levels serves as the cornerstone of interoperability, and can unlock several use cases across various forms of distributed systems. As such, in this study, we develop a ubiquitous migration solution (called UMS) that, for a given containerized service, can automatically identify the feasible migration approach, and then seamlessly perform the migration across autonomous computing systems. UMS does not interfere with the way the orchestrator handles containers and can coordinate the migration without the orchestrator involvement. Moreover, UMS is orchestrator-agnostic, i.e., it can be plugged into any underlying orchestrator platform. UMS is equipped with novel methods that can coordinate and perform the live migration at the orchestrator, container, and service levels. Experimental results show that for single-process containers, the service-level approach, and for multi-process containers with small (< 128 MiB) memory footprint, the container-level migration approach lead to the lowest migration overhead and service downtime. To demonstrate the potential of UMS in realizing interoperability and multi-cloud scenarios, we examined it to perform live service migration across heterogeneous orchestrators, and between Microsoft Azure and Google Cloud


title: Impression-Informed Multi-Behavior Recommender System: A Hierarchical Graph Attention Approach

abstract: While recommender systems have significantly benefited from implicit feedback, they have often missed the nuances of multi-behavior interactions between users and items. Historically, these systems either amalgamated all behaviors, such as \textit{impression} (formerly \textit{view}), \textit{add-to-cart}, and \textit{buy}, under a singular 'interaction' label, or prioritized only the target behavior, often the \textit{buy} action, discarding valuable auxiliary signals. Although recent advancements tried addressing this simplification, they primarily gravitated towards optimizing the target behavior alone, battling with data scarcity. Additionally, they tended to bypass the nuanced hierarchy intrinsic to behaviors. To bridge these gaps, we introduce the \textbf{H}ierarchical \textbf{M}ulti-behavior \textbf{G}raph Attention \textbf{N}etwork (HMGN). This pioneering framework leverages attention mechanisms to discern information from both inter and intra-behaviors while employing a multi-task Hierarchical Bayesian Personalized Ranking (HBPR) for optimization. Recognizing the need for scalability, our approach integrates a specialized multi-behavior sub-graph sampling technique. Moreover, the adaptability of HMGN allows for the seamless inclusion of knowledge metadata and time-series data. Empirical results attest to our model's prowess, registering a notable performance boost of up to 64\% in NDCG@100 metrics over conventional graph neural network methods.


title: The vortex-Nernst effect in a superconducting infinite-layer nickelate

abstract: We report measurements of the Nernst and Seebeck effects in Nd$_{1-x}$Sr$_x$NiO$_2$ thin films near the superconducting transition temperature, $T$ = 6.5 - 15 K. Our main result is the observation of a vortex-Nernst signal $S_{yx}(T,H)$ with a maximum at $\mu_0H$ = 5 T and a tail that extends to $\mu_0H$ $\approx$ 15 T, which we identify as the upper-critical field $H_{c2}$. At $T > T_{\rm c} =$ 6.1 K, $H_{c2}$ remains large (15 T), up to the highest temperature we can resolve from $S_{yx}$ (11 K). These results indicate the existence of a vortex-liquid state over a wide range of finite-resistance temperatures, as in the high-$T_{\rm c}$ cuprates.


title: What Does '(Non)-Absoluteness of Observed Events' Mean?

abstract: Recently there have emerged an assortment of theorems relating to the 'absoluteness of emerged events,' and these results have sometimes been used to argue that quantum mechanics may involve some kind of metaphysically radical non-absoluteness, such as relationalism or perspectivalism. However, in our view a close examination of these theorems fails to convincingly support such possibilities. In this paper we argue that the Wigner's friend paradox, the theorem of Bong et al and the theorem of Lawrence et al are all best understood as demonstrating that if quantum mechanics is universal, and if certain auxiliary assumptions hold, then the world inevitably includes various forms of 'disaccord,' but this need not be interpreted in a metaphysically radical way; meanwhile, the theorem of Ormrod and Barrett is best understood either as an argument for an interpretation allowing multiple outcomes per observer, such as the Everett approach, or as a proof that quantum mechanics cannot be universal in the sense relevant for this theorem. We also argue that these theorems taken together suggest interesting possibilities for a different kind of relational approach in which dynamical states are relativized whilst observed events are absolute, and we show that although something like 'retrocausality' might be needed to make such an approach work, this would be a very special kind of retrocausality which would evade a number of common objections against retrocausality. We conclude that the non-absoluteness theorems may have a significant role to play in helping converge towards an acceptable solution to the measurement problem.


title: Optical pulse induced ultrafast antiferrodistortive transition in SrTiO3

abstract: The ultrafast dynamics of the antiferrodistortive (AFD) phase transition in perovskite SrTiO3 is monitored via time-domain Brillouin scattering. Using femtosecond optical pulses, we induce a thermally driven tetragonal-to-cubic structural transformation and detect notable changes in the frequency of Brillouin oscillations (BO) induced by propagating acoustic phonons. First, we establish a fingerprint frequency of different regions across the temperature phase diagram of the AFD transition characterized by tetragonal and cubic phases in the low and high temperature sides, respectively. Then, we demonstrate that in a sample nominally kept in tetragonal phase, deposition of sufficient thermal energy induces an instantaneous transformation of the heat-affected region to the cubic phase. Coupling the measured depth-resolved BO frequency with a time and depth-resolved heat diffusion model, we detect a reverse cubic-to-tetragonal phase transformation occurring on a time scale of hundreds of picoseconds. We attribute this ultrafast phase transformation in the perovskite to a structural resemblance between atomic displacements of the R-point soft optic mode of the cubic phase and the tetragonal phase, both characterized by anti-phase rotation of oxygen octahedra. Evidence of such a fast structural transition in perovskites can open up new avenues in the field of information processing and energy storage.


title: PDiscoNet: Semantically consistent part discovery for fine-grained recognition

abstract: Fine-grained classification often requires recognizing specific object parts, such as beak shape and wing patterns for birds. Encouraging a fine-grained classification model to first detect such parts and then using them to infer the class could help us gauge whether the model is indeed looking at the right details better than with interpretability methods that provide a single attribution map. We propose PDiscoNet to discover object parts by using only image-level class labels along with priors encouraging the parts to be: discriminative, compact, distinct from each other, equivariant to rigid transforms, and active in at least some of the images. In addition to using the appropriate losses to encode these priors, we propose to use part-dropout, where full part feature vectors are dropped at once to prevent a single part from dominating in the classification, and part feature vector modulation, which makes the information coming from each part distinct from the perspective of the classifier. Our results on CUB, CelebA, and PartImageNet show that the proposed method provides substantially better part discovery performance than previous methods while not requiring any additional hyper-parameter tuning and without penalizing the classification performance. The code is available at https://github.com/robertdvdk/part_detection.


title: Distributed and Anytime Algorithm for Network Optimization Problems with Separable Structure

abstract: This paper considers the problem of designing a dynamical system to solve constrained optimization problems in a distributed way and in an anytime fashion (i.e., such that the feasible set is forward invariant). For problems with separable objective function and constraints, we design an algorithm with the desired properties and establish its convergence. Simulations illustrate our results.


title: Gender-specific Machine Translation with Large Language Models

abstract: While machine translation (MT) systems have seen significant improvements, it is still common for translations to reflect societal biases, such as gender bias. Decoder-only Large Language Models (LLMs) have demonstrated potential in MT, albeit with performance slightly lagging behind traditional encoder-decoder Neural Machine Translation (NMT) systems. However, LLMs offer a unique advantage: the ability to control the properties of the output through prompts. In this study, we leverage this flexibility to explore LLaMa's capability to produce gender-specific translations. Our results indicate that LLaMa can generate gender-specific translations with translation accuracy and gender bias comparable to NLLB, a state-of-the-art multilingual NMT system. Furthermore, our experiments reveal that LLaMa's gender-specific translations rely on coreference resolution to determine gender, showing higher gender variance in gender-ambiguous datasets but maintaining consistency in less ambiguous contexts. This research investigates the potential and challenges of using LLMs for gender-specific translations as an instance of the controllability of outputs offered by LLMs.


title: Error analysis for local coarsening in univariate spline spaces

abstract: In this article we analyze the error produced by the removal of an arbitrary knot from a spline function. When a knot has multiplicity greater than one, this implies a reduction of its multiplicity by one unit. In particular, we deduce a very simple formula to compute the error in terms of some neighboring knots and a few control points of the considered spline. Furthermore, we show precisely how this error is related to the jump of a derivative of the spline at the knot. We then use the developed theory to propose efficient and very low-cost local error indicators and adaptive coarsening algorithms. Finally, we present some numerical experiments to illustrate their performance and show some applications.


title: 3D Object Positioning Using Differentiable Multimodal Learning

abstract: This article describes a multi-modal method using simulated Lidar data via ray tracing and image pixel loss with differentiable rendering to optimize an object's position with respect to an observer or some referential objects in a computer graphics scene. Object position optimization is completed using gradient descent with the loss function being influenced by both modalities. Typical object placement optimization is done using image pixel loss with differentiable rendering only, this work shows the use of a second modality (Lidar) leads to faster convergence. This method of fusing sensor input presents a potential usefulness for autonomous vehicles, as these methods can be used to establish the locations of multiple actors in a scene. This article also presents a method for the simulation of multiple types of data to be used in the training of autonomous vehicles.


title: Bulk Operator Reconstruction in Topological Tensor Network and Generalized Free Fields

abstract: In this paper, we would like to study operator reconstruction in a class of holographic tensor networks describing renormalization group flows studied in arXiv:2210.12127. We study examples of 2d bulk holographic tensor networks constructed from Dijkgraaf-Witten theories and found that for both $\mathbb{Z}_n$ group and $S_3$ group the number of bulk operators behaving like a generalized free field in the bulk scales as the order of the group. We also generalize our study to 3d bulks and found the same scaling for $\mathbb{Z}_n$ theories. However, there is no generalized free field when the bulk comes from more generic fusion categories such as the Fibonacci model.


title: SLiMe: Segment Like Me

abstract: Significant strides have been made using large vision-language models, like Stable Diffusion (SD), for a variety of downstream tasks, including image editing, image correspondence, and 3D shape generation. Inspired by these advancements, we explore leveraging these extensive vision-language models for segmenting images at any desired granularity using as few as one annotated sample by proposing SLiMe. SLiMe frames this problem as an optimization task. Specifically, given a single training image and its segmentation mask, we first extract attention maps, including our novel "weighted accumulated self-attention map" from the SD prior. Then, using the extracted attention maps, the text embeddings of Stable Diffusion are optimized such that, each of them, learn about a single segmented region from the training image. These learned embeddings then highlight the segmented region in the attention maps, which in turn can then be used to derive the segmentation map. This enables SLiMe to segment any real-world image during inference with the granularity of the segmented region in the training image, using just one example. Moreover, leveraging additional training data when available, i.e. few-shot, improves the performance of SLiMe. We carried out a knowledge-rich set of experiments examining various design factors and showed that SLiMe outperforms other existing one-shot and few-shot segmentation methods.


title: Arithmetical subword complexity of automatic sequences

abstract: We fully classify automatic sequences $a$ over a finite alphabet $\Omega$ with the property that each word over $\Omega$ appears is $a$ along an arithmetic progression. Using the terminology introduced by Avgustinovich, Fon-Der-Flaass and Frid, these are the automatic sequences with the maximal possible arithmetical subword complexity. More generally, we obtain an asymptotic formula for arithmetical (and even polynomial) subword complexity of a given automatic sequence $a$.


title: Prisms and Tambara functors I: Twisted powers, transversality, and the perfect sandwich

abstract: We construct a faithful and conservative functor from prisms to $C_{p^\infty}$-Tambara functors; in appropriate situations, this gives an algebraic description of $\underline\pi_0{\mathrm{TC}^-}$. We also present two integral variants using the generalized $n$-series of Devalapurkar-Misterka. The construction is based on the "twisted $I$-adic" or "$(p^\bullet)_q$" filtration, and is closely related to $q$-divided powers. To verify the axioms, we introduce a new technique for constructing Tambara functors, inspired by transversal prisms. We apply this to give a conceptual construction of Molokov's de Rham-Witt comparison map, and generalize it to a triangle sandwiching prismatic theory between theories built from Witt vectors and adjunction of $p$-power roots.


title: treams -- A T-matrix scattering code for nanophotonic computations

abstract: We report the publication of treams, a new software for electromagnetic scattering computations based on the T-matrix method. Besides conventional T-matrix calculations for individual scatterers and finite clusters of particles, a unique feature of the code is its full support for periodic boundaries in one, two, and all three spatial dimensions. We use highly efficient and quickly converging lattice summation techniques based on the Ewald method to evaluate the arising lattice sums in these cases. In addition to the common use of vector spherical waves as a basis set for the T-matrix, vector cylindrical waves are also implemented. To describe stratified media, vector plane waves are used with an S-matrix description of the electromagnetic scattering. All basis sets and the associated methods can be used together with chiral constitutive relations. This contribution outlines the basic methods implemented and the program structure. Two interfaces to the implemented functionality are available: a flexible and fast low-level interface and a high-level interface for added convenience and plausibility checks. We conclude with two examples: a demonstration of the field calculation in various lattices and the explorations of quasi-bound states in the continuum. The presented code was already used in calculations for various physical systems: from the mode properties of molecular arrays in cavities to analytical models for metasurfaces and from moir\'{e} lattices to the homogenization of artificial photonic materials. With the publication of treams and the associated documentation, we hope to empower more scientists to make an efficient, fast, and precise exploration of nanophotonic systems that can be described in the broader framework of scattering theory. The full code is published at https://github.com/tfp-photonics/treams with the documentation at https://tfp-photonics.github.io/treams .


title: 3D Transformer based on deformable patch location for differential diagnosis between Alzheimer's disease and Frontotemporal dementia

abstract: Alzheimer's disease and Frontotemporal dementia are common types of neurodegenerative disorders that present overlapping clinical symptoms, making their differential diagnosis very challenging. Numerous efforts have been done for the diagnosis of each disease but the problem of multi-class differential diagnosis has not been actively explored. In recent years, transformer-based models have demonstrated remarkable success in various computer vision tasks. However, their use in disease diagnostic is uncommon due to the limited amount of 3D medical data given the large size of such models. In this paper, we present a novel 3D transformer-based architecture using a deformable patch location module to improve the differential diagnosis of Alzheimer's disease and Frontotemporal dementia. Moreover, to overcome the problem of data scarcity, we propose an efficient combination of various data augmentation techniques, adapted for training transformer-based models on 3D structural magnetic resonance imaging data. Finally, we propose to combine our transformer-based model with a traditional machine learning model using brain structure volumes to better exploit the available data. Our experiments demonstrate the effectiveness of the proposed approach, showing competitive results compared to state-of-the-art methods. Moreover, the deformable patch locations can be visualized, revealing the most relevant brain regions used to establish the diagnosis of each disease.


title: Constraining the halo-ISM connection through multi-transition carbon monoxide line-intensity mapping

abstract: Line-intensity mapping (LIM) surveys will characterise the cosmological large-scale structure of emissivity in a range of atomic and molecular spectral lines, but existing literature rarely considers whether these surveys can recover excitation properties of the tracer gas species, such as the carbon monoxide (CO) molecule. Combining basic empirical and physical assumptions with the off-the-shelf Radex radiative transfer code or a Gaussian process emulator of Radex outputs, we devise a basic dark matter halo model for CO emission by tying bulk CO properties to halo properties, exposing physical variables governing CO excitation as free parameters. The CO Mapping Array Project (COMAP) is working towards a multi-band survey programme to observe both CO(1-0) and CO(2-1) at $z\sim7$. We show that this programme, as well as a further 'Triple Deluxe' extension to higher frequencies covering CO(3-2), is fundamentally capable of successfully recovering the connection between halo mass and CO abundances, and constraining the molecular gas kinetic temperature and density within the star-forming interstellar medium in ways that single-transition CO LIM cannot. Given a fiducial thermal pressure of $\sim10^4$ K cm$^{-3}$ for molecular gas in halos of $\sim10^{10}\,M_\odot$, simulated multi-band COMAP surveys successfully recover the thermal pressure within 68% interval half-widths of 0.5--0.6 dex. Construction of multi-frequency LIM instrumentation to access multiple CO transitions is crucial in harnessing this capability, as part of a cosmic statistical probe of gas metallicity, dust chemistry, and other physical parameters in star-forming regions of the first galaxies and proto-galaxies out of reionisation.


title: Bayes' Rays: Uncertainty Quantification for Neural Radiance Fields

abstract: Neural Radiance Fields (NeRFs) have shown promise in applications like view synthesis and depth estimation, but learning from multiview images faces inherent uncertainties. Current methods to quantify them are either heuristic or computationally demanding. We introduce BayesRays, a post-hoc framework to evaluate uncertainty in any pre-trained NeRF without modifying the training process. Our method establishes a volumetric uncertainty field using spatial perturbations and a Bayesian Laplace approximation. We derive our algorithm statistically and show its superior performance in key metrics and applications. Additional results available at: https://bayesrays.github.io.


title: HCN emission from translucent gas and UV-illuminated cloud edges revealed by wide-field IRAM 30m maps of Orion B GMC: Revisiting its role as tracer of the dense gas reservoir for star formation

abstract: We present 5 deg^2 (~250 pc^2) HCN, HNC, HCO+, and CO J=1-0 maps of the Orion B GMC, complemented with existing wide-field [CI] 492 GHz maps, as well as new pointed observations of rotationally excited HCN, HNC, H13CN, and HN13C lines. We detect anomalous HCN J=1-0 hyperfine structure line emission almost everywhere in the cloud. About 70% of the total HCN J=1-0 luminosity arises from gas at A_V < 8 mag. The HCN/CO J=1-0 line intensity ratio shows a bimodal behavior with an inflection point at A_V < 3 mag typical of translucent gas and UV-illuminated cloud edges. We find that most of the HCN J=1-0 emission arises from extended gas with n(H2) ~< 10^4 cm^-3, even lower density gas if the ionization fraction is > 10^-5 and electron excitation dominates. This result explains the low-A_V branch of the HCN/CO J=1-0 intensity ratio distribution. Indeed, the highest HCN/CO ratios (~0.1) at A_V < 3 mag correspond to regions of high [CI] 492 GHz/CO J=1-0 intensity ratios (>1) characteristic of low-density PDRs. Enhanced FUV radiation favors the formation and excitation of HCN on large scales, not only in dense star-forming clumps. The low surface brightness HCN and HCO+ J=1-0 emission scale with I_FIR (a proxy of the stellar FUV radiation field) in a similar way. Together with CO J=1-0, these lines respond to increasing I_FIR up to G0~20. On the other hand, the bright HCN J=1-0 emission from dense gas in star-forming clumps weakly responds to I_FIR once the FUV radiation field becomes too intense (G0>1500). The different power law scalings (produced by different chemistries, densities, and line excitation regimes) in a single but spatially resolved GMC resemble the variety of Kennicutt-Schmidt law indexes found in galaxy averages. As a corollary for extragalactic studies, we conclude that high HCN/CO J=1-0 line intensity ratios do not always imply the presence of dense gas.


title: Size-Induced High Electrocaloric Response of Dense Ferroelectric Nanocomposites

abstract: Analytical results obtained within Landau-Ginzburg-Devonshire approach and effective media models, predict that the synergy of size effects and Vegard stresses can significantly enhance the electrocaloric cooling (up to 7 times) of the BaTiO3 nanoparticles in comparison with a bulk BaTiO3. To compare with the considered effective media models, we measured the capacitance-voltage and current-voltage characteristics of the dense nanocomposites consisting of (28-35) vol.% BaTiO3 nanoparticles incorporated in organic polymers and determined experimentally the effective dielectric permittivity and losses of the composites. Generalizing obtained analytical results, various ferroelectric nanoparticles spontaneously stressed by elastic defects, such as oxygen vacancies or any other elastic dipoles, which create a strong chemical pressure, can cause the giant electrocaloric response of dense ferroelectric nanocomposites. We have shown that the advantages of the studied lead-free dense nanocomposites are the good tunability of electrocaloric cooling temperature due to the size effects in ferroelectric nanoparticles and the easy control of the high electrocaloric cooling by electric fields. This makes the dense ferroelectric nanocomposites promising for cooling of conventional and innovative electronic elements, such as FETs with high-temperature superconductor channels.


title: Leo T Dissected with the MUSE-Faint Survey

abstract: Leo T is the lowest mass galaxy known to contain neutral gas and to show signs of recent star formation, which makes it a valuable laboratory for studying the nature of gas and star formation at the limits of where galaxies are found to have rejuvenating episodes of star formation. Here we discuss a novel study of Leo T that uses data from the MUSE integral field spectrograph and photometric data from HST. The high sensitivity of MUSE allowed us to increase the number of Leo T stars observed spectroscopically from 19 to 75. We studied the age and metallicity of these stars and identified two populations, all consistent with similar metallicity of [Fe/H] $\sim$ -1.5 dex, suggesting that a large fraction of metals were ejected. Within the young population, we discovered three emission line Be stars, supporting the conclusion that rapidly rotating massive stars are common in metal-poor environments. We find differences in the dynamics of young and old stars, with the young population having a velocity dispersion consistent with the kinematics of the cold component of the neutral gas. This finding directly links the recent star formation in Leo T with the cold component of the neutral gas.


title: Polarization of Thermal Dilepton Radiation

abstract: The spectra of dileptons radiated from the fireballs formed in high-energy heavy-ion collisions have been successfully used to investigate key properties of hot and dense QCD matter. In this paper we study polarization observables which have thus far received little attention. Microscopic calculations of in-medium electromagnetic spectral functions have thus far mostly focused on integrated yields which are proportional to the sum of the longitudinal and transverse components of the virtual photon's selfenergy. Photon polarization results from the difference of these components, which in general does not vanish for lepton pairs at finite three-momentum relative to the heat bath (and is maximal for fully transverse real photons). Using a model that successfully describes dilepton spectra in heavy-ion collisions, with hadronic emission via medium-modified vector mesons and quark-antiquark annihilation constrained by lattice QCD, we compute polarization observables in different dilepton mass bins and confront them with data of the HADES and NA60 experiments.


title: Blink: Link Local Differential Privacy in Graph Neural Networks via Bayesian Estimation

abstract: Graph neural networks (GNNs) have gained an increasing amount of popularity due to their superior capability in learning node embeddings for various graph inference tasks, but training them can raise privacy concerns. To address this, we propose using link local differential privacy over decentralized nodes, enabling collaboration with an untrusted server to train GNNs without revealing the existence of any link. Our approach spends the privacy budget separately on links and degrees of the graph for the server to better denoise the graph topology using Bayesian estimation, alleviating the negative impact of LDP on the accuracy of the trained GNNs. We bound the mean absolute error of the inferred link probabilities against the ground truth graph topology. We then propose two variants of our LDP mechanism complementing each other in different privacy settings, one of which estimates fewer links under lower privacy budgets to avoid false positive link estimates when the uncertainty is high, while the other utilizes more information and performs better given relatively higher privacy budgets. Furthermore, we propose a hybrid variant that combines both strategies and is able to perform better across different privacy budgets. Extensive experiments show that our approach outperforms existing methods in terms of accuracy under varying privacy budgets.


title: Extensions of MacMahon's sums of divisors

abstract: In 1920, P. A. MacMahon generalized the (classical) notion of divisor sums by relating it to the theory of partitions of integers. In this paper, we extend the idea of MacMahon. In doing so we reveal a wealth of divisibility theorems and unexpected combinatorial identities. Our initial approach is quite different from MacMahon and involves rational function approximation to MacMahon-type generating functions. One such example involves multiple $q$-harmonic sums $$\sum_{k=1}^n\frac{(-1)^{k-1}\genfrac{[}{]}{0pt}{}{n}{k}_{q}(1+q^k)q^{\binom{k}{2}+tk}}{[k]_q^{2t} \genfrac{[}{]}{0pt}{}{n+k}{k}_{q}}=\sum_{1\leq k_1\leq\cdots\leq k_{2t}\leq n}\frac{q^{n+k_1+k_3\cdots+k_{2t-1}}+q^{k_2+k_4+\cdots+k_{2t}}}{[n+k_1]_q[k_2]_q\cdots[k_{2t}]_q}.$$


title: Phase transition for the late points of random walk

abstract: Let $X$ be a random walk on the torus of side length $N$ in dimension $d\geq 3$ with uniform starting point, and $t_{\text{cov}}$ be the expected value of its cover time, which is the first time that $X$ has visited every vertex of the torus at least once. For $\alpha > 0$, the set $\mathcal{L}^{\alpha}$ of $\alpha$-late points consists of those points not visited by $X$ at time $\alpha t_{\text{cov}}$. We prove the existence of a value $\alpha_* \in (\frac12,1)$ across which $\mathcal{L}^{\alpha}$ trivialises as follows: for all $\alpha > \alpha_*$ and $\epsilon\geq N^{-c}$ there exists a coupling of $\mathcal{L}^\alpha$ and two occupation sets $\mathcal{B}^{\alpha_\pm}$ of i.i.d. Bernoulli fields having the same density as $\mathcal{L}^{\alpha\pm \epsilon}$, which is asymptotic to $N^{-(\alpha\pm\epsilon)d}$, with the property that the inclusion $ \mathcal{B}^{\alpha_+} \subseteq \mathcal{L}^{\alpha} \subseteq \mathcal{B}^{\alpha_-}$ holds with high probability as $N \to \infty$. On the contrary, when $\alpha \leq \alpha_*$ there is no such coupling. Corresponding results also hold for the vacant set of random interlacements at high intensities. The transition at $\alpha_*$ corresponds to the (dis-)appearance of `double-points' (i.e. neighboring pairs of points) in $\mathcal{L}^\alpha$. We further describe the law of $\mathcal{L}^{\alpha}$ for $\alpha>\frac12$ by adding independent patterns to $\mathcal{B}^{\alpha_{\pm}}$. In dimensions $d \geq 4$ these are exactly all two-point sets. When $d=3$ one must also include all connected three-point sets, but no other.


title: Frustrated extended Bose-Hubbard model and deconfined quantum critical points with optical lattices at the anti-magic wavelength

abstract: The study of geometrically frustrated many-body quantum systems is of central importance to uncover novel quantum mechanical effects. We design a scheme where ultracold bosons trapped in a one-dimensional state-dependent optical lattice are modeled by a frustrated Bose-Hubbard Hamiltonian. A derivation of the Hamiltonian parameters based on Cesium atoms, further show large tunability of contact and nearest-neighbour interactions. For pure contact repulsion, we discover the presence of two phases peculiar to frustrated quantum magnets: the bond-order-wave insulator with broken inversion symmetry and a chiral superfluid. When the nearest-neighbour repulsion becomes sizeable, a further density-wave insulator with broken translational symmetry can appear. We show that the phase transition between the two spontaneously-symmetry-broken phases is continuous, thus representing a one-dimensional deconfined quantum critical point not captured by the Landau-Ginzburg-Wilson symmetry-breaking paradigm. Our results provide a solid ground to unveil the novel quantum physics induced by the interplay of non-local interactions, geometrical frustration, and quantum fluctuations.


title: Signatures of Bayesian inference emerge from energy efficient synapses

abstract: Biological synaptic transmission is unreliable, and this unreliability likely degrades neural circuit performance. While there are biophysical mechanisms that can increase reliability, for instance by increasing vesicle release probability, these mechanisms cost energy. We examined four such mechanisms along with the associated scaling of the energetic costs. We then embedded these energetic costs for reliability in artificial neural networks (ANN) with trainable stochastic synapses, and trained these networks on standard image classification tasks. The resulting networks revealed a tradeoff between circuit performance and the energetic cost of synaptic reliability. Additionally, the optimised networks exhibited two testable predictions consistent with pre-existing experimental data. Specifically, synapses with lower variability tended to have 1) higher input firing rates and 2) lower learning rates. Surprisingly, these predictions also arise when synapse statistics are inferred through Bayesian inference. Indeed, we were able to find a formal, theoretical link between the performance-reliability cost tradeoff and Bayesian inference. This connection suggests two incompatible possibilities: evolution may have chanced upon a scheme for implementing Bayesian inference by optimising energy efficiency, or alternatively, energy efficient synapses may display signatures of Bayesian inference without actually using Bayes to reason about uncertainty.


title: Terahertz-Band Direction Finding With Beam-Split and Mutual Coupling Calibration

abstract: Terahertz (THz) band is currently envisioned as the key building block to achieving the future sixth generation (6G) wireless systems. The ultra-wide bandwidth and very narrow beamwidth of THz systems offer the next order of magnitude in user densities and multi-functional behavior. However, wide bandwidth results in a frequency-dependent beampattern causing the beams generated at different subcarriers split and point to different directions. Furthermore, mutual coupling degrades the system's performance. This paper studies the compensation of both beam-split and mutual coupling for direction-of-arrival (DoA) estimation by modeling the beam-split and mutual coupling as an array imperfection. We propose a subspace-based approach using multiple signal classification with CalibRated for bEAam-split and Mutual coupling (CREAM-MUSIC) algorithm for this purpose. Via numerical simulations, we show the proposed CREAM-MUSIC approach accurately estimates the DoAs in the presence of beam-split and mutual coupling.


title: Complex scaling in finite volume

abstract: Quantum resonances, i.e., metastable states with a finite lifetime, play an important role in nuclear physics and other domains. Describing this phenomenon theoretically is generally a challenging task. In this work, we combine two established techniques to address this challenge. Complex scaling makes it possible to calculate resonances with bound-state-like methods. Finite-volume simulations exploit the fact that the infinite-volume properties of quantum systems are encoded in how discrete energy levels change as one varies the size of the volume. We apply complex scaling to systems in finite periodic boxes and derive the volume dependence of states in this scenario, demonstrating with explicit examples how one can use these relations to infer infinite-volume resonance energies and lifetimes.


title: A Note on Statistical Distances for Discrete Log-Concave Measures

abstract: In this note we explore how standard statistical distances are equivalent for discrete log-concave distributions. Distances include total variation distance, Wasserstein distance, and $f$-divergences.


title: My Art My Choice: Adversarial Protection Against Unruly AI

abstract: Generative AI is on the rise, enabling everyone to produce realistic content via publicly available interfaces. Especially for guided image generation, diffusion models are changing the creator economy by producing high quality low cost content. In parallel, artists are rising against unruly AI, since their artwork are leveraged, distributed, and dissimulated by large generative models. Our approach, My Art My Choice (MAMC), aims to empower content owners by protecting their copyrighted materials from being utilized by diffusion models in an adversarial fashion. MAMC learns to generate adversarially perturbed "protected" versions of images which can in turn "break" diffusion models. The perturbation amount is decided by the artist to balance distortion vs. protection of the content. MAMC is designed with a simple UNet-based generator, attacking black box diffusion models, combining several losses to create adversarial twins of the original artwork. We experiment on three datasets for various image-to-image tasks, with different user control values. Both protected image and diffusion output results are evaluated in visual, noise, structure, pixel, and generative spaces to validate our claims. We believe that MAMC is a crucial step for preserving ownership information for AI generated content in a flawless, based-on-need, and human-centric way.


title: Matcha-TTS: A fast TTS architecture with conditional flow matching

abstract: We introduce Matcha-TTS, a new encoder-decoder architecture for speedy TTS acoustic modelling, trained using optimal-transport conditional flow matching (OT-CFM). This yields an ODE-based decoder capable of high output quality in fewer synthesis steps than models trained using score matching. Careful design choices additionally ensure each synthesis step is fast to run. The method is probabilistic, non-autoregressive, and learns to speak from scratch without external alignments. Compared to strong pre-trained baseline models, the Matcha-TTS system has the smallest memory footprint, rivals the speed of the fastest models on long utterances, and attains the highest mean opinion score in a listening test. Please see https://shivammehta25.github.io/Matcha-TTS/ for audio examples, code, and pre-trained models.


title: Real Bott Tower

abstract: In this paper, we proved that there exist four distinct diffeomorphism classes of three-dimensional real Bott tower $M(A)=(S^1)^3/(\mathbb{Z}_2)^3$, and 12 distinct diffeomorphism classes of four-dimensional real Bott tower $M(A)=(S^1)^4/(\mathbb{Z}_2)^4$, where matrix $A$ corresponds to the action of $(\mathbb{Z}_2)^n$ on $(S^1)^n$ for n=3,4.


title: Disappearing frameworks explained

abstract: The web is the most prominent application platform globally, thanks to its vast user base. It started as a site platform in the 90s and morphed into an application one over time as interactive web applications became a reality. So-called single-page applications (SPAs) represent the current mainstream way of developing web applications but they come with their drawbacks. Although SPAs provide good developer experience, there is a cost for the users due to the underlying technical assumptions. Disappearing frameworks question these assumptions and provide a fresh start. The purpose of this short book is to give a quick introduction to disappearing frameworks and show their meaning as an emerging topic within the space of web application development.


title: Evaluation of Reinforcement Learning Techniques for Trading on a Diverse Portfolio

abstract: This work seeks to answer key research questions regarding the viability of reinforcement learning over the S&P 500 index. The on-policy techniques of Value Iteration (VI) and State-action-reward-state-action (SARSA) are implemented along with the off-policy technique of Q-Learning. The models are trained and tested on a dataset comprising multiple years of stock market data from 2000-2023. The analysis presents the results and findings from training and testing the models using two different time periods: one including the COVID-19 pandemic years and one excluding them. The results indicate that including market data from the COVID-19 period in the training dataset leads to superior performance compared to the baseline strategies. During testing, the on-policy approaches (VI and SARSA) outperform Q-learning, highlighting the influence of bias-variance tradeoff and the generalization capabilities of simpler policies. However, it is noted that the performance of Q-learning may vary depending on the stability of future market conditions. Future work is suggested, including experiments with updated Q-learning policies during testing and trading diverse individual stocks. Additionally, the exploration of alternative economic indicators for training the models is proposed.


title: Automatic multi-dimensional pipelining for high-level synthesis of dataflow accelerators

abstract: In recent years, there has been a surging demand for edge computing of image processing and machine learning workloads. This has reignited interest in the development of custom hardware accelerators that can deliver enhanced performance and improved energy efficiency. These workloads frequently demonstrate affine memory accesses and constant loop bounds. In this paper, we introduce an ILP-based automatic scheduler for high-level synthesis, with a specific emphasis on aggressive pipelining to enhance parallelism. In this study, we propose a unified Integer Linear Programming (ILP) formulation that can identify pipelining opportunities along multiple loop and scalar dimensions. Our multi-dimensional pipelining technique encompasses both inner loop pipelining and dataflow optimizations of Vitis HLS, while also being capable of handling more general memory access patterns compared to the dataflow optimization in Vitis HLS. Furthermore, our approach enables the generation of statically scheduled circuits, leading to improved resource efficiency. We have integrated our scheduler into a high-level synthesis compiler framework (HIR) based on MLIR and conducted performance evaluations. Our findings reveal that our scheduler, in comparison to Vitis HLS, can achieve more aggressive pipelining across multiple producer-consumer loop nests, resulting in reduced overall execution latency. The producer-consumer pipelined execution facilitated by our scheduler yields an average performance improvement of 2.42X across a set of representative benchmarks when compared to only loop pipelining. Furthermore, we achieved an average performance improvement of 1.30X over Vitis HLS with dataflow optimizations.


title: A 9 Transistor SRAM Featuring Array-level XOR Parallelism with Secure Data Toggling Operation

abstract: Security and energy-efficiency are critical for computing applications in general and for edge applications in particular. Digital in-Memory Computing (IMC) in SRAM cells have widely been studied to accelerate inference tasks to maximize both throughput and energy efficiency for intelligent computing at the edge. XOR operations have been of particular interest due to their wide applicability in numerous applications that include binary neural networks and encryption. However, existing IMC circuits for XOR acceleration are limited to two rows in a memory array and extending the XOR parallelism to multiple rows in an SRAM array has remained elusive. Further, SRAM is prone to both data imprinting and data remanence security issues, which poses limitations on security . Based on commerical Globalfoundries 22nm mode, we are proposing a novel 9T SRAM cell such that multiple rows of data (entire array) can be XORed in a massively parallel single cycle fashion. The new cell also supports data-toggling within the SRAM cell efficiently to circumvent imprinting attacks and erase the SRAM value in case of remanence attack.


title: Analytical solution of the Sommerfeld-Page equation

abstract: The Sommerfeld-Page equation describes the non-relativistic dynamics of a classical electron modeled by a sphere of finite size with a uniform surface charge density. The Sommerfeld-Page equation is a delay differential equation, and almost no exact results on solutions of this equation was known. However, the progress has been made, especially in the last few years, and recently an analytical solution was found for an almost identical delay differential equation, which arose in the context of mathematical modeling of COVID-19 epidemics. Inspired by this research, we offer a pedagogical exposition of how one can find an analytical solution of the Sommerfeld-Page equation.


title: A note on $t$-designs in isodual codes

abstract: In the present paper, we construct 3-designs using extended binary quadratic residue codes and their dual codes.


title: Fractional integration and differentiation

abstract: In this paper, we introduce a new method for calculating fractional integrals and differentials. The method involves an equation that we have obtained from infinite applied integration by parts. The equation works for special class of functions and provides a series representation of integration. This representation will be useful for working with smooth functions and for approximation due to the potential reduction of the value of the sequential elements.


title: A Circuit Domain Generalization Framework for Efficient Logic Synthesis in Chip Design

abstract: Logic Synthesis (LS) plays a vital role in chip design -- a cornerstone of the semiconductor industry. A key task in LS is to transform circuits -- modeled by directed acyclic graphs (DAGs) -- into simplified circuits with equivalent functionalities. To tackle this task, many LS operators apply transformations to subgraphs -- rooted at each node on an input DAG -- sequentially. However, we found that a large number of transformations are ineffective, which makes applying these operators highly time-consuming. In particular, we notice that the runtime of the Resub and Mfs2 operators often dominates the overall runtime of LS optimization processes. To address this challenge, we propose a novel data-driven LS operator paradigm, namely PruneX, to reduce ineffective transformations. The major challenge of developing PruneX is to learn models that well generalize to unseen circuits, i.e., the out-of-distribution (OOD) generalization problem. Thus, the major technical contribution of PruneX is the novel circuit domain generalization framework, which learns domain-invariant representations based on the transformation-invariant domain-knowledge. To the best of our knowledge, PruneX is the first approach to tackle the OOD problem in LS operators. We integrate PruneX with the aforementioned Resub and Mfs2 operators. Experiments demonstrate that PruneX significantly improves their efficiency while keeping comparable optimization performance on industrial and very large-scale circuits, achieving up to $3.1\times$ faster runtime.


title: A Human-Machine Joint Learning Framework to Boost Endogenous BCI Training

abstract: Brain-computer interfaces (BCIs) provide a direct pathway from the brain to external devices and have demonstrated great potential for assistive and rehabilitation technologies. Endogenous BCIs based on electroencephalogram (EEG) signals, such as motor imagery (MI) BCIs, can provide some level of control. However, mastering spontaneous BCI control requires the users to generate discriminative and stable brain signal patterns by imagery, which is challenging and is usually achieved over a very long training time (weeks/months). Here, we propose a human-machine joint learning framework to boost the learning process in endogenous BCIs, by guiding the user to generate brain signals towards an optimal distribution estimated by the decoder, given the historical brain signals of the user. To this end, we firstly model the human-machine joint learning process in a uniform formulation. Then a human-machine joint learning framework is proposed: 1) for the human side, we model the learning process in a sequential trial-and-error scenario and propose a novel ``copy/new'' feedback paradigm to help shape the signal generation of the subject toward the optimal distribution; 2) for the machine side, we propose a novel adaptive learning algorithm to learn an optimal signal distribution along with the subject's learning process. Specifically, the decoder reweighs the brain signals generated by the subject to focus more on ``good'' samples to cope with the learning process of the subject. Online and psuedo-online BCI experiments with 18 healthy subjects demonstrated the advantages of the proposed joint learning process over co-adaptive approaches in both learning efficiency and effectiveness.


title: The Energy-Momentum Tensor of Electromagnetic Waves in Media and the Solution to the Abraham-Minkowski Dilemma

abstract: We find that the energy-dynamic tensor of electromagnetic wave in medium defined by Lagrange density is very similar to that of ordinary fluid, and density and pressure can be defined similarly. The pressure here is different from the traditional light pressure. On this basis, we discuss the average momentum, pressure and Bernoulli effect of electromagnetic wave. After considering the contribution of the interaction term, we obtain a new conserved energy-momentum tensor, from which Minkowski momentum and Abraham momentum are derived simultaneously. The difference between them is whether the contribution of pressure is included in momentum. When the pressure significantly affects the experimental results, the experiment will support Minkowski momentum. On the contrary, Abraham momentum is supported. The findings of this paper provide a new solution to the Abraham-Minkowski Dilemma.


title: Improving the State of the Art for Training Human-AI Teams: Technical Report #1 -- Results of Subject-Matter Expert Knowledge Elicitation Survey

abstract: A consensus report produced for the Air Force Research Laboratory by the National Academies of Sciences, Engineering, and Mathematics documented a prevalent and increasing desire to support human-Artificial Intelligence (AI) teaming across military service branches. Sonalysts has begun an internal initiative to explore the training of human-AI teams. The first step in this effort is to develop a Synthetic Task Environment (STE) that is capable of facilitating research on human-AI teams. We decided to use Joint All-Domain Command and Control (JADC2) as a focus point for developing the STE because the volume of sensor inputs and decision options within the JADC2 concept likely requires the use of AI systems to enable timely decisions. Given this focus, we engaged a number of Subject-Matter Experts (SMEs) with Command and Control experience to gain insight into developing a STE that embodied the teaming challenges associated with JADC2. This report documents our initial engagement with those stakeholders. The research team identified thirteen Sonalysts employees with military backgrounds and Command and Control experience, and invited them to participate. Twelve respondents completed the survey. The team then analyzed the responses to identify themes that emerged and topics that would benefit from further analysis. The results indicated that our SMEs were amenable to research using tasks that were analogous to those encountered in military environments, as long as they required teams to process a great deal of incoming data to arrive at complex decisions. The SMEs felt that the testbed should support 'teams of teams" that represented a matrixed organization, and that it should support a robust array to spoken, text-based, and face-to-face communications.


title: Improving the State of the Art for Training Human-AI Teams: Technical Report #2 -- Results of Researcher Knowledge Elicitation Survey

abstract: A consensus report produced for the Air Force Research Laboratory (AFRL) by the National Academies of Sciences, Engineering, and Mathematics documented a prevalent and increasing desire to support human-Artificial Intelligence (AI) teaming across military service branches. Sonalysts has begun an internal initiative to explore the training of Human-AI teams. The first step in this effort is to develop a Synthetic Task Environment (STE) that is capable of facilitating research on Human-AI teams. Our goal is to create a STE that offers a task environment that could support the breadth of research that stakeholders plan to perform within this domain. As a result, we wanted to sample the priorities of the relevant research community broadly, and the effort documented in this report is our initial attempt to do so. We created a survey that featured two types of questions. The first asked respondents to report their agreement with STE features that we anticipated might be important. The second represented open-ended questions that asked respondents to specify their priorities within several dimensions of the anticipated STE. The research team invited nineteen researchers from academic and Government labs to participate, and 11 were able to complete the survey. The team analyzed their responses to identify themes that emerged and topics that would benefit from further analysis. The most significant finding of the survey was that a number of researchers felt that various open-source STEs that would meet our needs already exist. Researchers also emphasized the need for automated transcription and coding tools to ease the burden of assessing inter-team communications; the importance of robust data capture and export capabilities; and the desirability of extensive flexibility across many aspects of the tool.


title: Improving the State of the Art for Training Human-AI Teams: Technical Report #3 -- Analysis of Testbed Alternatives

abstract: Sonalysts is working on an initiative to expand our current expertise in teaming to Human-Artificial Intelligence (AI) teams by developing original research in this area. To provide a foundation for that research, Sonalysts is investigating the development of a Synthetic Task Environment (STE). In a previous report, we documented the findings of a recent outreach effort in which we asked military Subject Matter Experts (SMEs) and other researchers in the Human-AI teaming domain to identify the qualities that they most valued in a testbed. A surprising finding from that outreach was that several respondents recommended that our team look into existing human-AI teaming testbeds, rather than creating something new. Based on that recommendation, we conducted a systematic investigation of the associated landscape. In this report, we describe the results of that investigation. Building on the survey results, we developed testbed evaluation criteria, identified potential testbeds, and conducted qualitative and quantitative evaluations of candidate testbeds. The evaluation process led to five candidate testbeds for the research team to consider. In the coming months, we will assess the viability of the various alternatives and begin to execute our program of research.


title: Test Primitive:A Straightforward Method To Decouple March

abstract: The academic community has made outstanding achievements in researching the March algorithm. However, the current fault modeling method, which centers on fault primitives, cannot be directly applied to analyzing the March algorithm. This paper proposes a new test primitive. The test primitives, which decouple the cell states from sensitization and detection operations, describe the common features that must be possessed for the March algorithm to detect corresponding faults, forming a highly flexible and scalable March algorithm analysis unit. The theoretical analysis proves that the test primitives demonstrate completeness, uniqueness, and conciseness. On this foundation, the utilization of test primitives within the March analysis procedure is elucidated.


title: Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach

abstract: Traffic sign detection is a critical task in the operation of Autonomous Vehicles (AV), as it ensures the safety of all road users. Current DNN-based sign classification systems rely on pixel-level features to detect traffic signs and can be susceptible to adversarial attacks. These attacks involve small, imperceptible changes to a sign that can cause traditional classifiers to misidentify the sign. We propose an Inductive Logic Programming (ILP) based approach for stop sign detection in AVs to address this issue. This method utilises high-level features of a sign, such as its shape, colour, and text, to detect categories of traffic signs. This approach is more robust against adversarial attacks, as it mimics human-like perception and is less susceptible to the limitations of current DNN classifiers. We consider two adversarial attacking methods to evaluate our approach: Robust Physical Perturbation (PR2) and Adversarial Camouflage (AdvCam). These attacks are able to deceive DNN classifiers, causing them to misidentify stop signs as other signs with high confidence. The results show that the proposed ILP-based technique is able to correctly identify all targeted stop signs, even in the presence of PR2 and ADvCam attacks. The proposed learning method is also efficient as it requires minimal training data. Moreover, it is fully explainable, making it possible to debug AVs.


title: A Multisensor Hyperspectral Benchmark Dataset For Unmixing of Intimate Mixtures

abstract: Optical hyperspectral cameras capture the spectral reflectance of materials. Since many materials behave as heterogeneous intimate mixtures with which each photon interacts differently, the relationship between spectral reflectance and material composition is very complex. Quantitative validation of spectral unmixing algorithms requires high-quality ground truth fractional abundance data, which are very difficult to obtain. In this work, we generated a comprehensive laboratory ground truth dataset of intimately mixed mineral powders. For this, five clay powders (Kaolin, Roof clay, Red clay, mixed clay, and Calcium hydroxide) were mixed homogeneously to prepare 325 samples of 60 binary, 150 ternary, 100 quaternary, and 15 quinary mixtures. Thirteen different hyperspectral sensors have been used to acquire the reflectance spectra of these mixtures in the visible, near, short, mid, and long-wavelength infrared regions (350-15385) nm. {\color{black} Overlaps in wavelength regions due to the operational ranges of each sensor} and variations in acquisition conditions {\color{black} resulted in} a large amount of spectral variability. Ground truth composition is given by construction, but to verify that the generated samples are sufficiently homogeneous, XRD and XRF elemental analysis is performed. We believe these data will be beneficial for validating advanced methods for nonlinear unmixing and material composition estimation, including studying spectral variability and training supervised unmixing approaches. The datasets can be downloaded from the following link: https://github.com/VisionlabUA/Multisensor_datasets.


title: Algebraic Models for Qualified Aggregation in General Rough Sets, and Reasoning Bias Discovery

abstract: In the context of general rough sets, the act of combining two things to form another is not straightforward. The situation is similar for other theories that concern uncertainty and vagueness. Such acts can be endowed with additional meaning that go beyond structural conjunction and disjunction as in the theory of $*$-norms and associated implications over $L$-fuzzy sets. In the present research, algebraic models of acts of combining things in generalized rough sets over lattices with approximation operators (called rough convenience lattices) is invented. The investigation is strongly motivated by the desire to model skeptical or pessimistic, and optimistic or possibilistic aggregation in human reasoning, and the choice of operations is constrained by the perspective. Fundamental results on the weak negations and implications afforded by the minimal models are proved. In addition, the model is suitable for the study of discriminatory/toxic behavior in human reasoning, and of ML algorithms learning such behavior.


title: Remarks on additive representations of natural numbers

abstract: For two relatively prime square-free positive integers $a$ and $b$, we study integers of the form $a p+b P_{2}$ and give a new lower bound for it, where $a p$ and $b P_{2}$ are both square-free, $p$ denotes a prime, and $P_{2}$ has at most two prime factors. We also consider some special cases where $p$ is small, $p$ and $P_2$ are within short intervals, $p$ and $P_2$ are within arithmetical progressions and a Goldbach-type upper bound result. Our new results generalize and improve the previous results.


title: Companion Animal Disease Diagnostics based on Literal-aware Medical Knowledge Graph Representation Learning

abstract: Knowledge graph (KG) embedding has been used to benefit the diagnosis of animal diseases by analyzing electronic medical records (EMRs), such as notes and veterinary records. However, learning representations to capture entities and relations with literal information in KGs is challenging as the KGs show heterogeneous properties and various types of literal information. Meanwhile, the existing methods mostly aim to preserve graph structures surrounding target nodes without considering different types of literals, which could also carry significant information. In this paper, we propose a knowledge graph embedding model for the efficient diagnosis of animal diseases, which could learn various types of literal information and graph structure and fuse them into unified representations, namely LiteralKG. Specifically, we construct a knowledge graph that is built from EMRs along with literal information collected from various animal hospitals. We then fuse different types of entities and node feature information into unified vector representations through gate networks. Finally, we propose a self-supervised learning task to learn graph structure in pretext tasks and then towards various downstream tasks. Experimental results on link prediction tasks demonstrate that our model outperforms the baselines that consist of state-of-the-art models. The source code is available at https://github.com/NSLab-CUK/LiteralKG.


title: Conversational Swarm Intelligence, a Pilot Study

abstract: Conversational Swarm Intelligence (CSI) is a new method for enabling large human groups to hold real-time networked conversations using a technique modeled on the dynamics of biological swarms. Through the novel use of conversational agents powered by Large Language Models (LLMs), the CSI structure simultaneously enables local dialog among small deliberative groups and global propagation of conversational content across a larger population. In this way, CSI combines the benefits of small-group deliberative reasoning and large-scale collective intelligence. In this pilot study, participants deliberating in conversational swarms (via text chat) (a) produced 30% more contributions (p<0.05) than participants deliberating in a standard centralized chat room and (b) demonstrated 7.2% less variance in contribution quantity. These results indicate that users contributed more content and participated more evenly when using the CSI structure.


title: SPAIC: A sub-$\mu$W/Channel, 16-Channel General-Purpose Event-Based Analog Front-End with Dual-Mode Encoders

abstract: Low-power event-based analog front-ends (AFE) are a crucial component required to build efficient end-to-end neuromorphic processing systems for edge computing. Although several neuromorphic chips have been developed for implementing spiking neural networks (SNNs) and solving a wide range of sensory processing tasks, there are only a few general-purpose analog front-end devices that can be used to convert analog sensory signals into spikes and interfaced to neuromorphic processors. In this work, we present a novel, highly configurable analog front-end chip, denoted as SPAIC (signal-to-spike converter for analog AI computation), that offers a general-purpose dual-mode analog signal-to-spike encoding with delta modulation and pulse frequency modulation, with tunable frequency bands. The ASIC is designed in a 180 nm process. It supports and encodes a wide variety of signals spanning 4 orders of magnitude in frequency, and provides an event-based output that is compatible with existing neuromorphic processors. We validated the ASIC for its functions and present initial silicon measurement results characterizing the basic building blocks of the chip.


title: Sherlock Holmes Doesn't Play Dice: The significance of Evidence Theory for the Social and Life Sciences

abstract: While Evidence Theory (Demster-Shafer Theory, Belief Functions Theory) is being increasingly used in data fusion, its potentialities in the Social and Life Sciences are often obscured by lack of awareness of its distinctive features. With this paper we stress that Evidence Theory can express the uncertainty deriving from the fear that events may materialize, that one has not been able to figure out. By contrast, Probability Theory must limit itself to the possibilities that a decision-maker is currently envisaging. Subsequently, we illustrate how Dempster-Shafer's combination rule relates to Bayes' Theorem for various versions of Probability Theory and discuss which applications of Information Theory can be enhanced by Evidence Theory. Finally, we illustrate our claims with an example where Evidence Theory is used to make sense of the partially overlapping, partially contradictory solutions that appear in an auditing exercise.


title: Examining the Effectiveness of Chatbots in Gathering Family History Information in Comparison to the Standard In-Person Interview-Based Approach

abstract: One of the most common things that a genealogist is tasked with is the gathering of a person's initial family history, normally via in-person interviews or with the use of a platform such as ancestry.com, as this can provide a strong foundation upon which a genealogist may build. However, the ability to conduct these interviews can often be hindered by both geographical constraints and the technical proficiency of the interviewee, as the interviewee in these types of interviews is most often an elderly person with a lower than average level of technical proficiency. With this in mind, this study presents what we believe, based on prior research, to be the first chatbot geared entirely towards the gathering of family histories, and explores the viability of utilising such a chatbot by comparing the performance and usability of such a method with the aforementioned alternatives. With a chatbot-based approach, we show that, though the average time taken to conduct an interview may be longer than if the user had used ancestry.com or participated in an in-person interview, the number of mistakes made and the level of confusion from the user regarding the UI and process required is lower than the other two methods. Note that the final metric regarding the user's confusion is not applicable for the in-person interview sessions due to its lack of a UI. With refinement, we believe this use of a chatbot could be a valuable tool for genealogists, especially when dealing with interviewees who are based in other countries where it is not possible to conduct an in-person interview.


title: No Train Still Gain. Unleash Mathematical Reasoning of Large Language Models with Monte Carlo Tree Search Guided by Energy Function

abstract: Large language models (LLMs) demonstrate impressive language understanding and contextual learning abilities, making them suitable for natural language processing (NLP) tasks and complex mathematical reasoning. However, when applied to mathematical reasoning tasks, LLMs often struggle to generate correct reasoning steps and answers despite having high probabilities for the solutions. To overcome this limitation and enhance the mathematical reasoning capabilities of fine-tuned LLMs without additional fine-tuning steps, we propose a method that incorporates Monte Carlo Tree Search (MCTS) and a lightweight energy function to rank decision steps and enable immediate reaction and precise reasoning. Specifically, we re-formulate the fine-tuned LLMs into a Residual-based Energy Model (Residual-EBM) and employ noise contrastive estimation to estimate the energy function's parameters. We then utilize MCTS with the energy function as a path verifier to search the output space and evaluate the reasoning path. Through extensive experiments on two mathematical reasoning benchmarks, GSM8k and AQUA-RAT, we demonstrate the exceptional capabilities of our method, which significantly improves the pass@1 metric of the fine-tuned model without requiring additional fine-tuning or reinforcement learning with human feedback alignment.


title: Amortizing Pragmatic Program Synthesis with Rankings

abstract: In program synthesis, an intelligent system takes in a set of user-generated examples and returns a program that is logically consistent with these examples. The usage of Rational Speech Acts (RSA) framework has been successful in building \emph{pragmatic} program synthesizers that return programs which -- in addition to being logically consistent -- account for the fact that a user chooses their examples informatively. However, the computational burden of running the RSA algorithm has restricted the application of pragmatic program synthesis to domains with a small number of possible programs. This work presents a novel method of amortizing the RSA algorithm by leveraging a \emph{global pragmatic ranking} -- a single, total ordering of all the hypotheses. We prove that for a pragmatic synthesizer that uses a single demonstration, our global ranking method exactly replicates RSA's ranked responses. We further empirically show that global rankings effectively approximate the full pragmatic synthesizer in an online, multi-demonstration setting. Experiments on two program synthesis domains using our pragmatic ranking method resulted in orders of magnitudes of speed ups compared to the RSA synthesizer, while outperforming the standard, non-pragmatic synthesizer.


title: Fixed Point Theory: A Review

abstract: Fixed points represent equilibrium states, stability, and solutions to a range of problems. It has been an active field of research. In this paper, we provide an overview of the main branches of fixed point theory. We discuss the key results and applications.


title: Learning a Patent-Informed Biomedical Knowledge Graph Reveals Technological Potential of Drug Repositioning Candidates

abstract: Drug repositioning-a promising strategy for discovering new therapeutic uses for existing drugs-has been increasingly explored in the computational science literature using biomedical databases. However, the technological potential of drug repositioning candidates has often been overlooked. This study presents a novel protocol to comprehensively analyse various sources such as pharmaceutical patents and biomedical databases, and identify drug repositioning candidates with both technological potential and scientific evidence. To this end, first, we constructed a scientific biomedical knowledge graph (s-BKG) comprising relationships between drugs, diseases, and genes derived from biomedical databases. Our protocol involves identifying drugs that exhibit limited association with the target disease but are closely located in the s-BKG, as potential drug candidates. We constructed a patent-informed biomedical knowledge graph (p-BKG) by adding pharmaceutical patent information. Finally, we developed a graph embedding protocol to ascertain the structure of the p-BKG, thereby calculating the relevance scores of those candidates with target disease-related patents to evaluate their technological potential. Our case study on Alzheimer's disease demonstrates its efficacy and feasibility, while the quantitative outcomes and systematic methods are expected to bridge the gap between computational discoveries and successful market applications in drug repositioning research.


title: udpPacketManager: An International LOFAR Station Data (Pre-)Processor

abstract: International LOFAR stations are powerful radio telescopes, however they are delivered without the tooling necessary to convert their raw data stream into standard data formats that can be used by common processing pipelines, or science-ready data products. udpPacketManager is a C and C++ library that was developed with the intent of providing a faster-than-realtime software package for converting raw data into arbitrary data formats based on the needs of observers working with the Irish LOFAR station (I-LOFAR), and stations across Europe. It currently offers an open-source solution for both offline and online (pre-)processing of telescope data into a wide variety of formats.


title: Which algorithm to select in sports timetabling?

abstract: Any sports competition needs a timetable, specifying when and where teams meet each other. The recent International Timetabling Competition (ITC2021) on sports timetabling showed that, although it is possible to develop general algorithms, the performance of each algorithm varies considerably over the problem instances. This paper provides an instance space analysis for sports timetabling, resulting in powerful insights into the strengths and weaknesses of eight state-of-the-art algorithms. Based on machine learning techniques, we propose an algorithm selection system that predicts which algorithm is likely to perform best when given the characteristics of a sports timetabling problem instance. Furthermore, we identify which characteristics are important in making that prediction, providing insights in the performance of the algorithms, and suggestions to further improve them. Finally, we assess the empirical hardness of the instances. Our results are based on large computational experiments involving about 50 years of CPU time on more than 500 newly generated problem instances.


title: Long-time asymptotics for the Elastic Beam equation in the solitonless region via $\bar{\partial}$ methods

abstract: In this work, we study the Cauchy problem of the Elastic Beam equation with initial value in weighted Sobolev space $H^{1,1}(\mathbb{R})$ via the $\bar{\partial}$-steepset descent method. Begin with the Lax pair of the Elastic Beam equation, we successfully derive the basic Riemann-Hilbert problem, which can be used to represent the solutions of the Elastic Beam equation. Then, considering the solitonless region and using the $\bar{\partial}$-steepset descent method, we analyse the long-time asymptotic behaviors of the solutions for the Elastic Beam equation.


title: Quantum-AI empowered Intelligent Surveillance: Advancing Public Safety Through Innovative Contraband Detection

abstract: Surveillance systems have emerged as crucial elements in upholding peace and security in the modern world. Their ubiquity aids in monitoring suspicious activities effectively. However, in densely populated environments, continuous active monitoring becomes impractical, necessitating the development of intelligent surveillance systems. AI integration in the surveillance domain was a big revolution, however, speed issues have prevented its widespread implementation in the field. It has been observed that quantum artificial intelligence has led to a great breakthrough. Quantum artificial intelligence-based surveillance systems have shown to be more accurate as well as capable of performing well in real-time scenarios, which had never been seen before. In this research, a RentinaNet model is integrated with Quantum CNN and termed as Quantum-RetinaNet. By harnessing the Quantum capabilities of QCNN, Quantum-RetinaNet strikes a balance between accuracy and speed. This innovative integration positions it as a game-changer, addressing the challenges of active monitoring in densely populated scenarios. As demand for efficient surveillance solutions continues to grow, Quantum-RetinaNet offers a compelling alternative to existing CNN models, upholding accuracy standards without sacrificing real-time performance. The unique attributes of Quantum-RetinaNet have far-reaching implications for the future of intelligent surveillance. With its enhanced processing speed, it is poised to revolutionize the field, catering to the pressing need for rapid yet precise monitoring. As Quantum-RetinaNet becomes the new standard, it ensures public safety and security while pushing the boundaries of AI in surveillance.


title: Retail store customer behavior analysis system: Design and Implementation

abstract: Understanding customer behavior in retail stores plays a crucial role in improving customer satisfaction by adding personalized value to services. Behavior analysis reveals both general and detailed patterns in the interaction of customers with a store items and other people, providing store managers with insight into customer preferences. Several solutions aim to utilize this data by recognizing specific behaviors through statistical visualization. However, current approaches are limited to the analysis of small customer behavior sets, utilizing conventional methods to detect behaviors. They do not use deep learning techniques such as deep neural networks, which are powerful methods in the field of computer vision. Furthermore, these methods provide limited figures when visualizing the behavioral data acquired by the system. In this study, we propose a framework that includes three primary parts: mathematical modeling of customer behaviors, behavior analysis using an efficient deep learning based system, and individual and group behavior visualization. Each module and the entire system were validated using data from actual situations in a retail store.


title: Scale-Score: Food Label to Support Nutritious and Sustainable Online Grocery Shopping

abstract: To empower online grocery shoppers in making nutritionally and environmentally informed decisions, we investigate the efficacy of the Scale-Score, a label combining nutritional and environmental information to highlight a product's benefit to both the consumer's and the planet's health, without obscuring either information. We conducted an experimental study in a mock online grocery environment, and assessed label efficacy. We find that the Scale-Score supports nutritious purchases, yet needs improving regarding sustainability support. Our research shows first insights into design considerations and performance of a combined yet disjoint food label.


title: Natural Example-Based Explainability: a Survey

abstract: Explainable Artificial Intelligence (XAI) has become increasingly significant for improving the interpretability and trustworthiness of machine learning models. While saliency maps have stolen the show for the last few years in the XAI field, their ability to reflect models' internal processes has been questioned. Although less in the spotlight, example-based XAI methods have continued to improve. It encompasses methods that use examples as explanations for a machine learning model's predictions. This aligns with the psychological mechanisms of human reasoning and makes example-based explanations natural and intuitive for users to understand. Indeed, humans learn and reason by forming mental representations of concepts based on examples. This paper provides an overview of the state-of-the-art in natural example-based XAI, describing the pros and cons of each approach. A "natural" example simply means that it is directly drawn from the training data without involving any generative process. The exclusion of methods that require generating examples is justified by the need for plausibility which is in some regards required to gain a user's trust. Consequently, this paper will explore the following family of methods: similar examples, counterfactual and semi-factual, influential instances, prototypes, and concepts. In particular, it will compare their semantic definition, their cognitive impact, and added values. We hope it will encourage and facilitate future work on natural example-based XAI.


title: An automated, high-resolution phenotypic assay for adult Brugia malayi and microfilaria

abstract: Brugia malayi are thread-like parasitic worms and one of the etiological agents of Lymphatic filariasis (LF). Existing anthelmintic drugs to treat LF are effective in reducing the larval microfilaria (mf) counts in human bloodstream but are less effective on adult parasites. To test potential drug candidates, we report a multi-parameter phenotypic assay based on tracking the motility of adult B. malayi and mf in vitro. For adult B. malayi, motility is characterized by the centroid velocity, path curvature, angular velocity, eccentricity, extent, and Euler Number. These parameters are evaluated in experiments with three anthelmintic drugs. For B. malayi mf, motility is extracted from the evolving body skeleton to yield positional data and bending angles at 74 key point. We achieved high-fidelity tracking of complex worm postures (self-occlusions, omega turns, body bending, and reversals) while providing a visual representation of pose estimates and behavioral attributes in both space and time scales.