title: Unity Perception: Generate Synthetic Data for Computer Vision

abstract: We introduce the Unity Perception package which aims to simplify and accelerate the process of generating synthetic datasets for computer vision tasks by offering an easy-to-use and highly customizable toolset. This open-source package extends the Unity Editor and engine components to generate perfectly annotated examples for several common computer vision tasks. Additionally, it offers an extensible Randomization framework that lets the user quickly construct and configure randomized simulation parameters in order to introduce variation into the generated datasets. We provide an overview of the provided tools and how they work, and demonstrate the value of the generated synthetic datasets by training a 2D object detection model. The model trained with mostly synthetic data outperforms the model trained using only real data.


title: Simulation of Multidimensional Diffusions with Sticky Boundaries via Markov Chain Approximation

abstract: We develop a new simulation method for multidimensional diffusions with sticky boundaries. The challenge comes from simulating the sticky boundary behavior, for which standard methods like the Euler scheme fail. We approximate the sticky diffusion process by a multidimensional continuous time Markov chain (CTMC), for which we can simulate easily. We develop two ways of constructing the CTMC: approximating the infinitesimal generator of the sticky diffusion by finite difference using standard coordinate directions, and matching the local moments using the drift and the eigenvectors of the covariance matrix as transition directions. The first approach does not always guarantee a valid Markov chain whereas the second one can. We show that both construction methods yield a first order simulation scheme, which can capture the sticky behavior and it is free from the curse of dimensionality. We apply our method to two applications: a multidimensional Brownian motion with all dimensions sticky which arises as the limit of a queuing system with exceptional service policy, and a multi-factor short rate model for low interest rate environment in which the stochastic factors are unbounded but the short rate is sticky at zero.


title: Wavelet Transform-assisted Adaptive Generative Modeling for Colorization

abstract: Unsupervised deep learning has recently demonstrated the promise of producing high-quality samples. While it has tremendous potential to promote the image colorization task, the performance is limited owing to the high-dimension of data manifold and model capability. This study presents a novel scheme that exploits the score-based generative model in wavelet domain to address the issues. By taking advantage of the multi-scale and multi-channel representation via wavelet transform, the proposed model learns the richer priors from stacked coarse and detailed wavelet coefficient components jointly and effectively. This strategy also reduces the dimension of the original manifold and alleviates the curse of dimensionality, which is beneficial for estimation and sampling. Moreover, dual consistency terms in the wavelet domain, namely data-consistency and structure-consistency are devised to leverage colorization task better. Specifically, in the training phase, a set of multi-channel tensors consisting of wavelet coefficients is used as the input to train the network with denoising score matching. In the inference phase, samples are iteratively generated via annealed Langevin dynamics with data and structure consistencies. Experiments demonstrated remarkable improvements of the proposed method on both generation and colorization quality, particularly in colorization robustness and diversity.


title: Performance enhancements for a generic conic interior point algorithm

abstract: In recent work, we provide computational arguments for expanding the class of proper cones recognized by conic optimization solvers, to permit simpler, smaller, more natural conic formulations. We define an exotic cone as a proper cone for which we can implement a small set of tractable (i.e. fast, numerically stable, analytic) oracles for a logarithmically homogeneous self-concordant barrier for the cone or for its dual cone. Our extensible, open source conic interior point solver, Hypatia, allows modeling and solving any conic optimization problem over a Cartesian product of exotic cones. In this paper, we introduce Hypatia's interior point algorithm. Our algorithm is based on that of Skajaa and Ye [2015], which we generalize by handling exotic cones without tractable primal oracles. With the goal of improving iteration count and solve time in practice, we propose a sequence of four enhancements to the interior point stepping procedure of Skajaa and Ye [2015]: (1) loosening the central path proximity condition, (2) adjusting the directions using a third order directional derivative barrier oracle, (3) performing a backtracking search on a curve, and (4) combining the prediction and centering directions. We implement 23 useful exotic cones in Hypatia. We summarize the complexity of computing oracles for these cones, showing that our new third order oracle is not a bottleneck, and we derive efficient and numerically stable oracle implementations for several cones. We generate a diverse benchmark set of 379 conic problems from 37 different applied examples. Our computational testing shows that each stepping enhancement improves Hypatia's iteration count and solve time. Altogether, the enhancements reduce the shifted geometric means of iteration count and solve time by over 80% and 70% respectively.


title: Towards Robust General Medical Image Segmentation

abstract: The reliability of Deep Learning systems depends on their accuracy but also on their robustness against adversarial perturbations to the input data. Several attacks and defenses have been proposed to improve the performance of Deep Neural Networks under the presence of adversarial noise in the natural image domain. However, robustness in computer-aided diagnosis for volumetric data has only been explored for specific tasks and with limited attacks. We propose a new framework to assess the robustness of general medical image segmentation systems. Our contributions are two-fold: (i) we propose a new benchmark to evaluate robustness in the context of the Medical Segmentation Decathlon (MSD) by extending the recent AutoAttack natural image classification framework to the domain of volumetric data segmentation, and (ii) we present a novel lattice architecture for RObust Generic medical image segmentation (ROG). Our results show that ROG is capable of generalizing across different tasks of the MSD and largely surpasses the state-of-the-art under sophisticated adversarial attacks.


title: Combinatorial mutations of Newton-Okounkov polytopes arising from plabic graphs

abstract: It is known that the homogeneous coordinate ring of a Grassmannian has a cluster structure, which is induced from the combinatorial structure of a plabic graph. A plabic graph is a certain bipartite graph described on the disk, and there is a family of plabic graphs giving a cluster structure of the same Grassmannian. Such plabic graphs are related by the operation called square move which can be considered as the mutation in cluster theory. By using a plabic graph, we also obtain the Newton--Okounkov polytope which gives a toric degeneration of the Grassmannian. The purposes of this article is to survey these phenomena and observe the behavior of Newton--Okounkov polytopes under the operation called the combinatorial mutation of polytopes. In particular, we reinterpret some operations defined for Newton--Okounkov polytopes using the combinatorial mutation.


title: Sensitivity analysis in differentially private machine learning using hybrid automatic differentiation

abstract: In recent years, formal methods of privacy protection such as differential privacy (DP), capable of deployment to data-driven tasks such as machine learning (ML), have emerged. Reconciling large-scale ML with the closed-form reasoning required for the principled analysis of individual privacy loss requires the introduction of new tools for automatic sensitivity analysis and for tracking an individual's data and their features through the flow of computation. For this purpose, we introduce a novel \textit{hybrid} automatic differentiation (AD) system which combines the efficiency of reverse-mode AD with an ability to obtain a closed-form expression for any given quantity in the computational graph. This enables modelling the sensitivity of arbitrary differentiable function compositions, such as the training of neural networks on private data. We demonstrate our approach by analysing the individual DP guarantees of statistical database queries. Moreover, we investigate the application of our technique to the training of DP neural networks. Our approach can enable the principled reasoning about privacy loss in the setting of data processing, and further the development of automatic sensitivity analysis and privacy budgeting systems.


title: Generation and Tunability of Supermodes in Tamm Plasmon Topological Superlattices

abstract: In this study, we propose and experimentally demonstrate a novel kind of Tamm plasmon topological superlattice (TTS) by engineering Tamm photonic crystals (TPCs) belonging to a different class of topology. Utilizing specifically designed double-layer metasurfaces etching on planar multilayered photonic structures, the TPC that supports the Tamm plasmon photonic bandgap is realized in the visible regime. Through the coupling of topological interface states existing between different TPCs, hybrid topological interface states of Tamm plasmon, called supermodes, are obtained that can be fully described by a tight-binding model. Meanwhile, we can achieve a tunable bandwidth of supermodes via varying the etching depth difference between double-layer metasurfaces. We show that the bandwidth decreases with the increase of etching depth difference, resulting in a nearly flat dispersion of supermodes with strong localization regardless of excitation angles. All the results are experimentally verified by measuring angular-resolved reflectance spectra. The TTS and supermodes proposed here open a new pathway for the manipulation of Tamm plasmons, based on which various promising applications such as integrated photonic devices, optical sensing, and enhancing light-matter interactions can be realized.


title: Can We Replicate Real Human Behaviour Using Artificial Neural Networks?

abstract: Agent-based modelling is a powerful tool when simulating human systems, yet when human behaviour cannot be described by simple rules or maximising one's own profit, we quickly reach the limits of this methodology. Machine learning has the potential to bridge this gap by providing a link between what people observe and how they act in order to reach their goal. In this paper we use a framework for agent-based modelling that utilizes human values like fairness, conformity and altruism. Using this framework we simulate a public goods game and compare to experimental results. We can report good agreement between simulation and experiment and furthermore find that the presented framework outperforms strict reinforcement learning. Both the framework and the utility function are generic enough that they can be used for arbitrary systems, which makes this method a promising candidate for a foundation of a universal agent-based model.


title: Learning Syntactic Dense Embedding with Correlation Graph for Automatic Readability Assessment

abstract: Deep learning models for automatic readability assessment generally discard linguistic features traditionally used in machine learning models for the task. We propose to incorporate linguistic features into neural network models by learning syntactic dense embeddings based on linguistic features. To cope with the relationships between the features, we form a correlation graph among features and use it to learn their embeddings so that similar features will be represented by similar embeddings. Experiments with six data sets of two proficiency levels demonstrate that our proposed methodology can complement BERT-only model to achieve significantly better performances for automatic readability assessment.


title: Model order reduction for bilinear systems with non-zero initial states -- different approaches with error bounds

abstract: In this paper, we consider model order reduction for bilinear systems with non-zero initial conditions. We discuss choices of Gramians for both the homogeneous and the inhomogeneous parts of the system individually and prove how these Gramians characterize the respective dominant subspaces of each of the two subsystems. Proposing different, not necessarily structure preserving, reduced order methods for each subsystem, we establish several strategies to reduce the dimension of the full system. For all these approaches, error bounds are shown depending on the truncated Hankel singular values of the subsystems. Besides the error analysis, stability is discussed. In particular, a focus is on a new criterion for the homogeneous subsystem guaranteeing the existence of the associated Gramians and an asymptotically stable realization of the system.


title: Deep Learning Based Forecasting of Indian Summer Monsoon Rainfall

abstract: Accurate short range weather forecasting has significant implications for various sectors. Machine learning based approaches, e.g., deep learning, have gained popularity in this domain where the existing numerical weather prediction (NWP) models still have modest skill after a few days. Here we use a ConvLSTM network to develop a deep learning model for precipitation forecasting. The crux of the idea is to develop a forecasting model which involves convolution based feature selection and uses long term memory in the meteorological fields in conjunction with gradient based learning algorithm. Prior to using the input data, we explore various techniques to overcome dataset difficulties. We follow a strategic approach to deal with missing values and discuss the models fidelity to capture realistic precipitation. The model resolution used is (25 km). A comparison between 5 years of predicted data and corresponding observational records for 2 days lead time forecast show correlation coefficients of 0.67 and 0.42 for lead day 1 and 2 respectively. The patterns indicate higher correlation over the Western Ghats and Monsoon trough region (0.8 and 0.6 for lead day 1 and 2 respectively). Further, the model performance is evaluated based on skill scores, Mean Square Error, correlation coefficient and ROC curves. This study demonstrates that the adopted deep learning approach based only on a single precipitation variable, has a reasonable skill in the short range. Incorporating multivariable based deep learning has the potential to match or even better the short range precipitation forecasts based on the state of the art NWP models.


title: FedAdapt: Adaptive Offloading for IoT Devices in Federated Learning

abstract: Applying Federated Learning (FL) on Internet-of-Things devices is necessitated by the large volumes of data they produce and growing concerns of data privacy. However, there are three challenges that need to be addressed to make FL efficient: (i) execution on devices with limited computational capabilities, (ii) accounting for stragglers due to computational heterogeneity of devices, and (iii) adaptation to the changing network bandwidths. This paper presents FedAdapt, an adaptive offloading FL framework to mitigate the aforementioned challenges. FedAdapt accelerates local training in computationally constrained devices by leveraging layer offloading of deep neural networks (DNNs) to servers. Further, FedAdapt adopts reinforcement learning based optimization and clustering to adaptively identify which layers of the DNN should be offloaded for each individual device on to a server to tackle the challenges of computational heterogeneity and changing network bandwidth. Experimental studies are carried out on a lab-based testbed and it is demonstrated that by offloading a DNN from the device to the server FedAdapt reduces the training time of a typical IoT device by over half compared to classic FL. The training time of extreme stragglers and the overall training time can be reduced by up to 57%. Furthermore, with changing network bandwidth, FedAdapt is demonstrated to reduce the training time by up to 40% when compared to classic FL, without sacrificing accuracy.


title: On the High-Energy Spectral Component and Fine Time Structure of Terrestrial Gamma Ray Flashes

abstract: Terrestrial gamma ray flashes (TGFs) are very short bursts of gamma radiation associated to thunderstorm activity and are the manifestation of the highest-energy natural particle acceleration phenomena occurring on Earth. Photon energies up to several tens of megaelectronvolts are expected, but the actual upper limit and high-energy spectral shape are still open questions. Results published in 2011 by the AGILE team proposed a high-energy component in TGF spectra extended up to $\approx$100 MeV, which is difficult to reconcile with the predictions from the Relativistic Runaway Electron Avalanche (RREA) mechanism at the basis of many TGF production models. Here we present a new set of TGFs detected by the AGILE satellite and associated to lightning measurements capable to solve this controversy. Detailed end-to-end Monte Carlo simulations and an improved understanding of the instrument performance under high-flux conditions show that it is possible to explain the observed high-energy counts by a standard RREA spectrum at the source, provided that the TGF is sufficiently bright and short. We investigate the possibility that single high-energy counts may be the signature of a fine-pulsed time structure of TGFs on time scales $\approx$4 {\mu}s, but we find no clear evidence for this. The presented data set and modeling results allow also for explaining the observed TGF distribution in the (Fluence x duration) parameter space and suggest that the AGILE TGF detection rate can almost be doubled. Terrestrial gamma ray flashes (TGFs) are very short bursts of gamma radiation associated to thunderstorm activity and are the manifestation of the highest-energy natural particle acceleration phenomena occurring on Earth. (...continues)


title: Sums and products of two quadratic endomorphisms of a countable-dimensional vector space

abstract: Let $V$ be a vector space with countable dimension over a field, and let $u$ be an endomorphism of it which is locally finite, i.e. $(u^k(x))_{k \geq 0}$ is linearly dependent for all $x$ in $V$. We give several necessary and sufficient conditions for the decomposability of $u$ into the sum of two square-zero endomorphisms. Moreover, if $u$ is invertible, we give necessary and sufficient conditions for the decomposability of $u$ into the product of two involutions, as well as for the decomposability of $u$ into the product of two unipotent endomorphisms of index $2$. Our results essentially extend the ones that are known in the finite-dimensional setting. In particular, we obtain that every strictly upper-triangular infinite matrix with entries in a field is the sum of two square-zero infinite matrices (potentially non-triangular, though), and that every upper-triangular infinite matrix (with entries in a field) with only $\pm 1$ on the diagonal is the product of two involutory infinite matrices.


title: Complete crystallographic, spin-electronic and magnetic structure of (Co0.2Cr0.2Fe0.2Mn0.2Ni0.2)3O4: Unraveling the suppression of entropy in high entropy oxides

abstract: High entropy oxides (HEOs) are a rapidly emerging class of functional materials consisting of multiple principal cations. The original paradigm of HEOs assumes cationic occupations with the highest possible configurational entropy allowed by the composition and crystallographic structure. However, the fundamental question remains on the actual degree of configurational disorder in HEOs, especially, in systems with a low enthalpy barriers for cation anti-site mixing. Considering the experimental limitations due to the presence of multiple principal cations in HEOs, here we utilize a robust and cross-referenced characterization approach using soft X-ray magnetic circular dichroism, hard X-ray absorption spectroscopy, M\"ossbauer spectroscopy, neutron powder diffraction and SQUID magnetometry to study the competition between crystal field stabilization energy and configurational entropy governing the cation occupation in a spinel HEO (S-HEO), (Co$_{0.2}$Cr$_{0.2}$Fe$_{0.2}$Mn$_{0.2}$Ni$_{0.2}$)$_3$O$_4$. In contrast to the previous studies, the derived complete structural and spin-electronic model, (Co$_{0.6}$Fe$_{0.4}$)(Cr$_{0.3}$Fe$_{0.1}$Mn$_{0.3}$Ni$_{0.3}$)$_2$O$_4$, highlights a significant deviation from the hitherto assumed paradigm of entropy-driven non-preferential distribution of cations in HEOs. An immediate correlation of this result can be drawn with bulk as well as the local element specific magnetic properties, which are intrinsically dictated by cationic occupations in spinels. The real local lattice picture presented here provides an alternate viewpoint on ionic arrangement in HEOs, which is of fundamental interest for predicting and designing their structure-dependent functionalities.


title: Implementing spectra response function approaches for fast calculation of power spectra and bispectra

abstract: Perturbation theory of large-scale structures of the Universe at next-to-leading order and next-to-next-to-leading order provides us with predictions of cosmological statistics at sub-percent level in the mildly non-linear regime. Its use to infer cosmological parameters from spectroscopic surveys, however, is hampered by the computational cost of making predictions for a large number of parameters. In order to reduce the running time of the codes, we present a fast scheme in the context of the regularized perturbation theory approach and applied it to power spectra at 2-loop level and bispectra at 1-loop level, including the impact of binning. This method utilizes a Taylor expansion of the power spectrum as a functional of the linear power spectrum around fiducial points at which costly direct evaluation of perturbative diagrams is performed and tabulated. The computation of the predicted spectra for arbitrary cosmological parameters then requires only one-dimensional integrals that can be done within a few minutes. It makes this method suitable for Markov chain Monte-Carlo analyses for cosmological parameter inference.


title: Secure Consensus via Objective Coding: Robustness Analysis to Channel Tampering

abstract: This work mainly addresses continuous-time multiagent consensus networks where an adverse attacker affects the convergence performances of said protocol. In particular, we develop a novel secure-by-design approach in which the presence of a network manager monitors the system and broadcasts encrypted tasks (i.e., hidden edge weight assignments) to the agents involved. Each agent is then expected to decode the received codeword containing data on the task through appropriate decoding functions by leveraging advanced security principles, such as objective coding and information localization. Within this framework, a stability analysis is conducted for showing the robustness to channel tampering in the scenario where part of the codeword corresponding to a single link in the system is corrupted. A tradeoff between objective coding capability and network robustness is also pointed out. To support these novelties, an application example on decentralized estimation is provided. Moreover, an investigation of the robust agreement is as well extended in the discrete-time domain. Further numerical simulations are given to validate the theoretical results in both the time domains.


title: Prior-Guided Multi-View 3D Head Reconstruction

abstract: Recovery of a 3D head model including the complete face and hair regions is still a challenging problem in computer vision and graphics. In this paper, we consider this problem using only a few multi-view portrait images as input. Previous multi-view stereo methods that have been based, either on optimization strategies or deep learning techniques, suffer from low-frequency geometric structures such as unclear head structures and inaccurate reconstruction in hair regions. To tackle this problem, we propose a prior-guided implicit neural rendering network. Specifically, we model the head geometry with a learnable signed distance field (SDF) and optimize it via an implicit differentiable renderer with the guidance of some human head priors, including the facial prior knowledge, head semantic segmentation information and 2D hair orientation maps. The utilization of these priors can improve the reconstruction accuracy and robustness, leading to a high-quality integrated 3D head model. Extensive ablation studies and comparisons with state-of-the-art methods demonstrate that our method can generate high-fidelity 3D head geometries with the guidance of these priors.


title: Charge dynamics in quantum-circuit refrigeration: thermalization and microwave gain

abstract: Previous studies of photon-assisted tunneling through normal-metal-insulator-superconductor junctions have exhibited potential for providing a convenient tool to control the dissipation of quantum-electric circuits in-situ. However, the current literature on such a quantum-circuit refrigerator (QCR) does not present a detailed description for the charge dynamics of the tunneling processes or the phase coherence of the open quantum system. Here we derive a master equation describing both quantum-electric and charge degrees of freedom, and discover that typical experimental parameters of low temperature and yet lower charging energy yield a separation of time scales for the charge and quantum dynamics. Consequently, the minor effect of the different charge states can be taken into account by averaging over the charge distribution. We also consider applying an ac voltage to the tunnel junction, which enables control of the decay rate of a superconducting qubit over four orders of magnitude by changing the drive amplitude; we find an order-of-magnitude drop in the qubit excitation in 40 ns and a residual reset infidelity below $10^{-4}$. Furthermore, for the normal island we consider the case of charging energy and single-particle level spacing large compared to the superconducting gap, i.e., a quantum dot. Although the decay rates arising from such a dot QCR appear low for use in qubit reset, the device can provide effective negative damping (gain) to the coupled microwave resonator. The Fano factor of such a millikelvin microwave source may be smaller than unity, with the latter value being reached close to the maximum attainable power.


title: Fast Pixel-Matching for Video Object Segmentation

abstract: Video object segmentation, aiming to segment the foreground objects given the annotation of the first frame, has been attracting increasing attentions. Many state-of-the-art approaches have achieved great performance by relying on online model updating or mask-propagation techniques. However, most online models require high computational cost due to model fine-tuning during inference. Most mask-propagation based models are faster but with relatively low performance due to failure to adapt to object appearance variation. In this paper, we are aiming to design a new model to make a good balance between speed and performance. We propose a model, called NPMCA-net, which directly localizes foreground objects based on mask-propagation and non-local technique by matching pixels in reference and target frames. Since we bring in information of both first and previous frames, our network is robust to large object appearance variation, and can better adapt to occlusions. Extensive experiments show that our approach can achieve a new state-of-the-art performance with a fast speed at the same time (86.5% IoU on DAVIS-2016 and 72.2% IoU on DAVIS-2017, with speed of 0.11s per frame) under the same level comparison. Source code is available at https://github.com/siyueyu/NPMCA-net.


title: Isomorphisms of Galois groups of number fields with restricted ramification

abstract: Let $K$ be a number field and $S$ a set of primes of $K$. We write $K_S/K$ for the maximal extension of $K$ unramified outside $S$ and $G_{K,S}$ for its Galois group. In this paper, we answer the following question under some assumptions: "For $i=1,2$, let $K_i$ be a number field, $S_i$ a (sufficiently large) set of primes of $K_i$ and $\sigma :G_{K_1,S_1}\to G_{K_2,S_2}$ an isomorphism. Is $\sigma$ induced by a unique isomorphism between $K_{1,S_1}/K_1$ and $K_{2,S_2}/K_2$?" Here the main assumption is about the Dirichlet density of $S_i$.


title: JPGNet: Joint Predictive Filtering and Generative Network for Image Inpainting

abstract: Image inpainting aims to restore the missing regions of corrupted images and make the recovery result identical to the originally complete image, which is different from the common generative task emphasizing the naturalness or realism of generated images. Nevertheless, existing works usually regard it as a pure generation problem and employ cutting-edge deep generative techniques to address it. The generative networks can fill the main missing parts with realistic contents but usually distort the local structures or introduce obvious artifacts. In this paper, for the first time, we formulate image inpainting as a mix of two problems, predictive filtering and deep generation. Predictive filtering is good at preserving local structures and removing artifacts but falls short to complete the large missing regions. The deep generative network can fill the numerous missing pixels based on the understanding of the whole scene but hardly restores the details identical to the original ones. To make use of their respective advantages, we propose the joint predictive filtering and generative network (JPGNet) that contains three branches: predictive filtering & uncertainty network (PFUNet), deep generative network, and uncertainty-aware fusion network (UAFNet). The PFUNet can adaptively predict pixel-wise kernels for filtering-based inpainting according to the input image and output an uncertainty map. This map indicates the pixels should be processed by filtering or generative networks, which is further fed to the UAFNet for a smart combination between filtering and generative results. Note that, our method as a novel inpainting framework can benefit any existing generation-based methods. We validate our method on three public datasets, Dunhuang, Places2, and CelebA, and demonstrate that our method can enhance three state-of-the-art generative methods significantly with slightly extra time costs.


title: LIFE: A Generalizable Autodidactic Pipeline for 3D OCT-A Vessel Segmentation

abstract: Optical coherence tomography (OCT) is a non-invasive imaging technique widely used for ophthalmology. It can be extended to OCT angiography (OCT-A), which reveals the retinal vasculature with improved contrast. Recent deep learning algorithms produced promising vascular segmentation results; however, 3D retinal vessel segmentation remains difficult due to the lack of manually annotated training data. We propose a learning-based method that is only supervised by a self-synthesized modality named local intensity fusion (LIF). LIF is a capillary-enhanced volume computed directly from the input OCT-A. We then construct the local intensity fusion encoder (LIFE) to map a given OCT-A volume and its LIF counterpart to a shared latent space. The latent space of LIFE has the same dimensions as the input data and it contains features common to both modalities. By binarizing this latent space, we obtain a volumetric vessel segmentation. Our method is evaluated in a human fovea OCT-A and three zebrafish OCT-A volumes with manual labels. It yields a Dice score of 0.7736 on human data and 0.8594 +/- 0.0275 on zebrafish data, a dramatic improvement over existing unsupervised algorithms.


title: Lagrangian fillings for Legendrian links of affine type

abstract: We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with certain symmetries as seeds of type $\tilde{\mathsf{B}}_n$, $\tilde{\mathsf{F}}_4$, $\tilde{\mathsf{G}}_2$, and $\mathsf{E}_6^{(2)}$. These families are the first known Legendrian links with infinitely many fillings that exhaust all seeds in the corresponding cluster structures. Furthermore, we show that Legendrian realization of Coxeter mutation of type $\tilde{\mathsf{D}}$ corresponds to the Legendrian loop considered by Casals and Ng.


title: Universal 3-Dimensional Perturbations for Black-Box Attacks on Video Recognition Systems

abstract: Widely deployed deep neural network (DNN) models have been proven to be vulnerable to adversarial perturbations in many applications (e.g., image, audio and text classifications). To date, there are only a few adversarial perturbations proposed to deviate the DNN models in video recognition systems by simply injecting 2D perturbations into video frames. However, such attacks may overly perturb the videos without learning the spatio-temporal features (across temporal frames), which are commonly extracted by DNN models for video recognition. To our best knowledge, we propose the first black-box attack framework that generates universal 3-dimensional (U3D) perturbations to subvert a variety of video recognition systems. U3D has many advantages, such as (1) as the transfer-based attack, U3D can universally attack multiple DNN models for video recognition without accessing to the target DNN model; (2) the high transferability of U3D makes such universal black-box attack easy-to-launch, which can be further enhanced by integrating queries over the target model when necessary; (3) U3D ensures human-imperceptibility; (4) U3D can bypass the existing state-of-the-art defense schemes; (5) U3D can be efficiently generated with a few pre-learned parameters, and then immediately injected to attack real-time DNN-based video recognition systems. We have conducted extensive experiments to evaluate U3D on multiple DNN models and three large-scale video datasets. The experimental results demonstrate its superiority and practicality.


title: The $AdS_3 \times S^1$ Chiral Ring

abstract: We study $AdS_3 \times S^1 \times Y$ supersymmetric string theory backgrounds with Neveu-Schwarz-Neveu-Schwarz flux that are dual to ${\cal N}=2$ superconformal theories on the boundary. We classify all worldsheet vertex operators that correspond to space-time chiral primaries. We compute space-time chiral ring structure constants for operators in the zero spectral flow sector using the operator product expansion in the worldsheet theory. We find that the structure constants take a universal form that depends only on the topological data of the ${\cal N}=2$ superconformal theory on $Y$.


title: Capturing, Reconstructing, and Simulating: the UrbanScene3D Dataset

abstract: We present UrbanScene3D, a large-scale data platform for research of urban scene perception and reconstruction. UrbanScene3D contains over 128k high-resolution images covering 16 scenes including large-scale real urban regions and synthetic cities with 136 km^2 area in total. The dataset also contains high-precision LiDAR scans and hundreds of image sets with different observation patterns, which provide a comprehensive benchmark to design and evaluate aerial path planning and 3D reconstruction algorithms. In addition, the dataset, which is built on Unreal Engine and Airsim simulator together with the manually annotated unique instance label for each building in the dataset, enables the generation of all kinds of data, e.g., 2D depth maps, 2D/3D bounding boxes, and 3D point cloud/mesh segmentations, etc. The simulator with physical engine and lighting system not only produce variety of data but also enable users to simulate cars or drones in the proposed urban environment for future research.


title: Iterative peak-fitting of frequency-domain data via deep convolution neural networks

abstract: High-throughput material screening for the discovery and design of novel functional materials requires automatized analyses of theoretical and experimental data. Here we study the subject of human-free analyses of one-dimensional spectroscopic data, {\it e.g.} in the frequency domain, via employing deep convolution neural network. Specifically, we trained various deep convolution neural network and benchmarked their performance in decomposing one-dimensional noisy data into multiple nonorthogonal peaks in an iterative manner, after which a conventional basin-hopping algorithm was applied to further reduce residual fitting error. Among six different network architectures, a variant of "Squeeze-and-excitation" network (SENet) structure that we first propose in this study shows the best performance. Dependency of training performance with respect to the choice of the loss function is also discussed. We conclude by applying our modified SENet model to experimental photoemission spectra of graphene, MoS$_2$, and WS$_2$ and address its potential applications and limitations.


title: Retinal OCT Denoising with Pseudo-Multimodal Fusion Network

abstract: Optical coherence tomography (OCT) is a prevalent imaging technique for retina. However, it is affected by multiplicative speckle noise that can degrade the visibility of essential anatomical structures, including blood vessels and tissue layers. Although averaging repeated B-scan frames can significantly improve the signal-to-noise-ratio (SNR), this requires longer acquisition time, which can introduce motion artifacts and cause discomfort to patients. In this study, we propose a learning-based method that exploits information from the single-frame noisy B-scan and a pseudo-modality that is created with the aid of the self-fusion method. The pseudo-modality provides good SNR for layers that are barely perceptible in the noisy B-scan but can over-smooth fine features such as small vessels. By using a fusion network, desired features from each modality can be combined, and the weight of their contribution is adjustable. Evaluated by intensity-based and structural metrics, the result shows that our method can effectively suppress the speckle noise and enhance the contrast between retina layers while the overall structure and small blood vessels are preserved. Compared to the single modality network, our method improves the structural similarity with low noise B-scan from 0.559 +\- 0.033 to 0.576 +\- 0.031.


title: Loss Prediction: End-to-End Active Learning Approach For Speech Recognition

abstract: End-to-end speech recognition systems usually require huge amounts of labeling resource, while annotating the speech data is complicated and expensive. Active learning is the solution by selecting the most valuable samples for annotation. In this paper, we proposed to use a predicted loss that estimates the uncertainty of the sample. The CTC (Connectionist Temporal Classification) and attention loss are informative for speech recognition since they are computed based on all decoding paths and alignments. We defined an end-to-end active learning pipeline, training an ASR/LP (Automatic Speech Recognition/Loss Prediction) joint model. The proposed approach was validated on an English and a Chinese speech recognition task. The experiments show that our approach achieves competitive results, outperforming random selection, least confidence, and estimated loss method.


title: Magnetically induced transmission/absorption in chiral liquid crystals

abstract: We report the discovery, theoretically, of new effects, namely, the effects of magnetically induced transparency/absorption. The effects are observed in a magnetically active helically structured periodical medium. Changing the external magnetic field and absorption, one can tune the frequency and the linewidth of the transparency/absorption band. We have shown that both effects can be simultaneously observed for two eigenmodes of a cholesteric liquid crystal (CLC) layer. Both effects are nonreciprocal and tunable. They can be observed in the case of the absence of dispersion of the dielectric and the magnetic tensor components, as well as in the case of dispersion dependences of optical parameters of the CLC layer. Comparison of these effects show that while the effect of magnetically induced transparency is observed at wide intervals of variation of the parameters of the CLC layer, the effect of magnetically induced absorption can observe only in very small intervals of these parameters.


title: Task-Aware Sampling Layer for Point-Wise Analysis

abstract: Sampling, grouping, and aggregation are three important components in the multi-scale analysis of point clouds. In this paper, we present a novel data-driven sampler learning strategy for point-wise analysis tasks. Unlike the widely used sampling technique, Farthest Point Sampling (FPS), we propose to learn sampling and downstream applications jointly. Our key insight is that uniform sampling methods like FPS are not always optimal for different tasks: sampling more points around boundary areas can make the point-wise classification easier for segmentation. Towards this end, we propose a novel sampler learning strategy that learns sampling point displacement supervised by task-related ground truth information and can be trained jointly with the underlying tasks. We further demonstrate our methods in various point-wise analysis tasks, including semantic part segmentation, point cloud completion, and keypoint detection. Our experiments show that jointly learning of the sampler and task brings better performance than using FPS in various point-based networks.


title: UniRE: A Unified Label Space for Entity Relation Extraction

abstract: Many joint entity relation extraction models setup two separated label spaces for the two sub-tasks (i.e., entity detection and relation classification). We argue that this setting may hinder the information interaction between entities and relations. In this work, we propose to eliminate the different treatment on the two sub-tasks' label spaces. The input of our model is a table containing all word pairs from a sentence. Entities and relations are represented by squares and rectangles in the table. We apply a unified classifier to predict each cell's label, which unifies the learning of two sub-tasks. For testing, an effective (yet fast) approximate decoder is proposed for finding squares and rectangles from tables. Experiments on three benchmarks (ACE04, ACE05, SciERC) show that, using only half the number of parameters, our model achieves competitive accuracy with the best extractor, and is faster.


title: D-minimal structures

abstract: We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.


title: Using Network Analysis on Twitter Data to Identify Threats on Indonesian Digital Activism

abstract: In this study, we tried to see and characterize potential threats to digital activism in the internet-active nation of Indonesia by doing network analysis on a recent digital activism event on Twitter, which protested against a recent law related to alcoholic beverage investment. We hoped insights from the study can help the nation moving forward as public discourses are likely to stay online post-COVID. From this study, we found that threats in form of hashtag hijackings happen often in digital activism, and there were traces of a systematic information campaign in our observed case. We also found that the usage of bots is prevalent in and they showed significant activity, although the extent to which they influenced the conversation needs to be followed through more. These threats are something to think about as activism goes increasingly digital after COVID-19 as it can imbue unwanted messages, sow polarization, and distract the conversation from the real issue.


title: Hadronic Currents and Form Factors in three-body Semileptonic $\tau$ Decays

abstract: Three-body semileptonic $\tau$-decays offer a path to understand the properties of light hadronic systems and CP symmetry violations through searches for electric dipole moments. In studies of electro-weak physics, the hadronic part of the final states has traditionally been described using the language of form factors. Spectroscopic information, resolved in terms of orbital angular momentum quantum-numbers, is best being derived from an explicit decomposition of the hadronic current in the orbital angular momentum basis. Motivated by the upcoming large data samples from B factories, we present the full description of the hadronic currents decomposed into quantum numbers of the hadronic final state using the isobar picture. We present formulas for orbital angular momenta up to three and apply the rules derived from hadron spectroscopy to formulate the decay chain of hadronic three-body systems of arbitrary mass. We also translate this formalism to the language of form factors and thereby correct insufficiencies found in previous analyses of three-body hadronic final states.


title: Differentially private training of neural networks with Langevin dynamics for calibrated predictive uncertainty

abstract: We show that differentially private stochastic gradient descent (DP-SGD) can yield poorly calibrated, overconfident deep learning models. This represents a serious issue for safety-critical applications, e.g. in medical diagnosis. We highlight and exploit parallels between stochastic gradient Langevin dynamics, a scalable Bayesian inference technique for training deep neural networks, and DP-SGD, in order to train differentially private, Bayesian neural networks with minor adjustments to the original (DP-SGD) algorithm. Our approach provides considerably more reliable uncertainty estimates than DP-SGD, as demonstrated empirically by a reduction in expected calibration error (MNIST $\sim{5}$-fold, Pediatric Pneumonia Dataset $\sim{2}$-fold).


title: Status update of MACE Gamma-ray telescope

abstract: MACE (Major Atmospheric Cherenkov Experiment), an imaging atmospheric Cherenkov telescope, has recently been installed by the HiGRO (Himalayan Gamma-Ray Observatory) collaboration at Hanle (32.8$^\circ$N, 78.9$^\circ$E, 4270m asl) in Ladakh region of North India. The telescope has a 21m diameter large light collector consisting of indigenously developed 1424 square-shaped diamond turned spherical aluminum mirror facets of size $\sim$ 0.5m$\times$0.5m. MACE is the second largest Cherenkov telescope at the highest altitude in the northern hemisphere. The imaging camera of the telescope consists of 1088 photo-multiplier tubes with a uniform pixel resolution of $\sim 0.125^\circ$ covering a field of view of $\sim$ 4.0$^\circ$ $\times$ 4.0$^\circ$. The main objective of the MACE telescope is to study gamma-ray sources mainly in the unexplored energy region 20 -100 GeV and beyond with high sensitivity. In this paper, we describe the key design features and current status of MACE including results from the trial observations of the telescope.


title: An Algorithm for Reversible Logic Circuit Synthesis Based on Tensor Decomposition

abstract: An algorithm for reversible logic synthesis is proposed. The task is, for a given $n$-bit substitution map $P_n: \{0,1\}^n \rightarrow \{0,1\}^n$, to find a sequence of reversible logic gates that implements the map. The gate library adopted in this work consists of multiple-controlled Toffoli gates denoted by $C^m\!X$, where $m$ is the number of control bits that ranges from 0 to $n-1$. Controlled gates with large $m \,\,(>2)$ are then further decomposed into $C^0\!X$, $C^1\!X$, and $C^2\!X$ gates. A primary concern in designing the algorithm is to reduce the use of $C^2\!X$ gate (also known as Toffoli gate) which is known to be universal. The main idea is to view an $n$-bit substitution map as a rank-$2n$ tensor and to transform it such that the resulting map can be written as a tensor product of a rank-($2n-2$) tensor and the $2\times 2$ identity matrix. Let $\mathcal{P}_n$ be a set of all $n$-bit substitution maps. What we try to find is a size reduction map $\mathcal{A}_{\rm red}: \mathcal{P}_n \rightarrow \{P_n: P_n = P_{n-1} \otimes I_2\}$. %, where $I_m$ is the $m\times m$ identity matrix. One can see that the output $P_{n-1} \otimes I_2$ acts nontrivially on $n-1$ bits only, meaning that the map to be synthesized becomes $P_{n-1}$. The size reduction process is iteratively applied until it reaches tensor product of only $2 \times 2$ matrices.


title: Holographic Colour Superconductors at Finite Coupling with NJL Interactions

abstract: We study a bottom-up holographic description of the QCD colour superconducting phase in the presence of higher derivative corrections. We expand this holographic model in the context of Gauss-Bonnet (GB) gravity. The Cooper pair condensate has been investigated in the deconfinement phase for different values of the GB coupling parameter $\lambda_{G B}$, we observe a change in the value of the critical chemical potential $\mu_c$ in comparison to Einstein gravity. We find that $\mu_c$ grows as $\lambda_{G B}$ increases. We add four fermion interactions and show that in the presence of these corrections the main interesting features of the model are still present and that the intrinsic attractive interaction can not be switched off. This study suggests to find GB corrections to equation of state of holographic QCD matter.


title: Computational Complexity of Computing a Quasi-Proper Equilibrium

abstract: We study the computational complexity of computing or approximating a quasi-proper equilibrium for a given finite extensive form game of perfect recall. We show that the task of computing a symbolic quasi-proper equilibrium is $\mathrm{PPAD}$-complete for two-player games. For the case of zero-sum games we obtain a polynomial time algorithm based on Linear Programming. For general $n$-player games we show that computing an approximation of a quasi-proper equilibrium is $\mathrm{FIXP}_a$-complete.


title: Duality-symmetric axion electrodynamics and haloscopes of various geometries

abstract: Within the dual symmetric point of view, the theory for seeking axion dark matter via haloscope experiments is derived by exactly solving the dual symmetric axion electrodynamics equation. Notwithstanding that the conventional theory of axion electrodynamics presented in [Phys. Rev. Lett. 51, 1415 (1983) and J. Phys. A: Math. Gen. 19, L33 (1986)] is more commonly used in haloscope theory, we show that the dual symmetric axion electrodynamics has more advantages to apply to haloscope theory. First, the dual symmetric and conventional perspectives of axion electrodynamics coincide under long-wavelength approximation. Moreover, dual symmetric theory can obtain an exact analytical expression of the axion-induced electromagnetic field for any state of axion. This solution has been used in conventional theory for long-wavelength approximation. The difference between two theories can occur in directional axion detection or electric sensing haloscopes. For illustrative purposes, we consider the various type of resonant cavities: cylindrical solenoid, spherical solenoid, two-parallel-sheet cavity, toroidal solenoid with a rectangular cross-section, and with a circular cross-section. The resonance of the axion-induced signal, as well as the ratio of the energy difference over the stored energy inside the cavity, are investigated in these types of cavity.


title: On the classification of extremely primitive affine groups

abstract: Let $G$ be a finite non-regular primitive permutation group on a set $\Omega$ with point stabiliser $G_{\alpha}$. Then $G$ is said to be extremely primitive if $G_{\alpha}$ acts primitively on each of its orbits in $\Omega \setminus \{\alpha\}$, which is a notion dating back to work of Manning in the 1920s. By a theorem of Mann, Praeger and Seress, it is known that every extremely primitive group is either almost simple or affine, and all the almost simple examples have subsequently been determined. Similarly, Mann et al. have classified all of the affine extremely primitive groups up to a finite, but undetermined, collection of groups. Moreover, if one assumes Wall's conjecture on the number of maximal subgroups of an almost simple group, then there is an explicit list of candidates, each of which has been eliminated in a recent paper by Burness and Thomas. So, modulo Wall's conjecture, the classification of extremely primitive groups is complete. In this paper we adopt a different approach, which allows us to complete this classification in full generality, independent of the veracity or otherwise of Wall's conjecture in the almost simple setting. Our method relies on recent work of Fawcett, Lee and others on the existence of regular orbits of almost simple groups acting on irreducible modules.


title: Integrating Planning, Execution and Monitoring in the presence of Open World Novelties: Case Study of an Open World Monopoly Solver

abstract: The game of monopoly is an adversarial multi-agent domain where there is no fixed goal other than to be the last player solvent, There are useful subgoals like monopolizing sets of properties, and developing them. There is also a lot of randomness from dice rolls, card-draws, and adversaries' strategies. This unpredictability is made worse when unknown novelties are added during gameplay. Given these challenges, Monopoly was one of the test beds chosen for the DARPA-SAILON program which aims to create agents that can detect and accommodate novelties. To handle the game complexities, we developed an agent that eschews complete plans, and adapts it's policy online as the game evolves. In the most recent independent evaluation in the SAILON program, our agent was the best performing agent on most measures. We herein present our approach and results.


title: Petri Net Modeling for Ising Model Formulation in Quantum Annealing

abstract: Quantum annealing is an emerging new platform for combinatorial optimization, requiring an Ising model formulation for optimization problems. The formulation can be an essential obstacle to the permeation of this innovation into broad areas of everyday life. Our research is aimed at the proposal of a Petri net modeling approach for an Ising model formulation. Although the proposed method requires users to model their optimization problems with Petri nets, this process can be carried out in a relatively straightforward manner if we know the target problem and the simple Petri net modeling rules. With our method, the constraints and objective functions in the target optimization problems are represented as fundamental characteristics of Petri net models, extracted systematically from Petri net models, and then converted into binary quadratic nets, equivalent to Ising models. The proposed method can drastically reduce the difficulty of the Ising model formulation.


title: Stochastic Control Problems with Unbounded Control Operators: solutions through generalized derivatives

abstract: This paper deals with a family of stochastic control problems in Hilbert spaces which arises in typical applications (such as boundary control and control of delay equations with delay in the control) and for which is difficult to apply the dynamic programming approach due to the unboudedness of the control operator and to the lack of regularity of the underlying transition semigroup. We introduce a specific concept of partial derivative, designed for this situation, and we develop a method to prove that the associated HJB equation has a solution with enough regularity to find optimal controls in feedback form.


title: Hepatocellular Carcinoma Segmentation from Digital Subtraction Angiography Videos using Learnable Temporal Difference

abstract: Automatic segmentation of hepatocellular carcinoma (HCC) in Digital Subtraction Angiography (DSA) videos can assist radiologists in efficient diagnosis of HCC and accurate evaluation of tumors in clinical practice. Few studies have investigated HCC segmentation from DSA videos. It shows great challenging due to motion artifacts in filming, ambiguous boundaries of tumor regions and high similarity in imaging to other anatomical tissues. In this paper, we raise the problem of HCC segmentation in DSA videos, and build our own DSA dataset. We also propose a novel segmentation network called DSA-LTDNet, including a segmentation sub-network, a temporal difference learning (TDL) module and a liver region segmentation (LRS) sub-network for providing additional guidance. DSA-LTDNet is preferable for learning the latent motion information from DSA videos proactively and boosting segmentation performance. All of experiments are conducted on our self-collected dataset. Experimental results show that DSA-LTDNet increases the DICE score by nearly 4% compared to the U-Net baseline.


title: Formation of lead halide perovskite precursors in solution: Insight from electronic-structure theory

abstract: Understanding the formation of lead halide (LH) perovskite solution precursors is crucial to gain insight into the evolution of these materials to thin films for solar cells. Using density-functional theory in conjunction with the polarizable continuum model, we investigate 18 complexes with chemical formula PbX$_2$M$_4$, where X = Cl, Br, I and M are common solvent molecules. Through the analysis of structural properties, binding energies, and charge distributions, we clarify the role of halogen species and solvent molecules in the formation of LH perovskite precursors. We find that interatomic distances are critically affected by the halogen species, while the energetic stability is driven by the solvent coordination to the backbones. Regardless of the solvent, lead iodide complexes are more strongly bound than the others. Based on the charge distribution analysis, we find that all solvent molecules bind covalently with the LH backbones and that Pb-I and Pb-Br bonds lose ionicity in solution. Our results contribute to clarify the physical properties of LH perovskite solution precursors and offer a valuable starting point for further investigations on their crystalline intermediates.


title: Evolution equations with nonlocal initial conditions and superlinear growth

abstract: We carry out an analysis of the existence of solutions for a class of nonlinear partial differential equations of parabolic type. The equation is associated to a nonlocal initial condition, written in general form which includes, as particular cases, the Cauchy multipoint problem, the weighted mean value problem and the periodic problem. The dynamic is transformed into an abstract setting and by combining an approximation technique with the Leray-Schauder continuation principle, we prove global existence results. By the compactness of the semigroup generated by the linear operator, we do not assume any Lipschitzianity, nor compactness on the nonlinear term or on the nonlocal initial condition. In addition, the exploited approximation technique coupled to a Hartman-type inequality argument, allows to treat nonlinearities with superlinear growth. Moreover, regarding the periodic case we are able to prove the existence of at least one periodic solution on the half line.


title: Understanding surrogate explanations: the interplay between complexity, fidelity and coverage

abstract: This paper analyses the fundamental ingredients behind surrogate explanations to provide a better understanding of their inner workings. We start our exposition by considering global surrogates, describing the trade-off between complexity of the surrogate and fidelity to the black-box being modelled. We show that transitioning from global to local - reducing coverage - allows for more favourable conditions on the Pareto frontier of fidelity-complexity of a surrogate. We discuss the interplay between complexity, fidelity and coverage, and consider how different user needs can lead to problem formulations where these are either constraints or penalties. We also present experiments that demonstrate how the local surrogate interpretability procedure can be made interactive and lead to better explanations.


title: A mathematical model of network elastoplasticity

abstract: We introduce a mathematical model, based on networks, for the elasticity and plasticity of materials. We define the tension tensor for a periodic graph in a Euclidean space, and we show that the tension tensor expresses elasticity under deformation. Plasticity is induced by local moves on a graph. The graph is described in terms of the weights of edges, and we discuss how these weights affect the plasticity.

categories: math.DG cond-mat.mtrl-sci math.CO math.DS


title: Two-dimensional ferromagnetic spin-orbital excitations in the honeycomb VI$_{3}$

abstract: VI$_{3}$ is a ferromagnet with planar honeycomb sheets of bonded V$^{3+}$ ions held together by van der Waals forces. We apply neutron spectroscopy to measure the two dimensional ($J/J_{c} \approx 17$) magnetic excitations in the ferromagnetic phase, finding two energetically gapped ($\Delta \approx k_{B} T_{c} \approx$ 55 K) and dispersive excitations. We apply a multi-level spin wave formalism to describe the spectra in terms of two coexisting domains hosting differing V$^{3+}$ orbital ground states built from contrasting distorted octahedral environments. This analysis fits a common nearest neighbor in-plane exchange coupling ($J$=-8.6 $\pm$ 0.3 meV) between V$^{3+}$ sites. The distorted local crystalline electric field combined with spin-orbit coupling provides the needed magnetic anisotropy for spatially long-ranged two-dimensional ferromagnetism in VI$_{3}$.


title: Autoencoder-driven Spiral Representation Learning for Gravitational Wave Surrogate Modelling

abstract: Recently, artificial neural networks have been gaining momentum in the field of gravitational wave astronomy, for example in surrogate modelling of computationally expensive waveform models for binary black hole inspiral and merger. Surrogate modelling yields fast and accurate approximations of gravitational waves and neural networks have been used in the final step of interpolating the coefficients of the surrogate model for arbitrary waveforms outside the training sample. We investigate the existence of underlying structures in the empirical interpolation coefficients using autoencoders. We demonstrate that when the coefficient space is compressed to only two dimensions, a spiral structure appears, wherein the spiral angle is linearly related to the mass ratio. Based on this finding, we design a spiral module with learnable parameters, that is used as the first layer in a neural network, which learns to map the input space to the coefficients. The spiral module is evaluated on multiple neural network architectures and consistently achieves better speed-accuracy trade-off than baseline models. A thorough experimental study is conducted and the final result is a surrogate model which can evaluate millions of input parameters in a single forward pass in under 1ms on a desktop GPU, while the mismatch between the corresponding generated waveforms and the ground-truth waveforms is better than the compared baseline methods. We anticipate the existence of analogous underlying structures and corresponding computational gains also in the case of spinning black hole binaries.


title: Memes in the Wild: Assessing the Generalizability of the Hateful Memes Challenge Dataset

abstract: Hateful memes pose a unique challenge for current machine learning systems because their message is derived from both text- and visual-modalities. To this effect, Facebook released the Hateful Memes Challenge, a dataset of memes with pre-extracted text captions, but it is unclear whether these synthetic examples generalize to `memes in the wild'. In this paper, we collect hateful and non-hateful memes from Pinterest to evaluate out-of-sample performance on models pre-trained on the Facebook dataset. We find that memes in the wild differ in two key aspects: 1) Captions must be extracted via OCR, injecting noise and diminishing performance of multimodal models, and 2) Memes are more diverse than `traditional memes', including screenshots of conversations or text on a plain background. This paper thus serves as a reality check for the current benchmark of hateful meme detection and its applicability for detecting real world hate.


title: Dynamic Modeling of Bucket-Soil Interactions Using Koopman-DFL Lifting Linearization for Model Predictive Contouring Control of Autonomous Excavators

abstract: A lifting-linearization method based on the Koopman operator and Dual Faceted Linearization is applied to the control of a robotic excavator. In excavation, a bucket interacts with the surrounding soil in a highly nonlinear and complex manner. Here, we propose to represent the nonlinear bucket-soil dynamics with a set of linear state equations in a higher-dimensional space. The space of independent state variables is augmented by adding variables associated with nonlinear elements involved in the bucket-soil dynamics. These include nonlinear resistive forces and moment acting on the bucket from the soil, and the effective inertia of the bucket that varies as the soil is captured into the bucket. Variables associated with these nonlinear resistive and inertia elements are treated as additional state variables, and their time evolution is represented as another set of linear differential equations. The lifted linear dynamic model is then applied to Model Predictive Contouring Control, where a cost functional is minimized as a convex optimization problem thanks to the linear dynamics in the lifted space. The lifted linear model is tuned based on a data-driven method by using a soil dynamics simulator. Simulation experiments verify the effectiveness of the proposed lifting linearization compared to its counterpart.


title: Darlin: Recursive Proofs using Marlin

abstract: This document describes Darlin, a succinct zero-knowledge argument of knowledge based on the Marlin SNARK (Chiesa et al., Eurocrypt 2020) and the `dlog' polynomial commitment scheme from Bootle et al. EUROCRYPT 2016. Darlin addresses recursive proofs by integrating the amortization technique from Halo (IACR eprint 2019/099) for the non-succinct parts of the dlog verifier, and we adapt their strategy for bivariate circuit encoding polynomials to aggregate Marlin's inner sumchecks across the nodes the recursive scheme. We estimate the performance impact of inner sumcheck aggregation by about 30% in a tree-like scheme of in-degree 2, and beyond when applied to linear recursion.


title: Prediction of butt rot volume in Norway spruce forest stands using harvester, remotely sensed and environmental data

abstract: Butt rot (BR) damages associated with Norway spruce (Picea abies [L.] Karst.) account for considerable economic losses in timber production across the northern hemisphere. While information on BR damages is critical for optimal decision-making in forest management, the maps of BR damages are typically lacking in forest information systems. We predicted timber volume damaged by BR at the stand-level in Norway using harvester information of 186,026 stems (clear-cuts), remotely sensed, and environmental data (e.g. climate and terrain characteristics). We utilized random forest (RF) models with two sets of predictor variables: (1) predictor variables available after harvest (theoretical case) and (2) predictor variables available prior to harvest (mapping case). We found that forest attributes characterizing the maturity of forest, such as remote sensing-based height, harvested timber volume and quadratic mean diameter at breast height, were among the most important predictor variables. Remotely sensed predictor variables obtained from airborne laser scanning data and Sentinel-2 imagery were more important than the environmental variables. The theoretical case with a leave-stand-out cross-validation achieved an RMSE of 11.4 $m^3ha^{-1}$ (pseudo $R^2$: 0.66) whereas the mapping case resulted in a pseudo $R^2$ of 0.60. When the spatially distinct k-means clusters of harvested forest stands were used as units in the cross-validation, the RMSE value and pseudo $R^2$ associated with the mapping case were 15.6 $m^3ha^{-1}$ and 0.37, respectively. This indicates that the knowledge about the BR status of spatially close stands is of high importance for obtaining satisfactory error rates in the mapping of BR damages.


title: Evaluation of the $^{35}$K($p$,$\gamma$)$^{36}$Ca reaction rate using the $^{37}$Ca($p$,$d$)$^{36}$Ca transfer reaction

abstract: A recent sensitivity study has shown that the $^{35}$K$(p,\gamma)^{36}$Ca reaction is one of the ten $(p,\gamma)$ reaction rates that could significantly impact the shape of the calculated X-ray burst light curve. In this work, we propose to reinvestigate the $^{35}$K$(p,\gamma)^{36}$Ca reaction rate, as well as related uncertainties, by determining the energies and decay branching ratios of $^{36}$Ca levels, within the Gamow window, in the 0.5 to 2 GK X-ray burst temperature range. These properties were studied using the one neutron pick-up transfer reaction $^{37}$Ca$(p,d)^{36}$Ca in inverse kinematics using a radioactive beam of $^{37}$Ca at 48 MeV nucleon$^{-1}$. The experiment performed at GANIL, used the liquid Hydrogen target CRYPTA, the MUST2 detector array for the detection of the light charged particles and a zero degree detection system for the outgoing heavy ions. The atomic mass of $^{36}$Ca is confirmed and new resonances have been proposed together with their proton decay branching ratios. This spectroscopic information, used in combination with recent theoretical predictions for the $\gamma$-width, were used to calculate the $^{35}$K$(p,\gamma)^{36}$Ca reaction rate. The recommended rate of the present work was obtain within a uncertainty factor of 2 at 1 sigma. This is consistent, with the previous estimate in the X-ray burst temperature range. A large increase of the reaction rate was found at higher temperatures due to two newly discovered resonances. The $^{35}$K$(p,\gamma)^{36}$Ca thermonuclear reaction rate is now well constrained by the present work in a broad range of temperatures. Our results show that the $^{35}$K$(p,\gamma)^{36}$Ca reaction does not affect the shape of the X-ray burst light curve, and that it can be removed from the list of the few influential proton radiative captures reactions having a strong impact on the light curve.


title: Known allosteric proteins have central roles in genetic disease

abstract: Allostery is a form of protein regulation, where ligands that bind sites located apart from the active site can modify the activity of the protein. The molecular mechanisms of allostery have been extensively studied, because allosteric sites are less conserved than active sites, and drugs targeting them are more specific than drugs binding the active sites. Here we quantify the importance of allostery in genetic disease. We show that 1) known allosteric proteins are central in disease networks, and contribute to genetic disease and comorbidities much more than non-allosteric proteins, in many major disease types like hematopoietic diseases, cardiovascular diseases, cancers, diabetes, or diseases of the central nervous system. 2) variants from cancer genome-wide association studies are enriched near allosteric proteins, indicating their importance to polygenic traits; and 3) the importance of allosteric proteins in disease is due, at least partly, to their central positions in protein-protein interaction networks, and probably not due to their dynamical properties.


title: Partial Gradient Optimal Thresholding Algorithms for a Class of Sparse Optimization Problems

abstract: The optimization problems with a sparsity constraint is a class of important global optimization problems. A typical type of thresholding algorithms for solving such a problem adopts the traditional full steepest descent direction or Newton-like direction as a search direction to generate an iterate on which a certain thresholding is performed. Traditional hard thresholding discards a large part of a vector when the vector is dense. Thus a large part of important information contained in a dense vector has been lost in such a thresholding process. Recent study [Zhao, SIAM J Optim, 30(1), pp. 31-55, 2020] shows that the hard thresholding should be applied to a compressible vector instead of a dense vector to avoid a big loss of information. On the other hand, the optimal $k$-thresholding as a novel thresholding technique may overcome the intrinsic drawback of hard thresholding, and performs thresholding and objective function minimization simultaneously. This motivates us to propose the so-called partial gradient optimal thresholding method in this paper, which is an integration of the partial gradient and the optimal $k$-thresholding technique. The solution error bound and convergence for the proposed algorithms have been established in this paper under suitable conditions. Application of our results to the sparse optimization problems arising from signal recovery is also discussed. Experiment results from synthetic data indicate that the proposed algorithm called PGROTP is efficient and comparable to several existing algorithms.


title: IDRLnet: A Physics-Informed Neural Network Library

abstract: Physics Informed Neural Network (PINN) is a scientific computing framework used to solve both forward and inverse problems modeled by Partial Differential Equations (PDEs). This paper introduces IDRLnet, a Python toolbox for modeling and solving problems through PINN systematically. IDRLnet constructs the framework for a wide range of PINN algorithms and applications. It provides a structured way to incorporate geometric objects, data sources, artificial neural networks, loss metrics, and optimizers within Python. Furthermore, it provides functionality to solve noisy inverse problems, variational minimization, and integral differential equations. New PINN variants can be integrated into the framework easily. Source code, tutorials, and documentation are available at \url{https://github.com/idrl-lab/idrlnet}.


title: Most Classic Problems Remain NP-hard on Relative Neighborhood Graphs and their Relatives

abstract: Proximity graphs have been studied for several decades, motivated by applications in computational geometry, geography, data mining, and many other fields. However, the computational complexity of classic graph problems on proximity graphs mostly remained open. We now study 3-Colorability, Dominating Set, Feedback Vertex Set, Hamiltonian Cycle, and Independent Set on the proximity graph classes relative neighborhood graphs, Gabriel graphs, and relatively closest graphs. We prove that all of the problems remain NP-hard on these graphs, except for 3-Colorability and Hamiltonian Cycle on relatively closest graphs, where the former is trivial and the latter is left open. Moreover, for every NP-hard case we additionally show that no $2^{o(n^{1/4})}$-time algorithm exists unless the ETH fails, where n denotes the number of vertices.


title: On the Number of $k-$Matchings in Graphs

abstract: Suppose $G$ is a undirected simple graph. A $k-$subset of edges in $G$ without common vertices is called a $k-$matching and the number of such subsets is denoted by $p(G,k)$. The aim of this paper is to present exact formulas for $p(G,3)$, $p(G,4)$ and $P(G,5)$ in terms of some degree-based invariants.


title: Learning structured approximations of combinatorial optimization problems

abstract: Machine learning pipelines that include a combinatorial optimization layer can give surprisingly efficient heuristics for difficult combinatorial optimization problems. Three questions remain open: which architecture should be used, how should the parameters of the machine learning model be learned, and what performance guarantees can we expect from the resulting algorithms? Following the intuitions of geometric deep learning, we explain why equivariant layers should be used when designing such pipelines, and illustrate how to build such layers on routing, scheduling, and network design applications. We introduce a learning approach that enables to learn such pipelines when the training set contains only instances of the difficult optimization problem and not their optimal solutions, and show its numerical performance on our three applications. Finally, using tools from statistical learning theory, we prove a theorem showing the convergence speed of the estimator. As a corollary, we obtain that, if an approximation algorithm can be encoded by the pipeline for some parametrization, then the learned pipeline will retain the approximation ratio guarantee. On our network design problem, our machine learning pipeline has the approximation ratio guarantee of the best approximation algorithm known and the numerical efficiency of the best heuristic.


abstract: Differentiable architecture search is prevalent in the field of NAS because of its simplicity and efficiency, where two paradigms, multi-path algorithms and single-path methods, are dominated. Multi-path framework (e.g. DARTS) is intuitive but suffers from memory usage and training collapse. Single-path methods (e.g.GDAS and ProxylessNAS) mitigate the memory issue and shrink the gap between searching and evaluation but sacrifice the performance. In this paper, we propose a conceptually simple yet efficient method to bridge these two paradigms, referred as Mutually-aware Sub-Graphs Differentiable Architecture Search (MSG-DAS). The core of our framework is a differentiable Gumbel-TopK sampler that produces multiple mutually exclusive single-path sub-graphs. To alleviate the severer skip-connect issue brought by multiple sub-graphs setting, we propose a Dropblock-Identity module to stabilize the optimization. To make best use of the available models (super-net and sub-graphs), we introduce a memory-efficient super-net guidance distillation to improve training. The proposed framework strikes a balance between flexible memory usage and searching quality. We demonstrate the effectiveness of our methods on ImageNet and CIFAR10, where the searched models show a comparable performance as the most recent approaches.


title: Weak well-posedness for degenerate SDEs driven by L\'evy processes

abstract: In this article, we study the effects of the propagation of a non-degenerate L\'evy noise through a chain of deterministic differential equations whose coefficients are H\"older continuous and satisfy a weak H\"ormander-like condition. In particular, we assume some non-degeneracy with respect to the components which transmit the noise. Moreover, we characterize, for some specific dynamics, through suitable counterexamples , the almost sharp regularity exponents that ensure the weak well-posedness for the associated SDE. As a by-product of our approach, we also derive some Krylov-type estimates for the density of the weak solutions of the considered SDE.


title: Semantic Segmentation on Multiple Visual Domains

abstract: Semantic segmentation models only perform well on the domain they are trained on and datasets for training are scarce and often have a small label-spaces, because the pixel level annotations required are expensive to make. Thus training models on multiple existing domains is desired to increase the output label-space. Current research shows that there is potential to improve accuracy across datasets by using multi-domain training, but this has not yet been successfully extended to datasets of three different non-overlapping domains without manual labelling. In this paper a method for this is proposed for the datasets Cityscapes, SUIM and SUN RGB-D, by creating a label-space that spans all classes of the datasets. Duplicate classes are merged and discrepant granularity is solved by keeping classes separate. Results show that accuracy of the multi-domain model has higher accuracy than all baseline models together, if hardware performance is equalized, as resources are not limitless, showing that models benefit from additional data even from domains that have nothing in common.


title: Score refinement for confidence-based 3D multi-object tracking

abstract: Multi-object tracking is a critical component in autonomous navigation, as it provides valuable information for decision-making. Many researchers tackled the 3D multi-object tracking task by filtering out the frame-by-frame 3D detections; however, their focus was mainly on finding useful features or proper matching metrics. Our work focuses on a neglected part of the tracking system: score refinement and tracklet termination. We show that manipulating the scores depending on time consistency while terminating the tracklets depending on the tracklet score improves tracking results. We do this by increasing the matched tracklets' score with score update functions and decreasing the unmatched tracklets' score. Compared to count-based methods, our method consistently produces better AMOTA and MOTA scores when utilizing various detectors and filtering algorithms on different datasets. The improvements in AMOTA score went up to 1.83 and 2.96 in MOTA. We also used our method as a late-fusion ensembling method, and it performed better than voting-based ensemble methods by a solid margin. It achieved an AMOTA score of 67.6 on nuScenes test evaluation, which is comparable to other state-of-the-art trackers. Code is publicly available at: \url{https://github.com/cogsys-tuebingen/CBMOT}.


title: BEAT: Blockchain-Enabled Accountable and Transparent Network Sharing in 6G

abstract: Infrastructure sharing is a widely discussed and implemented approach and is successfully adopted in telecommunications networks today. In practice, it is implemented through prior negotiated Service Level Agreements (SLAs) between the parties involved. However, it is recognised that these agreements are difficult to negotiate, monitor and enforce. For future 6G networks, resource and infrastructure sharing is expected to play an even greater role. It will be a crucial technique for reducing overall infrastructure costs and increasing operational efficiencies for operators. More efficient SLA mechanisms are thus crucial to the success of future networks. In this work, we present "BEAT", an automated, transparent and accountable end-to-end architecture for network sharing based on blockchain and smart contracts. This work focuses on a particular type of blockchain, Permissioned Distributed Ledger (PDL), due to its permissioned nature allowing for industry-compliant SLAs with stringent governance. Our architecture can be implemented with minimal hardware changes and with minimal overheads.


title: Platonic Entanglement

abstract: We present a construction of highly entangled states defined on the topology of a platonic solid using tensor networks based on ancillary Absolute Maximally Entangled (AME) states. We illustrate the idea using the example of a quantum state based on AME(5,2) over a dodecahedron. We analyze the entropy of such states on many different partitions, and observe that they come on integer numbers and are almost maximal. We also observe that all platonic solids accept the construction of AME states based on Reed-Solomon codes since their number of facets, vertices and edges are always a prime number plus one.


title: Parsimonious Hidden Markov Models for Matrix-Variate Longitudinal Data

abstract: Hidden Markov models (HMMs) have been extensively used in the univariate and multivariate literature. However, there has been an increased interest in the analysis of matrix-variate data over the recent years. In this manuscript we introduce HMMs for matrix-variate longitudinal data, by assuming a matrix normal distribution in each hidden state. Such data are arranged in a four-way array. To address for possible overparameterization issues, we consider the spectral decomposition of the covariance matrices, leading to a total of 98 HMMs. An expectation-conditional maximization algorithm is discussed for parameter estimation. The proposed models are firstly investigated on simulated data, in terms of parameter recovery, computational times and model selection. Then, they are fitted to a four-way real data set concerning the unemployment rates of the Italian provinces, evaluated by gender and age classes, over the last 16 years.


title: StyleCariGAN: Caricature Generation via StyleGAN Feature Map Modulation

abstract: We present a caricature generation framework based on shape and style manipulation using StyleGAN. Our framework, dubbed StyleCariGAN, automatically creates a realistic and detailed caricature from an input photo with optional controls on shape exaggeration degree and color stylization type. The key component of our method is shape exaggeration blocks that are used for modulating coarse layer feature maps of StyleGAN to produce desirable caricature shape exaggerations. We first build a layer-mixed StyleGAN for photo-to-caricature style conversion by swapping fine layers of the StyleGAN for photos to the corresponding layers of the StyleGAN trained to generate caricatures. Given an input photo, the layer-mixed model produces detailed color stylization for a caricature but without shape exaggerations. We then append shape exaggeration blocks to the coarse layers of the layer-mixed model and train the blocks to create shape exaggerations while preserving the characteristic appearances of the input. Experimental results show that our StyleCariGAN generates realistic and detailed caricatures compared to the current state-of-the-art methods. We demonstrate StyleCariGAN also supports other StyleGAN-based image manipulations, such as facial expression control.


title: Green's functions for reflectionless potentials and addition of boundstates to powerlaw potentials to find Supersymmetric partners

abstract: Green's functions for reflectionless potentials are constructed and analyzed. Green's functions for power law potentials, their Super Symmetric partners and sum rules for eigenvalues are examined. The SUSY partner potentials to power law potentials which have an additional bound state at $E=0$ are constructed.


title: Attend2Pack: Bin Packing through Deep Reinforcement Learning with Attention

abstract: This paper seeks to tackle the bin packing problem (BPP) through a learning perspective. Building on self-attention-based encoding and deep reinforcement learning algorithms, we propose a new end-to-end learning model for this task of interest. By decomposing the combinatorial action space, as well as utilizing a new training technique denoted as prioritized oversampling, which is a general scheme to speed up on-policy learning, we achieve state-of-the-art performance in a range of experimental settings. Moreover, although the proposed approach attend2pack targets offline-BPP, we strip our method down to the strict online-BPP setting where it is also able to achieve state-of-the-art performance. With a set of ablation studies as well as comparisons against a range of previous works, we hope to offer as a valid baseline approach to this field of study.


title: Structure of the attractor for a non-local Chafee-Infante problem

abstract: In this article, we study the structure of the global attractor for a non-local one-dimensional quasilinear problem. The strong relation of our problem with a non-local version of the Chafee-Infante problem allows us to describe the structure of its attractor. For that, we made use of the Conley index and the connection matrix theories in order to find geometric information such as the existence of heteroclinic connections between the equilibria. In this way, the structure of the attractor is completely described.


title: Extending Density Matrix Embedding: A Static Two-Particle Theory

abstract: We introduce Extended Density Matrix Embedding Theory (EDMET), a static quantum embedding theory explicitly self-consistent with respect to local two-body physics. This overcomes the biggest practical and conceptual limitation of more traditional one-body embedding methods, namely the lack of screening and treatment of longer-range interactions. This algebraic zero-temperature embedding augments a local interacting cluster model with a minimal number of bosons from a description of the full system correlations via the random phase approximation, and admits an analytic approach to build a self-consistent Coulomb-exchange-correlation kernel. For extended Hubbard models with non-local interactions, this leads to the accurate description of phase transitions, static quantities and dynamics. We also move towards ab initio systems via the Parriser--Parr--Pople model of conjugated coronene derivatives, finding good agreement with experimental optical gaps.


title: Higher differentiability of solutions for a class of obstacle problems with variable exponents

abstract: In this paper we prove a higher differentiability result for the solutions to a class of obstacle problems in the form \begin{equation*} \label{obst-def0} \min\left\{\int_\Omega F(x,Dw) dx : w\in \mathcal{K}_{\psi}(\Omega)\right\} \end{equation*} where $\psi\in W^{1,p(x)}(\Omega)$ is a fixed function called obstacle and $\mathcal{K}_{\psi}=\{w \in W^{1,p(x)}_{0}(\Omega)+u_0: w \ge \psi \,\, \textnormal{a.e. in $\Omega$}\}$ is the class of the admissible functions, for a suitable boundary value $ u_0 $. We deal with a convex integrand $F$ which satisfies the $p(x)$-growth conditions \begin{equation*}\label{growth}|\xi|^{p(x)}\le F(x,\xi)\le C(1+|\xi|^{p(x)}),\quad p(x)>1 \end{equation*}


title: Divide and conquer methods for functions of matrices with banded or hierarchical low-rank structure

abstract: This work is concerned with approximating matrix functions for banded matrices, hierarchically semiseparable matrices, and related structures. We develop a new divide-and-conquer method based on (rational) Krylov subspace methods for performing low-rank updates of matrix functions. Our convergence analysis of the newly proposed method proceeds by establishing relations to best polynomial and rational approximation. When only the trace or the diagonal of the matrix function is of interest, we demonstrate -- in practice and in theory -- that convergence can be faster. For the special case of a banded matrix, we show that the divide-and-conquer method reduces to a much simpler algorithm, which proceeds by computing matrix functions of small submatrices. Numerical experiments confirm the effectiveness of the newly developed algorithms for computing large-scale matrix functions from a wide variety of applications.


title: Stability of regular shrinkers in the network flow

abstract: The singularities of network flow are modeled by self-similarly shrinking solutions called regular shrinkers. In this paper, we study the stability of regular shrinkers. We show that all regular shrinkers with two or more enclosed regions can be perturbed away. Among the regular shrinkers with one enclosed region, 4-ray star, 5-ray star, fish, and rocket are unstable.


title: New apparatus design for high-precision measurement ofG with atom interferometry

abstract: We propose a new scheme for an improved determination of the Newtonian gravitational constant G and evaluate it by numerical simulations. Cold atoms in free fall are probed by atom interferometry measurements to characterize the gravitational field generated by external source masses. Two source mass configurations having different geometry and using different materials are compared to identify an optimized experimental setup for the G measurement. The effects of the magnetic fields used to manipulate the atoms and to control the interferometer phase are also characterized.


title: A Point Cloud-Based Deep Learning Strategy for Protein-Ligand Binding Affinity Prediction

abstract: There is great interest to develop artificial intelligence-based protein-ligand affinity models due to their immense applications in drug discovery. In this paper, PointNet and PointTransformer, two pointwise multi-layer perceptrons have been applied for protein-ligand affinity prediction for the first time. Three-dimensional point clouds could be rapidly generated from the data sets in PDBbind-2016, which contain 3 772 and 11 327 individual point clouds derived from the refined or/and general sets, respectively. These point clouds were used to train PointNet or PointTransformer, resulting in protein-ligand affinity prediction models with Pearson correlation coefficients R = 0.831 or 0.859 from the larger point clouds respectively, based on the CASF-2016 benchmark test. The analysis of the parameters suggests that the two deep learning models were capable to learn many interactions between proteins and their ligands, and these key atoms for the interaction could be visualized in point clouds. The protein-ligand interaction features learned by PointTransformer could be further adapted for the XGBoost-based machine learning algorithm, resulting in prediction models with an average Rp of 0.831, which is on par with the state-of-the-art machine learning models based on PDBbind database. These results suggest that point clouds derived from the PDBbind datasets are useful to evaluate the performance of 3D point clouds-centered deep learning algorithms, which could learn critical protein-ligand interactions from natural evolution or medicinal chemistry and have wide applications in studying protein-ligand interactions.


title: Planning of efficient trajectories in robotized assembly of aerostructures exploiting kinematic redundancy

abstract: Aerospace production volumes have increased over time and robotic solutions have been progressively introduced in the aeronautic assembly lines to achieve high-quality standards, high production rates, flexibility and cost reduction. Robotic workcells are sometimes characterized by robots mounted on slides to increase the robot workspace. The slide introduces an additional degree of freedom, making the system kinematically redundant, but this feature is rarely used to enhance performances. The paper proposes a new concept in trajectory planning, that exploits the redundancy to satisfy additional requirements. A dynamic programming technique is adopted, which computes optimized trajectories, minimizing or maximizing the performance indices of interest. The use case is defined on the LABOR (Lean robotized AssemBly and cOntrol of composite aeRostructures) project which adopts two cooperating six-axis robots mounted on linear axes to perform assembly operations on fuselage panels. Considering the needs of this workcell, unnecessary robot movements are minimized to increase safety, the mechanical stiffness is maximized to increase stability during the drilling operations, collisions are avoided, while joint limits and the available planning time are respected. Experiments are performed in a simulation environment, where the optimal trajectories are executed, highlighting the resulting performances and improvements with respect to non-optimized solutions.


title: Quantum fluctuations and semiclassicality in an inflaton-driven evolution

abstract: A semiclassical description of quantum systems is applied to probe the dynamics of the cosmological model of an inflationary universe with quadratic inflaton potential, described in a quantum framework of geometrodynamics. The systematic analysis, focusing in particular on the inflationary and post-inflationary epochs, revealed several surprising and counterintuitive features: $(i)$ during inflation the universe rapidly spreads out in volume which leads to significant relative variance by the end of inflation; $(ii)$ despite that, the quantum evolution can still be described to high accuracy by semiclassical methods; $(iii)$ moreover, in the post-inflationary epoch, as the order of included quantum corrections increases, the quantum trajectory approaches the classical one and the description involving second-order corrections only is actually the least accurate there. The consequence of the latter is that the effects of the quantum variances are washed out by the higher-order quantum corrections.


title: Testing the $\Lambda$CDM paradigm with growth rate data and machine learning

abstract: The cosmological constant $\Lambda$ and cold dark matter (CDM) model ($\Lambda\text{CDM}$) is one of the pillars of modern cosmology and is widely used as the de facto theoretical model by current and forthcoming surveys. As the nature of dark energy is very elusive, in order to avoid the problem of model bias, here we present a novel null test at the perturbation level that uses the growth of matter perturbation data in order to assess the concordance model. We analyze how accurate this null test can be reconstructed by using data from forthcoming surveys creating mock catalogs based on $\Lambda\text{CDM}$ and three models that display a different evolution of the matter perturbations, namely a dark energy model with constant equation of state $w$ ($w$CDM), the Hu \& Sawicki and designer $f(R)$ models, and we reconstruct them with a machine learning technique known as the Genetic Algorithms. We show that with future LSST-like mock data our consistency test will be able to rule out these viable cosmological models at more than 5$\sigma$, help to check for tensions in the data and alleviate the existing tension of the amplitude of matter fluctuations $S_8=\sigma_8\left(\Omega_m/0.3\right)^{0.5}$.


title: Holonomic approximation through convex integration

abstract: Convex integration and the holonomic approximation theorem are two well-known pillars of flexibility in differential topology and geometry. They may each seem to have their own flavor and scope. The goal of this paper is to bring some new perspective on this topic. We explain how to prove the holonomic approximation theorem for first order jets using convex integration. More precisely we first prove that this theorem can easily be reduced to proving flexibility of some specific relation. Then we prove this relation is open and ample, hence its flexibility follows from off-the-shelf convex integration.