title: Catalogue of model star clusters in the Milky Way and M31 galaxies

abstract: Detailed understanding of the formation and evolution of globular clusters (GCs) has been recently advanced through a combination of numerical simulations and analytical models. We employ a state-of-the-art model to create a comprehensive catalogue of simulated clusters in three Milky Way (MW) and three Andromeda (M31) analogue galaxies. Our catalogue aims to connect the chemical and kinematic properties of GCs to the assembly histories of their host galaxies. We apply the model to a selected sample of simulated galaxies that closely match the virial mass, circular velocity profile, and defining assembly events of the MW and M31. The resulting catalogue has been calibrated to successfully reproduce key characteristics of the observed GC systems, including total cluster mass, mass function, metallicity distribution, radial profile, and velocity dispersion. We find that clusters in M31 span a wider range of age and metallicity, relative to the MW, possibly due to M31's recent major merger. Such a merger also heated up the in-situ GC population to higher orbital energy and introduced a large number of ex-situ clusters at large radii. Understanding the impacts of galaxy mergers and accretion on the GC populations is crucial for uncovering the galaxy assembly histories.


title: Generative Retrieval with Semantic Tree-Structured Item Identifiers via Contrastive Learning

abstract: The retrieval phase is a vital component in recommendation systems, requiring the model to be effective and efficient. Recently, generative retrieval has become an emerging paradigm for document retrieval, showing notable performance. These methods enjoy merits like being end-to-end differentiable, suggesting their viability in recommendation. However, these methods fall short in efficiency and effectiveness for large-scale recommendations. To obtain efficiency and effectiveness, this paper introduces a generative retrieval framework, namely SEATER, which learns SEmAntic Tree-structured item identifiERs via contrastive learning. Specifically, we employ an encoder-decoder model to extract user interests from historical behaviors and retrieve candidates via tree-structured item identifiers. SEATER devises a balanced k-ary tree structure of item identifiers, allocating semantic space to each token individually. This strategy maintains semantic consistency within the same level, while distinct levels correlate to varying semantic granularities. This structure also maintains consistent and fast inference speed for all items. Considering the tree structure, SEATER learns identifier tokens' semantics, hierarchical relationships, and inter-token dependencies. To achieve this, we incorporate two contrastive learning tasks with the generation task to optimize both the model and identifiers. The infoNCE loss aligns the token embeddings based on their hierarchical positions. The triplet loss ranks similar identifiers in desired orders. In this way, SEATER achieves both efficiency and effectiveness. Extensive experiments on three public datasets and an industrial dataset have demonstrated that SEATER outperforms state-of-the-art models significantly.


title: Sterile Neutrino Dark Matter, Matter-Antimatter Separation, and the QCD Phase Transition

abstract: The Universe may contain sufficiently small size matter-antimatter domains at temperatures of a few hundred MeV, without violating the success of Big Bang Nucleosynthesis. We demonstrate that this possibility enhances the keV scale sterile neutrino production and may lead to its abundance consistent with the observable energy density of dark matter (DM). We suggest that the separation of matter and antimatter, creating temporarily macroscopic domains occupied by hadronic matter and quark-gluon plasma with an excess of baryons over anti-baryons and vice versa largely exceeding the average baryon and lepton asymmetries of the Universe, may appear because of the first-order QCD phase transition. Although the lattice studies provided a piece of evidence in favour of a smooth crossover between the hadronic and quark-gluon phases at high temperatures and zero chemical potential for baryonic number, we argue that these simulations might not rule out relatively weekly first-order phase transition. We discuss several scenarios of matter-antimatter separation at the QCD phase transition and the production of DM sterile neutrinos in each of them. One of the possibilities requires the presence of lepton asymmetry of the Universe, which can be smaller than that needed for the DM correct abundance in the homogeneous case.


title: Learning Invariant Representations with a Nonparametric Nadaraya-Watson Head

abstract: Machine learning models will often fail when deployed in an environment with a data distribution that is different than the training distribution. When multiple environments are available during training, many methods exist that learn representations which are invariant across the different distributions, with the hope that these representations will be transportable to unseen domains. In this work, we present a nonparametric strategy for learning invariant representations based on the recently-proposed Nadaraya-Watson (NW) head. The NW head makes a prediction by comparing the learned representations of the query to the elements of a support set that consists of labeled data. We demonstrate that by manipulating the support set, one can encode different causal assumptions. In particular, restricting the support set to a single environment encourages the model to learn invariant features that do not depend on the environment. We present a causally-motivated setup for our modeling and training strategy and validate on three challenging real-world domain generalization tasks in computer vision.


title: Deciphering Spatio-Temporal Graph Forecasting: A Causal Lens and Treatment

abstract: Spatio-Temporal Graph (STG) forecasting is a fundamental task in many real-world applications. Spatio-Temporal Graph Neural Networks have emerged as the most popular method for STG forecasting, but they often struggle with temporal out-of-distribution (OoD) issues and dynamic spatial causation. In this paper, we propose a novel framework called CaST to tackle these two challenges via causal treatments. Concretely, leveraging a causal lens, we first build a structural causal model to decipher the data generation process of STGs. To handle the temporal OoD issue, we employ the back-door adjustment by a novel disentanglement block to separate invariant parts and temporal environments from input data. Moreover, we utilize the front-door adjustment and adopt the Hodge-Laplacian operator for edge-level convolution to model the ripple effect of causation. Experiments results on three real-world datasets demonstrate the effectiveness and practicality of CaST, which consistently outperforms existing methods with good interpretability.


title: Robust light bullets in Rydberg gases with moir\'e lattice

abstract: Rydberg electromagnetically-induced transparency has been widely studied as a medium supporting light propagation under the action of nonlocal nonlinearities. Recently, optical potentials based on moir\'e lattices (MLs) were introduced for exploring unconventional physical states. Here, we predict a possibility of creating fully three-dimensional (3D) light bullets (LBs) in cold Rydberg gases under the action of ML potentials. The nonlinearity includes local self-defocusing and long-range focusing terms, the latter one induced by the Rydberg-Rydberg interaction. We produce zero-vorticity LB families of the fundamental, dipole, and quadrupole types, as well as vortex LBs. They all are gap solitons populating finite bandgaps of the underlying ML spectrum. Stable subfamilies are identified utilizing the combination of the anti-Vakhitov-Kolokolov criterion, computation of eigenvalues for small perturbations, and direct simulations.


title: Dynamical gravastar simulated horizon from the Tolman-Oppenheimer-Volkoff equation initial value problem with relativistic matter

abstract: We continue the study of "dynamical gravastars", constructed by solving the Tolman-Oppenheimer-Volkoff (TOV) equations with relativistic matter, undergoing a phase transition at high pressure to a state with negative energy density, as allowed in quantum theory. Since generation of a horizon-like structure or "simulated horizon" occurs at a radius above where the phase transition occurs, it is solely a property of the TOV equation with relativistic matter, for appropriate small radius initial conditions. We survey the formation of a simulated horizon from this point of view. From the numerical solutions, we show that the metric exponent appearing in the TOV equation undergoes an arc tangent-like jump, leading to formation of the simulated horizon. Rescaling the problem to fixed initial radius, we plot the "phase diagram" in the initial pressure--initial mass plane, showing the range of parameters where a simulated horizon dynamically forms. Reformulating the TOV equations in rescaling-invariant form yields improved numerical results for the "phase diagram", and gives a simplified model consisting of a 2-dimensional autonomous system of first order differential equations, for further analytical study.


title: On-demand single photon emission in the telecom C-band from nanowire-based quantum dots

abstract: Single photon sources operating on-demand at telecom wavelengths are required in fiber-based quantum secure communication technologies. In this work we demonstrate single photon emission from position-controlled nanowire quantum dots emitting at {\lambda} > 1530 nm. Using above-band pulsed excitation, we obtain single photon purities of g(2)(0) = 0.062. These results represent an important step towards the scalable manufacture of high efficiency, high rate single photon emitters in the telecom C-band.


title: Magnetic Reconnection and Associated Particle Acceleration in High-energy Astrophysics

abstract: Magnetic reconnection occurs ubiquitously in the universe and is often invoked to explain fast energy release and particle acceleration in high-energy astrophysics. The study of relativistic magnetic reconnection in the magnetically dominated regime has surged over the past two decades, revealing the physics of fast magnetic reconnection and nonthermal particle acceleration. Here we review these recent progresses, including the magnetohydrodynamic and collisionless reconnection dynamics as well as particle energization. The insights in astrophysical reconnection strongly connect to the development of magnetic reconnection in other areas, and further communication is greatly desired. We also provide a summary and discussion of key physics processes and frontier problems, toward a better understanding to the roles of magnetic reconnection in high-energy astrophysics.

categories: astro-ph.HE astro-ph.SR physics.plasm-ph physics.space-ph


title: The art of finding the optimal scattering center(s)

abstract: The efficient use of a multipole expansion of the far field for rapid numerical modeling and optimization of the optical response from ordered and disordered arrays of various structural elements is complicated by the ambiguity in choosing the ultimate expansion centers for individual scatterers. Since the multipolar decomposition depends on the position of the expansion center, the sets of multipoles are not unique. They may require constrained optimization to get the compact and most efficient spatial spectrum for each scatterer. We address this problem by finding {\em the optimal scattering centers} for which the spatial multipolar spectra become unique. We separately derive these optimal positions for the electric and magnetic parts by minimizing the norm of the poloidal electric and magnetic quadrupoles. Employing the long-wave approximation (LWA) ansatz, we verify the approach with the theoretical discrete models and realistic scatterers. We show that the optimal electric and magnetic scattering centers, in all cases, are not co-local with the centers of mass. The optimal multipoles, including the toroidal terms, are calculated for several structurally distinct scattering cases, and their utility for low-cost numerical schemes, including the generalized T-matrix approach, is discussed. Expansion of the work beyond the LWA is possible, with a promise for faster and universal numerical schemes.


title: On the Sweet Spot of Contrastive Views for Knowledge-enhanced Recommendation

abstract: In recommender systems, knowledge graph (KG) can offer critical information that is lacking in the original user-item interaction graph (IG). Recent process has explored this direction and shows that contrastive learning is a promising way to integrate both. However, we observe that existing KG-enhanced recommenders struggle in balancing between the two contrastive views of IG and KG, making them sometimes even less effective than simply applying contrastive learning on IG without using KG. In this paper, we propose a new contrastive learning framework for KG-enhanced recommendation. Specifically, to make full use of the knowledge, we construct two separate contrastive views for KG and IG, and maximize their mutual information; to ease the contrastive learning on the two views, we further fuse KG information into IG in a one-direction manner.Extensive experimental results on three real-world datasets demonstrate the effectiveness and efficiency of our method, compared to the state-of-the-art. Our code is available through the anonymous link:https://figshare.com/articles/conference_contribution/SimKGCL/22783382


title: Cine cardiac MRI reconstruction using a convolutional recurrent network with refinement

abstract: Cine Magnetic Resonance Imaging (MRI) allows for understanding of the heart's function and condition in a non-invasive manner. Undersampling of the $k$-space is employed to reduce the scan duration, thus increasing patient comfort and reducing the risk of motion artefacts, at the cost of reduced image quality. In this challenge paper, we investigate the use of a convolutional recurrent neural network (CRNN) architecture to exploit temporal correlations in supervised cine cardiac MRI reconstruction. This is combined with a single-image super-resolution refinement module to improve single coil reconstruction by 4.4\% in structural similarity and 3.9\% in normalised mean square error compared to a plain CRNN implementation. We deploy a high-pass filter to our $\ell_1$ loss to allow greater emphasis on high-frequency details which are missing in the original data. The proposed model demonstrates considerable enhancements compared to the baseline case and holds promising potential for further improving cardiac MRI reconstruction.


title: Polygamy relation of quantum correlations with equality

abstract: We provide a generalized definition of polygamy relations for any quantum correlation measures. Instead of the usual polygamy inequality, a polygamy relation with equality is given by introducing the polygamy weight. From the polygamy relation with equality, we present polygamy inequalities satisfied by the $\beta$th $(\beta>0)$ power of the quantum correlation measures. Taking concurrence of assistance as an example, we further illustrate the significance and advantages of these relations. We also obtain a polygamy relation with equality by considering the one-to-group entanglements for any quantum entanglement measures that do not satisfy the polygamy relations. We demonstrate that such relations for tripartite states can be generalized to multipartite systems.


title: YOLORe-IDNet: An Efficient Multi-Camera System for Person-Tracking

abstract: The growing need for video surveillance in public spaces has created a demand for systems that can track individuals across multiple cameras feeds in real-time. While existing tracking systems have achieved impressive performance using deep learning models, they often rely on pre-existing images of suspects or historical data. However, this is not always feasible in cases where suspicious individuals are identified in real-time and without prior knowledge. We propose a person-tracking system that combines correlation filters and Intersection Over Union (IOU) constraints for robust tracking, along with a deep learning model for cross-camera person re-identification (Re-ID) on top of YOLOv5. The proposed system quickly identifies and tracks suspect in real-time across multiple cameras and recovers well after full or partial occlusion, making it suitable for security and surveillance applications. It is computationally efficient and achieves a high F1-Score of 79% and an IOU of 59% comparable to existing state-of-the-art algorithms, as demonstrated in our evaluation on a publicly available OTB-100 dataset. The proposed system offers a robust and efficient solution for the real-time tracking of individuals across multiple camera feeds. Its ability to track targets without prior knowledge or historical data is a significant improvement over existing systems, making it well-suited for public safety and surveillance applications.


title: Coordinated Multi-Agent Patrolling with History-Dependent Cost Rates -- Asymptotically Optimal Policies for Large-Scale Systems

abstract: We study a large-scale patrol problem with history-dependent costs and multi-agent coordination, where we relax the assumptions on the past patrol studies, such as identical agents, submodular reward functions and capabilities of exploring any location at any time. Given the complexity and uncertainty of the practical situations for patrolling, we model the problem as a discrete-time Markov decision process (MDP) that consists of a large number of parallel restless bandit processes and aim to minimize the cumulative patrolling cost over a finite time horizon. The problem exhibits an excessively large size of state space, which increases exponentially in the number of agents and the size of geographical region for patrolling. We extend the Whittle relaxation and Lagrangian dynamic programming (DP) techniques to the patrolling case, where the additional, non-trivial constraints used to track the trajectories of all the agents are inevitable and significantly complicate the analysis. The past results cannot ensure the existence of patrol policies with theoretically bounded performance degradation. We propose a patrol policy applicable and scalable to the above mentioned large, complex problem. By invoking Freidlin's theorem, we prove that the performance deviation between the proposed policy and optimality diminishes exponentially in the problem size.


title: Non-linear, solvable, residually $p$ groups

abstract: In 2005, Borisov and Sapir proved that ascending HNN extensions of finitely generated linear groups are residually finite. Subsequently, Dru\c{t}u and Sapir noted the existence of finitely generated non-linear residually finite groups based on the work of Borisov and Sapir. In 2017, Kharlampovich, Myasnikov and Sapir showed that there exist finitely generated non-linear solvable residually finite groups. In this paper, we construct the first examples of finitely generated non-linear solvable residually 2 groups.


title: Sens-BERT: Enabling Transferability and Re-calibration of Calibration Models for Low-cost Sensors under Reference Measurements Scarcity

abstract: Low-cost sensors measurements are noisy, which limits large-scale adaptability in airquality monitoirng. Calibration is generally used to get good estimates of air quality measurements out from LCS. In order to do this, LCS sensors are typically co-located with reference stations for some duration. A calibration model is then developed to transfer the LCS sensor measurements to the reference station measurements. Existing works implement the calibration of LCS as an optimization problem in which a model is trained with the data obtained from real-time deployments; later, the trained model is employed to estimate the air quality measurements of that location. However, this approach is sensor-specific and location-specific and needs frequent re-calibration. The re-calibration also needs massive data like initial calibration, which is a cumbersome process in practical scenarios. To overcome these limitations, in this work, we propose Sens-BERT, a BERT-inspired learning approach to calibrate LCS, and it achieves the calibration in two phases: self-supervised pre-training and supervised fine-tuning. In the pre-training phase, we train Sens-BERT with only LCS data (without reference station observations) to learn the data distributional features and produce corresponding embeddings. We then use the Sens-BERT embeddings to learn a calibration model in the fine-tuning phase. Our proposed approach has many advantages over the previous works. Since the Sens-BERT learns the behaviour of the LCS, it can be transferable to any sensor of the same sensing principle without explicitly training on that sensor. It requires only LCS measurements in pre-training to learn the characters of LCS, thus enabling calibration even with a tiny amount of paired data in fine-tuning. We have exhaustively tested our approach with the Community Air Sensor Network (CAIRSENSE) data set, an open repository for LCS.


title: D-Separation for Causal Self-Explanation

abstract: Rationalization is a self-explaining framework for NLP models. Conventional work typically uses the maximum mutual information (MMI) criterion to find the rationale that is most indicative of the target label. However, this criterion can be influenced by spurious features that correlate with the causal rationale or the target label. Instead of attempting to rectify the issues of the MMI criterion, we propose a novel criterion to uncover the causal rationale, termed the Minimum Conditional Dependence (MCD) criterion, which is grounded on our finding that the non-causal features and the target label are \emph{d-separated} by the causal rationale. By minimizing the dependence between the unselected parts of the input and the target label conditioned on the selected rationale candidate, all the causes of the label are compelled to be selected. In this study, we employ a simple and practical measure of dependence, specifically the KL-divergence, to validate our proposed MCD criterion. Empirically, we demonstrate that MCD improves the F1 score by up to $13.7\%$ compared to previous state-of-the-art MMI-based methods. Our code is available at: \url{https://github.com/jugechengzi/Rationalization-MCD}.


title: Interaction of the Cosmic Dark Fluid with Dynamic Aether: Parametric Mechanism of Axion Generation in the Early Universe

abstract: We consider an isotropic homogeneous cosmological model with five interacting elements: first, the dynamic aether presented by a unit timelike vector field, second, the pseudoscalar field describing an axionic component of the dark matter, third, the cosmic dark energy, described by a rheologic fluid, fourth, the non-axionic dark matter coupled to the dark energy, fifth, the gravity field. We show that the early evolution of the Universe described by this model can include two specific epochs: the first one can be characterized as a super-inflation, the second epoch is associated with an oscillatory regime. The dynamic aether carries out a regulatory mission; the rheologic dark fluid provides the specific features of the spacetime evolution. The oscillations of the scale factor and of the Hubble function are shown to switch on the parametric (Floquet - type) mechanism of the axion number growth.


title: AgriSORT: A Simple Online Real-time Tracking-by-Detection framework for robotics in precision agriculture

abstract: The problem of multi-object tracking (MOT) consists in detecting and tracking all the objects in a video sequence while keeping a unique identifier for each object. It is a challenging and fundamental problem for robotics. In precision agriculture the challenge of achieving a satisfactory solution is amplified by extreme camera motion, sudden illumination changes, and strong occlusions. Most modern trackers rely on the appearance of objects rather than motion for association, which can be ineffective when most targets are static objects with the same appearance, as in the agricultural case. To this end, on the trail of SORT [5], we propose AgriSORT, a simple, online, real-time tracking-by-detection pipeline for precision agriculture based only on motion information that allows for accurate and fast propagation of tracks between frames. The main focuses of AgriSORT are efficiency, flexibility, minimal dependencies, and ease of deployment on robotic platforms. We test the proposed pipeline on a novel MOT benchmark specifically tailored for the agricultural context, based on video sequences taken in a table grape vineyard, particularly challenging due to strong self-similarity and density of the instances. Both the code and the dataset are available for future comparisons.


title: Smart City Digital Twin Framework for Real-Time Multi-Data Integration and Wide Public Distribution

abstract: Digital Twins are digital replica of real entities and are becoming fundamental tools to monitor and control the status of entities, predict their future evolutions, and simulate alternative scenarios to understand the impact of changes. Thanks to the large deployment of sensors, with the increasing information it is possible to build accurate reproductions of urban environments including structural data and real-time information. Such solutions help city councils and decision makers to face challenges in urban development and improve the citizen quality of life, by ana-lysing the actual conditions, evaluating in advance through simulations and what-if analysis the outcomes of infrastructural or political chang-es, or predicting the effects of humans and/or of natural events. Snap4City Smart City Digital Twin framework is capable to respond to the requirements identified in the literature and by the international forums. Differently from other solutions, the proposed architecture provides an integrated solution for data gathering, indexing, computing and information distribution offered by the Snap4City IoT platform, therefore realizing a continuously updated Digital Twin. 3D building models, road networks, IoT devices, WoT Entities, point of interests, routes, paths, etc., as well as results from data analytical processes for traffic density reconstruction, pollutant dispersion, predictions of any kind, what-if analysis, etc., are all integrated into an accessible web interface, to support the citizens participation in the city decision processes. What-If analysis to let the user performs simulations and observe possible outcomes. As case of study, the Digital Twin of the city of Florence (Italy) is presented. Snap4City platform, is released as open-source, and made available through GitHub and as docker compose.


title: A Further Study of Vectorial Dual-Bent Functions

abstract: Vectorial dual-bent functions have recently attracted some researchers' interest as they play a significant role in constructing partial difference sets, association schemes, bent partitions and linear codes. In this paper, we further study vectorial dual-bent functions $F: V_{n}^{(p)}\rightarrow V_{m}^{(p)}$, where $2\leq m \leq \frac{n}{2}$, $V_{n}^{(p)}$ denotes an $n$-dimensional vector space over the prime field $\mathbb{F}_{p}$. We give new characterizations of certain vectorial dual-bent functions (called vectorial dual-bent functions with Condition A) in terms of amorphic association schemes, linear codes and generalized Hadamard matrices, respectively. When $p=2$, we characterize vectorial dual-bent functions with Condition A in terms of bent partitions. Furthermore, we characterize certain bent partitions in terms of amorphic association schemes, linear codes and generalized Hadamard matrices, respectively. For general vectorial dual-bent functions $F: V_{n}^{(p)}\rightarrow V_{m}^{(p)}$ with $F(0)=0, F(x)=F(-x)$ and $2\leq m \leq \frac{n}{2}$, we give a necessary and sufficient condition on constructing association schemes. Based on such a result, more association schemes are constructed from vectorial dual-bent functions.


title: EquiCity Game: A mathematical serious game for participatory design of spatial configurations

abstract: We propose mechanisms for a mathematical social-choice game that is designed to mediate decision-making processes for city planning, urban area redevelopment, and architectural design (massing) of urban housing complexes. The proposed game is effectively a multi-player generative configurator equipped with automated appraisal/scoring mechanisms for revealing the aggregate impact of alternatives; featuring a participatory digital process to support transparent and inclusive decision-making processes in spatial design for ensuring an equitable balance of sustainable development goals. As such, the game effectively empowers a group of decision-makers to reach a fair consensus by mathematically simulating many rounds of trade-offs between their decisions, with different levels of interest or control over various types of investments. Our proposed gamified design process encompasses decision-making about the most idiosyncratic aspects of a site related to its heritage status and cultural significance to the physical aspects such as balancing access to sunlight and the right to sunlight of the neighbours of the site, ensuring coherence of the entire configuration with regards to a network of desired closeness ratings, the satisfaction of a programme of requirements, and intricately balancing individual development goals in conjunction with communal goals and environmental design codes. The game is developed fully based on an algebraic computational process on our own digital twinning platform, using open geospatial data and open-source computational tools such as NumPy. The mathematical process consists of a Markovian design machine for balancing the decisions of actors, a massing configurator equipped with Fuzzy Logic and Multi-Criteria Decision Analysis, algebraic graph-theoretical accessibility evaluators, and automated solar-climatic evaluators using geospatial computational geometry.


title: Direct Iterative Reconstruction of Multiple Basis Material Images in Photon-counting Spectral CT

abstract: In this work, we perform direct material reconstruction from spectral CT data using a model based iterative reconstruction (MBIR) approach. Material concentrations are measured in volume fractions, whose total is constrained by a maximum of unity. A phantom containing a combination of 4 basis materials (water, iodine, gadolinium, calcium) was scanned using a photon-counting detector. Iodine and gadolinium were chosen because of their common use as contrast agents in CT imaging. Scan data was binned into 5 energy (keV) levels. Each energy bin in a calibration scan was reconstructed, allowing the linear attenuation coefficient of each material for every energy to be estimated by a least-squares fit to ground truth in the image domain. The resulting $5\times 4$ matrix, for $5$ energies and $4$ materials, is incorporated into the forward model in direct reconstruction of the $4$ basis material images with spatial and/or inter-material regularization. In reconstruction from a subsequent low-concentration scan, volume fractions within regions of interest (ROIs) are found to be close to the ground truth. This work is meant to lay the foundation for further work with phantoms including spatially coincident mixtures of contrast materials and/or contrast agents in widely varying concentrations, molecular imaging from animal scans, and eventually clinical applications.


title: A mirror-Unet architecture for PET/CT lesion segmentation

abstract: Automatic lesion detection and segmentation from [${}^{18}$F]FDG PET/CT scans is a challenging task, due to the diversity of shapes, sizes, FDG uptake and location they may present, besides the fact that physiological uptake is also present on healthy tissues. In this work, we propose a deep learning method aimed at the segmentation of oncologic lesions, based on a combination of two UNet-3D branches. First, one of the network's branches is trained to segment a group of tissues from CT images. The other branch is trained to segment the lesions from PET images, combining on the bottleneck the embedded information of CT branch, already trained. We trained and validated our networks on the AutoPET MICCAI 2023 Challenge dataset. Our code is available at: https://github.com/yrotstein/AutoPET2023_Mv1.


title: MBIR Training for a 2.5D DL network in X-ray CT

abstract: In computed tomographic imaging, model based iterative reconstruction methods have generally shown better image quality than the more traditional, faster filtered backprojection technique. The cost we have to pay is that MBIR is computationally expensive. In this work we train a 2.5D deep learning (DL) network to mimic MBIR quality image. The network is realized by a modified Unet, and trained using clinical FBP and MBIR image pairs. We achieve the quality of MBIR images faster and with a much smaller computation cost. Visually and in terms of noise power spectrum (NPS), DL-MBIR images have texture similar to that of MBIR, with reduced noise power. Image profile plots, NPS plots, standard deviation, etc. suggest that the DL-MBIR images result from a successful emulation of an MBIR operator.


title: A note on nonlinear diffusive equations on Poincar\'e half plane

abstract: In this paper we show some explicit results regarding non-linear diffusive equations on Poincar\'e half plane. We obtain exact solutions by using the generalized separation of variables and we also show the meaning of these results in the context of the general theory of the invariant subspace method.


title: Dual-Reference Source-Free Active Domain Adaptation for Nasopharyngeal Carcinoma Tumor Segmentation across Multiple Hospitals

abstract: Nasopharyngeal carcinoma (NPC) is a prevalent and clinically significant malignancy that predominantly impacts the head and neck area. Precise delineation of the Gross Tumor Volume (GTV) plays a pivotal role in ensuring effective radiotherapy for NPC. Despite recent methods that have achieved promising results on GTV segmentation, they are still limited by lacking carefully-annotated data and hard-to-access data from multiple hospitals in clinical practice. Although some unsupervised domain adaptation (UDA) has been proposed to alleviate this problem, unconditionally mapping the distribution distorts the underlying structural information, leading to inferior performance. To address this challenge, we devise a novel Sourece-Free Active Domain Adaptation (SFADA) framework to facilitate domain adaptation for the GTV segmentation task. Specifically, we design a dual reference strategy to select domain-invariant and domain-specific representative samples from a specific target domain for annotation and model fine-tuning without relying on source-domain data. Our approach not only ensures data privacy but also reduces the workload for oncologists as it just requires annotating a few representative samples from the target domain and does not need to access the source data. We collect a large-scale clinical dataset comprising 1057 NPC patients from five hospitals to validate our approach. Experimental results show that our method outperforms the UDA methods and achieves comparable results to the fully supervised upper bound, even with few annotations, highlighting the significant medical utility of our approach. In addition, there is no public dataset about multi-center NPC segmentation, we will release code and dataset for future research.


title: ML Algorithm Synthesizing Domain Knowledge for Fungal Spores Concentration Prediction

abstract: The pulp and paper manufacturing industry requires precise quality control to ensure pure, contaminant-free end products suitable for various applications. Fungal spore concentration is a crucial metric that affects paper usability, and current testing methods are labor-intensive with delayed results, hindering real-time control strategies. To address this, a machine learning algorithm utilizing time-series data and domain knowledge was proposed. The optimal model employed Ridge Regression achieving an MSE of 2.90 on training and validation data. This approach could lead to significant improvements in efficiency and sustainability by providing real-time predictions for fungal spore concentrations. This paper showcases a promising method for real-time fungal spore concentration prediction, enabling stringent quality control measures in the pulp-and-paper industry.


title: Game of Travesty: Decoy-based Psychological Cyber Deception for Proactive Human Agents

abstract: The concept of cyber deception has been receiving emerging attention. The development of cyber defensive deception techniques requires interdisciplinary work, among which cognitive science plays an important role. In this work, we adopt a signaling game framework between a defender and a human agent to develop a cyber defensive deception protocol that takes advantage of the cognitive biases of human decision-making using quantum decision theory to combat insider attacks (IA). The defender deceives an inside human attacker by luring him to access decoy sensors via generators producing perceptions of classical signals to manipulate the human attacker's psychological state of mind. Our results reveal that even without changing the classical traffic data, strategically designed generators can result in a worse performance for defending against insider attackers in identifying decoys than the ones in the deceptive scheme without generators, which generate random information based on input signals. The proposed framework leads to fundamental theories in designing more effective signaling schemes.


title: Weakly Supervised YOLO Network for Surgical Instrument Localization in Endoscopic Videos

abstract: In minimally invasive surgery, surgical instrument localization is a crucial task for endoscopic videos, which enables various applications for improving surgical outcomes. However, annotating the instrument localization in endoscopic videos is tedious and labor-intensive. In contrast, obtaining the category information is easy and efficient in real-world applications. To fully utilize the category information and address the localization problem, we propose a weakly supervised localization framework named WS-YOLO for surgical instruments. By leveraging the instrument category information as the weak supervision, our WS-YOLO framework adopts an unsupervised multi-round training strategy for the localization capability training. We validate our WS-YOLO framework on the Endoscopic Vision Challenge 2023 dataset, which achieves remarkable performance in the weakly supervised surgical instrument localization. The source code is available at https://github.com/Breezewrf/WS-YOLO.


title: Learning Large-Scale MTP$_2$ Gaussian Graphical Models via Bridge-Block Decomposition

abstract: This paper studies the problem of learning the large-scale Gaussian graphical models that are multivariate totally positive of order two ($\text{MTP}_2$). By introducing the concept of bridge, which commonly exists in large-scale sparse graphs, we show that the entire problem can be equivalently optimized through (1) several smaller-scaled sub-problems induced by a \emph{bridge-block decomposition} on the thresholded sample covariance graph and (2) a set of explicit solutions on entries corresponding to bridges. From practical aspect, this simple and provable discipline can be applied to break down a large problem into small tractable ones, leading to enormous reduction on the computational complexity and substantial improvements for all existing algorithms. The synthetic and real-world experiments demonstrate that our proposed method presents a significant speed-up compared to the state-of-the-art benchmarks.


title: Statistically Adaptive Filtering for Low Signal Correction in X-ray Computed Tomography

abstract: Low x-ray dose is desirable in x-ray computed tomographic (CT) imaging due to health concerns. But low dose comes with a cost of low signal artifacts such as streaks and low frequency bias in the reconstruction. As a result, low signal correction is needed to help reduce artifacts while retaining relevant anatomical structures. Low signal can be encountered in cases where sufficient number of photons do not reach the detector to have confidence in the recorded data. % NOTE: SNR is ratio of powers, not std. dev. X-ray photons, assumed to have Poisson distribution, have signal to noise ratio proportional to the dose, with poorer SNR in low signal areas. Electronic noise added by the data acquisition system further reduces the signal quality. In this paper we will demonstrate a technique to combat low signal artifacts through adaptive filtration. It entails statistics-based filtering on the uncorrected data, correcting the lower signal areas more aggressively than the high signal ones. We look at local averages to decide how aggressive the filtering should be, and local standard deviation to decide how much detail preservation to apply. Implementation consists of a pre-correction step i.e. local linear minimum mean-squared error correction, followed by a variance stabilizing transform, and finally adaptive bilateral filtering. The coefficients of the bilateral filter are computed using local statistics. Results show that improvements were made in terms of low frequency bias, streaks, local average and standard deviation, modulation transfer function and noise power spectrum.


title: Axion-Neutrino Couplings, Late-time Phase Transitions and the Far Infrared Physics

abstract: The far infrared physics is a fascinating topic for theoretical physics, since the foundation of quantum field theory and neutrinos seem to be strongly related with the far infrared physics of our Universe. In this work we shall explore the possibility of a late-time thermal phase transition caused by the axion-neutrino interactions. The axion is assumed to be the misalignment axion which is coupled primordially to a chiral symmetric neutrino. The chiral symmetry is supposed to be broken either spontaneously or explicitly, and two distinct phenomenological models of axion-neutrinos are constructed. The axion behaves as cold dark matter during all its evolution eras, however if we assume that the axion and the neutrino fields interact coherently in a classical way as fields, or as ensembles, then we consider thermal effects in the axion sector, due to the values of operators $\phi$ for the axion and $\bar{\nu}\nu$ due to the neutrinos. The thermal equilibrium between the two has no effect to the axion effective potential for a wide temperature range. As we show, contrary to the existing literature, the axion never becomes destabilized due to the finite temperature effects, however if axion-Higgs higher order non-renormalizable operators are present in the Lagrangian, the axion potential is destabilized in the temperature range $T\sim 0.1\,$MeV down to $T\sim 0.01\,$eV and a first order phase transition takes place. The initial axion vacuum decays to the energetically more favorable axion vacuum, and the latter decays to the Higgs vacuum which is more preferable. This late-time phase transition might take place in the redshift range $z\sim 385-37$ and thus it may cause density fluctuations in the post-recombination era.


title: On the unraveling of open quantum dynamics

abstract: It is well known that the state operator of an open quantum system can be generically represented as the solution of a time-local equation -- a quantum master equation. Unraveling in quantum trajectories offers a picture of open system dynamics dual to solving master equations. In the unraveling picture, physical indicators are computed as Monte-Carlo averages over a stochastic process valued in the Hilbert space of the system. This approach is particularly adapted to simulate systems in large Hilbert spaces. We show that the dynamics of an open quantum system generically admits an unraveling in the Hilbert space of the system described by a Markov process generated by ordinary stochastic differential equations for which rigorous concentration estimates are available. The unraveling can be equivalently formulated in terms of norm-preserving state vectors or in terms of linear ``ostensible" processes trace preserving only on average. We illustrate the results in the case of a two level system in a simple boson environment. Next, we derive the state-of-the-art form of the Diosi-Gisin-Strunz Gaussian random ostensible state equation in the context of a model problem. This equation provides an exact unraveling of open systems in Gaussian environments. We compare and contrast the two unravelings and their potential for applications to quantum error mitigation.

categories: quant-ph cond-mat.stat-mech math-ph math.MP


title: Time-Series Forecasting: Unleashing Long-Term Dependencies with Fractionally Differenced Data

abstract: This study introduces a novel forecasting strategy that leverages the power of fractional differencing (FD) to capture both short- and long-term dependencies in time series data. Unlike traditional integer differencing methods, FD preserves memory in series while stabilizing it for modeling purposes. By applying FD to financial data from the SPY index and incorporating sentiment analysis from news reports, this empirical analysis explores the effectiveness of FD in conjunction with binary classification of target variables. Supervised classification algorithms were employed to validate the performance of FD series. The results demonstrate the superiority of FD over integer differencing, as confirmed by Receiver Operating Characteristic/Area Under the Curve (ROCAUC) and Mathews Correlation Coefficient (MCC) evaluations.

categories: cs.LG cs.AI cs.NA math.NA math.ST stat.TH


title: Tropical neural networks and its applications to classifying phylogenetic trees

abstract: Deep neural networks show great success when input vectors are in an Euclidean space. However, those classical neural networks show a poor performance when inputs are phylogenetic trees, which can be written as vectors in the tropical projective torus. Here we propose tropical embedding to transform a vector in the tropical projective torus to a vector in the Euclidean space via the tropical metric. We introduce a tropical neural network where the first layer is a tropical embedding layer and the following layers are the same as the classical ones. We prove that this neural network with the tropical metric is a universal approximator and we derive a backpropagation rule for deep neural networks. Then we provide TensorFlow 2 codes for implementing a tropical neural network in the same fashion as the classical one, where the weights initialization problem is considered according to the extreme value statistics. We apply our method to empirical data including sequences of hemagglutinin for influenza virus from New York. Finally we show that a tropical neural network can be interpreted as a generalization of a tropical logistic regression.


title: Towards Attributions of Input Variables in a Coalition

abstract: This paper aims to develop a new attribution method to explain the conflict between individual variables' attributions and their coalition's attribution from a fully new perspective. First, we find that the Shapley value can be reformulated as the allocation of Harsanyi interactions encoded by the AI model. Second, based the re-alloction of interactions, we extend the Shapley value to the attribution of coalitions. Third we ective. We derive the fundamental mechanism behind the conflict. This conflict come from the interaction containing partial variables in their coalition.


title: Quantum chaos and pole-skipping in a semilocally critical IR fixed point

abstract: We investigate pole-skipping and its connection with quantum chaos, emphasizing the role of the IR fixed point in the established relationship between pole-skipping and a universal bound of the energy diffusion constant. Using the holographic Gubser-Rocha model, which features a semi-locally critical IR fixed point, we refine the pole-skipping argument to apply to generic fixed points. Additionally, we explore the reconstruction of the full hydrodynamic dispersion relation through pole-skipping. By considering conditions in which the dispersion relation exhibits the energy diffusive mode at low wave-vector and passes through a pole-skipping point, we propose an effective heuristic approximation. This approximation is valid in strong momentum relaxation and relies on three physical quantities: $(D_e, v_B, \lambda_L)$, determined from horizon data. Here, $D_e$ represents the energy diffusion constant, $v_B$ the butterfly velocity, and $\lambda_L$ the Lyapunov exponent. Remarkably, this approximation demonstrates excellent agreement with the quasi-normal mode, even extending its applicability beyond the hydrodynamic regime.


title: Integrable sigma models with complex and generalized complex structures

abstract: Using the general method presented by Mohammedi \cite{NM} for the integrability of a sigma model on a manifold, we investigate the conditions for having an integrable deformation of the general sigma model on a manifold with a complex structure. On a Lie group, these conditions are satisfied by using the zeros of the Nijenhuis tensor. We then extend this formalism to a manifold, especially a Lie group, with a generalized complex structure. We demonstrate that, for the examples of integrable sigma models with generalized complex structures on the Lie groups $\mathbf{A_{4,8}}$ and $\mathbf{A_{4,10}}$, under special conditions, the perturbed terms of the actions are identical to the WZ terms.


title: State-space Models with Layer-wise Nonlinearity are Universal Approximators with Exponential Decaying Memory

abstract: State-space models have gained popularity in sequence modelling due to their simple and efficient network structures. However, the absence of nonlinear activation along the temporal direction limits the model's capacity. In this paper, we prove that stacking state-space models with layer-wise nonlinear activation is sufficient to approximate any continuous sequence-to-sequence relationship. Our findings demonstrate that the addition of layer-wise nonlinear activation enhances the model's capacity to learn complex sequence patterns. Meanwhile, it can be seen both theoretically and empirically that the state-space models do not fundamentally resolve the issue of exponential decaying memory. Theoretical results are justified by numerical verifications.


title: Dream the Impossible: Outlier Imagination with Diffusion Models

abstract: Utilizing auxiliary outlier datasets to regularize the machine learning model has demonstrated promise for out-of-distribution (OOD) detection and safe prediction. Due to the labor intensity in data collection and cleaning, automating outlier data generation has been a long-desired alternative. Despite the appeal, generating photo-realistic outliers in the high dimensional pixel space has been an open challenge for the field. To tackle the problem, this paper proposes a new framework DREAM-OOD, which enables imagining photo-realistic outliers by way of diffusion models, provided with only the in-distribution (ID) data and classes. Specifically, DREAM-OOD learns a text-conditioned latent space based on ID data, and then samples outliers in the low-likelihood region via the latent, which can be decoded into images by the diffusion model. Different from prior works, DREAM-OOD enables visualizing and understanding the imagined outliers, directly in the pixel space. We conduct comprehensive quantitative and qualitative studies to understand the efficacy of DREAM-OOD, and show that training with the samples generated by DREAM-OOD can benefit OOD detection performance. Code is publicly available at https://github.com/deeplearning-wisc/dream-ood.


title: Preconditioned Primal-Dual Gradient Methods for Nonconvex Composite and Finite-Sum Optimization

abstract: In this paper, we first introduce a preconditioned primal-dual gradient algorithm based on conjugate duality theory. This algorithm is designed to solve composite optimization problem whose objective function consists of two summands: a continuously differentiable nonconvex function and the composition of a nonsmooth nonconvex function with a linear operator. In contrast to existing nonconvex primal-dual algorithms, our proposed algorithm, through the utilization of conjugate duality, does not require the calculation of proximal mapping of nonconvex functions. Under mild conditions, we prove that any cluster point of the generated sequence is a critical point of the composite optimization problem. In the context of Kurdyka-\L{}ojasiewicz property, we establish global convergence and convergence rates for the iterates. Secondly, for nonconvex finite-sum optimization, we propose a stochastic algorithm that combines the preconditioned primal-dual gradient algorithm with a class of variance reduced stochastic gradient estimators. Almost sure global convergence and expected convergence rates are derived relying on the Kurdyka-\L{}ojasiewicz inequality. Finally, some preliminary numerical results are presented to demonstrate the effectiveness of the proposed algorithms.


title: A Review on Practical Challenges of Aerial Quantum Communication

abstract: The increasing demand for the realization of global-scale quantum communication services necessitates critical investigation for a practical quantum secure communication network that relies on full-time all-location coverage. In this direction, the non-terrestrial quantum key distribution is expected to play an important role in providing agility, maneuverability, relay link, on-demand network, and last-mile coverage. In this work, we have summarized the research and development that has happened until now in the domain of quantum communication using non-terrestrial platforms with a specific focus on the associated challenges and the relevant models. Further, to extend the analysis beyond the existing know-how, a hybrid model involving the features of Vasylyev et al. model and Liorni et al. model is introduced here. The hybrid model entails us adapting a spherical beam to an elliptic beam approximation and effectively capturing the characteristics of transmittance in densely humid weather conditions and at low altitudes. Further, to understand the potential impact of the weather conditions of a region on atmospheric attenuation, as an example the average monthly visibility of Pune city was analyzed for the years 2021 and 2022. In addition, a simulation of a generic model is performed using a software-defined network paradigm where quantum teleportation is simulated between distant parties using a swarm of drones in NetSquid.


title: Supermassive Black Holes with High Accretion Rates in Active Galactic Nuclei. XIII. Ultraviolet Time Lag of H$\beta$ Emission in Mrk 142

abstract: We performed a rigorous reverberation-mapping analysis of the broad-line region (BLR) in a highly accreting ($L/L_{\mathrm{Edd}}=0.74-3.4$) active galactic nucleus, Markarian 142 (Mrk 142), for the first time using concurrent observations of the inner accretion disk and the BLR to determine a time lag for the $H\beta$ $\mathrm{\lambda}$4861 emission relative to the ultraviolet (UV) continuum variations. We used continuum data taken with the Niel Gehrels Swift Observatory in the UVW2 band, and the Las Cumbres Observatory, Dan Zowada Memorial Observatory, and Liverpool Telescope in the g band, as part of the broader Mrk 142 multi-wavelength monitoring campaign in 2019. We obtained new spectroscopic observations covering the $H\beta$ broad emission line in the optical from the Gemini North Telescope and the Lijiang 2.4-meter Telescope for a total of 102 epochs (over a period of eight months) contemporaneous to the continuum data. Our primary result states a UV-to-$H\beta$ time lag of $8.68_{-0.72}^{+0.75}$ days in Mrk 142 obtained from light-curve analysis with a Python-based Running Optimal Average algorithm. We placed our new measurements for Mrk 142 on the optical and UV radius-luminosity relations for NGC 5548 to understand the nature of the continuum driver. The positions of Mrk 142 on the scaling relations suggest that UV is closer to the "true" driving continuum than the optical. Furthermore, we obtain $\log(M_{\bullet}/M_{\odot}) = 6.32\pm0.29$ assuming UV as the primary driving continuum.


title: Can the natural system of viruses reconcile the current taxonomy with an alternative classification useful to clinicians?

abstract: In 2022, a group of basic and clinical virologists, bioinformaticians, and evolutionary and structural biologists met in Oxford, UK, to develop a consensus on methodologies used to classify viruses. They concluded that virus taxonomy, which is hierarchical and based on evolution, is only one of many possible ways to classify viruses. This taxonomy, while satisfying the four principles they set out, faces difficulties in coordinating with other classification systems useful to clinicians, infectious disease specialists, agronomists, etc. One example discussed is the grouping of different viral strains that cause different diseases into the species Enterovirus C. Here we show that the use of a previously proposed variant of a natural virus classification system based on the use of Neural Replicator Analysis can resolve this contradiction by establishing the fine structure of the Enterovirus C species, in which strains that cause different diseases are placed in several different cells of the binomial table of viruses. A key element in enabling this is the sophisticated preprocessing of the original viral genomes using neural replicators.


title: DenMune: Density peak based clustering using mutual nearest neighbors

abstract: Many clustering algorithms fail when clusters are of arbitrary shapes, of varying densities, or the data classes are unbalanced and close to each other, even in two dimensions. A novel clustering algorithm, DenMune is presented to meet this challenge. It is based on identifying dense regions using mutual nearest neighborhoods of size K, where K is the only parameter required from the user, besides obeying the mutual nearest neighbor consistency principle. The algorithm is stable for a wide range of values of K. Moreover, it is able to automatically detect and remove noise from the clustering process as well as detecting the target clusters. It produces robust results on various low and high-dimensional datasets relative to several known state-of-the-art clustering algorithms.


title: Penalties and Rewards for Fair Learning in Paired Kidney Exchange Programs

abstract: A kidney exchange program, also called a kidney paired donation program, can be viewed as a repeated, dynamic trading and allocation mechanism. This suggests that a dynamic algorithm for transplant exchange selection may have superior performance in comparison to the repeated use of a static algorithm. We confirm this hypothesis using a full scale simulation of the Canadian Kidney Paired Donation Program: learning algorithms, that attempt to learn optimal patient-donor weights in advance via dynamic simulations, do lead to improved outcomes. Specifically, our learning algorithms, designed with the objective of fairness (that is, equity in terms of transplant accessibility across cPRA groups), also lead to an increased number of transplants and shorter average waiting times. Indeed, our highest performing learning algorithm improves egalitarian fairness by 10% whilst also increasing the number of transplants by 6% and decreasing waiting times by 24%. However, our main result is much more surprising. We find that the most critical factor in determining the performance of a kidney exchange program is not the judicious assignment of positive weights (rewards) to patient-donor pairs. Rather, the key factor in increasing the number of transplants, decreasing waiting times and improving group fairness is the judicious assignment of a negative weight (penalty) to the small number of non-directed donors in the kidney exchange program.


title: Trigonometric weighted generalized convolution operator associated with Fourier cosine-sine and Kontorovich-Lebedev transformations

abstract: The main objective of this work is to introduce the generalized convolution with trigonometric weighted $\gamma=\sin y$ involving the Fourier cosine-sine and Kontorovich-Lebedev transforms, and to study its fundamental results. We establish boundedness properties in a two-parametric family of Lebesgue spaces for this convolution operator. Norm estimation in the weighted $ L_p$ space is obtained and applications of the corresponding class of convolution integro-differential equations are discussed. The conditions for the solvability of these equations in $L_1$ space are also founded.


title: Minimal invariant triangulations of spaces with respect to a finite group action

abstract: Let $G$ be a finite group acting on a closed manifold $M$. We estimate the size of a minimal triangulation of $M$ for which the action of $G$ is simplicial and regular. We show that the number of vertices of such triangulations are bounded bellow by the \emph{$G$-covering type} of $M$, defined as the minimal cardinality of a $G$-equivariant good cover of a space that is $G$-homotopy equivalent to $M$. The $G$-covering type is a $G$-homotopy invariant, so it can be estimated by other $G$-invariants like the equivariant LS-category, $G$-genus and the multiplicative structure of any equivariant cohomology theory. Among many examples, we compute the $G$-covering type of regular $G$-graphs, give a complete description of the number of vertices and their orbits for orientation-preserving finite group actions on surfaces and estimate the $G$-covering type of the projectivizations of complex representations of $G$.


title: Brownian particle in a Poisson-shot-noise active bath: exact statistics, effective temperature, and inference

abstract: We study the dynamics of an overdamped Brownian particle in a thermal bath that contains a dilute solution of active particles. The particle moves in a harmonic potential and experiences Poisson shot-noise kicks with specified amplitude distribution due to moving active particles in the bath. From the Fokker-Planck equation for the particle dynamics we derive the stationary solution for the displacement distribution along with the moments characterizing mean, variance, skewness, and kurtosis, as well as finite time first and second moments. We also compute an effective temperature through the fluctuation-dissipation theorem and show that equipartition theorem holds for all zero-mean kick distributions, including those leading to non-Gaussian stationary statistics. For the case of Gaussian-distributed active kicks we find a re-entrant behaviour from non-Gaussian to Gaussian stationary states and a heavy-tailed leptokurtic distribution across a wide range of parameters as seen in recent experimental studies. Further analysis reveals statistical signatures of the irreversible dynamics of the particle displacement in terms of the time asymmetry of cross-correlation functions. Fruits of our work is the development of a compact inference scheme that may allow experimentalists to extract the rate and moments of underlying shot-noise solely from the statistics of the particle position.


title: MiliPoint: A Point Cloud Dataset for mmWave Radar

abstract: Millimetre-wave (mmWave) radar has emerged as an attractive and cost-effective alternative for human activity sensing compared to traditional camera-based systems. mmWave radars are also non-intrusive, providing better protection for user privacy. However, as a Radio Frequency (RF) based technology, mmWave radars rely on capturing reflected signals from objects, making them more prone to noise compared to cameras. This raises an intriguing question for the deep learning community: Can we develop more effective point set-based deep learning methods for such attractive sensors? To answer this question, our work, termed MiliPoint, delves into this idea by providing a large-scale, open dataset for the community to explore how mmWave radars can be utilised for human activity recognition. Moreover, MiliPoint stands out as it is larger in size than existing datasets, has more diverse human actions represented, and encompasses all three key tasks in human activity recognition. We have also established a range of point-based deep neural networks such as DGCNN, PointNet++ and PointTransformer, on MiliPoint, which can serve to set the ground baseline for further development.


title: A Chat About Boring Problems: Studying GPT-based text normalization

abstract: Text normalization - the conversion of text from written to spoken form - is traditionally assumed to be an ill-formed task for language models. In this work, we argue otherwise. We empirically show the capacity of Large-Language Models (LLM) for text normalization in few-shot scenarios. Combining self-consistency reasoning with linguistic-informed prompt engineering, we find LLM based text normalization to achieve error rates around 40\% lower than top normalization systems. Further, upon error analysis, we note key limitations in the conventional design of text normalization tasks. We create a new taxonomy of text normalization errors and apply it to results from GPT-3.5-Turbo and GPT-4.0. Through this new framework, we can identify strengths and weaknesses of GPT-based TN, opening opportunities for future work.


title: Integrability to chaos transition through Krylov approach for state evolution

abstract: The complexity of quantum evolutions can be understood by examining their dispersion in a chosen basis. Recent research has stressed the fact that the Krylov basis is particularly adept at minimizing this dispersion [V. Balasubramanian et al, Physical Review D 106, 046007 (2022)]. This property assigns a central role to the Krylov basis in the investigation of quantum chaos. Here, we delve into the transition from integrability to chaos using the Krylov approach, employing an Ising spin chain and a banded random matrix model as our testing models. Our findings indicate that both the saturation of Krylov complexity and the dispersion of the Lanczos coefficients can exhibit a significant dependence on the initial condition. However, both quantities can gauge dynamical quantum chaos with a proper choice of the initial state.


title: Approximation Algorithms for the Two-Watchman Route in a Simple Polygon

abstract: The two-watchman route problem is that of computing a pair of closed tours in an environment so that the two tours together see the whole environment and some length measure on the two tours is minimized. Two standard measures are: the minmax measure, where we want the tours where the longest of them has smallest length, and the minsum measure, where we want the tours for which the sum of their lengths is the smallest. It is known that computing a minmax two-watchman route is NP-hard for simple rectilinear polygons and thus also for simple polygons. Also, any c-approximation algorithm for the minmax two-watchman route is automatically a 2c-approximation algorithm for the minsum two-watchman route. We exhibit two constant factor approximation algorithms for computing minmax two-watchman routes in simple polygons with approximation factors 5.969 and 11.939, having running times O(n^8) and O(n^4) respectively, where n is the number of vertices of the polygon. We also use the same techniques to obtain a 6.922-approximation for the fixed two-watchman route problem running in O(n^2) time, i.e., when two starting points of the two tours are given as input.


title: Modeling Student Performance in Game-Based Learning Environments

abstract: This study investigates game-based learning in the context of the educational game "Jo Wilder and the Capitol Case," focusing on predicting student performance using various machine learning models, including K-Nearest Neighbors (KNN), Multi-Layer Perceptron (MLP), and Random Forest. The research aims to identify the features most predictive of student performance and correct question answering. By leveraging gameplay data, we establish complete benchmarks for these models and explore the importance of applying proper data aggregation methods. By compressing all numeric data to min/max/mean/sum and categorical data to first, last, count, and nunique, we reduced the size of the original training data from 4.6 GB to 48 MB of preprocessed training data, maintaining high F1 scores and accuracy. Our findings suggest that proper preprocessing techniques can be vital in enhancing the performance of non-deep-learning-based models. The MLP model outperformed the current state-of-the-art French Touch model, achieving an F-1 score of 0.83 and an accuracy of 0.74, suggesting its suitability for this dataset. Future research should explore using larger datasets, other preprocessing techniques, more advanced deep learning techniques, and real-world applications to provide personalized learning recommendations to students based on their predicted performance. This paper contributes to the understanding of game-based learning and provides insights into optimizing educational game experiences for improved student outcomes and skill development.


title: Resolving References in Visually-Grounded Dialogue via Text Generation

abstract: Vision-language models (VLMs) have shown to be effective at image retrieval based on simple text queries, but text-image retrieval based on conversational input remains a challenge. Consequently, if we want to use VLMs for reference resolution in visually-grounded dialogue, the discourse processing capabilities of these models need to be augmented. To address this issue, we propose fine-tuning a causal large language model (LLM) to generate definite descriptions that summarize coreferential information found in the linguistic context of references. We then use a pretrained VLM to identify referents based on the generated descriptions, zero-shot. We evaluate our approach on a manually annotated dataset of visually-grounded dialogues and achieve results that, on average, exceed the performance of the baselines we compare against. Furthermore, we find that using referent descriptions based on larger context windows has the potential to yield higher returns.


title: Three-dimensional graphene on a nano-porous 4H-SiC backbone: a novel material for food sensing applications

abstract: Sensors which are sensitive to volatile organic compounds and thus able to monitor the conservation state of food, are precious because they work non-destructively and allow to avoid direct contact with the food, ensuring hygienic conditions. In particular, the monitoring of rancidity would solve a widespread issue in food storage. The sensor discussed here is produced utilizing a novel three-dimensional arrangement of graphene, which is grown on a crystalline silicon carbide (SiC) wafer previously porousified by chemical etching. This approach allows a very high surface-to.volume ratio. Furthermore, the structure of the sensor surface features a large amount of edges, dangling bounds, and active sites, which make the sensor, on a chemically robust skeleton, chemically active, particularly to hydrogenated molecules. The interaction of the sensor with such compounds is read out by measuring the sensor resistance in a four wire configuration. The sensor performance has been assessed on three hazelnut samples: sound hazelnuts, spoiled hazelnuts, and stink bug hazelnuts. A resistance variation of about DeltaR = 0.13 (0.02) Ohm between sound and damaged hazelnuts has been detected. Our measurements confirm the ability of the sensor to discriminate between sound and damaged hazelnuts. The sensor signal is stable for days, providing the possibility to use this sensor for the monitoring of the storage state of fats and foods in general.


title: Objective Bayesian analysis for the generalized exponential distribution

abstract: In this paper, we consider objective Bayesian inference of the generalized exponential distribution using the independence Jeffreys prior and validate the propriety of the posterior distribution under a family of structured priors. We propose an efficient sampling algorithm via the generalized ratio-of-uniforms method to draw samples for making posterior inference. We carry out simulation studies to assess the finite-sample performance of the proposed Bayesian approach. Finally, a real-data application is provided for illustrative purposes.


title: Giant electrostriction in bulk RE (III) substituted CeO2: effect of RE 3+ and its concentration

abstract: Recent discovery of giant electrostriction in rare earth (RE (III)) substituted ceria (CeO2) thin films driven by electroactive defect complexes and their coordinated elastic response, expands the material spectrum for electrostrain applications beyond the conventional piezoelectric materials. Especially Gd substituted CeO2, with Gd concentration >10% seems to be an ideal material to obtain such large electrostrain response. However, there are not many experimental studies that systematically investigate the effect of RE (III) ion-defect interaction and RE concentration on electrostriction. Here we perform structure-property correlation studies in bulk ceramics of RE3+ substituted ceria doped with RE=Y, La and Gd at various concentrations upto a maximum of 20%, to understand the features responsible for giant electrostriction. Our results show that Y substituted ceria, with atleast 20% Y substitution, is clearly both a giant M and a Q electrostrictor at low frequencies (<20 Hz), and this correlates with the unique attractive defect-dopant interaction of Y with oxygen vacancies. La has a repulsive interaction with oxygen vacancies, and La doped ceria at all the studied compositions (upto 20%) does not show giant electrostiction. Gd has a neutral interaction, and only 20% Gd doped ceria at best falls at the border of classification between giant and non-giant electrostrictors at frequencies <0.05 Hz. Our work takes a step back from thin-films and assesses the fundamental defect features required in the design of giant electrostrictors.


title: The extremals of the Kahn-Saks inequality

abstract: A classical result of Kahn and Saks states that given any partially ordered set with two distinguished elements, the number of linear extensions in which the ranks of the distinguished elements differ by $k$ is log-concave as a function of $k$. The log-concave sequences that can arise in this manner prove to exhibit a much richer structure, however, than is evident from log-concavity alone. The main result of this paper is a complete characterization of the extremals of the Kahn-Saks inequality: we obtain a detailed combinatorial understanding of where and what kind of geometric progressions can appear in these log-concave sequences. This settles a partial conjecture of Chan-Pak-Panova, while the analysis uncovers new extremals that were not previously conjectured. The proof relies on a much more general geometric mechanism -- a hard Lefschetz theorem for nef classes that was obtained in the setting of convex polytopes by Shenfeld and Van Handel -- which forms a model for the investigation of such structures in other combinatorial problems.


title: Physics Potential of a Few Kiloton Scale Neutrino Detector at a Deep Underground Lab in Korea

abstract: The demand for underground labs for neutrino and rare event search experiments has been increasing over the last few decades. Yemilab, constructed in October 2022, is the first deep ($\sim$1~km) underground lab dedicated to science in Korea, where a large cylindrical cavern (D: 20~m, H: 20~m) was excavated in addition to the main caverns and halls. The large cavern could be utilized for a low background neutrino experiment by a liquid scintillator-based detector (LSC) where a 2.26 kiloton LS target would be filled. It's timely to have such a large but ultra-pure LS detector after the shutdown of the Borexino experiment so that solar neutrinos can be measured much more precisely. Interesting BSM physics searches can be also pursued with this detector when it's combined with an electron linac, a proton cyclotron (IsoDAR source), or a radioactive source. This article discusses the concept of a candidate detector and the physics potential of a large liquid scintillator detector.


title: Risk-aware stochastic control of a sailboat

abstract: Sailboat path-planning is a natural hybrid control problem (due to continuous steering and occasional "tack-switching" maneuvers), with the actual path-to-target greatly affected by stochastically evolving wind conditions. Previous studies have focused on finding risk-neutral policies that minimize the expected time of arrival. In contrast, we present a robust control approach, which maximizes the probability of arriving before a specified deadline/threshold. Our numerical method recovers the optimal risk-aware (and threshold-specific) policies for all initial sailboat positions and a broad range of thresholds simultaneously. This is accomplished by solving two quasi-variational inequalities based on second-order Hamilton-Jacobi-Bellman (HJB) PDEs with degenerate parabolicity. Monte-Carlo simulations show that risk-awareness in sailing is particularly useful when a carefully calculated bet on the evolving wind direction might yield a reduction in the number of tack-switches.


title: Values of multilinear graded $*$-polynomials on upper triangular matrices of small dimension

abstract: Let $F$ be an algebraically closed field of characteristic different from $2$. We show that the images of multilinear $*$-polynomials on $UT_2$ are homogeneous vector spaces. An analogous result holds for $UT_3$ endowed with non-trivial grading. We further show that these results are optimal, in the following sense: there exist multilinear $+$graded polynomials whose image on $UT_n$ $(n\geq 3)$ with the trivial grading is not a vector space, and whose image on $(UT_n)$ $(n\geq 4)$ with the $\mathbb{Z}_n$-grading is also not a vector space. In particular, an analog of the L'vov-Kaplansky conjecture can not be expected in the setting of algebras with (graded) involutions.


title: Rethinking Superpixel Segmentation from Biologically Inspired Mechanisms

abstract: Recently, advancements in deep learning-based superpixel segmentation methods have brought about improvements in both the efficiency and the performance of segmentation. However, a significant challenge remains in generating superpixels that strictly adhere to object boundaries while conveying rich visual significance, especially when cross-surface color correlations may interfere with objects. Drawing inspiration from neural structure and visual mechanisms, we propose a biological network architecture comprising an Enhanced Screening Module (ESM) and a novel Boundary-Aware Label (BAL) for superpixel segmentation. The ESM enhances semantic information by simulating the interactive projection mechanisms of the visual cortex. Additionally, the BAL emulates the spatial frequency characteristics of visual cortical cells to facilitate the generation of superpixels with strong boundary adherence. We demonstrate the effectiveness of our approach through evaluations on both the BSDS500 dataset and the NYUv2 dataset.


title: Finding Order in Chaos: A Novel Data Augmentation Method for Time Series in Contrastive Learning

abstract: The success of contrastive learning is well known to be dependent on data augmentation. Although the degree of data augmentations has been well controlled by utilizing pre-defined techniques in some domains like vision, time-series data augmentation is less explored and remains a challenging problem due to the complexity of the data generation mechanism, such as the intricate mechanism involved in the cardiovascular system. Moreover, there is no widely recognized and general time-series augmentation method that can be applied across different tasks. In this paper, we propose a novel data augmentation method for quasi-periodic time-series tasks that aims to connect intra-class samples together, and thereby find order in the latent space. Our method builds upon the well-known mixup technique by incorporating a novel approach that accounts for the periodic nature of non-stationary time-series. Also, by controlling the degree of chaos created by data augmentation, our method leads to improved feature representations and performance on downstream tasks. We evaluate our proposed method on three time-series tasks, including heart rate estimation, human activity recognition, and cardiovascular disease detection. Extensive experiments against state-of-the-art methods show that the proposed approach outperforms prior works on optimal data generation and known data augmentation techniques in the three tasks, reflecting the effectiveness of the presented method. Source code: https://github.com/eth-siplab/Finding_Order_in_Chaos


title: Boundary algebras of the Kitaev Quantum Double model

abstract: The recent article [arXiv:2307.12552] gave local topological order (LTO) axioms for a quantum spin system, showed they held in Kitaev's Toric Code and in Levin-Wen string net models, and gave a bulk boundary correspondence to describe bulk excitations in terms of the boundary net of algebras. In this article, we prove the LTO axioms for Kitaev's Quantum Double model for a finite group $G$. We identify the boundary nets of algebras with fusion categorical nets associated to $(\mathsf{Hilb}(G),\mathbb{C}[G])$ or $(\mathsf{Rep}(G),\mathbb{C}^G)$ depending on whether the boundary cut is rough or smooth respectively. This allows us to make connections to work of Ogata on the type of the cone von Neumann algebras in the algebraic quantum field theory approach to topological superselection sectors. We show that the boundary algebras can also be calculated from a trivial $G$-symmetry protected topological phase ($G$-SPT), and that the gauging map preserves the boundary algebras. Finally, we compute the boundary algebras for the (3+1)D Quantum Double model associated to an abelian group.

categories: cond-mat.str-el math-ph math.MP math.OA math.QA quant-ph


title: Anytime valid and asymptotically optimal statistical inference driven by predictive recursion

abstract: Distinguishing two classes of candidate models is a fundamental and practically important problem in statistical inference. Error rate control is crucial to the logic but, in complex nonparametric settings, such guarantees can be difficult to achieve, especially when the stopping rule that determines the data collection process is not available. In this paper we develop a novel e-process construction that leverages the so-called predictive recursion (PR) algorithm designed to rapidly and recursively fit nonparametric mixture models. The resulting PRe-process affords anytime valid inference uniformly over stopping rules and is shown to be efficient in the sense that it achieves the maximal growth rate under the alternative relative to the mixture model being fit by PR. In the special case of testing for a log-concave density, the PRe-process test is computationally simpler and faster, more stable, and no less efficient compared to a recently proposed anytime valid test.


title: How Do Drivers Behave at Roundabouts in a Mixed Traffic? A Case Study Using Machine Learning

abstract: Driving behavior is considered a unique driving habit of each driver and has a significant impact on road safety. Classifying driving behavior and introducing policies based on the results can reduce the severity of crashes on the road. Roundabouts are particularly interesting because of the interconnected interaction between different road users at the area of roundabouts, which different driving behavior is hypothesized. This study investigates driving behavior at roundabouts in a mixed traffic environment using a data-driven unsupervised machine learning to classify driving behavior at three roundabouts in Germany. We used a dataset of vehicle kinematics to a group of different vehicles and vulnerable road users (VRUs) at roundabouts and classified them into three categories (i.e., conservative, normal, and aggressive). Results showed that most of the drivers proceeding through a roundabout can be mostly classified into two driving styles: conservative and normal because traffic speeds in roundabouts are relatively lower than in other signalized and unsignalized intersections. Results also showed that about 77% of drivers who interacted with pedestrians or cyclists were classified as conservative drivers compared to about 42% of conservative drivers that did not interact or about 51% from all drivers. It seems that drivers tend to behave abnormally as they interact with VRUs at roundabouts, which increases the risk of crashes when an intersection is multimodal. Results of this study could be helpful in improving the safety of roads by allowing policymakers to determine the effective and suitable safety countermeasures. Results will also be beneficial for the Advanced Driver Assistance System (ADAS) as the technology is being deployed in a mixed traffic environment.


title: Early-Exit with Class Exclusion for Efficient Inference of Neural Networks

abstract: Deep neural networks (DNNs) have been successfully applied in various fields. In DNNs, a large number of multiply-accumulate (MAC) operations are required to be performed, posing critical challenges in applying them in resource-constrained platforms, e.g., edge devices. To address this challenge, in this paper, we propose a class-based early-exit for dynamic inference. Instead of pushing DNNs to make a dynamic decision at intermediate layers, we take advantage of the learned features in these layers to exclude as many irrelevant classes as possible, so that later layers only have to determine the target class among the remaining classes. When only one class remains at a layer, this class is the corresponding classification result. Experimental results demonstrate the computational cost of DNNs in inference can be reduced significantly with the proposed early-exit technique. The codes can be found at https://github.com/HWAI-TUDa/EarlyClassExclusion.


title: Moving Target Defense based Secured Network Slicing System in the O-RAN Architecture

abstract: The open radio access network (O-RAN) architecture's native virtualization and embedded intelligence facilitate RAN slicing and enable comprehensive end-to-end services in post-5G networks. However, any vulnerabilities could harm security. Therefore, artificial intelligence (AI) and machine learning (ML) security threats can even threaten O-RAN benefits. This paper proposes a novel approach to estimating the optimal number of predefined VNFs for each slice while addressing secure AI/ML methods for dynamic service admission control and power minimization in the O-RAN architecture. We solve this problem on two-time scales using mathematical methods for determining the predefined number of VNFs on a large time scale and the proximal policy optimization (PPO), a Deep Reinforcement Learning algorithm, for solving dynamic service admission control and power minimization for different slices on a small-time scale. To secure the ML system for O-RAN, we implement a moving target defense (MTD) strategy to prevent poisoning attacks by adding uncertainty to the system. Our experimental results show that the proposed PPO-based service admission control approach achieves an admission rate above 80\% and that the MTD strategy effectively strengthens the robustness of the PPO method against adversarial attacks.


title: AxOMaP: Designing FPGA-based Approximate Arithmetic Operators using Mathematical Programming

abstract: With the increasing application of machine learning (ML) algorithms in embedded systems, there is a rising necessity to design low-cost computer arithmetic for these resource-constrained systems. As a result, emerging models of computation, such as approximate and stochastic computing, that leverage the inherent error-resilience of such algorithms are being actively explored for implementing ML inference on resource-constrained systems. Approximate computing (AxC) aims to provide disproportionate gains in the power, performance, and area (PPA) of an application by allowing some level of reduction in its behavioral accuracy (BEHAV). Using approximate operators (AxOs) for computer arithmetic forms one of the more prevalent methods of implementing AxC. AxOs provide the additional scope for finer granularity of optimization, compared to only precision scaling of computer arithmetic. To this end, designing platform-specific and cost-efficient approximate operators forms an important research goal. Recently, multiple works have reported using AI/ML-based approaches for synthesizing novel FPGA-based AxOs. However, most of such works limit usage of AI/ML to designing ML-based surrogate functions used during iterative optimization processes. To this end, we propose a novel data analysis-driven mathematical programming-based approach to synthesizing approximate operators for FPGAs. Specifically, we formulate mixed integer quadratically constrained programs based on the results of correlation analysis of the characterization data and use the solutions to enable a more directed search approach for evolutionary optimization algorithms. Compared to traditional evolutionary algorithms-based optimization, we report up to 21% improvement in the hypervolume, for joint optimization of PPA and BEHAV, in the design of signed 8-bit multipliers.


title: Video Timeline Modeling For News Story Understanding

abstract: In this paper, we present a novel problem, namely video timeline modeling. Our objective is to create a video-associated timeline from a set of videos related to a specific topic, thereby facilitating the content and structure understanding of the story being told. This problem has significant potential in various real-world applications, for instance, news story summarization. To bootstrap research in this area, we curate a realistic benchmark dataset, YouTube-News-Timeline, consisting of over $12$k timelines and $300$k YouTube news videos. Additionally, we propose a set of quantitative metrics to comprehensively evaluate and compare methodologies. With such a testbed, we further develop and benchmark several deep learning approaches to tackling this problem. We anticipate that this exploratory work will pave the way for further research in video timeline modeling. The assets are available via https://github.com/google-research/google-research/tree/master/video_timeline_modeling.


title: Non-autonomous Julia sets for sequences of polynomials satisfying Kalm\'ar-Walsh theorem

abstract: We consider a compact, polynomially convex, regular set $K \subset \mathbb{C}$ and a sequence $(p_n)_{n=1}^\infty$ of polynomials with uniformly bounded zeros and such that $\lim_{n \to \infty}\|p_n\|_K^{1/({\rm deg} \ p_n)}={\rm cap}(K)$, where ${\rm cap}(K)$ is the logarithmic capacity of $K$. Taking an arbitrary sequence $(d_k)_{k=1}^\infty$ of integers greater than $1$ we prove that there exists a nonempty set $\mathcal{K}[(p_{d_k})_{k=1}^\infty]$, depending only on the sequence $(p_{d_k})_{k=1}^\infty$, such that for any compact polynomially convex regular set $E$ the preimages $(p_{d_k}\circ...\circ p_{d_1})^{-1}(E)$ converge in Klimek's metric to $\mathcal{K}[(p_{d_k})_{k=1}^\infty]$. We call the set $\mathcal{K}[(p_{d_k})_{k=1}^\infty]$ the non-autonomous filled Julia set generated by the polynomial sequence $(p_{d_k})_{k=1}^\infty$. Our toy example is generated by $t_n=\frac{1}{2^{n-1}}T_n,\ n\in\{1,2,...\}$, associated with $K=[-1,1]$, where $T_n$ is the classical Chebyshev polynomial of degree $n$.


title: Grounding Description-Driven Dialogue State Trackers with Knowledge-Seeking Turns

abstract: Schema-guided dialogue state trackers can generalise to new domains without further training, yet they are sensitive to the writing style of the schemata. Augmenting the training set with human or synthetic schema paraphrases improves the model robustness to these variations but can be either costly or difficult to control. We propose to circumvent these issues by grounding the state tracking model in knowledge-seeking turns collected from the dialogue corpus as well as the schema. Including these turns in prompts during finetuning and inference leads to marked improvements in model robustness, as demonstrated by large average joint goal accuracy and schema sensitivity improvements on SGD and SGD-X.


title: Profit shifting under the arm's length principle

abstract: This study analyses the tax-induced profit shifting behaviour of firms and the impact of governments' anti-shifting rules. We derive a model of a firm that combines internal sales and internal debt in a full profit shifting strategy, and which is required to apply the arm's length principle and a general thin capitalisation rule. We find several cases where the firm may shift profits to low-tax countries while satisfying the usual arm's length conditions in all countries. Internal sales and internal debt may be regarded either as complementary or as substitute shifting channels, depending on how the implicit concealment costs vary after changes in all transactions. We show that the cross-effect between the shifting channels facilitates profit shifting by means of accepted transfer prices and interest rates.


title: Conducting A/B Experiments with a Scalable Architecture

abstract: A/B experiments are commonly used in research to compare the effects of changing one or more variables in two different experimental groups - a control group and a treatment group. While the benefits of using A/B experiments are widely known and accepted, there is less agreement on a principled approach to creating software infrastructure systems to assist in rapidly conducting such experiments. We propose a four-principle approach for developing a software architecture to support A/B experiments that is domain agnostic and can help alleviate some of the resource constraints currently needed to successfully implement these experiments: the software architecture (i) must retain the typical properties of A/B experiments, (ii) capture problem solving activities and outcomes, (iii) allow researchers to understand the behavior and outcomes of participants in the experiment, and (iv) must enable automated analysis. We successfully developed a software system to encapsulate these principles and implement it in a real-world A/B experiment.


title: Communication-Aware Map Compression for Online Path-Planning

abstract: This paper addresses the problem of the communication of optimally compressed information for mobile robot path-planning. In this context, mobile robots compress their current local maps to assist another robot in reaching a target in an unknown environment. We propose a framework that sequentially selects the optimal compression, guided by the robot's path, by balancing the map resolution and communication cost. Our approach is tractable in close-to-real scenarios and does not necessitate prior environment knowledge. We design a novel decoder that leverages compressed information to estimate the unknown environment via convex optimization with linear constraints and an encoder that utilizes the decoder to select the optimal compression. Numerical simulations are conducted in a large close-to-real map and a maze map and compared with two alternative approaches. The results confirm the effectiveness of our framework in assisting the robot reach its target by reducing transmitted information, on average, by approximately 50% while maintaining satisfactory performance.


title: Monotonic Neural Ordinary Differential Equation: Time-series Forecasting for Cumulative Data

abstract: Time-Series Forecasting based on Cumulative Data (TSFCD) is a crucial problem in decision-making across various industrial scenarios. However, existing time-series forecasting methods often overlook two important characteristics of cumulative data, namely monotonicity and irregularity, which limit their practical applicability. To address this limitation, we propose a principled approach called Monotonic neural Ordinary Differential Equation (MODE) within the framework of neural ordinary differential equations. By leveraging MODE, we are able to effectively capture and represent the monotonicity and irregularity in practical cumulative data. Through extensive experiments conducted in a bonus allocation scenario, we demonstrate that MODE outperforms state-of-the-art methods, showcasing its ability to handle both monotonicity and irregularity in cumulative data and delivering superior forecasting performance.


title: Dissecting the Gaia HR diagram II. The vertical structure of the star formation history across the Solar Cylinder

abstract: Starting from the Gaia DR3 HR diagram, we derive the star formation history (SFH) as a function of distance from the Galactic Plane within a cylinder centred on the Sun with a 200~pc radius and spanning 1.3~kpc above and below the Galaxy's midplane. We quantify both the concentration of the more recent star formation in the Galactic Plane, and the age-related increase in the scale height of the Galactic Disc stellar component, which is well-described by power-laws with indices ranging from $1/2$ to $2/3$. The vertically-integrated star formation rate falls from $(1.147 \pm 0.039)\times10^{-8}\, \text{M}_{\odot} \text{yr}^{-1} \text{pc}^{-2}$ at earlier times down to $(6.2 \pm 3.0) \times10^{-9}\, \text{M}_{\odot} \text{yr}^{-1} \text{pc}^{-2}$ at present times, but we find a significant peak of star formation in the 2 to 3 Gyr age bin. The total mass of stars formed per unit area over time is $118.7 \pm 6.2\, \text{M}_{\odot} \text{pc}^{-2}$, which is nearly twice the present stellar mass derived from kinematics within 1~kpc from the Galactic Plane, implying a high degree of matter recycling in successive generations of stars. The method is then modified by adopting an age-dependent correlation between the SFH across the different slices, which results in less noisy and more symmetrical results without significantly changing the previously mentioned quantities. This appears to be a promising way to improve SFH recovery in external galaxies.