title: Exclusive semileptonic $B$-meson decays using lattice QCD and unitarity

abstract: We present the results of the application of the Dispersion Matrix approach to exclusive semileptonic $B$-meson decays. This method allows to determine the hadronic form factors in a non-perturbative and completely model-independent way. Starting from lattice results available at large values of the momentum transfer, the behaviour of the form factors in their whole kinematical range is obtained without introducing any parameterization of their momentum dependence. We will focus on the determination of the Cabibbo-Kobayashi-Maskawa matrix elements $\vert V_{cb} \vert$ and $\vert V_{ub} \vert$ through the analysis of $B_{(s)} \to D_{(s)}^{(*)} \ell \nu$ and $B_{(s)} \to \pi(K) \ell \nu$ decays. New theoretical determinations of the Lepton Flavour Universality ratios relevant for these transitions will be also presented.


title: Predicting the power grid frequency of European islands

abstract: Modelling, forecasting and overall understanding of the dynamics of the power grid and its frequency are essential for the safe operation of existing and future power grids. Much previous research was focused on large continental areas, while small systems, such as islands are less well-studied. These natural island systems are ideal testing environments for microgrid proposals and artificially islanded grid operation. In the present paper, we utilize measurements of the power grid frequency obtained in European islands: the Faroe Islands, Ireland, the Balearic Islands and Iceland and investigate how their frequency can be predicted, compared to the Nordic power system, acting as a reference. The Balearic islands are found to be particularly deterministic and easy to predict in contrast to hard-to-predict Iceland. Furthermore, we show that typically 2-4 weeks of data are needed to improve prediction performance beyond simple benchmarks.

categories: stat.AP cs.LG cs.SY eess.SY physics.data-an


title: DynImp: Dynamic Imputation for Wearable Sensing Data Through Sensory and Temporal Relatedness

abstract: In wearable sensing applications, data is inevitable to be irregularly sampled or partially missing, which pose challenges for any downstream application. An unique aspect of wearable data is that it is time-series data and each channel can be correlated to another one, such as x, y, z axis of accelerometer. We argue that traditional methods have rarely made use of both times-series dynamics of the data as well as the relatedness of the features from different sensors. We propose a model, termed as DynImp, to handle different time point's missingness with nearest neighbors along feature axis and then feeding the data into a LSTM-based denoising autoencoder which can reconstruct missingness along the time axis. We experiment the model on the extreme missingness scenario ($>50\%$ missing rate) which has not been widely tested in wearable data. Our experiments on activity recognition show that the method can exploit the multi-modality features from related sensors and also learn from history time-series dynamics to reconstruct the data under extreme missingness.


title: Optimal Efficiency-Envy Trade-Off via Optimal Transport

abstract: We consider the problem of allocating a distribution of items to $n$ recipients where each recipient has to be allocated a fixed, prespecified fraction of all items, while ensuring that each recipient does not experience too much envy. We show that this problem can be formulated as a variant of the semi-discrete optimal transport (OT) problem, whose solution structure in this case has a concise representation and a simple geometric interpretation. Unlike existing literature that treats envy-freeness as a hard constraint, our formulation allows us to \emph{optimally} trade off efficiency and envy continuously. Additionally, we study the statistical properties of the space of our OT based allocation policies by showing a polynomial bound on the number of samples needed to approximate the optimal solution from samples. Our approach is suitable for large-scale fair allocation problems such as the blood donation matching problem, and we show numerically that it performs well on a prior realistic data simulator.


title: Multiple gas acquisition events in galaxies with dual misaligned gas disks

abstract: Frequent accretion of external cold gas is thought to play an important role in galaxy assembly. However, almost all known kinematically misaligned galaxies identify only one gas disk that is misaligned with the stellar disk, implying a single gas acquisition event. Here we report a new configuration in two galaxies where both contain two gas disks misaligned with each other and also with the stellar disk. Such systems are not expected to be stable or long-lasting, challenging the traditional picture of gas accretion of galaxies and their angular momentum build-up. The differences in kinematic position angles are larger than 120{\deg} between the two gas disks, and 40{\deg} between each gas disk and the stellar component. The star formation activity is enhanced at the interface of the two gas disks compared with the other regions within the same galaxy. Such systems illustrate that low-redshift galaxies can still experience multiple gas acquisition events, and provide a new view into the origins of galactic gas.


title: Equitable Marketplace Mechanism Design

abstract: We consider a trading marketplace that is populated by traders with diverse trading strategies and objectives. The marketplace allows the suppliers to list their goods and facilitates matching between buyers and sellers. In return, such a marketplace typically charges fees for facilitating trade. The goal of this work is to design a dynamic fee schedule for the marketplace that is equitable and profitable to all traders while being profitable to the marketplace at the same time (from charging fees). Since the traders adapt their strategies to the fee schedule, we present a reinforcement learning framework for simultaneously learning a marketplace fee schedule and trading strategies that adapt to this fee schedule using a weighted optimization objective of profits and equitability. We illustrate the use of the proposed approach in detail on a simulated stock exchange with different types of investors, specifically market makers and consumer investors. As we vary the equitability weights across different investor classes, we see that the learnt exchange fee schedule starts favoring the class of investors with the highest weight. We further discuss the observed insights from the simulated stock exchange in light of the general framework of equitable marketplace mechanism design.


title: A sensitivity analysis of a gonorrhoea dynamics and control model

abstract: We formulate and analyse a robust mathematical model of the dynamics of gonorrhoea incorporating passive immunity and control. Our results show that the disease-free and endemic equilibria of the model are both locally and globally asymptotically stable. A sensitivity analysis of the model shows that the dynamics of the model is variable and dependent on waning rate, control parameters and interaction of the latent and infected classes. In particular, the lower the waning rate, the more the exponential decrease in the passive immunity but the susceptible population increases to the equilibrium and wanes asymptotically due to the presence of the control parameters and restricted interaction of the latent and infected classes.


title: Ensemble-based gradient inference for particle methods in optimization and sampling

abstract: We propose an approach based on function evaluations and Bayesian inference to extract higher-order differential information of objective functions {from a given ensemble of particles}. Pointwise evaluation $\{V(x^i)\}_i$ of some potential $V$ in an ensemble $\{x^i\}_i$ contains implicit information about first or higher order derivatives, which can be made explicit with little computational effort (ensemble-based gradient inference -- EGI). We suggest to use this information for the improvement of established ensemble-based numerical methods for optimization and sampling such as Consensus-based optimization and Langevin-based samplers. Numerical studies indicate that the augmented algorithms are often superior to their gradient-free variants, in particular the augmented methods help the ensembles to escape their initial domain, to explore multimodal, non-Gaussian settings and to speed up the collapse at the end of optimization dynamics.} The code for the numerical examples in this manuscript can be found in the paper's Github repository (https://github.com/MercuryBench/ensemble-based-gradient.git).


title: TabDDPM: Modelling Tabular Data with Diffusion Models

abstract: Denoising diffusion probabilistic models are currently becoming the leading paradigm of generative modeling for many important data modalities. Being the most prevalent in the computer vision community, diffusion models have also recently gained some attention in other domains, including speech, NLP, and graph-like data. In this work, we investigate if the framework of diffusion models can be advantageous for general tabular problems, where datapoints are typically represented by vectors of heterogeneous features. The inherent heterogeneity of tabular data makes it quite challenging for accurate modeling, since the individual features can be of completely different nature, i.e., some of them can be continuous and some of them can be discrete. To address such data types, we introduce TabDDPM -- a diffusion model that can be universally applied to any tabular dataset and handles any type of feature. We extensively evaluate TabDDPM on a wide set of benchmarks and demonstrate its superiority over existing GAN/VAE alternatives, which is consistent with the advantage of diffusion models in other fields. Additionally, we show that TabDDPM is eligible for privacy-oriented setups, where the original datapoints cannot be publicly shared.


title: Statistical Inference for Fisher Market Equilibrium

abstract: Statistical inference under market equilibrium effects has attracted increasing attention recently. In this paper we focus on the specific case of linear Fisher markets. They have been widely use in fair resource allocation of food/blood donations and budget management in large-scale Internet ad auctions. In resource allocation, it is crucial to quantify the variability of the resource received by the agents (such as blood banks and food banks) in addition to fairness and efficiency properties of the systems. For ad auction markets, it is important to establish statistical properties of the platform's revenues in addition to their expected values. To this end, we propose a statistical framework based on the concept of infinite-dimensional Fisher markets. In our framework, we observe a market formed by a finite number of items sampled from an underlying distribution (the "observed market") and aim to infer several important equilibrium quantities of the underlying long-run market. These equilibrium quantities include individual utilities, social welfare, and pacing multipliers. Through the lens of sample average approximation (SSA), we derive a collection of statistical results and show that the observed market provides useful statistical information of the long-run market. In other words, the equilibrium quantities of the observed market converge to the true ones of the long-run market with strong statistical guarantees. These include consistency, finite sample bounds, asymptotics, and confidence. As an extension, we discuss revenue inference in quasilinear Fisher markets.


title: High-throughput computation of Raman spectra from first principles

abstract: Raman spectroscopy is a widely-used non-destructive material characterization method, which provides information about the vibrational modes of the material and therefore of its atomic structure and chemical composition. Interpretation of the spectra requires comparison to known references and to this end, experimental databases of spectra have been collected. Reference Raman spectra could also be simulated using atomistic first-principles methods but these are computationally demanding and thus the existing databases of computational Raman spectra are fairly small. In this work, we developed an optimized workflow to calculate the Raman spectra more efficiently compared to existing approaches. The workflow was benchmarked and validated by comparison to experiments and previous computational methods for select technologically relevant material systems. Using the workflow, we performed high-throughput calculations for a large set of materials (5099) belonging to many different material classes, and collected the results to a database. Finally, the contents of database are analyzed and the calculated spectra are shown to agree well with the experimental ones.


title: Accurate Long-term Air Temperature Prediction with a Fusion of Artificial Intelligence and Data Reduction Techniques

abstract: In this paper three customised Artificial Intelligence (AI) frameworks, considering Deep Learning (convolutional neural networks), Machine Learning algorithms and data reduction techniques are proposed, for a problem of long-term summer air temperature prediction. Specifically, the prediction of average air temperature in the first and second August fortnights, using input data from previous months, at two different locations, Paris (France) and C\'ordoba (Spain), is considered. The target variable, mainly in the first August fortnight, can contain signals of extreme events such as heatwaves, like the mega-heatwave of 2003, which affected France and the Iberian Peninsula. Thus, an accurate prediction of long-term air temperature may be valuable also for different problems related to climate change, such as attribution of extreme events, and in other problems related to renewable energy. The analysis carried out this work is based on Reanalysis data, which are first processed by a correlation analysis among different prediction variables and the target (average air temperature in August first and second fortnights). An area with the largest correlation is located, and the variables within, after a feature selection process, are the input of different deep learning and ML algorithms. The experiments carried out show a very good prediction skill in the three proposed AI frameworks, both in Paris and C\'ordoba regions.


title: Spikformer: When Spiking Neural Network Meets Transformer

abstract: We consider two biologically plausible structures, the Spiking Neural Network (SNN) and the self-attention mechanism. The former offers an energy-efficient and event-driven paradigm for deep learning, while the latter has the ability to capture feature dependencies, enabling Transformer to achieve good performance. It is intuitively promising to explore the marriage between them. In this paper, we consider leveraging both self-attention capability and biological properties of SNNs, and propose a novel Spiking Self Attention (SSA) as well as a powerful framework, named Spiking Transformer (Spikformer). The SSA mechanism in Spikformer models the sparse visual feature by using spike-form Query, Key, and Value without softmax. Since its computation is sparse and avoids multiplication, SSA is efficient and has low computational energy consumption. It is shown that Spikformer with SSA can outperform the state-of-the-art SNNs-like frameworks in image classification on both neuromorphic and static datasets. Spikformer (66.3M parameters) with comparable size to SEW-ResNet-152 (60.2M,69.26%) can achieve 74.81% top1 accuracy on ImageNet using 4 time steps, which is the state-of-the-art in directly trained SNNs models.


title: Dimensionless physics: Planck constant as an element of Minkowski metric

abstract: Diakonov theory of quantum gravity, in which tetrads emerge as the bilinear combinations of the fermionis fields,\cite{Diakonov2011} suggests that in general relativity the metric may have dimension 2, i.e. $[g_{\mu\nu}]=1/[L]^2$. Several other approaches to quantum gravity, including the model of superplastic vacuum and $BF$-theories of gravity support this suggesuion. The important consequence of such metric dimension is that all the diffeomorphism invariant quantities are dimensionless for any dimension of spacetime. These include the action $S$, interval $s$, cosmological constant $\Lambda$, scalar curvature $R$, scalar field $\Phi$, etc. Here we are trying to further exploit the Diakonov idea, and consider the dimension of the Planck constant. The application of the Diakonov theory suggests that the Planck constant $\hbar$ is the parameter of the Minkowski metric. The Minkowski parameter $\hbar$ is invariant only under Lorentz transformations, and is not diffeomorphism invariant. As a result the Planck constant $\hbar$ has nonzero dimension -- the dimension of length [L]. Whether this Planck constant length is related to the Planck length scale, is an open question. In principle there can be different Minkowski vacua with their own values of the parameter $\hbar$. Then in the thermal contact between the two vacua their temperatures obey the analog of the Tolman law: $\hbar_1/T_1= \hbar_2/T_2$.


title: Tuning of Mixture-of-Experts Mixed-Precision Neural Networks

abstract: Deep learning has become a useful data analysis method, however mainstream adaption in distributed computer software and embedded devices has been low so far. Often, adding deep learning inference in mainstream applications and devices requires new hardware with signal processors suited for convolutional neural networks. This work adds new data types (quantized 16-bit and 8-bit integer, 16-bit floating point) to Caffe in order to save memory and increase inference speed on existing commodity graphics processors with OpenCL, common in everyday devices. Existing models can be executed effortlessly in mixed-precision mode. Additionally, we propose a variation of mixture-of-experts to increase inference speed on AlexNet for image classification. We managed to decrease memory usage up to 3.29x while increasing inference speed up to 3.01x on certain devices. We demonstrate with five simple examples how the presented techniques can easily be applied to different machine learning problems. The whole pipeline, consisting of models, example python scripts and modified Caffe library, is available as Open Source software.


title: PyPose: A Library for Robot Learning with Physics-based Optimization

abstract: Deep learning has had remarkable success in robotic perception, but its data-centric nature suffers when it comes to generalizing to ever-changing environments. By contrast, physics-based optimization generalizes better, but it does not perform as well in complicated tasks due to the lack of high-level semantic information and reliance on manual parametric tuning. To take advantage of these two complementary worlds, we present PyPose: a robotics-oriented, PyTorch-based library that combines deep perceptual models with physics-based optimization. PyPose's architecture is tidy and well-organized, it has an imperative style interface and is efficient and user-friendly, making it easy to integrate into real-world robotic applications. Besides, it supports parallel computing of any order gradients of Lie groups and Lie algebras and $2^{\text{nd}}$-order optimizers, such as trust region methods. Experiments show that PyPose achieves more than $10\times$ speedup in computation compared to the state-of-the-art libraries. To boost future research, we provide concrete examples for several fields of robot learning, including SLAM, planning, control, and inertial navigation.


title: Generalized second law of thermodynamics in the Glosten-Milgrom model

abstract: We derive an upper bound for the expected gain of informed traders in the Glosten-Milgrom model with finite horizon, fully analogous to a generalized second law of thermodynamics. This result extends that obtained by Touzo et al. a couple of years ago. The proof relies on Bayesian inference (exploiting the invariance of the problem under consecutive game sequences) and an interesting entropic inequality. We also provide numerical results both supporting the existence of a characteristic timescale in the model and illustrating the magnitude of gain fluctuations. Other possible extensions are discussed.


title: Relative representations enable zero-shot latent space communication

abstract: Neural networks embed the geometric structure of a data manifold lying in a high-dimensional space into latent representations. Ideally, the distribution of the data points in the latent space should depend only on the task, the data, the loss, and other architecture-specific constraints. However, factors such as the random weights initialization, training hyperparameters, or other sources of randomness in the training phase may induce incoherent latent spaces that hinder any form of reuse. Nevertheless, we empirically observe that, under the same data and modeling choices, the angles between the encodings within distinct latent spaces do not change. In this work, we propose the latent similarity between each sample and a fixed set of anchors as an alternative data representation, demonstrating that it can enforce the desired invariances without any additional training. We show how neural architectures can leverage these relative representations to guarantee, in practice, invariance to latent isometries and rescalings, effectively enabling latent space communication: from zero-shot model stitching to latent space comparison between diverse settings. We extensively validate the generalization capability of our approach on different datasets, spanning various modalities (images, text, graphs), tasks (e.g., classification, reconstruction) and architectures (e.g., CNNs, GCNs, transformers).


title: A discretization-convergent Level-Set-DEM

abstract: The recently developed level-set-DEM is able to seamlessly handle arbitrarily shaped grains and their contacts through a discrete level-set representation of grains' volume and a node-based discretization of their bounding surfaces. Heretofore, the convergence properties of LS-DEM with refinement of these discretizations have not been examined. Here, we examine these properties and show that the original LS-DEM diverges upon surface discretization refinement due to its force-based discrete contact formulation. Next, we fix this issue by adopting a continuum-based contact formulation wherein the contact interactions are traction-based, and show that the adapted LS-DEM is fully discretization convergent. Lastly, we discuss the significance of convergence in capturing the physical response, as well as a few other convergence-related topics of practical importance.


title: Orbifold-like and proper $\mathfrak g$-manifolds

abstract: In [4] and [5], we generalized the concept of completion of an infinitesimal group action $\zeta : {\mathfrak g} \to \mathfrak X (M)$ to an actual group action on a (non-compact) manifold $M$, originally introduced by R. Palais [9], and showed by examples that this completion may have quite pathological properties (much like the leaf space of a foliation). In the present paper, we introduce and investigate a tamer class of $\mathfrak g$-manifolds, called orbifold--like, for which the completion has an orbifold structure. This class of $\mathfrak g$-manifolds is reasonably well-behaved with respect to its local topological and smooth structure to allow for many geometric constructions to make sense. In particular, we investigate proper $\mathfrak g$-actions and generalize many of the usual properties of proper group actions to this more general setting.


title: Medium-modifications of $g\to c \bar{c}$ splitting

abstract: We study medium-modifications of the gluon splitting into a quark and anti-quark pair. Applying the Baier-Dokshitzer-Mueller-Peign\'e-Schiff and Zakharov (BDMPS-Z) formalism, we derive a path-integral formula for the in-medium $g\to q \bar{q}$ splitting function in the close-to-eikonal limit. Our analysis shows that there are two qualitatively different medium effects: transverse momentum broadening of $q \bar{q}$ pairs and enhanced production of such pairs. We note that both effects are numerically sizeable if the average momentum transfer from the medium to the parton is at the quark mass scale. In ultra-relativistic heavy-ion collisions, this condition is realized by charm quarks, therefore we focus our numerical analysis on the medium-modifications of $g\to c \bar{c}$ splitting.


title: DeepAdjoint: An All-in-One Photonic Inverse Design Framework Integrating Data-Driven Machine Learning with Optimization Algorithms

abstract: In recent years, hybrid design strategies combining machine learning (ML) with electromagnetic optimization algorithms have emerged as a new paradigm for the inverse design of photonic structures and devices. While a trained, data-driven neural network can rapidly identify solutions near the global optimum with a given dataset's design space, an iterative optimization algorithm can further refine the solution and overcome dataset limitations. Furthermore, such hybrid ML-optimization methodologies can reduce computational costs and expedite the discovery of novel electromagnetic components. However, existing hybrid ML-optimization methods have yet to optimize across both materials and geometries in a single integrated and user-friendly environment. In addition, due to the challenge of acquiring large datasets for ML, as well as the exponential growth of isolated models being trained for photonics design, there is a need to standardize the ML-optimization workflow while making the pre-trained models easily accessible. Motivated by these challenges, here we introduce DeepAdjoint, a general-purpose, open-source, and multi-objective "all-in-one" global photonics inverse design application framework which integrates pre-trained deep generative networks with state-of-the-art electromagnetic optimization algorithms such as the adjoint variables method. DeepAdjoint allows a designer to specify an arbitrary optical design target, then obtain a photonic structure that is robust to fabrication tolerances and possesses the desired optical properties - all within a single user-guided application interface. Our framework thus paves a path towards the systematic unification of ML and optimization algorithms for photonic inverse design.


title: The advantage of the concatenated three-qubit codes

abstract: In this work, the efficient quantum error-correction protocol against the general independent noise is constructed with the three-qubit codes. The rules of concatenation are summarized according to the error-correcting capability of the codes. The codes not only play the role of correcting errors, but the role of polarizing the effective channel. For any independent noise, the most suitable error-correction protocol can be constructed based on the rules of concatenation. The most significant aspect of using the concatenated three-qubit codes is to realize quantum error-correction with the non-ideal gate operations, because the error-correction schemes of the three-qubit codes are simple and modular. For example, for the amplitude damping noise with the initial channel fidelity 0.9, the effective channel fidelity can reach 0.94731 (or 0.961634 with the ideal quantum gate operations) when using the 4 levels concatenated quantum error-correction with the three-qubit codes. The protocol with the three-qubit codes needs 81 qubits and 366 quantum gate operations when the accuracy rate is 0.9995. Meanwhile, when using the 3 levels concatenated quantum error-correction with the five-qubit code, the effective channel fidelity can only reach 0.922798 (or 0.975488 with the ideal quantum gate operations). The protocol with the five-qubit code needs 125 qubits and 1147 quantum gate operations when the accuracy rate is 0.9995. The physical resources costed is multiple of the physical resources costed by realizing the three-qubit quantum error-correction, the protocol has a higher fault tolerance threshold, and no increase in complexity. So, we believe it will be helpful for realizing quantum error-correction in the physical system.


title: XR-RF Imaging Enabled by Software-Defined Metasurfaces and Machine Learning: Foundational Vision, Technologies and Challenges

abstract: We present a new approach to Extended Reality (XR), denoted as iCOPYWAVES, which seeks to offer naturally low-latency operation and cost-effectiveness, overcoming the critical scalability issues faced by existing solutions. iCOPYWAVES is enabled by emerging PWEs, a recently proposed technology in wireless communications. Empowered by intelligent (meta)surfaces, PWEs transform the wave propagation phenomenon into a software-defined process. We leverage PWEs to i) create, and then ii) selectively copy the scattered RF wavefront of an object from one location in space to another, where a machine learning module, accelerated by FPGAs, translates it to visual input for an XR headset using PWEdriven, RF imaging principles (XR-RF). This makes for an XR system whose operation is bounded in the physical layer and, hence, has the prospects for minimal end-to-end latency. Over large distances, RF-to-fiber/fiber-to-RF is employed to provide intermediate connectivity. The paper provides a tutorial on the iCOPYWAVES system architecture and workflow. A proof-of-concept implementation via simulations is provided, demonstrating the reconstruction of challenging objects in iCOPYWAVES produced computer graphics.


title: \AA ngstrom depth resolution with chemical specificity at the liquid-vapor interface

abstract: The determination of depth profiles across interfaces is of primary importance in many scientific and technological areas. Photoemission spectroscopy is in principle well suited for this purpose, yet a quantitative implementation for investigations of liquid-vapor interfaces is hindered by the lack of understanding of electron-scattering processes in liquids. Previous studies have shown, however, that core-level photoelectron angular distributions (PADs) are altered by depth-dependent elastic electron scattering and can, thus, reveal information on the depth distribution of species across the interface. Here, we explore this concept further and show that the anisotropy parameter characterizing the PAD scales linearly with the average distance of atoms along the surface normal. This behavior can be accounted for in the low-collision-number regime. We also show that results for different atomic species can be compared on the same length scale. We demonstrate that atoms separated by about 1~\AA~along the surface normal can be clearly distinguished with this method, achieving excellent depth resolution.


title: Empowering the trustworthiness of ML-based critical systems through engineering activities

abstract: This paper reviews the entire engineering process of trustworthy Machine Learning (ML) algorithms designed to equip critical systems with advanced analytics and decision functions. We start from the fundamental principles of ML and describe the core elements conditioning its trust, particularly through its design: namely domain specification, data engineering, design of the ML algorithms, their implementation, evaluation and deployment. The latter components are organized in an unique framework for the design of trusted ML systems.


title: Exploiting Instance-based Mixed Sampling via Auxiliary Source Domain Supervision for Domain-adaptive Action Detection

abstract: We propose a novel domain adaptive action detection approach and a new adaptation protocol that leverages the recent advancements in image-level unsupervised domain adaptation (UDA) techniques and handle vagaries of instance-level video data. Self-training combined with cross-domain mixed sampling has shown remarkable performance gain in semantic segmentation in UDA (unsupervised domain adaptation) context. Motivated by this fact, we propose an approach for human action detection in videos that transfers knowledge from the source domain (annotated dataset) to the target domain (unannotated dataset) using mixed sampling and pseudo-label-based selftraining. The existing UDA techniques follow a ClassMix algorithm for semantic segmentation. However, simply adopting ClassMix for action detection does not work, mainly because these are two entirely different problems, i.e., pixel-label classification vs. instance-label detection. To tackle this, we propose a novel action instance mixed sampling technique that combines information across domains based on action instances instead of action classes. Moreover, we propose a new UDA training protocol that addresses the long-tail sample distribution and domain shift problem by using supervision from an auxiliary source domain (ASD). For the ASD, we propose a new action detection dataset with dense frame-level annotations. We name our proposed framework as domain-adaptive action instance mixing (DA-AIM). We demonstrate that DA-AIM consistently outperforms prior works on challenging domain adaptation benchmarks. The source code is available at https://github.com/wwwfan628/DA-AIM.


title: Liquid Crystals as Multifunctional Interfaces for Trapping and Characterizing Microplastics

abstract: Identifying and removing microplastics (MPs) from the environment is a global challenge. This study explores how the colloidal fraction of common MPs behave at aqueous interfaces of liquid crystal (LC) films. We observed polyethylene (PE) and polystyrene (PS) microparticles to be captured at the LC interface and exhibit distinct two-dimensional aggregation patterns. The addition of low concentrations of surfactant (sodium dodecylsulfate (SDS)) was found to further amplify the differences in PS/PE aggregation patterns, with PS changing from a linear chain-like morphology to a singly dispersed state with increasing SDS concentration and PE forming dense clusters at all SDS concentrations. Statistical characterization of assembly patterns using fractal geometric theory-based machine learning and a deep learning image recognition model yielded highly accurate classification of PE vs PS (>99%). Additionally, by performing feature importance analysis on our deep learning model, dense, multi-branched assemblies were confirmed to be unique features of PE relative to PS. To obtain additional insight into the origin of these key features, we performed microscopic characterization of LC ordering at the microparticle surfaces. These observations led us to predict that both microparticle types should generate LC-mediated interactions (due to elastic strain) with a dipolar symmetry, a prediction consistent with the observed interfacial organization of PS but not PE. We conclude that the non-equilibrium organization of the PE microparticles arises from their polycrystalline nature, which leads to rough particle surfaces and weakened LC elastic interactions and enhanced capillary forces. Overall, our results highlight the potential utility of LC interfaces for surface-sensitive characterization of colloidal MPs.


title: More on Chiral Higher Spin Gravity and Convex Geometry

abstract: Recently, a unique class of local Higher Spin Gravities with propagating massless fields in $4d$ - Chiral Higher Spin Gravity - was given a covariant formulation both in flat and $(A)dS_4$ spacetimes at the level of equations of motion. We unfold the corresponding homological perturbation theory as to explicitly obtain all interaction vertices. The vertices reveal a remarkable simplicity after an appropriate change of variables. Similarly to formality theorems the $A_\infty/L_\infty$ multi-linear products can be represented as integrals over a configuration space, which in our case is the space of convex polygons. The $A_\infty$-algebra underlying Chiral Theory is of pre-Calabi-Yau type. As a consequence, the equations of motion have the Poisson sigma-model form.


title: Third-order intrinsic anomalous Hall effect with generalized semiclassical theory

abstract: The linear intrinsic anomalous Hall effect (IAHE) and second-order IAHE have been intensively investigated in time-reversal broken systems. However, as one of the important members of the nonlinear Hall family, the investigation of third-order IAHE remains absent due to the lack of an appropriate theoretical approach, although the third-order extrinsic AHE has been studied within the framework of first- and second-order semiclassical theory. Herein, we generalize the semiclassical theory for Bloch electrons under the uniform electric field up to the third-order using wavepacket method and based on which we predict that the third-order IAHE can also occur in time-reversal broken systems. Same as the second-order IAHE, we find the band geometric quantity, the second-order field-dependent Berry curvature arising from the second-order field-induced positional shift, plays a pivotal role to observe this effect. Moreover, with symmetry analysis, we find that the third-order IAHE, as the leading contribution, is supported by 15 time-reversal broken 3D magnetic point groups (MPGs), corresponding to a wide class of antiferromagnetic (AFM) materials. Guided by the symmetry arguments, a two-band model is chosen to demonstrate the generalized theory. Furthermore, the generalized third-order semiclassical theory depends only on the properties of Bloch bands, implying that it can also be employed to explore the IAHE in realistic AFM materials, by combining with first-principles calculations.


title: Towards structures in the flux landscape at large number of moduli

abstract: Sampling string flux vacua enables us to study structures in the string landscape. Here we demonstrate that sampling at large number of moduli is possible for the simplified landscape model of ADK. Using dimensional reduction, we identify analytic structures in these samples. In this example, we find that these structures are rather insensitive to the underlying distribution of UV parameters but they emerge only at large number of moduli and they can be attributed to sampling bias.


title: La orientaci\'on de las iglesias coloniales de Fuerteventura

abstract: We use standard tools of Archaeoastronomy to approach the study of orientations, possibly astronomical, of a group of colonial Christian churches. We present preliminary results of the analysis of the precise spatial orientation of nearly fifty chapels and churches of the Canary Island of Fuerteventura (Spain), most of them built from the period of the Norman conquest in the fifteenth century to the nineteenth century. Although some small chapels belonging to the manorial power of the island and other modern churches do not have a well-defined pattern of orientations, the vast majority of the religious constructions of the island (about 35 of the 48 analyzed) have their axis oriented within the solar range, between the extreme azimuths of the annual movement of the Sun when crossing the local horizon. Unlike what was found in other islands of the archipelago, these results suggest that the religious architecture of Fuerteventura faithfully follows the prescriptions contained in the texts of early Christian writers.


title: Offloading electromagnetic shower transport to GPUs

abstract: Making general particle transport simulation for high-energy physics (HEP) single-instruction-multiple-thread (SIMT) friendly, to take advantage of accelerator hardware, is an important alternative for boosting the throughput of simulation applications. To date, this challenge is not yet resolved, due to difficulties in mapping the complexity of Geant4 components and workflow to the massive parallelism features exposed by graphics processing units (GPU). The AdePT project is one of the R\&D initiatives tackling this limitation and exploring GPUs as potential accelerators for offloading some part of the CPU simulation workload. Our main target is to implement a complete electromagnetic shower demonstrator working on the GPU. The project is the first to create a full prototype of a realistic electron, positron, and gamma electromagnetic shower simulation on GPU, implemented as either a standalone application or as an extension of the standard Geant4 CPU workflow. Our prototype currently provides a platform to explore many optimisations and different approaches. We present the most recent results and initial conclusions of our work, using both a standalone GPU performance analysis and a first implementation of a hybrid workflow based on Geant4 on the CPU and AdePT on the GPU.


title: Fast Topological Signal Identification and Persistent Cohomological Cycle Matching

abstract: Within the context of topological data analysis, the problems of identifying topological significance and matching signals across datasets are important and useful inferential tasks in many applications. The limitation of existing solutions to these problems, however, is computational speed. In this paper, we harness the state-of-the-art for persistent homology computation by studying the problem of determining topological prevalence and cycle matching using a cohomological approach, which increases their feasibility and applicability to a wider variety of applications and contexts. We demonstrate this on a wide range of real-life, large-scale, and complex datasets. We extend existing notions of topological prevalence and cycle matching to include general non-Morse filtrations. This provides the most general and flexible state-of-the-art adaptation of topological signal identification and persistent cycle matching, which performs comparisons of orders of ten for thousands of sampled points in a matter of minutes on standard institutional HPC CPU facilities.


title: Bardeen's tunneling theory applied to intraorbital and interorbital hopping integrals between dopants in silicon

abstract: We utilize Bardeen's tunneling theory to calculate intra- and interorbital hopping integrals between phosphorus donors in silicon using known orbital wave functions. While the two-donor problem can be solved directly, the knowledge of hoppings for various pairs of orbitals is essential for constructing multi-orbital Hubbard models for chains and arrays of donors. To assure applicability to long-range potentials, we rederive Bardeen's formula for the matrix element without assuming non-overlapping potentials. Moreover, we find a correction to the original expression allowing us to use it at short distances. We also show that accurate calculation of the lowest donor-pair eigenstates is possible based on these tunnel couplings, and we characterize the obtained states. The results are in satisfactory quantitative agreement with those obtained with the standard H\"uckel tight-binding method. The calculation relies solely on the wave functions in the barrier region and does not explicitly involve donor or lattice potentials, which has practical advantages. We find that neglecting the central correction potential in the standard method may lead to qualitatively incorrect results, while its explicit inclusion raises severe numerical problems, as it is contained in a tiny volume. In contrast, using wave functions obtained with this correction in the proposed method does not raise such issues. Nominally, the computational cost of the method is to calculate a double integral along the plane that separates donors. For donor separation in directions where valley interference leads to oscillatory behavior, additional averaging over the position of the integration plane is needed. Despite this, the presented approach offers a competitive computational cost as compared to the standard one. This work may be regarded as a benchmark of a promising method for calculating hopping integrals in lattice models.


title: Blessing from Human-AI Interaction: Super Reinforcement Learning in Confounded Environments

abstract: As AI becomes more prevalent throughout society, effective methods of integrating humans and AI systems that leverage their respective strengths and mitigate risk have become an important priority. In this paper, we introduce the paradigm of super reinforcement learning that takes advantage of Human-AI interaction for data driven sequential decision making. This approach utilizes the observed action, either from AI or humans, as input for achieving a stronger oracle in policy learning for the decision maker (humans or AI). In the decision process with unmeasured confounding, the actions taken by past agents can offer valuable insights into undisclosed information. By including this information for the policy search in a novel and legitimate manner, the proposed super reinforcement learning will yield a super-policy that is guaranteed to outperform both the standard optimal policy and the behavior one (e.g., past agents' actions). We call this stronger oracle a blessing from human-AI interaction. Furthermore, to address the issue of unmeasured confounding in finding super-policies using the batch data, a number of nonparametric and causal identifications are established. Building upon on these novel identification results, we develop several super-policy learning algorithms and systematically study their theoretical properties such as finite-sample regret guarantee. Finally, we illustrate the effectiveness of our proposal through extensive simulations and real-world applications.


title: End-to-End Label Uncertainty Modeling in Speech Emotion Recognition using Bayesian Neural Networks and Label Distribution Learning

abstract: To train machine learning algorithms to predict emotional expressions in terms of arousal and valence, annotated datasets are needed. However, as different people perceive others' emotional expressions differently, their annotations are subjective. To account for this, annotations are typically collected from multiple annotators and averaged to obtain ground-truth labels. However, when exclusively trained on this averaged ground-truth, the model is agnostic to the inherent subjectivity in emotional expressions. In this work, we therefore propose an end-to-end Bayesian neural network capable of being trained on a distribution of annotations to also capture the subjectivity-based label uncertainty. Instead of a Gaussian, we model the annotation distribution using Student's t-distribution, which also accounts for the number of annotations available. We derive the corresponding Kullback-Leibler divergence loss and use it to train an estimator for the annotation distribution, from which the mean and uncertainty can be inferred. We validate the proposed method using two in-the-wild datasets. We show that the proposed t-distribution based approach achieves state-of-the-art uncertainty modeling results in speech emotion recognition, and also consistent results in cross-corpora evaluations. Furthermore, analyses reveal that the advantage of a t-distribution over a Gaussian grows with increasing inter-annotator correlation and a decreasing number of annotations available.


title: Explainable Censored Learning: Finding Critical Features with Long Term Prognostic Values for Survival Prediction

abstract: Interpreting critical variables involved in complex biological processes related to survival time can help understand prediction from survival models, evaluate treatment efficacy, and develop new therapies for patients. Currently, the predictive results of deep learning (DL)-based models are better than or as good as standard survival methods, they are often disregarded because of their lack of transparency and little interpretability, which is crucial to their adoption in clinical applications. In this paper, we introduce a novel, easily deployable approach, called EXplainable CEnsored Learning (EXCEL), to iteratively exploit critical variables and simultaneously implement (DL) model training based on these variables. First, on a toy dataset, we illustrate the principle of EXCEL; then, we mathematically analyze our proposed method, and we derive and prove tight generalization error bounds; next, on two semi-synthetic datasets, we show that EXCEL has good anti-noise ability and stability; finally, we apply EXCEL to a variety of real-world survival datasets including clinical data and genetic data, demonstrating that EXCEL can effectively identify critical features and achieve performance on par with or better than the original models. It is worth pointing out that EXCEL is flexibly deployed in existing or emerging models for explainable survival data in the presence of right censoring.


title: Semi-Supervised Domain Generalization for Cardiac Magnetic Resonance Image Segmentation with High Quality Pseudo Labels

abstract: Developing a deep learning method for medical segmentation tasks heavily relies on a large amount of labeled data. However, the annotations require professional knowledge and are limited in number. Recently, semi-supervised learning has demonstrated great potential in medical segmentation tasks. Most existing methods related to cardiac magnetic resonance images only focus on regular images with similar domains and high image quality. A semi-supervised domain generalization method was developed in [2], which enhances the quality of pseudo labels on varied datasets. In this paper, we follow the strategy in [2] and present a domain generalization method for semi-supervised medical segmentation. Our main goal is to improve the quality of pseudo labels under extreme MRI Analysis with various domains. We perform Fourier transformation on input images to learn low-level statistics and cross-domain information. Then we feed the augmented images as input to the double cross pseudo supervision networks to calculate the variance among pseudo labels. We evaluate our method on the CMRxMotion dataset [1]. With only partially labeled data and without domain labels, our approach consistently generates accurate segmentation results of cardiac magnetic resonance images with different respiratory motions. Code is available at: https://github.com/MAWanqin2002/STACOM2022Ma


title: Safe Exploration Method for Reinforcement Learning under Existence of Disturbance

abstract: Recent rapid developments in reinforcement learning algorithms have been giving us novel possibilities in many fields. However, due to their exploring property, we have to take the risk into consideration when we apply those algorithms to safety-critical problems especially in real environments. In this study, we deal with a safe exploration problem in reinforcement learning under the existence of disturbance. We define the safety during learning as satisfaction of the constraint conditions explicitly defined in terms of the state and propose a safe exploration method that uses partial prior knowledge of a controlled object and disturbance. The proposed method assures the satisfaction of the explicit state constraints with a pre-specified probability even if the controlled object is exposed to a stochastic disturbance following a normal distribution. As theoretical results, we introduce sufficient conditions to construct conservative inputs not containing an exploring aspect used in the proposed method and prove that the safety in the above explained sense is guaranteed with the proposed method. Furthermore, we illustrate the validity and effectiveness of the proposed method through numerical simulations of an inverted pendulum and a four-bar parallel link robot manipulator.


title: On endomorphism universality of sparse graph classes

abstract: Solving a problem of Babai and Pultr from 1980 we show that every commutative idempotent monoid (a.k.a lattice) is the endomorphism monoid of a graph of bounded degree. Indeed we show that maximum degree $3$ suffices, which is best-possible. On the other hand we strengthen a result of Babai and Pultr and show that no class excluding a topological minor can have all completely regular monoids among its endomorphism monoids. Moreover, we show that no class excluding a minor can have all commutative idempotent monoids among its endomorphism monoids.


title: GPNet: Simplifying Graph Neural Networks via Multi-channel Geometric Polynomials

abstract: Graph Neural Networks (GNNs) are a promising deep learning approach for circumventing many real-world problems on graph-structured data. However, these models usually have at least one of four fundamental limitations: over-smoothing, over-fitting, difficult to train, and strong homophily assumption. For example, Simple Graph Convolution (SGC) is known to suffer from the first and fourth limitations. To tackle these limitations, we identify a set of key designs including (D1) dilated convolution, (D2) multi-channel learning, (D3) self-attention score, and (D4) sign factor to boost learning from different types (i.e. homophily and heterophily) and scales (i.e. small, medium, and large) of networks, and combine them into a graph neural network, GPNet, a simple and efficient one-layer model. We theoretically analyze the model and show that it can approximate various graph filters by adjusting the self-attention score and sign factor. Experiments show that GPNet consistently outperforms baselines in terms of average rank, average accuracy, complexity, and parameters on semi-supervised and full-supervised tasks, and achieves competitive performance compared to state-of-the-art model with inductive learning task.


title: Road Network Deterioration Monitoring Using Aerial Images and Computer Vision

abstract: Road maintenance is an essential process for guaranteeing the quality of transportation in any city. A crucial step towards effective road maintenance is the ability to update the inventory of the road network. We present a proof of concept of a protocol for maintaining said inventory based on the use of unmanned aerial vehicles to quickly collect images which are processed by a computer vision program that automatically identifies potholes and their severity. Our protocol aims to provide information to local governments to prioritise the road network maintenance budget, and to be able to detect early stages of road deterioration so as to minimise maintenance expenditure.


title: Lyapunov exponents in $\mathbf{{\cal N}=2}$ supersymmetric Jackiw-Teitelboim gravity

abstract: We study $\mathcal{N}=2$ supersymmetric Jackiw-Teitelboim (JT) gravity at finite temperature coupled to matter. The matter fields are related to superconformal primaries by AdS/CFT duality. Due to broken super reparametrisation invariance in the SCFT dual, there are corrections to superconformal correlators. These are generated by the exchange of super-Schwarzian modes which is dual to the exchange of 2D supergravity modes. We compute corrections to four-point functions for superconformal primaries and analyse the behaviour of out-of-time-ordered correlators. In particular, four-point functions of two pairs of primaries with mutually vanishing two-point functions are considered. By decomposing the corresponding supermultiplet into its components, we find different Lyapunov exponents. The value of the Lyapunov exponents depends on whether the correction is due to graviton, gravitini or graviphoton exchange. If mutual two-point functions do not vanish all components grow with maximal Lyapunov exponent.


title: Scheduling for Urban Air Mobility using Safe Learning

abstract: This work considers the scheduling problem for Urban Air Mobility (UAM) vehicles travelling between origin-destination pairs with both hard and soft trip deadlines. Each route is described by a discrete probability distribution over trip completion times (or delay) and over inter-arrival times of requests (or demand) for the route along with a fixed hard or soft deadline. Soft deadlines carry a cost that is incurred when the deadline is missed. An online, safe scheduler is developed that ensures that hard deadlines are never missed, and that average cost of missing soft deadlines is minimized. The system is modelled as a Markov Decision Process (MDP) and safe model-based learning is used to find the probabilistic distributions over route delays and demand. Monte Carlo Tree Search (MCTS) Earliest Deadline First (EDF) is used to safely explore the learned models in an online fashion and develop a near-optimal non-preemptive scheduling policy. These results are compared with Value Iteration (VI) and MCTS (Random) scheduling solutions.


title: Towards General-Purpose Representation Learning of Polygonal Geometries

abstract: Neural network representation learning for spatial data is a common need for geographic artificial intelligence (GeoAI) problems. In recent years, many advancements have been made in representation learning for points, polylines, and networks, whereas little progress has been made for polygons, especially complex polygonal geometries. In this work, we focus on developing a general-purpose polygon encoding model, which can encode a polygonal geometry (with or without holes, single or multipolygons) into an embedding space. The result embeddings can be leveraged directly (or finetuned) for downstream tasks such as shape classification, spatial relation prediction, and so on. To achieve model generalizability guarantees, we identify a few desirable properties: loop origin invariance, trivial vertex invariance, part permutation invariance, and topology awareness. We explore two different designs for the encoder: one derives all representations in the spatial domain; the other leverages spectral domain representations. For the spatial domain approach, we propose ResNet1D, a 1D CNN-based polygon encoder, which uses circular padding to achieve loop origin invariance on simple polygons. For the spectral domain approach, we develop NUFTspec based on Non-Uniform Fourier Transformation (NUFT), which naturally satisfies all the desired properties. We conduct experiments on two tasks: 1) shape classification based on MNIST; 2) spatial relation prediction based on two new datasets - DBSR-46K and DBSR-cplx46K. Our results show that NUFTspec and ResNet1D outperform multiple existing baselines with significant margins. While ResNet1D suffers from model performance degradation after shape-invariance geometry modifications, NUFTspec is very robust to these modifications due to the nature of the NUFT.


title: Experimental realization of a 218-ion multi-qubit quantum memory

abstract: Storage lifetime and capacity are two important factors to characterize the performance of a quantum memory. Here we report the stable trapping of above 200 ions in a cryogenic setup, and demonstrate the combination of the multi-qubit capacity and long storage lifetime by measuring the coherence time of randomly chosen ions to be on the order of hundreds of milliseconds. We apply composite microwave pulses to manipulate qubit states globally for efficient characterization of different storage units simultaneously, and we compare the performance of the quantum memory with and without the sympathetic cooling laser, thus unambiguously show the necessity of sympathetic cooling for the long-time storage of multiple ionic qubits.


title: Prospects for a lattice calculation of the rare decay $\Sigma^+\to p\ell^+\ell^-$

abstract: We present a strategy for calculating the rare decay of a $\Sigma^+ (uus)$ baryon to a proton $(uud)$ and di-lepton pair using lattice QCD. To determine this observable one needs to numerically evaluate baryonic two-, three-, and four-point correlation functions related to the target process. In particular, the four-point function arises from the insertion of incoming and outgoing baryons, together with a weak Hamiltonian mediating the $s \to d$ transition and an electromagnetic current creating the outgoing leptons. As is described in previous work in other contexts, this four-point function has a highly non-trivial relation to the physical observable, due to nucleon and nucleon-pion intermediate states. These lead to growing Euclidean time dependence and, in the case of the nucleon-pion states, to power-like volume effects. We discuss how to treat these issues in the context of the $\Sigma^+\rightarrow p\ell^+\ell^-$ decay and, in particular, detail the relation between the finite-volume estimator and the physical, complex-valued amplitude. In doing so, we also make connections between various approaches in the literature.


title: Partitioning of Diluted Anyons Reveals their Braiding Statistics

abstract: Correlations of partitioned particles carry essential information about their quantumness. Partitioning full beams of charged particles leads to current fluctuations, with their autocorrelation (namely, shot noise) revealing the particle' charge. This is not the case when the partitioned particle beams are diluted. Bosons or fermions will exhibit particles antibunching (due to their sparsity and discreteness). However, when diluted anyons, such as the quasiparticles in fractional quantum Hall states, are partitioned in a narrow constriction, their autocorrelation reveals an essential aspect of their exchange statistics: their braiding phase. Here, we describe detailed measurements of weak partitioned, highly diluted, one-dimension-like edge modes of the one-third filling fractional quantum Hall state. The measured autocorrelation agrees with our theory of braiding anyons in the time-domain (instead of braiding in space); with a braiding phase 2$\theta$=2$\pi$/3, without any fitting parameters. Our work offers a relatively straightforward and simple method to observe the braiding statistics of other exotic anyonic states, such as non-abelian states, without resorting to complex interference experiments.


title: Asymptotically periodic points, bifurcations, and transition to chaos in fractional difference maps

abstract: In this paper, we derive analytic expressions for coefficients of the equations that allow calculations of asymptotically periodic points in fractional difference maps. Numerical solution of these equations allows us to draw the bifurcation diagram for the fractional difference logistic map. Based on the numerically calculated bifurcation points, we make a conjecture that in fractional maps the value of the Feigenbaum constant $\delta$ is the same as in regular maps, $\delta=4.669...$.


title: 10 dB emission suppression in a structured low index medium

abstract: Significant suppression of radiation in 3D structured media with small refractive index 1.4-1.6, such as of glass or polymers, is a desirable feature yet to be obtained. For periodical structures this is realised at frequencies of the complete photonic band gap (CPBG), which up to now was demonstrated to open for materials with refractive index of at least 1.9. We present here a quasiperiodic 3D structure consisting of multiple overlapping gratings with a homogeneous distribution of Bragg peaks on a sphere in reciprocal space, which allows efficient suppression of emission. Recently we have presented the theoretical model, considering interaction with the neighbouring gratings only, that estimates a finite CPBG for arbitrarily small refractive indices and thus complete emission suppression in infinite structures. However, numerical simulations demonstrate a finite leakage of power from emitter not predicted by the model. Still the simulations show -10 dB suppression in 3D structures with optimised number of gratings. Astonishingly, as we show here, this limit is almost independent of the refractive index contrast. Also, the structures with a defined number of gratings show maximal suppression at certain refractive indices, losing the suppression even at higher refractive indices. The -10 dB suppression is demonstrated for refractive index contrast as low as 1.30.


title: Photoinduced molecule formation of spatially separated atoms on helium nanodroplets

abstract: Besides the use as cold matrix for spectroscopic studies, superfluid helium droplets have served as a cold environment for the synthesis of molecules and clusters. Since vibrational frequencies of molecules in helium droplets exhibit almost no shift compared to the free molecule values, one could assume the solvated particles move frictionless and undergo a reaction as soon as their paths cross. There have been a few unexplained observations that seemed to indicate cases of two species on one droplet not forming bonds but remaining isolated. In this work, we performed a systematic study of helium droplets doped with one rubidium and one strontium atom showing that besides a reaction to RbSr, there is a probability of finding separated Rb and Sr atoms on one droplet that only react after electronic excitation. Our results further indicate that ground-state Sr atoms can reside at the surface as well as inside the droplet.


title: Melanoma Skin Cancer and Nevus Mole Classification using Intensity Value Estimation with Convolutional Neural Network

abstract: Melanoma skin cancer is one of the most dangerous and life-threatening cancer. Exposure to ultraviolet rays may damage the skin cell's DNA, which causes melanoma skin cancer. However, it is difficult to detect and classify melanoma and nevus mole at the immature stages. In this work, an automatic deep learning system is developed based on the intensity value estimation with a convolutional neural network model (CNN) to detect and classify melanoma and nevus mole more accurately. Since intensity levels are the most distinctive features for object or region of interest identification, the high-intensity pixel values are selected from the extracted lesion images. Incorporating those high-intensity features into the CNN improves the overall performance of the proposed model than the state-of-the-art methods for detecting melanoma skin cancer. To evaluate the system, we used 5-fold cross-validation. Experimental results show that a superior percentage of accuracy (92.58%), sensitivity (93.76%), specificity (91.56%), and precision (90.68%) are achieved.


title: Sparsity-Constrained Optimal Transport

abstract: Regularized optimal transport (OT) is now increasingly used as a loss or as a matching layer in neural networks. Entropy-regularized OT can be computed using the Sinkhorn algorithm but it leads to fully-dense transportation plans, meaning that all sources are (fractionally) matched with all targets. To address this issue, several works have investigated quadratic regularization instead. This regularization preserves sparsity and leads to unconstrained and smooth (semi) dual objectives, that can be solved with off-the-shelf gradient methods. Unfortunately, quadratic regularization does not give direct control over the cardinality (number of nonzeros) of the transportation plan. We propose in this paper a new approach for OT with explicit cardinality constraints on the transportation plan. Our work is motivated by an application to sparse mixture of experts, where OT can be used to match input tokens such as image patches with expert models such as neural networks. Cardinality constraints ensure that at most $k$ tokens are matched with an expert, which is crucial for computational performance reasons. Despite the nonconvexity of cardinality constraints, we show that the corresponding (semi) dual problems are tractable and can be solved with first-order gradient methods. Our method can be thought as a middle ground between unregularized OT (recovered in the limit case $k=1$) and quadratically-regularized OT (recovered when $k$ is large enough). The smoothness of the objectives increases as $k$ increases, giving rise to a trade-off between convergence speed and sparsity of the optimal plan.


title: The 700 ks Chandra Spiderweb Field II: Evidence for inverse-Compton and thermal diffuse emission in the Spiderweb galaxy

abstract: We present the X-ray imaging and spectral analysis of the diffuse emission around the Spiderweb galaxy at z=2.16 and of its nuclear emission, based on a deep (700 ks) Chandra observation. We characterize the nuclear emission and computed the contamination in the surrounding regions due to the wings of the instrument PSF. Then, we quantified the extended emission within 12". We find that the Spiderweb galaxy hosts a mildly absorbed quasar, with modest yet significant variability on a timescale of ~1 year. We find that the emission in the jet regions is well described by a power law with Gamma~2-2.5, and it is consistent with IC upscattering of the CMB photons by the relativistic electrons. We also find a roughly symmetric, diffuse emission within a radius of ~100 kpc. This emission is consistent with thermal bremsstrahlung from a hot ICM with a temperature of kT=2.0_{-0.4}^{+0.7} keV, and a metallicity of Z<1.6Z_sun. The average electron density within 100 kpc is n_e=(1.51+-0.24+-0.14)E-2 cm^{-3}, corresponding to an upper limit for the total ICM mass of <=(1.76+-0.30+-0.17)E+12 M_sun (where error bars are 1 sigma statistical and systematic, respectively). If we apply hydrostatic equilibrium to the ICM, we measure a total gravitational mass M(<100 kpc)=(1.5^{+0.5}_{-0.3})E+13 M_sun and, extrapolating at larger radii, we estimate a total mass M_{500}=(3.2^{+1.1}_{-0.6})E+13 M_sun within a radius of r_{500}=(220+-30) kpc. We conclude that the Spiderweb protocluster shows significant diffuse emission within a radius of 12 arcsec, whose major contribution is provided by IC scattering associated with the radio jets. Outside the jet regions, we also identified thermal emission within a radius of ~100 kpc, revealing the presence of hot, diffuse baryons that may represent the embryonic virialized halo of the forming cluster.


title: Topological magnetic structures in MnGe: Neutron diffraction and symmetry analysis

abstract: From new neutron powder diffraction experiments on the chiral cubic ($P2{_1}3$) magnet manganese germanide MnGe, we analyse all of the possible crystal symmetry-allowed magnetic superstructures that are determined successfully from the data. The incommensurate propagation vectors $k$ of the magnetic structure are found to be aligned with the [100] cubic axes, and correspond to a magnetic periodicity of about 30 $\r{A}$ at 1.8 K. Several maximal crystallographic symmetry magnetic structures are found to fit the data equally well and are presented. These include topologically non-trivial magnetic hedgehog and "skyrmion'' structures in multi-$k$ cubic or orthorhombic 3+3 and orthorhombic 3+2 dimensional magnetic superspace groups respectively, with either potentially responsible for topological Hall effect. The presence of orthorhombic distortions in the space group $P2_12_12_1$ caused by the transition to the magnetically ordered state does not favour the cubic magnetic hedgehog structure, and leave both orthorhombic hedgehog and "skyrmion'' models as equal candidates for the magnetic structures. We also report on a new combined mechanochemical and solid-state chemical route to synthesise MnGe at ambient pressures and moderate temperatures, and compare with samples obtained by the traditional high pressure synthesis.


title: Zero-Shot Retrieval with Search Agents and Hybrid Environments

abstract: Learning to search is the task of building artificial agents that learn to autonomously use a search box to find information. So far, it has been shown that current language models can learn symbolic query reformulation policies, in combination with traditional term-based retrieval, but fall short of outperforming neural retrievers. We extend the previous learning to search setup to a hybrid environment, which accepts discrete query refinement operations, after a first-pass retrieval step via a dual encoder. Experiments on the BEIR task show that search agents, trained via behavioral cloning, outperform the underlying search system based on a combined dual encoder retriever and cross encoder reranker. Furthermore, we find that simple heuristic Hybrid Retrieval Environments (HRE) can improve baseline performance by several nDCG points. The search agent based on HRE (HARE) matches state-of-the-art performance, balanced in both zero-shot and in-domain evaluations, via interpretable actions, and at twice the speed.


title: Prediction of motion induced magnetic fields for human brain MRI at 3T

abstract: Objective Maps of B0 field inhomogeneities are often used to improve MRI image quality, even in a retrospective fashion. These field inhomogeneities depend on the exact head position within the static field but acquiring field maps (FM) at every position is time consuming. Here we explore different ways to obtain B0 predictions at different head positions. Methods FM were predicted from iterative simulations with four field factors: 1) sample induced B0 field, 2) system's spherical harmonic shim field, 3) perturbing field originating outside the field of view, 4) sequence phase errors. The simulation was improved by including local susceptibility sources estimated from UTE scans and position-specific masks. The estimation performance of the simulated FMs and a transformed FM, obtained from the measured reference FM, were compared with the actual FM at different head positions. Results The transformed FM provided inconsistent results for large head movements (>5 degree rotation), while the simulation strategy had a superior prediction accuracy for all positions. The simulated FM was used to optimize B0 shims with up to 22.2% improvement with respect to the transformed FM approach. Conclusion The proposed simulation strategy is able to predict movement induced B0 field inhomogeneities yielding more precise estimates of the ground truth field homogeneity than the transformed FM.


title: Two-headed eye-segmentation approach for biometric identification

abstract: Iris-based identification systems are among the most popular approaches for person identification. Such systems require good-quality segmentation modules that ideally identify the regions for different eye components. This paper introduces the new two-headed architecture, where the eye components and eyelashes are segmented using two separate decoding modules. Moreover, we investigate various training scenarios by adopting different training losses. Thanks to the two-headed approach, we were also able to examine the quality of the model with the convex prior, which enforces the convexity of the segmented shapes. We conducted an extensive evaluation of various learning scenarios on real-life conditions high-resolution near-infrared iris images.


title: Binaural Speech Enhancement Using STOI-Optimal Masks

abstract: STOI-optimal masking has been previously proposed and developed for single-channel speech enhancement. In this paper, we consider the extension to the task of binaural speech enhancement in which spatial information is known to be important to speech understanding and therefore should be preserved by the enhancement processing. Masks are estimated for each of the binaural channels individually and a `better-ear listening' mask is computed by choosing the maximum of the two masks. The estimated mask is used to supply probability information about the speech presence in each time-frequency bin to an Optimally-modified Log Spectral Amplitude (OM-LSA) enhancer. We show that using the proposed method for binaural signals with a directional noise not only improves the SNR of the noisy signal but also preserves the binaural cues and intelligibility.


title: Generalized Fiducial Inference on Differentiable Manifolds

abstract: We introduce a novel approach to inference on parameters that take values in a Riemannian manifold embedded in a Euclidean space. Parameter spaces of this form are ubiquitous across many fields, including chemistry, physics, computer graphics, and geology. This new approach uses generalized fiducial inference to obtain a posterior-like distribution on the manifold, without needing to know a parameterization that maps the constrained space to an unconstrained Euclidean space. The proposed methodology, called the constrained generalized fiducial distribution (CGFD), is obtained by using mathematical tools from Riemannian geometry. A Bernstein-von Mises-type result for the CGFD, which provides intuition for how the desirable asymptotic qualities of the unconstrained generalized fiducial distribution are inherited by the CGFD, is provided. To demonstrate the practical use of the CGFD, we provide three proof-of-concept examples: inference for data from a multivariate normal density with the mean parameters on a sphere, a linear logspline density estimation problem, and a reimagined approach to the AR(1) model, all of which exhibit desirable coverages via simulation. We discuss two Markov chain Monte Carlo algorithms for the exploration of these constrained parameter spaces and adapt them for the CGFD.


title: Reliable Face Morphing Attack Detection in On-The-Fly Border Control Scenario with Variation in Image Resolution and Capture Distance

abstract: Face Recognition Systems (FRS) are vulnerable to various attacks performed directly and indirectly. Among these attacks, face morphing attacks are highly potential in deceiving automatic FRS and human observers and indicate a severe security threat, especially in the border control scenario. This work presents a face morphing attack detection, especially in the On-The-Fly (OTF) Automatic Border Control (ABC) scenario. We present a novel Differential-MAD (D-MAD) algorithm based on the spherical interpolation and hierarchical fusion of deep features computed from six different pre-trained deep Convolutional Neural Networks (CNNs). Extensive experiments are carried out on the newly generated face morphing dataset (SCFace-Morph) based on the publicly available SCFace dataset by considering the real-life scenario of Automatic Border Control (ABC) gates. Experimental protocols are designed to benchmark the proposed and state-of-the-art (SOTA) D-MAD techniques for different camera resolutions and capture distances. Obtained results have indicated the superior performance of the proposed D-MAD method compared to the existing methods.


title: Point Cloud Quality Assessment using 3D Saliency Maps

abstract: Point cloud quality assessment (PCQA) has become an appealing research field in recent days. Considering the importance of saliency detection in quality assessment, we propose an effective full-reference PCQA metric which makes the first attempt to utilize the saliency information to facilitate quality prediction, called point cloud quality assessment using 3D saliency maps (PQSM). Specifically, we first propose a projection-based point cloud saliency map generation method, in which depth information is introduced to better reflect the geometric characteristics of point clouds. Then, we construct point cloud local neighborhoods to derive three structural descriptors to indicate the geometry, color and saliency discrepancies. Finally, a saliency-based pooling strategy is proposed to generate the final quality score. Extensive experiments are performed on four independent PCQA databases. The results demonstrate that the proposed PQSM shows competitive performances compared to multiple state-of-the-art PCQA metrics.


title: A brief journey through collision models for multipartite open quantum dynamics

abstract: The quantum collision models are a useful method to describe the dynamics of an open quantum system by means of repeated interactions between the system and some particles of the environment, which are usually termed "ancillas". In this paper, we review the main collision models for the dynamics of multipartite open quantum systems, which are composed of several subsystems. In particular, we are interested in models that are based on elementary collisions between the subsystems and the ancillas, and that simulate global and/or local Markovian master equations in the limit of infinitesimal timestep. After discussing the mathematical details of the derivation of a generic collision-based master equation, we provide the general ideas at the basis of the collision models for multipartite systems, we discuss their strengths and limitations, and we show how they may be simulated on a quantum computer. Moreover, we analyze some properties of a collision model based on entangled ancillas, derive the master equation it generates for small timesteps, and prove that the coefficients of this master equation are subject to a constraint that limits their generality. Finally, we present an example of this collision model with two bosonic ancillas entangled in a two-mode squeezed thermal state.


title: Delicate windows into evaporating black holes

abstract: We revisit the model of an AdS$_2$ black hole in JT gravity evaporating into an external bath. We study when, and how much, information about the black hole interior can be accessed through different portions of the Hawking radiation collected in the bath, and we obtain the corresponding full quantitative Page curves. As a refinement of previous results, we describe the island phase transition for a semi-infinite segment of radiation in the bath, establishing access to the interior for times within the regime of applicability of the model. For finite-size segments in the bath, one needs to include the purifier of the black hole microscopic dual together with the radiation segment in order to access the interior information. We identify four scenarios of the entropy evolution in this case, including a possibility where the interior reconstruction window is temporarily interrupted. Analyzing the phase structure of the Page curve of a finite segment with length comparable to the Page time, we demonstrate that it is very sensitive to changes of the parameters of the model. We also discuss the evolution of the subregion complexity of the radiation during the black hole evaporation.


title: Tropical Linear Series and Tropical Independence

abstract: We propose a definition of tropical linear series that isolates some of the essential combinatorial properties of tropicalizations of not-necessarily-complete linear series on algebraic curves. The definition combines the Baker-Norine notion of rank with the notion of tropical independence and has the property that the restriction of a tropical linear series of rank r to a connected subgraph is a tropical linear series of rank r. We show that tropical linear series of rank 1 are finitely generated as tropical modules and state a number of open problems related to algebraic, combinatorial, and topological properties of higher rank tropical linear series


title: Improving the spectroscopic knowledge of neutral Neodymium

abstract: Laser cooling and trapping of lanthanides has opened the possibility to carry out new experiments with ultracold dipolar gases, for example for quantum simulation of solid state physics. To identify new suitable candidates for laser-cooling, it is important to have a precise spectroscopic knowledge of the atom under consideration. Along this direction, we present here a detailed modeling of the energy levels of neutral neodymium (Nd), an element belonging to the left part of the lanthanide row, which has not yet been considered for laser-cooling. Using the semi-empirical method implemented in the Cowan suite of codes, we are in particular able to interpret more than 200 experimental levels of the NIST database belonging to both parities. The optimal set of atomic parameters obtained after the least-square fitting step can serve to calculate radiative transition probabilities in the future.


title: Applications of Persistent Homology in Nuclear Collisions

abstract: We introduce a novel set of observables associated to the rapidly developing field of persistent homology for the quantitative characterization of nuclear collisions and their evolution. Persistent homology allows for the identification of topological and homological characteristics of distributions in multi-dimensional spaces. We demonstrate here how to apply the toolset of persistent homology to the extraction of novel clustering signatures and the identification of long-range flow correlations in the particle production process of nuclear collisions.


title: Mechanisms of radiation-induced structural transformations in deposited gold clusters

abstract: Physical mechanisms of structural transformations in deposited metallic clusters exposed to an electron beam of a transmission electron microscope (TEM) are studied theoretically and computationally. Recent TEM experiments with size-selected Au$_{923}$ clusters softly deposited on a carbon substrate showed that the clusters undergo structural transformations from icosahedron to decahedron and face-center cubic (fcc) structures upon exposure to a 200-keV electron beam. In this paper, we demonstrate that the relaxation of collective electronic (plasmon) excitations formed in deposited metal clusters can induce the experimentally observed structural transformations. Such excitations in the clusters are formed mainly due to the interaction with low-energy secondary electrons emitted from a substrate. The characteristic occurrence times for plasmon-induced energy relaxation events are several orders of magnitude shorter than those for the momentum transfer events by energetic primary electrons to atoms of the cluster. The theoretical analysis is complemented by molecular dynamics simulations, which show that an icosahedral Au$_{923}$ cluster softly deposited on graphite is transformed into an fcc-like structure due to the vibrational excitation of the cluster.


title: The Adomian series representation of some quadratic BSDEs

abstract: The representation of the solution of some Backward Stochastic Differential Equation as an infinite series is obtained. Some exactly solvable examples are considered.


title: Augmentation Invariant Discrete Representation for Generative Spoken Language Modeling

abstract: Generative Spoken Language Modeling research focuses on optimizing speech Language Models (LMs) using raw audio recordings without accessing any textual supervision. Such speech LMs usually operate over discrete units obtained from quantizing internal representations of self-supervised models. Although such units show impressive modeling results, their robustness capabilities have not been extensively investigated. This work focuses on improving the robustness of discrete input representations for generative spoken language modeling. First, we formally define how to measure the robustness of such representations to various signal variations that do not alter the spoken information (e.g., time-stretch). Next, we empirically demonstrate how current state-of-the-art representation models lack robustness to such variations. To overcome this, we propose an effective and efficient method to learn robust discrete speech representation for generative spoken language modeling. The proposed approach is based on applying a set of signal transformations to the speech signal and optimizing the model using an iterative pseudo-labeling scheme. Our method significantly improves over the evaluated baselines when considering encoding and modeling metrics. We additionally evaluate our method on the speech-to-speech translation task, considering Spanish-English and French-English translations, and show the proposed approach outperforms the evaluated baselines.


title: Retrieving C and O Abundance of HR 8799 c by Combining High- and Low-Resolution Data

abstract: The formation and evolution pathway for the directly-imaged multi-planetary system HR 8799 remains mysterious. Accurate constraints on the chemical composition of the planetary atmosphere(s) are key to solving the mystery. We perform a detailed atmospheric retrieval on HR 8799~c to infer the chemical abundances and abundance ratios using a combination of photometric data along with low- and high-resolution spectroscopic data (R$\sim$20-35,000). We specifically retrieve [C/H], [O/H], and C/O and find them to be 0.55$^{+0.36}_{-0.39}$, 0.47$^{+0.31}_{-0.32}$, and 0.67$^{+0.12}_{-0.15}$ at 68\% confidence. The super-stellar C and O abundances, yet a stellar C/O ratio, reveal a potential formation pathway for HR 8799~c. Planet c, and likely the other gas giant planets in the system, formed early on (likely within $\sim$1 Myr), followed by further atmospheric enrichment in C and O through the accretion of solids beyond the CO iceline. The enrichment either preceded or took place during the early phase of the inward migration to the planet current locations.


title: A New Group of Two-Dimensional Non-van der Waals Materials with Ultra Low Exfoliation Energies

abstract: The exfoliation energy - quantifying the energy required to extract a two-dimensional (2D) sheet from the surface of a bulk material - is a key parameter determining the synthesizability of 2D compounds. Here, using ab initio calculations, we present a new group of non-van der Waals 2D materials derived from non-layered crystals which exhibit ultra low exfoliation energies. In particular for sulfides, surface relaxations are essential to correctly describe the associated energy gain needed to obtain reliable results. Taking into account long-range dispersive interactions has only a minor effect on the energetics and ultimately proves that the exfoliation energies are close to the ones of traditional van der Waals bound 2D compounds. The candidates with the lowest energies, 2D SbTlO$_3$ and MnNaCl$_3$, exhibit appealing electronic, potential topological, and magnetic features as evident from the calculated band structures making these systems an attractive platform for fundamental and applied nanoscience.


title: Graph Neural Networks for Link Prediction with Subgraph Sketching

abstract: Many Graph Neural Networks (GNNs) perform poorly compared to simple heuristics on Link Prediction (LP) tasks. This is due to limitations in expressive power such as the inability to count triangles (the backbone of most LP heuristics) and because they can not distinguish automorphic nodes (those having identical structural roles). Both expressiveness issues can be alleviated by learning link (rather than node) representations and incorporating structural features such as triangle counts. Since explicit link representations are often prohibitively expensive, recent works resorted to subgraph-based methods, which have achieved state-of-the-art performance for LP, but suffer from poor efficiency due to high levels of redundancy between subgraphs. We analyze the components of subgraph GNN (SGNN) methods for link prediction. Based on our analysis, we propose a novel full-graph GNN called ELPH (Efficient Link Prediction with Hashing) that passes subgraph sketches as messages to approximate the key components of SGNNs without explicit subgraph construction. ELPH is provably more expressive than Message Passing GNNs (MPNNs). It outperforms existing SGNN models on many standard LP benchmarks while being orders of magnitude faster. However, it shares the common GNN limitation that it is only efficient when the dataset fits in GPU memory. Accordingly, we develop a highly scalable model, called BUDDY, which uses feature precomputation to circumvent this limitation without sacrificing predictive performance. Our experiments show that BUDDY also outperforms SGNNs on standard LP benchmarks while being highly scalable and faster than ELPH.


title: MICROSCOPE mission: final results of the test of the Equivalence Principle

abstract: The MICROSCOPE mission was designed to test the Weak Equivalence Principle (WEP), stating the equality between the inertial and the gravitational masses, with a precision of $10^{-15}$ in terms of the E\"otv\"os ratio $\eta$. Its experimental test consisted of comparing the accelerations undergone by two collocated test masses of different compositions as they orbited the Earth, by measuring the electrostatic forces required to keep them in equilibrium. This was done with ultra-sensitive differential electrostatic accelerometers onboard a drag-free satellite. The mission lasted two and a half years, cumulating five-months-worth of science free-fall data, two thirds with a pair of test masses of different compositions -- Titanium and Platinum alloys -- and the last third with a reference pair of test masses of the same composition -- Platinum. We summarize the data analysis, with an emphasis on the characterization of the systematic uncertainties due to thermal instabilities and on the correction of short-lived events which could mimic a WEP violation signal. We found no violation of the WEP, with the E\"otv\"os parameter of the Titanium and Platinum pair constrained to $\eta({\rm Ti, Pt})~=~ [-1.5 \pm 2.3~{\rm (stat)} \pm 1.5~{\rm (syst)}]~\times 10^{-15}$ at $1\sigma$ in statistical errors.


title: Result of the MICROSCOPE Weak Equivalence Principle test

abstract: The space mission MICROSCOPE dedicated to the test of the Equivalence Principle (EP) operated from April 25, 2016 until the deactivation of the satellite on October 16, 2018. In this analysis we compare the free-fall accelerations ($a_{\rm A}$ and $a_{\rm B}$) of two test masses in terms of the E\"otv\"os parameter $\eta({\rm{A, B}}) = 2 \frac{a_{\rm A}- a_{\rm B}}{a_{\rm A}+ a_{\rm B}}$. No EP violation has been detected for two test masses, made from platinum and titanium alloys, in a sequence of 19 segments lasting from 13 to 198 hours down to the limit of the statistical error which is smaller than $10^{-14}$ for $ \eta({\rm{Ti, Pt}})$. Accumulating data from all segments leads to $\eta({\rm{Ti, Pt}}) =[-1.5\pm{}2.3{\rm (stat)}\pm{}1.5{\rm (syst)}] \times{}10^{-15}$ showing no EP violation at the level of $2.7\times{}10^{-15}$ if we combine stochastic and systematic errors quadratically. This represents an improvement of almost two orders of magnitude with respect to the previous best such test performed by the E\"ot-Wash group. The reliability of this limit has been verified by comparing the free falls of two test masses of the same composition (platinum) leading to a null E\"otv\"os parameter with a statistical uncertainty of $1.1\times{}10^{-15}$.


title: Impact of Face Image Quality Estimation on Presentation Attack Detection

abstract: Non-referential face image quality assessment methods have gained popularity as a pre-filtering step on face recognition systems. In most of them, the quality score is usually designed with face matching in mind. However, a small amount of work has been done on measuring their impact and usefulness on Presentation Attack Detection (PAD). In this paper, we study the effect of quality assessment methods on filtering bona fide and attack samples, their impact on PAD systems, and how the performance of such systems is improved when training on a filtered (by quality) dataset. On a Vision Transformer PAD algorithm, a reduction of 20% of the training dataset by removing lower quality samples allowed us to improve the BPCER by 3% in a cross-dataset test.


title: Learning Second Order Local Anomaly for General Face Forgery Detection

abstract: In this work, we propose a novel method to improve the generalization ability of CNN-based face forgery detectors. Our method considers the feature anomalies of forged faces caused by the prevalent blending operations in face forgery algorithms. Specifically, we propose a weakly supervised Second Order Local Anomaly (SOLA) learning module to mine anomalies in local regions using deep feature maps. SOLA first decomposes the neighborhood of local features by different directions and distances and then calculates the first and second order local anomaly maps which provide more general forgery traces for the classifier. We also propose a Local Enhancement Module (LEM) to improve the discrimination between local features of real and forged regions, so as to ensure accuracy in calculating anomalies. Besides, an improved Adaptive Spatial Rich Model (ASRM) is introduced to help mine subtle noise features via learnable high pass filters. With neither pixel level annotations nor external synthetic data, our method using a simple ResNet18 backbone achieves competitive performances compared with state-of-the-art works when evaluated on unseen forgeries.


title: A unified approach to shape and topological sensitivity analysis of discretized optimal design problems

abstract: We introduce a unified sensitivity concept for shape and topological perturbations and perform the sensitivity analysis for a discretized PDE-constrained design optimization problem in two space dimensions. We assume that the design is represented by a piecewise linear and globally continuous level set function on a fixed finite element mesh and relate perturbations of the level set function to perturbations of the shape or topology of the corresponding design. We illustrate the sensitivity analysis for a problem that is constrained by a reaction-diffusion equation and draw connections between our discrete sensitivities and the well-established continuous concepts of shape and topological derivatives. Finally, we verify our sensitivities and illustrate their application in a level-set-based design optimization algorithm where no distinction between shape and topological updates has to be made.


title: Formalized Class Group Computations and Integral Points on Mordell Elliptic Curves

abstract: Diophantine equations are a popular and active area of research in number theory. In this paper we consider Mordell equations, which are of the form $y^2=x^3+d$, where $d$ is a (given) nonzero integer number and all solutions in integers $x$ and $y$ have to be determined. One non-elementary approach for this problem is the resolution via descent and class groups. Along these lines we formalized in Lean 3 the resolution of Mordell equations for several instances of $d<0$. In order to achieve this, we needed to formalize several other theories from number theory that are interesting on their own as well, such as ideal norms, quadratic fields and rings, and explicit computations of the class number. Moreover we introduced new computational tactics in order to carry out efficiently computations in quadratic rings and beyond.


title: Rainbow triangles in families of triangles

abstract: We prove that a family $\mathcal{T}$ of distinct triangles on $n$ given vertices that does not have a rainbow triangle (that is, three edges, each taken from a different triangle in $\mathcal{T}$, that form together a triangle) must be of size at most $\frac{n^2}{8}$. We also show that this result is sharp and characterize the extremal case. In addition, we discuss a version of this problem in which the triangles are not necessarily distinct, and show that in this case, the same bound holds asymptotically. After posting the original arXiv version of this paper, we learned that the sharp upper bound of $\frac{n^2}{8}$ was proved much earlier by Gy\H{o}ri (2006) and independently by Frankl, F\"uredi and Simonyi (unpublished). Gy\H{o}ri also obtained a stronger version of our result for the case when repetitions are allowed.