title: Global random walk solvers for reactive transport and biodegradation processes in heterogeneous porous media

abstract: Flow and multicomponent reactive transport in saturated/unsaturated porous media are modeled by ensembles of computational particles moving on regular lattices according to specific random walk rules. The occupation number of the lattice sites is updated with a global random walk (GRW) procedure which spreads the particles from a lattice site with computational costs comparable to those for a single random walk step in sequential procedures. To cope with the nonlinearity and the degeneracy of the Richards equation the GRW flow solver uses linearization techniques similar to the $L$-scheme developed in finite element/volume approaches. Numerical schemes for reactive transport, coupled with the flow solver via numerical solutions for saturation and water flux, are implemented in splitting procedures. Diffusion-advection steps are solved by GRW algorithms using either biased or unbiased random walk probabilities. Since the number of particles in GRW simulations can be as large as the number of molecules involved in chemical reactions, one avoids the cumbersome problem of rescaling particle densities to approximate concentrations. Reaction steps are therefore formulated in terms of concentrations, as in deterministic approaches. The numerical convergence of the new schemes is demonstrated by comparisons with manufactured analytical solutions. Coupled flow and reactive transport problems of contaminant biodegradation described by the Monod model are further solved and the influence of flow nonlinearity/degeneracy and of the spatial heterogeneity of the medium is investigated numerically.


title: UVES analysis of red giants in the bulge globular cluster NGC 6522

abstract: NGC 6522 is a moderately metal-poor bulge globular cluster ([Fe/H]$\sim$$-$1.0), and it is a well-studied representative among a number of moderately metal-poor blue horizontal branch clusters located in the bulge. The NGC 6522 abundance pattern can give hints on the earliest chemical enrichment in the central Galaxy. The aim of this study is to derive abundances of the light elements C and N; alpha elements O, Mg, Si, Ca, and Ti; odd-Z elements Na and Al; neutron-capture elements Y, Zr, Ba, La, and Nd; and the r-process element Eu. We verify if there are first- and second-generation stars: we find clear evidence of Na-Al, Na-N, and Mg-Al correlations, while we cannot identify the Na-O anti-correlation from our data. High-resolution spectra of six red giants in the bulge globular cluster NGC 6522 were obtained at the 8m VLT UT2-Kueyen telescope in FLAMES+UVES configuration. In light of Gaia data, it turned out that two of them are non-members, but these were also analysed. Spectroscopic parameters were derived through the excitation and ionisation equilibrium of FeI and FeII lines from UVES spectra. The abundances were obtained with spectrum synthesis. The present analysis combined with previous UVES results gives a mean radial velocity of vrhel = -15.62+-7.7 km.s-1 and a metallicity of [Fe/H] = -1.05+-0.20 for NGC 6522. Mean abundances of alpha elements for the present four member stars are enhanced with [O/Fe]=+0.38, [Mg/Fe]=+0.28, [Si/Fe]=+0.19, and [Ca/Fe]=+0.13, together with the iron-peak element [Ti/Fe]=+0.13, and the r-process element [Eu/Fe]=+0.40.The neutron-capture elements Y, Zr, Ba, and La show enhancements in the +0.08 < [Y/Fe] < +0.90, 0.11 < [Zr/Fe] < +0.50, 0.00 < [Ba/Fe] < +0.63, 0.00 < [La/Fe] < +0.45, and -0.10 < [Nd/Fe] < +0.70 ranges. We also discuss the spread in heavy-element abundances.


title: Two-neutrino double-beta decay matrix elements based on relativistic nuclear energy density functional

abstract: Nuclear matrix elements (NMEs) for two-neutrino double-beta decay ($2\nu\beta\beta$) are studied in the framework of relativistic nuclear energy density functional (REDF). The properties of nuclei involved in the decay are obtained using the relativistic Hartree-Bardeen-Cooper-Schrieffer theory and relevant nuclear transitions are described using the relativistic proton-neutron quasiparticle random phase approximation based on relativistic energy density functional (REDF-QRPA). Three effective interactions have been employed, including density-dependent meson-exchange (DD-ME2) and point coupling interactions (DD-PC1 and DD-PCX), and pairing correlations are described consistently both in $T=1$ and $T=0$ channels using a separable pairing interaction. The optimal values of $T=0$ pairing strength parameter $V_{0pp}$ are constrained by the experimental data on $\beta$-decay half lives. The $2\nu\beta\beta$ matrix elements and half-lives are calculated for several nuclides experimentally known to undergo this kind of decay: $^{48}$Ca, $^{76}$Ge, $^{82}$Se, $^{96}$Zr, $^{100}$Mo, $^{116}$Cd, $^{124}$Xe, $^{128}$Te, $^{130}$Te, $^{136}$Xe and $^{150}$Nd. The model dependence of the NMEs and their sensitivity on $V_{0pp}$ is investigated, and the NMEs obtained using optimal values of $V_{0pp}$ are discussed in comparison to previous studies. The results of the present work represent an important benchmark for the future applications of the relativistic framework in studies of neutrinoless double-beta decay.


title: Payment Schemes from Limited Information with Applications in Distributed Computing

abstract: We propose a generic mechanism for incentivizing behavior in an arbitrary finite game using payments. Doing so is trivial if the mechanism is allowed to observe all actions taken in the game, as this allows it to simply punish those agents who deviate from the intended strategy. Instead, we consider an abstraction where the mechanism probabilistically infers information about what happened in the game. We show that payment schemes can be used to implement any set of utilities if and only if the mechanism can essentially infer completely what happened. We show that finding an optimal payment scheme for games of perfect information is \textsf{P}-complete, and conjecture it to be \textsf{PPAD}-hard for games of imperfect information. We prove a lower bound on the size of the payments, showing that the payments must be linear in the intended level of security. We demonstrate the applicability of our model to concrete problems in distributed computing, namely decentralized commerce and secure multiparty computation, for which the payments match the lower bound asymptotically.


title: Thermodynamics of spacetime from minimal area

abstract: Motivated by exploring the interface between thermodynamics of spacetime and quantum gravity effects, we develop a heuristic derivation of Hawking temperature and Bekenstein entropy from the existence of a minimal resolvable area. Moreover, we find leading order quantum gravity corrections to them that are in qualitative agreement with results obtained by other methods, both heuristic and rigorous. In this way, we recover, as a particular case, the corrections heuristically obtained from the existence of minimal length. We also show that the size of minimal area is constrained from above by well understood results of semiclassical black hole physics, specifically by the entropy content of Hawking radiation. The minimal area derivation we introduce is also applied to finding the Unruh temperature associated with causal diamonds and to establish a new relation between this temperature and the entropy of the causal diamond's horizon.


title: First Air-Shower Measurements with the Prototype Station of the IceCube Surface Enhancement

abstract: IceTop, the surface array of the IceCube Neutrino Observatory, consists of 162 ice-Cherenkov tanks distributed over an area of 1km$^2$. Besides being used as a veto for the in-ice neutrino detector, IceTop is a powerful cosmic-ray detector. In the upcoming years, the capabilities of the IceTop array will be enhanced by augmenting the existing ice-Cherenkov tanks with an array of elevated scintillator panels and radio antennas. Combining the data obtained from the different detectors will improve the reconstruction of cosmic-ray energy and primary mass while reducing the energy threshold and increasing the aperture of the array. In January 2020, a prototype station consisting of 8 scintillation detectors and 3 antennas was deployed at the IceTop site. The prototype detectors are connected to one data-acquisition system and the readout of the radio antennas is triggered using the signals from the scintillators. This allows us to regularly observe secondary air shower particles hitting the scintillators, as well as the radio emission of high-energy air showers. In this contribution, we will discuss the results obtained from the prototype station in the past year, present the first cosmic-ray air showers measured with this prototype station, and show how the observations with the different detector types complement each other.


title: Adversarial Continual Learning for Multi-Domain Hippocampal Segmentation

abstract: Deep learning for medical imaging suffers from temporal and privacy-related restrictions on data availability. To still obtain viable models, continual learning aims to train in sequential order, as and when data is available. The main challenge that continual learning methods face is to prevent catastrophic forgetting, i.e., a decrease in performance on the data encountered earlier. This issue makes continuous training of segmentation models for medical applications extremely difficult. Yet, often, data from at least two different domains is available which we can exploit to train the model in a way that it disregards domain-specific information. We propose an architecture that leverages the simultaneous availability of two or more datasets to learn a disentanglement between the content and domain in an adversarial fashion. The domain-invariant content representation then lays the base for continual semantic segmentation. Our approach takes inspiration from domain adaptation and combines it with continual learning for hippocampal segmentation in brain MRI. We showcase that our method reduces catastrophic forgetting and outperforms state-of-the-art continual learning methods.


title: Black-Hole Neutron Star Simulations with the BAM code: First Tests and Simulations

abstract: The first detections of black hole - neutron star mergers (GW200105 and GW200115) by the LIGO-Virgo-Kagra Collaboration mark a significant scientific breakthrough. The physical interpretation of pre- and post-merger signals requires careful cross-examination between observational and theoretical modelling results. Here we present the first set of black hole - neutron star simulations that were obtained with the numerical-relativity code BAM. Our initial data are constructed using the public LORENE spectral library which employs an excision of the black hole interior. BAM, in contrast, uses the moving-puncture gauge for the evolution. Therefore, we need to ``stuff'' the black hole interior with smooth initial data to evolve the binary system in time. This procedure introduces constraint violations such that the constraint damping properties of the evolution system are essential to increase the accuracy of the simulation and in particular to reduce spurious center-of-mass drifts. Within BAM we evolve the Z4c equations and we compare our gravitational-wave results with those of the SXS collaboration and results obtained with the SACRA code. While we find generally good agreement with the reference solutions and phase differences $\lesssim 0.5$ rad at the moment of merger, the absence of a clean convergence order in our simulations does not allow for a proper error quantification. We finally present a set of different initial conditions to explore how the merger of black hole neutron star systems depends on the involved masses, spins, and equations of state.


title: Topological axion electrodynamics and 4-group symmetry

abstract: We study higher-form symmetries and a higher group in the low energy limit of a $(3+1)$-dimensional axion electrodynamics with a massive axion and a massive photon. A topological field theory describing topological excitations with the axion-photon coupling, which we call a topological axion electrodynamics, is obtained in the low energy limit. Higher-form symmetries of the topological axion electrodynamics are specified by equations of motion and Bianchi identities. We find that there are induced anyons on the intersections of symmetry generators. By a link of worldlines of the anyons, we show that the worldvolume of an axionic domain wall is topologically ordered. We further specify the underlying mathematical structure elegantly describing all salient features of the theory to be a 4-group.


title: Scalar field in $\mathrm{AdS}_2$ and representations of $\widetilde{\mathrm{SL}}(2,\mathbb{R})$

abstract: We study the solutions to the Klein-Gordon equation for the massive scalar field in the universal covering space of two-dimensional anti-de Sitter space. For certain values of the mass parameter, we impose a suitable set of boundary conditions which make the spatial component of the Klein-Gordon operator self-adjoint. This makes the time-evolution of the classical field well defined. Then, we use the transformation properties of the scalar field under the isometry group of the theory, namely, the universal covering group of $\mathrm{SL}(2,\mathbb{R})$, in order to determine which self-adjoint boundary conditions are invariant under this group, and which lead to the positive-frequency solutions forming a unitary representation of this group and, hence, to a vacuum state invariant under this group. Then we examine the cases where the boundary condition leads to an invariant theory with non-invariant vacuum state and determine the unitary representation to which the vacuum state belongs.


title: A relative trace formula approach to the Kuznetsov formula on $GSp_4$

abstract: Relative trace formulas play a central role in studying automorphic forms. In this paper, we use a relative trace formula approach to derive a Kuznetsov type formula for the group $GSp_4$. We focus on giving a final formula that is as explicit as possible, and we plan on returning to applications elsewhere.


title: Attribution of Predictive Uncertainties in Classification Models

abstract: Predictive uncertainties in classification tasks are often a consequence of model inadequacy or insufficient training data. In popular applications, such as image processing, we are often required to scrutinise these uncertainties by meaningfully attributing them to input features. This helps to improve interpretability assessments. However, there exist few effective frameworks for this purpose. Vanilla forms of popular methods for the provision of saliency masks, such as SHAP or integrated gradients, adapt poorly to target measures of uncertainty. Thus, state-of-the-art tools instead proceed by creating counterfactual or adversarial feature vectors, and assign attributions by direct comparison to original images. In this paper, we present a novel framework that combines path integrals, counterfactual explanations and generative models, in order to procure attributions that contain few observable artefacts or noise. We evidence that this outperforms existing alternatives through quantitative evaluations with popular benchmarking methods and data sets of varying complexity.


title: The physical properties of $\gamma$-ray quiet flat-spectrum radio quasars: why are they undetected by $Fermi$-LAT?

abstract: During a decade of the $Fermi$-Large Area Telescope (LAT) operation, thousands of blazars have been detected in the $\gamma$-ray band. However, there are still numbers of blazars that have not been detected in the $\gamma$-ray band. In this work, we focus on investigating why some flat-spectrum radio quasars (FSRQs) are undetected by $Fermi$-LAT. By cross-matching the Candidate Gamma-ray Blazars Survey catalog with the Fourth Catalog of Active Galactic Nuclei Detected by the $Fermi$-LAT, we select 11 $\gamma$-ray undetected ($\gamma$-ray quiet) FSRQs as our sample whose quasi-simultaneous multi-wavelength data are collected. In the framework of the conventional one-zone leptonic model, we investigate their underlying physical properties and study the possibility that they are undetected with $\gamma$-ray by modeling their quasi-simultaneous spectral energy distributions. In contrast to a smaller bulk Lorentz factor suggested by previous works, our results suggest that the dissipation region located relatively far away from the central super-massive black hole is more likely to be the cause of some $\gamma$-ray quiet FSRQs being undetected by $Fermi$-LAT.


title: Can Multi-Threaded Flux Tubes in Coronal Arcades Support a Magnetohydrodynamic Avalanche?

abstract: Magnetohydrodynamic (MHD) instabilities allow energy to be released from stressed magnetic fields, commonly modelled in cylindrical flux tubes linking parallel planes, but, more recently, also in curved arcades containing flux tubes with both footpoints in the same photospheric plane. Uncurved cylindrical flux tubes containing multiple individual threads have been shown to be capable of sustaining an MHD avalanche, whereby a single unstable thread can destabilise many. We examine the properties of multi-threaded coronal loops, wherein each thread is created by photospheric driving in a realistic, curved coronal arcade structure (with both footpoints of each thread in the same plane). We use three-dimensional MHD simulations to study the evolution of single- and multi-threaded coronal loops, which become unstable and reconnect, while varying the driving velocity of individual threads. Experiments containing a single thread destabilise in a manner indicative of an ideal MHD instability and consistent with previous examples in the literature. The introduction of additional threads modifies this picture, with aspects of the model geometry and relative driving speeds of individual threads affecting the ability of any thread to destabilise others. In both single- and multi-threaded cases, continuous driving of the remnants of disrupted threads produces secondary, aperiodic bursts of energetic release.


title: Revealing higher-order light and matter energy exchanges using quantum trajectories in ultrastrong coupling

abstract: The dynamics of open quantum systems is often modelled using master equations, which describe the expected outcome of an experiment (i.e., the average over many realizations of the same dynamics). Quantum trajectories, instead, model the outcome of ideal single experiments -- the ``clicks'' of a perfect detector due to, e.g., spontaneous emission. The correct description of quantum jumps, which are related to random events characterizing a sudden change in the wave function of an open quantum system, is pivotal to the definition of quantum trajectories. In this article, we extend the formalism of quantum trajectories to open quantum systems with ultrastrong coupling (USC) between light and matter by properly defining jump operators in this regime. In such systems, exotic higher-order quantum-state- and energy-transfer can take place without conserving the total number of excitations in the system. The emitted field of such USC systems bears signatures of these higher-order processes, and significantly differs from similar processes at lower coupling strengths. Notably, the emission statistics must be taken at a single quantum trajectory level, since the signatures of these processes are washed out by the ``averaging'' of a master equation. We analyze the impact of the chosen unravelling (i.e., how one collects the output field of the system) for the quantum trajectories and show that these effects of the higher-order USC processes can be revealed in experiments by constructing histograms of detected quantum jumps. We illustrate these ideas by analyzing the excitation of two atoms by a single photon~[Garziano et al., Phys. Rev. Lett.117, 043601 (2016)]. For example, quantum trajectories reveal that keeping track of the quantum jumps from the atoms allow to reconstruct both the oscillations between one photon and two atoms, as well as emerging Rabi oscillations between the two atoms.


title: CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software

abstract: Data-driven research on the automated discovery and repair of security vulnerabilities in source code requires comprehensive datasets of real-life vulnerable code and their fixes. To assist in such research, we propose a method to automatically collect and curate a comprehensive vulnerability dataset from Common Vulnerabilities and Exposures (CVE) records in the public National Vulnerability Database (NVD). We implement our approach in a fully automated dataset collection tool and share an initial release of the resulting vulnerability dataset named CVEfixes. The CVEfixes collection tool automatically fetches all available CVE records from the NVD, gathers the vulnerable code and corresponding fixes from associated open-source repositories, and organizes the collected information in a relational database. Moreover, the dataset is enriched with meta-data such as programming language, and detailed code and security metrics at five levels of abstraction. The collection can easily be repeated to keep up-to-date with newly discovered or patched vulnerabilities. The initial release of CVEfixes spans all published CVEs up to 9 June 2021, covering 5365 CVE records for 1754 open-source projects that were addressed in a total of 5495 vulnerability fixing commits. CVEfixes supports various types of data-driven software security research, such as vulnerability prediction, vulnerability classification, vulnerability severity prediction, analysis of vulnerability-related code changes, and automated vulnerability repair.


title: Experimental Investigation and Evaluation of Model-based Hyperparameter Optimization

abstract: Machine learning algorithms such as random forests or xgboost are gaining more importance and are increasingly incorporated into production processes in order to enable comprehensive digitization and, if possible, automation of processes. Hyperparameters of these algorithms used have to be set appropriately, which can be referred to as hyperparameter tuning or optimization. Based on the concept of tunability, this article presents an overview of theoretical and practical results for popular machine learning algorithms. This overview is accompanied by an experimental analysis of 30 hyperparameters from six relevant machine learning algorithms. In particular, it provides (i) a survey of important hyperparameters, (ii) two parameter tuning studies, and (iii) one extensive global parameter tuning study, as well as (iv) a new way, based on consensus ranking, to analyze results from multiple algorithms. The R package mlr is used as a uniform interface to the machine learning models. The R package SPOT is used to perform the actual tuning (optimization). All additional code is provided together with this paper.


title: Well-tempered teleparallel Horndeski cosmology: a teleparallel variation to the cosmological constant problem

abstract: Well-tempering is a promising classical method of dynamically screening an arbitrarily large vacuum energy and generating a late-time, low energy de Sitter vacuum state. In this paper, we study for the first time self-tuning in teleparallel gravity and obtain well-tempered cosmological models in the teleparallel gravity analogue of Horndeski theory. This broadens the scope of well-tempered cosmology and teases the potentially far richer cosmological dynamics that could be anchored on teleperallel gravity. We expand the well-tempered recipe to its most general form so far and use it to search for the first well-tempered cosmologies in teleparallel gravity. We also study the cosmological dynamics in a well-tempered model and demonstrate the dynamical stability of the vacuum, the compatibility with a matter era, and the stability of the vacuum through a phase transition.


title: Renyi Differential Privacy of the Subsampled Shuffle Model in Distributed Learning

abstract: We study privacy in a distributed learning framework, where clients collaboratively build a learning model iteratively through interactions with a server from whom we need privacy. Motivated by stochastic optimization and the federated learning (FL) paradigm, we focus on the case where a small fraction of data samples are randomly sub-sampled in each round to participate in the learning process, which also enables privacy amplification. To obtain even stronger local privacy guarantees, we study this in the shuffle privacy model, where each client randomizes its response using a local differentially private (LDP) mechanism and the server only receives a random permutation (shuffle) of the clients' responses without their association to each client. The principal result of this paper is a privacy-optimization performance trade-off for discrete randomization mechanisms in this sub-sampled shuffle privacy model. This is enabled through a new theoretical technique to analyze the Renyi Differential Privacy (RDP) of the sub-sampled shuffle model. We numerically demonstrate that, for important regimes, with composition our bound yields significant improvement in privacy guarantee over the state-of-the-art approximate Differential Privacy (DP) guarantee (with strong composition) for sub-sampled shuffled models. We also demonstrate numerically significant improvement in privacy-learning performance operating point using real data sets.


title: Galois conjugates for some family of generalized beta-maps

abstract: A real number $\beta>1$ is called an Yrrap (or Ito-Sadahiro) number if the corresponding negative $\beta$-transformation defined by $x\mapsto 1-\{\beta x\}$ for $x\in[0,1]$, where $\{y\}$ denotes the fraction part of $y\in\mathbb{R}$, has a finite orbit at $1$. Yrrap numbers are an analogy of Parry numbers for positive $\beta$-transformations given by $x\mapsto \{\beta x\}$ for $x\in[0,1]$, $\beta>1$. In this paper, we determine the closure of the set of Galois conjugates of Yrrap numbers. In addition, we show an analogy of the result to the family of piecewise linear continuous maps each of which is obtained by changing the odd-numbered branches (left-most one is regarded as $0$-th) of the $\beta$-transformation to negative ones for $\beta>1$. As an application, we see that both the set of Yrrap numbers which are non-Parry numbers and that of Parry numbers which are non-Yrrap numbers are countable.


title: Adaptive Transfer Learning on Graph Neural Networks

abstract: Graph neural networks (GNNs) is widely used to learn a powerful representation of graph-structured data. Recent work demonstrates that transferring knowledge from self-supervised tasks to downstream tasks could further improve graph representation. However, there is an inherent gap between self-supervised tasks and downstream tasks in terms of optimization objective and training data. Conventional pre-training methods may be not effective enough on knowledge transfer since they do not make any adaptation for downstream tasks. To solve such problems, we propose a new transfer learning paradigm on GNNs which could effectively leverage self-supervised tasks as auxiliary tasks to help the target task. Our methods would adaptively select and combine different auxiliary tasks with the target task in the fine-tuning stage. We design an adaptive auxiliary loss weighting model to learn the weights of auxiliary tasks by quantifying the consistency between auxiliary tasks and the target task. In addition, we learn the weighting model through meta-learning. Our methods can be applied to various transfer learning approaches, it performs well not only in multi-task learning but also in pre-training and fine-tuning. Comprehensive experiments on multiple downstream tasks demonstrate that the proposed methods can effectively combine auxiliary tasks with the target task and significantly improve the performance compared to state-of-the-art methods.


title: VisDrone-CC2020: The Vision Meets Drone Crowd Counting Challenge Results

abstract: Crowd counting on the drone platform is an interesting topic in computer vision, which brings new challenges such as small object inference, background clutter and wide viewpoint. However, there are few algorithms focusing on crowd counting on the drone-captured data due to the lack of comprehensive datasets. To this end, we collect a large-scale dataset and organize the Vision Meets Drone Crowd Counting Challenge (VisDrone-CC2020) in conjunction with the 16th European Conference on Computer Vision (ECCV 2020) to promote the developments in the related fields. The collected dataset is formed by $3,360$ images, including $2,460$ images for training, and $900$ images for testing. Specifically, we manually annotate persons with points in each video frame. There are $14$ algorithms from $15$ institutes submitted to the VisDrone-CC2020 Challenge. We provide a detailed analysis of the evaluation results and conclude the challenge. More information can be found at the website: \url{http://www.aiskyeye.com/}.


title: Improving Interpretability of Deep Neural Networks in Medical Diagnosis by Investigating the Individual Units

abstract: As interpretability has been pointed out as the obstacle to the adoption of Deep Neural Networks (DNNs), there is an increasing interest in solving a transparency issue to guarantee the impressive performance. In this paper, we demonstrate the efficiency of recent attribution techniques to explain the diagnostic decision by visualizing the significant factors in the input image. By utilizing the characteristics of objectness that DNNs have learned, fully decomposing the network prediction visualizes clear localization of target lesion. To verify our work, we conduct our experiments on Chest X-ray diagnosis with publicly accessible datasets. As an intuitive assessment metric for explanations, we report the performance of intersection of Union between visual explanation and bounding box of lesions. Experiment results show that recently proposed attribution methods visualize the more accurate localization for the diagnostic decision compared to the traditionally used CAM. Furthermore, we analyze the inconsistency of intentions between humans and DNNs, which is easily obscured by high performance. By visualizing the relevant factors, it is possible to confirm that the criterion for decision is in line with the learning strategy. Our analysis of unmasking machine intelligence represents the necessity of explainability in the medical diagnostic decision.


title: Precise Aerial Image Matching based on Deep Homography Estimation

abstract: Aerial image registration or matching is a geometric process of aligning two aerial images captured in different environments. Estimating the precise transformation parameters is hindered by various environments such as time, weather, and viewpoints. The characteristics of the aerial images are mainly composed of a straight line owing to building and road. Therefore, the straight lines are distorted when estimating homography parameters directly between two images. In this paper, we propose a deep homography alignment network to precisely match two aerial images by progressively estimating the various transformation parameters. The proposed network is possible to train the matching network with a higher degree of freedom by progressively analyzing the transformation parameters. The precision matching performances have been increased by applying homography transformation. In addition, we introduce a method that can effectively learn the difficult-to-learn homography estimation network. Since there is no published learning data for aerial image registration, in this paper, a pair of images to which random homography transformation is applied within a certain range is used for learning. Hence, we could confirm that the deep homography alignment network shows high precision matching performance compared with conventional works.


title: Triad second renormalization group

abstract: We propose a second renormalization group (SRG) in the triad representation of tensor networks. The SRG method improves two parts of the triad tensor renormalization group, which are the decomposition of intermediate tensors and the preparation of isometries, taking the influence of environment tensors into account. Every fundamental tensor including environment tensor is given as a rank-3 tensor, and the computational cost of the proposed algorithm scales with ${\cal O}(\chi^5)$ employing the randomized SVD where $\chi$ is the bond dimension of tensors. We test this method in the classical Ising model on the two dimensional square lattice, and find that numerical results are obtained in good accuracy for a fixed computational time.


title: Joint Dermatological Lesion Classification and Confidence Modeling with Uncertainty Estimation

abstract: Deep learning has played a major role in the interpretation of dermoscopic images for detecting skin defects and abnormalities. However, current deep learning solutions for dermatological lesion analysis are typically limited in providing probabilistic predictions which highlights the importance of concerning uncertainties. This concept of uncertainty can provide a confidence level for each feature which prevents overconfident predictions with poor generalization on unseen data. In this paper, we propose an overall framework that jointly considers dermatological classification and uncertainty estimation together. The estimated confidence of each feature to avoid uncertain feature and undesirable shift, which are caused by environmental difference of input image, in the latent space is pooled from confidence network. Our qualitative results show that modeling uncertainties not only helps to quantify model confidence for each prediction but also helps classification layers to focus on confident features, therefore, improving the accuracy for dermatological lesion classification. We demonstrate the potential of the proposed approach in two state-of-the-art dermoscopic datasets (ISIC 2018 and ISIC 2019).


title: Flavor Symmetries in the Yukawa Sector of Non-Supersymmetric SO(10): Numerical Fits Using Renormalization Group Running

abstract: We consider a class of $\text{SO}(10)$ models with flavor symmetries in the Yukawa sector and investigate their viability by performing numerical fits to the fermion masses and mixing parameters. The fitting procedure involves a top-down approach in which we solve the renormalization group equations from the scale of grand unification down to the electroweak scale. This allows the intermediate scale right-handed neutrinos and scalar triplet, involved in the type I and II seesaw mechanisms, to be integrated out at their corresponding mass scales, leading to a correct renormalization group running. The result is that, of the 14 models considered, only two are able to fit the known data well. Both these two models correspond to $\mathbb{Z}_2$ symmetries. In addition to being able to fit the fermion masses and mixing parameters, they provide predictions for the sum of light neutrino masses and the effective neutrinoless double beta decay mass parameter, which are both within current observational bounds.


title: Integrating Unsupervised Data Generation into Self-Supervised Neural Machine Translation for Low-Resource Languages

abstract: For most language combinations, parallel data is either scarce or simply unavailable. To address this, unsupervised machine translation (UMT) exploits large amounts of monolingual data by using synthetic data generation techniques such as back-translation and noising, while self-supervised NMT (SSNMT) identifies parallel sentences in smaller comparable data and trains on them. To date, the inclusion of UMT data generation techniques in SSNMT has not been investigated. We show that including UMT techniques into SSNMT significantly outperforms SSNMT and UMT on all tested language pairs, with improvements of up to +4.3 BLEU, +50.8 BLEU, +51.5 over SSNMT, statistical UMT and hybrid UMT, respectively, on Afrikaans to English. We further show that the combination of multilingual denoising autoencoding, SSNMT with backtranslation and bilingual finetuning enables us to learn machine translation even for distant language pairs for which only small amounts of monolingual data are available, e.g. yielding BLEU scores of 11.6 (English to Swahili).


title: Learning Attributed Graph Representations with Communicative Message Passing Transformer

abstract: Constructing appropriate representations of molecules lies at the core of numerous tasks such as material science, chemistry and drug designs. Recent researches abstract molecules as attributed graphs and employ graph neural networks (GNN) for molecular representation learning, which have made remarkable achievements in molecular graph modeling. Albeit powerful, current models either are based on local aggregation operations and thus miss higher-order graph properties or focus on only node information without fully using the edge information. For this sake, we propose a Communicative Message Passing Transformer (CoMPT) neural network to improve the molecular graph representation by reinforcing message interactions between nodes and edges based on the Transformer architecture. Unlike the previous transformer-style GNNs that treat molecules as fully connected graphs, we introduce a message diffusion mechanism to leverage the graph connectivity inductive bias and reduce the message enrichment explosion. Extensive experiments demonstrated that the proposed model obtained superior performances (around 4$\%$ on average) against state-of-the-art baselines on seven chemical property datasets (graph-level tasks) and two chemical shift datasets (node-level tasks). Further visualization studies also indicated a better representation capacity achieved by our model.


title: Radiative transitions of charmonium states in the covariant confined quark model

abstract: We have studied the dominant radiative transitions of the charmonium $S$-and $P$-wave states within the covariant confined quark model. The gauge invariant leading-order transition amplitudes have been expressed by using either the conventional Lorentz structures, or the helicity amplitudes, where it was effective. The renormalization couplings of the charmonium states have been strictly fixed by the compositeness conditions that excludes the constituent degrees of freedom from the space of physical states. We use the basic model parameters for the constituent c-quark mass $m_c=1.80$ GeV and the global infrared cutoff $\lambda=0.181$ GeV. We additionally introduce only one adjustable parameter $\varrho>0$ common for the charmonium states $\eta_c({}^1\!S_0)$, $J/\psi({}^3\!S_1)$, $\chi_{c0}({^{3}}\!P_{0})$, $\chi_{c1}({^{3}}\!P_{1})$, $h_c({^{1}}\!P_{1})$, and $\chi_{c2}({^{3}}\!P_{2})$ to describe the quark distribution inside the hadron. This parameter describes the ratio between the charmonium size and its physical mass. The optimal value $\varrho=0.485$ has been fixed by fitting the latest data for the partial widths of the one-photon radiative decays of the triplet $\chi_{cJ}({^{3}}\!P_{J}), J=\{0,1,2\}$. Then, we calculate corresponding fractional widths for states $J/\psi({}^3\!S_1)$ and $h_c({^{1}}\!P_{1})$. Estimated results are in good agreement with the latest data. By using the fraction data from PDG2020 and our estimated partial decay width for $h_c({^{1}}\!P_{1})$ we recalculate the theoretical full width $\Gamma^{\rm theor}_{h_c} \simeq (0.57 \pm 0.12)$ MeV in comparison with latest data $\Gamma^{\rm exp}_{h_c} \simeq (0.7\pm 0.4)$ MeV. We also repeated our calculations by gradually decreasing the global cutoff parameter and revealed that the results do not change for any $\lambda<0.181$ GeV up to the deconfinement limit.


title: Optimizing Gait Libraries via a Coverage Metric

abstract: Many robots move through the world by composing locomotion primitives like steps and turns. To do so well, robots need not have primitives that make intuitive sense to humans. This becomes of paramount importance when robots are damaged and no longer move as designed. Here we propose a goal function we call "coverage", that represents the usefulness of a library of locomotion primitives in a manner agnostic to the particulars of the primitives themselves. We demonstrate the ability to optimize coverage on both simulated and physical robots, and show that coverage can be rapidly recovered after injury. This suggests that by optimizing for coverage, robots can sustain their ability to navigate through the world even in the face of significant mechanical failures. The benefits of this approach are enhanced by sample-efficient, data-driven approaches to system identification that can rapidly inform the optimization of primitives. We found that the number of degrees of freedom improved the rate of recovery of our simulated robots, a rare result in the fields of gait optimization and reinforcement learning. We showed that a robot with limbs made of tree branches (for which no CAD model or first principles model was available) is able to quickly find an effective high-coverage library of motion primitives. The optimized primitives are entirely non-obvious to a human observer, and thus are unlikely to be attainable through manual tuning.


title: Lipschitz sub-actions for locally maximal hyperbolic sets of a $C^1$ maps

abstract: Liv\v{s}ic theorem asserts that, for Anosov diffeomorphisms/flows, a Lipschitz observable is a coboundary if all its Birkhoff sums on every periodic orbits are equal to zero. The transfer function is then Lipschitz. We prove a positive Liv\v{s}ic theorem which asserts that a Lipschitz observable is bounded from below by a coboundary if and only if all its Birkhoff sums on periodic orbits are non negative. The new result is that the coboundary can be chosen Lipschitz. The map is only assumed to be $C^1$ and hyperbolic, but not necessarily bijective nor transitive. We actually prove our main result in the setting of locally maximal hyperbolic sets for not general $C^1$ map. The construction of the coboundary uses a new notion of the Lax-Oleinik operator that is a standard tool in the discrete Aubry-Mather theory.


title: Arrival time from the general theory of quantum time distributions

abstract: We further develop the general theory of quantum time distributions introduced in arXiv:2010.07575 and apply it to find the distribution of arrival times at the detector. Even though the Hamiltonian in the absence of detector is hermitian, the time evolution of the system before detection involves dealing with a non-hermitian operator obtained from the projection of the hermitian Hamiltonian onto the region in front of the detector. Such a formalism eventually gives rise to a simple and physically sensible analytical expression for the arrival time distribution, for arbitrary wave packet moving in one spatial dimension with negligible distortion.


title: Finite-state source-channel coding for individual sequences with source side information at the decoder

abstract: We study the following semi-deterministic setting of the joint source-channel coding problem: a deterministic source sequence (a.k.a. individual sequence) is transmitted via a memoryless channel, using delay-limited encoder and decoder, which are both implementable by periodically-varying finite-state machines, and the decoder is granted with access to side information, which is a noisy version of the source sequence. We first derive a lower bound on the achievable expected distortion in terms of the empirical statistics of the source sequence, the number of states of the encoder, the number of states of the decoder, their period, and the overall delay. The bound is shown to be asymptotically achievable by universal block codes in the limit of long blocks. We also derive a lower bound to the best achievable excess--distortion probability and discuss situations where it is achievable. Here, of course, source coding and channel coding cannot be completely separated without loss of optimality. Finally, we outline a few extensions of the model considered, such as: (i) incorporating a common reconstruction constraint, (ii) availability of side information at both ends, and (iii) extension to the Shannon channel with causal state information at the encoder. This work both extends and improves on earlier work of the same flavor (Ziv 1980, Merhav 2014), which focused only on the expected distortion, without side information at either end, and without the above mentioned additional ingredients.


title: Supplying angular momentum to the jittering jets explosion mechanism using inner convection layers

abstract: We conduct one-dimensional stellar evolution simulations in the mass range $13-20 M_{\odot}$ to late core collapse times and find that an inner vigorous convective zone with large specific angular momentum fluctuations appears at the edge of the iron core during the collapse. The compression of this zone during the collapse increases the luminosity there and the convective velocities, such that the specific angular momentum fluctuations are of the order of j_{conv}~5x10^15cm^2/sec. If we consider that three-dimensional simulations show convective velocities that are three to four times larger than what the mixing length theory gives, and that the spiral standing accretion shock instability in the post-shock region of the stalled shock at a radius of ~100km amplify perturbations, we conclude that the fluctuations that develop during core collapse are likely to lead to stochastic (intermittent) accretion disks around the newly born neutron star. In reaching this conclusion we also make two basic assumptions with uncertainties that we discuss. Such intermittent disks can launch jets that explode the star in the frame of the jittering jets explosion mechanism.


title: A New Approach to Anomalous Axial Vector Field Theory -- II

abstract: In this article we propose a consistent scheme of doing computations directly in four dimensions using conventional quantum field theory methods. This work is continuation of a stochastic quantization program reported earlier.


title: Parameter identification for a damage model using a physics informed neural network

abstract: This work applies concepts of artificial neural networks to identify the parameters of a mathematical model based on phase fields for damage and fracture. Damage mechanics is the part of the continuum mechanics that models the effects of the micro-defect formation using state variables at the macroscopic level. The equations that define the model are derived from fundamental laws of physics and provide important relationships between state variables. Simulations using the model considered in this work produce good qualitative and quantitative results, but many parameters must be adjusted to reproduce a certain material behavior. The identification of model parameters is considered by solving an inverse problem that uses pseudo-experimental data to find the values that produce the best fit to the data. We apply a physics-informed neural network and combine some classical estimation methods to identify the material parameters that appear in the damage equation of the model. Our strategy consists of a neural network that acts as an approximating function of the damage evolution with its output regularized using the residue of the differential equation. Three stages of optimization seek the best possible values for the neural network and the material parameters. The training alternates between the fitting of only the pseudo-experimental data or the total loss that includes the regularizing terms. We test the robustness of the method to noisy data and its generalization capabilities using a simple physical case for the damage model. This procedure deals better with noisy data in comparison with a PDE-constrained optimization method, and it also provides good approximations of the material parameters and the evolution of damage.


title: Quantitative Ultrafast Electron-Temperature Dynamics in Photo-Excited Au Nanoparticles

abstract: The femtosecond evolution of the electronic temperature of laser-excited gold nanoparticles is measured, by means of ultrafast time-resolved photoemission spectroscopy induced by extreme-ultraviolet radiation pulses. The temperature of the electron gas is deduced by recording and fitting high-resolution photo emission spectra around the Fermi edge of gold nanoparticles providing a direct, unambiguous picture of the ultrafast electron-gas dynamics. These results will be instrumental to the refinement of existing models of femtosecond processes in laterally-confined and bulk condensed-matter systems, and for understanding more deeply the role of hot electrons in technological applications.


title: A simplified modelling of hydraulic fractures in elasto-plastic materials

abstract: In this paper the problem of a plane strain hydraulic fracture propagating in an elasto-plastic material is analyzed. A new stress redistribution model for the proximity of the fracture tip is formulated and a resulting plasticity-dependent crack propagation condition is introduced. A modified variant of the KGD problem that accounts for the plastic deformations in the near-tip zone only is proposed. It is demonstrated that this model can be a credible substitute for the full elasto-plastic hydraulic fracture problem in the case of moderate plastic deformation. The crack-tip shielding effect introduced by the plastic deformation is quantified.


title: Boost-R: Gradient Boosted Trees for Recurrence Data

abstract: Recurrence data arise from multi-disciplinary domains spanning reliability, cyber security, healthcare, online retailing, etc. This paper investigates an additive-tree-based approach, known as Boost-R (Boosting for Recurrence Data), for recurrent event data with both static and dynamic features. Boost-R constructs an ensemble of gradient boosted additive trees to estimate the cumulative intensity function of the recurrent event process, where a new tree is added to the ensemble by minimizing the regularized L2 distance between the observed and predicted cumulative intensity. Unlike conventional regression trees, a time-dependent function is constructed by Boost-R on each tree leaf. The sum of these functions, from multiple trees, yields the ensemble estimator of the cumulative intensity. The divide-and-conquer nature of tree-based methods is appealing when hidden sub-populations exist within a heterogeneous population. The non-parametric nature of regression trees helps to avoid parametric assumptions on the complex interactions between event processes and features. Critical insights and advantages of Boost-R are investigated through comprehensive numerical examples. Datasets and computer code of Boost-R are made available on GitHub. To our best knowledge, Boost-R is the first gradient boosted additive-tree-based approach for modeling large-scale recurrent event data with both static and dynamic feature information.


title: On Out-of-distribution Detection with Energy-based Models

abstract: Several density estimation methods have shown to fail to detect out-of-distribution (OOD) samples by assigning higher likelihoods to anomalous data. Energy-based models (EBMs) are flexible, unnormalized density models which seem to be able to improve upon this failure mode. In this work, we provide an extensive study investigating OOD detection with EBMs trained with different approaches on tabular and image data and find that EBMs do not provide consistent advantages. We hypothesize that EBMs do not learn semantic features despite their discriminative structure similar to Normalizing Flows. To verify this hypotheses, we show that supervision and architectural restrictions improve the OOD detection of EBMs independent of the training approach.


title: Non-planarity of $\text{SL}(2,\mathbb{Z})$-orbits of origamis in $\mathcal{H}(2)$

abstract: We consider the $\text{SL}(2,\mathbb{Z})$-orbits of primitive $n$-squared origamis in the stratum $\mathcal{H}(2)$. In particular, we consider the 4-valent graphs obtained from the action of $\text{SL}(2,\mathbb{Z})$ with respect to a generating set of size two. We prove that, apart from the orbit for $n = 3$ and one of the orbits for $n = 5$, all of the obtained graphs are non-planar. Specifically, in each of the graphs we exhibit a $K_{3,3}$ minor, where $K_{3,3}$ is the complete bipartite graph on two sets of three vertices.


title: The Future will be Different than Today: Model Evaluation Considerations when Developing Translational Clinical Biomarker

abstract: Finding translational biomarkers stands center stage of the future of personalized medicine in healthcare. We observed notable challenges in identifying robust biomarkers as some with great performance in one scenario often fail to perform well in new trials (e.g. different population, indications). With rapid development in the clinical trial world (e.g. assay, disease definition), new trials very likely differ from legacy ones in many perspectives and in development of biomarkers this heterogeneity should be considered. In response, we recommend considering building in the heterogeneity when evaluating biomarkers. In this paper, we present one evaluation strategy by using leave-one-study-out (LOSO) in place of conventional cross-validation (cv) methods to account for the potential heterogeneity across trials used for building and testing the biomarkers. To demonstrate the performance of K-fold vs LOSO cv in estimating the effect size of biomarkers, we leveraged data from clinical trials and simulation studies. In our assessment, LOSO cv provided a more objective estimate of the future performance. This conclusion remained true across different evaluation metrics and different statistical methods.


title: Heat bullets

abstract: New localized structured solutions for the three-dimensional linear diffusion (heat) equation are presented. These new solutions are written in terms of Airy functions and either Gaussian or Bessel functions. They accelerate along their propagation direction, while in the plane orthogonal to it, they retain their either Gaussian or Bessel structure. These diffusion (heat) densities retain a localized structure in space as they propagate, and may be considered the heat analogue of Airy light bullets.


title: Polyadic braid operators and higher braiding gates

abstract: Higher braiding gates, a new kind of quantum gate, are introduced. These are matrix solutions of the polyadic braid equations (which differ from the generalized Yang-Baxter equations). Such gates support a special kind of multi-qubit entanglement which can speed up key distribution and accelerate the execution of algorithms. Ternary braiding gates acting on three qubit states are studied in detail. We also consider exotic non-invertible gates which can be related to qubit loss, and define partial identities (which can be orthogonal), partial unitarity, and partially bounded operators (which can be non-invertible). We define two classes of matrices, the star and circle types, and find that the magic matrices (connected with the Cartan decomposition) belong to the star class. The general algebraic structure of the classes introduced here is described in terms of semigroups, ternary and 5-ary groups and modules. The higher braid group and its representation by higher braid operators are given. Finally, we show that for each multi-qubit state there exist higher braiding gates which are not entangling, and the concrete conditions to be non-entangling are given for the binary and ternary gates discussed.

categories: quant-ph cs.IT hep-th math-ph math.IT math.MP


title: Anomaly Detection Based on Multiple-Hypothesis Autoencoder

abstract: Recently Autoencoder(AE) based models are widely used in the field of anomaly detection. A model trained with normal data generates a larger restoration error for abnormal data. Whether or not abnormal data is determined by observing the restoration error. It takes a lot of cost and time to obtain abnormal data in the industrial field. Therefore the model trains only normal data and detects abnormal data in the inference phase. However, the restoration area for the input data of AE is limited in the latent space. To solve this problem, we propose Multiple-hypothesis Autoencoder(MH-AE) model composed of several decoders. MH-AE model increases the restoration area through contention between decoders. The proposed method shows that the anomaly detection performance is improved compared to the traditional AE for various input datasets.


title: Hydrodynamical attractor and thermal particle production in heavy-ion collision

abstract: Study of thermal particle production is crucial to understand the space-time evolution of the fireball produced in high energy heavy-ion collisions. We consider thermal particle production within the framework of relativistic viscous hydrodynamics and employ recently obtained analytical solutions of higher-order viscous hydrodynamics with longitudinal Bjorken expansion to calculate the spectra of dileptons and photons. Using these analytical solutions, we constrain the allowed initial states by demanding positivity and reality of energy density throughout the evolution. Further, we compute thermal particle spectra and study the particle yield in context of hydrodynamic attractors. We find that, of all allowed solutions, the evolution corresponding to attractor solution leads to maximum production of thermal particles.


title: Selective Focusing Learning in Conditional GANs

abstract: Conditional generative adversarial networks (cGANs) have demonstrated remarkable success due to their class-wise controllability and superior quality for complex generation tasks. Typical cGANs solve the joint distribution matching problem by decomposing two easier sub-problems: marginal matching and conditional matching. From our toy experiments, we found that it is the best to apply only conditional matching to certain samples due to the content-aware optimization of the discriminator. This paper proposes a simple (a few lines of code) but effective training methodology, selective focusing learning, which enforces the discriminator and generator to learn easy samples of each class rapidly while maintaining diversity. Our key idea is to selectively apply conditional and joint matching for the data in each mini-batch. We conducted experiments on recent cGAN variants in ImageNet (64x64 and 128x128), CIFAR-10, and CIFAR-100 datasets, and improved the performance significantly (up to 35.18% in terms of FID) without sacrificing diversity.


title: Impact of die carrier on reliability of power LEDs

abstract: High power light emitting diodes (LEDs) suffer from heating effects that have a detrimental impact on the devices characteristics. The use LED carriers with high thermal conductivity promotes the extraction of heat away from the LED junction. Different materials can be used for this purpose, such as alumina, aluminium nitride, and silicon. Diamond has also been gaining momentum for demanding heat management applications. In order to evaluate the impact of the different carriers on the reliability of the devices, the junction temperature of Cree white Xamp XB-D LEDs was obtained with Ansys for various carrier at different LED current levels. The impact of the junction temperature on the LEDs lifetime, emission intensity, footprint and wavelength stability was then evaluated for each carrier based on the datasheet of the devices. The results provide additional knowledge regarding the impact of the carrier on the performance of the LED.


title: GenSys: A Scalable Fixed-point Engine for Maximal Controller Synthesis over Infinite State Spaces

abstract: The synthesis of maximally-permissive controllers in infinite-state systems has many practical applications. Such controllers directly correspond to maximal winning strategies in logically specified infinite-state two-player games. In this paper, we introduce a tool called GenSys which is a fixed-point engine for computing maximal winning strategies for players in infinite-state safety games. A key feature of GenSys is that it leverages the capabilities of existing off-the-shelf solvers to implement its fixed point engine. GenSys outperforms state-of-the-art tools in this space by a significant margin. Our tool has solved some of the challenging problems in this space, is scalable, and also synthesizes compact controllers. These controllers are comparatively small in size and easier to comprehend. GenSys is freely available for use and is available under an open-source license.


title: Federated Learning with Dynamic Transformer for Text to Speech

abstract: Text to speech (TTS) is a crucial task for user interaction, but TTS model training relies on a sizable set of high-quality original datasets. Due to privacy and security issues, the original datasets are usually unavailable directly. Recently, federated learning proposes a popular distributed machine learning paradigm with an enhanced privacy protection mechanism. It offers a practical and secure framework for data owners to collaborate with others, thus obtaining a better global model trained on the larger dataset. However, due to the high complexity of transformer models, the convergence process becomes slow and unstable in the federated learning setting. Besides, the transformer model trained in federated learning is costly communication and limited computational speed on clients, impeding its popularity. To deal with these challenges, we propose the federated dynamic transformer. On the one hand, the performance is greatly improved comparing with the federated transformer, approaching centralize-trained Transformer-TTS when increasing clients number. On the other hand, it achieves faster and more stable convergence in the training phase and significantly reduces communication time. Experiments on the LJSpeech dataset also strongly prove our method's advantage.


title: A computational framework for rheologically complex thermo-visco-elastic materials

abstract: Fractional calculus has been proved to be very effective in representing the visco-elastic relaxation response of materials with memory such as polymers. Moreover, in modelling the temperature dependency of the material functions in thermo-visco-elasticity, the standard time-temperature superposition principle is known to be ineffective in most of the cases (thermo-rehological complexity). In this work, a novel finite element formulation and numerical implementation is proposed for the simulation of transient thermal analysis in thermo-rehologically complex materials. The parameters of the visco-elastic fractional constitutive law are assumed to be temperature dependent functions and an internal history variable is introduced to track the changes in temperature which are responsible for the phase transition of the material. The numerical approximation of the fractional derivative is employed via the so called Gr\"unwald-Letnikov approximation. The proposed model is used to numerically solve some test cases related to relaxation and creep tests conducted on a real polymer (Etylene Vynil Acetate), which is used as the major encapsulant of solar cells in photovoltaics.


title: Differential Correspondences and Control Theory

abstract: When a differential field $K$ having $n$ commuting derivations is given together with two finitely generated differential extensions $L$ and $M$ of $K$, an important problem in differential algebra is to exhibit a common differential extension $N$ in order to define the new differential extensions $L\cap M$ and the smallest differential field $(L,M)\subset N$ containing both $L$ and $M$. Such a result allows to generalize the use of complex numbers in classical algebra. Having now two finitely generated differential modules $L$ and $M$ over the non-commutative ring ring $D=K[d_1,... ,d_n]=K[d]$ of differential operators with coefficients in $K$, we may similarly look for a differential module $N$ containing both $L$ and $M$ in order to define $L\cap M$ and $L+M$. This is {\it exactly} the situation met in linear or non-linear OD or PD control theory by selecting the inputs and the outputs among the control variables. However, in many recent books and papers, we have shown that controllability was a {\it built-in} property of a control system, not depending on the choice of inputs and outputs. The main purpose of this paper is to revisit control theory by showing the specific importance of the two previous problems and the part plaid by $N$ in both cases for the parametrization of the control system. The essential tool will be the study of {\it differential correspondences}, a modern name for what was called {\it B\"{a}cklund problem} during the last century, namely the study of elimination theory for groups of variables among systems of linear or nonlinear OD or PD equations. The difficulty is to revisit {\it differential homological algebra} by using non-commutative localization. Finally, when $M$ is a $D$-module, this paper is using for the first time the fact that the system $R=hom_K(M,K)$ is a $D$-module for the Spencer operator acting on sections.


title: Van der Corput inequality for real line and Wiener-Wintner theorem for amenable groups

abstract: We extend the classical van der Corput inequality to the real line. As a consequence, we obtain a simple proof of the Wiener-Wintner theorem for the $\mathbb{R}$-action which assert that for any family of maps $(T_t)_{t \in \mathbb{R}}$ acting on the Lebesgue measure space $(\Omega,{\cal {A}},\mu)$ where $\mu$ is a probability measure and for any $t\in \mathbb{R}$, $T_t$ is measure-preserving transformation on measure space $(\Omega,{\cal {A}},\mu)$ with $T_t \circ T_s =T_{t+s}$, for any $t,s\in \mathbb{R}$. Then, for any $f \in L^1(\mu)$, there is a a single null set off which $\displaystyle \lim_{T \rightarrow +\infty} \frac1{T}\int_{0}^{T} f(T_t\omega) e^{2 i \pi \theta t} dt$ exists for all $\theta \in \mathbb{R}$. We further present the joining proof of the amenable group version of Wiener-Wintner theorem due to Weiss and Ornstein.


title: Semiclassical propagation of coherent states and wave packets: hidden saddles

abstract: Semiclassical methods are extremely important in the subjects of wave packet and coherent state dynamics. Unfortunately, these essentially saddle point approximations are considered nearly impossible to carry out in detail for systems with multiple degrees of freedom due to the difficulties of solving the resulting two-point boundary value problems. However, recent developments have extended the applicability to a broader range of systems and circumstances. The most important advances are first to generate a set of real reference trajectories using appropriately reduced dimensional spaces of initial conditions, and second to feed that set into a Newton-Raphson search scheme to locate the $exposed$ complex saddle trajectories. The arguments for this approach were based mostly on intuition and numerical verification. In this paper, the methods are put on a firmer theoretical foundation and then extended to incorporate saddles $hidden$ from Newton-Raphson searches initiated with real trajectories. This hidden class of saddles is relevant to tunneling-type processes, but a hidden saddle can sometimes contribute just as much as or more than an exposed one. The distinctions between hidden and exposed saddles clarifies the interpretation of what constitutes tunneling for wave packets and coherent states in the time domain.


title: Deep Learning with Nonsmooth Objectives

abstract: We explore the potential for using a nonsmooth loss function based on the max-norm in the training of an artificial neural network. We hypothesise that this may lead to superior classification results in some special cases where the training data is either very small or unbalanced. Our numerical experiments performed on a simple artificial neural network with no hidden layers (a setting immediately amenable to standard nonsmooth optimisation techniques) appear to confirm our hypothesis that uniform approximation based approaches may be more suitable for the datasets with reliable training data that either is limited size or biased in terms of relative cluster sizes.


title: 21st Century Planar Field Emission Theory and its Role in Vacuum Breakdown Science

abstract: For explaining electrical breakdown, field electron emission (FE) is a mechanism of interest. In the period 2006 to 2010 there were significant developments in basic FE theory, but these have not yet fully entered general thinking in technological FE areas, which are often still based on 1960s thinking or (in some contexts) 1920s thinking about FE theory. This paper outlines the history of FE theory and provides an overview of modern developments and of some related topics, in so far as these affect the interpretation of experiments and the explanation of physical phenomena. The paper concentrates on principles, with references given where details can be found. Some suggestions are made about moving to the use of "21st-Century" FE theory. In addition, an error in Feynman's treatment of the electrostatics of pointed conductors is displayed, and it is found that Zener tunneling is implausible as a primary cause of vacuum breakdown from a CuO overlayer.


title: A Holographic Superfluid Symphony

abstract: We study the hydrodynamic excitations of backreacted holographic superfluids by computing the full set of quasinormal modes (QNMs) at finite momentum and matching them to the existing hydrodynamic theory of superfluids. Additionally, we analyze the behavior of the low-energy excitations in real frequency and complex momentum, going beyond the standard QNM picture. Finally, we carry out a novel type of study of the model by computing the support of the hydrodynamic modes across the phase diagram. We achieve this by determining the support of the corresponding QNMs on the different operators in the dual theory, both in complex frequency and complex momentum space. From the support, we are able to reconstruct the hydrodynamic dispersion relations using the hydrodynamic constitutive relations. Our analysis rules out a role-reversal phenomenon between first and second sound in this model, contrary to results obtained in a weakly coupled field theory framework.

categories: hep-th cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con


title: Channel-wise Gated Res2Net: Towards Robust Detection of Synthetic Speech Attacks

abstract: Existing approaches for anti-spoofing in automatic speaker verification (ASV) still lack generalizability to unseen attacks. The Res2Net approach designs a residual-like connection between feature groups within one block, which increases the possible receptive fields and improves the system's detection generalizability. However, such a residual-like connection is performed by a direct addition between feature groups without channel-wise priority. We argue that the information across channels may not contribute to spoofing cues equally, and the less relevant channels are expected to be suppressed before adding onto the next feature group, so that the system can generalize better to unseen attacks. This argument motivates the current work that presents a novel, channel-wise gated Res2Net (CG-Res2Net), which modifies Res2Net to enable a channel-wise gating mechanism in the connection between feature groups. This gating mechanism dynamically selects channel-wise features based on the input, to suppress the less relevant channels and enhance the detection generalizability. Three gating mechanisms with different structures are proposed and integrated into Res2Net. Experimental results conducted on ASVspoof 2019 logical access (LA) demonstrate that the proposed CG-Res2Net significantly outperforms Res2Net on both the overall LA evaluation set and individual difficult unseen attacks, which also outperforms other state-of-the-art single systems, depicting the effectiveness of our method.


title: Impact of local arrangement of Fe and Ni in Fe-Ni-Al Heusler alloys on the phase stability and magnetocrystalline anisotropy

abstract: On the basis of the density functional calculations in combination with the supercell approach, we report on a complete study of the influences of atomic arrangement and Ni substitution for Al on the ground state structural and magnetic properties for Fe$_2$Ni$_{1+x}$Al$_{1-x}$ Heusler alloys. We discuss systematically the competition between five cubic Heusler-type structures formed by shuffles of Fe and Ni atoms to reveal routes for improving the phase stability and magnetic properties, in particular magnetocrystalline anisotropy~(MAE). We predict that in case of Fe$_2$NiAl the ground state cubic structure with alternated layers of Fe and Ni possesses the highest uniaxial MAE which twice larger than that for the tetragonal L1$_0$ FeNi. The successive Ni doping at Al sublattice leads to a change of ground state structure and to reduce of the MAE. In addition, the phase stability against the decomposition into the stable systems at finite-temperatures is discussed. All~Ni-rich Fe$_2$Ni$_{1+x}$Al$_{1-x}$ are turned to be decomposed into a dual-phase consisting of Fe$_2$NiAl and FeNi.


title: How does a robot's social credibility relate to its perceived trustworthiness?

abstract: This position paper aims to highlight and discuss the role of a robot's social credibility in interaction with humans. In particular, I want to explore a potential relation between social credibility and a robot's acceptability and ultimately its trustworthiness. I thereby also review and expand the notion of social credibility as a measure of how well the robot obeys social norms during interaction with the concept of conscious acknowledgement.


title: Auctions with Interdependence and SOS: Improved Approximation

abstract: Interdependent values make basic auction design tasks -- in particular maximizing welfare truthfully in single-item auctions -- quite challenging. Eden et al. recently established that if the bidders valuation functions are submodular over their signals (a.k.a. SOS), a truthful 4-approximation to the optimal welfare exists. We show existence of a mechanism that is truthful and achieves a tight 2-approximation to the optimal welfare when signals are binary. Our mechanism is randomized and assigns bidders only 0 or 0.5 probabilities of winning the item. Our results utilize properties of submodular set functions, and extend to matroid settings.


title: Simultaneous Speech Translation for Live Subtitling: from Delay to Display

abstract: With the increased audiovisualisation of communication, the need for live subtitles in multilingual events is more relevant than ever. In an attempt to automatise the process, we aim at exploring the feasibility of simultaneous speech translation (SimulST) for live subtitling. However, the word-for-word rate of generation of SimulST systems is not optimal for displaying the subtitles in a comprehensible and readable way. In this work, we adapt SimulST systems to predict subtitle breaks along with the translation. We then propose a display mode that exploits the predicted break structure by presenting the subtitles in scrolling lines. We compare our proposed mode with a display 1) word-for-word and 2) in blocks, in terms of reading speed and delay. Experiments on three language pairs (en$\rightarrow$it, de, fr) show that scrolling lines is the only mode achieving an acceptable reading speed while keeping delay close to a 4-second threshold. We argue that simultaneous translation for readable live subtitles still faces challenges, the main one being poor translation quality, and propose directions for steering future research.


title: A Data-driven Explainable Case-based Reasoning Approach for Financial Risk Detection

abstract: The rapid development of artificial intelligence methods contributes to their wide applications for forecasting various financial risks in recent years. This study introduces a novel explainable case-based reasoning (CBR) approach without a requirement of rich expertise in financial risk. Compared with other black-box algorithms, the explainable CBR system allows a natural economic interpretation of results. Indeed, the empirical results emphasize the interpretability of the CBR system in predicting financial risk, which is essential for both financial companies and their customers. In addition, our results show that the proposed automatic design CBR system has a good prediction performance compared to other artificial intelligence methods, overcoming the main drawback of a standard CBR system of highly depending on prior domain knowledge about the corresponding field.


title: Revisiting the Primal-Dual Method of Multipliers for Optimisation over Centralised Networks

abstract: The primal-dual method of multipliers (PDMM) was originally designed for solving a decomposable optimisation problem over a general network. In this paper, we revisit PDMM for optimisation over a centralized network. We first note that the recently proposed method FedSplit [1] implements PDMM for a centralized network. In [1], Inexact FedSplit (i.e., gradient based FedSplit) was also studied both empirically and theoretically. We identify the cause for the poor reported performance of Inexact FedSplit, which is due to the improper initialisation in the gradient operations at the client side. To fix the issue of Inexact FedSplit, we propose two versions of Inexact PDMM, which are referred to as gradient-based PDMM (GPDMM) and accelerated GPDMM (AGPDMM), respectively. AGPDMM accelerates GPDMM at the cost of transmitting two times the number of parameters from the server to each client per iteration compared to GPDMM. We provide a new convergence bound for GPDMM for a class of convex optimisation problems. Our new bounds are tighter than those derived for Inexact FedSplit. We also investigate the update expressions of AGPDMM and SCAFFOLD to find their similarities. It is found that when the number K of gradient steps at the client side per iteration is K=1, both AGPDMM and SCAFFOLD reduce to vanilla gradient descent with proper parameter setup. Experimental results indicate that AGPDMM converges faster than SCAFFOLD when K>1 while GPDMM converges slightly worse than SCAFFOLD.


title: Inviscid incompressible limit for compressible micro-polar fluids

abstract: In this paper we study the incompressible inviscid limit for a compressible micro-polar model. We prove that the weak solution of the compressible micro-polar system converges to the solution of the Navier-Stokes equations (Euler equations) in the limit of small Mach number (and vanishing viscosity).


title: Black Hole Gravitational Potential Enhanced Fallback Accretion onto the Nascent Lighter Compact Object: Tentative Evidence in the O3 Run Data of LIGO/Virgo

abstract: In a binary system, the gravitational potential of the primary black hole may play an important role in enhancing the fallback accretion onto the lighter compact object newly formed in the second supernova explosion. As a result, the final masses of the binary compact objects would be correlated, as suggested recently by Safarzadeh \& Wysocki. In this work, we analyze the mass distribution of four gravitational-wave events, which are characterized by both a small mass ratio and a low mass ($\leq 5M_\odot$) of the light component, and find tentative evidence for a mass correlation among the objects. To evaluate the feasibility of testing such a hypothesis with upcoming observations, we carry out simulations with a mock population and perform Bayesian hierarchical inference for the mass distribution. We find that with dozens of low mass ratio events, whether there exists correlation in the component mass distributions or not can be robustly tested and the correlation, if it exists, can be well determined.


title: The role of proton-antiproton regeneration in the late stages of heavy-ion collisions

abstract: We investigate the long-standing question of the effect of proton-antiproton annihilation on the (anti-)proton yield, while respecting detailed balance for the 5-body back-reaction for the first time in a full microscopic description of the late stages of heavy-ion collisions. This is achieved by employing a stochastic collision criterion in a hadronic transport approach (SMASH), which allows to treat arbitrary multi-particle reactions. It is used to account for the regeneration of (anti-)protons via $5\pi\rightarrow p\bar{p}$. Our results show that a back-reaction happens for a fraction of 15-20\% of all annihilations. Within a viscous hybrid approach Au+Au/Pb+Pb collisions from $\sqrt{s_{NN}}=17.3$ GeV$-5.02$ TeV are investigated and the quoted fraction is independent of the beam energy or centrality of the collision. Taking the back-reaction into account results in regeneration of half of the (anti-)proton yield that is lost due to annihilations at midrapidity. We also find that, concerning the multiplicities, treating the back-reaction as a chain of 2-body reactions is equivalent to a single 5-to-2 reaction.


title: Competitive equilibrium always exists for combinatorial auctions with graphical pricing schemes

abstract: We show that a competitive equilibrium always exists in combinatorial auctions with anonymous graphical valuations and pricing, using discrete geometry. This is an intuitive and easy-to-construct class of valuations that can model both complementarity and substitutes, and to our knowledge, it is the first class besides gross substitutes that have guaranteed competitive equilibrium. We prove through counter-examples that our result is tight, and we give explicit algorithms for constructive competitive pricing vectors. We also give extensions to multi-unit combinatorial auctions (also known as product-mix auctions). Combined with theorems on graphical valuations and pricing equilibrium of Candogan, Ozdagar and Parrilo, our results indicate that quadratic pricing is a highly practical method to run combinatorial auctions.


title: MARC: Mining Association Rules from datasets by using Clustering models

abstract: Association rules are useful to discover relationships, which are mostly hidden, between the different items in large datasets. Symbolic models are the principal tools to extract association rules. This basic technique is time-consuming, and it generates a big number of associated rules. To overcome this drawback, we suggest a new method, called MARC, to extract the more important association rules of two important levels: Type I, and Type II. This approach relies on a multi-topographic unsupervised neural network model as well as clustering quality measures that evaluate the success of a given numerical classification model to behave as a natural symbolic model.


title: Boosting the Convergence of Reinforcement Learning-based Auto-pruning Using Historical Data

abstract: Recently, neural network compression schemes like channel pruning have been widely used to reduce the model size and computational complexity of deep neural network (DNN) for applications in power-constrained scenarios such as embedded systems. Reinforcement learning (RL)-based auto-pruning has been further proposed to automate the DNN pruning process to avoid expensive hand-crafted work. However, the RL-based pruner involves a time-consuming training process and the high expense of each sample further exacerbates this problem. These impediments have greatly restricted the real-world application of RL-based auto-pruning. Thus, in this paper, we propose an efficient auto-pruning framework which solves this problem by taking advantage of the historical data from the previous auto-pruning process. In our framework, we first boost the convergence of the RL-pruner by transfer learning. Then, an augmented transfer learning scheme is proposed to further speed up the training process by improving the transferability. Finally, an assistant learning process is proposed to improve the sample efficiency of the RL agent. The experiments have shown that our framework can accelerate the auto-pruning process by 1.5-2.5 times for ResNet20, and 1.81-2.375 times for other neural networks like ResNet56, ResNet18, and MobileNet v1.


title: Deep Reinforcement Learning for Quantum State Preparation with Weak Nonlinear Measurements

abstract: Quantum control has been of increasing interest in recent years, e.g. for tasks like state initialization and stabilization. Feedback-based strategies are particularly powerful, but also hard to find, due to the exponentially increased search space. Deep reinforcement learning holds great promise in this regard. It may provide new answers to difficult questions, such as whether nonlinear measurements can compensate for linear, constrained control. Here we show that reinforcement learning can successfully discover such feedback strategies, without prior knowledge. We illustrate this for state preparation in a cavity subject to quantum-non-demolition detection of photon number, with a simple linear drive as control. Fock states can be produced and stabilized at very high fidelity. It is even possible to reach superposition states, provided the measurement rates for different Fock states can be controlled as well.


title: Local controllability of the bilinear 1D Schr{\"o}dinger equation with simultaneous estimates

abstract: We consider the 1D linear Schr{\"o}dinger equation, on a bounded interval, with Dirichlet boundary conditions and bilinear scalar control. The small-time local exact controllability around the ground state was proved in [BeaLau10], under an appropriate nondegeneracy assumption. Here, we work under a weaker nondegeneracy assumption and we prove the small-time local exact controllability in projection, around the ground state, with estimates on the control (depending linearly on the target) simultaneously in several spaces. These estimates are obtained at the level of the linearized system, thanks to a new result about trigonometric moment problems. Then, they are transported to the nonlinear system by the inverse mapping theorem, thanks to appropriate estimates of the error between the nonlinear and the linearized dynamics.


title: Timing and spectral properties of Be/Xray pulsar 4U 1901+03 during 2019 outburst

abstract: We have studied the timing and spectral properties of the BeXB 4U 1901+03 during the 2019 outburst using \textit{NuSTAR}, \textit{Swift}, and \textit{NICER} observations. Flares are in all observations and were of tens to hundreds of seconds duration. Pulse profiles were changing significantly with time and the luminosity of the source. An increase in the height of the peak of the pulse profiles was observed with energy. The pulse fraction increases with energy and at the end of the outburst. The variation of the pulse profile with time indicates the transition of the pulsar in different accretion regimes. The absorption like feature at 10 keV shows a positive correlation with the luminosity and along with other spectral parameters this feature was also pulse phase dependent. As the distance to the source is not precisely known hence we cannot confirm this feature to be CSRF and also cannot ignore other possible explanations of the feature. Another absorption like feature about 30 keV was observed in the spectra of the last two \textit{NuSTAR} observations and has line energy of about 30.37$\pm$0.55 and 30.23$\pm$0.62 keV respectively. We have also studied the variation of the line energy, width, and optical depth of this feature with pulse phase. The softening of the spectrum along with the increase in pulse fraction at the end of the outburst and absence of pulsation after 58665.09 MJD suggest that pulsar has entered propeller phase, also abrupt decrease in \textit{Swift}-XRT flux supports the fact.


title: Model-free prediction of emergence of extreme events in a parametrically driven nonlinear dynamical system by Deep Learning

abstract: We predict the emergence of extreme events in a parametrically driven nonlinear dynamical system using three Deep Learning models, namely Multi-Layer Perceptron, Convolutional Neural Network and Long Short-Term Memory. The Deep Learning models are trained using the training set and are allowed to predict the test set data. After prediction, the time series of the actual and the predicted values are plotted one over the other in order to visualize the performance of the models. Upon evaluating the Root Mean Square Error value between predicted and the actual values of all three models, we find that the Long Short-Term Memory model can serve as the best model to forecast the chaotic time series and to predict the emergence of extreme events for the considered system.


title: Using newest VLT-KMOS HII Galaxies and other cosmic tracers to test the $\Lambda$CDM tension

abstract: We place novel constraints on the cosmokinetic parameters by using a joint analysis of the newest VLT-KMOS HII galaxies (HIIG) with the Supernovae Type Ia (SNIa) Pantheon sample. We combine the latter datasets in order to reconstruct, in a model-independent way, the Hubble diagram to as high redshifts as possible. Using a Gaussian process we derive the basic cosmokinetic parameters and compare them with those of $\Lambda$CDM. In the case of SNIa, we find that the extracted values of the cosmokinetic parameters are in agreement with the predictions of $\Lambda$CDM model. Combining SNIa with high redshift tracers of the Hubble relation, namely HIIG data, we obtain consistent results with those based on $\Lambda$CDM as far as the present values of the cosmokinetic parameters are concerned, but find significant deviations in the evolution of the cosmokinetic parameters with respect to the expectations of the concordance $\Lambda$CDM model.


abstract: This is the Proceedings of ICML 2021 Workshop on Theoretic Foundation, Criticism, and Application Trend of Explainable AI. Deep neural networks (DNNs) have undoubtedly brought great success to a wide range of applications in computer vision, computational linguistics, and AI. However, foundational principles underlying the DNNs' success and their resilience to adversarial attacks are still largely missing. Interpreting and theorizing the internal mechanisms of DNNs becomes a compelling yet controversial topic. This workshop pays a special interest in theoretic foundations, limitations, and new application trends in the scope of XAI. These issues reflect new bottlenecks in the future development of XAI.


title: The maximum mass of neutron stars may be higher than expected: an inference from binary systems

abstract: We have analyzed in this work the updated sample of neutron star masses derived from the study of a variety of 96 binary systems containing at least one neutron star using Bayesian methods. After updating the multimodality of the distributions found in previous works, we determined the maximum mass implied by the sample using a robust truncation technique, with the result $m_{max} \sim 2.5-2.6 \, M_{\odot}$. We have checked that this mass is actually consistent by generating synthetic data and employing a Posterior Predictive Check. A comparison with seven published $m_{max}$ values inferred from the remnant of the NS-NS merger GW170817 was performed and the tension between the latter and the obtained $m_{max}$ value quantified. Finally, we performed a Local Outlier Factor test and verified that the result for $m_{max}$ encompasses the highest individual mass determinations with the possible exception of PSR J1748-2021B. The conclusion is that the whole distribution already points toward a high value of $m_{max}$, while several lower values derived from the NS-NS merger event are disfavored and incompatible with the higher binary system masses. A large $m_{max}$ naturally accommodates the lower mass component of the event GW190814 as a neutron star.


title: One-Class Classification for Wafer Map using Adversarial Autoencoder with DSVDD Prior

abstract: Recently, semiconductors' demand has exploded in virtual reality, smartphones, wearable devices, the internet of things, robotics, and automobiles. Semiconductor manufacturers want to make semiconductors with high yields. To do this, manufacturers conduct many quality assurance activities. Wafer map pattern classification is a typical way of quality assurance. The defect pattern on the wafer map can tell us which process has a problem. Most of the existing wafer map classification methods are based on supervised methods. The supervised methods tend to have high performance, but they require extensive labor and expert knowledge to produce labeled datasets with a balanced distribution in mind. In the semiconductor manufacturing process, it is challenging to get defect data with balanced distribution. In this paper, we propose a one-class classification method using an Adversarial Autoencoder (AAE) with Deep Support Vector Data Description (DSVDD) prior, which generates random vectors within the hypersphere of DSVDD. We use the WM-811k dataset, which consists of a real-world wafer map. We compare the F1 score performance of our model with DSVDD and AAE.


title: Verifying a Realistic Mutable Hash Table

abstract: In this work, we verify the mutable LongMap from the Scala standard library, a hash table using open addressing within a single array, using the Stainless program verifier. As a reference implementation, we write an immutable map based on a list of tuples. We then show that LongMap's operations correspond to operations of this association list. To express the resizing of the hash table array, we introduce a new reference swapping construct in Stainless. This allows us to apply the decorator pattern without introducing aliasing. Our verification effort led us to find and fix a bug in the original implementation that manifests for large hash tables. Our performance analysis shows the verified version to be within a 1.5 factor of the original data structure.


title: Integrals of differences of subharmonic functions. III. Hausdorff measure and content, integration over Lipschitz curves and surfaces

abstract: Additional integral inequalities are obtained for integrals of the differences of subharmonic functions by Borel measures on balls in a multidimensional Euclidean space. These integrals are still estimated from above through the Nevanlinna characteristic and various characteristics of the Borel measure and its support. All the results are also new for logarithms of modules of meromorphic functions on discs in the complex plane. Integration by Borel measures with a support on fractal sets is allowed, and estimates in these cases are given by the Hausdorff measure and the Hausdorff content for the support of the Borel measure. We consider separately important for applications special cases of functions in the entire complex plane and space, in the unit disc or ball, as well as cases of integration over length on subsets of Lipschitz curves and over area on subsets of Lipschitz hypersurfaces.


title: The vibrational properties of benzene on an ordered water ice surface

abstract: We present a hybrid CCSD(T)+PBE-D3 approach to calculating the vibrational signatures for gas phase benzene and benzene adsorbed on an ordered water-ice surface. We compare the results of our method against experimentally recorded spectra and calculations performed using PBE-D3-only approaches (harmonic and anharmonic). Calculations use a proton ordered XIh water-ice surface consisting of 288 water molecules, and results are compared against experimental spectra recorded for an ASW ice surface. We show the importance of including a water ice surface into spectroscopic calculations, owing to the resulting differences in vibrational modes, frequencies and intensities of transitions seen in the IR spectrum. The overall intensity pattern shifts from a dominating $\nu_{11}$ band in the gas-phase to several high-intensity carriers for an IR spectrum of adsorbed benzene. When used for adsorbed benzene, the hybrid approach presented here achieves an RMSD for IR active modes of 21~cm$^{-1}$, compared to 72~cm$^{-1}$ and 49~cm$^{-1}$ for the anharmonic and harmonic PBE-D3 approaches, respectively. Our hybrid model for gaseous benzene also achieves the best results when compared to experiment, with an RMSD for IR active modes of 24~cm$^{-1}$, compared to 55~cm$^{-1}$ and 31~cm$^{-1}$ for the anharmonic and harmonic PBE-D3 approaches, respectively. To facilitate assignment, we generate and provide a correspondence graph between the normal modes of the gaseous and adsorbed benzene molecules. Finally, we calculate the frequency shifts, $\Delta\nu$, of adsorbed benzene relative to its gas phase to highlight the effects of surface interactions on vibrational bands and evaluate the suitability of our chosen dispersion-corrected density functional theory.


title: Optimal sports betting strategies in practice: an experimental review

abstract: We investigate the most popular approaches to the problem of sports betting investment based on modern portfolio theory and the Kelly criterion. We define the problem setting, the formal investment strategies, and review their common modifications used in practice. The underlying purpose of the reviewed modifications is to mitigate the additional risk stemming from the unrealistic mathematical assumptions of the formal strategies. We test the resulting methods using a unified evaluation protocol for three sports: horse racing, basketball and soccer. The results show the practical necessity of the additional risk-control methods and demonstrate their individual benefits. Particularly, we show that an adaptive variant of the popular ``fractional Kelly'' method is a very suitable choice across a wide range of settings.


title: Reinforcement Learning for Education: Opportunities and Challenges

abstract: This survey article has grown out of the RL4ED workshop organized by the authors at the Educational Data Mining (EDM) 2021 conference. We organized this workshop as part of a community-building effort to bring together researchers and practitioners interested in the broad areas of reinforcement learning (RL) and education (ED). This article aims to provide an overview of the workshop activities and summarize the main research directions in the area of RL for ED.