title: HoTPP Benchmark: Are We Good at the Long Horizon Events Forecasting?

abstract: In sequential event prediction, which finds applications in finance, retail, social networks, and healthcare, a crucial task is forecasting multiple future events within a specified time horizon. Traditionally, this has been addressed through autoregressive generation using next-event prediction models, such as Marked Temporal Point Processes. However, autoregressive methods use their own output for future predictions, potentially reducing quality as the prediction horizon extends. In this paper, we challenge traditional approaches by introducing a novel benchmark, HoTPP, specifically designed to evaluate a model's ability to predict event sequences over a horizon. This benchmark features a new metric inspired by object detection in computer vision, addressing the limitations of existing metrics in assessing models with imprecise time-step predictions. Our evaluations on established datasets employing various models demonstrate that high accuracy in next-event prediction does not necessarily translate to superior horizon prediction, and vice versa. HoTPP aims to serve as a valuable tool for developing more robust event sequence prediction methods, ultimately paving the way for further advancements in the field.


title: Regularity properties and dispersive blow-up for the fifth order Korteweg-de Vries equation on the line

abstract: In this work we prove that the initial value problem (IVP) for the fifth order Korteweg-de Vries equation \begin{align*} \left. \begin{array}{rlr} u_t+\partial_x^5 u+u\partial_x u&\hspace{-2mm}=0,&\quad x\in\mathbb R,\; t>0,\\ u(x,0)&\hspace{-2mm}=u_0(x),& \end{array} \right\} \end{align*} has a unique local solution in time in the Bourgain spaces $X^{s,b}$ for appropriate values of $s$ and $b$. Besides we prove a regularity property concerning the nonlinear part of that solution. Finally, using the previous property we establish a dispersive blow-up result for global in time solutions of this IVP.


title: iWISDM: Assessing instruction following in multimodal models at scale

abstract: The ability to perform complex tasks from detailed instructions is a key to many remarkable achievements of our species. As humans, we are not only capable of performing a wide variety of tasks but also very complex ones that may entail hundreds or thousands of steps to complete. Large language models and their more recent multimodal counterparts that integrate textual and visual inputs have achieved unprecedented success in performing complex tasks. Yet, most existing benchmarks are largely confined to single-modality inputs (either text or vision), narrowing the scope of multimodal assessments, particularly for instruction-following in multimodal contexts. To bridge this gap, we introduce the instructed-Virtual VISual Decision Making (iWISDM) environment engineered to generate a limitless array of vision-language tasks of varying complexity. Using iWISDM, we compiled three distinct benchmarks of instruction following visual tasks across varying complexity levels and evaluated several newly developed multimodal models on these benchmarks. Our findings establish iWISDM as a robust benchmark for assessing the instructional adherence of both existing and emergent multimodal models and highlight a large gap between these models' ability to precisely follow instructions with that of humans.The code of iWISDM is available on GitHub at https://github.com/BashivanLab/iWISDM.


title: On the homogenization of a Signorini-type problem in a domain with inclusions

abstract: In this paper we investigate the effect of a Signorini-type interface condition on the asymptotic behaviour, as $\varepsilon$ tends to zero, of problems posed in $\varepsilon$-periodic domains with inclusions. The Signorini-type condition is expressed in terms of two complementary equalities involving the jump of the solution on the interface and its conormal derivative via a parameter $\gamma$. Our problem models the heat exchange in a medium hosting an $\varepsilon$-periodic array of thermal conductors in presence of impurities distributed on some regions of the interface. Different limit problems are obtained according to different values of $\gamma$.


title: Revisiting the static spherically symmetric solutions of gravity with a conformally coupled scalar

abstract: We revisit the static spherically symmetric solutions of Einstein's General Relativity with a conformally coupled scalar field in arbitrary dimensions. Using a four rank tensor introduced earlier we recast the field equations in a manifestly symmetric form to elucidate a somewhat less-known feature of dual mapping between solutions. We also show that there is a two-parameter subfamily of solutions which enjoy a duality symmetry and in four dimensions both the BBMB black hole and the Barcelo-Visser wormhole belong to this subfamily. Along the way, we rederive the full three-parameter family of solutions by direct integration of the field equations and a natural choice of ansatz which arguably has several advantages over other previously known methods.


title: Atomic Toposes with Co-Well-Founded Categories of Atoms

abstract: The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves on that site can be described in a similar fashion. We deduce that these toposes are locally finitely presentable. By applying this to the Malitz-Gregory atomic topos, we obtain a counter-example to the conjecture that every locally finitely presentable topos has enough points. We also work out a combinatorial property satisfied exactly when the sheaves for the atomic topology are the pullback-preserving functors. In this case, the category of atoms is particularly simple to describe.


title: $\nabla^2$DFT: A Universal Quantum Chemistry Dataset of Drug-Like Molecules and a Benchmark for Neural Network Potentials

abstract: Methods of computational quantum chemistry provide accurate approximations of molecular properties crucial for computer-aided drug discovery and other areas of chemical science. However, high computational complexity limits the scalability of their applications. Neural network potentials (NNPs) are a promising alternative to quantum chemistry methods, but they require large and diverse datasets for training. This work presents a new dataset and benchmark called $\nabla^2$DFT that is based on the nablaDFT. It contains twice as much molecular structures, three times more conformations, new data types and tasks, and state-of-the-art models. The dataset includes energies, forces, 17 molecular properties, Hamiltonian and overlap matrices, and a wavefunction object. All calculations were performed at the DFT level ($\omega$B97X-D/def2-SVP) for each conformation. Moreover, $\nabla^2$DFT is the first dataset that contains relaxation trajectories for a substantial number of drug-like molecules. We also introduce a novel benchmark for evaluating NNPs in molecular property prediction, Hamiltonian prediction, and conformational optimization tasks. Finally, we propose an extendable framework for training NNPs and implement 10 models within it.


title: Non-stabilizerness in kinetically-constrained Rydberg atom arrays

abstract: Non-stabilizer states are a fundamental resource for universal quantum computation. However,despite broad significance in quantum computing, the emergence of "many-body" non-stabilizerness in interacting quantum systems remains poorly understood due to its analytical intractability. Here we show that Rydberg atom arrays provide a natural reservoir of non-stabilizerness that extends beyond single qubits and arises from quantum correlations engendered by the Rydberg blockade. We demonstrate that this non-stabilizerness can be experimentally accessed in two complementary ways, either by performing quench dynamics or via adiabatic ground state preparation. Using the analytical framework based on matrix product states, we explain the origin of Rydberg nonstabilizerness via a quantum circuit decomposition of the wave function.


title: Can you trust your explanations? A robustness test for feature attribution methods

abstract: The increase of legislative concerns towards the usage of Artificial Intelligence (AI) has recently led to a series of regulations striving for a more transparent, trustworthy and accountable AI. Along with these proposals, the field of Explainable AI (XAI) has seen a rapid growth but the usage of its techniques has at times led to unexpected results. The robustness of the approaches is, in fact, a key property often overlooked: it is necessary to evaluate the stability of an explanation (to random and adversarial perturbations) to ensure that the results are trustable. To this end, we propose a test to evaluate the robustness to non-adversarial perturbations and an ensemble approach to analyse more in depth the robustness of XAI methods applied to neural networks and tabular datasets. We will show how leveraging manifold hypothesis and ensemble approaches can be beneficial to an in-depth analysis of the robustness.


title: A first-principles geometric model for dynamics of motor-driven centrosomal asters

abstract: The centrosomal aster is a mobile cellular organelle that exerts and transmits forces necessary for nuclear migration and spindle positioning. Recent experimental and theoretical studies of nematode and human cells demonstrate that pulling forces on asters by cortical force generators are dominant during such processes. We present a comprehensive investigation of a first-principles model of aster dynamics, the S-model (S for stoichiometry), based solely on such forces. The model evolves the astral centrosome position, a probability field of cell-surface motor occupancy by centrosomal microtubules (under an assumption of stoichiometric binding), and free boundaries of unattached, growing microtubules. We show how cell shape affects the centering stability of the aster, and its transition to oscillations with increasing motor number. Seeking to understand observations in single-cell nematode embryos, we use accurate simulations to examine the nonlinear structures of the bifurcations, and demonstrate the importance of binding domain overlap to interpreting genetic perturbation experiments. We find a rich dynamical landscape, dependent upon cell shape, such as internal equatorial orbits of asters that can be seen as traveling wave solutions. Finally, we study the interactions of multiple asters and demonstrate an effective mutual repulsion due to their competition for cortical force generators. We find, amazingly, that asters can relax onto the vertices of platonic and non-platonic solids, closely mirroring the results of the classical Thomson problem for energy-minimizing configurations of electrons constrained to a sphere and interacting via repulsive Coulomb potentials. Our findings both explain experimental observations, providing insights into the mechanisms governing spindle positioning and cell division dynamics, and show the possibility of new nonlinear phenomena in cell biology.


title: Automatic Labels are as Effective as Manual Labels in Biomedical Images Classification with Deep Learning

abstract: The increasing availability of biomedical data is helping to design more robust deep learning (DL) algorithms to analyze biomedical samples. Currently, one of the main limitations to train DL algorithms to perform a specific task is the need for medical experts to label data. Automatic methods to label data exist, however automatic labels can be noisy and it is not completely clear when automatic labels can be adopted to train DL models. This paper aims to investigate under which circumstances automatic labels can be adopted to train a DL model on the classification of Whole Slide Images (WSI). The analysis involves multiple architectures, such as Convolutional Neural Networks (CNN) and Vision Transformer (ViT), and over 10000 WSIs, collected from three use cases: celiac disease, lung cancer and colon cancer, which one including respectively binary, multiclass and multilabel data. The results allow identifying 10% as the percentage of noisy labels that lead to train competitive models for the classification of WSIs. Therefore, an algorithm generating automatic labels needs to fit this criterion to be adopted. The application of the Semantic Knowledge Extractor Tool (SKET) algorithm to generate automatic labels leads to performance comparable to the one obtained with manual labels, since it generates a percentage of noisy labels between 2-5%. Automatic labels are as effective as manual ones, reaching solid performance comparable to the one obtained training models with manual labels.


title: Measuring the Evolution of Entanglement in Compton Scattering

abstract: The evolution of the entanglement measure during Compton scattering is studied. Our analytical results show that the corresponding measure coincides with the concurrence of the two-qubit state arising after scattering. The state never collapses to a separable one, contrary to what was previously assumed. The behavior of quantum entanglement during scattering is identical to the behavior of initially classically correlated photons up to a constant factor equal to two. This is consistent with local quantum field theory, and "spooky action at a distance" is not required to explain the change in state of nonlocally entangled qubits during the measurement of one of them. Our dedicated experiment with annihilation photons confirms these results and explains the "Puzzle of Decoherence" observed recently.


title: Isolated and parameterized points on curves

abstract: We give a self-contained introduction to isolated points on curves and their counterpoint, parameterized points, that situates these concepts within the study of the arithmetic of curves. In particular, we show how natural geometric constructions of infinitely many degree $d$ points on curves motivate the definitions of $\mathbb{P}^1$- and AV-parameterized points and explain how a result of Faltings implies that there are only finitely many isolated points on any curve. We use parameterized points to deduce properties of the density degree set and review how the minimum density degree relates to the gonality. The paper includes several examples that illustrate the possible behaviors of degree $d$ points.


title: Quantum anomalous, quantum spin, and quantum valley Hall effects in pentalayer rhombohedral graphene

abstract: Recent experiments in pentalayer rhombohedral graphene moir\'e superlattice have observed the quantum anomalous Hall effect at the moir\'e filling factor $\nu=1$ and various fractions. These effects result from a flat Chern band induced by electron-electron interactions. In this Letter, we show that the many-body effects at $\nu=2$ give rise to the quantum spin Hall and quantum valley Hall states, even without spin-orbit couplings or valley-dependent potentials, in addition to the quantum anomalous Hall state. These three topological states can be selectively induced by applying and tilting a magnetic field. Furthermore, we demonstrate that at $\nu=3$ and $4$, a combination of the Wigner-like crystal state and topological states can be the ground state. Consequently, the relation between states at the filling factor $\nu$ and its particle-hole counterpart $4-\nu$ breaks down, which contrasts with the conventional quantum Hall effect in graphene.


title: A tensor model for calibration and imaging with air-coupled ultrasonic sensor arrays

abstract: Arrays of ultrasonic sensors are capable of 3D imaging in air and an affordable supplement to other sensing modalities, such as radar, lidar, and camera, i.e. in heterogeneous sensing systems. However, manufacturing tolerances of air-coupled ultrasonic sensors may lead to amplitude and phase deviations. Together with artifacts from imperfect knowledge of the array geometry, there are numerous factors that can impair the imaging performance of an array. We propose a reference-based calibration method to overcome possible limitations. First, we introduce a novel tensor signal model to capture the characteristics of piezoelectric ultrasonic transducers (PUTs) and the underlying multidimensional nature of a multiple-input multiple-output (MIMO) sensor array. Second, we formulate an optimization problem based on the proposed tensor model to obtain the calibrated parameters of the array and solve the problem using a modified block coordinate descent (BCD) method. Third, we assess both our model and the commonly used analytical model using real data from a 3D imaging experiment. The experiment reveals that our array response model we learned with calibration data yields an imaging performance similar to that of the analytical array model, which requires perfect array geometry information.


title: $\Gamma$-convergence and stochastic homogenization of second order singular perturbation models for phase transitions

abstract: We study the effective behavior of random, heterogeneous, anisotropic, second order phase transitions energies that arise in the study of pattern formations in physical-chemical systems. Specifically, we study the asymptotic behavior, as $\epsilon$ goes to zero, of random heterogeneous anisotropic functionals in which the second order perturbation competes not only with a double well potential but also with a possibly negative contribution given by the first order term. We prove that, under suitable growth conditions and under a stationarity assumption, the functionals $\Gamma$-converge almost surely to a surface energy whose density is independent of the space variable. Furthermore, we show that the limit surface density can be described via a suitable cell formula and is deterministic when ergodicity is assumed.


title: Black holes with electroweak hair

abstract: We construct static and axially symmetric magnetically charged hairy black holes in the gravity-coupled Weinberg-Salam theory. Large black holes merge with the Reissner-Nordstr\"om (RN) family, while the small ones are extremal and support a hair in the form of a ring-shaped electroweak condensate carrying superconducting W-currents and up to $22\%$ of the total magnetic charge. The extremal solutions are asymptotically RN with a mass {\it below} the total charge, $M<|Q|$, due to the negative Zeeman energy of the condensate interacting with the black hole magnetic field. Therefore, they cannot decay into RN black holes. As their charge increases, they show a phase transition when the horizon symmetry changes from spherical to oblate. At this point they have the mass typical for planetary size black holes of which $\approx 11\%$ are stored in the hair. Being obtained within a well-tested theory, our solutions are expected to be physically relevant.


title: The neural correlates of logical-mathematical symbol systems processing resemble that of spatial cognition more than natural language processing

abstract: The ability to manipulate logical-mathematical symbols (LMS), encompassing tasks such as calculation, reasoning, and programming, is a cognitive skill arguably unique to humans. Considering the relatively recent emergence of this ability in human evolutionary history, it has been suggested that LMS processing may build upon more fundamental cognitive systems, possibly through neuronal recycling. Previous studies have pinpointed two primary candidates, natural language processing and spatial cognition. Existing comparisons between these domains largely relied on task-level comparison, which may be confounded by task idiosyncrasy. The present study instead compared the neural correlates at the domain level with both automated meta-analysis and synthesized maps based on three representative LMS tasks, reasoning, calculation, and mental programming. Our results revealed a more substantial cortical overlap between LMS processing and spatial cognition, in contrast to language processing. Furthermore, in regions activated by both spatial and language processing, the multivariate activation pattern for LMS processing exhibited greater multivariate similarity to spatial cognition than to language processing. A hierarchical clustering analysis further indicated that typical LMS tasks were indistinguishable from spatial cognition tasks at the neural level, suggesting an inherent connection between these two cognitive processes. Taken together, our findings support the hypothesis that spatial cognition is likely the basis of LMS processing, which may shed light on the limitations of large language models in logical reasoning, particularly those trained exclusively on textual data without explicit emphasis on spatial content.


title: Learning to Transfer for Evolutionary Multitasking

abstract: Evolutionary multitasking (EMT) is an emerging approach for solving multitask optimization problems (MTOPs) and has garnered considerable research interest. The implicit EMT is a significant research branch that utilizes evolution operators to enable knowledge transfer (KT) between tasks. However, current approaches in implicit EMT face challenges in adaptability, due to the use of a limited number of evolution operators and insufficient utilization of evolutionary states for performing KT. This results in suboptimal exploitation of implicit KT's potential to tackle a variety of MTOPs. To overcome these limitations, we propose a novel Learning to Transfer (L2T) framework to automatically discover efficient KT policies for the MTOPs at hand. Our framework conceptualizes the KT process as a learning agent's sequence of strategic decisions within the EMT process. We propose an action formulation for deciding when and how to transfer, a state representation with informative features of evolution states, a reward formulation concerning convergence and transfer efficiency gain, and the environment for the agent to interact with MTOPs. We employ an actor-critic network structure for the agent and learn it via proximal policy optimization. This learned agent can be integrated with various evolutionary algorithms, enhancing their ability to address a range of new MTOPs. Comprehensive empirical studies on both synthetic and real-world MTOPs, encompassing diverse inter-task relationships, function classes, and task distributions are conducted to validate the proposed L2T framework. The results show a marked improvement in the adaptability and performance of implicit EMT when solving a wide spectrum of unseen MTOPs.


title: Deblurring Neural Radiance Fields with Event-driven Bundle Adjustment

abstract: Neural Radiance Fields (NeRF) achieve impressive 3D representation learning and novel view synthesis results with high-quality multi-view images as input. However, motion blur in images often occurs in low-light and high-speed motion scenes, which significantly degrade the reconstruction quality of NeRF. Previous deblurring NeRF methods are struggling to estimate information during the exposure time, unable to accurately model the motion blur. In contrast, the bio-inspired event camera measuring intensity changes with high temporal resolution makes up this information deficiency. In this paper, we propose Event-driven Bundle Adjustment for Deblurring Neural Radiance Fields (EBAD-NeRF) to jointly optimize the learnable poses and NeRF parameters by leveraging the hybrid event-RGB data. An intensity-change-metric event loss and a photo-metric blur loss are introduced to strengthen the explicit modeling of camera motion blur. Experiment results on both synthetic data and real captured data demonstrate that EBAD-NeRF can obtain accurate camera poses during the exposure time and learn sharper 3D representations compared to prior works.


title: Robustness Analysis of AI Models in Critical Energy Systems

abstract: This paper analyzes the robustness of state-of-the-art AI-based models for power grid operations under the $N-1$ security criterion. While these models perform well in regular grid settings, our results highlight a significant loss in accuracy following the disconnection of a line.%under this security criterion. Using graph theory-based analysis, we demonstrate the impact of node connectivity on this loss. Our findings emphasize the need for practical scenario considerations in developing AI methodologies for critical infrastructure.


title: Communication-Efficient Byzantine-Resilient Federated Zero-Order Optimization

abstract: We introduce CYBER-0, the first zero-order optimization algorithm for memory-and-communication efficient Federated Learning, resilient to Byzantine faults. We show through extensive numerical experiments on the MNIST dataset and finetuning RoBERTa-Large that CYBER-0 outperforms state-of-the-art algorithms in terms of communication and memory efficiency while reaching similar accuracy. We provide theoretical guarantees on its convergence for convex loss functions.


title: Analysis of Differences between ICME catalogues and Construction of a Unified Catalogue

abstract: Multiple magnetic and kinetic solar wind plasma parameters are used to detect coronal mass ejections (CMEs) as they travel through the heliosphere. There are various interplanetary CME (ICME) catalogues, but due to differences between their ICME identification criteria they can significantly vary. In this paper we analyze Richardson and Cane and CCMC CME Scoreboard ICME catalogues and the SRI RAS solar wind types catalogue, and propose an algorithm of merging them. A unified catalogue is constructed for 2010 to 2022. The resulting catalogue is completed with data from the OMNI database. Analysis of the unified catalogue demonstrated high accuracy when merging events present in multiple catalogues and a tendency of events defined in all three initial catalogues to demonstrate greater duration, speed and geoeffectiveness. The catalog is presented on the SINP MSU Space Weather Exchange website: https://swx.sinp.msu.ru/tools/icme_list.php


title: Characterization and optimization of a heterolytic Ring Laser Gyroscope

abstract: A characterization of Ring Laser Gyroscopes (RLGs) was performed at INFN-Pisa, and optimization is ongoing for a kind of very high sensitivity and accuracy rotation measurement device. Data quality is monitored through fringe contrast, such quantity is factorized, as it depends on single light beam values and their alignment, and on the polarization of the beams at their interference outside the cavity. Models of the alignment and polarization contributions to contrast have been implemented. In particular, the GP2 prototype at INFN-Pisa was characterized as for non-planarity, alignment, and polarization of the interfering beams. Beams interference was optimized by obtaining linearly polarized beams out of the cavity. Advantage with respect to elliptically polarized interfering beams is shown.


title: Mask the Unknown: Assessing Different Strategies to Handle Weak Annotations in the MICCAI2023 Mediastinal Lymph Node Quantification Challenge

abstract: Pathological lymph node delineation is crucial in cancer diagnosis, progression assessment, and treatment planning. The MICCAI 2023 Lymph Node Quantification Challenge published the first public dataset for pathological lymph node segmentation in the mediastinum. As lymph node annotations are expensive, the challenge was formed as a weakly supervised learning task, where only a subset of all lymph nodes in the training set have been annotated. For the challenge submission, multiple methods for training on these weakly supervised data were explored, including noisy label training, loss masking of unlabeled data, and an approach that integrated the TotalSegmentator toolbox as a form of pseudo labeling in order to reduce the number of unknown voxels. Furthermore, multiple public TCIA datasets were incorporated into the training to improve the performance of the deep learning model. Our submitted model achieved a Dice score of 0.628 and an average symmetric surface distance of 5.8~mm on the challenge test set. With our submitted model, we accomplished third rank in the MICCAI2023 LNQ challenge. A finding of our analysis was that the integration of all visible, including non-pathological, lymph nodes improved the overall segmentation performance on pathological lymph nodes of the test set. Furthermore, segmentation models trained only on clinically enlarged lymph nodes, as given in the challenge scenario, could not generalize to smaller pathological lymph nodes. The code and model for the challenge submission are available at \url{https://gitlab.lrz.de/compai/MediastinalLymphNodeSegmentation}.


title: GRB 211211A: The Case for Engine Powered over r-Process Powered Blue Kilonova

abstract: The recent Gamma-Ray Burst (GRB) GRB~211211A provides the earliest ($\sim 5$ h) data of a kilonova (KN) event, displaying bright ($\sim10^{42}$ erg s$^{-1}$) and blue early emission. Previously, this KN has been explained using simplistic multi-component fitting methods. Here, in order to understand the physical origin of the KN emission in GRB~211211A, we employ an analytic multi-zone model for r-process powered KN. We find that r-process powered KN models alone cannot explain the fast temporal evolution and the spectral energy distribution (SED) of the observed emission. Specifically, i) r-process models require high ejecta mass to match early luminosity, which overpredicts late-time emission, while ii) red KN models that reproduce late emission underpredict early luminosity. We propose an alternative scenario involving early contributions from the GRB central engine via a late low-power jet, consistent with plateau emission in short GRBs and GeV emission detected by Fermi-LAT at $\sim10^4$ s after GRB 211211A. Such late central engine activity, with an energy budget of $\sim \text{a few }\%$ of that of the prompt jet, combined with a single red-KN ejecta component, can naturally explain the light curve and SED of the observed emission; with the late-jet -- ejecta interaction reproducing the early blue emission and r-process heating reproducing the late red emission. This supports claims that late low-power engine activity after prompt emission may be common. We encourage very early follow-up observations of future nearby GRBs, and compact binary merger events, to reveal more about the central engine of GRBs and r-process events.


title: PoseBench: Benchmarking the Robustness of Pose Estimation Models under Corruptions

abstract: Pose estimation aims to accurately identify anatomical keypoints in humans and animals using monocular images, which is crucial for various applications such as human-machine interaction, embodied AI, and autonomous driving. While current models show promising results, they are typically trained and tested on clean data, potentially overlooking the corruption during real-world deployment and thus posing safety risks in practical scenarios. To address this issue, we introduce PoseBench, a comprehensive benchmark designed to evaluate the robustness of pose estimation models against real-world corruption. We evaluated 60 representative models, including top-down, bottom-up, heatmap-based, regression-based, and classification-based methods, across three datasets for human and animal pose estimation. Our evaluation involves 10 types of corruption in four categories: 1) blur and noise, 2) compression and color loss, 3) severe lighting, and 4) masks. Our findings reveal that state-of-the-art models are vulnerable to common real-world corruptions and exhibit distinct behaviors when tackling human and animal pose estimation tasks. To improve model robustness, we delve into various design considerations, including input resolution, pre-training datasets, backbone capacity, post-processing, and data augmentations. We hope that our benchmark will serve as a foundation for advancing research in robust pose estimation. The benchmark and source code will be released at https://xymsh.github.io/PoseBench


title: Minimal Attached Primes of Local Cohomology Modules of Binomial Edge Ideals of Block Graphs

abstract: We calculate the minimal attached primes of the local cohomology modules of the binomial edge ideals of block graphs. In particular, we obtain a combinatorial characterisation of which of these modules are non-vanishing. We further conjecture that every attached prime of these modules is minimal, and, more strongly, that the binomial edge ideals of block graphs are sequentially Cohen-Macaulay.


title: Weakly porous sets and $A_1$ Muckenhoupt weights in spaces of homogeneous type

abstract: In this work we characterize the sets $E\subset X$ for which there is some $\alpha>0$ such that the function $d(\cdot,E)^{-\alpha}$ belongs to the Muckenhoupt class $A_1(X,d,\mu)$, where $(X,d,\mu)$ is a space of homogeneous type, extending a recent result obtained by Carlos Mudarra in metric spaces endowed with doubling measures. In particular, generalizations of the notions of weakly porous sets and doubling of the maximal hole function are given and it is shown that these concepts have a natural connection with the $A_1$ condition of some negative power of its distance function. The proof presented here is based on Whitney-type covering lemmas built on balls of a particular quasi-distance equivalent to the initial quasi-distance $d$ and provided by Roberto Mac\'ias and Carlos Segovia in "A well-behaved quasi-distance for spaces of homogeneous type", Trabajos de Matem\'atica 32, Instituto Argentino de Matem\'atica, 1981, 1-18.


title: Enhanced Bank Check Security: Introducing a Novel Dataset and Transformer-Based Approach for Detection and Verification

abstract: Automated signature verification on bank checks is critical for fraud prevention and ensuring transaction authenticity. This task is challenging due to the coexistence of signatures with other textual and graphical elements on real-world documents. Verification systems must first detect the signature and then validate its authenticity, a dual challenge often overlooked by current datasets and methodologies focusing only on verification. To address this gap, we introduce a novel dataset specifically designed for signature verification on bank checks. This dataset includes a variety of signature styles embedded within typical check elements, providing a realistic testing ground for advanced detection methods. Moreover, we propose a novel approach for writer-independent signature verification using an object detection network. Our detection-based verification method treats genuine and forged signatures as distinct classes within an object detection framework, effectively handling both detection and verification. We employ a DINO-based network augmented with a dilation module to detect and verify signatures on check images simultaneously. Our approach achieves an AP of 99.2 for genuine and 99.4 for forged signatures, a significant improvement over the DINO baseline, which scored 93.1 and 89.3 for genuine and forged signatures, respectively. This improvement highlights our dilation module's effectiveness in reducing both false positives and negatives. Our results demonstrate substantial advancements in detection-based signature verification technology, offering enhanced security and efficiency in financial document processing.


title: AGDA+: Proximal Alternating Gradient Descent Ascent Method With a Nonmonotone Adaptive Step-Size Search For Nonconvex Minimax Problems

abstract: We consider double-regularized nonconvex-strongly concave (NCSC) minimax problems of the form $(P):\min_{x\in\mathcal{X}} \max_{y\in\mathcal{Y}}g(x)+f(x,y)-h(y)$, where $g$, $h$ are closed convex, $f$ is $L$-smooth in $(x,y)$ and strongly concave in $y$. We propose a proximal alternating gradient descent ascent method AGDA+ that can adaptively choose nonmonotone primal-dual stepsizes to compute an approximate stationary point for $(P)$ without requiring the knowledge of the global Lipschitz constant $L$. Using a nonmonotone step-size search (backtracking) scheme, AGDA+ stands out by its ability to exploit the local Lipschitz structure and eliminates the need for precise tuning of hyper-parameters. AGDA+ achieves the optimal iteration complexity of $\mathcal{O}(\epsilon^{-2})$ and it is the first step-size search method for NCSC minimax problems that require only $\mathcal{O}(1)$ calls to $\nabla f$ per backtracking iteration. The numerical experiments demonstrate its robustness and efficiency.


title: Ring-LWE based encrypted controller with unlimited number of recursive multiplications and effect of error growth

abstract: In this paper, we propose a method to encrypt linear dynamic controllers that enables an unlimited number of recursive homomorphic multiplications on a Ring Learning With Errors (Ring-LWE) based cryptosystem without bootstrapping. Unlike LWE based schemes, where a scalar error is injected during encryption for security, Ring-LWE based schemes are based on polynomial rings and inject error as a polynomial having multiple error coefficients. Such errors accumulate under recursive homomorphic operations, and it has been studied that their effect can be suppressed by the closed-loop stability when dynamic controllers are encrypted using LWE based schemes. We show that this also holds for the proposed controller encrypted using a Ring-LWE based scheme. Specifically, only the constant terms of the error polynomials affect the control performance, and their effect can be arbitrarily bounded even when the noneffective terms diverge. Furthermore, a novel packing algorithm is applied, resulting in reduced computation time and enhanced memory efficiency. Simulation results demonstrate the effectiveness of the proposed method.


title: Artificial Leviathan: Exploring Social Evolution of LLM Agents Through the Lens of Hobbesian Social Contract Theory

abstract: The emergence of Large Language Models (LLMs) and advancements in Artificial Intelligence (AI) offer an opportunity for computational social science research at scale. Building upon prior explorations of LLM agent design, our work introduces a simulated agent society where complex social relationships dynamically form and evolve over time. Agents are imbued with psychological drives and placed in a sandbox survival environment. We conduct an evaluation of the agent society through the lens of Thomas Hobbes's seminal Social Contract Theory (SCT). We analyze whether, as the theory postulates, agents seek to escape a brutish "state of nature" by surrendering rights to an absolute sovereign in exchange for order and security. Our experiments unveil an alignment: Initially, agents engage in unrestrained conflict, mirroring Hobbes's depiction of the state of nature. However, as the simulation progresses, social contracts emerge, leading to the authorization of an absolute sovereign and the establishment of a peaceful commonwealth founded on mutual cooperation. This congruence between our LLM agent society's evolutionary trajectory and Hobbes's theoretical account indicates LLMs' capability to model intricate social dynamics and potentially replicate forces that shape human societies. By enabling such insights into group behavior and emergent societal phenomena, LLM-driven multi-agent simulations, while unable to simulate all the nuances of human behavior, may hold potential for advancing our understanding of social structures, group dynamics, and complex human systems.


title: Information-flow Interfaces and Security Lattices

abstract: Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation for information-flow interfaces.


title: Simple modules over 3-cyclic quantum Weyl Algebra at roots of unity

abstract: This article undertakes an exploration of simple modules of 3-cyclic quantum Weyl algebra at roots of unity. Under the roots of unity assumption, the algebra becomes a Polynomial Identity algebra and the vector space dimension of the simple modules is bounded above by its PI degree. The article systematically classifies all potential simple modules and computes the algebra's center.


title: Multicoloured Hardcore Model: Fast Mixing and Queueing

abstract: We extend the hardcore model to a multicoloured version: a subset of vertices of a graph are coloured such that no vertex is adjacent to one of the same colour; uncoloured vertices do not constrain neighbours. This mathematically models multi-channel resource sharing, such as fibreoptic routing. We analyse certain simple Glauber-type dynamics on such configurations, and find conditions which ensure fast mixing. These dynamics model a queueing system: customers queue for service at vertices, who only serve customers whilst they are coloured in the underlying configuration; uncoloured vertices sit idle. The mixing estimates are applied to control queue lengths in equilibrium.


title: Computation-Efficient Semi-Supervised Learning for ECG-based Cardiovascular Diseases Detection

abstract: Label scarcity problem is the main challenge that hinders the wide application of deep learning systems in automatic cardiovascular diseases (CVDs) detection using electrocardiography (ECG). Tuning pre-trained models alleviates this problem by transferring knowledge learned from large datasets to downstream small datasets. However, bottlenecks in computational efficiency and CVDs detection performance limit its clinical applications. It is difficult to improve the detection performance without significantly sacrificing model computational efficiency. Here, we propose a computation-efficient semi-supervised learning paradigm (FastECG) for robust and computation-efficient CVDs detection using ECG. It enables a robust adaptation of pre-trained models on downstream datasets with limited supervision and high computational efficiency. First, a random-deactivation technique is developed to achieve robust and fast low-rank adaptation of pre-trained weights. Subsequently, we propose a one-shot rank allocation module to determine the optimal ranks for the update matrices of the pre-trained weights. Finally, a lightweight semi-supervised learning pipeline is introduced to enhance model performance by leveraging labeled and unlabeled data with high computational efficiency. Extensive experiments on four downstream ECG datasets demonstrate that FastECG not only outperforms the state-of-the-art methods in multi-label CVDs detection but also consumes fewer GPU footprints, training time, and parameter storage space. As such, this paradigm provides an effective solution for achieving high computational efficiency and robust detection performance in the clinical applications of pre-trained models under limited supervision.


title: X-ray view of Dissipative Warm Corona in AGN

abstract: In the X-ray spectra of AGNs, a noticeable excess of soft X-rays is typically detected beyond the extrapolation of the power-law trend observed between 2-10 keV. In the scenario of warm Comptonization, observations propose a warm corona temperature ranging from 0.1-1 keV and an optical depth of approximately 10-20. Furthermore, according to radiative constraints derived from spectral analyses employing Comptonization models, it is suggested that the majority of the accretion power is released within the warm corona, while the disk beneath it is largely non-dissipative, emitting mainly the reprocessed radiation from the corona. We test the dissipative warm corona model using the radiative transfer code-TITAN/NOAR on a sample of 82 XMM-Newton observations of AGNs. Through spectral modeling of the X-ray data, we aim to estimate the total amount of internal heating inside the warm corona situated on top of the accretion disk. By modeling the 0.3-10 keV EPIC-pn spectra, we estimate the internal heating and optical depth of the warm corona and check their correlations with global parameters blackhole parameters. From model normalization, we compute the radial extent of warm corona on top of cold accretion disk. Our model infers the presence of dissipative warm corona, with optical depths distributed in the range 6-30 and total internal heating in the range 1-29 x 1e-23 erg/s-cm3. The extent of warm corona is spread across a large range from 7-408 gravitational radii, and we find that warm corona is more extended for larger accretion rates. Soft excess emission is ubiquitous in AGNs across wide mass range and accretion rate. We confirm that warm corona responsible for producing the soft-excess is highly dissipative in nature with larger optical depths being associated with lower internal heating and vice versa. The presence of cold standard accretion disk regulates the extent of warm corona.


title: Decoding Vocal Articulations from Acoustic Latent Representations

abstract: We present a novel neural encoder system for acoustic-to-articulatory inversion. We leverage the Pink Trombone voice synthesizer that reveals articulatory parameters (e.g tongue position and vocal cord configuration). Our system is designed to identify the articulatory features responsible for producing specific acoustic characteristics contained in a neural latent representation. To generate the necessary latent embeddings, we employed two main methodologies. The first was a self-supervised variational autoencoder trained from scratch to reconstruct the input signal at the decoder stage. We conditioned its bottleneck layer with a subnetwork called the "projector," which decodes the voice synthesizer's parameters. The second methodology utilized two pretrained models: EnCodec and Wav2Vec. They eliminate the need to train the encoding process from scratch, allowing us to focus on training the projector network. This approach aimed to explore the potential of these existing models in the context of acoustic-to-articulatory inversion. By reusing the pretrained models, we significantly simplified the data processing pipeline, increasing efficiency and reducing computational overhead. The primary goal of our project was to demonstrate that these neural architectures can effectively encapsulate both acoustic and articulatory features. This prediction-based approach is much faster than traditional methods focused on acoustic feature-based parameter optimization. We validated our models by predicting six different parameters and evaluating them with objective and ViSQOL subjective-equivalent metric using both synthesizer- and human-generated sounds. The results show that the predicted parameters can generate human-like vowel sounds when input into the synthesizer. We provide the dataset, code, and detailed findings to support future research in this field.


title: Estimating Treatment Effects under Recommender Interference: A Structured Neural Networks Approach

abstract: Recommender systems are essential for content-sharing platforms by curating personalized content. To evaluate updates of recommender systems targeting content creators, platforms frequently engage in creator-side randomized experiments to estimate treatment effect, defined as the difference in outcomes when a new (vs. the status quo) algorithm is deployed on the platform. We show that the standard difference-in-means estimator can lead to a biased treatment effect estimate. This bias arises because of recommender interference, which occurs when treated and control creators compete for exposure through the recommender system. We propose a "recommender choice model" that captures how an item is chosen among a pool comprised of both treated and control content items. By combining a structural choice model with neural networks, the framework directly models the interference pathway in a microfounded way while accounting for rich viewer-content heterogeneity. Using the model, we construct a double/debiased estimator of the treatment effect that is consistent and asymptotically normal. We demonstrate its empirical performance with a field experiment on Weixin short-video platform: besides the standard creator-side experiment, we carry out a costly blocked double-sided randomization design to obtain a benchmark estimate without interference bias. We show that the proposed estimator significantly reduces the bias in treatment effect estimates compared to the standard difference-in-means estimator.


title: Non-thermal Magnetic Deicing Using Two-Dimensional Chromium Telluride

abstract: Two-dimensional (2D) chromium telluride Cr2Te3 exhibits strong ferromagnetic ordering with high coercivity at low temperatures and paramagnetic behaviour when approaching room temperature. The spin states of monolayer Cr2Te3 show ferromagnetic ordering in the ground state, and in-situ Raman analysis shows reversible structure transformation and hence a ferromagnetic to paramagnetic transition during low-temperature heating cycles (0 - 25 {\deg}C). The magnetic phase transition near room temperature in the 2D Cr2Te3 prompted the exploration of these layered materials for energy application. We demonstrate that the low-temperature ferromagnetic behavior can be used to magnetically deice material surfaces using an external magnetic source, avoiding the use of harsh chemicals and high temperatures. The hydrophobic nature and dipole interactions of H2O molecules with the surface of the 2D Cr2Te3 coating aid in the condensation of ice droplets formed on the surface. First-principles calculations also confirm the observed crystal structure, surface interaction, and magnetic properties of 2D Cr2Te3.


title: Identification of fiscal SVAR-IVs in small open economies

abstract: We propose a novel instrumental variable to identify fiscal shocks in small open economies. Under the assumptions that unexpected changes in trading partners correlate with output of an open economy and unexpected fiscal shocks of a small economy are unrelated to its trading partners' forecast errors, we use forecast errors of trading partner economies to proxy unexpected shocks in domestic output. We show that this instrument is relevant and find evidence that supports its exogeneity. Using this IV strategy, we find that the two-year cumulative spending multiplier is around 1 for Canada and 0.5 for euro area small open economies.


title: Molecular simulations of crazes in glassy polymers under cyclic loading

abstract: We study with molecular dynamics simulations of a generic bead-spring model the cyclic crazing behaviour of glassy polymers. The aim is to elucidate the mechanical response of sole fibrillated craze matter as well as its interaction with bulk material. The macroscopic stress response exhibits a hysteresis, which is quasi stationary after the first cycle and largely independent of deformation rate and temperature. It results from a complex interplay between constraints imposed by the entanglement network, pore space and pore space closure. Once the craze fibrils are oriented, stretching of the covalent backbone bonds leads to a rapid stress increase. In the initial stages of unloading, a loss in entanglement contact yields a quick stress relaxation in the backbone. During unloading, the craze fibrils undergo a rigid body (i.e.\ stress-free) folding motion due to the surrounding pore space, so that the structural behaviour of craze fibrils during unloading is most accurately described as string-like. The reloading response depends significantly on the degree of pore space closure and the enforced intermolecular interaction during unloading. It ranges from a linear stress increase to a re-cavitation with a re-drawing response. Compared to the bulk stiffness, the craze stiffness is two orders of magnitude lower and as a result, the macro response of coexisting craze and bulk matter is governed by the sole fibrillated craze matter.


title: Low-Step Multi-Commodity Flow Emulators

abstract: We introduce the concept of low-step multi-commodity flow emulators for any undirected, capacitated graph. At a high level, these emulators contain approximate multi-commodity flows whose paths contain a small number of edges, shattering the infamous flow decomposition barrier for multi-commodity flow. We prove the existence of low-step multi-commodity flow emulators and develop efficient algorithms to compute them. We then apply them to solve constant-approximate $k$-commodity flow in $O((m+k)^{1+\epsilon})$ time. To bypass the $O(mk)$ flow decomposition barrier, we represent our output multi-commodity flow implicitly; prior to our work, even the existence of implicit constant-approximate multi-commodity flows of size $o(mk)$ was unknown. Our results generalize to the minimum cost setting, where each edge has an associated cost and the multi-commodity flow must satisfy a cost budget. Our algorithms are also parallel.


title: Semi-Autonomous Mobile Search and Rescue Robot for Radiation Disaster Scenarios

abstract: This paper describes a novel semi-autonomous mobile robot system designed to assist search and rescue (SAR) first responders in disaster scenarios. While robots offer significant potential in SAR missions, current solutions are limited in their ability to handle a diverse range of tasks. This gap is addressed by presenting a system capable of (1) autonomous navigation and mapping, allowing the robot to autonomously explore and map areas affected by catastrophic events, (2) radiation mapping, enabling the system to triangulate a radiation map from discrete radiation measurements to aid in identifying hazardous areas, (3) semi-autonomous substance sampling, allowing the robot to collect samples of suspicious substances and analyze them onboard with immediate classification, and (4) valve manipulation, enabling teleoperated closing of valves that control hazardous material flow. This semi-autonomous approach balances human control over critical tasks like substance sampling with efficient robot navigation in low-risk areas. The system is evaluated during three trials that simulate possible disaster scenarios, two of which have been recorded during the European Robotics Hackathon (EnRicH). Furthermore, we provide recorded sensor data as well as the implemented software system as supplemental material through a GitHub repository: https://github.com/TW-Robotics/search-and-rescue-robot-IROS2024.


title: Teleportation with Embezzling Catalysts

abstract: Quantum teleportation is the process of transferring quantum information using classical communication and pre-shared entanglement. This process can benefit from the use of catalysts, which are ancillary entangled states that can enhance teleportation without being consumed. While chemical catalysts undergoing deactivation invariably exhibit inferior performance compared to those unaffected by deactivation, quantum catalysts, termed embezzling catalysts, that are subject to deactivation, may surprisingly outperform their non-deactivating counterparts. In this work, we present teleportation protocols with embezzling catalyst that can achieve arbitrarily high fidelity, namely the teleported state can be made arbitrarily close to the original state, with finite-dimensional embezzling catalysts. We show that some embezzling catalysts are universal, meaning that they can improve the teleportation fidelity for any pre-shared entanglement. We also explore methods to reduce the dimension of catalysts without increasing catalyst consumption, an essential step towards realizing quantum catalysis in practice.


title: Dihadron Azimuthal Correlations in Deep-Inelastic Scattering Off Nuclear Targets

abstract: We measured the nuclear dependence of the di-pion azimuthal correlation function in deep-inelastic scattering (DIS) using the CEBAF Large Acceptance Spectrometer (CLAS) and a 5 GeV electron beam. As the nuclear-target size increases, transitioning from deuterium to carbon, iron, and lead, the correlation function broadens monotonically. Its shape exhibits a significant dependence on kinematics, including the transverse momentum of the pions and the difference in their rapidity. None of the various Monte-Carlo event generators we evaluated could fully replicate the observed correlation functions and nuclear effects throughout the entire phase space. As the first study of its kind in DIS experiments, this research provides an important baseline for enhancing our understanding of the interplay between the nuclear medium and the hadronization process in these reactions.


title: Active Diffusion Subsampling

abstract: Subsampling is commonly used to mitigate costs associated with data acquisition, such as time or energy requirements, motivating the development of algorithms for estimating the fully-sampled signal of interest $x$ from partially observed measurements $y$. In maximum-entropy sampling, one selects measurement locations that are expected to have the highest entropy, so as to minimize uncertainty about $x$. This approach relies on an accurate model of the posterior distribution over future measurements, given the measurements observed so far. Recently, diffusion models have been shown to produce high-quality posterior samples of high-dimensional signals using guided diffusion. In this work, we propose Active Diffusion Subsampling (ADS), a method for performing active subsampling using guided diffusion in which the model tracks a distribution of beliefs over the true state of $x$ throughout the reverse diffusion process, progressively decreasing its uncertainty by choosing to acquire measurements with maximum expected entropy, and ultimately generating the posterior distribution $p(x | y)$. ADS can be applied using pre-trained diffusion models for any subsampling rate, and does not require task-specific retraining - just the specification of a measurement model. Furthermore, the maximum entropy sampling policy employed by ADS is interpretable, enhancing transparency relative to existing methods using black-box policies. Experimentally, we show that ADS outperforms fixed sampling strategies, and study an application of ADS in Magnetic Resonance Imaging acceleration using the fastMRI dataset, finding that ADS performs competitively with supervised methods. Code available at https://active-diffusion-subsampling.github.io/.


title: Exploring new physics via effective interactions

abstract: We investigate self-conjugate Dark Matter (DM) particles that primarily interact with standard model electroweak gauge bosons within an effective field theoretical framework. Our analysis focuses on effective contact interactions, invariant under the standard model gauge group, between Majorana fermions, and real scalar DM, with SM neutral electroweak gauge bosons. We calculate the Wilson coefficients for interaction terms up to dimension-8 and establish constraints on the theory's parameters. These constraints are derived from the observed relic density, and indirect detection observations. We discuss the potential for dark matter-nucleon scattering in direct detection experiments. Additionally, we utilize low-energy LEP data to assess sensitivity to the pair production of low-mass ($\leq$ 80 GeV) DM particles. Furthermore, we highlight the potential of the proposed International Linear Collider (ILC) in probing effective operators through the pair production of DM particles with masses $\geq$ 50 GeV in association with mono-photons.


title: Asymmetric mixing Poisson suspensions

abstract: Simple Sidon automorphisms are asymmetric. Poisson suspensions over them are mixing and asymmetric.


title: Safety-Critical Edge Robotics Architecture with Bounded End-to-End Latency

abstract: Edge computing processes data near its source, reducing latency and enhancing security compared to traditional cloud computing while providing its benefits. This paper explores edge computing for migrating an existing safety-critical robotics use case from an onboard dedicated hardware solution. We propose an edge robotics architecture based on Linux, Docker containers, Kubernetes, and a local wireless area network based on the TTWiFi protocol. Inspired by previous work on real-time cloud, we complement the architecture with a resource management and orchestration layer to help Linux manage, and Kubernetes orchestrate the system-wide shared resources (e.g., caches, memory bandwidth, and network). Our architecture aims to ensure the fault-tolerant and predictable execution of robotic applications (e.g., path planning) on the edge while upper-bounding the end-to-end latency and ensuring the best possible quality of service without jeopardizing safety and security.


title: An efficient singlet-triplet spin qubit to fiber interface assisted by a photonic crystal cavity

abstract: We introduce a novel optical interface between a singlet-triplet spin qubit and a photonic qubit which would offer new prospects for future quantum communication applications. The interface is based on a 220 nm thick GaAs/Al-GaAs heterostructure membrane and features a gate-defined singlet-triplet qubit, a gate-defined optically active quantum dot, a photonic crystal cavity and a bot-tom gold reflector. All essential components can be lithographically defined and deterministically fabricated, which greatly increases the scalability of on-chip in-tegration. According to our FDTD simulations, the interface provides an overall coupling efficiency of 28.7% into a free space Gaussian beam, assuming an SiO2 interlayer filling the space between the reflector and the membrane. The performance can be further increased to 48.5% by undercutting this SiO2 interlayer below the photonic crystal.


title: Jailbreaking as a Reward Misspecification Problem

abstract: The widespread adoption of large language models (LLMs) has raised concerns about their safety and reliability, particularly regarding their vulnerability to adversarial attacks. In this paper, we propose a novel perspective that attributes this vulnerability to reward misspecification during the alignment process. We introduce a metric ReGap to quantify the extent of reward misspecification and demonstrate its effectiveness and robustness in detecting harmful backdoor prompts. Building upon these insights, we present ReMiss, a system for automated red teaming that generates adversarial prompts against various target aligned LLMs. ReMiss achieves state-of-the-art attack success rates on the AdvBench benchmark while preserving the human readability of the generated prompts. Detailed analysis highlights the unique advantages brought by the proposed reward misspecification objective compared to previous methods.


title: SEC-QA: A Systematic Evaluation Corpus for Financial QA

abstract: The financial domain frequently deals with large numbers of long documents that are essential for daily operations. Significant effort is put towards automating financial data analysis. However, a persistent challenge, not limited to the finance domain, is the scarcity of datasets that accurately reflect real-world tasks for model evaluation. Existing datasets are often constrained by size, context, or relevance to practical applications. Moreover, LLMs are currently trained on trillions of tokens of text, limiting access to novel data or documents that models have not encountered during training for unbiased evaluation. We propose SEC-QA, a continuous dataset generation framework with two key features: 1) the semi-automatic generation of Question-Answer (QA) pairs spanning multiple long context financial documents, which better represent real-world financial scenarios; 2) the ability to continually refresh the dataset using the most recent public document collections, not yet ingested by LLMs. Our experiments show that current retrieval augmented generation methods systematically fail to answer these challenging multi-document questions. In response, we introduce a QA system based on program-of-thought that improves the ability to perform complex information retrieval and quantitative reasoning pipelines, thereby increasing QA accuracy.


title: Communication with Quantum Catalysts

abstract: Communication is essential for advancing science and technology. Quantum communication, in particular, benefits from the use of catalysts. During the communication process, these catalysts enhance performance while remaining unchanged. Although chemical catalysts that undergo deactivation typically perform worse than those that remain unaffected, quantum catalysts, referred to as embezzling catalysts, can surprisingly outperform their non-deactivating counterparts despite experiencing slight alterations. In this work, we employ embezzling quantum catalysts to enhance the transmission of both quantum and classical information. Our results reveal that using embezzling catalysts augments the efficiency of information transmission across noisy quantum channels, ensuring a non-zero catalytic channel capacity. Furthermore, we introduce catalytic superdense coding, demonstrating how embezzling catalysts can enhance the transmission of classical information. Finally, we explore methods to reduce the dimensionality of catalysts, a step toward making quantum catalysis a practical reality.


title: A disc wind origin for the optical spectra of dwarf novae in outburst

abstract: Many high-state cataclysmic variables (CVs) exhibit blue-shifted absorption features in their ultraviolet (UV) spectra -- a smoking-gun signature of outflows. However, the impact of these outflows on {\em optical} spectra remains much more uncertain. During its recent outburst, the eclipsing dwarf nova V455 And displayed strong optical emission lines whose cores were narrower than expected from a Keplerian disc. Here, we explore whether disc + wind models developed for matching UV observations of CVs can also account for these optical spectra. Importantly, V455~And was extremely bright at outburst maximum: the accretion rate implied by fitting the optical continuum with a standard disc model is $\dot{M}_{\rm acc} \simeq 10^{-7}~{\rm M}_\odot~{\rm yr^{-1}}$. Allowing for continuum reprocessing in the outflow helps to relax this constraint. A disk wind can also broadly reproduce the optical emission lines, but only if the wind is (i) highly mass-loaded, with a mass-loss rate reaching $\dot{M}_{\rm wind} \simeq 0.4 \dot{M}_{\rm acc}$, and/or (ii) clumpy, with a volume filling factor $f_V \simeq 0.1$. The same models can describe the spectral evolution across the outburst, simply by lowering $\dot{M}_{\rm acc}$ and $\dot{M}_{\rm wind}$. Extending these models to lower inclinations and into the UV produces spectra consistent with those observed in face-on high-state CVs. We also find, for the first time in simulations of this type, P-Cygni-like absorption features in the Balmer series, as have been observed in both CVs and X-ray binaries. Overall, dense disc winds provide a promising framework for explaining multiple observational signatures seen in high-state CVs, but theoretical challenges persist.


title: Jupyter Scatter: Interactive Exploration of Large-Scale Datasets

abstract: Jupyter Scatter is a scalable, interactive, and interlinked scatterplot widget for exploring datasets in Jupyter Notebook/Lab, Colab, and VS Code. Its goal is to simplify the visual exploration, analysis, and comparison of large-scale bivariate datasets. Jupyter Scatter can render up to twenty million points, supports fast point selections, integrates with Pandas DataFrame and Matplotlib, uses perceptually-effective default settings, and offers a user-friendly API.


title: ATAC-Net: Zoomed view works better for Anomaly Detection

abstract: The application of deep learning in visual anomaly detection has gained widespread popularity due to its potential use in quality control and manufacturing. Current standard methods are Unsupervised, where a clean dataset is utilised to detect deviations and flag anomalies during testing. However, incorporating a few samples when the type of anomalies is known beforehand can significantly enhance performance. Thus, we propose ATAC-Net, a framework that trains to detect anomalies from a minimal set of known prior anomalies. Furthermore, we introduce attention-guided cropping, which provides a closer view of suspect regions during the training phase. Our framework is a reliable and easy-to-understand system for detecting anomalies, and we substantiate its superiority to some of the current state-of-the-art techniques in a comparable setting.


title: WEATHER-5K: A Large-scale Global Station Weather Dataset Towards Comprehensive Time-series Forecasting Benchmark

abstract: Global Station Weather Forecasting (GSWF) is crucial for various sectors, including aviation, agriculture, energy, and disaster preparedness. Recent advancements in deep learning have significantly improved the accuracy of weather predictions by optimizing models based on public meteorological data. However, existing public datasets for GSWF optimization and benchmarking still suffer from significant limitations, such as small sizes, limited temporal coverage, and a lack of comprehensive variables. These shortcomings prevent them from effectively reflecting the benchmarks of current forecasting methods and fail to support the real needs of operational weather forecasting. To address these challenges, we present the WEATHER-5K dataset. This dataset comprises a comprehensive collection of data from 5,672 weather stations worldwide, spanning a 10-year period with one-hour intervals. It includes multiple crucial weather elements, providing a more reliable and interpretable resource for forecasting. Furthermore, our WEATHER-5K dataset can serve as a benchmark for comprehensively evaluating existing well-known forecasting models, extending beyond GSWF methods to support future time-series research challenges and opportunities. The dataset and benchmark implementation are publicly available at: https://github.com/taohan10200/WEATHER-5K.


title: Magnetic anisotropy of $4f$ atoms on a WSe$_2$ monolayer: a DFT+U study

abstract: Inspired by recent advancements in the field of single-atom magnets, particularly those involving rare-earth (RE) elements, we present a theoretical exploration employing DFT+$U$ calculations to investigate the magnetic properties of selected $4f$ atoms, specifically Eu, Gd and Ho, on a monolayer of the transition-metal dichalcogenide WSe$_2$ in the 1H-phase. This study comparatively examines RE with diverse $4f$ orbital fillings and valence chemistry, aiming to understand how different coverage densities atop WSe$_2$ affect the magnetocrystalline anisotropy. We observe that RE elements lacking $5d$ occupation in the atomic limit exhibit larger magnetic anisotropy energies at high densities, while those with outer $5d$ electrons show larger anisotropies in dilute configurations. Additionally, even half-filled $4f$ shell atoms with small orbital magnetic moments can generate substantial energy barriers for magnetization rotation due to prominent orbital hybridizations with WSe$_2$. Open $4f$ shell atoms further enhance anisotropy barriers through spin-orbit coupling effects. This aspect is crucial for the experimental realization of stable magnetic information units.


title: Fair Streaming Feature Selection

abstract: Streaming feature selection techniques have become essential in processing real-time data streams, as they facilitate the identification of the most relevant attributes from continuously updating information. Despite their performance, current algorithms to streaming feature selection frequently fall short in managing biases and avoiding discrimination that could be perpetuated by sensitive attributes, potentially leading to unfair outcomes in the resulting models. To address this issue, we propose FairSFS, a novel algorithm for Fair Streaming Feature Selection, to uphold fairness in the feature selection process without compromising the ability to handle data in an online manner. FairSFS adapts to incoming feature vectors by dynamically adjusting the feature set and discerns the correlations between classification attributes and sensitive attributes from this revised set, thereby forestalling the propagation of sensitive data. Empirical evaluations show that FairSFS not only maintains accuracy that is on par with leading streaming feature selection methods and existing fair feature techniques but also significantly improves fairness metrics.


title: Logic-based analogical proportions

abstract: The author has recently introduced an abstract algebraic framework of analogical proportions within the general setting of universal algebra. The purpose of this paper is to lift that framework from universal algebra to the strictly more expressive setting of full first-order logic. We show that the so-obtained logic-based framework preserves all desired properties and we prove novel results in that extended setting.


title: External Cavity 637-nm Laser with Increased RSOA-to-PIC Alignment Tolerance and a Filtered Sagnac-Loop Reflector with Single Output Waveguide

abstract: The design of a 637-nm wavelength, photonic-integrated-circuit-based external cavity laser (PIC-based ECL) aimed at quantum technology applications is presented together with first experimental results. The PIC is designed to provide relaxed alignment tolerance for coupling to a reflective semiconductor optical amplifier (RSOA) gain chip. This is achieved by using a multi-mode edge coupler (MMEC) in place of the usually employed single-mode coupling schemes. A 1-dB-penalty misalignment tolerance of up to +/- 2.4 um can be achieved in the plane of the chip, creating a path towards reliable flip-chip integration at short wavelengths. The power coupled to the PIC is fed to a Sagnac-loop reflector, filtered by a pair of ring resonators operated in Vernier configuration for providing the required frequency selective optical feedback. The ring resonators are designed to have different loaded Q-factors and they are asymmetrically coupled to bus and drop waveguides with suitably engineered directional couplers to provide single output waveguide emission. Moreover, requirements for high output power and narrow linewidths are balanced. Finally, preliminary measurements strongly suggest lasing in the fabricated devices, with further performance optimization being currently carried out.


title: Predicting Probabilities of Error to Combine Quantization and Early Exiting: QuEE

abstract: Machine learning models can solve complex tasks but often require significant computational resources during inference. This has led to the development of various post-training computation reduction methods that tackle this issue in different ways, such as quantization which reduces the precision of weights and arithmetic operations, and dynamic networks which adapt computation to the sample at hand. In this work, we propose a more general dynamic network that can combine both quantization and early exit dynamic network: QuEE. Our algorithm can be seen as a form of soft early exiting or input-dependent compression. Rather than a binary decision between exiting or continuing, we introduce the possibility of continuing with reduced computation. This complicates the traditionally considered early exiting problem, which we solve through a principled formulation. The crucial factor of our approach is accurate prediction of the potential accuracy improvement achievable through further computation. We demonstrate the effectiveness of our method through empirical evaluation, as well as exploring the conditions for its success on 4 classification datasets.


title: Constrained $L^p$ Approximation of Shape Tensors and its Role for the Determination of Shape Gradients

abstract: This paper extends our earlier work [arXiv:2309.13595] on the $L^p$ approximation of the shape tensor by Laurain and Sturm. In particular, it is shown that the weighted $L^p$ distance to an affine space of admissible symmetric shape tensors satisfying a divergence constraint provides the shape gradient with respect to the $L^{p^\ast}$-norm (where $1/p + 1/p^\ast = 1$) of the elastic strain associated with the shape deformation. This approach allows the combination of two ingredients which have already been used successfully in numerical shape optimization: (i) departing from the Hilbert space framework towards the Lipschitz topology approximated by $W^{1,p^\ast}$ with $p^\ast > 2$ and (ii) using the symmetric rather than the full gradient to define the norm. Similarly to [arXiv:2309.13595], the $L^p$ distance measures the shape stationarity by means of the dual norm of the shape derivative with respect to the above-mentioned $L^{p^\ast}$-norm of the elastic strain. Moreover, the Lagrange multiplier for the momentum balance constraint constitute the steepest descent deformation with respect to this norm. The finite element realization of this approach is done using the weakly symmetric PEERS element and its three-dimensional counterpart, respectively. The resulting piecewise constant approximation for the Lagrange multiplier is reconstructed to a shape gradient in $W^{1,p^\ast}$ and used in an iterative procedure towards the optimal shape.


title: Focusing Optical Phased Array for Optically Enabled Probing of the Retina with Subcellular Resolution

abstract: We present a silicon-nitride-based optical phased array with built-in focusing and steering capability, that operates at 522 nm and is aimed at complementing a micro-electrode array for joint electrical and optical probing of retinal tissue. It achieves subcellular resolution with a beam diameter of 1.4 um at a focal point located above the chip. Targeted cellular excitation can be achieved by steering the beam through a combination of wavelength tuning and simplified thermo-optical phase shifters with a single electrical input for each of transverse beam steering and selection of the focal plane.


title: Efficient algorithms for dynamic aperture and momentum acceptance calculation

abstract: New algorithms useful for the calculation of dynamic aperture and momentum acceptance in circular accelerators are developed and presented. The flood-fill tool from raster graphics inspired us to efficiently compute dynamic apertures by minimizing required trackings on stable initial coordinates, leading to several factors of speed-up with respect to standard algorithms. A novel technique for momentum acceptance calculations, Fast Touschek Tracking, is developed. Thorough benchmarking using modern accelerator codes shows that the new technique can provide one or two orders of magnitude faster computation of local momentum acceptances with only limited loss of accuracy.


title: FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving

abstract: Formal verification (FV) has witnessed growing significance with current emerging program synthesis by the evolving large language models (LLMs). However, current formal verification mainly resorts to symbolic verifiers or hand-craft rules, resulting in limitations for extensive and flexible verification. On the other hand, formal languages for automated theorem proving, such as Isabelle, as another line of rigorous verification, are maintained with comprehensive rules and theorems. In this paper, we propose FVEL, an interactive Formal Verification Environment with LLMs. Specifically, FVEL transforms a given code to be verified into Isabelle, and then conducts verification via neural automated theorem proving with an LLM. The joined paradigm leverages the rigorous yet abundant formulated and organized rules in Isabelle and is also convenient for introducing and adjusting cutting-edge LLMs. To achieve this goal, we extract a large-scale FVELER3. The FVELER dataset includes code dependencies and verification processes that are formulated in Isabelle, containing 758 theories, 29,125 lemmas, and 200,646 proof steps in total with in-depth dependencies. We benchmark FVELER in the FVEL environment by first fine-tuning LLMs with FVELER and then evaluating them on Code2Inv and SV-COMP. The results show that FVEL with FVELER fine-tuned Llama3- 8B solves 17.39% (69 -> 81) more problems, and Mistral-7B 12% (75 -> 84) more problems in SV-COMP. And the proportion of proof errors is reduced. Project page: https://fveler.github.io/.


title: Measurement of the polarizations of prompt and non-prompt J/$\psi$ and $\psi$(2S) mesons produced in pp collisions at $\sqrt{s}$ = 13 TeV

abstract: The polarizations of prompt and non-prompt J$/\psi$ and $\psi$(2S) mesons are measured in proton-proton collisions at $\sqrt{s}$ = 13 TeV, using data samples collected by the CMS experiment in 2017 and 2018, corresponding to a total integrated luminosity of 103.3 fb$^{-1}$. Based on the analysis of the dimuon decay angular distributions in the helicity frame, the polar anisotropy, $\lambda_\theta$, is measured as a function of the transverse momentum, $p_\mathrm{T}$, of the charmonium states, in the 25-120 and 20-100 GeV ranges for the J$/\psi$ and $\psi$(2S), respectively. The non-prompt polarizations agree with predictions based on the hypothesis that, for $p_\mathrm{T}$ $\gtrsim$ 25 GeV, the non-prompt J$/\psi$ and $\psi$(2S) are predominantly produced in two-body B meson decays. The prompt results clearly exclude strong transverse polarizations, even for $p_\mathrm{T}$ exceeding 30 times the J$/\psi$ mass, where $\lambda_\theta$ tends to an asymptotic value around 0.3. Taken together with previous measurements, by CMS and LHCb at $\sqrt{s}$ = 7 TeV, the prompt polarizations show a significant variation with $p_\mathrm{T}$, at low $p_\mathrm{T}$.


title: Dynamical Morse entropy

abstract: We consider actions of a tileable amenable group $\Gamma$ on a topological space $X$. For a continuous function on $X$, we define the entropy of the number of homologically detectable critical point of the average of that function over $\Gamma$. This number is bounded below by the sum of the Betti number entropy. This result is thus a generalization of a standard Morse inequality in differential geometry to this setting.


title: Performance and scaling analysis of variational quantum simulation

abstract: We present an empirical analysis of the scaling of the minimal quantum circuit depth required for a variational quantum simulation (VQS) method to obtain a solution to the time evolution of a quantum system within a predefined error tolerance. In a comparison against a non-variational method based on Trotterized time evolution, we observe a better scaling of the depth requirements using the VQS approach with respect to both the size of the system and the simulated time. Results are also put into perspective by discussing the corresponding classical complexity required for VQS. Our results allow us to identify a possible advantage region for VQS over Trotterization.


title: Benchmarking Monocular 3D Dog Pose Estimation Using In-The-Wild Motion Capture Data

abstract: We introduce a new benchmark analysis focusing on 3D canine pose estimation from monocular in-the-wild images. A multi-modal dataset 3DDogs-Lab was captured indoors, featuring various dog breeds trotting on a walkway. It includes data from optical marker-based mocap systems, RGBD cameras, IMUs, and a pressure mat. While providing high-quality motion data, the presence of optical markers and limited background diversity make the captured video less representative of real-world conditions. To address this, we created 3DDogs-Wild, a naturalised version of the dataset where the optical markers are in-painted and the subjects are placed in diverse environments, enhancing its utility for training RGB image-based pose detectors. We show that using the 3DDogs-Wild to train the models leads to improved performance when evaluating on in-the-wild data. Additionally, we provide a thorough analysis using various pose estimation models, revealing their respective strengths and weaknesses. We believe that our findings, coupled with the datasets provided, offer valuable insights for advancing 3D animal pose estimation.


title: Silicon Nitride C-Band Grating Coupler with Reduced Waveguide Back-Reflection Using Adaptively Corrected Elliptical Grates

abstract: We present experimental results for a fully etched C-band grating coupler with reduced back reflection fabricated in an 800 nm silicon nitride platform. Back-reflections are reduced by symmetrically interrupting the first few grates around the center axis of the propagating light. The span of the etched grates is gradually increased until they cover the full width. By interrupting the grates, light is reflected back obliquely, which leads to the excitation of higher-order modes that are scattered out of the structure. While this approach has been previously shown in silicon, it comes with a significant penalty in coupling efficiency of around 2.4 dB of extra loss in the layer stack investigated here. In this work, we present the design and measurement results of a grating coupler in which waveguide-to-waveguide back-reflections are suppressed by ~10 dB with this technique, while at the same time mitigating excess insertion losses by reshaping the grates as ellipses of varying eccentricity. This helps to compensate the phase front error induced by the interruption of the grates. This correction does not affect the level by which the back-reflection is suppressed, but reduces the insertion loss penalty from 2.4 dB to 1 dB.


title: Normal forms for ordinary differential operators, I

abstract: In this paper we develop the generalised Schur theory offered in the recent paper by the second author in dimension one case, and apply it to obtain two applications in different directions of algebra/algebraic geometry. The first application is a new explicit parametrisation of torsion free rank one sheaves on projective irreducible curves with vanishing cohomology groups. The second application is a commutativity criterion for operators in the Weyl algebra or, more generally, in the ring of ordinary differential operators, which we prove in the case when operators have a normal form with the restriction top line (for details see Introduction). Both applications are obtained with the help of normal forms. Namely, considering the ring of ordinary differential operators $D_1=K[[x]][\partial ]$ as a subring of a certain complete non-commutative ring $\hat{D}_1^{sym}$, the normal forms of differential operators mentioned here are obtained after conjugation by some invertible operator ("Schur operator"), calculated using one of the operators in a ring. Normal forms of commuting operators are polynomials with constant coefficients in the differentiation, integration and shift operators, which have a finite order in each variable, and can be effectively calculated for any given commuting operators.


title: Vectorized Representation Dreamer (VRD): Dreaming-Assisted Multi-Agent Motion-Forecasting

abstract: For an autonomous vehicle to plan a path in its environment, it must be able to accurately forecast the trajectory of all dynamic objects in its proximity. While many traditional methods encode observations in the scene to solve this problem, there are few approaches that consider the effect of the ego vehicle's behavior on the future state of the world. In this paper, we introduce VRD, a vectorized world model-inspired approach to the multi-agent motion forecasting problem. Our method combines a traditional open-loop training regime with a novel dreamed closed-loop training pipeline that leverages a kinematic reconstruction task to imagine the trajectory of all agents, conditioned on the action of the ego vehicle. Quantitative and qualitative experiments are conducted on the Argoverse 2 multi-world forecasting evaluation dataset and the intersection drone (inD) dataset to demonstrate the performance of our proposed model. Our model achieves state-of-the-art performance on the single prediction miss rate metric on the Argoverse 2 dataset and performs on par with the leading models for the single prediction displacement metrics.


title: Merger seismology: distinguishing massive merger products from genuine single stars using asteroseismology

abstract: Products of stellar mergers are predicted to be common in stellar populations and can potentially explain stars with peculiar properties. When the merger occurs after the initially more massive star has evolved into the Hertzsprung gap (HG), the merger product may remain in the blue part of the Hertzsprung-Russell diagram (HRD) for millions of years. Such objects could, therefore, explain the overabundance of observed blue stars, such as blue supergiants. However, it is currently not straightforward to distinguish merger products from genuine single stars. We make detailed asteroseismic comparisons between models of massive post-main-sequence merger products and genuine single stars to identify which asteroseismic diagnostics can be used to distinguish them. In doing so, we develop tools for the relatively young field of merger seismology. Genuine single stars in the HG are fully radiative, while merger products have a convective He-burning core and convective H-burning shell while occupying similar locations in the HRD. These structural differences are reflected in lower asymptotic period spacing values for merger products and the appearance of deep dips in their period spacing patterns. Our genuine single-star models with masses above roughly 11.4 solar masses develop short-lived intermediate convective zones during their HG evolution. This also leads to deep dips in their period spacing patterns. Because of the lack of a convective core, merger products and genuine single stars can be distinguished based on their asymptotic period spacing value in this mass range. We perform the comparisons with and without the effects of slow rotation included in the pulsation equations and conclude that the two types of stars are seismically distinguishable in both cases. The observability of the distinguishing asteroseismic features of merger products can now be assessed and exploited in practice.


title: Electrical switching of Ising-superconducting nonreciprocity for quantum neuronal transistor

abstract: Nonreciprocal quantum transport effect is mainly governed by the symmetry breaking of the material systems and is gaining extensive attention in condensed matter physics. Realizing electrical switching of the polarity of the nonreciprocal transport without external magnetic field is essential to the development of nonreciprocal quantum devices. However, electrical switching of superconducting nonreciprocity remains yet to be achieved. Here, we report the observation of field-free electrical switching of nonreciprocal Ising superconductivity in Fe3GeTe2/NbSe2 van der Waals (vdW) heterostructure. By taking advantage of this electrically switchable superconducting nonreciprocity, we demonstrate a proof-of-concept nonreciprocal quantum neuronal transistor, which allows for implementing the XOR logic gate and faithfully emulating biological functionality of a cortical neuron in the brain. Our work provides a promising pathway to realize field-free and electrically switchable nonreciprocity of quantum transport and demonstrate its potential in exploring neuromorphic quantum devices with both functionality and performance beyond the traditional devices.


title: Worst-Case Learning under a Multi-fidelity Model

abstract: Inspired by multi-fidelity methods in computer simulations, this article introduces procedures to design surrogates for the input/output relationship of a high-fidelity code. These surrogates should be learned from runs of both the high-fidelity and low-fidelity codes and be accompanied by error guarantees that are deterministic rather than stochastic. For this purpose, the article advocates a framework tied to a theory focusing on worst-case guarantees, namely Optimal Recovery. The multi-fidelity considerations triggered new theoretical results in three scenarios: the globally optimal estimation of linear functionals, the globally optimal approximation of arbitrary quantities of interest in Hilbert spaces, and their locally optimal approximation, still within Hilbert spaces. The latter scenario boils down to the determination of the Chebyshev center for the intersection of two hyperellipsoids. It is worth noting that the mathematical framework presented here, together with its possible extension, seems to be relevant in several other contexts briefly discussed.


title: Spin Statistics and Surgeries of Topological Solitons in QCD Matter in Magnetic Field

abstract: The ground state of QCD with two flavors (up and down quarks) at finite baryon density in sufficiently strong magnetic field is in a form of either a chiral soliton lattice(CSL), an array of solitons stacked along the magnetic field, or a domain-wall Skyrmion phase in which Skyrmions are spontaneously created on top of the CSL In the latter, one 2D (baby) Skyrmion in the chiral soliton corresponds to two 3D Skyrmions (baryons) in the bulk. In this paper, we study spin statistics of topological solitons by using the following two methods: the conventional Witten's method by embedding the pion fields of two flavors into those of three flavors with the Wess-Zumino-Witten (WZW) term, and a more direct method by using the two-flavor WZW term written in terms of a spin structure. We find that a chiral soliton of finite quantized size called a pancake soliton and a hole on a chiral soliton are fermions or bosons depending on odd or even quantizations of their surface areas, respectively, and a domain-wall Skyrmion is a boson. We also propose surgeries of topological solitons: a domain-wall Skyrmion (boson) can be cut into a pancake soliton (fermion) and a hole (fermion), and a chiral soliton without Skyrmions can be cut into a pancake soliton (fermion) and a hole (fermion).


title: Communication-efficient Vertical Federated Learning via Compressed Error Feedback

abstract: Communication overhead is a known bottleneck in federated learning (FL). To address this, lossy compression is commonly used on the information communicated between the server and clients during training. In horizontal FL, where each client holds a subset of the samples, such communication-compressed training methods have recently seen significant progress. However, in their vertical FL counterparts, where each client holds a subset of the features, our understanding remains limited. To address this, we propose an error feedback compressed vertical federated learning (EFVFL) method to train split neural networks. In contrast with previous communication-compressed methods for vertical FL, EFVFL does not require a vanishing compression error for the gradient norm to converge to zero for smooth nonconvex problems. By leveraging error feedback, our method can achieve a $\mathcal{O}(1/T)$ convergence rate in the full-batch case, improving over the state-of-the-art $\mathcal{O}(1/\sqrt{T})$ rate under $\mathcal{O}(1/\sqrt{T})$ compression error, and matching the rate of uncompressed methods. Further, when the objective function satisfies the Polyak-{\L}ojasiewicz inequality, our method converges linearly. In addition to improving convergence rates, our method also supports the use of private labels. Numerical experiments show that EFVFL significantly improves over the prior art, confirming our theoretical results.


title: Learning Binary Color Filter Arrays with Trainable Hard Thresholding

abstract: Color Filter Arrays (CFA) are optical filters in digital cameras that capture specific color channels. Current commercial CFAs are hand-crafted patterns with different physical and application-specific considerations. This study proposes a binary CFA learning module based on hard thresholding with a deep learning-based demosaicing network in a joint architecture. Unlike most existing learnable CFAs that learn a channel from the whole color spectrum or linearly combine available digital colors, this method learns a binary channel selection, resulting in CFAs that are practical and physically implementable to digital cameras. The binary selection is based on adapting the hard thresholding operation into neural networks via a straight-through estimator, and therefore it is named HardMax. This paper includes the background on the CFA design problem, the description of the HardMax method, and the performance evaluation results. The evaluation of the proposed method includes tests for different demosaicing models, color configurations, filter sizes, and a comparison with existing methods in various reconstruction metrics. The proposed approach is tested with Kodak and BSDS500 datasets and provides higher reconstruction performance than hand-crafted or alternative learned binary filters.


title: FutureNet-LOF: Joint Trajectory Prediction and Lane Occupancy Field Prediction with Future Context Encoding

abstract: Most prior motion prediction endeavors in autonomous driving have inadequately encoded future scenarios, leading to predictions that may fail to accurately capture the diverse movements of agents (e.g., vehicles or pedestrians). To address this, we propose FutureNet, which explicitly integrates initially predicted trajectories into the future scenario and further encodes these future contexts to enhance subsequent forecasting. Additionally, most previous motion forecasting works have focused on predicting independent futures for each agent. However, safe and smooth autonomous driving requires accurately predicting the diverse future behaviors of numerous surrounding agents jointly in complex dynamic environments. Given that all agents occupy certain potential travel spaces and possess lane driving priority, we propose Lane Occupancy Field (LOF), a new representation with lane semantics for motion forecasting in autonomous driving. LOF can simultaneously capture the joint probability distribution of all road participants' future spatial-temporal positions. Due to the high compatibility between lane occupancy field prediction and trajectory prediction, we propose a novel network with future context encoding for the joint prediction of these two tasks. Our approach ranks 1st on two large-scale motion forecasting benchmarks: Argoverse 1 and Argoverse 2.