title: EarlyBird: Early-Fusion for Multi-View Tracking in the Bird's Eye View

abstract: Multi-view aggregation promises to overcome the occlusion and missed detection challenge in multi-object detection and tracking. Recent approaches in multi-view detection and 3D object detection made a huge performance leap by projecting all views to the ground plane and performing the detection in the Bird's Eye View (BEV). In this paper, we investigate if tracking in the BEV can also bring the next performance breakthrough in Multi-Target Multi-Camera (MTMC) tracking. Most current approaches in multi-view tracking perform the detection and tracking task in each view and use graph-based approaches to perform the association of the pedestrian across each view. This spatial association is already solved by detecting each pedestrian once in the BEV, leaving only the problem of temporal association. For the temporal association, we show how to learn strong Re-Identification (re-ID) features for each detection. The results show that early-fusion in the BEV achieves high accuracy for both detection and tracking. EarlyBird outperforms the state-of-the-art methods and improves the current state-of-the-art on Wildtrack by +4.6 MOTA and +5.6 IDF1.


title: Elasto-plastic residual stress analysis of selective laser sintered porous materials based on 3D-multilayer thermo-structural phase-field simulations

abstract: Residual stress and plastic strain in additive manufactured materials can exhibit significant microscopic variation at the powder scale, profoundly influencing the overall properties of printed components. This variation depends on processing parameters and stems from multiple factors, including differences in powder bed morphology, non-uniform thermo-structural profiles, and inter-layer fusion. In this research, we propose a powder-resolved multilayer multiphysics simulation scheme tailored for porous materials through the process of selective laser sintering. This approach seamlessly integrates finite element method (FEM)-based non-isothermal phase-field simulation with thermo-elasto-plastic simulation, incorporating temperature- and phase-dependent material properties. The outcome of this investigation includes a detailed depiction of the mesoscopic evolution of stress and plastic strain within a transient thermo-microstructure, evaluated across a spectrum of beam power and scan speed parameters. Simulation results further reveal the underlying mechanisms. For instance, stress concentration primarily occurs at the necking region of partially melted particles and the junctions between different layers, resulting in the accumulation of plastic strain and residual stress, ultimately leading to structural distortion in the materials. Based on the simulation data, phenomenological relation regarding porosity/densification control by the beam energy input was examined along with the comparison to experimental results. Regression models were also proposed to describe the dependency of the residual stress and the plastic strain on the beam energy input.


title: A Geometric Theory for the origin and motion of sand dunes

abstract: In this study, a new theory for the spontaneous formation of sand dunes and related bedforms is proposed. The theory is based on the concept that smaller accumulations of sediment outpace larger ones due to differences in surface-to-volume ratio. From this geometric principle, it follows algebraically that for any nonzero bedload transport, the bed (sediment-covered surface) must be tilted upward along the currents direction, forming ripples and dunes. These ideas are validated by making the first-ever accurate predictions of dune speeds (migration rates) that are derived solely from measurements of dune geometries, specifically stoss side (s) and lee face length (l). This prediction has very high statistical significance: R2= 0.92, P = 2.0e-122, n=250. The geometric relationships defined here also predict the backwards migration of antidunes and explain the horned barchan dune and mirrored parabolic dune shapes.


title: Study of neutrinoless double beta decay in the Standard Model extended with sterile neutrinos

abstract: We study a model where the Standard Model is augmented with three sterile neutrino states. For the mixing matrix of active and sterile neutrinos, we adopt a particular parametrization of $(6\times6)$ unitary matrix. In this context, light neutrino masses being generated via type-I seesaw mechanism, we derive, analytically, the masses of the sterile states using exact seesaw relation. The masses of the sterile states being derived in terms of the lightest mass of active neutrinos and active-active and active-sterile mixing angles and phases, they can be all light, all heavy, or a mixture of light and and heavy as compared to the active states. This can be attributed to the interplay of the $CP$ violating (CPV) phases of the $6\times 6$ mixing matrix. As both active and sterile states can mediate the neutrinoless double beta decay ($0\nu\beta\beta$) process, their contributions to the effective mass of electron neutrino, $\lvert m_{ee}\lvert$ become a function of mass of the lightest active state and active-active and active-sterile mixing angles and phases. We explore the parameter space of $\lvert m_{ee}\lvert$, keeping in mind, the present and future sensitivity of $0\nu\beta\beta$ decay searches. By making use of constraints from charged lepton flavour violation (cLFV) processes and non-unitary, we explore the role of additional CPV phases and active-sterile mixing angle values. The numerical values thus obtained for $\lvert m_{ee}\rvert$ can vary from as low as $\mathcal{O}(10^{-4})$ to saturating the present experimental limit. We have also checked the reliability of our result by calculating the branching ratio of $\mu \rightarrow e \gamma$, a prominent cLFV process, and non-unitarity, in this framework.


title: Tetraquark bound states in constituent quark models: benchmark test calculations

abstract: We investigate the tetraquark bound states that are manifestly exotic using three distinct few-body methods: Gaussian Expansion Method (GEM), Resonating Group Method (RGM), and Diffusion Monte Carlo (DMC). We refer to manifestly exotic states that do not involve a mixture with the conventional mesons through the creation and annihilation of $n\bar{n}$, where $n=u, d$. Our calculations are conducted with two types of quark models: the pure constituent quark model featuring one-gluon-exchange interactions and confinement interactions, and the chiral constituent quark model, supplemented by extra one-boson-exchange interactions. This study represents a comprehensive benchmark test of various few-body methods and quark models. Our findings reveal the superiority of GEM over RGM and DMC methods based on present implements for the tetraquark bound states. Additionally, we observe a tendency for the chiral quark model to overestimate the binding energies. We systematically explore the fully, triply, doubly, and singly heavy tetraquark states with $J^P=0^+,1^+,2^+$, encompassing over 150 states in total. We successfully identify several bound states, including $[cc\bar{n}\bar{n}]_{J^{P}=1^{+}}^{I=0}$, $[bb\bar{n}\bar{n}]_{J^{P}=1^{+}}^{I=0}$, $[bc\bar{n}\bar{n}]_{J^{P}=0^{+},1^{+},2^{+}}^{I=0}$, $[bs\bar{n}\bar{n}]_{J^{P}=0^{+},1^{+}}^{I=0}$, $[cs\bar{n}\bar{n}]_{J^{P}=0^{+}}^{I=0}$, and $[bb\bar{n}\bar{s}]_{J^{P}=1^{+}}$, all found to be bound states below the dimeson thresholds.


title: SILC: Improving Vision Language Pretraining with Self-Distillation

abstract: Image-Text pretraining on web-scale image caption datasets has become the default recipe for open vocabulary classification and retrieval models thanks to the success of CLIP and its variants. Several works have also used CLIP features for dense prediction tasks and have shown the emergence of open-set abilities. However, the contrastive objective used by these models only focuses on image-text alignment and does not incentivise image feature learning for dense prediction tasks. In this work, we introduce SILC, a novel framework for vision language pretraining. SILC improves image-text contrastive learning with the simple addition of local-to-global correspondence learning by self-distillation. We show that distilling local image features from an exponential moving average (EMA) teacher model significantly improves model performance on dense predictions tasks like detection and segmentation, while also providing improvements on image-level tasks such as classification and retrieval. SILC models sets a new state of the art for zero-shot classification, few shot classification, image and text retrieval, zero-shot segmentation, and open vocabulary segmentation. We further show that SILC features greatly benefit open vocabulary detection, captioning and visual question answering.


title: Sync-NeRF: Generalizing Dynamic NeRFs to Unsynchronized Videos

abstract: Recent advancements in 4D scene reconstruction using neural radiance fields (NeRF) have demonstrated the ability to represent dynamic scenes from multi-view videos. However, they fail to reconstruct the dynamic scenes and struggle to fit even the training views in unsynchronized settings. It happens because they employ a single latent embedding for a frame while the multi-view images at the same frame were actually captured at different moments. To address this limitation, we introduce time offsets for individual unsynchronized videos and jointly optimize the offsets with NeRF. By design, our method is applicable for various baselines and improves them with large margins. Furthermore, finding the offsets naturally works as synchronizing the videos without manual effort. Experiments are conducted on the common Plenoptic Video Dataset and a newly built Unsynchronized Dynamic Blender Dataset to verify the performance of our method. Project page: https://seoha-kim.github.io/sync-nerf


title: The M6 forecasting competition: Bridging the gap between forecasting and investment decisions

abstract: The M6 forecasting competition, the sixth in the Makridakis' competition sequence, is focused on financial forecasting. A key objective of the M6 competition was to contribute to the debate surrounding the Efficient Market Hypothesis (EMH) by examining how and why market participants make investment decisions. To address these objectives, the M6 competition investigated forecasting accuracy and investment performance on a universe of 100 publicly traded assets. The competition employed live evaluation on real data across multiple periods, a cross-sectional setting where participants predicted asset performance relative to that of other assets, and a direct evaluation of the utility of forecasts. In this way, we were able to measure the benefits of accurate forecasting and assess the importance of forecasting when making investment decisions. Our findings highlight the challenges that participants faced when attempting to accurately forecast the relative performance of assets, the great difficulty associated with trying to consistently outperform the market, the limited connection between submitted forecasts and investment decisions, the value added by information exchange and the "wisdom of crowds", and the value of utilizing risk models when attempting to connect prediction and investing decisions.


title: Structure-dependent electromagnetic finite-volume effects through order $1/L^3$

abstract: We consider electromagnetic finite-volume effects through order $1/L^3$ in different formulations of QED, where $L$ is the periodicity of the spatial volume. An inherent problem at this order is the appearance of structure-dependent quantities related to form factors and the analytical structure of the correlation functions. The non-local constraint of the widely used QED$_{\textrm{L}}$ regularization gives rise to structure-dependent effects that are difficult to evaluate analytically and can act as a precision bottleneck in lattice calculations. For this reason, we consider general volume expansions relevant for the mass spectrum as well as leptonic decay rates in QED$_{\textrm{C}}$, QED$_{\textrm{L}}$ and QED$_{\textrm{L}}^{\textrm{IR}}$, the latter being a class of non-local formulations generalising QED$_{\textrm{L}}$. One choice within this class is QED$_{\textrm{r}}$, first introduced at this conference, and we show that the effects of non-locality for the $1/L^3$ term in the expansion can be removed. We observe that there are still $1/L^3$ contributions unrelated to the (non-)locality of the studied QED formulations, but rather to collinear singularities in the physical amplitudes.


title: Electrical Fault Localisation Over a Distributed Parameter Transmission Line

abstract: Motivated by the need to localise faults along electrical power lines, this paper adopts a frequency-domain approach to parameter estimation for an infinite-dimensional linear dynamical system with one spatial variable. Since the time of the fault is unknown, and voltages and currents are measured at only one end of the line, distance information must be extracted from the post-fault transients. To properly account for high-frequency transient behaviour, the line dynamics is modelled directly by the Telegrapher's equation, rather than the more commonly used lumped-parameter approximations. First, the governing equations are non-dimensionalised to avoid ill-conditioning. A closed-form expression for the transfer function is then derived. Finally, nonlinear least-squares optimisation is employed to search for the fault location. Requirements on fault bandwidth, sensor bandwidth and simulation time-step are also presented. The result is a novel end-to-end algorithm for data generation and fault localisation, the effectiveness of which is demonstrated via simulation.


title: Synchronization of molecular electrochemical oscillators by photon-assisted entanglement

abstract: Formation of hydronium and carbonate ions from CO2 in the aqueous phase is a reversible process and can produce and consume ions. These equilibrium reactions represent molecular electrochemical oscillators with chaotic dynamics. As demonstrated in previous works, para- and ortho- isomers of water have different reactivity; weak variations of magnetic fields induce a low-energy spin conversion process between isomers and affect several chemical and physical parameters. In particular, it is expected that spin-controlled ionic reactivity can lead to macroscopic synchronization of microscopic electrochemical oscillators. This work explores this hypothesis by monitoring the high-resolution ionic dynamics and temperature of independent fluidic cells with electrochemical impedance spectroscopy. The occurrence of synchronization is studied in 4-16 cells grouped in one or several non-transparent containers; about 20 million of samples are analyzed. Synchronization effects are shown to occur primarily in the CO2 dissolving scenario on 3-10 minute scale. Without CO2 access, mutual synchronization is either non-existent or negligible. Maximal correlations with r>0.9 are achieved between 4-6 cells with one synchronization event per 8000 samples; with r>0.7, in up to 8-10 cells with one event per 3000 samples. Anti-phase correlations occur more frequently than in-phase correlations. The number of synchronization events is about five times lower when cells are separated between non-transparent containers. We also noted a generation of in-phase and anti-phase temperature-impedance waves highly synchronized between independent cells. To explain such results, we consider molecular quantum networks that operate with spin conversion of water isomers. Weak coupling between oscillators in independent cells can be introduced by photon-assisted entanglement triggered by slight variations of magnetic fields.


title: Bridging the Gap between Synthetic and Authentic Images for Multimodal Machine Translation

abstract: Multimodal machine translation (MMT) simultaneously takes the source sentence and a relevant image as input for translation. Since there is no paired image available for the input sentence in most cases, recent studies suggest utilizing powerful text-to-image generation models to provide image inputs. Nevertheless, synthetic images generated by these models often follow different distributions compared to authentic images. Consequently, using authentic images for training and synthetic images for inference can introduce a distribution shift, resulting in performance degradation during inference. To tackle this challenge, in this paper, we feed synthetic and authentic images to the MMT model, respectively. Then we minimize the gap between the synthetic and authentic images by drawing close the input image representations of the Transformer Encoder and the output distributions of the Transformer Decoder. Therefore, we mitigate the distribution disparity introduced by the synthetic images during inference, thereby freeing the authentic images from the inference process.Experimental results show that our approach achieves state-of-the-art performance on the Multi30K En-De and En-Fr datasets, while remaining independent of authentic images during inference.


title: Towards General Error Diagnosis via Behavioral Testing in Machine Translation

abstract: Behavioral testing offers a crucial means of diagnosing linguistic errors and assessing capabilities of NLP models. However, applying behavioral testing to machine translation (MT) systems is challenging as it generally requires human efforts to craft references for evaluating the translation quality of such systems on newly generated test cases. Existing works in behavioral testing of MT systems circumvent this by evaluating translation quality without references, but this restricts diagnosis to specific types of errors, such as incorrect translation of single numeric or currency words. In order to diagnose general errors, this paper proposes a new Bilingual Translation Pair Generation based Behavior Testing (BTPGBT) framework for conducting behavioral testing of MT systems. The core idea of BTPGBT is to employ a novel bilingual translation pair generation (BTPG) approach that automates the construction of high-quality test cases and their pseudoreferences. Experimental results on various MT systems demonstrate that BTPGBT could provide comprehensive and accurate behavioral testing results for general error diagnosis, which further leads to several insightful findings. Our code and data are available at https: //github.com/wujunjie1998/BTPGBT.


title: Visualization of skyrmion-superconducting vortex pairs in a chiral magnet-superconductor heterostructure

abstract: Magnetic skyrmions, the topological states possessing chiral magnetic structure with non-trivial topology, have been widely investigated as a promising candidate for spintronic devices. They can also couple with superconducting vortices to form skyrmion-vortex pairs, hosting Majorana zero mode which is a potential candidate for topological quantum computering. A lot of theoretical proposals have been put forward on constructing skyrmion-vortex pairs in heterostructures of chiral magnet and superconductor. Nevertheless, how to generate skyrmion-vortex pairs in a controllable way experimentally remains a significant challenge. We have designed a heterostructure of chiral magnet and superconductor [CoFeB/Ir/Ta]7/Nb in which zero field N\'eel-type skyrmions can be stabilized and the superconducting vortices can couple with the skyrmions when Nb is in the superconducting state. We have directly observed the formation of skyrmion-superconducting vortex pairs which is dependent on the direction of the applied magnetic field. Our results provide an effective method to manipulate the quantum states of skyrmions with the help of superconducting vortices, which can be used to explore the possible existence of Majorana zero mode for future quantum computation.


title: Dissecting Causal Biases

abstract: Accurately measuring discrimination in machine learning-based automated decision systems is required to address the vital issue of fairness between subpopulations and/or individuals. Any bias in measuring discrimination can lead to either amplification or underestimation of the true value of discrimination. This paper focuses on a class of bias originating in the way training data is generated and/or collected. We call such class causal biases and use tools from the field of causality to formally define and analyze such biases. Four sources of bias are considered, namely, confounding, selection, measurement, and interaction. The main contribution of this paper is to provide, for each source of bias, a closed-form expression in terms of the model parameters. This makes it possible to analyze the behavior of each source of bias, in particular, in which cases they are absent and in which other cases they are maximized. We hope that the provided characterizations help the community better understand the sources of bias in machine learning applications.


title: Towards Multi-Subsession Conversational Recommendation

abstract: Conversational recommendation systems (CRS) could acquire dynamic user preferences towards desired items through multi-round interactive dialogue. Previous CRS mainly focuses on the single conversation (subsession) that user quits after a successful recommendation, neglecting the common scenario where user has multiple conversations (multi-subsession) over a short period. Therefore, we propose a novel conversational recommendation scenario named Multi-Subsession Multi-round Conversational Recommendation (MSMCR), where user would still resort to CRS after several subsessions and might preserve vague interests, and system would proactively ask attributes to activate user interests in the current subsession. To fill the gap in this new CRS scenario, we devise a novel framework called Multi-Subsession Conversational Recommender with Activation Attributes (MSCAA). Specifically, we first develop a context-aware recommendation module, comprehensively modeling user interests from historical interactions, previous subsessions, and feedback in the current subsession. Furthermore, an attribute selection policy module is proposed to learn a flexible strategy for asking appropriate attributes to elicit user interests. Finally, we design a conversation policy module to manage the above two modules to decide actions between asking and recommending. Extensive experiments on four datasets verify the effectiveness of our MSCAA framework for the MSMCR setting.


title: PSGText: Stroke-Guided Scene Text Editing with PSP Module

abstract: Scene Text Editing (STE) aims to substitute text in an image with new desired text while preserving the background and styles of the original text. However, present techniques present a notable challenge in the generation of edited text images that exhibit a high degree of clarity and legibility. This challenge primarily stems from the inherent diversity found within various text types and the intricate textures of complex backgrounds. To address this challenge, this paper introduces a three-stage framework for transferring texts across text images. Initially, we introduce a text-swapping network that seamlessly substitutes the original text with the desired replacement. Subsequently, we incorporate a background inpainting network into our framework. This specialized network is designed to skillfully reconstruct background images, effectively addressing the voids left after the removal of the original text. This process meticulously preserves visual harmony and coherence in the background. Ultimately, the synthesis of outcomes from the text-swapping network and the background inpainting network is achieved through a fusion network, culminating in the creation of the meticulously edited final image. A demo video is included in the supplementary material.


title: VFedMH: Vertical Federated Learning for Training Multiple Heterogeneous Models

abstract: Vertical federated learning has garnered significant attention as it allows clients to train machine learning models collaboratively without sharing local data, which protects the client's local private data. However, existing VFL methods face challenges when dealing with heterogeneous local models among participants, which affects optimization convergence and generalization. To address this challenge, this paper proposes a novel approach called Vertical federated learning for training multiple Heterogeneous models (VFedMH). VFedMH focuses on aggregating the local embeddings of each participant's knowledge during forward propagation. To protect the participants' local embedding values, we propose an embedding protection method based on lightweight blinding factors. In particular, participants obtain local embedding using local heterogeneous models. Then the passive party, who owns only features of the sample, injects the blinding factor into the local embedding and sends it to the active party. The active party aggregates local embeddings to obtain global knowledge embeddings and sends them to passive parties. The passive parties then utilize the global embeddings to propagate forward on their local heterogeneous networks. However, the passive party does not own the sample labels, so the local model gradient cannot be calculated locally. To overcome this limitation, the active party assists the passive party in computing its local heterogeneous model gradients. Then, each participant trains their local model using the heterogeneous model gradients. The objective is to minimize the loss value of their respective local heterogeneous models. Extensive experiments are conducted to demonstrate that VFedMH can simultaneously train multiple heterogeneous models with heterogeneous optimization and outperform some recent methods in model performance.


title: AP Connection Method for Maximizing Throughput Considering User Moving and Degree of Interference Based on Potential Game

abstract: For multi-transmission rate environments, access point (AP) connection methods have been proposed for maximizing system throughput, which is the throughput of an entire system, on the basis of the cooperative behavior of users. These methods derive optimal positions for the cooperative behavior of users, which means that new users move to improve the system throughput when connecting to an AP. However, the conventional method only considers the transmission rate of new users and does not consider existing users, even though it is necessary to consider the transmission rate of all users to improve system throughput. In addition, these method do not take into account the frequency of interference between users. In this paper, we propose an AP connection method which maximizes system throughput by considering the interference between users and the initial position of all users. In addition, our proposed method can improve system throughput by about 6% at most compared to conventional methods.


title: SigFormer: Signature Transformers for Deep Hedging

abstract: Deep hedging is a promising direction in quantitative finance, incorporating models and techniques from deep learning research. While giving excellent hedging strategies, models inherently requires careful treatment in designing architectures for neural networks. To mitigate such difficulties, we introduce SigFormer, a novel deep learning model that combines the power of path signatures and transformers to handle sequential data, particularly in cases with irregularities. Path signatures effectively capture complex data patterns, while transformers provide superior sequential attention. Our proposed model is empirically compared to existing methods on synthetic data, showcasing faster learning and enhanced robustness, especially in the presence of irregular underlying price data. Additionally, we validate our model performance through a real-world backtest on hedging the SP 500 index, demonstrating positive outcomes.


title: $D_{s0}^*(2317)$ and $B_{s0}^*$ as molecular states

abstract: We investigate the dynamical generation of the $D_{s0}^*(2317)$ and $B_{s0}^*$ mesons using a meson-exchange model with a coupled-channelformalism. Our primary focus is on the $D_s^+\pi^0$ channel below the $DK$ threshold. First, we construct the invariant kernel amplitudes, incorporating effective Lagrangians based on heavy-quark symmetry, flavor SU(3) symmetry, and hidden local symmetry. Since the $D_{s0}^*(2317)$ state implies isospin symmetry breaking, we introduce $\pi^0-\eta$ isospin mixing. We subsequently solve the coupled-channel integral equations, which include four different channels, i.e., $D_s^+\pi^0$, $D^0 K^+$, $D^+ K^0$, and $D_s^+\eta$. We carefully analyze how the pole corresponding to the $D_{s0}^*(2317)$ state emerges from the coupled channels. Our findings reveal that the pole positions of the $D_{s0}^*(2317)$ meson are at $\sqrt{s_R}=(2317.9 - i 0.0593)$ MeV and the $\bar{B}_{s0}^*$ meson at $(5756.43-i0.0215)$ MeV, respectively. We also discuss their decay widths and destructive interference of the two sources. In conclusion, our current results provide a clear indication supporting the interpretation of the $D_{s0}^*(2317)$ meson as a $DK$ molecular state within the present coupled-channel formalism. In addition, we discuss a possible existence of $\bar{B}_{s0}^{*}$.


title: Exact Linearization of Minimally Underactuated Configuration Flat Lagrangian Control Systems by Quasi-Static Feedback of Classical States

abstract: We study the exact linearization of configuration flat Lagrangian control systems with p degrees of freedom and p-1 inputs by quasi-static feedback of classical states. First, we present a detailed analysis of the structure of the parameterization of the system variables by the flat output. Based on that, we systematically construct a linearizing quasi-static feedback law of the classical state such that the closed-loop system shows the behavior of decoupled integrator chains. Our approach shows that the construction of a generalized Brunovsky state can be completely circumvented. Furthermore, we present a method for determining the lengths of the integrator chains achieved by quasi-static feedback laws that allow for rest-to-rest transitions.


title: The cdh-local motivic homotopy category

abstract: We construct a cdh-local motivic homotopy category SH_cdh(S) over an arbitrary base scheme S, and show that there is a canonical equivalence between SH_cdh(S) and SH(S). We learned this result from D.-C. Cisinski.


title: Single-view 3D reconstruction via inverse procedural modeling

abstract: We propose an approach to 3D reconstruction via inverse procedural modeling and investigate two variants of this approach. The first option consists in the fitting set of input parameters using a genetic algorithm. We demonstrate the results of our work on tree models, complex objects, with the reconstruction of which most existing methods cannot handle. The second option allows us to significantly improve the precision by using gradients within memetic algorithm, differentiable rendering and also differentiable procedural generators. In our work we see 2 main contributions. First, we propose a method to join differentiable rendering and inverse procedural modeling. This gives us an opportunity to reconstruct 3D model more accurately than existing approaches when a small number of input images are available (even for single image). Second, we join both differentiable and non-differentiable procedural generators in a single framework which allow us to apply inverse procedural modeling to fairly complex generators: when gradient is available, reconstructions is precise, when gradient is not available, reconstruction is approximate, but always high quality without visual artifacts.


title: Single-Shot Local Measurement of Terahertz Correlated Second Harmonic Generation in Laser Air Plasma Filaments

abstract: We present a single-shot detection method of terahertz-correlated second harmonic generation in plasma-based sources by directly mixing an optical probe into femtosecond laser-induced plasma filaments in air. The single-shot second harmonic trace is obtained by measuring second harmonic generation on a conventional CCD with a spatio-temporally distorted probe beam. The system shows a spectrometer resolution of 22 fs/pixel on the CCD and a true resolution on the order of the probe pulse duration. With considerable THz peak electric field strengths, this formalism can open the door to single-shot THz detection without bandwidth limitations.


title: An Improved Artificial Fish Swarm Algorithm for Solving the Problem of Investigation Path Planning

abstract: Informationization is a prevailing trend in today's world. The increasing demand for information in decision-making processes poses significant challenges for investigation activities, particularly in terms of effectively allocating limited resources to plan investigation programs. This paper addresses the investigation path planning problem by formulating it as a multi-traveling salesman problem (MTSP). Our objective is to minimize costs, and to achieve this, we propose a chaotic artificial fish swarm algorithm based on multiple population differential evolution (DE-CAFSA). To overcome the limitations of the artificial fish swarm algorithm, such as low optimization accuracy and the inability to consider global and local information, we incorporate adaptive field of view and step size adjustments, replace random behavior with the 2-opt operation, and introduce chaos theory and sub-optimal solutions to enhance optimization accuracy and search performance. Additionally, we integrate the differential evolution algorithm to create a hybrid algorithm that leverages the complementary advantages of both approaches. Experimental results demonstrate that DE-CAFSA outperforms other algorithms on various public datasets of different sizes, as well as showcasing excellent performance on the examples proposed in this study.


title: Notion of validity for the bilateral classical logic

abstract: This paper explores proof-theoretic semantics, a formal approach to inferential semantics. It derives sentence meaning from formalized proofs, building upon Gentzen and Prawitz's work. The study addresses challenges in understanding how proofs contribute to sentence meaning. In this setting, classical logic poses "Dummett's challenge" due to its mismatch with the proof-theoretic framework designed for intuitionist logic. For example, in Rumfitt's bilateral classical logic (BCL), the justification of coordination rules, notably RAA, is contentious. This paper employs the notion of validity, introduced by Prawitz, to provide a comprehensive justification for BCL, defining valid arguments and demonstrating its soundness. It resolves the circularity associated with RAA using fixed-point construction. Notably, this approach relies on impredicative comprehension but without on the excluded middle principle, suggesting that bivalence may not be essential for justifying classical logic.


title: A Human-Robot Mutual Learning System with Affect-Grounded Language Acquisition and Differential Outcomes Training

abstract: This paper presents a novel human-robot interaction setup for robot and human learning of symbolic language for identifying robot homeostatic needs. The robot and human learn to use and respond to the same language symbols that convey homeostatic needs and the stimuli that satisfy the homeostatic needs, respectively. We adopted a differential outcomes training (DOT) protocol whereby the robot provides feedback specific (differential) to its internal needs (e.g. `hunger') when satisfied by the correct stimulus (e.g. cookie). We found evidence that DOT can enhance the human's learning efficiency, which in turn enables more efficient robot language acquisition. The robot used in the study has a vocabulary similar to that of a human infant in the linguistic ``babbling'' phase. The robot software architecture is built upon a model for affect-grounded language acquisition where the robot associates vocabulary with internal needs (hunger, thirst, curiosity) through interactions with the human. The paper presents the results of an initial pilot study conducted with the interactive setup, which reveal that the robot's language acquisition achieves higher convergence rate in the DOT condition compared to the non-DOT control condition. Additionally, participants reported positive affective experiences, feeling of being in control, and an empathetic connection with the robot. This mutual learning (teacher-student learning) approach offers a potential contribution of facilitating cognitive interventions with DOT (e.g. for people with dementia) through increased therapy adherence as a result of engaging humans more in training tasks by taking an active teaching-learning role. The homeostatic motivational grounding of the robot's language acquisition has potential to contribute to more ecologically valid and social (collaborative/nurturing) interactions with robots.


title: ScalableMap: Scalable Map Learning for Online Long-Range Vectorized HD Map Construction

abstract: We propose a novel end-to-end pipeline for online long-range vectorized high-definition (HD) map construction using on-board camera sensors. The vectorized representation of HD maps, employing polylines and polygons to represent map elements, is widely used by downstream tasks. However, previous schemes designed with reference to dynamic object detection overlook the structural constraints within linear map elements, resulting in performance degradation in long-range scenarios. In this paper, we exploit the properties of map elements to improve the performance of map construction. We extract more accurate bird's eye view (BEV) features guided by their linear structure, and then propose a hierarchical sparse map representation to further leverage the scalability of vectorized map elements and design a progressive decoding mechanism and a supervision strategy based on this representation. Our approach, ScalableMap, demonstrates superior performance on the nuScenes dataset, especially in long-range scenarios, surpassing previous state-of-the-art model by 6.5 mAP while achieving 18.3 FPS. Code is available at https://github.com/jingy1yu/ScalableMap.


title: Higher order accurate mass lumping for explicit isogeometric methods based on approximate dual basis functions

abstract: This paper introduces a mathematical framework for explicit structural dynamics, employing approximate dual functionals and rowsum mass lumping. We demonstrate that the approach may be interpreted as a Petrov-Galerkin method that utilizes rowsum mass lumping or as a Galerkin method with a customized higher-order accurate mass matrix. Unlike prior work, our method correctly incorporates Dirichlet boundary conditions while preserving higher order accuracy. The mathematical analysis is substantiated by spectral analysis and a two-dimensional linear benchmark that involves a non-linear geometric mapping. Our results reveal that our approach achieves accuracy and robustness comparable to a traditional Galerkin method employing the consistent mass formulation, while retaining the explicit nature of the lumped mass formulation.


title: APP: Adaptive Prototypical Pseudo-Labeling for Few-shot OOD Detection

abstract: Detecting out-of-domain (OOD) intents from user queries is essential for a task-oriented dialogue system. Previous OOD detection studies generally work on the assumption that plenty of labeled IND intents exist. In this paper, we focus on a more practical few-shot OOD setting where there are only a few labeled IND data and massive unlabeled mixed data that may belong to IND or OOD. The new scenario carries two key challenges: learning discriminative representations using limited IND data and leveraging unlabeled mixed data. Therefore, we propose an adaptive prototypical pseudo-labeling (APP) method for few-shot OOD detection, including a prototypical OOD detection framework (ProtoOOD) to facilitate low-resource OOD detection using limited IND data, and an adaptive pseudo-labeling method to produce high-quality pseudo OOD\&IND labels. Extensive experiments and analysis demonstrate the effectiveness of our method for few-shot OOD detection.


title: Accelerated sparse Kernel Spectral Clustering for large scale data clustering problems

abstract: An improved version of the sparse multiway kernel spectral clustering (KSC) is presented in this brief. The original algorithm is derived from weighted kernel principal component (KPCA) analysis formulated within the primal-dual least-squares support vector machine (LS-SVM) framework. Sparsity is achieved then by the combination of the incomplete Cholesky decomposition (ICD) based low rank approximation of the kernel matrix with the so called reduced set method. The original ICD based sparse KSC algorithm was reported to be computationally far too demanding, especially when applied on large scale data clustering problems that actually it was designed for, which has prevented to gain more than simply theoretical relevance so far. This is altered by the modifications reported in this brief that drastically improve the computational characteristics. Solving the alternative, symmetrized version of the computationally most demanding core eigenvalue problem eliminates the necessity of forming and SVD of large matrices during the model construction. This results in solving clustering problems now within seconds that were reported to require hours without altering the results. Furthermore, sparsity is also improved significantly, leading to more compact model representation, increasing further not only the computational efficiency but also the descriptive power. These transform the original, only theoretically relevant ICD based sparse KSC algorithm applicable for large scale practical clustering problems. Theoretical results and improvements are demonstrated by computational experiments on carefully selected synthetic data as well as on real life problems such as image segmentation.


title: Quantum error mitigation in the regime of high noise using deep neural network: Trotterized dynamics

abstract: We address a learning-based quantum error mitigation method, which utilizes deep neural network applied at the postprocessing stage, and study its performance in presence of different types of quantum noises. We concentrate on the simulation of Trotterized dynamics of 2D spin lattice in the regime of high noise, when expectation values of bounded traceless observables are strongly suppressed. By using numerical simulations, we demonstrate a dramatic improvement of data quality for both local weight-1 and weight-2 observables for the depolarizing and inhomogeneous Pauli channels. At the same time, the effect of coherent $ZZ$ crosstalks is not mitigated, so that in practise crosstalks should be at first converted into incoherent errors by randomized compiling.


title: Large zeta sums

abstract: In this article, we investigate the behaviour of values of zeta sums $\sum_{n\le x}n^{it}$ when $t$ is large. We show some asymptotic behaviour and Omega results of zeta sums, which are analogous to previous results of large character sums $\sum_{n\le x}\chi(n)$.


title: Salted Inference: Enhancing Privacy while Maintaining Efficiency of Split Inference in Mobile Computing

abstract: In split inference, a deep neural network (DNN) is partitioned to run the early part of the DNN at the edge and the later part of the DNN in the cloud. This meets two key requirements for on-device machine learning: input privacy and computation efficiency. Still, an open question in split inference is output privacy, given that the outputs of the DNN are observable in the cloud. While encrypted computing can protect output privacy too, homomorphic encryption requires substantial computation and communication resources from both edge and cloud devices. In this paper, we introduce Salted DNNs: a novel approach that enables clients at the edge, who run the early part of the DNN, to control the semantic interpretation of the DNN's outputs at inference time. Our proposed Salted DNNs maintain classification accuracy and computation efficiency very close to the standard DNN counterparts. Experimental evaluations conducted on both images and wearable sensor data demonstrate that Salted DNNs attain classification accuracy very close to standard DNNs, particularly when the Salted Layer is positioned within the early part to meet the requirements of split inference. Our approach is general and can be applied to various types of DNNs. As a benchmark for future studies, we open-source our code.


title: Tuna: Instruction Tuning using Feedback from Large Language Models

abstract: Instruction tuning of open-source large language models (LLMs) like LLaMA, using direct outputs from more powerful LLMs such as Instruct-GPT and GPT-4, has proven to be a cost-effective way to align model behaviors with human preferences. However, the instruction-tuned model has only seen one response per instruction, lacking the knowledge of potentially better responses. In this paper, we propose finetuning an instruction-tuned LLM using our novel \textit{probabilistic ranking} and \textit{contextual ranking} approaches to increase the likelihood of generating better responses. Probabilistic ranking enables the instruction-tuned model to inherit the relative rankings of high-quality and low-quality responses from the teacher LLM. On the other hand, learning with contextual ranking allows the model to refine its own response distribution using the contextual understanding ability of stronger LLMs. Furthermore, we apply probabilistic ranking and contextual ranking sequentially to the instruction-tuned LLM. The resulting model, which we call \textbf{Tuna}, consistently improves the performance on Super Natural Instructions (119 test tasks), LMentry (25 test tasks), Vicuna QA, and can even obtain better results than several strong reinforcement learning baselines. Our code and data are available at \url{ https://github.com/microsoft/LMOps}.


title: A magnetic clock for a harmonic oscillator

abstract: We present an implementation of a recently proposed procedure for defining time, based on the description of the evolving system and its clock as non-interacting, entangled systems, according to the Page and Wootters approach. We study how the quantum dynamics transforms into a classical-like behaviour when conditions related with macroscopicity are met by the clock alone, or by both the clock and the evolving system. In the description of this emerging behaviour finds its place the classical notion of time, as well as that of phase-space and trajectories on it. This allows us to analyze and discuss the relations that must hold between quantities that characterize system and clock separately, in order for the resulting overall picture be that of a physical dynamics as we mean it.


title: Assumption violations in causal discovery and the robustness of score matching

abstract: When domain knowledge is limited and experimentation is restricted by ethical, financial, or time constraints, practitioners turn to observational causal discovery methods to recover the causal structure, exploiting the statistical properties of their data. Because causal discovery without further assumptions is an ill-posed problem, each algorithm comes with its own set of usually untestable assumptions, some of which are hard to meet in real datasets. Motivated by these considerations, this paper extensively benchmarks the empirical performance of recent causal discovery methods on observational i.i.d. data generated under different background conditions, allowing for violations of the critical assumptions required by each selected approach. Our experimental findings show that score matching-based methods demonstrate surprising performance in the false positive and false negative rate of the inferred graph in these challenging scenarios, and we provide theoretical insights into their performance. This work is also the first effort to benchmark the stability of causal discovery algorithms with respect to the values of their hyperparameters. Finally, we hope this paper will set a new standard for the evaluation of causal discovery methods and can serve as an accessible entry point for practitioners interested in the field, highlighting the empirical implications of different algorithm choices.


title: Music Augmentation and Denoising For Peak-Based Audio Fingerprinting

abstract: Audio fingerprinting is a well-established solution for song identification from short recording excerpts. Popular methods rely on the extraction of sparse representations, generally spectral peaks, and have proven to be accurate, fast, and scalable to large collections. However, real-world applications of audio identification often happen in noisy environments, which can cause these systems to fail. In this work, we tackle this problem by introducing and releasing a new audio augmentation pipeline that adds noise to music snippets in a realistic way, by stochastically mimicking real-world scenarios. We then propose and release a deep learning model that removes noisy components from spectrograms in order to improve peak-based fingerprinting systems' accuracy. We show that the addition of our model improves the identification performance of commonly used audio fingerprinting systems, even under noisy conditions.


title: On the Effect of Clock Frequency on Voltage and Electromagnetic Fault Injection

abstract: We investigate the influence of clock frequency on the success rate of a fault injection attack. In particular, we examine the success rate of voltage and electromagnetic fault attacks for varying clock frequencies. Using three different tests that cover different components of a System-on-Chip, we perform fault injection while its CPU operates at different clock frequencies. Our results show that the attack's success rate increases with an increase in clock frequency for both voltage and EM fault injection attacks. As the technology advances push the clock frequency further, these results can help assess the impact of fault injection attacks more accurately and develop appropriate countermeasures to address them.


title: The geometry of the tangent and sphere bundles over statistical manifolds

abstract: In the paper a Riemannian structure on the tangent bundle is defined by using a statistical structure $(g,\nabla)$ on the base manifold. Expressions for various curvatures of the structure are derived. Some rigidity results of the structure are proved. The main goal of the paper is to initiate the study of sphere bundles over statistical manifolds. Basic formulas for the geometry are established. Sphere bundles with small radii over compact manifolds are studied.


title: Learning Successor Features with Distributed Hebbian Temporal Memory

abstract: This paper presents a novel approach to address the challenge of online temporal memory learning for decision-making under uncertainty in non-stationary, partially observable environments. The proposed algorithm, Distributed Hebbian Temporal Memory (DHTM), is based on factor graph formalism and a multicomponent neuron model. DHTM aims to capture sequential data relationships and make cumulative predictions about future observations, forming Successor Features (SF). Inspired by neurophysiological models of the neocortex, the algorithm utilizes distributed representations, sparse transition matrices, and local Hebbian-like learning rules to overcome the instability and slow learning process of traditional temporal memory algorithms like RNN and HMM. Experimental results demonstrate that DHTM outperforms LSTM and a biologically inspired HMM-like algorithm, CSCG, in the case of non-stationary datasets. Our findings suggest that DHTM is a promising approach for addressing the challenges of online sequence learning and planning in dynamic environments.


title: Continuous Transition Between Weak and Strong Thermalization using Rigorous Bounds on Equilibration of Isolated Systems

abstract: We analyze strong and weak thermalization regimes from a perspective of rigorous mathematical upper bounds on the equilibration of isolated quantum systems. We show that weak equilibration can be understood to be due to the small effective dimension of the initial state. Furthermore, analyzing the scaling of an upper bound on the fluctuations, we show that the observable fluctuations decay exponentially with the system size for both weak and strong thermalization indicating no sharp transitions between these two regimes.


title: Optimal Best Arm Identification with Fixed Confidence in Restless Bandits

abstract: We study best arm identification in a restless multi-armed bandit setting with finitely many arms. The discrete-time data generated by each arm forms a homogeneous Markov chain taking values in a common, finite state space. The state transitions in each arm are captured by an ergodic transition probability matrix (TPM) that is a member of a single-parameter exponential family of TPMs. The real-valued parameters of the arm TPMs are unknown and belong to a given space. Given a function $f$ defined on the common state space of the arms, the goal is to identify the best arm -- the arm with the largest average value of $f$ evaluated under the arm's stationary distribution -- with the fewest number of samples, subject to an upper bound on the decision's error probability (i.e., the fixed-confidence regime). A lower bound on the growth rate of the expected stopping time is established in the asymptote of a vanishing error probability. Furthermore, a policy for best arm identification is proposed, and its expected stopping time is proved to have an asymptotic growth rate that matches the lower bound. It is demonstrated that tracking the long-term behavior of a certain Markov decision process and its state-action visitation proportions are the key ingredients in analyzing the converse and achievability bounds. It is shown that under every policy, the state-action visitation proportions satisfy a specific approximate flow conservation constraint and that these proportions match the optimal proportions dictated by the lower bound under any asymptotically optimal policy. The prior studies on best arm identification in restless bandits focus on independent observations from the arms, rested Markov arms, and restless Markov arms with known arm TPMs. In contrast, this work is the first to study best arm identification in restless bandits with unknown arm TPMs.


title: POSQA: Probe the World Models of LLMs with Size Comparisons

abstract: Embodied language comprehension emphasizes that language understanding is not solely a matter of mental processing in the brain but also involves interactions with the physical and social environment. With the explosive growth of Large Language Models (LLMs) and their already ubiquitous presence in our daily lives, it is becoming increasingly necessary to verify their real-world understanding. Inspired by cognitive theories, we propose POSQA: a Physical Object Size Question Answering dataset with simple size comparison questions to examine the extremity and analyze the potential mechanisms of the embodied comprehension of the latest LLMs. We show that even the largest LLMs today perform poorly under the zero-shot setting. We then push their limits with advanced prompting techniques and external knowledge augmentation. Furthermore, we investigate whether their real-world comprehension primarily derives from contextual information or internal weights and analyse the impact of prompt formats and report bias of different objects. Our results show that real-world understanding that LLMs shaped from textual data can be vulnerable to deception and confusion by the surface form of prompts, which makes it less aligned with human behaviours.


title: Cache me if you Can: an Online Cost-aware Teacher-Student framework to Reduce the Calls to Large Language Models

abstract: Prompting Large Language Models (LLMs) performs impressively in zero- and few-shot settings. Hence, small and medium-sized enterprises (SMEs) that cannot afford the cost of creating large task-specific training datasets, but also the cost of pretraining their own LLMs, are increasingly turning to third-party services that allow them to prompt LLMs. However, such services currently require a payment per call, which becomes a significant operating expense (OpEx). Furthermore, customer inputs are often very similar over time, hence SMEs end-up prompting LLMs with very similar instances. We propose a framework that allows reducing the calls to LLMs by caching previous LLM responses and using them to train a local inexpensive model on the SME side. The framework includes criteria for deciding when to trust the local model or call the LLM, and a methodology to tune the criteria and measure the tradeoff between performance and cost. For experimental purposes, we instantiate our framework with two LLMs, GPT-3.5 or GPT-4, and two inexpensive students, a k-NN classifier or a Multi-Layer Perceptron, using two common business tasks, intent recognition and sentiment analysis. Experimental results indicate that significant OpEx savings can be obtained with only slightly lower performance.


title: RL-X: A Deep Reinforcement Learning Library (not only) for RoboCup

abstract: This paper presents the new Deep Reinforcement Learning (DRL) library RL-X and its application to the RoboCup Soccer Simulation 3D League and classic DRL benchmarks. RL-X provides a flexible and easy-to-extend codebase with self-contained single directory algorithms. Through the fast JAX-based implementations, RL-X can reach up to 4.5x speedups compared to well-known frameworks like Stable-Baselines3.


title: Equivariant Deep Weight Space Alignment

abstract: Permutation symmetries of deep networks make basic operations like model merging and similarity estimation challenging. In many cases, aligning the weights of the networks, i.e., finding optimal permutations between their weights, is necessary. Unfortunately, weight alignment is an NP-hard problem. Prior research has mainly focused on solving relaxed versions of the alignment problem, leading to either time-consuming methods or sub-optimal solutions. To accelerate the alignment process and improve its quality, we propose a novel framework aimed at learning to solve the weight alignment problem, which we name Deep-Align. To that end, we first prove that weight alignment adheres to two fundamental symmetries and then, propose a deep architecture that respects these symmetries. Notably, our framework does not require any labeled data. We provide a theoretical analysis of our approach and evaluate Deep-Align on several types of network architectures and learning setups. Our experimental results indicate that a feed-forward pass with Deep-Align produces better or equivalent alignments compared to those produced by current optimization algorithms. Additionally, our alignments can be used as an effective initialization for other methods, leading to improved solutions with a significant speedup in convergence.


title: OpenAnnotate3D: Open-Vocabulary Auto-Labeling System for Multi-modal 3D Data

abstract: In the era of big data and large models, automatic annotating functions for multi-modal data are of great significance for real-world AI-driven applications, such as autonomous driving and embodied AI. Unlike traditional closed-set annotation, open-vocabulary annotation is essential to achieve human-level cognition capability. However, there are few open-vocabulary auto-labeling systems for multi-modal 3D data. In this paper, we introduce OpenAnnotate3D, an open-source open-vocabulary auto-labeling system that can automatically generate 2D masks, 3D masks, and 3D bounding box annotations for vision and point cloud data. Our system integrates the chain-of-thought capabilities of Large Language Models (LLMs) and the cross-modality capabilities of vision-language models (VLMs). To the best of our knowledge, OpenAnnotate3D is one of the pioneering works for open-vocabulary multi-modal 3D auto-labeling. We conduct comprehensive evaluations on both public and in-house real-world datasets, which demonstrate that the system significantly improves annotation efficiency compared to manual annotation while providing accurate open-vocabulary auto-annotating results.


title: Single-Molecule Morphology of Topologically Digested Olympic Networks

abstract: The kinetoplast DNA (kDNA) is the archetype of a two-dimensional Olympic network, composed of thousands of DNA minicircles and found in the mitochondrion of certain parasites. The evolution, replication and self-assembly of this structure are fascinating open questions in biology that can also inform us how to realise synthetic Olympic networks in vitro. To obtain a deeper understanding of the structure and assembly of kDNA networks, we sequenced the Crithidia fasciculata kDNA genome and performed high-resolution Atomic Force Microscopy (AFM) and analysis of kDNA networks that had been partially digested by selected restriction enzymes. We discovered that these topological perturbations lead to networks with significantly different geometrical features and morphologies with respect to the unperturbed kDNA, and that these changes are strongly dependent on the class of DNA circles targeted by the restriction enzymes. Specifically, cleaving maxicircles leads to a dramatic reduction in network size once adsorbed onto the surface, whilst cleaving both maxicircles and a minor class of minicircles yields non-circular and deformed structures. We argue that our results are a consequence of a precise positioning of the maxicircles at the boundary of the network, and we discuss our findings in the context of kDNA biogenesis, design of artificial Olympic networks and detection of in vivo perturbations.


title: Malliavin differentiability of McKean-Vlasov SDEs with locally Lipschitz coefficients

abstract: In this small note, we establish Malliavin differentiability of McKean-Vlasov Stochastic Differential Equations (MV-SDEs) with drifts satisfying both a locally Lipschitz and a one-sided Lipschitz assumption, and where the diffusion coefficient is assumed to be uniformly Lipschitz in its variables. As a secondary contribution, we investigate how Malliavin differentiability transfers across to the interacting particle system associated with the McKean-Vlasov equation to its limiting equation. This final result requires both spatial and measure differentiability of the coefficients and doubles as a standalone result of independent interest since the study of Malliavin derivatives of weakly interacting particle systems seems novel to the literature.


title: Cosmic variance suppression in radiation-hydrodynamic modeling of the reionization-era 21-cm signal

abstract: The 21-cm line emitted by neutral hydrogen is the most promising probe of the Epoch of Reionization (EoR). Multiple radio interferometric instruments are on the cusp of detecting its power spectrum. It is therefore essential to deliver robust theoretical predictions, enabling sound inference of the coeval Universe properties. The nature of this signal traditionally required the modelling of $\mathcal{O}(10^{7-8} \, {\rm Mpc}^3)$ volumes to suppress the impact of cosmic variance. However, the recently-proposed Fixed & Paired (F&P) approach uses carefully-crafted simulation pairs to achieve equal results in smaller volumes. In this work, we thoroughly test the applicability of and improvement granted by this technique to different observables of the 21-cm signal from the EoR. We employ radiation-magneto-hydrodynamics simulations to ensure the most realistic physical description of this epoch, greatly improving over previous studies using a semi-numerical approach without accurate galaxy formation physics and radiative transfer. We estimate the statistical improvement granted by the F&P technique on predictions of the skewness, power spectrum, bispectrum and ionized regions size distribution of the 21-cm signal at redshift $7 \leq z \leq 10$ (corresponding to $\geq80\%$ of the gas being neutral). We find that the effective volume of F&P simulations is at least 3.5 times larger than traditional simulations. This directly translates into an equal improvement in the computational cost (in terms of time and memory). Finally, we confirm that a combination of different observables like skewness, power spectrum and bispectrum across different redshifts can be utilised to maximise the improvement.


title: Calibrating Neural Simulation-Based Inference with Differentiable Coverage Probability

abstract: Bayesian inference allows expressing the uncertainty of posterior belief under a probabilistic model given prior information and the likelihood of the evidence. Predominantly, the likelihood function is only implicitly established by a simulator posing the need for simulation-based inference (SBI). However, the existing algorithms can yield overconfident posteriors (Hermans *et al.*, 2022) defeating the whole purpose of credibility if the uncertainty quantification is inaccurate. We propose to include a calibration term directly into the training objective of the neural model in selected amortized SBI techniques. By introducing a relaxation of the classical formulation of calibration error we enable end-to-end backpropagation. The proposed method is not tied to any particular neural model and brings moderate computational overhead compared to the profits it introduces. It is directly applicable to existing computational pipelines allowing reliable black-box posterior inference. We empirically show on six benchmark problems that the proposed method achieves competitive or better results in terms of coverage and expected posterior density than the previously existing approaches.


title: BRFL: A Blockchain-based Byzantine-Robust Federated Learning Model

abstract: With the increasing importance of machine learning, the privacy and security of training data have become critical. Federated learning, which stores data in distributed nodes and shares only model parameters, has gained significant attention for addressing this concern. However, a challenge arises in federated learning due to the Byzantine Attack Problem, where malicious local models can compromise the global model's performance during aggregation. This article proposes the Blockchain-based Byzantine-Robust Federated Learning (BRLF) model that combines federated learning with blockchain technology. This integration enables traceability of malicious models and provides incentives for locally trained clients. Our approach involves selecting the aggregation node based on Pearson's correlation coefficient, and we perform spectral clustering and calculate the average gradient within each cluster, validating its accuracy using local dataset of the aggregation nodes. Experimental results on public datasets demonstrate the superior byzantine robustness of our secure aggregation algorithm compared to other baseline byzantine robust aggregation methods, and proved our proposed model effectiveness in addressing the resource consumption problem.


title: Definition-independent Formalization of Soundscapes: Towards a Formal Methodology

abstract: Soundscapes have been studied by researchers from various disciplines, each with different perspectives, goals, approaches, and terminologies. Accordingly, depending on the field, the concept of a soundscape's components changes, consequently changing the basic definition. This results in complicating interdisciplinary communication and comparison of results. Especially when soundscape-unrelated research areas are involved. For this reason, we present a potential formalization that is independent of the underlying soundscape definition, with the goal of being able to capture the heterogeneous structure of the data as well as the different ideologies in one model. In an exemplary analysis of frequency correlation matrices for land use type detection as an alternative to features like MFCCs, we show a practical application of our presented formalization.


title: Cosmological Inference using Gravitational Waves and Normalising Flows

abstract: We present a machine learning approach using normalising flows for inferring cosmological parameters from gravitational wave events. Our methodology is general to any type of compact binary coalescence event and cosmological model and relies on the generation of training data representing distributions of gravitational wave event parameters. These parameters are conditional on the underlying cosmology and incorporate prior information from galaxy catalogues. We provide an example analysis inferring the Hubble constant using binary black holes detected during the O1, O2, and O3 observational runs conducted by the advanced LIGO/VIRGO gravitational wave detectors. We obtain a Bayesian posterior on the Hubble constant from which we derive an estimate and 1$\sigma$ confidence bounds of $H_{0} = 74.51^{+14.80}_{-13.63} \: \text{km} \:\text{s}^{-1} \text{Mpc}^{-1}$. We are able to compute this result in $\mathcal{O}(1)$ s using our trained Normalising Flow model.


title: A caustic terminating at an inflection point

abstract: We present an asymptotic and numerical study of the evolution of an incoming wavefield which has a caustic close to a curve with an inflection point. Our results reveal the emergence of a wavefield which resembles that of a shadow boundary but has a maximum amplitude along the tangent at the inflection point.


title: Preserving your skies since 1988 -- Committee on Radio Astronomy Frequencies (CRAF) -- Periodic Review 2011-2021

abstract: The Committee on Radio Astronomy Frequencies (CRAF) is an Expert Committee of the European Science Foundation. It aims to provide a cost-effective single voice on frequency protection issues for European radio astronomy observatories and research institutes, achieving a significantly greater impact than that achievable by individual national institutions. By working together, European observatories and institutes can profit from synergy effects, cover many more topics, and learn from each other. CRAF was founded in 1988 and has since then been engaged with the International Telecommunication Union (ITU), in particular its Radiocommunication Sector (ITU-R), and the European Conference of Postal and Telecommunications Administrations (CEPT) and its European Communications Committee (ECC). This is the self-evaluation report prepared by CRAF for its periodic review of the years 2011-2021.


title: Distribution of rational points on random Fano hypersurfaces

abstract: We prove an asymptotic formula for the average number of rational points on Fano hypersurfaces that are contained in a small ball centered at a given adelic point. We also prove an asymptotic formula for the number of hypersurfaces admitting adelic points that are contained in a small ball.


title: Explicit Alignment and Many-to-many Entailment Based Reasoning for Conversational Machine Reading

abstract: Conversational Machine Reading (CMR) requires answering a user's initial question through multi-turn dialogue interactions based on a given document. Although there exist many effective methods, they largely neglected the alignment between the document and the user-provided information, which significantly affects the intermediate decision-making and subsequent follow-up question generation. To address this issue, we propose a pipeline framework that (1) aligns the aforementioned two sides in an explicit way, (2)makes decisions using a lightweight many-to-many entailment reasoning module, and (3) directly generates follow-up questions based on the document and previously asked questions. Our proposed method achieves state-of-the-art in micro-accuracy and ranks the first place on the public leaderboard of the CMR benchmark dataset ShARC.


title: High and low perturbations of the critical Choquard equation on the Heisenberg group

abstract: We study the following critical Choquard equation on the Heisenberg group: \begin{equation*} \begin{cases} \displaystyle {-\Delta_H u }={\mu} |u|^{q-2}u+\int_{\Omega} \frac{|u(\eta)|^{Q_{\lambda}^{\ast}}} {|\eta^{-1}\xi|^{\lambda}} d\eta|u|^{Q_{\lambda}^{\ast}-2}u &\mbox{in }\ \Omega, u=0 &\mbox{on }\ \partial\Omega, \end{cases} \end{equation*} where $\Omega\subset \mathbb{H}^N$ is a smooth bounded domain, $\Delta_H$ is the Kohn-Laplacian on the Heisenberg group $\mathbb{H}^N$, $1<q<2$ or $2<q<Q_\lambda^\ast$, $\mu>0$, $0<\lambda<Q=2N+2$, and $Q_{\lambda}^{\ast}=\frac{2Q-\lambda}{Q-2}$ is the critical exponent. Using the concentration compactness principle and the critical point theory, we prove that the above problem has the least two positive solutions for $1<q<2$ in the case of low perturbations (small values of $\mu$), and has a nontrivial solution for $2<q<Q_\lambda^\ast$ in the case of high perturbations (large values of $\mu$). Moreover, for $1<q<2$, we also show that there is a positive ground state solution, and for $2<q<Q_\lambda^\ast$, there are at least $n$ pairs of nontrivial weak solutions.


title: Towards Enhancing Relational Rules for Knowledge Graph Link Prediction

abstract: Graph neural networks (GNNs) have shown promising performance for knowledge graph reasoning. A recent variant of GNN called progressive relational graph neural network (PRGNN), utilizes relational rules to infer missing knowledge in relational digraphs and achieves notable results. However, during reasoning with PRGNN, two important properties are often overlooked: (1) the sequentiality of relation composition, where the order of combining different relations affects the semantics of the relational rules, and (2) the lagged entity information propagation, where the transmission speed of required information lags behind the appearance speed of new entities. Ignoring these properties leads to incorrect relational rule learning and decreased reasoning accuracy. To address these issues, we propose a novel knowledge graph reasoning approach, the Relational rUle eNhanced Graph Neural Network (RUN-GNN). Specifically, RUN-GNN employs a query related fusion gate unit to model the sequentiality of relation composition and utilizes a buffering update mechanism to alleviate the negative effect of lagged entity information propagation, resulting in higher-quality relational rule learning. Experimental results on multiple datasets demonstrate the superiority of RUN-GNN is superior on both transductive and inductive link prediction tasks.


title: Direct evidence of helium rain in Jupiter and Saturn

abstract: The immiscibility of hydrogen-helium mixture under the temperature and pressure conditions of planetary interiors is crucial for understanding the structures of gas giant planets (e.g., Jupiter and Saturn). While the experimental probe at such extreme conditions is challenging, theoretical simulation is heavily relied in an effort to unravel the mixing behavior of hydrogen and helium. Here we develop a method via a machine learning accelerated molecular dynamics simulation to quantify the physical separation of hydrogen and helium under the conditions of planetary interiors. The immiscibility line achieved with the developed method yields substantially higher demixing temperatures at pressure above 1.5 Mbar than earlier theoretical data, but matches better to the experimental estimate. Our results revise the structures of Jupiter and Saturn where H-He demixing takes place in a large fraction of the interior radii, i.e., 27.5% in Jupiter and 48.3% in Saturn. This direct evidence of an H-He immiscible layer supports the formation of helium rain and explains the helium reduction in atmosphere of Jupiter and Saturn.


title: Scoped and Typed Staging by Evaluation

abstract: Using a dependently typed host language, we give a well scoped-and-typed by construction presentation of a minimal two level simply typed calculus with a static and a dynamic stage. The staging function partially evaluating the part of a term that are static is obtained by a model construction inspired by normalisation by evaluation. We then go on to demonstrate how this minimal language can be extended to provide additional metaprogramming capabilities, and to define a higher order functional language evaluating to digital circuit descriptions.


title: Imaging detection of the inner dust belt and the four exoplanets in the HR8799 system with JWST's MIRI coronagraph

abstract: The multi planet system HR8799 is the first target observed with MIRI's coronagraphs as part of the MIRI-EC Guaranteed Time Observations exoplanets programme in Nov. 2022. We obtained deep observations in three coronagraphic filters from 10 to 15mic (F1065C, F1140C, F1550C), and one standard imaging filter at 20 mic (F2100W), with the goal to extract the photometry of the four planets, as well as to detect and investigate the distribution of circumstellar dust. Using dedicated observations of a reference star, we tested several algorithms to subtract the stellar diffraction pattern while preserving the fluxes of planets, which can be significantly affected by over-subtraction. Measuring correctly the planet's flux values requires accounting for the attenuation by the coronagraphs as a function of their position, and to estimate the normalisation with respect to the central star. We tested several procedures to derive averaged photometric values and error bars. These observations have enabled us to obtain two main results. First of all, the four planets in the system are well recovered, and their mid-IR fluxes, combined with near-IR flux values from the literature, are compared to two exoplanet atmosphere models, ATMO and Exo-REM. As a main outcome, the MIRI photometric data points imply larger radii (0.86 or 1.07 RJ for planet b) and cooler temperatures (950 or 1100 K for planet b), especially for planet b, in better agreement with evolutionary models. Second of all, these JWST/MIRI coronagraphic data also deliver the first spatially resolved detection of the inner warm debris disk, the radius of which is constrained to about 15 au, with flux densities comparable, but lower than former unresolved spectroscopic measurements with Spitzer. abridged...


title: Secure Event-Triggered Control for Vehicle Platooning in the Presence of Modification Attacks

abstract: This paper addresses the problem of achieving secure consensus in a vehicular platoon using event-triggered control. The platoon consists of a leader and multiple follower vehicles exchanging their position and velocity information discretely to maintain stability. The paper focuses on the issue of gain modification attacks, where a malicious actor attempts to alter the controller gains to destabilize the platoon. To tackle this problem, the paper proposes a resilient event-triggered control scheme that ensures secure consensus while considering constraints on the duration and frequency of attacks. The paper also introduces an attack mitigation strategy through a topology-switching procedure, which is employed when the attack frequency and duration constraints are not met. First, sufficient consensus conditions for distributed static and dynamic event-triggered control schemes are derived under sequential gain modification attacks. The impact of the system matrices and triggering parameters on the attack constraints is also discussed. Second, the paper derives conditions to broaden the range of controller gain stability using the Schur stability criterion to mitigate attacks and maintain platoon stability. Finally, the effectiveness of the proposed methodology is demonstrated through simulation scenarios in various case studies.


title: Study of the Energetic X-ray Superflares from the active fast rotator AB Doradus

abstract: We present the analyses of intense X-ray flares detected on the active fast rotator AB Dor using observations from the XMM-Newton. A total of 21 flares are detected, and 13 flares are analysed in detail. The total X-ray energy of these flares is found to be in the range of 10$^{34-36}$ erg, in which the peak flare flux increased up to 34 times from the pre-/post-flaring states for the strongest observed flare. The duration of these flaring events is found to be 0.7 to 5.8 hrs. The quiescent state X-ray spectra are found to be explained by a three-temperature plasma with average temperatures of 0.29, 0.95, and 1.9 keV, respectively. The temperatures, emission measures, and abundances are found to be varying during the flares. The peak flare temperature was found in the 31-89 MK range, whereas the peak emission measure was 10$^{52.5-54.7}$ $cm^{-3}$. The abundances vary during the flares and increase by a factor of $\sim$3 from the quiescent value for the strongest detected flare. The variation in individual abundances follows the inverse-FIP effect in quiescent and flare phases. The X-ray light curves of AB Dor are found to exhibit rotational modulation. The semi-loop lengths of the flaring events are derived in the range of 10$^{9.9-10.7}$ cm, whereas the minimum magnetic field to confine the plasma in the flaring loop is estimated between 200 and 700 G.


title: The role of stacking on the electronic structure of MoSe2 at small twist angles

abstract: We consider two high symmetry stackings AA and AB and examine the changes induced in the electronic structure by considering small angles of rotation of 3.48degrees from both these stackings. In both cases we largely recover the low energy electronic structure of the untwisted limit. We additionally find flat bands emerging above the dispersing bands. Surprisingly, while the rotation from the AA end leads to one flat band above the highest occupied band at {\Gamma}, one finds two flat bands emerging for small rotations from the AB end. Examining the real space localization of the flat bands allows us to discuss the origin of the flat bands in terms of quantum well states and qualitatively understand the dependence of the number of flat bands found on the twist angle.


title: GenDistiller: Distilling Pre-trained Language Models based on Generative Models

abstract: Self-supervised pre-trained models such as HuBERT and WavLM leverage unlabeled speech data for representation learning and offer significantly improve for numerous downstream tasks. Despite the success of these methods, their large memory and strong computational requirements hinder their application on resource restricted devices. Therefore, this paper introduces GenDistiller, a novel knowledge distillation framework to distill hidden representations from teacher network based on generative language model. The generative structure enables the proposed model to generate the target teacher hidden layers autoregressively, considering the interactions between hidden layers without instroducing additional inputs. A two-dimensional attention mechanism is implemented to ensure the causality of hidden layers, while preserving bidirectional attention in the time dimension. Experiments reveal the advantage of the generative distiller over the baseline system that predicts the hidden layers of teacher network directly without a generatvie model.


title: Low Cross-Talk Optical Addressing of Trapped-Ion Qubits Using a Novel Integrated Photonic Chip

abstract: Individual optical addressing in chains of trapped atomic ions requires generation of many small, closely spaced beams with low cross-talk. Furthermore, implementing parallel operations necessitates phase, frequency, and amplitude control of each individual beam. Here we present a scalable method for achieving all of these capabilities using a novel integrated photonic chip coupled to a network of optical fibre components. The chip design results in very low cross-talk between neighbouring channels even at the micrometre-scale spacing by implementing a very high refractive index contrast between the channel core and cladding. Furthermore, the photonic chip manufacturing procedure is highly flexible, allowing for the creation of devices with an arbitrary number of channels as well as non-uniform channel spacing at the chip output. We present the system used to integrate the chip within our ion trap apparatus and characterise the performance of the full individual addressing setup using a single trapped ion as a light-field sensor. Our measurements showed intensity cross-talk below $10^{-3}$ across the chip, with minimum observed cross-talk as low as $O\left(10^{-5}\right)$.


title: Conversation Chronicles: Towards Diverse Temporal and Relational Dynamics in Multi-Session Conversations

abstract: In the field of natural language processing, open-domain chatbots have emerged as an important research topic. However, a major limitation of existing open-domain chatbot research is its singular focus on short single-session dialogue, neglecting the potential need for understanding contextual information in multiple consecutive sessions that precede an ongoing dialogue. Among the elements that compose the context in multi-session conversation settings, the time intervals between sessions and the relationships between speakers would be particularly important. Despite their importance, current research efforts have not sufficiently addressed these dialogical components. In this paper, we introduce a new 1M multi-session dialogue dataset, called Conversation Chronicles, for implementing a long-term conversation setup in which time intervals and fine-grained speaker relationships are incorporated. Following recent works, we exploit a large language model to produce the data. The extensive human evaluation shows that dialogue episodes in Conversation Chronicles reflect those properties while maintaining coherent and consistent interactions across all the sessions. We also propose a dialogue model, called ReBot, which consists of chronological summarization and dialogue generation modules using only around 630M parameters. When trained on Conversation Chronicles, ReBot demonstrates long-term context understanding with a high human engagement score.


title: Tensorized Pauli decomposition algorithm

abstract: This paper introduces a novel general-purpose algorithm for Pauli decomposition that employs matrix slicing and addition rather than expensive matrix multiplication, significantly accelerating the decomposition of multi-qubit matrices. In a detailed complexity analysis, we show that the algorithm admits the best known worst-case scaling and more favorable runtimes for many practical examples. Numerical experiments are provided to validate the asymptotic speed-up already for small instance sizes, underscoring the algorithm's potential significance in the realm of quantum computing and quantum chemistry simulations.


title: Soundness does not come for free (if at all)

abstract: We respond to some of the points made by Bennet and Blanck (2022) concerning a previous publication of ours (2021).


title: Reply to Comment on "Dark matter as a Weyl geometric effect"

abstract: In a recent Comment on the paper "Dark matter as a Weyl geometric effect", by Burikham et al., Phys. Rev. D 107, 064008 (2023), posted on arxiv. org as eprint arXiv:2306.11926, it was claimed that the exact solution found in the above mentioned paper by Burikham et al. "is wrong". In this Reply to the Comment we present, in a clear and comprehensive way, a step by step derivation of the exact solution of the vacuum static spherically symmetric field equations of the Weyl geometric gravity theory, and we show that, contrary to the claims in arXiv:2306.11926, the obtained solution is correct, and it satisfies all the equations of motion of the basic theory. Hence, it can be considered as a viable alternative model for the explanation of the behavior of the galactic rotation curves, without invoking the presence of dark matter.


title: FLTracer: Accurate Poisoning Attack Provenance in Federated Learning

abstract: Federated Learning (FL) is a promising distributed learning approach that enables multiple clients to collaboratively train a shared global model. However, recent studies show that FL is vulnerable to various poisoning attacks, which can degrade the performance of global models or introduce backdoors into them. In this paper, we first conduct a comprehensive study on prior FL attacks and detection methods. The results show that all existing detection methods are only effective against limited and specific attacks. Most detection methods suffer from high false positives, which lead to significant performance degradation, especially in not independent and identically distributed (non-IID) settings. To address these issues, we propose FLTracer, the first FL attack provenance framework to accurately detect various attacks and trace the attack time, objective, type, and poisoned location of updates. Different from existing methodologies that rely solely on cross-client anomaly detection, we propose a Kalman filter-based cross-round detection to identify adversaries by seeking the behavior changes before and after the attack. Thus, this makes it resilient to data heterogeneity and is effective even in non-IID settings. To further improve the accuracy of our detection method, we employ four novel features and capture their anomalies with the joint decisions. Extensive evaluations show that FLTracer achieves an average true positive rate of over $96.88\%$ at an average false positive rate of less than $2.67\%$, significantly outperforming SOTA detection methods. \footnote{Code is available at \url{https://github.com/Eyr3/FLTracer}.}


title: An overview of optimization approaches for scheduling and rostering resources in public transportation

abstract: Public transport is vital for meeting people's mobility needs. Providers need to plan their services well to offer high quality and low cost. Optimized planning can benefit providers, customers, and municipalities. The planning process for public transport involves various decision problems, such as vehicle and crew planning. These problems are usually solved by providers. More and more studies suggest that integrated solution approaches for these problems are better than sequential and iterative ones. Integrated optimization of multiple planning phases allows more flexibility in planning, which can reduce operational costs and improve service quality. This paper reviews solution approaches for integrated optimization using operations research techniques for the vehicle scheduling, crew scheduling, and crew rostering problems. It also covers some relevant related approaches from other industries. The paper analyzes existing optimization approaches based on different aspects such as mathematical modeling, optimization objective and method, and data source and scope. Moreover, the paper examines the problem dimensions that are often required in practical applications. The paper identifies some directions for future research, such as focusing more on objectives other than cost-minimization like robustness, schedule regularity, or fairness.


title: Equilibrium in solid-state electrochemical cells at sample-electrolyte boundary

abstract: In solid-state electrochemical experiments, the boundary between the sample and the electrolyte plays a crucial role, and the rest of the sample acting as a buffer that maintains a fixed composition. Due to the presence of an electrochemical circuit in the cell (ionic conductivity in the electrolyte and electronic conductivity in the sample system), the chemical potential is equalized at the electrolyte-sample boundary. This leads to an equilibrium state and allows for the measurement of equilibrium values, regardless of the assumptions made by the experimenters. This article demonstrates the principle of equalizing the electrochemical potential at the electrolyte-sample interface, which explains why achieving equilibrium in the presence of an electrolyte can occur much faster compared to sample synthesis, which often occurs at higher temperatures. This fact can be used to synthesize sample systems or other substances at the required temperatures with a significant reduction in synthesis time.


title: Baker-Beynon duality beyond semisimplicity

abstract: Combining tools from category theory, model theory, and non-standard analysis we extend Baker-Beynon dualities to the classes of all Abelian $\ell$-groups and all Riesz spaces (also known as vector lattices). The extended dualities have a strong geometrical flavor, as they involve a non-standard version of the category of polyhedral cones and piecewise (homogeneous) linear maps between them. We further show that our dualities are induced by the functor $\mathtt{Spec}$, once it is understood how to endow it with "coordinates" in some ultrapower $\mathcal{U}$ of $\mathbb{R}$. This also allows us to characterize the topological spaces arising as spectra of Abelian $\ell$-groups and Riesz spaces as certain subspaces of $\mathcal{U}^{\kappa}$ endowed with the Zariski topology given by definable functions in their respective languages. Furthermore, we provide some applications of the extended duality by characterizing, in geometrical terms, semisimplicity, Archimedeanity, and the existence of weak and strong order-units. Finally, we show that our dualities afford a neat and simpler proof of Panti's celebrated characterization of the prime ideals in free Abelian $\ell$-groups and Riesz spaces.


title: Alpha-decay from $^{44}$Ti: A study of the microscopic clusterization

abstract: Microscopic determination of alpha-decay half-lives requires structure and reaction calculations. The structure part is given by the microscopic distribution of the constituent nucleons, while the relative motion of the product's decay provides the reaction part. This paper studies the clusterization of the $0^+$ excited states of $^{44}$Ti arising from the nucleonic degrees of freedom. The continuum spectra of proton and neutron are incorporated through the Gamow Shell Model formalism. The alpha-like wave function is calculated in the weak-coupling approximation. Gaussian effective interaction in each pair of nucleons is included. The $0^+$ ground and excited states are compared with experiment and shell model calculations. The wave function amplitudes are obtained and discriminated by their resonant and non-resonant contributions. The influence of a four-body truncated basis is analyzed. Inclusion of the continuum spectra produces a gain in the excited states of a few hundred keV of energy. One candidate for alpha decay was identified near the experimental unresolved state $(0,2)^+$ of 6.8 MeV excitation energy, with a lower limit for the half-life of $\approx 0.8$ ns.


title: Harmonic embeddings of the stretched Siepinski gasket

abstract: P. Alonso-Ruiz, U. Freiberg and J. Kigami have defined a large family of resistance forms on the Stretched Sierpinski Gasket $G$. In the present paper we introduce a system of coordinates on $G$ (technically, an embedding of $G$ into $\R^2$) such that \noindent$\bullet$) these forms are defined on $C^1(\R^2,\R)$ and \noindent$\bullet$) all affine functions are harmonic for them. We do this adapting a standard method from the Harmonic Sierpinski Gasket: we start finding a sequence $G_l$ of pre-fractals such that all affine functions are harmonic on $G_l$. After showing that this property is inherited by the stretched harmonic gasket $G$, we use the formula for the Laplacian of a composition to prove that, for a natural measure $\mu$ on $G$, $C^2(\R^2,\R)\subset\dc(\Delta)$ and Teplyaev's formula for the Laplacian of $C^2$ functions holds. Lastly, we use the expression for $\Delta u$ to show that the form we have found is closable in $L^2(G,\mu)$.


title: HRTF Interpolation using a Spherical Neural Process Meta-Learner

abstract: Several individualization methods have recently been proposed to estimate a subject's Head-Related Transfer Function (HRTF) using convenient input modalities such as anthropometric measurements or pinnae photographs. There exists a need for adaptively correcting the estimation error committed by such methods using a few data point samples from the subject's HRTF, acquired using acoustic measurements or perceptual feedback. To this end, we introduce a Convolutional Conditional Neural Process meta-learner specialized in HRTF error interpolation. In particular, the model includes a Spherical Convolutional Neural Network component to accommodate the spherical geometry of HRTF data. It also exploits potential symmetries between the HRTF's left and right channels about the median axis. In this work, we evaluate the proposed model's performance purely on time-aligned spectrum interpolation grounds under a simplified setup where a generic population-mean HRTF forms the initial estimates prior to corrections instead of individualized ones. The trained model achieves up to 3 dB relative error reduction compared to state-of-the-art interpolation methods despite being trained using only 85 subjects. This improvement translates up to nearly a halving of the data point count required to achieve comparable accuracy, in particular from 50 to 28 points to reach an average of -20 dB relative error per interpolated feature. Moreover, we show that the trained model provides well-calibrated uncertainty estimates. Accordingly, such estimates can inform the sequential decision problem of acquiring as few correcting HRTF data points as needed to meet a desired level of HRTF individualization accuracy.


title: Stabilization of associated prime ideals of monomial ideals -- Bounding the copersistence index

abstract: The sequence $(\operatorname{Ass}(R/I^n))_{n\in\mathbb{N}}$ of associated primes of powers of a monomial ideal $I$ in a polynomial ring $R$ eventually stabilizes by a known result by Markus Brodmann. L\^e Tu\^an Hoa gives an upper bound for the index where the stabilization occurs. This bound depends on the generators of the ideal and is obtained by separately bounding the powers of $I$ after which said sequence is non-decreasing and non-increasing, respectively. In this paper, we focus on the latter and call the smallest such number the copersistence index. We take up the proof idea of L\^e Tu\^an Hoa, who exploits a certain system of inequalities whose solution sets store information about the associated primes of powers of $I$. However, these proofs are entangled with a specific choice for the system of inequalities. In contrast to that, we present a generic ansatz to obtain an upper bound for the copersistence index that is uncoupled from this choice of the system. We establish properties for a system of inequalities to be eligible for this approach to work. We construct two suitable inequality systems to demonstrate how this ansatz yields upper bounds for the copersistence index and compare them with Hoa's.