title: Smoothing the Nonsmoothness

abstract: To tackle difficulties for theoretical studies in situations involving nonsmooth functions, we propose a sequence of infinitely differentiable functions to approximate the nonsmooth function under consideration. A rate of approximation is established and an illustration of its application is then provided.


title: Human Feedback is not Gold Standard

abstract: Human feedback has become the de facto standard for evaluating the performance of Large Language Models, and is increasingly being used as a training objective. However, it is not clear which properties of a generated output this single `preference' score captures. We hypothesise that preference scores are subjective and open to undesirable biases. We critically analyse the use of human feedback for both training and evaluation, to verify whether it fully captures a range of crucial error criteria. We find that while preference scores have fairly good coverage, they under-represent important aspects like factuality. We further hypothesise that both preference scores and error annotation may be affected by confounders, and leverage instruction-tuned models to generate outputs that vary along two possible confounding dimensions: assertiveness and complexity. We find that the assertiveness of an output skews the perceived rate of factuality errors, indicating that human annotations are not a fully reliable evaluation metric or training objective. Finally, we offer preliminary evidence that using human feedback as a training objective disproportionately increases the assertiveness of model outputs. We encourage future work to carefully consider whether preference scores are well aligned with the desired objective.


title: Intrinsic H\"older spaces for fractional kinetic operators

abstract: We introduce anisotropic H\"older spaces useful for the study of the regularity theory for non local kinetic operators $\mathcal{L}$ whose prototypal example is \begin{equation} \mathcal{L} u (t,x,v) = \int_{\mathbb{R}^d} \frac{C_{d,s}}{|v - v'|^{d+2s}} (u(t,x,v') - u(t,x,v)) d v' + \langle v , \nabla_x \rangle + \partial_t, \quad (t,x,v)\in\mathbb{R}\times\mathbb{R}^{2d}. \end{equation} The H\"older spaces are defined in terms of an anisotropic distance relevant to the Galilean geometric structure on $\mathbb{R}\times\mathbb{R}^{2d}$ the operator $\mathcal{L}$ is invariant with respect to. We prove an intrinsic Taylor-like formula, whose reminder is estimated in terms of the anisotropic distance of the Galilean structure. Our achievements naturally extend analogous known results for purely differential operators on Lie groups.


title: Dark Side Augmentation: Generating Diverse Night Examples for Metric Learning

abstract: Image retrieval methods based on CNN descriptors rely on metric learning from a large number of diverse examples of positive and negative image pairs. Domains, such as night-time images, with limited availability and variability of training data suffer from poor retrieval performance even with methods performing well on standard benchmarks. We propose to train a GAN-based synthetic-image generator, translating available day-time image examples into night images. Such a generator is used in metric learning as a form of augmentation, supplying training data to the scarce domain. Various types of generators are evaluated and analyzed. We contribute with a novel light-weight GAN architecture that enforces the consistency between the original and translated image through edge consistency. The proposed architecture also allows a simultaneous training of an edge detector that operates on both night and day images. To further increase the variability in the training examples and to maximize the generalization of the trained model, we propose a novel method of diverse anchor mining. The proposed method improves over the state-of-the-art results on a standard Tokyo 24/7 day-night retrieval benchmark while preserving the performance on Oxford and Paris datasets. This is achieved without the need of training image pairs of matching day and night images. The source code is available at https://github.com/mohwald/gandtr .


title: Quantum walk mixing is faster than classical on periodic lattices

abstract: This work focuses on the quantum mixing time, which is crucial for efficient quantum sampling and algorithm performance. We extend Richter's previous analysis of continuous time quantum walks on the periodic lattice $\mathbb{Z}_{n_1}\times \mathbb{Z}_{n_2}\times \dots \times \mathbb{Z}_{n_d}$, allowing for non-identical dimensions $n_i$. We present two quantum walks that achieve faster mixing compared to classical random walks. The first is a coordinate-wise quantum walk with a mixing time of $O\left(\left(\sum{i=1}^{d} n_i \right) \log{(d/\epsilon)}\right)$ and $O(d \log(d/\epsilon))$ measurements. The second is a continuous-time quantum walk with $O(\log(1/\epsilon))$ measurements, conjectured to have a mixing time of $O\left(\sum_{i=1}^d n_i(\log(n_1))^2 \log(1/\epsilon)\right)$. Our results demonstrate a quadratic speedup over classical mixing times on the generalized periodic lattice. We provide analytical evidence and numerical simulations supporting the conjectured faster mixing time. The ultimate goal is to prove the general conjecture for quantum walks on regular graphs.


title: ShapeDBA: Generating Effective Time Series Prototypes using ShapeDTW Barycenter Averaging

abstract: Time series data can be found in almost every domain, ranging from the medical field to manufacturing and wireless communication. Generating realistic and useful exemplars and prototypes is a fundamental data analysis task. In this paper, we investigate a novel approach to generating realistic and useful exemplars and prototypes for time series data. Our approach uses a new form of time series average, the ShapeDTW Barycentric Average. We therefore turn our attention to accurately generating time series prototypes with a novel approach. The existing time series prototyping approaches rely on the Dynamic Time Warping (DTW) similarity measure such as DTW Barycentering Average (DBA) and SoftDBA. These last approaches suffer from a common problem of generating out-of-distribution artifacts in their prototypes. This is mostly caused by the DTW variant used and its incapability of detecting neighborhood similarities, instead it detects absolute similarities. Our proposed method, ShapeDBA, uses the ShapeDTW variant of DTW, that overcomes this issue. We chose time series clustering, a popular form of time series analysis to evaluate the outcome of ShapeDBA compared to the other prototyping approaches. Coupled with the k-means clustering algorithm, and evaluated on a total of 123 datasets from the UCR archive, our proposed averaging approach is able to achieve new state-of-the-art results in terms of Adjusted Rand Index.


title: Transformer-VQ: Linear-Time Transformers via Vector Quantization

abstract: We introduce Transformer-VQ, a decoder-only transformer computing softmax-based dense self-attention in linear time. Transformer-VQ's efficient attention is enabled by vector-quantized keys and a novel caching mechanism. In our large-scale experiments, Transformer-VQ is shown highly competitive in quality, obtaining 0.99 bpb on Enwik8, 26.6 ppl on PG-19, and 3.16 bpb on ImageNet64. In addition, the optimized implementation of Transformer-VQ is over 3x faster than a comparable quadratic-time transformer at sequence length 8k, is over 12x faster at 32k, and can scale to 131k with similar throughput. Code available: \url{https://github.com/transformer-vq/transformer_vq}


title: Reconstruction of total solar irradiance variability as simultaneously apparent from Solar Orbiter and Solar Dynamics Observatory

abstract: Solar irradiance variability has been monitored almost exclusively from the Earth's perspective. {We present a method to combine the unprecedented observations of the photospheric magnetic field and continuum intensity from outside the Sun-Earth line, which is being recorded by the Polarimetric and Helioseismic Imager on board the Solar Orbiter mission (SO/PHI), with solar observations recorded from the Earth's perspective to examine the solar irradiance variability from both perspectives simultaneously.} Taking SO/PHI magnetograms and continuum intensity images from the cruise phase of the Solar Orbiter mission and concurrent observations from the Helioseismic and Magnetic Imager onboard the Solar Dynamics Observatory (SDO/HMI) as input into the SATIRE-S model, we successfully reconstructed the total solar irradiance variability as apparent from both perspectives. In later stages of the SO mission, the orbital plane will tilt in such a way as to bring the spacecraft away from the ecliptic to heliographic latitudes of up to $33^{\circ}$. The current study sets the template for the reconstruction of solar irradiance variability as seen from outside the ecliptic from data that SO/PHI is expected to collect from such positions. {Such a reconstruction will be beneficial to factoring inclination into how the brightness variations of the Sun compare to those of other cool stars, whose rotation axes are randomly inclined.


title: Primordial black holes in scalar field inflation coupled to the Gauss-Bonnet term with fractional power-law potentials

abstract: In this study, we investigate the formation of primordial black holes (PBHs) in a scalar field inflationary model coupled to the Gauss-Bonnet (GB) term with fractional power-law potentials. The coupling function enhances the curvature perturbations, then results in the generation of PBHs and detectable secondary gravitational waves (GWs). % We identify three separate sets of parameters for the potential functions of the form $\phi^{1/3}$, $\phi^{2/5}$, and $\phi^{2/3}$. By adjusting the model parameters, we decelerate the inflaton during the ultra slow-roll (USR) phase and enhance curvature perturbations. % Our calculations predict the formation of PBHs with masses of ${\cal O}(10)M_{\odot}$, which are compatible with LIGO-Virgo observational data. Additionally, we find PBHs with masses around ${\cal O}(10^{-6})M_{\odot}$ and ${\cal O}(10^{-5})M_{\odot}$, which can explain ultrashort-timescale microlensing events in OGLE data. % Furthermore, our proposed mechanism could lead to the formation of PBHs in mass scales around ${\cal O}(10^{-14})M_{\odot}$ and ${\cal O}(10^{-13})M_{\odot}$, contributing to approximately 99\% of the dark matter in the universe. % We also study the production of secondary GWs in our model. In all cases of the model, the density parameter of secondary GWs $\Omega_{\rm GW_0}$ exhibits peaks that intersect the sensitivity curves of GWs detectors, providing a means to verify our findings using data of these detectors. % Our numerical results demonstrate a power-law behavior for the spectra of $\Omega_{\rm GW_0}$ with respect to frequency, given by $\Omega_{\rm GW_0} (f) \sim (f/f_c)^{n}$. Additionally, in the infrared regime where $f\ll f_{c}$, the power index takes a log-dependent form, specifically $n=3-2/\ln(f_c/f)$.


title: Leveraging Pre-trained Language Models for Time Interval Prediction in Text-Enhanced Temporal Knowledge Graphs

abstract: Most knowledge graph completion (KGC) methods learn latent representations of entities and relations of a given graph by mapping them into a vector space. Although the majority of these methods focus on static knowledge graphs, a large number of publicly available KGs contain temporal information stating the time instant/period over which a certain fact has been true. Such graphs are often known as temporal knowledge graphs. Furthermore, knowledge graphs may also contain textual descriptions of entities and relations. Both temporal information and textual descriptions are not taken into account during representation learning by static KGC methods, and only structural information of the graph is leveraged. Recently, some studies have used temporal information to improve link prediction, yet they do not exploit textual descriptions and do not support inductive inference (prediction on entities that have not been seen in training). We propose a novel framework called TEMT that exploits the power of pre-trained language models (PLMs) for text-enhanced temporal knowledge graph completion. The knowledge stored in the parameters of a PLM allows TEMT to produce rich semantic representations of facts and to generalize on previously unseen entities. TEMT leverages textual and temporal information available in a KG, treats them separately, and fuses them to get plausibility scores of facts. Unlike previous approaches, TEMT effectively captures dependencies across different time points and enables predictions on unseen entities. To assess the performance of TEMT, we carried out several experiments including time interval prediction, both in transductive and inductive settings, and triple classification. The experimental results show that TEMT is competitive with the state-of-the-art.


title: Characterization, Simulation and Test Beam Data Analysis of Stitched Passive CMOS Strip Sensors

abstract: In the passive CMOS Strips Project, strip sensors were designed at the University of Bonn and produced by LFoundry in 150 nm technology, with an additional backside processing from IZM Berlin. Up to five individual reticules were connected by stitching at the foundry in order to obtain the typical strip lengths required for the LHC Phase-II upgrade of ATLAS or CMS trackers. After dicing, sensors were tested in a probe station and characterised with a Sr90-source as well as laser-based edge- and top-TCT systems. Sensors were also simulated using Sentaurus TCAD. At last, detector modules were constructed from several sensors and thoroughly studied in two beam campaigns at DESY. All of these measurements were performed before and after irradiation. This contribution provides an overview of simulation results, summarises the laboratory measurements and in particular presents first test beam results for irradiated and unirradiated passive CMOS strip sensors. We are demonstrating that large area sensors with sufficient radiation hardness can be obtained by stitching during the CMOS process, and presenting our plans for the next submission in the framework of this project.


title: Byzantine Resilient Computing with the Cloud

abstract: We study a framework for modeling distributed network systems assisted by a reliable and powerful cloud service. Our framework aims at capturing hybrid systems based on a point to point message passing network of machines, with the additional capability of being able to access the services of a trusted high-performance external entity (the cloud). We focus on one concrete aspect that was not studied before, namely, ways of utilizing the cloud assistance in order to attain increased resilience against Byzantine behavior of machines in the network. Our network is modeled as a congested clique comprising $k$ machines that are completely connected to form a clique and can communicate with each other by passing small messages. In every execution, up to $\beta k$ machines (for suitable values of $\beta \in [0, 1)$) are allowed to be Byzantine, i.e., behave maliciously including colluding with each other, with the remaining $\gamma k$ or more machines being \emph{honest} (for $\gamma=1-\beta$). Additionally, the machines in our congested clique can access data through a trusted cloud via queries. This externality of the data captures many real-world distributed computing scenarios and provides a natural context for exploring Byzantine resilience for essentially all conceivable problems. Moreover, we are no longer bound by the usual limits of $\beta < 1/3$ or even $\beta < 1/2$ that are typically seen in Byzantine Agreement. We focus on a few fundamental problems. We start with the ${\textsf{Download}}$ problem, wherein the cloud stores $n$ bits and these $n$ bits must be downloaded to all of the $k$ machines. In addition to ${\textsf{Download}}$, we also consider the problem of computing the ${\textsf{Disjunction}}$ and ${\textsf{Parity}}$ of the bits in the cloud. We study these problems under several settings comprising various $\beta$ values and adversarial capabilities.


title: Ehrenfest's Theorem for the Dirac Equation in Noncommutative Phase-Space

abstract: In this article, we investigate Ehrenfest's theorem from the Dirac equation in a noncommutative phase-space where we calculate the time derivative of the position and the kinetic momentum operators for Dirac particles in interaction with electromagnetic field and within a noncommutative setting. This allows examining the effect of the phase-space noncommutativity on Ehrenfest's theorem. Knowing that with both the linear Bopp-Shift and Moyal-Weyl product, the noncommutativity is inserted.


title: Asymptotic behaviour of solutions to the anisotropic doubly critical equation

abstract: The aim of this paper is to deal with the anisotropic doubly critical equation $$-\Delta_p^H u - \frac{\gamma}{[H^\circ(x)]^p} u^{p-1} = u^{p^*-1} \qquad \text{in } \R^N,$$ where $H$ is in some cases called Finsler norm, $H^\circ$ is the dual norm, $1<p<N$, $0 \leq \gamma< \left((N-p)/p\right)^p$ and $p^*=Np/(N-p)$. In particular, we provide a complete asymptotic analysis of $u \in \mathcal{D}^{1,p}(\R^N)$ near the origin and at infinity, showing that this solution has the same features of its euclidean counterpart. Some of the techniques used in the proofs are new even in the Euclidean framework.


title: Chiral light in twisted Fabry-P\'erot cavities

abstract: Fundamental studies of the interaction of chiral light with chiral matter are important for the development of techniques that allow handedness-selective optical detection of chiral organic molecules. One approach to achieve this goal is the creation of a Fabry-P\'erot cavity that supports eigenmodes with a desired electromagnetic handedness, which interacts differently with left and right molecular enantiomers. In this paper, we theoretically study chiral Fabry-P\'erot cavities with mirrors comprising one-dimensional photonic crystal slabs made of van der Waals As$_2$S$_3$, a material with one of the highest known in-plane anisotropy. By utilizing the anisotropy degree of freedom provided by As$_2$S$_3$, we design Fabry-P\'erot cavities with constitutional and configurational geometrical chiralities. We demonstrate that in cavities with constitutional chirality, electromagnetic modes of left or right handedness exist due to the chirality of both mirrors, often referred to as handedness preserving mirrors in the literature. At the same time, cavities with configurational chirality support modes of both handednesses due to chiral morphology of the entire structure, set by the twist angle between the optical axes of the upper and lower non-chiral anisotropic mirrors. The developed chiral Fabry-P\'erot cavities can be tuned to the technologically available distance between the mirrors by properly twisting them, making such systems a prospective platform for the coupling of chiral light with chiral matter.


title: Integrating quantum and classical computing for multi-energy system optimization using Benders decomposition

abstract: During recent years, quantum computers have received increasing attention, primarily due to their ability to significantly increase computational performance for specific problems. Computational performance could be improved for mathematical optimization by quantum annealers. This special type of quantum computer can solve quadratic unconstrained binary optimization problems. However, multi-energy systems optimization commonly involves integer and continuous decision variables. Due to their mixed-integer problem structure, quantum annealers cannot be directly used for multi-energy system optimization. To solve multi-energy system optimization problems, we present a hybrid Benders decomposition approach combining optimization on quantum and classical computers. In our approach, the quantum computer solves the master problem, which involves only the integer variables from the original energy system optimization problem. The subproblem includes the continuous variables and is solved by a classical computer. For better performance, we apply improvement techniques to the Benders decomposition. We test the approach on a case study to design a cost-optimal multi-energy system. While we provide a proof of concept that our Benders decomposition approach is applicable for the design of multi-energy systems, the computational time is still higher than for approaches using classical computers only. We therefore estimate the potential improvement of our approach to be expected for larger and fault-tolerant quantum computers.


title: FG-NeRF: Flow-GAN based Probabilistic Neural Radiance Field for Independence-Assumption-Free Uncertainty Estimation

abstract: Neural radiance fields with stochasticity have garnered significant interest by enabling the sampling of plausible radiance fields and quantifying uncertainty for downstream tasks. Existing works rely on the independence assumption of points in the radiance field or the pixels in input views to obtain tractable forms of the probability density function. However, this assumption inadvertently impacts performance when dealing with intricate geometry and texture. In this work, we propose an independence-assumption-free probabilistic neural radiance field based on Flow-GAN. By combining the generative capability of adversarial learning and the powerful expressivity of normalizing flow, our method explicitly models the density-radiance distribution of the whole scene. We represent our probabilistic NeRF as a mean-shifted probabilistic residual neural model. Our model is trained without an explicit likelihood function, thereby avoiding the independence assumption. Specifically, We downsample the training images with different strides and centers to form fixed-size patches which are used to train the generator with patch-based adversarial learning. Through extensive experiments, our method demonstrates state-of-the-art performance by predicting lower rendering errors and more reliable uncertainty on both synthetic and real-world datasets.


title: Libertas: Privacy-Preserving Computation for Decentralised Personal Data Stores

abstract: Data-driven decision-making and AI applications present exciting new opportunities delivering widespread benefits. The rapid adoption of such applications triggers legitimate concerns about loss of privacy and misuse of personal data. This leads to a growing and pervasive tension between harvesting ubiquitous data on the Web and the need to protect individuals. Decentralised personal data stores (PDS) such as Solid are frameworks designed to give individuals ultimate control over their personal data. But current PDS approaches have limited support for ensuring privacy when computations combine data spread across users. Secure Multi-Party Computation (MPC) is a well-known subfield of cryptography, enabling multiple autonomous parties to collaboratively compute a function while ensuring the secrecy of inputs (input privacy). These two technologies complement each other, but existing practices fall short in addressing the requirements and challenges of introducing MPC in a PDS environment. For the first time, we propose a modular design for integrating MPC with Solid while respecting the requirements of decentralisation in this context. Our architecture, Libertas, requires no protocol level changes in the underlying design of Solid, and can be adapted to other PDS. We further show how this can be combined with existing differential privacy techniques to also ensure output privacy. We use empirical benchmarks to inform and evaluate our implementation and design choices. We show the technical feasibility and scalability pattern of the proposed system in two novel scenarios -- 1) empowering gig workers with aggregate computations on their earnings data; and 2) generating high-quality differentially-private synthetic data without requiring a trusted centre. With this, we demonstrate the linear scalability of Libertas, and gained insights about compute optimisations under such an architecture.


title: Application of Rigorous Interface Boundary Conditions in Mesoscale Plasticity Simulations

abstract: The interactions between dislocations and interface/grain boundaries, including dislocation absorption, transmission, and reflection, have garnered significant attention from the research community for their impact on the mechanical properties of materials. However, the traditional approaches used to simulate grain boundaries lack physical fidelity and are often incompatible across different simulation methods. We review a new mesoscale interface boundary condition based on Burgers vector conservation and kinetic dislocation reaction processes. The main focus of the paper is to demonstrate how to unify this boundary condition with different plasticity simulation approaches such as the crystal plasticity finite element, continuum dislocation dynamics, and discrete dislocation dynamics methods. To validate our interface boundary condition, we implemented simulations using both the crystal plasticity finite element method and a two-dimensional continuum dislocation dynamics model. Our results show that our compact and physically realistic interface boundary condition can be easily integrated into multiscale simulation methods and yield novel results consistent with experimental observations.


title: Newtonian and Post-Newtonian Aspects of Mimetic Gravity

abstract: Mimetic gravity is a modified theory of gravity which is able to incorporate dark matter into the underlying geometry of space-time by isolating the conformal degree of freedom. The theory has been studied extensively in the cosmological regime, as such, we set out to study the implications of the theory at astrophysical scales. To that end, we carry out the post-Newtonian expansion of mimetic gravity to lowest post-Newtonian order. We interpret the equations in the Newtonian limit and study some of the implications of the theory at the solar system scale. Then by establishing some bounds on the asymptotic behavior of the fields we prove that any static spherically symmetric space-time with a non trivial mimetic contribution cannot be asymptotically flat. Finally, we study static spherically symmetric solutions. To explain the rotation curves, one needs a logarithmic term in the potential, we show that even though the mimetic fluid can't reconstruct an exact logarithmic term, it is able to contribute a quasi-logarithmic term which recovers the basic qualitative features of galactic rotation curves.


title: Kinetic Simulation of He radio frequency capacitive coupled plasma

abstract: Radiofrequency capacitively coupled plasma is studied theoretically using a Particle-in-Cell code. For He discharge, the time-averaged sheaths are in the range of few centimeters. The sheath potential, ion, and electron energy and angular distributions, discharge current, and dissipated power depend on the driven potentials and frequencies. Increasing the amplitude of the high radio frequencies increases the bulk density and the sheath potential and, consequently, increases the plasma processing rate. Increasing the intermediate radio frequency amplitude allows a wider sheath with a broad ion energy distribution and a narrower ion angular distribution. Changing the amplitude and the phase shift between driven frequencies provide different energies and angular distribution allowing performing various processes. The interplay between the sheath and bulk dynamics in the intermediate radiofrequency regime and the high-frequency regime may excite harmonics in the discharge current.


title: Bringing the Discussion of Minima Sharpness to the Audio Domain: a Filter-Normalised Evaluation for Acoustic Scene Classification

abstract: The correlation between the sharpness of loss minima and generalisation in the context of deep neural networks has been subject to discussion for a long time. Whilst mostly investigated in the context of selected benchmark data sets in the area of computer vision, we explore this aspect for the acoustic scene classification task of the DCASE2020 challenge data. Our analysis is based on two-dimensional filter-normalised visualisations and a derived sharpness measure. Our exploratory analysis shows that sharper minima tend to show better generalisation than flat minima -even more so for out-of-domain data, recorded from previously unseen devices-, thus adding to the dispute about better generalisation capabilities of flat minima. We further find that, in particular, the choice of optimisers is a main driver of the sharpness of minima and we discuss resulting limitations with respect to comparability. Our code, trained model states and loss landscape visualisations are publicly available.


title: Non-integrable distributions with simple infinite-dimensional Lie (super)algebras of symmetries

abstract: Over $\mathbb{C}$, the only non-integrable distributions with infinite-dimensional Lie algebra of symmetries are the contact one and the Engel one. From the classification of simple infinite-dimensional Lie superalgebras of vector fields with polynomial coefficients over $\mathbb{C}$ we single out 2 types of contact series and 7 exceptional Lie superalgebras which preserve non-integrable distributions and list the growth vectors of these distributions. We also classify the Weisfeiler gradings of the simple modular vectorial Lie (super)algebras with unconstrained shearing vector of heights of the indeterminates, single out the versions preserving non-integrable distributions and list the growth vectors of the latter.


title: Computing the symmetric $\mathfrak{gl}_1$-homology

abstract: The symmetric $\mathfrak{gl}_n$-homologies, introduced by Robert and Wagner, provide a categorification of the Reshetikhin--Turaev invariants corresponding to symmetric powers of the standard representation of quantum $\mathfrak{gl}_n$. Unlike in the exterior setting, these homologies are already non-trivial when $n=1$. Moreover, in this case, their construction can be greatly simplified. Our first aim is giving a down-to-earth description of the non-equivariant symmetric $\mathfrak{gl}_1$-homology, together with relations that hold in this setting. We then find a basis for the state spaces of graphs, and use it to construct an algorithm and a program computing the invariant for uncolored links.


title: Aperture Diffraction for Compact Snapshot Spectral Imaging

abstract: We demonstrate a compact, cost-effective snapshot spectral imaging system named Aperture Diffraction Imaging Spectrometer (ADIS), which consists only of an imaging lens with an ultra-thin orthogonal aperture mask and a mosaic filter sensor, requiring no additional physical footprint compared to common RGB cameras. Then we introduce a new optical design that each point in the object space is multiplexed to discrete encoding locations on the mosaic filter sensor by diffraction-based spatial-spectral projection engineering generated from the orthogonal mask. The orthogonal projection is uniformly accepted to obtain a weakly calibration-dependent data form to enhance modulation robustness. Meanwhile, the Cascade Shift-Shuffle Spectral Transformer (CSST) with strong perception of the diffraction degeneration is designed to solve a sparsity-constrained inverse problem, realizing the volume reconstruction from 2D measurements with Large amount of aliasing. Our system is evaluated by elaborating the imaging optical theory and reconstruction algorithm with demonstrating the experimental imaging under a single exposure. Ultimately, we achieve the sub-super-pixel spatial resolution and high spectral resolution imaging. The code will be available at: https://github.com/Krito-ex/CSST.


title: Regularization and Model Selection for Item-on-Items Regression with Applications to Food Products' Survey Data

abstract: Ordinal data are quite common in applied statistics. Although some model selection and regularization techniques for categorical predictors and ordinal response models have been developed over the past few years, less work has been done concerning ordinal-on-ordinal regression. Motivated by survey datasets on food products consisting of Likert-type items, we propose a strategy for smoothing and selection of ordinally scaled predictors in the cumulative logit model. First, the original group lasso is modified by use of difference penalties on neighbouring dummy coefficients, thus taking into account the predictors' ordinal structure. Second, a fused lasso type penalty is presented for fusion of predictor categories and factor selection. The performance of both approaches is evaluated in simulation studies, while our primary case study is a survey on the willingness to pay for luxury food products.


title: MHG-GNN: Combination of Molecular Hypergraph Grammar with Graph Neural Network

abstract: Property prediction plays an important role in material discovery. As an initial step to eventually develop a foundation model for material science, we introduce a new autoencoder called the MHG-GNN, which combines graph neural network (GNN) with Molecular Hypergraph Grammar (MHG). Results on a variety of property prediction tasks with diverse materials show that MHG-GNN is promising.


title: A Comprehensive Review on Tree Detection Methods Using Point Cloud and Aerial Imagery from Unmanned Aerial Vehicles

abstract: Unmanned Aerial Vehicles (UAVs) are considered cutting-edge technology with highly cost-effective and flexible usage scenarios. Although many papers have reviewed the application of UAVs in agriculture, the review of the application for tree detection is still insufficient. This paper focuses on tree detection methods applied to UAV data collected by UAVs. There are two kinds of data, the point cloud and the images, which are acquired by the Light Detection and Ranging (LiDAR) sensor and camera, respectively. Among the detection methods using point-cloud data, this paper mainly classifies these methods according to LiDAR and Digital Aerial Photography (DAP). For the detection methods using images directly, this paper reviews these methods by whether or not to use the Deep Learning (DL) method. Our review concludes and analyses the comparison and combination between the application of LiDAR-based and DAP-based point cloud data. The performance, relative merits, and application fields of the methods are also introduced. Meanwhile, this review counts the number of tree detection studies using different methods in recent years. From our statics, the detection task using DL methods on the image has become a mainstream trend as the number of DL-based detection researches increases to 45% of the total number of tree detection studies up to 2022. As a result, this review could help and guide researchers who want to carry out tree detection on specific forests and for farmers to use UAVs in managing agriculture production.


title: A microlocal investigation of stochastic partial differential equations for spinors with an application to the Thirring model

abstract: On a $d$-dimensional Riemannian, spin manifold $(M,g)$ we consider non-linear, stochastic partial differential equations for spinor fields, driven by a Dirac operator and coupled to an additive Gaussian, vector-valued white noise. We extend to the case in hand a procedure, introduced in [DDRZ20] for the scalar counterpart, which allows to compute at a perturbative level the expectation value of the solutions as well as the associated correlation functions accounting intrinsically for the underlying renormalization freedoms. This framework relies strongly on tools proper of microlocal analysis and it is inspired by the algebraic approach to quantum field theory. As a concrete example we apply it to a stochastic version of the Thirring model proving in particular that it lies in the subcritical regime if $d\leq 2$.


title: PSR J1953+1844 probably being the descendant of an Ultra-compact X-ray binary

abstract: PSR J1953+1844 (i.e., M71E) is a millisecond pulsar (MSP)in a 53 minute binary orbit discovered by the Five-hundred-meter Aperture Spherical radio Telescope. The mass function from pulsar timing is $2.3\times10^{-7}$ $M_\odot$. The possible redback origin of this system has been discussed by Pan et al. We discuss here an alternative evolution track for this binary system, namely that PSR J1953+1844 is a descendant of an ultra-compact X-ray binary (UCXB), which has a hydrogen-poor donor accreting onto a neutron star (NS) with an orbital period of $\leq1$ hr. We noticed that some of UCXB systems hold an accreting millisecond X-ray pulsars (AMXPs) and a donor with a mass of about 0.01 M$_\odot$. M71E has a very similar orbit to those of AMXPs, indicating that it might be evolved from a UCXB similar to PSR J1653--0158. The companion star of M71E should be significantly bloated and it most probably has a carbon and oxygen composition, otherwise a low inclination angle of the orbit is required for a helium companion. The discovery of this M71E binary system may shed light on when and how an NS in a UCXBs turns into a radio pulsar.


title: Meshless interface tracking for the simulation of dendrite envelope growth

abstract: The growth of dendritic grains during solidification is often modelled using the Grain Envelope Model (GEM), in which the envelope of the dendrite is an interface tracked by the Phase Field Interface Capturing (PFIC) method. In the PFIC method, an phase-field equation is solved on a fixed mesh to track the position of the envelope. While being versatile and robust, PFIC introduces certain numerical artefacts. In this work, we present an alternative approach for the solution of the GEM that employs a Meshless (sharp) Interface Tracking (MIT) formulation, which uses direct, artefact-free interface tracking. In the MIT, the envelope (interface) is defined as a moving domain boundary and the interface-tracking nodes are boundary nodes for the diffusion problem solved in the domain. To increase the accuracy of the method for the diffusion-controlled moving-boundary problem, an \h-adaptive spatial discretization is used, thus, the node spacing is refined in the vicinity of the envelope. MIT combines a parametric surface reconstruction, a mesh-free discretization of the parametric surfaces and the space enclosed by them, and a high-order approximation of the partial differential operators and of the solute concentration field using radial basis functions augmented with monomials. The proposed method is demonstrated on a two-dimensional \h-adaptive solution of the diffusive growth of dendrite and evaluated by comparing the results to the PFIC approach. It is shown that MIT can reproduce the results calculated with PFIC, that it is convergent and that it can capture more details in the envelope shape than PFIC with a similar spatial discretization.


title: Emergency of black holes from wormholes

abstract: In this paper, we study the spherically symmetric Dirac star model in the presence of a phantom field, obtaining a traversable wormhole solution in non-trivial topological spacetime. This solution exhibits asymmetry in both the field configuration and the metric and possesses a finite ADM mass $M$ and Noether charge $Q$. Furthermore, we find that due to the presence of a wormhole at the center, this solution exhibits many differences from the Dirac star under trivial spacetime. Notably, when the wormhole throat size is small, our numerical calculations indicate the emergence of an extremely approximate black hole solution on one side of the wormhole spacetime, a phenomenon unexplored. At this time, the Kretschmann scalar near the throat tends to infinity, indicating the wormhole becomes untraversable.


title: Conditional normalizing flows for IceCube event reconstruction

abstract: The IceCube Neutrino Observatory is a cubic-kilometer high-energy neutrino detector deployed in the Antarctic ice. Two major event classes are charged-current electron and muon neutrino interactions. In this contribution, we discuss the inference of direction and energy for these classes using conditional normalizing flows. They allow to derive a posterior distribution for each individual event based on the raw data that can include systematic uncertainties, which makes them very promising for next-generation reconstructions. For each normalizing flow we use the differential entropy and the KL-divergence to its maximum entropy approximation to interpret the results. The normalizing flows correctly incorporate complex optical properties of the Antarctic ice and their relation to the embedded detector. For showers, the differential entropy increases in regions of high photon absorption and decreases in clear ice. For muons, the differential entropy strongly correlates with the contained track length. Coverage is maintained, even for low photon counts and highly asymmetrical contour shapes. For high-photon counts, the distributions get narrower and become more symmetrical, as expected from the asymptotic theorem of Bernstein-von-Mises. For shower directional reconstruction, we find the region between 1 TeV and 100 TeV to potentially benefit the most from normalizing flows because of azimuth-zenith asymmetries which have been neglected in previous analyses by assuming symmetrical contours. Events in this energy range play a vital role in the recent discovery of the galactic plane diffuse neutrino emission.


title: Nek5000/RS Performance on Advanced GPU Architectures

abstract: We demonstrate NekRS performance results on various advanced GPU architectures. NekRS is a GPU-accelerated version of Nek5000 that targets high performance on exascale platforms. It is being developed in DOE's Center of Efficient Exascale Discretizations, which is one of the co-design centers under the Exascale Computing Project. In this paper, we consider Frontier, Crusher, Spock, Polaris, Perlmutter, ThetaGPU, and Summit. Simulations are performed with 17x17 rod-bundle geometries from small modular reactor applications. We discuss strong-scaling performance and analysis.


title: RLLTE: Long-Term Evolution Project of Reinforcement Learning

abstract: We present RLLTE: a long-term evolution, extremely modular, and open-source framework for reinforcement learning (RL) research and application. Beyond delivering top-notch algorithm implementations, RLLTE also serves as a toolkit for developing algorithms. More specifically, RLLTE decouples the RL algorithms completely from the exploitation-exploration perspective, providing a large number of components to accelerate algorithm development and evolution. In particular, RLLTE is the first RL framework to build a complete and luxuriant ecosystem, which includes model training, evaluation, deployment, benchmark hub, and large language model (LLM)-empowered copilot. RLLTE is expected to set standards for RL engineering practice and be highly stimulative for industry and academia.


title: MWA rapid follow-up of gravitational wave transients: prospects for detecting prompt radio counterparts

abstract: We present and evaluate the prospects for detecting coherent radio counterparts to gravitational wave (GW) events using Murchison Widefield Array (MWA) triggered observations. The MWA rapid-response system, combined with its buffering mode ($\sim4$ minutes negative latency), enables us to catch any radio signals produced from seconds prior to hours after a binary neutron star (BNS) merger. The large field of view of the MWA ($\sim1000\,\text{deg}^2$ at 120\,MHz) and its location under the high sensitivity sky region of the LIGO-Virgo-KAGRA (LVK) detector network, forecast a high chance of being on-target for a GW event. We consider three observing configurations for the MWA to follow up GW BNS merger events, including a single dipole per tile, the full array, and four sub-arrays. We then perform a population synthesis of BNS systems to predict the radio detectable fraction of GW events using these configurations. We find that the configuration with four sub-arrays is the best compromise between sky coverage and sensitivity as it is capable of placing meaningful constraints on the radio emission from 12.6\% of GW BNS detections. Based on the timescales of four BNS merger coherent radio emission models, we propose an observing strategy that involves triggering the buffering mode to target coherent signals emitted prior to, during or shortly following the merger, which is then followed by continued recording for up to three hours to target later time post-merger emission. We expect MWA to trigger on $\sim5\text{--}22$ BNS merger events during the LVK O4 observing run, which could potentially result in two detections of predicted coherent emission.


title: Multi-Swap $k$-Means++

abstract: The $k$-means++ algorithm of Arthur and Vassilvitskii (SODA 2007) is often the practitioners' choice algorithm for optimizing the popular $k$-means clustering objective and is known to give an $O(\log k)$-approximation in expectation. To obtain higher quality solutions, Lattanzi and Sohler (ICML 2019) proposed augmenting $k$-means++ with $O(k \log \log k)$ local search steps obtained through the $k$-means++ sampling distribution to yield a $c$-approximation to the $k$-means clustering problem, where $c$ is a large absolute constant. Here we generalize and extend their local search algorithm by considering larger and more sophisticated local search neighborhoods hence allowing to swap multiple centers at the same time. Our algorithm achieves a $9 + \varepsilon$ approximation ratio, which is the best possible for local search. Importantly we show that our approach yields substantial practical improvements, we show significant quality improvements over the approach of Lattanzi and Sohler (ICML 2019) on several datasets.


title: Radiative corrections for few-nucleon systems

abstract: We use a combination of effective field theory and the renormalization group to determine the impact of radiative corrections on the nucleon-nucleon potential. In order to do so, we present a modified version of pionless effective field theory inspired by earlier work in nonrelativistic quantum electrodynamics. The renormalization group analysis of corrections in the deuteron indicate that radiative corrections generate $1-2\%$ of the binding energy. This work serves as an important starting point for the study of radiative corrections in few-body systems relevant for precision tests of the Standard Model.


title: QED contributions to the $\Xi_c-\Xi_c'$ mixing

abstract: We explore the QED corrections to the $\Xi_c-\Xi_c^{\prime}$ mixing within the framework of light-front quark model (LFQM) in the three-quark picture. After explicitly investigating the relation between the $\Xi_c-\Xi_c^{\prime}$ mixing and the flavor $\rm {SU(3)}$ and heavy quark symmetry breaking, we derive the QED contributions to the mixing angle. Numerical results indicate the QED contribution is smaller than the one from the mass difference between the strange and up/down quark provided by a recent Lattice QCD analysis. Adding these contributions together we find that at this stage the $\Xi_c-\Xi_c^{\prime}$ mixing is small and still incapable to account for the large $\rm {SU(3)}$ symmetry breaking in the semi-leptonic $\Xi_c$ decays.


title: Streaming quantum state purification

abstract: Quantum state purification is the task of recovering a nearly pure copy of an unknown pure quantum state using multiple noisy copies of the state. This basic task has applications to quantum communication over noisy channels and quantum computation with imperfect devices, but has only been studied previously for the case of qubits. We derive an efficient purification procedure based on the swap test for qudits of any dimension, starting with any initial error parameter. Treating the initial error parameter and the dimension as constants, we show that our procedure has sample complexity asymptotically optimal in the final error parameter. Our protocol has a simple recursive structure that can be applied when the states are provided one at a time in a streaming fashion, requiring only a small quantum memory to implement.


title: Exposing Image Splicing Traces in Scientific Publications via Uncertainty-guided Refinement

abstract: Recently, a surge in scientific publications suspected of image manipulation has led to numerous retractions, bringing the issue of image integrity into sharp focus. Although research on forensic detectors for image plagiarism and image synthesis exists, the detection of image splicing traces in scientific publications remains unexplored. Compared to image duplication and synthesis, image splicing detection is more challenging due to the lack of reference images and the typically small tampered areas. Furthermore, disruptive factors in scientific images, such as artifacts from digital compression, abnormal patterns, and noise from physical operations, present misleading features like splicing traces, significantly increasing the difficulty of this task. Moreover, the scarcity of high-quality datasets of spliced scientific images limits potential advancements. In this work, we propose an Uncertainty-guided Refinement Network (URN) to mitigate the impact of these disruptive factors. Our URN can explicitly suppress the propagation of unreliable information flow caused by disruptive factors between regions, thus obtaining robust splicing features. Additionally, the URN is designed to concentrate improvements in uncertain prediction areas during the decoding phase. We also construct a dataset for image splicing detection (SciSp) containing 1,290 spliced images. Compared to existing datasets, SciSp includes the largest number of spliced images and the most diverse sources. Comprehensive experiments conducted on three benchmark datasets demonstrate the superiority of our approach. We also validate the URN's generalisability in resisting cross-dataset domain shifts and its robustness against various post-processing techniques, including advanced deep-learning-based inpainting.


title: A Universal Framework for Holographic MIMO Sensing

abstract: This paper addresses the sensing space identification of arbitrarily shaped continuous antennas. In the context of holographic multiple-input multiple-output (MIMO), a.k.a. large intelligent surfaces, these antennas offer benefits such as super-directivity and near-field operability. The sensing space reveals two key aspects: (a) its dimension specifies the maximally achievable spatial degrees of freedom (DoFs), and (b) the finite basis spanning this space accurately describes the sampled field. Earlier studies focus on specific geometries, bringing forth the need for extendable analysis to real-world conformal antennas. Thus, we introduce a universal framework to determine the antenna sensing space, regardless of its shape. The findings underscore both spatial and spectral concentration of sampled fields to define a generic eigenvalue problem of Slepian concentration. Results show that this approach precisely estimates the DoFs of well-known geometries, and verify its flexible extension to conformal antennas.


title: An Enhanced Low-Resolution Image Recognition Method for Traffic Environments

abstract: Currently, low-resolution image recognition is confronted with a significant challenge in the field of intelligent traffic perception. Compared to high-resolution images, low-resolution images suffer from small size, low quality, and lack of detail, leading to a notable decrease in the accuracy of traditional neural network recognition algorithms. The key to low-resolution image recognition lies in effective feature extraction. Therefore, this paper delves into the fundamental dimensions of residual modules and their impact on feature extraction and computational efficiency. Based on experiments, we introduce a dual-branch residual network structure that leverages the basic architecture of residual networks and a common feature subspace algorithm. Additionally, it incorporates the utilization of intermediate-layer features to enhance the accuracy of low-resolution image recognition. Furthermore, we employ knowledge distillation to reduce network parameters and computational overhead. Experimental results validate the effectiveness of this algorithm for low-resolution image recognition in traffic environments.


title: 2-Cats: 2D Copula Approximating Transforms

abstract: Copulas are powerful statistical tools for capturing dependencies across data dimensions. Applying Copulas involves estimating independent marginals, a straightforward task, followed by the much more challenging task of determining a single copulating function, $C$, that links these marginals. For bivariate data, a copula takes the form of a two-increasing function $C: (u,v)\in \mathbb{I}^2 \rightarrow \mathbb{I}$, where $\mathbb{I} = [0, 1]$. This paper proposes 2-Cats, a Neural Network (NN) model that learns two-dimensional Copulas without relying on specific Copula families (e.g., Archimedean). Furthermore, via both theoretical properties of the model and a Lagrangian training approach, we show that 2-Cats meets the desiderata of Copula properties. Moreover, inspired by the literature on Physics-Informed Neural Networks and Sobolev Training, we further extend our training strategy to learn not only the output of a Copula but also its derivatives. Our proposed method exhibits superior performance compared to the state-of-the-art across various datasets while respecting (provably for most and approximately for a single other) properties of C.


title: Algebraic Multiplicity and the Poincar\'{e} Problem

abstract: In this paper we derive an upper bound for the degree of the strict invariant algebraic curve of a polynomial system in the complex project plane under generic condition. The results are obtained through the algebraic multiplicities of the system at the singular points. A method for computing the algebraic multiplicity using Newton polygon is also presented.


title: HIC-YOLOv5: Improved YOLOv5 For Small Object Detection

abstract: Small object detection has been a challenging problem in the field of object detection. There has been some works that proposes improvements for this task, such as adding several attention blocks or changing the whole structure of feature fusion networks. However, the computation cost of these models is large, which makes deploying a real-time object detection system unfeasible, while leaving room for improvement. To this end, an improved YOLOv5 model: HIC-YOLOv5 is proposed to address the aforementioned problems. Firstly, an additional prediction head specific to small objects is added to provide a higher-resolution feature map for better prediction. Secondly, an involution block is adopted between the backbone and neck to increase channel information of the feature map. Moreover, an attention mechanism named CBAM is applied at the end of the backbone, thus not only decreasing the computation cost compared with previous works but also emphasizing the important information in both channel and spatial domain. Our result shows that HIC-YOLOv5 has improved mAP@[.5:.95] by 6.42% and mAP@0.5 by 9.38% on VisDrone-2019-DET dataset.


title: Quantum Spectrum of BPS Instanton States in $ 5d $ Guage Theories

abstract: We construct $ 1/2 $ BPS 1-instanton states in the Hilbert space of $ 5d $ gauge theories. The states are local with the scale size $ \rho=0 $. With the degeneracy from the gauge orientation taken into account, the BPS spectrum consists of an infinite number of states in the definite representations of the gauge group and the $ (J,0) $ representation of the $ SO(4)\cong SU(2)_{L} \times SU(2)_{R} $ rotation group. In the brane webs realization of the $ 5d $ $ \mathcal{N}=1 $ gauge theory, BPS states are string webs inside the 5-brane webs. For a theory with the gauge group $ SU(N) $ and the Chern-Simons level $ \kappa $, we give a classification of string webs in the Coulomb branch and show that for each web, one can always find an instanton state carrying the same spin and the same electric charge. The action of supercharges on instanton states gives the instanton supermultiplets. For the $ \mathcal{N} =1$ $ SU(2) $ gauge theory with $ N_{f} \leq 4$, we construct the instanton vector and hyper multiplets, which, together with the original multiplets of the theory, furnish the complete representation of the $ E_{N_{f}+1} $ group at UV.


title: QUIC on the Highway: Evaluating Performance on High-rate Links

abstract: QUIC is a new protocol standardized in 2021 designed to improve on the widely used TCP / TLS stack. The main goal is to speed up web traffic via HTTP, but it is also used in other areas like tunneling. Based on UDP it offers features like reliable in-order delivery, flow and congestion control, streambased multiplexing, and always-on encryption using TLS 1.3. Other than with TCP, QUIC implements all these features in user space, only requiring kernel interaction for UDP. While running in user space provides more flexibility, it profits less from efficiency and optimization within the kernel. Multiple implementations exist, differing in programming language, architecture, and design choices. This paper presents an extension to the QUIC Interop Runner, a framework for testing interoperability of QUIC implementations. Our contribution enables reproducible QUIC benchmarks on dedicated hardware. We provide baseline results on 10G links, including multiple implementations, evaluate how OS features like buffer sizes and NIC offloading impact QUIC performance, and show which data rates can be achieved with QUIC compared to TCP. Our results show that QUIC performance varies widely between client and server implementations from 90 Mbit/s to 4900 Mbit/s. We show that the OS generally sets the default buffer size too small, which should be increased by at least an order of magnitude based on our findings. Furthermore, QUIC benefits less from NIC offloading and AES NI hardware acceleration while both features improve the goodput of TCP to around 8000 Mbit/s. Our framework can be applied to evaluate the effects of future improvements to the protocol or the OS.


title: A Comprehensive Survey of Document-level Relation Extraction (2016-2023)

abstract: Document-level relation extraction (DocRE) is an active area of research in natural language processing (NLP) concerned with identifying and extracting relationships between entities beyond sentence boundaries. Compared to the more traditional sentence-level relation extraction, DocRE provides a broader context for analysis and is more challenging because it involves identifying relationships that may span multiple sentences or paragraphs. This task has gained increased interest as a viable solution to build and populate knowledge bases automatically from unstructured large-scale documents (e.g., scientific papers, legal contracts, or news articles), in order to have a better understanding of relationships between entities. This paper aims to provide a comprehensive overview of recent advances in this field, highlighting its different applications in comparison to sentence-level relation extraction.


title: Uncertainty-Aware Decision Transformer for Stochastic Driving Environments

abstract: Offline Reinforcement Learning (RL) has emerged as a promising framework for learning policies without active interactions, making it especially appealing for autonomous driving tasks. Recent successes of Transformers inspire casting offline RL as sequence modeling, which performs well in long-horizon tasks. However, they are overly optimistic in stochastic environments with incorrect assumptions that the same goal can be consistently achieved by identical actions. In this paper, we introduce an UNcertainty-awaRE deciSion Transformer (UNREST) for planning in stochastic driving environments without introducing additional transition or complex generative models. Specifically, UNREST estimates state uncertainties by the conditional mutual information between transitions and returns, and segments sequences accordingly. Discovering the `uncertainty accumulation' and `temporal locality' properties of driving environments, UNREST replaces the global returns in decision transformers with less uncertain truncated returns, to learn from true outcomes of agent actions rather than environment transitions. We also dynamically evaluate environmental uncertainty during inference for cautious planning. Extensive experimental results demonstrate UNREST's superior performance in various driving scenarios and the power of our uncertainty estimation strategy.


title: Recent Advances of Differential Privacy in Centralized Deep Learning: A Systematic Survey

abstract: Differential Privacy has become a widely popular method for data protection in machine learning, especially since it allows formulating strict mathematical privacy guarantees. This survey provides an overview of the state-of-the-art of differentially private centralized deep learning, thorough analyses of recent advances and open problems, as well as a discussion of potential future developments in the field. Based on a systematic literature review, the following topics are addressed: auditing and evaluation methods for private models, improvements of privacy-utility trade-offs, protection against a broad range of threats and attacks, differentially private generative models, and emerging application domains.


title: Atmospheric loss in giant impacts depends on pre-impact surface conditions

abstract: Earth likely acquired much of its inventory of volatile elements during the main stage of its formation. Some of Earth's proto-atmosphere must therefore have survived the giant impacts, collisions between planet-sized bodies, that dominate the latter phases of accretion. Here we use a suite of 1D hydrodynamic simulations and impedance match calculations to quantify the effect that pre-impact surface conditions (such as atmospheric pressure and presence of an ocean) have on the efficiency of atmospheric and ocean loss from proto-planets during giant impacts. We find that -- in the absence of an ocean -- lighter, hotter, and lower-pressure atmospheres are more easily lost. The presence of an ocean can significantly increase the efficiency of atmospheric loss compared to the no-ocean case, with a rapid transition between low and high loss regimes as the mass ratio of atmosphere to ocean decreases. However, contrary to previous thinking, the presence of an ocean can also reduce atmospheric loss if the ocean is not sufficiently massive, typically less than a few times the atmospheric mass. Volatile loss due to giant impacts is thus highly sensitive to the surface conditions on the colliding bodies. To allow our results to be combined with 3D impact simulations, we have developed scaling laws that relate loss to the ground velocity and surface conditions. Our results demonstrate that the final volatile budgets of planets are critically dependent on the exact timing and sequence of impacts experienced by their precursor planetary embryos, making atmospheric properties a highly stochastic outcome of accretion.


title: Physics-Preserving AI-Accelerated Simulations of Plasma Turbulence

abstract: Turbulence in fluids, gases, and plasmas remains an open problem of both practical and fundamental importance. Its irreducible complexity usually cannot be tackled computationally in a brute-force style. Here, we combine Large Eddy Simulation (LES) techniques with Machine Learning (ML) to retain only the largest dynamics explicitly, while small-scale dynamics are described by an ML-based sub-grid-scale model. Applying this novel approach to self-driven plasma turbulence allows us to remove large parts of the inertial range, reducing the computational effort by about three orders of magnitude, while retaining the statistical physical properties of the turbulent system.


title: VAE-based latent-space classification of RNO-G data

abstract: The Radio Neutrino Observatory in Greenland (RNO-G) is a radio-based ultra-high energy neutrino detector located at Summit Station, Greenland. It is still being constructed, with 7 stations currently operational. Neutrino detection works by measuring Askaryan radiation produced by neutrino-nucleon interactions. A neutrino candidate must be found amidst other backgrounds which are recorded at much higher rates -- including cosmic-rays and anthropogenic noise -- the origins of which are sometimes unknown. Here we describe a method to classify different noise classes using the latent space of a variational autoencoder. The latent space forms a compact representation that makes classification tractable. We analyze data from a noisy and a silent station. The method automatically detects and allows us to qualitatively separate multiple event classes, including physical wind-induced signals, for both the noisy and the quiet station.


title: Spline Based Methods for Functional Data on Multivariate Domains

abstract: Functional data analysis is typically performed in two steps: first, functionally representing discrete observations, and then applying functional methods to the so-represented data. The initial choice of a functional representation may have a significant impact on the second phase of the analysis, as shown in recent research, where data-driven spline bases outperformed the predefined rigid choice of functional representation. The method chooses an initial functional basis by an efficient placement of the knots using a simple machine-learning algorithm. The approach does not apply directly when the data are defined on domains of a higher dimension than one such as, for example, images. The reason is that in higher dimensions the convenient and numerically efficient spline bases are obtained as tensor bases from 1D spline bases that require knots that are located on a lattice. This does not allow for a flexible knot placement that was fundamental for the 1D approach. The goal of this research is to propose two modified approaches that circumvent the problem by coding the irregular knot selection into their densities and utilizing these densities through the topology of the spaces of splines. This allows for regular grids for the knots and thus facilitates using the spline tensor bases. It is tested on 1D data showing that its performance is comparable to or better than the previous methods.


title: Evidence of a Cloud-Cloud Collision from Overshooting Gas in the Galactic Center

abstract: The Milky Way is a barred spiral galaxy with "bar lanes" that bring gas towards the Galactic Center. Gas flowing along these bar lanes often overshoots, and instead of accreting onto the Central Molecular Zone, it collides with the bar lane on the opposite side of the Galaxy. We observed G5, a cloud which we believe is the site of one such collision, near the Galactic Center at (l,b) = (+5.4, -0.4) with the ALMA/ACA. We took measurements of the spectral lines $^{12}$CO J=2-1, $^{13}$CO J=2-1, C$^{18}$O J=2-1, H$_2$CO J=3$_{03}$-2$_{02}$, H$_{2}$CO J=3$_{22}$-2$_{21}$, CH$_{3}$OH J=4$_{22}$-3$_{12}$, OCS J=18-17 and SiO J=5-4. We observed a velocity bridge between two clouds at $\sim$50 km/s and $\sim$150 km/sin our position-velocity diagram, which is direct evidence of a cloud-cloud collision. We measured an average gas temperature of $\sim$60 K in G5 using H$_2$CO integrated intensity line ratios. We observed that the $^{12}$C/$^{13}$C ratio in G5 is consistent with optically thin, or at most marginally optically thick $^{12}$CO. We measured 1.5 x 10$^{19}$ cm$^{-2}$(K km/s)$^{-1}$ for the local X$_{CO}$, 10-20x less than the average Galactic value. G5 is strong direct observational evidence of gas overshooting the Central Molecular Zone (CMZ) and colliding with a bar lane on the opposite side of the Galactic center.


title: A result of Krasner in categorial form

abstract: In 1957 M.\ Krasner described a complete valued field $(K,v)$ via the projective limit of a system of certain structures, called hyperfields, associated to $(K,v)$. We put this result in purely category-theoretic terms by translating into a limit construction in certain slice categories of the category of valued hyperfields and their homomorphisms.


title: gSPICE: Model-Based Event Shedding in Complex Event Processing

abstract: Overload situations, in the presence of resource limitations, in complex event processing (CEP) systems are typically handled using load shedding to maintain a given latency bound. However, load shedding might negatively impact the quality of results (QoR). To minimize the shedding impact on QoR, CEP researchers propose shedding approaches that drop events/internal state with the lowest importances/utilities. In both black-box and white-box shedding approaches, different features are used to predict these utilities. In this work, we propose a novel black-box shedding approach that uses a new set of features to drop events from the input event stream to maintain a given latency bound. Our approach uses a probabilistic model to predict these event utilities. Moreover, our approach uses Zobrist hashing and well-known machine learning models, e.g., decision trees and random forests, to handle the predicted event utilities. Through extensive evaluations on several synthetic and two real-world datasets and a representative set of CEP queries, we show that, in the majority of cases, our load shedding approach outperforms state-of-the-art black-box load shedding approaches, w.r.t. QoR.


title: Towards surgery with good quantum LDPC codes

abstract: We show that the good quantum LDPC codes of Panteleev-Kalachev \cite{PK} allow for surgery using any logical qubits, albeit incurring an asymptotic penalty which lowers the rate and distance scaling. We also prove that we can satisfy 3 of the 4 conditions for performing surgery \textit{without} incurring an asymptotic penalty. If the last condition is also satisfied then we can perform code surgery while maintaining $k, d\in \Theta(n)$.


title: Improvement of digest2 NEO Classification Code -- utilizing the Astrometry Data Exchange Standard

abstract: We describe enhancements to the digest2 software, a short-arc orbit classifier for heliocentric orbits. Digest2 is primarily used by the Near-Earth Object (NEO) community to flag newly discovered objects for a immediate follow-up and has been a part of NEO discovery process for more than 15 years. We have updated the solar system population model used to weight the digest2 score according to the 2023 catalog of known solar system orbits and extended the list of mean uncertainties for 140 observatory codes. Moreover, we have added Astrometry Data Exchange Standard (ADES) input format support to digest2, which provides additional information for the astrometry, such as positional uncertainties for each detection. The digest2 code was also extended to read the roving observer astrometric format as well as the ability to compute a new parameter from the provided astrometric uncertainties ($RMS'$) that can serve as an indicator of in-tracklet curvature when compared with tracklet's great-circle fit RMS. Comparison with the previous version of digest2 confirmed the improvement in accuracy of NEO identification and found that using ADES XML input significantly reduces the computation time of the digest2.


title: Assessing the Solvency of Virtual Asset Service Providers: Are Current Standards Sufficient?

abstract: Entities like centralized cryptocurrency exchanges fall under the business category of virtual asset service providers (VASPs). As any other enterprise, they can become insolvent. VASPs enable the exchange, custody, and transfer of cryptoassets organized in wallets across distributed ledger technologies (DLTs). Despite the public availability of DLT transactions, the cryptoasset holdings of VASPs are not yet subject to systematic auditing procedures. In this paper, we propose an approach to assess the solvency of a VASP by cross-referencing data from three distinct sources: cryptoasset wallets, balance sheets from the commercial register, and data from supervisory entities. We investigate 24 VASPs registered with the Financial Market Authority in Austria and provide regulatory data insights such as who are the customers and where do they come from. Their yearly incoming and outgoing transaction volume amount to 2 billion EUR for around 1.8 million users. We describe what financial services they provide and find that they are most similar to traditional intermediaries such as brokers, money exchanges, and funds, rather than banks. Next, we empirically measure DLT transaction flows of four VASPs and compare their cryptoasset holdings to balance sheet entries. Data are consistent for two VASPs only. This enables us to identify gaps in the data collection and propose strategies to address them. We remark that any entity in charge of auditing requires proof that a VASP actually controls the funds associated with its on-chain wallets. It is also important to report fiat and cryptoasset and liability positions broken down by asset types at a reasonable frequency.


title: Constructing Synthetic Treatment Groups without the Mean Exchangeability Assumption

abstract: The purpose of this work is to transport the information from multiple randomized controlled trials to the target population where we only have the control group data. Previous works rely critically on the mean exchangeability assumption. However, as pointed out by many current studies, the mean exchangeability assumption might be violated. Motivated by the synthetic control method, we construct a synthetic treatment group for the target population by a weighted mixture of treatment groups of source populations. We estimate the weights by minimizing the conditional maximum mean discrepancy between the weighted control groups of source populations and the target population. We establish the asymptotic normality of the synthetic treatment group estimator based on the sieve semiparametric theory. Our method can serve as a novel complementary approach when the mean exchangeability assumption is violated. Experiments are conducted on synthetic and real-world datasets to demonstrate the effectiveness of our methods.


title: Simulated non-thermal emission from SNR G1.9+0.3

abstract: Supernova remnants are the nebular leftover of defunct stellar environments, resulting from the interaction between a supernova blastwave and the circumstellar medium shaped by the progenitor throughout its life. They display a large variety of non-spherical morphologies such as ears that shine non-thermally. % We have modelled the structure and the non-thermal emission of the supernova remnant G1.9+0.3 through 3D magnetohydrodynamic numerical simulations. We propose that the peculiar ear-shaped morphology of this supernova remnant results from the interaction of the its blast wave with a magnetized circumstellar medium, which was previously asymmetrically shaped by the past stellar wind emanating from the progenitor star or its stellar companion. We created synthetic non-thermal radio and x-ray maps from our simulated remnant structure, which are in qualitative agreement with observations, forming ears on the polar directions. Our synthetic map study explains the discrepancies between the measured non-thermal radio and X-ray surface brightness distributions assuming that the Inverse Compton process produces the observed X-ray emission.


title: On combinatorial structures in linear codes

abstract: In this work we show that given a connectivity graph $G$ of a $[[n,k,d]]$ quantum code, there exists $\{K_i\}_i, K_i \subset G$, such that $\sum_i |K_i|\in \Omega(k), \ |K_i| \in \Omega(d)$, and the $K_i$'s are $\tilde{\Omega}( \sqrt{{k}/{n}})$-expander. If the codes are classical we show instead that the $K_i$'s are $\tilde{\Omega}\left({{k}/{n}}\right)$-expander. We also show converses to these bounds. In particular, we show that the BPT bound for classical codes is tight in all Euclidean dimensions. Finally, we prove structural theorems for graphs with no "dense" subgraphs which might be of independent interest.


title: Selective Nonparametric Regression via Testing

abstract: Prediction with the possibility of abstention (or selective prediction) is an important problem for error-critical machine learning applications. While well-studied in the classification setup, selective approaches to regression are much less developed. In this work, we consider the nonparametric heteroskedastic regression problem and develop an abstention procedure via testing the hypothesis on the value of the conditional variance at a given point. Unlike existing methods, the proposed one allows to account not only for the value of the variance itself but also for the uncertainty of the corresponding variance predictor. We prove non-asymptotic bounds on the risk of the resulting estimator and show the existence of several different convergence regimes. Theoretical analysis is illustrated with a series of experiments on simulated and real-world data.


title: Genetic Engineering Algorithm (GEA): An Efficient Metaheuristic Algorithm for Solving Combinatorial Optimization Problems

abstract: Genetic Algorithms (GAs) are known for their efficiency in solving combinatorial optimization problems, thanks to their ability to explore diverse solution spaces, handle various representations, exploit parallelism, preserve good solutions, adapt to changing dynamics, handle combinatorial diversity, and provide heuristic search. However, limitations such as premature convergence, lack of problem-specific knowledge, and randomness of crossover and mutation operators make GAs generally inefficient in finding an optimal solution. To address these limitations, this paper proposes a new metaheuristic algorithm called the Genetic Engineering Algorithm (GEA) that draws inspiration from genetic engineering concepts. GEA redesigns the traditional GA while incorporating new search methods to isolate, purify, insert, and express new genes based on existing ones, leading to the emergence of desired traits and the production of specific chromosomes based on the selected genes. Comparative evaluations against state-of-the-art algorithms on benchmark instances demonstrate the superior performance of GEA, showcasing its potential as an innovative and efficient solution for combinatorial optimization problems.


title: AutoCLIP: Auto-tuning Zero-Shot Classifiers for Vision-Language Models

abstract: Classifiers built upon vision-language models such as CLIP have shown remarkable zero-shot performance across a broad range of image classification tasks. Prior work has studied different ways of automatically creating descriptor sets for every class based on prompt templates, ranging from manually engineered templates over templates obtained from a large language model to templates built from random words and characters. Up until now, deriving zero-shot classifiers from the respective encoded class descriptors has remained nearly unchanged, i.e., classify to the class that maximizes cosine similarity between its averaged encoded class descriptors and the image encoding. However, weighing all class descriptors equally can be suboptimal when certain descriptors match visual clues on a given image better than others. In this work, we propose AutoCLIP, a method for auto-tuning zero-shot classifiers. AutoCLIP tunes per-image weights to each prompt template at inference time, based on statistics of class descriptor-image similarities. AutoCLIP is fully unsupervised, has very low computational overhead, and can be easily implemented in few lines of code. We show that AutoCLIP outperforms baselines across a broad range of vision-language models, datasets, and prompt templates consistently and by up to 3 percent point accuracy.


title: Interpreting X-ray absorption spectra of Vanadyl Phthalocyanines Spin Qubit Candidates using a Machine Learning-Assisted Approach

abstract: The magnetic dilution of Vanadyl phthalocyanine (VOPc) within the isostructural diamagnetic Titanyl phthalocyanine (TiOPc) affords promising molecular spin qubit platforms for solid-state quantum computing. The development of quantitative methods for determining how the interactions with a supporting substrate impact the electronic structure of the system are fundamental to determine their potential integration in physical devices. In this work we propose a combined approach based on X-ray absorption spectroscopy (XAS), atomic multiplet calculations, and density functional theory (DFT) to investigate the 3d orbital level structure of VOPc on TiOPc/Ag(100). We characterize VOPc in different molecular environments realized by changing the thickness of TiOPc interlayer and adsorption configuration on Ag(100). Depending on the molecular film structure, we find characteristic XAS features that we analyze using atomic multiplet calculations. We use a Bayesian optimization algorithm to accelerate the parameter search process in the multiplet calculations and identify the ground state properties, such as the 3d orbital occupancy and splitting, as well as intra-atomic interactions. Our analysis indicates that VOPc retains its spin S = 1/2 character in all configurations. Conversely, the energy separation and sequence of the unoccupied V 3d orbitals sensitively depend on the interaction with the surface and TiOPc interlayer. We validate the atomic orbital picture obtained from the multiplet model by comparison with DFT, which further allows us to understand the VOPc electronic properties using a molecular orbital description.


title: The number of realisations of a rigid graph in Euclidean and spherical geometries

abstract: A graph is $d$-rigid if for any generic realisation of the graph in $\mathbb{R}^d$ (equivalently, the $d$-dimensional sphere $\mathbb{S}^d$), there are only finitely many non-congruent realisations in the same space with the same edge lengths. By extending this definition to complex realisations in a natural way, we define $c_d(G)$ to be the number of equivalent $d$-dimensional complex realisations of a $d$-rigid graph $G$ for a given generic realisation, and $c^*_d(G)$ to be the number of equivalent $d$-dimensional complex spherical realisations of $G$ for a given generic spherical realisation. Somewhat surprisingly, these two realisation numbers are not always equal. Recently developed algorithms for computing realisation numbers determined that the inequality $c_2(G) \leq c_2^*(G)$ holds for any minimally 2-rigid graph $G$ with 12 vertices or less. In this paper we confirm that, for any dimension $d$, the inequality $c_d(G) \leq c_d^*(G)$ holds for every $d$-rigid graph $G$. This result is obtained via new techniques involving coning, the graph operation that adds an extra vertex adjacent to all original vertices of the graph.


title: The unipolar solar flares as a manifestation of the 'topological' magnetic reconnection

abstract: Solar flares - which are the most prominent manifestation of the solar activity - typically manifest themselves as a single or a set of luminous arcs (magnetic flux tubes) rooted in regions of opposite polarity in the photosphere. However, a careful analysis of the archival data by Hinode satellite sometimes reveals surprising cases of flaring arcs whose footpoints belong to regions of the same polarity or to areas without any appreciable magnetic field. Despite the counterintuitive nature of this phenomenon, it can be reasonably interpreted in the framework of the so-called 'topological model' of magnetic reconnection, where a magnetic null point is formed due to specific superposition of influences from remote sources rather than by local current systems. As a result, the energy release propagates along a separator of the flipping two-dome structure rather than along a fixed magnetic field line. Therefore, the luminous arc needs not to be associated anymore immediately with the magnetic sources. Here, we report both observational cases of the above-mentioned type as well as provide their theoretical model and numerical simulations.


title: Efficient Supervised Training of Audio Transformers for Music Representation Learning

abstract: In this work, we address music representation learning using convolution-free transformers. We build on top of existing spectrogram-based audio transformers such as AST and train our models on a supervised task using patchout training similar to PaSST. In contrast to previous works, we study how specific design decisions affect downstream music tagging tasks instead of focusing on the training task. We assess the impact of initializing the models with different pre-trained weights, using various input audio segment lengths, using learned representations from different blocks and tokens of the transformer for downstream tasks, and applying patchout at inference to speed up feature extraction. We find that 1) initializing the model from ImageNet or AudioSet weights and using longer input segments are beneficial both for the training and downstream tasks, 2) the best representations for the considered downstream tasks are located in the middle blocks of the transformer, and 3) using patchout at inference allows faster processing than our convolutional baselines while maintaining superior performance. The resulting models, MAEST, are publicly available and obtain the best performance among open models in music tagging tasks.


title: Magnetic structure and phase diagram of the Heisenberg-Ising spin chain antiferromagnetic PbCo$_{2}$V$_{2}$O$_{8}$

abstract: The effective spin-1/2 antiferromagnetic Heisenberg-Ising chain materials, ACo$_2$V$_2$O$_8$, A = Sr, Ba, are a rich source of exotic fundamental phenomena and have been investigated for their model magnetic properties both in zero and non-zero magnetic fields. Here we investigate a new member of the family, namely PbCo$_2$V$_2$O$_8$. We synthesize powder and single crystal samples of PbCo$_2$V$_2$O$_8$ and determine its magnetic structure using neutron diffraction. Furthermore, the magnetic field/temperature phase diagrams for magnetic field applied along the c, a, and [110] crystallographic directions in the tetragonal unit cell are determined via magnetization and heat capacity measurements. A complex series of phases and quantum phase transitions are discovered that depend strongly on both the magnitude and direction of the field. Our results show that \pcvo is an effective spin-1/2 antiferromagnetic Heisenberg-Ising chain with properties that are in general comparable to those of SrCo$_2$V$_2$O$_8$ and BaCo$_2$V$_2$O$_8$. One interesting departure from the results of these related compounds, is however, the discovery of a new field-induced phase for the field direction $H\|$[110] which has not been previously observed.


title: Analysis of $\Xi(1620)$ resonance with chiral unitary approach

abstract: Recently, the $\Xi(1620)$ resonance has attracted much attention, thanks to detailed experimental data by the Belle and ALICE collaborations. This experimental progress has prepared us to conduct theoretical analyses based on experimental data. In this study, we analyze the $\Xi(1620)$ resonance using the chiral unitary model and discuss the properties of the $\Xi(1620)$ resonance and the $K^-\Lambda$ scattering length.


title: Distilling ODE Solvers of Diffusion Models into Smaller Steps

abstract: Abstract Diffusion models have recently gained prominence as a novel category of generative models. Despite their success, these models face a notable drawback in terms of slow sampling speeds, requiring a high number of function evaluations (NFE) in the order of hundreds or thousands. In response, both learning-free and learning-based sampling strategies have been explored to expedite the sampling process. Learning-free sampling employs various ordinary differential equation (ODE) solvers based on the formulation of diffusion ODEs. However, it encounters challenges in faithfully tracking the true sampling trajectory, particularly for small NFE. Conversely, learning-based sampling methods, such as knowledge distillation, demand extensive additional training, limiting their practical applicability. To overcome these limitations, we introduce Distilled-ODE solvers (D-ODE solvers), a straightforward distillation approach grounded in ODE solver formulations. Our method seamlessly integrates the strengths of both learning-free and learning-based sampling. D-ODE solvers are constructed by introducing a single parameter adjustment to existing ODE solvers. Furthermore, we optimize D-ODE solvers with smaller steps using knowledge distillation from ODE solvers with larger steps across a batch of samples. Comprehensive experiments demonstrate the superior performance of D-ODE solvers compared to existing ODE solvers, including DDIM, PNDM, DPM-Solver, DEIS, and EDM, particularly in scenarios with fewer NFE. Notably, our method incurs negligible computational overhead compared to previous distillation techniques, facilitating straightforward and rapid integration with existing samplers. Qualitative analysis reveals that D-ODE solvers not only enhance image quality but also faithfully follow the target ODE trajectory.


title: Cyber Sentinel: Exploring Conversational Agents in Streamlining Security Tasks with GPT-4

abstract: In an era where cyberspace is both a battleground and a backbone of modern society, the urgency of safeguarding digital assets against ever-evolving threats is paramount. This paper introduces Cyber Sentinel, an innovative task-oriented cybersecurity dialogue system that is effectively capable of managing two core functions: explaining potential cyber threats within an organization to the user, and taking proactive/reactive security actions when instructed by the user. Cyber Sentinel embodies the fusion of artificial intelligence, cybersecurity domain expertise, and real-time data analysis to combat the multifaceted challenges posed by cyber adversaries. This article delves into the process of creating such a system and how it can interact with other components typically found in cybersecurity organizations. Our work is a novel approach to task-oriented dialogue systems, leveraging the power of chaining GPT-4 models combined with prompt engineering across all sub-tasks. We also highlight its pivotal role in enhancing cybersecurity communication and interaction, concluding that not only does this framework enhance the system's transparency (Explainable AI) but also streamlines the decision-making process and responding to threats (Actionable AI), therefore marking a significant advancement in the realm of cybersecurity communication.


title: A deep dive into the Type II Globular Cluster NGC 1851

abstract: About one-fifth of the Galactic globular clusters (GCs), dubbed Type II GCs, host distinct stellar populations with different heavy elements abundances. NGC 1851 is one of the most studied Type II GCs, surrounded by several controversies regarding the spatial distribution of its populations and the presence of star-to-star [Fe/H], C+N+O, and age differences. This paper provides a detailed characterization of its stellar populations through Hubble Space Telescope (HST), ground-based, and Gaia photometry. We identified two distinct populations with different abundances of s-process elements along the red-giant branch (RGB) and the sub-giant branch (SGB) and detected two sub-populations among both s-poor (canonical) and s-rich (anomalous) stars. To constrain the chemical composition of these stellar populations, we compared observed and simulated colors of stars with different abundances of He, C, N, and O. It results that the anomalous population has a higher CNO overall abundance compared to the canonical population and that both host stars with different light-element abundances. No significant differences in radial segregation between canonical and anomalous stars are detected, while we find that among their sub-populations, the two most chemical extremes are more centrally concentrated. Anomalous and canonical stars show different 2D spatial distributions outside ~3 arcmin, with the latter developing an elliptical shape and a stellar overdensity in the northeast direction. We confirm the presence of a stellar halo up to ~80 arcmin with Gaia photometry, tagging 14 and five of its stars as canonical and anomalous, respectively, finding a lack of the latter in the south/southeast field.


title: Prompt-and-Align: Prompt-Based Social Alignment for Few-Shot Fake News Detection

abstract: Despite considerable advances in automated fake news detection, due to the timely nature of news, it remains a critical open question how to effectively predict the veracity of news articles based on limited fact-checks. Existing approaches typically follow a "Train-from-Scratch" paradigm, which is fundamentally bounded by the availability of large-scale annotated data. While expressive pre-trained language models (PLMs) have been adapted in a "Pre-Train-and-Fine-Tune" manner, the inconsistency between pre-training and downstream objectives also requires costly task-specific supervision. In this paper, we propose "Prompt-and-Align" (P&A), a novel prompt-based paradigm for few-shot fake news detection that jointly leverages the pre-trained knowledge in PLMs and the social context topology. Our approach mitigates label scarcity by wrapping the news article in a task-related textual prompt, which is then processed by the PLM to directly elicit task-specific knowledge. To supplement the PLM with social context without inducing additional training overheads, motivated by empirical observation on user veracity consistency (i.e., social users tend to consume news of the same veracity type), we further construct a news proximity graph among news articles to capture the veracity-consistent signals in shared readerships, and align the prompting predictions along the graph edges in a confidence-informed manner. Extensive experiments on three real-world benchmarks demonstrate that P&A sets new states-of-the-art for few-shot fake news detection performance by significant margins.


title: Feed-forward and recurrent inhibition for compressing and classifying high dynamic range biosignals in spiking neural network architectures

abstract: Neuromorphic processors that implement Spiking Neural Networks (SNNs) using mixed-signal analog/digital circuits represent a promising technology for closed-loop real-time processing of biosignals. As in biology, to minimize power consumption, the silicon neurons' circuits are configured to fire with a limited dynamic range and with maximum firing rates restricted to a few tens or hundreds of Herz. However, biosignals can have a very large dynamic range, so encoding them into spikes without saturating the neuron outputs represents an open challenge. In this work, we present a biologically-inspired strategy for compressing this high-dynamic range in SNN architectures, using three adaptation mechanisms ubiquitous in the brain: spike-frequency adaptation at the single neuron level, feed-forward inhibitory connections from neurons belonging to the input layer, and Excitatory-Inhibitory (E-I) balance via recurrent inhibition among neurons in the output layer. We apply this strategy to input biosignals encoded using both an asynchronous delta modulation method and an energy-based pulse-frequency modulation method. We validate this approach in silico, simulating a simple network applied to a gesture classification task from surface EMG recordings.


title: QwenGrasp: A Usage of Large Vision-Language Model for Target-Oriented Grasping

abstract: Target-oriented grasping in unstructured scenes with language control is essential for intelligent robot arm grasping. The ability for the robot arm to understand the human language and execute corresponding grasping actions is a pivotal challenge. In this paper, we propose a combination model called QwenGrasp which combines a large vision-language model with a 6-DoF grasp neural network. QwenGrasp is able to conduct a 6-DoF grasping task on the target object with textual language instruction. We design a complete experiment with six-dimension instructions to test the QwenGrasp when facing with different cases. The results show that QwenGrasp has a superior ability to comprehend the human intention. Even in the face of vague instructions with descriptive words or instructions with direction information, the target object can be grasped accurately. When QwenGrasp accepts the instruction which is not feasible or not relevant to the grasping task, our approach has the ability to suspend the task execution and provide a proper feedback to humans, improving the safety. In conclusion, with the great power of large vision-language model, QwenGrasp can be applied in the open language environment to conduct the target-oriented grasping task with freely input instructions.


title: Klever: Verification Framework for Critical Industrial C Programs

abstract: Automatic software verification tools help to find hard-to-detect faults in programs checked against specified requirements non-interactively. Besides, they can prove program correctness formally under certain assumptions. These capabilities are vital for verification of critical industrial programs like operating system kernels and embedded software. However, such programs can contain hundreds or thousands of KLOC that prevent obtaining valuable verification results in any reasonable time when checking non-trivial requirements. Also, existing tools do not provide widely adopted means for environment modeling, specification of requirements, verification of many versions and configurations of target programs, and expert assessment of verification results. In this paper, we present the Klever software verification framework, designed to reduce the effort of applying automatic software verification tools to large and critical industrial C programs.


title: Nonlinear MPC design for incrementally ISS systems with application to GRU networks

abstract: This brief addresses the design of a Nonlinear Model Predictive Control (NMPC) strategy for exponentially incremental Input-to-State Stable (ISS) systems. In particular, a novel formulation is devised, which does not necessitate the onerous computation of terminal ingredients, but rather relies on the explicit definition of a minimum prediction horizon ensuring closed-loop stability. The designed methodology is particularly suited for the control of systems learned by Recurrent Neural Networks (RNNs), which are known for their enhanced modeling capabilities and for which the incremental ISS properties can be studied thanks to simple algebraic conditions. The approach is applied to Gated Recurrent Unit (GRU) networks, providing also a method for the design of a tailored state observer with convergence guarantees. The resulting control architecture is tested on a benchmark system, demonstrating its good control performances and efficient applicability.